**建模理解并发求和**：原本这是一道期中测验题——我们要求同学们给出一个合法的线程调度，它输出最小的 `sum` 值。Online Judge 显示，几乎没有同学第一次就构造出正确的调度：通常 Wrong Answer 若干次后才能意识到 `sum` 可能有更小的值。