User-agent: *
Disallow: /_private/
Disallow: /images/
Disallow: /proofs/
Disallow: /Text Files/