User-agent: *
Disallow: /~north/cgi-bin/webdot 
Disallow: /~north/tmp
Disallow: /~njas/sequences/?
Disallow: /njas/sequences/?
Disallow: /~gsf/download/tgz