PASS cells per file 256, 257, 300, 455; all of degree ten  [[256, 257, 300, 455] {10: 1268}]
PASS Table 1: s=+1 lpv 3 327, ms5 2 718; s=-1 lpv 1 216, ms5 0; total 7 261  [{(1, 'lpv'): 3327, (1, 'ms5'): 2718, (-1, 'lpv'): 1216}]
PASS box widths: u 7e-4..0.01, t 3.2e-3..0.104, r 5.2e-3..0.084 (rounded)  [min [0.0007     0.00323609 0.00523438], max [0.01     0.103555 0.08375 ]]
PASS ms5 m_c: 1/2 (2 194), 9/20 (240), 3/4 (104), 4/5 (64), 3/5 (62), 17/20 (25), 9/10 (18), 2/5 (11)  [{'9/10': 18, '4/5': 64, '17/20': 25, '3/4': 104, '1/2': 2194, '9/20': 240, '3/5': 62, '2/5': 11}]
PASS exactly one minus piece per ms5 box (211 SG, 2 507 TC)  [{1: 2718} {'SG': 211, 'TC': 2507}]
PASS 1 to 8 plus pieces, 5 467 in total: 101 (A3), 2 681 TC, 1 438 TCS, 1 247 TCN  [1..8, 5467, {'A3': 101, 'TC': 2681, 'TCS': 1438, 'TCN': 1247}]
PASS TCS: m_c' = 17/20 (1 223) or 4/5 (215); 1 999 sub-pieces, all (A4)  [{'17/20': 1223, '4/5': 215} {'A4': 1999}]
PASS TCN: m_c' = 13/20 (1 193), 3/5 (38), 11/20 (16); cap 1 (364) or in [0.681, 0.999] (883)  [{'13/20': 1193, '3/5': 38, '11/20': 16}, cap=1: 364, others 883 in [0.6819, 0.9987]]
PASS TCN inner plus: 534 (A4), 2 479 TC4, 216 TC4S (all m_c'' = 17/20; 383 sub-pieces, all (A5)); inner minus: 1 247 TC4, 73 SG3  [{'A4': 534, 'TC4': 2479, 'TC4S': 216} {'17/20': 216} {'A5': 383} {'TC4': 1247, 'SG3': 73}]
PASS 21 014 vertex certificates with 171 488 vertices; 7 472 / 9 384 / 4 158 with 2 / 3 / 4 patch parameters  [21014 171488 {2: 7472, 3: 9384, 4: 4158}]
PASS vertex polynomials: 1 894 of degree 10, all others degree 6  [{6: 169594, 10: 1894}]
PASS vertex counts are 2^k (4, 8, 16)
PASS Remark 3: TCS in 684 boxes with u <= 2.76; TCN in 1 124 boxes with u >= 2.75; TC4S in 96 boxes with u >= 2.83  [TCS 684 (2.5424, 2.76), TCN 1124 (2.75, 2.9107), TC4S 96 (2.83, 2.9107)]
PASS the five plus slabs in [2.86, 2.91] contain 2 766 of the 7 261 boxes  [2766]
PASS ms5 boxes only for s = +1 (none for s = -1)
PASS Lemma 5: E|c chi1 + s d chi2| = 2 tau max{c, d, [s=1](1-q)(c+d)} (20 000 random (q, c, d), both s)  [max error 4.44e-16]
PASS Lemma 4: (e1+..+ek)/sqrt k attains T_k for q < 1/k (k = 3, 4, 5)  [max error 4.44e-16]
PASS Theorem 5(c): T5 > T4 on (0, q5), T3 > T4 on (q4, 1/3), 2 tau > T4 on [1/3, 1/2] (20 001-point grid)
PASS Corollary 2: T4 = max_k T_k on [q5, q4] (k <= 10, grid; k >= 5 by the decreasing sequence (k/4)(4/5)^(k-4))
PASS ties: T_3(q4) = T_4(q4) and T_5(q5) = T_4(q5) (since (1-q4)^2 = 3/4 and (1-q5)^2 = 4/5)
RESULT: ALL PASS (20/20)
