Proceedings of the thirteenth annual ACM symposium on Theory of computing