User-agent: Googlebot
Allow: /
Disallow: /cgi/util.pl
Disallow: /developer/patches/
Disallow: /developer/machines/

User-agent: Slurp
Allow: /
Disallow: /cgi/util.pl
Disallow: /developer/patches/
Disallow: /developer/machines/

User-agent: Teoma
Allow: /
Disallow: /cgi/util.pl
Disallow: /developer/patches/
Disallow: /developer/machines/

User-agent: *
Disallow: /