User-agent: *
Allow:    /
Disallow: /~ctfc
Disallow: /cgi-bin
Disallow: /~edpweb