User-agent: *
Disallow: /cgi-bin
Disallow: /adele
Disallow: /pierre
Disallow: /sage/dist
Disallow: /sage/packages
Disallow: /sage/SAGEbin