User-agent: *
Disallow: /avoid_this/
# Disallow: /cgi-bin/
Disallow: /manual/
Disallow: /en_US/
Disallow: /usage/
Disallow: /TE/
Disallow: /bin/
Disallow: /~caldwell/
Disallow: /~
Disallow: /bios/newcode.php
Disallow: /bios/edit.php
Disallow: /primes/newcode.php
Disallow: /primes/submit.php
Disallow: /curios/submit.php
Disallow: /curios/page.php?rank
Disallow: generic_edit.php
Disallow: /primes/search.php
Disallow: /bios/top20.php?type
Disallow: /bios/top20.php\?type
Disallow: /fr_FR/bios/top20.php\?type*
Disallow: /fr_FR/bios/top20.php?type*

User-agent: LinkLint
Disallow: