P06 · n = 57 · Solver note / 求解记录

从 Packomania ccin57 的公开原始坐标出发，使用高精度十进制定点计算，在零旋转下按容器半径缩放并四舍五入到 1e-9 网格。对整数半径做局部二分，得到 268.235679110 可行，而同一坐标构造在前一个整数网格点不可行；最终用整数平方复核 57 个包含约束和 1596 个两两不重叠约束。这只是公开构型的网格化改进，不代表全局最优；后续可从该证书继续做连续局部优化或尝试其他旋转。