User-agent: http://www.almaden.ibm.com/cs/crawler 
Disallow: /
User-agent: mirago
Disallow: /
User-agent: tutorgig
Disallow: /
User-agent: *
Disallow: