|G_t| for the printed pairs:
  (p,t)=(5,2): |G_t| = 96  (printed 96), ord(-t) = 4
  (p,t)=(7,3): |G_t| = 24  (printed 24), ord(-t) = 3
  (p,t)=(11,2): |G_t| = 600  (printed 600), ord(-t) = 5
  (p,t)=(11,7): |G_t| = 600  (printed 600), ord(-t) = 5
  (p,t)=(13,4): |G_t| = 24  (printed 24), ord(-t) = 3
  (p,t)=(13,5): |G_t| = 96  (printed 96), ord(-t) = 4
  (p,t)=(11,3): |G_t| = 13200, |GL_2(F_p)| = 13200
  (p,t)=(13,2): |G_t| = 26208, |GL_2(F_p)| = 26208
pairs (p,t) with p <= 61 and ord(-t) in {3,4,5}: 46
|<x,y | x^2, y^3, (y^-1 x)^3>| = 12 (expected 12 = 12k/(6-k) = 12)
|<x,y | x^2, y^3, (y^-1 x)^4>| = 24 (expected 24 = 12k/(6-k) = 24)
|<x,y | x^2, y^3, (y^-1 x)^5>| = 60 (expected 60 = 12k/(6-k) = 60)
explicit F r_t F^-1 = r_(1/t) checked for 120 pairs (p <= 31, t^2 != 1, 1+t+t^2 != 0)
checks failed: 0
RESULT PASS
