72. use sympy.factorint