{"part": "B", "shift": "1/1000", "levels": [{"side": "1/512", "squares": 1333, "bad": 44, "boxes": 876170, "cpu_s": 34.0, "bad_example": ["7/512", "1/64", "3/512", "1/128", [0.51617431640625, 0.5162353515625, 0.711181640625, 0.71124267578125, 0.8567657682221491]]}], "total_boxes": 876170, "certified_squares": 1289, "uncertified": [["7/512", "1/64", "3/512", "1/128"], ["7/512", "1/64", "1/128", "5/512"], ["1/64", "9/512", "1/256", "3/512"], ["1/64", "9/512", "3/512", "1/128"], ["9/512", "5/256", "0", "1/512"], ["9/512", "5/256", "1/512", "1/256"], ["9/512", "5/256", "1/256", "3/512"], ["9/512", "5/256", "3/512", "1/128"], ["5/256", "11/512", "0", "1/512"], ["5/256", "11/512", "1/512", "1/256"], ["5/256", "11/512", "1/256", "3/512"], ["5/256", "11/512", "3/512", "1/128"], ["11/512", "3/128", "0", "1/512"], ["11/512", "3/128", "1/512", "1/256"], ["11/512", "3/128", "1/256", "3/512"], ["11/512", "3/128", "3/512", "1/128"], ["3/128", "13/512", "0", "1/512"], ["3/128", "13/512", "1/512", "1/256"], ["3/128", "13/512", "1/256", "3/512"], ["13/512", "7/256", "0", "1/512"], ["13/512", "7/256", "1/512", "1/256"], ["13/512", "7/256", "1/256", "3/512"], ["7/256", "15/512", "0", "1/512"], ["7/256", "15/512", "1/512", "1/256"], ["7/256", "15/512", "1/256", "3/512"], ["15/512", "1/32", "0", "1/512"], ["15/512", "1/32", "1/512", "1/256"], ["15/512", "1/32", "1/256", "3/512"], ["1/32", "17/512", "0", "1/512"], ["1/32", "17/512", "1/512", "1/256"], ["17/512", "9/256", "0", "1/512"], ["17/512", "9/256", "1/512", "1/256"], ["9/256", "19/512", "0", "1/512"], ["9/256", "19/512", "1/512", "1/256"], ["19/512", "5/128", "0", "1/512"], ["19/512", "5/128", "1/512", "1/256"], ["5/128", "21/512", "0", "1/512"], ["21/512", "11/256", "0", "1/512"], ["11/256", "23/512", "0", "1/512"], ["3/32", "49/512", "3/512", "1/128"], ["49/512", "25/256", "1/512", "1/256"], ["49/512", "25/256", "1/256", "3/512"], ["25/256", "51/512", "1/512", "1/256"], ["51/512", "13/128", "0", "1/512"]], "worst_margin": [2.234510390945394e-09, 0.482666015625, 0.48291015625, 0.6600341796875, 0.66015625, "3/32", "49/512", "1/256", "3/512"], "seconds": 4.9}
{"part": "B", "shift": "1/2000", "levels": [{"side": "1/512", "squares": 1333, "bad": 10, "boxes": 834412, "cpu_s": 29.1, "bad_example": ["9/512", "5/256", "1/512", "1/256", [0.50482177734375, 0.5048828125, 0.70330810546875, 0.703369140625, 0.8572640284287533]]}], "total_boxes": 834412, "certified_squares": 1323, "uncertified": [["9/512", "5/256", "1/512", "1/256"], ["5/256", "11/512", "0", "1/512"], ["5/256", "11/512", "1/512", "1/256"], ["11/512", "3/128", "0", "1/512"], ["11/512", "3/128", "1/512", "1/256"], ["3/128", "13/512", "0", "1/512"], ["3/128", "13/512", "1/512", "1/256"], ["13/512", "7/256", "0", "1/512"], ["7/256", "15/512", "0", "1/512"], ["15/512", "1/32", "0", "1/512"]], "worst_margin": [1.1820373371365994e-07, 0.498046875, 0.5, 0.69921875, 0.701171875, "9/512", "5/256", "1/256", "3/512"], "seconds": 4.2}
{"part": "B", "shift": "0", "levels": [{"side": "1/512", "squares": 1333, "bad": 0, "boxes": 819148, "cpu_s": 27.6}], "total_boxes": 819148, "certified_squares": 1333, "uncertified": [], "worst_margin": [7.378545122729281e-08, 0.53125, 0.546875, 0.6953125, 0.703125, "3/32", "49/512", "1/256", "3/512"], "seconds": 4.0}
