Files for the MITx 6.00.1x course