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