{"start": "2026-10-22 20:05:50", "workers": 8, "shift": "0", "side0": 128, "maxside": 8192, "refine": true, "prec": 128}
{"side": "1/128", "squares": 351, "not_certified": 213, "boxes": 2008584, "cpu_s": 268.9, "wall_s": 34.3, "bad_example": {"sq": ["0", "1/128", "1/128", "1/64"], "fail": [0.599609375, 0.59967041015625, 0.77099609375, 0.771240234375]}}
{"side": "1/256", "squares": 829, "not_certified": 94, "boxes": 5280437, "cpu_s": 786.7, "wall_s": 133.2, "bad_example": {"sq": ["1/256", "1/128", "3/256", "1/64"], "fail": [0.566650390625, 0.56671142578125, 0.74658203125, 0.746826171875]}}
{"side": "1/512", "squares": 376, "not_certified": 18, "boxes": 4800487, "cpu_s": 648.6, "wall_s": 214.6, "bad_example": {"sq": ["13/256", "27/512", "75/512", "19/128"], "fail": [0.9156494140625, 0.91571044921875, 0.847900390625, 0.84814453125]}}
{"side": "1/1024", "squares": 72, "not_certified": 0, "boxes": 993588, "cpu_s": 151.9, "wall_s": 234.4}
{"shift": "0", "levels": [{"side": "1/128", "squares": 351, "not_certified": 213, "boxes": 2008584, "cpu_s": 268.9, "wall_s": 34.3, "bad_example": {"sq": ["0", "1/128", "1/128", "1/64"], "fail": [0.599609375, 0.59967041015625, 0.77099609375, 0.771240234375]}}, {"side": "1/256", "squares": 829, "not_certified": 94, "boxes": 5280437, "cpu_s": 786.7, "wall_s": 133.2, "bad_example": {"sq": ["1/256", "1/128", "3/256", "1/64"], "fail": [0.566650390625, 0.56671142578125, 0.74658203125, 0.746826171875]}}, {"side": "1/512", "squares": 376, "not_certified": 18, "boxes": 4800487, "cpu_s": 648.6, "wall_s": 214.6, "bad_example": {"sq": ["13/256", "27/512", "75/512", "19/128"], "fail": [0.9156494140625, 0.91571044921875, 0.847900390625, 0.84814453125]}}, {"side": "1/1024", "squares": 72, "not_certified": 0, "boxes": 993588, "cpu_s": 151.9, "wall_s": 234.4}], "certified_leaf_totals": {"boxes": 10959497, "infeasible": 2060234, "O1": 387535, "O2": 1319022, "O3": 2600959, "O4": 160735, "slope": 655, "slope_empty": 0, "pieces": 1330}, "certified_squares": 1303, "uncertified": [], "worst_direct_margin": [7.92991831006428e-10, "2027/2048", "507/512", "1825/2048", "913/1024", "25/256", "13/128", "23/256", "3/32"], "seconds": 234.4}

real	3m54.666s
user	30m35.172s
sys	0m0.430s
