M  md5 of sextic/cellsA2/cellsB2 vs RQ-C AUDIT_REQUEST: 0 mismatches; first-range data in the store identical to my A.9 copies: True
Y  symbolic identities: 16/16 hold []
Y  Laurent forms of c3 - B0 and c4 used by part S agree with sympy: True
B  cellsA2: 1155 rectangles in ['27/16', '47/25', '0', '179/256']: inside True, area sum equal True, overlapping pairs 0 => TILING OK
B  cellsB2: 32 rectangles in ['27/16', '47/25', '83/100', '9/10']: inside True, area sum equal True, overlapping pairs 0 => TILING OK
B  sextic: 271 rectangles in ['27/16', '47/25', '101/250', '27/50']: inside True, area sum equal True, overlapping pairs 0 => TILING OK
G  glue constants: 8/8 hold []
C  cells (cellsA2 + cellsB2 = 1187), target sqrt2 -> MINE: failures 0, leaves 1187, max depth 0, 2s
C  cells (cellsA2 + cellsB2 = 1187), target sqrt2 -> RQC-sigma: failures 0, leaves 1187, max depth 0, 2s
S  sextic boxes: failures 0/271; certified sub-boxes 271, max depth by box {0: 271}; smallest certified lower bound of mu 8.311e-05; 3s
N  Lemma 18 strips (sqrt2 -> MINE): failures 0/64; smallest p_i(9/10) = 3.3280e-03
N  Lemma 18 strips (sqrt2 -> RQC-sigma): failures 0/64; smallest p_i(9/10) = 3.3280e-03
RESULT: ALL CHECKS PASSED (parts MYBGCSN, 3s)
