All problems are in the writeup (though a few edits are still in order)