Hilary Term 2023 lecture slides. Slides 47–48, on PDF pp. 62–63, state the linear speedup theorem for tapes and explain the block simulation. The source is used for that general theorem, not as an answer key for an examination.