6.047 pset2 docs