Proceedings of the forty-second ACM symposium on Theory of computing