User-Agent: *
Disallow: /Allocolo/
Disallow: /wiva/ICPC/