print"%.14e"%2**-54