Miguel Miní's submission of Encoding | CodeChef