>>187
このケースは大丈夫っぽい。

>>188
左端を伸ばすパターンの1行目がいきなり

＞ *1001　　　　s-1

となっているが、これはどうして？
**101 とか 10001 とかの場合は考えなくていいの？
(***11の場合は考えなくてよい、ということは分かるが…)