{
  "status": "feasible",
  "state": {
    "x": {
      "exact": "(/ 3.0 4.0)",
      "approximation": 0.75
    },
    "y": {
      "exact": "(/ 41.0 64.0)",
      "approximation": 0.640625
    },
    "z": {
      "exact": "(/ 41.0 64.0)",
      "approximation": 0.640625
    }
  },
  "trace": [],
  "jumps": 0,
  "rounds": 3,
  "max_simple_transport": 2,
  "labels": {
    "x": {
      "seed": "z",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 41.0 64.0)",
          "approximation": 0.640625
        }
      },
      "path": [
        "z",
        "x"
      ],
      "arcs": [
        3
      ]
    },
    "y": {
      "seed": "z",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 41.0 64.0)",
          "approximation": 0.640625
        }
      },
      "path": [
        "z",
        "x",
        "y"
      ],
      "arcs": [
        3,
        0
      ]
    },
    "z": {
      "seed": "z",
      "seed_description": {
        "kind": "lower_endpoint",
        "value": {
          "exact": "(/ 41.0 64.0)",
          "approximation": 0.640625
        }
      },
      "path": [
        "z"
      ],
      "arcs": []
    }
  },
  "omitted_constraint_violation_at_selected_policy_least": "1/2"
}