User-agent: *
Disallow: /old
Allow: /
Disallow: /proofs