Proceedings of the seventeenth annual ACM symposium on Theory of computing