授课提示：用一句话说明本讲要解决的工程问题，再核对教材和样例路径。

先给学生路线图；后续每页都对应这里的一项，最后回到小结。

授课提示：按本页要点带读；关键数字和通过结论以教材正文与板端记录为准。

授课提示：按本页要点带读；关键数字和通过结论以教材正文与板端记录为准。

授课提示：按本页要点带读；关键数字和通过结论以教材正文与板端记录为准。

授课提示：按本页要点带读；关键数字和通过结论以教材正文与板端记录为准。

授课提示：按本页要点带读；关键数字和通过结论以教材正文与板端记录为准。

授课提示：按本页要点带读；关键数字和通过结论以教材正文与板端记录为准。

授课提示：按本页要点带读；关键数字和通过结论以教材正文与板端记录为准。

用三句话收束；提醒学生把未验证项写成 untested 或 blocked。