N = 1000000 | residual set size 16703 | certified 16703 | by family {'F3': 602, 'F1': 15330, 'F2': 771}
residual n without valid certificate: [] | total 0
problems: []
extra certified n not in R: []
