P67 · n = 16 · Solver note / 求解记录

从公开 n=16 构型开始，在 1e-9 整数网格上逐圆尝试半径增加一个单位；利用线性化边界和圆对约束求整数圆心位移，迭代修复后逐项复核精确平方距离。第 4 个圆增加一个网格单位后得到可行矩形和圆心，半径和严格提高；服务器精确验证通过。