>>844
10起動 -> 831コピペ&実行 -> 答えは異なる(初回プラス)

なお、
10では仮定Thread[0 < ss]に等号を入れても、8&9のように
ConditionalExpressionは返らず、共にマイナス側が返って
きます。よくわからん。。。