{
  "lr_setup_quote": "We suppose for simplicity that g is ordinary.",
  "required_hypotheses": [
    "ordinary"
  ],
  "over_strong_additions": [],
  "partners": {
    "389.a1": {
      "a_11": -4,
      "unit_root": 7,
      "ordinary": true
    },
    "19.a1": {
      "a_11": 3,
      "unit_root": 3,
      "ordinary": true
    }
  },
  "all_satisfied": true,
  "note": "no surjectivity of the residual representation is required by C1.1; adding it would be an over-strong hypothesis and is recorded here as a defect",
  "label": "COMPUTED_HERE for ordinarity; CITED for the hypothesis list",
  "agrees": true
}