A sequence with a_1 = 1 is defined by the recurrence relation a_{n+1} = 2^n + a_n for all natural numbers n. If a_{23} = p, then what is p?
2^253