User-Agent: *
Disallow: /proofs/
Allow: /

User-Agent: Googlebot-Image
Disallow: /
Disallow: /proofs/