certificates with <= 300 edges: 16680; checked 3371 (per family cap 2000): passed 3371
by family checked: {'F3': 602, 'F1': 2000, 'F2': 769}
failures: []
