てゆか元のアルゴリズムで t(2006,1003,0) はいくつになるの？
再帰複雑すぎて脳内実行できないし、元のアルゴリズム遅すぎて結果でるまで待てないし、
検証の仕様がないんだけど。