k4_data/s11_254_256.json: md5 31d28bce; 69 split boxes; all s2 = +1: True; max (a1+)^2+(a2+)^2 = 17/20 = 0.8500; min a2- = 2/5; both conditions: True
k4_data/s12_2560_2580.json: md5 f65717c1; 117 split boxes; all s2 = +1: True; max (a1+)^2+(a2+)^2 = 19017/25600 = 0.7429; min a2- = 73/160; both conditions: True
k4_data/s12_2580_2600.json: md5 5f780d44; 123 split boxes; all s2 = +1: True; max (a1+)^2+(a2+)^2 = 461/640 = 0.7203; min a2- = 73/160; both conditions: True
k4_data/s12_2600_2620.json: md5 093afeb9; 119 split boxes; all s2 = +1: True; max (a1+)^2+(a2+)^2 = 3577/5120 = 0.6986; min a2- = 73/160; both conditions: True
k4_data/s13_2620_2640.json: md5 acd0e21e; 132 split boxes; all s2 = +1: True; max (a1+)^2+(a2+)^2 = 17497/25600 = 0.6835; min a2- = 9/20; both conditions: True
k4_data/s13_2640_2660.json: md5 dc4f88a1; 129 split boxes; all s2 = +1: True; max (a1+)^2+(a2+)^2 = 17117/25600 = 0.6686; min a2- = 9/20; both conditions: True
overall: max (a1+)^2+(a2+)^2 = 17/20 = 0.8500; min a2- = 2/5
