ちなみにワイの予想
(1) 2^k
(2)2(2^(k-3)-2)+3
(3)2(2(2^(k-4)-2)+3)