About the Execution of ITS-Tools for Sudoku-COL-AN15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14443.487 | 3600000.00 | 9636077.00 | 21089.80 | ?FTTF???TFTT?TTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r254-tall-162106746100510.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is Sudoku-COL-AN15, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r254-tall-162106746100510
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 7.1K May 15 08:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K May 15 08:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K May 15 08:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K May 15 08:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 16:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 13 19:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 19:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 13 19:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_pt
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 5 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 6.5K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-00
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-01
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-02
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-03
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-04
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-05
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-06
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-07
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-08
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-09
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-10
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-11
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-12
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-13
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-14
FORMULA_NAME Sudoku-COL-AN15-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1621222439231
Running Version 0
[2021-05-17 03:34:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-17 03:34:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-17 03:34:01] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-17 03:34:02] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-17 03:34:02] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 503 ms
[2021-05-17 03:34:02] [WARNING] Unknown color function,Tuple skipping symmetry detection on parameters for transition select
[2021-05-17 03:34:02] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 4050 PT places and 3375.0 transition bindings in 16 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 9 ms.
Working with output stream class java.io.PrintStream
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-17 03:34:02] [INFO ] Built PT skeleton of HLPN with 4 places and 1 transitions in 3 ms.
[2021-05-17 03:34:02] [INFO ] Skeletonized HLPN properties in 1 ms.
Successfully produced net in file /tmp/petri1000_15613396381997264230.dot
Incomplete random walk after 100106 steps, including 440 resets, run finished after 53 ms. (steps per millisecond=1888 ) properties (out of 15) seen :7
Running SMT prover for 8 properties.
// Phase 1: matrix 1 rows 4 cols
[2021-05-17 03:34:02] [INFO ] Computed 3 place invariants in 5 ms
[2021-05-17 03:34:02] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned unsat
[2021-05-17 03:34:02] [INFO ] [Real]Absence check using 3 positive place invariants in 2 ms returned unsat
[2021-05-17 03:34:02] [INFO ] [Real]Absence check using 3 positive place invariants in 8 ms returned unsat
[2021-05-17 03:34:02] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned unsat
[2021-05-17 03:34:02] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned unsat
[2021-05-17 03:34:02] [INFO ] [Real]Absence check using 3 positive place invariants in 5 ms returned unsat
Successfully simplified 8 atomic propositions for a total of 8 simplifications.
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-17 03:34:02] [INFO ] Flatten gal took : 14 ms
[2021-05-17 03:34:02] [INFO ] Flatten gal took : 1 ms
[2021-05-17 03:34:02] [INFO ] Unfolded HLPN to a Petri net with 4050 places and 3375 transitions in 72 ms.
[2021-05-17 03:34:02] [INFO ] Unfolded HLPN properties in 17 ms.
Successfully produced net in file /tmp/petri1001_3771429869336373641.dot
Incomplete random walk after 10000 steps, including 50 resets, run finished after 3319 ms. (steps per millisecond=3 ) properties (out of 7) seen :2
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Sudoku-COL-AN15-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=56 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1195 ms. (steps per millisecond=8 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=43 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 394 ms. (steps per millisecond=25 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1972 ms. (steps per millisecond=5 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
// Phase 1: matrix 3375 rows 4050 cols
[2021-05-17 03:34:10] [INFO ] Computed 675 place invariants in 39 ms
[2021-05-17 03:34:15] [INFO ] [Real]Absence check using 675 positive place invariants in 4453 ms returned unknown
[2021-05-17 03:34:20] [INFO ] [Real]Absence check using 675 positive place invariants in 4690 ms returned unknown
[2021-05-17 03:34:25] [INFO ] [Real]Absence check using 675 positive place invariants in 4625 ms returned unknown
[2021-05-17 03:34:30] [INFO ] [Real]Absence check using 675 positive place invariants in 4627 ms returned unknown
[2021-05-17 03:34:35] [INFO ] [Real]Absence check using 675 positive place invariants in 4603 ms returned unknown
Fused 5 Parikh solutions to 1 different solutions.
Support contains 4050 out of 4050 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4050/4050 places, 3375/3375 transitions.
Applied a total of 0 rules in 93 ms. Remains 4050 /4050 variables (removed 0) and now considering 3375/3375 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 4050/4050 places, 3375/3375 transitions.
[2021-05-17 03:34:36] [INFO ] Flatten gal took : 336 ms
[2021-05-17 03:34:36] [INFO ] Flatten gal took : 245 ms
[2021-05-17 03:34:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12558417927354426311.gal : 53 ms
[2021-05-17 03:34:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7982967318021073898.prop : 14 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12558417927354426311.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7982967318021073898.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12558417927354426311.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7982967318021073898.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7982967318021073898.prop.
Detected timeout of ITS tools.
[2021-05-17 03:34:51] [INFO ] Flatten gal took : 213 ms
[2021-05-17 03:34:51] [INFO ] Applying decomposition
[2021-05-17 03:34:51] [INFO ] Flatten gal took : 195 ms
[2021-05-17 03:35:18] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph1190777722191688812.txt, -o, /tmp/graph1190777722191688812.bin, -w, /tmp/graph1190777722191688812.weights], workingDir=null] killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.MccTranslator.applyOrder(MccTranslator.java:223)
at fr.lip6.move.gal.application.MccTranslator.flattenSpec(MccTranslator.java:270)
at fr.lip6.move.gal.application.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:595)
at fr.lip6.move.gal.application.ReachabilitySolver.applyReductions(ReachabilitySolver.java:206)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:550)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
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:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-17 03:35:18] [INFO ] Flatten gal took : 171 ms
[2021-05-17 03:35:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3156586074011338932.gal : 17 ms
[2021-05-17 03:35:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2337870971527525211.prop : 5 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3156586074011338932.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2337870971527525211.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3156586074011338932.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2337870971527525211.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality2337870971527525211.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin17666781894778793498
[2021-05-17 03:35:33] [INFO ] Built C files in 76ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17666781894778793498
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin17666781894778793498]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin17666781894778793498] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin17666781894778793498] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 92329 steps, including 465 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen :{}
Interrupted Best-First random walk after 315370 steps, including 1 resets, run timeout after 5010 ms. (steps per millisecond=62 ) properties seen :{}
Interrupted Best-First random walk after 44457 steps, including 0 resets, run timeout after 5079 ms. (steps per millisecond=8 ) properties seen :{}
Interrupted Best-First random walk after 320268 steps, including 1 resets, run timeout after 5003 ms. (steps per millisecond=64 ) properties seen :{}
Interrupted Best-First random walk after 137546 steps, including 0 resets, run timeout after 5038 ms. (steps per millisecond=27 ) properties seen :{}
Interrupted Best-First random walk after 25736 steps, including 0 resets, run timeout after 5089 ms. (steps per millisecond=5 ) properties seen :{}
Probabilistic random walk after 263164 steps, saw 263056 distinct states, run finished after 30077 ms. (steps per millisecond=8 ) properties seen :{}
Running SMT prover for 5 properties.
// Phase 1: matrix 3375 rows 4050 cols
[2021-05-17 03:36:59] [INFO ] Computed 675 place invariants in 17 ms
[2021-05-17 03:37:44] [INFO ] [Real]Absence check using 675 positive place invariants in 44536 ms returned unknown
[2021-05-17 03:38:29] [INFO ] [Real]Absence check using 675 positive place invariants in 44618 ms returned unknown
[2021-05-17 03:38:36] [INFO ] [Real]Absence check using 675 positive place invariants in 6725 ms returned sat
[2021-05-17 03:38:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 03:39:14] [INFO ] [Real]Absence check using state equation in 37927 ms returned unknown
[2021-05-17 03:39:24] [INFO ] [Real]Absence check using 675 positive place invariants in 9462 ms returned sat
[2021-05-17 03:39:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 03:39:35] [INFO ] [Real]Absence check using state equation in 10667 ms returned unknown
[2021-05-17 03:39:45] [INFO ] [Real]Absence check using 675 positive place invariants in 9514 ms returned sat
[2021-05-17 03:39:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 03:40:20] [INFO ] [Real]Absence check using state equation in 35100 ms returned unknown
Fused 5 Parikh solutions to 1 different solutions.
Support contains 4050 out of 4050 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4050/4050 places, 3375/3375 transitions.
Applied a total of 0 rules in 43 ms. Remains 4050 /4050 variables (removed 0) and now considering 3375/3375 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 4050/4050 places, 3375/3375 transitions.
Starting structural reductions, iteration 0 : 4050/4050 places, 3375/3375 transitions.
Applied a total of 0 rules in 35 ms. Remains 4050 /4050 variables (removed 0) and now considering 3375/3375 (removed 0) transitions.
// Phase 1: matrix 3375 rows 4050 cols
[2021-05-17 03:40:20] [INFO ] Computed 675 place invariants in 13 ms
[2021-05-17 03:40:20] [INFO ] Implicit Places using invariants in 406 ms returned []
// Phase 1: matrix 3375 rows 4050 cols
[2021-05-17 03:40:20] [INFO ] Computed 675 place invariants in 13 ms
[2021-05-17 03:40:21] [INFO ] Implicit Places using invariants and state equation in 421 ms returned []
Implicit Place search using SMT with State Equation took 828 ms to find 0 implicit places.
[2021-05-17 03:40:21] [INFO ] Redundant transitions in 209 ms returned []
// Phase 1: matrix 3375 rows 4050 cols
[2021-05-17 03:40:21] [INFO ] Computed 675 place invariants in 11 ms
[2021-05-17 03:40:23] [INFO ] Dead Transitions using invariants and state equation in 2008 ms returned []
Finished structural reductions, in 1 iterations. Remains : 4050/4050 places, 3375/3375 transitions.
Interrupted random walk after 92629 steps, including 467 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen :{}
Running SMT prover for 5 properties.
// Phase 1: matrix 3375 rows 4050 cols
[2021-05-17 03:40:53] [INFO ] Computed 675 place invariants in 26 ms
[2021-05-17 03:41:13] [INFO ] [Real]Absence check using 675 positive place invariants in 19571 ms returned unknown
[2021-05-17 03:41:33] [INFO ] [Real]Absence check using 675 positive place invariants in 19631 ms returned unknown
[2021-05-17 03:41:40] [INFO ] [Real]Absence check using 675 positive place invariants in 6638 ms returned sat
[2021-05-17 03:41:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 03:41:53] [INFO ] [Real]Absence check using state equation in 13002 ms returned unknown
[2021-05-17 03:42:03] [INFO ] [Real]Absence check using 675 positive place invariants in 9508 ms returned sat
[2021-05-17 03:42:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 03:42:13] [INFO ] [Real]Absence check using state equation in 10211 ms returned unknown
[2021-05-17 03:42:23] [INFO ] [Real]Absence check using 675 positive place invariants in 9306 ms returned sat
[2021-05-17 03:42:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 03:42:33] [INFO ] [Real]Absence check using state equation in 10321 ms returned unknown
[2021-05-17 03:42:33] [INFO ] Flatten gal took : 159 ms
[2021-05-17 03:42:33] [INFO ] Flatten gal took : 158 ms
[2021-05-17 03:42:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15643015659933696625.gal : 14 ms
[2021-05-17 03:42:33] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13423994301207861759.prop : 6 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality15643015659933696625.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13423994301207861759.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality15643015659933696625.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13423994301207861759.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality13423994301207861759.prop.
Detected timeout of ITS tools.
[2021-05-17 03:42:49] [INFO ] Flatten gal took : 157 ms
[2021-05-17 03:42:49] [INFO ] Applying decomposition
[2021-05-17 03:42:49] [INFO ] Flatten gal took : 149 ms
[2021-05-17 03:43:19] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph13574387088300247589.txt, -o, /tmp/graph13574387088300247589.bin, -w, /tmp/graph13574387088300247589.weights], workingDir=null] killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.MccTranslator.applyOrder(MccTranslator.java:223)
at fr.lip6.move.gal.application.MccTranslator.flattenSpec(MccTranslator.java:270)
at fr.lip6.move.gal.application.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:595)
at fr.lip6.move.gal.application.ReachabilitySolver.applyReductions(ReachabilitySolver.java:206)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:550)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
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:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-17 03:43:19] [INFO ] Flatten gal took : 143 ms
[2021-05-17 03:43:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13565486150564671026.gal : 12 ms
[2021-05-17 03:43:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17936276901898911272.prop : 6061 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13565486150564671026.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17936276901898911272.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13565486150564671026.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17936276901898911272.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17936276901898911272.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9875805872045457981
[2021-05-17 03:43:40] [INFO ] Built C files in 47ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9875805872045457981
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9875805872045457981]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9875805872045457981] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9875805872045457981] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Applied a total of 0 rules in 32 ms. Remains 4050 /4050 variables (removed 0) and now considering 3375/3375 (removed 0) transitions.
Running SMT prover for 5 properties.
// Phase 1: matrix 3375 rows 4050 cols
[2021-05-17 03:43:42] [INFO ] Computed 675 place invariants in 10 ms
[2021-05-17 03:44:27] [INFO ] [Real]Absence check using 675 positive place invariants in 44678 ms returned unknown
[2021-05-17 03:45:12] [INFO ] [Real]Absence check using 675 positive place invariants in 44597 ms returned unknown
[2021-05-17 03:45:19] [INFO ] [Real]Absence check using 675 positive place invariants in 6886 ms returned sat
[2021-05-17 03:45:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 03:45:57] [INFO ] [Real]Absence check using state equation in 37764 ms returned unknown
[2021-05-17 03:46:06] [INFO ] [Real]Absence check using 675 positive place invariants in 9380 ms returned sat
[2021-05-17 03:46:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 03:46:17] [INFO ] [Real]Absence check using state equation in 10520 ms returned unknown
[2021-05-17 03:46:27] [INFO ] [Real]Absence check using 675 positive place invariants in 9332 ms returned sat
[2021-05-17 03:46:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 03:47:02] [INFO ] [Real]Absence check using state equation in 35292 ms returned unknown
[2021-05-17 03:47:02] [INFO ] Flatten gal took : 148 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin11638114375912025906
[2021-05-17 03:47:02] [INFO ] Too many transitions (3375) to apply POR reductions. Disabling POR matrices.
[2021-05-17 03:47:02] [INFO ] Built C files in 86ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11638114375912025906
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11638114375912025906]
[2021-05-17 03:47:02] [INFO ] Applying decomposition
[2021-05-17 03:47:02] [INFO ] Flatten gal took : 247 ms
[2021-05-17 03:47:03] [INFO ] Flatten gal took : 245 ms
[2021-05-17 03:47:03] [INFO ] Input system was already deterministic with 3375 transitions.
[2021-05-17 03:47:06] [INFO ] Ran tautology test, simplified 0 / 5 in 4007 ms.
[2021-05-17 03:47:07] [INFO ] BMC solution for property Sudoku-COL-AN15-ReachabilityCardinality-00(UNSAT) depth K=0 took 90 ms
[2021-05-17 03:47:07] [INFO ] BMC solution for property Sudoku-COL-AN15-ReachabilityCardinality-05(UNSAT) depth K=0 took 54 ms
[2021-05-17 03:47:07] [INFO ] BMC solution for property Sudoku-COL-AN15-ReachabilityCardinality-06(UNSAT) depth K=0 took 5 ms
[2021-05-17 03:47:07] [INFO ] BMC solution for property Sudoku-COL-AN15-ReachabilityCardinality-07(UNSAT) depth K=0 took 16 ms
[2021-05-17 03:47:07] [INFO ] BMC solution for property Sudoku-COL-AN15-ReachabilityCardinality-12(UNSAT) depth K=0 took 85 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3375 rows 4050 cols
[2021-05-17 03:47:08] [INFO ] Computed 675 place invariants in 23 ms
inv : Rows_48 + Board_678 + Board_693 + Board_708 + Board_723 + Board_738 + Board_753 + Board_768 + Board_783 + Board_798 + Board_813 + Board_828 + Board_843 + Board_858 + Board_873 + Board_888 = 1
inv : Rows_223 + Board_3163 + Board_3178 + Board_3193 + Board_3208 + Board_3223 + Board_3238 + Board_3253 + Board_3268 + Board_3283 + Board_3298 + Board_3313 + Board_3328 + Board_3343 + Board_3358 + Board_3373 = 1
inv : Board_780 + Board_781 + Board_782 + Board_783 + Board_784 + Board_785 + Board_786 + Board_787 + Board_788 + Board_789 + Board_790 + Board_791 + Board_792 + Board_793 + Board_794 + Cells_52 = 1
inv : Rows_35 + Board_455 + Board_470 + Board_485 + Board_500 + Board_515 + Board_530 + Board_545 + Board_560 + Board_575 + Board_590 + Board_605 + Board_620 + Board_635 + Board_650 + Board_665 = 1
inv : Board_2325 + Board_2326 + Board_2327 + Board_2328 + Board_2329 + Board_2330 + Board_2331 + Board_2332 + Board_2333 + Board_2334 + Board_2335 + Board_2336 + Board_2337 + Board_2338 + Board_2339 + Cells_155 = 1
inv : Rows_120 + Board_1800 + Board_1815 + Board_1830 + Board_1845 + Board_1860 + Board_1875 + Board_1890 + Board_1905 + Board_1920 + Board_1935 + Board_1950 + Board_1965 + Board_1980 + Board_1995 + Board_2010 = 1
inv : Board_1095 + Board_1096 + Board_1097 + Board_1098 + Board_1099 + Board_1100 + Board_1101 + Board_1102 + Board_1103 + Board_1104 + Board_1105 + Board_1106 + Board_1107 + Board_1108 + Board_1109 + Cells_73 = 1
inv : Rows_107 + Board_1577 + Board_1592 + Board_1607 + Board_1622 + Board_1637 + Board_1652 + Board_1667 + Board_1682 + Board_1697 + Board_1712 + Board_1727 + Board_1742 + Board_1757 + Board_1772 + Board_1787 = 1
inv : Rows_164 + Board_2264 + Board_2279 + Board_2294 + Board_2309 + Board_2324 + Board_2339 + Board_2354 + Board_2369 + Board_2384 + Board_2399 + Board_2414 + Board_2429 + Board_2444 + Board_2459 + Board_2474 = 1
inv : Board_150 + Board_151 + Board_152 + Board_153 + Board_154 + Board_155 + Board_156 + Board_157 + Board_158 + Board_159 + Board_160 + Board_161 + Board_162 + Board_163 + Board_164 + Cells_10 = 1
inv : Board_3240 + Board_3241 + Board_3242 + Board_3243 + Board_3244 + Board_3245 + Board_3246 + Board_3247 + Board_3248 + Board_3249 + Board_3250 + Board_3251 + Board_3252 + Board_3253 + Board_3254 + Cells_216 = 1
inv : Board_2640 + Board_2641 + Board_2642 + Board_2643 + Board_2644 + Board_2645 + Board_2646 + Board_2647 + Board_2648 + Board_2649 + Board_2650 + Board_2651 + Board_2652 + Board_2653 + Board_2654 + Cells_176 = 1
inv : Board_2955 + Board_2956 + Board_2957 + Board_2958 + Board_2959 + Board_2960 + Board_2961 + Board_2962 + Board_2963 + Board_2964 + Board_2965 + Board_2966 + Board_2967 + Board_2968 + Board_2969 + Cells_197 = 1
inv : Board_48 + Board_273 + Board_498 + Board_723 + Board_948 + Board_1173 + Board_1398 + Board_1623 + Board_1848 + Board_2073 + Board_2298 + Board_2523 + Board_2748 + Board_2973 + Board_3198 + Columns_48 = 1
inv : Board_2925 + Board_2926 + Board_2927 + Board_2928 + Board_2929 + Board_2930 + Board_2931 + Board_2932 + Board_2933 + Board_2934 + Board_2935 + Board_2936 + Board_2937 + Board_2938 + Board_2939 + Cells_195 = 1
inv : Board_66 + Board_291 + Board_516 + Board_741 + Board_966 + Board_1191 + Board_1416 + Board_1641 + Board_1866 + Board_2091 + Board_2316 + Board_2541 + Board_2766 + Board_2991 + Board_3216 + Columns_66 = 1
inv : Board_210 + Board_435 + Board_660 + Board_885 + Board_1110 + Board_1335 + Board_1560 + Board_1785 + Board_2010 + Board_2235 + Board_2460 + Board_2685 + Board_2910 + Board_3135 + Board_3360 + Columns_210 = 1
inv : Board_192 + Board_417 + Board_642 + Board_867 + Board_1092 + Board_1317 + Board_1542 + Board_1767 + Board_1992 + Board_2217 + Board_2442 + Board_2667 + Board_2892 + Board_3117 + Board_3342 + Columns_192 = 1
inv : Board_465 + Board_466 + Board_467 + Board_468 + Board_469 + Board_470 + Board_471 + Board_472 + Board_473 + Board_474 + Board_475 + Board_476 + Board_477 + Board_478 + Board_479 + Cells_31 = 1
inv : Board_59 + Board_284 + Board_509 + Board_734 + Board_959 + Board_1184 + Board_1409 + Board_1634 + Board_1859 + Board_2084 + Board_2309 + Board_2534 + Board_2759 + Board_2984 + Board_3209 + Columns_59 = 1
inv : Board_113 + Board_338 + Board_563 + Board_788 + Board_1013 + Board_1238 + Board_1463 + Board_1688 + Board_1913 + Board_2138 + Board_2363 + Board_2588 + Board_2813 + Board_3038 + Board_3263 + Columns_113 = 1
inv : Board_95 + Board_320 + Board_545 + Board_770 + Board_995 + Board_1220 + Board_1445 + Board_1670 + Board_1895 + Board_2120 + Board_2345 + Board_2570 + Board_2795 + Board_3020 + Board_3245 + Columns_95 = 1
inv : Board_149 + Board_374 + Board_599 + Board_824 + Board_1049 + Board_1274 + Board_1499 + Board_1724 + Board_1949 + Board_2174 + Board_2399 + Board_2624 + Board_2849 + Board_3074 + Board_3299 + Columns_149 = 1
inv : Board_185 + Board_410 + Board_635 + Board_860 + Board_1085 + Board_1310 + Board_1535 + Board_1760 + Board_1985 + Board_2210 + Board_2435 + Board_2660 + Board_2885 + Board_3110 + Board_3335 + Columns_185 = 1
inv : Board_23 + Board_248 + Board_473 + Board_698 + Board_923 + Board_1148 + Board_1373 + Board_1598 + Board_1823 + Board_2048 + Board_2273 + Board_2498 + Board_2723 + Board_2948 + Board_3173 + Columns_23 = 1
inv : Rows_166 + Board_2476 + Board_2491 + Board_2506 + Board_2521 + Board_2536 + Board_2551 + Board_2566 + Board_2581 + Board_2596 + Board_2611 + Board_2626 + Board_2641 + Board_2656 + Board_2671 + Board_2686 = 1
inv : Board_2610 + Board_2611 + Board_2612 + Board_2613 + Board_2614 + Board_2615 + Board_2616 + Board_2617 + Board_2618 + Board_2619 + Board_2620 + Board_2621 + Board_2622 + Board_2623 + Board_2624 + Cells_174 = 1
inv : Rows_94 + Board_1354 + Board_1369 + Board_1384 + Board_1399 + Board_1414 + Board_1429 + Board_1444 + Board_1459 + Board_1474 + Board_1489 + Board_1504 + Board_1519 + Board_1534 + Board_1549 + Board_1564 = 1
inv : Board_221 + Board_446 + Board_671 + Board_896 + Board_1121 + Board_1346 + Board_1571 + Board_1796 + Board_2021 + Board_2246 + Board_2471 + Board_2696 + Board_2921 + Board_3146 + Board_3371 + Columns_221 = 1
inv : Board_12 + Board_237 + Board_462 + Board_687 + Board_912 + Board_1137 + Board_1362 + Board_1587 + Board_1812 + Board_2037 + Board_2262 + Board_2487 + Board_2712 + Board_2937 + Board_3162 + Columns_12 = 1
inv : Board_1410 + Board_1411 + Board_1412 + Board_1413 + Board_1414 + Board_1415 + Board_1416 + Board_1417 + Board_1418 + Board_1419 + Board_1420 + Board_1421 + Board_1422 + Board_1423 + Board_1424 + Cells_94 = 1
inv : Board_1380 + Board_1381 + Board_1382 + Board_1383 + Board_1384 + Board_1385 + Board_1386 + Board_1387 + Board_1388 + Board_1389 + Board_1390 + Board_1391 + Board_1392 + Board_1393 + Board_1394 + Cells_92 = 1
inv : Board_102 + Board_327 + Board_552 + Board_777 + Board_1002 + Board_1227 + Board_1452 + Board_1677 + Board_1902 + Board_2127 + Board_2352 + Board_2577 + Board_2802 + Board_3027 + Board_3252 + Columns_102 = 1
inv : Board_174 + Board_399 + Board_624 + Board_849 + Board_1074 + Board_1299 + Board_1524 + Board_1749 + Board_1974 + Board_2199 + Board_2424 + Board_2649 + Board_2874 + Board_3099 + Board_3324 + Columns_174 = 1
inv : Rows_177 + Board_2487 + Board_2502 + Board_2517 + Board_2532 + Board_2547 + Board_2562 + Board_2577 + Board_2592 + Board_2607 + Board_2622 + Board_2637 + Board_2652 + Board_2667 + Board_2682 + Board_2697 = 1
inv : Board_1065 + Board_1066 + Board_1067 + Board_1068 + Board_1069 + Board_1070 + Board_1071 + Board_1072 + Board_1073 + Board_1074 + Board_1075 + Board_1076 + Board_1077 + Board_1078 + Board_1079 + Cells_71 = 1
inv : Rows_22 + Board_232 + Board_247 + Board_262 + Board_277 + Board_292 + Board_307 + Board_322 + Board_337 + Board_352 + Board_367 + Board_382 + Board_397 + Board_412 + Board_427 + Board_442 = 1
inv : Board_1695 + Board_1696 + Board_1697 + Board_1698 + Board_1699 + Board_1700 + Board_1701 + Board_1702 + Board_1703 + Board_1704 + Board_1705 + Board_1706 + Board_1707 + Board_1708 + Board_1709 + Cells_113 = 1
inv : Board_2295 + Board_2296 + Board_2297 + Board_2298 + Board_2299 + Board_2300 + Board_2301 + Board_2302 + Board_2303 + Board_2304 + Board_2305 + Board_2306 + Board_2307 + Board_2308 + Board_2309 + Cells_153 = 1
inv : Board_2040 + Board_2041 + Board_2042 + Board_2043 + Board_2044 + Board_2045 + Board_2046 + Board_2047 + Board_2048 + Board_2049 + Board_2050 + Board_2051 + Board_2052 + Board_2053 + Board_2054 + Cells_136 = 1
inv : Rows_203 + Board_2933 + Board_2948 + Board_2963 + Board_2978 + Board_2993 + Board_3008 + Board_3023 + Board_3038 + Board_3053 + Board_3068 + Board_3083 + Board_3098 + Board_3113 + Board_3128 + Board_3143 = 1
inv : Rows_59 + Board_689 + Board_704 + Board_719 + Board_734 + Board_749 + Board_764 + Board_779 + Board_794 + Board_809 + Board_824 + Board_839 + Board_854 + Board_869 + Board_884 + Board_899 = 1
inv : Rows_2 + Board_2 + Board_17 + Board_32 + Board_47 + Board_62 + Board_77 + Board_92 + Board_107 + Board_122 + Board_137 + Board_152 + Board_167 + Board_182 + Board_197 + Board_212 = 1
inv : Board_2010 + Board_2011 + Board_2012 + Board_2013 + Board_2014 + Board_2015 + Board_2016 + Board_2017 + Board_2018 + Board_2019 + Board_2020 + Board_2021 + Board_2022 + Board_2023 + Board_2024 + Cells_134 = 1
inv : Board_1980 + Board_1981 + Board_1982 + Board_1983 + Board_1984 + Board_1985 + Board_1986 + Board_1987 + Board_1988 + Board_1989 + Board_1990 + Board_1991 + Board_1992 + Board_1993 + Board_1994 + Cells_132 = 1
inv : Board_138 + Board_363 + Board_588 + Board_813 + Board_1038 + Board_1263 + Board_1488 + Board_1713 + Board_1938 + Board_2163 + Board_2388 + Board_2613 + Board_2838 + Board_3063 + Board_3288 + Columns_138 = 1
inv : Rows_131 + Board_1811 + Board_1826 + Board_1841 + Board_1856 + Board_1871 + Board_1886 + Board_1901 + Board_1916 + Board_1931 + Board_1946 + Board_1961 + Board_1976 + Board_1991 + Board_2006 + Board_2021 = 1
inv : Board_1725 + Board_1726 + Board_1727 + Board_1728 + Board_1729 + Board_1730 + Board_1731 + Board_1732 + Board_1733 + Board_1734 + Board_1735 + Board_1736 + Board_1737 + Board_1738 + Board_1739 + Cells_115 = 1
inv : Board_2670 + Board_2671 + Board_2672 + Board_2673 + Board_2674 + Board_2675 + Board_2676 + Board_2677 + Board_2678 + Board_2679 + Board_2680 + Board_2681 + Board_2682 + Board_2683 + Board_2684 + Cells_178 = 1
inv : Board_1125 + Board_1126 + Board_1127 + Board_1128 + Board_1129 + Board_1130 + Board_1131 + Board_1132 + Board_1133 + Board_1134 + Board_1135 + Board_1136 + Board_1137 + Board_1138 + Board_1139 + Cells_75 = 1
inv : Board_1665 + Board_1666 + Board_1667 + Board_1668 + Board_1669 + Board_1670 + Board_1671 + Board_1672 + Board_1673 + Board_1674 + Board_1675 + Board_1676 + Board_1677 + Board_1678 + Board_1679 + Cells_111 = 1
inv : Board_3210 + Board_3211 + Board_3212 + Board_3213 + Board_3214 + Board_3215 + Board_3216 + Board_3217 + Board_3218 + Board_3219 + Board_3220 + Board_3221 + Board_3222 + Board_3223 + Board_3224 + Cells_214 = 1
inv : Rows_127 + Board_1807 + Board_1822 + Board_1837 + Board_1852 + Board_1867 + Board_1882 + Board_1897 + Board_1912 + Board_1927 + Board_1942 + Board_1957 + Board_1972 + Board_1987 + Board_2002 + Board_2017 = 1
inv : Rows_72 + Board_912 + Board_927 + Board_942 + Board_957 + Board_972 + Board_987 + Board_1002 + Board_1017 + Board_1032 + Board_1047 + Board_1062 + Board_1077 + Board_1092 + Board_1107 + Board_1122 = 1
inv : Rows_29 + Board_239 + Board_254 + Board_269 + Board_284 + Board_299 + Board_314 + Board_329 + Board_344 + Board_359 + Board_374 + Board_389 + Board_404 + Board_419 + Board_434 + Board_449 = 1
inv : Rows_186 + Board_2706 + Board_2721 + Board_2736 + Board_2751 + Board_2766 + Board_2781 + Board_2796 + Board_2811 + Board_2826 + Board_2841 + Board_2856 + Board_2871 + Board_2886 + Board_2901 + Board_2916 = 1
inv : Board_181 + Board_406 + Board_631 + Board_856 + Board_1081 + Board_1306 + Board_1531 + Board_1756 + Board_1981 + Board_2206 + Board_2431 + Board_2656 + Board_2881 + Board_3106 + Board_3331 + Columns_181 = 1
inv : Board_37 + Board_262 + Board_487 + Board_712 + Board_937 + Board_1162 + Board_1387 + Board_1612 + Board_1837 + Board_2062 + Board_2287 + Board_2512 + Board_2737 + Board_2962 + Board_3187 + Columns_37 = 1
inv : Board_124 + Board_349 + Board_574 + Board_799 + Board_1024 + Board_1249 + Board_1474 + Board_1699 + Board_1924 + Board_2149 + Board_2374 + Board_2599 + Board_2824 + Board_3049 + Board_3274 + Columns_124 = 1
inv : Rows_140 + Board_2030 + Board_2045 + Board_2060 + Board_2075 + Board_2090 + Board_2105 + Board_2120 + Board_2135 + Board_2150 + Board_2165 + Board_2180 + Board_2195 + Board_2210 + Board_2225 + Board_2240 = 1
inv : Board_3300 + Board_3301 + Board_3302 + Board_3303 + Board_3304 + Board_3305 + Board_3306 + Board_3307 + Board_3308 + Board_3309 + Board_3310 + Board_3311 + Board_3312 + Board_3313 + Board_3314 + Cells_220 = 1
inv : Rows_42 + Board_462 + Board_477 + Board_492 + Board_507 + Board_522 + Board_537 + Board_552 + Board_567 + Board_582 + Board_597 + Board_612 + Board_627 + Board_642 + Board_657 + Board_672 = 1
inv : Board_495 + Board_496 + Board_497 + Board_498 + Board_499 + Board_500 + Board_501 + Board_502 + Board_503 + Board_504 + Board_505 + Board_506 + Board_507 + Board_508 + Board_509 + Cells_33 = 1
inv : Board_163 + Board_388 + Board_613 + Board_838 + Board_1063 + Board_1288 + Board_1513 + Board_1738 + Board_1963 + Board_2188 + Board_2413 + Board_2638 + Board_2863 + Board_3088 + Board_3313 + Columns_163 = 1
inv : Board_435 + Board_436 + Board_437 + Board_438 + Board_439 + Board_440 + Board_441 + Board_442 + Board_443 + Board_444 + Board_445 + Board_446 + Board_447 + Board_448 + Board_449 + Cells_29 = 1
inv : Board_77 + Board_302 + Board_527 + Board_752 + Board_977 + Board_1202 + Board_1427 + Board_1652 + Board_1877 + Board_2102 + Board_2327 + Board_2552 + Board_2777 + Board_3002 + Board_3227 + Columns_77 = 1
inv : Board_131 + Board_356 + Board_581 + Board_806 + Board_1031 + Board_1256 + Board_1481 + Board_1706 + Board_1931 + Board_2156 + Board_2381 + Board_2606 + Board_2831 + Board_3056 + Board_3281 + Columns_131 = 1
inv : Board_203 + Board_428 + Board_653 + Board_878 + Board_1103 + Board_1328 + Board_1553 + Board_1778 + Board_2003 + Board_2228 + Board_2453 + Board_2678 + Board_2903 + Board_3128 + Board_3353 + Columns_203 = 1
inv : Board_5 + Board_230 + Board_455 + Board_680 + Board_905 + Board_1130 + Board_1355 + Board_1580 + Board_1805 + Board_2030 + Board_2255 + Board_2480 + Board_2705 + Board_2930 + Board_3155 + Columns_5 = 1
inv : Rows_88 + Board_1138 + Board_1153 + Board_1168 + Board_1183 + Board_1198 + Board_1213 + Board_1228 + Board_1243 + Board_1258 + Board_1273 + Board_1288 + Board_1303 + Board_1318 + Board_1333 + Board_1348 = 1
inv : Board_3270 + Board_3271 + Board_3272 + Board_3273 + Board_3274 + Board_3275 + Board_3276 + Board_3277 + Board_3278 + Board_3279 + Board_3280 + Board_3281 + Board_3282 + Board_3283 + Board_3284 + Cells_218 = 1
inv : Rows_81 + Board_1131 + Board_1146 + Board_1161 + Board_1176 + Board_1191 + Board_1206 + Board_1221 + Board_1236 + Board_1251 + Board_1266 + Board_1281 + Board_1296 + Board_1311 + Board_1326 + Board_1341 = 1
inv : Board_30 + Board_255 + Board_480 + Board_705 + Board_930 + Board_1155 + Board_1380 + Board_1605 + Board_1830 + Board_2055 + Board_2280 + Board_2505 + Board_2730 + Board_2955 + Board_3180 + Columns_30 = 1
inv : Board_178 + Board_403 + Board_628 + Board_853 + Board_1078 + Board_1303 + Board_1528 + Board_1753 + Board_1978 + Board_2203 + Board_2428 + Board_2653 + Board_2878 + Board_3103 + Board_3328 + Columns_178 = 1
inv : Board_84 + Board_309 + Board_534 + Board_759 + Board_984 + Board_1209 + Board_1434 + Board_1659 + Board_1884 + Board_2109 + Board_2334 + Board_2559 + Board_2784 + Board_3009 + Board_3234 + Columns_84 = 1
inv : Board_156 + Board_381 + Board_606 + Board_831 + Board_1056 + Board_1281 + Board_1506 + Board_1731 + Board_1956 + Board_2181 + Board_2406 + Board_2631 + Board_2856 + Board_3081 + Board_3306 + Columns_156 = 1
inv : Rows_124 + Board_1804 + Board_1819 + Board_1834 + Board_1849 + Board_1864 + Board_1879 + Board_1894 + Board_1909 + Board_1924 + Board_1939 + Board_1954 + Board_1969 + Board_1984 + Board_1999 + Board_2014 = 1
inv : Rows_26 + Board_236 + Board_251 + Board_266 + Board_281 + Board_296 + Board_311 + Board_326 + Board_341 + Board_356 + Board_371 + Board_386 + Board_401 + Board_416 + Board_431 + Board_446 = 1
inv : Rows_170 + Board_2480 + Board_2495 + Board_2510 + Board_2525 + Board_2540 + Board_2555 + Board_2570 + Board_2585 + Board_2600 + Board_2615 + Board_2630 + Board_2645 + Board_2660 + Board_2675 + Board_2690 = 1
inv : Board_109 + Board_334 + Board_559 + Board_784 + Board_1009 + Board_1234 + Board_1459 + Board_1684 + Board_1909 + Board_2134 + Board_2359 + Board_2584 + Board_2809 + Board_3034 + Board_3259 + Columns_109 = 1
inv : Rows_134 + Board_1814 + Board_1829 + Board_1844 + Board_1859 + Board_1874 + Board_1889 + Board_1904 + Board_1919 + Board_1934 + Board_1949 + Board_1964 + Board_1979 + Board_1994 + Board_2009 + Board_2024 = 1
inv : Board_52 + Board_277 + Board_502 + Board_727 + Board_952 + Board_1177 + Board_1402 + Board_1627 + Board_1852 + Board_2077 + Board_2302 + Board_2527 + Board_2752 + Board_2977 + Board_3202 + Columns_52 = 1
inv : Rows_118 + Board_1588 + Board_1603 + Board_1618 + Board_1633 + Board_1648 + Board_1663 + Board_1678 + Board_1693 + Board_1708 + Board_1723 + Board_1738 + Board_1753 + Board_1768 + Board_1783 + Board_1798 = 1
inv : Rows_216 + Board_3156 + Board_3171 + Board_3186 + Board_3201 + Board_3216 + Board_3231 + Board_3246 + Board_3261 + Board_3276 + Board_3291 + Board_3306 + Board_3321 + Board_3336 + Board_3351 + Board_3366 = 1
inv : Board_1320 + Board_1321 + Board_1322 + Board_1323 + Board_1324 + Board_1325 + Board_1326 + Board_1327 + Board_1328 + Board_1329 + Board_1330 + Board_1331 + Board_1332 + Board_1333 + Board_1334 + Cells_88 = 1
inv : Board_2865 + Board_2866 + Board_2867 + Board_2868 + Board_2869 + Board_2870 + Board_2871 + Board_2872 + Board_2873 + Board_2874 + Board_2875 + Board_2876 + Board_2877 + Board_2878 + Board_2879 + Cells_191 = 1
inv : Board_1005 + Board_1006 + Board_1007 + Board_1008 + Board_1009 + Board_1010 + Board_1011 + Board_1012 + Board_1013 + Board_1014 + Board_1015 + Board_1016 + Board_1017 + Board_1018 + Board_1019 + Cells_67 = 1
inv : Board_8 + Board_233 + Board_458 + Board_683 + Board_908 + Board_1133 + Board_1358 + Board_1583 + Board_1808 + Board_2033 + Board_2258 + Board_2483 + Board_2708 + Board_2933 + Board_3158 + Columns_8 = 1
inv : Board_152 + Board_377 + Board_602 + Board_827 + Board_1052 + Board_1277 + Board_1502 + Board_1727 + Board_1952 + Board_2177 + Board_2402 + Board_2627 + Board_2852 + Board_3077 + Board_3302 + Columns_152 = 1
inv : Board_207 + Board_432 + Board_657 + Board_882 + Board_1107 + Board_1332 + Board_1557 + Board_1782 + Board_2007 + Board_2232 + Board_2457 + Board_2682 + Board_2907 + Board_3132 + Board_3357 + Columns_207 = 1
inv : Board_9 + Board_234 + Board_459 + Board_684 + Board_909 + Board_1134 + Board_1359 + Board_1584 + Board_1809 + Board_2034 + Board_2259 + Board_2484 + Board_2709 + Board_2934 + Board_3159 + Columns_9 = 1
inv : Board_2700 + Board_2701 + Board_2702 + Board_2703 + Board_2704 + Board_2705 + Board_2706 + Board_2707 + Board_2708 + Board_2709 + Board_2710 + Board_2711 + Board_2712 + Board_2713 + Board_2714 + Cells_180 = 1
inv : Board_63 + Board_288 + Board_513 + Board_738 + Board_963 + Board_1188 + Board_1413 + Board_1638 + Board_1863 + Board_2088 + Board_2313 + Board_2538 + Board_2763 + Board_2988 + Board_3213 + Columns_63 = 1
inv : Board_153 + Board_378 + Board_603 + Board_828 + Board_1053 + Board_1278 + Board_1503 + Board_1728 + Board_1953 + Board_2178 + Board_2403 + Board_2628 + Board_2853 + Board_3078 + Board_3303 + Columns_153 = 1
inv : Board_171 + Board_396 + Board_621 + Board_846 + Board_1071 + Board_1296 + Board_1521 + Board_1746 + Board_1971 + Board_2196 + Board_2421 + Board_2646 + Board_2871 + Board_3096 + Board_3321 + Columns_171 = 1
inv : Rows_19 + Board_229 + Board_244 + Board_259 + Board_274 + Board_289 + Board_304 + Board_319 + Board_334 + Board_349 + Board_364 + Board_379 + Board_394 + Board_409 + Board_424 + Board_439 = 1
inv : Board_98 + Board_323 + Board_548 + Board_773 + Board_998 + Board_1223 + Board_1448 + Board_1673 + Board_1898 + Board_2123 + Board_2348 + Board_2573 + Board_2798 + Board_3023 + Board_3248 + Columns_98 = 1
inv : Rows_194 + Board_2714 + Board_2729 + Board_2744 + Board_2759 + Board_2774 + Board_2789 + Board_2804 + Board_2819 + Board_2834 + Board_2849 + Board_2864 + Board_2879 + Board_2894 + Board_2909 + Board_2924 = 1
inv : Rows_52 + Board_682 + Board_697 + Board_712 + Board_727 + Board_742 + Board_757 + Board_772 + Board_787 + Board_802 + Board_817 + Board_832 + Board_847 + Board_862 + Board_877 + Board_892 = 1
inv : Board_240 + Board_241 + Board_242 + Board_243 + Board_244 + Board_245 + Board_246 + Board_247 + Board_248 + Board_249 + Board_250 + Board_251 + Board_252 + Board_253 + Board_254 + Cells_16 = 1
inv : Rows_65 + Board_905 + Board_920 + Board_935 + Board_950 + Board_965 + Board_980 + Board_995 + Board_1010 + Board_1025 + Board_1040 + Board_1055 + Board_1070 + Board_1085 + Board_1100 + Board_1115 = 1
inv : Rows_6 + Board_6 + Board_21 + Board_36 + Board_51 + Board_66 + Board_81 + Board_96 + Board_111 + Board_126 + Board_141 + Board_156 + Board_171 + Board_186 + Board_201 + Board_216 = 1
inv : Board_3180 + Board_3181 + Board_3182 + Board_3183 + Board_3184 + Board_3185 + Board_3186 + Board_3187 + Board_3188 + Board_3189 + Board_3190 + Board_3191 + Board_3192 + Board_3193 + Board_3194 + Cells_212 = 1
inv : Board_405 + Board_406 + Board_407 + Board_408 + Board_409 + Board_410 + Board_411 + Board_412 + Board_413 + Board_414 + Board_415 + Board_416 + Board_417 + Board_418 + Board_419 + Cells_27 = 1
inv : Board_525 + Board_526 + Board_527 + Board_528 + Board_529 + Board_530 + Board_531 + Board_532 + Board_533 + Board_534 + Board_535 + Board_536 + Board_537 + Board_538 + Board_539 + Cells_35 = 1
inv : Board_2265 + Board_2266 + Board_2267 + Board_2268 + Board_2269 + Board_2270 + Board_2271 + Board_2272 + Board_2273 + Board_2274 + Board_2275 + Board_2276 + Board_2277 + Board_2278 + Board_2279 + Cells_151 = 1
inv : Board_720 + Board_721 + Board_722 + Board_723 + Board_724 + Board_725 + Board_726 + Board_727 + Board_728 + Board_729 + Board_730 + Board_731 + Board_732 + Board_733 + Board_734 + Cells_48 = 1
inv : Board_840 + Board_841 + Board_842 + Board_843 + Board_844 + Board_845 + Board_846 + Board_847 + Board_848 + Board_849 + Board_850 + Board_851 + Board_852 + Board_853 + Board_854 + Cells_56 = 1
inv : Board_2385 + Board_2386 + Board_2387 + Board_2388 + Board_2389 + Board_2390 + Board_2391 + Board_2392 + Board_2393 + Board_2394 + Board_2395 + Board_2396 + Board_2397 + Board_2398 + Board_2399 + Cells_159 = 1
inv : Board_34 + Board_259 + Board_484 + Board_709 + Board_934 + Board_1159 + Board_1384 + Board_1609 + Board_1834 + Board_2059 + Board_2284 + Board_2509 + Board_2734 + Board_2959 + Board_3184 + Columns_34 = 1
inv : Rows_39 + Board_459 + Board_474 + Board_489 + Board_504 + Board_519 + Board_534 + Board_549 + Board_564 + Board_579 + Board_594 + Board_609 + Board_624 + Board_639 + Board_654 + Board_669 = 1
inv : Board_2580 + Board_2581 + Board_2582 + Board_2583 + Board_2584 + Board_2585 + Board_2586 + Board_2587 + Board_2588 + Board_2589 + Board_2590 + Board_2591 + Board_2592 + Board_2593 + Board_2594 + Cells_172 = 1
inv : Board_1185 + Board_1186 + Board_1187 + Board_1188 + Board_1189 + Board_1190 + Board_1191 + Board_1192 + Board_1193 + Board_1194 + Board_1195 + Board_1196 + Board_1197 + Board_1198 + Board_1199 + Cells_79 = 1
inv : Board_127 + Board_352 + Board_577 + Board_802 + Board_1027 + Board_1252 + Board_1477 + Board_1702 + Board_1927 + Board_2152 + Board_2377 + Board_2602 + Board_2827 + Board_3052 + Board_3277 + Columns_127 = 1
inv : Rows_111 + Board_1581 + Board_1596 + Board_1611 + Board_1626 + Board_1641 + Board_1656 + Board_1671 + Board_1686 + Board_1701 + Board_1716 + Board_1731 + Board_1746 + Board_1761 + Board_1776 + Board_1791 = 1
inv : Board_2100 + Board_2101 + Board_2102 + Board_2103 + Board_2104 + Board_2105 + Board_2106 + Board_2107 + Board_2108 + Board_2109 + Board_2110 + Board_2111 + Board_2112 + Board_2113 + Board_2114 + Cells_140 = 1
inv : Board_117 + Board_342 + Board_567 + Board_792 + Board_1017 + Board_1242 + Board_1467 + Board_1692 + Board_1917 + Board_2142 + Board_2367 + Board_2592 + Board_2817 + Board_3042 + Board_3267 + Columns_117 = 1
inv : Rows_85 + Board_1135 + Board_1150 + Board_1165 + Board_1180 + Board_1195 + Board_1210 + Board_1225 + Board_1240 + Board_1255 + Board_1270 + Board_1285 + Board_1300 + Board_1315 + Board_1330 + Board_1345 = 1
inv : Board_206 + Board_431 + Board_656 + Board_881 + Board_1106 + Board_1331 + Board_1556 + Board_1781 + Board_2006 + Board_2231 + Board_2456 + Board_2681 + Board_2906 + Board_3131 + Board_3356 + Columns_206 = 1
inv : Board_1500 + Board_1501 + Board_1502 + Board_1503 + Board_1504 + Board_1505 + Board_1506 + Board_1507 + Board_1508 + Board_1509 + Board_1510 + Board_1511 + Board_1512 + Board_1513 + Board_1514 + Cells_100 = 1
inv : Board_217 + Board_442 + Board_667 + Board_892 + Board_1117 + Board_1342 + Board_1567 + Board_1792 + Board_2017 + Board_2242 + Board_2467 + Board_2692 + Board_2917 + Board_3142 + Board_3367 + Columns_217 = 1
inv : Board_1440 + Board_1441 + Board_1442 + Board_1443 + Board_1444 + Board_1445 + Board_1446 + Board_1447 + Board_1448 + Board_1449 + Board_1450 + Board_1451 + Board_1452 + Board_1453 + Board_1454 + Cells_96 = 1
inv : Board_196 + Board_421 + Board_646 + Board_871 + Board_1096 + Board_1321 + Board_1546 + Board_1771 + Board_1996 + Board_2221 + Board_2446 + Board_2671 + Board_2896 + Board_3121 + Board_3346 + Columns_196 = 1
inv : Rows_157 + Board_2257 + Board_2272 + Board_2287 + Board_2302 + Board_2317 + Board_2332 + Board_2347 + Board_2362 + Board_2377 + Board_2392 + Board_2407 + Board_2422 + Board_2437 + Board_2452 + Board_2467 = 1
inv : Board_44 + Board_269 + Board_494 + Board_719 + Board_944 + Board_1169 + Board_1394 + Board_1619 + Board_1844 + Board_2069 + Board_2294 + Board_2519 + Board_2744 + Board_2969 + Board_3194 + Columns_44 = 1
inv : Board_1920 + Board_1921 + Board_1922 + Board_1923 + Board_1924 + Board_1925 + Board_1926 + Board_1927 + Board_1928 + Board_1929 + Board_1930 + Board_1931 + Board_1932 + Board_1933 + Board_1934 + Cells_128 = 1
inv : Rows_38 + Board_458 + Board_473 + Board_488 + Board_503 + Board_518 + Board_533 + Board_548 + Board_563 + Board_578 + Board_593 + Board_608 + Board_623 + Board_638 + Board_653 + Board_668 = 1
inv : Board_1605 + Board_1606 + Board_1607 + Board_1608 + Board_1609 + Board_1610 + Board_1611 + Board_1612 + Board_1613 + Board_1614 + Board_1615 + Board_1616 + Board_1617 + Board_1618 + Board_1619 + Cells_107 = 1
inv : Board_1785 + Board_1786 + Board_1787 + Board_1788 + Board_1789 + Board_1790 + Board_1791 + Board_1792 + Board_1793 + Board_1794 + Board_1795 + Board_1796 + Board_1797 + Board_1798 + Board_1799 + Cells_119 = 1
inv : Board_120 + Board_121 + Board_122 + Board_123 + Board_124 + Board_125 + Board_126 + Board_127 + Board_128 + Board_129 + Board_130 + Board_131 + Board_132 + Board_133 + Board_134 + Cells_8 = 1
inv : Rows_25 + Board_235 + Board_250 + Board_265 + Board_280 + Board_295 + Board_310 + Board_325 + Board_340 + Board_355 + Board_370 + Board_385 + Board_400 + Board_415 + Board_430 + Board_445 = 1
inv : Board_660 + Board_661 + Board_662 + Board_663 + Board_664 + Board_665 + Board_666 + Board_667 + Board_668 + Board_669 + Board_670 + Board_671 + Board_672 + Board_673 + Board_674 + Cells_44 = 1
inv : Rows_89 + Board_1139 + Board_1154 + Board_1169 + Board_1184 + Board_1199 + Board_1214 + Board_1229 + Board_1244 + Board_1259 + Board_1274 + Board_1289 + Board_1304 + Board_1319 + Board_1334 + Board_1349 = 1
inv : Board_177 + Board_402 + Board_627 + Board_852 + Board_1077 + Board_1302 + Board_1527 + Board_1752 + Board_1977 + Board_2202 + Board_2427 + Board_2652 + Board_2877 + Board_3102 + Board_3327 + Columns_177 = 1
inv : Board_33 + Board_258 + Board_483 + Board_708 + Board_933 + Board_1158 + Board_1383 + Board_1608 + Board_1833 + Board_2058 + Board_2283 + Board_2508 + Board_2733 + Board_2958 + Board_3183 + Columns_33 = 1
inv : Rows_199 + Board_2929 + Board_2944 + Board_2959 + Board_2974 + Board_2989 + Board_3004 + Board_3019 + Board_3034 + Board_3049 + Board_3064 + Board_3079 + Board_3094 + Board_3109 + Board_3124 + Board_3139 = 1
inv : Board_2205 + Board_2206 + Board_2207 + Board_2208 + Board_2209 + Board_2210 + Board_2211 + Board_2212 + Board_2213 + Board_2214 + Board_2215 + Board_2216 + Board_2217 + Board_2218 + Board_2219 + Cells_147 = 1
inv : Board_123 + Board_348 + Board_573 + Board_798 + Board_1023 + Board_1248 + Board_1473 + Board_1698 + Board_1923 + Board_2148 + Board_2373 + Board_2598 + Board_2823 + Board_3048 + Board_3273 + Columns_123 = 1
inv : Board_182 + Board_407 + Board_632 + Board_857 + Board_1082 + Board_1307 + Board_1532 + Board_1757 + Board_1982 + Board_2207 + Board_2432 + Board_2657 + Board_2882 + Board_3107 + Board_3332 + Columns_182 = 1
inv : Board_2445 + Board_2446 + Board_2447 + Board_2448 + Board_2449 + Board_2450 + Board_2451 + Board_2452 + Board_2453 + Board_2454 + Board_2455 + Board_2456 + Board_2457 + Board_2458 + Board_2459 + Cells_163 = 1
inv : Board_38 + Board_263 + Board_488 + Board_713 + Board_938 + Board_1163 + Board_1388 + Board_1613 + Board_1838 + Board_2063 + Board_2288 + Board_2513 + Board_2738 + Board_2963 + Board_3188 + Columns_38 = 1
inv : Board_900 + Board_901 + Board_902 + Board_903 + Board_904 + Board_905 + Board_906 + Board_907 + Board_908 + Board_909 + Board_910 + Board_911 + Board_912 + Board_913 + Board_914 + Cells_60 = 1
inv : Rows_212 + Board_3152 + Board_3167 + Board_3182 + Board_3197 + Board_3212 + Board_3227 + Board_3242 + Board_3257 + Board_3272 + Board_3287 + Board_3302 + Board_3317 + Board_3332 + Board_3347 + Board_3362 = 1
inv : Rows_153 + Board_2253 + Board_2268 + Board_2283 + Board_2298 + Board_2313 + Board_2328 + Board_2343 + Board_2358 + Board_2373 + Board_2388 + Board_2403 + Board_2418 + Board_2433 + Board_2448 + Board_2463 = 1
inv : Board_142 + Board_367 + Board_592 + Board_817 + Board_1042 + Board_1267 + Board_1492 + Board_1717 + Board_1942 + Board_2167 + Board_2392 + Board_2617 + Board_2842 + Board_3067 + Board_3292 + Columns_142 = 1
inv : Board_2985 + Board_2986 + Board_2987 + Board_2988 + Board_2989 + Board_2990 + Board_2991 + Board_2992 + Board_2993 + Board_2994 + Board_2995 + Board_2996 + Board_2997 + Board_2998 + Board_2999 + Cells_199 = 1
inv : Board_3045 + Board_3046 + Board_3047 + Board_3048 + Board_3049 + Board_3050 + Board_3051 + Board_3052 + Board_3053 + Board_3054 + Board_3055 + Board_3056 + Board_3057 + Board_3058 + Board_3059 + Cells_203 = 1
inv : Board_19 + Board_244 + Board_469 + Board_694 + Board_919 + Board_1144 + Board_1369 + Board_1594 + Board_1819 + Board_2044 + Board_2269 + Board_2494 + Board_2719 + Board_2944 + Board_3169 + Columns_19 = 1
inv : Board_167 + Board_392 + Board_617 + Board_842 + Board_1067 + Board_1292 + Board_1517 + Board_1742 + Board_1967 + Board_2192 + Board_2417 + Board_2642 + Board_2867 + Board_3092 + Board_3317 + Columns_167 = 1
inv : Rows_15 + Board_225 + Board_240 + Board_255 + Board_270 + Board_285 + Board_300 + Board_315 + Board_330 + Board_345 + Board_360 + Board_375 + Board_390 + Board_405 + Board_420 + Board_435 = 1
inv : Board_60 + Board_61 + Board_62 + Board_63 + Board_64 + Board_65 + Board_66 + Board_67 + Board_68 + Board_69 + Board_70 + Board_71 + Board_72 + Board_73 + Board_74 + Cells_4 = 1
inv : Rows_190 + Board_2710 + Board_2725 + Board_2740 + Board_2755 + Board_2770 + Board_2785 + Board_2800 + Board_2815 + Board_2830 + Board_2845 + Board_2860 + Board_2875 + Board_2890 + Board_2905 + Board_2920 = 1
inv : Board_180 + Board_181 + Board_182 + Board_183 + Board_184 + Board_185 + Board_186 + Board_187 + Board_188 + Board_189 + Board_190 + Board_191 + Board_192 + Board_193 + Board_194 + Cells_12 = 1
inv : Board_88 + Board_313 + Board_538 + Board_763 + Board_988 + Board_1213 + Board_1438 + Board_1663 + Board_1888 + Board_2113 + Board_2338 + Board_2563 + Board_2788 + Board_3013 + Board_3238 + Columns_88 = 1
inv : Rows_98 + Board_1358 + Board_1373 + Board_1388 + Board_1403 + Board_1418 + Board_1433 + Board_1448 + Board_1463 + Board_1478 + Board_1493 + Board_1508 + Board_1523 + Board_1538 + Board_1553 + Board_1568 = 1
inv : Rows_71 + Board_911 + Board_926 + Board_941 + Board_956 + Board_971 + Board_986 + Board_1001 + Board_1016 + Board_1031 + Board_1046 + Board_1061 + Board_1076 + Board_1091 + Board_1106 + Board_1121 = 1
inv : Board_73 + Board_298 + Board_523 + Board_748 + Board_973 + Board_1198 + Board_1423 + Board_1648 + Board_1873 + Board_2098 + Board_2323 + Board_2548 + Board_2773 + Board_2998 + Board_3223 + Columns_73 = 1
inv : Rows_61 + Board_901 + Board_916 + Board_931 + Board_946 + Board_961 + Board_976 + Board_991 + Board_1006 + Board_1021 + Board_1036 + Board_1051 + Board_1066 + Board_1081 + Board_1096 + Board_1111 = 1
inv : Rows_144 + Board_2034 + Board_2049 + Board_2064 + Board_2079 + Board_2094 + Board_2109 + Board_2124 + Board_2139 + Board_2154 + Board_2169 + Board_2184 + Board_2199 + Board_2214 + Board_2229 + Board_2244 = 1
inv : Rows_167 + Board_2477 + Board_2492 + Board_2507 + Board_2522 + Board_2537 + Board_2552 + Board_2567 + Board_2582 + Board_2597 + Board_2612 + Board_2627 + Board_2642 + Board_2657 + Board_2672 + Board_2687 = 1
inv : Board_157 + Board_382 + Board_607 + Board_832 + Board_1057 + Board_1282 + Board_1507 + Board_1732 + Board_1957 + Board_2182 + Board_2407 + Board_2632 + Board_2857 + Board_3082 + Board_3307 + Columns_157 = 1
inv : Board_175 + Board_400 + Board_625 + Board_850 + Board_1075 + Board_1300 + Board_1525 + Board_1750 + Board_1975 + Board_2200 + Board_2425 + Board_2650 + Board_2875 + Board_3100 + Board_3325 + Columns_175 = 1
inv : Board_193 + Board_418 + Board_643 + Board_868 + Board_1093 + Board_1318 + Board_1543 + Board_1768 + Board_1993 + Board_2218 + Board_2443 + Board_2668 + Board_2893 + Board_3118 + Board_3343 + Columns_193 = 1
inv : Board_930 + Board_931 + Board_932 + Board_933 + Board_934 + Board_935 + Board_936 + Board_937 + Board_938 + Board_939 + Board_940 + Board_941 + Board_942 + Board_943 + Board_944 + Cells_62 = 1
inv : Board_22 + Board_247 + Board_472 + Board_697 + Board_922 + Board_1147 + Board_1372 + Board_1597 + Board_1822 + Board_2047 + Board_2272 + Board_2497 + Board_2722 + Board_2947 + Board_3172 + Columns_22 = 1
inv : Board_67 + Board_292 + Board_517 + Board_742 + Board_967 + Board_1192 + Board_1417 + Board_1642 + Board_1867 + Board_2092 + Board_2317 + Board_2542 + Board_2767 + Board_2992 + Board_3217 + Columns_67 = 1
inv : Board_130 + Board_355 + Board_580 + Board_805 + Board_1030 + Board_1255 + Board_1480 + Board_1705 + Board_1930 + Board_2155 + Board_2380 + Board_2605 + Board_2830 + Board_3055 + Board_3280 + Columns_130 = 1
inv : Board_103 + Board_328 + Board_553 + Board_778 + Board_1003 + Board_1228 + Board_1453 + Board_1678 + Board_1903 + Board_2128 + Board_2353 + Board_2578 + Board_2803 + Board_3028 + Board_3253 + Columns_103 = 1
inv : Rows_1 + Board_1 + Board_16 + Board_31 + Board_46 + Board_61 + Board_76 + Board_91 + Board_106 + Board_121 + Board_136 + Board_151 + Board_166 + Board_181 + Board_196 + Board_211 = 1
inv : Rows_23 + Board_233 + Board_248 + Board_263 + Board_278 + Board_293 + Board_308 + Board_323 + Board_338 + Board_353 + Board_368 + Board_383 + Board_398 + Board_413 + Board_428 + Board_443 = 1
inv : Rows_176 + Board_2486 + Board_2501 + Board_2516 + Board_2531 + Board_2546 + Board_2561 + Board_2576 + Board_2591 + Board_2606 + Board_2621 + Board_2636 + Board_2651 + Board_2666 + Board_2681 + Board_2696 = 1
inv : Board_1245 + Board_1246 + Board_1247 + Board_1248 + Board_1249 + Board_1250 + Board_1251 + Board_1252 + Board_1253 + Board_1254 + Board_1255 + Board_1256 + Board_1257 + Board_1258 + Board_1259 + Cells_83 = 1
inv : Board_85 + Board_310 + Board_535 + Board_760 + Board_985 + Board_1210 + Board_1435 + Board_1660 + Board_1885 + Board_2110 + Board_2335 + Board_2560 + Board_2785 + Board_3010 + Board_3235 + Columns_85 = 1
inv : Board_148 + Board_373 + Board_598 + Board_823 + Board_1048 + Board_1273 + Board_1498 + Board_1723 + Board_1948 + Board_2173 + Board_2398 + Board_2623 + Board_2848 + Board_3073 + Board_3298 + Columns_148 = 1
inv : Board_220 + Board_445 + Board_670 + Board_895 + Board_1120 + Board_1345 + Board_1570 + Board_1795 + Board_2020 + Board_2245 + Board_2470 + Board_2695 + Board_2920 + Board_3145 + Board_3370 + Columns_220 = 1
inv : Board_15 + Board_16 + Board_17 + Board_18 + Board_19 + Board_20 + Board_21 + Board_22 + Board_23 + Board_24 + Board_25 + Board_26 + Board_27 + Board_28 + Board_29 + Cells_1 = 1
inv : Board_615 + Board_616 + Board_617 + Board_618 + Board_619 + Board_620 + Board_621 + Board_622 + Board_623 + Board_624 + Board_625 + Board_626 + Board_627 + Board_628 + Board_629 + Cells_41 = 1
inv : Rows_163 + Board_2263 + Board_2278 + Board_2293 + Board_2308 + Board_2323 + Board_2338 + Board_2353 + Board_2368 + Board_2383 + Board_2398 + Board_2413 + Board_2428 + Board_2443 + Board_2458 + Board_2473 = 1
inv : Board_2775 + Board_2776 + Board_2777 + Board_2778 + Board_2779 + Board_2780 + Board_2781 + Board_2782 + Board_2783 + Board_2784 + Board_2785 + Board_2786 + Board_2787 + Board_2788 + Board_2789 + Cells_185 = 1
inv : Board_3090 + Board_3091 + Board_3092 + Board_3093 + Board_3094 + Board_3095 + Board_3096 + Board_3097 + Board_3098 + Board_3099 + Board_3100 + Board_3101 + Board_3102 + Board_3103 + Board_3104 + Cells_206 = 1
inv : Board_300 + Board_301 + Board_302 + Board_303 + Board_304 + Board_305 + Board_306 + Board_307 + Board_308 + Board_309 + Board_310 + Board_311 + Board_312 + Board_313 + Board_314 + Cells_20 = 1
inv : Board_40 + Board_265 + Board_490 + Board_715 + Board_940 + Board_1165 + Board_1390 + Board_1615 + Board_1840 + Board_2065 + Board_2290 + Board_2515 + Board_2740 + Board_2965 + Board_3190 + Columns_40 = 1
inv : Rows_60 + Board_900 + Board_915 + Board_930 + Board_945 + Board_960 + Board_975 + Board_990 + Board_1005 + Board_1020 + Board_1035 + Board_1050 + Board_1065 + Board_1080 + Board_1095 + Board_1110 = 1
inv : Board_330 + Board_331 + Board_332 + Board_333 + Board_334 + Board_335 + Board_336 + Board_337 + Board_338 + Board_339 + Board_340 + Board_341 + Board_342 + Board_343 + Board_344 + Cells_22 = 1
inv : Rows_202 + Board_2932 + Board_2947 + Board_2962 + Board_2977 + Board_2992 + Board_3007 + Board_3022 + Board_3037 + Board_3052 + Board_3067 + Board_3082 + Board_3097 + Board_3112 + Board_3127 + Board_3142 = 1
inv : Rows_104 + Board_1364 + Board_1379 + Board_1394 + Board_1409 + Board_1424 + Board_1439 + Board_1454 + Board_1469 + Board_1484 + Board_1499 + Board_1514 + Board_1529 + Board_1544 + Board_1559 + Board_1574 = 1
inv : Board_1260 + Board_1261 + Board_1262 + Board_1263 + Board_1264 + Board_1265 + Board_1266 + Board_1267 + Board_1268 + Board_1269 + Board_1270 + Board_1271 + Board_1272 + Board_1273 + Board_1274 + Cells_84 = 1
inv : Board_1530 + Board_1531 + Board_1532 + Board_1533 + Board_1534 + Board_1535 + Board_1536 + Board_1537 + Board_1538 + Board_1539 + Board_1540 + Board_1541 + Board_1542 + Board_1543 + Board_1544 + Cells_102 = 1
inv : Board_645 + Board_646 + Board_647 + Board_648 + Board_649 + Board_650 + Board_651 + Board_652 + Board_653 + Board_654 + Board_655 + Board_656 + Board_657 + Board_658 + Board_659 + Cells_43 = 1
inv : Board_2805 + Board_2806 + Board_2807 + Board_2808 + Board_2809 + Board_2810 + Board_2811 + Board_2812 + Board_2813 + Board_2814 + Board_2815 + Board_2816 + Board_2817 + Board_2818 + Board_2819 + Cells_187 = 1
inv : Rows_141 + Board_2031 + Board_2046 + Board_2061 + Board_2076 + Board_2091 + Board_2106 + Board_2121 + Board_2136 + Board_2151 + Board_2166 + Board_2181 + Board_2196 + Board_2211 + Board_2226 + Board_2241 = 1
inv : Board_1215 + Board_1216 + Board_1217 + Board_1218 + Board_1219 + Board_1220 + Board_1221 + Board_1222 + Board_1223 + Board_1224 + Board_1225 + Board_1226 + Board_1227 + Board_1228 + Board_1229 + Cells_81 = 1
inv : Rows_115 + Board_1585 + Board_1600 + Board_1615 + Board_1630 + Board_1645 + Board_1660 + Board_1675 + Board_1690 + Board_1705 + Board_1720 + Board_1735 + Board_1750 + Board_1765 + Board_1780 + Board_1795 = 1
inv : Rows_49 + Board_679 + Board_694 + Board_709 + Board_724 + Board_739 + Board_754 + Board_769 + Board_784 + Board_799 + Board_814 + Board_829 + Board_844 + Board_859 + Board_874 + Board_889 = 1
inv : Board_2490 + Board_2491 + Board_2492 + Board_2493 + Board_2494 + Board_2495 + Board_2496 + Board_2497 + Board_2498 + Board_2499 + Board_2500 + Board_2501 + Board_2502 + Board_2503 + Board_2504 + Cells_166 = 1
inv : Board_2460 + Board_2461 + Board_2462 + Board_2463 + Board_2464 + Board_2465 + Board_2466 + Board_2467 + Board_2468 + Board_2469 + Board_2470 + Board_2471 + Board_2472 + Board_2473 + Board_2474 + Cells_164 = 1
inv : Rows_84 + Board_1134 + Board_1149 + Board_1164 + Board_1179 + Board_1194 + Board_1209 + Board_1224 + Board_1239 + Board_1254 + Board_1269 + Board_1284 + Board_1299 + Board_1314 + Board_1329 + Board_1344 = 1
inv : Board_2175 + Board_2176 + Board_2177 + Board_2178 + Board_2179 + Board_2180 + Board_2181 + Board_2182 + Board_2183 + Board_2184 + Board_2185 + Board_2186 + Board_2187 + Board_2188 + Board_2189 + Cells_145 = 1
inv : Rows_12 + Board_12 + Board_27 + Board_42 + Board_57 + Board_72 + Board_87 + Board_102 + Board_117 + Board_132 + Board_147 + Board_162 + Board_177 + Board_192 + Board_207 + Board_222 = 1
inv : Board_128 + Board_353 + Board_578 + Board_803 + Board_1028 + Board_1253 + Board_1478 + Board_1703 + Board_1928 + Board_2153 + Board_2378 + Board_2603 + Board_2828 + Board_3053 + Board_3278 + Columns_128 = 1
inv : Board_1845 + Board_1846 + Board_1847 + Board_1848 + Board_1849 + Board_1850 + Board_1851 + Board_1852 + Board_1853 + Board_1854 + Board_1855 + Board_1856 + Board_1857 + Board_1858 + Board_1859 + Cells_123 = 1
inv : Board_1575 + Board_1576 + Board_1577 + Board_1578 + Board_1579 + Board_1580 + Board_1581 + Board_1582 + Board_1583 + Board_1584 + Board_1585 + Board_1586 + Board_1587 + Board_1588 + Board_1589 + Cells_105 = 1
inv : Board_65 + Board_290 + Board_515 + Board_740 + Board_965 + Board_1190 + Board_1415 + Board_1640 + Board_1865 + Board_2090 + Board_2315 + Board_2540 + Board_2765 + Board_2990 + Board_3215 + Columns_65 = 1
inv : Board_1890 + Board_1891 + Board_1892 + Board_1893 + Board_1894 + Board_1895 + Board_1896 + Board_1897 + Board_1898 + Board_1899 + Board_1900 + Board_1901 + Board_1902 + Board_1903 + Board_1904 + Cells_126 = 1
inv : Board_112 + Board_337 + Board_562 + Board_787 + Board_1012 + Board_1237 + Board_1462 + Board_1687 + Board_1912 + Board_2137 + Board_2362 + Board_2587 + Board_2812 + Board_3037 + Board_3262 + Columns_112 = 1
inv : Rows_224 + Board_3164 + Board_3179 + Board_3194 + Board_3209 + Board_3224 + Board_3239 + Board_3254 + Board_3269 + Board_3284 + Board_3299 + Board_3314 + Board_3329 + Board_3344 + Board_3359 + Board_3374 = 1
inv : Board_1860 + Board_1861 + Board_1862 + Board_1863 + Board_1864 + Board_1865 + Board_1866 + Board_1867 + Board_1868 + Board_1869 + Board_1870 + Board_1871 + Board_1872 + Board_1873 + Board_1874 + Cells_124 = 1
inv : Board_2 + Board_227 + Board_452 + Board_677 + Board_902 + Board_1127 + Board_1352 + Board_1577 + Board_1802 + Board_2027 + Board_2252 + Board_2477 + Board_2702 + Board_2927 + Board_3152 + Columns_2 = 1
inv : Rows_191 + Board_2711 + Board_2726 + Board_2741 + Board_2756 + Board_2771 + Board_2786 + Board_2801 + Board_2816 + Board_2831 + Board_2846 + Board_2861 + Board_2876 + Board_2891 + Board_2906 + Board_2921 = 1
inv : Rows_16 + Board_226 + Board_241 + Board_256 + Board_271 + Board_286 + Board_301 + Board_316 + Board_331 + Board_346 + Board_361 + Board_376 + Board_391 + Board_406 + Board_421 + Board_436 = 1
inv : Board_168 + Board_393 + Board_618 + Board_843 + Board_1068 + Board_1293 + Board_1518 + Board_1743 + Board_1968 + Board_2193 + Board_2418 + Board_2643 + Board_2868 + Board_3093 + Board_3318 + Columns_168 = 1
inv : Board_213 + Board_438 + Board_663 + Board_888 + Board_1113 + Board_1338 + Board_1563 + Board_1788 + Board_2013 + Board_2238 + Board_2463 + Board_2688 + Board_2913 + Board_3138 + Board_3363 + Columns_213 = 1
inv : Board_60 + Board_285 + Board_510 + Board_735 + Board_960 + Board_1185 + Board_1410 + Board_1635 + Board_1860 + Board_2085 + Board_2310 + Board_2535 + Board_2760 + Board_2985 + Board_3210 + Columns_60 = 1
inv : Rows_152 + Board_2252 + Board_2267 + Board_2282 + Board_2297 + Board_2312 + Board_2327 + Board_2342 + Board_2357 + Board_2372 + Board_2387 + Board_2402 + Board_2417 + Board_2432 + Board_2447 + Board_2462 = 1
inv : Rows_110 + Board_1580 + Board_1595 + Board_1610 + Board_1625 + Board_1640 + Board_1655 + Board_1670 + Board_1685 + Board_1700 + Board_1715 + Board_1730 + Board_1745 + Board_1760 + Board_1775 + Board_1790 = 1
inv : Board_45 + Board_46 + Board_47 + Board_48 + Board_49 + Board_50 + Board_51 + Board_52 + Board_53 + Board_54 + Board_55 + Board_56 + Board_57 + Board_58 + Board_59 + Cells_3 = 1
inv : Board_2820 + Board_2821 + Board_2822 + Board_2823 + Board_2824 + Board_2825 + Board_2826 + Board_2827 + Board_2828 + Board_2829 + Board_2830 + Board_2831 + Board_2832 + Board_2833 + Board_2834 + Cells_188 = 1
inv : Board_2130 + Board_2131 + Board_2132 + Board_2133 + Board_2134 + Board_2135 + Board_2136 + Board_2137 + Board_2138 + Board_2139 + Board_2140 + Board_2141 + Board_2142 + Board_2143 + Board_2144 + Cells_142 = 1
inv : Board_975 + Board_976 + Board_977 + Board_978 + Board_979 + Board_980 + Board_981 + Board_982 + Board_983 + Board_984 + Board_985 + Board_986 + Board_987 + Board_988 + Board_989 + Cells_65 = 1
inv : Board_173 + Board_398 + Board_623 + Board_848 + Board_1073 + Board_1298 + Board_1523 + Board_1748 + Board_1973 + Board_2198 + Board_2423 + Board_2648 + Board_2873 + Board_3098 + Board_3323 + Columns_173 = 1
inv : Board_47 + Board_272 + Board_497 + Board_722 + Board_947 + Board_1172 + Board_1397 + Board_1622 + Board_1847 + Board_2072 + Board_2297 + Board_2522 + Board_2747 + Board_2972 + Board_3197 + Columns_47 = 1
inv : Rows_195 + Board_2925 + Board_2940 + Board_2955 + Board_2970 + Board_2985 + Board_3000 + Board_3015 + Board_3030 + Board_3045 + Board_3060 + Board_3075 + Board_3090 + Board_3105 + Board_3120 + Board_3135 = 1
inv : Board_195 + Board_420 + Board_645 + Board_870 + Board_1095 + Board_1320 + Board_1545 + Board_1770 + Board_1995 + Board_2220 + Board_2445 + Board_2670 + Board_2895 + Board_3120 + Board_3345 + Columns_195 = 1
inv : Board_42 + Board_267 + Board_492 + Board_717 + Board_942 + Board_1167 + Board_1392 + Board_1617 + Board_1842 + Board_2067 + Board_2292 + Board_2517 + Board_2742 + Board_2967 + Board_3192 + Columns_42 = 1
inv : Board_285 + Board_286 + Board_287 + Board_288 + Board_289 + Board_290 + Board_291 + Board_292 + Board_293 + Board_294 + Board_295 + Board_296 + Board_297 + Board_298 + Board_299 + Cells_19 = 1
inv : Rows_148 + Board_2038 + Board_2053 + Board_2068 + Board_2083 + Board_2098 + Board_2113 + Board_2128 + Board_2143 + Board_2158 + Board_2173 + Board_2188 + Board_2203 + Board_2218 + Board_2233 + Board_2248 = 1
inv : Rows_132 + Board_1812 + Board_1827 + Board_1842 + Board_1857 + Board_1872 + Board_1887 + Board_1902 + Board_1917 + Board_1932 + Board_1947 + Board_1962 + Board_1977 + Board_1992 + Board_2007 + Board_2022 = 1
inv : Board_885 + Board_886 + Board_887 + Board_888 + Board_889 + Board_890 + Board_891 + Board_892 + Board_893 + Board_894 + Board_895 + Board_896 + Board_897 + Board_898 + Board_899 + Cells_59 = 1
inv : Board_200 + Board_425 + Board_650 + Board_875 + Board_1100 + Board_1325 + Board_1550 + Board_1775 + Board_2000 + Board_2225 + Board_2450 + Board_2675 + Board_2900 + Board_3125 + Board_3350 + Columns_200 = 1
inv : Rows_21 + Board_231 + Board_246 + Board_261 + Board_276 + Board_291 + Board_306 + Board_321 + Board_336 + Board_351 + Board_366 + Board_381 + Board_396 + Board_411 + Board_426 + Board_441 = 1
inv : Board_92 + Board_317 + Board_542 + Board_767 + Board_992 + Board_1217 + Board_1442 + Board_1667 + Board_1892 + Board_2117 + Board_2342 + Board_2567 + Board_2792 + Board_3017 + Board_3242 + Columns_92 = 1
inv : Board_3060 + Board_3061 + Board_3062 + Board_3063 + Board_3064 + Board_3065 + Board_3066 + Board_3067 + Board_3068 + Board_3069 + Board_3070 + Board_3071 + Board_3072 + Board_3073 + Board_3074 + Cells_204 = 1
inv : Board_87 + Board_312 + Board_537 + Board_762 + Board_987 + Board_1212 + Board_1437 + Board_1662 + Board_1887 + Board_2112 + Board_2337 + Board_2562 + Board_2787 + Board_3012 + Board_3237 + Columns_87 = 1
inv : Board_218 + Board_443 + Board_668 + Board_893 + Board_1118 + Board_1343 + Board_1568 + Board_1793 + Board_2018 + Board_2243 + Board_2468 + Board_2693 + Board_2918 + Board_3143 + Board_3368 + Columns_218 = 1
inv : Rows_207 + Board_2937 + Board_2952 + Board_2967 + Board_2982 + Board_2997 + Board_3012 + Board_3027 + Board_3042 + Board_3057 + Board_3072 + Board_3087 + Board_3102 + Board_3117 + Board_3132 + Board_3147 = 1
inv : Board_255 + Board_256 + Board_257 + Board_258 + Board_259 + Board_260 + Board_261 + Board_262 + Board_263 + Board_264 + Board_265 + Board_266 + Board_267 + Board_268 + Board_269 + Cells_17 = 1
inv : Rows_56 + Board_686 + Board_701 + Board_716 + Board_731 + Board_746 + Board_761 + Board_776 + Board_791 + Board_806 + Board_821 + Board_836 + Board_851 + Board_866 + Board_881 + Board_896 = 1
inv : Rows_143 + Board_2033 + Board_2048 + Board_2063 + Board_2078 + Board_2093 + Board_2108 + Board_2123 + Board_2138 + Board_2153 + Board_2168 + Board_2183 + Board_2198 + Board_2213 + Board_2228 + Board_2243 = 1
inv : Board_72 + Board_297 + Board_522 + Board_747 + Board_972 + Board_1197 + Board_1422 + Board_1647 + Board_1872 + Board_2097 + Board_2322 + Board_2547 + Board_2772 + Board_2997 + Board_3222 + Columns_72 = 1
inv : Rows_200 + Board_2930 + Board_2945 + Board_2960 + Board_2975 + Board_2990 + Board_3005 + Board_3020 + Board_3035 + Board_3050 + Board_3065 + Board_3080 + Board_3095 + Board_3110 + Board_3125 + Board_3140 = 1
inv : Board_0 + Board_225 + Board_450 + Board_675 + Board_900 + Board_1125 + Board_1350 + Board_1575 + Board_1800 + Board_2025 + Board_2250 + Board_2475 + Board_2700 + Board_2925 + Board_3150 + Columns_0 = 1
inv : Board_198 + Board_423 + Board_648 + Board_873 + Board_1098 + Board_1323 + Board_1548 + Board_1773 + Board_1998 + Board_2223 + Board_2448 + Board_2673 + Board_2898 + Board_3123 + Board_3348 + Columns_198 = 1
inv : Rows_108 + Board_1578 + Board_1593 + Board_1608 + Board_1623 + Board_1638 + Board_1653 + Board_1668 + Board_1683 + Board_1698 + Board_1713 + Board_1728 + Board_1743 + Board_1758 + Board_1773 + Board_1788 = 1
inv : Board_20 + Board_245 + Board_470 + Board_695 + Board_920 + Board_1145 + Board_1370 + Board_1595 + Board_1820 + Board_2045 + Board_2270 + Board_2495 + Board_2720 + Board_2945 + Board_3170 + Columns_20 = 1
inv : Board_62 + Board_287 + Board_512 + Board_737 + Board_962 + Board_1187 + Board_1412 + Board_1637 + Board_1862 + Board_2087 + Board_2312 + Board_2537 + Board_2762 + Board_2987 + Board_3212 + Columns_62 = 1
inv : Rows_51 + Board_681 + Board_696 + Board_711 + Board_726 + Board_741 + Board_756 + Board_771 + Board_786 + Board_801 + Board_816 + Board_831 + Board_846 + Board_861 + Board_876 + Board_891 = 1
inv : Rows_211 + Board_3151 + Board_3166 + Board_3181 + Board_3196 + Board_3211 + Board_3226 + Board_3241 + Board_3256 + Board_3271 + Board_3286 + Board_3301 + Board_3316 + Board_3331 + Board_3346 + Board_3361 = 1
inv : Board_15 + Board_240 + Board_465 + Board_690 + Board_915 + Board_1140 + Board_1365 + Board_1590 + Board_1815 + Board_2040 + Board_2265 + Board_2490 + Board_2715 + Board_2940 + Board_3165 + Columns_15 = 1
inv : Board_188 + Board_413 + Board_638 + Board_863 + Board_1088 + Board_1313 + Board_1538 + Board_1763 + Board_1988 + Board_2213 + Board_2438 + Board_2663 + Board_2888 + Board_3113 + Board_3338 + Columns_188 = 1
inv : Rows_113 + Board_1583 + Board_1598 + Board_1613 + Board_1628 + Board_1643 + Board_1658 + Board_1673 + Board_1688 + Board_1703 + Board_1718 + Board_1733 + Board_1748 + Board_1763 + Board_1778 + Board_1793 = 1
inv : Board_855 + Board_856 + Board_857 + Board_858 + Board_859 + Board_860 + Board_861 + Board_862 + Board_863 + Board_864 + Board_865 + Board_866 + Board_867 + Board_868 + Board_869 + Cells_57 = 1
inv : Board_1935 + Board_1936 + Board_1937 + Board_1938 + Board_1939 + Board_1940 + Board_1941 + Board_1942 + Board_1943 + Board_1944 + Board_1945 + Board_1946 + Board_1947 + Board_1948 + Board_1949 + Cells_129 = 1
inv : Rows_40 + Board_460 + Board_475 + Board_490 + Board_505 + Board_520 + Board_535 + Board_550 + Board_565 + Board_580 + Board_595 + Board_610 + Board_625 + Board_640 + Board_655 + Board_670 = 1
inv : Rows_197 + Board_2927 + Board_2942 + Board_2957 + Board_2972 + Board_2987 + Board_3002 + Board_3017 + Board_3032 + Board_3047 + Board_3062 + Board_3077 + Board_3092 + Board_3107 + Board_3122 + Board_3137 = 1
inv : Rows_87 + Board_1137 + Board_1152 + Board_1167 + Board_1182 + Board_1197 + Board_1212 + Board_1227 + Board_1242 + Board_1257 + Board_1272 + Board_1287 + Board_1302 + Board_1317 + Board_1332 + Board_1347 = 1
inv : Rows_150 + Board_2250 + Board_2265 + Board_2280 + Board_2295 + Board_2310 + Board_2325 + Board_2340 + Board_2355 + Board_2370 + Board_2385 + Board_2400 + Board_2415 + Board_2430 + Board_2445 + Board_2460 = 1
inv : Rows_18 + Board_228 + Board_243 + Board_258 + Board_273 + Board_288 + Board_303 + Board_318 + Board_333 + Board_348 + Board_363 + Board_378 + Board_393 + Board_408 + Board_423 + Board_438 = 1
inv : Board_2250 + Board_2251 + Board_2252 + Board_2253 + Board_2254 + Board_2255 + Board_2256 + Board_2257 + Board_2258 + Board_2259 + Board_2260 + Board_2261 + Board_2262 + Board_2263 + Board_2264 + Cells_150 = 1
inv : Rows_146 + Board_2036 + Board_2051 + Board_2066 + Board_2081 + Board_2096 + Board_2111 + Board_2126 + Board_2141 + Board_2156 + Board_2171 + Board_2186 + Board_2201 + Board_2216 + Board_2231 + Board_2246 = 1
inv : Board_80 + Board_305 + Board_530 + Board_755 + Board_980 + Board_1205 + Board_1430 + Board_1655 + Board_1880 + Board_2105 + Board_2330 + Board_2555 + Board_2780 + Board_3005 + Board_3230 + Columns_80 = 1
inv : Board_1170 + Board_1171 + Board_1172 + Board_1173 + Board_1174 + Board_1175 + Board_1176 + Board_1177 + Board_1178 + Board_1179 + Board_1180 + Board_1181 + Board_1182 + Board_1183 + Board_1184 + Cells_78 = 1
inv : Board_17 + Board_242 + Board_467 + Board_692 + Board_917 + Board_1142 + Board_1367 + Board_1592 + Board_1817 + Board_2042 + Board_2267 + Board_2492 + Board_2717 + Board_2942 + Board_3167 + Columns_17 = 1
inv : Rows_91 + Board_1351 + Board_1366 + Board_1381 + Board_1396 + Board_1411 + Board_1426 + Board_1441 + Board_1456 + Board_1471 + Board_1486 + Board_1501 + Board_1516 + Board_1531 + Board_1546 + Board_1561 = 1
inv : Board_690 + Board_691 + Board_692 + Board_693 + Board_694 + Board_695 + Board_696 + Board_697 + Board_698 + Board_699 + Board_700 + Board_701 + Board_702 + Board_703 + Board_704 + Cells_46 = 1
inv : Board_27 + Board_252 + Board_477 + Board_702 + Board_927 + Board_1152 + Board_1377 + Board_1602 + Board_1827 + Board_2052 + Board_2277 + Board_2502 + Board_2727 + Board_2952 + Board_3177 + Columns_27 = 1
inv : Board_45 + Board_270 + Board_495 + Board_720 + Board_945 + Board_1170 + Board_1395 + Board_1620 + Board_1845 + Board_2070 + Board_2295 + Board_2520 + Board_2745 + Board_2970 + Board_3195 + Columns_45 = 1
inv : Board_215 + Board_440 + Board_665 + Board_890 + Board_1115 + Board_1340 + Board_1565 + Board_1790 + Board_2015 + Board_2240 + Board_2465 + Board_2690 + Board_2915 + Board_3140 + Board_3365 + Columns_215 = 1
inv : Board_35 + Board_260 + Board_485 + Board_710 + Board_935 + Board_1160 + Board_1385 + Board_1610 + Board_1835 + Board_2060 + Board_2285 + Board_2510 + Board_2735 + Board_2960 + Board_3185 + Columns_35 = 1
inv : Board_90 + Board_315 + Board_540 + Board_765 + Board_990 + Board_1215 + Board_1440 + Board_1665 + Board_1890 + Board_2115 + Board_2340 + Board_2565 + Board_2790 + Board_3015 + Board_3240 + Columns_90 = 1
inv : Board_2850 + Board_2851 + Board_2852 + Board_2853 + Board_2854 + Board_2855 + Board_2856 + Board_2857 + Board_2858 + Board_2859 + Board_2860 + Board_2861 + Board_2862 + Board_2863 + Board_2864 + Cells_190 = 1
inv : Rows_14 + Board_14 + Board_29 + Board_44 + Board_59 + Board_74 + Board_89 + Board_104 + Board_119 + Board_134 + Board_149 + Board_164 + Board_179 + Board_194 + Board_209 + Board_224 = 1
inv : Board_90 + Board_91 + Board_92 + Board_93 + Board_94 + Board_95 + Board_96 + Board_97 + Board_98 + Board_99 + Board_100 + Board_101 + Board_102 + Board_103 + Board_104 + Cells_6 = 1
inv : Board_3330 + Board_3331 + Board_3332 + Board_3333 + Board_3334 + Board_3335 + Board_3336 + Board_3337 + Board_3338 + Board_3339 + Board_3340 + Board_3341 + Board_3342 + Board_3343 + Board_3344 + Cells_222 = 1
inv : Board_3015 + Board_3016 + Board_3017 + Board_3018 + Board_3019 + Board_3020 + Board_3021 + Board_3022 + Board_3023 + Board_3024 + Board_3025 + Board_3026 + Board_3027 + Board_3028 + Board_3029 + Cells_201 = 1
inv : Board_375 + Board_376 + Board_377 + Board_378 + Board_379 + Board_380 + Board_381 + Board_382 + Board_383 + Board_384 + Board_385 + Board_386 + Board_387 + Board_388 + Board_389 + Cells_25 = 1
inv : Board_2535 + Board_2536 + Board_2537 + Board_2538 + Board_2539 + Board_2540 + Board_2541 + Board_2542 + Board_2543 + Board_2544 + Board_2545 + Board_2546 + Board_2547 + Board_2548 + Board_2549 + Cells_169 = 1
inv : Rows_32 + Board_452 + Board_467 + Board_482 + Board_497 + Board_512 + Board_527 + Board_542 + Board_557 + Board_572 + Board_587 + Board_602 + Board_617 + Board_632 + Board_647 + Board_662 = 1
inv : Board_1335 + Board_1336 + Board_1337 + Board_1338 + Board_1339 + Board_1340 + Board_1341 + Board_1342 + Board_1343 + Board_1344 + Board_1345 + Board_1346 + Board_1347 + Board_1348 + Board_1349 + Cells_89 = 1
inv : Rows_183 + Board_2703 + Board_2718 + Board_2733 + Board_2748 + Board_2763 + Board_2778 + Board_2793 + Board_2808 + Board_2823 + Board_2838 + Board_2853 + Board_2868 + Board_2883 + Board_2898 + Board_2913 = 1
inv : Board_2730 + Board_2731 + Board_2732 + Board_2733 + Board_2734 + Board_2735 + Board_2736 + Board_2737 + Board_2738 + Board_2739 + Board_2740 + Board_2741 + Board_2742 + Board_2743 + Board_2744 + Cells_182 = 1
inv : Board_1455 + Board_1456 + Board_1457 + Board_1458 + Board_1459 + Board_1460 + Board_1461 + Board_1462 + Board_1463 + Board_1464 + Board_1465 + Board_1466 + Board_1467 + Board_1468 + Board_1469 + Cells_97 = 1
inv : Board_160 + Board_385 + Board_610 + Board_835 + Board_1060 + Board_1285 + Board_1510 + Board_1735 + Board_1960 + Board_2185 + Board_2410 + Board_2635 + Board_2860 + Board_3085 + Board_3310 + Columns_160 = 1
inv : Board_2415 + Board_2416 + Board_2417 + Board_2418 + Board_2419 + Board_2420 + Board_2421 + Board_2422 + Board_2423 + Board_2424 + Board_2425 + Board_2426 + Board_2427 + Board_2428 + Board_2429 + Cells_161 = 1
inv : Board_55 + Board_280 + Board_505 + Board_730 + Board_955 + Board_1180 + Board_1405 + Board_1630 + Board_1855 + Board_2080 + Board_2305 + Board_2530 + Board_2755 + Board_2980 + Board_3205 + Columns_55 = 1
inv : Board_2370 + Board_2371 + Board_2372 + Board_2373 + Board_2374 + Board_2375 + Board_2376 + Board_2377 + Board_2378 + Board_2379 + Board_2380 + Board_2381 + Board_2382 + Board_2383 + Board_2384 + Cells_158 = 1
inv : Board_180 + Board_405 + Board_630 + Board_855 + Board_1080 + Board_1305 + Board_1530 + Board_1755 + Board_1980 + Board_2205 + Board_2430 + Board_2655 + Board_2880 + Board_3105 + Board_3330 + Columns_180 = 1
inv : Board_1290 + Board_1291 + Board_1292 + Board_1293 + Board_1294 + Board_1295 + Board_1296 + Board_1297 + Board_1298 + Board_1299 + Board_1300 + Board_1301 + Board_1302 + Board_1303 + Board_1304 + Cells_86 = 1
inv : Board_190 + Board_415 + Board_640 + Board_865 + Board_1090 + Board_1315 + Board_1540 + Board_1765 + Board_1990 + Board_2215 + Board_2440 + Board_2665 + Board_2890 + Board_3115 + Board_3340 + Columns_190 = 1
inv : Rows_219 + Board_3159 + Board_3174 + Board_3189 + Board_3204 + Board_3219 + Board_3234 + Board_3249 + Board_3264 + Board_3279 + Board_3294 + Board_3309 + Board_3324 + Board_3339 + Board_3354 + Board_3369 = 1
inv : Board_170 + Board_395 + Board_620 + Board_845 + Board_1070 + Board_1295 + Board_1520 + Board_1745 + Board_1970 + Board_2195 + Board_2420 + Board_2645 + Board_2870 + Board_3095 + Board_3320 + Columns_170 = 1
inv : Rows_54 + Board_684 + Board_699 + Board_714 + Board_729 + Board_744 + Board_759 + Board_774 + Board_789 + Board_804 + Board_819 + Board_834 + Board_849 + Board_864 + Board_879 + Board_894 = 1
inv : Board_1815 + Board_1816 + Board_1817 + Board_1818 + Board_1819 + Board_1820 + Board_1821 + Board_1822 + Board_1823 + Board_1824 + Board_1825 + Board_1826 + Board_1827 + Board_1828 + Board_1829 + Cells_121 = 1
inv : Board_70 + Board_295 + Board_520 + Board_745 + Board_970 + Board_1195 + Board_1420 + Board_1645 + Board_1870 + Board_2095 + Board_2320 + Board_2545 + Board_2770 + Board_2995 + Board_3220 + Columns_70 = 1
inv : Rows_193 + Board_2713 + Board_2728 + Board_2743 + Board_2758 + Board_2773 + Board_2788 + Board_2803 + Board_2818 + Board_2833 + Board_2848 + Board_2863 + Board_2878 + Board_2893 + Board_2908 + Board_2923 = 1
inv : Rows_136 + Board_2026 + Board_2041 + Board_2056 + Board_2071 + Board_2086 + Board_2101 + Board_2116 + Board_2131 + Board_2146 + Board_2161 + Board_2176 + Board_2191 + Board_2206 + Board_2221 + Board_2236 = 1
inv : Board_7 + Board_232 + Board_457 + Board_682 + Board_907 + Board_1132 + Board_1357 + Board_1582 + Board_1807 + Board_2032 + Board_2257 + Board_2482 + Board_2707 + Board_2932 + Board_3157 + Columns_7 = 1
inv : Board_1650 + Board_1651 + Board_1652 + Board_1653 + Board_1654 + Board_1655 + Board_1656 + Board_1657 + Board_1658 + Board_1659 + Board_1660 + Board_1661 + Board_1662 + Board_1663 + Board_1664 + Cells_110 = 1
inv : Rows_105 + Board_1575 + Board_1590 + Board_1605 + Board_1620 + Board_1635 + Board_1650 + Board_1665 + Board_1680 + Board_1695 + Board_1710 + Board_1725 + Board_1740 + Board_1755 + Board_1770 + Board_1785 = 1
inv : Rows_28 + Board_238 + Board_253 + Board_268 + Board_283 + Board_298 + Board_313 + Board_328 + Board_343 + Board_358 + Board_373 + Board_388 + Board_403 + Board_418 + Board_433 + Board_448 = 1
inv : Board_1770 + Board_1771 + Board_1772 + Board_1773 + Board_1774 + Board_1775 + Board_1776 + Board_1777 + Board_1778 + Board_1779 + Board_1780 + Board_1781 + Board_1782 + Board_1783 + Board_1784 + Cells_118 = 1
inv : Rows_63 + Board_903 + Board_918 + Board_933 + Board_948 + Board_963 + Board_978 + Board_993 + Board_1008 + Board_1023 + Board_1038 + Board_1053 + Board_1068 + Board_1083 + Board_1098 + Board_1113 = 1
inv : Board_2055 + Board_2056 + Board_2057 + Board_2058 + Board_2059 + Board_2060 + Board_2061 + Board_2062 + Board_2063 + Board_2064 + Board_2065 + Board_2066 + Board_2067 + Board_2068 + Board_2069 + Cells_137 = 1
inv : Board_105 + Board_330 + Board_555 + Board_780 + Board_1005 + Board_1230 + Board_1455 + Board_1680 + Board_1905 + Board_2130 + Board_2355 + Board_2580 + Board_2805 + Board_3030 + Board_3255 + Columns_105 = 1
inv : Rows_174 + Board_2484 + Board_2499 + Board_2514 + Board_2529 + Board_2544 + Board_2559 + Board_2574 + Board_2589 + Board_2604 + Board_2619 + Board_2634 + Board_2649 + Board_2664 + Board_2679 + Board_2694 = 1
inv : Rows_169 + Board_2479 + Board_2494 + Board_2509 + Board_2524 + Board_2539 + Board_2554 + Board_2569 + Board_2584 + Board_2599 + Board_2614 + Board_2629 + Board_2644 + Board_2659 + Board_2674 + Board_2689 = 1
inv : Board_1050 + Board_1051 + Board_1052 + Board_1053 + Board_1054 + Board_1055 + Board_1056 + Board_1057 + Board_1058 + Board_1059 + Board_1060 + Board_1061 + Board_1062 + Board_1063 + Board_1064 + Cells_70 = 1
inv : Board_110 + Board_335 + Board_560 + Board_785 + Board_1010 + Board_1235 + Board_1460 + Board_1685 + Board_1910 + Board_2135 + Board_2360 + Board_2585 + Board_2810 + Board_3035 + Board_3260 + Columns_110 = 1
inv : Rows_68 + Board_908 + Board_923 + Board_938 + Board_953 + Board_968 + Board_983 + Board_998 + Board_1013 + Board_1028 + Board_1043 + Board_1058 + Board_1073 + Board_1088 + Board_1103 + Board_1118 = 1
inv : Board_100 + Board_325 + Board_550 + Board_775 + Board_1000 + Board_1225 + Board_1450 + Board_1675 + Board_1900 + Board_2125 + Board_2350 + Board_2575 + Board_2800 + Board_3025 + Board_3250 + Columns_100 = 1
inv : Rows_101 + Board_1361 + Board_1376 + Board_1391 + Board_1406 + Board_1421 + Board_1436 + Board_1451 + Board_1466 + Board_1481 + Board_1496 + Board_1511 + Board_1526 + Board_1541 + Board_1556 + Board_1571 = 1
inv : Board_210 + Board_211 + Board_212 + Board_213 + Board_214 + Board_215 + Board_216 + Board_217 + Board_218 + Board_219 + Board_220 + Board_221 + Board_222 + Board_223 + Board_224 + Cells_14 = 1
inv : Board_2895 + Board_2896 + Board_2897 + Board_2898 + Board_2899 + Board_2900 + Board_2901 + Board_2902 + Board_2903 + Board_2904 + Board_2905 + Board_2906 + Board_2907 + Board_2908 + Board_2909 + Cells_193 = 1
inv : Board_145 + Board_370 + Board_595 + Board_820 + Board_1045 + Board_1270 + Board_1495 + Board_1720 + Board_1945 + Board_2170 + Board_2395 + Board_2620 + Board_2845 + Board_3070 + Board_3295 + Columns_145 = 1
inv : Board_810 + Board_811 + Board_812 + Board_813 + Board_814 + Board_815 + Board_816 + Board_817 + Board_818 + Board_819 + Board_820 + Board_821 + Board_822 + Board_823 + Board_824 + Cells_54 = 1
inv : Board_155 + Board_380 + Board_605 + Board_830 + Board_1055 + Board_1280 + Board_1505 + Board_1730 + Board_1955 + Board_2180 + Board_2405 + Board_2630 + Board_2855 + Board_3080 + Board_3305 + Columns_155 = 1
inv : Board_570 + Board_571 + Board_572 + Board_573 + Board_574 + Board_575 + Board_576 + Board_577 + Board_578 + Board_579 + Board_580 + Board_581 + Board_582 + Board_583 + Board_584 + Cells_38 = 1
inv : Board_150 + Board_375 + Board_600 + Board_825 + Board_1050 + Board_1275 + Board_1500 + Board_1725 + Board_1950 + Board_2175 + Board_2400 + Board_2625 + Board_2850 + Board_3075 + Board_3300 + Columns_150 = 1
inv : Rows_179 + Board_2489 + Board_2504 + Board_2519 + Board_2534 + Board_2549 + Board_2564 + Board_2579 + Board_2594 + Board_2609 + Board_2624 + Board_2639 + Board_2654 + Board_2669 + Board_2684 + Board_2699 = 1
inv : Rows_73 + Board_913 + Board_928 + Board_943 + Board_958 + Board_973 + Board_988 + Board_1003 + Board_1018 + Board_1033 + Board_1048 + Board_1063 + Board_1078 + Board_1093 + Board_1108 + Board_1123 = 1
inv : Board_3135 + Board_3136 + Board_3137 + Board_3138 + Board_3139 + Board_3140 + Board_3141 + Board_3142 + Board_3143 + Board_3144 + Board_3145 + Board_3146 + Board_3147 + Board_3148 + Board_3149 + Cells_209 = 1
inv : Board_140 + Board_365 + Board_590 + Board_815 + Board_1040 + Board_1265 + Board_1490 + Board_1715 + Board_1940 + Board_2165 + Board_2390 + Board_2615 + Board_2840 + Board_3065 + Board_3290 + Columns_140 = 1
inv : Rows_9 + Board_9 + Board_24 + Board_39 + Board_54 + Board_69 + Board_84 + Board_99 + Board_114 + Board_129 + Board_144 + Board_159 + Board_174 + Board_189 + Board_204 + Board_219 = 1
inv : Rows_160 + Board_2260 + Board_2275 + Board_2290 + Board_2305 + Board_2320 + Board_2335 + Board_2350 + Board_2365 + Board_2380 + Board_2395 + Board_2410 + Board_2425 + Board_2440 + Board_2455 + Board_2470 = 1
inv : Board_115 + Board_340 + Board_565 + Board_790 + Board_1015 + Board_1240 + Board_1465 + Board_1690 + Board_1915 + Board_2140 + Board_2365 + Board_2590 + Board_2815 + Board_3040 + Board_3265 + Columns_115 = 1
inv : Rows_4 + Board_4 + Board_19 + Board_34 + Board_49 + Board_64 + Board_79 + Board_94 + Board_109 + Board_124 + Board_139 + Board_154 + Board_169 + Board_184 + Board_199 + Board_214 = 1
inv : Board_135 + Board_360 + Board_585 + Board_810 + Board_1035 + Board_1260 + Board_1485 + Board_1710 + Board_1935 + Board_2160 + Board_2385 + Board_2610 + Board_2835 + Board_3060 + Board_3285 + Columns_135 = 1
inv : Rows_77 + Board_1127 + Board_1142 + Board_1157 + Board_1172 + Board_1187 + Board_1202 + Board_1217 + Board_1232 + Board_1247 + Board_1262 + Board_1277 + Board_1292 + Board_1307 + Board_1322 + Board_1337 = 1
inv : Board_120 + Board_345 + Board_570 + Board_795 + Board_1020 + Board_1245 + Board_1470 + Board_1695 + Board_1920 + Board_2145 + Board_2370 + Board_2595 + Board_2820 + Board_3045 + Board_3270 + Columns_120 = 1
inv : Board_125 + Board_350 + Board_575 + Board_800 + Board_1025 + Board_1250 + Board_1475 + Board_1700 + Board_1925 + Board_2150 + Board_2375 + Board_2600 + Board_2825 + Board_3050 + Board_3275 + Columns_125 = 1
inv : Rows_82 + Board_1132 + Board_1147 + Board_1162 + Board_1177 + Board_1192 + Board_1207 + Board_1222 + Board_1237 + Board_1252 + Board_1267 + Board_1282 + Board_1297 + Board_1312 + Board_1327 + Board_1342 = 1
inv : Board_2940 + Board_2941 + Board_2942 + Board_2943 + Board_2944 + Board_2945 + Board_2946 + Board_2947 + Board_2948 + Board_2949 + Board_2950 + Board_2951 + Board_2952 + Board_2953 + Board_2954 + Cells_196 = 1
inv : Board_1395 + Board_1396 + Board_1397 + Board_1398 + Board_1399 + Board_1400 + Board_1401 + Board_1402 + Board_1403 + Board_1404 + Board_1405 + Board_1406 + Board_1407 + Board_1408 + Board_1409 + Cells_93 = 1
inv : Rows_57 + Board_687 + Board_702 + Board_717 + Board_732 + Board_747 + Board_762 + Board_777 + Board_792 + Board_807 + Board_822 + Board_837 + Board_852 + Board_867 + Board_882 + Board_897 = 1
inv : Rows_214 + Board_3154 + Board_3169 + Board_3184 + Board_3199 + Board_3214 + Board_3229 + Board_3244 + Board_3259 + Board_3274 + Board_3289 + Board_3304 + Board_3319 + Board_3334 + Board_3349 + Board_3364 = 1
inv : Rows_70 + Board_910 + Board_925 + Board_940 + Board_955 + Board_970 + Board_985 + Board_1000 + Board_1015 + Board_1030 + Board_1045 + Board_1060 + Board_1075 + Board_1090 + Board_1105 + Board_1120 = 1
inv : Rows_129 + Board_1809 + Board_1824 + Board_1839 + Board_1854 + Board_1869 + Board_1884 + Board_1899 + Board_1914 + Board_1929 + Board_1944 + Board_1959 + Board_1974 + Board_1989 + Board_2004 + Board_2019 = 1
inv : Board_2625 + Board_2626 + Board_2627 + Board_2628 + Board_2629 + Board_2630 + Board_2631 + Board_2632 + Board_2633 + Board_2634 + Board_2635 + Board_2636 + Board_2637 + Board_2638 + Board_2639 + Cells_175 = 1
inv : Rows_44 + Board_464 + Board_479 + Board_494 + Board_509 + Board_524 + Board_539 + Board_554 + Board_569 + Board_584 + Board_599 + Board_614 + Board_629 + Board_644 + Board_659 + Board_674 = 1
inv : Board_1080 + Board_1081 + Board_1082 + Board_1083 + Board_1084 + Board_1085 + Board_1086 + Board_1087 + Board_1088 + Board_1089 + Board_1090 + Board_1091 + Board_1092 + Board_1093 + Board_1094 + Cells_72 = 1
inv : Rows_142 + Board_2032 + Board_2047 + Board_2062 + Board_2077 + Board_2092 + Board_2107 + Board_2122 + Board_2137 + Board_2152 + Board_2167 + Board_2182 + Board_2197 + Board_2212 + Board_2227 + Board_2242 = 1
inv : Rows_155 + Board_2255 + Board_2270 + Board_2285 + Board_2300 + Board_2315 + Board_2330 + Board_2345 + Board_2360 + Board_2375 + Board_2390 + Board_2405 + Board_2420 + Board_2435 + Board_2450 + Board_2465 = 1
inv : Rows_83 + Board_1133 + Board_1148 + Board_1163 + Board_1178 + Board_1193 + Board_1208 + Board_1223 + Board_1238 + Board_1253 + Board_1268 + Board_1283 + Board_1298 + Board_1313 + Board_1328 + Board_1343 = 1
inv : Board_765 + Board_766 + Board_767 + Board_768 + Board_769 + Board_770 + Board_771 + Board_772 + Board_773 + Board_774 + Board_775 + Board_776 + Board_777 + Board_778 + Board_779 + Cells_51 = 1
inv : Board_3 + Board_228 + Board_453 + Board_678 + Board_903 + Board_1128 + Board_1353 + Board_1578 + Board_1803 + Board_2028 + Board_2253 + Board_2478 + Board_2703 + Board_2928 + Board_3153 + Columns_3 = 1
inv : Board_3255 + Board_3256 + Board_3257 + Board_3258 + Board_3259 + Board_3260 + Board_3261 + Board_3262 + Board_3263 + Board_3264 + Board_3265 + Board_3266 + Board_3267 + Board_3268 + Board_3269 + Cells_217 = 1
inv : Rows_11 + Board_11 + Board_26 + Board_41 + Board_56 + Board_71 + Board_86 + Board_101 + Board_116 + Board_131 + Board_146 + Board_161 + Board_176 + Board_191 + Board_206 + Board_221 = 1
inv : Board_165 + Board_166 + Board_167 + Board_168 + Board_169 + Board_170 + Board_171 + Board_172 + Board_173 + Board_174 + Board_175 + Board_176 + Board_177 + Board_178 + Board_179 + Cells_11 = 1
inv : Board_480 + Board_481 + Board_482 + Board_483 + Board_484 + Board_485 + Board_486 + Board_487 + Board_488 + Board_489 + Board_490 + Board_491 + Board_492 + Board_493 + Board_494 + Cells_32 = 1
inv : Board_450 + Board_451 + Board_452 + Board_453 + Board_454 + Board_455 + Board_456 + Board_457 + Board_458 + Board_459 + Board_460 + Board_461 + Board_462 + Board_463 + Board_464 + Cells_30 = 1
inv : Board_129 + Board_354 + Board_579 + Board_804 + Board_1029 + Board_1254 + Board_1479 + Board_1704 + Board_1929 + Board_2154 + Board_2379 + Board_2604 + Board_2829 + Board_3054 + Board_3279 + Columns_129 = 1
inv : Board_50 + Board_275 + Board_500 + Board_725 + Board_950 + Board_1175 + Board_1400 + Board_1625 + Board_1850 + Board_2075 + Board_2300 + Board_2525 + Board_2750 + Board_2975 + Board_3200 + Columns_50 = 1
inv : Board_122 + Board_347 + Board_572 + Board_797 + Board_1022 + Board_1247 + Board_1472 + Board_1697 + Board_1922 + Board_2147 + Board_2372 + Board_2597 + Board_2822 + Board_3047 + Board_3272 + Columns_122 = 1
inv : Board_86 + Board_311 + Board_536 + Board_761 + Board_986 + Board_1211 + Board_1436 + Board_1661 + Board_1886 + Board_2111 + Board_2336 + Board_2561 + Board_2786 + Board_3011 + Board_3236 + Columns_86 = 1
inv : Board_158 + Board_383 + Board_608 + Board_833 + Board_1058 + Board_1283 + Board_1508 + Board_1733 + Board_1958 + Board_2183 + Board_2408 + Board_2633 + Board_2858 + Board_3083 + Board_3308 + Columns_158 = 1
inv : Board_176 + Board_401 + Board_626 + Board_851 + Board_1076 + Board_1301 + Board_1526 + Board_1751 + Board_1976 + Board_2201 + Board_2426 + Board_2651 + Board_2876 + Board_3101 + Board_3326 + Columns_176 = 1
inv : Rows_96 + Board_1356 + Board_1371 + Board_1386 + Board_1401 + Board_1416 + Board_1431 + Board_1446 + Board_1461 + Board_1476 + Board_1491 + Board_1506 + Board_1521 + Board_1536 + Board_1551 + Board_1566 = 1
inv : Board_2340 + Board_2341 + Board_2342 + Board_2343 + Board_2344 + Board_2345 + Board_2346 + Board_2347 + Board_2348 + Board_2349 + Board_2350 + Board_2351 + Board_2352 + Board_2353 + Board_2354 + Cells_156 = 1
inv : Board_1995 + Board_1996 + Board_1997 + Board_1998 + Board_1999 + Board_2000 + Board_2001 + Board_2002 + Board_2003 + Board_2004 + Board_2005 + Board_2006 + Board_2007 + Board_2008 + Board_2009 + Cells_133 = 1
inv : Board_212 + Board_437 + Board_662 + Board_887 + Board_1112 + Board_1337 + Board_1562 + Board_1787 + Board_2012 + Board_2237 + Board_2462 + Board_2687 + Board_2912 + Board_3137 + Board_3362 + Columns_212 = 1
inv : Board_795 + Board_796 + Board_797 + Board_798 + Board_799 + Board_800 + Board_801 + Board_802 + Board_803 + Board_804 + Board_805 + Board_806 + Board_807 + Board_808 + Board_809 + Cells_53 = 1
inv : Board_75 + Board_300 + Board_525 + Board_750 + Board_975 + Board_1200 + Board_1425 + Board_1650 + Board_1875 + Board_2100 + Board_2325 + Board_2550 + Board_2775 + Board_3000 + Board_3225 + Columns_75 = 1
inv : Board_111 + Board_336 + Board_561 + Board_786 + Board_1011 + Board_1236 + Board_1461 + Board_1686 + Board_1911 + Board_2136 + Board_2361 + Board_2586 + Board_2811 + Board_3036 + Board_3261 + Columns_111 = 1
inv : Board_39 + Board_264 + Board_489 + Board_714 + Board_939 + Board_1164 + Board_1389 + Board_1614 + Board_1839 + Board_2064 + Board_2289 + Board_2514 + Board_2739 + Board_2964 + Board_3189 + Columns_39 = 1
inv : Rows_168 + Board_2478 + Board_2493 + Board_2508 + Board_2523 + Board_2538 + Board_2553 + Board_2568 + Board_2583 + Board_2598 + Board_2613 + Board_2628 + Board_2643 + Board_2658 + Board_2673 + Board_2688 = 1
inv : Board_2655 + Board_2656 + Board_2657 + Board_2658 + Board_2659 + Board_2660 + Board_2661 + Board_2662 + Board_2663 + Board_2664 + Board_2665 + Board_2666 + Board_2667 + Board_2668 + Board_2669 + Cells_177 = 1
inv : Board_2310 + Board_2311 + Board_2312 + Board_2313 + Board_2314 + Board_2315 + Board_2316 + Board_2317 + Board_2318 + Board_2319 + Board_2320 + Board_2321 + Board_2322 + Board_2323 + Board_2324 + Cells_154 = 1
inv : Board_165 + Board_390 + Board_615 + Board_840 + Board_1065 + Board_1290 + Board_1515 + Board_1740 + Board_1965 + Board_2190 + Board_2415 + Board_2640 + Board_2865 + Board_3090 + Board_3315 + Columns_165 = 1
inv : Board_1110 + Board_1111 + Board_1112 + Board_1113 + Board_1114 + Board_1115 + Board_1116 + Board_1117 + Board_1118 + Board_1119 + Board_1120 + Board_1121 + Board_1122 + Board_1123 + Board_1124 + Cells_74 = 1
inv : Rows_116 + Board_1586 + Board_1601 + Board_1616 + Board_1631 + Board_1646 + Board_1661 + Board_1676 + Board_1691 + Board_1706 + Board_1721 + Board_1736 + Board_1751 + Board_1766 + Board_1781 + Board_1796 = 1
inv : Board_2025 + Board_2026 + Board_2027 + Board_2028 + Board_2029 + Board_2030 + Board_2031 + Board_2032 + Board_2033 + Board_2034 + Board_2035 + Board_2036 + Board_2037 + Board_2038 + Board_2039 + Cells_135 = 1
inv : Board_1365 + Board_1366 + Board_1367 + Board_1368 + Board_1369 + Board_1370 + Board_1371 + Board_1372 + Board_1373 + Board_1374 + Board_1375 + Board_1376 + Board_1377 + Board_1378 + Board_1379 + Cells_91 = 1
inv : Board_1425 + Board_1426 + Board_1427 + Board_1428 + Board_1429 + Board_1430 + Board_1431 + Board_1432 + Board_1433 + Board_1434 + Board_1435 + Board_1436 + Board_1437 + Board_1438 + Board_1439 + Cells_95 = 1
inv : Board_1680 + Board_1681 + Board_1682 + Board_1683 + Board_1684 + Board_1685 + Board_1686 + Board_1687 + Board_1688 + Board_1689 + Board_1690 + Board_1691 + Board_1692 + Board_1693 + Board_1694 + Cells_112 = 1
inv : Rows_162 + Board_2262 + Board_2277 + Board_2292 + Board_2307 + Board_2322 + Board_2337 + Board_2352 + Board_2367 + Board_2382 + Board_2397 + Board_2412 + Board_2427 + Board_2442 + Board_2457 + Board_2472 = 1
inv : Board_1710 + Board_1711 + Board_1712 + Board_1713 + Board_1714 + Board_1715 + Board_1716 + Board_1717 + Board_1718 + Board_1719 + Board_1720 + Board_1721 + Board_1722 + Board_1723 + Board_1724 + Cells_114 = 1
inv : Rows_188 + Board_2708 + Board_2723 + Board_2738 + Board_2753 + Board_2768 + Board_2783 + Board_2798 + Board_2813 + Board_2828 + Board_2843 + Board_2858 + Board_2873 + Board_2888 + Board_2903 + Board_2918 = 1
inv : Board_1740 + Board_1741 + Board_1742 + Board_1743 + Board_1744 + Board_1745 + Board_1746 + Board_1747 + Board_1748 + Board_1749 + Board_1750 + Board_1751 + Board_1752 + Board_1753 + Board_1754 + Cells_116 = 1
inv : Board_201 + Board_426 + Board_651 + Board_876 + Board_1101 + Board_1326 + Board_1551 + Board_1776 + Board_2001 + Board_2226 + Board_2451 + Board_2676 + Board_2901 + Board_3126 + Board_3351 + Columns_201 = 1
inv : Rows_135 + Board_2025 + Board_2040 + Board_2055 + Board_2070 + Board_2085 + Board_2100 + Board_2115 + Board_2130 + Board_2145 + Board_2160 + Board_2175 + Board_2190 + Board_2205 + Board_2220 + Board_2235 = 1
inv : Board_195 + Board_196 + Board_197 + Board_198 + Board_199 + Board_200 + Board_201 + Board_202 + Board_203 + Board_204 + Board_205 + Board_206 + Board_207 + Board_208 + Board_209 + Cells_13 = 1
inv : Board_735 + Board_736 + Board_737 + Board_738 + Board_739 + Board_740 + Board_741 + Board_742 + Board_743 + Board_744 + Board_745 + Board_746 + Board_747 + Board_748 + Board_749 + Cells_49 = 1
inv : Rows_221 + Board_3161 + Board_3176 + Board_3191 + Board_3206 + Board_3221 + Board_3236 + Board_3251 + Board_3266 + Board_3281 + Board_3296 + Board_3311 + Board_3326 + Board_3341 + Board_3356 + Board_3371 = 1
inv : Board_2280 + Board_2281 + Board_2282 + Board_2283 + Board_2284 + Board_2285 + Board_2286 + Board_2287 + Board_2288 + Board_2289 + Board_2290 + Board_2291 + Board_2292 + Board_2293 + Board_2294 + Cells_152 = 1
inv : Rows_76 + Board_1126 + Board_1141 + Board_1156 + Board_1171 + Board_1186 + Board_1201 + Board_1216 + Board_1231 + Board_1246 + Board_1261 + Board_1276 + Board_1291 + Board_1306 + Board_1321 + Board_1336 = 1
inv : Board_825 + Board_826 + Board_827 + Board_828 + Board_829 + Board_830 + Board_831 + Board_832 + Board_833 + Board_834 + Board_835 + Board_836 + Board_837 + Board_838 + Board_839 + Cells_55 = 1
inv : Board_82 + Board_307 + Board_532 + Board_757 + Board_982 + Board_1207 + Board_1432 + Board_1657 + Board_1882 + Board_2107 + Board_2332 + Board_2557 + Board_2782 + Board_3007 + Board_3232 + Columns_82 = 1
inv : Board_2910 + Board_2911 + Board_2912 + Board_2913 + Board_2914 + Board_2915 + Board_2916 + Board_2917 + Board_2918 + Board_2919 + Board_2920 + Board_2921 + Board_2922 + Board_2923 + Board_2924 + Cells_194 = 1
inv : Board_208 + Board_433 + Board_658 + Board_883 + Board_1108 + Board_1333 + Board_1558 + Board_1783 + Board_2008 + Board_2233 + Board_2458 + Board_2683 + Board_2908 + Board_3133 + Board_3358 + Columns_208 = 1
inv : Rows_37 + Board_457 + Board_472 + Board_487 + Board_502 + Board_517 + Board_532 + Board_547 + Board_562 + Board_577 + Board_592 + Board_607 + Board_622 + Board_637 + Board_652 + Board_667 = 1
inv : Board_64 + Board_289 + Board_514 + Board_739 + Board_964 + Board_1189 + Board_1414 + Board_1639 + Board_1864 + Board_2089 + Board_2314 + Board_2539 + Board_2764 + Board_2989 + Board_3214 + Columns_64 = 1
inv : Board_2970 + Board_2971 + Board_2972 + Board_2973 + Board_2974 + Board_2975 + Board_2976 + Board_2977 + Board_2978 + Board_2979 + Board_2980 + Board_2981 + Board_2982 + Board_2983 + Board_2984 + Cells_198 = 1
inv : Board_135 + Board_136 + Board_137 + Board_138 + Board_139 + Board_140 + Board_141 + Board_142 + Board_143 + Board_144 + Board_145 + Board_146 + Board_147 + Board_148 + Board_149 + Cells_9 = 1
inv : Board_223 + Board_448 + Board_673 + Board_898 + Board_1123 + Board_1348 + Board_1573 + Board_1798 + Board_2023 + Board_2248 + Board_2473 + Board_2698 + Board_2923 + Board_3148 + Board_3373 + Columns_223 = 1
inv : Board_205 + Board_430 + Board_655 + Board_880 + Board_1105 + Board_1330 + Board_1555 + Board_1780 + Board_2005 + Board_2230 + Board_2455 + Board_2680 + Board_2905 + Board_3130 + Board_3355 + Columns_205 = 1
inv : Board_79 + Board_304 + Board_529 + Board_754 + Board_979 + Board_1204 + Board_1429 + Board_1654 + Board_1879 + Board_2104 + Board_2329 + Board_2554 + Board_2779 + Board_3004 + Board_3229 + Columns_79 = 1
inv : Rows_122 + Board_1802 + Board_1817 + Board_1832 + Board_1847 + Board_1862 + Board_1877 + Board_1892 + Board_1907 + Board_1922 + Board_1937 + Board_1952 + Board_1967 + Board_1982 + Board_1997 + Board_2012 = 1
inv : Rows_24 + Board_234 + Board_249 + Board_264 + Board_279 + Board_294 + Board_309 + Board_324 + Board_339 + Board_354 + Board_369 + Board_384 + Board_399 + Board_414 + Board_429 + Board_444 = 1
inv : Board_104 + Board_329 + Board_554 + Board_779 + Board_1004 + Board_1229 + Board_1454 + Board_1679 + Board_1904 + Board_2129 + Board_2354 + Board_2579 + Board_2804 + Board_3029 + Board_3254 + Columns_104 = 1
inv : Rows_0 + Board_0 + Board_15 + Board_30 + Board_45 + Board_60 + Board_75 + Board_90 + Board_105 + Board_120 + Board_135 + Board_150 + Board_165 + Board_180 + Board_195 + Board_210 = 1
inv : Board_32 + Board_257 + Board_482 + Board_707 + Board_932 + Board_1157 + Board_1382 + Board_1607 + Board_1832 + Board_2057 + Board_2282 + Board_2507 + Board_2732 + Board_2957 + Board_3182 + Columns_32 = 1
inv : Rows_181 + Board_2701 + Board_2716 + Board_2731 + Board_2746 + Board_2761 + Board_2776 + Board_2791 + Board_2806 + Board_2821 + Board_2836 + Board_2851 + Board_2866 + Board_2881 + Board_2896 + Board_2911 = 1
inv : Board_105 + Board_106 + Board_107 + Board_108 + Board_109 + Board_110 + Board_111 + Board_112 + Board_113 + Board_114 + Board_115 + Board_116 + Board_117 + Board_118 + Board_119 + Cells_7 = 1
inv : Rows_30 + Board_450 + Board_465 + Board_480 + Board_495 + Board_510 + Board_525 + Board_540 + Board_555 + Board_570 + Board_585 + Board_600 + Board_615 + Board_630 + Board_645 + Board_660 = 1
inv : Board_183 + Board_408 + Board_633 + Board_858 + Board_1083 + Board_1308 + Board_1533 + Board_1758 + Board_1983 + Board_2208 + Board_2433 + Board_2658 + Board_2883 + Board_3108 + Board_3333 + Columns_183 = 1
inv : Rows_205 + Board_2935 + Board_2950 + Board_2965 + Board_2980 + Board_2995 + Board_3010 + Board_3025 + Board_3040 + Board_3055 + Board_3070 + Board_3085 + Board_3100 + Board_3115 + Board_3130 + Board_3145 = 1
inv : Board_25 + Board_250 + Board_475 + Board_700 + Board_925 + Board_1150 + Board_1375 + Board_1600 + Board_1825 + Board_2050 + Board_2275 + Board_2500 + Board_2725 + Board_2950 + Board_3175 + Columns_25 = 1
inv : Rows_138 + Board_2028 + Board_2043 + Board_2058 + Board_2073 + Board_2088 + Board_2103 + Board_2118 + Board_2133 + Board_2148 + Board_2163 + Board_2178 + Board_2193 + Board_2208 + Board_2223 + Board_2238 = 1
inv : Board_136 + Board_361 + Board_586 + Board_811 + Board_1036 + Board_1261 + Board_1486 + Board_1711 + Board_1936 + Board_2161 + Board_2386 + Board_2611 + Board_2836 + Board_3061 + Board_3286 + Columns_136 = 1
inv : Board_10 + Board_235 + Board_460 + Board_685 + Board_910 + Board_1135 + Board_1360 + Board_1585 + Board_1810 + Board_2035 + Board_2260 + Board_2485 + Board_2710 + Board_2935 + Board_3160 + Columns_10 = 1
inv : Rows_92 + Board_1352 + Board_1367 + Board_1382 + Board_1397 + Board_1412 + Board_1427 + Board_1442 + Board_1457 + Board_1472 + Board_1487 + Board_1502 + Board_1517 + Board_1532 + Board_1547 + Board_1562 = 1
inv : Board_57 + Board_282 + Board_507 + Board_732 + Board_957 + Board_1182 + Board_1407 + Board_1632 + Board_1857 + Board_2082 + Board_2307 + Board_2532 + Board_2757 + Board_2982 + Board_3207 + Columns_57 = 1
inv : Board_151 + Board_376 + Board_601 + Board_826 + Board_1051 + Board_1276 + Board_1501 + Board_1726 + Board_1951 + Board_2176 + Board_2401 + Board_2626 + Board_2851 + Board_3076 + Board_3301 + Columns_151 = 1
inv : Rows_46 + Board_676 + Board_691 + Board_706 + Board_721 + Board_736 + Board_751 + Board_766 + Board_781 + Board_796 + Board_811 + Board_826 + Board_841 + Board_856 + Board_871 + Board_886 = 1
inv : Rows_175 + Board_2485 + Board_2500 + Board_2515 + Board_2530 + Board_2545 + Board_2560 + Board_2575 + Board_2590 + Board_2605 + Board_2620 + Board_2635 + Board_2650 + Board_2665 + Board_2680 + Board_2695 = 1
inv : Board_2400 + Board_2401 + Board_2402 + Board_2403 + Board_2404 + Board_2405 + Board_2406 + Board_2407 + Board_2408 + Board_2409 + Board_2410 + Board_2411 + Board_2412 + Board_2413 + Board_2414 + Cells_160 = 1
inv : Rows_112 + Board_1582 + Board_1597 + Board_1612 + Board_1627 + Board_1642 + Board_1657 + Board_1672 + Board_1687 + Board_1702 + Board_1717 + Board_1732 + Board_1747 + Board_1762 + Board_1777 + Board_1792 = 1
inv : Rows_125 + Board_1805 + Board_1820 + Board_1835 + Board_1850 + Board_1865 + Board_1880 + Board_1895 + Board_1910 + Board_1925 + Board_1940 + Board_1955 + Board_1970 + Board_1985 + Board_2000 + Board_2015 = 1
inv : Board_161 + Board_386 + Board_611 + Board_836 + Board_1061 + Board_1286 + Board_1511 + Board_1736 + Board_1961 + Board_2186 + Board_2411 + Board_2636 + Board_2861 + Board_3086 + Board_3311 + Columns_161 = 1
inv : Board_89 + Board_314 + Board_539 + Board_764 + Board_989 + Board_1214 + Board_1439 + Board_1664 + Board_1889 + Board_2114 + Board_2339 + Board_2564 + Board_2789 + Board_3014 + Board_3239 + Columns_89 = 1
inv : Rows_53 + Board_683 + Board_698 + Board_713 + Board_728 + Board_743 + Board_758 + Board_773 + Board_788 + Board_803 + Board_818 + Board_833 + Board_848 + Board_863 + Board_878 + Board_893 = 1
inv : Rows_171 + Board_2481 + Board_2496 + Board_2511 + Board_2526 + Board_2541 + Board_2556 + Board_2571 + Board_2586 + Board_2601 + Board_2616 + Board_2631 + Board_2646 + Board_2661 + Board_2676 + Board_2691 = 1
inv : Board_216 + Board_441 + Board_666 + Board_891 + Board_1116 + Board_1341 + Board_1566 + Board_1791 + Board_2016 + Board_2241 + Board_2466 + Board_2691 + Board_2916 + Board_3141 + Board_3366 + Columns_216 = 1
inv : Board_2565 + Board_2566 + Board_2567 + Board_2568 + Board_2569 + Board_2570 + Board_2571 + Board_2572 + Board_2573 + Board_2574 + Board_2575 + Board_2576 + Board_2577 + Board_2578 + Board_2579 + Cells_171 = 1
inv : Board_225 + Board_226 + Board_227 + Board_228 + Board_229 + Board_230 + Board_231 + Board_232 + Board_233 + Board_234 + Board_235 + Board_236 + Board_237 + Board_238 + Board_239 + Cells_15 = 1
inv : Rows_218 + Board_3158 + Board_3173 + Board_3188 + Board_3203 + Board_3218 + Board_3233 + Board_3248 + Board_3263 + Board_3278 + Board_3293 + Board_3308 + Board_3323 + Board_3338 + Board_3353 + Board_3368 = 1
inv : Rows_99 + Board_1359 + Board_1374 + Board_1389 + Board_1404 + Board_1419 + Board_1434 + Board_1449 + Board_1464 + Board_1479 + Board_1494 + Board_1509 + Board_1524 + Board_1539 + Board_1554 + Board_1569 = 1
inv : Board_705 + Board_706 + Board_707 + Board_708 + Board_709 + Board_710 + Board_711 + Board_712 + Board_713 + Board_714 + Board_715 + Board_716 + Board_717 + Board_718 + Board_719 + Cells_47 = 1
inv : Board_540 + Board_541 + Board_542 + Board_543 + Board_544 + Board_545 + Board_546 + Board_547 + Board_548 + Board_549 + Board_550 + Board_551 + Board_552 + Board_553 + Board_554 + Cells_36 = 1
inv : Rows_184 + Board_2704 + Board_2719 + Board_2734 + Board_2749 + Board_2764 + Board_2779 + Board_2794 + Board_2809 + Board_2824 + Board_2839 + Board_2854 + Board_2869 + Board_2884 + Board_2899 + Board_2914 = 1
inv : Rows_158 + Board_2258 + Board_2273 + Board_2288 + Board_2303 + Board_2318 + Board_2333 + Board_2348 + Board_2363 + Board_2378 + Board_2393 + Board_2408 + Board_2423 + Board_2438 + Board_2453 + Board_2468 = 1
inv : Board_3165 + Board_3166 + Board_3167 + Board_3168 + Board_3169 + Board_3170 + Board_3171 + Board_3172 + Board_3173 + Board_3174 + Board_3175 + Board_3176 + Board_3177 + Board_3178 + Board_3179 + Cells_211 = 1
inv : Board_197 + Board_422 + Board_647 + Board_872 + Board_1097 + Board_1322 + Board_1547 + Board_1772 + Board_1997 + Board_2222 + Board_2447 + Board_2672 + Board_2897 + Board_3122 + Board_3347 + Columns_197 = 1
inv : Board_53 + Board_278 + Board_503 + Board_728 + Board_953 + Board_1178 + Board_1403 + Board_1628 + Board_1853 + Board_2078 + Board_2303 + Board_2528 + Board_2753 + Board_2978 + Board_3203 + Columns_53 = 1
inv : Board_108 + Board_333 + Board_558 + Board_783 + Board_1008 + Board_1233 + Board_1458 + Board_1683 + Board_1908 + Board_2133 + Board_2358 + Board_2583 + Board_2808 + Board_3033 + Board_3258 + Columns_108 = 1
inv : Rows_198 + Board_2928 + Board_2943 + Board_2958 + Board_2973 + Board_2988 + Board_3003 + Board_3018 + Board_3033 + Board_3048 + Board_3063 + Board_3078 + Board_3093 + Board_3108 + Board_3123 + Board_3138 = 1
inv : Board_3000 + Board_3001 + Board_3002 + Board_3003 + Board_3004 + Board_3005 + Board_3006 + Board_3007 + Board_3008 + Board_3009 + Board_3010 + Board_3011 + Board_3012 + Board_3013 + Board_3014 + Cells_200 = 1
inv : Board_2880 + Board_2881 + Board_2882 + Board_2883 + Board_2884 + Board_2885 + Board_2886 + Board_2887 + Board_2888 + Board_2889 + Board_2890 + Board_2891 + Board_2892 + Board_2893 + Board_2894 + Cells_192 = 1
inv : Rows_79 + Board_1129 + Board_1144 + Board_1159 + Board_1174 + Board_1189 + Board_1204 + Board_1219 + Board_1234 + Board_1249 + Board_1264 + Board_1279 + Board_1294 + Board_1309 + Board_1324 + Board_1339 = 1
inv : Board_2685 + Board_2686 + Board_2687 + Board_2688 + Board_2689 + Board_2690 + Board_2691 + Board_2692 + Board_2693 + Board_2694 + Board_2695 + Board_2696 + Board_2697 + Board_2698 + Board_2699 + Cells_179 = 1
inv : Board_43 + Board_268 + Board_493 + Board_718 + Board_943 + Board_1168 + Board_1393 + Board_1618 + Board_1843 + Board_2068 + Board_2293 + Board_2518 + Board_2743 + Board_2968 + Board_3193 + Columns_43 = 1
inv : Board_97 + Board_322 + Board_547 + Board_772 + Board_997 + Board_1222 + Board_1447 + Board_1672 + Board_1897 + Board_2122 + Board_2347 + Board_2572 + Board_2797 + Board_3022 + Board_3247 + Columns_97 = 1
inv : Board_2220 + Board_2221 + Board_2222 + Board_2223 + Board_2224 + Board_2225 + Board_2226 + Board_2227 + Board_2228 + Board_2229 + Board_2230 + Board_2231 + Board_2232 + Board_2233 + Board_2234 + Cells_148 = 1
inv : Board_1305 + Board_1306 + Board_1307 + Board_1308 + Board_1309 + Board_1310 + Board_1311 + Board_1312 + Board_1313 + Board_1314 + Board_1315 + Board_1316 + Board_1317 + Board_1318 + Board_1319 + Cells_87 = 1
inv : Board_1020 + Board_1021 + Board_1022 + Board_1023 + Board_1024 + Board_1025 + Board_1026 + Board_1027 + Board_1028 + Board_1029 + Board_1030 + Board_1031 + Board_1032 + Board_1033 + Board_1034 + Cells_68 = 1
inv : Board_1140 + Board_1141 + Board_1142 + Board_1143 + Board_1144 + Board_1145 + Board_1146 + Board_1147 + Board_1148 + Board_1149 + Board_1150 + Board_1151 + Board_1152 + Board_1153 + Board_1154 + Cells_76 = 1
inv : Board_1965 + Board_1966 + Board_1967 + Board_1968 + Board_1969 + Board_1970 + Board_1971 + Board_1972 + Board_1973 + Board_1974 + Board_1975 + Board_1976 + Board_1977 + Board_1978 + Board_1979 + Cells_131 = 1
inv : Board_28 + Board_253 + Board_478 + Board_703 + Board_928 + Board_1153 + Board_1378 + Board_1603 + Board_1828 + Board_2053 + Board_2278 + Board_2503 + Board_2728 + Board_2953 + Board_3178 + Columns_28 = 1
inv : Rows_172 + Board_2482 + Board_2497 + Board_2512 + Board_2527 + Board_2542 + Board_2557 + Board_2572 + Board_2587 + Board_2602 + Board_2617 + Board_2632 + Board_2647 + Board_2662 + Board_2677 + Board_2692 = 1
inv : Board_1485 + Board_1486 + Board_1487 + Board_1488 + Board_1489 + Board_1490 + Board_1491 + Board_1492 + Board_1493 + Board_1494 + Board_1495 + Board_1496 + Board_1497 + Board_1498 + Board_1499 + Cells_99 = 1
inv : Board_107 + Board_332 + Board_557 + Board_782 + Board_1007 + Board_1232 + Board_1457 + Board_1682 + Board_1907 + Board_2132 + Board_2357 + Board_2582 + Board_2807 + Board_3032 + Board_3257 + Columns_107 = 1
inv : Board_143 + Board_368 + Board_593 + Board_818 + Board_1043 + Board_1268 + Board_1493 + Board_1718 + Board_1943 + Board_2168 + Board_2393 + Board_2618 + Board_2843 + Board_3068 + Board_3293 + Columns_143 = 1
inv : Board_18 + Board_243 + Board_468 + Board_693 + Board_918 + Board_1143 + Board_1368 + Board_1593 + Board_1818 + Board_2043 + Board_2268 + Board_2493 + Board_2718 + Board_2943 + Board_3168 + Columns_18 = 1
inv : Board_54 + Board_279 + Board_504 + Board_729 + Board_954 + Board_1179 + Board_1404 + Board_1629 + Board_1854 + Board_2079 + Board_2304 + Board_2529 + Board_2754 + Board_2979 + Board_3204 + Columns_54 = 1
inv : Board_2085 + Board_2086 + Board_2087 + Board_2088 + Board_2089 + Board_2090 + Board_2091 + Board_2092 + Board_2093 + Board_2094 + Board_2095 + Board_2096 + Board_2097 + Board_2098 + Board_2099 + Cells_139 = 1
inv : Board_133 + Board_358 + Board_583 + Board_808 + Board_1033 + Board_1258 + Board_1483 + Board_1708 + Board_1933 + Board_2158 + Board_2383 + Board_2608 + Board_2833 + Board_3058 + Board_3283 + Columns_133 = 1
inv : Rows_7 + Board_7 + Board_22 + Board_37 + Board_52 + Board_67 + Board_82 + Board_97 + Board_112 + Board_127 + Board_142 + Board_157 + Board_172 + Board_187 + Board_202 + Board_217 = 1
inv : Rows_126 + Board_1806 + Board_1821 + Board_1836 + Board_1851 + Board_1866 + Board_1881 + Board_1896 + Board_1911 + Board_1926 + Board_1941 + Board_1956 + Board_1971 + Board_1986 + Board_2001 + Board_2016 = 1
inv : Board_1620 + Board_1621 + Board_1622 + Board_1623 + Board_1624 + Board_1625 + Board_1626 + Board_1627 + Board_1628 + Board_1629 + Board_1630 + Board_1631 + Board_1632 + Board_1633 + Board_1634 + Cells_108 = 1
inv : Board_1905 + Board_1906 + Board_1907 + Board_1908 + Board_1909 + Board_1910 + Board_1911 + Board_1912 + Board_1913 + Board_1914 + Board_1915 + Board_1916 + Board_1917 + Board_1918 + Board_1919 + Cells_127 = 1
inv : Rows_33 + Board_453 + Board_468 + Board_483 + Board_498 + Board_513 + Board_528 + Board_543 + Board_558 + Board_573 + Board_588 + Board_603 + Board_618 + Board_633 + Board_648 + Board_663 = 1
inv : Board_1800 + Board_1801 + Board_1802 + Board_1803 + Board_1804 + Board_1805 + Board_1806 + Board_1807 + Board_1808 + Board_1809 + Board_1810 + Board_1811 + Board_1812 + Board_1813 + Board_1814 + Cells_120 = 1
inv : Board_132 + Board_357 + Board_582 + Board_807 + Board_1032 + Board_1257 + Board_1482 + Board_1707 + Board_1932 + Board_2157 + Board_2382 + Board_2607 + Board_2832 + Board_3057 + Board_3282 + Columns_132 = 1
inv : Board_2745 + Board_2746 + Board_2747 + Board_2748 + Board_2749 + Board_2750 + Board_2751 + Board_2752 + Board_2753 + Board_2754 + Board_2755 + Board_2756 + Board_2757 + Board_2758 + Board_2759 + Cells_183 = 1
inv : Board_24 + Board_249 + Board_474 + Board_699 + Board_924 + Board_1149 + Board_1374 + Board_1599 + Board_1824 + Board_2049 + Board_2274 + Board_2499 + Board_2724 + Board_2949 + Board_3174 + Columns_24 = 1
inv : Rows_93 + Board_1353 + Board_1368 + Board_1383 + Board_1398 + Board_1413 + Board_1428 + Board_1443 + Board_1458 + Board_1473 + Board_1488 + Board_1503 + Board_1518 + Board_1533 + Board_1548 + Board_1563 = 1
inv : Board_29 + Board_254 + Board_479 + Board_704 + Board_929 + Board_1154 + Board_1379 + Board_1604 + Board_1829 + Board_2054 + Board_2279 + Board_2504 + Board_2729 + Board_2954 + Board_3179 + Columns_29 = 1
inv : Board_1200 + Board_1201 + Board_1202 + Board_1203 + Board_1204 + Board_1205 + Board_1206 + Board_1207 + Board_1208 + Board_1209 + Board_1210 + Board_1211 + Board_1212 + Board_1213 + Board_1214 + Cells_80 = 1
inv : Rows_208 + Board_2938 + Board_2953 + Board_2968 + Board_2983 + Board_2998 + Board_3013 + Board_3028 + Board_3043 + Board_3058 + Board_3073 + Board_3088 + Board_3103 + Board_3118 + Board_3133 + Board_3148 = 1
inv : Rows_80 + Board_1130 + Board_1145 + Board_1160 + Board_1175 + Board_1190 + Board_1205 + Board_1220 + Board_1235 + Board_1250 + Board_1265 + Board_1280 + Board_1295 + Board_1310 + Board_1325 + Board_1340 = 1
inv : Rows_204 + Board_2934 + Board_2949 + Board_2964 + Board_2979 + Board_2994 + Board_3009 + Board_3024 + Board_3039 + Board_3054 + Board_3069 + Board_3084 + Board_3099 + Board_3114 + Board_3129 + Board_3144 = 1
inv : Rows_75 + Board_1125 + Board_1140 + Board_1155 + Board_1170 + Board_1185 + Board_1200 + Board_1215 + Board_1230 + Board_1245 + Board_1260 + Board_1275 + Board_1290 + Board_1305 + Board_1320 + Board_1335 = 1
inv : Board_118 + Board_343 + Board_568 + Board_793 + Board_1018 + Board_1243 + Board_1468 + Board_1693 + Board_1918 + Board_2143 + Board_2368 + Board_2593 + Board_2818 + Board_3043 + Board_3268 + Columns_118 = 1
inv : Board_960 + Board_961 + Board_962 + Board_963 + Board_964 + Board_965 + Board_966 + Board_967 + Board_968 + Board_969 + Board_970 + Board_971 + Board_972 + Board_973 + Board_974 + Cells_64 = 1
inv : Rows_34 + Board_454 + Board_469 + Board_484 + Board_499 + Board_514 + Board_529 + Board_544 + Board_559 + Board_574 + Board_589 + Board_604 + Board_619 + Board_634 + Board_649 + Board_664 = 1
inv : Board_3225 + Board_3226 + Board_3227 + Board_3228 + Board_3229 + Board_3230 + Board_3231 + Board_3232 + Board_3233 + Board_3234 + Board_3235 + Board_3236 + Board_3237 + Board_3238 + Board_3239 + Cells_215 = 1
inv : Board_3285 + Board_3286 + Board_3287 + Board_3288 + Board_3289 + Board_3290 + Board_3291 + Board_3292 + Board_3293 + Board_3294 + Board_3295 + Board_3296 + Board_3297 + Board_3298 + Board_3299 + Cells_219 = 1
inv : Board_600 + Board_601 + Board_602 + Board_603 + Board_604 + Board_605 + Board_606 + Board_607 + Board_608 + Board_609 + Board_610 + Board_611 + Board_612 + Board_613 + Board_614 + Cells_40 = 1
inv : Board_137 + Board_362 + Board_587 + Board_812 + Board_1037 + Board_1262 + Board_1487 + Board_1712 + Board_1937 + Board_2162 + Board_2387 + Board_2612 + Board_2837 + Board_3062 + Board_3287 + Columns_137 = 1
inv : Board_360 + Board_361 + Board_362 + Board_363 + Board_364 + Board_365 + Board_366 + Board_367 + Board_368 + Board_369 + Board_370 + Board_371 + Board_372 + Board_373 + Board_374 + Cells_24 = 1
inv : Board_420 + Board_421 + Board_422 + Board_423 + Board_424 + Board_425 + Board_426 + Board_427 + Board_428 + Board_429 + Board_430 + Board_431 + Board_432 + Board_433 + Board_434 + Cells_28 = 1
inv : Board_68 + Board_293 + Board_518 + Board_743 + Board_968 + Board_1193 + Board_1418 + Board_1643 + Board_1868 + Board_2093 + Board_2318 + Board_2543 + Board_2768 + Board_2993 + Board_3218 + Columns_68 = 1
inv : Board_14 + Board_239 + Board_464 + Board_689 + Board_914 + Board_1139 + Board_1364 + Board_1589 + Board_1814 + Board_2039 + Board_2264 + Board_2489 + Board_2714 + Board_2939 + Board_3164 + Columns_14 = 1
inv : Board_3345 + Board_3346 + Board_3347 + Board_3348 + Board_3349 + Board_3350 + Board_3351 + Board_3352 + Board_3353 + Board_3354 + Board_3355 + Board_3356 + Board_3357 + Board_3358 + Board_3359 + Cells_223 = 1
inv : Rows_103 + Board_1363 + Board_1378 + Board_1393 + Board_1408 + Board_1423 + Board_1438 + Board_1453 + Board_1468 + Board_1483 + Board_1498 + Board_1513 + Board_1528 + Board_1543 + Board_1558 + Board_1573 = 1
inv : Board_147 + Board_372 + Board_597 + Board_822 + Board_1047 + Board_1272 + Board_1497 + Board_1722 + Board_1947 + Board_2172 + Board_2397 + Board_2622 + Board_2847 + Board_3072 + Board_3297 + Columns_147 = 1
inv : Board_187 + Board_412 + Board_637 + Board_862 + Board_1087 + Board_1312 + Board_1537 + Board_1762 + Board_1987 + Board_2212 + Board_2437 + Board_2662 + Board_2887 + Board_3112 + Board_3337 + Columns_187 = 1
inv : Rows_217 + Board_3157 + Board_3172 + Board_3187 + Board_3202 + Board_3217 + Board_3232 + Board_3247 + Board_3262 + Board_3277 + Board_3292 + Board_3307 + Board_3322 + Board_3337 + Board_3352 + Board_3367 = 1
inv : Rows_66 + Board_906 + Board_921 + Board_936 + Board_951 + Board_966 + Board_981 + Board_996 + Board_1011 + Board_1026 + Board_1041 + Board_1056 + Board_1071 + Board_1086 + Board_1101 + Board_1116 = 1
inv : Rows_222 + Board_3162 + Board_3177 + Board_3192 + Board_3207 + Board_3222 + Board_3237 + Board_3252 + Board_3267 + Board_3282 + Board_3297 + Board_3312 + Board_3327 + Board_3342 + Board_3357 + Board_3372 = 1
inv : Board_93 + Board_318 + Board_543 + Board_768 + Board_993 + Board_1218 + Board_1443 + Board_1668 + Board_1893 + Board_2118 + Board_2343 + Board_2568 + Board_2793 + Board_3018 + Board_3243 + Columns_93 = 1
inv : Rows_20 + Board_230 + Board_245 + Board_260 + Board_275 + Board_290 + Board_305 + Board_320 + Board_335 + Board_350 + Board_365 + Board_380 + Board_395 + Board_410 + Board_425 + Board_440 = 1
inv : Rows_139 + Board_2029 + Board_2044 + Board_2059 + Board_2074 + Board_2089 + Board_2104 + Board_2119 + Board_2134 + Board_2149 + Board_2164 + Board_2179 + Board_2194 + Board_2209 + Board_2224 + Board_2239 = 1
inv : Board_172 + Board_397 + Board_622 + Board_847 + Board_1072 + Board_1297 + Board_1522 + Board_1747 + Board_1972 + Board_2197 + Board_2422 + Board_2647 + Board_2872 + Board_3097 + Board_3322 + Columns_172 = 1
inv : Rows_149 + Board_2039 + Board_2054 + Board_2069 + Board_2084 + Board_2099 + Board_2114 + Board_2129 + Board_2144 + Board_2159 + Board_2174 + Board_2189 + Board_2204 + Board_2219 + Board_2234 + Board_2249 = 1
inv : Board_162 + Board_387 + Board_612 + Board_837 + Board_1062 + Board_1287 + Board_1512 + Board_1737 + Board_1962 + Board_2187 + Board_2412 + Board_2637 + Board_2862 + Board_3087 + Board_3312 + Columns_162 = 1
inv : Rows_180 + Board_2700 + Board_2715 + Board_2730 + Board_2745 + Board_2760 + Board_2775 + Board_2790 + Board_2805 + Board_2820 + Board_2835 + Board_2850 + Board_2865 + Board_2880 + Board_2895 + Board_2910 = 1
inv : Rows_185 + Board_2705 + Board_2720 + Board_2735 + Board_2750 + Board_2765 + Board_2780 + Board_2795 + Board_2810 + Board_2825 + Board_2840 + Board_2855 + Board_2870 + Board_2885 + Board_2900 + Board_2915 = 1
inv : Board_83 + Board_308 + Board_533 + Board_758 + Board_983 + Board_1208 + Board_1433 + Board_1658 + Board_1883 + Board_2108 + Board_2333 + Board_2558 + Board_2783 + Board_3008 + Board_3233 + Columns_83 = 1
inv : Board_78 + Board_303 + Board_528 + Board_753 + Board_978 + Board_1203 + Board_1428 + Board_1653 + Board_1878 + Board_2103 + Board_2328 + Board_2553 + Board_2778 + Board_3003 + Board_3228 + Columns_78 = 1
inv : Board_315 + Board_316 + Board_317 + Board_318 + Board_319 + Board_320 + Board_321 + Board_322 + Board_323 + Board_324 + Board_325 + Board_326 + Board_327 + Board_328 + Board_329 + Cells_21 = 1
inv : Rows_95 + Board_1355 + Board_1370 + Board_1385 + Board_1400 + Board_1415 + Board_1430 + Board_1445 + Board_1460 + Board_1475 + Board_1490 + Board_1505 + Board_1520 + Board_1535 + Board_1550 + Board_1565 = 1
inv : Board_139 + Board_364 + Board_589 + Board_814 + Board_1039 + Board_1264 + Board_1489 + Board_1714 + Board_1939 + Board_2164 + Board_2389 + Board_2614 + Board_2839 + Board_3064 + Board_3289 + Columns_139 = 1
inv : Board_211 + Board_436 + Board_661 + Board_886 + Board_1111 + Board_1336 + Board_1561 + Board_1786 + Board_2011 + Board_2236 + Board_2461 + Board_2686 + Board_2911 + Board_3136 + Board_3361 + Columns_211 = 1
inv : Board_31 + Board_256 + Board_481 + Board_706 + Board_931 + Board_1156 + Board_1381 + Board_1606 + Board_1831 + Board_2056 + Board_2281 + Board_2506 + Board_2731 + Board_2956 + Board_3181 + Columns_31 = 1
inv : Board_58 + Board_283 + Board_508 + Board_733 + Board_958 + Board_1183 + Board_1408 + Board_1633 + Board_1858 + Board_2083 + Board_2308 + Board_2533 + Board_2758 + Board_2983 + Board_3208 + Columns_58 = 1
inv : Board_94 + Board_319 + Board_544 + Board_769 + Board_994 + Board_1219 + Board_1444 + Board_1669 + Board_1894 + Board_2119 + Board_2344 + Board_2569 + Board_2794 + Board_3019 + Board_3244 + Columns_94 = 1
inv : Rows_10 + Board_10 + Board_25 + Board_40 + Board_55 + Board_70 + Board_85 + Board_100 + Board_115 + Board_130 + Board_145 + Board_160 + Board_175 + Board_190 + Board_205 + Board_220 = 1
inv : Board_166 + Board_391 + Board_616 + Board_841 + Board_1066 + Board_1291 + Board_1516 + Board_1741 + Board_1966 + Board_2191 + Board_2416 + Board_2641 + Board_2866 + Board_3091 + Board_3316 + Columns_166 = 1
inv : Board_2790 + Board_2791 + Board_2792 + Board_2793 + Board_2794 + Board_2795 + Board_2796 + Board_2797 + Board_2798 + Board_2799 + Board_2800 + Board_2801 + Board_2802 + Board_2803 + Board_2804 + Cells_186 = 1
inv : Board_202 + Board_427 + Board_652 + Board_877 + Board_1102 + Board_1327 + Board_1552 + Board_1777 + Board_2002 + Board_2227 + Board_2452 + Board_2677 + Board_2902 + Board_3127 + Board_3352 + Columns_202 = 1
inv : Board_0 + Board_1 + Board_2 + Board_3 + Board_4 + Board_5 + Board_6 + Board_7 + Board_8 + Board_9 + Board_10 + Board_11 + Board_12 + Board_13 + Board_14 + Cells_0 = 1
inv : Board_4 + Board_229 + Board_454 + Board_679 + Board_904 + Board_1129 + Board_1354 + Board_1579 + Board_1804 + Board_2029 + Board_2254 + Board_2479 + Board_2704 + Board_2929 + Board_3154 + Columns_4 = 1
inv : Board_13 + Board_238 + Board_463 + Board_688 + Board_913 + Board_1138 + Board_1363 + Board_1588 + Board_1813 + Board_2038 + Board_2263 + Board_2488 + Board_2713 + Board_2938 + Board_3163 + Columns_13 = 1
inv : Board_76 + Board_301 + Board_526 + Board_751 + Board_976 + Board_1201 + Board_1426 + Board_1651 + Board_1876 + Board_2101 + Board_2326 + Board_2551 + Board_2776 + Board_3001 + Board_3226 + Columns_76 = 1
inv : Board_2475 + Board_2476 + Board_2477 + Board_2478 + Board_2479 + Board_2480 + Board_2481 + Board_2482 + Board_2483 + Board_2484 + Board_2485 + Board_2486 + Board_2487 + Board_2488 + Board_2489 + Cells_165 = 1
inv : Board_3105 + Board_3106 + Board_3107 + Board_3108 + Board_3109 + Board_3110 + Board_3111 + Board_3112 + Board_3113 + Board_3114 + Board_3115 + Board_3116 + Board_3117 + Board_3118 + Board_3119 + Cells_207 = 1
inv : Board_630 + Board_631 + Board_632 + Board_633 + Board_634 + Board_635 + Board_636 + Board_637 + Board_638 + Board_639 + Board_640 + Board_641 + Board_642 + Board_643 + Board_644 + Cells_42 = 1
inv : Rows_189 + Board_2709 + Board_2724 + Board_2739 + Board_2754 + Board_2769 + Board_2784 + Board_2799 + Board_2814 + Board_2829 + Board_2844 + Board_2859 + Board_2874 + Board_2889 + Board_2904 + Board_2919 = 1
inv : Rows_130 + Board_1810 + Board_1825 + Board_1840 + Board_1855 + Board_1870 + Board_1885 + Board_1900 + Board_1915 + Board_1930 + Board_1945 + Board_1960 + Board_1975 + Board_1990 + Board_2005 + Board_2020 = 1
inv : Board_121 + Board_346 + Board_571 + Board_796 + Board_1021 + Board_1246 + Board_1471 + Board_1696 + Board_1921 + Board_2146 + Board_2371 + Board_2596 + Board_2821 + Board_3046 + Board_3271 + Columns_121 = 1
inv : Rows_215 + Board_3155 + Board_3170 + Board_3185 + Board_3200 + Board_3215 + Board_3230 + Board_3245 + Board_3260 + Board_3275 + Board_3290 + Board_3305 + Board_3320 + Board_3335 + Board_3350 + Board_3365 = 1
inv : Rows_47 + Board_677 + Board_692 + Board_707 + Board_722 + Board_737 + Board_752 + Board_767 + Board_782 + Board_797 + Board_812 + Board_827 + Board_842 + Board_857 + Board_872 + Board_887 = 1
inv : Rows_117 + Board_1587 + Board_1602 + Board_1617 + Board_1632 + Board_1647 + Board_1662 + Board_1677 + Board_1692 + Board_1707 + Board_1722 + Board_1737 + Board_1752 + Board_1767 + Board_1782 + Board_1797 = 1
inv : Board_184 + Board_409 + Board_634 + Board_859 + Board_1084 + Board_1309 + Board_1534 + Board_1759 + Board_1984 + Board_2209 + Board_2434 + Board_2659 + Board_2884 + Board_3109 + Board_3334 + Columns_184 = 1
inv : Board_3075 + Board_3076 + Board_3077 + Board_3078 + Board_3079 + Board_3080 + Board_3081 + Board_3082 + Board_3083 + Board_3084 + Board_3085 + Board_3086 + Board_3087 + Board_3088 + Board_3089 + Cells_205 = 1
inv : Board_915 + Board_916 + Board_917 + Board_918 + Board_919 + Board_920 + Board_921 + Board_922 + Board_923 + Board_924 + Board_925 + Board_926 + Board_927 + Board_928 + Board_929 + Cells_61 = 1
inv : Rows_58 + Board_688 + Board_703 + Board_718 + Board_733 + Board_748 + Board_763 + Board_778 + Board_793 + Board_808 + Board_823 + Board_838 + Board_853 + Board_868 + Board_883 + Board_898 = 1
inv : Board_2190 + Board_2191 + Board_2192 + Board_2193 + Board_2194 + Board_2195 + Board_2196 + Board_2197 + Board_2198 + Board_2199 + Board_2200 + Board_2201 + Board_2202 + Board_2203 + Board_2204 + Cells_146 = 1
inv : Board_2145 + Board_2146 + Board_2147 + Board_2148 + Board_2149 + Board_2150 + Board_2151 + Board_2152 + Board_2153 + Board_2154 + Board_2155 + Board_2156 + Board_2157 + Board_2158 + Board_2159 + Cells_143 = 1
inv : Rows_43 + Board_463 + Board_478 + Board_493 + Board_508 + Board_523 + Board_538 + Board_553 + Board_568 + Board_583 + Board_598 + Board_613 + Board_628 + Board_643 + Board_658 + Board_673 = 1
inv : Board_945 + Board_946 + Board_947 + Board_948 + Board_949 + Board_950 + Board_951 + Board_952 + Board_953 + Board_954 + Board_955 + Board_956 + Board_957 + Board_958 + Board_959 + Cells_63 = 1
inv : Rows_209 + Board_2939 + Board_2954 + Board_2969 + Board_2984 + Board_2999 + Board_3014 + Board_3029 + Board_3044 + Board_3059 + Board_3074 + Board_3089 + Board_3104 + Board_3119 + Board_3134 + Board_3149 = 1
inv : Rows_213 + Board_3153 + Board_3168 + Board_3183 + Board_3198 + Board_3213 + Board_3228 + Board_3243 + Board_3258 + Board_3273 + Board_3288 + Board_3303 + Board_3318 + Board_3333 + Board_3348 + Board_3363 = 1
inv : Board_2505 + Board_2506 + Board_2507 + Board_2508 + Board_2509 + Board_2510 + Board_2511 + Board_2512 + Board_2513 + Board_2514 + Board_2515 + Board_2516 + Board_2517 + Board_2518 + Board_2519 + Cells_167 = 1
inv : Board_1830 + Board_1831 + Board_1832 + Board_1833 + Board_1834 + Board_1835 + Board_1836 + Board_1837 + Board_1838 + Board_1839 + Board_1840 + Board_1841 + Board_1842 + Board_1843 + Board_1844 + Cells_122 = 1
inv : Board_1560 + Board_1561 + Board_1562 + Board_1563 + Board_1564 + Board_1565 + Board_1566 + Board_1567 + Board_1568 + Board_1569 + Board_1570 + Board_1571 + Board_1572 + Board_1573 + Board_1574 + Cells_104 = 1
inv : Board_1230 + Board_1231 + Board_1232 + Board_1233 + Board_1234 + Board_1235 + Board_1236 + Board_1237 + Board_1238 + Board_1239 + Board_1240 + Board_1241 + Board_1242 + Board_1243 + Board_1244 + Cells_82 = 1
inv : Board_164 + Board_389 + Board_614 + Board_839 + Board_1064 + Board_1289 + Board_1514 + Board_1739 + Board_1964 + Board_2189 + Board_2414 + Board_2639 + Board_2864 + Board_3089 + Board_3314 + Columns_164 = 1
inv : Rows_121 + Board_1801 + Board_1816 + Board_1831 + Board_1846 + Board_1861 + Board_1876 + Board_1891 + Board_1906 + Board_1921 + Board_1936 + Board_1951 + Board_1966 + Board_1981 + Board_1996 + Board_2011 = 1
inv : Board_2160 + Board_2161 + Board_2162 + Board_2163 + Board_2164 + Board_2165 + Board_2166 + Board_2167 + Board_2168 + Board_2169 + Board_2170 + Board_2171 + Board_2172 + Board_2173 + Board_2174 + Cells_144 = 1
inv : Board_1545 + Board_1546 + Board_1547 + Board_1548 + Board_1549 + Board_1550 + Board_1551 + Board_1552 + Board_1553 + Board_1554 + Board_1555 + Board_1556 + Board_1557 + Board_1558 + Board_1559 + Cells_103 = 1
inv : Board_1515 + Board_1516 + Board_1517 + Board_1518 + Board_1519 + Board_1520 + Board_1521 + Board_1522 + Board_1523 + Board_1524 + Board_1525 + Board_1526 + Board_1527 + Board_1528 + Board_1529 + Cells_101 = 1
inv : Board_49 + Board_274 + Board_499 + Board_724 + Board_949 + Board_1174 + Board_1399 + Board_1624 + Board_1849 + Board_2074 + Board_2299 + Board_2524 + Board_2749 + Board_2974 + Board_3199 + Columns_49 = 1
inv : Board_159 + Board_384 + Board_609 + Board_834 + Board_1059 + Board_1284 + Board_1509 + Board_1734 + Board_1959 + Board_2184 + Board_2409 + Board_2634 + Board_2859 + Board_3084 + Board_3309 + Columns_159 = 1
inv : Board_222 + Board_447 + Board_672 + Board_897 + Board_1122 + Board_1347 + Board_1572 + Board_1797 + Board_2022 + Board_2247 + Board_2472 + Board_2697 + Board_2922 + Board_3147 + Board_3372 + Columns_222 = 1
inv : Rows_69 + Board_909 + Board_924 + Board_939 + Board_954 + Board_969 + Board_984 + Board_999 + Board_1014 + Board_1029 + Board_1044 + Board_1059 + Board_1074 + Board_1089 + Board_1104 + Board_1119 = 1
inv : Board_1875 + Board_1876 + Board_1877 + Board_1878 + Board_1879 + Board_1880 + Board_1881 + Board_1882 + Board_1883 + Board_1884 + Board_1885 + Board_1886 + Board_1887 + Board_1888 + Board_1889 + Cells_125 = 1
inv : Rows_8 + Board_8 + Board_23 + Board_38 + Board_53 + Board_68 + Board_83 + Board_98 + Board_113 + Board_128 + Board_143 + Board_158 + Board_173 + Board_188 + Board_203 + Board_218 = 1
inv : Board_585 + Board_586 + Board_587 + Board_588 + Board_589 + Board_590 + Board_591 + Board_592 + Board_593 + Board_594 + Board_595 + Board_596 + Board_597 + Board_598 + Board_599 + Cells_39 = 1
inv : Board_141 + Board_366 + Board_591 + Board_816 + Board_1041 + Board_1266 + Board_1491 + Board_1716 + Board_1941 + Board_2166 + Board_2391 + Board_2616 + Board_2841 + Board_3066 + Board_3291 + Columns_141 = 1
inv : Board_69 + Board_294 + Board_519 + Board_744 + Board_969 + Board_1194 + Board_1419 + Board_1644 + Board_1869 + Board_2094 + Board_2319 + Board_2544 + Board_2769 + Board_2994 + Board_3219 + Columns_69 = 1
inv : Board_96 + Board_321 + Board_546 + Board_771 + Board_996 + Board_1221 + Board_1446 + Board_1671 + Board_1896 + Board_2121 + Board_2346 + Board_2571 + Board_2796 + Board_3021 + Board_3246 + Columns_96 = 1
inv : Board_2520 + Board_2521 + Board_2522 + Board_2523 + Board_2524 + Board_2525 + Board_2526 + Board_2527 + Board_2528 + Board_2529 + Board_2530 + Board_2531 + Board_2532 + Board_2533 + Board_2534 + Cells_168 = 1
inv : Rows_178 + Board_2488 + Board_2503 + Board_2518 + Board_2533 + Board_2548 + Board_2563 + Board_2578 + Board_2593 + Board_2608 + Board_2623 + Board_2638 + Board_2653 + Board_2668 + Board_2683 + Board_2698 = 1
inv : Rows_102 + Board_1362 + Board_1377 + Board_1392 + Board_1407 + Board_1422 + Board_1437 + Board_1452 + Board_1467 + Board_1482 + Board_1497 + Board_1512 + Board_1527 + Board_1542 + Board_1557 + Board_1572 = 1
inv : Board_191 + Board_416 + Board_641 + Board_866 + Board_1091 + Board_1316 + Board_1541 + Board_1766 + Board_1991 + Board_2216 + Board_2441 + Board_2666 + Board_2891 + Board_3116 + Board_3341 + Columns_191 = 1
inv : Rows_165 + Board_2475 + Board_2490 + Board_2505 + Board_2520 + Board_2535 + Board_2550 + Board_2565 + Board_2580 + Board_2595 + Board_2610 + Board_2625 + Board_2640 + Board_2655 + Board_2670 + Board_2685 = 1
inv : Rows_97 + Board_1357 + Board_1372 + Board_1387 + Board_1402 + Board_1417 + Board_1432 + Board_1447 + Board_1462 + Board_1477 + Board_1492 + Board_1507 + Board_1522 + Board_1537 + Board_1552 + Board_1567 = 1
inv : Board_101 + Board_326 + Board_551 + Board_776 + Board_1001 + Board_1226 + Board_1451 + Board_1676 + Board_1901 + Board_2126 + Board_2351 + Board_2576 + Board_2801 + Board_3026 + Board_3251 + Columns_101 = 1
inv : Board_1275 + Board_1276 + Board_1277 + Board_1278 + Board_1279 + Board_1280 + Board_1281 + Board_1282 + Board_1283 + Board_1284 + Board_1285 + Board_1286 + Board_1287 + Board_1288 + Board_1289 + Cells_85 = 1
inv : Board_119 + Board_344 + Board_569 + Board_794 + Board_1019 + Board_1244 + Board_1469 + Board_1694 + Board_1919 + Board_2144 + Board_2369 + Board_2594 + Board_2819 + Board_3044 + Board_3269 + Columns_119 = 1
inv : Board_186 + Board_411 + Board_636 + Board_861 + Board_1086 + Board_1311 + Board_1536 + Board_1761 + Board_1986 + Board_2211 + Board_2436 + Board_2661 + Board_2886 + Board_3111 + Board_3336 + Columns_186 = 1
inv : Board_114 + Board_339 + Board_564 + Board_789 + Board_1014 + Board_1239 + Board_1464 + Board_1689 + Board_1914 + Board_2139 + Board_2364 + Board_2589 + Board_2814 + Board_3039 + Board_3264 + Columns_114 = 1
inv : Board_2430 + Board_2431 + Board_2432 + Board_2433 + Board_2434 + Board_2435 + Board_2436 + Board_2437 + Board_2438 + Board_2439 + Board_2440 + Board_2441 + Board_2442 + Board_2443 + Board_2444 + Cells_162 = 1
inv : Rows_156 + Board_2256 + Board_2271 + Board_2286 + Board_2301 + Board_2316 + Board_2331 + Board_2346 + Board_2361 + Board_2376 + Board_2391 + Board_2406 + Board_2421 + Board_2436 + Board_2451 + Board_2466 = 1
inv : Rows_3 + Board_3 + Board_18 + Board_33 + Board_48 + Board_63 + Board_78 + Board_93 + Board_108 + Board_123 + Board_138 + Board_153 + Board_168 + Board_183 + Board_198 + Board_213 = 1
inv : Rows_106 + Board_1576 + Board_1591 + Board_1606 + Board_1621 + Board_1636 + Board_1651 + Board_1666 + Board_1681 + Board_1696 + Board_1711 + Board_1726 + Board_1741 + Board_1756 + Board_1771 + Board_1786 = 1
inv : Board_2760 + Board_2761 + Board_2762 + Board_2763 + Board_2764 + Board_2765 + Board_2766 + Board_2767 + Board_2768 + Board_2769 + Board_2770 + Board_2771 + Board_2772 + Board_2773 + Board_2774 + Cells_184 = 1
inv : Board_3360 + Board_3361 + Board_3362 + Board_3363 + Board_3364 + Board_3365 + Board_3366 + Board_3367 + Board_3368 + Board_3369 + Board_3370 + Board_3371 + Board_3372 + Board_3373 + Board_3374 + Cells_224 = 1
inv : Board_675 + Board_676 + Board_677 + Board_678 + Board_679 + Board_680 + Board_681 + Board_682 + Board_683 + Board_684 + Board_685 + Board_686 + Board_687 + Board_688 + Board_689 + Cells_45 = 1
inv : Rows_161 + Board_2261 + Board_2276 + Board_2291 + Board_2306 + Board_2321 + Board_2336 + Board_2351 + Board_2366 + Board_2381 + Board_2396 + Board_2411 + Board_2426 + Board_2441 + Board_2456 + Board_2471 = 1
inv : Board_345 + Board_346 + Board_347 + Board_348 + Board_349 + Board_350 + Board_351 + Board_352 + Board_353 + Board_354 + Board_355 + Board_356 + Board_357 + Board_358 + Board_359 + Cells_23 = 1
inv : Board_3120 + Board_3121 + Board_3122 + Board_3123 + Board_3124 + Board_3125 + Board_3126 + Board_3127 + Board_3128 + Board_3129 + Board_3130 + Board_3131 + Board_3132 + Board_3133 + Board_3134 + Cells_208 = 1
inv : Board_74 + Board_299 + Board_524 + Board_749 + Board_974 + Board_1199 + Board_1424 + Board_1649 + Board_1874 + Board_2099 + Board_2324 + Board_2549 + Board_2774 + Board_2999 + Board_3224 + Columns_74 = 1
inv : Board_3150 + Board_3151 + Board_3152 + Board_3153 + Board_3154 + Board_3155 + Board_3156 + Board_3157 + Board_3158 + Board_3159 + Board_3160 + Board_3161 + Board_3162 + Board_3163 + Board_3164 + Cells_210 = 1
inv : Rows_145 + Board_2035 + Board_2050 + Board_2065 + Board_2080 + Board_2095 + Board_2110 + Board_2125 + Board_2140 + Board_2155 + Board_2170 + Board_2185 + Board_2200 + Board_2215 + Board_2230 + Board_2245 = 1
inv : Rows_62 + Board_902 + Board_917 + Board_932 + Board_947 + Board_962 + Board_977 + Board_992 + Board_1007 + Board_1022 + Board_1037 + Board_1052 + Board_1067 + Board_1082 + Board_1097 + Board_1112 = 1
inv : Board_99 + Board_324 + Board_549 + Board_774 + Board_999 + Board_1224 + Board_1449 + Board_1674 + Board_1899 + Board_2124 + Board_2349 + Board_2574 + Board_2799 + Board_3024 + Board_3249 + Columns_99 = 1
inv : Rows_5 + Board_5 + Board_20 + Board_35 + Board_50 + Board_65 + Board_80 + Board_95 + Board_110 + Board_125 + Board_140 + Board_155 + Board_170 + Board_185 + Board_200 + Board_215 = 1
inv : Rows_67 + Board_907 + Board_922 + Board_937 + Board_952 + Board_967 + Board_982 + Board_997 + Board_1012 + Board_1027 + Board_1042 + Board_1057 + Board_1072 + Board_1087 + Board_1102 + Board_1117 = 1
inv : Rows_154 + Board_2254 + Board_2269 + Board_2284 + Board_2299 + Board_2314 + Board_2329 + Board_2344 + Board_2359 + Board_2374 + Board_2389 + Board_2404 + Board_2419 + Board_2434 + Board_2449 + Board_2464 = 1
inv : Board_146 + Board_371 + Board_596 + Board_821 + Board_1046 + Board_1271 + Board_1496 + Board_1721 + Board_1946 + Board_2171 + Board_2396 + Board_2621 + Board_2846 + Board_3071 + Board_3296 + Columns_146 = 1
inv : Rows_159 + Board_2259 + Board_2274 + Board_2289 + Board_2304 + Board_2319 + Board_2334 + Board_2349 + Board_2364 + Board_2379 + Board_2394 + Board_2409 + Board_2424 + Board_2439 + Board_2454 + Board_2469 = 1
inv : Board_1470 + Board_1471 + Board_1472 + Board_1473 + Board_1474 + Board_1475 + Board_1476 + Board_1477 + Board_1478 + Board_1479 + Board_1480 + Board_1481 + Board_1482 + Board_1483 + Board_1484 + Cells_98 = 1
inv : Rows_74 + Board_914 + Board_929 + Board_944 + Board_959 + Board_974 + Board_989 + Board_1004 + Board_1019 + Board_1034 + Board_1049 + Board_1064 + Board_1079 + Board_1094 + Board_1109 + Board_1124 = 1
inv : Rows_27 + Board_237 + Board_252 + Board_267 + Board_282 + Board_297 + Board_312 + Board_327 + Board_342 + Board_357 + Board_372 + Board_387 + Board_402 + Board_417 + Board_432 + Board_447 = 1
inv : Rows_137 + Board_2027 + Board_2042 + Board_2057 + Board_2072 + Board_2087 + Board_2102 + Board_2117 + Board_2132 + Board_2147 + Board_2162 + Board_2177 + Board_2192 + Board_2207 + Board_2222 + Board_2237 = 1
inv : Board_2550 + Board_2551 + Board_2552 + Board_2553 + Board_2554 + Board_2555 + Board_2556 + Board_2557 + Board_2558 + Board_2559 + Board_2560 + Board_2561 + Board_2562 + Board_2563 + Board_2564 + Cells_170 = 1
inv : Board_26 + Board_251 + Board_476 + Board_701 + Board_926 + Board_1151 + Board_1376 + Board_1601 + Board_1826 + Board_2051 + Board_2276 + Board_2501 + Board_2726 + Board_2951 + Board_3176 + Columns_26 = 1
inv : Board_224 + Board_449 + Board_674 + Board_899 + Board_1124 + Board_1349 + Board_1574 + Board_1799 + Board_2024 + Board_2249 + Board_2474 + Board_2699 + Board_2924 + Board_3149 + Board_3374 + Columns_224 = 1
inv : Board_1155 + Board_1156 + Board_1157 + Board_1158 + Board_1159 + Board_1160 + Board_1161 + Board_1162 + Board_1163 + Board_1164 + Board_1165 + Board_1166 + Board_1167 + Board_1168 + Board_1169 + Cells_77 = 1
inv : Rows_31 + Board_451 + Board_466 + Board_481 + Board_496 + Board_511 + Board_526 + Board_541 + Board_556 + Board_571 + Board_586 + Board_601 + Board_616 + Board_631 + Board_646 + Board_661 = 1
inv : Board_555 + Board_556 + Board_557 + Board_558 + Board_559 + Board_560 + Board_561 + Board_562 + Board_563 + Board_564 + Board_565 + Board_566 + Board_567 + Board_568 + Board_569 + Cells_37 = 1
inv : Board_189 + Board_414 + Board_639 + Board_864 + Board_1089 + Board_1314 + Board_1539 + Board_1764 + Board_1989 + Board_2214 + Board_2439 + Board_2664 + Board_2889 + Board_3114 + Board_3339 + Columns_189 = 1
inv : Board_3315 + Board_3316 + Board_3317 + Board_3318 + Board_3319 + Board_3320 + Board_3321 + Board_3322 + Board_3323 + Board_3324 + Board_3325 + Board_3326 + Board_3327 + Board_3328 + Board_3329 + Cells_221 = 1
inv : Board_134 + Board_359 + Board_584 + Board_809 + Board_1034 + Board_1259 + Board_1484 + Board_1709 + Board_1934 + Board_2159 + Board_2384 + Board_2609 + Board_2834 + Board_3059 + Board_3284 + Columns_134 = 1
inv : Board_179 + Board_404 + Board_629 + Board_854 + Board_1079 + Board_1304 + Board_1529 + Board_1754 + Board_1979 + Board_2204 + Board_2429 + Board_2654 + Board_2879 + Board_3104 + Board_3329 + Columns_179 = 1
inv : Board_2715 + Board_2716 + Board_2717 + Board_2718 + Board_2719 + Board_2720 + Board_2721 + Board_2722 + Board_2723 + Board_2724 + Board_2725 + Board_2726 + Board_2727 + Board_2728 + Board_2729 + Cells_181 = 1
inv : Board_126 + Board_351 + Board_576 + Board_801 + Board_1026 + Board_1251 + Board_1476 + Board_1701 + Board_1926 + Board_2151 + Board_2376 + Board_2601 + Board_2826 + Board_3051 + Board_3276 + Columns_126 = 1
inv : Board_71 + Board_296 + Board_521 + Board_746 + Board_971 + Board_1196 + Board_1421 + Board_1646 + Board_1871 + Board_2096 + Board_2321 + Board_2546 + Board_2771 + Board_2996 + Board_3221 + Columns_71 = 1
inv : Rows_210 + Board_3150 + Board_3165 + Board_3180 + Board_3195 + Board_3210 + Board_3225 + Board_3240 + Board_3255 + Board_3270 + Board_3285 + Board_3300 + Board_3315 + Board_3330 + Board_3345 + Board_3360 = 1
inv : Board_75 + Board_76 + Board_77 + Board_78 + Board_79 + Board_80 + Board_81 + Board_82 + Board_83 + Board_84 + Board_85 + Board_86 + Board_87 + Board_88 + Board_89 + Cells_5 = 1
inv : Rows_86 + Board_1136 + Board_1151 + Board_1166 + Board_1181 + Board_1196 + Board_1211 + Board_1226 + Board_1241 + Board_1256 + Board_1271 + Board_1286 + Board_1301 + Board_1316 + Board_1331 + Board_1346 = 1
inv : Board_3030 + Board_3031 + Board_3032 + Board_3033 + Board_3034 + Board_3035 + Board_3036 + Board_3037 + Board_3038 + Board_3039 + Board_3040 + Board_3041 + Board_3042 + Board_3043 + Board_3044 + Cells_202 = 1
inv : Board_116 + Board_341 + Board_566 + Board_791 + Board_1016 + Board_1241 + Board_1466 + Board_1691 + Board_1916 + Board_2141 + Board_2366 + Board_2591 + Board_2816 + Board_3041 + Board_3266 + Columns_116 = 1
inv : Rows_78 + Board_1128 + Board_1143 + Board_1158 + Board_1173 + Board_1188 + Board_1203 + Board_1218 + Board_1233 + Board_1248 + Board_1263 + Board_1278 + Board_1293 + Board_1308 + Board_1323 + Board_1338 = 1
inv : Board_390 + Board_391 + Board_392 + Board_393 + Board_394 + Board_395 + Board_396 + Board_397 + Board_398 + Board_399 + Board_400 + Board_401 + Board_402 + Board_403 + Board_404 + Cells_26 = 1
inv : Board_990 + Board_991 + Board_992 + Board_993 + Board_994 + Board_995 + Board_996 + Board_997 + Board_998 + Board_999 + Board_1000 + Board_1001 + Board_1002 + Board_1003 + Board_1004 + Cells_66 = 1
inv : Rows_64 + Board_904 + Board_919 + Board_934 + Board_949 + Board_964 + Board_979 + Board_994 + Board_1009 + Board_1024 + Board_1039 + Board_1054 + Board_1069 + Board_1084 + Board_1099 + Board_1114 = 1
inv : Rows_192 + Board_2712 + Board_2727 + Board_2742 + Board_2757 + Board_2772 + Board_2787 + Board_2802 + Board_2817 + Board_2832 + Board_2847 + Board_2862 + Board_2877 + Board_2892 + Board_2907 + Board_2922 = 1
inv : Rows_17 + Board_227 + Board_242 + Board_257 + Board_272 + Board_287 + Board_302 + Board_317 + Board_332 + Board_347 + Board_362 + Board_377 + Board_392 + Board_407 + Board_422 + Board_437 = 1
inv : Board_2070 + Board_2071 + Board_2072 + Board_2073 + Board_2074 + Board_2075 + Board_2076 + Board_2077 + Board_2078 + Board_2079 + Board_2080 + Board_2081 + Board_2082 + Board_2083 + Board_2084 + Cells_138 = 1
inv : Board_106 + Board_331 + Board_556 + Board_781 + Board_1006 + Board_1231 + Board_1456 + Board_1681 + Board_1906 + Board_2131 + Board_2356 + Board_2581 + Board_2806 + Board_3031 + Board_3256 + Columns_106 = 1
inv : Board_169 + Board_394 + Board_619 + Board_844 + Board_1069 + Board_1294 + Board_1519 + Board_1744 + Board_1969 + Board_2194 + Board_2419 + Board_2644 + Board_2869 + Board_3094 + Board_3319 + Columns_169 = 1
inv : Board_870 + Board_871 + Board_872 + Board_873 + Board_874 + Board_875 + Board_876 + Board_877 + Board_878 + Board_879 + Board_880 + Board_881 + Board_882 + Board_883 + Board_884 + Cells_58 = 1
inv : Board_1035 + Board_1036 + Board_1037 + Board_1038 + Board_1039 + Board_1040 + Board_1041 + Board_1042 + Board_1043 + Board_1044 + Board_1045 + Board_1046 + Board_1047 + Board_1048 + Board_1049 + Cells_69 = 1
inv : Rows_151 + Board_2251 + Board_2266 + Board_2281 + Board_2296 + Board_2311 + Board_2326 + Board_2341 + Board_2356 + Board_2371 + Board_2386 + Board_2401 + Board_2416 + Board_2431 + Board_2446 + Board_2461 = 1
inv : Board_144 + Board_369 + Board_594 + Board_819 + Board_1044 + Board_1269 + Board_1494 + Board_1719 + Board_1944 + Board_2169 + Board_2394 + Board_2619 + Board_2844 + Board_3069 + Board_3294 + Columns_144 = 1
inv : Rows_173 + Board_2483 + Board_2498 + Board_2513 + Board_2528 + Board_2543 + Board_2558 + Board_2573 + Board_2588 + Board_2603 + Board_2618 + Board_2633 + Board_2648 + Board_2663 + Board_2678 + Board_2693 = 1
inv : Rows_100 + Board_1360 + Board_1375 + Board_1390 + Board_1405 + Board_1420 + Board_1435 + Board_1450 + Board_1465 + Board_1480 + Board_1495 + Board_1510 + Board_1525 + Board_1540 + Board_1555 + Board_1570 = 1
inv : Rows_13 + Board_13 + Board_28 + Board_43 + Board_58 + Board_73 + Board_88 + Board_103 + Board_118 + Board_133 + Board_148 + Board_163 + Board_178 + Board_193 + Board_208 + Board_223 = 1
inv : Board_2235 + Board_2236 + Board_2237 + Board_2238 + Board_2239 + Board_2240 + Board_2241 + Board_2242 + Board_2243 + Board_2244 + Board_2245 + Board_2246 + Board_2247 + Board_2248 + Board_2249 + Cells_149 = 1
inv : Board_81 + Board_306 + Board_531 + Board_756 + Board_981 + Board_1206 + Board_1431 + Board_1656 + Board_1881 + Board_2106 + Board_2331 + Board_2556 + Board_2781 + Board_3006 + Board_3231 + Columns_81 = 1
inv : Board_154 + Board_379 + Board_604 + Board_829 + Board_1054 + Board_1279 + Board_1504 + Board_1729 + Board_1954 + Board_2179 + Board_2404 + Board_2629 + Board_2854 + Board_3079 + Board_3304 + Columns_154 = 1
inv : Board_1635 + Board_1636 + Board_1637 + Board_1638 + Board_1639 + Board_1640 + Board_1641 + Board_1642 + Board_1643 + Board_1644 + Board_1645 + Board_1646 + Board_1647 + Board_1648 + Board_1649 + Cells_109 = 1
inv : Rows_90 + Board_1350 + Board_1365 + Board_1380 + Board_1395 + Board_1410 + Board_1425 + Board_1440 + Board_1455 + Board_1470 + Board_1485 + Board_1500 + Board_1515 + Board_1530 + Board_1545 + Board_1560 = 1
inv : Rows_147 + Board_2037 + Board_2052 + Board_2067 + Board_2082 + Board_2097 + Board_2112 + Board_2127 + Board_2142 + Board_2157 + Board_2172 + Board_2187 + Board_2202 + Board_2217 + Board_2232 + Board_2247 = 1
inv : Board_1350 + Board_1351 + Board_1352 + Board_1353 + Board_1354 + Board_1355 + Board_1356 + Board_1357 + Board_1358 + Board_1359 + Board_1360 + Board_1361 + Board_1362 + Board_1363 + Board_1364 + Cells_90 = 1
inv : Board_2115 + Board_2116 + Board_2117 + Board_2118 + Board_2119 + Board_2120 + Board_2121 + Board_2122 + Board_2123 + Board_2124 + Board_2125 + Board_2126 + Board_2127 + Board_2128 + Board_2129 + Cells_141 = 1
inv : Board_1950 + Board_1951 + Board_1952 + Board_1953 + Board_1954 + Board_1955 + Board_1956 + Board_1957 + Board_1958 + Board_1959 + Board_1960 + Board_1961 + Board_1962 + Board_1963 + Board_1964 + Cells_130 = 1
inv : Board_1755 + Board_1756 + Board_1757 + Board_1758 + Board_1759 + Board_1760 + Board_1761 + Board_1762 + Board_1763 + Board_1764 + Board_1765 + Board_1766 + Board_1767 + Board_1768 + Board_1769 + Cells_117 = 1
inv : Board_91 + Board_316 + Board_541 + Board_766 + Board_991 + Board_1216 + Board_1441 + Board_1666 + Board_1891 + Board_2116 + Board_2341 + Board_2566 + Board_2791 + Board_3016 + Board_3241 + Columns_91 = 1
inv : Rows_182 + Board_2702 + Board_2717 + Board_2732 + Board_2747 + Board_2762 + Board_2777 + Board_2792 + Board_2807 + Board_2822 + Board_2837 + Board_2852 + Board_2867 + Board_2882 + Board_2897 + Board_2912 = 1
inv : Board_1590 + Board_1591 + Board_1592 + Board_1593 + Board_1594 + Board_1595 + Board_1596 + Board_1597 + Board_1598 + Board_1599 + Board_1600 + Board_1601 + Board_1602 + Board_1603 + Board_1604 + Cells_106 = 1
inv : Board_204 + Board_429 + Board_654 + Board_879 + Board_1104 + Board_1329 + Board_1554 + Board_1779 + Board_2004 + Board_2229 + Board_2454 + Board_2679 + Board_2904 + Board_3129 + Board_3354 + Columns_204 = 1
inv : Board_2355 + Board_2356 + Board_2357 + Board_2358 + Board_2359 + Board_2360 + Board_2361 + Board_2362 + Board_2363 + Board_2364 + Board_2365 + Board_2366 + Board_2367 + Board_2368 + Board_2369 + Cells_157 = 1
inv : Board_2595 + Board_2596 + Board_2597 + Board_2598 + Board_2599 + Board_2600 + Board_2601 + Board_2602 + Board_2603 + Board_2604 + Board_2605 + Board_2606 + Board_2607 + Board_2608 + Board_2609 + Cells_173 = 1
inv : Rows_119 + Board_1589 + Board_1604 + Board_1619 + Board_1634 + Board_1649 + Board_1664 + Board_1679 + Board_1694 + Board_1709 + Board_1724 + Board_1739 + Board_1754 + Board_1769 + Board_1784 + Board_1799 = 1
inv : Board_51 + Board_276 + Board_501 + Board_726 + Board_951 + Board_1176 + Board_1401 + Board_1626 + Board_1851 + Board_2076 + Board_2301 + Board_2526 + Board_2751 + Board_2976 + Board_3201 + Columns_51 = 1
inv : Rows_187 + Board_2707 + Board_2722 + Board_2737 + Board_2752 + Board_2767 + Board_2782 + Board_2797 + Board_2812 + Board_2827 + Board_2842 + Board_2857 + Board_2872 + Board_2887 + Board_2902 + Board_2917 = 1
inv : Board_30 + Board_31 + Board_32 + Board_33 + Board_34 + Board_35 + Board_36 + Board_37 + Board_38 + Board_39 + Board_40 + Board_41 + Board_42 + Board_43 + Board_44 + Cells_2 = 1
inv : Board_2835 + Board_2836 + Board_2837 + Board_2838 + Board_2839 + Board_2840 + Board_2841 + Board_2842 + Board_2843 + Board_2844 + Board_2845 + Board_2846 + Board_2847 + Board_2848 + Board_2849 + Cells_189 = 1
inv : Rows_114 + Board_1584 + Board_1599 + Board_1614 + Board_1629 + Board_1644 + Board_1659 + Board_1674 + Board_1689 + Board_1704 + Board_1719 + Board_1734 + Board_1749 + Board_1764 + Board_1779 + Board_1794 = 1
inv : Board_750 + Board_751 + Board_752 + Board_753 + Board_754 + Board_755 + Board_756 + Board_757 + Board_758 + Board_759 + Board_760 + Board_761 + Board_762 + Board_763 + Board_764 + Cells_50 = 1
inv : Board_56 + Board_281 + Board_506 + Board_731 + Board_956 + Board_1181 + Board_1406 + Board_1631 + Board_1856 + Board_2081 + Board_2306 + Board_2531 + Board_2756 + Board_2981 + Board_3206 + Columns_56 = 1
inv : Board_1 + Board_226 + Board_451 + Board_676 + Board_901 + Board_1126 + Board_1351 + Board_1576 + Board_1801 + Board_2026 + Board_2251 + Board_2476 + Board_2701 + Board_2926 + Board_3151 + Columns_1 = 1
inv : Board_270 + Board_271 + Board_272 + Board_273 + Board_274 + Board_275 + Board_276 + Board_277 + Board_278 + Board_279 + Board_280 + Board_281 + Board_282 + Board_283 + Board_284 + Cells_18 = 1
inv : Rows_50 + Board_680 + Board_695 + Board_710 + Board_725 + Board_740 + Board_755 + Board_770 + Board_785 + Board_800 + Board_815 + Board_830 + Board_845 + Board_860 + Board_875 + Board_890 = 1
inv : Board_61 + Board_286 + Board_511 + Board_736 + Board_961 + Board_1186 + Board_1411 + Board_1636 + Board_1861 + Board_2086 + Board_2311 + Board_2536 + Board_2761 + Board_2986 + Board_3211 + Columns_61 = 1
inv : Rows_109 + Board_1579 + Board_1594 + Board_1609 + Board_1624 + Board_1639 + Board_1654 + Board_1669 + Board_1684 + Board_1699 + Board_1714 + Board_1729 + Board_1744 + Board_1759 + Board_1774 + Board_1789 = 1
inv : Board_11 + Board_236 + Board_461 + Board_686 + Board_911 + Board_1136 + Board_1361 + Board_1586 + Board_1811 + Board_2036 + Board_2261 + Board_2486 + Board_2711 + Board_2936 + Board_3161 + Columns_11 = 1
inv : Rows_220 + Board_3160 + Board_3175 + Board_3190 + Board_3205 + Board_3220 + Board_3235 + Board_3250 + Board_3265 + Board_3280 + Board_3295 + Board_3310 + Board_3325 + Board_3340 + Board_3355 + Board_3370 = 1
inv : Board_6 + Board_231 + Board_456 + Board_681 + Board_906 + Board_1131 + Board_1356 + Board_1581 + Board_1806 + Board_2031 + Board_2256 + Board_2481 + Board_2706 + Board_2931 + Board_3156 + Columns_6 = 1
inv : Board_510 + Board_511 + Board_512 + Board_513 + Board_514 + Board_515 + Board_516 + Board_517 + Board_518 + Board_519 + Board_520 + Board_521 + Board_522 + Board_523 + Board_524 + Cells_34 = 1
inv : Board_3195 + Board_3196 + Board_3197 + Board_3198 + Board_3199 + Board_3200 + Board_3201 + Board_3202 + Board_3203 + Board_3204 + Board_3205 + Board_3206 + Board_3207 + Board_3208 + Board_3209 + Cells_213 = 1
inv : Rows_55 + Board_685 + Board_700 + Board_715 + Board_730 + Board_745 + Board_760 + Board_775 + Board_790 + Board_805 + Board_820 + Board_835 + Board_850 + Board_865 + Board_880 + Board_895 = 1
inv : Board_194 + Board_419 + Board_644 + Board_869 + Board_1094 + Board_1319 + Board_1544 + Board_1769 + Board_1994 + Board_2219 + Board_2444 + Board_2669 + Board_2894 + Board_3119 + Board_3344 + Columns_194 = 1
inv : Board_41 + Board_266 + Board_491 + Board_716 + Board_941 + Board_1166 + Board_1391 + Board_1616 + Board_1841 + Board_2066 + Board_2291 + Board_2516 + Board_2741 + Board_2966 + Board_3191 + Columns_41 = 1
inv : Rows_41 + Board_461 + Board_476 + Board_491 + Board_506 + Board_521 + Board_536 + Board_551 + Board_566 + Board_581 + Board_596 + Board_611 + Board_626 + Board_641 + Board_656 + Board_671 = 1
inv : Rows_128 + Board_1808 + Board_1823 + Board_1838 + Board_1853 + Board_1868 + Board_1883 + Board_1898 + Board_1913 + Board_1928 + Board_1943 + Board_1958 + Board_1973 + Board_1988 + Board_2003 + Board_2018 = 1
inv : Board_16 + Board_241 + Board_466 + Board_691 + Board_916 + Board_1141 + Board_1366 + Board_1591 + Board_1816 + Board_2041 + Board_2266 + Board_2491 + Board_2716 + Board_2941 + Board_3166 + Columns_16 = 1
inv : Board_219 + Board_444 + Board_669 + Board_894 + Board_1119 + Board_1344 + Board_1569 + Board_1794 + Board_2019 + Board_2244 + Board_2469 + Board_2694 + Board_2919 + Board_3144 + Board_3369 + Columns_219 = 1
inv : Rows_196 + Board_2926 + Board_2941 + Board_2956 + Board_2971 + Board_2986 + Board_3001 + Board_3016 + Board_3031 + Board_3046 + Board_3061 + Board_3076 + Board_3091 + Board_3106 + Board_3121 + Board_3136 = 1
inv : Board_21 + Board_246 + Board_471 + Board_696 + Board_921 + Board_1146 + Board_1371 + Board_1596 + Board_1821 + Board_2046 + Board_2271 + Board_2496 + Board_2721 + Board_2946 + Board_3171 + Columns_21 = 1
inv : Rows_45 + Board_675 + Board_690 + Board_705 + Board_720 + Board_735 + Board_750 + Board_765 + Board_780 + Board_795 + Board_810 + Board_825 + Board_840 + Board_855 + Board_870 + Board_885 = 1
inv : Rows_133 + Board_1813 + Board_1828 + Board_1843 + Board_1858 + Board_1873 + Board_1888 + Board_1903 + Board_1918 + Board_1933 + Board_1948 + Board_1963 + Board_1978 + Board_1993 + Board_2008 + Board_2023 = 1
inv : Board_199 + Board_424 + Board_649 + Board_874 + Board_1099 + Board_1324 + Board_1549 + Board_1774 + Board_1999 + Board_2224 + Board_2449 + Board_2674 + Board_2899 + Board_3124 + Board_3349 + Columns_199 = 1
inv : Rows_123 + Board_1803 + Board_1818 + Board_1833 + Board_1848 + Board_1863 + Board_1878 + Board_1893 + Board_1908 + Board_1923 + Board_1938 + Board_1953 + Board_1968 + Board_1983 + Board_1998 + Board_2013 = 1
inv : Rows_36 + Board_456 + Board_471 + Board_486 + Board_501 + Board_516 + Board_531 + Board_546 + Board_561 + Board_576 + Board_591 + Board_606 + Board_621 + Board_636 + Board_651 + Board_666 = 1
inv : Board_46 + Board_271 + Board_496 + Board_721 + Board_946 + Board_1171 + Board_1396 + Board_1621 + Board_1846 + Board_2071 + Board_2296 + Board_2521 + Board_2746 + Board_2971 + Board_3196 + Columns_46 = 1
inv : Rows_201 + Board_2931 + Board_2946 + Board_2961 + Board_2976 + Board_2991 + Board_3006 + Board_3021 + Board_3036 + Board_3051 + Board_3066 + Board_3081 + Board_3096 + Board_3111 + Board_3126 + Board_3141 = 1
inv : Board_214 + Board_439 + Board_664 + Board_889 + Board_1114 + Board_1339 + Board_1564 + Board_1789 + Board_2014 + Board_2239 + Board_2464 + Board_2689 + Board_2914 + Board_3139 + Board_3364 + Columns_214 = 1
inv : Board_209 + Board_434 + Board_659 + Board_884 + Board_1109 + Board_1334 + Board_1559 + Board_1784 + Board_2009 + Board_2234 + Board_2459 + Board_2684 + Board_2909 + Board_3134 + Board_3359 + Columns_209 = 1
inv : Rows_206 + Board_2936 + Board_2951 + Board_2966 + Board_2981 + Board_2996 + Board_3011 + Board_3026 + Board_3041 + Board_3056 + Board_3071 + Board_3086 + Board_3101 + Board_3116 + Board_3131 + Board_3146 = 1
inv : Board_36 + Board_261 + Board_486 + Board_711 + Board_936 + Board_1161 + Board_1386 + Board_1611 + Board_1836 + Board_2061 + Board_2286 + Board_2511 + Board_2736 + Board_2961 + Board_3186 + Columns_36 = 1
Total of 675 invariants.
[2021-05-17 03:47:08] [INFO ] Computed 675 place invariants in 53 ms
[2021-05-17 03:47:21] [INFO ] Proved 4050 variables to be positive in 13370 ms
[2021-05-17 03:47:23] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesSudoku-COL-AN15-ReachabilityCardinality-00
[2021-05-17 03:47:23] [INFO ] KInduction solution for property Sudoku-COL-AN15-ReachabilityCardinality-00(SAT) depth K=0 took 2137 ms
[2021-05-17 03:47:33] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph8515486071883813844.txt, -o, /tmp/graph8515486071883813844.bin, -w, /tmp/graph8515486071883813844.weights], workingDir=null] killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.MccTranslator.applyOrder(MccTranslator.java:223)
at fr.lip6.move.gal.application.MccTranslator.flattenSpec(MccTranslator.java:270)
at fr.lip6.move.gal.application.Application.runMultiITS(Application.java:786)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:675)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
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:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-17 03:47:33] [INFO ] Flatten gal took : 147 ms
[2021-05-17 03:47:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11582785299349931421.gal : 12 ms
[2021-05-17 03:47:33] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4667104681756033386.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11582785299349931421.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4667104681756033386.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality11582785299349931421.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4667104681756033386.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality4667104681756033386.prop.
Compilation finished in 53551 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin11638114375912025906]
Link finished in 70 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, SudokuCOLAN15ReachabilityCardinality00==true], workingDir=/tmp/ltsmin11638114375912025906]
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 1045
WARNING : LTSmin timed out (>720 s) on command CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, SudokuCOLAN15ReachabilityCardinality00==true], workingDir=/tmp/ltsmin11638114375912025906]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, SudokuCOLAN15ReachabilityCardinality05==true], workingDir=/tmp/ltsmin11638114375912025906]
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :1045 after 207775
Detected timeout of ITS tools.
[2021-05-17 04:11:54] [INFO ] Applying decomposition
[2021-05-17 04:11:54] [INFO ] Flatten gal took : 470 ms
[2021-05-17 04:11:54] [INFO ] Decomposing Gal with order
[2021-05-17 04:11:55] [INFO ] Rewriting arrays to variables to allow decomposition.
WARNING : LTSmin timed out (>720 s) on command CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, SudokuCOLAN15ReachabilityCardinality05==true], workingDir=/tmp/ltsmin11638114375912025906]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, SudokuCOLAN15ReachabilityCardinality06==true], workingDir=/tmp/ltsmin11638114375912025906]
[2021-05-17 04:12:03] [INFO ] Removed a total of 8565 redundant transitions.
[2021-05-17 04:12:03] [INFO ] Flatten gal took : 1646 ms
[2021-05-17 04:12:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 155 ms.
[2021-05-17 04:12:08] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3610107123596878430.gal : 64 ms
[2021-05-17 04:12:08] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6100384247949315226.prop : 5 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3610107123596878430.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6100384247949315226.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3610107123596878430.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6100384247949315226.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6100384247949315226.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 1045
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :1045 after 207775
WARNING : LTSmin timed out (>720 s) on command CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, SudokuCOLAN15ReachabilityCardinality06==true], workingDir=/tmp/ltsmin11638114375912025906]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, SudokuCOLAN15ReachabilityCardinality07==true], workingDir=/tmp/ltsmin11638114375912025906]
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="Sudoku-COL-AN15"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
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-4028"
echo " Executing tool itstools"
echo " Input is Sudoku-COL-AN15, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r254-tall-162106746100510"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-COL-AN15.tgz
mv Sudoku-COL-AN15 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;