d=2: |R7_d| = 0, certified 0, missing a = []
d=3: |R7_d| = 2, certified 2, missing a = []
d=4: |R7_d| = 5, certified 5, missing a = []
d=5: |R7_d| = 9, certified 9, missing a = []
d=6: |R7_d| = 14, certified 14, missing a = []
d=7: |R7_d| = 20, certified 20, missing a = []
d=8: |R7_d| = 27, certified 21, missing a = [47, 77, 80, 83, 86, 89]
R7 benzels with b <= 45: 107, certified 107, missing []
