User-agent: *
Disallow: /cgi-bin/
Disallow: /hbp/
Disallow: /tmp/
Disallow: /distrib/
Disallow: /jhu/
Disallow: /old/
Disallow: /export/
Disallow: /htdig/
Disallow: /incweb/ccweb/
Disallow: /incweb/testbed/
Disallow: /incweb/circlepack/