{
 "schema_version": 1,
 "variant": "triangle",
 "n": 6,
 "frame": "right",
 "points": [
  [
   "0.25",
   "0"
  ],
  [
   "0.75",
   "0"
  ],
  [
   "0",
   "0.375"
  ],
  [
   "0.75",
   "0.25"
  ],
  [
   "0",
   "1"
  ],
  [
   "0.25",
   "0.5"
  ]
 ],
 "value": {
  "decimal": "0.125",
  "fraction": "1/8",
  "published": "A = 1/8 = .125",
  "published_decimal": "0.125",
  "published_lower_bound": false,
  "exact_text": "1/8",
  "exact_sympy": "1/8",
  "minimal_polynomial": null,
  "exact_display": "1/8",
  "exact_decimal": "0.125000000000000000000000000000000000000000000",
  "exact_mathml": "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mfrac><mrow><mn>1</mn></mrow><mrow><mn>8</mn></mrow></mfrac></math>"
 },
 "status": "proven",
 "page_relation": "OK",
 "credit": {
  "found": {
   "name": "L. Yang, J. Z. Zhang, and Z. B. Zeng",
   "date": "1991"
  },
  "proved": {
   "name": "L. Yang, J. Z. Zhang, and Z. B. Zeng",
   "date": "1994"
  },
  "trivial": false
 },
 "coordinates_source": {
  "kind": "paper",
  "ref": "arXiv:2607.15021",
  "note": "one member of the optimal family"
 },
 "coordinates_reconstructed": false,
 "symmetry": {
  "label": "Horizontally symmetric"
 },
 "notes": [
  "One of an infinite family of solutions."
 ],
 "changelog": [],
 "references": [
  "yang-zhang-zeng-1992"
 ],
 "verify": {
  "n": 6,
  "triples_checked": 20,
  "value": "0.125",
  "value_fraction": "1/8",
  "min_triple": [
   0,
   1,
   3
  ],
  "num_min_ties": 6,
  "feasible": true,
  "violations": [],
  "hull_vertex_count": null
 }
}