User-agent: *
Disallow: /index.html
Disallow: /~devik/qos/papers/
Disallow: /~devik/tmp/
Disallow: /~devik/files/