Solutions for some CatCoder examples