4 ms·Formalizations for the competition were done by hand.by cygaril 2y agoFormalizations for the competition were done by hand.