(2^58-1)/61