{
  "status": "feasible",
  "state": {
    "A": {
      "exact": "(/ 1.0 10.0)",
      "approximation": 0.1
    },
    "B0": {
      "exact": "(root-obj (+ (* 500 (^ x 2)) (* 1000 x) (- 63)) 2)",
      "approximation": 0.06113147159058476
    },
    "C0": {
      "exact": "(/ 41.0 1000.0)",
      "approximation": 0.041
    },
    "B1": {
      "exact": "(root-obj (+ (* 500 (^ x 2)) (* 1000 x) (- 63)) 2)",
      "approximation": 0.06113147159058476
    },
    "C1": {
      "exact": "(/ 41.0 1000.0)",
      "approximation": 0.041
    },
    "B2": {
      "exact": "(root-obj (+ (* 500 (^ x 2)) (* 1000 x) (- 63)) 2)",
      "approximation": 0.06113147159058476
    },
    "C2": {
      "exact": "(/ 41.0 1000.0)",
      "approximation": 0.041
    }
  },
  "trace": [],
  "jumps": 0,
  "rounds": 3,
  "max_simple_transport": 2,
  "labels": {
    "A": {
      "seed": "A",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 1.0 10.0)",
          "approximation": 0.1
        }
      },
      "path": [
        "A"
      ],
      "arcs": []
    },
    "B0": {
      "seed": "A",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 1.0 10.0)",
          "approximation": 0.1
        }
      },
      "path": [
        "A",
        "C0",
        "B0"
      ],
      "arcs": [
        4,
        3
      ]
    },
    "C0": {
      "seed": "A",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 1.0 10.0)",
          "approximation": 0.1
        }
      },
      "path": [
        "A",
        "C0"
      ],
      "arcs": [
        4
      ]
    },
    "B1": {
      "seed": "A",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 1.0 10.0)",
          "approximation": 0.1
        }
      },
      "path": [
        "A",
        "C1",
        "B1"
      ],
      "arcs": [
        10,
        9
      ]
    },
    "C1": {
      "seed": "A",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 1.0 10.0)",
          "approximation": 0.1
        }
      },
      "path": [
        "A",
        "C1"
      ],
      "arcs": [
        10
      ]
    },
    "B2": {
      "seed": "A",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 1.0 10.0)",
          "approximation": 0.1
        }
      },
      "path": [
        "A",
        "C2",
        "B2"
      ],
      "arcs": [
        16,
        15
      ]
    },
    "C2": {
      "seed": "A",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 1.0 10.0)",
          "approximation": 0.1
        }
      },
      "path": [
        "A",
        "C2"
      ],
      "arcs": [
        16
      ]
    }
  },
  "independent_leastness_check": true,
  "rounded_half_margin_witness": {
    "A": "1/10",
    "B0": "125/2048",
    "C0": "167/4096",
    "B1": "125/2048",
    "C1": "167/4096",
    "B2": "125/2048",
    "C2": "167/4096"
  }
}