Lecture 21 1 Probabilistically Checkable Proofs