# no-three-in-line coloring n=7 k=4
# tracker source file: n7_k4_A_seed777000.txt
2 3 1 1 0 3 0
1 0 0 2 3 1 3
2 1 3 2 0 1 0
0 1 0 3 2 2 3
3 2 2 0 1 0 1
0 2 2 3 3 0 1
3 0 1 0 1 2 2
