T1       skipped: polynomial reducible over F_2(x)
T2       r=4: brute-force primitive relations in box 14x8: 1 ; descent (<=10 digits): 1 (in box 1) ; states 81 ; OK
       ((0, 1), (0, 2), (1, 1), (3, 0))
T2       r=5: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 1497 ; OK
T2       r=6: brute-force primitive relations in box 14x8: 106 ; descent (<=10 digits): 833 (in box 106) ; states 34392 ; OK
       ((0, 1), (0, 2), (1, 2), (2, 1), (3, 0), (4, 0))
       ((0, 1), (0, 3), (1, 1), (1, 2), (3, 0), (3, 1))
       ((0, 1), (0, 3), (2, 1), (3, 0), (3, 1), (4, 0))
       ((0, 1), (0, 3), (2, 2), (3, 0), (4, 0), (5, 0))
       ((0, 1), (0, 4), (1, 1), (2, 2), (3, 0), (6, 0))
       ((0, 2), (0, 3), (1, 1), (2, 1), (3, 1), (4, 0))
T3       r=4: brute-force primitive relations in box 14x8: 5 ; descent (<=10 digits): 5 (in box 5) ; states 235 ; OK
       ((0, 0), (0, 2), (1, 1), (2, 2))
       ((0, 0), (0, 2), (1, 3), (3, 3))
       ((0, 0), (0, 4), (2, 4), (3, 3))
       ((0, 0), (0, 6), (1, 5), (6, 6))
       ((0, 1), (0, 3), (1, 0), (4, 3))
T3       r=5: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 10839 ; OK
T3       r=6: brute-force primitive relations in box 14x8: 393 ; descent (<=10 digits): 3647 (in box 393) ; states 358473 ; OK
       ((0, 0), (0, 2), (0, 4), (0, 6), (3, 3), (4, 6))
       ((0, 0), (0, 2), (0, 4), (0, 6), (3, 5), (6, 6))
       ((0, 0), (0, 2), (0, 4), (0, 8), (1, 1), (8, 8))
       ((0, 0), (0, 2), (1, 1), (1, 3), (1, 5), (5, 5))
       ((0, 0), (0, 2), (1, 1), (2, 0), (3, 1), (4, 2))
       ((0, 0), (0, 2), (1, 1), (2, 0), (3, 3), (5, 3))
T4       r=5: brute-force primitive relations in box 14x8: 7 ; descent (<=10 digits): 84 (in box 7) ; states 3435 ; OK
       ((0, 0), (0, 1), (0, 2), (0, 3), (3, 3))
       ((0, 0), (0, 1), (0, 8), (0, 9), (9, 9))
       ((0, 0), (0, 1), (0, 32), (0, 33), (33, 33))
       ((0, 0), (0, 1), (0, 128), (0, 129), (129, 129))
       ((0, 0), (0, 1), (0, 512), (0, 513), (513, 513))
       ((0, 0), (0, 2), (1, 1), (1, 2), (2, 2))
T4       r=6: brute-force primitive relations in box 14x8: 42 ; descent (<=10 digits): 3113 (in box 42) ; states 110879 ; OK
       ((0, 0), (0, 1), (0, 3), (0, 6), (3, 4), (6, 6))
       ((0, 0), (0, 1), (0, 4), (0, 5), (3, 3), (3, 5))
       ((0, 0), (0, 1), (0, 6), (0, 7), (3, 1), (9, 7))
       ((0, 0), (0, 1), (0, 6), (0, 7), (3, 9), (9, 9))
       ((0, 0), (0, 1), (0, 7), (0, 10), (3, 10), (9, 9))
       ((0, 0), (0, 1), (0, 10), (0, 11), (3, 3), (9, 11))
T5       r=4: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 17 ; OK
T5       r=5: brute-force primitive relations in box 14x8: 1 ; descent (<=10 digits): 1 (in box 1) ; states 1068 ; OK
       ((0, 0), (0, 3), (1, 3), (3, 0), (3, 1))
T5       r=6: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 8573 ; OK
T6       r=5: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 1068 ; OK
T6       r=6: brute-force primitive relations in box 14x8: 3 ; descent (<=10 digits): 3 (in box 3) ; states 8183 ; OK
       ((0, 0), (0, 1), (1, 1), (1, 2), (2, 1), (3, 0))
       ((0, 0), (0, 1), (2, 3), (3, 1), (3, 3), (6, 0))
       ((0, 0), (0, 2), (1, 0), (1, 3), (3, 0), (4, 0))
T7       r=5: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 992 ; OK
T7       r=6: brute-force primitive relations in box 14x8: 2 ; descent (<=10 digits): 2 (in box 2) ; states 9346 ; OK
       ((0, 0), (0, 2), (1, 1), (1, 2), (2, 0), (3, 0))
       ((0, 0), (0, 4), (3, 3), (3, 4), (5, 1), (7, 0))
T8       skipped: polynomial reducible over F_2(x)
T9       r=5: brute-force primitive relations in box 14x8: 0 ; descent (<=10 digits): 0 (in box 0) ; states 1068 ; OK
T9       r=6: brute-force primitive relations in box 14x8: 2 ; descent (<=10 digits): 2 (in box 2) ; states 8139 ; OK
       ((0, 0), (0, 2), (1, 1), (1, 2), (2, 2), (5, 0))
       ((0, 0), (0, 4), (3, 3), (3, 4), (7, 2), (10, 0))
ALL OK
