This file was created on May 15, 2017. I might update this before the seminar.

