User-Agent: *
Disallow: /tools/
user-agent: infometrics-bot
disallow: /