5.1 Trial division ex0501.c (1,874)
5.2 Statistics on prime factors ex0502.c (3,864)
5.4 Factor search a ^ n +- b ^ n ex0504.c (3,139)