Demaine Presburger Lecture

BEST VERSION: 720p, high bitrate (797M)

MEDIUM VERSION: 720p, low bitrate (458M)

WORST VERSION: 360p, low bitrate (269M)