Fri Oct 23 12:55:41 AM UTC 2026
b5b55ceec828f01debc6c1a422e7270f  scripts/verify_bandstar.py
level step 0.0078125: 351 (a,b) squares
  0/351  2s  bad so far 1
  200/351  56s  bad so far 105
level step 0.00390625: 837 (a,b) squares
  0/837  100s  bad so far 1
  200/837  155s  bad so far 23
  400/837  215s  bad so far 58
  600/837  276s  bad so far 95
  800/837  332s  bad so far 102
level step 0.001953125: 408 (a,b) squares
  0/408  343s  bad so far 0
  200/408  411s  bad so far 3
  400/408  485s  bad so far 20
level step 0.0009765625: 80 (a,b) squares
  0/80  489s  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": 518.6}
EXIT 0
Fri Oct 23 01:04:20 AM UTC 2026
BANDDONE
