>>898
これでよさそうだ。プログラムを書いて検証した (16文字の順列だと
メモリーにおさらまらないので、11文字中4文字種をダプらせる形に
縮小したが）。ここにある式の形で、正しい結果を得た。