id = 508
status = stop: max solutions reached
time = 00:00:00.1
unique solutions = 1
| 0 0 false false
1 0 false false
2 0 false false
3 0 true true
4 0 false true
5 0 true true
6 0 false true
7 0 false false
8 0 false false
9 0 false false
0 1 false false
1 1 false false
2 1 true true
3 1 false false
4 1 true true
5 1 false false
6 1 true false
7 1 false true
8 1 false false
9 1 false false
0 2 false false
1 2 false false
2 2 false true
3 2 true true
4 2 true false
5 2 false true
6 2 true true
7 2 false true
8 2 false false
9 2 false false
0 3 false false
1 3 false false
2 3 false true
3 3 false true
4 3 false false
5 3 true false
6 3 false false
7 3 false true
8 3 false false
9 3 false false
0 4 true true
1 4 false true
2 4 true true
3 4 false false
4 4 false false
5 4 false false
6 4 false false
7 4 false true
8 4 true true
9 4 false true
0 5 false true
1 5 true false
2 5 false false
3 5 false false
4 5 false false
5 5 false false
6 5 false false
7 5 true false
8 5 false false
9 5 false true
0 6 true false
1 6 false true
2 6 false false
3 6 false false
4 6 false false
5 6 false false
6 6 false false
7 6 false false
8 6 true true
9 6 false false
0 7 false false
1 7 true false
2 7 false true
3 7 false false
4 7 false false
5 7 false false
6 7 false false
7 7 false false
8 7 false true
9 7 false false
0 8 false false
1 8 false false
2 8 true false
3 8 false true
4 8 false false
5 8 false false
6 8 false false
7 8 true true
8 8 false false
9 8 false false
0 9 false false
1 9 false false
2 9 false false
3 9 false true
4 9 false false
5 9 false false
6 9 true true
7 9 false false
8 9 false false
9 9 false false
0 10 false false
1 10 false false
2 10 false false
3 10 false true
4 10 true true
5 10 false true
6 10 true false
7 10 true false
8 10 false true
9 10 false false
0 11 false false
1 11 false false
2 11 false false
3 11 false true
4 11 true false
5 11 false false
6 11 true true
7 11 true false
8 11 false false
9 11 false false
0 12 false false
1 12 false false
2 12 false false
3 12 true false
4 12 true false
5 12 true false
6 12 false false
7 12 false false
8 12 false false
9 12 false false
0 0 false false
1 0 false false
2 0 false false
3 0 true true
4 0 false true
5 0 true true
6 0 false true
7 0 false false
8 0 false false
9 0 false false
0 1 false false
1 1 false false
2 1 true true
3 1 false false
4 1 true true
5 1 false false
6 1 true false
7 1 false true
8 1 false false
9 1 false false
0 2 false false
1 2 false false
2 2 false true
3 2 true true
4 2 true false
5 2 false true
6 2 true true
7 2 false true
8 2 false false
9 2 false false
0 3 false false
1 3 false false
2 3 false true
3 3 false true
4 3 false false
5 3 true false
6 3 false false
7 3 false true
8 3 false false
9 3 false false
0 4 true true
1 4 false true
2 4 true true
3 4 false false
4 4 false false
5 4 false false
6 4 false false
7 4 false true
8 4 true true
9 4 false true
0 5 false true
1 5 true false
2 5 false false
3 5 false false
4 5 false false
5 5 false false
6 5 false false
7 5 true false
8 5 false false
9 5 false true
0 6 true false
1 6 false true
2 6 false false
3 6 false false
4 6 false false
5 6 false false
6 6 false false
7 6 false false
8 6 true true
9 6 false false
0 7 false false
1 7 true false
2 7 false true
3 7 false false
4 7 false false
5 7 false false
6 7 false false
7 7 false false
8 7 false true
9 7 false false
0 8 false false
1 8 false false
2 8 true false
3 8 false true
4 8 false false
5 8 false false
6 8 false false
7 8 true true
8 8 false false
9 8 false false
0 9 false false
1 9 false false
2 9 false false
3 9 false true
4 9 false false
5 9 false false
6 9 true true
7 9 false false
8 9 false false
9 9 false false
0 10 false false
1 10 false false
2 10 false false
3 10 false true
4 10 true true
5 10 false true
6 10 true false
7 10 true false
8 10 false true
9 10 false false
0 11 false false
1 11 false false
2 11 false false
3 11 false true
4 11 true false
5 11 false false
6 11 true true
7 11 true false
8 11 false false
9 11 false false
0 12 false false
1 12 false false
2 12 false false
3 12 true false
4 12 true false
5 12 true false
6 12 false false
7 12 false false
8 12 false false
9 12 false false
| using part |