{
  "construction": {
    "389.a1": "LR C1.9-C1.13 + Kato with f = E_2(1, chi_8)'s critical refinement",
    "19.a1": "the same theorems (LR C1.9-C1.13, Kato) with the same auxiliary family"
  },
  "hypotheses_instantiated": {
    "389.a1": {
      "noble (B1.1)": true,
      "ordinary at 11": true,
      "residually irreducible at 11": true,
      "newform, weight 2, trivial nebentypus": true,
      "unit root mod 11": 7
    },
    "19.a1": {
      "noble (B1.1)": true,
      "ordinary at 11": true,
      "residually irreducible at 11": true,
      "newform, weight 2, trivial nebentypus": true,
      "unit root mod 11": 3
    }
  },
  "same_natural_construction": true,
  "functoriality": "the theorems are stated for any partner g under B1.1 / section B2 with the one auxiliary family: naturality in g",
  "agrees": true
}