# no-three-in-line coloring n=10 k=6
# tracker source file: n10_k6_A_seed900000.txt
4 2 3 1 4 3 0 2 1 5
1 4 5 4 2 0 2 0 3 1
3 0 2 0 3 5 5 4 4 1
0 3 1 3 5 4 1 2 0 5
5 1 1 0 2 2 0 3 3 4
2 1 0 4 3 5 3 5 0 2
2 4 5 2 0 4 1 1 5 3
3 2 0 3 5 2 4 5 4 0
1 5 4 5 0 3 4 3 1 0
4 3 4 1 1 0 2 0 2 3
