Lecture 13 Izergin-Korepin determinant.pdf