level step 0.0078125: 351 (a,b) squares
  0/351  4s  bad so far 1
  200/351  101s  bad so far 104
level step 0.00390625: 837 (a,b) squares
  0/837  177s  bad so far 1
  200/837  265s  bad so far 23
  400/837  359s  bad so far 58
  600/837  453s  bad so far 95
  800/837  542s  bad so far 102
level step 0.001953125: 408 (a,b) squares
  0/408  559s  bad so far 0
  200/408  659s  bad so far 3
  400/408  767s  bad so far 20
level step 0.0009765625: 80 (a,b) squares
  0/80  772s  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, "twopoint_CS": 128597, "slope": 426, "taylor_B": 1203286}, "sec": 811.7}

real	13m32.335s
user	95m4.137s
sys	9m41.925s
