User-Agent: *
Disallow: /cgi-bin/
Disallow: /images/
Disallow: /include/
Disallow: /internal/
Disallow: /stat101/
Disallow: /mailman/
Disallow: /pipermail/
Disallow: /~brian/directions/
Disallow: /~pfc/teaching/