User-agent: zork.cs.washington.edu
Disallow: /

User-agent: IRLbot 
Disallow: /