Shanks's_square_forms_factorization loading ...