Proceedings of the twenty-second annual ACM symposium on Theory of Computing