Magic Trick solutions

Magic Trick was solved using Agda by 1 contestant.