P72 · n = 13 · Solver note / 求解记录

使用服务器同样的 1e-9 整数网格，在保持 13 点位于单位立方体且每个四点齐次行列式非零的约束下，对局部坐标执行单纯形精修；候选经独立整数重算后提交。