factor(2^128+1) factor(2^256+1) factor(2^192+1)