User-agent: *
Disallow: /proofs/
Disallow: /DB/
Disallow: /webmail/
Disallow: /analysis/
Disallow: /printers/