436 box records from 5 files
box tiling OK: 436 leaves tile ROOT (initial grid 2^4 x 2^4)
verified: 280 boxes with 1237 cell certificates, 156 empty boxes, 0 failures; worst certified bound 0.854883 < C5 = 0.85510045547; 25s
ALL CHECKS PASSED
