# no-three-in-line coloring n=19 k=11
# tracker source file: n19_k11_seed3200006_std.txt
0 3 7 10 8 10 1 2 6 3 2 9 5 5 6 4 8 4 1
9 7 8 7 9 2 6 5 0 8 2 1 10 4 3 6 1 0 10
1 4 0 8 5 5 9 7 6 10 7 10 8 0 2 2 3 4 6
3 7 8 6 4 10 2 8 4 9 0 6 5 1 9 3 0 10 5
0 6 2 7 1 6 4 8 3 5 4 2 0 8 9 5 7 9 3
4 10 5 1 2 3 2 9 3 7 6 9 10 7 4 6 5 8 0
6 9 9 3 5 0 7 1 0 2 1 3 4 8 10 4 10 2 6
10 8 7 1 10 4 7 2 5 4 9 0 3 5 1 9 6 0 8
2 1 2 3 8 9 0 6 10 0 9 6 4 1 10 5 5 7 7
4 9 4 0 6 3 9 5 1 5 10 3 7 6 2 0 7 1 10
3 0 3 4 10 9 4 6 8 8 5 7 1 6 5 2 0 9 1
5 0 6 5 7 7 6 10 1 4 0 8 1 3 8 3 4 2 9
6 1 5 10 6 8 5 7 9 2 3 4 9 10 0 0 4 1 3
2 3 1 9 3 6 0 0 8 6 4 8 9 2 7 10 10 5 7
8 10 0 0 1 7 1 3 5 3 8 5 6 10 4 9 2 7 9
7 2 4 4 3 1 10 1 9 9 5 7 0 2 5 8 3 8 0
8 2 10 5 9 2 5 0 7 0 6 4 3 4 3 10 9 6 8
5 8 1 2 0 4 3 4 2 10 3 10 8 7 0 7 1 6 5
7 6 3 8 4 1 10 9 2 7 8 5 2 0 6 1 9 5 4
