User-agent: Googlebot
Allow: *

User-agent: mirago
Disallow: /

User-agent: HeinrichderMiragoRobot
Disallow: /

User-agent: naughtyrobot
Disallow: /

User-agent: *
Disallow: /cgi-bin/