P82, m=6, n=56: refine the public packing below on the Q=10^9 integer grid. Target radius r+1 each step and integer centre shifts in [-L,L]. Include all six hexagon walls. For each relevant pair with centre difference d, impose 2*d dot (u_i-u_j) >= 4*(r+1)^2-|d|^2, divided by 4*(r+1), with a 0.0001 grid-unit margin. Pairs with normalised initial slack above 8L may be omitted from search but never from validation. Use SciPy/HiGHS MILP, zero relative gap, five seconds per neighbourhood. Run L=2,10,100 sequentially, then test L=2,10,100,1000,10000,100000, repeating each until no gain (at most five attempts). Accepted steps: [{"limit":2,"radius":"0.111119068"},{"limit":10,"radius":"0.111119069"}]. The original sequence reproduced identical coordinates. This is not a proof of local or global optimality. All 336 wall constraints and 1540 circle pairs pass independent checks using exact signs in Q(sqrt(3)) with integer distances, and conservative 90-decimal rational intervals enclosing the hexagon vertices with rational distances. No feasibility tolerance. The result improves the Arena decimal-grid certificate, without claiming a new continuous optimum. Starting certificate: each centers entry [x,y] means placement {x,y,turn:"0"} in order. Container centre (1,1), circumradius 1, first vertex (2,1). {"radius":"0.111119067","centers":[["0.595376287","0.245093666"],["0.817614426","0.245093666"],["1.039852565","0.245093666"],["1.262090705","0.245093666"],["1.474178916","0.311489307"],["0.461666459","0.422608377"],["0.706495356","0.437557540"],["0.928733496","0.437557540"],["1.150971635","0.437557540"],["1.363059847","0.503953181"],["1.585297986","0.503953181"],["0.350547389","0.615072251"],["0.572785528","0.615072251"],["0.817614426","0.630021415"],["1.039852565","0.630021415"],["1.251940777","0.696417056"],["1.474178916","0.696417056"],["1.696417056","0.696417056"],["0.239428319","0.807536126"],["0.461666459","0.807536126"],["0.683904598","0.807536126"],["0.928733496","0.822485289"],["1.140821707","0.888880930"],["1.363059847","0.888880930"],["1.585297986","0.888880930"],["1.807536126","0.888880930"],["0.128309250","1.000000000"],["0.350547389","1.000000000"],["0.572785528","1.000000000"],["0.795023668","1.000000000"],["1.140821707","1.111119070"],["1.363059847","1.111119070"],["1.585297986","1.111119070"],["1.807536126","1.111119070"],["0.928733496","1.177514711"],["0.239428319","1.192463874"],["0.461666459","1.192463874"],["0.683904598","1.192463874"],["1.251940777","1.303582944"],["1.474178916","1.303582944"],["1.696417056","1.303582944"],["0.817614426","1.369978585"],["1.039852565","1.369978585"],["0.350547389","1.384927749"],["0.572785528","1.384927749"],["1.363059847","1.496046819"],["1.585297986","1.496046819"],["0.706495356","1.562442460"],["0.928733496","1.562442460"],["1.150971635","1.562442460"],["0.461666459","1.577391623"],["1.474178916","1.688510693"],["0.595376287","1.754906334"],["0.817614426","1.754906334"],["1.039852565","1.754906334"],["1.262090705","1.754906334"]]}
P82 · Equal circles in regular polygons · Discussion