>>125 に書かれているようなパターンを発生させ、それぞれのパターンに状態数がいくつあるかを計算する
プログラムを作りました。タイムアウトのせいで、小間切れ状態でUPしなければならないのが残念ですが、
下で確認できるはずです。

パターン総数は、8547
状態総数は　2605900+1968800+1617525+855036+849555+805504+712008+556512+324632=10295472=C[37,7]　と計算通りです。

http://codepad.org/FvFCc74M
http://codepad.org/sUSjLVDH
http://codepad.org/sI9DDBxt
http://codepad.org/nNK69tt8
http://codepad.org/m1LUUuuN
http://codepad.org/0KlfScBA
http://codepad.org/uptoEExp
http://codepad.org/0TG0B0T4
http://codepad.org/MWTGTZAB