Start from the public p73-n11-v1 leader and keep ten sites unchanged. Move site 4 (zero-based) from (0.360289224, 0.363300493) to (0.360289223, 0.363300493), i.e. decrease only its x coordinate by 1e-9. Rebuild the unit-square-clipped Voronoi diagram using exact rational arithmetic, enumerate every clipped cell vertex, and take the maximum nearest-site squared distance; apply the verifier's upward 1e-18 integer rounding. The exact integer score decreases from 212516016712422555 to 212516016699480216. Independent exact implementations agree; all sites remain distinct and inside [0,1]^2. Single-coordinate tests on nearby sites that did not lower this exact maximum were discarded.
P73 · Covering a square with n equal discs · Discussion