{
  "amplification": {
    "N1": {
      "1": {
        "kind": "feasible",
        "flux": [
          "1/2",
          "1/2"
        ],
        "residual": [
          "3/2",
          "0"
        ]
      },
      "2": {
        "kind": "feasible",
        "flux": [
          "2/3",
          "1/3"
        ],
        "residual": [
          "0",
          "0"
        ]
      },
      "3": {
        "kind": "infeasible",
        "prices": [
          "4/11",
          "7/11"
        ],
        "strict_margin": "5/11"
      },
      "4": {
        "kind": "infeasible",
        "prices": [
          "5/13",
          "8/13"
        ],
        "strict_margin": "12/13"
      },
      "5": {
        "kind": "infeasible",
        "prices": [
          "2/5",
          "3/5"
        ],
        "strict_margin": "7/5"
      }
    },
    "N2": {
      "1": {
        "kind": "feasible",
        "flux": [
          "1/5",
          "4/5"
        ],
        "residual": [
          "3/5",
          "0"
        ]
      },
      "2": {
        "kind": "feasible",
        "flux": [
          "1/3",
          "2/3"
        ],
        "residual": [
          "0",
          "0"
        ]
      },
      "3": {
        "kind": "infeasible",
        "prices": [
          "7/11",
          "4/11"
        ],
        "strict_margin": "5/11"
      },
      "4": {
        "kind": "infeasible",
        "prices": [
          "8/13",
          "5/13"
        ],
        "strict_margin": "12/13"
      },
      "5": {
        "kind": "infeasible",
        "prices": [
          "3/5",
          "2/5"
        ],
        "strict_margin": "7/5"
      }
    },
    "N1+N1": {
      "1": {
        "kind": "feasible",
        "flux": [
          "0",
          "0",
          "1/2",
          "1/2"
        ],
        "residual": [
          "3/2",
          "0"
        ]
      },
      "2": {
        "kind": "feasible",
        "flux": [
          "0",
          "0",
          "2/3",
          "1/3"
        ],
        "residual": [
          "0",
          "0"
        ]
      },
      "3": {
        "kind": "infeasible",
        "prices": [
          "4/11",
          "7/11"
        ],
        "strict_margin": "5/11"
      },
      "4": {
        "kind": "infeasible",
        "prices": [
          "5/13",
          "8/13"
        ],
        "strict_margin": "12/13"
      },
      "5": {
        "kind": "infeasible",
        "prices": [
          "2/5",
          "3/5"
        ],
        "strict_margin": "7/5"
      }
    },
    "N2+N1": {
      "1": {
        "kind": "feasible",
        "flux": [
          "0",
          "0",
          "1/2",
          "1/2"
        ],
        "residual": [
          "3/2",
          "0"
        ]
      },
      "2": {
        "kind": "feasible",
        "flux": [
          "0",
          "0",
          "2/3",
          "1/3"
        ],
        "residual": [
          "0",
          "0"
        ]
      },
      "3": {
        "kind": "feasible",
        "flux": [
          "5/21",
          "0",
          "1/3",
          "3/7"
        ],
        "residual": [
          "0",
          "0"
        ]
      },
      "4": {
        "kind": "feasible",
        "flux": [
          "1/2",
          "0",
          "0",
          "1/2"
        ],
        "residual": [
          "0",
          "0"
        ]
      },
      "5": {
        "kind": "infeasible",
        "prices": [
          "1/2",
          "1/2"
        ],
        "strict_margin": "1/2"
      }
    }
  },
  "tail": {
    "coefficients": {
      "forward": "800/1489",
      "backward": "400/4467",
      "left_leak": "888/1489",
      "right_leak": "587/4467"
    },
    "states": [
      "1",
      "3950/4467",
      "1276/1489",
      "258/1489",
      "1/5"
    ],
    "edge_currents": [
      "4984/4467",
      "1398/1489",
      "760/1489",
      "3671/7445"
    ],
    "internal_residuals": [
      "0",
      "0",
      "0"
    ],
    "boundary_currents": [
      "4984/4467",
      "3671/7445"
    ],
    "internal_loss": "13907/22335"
  },
  "stars": {
    "1": {
      "state": "extinction",
      "schur_load": "-2/5",
      "positive_vector": [
        "9/10",
        "1/5"
      ],
      "matrix_times_vector": [
        "-3/10",
        "-3/10"
      ]
    },
    "2": {
      "state": "growth",
      "schur_load": "1/5",
      "positive_vector": [
        "21/20",
        "1/5",
        "1/5"
      ],
      "matrix_times_vector": [
        "3/20",
        "3/20",
        "3/20"
      ]
    },
    "3": {
      "state": "growth",
      "schur_load": "4/5",
      "positive_vector": [
        "6/5",
        "1/5",
        "1/5",
        "1/5"
      ],
      "matrix_times_vector": [
        "3/5",
        "3/5",
        "3/5",
        "3/5"
      ]
    },
    "4": {
      "state": "growth",
      "schur_load": "7/5",
      "positive_vector": [
        "27/20",
        "1/5",
        "1/5",
        "1/5",
        "1/5"
      ],
      "matrix_times_vector": [
        "21/20",
        "21/20",
        "21/20",
        "21/20",
        "21/20"
      ]
    }
  },
  "finite_traces": {
    "width": 1,
    "message": [
      [
        0
      ],
      [
        1
      ]
    ],
    "invalid_tree_rejection": "Running intersection fails at left",
    "repaired_conflict_trace": [],
    "same_cardinality": true,
    "separating_context": [
      [
        0
      ]
    ],
    "context_verdicts": [
      true,
      false
    ]
  }
}