> (power 2 8) |(power 2 8) | (power 2 4) | |(power 2 2) | | (power 2 1) | | |(power 2 0) | | |1 | | 2 | | (power 2 1) | | |(power 2 0) | | |1 | | 2 | |4 | |(power 2 2) | | (power 2 1) | | |(power 2 0) | | |1 | | 2 | | (power 2 1) | | |(power 2 0) | | |1 | | 2 | |4 | 16 | (power 2 4) | |(power 2 2) | | (power 2 1) | | |(power 2 0) | | |1 | | 2 | | (power 2 1) | | |(power 2 0) | | |1 | | 2 | |4 | |(power 2 2) | | (power 2 1) | | |(power 2 0) | | |1 | | 2 | | (power 2 1) | | |(power 2 0) | | |1 | | 2 | |4 | 16 |256 256