A better (simpler) implementation of FourMatrices

Instead of creating a state to allow free deltions, simply ignore all paths that end in deletions by removing Y[N][N] from the result.