(2^3): W = 90, fibres = 25 (sum asserted), e(Z) = 6, end-relaxed R = 4 (R/e(Z) = 0.666667)
  largest psi_2 fibre 12 at (2, 2)
  floor = 4; fibres >= floor: 13, of which split: 9; stream 0.0 s, split 0.0 s
  classes >= e(Z): [(6, (4, 0)), (6, (2, 2)), (6, (2, 2)), (6, (0, 4))]
  largest non-alternating class: 6 (ratio 1.000000) at [(2, 2), (2, 2)]
  next: 4 (ratio 0.666667) at [(4, 2), (3, 1), (2, 4), (2, 0), (1, 3), (0, 2)]
  time 0.0 s
(2^4): W = 2520, fibres = 125 (sum asserted), e(Z) = 53, end-relaxed R = 50 (R/e(Z) = 0.943396)
  largest psi_2 fibre 132 at (2, 2, 2)
  floor = 50; fibres >= floor: 11, of which split: 9; stream 0.0 s, split 0.0 s
  classes >= e(Z): [(56, (2, 2, 2)), (56, (2, 2, 2)), (53, (4, 0, 4)), (53, (0, 4, 0))]
  largest non-alternating class: 56 (ratio 1.056604) at [(2, 2, 2), (2, 2, 2)]
  next: 50 (ratio 0.943396) at [(4, 0, 2), (2, 4, 0), (2, 0, 4), (0, 4, 2)]
  time 0.0 s
(2^5): W = 113400, fibres = 625 (sum asserted), e(Z) = 840, end-relaxed R = 680 (R/e(Z) = 0.809524)
  largest psi_2 fibre 2372 at (2, 2, 2, 2)
  floor = 680; fibres >= floor: 29, of which split: 27; stream 0.0 s, split 0.0 s
  classes >= e(Z): [(844, (2, 2, 2, 2)), (840, (4, 0, 4, 0)), (840, (0, 4, 0, 4))]
  largest non-alternating class: 844 (ratio 1.004762) at [(2, 2, 2, 2)]
  next: 698 (ratio 0.830952) at [(2, 2, 2, 2)]
  time 0.0 s
(2^6): W = 7484400, fibres = 3125 (sum asserted), e(Z) = 18717, end-relaxed R = 16098 (R/e(Z) = 0.860074)
  largest psi_2 fibre 62304 at (2, 2, 2, 2, 2)
  floor = 16098; fibres >= floor: 41, of which split: 39; stream 0.0 s, split 0.0 s
  classes >= e(Z): [(18717, (4, 0, 4, 0, 4)), (18717, (0, 4, 0, 4, 0))]
  largest non-alternating class: 16098 (ratio 0.860074) at [(4, 0, 4, 0, 2), (2, 4, 0, 4, 0), (2, 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 0.0 s
(2^7): W = 681080400, fibres = 15625 (sum asserted), e(Z) = 585984, end-relaxed R = 490728 (R/e(Z) = 0.837443)
  largest psi_2 fibre 2261668 at (2, 2, 2, 2, 2, 2)
  floor = 490728; fibres >= floor: 59, of which split: 57; stream 0.0 s, split 0.1 s
  classes >= e(Z): [(585984, (4, 0, 4, 0, 4, 0)), (585984, (0, 4, 0, 4, 0, 4))]
  largest non-alternating class: 490728 (ratio 0.837443) at [(4, 0, 4, 0, 4, 2), (2, 4, 0, 4, 0, 4), (2, 0, 4, 0, 4, 0), (0, 4, 0, 4, 0, 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 0.1 s
(2^8): W = 81729648000, fibres = 78125 (sum asserted), e(Z) = 24004425, end-relaxed R = 20326650 (R/e(Z) = 0.846788)
  largest psi_2 fibre 108184432 at (2, 2, 2, 2, 2, 2, 2)
  floor = 20326650; fibres >= floor: 105, of which split: 103; stream 0.1 s, split 0.7 s
  classes >= e(Z): [(24004425, (4, 0, 4, 0, 4, 0, 4)), (24004425, (0, 4, 0, 4, 0, 4, 0))]
  largest non-alternating class: 20326650 (ratio 0.846788) at [(4, 0, 4, 0, 4, 0, 2), (2, 4, 0, 4, 0, 4, 0), (2, 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 0.9 s
(2^9): W = 12504636144000, fibres = 390625 (sum asserted), e(Z) = 1258008192, end-relaxed R = 1060140888 (R/e(Z) = 0.842714)
  largest psi_2 fibre 6600715188 at (2, 2, 2, 2, 2, 2, 2, 2)
  floor = 1060140888; fibres >= floor: 181, of which split: 179; stream 0.5 s, split 4.3 s
  classes >= e(Z): [(1258008192, (4, 0, 4, 0, 4, 0, 4, 0)), (1258008192, (0, 4, 0, 4, 0, 4, 0, 4))]
  largest non-alternating class: 1060140888 (ratio 0.842714) at [(4, 0, 4, 0, 4, 0, 4, 2), (2, 4, 0, 4, 0, 4, 0, 4), (2, 0, 4, 0, 4, 0, 4, 0), (0, 4, 0, 4, 0, 4, 0, 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 4.9 s
(2^10): W = 2375880867360000, fibres = 1953125 (sum asserted), e(Z) = 81754904025, end-relaxed R = 69036903930 (R/e(Z) = 0.844437)
  largest psi_2 fibre 500046044352 at (2, 2, 2, 2, 2, 2, 2, 2, 2)
  floor = 69036903930; fibres >= floor: 323, of which split: 321; stream 3.6 s, split 25.5 s
  classes >= e(Z): [(81754904025, (4, 0, 4, 0, 4, 0, 4, 0, 4)), (81754904025, (0, 4, 0, 4, 0, 4, 0, 4, 0))]
  largest non-alternating class: 69036903930 (ratio 0.844437) at [(4, 0, 4, 0, 4, 0, 4, 0, 2), (2, 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, 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 29.1 s
(2^11): W = 548828480360160000, fibres = 9765625 (sum asserted), e(Z) = 6463563321600, end-relaxed R = 5453267773800 (R/e(Z) = 0.843694)
  largest psi_2 fibre 46059875586796 at (2, 2, 2, 2, 2, 2, 2, 2, 2, 2)
  floor = 5453267773800; fibres >= floor: 645, of which split: 643; stream 17.8 s, split 143.8 s
  classes >= e(Z): [(6463563321600, (4, 0, 4, 0, 4, 0, 4, 0, 4, 0)), (6463563321600, (0, 4, 0, 4, 0, 4, 0, 4, 0, 4))]
  largest non-alternating class: 5453267773800 (ratio 0.843694) at [(4, 0, 4, 0, 4, 0, 4, 0, 4, 2), (2, 4, 0, 4, 0, 4, 0, 4, 0, 4), (2, 0, 4, 0, 4, 0, 4, 0, 4, 0), (0, 4, 0, 4, 0, 4, 0, 4, 0, 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 161.6 s
