User-agent: *
Disallow: 
Disallow: /proofs/
Disallow: /online_proofs/
Disallow: /emails/
Disallow: /cgi-bin/