入力データについて

\(S_{K-1} = N\) が成り立たない入力が含まれます。

改めて \(N := S_{K-1}\) と再定義することで、正常になると思います。