Proceedings of the sixteenth annual ACM symposium on Theory of computing