DETECTED M1 I2(6) wrong eta (b -> b^-1) does not preserve the relation
DETECTED M2 I2(6) claimed eta^3(b) = b Delta (wrong sign) is false
DETECTED M3 affine A2~ (infinite W) rejected by the root cap
DETECTED M4 B3 transvection with lambda(Delta)=6 has T(Delta) != Delta and the naive inverse fails
DETECTED M5 B3 tau with tau(s_n) = delta s_{n-1}..s_1 (no inverse) is not an automorphism
DETECTED M6 A3: the false statement "Delta central" is rejected
DETECTED M7 I2(4): aba = bab rejected
DETECTED M8 D4: identity permutation recognised as induced by W (control)
ALL MUTATIONS DETECTED
