User-agent: *
Disallow: /stats
Disallow: /proofs
Disallow: /wimpy

Sitemap: http://www.mysite.com/sitemap.xml