Comment by cygaril

Formalizations for the competition were done by hand.