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