Testing the output

> evalm(htranspose(S)&*F&*S);