User-agent: *
Disallow: /h1.html
Disallow: /h2.html
Disallow: /message
Disallow: /java
Disallow: /baby
Disallow: /sikhism
Disallow: /whatsnew.html
Disallow: /marq-welcome.html
Disallow: /other.html
Disallow: /welcome.html
Disallow: /gary/powertips.html
Disallow: /gary/marq-welcome.html
Disallow: /bajajhome.html
Disallow: /links.html
Disallow: /personal.html
Disallow: /images
Disallow: /cgi-bin
Disallow: /counter
Disallow: /textcounter
User-agent: lucy.cs.washington.edu
Disallow: /
User-agent: thermos.cs.washington.edu
Disallow: /
User-agent: bat.cs.washington.edu
Disallow: /