a 2 ^ 50 ire lK;