13.7.2 哈尔顿序列