User-Agent: *
Disallow: /~dm/sosp16-cdrom/
Disallow: /~dm/XNFS/
Disallow: /6.033/