User-agent: *
Disallow: /files/
Disallow: /cgi-bin/
Disallow: /output/
Disallow: /htdocs/EFMC
Disallow: /htdocs/DjConf
Disallow: /RETIRED/
Disallow: /mike/
Disallow: /MeetMath/
User-agent: ia_archiver
Disallow: /