q=128 (poly 0b10000011), r=sqrt(2q)=16; element orders of 60 random elements: {5: 2, 29: 3, 113: 10, 127: 35, 145: 10} (all divide 4, q-1, q+r+1 or q-r+1)
  split-torus y, quotient mode: 150 pairs, tails max=3554, mean=791.7, time=20.3s
BEST: tail=3554 (class-cycle length 412) with y of type q-1 (split torus, quotient by C(y))
  x = [74, 34, 74, 68, 16, 59, 68, 18, 124, 23, 49, 53, 10, 27, 19, 70]
  y = [114, 0, 0, 0, 0, 117, 0, 0, 0, 0, 87, 0, 0, 0, 0, 30]
=> certified: mu(Sz(128)) >= 3554
  cross-check of the best pair by direct full-sequence storage: tail=3554, cycle=52324
