Theory of Computing (AIT), Spring 2022