大分整ってきたのではないかと思う．表示でまだ不揃いな点がある．部分群のダンプでは〈(),()〉のような表記になっているが，検定時には〈3〉群〈(24)〉のように表記している行と， 群〈5,12〉のような表記が入り混じっている．⇒群で始まるときには，〈2, 5〉のような表記を標準とする．その後に，詳細として〈(14)(23)〉のような表記を置くのは任意とする．部分群のダンプでは，登録された情報からは群〈5,12〉のような数字を取り出すことができない．部分群生成元には置換の積の形式の情報しか格納されないからだ．まぁ，これは仕方ないだろう．⇒部分群のダンプと検定時出力がまったく一致しない．
これはかなりおかしい．そもそもカウントが合っていない．部分群のダンプの方が１つ少ない．部分群のダンプ：S4 N=24 素群数=24 部分群数=16 というものおかしい．素群数＜部分群数のはずだ．部分群検定3の出口では部分群数=16を素群数に転記しているだけだ．素群数はこの場所以外では更新されない．プリント文にミスがあった．「カウントが合っていない」というのは，部分群のダンプは０発進，検定時出力は１発進になっているためだ．どちらかに統一する必要がある．分かり易いのはリストに単位群を追加することではないだろうか？そうすれば，インデックスを直接表示できる．
ただし，この場合一つだけ問題がある．単位群を追加するとすれば群全体も部分群として登録しないと数が合わなくなってくる．これまでは「自明の部分群を除く」と説明してきたが，「自明の部分群のうち単位群を含む」ではやや苦しい．一つの釈明として「真部分群」という言い方をしているので，これなら群全体を除外しても差し支えないと言えるかもしれない．それが最適解であるような気がする．全体群を生成する素群集合というのも知りたいのだが，その計算をしていると処理時間が無闇に長くなってしまうという弊害がある．⇒部分集合と部分群生成元の先頭に単位元を入れた．
部分群のダンプと検定時出力がまった一致しない．なぜだろう？事後に書き直しなどしていないはずなのだが… いや，勘違いしていた．検定時のダンプは部分群リスト順になっている訳ではない．実際，終盤になってから素群が現れることもある．