{
  "theorem": "LR Theorem A2.1 (Soule): exactly three classes — semisimple; non-split with tau eps^{-1-r} as sub (not de Rham at p); non-split with psi as sub (crystalline at p)",
  "case_3_is_crystalline": true,
  "case_3_ext_group": "H^1(Q, Q_11(chi_8)(1))",
  "case_2_ext_group": "H^1(Q, Q_11(chi_8)(-1))",
  "target_line_RUN092": "H^1(Q, Q_11(chi_8)(1))",
  "case_3_is_the_target_line": true,
  "cases_2_and_3_differ": true,
  "convention_LR": {
    "trace_normalisation": "tr rho(Frob_l^{-1}) = a_l",
    "second_character": "chi_8 * eps^{-1-r}",
    "ext_group": "H^1(Q, psi * (tau eps^{-1-r})^{-1}) = H^1(Q, chi_8 eps^{1+r})"
  },
  "convention_RUN091": {
    "trace_normalisation": "tr rho(Frob_l) = a_l",
    "second_character": "chi_8 * eps^{1+r}",
    "ext_group": "H^1(Q, (chi_8 eps^{1+r}) * 1^{-1}) = H^1(Q, chi_8 eps^{1+r})"
  },
  "conventions_dual_but_same_ext_group": true,
  "independent_confirmation": "LR Theorem A4.5 states non-criticality as the non-vanishing of H^1_f(Q, psi tau^{-1} eps^{1+r}) -> H^1_f(Q_p, ...), i.e. in this very group",
  "label": "COMPUTED_HERE for the bookkeeping; CITED_THEOREM for A2.1 and A4.5",
  "agrees": true
}