# Heilbronn square n=7
# value (exact area implied by these coordinate literals): 0.0838590090075134066379667435197
# domain: unit square [0,1]^2; value = min triangle area
# credit: found by F. Comellas and J. Yebra, December 2001
# proved optimal by Zhenbing Chen and Liangyu Chen, 2011
# coordinates: arXiv:2603.11107 (in terms of the middle root of 19f^3 - 27f^2 + 11f - 1)
# via: https://math.tejstead.com/heilbronn/square/7/
0	0.1351913614652622986401814947
0.7127422623826148256225473157	0
1	0.180827292244828630766009022
1	1
0	1
0.1939365664746304482560845569	0.4925871474483807423863116889
0.7127422623826148256225473157	0.5838590090075134066379667435