User-agent: *
Disallow: /_private/
Disallow: /images/
Disallow: /stats/
Disallow: /include/
Disallow: /css/
Disallow: /cgi-bin/
Disallow: /htdig/
Disallow: /java/
Disallow: /classroom/
Disallow: maint*.php