witness.json

{
  "subject": "sallerk-post-8669-selected-E3-nonagon",
  "basis": ["1", "s", "u", "s*u"],
  "positive_radicals": {"s_squared": "3", "u_squared": "5*s-8"},
  "coordinate_denominators": ["2", "10"],
  "seeds": {
    "A1": [["1", "0", "0", "0"], ["0", "0", "0", "0"]],
    "A2": [["-1/2", "0", "0", "0"], ["0", "1/2", "0", "0"]],
    "A3": [["-1/2", "0", "0", "0"], ["0", "-1/2", "0", "0"]],
    "B1": [["-1/2", "1", "0", "0"], ["0", "1/2", "0", "0"]],
    "B2": [["-1/2", "-1/2", "0", "0"], ["3/2", "-1/2", "0", "0"]],
    "B3": [["1", "-1/2", "0", "0"], ["-3/2", "0", "0", "0"]]
  },
  "C1": [["-11/10", "4/5", "3/5", "1/10"], ["6/5", "-1/10", "3/10", "-1/5"]],
  "chosen_formula": {
    "x": "(8*s-11+(s+6)*u)/10",
    "y": "(12-s+(3-2*s)*u)/10"
  },
  "identifying_box": {"x": ["91/100", "92/100"], "y": ["98/100", "1"]},
  "defining_equations": [
    "2*(x*x+y*y)=x+s*y+1",
    "(2*s-3)*x+(s+6)*y+4*s-15=0"
  ],
  "source_relations": [
    [["A1", "A2"], ["A1", "A3"], ["A1", "B3"]],
    [["B1", "B2"], ["B1", "C2"], ["B1", "B3"]],
    [["C1", "C2"], ["C1", "A3"], ["C1", "C3"]]
  ],
  "counterclockwise_order": ["A1", "B1", "C1", "A2", "B2", "C2", "A3", "B3", "C3"],
  "required_row_maximum": 3
}