User-agent: *
Disallow: /private
Disallow: /errors
Disallow: /images
Disallow: /cgi-bin
Disallow: /css
Disallow: /javascript
Disallow: /proofs