どちらにレスを付けるべきか悩みましたが、ツリーの長さを分散させるためにこちらに書きます。

すでにtabaさんにより訂正のレスが付いていますが、
No.9583の「終了」は私の早とちりによる誤った「終了」です。すみません。

tabaさんによる訂正まで半日気づかずにいたとか、どうしようもない頭の悪さですね…

tabaさんおよび皆様に多大なご迷惑をおかけしたことをお詫びします。申し訳ありませんでした。