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