User-agent: *
Disallow: /_private/
Disallow: /vti_pvt/
Disallow: /cgi-bin/
Disallow: /ftp/
Disallow: /GeneratedItems/
Disallow: /HTML/
Disallow: /proofs/
Disallow: /shawn/

User-agent: ia_archiver
Disallow: /