(2^12): W = 151476660579404160000, fibres = 48828125 (sum asserted), e(Z) = 610397072367165, end-relaxed R = 515181809220930 (R/e(Z) = 0.844011)
  largest psi_2 fibre 5068945239589696 at (2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2)
  floor = 515181809220930; fibres >= floor: 1279, of which split: 1277; stream 132.8 s, split 782.0 s
  classes >= e(Z): [(610397072367165, (4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4)), (610397072367165, (0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0))]
  largest non-alternating class: 515181809220930 (ratio 0.844011) at [(4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 2), (2, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0), (2, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4), (0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 2)]
  CERTIFIED: the two alternating classes are the only classes of size >= e(Z)
  CERTIFIED: the four end-relaxed classes are the only second-largest
  time 914.8 s
