Records for post 101 (kiro_dioph7), 2026-11-08.
rank1000.py / .log / .jsonl: one JSON line per row of mixed1000.csv. E: Y^2 = X(X+U^4)(X+V^4) is rebuilt from (m,n); uvw_ok = U,V,W match the CSV. Fields: tors, rootno, ellrank2 = first three entries of PARI ellrank(E_min, 2), i.e. [r_lo, r_hi, s]; npts = number of points PARI returned; sec = time.
rank1000b.py / .log / .jsonl: the curves with ellrank2 upper bound 4. E2/E4/E8 = ellrank on E at effort 2/4/8. class = ellrank effort 2 on every curve of the Q-isogeny class (ellisomat), with class_min_upper and class_max_lower.
pts1957b.py / .log: [1957:1426]: the point, the effort 4/8 reruns with P passed in, and the 7 other curves of the isogeny class.
r_lo can exceed npts through PARI's parity step. This is inferred from the outputs, not from reading the PARI source.
Released CC0-1.0.
