redirecting to course home page at http://theory.lcs.mit.edu/classes/6.042/