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}
D  21014 vertex-certificate sets (171488 vertices; by number of patch parameters {2: 7472, 3: 9384, 4: 4158}); record-side cap/phi/sign problems: 0 []
D  vertex certificates: failures 0/21014; sets by role {'lpv': 4543, 'c1': 2718, 'SG': 211, 'TC': 5188, 'TCS1': 1438, 'TCS2': 1438, 'TCN1': 1247, 'TC4+': 2479, 'TC4-': 1247, 'SG3': 73, 'TC4S1': 216, 'TC4S2': 216}; cone sub-boxes max 1, total 21014, sets needing a split 0; 124s
RESULT: ALL CHECKS PASSED (parts D, 124s)

real	2m5.590s
user	16m27.833s
sys	0m0.870s
