O, O, U, X c O{O{U~XTS O, O, X, U c O{O{X~UTS O, P, T, X c (O{P{T)~XTS O, P, U, W c (O{P{W)~UTS O, P, U, X c O{P~U~XTS O, P, V, X c (O{V|P)~XTS O, P, W, U c (O{P{W)~UTS O, P, X, T c (O{P{T)~XTS O, P, X, U c O{P~X~UTS O, P, X, V c (O{X)~(V|P)TS O, Q, R, X c O{Q~R~XTS O, Q, S, X c (O{Q{S)~XTS O, Q, U, V c (O{Q{V)~UTS O, Q, U, X c O~Q{U~XTS O, Q, V, U c (O{Q{V)~UTS O, Q, V, W c O{V~W|QTS O, Q, W, V c O{W~V|QTS O, Q, W, X c (O{W|Q)~XTS O, Q, X, R c O{Q~X~RTS O, Q, X, S c (O{Q{S)~XTS O, Q, X, U c O~Q{X~UTS O, Q, X, W c (O{X)~(W|Q)TS O, R, Q, X c O{R~Q~XTS O, R, R, U c O{R~R~UTS O, R, R, X c (O{R{R)~XTS O, R, U, R c O{R~U~RTS O, R, U, U c (O{R{U)~UTS O, R, U, X c O~R{U~XTS O, R, X, Q c O{R~X~QTS O, R, X, R c (O{R{R)~XTS O, R, X, U c O~R{X~UTS O, R, X, X c (O{R)~(X{X)TS O, S, Q, X c (O{S{Q)~XTS O, S, T, U c (O{S{T)~UTS O, S, U, T c (O{S{T)~UTS O, S, U, X c O~S{U~XTS O, S, X, Q c (O{S{Q)~XTS O, S, X, U c O~S{X~UTS O, T, P, X c (O{T{P)~XTS O, T, S, U c (O{T{S)~UTS O, T, U, S c (O{T{S)~UTS O, T, U, X c O~T{U~XTS O, T, V, V c O{T{V~VTS O, T, X, P c (O{T{P)~XTS O, T, X, U c O~T{X~UTS O, T, X, X c O{T~X{XTS O, U, O, X c (O{U{O)~XTS O, U, P, W c (O{U)~(P{W)TS O, U, P, X c O{U~P~XTS O, U, Q, V c (O{U)~(Q{V)TS O, U, Q, X c O~Q{U~XTS O, U, R, R c O{U~R~RTS O, U, R, U c (O{U{R)~UTS O, U, R, X c O~R{U~XTS O, U, S, T c (O{U)~(S{T)TS O, U, S, X c O~S{U~XTS O, U, T, S c (O{U)~(T{S)TS O, U, T, X c O~T{U~XTS O, U, U, R c (O{U)~(U{R)TS O, U, U, W c O{U{U~WTS O, U, U, X c O~U{U~XTS O, U, V, Q c (O{U)~(V{Q)TS O, U, V, X c O~V{U~XTS O, U, W, P c (O{U)~(W{P)TS O, U, W, U c O{U{W~UTS O, U, W, X c O~W{U~XTS O, U, X, O c O{U~X{OTS O, U, X, P c O{U~X~PTS O, U, X, Q c O~Q{U~XTS O, U, X, R c O~R{U~XTS O, U, X, S c O~S{U~XTS O, U, X, T c O~T{U~XTS O, U, X, U c O~U{X~UTS O, U, X, V c O~V{U~XTS O, U, X, W c O~W{U~XTS O, U, X, X c O~X{U~XTS O, V, P, X c (O{V|P)~XTS O, V, Q, U c (O{V{Q)~UTS O, V, Q, W c O{V~W|QTS O, V, T, V c O{V~V{TTS O, V, U, Q c (O{V{Q)~UTS O, V, U, X c O~V{U~XTS O, V, V, T c O{V~V{TTS O, V, W, Q c O{V~W|QTS O, V, X, P c (O{V|P)~XTS O, V, X, U c O~V{X~UTS O, V, X, X c O{V~X|XTS O, W, P, U c (O{W{P)~UTS O, W, Q, V c O{W~V|QTS O, W, Q, X c (O{W|Q)~XTS O, W, U, P c (O{W{P)~UTS O, W, U, U c O{W~U{UTS O, W, U, X c O~W{U~XTS O, W, V, Q c O{W~V|QTS O, W, X, Q c (O{W|Q)~XTS O, W, X, U c O~W{X~UTS O, X, O, U c (O{X{O)~UTS O, X, P, T c (O{X)~(P{T)TS O, X, P, U c O{X~P~UTS O, X, P, V c (O{X)~(V|P)TS O, X, Q, R c O{X~Q~RTS O, X, Q, S c (O{X)~(Q{S)TS O, X, Q, U c O~Q{X~UTS O, X, Q, W c (O{X)~(W|Q)TS O, X, R, Q c O{X~R~QTS O, X, R, R c (O{X)~(R{R)TS O, X, R, U c O~R{X~UTS O, X, R, X c (O{X|R)~XTS O, X, S, Q c (O{X)~(S{Q)TS O, X, S, U c O~S{X~UTS O, X, T, P c (O{X)~(T{P)TS O, X, T, U c O~T{X~UTS O, X, T, X c O{X{T~XTS O, X, U, O c O{X~U{OTS O, X, U, P c O{X~U~PTS O, X, U, Q c O~Q{X~UTS O, X, U, R c O~R{X~UTS O, X, U, S c O~S{X~UTS O, X, U, T c O~T{X~UTS O, X, U, U c O~U{X~UTS O, X, U, V c O~V{X~UTS O, X, U, W c O~W{X~UTS O, X, U, X c O~X{U~XTS O, X, V, P c (O{X)~(V|P)TS O, X, V, U c O~V{X~UTS O, X, V, X c O{X~V|XTS O, X, W, Q c (O{X)~(W|Q)TS O, X, W, U c O~W{X~UTS O, X, X, R c (O{X{X)~RTS O, X, X, T c O{X{X~TTS O, X, X, U c O~X{X~UTS O, X, X, V c O{X~V|XTS P, O, T, X c (P{O{T)~XTS P, O, U, W c (P{O{W)~UTS P, O, U, X c (P{O)~(U~X)TS P, O, V, X c (O{V|P)~XTS P, O, W, U c (P{O{W)~UTS P, O, X, T c (P{O{T)~XTS P, O, X, U c (P{O)~(X~U)TS P, O, X, V c (O{X)~(V|P)TS P, P, R, X c (P{P)~(R~X)TS P, P, S, X c (P{P{S)~XTS P, P, T, W c (P{T)~(P{W)TS P, P, T, X c (P{P~T)~XTS P, P, U, V c (P{P{V)~UTS P, P, U, W c (P{P~W)~UTS P, P, U, X c P|P{U~XTS P, P, V, U c (P{P{V)~UTS P, P, V, W c (P{W)~(V|P)TS P, P, V, X c (P~V|P)~XTS P, P, W, T c (P{W)~(P{T)TS P, P, W, U c (P{P~W)~UTS P, P, W, V c (P{W)~(V|P)TS P, P, W, X c (W|P|P)~XTS P, P, X, R c (P{P)~(X~R)TS P, P, X, S c (P{P{S)~XTS P, P, X, T c (P{P~T)~XTS P, P, X, U c P|P{X~UTS P, P, X, V c (P~X)~(V|P)TS P, P, X, W c X~(W|P|P)TS P, Q, Q, X c (P{Q)~(Q~X)TS P, Q, R, U c (P{Q)~(R~U)TS P, Q, R, W c (P{W)~(Q~R)TS P, Q, R, X c (P{Q{R)~XTS P, Q, S, U c (P{Q~S)~UTS P, Q, S, V c Q~(S~V|P)TS P, Q, S, W c (P{W)~(Q{S)TS P, Q, S, X c (P~Q{S)~XTS P, Q, T, U c (Q~T|P)~UTS P, Q, T, V c (P{T)~(Q{V)TS P, Q, T, X c (Q|P{T)~XTS P, Q, U, R c (P{Q)~(U~R)TS P, Q, U, S c (P{Q~S)~UTS P, Q, U, T c (Q~T|P)~UTS P, Q, U, U c (P{Q{U)~UTS P, Q, U, V c (P~Q{V)~UTS P, Q, U, W c (P{U)~W|QTS P, Q, U, X c (Q|P)~(U~X)TS P, Q, V, S c Q~(V~S|P)TS P, Q, V, T c (P{T)~(Q{V)TS P, Q, V, U c (P~Q{V)~UTS P, Q, V, V c (P{V)~V|QTS P, Q, V, W c P~V~W|QTS P, Q, V, X c (P{V|Q)~XTS P, Q, W, R c (P{W)~(Q~R)TS P, Q, W, S c (P{W)~(Q{S)TS P, Q, W, U c (P{U)~W|QTS P, Q, W, V c P~W~V|QTS P, Q, W, W c (P{W)~(W|Q)TS P, Q, W, X c (P~W|Q)~XTS P, Q, X, Q c (P{Q)~(X~Q)TS P, Q, X, R c P~Q~X~RTS P, Q, X, S c (P~Q{S)~XTS P, Q, X, T c (Q|P{T)~XTS P, Q, X, U c (Q|P)~(X~U)TS P, Q, X, V c (P{V|Q)~XTS P, Q, X, W c (P~X)~(W|Q)TS P, Q, X, X c (P{Q)~(X{X)TS P, R, P, X c (P{P)~(R~X)TS P, R, Q, U c (P{Q)~(R~U)TS P, R, Q, W c (P{W)~(R~Q)TS P, R, Q, X c (P{R{Q)~XTS P, R, R, T c (P{T)~(R~R)TS P, R, R, U c P~R~R~UTS P, R, R, V c (R~R)~(V|P)TS P, R, R, W c (P{W)~(R{R)TS P, R, R, X c (P~R{R)~XTS P, R, S, U c R~(S|P)~UTS P, R, S, X c (R|P{S)~XTS P, R, T, R c (P{T)~(R~R)TS P, R, T, U c (P{R{T)~UTS P, R, T, W c (R{W)~T|PTS P, R, U, Q c (P{Q)~(R~U)TS P, R, U, R c P~R~U~RTS P, R, U, S c (R~U)~(S|P)TS P, R, U, T c (P{R{T)~UTS P, R, U, U c (P~R{U)~UTS P, R, U, V c (R|P{V)~UTS P, R, V, R c R~(V|P)~RTS P, R, V, U c (R|P{V)~UTS P, R, V, W c P{V~W|RTS P, R, W, Q c (P{W)~(R~Q)TS P, R, W, R c (P{W)~(R{R)TS P, R, W, T c (R{W)~T|PTS P, R, W, V c P{W~V|RTS P, R, W, X c (P{W|R)~XTS P, R, X, P c (P{P)~(R~X)TS P, R, X, Q c P~R~X~QTS P, R, X, R c (P~R{R)~XTS P, R, X, S c (R|P{S)~XTS P, R, X, W c (P{X{W)~RTS P, R, X, X c (P~R)~(X{X)TS P, S, P, X c (P{S{P)~XTS P, S, Q, U c (P{S~Q)~UTS P, S, Q, V c (S~V|P)~QTS P, S, Q, W c (P{W)~(S{Q)TS P, S, Q, X c (P~S{Q)~XTS P, S, R, U c (S|P)~(R~U)TS P, S, R, X c (S|P{R)~XTS P, S, S, U c (P{S{S)~UTS P, S, T, T c (P{T)~(S{T)TS P, S, T, U c (P~S{T)~UTS P, S, T, V c (S{T)~(V|P)TS P, S, T, X c (P{X)~T{STS P, S, U, Q c (P{S~Q)~UTS P, S, U, R c (S|P)~(U~R)TS P, S, U, S c (P{S{S)~UTS P, S, U, T c (P~S{T)~UTS P, S, U, U c (S|P{U)~UTS P, S, V, Q c (S~V|P)~QTS P, S, V, T c (S{V)~T|PTS P, S, V, V c P{S{V~VTS P, S, V, W c (V|PS)~WTS P, S, W, Q c (P{W)~(S{Q)TS P, S, W, V c W~(V|PS)TS P, S, X, P c (P{S{P)~XTS P, S, X, Q c (P~S{Q)~XTS P, S, X, R c (S|P{R)~XTS P, S, X, T c (P{X)~T{STS P, S, X, X c (P{S)~X{XTS P, T, O, X c (P{T{O)~XTS P, T, P, W c (P{T)~(P{W)TS P, T, P, X c (P{T)~(P~X)TS P, T, Q, U c (T~Q|P)~UTS P, T, Q, V c (P{T)~(Q{V)TS P, T, Q, X c (T|P{Q)~XTS P, T, R, R c (P{T)~(R~R)TS P, T, R, U c (P{T{R)~UTS P, T, R, W c T~(R{W)|PTS P, T, S, T c (P{T)~(S{T)TS P, T, S, U c (P~T{S)~UTS P, T, S, V c (T{S)~(V|P)TS P, T, S, X c (P{X)~T{STS P, T, T, S c (P{T)~(T{S)TS P, T, T, U c (T|P{T)~UTS P, T, U, Q c (T~Q|P)~UTS P, T, U, R c (P{T)~(U{R)TS P, T, U, S c (P~T{S)~UTS P, T, U, T c (T|P{T)~UTS P, T, U, V c (P{U)~V{TTS P, T, U, W c P{T{U~WTS P, T, U, X c X(P|TU)TS P, T, V, Q c (P{T)~(V{Q)TS P, T, V, S c T~(V{S)|PTS P, T, V, U c (P{U)~V{TTS P, T, V, V c P~T{V~VTS P, T, V, W c T{V~(W|P)TS P, T, W, P c (P{T)~(W{P)TS P, T, W, R c T~(W{R)|PTS P, T, W, U c P{T{W~UTS P, T, W, V c T{(W|P)~VTS P, T, W, X c P{T~X{WTS P, T, X, O c (P{T)~(X{O)TS P, T, X, P c (P{T)~(X~P)TS P, T, X, Q c (T|P{Q)~XTS P, T, X, S c (P{X)~T{STS P, T, X, U c X(P|TU)TS P, T, X, W c P{T~X{WTS P, T, X, X c P~T~X{XTS P, U, O, W c (P{O{W)~UTS P, U, O, X c (P~U{O)~XTS P, U, P, V c (P{P{V)~UTS P, U, P, W c (P~U)~(P{W)TS P, U, P, X c (P{U|P)~XTS P, U, Q, R c (P{Q)~(U~R)TS P, U, Q, S c (P{Q~S)~UTS P, U, Q, T c U~(Q~T|P)TS P, U, Q, U c (P{U{Q)~UTS P, U, Q, V c (P~U)~(Q{V)TS P, U, Q, W c (P{U)~W|QTS P, U, Q, X c U~(Q|P)~XTS P, U, R, Q c (P{Q)~(U~R)TS P, U, R, R c P~U~R~RTS P, U, R, S c (U~R)~(S|P)TS P, U, R, T c (P{R{T)~UTS P, U, R, U c (P~U{R)~UTS P, U, R, V c U~(R|P{V)TS P, U, S, Q c (P{S~Q)~UTS P, U, S, R c U~(S|P)~RTS P, U, S, S c (P{S{S)~UTS P, U, S, T c (P~U)~(S{T)TS P, U, S, U c (U|P{S)~UTS P, U, T, Q c U~(T~Q|P)TS P, U, T, R c (P{T)~(U{R)TS P, U, T, S c (P~U)~(T{S)TS P, U, T, T c U~(T|P{T)TS P, U, T, V c (P{U)~V{TTS P, U, T, W c P{U~W{TTS P, U, T, X c X(P|TU)TS P, U, U, Q c (P{U{Q)~UTS P, U, U, R c (P~U)~(U{R)TS P, U, U, S c (U|P{S)~UTS P, U, U, V c (P{V)~U{UTS P, U, U, W c P~U{U~WTS P, U, U, X c (P{X)~U|UTS P, U, V, P c (P{V{P)~UTS P, U, V, Q c (P~U)~(V{Q)TS P, U, V, R c U~(V|P{R)TS P, U, V, T c (P{U)~V{TTS P, U, V, U c (P{V)~U{UTS P, U, V, V c U|P{V~VTS P, U, V, W c U{(V|P)~WTS P, U, V, X c X(VU|P)TS P, U, W, O c (P{W)~(U{O)TS P, U, W, P c (P~U)~(W{P)TS P, U, W, Q c (P{U)~W|QTS P, U, W, T c P{U~W{TTS P, U, W, U c P~U{W~UTS P, U, W, V c U~W|P{VTS P, U, W, X c U(P|WX)TS P, U, X, O c P~U~X{OTS P, U, X, P c P{U~X|PTS P, U, X, Q c (U~X)~(Q|P)TS P, U, X, T c X(P|TU)TS P, U, X, U c (P{X)~U|UTS P, U, X, V c X(VU|P)TS P, U, X, W c U(P|WX)TS P, U, X, X c (P{U)~X|XTS P, V, O, X c (V|P{O)~XTS P, V, P, U c (P{V{P)~UTS P, V, P, W c (P{W)~(V|P)TS P, V, P, X c (P~V|P)~XTS P, V, Q, S c (V~S|P)~QTS P, V, Q, T c (P{T)~(V{Q)TS P, V, Q, U c (P~V{Q)~UTS P, V, Q, V c (P{V)~V|QTS P, V, Q, W c P~V~W|QTS P, V, Q, X c (P{V|Q)~XTS P, V, R, R c (V|P)~(R~R)TS P, V, R, U c (V|P{R)~UTS P, V, R, W c P{V~W|RTS P, V, S, Q c (V~S|P)~QTS P, V, S, T c (V|P)~(S{T)TS P, V, S, V c P{V~V{STS P, V, S, W c (V|PS)~WTS P, V, T, Q c (P{T)~(V{Q)TS P, V, T, S c (V|P)~(T{S)TS P, V, T, U c (P{U)~V{TTS P, V, T, V c P~V~V{TTS P, V, T, W c V~(W|P){TTS P, V, U, P c (P{V{P)~UTS P, V, U, Q c (P~V{Q)~UTS P, V, U, R c (V|P)~(U{R)TS P, V, U, T c (P{U)~V{TTS P, V, U, U c (P{V)~U{UTS P, V, U, V c V~V|P{UTS P, V, U, W c V|P{U~WTS P, V, U, X c X(VU|P)TS P, V, V, Q c (P{V)~V|QTS P, V, V, S c P{V~V{STS P, V, V, T c P~V~V{TTS P, V, V, U c V~V|P{UTS P, V, W, P c (P{W)~(V|P)TS P, V, W, Q c P~V~W|QTS P, V, W, R c P{V~W|RTS P, V, W, S c (V|PS)~WTS P, V, W, T c V~(W|P){TTS P, V, W, U c V|P{W~UTS P, V, W, X c (P{W)~V|XTS P, V, X, O c (V|P)~(X{O)TS P, V, X, P c (P~V|P)~XTS P, V, X, Q c (P{V|Q)~XTS P, V, X, U c X(VU|P)TS P, V, X, W c (P{W)~V|XTS P, V, X, X c P~V~X|XTS P, W, O, U c (P{W{O)~UTS P, W, P, T c (P{W)~(P{T)TS P, W, P, U c (P{W)~(P~U)TS P, W, P, V c (P{W)~(V|P)TS P, W, P, X c (W|P|P)~XTS P, W, Q, R c (P{W)~(Q~R)TS P, W, Q, S c (P{W)~(Q{S)TS P, W, Q, U c (P{U)~W|QTS P, W, Q, V c P~W~V|QTS P, W, Q, W c (P{W)~(W|Q)TS P, W, Q, X c (P~W|Q)~XTS P, W, R, Q c (P{W)~(R~Q)TS P, W, R, R c (P{W)~(R{R)TS P, W, R, T c (W{R)~T|PTS P, W, R, V c P{W~V|RTS P, W, R, X c (P{W|R)~XTS P, W, S, Q c (P{W)~(S{Q)TS P, W, S, V c W~(V|PS)TS P, W, T, P c (P{W)~(T{P)TS P, W, T, R c (W{R)~T|PTS P, W, T, U c P{W~U{TTS P, W, T, V c (W|P)~V{TTS P, W, T, X c P{W{T~XTS P, W, U, O c (P{W)~(U{O)TS P, W, U, P c (P{W)~(U~P)TS P, W, U, Q c (P{U)~W|QTS P, W, U, T c P{W~U{TTS P, W, U, U c P~W~U{UTS P, W, U, V c W~U|P{VTS P, W, U, X c U(P|WX)TS P, W, V, P c (P{W)~(V|P)TS P, W, V, Q c P~W~V|QTS P, W, V, R c P{W~V|RTS P, W, V, S c W~(V|PS)TS P, W, V, T c (W|P)~V{TTS P, W, V, U c W~(V|P){UTS P, W, V, X c (P{W)~V|XTS P, W, W, Q c (P{W)~(W|Q)TS P, W, W, X c (W~W)|(P{X)TS P, W, X, P c (W|P|P)~XTS P, W, X, Q c (P~W|Q)~XTS P, W, X, R c (P{W{X)~RTS P, W, X, T c P{W{X~TTS P, W, X, U c U(P|WX)TS P, W, X, V c (P{W)~V|XTS P, W, X, W c (W~W)|(P{X)TS P, W, X, X c (W|P)~X|XTS P, X, O, T c (P{O{T)~XTS P, X, O, U c (P~X{O)~UTS P, X, O, V c (X{O)~(V|P)TS P, X, P, R c (P{P)~(X~R)TS P, X, P, S c (P{P{S)~XTS P, X, P, T c (P~X)~(P{T)TS P, X, P, U c (P{X|P)~UTS P, X, P, V c (P~X)~(V|P)TS P, X, P, W c X~(W|P|P)TS P, X, Q, Q c (P{Q)~(X~Q)TS P, X, Q, R c P~X~Q~RTS P, X, Q, S c (P~X)~(Q{S)TS P, X, Q, T c X~(Q|P{T)TS P, X, Q, U c X~(Q|P)~UTS P, X, Q, V c (P{V|Q)~XTS P, X, Q, W c (P~X)~(W|Q)TS P, X, Q, X c (P{Q)~(X{X)TS P, X, R, P c (P{P)~(X~R)TS P, X, R, Q c P~X~R~QTS P, X, R, R c (P~X)~(R{R)TS P, X, R, S c X~(R|P{S)TS P, X, R, W c (P{X{W)~RTS P, X, R, X c (P~X|R)~XTS P, X, S, P c (P{S{P)~XTS P, X, S, Q c (P~X)~(S{Q)TS P, X, S, R c X~(S|P{R)TS P, X, S, T c (P{X)~T{STS P, X, S, X c (P{X|S)~XTS P, X, T, O c (P{T)~(X{O)TS P, X, T, P c (P~X)~(T{P)TS P, X, T, Q c X~(T|P{Q)TS P, X, T, S c (P{X)~T{STS P, X, T, U c X(P|TU)TS P, X, T, W c P{X~T{WTS P, X, T, X c P~X{T~XTS P, X, U, O c P~X~U{OTS P, X, U, P c P{X~U|PTS P, X, U, Q c (X~U)~(Q|P)TS P, X, U, T c X(P|TU)TS P, X, U, U c (P{X)~U|UTS P, X, U, V c X(VU|P)TS P, X, U, W c U(P|WX)TS P, X, U, X c (P{U)~X|XTS P, X, V, O c X~(V|P){OTS P, X, V, P c (P~X)~(V|P)TS P, X, V, Q c (P{V|Q)~XTS P, X, V, U c X(VU|P)TS P, X, V, W c (P{W)~V|XTS P, X, V, X c P~X~V|XTS P, X, W, P c X~(W|P|P)TS P, X, W, Q c (P~X)~(W|Q)TS P, X, W, R c (P{X{W)~RTS P, X, W, T c P{X~T{WTS P, X, W, U c U(P|WX)TS P, X, W, V c (P{W)~V|XTS P, X, W, W c (W~W)|(P{X)TS P, X, W, X c X~(W|P)|XTS P, X, X, Q c (P{Q)~(X{X)TS P, X, X, R c (P~X{X)~RTS P, X, X, S c (P{X|S)~XTS P, X, X, T c P~X{X~TTS P, X, X, U c (P{U)~X|XTS P, X, X, V c P~X~V|XTS P, X, X, W c X~(W|P)|XTS Q, O, R, X c (Q{O)~(R~X)TS Q, O, S, X c (Q{O{S)~XTS Q, O, U, V c (Q{O{V)~UTS Q, O, U, X c Q~O{U~XTS Q, O, V, U c (Q{O{V)~UTS Q, O, V, W c O{V~W|QTS Q, O, W, V c O{W~V|QTS Q, O, W, X c (O{W|Q)~XTS Q, O, X, R c (Q{O)~(X~R)TS Q, O, X, S c (Q{O{S)~XTS Q, O, X, U c Q~O{X~UTS Q, O, X, W c (O{X)~(W|Q)TS Q, P, Q, X c (Q{P)~(Q~X)TS Q, P, R, U c (Q{P)~(R~U)TS Q, P, R, W c Q~(P{W)~RTS Q, P, R, X c (Q{P{R)~XTS Q, P, S, U c (Q~S{P)~UTS Q, P, S, V c Q~(S~V|P)TS Q, P, S, W c (Q{S)~(P{W)TS Q, P, S, X c (Q{P~S)~XTS Q, P, T, U c (Q~T|P)~UTS Q, P, T, V c (Q{V)~(P{T)TS Q, P, T, X c (Q|P{T)~XTS Q, P, U, R c (Q{P)~(U~R)TS Q, P, U, S c (Q~S{P)~UTS Q, P, U, T c (Q~T|P)~UTS Q, P, U, U c (Q{P{U)~UTS Q, P, U, V c (Q{P~V)~UTS Q, P, U, W c (Q|P{W)~UTS Q, P, U, X c (Q|P)~(U~X)TS Q, P, V, S c Q~(V~S|P)TS Q, P, V, T c (Q{V)~(P{T)TS Q, P, V, U c (Q{P~V)~UTS Q, P, V, V c (Q{V)~(V|P)TS Q, P, V, W c P~V~W|QTS Q, P, V, X c (P{V|Q)~XTS Q, P, W, R c Q~(P{W)~RTS Q, P, W, S c (Q{S)~(P{W)TS Q, P, W, U c (Q|P{W)~UTS Q, P, W, V c P~W~V|QTS Q, P, W, W c (P{W)~(W|Q)TS Q, P, W, X c (P~W|Q)~XTS Q, P, X, Q c (Q{P)~(X~Q)TS Q, P, X, R c Q~P~X~RTS Q, P, X, S c (Q{P~S)~XTS Q, P, X, T c (Q|P{T)~XTS Q, P, X, U c (Q|P)~(X~U)TS Q, P, X, V c (P{V|Q)~XTS Q, P, X, W c (P~X)~(W|Q)TS Q, P, X, X c (Q{P)~(X{X)TS Q, Q, P, X c Q~(Q{P)~XTS Q, Q, Q, X c (Q{Q{Q)~XTS Q, Q, R, V c Q~(Q{V)~RTS Q, Q, R, W c (Q{Q~W)~RTS Q, Q, S, V c (Q{S)~(Q{V)TS Q, Q, S, X c (Q~S|Q)~XTS Q, Q, T, T c Q~(Q{T~T)TS Q, Q, T, U c (Q{Q{T)~UTS Q, Q, T, W c (Q{T)~W|QTS Q, Q, T, X c (QQ{T)~XTS Q, Q, U, T c (Q{Q{T)~UTS Q, Q, U, V c (Q{U)~V|QTS Q, Q, U, W c (QQ{W)~UTS Q, Q, U, X c Q|Q{U~XTS Q, Q, V, R c Q~(Q{V)~RTS Q, Q, V, S c (Q{V)~(Q{S)TS Q, Q, V, U c (Q{U)~V|QTS Q, Q, V, W c (Q{V)~(W|Q)TS Q, Q, V, X c (V|QQ)~XTS Q, Q, W, R c (Q{Q~W)~RTS Q, Q, W, T c (Q{T)~W|QTS Q, Q, W, U c (QQ{W)~UTS Q, Q, W, V c (Q{V)~(W|Q)TS Q, Q, W, X c (Q{WQ)~XTS Q, Q, X, P c Q~(Q{P)~XTS Q, Q, X, Q c (Q{Q{Q)~XTS Q, Q, X, S c (Q~S|Q)~XTS Q, Q, X, T c (QQ{T)~XTS Q, Q, X, U c Q|Q{X~UTS Q, Q, X, V c X~(V|QQ)TS Q, Q, X, W c (Q{WQ)~XTS Q, Q, X, X c Q~(Q~X{X)TS Q, R, O, X c (Q~R{O)~XTS Q, R, P, U c (Q{P)~(R~U)TS Q, R, P, W c (Q~R)~(P{W)TS Q, R, P, X c (Q{R{P)~XTS Q, R, Q, V c (Q~R)~(Q{V)TS Q, R, Q, W c (Q{Q~W)~RTS Q, R, R, R c Q~R~R~RTS Q, R, R, S c (Q{S)~(R~R)TS Q, R, R, U c (Q~R{R)~UTS Q, R, R, V c (Q{V)~(R{R)TS Q, R, R, W c Q~(R{R~W)TS Q, R, S, R c (Q{S)~(R~R)TS Q, R, S, S c (Q{S~S)~RTS Q, R, S, T c (Q~R)~(S{T)TS Q, R, S, U c (Q{R{S)~UTS Q, R, S, V c (Q~V{S)~RTS Q, R, S, W c (R{S)~W|QTS Q, R, S, X c RQ~S~XTS Q, R, T, S c (Q~R)~(T{S)TS Q, R, T, U c Q~(T~U|R)TS Q, R, T, V c (R{T)~V|QTS Q, R, T, W c (Q~T{W)~RTS Q, R, T, X c (R|Q{T)~XTS Q, R, U, P c (Q{P)~(R~U)TS Q, R, U, R c Q~(R{U)~RTS Q, R, U, S c Q~(R{U~S)TS Q, R, U, T c Q~(U~T|R)TS Q, R, U, U c (Q~U|R)~UTS Q, R, U, V c Q~(R~V{U)TS Q, R, U, W c Q~R{U~WTS Q, R, U, X c Q~(R~U{X)TS Q, R, V, Q c (Q~R)~(V{Q)TS Q, R, V, R c (Q{V)~(R{R)TS Q, R, V, S c (Q~V{S)~RTS Q, R, V, T c (R{T)~V|QTS Q, R, V, U c Q~(R~V{U)TS Q, R, V, V c Q{R{V~VTS Q, R, V, X c (Q{V|R)~XTS Q, R, W, P c (Q~R)~(W{P)TS Q, R, W, Q c (Q{W~Q)~RTS Q, R, W, R c Q~(R{W~R)TS Q, R, W, S c (R{S)~W|QTS Q, R, W, T c (Q~T{W)~RTS Q, R, W, U c Q~R{W~UTS Q, R, W, W c (Q{W{W)~RTS Q, R, X, O c Q~R~X{OTS Q, R, X, P c Q~R~X~PTS Q, R, X, S c RQ~X~STS Q, R, X, T c (R|Q{T)~XTS Q, R, X, U c Q~(R~U{X)TS Q, R, X, V c (Q{X{V)~RTS Q, R, X, X c (Q{R)~X{XTS Q, S, O, X c (Q{S{O)~XTS Q, S, P, U c (Q~S{P)~UTS Q, S, P, V c Q~(S~V|P)TS Q, S, P, W c (Q{S)~(P{W)TS Q, S, P, X c (Q{S)~(P~X)TS Q, S, Q, V c (Q{S)~(Q{V)TS Q, S, Q, X c (Q~S|Q)~XTS Q, S, R, R c (Q{S)~(R~R)TS Q, S, R, S c (Q{S~S)~RTS Q, S, R, T c Q~(S{T)~RTS Q, S, R, U c (Q{S{R)~UTS Q, S, R, V c (Q~V{S)~RTS Q, S, R, W c (S{R)~W|QTS Q, S, R, X c (S|Q)~(R~X)TS Q, S, S, R c (Q{S~S)~RTS Q, S, S, T c (Q{S)~(S{T)TS Q, S, S, V c (S{S)~V|QTS Q, S, S, X c Q{S~(S{X)TS Q, S, T, R c Q~(S{T)~RTS Q, S, T, S c (Q{S)~(T{S)TS Q, S, T, T c Q~T~T{STS Q, S, T, V c Q~(S~T{V)TS Q, S, T, W c Q{S~(T{W)TS Q, S, T, X c (Q~T|S)~XTS Q, S, U, P c (Q~S{P)~UTS Q, S, U, R c (Q{S)~(U{R)TS Q, S, U, U c Q~S~U{UTS Q, S, U, V c Q{S~(U{V)TS Q, S, U, W c Q{S{U~WTS Q, S, V, P c Q~(S~V|P)TS Q, S, V, Q c (Q{S)~(V{Q)TS Q, S, V, R c (Q~V{S)~RTS Q, S, V, S c (S{S)~V|QTS Q, S, V, T c Q~(S~T{V)TS Q, S, V, U c Q{S~(V{U)TS Q, S, V, V c S~(V{V)|QTS Q, S, V, W c Q{V~W|STS Q, S, V, X c Q~(V|S)~XTS Q, S, W, P c (Q{S)~(W{P)TS Q, S, W, R c (S{R)~W|QTS Q, S, W, T c Q{S~(W{T)TS Q, S, W, U c Q{S{W~UTS Q, S, W, V c Q{W~V|STS Q, S, W, X c (Q{W|S)~XTS Q, S, X, O c (Q{S)~(X{O)TS Q, S, X, P c (Q{S)~(X~P)TS Q, S, X, Q c (Q~S|Q)~XTS Q, S, X, R c (S|Q)~(X~R)TS Q, S, X, S c Q{(S{X)~STS Q, S, X, T c (Q~T|S)~XTS Q, S, X, V c (Q~X)~(V|S)TS Q, S, X, W c (Q{W|S)~XTS Q, S, X, X c Q~(S~X|X)TS Q, T, P, U c (Q~T|P)~UTS Q, T, P, V c (Q{V)~(T{P)TS Q, T, P, X c (Q{T|P)~XTS Q, T, Q, T c (Q{T~T)~QTS Q, T, Q, U c (Q{T{Q)~UTS Q, T, Q, W c (Q{T)~W|QTS Q, T, Q, X c Q~(T|Q)~XTS Q, T, R, S c Q~(T{S)~RTS Q, T, R, U c Q~(T~U|R)TS Q, T, R, V c (T{R)~V|QTS Q, T, R, W c (Q~T{W)~RTS Q, T, R, X c (T|Q{R)~XTS Q, T, S, R c Q~(T{S)~RTS Q, T, S, S c (Q{S)~(T{S)TS Q, T, S, T c Q~T~T{STS Q, T, S, V c Q~(T~S{V)TS Q, T, S, W c Q{(T{W)~STS Q, T, S, X c (Q~T|S)~XTS Q, T, T, Q c (Q{T~T)~QTS Q, T, T, S c Q~T~T{STS Q, T, T, V c (Q{T)~V{TTS Q, T, U, P c (Q~T|P)~UTS Q, T, U, Q c (Q{T{Q)~UTS Q, T, U, R c Q~(T~U|R)TS Q, T, U, U c Q~T~U|UTS Q, T, U, V c (Q~V|T)~UTS Q, T, U, W c (T{WQ)~UTS Q, T, V, P c (Q{V)~(T{P)TS Q, T, V, R c (T{R)~V|QTS Q, T, V, S c Q~(T~S{V)TS Q, T, V, T c (Q{T)~V{TTS Q, T, V, U c (Q~V|T)~UTS Q, T, V, W c Q~(T~V|W)TS Q, T, V, X c Q{T~X{VTS Q, T, W, Q c (Q{T)~W|QTS Q, T, W, R c (Q~T{W)~RTS Q, T, W, S c Q{(T{W)~STS Q, T, W, U c (T{WQ)~UTS Q, T, W, V c Q~(T~V|W)TS Q, T, W, W c W~W|Q~TTS Q, T, W, X c Q~(W|T)~XTS Q, T, X, P c (Q{T|P)~XTS Q, T, X, Q c Q~(T|Q)~XTS Q, T, X, R c (T|Q{R)~XTS Q, T, X, S c (Q~T|S)~XTS Q, T, X, V c Q{T~X{VTS Q, T, X, W c (Q~X)~(W|T)TS Q, T, X, X c (Q{T)~X|XTS Q, U, O, V c (Q{O{V)~UTS Q, U, O, X c Q~O{U~XTS Q, U, P, R c (Q{P)~(U~R)TS Q, U, P, S c (Q~S{P)~UTS Q, U, P, T c (Q~T|P)~UTS Q, U, P, U c (Q{U{P)~UTS Q, U, P, V c (Q{P~V)~UTS Q, U, P, W c (Q|P{W)~UTS Q, U, P, X c (Q|P)~(U~X)TS Q, U, Q, T c (Q{Q{T)~UTS Q, U, Q, V c (Q{U)~V|QTS Q, U, Q, W c (QQ{W)~UTS Q, U, Q, X c (Q{U|Q)~XTS Q, U, R, P c (Q{P)~(U~R)TS Q, U, R, R c Q~(U{R)~RTS Q, U, R, S c Q~(U~S{R)TS Q, U, R, T c Q~(U~T|R)TS Q, U, R, U c (Q~U|R)~UTS Q, U, R, V c Q~(U{R~V)TS Q, U, R, W c Q~R{U~WTS Q, U, R, X c Q~(U|R)~XTS Q, U, S, P c (Q~S{P)~UTS Q, U, S, R c Q~(U~S{R)TS Q, U, S, U c Q~U~S{UTS Q, U, S, V c Q{(U{V)~STS Q, U, S, W c Q{U~W{STS Q, U, T, P c (Q~T|P)~UTS Q, U, T, Q c (Q{T{Q)~UTS Q, U, T, R c Q~(U~T|R)TS Q, U, T, U c Q~U~T|UTS Q, U, T, V c (Q~V|T)~UTS Q, U, T, W c U~(T{WQ)TS Q, U, U, P c (Q{U{P)~UTS Q, U, U, R c (Q~U{U)~RTS Q, U, U, S c Q~U~S{UTS Q, U, U, T c Q~U~T|UTS Q, U, U, U c (Q{U)~U{UTS Q, U, U, V c Q~U{U~VTS Q, U, U, W c (Q{W)~U|UTS Q, U, U, X c (Q~U|U)~XTS Q, U, V, O c (Q{V)~(U{O)TS Q, U, V, P c (Q{V)~(U~P)TS Q, U, V, Q c (Q{U)~V|QTS Q, U, V, R c Q~(U{V~R)TS Q, U, V, S c Q{(U{V)~STS Q, U, V, T c (Q~V|T)~UTS Q, U, V, U c Q~U{V~UTS Q, U, V, W c (Q~W|V)~UTS Q, U, W, P c (Q{W|P)~UTS Q, U, W, Q c (QQ{W)~UTS Q, U, W, R c Q~W~R{UTS Q, U, W, S c Q{U~W{STS Q, U, W, T c U~(WQ{T)TS Q, U, W, U c (Q{W)~U|UTS Q, U, W, V c (Q~W|V)~UTS Q, U, W, W c U{(W|Q)~WTS Q, U, X, O c Q~O{U~XTS Q, U, X, P c (Q|P)~(U~X)TS Q, U, X, Q c Q{U~X|QTS Q, U, X, R c Q~(U|R)~XTS Q, U, X, U c (Q~U|U)~XTS Q, U, X, X c Q~(X|U)~XTS Q, V, O, U c (Q{V{O)~UTS Q, V, O, W c (V{O)~W|QTS Q, V, P, S c Q~(V~S|P)TS Q, V, P, T c (Q{V)~(P{T)TS Q, V, P, U c (Q{V)~(P~U)TS Q, V, P, V c (Q{V)~(V|P)TS Q, V, P, W c V~P~W|QTS Q, V, P, X c (V|Q{P)~XTS Q, V, Q, R c (Q{V)~(Q~R)TS Q, V, Q, S c (Q{V)~(Q{S)TS Q, V, Q, U c (Q{U)~V|QTS Q, V, Q, W c (Q{V)~(W|Q)TS Q, V, Q, X c (V|QQ)~XTS Q, V, R, Q c (Q{V)~(R~Q)TS Q, V, R, R c (Q{V)~(R{R)TS Q, V, R, S c (Q~V{S)~RTS Q, V, R, T c V~(R{T)|QTS Q, V, R, U c Q~(V~R{U)TS Q, V, R, V c Q{V~V{RTS Q, V, R, X c (Q{V|R)~XTS Q, V, S, P c Q~(V~S|P)TS Q, V, S, Q c (Q{V)~(S{Q)TS Q, V, S, R c (Q~V{S)~RTS Q, V, S, S c V~(S{S)|QTS Q, V, S, T c Q~(V{S~T)TS Q, V, S, U c Q{(V{U)~STS Q, V, S, V c (V{V)~S|QTS Q, V, S, W c Q{V~W|STS Q, V, S, X c Q~(V|S)~XTS Q, V, T, P c (Q{V)~(T{P)TS Q, V, T, R c V~(T{R)|QTS Q, V, T, S c Q~(V{T~S)TS Q, V, T, T c (Q{T)~V{TTS Q, V, T, U c (Q~V|T)~UTS Q, V, T, W c Q~V{T~WTS Q, V, T, X c Q{V{T~XTS Q, V, U, O c (Q{V)~(U{O)TS Q, V, U, P c (Q{V)~(U~P)TS Q, V, U, Q c (Q{U)~V|QTS Q, V, U, R c Q~(V~R{U)TS Q, V, U, S c Q{(V{U)~STS Q, V, U, T c (Q~V|T)~UTS Q, V, U, U c Q~U{V~UTS Q, V, U, W c (Q~W|V)~UTS Q, V, V, P c (Q{V)~(V|P)TS Q, V, V, R c Q{V~V{RTS Q, V, V, S c (V{V)~S|QTS Q, V, V, V c V|Q{V~VTS Q, V, V, W c V~(W|QV)TS Q, V, V, X c (Q{V)~V|XTS Q, V, W, O c V~W|Q{OTS Q, V, W, P c V~W|Q~PTS Q, V, W, Q c (Q{V)~(W|Q)TS Q, V, W, S c Q{V~W|STS Q, V, W, T c Q~V{W~TTS Q, V, W, U c (Q~W|V)~UTS Q, V, W, V c V~(W|QV)TS Q, V, W, W c (V|QW)~WTS Q, V, W, X c (Q~V|W)~XTS Q, V, X, P c (V|Q{P)~XTS Q, V, X, Q c (V|QQ)~XTS Q, V, X, R c (Q{V{X)~RTS Q, V, X, S c Q~(V|S)~XTS Q, V, X, T c Q{V{X~TTS Q, V, X, V c (Q{V)~V|XTS Q, V, X, W c (Q~V|W)~XTS Q, V, X, X c (V|Q)~X{XTS Q, W, O, V c (W{O)~V|QTS Q, W, O, X c (W|Q{O)~XTS Q, W, P, R c Q~(W{P)~RTS Q, W, P, S c (Q{S)~(W{P)TS Q, W, P, U c (Q{W|P)~UTS Q, W, P, V c W~P~V|QTS Q, W, P, W c (W|Q)~(P{W)TS Q, W, P, X c (W|Q)~(P~X)TS Q, W, Q, R c (Q{W~Q)~RTS Q, W, Q, T c (Q{T)~W|QTS Q, W, Q, U c (QQ{W)~UTS Q, W, Q, V c (Q{V)~(W|Q)TS Q, W, Q, X c (Q{WQ)~XTS Q, W, R, P c Q~(W{P)~RTS Q, W, R, Q c (Q{W~Q)~RTS Q, W, R, R c Q~(W~R{R)TS Q, W, R, S c W~(R{S)|QTS Q, W, R, T c (Q~T{W)~RTS Q, W, R, U c Q~W~R{UTS Q, W, R, W c (Q{W{W)~RTS Q, W, S, P c (Q{S)~(W{P)TS Q, W, S, R c W~(S{R)|QTS Q, W, S, T c Q~(W~S|T)TS Q, W, S, U c Q{W~U{STS Q, W, S, V c Q{W~V|STS Q, W, S, X c (Q{W|S)~XTS Q, W, T, Q c (Q{T)~W|QTS Q, W, T, R c (Q~T{W)~RTS Q, W, T, S c Q{(W{T)~STS Q, W, T, U c (WQ{T)~UTS Q, W, T, V c Q~(T~V|W)TS Q, W, T, W c W~W|Q~TTS Q, W, T, X c Q~(W|T)~XTS Q, W, U, P c (Q{W|P)~UTS Q, W, U, Q c (QQ{W)~UTS Q, W, U, R c Q~W~R{UTS Q, W, U, S c Q{W~U{STS Q, W, U, T c (WQ{T)~UTS Q, W, U, U c (Q{W)~U|UTS Q, W, U, V c (Q~W|V)~UTS Q, W, U, W c W|Q{U~WTS Q, W, V, O c W~V|Q{OTS Q, W, V, P c W~V|Q~PTS Q, W, V, Q c (Q{V)~(W|Q)TS Q, W, V, S c Q{W~V|STS Q, W, V, T c Q~V{W~TTS Q, W, V, U c (Q~W|V)~UTS Q, W, V, V c (W|QV)~VTS Q, W, V, W c W~(V|QW)TS Q, W, V, X c (Q~V|W)~XTS Q, W, W, P c (W|Q)~(W{P)TS Q, W, W, R c (Q{W{W)~RTS Q, W, W, T c W~W|Q~TTS Q, W, W, U c W|Q{W~UTS Q, W, W, V c W~(V|QW)TS Q, W, W, W c (W~W)|(Q{W)TS Q, W, X, O c (W|Q)~(X{O)TS Q, W, X, P c (W|Q)~(X~P)TS Q, W, X, Q c (Q{WQ)~XTS Q, W, X, S c (Q{W|S)~XTS Q, W, X, T c Q~(W|T)~XTS Q, W, X, V c (Q~V|W)~XTS Q, W, X, X c W~X|Q~XTS Q, X, O, R c (Q~X{O)~RTS Q, X, O, S c (Q{O{S)~XTS Q, X, O, U c Q~O{X~UTS Q, X, O, W c (X{O)~(W|Q)TS Q, X, P, Q c (Q~X)~(P{Q)TS Q, X, P, R c Q~X~P~RTS Q, X, P, S c (Q~X)~(S|P)TS Q, X, P, T c (Q{X)~T|PTS Q, X, P, U c (Q|P)~(X~U)TS Q, X, P, V c (X|P)~V|QTS Q, X, P, W c (X~P)~(W|Q)TS Q, X, P, X c (Q{P)~(X{X)TS Q, X, Q, P c (Q~X)~(Q{P)TS Q, X, Q, Q c (Q{Q{Q)~XTS Q, X, Q, S c (Q~S|Q)~XTS Q, X, Q, T c (Q~X)~(T|Q)TS Q, X, Q, U c (Q{X|Q)~UTS Q, X, Q, V c X~(V|QQ)TS Q, X, Q, W c (Q{WQ)~XTS Q, X, Q, X c Q~(X{Q~X)TS Q, X, R, O c Q~X~R{OTS Q, X, R, P c Q~X~R~PTS Q, X, R, S c XQ~R~STS Q, X, R, T c X~(R|Q{T)TS Q, X, R, U c Q~(X{R~U)TS Q, X, R, V c (Q{X{V)~RTS Q, X, R, X c Q~XR~XTS Q, X, S, O c (Q{S)~(X{O)TS Q, X, S, P c (Q~X)~(S|P)TS Q, X, S, Q c (Q~S|Q)~XTS Q, X, S, R c XQ~S~RTS Q, X, S, S c Q{(X{S)~STS Q, X, S, T c (Q~T|S)~XTS Q, X, S, V c (Q~X)~(V|S)TS Q, X, S, W c (Q{W|S)~XTS Q, X, S, X c Q~X{S~XTS Q, X, T, P c (Q{X)~T|PTS Q, X, T, Q c (Q~X)~(T|Q)TS Q, X, T, R c X~(T|Q{R)TS Q, X, T, S c (Q~T|S)~XTS Q, X, T, V c Q{X~T{VTS Q, X, T, W c (Q~X)~(W|T)TS Q, X, T, X c (Q{X|T)~XTS Q, X, U, O c Q~O{X~UTS Q, X, U, P c (Q|P)~(X~U)TS Q, X, U, Q c Q{X~U|QTS Q, X, U, R c Q~(X{U~R)TS Q, X, U, U c Q~X{U~UTS Q, X, U, X c Q~(X|U)~XTS Q, X, V, P c X~(V|Q{P)TS Q, X, V, Q c X~(V|QQ)TS Q, X, V, R c (Q{X{V)~RTS Q, X, V, S c (Q~X)~(V|S)TS Q, X, V, T c Q{X~T{VTS Q, X, V, V c (Q{V)~V|XTS Q, X, V, W c (Q~V|W)~XTS Q, X, V, X c X{(V|Q)~XTS Q, X, W, O c X~(W|Q){OTS Q, X, W, P c X~(W|Q)~PTS Q, X, W, Q c (Q{WQ)~XTS Q, X, W, S c (Q{W|S)~XTS Q, X, W, T c (Q~X)~(W|T)TS Q, X, W, V c (Q~V|W)~XTS Q, X, W, X c X~W|Q~XTS Q, X, X, P c (Q{P)~(X{X)TS Q, X, X, Q c (Q~X{X)~QTS Q, X, X, R c Q~X~XRTS Q, X, X, S c Q~X{X~STS Q, X, X, T c (Q{X|T)~XTS Q, X, X, U c (Q~X|X)~UTS Q, X, X, V c X{X~(V|Q)TS Q, X, X, W c X~W|Q~XTS Q, X, X, X c Q~(X{X{X)TS R, O, Q, X c (R{O)~(Q~X)TS R, O, R, U c (R{O)~(R~U)TS R, O, R, X c (R{O{R)~XTS R, O, U, R c (R{O)~(U~R)TS R, O, U, U c (R{O{U)~UTS R, O, U, X c R~O{U~XTS R, O, X, Q c (R{O)~(X~Q)TS R, O, X, R c (R{O{R)~XTS R, O, X, U c R~O{X~UTS R, O, X, X c (R{O)~(X{X)TS R, P, P, X c R~(P{P)~XTS R, P, Q, U c R~(P{Q)~UTS R, P, Q, W c R~(P{W)~QTS R, P, Q, X c (R{P{Q)~XTS R, P, R, T c R~(P{T)~RTS R, P, R, U c R~P~R~UTS R, P, R, V c (R~R)~(V|P)TS R, P, R, W c (R{R)~(P{W)TS R, P, R, X c (R{P~R)~XTS R, P, S, U c R~(S|P)~UTS R, P, S, X c (R|P{S)~XTS R, P, T, R c R~(P{T)~RTS R, P, T, U c (R{P{T)~UTS R, P, T, W c (R{W)~T|PTS R, P, U, Q c R~(P{Q)~UTS R, P, U, R c R~P~U~RTS R, P, U, S c (R~U)~(S|P)TS R, P, U, T c (R{P{T)~UTS R, P, U, U c (R{P~U)~UTS R, P, U, V c (R|P{V)~UTS R, P, V, R c R~(V|P)~RTS R, P, V, U c (R|P{V)~UTS R, P, V, W c P{V~W|RTS R, P, W, Q c R~(P{W)~QTS R, P, W, R c (R{R)~(P{W)TS R, P, W, T c (R{W)~T|PTS R, P, W, V c P{W~V|RTS R, P, W, X c R~(P{W{X)TS R, P, X, P c R~(P{P)~XTS R, P, X, Q c R~P~X~QTS R, P, X, R c (R|P)~(X~R)TS R, P, X, S c (R|P{S)~XTS R, P, X, W c R~(P{X{W)TS R, P, X, X c (R~P)~(X{X)TS R, Q, O, X c (R~Q{O)~XTS R, Q, P, U c R~(Q{P)~UTS R, Q, P, W c (R~Q)~(P{W)TS R, Q, P, X c (R{Q{P)~XTS R, Q, Q, V c (R~Q)~(Q{V)TS R, Q, Q, W c R~(Q{Q~W)TS R, Q, R, R c R~Q~R~RTS R, Q, R, S c R~(Q{S)~RTS R, Q, R, U c (R{Q~R)~UTS R, Q, R, V c (R{R)~(Q{V)TS R, Q, R, W c (R{R~W)~QTS R, Q, S, R c R~(Q{S)~RTS R, Q, S, S c R~(Q{S~S)TS R, Q, S, T c (R~Q)~(S{T)TS R, Q, S, U c (R{Q{S)~UTS R, Q, S, V c R~(Q~V{S)TS R, Q, S, W c (R{S)~W|QTS R, Q, S, X c RQ~S~XTS R, Q, T, S c (R~Q)~(T{S)TS R, Q, T, U c R~(T|Q)~UTS R, Q, T, V c (R{T)~V|QTS R, Q, T, W c R~(Q~T{W)TS R, Q, T, X c (R|Q{T)~XTS R, Q, U, P c R~(Q{P)~UTS R, Q, U, R c (R~Q)~(U{R)TS R, Q, U, S c (R{Q{S)~UTS R, Q, U, T c (R~U)~(T|Q)TS R, Q, U, U c R~(Q~U{U)TS R, Q, U, V c (R~V{U)~QTS R, Q, U, W c R~Q{U~WTS R, Q, U, X c (R|Q)~(U~X)TS R, Q, V, Q c R~(Q{V)~QTS R, Q, V, R c (R{R)~(Q{V)TS R, Q, V, S c R~(Q~V{S)TS R, Q, V, T c (R{T)~V|QTS R, Q, V, U c (R~V{U)~QTS R, Q, V, V c R{Q{V~VTS R, Q, V, X c R~(Q{V{X)TS R, Q, W, P c (R~Q)~(W{P)TS R, Q, W, Q c R~(Q{W~Q)TS R, Q, W, R c R~(W|Q)~RTS R, Q, W, S c (R{S)~W|QTS R, Q, W, T c R~(Q~T{W)TS R, Q, W, U c (R|Q{W)~UTS R, Q, W, W c R~(Q{W{W)TS R, Q, X, O c R~Q~X{OTS R, Q, X, P c R~Q~X~PTS R, Q, X, S c RQ~X~STS R, Q, X, T c (R|Q{T)~XTS R, Q, X, U c (R|Q)~(X~U)TS R, Q, X, V c R~(Q{X{V)TS R, Q, X, X c (R{Q)~X{XTS R, R, O, U c (R~R{O)~UTS R, R, O, X c (R{R{O)~XTS R, R, P, T c (R~R)~(P{T)TS R, R, P, U c R~R~P~UTS R, R, P, V c (R~R)~(V|P)TS R, R, P, W c (R{R)~(P{W)TS R, R, P, X c (R{R)~(P~X)TS R, R, Q, R c R~R~Q~RTS R, R, Q, S c (R~R)~(Q{S)TS R, R, Q, U c (R{R~Q)~UTS R, R, Q, V c (R{R)~(Q{V)TS R, R, Q, W c (R{R~W)~QTS R, R, R, Q c R~R~R~QTS R, R, R, R c (R{R)~(R~R)TS R, R, R, T c R~(R{R~T)TS R, R, R, U c (R{R{R)~UTS R, R, R, V c R~(R~V|R)TS R, R, R, X c (R~R|R)~XTS R, R, S, Q c (R~R)~(S{Q)TS R, R, S, T c (R{R)~(S{T)TS R, R, S, U c R~(R~S{U)TS R, R, T, P c (R~R)~(T{P)TS R, R, T, R c (R{R~T)~RTS R, R, T, S c (R{R)~(T{S)TS R, R, T, X c R~R{T~XTS R, R, U, O c R~R~U{OTS R, R, U, P c R~R~U~PTS R, R, U, Q c R~(R{U)~QTS R, R, U, R c (R{R)~(U{R)TS R, R, U, S c R~(R~S{U)TS R, R, U, U c R~(U|R)~UTS R, R, U, W c R{R{U~WTS R, R, U, X c R|R{U~XTS R, R, V, P c (R~R)~(V|P)TS R, R, V, Q c (R{R)~(V{Q)TS R, R, V, R c R~(R~V|R)TS R, R, V, W c R~(R{V{W)TS R, R, V, X c R~R~V|XTS R, R, W, P c (R{R)~(W{P)TS R, R, W, Q c (R{R~W)~QTS R, R, W, U c R{R{W~UTS R, R, W, V c R~(R{W{V)TS R, R, W, X c R{R~(W{X)TS R, R, X, O c (R{R)~(X{O)TS R, R, X, P c (R{R)~(X~P)TS R, R, X, R c (R~R{X)~RTS R, R, X, T c R~R{X~TTS R, R, X, U c R|R{X~UTS R, R, X, V c R~R~V|XTS R, R, X, W c R{R~(X{W)TS R, R, X, X c R~(R~X|X)TS R, S, P, U c R~(S|P)~UTS R, S, P, X c (R{S|P)~XTS R, S, Q, R c R~(S{Q)~RTS R, S, Q, S c R~(S~S{Q)TS R, S, Q, T c R~(S{T)~QTS R, S, Q, U c (R{S{Q)~UTS R, S, Q, V c R~(S{Q~V)TS R, S, Q, W c (R{S)~W|QTS R, S, Q, X c R~(S|Q)~XTS R, S, R, Q c R~(S{Q)~RTS R, S, R, T c (R{R)~(S{T)TS R, S, R, U c (R~S|R)~UTS R, S, S, Q c R~(S~S{Q)TS R, S, S, U c R~S~S{UTS R, S, T, Q c R~(S{T)~QTS R, S, T, R c (R{R)~(S{T)TS R, S, T, U c R~S~T|UTS R, S, T, V c (R{S)~V{TTS R, S, T, X c R~(S{T{X)TS R, S, U, P c R~(S|P)~UTS R, S, U, Q c (R{S~U)~QTS R, S, U, R c (R~S{U)~RTS R, S, U, S c R~S~S{UTS R, S, U, T c R~S~T|UTS R, S, U, U c R~(S~U|U)TS R, S, U, V c R~S{U~VTS R, S, U, W c R~(S{U{W)TS R, S, U, X c (R~S|U)~XTS R, S, V, Q c R~(S{V~Q)TS R, S, V, T c (R{S)~V{TTS R, S, V, U c R~S{V~UTS R, S, V, V c R~(S{V{V)TS R, S, V, X c (R{V|S)~XTS R, S, W, Q c (R{S)~W|QTS R, S, W, U c R~(S{W{U)TS R, S, W, X c RS~W~XTS R, S, X, P c (R{S|P)~XTS R, S, X, Q c R~S~XQTS R, S, X, T c R~(S{X{T)TS R, S, X, U c (R~S|U)~XTS R, S, X, V c (R{V|S)~XTS R, S, X, W c RS~X~WTS R, S, X, X c (R{S)~X|XTS R, T, P, R c R~(T{P)~RTS R, T, P, U c (R{T{P)~UTS R, T, P, W c (R{W)~T|PTS R, T, Q, S c R~(T{S)~QTS R, T, Q, U c R~(T|Q)~UTS R, T, Q, V c (R{T)~V|QTS R, T, Q, W c R~(T~Q{W)TS R, T, Q, X c (R{T|Q)~XTS R, T, R, P c R~(T{P)~RTS R, T, R, R c (R{T~R)~RTS R, T, R, S c (R{R)~(T{S)TS R, T, R, X c R~(T|R)~XTS R, T, S, Q c R~(T{S)~QTS R, T, S, R c (R{R)~(T{S)TS R, T, S, U c R~T~S|UTS R, T, S, V c (R{S)~V{TTS R, T, S, X c R~(T{S{X)TS R, T, T, V c R~(T~T|V)TS R, T, T, W c R~(T{T{W)TS R, T, U, P c (R{T{P)~UTS R, T, U, Q c R~(T|Q)~UTS R, T, U, S c R~T~S|UTS R, T, U, U c (R{T)~U{UTS R, T, U, V c R~(T{U{V)TS R, T, U, W c (R~U)~(W|T)TS R, T, U, X c R{T~X{UTS R, T, V, Q c (R{T)~V|QTS R, T, V, S c (R{V)~T{STS R, T, V, T c R~(T~T|V)TS R, T, V, U c R~(T{V{U)TS R, T, V, W c R{V~W|TTS R, T, V, X c R~(V|T)~XTS R, T, W, P c (R{W)~T|PTS R, T, W, Q c R~(T~Q{W)TS R, T, W, T c R~(T{W{T)TS R, T, W, U c R~W{T~UTS R, T, W, V c R{W~V|TTS R, T, W, X c (R{W|T)~XTS R, T, X, Q c (R{T|Q)~XTS R, T, X, R c R~(T|R)~XTS R, T, X, S c R~(T{X{S)TS R, T, X, U c R{T~X{UTS R, T, X, V c (R~X)~(V|T)TS R, T, X, W c (R{W|T)~XTS R, T, X, X c (R~T|X)~XTS R, U, O, R c (R~U{O)~RTS R, U, O, U c (R{U{O)~UTS R, U, O, X c R~O{U~XTS R, U, P, Q c (R~U)~(P{Q)TS R, U, P, R c R~U~P~RTS R, U, P, S c (R~U)~(S|P)TS R, U, P, T c (R{U)~(P{T)TS R, U, P, U c (R{U)~(P~U)TS R, U, P, V c (R{U)~(V|P)TS R, U, Q, P c (R~U)~(Q{P)TS R, U, Q, R c (R{U)~(Q~R)TS R, U, Q, S c (R{U)~(Q{S)TS R, U, Q, T c (R~U)~(T|Q)TS R, U, Q, U c R~(U{Q~U)TS R, U, Q, V c (R~V{U)~QTS R, U, Q, W c (R{U)~(W|Q)TS R, U, Q, X c (R{UQ)~XTS R, U, R, O c R~U~R{OTS R, U, R, P c R~U~R~PTS R, U, R, Q c (R{U)~(R~Q)TS R, U, R, R c (R{U)~(R{R)TS R, U, R, S c R~(U{R~S)TS R, U, R, U c R~(U|R)~UTS R, U, R, W c R{U~W{RTS R, U, R, X c (R{U|R)~XTS R, U, S, P c (R~U)~(S|P)TS R, U, S, Q c (R{U)~(S{Q)TS R, U, S, R c R~(U{S~R)TS R, U, S, S c R~S~S{UTS R, U, S, T c R~S~T|UTS R, U, S, U c R~(U~S|U)TS R, U, S, V c (R~U)~(V|S)TS R, U, S, W c R~(U{S{W)TS R, U, S, X c R~U{S~XTS R, U, T, P c (R{U)~(T{P)TS R, U, T, Q c (R~U)~(T|Q)TS R, U, T, S c R~T~S|UTS R, U, T, U c (R{T)~U{UTS R, U, T, V c R~(U{T{V)TS R, U, T, W c (R~U)~(W|T)TS R, U, T, X c R{U{T~XTS R, U, U, O c (R{U)~(U{O)TS R, U, U, P c (R{U)~(U~P)TS R, U, U, Q c R~(U{U~Q)TS R, U, U, R c (R~U)~(U|R)TS R, U, U, S c R~(U~S|U)TS R, U, U, T c (R{T)~U{UTS R, U, U, U c R~(U{U{U)TS R, U, U, V c (R{V)~U|UTS R, U, U, X c (R~U|X)~UTS R, U, V, P c (R{U)~(V|P)TS R, U, V, Q c (R~V{U)~QTS R, U, V, S c (R~U)~(V|S)TS R, U, V, T c R~(U{V{T)TS R, U, V, U c (R{V)~U|UTS R, U, V, W c V~W|URTS R, U, V, X c R{U~V{XTS R, U, W, Q c (R{U)~(W|Q)TS R, U, W, R c R{U~W{RTS R, U, W, S c R~(U{W{S)TS R, U, W, T c (R~U)~(W|T)TS R, U, W, V c W~V|URTS R, U, W, W c R~(W{W){UTS R, U, W, X c R~(W|U)~XTS R, U, X, O c R~O{U~XTS R, U, X, Q c (R~U{X)~QTS R, U, X, R c (R{U{X)~RTS R, U, X, S c R~U{X~STS R, U, X, T c R{U{X~TTS R, U, X, U c (R~U|X)~UTS R, U, X, V c R{U~V{XTS R, U, X, W c (R~X)~(W|U)TS R, U, X, X c R~(U{X){XTS R, V, P, R c R~(V|P)~RTS R, V, P, U c (R{V|P)~UTS R, V, P, W c V~W|R{PTS R, V, Q, Q c R~(V{Q)~QTS R, V, Q, R c (R{R)~(V{Q)TS R, V, Q, S c R~(V~Q{S)TS R, V, Q, T c (R{T)~V|QTS R, V, Q, U c (R~V{U)~QTS R, V, Q, V c R{V~V{QTS R, V, Q, X c R~(V{Q{X)TS R, V, R, P c R~(V|P)~RTS R, V, R, Q c (R{R)~(V{Q)TS R, V, R, R c (R~V|R)~RTS R, V, R, W c R~(V{R{W)TS R, V, R, X c R~V~R|XTS R, V, S, Q c R~(V~Q{S)TS R, V, S, T c (R{V)~T{STS R, V, S, U c R~(V|S)~UTS R, V, S, V c R~(V{S{V)TS R, V, S, X c (R{V|S)~XTS R, V, T, Q c (R{T)~V|QTS R, V, T, S c (R{V)~T{STS R, V, T, T c R~(T~T|V)TS R, V, T, U c R~(V{T{U)TS R, V, T, W c R{V~W|TTS R, V, T, X c R~(V|T)~XTS R, V, U, P c (R{V|P)~UTS R, V, U, Q c (R~V{U)~QTS R, V, U, S c R~(V|S)~UTS R, V, U, T c R~(V{U{T)TS R, V, U, U c (R{V)~U|UTS R, V, U, W c V~W|URTS R, V, U, X c R{V~U{XTS R, V, V, Q c R{V~V{QTS R, V, V, S c R~(V{V{S)TS R, V, V, W c V~V|R{WTS R, V, W, P c V~W|R{PTS R, V, W, R c (R{V{W)~RTS R, V, W, T c R{V~W|TTS R, V, W, U c V~W|URTS R, V, W, V c V~V|R{WTS R, V, W, W c (W~W)|(R{V)TS R, V, W, X c R~(V{W){XTS R, V, X, Q c R~(V{X{Q)TS R, V, X, R c R~V~R|XTS R, V, X, S c (R{V|S)~XTS R, V, X, T c R~(V|T)~XTS R, V, X, U c R~(V{X){UTS R, V, X, W c R~(V{W){XTS R, V, X, X c R~(X|V)~XTS R, W, P, Q c R~(W{P)~QTS R, W, P, R c (R{R)~(W{P)TS R, W, P, T c (R{W)~T|PTS R, W, P, V c W~V|R{PTS R, W, P, X c R~(W{P{X)TS R, W, Q, P c R~(W{P)~QTS R, W, Q, Q c R~(W~Q{Q)TS R, W, Q, R c R~(W|Q)~RTS R, W, Q, S c (R{S)~W|QTS R, W, Q, T c R~(W{Q~T)TS R, W, Q, U c (R{W|Q)~UTS R, W, Q, W c R~(W{Q{W)TS R, W, R, P c (R{R)~(W{P)TS R, W, R, Q c (R{W~R)~QTS R, W, R, U c R~(W~R|U)TS R, W, R, V c R~(W{R{V)TS R, W, R, X c R{(W{X)~RTS R, W, S, Q c (R{S)~W|QTS R, W, S, U c R~(W{S{U)TS R, W, S, X c R~WS~XTS R, W, T, P c (R{W)~T|PTS R, W, T, Q c R~(W{T~Q)TS R, W, T, T c R~(W{T{T)TS R, W, T, U c R~W{T~UTS R, W, T, V c R{W~V|TTS R, W, T, X c (R{W|T)~XTS R, W, U, Q c (R{W|Q)~UTS R, W, U, R c R{W~U{RTS R, W, U, S c R~(W{U{S)TS R, W, U, T c R~W{U~TTS R, W, U, V c W~V|URTS R, W, U, W c R~(W{W){UTS R, W, U, X c R~(W|U)~XTS R, W, V, P c W~V|R{PTS R, W, V, R c (R{W{V)~RTS R, W, V, T c R{W~V|TTS R, W, V, U c W~V|URTS R, W, V, V c W|R{V~VTS R, W, V, W c (W~W)|(R{V)TS R, W, V, X c R~(W{V){XTS R, W, W, Q c R~(W{W{Q)TS R, W, W, U c R~(W{W){UTS R, W, W, V c (W~W)|(R{V)TS R, W, X, P c R~(W{X{P)TS R, W, X, R c R{(W{X)~RTS R, W, X, S c R~W~XSTS R, W, X, T c (R{W|T)~XTS R, W, X, U c R~(W|U)~XTS R, W, X, V c R~(W{V){XTS R, W, X, X c (W|R)~X{XTS R, X, O, Q c (R~X{O)~QTS R, X, O, R c (R{O{R)~XTS R, X, O, U c R~O{X~UTS R, X, O, X c R~(X{O{X)TS R, X, P, P c (R~X)~(P{P)TS R, X, P, Q c R~X~P~QTS R, X, P, R c (R~X)~(R|P)TS R, X, P, S c (R|P{S)~XTS R, X, P, W c R~(X{P{W)TS R, X, P, X c R~(X{P~X)TS R, X, Q, O c R~X~Q{OTS R, X, Q, P c R~X~Q~PTS R, X, Q, S c R~XQ~STS R, X, Q, T c (R|Q{T)~XTS R, X, Q, U c (R|Q)~(X~U)TS R, X, Q, V c R~(X{Q{V)TS R, X, Q, X c (R{X)Q~XTS R, X, R, O c (R{R)~(X{O)TS R, X, R, P c (R~X)~(R|P)TS R, X, R, R c R~(X{R~R)TS R, X, R, T c (R~X)~(T|R)TS R, X, R, U c (R{X|R)~UTS R, X, R, V c R~R~V|XTS R, X, R, W c R{(X{W)~RTS R, X, R, X c (R{XR)~XTS R, X, S, P c (R{S|P)~XTS R, X, S, Q c (R~X)~(S|Q)TS R, X, S, T c R~(X{S{T)TS R, X, S, U c (R{X)~S{UTS R, X, S, V c (R{V|S)~XTS R, X, S, W c R~XS~WTS R, X, S, X c (R{S)~X|XTS R, X, T, Q c (R{T|Q)~XTS R, X, T, R c (R~X)~(T|R)TS R, X, T, S c R~(X{T{S)TS R, X, T, U c R{X~T{UTS R, X, T, V c (R~X)~(V|T)TS R, X, T, W c (R{W|T)~XTS R, X, T, X c (R~T|X)~XTS R, X, U, O c R~O{X~UTS R, X, U, Q c (R~U{X)~QTS R, X, U, R c (R{X{U)~RTS R, X, U, S c (R~X)~(U|S)TS R, X, U, T c R{X~T{UTS R, X, U, U c R~(X|U)~UTS R, X, U, V c R{X{U~VTS R, X, U, W c (R~X)~(W|U)TS R, X, U, X c (R{X|U)~XTS R, X, V, Q c R~(X{V{Q)TS R, X, V, R c R~V~R|XTS R, X, V, S c (R{V|S)~XTS R, X, V, T c (R~X)~(V|T)TS R, X, V, U c R{X{V~UTS R, X, V, W c R~(V{W){XTS R, X, V, X c R~(X|V)~XTS R, X, W, P c R~(X{W{P)TS R, X, W, R c R{(X{W)~RTS R, X, W, S c R~X~WSTS R, X, W, T c (R{W|T)~XTS R, X, W, U c (R~X)~(W|U)TS R, X, W, V c R~(W{V){XTS R, X, W, X c X{(W|R)~XTS R, X, X, O c R~(X{X){OTS R, X, X, P c R~(X{X)~PTS R, X, X, Q c (R{X)~(XQ)TS R, X, X, R c R~X{X~RTS R, X, X, S c (R{S)~X|XTS R, X, X, T c (R~T|X)~XTS R, X, X, U c (R{X|U)~XTS R, X, X, V c (R~X)~(X|V)TS R, X, X, W c X{X~(W|R)TS R, X, X, X c (XR)~(X{X)TS S, O, Q, X c (S{O{Q)~XTS S, O, T, U c (S{O{T)~UTS S, O, U, T c (S{O{T)~UTS S, O, U, X c S~O{U~XTS S, O, X, Q c (S{O{Q)~XTS S, O, X, U c S~O{X~UTS S, P, P, X c (S{P{P)~XTS S, P, Q, U c (S~Q{P)~UTS S, P, Q, V c (S~V|P)~QTS S, P, Q, W c (S{Q)~(P{W)TS S, P, Q, X c (S{P~Q)~XTS S, P, R, U c (S|P)~(R~U)TS S, P, R, X c (S|P{R)~XTS S, P, S, U c (S{P{S)~UTS S, P, T, T c (S{T)~(P{T)TS S, P, T, U c (S{P~T)~UTS S, P, T, V c (S{T)~(V|P)TS S, P, T, X c S{(P{X)~TTS S, P, U, Q c (S~Q{P)~UTS S, P, U, R c (S|P)~(U~R)TS S, P, U, S c (S{P{S)~UTS S, P, U, T c (S{P~T)~UTS S, P, U, U c (S|P{U)~UTS S, P, V, Q c (S~V|P)~QTS S, P, V, T c (S{V)~T|PTS S, P, V, V c S{P{V~VTS S, P, V, W c (V|PS)~WTS S, P, W, Q c (S{Q)~(P{W)TS S, P, W, V c W~(V|PS)TS S, P, X, P c (S{P{P)~XTS S, P, X, Q c (S|P)~(X~Q)TS S, P, X, R c (S|P{R)~XTS S, P, X, T c S{(P{X)~TTS S, P, X, X c (S{P)~X{XTS S, Q, O, X c (S{Q{O)~XTS S, Q, P, U c (S~Q{P)~UTS S, Q, P, V c (S~V|P)~QTS S, Q, P, W c (S{Q)~(P{W)TS S, Q, P, X c (S{Q)~(P~X)TS S, Q, Q, V c (S{Q)~(Q{V)TS S, Q, Q, X c (S~Q|Q)~XTS S, Q, R, R c (S{Q)~(R~R)TS S, Q, R, S c (S~S{Q)~RTS S, Q, R, T c (S{T)~(Q~R)TS S, Q, R, U c (S{Q{R)~UTS S, Q, R, V c (S{Q~V)~RTS S, Q, R, W c (S{R)~W|QTS S, Q, R, X c (S|Q)~(R~X)TS S, Q, S, R c (S~S{Q)~RTS S, Q, S, T c (S{Q)~(S{T)TS S, Q, S, V c (S{S)~V|QTS S, Q, S, X c (S|Q{S)~XTS S, Q, T, R c (S{T)~(Q~R)TS S, Q, T, S c (S{Q)~(T{S)TS S, Q, T, T c S{Q~T~TTS S, Q, T, V c (S~T{V)~QTS S, Q, T, W c S{(Q{W)~TTS S, Q, T, X c S~(T{X)|QTS S, Q, U, P c (S~Q{P)~UTS S, Q, U, R c (S{Q)~(U{R)TS S, Q, U, U c S~Q~U{UTS S, Q, U, V c (S|Q{V)~UTS S, Q, U, W c S{Q{U~WTS S, Q, V, P c (S~V|P)~QTS S, Q, V, Q c (S{Q)~(V{Q)TS S, Q, V, R c (S{Q~V)~RTS S, Q, V, S c (S{S)~V|QTS S, Q, V, T c (S~T{V)~QTS S, Q, V, U c (S|Q{V)~UTS S, Q, V, V c S~(V{V)|QTS S, Q, V, W c Q{V~W|STS S, Q, V, X c Q~(V|S)~XTS S, Q, W, P c (S{Q)~(W{P)TS S, Q, W, R c (S{R)~W|QTS S, Q, W, T c S{(Q{W)~TTS S, Q, W, U c S{Q{W~UTS S, Q, W, V c Q{W~V|STS S, Q, W, X c (S{W)Q~XTS S, Q, X, O c (S{Q)~(X{O)TS S, Q, X, P c (S{Q)~(X~P)TS S, Q, X, Q c (S~Q|Q)~XTS S, Q, X, R c (S|Q)~(X~R)TS S, Q, X, S c (S|Q{S)~XTS S, Q, X, T c S~(X{T)|QTS S, Q, X, V c (Q~X)~(V|S)TS S, Q, X, W c (S{W)Q~XTS S, Q, X, X c S~X{Q~XTS S, R, P, U c (S|P)~(R~U)TS S, R, P, X c (S{R|P)~XTS S, R, Q, R c (S{Q)~(R~R)TS S, R, Q, S c (S~S{Q)~RTS S, R, Q, T c (S{T)~(R~Q)TS S, R, Q, U c (S{R{Q)~UTS S, R, Q, V c (S{Q~V)~RTS S, R, Q, W c (S{R)~W|QTS S, R, Q, X c S~RQ~XTS S, R, R, Q c (S{Q)~(R~R)TS S, R, R, T c (S{T)~(R{R)TS S, R, R, U c (S~R|R)~UTS S, R, S, Q c (S~S{Q)~RTS S, R, S, U c S~R~S{UTS S, R, T, Q c (S{T)~(R~Q)TS S, R, T, R c (S{T)~(R{R)TS S, R, T, U c S~R~T|UTS S, R, T, V c S{(R{V)~TTS S, R, T, X c (S|R{T)~XTS S, R, U, P c (S|P)~(R~U)TS S, R, U, Q c (S{R{Q)~UTS S, R, U, R c (S~R{U)~RTS S, R, U, S c S~R~S{UTS S, R, U, T c S~R~T|UTS S, R, U, U c (S~U|U)~RTS S, R, U, V c S~R{U~VTS S, R, U, W c (S|R{W)~UTS S, R, U, X c (S|R)~(U~X)TS S, R, V, Q c (S{V~Q)~RTS S, R, V, T c S{(R{V)~TTS S, R, V, U c S~R{V~UTS S, R, V, V c (S{V{V)~RTS S, R, V, X c (R{V|S)~XTS S, R, W, Q c (S{R)~W|QTS S, R, W, U c (S|R{W)~UTS S, R, W, X c RS~W~XTS S, R, X, P c (S{R|P)~XTS S, R, X, Q c S~R~XQTS S, R, X, T c (S|R{T)~XTS S, R, X, U c (S|R)~(X~U)TS S, R, X, V c (R{V|S)~XTS S, R, X, W c RS~X~WTS S, R, X, X c (S{R)~X|XTS S, S, P, U c (S{S{P)~UTS S, S, Q, R c (S~S{Q)~RTS S, S, Q, T c (S{Q)~(S{T)TS S, S, Q, V c (S{S)~V|QTS S, S, Q, X c (S{S|Q)~XTS S, S, R, Q c (S~S{Q)~RTS S, S, R, U c S~S~R{UTS S, S, T, Q c (S{T)~(S{Q)TS S, S, T, U c S{(S{U)~TTS S, S, T, X c (SS{T)~XTS S, S, U, P c (S{S{P)~UTS S, S, U, R c S~S~R{UTS S, S, U, T c S{(S{U)~TTS S, S, U, U c (S{S)~U{UTS S, S, U, V c (S~S|V)~UTS S, S, U, W c S~(S{W){UTS S, S, U, X c S|S{U~XTS S, S, V, Q c (S{S)~V|QTS S, S, V, U c (S~S|V)~UTS S, S, V, X c (V|SS)~XTS S, S, W, U c S~(S{W){UTS S, S, W, X c (S{WS)~XTS S, S, X, Q c S~(S{X){QTS S, S, X, T c (SS{T)~XTS S, S, X, U c S|S{X~UTS S, S, X, V c X~(V|SS)TS S, S, X, W c (S{WS)~XTS S, T, O, U c (S{T{O)~UTS S, T, P, T c (S{T)~(P{T)TS S, T, P, U c (S{T)~(P~U)TS S, T, P, V c (S{T)~(V|P)TS S, T, P, X c S{T~(P{X)TS S, T, Q, R c (S{T)~(Q~R)TS S, T, Q, S c (S{T)~(Q{S)TS S, T, Q, T c S{T~Q~TTS S, T, Q, V c (S~T{V)~QTS S, T, Q, W c S{T~(Q{W)TS S, T, Q, X c S~(T{X)|QTS S, T, R, Q c (S{T)~(R~Q)TS S, T, R, R c (S{T)~(R{R)TS S, T, R, U c S~T~R|UTS S, T, R, V c S{T~(R{V)TS S, T, R, X c (S{T|R)~XTS S, T, S, Q c (S{T)~(S{Q)TS S, T, S, U c S{T~(S{U)TS S, T, S, X c (SS{T)~XTS S, T, T, P c (S{T)~(T{P)TS S, T, T, Q c S{T~T~QTS S, T, T, T c S{(T{T)~TTS S, T, T, X c S{T{T~XTS S, T, U, O c (S{T)~(U{O)TS S, T, U, P c (S{T)~(U~P)TS S, T, U, R c S~T~R|UTS S, T, U, S c S{T~(U{S)TS S, T, U, U c S~U{T~UTS S, T, U, V c S~(T{V){UTS S, T, U, W c (S{W)~T|UTS S, T, U, X c (T|S)~(U~X)TS S, T, V, P c (S{T)~(V|P)TS S, T, V, Q c (S~T{V)~QTS S, T, V, R c S{T~(V{R)TS S, T, V, U c S~(T{V){UTS S, T, V, W c (T{VS)~WTS S, T, V, X c (S{T)~V|XTS S, T, W, Q c S{T~(W{Q)TS S, T, W, U c (S{W)~T|UTS S, T, W, V c (T{VS)~WTS S, T, W, W c (W|TS)~WTS S, T, X, P c S{T~(X{P)TS S, T, X, Q c S~(T{X)|QTS S, T, X, R c (S{T{X)~RTS S, T, X, S c (SS{T)~XTS S, T, X, T c S{T{X~TTS S, T, X, U c (T|S)~(X~U)TS S, T, X, V c (S{T)~V|XTS S, U, O, T c (S{O{T)~UTS S, U, O, X c S~O{U~XTS S, U, P, Q c (S~Q{P)~UTS S, U, P, R c (S|P)~(U~R)TS S, U, P, S c (S{P{S)~UTS S, U, P, T c (S{P~T)~UTS S, U, P, U c (S{U|P)~UTS S, U, Q, P c (S~Q{P)~UTS S, U, Q, R c (S~U{R)~QTS S, U, Q, U c S~U~Q{UTS S, U, Q, V c S~(U{V){QTS S, U, Q, W c S{U~W{QTS S, U, R, P c (S|P)~(U~R)TS S, U, R, Q c (S~U{R)~QTS S, U, R, R c (S~R{U)~RTS S, U, R, S c S~R~S{UTS S, U, R, T c S~R~T|UTS S, U, R, U c (S~U|U)~RTS S, U, R, V c S~R{U~VTS S, U, R, W c (S{U{W)~RTS S, U, R, X c (S{UR)~XTS S, U, S, P c (S{S{P)~UTS S, U, S, R c S~S~R{UTS S, U, S, T c S{(U{S)~TTS S, U, S, U c (S{S)~U{UTS S, U, S, V c (S~S|V)~UTS S, U, S, W c S~(S{W){UTS S, U, S, X c (S{U|S)~XTS S, U, T, O c (S{T)~(U{O)TS S, U, T, P c (S{T)~(U~P)TS S, U, T, R c S~T~R|UTS S, U, T, S c (S{U)~T{STS S, U, T, U c S~U{T~UTS S, U, T, V c S~(T{V){UTS S, U, T, W c (S{W)~T|UTS S, U, T, X c U~(T|S)~XTS S, U, U, P c (S{U|P)~UTS S, U, U, Q c S~U~Q{UTS S, U, U, R c (S~U|U)~RTS S, U, U, S c (S{S)~U{UTS S, U, U, T c S~U{U~TTS S, U, U, U c (S{U)~U|UTS S, U, U, V c (U|S{V)~UTS S, U, U, X c S~(U{X)|UTS S, U, V, Q c S~(U{V){QTS S, U, V, R c S~R{U~VTS S, U, V, S c (S~S|V)~UTS S, U, V, T c S~(V{T){UTS S, U, V, U c (U|S{V)~UTS S, U, V, W c S{U~V{WTS S, U, W, Q c S{U~W{QTS S, U, W, R c (S{U{W)~RTS S, U, W, S c (S{W)~S{UTS S, U, W, T c (S{W)~T|UTS S, U, W, V c S{U~V{WTS S, U, W, W c (W~W)|(S{U)TS S, U, W, X c (S{W|U)~XTS S, U, X, O c S~O{U~XTS S, U, X, R c (S{UR)~XTS S, U, X, S c S{U~X|STS S, U, X, T c (U~X)~(T|S)TS S, U, X, U c S~(U{X)|UTS S, U, X, W c (S{W|U)~XTS S, U, X, X c SU~X~XTS S, V, P, Q c (S~V|P)~QTS S, V, P, T c (S{V)~T|PTS S, V, P, V c S{V~V{PTS S, V, P, W c (V|PS)~WTS S, V, Q, P c (S~V|P)~QTS S, V, Q, Q c S~V~Q|QTS S, V, Q, R c (S{V~Q)~RTS S, V, Q, S c (S{S)~V|QTS S, V, Q, T c (S~T{V)~QTS S, V, Q, U c (S{V|Q)~UTS S, V, Q, V c S~(V{V)|QTS S, V, Q, W c V~W|S{QTS S, V, Q, X c (V|S)~(Q~X)TS S, V, R, Q c (S{V~Q)~RTS S, V, R, T c S{(V{R)~TTS S, V, R, U c S~R{V~UTS S, V, R, V c (S{V{V)~RTS S, V, R, X c (V|S{R)~XTS S, V, S, Q c (S{S)~V|QTS S, V, S, U c (S~S|V)~UTS S, V, S, X c (V|SS)~XTS S, V, T, P c (S{V)~T|PTS S, V, T, Q c (S~T{V)~QTS S, V, T, R c S{(V{R)~TTS S, V, T, U c S~(V{T){UTS S, V, T, W c (VS{T)~WTS S, V, T, X c (S{V|T)~XTS S, V, U, Q c S~(V{U){QTS S, V, U, R c S~R{V~UTS S, V, U, S c (S~S|V)~UTS S, V, U, T c S~(V{T){UTS S, V, U, U c (V|S{U)~UTS S, V, U, W c S{V~U{WTS S, V, V, P c S{V~V{PTS S, V, V, Q c S~(V{V)|QTS S, V, V, R c (S{V{V)~RTS S, V, V, X c V~V|S{XTS S, V, W, P c (V|PS)~WTS S, V, W, Q c V~W|S{QTS S, V, W, T c (VS{T)~WTS S, V, W, U c S{V~W|UTS S, V, W, W c V~W|WSTS S, V, X, Q c (V|S)~(X~Q)TS S, V, X, R c (V|S{R)~XTS S, V, X, S c (V|SS)~XTS S, V, X, T c (S{V|T)~XTS S, V, X, V c V~V|S{XTS S, V, X, X c (S{X|V)~XTS S, W, P, Q c (S{Q)~(W{P)TS S, W, P, V c W~(V|PS)TS S, W, Q, P c (S{Q)~(W{P)TS S, W, Q, R c (S{R)~W|QTS S, W, Q, T c S{(W{Q)~TTS S, W, Q, U c S{W~U{QTS S, W, Q, V c W~V|S{QTS S, W, Q, X c (S{W)Q~XTS S, W, R, Q c (S{R)~W|QTS S, W, R, U c (S{W|R)~UTS S, W, R, X c WS~R~XTS S, W, S, U c (S{W)~S{UTS S, W, S, X c (S{WS)~XTS S, W, T, Q c S~(W{T){QTS S, W, T, U c (S{W)~T|UTS S, W, T, V c W~(T{VS)TS S, W, T, W c (W|TS)~WTS S, W, U, Q c S{W~U{QTS S, W, U, R c (S{W{U)~RTS S, W, U, S c (S{W)~S{UTS S, W, U, T c (S{W)~T|UTS S, W, U, V c S{W{U~VTS S, W, U, W c (W~W)|(S{U)TS S, W, U, X c (S{W|U)~XTS S, W, V, P c W~(V|PS)TS S, W, V, Q c W~V|S{QTS S, W, V, T c W~(VS{T)TS S, W, V, U c S{W{V~UTS S, W, V, W c W~V|WSTS S, W, W, T c W~(W|TS)TS S, W, W, U c (W~W)|(S{U)TS S, W, W, V c W~V|WSTS S, W, W, X c (W|WS)~XTS S, W, X, Q c (S{W)~(XQ)TS S, W, X, R c WS~X~RTS S, W, X, S c (S{WS)~XTS S, W, X, U c (S{W|U)~XTS S, W, X, W c (W|WS)~XTS S, W, X, X c W~(X|XS)TS S, X, O, Q c (S{O{Q)~XTS S, X, O, U c S~O{X~UTS S, X, P, P c (S{P{P)~XTS S, X, P, Q c (S|P)~(X~Q)TS S, X, P, R c (S|P{R)~XTS S, X, P, T c S{(X{P)~TTS S, X, P, X c (S{P)~X{XTS S, X, Q, O c (S{Q)~(X{O)TS S, X, Q, P c (S{Q)~(X~P)TS S, X, Q, Q c (S~Q|Q)~XTS S, X, Q, R c S~XQ~RTS S, X, Q, S c (S{X)~S{QTS S, X, Q, T c S~(X{T)|QTS S, X, Q, V c (X~Q)~(V|S)TS S, X, Q, W c (S{W)~(XQ)TS S, X, Q, X c S~X{Q~XTS S, X, R, P c (S{R|P)~XTS S, X, R, Q c S~X~RQTS S, X, R, T c (S{X{T)~RTS S, X, R, U c S~(X{R){UTS S, X, R, V c X~(R{V|S)TS S, X, R, W c XS~R~WTS S, X, R, X c (S{R)~X|XTS S, X, S, Q c (S{X)~S{QTS S, X, S, T c (SS{T)~XTS S, X, S, U c (S{X|S)~UTS S, X, S, V c X~(V|SS)TS S, X, S, W c (S{WS)~XTS S, X, T, P c S{(X{P)~TTS S, X, T, Q c S~(X{T)|QTS S, X, T, R c (S{X{T)~RTS S, X, T, S c (SS{T)~XTS S, X, T, T c S{X~T{TTS S, X, T, U c X~(T|S)~UTS S, X, T, V c (S{T)~V|XTS S, X, U, O c S~O{X~UTS S, X, U, R c S~X{U~RTS S, X, U, S c S{X~U|STS S, X, U, T c (X~U)~(T|S)TS S, X, U, U c S~(X{U)|UTS S, X, U, W c (S{W|U)~XTS S, X, U, X c S~XU~XTS S, X, V, Q c X~(V|S)~QTS S, X, V, R c X~(V|S{R)TS S, X, V, S c X~(V|SS)TS S, X, V, T c (S{V|T)~XTS S, X, V, V c X|S{V~VTS S, X, V, X c (S{X|V)~XTS S, X, W, Q c (S{W)~(XQ)TS S, X, W, R c XS~W~RTS S, X, W, S c (S{WS)~XTS S, X, W, U c (S{W|U)~XTS S, X, W, W c X~(W|WS)TS S, X, W, X c (X|XS)~WTS S, X, X, P c (S{P)~X{XTS S, X, X, Q c S~X{X~QTS S, X, X, R c (S{R)~X|XTS S, X, X, U c S~X~XUTS S, X, X, V c (S{X|V)~XTS S, X, X, W c (X|XS)~WTS S, X, X, X c S~X{X{XTS T, O, P, X c (T{O{P)~XTS T, O, S, U c (T{O{S)~UTS T, O, U, S c (T{O{S)~UTS T, O, U, X c T~O{U~XTS T, O, V, V c T{O{V~VTS T, O, X, P c (T{O{P)~XTS T, O, X, U c T~O{X~UTS T, O, X, X c (T{O)~X{XTS T, P, O, X c (T{P{O)~XTS T, P, P, W c (T{P)~(P{W)TS T, P, P, X c (T{P)~(P~X)TS T, P, Q, U c (T~Q|P)~UTS T, P, Q, V c (T{P)~(Q{V)TS T, P, Q, X c (T|P{Q)~XTS T, P, R, R c (T{P)~(R~R)TS T, P, R, U c (T{P{R)~UTS T, P, R, W c T~(R{W)|PTS T, P, S, T c (T{P)~(S{T)TS T, P, S, U c (T{P~S)~UTS T, P, S, V c (T{S)~(V|P)TS T, P, S, X c T~(P{X){STS T, P, T, S c (T{P)~(T{S)TS T, P, T, U c (T|P{T)~UTS T, P, U, Q c (T~Q|P)~UTS T, P, U, R c (T{P)~(U{R)TS T, P, U, S c (T{P~S)~UTS T, P, U, T c (T|P{T)~UTS T, P, U, V c T{(P{U)~VTS T, P, U, W c T{P{U~WTS T, P, U, X c X(P|TU)TS T, P, V, Q c (T{P)~(V{Q)TS T, P, V, S c T~(V{S)|PTS T, P, V, U c T{(P{U)~VTS T, P, V, V c T{P~V~VTS T, P, V, W c T{V~(W|P)TS T, P, W, P c (T{P)~(W{P)TS T, P, W, R c T~(W{R)|PTS T, P, W, U c T{P{W~UTS T, P, W, V c T{(W|P)~VTS T, P, W, X c T~(P{W){XTS T, P, X, O c (T{P)~(X{O)TS T, P, X, P c (T{P)~(X~P)TS T, P, X, Q c (T|P{Q)~XTS T, P, X, S c T~(P{X){STS T, P, X, U c X(P|TU)TS T, P, X, W c T~(P{W){XTS T, P, X, X c T~P~X{XTS T, Q, P, U c (T~Q|P)~UTS T, Q, P, V c (T{P)~(Q{V)TS T, Q, P, X c (T{Q|P)~XTS T, Q, Q, T c (T~T{Q)~QTS T, Q, Q, U c (T{Q{Q)~UTS T, Q, Q, W c (T{Q)~W|QTS T, Q, Q, X c (T{QQ)~XTS T, Q, R, S c (T{S)~(Q~R)TS T, Q, R, U c (T|Q)~(R~U)TS T, Q, R, V c (T{R)~V|QTS T, Q, R, W c (T~Q{W)~RTS T, Q, R, X c (T|Q{R)~XTS T, Q, S, R c (T{S)~(Q~R)TS T, Q, S, S c (T{S)~(Q{S)TS T, Q, S, T c T~Q~T{STS T, Q, S, V c (T~S{V)~QTS T, Q, S, W c T~(Q{W){STS T, Q, S, X c (T~Q|S)~XTS T, Q, T, Q c (T~T{Q)~QTS T, Q, T, S c T~Q~T{STS T, Q, T, V c T{(Q{T)~VTS T, Q, U, P c (T~Q|P)~UTS T, Q, U, Q c (T{Q{Q)~UTS T, Q, U, R c (T|Q)~(U~R)TS T, Q, U, U c (T|Q{U)~UTS T, Q, U, V c (Q~V|T)~UTS T, Q, U, W c (T{WQ)~UTS T, Q, V, P c (T{P)~(Q{V)TS T, Q, V, R c (T{R)~V|QTS T, Q, V, S c (T~S{V)~QTS T, Q, V, T c (T{Q)~V{TTS T, Q, V, U c (Q~V|T)~UTS T, Q, V, W c (T~V|W)~QTS T, Q, V, X c T~(Q{V){XTS T, Q, W, Q c (T{Q)~W|QTS T, Q, W, R c (T~Q{W)~RTS T, Q, W, S c T~(Q{W){STS T, Q, W, U c (T{WQ)~UTS T, Q, W, V c T~W{Q~VTS T, Q, W, W c W~W|T~QTS T, Q, W, X c Q~(W|T)~XTS T, Q, X, P c T~(Q{X)|PTS T, Q, X, Q c (T|Q)~(X~Q)TS T, Q, X, R c (T|Q{R)~XTS T, Q, X, S c (T~Q|S)~XTS T, Q, X, V c T~(Q{V){XTS T, Q, X, W c (Q~X)~(W|T)TS T, Q, X, X c (T{Q)~X|XTS T, R, P, R c (T{P)~(R~R)TS T, R, P, U c (T{R{P)~UTS T, R, P, W c T~(R{W)|PTS T, R, Q, S c (T{S)~(R~Q)TS T, R, Q, U c (T|Q)~(R~U)TS T, R, Q, V c (T{R)~V|QTS T, R, Q, W c (T~Q{W)~RTS T, R, Q, X c (T{R|Q)~XTS T, R, R, P c (T{P)~(R~R)TS T, R, R, R c (T~R{R)~RTS T, R, R, S c (T{S)~(R{R)TS T, R, R, X c (T{RR)~XTS T, R, S, Q c (T{S)~(R~Q)TS T, R, S, R c (T{S)~(R{R)TS T, R, S, U c T~R~S|UTS T, R, S, V c T{(R{S)~VTS T, R, S, X c (T|R{S)~XTS T, R, T, V c (T~T|V)~RTS T, R, T, W c (T{T{W)~RTS T, R, U, P c (T{R{P)~UTS T, R, U, Q c (T~U|R)~QTS T, R, U, S c T~R~S|UTS T, R, U, U c (T{R)~U{UTS T, R, U, V c (T|R{V)~UTS T, R, U, W c T~U{R~WTS T, R, U, X c T~(R{U){XTS T, R, V, Q c (T{R)~V|QTS T, R, V, S c T~(R{V){STS T, R, V, T c (T~T|V)~RTS T, R, V, U c (T|R{V)~UTS T, R, V, W c R{V~W|TTS T, R, V, X c R~(V|T)~XTS T, R, W, P c T~(R{W)|PTS T, R, W, Q c (T~Q{W)~RTS T, R, W, T c (T{W{T)~RTS T, R, W, U c T~U{R~WTS T, R, W, V c R{W~V|TTS T, R, W, X c (R{W|T)~XTS T, R, X, Q c (T{R|Q)~XTS T, R, X, R c (T|R)~(X~R)TS T, R, X, S c (T|R{S)~XTS T, R, X, U c T~(R{X)|UTS T, R, X, V c (R~X)~(V|T)TS T, R, X, W c (R{W|T)~XTS T, R, X, X c (T~R|X)~XTS T, S, O, U c (T{S{O)~UTS T, S, P, T c (T{S)~(P{T)TS T, S, P, U c (T{S)~(P~U)TS T, S, P, V c (T{S)~(V|P)TS T, S, P, X c T~(P{X){STS T, S, Q, R c (T{S)~(Q~R)TS T, S, Q, S c (T{S)~(Q{S)TS T, S, Q, T c T~Q~T{STS T, S, Q, V c (T~S{V)~QTS T, S, Q, W c (T{S)~(W|Q)TS T, S, Q, X c (T~Q|S)~XTS T, S, R, Q c (T{S)~(R~Q)TS T, S, R, R c (T{S)~(R{R)TS T, S, R, U c T~S~R|UTS T, S, R, V c T{(S{R)~VTS T, S, R, X c (T{S|R)~XTS T, S, S, Q c (T{S)~(S{Q)TS T, S, S, U c T~(S{U){STS T, S, S, X c (T{SS)~XTS T, S, T, P c (T{S)~(T{P)TS T, S, T, Q c T~T~Q{STS T, S, T, T c (T{T)~T{STS T, S, T, X c T{S{T~XTS T, S, U, O c (T{S)~(U{O)TS T, S, U, P c (T{S)~(U~P)TS T, S, U, R c T~S~R|UTS T, S, U, S c T~(S{U){STS T, S, U, U c T~U{S~UTS T, S, U, V c (T{V)~S{UTS T, S, U, W c (T|S{W)~UTS T, S, U, X c (T|S)~(U~X)TS T, S, V, P c (T{S)~(V|P)TS T, S, V, Q c (T~S{V)~QTS T, S, V, R c T{(S{R)~VTS T, S, V, U c (T{V)~S{UTS T, S, V, W c (T{VS)~WTS T, S, V, X c (T{S)~V|XTS T, S, W, Q c (T{S)~(W|Q)TS T, S, W, U c (T|S{W)~UTS T, S, W, V c (T{VS)~WTS T, S, W, W c (W|TS)~WTS T, S, X, P c T~(X{P){STS T, S, X, Q c (T{X)~S|QTS T, S, X, R c (T{S{X)~RTS T, S, X, S c (T{SS)~XTS T, S, X, T c T{S{X~TTS T, S, X, U c (T|S)~(X~U)TS T, S, X, V c (T{S)~V|XTS T, T, P, S c (T{P)~(T{S)TS T, T, P, U c (T{T|P)~UTS T, T, Q, Q c (T~T{Q)~QTS T, T, Q, S c T~T~Q{STS T, T, Q, V c T{(T{Q)~VTS T, T, R, V c (T~T|V)~RTS T, T, R, W c (T{T{W)~RTS T, T, S, P c (T{S)~(T{P)TS T, T, S, Q c T~T~Q{STS T, T, S, T c (T{T)~T{STS T, T, S, X c (T{T|S)~XTS T, T, T, S c (T{T)~T{STS T, T, T, X c (T{TT)~XTS T, T, U, P c T~(T{U)|PTS T, T, U, U c (T{T)~U|UTS T, T, U, V c T~(T{V)|UTS T, T, U, W c (TT{W)~UTS T, T, U, X c T|T{U~XTS T, T, V, Q c T{(T{Q)~VTS T, T, V, R c (T~T|V)~RTS T, T, V, U c T~(T{V)|UTS T, T, V, X c (V|TT)~XTS T, T, W, R c (T{T{W)~RTS T, T, W, U c (TT{W)~UTS T, T, W, W c (W~W)|(T{T)TS T, T, W, X c T{T~W{XTS T, T, X, S c T{T~X{STS T, T, X, T c (T{TT)~XTS T, T, X, U c T|T{X~UTS T, T, X, V c X~(V|TT)TS T, T, X, W c T{T~W{XTS T, T, X, X c T~(XT{X)TS T, U, O, S c (T{O{S)~UTS T, U, O, X c T~O{U~XTS T, U, P, Q c (T~Q|P)~UTS T, U, P, R c (T{P)~(U{R)TS T, U, P, S c (T{P~S)~UTS T, U, P, T c (T{U)~T|PTS T, U, P, V c T{(U{P)~VTS T, U, P, W c T{U~W{PTS T, U, P, X c X(P|TU)TS T, U, Q, P c (T~Q|P)~UTS T, U, Q, Q c (T{Q{Q)~UTS T, U, Q, R c (T~U|R)~QTS T, U, Q, U c (T{U|Q)~UTS T, U, Q, V c U~(Q~V|T)TS T, U, Q, W c (T{WQ)~UTS T, U, R, P c (T{R{P)~UTS T, U, R, Q c (T~U|R)~QTS T, U, R, S c T~R~S|UTS T, U, R, U c (T{R)~U{UTS T, U, R, V c (T{U{V)~RTS T, U, R, W c T~U{R~WTS T, U, R, X c T~(U{R){XTS T, U, S, O c (T{S)~(U{O)TS T, U, S, P c (T{S)~(U~P)TS T, U, S, R c T~S~R|UTS T, U, S, S c T~(U{S){STS T, U, S, U c T~U{S~UTS T, U, S, V c (T{V)~S{UTS T, U, S, W c (T|S{W)~UTS T, U, S, X c (T|S)~(U~X)TS T, U, T, P c (T{U)~T|PTS T, U, T, U c (T{T)~U|UTS T, U, T, V c T~(T{V)|UTS T, U, T, W c (TT{W)~UTS T, U, T, X c (T{U|T)~XTS T, U, U, Q c (T{U|Q)~UTS T, U, U, R c (T{R)~U{UTS T, U, U, S c T~U{U~STS T, U, U, T c (T{T)~U|UTS T, U, U, U c T~(U{U)|UTS T, U, U, W c (U|T{W)~UTS T, U, U, X c (T{UU)~XTS T, U, V, P c T{(U{P)~VTS T, U, V, Q c U~(V~Q|T)TS T, U, V, R c (T{U{V)~RTS T, U, V, S c (T{V)~S{UTS T, U, V, T c (T{V)~T|UTS T, U, V, V c T{U~V{VTS T, U, V, X c (T{V|U)~XTS T, U, W, P c T{U~W{PTS T, U, W, Q c (T{WQ)~UTS T, U, W, R c T~U{W~RTS T, U, W, S c (T{W|S)~UTS T, U, W, T c (TT{W)~UTS T, U, W, U c (U|T{W)~UTS T, U, W, W c T~W{U{WTS T, U, X, O c T~O{U~XTS T, U, X, P c X(P|TU)TS T, U, X, R c T~(U{R){XTS T, U, X, S c (T|S)~(U~X)TS T, U, X, T c T{U~X|TTS T, U, X, U c (T{UU)~XTS T, U, X, V c (T{V|U)~XTS T, V, O, V c T{(V{O)~VTS T, V, P, Q c (T{P)~(V{Q)TS T, V, P, S c T~(V{S)|PTS T, V, P, U c T{V~(P{U)TS T, V, P, V c T{V~P~VTS T, V, P, W c T{V~(W|P)TS T, V, Q, P c (T{P)~(V{Q)TS T, V, Q, R c (T{R)~V|QTS T, V, Q, S c (T~S{V)~QTS T, V, Q, T c T{V~(Q{T)TS T, V, Q, U c (V~Q|T)~UTS T, V, Q, W c (T~V|W)~QTS T, V, Q, X c (T{V)Q~XTS T, V, R, Q c (T{R)~V|QTS T, V, R, S c T{V~(R{S)TS T, V, R, T c (T~T|V)~RTS T, V, R, U c (T{V|R)~UTS T, V, R, W c V~W|T{RTS T, V, R, X c (V|T)~(R~X)TS T, V, S, P c T~(V{S)|PTS T, V, S, Q c (T~S{V)~QTS T, V, S, R c T{V~(S{R)TS T, V, S, U c (T{V)~S{UTS T, V, S, W c (T{VS)~WTS T, V, S, X c (T{S)~V|XTS T, V, T, Q c T{V~(T{Q)TS T, V, T, R c (T~T|V)~RTS T, V, T, U c (T{V)~T|UTS T, V, T, X c (V|TT)~XTS T, V, U, P c T{V~(U{P)TS T, V, U, Q c (V~Q|T)~UTS T, V, U, R c (T{V{U)~RTS T, V, U, S c (T{V)~S{UTS T, V, U, T c (T{V)~T|UTS T, V, U, V c T{V{U~VTS T, V, U, X c (T{V|U)~XTS T, V, V, O c T{V~V{OTS T, V, V, P c T{V~V~PTS T, V, V, U c T{V{V~UTS T, V, V, V c (TV{V)~VTS T, V, V, W c T{V~W|VTS T, V, V, X c (T{VV)~XTS T, V, W, P c T{V~(W|P)TS T, V, W, Q c (T~V|W)~QTS T, V, W, R c V~W|T{RTS T, V, W, S c (T{VS)~WTS T, V, W, V c T{V~W|VTS T, V, W, X c (T{W|V)~XTS T, V, X, Q c T{V~(X|Q)TS T, V, X, R c (V|T)~(X~R)TS T, V, X, S c (T{S)~V|XTS T, V, X, T c (V|TT)~XTS T, V, X, U c (T{V|U)~XTS T, V, X, V c (T{VV)~XTS T, V, X, W c (T{W|V)~XTS T, W, P, P c (T{P)~(W{P)TS T, W, P, R c T~(W{R)|PTS T, W, P, U c T{W~U{PTS T, W, P, V c T{(W|P)~VTS T, W, P, X c T~(W{P){XTS T, W, Q, Q c (T{Q)~W|QTS T, W, Q, R c (T~Q{W)~RTS T, W, Q, S c T~(W{Q){STS T, W, Q, U c (T{WQ)~UTS T, W, Q, V c T~W{Q~VTS T, W, Q, W c W~W|T~QTS T, W, Q, X c (W|T)~(Q~X)TS T, W, R, P c T~(W{R)|PTS T, W, R, Q c (T~Q{W)~RTS T, W, R, T c (T{W{T)~RTS T, W, R, U c T~U{W~RTS T, W, R, V c W~V|T{RTS T, W, R, X c (W|T{R)~XTS T, W, S, Q c (T{W)~S{QTS T, W, S, U c (T{W|S)~UTS T, W, S, V c (T{VS)~WTS T, W, S, W c (W|TS)~WTS T, W, T, R c (T{W{T)~RTS T, W, T, U c (TT{W)~UTS T, W, T, W c (W~W)|(T{T)TS T, W, T, X c T{W~T{XTS T, W, U, P c T{W~U{PTS T, W, U, Q c (T{WQ)~UTS T, W, U, R c T~U{W~RTS T, W, U, S c (T{W|S)~UTS T, W, U, T c (TT{W)~UTS T, W, U, U c (W|T{U)~UTS T, W, U, W c T~W{U{WTS T, W, V, P c T{(W|P)~VTS T, W, V, Q c T~W{V~QTS T, W, V, R c W~V|T{RTS T, W, V, S c (T{VS)~WTS T, W, V, V c T{W~V|VTS T, W, V, X c (T{W|V)~XTS T, W, W, Q c W~W|T~QTS T, W, W, S c (W|TS)~WTS T, W, W, T c (W~W)|(T{T)TS T, W, W, U c T~W{W{UTS T, W, W, X c (T{WW)~XTS T, W, X, P c T~(W{P){XTS T, W, X, Q c (W|T)~(X~Q)TS T, W, X, R c (W|T{R)~XTS T, W, X, T c T~W{X{TTS T, W, X, V c (T{W|V)~XTS T, W, X, W c (T{WW)~XTS T, W, X, X c (T{X|W)~XTS T, X, O, P c (T{O{P)~XTS T, X, O, U c T~O{X~UTS T, X, O, X c T~X{O{XTS T, X, P, O c (T{P)~(X{O)TS T, X, P, P c (T{P)~(X~P)TS T, X, P, Q c T~(X{Q)|PTS T, X, P, S c T~(X{P){STS T, X, P, U c X(P|TU)TS T, X, P, W c T~X{P{WTS T, X, P, X c T~X{P~XTS T, X, Q, P c T~(X{Q)|PTS T, X, Q, Q c (T|Q)~(X~Q)TS T, X, Q, R c (T|Q{R)~XTS T, X, Q, S c (T{X)~S|QTS T, X, Q, V c T{(X|Q)~VTS T, X, Q, W c (X~Q)~(W|T)TS T, X, Q, X c (T{Q)~X|XTS T, X, R, Q c (T{R|Q)~XTS T, X, R, R c T~X{R~RTS T, X, R, S c (T{X{S)~RTS T, X, R, U c T~X{R{UTS T, X, R, V c (X~R)~(V|T)TS T, X, R, W c X~(R{W|T)TS T, X, R, X c (T~R|X)~XTS T, X, S, P c T~(X{P){STS T, X, S, Q c (T{X)~S|QTS T, X, S, R c (T{X{S)~RTS T, X, S, S c (T{SS)~XTS T, X, S, T c T~X{S{TTS T, X, S, U c (T|S)~(X~U)TS T, X, S, V c (T{S)~V|XTS T, X, T, S c T{X~T{STS T, X, T, T c (T{TT)~XTS T, X, T, U c (T{X|T)~UTS T, X, T, V c X~(V|TT)TS T, X, T, W c T{X{T~WTS T, X, T, X c T~(XT{X)TS T, X, U, O c T~O{X~UTS T, X, U, P c X(P|TU)TS T, X, U, R c T~X{U{RTS T, X, U, S c (T|S)~(X~U)TS T, X, U, T c T{X~U|TTS T, X, U, U c (T{UU)~XTS T, X, U, V c (T{V|U)~XTS T, X, V, Q c T~X{V{QTS T, X, V, R c X~(V|T)~RTS T, X, V, S c (T{S)~V|XTS T, X, V, T c X~(V|TT)TS T, X, V, U c (T{V|U)~XTS T, X, V, V c (T{VV)~XTS T, X, V, W c (T{W|V)~XTS T, X, W, P c T~X{W{PTS T, X, W, Q c X~(W|T)~QTS T, X, W, R c X~(W|T{R)TS T, X, W, T c T{X{W~TTS T, X, W, V c (T{W|V)~XTS T, X, W, W c (T{WW)~XTS T, X, W, X c (T{X|W)~XTS T, X, X, O c T~X{X{OTS T, X, X, P c T~X{X~PTS T, X, X, Q c (T{Q)~X|XTS T, X, X, R c (T~R|X)~XTS T, X, X, T c T~(X{XT)TS T, X, X, W c (T{X|W)~XTS T, X, X, X c (T{XX)~XTS U, O, O, X c (U{O{O)~XTS U, O, P, W c (U{O)~(P{W)TS U, O, P, X c (U{O)~(P~X)TS U, O, Q, V c (U{O)~(Q{V)TS U, O, Q, X c (U{O~Q)~XTS U, O, R, R c (U{O)~(R~R)TS U, O, R, U c (U{O{R)~UTS U, O, R, X c (U{O~R)~XTS U, O, S, T c (U{O)~(S{T)TS U, O, S, X c (U{O~S)~XTS U, O, T, S c (U{O)~(T{S)TS U, O, T, X c (U{O~T)~XTS U, O, U, R c (U{O)~(U{R)TS U, O, U, W c U{O{U~WTS U, O, U, X c (U{O~U)~XTS U, O, V, Q c (U{O)~(V{Q)TS U, O, V, X c (U{O~V)~XTS U, O, W, P c (U{O)~(W{P)TS U, O, W, U c U{O{W~UTS U, O, W, X c (U{O~W)~XTS U, O, X, O c (U{O)~(X{O)TS U, O, X, P c (U{O)~(X~P)TS U, O, X, Q c (U{O~Q)~XTS U, O, X, R c (U{O~R)~XTS U, O, X, S c (U{O~S)~XTS U, O, X, T c (U{O~T)~XTS U, O, X, U c U~O{X~UTS U, O, X, V c (U{O~V)~XTS U, O, X, W c (U{O~W)~XTS U, O, X, X c (U{O~X)~XTS U, P, O, W c U~(P{O{W)TS U, P, O, X c (U{P~O)~XTS U, P, P, V c U~(P{P{V)TS U, P, P, W c U~(P{P~W)TS U, P, P, X c (U{P|P)~XTS U, P, Q, R c U~(P{Q)~RTS U, P, Q, S c U~(P{Q~S)TS U, P, Q, T c U~(Q~T|P)TS U, P, Q, U c (U{P{Q)~UTS U, P, Q, V c (U~P)~(Q{V)TS U, P, Q, W c (U{P)~W|QTS U, P, Q, X c U~(Q|P)~XTS U, P, R, Q c U~(P{Q)~RTS U, P, R, R c U~P~R~RTS U, P, R, S c (U~R)~(S|P)TS U, P, R, T c U~(P{R{T)TS U, P, R, U c (U{P~R)~UTS U, P, R, V c U~(R|P{V)TS U, P, S, Q c U~(P{S~Q)TS U, P, S, R c U~(S|P)~RTS U, P, S, S c U~(P{S{S)TS U, P, S, T c (U~P)~(S{T)TS U, P, S, U c (U|P{S)~UTS U, P, T, Q c U~(T~Q|P)TS U, P, T, R c U~(P{T{R)TS U, P, T, S c (U~P)~(T{S)TS U, P, T, T c U~(T|P{T)TS U, P, T, V c (U{P)~V{TTS U, P, T, W c U{(P{T)~WTS U, P, T, X c X(P|TU)TS U, P, U, Q c U~(P{U{Q)TS U, P, U, R c (U~P)~(U{R)TS U, P, U, S c (U|P{S)~UTS U, P, U, V c U{(P{V)~UTS U, P, U, W c U{P~U~WTS U, P, U, X c U~(P{X)|UTS U, P, V, P c U~(P{V{P)TS U, P, V, Q c (U~P)~(V{Q)TS U, P, V, R c U~(V|P{R)TS U, P, V, T c (U{P)~V{TTS U, P, V, U c U{(P{V)~UTS U, P, V, V c U|P{V~VTS U, P, V, W c U{(V|P)~WTS U, P, V, X c X(VU|P)TS U, P, W, O c U~(P{W){OTS U, P, W, P c U~(P{W)~PTS U, P, W, Q c (U{P)~W|QTS U, P, W, T c U{(P{T)~WTS U, P, W, U c U{P~W~UTS U, P, W, V c U~W|P{VTS U, P, W, X c U(P|WX)TS U, P, X, O c U~P~X{OTS U, P, X, P c U~(P{X|P)TS U, P, X, Q c (U~X)~(Q|P)TS U, P, X, T c X(P|TU)TS U, P, X, U c U~(P{X)|UTS U, P, X, V c X(VU|P)TS U, P, X, W c U(P|WX)TS U, P, X, X c (U{P)~X|XTS U, Q, O, V c U~(Q{O{V)TS U, Q, O, X c (U{Q~O)~XTS U, Q, P, R c U~(Q{P)~RTS U, Q, P, S c U~(Q~S{P)TS U, Q, P, T c U~(Q~T|P)TS U, Q, P, U c (U{Q{P)~UTS U, Q, P, V c U~(Q{P~V)TS U, Q, P, W c U~(Q|P{W)TS U, Q, P, X c U~(Q|P)~XTS U, Q, Q, T c U~(Q{Q{T)TS U, Q, Q, V c (U{Q)~V|QTS U, Q, Q, W c U~(QQ{W)TS U, Q, Q, X c (U{Q|Q)~XTS U, Q, R, P c U~(Q{P)~RTS U, Q, R, R c U~(Q~R{R)TS U, Q, R, S c U~(Q{R{S)TS U, Q, R, T c (U~R)~(T|Q)TS U, Q, R, U c (U~Q|R)~UTS U, Q, R, V c (U{R~V)~QTS U, Q, R, W c U{Q~R~WTS U, Q, R, X c (UQ{R)~XTS U, Q, S, P c U~(Q~S{P)TS U, Q, S, R c U~(Q{S{R)TS U, Q, S, U c U{Q~S~UTS U, Q, S, V c U~(S|Q{V)TS U, Q, S, W c U{(Q{S)~WTS U, Q, T, P c U~(Q~T|P)TS U, Q, T, Q c U~(Q{T{Q)TS U, Q, T, R c U~(T|Q)~RTS U, Q, T, U c (U|Q{T)~UTS U, Q, T, V c U~(Q~V|T)TS U, Q, T, W c U~(T{WQ)TS U, Q, U, P c U~(Q{U{P)TS U, Q, U, R c (U{Q~U)~RTS U, Q, U, S c U{Q~U~STS U, Q, U, T c (U|Q{T)~UTS U, Q, U, U c U{(Q{U)~UTS U, Q, U, V c U~Q{U~VTS U, Q, U, W c U~(Q{W)|UTS U, Q, U, X c (U~Q|U)~XTS U, Q, V, O c U~(Q{V){OTS U, Q, V, P c U~(Q{V)~PTS U, Q, V, Q c (U{Q)~V|QTS U, Q, V, R c (U{V~R)~QTS U, Q, V, S c U~(V|Q{S)TS U, Q, V, T c U~(Q~V|T)TS U, Q, V, U c U~Q{V~UTS U, Q, V, W c U~(Q~W|V)TS U, Q, W, P c U~(Q{W|P)TS U, Q, W, Q c U~(QQ{W)TS U, Q, W, R c U{Q~W~RTS U, Q, W, S c U{(Q{S)~WTS U, Q, W, T c U~(WQ{T)TS U, Q, W, U c U~(Q{W)|UTS U, Q, W, V c U~(Q~W|V)TS U, Q, W, W c U{(W|Q)~WTS U, Q, X, O c (U{Q~O)~XTS U, Q, X, P c U~(Q|P)~XTS U, Q, X, Q c U~(Q{X|Q)TS U, Q, X, R c (UQ{R)~XTS U, Q, X, U c (U~Q|U)~XTS U, Q, X, X c U~(Q~X|X)TS U, R, O, R c (U~R{O)~RTS U, R, O, U c (U{R{O)~UTS U, R, O, X c (U{R~O)~XTS U, R, P, Q c (U~R)~(P{Q)TS U, R, P, R c U~R~P~RTS U, R, P, S c (U~R)~(S|P)TS U, R, P, T c (U{R)~(P{T)TS U, R, P, U c (U{R)~(P~U)TS U, R, P, V c U~(R|P{V)TS U, R, Q, P c (U~R)~(Q{P)TS U, R, Q, R c (U{R)~(Q~R)TS U, R, Q, S c (U{R)~(Q{S)TS U, R, Q, T c (U~R)~(T|Q)TS U, R, Q, U c U~RQ~UTS U, R, Q, V c (U{R~V)~QTS U, R, Q, W c U{R~Q~WTS U, R, Q, X c (U|R)~(Q~X)TS U, R, R, O c U~R~R{OTS U, R, R, P c U~R~R~PTS U, R, R, Q c (U{R)~(R~Q)TS U, R, R, R c (U{R)~(R{R)TS U, R, R, S c (U{R~S)~RTS U, R, R, U c (U|R)~(R~U)TS U, R, R, W c U{(R{R)~WTS U, R, R, X c (U{R|R)~XTS U, R, S, P c (U~R)~(S|P)TS U, R, S, Q c (U{R)~(S{Q)TS U, R, S, R c (U{R~S)~RTS U, R, S, S c U{R~S~STS U, R, S, T c R~S~T|UTS U, R, S, U c (U~S|U)~RTS U, R, S, V c (U~R)~(V|S)TS U, R, S, W c (U{RS)~WTS U, R, S, X c U~R{S~XTS U, R, T, P c (U{R)~(T{P)TS U, R, T, Q c (U~R)~(T|Q)TS U, R, T, S c R~T~S|UTS U, R, T, U c U{(R{T)~UTS U, R, T, V c U~(T|R{V)TS U, R, T, W c (U~R)~(W|T)TS U, R, T, X c U{R{T~XTS U, R, U, O c (U{R)~(U{O)TS U, R, U, P c (U{R)~(U~P)TS U, R, U, Q c U~R~UQTS U, R, U, R c (U|R)~(U~R)TS U, R, U, S c (U~S|U)~RTS U, R, U, T c U{(R{T)~UTS U, R, U, U c (U|R{U)~UTS U, R, U, V c U~(R{V)|UTS U, R, U, X c U~(R~U|X)TS U, R, V, P c (U{R)~(V|P)TS U, R, V, Q c (U{R~V)~QTS U, R, V, S c (U~R)~(V|S)TS U, R, V, T c U~(V|R{T)TS U, R, V, U c U~(R{V)|UTS U, R, V, W c V~W|URTS U, R, V, X c U{R~(V{X)TS U, R, W, Q c (U{R)~(W|Q)TS U, R, W, R c U{(R{R)~WTS U, R, W, S c (U{RS)~WTS U, R, W, T c (U~R)~(W|T)TS U, R, W, V c W~V|URTS U, R, W, W c U{R~(W{W)TS U, R, W, X c U~W|R{XTS U, R, X, O c (U{R~O)~XTS U, R, X, Q c (U|R)~(X~Q)TS U, R, X, R c (U{R{X)~RTS U, R, X, S c U{(R{X)~STS U, R, X, T c U{R{X~TTS U, R, X, U c (U~R|X)~UTS U, R, X, V c U{R~(X{V)TS U, R, X, W c U{(X|R)~WTS U, R, X, X c (U|R)~(X{X)TS U, S, O, T c U~(S{O{T)TS U, S, O, X c (U{S~O)~XTS U, S, P, Q c U~(S~Q{P)TS U, S, P, R c U~(S|P)~RTS U, S, P, S c U~(S{P{S)TS U, S, P, T c U~(S{P~T)TS U, S, P, U c (U{S|P)~UTS U, S, Q, P c U~(S~Q{P)TS U, S, Q, R c U~(S{Q{R)TS U, S, Q, U c U{S~Q~UTS U, S, Q, V c U~(S|Q{V)TS U, S, Q, W c U{(S{Q)~WTS U, S, R, P c U~(S|P)~RTS U, S, R, Q c U~(S{R{Q)TS U, S, R, R c (U{S~R)~RTS U, S, R, S c U{S~R~STS U, S, R, T c S~R~T|UTS U, S, R, U c (U~S|U)~RTS U, S, R, V c (U~R)~(V|S)TS U, S, R, W c U~(S|R{W)TS U, S, R, X c U{S~(R{X)TS U, S, S, P c U~(S{S{P)TS U, S, S, R c U{S~S~RTS U, S, S, T c (U{S)~T{STS U, S, S, U c U{(S{S)~UTS U, S, S, V c U~(S~S|V)TS U, S, S, W c U{S~(S{W)TS U, S, S, X c (U{S|S)~XTS U, S, T, O c U~(S{T){OTS U, S, T, P c U~(S{T)~PTS U, S, T, R c S~T~R|UTS U, S, T, S c (U{S)~T{STS U, S, T, U c U~S{T~UTS U, S, T, V c U{S~(T{V)TS U, S, T, W c U~(T|S{W)TS U, S, T, X c U~(T|S)~XTS U, S, U, P c U~(S{U|P)TS U, S, U, Q c U{S~U~QTS U, S, U, R c (U~S|U)~RTS U, S, U, S c U{(S{S)~UTS U, S, U, T c U~S{U~TTS U, S, U, U c U{S~(U{U)TS U, S, U, V c (U|S{V)~UTS U, S, U, X c (U{X)~S|UTS U, S, V, Q c U~(S{V|Q)TS U, S, V, R c U~V{S~RTS U, S, V, S c U~(S~S|V)TS U, S, V, T c U{S~(V{T)TS U, S, V, U c (U|S{V)~UTS U, S, V, W c U~V{S{WTS U, S, W, Q c U{(S{Q)~WTS U, S, W, R c (U{S{W)~RTS U, S, W, S c U{(S{W)~STS U, S, W, T c U~(W|S{T)TS U, S, W, V c U~(WS{V)TS U, S, W, W c (W~W)|(U{S)TS U, S, W, X c (S{W|U)~XTS U, S, X, O c (U{S~O)~XTS U, S, X, R c U{S~(X{R)TS U, S, X, S c U~(S{X|S)TS U, S, X, T c (U~X)~(T|S)TS U, S, X, U c (U{X)~S|UTS U, S, X, W c (S{W|U)~XTS U, S, X, X c SU~X~XTS U, T, O, S c U~(T{O{S)TS U, T, O, X c (U{T~O)~XTS U, T, P, Q c U~(T~Q|P)TS U, T, P, R c U~(T{P{R)TS U, T, P, S c U~(T{P~S)TS U, T, P, T c U~(T|P{T)TS U, T, P, V c (U{P)~V{TTS U, T, P, W c U{(T{P)~WTS U, T, P, X c X(P|TU)TS U, T, Q, P c U~(T~Q|P)TS U, T, Q, Q c U~(T{Q{Q)TS U, T, Q, R c U~(T|Q)~RTS U, T, Q, U c (U{T|Q)~UTS U, T, Q, V c U~(Q~V|T)TS U, T, Q, W c U~(T{WQ)TS U, T, R, P c U~(T{R{P)TS U, T, R, Q c (U~T|R)~QTS U, T, R, S c T~R~S|UTS U, T, R, U c U{(T{R)~UTS U, T, R, V c U~(T|R{V)TS U, T, R, W c U~T{R~WTS U, T, R, X c U{T~X{RTS U, T, S, O c U~(T{S){OTS U, T, S, P c U~(T{S)~PTS U, T, S, R c T~S~R|UTS U, T, S, S c (U{S)~T{STS U, T, S, U c U~T{S~UTS U, T, S, V c U{(T{V)~STS U, T, S, W c U~(T|S{W)TS U, T, S, X c U~(T|S)~XTS U, T, T, P c (U{T)~T|PTS U, T, T, U c U~(T{T)|UTS U, T, T, V c T~(T{V)|UTS U, T, T, W c U~(TT{W)TS U, T, T, X c (U{T|T)~XTS U, T, U, Q c U~(T{U|Q)TS U, T, U, R c U{(T{R)~UTS U, T, U, S c U~T{U~STS U, T, U, T c U~(T{T)|UTS U, T, U, U c (U{U)~T|UTS U, T, U, W c (U|T{W)~UTS U, T, U, X c (U|T)~(U~X)TS U, T, V, P c (U{P)~V{TTS U, T, V, Q c U~(V~Q|T)TS U, T, V, R c (U{T{V)~RTS U, T, V, S c U{(T{V)~STS U, T, V, T c (T{V)~T|UTS U, T, V, V c U~V{T{VTS U, T, V, X c (T{V|U)~XTS U, T, W, P c U{(T{P)~WTS U, T, W, Q c U~(T{WQ)TS U, T, W, R c U~T{W~RTS U, T, W, S c U~(T{W|S)TS U, T, W, T c U~(TT{W)TS U, T, W, U c (U|T{W)~UTS U, T, W, W c U{T~W{WTS U, T, X, O c (U{T~O)~XTS U, T, X, P c X(P|TU)TS U, T, X, R c U{T~X{RTS U, T, X, S c U~(T|S)~XTS U, T, X, T c U~(T{X|T)TS U, T, X, U c (U|T)~(X~U)TS U, T, X, V c (T{V|U)~XTS U, U, O, R c U~(U{O{R)TS U, U, O, W c U{(U{O)~WTS U, U, O, X c (U{U~O)~XTS U, U, P, Q c U~(U{P{Q)TS U, U, P, R c U~(U{P~R)TS U, U, P, S c U~(U|P{S)TS U, U, P, V c U{U~(P{V)TS U, U, P, W c U{U~P~WTS U, U, P, X c U{U~(X|P)TS U, U, Q, P c U~(U{Q{P)TS U, U, Q, R c (U{U~Q)~RTS U, U, Q, S c U{U~Q~STS U, U, Q, T c U~(U|Q{T)TS U, U, Q, U c U{(U{Q)~UTS U, U, Q, V c U~Q{U~VTS U, U, Q, W c U~(Q{W)|UTS U, U, Q, X c (U{U)Q~XTS U, U, R, O c U~(U{R){OTS U, U, R, P c U~(U{R)~PTS U, U, R, Q c U~U~RQTS U, U, R, R c U~(U|R)~RTS U, U, R, S c (U~S|U)~RTS U, U, R, T c U{U~(R{T)TS U, U, R, U c (U{U|R)~UTS U, U, R, V c U~(UR{V)TS U, U, R, X c U~(U~R|X)TS U, U, S, P c U~(U{S|P)TS U, U, S, Q c U{U~S~QTS U, U, S, R c (U~S|U)~RTS U, U, S, S c U{U~(S{S)TS U, U, S, T c U~S{U~TTS U, U, S, U c (U{U)~S{UTS U, U, S, V c U~(U|S{V)TS U, U, S, X c (U{X)~S|UTS U, U, T, Q c U~(U{T|Q)TS U, U, T, R c U{U~(T{R)TS U, U, T, S c U~T{U~STS U, U, T, T c U~(T{T)|UTS U, U, T, U c (U{U)~T|UTS U, U, T, W c U~(U|T{W)TS U, U, T, X c U~(U|T)~XTS U, U, U, Q c U{U~(U{Q)TS U, U, U, R c (U{U{U)~RTS U, U, U, S c U{(U{U)~STS U, U, U, T c (U{U)~T|UTS U, U, U, V c U{U{U~VTS U, U, U, W c U~(UU{W)TS U, U, U, X c (U{U|U)~XTS U, U, V, P c U{U~(V{P)TS U, U, V, Q c U~V{U~QTS U, U, V, R c U~(UR{V)TS U, U, V, S c U~(U{V|S)TS U, U, V, U c U{U{V~UTS U, U, V, W c U~(V|U{W)TS U, U, V, X c U~(V|U)~XTS U, U, W, O c U{U~W{OTS U, U, W, P c U{U~W~PTS U, U, W, Q c U~(W{Q)|UTS U, U, W, T c U~(U{W|T)TS U, U, W, U c (UU{W)~UTS U, U, W, V c U~(W|U{V)TS U, U, W, W c (U{UW)~WTS U, U, X, O c (U{U~O)~XTS U, U, X, P c U{U~(X|P)TS U, U, X, Q c (U{U)~(XQ)TS U, U, X, R c U~(U{XR)TS U, U, X, S c (U{X)~S|UTS U, U, X, T c U~(U|T)~XTS U, U, X, U c U{U~X|UTS U, U, X, V c (U~X)~(V|U)TS U, U, X, X c U~U{X{XTS U, V, O, Q c U~(V{O{Q)TS U, V, O, X c (U{V~O)~XTS U, V, P, P c U~(V{P{P)TS U, V, P, Q c U~(V{P~Q)TS U, V, P, R c U~(V|P{R)TS U, V, P, T c (U{P)~V{TTS U, V, P, U c U{(V{P)~UTS U, V, P, V c U{V~V|PTS U, V, P, W c U{(V|P)~WTS U, V, P, X c X(VU|P)TS U, V, Q, O c U~(V{Q){OTS U, V, Q, P c U~(V{Q)~PTS U, V, Q, Q c (U{Q)~V|QTS U, V, Q, R c (U{V~R)~QTS U, V, Q, S c U~(V|Q{S)TS U, V, Q, T c U~(V~Q|T)TS U, V, Q, U c U~V{Q~UTS U, V, Q, W c U~(Q~W|V)TS U, V, R, P c U~(V{R|P)TS U, V, R, Q c (U{V~R)~QTS U, V, R, S c U~V{R~STS U, V, R, T c U~(V|R{T)TS U, V, R, U c U~(V{R)|UTS U, V, R, W c V~W|URTS U, V, R, X c U~V{R{XTS U, V, S, Q c (U{V)~S{QTS U, V, S, R c U~V{S~RTS U, V, S, S c U~(S~S|V)TS U, V, S, T c U{(V{T)~STS U, V, S, U c (U{V|S)~UTS U, V, S, W c U~V{S{WTS U, V, T, P c (U{P)~V{TTS U, V, T, Q c U~(V~Q|T)TS U, V, T, R c (U{V{T)~RTS U, V, T, S c U{(V{T)~STS U, V, T, T c (V{T)~T|UTS U, V, T, V c U~V{T{VTS U, V, T, X c (V|U{T)~XTS U, V, U, P c U{(V{P)~UTS U, V, U, Q c U~V{U~QTS U, V, U, R c U~(V{UR)TS U, V, U, S c U~(V{U|S)TS U, V, U, U c U{V~U{UTS U, V, U, W c U~(V|U{W)TS U, V, U, X c U~(V|U)~XTS U, V, V, P c U{V~V|PTS U, V, V, T c U~V{V{TTS U, V, V, W c U~(VV{W)TS U, V, V, X c (U{V|V)~XTS U, V, W, P c U{(V|P)~WTS U, V, W, Q c U~(W~Q|V)TS U, V, W, R c V~W|URTS U, V, W, S c U~V{W{STS U, V, W, U c U~(V{W|U)TS U, V, W, V c U~(VV{W)TS U, V, W, W c U{V~W|WTS U, V, W, X c U~(W|V)~XTS U, V, X, O c (U{V~O)~XTS U, V, X, P c X(VU|P)TS U, V, X, R c U{(V{X)~RTS U, V, X, T c (V|U{T)~XTS U, V, X, U c U~(V|U)~XTS U, V, X, V c U~(V{X|V)TS U, V, X, W c (U~X)~(W|V)TS U, W, O, P c U~(W{O{P)TS U, W, O, U c U{(W{O)~UTS U, W, O, X c (U{W~O)~XTS U, W, P, O c U~(W{P){OTS U, W, P, P c U~(W{P)~PTS U, W, P, Q c U~(W|P{Q)TS U, W, P, T c U{W~(P{T)TS U, W, P, U c U{W~P~UTS U, W, P, V c U~W|P{VTS U, W, P, X c U(P|WX)TS U, W, Q, P c U~(W{Q|P)TS U, W, Q, Q c U~(W{QQ)TS U, W, Q, R c U{W~Q~RTS U, W, Q, S c U{W~(Q{S)TS U, W, Q, T c U~(WQ{T)TS U, W, Q, U c U~(W{Q)|UTS U, W, Q, V c U~(W~Q|V)TS U, W, Q, W c U{(W|Q)~WTS U, W, R, Q c U{W~R~QTS U, W, R, R c U{W~(R{R)TS U, W, R, S c U~(W|R{S)TS U, W, R, T c U~(W|T)~RTS U, W, R, V c W~V|URTS U, W, R, W c U{(W{W)~RTS U, W, R, X c U~W|R{XTS U, W, S, Q c U{W~(S{Q)TS U, W, S, R c (U{W{S)~RTS U, W, S, S c U{(W{S)~STS U, W, S, T c U~(W|S{T)TS U, W, S, V c U~(WS{V)TS U, W, S, W c (W~W)|(U{S)TS U, W, S, X c (W|U{S)~XTS U, W, T, P c U{W~(T{P)TS U, W, T, Q c U~(WQ{T)TS U, W, T, R c U~(W|T)~RTS U, W, T, S c U~(W{T|S)TS U, W, T, T c U~(W{TT)TS U, W, T, U c (U{W|T)~UTS U, W, T, W c U{W{T~WTS U, W, U, O c U{W~U{OTS U, W, U, P c U{W~U~PTS U, W, U, Q c U~(W{Q)|UTS U, W, U, T c U~(W{U|T)TS U, W, U, U c U~(W{UU)TS U, W, U, V c U~(W|U{V)TS U, W, U, W c (UW{U)~WTS U, W, V, P c U{W~(V|P)TS U, W, V, Q c U~(W~Q|V)TS U, W, V, R c W~V|URTS U, W, V, S c U~(WS{V)TS U, W, V, U c U~(W{V|U)TS U, W, V, V c U~(W{VV)TS U, W, V, W c U{W~V|WTS U, W, V, X c U~(W|V)~XTS U, W, W, Q c U{W~(W|Q)TS U, W, W, R c U{(W{W)~RTS U, W, W, S c (W~W)|(U{S)TS U, W, W, T c U{W{W~TTS U, W, W, U c (UW{U)~WTS U, W, W, V c U~(W{W|V)TS U, W, W, W c U~(W{WW)TS U, W, W, X c (U{W|W)~XTS U, W, X, O c (U{W~O)~XTS U, W, X, P c U(P|WX)TS U, W, X, R c U{W~(X|R)TS U, W, X, S c (W|U{S)~XTS U, W, X, V c U~(W|V)~XTS U, W, X, W c U~(W{X|W)TS U, W, X, X c U~(W{XX)TS U, X, O, O c U~X{O{OTS U, X, O, P c U~X{O~PTS U, X, O, Q c U~X{O~QTS U, X, O, R c U~X{O~RTS U, X, O, S c U~X{O~STS U, X, O, T c U~X{O~TTS U, X, O, U c U~X{O~UTS U, X, O, V c U~X{O~VTS U, X, O, W c U~X{O~WTS U, X, O, X c (U{X~O)~XTS U, X, P, O c U~X{P~OTS U, X, P, P c U~X{P|PTS U, X, P, Q c (U~X)~(Q|P)TS U, X, P, T c X(P|TU)TS U, X, P, U c U{(X|P)~UTS U, X, P, V c X(VU|P)TS U, X, P, W c U(P|WX)TS U, X, P, X c (U{P)~X|XTS U, X, Q, O c U~X{Q~OTS U, X, Q, P c (U~X)~(Q|P)TS U, X, Q, Q c U~X{Q|QTS U, X, Q, R c (U~X)~(R|Q)TS U, X, Q, U c (U~Q|U)~XTS U, X, Q, X c U~(X~Q|X)TS U, X, R, O c U~X{R~OTS U, X, R, Q c (U~X)~(R|Q)TS U, X, R, R c (U{X{R)~RTS U, X, R, S c U{(X{R)~STS U, X, R, T c U{X~T{RTS U, X, R, U c (U{XR)~UTS U, X, R, V c U{(X{V)~RTS U, X, R, W c U{(X|R)~WTS U, X, R, X c (U{X)~R{XTS U, X, S, O c U~X{S~OTS U, X, S, R c (U~X)~(S|R)TS U, X, S, S c U~X{S|STS U, X, S, T c (U~X)~(T|S)TS U, X, S, U c (U{X)~S|UTS U, X, S, W c X~(S{W|U)TS U, X, S, X c XU~S~XTS U, X, T, O c U~X{T~OTS U, X, T, P c X(P|TU)TS U, X, T, R c U{X~T{RTS U, X, T, S c (U~X)~(T|S)TS U, X, T, T c U~X{T|TTS U, X, T, U c (U~X)~(U|T)TS U, X, T, V c X~(T{V|U)TS U, X, U, O c U~X{U~OTS U, X, U, P c U{(X|P)~UTS U, X, U, Q c (U{U)~(XQ)TS U, X, U, R c U~(X|U)~RTS U, X, U, S c (U{X)~S|UTS U, X, U, T c (U~X)~(U|T)TS U, X, U, U c (U{X|U)~UTS U, X, U, V c (U~X)~(V|U)TS U, X, U, X c U~U{X{XTS U, X, V, O c U~X{V~OTS U, X, V, P c X(VU|P)TS U, X, V, R c U{(X{V)~RTS U, X, V, T c X~(V|U{T)TS U, X, V, U c (U~X)~(V|U)TS U, X, V, V c U~X{V|VTS U, X, V, W c (U~X)~(W|V)TS U, X, W, O c U~X{W~OTS U, X, W, P c U(P|WX)TS U, X, W, R c U{(X|R)~WTS U, X, W, S c X~(W|U{S)TS U, X, W, V c (U~X)~(W|V)TS U, X, W, W c U~X{W|WTS U, X, W, X c U~(X|W)~XTS U, X, X, O c U~X{X~OTS U, X, X, P c (U{P)~X|XTS U, X, X, Q c U~(X{X)QTS U, X, X, R c (U{X)~R{XTS U, X, X, S c XU~X~STS U, X, X, U c U~U{X{XTS U, X, X, W c (U~X)~(X|W)TS U, X, X, X c (U{X|X)~XTS V, O, P, X c (V{O|P)~XTS V, O, Q, U c (V{O{Q)~UTS V, O, Q, W c (V{O)~W|QTS V, O, T, V c (V{O)~V{TTS V, O, U, Q c (V{O{Q)~UTS V, O, U, X c V~O{U~XTS V, O, V, T c (V{O)~V{TTS V, O, W, Q c (V{O)~W|QTS V, O, X, P c (V{O|P)~XTS V, O, X, U c V~O{X~UTS V, O, X, X c (V{O)~X|XTS V, P, O, X c (V|P{O)~XTS V, P, P, U c (V{P{P)~UTS V, P, P, W c (V|P)~(P{W)TS V, P, P, X c (V|P)~(P~X)TS V, P, Q, S c (V~S|P)~QTS V, P, Q, T c (V{Q)~(P{T)TS V, P, Q, U c (V{P~Q)~UTS V, P, Q, V c (V|P)~(Q{V)TS V, P, Q, W c V~P~W|QTS V, P, Q, X c (V{P|Q)~XTS V, P, R, R c (V|P)~(R~R)TS V, P, R, U c (V|P{R)~UTS V, P, R, W c V~W{P|RTS V, P, S, Q c (V~S|P)~QTS V, P, S, T c (V|P)~(S{T)TS V, P, S, V c V~V{P{STS V, P, S, W c (V|PS)~WTS V, P, T, Q c (V{Q)~(P{T)TS V, P, T, S c (V|P)~(T{S)TS V, P, T, U c V~(P{U){TTS V, P, T, V c V~P~V{TTS V, P, T, W c V~(W|P){TTS V, P, U, P c (V{P{P)~UTS V, P, U, Q c (V{P~Q)~UTS V, P, U, R c (V|P)~(U{R)TS V, P, U, T c V~(P{U){TTS V, P, U, U c (V{P)~U{UTS V, P, U, V c V~V|P{UTS V, P, U, W c V|P{U~WTS V, P, U, X c X(VU|P)TS V, P, V, Q c (V{P)~V|QTS V, P, V, S c V~V{P{STS V, P, V, T c V~P~V{TTS V, P, V, U c V~V|P{UTS V, P, W, P c (V|P)~(W{P)TS V, P, W, Q c V~P~W|QTS V, P, W, R c V~W{P|RTS V, P, W, S c (V|PS)~WTS V, P, W, T c V~(W|P){TTS V, P, W, U c V|P{W~UTS V, P, W, X c V~(P{W)|XTS V, P, X, O c (V|P)~(X{O)TS V, P, X, P c (V|P)~(X~P)TS V, P, X, Q c (V{P|Q)~XTS V, P, X, U c X(VU|P)TS V, P, X, W c V~(P{W)|XTS V, P, X, X c V~P~X|XTS V, Q, O, U c (V{Q{O)~UTS V, Q, O, W c (V{O)~W|QTS V, Q, P, S c (V~S|P)~QTS V, Q, P, T c (V{Q)~(P{T)TS V, Q, P, U c (V{Q)~(P~U)TS V, Q, P, V c (V{Q)~(V|P)TS V, Q, P, W c V~P~W|QTS V, Q, P, X c (V|Q{P)~XTS V, Q, Q, R c (V{Q)~(Q~R)TS V, Q, Q, S c (V{Q)~(Q{S)TS V, Q, Q, U c V~(Q{U)|QTS V, Q, Q, W c (V{Q)~(W|Q)TS V, Q, Q, X c (V|QQ)~XTS V, Q, R, Q c (V{Q)~(R~Q)TS V, Q, R, R c (V{Q)~(R{R)TS V, Q, R, S c (V~Q{S)~RTS V, Q, R, T c V~(R{T)|QTS V, Q, R, U c (V~R{U)~QTS V, Q, R, V c V~V{Q{RTS V, Q, R, X c (V{Q|R)~XTS V, Q, S, P c (V~S|P)~QTS V, Q, S, Q c (V{Q)~(S{Q)TS V, Q, S, R c (V~Q{S)~RTS V, Q, S, S c V~(S{S)|QTS V, Q, S, T c (V{S~T)~QTS V, Q, S, U c (V|Q{S)~UTS V, Q, S, V c (V{V)~S|QTS V, Q, S, W c V~W{Q|STS V, Q, S, X c (V|S)~(Q~X)TS V, Q, T, P c (V{Q)~(T{P)TS V, Q, T, R c V~(T{R)|QTS V, Q, T, S c (V{T~S)~QTS V, Q, T, T c V~(Q{T){TTS V, Q, T, U c (V~Q|T)~UTS V, Q, T, W c V~Q{T~WTS V, Q, T, X c V{Q{T~XTS V, Q, U, O c (V{Q)~(U{O)TS V, Q, U, P c (V{Q)~(U~P)TS V, Q, U, Q c V~(Q{U)|QTS V, Q, U, R c (V~R{U)~QTS V, Q, U, S c (V|Q{S)~UTS V, Q, U, T c (V~Q|T)~UTS V, Q, U, U c V~U{Q~UTS V, Q, U, W c (Q~W|V)~UTS V, Q, V, P c (V{Q)~(V|P)TS V, Q, V, R c V~V{Q{RTS V, Q, V, S c (V{V)~S|QTS V, Q, V, V c V|Q{V~VTS V, Q, V, W c V~(W|QV)TS V, Q, V, X c (V{Q)~V|XTS V, Q, W, O c V~W|Q{OTS V, Q, W, P c V~W|Q~PTS V, Q, W, Q c (V{Q)~(W|Q)TS V, Q, W, S c V~W{Q|STS V, Q, W, T c V~Q{W~TTS V, Q, W, U c (Q~W|V)~UTS V, Q, W, V c V~(W|QV)TS V, Q, W, W c (V|QW)~WTS V, Q, W, X c (V~Q|W)~XTS V, Q, X, P c (V|Q{P)~XTS V, Q, X, Q c (V|QQ)~XTS V, Q, X, R c (V{Q{X)~RTS V, Q, X, S c (V|S)~(Q~X)TS V, Q, X, T c V{Q{X~TTS V, Q, X, V c (V{Q)~V|XTS V, Q, X, W c (V~Q|W)~XTS V, Q, X, X c (V|Q)~X{XTS V, R, P, R c (V|P)~(R~R)TS V, R, P, U c (V{R|P)~UTS V, R, P, W c V~W|R{PTS V, R, Q, Q c (V{Q)~(R~Q)TS V, R, Q, R c (V{Q)~(R{R)TS V, R, Q, S c (V~Q{S)~RTS V, R, Q, T c V~(R{T)|QTS V, R, Q, U c (V~R{U)~QTS V, R, Q, V c V~V{R{QTS V, R, Q, X c (V|R{Q)~XTS V, R, R, P c (V|P)~(R~R)TS V, R, R, Q c (V{Q)~(R{R)TS V, R, R, R c (V~R|R)~RTS V, R, R, W c (V{R{W)~RTS V, R, R, X c (V|RR)~XTS V, R, S, Q c (V~Q{S)~RTS V, R, S, T c V~(R{S){TTS V, R, S, U c (V|S)~(R~U)TS V, R, S, V c (V{S{V)~RTS V, R, S, X c (V{R|S)~XTS V, R, T, Q c V~(R{T)|QTS V, R, T, S c (V{R)~T{STS V, R, T, T c R~(T~T|V)TS V, R, T, U c (V|R{T)~UTS V, R, T, W c V~W{R|TTS V, R, T, X c (V|T)~(R~X)TS V, R, U, P c (V{R|P)~UTS V, R, U, Q c (V~R{U)~QTS V, R, U, S c V~U{R~STS V, R, U, T c (V|R{T)~UTS V, R, U, U c (V{R)~U|UTS V, R, U, W c V~W|URTS V, R, U, X c V~(R{U)|XTS V, R, V, Q c V~V{R{QTS V, R, V, S c (V{V{S)~RTS V, R, V, W c V~V|R{WTS V, R, W, P c V~W|R{PTS V, R, W, R c (V{R{W)~RTS V, R, W, T c V~W{R|TTS V, R, W, U c V~W|URTS V, R, W, V c V~V|R{WTS V, R, W, W c (W~W)|(V{R)TS V, R, W, X c (V{W)~R{XTS V, R, X, Q c (V|R{Q)~XTS V, R, X, R c (V|RR)~XTS V, R, X, S c (V{R|S)~XTS V, R, X, T c (V|T)~(R~X)TS V, R, X, U c V~(R{U)|XTS V, R, X, W c (V{W)~R{XTS V, R, X, X c R~(X|V)~XTS V, S, P, Q c (V~S|P)~QTS V, S, P, T c (V{S)~T|PTS V, S, P, V c V~V{S{PTS V, S, P, W c (V|PS)~WTS V, S, Q, P c (V~S|P)~QTS V, S, Q, Q c V~S~Q|QTS V, S, Q, R c (V~Q{S)~RTS V, S, Q, S c V~(S{S)|QTS V, S, Q, T c (V{S~T)~QTS V, S, Q, U c (V{S|Q)~UTS V, S, Q, V c (V{V)~S|QTS V, S, Q, W c V~W|S{QTS V, S, Q, X c (V|S)~(Q~X)TS V, S, R, Q c (V~Q{S)~RTS V, S, R, T c V~(S{R){TTS V, S, R, U c (V|S)~(R~U)TS V, S, R, V c (V{S{V)~RTS V, S, R, X c (V|S{R)~XTS V, S, S, Q c V~(S{S)|QTS V, S, S, U c (S~S|V)~UTS V, S, S, X c (V|SS)~XTS V, S, T, P c (V{S)~T|PTS V, S, T, Q c (V{S~T)~QTS V, S, T, R c V~(S{R){TTS V, S, T, U c (V{T)~S{UTS V, S, T, W c (VS{T)~WTS V, S, T, X c (V{S|T)~XTS V, S, U, Q c (V{S|Q)~UTS V, S, U, R c (V|S)~(U~R)TS V, S, U, S c (S~S|V)~UTS V, S, U, T c (V{T)~S{UTS V, S, U, U c (V|S{U)~UTS V, S, U, W c V~U{S{WTS V, S, V, P c V~V{S{PTS V, S, V, Q c (V{V)~S|QTS V, S, V, R c (V{S{V)~RTS V, S, V, X c V~V|S{XTS V, S, W, P c (V|PS)~WTS V, S, W, Q c V~W|S{QTS V, S, W, T c (VS{T)~WTS V, S, W, U c (V{W)~S|UTS V, S, W, W c V~W|WSTS V, S, X, Q c (V|S)~(X~Q)TS V, S, X, R c (V|S{R)~XTS V, S, X, S c (V|SS)~XTS V, S, X, T c (V{S|T)~XTS V, S, X, V c V~V|S{XTS V, S, X, X c (V|S)~(X{X)TS V, T, O, V c (V{O)~V{TTS V, T, P, Q c (V{Q)~(T{P)TS V, T, P, S c (V|P)~(T{S)TS V, T, P, U c V~(P{U){TTS V, T, P, V c V~P~V{TTS V, T, P, W c V~(W|P){TTS V, T, Q, P c (V{Q)~(T{P)TS V, T, Q, R c V~(T{R)|QTS V, T, Q, S c (V{T~S)~QTS V, T, Q, T c V~(T{Q){TTS V, T, Q, U c (V~Q|T)~UTS V, T, Q, W c (V~T|W)~QTS V, T, Q, X c (V{T)Q~XTS V, T, R, Q c V~(T{R)|QTS V, T, R, S c (V{R)~T{STS V, T, R, T c (T~T|V)~RTS V, T, R, U c (V{T|R)~UTS V, T, R, W c V~W|T{RTS V, T, R, X c (V|T)~(R~X)TS V, T, S, P c (V{S)~T|PTS V, T, S, Q c (V{T~S)~QTS V, T, S, R c V~(S{R){TTS V, T, S, U c (V{T)~S{UTS V, T, S, W c (VS{T)~WTS V, T, S, X c (V|T{S)~XTS V, T, T, Q c V~(T{Q){TTS V, T, T, R c (T~T|V)~RTS V, T, T, U c (V{T)~T|UTS V, T, T, X c (V|TT)~XTS V, T, U, P c V~(U{P){TTS V, T, U, Q c (V~Q|T)~UTS V, T, U, R c (V{T{U)~RTS V, T, U, S c (V{T)~S{UTS V, T, U, T c (V{T)~T|UTS V, T, U, V c V{T{U~VTS V, T, U, X c (V{T|U)~XTS V, T, V, O c V~V{T{OTS V, T, V, P c V~V{T~PTS V, T, V, U c V{T{V~UTS V, T, V, V c (V{TV)~VTS V, T, V, W c V{T~W{VTS V, T, V, X c (VV{T)~XTS V, T, W, P c V~(W|P){TTS V, T, W, Q c (V~T|W)~QTS V, T, W, R c V~W|T{RTS V, T, W, S c (VS{T)~WTS V, T, W, V c V{T~W{VTS V, T, W, X c (T{W|V)~XTS V, T, X, Q c V{T~X{QTS V, T, X, R c (V|T)~(X~R)TS V, T, X, S c (V|T{S)~XTS V, T, X, T c (V|TT)~XTS V, T, X, U c (V{T|U)~XTS V, T, X, V c (VV{T)~XTS V, T, X, W c (T{W|V)~XTS V, U, O, Q c (V{O{Q)~UTS V, U, O, X c V~O{U~XTS V, U, P, P c (V{P{P)~UTS V, U, P, Q c (V{P~Q)~UTS V, U, P, R c (V|P)~(U{R)TS V, U, P, T c V~(U{P){TTS V, U, P, U c (V{P)~U{UTS V, U, P, V c V~V{U|PTS V, U, P, W c V{U~W|PTS V, U, P, X c X(VU|P)TS V, U, Q, O c (V{Q)~(U{O)TS V, U, Q, P c (V{Q)~(U~P)TS V, U, Q, Q c V~(U{Q)|QTS V, U, Q, R c (V~R{U)~QTS V, U, Q, S c (V{U)~S{QTS V, U, Q, T c (V~Q|T)~UTS V, U, Q, U c V~U{Q~UTS V, U, Q, W c U~(Q~W|V)TS V, U, R, P c (V{R|P)~UTS V, U, R, Q c (V~R{U)~QTS V, U, R, S c V~U{R~STS V, U, R, T c (V{U{T)~RTS V, U, R, U c (V{UR)~UTS V, U, R, W c V~W|URTS V, U, R, X c V~U{R{XTS V, U, S, Q c (V{U)~S{QTS V, U, S, R c V~U{S~RTS V, U, S, S c U~(S~S|V)TS V, U, S, T c (V{T)~S{UTS V, U, S, U c (V{U|S)~UTS V, U, S, W c V~U{S{WTS V, U, T, P c V~(U{P){TTS V, U, T, Q c (V~Q|T)~UTS V, U, T, R c (V{U{T)~RTS V, U, T, S c (V{T)~S{UTS V, U, T, T c (V{T)~T|UTS V, U, T, V c V~U{T{VTS V, U, T, X c (V|U{T)~XTS V, U, U, P c (V{P)~U{UTS V, U, U, Q c V~U{U~QTS V, U, U, R c (V{UR)~UTS V, U, U, S c (V{U|S)~UTS V, U, U, U c V~U{U{UTS V, U, U, W c (V|U{W)~UTS V, U, U, X c (V|U)~(U~X)TS V, U, V, P c V~V{U|PTS V, U, V, T c V{U~V{TTS V, U, V, W c (VV{W)~UTS V, U, V, X c (V{U|V)~XTS V, U, W, P c V{U~W|PTS V, U, W, Q c U~(W~Q|V)TS V, U, W, R c V~W|URTS V, U, W, S c V~U{W{STS V, U, W, U c (V|U{W)~UTS V, U, W, V c (VV{W)~UTS V, U, W, W c V~W{U|WTS V, U, W, X c U~(W|V)~XTS V, U, X, O c V~O{U~XTS V, U, X, P c X(VU|P)TS V, U, X, R c V~U{X{RTS V, U, X, T c (V|U{T)~XTS V, U, X, U c (V|U)~(X~U)TS V, U, X, V c V{U~X|VTS V, U, X, W c (U~X)~(W|V)TS V, V, O, T c V~V{O{TTS V, V, P, Q c V~(V{P)|QTS V, V, P, S c V~V{P{STS V, V, P, T c V~V{P~TTS V, V, P, U c V~V|P{UTS V, V, Q, P c V~(V{P)|QTS V, V, Q, R c V~V{Q{RTS V, V, Q, S c (V{V)~S|QTS V, V, Q, V c V~V|Q{VTS V, V, Q, W c V~(W|QV)TS V, V, Q, X c V~(V{Q)|XTS V, V, R, Q c V~V{R{QTS V, V, R, S c (V{V{S)~RTS V, V, R, W c V~V|R{WTS V, V, S, P c V~V{S{PTS V, V, S, Q c (V{V)~S|QTS V, V, S, R c (V{V{S)~RTS V, V, S, X c V~V|S{XTS V, V, T, O c V~V{T{OTS V, V, T, P c V~V{T~PTS V, V, T, U c (V{V|T)~UTS V, V, T, V c V~(V{TV)TS V, V, T, W c V{V{T~WTS V, V, T, X c (VV{T)~XTS V, V, U, P c V~V{U|PTS V, V, U, T c V{V~U{TTS V, V, U, W c (VV{W)~UTS V, V, U, X c V|V{U~XTS V, V, V, Q c V{V~V|QTS V, V, V, T c V~(V{TV)TS V, V, V, X c (V|VV)~XTS V, V, W, Q c V~(W|QV)TS V, V, W, R c V~V{W|RTS V, V, W, T c V{V{W~TTS V, V, W, U c (VV{W)~UTS V, V, W, X c (V{V|W)~XTS V, V, X, Q c V~(V{Q)|XTS V, V, X, S c V~V{X|STS V, V, X, T c (VV{T)~XTS V, V, X, U c V|V{X~UTS V, V, X, V c (V|VV)~XTS V, V, X, W c (V{V|W)~XTS V, V, X, X c V~(X|XV)TS V, W, O, Q c V~W{O|QTS V, W, P, P c (V~W)|(P{P)TS V, W, P, Q c V~W|P~QTS V, W, P, R c V~W{P|RTS V, W, P, S c (V|PS)~WTS V, W, P, T c V~(W|P){TTS V, W, P, U c V{W~U|PTS V, W, P, X c V~(W{P)|XTS V, W, Q, O c V~W|Q{OTS V, W, Q, P c V~W|Q~PTS V, W, Q, Q c (V{Q)~(W|Q)TS V, W, Q, S c V~W{Q|STS V, W, Q, T c V~Q{W~TTS V, W, Q, U c (W~Q|V)~UTS V, W, Q, V c V~(W|QV)TS V, W, Q, W c (V|QW)~WTS V, W, Q, X c (V~Q|W)~XTS V, W, R, P c V~W|R{PTS V, W, R, R c (V{W{R)~RTS V, W, R, T c V~W{R|TTS V, W, R, U c V~W|URTS V, W, R, V c V~V{W|RTS V, W, R, W c (W~W)|(V{R)TS V, W, R, X c (V{W)~R{XTS V, W, S, P c (V|PS)~WTS V, W, S, Q c V~W|S{QTS V, W, S, T c (VS{T)~WTS V, W, S, U c (V{W)~S|UTS V, W, S, W c V~W|WSTS V, W, T, P c V~(W|P){TTS V, W, T, Q c (V~T|W)~QTS V, W, T, R c V~W|T{RTS V, W, T, S c (VS{T)~WTS V, W, T, V c V{W~T{VTS V, W, T, X c (W|V{T)~XTS V, W, U, P c V{W~U|PTS V, W, U, Q c (W~Q|V)~UTS V, W, U, R c V~W|URTS V, W, U, S c V~W|U{STS V, W, U, U c (V{W|U)~UTS V, W, U, V c (VV{W)~UTS V, W, U, W c V~W{U|WTS V, W, U, X c (W|V)~(U~X)TS V, W, V, Q c V~(W|QV)TS V, W, V, R c V~V{W|RTS V, W, V, T c V~W|V{TTS V, W, V, U c (VV{W)~UTS V, W, V, X c V{W~V|XTS V, W, W, Q c (V|QW)~WTS V, W, W, R c (W~W)|(V{R)TS V, W, W, S c V~W|WSTS V, W, W, U c V~W|W{UTS V, W, W, X c (V|WW)~XTS V, W, X, P c V~(W{P)|XTS V, W, X, Q c (V~Q|W)~XTS V, W, X, R c (V{W)~R{XTS V, W, X, T c (W|V{T)~XTS V, W, X, U c (W|V)~(X~U)TS V, W, X, V c V~W|X{VTS V, W, X, W c (V|WW)~XTS V, W, X, X c (V{W|X)~XTS V, X, O, P c (V{O|P)~XTS V, X, O, U c V~O{X~UTS V, X, O, X c V~X{O|XTS V, X, P, O c (V|P)~(X{O)TS V, X, P, P c (V|P)~(X~P)TS V, X, P, Q c V~(X|P)|QTS V, X, P, U c X(VU|P)TS V, X, P, W c (V~X)|(P{W)TS V, X, P, X c V~X|P~XTS V, X, Q, P c V~(X|P)|QTS V, X, Q, Q c (V|QQ)~XTS V, X, Q, R c (V{X{Q)~RTS V, X, Q, S c (V|S)~(X~Q)TS V, X, Q, T c V~(X|Q){TTS V, X, Q, V c (V~X)|(Q{V)TS V, X, Q, W c (V~Q|W)~XTS V, X, Q, X c (V|Q)~X{XTS V, X, R, Q c (V{X{Q)~RTS V, X, R, R c V~X|R~RTS V, X, R, S c (V{R|S)~XTS V, X, R, T c (V|T)~(X~R)TS V, X, R, U c (V{X)~R{UTS V, X, R, W c (V{W)~R{XTS V, X, R, X c (X|V)~(R~X)TS V, X, S, Q c (V|S)~(X~Q)TS V, X, S, R c (V|S{R)~XTS V, X, S, S c (V|SS)~XTS V, X, S, T c (V~X)|(S{T)TS V, X, S, V c V~V{X|STS V, X, S, X c (V|S)~(X{X)TS V, X, T, Q c V{X~T{QTS V, X, T, R c (V|T)~(X~R)TS V, X, T, S c (V~X)|(T{S)TS V, X, T, T c (V|TT)~XTS V, X, T, U c (V{T|U)~XTS V, X, T, V c (VV{T)~XTS V, X, T, W c X~(T{W|V)TS V, X, U, O c V~O{X~UTS V, X, U, P c X(VU|P)TS V, X, U, R c (V~X)|(U{R)TS V, X, U, T c (V|U{T)~XTS V, X, U, U c (V|U)~(X~U)TS V, X, U, V c V{X~U|VTS V, X, U, W c (X~U)~(W|V)TS V, X, V, Q c (V~X)|(V{Q)TS V, X, V, S c V~V{X|STS V, X, V, T c (VV{T)~XTS V, X, V, U c (V{X|V)~UTS V, X, V, V c (V|VV)~XTS V, X, V, W c (V{V|W)~XTS V, X, V, X c V~(X|XV)TS V, X, W, P c (V~X)|(W{P)TS V, X, W, Q c (V~Q|W)~XTS V, X, W, R c (V{W)~R{XTS V, X, W, T c X~(W|V{T)TS V, X, W, U c X~(W|V)~UTS V, X, W, V c V~W|X{VTS V, X, W, W c (V|WW)~XTS V, X, W, X c (V{W|X)~XTS V, X, X, O c V~X|X{OTS V, X, X, P c V~X|X~PTS V, X, X, Q c (V|Q)~X{XTS V, X, X, R c (X|V)~(X~R)TS V, X, X, S c (V|S)~(X{X)TS V, X, X, V c V~(X|XV)TS V, X, X, W c (V{W|X)~XTS V, X, X, X c (V|XX)~XTS W, O, P, U c (W{O{P)~UTS W, O, Q, V c (W{O)~V|QTS W, O, Q, X c (W{O|Q)~XTS W, O, U, P c (W{O{P)~UTS W, O, U, U c (W{O)~U{UTS W, O, U, X c W~O{U~XTS W, O, V, Q c (W{O)~V|QTS W, O, X, Q c (W{O|Q)~XTS W, O, X, U c W~O{X~UTS W, P, O, U c (W{P{O)~UTS W, P, P, T c (W{P)~(P{T)TS W, P, P, U c (W{P)~(P~U)TS W, P, P, V c (W{P)~(V|P)TS W, P, P, X c (W|P|P)~XTS W, P, Q, R c (W{P)~(Q~R)TS W, P, Q, S c (W{P)~(Q{S)TS W, P, Q, U c (W|P{Q)~UTS W, P, Q, V c W~P~V|QTS W, P, Q, W c (W{P)~(W|Q)TS W, P, Q, X c (W|P~Q)~XTS W, P, R, Q c (W{P)~(R~Q)TS W, P, R, R c (W{P)~(R{R)TS W, P, R, T c (W{R)~T|PTS W, P, R, V c W~V{P|RTS W, P, R, X c (W{P|R)~XTS W, P, S, Q c (W{P)~(S{Q)TS W, P, S, V c W~(V|PS)TS W, P, T, P c (W{P)~(T{P)TS W, P, T, R c (W{R)~T|PTS W, P, T, U c W~(P{T){UTS W, P, T, V c (W|P)~V{TTS W, P, T, X c W{P{T~XTS W, P, U, O c (W{P)~(U{O)TS W, P, U, P c (W{P)~(U~P)TS W, P, U, Q c W~(P{U)|QTS W, P, U, T c W~(P{T){UTS W, P, U, U c W~P~U{UTS W, P, U, V c W~U|P{VTS W, P, U, X c U(P|WX)TS W, P, V, P c (W{P)~(V|P)TS W, P, V, Q c W~P~V|QTS W, P, V, R c W~V{P|RTS W, P, V, S c W~(V|PS)TS W, P, V, T c (W|P)~V{TTS W, P, V, U c W~(V|P){UTS W, P, V, X c (W{P)~V|XTS W, P, W, Q c (W{P)~(W|Q)TS W, P, W, X c (W~W)|(P{X)TS W, P, X, P c (W|P|P)~XTS W, P, X, Q c (W|P~Q)~XTS W, P, X, R c (W{P{X)~RTS W, P, X, T c W{P{X~TTS W, P, X, U c U(P|WX)TS W, P, X, V c (W{P)~V|XTS W, P, X, W c (W~W)|(P{X)TS W, P, X, X c (W|P)~X|XTS W, Q, O, V c (W{O)~V|QTS W, Q, O, X c (W|Q{O)~XTS W, Q, P, R c (W{P)~(Q~R)TS W, Q, P, S c (W{P)~(Q{S)TS W, Q, P, U c (W{Q|P)~UTS W, Q, P, V c W~P~V|QTS W, Q, P, W c (W|Q)~(P{W)TS W, Q, P, X c (W|Q)~(P~X)TS W, Q, Q, R c (W~Q{Q)~RTS W, Q, Q, T c W~(Q{T)|QTS W, Q, Q, U c (W{QQ)~UTS W, Q, Q, V c (W|Q)~(Q{V)TS W, Q, Q, X c (WQ{Q)~XTS W, Q, R, P c (W{P)~(Q~R)TS W, Q, R, Q c (W~Q{Q)~RTS W, Q, R, R c (W|Q)~(R~R)TS W, Q, R, S c W~(R{S)|QTS W, Q, R, T c (W{Q~T)~RTS W, Q, R, U c (W|Q{R)~UTS W, Q, R, W c (W{Q{W)~RTS W, Q, S, P c (W{P)~(Q{S)TS W, Q, S, R c W~(S{R)|QTS W, Q, S, T c (W|Q)~(S{T)TS W, Q, S, U c W~(Q{S){UTS W, Q, S, V c W~V{Q|STS W, Q, S, X c (W{Q|S)~XTS W, Q, T, Q c W~(Q{T)|QTS W, Q, T, R c (W{Q~T)~RTS W, Q, T, S c (W{Q)~T{STS W, Q, T, U c (WQ{T)~UTS W, Q, T, V c W~T{Q~VTS W, Q, T, W c W~W|Q~TTS W, Q, T, X c (W|T)~(Q~X)TS W, Q, U, P c (W{Q|P)~UTS W, Q, U, Q c (W{QQ)~UTS W, Q, U, R c (W|Q)~(U{R)TS W, Q, U, S c W~(Q{S){UTS W, Q, U, T c (WQ{T)~UTS W, Q, U, U c (W{Q)~U|UTS W, Q, U, V c (W~Q|V)~UTS W, Q, U, W c W|Q{U~WTS W, Q, V, O c W~V|Q{OTS W, Q, V, P c W~V|Q~PTS W, Q, V, Q c (W|Q)~(V{Q)TS W, Q, V, S c W~V{Q|STS W, Q, V, T c W~T{Q~VTS W, Q, V, U c (W~Q|V)~UTS W, Q, V, V c (W|QV)~VTS W, Q, V, W c W~(V|QW)TS W, Q, V, X c (Q~V|W)~XTS W, Q, W, P c (W|Q)~(W{P)TS W, Q, W, R c (W{Q{W)~RTS W, Q, W, T c W~W|Q~TTS W, Q, W, U c W|Q{W~UTS W, Q, W, V c W~(V|QW)TS W, Q, W, W c (W~W)|(Q{W)TS W, Q, X, O c (W|Q)~(X{O)TS W, Q, X, P c (W|Q)~(X~P)TS W, Q, X, Q c (WQ{Q)~XTS W, Q, X, S c (W{Q|S)~XTS W, Q, X, T c (W|T)~(Q~X)TS W, Q, X, V c (Q~V|W)~XTS W, Q, X, X c W~X|Q~XTS W, R, P, Q c (W{P)~(R~Q)TS W, R, P, R c (W{P)~(R{R)TS W, R, P, T c (W{R)~T|PTS W, R, P, V c W~V|R{PTS W, R, P, X c (W|R{P)~XTS W, R, Q, P c (W{P)~(R~Q)TS W, R, Q, Q c (W~Q{Q)~RTS W, R, Q, R c (W~R{R)~QTS W, R, Q, S c W~(R{S)|QTS W, R, Q, T c (W{Q~T)~RTS W, R, Q, U c (W{R|Q)~UTS W, R, Q, W c (W{Q{W)~RTS W, R, R, P c (W{P)~(R{R)TS W, R, R, Q c (W~R{R)~QTS W, R, R, U c (W{RR)~UTS W, R, R, V c (W{R{V)~RTS W, R, R, X c (W{X)~R{RTS W, R, S, Q c W~(R{S)|QTS W, R, S, U c (W|R{S)~UTS W, R, S, X c W~RS~XTS W, R, T, P c (W{R)~T|PTS W, R, T, Q c (W{T~Q)~RTS W, R, T, T c (W{T{T)~RTS W, R, T, U c W~R{T~UTS W, R, T, V c W~V{R|TTS W, R, T, X c (W{R|T)~XTS W, R, U, Q c (W{R|Q)~UTS W, R, U, R c (W~R|U)~RTS W, R, U, S c (W|R{S)~UTS W, R, U, T c W~R{U~TTS W, R, U, V c W~V|URTS W, R, U, W c (W{W)~R{UTS W, R, U, X c (W|U)~(R~X)TS W, R, V, P c W~V|R{PTS W, R, V, R c (W{R{V)~RTS W, R, V, T c W~V{R|TTS W, R, V, U c W~V|URTS W, R, V, V c W|R{V~VTS W, R, V, W c (W~W)|(R{V)TS W, R, V, X c (W{V)~R{XTS W, R, W, Q c (W{W{Q)~RTS W, R, W, U c (W{W)~R{UTS W, R, W, V c (W~W)|(R{V)TS W, R, X, P c (W|R{P)~XTS W, R, X, R c (W{X)~R{RTS W, R, X, S c W~R~XSTS W, R, X, T c (W{R|T)~XTS W, R, X, U c W~(X|R){UTS W, R, X, V c (W{V)~R{XTS W, R, X, X c (W|R)~X{XTS W, S, P, Q c (W{P)~(S{Q)TS W, S, P, V c W~(V|PS)TS W, S, Q, P c (W{P)~(S{Q)TS W, S, Q, R c W~(S{R)|QTS W, S, Q, T c (W~S|T)~QTS W, S, Q, U c W~(S{Q){UTS W, S, Q, V c W~V|S{QTS W, S, Q, X c (W{S)Q~XTS W, S, R, Q c W~(S{R)|QTS W, S, R, U c (W{S|R)~UTS W, S, R, X c WS~R~XTS W, S, S, U c (W{S)~S{UTS W, S, S, X c (WS{S)~XTS W, S, T, Q c (W~S|T)~QTS W, S, T, U c (W{S)~T|UTS W, S, T, V c W~(T{VS)TS W, S, T, W c (W|TS)~WTS W, S, U, Q c W~(S{Q){UTS W, S, U, R c (W{S{U)~RTS W, S, U, S c (W{S)~S{UTS W, S, U, T c (W{S)~T|UTS W, S, U, V c W{S{U~VTS W, S, U, W c (W~W)|(S{U)TS W, S, U, X c (W{S|U)~XTS W, S, V, P c W~(V|PS)TS W, S, V, Q c W~V|S{QTS W, S, V, T c W~(VS{T)TS W, S, V, U c W{S{V~UTS W, S, V, W c W~V|WSTS W, S, W, T c W~(W|TS)TS W, S, W, U c (W~W)|(S{U)TS W, S, W, V c W~V|WSTS W, S, W, X c (W|WS)~XTS W, S, X, Q c (W{S)~(XQ)TS W, S, X, R c WS~X~RTS W, S, X, S c (WS{S)~XTS W, S, X, U c (W{S|U)~XTS W, S, X, W c (W|WS)~XTS W, S, X, X c W~(X|XS)TS W, T, P, P c (W{P)~(T{P)TS W, T, P, R c (W{R)~T|PTS W, T, P, U c W~(T{P){UTS W, T, P, V c (W|P)~V{TTS W, T, P, X c W{T~X{PTS W, T, Q, Q c W~(T{Q)|QTS W, T, Q, R c (W{T~Q)~RTS W, T, Q, S c (W{T)~S{QTS W, T, Q, U c (WQ{T)~UTS W, T, Q, V c W~T{Q~VTS W, T, Q, W c W~W|T~QTS W, T, Q, X c (W|T)~(Q~X)TS W, T, R, P c (W{R)~T|PTS W, T, R, Q c (W{T~Q)~RTS W, T, R, T c (W{T{T)~RTS W, T, R, U c (W|T)~(R~U)TS W, T, R, V c W~V|T{RTS W, T, R, X c (W|T{R)~XTS W, T, S, Q c (W{T)~S{QTS W, T, S, U c (W{T|S)~UTS W, T, S, V c W~(T{VS)TS W, T, S, W c (W|TS)~WTS W, T, T, R c (W{T{T)~RTS W, T, T, U c (W{TT)~UTS W, T, T, W c (W~W)|(T{T)TS W, T, T, X c W~T{T{XTS W, T, U, P c W~(T{P){UTS W, T, U, Q c (WQ{T)~UTS W, T, U, R c (W|T)~(U~R)TS W, T, U, S c (W{T|S)~UTS W, T, U, T c (W{TT)~UTS W, T, U, U c (W|T{U)~UTS W, T, U, W c W~T{U{WTS W, T, V, P c (W|P)~V{TTS W, T, V, Q c W~T{V~QTS W, T, V, R c W~V|T{RTS W, T, V, S c W~(T{VS)TS W, T, V, V c W~T{V{VTS W, T, V, X c (W{T|V)~XTS W, T, W, Q c W~W|T~QTS W, T, W, S c (W|TS)~WTS W, T, W, T c (W~W)|(T{T)TS W, T, W, U c W{T~W{UTS W, T, W, X c (WW{T)~XTS W, T, X, P c W{T~X{PTS W, T, X, Q c (W|T)~(X~Q)TS W, T, X, R c (W|T{R)~XTS W, T, X, T c W~T{X{TTS W, T, X, V c (W{T|V)~XTS W, T, X, W c (WW{T)~XTS W, T, X, X c (W|T)~(X{X)TS W, U, O, P c (W{O{P)~UTS W, U, O, U c W~U{O{UTS W, U, O, X c W~O{U~XTS W, U, P, O c (W{P)~(U{O)TS W, U, P, P c (W{P)~(U~P)TS W, U, P, Q c W~(U{P)|QTS W, U, P, T c W~U{P{TTS W, U, P, U c W~U{P~UTS W, U, P, V c W~U|P{VTS W, U, P, X c U(P|WX)TS W, U, Q, P c W~(U{P)|QTS W, U, Q, Q c (W{QQ)~UTS W, U, Q, R c W~U{Q~RTS W, U, Q, S c W~U{Q{STS W, U, Q, T c (WQ{T)~UTS W, U, Q, U c (W{Q)~U|UTS W, U, Q, V c (W~Q|V)~UTS W, U, Q, W c W~U|Q{WTS W, U, R, Q c W~U{R~QTS W, U, R, R c W~U{R{RTS W, U, R, S c W~(U{RS)TS W, U, R, T c W~R{U~TTS W, U, R, V c W~V|URTS W, U, R, W c (W{W)~R{UTS W, U, R, X c (W|U)~(R~X)TS W, U, S, Q c (W{U)~S|QTS W, U, S, R c (W{U{S)~RTS W, U, S, S c (W{S)~S{UTS W, U, S, T c (W{S)~T|UTS W, U, S, V c W{U~V{STS W, U, S, W c (W~W)|(U{S)TS W, U, S, X c (W|U{S)~XTS W, U, T, P c W~U{T{PTS W, U, T, Q c (WQ{T)~UTS W, U, T, R c (W|T)~(U~R)TS W, U, T, S c (W{T|S)~UTS W, U, T, T c (W{TT)~UTS W, U, T, U c (W{U|T)~UTS W, U, T, W c W{U{T~WTS W, U, U, O c W~U{U{OTS W, U, U, P c W~U{U~PTS W, U, U, Q c (W{Q)~U|UTS W, U, U, T c (W{U|T)~UTS W, U, U, U c (W{UU)~UTS W, U, U, V c (W|U{V)~UTS W, U, U, W c W~(U{UW)TS W, U, V, P c W~U{V|PTS W, U, V, Q c (W~Q|V)~UTS W, U, V, R c W~V|URTS W, U, V, S c W{U~V{STS W, U, V, U c (W|U{V)~UTS W, U, V, V c (W{VV)~UTS W, U, V, W c W~V{U|WTS W, U, V, X c (W|V)~(U~X)TS W, U, W, Q c W{U~W|QTS W, U, W, R c (W{W)~R{UTS W, U, W, S c (W~W)|(U{S)TS W, U, W, T c W{U{W~TTS W, U, W, U c W~(UW{U)TS W, U, W, V c (W{W|V)~UTS W, U, W, W c (W{WW)~UTS W, U, W, X c (W{U|W)~XTS W, U, X, O c W~O{U~XTS W, U, X, P c U(P|WX)TS W, U, X, R c (W|U)~(X~R)TS W, U, X, S c (W|U{S)~XTS W, U, X, V c (W|V)~(U~X)TS W, U, X, W c W{U~X|WTS W, U, X, X c (W{XX)~UTS W, V, O, Q c W~V{O|QTS W, V, P, P c (W~V)|(P{P)TS W, V, P, Q c W~V|P~QTS W, V, P, R c W~V{P|RTS W, V, P, S c W~(V|PS)TS W, V, P, T c (W|P)~V{TTS W, V, P, U c W~(V|P){UTS W, V, P, X c (W{P)~V|XTS W, V, Q, O c W~V|Q{OTS W, V, Q, P c W~V|Q~PTS W, V, Q, Q c (W|Q)~(V{Q)TS W, V, Q, S c W~V{Q|STS W, V, Q, T c W~T{V~QTS W, V, Q, U c (W~Q|V)~UTS W, V, Q, V c (W|QV)~VTS W, V, Q, W c W~(V|QW)TS W, V, Q, X c (V~Q|W)~XTS W, V, R, P c W~V|R{PTS W, V, R, R c (W{V{R)~RTS W, V, R, T c W~V{R|TTS W, V, R, U c W~V|URTS W, V, R, V c W{V~V|RTS W, V, R, W c (W~W)|(V{R)TS W, V, R, X c (W{V)~R{XTS W, V, S, P c W~(V|PS)TS W, V, S, Q c W~V|S{QTS W, V, S, T c W~(VS{T)TS W, V, S, U c (W{V)~S|UTS W, V, S, W c W~V|WSTS W, V, T, P c (W|P)~V{TTS W, V, T, Q c W~T{V~QTS W, V, T, R c W~V|T{RTS W, V, T, S c W~(VS{T)TS W, V, T, V c W~V{T|VTS W, V, T, X c (W|V{T)~XTS W, V, U, P c W~(V|P){UTS W, V, U, Q c (W~Q|V)~UTS W, V, U, R c W~V|URTS W, V, U, S c W{V~U{STS W, V, U, U c (W{V|U)~UTS W, V, U, V c (W{VV)~UTS W, V, U, W c W~V{U|WTS W, V, U, X c (W|V)~(U~X)TS W, V, V, Q c (W|QV)~VTS W, V, V, R c W{V~V|RTS W, V, V, T c W~V|V{TTS W, V, V, U c (W{VV)~UTS W, V, V, X c W~V{V|XTS W, V, W, Q c W~(V|QW)TS W, V, W, R c (W~W)|(V{R)TS W, V, W, S c W~V|WSTS W, V, W, U c (W|V{W)~UTS W, V, W, X c (V|WW)~XTS W, V, X, P c (W{P)~V|XTS W, V, X, Q c (V~Q|W)~XTS W, V, X, R c (W{V)~R{XTS W, V, X, T c (W|V{T)~XTS W, V, X, U c (W|V)~(X~U)TS W, V, X, V c W~V|X{VTS W, V, X, W c (V|WW)~XTS W, V, X, X c (W{V|X)~XTS W, W, P, Q c W~(W|P)|QTS W, W, P, X c (W~W)|(P{X)TS W, W, Q, P c W~(W|P)|QTS W, W, Q, R c (W{W{Q)~RTS W, W, Q, T c W~W|Q~TTS W, W, Q, U c W~(W|Q){UTS W, W, Q, V c W~(V|QW)TS W, W, Q, W c (W~W)|(Q{W)TS W, W, R, Q c (W{W{Q)~RTS W, W, R, U c (W{W)~R{UTS W, W, R, V c (W~W)|(R{V)TS W, W, S, T c W~(W|TS)TS W, W, S, U c (W~W)|(S{U)TS W, W, S, V c W~V|WSTS W, W, S, X c (W|WS)~XTS W, W, T, Q c W~W|T~QTS W, W, T, S c W~(W|TS)TS W, W, T, T c (W~W)|(T{T)TS W, W, T, U c W{W~T{UTS W, W, T, X c (WW{T)~XTS W, W, U, Q c W{W~U|QTS W, W, U, R c (W{W)~R{UTS W, W, U, S c (W~W)|(U{S)TS W, W, U, T c W{W~T{UTS W, W, U, U c W~(UW{U)TS W, W, U, V c (W{W|V)~UTS W, W, U, W c (W{WW)~UTS W, W, U, X c W|W{U~XTS W, W, V, Q c W~(V|QW)TS W, W, V, R c (W~W)|(V{R)TS W, W, V, S c W~V|WSTS W, W, V, U c (W{W|V)~UTS W, W, V, X c (V|WW)~XTS W, W, W, Q c (W~W)|(W{Q)TS W, W, W, U c (W{WW)~UTS W, W, X, P c (W~W)|(X{P)TS W, W, X, S c (W|WS)~XTS W, W, X, T c (WW{T)~XTS W, W, X, U c W|W{X~UTS W, W, X, V c X~(V|WW)TS W, X, O, Q c (W{O|Q)~XTS W, X, O, U c W~O{X~UTS W, X, P, P c (W|P|P)~XTS W, X, P, Q c (W|P~Q)~XTS W, X, P, R c (W{X{P)~RTS W, X, P, T c W{X~T{PTS W, X, P, U c U(P|WX)TS W, X, P, V c (W{P)~V|XTS W, X, P, W c (W~W)|(X{P)TS W, X, P, X c (W|P)~X|XTS W, X, Q, O c (W|Q)~(X{O)TS W, X, Q, P c (W|Q)~(X~P)TS W, X, Q, Q c W~(X|Q)|QTS W, X, Q, S c (W{Q|S)~XTS W, X, Q, T c (W|T)~(X~Q)TS W, X, Q, V c X~(Q~V|W)TS W, X, Q, X c W~X|Q~XTS W, X, R, P c (W{X{P)~RTS W, X, R, R c (W{X)~R{RTS W, X, R, S c W~X~RSTS W, X, R, T c (W{R|T)~XTS W, X, R, U c W~(X|R){UTS W, X, R, V c (W{V)~R{XTS W, X, R, X c (W|R)~X{XTS W, X, S, Q c (W{S)~(XQ)TS W, X, S, R c W~XS~RTS W, X, S, S c (WS{S)~XTS W, X, S, U c (W{S|U)~XTS W, X, S, W c (W|WS)~XTS W, X, S, X c W~(X|XS)TS W, X, T, P c W{X~T{PTS W, X, T, Q c (W|T)~(X~Q)TS W, X, T, R c (W|T{R)~XTS W, X, T, T c W~T{X{TTS W, X, T, V c (W{T|V)~XTS W, X, T, W c (WW{T)~XTS W, X, T, X c (W|T)~(X{X)TS W, X, U, O c W~O{X~UTS W, X, U, P c U(P|WX)TS W, X, U, R c W~X|U~RTS W, X, U, S c (W|U{S)~XTS W, X, U, V c (W|V)~(X~U)TS W, X, U, W c W{X~U|WTS W, X, U, X c (W{XX)~UTS W, X, V, P c (W{P)~V|XTS W, X, V, Q c X~(V~Q|W)TS W, X, V, R c (W{V)~R{XTS W, X, V, T c (W|V{T)~XTS W, X, V, U c (W|V)~(X~U)TS W, X, V, V c W~V|X{VTS W, X, V, W c X~(V|WW)TS W, X, V, X c (W{V|X)~XTS W, X, W, P c (W~W)|(X{P)TS W, X, W, S c (W|WS)~XTS W, X, W, T c (WW{T)~XTS W, X, W, U c (W{X|W)~UTS W, X, W, V c X~(V|WW)TS W, X, X, P c (W|P)~X|XTS W, X, X, Q c W~X|X~QTS W, X, X, R c (W|R)~X{XTS W, X, X, S c W~(X|XS)TS W, X, X, T c (W|T)~(X{X)TS W, X, X, U c (W{XX)~UTS W, X, X, V c (W{V|X)~XTS W, X, X, X c (W~X)|(X{X)TS X, O, O, U c (X{O{O)~UTS X, O, P, T c (X{O)~(P{T)TS X, O, P, U c (X{O)~(P~U)TS X, O, P, V c (X{O)~(V|P)TS X, O, Q, R c (X{O)~(Q~R)TS X, O, Q, S c (X{O)~(Q{S)TS X, O, Q, U c (X{O~Q)~UTS X, O, Q, W c (X{O)~(W|Q)TS X, O, R, Q c (X{O)~(R~Q)TS X, O, R, R c (X{O)~(R{R)TS X, O, R, U c (X{O~R)~UTS X, O, R, X c (X{O|R)~XTS X, O, S, Q c (X{O)~(S{Q)TS X, O, S, U c (X{O~S)~UTS X, O, T, P c (X{O)~(T{P)TS X, O, T, U c (X{O~T)~UTS X, O, T, X c X{O{T~XTS X, O, U, O c (X{O)~(U{O)TS X, O, U, P c (X{O)~(U~P)TS X, O, U, Q c (X{O~Q)~UTS X, O, U, R c (X{O~R)~UTS X, O, U, S c (X{O~S)~UTS X, O, U, T c (X{O~T)~UTS X, O, U, U c (X{O~U)~UTS X, O, U, V c (X{O~V)~UTS X, O, U, W c (X{O~W)~UTS X, O, U, X c X~O{U~XTS X, O, V, P c (X{O)~(V|P)TS X, O, V, U c (X{O~V)~UTS X, O, V, X c (X{O)~V|XTS X, O, W, Q c (X{O)~(W|Q)TS X, O, W, U c (X{O~W)~UTS X, O, X, R c (X{O{X)~RTS X, O, X, T c X{O{X~TTS X, O, X, U c (X{O~X)~UTS X, O, X, V c (X{O)~V|XTS X, P, O, T c X~(P{O{T)TS X, P, O, U c (X{P~O)~UTS X, P, O, V c (X{O)~(V|P)TS X, P, P, R c X~(P{P)~RTS X, P, P, S c X~(P{P{S)TS X, P, P, T c X~(P{P~T)TS X, P, P, U c (X{P|P)~UTS X, P, P, V c (X~P)~(V|P)TS X, P, P, W c X~(W|P|P)TS X, P, Q, Q c X~(P{Q)~QTS X, P, Q, R c X~(P{Q{R)TS X, P, Q, S c (X~P)~(Q{S)TS X, P, Q, T c X~(Q|P{T)TS X, P, Q, U c X~(Q|P)~UTS X, P, Q, V c (X|P)~V|QTS X, P, Q, W c (X~P)~(W|Q)TS X, P, Q, X c (X|P|Q)~XTS X, P, R, P c X~(P{P)~RTS X, P, R, Q c X~(P{R{Q)TS X, P, R, R c (X~P)~(R{R)TS X, P, R, S c X~(R|P{S)TS X, P, R, W c (X{P{W)~RTS X, P, R, X c (X|P~R)~XTS X, P, S, P c X~(P{S{P)TS X, P, S, Q c (X~P)~(S{Q)TS X, P, S, R c X~(S|P{R)TS X, P, S, T c (X{P)~T{STS X, P, S, X c X{(P{S)~XTS X, P, T, O c X~(P{T){OTS X, P, T, P c X~(P{T)~PTS X, P, T, Q c X~(T|P{Q)TS X, P, T, S c (X{P)~T{STS X, P, T, U c X(P|TU)TS X, P, T, W c X{(P{W)~TTS X, P, T, X c X{P~T~XTS X, P, U, O c X~P~U{OTS X, P, U, P c X~(P{U|P)TS X, P, U, Q c (X~U)~(Q|P)TS X, P, U, T c X(P|TU)TS X, P, U, U c (X{P)~U|UTS X, P, U, V c X(VU|P)TS X, P, U, W c U(P|WX)TS X, P, U, X c X~(P{U)|XTS X, P, V, O c X~(V|P){OTS X, P, V, P c (X~P)~(V|P)TS X, P, V, Q c (X|P)~V|QTS X, P, V, U c X(VU|P)TS X, P, V, W c (X~V)|(P{W)TS X, P, V, X c X~P~V|XTS X, P, W, P c X~(W|P|P)TS X, P, W, Q c (X~P)~(W|Q)TS X, P, W, R c (X{P{W)~RTS X, P, W, T c X{(P{W)~TTS X, P, W, U c U(P|WX)TS X, P, W, V c (X~V)|(P{W)TS X, P, W, W c (W~W)|(X{P)TS X, P, W, X c X~(W|P)|XTS X, P, X, Q c (X|P|Q)~XTS X, P, X, R c (X{P~X)~RTS X, P, X, S c X~(P{X|S)TS X, P, X, T c X{P~X~TTS X, P, X, U c X~(P{U)|XTS X, P, X, V c X~P~V|XTS X, P, X, W c X~(W|P)|XTS X, Q, O, R c (X~Q{O)~RTS X, Q, O, S c X~(Q{O{S)TS X, Q, O, U c (X{Q~O)~UTS X, Q, O, W c (X{O)~(W|Q)TS X, Q, P, Q c X~(Q{P)~QTS X, Q, P, R c X~(Q{P{R)TS X, Q, P, S c X~(Q{P~S)TS X, Q, P, T c X~(Q|P{T)TS X, Q, P, U c X~(Q|P)~UTS X, Q, P, V c (X|P)~V|QTS X, Q, P, W c (X~P)~(W|Q)TS X, Q, P, X c (X|Q|P)~XTS X, Q, Q, P c (X~Q)~(Q{P)TS X, Q, Q, Q c X~(Q{Q{Q)TS X, Q, Q, S c X~(Q~S|Q)TS X, Q, Q, T c X~(QQ{T)TS X, Q, Q, U c (X{Q|Q)~UTS X, Q, Q, V c X~(V|QQ)TS X, Q, Q, W c (X|Q)~W|QTS X, Q, Q, X c (X{Q~X)~QTS X, Q, R, O c X~Q~R{OTS X, Q, R, P c X~(Q{R{P)TS X, Q, R, S c XQ~R~STS X, Q, R, T c X~(R|Q{T)TS X, Q, R, U c (X~Q)~(U|R)TS X, Q, R, V c (X{Q{V)~RTS X, Q, R, X c X{(Q{R)~XTS X, Q, S, O c X~(Q{S){OTS X, Q, S, P c X~(Q{S)~PTS X, Q, S, Q c X~(Q~S|Q)TS X, Q, S, R c XQ~S~RTS X, Q, S, S c X~(S|Q{S)TS X, Q, S, T c X~(Q~T|S)TS X, Q, S, V c (X~Q)~(V|S)TS X, Q, S, W c (XQ)~(S{W)TS X, Q, S, X c X~Q{S~XTS X, Q, T, P c (X{Q)~T|PTS X, Q, T, Q c (X~Q)~(T|Q)TS X, Q, T, R c X~(T|Q{R)TS X, Q, T, S c X~(Q~T|S)TS X, Q, T, V c (XQ)~(T{V)TS X, Q, T, W c (X~Q)~(W|T)TS X, Q, T, X c (X{Q|T)~XTS X, Q, U, O c (X{Q~O)~UTS X, Q, U, P c X~(Q|P)~UTS X, Q, U, Q c X~(Q{U|Q)TS X, Q, U, R c (X~Q)~(U|R)TS X, Q, U, U c X~Q{U~UTS X, Q, U, X c (X~Q|X)~UTS X, Q, V, P c X~(V|Q{P)TS X, Q, V, Q c X~(V|QQ)TS X, Q, V, R c (X{Q{V)~RTS X, Q, V, S c (X~Q)~(V|S)TS X, Q, V, T c X{(Q{V)~TTS X, Q, V, V c (X~V)|(Q{V)TS X, Q, V, W c X~(Q~V|W)TS X, Q, V, X c X{(V|Q)~XTS X, Q, W, O c X~(W|Q){OTS X, Q, W, P c X~(W|Q)~PTS X, Q, W, Q c (X|Q)~W|QTS X, Q, W, S c X~(Q{W|S)TS X, Q, W, T c (X~Q)~(W|T)TS X, Q, W, V c X~(Q~V|W)TS X, Q, W, X c X~W|Q~XTS X, Q, X, P c (X|Q|P)~XTS X, Q, X, Q c (X{Q~X)~QTS X, Q, X, R c X~Q~XRTS X, Q, X, S c X~Q{X~STS X, Q, X, T c X~(Q{X|T)TS X, Q, X, U c (X~Q|X)~UTS X, Q, X, V c X{X~(V|Q)TS X, Q, X, W c X~W|Q~XTS X, Q, X, X c (X|Q)~X|XTS X, R, O, Q c (X~R{O)~QTS X, R, O, R c X~(R{O{R)TS X, R, O, U c (X{R~O)~UTS X, R, O, X c (X|R{O)~XTS X, R, P, P c (X~R)~(P{P)TS X, R, P, Q c X~(R{P{Q)TS X, R, P, R c X~(R{P~R)TS X, R, P, S c X~(R|P{S)TS X, R, P, W c (X|R)~(P{W)TS X, R, P, X c (X|R)~(P~X)TS X, R, Q, O c X~R~Q{OTS X, R, Q, P c X~(R{Q{P)TS X, R, Q, S c X~RQ~STS X, R, Q, T c X~(R|Q{T)TS X, R, Q, U c X~(R|Q)~UTS X, R, Q, V c (X|R)~(Q{V)TS X, R, Q, X c X{(R{Q)~XTS X, R, R, O c X~(R{R){OTS X, R, R, P c X~(R{R)~PTS X, R, R, R c (X{R~R)~RTS X, R, R, T c X{R~R~TTS X, R, R, U c (X{R|R)~UTS X, R, R, V c X~V|R~RTS X, R, R, W c (X{W)~R{RTS X, R, R, X c X~R{R~XTS X, R, S, P c X~(R{S|P)TS X, R, S, Q c (X~R)~(S|Q)TS X, R, S, T c (X|R)~(S{T)TS X, R, S, U c (X{R)~S{UTS X, R, S, V c X~(R{V|S)TS X, R, S, W c X~RS~WTS X, R, S, X c X~(R{S)|XTS X, R, T, Q c X~(R{T|Q)TS X, R, T, R c X{R~T~RTS X, R, T, S c (X|R)~(T{S)TS X, R, T, U c (X{R)~T|UTS X, R, T, V c (X~R)~(V|T)TS X, R, T, W c X~(R{W|T)TS X, R, T, X c X~(R~T|X)TS X, R, U, O c (X{R~O)~UTS X, R, U, Q c (X{R~U)~QTS X, R, U, R c (X{R{U)~RTS X, R, U, S c (X~R)~(U|S)TS X, R, U, T c X{(R{U)~TTS X, R, U, U c (XR{U)~UTS X, R, U, V c X{R{U~VTS X, R, U, W c X|R{U~WTS X, R, U, X c (X{R|U)~XTS X, R, V, Q c (X|R)~(V{Q)TS X, R, V, R c X~V|R~RTS X, R, V, S c X~(R{V|S)TS X, R, V, T c (X~R)~(V|T)TS X, R, V, U c X{R{V~UTS X, R, V, W c X{R~(V{W)TS X, R, V, X c (X~R)~(X|V)TS X, R, W, P c (X|R)~(W{P)TS X, R, W, R c (X{W)~R{RTS X, R, W, S c X~R~WSTS X, R, W, T c X~(R{W|T)TS X, R, W, U c X|R{W~UTS X, R, W, V c X{R~(W{V)TS X, R, W, X c X{(W|R)~XTS X, R, X, O c (X|R)~(X{O)TS X, R, X, P c (X|R)~(X~P)TS X, R, X, Q c (X{R)~(XQ)TS X, R, X, R c X~R{X~RTS X, R, X, S c X~(R{S)|XTS X, R, X, T c X~(R~T|X)TS X, R, X, U c X{R~(X{U)TS X, R, X, V c (X~R)~(X|V)TS X, R, X, W c X{X~(W|R)TS X, R, X, X c (XR)~(X{X)TS X, S, O, Q c X~(S{O{Q)TS X, S, O, U c (X{S~O)~UTS X, S, P, P c X~(S{P{P)TS X, S, P, Q c X~(S{P~Q)TS X, S, P, R c X~(S|P{R)TS X, S, P, T c (X{P)~T{STS X, S, P, X c X{(S{P)~XTS X, S, Q, O c X~(S{Q){OTS X, S, Q, P c X~(S{Q)~PTS X, S, Q, Q c X~(S~Q|Q)TS X, S, Q, R c X~(S|Q)~RTS X, S, Q, S c X~(S|Q{S)TS X, S, Q, T c X~(Q~T|S)TS X, S, Q, V c (X~Q)~(V|S)TS X, S, Q, W c X~(S{W)QTS X, S, Q, X c X~S{Q~XTS X, S, R, P c X~(S{R|P)TS X, S, R, Q c X~S~RQTS X, S, R, T c X~(S|R{T)TS X, S, R, U c X~S{R~UTS X, S, R, V c X~(R{V|S)TS X, S, R, W c XS~R~WTS X, S, R, X c X~(S{R)|XTS X, S, S, Q c (X{S)~S{QTS X, S, S, T c X~(SS{T)TS X, S, S, U c (X{S|S)~UTS X, S, S, V c X~(V|SS)TS X, S, S, W c X~(S{WS)TS X, S, T, P c (X{P)~T{STS X, S, T, Q c (X{T)~S|QTS X, S, T, R c (X{S{T)~RTS X, S, T, S c X~(SS{T)TS X, S, T, T c X{(S{T)~TTS X, S, T, U c X~(T|S)~UTS X, S, T, V c X~(S{V|T)TS X, S, U, O c (X{S~O)~UTS X, S, U, R c X~S{U~RTS X, S, U, S c X~(S{U|S)TS X, S, U, T c (X~U)~(T|S)TS X, S, U, U c (X{U)~S|UTS X, S, U, W c X~(S{W|U)TS X, S, U, X c X~SU~XTS X, S, V, Q c X~(V|S)~QTS X, S, V, R c X~(V|S{R)TS X, S, V, S c X~(V|SS)TS X, S, V, T c X~(S{V|T)TS X, S, V, V c X|S{V~VTS X, S, V, X c (X{S|V)~XTS X, S, W, Q c X~(S{W)QTS X, S, W, R c XS~W~RTS X, S, W, S c X~(S{WS)TS X, S, W, U c X~(S{W|U)TS X, S, W, W c X~(W|WS)TS X, S, W, X c (X|XS)~WTS X, S, X, P c X{(S{P)~XTS X, S, X, Q c X~S{X~QTS X, S, X, R c X~(S{R)|XTS X, S, X, U c X~S~XUTS X, S, X, V c X~(S{X|V)TS X, S, X, W c (X|XS)~WTS X, S, X, X c X{S~X{XTS X, T, O, P c X~(T{O{P)TS X, T, O, U c (X{T~O)~UTS X, T, O, X c X{(T{O)~XTS X, T, P, O c X~(T{P){OTS X, T, P, P c X~(T{P)~PTS X, T, P, Q c X~(T|P{Q)TS X, T, P, S c (X{P)~T{STS X, T, P, U c X(P|TU)TS X, T, P, W c X{T~(P{W)TS X, T, P, X c X{T~P~XTS X, T, Q, P c X~(T{Q|P)TS X, T, Q, Q c X~(T{QQ)TS X, T, Q, R c X~(T|Q{R)TS X, T, Q, S c X~(T~Q|S)TS X, T, Q, V c X{T~(Q{V)TS X, T, Q, W c (X~Q)~(W|T)TS X, T, Q, X c (X|T{Q)~XTS X, T, R, Q c X~(T{R|Q)TS X, T, R, R c X{T~R~RTS X, T, R, S c X~(T|R{S)TS X, T, R, U c X{T~(R{U)TS X, T, R, V c (X~R)~(V|T)TS X, T, R, W c X~(R{W|T)TS X, T, R, X c X~(T~R|X)TS X, T, S, P c (X{P)~T{STS X, T, S, Q c (X{T)~S|QTS X, T, S, R c (X{T{S)~RTS X, T, S, S c X~(T{SS)TS X, T, S, T c X{(T{S)~TTS X, T, S, U c X~(T|S)~UTS X, T, S, V c X~(S{V|T)TS X, T, T, S c X{T~(T{S)TS X, T, T, T c X~(T{TT)TS X, T, T, U c (X{T|T)~UTS X, T, T, V c X~(V|TT)TS X, T, T, W c X{T{T~WTS X, T, T, X c (XT{X)~TTS X, T, U, O c (X{T~O)~UTS X, T, U, P c X(P|TU)TS X, T, U, R c X{T~(U{R)TS X, T, U, S c X~(T|S)~UTS X, T, U, T c X~(T{U|T)TS X, T, U, U c X~(T{UU)TS X, T, U, V c X~(T{V|U)TS X, T, V, Q c X{T~(V{Q)TS X, T, V, R c X~(V|T)~RTS X, T, V, S c (X~V)|(T{S)TS X, T, V, T c X~(V|TT)TS X, T, V, U c X~(T{V|U)TS X, T, V, V c X~(T{VV)TS X, T, V, W c X~(T{W|V)TS X, T, W, P c X{T~(W{P)TS X, T, W, Q c X~(W|T)~QTS X, T, W, R c X~(W|T{R)TS X, T, W, T c X{T{W~TTS X, T, W, V c X~(T{W|V)TS X, T, W, W c X~(T{WW)TS X, T, W, X c (X{T|W)~XTS X, T, X, O c X{T~X{OTS X, T, X, P c X{T~X~PTS X, T, X, Q c (X|T{Q)~XTS X, T, X, R c X~(T~R|X)TS X, T, X, T c (XT{X)~TTS X, T, X, W c X~(T{X|W)TS X, T, X, X c X~(T{XX)TS X, U, O, O c X~U{O{OTS X, U, O, P c X~U{O~PTS X, U, O, Q c X~U{O~QTS X, U, O, R c X~U{O~RTS X, U, O, S c X~U{O~STS X, U, O, T c X~U{O~TTS X, U, O, U c (X{U~O)~UTS X, U, O, V c X~U{O~VTS X, U, O, W c X~U{O~WTS X, U, O, X c X~U{O~XTS X, U, P, O c X~U{P~OTS X, U, P, P c X~U{P|PTS X, U, P, Q c (X~U)~(Q|P)TS X, U, P, T c X(P|TU)TS X, U, P, U c (X{P)~U|UTS X, U, P, V c X(VU|P)TS X, U, P, W c U(P|WX)TS X, U, P, X c X{(U|P)~XTS X, U, Q, O c X~U{Q~OTS X, U, Q, P c (X~U)~(Q|P)TS X, U, Q, Q c X~U{Q|QTS X, U, Q, R c X~(UQ{R)TS X, U, Q, U c X~(U~Q|U)TS X, U, Q, X c (X|U)~(Q~X)TS X, U, R, O c X~U{R~OTS X, U, R, Q c (X{U~R)~QTS X, U, R, R c (X{U{R)~RTS X, U, R, S c X~(UR{S)TS X, U, R, T c X{(U{R)~TTS X, U, R, U c (X|U)~(R~U)TS X, U, R, V c X{U~V{RTS X, U, R, W c X{U~W|RTS X, U, R, X c (X{U)~R{XTS X, U, S, O c X~U{S~OTS X, U, S, R c X~(U|S)~RTS X, U, S, S c X~U{S|STS X, U, S, T c (X~U)~(T|S)TS X, U, S, U c (X{U)~S|UTS X, U, S, W c X~(S{W|U)TS X, U, S, X c XU~S~XTS X, U, T, O c X~U{T~OTS X, U, T, P c X(P|TU)TS X, U, T, R c X{(U{R)~TTS X, U, T, S c (X~U)~(T|S)TS X, U, T, T c X~U{T|TTS X, U, T, U c X~(U|T)~UTS X, U, T, V c X~(T{V|U)TS X, U, U, O c X~U{U~OTS X, U, U, P c (X{P)~U|UTS X, U, U, Q c X~(U{U)QTS X, U, U, R c (X|U)~(U~R)TS X, U, U, S c (X{U)~S|UTS X, U, U, T c (X~U)~(U|T)TS X, U, U, U c (X{U|U)~UTS X, U, U, V c (X~U)~(V|U)TS X, U, U, X c X{U~U{XTS X, U, V, O c X~U{V~OTS X, U, V, P c X(VU|P)TS X, U, V, R c X{U~V{RTS X, U, V, T c X~(V|U{T)TS X, U, V, U c (X~U)~(V|U)TS X, U, V, V c X~U{V|VTS X, U, V, W c (X~U)~(W|V)TS X, U, W, O c X~U{W~OTS X, U, W, P c U(P|WX)TS X, U, W, R c X{U~W|RTS X, U, W, S c X~(W|U{S)TS X, U, W, V c (X~U)~(W|V)TS X, U, W, W c X~U{W|WTS X, U, W, X c (X~U)~(X|W)TS X, U, X, O c X~U{X~OTS X, U, X, P c X{(U|P)~XTS X, U, X, Q c (X|U)~(X~Q)TS X, U, X, R c X{(U{X)~RTS X, U, X, S c XU~X~STS X, U, X, U c X{U~U{XTS X, U, X, W c (X~U)~(X|W)TS X, U, X, X c (X{U|X)~XTS X, V, O, P c X~(V{O|P)TS X, V, O, U c (X{V~O)~UTS X, V, O, X c X~V{O|XTS X, V, P, O c X~(V|P){OTS X, V, P, P c X~(V|P)~PTS X, V, P, Q c X~(V{P|Q)TS X, V, P, U c X(VU|P)TS X, V, P, W c (X~V)|(P{W)TS X, V, P, X c X~V|P~XTS X, V, Q, P c X~(V|Q{P)TS X, V, Q, Q c X~(V|QQ)TS X, V, Q, R c (X{V{Q)~RTS X, V, Q, S c X~(V|S)~QTS X, V, Q, T c X{(V{Q)~TTS X, V, Q, V c (X~V)|(Q{V)TS X, V, Q, W c X~(V~Q|W)TS X, V, Q, X c X{(V|Q)~XTS X, V, R, Q c X~(V|R{Q)TS X, V, R, R c X~V|R~RTS X, V, R, S c X~(V{R|S)TS X, V, R, T c X~(V|T)~RTS X, V, R, U c (X{V)~R{UTS X, V, R, W c X{(V{W)~RTS X, V, R, X c (X|V)~(R~X)TS X, V, S, Q c X~(V|S)~QTS X, V, S, R c X~(V|S{R)TS X, V, S, S c X~(V|SS)TS X, V, S, T c X~(V{S|T)TS X, V, S, V c X{V~V|STS X, V, S, X c (X|V{S)~XTS X, V, T, Q c X~(V{T)QTS X, V, T, R c X~(V|T)~RTS X, V, T, S c (X~V)|(T{S)TS X, V, T, T c X~(V|TT)TS X, V, T, U c X~(V{T|U)TS X, V, T, V c X~(VV{T)TS X, V, T, W c X~(T{W|V)TS X, V, U, O c (X{V~O)~UTS X, V, U, P c X(VU|P)TS X, V, U, R c X{V~U{RTS X, V, U, T c X~(V|U{T)TS X, V, U, U c X~(V|U)~UTS X, V, U, V c X~(V{U|V)TS X, V, U, W c (X~U)~(W|V)TS X, V, V, Q c (X~V)|(V{Q)TS X, V, V, S c X{V~V|STS X, V, V, T c X~(VV{T)TS X, V, V, U c (X{V|V)~UTS X, V, V, V c X~(V|VV)TS X, V, V, W c X~(V{V|W)TS X, V, V, X c (X|XV)~VTS X, V, W, P c (X~V)|(W{P)TS X, V, W, Q c X~(V~Q|W)TS X, V, W, R c X{(V{W)~RTS X, V, W, T c X~(W|V{T)TS X, V, W, U c X~(W|V)~UTS X, V, W, V c X~(V{V|W)TS X, V, W, W c X~(V|WW)TS X, V, W, X c X~(V{W|X)TS X, V, X, O c X~V|X{OTS X, V, X, P c X~V|X~PTS X, V, X, Q c X{(V|Q)~XTS X, V, X, R c (X|V)~(X~R)TS X, V, X, S c (X|V{S)~XTS X, V, X, V c (X|XV)~VTS X, V, X, W c X~(V{W|X)TS X, V, X, X c X~(V|XX)TS X, W, O, Q c X~(W{O|Q)TS X, W, O, U c (X{W~O)~UTS X, W, P, P c X~(W|P|P)TS X, W, P, Q c X~(W|P~Q)TS X, W, P, R c (X{W{P)~RTS X, W, P, T c X{(W{P)~TTS X, W, P, U c U(P|WX)TS X, W, P, V c (X~V)|(W{P)TS X, W, P, W c (W~W)|(X{P)TS X, W, P, X c X~(W|P)|XTS X, W, Q, O c X~(W|Q){OTS X, W, Q, P c X~(W|Q)~PTS X, W, Q, Q c X~(WQ{Q)TS X, W, Q, S c X~(W{Q|S)TS X, W, Q, T c X~(W|T)~QTS X, W, Q, V c X~(Q~V|W)TS X, W, Q, X c X~W|Q~XTS X, W, R, P c X~(W|R{P)TS X, W, R, R c (X{W)~R{RTS X, W, R, S c X~W~RSTS X, W, R, T c X~(W{R|T)TS X, W, R, U c X~W|R~UTS X, W, R, V c X{(W{V)~RTS X, W, R, X c X{(W|R)~XTS X, W, S, Q c X~(W{S)QTS X, W, S, R c X~WS~RTS X, W, S, S c X~(WS{S)TS X, W, S, U c X~(W{S|U)TS X, W, S, W c X~(W|WS)TS X, W, S, X c (X|XS)~WTS X, W, T, P c X{(W{P)~TTS X, W, T, Q c X~(W|T)~QTS X, W, T, R c X~(W|T{R)TS X, W, T, T c X{W~T{TTS X, W, T, V c X~(W{T|V)TS X, W, T, W c X~(WW{T)TS X, W, T, X c (X|W{T)~XTS X, W, U, O c (X{W~O)~UTS X, W, U, P c U(P|WX)TS X, W, U, R c X{W~U|RTS X, W, U, S c X~(W|U{S)TS X, W, U, V c X~(W|V)~UTS X, W, U, W c X~(W{U|W)TS X, W, U, X c (X|W)~(U~X)TS X, W, V, P c (X~V)|(W{P)TS X, W, V, Q c X~(V~Q|W)TS X, W, V, R c X{(W{V)~RTS X, W, V, T c X~(W|V{T)TS X, W, V, U c X~(W|V)~UTS X, W, V, V c X~(V{V|W)TS X, W, V, W c X~(V|WW)TS X, W, V, X c X~(W{V|X)TS X, W, W, P c (W~W)|(X{P)TS X, W, W, S c X~(W|WS)TS X, W, W, T c X~(WW{T)TS X, W, W, U c (X{W|W)~UTS X, W, W, V c X~(V|WW)TS X, W, X, P c X~(W|P)|XTS X, W, X, Q c X~W|X~QTS X, W, X, R c X{(W|R)~XTS X, W, X, S c (X|XS)~WTS X, W, X, T c (X|W{T)~XTS X, W, X, U c (X|W)~(X~U)TS X, W, X, V c X~(W{V|X)TS X, W, X, X c (X~W)|(X{X)TS X, X, O, R c (X{X{O)~RTS X, X, O, T c X{(X{O)~TTS X, X, O, U c (X{X~O)~UTS X, X, O, V c (X{O)~V|XTS X, X, P, Q c (X{X)~(P{Q)TS X, X, P, R c (X{X)~(P~R)TS X, X, P, S c X{X~(P{S)TS X, X, P, T c X{X~P~TTS X, X, P, U c X{X~(U|P)TS X, X, P, V c X~P~V|XTS X, X, P, W c X~(W|P)|XTS X, X, Q, P c (X{X)~(Q{P)TS X, X, Q, Q c (X{X~Q)~QTS X, X, Q, R c X{X~(Q{R)TS X, X, Q, S c (X{XQ)~STS X, X, Q, T c X~(X{Q|T)TS X, X, Q, U c (X{X)Q~UTS X, X, Q, V c X{X~(V|Q)TS X, X, Q, W c X~W|X~QTS X, X, Q, X c X~(X|Q)|XTS X, X, R, O c (X{X)~(R{O)TS X, X, R, P c (X{X)~(R~P)TS X, X, R, Q c X{X~(R{Q)TS X, X, R, R c X~(XR{R)TS X, X, R, S c X~(R{S)|XTS X, X, R, T c X~(R~T|X)TS X, X, R, U c X~(X{R|U)TS X, X, R, V c X~(X|V)~RTS X, X, R, W c X{X~(W|R)TS X, X, R, X c (X{X)R~XTS X, X, S, P c X{X~(S{P)TS X, X, S, Q c (X{XQ)~STS X, X, S, R c X~(S{R)|XTS X, X, S, U c X~X~SUTS X, X, S, V c X~(X{S|V)TS X, X, S, W c (X|XS)~WTS X, X, S, X c X{X{S~XTS X, X, T, O c X{X~T{OTS X, X, T, P c X{X~T~PTS X, X, T, Q c (X{X)~(T|Q)TS X, X, T, R c X~(T~R|X)TS X, X, T, T c (X{XT)~TTS X, X, T, W c X~(X{T|W)TS X, X, T, X c (XX{T)~XTS X, X, U, O c (X{X~O)~UTS X, X, U, P c X{X~(U|P)TS X, X, U, Q c (X{X)~(UQ)TS X, X, U, R c X{(X{U)~RTS X, X, U, S c X~XU~STS X, X, U, U c X{X{U~UTS X, X, U, W c X~(X|W)~UTS X, X, U, X c X{X~U|XTS X, X, V, O c X~V|X{OTS X, X, V, P c X~V|X~PTS X, X, V, Q c X{X~(V|Q)TS X, X, V, R c X~(X|V)~RTS X, X, V, S c (X{X)~(V|S)TS X, X, V, V c (X|XV)~VTS X, X, V, W c X~(V{W|X)TS X, X, V, X c X~(V|XX)TS X, X, W, P c X~(W|P)|XTS X, X, W, Q c X~W|X~QTS X, X, W, R c X{X~(W|R)TS X, X, W, S c (X|XS)~WTS X, X, W, T c (X{X)~(W|T)TS X, X, W, U c X~(X|W)~UTS X, X, W, V c X~(W{V|X)TS X, X, W, X c (X~W)|(X{X)TS X, X, X, Q c (X{X{X)~QTS X, X, X, R c (X{X)~(XR)TS X, X, X, S c X{X{X~STS X, X, X, T c X~(XX{T)TS X, X, X, U c (X{X|X)~UTS X, X, X, V c X~(V|XX)TS X, X, X, W c (X~W)|(X{X)TS