weirdness with vecsum and the GMP hash
PP chinese: push lcm*s into bigint loop.
Bump strong prime back to 180 bits in test, for 5.6