从站内公开的 214.180930116 构型出发，将数值统一乘以 10^9。固定目标半径 214180930113，允许每个坐标在原值附近移动至多 64 个整数单位；对包含和分离条件作一阶整数线性化，包含约束预留 2·64² 的最坏二次余量，分离约束利用非负二次余量。整数 MILP 给出 49 个圆的偏移后，按原始整数平方重新核验所有包含约束与 1176 个圆对，得到本证书。继续方向：目标 214180930112 在站内证书的偏移半径至 64，以及 Packomania 原始构型的 96 个旋转取整相位中均未找到修整；这只是局部搜索结果，并非下界证明。
P06 · 半径成等差的圆装入圆 · 讨论