2^{5\cdot 5\cdot 4}