k4 verifier (RQ-AUD), data RQ-AUD/audit/rqa/k4_data: 1268 cells, 7261 boxes, kinds {(-1, 'lpv'): 1216, (1, 'lpv'): 3327, (1, 'ms5'): 2718}
C  one-coordinate cells (own ten-moment bound, Theta_1 for T4): failures 0/1268; degrees {10: 1268}; 1s
F  m-split boxes: failures 0/2718; pieces and near-sphere tests {'A3': 101, 'TC4S/A5': 383, 'TCN minus SG3': 73, 'TCN minus TC4': 1247, 'TCN plus A4': 534, 'TCN plus TC4': 2479, 'TCN plus TC4S': 216, 'TCN/A4': 534, 'TCS/A4': 1999, 'minus SG': 211, 'minus TC': 2507, 'plus A3': 101, 'plus TC': 2681, 'plus TCN': 1247, 'plus TCS': 1438}; m_c values ['2/5', '9/20', '1/2', '3/5', '3/4', '4/5', '17/20', '9/10']; 2s
RESULT: ALL CHECKS PASSED (parts CF, 2s)

real	0m3.420s
user	0m13.605s
sys	0m0.556s
