Strong_RSA_assumption loading ...