q=128 (poly 0b10000011), r=sqrt(2q)=16; element orders of 60 random elements: {29: 3, 113: 12, 127: 34, 145: 11} (all divide 4, q-1, q+r+1 or q-r+1)
  y of order 127 (q-1): 15 pairs, tails max=3759, mean=855.7, time=20.9s
  y of order 145 (q+r+1): 15 pairs, tails max=1292, mean=529.3, time=41.3s
  y of order 113 (q-r+1): 15 pairs, tails max=2842, mean=1216.9, time=18.2s
BEST: tail=3759 (cycle length 52324) with y of order type q-1
  x = [82, 113, 45, 103, 0, 115, 51, 55, 76, 30, 0, 82, 9, 111, 58, 34]
  y = [70, 39, 37, 20, 39, 85, 90, 25, 74, 91, 122, 34, 80, 89, 56, 103]
=> certified: mu(Sz(128)) >= 3759
