[dir] certificates/original: 136 files accepted, 132 in R7, others: [(12, 15), (22, 26), (35, 40), (5, 7)]
       R7 members with b from 9 to 82
[dir] certificates/verification_run_B: 87 files accepted, 87 in R7, others: []
       R7 members with b from 46 to 60
[cov] certified benzels of R7: 219 ; all certificates: 223
      b-a=3: 2 in R7, 2 certified, missing []
      b-a=4: 5 in R7, 5 certified, missing []
      b-a=5: 9 in R7, 9 certified, missing []
      b-a=6: 14 in R7, 14 certified, missing []
      b-a=7: 20 in R7, 20 certified, missing []
      b-a=8: 27 in R7, 22 certified, missing [(77, 85), (80, 88), (83, 91), (86, 94), (89, 97)]
      b<=45: 107 in R7, missing 0
      b<=60: 206 in R7, missing 0
      certified R7 benzels with b>60: 13 [(53, 61), (55, 62), (56, 64), (58, 65), (59, 67), (61, 68), (62, 70), (64, 71), (65, 73), (67, 74), (68, 76), (71, 79), (74, 82)]
      largest certificate: (74, 82) with 5958 cells
      uncertified R7 benzels with b=61: [(32, 61), (35, 61), (38, 61), (41, 61), (44, 61), (47, 61), (50, 61)]
      family members (4D-3,5D-3) certified by files: [(9, 12), (13, 17), (17, 22), (21, 27), (25, 32), (29, 37), (33, 42), (37, 47), (41, 52), (45, 57)]
[thm] all R7 with b-a<=7 or b<=60 certified: True ; b-a=8 uncertified: [(77, 85), (80, 88), (83, 91), (86, 94), (89, 97)]
FAILURES: 0  (1.0s)
