certificate cert_s023.npz: width a = 1.0, target s = 0.23, boxes = 65597
residue systems exact: PASS
finest grid [128, 64, 32, 64] = 16777216 cells; occupancy min 1 max 1; volume in initial cubes 1024 (expected 1024); exact cover: PASS
largest |own - stored| for (smin, E1, R2, bound): 5.55e-16 4.16e-17 6.94e-18 5.55e-16
boxes with own bound < target: 0; smallest own bound 0.2300001490 at box 49203 (stored 0.2300001490); min smin 0.237095; max E1 0.0599; max R2 0.0336
stored bound of the 500-th smallest box: 0.2300376723 (excess over target 3.767e-05)
stored bound of the 1000-th smallest box: 0.2300747776 (excess over target 7.478e-05)
stored bound of the 1950-th smallest box: 0.2301394023 (excess over target 1.394e-04)
stored bound of the 2000-th smallest box: 0.2301423694 (excess over target 1.424e-04)
box test (own double precision): PASS
seconds: 41
