Proceedings of the fortieth annual ACM symposium on Theory of computing