Krishnan Raghavan's submission of Tautology | CodeChef