と金倶楽部

...は全然駄目みたい。

並列化することにより「詰まない筋」を早めに切り捨てようとたくらみましたが...詰まない事を証明するのは詰む事を証明する位努力がいるので問題を分割するどころか倍増してしまいますた。考え直しですね。

やっぱり、

＞②証明数検索（Proof Number Search）　から　深さ優先証明数検索（Depth First Proof Number Search）に改造

これに手を染めねばならぬようです。