Notes and solutions of SICP