User-agent: BadBot
Disallow: /

User-agent: Jyxobot
Disallow: /

User-agent: WeirdBot
Disallow: /

User-agent: *
Disallow: /cgi-bin/
Disallow: /cgi-tfb/
Disallow: /~deigen/testpl/DeigenReloadTestPkg6.pm
Disallow: /tcourses.php
Disallow: /tgradstuds.php
Disallow: /tfaculty.php
Disallow: /tvisitors.php
Disallow: /tofficehrs.php
Disallow: /tdirectory.php
Disallow: /courses.php
Disallow: /gradstuds.php
Disallow: /faculty.php
Disallow: /visitors.php
Disallow: /officehrs.php
Disallow: /directory.php
Disallow: /staff.html
Disallow: /~banchoff/Beyond3d.new
Disallow: /~jpipher/NSFProposal
Disallow: /kiosk
Disallow: /larry
Disallow: /utra
Disallow: /UTRA