User-agent: *
Disallow: /_includes
Disallow: /cgi-bin
Disallow: /generator
Disallow: /proofs
Disallow: /z_old