这道题我只考虑了三种情况:
aaa 先自增一段(可能为 000),然后 aaa 或上 bbb,再让 bbb 自增到 aaa。
aaa 直接自增到 bbb。
bbb 不断自增直到 aorb=ba\operatorname{or}b=baorb=b,一次操作把 aaa 调成 bbb。
漏了很多其他情况,但是这个做法过了...
求 hack 或者正确性证明。