Sign audit

Each first-stage contraction contains one insertion sign:

The complete word contains two insertion signs:

The two middle-slot assignments give multiplicity $2$, not $4$. The partial factor $2$ is already present when its two remaining slots are contracted with the last sharp insertion.