\{a_1,\dots,a_{2^k}\}