user-agent: *
disallow: /cgi-bin/
disallow: /images/
disallow: /proofs/
disallow: /tmp/
disallow: /private/
crawl-delay: 10