User-agent: *
Disallow: /
Disallow: /cgi-bin
Disallow: /pdfs
Allow: /tetra.pdf
Allow: /tetradir.pdf