MAIN-3 verifier (RQ-AUD), data RQ-AUD/audit/rqa/k3_data; 97 data files
M  md5 of the 98 manifest files vs RQ-A k3_MD5SUMS.txt: 0 mismatches []
data: 2704 cells; boxes s=+1: 69871, s=-1: 12104; kinds {(-1, 'lp'): 11613, (-1, 'ncB'): 232, (-1, 'small'): 259, (1, 'lp'): 45720, (1, 'ms'): 21232, (1, 'ncA'): 1097, (1, 'ncB'): 1205, (1, 'small'): 617}
C  one-coordinate cells (Theta1, S3=MINE): failures 0/2704, sub-cells 2704, max depth 0, 2s
D  lp boxes (S3=MINE): failures 0/57333; certified at depth {0: 57333}, 21s
E  near-circle boxes (S3=MINE): failures 0/2534; passed by test {'1': 1168, '2': 1366}; boxes touching [U_LO, u3) (argument used only at u >= u3): 75; 21s
G  m-split boxes (S3=MINE): failures 0/21232; pieces 32932 by test {'A3': 32394, 'B3': 538}; min u1 = 2.109381; m_c values ['3/4', '31/40', '4/5', '33/40', '17/20', '7/8', '9/10']; 39s
RESULT: ALL CHECKS PASSED (parts MCDEG, 39s)

real	0m38.980s
user	4m51.134s
sys	0m1.264s
