Three-block context-free pumping obstruction (source code)

= Three-block context-free pumping obstruction

For a word consisting of three long constrained blocks, a pumpable window shorter than each block cannot alter both outer blocks; pumping then breaks a required three-way count relation.