31

11 3 0
0 0 3 3 3 2 1 3 3 0 0
3 3 3 2 1 3 2 1 1 3 3
3 2 1 1 0 0 0 3 2 1 1
0 0 3 3 3 2 1 3 3 0 0
3 3 3 2 1 1 2 1 1 3 3
3 2 1 1 0 0 0 3 2 1 1

11 3 0
0 3 3  2 1 3 3  2 1 3 0
3 3 2  3 2 3 2  3 2 1 3
3 2 1 -1 3 2 1 -1 3 2 1
0 3 3  2 1 3 3  2 1 3 0
3 3 2  1 2 1 2  1 2 1 3
3 2 1 -1 3 2 1 -1 3 2 1

11 4 0
3 3 3 3 3 2 1 3 3 3 3
3 2 1 1 1 1 1 1 1 1 1
3 3 3 2 1 3 2 1 1 3 3
3 2 1 1 0 0 0 3 2 1 1
3 3 3 3 3 2 1 3 3 3 3
3 2 1 1 1 1 1 1 1 1 1
3 3 3 2 1 1 2 1 1 3 3
3 2 1 1 0 0 0 3 2 1 1

7 6 0
0 0 3 2 3 2 1
0 3 3 2 3 2 1
0 3 2 3 2 3 2
3 3 2 3 2 1 2
3 2 1 3 2 1 3
-1 -1 -1 -1 -1 1 -1
0 0 3 2 3 2 1
0 3 3 2 3 2 1
0 3 2 3 2 3 2
3 3 2 3 2 3 2
3 2 1 3 2 3 3
-1 -1 -1 -1 -1 1 -1

7 6 0
0 0 3 2 3 2 1
0 3 3 2 3 2 1
0 3 2 3 2 3 2
3 3 2 3 2 1 2
3 2 1 3 2 1 3
-1 -1 -1 -1 -1 -1 1
0 0 3 2 3 2 1
0 3 3 2 3 2 1
0 3 2 3 2 3 2
3 3 2 3 2 3 2
3 2 1 3 2 3 3
-1 -1 -1 -1 -1 -1 1

7 5 0
0 0 3 2 3 2 1
0 3 3 2 3 2 1
0 3 2 3 2 3 2
3 3 2 3 2 1 2
3 2 1 3 2 1 3
0 0 3 2 3 2 1
0 3 3 2 3 2 1
0 3 2 3 2 3 2
3 3 2 3 2 3 2
3 2 1 3 2 0 3

7 6 0
0 3 3 2 3 2 1
0 3 2 3 2 3 2
0 3 2 3 2 3 2
3 3 2 3 2 1 2
3 2 1 3 2 1 3
3 2 1 3 2 1 3
0 3 3 2 3 2 1
0 3 2 3 2 3 2
0 3 2 3 2 3 2
3 3 2 3 2 3 2
3 2 1 3 2 0 3
3 2 1 3 2 0 3

9 3 0
3 3 2 1 3 3 2 1 3
3 2 3 2 3 2 3 2 1
2 1 0 3 3 3 0 3 2
3 3 2 1 3 3 2 1 3
3 2 1 2 1 2 1 2 1
2 1 0 3 3 3 0 3 2

9 5 0
3 3 2 1 3 3 2 1 3
3 2 3 2 3 2 3 2 1
3 2 3 2 3 2 3 2 1
3 2 3 2 3 2 3 2 1
2 1 0 3 2 1 0 3 2
3 3 2 1 3 3 2 1 3
3 2 1 2 1 2 1 2 1
3 2 1 3 2 1 3 2 1
3 2 1 3 2 1 3 2 1
2 1 0 3 2 1 0 3 2

9 4 0
3 3 2 1 3 3 2 1 3
3 2 3 2 3 2 3 2 1
3 2 3 2 3 2 3 2 1
2 1 0 3 2 1 0 3 2
3 3 2 1 3 3 2 1 3
3 2 1 2 1 2 1 2 1
3 2 1 3 2 1 3 2 1
2 1 0 3 2 1 0 3 2

7 4 0
3 3 2 3 2 1 3
3 2 3 2 1 2 1
2 1 3 2 1 3 2
-1 -1 -1 -1 -1 1 -1
3 3 2 3 2 1 3
3 2 3 2 3 2 1
2 1 3 2 3 3 2
-1 -1 -1 -1 -1 1 -1

7 3 0
3 3 2 3 2 1 3
3 2 3 2 1 2 1
2 1 3 2 1 3 2
3 3 2 3 2 1 3
3 2 3 2 3 2 1
2 1 3 2 0 3 2

4 3 0
3 2 1 -1
2 3 2 -1
1 0 3  2
3 2 1 -1
2 1 2 -1
1 0 3  2

4 4 0
3  2 1 -1
2  3 2  1
2  3 2  1
1 -1 3  2
3  2 1 -1
2  1 2  1
2  1 2  1
1 -1 3  2

5 4 0
3 3 2 1 -1
3 2 3 2  1
3 2 3 2  1
3 2 3 2  1
3 3 2 1 -1
3 2 1 2  1
3 2 1 2  1
3 2 1 2  2

6 3 0
-1 1  1 1 1 1
 3 2  3 2 1 3
 1 1 -1 3 2 1
-1 1  1 1 1 1
 3 2  1 2 1 3
 1 1 -1 3 2 1

6 4 0
-1 1  1 1 1  1
 3 3  2 1 3 -1
 3 2  3 2 1  3
-1 1 -1 3 2  1
-1 1  1 1 1  1
 3 3  2 1 3 -1
 3 2  1 2 1  3
-1 1 -1 3 2  1

6 3 0
0 3 2 1 0 0
3 3 2 1 3 3
2 1 3 2 1 1
3 3 2 1 3 0
3 2 1 1 1 3
2 1 0 3 2 1

6 3 0
1 1 1 1 1 1
3 3 2 1 3 3
2 1 3 2 1 1
1 1 1 1 1 1
3 2 1 1 1 3
2 1 0 3 2 1

6 3 0
1 1 1 1 1 1
2 1 3 2 1 1
1 3 2 1 3 2
1 1 1 1 1 1
2 1 3 3 2 1
1 3 2 1 3 2

7 4 0
2 1 1 1 1 1 1
0 3 3 2 1 3 0
3 3 2 3 2 1 3
2 1 3 2 1 2 1
2 1 1 1 1 1 1
3 3 2 1 1 1 3
3 2 1 3 3 2 1
2 1 3 2 1 3 2

5 3 0
3  2 1 3 -1
2  3 2 1  3
1 -1 3 2 -1
3  2 1 3 -1
2  1 2 1  3
1 -1 3 2 -1

10 4 0
2 1 1 1 1 1 1 1 1 1
3 3 2 1 3 3 2 1 3 0
3 2 3 2 3 2 3 2 1 3
2 3 2 1 2 3 2 1 2 1
2 1 1 1 1 1 1 1 1 1
3 3 2 1 3 3 2 1 3 0
3 2 1 2 1 2 1 2 1 3
2 1 3 3 2 1 3 3 2 1

12 4 0
0 0 3 2 1 0 3 2 1 0 0 0
0 3 3 2 1 3 3 2 1 3 0 0
3 3 2 3 2 3 2 1 2 1 3 3
2 1 1 0 3 2 1 0 3 2 1 1
0 0 3 2 1 0 3 2 1 0 0 0
0 3 3 2 1 3 3 2 1 3 0 0
3 3 2 1 2 1 2 1 2 1 3 3
2 1 1 0 3 2 1 0 3 2 1 1

4 5 0
2 1 2 1
2 1 0 0
2 1 3 0
1 2 1 3
0 3 2 1
2 3 2 1
2 1 0 0
2 1 3 0
1 2 1 3
0 3 2 1

4 5 0
-1 1 2 1
 1 1 1 3
 0 3 2 1
 3 3 2 1
 1 1 1 0
-1 3 2 1
 1 1 1 3
 0 3 2 1
 3 3 2 1
 1 1 1 0

5 5 0
3 2 3 2 1
3 2 3 2 1
2 3 2 3 2
2 1 2 3 2
2 1 3 3 2
3 2 3 2 1
3 2 3 2 1
2 3 2 3 2
2 3 2 3 2
2 3 3 3 2

7 5 0
2 1 1 1 1 -1 1
3 3 3 2 3  2 1
2 1 1 1 3  2 1
2 1 3 3 3  2 1
2 1 1 1 3  2 1
2 1 1 1 3  2 1
3 3 3 2 3  2 1
2 1 1 1 3  2 1
2 1 3 3 3  2 1
2 1 1 1 3  2 1

12 12 0
3 3 3 3 3 3 3 3 0 3 3 3
3 2 1 1 1 1 1 1 3 3 2 1
3 2 1 0 0 0 3 2 1 1 1 1
3 2 1 0 0 0 3 3 3 3 2 1
3 2 1 3 3 3 3 2 1 1 1 1
3 2 1 1 1 1 1 1 0 3 2 1
0 3 3 3 3 3 3 3 3 3 3 3
0 3 2 1 1 1 1 1 1 1 1 1
0 3 3 3 3 3 3 3 3 3 2 1
0 3 2 1 1 1 1 1 1 1 1 1
0 3 2 1 3 3 3 3 3 3 3 3
0 3 2 1 1 1 1 1 1 1 1 1
3 3 3 3 3 3 3 0 0 3 3 3
3 2 1 1 1 1 1 3 3 3 2 1
3 2 1 0 0 0 3 2 1 1 1 1
3 2 1 0 0 0 3 3 3 3 2 1
3 2 1 3 3 3 3 2 1 1 1 1
3 2 1 1 1 1 1 0 0 3 2 1
0 3 3 3 3 3 3 3 3 3 3 3
0 3 2 1 1 1 1 1 1 1 1 1
0 3 3 3 3 3 3 3 3 3 2 1
0 3 2 1 1 1 1 1 1 1 1 1
0 3 2 1 3 3 3 3 3 3 3 3
0 3 2 1 1 1 1 1 1 1 1 1

12 12 0
0 3 3 3 3 3 3 3 3 3 3 3
0 3 2 1 1 1 1 1 1 3 2 1
0 3 3 3 3 3 3 2 1 3 2 1
0 3 2 1 1 1 1 1 1 3 2 1
0 3 2 1 3 3 3 3 3 3 2 1
3 3 2 1 1 1 1 1 1 3 2 1
3 2 1 1 1 1 1 1 1 3 2 1
0 0 0 0 3 2 1 0 3 2 1 1
0 0 0 3 3 2 1 3 3 3 2 1
0 0 3 3 2 1 3 3 2 1 3 0
0 3 3 2 1 2 1 2 1 2 1 3
0 3 2 1 0 3 2 1 0 3 2 1
0 3 3 3 3 3 3 3 0 3 3 3
0 3 2 1 1 1 1 1 0 3 2 1
0 3 3 3 3 3 2 1 0 3 2 1
0 3 2 1 1 1 1 1 0 3 2 1
0 3 2 1 3 3 3 3 0 3 2 1
3 3 2 1 1 1 1 1 0 3 2 1
3 2 1 1 1 1 1 1 3 3 2 1
0 0 0 3 2 1 0 3 2 1 1 1
0 0 0 3 2 1 0 3 3 3 2 1
0 0 3 3 2 1 3 3 2 1 3 0
0 3 3 2 1 2 1 2 1 2 1 3
0 3 2 1 0 3 2 1 0 3 2 1

12 12 0
3 3 3 3 3 3 3 3 3 3 3 3
3 2 1 1 1 1 1 3 2 3 2 1
0 3 2 3 2 1 0 3 2 3 2 1
0 3 2 3 2 1 0 3 2 3 2 1
0 3 2 3 2 1 0 3 2 3 2 1
3 3 2 3 2 1 3 3 2 3 2 1
3 2 3 2 3 2 1 1 1 3 2 1
3 2 3 2 3 2 1 3 2 3 2 1
3 2 3 2 3 2 1 3 2 3 2 1
3 2 3 2 3 2 1 3 2 3 2 1
3 2 3 2 3 2 1 3 2 3 2 1
0 0 0 0 0 0 0 3 2 3 2 1
3 3 3 3 3 3 3 3 3 3 3 3
3 2 1 1 1 1 1 1 1 3 2 1
0 0 3 2 3 2 1 3 2 3 2 1
0 0 3 2 3 2 1 3 2 3 2 1
0 0 3 2 3 2 1 3 2 3 2 1
0 3 3 2 3 2 1 3 2 3 2 1
0 3 2 3 2 3 2 1 1 3 2 1
0 3 2 3 2 3 2 3 2 3 2 1
3 3 2 3 2 3 2 3 2 3 2 1
3 2 1 3 2 0 3 2 1 3 2 1
3 2 1 3 2 0 3 2 1 3 2 1
0 0 0 0 0 0 0 3 2 3 2 1
