436 boxes; initial grid 2^4 x 2^4
box level (side = root / 2^(4+d)): ok, empty
  d = 0:   96 certified,  134 empty
  d = 1:   71 certified,   12 empty
  d = 2:   66 certified,    6 empty
  d = 3:   44 certified,    3 empty
  d = 4:    3 certified,    1 empty
cell certificates by status: {'ok': 1236, 'empty_farkas': 1}
cell certificates by cell level: {0: 109, 1: 536, 2: 592}
max (stored bound - float LP value) = 3.78e-02; max L_t = 14.621
largest stored cell bounds (float):
  0.854883  box (6, 3, 6, 39) = [0.0525, 0.0700] x [0.2072, 0.2125], cell (2, 3, 1)
  0.854878  box (6, 4, 6, 34) = [0.0700, 0.0875] x [0.1806, 0.1859], cell (0, 0, 0)
  0.854868  box (6, 2, 6, 40) = [0.0350, 0.0525] x [0.2125, 0.2178], cell (2, 3, 1)
  0.854862  box (7, 4, 7, 74) = [0.0350, 0.0437] x [0.1966, 0.1992], cell (1, 1, 0)
  0.854833  box (6, 0, 6, 40) = [0.0000, 0.0175] x [0.2125, 0.2178], cell (2, 3, 1)
  0.854822  box (5, 3, 5, 29) = [0.1050, 0.1400] x [0.3081, 0.3187], cell (1, 1, 0)
  0.854815  box (5, 4, 5, 21) = [0.1400, 0.1750] x [0.2231, 0.2338], cell (1, 1, 0)
  0.854804  box (5, 3, 5, 26) = [0.1050, 0.1400] x [0.2762, 0.2869], cell (1, 1, 0)
stored cell bounds: count with bound in (0.856 - 0.002 (k + 1), 0.856 - 0.002 k]: {0: 60, 1: 129, 2: 16, 3: 28, 4: 67, 5: 69, 6: 61, 7: 78, 8: 88, 9: 93, 10: 81, 11: 56, 12: 39, 13: 28, 14: 26, 15: 31, 16: 41, 17: 39, 18: 44, 19: 41, 20: 121}
