{
  "definition": "LR Definition A1.2",
  "N": 8,
  "Np": 88,
  "primes_dividing_Np": [
    2,
    11
  ],
  "conductor_of_psi_over_tau_derived": 8,
  "conductor_of_psi_over_tau_declared": 8,
  "conductor_input_consistent": true,
  "per_prime": {
    "2": {
      "divides_conductor_of_psi_over_tau": true,
      "psi_over_tau_at_ell": 0,
      "value_not_one": false,
      "passes": true
    },
    "11": {
      "divides_conductor_of_psi_over_tau": false,
      "psi_over_tau_at_ell": -1,
      "value_not_one": true,
      "passes": true
    }
  },
  "r_greater_than_zero_branch": false,
  "decent": true,
  "non_criticality_route": "LR Proposition A4.6(ii): r = 0 and p-decent implies non-critical",
  "non_critical": true,
  "label": "COMPUTED_HERE for the hypotheses; CITED_THEOREM for A4.6(ii)",
  "agrees": true
}