2^42.5