(2^40