User-agent: Googlebot
User-agent: BizBot04 kirk.overleaf.com 
User-agent: HappyBot (gserver.kw.net) 
User-agent: CaliforniaBrownSpider 
User-agent: WhoWhere Robot 
User-agent: ITI Spider 
User-agent: w3index 
User-agent: SummyCrawler 
User-agent: SlowBot 
User-agent: heraSpider 
User-agent: Surfbot 
User-agent: Bizbot003 
User-agent: WebWalker 
User-agent: SandBot 
User-agent: EnigmaBot