Proceedings of the thirty-third annual ACM symposium on Theory of computing