# robots.txt for games.divers.com
User-agent: ia_archiver