/gmp-mparam.h/1.1.1.2/Wed Aug 23 03:01:05 2017//
/hamdist.asm/1.1.1.2/Wed Aug 23 03:01:05 2017//
/lshift.asm/1.1.1.2/Wed Aug 23 03:01:05 2017//
/mul_1.asm/1.1.1.2/Wed Aug 23 03:01:05 2017//
/rshift.asm/1.1.1.2/Wed Aug 23 03:01:05 2017//
D