User-agent: *
Disallow: /cgi-bin/index.cgi?showdoc~1303
Disallow: /cgi-bin/index.cgi?showdoc~1303~~
Disallow: /cgi-bin/index.cgi?showdoc~1456
Disallow: /cgi-bin/index.cgi?showdoc~1456~~
Disallow: /cgi-bin/index.cgi?showdoc~1457
Disallow: /cgi-bin/index.cgi?showdoc~1457~~
Disallow: /cgi-bin/index.cgi?showdoc~1458
Disallow: /cgi-bin/index.cgi?showdoc~1458~~


User-agent: ia_archiver
Disallow: /

User-agent: archive.org_bot
Disallow: /