M  md5 of the 117 manifest files vs RQ-A k2_MD5SUMS.txt: 0 mismatches []
data: 784 cells; boxes s=+1: 38631, s=-1: 16884; kinds {(-1, 'lp'): 15331, (-1, 'ncA'): 288, (-1, 'ncB'): 958, (-1, 'small'): 307, (1, 'lp'): 33479, (1, 'ms'): 1189, (1, 'ncA'): 1680, (1, 'ncB'): 1909, (1, 'small'): 374}
B  U_LO < u0, U_HI > u3 = sqrt(2+sqrt6): True
B  784 one-coordinate cells tile ['1553773/1000000', '1054691/500000', '0', '9/20']: OK; inside True; area True
B  s=+1: 38631 boxes inside True; volume sum == region volume True; overlapping pairs 0 => TILING OK
B  s=-1: 16884 boxes inside True; volume sum == region volume True; overlapping pairs 0 => TILING OK
F  small boxes: 681, violating r2 c(t1) <= 9/20: 0
C  one-coordinate cells: failures 0/784, max depth 0, 38s
D  LP boxes: failures 0/48810; certified at depth {0: 48810}, 59s
E  near-circle boxes: failures 0/4835; passed by test {'1': 1973, '2': 2862}; 59s
G  m-split boxes: failures 0/1189; pieces 1669 by test {'A3': 1659, 'B3': 10}; min u1 = 2.0900 (>= u0); m_c values ['31/40', '4/5', '33/40', '17/20', '7/8', '9/10']; 60s
H  three-bit lemma: 256 functions, P_f >= 0 on [q3,q0] fails for 0; P_f == 0 exactly for 6 f (= +-OR_2: True); P_f(q3) = 0 for 2 f (= +-OR_3: True); P_f(q0) = 0 for 6 f (= +-dictators: True)
RESULT: ALL CHECKS PASSED (parts MBFHGCDE, 61s)
