User-agent: *
Disallow: /proof
Disallow: /proof2
Disallow: /proof3
Disallow: /old