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