TeX source:
O(2^n)