q=512 (poly 0b1000010001), r=sqrt(2q)=32; element orders of 60 random elements: {7: 1, 37: 1, 73: 3, 109: 1, 481: 16, 511: 24, 545: 14} (all divide 4, q-1, q+r+1 or q-r+1)
  split-torus y, quotient mode: 40 pairs, tails max=24814, mean=7296.5, time=52.0s
BEST: tail=24814 (class-cycle length 291) with y of type q-1 (split torus, quotient by C(y))
  x = [116, 500, 446, 8, 173, 188, 423, 156, 494, 93, 174, 122, 28, 215, 446, 186]
  y = [427, 0, 0, 0, 0, 161, 0, 0, 0, 0, 243, 0, 0, 0, 0, 86]
=> certified: mu(Sz(512)) >= 24814
