World Cup 2010 solutions

World Cup 2010 was solved using Lisp by 2 contestants. Solution sizes: average 2343 bytes (shortest: 1827; longest: 2859).