User-agent:*
Disallow: /proof/
Disallow: /text_only/