{
 "schema_version": 1,
 "variant": "square",
 "n": 5,
 "frame": "unit-square",
 "points": [
  [
   "0",
   "0.3333333333333333333333333333"
  ],
  [
   "0.5773502691896257645091487805",
   "0"
  ],
  [
   "1",
   "0.4226497308103742354908512195"
  ],
  [
   "0.6666666666666666666666666667",
   "1"
  ],
  [
   "0",
   "1"
  ]
 ],
 "value": {
  "decimal": "0.192450089729875254836382926827",
  "fraction": "3849001794597505096727658536548386173964601074656677791/20000000000000000000000000000000000000000000000000000000",
  "published": "A = √3 / 9 = .19245+",
  "published_decimal": "0.19245",
  "published_lower_bound": true,
  "exact_text": "√3 / 9",
  "exact_sympy": "sqrt(3)/9",
  "minimal_polynomial": null,
  "exact_display": "√3 / 9",
  "exact_decimal": "0.192450089729875254836382926833985818549200584",
  "exact_mathml": "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mfrac><mrow><msqrt><mn>3</mn></msqrt></mrow><mrow><mn>9</mn></mrow></mfrac></math>"
 },
 "status": "proven",
 "page_relation": "OK",
 "credit": {
  "found": null,
  "proved": {
   "name": "Yang Lu, Zhang Jingzhong, and Zeng Zhenbing",
   "date": "1991"
  },
  "trivial": false
 },
 "coordinates_source": {
  "kind": "paper",
  "ref": "arXiv:2603.11107",
  "note": null
 },
 "coordinates_reconstructed": false,
 "symmetry": {
  "label": "Symmetric about a diagonal"
 },
 "notes": [],
 "changelog": [],
 "references": [
  "yang-zhang-zeng-1992"
 ],
 "verify": {
  "n": 5,
  "triples_checked": 10,
  "value": "0.192450089729875254836382926827",
  "value_fraction": "3849001794597505096727658536548386173964601074656677791/20000000000000000000000000000000000000000000000000000000",
  "min_triple": [
   0,
   1,
   2
  ],
  "num_min_ties": 4,
  "feasible": true,
  "violations": [],
  "hull_vertex_count": null
 }
}