CERTIFICATE OK: G(20,20) is infinite; the subgroup of index 1722 maps onto Z (2 vectors checked, gcds [1, 1])
CERTIFICATE OK: G(28,28) is infinite; the subgroup of index 870 maps onto Z (4 vectors checked, gcds [1, 1, 1, 1])
CERTIFICATE OK: G(30,30) is infinite; the subgroup of index 870 maps onto Z (4 vectors checked, gcds [1, 1, 1, 1])
CERTIFICATE OK: G(30,30) is infinite; the subgroup of index 870 maps onto Z (10 vectors checked, gcds [1, 1, 1, 1, 1, 1, 1, 1, 1, 1])
NEG bad_vec: AssertionError: vector does not kill all rewritten relators
NEG bad_n: AssertionError: Engel relations fail
NEG bad_Y: AssertionError
CERTIFICATE OK: G(44,44) is infinite; the subgroup of index 1892 maps onto Z (12 vectors checked, gcds [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1])
CERTIFICATE OK: G(42,42) is infinite; the subgroup of index 1892 maps onto Z (22 vectors checked, gcds [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1])
