Title: Conference record of ACM symposium on theory of computing