# All robots will spider this snazzy website

User-agent: *

Disallow: /pdfs/

Disallow: /proofsite/

Disallow: /cgi-bin/