User-agent: *
Disallow: /cgi-bin/
Disallow: /tmp/
Disallow: /forms/
Disallow: /images/
Disallow: /news/
Disallow: /pages/about.htm
Disallow: /subforms/
Disallow: /Proofs/