# no-three-in-line coloring n=21 k=13
# tracker source file: n21_k13_v2_seed983000.txt
7 8 9 12 8 1 7 4 0 11 4 2 10 11 9 5 3 2 3 12 0
9 8 7 6 10 2 7 11 3 3 6 0 8 5 12 1 12 5 4 4 2
8 3 10 11 2 4 12 0 9 8 2 12 10 7 3 4 1 0 1 9 7
4 3 12 5 2 0 4 2 5 10 6 10 1 7 11 7 11 9 12 0 9
3 0 8 10 7 6 8 1 5 0 9 5 2 3 4 10 7 4 2 6 9
12 4 2 7 5 10 9 11 9 7 12 1 6 6 11 8 8 10 5 2 0
6 6 1 0 9 12 2 3 8 2 8 7 4 10 0 10 11 1 11 12 5
3 1 5 10 11 11 10 5 6 0 9 0 6 12 9 7 1 12 7 4 3
6 2 11 2 6 1 12 7 12 10 1 7 5 3 5 9 8 10 11 3 8
1 4 5 7 10 3 8 2 8 3 0 12 0 9 10 2 5 9 6 7 1
11 6 8 3 0 9 9 7 11 5 4 3 5 10 0 12 10 7 6 2 12
12 0 1 2 0 9 10 9 7 6 11 8 8 4 5 1 2 4 7 10 12
8 7 3 9 12 5 11 8 11 6 12 4 3 4 7 6 10 2 1 0 1
11 2 6 4 8 10 4 5 7 1 5 3 7 0 1 12 0 6 3 11 8
0 10 4 3 6 8 6 10 12 2 5 2 0 11 12 11 7 8 4 9 7
2 10 2 5 1 3 0 8 4 4 3 8 9 9 6 6 5 11 12 1 10
10 12 0 9 9 4 6 6 0 11 1 11 2 8 10 8 2 12 5 1 4
4 12 6 8 11 0 3 9 3 7 10 9 7 8 1 0 4 11 2 10 6
10 9 11 8 4 12 11 10 2 9 7 1 12 0 6 5 6 1 0 7 3
2 1 12 1 3 8 0 6 10 5 3 4 12 2 4 11 9 5 9 11 10
7 5 10 0 1 11 2 4 2 9 7 5 9 1 3 0 4 6 10 3 6
