← AMRAL · BSD Conjecture · Layer 2 · Recomputation · RUN-072

RUN-072

RUN-072 — GPT-6's Attack 05: the 11-adic formal logarithm of P and Q on 389.a1, recomputed exactly — [16]P and [16]Q to the last digit, s ≡ 99 and 66 (mod 121), ℓ̄ = (4, 10) — and its Selmer-complex derivations read