User-agent: *
Disallow: /cgi-bin/
Disallow: /images/
Disallow: /Downloads/
Disallow: /aspnet_client/
Disallow: /private/
Disallow: /overheresomewhere/
Disallow: /shop/
Disallow: /ProofGallery/