About the Execution of 2021-gold for Sudoku-COL-AN14
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16245.823 | 3600000.00 | 13000826.00 | 20100.10 | FTT?TTFFTTTT?TTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r269-tall-165303553200056.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is Sudoku-COL-AN14, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r269-tall-165303553200056
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 7.6K Apr 30 12:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Apr 30 12:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Apr 30 11:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Apr 30 11:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K May 9 09:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 9 09:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 9 09:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 09:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 30 13:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Apr 30 13:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 30 12:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 30 12:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 09:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 9 09:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_pt
-rw-r--r-- 1 mcc users 5 May 10 09:34 instance
-rw-r--r-- 1 mcc users 5 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 6.5K May 10 09:34 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-AN14-ReachabilityCardinality-00
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-01
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-02
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-03
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-04
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-05
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-06
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-07
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-08
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-09
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-10
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-11
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-12
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-13
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-14
FORMULA_NAME Sudoku-COL-AN14-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1655068573971
Running Version 0
[2022-06-12 21:16:15] [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]
[2022-06-12 21:16:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-12 21:16:15] [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.
[2022-06-12 21:16:15] [WARNING] Using fallBack plugin, rng conformance not checked
[2022-06-12 21:16:16] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 537 ms
[2022-06-12 21:16:16] [WARNING] Unknown color function,Tuple skipping symmetry detection on parameters for transition select
[2022-06-12 21:16:16] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 3332 PT places and 2744.0 transition bindings in 15 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 23 ms.
Working with output stream class java.io.PrintStream
[2022-06-12 21:16:16] [INFO ] Built PT skeleton of HLPN with 4 places and 1 transitions in 3 ms.
[2022-06-12 21:16:16] [INFO ] Skeletonized HLPN properties in 1 ms.
Successfully produced net in file /tmp/petri1000_6133681652187022436.dot
Incomplete random walk after 100187 steps, including 505 resets, run finished after 45 ms. (steps per millisecond=2226 ) properties (out of 16) seen :8
Running SMT prover for 8 properties.
// Phase 1: matrix 1 rows 4 cols
[2022-06-12 21:16:16] [INFO ] Computed 3 place invariants in 6 ms
[2022-06-12 21:16:16] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned unsat
[2022-06-12 21:16:16] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned unsat
[2022-06-12 21:16:16] [INFO ] [Real]Absence check using 3 positive place invariants in 2 ms returned unsat
[2022-06-12 21:16:16] [INFO ] [Real]Absence check using 3 positive place invariants in 0 ms returned unsat
[2022-06-12 21:16:16] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned unsat
Successfully simplified 8 atomic propositions for a total of 8 simplifications.
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2022-06-12 21:16:16] [INFO ] Flatten gal took : 14 ms
[2022-06-12 21:16:16] [INFO ] Flatten gal took : 1 ms
[2022-06-12 21:16:16] [INFO ] Unfolded HLPN to a Petri net with 3332 places and 2744 transitions in 48 ms.
[2022-06-12 21:16:16] [INFO ] Unfolded HLPN properties in 13 ms.
Successfully produced net in file /tmp/petri1001_1657015461307304056.dot
Incomplete random walk after 10000 steps, including 58 resets, run finished after 5331 ms. (steps per millisecond=1 ) properties (out of 8) seen :3
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 3149 ms. (steps per millisecond=3 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 3637 ms. (steps per millisecond=2 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=68 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=68 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 3113 ms. (steps per millisecond=3 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
// Phase 1: matrix 2744 rows 3332 cols
[2022-06-12 21:16:32] [INFO ] Computed 588 place invariants in 54 ms
[2022-06-12 21:16:37] [INFO ] [Real]Absence check using 588 positive place invariants in 4686 ms returned unknown
[2022-06-12 21:16:41] [INFO ] [Real]Absence check using 588 positive place invariants in 3315 ms returned unknown
[2022-06-12 21:16:42] [INFO ] [Real]Absence check using 588 positive place invariants in 917 ms returned sat
[2022-06-12 21:16:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:16:44] [INFO ] [Real]Absence check using state equation in 1987 ms returned sat
[2022-06-12 21:16:44] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:16:46] [INFO ] [Nat]Absence check using 588 positive place invariants in 1324 ms returned sat
[2022-06-12 21:16:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:16:48] [INFO ] [Nat]Absence check using state equation in 2027 ms returned sat
[2022-06-12 21:16:48] [INFO ] Computed and/alt/rep : 0/0/0 causal constraints (skipped 0 transitions) in 109 ms.
[2022-06-12 21:16:48] [INFO ] Added : 0 causal constraints over 0 iterations in 394 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 8 ms.
[2022-06-12 21:16:50] [INFO ] [Real]Absence check using 588 positive place invariants in 1507 ms returned sat
[2022-06-12 21:16:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:16:52] [INFO ] [Real]Absence check using state equation in 2104 ms returned sat
[2022-06-12 21:16:53] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:16:57] [INFO ] [Nat]Absence check using 588 positive place invariants in 3707 ms returned sat
[2022-06-12 21:16:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:16:58] [INFO ] [Nat]Absence check using state equation in 1030 ms returned unknown
[2022-06-12 21:17:03] [INFO ] [Real]Absence check using 588 positive place invariants in 4691 ms returned unknown
Fused 5 Parikh solutions to 2 different solutions.
Incomplete Parikh walk after 18400 steps, including 99 resets, run finished after 5428 ms. (steps per millisecond=3 ) properties (out of 5) seen :2 could not realise parikh vector
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-00 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 3332 out of 3332 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3332/3332 places, 2744/2744 transitions.
Applied a total of 0 rules in 66 ms. Remains 3332 /3332 variables (removed 0) and now considering 2744/2744 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 3332/3332 places, 2744/2744 transitions.
[2022-06-12 21:17:09] [INFO ] Flatten gal took : 348 ms
[2022-06-12 21:17:09] [INFO ] Flatten gal took : 234 ms
[2022-06-12 21:17:09] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality615319550724929727.gal : 63 ms
[2022-06-12 21:17:09] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11345285863535075864.prop : 22 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/ReachabilityCardinality615319550724929727.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11345285863535075864.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/ReachabilityCardinality615319550724929727.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11345285863535075864.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality11345285863535075864.prop.
Detected timeout of ITS tools.
[2022-06-12 21:17:24] [INFO ] Flatten gal took : 163 ms
[2022-06-12 21:17:24] [INFO ] Applying decomposition
[2022-06-12 21:17:24] [INFO ] Flatten gal took : 175 ms
[2022-06-12 21:17:56] [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/graph14497985113279582355.txt, -o, /tmp/graph14497985113279582355.bin, -w, /tmp/graph14497985113279582355.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)
[2022-06-12 21:17:56] [INFO ] Flatten gal took : 140 ms
[2022-06-12 21:17:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9007198950710588848.gal : 13 ms
[2022-06-12 21:17:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9357714641563613069.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/ReachabilityCardinality9007198950710588848.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9357714641563613069.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/ReachabilityCardinality9007198950710588848.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9357714641563613069.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality9357714641563613069.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15295874135966779875
[2022-06-12 21:18:11] [INFO ] Built C files in 72ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15295874135966779875
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/ltsmin15295874135966779875]
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/ltsmin15295874135966779875] 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/ltsmin15295874135966779875] 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 68916 steps, including 399 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :{}
Interrupted Best-First random walk after 14328 steps, including 0 resets, run timeout after 5193 ms. (steps per millisecond=2 ) properties seen :{}
Interrupted Best-First random walk after 362815 steps, including 2 resets, run timeout after 5005 ms. (steps per millisecond=72 ) properties seen :{}
Interrupted Best-First random walk after 16877 steps, including 0 resets, run timeout after 5292 ms. (steps per millisecond=3 ) properties seen :{}
Probabilistic random walk after 215335 steps, saw 215226 distinct states, run finished after 30230 ms. (steps per millisecond=7 ) properties seen :{}
Running SMT prover for 3 properties.
// Phase 1: matrix 2744 rows 3332 cols
[2022-06-12 21:19:28] [INFO ] Computed 588 place invariants in 26 ms
[2022-06-12 21:19:31] [INFO ] [Real]Absence check using 588 positive place invariants in 3271 ms returned unknown
[2022-06-12 21:19:33] [INFO ] [Real]Absence check using 588 positive place invariants in 1288 ms returned sat
[2022-06-12 21:19:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:19:35] [INFO ] [Real]Absence check using state equation in 2008 ms returned sat
[2022-06-12 21:19:35] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:19:39] [INFO ] [Nat]Absence check using 588 positive place invariants in 3288 ms returned sat
[2022-06-12 21:19:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:19:40] [INFO ] [Nat]Absence check using state equation in 1663 ms returned sat
[2022-06-12 21:19:41] [INFO ] Computed and/alt/rep : 0/0/0 causal constraints (skipped 0 transitions) in 99 ms.
[2022-06-12 21:19:41] [INFO ] Added : 0 causal constraints over 0 iterations in 343 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 8 ms.
[2022-06-12 21:19:47] [INFO ] [Real]Absence check using 588 positive place invariants in 5789 ms returned sat
[2022-06-12 21:19:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:19:49] [INFO ] [Real]Absence check using state equation in 2106 ms returned sat
[2022-06-12 21:19:49] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:19:56] [INFO ] [Nat]Absence check using 588 positive place invariants in 6278 ms returned sat
[2022-06-12 21:19:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:20:01] [INFO ] [Nat]Absence check using state equation in 4769 ms returned sat
[2022-06-12 21:20:01] [INFO ] Deduced a trap composed of 15 places in 458 ms of which 2 ms to minimize.
[2022-06-12 21:20:38] [INFO ] Deduced a trap composed of 15 places in 3916 ms of which 3 ms to minimize.
[2022-06-12 21:20:38] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 2
Fused 3 Parikh solutions to 2 different solutions.
Incomplete Parikh walk after 18500 steps, including 99 resets, run finished after 5275 ms. (steps per millisecond=3 ) properties (out of 3) seen :1 could not realise parikh vector
FORMULA Sudoku-COL-AN14-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 3332 out of 3332 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3332/3332 places, 2744/2744 transitions.
Applied a total of 0 rules in 37 ms. Remains 3332 /3332 variables (removed 0) and now considering 2744/2744 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 3332/3332 places, 2744/2744 transitions.
Starting structural reductions, iteration 0 : 3332/3332 places, 2744/2744 transitions.
Applied a total of 0 rules in 28 ms. Remains 3332 /3332 variables (removed 0) and now considering 2744/2744 (removed 0) transitions.
// Phase 1: matrix 2744 rows 3332 cols
[2022-06-12 21:20:44] [INFO ] Computed 588 place invariants in 13 ms
[2022-06-12 21:20:44] [INFO ] Implicit Places using invariants in 452 ms returned []
// Phase 1: matrix 2744 rows 3332 cols
[2022-06-12 21:20:44] [INFO ] Computed 588 place invariants in 14 ms
[2022-06-12 21:20:46] [INFO ] Implicit Places using invariants and state equation in 1731 ms returned []
Implicit Place search using SMT with State Equation took 2185 ms to find 0 implicit places.
[2022-06-12 21:20:46] [INFO ] Redundant transitions in 167 ms returned []
// Phase 1: matrix 2744 rows 3332 cols
[2022-06-12 21:20:46] [INFO ] Computed 588 place invariants in 15 ms
[2022-06-12 21:20:48] [INFO ] Dead Transitions using invariants and state equation in 1763 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3332/3332 places, 2744/2744 transitions.
Interrupted random walk after 70859 steps, including 411 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 2744 rows 3332 cols
[2022-06-12 21:21:18] [INFO ] Computed 588 place invariants in 17 ms
[2022-06-12 21:21:21] [INFO ] [Real]Absence check using 588 positive place invariants in 3297 ms returned unknown
[2022-06-12 21:21:27] [INFO ] [Real]Absence check using 588 positive place invariants in 5477 ms returned sat
[2022-06-12 21:21:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:21:29] [INFO ] [Real]Absence check using state equation in 1971 ms returned sat
[2022-06-12 21:21:29] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:21:36] [INFO ] [Nat]Absence check using 588 positive place invariants in 6489 ms returned sat
[2022-06-12 21:21:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:21:41] [INFO ] [Nat]Absence check using state equation in 4612 ms returned sat
[2022-06-12 21:21:41] [INFO ] Deduced a trap composed of 15 places in 442 ms of which 1 ms to minimize.
[2022-06-12 21:21:53] [INFO ] Deduced a trap composed of 15 places in 3888 ms of which 3 ms to minimize.
[2022-06-12 21:21:53] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2022-06-12 21:21:53] [INFO ] Flatten gal took : 139 ms
[2022-06-12 21:21:53] [INFO ] Flatten gal took : 130 ms
[2022-06-12 21:21:53] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7333808577126789966.gal : 11 ms
[2022-06-12 21:21:53] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality721541572866180800.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/ReachabilityCardinality7333808577126789966.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality721541572866180800.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/ReachabilityCardinality7333808577126789966.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality721541572866180800.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality721541572866180800.prop.
Detected timeout of ITS tools.
[2022-06-12 21:22:09] [INFO ] Flatten gal took : 131 ms
[2022-06-12 21:22:09] [INFO ] Applying decomposition
[2022-06-12 21:22:09] [INFO ] Flatten gal took : 128 ms
[2022-06-12 21:22:36] [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/graph18152475833766070075.txt, -o, /tmp/graph18152475833766070075.bin, -w, /tmp/graph18152475833766070075.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)
[2022-06-12 21:22:36] [INFO ] Flatten gal took : 133 ms
[2022-06-12 21:22:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13633875346169366620.gal : 12 ms
[2022-06-12 21:22:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10478662939219143993.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/ReachabilityCardinality13633875346169366620.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10478662939219143993.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/ReachabilityCardinality13633875346169366620.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10478662939219143993.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality10478662939219143993.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin14916670698084735014
[2022-06-12 21:22:51] [INFO ] Built C files in 84ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14916670698084735014
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/ltsmin14916670698084735014]
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/ltsmin14916670698084735014] 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/ltsmin14916670698084735014] 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 28 ms. Remains 3332 /3332 variables (removed 0) and now considering 2744/2744 (removed 0) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 2744 rows 3332 cols
[2022-06-12 21:22:52] [INFO ] Computed 588 place invariants in 9 ms
[2022-06-12 21:22:56] [INFO ] [Real]Absence check using 588 positive place invariants in 3282 ms returned unknown
[2022-06-12 21:23:01] [INFO ] [Real]Absence check using 588 positive place invariants in 5464 ms returned sat
[2022-06-12 21:23:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:23:03] [INFO ] [Real]Absence check using state equation in 1953 ms returned sat
[2022-06-12 21:23:04] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:23:11] [INFO ] [Nat]Absence check using 588 positive place invariants in 6642 ms returned sat
[2022-06-12 21:23:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:23:15] [INFO ] [Nat]Absence check using state equation in 4871 ms returned sat
[2022-06-12 21:23:16] [INFO ] Deduced a trap composed of 15 places in 451 ms of which 1 ms to minimize.
[2022-06-12 21:23:52] [INFO ] Deduced a trap composed of 15 places in 3860 ms of which 3 ms to minimize.
[2022-06-12 21:23:52] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2022-06-12 21:23:53] [INFO ] Flatten gal took : 120 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin1046195404609227675
[2022-06-12 21:23:53] [INFO ] Too many transitions (2744) to apply POR reductions. Disabling POR matrices.
[2022-06-12 21:23:53] [INFO ] Flatten gal took : 157 ms
[2022-06-12 21:23:53] [INFO ] Built C files in 71ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1046195404609227675
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/ltsmin1046195404609227675]
[2022-06-12 21:23:53] [INFO ] Applying decomposition
[2022-06-12 21:23:53] [INFO ] Input system was already deterministic with 2744 transitions.
[2022-06-12 21:23:53] [INFO ] Flatten gal took : 133 ms
[2022-06-12 21:23:55] [INFO ] Ran tautology test, simplified 0 / 2 in 2392 ms.
[2022-06-12 21:23:56] [INFO ] BMC solution for property Sudoku-COL-AN14-ReachabilityCardinality-03(UNSAT) depth K=0 took 572 ms
[2022-06-12 21:23:56] [INFO ] BMC solution for property Sudoku-COL-AN14-ReachabilityCardinality-12(UNSAT) depth K=0 took 53 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 2744 rows 3332 cols
[2022-06-12 21:23:57] [INFO ] Computed 588 place invariants in 38 ms
inv : Rows_171 + Board_2355 + Board_2369 + Board_2383 + Board_2397 + Board_2411 + Board_2425 + Board_2439 + Board_2453 + Board_2467 + Board_2481 + Board_2495 + Board_2509 + Board_2523 + Board_2537 = 1
inv : Board_65 + Board_261 + Board_457 + Board_653 + Board_849 + Board_1045 + Board_1241 + Board_1437 + Board_1633 + Board_1829 + Board_2025 + Board_2221 + Board_2417 + Board_2613 + Columns_65 = 1
inv : Board_42 + Board_43 + Board_44 + Board_45 + Board_46 + Board_47 + Board_48 + Board_49 + Board_50 + Board_51 + Board_52 + Board_53 + Board_54 + Board_55 + Cells_3 = 1
inv : Board_1540 + Board_1541 + Board_1542 + Board_1543 + Board_1544 + Board_1545 + Board_1546 + Board_1547 + Board_1548 + Board_1549 + Board_1550 + Board_1551 + Board_1552 + Board_1553 + Cells_110 = 1
inv : Rows_165 + Board_2167 + Board_2181 + Board_2195 + Board_2209 + Board_2223 + Board_2237 + Board_2251 + Board_2265 + Board_2279 + Board_2293 + Board_2307 + Board_2321 + Board_2335 + Board_2349 = 1
inv : Board_62 + Board_258 + Board_454 + Board_650 + Board_846 + Board_1042 + Board_1238 + Board_1434 + Board_1630 + Board_1826 + Board_2022 + Board_2218 + Board_2414 + Board_2610 + Columns_62 = 1
inv : Board_126 + Board_127 + Board_128 + Board_129 + Board_130 + Board_131 + Board_132 + Board_133 + Board_134 + Board_135 + Board_136 + Board_137 + Board_138 + Board_139 + Cells_9 = 1
inv : Board_68 + Board_264 + Board_460 + Board_656 + Board_852 + Board_1048 + Board_1244 + Board_1440 + Board_1636 + Board_1832 + Board_2028 + Board_2224 + Board_2420 + Board_2616 + Columns_68 = 1
inv : Rows_168 + Board_2352 + Board_2366 + Board_2380 + Board_2394 + Board_2408 + Board_2422 + Board_2436 + Board_2450 + Board_2464 + Board_2478 + Board_2492 + Board_2506 + Board_2520 + Board_2534 = 1
inv : Rows_180 + Board_2364 + Board_2378 + Board_2392 + Board_2406 + Board_2420 + Board_2434 + Board_2448 + Board_2462 + Board_2476 + Board_2490 + Board_2504 + Board_2518 + Board_2532 + Board_2546 = 1
inv : Board_74 + Board_270 + Board_466 + Board_662 + Board_858 + Board_1054 + Board_1250 + Board_1446 + Board_1642 + Board_1838 + Board_2034 + Board_2230 + Board_2426 + Board_2622 + Columns_74 = 1
inv : Rows_159 + Board_2161 + Board_2175 + Board_2189 + Board_2203 + Board_2217 + Board_2231 + Board_2245 + Board_2259 + Board_2273 + Board_2287 + Board_2301 + Board_2315 + Board_2329 + Board_2343 = 1
inv : Rows_186 + Board_2552 + Board_2566 + Board_2580 + Board_2594 + Board_2608 + Board_2622 + Board_2636 + Board_2650 + Board_2664 + Board_2678 + Board_2692 + Board_2706 + Board_2720 + Board_2734 = 1
inv : Rows_153 + Board_1973 + Board_1987 + Board_2001 + Board_2015 + Board_2029 + Board_2043 + Board_2057 + Board_2071 + Board_2085 + Board_2099 + Board_2113 + Board_2127 + Board_2141 + Board_2155 = 1
inv : Rows_156 + Board_2158 + Board_2172 + Board_2186 + Board_2200 + Board_2214 + Board_2228 + Board_2242 + Board_2256 + Board_2270 + Board_2284 + Board_2298 + Board_2312 + Board_2326 + Board_2340 = 1
inv : Rows_177 + Board_2361 + Board_2375 + Board_2389 + Board_2403 + Board_2417 + Board_2431 + Board_2445 + Board_2459 + Board_2473 + Board_2487 + Board_2501 + Board_2515 + Board_2529 + Board_2543 = 1
inv : Board_71 + Board_267 + Board_463 + Board_659 + Board_855 + Board_1051 + Board_1247 + Board_1443 + Board_1639 + Board_1835 + Board_2031 + Board_2227 + Board_2423 + Board_2619 + Columns_71 = 1
inv : Rows_183 + Board_2549 + Board_2563 + Board_2577 + Board_2591 + Board_2605 + Board_2619 + Board_2633 + Board_2647 + Board_2661 + Board_2675 + Board_2689 + Board_2703 + Board_2717 + Board_2731 = 1
inv : Rows_150 + Board_1970 + Board_1984 + Board_1998 + Board_2012 + Board_2026 + Board_2040 + Board_2054 + Board_2068 + Board_2082 + Board_2096 + Board_2110 + Board_2124 + Board_2138 + Board_2152 = 1
inv : Rows_162 + Board_2164 + Board_2178 + Board_2192 + Board_2206 + Board_2220 + Board_2234 + Board_2248 + Board_2262 + Board_2276 + Board_2290 + Board_2304 + Board_2318 + Board_2332 + Board_2346 = 1
inv : Rows_189 + Board_2555 + Board_2569 + Board_2583 + Board_2597 + Board_2611 + Board_2625 + Board_2639 + Board_2653 + Board_2667 + Board_2681 + Board_2695 + Board_2709 + Board_2723 + Board_2737 = 1
inv : Board_77 + Board_273 + Board_469 + Board_665 + Board_861 + Board_1057 + Board_1253 + Board_1449 + Board_1645 + Board_1841 + Board_2037 + Board_2233 + Board_2429 + Board_2625 + Columns_77 = 1
inv : Rows_147 + Board_1967 + Board_1981 + Board_1995 + Board_2009 + Board_2023 + Board_2037 + Board_2051 + Board_2065 + Board_2079 + Board_2093 + Board_2107 + Board_2121 + Board_2135 + Board_2149 = 1
inv : Rows_174 + Board_2358 + Board_2372 + Board_2386 + Board_2400 + Board_2414 + Board_2428 + Board_2442 + Board_2456 + Board_2470 + Board_2484 + Board_2498 + Board_2512 + Board_2526 + Board_2540 = 1
inv : Rows_144 + Board_1964 + Board_1978 + Board_1992 + Board_2006 + Board_2020 + Board_2034 + Board_2048 + Board_2062 + Board_2076 + Board_2090 + Board_2104 + Board_2118 + Board_2132 + Board_2146 = 1
inv : Board_47 + Board_243 + Board_439 + Board_635 + Board_831 + Board_1027 + Board_1223 + Board_1419 + Board_1615 + Board_1811 + Board_2007 + Board_2203 + Board_2399 + Board_2595 + Columns_47 = 1
inv : Rows_138 + Board_1776 + Board_1790 + Board_1804 + Board_1818 + Board_1832 + Board_1846 + Board_1860 + Board_1874 + Board_1888 + Board_1902 + Board_1916 + Board_1930 + Board_1944 + Board_1958 = 1
inv : Rows_192 + Board_2558 + Board_2572 + Board_2586 + Board_2600 + Board_2614 + Board_2628 + Board_2642 + Board_2656 + Board_2670 + Board_2684 + Board_2698 + Board_2712 + Board_2726 + Board_2740 = 1
inv : Rows_141 + Board_1961 + Board_1975 + Board_1989 + Board_2003 + Board_2017 + Board_2031 + Board_2045 + Board_2059 + Board_2073 + Board_2087 + Board_2101 + Board_2115 + Board_2129 + Board_2143 = 1
inv : Board_53 + Board_249 + Board_445 + Board_641 + Board_837 + Board_1033 + Board_1229 + Board_1425 + Board_1621 + Board_1817 + Board_2013 + Board_2209 + Board_2405 + Board_2601 + Columns_53 = 1
inv : Rows_195 + Board_2561 + Board_2575 + Board_2589 + Board_2603 + Board_2617 + Board_2631 + Board_2645 + Board_2659 + Board_2673 + Board_2687 + Board_2701 + Board_2715 + Board_2729 + Board_2743 = 1
inv : Board_50 + Board_246 + Board_442 + Board_638 + Board_834 + Board_1030 + Board_1226 + Board_1422 + Board_1618 + Board_1814 + Board_2010 + Board_2206 + Board_2402 + Board_2598 + Columns_50 = 1
inv : Board_56 + Board_252 + Board_448 + Board_644 + Board_840 + Board_1036 + Board_1232 + Board_1428 + Board_1624 + Board_1820 + Board_2016 + Board_2212 + Board_2408 + Board_2604 + Columns_56 = 1
inv : Board_59 + Board_255 + Board_451 + Board_647 + Board_843 + Board_1039 + Board_1235 + Board_1431 + Board_1627 + Board_1823 + Board_2019 + Board_2215 + Board_2411 + Board_2607 + Columns_59 = 1
inv : Board_32 + Board_228 + Board_424 + Board_620 + Board_816 + Board_1012 + Board_1208 + Board_1404 + Board_1600 + Board_1796 + Board_1992 + Board_2188 + Board_2384 + Board_2580 + Columns_32 = 1
inv : Board_952 + Board_953 + Board_954 + Board_955 + Board_956 + Board_957 + Board_958 + Board_959 + Board_960 + Board_961 + Board_962 + Board_963 + Board_964 + Board_965 + Cells_68 = 1
inv : Board_2044 + Board_2045 + Board_2046 + Board_2047 + Board_2048 + Board_2049 + Board_2050 + Board_2051 + Board_2052 + Board_2053 + Board_2054 + Board_2055 + Board_2056 + Board_2057 + Cells_146 = 1
inv : Rows_111 + Board_1385 + Board_1399 + Board_1413 + Board_1427 + Board_1441 + Board_1455 + Board_1469 + Board_1483 + Board_1497 + Board_1511 + Board_1525 + Board_1539 + Board_1553 + Board_1567 = 1
inv : Rows_114 + Board_1570 + Board_1584 + Board_1598 + Board_1612 + Board_1626 + Board_1640 + Board_1654 + Board_1668 + Board_1682 + Board_1696 + Board_1710 + Board_1724 + Board_1738 + Board_1752 = 1
inv : 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_74 = 1
inv : Board_2128 + Board_2129 + Board_2130 + Board_2131 + Board_2132 + Board_2133 + Board_2134 + Board_2135 + Board_2136 + Board_2137 + Board_2138 + Board_2139 + Board_2140 + Board_2141 + Cells_152 = 1
inv : Rows_126 + Board_1764 + Board_1778 + Board_1792 + Board_1806 + Board_1820 + Board_1834 + Board_1848 + Board_1862 + Board_1876 + Board_1890 + Board_1904 + Board_1918 + Board_1932 + Board_1946 = 1
inv : Board_101 + Board_297 + Board_493 + Board_689 + Board_885 + Board_1081 + Board_1277 + Board_1473 + Board_1669 + Board_1865 + Board_2061 + Board_2257 + Board_2453 + Board_2649 + Columns_101 = 1
inv : Board_868 + Board_869 + Board_870 + Board_871 + Board_872 + Board_873 + Board_874 + Board_875 + Board_876 + Board_877 + Board_878 + Board_879 + Board_880 + Board_881 + Cells_62 = 1
inv : Board_1960 + Board_1961 + Board_1962 + Board_1963 + Board_1964 + Board_1965 + Board_1966 + Board_1967 + Board_1968 + Board_1969 + Board_1970 + Board_1971 + Board_1972 + Board_1973 + Cells_140 = 1
inv : Board_38 + Board_234 + Board_430 + Board_626 + Board_822 + Board_1018 + Board_1214 + Board_1410 + Board_1606 + Board_1802 + Board_1998 + Board_2194 + Board_2390 + Board_2586 + Columns_38 = 1
inv : Board_2212 + Board_2213 + Board_2214 + Board_2215 + Board_2216 + Board_2217 + Board_2218 + Board_2219 + Board_2220 + Board_2221 + Board_2222 + Board_2223 + Board_2224 + Board_2225 + Cells_158 = 1
inv : Board_107 + Board_303 + Board_499 + Board_695 + Board_891 + Board_1087 + Board_1283 + Board_1479 + Board_1675 + Board_1871 + Board_2067 + Board_2263 + Board_2459 + Board_2655 + Columns_107 = 1
inv : Board_44 + Board_240 + Board_436 + Board_632 + Board_828 + Board_1024 + Board_1220 + Board_1416 + Board_1612 + Board_1808 + Board_2004 + Board_2200 + Board_2396 + Board_2592 + Columns_44 = 1
inv : Rows_120 + Board_1576 + Board_1590 + Board_1604 + Board_1618 + Board_1632 + Board_1646 + Board_1660 + Board_1674 + Board_1688 + Board_1702 + Board_1716 + Board_1730 + Board_1744 + Board_1758 = 1
inv : Rows_132 + Board_1770 + Board_1784 + Board_1798 + Board_1812 + Board_1826 + Board_1840 + Board_1854 + Board_1868 + Board_1882 + Board_1896 + Board_1910 + Board_1924 + Board_1938 + Board_1952 = 1
inv : Rows_105 + Board_1379 + Board_1393 + Board_1407 + Board_1421 + Board_1435 + Board_1449 + Board_1463 + Board_1477 + Board_1491 + Board_1505 + Board_1519 + Board_1533 + Board_1547 + Board_1561 = 1
inv : Board_700 + Board_701 + Board_702 + Board_703 + Board_704 + Board_705 + Board_706 + Board_707 + Board_708 + Board_709 + Board_710 + Board_711 + Board_712 + Board_713 + Cells_50 = 1
inv : Board_1792 + Board_1793 + Board_1794 + Board_1795 + Board_1796 + Board_1797 + Board_1798 + Board_1799 + Board_1800 + Board_1801 + Board_1802 + Board_1803 + Board_1804 + Board_1805 + Cells_128 = 1
inv : 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_164 = 1
inv : Rows_93 + Board_1185 + Board_1199 + Board_1213 + Board_1227 + Board_1241 + Board_1255 + Board_1269 + Board_1283 + Board_1297 + Board_1311 + Board_1325 + Board_1339 + Board_1353 + Board_1367 = 1
inv : Board_193 + Board_389 + Board_585 + Board_781 + Board_977 + Board_1173 + Board_1369 + Board_1565 + Board_1761 + Board_1957 + Board_2153 + Board_2349 + Board_2545 + Board_2741 + Columns_193 = 1
inv : Rows_99 + Board_1373 + Board_1387 + Board_1401 + Board_1415 + Board_1429 + Board_1443 + Board_1457 + Board_1471 + Board_1485 + Board_1499 + Board_1513 + Board_1527 + Board_1541 + Board_1555 = 1
inv : Board_1708 + Board_1709 + Board_1710 + Board_1711 + Board_1712 + Board_1713 + Board_1714 + Board_1715 + Board_1716 + Board_1717 + Board_1718 + Board_1719 + Board_1720 + Board_1721 + Cells_122 = 1
inv : 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_44 = 1
inv : Board_83 + Board_279 + Board_475 + Board_671 + Board_867 + Board_1063 + Board_1259 + Board_1455 + Board_1651 + Board_1847 + Board_2043 + Board_2239 + Board_2435 + Board_2631 + Columns_83 = 1
inv : Board_14 + Board_210 + Board_406 + Board_602 + Board_798 + Board_994 + Board_1190 + Board_1386 + Board_1582 + Board_1778 + Board_1974 + Board_2170 + Board_2366 + Board_2562 + Columns_14 = 1
inv : 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_134 = 1
inv : Board_784 + Board_785 + Board_786 + Board_787 + Board_788 + Board_789 + Board_790 + Board_791 + Board_792 + Board_793 + Board_794 + Board_795 + Board_796 + Board_797 + Cells_56 = 1
inv : Board_1372 + Board_1373 + Board_1374 + Board_1375 + Board_1376 + Board_1377 + Board_1378 + Board_1379 + Board_1380 + Board_1381 + Board_1382 + Board_1383 + Board_1384 + Board_1385 + Cells_98 = 1
inv : Board_1120 + Board_1121 + Board_1122 + Board_1123 + Board_1124 + Board_1125 + Board_1126 + Board_1127 + Board_1128 + Board_1129 + Board_1130 + Board_1131 + Board_1132 + Board_1133 + Cells_80 = 1
inv : Board_26 + Board_222 + Board_418 + Board_614 + Board_810 + Board_1006 + Board_1202 + Board_1398 + Board_1594 + Board_1790 + Board_1986 + Board_2182 + Board_2378 + Board_2574 + Columns_26 = 1
inv : Board_1624 + Board_1625 + Board_1626 + Board_1627 + Board_1628 + Board_1629 + Board_1630 + Board_1631 + Board_1632 + Board_1633 + Board_1634 + Board_1635 + Board_1636 + Board_1637 + Cells_116 = 1
inv : Board_89 + Board_285 + Board_481 + Board_677 + Board_873 + Board_1069 + Board_1265 + Board_1461 + Board_1657 + Board_1853 + Board_2049 + Board_2245 + Board_2441 + Board_2637 + Columns_89 = 1
inv : Board_187 + Board_383 + Board_579 + Board_775 + Board_971 + Board_1167 + Board_1363 + Board_1559 + Board_1755 + Board_1951 + Board_2147 + Board_2343 + Board_2539 + Board_2735 + Columns_187 = 1
inv : Board_20 + Board_216 + Board_412 + Board_608 + Board_804 + Board_1000 + Board_1196 + Board_1392 + Board_1588 + Board_1784 + Board_1980 + Board_2176 + Board_2372 + Board_2568 + Columns_20 = 1
inv : 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_104 = 1
inv : Board_1204 + Board_1205 + Board_1206 + Board_1207 + Board_1208 + Board_1209 + Board_1210 + Board_1211 + Board_1212 + Board_1213 + Board_1214 + Board_1215 + Board_1216 + Board_1217 + Cells_86 = 1
inv : Board_1288 + Board_1289 + Board_1290 + Board_1291 + Board_1292 + Board_1293 + Board_1294 + Board_1295 + Board_1296 + Board_1297 + Board_1298 + Board_1299 + Board_1300 + Board_1301 + Cells_92 = 1
inv : Board_95 + Board_291 + Board_487 + Board_683 + Board_879 + Board_1075 + Board_1271 + Board_1467 + Board_1663 + Board_1859 + Board_2055 + Board_2251 + Board_2447 + Board_2643 + Columns_95 = 1
inv : Board_131 + Board_327 + Board_523 + Board_719 + Board_915 + Board_1111 + Board_1307 + Board_1503 + Board_1699 + Board_1895 + Board_2091 + Board_2287 + Board_2483 + Board_2679 + Columns_131 = 1
inv : 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 + Board_1875 + Cells_133 = 1
inv : Board_2632 + Board_2633 + Board_2634 + Board_2635 + Board_2636 + Board_2637 + Board_2638 + Board_2639 + Board_2640 + Board_2641 + Board_2642 + Board_2643 + Board_2644 + Board_2645 + Cells_188 = 1
inv : Rows_72 + Board_982 + Board_996 + Board_1010 + Board_1024 + Board_1038 + Board_1052 + Board_1066 + Board_1080 + Board_1094 + Board_1108 + Board_1122 + Board_1136 + Board_1150 + Board_1164 = 1
inv : Rows_66 + Board_794 + Board_808 + Board_822 + Board_836 + Board_850 + Board_864 + Board_878 + Board_892 + Board_906 + Board_920 + Board_934 + Board_948 + Board_962 + Board_976 = 1
inv : Rows_69 + Board_797 + Board_811 + Board_825 + Board_839 + Board_853 + Board_867 + Board_881 + Board_895 + Board_909 + Board_923 + Board_937 + Board_951 + Board_965 + Board_979 = 1
inv : Board_181 + Board_377 + Board_573 + Board_769 + Board_965 + Board_1161 + Board_1357 + Board_1553 + Board_1749 + Board_1945 + Board_2141 + Board_2337 + Board_2533 + Board_2729 + Columns_181 = 1
inv : Board_2464 + Board_2465 + Board_2466 + Board_2467 + Board_2468 + Board_2469 + Board_2470 + Board_2471 + Board_2472 + Board_2473 + Board_2474 + Board_2475 + Board_2476 + Board_2477 + Cells_176 = 1
inv : Rows_57 + Board_785 + Board_799 + Board_813 + Board_827 + Board_841 + Board_855 + Board_869 + Board_883 + Board_897 + Board_911 + Board_925 + Board_939 + Board_953 + Board_967 = 1
inv : Rows_84 + Board_1176 + Board_1190 + Board_1204 + Board_1218 + Board_1232 + Board_1246 + Board_1260 + Board_1274 + Board_1288 + Board_1302 + Board_1316 + Board_1330 + Board_1344 + Board_1358 = 1
inv : Board_140 + Board_336 + Board_532 + Board_728 + Board_924 + Board_1120 + Board_1316 + Board_1512 + Board_1708 + Board_1904 + Board_2100 + Board_2296 + Board_2492 + Board_2688 + Columns_140 = 1
inv : Rows_81 + Board_991 + Board_1005 + Board_1019 + Board_1033 + Board_1047 + Board_1061 + Board_1075 + Board_1089 + Board_1103 + Board_1117 + Board_1131 + Board_1145 + Board_1159 + Board_1173 = 1
inv : Board_2030 + Board_2031 + Board_2032 + Board_2033 + Board_2034 + Board_2035 + Board_2036 + Board_2037 + Board_2038 + Board_2039 + Board_2040 + Board_2041 + Board_2042 + Board_2043 + Cells_145 = 1
inv : Rows_54 + Board_600 + Board_614 + Board_628 + Board_642 + Board_656 + Board_670 + Board_684 + Board_698 + Board_712 + Board_726 + Board_740 + Board_754 + Board_768 + Board_782 = 1
inv : 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_194 = 1
inv : Board_1946 + Board_1947 + Board_1948 + Board_1949 + Board_1950 + Board_1951 + Board_1952 + Board_1953 + Board_1954 + Board_1955 + Board_1956 + Board_1957 + Board_1958 + Board_1959 + Cells_139 = 1
inv : Board_143 + Board_339 + Board_535 + Board_731 + Board_927 + Board_1123 + Board_1319 + Board_1515 + Board_1711 + Board_1907 + Board_2103 + Board_2299 + Board_2495 + Board_2691 + Columns_143 = 1
inv : Board_2380 + Board_2381 + Board_2382 + Board_2383 + Board_2384 + Board_2385 + Board_2386 + Board_2387 + Board_2388 + Board_2389 + Board_2390 + Board_2391 + Board_2392 + Board_2393 + Cells_170 = 1
inv : Board_2 + Board_198 + Board_394 + Board_590 + Board_786 + Board_982 + Board_1178 + Board_1374 + Board_1570 + Board_1766 + Board_1962 + Board_2158 + Board_2354 + Board_2550 + Columns_2 = 1
inv : Board_169 + Board_365 + Board_561 + Board_757 + Board_953 + Board_1149 + Board_1345 + Board_1541 + Board_1737 + Board_1933 + Board_2129 + Board_2325 + Board_2521 + Board_2717 + Columns_169 = 1
inv : Board_2548 + Board_2549 + Board_2550 + Board_2551 + Board_2552 + Board_2553 + Board_2554 + Board_2555 + Board_2556 + Board_2557 + Board_2558 + Board_2559 + Board_2560 + Board_2561 + Cells_182 = 1
inv : Board_172 + Board_368 + Board_564 + Board_760 + Board_956 + Board_1152 + Board_1348 + Board_1544 + Board_1740 + Board_1936 + Board_2132 + Board_2328 + Board_2524 + Board_2720 + Columns_172 = 1
inv : Board_1778 + Board_1779 + Board_1780 + Board_1781 + Board_1782 + Board_1783 + Board_1784 + Board_1785 + Board_1786 + Board_1787 + Board_1788 + Board_1789 + Board_1790 + Board_1791 + Cells_127 = 1
inv : Board_1694 + 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 + Cells_121 = 1
inv : Board_5 + Board_201 + Board_397 + Board_593 + Board_789 + Board_985 + Board_1181 + Board_1377 + Board_1573 + Board_1769 + Board_1965 + Board_2161 + Board_2357 + Board_2553 + Columns_5 = 1
inv : Board_1610 + Board_1611 + Board_1612 + Board_1613 + Board_1614 + Board_1615 + Board_1616 + Board_1617 + Board_1618 + Board_1619 + Board_1620 + Board_1621 + Board_1622 + Board_1623 + Cells_115 = 1
inv : Rows_22 + Board_204 + Board_218 + Board_232 + Board_246 + Board_260 + Board_274 + Board_288 + Board_302 + Board_316 + Board_330 + Board_344 + Board_358 + Board_372 + Board_386 = 1
inv : Board_116 + Board_312 + Board_508 + Board_704 + Board_900 + Board_1096 + Board_1292 + Board_1488 + Board_1684 + Board_1880 + Board_2076 + Board_2272 + Board_2468 + Board_2664 + Columns_116 = 1
inv : Board_157 + Board_353 + Board_549 + Board_745 + Board_941 + Board_1137 + Board_1333 + Board_1529 + Board_1725 + Board_1921 + Board_2117 + Board_2313 + Board_2509 + Board_2705 + Columns_157 = 1
inv : Board_119 + Board_315 + Board_511 + Board_707 + Board_903 + Board_1099 + Board_1295 + Board_1491 + Board_1687 + Board_1883 + Board_2079 + Board_2275 + Board_2471 + Board_2667 + Columns_119 = 1
inv : Board_160 + Board_356 + Board_552 + Board_748 + Board_944 + Board_1140 + Board_1336 + Board_1532 + Board_1728 + Board_1924 + Board_2120 + Board_2316 + Board_2512 + Board_2708 + Columns_160 = 1
inv : Rows_25 + Board_207 + Board_221 + Board_235 + Board_249 + Board_263 + Board_277 + Board_291 + Board_305 + Board_319 + Board_333 + Board_347 + Board_361 + Board_375 + Board_389 = 1
inv : Board_148 + Board_344 + Board_540 + Board_736 + Board_932 + Board_1128 + Board_1324 + Board_1520 + Board_1716 + Board_1912 + Board_2108 + Board_2304 + Board_2500 + Board_2696 + Columns_148 = 1
inv : Board_128 + Board_324 + Board_520 + Board_716 + Board_912 + Board_1108 + Board_1304 + Board_1500 + Board_1696 + Board_1892 + Board_2088 + Board_2284 + Board_2480 + Board_2676 + Columns_128 = 1
inv : Rows_15 + Board_197 + Board_211 + Board_225 + Board_239 + Board_253 + Board_267 + Board_281 + Board_295 + Board_309 + Board_323 + Board_337 + Board_351 + Board_365 + Board_379 = 1
inv : Board_2450 + Board_2451 + Board_2452 + Board_2453 + Board_2454 + Board_2455 + Board_2456 + Board_2457 + Board_2458 + Board_2459 + Board_2460 + Board_2461 + Board_2462 + Board_2463 + Cells_175 = 1
inv : Board_1358 + Board_1359 + Board_1360 + Board_1361 + Board_1362 + Board_1363 + Board_1364 + Board_1365 + Board_1366 + Board_1367 + Board_1368 + Board_1369 + Board_1370 + Board_1371 + Cells_97 = 1
inv : Board_145 + Board_341 + Board_537 + Board_733 + Board_929 + Board_1125 + Board_1321 + Board_1517 + Board_1713 + Board_1909 + Board_2105 + Board_2301 + Board_2497 + Board_2693 + Columns_145 = 1
inv : Board_29 + Board_225 + Board_421 + Board_617 + Board_813 + Board_1009 + Board_1205 + Board_1401 + Board_1597 + Board_1793 + Board_1989 + Board_2185 + Board_2381 + Board_2577 + Columns_29 = 1
inv : Board_2366 + Board_2367 + Board_2368 + Board_2369 + Board_2370 + Board_2371 + Board_2372 + Board_2373 + Board_2374 + Board_2375 + Board_2376 + Board_2377 + Board_2378 + Board_2379 + Cells_169 = 1
inv : Board_1274 + 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 + Cells_91 = 1
inv : Board_104 + Board_300 + Board_496 + Board_692 + Board_888 + Board_1084 + Board_1280 + Board_1476 + Board_1672 + Board_1868 + Board_2064 + Board_2260 + Board_2456 + Board_2652 + Columns_104 = 1
inv : Rows_37 + Board_401 + Board_415 + Board_429 + Board_443 + Board_457 + Board_471 + Board_485 + Board_499 + Board_513 + Board_527 + Board_541 + Board_555 + Board_569 + Board_583 = 1
inv : Rows_52 + Board_598 + Board_612 + Board_626 + Board_640 + Board_654 + Board_668 + Board_682 + Board_696 + Board_710 + Board_724 + Board_738 + Board_752 + Board_766 + Board_780 = 1
inv : Board_155 + Board_351 + Board_547 + Board_743 + Board_939 + Board_1135 + Board_1331 + Board_1527 + Board_1723 + Board_1919 + Board_2115 + Board_2311 + Board_2507 + Board_2703 + Columns_155 = 1
inv : Rows_30 + Board_394 + Board_408 + Board_422 + Board_436 + Board_450 + Board_464 + Board_478 + Board_492 + Board_506 + Board_520 + Board_534 + Board_548 + Board_562 + Board_576 = 1
inv : Board_1190 + Board_1191 + Board_1192 + Board_1193 + Board_1194 + Board_1195 + Board_1196 + Board_1197 + Board_1198 + Board_1199 + Board_1200 + Board_1201 + Board_1202 + Board_1203 + Cells_85 = 1
inv : Board_133 + Board_329 + Board_525 + Board_721 + Board_917 + Board_1113 + Board_1309 + Board_1505 + Board_1701 + Board_1897 + Board_2093 + Board_2289 + Board_2485 + Board_2681 + Columns_133 = 1
inv : Rows_27 + Board_209 + Board_223 + Board_237 + Board_251 + Board_265 + Board_279 + Board_293 + Board_307 + Board_321 + Board_335 + Board_349 + Board_363 + Board_377 + Board_391 = 1
inv : 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 + Board_1455 + Cells_103 = 1
inv : Rows_3 + Board_3 + Board_17 + Board_31 + Board_45 + Board_59 + Board_73 + Board_87 + Board_101 + Board_115 + Board_129 + Board_143 + Board_157 + Board_171 + Board_185 = 1
inv : Rows_123 + Board_1579 + Board_1593 + Board_1607 + Board_1621 + Board_1635 + Board_1649 + Board_1663 + Board_1677 + Board_1691 + Board_1705 + Board_1719 + Board_1733 + Board_1747 + Board_1761 = 1
inv : Board_1526 + Board_1527 + Board_1528 + Board_1529 + Board_1530 + Board_1531 + Board_1532 + Board_1533 + Board_1534 + Board_1535 + Board_1536 + Board_1537 + Board_1538 + Board_1539 + Cells_109 = 1
inv : Rows_108 + Board_1382 + Board_1396 + Board_1410 + Board_1424 + Board_1438 + Board_1452 + Board_1466 + Board_1480 + Board_1494 + Board_1508 + Board_1522 + Board_1536 + Board_1550 + Board_1564 = 1
inv : Rows_135 + Board_1773 + Board_1787 + Board_1801 + Board_1815 + Board_1829 + Board_1843 + Board_1857 + Board_1871 + Board_1885 + Board_1899 + Board_1913 + Board_1927 + Board_1941 + Board_1955 = 1
inv : Board_41 + Board_237 + Board_433 + Board_629 + Board_825 + Board_1021 + Board_1217 + Board_1413 + Board_1609 + Board_1805 + Board_2001 + Board_2197 + Board_2393 + Board_2589 + Columns_41 = 1
inv : Board_179 + Board_375 + Board_571 + Board_767 + Board_963 + Board_1159 + Board_1355 + Board_1551 + Board_1747 + Board_1943 + Board_2139 + Board_2335 + Board_2531 + Board_2727 + Columns_179 = 1
inv : Rows_42 + Board_588 + Board_602 + Board_616 + Board_630 + Board_644 + Board_658 + Board_672 + Board_686 + Board_700 + Board_714 + Board_728 + Board_742 + Board_756 + Board_770 = 1
inv : 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 + Board_2715 + Cells_193 = 1
inv : Board_2114 + 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 + Cells_151 = 1
inv : Board_17 + Board_213 + Board_409 + Board_605 + Board_801 + Board_997 + Board_1193 + Board_1389 + Board_1585 + Board_1781 + Board_1977 + Board_2173 + Board_2369 + Board_2565 + Columns_17 = 1
inv : Board_80 + Board_276 + Board_472 + Board_668 + Board_864 + Board_1060 + Board_1256 + Board_1452 + Board_1648 + Board_1844 + Board_2040 + Board_2236 + Board_2432 + Board_2628 + Columns_80 = 1
inv : Rows_96 + Board_1188 + Board_1202 + Board_1216 + Board_1230 + Board_1244 + Board_1258 + Board_1272 + Board_1286 + Board_1300 + Board_1314 + Board_1328 + Board_1342 + Board_1356 + Board_1370 = 1
inv : Board_2198 + Board_2199 + Board_2200 + Board_2201 + Board_2202 + Board_2203 + Board_2204 + Board_2205 + Board_2206 + Board_2207 + Board_2208 + Board_2209 + Board_2210 + Board_2211 + Cells_157 = 1
inv : Rows_64 + Board_792 + Board_806 + Board_820 + Board_834 + Board_848 + Board_862 + Board_876 + Board_890 + Board_904 + Board_918 + Board_932 + Board_946 + Board_960 + Board_974 = 1
inv : Rows_10 + Board_10 + Board_24 + Board_38 + Board_52 + Board_66 + Board_80 + Board_94 + Board_108 + Board_122 + Board_136 + Board_150 + Board_164 + Board_178 + Board_192 = 1
inv : 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 + Board_2295 + Cells_163 = 1
inv : Rows_91 + Board_1183 + Board_1197 + Board_1211 + Board_1225 + Board_1239 + Board_1253 + Board_1267 + Board_1281 + Board_1295 + Board_1309 + Board_1323 + Board_1337 + Board_1351 + Board_1365 = 1
inv : Board_2534 + 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 + Cells_181 = 1
inv : Board_184 + Board_380 + Board_576 + Board_772 + Board_968 + Board_1164 + Board_1360 + Board_1556 + Board_1752 + Board_1948 + Board_2144 + Board_2340 + Board_2536 + Board_2732 + Columns_184 = 1
inv : Board_2618 + Board_2619 + Board_2620 + Board_2621 + Board_2622 + Board_2623 + Board_2624 + Board_2625 + Board_2626 + Board_2627 + Board_2628 + Board_2629 + Board_2630 + Board_2631 + Cells_187 = 1
inv : Board_121 + Board_317 + Board_513 + Board_709 + Board_905 + Board_1101 + Board_1297 + Board_1493 + Board_1689 + Board_1885 + Board_2081 + Board_2277 + Board_2473 + Board_2669 + Columns_121 = 1
inv : Board_0 + Board_196 + Board_392 + Board_588 + Board_784 + Board_980 + Board_1176 + Board_1372 + Board_1568 + Board_1764 + Board_1960 + Board_2156 + Board_2352 + Board_2548 + Columns_0 = 1
inv : Board_92 + Board_288 + Board_484 + Board_680 + Board_876 + Board_1072 + Board_1268 + Board_1464 + Board_1660 + Board_1856 + Board_2052 + Board_2248 + Board_2444 + Board_2640 + Columns_92 = 1
inv : Board_167 + Board_363 + Board_559 + Board_755 + Board_951 + Board_1147 + Board_1343 + Board_1539 + Board_1735 + Board_1931 + Board_2127 + Board_2323 + Board_2519 + Board_2715 + Columns_167 = 1
inv : Board_109 + Board_305 + Board_501 + Board_697 + Board_893 + Board_1089 + Board_1285 + Board_1481 + Board_1677 + Board_1873 + Board_2069 + Board_2265 + Board_2461 + Board_2657 + Columns_109 = 1
inv : Board_2226 + Board_2227 + Board_2228 + Board_2229 + Board_2230 + Board_2231 + Board_2232 + Board_2233 + Board_2234 + Board_2235 + Board_2236 + Board_2237 + Board_2238 + Board_2239 + Cells_159 = 1
inv : 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 + Board_825 + Cells_58 = 1
inv : Rows_103 + Board_1377 + Board_1391 + Board_1405 + Board_1419 + Board_1433 + Board_1447 + Board_1461 + Board_1475 + Board_1489 + Board_1503 + Board_1517 + Board_1531 + Board_1545 + Board_1559 = 1
inv : Rows_106 + Board_1380 + Board_1394 + Board_1408 + Board_1422 + Board_1436 + Board_1450 + Board_1464 + Board_1478 + Board_1492 + Board_1506 + Board_1520 + Board_1534 + Board_1548 + Board_1562 = 1
inv : Board_24 + Board_220 + Board_416 + Board_612 + Board_808 + Board_1004 + Board_1200 + Board_1396 + Board_1592 + Board_1788 + Board_1984 + Board_2180 + Board_2376 + Board_2572 + Columns_24 = 1
inv : Board_106 + Board_302 + Board_498 + Board_694 + Board_890 + Board_1086 + Board_1282 + Board_1478 + Board_1674 + Board_1870 + Board_2066 + Board_2262 + Board_2458 + Board_2654 + Columns_106 = 1
inv : Board_27 + Board_223 + Board_419 + Board_615 + Board_811 + Board_1007 + Board_1203 + Board_1399 + Board_1595 + Board_1791 + Board_1987 + Board_2183 + Board_2379 + Board_2575 + Columns_27 = 1
inv : Rows_94 + Board_1186 + Board_1200 + Board_1214 + Board_1228 + Board_1242 + Board_1256 + Board_1270 + Board_1284 + Board_1298 + Board_1312 + Board_1326 + Board_1340 + Board_1354 + Board_1368 = 1
inv : Board_188 + Board_384 + Board_580 + Board_776 + Board_972 + Board_1168 + Board_1364 + Board_1560 + Board_1756 + Board_1952 + Board_2148 + Board_2344 + Board_2540 + Board_2736 + Columns_188 = 1
inv : Board_100 + Board_296 + Board_492 + Board_688 + Board_884 + Board_1080 + Board_1276 + Board_1472 + Board_1668 + Board_1864 + Board_2060 + Board_2256 + Board_2452 + Board_2648 + Columns_100 = 1
inv : Rows_82 + Board_992 + Board_1006 + Board_1020 + Board_1034 + Board_1048 + Board_1062 + Board_1076 + Board_1090 + Board_1104 + Board_1118 + Board_1132 + Board_1146 + Board_1160 + Board_1174 = 1
inv : Board_182 + Board_378 + Board_574 + Board_770 + Board_966 + Board_1162 + Board_1358 + Board_1554 + Board_1750 + Board_1946 + Board_2142 + Board_2338 + Board_2534 + Board_2730 + Columns_182 = 1
inv : Board_18 + Board_214 + Board_410 + Board_606 + Board_802 + Board_998 + Board_1194 + Board_1390 + Board_1586 + Board_1782 + Board_1978 + Board_2174 + Board_2370 + Board_2566 + Columns_18 = 1
inv : Board_518 + Board_519 + Board_520 + Board_521 + Board_522 + Board_523 + Board_524 + Board_525 + Board_526 + Board_527 + Board_528 + Board_529 + Board_530 + Board_531 + Cells_37 = 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 + Cells_180 = 1
inv : Board_42 + Board_238 + Board_434 + Board_630 + Board_826 + Board_1022 + Board_1218 + Board_1414 + Board_1610 + Board_1806 + Board_2002 + Board_2198 + Board_2394 + Board_2590 + Columns_42 = 1
inv : Board_2562 + Board_2563 + Board_2564 + Board_2565 + Board_2566 + Board_2567 + Board_2568 + Board_2569 + Board_2570 + Board_2571 + Board_2572 + Board_2573 + Board_2574 + Board_2575 + Cells_183 = 1
inv : Board_980 + Board_981 + Board_982 + Board_983 + Board_984 + Board_985 + Board_986 + Board_987 + Board_988 + Board_989 + Board_990 + Board_991 + Board_992 + Board_993 + Cells_70 = 1
inv : 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 + Board_1035 + Cells_73 = 1
inv : Board_1148 + Board_1149 + Board_1150 + Board_1151 + Board_1152 + Board_1153 + Board_1154 + Board_1155 + Board_1156 + Board_1157 + Board_1158 + Board_1159 + Board_1160 + Board_1161 + Cells_82 = 1
inv : Board_91 + Board_287 + Board_483 + Board_679 + Board_875 + Board_1071 + Board_1267 + Board_1463 + Board_1659 + Board_1855 + Board_2051 + Board_2247 + Board_2443 + Board_2639 + Columns_91 = 1
inv : Rows_136 + Board_1774 + Board_1788 + Board_1802 + Board_1816 + Board_1830 + Board_1844 + Board_1858 + Board_1872 + Board_1886 + Board_1900 + Board_1914 + Board_1928 + Board_1942 + Board_1956 = 1
inv : Board_85 + Board_281 + Board_477 + Board_673 + Board_869 + Board_1065 + Board_1261 + Board_1457 + Board_1653 + Board_1849 + Board_2045 + Board_2241 + Board_2437 + Board_2633 + Columns_85 = 1
inv : Board_350 + Board_351 + Board_352 + Board_353 + Board_354 + Board_355 + Board_356 + Board_357 + Board_358 + Board_359 + Board_360 + Board_361 + Board_362 + Board_363 + Cells_25 = 1
inv : Board_1848 + Board_1849 + Board_1850 + Board_1851 + Board_1852 + Board_1853 + Board_1854 + Board_1855 + Board_1856 + Board_1857 + Board_1858 + Board_1859 + Board_1860 + Board_1861 + Cells_132 = 1
inv : Board_2394 + Board_2395 + Board_2396 + Board_2397 + Board_2398 + Board_2399 + Board_2400 + Board_2401 + Board_2402 + Board_2403 + Board_2404 + Board_2405 + Board_2406 + Board_2407 + Cells_171 = 1
inv : Board_2352 + Board_2353 + Board_2354 + Board_2355 + Board_2356 + Board_2357 + Board_2358 + Board_2359 + Board_2360 + Board_2361 + Board_2362 + Board_2363 + Board_2364 + Board_2365 + Cells_168 = 1
inv : Board_33 + Board_229 + Board_425 + Board_621 + Board_817 + Board_1013 + Board_1209 + Board_1405 + Board_1601 + Board_1797 + Board_1993 + Board_2189 + Board_2385 + Board_2581 + Columns_33 = 1
inv : Board_854 + 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 + Cells_61 = 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 + Cells_135 = 1
inv : Board_2184 + Board_2185 + Board_2186 + Board_2187 + Board_2188 + Board_2189 + Board_2190 + Board_2191 + Board_2192 + Board_2193 + Board_2194 + Board_2195 + Board_2196 + Board_2197 + Cells_156 = 1
inv : Board_476 + Board_477 + Board_478 + Board_479 + Board_480 + Board_481 + Board_482 + Board_483 + Board_484 + Board_485 + Board_486 + Board_487 + Board_488 + Board_489 + Cells_34 = 1
inv : Rows_73 + Board_983 + Board_997 + Board_1011 + Board_1025 + Board_1039 + Board_1053 + Board_1067 + Board_1081 + Board_1095 + Board_1109 + Board_1123 + Board_1137 + Board_1151 + Board_1165 = 1
inv : Board_82 + Board_278 + Board_474 + Board_670 + Board_866 + Board_1062 + Board_1258 + Board_1454 + Board_1650 + Board_1846 + Board_2042 + Board_2238 + Board_2434 + Board_2630 + Columns_82 = 1
inv : Board_686 + Board_687 + Board_688 + Board_689 + Board_690 + Board_691 + Board_692 + Board_693 + Board_694 + Board_695 + Board_696 + Board_697 + Board_698 + Board_699 + Cells_49 = 1
inv : Board_2016 + Board_2017 + Board_2018 + Board_2019 + Board_2020 + Board_2021 + Board_2022 + Board_2023 + Board_2024 + Board_2025 + Board_2026 + Board_2027 + Board_2028 + Board_2029 + Cells_144 = 1
inv : Board_644 + 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 + Cells_46 = 1
inv : Rows_127 + Board_1765 + Board_1779 + Board_1793 + Board_1807 + Board_1821 + Board_1835 + Board_1849 + Board_1863 + Board_1877 + Board_1891 + Board_1905 + Board_1919 + Board_1933 + Board_1947 = 1
inv : Board_2058 + Board_2059 + Board_2060 + Board_2061 + Board_2062 + Board_2063 + Board_2064 + Board_2065 + Board_2066 + Board_2067 + Board_2068 + Board_2069 + Board_2070 + Board_2071 + Cells_147 = 1
inv : Rows_49 + Board_595 + Board_609 + Board_623 + Board_637 + Board_651 + Board_665 + Board_679 + Board_693 + Board_707 + Board_721 + Board_735 + Board_749 + Board_763 + Board_777 = 1
inv : Rows_157 + Board_2159 + Board_2173 + Board_2187 + Board_2201 + Board_2215 + Board_2229 + Board_2243 + Board_2257 + Board_2271 + Board_2285 + Board_2299 + Board_2313 + Board_2327 + Board_2341 = 1
inv : Rows_18 + Board_200 + Board_214 + Board_228 + Board_242 + Board_256 + Board_270 + Board_284 + Board_298 + Board_312 + Board_326 + Board_340 + Board_354 + Board_368 + Board_382 = 1
inv : Board_308 + Board_309 + Board_310 + Board_311 + Board_312 + Board_313 + Board_314 + Board_315 + Board_316 + Board_317 + Board_318 + Board_319 + Board_320 + Board_321 + Cells_22 = 1
inv : Rows_12 + Board_12 + Board_26 + Board_40 + Board_54 + Board_68 + Board_82 + Board_96 + Board_110 + Board_124 + Board_138 + Board_152 + Board_166 + Board_180 + Board_194 = 1
inv : 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 + Board_195 + Cells_13 = 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 + Cells_195 = 1
inv : Rows_40 + Board_404 + Board_418 + Board_432 + Board_446 + Board_460 + Board_474 + Board_488 + Board_502 + Board_516 + Board_530 + Board_544 + Board_558 + Board_572 + Board_586 = 1
inv : Board_158 + Board_354 + Board_550 + Board_746 + Board_942 + Board_1138 + Board_1334 + Board_1530 + Board_1726 + Board_1922 + Board_2118 + Board_2314 + Board_2510 + Board_2706 + Columns_158 = 1
inv : Rows_148 + Board_1968 + Board_1982 + Board_1996 + Board_2010 + Board_2024 + Board_2038 + Board_2052 + Board_2066 + Board_2080 + Board_2094 + Board_2108 + Board_2122 + Board_2136 + Board_2150 = 1
inv : Board_140 + Board_141 + Board_142 + Board_143 + Board_144 + Board_145 + Board_146 + Board_147 + Board_148 + Board_149 + Board_150 + Board_151 + Board_152 + Board_153 + Cells_10 = 1
inv : Board_2688 + Board_2689 + Board_2690 + Board_2691 + Board_2692 + Board_2693 + Board_2694 + Board_2695 + Board_2696 + Board_2697 + Board_2698 + Board_2699 + Board_2700 + Board_2701 + Cells_192 = 1
inv : Rows_185 + Board_2551 + Board_2565 + Board_2579 + Board_2593 + Board_2607 + Board_2621 + Board_2635 + Board_2649 + Board_2663 + Board_2677 + Board_2691 + Board_2705 + Board_2719 + Board_2733 = 1
inv : Board_67 + Board_263 + Board_459 + Board_655 + Board_851 + Board_1047 + Board_1243 + Board_1439 + Board_1635 + Board_1831 + Board_2027 + Board_2223 + Board_2419 + Board_2615 + Columns_67 = 1
inv : Rows_24 + Board_206 + Board_220 + Board_234 + Board_248 + Board_262 + Board_276 + Board_290 + Board_304 + Board_318 + Board_332 + Board_346 + Board_360 + Board_374 + Board_388 = 1
inv : Board_130 + Board_326 + Board_522 + Board_718 + Board_914 + Board_1110 + Board_1306 + Board_1502 + Board_1698 + Board_1894 + Board_2090 + Board_2286 + Board_2482 + Board_2678 + Columns_130 = 1
inv : Board_48 + Board_244 + Board_440 + Board_636 + Board_832 + Board_1028 + Board_1224 + Board_1420 + Board_1616 + Board_1812 + Board_2008 + Board_2204 + Board_2400 + Board_2596 + Columns_48 = 1
inv : Board_112 + Board_113 + Board_114 + Board_115 + Board_116 + Board_117 + Board_118 + Board_119 + Board_120 + Board_121 + Board_122 + Board_123 + Board_124 + Board_125 + Cells_8 = 1
inv : Rows_6 + Board_6 + Board_20 + Board_34 + Board_48 + Board_62 + Board_76 + Board_90 + Board_104 + Board_118 + Board_132 + Board_146 + Board_160 + Board_174 + Board_188 = 1
inv : Board_70 + Board_71 + Board_72 + Board_73 + Board_74 + Board_75 + Board_76 + Board_77 + Board_78 + Board_79 + Board_80 + Board_81 + Board_82 + Board_83 + Cells_5 = 1
inv : Board_124 + Board_320 + Board_516 + Board_712 + Board_908 + Board_1104 + Board_1300 + Board_1496 + Board_1692 + Board_1888 + Board_2084 + Board_2280 + Board_2476 + Board_2672 + Columns_124 = 1
inv : Board_72 + Board_268 + Board_464 + Board_660 + Board_856 + Board_1052 + Board_1248 + Board_1444 + Board_1640 + Board_1836 + Board_2032 + Board_2228 + Board_2424 + Board_2620 + Columns_72 = 1
inv : Board_61 + Board_257 + Board_453 + Board_649 + Board_845 + Board_1041 + Board_1237 + Board_1433 + Board_1629 + Board_1825 + Board_2021 + Board_2217 + Board_2413 + Board_2609 + Columns_61 = 1
inv : Board_3 + Board_199 + Board_395 + Board_591 + Board_787 + Board_983 + Board_1179 + Board_1375 + Board_1571 + Board_1767 + Board_1963 + Board_2159 + Board_2355 + Board_2551 + Columns_3 = 1
inv : Board_9 + Board_205 + Board_401 + Board_597 + Board_793 + Board_989 + Board_1185 + Board_1381 + Board_1577 + Board_1773 + Board_1969 + Board_2165 + Board_2361 + Board_2557 + Columns_9 = 1
inv : Rows_169 + Board_2353 + Board_2367 + Board_2381 + Board_2395 + Board_2409 + Board_2423 + Board_2437 + Board_2451 + Board_2465 + Board_2479 + Board_2493 + Board_2507 + Board_2521 + Board_2535 = 1
inv : Rows_115 + Board_1571 + Board_1585 + Board_1599 + Board_1613 + Board_1627 + Board_1641 + Board_1655 + Board_1669 + Board_1683 + Board_1697 + Board_1711 + Board_1725 + Board_1739 + Board_1753 = 1
inv : Rows_7 + Board_7 + Board_21 + Board_35 + Board_49 + Board_63 + Board_77 + Board_91 + Board_105 + Board_119 + Board_133 + Board_147 + Board_161 + Board_175 + Board_189 = 1
inv : Rows_61 + Board_789 + Board_803 + Board_817 + Board_831 + Board_845 + Board_859 + Board_873 + Board_887 + Board_901 + Board_915 + Board_929 + Board_943 + Board_957 + Board_971 = 1
inv : Board_66 + Board_262 + Board_458 + Board_654 + Board_850 + Board_1046 + Board_1242 + Board_1438 + Board_1634 + Board_1830 + Board_2026 + Board_2222 + Board_2418 + Board_2614 + Columns_66 = 1
inv : Rows_191 + Board_2557 + Board_2571 + Board_2585 + Board_2599 + Board_2613 + Board_2627 + Board_2641 + Board_2655 + Board_2669 + Board_2683 + Board_2697 + Board_2711 + Board_2725 + Board_2739 = 1
inv : Rows_137 + Board_1775 + Board_1789 + Board_1803 + Board_1817 + Board_1831 + Board_1845 + Board_1859 + Board_1873 + Board_1887 + Board_1901 + Board_1915 + Board_1929 + Board_1943 + Board_1957 = 1
inv : Rows_1 + Board_1 + Board_15 + Board_29 + Board_43 + Board_57 + Board_71 + Board_85 + Board_99 + Board_113 + Board_127 + Board_141 + Board_155 + Board_169 + Board_183 = 1
inv : Board_164 + Board_360 + Board_556 + Board_752 + Board_948 + Board_1144 + Board_1340 + Board_1536 + Board_1732 + Board_1928 + Board_2124 + Board_2320 + Board_2516 + Board_2712 + Columns_164 = 1
inv : Board_2590 + Board_2591 + Board_2592 + Board_2593 + Board_2594 + Board_2595 + Board_2596 + Board_2597 + Board_2598 + Board_2599 + Board_2600 + Board_2601 + Board_2602 + Board_2603 + Cells_185 = 1
inv : Board_448 + Board_449 + Board_450 + Board_451 + Board_452 + Board_453 + Board_454 + Board_455 + Board_456 + Board_457 + Board_458 + Board_459 + Board_460 + Board_461 + Cells_32 = 1
inv : Board_134 + Board_330 + Board_526 + Board_722 + Board_918 + Board_1114 + Board_1310 + Board_1506 + Board_1702 + Board_1898 + Board_2094 + Board_2290 + Board_2486 + Board_2682 + Columns_134 = 1
inv : Board_178 + Board_374 + Board_570 + Board_766 + Board_962 + Board_1158 + Board_1354 + Board_1550 + Board_1746 + Board_1942 + Board_2138 + Board_2334 + Board_2530 + Board_2726 + Columns_178 = 1
inv : Rows_131 + Board_1769 + Board_1783 + Board_1797 + Board_1811 + Board_1825 + Board_1839 + Board_1853 + Board_1867 + Board_1881 + Board_1895 + Board_1909 + Board_1923 + Board_1937 + Board_1951 = 1
inv : Board_81 + Board_277 + Board_473 + Board_669 + Board_865 + Board_1061 + Board_1257 + Board_1453 + Board_1649 + Board_1845 + Board_2041 + Board_2237 + Board_2433 + Board_2629 + Columns_81 = 1
inv : Board_37 + Board_233 + Board_429 + Board_625 + Board_821 + Board_1017 + Board_1213 + Board_1409 + Board_1605 + Board_1801 + Board_1997 + Board_2193 + Board_2389 + Board_2585 + Columns_37 = 1
inv : Board_8 + Board_204 + Board_400 + Board_596 + Board_792 + Board_988 + Board_1184 + Board_1380 + Board_1576 + Board_1772 + Board_1968 + Board_2164 + Board_2360 + Board_2556 + Columns_8 = 1
inv : Rows_78 + Board_988 + Board_1002 + Board_1016 + Board_1030 + Board_1044 + Board_1058 + Board_1072 + Board_1086 + Board_1100 + Board_1114 + Board_1128 + Board_1142 + Board_1156 + Board_1170 = 1
inv : Board_1988 + Board_1989 + Board_1990 + Board_1991 + Board_1992 + Board_1993 + Board_1994 + Board_1995 + Board_1996 + Board_1997 + Board_1998 + Board_1999 + Board_2000 + Board_2001 + Cells_142 = 1
inv : Board_1218 + Board_1219 + Board_1220 + Board_1221 + Board_1222 + Board_1223 + Board_1224 + Board_1225 + Board_1226 + Board_1227 + Board_1228 + Board_1229 + Board_1230 + Board_1231 + Cells_87 = 1
inv : Rows_60 + Board_788 + Board_802 + Board_816 + Board_830 + Board_844 + Board_858 + Board_872 + Board_886 + Board_900 + Board_914 + Board_928 + Board_942 + Board_956 + Board_970 = 1
inv : Rows_48 + Board_594 + Board_608 + Board_622 + Board_636 + Board_650 + Board_664 + Board_678 + Board_692 + Board_706 + Board_720 + Board_734 + Board_748 + Board_762 + Board_776 = 1
inv : Board_1820 + Board_1821 + Board_1822 + Board_1823 + Board_1824 + Board_1825 + Board_1826 + Board_1827 + Board_1828 + Board_1829 + Board_1830 + Board_1831 + Board_1832 + Board_1833 + Cells_130 = 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 + Cells_75 = 1
inv : Board_2422 + Board_2423 + Board_2424 + Board_2425 + Board_2426 + Board_2427 + Board_2428 + Board_2429 + Board_2430 + Board_2431 + Board_2432 + Board_2433 + Board_2434 + Board_2435 + Cells_173 = 1
inv : Board_28 + Board_224 + Board_420 + Board_616 + Board_812 + Board_1008 + Board_1204 + Board_1400 + Board_1596 + Board_1792 + Board_1988 + Board_2184 + Board_2380 + Board_2576 + Columns_28 = 1
inv : Board_280 + Board_281 + Board_282 + Board_283 + Board_284 + Board_285 + Board_286 + Board_287 + Board_288 + Board_289 + Board_290 + Board_291 + Board_292 + Board_293 + Cells_20 = 1
inv : 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 + Board_1665 + Cells_118 = 1
inv : Rows_90 + Board_1182 + Board_1196 + Board_1210 + Board_1224 + Board_1238 + Board_1252 + Board_1266 + Board_1280 + Board_1294 + Board_1308 + Board_1322 + Board_1336 + Board_1350 + Board_1364 = 1
inv : Rows_19 + Board_201 + Board_215 + Board_229 + Board_243 + Board_257 + Board_271 + Board_285 + Board_299 + Board_313 + Board_327 + Board_341 + Board_355 + Board_369 + Board_383 = 1
inv : Board_163 + Board_359 + Board_555 + Board_751 + Board_947 + Board_1143 + Board_1339 + Board_1535 + Board_1731 + Board_1927 + Board_2123 + Board_2319 + Board_2515 + Board_2711 + Columns_163 = 1
inv : Rows_166 + Board_2168 + Board_2182 + Board_2196 + Board_2210 + Board_2224 + Board_2238 + Board_2252 + Board_2266 + Board_2280 + Board_2294 + Board_2308 + Board_2322 + Board_2336 + Board_2350 = 1
inv : Board_1386 + Board_1387 + Board_1388 + Board_1389 + Board_1390 + Board_1391 + Board_1392 + Board_1393 + Board_1394 + Board_1395 + Board_1396 + Board_1397 + Board_1398 + Board_1399 + Cells_99 = 1
inv : Board_96 + Board_292 + Board_488 + Board_684 + Board_880 + Board_1076 + Board_1272 + Board_1468 + Board_1664 + Board_1860 + Board_2056 + Board_2252 + Board_2448 + Board_2644 + Columns_96 = 1
inv : Rows_190 + Board_2556 + Board_2570 + Board_2584 + Board_2598 + Board_2612 + Board_2626 + Board_2640 + Board_2654 + Board_2668 + Board_2682 + Board_2696 + Board_2710 + Board_2724 + Board_2738 = 1
inv : Board_1554 + Board_1555 + Board_1556 + Board_1557 + Board_1558 + Board_1559 + Board_1560 + Board_1561 + Board_1562 + Board_1563 + Board_1564 + Board_1565 + Board_1566 + Board_1567 + Cells_111 = 1
inv : Rows_173 + Board_2357 + Board_2371 + Board_2385 + Board_2399 + Board_2413 + Board_2427 + Board_2441 + Board_2455 + Board_2469 + Board_2483 + Board_2497 + Board_2511 + Board_2525 + Board_2539 = 1
inv : Rows_95 + Board_1187 + Board_1201 + Board_1215 + Board_1229 + Board_1243 + Board_1257 + Board_1271 + Board_1285 + Board_1299 + Board_1313 + Board_1327 + Board_1341 + Board_1355 + Board_1369 = 1
inv : Rows_119 + Board_1575 + Board_1589 + Board_1603 + Board_1617 + Board_1631 + Board_1645 + Board_1659 + Board_1673 + Board_1687 + Board_1701 + Board_1715 + Board_1729 + Board_1743 + Board_1757 = 1
inv : Rows_149 + Board_1969 + Board_1983 + Board_1997 + Board_2011 + Board_2025 + Board_2039 + Board_2053 + Board_2067 + Board_2081 + Board_2095 + Board_2109 + Board_2123 + Board_2137 + Board_2151 = 1
inv : Board_125 + Board_321 + Board_517 + Board_713 + Board_909 + Board_1105 + Board_1301 + Board_1497 + Board_1693 + Board_1889 + Board_2085 + Board_2281 + Board_2477 + Board_2673 + Columns_125 = 1
inv : Board_154 + Board_350 + Board_546 + Board_742 + Board_938 + Board_1134 + Board_1330 + Board_1526 + Board_1722 + Board_1918 + Board_2114 + Board_2310 + Board_2506 + Board_2702 + Columns_154 = 1
inv : Board_13 + Board_209 + Board_405 + Board_601 + Board_797 + Board_993 + Board_1189 + Board_1385 + Board_1581 + Board_1777 + Board_1973 + Board_2169 + Board_2365 + Board_2561 + Columns_13 = 1
inv : Board_105 + Board_301 + Board_497 + Board_693 + Board_889 + Board_1085 + Board_1281 + Board_1477 + Board_1673 + Board_1869 + Board_2065 + Board_2261 + Board_2457 + Board_2653 + Columns_105 = 1
inv : Rows_43 + Board_589 + Board_603 + Board_617 + Board_631 + Board_645 + Board_659 + Board_673 + Board_687 + Board_701 + Board_715 + Board_729 + Board_743 + Board_757 + Board_771 = 1
inv : Board_120 + Board_316 + Board_512 + Board_708 + Board_904 + Board_1100 + Board_1296 + Board_1492 + Board_1688 + Board_1884 + Board_2080 + Board_2276 + Board_2472 + Board_2668 + Columns_120 = 1
inv : Board_76 + Board_272 + Board_468 + Board_664 + Board_860 + Board_1056 + Board_1252 + Board_1448 + Board_1644 + Board_1840 + Board_2036 + Board_2232 + Board_2428 + Board_2624 + Columns_76 = 1
inv : Board_1316 + Board_1317 + Board_1318 + Board_1319 + Board_1320 + Board_1321 + Board_1322 + Board_1323 + Board_1324 + Board_1325 + Board_1326 + Board_1327 + Board_1328 + Board_1329 + Cells_94 = 1
inv : Board_139 + Board_335 + Board_531 + Board_727 + Board_923 + Board_1119 + Board_1315 + Board_1511 + Board_1707 + Board_1903 + Board_2099 + Board_2295 + Board_2491 + Board_2687 + Columns_139 = 1
inv : Board_1722 + Board_1723 + Board_1724 + Board_1725 + Board_1726 + Board_1727 + Board_1728 + Board_1729 + Board_1730 + Board_1731 + Board_1732 + Board_1733 + Board_1734 + Board_1735 + Cells_123 = 1
inv : Board_57 + Board_253 + Board_449 + Board_645 + Board_841 + Board_1037 + Board_1233 + Board_1429 + Board_1625 + Board_1821 + Board_2017 + Board_2213 + Board_2409 + Board_2605 + Columns_57 = 1
inv : Board_546 + Board_547 + Board_548 + Board_549 + Board_550 + Board_551 + Board_552 + Board_553 + Board_554 + Board_555 + Board_556 + Board_557 + Board_558 + Board_559 + Cells_39 = 1
inv : 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 + Board_2505 + Cells_178 = 1
inv : Board_183 + Board_379 + Board_575 + Board_771 + Board_967 + Board_1163 + Board_1359 + Board_1555 + Board_1751 + Board_1947 + Board_2143 + Board_2339 + Board_2535 + Board_2731 + Columns_183 = 1
inv : Board_2324 + 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 + Cells_166 = 1
inv : Board_714 + Board_715 + Board_716 + Board_717 + Board_718 + Board_719 + Board_720 + Board_721 + Board_722 + Board_723 + Board_724 + Board_725 + Board_726 + Board_727 + Cells_51 = 1
inv : Board_1484 + 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 + Cells_106 = 1
inv : Board_110 + Board_306 + Board_502 + Board_698 + Board_894 + Board_1090 + Board_1286 + Board_1482 + Board_1678 + Board_1874 + Board_2070 + Board_2266 + Board_2462 + Board_2658 + Columns_110 = 1
inv : Rows_102 + Board_1376 + Board_1390 + Board_1404 + Board_1418 + Board_1432 + Board_1446 + Board_1460 + Board_1474 + Board_1488 + Board_1502 + Board_1516 + Board_1530 + Board_1544 + Board_1558 = 1
inv : Board_149 + Board_345 + Board_541 + Board_737 + Board_933 + Board_1129 + Board_1325 + Board_1521 + Board_1717 + Board_1913 + Board_2109 + Board_2305 + Board_2501 + Board_2697 + Columns_149 = 1
inv : Rows_36 + Board_400 + Board_414 + Board_428 + Board_442 + Board_456 + Board_470 + Board_484 + Board_498 + Board_512 + Board_526 + Board_540 + Board_554 + Board_568 + Board_582 = 1
inv : Board_882 + Board_883 + Board_884 + Board_885 + Board_886 + Board_887 + Board_888 + Board_889 + Board_890 + Board_891 + Board_892 + Board_893 + Board_894 + Board_895 + Cells_63 = 1
inv : Rows_161 + Board_2163 + Board_2177 + Board_2191 + Board_2205 + Board_2219 + Board_2233 + Board_2247 + Board_2261 + Board_2275 + Board_2289 + Board_2303 + Board_2317 + Board_2331 + Board_2345 = 1
inv : Rows_107 + Board_1381 + Board_1395 + Board_1409 + Board_1423 + Board_1437 + Board_1451 + Board_1465 + Board_1479 + Board_1493 + Board_1507 + Board_1521 + Board_1535 + Board_1549 + Board_1563 = 1
inv : Rows_53 + Board_599 + Board_613 + Board_627 + Board_641 + Board_655 + Board_669 + Board_683 + Board_697 + Board_711 + Board_725 + Board_739 + Board_753 + Board_767 + Board_781 = 1
inv : Board_2156 + Board_2157 + Board_2158 + Board_2159 + Board_2160 + Board_2161 + Board_2162 + Board_2163 + Board_2164 + Board_2165 + Board_2166 + Board_2167 + Board_2168 + Board_2169 + Cells_154 = 1
inv : Rows_124 + Board_1580 + Board_1594 + Board_1608 + Board_1622 + Board_1636 + Board_1650 + Board_1664 + Board_1678 + Board_1692 + Board_1706 + Board_1720 + Board_1734 + Board_1748 + Board_1762 = 1
inv : Board_2660 + Board_2661 + Board_2662 + Board_2663 + Board_2664 + Board_2665 + Board_2666 + Board_2667 + Board_2668 + Board_2669 + Board_2670 + Board_2671 + Board_2672 + Board_2673 + Cells_190 = 1
inv : Rows_14 + Board_196 + Board_210 + Board_224 + Board_238 + Board_252 + Board_266 + Board_280 + Board_294 + Board_308 + Board_322 + Board_336 + Board_350 + Board_364 + Board_378 = 1
inv : Board_86 + Board_282 + Board_478 + Board_674 + Board_870 + Board_1066 + Board_1262 + Board_1458 + Board_1654 + Board_1850 + Board_2046 + Board_2242 + Board_2438 + Board_2634 + Columns_86 = 1
inv : Board_378 + Board_379 + Board_380 + Board_381 + Board_382 + Board_383 + Board_384 + Board_385 + Board_386 + Board_387 + Board_388 + Board_389 + Board_390 + Board_391 + Cells_27 = 1
inv : Rows_178 + Board_2362 + Board_2376 + Board_2390 + Board_2404 + Board_2418 + Board_2432 + Board_2446 + Board_2460 + Board_2474 + Board_2488 + Board_2502 + Board_2516 + Board_2530 + Board_2544 = 1
inv : Board_173 + Board_369 + Board_565 + Board_761 + Board_957 + Board_1153 + Board_1349 + Board_1545 + Board_1741 + Board_1937 + Board_2133 + Board_2329 + Board_2525 + Board_2721 + Columns_173 = 1
inv : Board_144 + Board_340 + Board_536 + Board_732 + Board_928 + Board_1124 + Board_1320 + Board_1516 + Board_1712 + Board_1908 + Board_2104 + Board_2300 + Board_2496 + Board_2692 + Columns_144 = 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 + Cells_15 = 1
inv : Board_52 + Board_248 + Board_444 + Board_640 + Board_836 + Board_1032 + Board_1228 + Board_1424 + Board_1620 + Board_1816 + Board_2012 + Board_2208 + Board_2404 + Board_2600 + Columns_52 = 1
inv : Board_115 + Board_311 + Board_507 + Board_703 + Board_899 + Board_1095 + Board_1291 + Board_1487 + Board_1683 + Board_1879 + Board_2075 + Board_2271 + Board_2467 + Board_2663 + Columns_115 = 1
inv : Rows_31 + Board_395 + Board_409 + Board_423 + Board_437 + Board_451 + Board_465 + Board_479 + Board_493 + Board_507 + Board_521 + Board_535 + Board_549 + Board_563 + Board_577 = 1
inv : Rows_85 + Board_1177 + Board_1191 + Board_1205 + Board_1219 + Board_1233 + Board_1247 + Board_1261 + Board_1275 + Board_1289 + Board_1303 + Board_1317 + Board_1331 + Board_1345 + Board_1359 = 1
inv : Board_23 + Board_219 + Board_415 + Board_611 + Board_807 + Board_1003 + Board_1199 + Board_1395 + Board_1591 + Board_1787 + Board_1983 + Board_2179 + Board_2375 + Board_2571 + Columns_23 = 1
inv : Board_153 + Board_349 + Board_545 + Board_741 + Board_937 + Board_1133 + Board_1329 + Board_1525 + Board_1721 + Board_1917 + Board_2113 + Board_2309 + Board_2505 + Board_2701 + Columns_153 = 1
inv : Board_84 + Board_85 + Board_86 + Board_87 + Board_88 + Board_89 + Board_90 + Board_91 + Board_92 + Board_93 + Board_94 + Board_95 + Board_96 + Board_97 + Cells_6 = 1
inv : Board_1498 + Board_1499 + Board_1500 + Board_1501 + Board_1502 + Board_1503 + Board_1504 + Board_1505 + Board_1506 + Board_1507 + Board_1508 + Board_1509 + Board_1510 + Board_1511 + Cells_107 = 1
inv : Rows_35 + Board_399 + Board_413 + Board_427 + Board_441 + Board_455 + Board_469 + Board_483 + Board_497 + Board_511 + Board_525 + Board_539 + Board_553 + Board_567 + Board_581 = 1
inv : Rows_29 + Board_393 + Board_407 + Board_421 + Board_435 + Board_449 + Board_463 + Board_477 + Board_491 + Board_505 + Board_519 + Board_533 + Board_547 + Board_561 + Board_575 = 1
inv : Board_147 + Board_343 + Board_539 + Board_735 + Board_931 + Board_1127 + Board_1323 + Board_1519 + Board_1715 + Board_1911 + Board_2107 + Board_2303 + Board_2499 + Board_2695 + Columns_147 = 1
inv : Rows_32 + Board_396 + Board_410 + Board_424 + Board_438 + Board_452 + Board_466 + Board_480 + Board_494 + Board_508 + Board_522 + Board_536 + Board_550 + Board_564 + Board_578 = 1
inv : Board_150 + Board_346 + Board_542 + Board_738 + Board_934 + Board_1130 + Board_1326 + Board_1522 + Board_1718 + Board_1914 + Board_2110 + Board_2306 + Board_2502 + Board_2698 + Columns_150 = 1
inv : Rows_44 + Board_590 + Board_604 + Board_618 + Board_632 + Board_646 + Board_660 + Board_674 + Board_688 + Board_702 + Board_716 + Board_730 + Board_744 + Board_758 + Board_772 = 1
inv : Board_162 + Board_358 + Board_554 + Board_750 + Board_946 + Board_1142 + Board_1338 + Board_1534 + Board_1730 + Board_1926 + Board_2122 + Board_2318 + Board_2514 + Board_2710 + Columns_162 = 1
inv : Board_156 + Board_352 + Board_548 + Board_744 + Board_940 + Board_1136 + Board_1332 + Board_1528 + Board_1724 + Board_1920 + Board_2116 + Board_2312 + Board_2508 + Board_2704 + Columns_156 = 1
inv : Board_159 + Board_355 + Board_551 + Board_747 + Board_943 + Board_1139 + Board_1335 + Board_1531 + Board_1727 + Board_1923 + Board_2119 + Board_2315 + Board_2511 + Board_2707 + Columns_159 = 1
inv : Rows_59 + Board_787 + Board_801 + Board_815 + Board_829 + Board_843 + Board_857 + Board_871 + Board_885 + Board_899 + Board_913 + Board_927 + Board_941 + Board_955 + Board_969 = 1
inv : Rows_8 + Board_8 + Board_22 + Board_36 + Board_50 + Board_64 + Board_78 + Board_92 + Board_106 + Board_120 + Board_134 + Board_148 + Board_162 + Board_176 + Board_190 = 1
inv : Board_171 + Board_367 + Board_563 + Board_759 + Board_955 + Board_1151 + Board_1347 + Board_1543 + Board_1739 + Board_1935 + Board_2131 + Board_2327 + Board_2523 + Board_2719 + Columns_171 = 1
inv : Rows_56 + Board_784 + Board_798 + Board_812 + Board_826 + Board_840 + Board_854 + Board_868 + Board_882 + Board_896 + Board_910 + Board_924 + Board_938 + Board_952 + Board_966 = 1
inv : Board_165 + Board_361 + Board_557 + Board_753 + Board_949 + Board_1145 + Board_1341 + Board_1537 + Board_1733 + Board_1929 + Board_2125 + Board_2321 + Board_2517 + Board_2713 + Columns_165 = 1
inv : Rows_62 + Board_790 + Board_804 + Board_818 + Board_832 + Board_846 + Board_860 + Board_874 + Board_888 + Board_902 + Board_916 + Board_930 + Board_944 + Board_958 + Board_972 = 1
inv : Rows_2 + Board_2 + Board_16 + Board_30 + Board_44 + Board_58 + Board_72 + Board_86 + Board_100 + Board_114 + Board_128 + Board_142 + Board_156 + Board_170 + Board_184 = 1
inv : Board_168 + Board_364 + Board_560 + Board_756 + Board_952 + Board_1148 + Board_1344 + Board_1540 + Board_1736 + Board_1932 + Board_2128 + Board_2324 + Board_2520 + Board_2716 + Columns_168 = 1
inv : Rows_5 + Board_5 + Board_19 + Board_33 + Board_47 + Board_61 + Board_75 + Board_89 + Board_103 + Board_117 + Board_131 + Board_145 + Board_159 + Board_173 + Board_187 = 1
inv : Board_177 + Board_373 + Board_569 + Board_765 + Board_961 + Board_1157 + Board_1353 + Board_1549 + Board_1745 + Board_1941 + Board_2137 + Board_2333 + Board_2529 + Board_2725 + Columns_177 = 1
inv : Rows_68 + Board_796 + Board_810 + Board_824 + Board_838 + Board_852 + Board_866 + Board_880 + Board_894 + Board_908 + Board_922 + Board_936 + Board_950 + Board_964 + Board_978 = 1
inv : Rows_65 + Board_793 + Board_807 + Board_821 + Board_835 + Board_849 + Board_863 + Board_877 + Board_891 + Board_905 + Board_919 + Board_933 + Board_947 + Board_961 + Board_975 = 1
inv : Rows_38 + Board_402 + Board_416 + Board_430 + Board_444 + Board_458 + Board_472 + Board_486 + Board_500 + Board_514 + Board_528 + Board_542 + Board_556 + Board_570 + Board_584 = 1
inv : Board_180 + Board_376 + Board_572 + Board_768 + Board_964 + Board_1160 + Board_1356 + Board_1552 + Board_1748 + Board_1944 + Board_2140 + Board_2336 + Board_2532 + Board_2728 + Columns_180 = 1
inv : Rows_11 + Board_11 + Board_25 + Board_39 + Board_53 + Board_67 + Board_81 + Board_95 + Board_109 + Board_123 + Board_137 + Board_151 + Board_165 + Board_179 + Board_193 = 1
inv : Board_174 + Board_370 + Board_566 + Board_762 + Board_958 + Board_1154 + Board_1350 + Board_1546 + Board_1742 + Board_1938 + Board_2134 + Board_2330 + Board_2526 + Board_2722 + Columns_174 = 1
inv : Rows_41 + Board_405 + Board_419 + Board_433 + Board_447 + Board_461 + Board_475 + Board_489 + Board_503 + Board_517 + Board_531 + Board_545 + Board_559 + Board_573 + Board_587 = 1
inv : Board_10 + Board_206 + Board_402 + Board_598 + Board_794 + Board_990 + Board_1186 + Board_1382 + Board_1578 + Board_1774 + Board_1970 + Board_2166 + Board_2362 + Board_2558 + Columns_10 = 1
inv : 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_149 = 1
inv : Board_994 + Board_995 + Board_996 + Board_997 + Board_998 + Board_999 + Board_1000 + Board_1001 + Board_1002 + Board_1003 + Board_1004 + Board_1005 + Board_1006 + Board_1007 + Cells_71 = 1
inv : Rows_77 + Board_987 + Board_1001 + Board_1015 + Board_1029 + Board_1043 + Board_1057 + Board_1071 + Board_1085 + Board_1099 + Board_1113 + Board_1127 + Board_1141 + Board_1155 + Board_1169 = 1
inv : Rows_89 + Board_1181 + Board_1195 + Board_1209 + Board_1223 + Board_1237 + Board_1251 + Board_1265 + Board_1279 + Board_1293 + Board_1307 + Board_1321 + Board_1335 + Board_1349 + Board_1363 = 1
inv : Board_2002 + Board_2003 + Board_2004 + Board_2005 + Board_2006 + Board_2007 + Board_2008 + Board_2009 + Board_2010 + Board_2011 + Board_2012 + Board_2013 + Board_2014 + Board_2015 + Cells_143 = 1
inv : Board_117 + Board_313 + Board_509 + Board_705 + Board_901 + Board_1097 + Board_1293 + Board_1489 + Board_1685 + Board_1881 + Board_2077 + Board_2273 + Board_2469 + Board_2665 + Columns_117 = 1
inv : Board_910 + Board_911 + Board_912 + Board_913 + Board_914 + Board_915 + Board_916 + Board_917 + Board_918 + Board_919 + Board_920 + Board_921 + Board_922 + Board_923 + Cells_65 = 1
inv : Board_4 + Board_200 + Board_396 + Board_592 + Board_788 + Board_984 + Board_1180 + Board_1376 + Board_1572 + Board_1768 + Board_1964 + Board_2160 + Board_2356 + Board_2552 + Columns_4 = 1
inv : Board_186 + Board_382 + Board_578 + Board_774 + Board_970 + Board_1166 + Board_1362 + Board_1558 + Board_1754 + Board_1950 + Board_2146 + Board_2342 + Board_2538 + Board_2734 + Columns_186 = 1
inv : Board_1918 + Board_1919 + Board_1920 + Board_1921 + Board_1922 + Board_1923 + Board_1924 + Board_1925 + Board_1926 + Board_1927 + Board_1928 + Board_1929 + Board_1930 + Board_1931 + Cells_137 = 1
inv : Board_192 + Board_388 + Board_584 + Board_780 + Board_976 + Board_1172 + Board_1368 + Board_1564 + Board_1760 + Board_1956 + Board_2152 + Board_2348 + Board_2544 + Board_2740 + Columns_192 = 1
inv : Rows_71 + Board_981 + Board_995 + Board_1009 + Board_1023 + Board_1037 + Board_1051 + Board_1065 + Board_1079 + Board_1093 + Board_1107 + Board_1121 + Board_1135 + Board_1149 + Board_1163 = 1
inv : Board_129 + Board_325 + Board_521 + Board_717 + Board_913 + Board_1109 + Board_1305 + Board_1501 + Board_1697 + Board_1893 + Board_2089 + Board_2285 + Board_2481 + Board_2677 + Columns_129 = 1
inv : Rows_98 + Board_1372 + Board_1386 + Board_1400 + Board_1414 + Board_1428 + Board_1442 + Board_1456 + Board_1470 + Board_1484 + Board_1498 + Board_1512 + Board_1526 + Board_1540 + Board_1554 = 1
inv : Board_2170 + Board_2171 + Board_2172 + Board_2173 + Board_2174 + Board_2175 + Board_2176 + Board_2177 + Board_2178 + Board_2179 + Board_2180 + Board_2181 + Board_2182 + Board_2183 + Cells_155 = 1
inv : Board_2254 + Board_2255 + Board_2256 + Board_2257 + Board_2258 + Board_2259 + Board_2260 + Board_2261 + Board_2262 + Board_2263 + Board_2264 + Board_2265 + Board_2266 + Board_2267 + Cells_161 = 1
inv : Board_123 + Board_319 + Board_515 + Board_711 + Board_907 + Board_1103 + Board_1299 + Board_1495 + Board_1691 + Board_1887 + Board_2083 + Board_2279 + Board_2475 + Board_2671 + Columns_123 = 1
inv : 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_89 = 1
inv : Board_135 + Board_331 + Board_527 + Board_723 + Board_919 + Board_1115 + Board_1311 + Board_1507 + Board_1703 + Board_1899 + Board_2095 + Board_2291 + Board_2487 + Board_2683 + Columns_135 = 1
inv : Board_2338 + Board_2339 + Board_2340 + Board_2341 + Board_2342 + Board_2343 + Board_2344 + Board_2345 + Board_2346 + Board_2347 + Board_2348 + Board_2349 + Board_2350 + Board_2351 + Cells_167 = 1
inv : Board_1750 + Board_1751 + Board_1752 + Board_1753 + Board_1754 + Board_1755 + Board_1756 + Board_1757 + Board_1758 + Board_1759 + Board_1760 + Board_1761 + Board_1762 + Board_1763 + Cells_125 = 1
inv : Rows_50 + Board_596 + Board_610 + Board_624 + Board_638 + Board_652 + Board_666 + Board_680 + Board_694 + Board_708 + Board_722 + Board_736 + Board_750 + Board_764 + Board_778 = 1
inv : Board_658 + Board_659 + Board_660 + Board_661 + Board_662 + Board_663 + Board_664 + Board_665 + Board_666 + Board_667 + Board_668 + Board_669 + Board_670 + Board_671 + Cells_47 = 1
inv : Rows_104 + Board_1378 + Board_1392 + Board_1406 + Board_1420 + Board_1434 + Board_1448 + Board_1462 + Board_1476 + Board_1490 + Board_1504 + Board_1518 + Board_1532 + Board_1546 + Board_1560 = 1
inv : Rows_17 + Board_199 + Board_213 + Board_227 + Board_241 + Board_255 + Board_269 + Board_283 + Board_297 + Board_311 + Board_325 + Board_339 + Board_353 + Board_367 + Board_381 = 1
inv : Board_742 + Board_743 + Board_744 + Board_745 + Board_746 + Board_747 + Board_748 + Board_749 + Board_750 + Board_751 + Board_752 + Board_753 + Board_754 + Board_755 + Cells_53 = 1
inv : Board_1834 + Board_1835 + Board_1836 + Board_1837 + Board_1838 + Board_1839 + Board_1840 + Board_1841 + Board_1842 + Board_1843 + Board_1844 + Board_1845 + Board_1846 + Board_1847 + Cells_131 = 1
inv : 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_59 = 1
inv : 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_119 = 1
inv : Rows_23 + Board_205 + Board_219 + Board_233 + Board_247 + Board_261 + Board_275 + Board_289 + Board_303 + Board_317 + Board_331 + Board_345 + Board_359 + Board_373 + Board_387 = 1
inv : Board_1078 + Board_1079 + Board_1080 + Board_1081 + Board_1082 + Board_1083 + Board_1084 + Board_1085 + Board_1086 + Board_1087 + Board_1088 + Board_1089 + Board_1090 + Board_1091 + Cells_77 = 1
inv : Board_1582 + Board_1583 + Board_1584 + Board_1585 + Board_1586 + Board_1587 + Board_1588 + Board_1589 + Board_1590 + Board_1591 + Board_1592 + Board_1593 + Board_1594 + Board_1595 + Cells_113 = 1
inv : Board_1162 + Board_1163 + Board_1164 + Board_1165 + Board_1166 + Board_1167 + Board_1168 + Board_1169 + Board_1170 + Board_1171 + Board_1172 + Board_1173 + Board_1174 + Board_1175 + Cells_83 = 1
inv : Board_1414 + Board_1415 + Board_1416 + Board_1417 + Board_1418 + Board_1419 + Board_1420 + Board_1421 + Board_1422 + Board_1423 + Board_1424 + Board_1425 + Board_1426 + Board_1427 + Cells_101 = 1
inv : Board_1330 + Board_1331 + Board_1332 + Board_1333 + Board_1334 + Board_1335 + Board_1336 + Board_1337 + Board_1338 + Board_1339 + Board_1340 + Board_1341 + Board_1342 + Board_1343 + Cells_95 = 1
inv : Rows_110 + Board_1384 + Board_1398 + Board_1412 + Board_1426 + Board_1440 + Board_1454 + Board_1468 + Board_1482 + Board_1496 + Board_1510 + Board_1524 + Board_1538 + Board_1552 + Board_1566 = 1
inv : Rows_83 + Board_993 + Board_1007 + Board_1021 + Board_1035 + Board_1049 + Board_1063 + Board_1077 + Board_1091 + Board_1105 + Board_1119 + Board_1133 + Board_1147 + Board_1161 + Board_1175 = 1
inv : Board_141 + Board_337 + Board_533 + Board_729 + Board_925 + Board_1121 + Board_1317 + Board_1513 + Board_1709 + Board_1905 + Board_2101 + Board_2297 + Board_2493 + Board_2689 + Columns_141 = 1
inv : Board_87 + Board_283 + Board_479 + Board_675 + Board_871 + Board_1067 + Board_1263 + Board_1459 + Board_1655 + Board_1851 + Board_2047 + Board_2243 + Board_2439 + Board_2635 + Columns_87 = 1
inv : Rows_140 + Board_1960 + Board_1974 + Board_1988 + Board_2002 + Board_2016 + Board_2030 + Board_2044 + Board_2058 + Board_2072 + Board_2086 + Board_2100 + Board_2114 + Board_2128 + Board_2142 = 1
inv : Board_43 + Board_239 + Board_435 + Board_631 + Board_827 + Board_1023 + Board_1219 + Board_1415 + Board_1611 + Board_1807 + Board_2003 + Board_2199 + Board_2395 + Board_2591 + Columns_43 = 1
inv : 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_29 = 1
inv : Board_1176 + Board_1177 + Board_1178 + Board_1179 + Board_1180 + Board_1181 + Board_1182 + Board_1183 + Board_1184 + Board_1185 + Board_1186 + Board_1187 + Board_1188 + Board_1189 + Cells_84 = 1
inv : Board_490 + Board_491 + Board_492 + Board_493 + Board_494 + Board_495 + Board_496 + Board_497 + Board_498 + Board_499 + Board_500 + Board_501 + Board_502 + Board_503 + Cells_35 = 1
inv : Rows_143 + Board_1963 + Board_1977 + Board_1991 + Board_2005 + Board_2019 + Board_2033 + Board_2047 + Board_2061 + Board_2075 + Board_2089 + Board_2103 + Board_2117 + Board_2131 + Board_2145 = 1
inv : Rows_128 + Board_1766 + Board_1780 + Board_1794 + Board_1808 + Board_1822 + Board_1836 + Board_1850 + Board_1864 + Board_1878 + Board_1892 + Board_1906 + Board_1920 + Board_1934 + Board_1948 = 1
inv : Board_574 + Board_575 + Board_576 + Board_577 + Board_578 + Board_579 + Board_580 + Board_581 + Board_582 + Board_583 + Board_584 + Board_585 + Board_586 + Board_587 + Cells_41 = 1
inv : Board_34 + Board_230 + Board_426 + Board_622 + Board_818 + Board_1014 + Board_1210 + Board_1406 + Board_1602 + Board_1798 + Board_1994 + Board_2190 + Board_2386 + Board_2582 + Columns_34 = 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 + Cells_90 = 1
inv : Board_31 + Board_227 + Board_423 + Board_619 + Board_815 + Board_1011 + Board_1207 + Board_1403 + Board_1599 + Board_1795 + Board_1991 + Board_2187 + Board_2383 + Board_2579 + Columns_31 = 1
inv : Board_1092 + Board_1093 + Board_1094 + Board_1095 + Board_1096 + Board_1097 + Board_1098 + Board_1099 + Board_1100 + Board_1101 + Board_1102 + Board_1103 + Board_1104 + Board_1105 + Cells_78 = 1
inv : Board_90 + Board_286 + Board_482 + Board_678 + Board_874 + Board_1070 + Board_1266 + Board_1462 + Board_1658 + Board_1854 + Board_2050 + Board_2246 + Board_2442 + Board_2638 + Columns_90 = 1
inv : Board_924 + Board_925 + Board_926 + Board_927 + Board_928 + Board_929 + Board_930 + Board_931 + Board_932 + Board_933 + Board_934 + Board_935 + Board_936 + Board_937 + Cells_66 = 1
inv : Board_322 + Board_323 + Board_324 + Board_325 + Board_326 + Board_327 + Board_328 + Board_329 + Board_330 + Board_331 + Board_332 + Board_333 + Board_334 + Board_335 + Cells_23 = 1
inv : Board_1008 + Board_1009 + Board_1010 + Board_1011 + Board_1012 + Board_1013 + Board_1014 + Board_1015 + Board_1016 + Board_1017 + Board_1018 + Board_1019 + Board_1020 + Board_1021 + Cells_72 = 1
inv : Board_238 + Board_239 + Board_240 + Board_241 + Board_242 + Board_243 + Board_244 + Board_245 + Board_246 + Board_247 + Board_248 + Board_249 + Board_250 + Board_251 + Cells_17 = 1
inv : Board_1428 + Board_1429 + Board_1430 + Board_1431 + Board_1432 + Board_1433 + Board_1434 + Board_1435 + Board_1436 + Board_1437 + Board_1438 + Board_1439 + Board_1440 + Board_1441 + Cells_102 = 1
inv : Board_154 + Board_155 + Board_156 + Board_157 + Board_158 + Board_159 + Board_160 + Board_161 + Board_162 + Board_163 + Board_164 + Board_165 + Board_166 + Board_167 + Cells_11 = 1
inv : Rows_113 + Board_1569 + Board_1583 + Board_1597 + Board_1611 + Board_1625 + Board_1639 + Board_1653 + Board_1667 + Board_1681 + Board_1695 + Board_1709 + Board_1723 + Board_1737 + Board_1751 = 1
inv : Board_102 + Board_298 + Board_494 + Board_690 + Board_886 + Board_1082 + Board_1278 + Board_1474 + Board_1670 + Board_1866 + Board_2062 + Board_2258 + Board_2454 + Board_2650 + Columns_102 = 1
inv : Board_99 + Board_295 + Board_491 + Board_687 + Board_883 + Board_1079 + Board_1275 + Board_1471 + Board_1667 + Board_1863 + Board_2059 + Board_2255 + Board_2451 + Board_2647 + Columns_99 = 1
inv : Rows_170 + Board_2354 + Board_2368 + Board_2382 + Board_2396 + Board_2410 + Board_2424 + Board_2438 + Board_2452 + Board_2466 + Board_2480 + Board_2494 + Board_2508 + Board_2522 + Board_2536 = 1
inv : Board_1344 + Board_1345 + Board_1346 + Board_1347 + Board_1348 + Board_1349 + Board_1350 + Board_1351 + Board_1352 + Board_1353 + Board_1354 + Board_1355 + Board_1356 + Board_1357 + Cells_96 = 1
inv : Board_22 + Board_218 + Board_414 + Board_610 + Board_806 + Board_1002 + Board_1198 + Board_1394 + Board_1590 + Board_1786 + Board_1982 + Board_2178 + Board_2374 + Board_2570 + Columns_22 = 1
inv : Board_14 + 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 + Cells_1 = 1
inv : Board_98 + Board_99 + Board_100 + Board_101 + Board_102 + Board_103 + Board_104 + Board_105 + Board_106 + Board_107 + Board_108 + Board_109 + Board_110 + Board_111 + Cells_7 = 1
inv : Board_19 + Board_215 + Board_411 + Board_607 + Board_803 + Board_999 + Board_1195 + Board_1391 + Board_1587 + Board_1783 + Board_1979 + Board_2175 + Board_2371 + Board_2567 + Columns_19 = 1
inv : Rows_116 + Board_1572 + Board_1586 + Board_1600 + Board_1614 + Board_1628 + Board_1642 + Board_1656 + Board_1670 + Board_1684 + Board_1698 + Board_1712 + Board_1726 + Board_1740 + Board_1754 = 1
inv : Board_1512 + Board_1513 + Board_1514 + Board_1515 + Board_1516 + Board_1517 + Board_1518 + Board_1519 + Board_1520 + Board_1521 + Board_1522 + Board_1523 + Board_1524 + Board_1525 + Cells_108 = 1
inv : Board_111 + Board_307 + Board_503 + Board_699 + Board_895 + Board_1091 + Board_1287 + Board_1483 + Board_1679 + Board_1875 + Board_2071 + Board_2267 + Board_2463 + Board_2659 + Columns_111 = 1
inv : Rows_187 + Board_2553 + Board_2567 + Board_2581 + Board_2595 + Board_2609 + Board_2623 + Board_2637 + Board_2651 + Board_2665 + Board_2679 + Board_2693 + Board_2707 + Board_2721 + Board_2735 = 1
inv : Rows_125 + Board_1581 + Board_1595 + Board_1609 + Board_1623 + Board_1637 + Board_1651 + Board_1665 + Board_1679 + Board_1693 + Board_1707 + Board_1721 + Board_1735 + Board_1749 + Board_1763 = 1
inv : Rows_179 + Board_2363 + Board_2377 + Board_2391 + Board_2405 + Board_2419 + Board_2433 + Board_2447 + Board_2461 + Board_2475 + Board_2489 + Board_2503 + Board_2517 + Board_2531 + Board_2545 = 1
inv : Rows_184 + Board_2550 + Board_2564 + Board_2578 + Board_2592 + Board_2606 + Board_2620 + Board_2634 + Board_2648 + Board_2662 + Board_2676 + Board_2690 + Board_2704 + Board_2718 + Board_2732 = 1
inv : Rows_152 + Board_1972 + Board_1986 + Board_2000 + Board_2014 + Board_2028 + Board_2042 + Board_2056 + Board_2070 + Board_2084 + Board_2098 + Board_2112 + Board_2126 + Board_2140 + Board_2154 = 1
inv : Rows_86 + Board_1178 + Board_1192 + Board_1206 + Board_1220 + Board_1234 + Board_1248 + Board_1262 + Board_1276 + Board_1290 + Board_1304 + Board_1318 + Board_1332 + Board_1346 + Board_1360 = 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 + Cells_120 = 1
inv : Board_588 + Board_589 + Board_590 + Board_591 + Board_592 + Board_593 + Board_594 + Board_595 + Board_596 + Board_597 + Board_598 + Board_599 + Board_600 + Board_601 + Cells_42 = 1
inv : Board_7 + Board_203 + Board_399 + Board_595 + Board_791 + Board_987 + Board_1183 + Board_1379 + Board_1575 + Board_1771 + Board_1967 + Board_2163 + Board_2359 + Board_2555 + Columns_7 = 1
inv : Board_672 + Board_673 + Board_674 + Board_675 + Board_676 + Board_677 + Board_678 + Board_679 + Board_680 + Board_681 + Board_682 + Board_683 + Board_684 + Board_685 + Cells_48 = 1
inv : Board_1764 + Board_1765 + Board_1766 + Board_1767 + Board_1768 + Board_1769 + Board_1770 + Board_1771 + Board_1772 + Board_1773 + Board_1774 + Board_1775 + Board_1776 + Board_1777 + Cells_126 = 1
inv : Board_189 + Board_385 + Board_581 + Board_777 + Board_973 + Board_1169 + Board_1365 + Board_1561 + Board_1757 + Board_1953 + Board_2149 + Board_2345 + Board_2541 + Board_2737 + Columns_189 = 1
inv : Rows_160 + Board_2162 + Board_2176 + Board_2190 + Board_2204 + Board_2218 + Board_2232 + Board_2246 + Board_2260 + Board_2274 + Board_2288 + Board_2302 + Board_2316 + Board_2330 + Board_2344 = 1
inv : Rows_182 + Board_2548 + Board_2562 + Board_2576 + Board_2590 + Board_2604 + Board_2618 + Board_2632 + Board_2646 + Board_2660 + Board_2674 + Board_2688 + Board_2702 + Board_2716 + Board_2730 = 1
inv : Board_504 + Board_505 + Board_506 + Board_507 + Board_508 + Board_509 + Board_510 + Board_511 + Board_512 + Board_513 + Board_514 + Board_515 + Board_516 + Board_517 + Cells_36 = 1
inv : Board_1596 + Board_1597 + Board_1598 + Board_1599 + Board_1600 + Board_1601 + Board_1602 + Board_1603 + Board_1604 + Board_1605 + Board_1606 + Board_1607 + Board_1608 + Board_1609 + Cells_114 = 1
inv : Rows_74 + Board_984 + Board_998 + Board_1012 + Board_1026 + Board_1040 + Board_1054 + Board_1068 + Board_1082 + Board_1096 + Board_1110 + Board_1124 + Board_1138 + Board_1152 + Board_1166 = 1
inv : Board_114 + Board_310 + Board_506 + Board_702 + Board_898 + Board_1094 + Board_1290 + Board_1486 + Board_1682 + Board_1878 + Board_2074 + Board_2270 + Board_2466 + Board_2662 + Columns_114 = 1
inv : Board_756 + Board_757 + Board_758 + Board_759 + Board_760 + Board_761 + Board_762 + Board_763 + Board_764 + Board_765 + Board_766 + Board_767 + Board_768 + Board_769 + Cells_54 = 1
inv : Board_126 + Board_322 + Board_518 + Board_714 + Board_910 + Board_1106 + Board_1302 + Board_1498 + Board_1694 + Board_1890 + Board_2086 + Board_2282 + Board_2478 + Board_2674 + Columns_126 = 1
inv : Board_70 + Board_266 + Board_462 + Board_658 + Board_854 + Board_1050 + Board_1246 + Board_1442 + Board_1638 + Board_1834 + Board_2030 + Board_2226 + Board_2422 + Board_2618 + Columns_70 = 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 + Cells_60 = 1
inv : Board_51 + Board_247 + Board_443 + Board_639 + Board_835 + Board_1031 + Board_1227 + Board_1423 + Board_1619 + Board_1815 + Board_2011 + Board_2207 + Board_2403 + Board_2599 + Columns_51 = 1
inv : Board_336 + Board_337 + Board_338 + Board_339 + Board_340 + Board_341 + Board_342 + Board_343 + Board_344 + Board_345 + Board_346 + Board_347 + Board_348 + Board_349 + Cells_24 = 1
inv : Board_58 + Board_254 + Board_450 + Board_646 + Board_842 + Board_1038 + Board_1234 + Board_1430 + Board_1626 + Board_1822 + Board_2018 + Board_2214 + Board_2410 + Board_2606 + Columns_58 = 1
inv : Board_138 + Board_334 + Board_530 + Board_726 + Board_922 + Board_1118 + Board_1314 + Board_1510 + Board_1706 + Board_1902 + Board_2098 + Board_2294 + Board_2490 + Board_2686 + Columns_138 = 1
inv : Board_252 + Board_253 + Board_254 + Board_255 + Board_256 + Board_257 + Board_258 + Board_259 + Board_260 + Board_261 + Board_262 + Board_263 + Board_264 + Board_265 + Cells_18 = 1
inv : Rows_155 + Board_2157 + Board_2171 + Board_2185 + Board_2199 + Board_2213 + Board_2227 + Board_2241 + Board_2255 + Board_2269 + Board_2283 + Board_2297 + Board_2311 + Board_2325 + Board_2339 = 1
inv : Rows_101 + Board_1375 + Board_1389 + Board_1403 + Board_1417 + Board_1431 + Board_1445 + Board_1459 + Board_1473 + Board_1487 + Board_1501 + Board_1515 + Board_1529 + Board_1543 + Board_1557 = 1
inv : Rows_47 + Board_593 + Board_607 + Board_621 + Board_635 + Board_649 + Board_663 + Board_677 + Board_691 + Board_705 + Board_719 + Board_733 + Board_747 + Board_761 + Board_775 = 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 + Cells_30 = 1
inv : Board_63 + Board_259 + Board_455 + Board_651 + Board_847 + Board_1043 + Board_1239 + Board_1435 + Board_1631 + Board_1827 + Board_2023 + Board_2219 + Board_2415 + Board_2611 + Columns_63 = 1
inv : Rows_20 + Board_202 + Board_216 + Board_230 + Board_244 + Board_258 + Board_272 + Board_286 + Board_300 + Board_314 + Board_328 + Board_342 + Board_356 + Board_370 + Board_384 = 1
inv : Board_168 + Board_169 + Board_170 + Board_171 + Board_172 + Board_173 + Board_174 + Board_175 + Board_176 + Board_177 + Board_178 + Board_179 + Board_180 + Board_181 + Cells_12 = 1
inv : Rows_118 + Board_1574 + Board_1588 + Board_1602 + Board_1616 + Board_1630 + Board_1644 + Board_1658 + Board_1672 + Board_1686 + Board_1700 + Board_1714 + Board_1728 + Board_1742 + Board_1756 = 1
inv : Rows_145 + Board_1965 + Board_1979 + Board_1993 + Board_2007 + Board_2021 + Board_2035 + Board_2049 + Board_2063 + Board_2077 + Board_2091 + Board_2105 + Board_2119 + Board_2133 + Board_2147 = 1
inv : Rows_172 + Board_2356 + Board_2370 + Board_2384 + Board_2398 + Board_2412 + Board_2426 + Board_2440 + Board_2454 + Board_2468 + Board_2482 + Board_2496 + Board_2510 + Board_2524 + Board_2538 = 1
inv : Board_75 + Board_271 + Board_467 + Board_663 + Board_859 + Board_1055 + Board_1251 + Board_1447 + Board_1643 + Board_1839 + Board_2035 + Board_2231 + Board_2427 + Board_2623 + Columns_75 = 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 + Cells_0 = 1
inv : Rows_167 + Board_2169 + Board_2183 + Board_2197 + Board_2211 + Board_2225 + Board_2239 + Board_2253 + Board_2267 + Board_2281 + Board_2295 + Board_2309 + Board_2323 + Board_2337 + Board_2351 = 1
inv : Board_46 + Board_242 + Board_438 + Board_634 + Board_830 + Board_1026 + Board_1222 + Board_1418 + Board_1614 + Board_1810 + Board_2006 + Board_2202 + Board_2398 + Board_2594 + Columns_46 = 1
inv : Rows_194 + Board_2560 + Board_2574 + Board_2588 + Board_2602 + Board_2616 + Board_2630 + Board_2644 + Board_2658 + Board_2672 + Board_2686 + Board_2700 + Board_2714 + Board_2728 + Board_2742 = 1
inv : Board_21 + Board_217 + Board_413 + Board_609 + Board_805 + Board_1001 + Board_1197 + Board_1393 + Board_1589 + Board_1785 + Board_1981 + Board_2177 + Board_2373 + Board_2569 + Columns_21 = 1
inv : Rows_97 + Board_1189 + Board_1203 + Board_1217 + Board_1231 + Board_1245 + Board_1259 + Board_1273 + Board_1287 + Board_1301 + Board_1315 + Board_1329 + Board_1343 + Board_1357 + Board_1371 = 1
inv : Board_770 + Board_771 + Board_772 + Board_773 + Board_774 + Board_775 + Board_776 + Board_777 + Board_778 + Board_779 + Board_780 + Board_781 + Board_782 + Board_783 + Cells_55 = 1
inv : Board_2268 + Board_2269 + Board_2270 + Board_2271 + Board_2272 + Board_2273 + Board_2274 + Board_2275 + Board_2276 + Board_2277 + Board_2278 + Board_2279 + Board_2280 + Board_2281 + Cells_162 = 1
inv : Board_194 + Board_390 + Board_586 + Board_782 + Board_978 + Board_1174 + Board_1370 + Board_1566 + Board_1762 + Board_1958 + Board_2154 + Board_2350 + Board_2546 + Board_2742 + Columns_194 = 1
inv : Board_112 + Board_308 + Board_504 + Board_700 + Board_896 + Board_1092 + Board_1288 + Board_1484 + Board_1680 + Board_1876 + Board_2072 + Board_2268 + Board_2464 + Board_2660 + Columns_112 = 1
inv : Board_191 + Board_387 + Board_583 + Board_779 + Board_975 + Board_1171 + Board_1367 + Board_1563 + Board_1759 + Board_1955 + Board_2151 + Board_2347 + Board_2543 + Board_2739 + Columns_191 = 1
inv : Rows_109 + Board_1383 + Board_1397 + Board_1411 + Board_1425 + Board_1439 + Board_1453 + Board_1467 + Board_1481 + Board_1495 + Board_1509 + Board_1523 + Board_1537 + Board_1551 + Board_1565 = 1
inv : Board_103 + Board_299 + Board_495 + Board_691 + Board_887 + Board_1083 + Board_1279 + Board_1475 + Board_1671 + Board_1867 + Board_2063 + Board_2259 + Board_2455 + Board_2651 + Columns_103 = 1
inv : Board_12 + Board_208 + Board_404 + Board_600 + Board_796 + Board_992 + Board_1188 + Board_1384 + Board_1580 + Board_1776 + Board_1972 + Board_2168 + Board_2364 + Board_2560 + Columns_12 = 1
inv : Board_185 + Board_381 + Board_577 + Board_773 + Board_969 + Board_1165 + Board_1361 + Board_1557 + Board_1753 + Board_1949 + Board_2145 + Board_2341 + Board_2537 + Board_2733 + Columns_185 = 1
inv : Board_97 + Board_293 + Board_489 + Board_685 + Board_881 + Board_1077 + Board_1273 + Board_1469 + Board_1665 + Board_1861 + Board_2057 + Board_2253 + Board_2449 + Board_2645 + Columns_97 = 1
inv : Board_15 + Board_211 + Board_407 + Board_603 + Board_799 + Board_995 + Board_1191 + Board_1387 + Board_1583 + Board_1779 + Board_1975 + Board_2171 + Board_2367 + Board_2563 + Columns_15 = 1
inv : Board_1064 + 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 + Cells_76 = 1
inv : Board_36 + Board_232 + Board_428 + Board_624 + Board_820 + Board_1016 + Board_1212 + Board_1408 + Board_1604 + Board_1800 + Board_1996 + Board_2192 + Board_2388 + Board_2584 + Columns_36 = 1
inv : Board_1974 + Board_1975 + Board_1976 + Board_1977 + Board_1978 + Board_1979 + Board_1980 + Board_1981 + Board_1982 + Board_1983 + Board_1984 + Board_1985 + Board_1986 + Board_1987 + Cells_141 = 1
inv : Board_2478 + Board_2479 + Board_2480 + Board_2481 + Board_2482 + Board_2483 + Board_2484 + Board_2485 + Board_2486 + Board_2487 + Board_2488 + Board_2489 + Board_2490 + Board_2491 + Cells_177 = 1
inv : Board_1932 + Board_1933 + Board_1934 + Board_1935 + Board_1936 + Board_1937 + Board_1938 + Board_1939 + Board_1940 + Board_1941 + Board_1942 + Board_1943 + Board_1944 + Board_1945 + Cells_138 = 1
inv : Rows_130 + Board_1768 + Board_1782 + Board_1796 + Board_1810 + Board_1824 + Board_1838 + Board_1852 + Board_1866 + Board_1880 + Board_1894 + Board_1908 + Board_1922 + Board_1936 + Board_1950 = 1
inv : Board_94 + Board_290 + Board_486 + Board_682 + Board_878 + Board_1074 + Board_1270 + Board_1466 + Board_1662 + Board_1858 + Board_2054 + Board_2250 + Board_2446 + Board_2642 + Columns_94 = 1
inv : Rows_76 + Board_986 + Board_1000 + Board_1014 + Board_1028 + Board_1042 + Board_1056 + Board_1070 + Board_1084 + Board_1098 + Board_1112 + Board_1126 + Board_1140 + Board_1154 + Board_1168 = 1
inv : Board_39 + Board_235 + Board_431 + Board_627 + Board_823 + Board_1019 + Board_1215 + Board_1411 + Board_1607 + Board_1803 + Board_1999 + Board_2195 + Board_2391 + Board_2587 + Columns_39 = 1
inv : Board_88 + Board_284 + Board_480 + Board_676 + Board_872 + Board_1068 + Board_1264 + Board_1460 + Board_1656 + Board_1852 + Board_2048 + Board_2244 + Board_2440 + Board_2636 + Columns_88 = 1
inv : Board_2436 + Board_2437 + Board_2438 + Board_2439 + Board_2440 + Board_2441 + Board_2442 + Board_2443 + Board_2444 + Board_2445 + Board_2446 + Board_2447 + Board_2448 + Board_2449 + Cells_174 = 1
inv : Rows_79 + Board_989 + Board_1003 + Board_1017 + Board_1031 + Board_1045 + Board_1059 + Board_1073 + Board_1087 + Board_1101 + Board_1115 + Board_1129 + Board_1143 + Board_1157 + Board_1171 = 1
inv : Rows_0 + Board_0 + Board_14 + Board_28 + Board_42 + Board_56 + Board_70 + Board_84 + Board_98 + Board_112 + Board_126 + Board_140 + Board_154 + Board_168 + Board_182 = 1
inv : Rows_133 + Board_1771 + Board_1785 + Board_1799 + Board_1813 + Board_1827 + Board_1841 + Board_1855 + Board_1869 + Board_1883 + Board_1897 + Board_1911 + Board_1925 + Board_1939 + Board_1953 = 1
inv : Board_2604 + Board_2605 + Board_2606 + Board_2607 + Board_2608 + Board_2609 + Board_2610 + Board_2611 + Board_2612 + Board_2613 + Board_2614 + Board_2615 + Board_2616 + Board_2617 + Cells_186 = 1
inv : Board_1106 + Board_1107 + Board_1108 + Board_1109 + Board_1110 + Board_1111 + Board_1112 + Board_1113 + Board_1114 + Board_1115 + Board_1116 + Board_1117 + Board_1118 + Board_1119 + Cells_79 = 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 + Cells_150 = 1
inv : Board_938 + Board_939 + Board_940 + Board_941 + Board_942 + Board_943 + Board_944 + Board_945 + Board_946 + Board_947 + Board_948 + Board_949 + Board_950 + Board_951 + Cells_67 = 1
inv : 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 + Board_405 + Cells_28 = 1
inv : Board_896 + Board_897 + Board_898 + Board_899 + Board_900 + Board_901 + Board_902 + Board_903 + Board_904 + Board_905 + Board_906 + Board_907 + Board_908 + Board_909 + Cells_64 = 1
inv : Board_1806 + Board_1807 + Board_1808 + Board_1809 + Board_1810 + Board_1811 + Board_1812 + Board_1813 + Board_1814 + Board_1815 + Board_1816 + Board_1817 + Board_1818 + Board_1819 + Cells_129 = 1
inv : Board_30 + Board_226 + Board_422 + Board_618 + Board_814 + Board_1010 + Board_1206 + Board_1402 + Board_1598 + Board_1794 + Board_1990 + Board_2186 + Board_2382 + Board_2578 + Columns_30 = 1
inv : Board_728 + Board_729 + Board_730 + Board_731 + Board_732 + Board_733 + Board_734 + Board_735 + Board_736 + Board_737 + Board_738 + Board_739 + Board_740 + Board_741 + Cells_52 = 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 + Cells_165 = 1
inv : Board_79 + Board_275 + Board_471 + Board_667 + Board_863 + Board_1059 + Board_1255 + Board_1451 + Board_1647 + Board_1843 + Board_2039 + Board_2235 + Board_2431 + Board_2627 + Columns_79 = 1
inv : Board_434 + 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 + Cells_31 = 1
inv : Board_560 + Board_561 + Board_562 + Board_563 + Board_564 + Board_565 + Board_566 + Board_567 + Board_568 + Board_569 + Board_570 + Board_571 + Board_572 + Board_573 + Cells_40 = 1
inv : Board_2142 + Board_2143 + Board_2144 + Board_2145 + Board_2146 + Board_2147 + Board_2148 + Board_2149 + Board_2150 + Board_2151 + Board_2152 + Board_2153 + Board_2154 + Board_2155 + Cells_153 = 1
inv : Rows_100 + Board_1374 + Board_1388 + Board_1402 + Board_1416 + Board_1430 + Board_1444 + Board_1458 + Board_1472 + Board_1486 + Board_1500 + Board_1514 + Board_1528 + Board_1542 + Board_1556 = 1
inv : Rows_70 + Board_980 + Board_994 + Board_1008 + Board_1022 + Board_1036 + Board_1050 + Board_1064 + Board_1078 + Board_1092 + Board_1106 + Board_1120 + Board_1134 + Board_1148 + Board_1162 = 1
inv : Rows_154 + Board_2156 + Board_2170 + Board_2184 + Board_2198 + Board_2212 + Board_2226 + Board_2240 + Board_2254 + Board_2268 + Board_2282 + Board_2296 + Board_2310 + Board_2324 + Board_2338 = 1
inv : 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 + Board_615 + Cells_43 = 1
inv : Board_54 + Board_250 + Board_446 + Board_642 + Board_838 + Board_1034 + Board_1230 + Board_1426 + Board_1622 + Board_1818 + Board_2014 + Board_2210 + Board_2406 + Board_2602 + Columns_54 = 1
inv : Board_266 + Board_267 + Board_268 + Board_269 + Board_270 + Board_271 + Board_272 + Board_273 + Board_274 + Board_275 + Board_276 + Board_277 + Board_278 + Board_279 + Cells_19 = 1
inv : Board_142 + Board_338 + Board_534 + Board_730 + Board_926 + Board_1122 + Board_1318 + Board_1514 + Board_1710 + Board_1906 + Board_2102 + Board_2298 + Board_2494 + Board_2690 + Columns_142 = 1
inv : Board_224 + 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 + Cells_16 = 1
inv : Board_60 + Board_256 + Board_452 + Board_648 + Board_844 + Board_1040 + Board_1236 + Board_1432 + Board_1628 + Board_1824 + Board_2020 + Board_2216 + Board_2412 + Board_2608 + Columns_60 = 1
inv : Rows_163 + Board_2165 + Board_2179 + Board_2193 + Board_2207 + Board_2221 + Board_2235 + Board_2249 + Board_2263 + Board_2277 + Board_2291 + Board_2305 + Board_2319 + Board_2333 + Board_2347 = 1
inv : Board_2646 + Board_2647 + Board_2648 + Board_2649 + Board_2650 + Board_2651 + Board_2652 + Board_2653 + Board_2654 + Board_2655 + Board_2656 + Board_2657 + Board_2658 + Board_2659 + Cells_189 = 1
inv : Board_73 + Board_269 + Board_465 + Board_661 + Board_857 + Board_1053 + Board_1249 + Board_1445 + Board_1641 + Board_1837 + Board_2033 + Board_2229 + Board_2425 + Board_2621 + Columns_73 = 1
inv : Board_28 + Board_29 + Board_30 + Board_31 + Board_32 + Board_33 + Board_34 + Board_35 + Board_36 + Board_37 + Board_38 + Board_39 + Board_40 + Board_41 + Cells_2 = 1
inv : Rows_55 + Board_601 + Board_615 + Board_629 + Board_643 + Board_657 + Board_671 + Board_685 + Board_699 + Board_713 + Board_727 + Board_741 + Board_755 + Board_769 + Board_783 = 1
inv : Board_152 + Board_348 + Board_544 + Board_740 + Board_936 + Board_1132 + Board_1328 + Board_1524 + Board_1720 + Board_1916 + Board_2112 + Board_2308 + Board_2504 + Board_2700 + Columns_152 = 1
inv : Rows_33 + Board_397 + Board_411 + Board_425 + Board_439 + Board_453 + Board_467 + Board_481 + Board_495 + Board_509 + Board_523 + Board_537 + Board_551 + Board_565 + Board_579 = 1
inv : Board_136 + Board_332 + Board_528 + Board_724 + Board_920 + Board_1116 + Board_1312 + Board_1508 + Board_1704 + Board_1900 + Board_2096 + Board_2292 + Board_2488 + Board_2684 + Columns_136 = 1
inv : Rows_28 + Board_392 + Board_406 + Board_420 + Board_434 + Board_448 + Board_462 + Board_476 + Board_490 + Board_504 + Board_518 + Board_532 + Board_546 + Board_560 + Board_574 = 1
inv : Rows_175 + Board_2359 + Board_2373 + Board_2387 + Board_2401 + Board_2415 + Board_2429 + Board_2443 + Board_2457 + Board_2471 + Board_2485 + Board_2499 + Board_2513 + Board_2527 + Board_2541 = 1
inv : Rows_45 + Board_591 + Board_605 + Board_619 + Board_633 + Board_647 + Board_661 + Board_675 + Board_689 + Board_703 + Board_717 + Board_731 + Board_745 + Board_759 + Board_773 = 1
inv : Rows_39 + Board_403 + Board_417 + Board_431 + Board_445 + Board_459 + Board_473 + Board_487 + Board_501 + Board_515 + Board_529 + Board_543 + Board_557 + Board_571 + Board_585 = 1
inv : Board_55 + Board_251 + Board_447 + Board_643 + Board_839 + Board_1035 + Board_1231 + Board_1427 + Board_1623 + Board_1819 + Board_2015 + Board_2211 + Board_2407 + Board_2603 + Columns_55 = 1
inv : Rows_13 + Board_13 + Board_27 + Board_41 + Board_55 + Board_69 + Board_83 + Board_97 + Board_111 + Board_125 + Board_139 + Board_153 + Board_167 + Board_181 + Board_195 = 1
inv : Rows_181 + Board_2365 + Board_2379 + Board_2393 + Board_2407 + Board_2421 + Board_2435 + Board_2449 + Board_2463 + Board_2477 + Board_2491 + Board_2505 + Board_2519 + Board_2533 + Board_2547 = 1
inv : Board_176 + Board_372 + Board_568 + Board_764 + Board_960 + Board_1156 + Board_1352 + Board_1548 + Board_1744 + Board_1940 + Board_2136 + Board_2332 + Board_2528 + Board_2724 + Columns_176 = 1
inv : Rows_121 + Board_1577 + Board_1591 + Board_1605 + Board_1619 + Board_1633 + Board_1647 + Board_1661 + Board_1675 + Board_1689 + Board_1703 + Board_1717 + Board_1731 + Board_1745 + Board_1759 = 1
inv : Rows_158 + Board_2160 + Board_2174 + Board_2188 + Board_2202 + Board_2216 + Board_2230 + Board_2244 + Board_2258 + Board_2272 + Board_2286 + Board_2300 + Board_2314 + Board_2328 + Board_2342 = 1
inv : Rows_67 + Board_795 + Board_809 + Board_823 + Board_837 + Board_851 + Board_865 + Board_879 + Board_893 + Board_907 + Board_921 + Board_935 + Board_949 + Board_963 + Board_977 = 1
inv : Rows_142 + Board_1962 + Board_1976 + Board_1990 + Board_2004 + Board_2018 + Board_2032 + Board_2046 + Board_2060 + Board_2074 + Board_2088 + Board_2102 + Board_2116 + Board_2130 + Board_2144 = 1
inv : Rows_88 + Board_1180 + Board_1194 + Board_1208 + Board_1222 + Board_1236 + Board_1250 + Board_1264 + Board_1278 + Board_1292 + Board_1306 + Board_1320 + Board_1334 + Board_1348 + Board_1362 = 1
inv : Board_78 + Board_274 + Board_470 + Board_666 + Board_862 + Board_1058 + Board_1254 + Board_1450 + Board_1646 + Board_1842 + Board_2038 + Board_2234 + Board_2430 + Board_2626 + Columns_78 = 1
inv : Board_49 + Board_245 + Board_441 + Board_637 + Board_833 + Board_1029 + Board_1225 + Board_1421 + Board_1617 + Board_1813 + Board_2009 + Board_2205 + Board_2401 + Board_2597 + Columns_49 = 1
inv : Board_170 + Board_366 + Board_562 + Board_758 + Board_954 + Board_1150 + Board_1346 + Board_1542 + Board_1738 + Board_1934 + Board_2130 + Board_2326 + Board_2522 + Board_2718 + Columns_170 = 1
inv : Rows_34 + Board_398 + Board_412 + Board_426 + Board_440 + Board_454 + Board_468 + Board_482 + Board_496 + Board_510 + Board_524 + Board_538 + Board_552 + Board_566 + Board_580 = 1
inv : Rows_164 + Board_2166 + Board_2180 + Board_2194 + Board_2208 + Board_2222 + Board_2236 + Board_2250 + Board_2264 + Board_2278 + Board_2292 + Board_2306 + Board_2320 + Board_2334 + Board_2348 = 1
inv : Board_118 + Board_314 + Board_510 + Board_706 + Board_902 + Board_1098 + Board_1294 + Board_1490 + Board_1686 + Board_1882 + Board_2078 + Board_2274 + Board_2470 + Board_2666 + Columns_118 = 1
inv : Rows_134 + Board_1772 + Board_1786 + Board_1800 + Board_1814 + Board_1828 + Board_1842 + Board_1856 + Board_1870 + Board_1884 + Board_1898 + Board_1912 + Board_1926 + Board_1940 + Board_1954 = 1
inv : Board_1134 + Board_1135 + Board_1136 + Board_1137 + Board_1138 + Board_1139 + Board_1140 + Board_1141 + Board_1142 + Board_1143 + Board_1144 + Board_1145 + Board_1146 + Board_1147 + Cells_81 = 1
inv : Board_84 + Board_280 + Board_476 + Board_672 + Board_868 + Board_1064 + Board_1260 + Board_1456 + Board_1652 + Board_1848 + Board_2044 + Board_2240 + Board_2436 + Board_2632 + Columns_84 = 1
inv : Board_1904 + 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 + Cells_136 = 1
inv : Board_175 + Board_371 + Board_567 + Board_763 + Board_959 + Board_1155 + Board_1351 + Board_1547 + Board_1743 + Board_1939 + Board_2135 + Board_2331 + Board_2527 + Board_2723 + Columns_175 = 1
inv : Rows_193 + Board_2559 + Board_2573 + Board_2587 + Board_2601 + Board_2615 + Board_2629 + Board_2643 + Board_2657 + Board_2671 + Board_2685 + Board_2699 + Board_2713 + Board_2727 + Board_2741 = 1
inv : Board_40 + Board_236 + Board_432 + Board_628 + Board_824 + Board_1020 + Board_1216 + Board_1412 + Board_1608 + Board_1804 + Board_2000 + Board_2196 + Board_2392 + Board_2588 + Columns_40 = 1
inv : Board_137 + Board_333 + Board_529 + Board_725 + Board_921 + Board_1117 + Board_1313 + Board_1509 + Board_1705 + Board_1901 + Board_2097 + Board_2293 + Board_2489 + Board_2685 + Columns_137 = 1
inv : Board_166 + Board_362 + Board_558 + Board_754 + Board_950 + Board_1146 + Board_1342 + Board_1538 + Board_1734 + Board_1930 + Board_2126 + Board_2322 + Board_2518 + Board_2714 + Columns_166 = 1
inv : Rows_51 + Board_597 + Board_611 + Board_625 + Board_639 + Board_653 + Board_667 + Board_681 + Board_695 + Board_709 + Board_723 + Board_737 + Board_751 + Board_765 + Board_779 = 1
inv : Board_1736 + Board_1737 + Board_1738 + Board_1739 + Board_1740 + Board_1741 + Board_1742 + Board_1743 + Board_1744 + Board_1745 + Board_1746 + Board_1747 + Board_1748 + Board_1749 + Cells_124 = 1
inv : Board_532 + Board_533 + Board_534 + Board_535 + Board_536 + Board_537 + Board_538 + Board_539 + Board_540 + Board_541 + Board_542 + Board_543 + Board_544 + Board_545 + Cells_38 = 1
inv : Board_93 + Board_289 + Board_485 + Board_681 + Board_877 + Board_1073 + Board_1269 + Board_1465 + Board_1661 + Board_1857 + Board_2053 + Board_2249 + Board_2445 + Board_2641 + Columns_93 = 1
inv : Board_1302 + Board_1303 + Board_1304 + Board_1305 + Board_1306 + Board_1307 + Board_1308 + Board_1309 + Board_1310 + Board_1311 + Board_1312 + Board_1313 + Board_1314 + Board_1315 + Cells_93 = 1
inv : Board_364 + Board_365 + Board_366 + Board_367 + Board_368 + Board_369 + Board_370 + Board_371 + Board_372 + Board_373 + Board_374 + Board_375 + Board_376 + Board_377 + Cells_26 = 1
inv : Rows_87 + Board_1179 + Board_1193 + Board_1207 + Board_1221 + Board_1235 + Board_1249 + Board_1263 + Board_1277 + Board_1291 + Board_1305 + Board_1319 + Board_1333 + Board_1347 + Board_1361 = 1
inv : Board_2674 + Board_2675 + Board_2676 + Board_2677 + Board_2678 + Board_2679 + Board_2680 + Board_2681 + Board_2682 + Board_2683 + Board_2684 + Board_2685 + Board_2686 + Board_2687 + Cells_191 = 1
inv : Rows_75 + Board_985 + Board_999 + Board_1013 + Board_1027 + Board_1041 + Board_1055 + Board_1069 + Board_1083 + Board_1097 + Board_1111 + Board_1125 + Board_1139 + Board_1153 + Board_1167 = 1
inv : 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_14 = 1
inv : 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_179 = 1
inv : Board_966 + Board_967 + Board_968 + Board_969 + Board_970 + Board_971 + Board_972 + Board_973 + Board_974 + Board_975 + Board_976 + Board_977 + Board_978 + Board_979 + Cells_69 = 1
inv : Board_146 + Board_342 + Board_538 + Board_734 + Board_930 + Board_1126 + Board_1322 + Board_1518 + Board_1714 + Board_1910 + Board_2106 + Board_2302 + Board_2498 + Board_2694 + Columns_146 = 1
inv : Rows_63 + Board_791 + Board_805 + Board_819 + Board_833 + Board_847 + Board_861 + Board_875 + Board_889 + Board_903 + Board_917 + Board_931 + Board_945 + Board_959 + Board_973 = 1
inv : Board_113 + Board_309 + Board_505 + Board_701 + Board_897 + Board_1093 + Board_1289 + Board_1485 + Board_1681 + Board_1877 + Board_2073 + Board_2269 + Board_2465 + Board_2661 + Columns_113 = 1
inv : Board_25 + Board_221 + Board_417 + Board_613 + Board_809 + Board_1005 + Board_1201 + Board_1397 + Board_1593 + Board_1789 + Board_1985 + Board_2181 + Board_2377 + Board_2573 + Columns_25 = 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 + Cells_105 = 1
inv : Board_56 + Board_57 + Board_58 + Board_59 + Board_60 + Board_61 + Board_62 + Board_63 + Board_64 + Board_65 + Board_66 + Board_67 + Board_68 + Board_69 + Cells_4 = 1
inv : Board_122 + Board_318 + Board_514 + Board_710 + Board_906 + Board_1102 + Board_1298 + Board_1494 + Board_1690 + Board_1886 + Board_2082 + Board_2278 + Board_2474 + Board_2670 + Columns_122 = 1
inv : Rows_146 + Board_1966 + Board_1980 + Board_1994 + Board_2008 + Board_2022 + Board_2036 + Board_2050 + Board_2064 + Board_2078 + Board_2092 + Board_2106 + Board_2120 + Board_2134 + Board_2148 = 1
inv : Board_151 + Board_347 + Board_543 + Board_739 + Board_935 + Board_1131 + Board_1327 + Board_1523 + Board_1719 + Board_1915 + Board_2111 + Board_2307 + Board_2503 + Board_2699 + Columns_151 = 1
inv : Rows_122 + Board_1578 + Board_1592 + Board_1606 + Board_1620 + Board_1634 + Board_1648 + Board_1662 + Board_1676 + Board_1690 + Board_1704 + Board_1718 + Board_1732 + Board_1746 + Board_1760 = 1
inv : Rows_176 + Board_2360 + Board_2374 + Board_2388 + Board_2402 + Board_2416 + Board_2430 + Board_2444 + Board_2458 + Board_2472 + Board_2486 + Board_2500 + Board_2514 + Board_2528 + Board_2542 = 1
inv : Board_16 + Board_212 + Board_408 + Board_604 + Board_800 + Board_996 + Board_1192 + Board_1388 + Board_1584 + Board_1780 + Board_1976 + Board_2172 + Board_2368 + Board_2564 + Columns_16 = 1
inv : Rows_92 + Board_1184 + Board_1198 + Board_1212 + Board_1226 + Board_1240 + Board_1254 + Board_1268 + Board_1282 + Board_1296 + Board_1310 + Board_1324 + Board_1338 + Board_1352 + Board_1366 = 1
inv : Board_108 + Board_304 + Board_500 + Board_696 + Board_892 + Board_1088 + Board_1284 + Board_1480 + Board_1676 + Board_1872 + Board_2068 + Board_2264 + Board_2460 + Board_2656 + Columns_108 = 1
inv : Rows_16 + Board_198 + Board_212 + Board_226 + Board_240 + Board_254 + Board_268 + Board_282 + Board_296 + Board_310 + Board_324 + Board_338 + Board_352 + Board_366 + Board_380 = 1
inv : Rows_188 + Board_2554 + Board_2568 + Board_2582 + Board_2596 + Board_2610 + Board_2624 + Board_2638 + Board_2652 + Board_2666 + Board_2680 + Board_2694 + Board_2708 + Board_2722 + Board_2736 = 1
inv : Rows_117 + Board_1573 + Board_1587 + Board_1601 + Board_1615 + Board_1629 + Board_1643 + Board_1657 + Board_1671 + Board_1685 + Board_1699 + Board_1713 + Board_1727 + Board_1741 + Board_1755 = 1
inv : Rows_80 + Board_990 + Board_1004 + Board_1018 + Board_1032 + Board_1046 + Board_1060 + Board_1074 + Board_1088 + Board_1102 + Board_1116 + Board_1130 + Board_1144 + Board_1158 + Board_1172 = 1
inv : Rows_151 + Board_1971 + Board_1985 + Board_1999 + Board_2013 + Board_2027 + Board_2041 + Board_2055 + Board_2069 + Board_2083 + Board_2097 + Board_2111 + Board_2125 + Board_2139 + Board_2153 = 1
inv : Board_2408 + Board_2409 + Board_2410 + Board_2411 + Board_2412 + Board_2413 + Board_2414 + Board_2415 + Board_2416 + Board_2417 + Board_2418 + Board_2419 + Board_2420 + Board_2421 + Cells_172 = 1
inv : Rows_46 + Board_592 + Board_606 + Board_620 + Board_634 + Board_648 + Board_662 + Board_676 + Board_690 + Board_704 + Board_718 + Board_732 + Board_746 + Board_760 + Board_774 = 1
inv : Board_161 + Board_357 + Board_553 + Board_749 + Board_945 + Board_1141 + Board_1337 + Board_1533 + Board_1729 + Board_1925 + Board_2121 + Board_2317 + Board_2513 + Board_2709 + Columns_161 = 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 + Cells_45 = 1
inv : Board_35 + Board_231 + Board_427 + Board_623 + Board_819 + Board_1015 + Board_1211 + Board_1407 + Board_1603 + Board_1799 + Board_1995 + Board_2191 + Board_2387 + Board_2583 + Columns_35 = 1
inv : Board_98 + Board_294 + Board_490 + Board_686 + Board_882 + Board_1078 + Board_1274 + Board_1470 + Board_1666 + Board_1862 + Board_2058 + Board_2254 + Board_2450 + Board_2646 + Columns_98 = 1
inv : Board_1400 + Board_1401 + Board_1402 + Board_1403 + Board_1404 + Board_1405 + Board_1406 + Board_1407 + Board_1408 + Board_1409 + Board_1410 + Board_1411 + Board_1412 + Board_1413 + Cells_100 = 1
inv : Board_1638 + Board_1639 + Board_1640 + Board_1641 + Board_1642 + Board_1643 + Board_1644 + Board_1645 + Board_1646 + Board_1647 + Board_1648 + Board_1649 + Board_1650 + Board_1651 + Cells_117 = 1
inv : 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 + Board_1245 + Cells_88 = 1
inv : Board_1 + Board_197 + Board_393 + Board_589 + Board_785 + Board_981 + Board_1177 + Board_1373 + Board_1569 + Board_1765 + Board_1961 + Board_2157 + Board_2353 + Board_2549 + Columns_1 = 1
inv : Board_45 + Board_241 + Board_437 + Board_633 + Board_829 + Board_1025 + Board_1221 + Board_1417 + Board_1613 + Board_1809 + Board_2005 + Board_2201 + Board_2397 + Board_2593 + Columns_45 = 1
inv : Rows_139 + Board_1777 + Board_1791 + Board_1805 + Board_1819 + Board_1833 + Board_1847 + Board_1861 + Board_1875 + Board_1889 + Board_1903 + Board_1917 + Board_1931 + Board_1945 + Board_1959 = 1
inv : Rows_129 + Board_1767 + Board_1781 + Board_1795 + Board_1809 + Board_1823 + Board_1837 + Board_1851 + Board_1865 + Board_1879 + Board_1893 + Board_1907 + Board_1921 + Board_1935 + Board_1949 = 1
inv : Board_798 + Board_799 + Board_800 + Board_801 + Board_802 + Board_803 + Board_804 + Board_805 + Board_806 + Board_807 + Board_808 + Board_809 + Board_810 + Board_811 + Cells_57 = 1
inv : Board_1568 + Board_1569 + Board_1570 + Board_1571 + Board_1572 + Board_1573 + Board_1574 + Board_1575 + Board_1576 + Board_1577 + Board_1578 + Board_1579 + Board_1580 + Board_1581 + Cells_112 = 1
inv : Rows_9 + Board_9 + Board_23 + Board_37 + Board_51 + Board_65 + Board_79 + Board_93 + Board_107 + Board_121 + Board_135 + Board_149 + Board_163 + Board_177 + Board_191 = 1
inv : Board_195 + Board_391 + Board_587 + Board_783 + Board_979 + Board_1175 + Board_1371 + Board_1567 + Board_1763 + Board_1959 + Board_2155 + Board_2351 + Board_2547 + Board_2743 + Columns_195 = 1
inv : Rows_21 + Board_203 + Board_217 + Board_231 + Board_245 + Board_259 + Board_273 + Board_287 + Board_301 + Board_315 + Board_329 + Board_343 + Board_357 + Board_371 + Board_385 = 1
inv : Board_64 + Board_260 + Board_456 + Board_652 + Board_848 + Board_1044 + Board_1240 + Board_1436 + Board_1632 + Board_1828 + Board_2024 + Board_2220 + Board_2416 + Board_2612 + Columns_64 = 1
inv : Board_190 + Board_386 + Board_582 + Board_778 + Board_974 + Board_1170 + Board_1366 + Board_1562 + Board_1758 + Board_1954 + Board_2150 + Board_2346 + Board_2542 + Board_2738 + Columns_190 = 1
inv : Board_6 + Board_202 + Board_398 + Board_594 + Board_790 + Board_986 + Board_1182 + Board_1378 + Board_1574 + Board_1770 + Board_1966 + Board_2162 + Board_2358 + Board_2554 + Columns_6 = 1
inv : Board_11 + Board_207 + Board_403 + Board_599 + Board_795 + Board_991 + Board_1187 + Board_1383 + Board_1579 + Board_1775 + Board_1971 + Board_2167 + Board_2363 + Board_2559 + Columns_11 = 1
inv : 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 + Board_2085 + Cells_148 = 1
inv : Board_294 + Board_295 + Board_296 + Board_297 + Board_298 + Board_299 + Board_300 + Board_301 + Board_302 + Board_303 + Board_304 + Board_305 + Board_306 + Board_307 + Cells_21 = 1
inv : Board_127 + Board_323 + Board_519 + Board_715 + Board_911 + Board_1107 + Board_1303 + Board_1499 + Board_1695 + Board_1891 + Board_2087 + Board_2283 + Board_2479 + Board_2675 + Columns_127 = 1
inv : Board_462 + Board_463 + Board_464 + Board_465 + Board_466 + Board_467 + Board_468 + Board_469 + Board_470 + Board_471 + Board_472 + Board_473 + Board_474 + Board_475 + Cells_33 = 1
inv : Board_2240 + Board_2241 + Board_2242 + Board_2243 + Board_2244 + Board_2245 + Board_2246 + Board_2247 + Board_2248 + Board_2249 + Board_2250 + Board_2251 + Board_2252 + Board_2253 + Cells_160 = 1
inv : Board_132 + Board_328 + Board_524 + Board_720 + Board_916 + Board_1112 + Board_1308 + Board_1504 + Board_1700 + Board_1896 + Board_2092 + Board_2288 + Board_2484 + Board_2680 + Columns_132 = 1
inv : Board_2576 + Board_2577 + Board_2578 + Board_2579 + Board_2580 + Board_2581 + Board_2582 + Board_2583 + Board_2584 + Board_2585 + Board_2586 + Board_2587 + Board_2588 + Board_2589 + Cells_184 = 1
inv : Rows_58 + Board_786 + Board_800 + Board_814 + Board_828 + Board_842 + Board_856 + Board_870 + Board_884 + Board_898 + Board_912 + Board_926 + Board_940 + Board_954 + Board_968 = 1
inv : Rows_4 + Board_4 + Board_18 + Board_32 + Board_46 + Board_60 + Board_74 + Board_88 + Board_102 + Board_116 + Board_130 + Board_144 + Board_158 + Board_172 + Board_186 = 1
inv : Rows_26 + Board_208 + Board_222 + Board_236 + Board_250 + Board_264 + Board_278 + Board_292 + Board_306 + Board_320 + Board_334 + Board_348 + Board_362 + Board_376 + Board_390 = 1
inv : Board_69 + Board_265 + Board_461 + Board_657 + Board_853 + Board_1049 + Board_1245 + Board_1441 + Board_1637 + Board_1833 + Board_2029 + Board_2225 + Board_2421 + Board_2617 + Columns_69 = 1
inv : Rows_112 + Board_1568 + Board_1582 + Board_1596 + Board_1610 + Board_1624 + Board_1638 + Board_1652 + Board_1666 + Board_1680 + Board_1694 + Board_1708 + Board_1722 + Board_1736 + Board_1750 = 1
Total of 588 invariants.
[2022-06-12 21:23:57] [INFO ] Computed 588 place invariants in 63 ms
[2022-06-12 21:24:07] [INFO ] Proved 3332 variables to be positive in 9397 ms
[2022-06-12 21:24:10] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesSudoku-COL-AN14-ReachabilityCardinality-03
[2022-06-12 21:24:10] [INFO ] KInduction solution for property Sudoku-COL-AN14-ReachabilityCardinality-03(SAT) depth K=0 took 3608 ms
[2022-06-12 21:24:14] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesSudoku-COL-AN14-ReachabilityCardinality-12
[2022-06-12 21:24:14] [INFO ] KInduction solution for property Sudoku-COL-AN14-ReachabilityCardinality-12(SAT) depth K=0 took 3663 ms
[2022-06-12 21:24:28] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesSudoku-COL-AN14-ReachabilityCardinality-03
[2022-06-12 21:24:28] [INFO ] KInduction solution for property Sudoku-COL-AN14-ReachabilityCardinality-03(SAT) depth K=1 took 14481 ms
[2022-06-12 21:24:29] [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/graph2392090456930678861.txt, -o, /tmp/graph2392090456930678861.bin, -w, /tmp/graph2392090456930678861.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)
[2022-06-12 21:24:29] [INFO ] Flatten gal took : 134 ms
[2022-06-12 21:24:29] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8200532525180995813.gal : 12 ms
[2022-06-12 21:24:29] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6949638371949339236.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/ReachabilityCardinality8200532525180995813.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6949638371949339236.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/ReachabilityCardinality8200532525180995813.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6949638371949339236.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6949638371949339236.prop.
[2022-06-12 21:24:45] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesSudoku-COL-AN14-ReachabilityCardinality-12
[2022-06-12 21:24:45] [INFO ] KInduction solution for property Sudoku-COL-AN14-ReachabilityCardinality-12(SAT) depth K=1 took 16228 ms
Compilation finished in 57650 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin1046195404609227675]
Link finished in 880 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, SudokuCOLAN14ReachabilityCardinality03==true], workingDir=/tmp/ltsmin1046195404609227675]
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 501
ITS-tools command line returned an error code 137
[2022-06-12 21:41:25] [INFO ] Applying decomposition
[2022-06-12 21:41:26] [INFO ] Flatten gal took : 716 ms
[2022-06-12 21:41:27] [INFO ] Decomposing Gal with order
[2022-06-12 21:41:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 21:41:38] [INFO ] Removed a total of 6874 redundant transitions.
[2022-06-12 21:41:39] [INFO ] Flatten gal took : 1943 ms
[2022-06-12 21:41:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 215 ms.
[2022-06-12 21:41:46] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17176321535253585337.gal : 97 ms
[2022-06-12 21:41:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14370305485315960707.prop : 50 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/ReachabilityCardinality17176321535253585337.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14370305485315960707.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/ReachabilityCardinality17176321535253585337.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14370305485315960707.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality14370305485315960707.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 501
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :501 after 17378
LTSmin failed to check property Sudoku-COL-AN14-ReachabilityCardinality-03 due to out of memory issue (code 137).
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, SudokuCOLAN14ReachabilityCardinality12==true], workingDir=/tmp/ltsmin1046195404609227675]
ITS-tools command line returned an error code 137
[2022-06-12 21:54:53] [INFO ] Flatten gal took : 1209 ms
[2022-06-12 21:54:55] [INFO ] Input system was already deterministic with 2744 transitions.
[2022-06-12 21:54:55] [INFO ] Transformed 3332 places.
[2022-06-12 21:54:56] [INFO ] Transformed 2744 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2022-06-12 21:55:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11092063396736094462.gal : 43 ms
[2022-06-12 21:55:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16029292290785127415.prop : 674 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/ReachabilityCardinality11092063396736094462.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16029292290785127415.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --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/ReachabilityCardinality11092063396736094462.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16029292290785127415.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityCardinality16029292290785127415.prop.
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-AN14"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="gold2021"
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 gold2021"
echo " Input is Sudoku-COL-AN14, 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 r269-tall-165303553200056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-COL-AN14.tgz
mv Sudoku-COL-AN14 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 ;