User-agent: *
Disallow: /images/
Disallow: /proofs/
Disallow: /re_samples/
Disallow: /cgi-bin/