QEC Course 2025 lecture 7 v2.pdf