User-agent: *
Disallow: /servlet/
Disallow: /dyn/
Disallow: /sage/
Disallow: /sagetools/