{
  "rows": [
    {
      "quantity": "global index [Λ_E : ZP + ZQ]",
      "value": 1,
      "enters": "the free factor D_MW: ∧²(ZP+ZQ) = m · D_MW; with m = 1 the two coincide",
      "degree": "free part, degree 1 of RΓ(Z_S,T)",
      "source": "this round (Hermite + box + sieve)",
      "entered_times": 1
    },
    {
      "quantity": "local index [Z_11 : log_ω H^1_f(Q_11,T)] = 11",
      "value": 11,
      "enters": "the trivialisation of the local factor H^1_f(Q_11,T)^{-1} of RUN-105's line",
      "degree": "local line at 11",
      "source": "this round (formal logarithm)",
      "entered_times": 1
    },
    {
      "quantity": "11-adic index of loc_11(E(Q)⊗Z_11) in E(Q_11)⊗̂Z_11 = 11^0",
      "value": 1,
      "enters": "RUN-104/105: the torsion of H^2 and nothing else — a different map from log_ω, and not this round's 11",
      "degree": "degree 2",
      "source": "RUN-104",
      "entered_times": 1
    }
  ],
  "rule": "an index enters the fundamental line exactly once, through the map it belongs to; the global index and the local index are different quantities and so is RUN-104's 11-adic index",
  "double_entries": [],
  "agrees": true
}