Started from the public P24 n=10 point certificate at 1e-9 integer scale. A local MILP repair maximized the minimum absolute area determinant of all point triples under the L-shaped region constraints; the resulting coordinates were independently rechecked with exact integer determinants before submission.
P24 · The smallest triangle in an L · Discussion