Problem 145 solved.