# Heilbronn square n=17
# value (exact area implied by these coordinate literals): 0.0164812220057778171981673202475
# domain: unit square [0,1]^2; value = min triangle area
# credit: found by Tej Stead, July 2026
# coordinates: TejSteadQC/heilbronn-configurations claims/04-extension-square-n17
# via: https://math.tejstead.com/heilbronn/square/17/
0.130078856048516	0
0.953505519920076	0.991380338549309
0.746283467426096	0
0.363883752600916	1
0	0.363404712988809
1	0.762446615016164
1	0.05349269285387
0.087467192822617	0.948136536773481
0.333164683335316	0.421072400897267
0.736723572975384	0.690350732828855
0.420904129338019	0.098697275551255
0.685527470728944	0.939393513010824
0.67640257730202	0.33462450104274
0.420774506087524	0.76502807398995
0.931767297574217	0.385409795246715
0.133173194363608	0.704703513652834
0.013023834495175	0.073616134019201