Email Record: Lectures on proof verification and approximation algorithms /