out/k4/s11_254_256.json: region ['127/50', '64/25'], 69 split boxes, max a1hi^2 + a2hi^2 = 0.850000, min a2lo = 2/5 -> PASS
out/k4/s12_2560_2580.json: region ['64/25', '129/50'], 117 split boxes, max a1hi^2 + a2hi^2 = 0.742852, min a2lo = 73/160 -> PASS
out/k4/s12_2580_2600.json: region ['129/50', '13/5'], 123 split boxes, max a1hi^2 + a2hi^2 = 0.720313, min a2lo = 73/160 -> PASS
out/k4/s12_2600_2620.json: region ['13/5', '131/50'], 119 split boxes, max a1hi^2 + a2hi^2 = 0.698633, min a2lo = 73/160 -> PASS
out/k4/s13_2620_2640.json: region ['131/50', '66/25'], 132 split boxes, max a1hi^2 + a2hi^2 = 0.683477, min a2lo = 9/20 -> PASS
out/k4/s13_2640_2660.json: region ['66/25', '133/50'], 129 split boxes, max a1hi^2 + a2hi^2 = 0.668633, min a2lo = 9/20 -> PASS
ALL TILING CHECKS PASSED
