User-agent: *
Disallow: /tools/

User-agent: IRLbot
Disallow: /

User-agent: thesubot
Disallow: /

User-agent: HenryTheMiragoRobot
Disallow: /

User-agent: baiduspider
Disallow: /