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