WorldCup.curry 636 Bytes