Migrate Codechef solutions