{
 "schema_version": 1,
 "variant": "square",
 "n": 9,
 "frame": "unit-square",
 "points": [
  [
   "0",
   "0.193774225170145034763338677"
  ],
  [
   "0.1734435562925362586908346692",
   "0"
  ],
  [
   "1",
   "0.2601653344388043880362520039"
  ],
  [
   "0.1734435562925362586908346692",
   "1"
  ],
  [
   "0",
   "0.8265564437074637413091653308"
  ],
  [
   "0.6531128874149274826183306615",
   "0.3468871125850725173816693385"
  ],
  [
   "0.7398346655611956119637479961",
   "0"
  ],
  [
   "0.806225774829854965236661323",
   "1"
  ],
  [
   "1",
   "0.8265564437074637413091653308"
  ]
 ],
 "value": {
  "decimal": "0.0548759991708967089728109970899",
  "fraction": "1371899979272417724320274927247997801385893892730824037/25000000000000000000000000000000000000000000000000000000",
  "published": "A = (9√65-55) / 320 = .05487+",
  "published_decimal": "0.05487",
  "published_lower_bound": true,
  "exact_text": "(9√65-55) / 320",
  "exact_sympy": "(9*sqrt(65) - 55)/320",
  "minimal_polynomial": null,
  "exact_display": "(9√65 − 55) / 320",
  "exact_decimal": "0.0548759991708967089728109971022935630631548961",
  "exact_mathml": "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mfrac><mrow><mrow><mrow><mn>9</mn><msqrt><mn>65</mn></msqrt></mrow><mo>−</mo><mn>55</mn></mrow></mrow><mrow><mn>320</mn></mrow></mfrac></math>"
 },
 "status": "proven",
 "page_relation": "OK",
 "credit": {
  "found": {
   "name": "F. Comellas and J. Yebra",
   "date": "December 2001"
  },
  "proved": {
   "name": "Nathan Sudermann-Merx",
   "date": "March 2026"
  },
  "trivial": false
 },
 "coordinates_source": {
  "kind": "paper",
  "ref": "arXiv:2603.11107",
  "note": null
 },
 "coordinates_reconstructed": false,
 "symmetry": {
  "label": "Symmetric about a diagonal"
 },
 "notes": [],
 "changelog": [],
 "references": [
  "sudermann-merx-2026-square",
  "chen-gpgpu-2016",
  "comellas-yebra-2002",
  "oeis-a379534"
 ],
 "verify": {
  "n": 9,
  "triples_checked": 84,
  "value": "0.0548759991708967089728109970899",
  "value_fraction": "1371899979272417724320274927247997801385893892730824037/25000000000000000000000000000000000000000000000000000000",
  "min_triple": [
   0,
   1,
   4
  ],
  "num_min_ties": 11,
  "feasible": true,
  "violations": [],
  "hull_vertex_count": null
 }
}