Solved problems of mit's 1986 sicp