Convex, n = 17 record

A = 0.018731454640180…

full precision

Exact value of the published coordinate literals: 0.0187314546401800889017165631159

29 triangles tie for the minimal area.

Symmetry

Not symmetric (group C1, order 1). (Friedman's page says: no symmetry.)

Minimal triangles

29 triangles tied (within relative 10⁻⁹) at the minimal area, in 29 congruence classes:

count	side lengths	triangles (point indices)
1	`0.1564 · 0.4441 · 0.5819`	(0,5,10)
1	`0.1675 · 0.4360 · 0.5862`	(1,5,6)
1	`0.1688 · 0.4360 · 0.5876`	(1,2,6)
1	`0.1675 · 0.4441 · 0.5948`	(0,1,5)
1	`0.1576 · 0.4544 · 0.5945`	(4,8,9)
1	`0.1576 · 0.4594 · 0.5998`	(3,4,8)
1	`0.1622 · 0.4560 · 0.6015`	(2,3,7)
1	`0.1622 · 0.4594 · 0.6051`	(3,7,8)
1	`0.1688 · 0.4560 · 0.6090`	(2,6,7)
1	`0.2582 · 0.4710 · 0.7210`	(9,14,15)
1	`0.2660 · 0.4633 · 0.7212`	(0,12,13)
1	`0.2540 · 0.4822 · 0.7282`	(5,11,16)
1	`0.2619 · 0.4806 · 0.7348`	(1,13,14)
1	`0.2593 · 0.4852 · 0.7368`	(6,11,12)
1	`0.2540 · 0.4915 · 0.7378`	(4,11,16)
1	`0.2621 · 0.4886 · 0.7432`	(3,15,16)
1	`0.2619 · 0.4893 · 0.7437`	(8,13,14)
1	`0.3422 · 0.4466 · 0.7829`	(1,12,16)
1	`0.3426 · 0.4498 · 0.7866`	(6,13,15)
1	`0.3344 · 0.5186 · 0.8482`	(5,12,15)
1	`0.4852 · 0.5240 · 1.0065`	(6,10,12)
1	`0.4822 · 0.5325 · 1.0120`	(5,9,11)
1	`0.4534 · 0.5620 · 1.0127`	(8,10,16)
1	`0.4633 · 0.5564 · 1.0170`	(0,2,12)
1	`0.4915 · 0.5338 · 1.0227`	(0,4,16)
1	`0.4710 · 0.5573 · 1.0257`	(7,9,15)
1	`0.3246 · 0.8562 · 1.1786`	(6,9,16)
1	`0.3344 · 0.8631 · 1.1955`	(5,8,12)
1	`0.3467 · 0.8527 · 1.1974`	(1,4,15)

Provenance

Found by Tej Stead, July 2026.
Coordinates from this site's companion repository: TejSteadQC/heilbronn-configurations claims/12-extension-convex-n17.
Verified in exact arithmetic: all 680 triples enumerated, 29 tied at the minimum.
Friedman's page lists: A = .018731+.

Downloads

points.txt coordinates, tab-separated
points.csv coordinates, CSV
points.json full record: value, provenance, verification
figure.svg this figure