O8m2: degree 119, order 197406720; elements of order 3: 490688 (3 classes, sizes [3264, 182784, 304640]); involutions: 69615 (class sizes recomputed as conjugation orbits: all equal to the GAP class sizes)
pairs (a,b) tested: 1472064; C-role solvable: 13428; C and F: 12636; C and D (= hom of J): 0; C and E: 0; all four (= hom of K): 0
  check of an L-hom (a,b,c) against the literal relators: True
  check of a hom of <A,B,C,F> against the literal relators: True
RESULT O8m2: homomorphisms J -> T with A != 1: NONE ; time 423.8 s
