User-agent: *
Allow: /ntujudge/index.php
Allow: /ntujudge/volume.php
Allow: /ntujudge/volumelist.php
Disallow: /