User-agent: *
Disallow: /patgen/tax.php
Disallow: /patgen/taxinfo.php
Disallow: /patgen/patlist.php
Disallow: /patgen/seqinf.php