https://ssc.moe/posts/pat-1103-integer-factorization/