World Cup 2010 solutions

World Cup 2010 was solved using OCaml by 4 contestants. Solution sizes: average 1581 bytes (shortest: 1119; longest: 2049).