User-agent: *
Allow: /
Disallow: /~index.html