# Heilbronn square n=5
# value (exact area implied by these coordinate literals): 0.192450089729875254836382926827
# domain: unit square [0,1]^2; value = min triangle area
# proved optimal by Yang Lu, Zhang Jingzhong, and Zeng Zhenbing, 1991
# coordinates: arXiv:2603.11107
# via: https://math.tejstead.com/heilbronn/square/5/
0	0.3333333333333333333333333333
0.5773502691896257645091487805	0
1	0.4226497308103742354908512195
0.6666666666666666666666666667	1
0	1