M24: degree 24, order 244823040; elements of order 3: 712448 (2 classes, sizes [485760, 226688]); involutions: 43263 (class sizes recomputed as conjugation orbits: all equal to the GAP class sizes)
pairs (a,b) tested: 1424896; C-role solvable: 13176; C and F: 8784; 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 M24: homomorphisms J -> T with A != 1: NONE ; time 150.2 s
