Prompt Used for "A Proof of the Cycle Double Cover Conjecture" [pdf] | Hacker News Reader