# Heilbronn square n=9
# value (exact area implied by these coordinate literals): 0.0548759991708967089728109970899
# domain: unit square [0,1]^2; value = min triangle area
# credit: found by F. Comellas and J. Yebra, December 2001
# proved optimal by Nathan Sudermann-Merx, March 2026
# coordinates: arXiv:2603.11107
# via: https://math.tejstead.com/heilbronn/square/9/
0	0.193774225170145034763338677
0.1734435562925362586908346692	0
1	0.2601653344388043880362520039
0.1734435562925362586908346692	1
0	0.8265564437074637413091653308
0.6531128874149274826183306615	0.3468871125850725173816693385
0.7398346655611956119637479961	0
0.806225774829854965236661323	1
1	0.8265564437074637413091653308