O, R, W, W c O{R{W~WUV O, S, V, X c O{S{V~XUV O, S, X, V c O{S{X~VUV O, T, W, X c O{W~X|TUV O, T, X, W c O{X~W|TUV O, V, S, X c O{V~X{SUV O, V, X, S c O{V~X{SUV O, W, R, W c O{W~W{RUV O, W, T, X c O{W~X|TUV O, W, W, R c O{W~W{RUV O, W, X, T c O{W~X|TUV O, X, S, V c O{X~V{SUV O, X, T, W c O{X~W|TUV O, X, V, S c O{X~V{SUV O, X, W, T c O{X~W|TUV P, Q, U, X c P{(Q{X)~UUV P, Q, W, W c P{Q{W~WUV P, Q, X, U c P{(Q{X)~UUV P, R, U, W c P{(R{W)~UUV P, R, V, W c (P{V)~W{RUV P, R, V, X c P{R{V~XUV P, R, W, U c P{(R{W)~UUV P, R, W, V c (P{V)~W{RUV P, R, W, W c P~R{W~WUV P, R, W, X c R{W~(X|P)UV P, R, X, V c P{R{X~VUV P, R, X, W c R{(X|P)~WUV P, S, U, V c P{(S{V)~UUV P, S, U, X c (P{U)~X{SUV P, S, V, U c P{(S{V)~UUV P, S, V, W c (P{W)~V{SUV P, S, V, X c P~S{V~XUV P, S, W, V c (P{W)~V{SUV P, S, W, W c S|P{W~WUV P, S, W, X c S{(W|P)~XUV P, S, X, U c (P{U)~X{SUV P, S, X, V c P~S{X~VUV P, S, X, W c S{X~(W|P)UV P, T, U, U c P{(T{U)~UUV P, T, V, X c (P{V)~X|TUV P, T, W, W c (P{W)~W|TUV P, T, W, X c P~W~X|TUV P, T, X, V c (P{V)~X|TUV P, T, X, W c P~X~W|TUV P, T, X, X c (X|P)~X|TUV P, U, Q, X c P{U~(Q{X)UV P, U, R, W c P{U~(R{W)UV P, U, S, V c P{U~(S{V)UV P, U, S, X c (P{U)~X{SUV P, U, T, U c P{(U{T)~UUV P, U, U, T c P{U~(U{T)UV P, U, V, S c P{U~(V{S)UV P, U, V, X c (P{X)~U{VUV P, U, W, R c P{U~(W{R)UV P, U, W, X c P{W~X|UUV P, U, X, Q c P{U~(X{Q)UV P, U, X, S c (P{U)~X{SUV P, U, X, V c (P{X)~U{VUV P, U, X, W c P{X~W|UUV P, V, R, W c (P{V)~W{RUV P, V, R, X c P{V~X{RUV P, V, S, U c P{(V{S)~UUV P, V, S, W c (P{W)~V{SUV P, V, S, X c P~V~X{SUV P, V, T, X c (P{V)~X|TUV P, V, U, S c P{(V{S)~UUV P, V, U, X c (P{X)~U{VUV P, V, W, R c (P{V)~W{RUV P, V, W, S c (P{W)~V{SUV P, V, X, R c P{V~X{RUV P, V, X, S c P~V~X{SUV P, V, X, T c (P{V)~X|TUV P, V, X, U c (P{X)~U{VUV P, W, Q, W c P{W~W{QUV P, W, R, U c P{(W{R)~UUV P, W, R, V c (P{V)~W{RUV P, W, R, W c P~W~W{RUV P, W, R, X c W~(X|P){RUV P, W, S, V c (P{W)~V{SUV P, W, S, W c W~W|P{SUV P, W, S, X c (W|P)~X{SUV P, W, T, W c (P{W)~W|TUV P, W, T, X c P~W~X|TUV P, W, U, R c P{(W{R)~UUV P, W, U, X c P{W~X|UUV P, W, V, R c (P{V)~W{RUV P, W, V, S c (P{W)~V{SUV P, W, W, Q c P{W~W{QUV P, W, W, R c P~W~W{RUV P, W, W, S c W~W|P{SUV P, W, W, T c (P{W)~W|TUV P, W, X, R c W~(X|P){RUV P, W, X, S c (W|P)~X{SUV P, W, X, T c P~W~X|TUV P, W, X, U c P{W~X|UUV P, X, Q, U c P{(X{Q)~UUV P, X, R, V c P{X~V{RUV P, X, R, W c (X|P)~W{RUV P, X, S, U c (P{U)~X{SUV P, X, S, V c P~X~V{SUV P, X, S, W c (X~W)|(P{S)UV P, X, T, V c (P{V)~X|TUV P, X, T, W c P~X~W|TUV P, X, T, X c (X|P)~X|TUV P, X, U, Q c P{(X{Q)~UUV P, X, U, S c (P{U)~X{SUV P, X, U, V c (P{X)~U{VUV P, X, U, W c P{X~W|UUV P, X, V, R c P{X~V{RUV P, X, V, S c P~X~V{SUV P, X, V, T c (P{V)~X|TUV P, X, V, U c (P{X)~U{VUV P, X, W, R c (X|P)~W{RUV P, X, W, S c (X~W)|(P{S)UV P, X, W, T c P~X~W|TUV P, X, W, U c P{X~W|UUV P, X, X, T c (X|P)~X|TUV Q, P, U, X c (Q{X)~U{PUV Q, P, W, W c Q{P{W~WUV Q, P, X, U c (Q{X)~U{PUV Q, Q, V, X c Q{Q{V~XUV Q, Q, X, V c Q{Q{X~VUV Q, R, S, W c Q~S~W{RUV Q, R, T, V c Q~T~V|RUV Q, R, U, W c (Q{U)~W{RUV Q, R, V, T c Q~V~T|RUV Q, R, V, W c (Q{W)~V|RUV Q, R, W, S c Q~W~S{RUV Q, R, W, U c (Q{U)~W{RUV Q, R, W, V c (Q{W)~V|RUV Q, R, W, X c (W~X)|(Q{R)UV Q, R, X, W c (X~W)|(Q{R)UV Q, S, R, W c Q~S~W{RUV Q, S, T, X c Q{(S{X)~TUV Q, S, V, V c (Q{V)~V{SUV Q, S, W, R c Q~S~W{RUV Q, S, X, T c Q{(S{X)~TUV Q, S, X, X c S{(X|Q)~XUV Q, T, R, V c Q~T~V|RUV Q, T, S, X c Q{T~(S{X)UV Q, T, T, W c Q{T~(T{W)UV Q, T, U, U c Q~U~U|TUV Q, T, U, V c Q{T~(U{V)UV Q, T, U, X c (Q{U)~X|TUV Q, T, V, R c Q~T~V|RUV Q, T, V, U c Q{T~(V{U)UV Q, T, V, W c (Q{V)~W|TUV Q, T, W, T c Q{(T{W)~TUV Q, T, W, V c (Q{V)~W|TUV Q, T, W, W c T|Q{W~WUV Q, T, X, S c (Q{T)~X{SUV Q, T, X, U c (Q{U)~X|TUV Q, U, P, X c (Q{X)~U{PUV Q, U, R, W c (Q{U)~W{RUV Q, U, T, U c Q~U~U|TUV Q, U, T, V c Q~U~T{VUV Q, U, T, X c (Q{U)~X|TUV Q, U, U, T c Q~U~U|TUV Q, U, V, T c Q{(U{V)~TUV Q, U, V, W c (Q{W)~U{VUV Q, U, V, X c U|Q{V~XUV Q, U, W, R c (Q{U)~W{RUV Q, U, W, V c (Q{W)~U{VUV Q, U, W, W c UQ{W~WUV Q, U, X, P c (Q{X)~U{PUV Q, U, X, T c (Q{U)~X|TUV Q, U, X, V c U|Q{X~VUV Q, V, Q, X c Q{V~X{QUV Q, V, R, T c Q~V~T|RUV Q, V, R, W c (Q{W)~V|RUV Q, V, S, V c (Q{V)~V{SUV Q, V, T, R c Q~V~T|RUV Q, V, T, U c Q{(V{U)~TUV Q, V, T, W c (Q{V)~W|TUV Q, V, U, T c Q{(V{U)~TUV Q, V, U, W c (Q{W)~U{VUV Q, V, U, X c V~X|Q{UUV Q, V, V, S c (Q{V)~V{SUV Q, V, V, X c Q~X{V~VUV Q, V, W, R c (Q{W)~V|RUV Q, V, W, T c (Q{V)~W|TUV Q, V, W, U c (Q{W)~U{VUV Q, V, W, X c Q{V~W{XUV Q, V, X, Q c Q{V~X{QUV Q, V, X, U c V~X|Q{UUV Q, V, X, V c Q~X{V~VUV Q, V, X, W c Q{V~W{XUV Q, V, X, X c X~X|Q~VUV Q, W, P, W c Q{W~W{PUV Q, W, R, S c Q~W~S{RUV Q, W, R, U c (Q{U)~W{RUV Q, W, R, V c (Q{W)~V|RUV Q, W, R, X c (W~X)|(Q{R)UV Q, W, S, R c Q~W~S{RUV Q, W, T, T c Q{(W{T)~TUV Q, W, T, V c (Q{V)~W|TUV Q, W, T, W c W~W|Q{TUV Q, W, U, R c (Q{U)~W{RUV Q, W, U, V c (Q{W)~U{VUV Q, W, U, W c W~W{UQUV Q, W, V, R c (Q{W)~V|RUV Q, W, V, T c (Q{V)~W|TUV Q, W, V, U c (Q{W)~U{VUV Q, W, V, X c Q{W~V{XUV Q, W, W, P c Q{W~W{PUV Q, W, W, T c W~W|Q{TUV Q, W, W, U c W~W{UQUV Q, W, X, R c (W~X)|(Q{R)UV Q, W, X, V c Q{W~X|VUV Q, X, P, U c (Q{X)~U{PUV Q, X, Q, V c Q{X~V{QUV Q, X, R, W c (X~W)|(Q{R)UV Q, X, S, T c Q{(X{S)~TUV Q, X, S, X c (X|Q)~X{SUV Q, X, T, S c Q{(X{S)~TUV Q, X, T, U c (Q{U)~X|TUV Q, X, U, P c (Q{X)~U{PUV Q, X, U, T c (Q{U)~X|TUV Q, X, U, V c X~V|Q{UUV Q, X, V, Q c Q{X~V{QUV Q, X, V, U c X~V|Q{UUV Q, X, V, V c Q~X{V~VUV Q, X, V, W c Q{X{V~WUV Q, X, V, X c X~X|Q~VUV Q, X, W, R c (X~W)|(Q{R)UV Q, X, W, V c Q{X{W~VUV Q, X, X, S c (X|Q)~X{SUV Q, X, X, V c X~X|Q~VUV R, O, W, W c R{O{W~WUV R, P, U, W c (R{W)~U{PUV R, P, V, W c R{(P{V)~WUV R, P, V, X c R{P{V~XUV R, P, W, U c (R{W)~U{PUV R, P, W, V c R{(P{V)~WUV R, P, W, W c R{P~W~WUV R, P, W, X c R{W~(X|P)UV R, P, X, V c R{P{X~VUV R, P, X, W c R{(X|P)~WUV R, Q, S, W c R{Q~S~WUV R, Q, T, V c Q~T~V|RUV R, Q, U, W c R{(Q{U)~WUV R, Q, V, T c Q~V~T|RUV R, Q, V, W c (Q{W)~V|RUV R, Q, W, S c R{Q~W~SUV R, Q, W, U c R{(Q{U)~WUV R, Q, W, V c (Q{W)~V|RUV R, Q, W, X c (W~X)|(R{Q)UV R, Q, X, W c (X~W)|(R{Q)UV R, R, S, V c R~R~V{SUV R, R, T, W c R{(R{T)~WUV R, R, V, S c R~R~V{SUV R, R, V, V c (R{V)~V|RUV R, R, W, T c R~R~W|TUV R, S, Q, W c R{S~Q~WUV R, S, R, V c R~R~V{SUV R, S, S, S c R{S~S~SUV R, S, S, W c R{(S{S)~WUV R, S, S, X c (R{S)~X{SUV R, S, T, U c R~S~U|TUV R, S, T, V c R~S~T{VUV R, S, U, T c R~S~U|TUV R, S, U, V c (R{U)~V{SUV R, S, V, R c R~V~R{SUV R, S, V, T c R~S~T{VUV R, S, V, U c (R{U)~V{SUV R, S, V, X c R{S~(V{X)UV R, S, W, Q c R{S~W~QUV R, S, W, S c R{(S{S)~WUV R, S, W, W c R{S~(W{W)UV R, S, X, S c (R{S)~X{SUV R, S, X, V c R{S~(X{V)UV R, T, Q, V c T~Q~V|RUV R, T, R, W c R{(T{R)~WUV R, T, S, U c R~S~U|TUV R, T, S, V c R~T~S{VUV R, T, T, V c (T{T)~V|RUV R, T, T, W c R~T~T|WUV R, T, T, X c (R{T)~X|TUV R, T, U, S c R~U~S|TUV R, T, U, W c (R{U)~W|TUV R, T, U, X c (R{X)~U|TUV R, T, V, Q c T~V~Q|RUV R, T, V, S c R~T~S{VUV R, T, V, T c (T{T)~V|RUV R, T, V, V c T~(V{V)|RUV R, T, V, X c (R{X)~T{VUV R, T, W, R c (R{T)~W{RUV R, T, W, T c R~T~T|WUV R, T, W, U c (R{U)~W|TUV R, T, W, X c R~X{T~WUV R, T, X, T c (R{T)~X|TUV R, T, X, U c (R{X)~U|TUV R, T, X, V c (R{X)~T{VUV R, T, X, W c R~X{T~WUV R, U, P, W c (R{W)~U{PUV R, U, Q, W c R{(U{Q)~WUV R, U, S, T c R~U~S|TUV R, U, S, V c (R{U)~V{SUV R, U, T, S c R~U~S|TUV R, U, T, W c (R{U)~W|TUV R, U, T, X c (R{X)~U|TUV R, U, V, S c (R{U)~V{SUV R, U, V, V c R~U{V~VUV R, U, W, P c (R{W)~U{PUV R, U, W, Q c R{(U{Q)~WUV R, U, W, T c (R{U)~W|TUV R, U, W, W c U|R{W~WUV R, U, X, T c (R{X)~U|TUV R, V, P, W c R{(V{P)~WUV R, V, P, X c R{V~X{PUV R, V, Q, T c V~Q~T|RUV R, V, Q, W c V~(Q{W)|RUV R, V, R, S c R~V~R{SUV R, V, R, V c (R{V)~V|RUV R, V, S, R c R~V~R{SUV R, V, S, T c R~S~T{VUV R, V, S, U c (R{U)~V{SUV R, V, S, X c R{(V{X)~SUV R, V, T, Q c V~T~Q|RUV R, V, T, S c R~T~S{VUV R, V, T, T c V~(T{T)|RUV R, V, T, V c (V{V)~T|RUV R, V, T, X c (R{X)~T{VUV R, V, U, S c (R{U)~V{SUV R, V, U, V c (R{V)~U{VUV R, V, V, R c (R{V)~V|RUV R, V, V, T c (V{V)~T|RUV R, V, V, U c (R{V)~U{VUV R, V, V, X c V|R{V~XUV R, V, W, P c R{(V{P)~WUV R, V, W, Q c V~(W{Q)|RUV R, V, W, W c R{V~W{WUV R, V, X, P c R{V~X{PUV R, V, X, S c R{(V{X)~SUV R, V, X, T c (R{X)~T{VUV R, V, X, V c V|R{X~VUV R, W, O, W c R{(W{O)~WUV R, W, P, U c (R{W)~U{PUV R, W, P, V c R{W~(P{V)UV R, W, P, W c R{W~P~WUV R, W, P, X c R{W~(X|P)UV R, W, Q, S c R{W~Q~SUV R, W, Q, U c R{W~(Q{U)UV R, W, Q, V c (W{Q)~V|RUV R, W, Q, X c (W~X)|(R{Q)UV R, W, R, T c R{W~(R{T)UV R, W, S, Q c R{W~S~QUV R, W, S, S c R{W~(S{S)UV R, W, S, W c R{(W{W)~SUV R, W, T, R c R{W~(T{R)UV R, W, T, T c R~T~T|WUV R, W, T, U c (R{U)~W|TUV R, W, T, X c R~X{W~TUV R, W, U, P c (R{W)~U{PUV R, W, U, Q c R{W~(U{Q)UV R, W, U, T c (R{U)~W|TUV R, W, U, W c W~W|R{UUV R, W, V, P c R{W~(V{P)UV R, W, V, Q c (W{Q)~V|RUV R, W, V, W c R{W{V~WUV R, W, W, O c R{W~W{OUV R, W, W, P c R{W~W~PUV R, W, W, S c R{(W{W)~SUV R, W, W, U c W~W|R{UUV R, W, W, V c R{W{W~VUV R, W, W, W c (RW{W)~WUV R, W, W, X c R{W~X|WUV R, W, X, P c R{W~(X|P)UV R, W, X, Q c (W~X)|(R{Q)UV R, W, X, T c R~X{W~TUV R, W, X, W c R{W~X|WUV R, X, P, V c R{X~V{PUV R, X, P, W c R{(X|P)~WUV R, X, Q, W c (X~W)|(R{Q)UV R, X, S, S c (R{S)~X{SUV R, X, S, V c R{(X{V)~SUV R, X, T, T c (R{T)~X|TUV R, X, T, U c (R{X)~U|TUV R, X, T, V c (R{X)~T{VUV R, X, T, W c R~X{T~WUV R, X, U, T c (R{X)~U|TUV R, X, V, P c R{X~V{PUV R, X, V, S c R{(X{V)~SUV R, X, V, T c (R{X)~T{VUV R, X, V, V c X~V|R{VUV R, X, W, P c R{(X|P)~WUV R, X, W, Q c (X~W)|(R{Q)UV R, X, W, T c R~X{W~TUV R, X, W, W c R{X~W|WUV S, O, V, X c S{O{V~XUV S, O, X, V c S{O{X~VUV S, P, U, V c (S{V)~U{PUV S, P, U, X c S{(P{U)~XUV S, P, V, U c (S{V)~U{PUV S, P, V, W c S{(P{W)~VUV S, P, V, X c S{P~V~XUV S, P, W, V c S{(P{W)~VUV S, P, W, W c S|P{W~WUV S, P, W, X c S{(W|P)~XUV S, P, X, U c S{(P{U)~XUV S, P, X, V c S{P~X~VUV S, P, X, W c S{X~(W|P)UV S, Q, R, W c S~Q~W{RUV S, Q, T, X c S{(Q{T)~XUV S, Q, V, V c S{(Q{V)~VUV S, Q, W, R c S~Q~W{RUV S, Q, X, T c S~Q~X|TUV S, Q, X, X c S{(X|Q)~XUV S, R, Q, W c S~Q~W{RUV S, R, R, V c S{R~R~VUV S, R, S, S c S~S~S{RUV S, R, S, W c (S{S)~W{RUV S, R, S, X c S{(R{S)~XUV S, R, T, U c S~R~U|TUV S, R, T, V c S~R~T{VUV S, R, U, T c S~R~U|TUV S, R, U, V c S{(R{U)~VUV S, R, V, R c S{R~V~RUV S, R, V, T c S~R~T{VUV S, R, V, U c S{(R{U)~VUV S, R, V, X c S~(V{X){RUV S, R, W, Q c S~W~Q{RUV S, R, W, S c (S{S)~W{RUV S, R, W, W c S~(W{W){RUV S, R, X, S c (S{R)~X{SUV S, R, X, V c S~(X{V){RUV S, S, R, S c S~S~S{RUV S, S, R, W c (S{S)~W{RUV S, S, R, X c S{(S{R)~XUV S, S, S, R c S~S~S{RUV S, S, T, V c S{(S{T)~VUV S, S, T, X c (S{S)~X|TUV S, S, V, T c S{(S{T)~VUV S, S, W, R c (S{S)~W{RUV S, S, X, R c S{(S{R)~XUV S, S, X, T c (S{S)~X|TUV S, T, Q, X c S{(T{Q)~XUV S, T, R, U c S~R~U|TUV S, T, R, V c S~T~R{VUV S, T, S, V c S{(T{S)~VUV S, T, S, X c (S{S)~X|TUV S, T, T, W c (S{T)~W|TUV S, T, U, R c S~U~R|TUV S, T, U, W c (S{W)~U|TUV S, T, V, R c S~T~R{VUV S, T, V, S c (S{T)~V{SUV S, T, V, W c (S{W)~T{VUV S, T, W, T c (S{T)~W|TUV S, T, W, U c (S{W)~U|TUV S, T, W, V c (S{W)~T{VUV S, T, X, Q c S{(T{Q)~XUV S, T, X, S c (S{S)~X|TUV S, T, X, X c S~(X{X)|TUV S, U, P, V c (S{V)~U{PUV S, U, P, X c S{(U{P)~XUV S, U, R, T c S~U~R|TUV S, U, R, V c S{(U{R)~VUV S, U, T, R c S~U~R|TUV S, U, T, W c (S{W)~U|TUV S, U, U, V c (S{U)~U{VUV S, U, V, P c (S{V)~U{PUV S, U, V, R c (S{U)~V|RUV S, U, V, U c (S{U)~U{VUV S, U, V, X c S~(U{X){VUV S, U, W, T c (S{W)~U|TUV S, U, X, P c S{(U{P)~XUV S, U, X, V c S~(U{X){VUV S, U, X, X c S{U~X{XUV S, V, O, X c S{(V{O)~XUV S, V, P, U c (S{V)~U{PUV S, V, P, W c S{V~(P{W)UV S, V, P, X c S{V~P~XUV S, V, Q, V c S{(V{Q)~VUV S, V, R, R c S{V~R~RUV S, V, R, T c S~R~T{VUV S, V, R, U c S{V~(R{U)UV S, V, R, X c S~(V{X){RUV S, V, S, T c S{V~(S{T)UV S, V, T, R c S~T~R{VUV S, V, T, S c S{V~(T{S)UV S, V, T, W c S~W{V~TUV S, V, U, P c (S{V)~U{PUV S, V, U, R c S{V~(U{R)UV S, V, U, U c (S{U)~U{VUV S, V, U, X c S~(U{X){VUV S, V, V, Q c S{V~(V{Q)UV S, V, V, W c S{V{V~WUV S, V, V, X c (SV{X)~VUV S, V, W, P c S{V~(W{P)UV S, V, W, T c S~W{V~TUV S, V, W, V c S{V{W~VUV S, V, W, W c V|S{W~WUV S, V, W, X c V~X|S{WUV S, V, X, O c S{V~X{OUV S, V, X, P c S{V~X~PUV S, V, X, R c S~(V{X){RUV S, V, X, U c S~(X{U){VUV S, V, X, V c (SV{X)~VUV S, V, X, W c V~X|S{WUV S, V, X, X c (SX{V)~XUV S, W, P, V c S{(W{P)~VUV S, W, P, W c S{W~W|PUV S, W, P, X c S{(W|P)~XUV S, W, Q, R c S~W~Q{RUV S, W, R, Q c S~W~Q{RUV S, W, R, S c (S{S)~W{RUV S, W, R, W c S~(W{W){RUV S, W, S, R c (S{S)~W{RUV S, W, T, T c (S{T)~W|TUV S, W, T, U c (S{W)~U|TUV S, W, T, V c (S{W)~T{VUV S, W, U, T c (S{W)~U|TUV S, W, V, P c S{(W{P)~VUV S, W, V, T c S~W{V~TUV S, W, V, V c S{W~V{VUV S, W, V, W c W~W|S{VUV S, W, V, X c W|S{V~XUV S, W, W, P c S{W~W|PUV S, W, W, R c S~(W{W){RUV S, W, W, V c W~W|S{VUV S, W, X, P c S~(W{X)|PUV S, W, X, V c W|S{X~VUV S, W, X, X c S{W~X|XUV S, X, O, V c S{(X{O)~VUV S, X, P, U c S{X~(P{U)UV S, X, P, V c S{X~P~VUV S, X, P, W c S{X~(W|P)UV S, X, Q, T c S{X~(Q{T)UV S, X, Q, X c S{(X|Q)~XUV S, X, R, S c S{X~(R{S)UV S, X, R, V c S~(X{V){RUV S, X, S, R c S{X~(S{R)UV S, X, S, T c (S{S)~X|TUV S, X, T, Q c (S{X)~T{QUV S, X, T, S c (S{S)~X|TUV S, X, T, X c S~(X{X)|TUV S, X, U, P c S{X~(U{P)UV S, X, U, V c S~(X{U){VUV S, X, U, X c S{X{U~XUV S, X, V, O c S{X~V{OUV S, X, V, P c S{X~V~PUV S, X, V, R c S~(X{V){RUV S, X, V, U c S~(X{U){VUV S, X, V, V c (SV{X)~VUV S, X, V, W c X~V|S{WUV S, X, V, X c (SX{V)~XUV S, X, W, P c S{X~(W|P)UV S, X, W, V c X~V|S{WUV S, X, W, X c S{X~W|XUV S, X, X, Q c S{X~(X|Q)UV S, X, X, T c S~(X{X)|TUV S, X, X, U c S{X{X~UUV S, X, X, V c (SX{V)~XUV S, X, X, W c S{X~W|XUV T, O, W, X c O{W~X|TUV T, O, X, W c O{X~W|TUV T, P, U, U c (T{U)~U{PUV T, P, V, X c T|P{V~XUV T, P, W, W c (P{W)~W|TUV T, P, W, X c P~W~X|TUV T, P, X, V c T|P{X~VUV T, P, X, W c P~X~W|TUV T, P, X, X c (X|P)~X|TUV T, Q, R, V c T~Q~V|RUV T, Q, S, X c (T{Q)~X{SUV T, Q, T, W c T~(T{W){QUV T, Q, U, U c Q~U~U|TUV T, Q, U, V c T~Q~U{VUV T, Q, U, X c (Q{U)~X|TUV T, Q, V, R c T~Q~V|RUV T, Q, V, U c T~Q~U{VUV T, Q, V, W c (Q{V)~W|TUV T, Q, W, T c (T{W)~T{QUV T, Q, W, V c (Q{V)~W|TUV T, Q, W, W c T|Q{W~WUV T, Q, X, S c (T{Q)~X{SUV T, Q, X, U c (Q{U)~X|TUV T, R, Q, V c T~Q~V|RUV T, R, R, W c (T{R)~W{RUV T, R, S, U c R~S~U|TUV T, R, S, V c T~R~S{VUV T, R, T, V c (T{T)~V|RUV T, R, T, W c T~R~T|WUV T, R, T, X c (T{R)~X|TUV T, R, U, S c R~U~S|TUV T, R, U, W c T~(U{W)|RUV T, R, U, X c (R{X)~U|TUV T, R, V, Q c T~V~Q|RUV T, R, V, S c T~R~S{VUV T, R, V, T c (T{T)~V|RUV T, R, V, V c T~(V{V)|RUV T, R, V, X c T~(R{X){VUV T, R, W, R c (T{R)~W{RUV T, R, W, T c T~R~T|WUV T, R, W, U c T~(W{U)|RUV T, R, W, X c T~W{R~XUV T, R, X, T c (T{R)~X|TUV T, R, X, U c (R{X)~U|TUV T, R, X, V c T~(R{X){VUV T, R, X, W c T~W{R~XUV T, S, Q, X c T~(S{X){QUV T, S, R, U c S~R~U|TUV T, S, R, V c T~S~R{VUV T, S, S, V c (T{S)~V{SUV T, S, S, X c (S{S)~X|TUV T, S, T, W c (T{S)~W|TUV T, S, U, R c S~U~R|TUV T, S, U, W c (S{W)~U|TUV T, S, V, R c T~S~R{VUV T, S, V, S c (T{S)~V{SUV T, S, V, W c T~(S{W){VUV T, S, W, T c (T{S)~W|TUV T, S, W, U c (S{W)~U|TUV T, S, W, V c T~(S{W){VUV T, S, X, Q c T~(S{X){QUV T, S, X, S c (S{S)~X|TUV T, S, X, X c S~(X{X)|TUV T, T, Q, W c T~(T{W){QUV T, T, R, V c (T{T)~V|RUV T, T, R, W c T~T~R|WUV T, T, R, X c T~(T{X)|RUV T, T, S, W c (T{S)~W|TUV T, T, U, V c (T{T)~U{VUV T, T, V, R c (T{T)~V|RUV T, T, V, U c T~T{V~UUV T, T, V, V c T~(T{V){VUV T, T, W, Q c T~(T{W){QUV T, T, W, R c T~T~R|WUV T, T, W, S c (T{S)~W|TUV T, T, X, R c T~(T{X)|RUV T, U, P, U c (T{U)~U{PUV T, U, Q, U c U~Q~U|TUV T, U, Q, V c T~U~Q{VUV T, U, Q, X c (U{Q)~X|TUV T, U, R, S c U~R~S|TUV T, U, R, W c T~(U{W)|RUV T, U, R, X c U~(R{X)|TUV T, U, S, R c U~S~R|TUV T, U, S, W c U~(S{W)|TUV T, U, T, V c (T{T)~U{VUV T, U, U, P c (T{U)~U{PUV T, U, U, Q c U~U~Q|TUV T, U, U, U c (U{U)~U|TUV T, U, U, V c T~(U{U){VUV T, U, V, Q c T~(U{V){QUV T, U, V, T c (T{V)~U|TUV T, U, V, U c T~(U{U){VUV T, U, V, W c T{U{V~WUV T, U, W, R c T~(U{W)|RUV T, U, W, S c U~(W{S)|TUV T, U, W, V c T{U{W~VUV T, U, W, X c T{U~X{WUV T, U, X, Q c (U{Q)~X|TUV T, U, X, R c U~(X{R)|TUV T, U, X, W c T{U~X{WUV T, V, P, X c T{V~X|PUV T, V, Q, R c T~V~Q|RUV T, V, Q, U c T~(V{U){QUV T, V, Q, W c (V{Q)~W|TUV T, V, R, Q c T~V~Q|RUV T, V, R, S c T~R~S{VUV T, V, R, T c (T{T)~V|RUV T, V, R, V c T~(V{V)|RUV T, V, R, X c T~(R{X){VUV T, V, S, R c T~S~R{VUV T, V, S, S c (T{S)~V{SUV T, V, S, W c T~V{S~WUV T, V, T, R c (T{T)~V|RUV T, V, T, U c (T{V)~U|TUV T, V, T, V c (T{V)~T{VUV T, V, U, Q c T~(V{U){QUV T, V, U, T c (T{V)~U|TUV T, V, U, U c T~(U{U){VUV T, V, U, W c T{V~W{UUV T, V, V, R c T~(V{V)|RUV T, V, V, T c (T{V)~T{VUV T, V, W, Q c (V{Q)~W|TUV T, V, W, S c T~V{W~SUV T, V, W, U c T{V~W{UUV T, V, W, W c T~(V{W)|WUV T, V, X, P c T{V~X|PUV T, V, X, R c T~(X{R){VUV T, V, X, X c V~X|T{XUV T, W, O, X c (W{O)~X|TUV T, W, P, W c (W{P)~W|TUV T, W, P, X c W~P~X|TUV T, W, Q, T c (T{W)~T{QUV T, W, Q, V c W~(Q{V)|TUV T, W, Q, W c T{W~W|QUV T, W, R, R c (T{R)~W{RUV T, W, R, T c T~R~T|WUV T, W, R, U c T~(W{U)|RUV T, W, R, X c T~W{R~XUV T, W, S, T c (T{S)~W|TUV T, W, S, U c (W{S)~U|TUV T, W, S, V c T~(W{S){VUV T, W, T, Q c (T{W)~T{QUV T, W, T, R c T~T~R|WUV T, W, T, S c (T{S)~W|TUV T, W, U, R c T~(W{U)|RUV T, W, U, S c (W{S)~U|TUV T, W, U, V c T{W~V{UUV T, W, U, X c T{W{U~XUV T, W, V, Q c W~(V{Q)|TUV T, W, V, S c T~(W{S){VUV T, W, V, U c T{W~V{UUV T, W, V, W c T~(W{V)|WUV T, W, W, P c W~(W{P)|TUV T, W, W, Q c T{W~W|QUV T, W, W, V c T~(W{V)|WUV T, W, W, W c W|T{W~WUV T, W, W, X c W~(X|TW)UV T, W, X, O c W~X|T{OUV T, W, X, P c W~X|T~PUV T, W, X, R c T~W{X~RUV T, W, X, U c T{W{X~UUV T, W, X, W c W~(X|TW)UV T, W, X, X c (W|TX)~XUV T, X, O, W c (X{O)~W|TUV T, X, P, V c T{X~V|PUV T, X, P, W c X~P~W|TUV T, X, P, X c (X|P)~X|TUV T, X, Q, S c T~(X{S){QUV T, X, Q, U c X~(Q{U)|TUV T, X, R, T c (T{X)~T|RUV T, X, R, U c (X{R)~U|TUV T, X, R, V c T~(X{R){VUV T, X, R, W c T~W{X~RUV T, X, S, Q c T~(X{S){QUV T, X, S, S c X~(S{S)|TUV T, X, S, X c (X{X)~S|TUV T, X, T, R c (T{X)~T|RUV T, X, U, Q c X~(U{Q)|TUV T, X, U, R c (X{R)~U|TUV T, X, U, W c T{X~U{WUV T, X, V, P c T{X~V|PUV T, X, V, R c T~(X{R){VUV T, X, V, X c X|T{V~XUV T, X, W, O c X~W|T{OUV T, X, W, P c X~W|T~PUV T, X, W, R c T~W{X~RUV T, X, W, U c T{X~U{WUV T, X, W, W c (X|TW)~WUV T, X, W, X c X~(W|TX)UV T, X, X, P c X~(X|P)|TUV T, X, X, S c (X{X)~S|TUV T, X, X, V c X|T{X~VUV T, X, X, W c X~(W|TX)UV T, X, X, X c (X~X)|(T{X)UV U, P, Q, X c U~(Q{X){PUV U, P, R, W c U~(R{W){PUV U, P, S, V c U~(S{V){PUV U, P, S, X c (U{P)~X{SUV U, P, T, U c (U{T)~U{PUV U, P, U, T c U~(U{T){PUV U, P, V, S c U~(V{S){PUV U, P, V, X c U~(P{X){VUV U, P, W, R c U~(W{R){PUV U, P, W, X c P{W~X|UUV U, P, X, Q c U~(X{Q){PUV U, P, X, S c (U{P)~X{SUV U, P, X, V c U~(P{X){VUV U, P, X, W c P{X~W|UUV U, Q, P, X c U~(Q{X){PUV U, Q, R, W c (U{Q)~W{RUV U, Q, T, U c U~Q~U|TUV U, Q, T, V c U~Q~T{VUV U, Q, T, X c (U{Q)~X|TUV U, Q, U, T c U~Q~U|TUV U, Q, V, T c U~Q~T{VUV U, Q, V, W c U~(Q{W){VUV U, Q, V, X c U|Q{V~XUV U, Q, W, R c (U{Q)~W{RUV U, Q, W, V c U~(Q{W){VUV U, Q, W, W c UQ{W~WUV U, Q, X, P c U~(Q{X){PUV U, Q, X, T c (U{Q)~X|TUV U, Q, X, V c U|Q{X~VUV U, R, P, W c U~(R{W){PUV U, R, Q, W c (U{Q)~W{RUV U, R, S, T c U~R~S|TUV U, R, S, V c (U{R)~V{SUV U, R, T, S c U~R~S|TUV U, R, T, W c (U{R)~W|TUV U, R, T, X c U~(R{X)|TUV U, R, V, S c (U{R)~V{SUV U, R, V, V c U~(R{V){VUV U, R, W, P c U~(R{W){PUV U, R, W, Q c (U{Q)~W{RUV U, R, W, T c (U{R)~W|TUV U, R, W, W c U|R{W~WUV U, R, X, T c U~(R{X)|TUV U, S, P, V c U~(S{V){PUV U, S, P, X c (U{P)~X{SUV U, S, R, T c U~S~R|TUV U, S, R, V c (U{S)~V|RUV U, S, T, R c U~S~R|TUV U, S, T, W c U~(S{W)|TUV U, S, U, V c (U{S)~U{VUV U, S, V, P c U~(S{V){PUV U, S, V, R c (U{S)~V|RUV U, S, V, U c (U{S)~U{VUV U, S, V, X c (U{X)~S{VUV U, S, W, T c U~(S{W)|TUV U, S, X, P c (U{P)~X{SUV U, S, X, V c (U{X)~S{VUV U, S, X, X c U~X{S{XUV U, T, P, U c (U{T)~U{PUV U, T, Q, U c U~Q~U|TUV U, T, Q, V c U~T~Q{VUV U, T, Q, X c (U{Q)~X|TUV U, T, R, S c U~R~S|TUV U, T, R, W c (U{R)~W|TUV U, T, R, X c U~(R{X)|TUV U, T, S, R c U~S~R|TUV U, T, S, W c U~(S{W)|TUV U, T, T, V c U~(T{T){VUV U, T, U, P c (U{T)~U{PUV U, T, U, Q c U~U~Q|TUV U, T, U, U c (U{U)~U|TUV U, T, U, V c (U{U)~T{VUV U, T, V, Q c U~T~Q{VUV U, T, V, T c U~(T{V)|TUV U, T, V, U c (U{U)~T{VUV U, T, V, W c U{T{V~WUV U, T, W, R c (U{W)~T|RUV U, T, W, S c U~(W{S)|TUV U, T, W, V c U{T{W~VUV U, T, W, X c (U{X)~T|WUV U, T, X, Q c (U{Q)~X|TUV U, T, X, R c U~(X{R)|TUV U, T, X, W c (U{X)~T|WUV U, U, P, T c U~(U{T){PUV U, U, Q, T c U~U~Q|TUV U, U, S, V c U~(U{S){VUV U, U, T, P c U~(U{T){PUV U, U, T, Q c U~U~Q|TUV U, U, T, U c (U{U)~U|TUV U, U, T, V c (U{U)~T{VUV U, U, U, T c (U{U)~U|TUV U, U, V, S c U~(U{S){VUV U, U, V, T c (U{U)~T{VUV U, U, V, X c U{U~X{VUV U, U, X, V c U{U~X{VUV U, V, P, S c U~(V{S){PUV U, V, P, X c U~(P{X){VUV U, V, Q, T c (U{V)~T{QUV U, V, Q, W c U~(Q{W){VUV U, V, Q, X c U{V~X|QUV U, V, R, S c (U{R)~V{SUV U, V, R, V c U~(V{R){VUV U, V, S, P c U~(V{S){PUV U, V, S, R c (U{S)~V|RUV U, V, S, U c (U{S)~U{VUV U, V, S, X c (U{X)~S{VUV U, V, T, Q c (U{V)~T{QUV U, V, T, T c U~(V{T)|TUV U, V, T, U c (U{U)~T{VUV U, V, T, W c U{V~W{TUV U, V, U, S c U~(U{S){VUV U, V, U, T c (U{U)~T{VUV U, V, U, X c U{V{U~XUV U, V, V, R c U~(V{R){VUV U, V, W, Q c U~(W{Q){VUV U, V, W, T c U{V~W{TUV U, V, X, P c U~(X{P){VUV U, V, X, Q c U{V~X|QUV U, V, X, S c (U{X)~S{VUV U, V, X, U c U{V{X~UUV U, W, P, R c U~(W{R){PUV U, W, P, X c W~X|U{PUV U, W, Q, R c (U{Q)~W{RUV U, W, Q, V c U~(W{Q){VUV U, W, Q, W c UQ{W~WUV U, W, R, P c U~(W{R){PUV U, W, R, Q c (U{Q)~W{RUV U, W, R, T c (U{W)~T|RUV U, W, R, W c U{W~W|RUV U, W, S, T c U~(W{S)|TUV U, W, T, R c (U{W)~T|RUV U, W, T, S c U~(W{S)|TUV U, W, T, V c U{W~V{TUV U, W, T, X c U~X{W{TUV U, W, V, Q c U~(W{Q){VUV U, W, V, T c U{W~V{TUV U, W, W, Q c UQ{W~WUV U, W, W, R c U{W~W|RUV U, W, W, X c W~W|U{XUV U, W, X, P c W~X|U{PUV U, W, X, T c U~X{W{TUV U, W, X, W c W~W|U{XUV U, W, X, X c (X~X)|(U{W)UV U, X, P, Q c U~(X{Q){PUV U, X, P, S c (U{P)~X{SUV U, X, P, V c U~(X{P){VUV U, X, P, W c X~W|U{PUV U, X, Q, P c U~(X{Q){PUV U, X, Q, T c (U{Q)~X|TUV U, X, Q, V c U{X~V|QUV U, X, R, T c U~(X{R)|TUV U, X, S, P c (U{P)~X{SUV U, X, S, V c (U{X)~S{VUV U, X, S, X c U~X{S{XUV U, X, T, Q c (U{Q)~X|TUV U, X, T, R c U~(X{R)|TUV U, X, T, W c (U{X)~T|WUV U, X, U, V c U{X~U{VUV U, X, V, P c U~(X{P){VUV U, X, V, Q c U{X~V|QUV U, X, V, S c (U{X)~S{VUV U, X, V, U c U~X{V{UUV U, X, W, P c X~W|U{PUV U, X, W, T c U~X{W{TUV U, X, W, W c X|U{W~WUV U, X, W, X c (X~X)|(U{W)UV U, X, X, S c U~X{X{SUV U, X, X, W c (X~X)|(U{W)UV V, O, S, X c (V{O)~X{SUV V, O, X, S c (V{O)~X{SUV V, P, R, W c (V{P)~W{RUV V, P, R, X c V~(P{X)|RUV V, P, S, U c (V{S)~U{PUV V, P, S, W c V~(P{W){SUV V, P, S, X c V~P~X{SUV V, P, T, X c (V{P)~X|TUV V, P, U, S c (V{S)~U{PUV V, P, U, X c V{(P{X)~UUV V, P, W, R c (V{P)~W{RUV V, P, W, S c V~(P{W){SUV V, P, X, R c V~(P{X)|RUV V, P, X, S c V~P~X{SUV V, P, X, T c (V{P)~X|TUV V, P, X, U c V{(P{X)~UUV V, Q, Q, X c V~X{Q{QUV V, Q, R, T c V~Q~T|RUV V, Q, R, W c V~(Q{W)|RUV V, Q, S, V c (V{Q)~V{SUV V, Q, T, R c V~Q~T|RUV V, Q, T, U c V{Q~T~UUV V, Q, T, W c (V{Q)~W|TUV V, Q, U, T c V{Q~U~TUV V, Q, U, W c V{(Q{W)~UUV V, Q, U, X c V~X|Q{UUV V, Q, V, S c (V{Q)~V{SUV V, Q, V, X c V~V{Q~XUV V, Q, W, R c V~(Q{W)|RUV V, Q, W, T c (V{Q)~W|TUV V, Q, W, U c V{(Q{W)~UUV V, Q, W, X c V~W{Q{XUV V, Q, X, Q c V~X{Q{QUV V, Q, X, U c V~X|Q{UUV V, Q, X, V c V~V{Q~XUV V, Q, X, W c V~X{WQUV V, Q, X, X c X~X|V~QUV V, R, P, W c (V{P)~W{RUV V, R, P, X c V~(P{X)|RUV V, R, Q, T c V~Q~T|RUV V, R, Q, W c V~(Q{W)|RUV V, R, R, S c V~R~R{SUV V, R, R, V c (V{R)~V|RUV V, R, S, R c V~R~R{SUV V, R, S, T c V{R~S~TUV V, R, S, U c V~(R{U){SUV V, R, S, X c (V{X)~S{RUV V, R, T, Q c V~T~Q|RUV V, R, T, S c V{R~T~SUV V, R, T, T c V~(T{T)|RUV V, R, T, V c (V{V)~T|RUV V, R, T, X c V{(R{X)~TUV V, R, U, S c V~(R{U){SUV V, R, U, V c (V{R)~U{VUV V, R, V, R c (V{R)~V|RUV V, R, V, T c (V{V)~T|RUV V, R, V, U c V{(R{V)~UUV V, R, V, X c V|R{V~XUV V, R, W, P c (V{P)~W{RUV V, R, W, Q c V~(W{Q)|RUV V, R, W, W c V~W{R{WUV V, R, X, P c V~X{R{PUV V, R, X, S c (V{X)~S{RUV V, R, X, T c V{(R{X)~TUV V, R, X, V c V|R{X~VUV V, S, O, X c (V{O)~X{SUV V, S, P, U c (V{S)~U{PUV V, S, P, W c V~(P{W){SUV V, S, P, X c V~P~X{SUV V, S, Q, V c (V{Q)~V{SUV V, S, R, R c V~R~R{SUV V, S, R, T c V{S~R~TUV V, S, R, U c V~(S{U)|RUV V, S, R, X c (V{X)~S{RUV V, S, S, T c V~(S{T){SUV V, S, T, R c V{S~T~RUV V, S, T, S c V~(S{T){SUV V, S, T, W c V{(S{W)~TUV V, S, U, P c (V{S)~U{PUV V, S, U, R c V~(S{U)|RUV V, S, U, U c V{(S{U)~UUV V, S, U, X c V{S~(U{X)UV V, S, V, Q c V~(V{Q){SUV V, S, V, W c V{S{V~WUV V, S, V, X c V~(SV{X)UV V, S, W, P c V~(W{P){SUV V, S, W, T c V{(S{W)~TUV V, S, W, V c V{S{W~VUV V, S, W, W c V|S{W~WUV V, S, W, X c V~X|S{WUV V, S, X, O c V~X{S{OUV V, S, X, P c V~X{S~PUV V, S, X, R c (V{X)~S{RUV V, S, X, U c V{S~(X{U)UV V, S, X, V c V~(SV{X)UV V, S, X, W c V~X|S{WUV V, S, X, X c (V{SX)~XUV V, T, P, X c (V{P)~X|TUV V, T, Q, R c V~T~Q|RUV V, T, Q, U c V{T~Q~UUV V, T, Q, W c (V{Q)~W|TUV V, T, R, Q c V~T~Q|RUV V, T, R, S c V{T~R~SUV V, T, R, T c V~(T{T)|RUV V, T, R, V c (V{V)~T|RUV V, T, R, X c V{T~(R{X)UV V, T, S, R c V{T~S~RUV V, T, S, S c V~(T{S){SUV V, T, S, W c V{T~(S{W)UV V, T, T, R c V~(T{T)|RUV V, T, T, U c V{(T{T)~UUV V, T, T, V c (V{T)~T{VUV V, T, U, Q c V{T~U~QUV V, T, U, T c (V{T)~U|TUV V, T, U, U c V{T~(U{U)UV V, T, U, W c V~W{T{UUV V, T, V, R c (V{V)~T|RUV V, T, V, T c V{(T{V)~TUV V, T, W, Q c (V{Q)~W|TUV V, T, W, S c V{T~(W{S)UV V, T, W, U c V~W{T{UUV V, T, W, W c (V{W)~T|WUV V, T, X, P c V~X{T|PUV V, T, X, R c V{T~(X{R)UV V, T, X, X c V~X|T{XUV V, U, P, S c (V{S)~U{PUV V, U, P, X c V{U~(P{X)UV V, U, Q, T c V{U~Q~TUV V, U, Q, W c V{U~(Q{W)UV V, U, Q, X c V~X{U|QUV V, U, R, S c V~(U{R){SUV V, U, R, V c V{U~(R{V)UV V, U, S, P c (V{S)~U{PUV V, U, S, R c V~(U{S)|RUV V, U, S, U c V{(U{S)~UUV V, U, S, X c V{(U{X)~SUV V, U, T, Q c (V{U)~T{QUV V, U, T, T c V{U~(T{T)UV V, U, T, U c V{(U{U)~TUV V, U, T, W c V~W{U{TUV V, U, U, S c V{U~(U{S)UV V, U, U, T c V{(U{U)~TUV V, U, U, X c V{U{U~XUV V, U, V, R c V{U~(V{R)UV V, U, W, Q c V{U~(W{Q)UV V, U, W, T c V~W{U{TUV V, U, X, P c V{U~(X{P)UV V, U, X, Q c V~X{U|QUV V, U, X, S c V{(U{X)~SUV V, U, X, U c V{U{X~UUV V, V, Q, S c V~(V{Q){SUV V, V, Q, X c V~V{Q~XUV V, V, R, R c V~(V{R)|RUV V, V, R, T c (V{V)~T|RUV V, V, R, U c V{(V{R)~UUV V, V, R, X c V{V~X|RUV V, V, S, Q c V~(V{Q){SUV V, V, S, W c V{(V{W)~SUV V, V, S, X c V~(SV{X)UV V, V, T, R c (V{V)~T|RUV V, V, T, T c V{(V{T)~TUV V, V, U, R c V~V{U~RUV V, V, W, S c V{(V{W)~SUV V, V, X, Q c V~V{X~QUV V, V, X, R c V{V~X|RUV V, V, X, S c V~(X{SV)UV V, V, X, X c V~V{X{XUV V, W, P, R c (V{P)~W{RUV V, W, P, S c V~(W{P){SUV V, W, Q, R c V~(W{Q)|RUV V, W, Q, T c (V{Q)~W|TUV V, W, Q, U c V{(W{Q)~UUV V, W, Q, X c V~W{Q{XUV V, W, R, P c (V{P)~W{RUV V, W, R, Q c V~(W{Q)|RUV V, W, R, W c V~W{R{WUV V, W, S, P c V~(W{P){SUV V, W, S, T c V{(W{S)~TUV V, W, S, V c (V{W)~S{VUV V, W, S, W c V{W~W|SUV V, W, S, X c V~X{W|SUV V, W, T, Q c (V{Q)~W|TUV V, W, T, S c V{(W{S)~TUV V, W, T, U c V~W{T{UUV V, W, T, W c (V{W)~T|WUV V, W, U, Q c V{(W{Q)~UUV V, W, U, T c V~W{U{TUV V, W, V, S c V{(W{V)~SUV V, W, W, R c V~W{W{RUV V, W, W, S c V{W~W|SUV V, W, W, T c (V{W)~T|WUV V, W, X, Q c V~W{X{QUV V, W, X, S c V~X{W|SUV V, X, O, S c V~X{O{SUV V, X, P, R c V~X{P{RUV V, X, P, S c V~X{P~SUV V, X, P, T c V~X|P{TUV V, X, P, U c V{(X{P)~UUV V, X, Q, Q c V~X{Q{QUV V, X, Q, U c V~X|Q{UUV V, X, Q, V c V~V{X~QUV V, X, Q, W c V~X{WQUV V, X, Q, X c X~X|V~QUV V, X, R, P c V~X{R{PUV V, X, R, S c (V{X)~S{RUV V, X, R, T c V{(X{R)~TUV V, X, R, V c V~X|R{VUV V, X, S, O c V~X{S{OUV V, X, S, P c V~X{S~PUV V, X, S, R c (V{X)~S{RUV V, X, S, U c V{(X{U)~SUV V, X, S, V c V~(X{SV)UV V, X, S, W c V~X|S{WUV V, X, S, X c (V{SX)~XUV V, X, T, P c V~X{T|PUV V, X, T, R c V{(X{R)~TUV V, X, T, X c V~X|T{XUV V, X, U, P c V{(X{P)~UUV V, X, U, Q c V~X{U|QUV V, X, U, S c V{(X{U)~SUV V, X, U, U c V{X~U{UUV V, X, V, Q c V~V{X~QUV V, X, V, R c V{X~V|RUV V, X, V, S c V~(X{SV)UV V, X, V, X c V~V{X{XUV V, X, W, Q c V~X{WQUV V, X, W, S c V~X{W|SUV V, X, X, Q c X~X|V~QUV V, X, X, S c (V{SX)~XUV V, X, X, T c V~X{X|TUV V, X, X, V c V~V{X{XUV W, O, R, W c (W{O)~W{RUV W, O, T, X c (W{O)~X|TUV W, O, W, R c (W{O)~W{RUV W, O, X, T c (W{O)~X|TUV W, P, Q, W c W~W{P{QUV W, P, R, U c (W{R)~U{PUV W, P, R, V c W~(P{V){RUV W, P, R, W c W~P~W{RUV W, P, R, X c W~(X|P){RUV W, P, S, V c (W{P)~V{SUV W, P, S, W c W~W|P{SUV W, P, S, X c (W|P)~X{SUV W, P, T, W c (W{P)~W|TUV W, P, T, X c W~P~X|TUV W, P, U, R c (W{R)~U{PUV W, P, U, X c W~X{P|UUV W, P, V, R c W~(P{V){RUV W, P, V, S c (W{P)~V{SUV W, P, W, Q c W~W{P{QUV W, P, W, R c W~P~W{RUV W, P, W, S c W~W|P{SUV W, P, W, T c (W{P)~W|TUV W, P, X, R c W~(X|P){RUV W, P, X, S c (W|P)~X{SUV W, P, X, T c W~P~X|TUV W, P, X, U c W~X{P|UUV W, Q, P, W c W~W{Q{PUV W, Q, R, S c W~Q~S{RUV W, Q, R, U c W~(Q{U){RUV W, Q, R, V c (W{Q)~V|RUV W, Q, R, X c (W~X)|(Q{R)UV W, Q, S, R c W~Q~S{RUV W, Q, T, T c (W{T)~T{QUV W, Q, T, V c W~(Q{V)|TUV W, Q, T, W c W~W|Q{TUV W, Q, U, R c W~(Q{U){RUV W, Q, U, V c (W{Q)~U{VUV W, Q, U, W c W~W{UQUV W, Q, V, R c (W{Q)~V|RUV W, Q, V, T c W~(Q{V)|TUV W, Q, V, U c (W{Q)~U{VUV W, Q, V, X c WQ{V~XUV W, Q, W, P c W~W{Q{PUV W, Q, W, T c W~W|Q{TUV W, Q, W, U c W~W{UQUV W, Q, X, R c (W~X)|(Q{R)UV W, Q, X, V c WQ{X~VUV W, R, O, W c (W{O)~W{RUV W, R, P, U c (W{R)~U{PUV W, R, P, V c W~(P{V){RUV W, R, P, W c W~P~W{RUV W, R, P, X c W~(X|P){RUV W, R, Q, S c W~Q~S{RUV W, R, Q, U c W~(Q{U){RUV W, R, Q, V c (W{Q)~V|RUV W, R, Q, X c (W~X)|(R{Q)UV W, R, R, T c W~R~R|TUV W, R, S, Q c W~S~Q{RUV W, R, S, S c W~(S{S){RUV W, R, S, W c (W{W)~S{RUV W, R, T, R c W~(R{T){RUV W, R, T, T c R~T~T|WUV W, R, T, U c W~(R{U)|TUV W, R, T, X c W~T{R~XUV W, R, U, P c (W{R)~U{PUV W, R, U, Q c W~(U{Q){RUV W, R, U, T c W~(R{U)|TUV W, R, U, W c W~W|R{UUV W, R, V, P c W~(V{P){RUV W, R, V, Q c (W{Q)~V|RUV W, R, V, W c W{R{V~WUV W, R, W, O c W~W{R{OUV W, R, W, P c W~W{R~PUV W, R, W, S c (W{W)~S{RUV W, R, W, U c W~W|R{UUV W, R, W, V c W{R{W~VUV W, R, W, W c (W{RW)~WUV W, R, W, X c W~W{XRUV W, R, X, P c W~(X|P){RUV W, R, X, Q c (W~X)|(R{Q)UV W, R, X, T c W~T{R~XUV W, R, X, W c W~X{R|WUV W, S, P, V c (W{P)~V{SUV W, S, P, W c W~W{S|PUV W, S, P, X c (W|P)~X{SUV W, S, Q, R c W~S~Q{RUV W, S, R, Q c W~S~Q{RUV W, S, R, S c W~(S{S){RUV W, S, R, W c (W{W)~S{RUV W, S, S, R c W~(S{S){RUV W, S, T, T c W~(S{T)|TUV W, S, T, U c (W{S)~U|TUV W, S, T, V c (W{S)~T{VUV W, S, U, T c (W{S)~U|TUV W, S, V, P c (W{P)~V{SUV W, S, V, T c W~S{V~TUV W, S, V, V c (W{V)~S{VUV W, S, V, W c W~W|S{VUV W, S, V, X c W|S{V~XUV W, S, W, P c W~W{S|PUV W, S, W, R c (W{W)~S{RUV W, S, W, V c W~W|S{VUV W, S, X, P c (W{X)~S|PUV W, S, X, V c W|S{X~VUV W, S, X, X c W~X{S|XUV W, T, O, X c (W{O)~X|TUV W, T, P, W c (W{P)~W|TUV W, T, P, X c W~P~X|TUV W, T, Q, T c (W{T)~T{QUV W, T, Q, V c W~(Q{V)|TUV W, T, Q, W c W~W{T|QUV W, T, R, R c W~(T{R){RUV W, T, R, T c T~R~T|WUV W, T, R, U c W~(R{U)|TUV W, T, R, X c W~T{R~XUV W, T, S, T c W~(T{S)|TUV W, T, S, U c (W{S)~U|TUV W, T, S, V c (W{S)~T{VUV W, T, T, Q c (W{T)~T{QUV W, T, T, R c T~T~R|WUV W, T, T, S c W~(T{S)|TUV W, T, U, R c (W{U)~T|RUV W, T, U, S c (W{S)~U|TUV W, T, U, V c W~V{T{UUV W, T, U, X c W{T{U~XUV W, T, V, Q c W~(V{Q)|TUV W, T, V, S c (W{S)~T{VUV W, T, V, U c W~V{T{UUV W, T, V, W c (W{V)~T|WUV W, T, W, P c W~(W{P)|TUV W, T, W, Q c W~W{T|QUV W, T, W, V c (W{V)~T|WUV W, T, W, W c W|T{W~WUV W, T, W, X c W~(X|TW)UV W, T, X, O c W~X|T{OUV W, T, X, P c W~X|T~PUV W, T, X, R c W~T{X~RUV W, T, X, U c W{T{X~UUV W, T, X, W c W~(X|TW)UV W, T, X, X c (W|TX)~XUV W, U, P, R c (W{R)~U{PUV W, U, P, X c W~X|U{PUV W, U, Q, R c W~(U{Q){RUV W, U, Q, V c (W{Q)~U{VUV W, U, Q, W c W~W{UQUV W, U, R, P c (W{R)~U{PUV W, U, R, Q c W~(U{Q){RUV W, U, R, T c W~(U{R)|TUV W, U, R, W c W~W{U|RUV W, U, S, T c (W{S)~U|TUV W, U, T, R c (W{U)~T|RUV W, U, T, S c (W{S)~U|TUV W, U, T, V c W~V{U{TUV W, U, T, X c W{U~X{TUV W, U, V, Q c (W{Q)~U{VUV W, U, V, T c W~V{U{TUV W, U, W, Q c W~W{UQUV W, U, W, R c W~W{U|RUV W, U, W, X c W~W|U{XUV W, U, X, P c W~X|U{PUV W, U, X, T c W{U~X{TUV W, U, X, W c W~W|U{XUV W, U, X, X c (X~X)|(W{U)UV W, V, P, R c W~(V{P){RUV W, V, P, S c (W{P)~V{SUV W, V, Q, R c (W{Q)~V|RUV W, V, Q, T c W~(V{Q)|TUV W, V, Q, U c (W{Q)~U{VUV W, V, Q, X c W~V{Q{XUV W, V, R, P c W~(V{P){RUV W, V, R, Q c (W{Q)~V|RUV W, V, R, W c W~V{R{WUV W, V, S, P c (W{P)~V{SUV W, V, S, T c W~S{V~TUV W, V, S, V c (W{V)~S{VUV W, V, S, W c W~W{V|SUV W, V, S, X c W{V~X|SUV W, V, T, Q c W~(V{Q)|TUV W, V, T, S c W~S{V~TUV W, V, T, U c W~V{T{UUV W, V, T, W c (W{V)~T|WUV W, V, U, Q c (W{Q)~U{VUV W, V, U, T c W~V{U{TUV W, V, V, S c W~V{V{SUV W, V, W, R c W{V~W{RUV W, V, W, S c W~W{V|SUV W, V, W, T c (W{V)~T|WUV W, V, X, Q c W~V{X{QUV W, V, X, S c W{V~X|SUV W, W, O, R c W~W{O{RUV W, W, P, Q c W~W{P{QUV W, W, P, R c W~W{P~RUV W, W, P, S c W~W|P{SUV W, W, P, T c W~(W{P)|TUV W, W, Q, P c W~W{Q{PUV W, W, Q, T c W~W|Q{TUV W, W, Q, U c W~W{UQUV W, W, R, O c W~W{R{OUV W, W, R, P c W~W{R~PUV W, W, R, S c (W{W)~S{RUV W, W, R, U c W~W|R{UUV W, W, R, V c W{W~V{RUV W, W, R, W c W~(W{RW)UV W, W, R, X c W~W{XRUV W, W, S, P c W~W{S|PUV W, W, S, R c (W{W)~S{RUV W, W, S, V c W~W|S{VUV W, W, T, P c W~(W{P)|TUV W, W, T, Q c W~W{T|QUV W, W, T, V c (W{V)~T|WUV W, W, T, W c W~W|T{WUV W, W, T, X c W~(X|TW)UV W, W, U, Q c W~W{UQUV W, W, U, R c W~W{U|RUV W, W, U, X c W~W|U{XUV W, W, V, R c W{W~V{RUV W, W, V, S c W~W{V|SUV W, W, V, T c (W{V)~T|WUV W, W, W, R c W~(W{RW)UV W, W, W, T c W{W~W|TUV W, W, X, R c W~W{XRUV W, W, X, T c W~(X|TW)UV W, W, X, U c W~W{X|UUV W, X, O, T c W~X{O|TUV W, X, P, R c W~(X|P){RUV W, X, P, S c (W~X)|(P{S)UV W, X, P, T c W~X|P~TUV W, X, P, U c W~X{P|UUV W, X, Q, R c (W~X)|(Q{R)UV W, X, Q, V c W~X{Q|VUV W, X, R, P c W~(X|P){RUV W, X, R, Q c (W~X)|(R{Q)UV W, X, R, T c W~T{X~RUV W, X, R, W c W~X{R|WUV W, X, S, P c (W{X)~S|PUV W, X, S, V c W{X~V|SUV W, X, S, X c W~X{S|XUV W, X, T, O c W~X|T{OUV W, X, T, P c W~X|T~PUV W, X, T, R c W~T{X~RUV W, X, T, U c W{X~U{TUV W, X, T, W c W~(X|TW)UV W, X, T, X c (W|TX)~XUV W, X, U, P c W~X|U{PUV W, X, U, T c W{X~U{TUV W, X, U, W c W~W{X|UUV W, X, U, X c (X~X)|(W{U)UV W, X, V, Q c W~X|V{QUV W, X, V, S c W{X~V|SUV W, X, W, R c W~X|W{RUV W, X, W, T c W~(X|TW)UV W, X, W, U c W~W{X|UUV W, X, X, S c W~X|X{SUV W, X, X, T c (W|TX)~XUV W, X, X, U c (X~X)|(W{U)UV X, O, S, V c (X{O)~V{SUV X, O, T, W c (X{O)~W|TUV X, O, V, S c (X{O)~V{SUV X, O, W, T c (X{O)~W|TUV X, P, Q, U c (X{Q)~U{PUV X, P, R, V c (X{P)~V|RUV X, P, R, W c (X|P)~W{RUV X, P, S, U c X~(P{U){SUV X, P, S, V c X~P~V{SUV X, P, S, W c (X~W)|(P{S)UV X, P, T, V c X~(P{V)|TUV X, P, T, W c X~P~W|TUV X, P, T, X c (X|P)~X|TUV X, P, U, Q c (X{Q)~U{PUV X, P, U, S c X~(P{U){SUV X, P, U, V c (X{P)~U{VUV X, P, U, W c X~W{P|UUV X, P, V, R c (X{P)~V|RUV X, P, V, S c X~P~V{SUV X, P, V, T c X~(P{V)|TUV X, P, V, U c (X{P)~U{VUV X, P, W, R c (X|P)~W{RUV X, P, W, S c (X~W)|(P{S)UV X, P, W, T c X~P~W|TUV X, P, W, U c X~W{P|UUV X, P, X, T c (X|P)~X|TUV X, Q, P, U c (X{Q)~U{PUV X, Q, Q, V c X~V{Q{QUV X, Q, R, W c (X~W)|(Q{R)UV X, Q, S, T c X~Q~S|TUV X, Q, S, X c (X|Q)~X{SUV X, Q, T, S c X~(Q{T){SUV X, Q, T, U c X~(Q{U)|TUV X, Q, U, P c (X{Q)~U{PUV X, Q, U, T c X~(Q{U)|TUV X, Q, U, V c X~V|Q{UUV X, Q, V, Q c X~V{Q{QUV X, Q, V, U c X~V|Q{UUV X, Q, V, V c X~Q{V~VUV X, Q, V, W c X{Q{V~WUV X, Q, V, X c X~X|Q~VUV X, Q, W, R c (X~W)|(Q{R)UV X, Q, W, V c X{Q{W~VUV X, Q, X, S c (X|Q)~X{SUV X, Q, X, V c X~X|Q~VUV X, R, P, V c (X{P)~V|RUV X, R, P, W c (X|P)~W{RUV X, R, Q, W c (X~W)|(R{Q)UV X, R, S, S c X~(R{S){SUV X, R, S, V c (X{V)~S{RUV X, R, T, T c X~(R{T)|TUV X, R, T, U c (X{R)~U|TUV X, R, T, V c (X{R)~T{VUV X, R, T, W c X~R{T~WUV X, R, U, T c (X{R)~U|TUV X, R, V, P c X~V{R{PUV X, R, V, S c (X{V)~S{RUV X, R, V, T c (X{R)~T{VUV X, R, V, V c X~V|R{VUV X, R, W, P c (X|P)~W{RUV X, R, W, Q c (X~W)|(R{Q)UV X, R, W, T c X~R{W~TUV X, R, W, W c XR{W~WUV X, S, O, V c (X{O)~V{SUV X, S, P, U c X~(P{U){SUV X, S, P, V c X~P~V{SUV X, S, P, W c (X{W)~S|PUV X, S, Q, T c X~S~Q|TUV X, S, Q, X c (X|Q)~X{SUV X, S, R, S c X~(S{R){SUV X, S, R, V c (X{V)~S{RUV X, S, S, R c X~(S{R){SUV X, S, S, T c X~(S{S)|TUV X, S, T, Q c (X{S)~T{QUV X, S, T, S c X~(S{S)|TUV X, S, T, X c (X{X)~S|TUV X, S, U, P c X~(U{P){SUV X, S, U, V c (X{U)~S{VUV X, S, U, X c X{S{U~XUV X, S, V, O c X~V{S{OUV X, S, V, P c X~V{S~PUV X, S, V, R c (X{V)~S{RUV X, S, V, U c (X{U)~S{VUV X, S, V, V c (X{SV)~VUV X, S, V, W c X~V|S{WUV X, S, V, X c X~(SX{V)UV X, S, W, P c (X{W)~S|PUV X, S, W, V c X~V|S{WUV X, S, W, X c X~W{S|XUV X, S, X, Q c X~(X|Q){SUV X, S, X, T c (X{X)~S|TUV X, S, X, U c X{S{X~UUV X, S, X, V c X~(SX{V)UV X, S, X, W c X~W{S|XUV X, T, O, W c (X{O)~W|TUV X, T, P, V c X~(P{V)|TUV X, T, P, W c X~P~W|TUV X, T, P, X c (X|P)~X|TUV X, T, Q, S c X~(T{Q){SUV X, T, Q, U c X~(Q{U)|TUV X, T, R, T c X~(T{R)|TUV X, T, R, U c (X{R)~U|TUV X, T, R, V c (X{R)~T{VUV X, T, R, W c X~R{T~WUV X, T, S, Q c X~(T{Q){SUV X, T, S, S c X~(S{S)|TUV X, T, S, X c (X{X)~S|TUV X, T, T, R c (X{T)~T|RUV X, T, U, Q c X~(U{Q)|TUV X, T, U, R c (X{R)~U|TUV X, T, U, W c (X{U)~T|WUV X, T, V, P c X~V{T|PUV X, T, V, R c (X{R)~T{VUV X, T, V, X c X|T{V~XUV X, T, W, O c X~W|T{OUV X, T, W, P c X~W|T~PUV X, T, W, R c X~R{T~WUV X, T, W, U c (X{U)~T|WUV X, T, W, W c (X|TW)~WUV X, T, W, X c X~(W|TX)UV X, T, X, P c X~(X|P)|TUV X, T, X, S c (X{X)~S|TUV X, T, X, V c X|T{X~VUV X, T, X, W c X~(W|TX)UV X, T, X, X c (X~X)|(T{X)UV X, U, P, Q c (X{Q)~U{PUV X, U, P, S c X~(U{P){SUV X, U, P, V c (X{P)~U{VUV X, U, P, W c X~W|U{PUV X, U, Q, P c (X{Q)~U{PUV X, U, Q, T c X~(U{Q)|TUV X, U, Q, V c X~V{U|QUV X, U, R, T c (X{R)~U|TUV X, U, S, P c X~(U{P){SUV X, U, S, V c (X{U)~S{VUV X, U, S, X c X~U{S{XUV X, U, T, Q c X~(U{Q)|TUV X, U, T, R c (X{R)~U|TUV X, U, T, W c (X{U)~T|WUV X, U, U, V c X~U{U{VUV X, U, V, P c (X{P)~U{VUV X, U, V, Q c X~V{U|QUV X, U, V, S c (X{U)~S{VUV X, U, V, U c X~U{V{UUV X, U, W, P c X~W|U{PUV X, U, W, T c X~U{W{TUV X, U, W, W c X|U{W~WUV X, U, W, X c (X~X)|(U{W)UV X, U, X, S c X{U~X{SUV X, U, X, W c (X~X)|(U{W)UV X, V, O, S c X~V{O{SUV X, V, P, R c X~V{P{RUV X, V, P, S c X~V{P~SUV X, V, P, T c X~(V{P)|TUV X, V, P, U c (X{P)~U{VUV X, V, Q, Q c X~V{Q{QUV X, V, Q, U c X~V|Q{UUV X, V, Q, V c X~Q{V~VUV X, V, Q, W c X{V~W{QUV X, V, Q, X c X~X|V~QUV X, V, R, P c X~V{R{PUV X, V, R, S c (X{V)~S{RUV X, V, R, T c (X{R)~T{VUV X, V, R, V c X~V|R{VUV X, V, S, O c X~V{S{OUV X, V, S, P c X~V{S~PUV X, V, S, R c (X{V)~S{RUV X, V, S, U c (X{U)~S{VUV X, V, S, V c (X{SV)~VUV X, V, S, W c X~V|S{WUV X, V, S, X c X~(V{SX)UV X, V, T, P c X~V{T|PUV X, V, T, R c (X{R)~T{VUV X, V, T, X c X~V|T{XUV X, V, U, P c (X{P)~U{VUV X, V, U, Q c X~V{U|QUV X, V, U, S c (X{U)~S{VUV X, V, U, U c X~U{V{UUV X, V, V, Q c X~Q{V~VUV X, V, V, R c X~V{V|RUV X, V, V, S c (X{SV)~VUV X, V, V, X c X{V~V{XUV X, V, W, Q c X{V~W{QUV X, V, W, S c X~V{W|SUV X, V, X, Q c X~X|V~QUV X, V, X, S c X~(V{SX)UV X, V, X, T c X{V~X|TUV X, V, X, V c X{V~V{XUV X, W, O, T c X~W{O|TUV X, W, P, R c (X|P)~W{RUV X, W, P, S c (X~W)|(P{S)UV X, W, P, T c X~W|P~TUV X, W, P, U c X~W{P|UUV X, W, Q, R c (X~W)|(Q{R)UV X, W, Q, V c X~W{Q|VUV X, W, R, P c (X|P)~W{RUV X, W, R, Q c (X~W)|(R{Q)UV X, W, R, T c X~R{W~TUV X, W, R, W c X~W{R|WUV X, W, S, P c (X{W)~S|PUV X, W, S, V c X~V{W|SUV X, W, S, X c X~W{S|XUV X, W, T, O c X~W|T{OUV X, W, T, P c X~W|T~PUV X, W, T, R c X~R{W~TUV X, W, T, U c X~U{W{TUV X, W, T, W c (X|TW)~WUV X, W, T, X c X~(W|TX)UV X, W, U, P c X~W|U{PUV X, W, U, T c X~U{W{TUV X, W, U, W c X{W~W|UUV X, W, U, X c (X~X)|(W{U)UV X, W, V, Q c X{W~V{QUV X, W, V, S c X~V{W|SUV X, W, W, R c X~W|W{RUV X, W, W, T c (X|TW)~WUV X, W, W, U c X{W~W|UUV X, W, X, S c X~W|X{SUV X, W, X, T c X~(W|TX)UV X, W, X, U c (X~X)|(W{U)UV X, X, P, T c X~(X|P)|TUV X, X, Q, S c X~(X|Q){SUV X, X, Q, V c X~X|Q~VUV X, X, S, Q c X~(X|Q){SUV X, X, S, T c (X{X)~S|TUV X, X, S, U c X{X~U{SUV X, X, S, V c X~(SX{V)UV X, X, S, W c X~W|X{SUV X, X, T, P c X~(X|P)|TUV X, X, T, S c (X{X)~S|TUV X, X, T, V c X{X~V|TUV X, X, T, W c X~(W|TX)UV X, X, T, X c (X~X)|(T{X)UV X, X, U, S c X{X~U{SUV X, X, U, W c (X~X)|(U{W)UV X, X, V, Q c X~X|V~QUV X, X, V, S c X~(V{SX)UV X, X, V, T c X{X~V|TUV X, X, V, V c X{X{V~VUV X, X, W, S c X~W|X{SUV X, X, W, T c X~(W|TX)UV X, X, W, U c (X~X)|(W{U)UV X, X, X, T c (X~X)|(X{T)UV