User-agent: *
Disallow: /tmlp
Disallow: /maxima
Disallow: /private