manas agrawal's submission of Levy Conjecture | CodeChef