User-agent: BadBot
Disallow: /

User-agent: Jyxobot
Disallow: /

User-agent: WeirdBot
Disallow: /

User-agent: *
Disallow: /cgi-bin
Disallow: /faculty.html
Disallow: /gradstuds.html
Disallow: /visitors.html
Disallow: /staff.html
Disallow: /~nimish
Disallow: /~banchoff/Beyond3d.new
Disallow: /~jpipher/NSFProposal
Disallow: /~jpipher/nsfproposal