Proceedings of the sixth annual ACM symposium on Theory of computing