product(2^(n