Koizumi discrete model

N-Avoiding Witness Viewer

Lower-bound witnesses only

N

Selected witness

N=28

labels

Coordinates

Verification

All triples are checked exactly with gap = (A2 - 2N)^2 - 4D2. N=1..27 source: BorisAlexeev forum comment, 2025-12-28 03:17. Japanese verification note