Magicka solutions

Magicka was solved using Standard ML by 2 contestants. Solution sizes: average 3808 bytes (shortest: 3759; longest: 3884).