T10      r=4: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 130 ; OK
T10      r=5: brute-force primitive relations in box 14x8: 1 ; descent (<=10 digits): 1 (in box 1) ; states 16184 ; OK
       ((0, 0), (0, 2), (1, 1), (2, 0), (2, 2))
T10      r=6: brute-force primitive relations in box 14x8: 14 ; descent (<=10 digits): 14 (in box 14) ; states 240467 ; OK
       ((0, 0), (0, 2), (1, 1), (3, 1), (4, 0), (4, 2))
       ((0, 0), (0, 2), (1, 3), (2, 0), (3, 1), (3, 3))
       ((0, 0), (0, 2), (1, 3), (2, 4), (4, 0), (4, 4))
       ((0, 0), (0, 2), (1, 5), (4, 0), (5, 3), (5, 5))
       ((0, 0), (0, 4), (1, 1), (1, 3), (2, 0), (2, 4))
       ((0, 0), (0, 4), (2, 0), (3, 1), (4, 2), (4, 4))
T12      r=4: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 283 ; OK
T12      r=5: brute-force primitive relations in box 14x8: 1 ; descent (<=10 digits): 1 (in box 1) ; states 16214 ; OK
       ((0, 0), (0, 2), (1, 1), (4, 0), (4, 2))
T12      r=6: brute-force primitive relations in box 14x8: 2 ; descent (<=10 digits): 2 (in box 2) ; states 514079 ; OK
       ((0, 0), (0, 2), (1, 1), (5, 1), (8, 0), (8, 2))
       ((0, 0), (0, 4), (1, 1), (1, 3), (4, 0), (4, 4))
T11      r=5: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 1068 ; OK
T11      r=6: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 8427 ; OK
ALL OK
