{"control": "origin [0,1/256]^2 shift 0", "certified": true, "expected": true, "boxes": 2413, "first_fail": null}
{"control": "origin [0,1/256]^2 shift 1/1000000000000000000000000000000", "certified": false, "expected": false, "boxes": 1965, "first_fail": [0.55780029296875, 0.557861328125, 0.746826171875, 0.7470703125]}
{"control": "origin [0,1/256]^2 shift 1/1000000000", "certified": false, "expected": false, "boxes": 1965, "first_fail": [0.55780029296875, 0.557861328125, 0.746826171875, 0.7470703125]}
{"control": "origin [0,1/256]^2 shift 1/2000", "certified": false, "expected": false, "boxes": 1923, "first_fail": [0.563232421875, 0.56329345703125, 0.75048828125, 0.750732421875]}
{"control": "origin [0,1/256]^2 without slope check", "certified": false, "expected": false, "boxes": 1988, "first_fail": [0.58062744140625, 0.5806884765625, 0.76171875, 0.761962890625]}
{"control": "origin [0,1/128]^2 shift 0", "certified": true, "expected": true, "boxes": 2562, "first_fail": null}
{"control": "origin [0,1/128]^2 shift 1/1000000000000000000000000000000", "certified": false, "expected": false, "boxes": 2068, "first_fail": [0.55780029296875, 0.557861328125, 0.746826171875, 0.7470703125]}
{"control": "origin [0,1/128]^2 shift 1/1000000000", "certified": false, "expected": false, "boxes": 2068, "first_fail": [0.55780029296875, 0.557861328125, 0.746826171875, 0.7470703125]}
{"control": "origin [0,1/128]^2 shift 1/2000", "certified": false, "expected": false, "boxes": 2027, "first_fail": [0.563232421875, 0.56329345703125, 0.75048828125, 0.750732421875]}
{"control": "origin [0,1/128]^2 without slope check", "certified": false, "expected": false, "boxes": 2136, "first_fail": [0.59942626953125, 0.5994873046875, 0.77392578125, 0.774169921875]}
{"control": "72 last-level squares (side 1/1024) shift 0", "not_certified": 0, "expected_not_certified": 0}
{"control": "72 last-level squares (side 1/1024) shift 1/10000", "not_certified": 0}
{"control": "72 last-level squares (side 1/1024) shift 1/1000", "not_certified": 62}
CONTROLS AS EXPECTED

real	0m58.567s
user	7m24.473s
sys	0m0.315s
