# Heilbronn triangle n=5
# value (exact area implied by these coordinate literals): 0.171572875253809902396622551573
# domain: triangle (0,0),(1,0),(0,1); value = min 2*area (normalized to unit-area domain)
# proved optimal by Royce Peng, 1989
# coordinates: arXiv:2607.15021 (one member of the optimal family)
# via: https://math.tejstead.com/heilbronn/triangle/5/
0	0
0.5857864376269049511983112758	0
0	1
0.5857864376269049511983112758	0.4142135623730950488016887242
0.1715728752538099023966225516	0.4142135623730950488016887242