>>520
難しくて時間食ったわ。

>r_iたち同士の順序（上にあるか下にあるか）は操作によって変わらない。

各操作の段階で、順序は変わると思うのだが。
極限操作の結果生成された、はみ出し者(r_i)たちの順序は
r を用いてソートされたものなので、s の構成操作の段階で
決まる?(うごめく)順序とは無関係なはず。そうなると

>これ以降のM回目（M>N）の操作では必ず第M桁目が0となっていて

となる必要もないと思う。