Expand each lexicographic name in $\bar S_{\tau(i)}$ and $\bar S_{\tau(j)}$ by its corresponding triple.