start 2026-10-23 04:06:20 UTC
level step 0.0078125: 351 (a,b) squares
  0/351  3s  bad so far 1
  200/351  90s  bad so far 105
level step 0.00390625: 837 (a,b) squares
  0/837  160s  bad so far 1
  200/837  248s  bad so far 23
  400/837  340s  bad so far 58
  600/837  432s  bad so far 95
  800/837  521s  bad so far 102
level step 0.001953125: 408 (a,b) squares
  0/408  539s  bad so far 0
  200/408  638s  bad so far 3
  400/408  745s  bad so far 20
level step 0.0009765625: 80 (a,b) squares
  0/80  750s  bad so far 0
{"levels": [{"step": 0.0078125, "squares": 351, "not_certified": 215, "lam_m_boxes": 2094045}, {"step": 0.00390625, "squares": 837, "not_certified": 102, "lam_m_boxes": 5839031}, {"step": 0.001953125, "squares": 408, "not_certified": 20, "lam_m_boxes": 5825480}, {"step": 0.0009765625, "squares": 80, "not_certified": 0, "lam_m_boxes": 1135478}], "certified": 1339, "lam_m_boxes": 14894034, "certified_by": {"infeasible": 3114781, "chord": 551105, "twopoint_C": 2876016, "slope": 426, "twopoint_CS": 128597, "taylor_B": 1203286}, "sec": 789.0}
{"squares": 1339, "leaves": 7874211, "slope_leaves": 426} {"published_squares": 1676, "recorded_squares": 1676, "identical": 1676, "differ": 0, "missing": 0}
end 2026-10-23 04:19:32 UTC

real	13m12.483s
user	95m19.742s
sys	9m23.467s
exit: 0
