a=eval *$< p 2**a.bit_length/2