{
  "status": "feasible",
  "witness": {
    "A": "1/2",
    "B0": "213/512",
    "C0": "171/512",
    "B1": "213/512",
    "C1": "171/512",
    "B2": "213/512",
    "C2": "171/512"
  },
  "margin": "1/4096",
  "method": "full-system QF_NRA plus exact downward rational reconstruction"
}