User-agent: *
Disallow: /stats/
Disallow: /staff/
Disallow: /cgi/
Disallow: /_private/
Disallow: /download/
Disallow: /proofs/
Disallow: /Permissions/
Disallow: /costing/