Zhang Yide's submission of Levy Conjecture | CodeChef