Zhenyang Dai's submission of Levy Conjecture | CodeChef