{
  "cores": [
    {
      "edge": [
        "A",
        "B0"
      ],
      "p": "7/200",
      "q": "11/200",
      "tail_production": "3/40",
      "head_production": "-1/50"
    },
    {
      "edge": [
        "B0",
        "C0"
      ],
      "p": "11/500",
      "q": "1551/40000",
      "tail_production": "1111/20000",
      "head_production": "-671/40000"
    },
    {
      "edge": [
        "A",
        "C0"
      ],
      "p": "57/1000",
      "q": "33/1000",
      "tail_production": "9/1000",
      "head_production": "3/125"
    }
  ],
  "food": "5071/40000",
  "species_production": {
    "A": "21/250",
    "B0": "711/20000",
    "C0": "289/40000"
  },
  "total_internal_production": "5071/40000",
  "strict_per_core_decision": {
    "status": "infeasible",
    "method": "full-system QF_NRA strict constraints"
  },
  "scope": "All aggregate species productions are positive at this state, yet the unit shortcut triangle has no common per-core productive state. Summing residuals answers a weaker question."
}