Solution 1.7.12.1.

\(2^7 + 2^7 - 2^4\) strings (using PIE).