QEC Course 2025 lecture 5.pdf