主要な素因数分解アルゴリズム SQUFOFについて

http://blog.practical-scheme.net/shiro/20130216a-factorizeを読んで疑問に思ったので調べた。

最初に書こうと思ったのはファイルの依存関係とタイムスタンプから実行の必要なテストを見つけるプログラムで、makefile風に書くと