# Heilbronn square n=8
# value (exact area implied by these coordinate literals): 0.0723764243184441470310894796160
# domain: unit square [0,1]^2; value = min triangle area
# credit: found by F. Comellas and J. Yebra, December 2001
# proved optimal by L. Dehbi and Z. Zeng, 2022
# coordinates: arXiv:2603.11107
# via: https://math.tejstead.com/heilbronn/square/8/
0	0
0.7675918792439982155198702112	0
1	0.188580484696445039271154374
1	1
0	0.811419515303554960728845626
0.2324081207560017844801297888	1
0.2324081207560017844801297888	0.3771609693928900785423087481
0.7675918792439982155198702112	0.6228390306071099214576912519