Final versions of notebooks for the talk.