Proceedings of the ninth annual ACM symposium on Theory of computing