昨日仕掛けたA5の部分群の合成が完了していた．■群A5は26個の合成部分群を持つ■位数4X5 位数6X10 位数10X6 位数12X5と出力されている．素群の位数2×15，位数3×10，位数5×6の31個と合わせて，31+26=５７，これに自明部分群の２個を追加して５９個になった．動作的にはこれで完全だ．アプリケーションのタイトルを「アリアドネの糸巻き」とし，アイコンを変更した．
画面に出すとかなり赤っぽく見えてしまうのだが，まあ，よしとしておこう．ともかく，部分群検定５を高速化しなくてはならない．できるところからやってみよう．まず，元集合のインスタンスを１個にして使い回すようにしておこう．⇒対処した．ついで，部分集合[]を前詰めして，2^60を2^31で片付けられるようにしてみる．⇒これで1,152,921,504,606,846,976ケースから2,147,483,648まで削減できるはずなので，相当な時間短縮になると予測していたのだが，どうも思ったほどの効果が出ていない．すでに開始してから210分（3時間半）以上経過しているが，終わりそうもない．
200万ケースの中で実際の部分群になるのは60件程度だから，時間の大半は検査のために費やされていることになる．どこでそんなに時間を使っているのだろう？どうも埒が明かないので一旦打ち切ることにしよう．⇒部分群複合で元数がオーバーしていないことをチェックしてから集合の合併を実行するようにして，かなり速くなった．
これならそこそこの時間で完了するのではないか？⇒どうもまだネックがあるようだ．⇒いや，最後のところで少し時間が掛かっているが，終わった．３分は掛かっていない．⇒いや，ダメだ．■群A5は1995個の合成部分群を持つ■位数4X5 位数6X1990というデタラメな数字になっている．論理を戻してて正常動作するようになった．
部分群複合では部分群の生成で部分群を実際に生成しているが，有効な群であるか否かを見ているだけなので，群の生成は省略できる．⇒多少は軽くなったはずだが，大勢は変わらない．１４分で２０個くらいしか生成できていない．どこか壊してしまったのだろうか？位数１２が出なくなってしまった．A4は正しい答えが出るが，S4では間違っている．そもそも素群の切り出しに失敗しているように思われる．