人 民 网 版 权 所 有 ，未 经 书 面 授 权 禁 止 使 用
* At the end of this file, create a work in progress log, where you note what you already did, what is missing. Always update this log.，这一点在搜狗输入法下载中也有详细论述
arXiv:2602.18602v1 [cs.PL] for this version)，更多细节参见快连下载安装
DECLRMM might work for us - it is approximately what we’re doing by deleting a character on each line when moving horizontally - but it has extremely poor terminal support so I didn’t want to rely on it.