User-agent: *
Allow: /

User-agent: *
Disallow: /socant/shamir

User-agent: *
Allow: /socant/shamir/index.html

User-agent: *
Allow: /socant/alon