U4_3: degree 112, order 3265920; elements of order 3: 47600 (4 classes, sizes [3360, 3360, 560, 40320]); involutions: 2835 (class sizes recomputed as conjugation orbits: all equal to the GAP class sizes)
pairs (a,b) tested: 190400; C-role solvable: 12960; C and F: 12798; 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 U4_3: homomorphisms J -> T with A != 1: NONE ; time 24.3 s
G2_3: degree 351, order 4245696; elements of order 3: 59696 (5 classes, sizes [728, 26208, 26208, 5824, 728]); involutions: 7371 (class sizes recomputed as conjugation orbits: all equal to the GAP class sizes)
pairs (a,b) tested: 298480; C-role solvable: 810; C and F: 324; 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 G2_3: homomorphisms J -> T with A != 1: NONE ; time 43.0 s
HS: degree 100, order 44352000; elements of order 3: 123200 (1 classes, sizes [123200]); involutions: 21175 (class sizes recomputed as conjugation orbits: all equal to the GAP class sizes)
pairs (a,b) tested: 123200; C-role solvable: 4500; C and F: 4140; 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 HS: homomorphisms J -> T with A != 1: NONE ; time 30.4 s
