{
  "weak_zero_feasible": true,
  "strict_decision": {
    "status": "infeasible",
    "method": "full-system QF_NRA strict constraints"
  },
  "positive_margin_trace": {
    "status": "infeasible",
    "reason": "violated cycle has no admissible fixed point above the current bound",
    "trace": [
      {
        "root_vertex": "C",
        "cycle_arcs": [
          3,
          1,
          4,
          6
        ],
        "before": {
          "exact": "(/ 1.0 100.0)",
          "approximation": 0.01
        },
        "cycle_value_before": {
          "exact": "(root-obj (+ (* 2500000000000000 (^ x 2)) (* (- 51000100000000) x) 260074000001) 2)",
          "approximation": 0.010303981531346935
        },
        "phase_round": 4,
        "root": null
      }
    ],
    "jumps": 0
  },
  "identity": "F(F(x)-t)-t - (F(F(x)+t)+t) = -t*(x*x+x+3)",
  "scope": "Zero-margin feasibility does not imply strict productivity. Repeatedly trying smaller margins would not prove infeasibility."
}