/aorrlsh_n.asm/1.1.1.1/Sun Sep 27 00:27:05 2020// /aors_n.asm/1.1.1.1/Sun Sep 27 00:27:05 2020// /aorsmul_1.asm/1.1.1.1/Sun Sep 27 00:27:05 2020// /gmp-mparam.h/1.1.1.1/Sun Sep 27 00:27:05 2020// /mul_1.asm/1.1.1.1/Sun Sep 27 00:27:05 2020// /redc_1.asm/1.1.1.1/Sun Sep 27 00:27:05 2020// D