C  cells (cellsA2 + cellsB2 = 1187), target sqrt2 -> MINE: failures 0, leaves 1187, max depth 0, 1s
C  cells (cellsA2 + cellsB2 = 1187), target sqrt2 -> RQC-sigma: failures 0, leaves 1187, max depth 0, 1s
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; 1s
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 CSN, 1s)
