0.65/0.53
0.65/0.53 scop order+glucose-syrup (2018-07-07)
0.65/0.53
0.65/0.56 c BEGIN-Prog: Fri Jul 27 03:05:51 CEST 2018
0.65/0.56 c PID: 6870
0.65/0.56 c IP: 172.20.3.148
0.65/0.56 c HOST: node148.alineos.net
0.65/0.56 c (0,0) Parsing Begin
3.76/1.52 c (0,0) Parsing End
3.76/1.53 c (0,0) CSP: 0 int (0 aux), 1716 bool (0 aux), 1553 ctr, max domain size 2
3.76/1.53 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
3.76/1.53 c (1,0) Constraint Name Generate Begin
3.76/1.55 c (1,1) Ctr:HOME/instance-4296886-1532653550.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
3.76/1.55 c (1,1) Constraint Name Generate End
3.76/1.55 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
3.76/1.55 c (1,1) CSP to CSPinCNF Begin
5.50/1.91 c (1,1) translated 156 (10%) constraints
5.93/2.02 c (1,1) translated 311 (20%) constraints
6.31/2.11 c (1,1) translated 466 (30%) constraints
6.31/2.18 c (1,1) translated 622 (40%) constraints
6.68/2.25 c (1,1) translated 777 (50%) constraints
7.10/2.31 c (1,1) translated 932 (60%) constraints
7.10/2.37 c (1,1) translated 1088 (70%) constraints
7.51/2.43 c (1,1) translated 1243 (80%) constraints
7.51/2.48 c (1,1) translated 1398 (90%) constraints
7.91/2.56 c (2,2) translated 1553 (100%) constraints
9.84/3.06 c (2,2) STATISTICS1:HOME/instance-4296886-1532653550.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,5050,8284,2097152,2,4,22,2097152:156;2048:44;2:3860,2:21154,4:430;3:2936;2:3334;1:1584,22:156;12:44;2:3860;1:15810,
9.84/3.06 c (2,2) ===========================================
9.84/3.06 c (2,2) Order
9.84/3.06 c (2,2) ===========================================
10.28/3.19 c (2,2) translated 829 (10%) constraints
10.67/3.23 c (2,2) translated 1657 (20%) constraints
10.67/3.28 c (2,2) translated 2486 (30%) constraints
11.08/3.32 c (2,2) translated 3314 (40%) constraints
11.08/3.36 c (2,2) translated 4142 (50%) constraints
11.47/3.40 c (2,2) translated 4971 (60%) constraints
11.47/3.44 c (2,2) translated 5799 (70%) constraints
11.47/3.47 c (2,2) translated 6628 (80%) constraints
12.29/3.60 c (3,3) translated 7456 (90%) constraints
12.29/3.64 c (3,3) translated 8284 (100%) constraints
12.29/3.64 c (3,3) CSP to CSPinCNF End
12.29/3.65 c (3,3) CSP: 300 int (300 aux), 6502 bool (4786 aux), 13340 ctr, max domain size 9
12.29/3.65 c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.29/3.65 c (3,3) CSPinCNF Propagation Begin
13.09/3.90 c (3,3) 0 values, 1452 unsatisfiable literals, and 1452 valid clauses are removed
13.09/3.90 c (3,3) CSPinCNF Propagation End
13.09/3.90 c (3,3) CSP: 300 int (300 aux), 6502 bool (4786 aux), 11888 ctr, max domain size 9
13.09/3.90 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
13.09/3.90 c (3,3) Simplify CSPinCNF Begin
13.09/3.97 c (3,3) Simplify CSPinCNF End
13.09/3.97 c (3,3) CSP: 300 int (300 aux), 7458 bool (5742 aux), 12844 ctr, max domain size 9
13.09/3.97 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
13.09/3.97 c (3,3) Calculate Precise Domain Begin
13.51/4.03 c (3,3) 0 values are removed by re-calculation
13.51/4.03 c (3,3) Calculate Precise Domain End
13.51/4.03 c (3,3) CSP: 300 int (300 aux), 7458 bool (5742 aux), 12844 ctr, max domain size 9
13.51/4.03 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
13.51/4.03 c (3,3) CSPinCNF to SatSolver Begin
14.24/4.28 c (3,3) 1285 (10 %) CSP clauses are encoded (8976 SAT variables, 18442 SAT clauses)
14.24/4.29 c (3,3) 2569 (20 %) CSP clauses are encoded (8976 SAT variables, 19726 SAT clauses)
14.65/4.31 c (3,3) 3854 (30 %) CSP clauses are encoded (8976 SAT variables, 21011 SAT clauses)
14.65/4.32 c (3,3) 5138 (40 %) CSP clauses are encoded (8976 SAT variables, 22295 SAT clauses)
14.65/4.33 c (3,3) 6422 (50 %) CSP clauses are encoded (8976 SAT variables, 23579 SAT clauses)
14.65/4.35 c (3,3) 7707 (60 %) CSP clauses are encoded (8976 SAT variables, 24864 SAT clauses)
14.65/4.36 c (3,3) 8991 (70 %) CSP clauses are encoded (8976 SAT variables, 26148 SAT clauses)
14.65/4.37 c (3,3) 10276 (80 %) CSP clauses are encoded (8976 SAT variables, 27433 SAT clauses)
15.56/4.66 c (4,3) 11560 (90 %) CSP clauses are encoded (8976 SAT variables, 87817 SAT clauses)
15.56/4.67 c (4,4) 12844 (100 %) CSP clauses are encoded (8976 SAT variables, 89731 SAT clauses)
15.56/4.67 c (4,4) CSPinCNF to SatSolver End
15.56/4.67 c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
15.76/4.77 c (4,4) STATISTICS2:HOME/instance-4296886-1532653550.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,7758,12844,256,9,4,9,256:156;128:312;64:24;36:132;25:44;16:132;2:4322,9:48;8:96;6:792;5:264;2:31778,4:430;3:1484;2:7194;1:3736,9:156;8:312;5:132;3:200;2:4322;1:19174,
15.76/4.77 c (4,4) SatSolver.solve Begin
15.76/4.77 c (4,4) 8976 bool, 89732 clause
15.76/4.77 c (4,4) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296886-1532653550.xml-scop-6870.cnf HOME/instance-4296886-1532653550.xml-scop-6870.cnf.out
17.55/5.13 c (4,0) c
17.55/5.13 c (4,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team)
17.55/5.13 c (4,0) c
17.55/5.13 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
17.55/5.13 c (4,0) c 8 solvers engines and 1 companion as a blackboard created.
17.55/5.13 c (4,0) c ========================================[ Problem Statistics ]===========================================
17.55/5.13 c (4,0) c | |
17.55/5.13 c (4,0) c | Number of variables: 8976 |
17.55/5.13 c (4,0) c | Number of clauses: 89732 |
17.55/5.13 c (4,0) c | Parse time: 0.04 s |
17.55/5.13 c (4,0) c | |
17.55/5.13 c (4,0) c | Eliminated clauses: 0.14 Mb |
17.55/5.13 c (4,0) c | Simplification time: 0.14 s |
17.55/5.13 c (4,0) c | |
17.55/5.13 c (4,0) c | Generating clones |
17.55/5.13 c (4,0) c | all clones generated. Memory = 76.69Mb. |
17.55/5.13 c (4,0) c ========================================================================================================|
17.55/5.13 c (4,0) c last restart ## conflicts : 266 186
17.55/5.13 c (4,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer).
17.55/5.13 c (4,0) c Total Memory so far : 658.27Mb
17.55/5.13 c (4,0) c
17.55/5.13 c (4,0) c real time : 0.332442 s
17.55/5.13 c (4,0) c cpu time : 0.886174 s
17.55/5.13 c (4,0) c
17.55/5.13 c (4,0) c
17.55/5.13 c (4,0) c
17.55/5.13 c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.55/5.13 c (4,0) c
17.55/5.13 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.55/5.13 c (4,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
17.55/5.13 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.55/5.13 c (4,0) c | Conflicts | 17688 | 1941 | 2117 | 1983 | 2561 | 2347 | 2295 | 1781 | 2663 |
17.55/5.13 c (4,0) c | Decisions | 39066 | 5150 | 4942 | 4705 | 5568 | 4755 | 4693 | 4231 | 5022 |
17.55/5.13 c (4,0) c | Propagations | 2266633 | 279387 | 297010 | 278490 | 307413 | 275510 | 311113 | 236539 | 281171 |
17.55/5.14 c (4,0) c | Avg_Trail | | 1798 | 2000 | 1997 | 1886 | 2059 | 1884 | 2296 | 1920 |
17.55/5.14 c (4,0) c | Avg_DL | | 30 | 35 | 36 | 32 | 37 | 32 | 39 | 33 |
17.55/5.14 c (4,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
17.55/5.14 c (4,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
17.55/5.14 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.55/5.14 c (4,0) c | Exported | 220 | 33 | 28 | 23 | 39 | 22 | 21 | 15 | 39 |
17.55/5.14 c (4,0) c | Imported | 1420 | 181 | 179 | 190 | 181 | 157 | 184 | 189 | 159 |
17.55/5.14 c (4,0) c | Good | 426 | 53 | 53 | 56 | 53 | 51 | 55 | 56 | 49 |
17.55/5.14 c (4,0) c | Purge | 994 | 128 | 126 | 134 | 128 | 106 | 129 | 133 | 110 |
17.55/5.14 c (4,0) c | Promoted | 108 | 18 | 15 | 15 | 18 | 14 | 14 | 4 | 10 |
17.55/5.14 c (4,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
17.55/5.14 c (4,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
17.55/5.14 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.55/5.14 c (4,0) c | Unaries | | 5 | 5 | 7 | 12 | 6 | 6 | 5 | 5 |
17.55/5.14 c (4,0) c | Binaries | | 9 | 9 | 6 | 9 | 7 | 7 | 6 | 9 |
17.55/5.14 c (4,0) c | Glues | | 33 | 28 | 23 | 39 | 22 | 21 | 15 | 39 |
17.55/5.14 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.55/5.14 c (4,0) c | Orig_Seen | 7 % | 5370 | 6313 | 6877 | 7353 | 5619 | 6154 | 7319 | 5994 |
17.55/5.14 c (4,0) c | Diff Orig seen| | - 1949 | - 1006 | - 442 | 34 | - 1700 | - 1165 | X | - 1325 |
17.55/5.14 c (4,0) c | Hamming | 8 % | 898 | 744 | 786 | 810 | 815 | 707 | X | 815 |
17.55/5.14 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.55/5.14 c (4,0)
17.55/5.14 c (4,0) s SATISFIABLE
17.55/5.15 c (4,4) SatSolver.solve End
17.55/5.15 c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.55/5.15 c (4,4) Show results Begin
17.55/5.19 c (4,4) s[0][1][0] = 0
17.55/5.19 c (4,4) s[0][1][1] = 0
17.55/5.19 c (4,4) s[0][1][2] = 0
17.55/5.19 c (4,4) s[0][1][3] = 0
17.55/5.19 c (4,4) s[0][1][4] = 0
17.55/5.19 c (4,4) s[0][1][5] = 0
17.55/5.19 c (4,4) s[0][1][6] = 0
17.55/5.19 c (4,4) s[0][1][7] = 0
17.55/5.19 c (4,4) s[0][1][8] = 0
17.55/5.19 c (4,4) s[0][1][9] = 0
17.55/5.19 c (4,4) s[0][1][10] = 0
17.55/5.19 c (4,4) s[0][1][11] = 0
17.55/5.19 c (4,4) s[0][1][12] = 0
17.55/5.19 c (4,4) s[0][1][13] = 0
17.55/5.19 c (4,4) s[0][1][14] = 0
17.55/5.19 c (4,4) s[0][1][15] = 0
17.55/5.19 c (4,4) s[0][1][16] = 0
17.55/5.19 c (4,4) s[0][1][17] = 1
17.55/5.19 c (4,4) s[0][1][18] = 1
17.55/5.19 c (4,4) s[0][1][19] = 1
17.55/5.19 c (4,4) s[0][1][20] = 1
17.55/5.19 c (4,4) s[0][1][21] = 1
17.55/5.19 c (4,4) s[0][2][0] = 0
17.55/5.19 c (4,4) s[0][2][1] = 0
17.55/5.19 c (4,4) s[0][2][2] = 0
17.55/5.19 c (4,4) s[0][2][3] = 0
17.55/5.19 c (4,4) s[0][2][4] = 0
17.55/5.19 c (4,4) s[0][2][5] = 0
17.55/5.19 c (4,4) s[0][2][6] = 0
17.55/5.19 c (4,4) s[0][2][7] = 0
17.55/5.19 c (4,4) s[0][2][8] = 0
17.55/5.19 c (4,4) s[0][2][9] = 0
17.55/5.19 c (4,4) s[0][2][10] = 0
17.55/5.19 c (4,4) s[0][2][11] = 0
17.55/5.19 c (4,4) s[0][2][12] = 0
17.55/5.19 c (4,4) s[0][2][13] = 1
17.55/5.19 c (4,4) s[0][2][14] = 1
17.55/5.19 c (4,4) s[0][2][15] = 1
17.55/5.19 c (4,4) s[0][2][16] = 1
17.55/5.19 c (4,4) s[0][2][17] = 0
17.55/5.19 c (4,4) s[0][2][18] = 0
17.55/5.19 c (4,4) s[0][2][19] = 0
17.55/5.19 c (4,4) s[0][2][20] = 0
17.55/5.19 c (4,4) s[0][2][21] = 1
17.55/5.19 c (4,4) s[0][3][0] = 0
17.55/5.19 c (4,4) s[0][3][1] = 0
17.55/5.19 c (4,4) s[0][3][2] = 0
17.55/5.19 c (4,4) s[0][3][3] = 0
17.55/5.19 c (4,4) s[0][3][4] = 0
17.55/5.19 c (4,4) s[0][3][5] = 0
17.55/5.19 c (4,4) s[0][3][6] = 0
17.55/5.19 c (4,4) s[0][3][7] = 0
17.55/5.19 c (4,4) s[0][3][8] = 0
17.55/5.19 c (4,4) s[0][3][9] = 0
17.55/5.19 c (4,4) s[0][3][10] = 0
17.55/5.19 c (4,4) s[0][3][11] = 1
17.55/5.19 c (4,4) s[0][3][12] = 1
17.55/5.19 c (4,4) s[0][3][13] = 0
17.55/5.19 c (4,4) s[0][3][14] = 0
17.55/5.19 c (4,4) s[0][3][15] = 1
17.55/5.19 c (4,4) s[0][3][16] = 1
17.55/5.19 c (4,4) s[0][3][17] = 0
17.55/5.19 c (4,4) s[0][3][18] = 0
17.55/5.19 c (4,4) s[0][3][19] = 0
17.55/5.19 c (4,4) s[0][3][20] = 1
17.55/5.19 c (4,4) s[0][3][21] = 0
17.55/5.19 c (4,4) s[0][4][0] = 0
17.55/5.19 c (4,4) s[0][4][1] = 0
17.55/5.19 c (4,4) s[0][4][2] = 0
17.55/5.19 c (4,4) s[0][4][3] = 0
17.55/5.19 c (4,4) s[0][4][4] = 0
17.55/5.19 c (4,4) s[0][4][5] = 0
17.55/5.19 c (4,4) s[0][4][6] = 0
17.55/5.19 c (4,4) s[0][4][7] = 0
17.55/5.19 c (4,4) s[0][4][8] = 0
17.55/5.19 c (4,4) s[0][4][9] = 0
17.55/5.19 c (4,4) s[0][4][10] = 0
17.55/5.19 c (4,4) s[0][4][11] = 0
17.55/5.19 c (4,4) s[0][4][12] = 1
17.55/5.19 c (4,4) s[0][4][13] = 1
17.55/5.19 c (4,4) s[0][4][14] = 1
17.55/5.19 c (4,4) s[0][4][15] = 0
17.55/5.19 c (4,4) s[0][4][16] = 0
17.55/5.19 c (4,4) s[0][4][17] = 0
17.55/5.19 c (4,4) s[0][4][18] = 0
17.55/5.19 c (4,4) s[0][4][19] = 1
17.55/5.19 c (4,4) s[0][4][20] = 1
17.55/5.19 c (4,4) s[0][4][21] = 0
17.55/5.19 c (4,4) s[0][5][0] = 0
17.55/5.19 c (4,4) s[0][5][1] = 0
17.55/5.19 c (4,4) s[0][5][2] = 0
17.55/5.19 c (4,4) s[0][5][3] = 0
17.55/5.19 c (4,4) s[0][5][4] = 0
17.55/5.19 c (4,4) s[0][5][5] = 0
17.55/5.19 c (4,4) s[0][5][6] = 0
17.55/5.19 c (4,4) s[0][5][7] = 0
17.55/5.19 c (4,4) s[0][5][8] = 0
17.55/5.19 c (4,4) s[0][5][9] = 0
17.55/5.19 c (4,4) s[0][5][10] = 0
17.55/5.19 c (4,4) s[0][5][11] = 1
17.55/5.19 c (4,4) s[0][5][12] = 1
17.55/5.19 c (4,4) s[0][5][13] = 0
17.55/5.19 c (4,4) s[0][5][14] = 1
17.55/5.19 c (4,4) s[0][5][15] = 0
17.55/5.19 c (4,4) s[0][5][16] = 0
17.55/5.19 c (4,4) s[0][5][17] = 0
17.55/5.19 c (4,4) s[0][5][18] = 1
17.55/5.19 c (4,4) s[0][5][19] = 0
17.55/5.19 c (4,4) s[0][5][20] = 0
17.55/5.19 c (4,4) s[0][5][21] = 1
17.55/5.19 c (4,4) s[0][6][0] = 0
17.55/5.19 c (4,4) s[0][6][1] = 0
17.55/5.19 c (4,4) s[0][6][2] = 0
17.55/5.19 c (4,4) s[0][6][3] = 0
17.55/5.19 c (4,4) s[0][6][4] = 0
17.55/5.19 c (4,4) s[0][6][5] = 0
17.55/5.19 c (4,4) s[0][6][6] = 0
17.55/5.19 c (4,4) s[0][6][7] = 0
17.55/5.19 c (4,4) s[0][6][8] = 0
17.55/5.19 c (4,4) s[0][6][9] = 0
17.55/5.19 c (4,4) s[0][6][10] = 0
17.55/5.19 c (4,4) s[0][6][11] = 1
17.55/5.19 c (4,4) s[0][6][12] = 0
17.55/5.19 c (4,4) s[0][6][13] = 1
17.55/5.19 c (4,4) s[0][6][14] = 0
17.55/5.19 c (4,4) s[0][6][15] = 0
17.55/5.19 c (4,4) s[0][6][16] = 0
17.55/5.19 c (4,4) s[0][6][17] = 1
17.55/5.19 c (4,4) s[0][6][18] = 0
17.55/5.19 c (4,4) s[0][6][19] = 0
17.55/5.19 c (4,4) s[0][6][20] = 1
17.55/5.19 c (4,4) s[0][6][21] = 1
17.55/5.19 c (4,4) s[0][7][0] = 0
17.55/5.19 c (4,4) s[0][7][1] = 0
17.55/5.19 c (4,4) s[0][7][2] = 0
17.55/5.19 c (4,4) s[0][7][3] = 0
17.55/5.19 c (4,4) s[0][7][4] = 0
17.55/5.19 c (4,4) s[0][7][5] = 0
17.55/5.19 c (4,4) s[0][7][6] = 0
17.55/5.19 c (4,4) s[0][7][7] = 0
17.55/5.19 c (4,4) s[0][7][8] = 0
17.55/5.19 c (4,4) s[0][7][9] = 0
17.55/5.19 c (4,4) s[0][7][10] = 0
17.55/5.19 c (4,4) s[0][7][11] = 0
17.55/5.19 c (4,4) s[0][7][12] = 0
17.55/5.19 c (4,4) s[0][7][13] = 0
17.55/5.19 c (4,4) s[0][7][14] = 1
17.55/5.19 c (4,4) s[0][7][15] = 0
17.55/5.19 c (4,4) s[0][7][16] = 1
17.55/5.19 c (4,4) s[0][7][17] = 1
17.55/5.19 c (4,4) s[0][7][18] = 1
17.55/5.19 c (4,4) s[0][7][19] = 1
17.55/5.19 c (4,4) s[0][7][20] = 0
17.55/5.19 c (4,4) s[0][7][21] = 0
17.55/5.19 c (4,4) s[0][8][0] = 0
17.55/5.19 c (4,4) s[0][8][1] = 0
17.55/5.19 c (4,4) s[0][8][2] = 0
17.55/5.19 c (4,4) s[0][8][3] = 0
17.55/5.19 c (4,4) s[0][8][4] = 0
17.55/5.19 c (4,4) s[0][8][5] = 0
17.55/5.19 c (4,4) s[0][8][6] = 0
17.55/5.19 c (4,4) s[0][8][7] = 0
17.55/5.19 c (4,4) s[0][8][8] = 0
17.55/5.19 c (4,4) s[0][8][9] = 0
17.55/5.19 c (4,4) s[0][8][10] = 0
17.55/5.19 c (4,4) s[0][8][11] = 1
17.55/5.19 c (4,4) s[0][8][12] = 1
17.55/5.19 c (4,4) s[0][8][13] = 1
17.55/5.19 c (4,4) s[0][8][14] = 0
17.55/5.19 c (4,4) s[0][8][15] = 0
17.55/5.19 c (4,4) s[0][8][16] = 0
17.55/5.19 c (4,4) s[0][8][17] = 1
17.55/5.19 c (4,4) s[0][8][18] = 1
17.55/5.19 c (4,4) s[0][8][19] = 0
17.55/5.19 c (4,4) s[0][8][20] = 0
17.55/5.19 c (4,4) s[0][8][21] = 0
17.55/5.19 c (4,4) s[0][9][0] = 0
17.55/5.19 c (4,4) s[0][9][1] = 0
17.55/5.19 c (4,4) s[0][9][2] = 0
17.55/5.19 c (4,4) s[0][9][3] = 0
17.55/5.19 c (4,4) s[0][9][4] = 0
17.55/5.19 c (4,4) s[0][9][5] = 0
17.55/5.19 c (4,4) s[0][9][6] = 0
17.55/5.19 c (4,4) s[0][9][7] = 0
17.55/5.19 c (4,4) s[0][9][8] = 0
17.97/5.20 c (4,4) s[0][9][9] = 0
17.97/5.20 c (4,4) s[0][9][10] = 0
17.97/5.20 c (4,4) s[0][9][11] = 1
17.97/5.20 c (4,4) s[0][9][12] = 0
17.97/5.20 c (4,4) s[0][9][13] = 0
17.97/5.20 c (4,4) s[0][9][14] = 1
17.97/5.20 c (4,4) s[0][9][15] = 1
17.97/5.20 c (4,4) s[0][9][16] = 0
17.97/5.20 c (4,4) s[0][9][17] = 0
17.97/5.20 c (4,4) s[0][9][18] = 0
17.97/5.20 c (4,4) s[0][9][19] = 1
17.97/5.20 c (4,4) s[0][9][20] = 1
17.97/5.20 c (4,4) s[0][9][21] = 0
17.97/5.20 c (4,4) s[0][10][0] = 0
17.97/5.20 c (4,4) s[0][10][1] = 0
17.97/5.20 c (4,4) s[0][10][2] = 0
17.97/5.20 c (4,4) s[0][10][3] = 0
17.97/5.20 c (4,4) s[0][10][4] = 0
17.97/5.20 c (4,4) s[0][10][5] = 0
17.97/5.20 c (4,4) s[0][10][6] = 0
17.97/5.20 c (4,4) s[0][10][7] = 0
17.97/5.20 c (4,4) s[0][10][8] = 0
17.97/5.20 c (4,4) s[0][10][9] = 0
17.97/5.20 c (4,4) s[0][10][10] = 0
17.97/5.20 c (4,4) s[0][10][11] = 0
17.97/5.20 c (4,4) s[0][10][12] = 1
17.97/5.20 c (4,4) s[0][10][13] = 0
17.97/5.20 c (4,4) s[0][10][14] = 0
17.97/5.20 c (4,4) s[0][10][15] = 1
17.97/5.20 c (4,4) s[0][10][16] = 1
17.97/5.20 c (4,4) s[0][10][17] = 1
17.97/5.20 c (4,4) s[0][10][18] = 0
17.97/5.20 c (4,4) s[0][10][19] = 1
17.97/5.20 c (4,4) s[0][10][20] = 0
17.97/5.20 c (4,4) s[0][10][21] = 0
17.97/5.20 c (4,4) s[0][11][0] = 0
17.97/5.20 c (4,4) s[0][11][1] = 0
17.97/5.20 c (4,4) s[0][11][2] = 0
17.97/5.20 c (4,4) s[0][11][3] = 0
17.97/5.20 c (4,4) s[0][11][4] = 0
17.97/5.20 c (4,4) s[0][11][5] = 0
17.97/5.20 c (4,4) s[0][11][6] = 0
17.97/5.20 c (4,4) s[0][11][7] = 0
17.97/5.20 c (4,4) s[0][11][8] = 0
17.97/5.20 c (4,4) s[0][11][9] = 0
17.97/5.20 c (4,4) s[0][11][10] = 0
17.97/5.20 c (4,4) s[0][11][11] = 0
17.97/5.20 c (4,4) s[0][11][12] = 0
17.97/5.20 c (4,4) s[0][11][13] = 1
17.97/5.20 c (4,4) s[0][11][14] = 0
17.97/5.20 c (4,4) s[0][11][15] = 1
17.97/5.20 c (4,4) s[0][11][16] = 1
17.97/5.20 c (4,4) s[0][11][17] = 0
17.97/5.20 c (4,4) s[0][11][18] = 1
17.97/5.20 c (4,4) s[0][11][19] = 0
17.97/5.20 c (4,4) s[0][11][20] = 0
17.97/5.20 c (4,4) s[0][11][21] = 1
17.97/5.20 c (4,4) s[1][2][0] = 0
17.97/5.20 c (4,4) s[1][2][1] = 0
17.97/5.20 c (4,4) s[1][2][2] = 0
17.97/5.20 c (4,4) s[1][2][3] = 0
17.97/5.20 c (4,4) s[1][2][4] = 0
17.97/5.20 c (4,4) s[1][2][5] = 0
17.97/5.20 c (4,4) s[1][2][6] = 0
17.97/5.20 c (4,4) s[1][2][7] = 1
17.97/5.20 c (4,4) s[1][2][8] = 1
17.97/5.20 c (4,4) s[1][2][9] = 1
17.97/5.20 c (4,4) s[1][2][10] = 1
17.97/5.20 c (4,4) s[1][2][11] = 0
17.97/5.20 c (4,4) s[1][2][12] = 0
17.97/5.20 c (4,4) s[1][2][13] = 0
17.97/5.20 c (4,4) s[1][2][14] = 0
17.97/5.20 c (4,4) s[1][2][15] = 0
17.97/5.20 c (4,4) s[1][2][16] = 0
17.97/5.20 c (4,4) s[1][2][17] = 0
17.97/5.20 c (4,4) s[1][2][18] = 0
17.97/5.20 c (4,4) s[1][2][19] = 0
17.97/5.20 c (4,4) s[1][2][20] = 0
17.97/5.20 c (4,4) s[1][2][21] = 1
17.97/5.20 c (4,4) s[1][3][0] = 0
17.97/5.20 c (4,4) s[1][3][1] = 0
17.97/5.20 c (4,4) s[1][3][2] = 0
17.97/5.20 c (4,4) s[1][3][3] = 0
17.97/5.20 c (4,4) s[1][3][4] = 0
17.97/5.20 c (4,4) s[1][3][5] = 1
17.97/5.20 c (4,4) s[1][3][6] = 1
17.97/5.20 c (4,4) s[1][3][7] = 0
17.97/5.20 c (4,4) s[1][3][8] = 0
17.97/5.20 c (4,4) s[1][3][9] = 1
17.97/5.20 c (4,4) s[1][3][10] = 1
17.97/5.20 c (4,4) s[1][3][11] = 0
17.97/5.20 c (4,4) s[1][3][12] = 0
17.97/5.20 c (4,4) s[1][3][13] = 0
17.97/5.20 c (4,4) s[1][3][14] = 0
17.97/5.20 c (4,4) s[1][3][15] = 0
17.97/5.20 c (4,4) s[1][3][16] = 0
17.97/5.20 c (4,4) s[1][3][17] = 0
17.97/5.20 c (4,4) s[1][3][18] = 0
17.97/5.20 c (4,4) s[1][3][19] = 0
17.97/5.20 c (4,4) s[1][3][20] = 1
17.97/5.20 c (4,4) s[1][3][21] = 0
17.97/5.20 c (4,4) s[1][4][0] = 0
17.97/5.20 c (4,4) s[1][4][1] = 0
17.97/5.20 c (4,4) s[1][4][2] = 0
17.97/5.20 c (4,4) s[1][4][3] = 0
17.97/5.20 c (4,4) s[1][4][4] = 0
17.97/5.20 c (4,4) s[1][4][5] = 0
17.97/5.20 c (4,4) s[1][4][6] = 1
17.97/5.20 c (4,4) s[1][4][7] = 0
17.97/5.20 c (4,4) s[1][4][8] = 1
17.97/5.20 c (4,4) s[1][4][9] = 0
17.97/5.20 c (4,4) s[1][4][10] = 1
17.97/5.20 c (4,4) s[1][4][11] = 0
17.97/5.20 c (4,4) s[1][4][12] = 0
17.97/5.20 c (4,4) s[1][4][13] = 0
17.97/5.20 c (4,4) s[1][4][14] = 0
17.97/5.20 c (4,4) s[1][4][15] = 0
17.97/5.20 c (4,4) s[1][4][16] = 0
17.97/5.20 c (4,4) s[1][4][17] = 0
17.97/5.20 c (4,4) s[1][4][18] = 0
17.97/5.20 c (4,4) s[1][4][19] = 1
17.97/5.20 c (4,4) s[1][4][20] = 1
17.97/5.20 c (4,4) s[1][4][21] = 0
17.97/5.20 c (4,4) s[1][5][0] = 0
17.97/5.20 c (4,4) s[1][5][1] = 0
17.97/5.20 c (4,4) s[1][5][2] = 0
17.97/5.20 c (4,4) s[1][5][3] = 0
17.97/5.20 c (4,4) s[1][5][4] = 0
17.97/5.20 c (4,4) s[1][5][5] = 1
17.97/5.20 c (4,4) s[1][5][6] = 0
17.97/5.20 c (4,4) s[1][5][7] = 1
17.97/5.20 c (4,4) s[1][5][8] = 0
17.97/5.20 c (4,4) s[1][5][9] = 1
17.97/5.20 c (4,4) s[1][5][10] = 0
17.97/5.20 c (4,4) s[1][5][11] = 0
17.97/5.20 c (4,4) s[1][5][12] = 0
17.97/5.20 c (4,4) s[1][5][13] = 0
17.97/5.20 c (4,4) s[1][5][14] = 0
17.97/5.20 c (4,4) s[1][5][15] = 0
17.97/5.20 c (4,4) s[1][5][16] = 0
17.97/5.20 c (4,4) s[1][5][17] = 0
17.97/5.20 c (4,4) s[1][5][18] = 1
17.97/5.20 c (4,4) s[1][5][19] = 0
17.97/5.20 c (4,4) s[1][5][20] = 0
17.97/5.20 c (4,4) s[1][5][21] = 1
17.97/5.20 c (4,4) s[1][6][0] = 0
17.97/5.20 c (4,4) s[1][6][1] = 0
17.97/5.20 c (4,4) s[1][6][2] = 0
17.97/5.20 c (4,4) s[1][6][3] = 0
17.97/5.20 c (4,4) s[1][6][4] = 0
17.97/5.20 c (4,4) s[1][6][5] = 0
17.97/5.20 c (4,4) s[1][6][6] = 1
17.97/5.20 c (4,4) s[1][6][7] = 1
17.97/5.20 c (4,4) s[1][6][8] = 0
17.97/5.20 c (4,4) s[1][6][9] = 0
17.97/5.20 c (4,4) s[1][6][10] = 0
17.97/5.20 c (4,4) s[1][6][11] = 0
17.97/5.20 c (4,4) s[1][6][12] = 0
17.97/5.20 c (4,4) s[1][6][13] = 0
17.97/5.20 c (4,4) s[1][6][14] = 0
17.97/5.20 c (4,4) s[1][6][15] = 0
17.97/5.20 c (4,4) s[1][6][16] = 0
17.97/5.20 c (4,4) s[1][6][17] = 1
17.97/5.20 c (4,4) s[1][6][18] = 0
17.97/5.20 c (4,4) s[1][6][19] = 0
17.97/5.20 c (4,4) s[1][6][20] = 1
17.97/5.20 c (4,4) s[1][6][21] = 1
17.97/5.20 c (4,4) s[1][7][0] = 0
17.97/5.20 c (4,4) s[1][7][1] = 0
17.97/5.20 c (4,4) s[1][7][2] = 0
17.97/5.20 c (4,4) s[1][7][3] = 0
17.97/5.20 c (4,4) s[1][7][4] = 0
17.97/5.20 c (4,4) s[1][7][5] = 1
17.97/5.20 c (4,4) s[1][7][6] = 0
17.97/5.20 c (4,4) s[1][7][7] = 0
17.97/5.20 c (4,4) s[1][7][8] = 0
17.97/5.20 c (4,4) s[1][7][9] = 0
17.97/5.20 c (4,4) s[1][7][10] = 1
17.97/5.20 c (4,4) s[1][7][11] = 0
17.97/5.20 c (4,4) s[1][7][12] = 0
17.97/5.20 c (4,4) s[1][7][13] = 0
17.97/5.20 c (4,4) s[1][7][14] = 0
17.97/5.20 c (4,4) s[1][7][15] = 0
17.97/5.20 c (4,4) s[1][7][16] = 0
17.97/5.20 c (4,4) s[1][7][17] = 1
17.97/5.20 c (4,4) s[1][7][18] = 1
17.97/5.20 c (4,4) s[1][7][19] = 1
17.97/5.20 c (4,4) s[1][7][20] = 0
17.97/5.20 c (4,4) s[1][7][21] = 0
17.97/5.20 c (4,4) s[1][8][0] = 0
17.97/5.20 c (4,4) s[1][8][1] = 0
17.97/5.20 c (4,4) s[1][8][2] = 0
17.97/5.20 c (4,4) s[1][8][3] = 0
17.97/5.20 c (4,4) s[1][8][4] = 0
17.97/5.20 c (4,4) s[1][8][5] = 0
17.97/5.20 c (4,4) s[1][8][6] = 0
17.97/5.20 c (4,4) s[1][8][7] = 0
17.97/5.20 c (4,4) s[1][8][8] = 1
17.97/5.20 c (4,4) s[1][8][9] = 1
17.97/5.20 c (4,4) s[1][8][10] = 1
17.97/5.20 c (4,4) s[1][8][11] = 0
17.97/5.20 c (4,4) s[1][8][12] = 0
17.97/5.20 c (4,4) s[1][8][13] = 0
17.97/5.20 c (4,4) s[1][8][14] = 0
17.97/5.20 c (4,4) s[1][8][15] = 0
17.97/5.20 c (4,4) s[1][8][16] = 0
17.97/5.20 c (4,4) s[1][8][17] = 1
17.97/5.20 c (4,4) s[1][8][18] = 1
17.97/5.20 c (4,4) s[1][8][19] = 0
17.97/5.20 c (4,4) s[1][8][20] = 0
17.97/5.20 c (4,4) s[1][8][21] = 0
17.97/5.20 c (4,4) s[1][9][0] = 0
17.97/5.20 c (4,4) s[1][9][1] = 0
17.97/5.20 c (4,4) s[1][9][2] = 0
17.97/5.20 c (4,4) s[1][9][3] = 0
17.97/5.20 c (4,4) s[1][9][4] = 0
17.97/5.20 c (4,4) s[1][9][5] = 1
17.97/5.20 c (4,4) s[1][9][6] = 0
17.97/5.20 c (4,4) s[1][9][7] = 1
17.97/5.20 c (4,4) s[1][9][8] = 1
17.97/5.20 c (4,4) s[1][9][9] = 0
17.97/5.20 c (4,4) s[1][9][10] = 0
17.97/5.20 c (4,4) s[1][9][11] = 0
17.97/5.20 c (4,4) s[1][9][12] = 0
17.97/5.20 c (4,4) s[1][9][13] = 0
17.97/5.20 c (4,4) s[1][9][14] = 0
17.97/5.20 c (4,4) s[1][9][15] = 0
17.97/5.20 c (4,4) s[1][9][16] = 0
17.97/5.20 c (4,4) s[1][9][17] = 0
17.97/5.20 c (4,4) s[1][9][18] = 0
17.97/5.20 c (4,4) s[1][9][19] = 1
17.97/5.20 c (4,4) s[1][9][20] = 1
17.97/5.20 c (4,4) s[1][9][21] = 0
17.97/5.20 c (4,4) s[1][10][0] = 0
17.97/5.20 c (4,4) s[1][10][1] = 0
17.97/5.20 c (4,4) s[1][10][2] = 0
17.97/5.20 c (4,4) s[1][10][3] = 0
17.97/5.20 c (4,4) s[1][10][4] = 0
17.97/5.20 c (4,4) s[1][10][5] = 0
17.97/5.20 c (4,4) s[1][10][6] = 1
17.97/5.20 c (4,4) s[1][10][7] = 1
17.97/5.20 c (4,4) s[1][10][8] = 0
17.97/5.20 c (4,4) s[1][10][9] = 1
17.97/5.20 c (4,4) s[1][10][10] = 0
17.97/5.20 c (4,4) s[1][10][11] = 0
17.97/5.20 c (4,4) s[1][10][12] = 0
17.97/5.20 c (4,4) s[1][10][13] = 0
17.97/5.20 c (4,4) s[1][10][14] = 0
17.97/5.20 c (4,4) s[1][10][15] = 0
17.97/5.20 c (4,4) s[1][10][16] = 0
17.97/5.20 c (4,4) s[1][10][17] = 1
17.97/5.20 c (4,4) s[1][10][18] = 0
17.97/5.20 c (4,4) s[1][10][19] = 1
17.97/5.20 c (4,4) s[1][10][20] = 0
17.97/5.20 c (4,4) s[1][10][21] = 0
17.97/5.20 c (4,4) s[1][11][0] = 0
17.97/5.20 c (4,4) s[1][11][1] = 0
17.97/5.20 c (4,4) s[1][11][2] = 0
17.97/5.20 c (4,4) s[1][11][3] = 0
17.97/5.20 c (4,4) s[1][11][4] = 0
17.97/5.20 c (4,4) s[1][11][5] = 1
17.97/5.20 c (4,4) s[1][11][6] = 1
17.97/5.20 c (4,4) s[1][11][7] = 0
17.97/5.20 c (4,4) s[1][11][8] = 1
17.97/5.20 c (4,4) s[1][11][9] = 0
17.97/5.20 c (4,4) s[1][11][10] = 0
17.97/5.20 c (4,4) s[1][11][11] = 0
17.97/5.20 c (4,4) s[1][11][12] = 0
17.97/5.20 c (4,4) s[1][11][13] = 0
17.97/5.20 c (4,4) s[1][11][14] = 0
17.97/5.20 c (4,4) s[1][11][15] = 0
17.97/5.20 c (4,4) s[1][11][16] = 0
17.97/5.20 c (4,4) s[1][11][17] = 0
17.97/5.20 c (4,4) s[1][11][18] = 1
17.97/5.20 c (4,4) s[1][11][19] = 0
17.97/5.20 c (4,4) s[1][11][20] = 0
17.97/5.20 c (4,4) s[1][11][21] = 1
17.97/5.20 c (4,4) s[2][3][0] = 0
17.97/5.20 c (4,4) s[2][3][1] = 0
17.97/5.20 c (4,4) s[2][3][2] = 0
17.97/5.20 c (4,4) s[2][3][3] = 0
17.97/5.20 c (4,4) s[2][3][4] = 1
17.97/5.20 c (4,4) s[2][3][5] = 0
17.97/5.20 c (4,4) s[2][3][6] = 0
17.97/5.20 c (4,4) s[2][3][7] = 0
17.97/5.20 c (4,4) s[2][3][8] = 0
17.97/5.20 c (4,4) s[2][3][9] = 1
17.97/5.20 c (4,4) s[2][3][10] = 1
17.97/5.20 c (4,4) s[2][3][11] = 0
17.97/5.20 c (4,4) s[2][3][12] = 0
17.97/5.20 c (4,4) s[2][3][13] = 0
17.97/5.20 c (4,4) s[2][3][14] = 0
17.97/5.20 c (4,4) s[2][3][15] = 1
17.97/5.20 c (4,4) s[2][3][16] = 1
17.97/5.20 c (4,4) s[2][3][17] = 0
17.97/5.20 c (4,4) s[2][3][18] = 0
17.97/5.20 c (4,4) s[2][3][19] = 0
17.97/5.20 c (4,4) s[2][3][20] = 0
17.97/5.20 c (4,4) s[2][3][21] = 0
17.97/5.20 c (4,4) s[2][4][0] = 0
17.97/5.20 c (4,4) s[2][4][1] = 0
17.97/5.20 c (4,4) s[2][4][2] = 0
17.97/5.20 c (4,4) s[2][4][3] = 1
17.97/5.20 c (4,4) s[2][4][4] = 0
17.97/5.20 c (4,4) s[2][4][5] = 0
17.97/5.20 c (4,4) s[2][4][6] = 0
17.97/5.20 c (4,4) s[2][4][7] = 0
17.97/5.20 c (4,4) s[2][4][8] = 1
17.97/5.20 c (4,4) s[2][4][9] = 0
17.97/5.20 c (4,4) s[2][4][10] = 1
17.97/5.20 c (4,4) s[2][4][11] = 0
17.97/5.20 c (4,4) s[2][4][12] = 0
17.97/5.20 c (4,4) s[2][4][13] = 1
17.97/5.20 c (4,4) s[2][4][14] = 1
17.97/5.20 c (4,4) s[2][4][15] = 0
17.97/5.20 c (4,4) s[2][4][16] = 0
17.97/5.20 c (4,4) s[2][4][17] = 0
17.97/5.20 c (4,4) s[2][4][18] = 0
17.97/5.20 c (4,4) s[2][4][19] = 0
17.97/5.20 c (4,4) s[2][4][20] = 0
17.97/5.20 c (4,4) s[2][4][21] = 0
17.97/5.20 c (4,4) s[2][5][0] = 0
17.97/5.20 c (4,4) s[2][5][1] = 0
17.97/5.20 c (4,4) s[2][5][2] = 0
17.97/5.20 c (4,4) s[2][5][3] = 1
17.97/5.20 c (4,4) s[2][5][4] = 0
17.97/5.20 c (4,4) s[2][5][5] = 0
17.97/5.20 c (4,4) s[2][5][6] = 0
17.97/5.20 c (4,4) s[2][5][7] = 1
17.97/5.20 c (4,4) s[2][5][8] = 0
17.97/5.20 c (4,4) s[2][5][9] = 1
17.97/5.20 c (4,4) s[2][5][10] = 0
17.97/5.20 c (4,4) s[2][5][11] = 0
17.97/5.20 c (4,4) s[2][5][12] = 0
17.97/5.20 c (4,4) s[2][5][13] = 0
17.97/5.20 c (4,4) s[2][5][14] = 1
17.97/5.20 c (4,4) s[2][5][15] = 0
17.97/5.20 c (4,4) s[2][5][16] = 0
17.97/5.20 c (4,4) s[2][5][17] = 0
17.97/5.20 c (4,4) s[2][5][18] = 0
17.97/5.20 c (4,4) s[2][5][19] = 0
17.97/5.20 c (4,4) s[2][5][20] = 0
17.97/5.20 c (4,4) s[2][5][21] = 1
17.97/5.20 c (4,4) s[2][6][0] = 0
17.97/5.20 c (4,4) s[2][6][1] = 0
17.97/5.20 c (4,4) s[2][6][2] = 0
17.97/5.20 c (4,4) s[2][6][3] = 1
17.97/5.20 c (4,4) s[2][6][4] = 1
17.97/5.20 c (4,4) s[2][6][5] = 0
17.97/5.20 c (4,4) s[2][6][6] = 0
17.97/5.20 c (4,4) s[2][6][7] = 1
17.97/5.20 c (4,4) s[2][6][8] = 0
17.97/5.20 c (4,4) s[2][6][9] = 0
17.97/5.20 c (4,4) s[2][6][10] = 0
17.97/5.20 c (4,4) s[2][6][11] = 0
17.97/5.20 c (4,4) s[2][6][12] = 0
17.97/5.20 c (4,4) s[2][6][13] = 1
17.97/5.20 c (4,4) s[2][6][14] = 0
17.97/5.20 c (4,4) s[2][6][15] = 0
17.97/5.20 c (4,4) s[2][6][16] = 0
17.97/5.20 c (4,4) s[2][6][17] = 0
17.97/5.20 c (4,4) s[2][6][18] = 0
17.97/5.20 c (4,4) s[2][6][19] = 0
17.97/5.20 c (4,4) s[2][6][20] = 0
17.97/5.20 c (4,4) s[2][6][21] = 1
17.97/5.20 c (4,4) s[2][7][0] = 0
17.97/5.20 c (4,4) s[2][7][1] = 0
17.97/5.20 c (4,4) s[2][7][2] = 0
17.97/5.20 c (4,4) s[2][7][3] = 1
17.97/5.20 c (4,4) s[2][7][4] = 1
17.97/5.20 c (4,4) s[2][7][5] = 0
17.97/5.20 c (4,4) s[2][7][6] = 0
17.97/5.20 c (4,4) s[2][7][7] = 0
17.97/5.20 c (4,4) s[2][7][8] = 0
17.97/5.20 c (4,4) s[2][7][9] = 0
17.97/5.20 c (4,4) s[2][7][10] = 1
17.97/5.20 c (4,4) s[2][7][11] = 0
17.97/5.21 c (4,4) s[2][7][12] = 0
17.97/5.21 c (4,4) s[2][7][13] = 0
17.97/5.21 c (4,4) s[2][7][14] = 1
17.97/5.21 c (4,4) s[2][7][15] = 0
17.97/5.21 c (4,4) s[2][7][16] = 1
17.97/5.21 c (4,4) s[2][7][17] = 0
17.97/5.21 c (4,4) s[2][7][18] = 0
17.97/5.21 c (4,4) s[2][7][19] = 0
17.97/5.21 c (4,4) s[2][7][20] = 0
17.97/5.21 c (4,4) s[2][7][21] = 0
17.97/5.21 c (4,4) s[2][8][0] = 0
17.97/5.21 c (4,4) s[2][8][1] = 0
17.97/5.21 c (4,4) s[2][8][2] = 0
17.97/5.21 c (4,4) s[2][8][3] = 0
17.97/5.21 c (4,4) s[2][8][4] = 1
17.97/5.21 c (4,4) s[2][8][5] = 0
17.97/5.21 c (4,4) s[2][8][6] = 0
17.97/5.21 c (4,4) s[2][8][7] = 0
17.97/5.21 c (4,4) s[2][8][8] = 1
17.97/5.21 c (4,4) s[2][8][9] = 1
17.97/5.21 c (4,4) s[2][8][10] = 1
17.97/5.21 c (4,4) s[2][8][11] = 0
17.97/5.21 c (4,4) s[2][8][12] = 0
17.97/5.21 c (4,4) s[2][8][13] = 1
17.97/5.21 c (4,4) s[2][8][14] = 0
17.97/5.21 c (4,4) s[2][8][15] = 0
17.97/5.21 c (4,4) s[2][8][16] = 0
17.97/5.21 c (4,4) s[2][8][17] = 0
17.97/5.21 c (4,4) s[2][8][18] = 0
17.97/5.21 c (4,4) s[2][8][19] = 0
17.97/5.21 c (4,4) s[2][8][20] = 0
17.97/5.21 c (4,4) s[2][8][21] = 0
17.97/5.21 c (4,4) s[2][9][0] = 0
17.97/5.21 c (4,4) s[2][9][1] = 0
17.97/5.21 c (4,4) s[2][9][2] = 0
17.97/5.21 c (4,4) s[2][9][3] = 0
17.97/5.21 c (4,4) s[2][9][4] = 1
17.97/5.21 c (4,4) s[2][9][5] = 0
17.97/5.21 c (4,4) s[2][9][6] = 0
17.97/5.21 c (4,4) s[2][9][7] = 1
17.97/5.21 c (4,4) s[2][9][8] = 1
17.97/5.21 c (4,4) s[2][9][9] = 0
17.97/5.21 c (4,4) s[2][9][10] = 0
17.97/5.21 c (4,4) s[2][9][11] = 0
17.97/5.21 c (4,4) s[2][9][12] = 0
17.97/5.21 c (4,4) s[2][9][13] = 0
17.97/5.21 c (4,4) s[2][9][14] = 1
17.97/5.21 c (4,4) s[2][9][15] = 1
17.97/5.21 c (4,4) s[2][9][16] = 0
17.97/5.21 c (4,4) s[2][9][17] = 0
17.97/5.21 c (4,4) s[2][9][18] = 0
17.97/5.21 c (4,4) s[2][9][19] = 0
17.97/5.21 c (4,4) s[2][9][20] = 0
17.97/5.21 c (4,4) s[2][9][21] = 0
17.97/5.21 c (4,4) s[2][10][0] = 0
17.97/5.21 c (4,4) s[2][10][1] = 0
17.97/5.21 c (4,4) s[2][10][2] = 0
17.97/5.21 c (4,4) s[2][10][3] = 1
17.97/5.21 c (4,4) s[2][10][4] = 0
17.97/5.21 c (4,4) s[2][10][5] = 0
17.97/5.21 c (4,4) s[2][10][6] = 0
17.97/5.21 c (4,4) s[2][10][7] = 1
17.97/5.21 c (4,4) s[2][10][8] = 0
17.97/5.21 c (4,4) s[2][10][9] = 1
17.97/5.21 c (4,4) s[2][10][10] = 0
17.97/5.21 c (4,4) s[2][10][11] = 0
17.97/5.21 c (4,4) s[2][10][12] = 0
17.97/5.21 c (4,4) s[2][10][13] = 0
17.97/5.21 c (4,4) s[2][10][14] = 0
17.97/5.21 c (4,4) s[2][10][15] = 1
17.97/5.21 c (4,4) s[2][10][16] = 1
17.97/5.21 c (4,4) s[2][10][17] = 0
17.97/5.21 c (4,4) s[2][10][18] = 0
17.97/5.21 c (4,4) s[2][10][19] = 0
17.97/5.21 c (4,4) s[2][10][20] = 0
17.97/5.21 c (4,4) s[2][10][21] = 0
17.97/5.21 c (4,4) s[2][11][0] = 0
17.97/5.21 c (4,4) s[2][11][1] = 0
17.97/5.21 c (4,4) s[2][11][2] = 0
17.97/5.21 c (4,4) s[2][11][3] = 0
17.97/5.21 c (4,4) s[2][11][4] = 0
17.97/5.21 c (4,4) s[2][11][5] = 0
17.97/5.21 c (4,4) s[2][11][6] = 0
17.97/5.21 c (4,4) s[2][11][7] = 0
17.97/5.21 c (4,4) s[2][11][8] = 1
17.97/5.21 c (4,4) s[2][11][9] = 0
17.97/5.21 c (4,4) s[2][11][10] = 0
17.97/5.21 c (4,4) s[2][11][11] = 0
17.97/5.21 c (4,4) s[2][11][12] = 0
17.97/5.21 c (4,4) s[2][11][13] = 1
17.97/5.21 c (4,4) s[2][11][14] = 0
17.97/5.21 c (4,4) s[2][11][15] = 1
17.97/5.21 c (4,4) s[2][11][16] = 1
17.97/5.21 c (4,4) s[2][11][17] = 0
17.97/5.21 c (4,4) s[2][11][18] = 0
17.97/5.21 c (4,4) s[2][11][19] = 0
17.97/5.21 c (4,4) s[2][11][20] = 0
17.97/5.21 c (4,4) s[2][11][21] = 1
17.97/5.21 c (4,4) s[3][4][0] = 0
17.97/5.21 c (4,4) s[3][4][1] = 0
17.97/5.21 c (4,4) s[3][4][2] = 1
17.97/5.21 c (4,4) s[3][4][3] = 0
17.97/5.21 c (4,4) s[3][4][4] = 0
17.97/5.21 c (4,4) s[3][4][5] = 0
17.97/5.21 c (4,4) s[3][4][6] = 1
17.97/5.21 c (4,4) s[3][4][7] = 0
17.97/5.21 c (4,4) s[3][4][8] = 0
17.97/5.21 c (4,4) s[3][4][9] = 0
17.97/5.21 c (4,4) s[3][4][10] = 1
17.97/5.21 c (4,4) s[3][4][11] = 0
17.97/5.21 c (4,4) s[3][4][12] = 1
17.97/5.21 c (4,4) s[3][4][13] = 0
17.97/5.21 c (4,4) s[3][4][14] = 0
17.97/5.21 c (4,4) s[3][4][15] = 0
17.97/5.21 c (4,4) s[3][4][16] = 0
17.97/5.21 c (4,4) s[3][4][17] = 0
17.97/5.21 c (4,4) s[3][4][18] = 0
17.97/5.21 c (4,4) s[3][4][19] = 0
17.97/5.21 c (4,4) s[3][4][20] = 1
17.97/5.21 c (4,4) s[3][4][21] = 0
17.97/5.21 c (4,4) s[3][5][0] = 0
17.97/5.21 c (4,4) s[3][5][1] = 0
17.97/5.21 c (4,4) s[3][5][2] = 1
17.97/5.21 c (4,4) s[3][5][3] = 0
17.97/5.21 c (4,4) s[3][5][4] = 0
17.97/5.21 c (4,4) s[3][5][5] = 1
17.97/5.21 c (4,4) s[3][5][6] = 0
17.97/5.21 c (4,4) s[3][5][7] = 0
17.97/5.21 c (4,4) s[3][5][8] = 0
17.97/5.21 c (4,4) s[3][5][9] = 1
17.97/5.21 c (4,4) s[3][5][10] = 0
17.97/5.21 c (4,4) s[3][5][11] = 1
17.97/5.21 c (4,4) s[3][5][12] = 1
17.97/5.21 c (4,4) s[3][5][13] = 0
17.97/5.21 c (4,4) s[3][5][14] = 0
17.97/5.21 c (4,4) s[3][5][15] = 0
17.97/5.21 c (4,4) s[3][5][16] = 0
17.97/5.21 c (4,4) s[3][5][17] = 0
17.97/5.21 c (4,4) s[3][5][18] = 0
17.97/5.21 c (4,4) s[3][5][19] = 0
17.97/5.21 c (4,4) s[3][5][20] = 0
17.97/5.21 c (4,4) s[3][5][21] = 0
17.97/5.21 c (4,4) s[3][6][0] = 0
17.97/5.21 c (4,4) s[3][6][1] = 0
17.97/5.21 c (4,4) s[3][6][2] = 1
17.97/5.21 c (4,4) s[3][6][3] = 0
17.97/5.21 c (4,4) s[3][6][4] = 1
17.97/5.21 c (4,4) s[3][6][5] = 0
17.97/5.21 c (4,4) s[3][6][6] = 1
17.97/5.21 c (4,4) s[3][6][7] = 0
17.97/5.21 c (4,4) s[3][6][8] = 0
17.97/5.21 c (4,4) s[3][6][9] = 0
17.97/5.21 c (4,4) s[3][6][10] = 0
17.97/5.21 c (4,4) s[3][6][11] = 1
17.97/5.21 c (4,4) s[3][6][12] = 0
17.97/5.21 c (4,4) s[3][6][13] = 0
17.97/5.21 c (4,4) s[3][6][14] = 0
17.97/5.21 c (4,4) s[3][6][15] = 0
17.97/5.21 c (4,4) s[3][6][16] = 0
17.97/5.21 c (4,4) s[3][6][17] = 0
17.97/5.21 c (4,4) s[3][6][18] = 0
17.97/5.21 c (4,4) s[3][6][19] = 0
17.97/5.21 c (4,4) s[3][6][20] = 1
17.97/5.21 c (4,4) s[3][6][21] = 0
17.97/5.21 c (4,4) s[3][7][0] = 0
17.97/5.21 c (4,4) s[3][7][1] = 0
17.97/5.21 c (4,4) s[3][7][2] = 1
17.97/5.21 c (4,4) s[3][7][3] = 0
17.97/5.21 c (4,4) s[3][7][4] = 1
17.97/5.21 c (4,4) s[3][7][5] = 1
17.97/5.21 c (4,4) s[3][7][6] = 0
17.97/5.21 c (4,4) s[3][7][7] = 0
17.97/5.21 c (4,4) s[3][7][8] = 0
17.97/5.21 c (4,4) s[3][7][9] = 0
17.97/5.21 c (4,4) s[3][7][10] = 1
17.97/5.21 c (4,4) s[3][7][11] = 0
17.97/5.21 c (4,4) s[3][7][12] = 0
17.97/5.21 c (4,4) s[3][7][13] = 0
17.97/5.21 c (4,4) s[3][7][14] = 0
17.97/5.21 c (4,4) s[3][7][15] = 0
17.97/5.21 c (4,4) s[3][7][16] = 1
17.97/5.21 c (4,4) s[3][7][17] = 0
17.97/5.21 c (4,4) s[3][7][18] = 0
17.97/5.21 c (4,4) s[3][7][19] = 0
17.97/5.21 c (4,4) s[3][7][20] = 0
17.97/5.21 c (4,4) s[3][7][21] = 0
17.97/5.21 c (4,4) s[3][8][0] = 0
17.97/5.21 c (4,4) s[3][8][1] = 0
17.97/5.21 c (4,4) s[3][8][2] = 0
17.97/5.21 c (4,4) s[3][8][3] = 0
17.97/5.21 c (4,4) s[3][8][4] = 1
17.97/5.21 c (4,4) s[3][8][5] = 0
17.97/5.21 c (4,4) s[3][8][6] = 0
17.97/5.21 c (4,4) s[3][8][7] = 0
17.97/5.21 c (4,4) s[3][8][8] = 0
17.97/5.21 c (4,4) s[3][8][9] = 1
17.97/5.21 c (4,4) s[3][8][10] = 1
17.97/5.21 c (4,4) s[3][8][11] = 1
17.97/5.21 c (4,4) s[3][8][12] = 1
17.97/5.21 c (4,4) s[3][8][13] = 0
17.97/5.21 c (4,4) s[3][8][14] = 0
17.97/5.21 c (4,4) s[3][8][15] = 0
17.97/5.21 c (4,4) s[3][8][16] = 0
17.97/5.21 c (4,4) s[3][8][17] = 0
17.97/5.21 c (4,4) s[3][8][18] = 0
17.97/5.21 c (4,4) s[3][8][19] = 0
17.97/5.21 c (4,4) s[3][8][20] = 0
17.97/5.21 c (4,4) s[3][8][21] = 0
17.97/5.21 c (4,4) s[3][9][0] = 0
17.97/5.21 c (4,4) s[3][9][1] = 0
17.97/5.21 c (4,4) s[3][9][2] = 0
17.97/5.21 c (4,4) s[3][9][3] = 0
17.97/5.21 c (4,4) s[3][9][4] = 1
17.97/5.21 c (4,4) s[3][9][5] = 1
17.97/5.21 c (4,4) s[3][9][6] = 0
17.97/5.21 c (4,4) s[3][9][7] = 0
17.97/5.21 c (4,4) s[3][9][8] = 0
17.97/5.21 c (4,4) s[3][9][9] = 0
17.97/5.21 c (4,4) s[3][9][10] = 0
17.97/5.21 c (4,4) s[3][9][11] = 1
17.97/5.21 c (4,4) s[3][9][12] = 0
17.97/5.21 c (4,4) s[3][9][13] = 0
17.97/5.21 c (4,4) s[3][9][14] = 0
17.97/5.21 c (4,4) s[3][9][15] = 1
17.97/5.21 c (4,4) s[3][9][16] = 0
17.97/5.21 c (4,4) s[3][9][17] = 0
17.97/5.21 c (4,4) s[3][9][18] = 0
17.97/5.21 c (4,4) s[3][9][19] = 0
17.97/5.21 c (4,4) s[3][9][20] = 1
17.97/5.21 c (4,4) s[3][9][21] = 0
17.97/5.21 c (4,4) s[3][10][0] = 0
17.97/5.21 c (4,4) s[3][10][1] = 0
17.97/5.21 c (4,4) s[3][10][2] = 0
17.97/5.21 c (4,4) s[3][10][3] = 0
17.97/5.21 c (4,4) s[3][10][4] = 0
17.97/5.21 c (4,4) s[3][10][5] = 0
17.97/5.21 c (4,4) s[3][10][6] = 1
17.97/5.21 c (4,4) s[3][10][7] = 0
17.97/5.21 c (4,4) s[3][10][8] = 0
17.97/5.21 c (4,4) s[3][10][9] = 1
17.97/5.21 c (4,4) s[3][10][10] = 0
17.97/5.21 c (4,4) s[3][10][11] = 0
17.97/5.21 c (4,4) s[3][10][12] = 1
17.97/5.21 c (4,4) s[3][10][13] = 0
17.97/5.21 c (4,4) s[3][10][14] = 0
17.97/5.21 c (4,4) s[3][10][15] = 1
17.97/5.21 c (4,4) s[3][10][16] = 1
17.97/5.21 c (4,4) s[3][10][17] = 0
17.97/5.21 c (4,4) s[3][10][18] = 0
17.97/5.21 c (4,4) s[3][10][19] = 0
17.97/5.21 c (4,4) s[3][10][20] = 0
17.97/5.21 c (4,4) s[3][10][21] = 0
17.97/5.21 c (4,4) s[3][11][0] = 0
17.97/5.21 c (4,4) s[3][11][1] = 0
17.97/5.21 c (4,4) s[3][11][2] = 1
17.97/5.21 c (4,4) s[3][11][3] = 0
17.97/5.21 c (4,4) s[3][11][4] = 0
17.97/5.21 c (4,4) s[3][11][5] = 1
17.97/5.21 c (4,4) s[3][11][6] = 1
17.97/5.21 c (4,4) s[3][11][7] = 0
17.97/5.21 c (4,4) s[3][11][8] = 0
17.97/5.21 c (4,4) s[3][11][9] = 0
17.97/5.21 c (4,4) s[3][11][10] = 0
17.97/5.21 c (4,4) s[3][11][11] = 0
17.97/5.21 c (4,4) s[3][11][12] = 0
17.97/5.21 c (4,4) s[3][11][13] = 0
17.97/5.21 c (4,4) s[3][11][14] = 0
17.97/5.21 c (4,4) s[3][11][15] = 1
17.97/5.21 c (4,4) s[3][11][16] = 1
17.97/5.21 c (4,4) s[3][11][17] = 0
17.97/5.21 c (4,4) s[3][11][18] = 0
17.97/5.21 c (4,4) s[3][11][19] = 0
17.97/5.21 c (4,4) s[3][11][20] = 0
17.97/5.21 c (4,4) s[3][11][21] = 0
17.97/5.21 c (4,4) s[4][5][0] = 0
17.97/5.21 c (4,4) s[4][5][1] = 1
17.97/5.21 c (4,4) s[4][5][2] = 1
17.97/5.21 c (4,4) s[4][5][3] = 1
17.97/5.21 c (4,4) s[4][5][4] = 0
17.97/5.21 c (4,4) s[4][5][5] = 0
17.97/5.21 c (4,4) s[4][5][6] = 0
17.97/5.21 c (4,4) s[4][5][7] = 0
17.97/5.21 c (4,4) s[4][5][8] = 0
17.97/5.21 c (4,4) s[4][5][9] = 0
17.97/5.21 c (4,4) s[4][5][10] = 0
17.97/5.21 c (4,4) s[4][5][11] = 0
17.97/5.21 c (4,4) s[4][5][12] = 1
17.97/5.21 c (4,4) s[4][5][13] = 0
17.97/5.21 c (4,4) s[4][5][14] = 1
17.97/5.21 c (4,4) s[4][5][15] = 0
17.97/5.21 c (4,4) s[4][5][16] = 0
17.97/5.21 c (4,4) s[4][5][17] = 0
17.97/5.21 c (4,4) s[4][5][18] = 0
17.97/5.21 c (4,4) s[4][5][19] = 0
17.97/5.21 c (4,4) s[4][5][20] = 0
17.97/5.21 c (4,4) s[4][5][21] = 0
17.97/5.21 c (4,4) s[4][6][0] = 0
17.97/5.21 c (4,4) s[4][6][1] = 0
17.97/5.21 c (4,4) s[4][6][2] = 1
17.97/5.21 c (4,4) s[4][6][3] = 1
17.97/5.21 c (4,4) s[4][6][4] = 0
17.97/5.21 c (4,4) s[4][6][5] = 0
17.97/5.21 c (4,4) s[4][6][6] = 1
17.97/5.21 c (4,4) s[4][6][7] = 0
17.97/5.21 c (4,4) s[4][6][8] = 0
17.97/5.21 c (4,4) s[4][6][9] = 0
17.97/5.21 c (4,4) s[4][6][10] = 0
17.97/5.21 c (4,4) s[4][6][11] = 0
17.97/5.21 c (4,4) s[4][6][12] = 0
17.97/5.21 c (4,4) s[4][6][13] = 1
17.97/5.21 c (4,4) s[4][6][14] = 0
17.97/5.21 c (4,4) s[4][6][15] = 0
17.97/5.21 c (4,4) s[4][6][16] = 0
17.97/5.21 c (4,4) s[4][6][17] = 0
17.97/5.21 c (4,4) s[4][6][18] = 0
17.97/5.21 c (4,4) s[4][6][19] = 0
17.97/5.21 c (4,4) s[4][6][20] = 1
17.97/5.21 c (4,4) s[4][6][21] = 0
17.97/5.21 c (4,4) s[4][7][0] = 0
17.97/5.21 c (4,4) s[4][7][1] = 0
17.97/5.21 c (4,4) s[4][7][2] = 1
17.97/5.21 c (4,4) s[4][7][3] = 1
17.97/5.21 c (4,4) s[4][7][4] = 0
17.97/5.21 c (4,4) s[4][7][5] = 0
17.97/5.21 c (4,4) s[4][7][6] = 0
17.97/5.21 c (4,4) s[4][7][7] = 0
17.97/5.21 c (4,4) s[4][7][8] = 0
17.97/5.21 c (4,4) s[4][7][9] = 0
17.97/5.21 c (4,4) s[4][7][10] = 1
17.97/5.21 c (4,4) s[4][7][11] = 0
17.97/5.21 c (4,4) s[4][7][12] = 0
17.97/5.21 c (4,4) s[4][7][13] = 0
17.97/5.21 c (4,4) s[4][7][14] = 1
17.97/5.21 c (4,4) s[4][7][15] = 0
17.97/5.21 c (4,4) s[4][7][16] = 0
17.97/5.21 c (4,4) s[4][7][17] = 0
17.97/5.21 c (4,4) s[4][7][18] = 0
17.97/5.21 c (4,4) s[4][7][19] = 1
17.97/5.21 c (4,4) s[4][7][20] = 0
17.97/5.21 c (4,4) s[4][7][21] = 0
17.97/5.21 c (4,4) s[4][8][0] = 0
17.97/5.21 c (4,4) s[4][8][1] = 1
17.97/5.21 c (4,4) s[4][8][2] = 0
17.97/5.21 c (4,4) s[4][8][3] = 0
17.97/5.21 c (4,4) s[4][8][4] = 0
17.97/5.21 c (4,4) s[4][8][5] = 0
17.97/5.21 c (4,4) s[4][8][6] = 0
17.97/5.21 c (4,4) s[4][8][7] = 0
17.97/5.21 c (4,4) s[4][8][8] = 1
17.97/5.21 c (4,4) s[4][8][9] = 0
17.97/5.21 c (4,4) s[4][8][10] = 1
17.97/5.21 c (4,4) s[4][8][11] = 0
17.97/5.21 c (4,4) s[4][8][12] = 1
17.97/5.21 c (4,4) s[4][8][13] = 1
17.97/5.21 c (4,4) s[4][8][14] = 0
17.97/5.21 c (4,4) s[4][8][15] = 0
17.97/5.21 c (4,4) s[4][8][16] = 0
17.97/5.21 c (4,4) s[4][8][17] = 0
17.97/5.21 c (4,4) s[4][8][18] = 0
17.97/5.21 c (4,4) s[4][8][19] = 0
17.97/5.21 c (4,4) s[4][8][20] = 0
17.97/5.21 c (4,4) s[4][8][21] = 0
17.97/5.21 c (4,4) s[4][9][0] = 0
17.97/5.21 c (4,4) s[4][9][1] = 1
17.97/5.21 c (4,4) s[4][9][2] = 0
17.97/5.21 c (4,4) s[4][9][3] = 0
17.97/5.21 c (4,4) s[4][9][4] = 0
17.97/5.21 c (4,4) s[4][9][5] = 0
17.97/5.21 c (4,4) s[4][9][6] = 0
17.97/5.21 c (4,4) s[4][9][7] = 0
17.97/5.21 c (4,4) s[4][9][8] = 1
17.97/5.21 c (4,4) s[4][9][9] = 0
17.97/5.21 c (4,4) s[4][9][10] = 0
17.97/5.21 c (4,4) s[4][9][11] = 0
17.97/5.21 c (4,4) s[4][9][12] = 0
17.97/5.21 c (4,4) s[4][9][13] = 0
17.97/5.21 c (4,4) s[4][9][14] = 1
17.97/5.21 c (4,4) s[4][9][15] = 0
17.97/5.21 c (4,4) s[4][9][16] = 0
17.97/5.21 c (4,4) s[4][9][17] = 0
17.97/5.21 c (4,4) s[4][9][18] = 0
17.97/5.21 c (4,4) s[4][9][19] = 1
17.97/5.21 c (4,4) s[4][9][20] = 1
17.97/5.21 c (4,4) s[4][9][21] = 0
17.97/5.21 c (4,4) s[4][10][0] = 0
17.97/5.21 c (4,4) s[4][10][1] = 1
17.97/5.21 c (4,4) s[4][10][2] = 0
17.97/5.21 c (4,4) s[4][10][3] = 1
17.97/5.21 c (4,4) s[4][10][4] = 0
17.97/5.21 c (4,4) s[4][10][5] = 0
17.97/5.21 c (4,4) s[4][10][6] = 1
17.97/5.21 c (4,4) s[4][10][7] = 0
17.97/5.21 c (4,4) s[4][10][8] = 0
17.97/5.21 c (4,4) s[4][10][9] = 0
17.97/5.21 c (4,4) s[4][10][10] = 0
17.97/5.21 c (4,4) s[4][10][11] = 0
17.97/5.21 c (4,4) s[4][10][12] = 1
17.97/5.21 c (4,4) s[4][10][13] = 0
17.97/5.21 c (4,4) s[4][10][14] = 0
17.97/5.21 c (4,4) s[4][10][15] = 0
17.97/5.21 c (4,4) s[4][10][16] = 0
17.97/5.21 c (4,4) s[4][10][17] = 0
17.97/5.21 c (4,4) s[4][10][18] = 0
17.97/5.21 c (4,4) s[4][10][19] = 1
17.97/5.21 c (4,4) s[4][10][20] = 0
17.97/5.21 c (4,4) s[4][10][21] = 0
17.97/5.21 c (4,4) s[4][11][0] = 0
17.97/5.21 c (4,4) s[4][11][1] = 1
17.97/5.21 c (4,4) s[4][11][2] = 1
17.97/5.21 c (4,4) s[4][11][3] = 0
17.97/5.21 c (4,4) s[4][11][4] = 0
17.97/5.21 c (4,4) s[4][11][5] = 0
17.97/5.21 c (4,4) s[4][11][6] = 1
17.97/5.21 c (4,4) s[4][11][7] = 0
17.97/5.21 c (4,4) s[4][11][8] = 1
17.97/5.21 c (4,4) s[4][11][9] = 0
17.97/5.21 c (4,4) s[4][11][10] = 0
17.97/5.21 c (4,4) s[4][11][11] = 0
17.97/5.21 c (4,4) s[4][11][12] = 0
17.97/5.21 c (4,4) s[4][11][13] = 1
17.97/5.21 c (4,4) s[4][11][14] = 0
17.97/5.21 c (4,4) s[4][11][15] = 0
17.97/5.21 c (4,4) s[4][11][16] = 0
17.97/5.21 c (4,4) s[4][11][17] = 0
17.97/5.21 c (4,4) s[4][11][18] = 0
17.97/5.21 c (4,4) s[4][11][19] = 0
17.97/5.21 c (4,4) s[4][11][20] = 0
17.97/5.21 c (4,4) s[4][11][21] = 0
17.97/5.21 c (4,4) s[5][6][0] = 0
17.97/5.21 c (4,4) s[5][6][1] = 0
17.97/5.21 c (4,4) s[5][6][2] = 1
17.97/5.21 c (4,4) s[5][6][3] = 1
17.97/5.21 c (4,4) s[5][6][4] = 0
17.97/5.21 c (4,4) s[5][6][5] = 0
17.97/5.21 c (4,4) s[5][6][6] = 0
17.97/5.21 c (4,4) s[5][6][7] = 1
17.97/5.21 c (4,4) s[5][6][8] = 0
17.97/5.21 c (4,4) s[5][6][9] = 0
17.97/5.21 c (4,4) s[5][6][10] = 0
17.97/5.21 c (4,4) s[5][6][11] = 1
17.97/5.21 c (4,4) s[5][6][12] = 0
17.97/5.21 c (4,4) s[5][6][13] = 0
17.97/5.21 c (4,4) s[5][6][14] = 0
17.97/5.21 c (4,4) s[5][6][15] = 0
17.97/5.21 c (4,4) s[5][6][16] = 0
17.97/5.21 c (4,4) s[5][6][17] = 0
17.97/5.21 c (4,4) s[5][6][18] = 0
17.97/5.21 c (4,4) s[5][6][19] = 0
17.97/5.21 c (4,4) s[5][6][20] = 0
17.97/5.21 c (4,4) s[5][6][21] = 1
17.97/5.21 c (4,4) s[5][7][0] = 0
17.97/5.21 c (4,4) s[5][7][1] = 0
17.97/5.21 c (4,4) s[5][7][2] = 1
17.97/5.21 c (4,4) s[5][7][3] = 1
17.97/5.21 c (4,4) s[5][7][4] = 0
17.97/5.21 c (4,4) s[5][7][5] = 1
17.97/5.21 c (4,4) s[5][7][6] = 0
17.97/5.21 c (4,4) s[5][7][7] = 0
17.97/5.21 c (4,4) s[5][7][8] = 0
17.97/5.21 c (4,4) s[5][7][9] = 0
17.97/5.21 c (4,4) s[5][7][10] = 0
17.97/5.21 c (4,4) s[5][7][11] = 0
17.97/5.21 c (4,4) s[5][7][12] = 0
17.97/5.21 c (4,4) s[5][7][13] = 0
17.97/5.21 c (4,4) s[5][7][14] = 1
17.97/5.21 c (4,4) s[5][7][15] = 0
17.97/5.21 c (4,4) s[5][7][16] = 0
17.97/5.21 c (4,4) s[5][7][17] = 0
17.97/5.21 c (4,4) s[5][7][18] = 1
17.97/5.21 c (4,4) s[5][7][19] = 0
17.97/5.21 c (4,4) s[5][7][20] = 0
17.97/5.21 c (4,4) s[5][7][21] = 0
17.97/5.21 c (4,4) s[5][8][0] = 0
17.97/5.21 c (4,4) s[5][8][1] = 1
17.97/5.21 c (4,4) s[5][8][2] = 0
17.97/5.21 c (4,4) s[5][8][3] = 0
17.97/5.21 c (4,4) s[5][8][4] = 0
17.97/5.21 c (4,4) s[5][8][5] = 0
17.97/5.21 c (4,4) s[5][8][6] = 0
17.97/5.21 c (4,4) s[5][8][7] = 0
17.97/5.21 c (4,4) s[5][8][8] = 0
17.97/5.21 c (4,4) s[5][8][9] = 1
17.97/5.21 c (4,4) s[5][8][10] = 0
17.97/5.21 c (4,4) s[5][8][11] = 1
17.97/5.21 c (4,4) s[5][8][12] = 1
17.97/5.21 c (4,4) s[5][8][13] = 0
17.97/5.21 c (4,4) s[5][8][14] = 0
17.97/5.21 c (4,4) s[5][8][15] = 0
17.97/5.21 c (4,4) s[5][8][16] = 0
17.97/5.21 c (4,4) s[5][8][17] = 0
17.97/5.21 c (4,4) s[5][8][18] = 1
17.97/5.21 c (4,4) s[5][8][19] = 0
17.97/5.21 c (4,4) s[5][8][20] = 0
17.97/5.21 c (4,4) s[5][8][21] = 0
17.97/5.21 c (4,4) s[5][9][0] = 0
17.97/5.21 c (4,4) s[5][9][1] = 1
17.97/5.21 c (4,4) s[5][9][2] = 0
17.97/5.21 c (4,4) s[5][9][3] = 0
17.97/5.21 c (4,4) s[5][9][4] = 0
17.97/5.21 c (4,4) s[5][9][5] = 1
17.97/5.21 c (4,4) s[5][9][6] = 0
17.97/5.21 c (4,4) s[5][9][7] = 1
17.97/5.21 c (4,4) s[5][9][8] = 0
17.97/5.21 c (4,4) s[5][9][9] = 0
17.97/5.21 c (4,4) s[5][9][10] = 0
17.97/5.21 c (4,4) s[5][9][11] = 1
17.97/5.21 c (4,4) s[5][9][12] = 0
17.97/5.21 c (4,4) s[5][9][13] = 0
17.97/5.21 c (4,4) s[5][9][14] = 1
17.97/5.21 c (4,4) s[5][9][15] = 0
17.97/5.21 c (4,4) s[5][9][16] = 0
17.97/5.21 c (4,4) s[5][9][17] = 0
17.97/5.21 c (4,4) s[5][9][18] = 0
17.97/5.21 c (4,4) s[5][9][19] = 0
17.97/5.21 c (4,4) s[5][9][20] = 0
17.97/5.21 c (4,4) s[5][9][21] = 0
17.97/5.21 c (4,4) s[5][10][0] = 0
17.97/5.21 c (4,4) s[5][10][1] = 1
17.97/5.21 c (4,4) s[5][10][2] = 0
17.97/5.21 c (4,4) s[5][10][3] = 1
17.97/5.21 c (4,4) s[5][10][4] = 0
17.97/5.21 c (4,4) s[5][10][5] = 0
17.97/5.21 c (4,4) s[5][10][6] = 0
17.97/5.21 c (4,4) s[5][10][7] = 1
17.97/5.21 c (4,4) s[5][10][8] = 0
17.97/5.21 c (4,4) s[5][10][9] = 1
17.97/5.21 c (4,4) s[5][10][10] = 0
17.97/5.21 c (4,4) s[5][10][11] = 0
17.97/5.21 c (4,4) s[5][10][12] = 1
17.97/5.21 c (4,4) s[5][10][13] = 0
17.97/5.21 c (4,4) s[5][10][14] = 0
17.97/5.21 c (4,4) s[5][10][15] = 0
17.97/5.21 c (4,4) s[5][10][16] = 0
17.97/5.21 c (4,4) s[5][10][17] = 0
17.97/5.21 c (4,4) s[5][10][18] = 0
17.97/5.21 c (4,4) s[5][10][19] = 0
17.97/5.21 c (4,4) s[5][10][20] = 0
17.97/5.21 c (4,4) s[5][10][21] = 0
17.97/5.21 c (4,4) s[5][11][0] = 0
17.97/5.21 c (4,4) s[5][11][1] = 1
17.97/5.21 c (4,4) s[5][11][2] = 1
17.97/5.21 c (4,4) s[5][11][3] = 0
17.97/5.21 c (4,4) s[5][11][4] = 0
17.97/5.21 c (4,4) s[5][11][5] = 1
17.97/5.21 c (4,4) s[5][11][6] = 0
17.97/5.21 c (4,4) s[5][11][7] = 0
17.97/5.21 c (4,4) s[5][11][8] = 0
17.97/5.21 c (4,4) s[5][11][9] = 0
17.97/5.21 c (4,4) s[5][11][10] = 0
17.97/5.21 c (4,4) s[5][11][11] = 0
17.97/5.21 c (4,4) s[5][11][12] = 0
17.97/5.21 c (4,4) s[5][11][13] = 0
17.97/5.21 c (4,4) s[5][11][14] = 0
17.97/5.21 c (4,4) s[5][11][15] = 0
17.97/5.21 c (4,4) s[5][11][16] = 0
17.97/5.21 c (4,4) s[5][11][17] = 0
17.97/5.21 c (4,4) s[5][11][18] = 1
17.97/5.21 c (4,4) s[5][11][19] = 0
17.97/5.21 c (4,4) s[5][11][20] = 0
17.97/5.21 c (4,4) s[5][11][21] = 1
17.97/5.21 c (4,4) s[6][7][0] = 1
17.97/5.21 c (4,4) s[6][7][1] = 0
17.97/5.21 c (4,4) s[6][7][2] = 1
17.97/5.21 c (4,4) s[6][7][3] = 1
17.97/5.21 c (4,4) s[6][7][4] = 1
17.97/5.21 c (4,4) s[6][7][5] = 0
17.97/5.21 c (4,4) s[6][7][6] = 0
17.97/5.21 c (4,4) s[6][7][7] = 0
17.97/5.21 c (4,4) s[6][7][8] = 0
17.97/5.21 c (4,4) s[6][7][9] = 0
17.97/5.21 c (4,4) s[6][7][10] = 0
17.97/5.21 c (4,4) s[6][7][11] = 0
17.97/5.21 c (4,4) s[6][7][12] = 0
17.97/5.21 c (4,4) s[6][7][13] = 0
17.97/5.21 c (4,4) s[6][7][14] = 0
17.97/5.21 c (4,4) s[6][7][15] = 0
17.97/5.21 c (4,4) s[6][7][16] = 0
17.97/5.21 c (4,4) s[6][7][17] = 1
17.97/5.21 c (4,4) s[6][7][18] = 0
17.97/5.21 c (4,4) s[6][7][19] = 0
17.97/5.21 c (4,4) s[6][7][20] = 0
17.97/5.21 c (4,4) s[6][7][21] = 0
17.97/5.21 c (4,4) s[6][8][0] = 1
17.97/5.21 c (4,4) s[6][8][1] = 0
17.97/5.21 c (4,4) s[6][8][2] = 0
17.97/5.21 c (4,4) s[6][8][3] = 0
17.97/5.21 c (4,4) s[6][8][4] = 1
17.97/5.21 c (4,4) s[6][8][5] = 0
17.97/5.21 c (4,4) s[6][8][6] = 0
17.97/5.21 c (4,4) s[6][8][7] = 0
17.97/5.21 c (4,4) s[6][8][8] = 0
17.97/5.21 c (4,4) s[6][8][9] = 0
17.97/5.21 c (4,4) s[6][8][10] = 0
17.97/5.21 c (4,4) s[6][8][11] = 1
17.97/5.21 c (4,4) s[6][8][12] = 0
17.97/5.21 c (4,4) s[6][8][13] = 1
17.97/5.21 c (4,4) s[6][8][14] = 0
17.97/5.21 c (4,4) s[6][8][15] = 0
17.97/5.21 c (4,4) s[6][8][16] = 0
17.97/5.21 c (4,4) s[6][8][17] = 1
17.97/5.21 c (4,4) s[6][8][18] = 0
17.97/5.21 c (4,4) s[6][8][19] = 0
17.97/5.21 c (4,4) s[6][8][20] = 0
17.97/5.21 c (4,4) s[6][8][21] = 0
17.97/5.21 c (4,4) s[6][9][0] = 1
17.97/5.21 c (4,4) s[6][9][1] = 0
17.97/5.21 c (4,4) s[6][9][2] = 0
17.97/5.21 c (4,4) s[6][9][3] = 0
17.97/5.21 c (4,4) s[6][9][4] = 1
17.97/5.21 c (4,4) s[6][9][5] = 0
17.97/5.21 c (4,4) s[6][9][6] = 0
17.97/5.21 c (4,4) s[6][9][7] = 1
17.97/5.21 c (4,4) s[6][9][8] = 0
17.97/5.21 c (4,4) s[6][9][9] = 0
17.97/5.21 c (4,4) s[6][9][10] = 0
17.97/5.21 c (4,4) s[6][9][11] = 1
17.97/5.21 c (4,4) s[6][9][12] = 0
17.97/5.21 c (4,4) s[6][9][13] = 0
17.97/5.21 c (4,4) s[6][9][14] = 0
17.97/5.21 c (4,4) s[6][9][15] = 0
17.97/5.21 c (4,4) s[6][9][16] = 0
17.97/5.21 c (4,4) s[6][9][17] = 0
17.97/5.21 c (4,4) s[6][9][18] = 0
17.97/5.21 c (4,4) s[6][9][19] = 0
17.97/5.21 c (4,4) s[6][9][20] = 1
17.97/5.21 c (4,4) s[6][9][21] = 0
17.97/5.21 c (4,4) s[6][10][0] = 1
17.97/5.21 c (4,4) s[6][10][1] = 0
17.97/5.21 c (4,4) s[6][10][2] = 0
17.97/5.21 c (4,4) s[6][10][3] = 1
17.97/5.21 c (4,4) s[6][10][4] = 0
17.97/5.21 c (4,4) s[6][10][5] = 0
17.97/5.21 c (4,4) s[6][10][6] = 1
17.97/5.21 c (4,4) s[6][10][7] = 1
17.97/5.21 c (4,4) s[6][10][8] = 0
17.97/5.21 c (4,4) s[6][10][9] = 0
17.97/5.21 c (4,4) s[6][10][10] = 0
17.97/5.21 c (4,4) s[6][10][11] = 0
17.97/5.21 c (4,4) s[6][10][12] = 0
17.97/5.21 c (4,4) s[6][10][13] = 0
17.97/5.21 c (4,4) s[6][10][14] = 0
17.97/5.21 c (4,4) s[6][10][15] = 0
17.97/5.21 c (4,4) s[6][10][16] = 0
17.97/5.21 c (4,4) s[6][10][17] = 1
17.97/5.21 c (4,4) s[6][10][18] = 0
17.97/5.21 c (4,4) s[6][10][19] = 0
17.97/5.21 c (4,4) s[6][10][20] = 0
17.97/5.21 c (4,4) s[6][10][21] = 0
17.97/5.21 c (4,4) s[6][11][0] = 1
17.97/5.21 c (4,4) s[6][11][1] = 0
17.97/5.21 c (4,4) s[6][11][2] = 1
17.97/5.21 c (4,4) s[6][11][3] = 0
17.97/5.21 c (4,4) s[6][11][4] = 0
17.97/5.21 c (4,4) s[6][11][5] = 0
17.97/5.21 c (4,4) s[6][11][6] = 1
17.97/5.21 c (4,4) s[6][11][7] = 0
17.97/5.21 c (4,4) s[6][11][8] = 0
17.97/5.21 c (4,4) s[6][11][9] = 0
17.97/5.21 c (4,4) s[6][11][10] = 0
17.97/5.21 c (4,4) s[6][11][11] = 0
17.97/5.21 c (4,4) s[6][11][12] = 0
17.97/5.21 c (4,4) s[6][11][13] = 1
17.97/5.21 c (4,4) s[6][11][14] = 0
17.97/5.21 c (4,4) s[6][11][15] = 0
17.97/5.21 c (4,4) s[6][11][16] = 0
17.97/5.21 c (4,4) s[6][11][17] = 0
17.97/5.21 c (4,4) s[6][11][18] = 0
17.97/5.21 c (4,4) s[6][11][19] = 0
17.97/5.21 c (4,4) s[6][11][20] = 0
17.97/5.21 c (4,4) s[6][11][21] = 1
17.97/5.21 c (4,4) s[7][8][0] = 1
17.97/5.21 c (4,4) s[7][8][1] = 0
17.97/5.21 c (4,4) s[7][8][2] = 0
17.97/5.21 c (4,4) s[7][8][3] = 0
17.97/5.21 c (4,4) s[7][8][4] = 1
17.97/5.21 c (4,4) s[7][8][5] = 0
17.97/5.21 c (4,4) s[7][8][6] = 0
17.97/5.21 c (4,4) s[7][8][7] = 0
17.97/5.21 c (4,4) s[7][8][8] = 0
17.97/5.21 c (4,4) s[7][8][9] = 0
17.97/5.21 c (4,4) s[7][8][10] = 1
17.97/5.21 c (4,4) s[7][8][11] = 0
17.97/5.21 c (4,4) s[7][8][12] = 0
17.97/5.21 c (4,4) s[7][8][13] = 0
17.97/5.21 c (4,4) s[7][8][14] = 0
17.97/5.21 c (4,4) s[7][8][15] = 0
17.97/5.21 c (4,4) s[7][8][16] = 0
17.97/5.21 c (4,4) s[7][8][17] = 1
17.97/5.21 c (4,4) s[7][8][18] = 1
17.97/5.21 c (4,4) s[7][8][19] = 0
17.97/5.21 c (4,4) s[7][8][20] = 0
17.97/5.21 c (4,4) s[7][8][21] = 0
17.97/5.21 c (4,4) s[7][9][0] = 1
17.97/5.21 c (4,4) s[7][9][1] = 0
17.97/5.21 c (4,4) s[7][9][2] = 0
17.97/5.21 c (4,4) s[7][9][3] = 0
17.97/5.21 c (4,4) s[7][9][4] = 1
17.97/5.21 c (4,4) s[7][9][5] = 1
17.97/5.21 c (4,4) s[7][9][6] = 0
17.97/5.21 c (4,4) s[7][9][7] = 0
17.97/5.21 c (4,4) s[7][9][8] = 0
17.97/5.21 c (4,4) s[7][9][9] = 0
17.97/5.21 c (4,4) s[7][9][10] = 0
17.97/5.21 c (4,4) s[7][9][11] = 0
17.97/5.21 c (4,4) s[7][9][12] = 0
17.97/5.21 c (4,4) s[7][9][13] = 0
17.97/5.21 c (4,4) s[7][9][14] = 1
17.97/5.21 c (4,4) s[7][9][15] = 0
17.97/5.21 c (4,4) s[7][9][16] = 0
17.97/5.21 c (4,4) s[7][9][17] = 0
17.97/5.21 c (4,4) s[7][9][18] = 0
17.97/5.21 c (4,4) s[7][9][19] = 1
17.97/5.21 c (4,4) s[7][9][20] = 0
17.97/5.21 c (4,4) s[7][9][21] = 0
17.97/5.21 c (4,4) s[7][10][0] = 1
17.97/5.21 c (4,4) s[7][10][1] = 0
17.97/5.21 c (4,4) s[7][10][2] = 0
17.97/5.21 c (4,4) s[7][10][3] = 1
17.97/5.21 c (4,4) s[7][10][4] = 0
17.97/5.21 c (4,4) s[7][10][5] = 0
17.97/5.21 c (4,4) s[7][10][6] = 0
17.97/5.21 c (4,4) s[7][10][7] = 0
17.97/5.21 c (4,4) s[7][10][8] = 0
17.97/5.21 c (4,4) s[7][10][9] = 0
17.97/5.21 c (4,4) s[7][10][10] = 0
17.97/5.21 c (4,4) s[7][10][11] = 0
17.97/5.21 c (4,4) s[7][10][12] = 0
17.97/5.21 c (4,4) s[7][10][13] = 0
17.97/5.21 c (4,4) s[7][10][14] = 0
17.97/5.21 c (4,4) s[7][10][15] = 0
17.97/5.21 c (4,4) s[7][10][16] = 1
17.97/5.21 c (4,4) s[7][10][17] = 1
17.97/5.21 c (4,4) s[7][10][18] = 0
17.97/5.21 c (4,4) s[7][10][19] = 1
17.97/5.21 c (4,4) s[7][10][20] = 0
17.97/5.21 c (4,4) s[7][10][21] = 0
17.97/5.21 c (4,4) s[7][11][0] = 1
17.97/5.21 c (4,4) s[7][11][1] = 0
17.97/5.21 c (4,4) s[7][11][2] = 1
17.97/5.21 c (4,4) s[7][11][3] = 0
17.97/5.21 c (4,4) s[7][11][4] = 0
17.97/5.21 c (4,4) s[7][11][5] = 1
17.97/5.21 c (4,4) s[7][11][6] = 0
17.97/5.21 c (4,4) s[7][11][7] = 0
17.97/5.21 c (4,4) s[7][11][8] = 0
17.97/5.21 c (4,4) s[7][11][9] = 0
17.97/5.21 c (4,4) s[7][11][10] = 0
17.97/5.21 c (4,4) s[7][11][11] = 0
17.97/5.21 c (4,4) s[7][11][12] = 0
17.97/5.21 c (4,4) s[7][11][13] = 0
17.97/5.21 c (4,4) s[7][11][14] = 0
17.97/5.21 c (4,4) s[7][11][15] = 0
17.97/5.21 c (4,4) s[7][11][16] = 1
17.97/5.21 c (4,4) s[7][11][17] = 0
17.97/5.21 c (4,4) s[7][11][18] = 1
17.97/5.21 c (4,4) s[7][11][19] = 0
17.97/5.21 c (4,4) s[7][11][20] = 0
17.97/5.21 c (4,4) s[7][11][21] = 0
17.97/5.21 c (4,4) s[8][9][0] = 1
17.97/5.21 c (4,4) s[8][9][1] = 1
17.97/5.21 c (4,4) s[8][9][2] = 0
17.97/5.21 c (4,4) s[8][9][3] = 0
17.97/5.21 c (4,4) s[8][9][4] = 1
17.97/5.21 c (4,4) s[8][9][5] = 0
17.97/5.21 c (4,4) s[8][9][6] = 0
17.97/5.21 c (4,4) s[8][9][7] = 0
17.97/5.21 c (4,4) s[8][9][8] = 1
17.97/5.21 c (4,4) s[8][9][9] = 0
17.97/5.21 c (4,4) s[8][9][10] = 0
17.97/5.21 c (4,4) s[8][9][11] = 1
17.97/5.21 c (4,4) s[8][9][12] = 0
17.97/5.21 c (4,4) s[8][9][13] = 0
17.97/5.21 c (4,4) s[8][9][14] = 0
17.97/5.21 c (4,4) s[8][9][15] = 0
17.97/5.21 c (4,4) s[8][9][16] = 0
17.97/5.21 c (4,4) s[8][9][17] = 0
17.97/5.21 c (4,4) s[8][9][18] = 0
17.97/5.21 c (4,4) s[8][9][19] = 0
17.97/5.21 c (4,4) s[8][9][20] = 0
17.97/5.21 c (4,4) s[8][9][21] = 0
17.97/5.21 c (4,4) s[8][10][0] = 1
17.97/5.21 c (4,4) s[8][10][1] = 1
17.97/5.21 c (4,4) s[8][10][2] = 0
17.97/5.21 c (4,4) s[8][10][3] = 0
17.97/5.21 c (4,4) s[8][10][4] = 0
17.97/5.21 c (4,4) s[8][10][5] = 0
17.97/5.21 c (4,4) s[8][10][6] = 0
17.97/5.21 c (4,4) s[8][10][7] = 0
17.97/5.21 c (4,4) s[8][10][8] = 0
17.97/5.21 c (4,4) s[8][10][9] = 1
17.97/5.21 c (4,4) s[8][10][10] = 0
17.97/5.21 c (4,4) s[8][10][11] = 0
17.97/5.21 c (4,4) s[8][10][12] = 1
17.97/5.21 c (4,4) s[8][10][13] = 0
17.97/5.21 c (4,4) s[8][10][14] = 0
17.97/5.21 c (4,4) s[8][10][15] = 0
17.97/5.21 c (4,4) s[8][10][16] = 0
17.97/5.21 c (4,4) s[8][10][17] = 1
17.97/5.21 c (4,4) s[8][10][18] = 0
17.97/5.21 c (4,4) s[8][10][19] = 0
17.97/5.21 c (4,4) s[8][10][20] = 0
17.97/5.21 c (4,4) s[8][10][21] = 0
17.97/5.21 c (4,4) s[8][11][0] = 1
17.97/5.21 c (4,4) s[8][11][1] = 1
17.97/5.21 c (4,4) s[8][11][2] = 0
17.97/5.21 c (4,4) s[8][11][3] = 0
17.97/5.21 c (4,4) s[8][11][4] = 0
17.97/5.21 c (4,4) s[8][11][5] = 0
17.97/5.21 c (4,4) s[8][11][6] = 0
17.97/5.21 c (4,4) s[8][11][7] = 0
17.97/5.21 c (4,4) s[8][11][8] = 1
17.97/5.21 c (4,4) s[8][11][9] = 0
17.97/5.21 c (4,4) s[8][11][10] = 0
17.97/5.21 c (4,4) s[8][11][11] = 0
17.97/5.21 c (4,4) s[8][11][12] = 0
17.97/5.21 c (4,4) s[8][11][13] = 1
17.97/5.21 c (4,4) s[8][11][14] = 0
17.97/5.21 c (4,4) s[8][11][15] = 0
17.97/5.21 c (4,4) s[8][11][16] = 0
17.97/5.21 c (4,4) s[8][11][17] = 0
17.97/5.21 c (4,4) s[8][11][18] = 1
17.97/5.21 c (4,4) s[8][11][19] = 0
17.97/5.21 c (4,4) s[8][11][20] = 0
17.97/5.21 c (4,4) s[8][11][21] = 0
17.97/5.21 c (4,4) s[9][10][0] = 1
17.97/5.21 c (4,4) s[9][10][1] = 1
17.97/5.21 c (4,4) s[9][10][2] = 0
17.97/5.21 c (4,4) s[9][10][3] = 0
17.97/5.21 c (4,4) s[9][10][4] = 0
17.97/5.21 c (4,4) s[9][10][5] = 0
17.97/5.21 c (4,4) s[9][10][6] = 0
17.97/5.21 c (4,4) s[9][10][7] = 1
17.97/5.21 c (4,4) s[9][10][8] = 0
17.97/5.21 c (4,4) s[9][10][9] = 0
17.97/5.21 c (4,4) s[9][10][10] = 0
17.97/5.21 c (4,4) s[9][10][11] = 0
17.97/5.21 c (4,4) s[9][10][12] = 0
17.97/5.21 c (4,4) s[9][10][13] = 0
17.97/5.21 c (4,4) s[9][10][14] = 0
17.97/5.21 c (4,4) s[9][10][15] = 1
17.97/5.21 c (4,4) s[9][10][16] = 0
17.97/5.21 c (4,4) s[9][10][17] = 0
17.97/5.21 c (4,4) s[9][10][18] = 0
17.97/5.21 c (4,4) s[9][10][19] = 1
17.97/5.21 c (4,4) s[9][10][20] = 0
17.97/5.21 c (4,4) s[9][10][21] = 0
17.97/5.21 c (4,4) s[9][11][0] = 1
17.97/5.21 c (4,4) s[9][11][1] = 1
17.97/5.21 c (4,4) s[9][11][2] = 0
17.97/5.21 c (4,4) s[9][11][3] = 0
17.97/5.21 c (4,4) s[9][11][4] = 0
17.97/5.21 c (4,4) s[9][11][5] = 1
17.97/5.21 c (4,4) s[9][11][6] = 0
17.97/5.21 c (4,4) s[9][11][7] = 0
17.97/5.21 c (4,4) s[9][11][8] = 1
17.97/5.21 c (4,4) s[9][11][9] = 0
17.97/5.21 c (4,4) s[9][11][10] = 0
17.97/5.21 c (4,4) s[9][11][11] = 0
17.97/5.21 c (4,4) s[9][11][12] = 0
17.97/5.21 c (4,4) s[9][11][13] = 0
17.97/5.21 c (4,4) s[9][11][14] = 0
17.97/5.21 c (4,4) s[9][11][15] = 1
17.97/5.21 c (4,4) s[9][11][16] = 0
17.97/5.21 c (4,4) s[9][11][17] = 0
17.97/5.21 c (4,4) s[9][11][18] = 0
17.97/5.21 c (4,4) s[9][11][19] = 0
17.97/5.21 c (4,4) s[9][11][20] = 0
17.97/5.21 c (4,4) s[9][11][21] = 0
17.97/5.21 c (4,4) s[10][11][0] = 1
17.97/5.21 c (4,4) s[10][11][1] = 1
17.97/5.21 c (4,4) s[10][11][2] = 0
17.97/5.21 c (4,4) s[10][11][3] = 0
17.97/5.21 c (4,4) s[10][11][4] = 0
17.97/5.21 c (4,4) s[10][11][5] = 0
17.97/5.21 c (4,4) s[10][11][6] = 1
17.97/5.21 c (4,4) s[10][11][7] = 0
17.97/5.21 c (4,4) s[10][11][8] = 0
17.97/5.21 c (4,4) s[10][11][9] = 0
17.97/5.21 c (4,4) s[10][11][10] = 0
17.97/5.21 c (4,4) s[10][11][11] = 0
17.97/5.21 c (4,4) s[10][11][12] = 0
17.97/5.21 c (4,4) s[10][11][13] = 0
17.97/5.21 c (4,4) s[10][11][14] = 0
17.97/5.21 c (4,4) s[10][11][15] = 1
17.97/5.21 c (4,4) s[10][11][16] = 1
17.97/5.21 c (4,4) s[10][11][17] = 0
17.97/5.21 c (4,4) s[10][11][18] = 0
17.97/5.21 c (4,4) s[10][11][19] = 0
17.97/5.21 c (4,4) s[10][11][20] = 0
17.97/5.21 c (4,4) s[10][11][21] = 0
17.97/5.21 c (4,4) x[0][0] = 0
17.97/5.21 c (4,4) x[0][1] = 0
17.97/5.21 c (4,4) x[0][2] = 0
17.97/5.21 c (4,4) x[0][3] = 0
17.97/5.21 c (4,4) x[0][4] = 0
17.97/5.21 c (4,4) x[0][5] = 0
17.97/5.21 c (4,4) x[0][6] = 0
17.97/5.21 c (4,4) x[0][7] = 0
17.97/5.21 c (4,4) x[0][8] = 0
17.97/5.21 c (4,4) x[0][9] = 0
17.97/5.21 c (4,4) x[0][10] = 0
17.97/5.21 c (4,4) x[0][11] = 1
17.97/5.21 c (4,4) x[0][12] = 1
17.97/5.21 c (4,4) x[0][13] = 1
17.97/5.21 c (4,4) x[0][14] = 1
17.97/5.21 c (4,4) x[0][15] = 1
17.97/5.21 c (4,4) x[0][16] = 1
17.97/5.21 c (4,4) x[0][17] = 1
17.97/5.21 c (4,4) x[0][18] = 1
17.97/5.21 c (4,4) x[0][19] = 1
17.97/5.21 c (4,4) x[0][20] = 1
17.97/5.21 c (4,4) x[0][21] = 1
17.97/5.21 c (4,4) x[1][0] = 0
17.97/5.21 c (4,4) x[1][1] = 0
17.97/5.21 c (4,4) x[1][2] = 0
17.97/5.21 c (4,4) x[1][3] = 0
17.97/5.21 c (4,4) x[1][4] = 0
17.97/5.21 c (4,4) x[1][5] = 1
17.97/5.21 c (4,4) x[1][6] = 1
17.97/5.21 c (4,4) x[1][7] = 1
17.97/5.21 c (4,4) x[1][8] = 1
17.97/5.21 c (4,4) x[1][9] = 1
17.97/5.21 c (4,4) x[1][10] = 1
17.97/5.21 c (4,4) x[1][11] = 0
17.97/5.21 c (4,4) x[1][12] = 0
17.97/5.21 c (4,4) x[1][13] = 0
17.97/5.21 c (4,4) x[1][14] = 0
17.97/5.21 c (4,4) x[1][15] = 0
17.97/5.21 c (4,4) x[1][16] = 0
17.97/5.21 c (4,4) x[1][17] = 1
17.97/5.21 c (4,4) x[1][18] = 1
17.97/5.21 c (4,4) x[1][19] = 1
17.97/5.21 c (4,4) x[1][20] = 1
17.97/5.21 c (4,4) x[1][21] = 1
17.97/5.21 c (4,4) x[2][0] = 0
17.97/5.21 c (4,4) x[2][1] = 0
17.97/5.21 c (4,4) x[2][2] = 0
17.97/5.21 c (4,4) x[2][3] = 1
17.97/5.21 c (4,4) x[2][4] = 1
17.97/5.21 c (4,4) x[2][5] = 0
17.97/5.21 c (4,4) x[2][6] = 0
17.97/5.21 c (4,4) x[2][7] = 1
17.97/5.21 c (4,4) x[2][8] = 1
17.97/5.21 c (4,4) x[2][9] = 1
17.97/5.21 c (4,4) x[2][10] = 1
17.97/5.21 c (4,4) x[2][11] = 0
17.97/5.21 c (4,4) x[2][12] = 0
17.97/5.21 c (4,4) x[2][13] = 1
17.97/5.21 c (4,4) x[2][14] = 1
17.97/5.21 c (4,4) x[2][15] = 1
17.97/5.21 c (4,4) x[2][16] = 1
17.97/5.21 c (4,4) x[2][17] = 0
17.97/5.21 c (4,4) x[2][18] = 0
17.97/5.21 c (4,4) x[2][19] = 0
17.97/5.21 c (4,4) x[2][20] = 0
17.97/5.21 c (4,4) x[2][21] = 1
17.97/5.21 c (4,4) x[3][0] = 0
17.97/5.21 c (4,4) x[3][1] = 0
17.97/5.21 c (4,4) x[3][2] = 1
17.97/5.21 c (4,4) x[3][3] = 0
17.97/5.21 c (4,4) x[3][4] = 1
17.97/5.21 c (4,4) x[3][5] = 1
17.97/5.21 c (4,4) x[3][6] = 1
17.97/5.21 c (4,4) x[3][7] = 0
17.97/5.21 c (4,4) x[3][8] = 0
17.97/5.21 c (4,4) x[3][9] = 1
17.97/5.21 c (4,4) x[3][10] = 1
17.97/5.21 c (4,4) x[3][11] = 1
17.97/5.21 c (4,4) x[3][12] = 1
17.97/5.21 c (4,4) x[3][13] = 0
17.97/5.21 c (4,4) x[3][14] = 0
17.97/5.21 c (4,4) x[3][15] = 1
17.97/5.21 c (4,4) x[3][16] = 1
17.97/5.21 c (4,4) x[3][17] = 0
17.97/5.21 c (4,4) x[3][18] = 0
17.97/5.21 c (4,4) x[3][19] = 0
17.97/5.21 c (4,4) x[3][20] = 1
17.97/5.21 c (4,4) x[3][21] = 0
17.97/5.21 c (4,4) x[4][0] = 0
17.97/5.21 c (4,4) x[4][1] = 1
17.97/5.21 c (4,4) x[4][2] = 1
17.97/5.21 c (4,4) x[4][3] = 1
17.97/5.21 c (4,4) x[4][4] = 0
17.97/5.21 c (4,4) x[4][5] = 0
17.97/5.21 c (4,4) x[4][6] = 1
17.97/5.21 c (4,4) x[4][7] = 0
17.97/5.21 c (4,4) x[4][8] = 1
17.97/5.21 c (4,4) x[4][9] = 0
17.97/5.21 c (4,4) x[4][10] = 1
17.97/5.21 c (4,4) x[4][11] = 0
17.97/5.21 c (4,4) x[4][12] = 1
17.97/5.21 c (4,4) x[4][13] = 1
17.97/5.21 c (4,4) x[4][14] = 1
17.97/5.21 c (4,4) x[4][15] = 0
17.97/5.21 c (4,4) x[4][16] = 0
17.97/5.21 c (4,4) x[4][17] = 0
17.97/5.21 c (4,4) x[4][18] = 0
17.97/5.21 c (4,4) x[4][19] = 1
17.97/5.21 c (4,4) x[4][20] = 1
17.97/5.21 c (4,4) x[4][21] = 0
17.97/5.21 c (4,4) x[5][0] = 0
17.97/5.21 c (4,4) x[5][1] = 1
17.97/5.21 c (4,4) x[5][2] = 1
17.97/5.21 c (4,4) x[5][3] = 1
17.97/5.21 c (4,4) x[5][4] = 0
17.97/5.21 c (4,4) x[5][5] = 1
17.97/5.21 c (4,4) x[5][6] = 0
17.97/5.21 c (4,4) x[5][7] = 1
17.97/5.21 c (4,4) x[5][8] = 0
17.97/5.21 c (4,4) x[5][9] = 1
17.97/5.21 c (4,4) x[5][10] = 0
17.97/5.21 c (4,4) x[5][11] = 1
17.97/5.21 c (4,4) x[5][12] = 1
17.97/5.21 c (4,4) x[5][13] = 0
17.97/5.21 c (4,4) x[5][14] = 1
17.97/5.21 c (4,4) x[5][15] = 0
17.97/5.21 c (4,4) x[5][16] = 0
17.97/5.21 c (4,4) x[5][17] = 0
17.97/5.21 c (4,4) x[5][18] = 1
17.97/5.21 c (4,4) x[5][19] = 0
17.97/5.21 c (4,4) x[5][20] = 0
17.97/5.21 c (4,4) x[5][21] = 1
17.97/5.21 c (4,4) x[6][0] = 1
17.97/5.21 c (4,4) x[6][1] = 0
17.97/5.21 c (4,4) x[6][2] = 1
17.97/5.21 c (4,4) x[6][3] = 1
17.97/5.21 c (4,4) x[6][4] = 1
17.97/5.21 c (4,4) x[6][5] = 0
17.97/5.21 c (4,4) x[6][6] = 1
17.97/5.21 c (4,4) x[6][7] = 1
17.97/5.21 c (4,4) x[6][8] = 0
17.97/5.21 c (4,4) x[6][9] = 0
17.97/5.21 c (4,4) x[6][10] = 0
17.97/5.21 c (4,4) x[6][11] = 1
17.97/5.21 c (4,4) x[6][12] = 0
17.97/5.21 c (4,4) x[6][13] = 1
17.97/5.21 c (4,4) x[6][14] = 0
17.97/5.21 c (4,4) x[6][15] = 0
17.97/5.21 c (4,4) x[6][16] = 0
17.97/5.21 c (4,4) x[6][17] = 1
17.97/5.21 c (4,4) x[6][18] = 0
17.97/5.21 c (4,4) x[6][19] = 0
17.97/5.21 c (4,4) x[6][20] = 1
17.97/5.21 c (4,4) x[6][21] = 1
17.97/5.21 c (4,4) x[7][0] = 1
17.97/5.21 c (4,4) x[7][1] = 0
17.97/5.21 c (4,4) x[7][2] = 1
17.97/5.21 c (4,4) x[7][3] = 1
17.97/5.21 c (4,4) x[7][4] = 1
17.97/5.21 c (4,4) x[7][5] = 1
17.97/5.21 c (4,4) x[7][6] = 0
17.97/5.21 c (4,4) x[7][7] = 0
17.97/5.21 c (4,4) x[7][8] = 0
17.97/5.21 c (4,4) x[7][9] = 0
17.97/5.21 c (4,4) x[7][10] = 1
17.97/5.21 c (4,4) x[7][11] = 0
17.97/5.21 c (4,4) x[7][12] = 0
17.97/5.21 c (4,4) x[7][13] = 0
17.97/5.21 c (4,4) x[7][14] = 1
17.97/5.21 c (4,4) x[7][15] = 0
17.97/5.21 c (4,4) x[7][16] = 1
17.97/5.21 c (4,4) x[7][17] = 1
17.97/5.21 c (4,4) x[7][18] = 1
17.97/5.21 c (4,4) x[7][19] = 1
17.97/5.21 c (4,4) x[7][20] = 0
17.97/5.21 c (4,4) x[7][21] = 0
17.97/5.21 c (4,4) x[8][0] = 1
17.97/5.21 c (4,4) x[8][1] = 1
17.97/5.21 c (4,4) x[8][2] = 0
17.97/5.21 c (4,4) x[8][3] = 0
17.97/5.21 c (4,4) x[8][4] = 1
17.97/5.21 c (4,4) x[8][5] = 0
17.97/5.21 c (4,4) x[8][6] = 0
17.97/5.21 c (4,4) x[8][7] = 0
17.97/5.21 c (4,4) x[8][8] = 1
17.97/5.21 c (4,4) x[8][9] = 1
17.97/5.21 c (4,4) x[8][10] = 1
17.97/5.21 c (4,4) x[8][11] = 1
17.97/5.21 c (4,4) x[8][12] = 1
17.97/5.21 c (4,4) x[8][13] = 1
17.97/5.21 c (4,4) x[8][14] = 0
17.97/5.21 c (4,4) x[8][15] = 0
17.97/5.21 c (4,4) x[8][16] = 0
17.97/5.21 c (4,4) x[8][17] = 1
17.97/5.21 c (4,4) x[8][18] = 1
17.97/5.21 c (4,4) x[8][19] = 0
17.97/5.21 c (4,4) x[8][20] = 0
17.97/5.21 c (4,4) x[8][21] = 0
17.97/5.21 c (4,4) x[9][0] = 1
17.97/5.21 c (4,4) x[9][1] = 1
17.97/5.21 c (4,4) x[9][2] = 0
17.97/5.21 c (4,4) x[9][3] = 0
17.97/5.21 c (4,4) x[9][4] = 1
17.97/5.21 c (4,4) x[9][5] = 1
17.97/5.21 c (4,4) x[9][6] = 0
17.97/5.21 c (4,4) x[9][7] = 1
17.97/5.21 c (4,4) x[9][8] = 1
17.97/5.21 c (4,4) x[9][9] = 0
17.97/5.21 c (4,4) x[9][10] = 0
17.97/5.21 c (4,4) x[9][11] = 1
17.97/5.21 c (4,4) x[9][12] = 0
17.97/5.21 c (4,4) x[9][13] = 0
17.97/5.21 c (4,4) x[9][14] = 1
17.97/5.21 c (4,4) x[9][15] = 1
17.97/5.21 c (4,4) x[9][16] = 0
17.97/5.21 c (4,4) x[9][17] = 0
17.97/5.22 c (4,4) x[9][18] = 0
17.97/5.22 c (4,4) x[9][19] = 1
17.97/5.22 c (4,4) x[9][20] = 1
17.97/5.22 c (4,4) x[9][21] = 0
17.97/5.22 c (4,4) x[10][0] = 1
17.97/5.22 c (4,4) x[10][1] = 1
17.97/5.22 c (4,4) x[10][2] = 0
17.97/5.22 c (4,4) x[10][3] = 1
17.97/5.22 c (4,4) x[10][4] = 0
17.97/5.22 c (4,4) x[10][5] = 0
17.97/5.22 c (4,4) x[10][6] = 1
17.97/5.22 c (4,4) x[10][7] = 1
17.97/5.22 c (4,4) x[10][8] = 0
17.97/5.22 c (4,4) x[10][9] = 1
17.97/5.22 c (4,4) x[10][10] = 0
17.97/5.22 c (4,4) x[10][11] = 0
17.97/5.22 c (4,4) x[10][12] = 1
17.97/5.22 c (4,4) x[10][13] = 0
17.97/5.22 c (4,4) x[10][14] = 0
17.97/5.22 c (4,4) x[10][15] = 1
17.97/5.22 c (4,4) x[10][16] = 1
17.97/5.22 c (4,4) x[10][17] = 1
17.97/5.22 c (4,4) x[10][18] = 0
17.97/5.22 c (4,4) x[10][19] = 1
17.97/5.22 c (4,4) x[10][20] = 0
17.97/5.22 c (4,4) x[10][21] = 0
17.97/5.22 c (4,4) x[11][0] = 1
17.97/5.22 c (4,4) x[11][1] = 1
17.97/5.22 c (4,4) x[11][2] = 1
17.97/5.22 c (4,4) x[11][3] = 0
17.97/5.22 c (4,4) x[11][4] = 0
17.97/5.22 c (4,4) x[11][5] = 1
17.97/5.22 c (4,4) x[11][6] = 1
17.97/5.22 c (4,4) x[11][7] = 0
17.97/5.22 c (4,4) x[11][8] = 1
17.97/5.22 c (4,4) x[11][9] = 0
17.97/5.22 c (4,4) x[11][10] = 0
17.97/5.22 c (4,4) x[11][11] = 0
17.97/5.22 c (4,4) x[11][12] = 0
17.97/5.22 c (4,4) x[11][13] = 1
17.97/5.22 c (4,4) x[11][14] = 0
17.97/5.22 c (4,4) x[11][15] = 1
17.97/5.22 c (4,4) x[11][16] = 1
17.97/5.22 c (4,4) x[11][17] = 0
17.97/5.22 c (4,4) x[11][18] = 1
17.97/5.22 c (4,4) x[11][19] = 0
17.97/5.22 c (4,4) x[11][20] = 0
17.97/5.22 c (4,4) x[11][21] = 1
17.97/5.22 s SATISFIABLE
17.97/5.22 v <instantiation>
17.97/5.22 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][1][18] s[0][1][19] s[0][1][20] s[0][1][21] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][2][18] s[0][2][19] s[0][2][20] s[0][2][21] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][3][18] s[0][3][19] s[0][3][20] s[0][3][21] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][4][18] s[0][4][19] s[0][4][20] s[0][4][21] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][5][18] s[0][5][19] s[0][5][20] s[0][5][21] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[0][6][7] s[0][6][8] s[0][6][9] s[0][6][10] s[0][6][11] s[0][6][12] s[0][6][13] s[0][6][14] s[0][6][15] s[0][6][16] s[0][6][17] s[0][6][18] s[0][6][19] s[0][6][20] s[0][6][21] s[0][7][0] s[0][7][1] s[0][7][2] s[0][7][3] s[0][7][4] s[0][7][5] s[0][7][6] s[0][7][7] s[0][7][8] s[0][7][9] s[0][7][10] s[0][7][11] s[0][7][12] s[0][7][13] s[0][7][14] s[0][7][15] s[0][7][16] s[0][7][17] s[0][7][18] s[0][7][19] s[0][7][20] s[0][7][21] s[0][8][0] s[0][8][1] s[0][8][2] s[0][8][3] s[0][8][4] s[0][8][5] s[0][8][6] s[0][8][7] s[0][8][8] s[0][8][9] s[0][8][10] s[0][8][11] s[0][8][12] s[0][8][13] s[0][8][14] s[0][8][15] s[0][8][16] s[0][8][17] s[0][8][18] s[0][8][19] s[0][8][20] s[0][8][21] s[0][9][0] s[0][9][1] s[0][9][2] s[0][9][3] s[0][9][4] s[0][9][5] s[0][9][6] s[0][9][7] s[0][9][8] s[0][9][9] s[0][9][10] s[0][9][11] s[0][9][12] s[0][9][13] s[0][9][14] s[0][9][15] s[0][9][16] s[0][9][17] s[0][9][18] s[0][9][19] s[0][9][20] s[0][9][21] s[0][10][0] s[0][10][1] s[0][10][2] s[0][10][3] s[0][10][4] s[0][10][5] s[0][10][6] s[0][10][7] s[0][10][8] s[0][10][9] s[0][10][10] s[0][10][11] s[0][10][12] s[0][10][13] s[0][10][14] s[0][10][15] s[0][10][16] s[0][10][17] s[0][10][18] s[0][10][19] s[0][10][20] s[0][10][21] s[0][11][0] s[0][11][1] s[0][11][2] s[0][11][3] s[0][11][4] s[0][11][5] s[0][11][6] s[0][11][7] s[0][11][8] s[0][11][9] s[0][11][10] s[0][11][11] s[0][11][12] s[0][11][13] s[0][11][14] s[0][11][15] s[0][11][16] s[0][11][17] s[0][11][18] s[0][11][19] s[0][11][20] s[0][11][21] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][2][18] s[1][2][19] s[1][2][20] s[1][2][21] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][3][18] s[1][3][19] s[1][3][20] s[1][3][21] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][4][18] s[1][4][19] s[1][4][20] s[1][4][21] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][5][18] s[1][5][19] s[1][5][20] s[1][5][21] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[1][6][7] s[1][6][8] s[1][6][9] s[1][6][10] s[1][6][11] s[1][6][12] s[1][6][13] s[1][6][14] s[1][6][15] s[1][6][16] s[1][6][17] s[1][6][18] s[1][6][19] s[1][6][20] s[1][6][21] s[1][7][0] s[1][7][1] s[1][7][2] s[1][7][3] s[1][7][4] s[1][7][5] s[1][7][6] s[1][7][7] s[1][7][8] s[1][7][9] s[1][7][10] s[1][7][11] s[1][7][12] s[1][7][13] s[1][7][14] s[1][7][15] s[1][7][16] s[1][7][17] s[1][7][18] s[1][7][19] s[1][7][20] s[1][7][21] s[1][8][0] s[1][8][1] s[1][8][2] s[1][8][3] s[1][8][4] s[1][8][5] s[1][8][6] s[1][8][7] s[1][8][8] s[1][8][9] s[1][8][10] s[1][8][11] s[1][8][12] s[1][8][13] s[1][8][14] s[1][8][15] s[1][8][16] s[1][8][17] s[1][8][18] s[1][8][19] s[1][8][20] s[1][8][21] s[1][9][0] s[1][9][1] s[1][9][2] s[1][9][3] s[1][9][4] s[1][9][5] s[1][9][6] s[1][9][7] s[1][9][8] s[1][9][9] s[1][9][10] s[1][9][11] s[1][9][12] s[1][9][13] s[1][9][14] s[1][9][15] s[1][9][16] s[1][9][17] s[1][9][18] s[1][9][19] s[1][9][20] s[1][9][21] s[1][10][0] s[1][10][1] s[1][10][2] s[1][10][3] s[1][10][4] s[1][10][5] s[1][10][6] s[1][10][7] s[1][10][8] s[1][10][9] s[1][10][10] s[1][10][11] s[1][10][12] s[1][10][13] s[1][10][14] s[1][10][15] s[1][10][16] s[1][10][17] s[1][10][18] s[1][10][19] s[1][10][20] s[1][10][21] s[1][11][0] s[1][11][1] s[1][11][2] s[1][11][3] s[1][11][4] s[1][11][5] s[1][11][6] s[1][11][7] s[1][11][8] s[1][11][9] s[1][11][10] s[1][11][11] s[1][11][12] s[1][11][13] s[1][11][14] s[1][11][15] s[1][11][16] s[1][11][17] s[1][11][18] s[1][11][19] s[1][11][20] s[1][11][21] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][3][18] s[2][3][19] s[2][3][20] s[2][3][21] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][4][18] s[2][4][19] s[2][4][20] s[2][4][21] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][5][18] s[2][5][19] s[2][5][20] s[2][5][21] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[2][6][7] s[2][6][8] s[2][6][9] s[2][6][10] s[2][6][11] s[2][6][12] s[2][6][13] s[2][6][14] s[2][6][15] s[2][6][16] s[2][6][17] s[2][6][18] s[2][6][19] s[2][6][20] s[2][6][21] s[2][7][0] s[2][7][1] s[2][7][2] s[2][7][3] s[2][7][4] s[2][7][5] s[2][7][6] s[2][7][7] s[2][7][8] s[2][7][9] s[2][7][10] s[2][7][11] s[2][7][12] s[2][7][13] s[2][7][14] s[2][7][15] s[2][7][16] s[2][7][17] s[2][7][18] s[2][7][19] s[2][7][20] s[2][7][21] s[2][8][0] s[2][8][1] s[2][8][2] s[2][8][3] s[2][8][4] s[2][8][5] s[2][8][6] s[2][8][7] s[2][8][8] s[2][8][9] s[2][8][10] s[2][8][11] s[2][8][12] s[2][8][13] s[2][8][14] s[2][8][15] s[2][8][16] s[2][8][17] s[2][8][18] s[2][8][19] s[2][8][20] s[2][8][21] s[2][9][0] s[2][9][1] s[2][9][2] s[2][9][3] s[2][9][4] s[2][9][5] s[2][9][6] s[2][9][7] s[2][9][8] s[2][9][9] s[2][9][10] s[2][9][11] s[2][9][12] s[2][9][13] s[2][9][14] s[2][9][15] s[2][9][16] s[2][9][17] s[2][9][18] s[2][9][19] s[2][9][20] s[2][9][21] s[2][10][0] s[2][10][1] s[2][10][2] s[2][10][3] s[2][10][4] s[2][10][5] s[2][10][6] s[2][10][7] s[2][10][8] s[2][10][9] s[2][10][10] s[2][10][11] s[2][10][12] s[2][10][13] s[2][10][14] s[2][10][15] s[2][10][16] s[2][10][17] s[2][10][18] s[2][10][19] s[2][10][20] s[2][10][21] s[2][11][0] s[2][11][1] s[2][11][2] s[2][11][3] s[2][11][4] s[2][11][5] s[2][11][6] s[2][11][7] s[2][11][8] s[2][11][9] s[2][11][10] s[2][11][11] s[2][11][12] s[2][11][13] s[2][11][14] s[2][11][15] s[2][11][16] s[2][11][17] s[2][11][18] s[2][11][19] s[2][11][20] s[2][11][21] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][4][18] s[3][4][19] s[3][4][20] s[3][4][21] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][5][18] s[3][5][19] s[3][5][20] s[3][5][21] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[3][6][7] s[3][6][8] s[3][6][9] s[3][6][10] s[3][6][11] s[3][6][12] s[3][6][13] s[3][6][14] s[3][6][15] s[3][6][16] s[3][6][17] s[3][6][18] s[3][6][19] s[3][6][20] s[3][6][21] s[3][7][0] s[3][7][1] s[3][7][2] s[3][7][3] s[3][7][4] s[3][7][5] s[3][7][6] s[3][7][7] s[3][7][8] s[3][7][9] s[3][7][10] s[3][7][11] s[3][7][12] s[3][7][13] s[3][7][14] s[3][7][15] s[3][7][16] s[3][7][17] s[3][7][18] s[3][7][19] s[3][7][20] s[3][7][21] s[3][8][0] s[3][8][1] s[3][8][2] s[3][8][3] s[3][8][4] s[3][8][5] s[3][8][6] s[3][8][7] s[3][8][8] s[3][8][9] s[3][8][10] s[3][8][11] s[3][8][12] s[3][8][13] s[3][8][14] s[3][8][15] s[3][8][16] s[3][8][17] s[3][8][18] s[3][8][19] s[3][8][20] s[3][8][21] s[3][9][0] s[3][9][1] s[3][9][2] s[3][9][3] s[3][9][4] s[3][9][5] s[3][9][6] s[3][9][7] s[3][9][8] s[3][9][9] s[3][9][10] s[3][9][11] s[3][9][12] s[3][9][13] s[3][9][14] s[3][9][15] s[3][9][16] s[3][9][17] s[3][9][18] s[3][9][19] s[3][9][20] s[3][9][21] s[3][10][0] s[3][10][1] s[3][10][2] s[3][10][3] s[3][10][4] s[3][10][5] s[3][10][6] s[3][10][7] s[3][10][8] s[3][10][9] s[3][10][10] s[3][10][11] s[3][10][12] s[3][10][13] s[3][10][14] s[3][10][15] s[3][10][16] s[3][10][17] s[3][10][18] s[3][10][19] s[3][10][20] s[3][10][21] s[3][11][0] s[3][11][1] s[3][11][2] s[3][11][3] s[3][11][4] s[3][11][5] s[3][11][6] s[3][11][7] s[3][11][8] s[3][11][9] s[3][11][10] s[3][11][11] s[3][11][12] s[3][11][13] s[3][11][14] s[3][11][15] s[3][11][16] s[3][11][17] s[3][11][18] s[3][11][19] s[3][11][20] s[3][11][21] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][5][18] s[4][5][19] s[4][5][20] s[4][5][21] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[4][6][7] s[4][6][8] s[4][6][9] s[4][6][10] s[4][6][11] s[4][6][12] s[4][6][13] s[4][6][14] s[4][6][15] s[4][6][16] s[4][6][17] s[4][6][18] s[4][6][19] s[4][6][20] s[4][6][21] s[4][7][0] s[4][7][1] s[4][7][2] s[4][7][3] s[4][7][4] s[4][7][5] s[4][7][6] s[4][7][7] s[4][7][8] s[4][7][9] s[4][7][10] s[4][7][11] s[4][7][12] s[4][7][13] s[4][7][14] s[4][7][15] s[4][7][16] s[4][7][17] s[4][7][18] s[4][7][19] s[4][7][20] s[4][7][21] s[4][8][0] s[4][8][1] s[4][8][2] s[4][8][3] s[4][8][4] s[4][8][5] s[4][8][6] s[4][8][7] s[4][8][8] s[4][8][9] s[4][8][10] s[4][8][11] s[4][8][12] s[4][8][13] s[4][8][14] s[4][8][15] s[4][8][16] s[4][8][17] s[4][8][18] s[4][8][19] s[4][8][20] s[4][8][21] s[4][9][0] s[4][9][1] s[4][9][2] s[4][9][3] s[4][9][4] s[4][9][5] s[4][9][6] s[4][9][7] s[4][9][8] s[4][9][9] s[4][9][10] s[4][9][11] s[4][9][12] s[4][9][13] s[4][9][14] s[4][9][15] s[4][9][16] s[4][9][17] s[4][9][18] s[4][9][19] s[4][9][20] s[4][9][21] s[4][10][0] s[4][10][1] s[4][10][2] s[4][10][3] s[4][10][4] s[4][10][5] s[4][10][6] s[4][10][7] s[4][10][8] s[4][10][9] s[4][10][10] s[4][10][11] s[4][10][12] s[4][10][13] s[4][10][14] s[4][10][15] s[4][10][16] s[4][10][17] s[4][10][18] s[4][10][19] s[4][10][20] s[4][10][21] s[4][11][0] s[4][11][1] s[4][11][2] s[4][11][3] s[4][11][4] s[4][11][5] s[4][11][6] s[4][11][7] s[4][11][8] s[4][11][9] s[4][11][10] s[4][11][11] s[4][11][12] s[4][11][13] s[4][11][14] s[4][11][15] s[4][11][16] s[4][11][17] s[4][11][18] s[4][11][19] s[4][11][20] s[4][11][21] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6] s[5][6][7] s[5][6][8] s[5][6][9] s[5][6][10] s[5][6][11] s[5][6][12] s[5][6][13] s[5][6][14] s[5][6][15] s[5][6][16] s[5][6][17] s[5][6][18] s[5][6][19] s[5][6][20] s[5][6][21] s[5][7][0] s[5][7][1] s[5][7][2] s[5][7][3] s[5][7][4] s[5][7][5] s[5][7][6] s[5][7][7] s[5][7][8] s[5][7][9] s[5][7][10] s[5][7][11] s[5][7][12] s[5][7][13] s[5][7][14] s[5][7][15] s[5][7][16] s[5][7][17] s[5][7][18] s[5][7][19] s[5][7][20] s[5][7][21] s[5][8][0] s[5][8][1] s[5][8][2] s[5][8][3] s[5][8][4] s[5][8][5] s[5][8][6] s[5][8][7] s[5][8][8] s[5][8][9] s[5][8][10] s[5][8][11] s[5][8][12] s[5][8][13] s[5][8][14] s[5][8][15] s[5][8][16] s[5][8][17] s[5][8][18] s[5][8][19] s[5][8][20] s[5][8][21] s[5][9][0] s[5][9][1] s[5][9][2] s[5][9][3] s[5][9][4] s[5][9][5] s[5][9][6] s[5][9][7] s[5][9][8] s[5][9][9] s[5][9][10] s[5][9][11] s[5][9][12] s[5][9][13] s[5][9][14] s[5][9][15] s[5][9][16] s[5][9][17] s[5][9][18] s[5][9][19] s[5][9][20] s[5][9][21] s[5][10][0] s[5][10][1] s[5][10][2] s[5][10][3] s[5][10][4] s[5][10][5] s[5][10][6] s[5][10][7] s[5][10][8] s[5][10][9] s[5][10][10] s[5][10][11] s[5][10][12] s[5][10][13] s[5][10][14] s[5][10][15] s[5][10][16] s[5][10][17] s[5][10][18] s[5][10][19] s[5][10][20] s[5][10][21] s[5][11][0] s[5][11][1] s[5][11][2] s[5][11][3] s[5][11][4] s[5][11][5] s[5][11][6] s[5][11][7] s[5][11][8] s[5][11][9] s[5][11][10] s[5][11][11] s[5][11][12] s[5][11][13] s[5][11][14] s[5][11][15] s[5][11][16] s[5][11][17] s[5][11][18] s[5][11][19] s[5][11][20] s[5][11][21] s[6][7][0] s[6][7][1] s[6][7][2] s[6][7][3] s[6][7][4] s[6][7][5] s[6][7][6] s[6][7][7] s[6][7][8] s[6][7][9] s[6][7][10] s[6][7][11] s[6][7][12] s[6][7][13] s[6][7][14] s[6][7][15] s[6][7][16] s[6][7][17] s[6][7][18] s[6][7][19] s[6][7][20] s[6][7][21] s[6][8][0] s[6][8][1] s[6][8][2] s[6][8][3] s[6][8][4] s[6][8][5] s[6][8][6] s[6][8][7] s[6][8][8] s[6][8][9] s[6][8][10] s[6][8][11] s[6][8][12] s[6][8][13] s[6][8][14] s[6][8][15] s[6][8][16] s[6][8][17] s[6][8][18] s[6][8][19] s[6][8][20] s[6][8][21] s[6][9][0] s[6][9][1] s[6][9][2] s[6][9][3] s[6][9][4] s[6][9][5] s[6][9][6] s[6][9][7] s[6][9][8] s[6][9][9] s[6][9][10] s[6][9][11] s[6][9][12] s[6][9][13] s[6][9][14] s[6][9][15] s[6][9][16] s[6][9][17] s[6][9][18] s[6][9][19] s[6][9][20] s[6][9][21] s[6][10][0] s[6][10][1] s[6][10][2] s[6][10][3] s[6][10][4] s[6][10][5] s[6][10][6] s[6][10][7] s[6][10][8] s[6][10][9] s[6][10][10] s[6][10][11] s[6][10][12] s[6][10][13] s[6][10][14] s[6][10][15] s[6][10][16] s[6][10][17] s[6][10][18] s[6][10][19] s[6][10][20] s[6][10][21] s[6][11][0] s[6][11][1] s[6][11][2] s[6][11][3] s[6][11][4] s[6][11][5] s[6][11][6] s[6][11][7] s[6][11][8] s[6][11][9] s[6][11][10] s[6][11][11] s[6][11][12] s[6][11][13] s[6][11][14] s[6][11][15] s[6][11][16] s[6][11][17] s[6][11][18] s[6][11][19] s[6][11][20] s[6][11][21] s[7][8][0] s[7][8][1] s[7][8][2] s[7][8][3] s[7][8][4] s[7][8][5] s[7][8][6] s[7][8][7] s[7][8][8] s[7][8][9] s[7][8][10] s[7][8][11] s[7][8][12] s[7][8][13] s[7][8][14] s[7][8][15] s[7][8][16] s[7][8][17] s[7][8][18] s[7][8][19] s[7][8][20] s[7][8][21] s[7][9][0] s[7][9][1] s[7][9][2] s[7][9][3] s[7][9][4] s[7][9][5] s[7][9][6] s[7][9][7] s[7][9][8] s[7][9][9] s[7][9][10] s[7][9][11] s[7][9][12] s[7][9][13] s[7][9][14] s[7][9][15] s[7][9][16] s[7][9][17] s[7][9][18] s[7][9][19] s[7][9][20] s[7][9][21] s[7][10][0] s[7][10][1] s[7][10][2] s[7][10][3] s[7][10][4] s[7][10][5] s[7][10][6] s[7][10][7] s[7][10][8] s[7][10][9] s[7][10][10] s[7][10][11] s[7][10][12] s[7][10][13] s[7][10][14] s[7][10][15] s[7][10][16] s[7][10][17] s[7][10][18] s[7][10][19] s[7][10][20] s[7][10][21] s[7][11][0] s[7][11][1] s[7][11][2] s[7][11][3] s[7][11][4] s[7][11][5] s[7][11][6] s[7][11][7] s[7][11][8] s[7][11][9] s[7][11][10] s[7][11][11] s[7][11][12] s[7][11][13] s[7][11][14] s[7][11][15] s[7][11][16] s[7][11][17] s[7][11][18] s[7][11][19] s[7][11][20] s[7][11][21] s[8][9][0] s[8][9][1] s[8][9][2] s[8][9][3] s[8][9][4] s[8][9][5] s[8][9][6] s[8][9][7] s[8][9][8] s[8][9][9] s[8][9][10] s[8][9][11] s[8][9][12] s[8][9][13] s[8][9][14] s[8][9][15] s[8][9][16] s[8][9][17] s[8][9][18] s[8][9][19] s[8][9][20] s[8][9][21] s[8][10][0] s[8][10][1] s[8][10][2] s[8][10][3] s[8][10][4] s[8][10][5] s[8][10][6] s[8][10][7] s[8][10][8] s[8][10][9] s[8][10][10] s[8][10][11] s[8][10][12] s[8][10][13] s[8][10][14] s[8][10][15] s[8][10][16] s[8][10][17] s[8][10][18] s[8][10][19] s[8][10][20] s[8][10][21] s[8][11][0] s[8][11][1] s[8][11][2] s[8][11][3] s[8][11][4] s[8][11][5] s[8][11][6] s[8][11][7] s[8][11][8] s[8][11][9] s[8][11][10] s[8][11][11] s[8][11][12] s[8][11][13] s[8][11][14] s[8][11][15] s[8][11][16] s[8][11][17] s[8][11][18] s[8][11][19] s[8][11][20] s[8][11][21] s[9][10][0] s[9][10][1] s[9][10][2] s[9][10][3] s[9][10][4] s[9][10][5] s[9][10][6] s[9][10][7] s[9][10][8] s[9][10][9] s[9][10][10] s[9][10][11] s[9][10][12] s[9][10][13] s[9][10][14] s[9][10][15] s[9][10][16] s[9][10][17] s[9][10][18] s[9][10][19] s[9][10][20] s[9][10][21] s[9][11][0] s[9][11][1] s[9][11][2] s[9][11][3] s[9][11][4] s[9][11][5] s[9][11][6] s[9][11][7] s[9][11][8] s[9][11][9] s[9][11][10] s[9][11][11] s[9][11][12] s[9][11][13] s[9][11][14] s[9][11][15] s[9][11][16] s[9][11][17] s[9][11][18] s[9][11][19] s[9][11][20] s[9][11][21] s[10][11][0] s[10][11][1] s[10][11][2] s[10][11][3] s[10][11][4] s[10][11][5] s[10][11][6] s[10][11][7] s[10][11][8] s[10][11][9] s[10][11][10] s[10][11][11] s[10][11][12] s[10][11][13] s[10][11][14] s[10][11][15] s[10][11][16] s[10][11][17] s[10][11][18] s[10][11][19] s[10][11][20] s[10][11][21]</list>
17.97/5.22 v <values>0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0</values>
17.97/5.22 v </instantiation>
17.97/5.22 c (4,4) Show results End
17.97/5.22 c (4,4) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.97/5.22 c (4,4) 1,1,3,3,3,3,4,4,4,STOP-AFTER(ALL)
17.97/5.22 c END-Prog: Fri Jul 27 03:05:56 CEST 2018