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

RUN-067

RUN-067 — P5 v1.1's every exact figure recomputed from the group law up: `P'` generates both finite groups, `Q' = 244 P'` and `356 P'`, the slopes 2 and 4, `ρ` surjective with image 390,830, the kernel basis a basis, `J_S = 1`; and the ratio 3 asserted by no one