2²⁵−1