Miguel Miní's submission of Levy Conjecture | CodeChef