Problem sets and labs from 6.814, spring 2013