Roman Kachur's submission of Stacks | CodeChef