User-agent: *

Disallow: /cgi-bin/

Disallow: /include/

Disallow: /test/

Disallow: /proof/

Allow: /libdocs/