Code and Notes for 6.814