O, R, W, X c O{W~X|RUX O, R, X, W c O{X~W|RUX O, T, W, W c O{T{W~WUX O, U, V, X c O{U{V~XUX O, U, X, V c O{U{X~VUX O, V, U, X c O{V~X{UUX O, V, X, U c O{V~X{UUX O, W, R, X c O{W~X|RUX O, W, T, W c O{W~W{TUX O, W, W, T c O{W~W{TUX O, W, X, R c O{W~X|RUX O, X, R, W c O{X~W|RUX O, X, U, V c O{X~V{UUX O, X, V, U c O{X~V{UUX O, X, W, R c O{X~W|RUX P, P, V, X c (P{X)~V|PUX P, P, X, V c (P{X)~V|PUX P, Q, T, V c Q~T~V|PUX P, Q, V, T c Q~V~T|PUX P, Q, V, W c (Q{W)~V|PUX P, Q, W, V c (Q{W)~V|PUX P, Q, W, X c (W~X)|(P{Q)UX P, Q, X, W c (X~W)|(P{Q)UX P, R, R, W c R~(R~W|P)UX P, R, S, U c R~(S~U|P)UX P, R, U, S c R~(U~S|P)UX P, R, V, V c (R{V)~V|PUX P, R, V, X c (P{V)~X|RUX P, R, W, R c (R~W|P)~RUX P, R, W, W c (P{W)~W|RUX P, R, W, X c P~W~X|RUX P, R, X, V c (P{V)~X|RUX P, R, X, W c P~X~W|RUX P, R, X, X c (X|P)~X|RUX P, S, R, U c (S~U|P)~RUX P, S, U, R c (S~U|P)~RUX P, S, U, V c (S{U)~V|PUX P, S, V, U c (S{U)~V|PUX P, S, W, W c P{S{W~WUX P, S, W, X c P{S~(W{X)UX P, S, X, W c P{S~(X{W)UX P, T, Q, V c T~Q~V|PUX P, T, T, V c (T{T)~V|PUX P, T, T, X c T~(T{X)|PUX P, T, U, W c T~(U{W)|PUX P, T, V, Q c T~V~Q|PUX P, T, V, T c (T{T)~V|PUX P, T, V, V c T~(V{V)|PUX P, T, V, W c (P{V)~W{TUX P, T, V, X c P{T{V~XUX P, T, W, U c T~(W{U)|PUX P, T, W, V c (P{V)~W{TUX P, T, W, W c P~T{W~WUX P, T, W, X c T{W~(X|P)UX P, T, X, T c (T{X)~T|PUX P, T, X, V c P{T{X~VUX P, T, X, W c T{(X|P)~WUX P, U, R, S c (U~S|P)~RUX P, U, S, R c (U~S|P)~RUX P, U, S, V c (U{S)~V|PUX P, U, T, W c (U{W)~T|PUX P, U, U, X c (P{U)~X{UUX P, U, V, S c (U{S)~V|PUX P, U, V, W c (P{W)~V{UUX P, U, V, X c P~U{V~XUX P, U, W, T c (U{W)~T|PUX P, U, W, V c (P{W)~V{UUX P, U, W, W c U|P{W~WUX P, U, W, X c U{(W|P)~XUX P, U, X, U c (P{U)~X{UUX P, U, X, V c P~U{X~VUX P, U, X, W c U{X~(W|P)UX P, U, X, X c (P{X)~U{XUX P, V, P, X c (P{X)~V|PUX P, V, Q, T c V~Q~T|PUX P, V, Q, W c V~(Q{W)|PUX P, V, R, V c (V{R)~V|PUX P, V, R, X c (P{V)~X|RUX P, V, S, U c V~(S{U)|PUX P, V, T, Q c V~T~Q|PUX P, V, T, T c V~(T{T)|PUX P, V, T, V c (V{V)~T|PUX P, V, T, W c (P{V)~W{TUX P, V, T, X c P{V~X{TUX P, V, U, S c V~(U{S)|PUX P, V, U, W c (P{W)~V{UUX P, V, U, X c P~V~X{UUX P, V, V, R c V~(V{R)|PUX P, V, V, T c (V{V)~T|PUX P, V, V, X c V|P{V~XUX P, V, W, Q c V~(W{Q)|PUX P, V, W, T c (P{V)~W{TUX P, V, W, U c (P{W)~V{UUX P, V, X, P c (P{X)~V|PUX P, V, X, R c (P{V)~X|RUX P, V, X, T c P{V~X{TUX P, V, X, U c P~V~X{UUX P, V, X, V c V|P{X~VUX P, W, Q, V c (W{Q)~V|PUX P, W, Q, X c (W~X)|(P{Q)UX P, W, R, R c (W~R|P)~RUX P, W, R, W c (P{W)~W|RUX P, W, R, X c P~W~X|RUX P, W, S, W c P{W~W{SUX P, W, S, X c P{(W{X)~SUX P, W, T, U c (W{U)~T|PUX P, W, T, V c (P{V)~W{TUX P, W, T, W c P~W~W{TUX P, W, T, X c W~(X|P){TUX P, W, U, T c (W{U)~T|PUX P, W, U, V c (P{W)~V{UUX P, W, U, W c W~W|P{UUX P, W, U, X c (W|P)~X{UUX P, W, V, Q c (W{Q)~V|PUX P, W, V, T c (P{V)~W{TUX P, W, V, U c (P{W)~V{UUX P, W, W, R c (P{W)~W|RUX P, W, W, S c P{W~W{SUX P, W, W, T c P~W~W{TUX P, W, W, U c W~W|P{UUX P, W, X, Q c (W~X)|(P{Q)UX P, W, X, R c P~W~X|RUX P, W, X, S c P{(W{X)~SUX P, W, X, T c W~(X|P){TUX P, W, X, U c (W|P)~X{UUX P, X, P, V c (P{X)~V|PUX P, X, Q, W c (X~W)|(P{Q)UX P, X, R, V c (P{V)~X|RUX P, X, R, W c P~X~W|RUX P, X, R, X c (X|P)~X|RUX P, X, S, W c P{(X{W)~SUX P, X, T, T c (X{T)~T|PUX P, X, T, V c P{X~V{TUX P, X, T, W c (X|P)~W{TUX P, X, U, U c (P{U)~X{UUX P, X, U, V c P~X~V{UUX P, X, U, W c X~(W|P){UUX P, X, U, X c (P{X)~U{XUX P, X, V, P c (P{X)~V|PUX P, X, V, R c (P{V)~X|RUX P, X, V, T c P{X~V{TUX P, X, V, U c P~X~V{UUX P, X, V, V c X~V|P{VUX P, X, W, Q c (X~W)|(P{Q)UX P, X, W, R c P~X~W|RUX P, X, W, S c P{(X{W)~SUX P, X, W, T c (X|P)~W{TUX P, X, W, U c X~(W|P){UUX P, X, X, R c (X|P)~X|RUX P, X, X, U c (P{X)~U{XUX Q, P, T, V c Q~T~V|PUX Q, P, V, T c Q~V~T|PUX Q, P, V, W c (Q{W)~V|PUX Q, P, W, V c (Q{W)~V|PUX Q, P, W, X c (W~X)|(Q{P)UX Q, P, X, W c (X~W)|(Q{P)UX Q, R, R, V c (Q{R~V)~RUX Q, R, S, X c Q~S~X|RUX Q, R, T, T c R~(T~T|Q)UX Q, R, T, X c (Q~X{T)~RUX Q, R, U, U c Q~U~U|RUX Q, R, U, X c (Q{U)~X|RUX Q, R, V, R c (Q{R~V)~RUX Q, R, V, W c (Q{V)~W|RUX Q, R, V, X c Q~R{V~XUX Q, R, W, V c (Q~W{V)~RUX Q, R, W, W c Q{R{W~WUX Q, R, X, S c Q~X~S|RUX Q, R, X, T c (Q~X{T)~RUX Q, R, X, U c (Q{X)~U{RUX Q, R, X, V c Q~R{X~VUX Q, S, R, X c Q~S~X|RUX Q, S, T, W c Q~S~W{TUX Q, S, V, X c Q{S{V~XUX Q, S, W, T c Q~S~W{TUX Q, S, X, R c Q~S~X|RUX Q, S, X, V c Q{S{X~VUX Q, T, P, V c Q~T~V|PUX Q, T, R, T c (T~T|Q)~RUX Q, T, R, X c (Q~X{T)~RUX Q, T, S, W c Q~S~W{TUX Q, T, T, R c (T~T|Q)~RUX Q, T, U, W c (Q{U)~W{TUX Q, T, U, X c Q~T~U{XUX Q, T, V, P c Q~T~V|PUX Q, T, W, S c Q~W~S{TUX Q, T, W, U c (Q{U)~W{TUX Q, T, W, X c Q{W~X|TUX Q, T, X, R c (Q~X{T)~RUX Q, T, X, U c (Q{T)~X{UUX Q, T, X, W c Q{X~W|TUX Q, U, R, U c Q~U~U|RUX Q, U, R, X c (Q{U)~X|RUX Q, U, T, W c (Q{U)~W{TUX Q, U, T, X c Q~U~T{XUX Q, U, U, R c Q~U~U|RUX Q, U, V, V c (Q{V)~V{UUX Q, U, V, W c U~(VQ{W)UX Q, U, V, X c U~(V{XQ)UX Q, U, W, T c (Q{U)~W{TUX Q, U, W, V c U~(W{VQ)UX Q, U, W, X c (Q{W)~U{XUX Q, U, X, R c (Q{U)~X|RUX Q, U, X, T c Q~U~T{XUX Q, U, X, V c U~(XQ{V)UX Q, U, X, W c (Q{W)~U{XUX Q, U, X, X c U{(X|Q)~XUX Q, V, P, T c Q~V~T|PUX Q, V, P, W c (Q{W)~V|PUX Q, V, R, R c (Q{V~R)~RUX Q, V, R, W c (Q{V)~W|RUX Q, V, R, X c (Q~V{X)~RUX Q, V, S, X c Q{V~X{SUX Q, V, T, P c Q~V~T|PUX Q, V, U, V c (Q{V)~V{UUX Q, V, U, W c (VQ{W)~UUX Q, V, U, X c (V{XQ)~UUX Q, V, V, U c (Q{V)~V{UUX Q, V, W, P c (Q{W)~V|PUX Q, V, W, R c (Q{V)~W|RUX Q, V, W, U c (VQ{W)~UUX Q, V, W, W c V|Q{W~WUX Q, V, W, X c (Q{X)~V|WUX Q, V, X, R c (Q~V{X)~RUX Q, V, X, S c Q{V~X{SUX Q, V, X, U c (V{XQ)~UUX Q, V, X, W c (Q{X)~V|WUX Q, W, P, V c (Q{W)~V|PUX Q, W, P, X c (W~X)|(Q{P)UX Q, W, R, V c (Q~W{V)~RUX Q, W, R, W c Q{W~W{RUX Q, W, S, T c Q~W~S{TUX Q, W, T, S c Q~W~S{TUX Q, W, T, U c (Q{U)~W{TUX Q, W, T, X c Q{W~X|TUX Q, W, U, T c (Q{U)~W{TUX Q, W, U, V c (W{VQ)~UUX Q, W, U, X c (Q{W)~U{XUX Q, W, V, P c (Q{W)~V|PUX Q, W, V, R c (Q~W{V)~RUX Q, W, V, U c (W{VQ)~UUX Q, W, V, W c W~W|Q{VUX Q, W, V, X c (Q{X)~V|WUX Q, W, W, R c Q{W~W{RUX Q, W, W, V c W~W|Q{VUX Q, W, X, P c (W~X)|(Q{P)UX Q, W, X, T c Q{W~X|TUX Q, W, X, U c (Q{W)~U{XUX Q, W, X, V c (Q{X)~V|WUX Q, X, P, W c (X~W)|(Q{P)UX Q, X, R, S c Q~X~S|RUX Q, X, R, T c (Q~X{T)~RUX Q, X, R, U c (Q{X)~U{RUX Q, X, R, V c Q~R{X~VUX Q, X, S, R c Q~X~S|RUX Q, X, S, V c Q{X~V{SUX Q, X, T, R c (Q~X{T)~RUX Q, X, T, U c (Q{T)~X{UUX Q, X, T, W c Q{X~W|TUX Q, X, U, R c (Q{X)~U{RUX Q, X, U, T c Q~U~T{XUX Q, X, U, V c (XQ{V)~UUX Q, X, U, W c (Q{W)~U{XUX Q, X, U, X c (X|Q)~X{UUX Q, X, V, R c (Q~V{X)~RUX Q, X, V, S c Q{X~V{SUX Q, X, V, U c (XQ{V)~UUX Q, X, V, W c (Q{X)~V|WUX Q, X, W, P c (X~W)|(Q{P)UX Q, X, W, T c Q{X~W|TUX Q, X, W, U c (Q{W)~U{XUX Q, X, W, V c (Q{X)~V|WUX Q, X, X, U c (X|Q)~X{UUX R, O, W, X c O{W~X|RUX R, O, X, W c O{X~W|RUX R, P, R, W c R~(R~W|P)UX R, P, S, U c R~(S~U|P)UX R, P, U, S c R~(U~S|P)UX R, P, V, V c (R{V)~V|PUX R, P, V, X c (P{V)~X|RUX R, P, W, R c (R~W|P)~RUX R, P, W, W c (P{W)~W|RUX R, P, W, X c P~W~X|RUX R, P, X, V c (P{V)~X|RUX R, P, X, W c P~X~W|RUX R, P, X, X c (X|P)~X|RUX R, Q, R, V c R~(Q{R~V)UX R, Q, S, X c Q~S~X|RUX R, Q, T, T c R~(T~T|Q)UX R, Q, T, X c R~(Q~X{T)UX R, Q, U, U c Q~U~U|RUX R, Q, U, X c R{(Q{X)~UUX R, Q, V, R c R~(Q{V~R)UX R, Q, V, W c R~(Q~W{V)UX R, Q, V, X c R~Q{V~XUX R, Q, W, V c R~(Q~W{V)UX R, Q, W, W c R{Q{W~WUX R, Q, X, S c Q~X~S|RUX R, Q, X, T c R~(Q~X{T)UX R, Q, X, U c R{(Q{X)~UUX R, Q, X, V c R~Q{X~VUX R, R, P, W c R~(R~W|P)UX R, R, Q, V c R~(R~V{Q)UX R, R, R, W c R~R~W|RUX R, R, S, T c R~(R{S~T)UX R, R, S, U c R~S~U|RUX R, R, S, X c R~(R~X|S)UX R, R, T, S c R~(R{T~S)UX R, R, T, U c R~(R~U{T)UX R, R, T, W c R~(R~T{W)UX R, R, T, X c (R{T)~X|RUX R, R, U, S c R~U~S|RUX R, R, U, T c R~(R~U{T)UX R, R, U, V c R~R~V{UUX R, R, U, W c R{(R{W)~UUX R, R, U, X c (R{X)~U|RUX R, R, V, Q c R~(R~V{Q)UX R, R, V, U c R~R~V{UUX R, R, V, X c R{R{V~XUX R, R, W, P c R~(R~W|P)UX R, R, W, R c R~R~W|RUX R, R, W, T c R~(R~T{W)UX R, R, W, U c R{(R{W)~UUX R, R, X, S c R~(R~X|S)UX R, R, X, T c (R{T)~X|RUX R, R, X, U c (R{X)~U|RUX R, R, X, V c R{R{X~VUX R, S, P, U c R~(S~U|P)UX R, S, Q, X c S~Q~X|RUX R, S, R, T c (R{S~T)~RUX R, S, R, U c R~S~U|RUX R, S, R, X c R~(R~X|S)UX R, S, S, V c R~(S~S{V)UX R, S, S, X c (S{S)~X|RUX R, S, T, R c (R{S~T)~RUX R, S, T, V c R~(S~V|T)UX R, S, T, W c (S{T)~W|RUX R, S, T, X c R~S~T{XUX R, S, U, P c R~(S~U|P)UX R, S, U, R c R~S~U|RUX R, S, U, V c R{(S{V)~UUX R, S, U, W c (S{W)~U|RUX R, S, U, X c (R{S)~X{UUX R, S, V, S c R~(S~S{V)UX R, S, V, T c R~(S~V|T)UX R, S, V, U c R{(S{V)~UUX R, S, W, T c (S{T)~W|RUX R, S, W, U c (S{W)~U|RUX R, S, W, X c R~(S~W|X)UX R, S, X, Q c S~X~Q|RUX R, S, X, R c (R~X|S)~RUX R, S, X, S c (S{S)~X|RUX R, S, X, T c R~S~T{XUX R, S, X, U c (R{S)~X{UUX R, S, X, W c R~(S~W|X)UX R, S, X, X c S~(X{X)|RUX R, T, Q, T c R~(T~T|Q)UX R, T, Q, X c R~(T{Q~X)UX R, T, R, S c (R{T~S)~RUX R, T, R, U c R~(T{R~U)UX R, T, R, W c R~(T~R{W)UX R, T, R, X c (R{T)~X|RUX R, T, S, R c (R{T~S)~RUX R, T, S, V c R~(S~V|T)UX R, T, S, W c (T{S)~W|RUX R, T, S, X c R~T~S{XUX R, T, T, Q c R~(T~T|Q)UX R, T, T, U c R~T~T|UUX R, T, T, W c (R{T)~W{TUX R, T, U, R c R~(T{U~R)UX R, T, U, T c R~T~T|UUX R, T, U, U c R{(T{U)~UUX R, T, U, V c R~(T~U|V)UX R, T, U, X c R~T{U~XUX R, T, V, S c R~(V~S|T)UX R, T, V, U c R~(T~U|V)UX R, T, W, R c (R~T{W)~RUX R, T, W, S c (T{S)~W|RUX R, T, W, T c (R{T)~W{TUX R, T, W, X c R~W{T~XUX R, T, X, Q c R~(T{X~Q)UX R, T, X, R c (R{T)~X|RUX R, T, X, S c R~T~S{XUX R, T, X, U c R~T{X~UUX R, T, X, W c R~W{T~XUX R, T, X, X c R~(T{X{X)UX R, U, P, S c R~(U~S|P)UX R, U, Q, U c U~Q~U|RUX R, U, Q, X c R{U~(Q{X)UX R, U, R, S c R~U~S|RUX R, U, R, T c R~(U~R{T)UX R, U, R, V c R~R~V{UUX R, U, R, W c R{U~(R{W)UX R, U, R, X c (R{X)~U|RUX R, U, S, P c R~(U~S|P)UX R, U, S, R c R~U~S|RUX R, U, S, V c R{U~(S{V)UX R, U, S, W c U~(S{W)|RUX R, U, S, X c (R{S)~X{UUX R, U, T, R c (R~U{T)~RUX R, U, T, T c R~T~T|UUX R, U, T, U c R{(U{T)~UUX R, U, T, V c R~(U~T|V)UX R, U, T, X c R~T{U~XUX R, U, U, Q c U~U~Q|RUX R, U, U, T c R{U~(U{T)UX R, U, U, U c (U{U)~U|RUX R, U, U, V c (R{U)~V{UUX R, U, V, R c R~V~R{UUX R, U, V, S c R{U~(V{S)UX R, U, V, T c R~(U~T|V)UX R, U, V, U c (R{U)~V{UUX R, U, V, W c R~V{U~WUX R, U, V, X c (R{V)~U{XUX R, U, W, R c R{U~(W{R)UX R, U, W, S c U~(W{S)|RUX R, U, W, V c R~V{U~WUX R, U, W, X c R~(U{W{X)UX R, U, X, Q c R{U~(X{Q)UX R, U, X, R c (R{X)~U|RUX R, U, X, S c (R{S)~X{UUX R, U, X, T c R~T{U~XUX R, U, X, V c R~X{U~VUX R, U, X, W c R~(U{X{W)UX R, V, P, V c (R{V)~V|PUX R, V, P, X c (V{P)~X|RUX R, V, Q, R c (R~V{Q)~RUX R, V, Q, W c R~(V{Q~W)UX R, V, Q, X c R~(V~Q{X)UX R, V, R, Q c R~(V~R{Q)UX R, V, R, U c R~V~R{UUX R, V, R, X c R{V~X{RUX R, V, S, S c R~(V{S~S)UX R, V, S, T c R~(V~S|T)UX R, V, S, U c R{(V{S)~UUX R, V, T, S c R~(V~S|T)UX R, V, T, U c R~(T~U|V)UX R, V, U, R c R~V~R{UUX R, V, U, S c R{(V{S)~UUX R, V, U, T c R~(U~T|V)UX R, V, U, U c (R{U)~V{UUX R, V, U, W c R~V{U~WUX R, V, U, X c (R{V)~U{XUX R, V, V, P c (R{V)~V|PUX R, V, V, X c R~(V{V{X)UX R, V, W, Q c R~(V{W~Q)UX R, V, W, U c R~V{W~UUX R, V, W, W c R~(V{W{W)UX R, V, X, P c (V{P)~X|RUX R, V, X, Q c R~(V~Q{X)UX R, V, X, R c R{V~X{RUX R, V, X, U c (R{V)~U{XUX R, V, X, V c R~(V{X{V)UX R, V, X, X c V~X|R{XUX R, W, O, X c (W{O)~X|RUX R, W, P, R c (R~W|P)~RUX R, W, P, W c (W{P)~W|RUX R, W, P, X c (W|PR)~XUX R, W, Q, V c R~(W~Q{V)UX R, W, Q, W c R{W~W{QUX R, W, R, P c R~(W~R|P)UX R, W, R, R c R~W~R|RUX R, W, R, T c R~(W{R~T)UX R, W, R, U c R{(W{R)~UUX R, W, S, T c W~(S{T)|RUX R, W, S, U c (W{S)~U|RUX R, W, S, X c R~(W~S|X)UX R, W, T, R c R~(W{T~R)UX R, W, T, S c W~(T{S)|RUX R, W, T, T c (R{T)~W{TUX R, W, T, X c R~W{T~XUX R, W, U, R c (R{W)~U{RUX R, W, U, S c (W{S)~U|RUX R, W, U, V c R~V{W~UUX R, W, U, X c R~(W{U{X)UX R, W, V, Q c R~(W~Q{V)UX R, W, V, U c R~V{W~UUX R, W, V, W c (R{W)~V|WUX R, W, W, P c W~(W{P)|RUX R, W, W, Q c R{W~W{QUX R, W, W, V c R~(W{W{V)UX R, W, W, W c W|R{W~WUX R, W, W, X c W~(X|RW)UX R, W, X, O c W~X|R{OUX R, W, X, P c W~X|R~PUX R, W, X, S c R~(W~S|X)UX R, W, X, T c R~W{X~TUX R, W, X, U c R{W~X|UUX R, W, X, W c W~(X|RW)UX R, W, X, X c (W|RX)~XUX R, X, O, W c (X{O)~W|RUX R, X, P, V c X~(P{V)|RUX R, X, P, W c X~P~W|RUX R, X, P, X c (X|P)~X|RUX R, X, Q, S c X~Q~S|RUX R, X, Q, T c R~(X~Q{T)UX R, X, Q, U c R{(X{Q)~UUX R, X, Q, V c R~(X{Q~V)UX R, X, R, S c R~(X~R|S)UX R, X, R, T c (R{T)~X|RUX R, X, R, U c (R{X)~U|RUX R, X, R, V c R{X~V{RUX R, X, S, Q c X~S~Q|RUX R, X, S, R c (R~X|S)~RUX R, X, S, S c X~(S{S)|RUX R, X, S, T c R~S~T{XUX R, X, S, U c (R{S)~X{UUX R, X, S, W c R~(S~W|X)UX R, X, S, X c (X|SR)~XUX R, X, T, Q c R~(X~Q{T)UX R, X, T, R c (R{T)~X|RUX R, X, T, S c R~T~S{XUX R, X, T, U c R~T{X~UUX R, X, T, W c R~W{X~TUX R, X, T, X c (R{X)~T{XUX R, X, U, Q c R{(X{Q)~UUX R, X, U, R c (R{X)~U|RUX R, X, U, S c (R{S)~X{UUX R, X, U, T c R~T{X~UUX R, X, U, V c R~X{U~VUX R, X, U, W c R~(X{U{W)UX R, X, V, P c X~(V{P)|RUX R, X, V, Q c R~(X{V~Q)UX R, X, V, R c R{X~V{RUX R, X, V, U c R~X{V~UUX R, X, V, V c R~(X{V{V)UX R, X, V, X c X|R{V~XUX R, X, W, O c X~W|R{OUX R, X, W, P c X~W|R~PUX R, X, W, S c R~(W~S|X)UX R, X, W, T c R~W{X~TUX R, X, W, U c R{X~W|UUX R, X, W, W c (X|RW)~WUX R, X, W, X c X~(W|RX)UX R, X, X, P c X~(X|P)|RUX R, X, X, S c X~X|R~SUX R, X, X, T c R~(X{X{T)UX R, X, X, V c X|R{X~VUX R, X, X, W c X~(W|RX)UX R, X, X, X c (X~X)|(R{X)UX S, P, R, U c (S~U|P)~RUX S, P, U, R c (S~U|P)~RUX S, P, U, V c (S{U)~V|PUX S, P, V, U c (S{U)~V|PUX S, P, W, W c S{P{W~WUX S, P, W, X c S~(W{X){PUX S, P, X, W c S~(X{W){PUX S, Q, R, X c S~Q~X|RUX S, Q, T, W c S~Q~W{TUX S, Q, V, X c S{Q{V~XUX S, Q, W, T c S~Q~W{TUX S, Q, X, R c S~Q~X|RUX S, Q, X, V c S{Q{X~VUX S, R, P, U c (S~U|P)~RUX S, R, Q, X c S~Q~X|RUX S, R, R, T c (S~T{R)~RUX S, R, R, U c S~R~U|RUX S, R, R, X c R~(R~X|S)UX S, R, S, V c (S~S{V)~RUX S, R, S, X c (S{S)~X|RUX S, R, T, R c (S~T{R)~RUX S, R, T, V c (S~V|T)~RUX S, R, T, W c (S{T)~W|RUX S, R, T, X c S~R~T{XUX S, R, U, P c (S~U|P)~RUX S, R, U, R c S~R~U|RUX S, R, U, V c (S{V)~U{RUX S, R, U, W c (S{W)~U|RUX S, R, U, X c (S{R)~X{UUX S, R, V, S c (S~S{V)~RUX S, R, V, T c (S~V|T)~RUX S, R, V, U c (S{V)~U{RUX S, R, W, T c (S{T)~W|RUX S, R, W, U c (S{W)~U|RUX S, R, W, X c (S~W|X)~RUX S, R, X, Q c S~X~Q|RUX S, R, X, R c (R~X|S)~RUX S, R, X, S c (S{S)~X|RUX S, R, X, T c S~R~T{XUX S, R, X, U c (S{R)~X{UUX S, R, X, W c (S~W|X)~RUX S, R, X, X c S~(X{X)|RUX S, S, R, V c (S~S{V)~RUX S, S, R, X c (S{S)~X|RUX S, S, S, T c S~S~S{TUX S, S, T, S c S~S~S{TUX S, S, T, W c (S{S)~W{TUX S, S, T, X c S{(S{X)~TUX S, S, V, R c (S~S{V)~RUX S, S, W, T c (S{S)~W{TUX S, S, X, R c (S{S)~X|RUX S, S, X, T c S{(S{X)~TUX S, T, Q, W c S~Q~W{TUX S, T, R, R c (S~T{R)~RUX S, T, R, V c (S~V|T)~RUX S, T, R, W c (S{T)~W|RUX S, T, R, X c S~T~R{XUX S, T, S, S c S~S~S{TUX S, T, S, W c (S{S)~W{TUX S, T, S, X c S{T~(S{X)UX S, T, T, W c S{T~(T{W)UX S, T, U, V c S{T~(U{V)UX S, T, U, X c S~U{T~XUX S, T, V, R c (S~V|T)~RUX S, T, V, U c (S{T)~V{UUX S, T, V, V c S~T{V~VUX S, T, V, X c S~(V{X){TUX S, T, W, Q c S~W~Q{TUX S, T, W, R c (S{T)~W|RUX S, T, W, S c (S{S)~W{TUX S, T, W, T c S{(T{W)~TUX S, T, W, W c S~(W{W){TUX S, T, W, X c (S{W)~T{XUX S, T, X, R c S~T~R{XUX S, T, X, S c S{T~(X{S)UX S, T, X, U c S~U{T~XUX S, T, X, V c S~(X{V){TUX S, T, X, W c (S{W)~T{XUX S, U, P, R c (S~U|P)~RUX S, U, P, V c (S{U)~V|PUX S, U, R, P c (S~U|P)~RUX S, U, R, R c S~U~R|RUX S, U, R, V c (S{V)~U{RUX S, U, R, W c (S{W)~U|RUX S, U, R, X c (S{R)~X{UUX S, U, T, V c S{(U{V)~TUX S, U, T, X c S~U{T~XUX S, U, U, X c (S{U)~U{XUX S, U, V, P c (S{U)~V|PUX S, U, V, R c (S{V)~U{RUX S, U, V, T c S{(U{V)~TUX S, U, V, X c (SU{V)~XUX S, U, W, R c (S{W)~U|RUX S, U, X, R c (S{R)~X{UUX S, U, X, T c S~U{X~TUX S, U, X, U c (S{U)~U{XUX S, U, X, V c (SU{V)~XUX S, U, X, X c S~(U{X){XUX S, V, P, U c (S{U)~V|PUX S, V, Q, X c S{V~X{QUX S, V, R, S c (S~S{V)~RUX S, V, R, T c (S~V|T)~RUX S, V, R, U c (S{V)~U{RUX S, V, S, R c (S~S{V)~RUX S, V, T, R c (S~V|T)~RUX S, V, T, U c S{(V{U)~TUX S, V, T, V c S~T{V~VUX S, V, T, X c S~(V{X){TUX S, V, U, P c (S{U)~V|PUX S, V, U, R c (S{V)~U{RUX S, V, U, T c S{(V{U)~TUX S, V, U, X c (SU{V)~XUX S, V, V, T c S~T{V~VUX S, V, V, W c (S{V)~V|WUX S, V, W, V c (S{V)~V|WUX S, V, W, X c S{V~W{XUX S, V, X, Q c S{V~X{QUX S, V, X, T c S~(V{X){TUX S, V, X, U c (SU{V)~XUX S, V, X, W c S{V~W{XUX S, W, P, W c S{W~W{PUX S, W, P, X c S~(W{X){PUX S, W, Q, T c S~W~Q{TUX S, W, R, T c (S{T)~W|RUX S, W, R, U c (S{W)~U|RUX S, W, R, X c (S~W|X)~RUX S, W, S, T c (S{S)~W{TUX S, W, T, Q c S~W~Q{TUX S, W, T, R c (S{T)~W|RUX S, W, T, S c (S{S)~W{TUX S, W, T, T c S{(W{T)~TUX S, W, T, W c S~(W{W){TUX S, W, T, X c (S{W)~T{XUX S, W, U, R c (S{W)~U|RUX S, W, V, V c (S{V)~V|WUX S, W, V, X c S{W~V{XUX S, W, W, P c S{W~W{PUX S, W, W, T c S~(W{W){TUX S, W, W, X c W~W|S{XUX S, W, X, P c S~(W{X){PUX S, W, X, R c (S~W|X)~RUX S, W, X, T c (S{W)~T{XUX S, W, X, V c S{W~X|VUX S, W, X, W c W~W|S{XUX S, W, X, X c (X~X)|(S{W)UX S, X, P, W c S~(X{W){PUX S, X, Q, R c S~X~Q|RUX S, X, Q, V c S{X~V{QUX S, X, R, Q c S~X~Q|RUX S, X, R, R c (X~R|S)~RUX S, X, R, S c (S{S)~X|RUX S, X, R, T c S~R~T{XUX S, X, R, U c (S{R)~X{UUX S, X, R, W c (S~W|X)~RUX S, X, R, X c S~(X{X)|RUX S, X, S, R c (S{S)~X|RUX S, X, S, T c S{(X{S)~TUX S, X, T, R c S~T~R{XUX S, X, T, S c (S{X)~T{SUX S, X, T, U c S~U{X~TUX S, X, T, V c S~(X{V){TUX S, X, T, W c (S{W)~T{XUX S, X, U, R c (S{R)~X{UUX S, X, U, T c S~U{X~TUX S, X, U, U c (S{U)~U{XUX S, X, U, V c (SU{V)~XUX S, X, U, X c (S{X)~U|XUX S, X, V, Q c S{X~V{QUX S, X, V, T c S~(X{V){TUX S, X, V, U c (SU{V)~XUX S, X, V, W c S{X{V~WUX S, X, W, P c S~(X{W){PUX S, X, W, R c (S~W|X)~RUX S, X, W, T c (S{W)~T{XUX S, X, W, V c S{X{W~VUX S, X, W, W c X|S{W~WUX S, X, W, X c (X~X)|(S{W)UX S, X, X, R c S~(X{X)|RUX S, X, X, U c (S{X)~U|XUX S, X, X, W c (X~X)|(S{W)UX T, O, W, W c T{O{W~WUX T, P, Q, V c T~Q~V|PUX T, P, T, V c (T{T)~V|PUX T, P, T, X c T~(T{X)|PUX T, P, U, W c T~(U{W)|PUX T, P, V, Q c T~V~Q|PUX T, P, V, T c (T{T)~V|PUX T, P, V, V c T~(V{V)|PUX T, P, V, W c T{(P{V)~WUX T, P, V, X c T{P{V~XUX T, P, W, U c T~(W{U)|PUX T, P, W, V c T{(P{V)~WUX T, P, W, W c T{P~W~WUX T, P, W, X c T{W~(X|P)UX T, P, X, T c (T{X)~T|PUX T, P, X, V c T{P{X~VUX T, P, X, W c T{(X|P)~WUX T, Q, P, V c T~Q~V|PUX T, Q, R, T c (T~T|Q)~RUX T, Q, R, X c (T{Q~X)~RUX T, Q, S, W c T{Q~S~WUX T, Q, T, R c (T~T|Q)~RUX T, Q, U, W c T{(Q{U)~WUX T, Q, U, X c T~Q~U{XUX T, Q, V, P c T~Q~V|PUX T, Q, W, S c T{Q~W~SUX T, Q, W, U c T{(Q{U)~WUX T, Q, W, X c Q{W~X|TUX T, Q, X, R c (T{Q~X)~RUX T, Q, X, U c (T{Q)~X{UUX T, Q, X, W c Q{X~W|TUX T, R, Q, T c (T~T|Q)~RUX T, R, Q, X c (T{Q~X)~RUX T, R, R, S c (T~S{R)~RUX T, R, R, U c (T{R~U)~RUX T, R, R, W c (T~R{W)~RUX T, R, R, X c (T{R)~X|RUX T, R, S, R c (T~S{R)~RUX T, R, S, V c R~(S~V|T)UX T, R, S, W c (T{S)~W|RUX T, R, S, X c T~R~S{XUX T, R, T, Q c (T~T|Q)~RUX T, R, T, U c T~R~T|UUX T, R, T, W c T{(R{T)~WUX T, R, U, R c (T{R~U)~RUX T, R, U, T c T~R~T|UUX T, R, U, U c (T{U)~U{RUX T, R, U, V c (T~U|V)~RUX T, R, U, X c T~R{U~XUX T, R, V, S c R~(V~S|T)UX T, R, V, U c (T{V)~U|RUX T, R, W, R c (T~R{W)~RUX T, R, W, S c (T{S)~W|RUX T, R, W, T c (T{R)~W{TUX T, R, W, X c (T{WR)~XUX T, R, X, Q c (T{X~Q)~RUX T, R, X, R c (T{R)~X|RUX T, R, X, S c T~R~S{XUX T, R, X, U c T~R{X~UUX T, R, X, W c T~X{R~WUX T, R, X, X c T~(R{X){XUX T, S, Q, W c T{S~Q~WUX T, S, R, R c (T~S{R)~RUX T, S, R, V c (S~V|T)~RUX T, S, R, W c (T{S)~W|RUX T, S, R, X c T~S~R{XUX T, S, S, S c T{S~S~SUX T, S, S, W c T{(S{S)~WUX T, S, S, X c T~(S{X){SUX T, S, T, W c T~(T{W){SUX T, S, U, V c (T{S)~V{UUX T, S, U, X c T~X{S~UUX T, S, V, R c (S~V|T)~RUX T, S, V, U c (T{S)~V{UUX T, S, V, V c T~S{V~VUX T, S, V, X c T{S~(V{X)UX T, S, W, Q c T{S~W~QUX T, S, W, R c (T{S)~W|RUX T, S, W, S c T{(S{S)~WUX T, S, W, T c (T{W)~T{SUX T, S, W, W c T{S~(W{W)UX T, S, W, X c T~(S{W){XUX T, S, X, R c T~S~R{XUX T, S, X, S c T~(S{X){SUX T, S, X, U c T~X{S~UUX T, S, X, V c T{S~(X{V)UX T, S, X, W c T~(S{W){XUX T, T, P, V c (T{T)~V|PUX T, T, P, X c T~(T{X)|PUX T, T, Q, R c (T~T|Q)~RUX T, T, R, Q c (T~T|Q)~RUX T, T, R, U c T~T~R|UUX T, T, R, W c T{(T{R)~WUX T, T, S, W c T~(T{W){SUX T, T, U, R c T~T~R|UUX T, T, U, X c (T{T)~U{XUX T, T, V, P c (T{T)~V|PUX T, T, V, X c T~(T{V){XUX T, T, W, R c T{(T{R)~WUX T, T, W, S c T~(T{W){SUX T, T, X, P c T~(T{X)|PUX T, T, X, U c (T{T)~U{XUX T, T, X, V c T~(T{V){XUX T, U, P, W c T~(U{W)|PUX T, U, Q, W c T{(U{Q)~WUX T, U, Q, X c T~U~Q{XUX T, U, R, R c (T{U~R)~RUX T, U, R, T c T~R~T|UUX T, U, R, U c (T{U)~U{RUX T, U, R, V c (T~U|V)~RUX T, U, R, X c T~R{U~XUX T, U, S, V c T~(U{V){SUX T, U, S, X c T~X{U~SUX T, U, T, R c T~T~R|UUX T, U, T, X c (T{T)~U{XUX T, U, U, R c (T{U)~U{RUX T, U, U, X c T~(U{U){XUX T, U, V, R c (T~U|V)~RUX T, U, V, S c T~(U{V){SUX T, U, V, W c (T{U)~V|WUX T, U, W, P c T~(U{W)|PUX T, U, W, Q c T{(U{Q)~WUX T, U, W, V c (T{U)~V|WUX T, U, W, X c (T{W)~U|XUX T, U, X, Q c T~U~Q{XUX T, U, X, R c T~R{U~XUX T, U, X, S c T~X{U~SUX T, U, X, T c (T{T)~U{XUX T, U, X, U c T~(U{X)|UUX T, U, X, W c (T{W)~U|XUX T, V, P, Q c T~V~Q|PUX T, V, P, T c (T{T)~V|PUX T, V, P, V c T~(V{V)|PUX T, V, P, W c T{(V{P)~WUX T, V, P, X c T{V~X{PUX T, V, Q, P c T~V~Q|PUX T, V, R, S c (V~S|T)~RUX T, V, R, U c (T{V)~U|RUX T, V, S, R c (V~S|T)~RUX T, V, S, U c T~(V{U){SUX T, V, S, V c T~S{V~VUX T, V, S, X c T{(V{X)~SUX T, V, T, P c (T{T)~V|PUX T, V, T, X c (T{V)~T{XUX T, V, U, R c (T{V)~U|RUX T, V, U, S c T~(V{U){SUX T, V, U, W c T~(V{W)|UUX T, V, V, P c T~(V{V)|PUX T, V, V, S c T~S{V~VUX T, V, W, P c T{(V{P)~WUX T, V, W, U c T~(V{W)|UUX T, V, W, W c T{V~W{WUX T, V, X, P c T{V~X{PUX T, V, X, S c T{(V{X)~SUX T, V, X, T c (T{V)~T{XUX T, V, X, X c (X~X)|(T{V)UX T, W, O, W c T{(W{O)~WUX T, W, P, U c T~(W{U)|PUX T, W, P, V c T{W~(P{V)UX T, W, P, W c T{W~P~WUX T, W, P, X c T{W~(X|P)UX T, W, Q, S c T{W~Q~SUX T, W, Q, U c T{W~(Q{U)UX T, W, Q, X c W~X|T{QUX T, W, R, R c (T~R{W)~RUX T, W, R, S c (T{S)~W|RUX T, W, R, T c T{W~(R{T)UX T, W, R, X c (T{WR)~XUX T, W, S, Q c T{W~S~QUX T, W, S, R c (T{S)~W|RUX T, W, S, S c T{W~(S{S)UX T, W, S, T c (T{W)~T{SUX T, W, S, W c T{(W{W)~SUX T, W, S, X c T~(W{S){XUX T, W, T, R c T{W~(T{R)UX T, W, T, S c (T{W)~T{SUX T, W, U, P c T~(W{U)|PUX T, W, U, Q c T{W~(U{Q)UX T, W, U, V c T~(W{V)|UUX T, W, U, X c (T{W)~U|XUX T, W, V, P c T{W~(V{P)UX T, W, V, U c T~(W{V)|UUX T, W, V, W c T{W{V~WUX T, W, W, O c T{W~W{OUX T, W, W, P c T{W~W~PUX T, W, W, S c T{(W{W)~SUX T, W, W, V c T{W{W~VUX T, W, W, W c (TW{W)~WUX T, W, W, X c T{W~X|WUX T, W, X, P c T{W~(X|P)UX T, W, X, Q c W~X|T{QUX T, W, X, R c (T{WR)~XUX T, W, X, S c T~(W{S){XUX T, W, X, U c (T{W)~U|XUX T, W, X, W c T{W~X|WUX T, X, P, T c (T{X)~T|PUX T, X, P, V c T{X~V{PUX T, X, P, W c T{(X|P)~WUX T, X, Q, R c (T{X~Q)~RUX T, X, Q, U c (T{Q)~X{UUX T, X, Q, W c X~W|T{QUX T, X, R, Q c (T{X~Q)~RUX T, X, R, R c (T{R)~X|RUX T, X, R, S c T~R~S{XUX T, X, R, U c T~R{X~UUX T, X, R, W c T~X{R~WUX T, X, R, X c T~(X{R){XUX T, X, S, R c T~S~R{XUX T, X, S, S c T~(X{S){SUX T, X, S, U c T~X{S~UUX T, X, S, V c T{(X{V)~SUX T, X, S, W c T~(S{W){XUX T, X, T, P c (T{X)~T|PUX T, X, T, U c (T{T)~U{XUX T, X, T, V c T~(T{V){XUX T, X, U, Q c T~U~Q{XUX T, X, U, R c T~R{X~UUX T, X, U, S c T~X{U~SUX T, X, U, T c (T{T)~U{XUX T, X, U, U c T~(X{U)|UUX T, X, U, W c (T{W)~U|XUX T, X, V, P c T{X~V{PUX T, X, V, S c T{(X{V)~SUX T, X, V, T c (T{V)~T{XUX T, X, V, X c (X~X)|(T{V)UX T, X, W, P c T{(X|P)~WUX T, X, W, Q c X~W|T{QUX T, X, W, R c T~X{W~RUX T, X, W, S c T~(W{S){XUX T, X, W, U c (T{W)~U|XUX T, X, W, W c T{X~W|WUX T, X, X, R c (T{X{X)~RUX T, X, X, V c (X~X)|(T{V)UX U, O, V, X c U{O{V~XUX U, O, X, V c U{O{X~VUX U, P, R, S c (U~S|P)~RUX U, P, S, R c (U~S|P)~RUX U, P, S, V c (U{S)~V|PUX U, P, T, W c (U{W)~T|PUX U, P, U, X c U{(P{U)~XUX U, P, V, S c (U{S)~V|PUX U, P, V, W c U{(P{W)~VUX U, P, V, X c U{P~V~XUX U, P, W, T c (U{W)~T|PUX U, P, W, V c U{(P{W)~VUX U, P, W, W c U|P{W~WUX U, P, W, X c U{(W|P)~XUX U, P, X, U c (U{P)~X{UUX U, P, X, V c U{P~X~VUX U, P, X, W c U{X~(W|P)UX U, P, X, X c U~(P{X){XUX U, Q, R, U c U~Q~U|RUX U, Q, R, X c (U{Q)~X|RUX U, Q, T, W c (U{Q)~W{TUX U, Q, T, X c U{(Q{T)~XUX U, Q, U, R c U~Q~U|RUX U, Q, V, V c U{(Q{V)~VUX U, Q, V, W c U~(VQ{W)UX U, Q, V, X c U~(V{XQ)UX U, Q, W, T c (U{Q)~W{TUX U, Q, W, V c U~(W{VQ)UX U, Q, W, X c U~(Q{W){XUX U, Q, X, R c (U{Q)~X|RUX U, Q, X, T c U{(Q{T)~XUX U, Q, X, V c U~(XQ{V)UX U, Q, X, W c U~(Q{W){XUX U, Q, X, X c U{(X|Q)~XUX U, R, P, S c (U~S|P)~RUX U, R, Q, U c U~Q~U|RUX U, R, Q, X c (U{Q)~X|RUX U, R, R, S c U~R~S|RUX U, R, R, T c (U~R{T)~RUX U, R, R, V c U{R~R~VUX U, R, R, W c (U{R)~W|RUX U, R, R, X c U~(R{X)|RUX U, R, S, P c (U~S|P)~RUX U, R, S, R c U~R~S|RUX U, R, S, V c U~(S{V){RUX U, R, S, W c U~(S{W)|RUX U, R, S, X c U{(R{S)~XUX U, R, T, R c (U~R{T)~RUX U, R, T, T c R~T~T|UUX U, R, T, U c (U{T)~U{RUX U, R, T, V c U~(T{V)|RUX U, R, T, X c (U{TR)~XUX U, R, U, Q c U~U~Q|RUX U, R, U, T c U~(U{T){RUX U, R, U, U c (U{U)~U|RUX U, R, U, V c U{(R{U)~VUX U, R, V, R c U{R~V~RUX U, R, V, S c U~(V{S){RUX U, R, V, T c U~(V{T)|RUX U, R, V, U c (U{R)~V{UUX U, R, V, W c U~W{R~VUX U, R, V, X c U~(R{V){XUX U, R, W, R c (U{R)~W|RUX U, R, W, S c U~(W{S)|RUX U, R, W, V c U~W{R~VUX U, R, W, X c (U{W{X)~RUX U, R, X, Q c U~(X{Q){RUX U, R, X, R c U~(R{X)|RUX U, R, X, S c U{(R{S)~XUX U, R, X, T c U~X{R~TUX U, R, X, V c U~(R{V){XUX U, R, X, W c (U{X{W)~RUX U, S, P, R c (U~S|P)~RUX U, S, P, V c (U{S)~V|PUX U, S, R, P c (U~S|P)~RUX U, S, R, R c U~S~R|RUX U, S, R, V c U~(S{V){RUX U, S, R, W c U~(S{W)|RUX U, S, R, X c U{(S{R)~XUX U, S, T, V c U{(S{T)~VUX U, S, T, X c U~S{T~XUX U, S, U, X c (U{S)~U{XUX U, S, V, P c (U{S)~V|PUX U, S, V, R c U~(S{V){RUX U, S, V, T c U{(S{T)~VUX U, S, V, X c (SU{V)~XUX U, S, W, R c U~(S{W)|RUX U, S, X, R c U{(S{R)~XUX U, S, X, T c U~S{X~TUX U, S, X, U c (U{S)~U{XUX U, S, X, V c (SU{V)~XUX U, S, X, X c U~(S{X)|XUX U, T, P, W c (U{W)~T|PUX U, T, Q, W c (U{Q)~W{TUX U, T, Q, X c U{(T{Q)~XUX U, T, R, R c (U~R{T)~RUX U, T, R, T c T~R~T|UUX U, T, R, U c (U{T)~U{RUX U, T, R, V c U~(T{V)|RUX U, T, R, X c (U{TR)~XUX U, T, S, V c U{(T{S)~VUX U, T, S, X c U~S{T~XUX U, T, T, R c T~T~R|UUX U, T, T, X c U~(T{T){XUX U, T, U, R c (U{T)~U{RUX U, T, U, X c (U{U)~T{XUX U, T, V, R c U~(T{V)|RUX U, T, V, S c U{(T{S)~VUX U, T, V, W c (U{T)~V|WUX U, T, W, P c (U{W)~T|PUX U, T, W, Q c (U{Q)~W{TUX U, T, W, V c (U{T)~V|WUX U, T, W, X c U~(T{W)|XUX U, T, X, Q c U{(T{Q)~XUX U, T, X, R c (U{TR)~XUX U, T, X, S c U~S{T~XUX U, T, X, T c U~(T{T){XUX U, T, X, U c (U{X)~T|UUX U, T, X, W c U~(T{W)|XUX U, U, P, X c U{(U{P)~XUX U, U, Q, R c U~U~Q|RUX U, U, R, Q c U~U~Q|RUX U, U, R, T c U~(U{T){RUX U, U, R, U c (U{U)~U|RUX U, U, R, V c U{(U{R)~VUX U, U, S, X c U~(U{S){XUX U, U, T, R c U~(U{T){RUX U, U, T, X c (U{U)~T{XUX U, U, U, R c (U{U)~U|RUX U, U, V, R c U{(U{R)~VUX U, U, V, X c U~(U{V)|XUX U, U, X, P c U{(U{P)~XUX U, U, X, S c U~(U{S){XUX U, U, X, T c (U{U)~T{XUX U, U, X, V c U~(U{V)|XUX U, U, X, X c U{U~X{XUX U, V, O, X c U{(V{O)~XUX U, V, P, S c (U{S)~V|PUX U, V, P, W c U{V~(P{W)UX U, V, P, X c U{V~P~XUX U, V, Q, V c U{(V{Q)~VUX U, V, Q, W c U~(VQ{W)UX U, V, Q, X c U~(V{XQ)UX U, V, R, R c U{V~R~RUX U, V, R, S c U~(V{S){RUX U, V, R, T c U~(V{T)|RUX U, V, R, U c U{V~(R{U)UX U, V, R, W c U~W{V~RUX U, V, R, X c U~(V{R){XUX U, V, S, P c (U{S)~V|PUX U, V, S, R c U~(V{S){RUX U, V, S, T c U{V~(S{T)UX U, V, S, X c (V{SU)~XUX U, V, T, R c U~(V{T)|RUX U, V, T, S c (U{V)~T{SUX U, V, T, W c (U{T)~V|WUX U, V, U, R c U{V~(U{R)UX U, V, U, X c (U{V)~U|XUX U, V, V, Q c U{V~(V{Q)UX U, V, V, W c U{V{V~WUX U, V, V, X c (UV{X)~VUX U, V, W, P c U{V~(W{P)UX U, V, W, Q c U~(VQ{W)UX U, V, W, R c U~W{V~RUX U, V, W, T c (U{T)~V|WUX U, V, W, V c U{V{W~VUX U, V, W, X c U~X{V{WUX U, V, X, O c U{V~X{OUX U, V, X, P c U{V~X~PUX U, V, X, Q c U~(V{XQ)UX U, V, X, R c U~V{X~RUX U, V, X, S c (V{SU)~XUX U, V, X, U c (U{V)~U|XUX U, V, X, V c (UV{X)~VUX U, V, X, W c U~X{V{WUX U, V, X, X c (UX{V)~XUX U, W, P, T c (U{W)~T|PUX U, W, P, V c U{(W{P)~VUX U, W, P, W c U{W~W|PUX U, W, P, X c U{(W|P)~XUX U, W, Q, T c (U{Q)~W{TUX U, W, Q, V c U~(W{VQ)UX U, W, Q, X c U~(W{Q){XUX U, W, R, R c U~(W{R){RUX U, W, R, S c U~(W{S)|RUX U, W, R, V c U~W{R~VUX U, W, R, X c (U{W{X)~RUX U, W, S, R c U~(W{S)|RUX U, W, T, P c (U{W)~T|PUX U, W, T, Q c (U{Q)~W{TUX U, W, T, V c (U{T)~V|WUX U, W, T, X c U~(W{T)|XUX U, W, V, P c U{(W{P)~VUX U, W, V, Q c U~(W{VQ)UX U, W, V, R c U~W{V~RUX U, W, V, T c (U{T)~V|WUX U, W, V, V c U{W~V{VUX U, W, V, X c U~X{W{VUX U, W, W, P c U{W~W|PUX U, W, X, P c U{(W|P)~XUX U, W, X, Q c U~(W{Q){XUX U, W, X, R c (U{W{X)~RUX U, W, X, T c U~(W{T)|XUX U, W, X, V c U~X{W{VUX U, W, X, X c U{W~X|XUX U, X, O, V c U{(X{O)~VUX U, X, P, U c U{X~(P{U)UX U, X, P, V c U{X~P~VUX U, X, P, W c U{X~(W|P)UX U, X, P, X c U~(X{P){XUX U, X, Q, R c U~(X{Q){RUX U, X, Q, T c U{X~(Q{T)UX U, X, Q, V c U~(XQ{V)UX U, X, Q, W c U~(Q{W){XUX U, X, Q, X c U{(X|Q)~XUX U, X, R, Q c U~(X{Q){RUX U, X, R, R c U~(X{R)|RUX U, X, R, S c U{X~(R{S)UX U, X, R, T c U~X{R~TUX U, X, R, V c U~(R{V){XUX U, X, R, W c (U{X{W)~RUX U, X, S, R c U{X~(S{R)UX U, X, S, T c U~S{X~TUX U, X, S, U c (U{S)~U{XUX U, X, S, V c X~(SU{V)UX U, X, S, X c (U{X)~S{XUX U, X, T, Q c U{X~(T{Q)UX U, X, T, R c U~X{T~RUX U, X, T, S c U~S{X~TUX U, X, T, T c U~(T{T){XUX U, X, T, U c (U{X)~T|UUX U, X, T, W c U~(T{W)|XUX U, X, U, P c U{X~(U{P)UX U, X, U, S c U~(U{S){XUX U, X, U, T c (U{X)~T|UUX U, X, U, V c U~(U{V)|XUX U, X, U, X c U{X{U~XUX U, X, V, O c U{X~V{OUX U, X, V, P c U{X~V~PUX U, X, V, Q c U~(XQ{V)UX U, X, V, R c U~V{X~RUX U, X, V, S c X~(V{SU)UX U, X, V, U c (U{V)~U|XUX U, X, V, V c (UV{X)~VUX U, X, V, W c U~X{V{WUX U, X, V, X c (UX{V)~XUX U, X, W, P c U{X~(W|P)UX U, X, W, Q c U~(W{Q){XUX U, X, W, R c (U{X{W)~RUX U, X, W, T c U~(W{T)|XUX U, X, W, V c U~X{W{VUX U, X, W, X c U{X~W|XUX U, X, X, P c U~(X{P){XUX U, X, X, Q c U{X~(X|Q)UX U, X, X, S c (U{X)~S{XUX U, X, X, U c U{X{X~UUX U, X, X, V c (UX{V)~XUX U, X, X, W c U{X~W|XUX V, O, U, X c (V{O)~X{UUX V, O, X, U c (V{O)~X{UUX V, P, P, X c V~(P{X)|PUX V, P, Q, T c V~Q~T|PUX V, P, Q, W c V~(Q{W)|PUX V, P, R, V c (V{R)~V|PUX V, P, R, X c (V{P)~X|RUX V, P, S, U c V~(S{U)|PUX V, P, T, Q c V~T~Q|PUX V, P, T, T c V~(T{T)|PUX V, P, T, V c (V{V)~T|PUX V, P, T, W c (V{P)~W{TUX V, P, T, X c V~X{P{TUX V, P, U, S c V~(U{S)|PUX V, P, U, W c V~(P{W){UUX V, P, U, X c V~P~X{UUX V, P, V, R c V~(V{R)|PUX V, P, V, T c (V{V)~T|PUX V, P, V, X c V|P{V~XUX V, P, W, Q c V~(W{Q)|PUX V, P, W, T c (V{P)~W{TUX V, P, W, U c V~(P{W){UUX V, P, X, P c V~(P{X)|PUX V, P, X, R c (V{P)~X|RUX V, P, X, T c V~X{P{TUX V, P, X, U c V~P~X{UUX V, P, X, V c V|P{X~VUX V, Q, P, T c V~Q~T|PUX V, Q, P, W c V~(Q{W)|PUX V, Q, R, R c (V~R{Q)~RUX V, Q, R, W c (V{Q)~W|RUX V, Q, R, X c (V{QR)~XUX V, Q, S, X c V~X{Q{SUX V, Q, T, P c V~Q~T|PUX V, Q, U, V c (V{Q)~V{UUX V, Q, U, W c (VQ{W)~UUX V, Q, U, X c (V{XQ)~UUX V, Q, V, U c (V{Q)~V{UUX V, Q, W, P c V~(Q{W)|PUX V, Q, W, R c (V{Q)~W|RUX V, Q, W, U c (VQ{W)~UUX V, Q, W, W c V|Q{W~WUX V, Q, W, X c V~(Q{X)|WUX V, Q, X, R c (V~Q{X)~RUX V, Q, X, S c V~X{Q{SUX V, Q, X, U c (V{XQ)~UUX V, Q, X, W c V~(Q{X)|WUX V, R, P, V c (V{R)~V|PUX V, R, P, X c (V{P)~X|RUX V, R, Q, R c (V~R{Q)~RUX V, R, Q, W c (V{Q)~W|RUX V, R, Q, X c (V{QR)~XUX V, R, R, Q c (V~R{Q)~RUX V, R, R, U c V~R~R{UUX V, R, R, X c V~X{R{RUX V, R, S, S c (V{S~S)~RUX V, R, S, T c (V~S|T)~RUX V, R, S, U c (V{S)~U{RUX V, R, T, S c (V~S|T)~RUX V, R, T, U c (V{T)~U|RUX V, R, U, R c V~R~R{UUX V, R, U, S c (V{S)~U{RUX V, R, U, T c (V{T)~U|RUX V, R, U, U c V~(R{U){UUX V, R, U, W c V~R{U~WUX V, R, U, X c (V{R)~U{XUX V, R, V, P c (V{R)~V|PUX V, R, V, X c (V{V{X)~RUX V, R, W, Q c (V{W~Q)~RUX V, R, W, U c V~R{W~UUX V, R, W, W c V~(R{W)|WUX V, R, X, P c (V{P)~X|RUX V, R, X, Q c V~X{R~QUX V, R, X, R c V~X{R{RUX V, R, X, U c (V{R)~U{XUX V, R, X, V c (V{X{V)~RUX V, R, X, X c V~X|R{XUX V, S, P, U c V~(S{U)|PUX V, S, Q, X c V~X{S{QUX V, S, R, S c (V{S~S)~RUX V, S, R, T c (V~S|T)~RUX V, S, R, U c (V{S)~U{RUX V, S, S, R c (V{S~S)~RUX V, S, T, R c (V~S|T)~RUX V, S, T, U c V~(S{T){UUX V, S, T, V c V~V{S~TUX V, S, T, X c (V{X)~S{TUX V, S, U, P c V~(S{U)|PUX V, S, U, R c (V{S)~U{RUX V, S, U, T c V~(S{T){UUX V, S, U, X c (V{SU)~XUX V, S, V, T c V~V{S~TUX V, S, V, W c (V{S)~V|WUX V, S, W, V c (V{S)~V|WUX V, S, W, X c (V{W)~S{XUX V, S, X, Q c V~X{S{QUX V, S, X, T c (V{X)~S{TUX V, S, X, U c (V{SU)~XUX V, S, X, W c (V{W)~S{XUX V, T, P, Q c V~T~Q|PUX V, T, P, T c V~(T{T)|PUX V, T, P, V c (V{V)~T|PUX V, T, P, W c (V{P)~W{TUX V, T, P, X c V~X{T{PUX V, T, Q, P c V~T~Q|PUX V, T, R, S c (V~S|T)~RUX V, T, R, U c (V{T)~U|RUX V, T, S, R c (V~S|T)~RUX V, T, S, U c V~(T{S){UUX V, T, S, V c V~V{T~SUX V, T, S, X c (V{X)~S{TUX V, T, T, P c V~(T{T)|PUX V, T, T, X c (V{T)~T{XUX V, T, U, R c (V{T)~U|RUX V, T, U, S c V~(T{S){UUX V, T, U, W c V~(T{U)|WUX V, T, V, P c (V{V)~T|PUX V, T, V, S c V~V{T~SUX V, T, W, P c (V{P)~W{TUX V, T, W, U c V~(T{U)|WUX V, T, W, W c V~W{T{WUX V, T, X, P c V~X{T{PUX V, T, X, S c (V{X)~S{TUX V, T, X, T c (V{T)~T{XUX V, T, X, X c (X~X)|(V{T)UX V, U, O, X c (V{O)~X{UUX V, U, P, S c V~(U{S)|PUX V, U, P, W c V~(P{W){UUX V, U, P, X c V~P~X{UUX V, U, Q, V c (V{Q)~V{UUX V, U, Q, W c (VQ{W)~UUX V, U, Q, X c (V{XQ)~UUX V, U, R, R c V~R~R{UUX V, U, R, S c (V{S)~U{RUX V, U, R, T c (V{T)~U|RUX V, U, R, U c V~(U{R){UUX V, U, R, W c V~R{U~WUX V, U, R, X c V~U{R~XUX V, U, S, P c V~(U{S)|PUX V, U, S, R c (V{S)~U{RUX V, U, S, T c (V{U)~T{SUX V, U, S, X c (V{SU)~XUX V, U, T, R c (V{T)~U|RUX V, U, T, S c (V{U)~T{SUX V, U, T, W c V~(U{T)|WUX V, U, U, R c V~(U{R){UUX V, U, U, X c (V{U)~U|XUX V, U, V, Q c V~(V{Q){UUX V, U, V, W c V{U{V~WUX V, U, V, X c V~(UV{X)UX V, U, W, P c V~(W{P){UUX V, U, W, Q c (VQ{W)~UUX V, U, W, R c V~R{U~WUX V, U, W, T c V~(U{T)|WUX V, U, W, V c V{U{W~VUX V, U, W, X c V{U~X{WUX V, U, X, O c V~X{U{OUX V, U, X, P c V~X{U~PUX V, U, X, Q c (V{XQ)~UUX V, U, X, R c V~U{X~RUX V, U, X, S c (V{SU)~XUX V, U, X, U c (V{U)~U|XUX V, U, X, V c V~(UV{X)UX V, U, X, W c V{U~X{WUX V, U, X, X c (V{UX)~XUX V, V, P, R c V~(V{R)|PUX V, V, P, T c (V{V)~T|PUX V, V, P, X c V{V~X|PUX V, V, Q, U c V~(V{Q){UUX V, V, R, P c V~(V{R)|PUX V, V, R, X c (V{V{X)~RUX V, V, S, T c V~V{S~TUX V, V, S, W c V~(V{S)|WUX V, V, T, P c (V{V)~T|PUX V, V, T, S c V~V{T~SUX V, V, U, Q c V~(V{Q){UUX V, V, U, W c V{V~W{UUX V, V, U, X c V~(UV{X)UX V, V, W, S c V~(V{S)|WUX V, V, W, U c V{V~W{UUX V, V, X, P c V{V~X|PUX V, V, X, R c (V{V{X)~RUX V, V, X, U c V~(X{UV)UX V, W, P, Q c V~(W{Q)|PUX V, W, P, T c (V{P)~W{TUX V, W, P, U c V~(W{P){UUX V, W, Q, P c V~(W{Q)|PUX V, W, Q, R c (V{W~Q)~RUX V, W, Q, U c (VQ{W)~UUX V, W, Q, W c V{W~W|QUX V, W, Q, X c V~(Q{X)|WUX V, W, R, Q c (V{W~Q)~RUX V, W, R, U c V~R{W~UUX V, W, R, W c V~(W{R)|WUX V, W, S, V c (V{S)~V|WUX V, W, S, X c (V{W)~S{XUX V, W, T, P c (V{P)~W{TUX V, W, T, U c (V{W)~T|UUX V, W, T, W c V~W{T{WUX V, W, U, P c V~(W{P){UUX V, W, U, Q c (VQ{W)~UUX V, W, U, R c V~R{W~UUX V, W, U, T c (V{W)~T|UUX V, W, U, V c V~W{U{VUX V, W, U, X c V{W{U~XUX V, W, V, S c V~(V{S)|WUX V, W, V, U c V{W~V{UUX V, W, W, Q c V{W~W|QUX V, W, W, R c (V{W{W)~RUX V, W, W, T c V~W{W{TUX V, W, X, Q c V~X{W|QUX V, W, X, S c V~W{X{SUX V, W, X, U c V{W{X~UUX V, X, O, U c V~X{O{UUX V, X, P, P c V~(X{P)|PUX V, X, P, R c (V{P)~X|RUX V, X, P, T c V~X{P{TUX V, X, P, U c V~X{P~UUX V, X, P, V c V~X|P{VUX V, X, Q, R c V~X{Q~RUX V, X, Q, S c V~X{Q{SUX V, X, Q, U c (V{XQ)~UUX V, X, Q, W c V~(X{Q)|WUX V, X, R, P c (V{P)~X|RUX V, X, R, Q c V~X{R~QUX V, X, R, R c V~X{R{RUX V, X, R, U c (V{R)~U{XUX V, X, R, V c (V{X{V)~RUX V, X, R, X c V~X|R{XUX V, X, S, Q c V~X{S{QUX V, X, S, T c (V{X)~S{TUX V, X, S, U c (V{SU)~XUX V, X, S, W c V~W{X{SUX V, X, T, P c V~X{T{PUX V, X, T, S c (V{X)~S{TUX V, X, T, T c (V{T)~T{XUX V, X, T, X c (X~X)|(V{T)UX V, X, U, O c V~X{U{OUX V, X, U, P c V~X{U~PUX V, X, U, Q c (V{XQ)~UUX V, X, U, R c V~U{X~RUX V, X, U, S c (V{SU)~XUX V, X, U, U c (V{U)~U|XUX V, X, U, V c V~(X{UV)UX V, X, U, W c V{X~U{WUX V, X, U, X c (V{UX)~XUX V, X, V, P c V{X~V|PUX V, X, V, R c (V{X{V)~RUX V, X, V, U c V~(X{UV)UX V, X, W, Q c V~X{W|QUX V, X, W, S c V~W{X{SUX V, X, W, U c V{X~U{WUX V, X, X, R c V~X{X|RUX V, X, X, T c (X~X)|(V{T)UX V, X, X, U c (V{UX)~XUX W, O, R, X c (W{O)~X|RUX W, O, T, W c (W{O)~W{TUX W, O, W, T c (W{O)~W{TUX W, O, X, R c (W{O)~X|RUX W, P, Q, V c (W{Q)~V|PUX W, P, Q, X c (W~X)|(P{Q)UX W, P, R, R c (W~R|P)~RUX W, P, R, W c (W{P)~W|RUX W, P, R, X c (W|PR)~XUX W, P, S, W c W~W{P{SUX W, P, S, X c W~X{P|SUX W, P, T, U c (W{U)~T|PUX W, P, T, V c W~(P{V){TUX W, P, T, W c W~P~W{TUX W, P, T, X c W~(X|P){TUX W, P, U, T c (W{U)~T|PUX W, P, U, V c (W{P)~V{UUX W, P, U, W c W~W|P{UUX W, P, U, X c (W|P)~X{UUX W, P, V, Q c (W{Q)~V|PUX W, P, V, T c W~(P{V){TUX W, P, V, U c (W{P)~V{UUX W, P, W, R c (W{P)~W|RUX W, P, W, S c W~W{P{SUX W, P, W, T c W~P~W{TUX W, P, W, U c W~W|P{UUX W, P, X, Q c (W~X)|(P{Q)UX W, P, X, R c W~P~X|RUX W, P, X, S c W~X{P|SUX W, P, X, T c W~(X|P){TUX W, P, X, U c (W|P)~X{UUX W, Q, P, V c (W{Q)~V|PUX W, Q, P, X c (W~X)|(Q{P)UX W, Q, R, V c W~(Q{V)|RUX W, Q, R, W c W~W{Q{RUX W, Q, S, T c W~Q~S{TUX W, Q, T, S c W~Q~S{TUX W, Q, T, U c W~(Q{U){TUX W, Q, T, X c W~X{Q|TUX W, Q, U, T c W~(Q{U){TUX W, Q, U, V c (W{VQ)~UUX W, Q, U, X c (W{Q)~U{XUX W, Q, V, P c (W{Q)~V|PUX W, Q, V, R c W~(Q{V)|RUX W, Q, V, U c (W{VQ)~UUX W, Q, V, W c W~W|Q{VUX W, Q, V, X c W|Q{V~XUX W, Q, W, R c W~W{Q{RUX W, Q, W, V c W~W|Q{VUX W, Q, X, P c (W~X)|(Q{P)UX W, Q, X, T c W~X{Q|TUX W, Q, X, U c (W{Q)~U{XUX W, Q, X, V c W|Q{X~VUX W, R, O, X c (W{O)~X|RUX W, R, P, R c (W~R|P)~RUX W, R, P, W c (W{P)~W|RUX W, R, P, X c (W|PR)~XUX W, R, Q, V c W~(Q{V)|RUX W, R, Q, W c W~W{R{QUX W, R, R, P c (W~R|P)~RUX W, R, R, R c W~R~R|RUX W, R, R, T c (W{R~T)~RUX W, R, R, U c (W{R)~U{RUX W, R, S, T c W~(S{T)|RUX W, R, S, U c (W{S)~U|RUX W, R, S, X c (W~S|X)~RUX W, R, T, R c (W{R~T)~RUX W, R, T, S c W~(T{S)|RUX W, R, T, T c W~(R{T){TUX W, R, T, X c W~R{T~XUX W, R, U, R c (W{R)~U{RUX W, R, U, S c (W{S)~U|RUX W, R, U, V c W~U{R~VUX W, R, U, X c (W{U{X)~RUX W, R, V, Q c W~(V{Q)|RUX W, R, V, U c W~U{R~VUX W, R, V, W c (W{R)~V|WUX W, R, W, P c W~(W{P)|RUX W, R, W, Q c W~W{R{QUX W, R, W, V c (W{R)~V|WUX W, R, W, W c W|R{W~WUX W, R, W, X c W~(X|RW)UX W, R, X, O c W~X|R{OUX W, R, X, P c W~X|R~PUX W, R, X, S c (W~S|X)~RUX W, R, X, T c W~R{X~TUX W, R, X, U c W~X{R|UUX W, R, X, W c W~(X|RW)UX W, R, X, X c (W|RX)~XUX W, S, P, W c W~W{S{PUX W, S, P, X c (W{X)~S{PUX W, S, Q, T c W~S~Q{TUX W, S, R, T c W~(S{T)|RUX W, S, R, U c (W{S)~U|RUX W, S, R, X c (W~S|X)~RUX W, S, S, T c W~(S{S){TUX W, S, T, Q c W~S~Q{TUX W, S, T, R c W~(S{T)|RUX W, S, T, S c W~(S{S){TUX W, S, T, T c (W{T)~T{SUX W, S, T, W c (W{W)~S{TUX W, S, T, X c (W{S)~T{XUX W, S, U, R c (W{S)~U|RUX W, S, V, V c (S{V)~V|WUX W, S, V, X c (W{V)~S{XUX W, S, W, P c W~W{S{PUX W, S, W, T c (W{W)~S{TUX W, S, W, X c W~W|S{XUX W, S, X, P c (W{X)~S{PUX W, S, X, R c (W~S|X)~RUX W, S, X, T c (W{S)~T{XUX W, S, X, V c W~X{S|VUX W, S, X, W c W~W|S{XUX W, S, X, X c (X~X)|(W{S)UX W, T, O, W c (W{O)~W{TUX W, T, P, U c (W{U)~T|PUX W, T, P, V c W~(P{V){TUX W, T, P, W c W~P~W{TUX W, T, P, X c W~(X|P){TUX W, T, Q, S c W~Q~S{TUX W, T, Q, U c W~(Q{U){TUX W, T, Q, X c W~X|T{QUX W, T, R, R c (W{T~R)~RUX W, T, R, S c W~(T{S)|RUX W, T, R, T c W~(T{R){TUX W, T, R, X c W~R{T~XUX W, T, S, Q c W~S~Q{TUX W, T, S, R c W~(T{S)|RUX W, T, S, S c W~(S{S){TUX W, T, S, T c (W{T)~T{SUX W, T, S, W c (W{W)~S{TUX W, T, S, X c (W{S)~T{XUX W, T, T, R c W~(T{R){TUX W, T, T, S c (W{T)~T{SUX W, T, U, P c (W{U)~T|PUX W, T, U, Q c W~(U{Q){TUX W, T, U, V c (W{V)~T|UUX W, T, U, X c (W{T)~U|XUX W, T, V, P c W~(V{P){TUX W, T, V, U c (W{V)~T|UUX W, T, V, W c W{T{V~WUX W, T, W, O c W~W{T{OUX W, T, W, P c W~W{T~PUX W, T, W, S c (W{W)~S{TUX W, T, W, V c W{T{W~VUX W, T, W, W c (W{TW)~WUX W, T, W, X c W~X{T|WUX W, T, X, P c W~(X|P){TUX W, T, X, Q c W~X|T{QUX W, T, X, R c W~R{T~XUX W, T, X, S c (W{S)~T{XUX W, T, X, U c (W{T)~U|XUX W, T, X, W c W~X{T|WUX W, U, P, T c (W{U)~T|PUX W, U, P, V c (W{P)~V{UUX W, U, P, W c W~W{U|PUX W, U, P, X c (W|P)~X{UUX W, U, Q, T c W~(U{Q){TUX W, U, Q, V c (W{VQ)~UUX W, U, Q, X c (W{Q)~U{XUX W, U, R, R c W~(U{R)|RUX W, U, R, S c (W{S)~U|RUX W, U, R, V c W~U{R~VUX W, U, R, X c (W{U{X)~RUX W, U, S, R c (W{S)~U|RUX W, U, T, P c (W{U)~T|PUX W, U, T, Q c W~(U{Q){TUX W, U, T, V c (W{V)~T|UUX W, U, T, X c (W{T)~U|XUX W, U, V, P c (W{P)~V{UUX W, U, V, Q c (W{VQ)~UUX W, U, V, R c W~U{V~RUX W, U, V, T c (W{V)~T|UUX W, U, V, V c W~V{U{VUX W, U, V, X c W{U~X{VUX W, U, W, P c W~W{U|PUX W, U, X, P c (W|P)~X{UUX W, U, X, Q c W~X|UQUX W, U, X, R c (W{U{X)~RUX W, U, X, T c (W{T)~U|XUX W, U, X, V c W{U~X{VUX W, U, X, X c W~X{U|XUX W, V, P, Q c (W{Q)~V|PUX W, V, P, T c W~(V{P){TUX W, V, P, U c (W{P)~V{UUX W, V, Q, P c (W{Q)~V|PUX W, V, Q, R c W~(V{Q)|RUX W, V, Q, U c (W{VQ)~UUX W, V, Q, W c W~W{V|QUX W, V, Q, X c W{V~X|QUX W, V, R, Q c W~(V{Q)|RUX W, V, R, U c W~U{V~RUX W, V, R, W c (W{V{W)~RUX W, V, S, V c (V{S)~V|WUX W, V, S, X c (W{V)~S{XUX W, V, T, P c W~(V{P){TUX W, V, T, U c (W{V)~T|UUX W, V, T, W c W~V{T{WUX W, V, U, P c (W{P)~V{UUX W, V, U, Q c (W{VQ)~UUX W, V, U, R c W~U{V~RUX W, V, U, T c (W{V)~T|UUX W, V, U, V c W~V{U{VUX W, V, U, X c W{V{U~XUX W, V, V, S c V~(V{S)|WUX W, V, V, U c W~V{V{UUX W, V, W, Q c W~W{V|QUX W, V, W, R c (W{V{W)~RUX W, V, W, T c W{V~W{TUX W, V, X, Q c W{V~X|QUX W, V, X, S c W~V{X{SUX W, V, X, U c W{V{X~UUX W, W, O, T c W~W{O{TUX W, W, P, R c W~(W{P)|RUX W, W, P, S c W~W{P{SUX W, W, P, T c W~W{P~TUX W, W, P, U c W~W|P{UUX W, W, Q, R c W~W{Q{RUX W, W, Q, V c W~W|Q{VUX W, W, R, P c W~(W{P)|RUX W, W, R, Q c W~W{R{QUX W, W, R, V c (W{W{V)~RUX W, W, R, W c W~W|R{WUX W, W, R, X c W~(X|RW)UX W, W, S, P c W~W{S{PUX W, W, S, T c (W{W)~S{TUX W, W, S, X c W~W|S{XUX W, W, T, O c W~W{T{OUX W, W, T, P c W~W{T~PUX W, W, T, S c (W{W)~S{TUX W, W, T, V c W{W~V{TUX W, W, T, W c W~(W{TW)UX W, W, T, X c W~X|W{TUX W, W, U, P c W~W{U|PUX W, W, V, Q c W~W{V|QUX W, W, V, R c (W{W{V)~RUX W, W, V, T c W{W~V{TUX W, W, W, R c W{W~W|RUX W, W, W, T c W~(W{TW)UX W, W, X, R c W~(X|RW)UX W, W, X, S c W~W{X|SUX W, W, X, T c W~X|W{TUX W, X, O, R c W~X{O|RUX W, X, P, Q c (W~X)|(P{Q)UX W, X, P, R c W~X|P~RUX W, X, P, S c W~X{P|SUX W, X, P, T c W~(X|P){TUX W, X, P, U c (W|P)~X{UUX W, X, Q, P c (W~X)|(Q{P)UX W, X, Q, T c W~X{Q|TUX W, X, Q, U c W~X|UQUX W, X, Q, V c W{X~V|QUX W, X, R, O c W~X|R{OUX W, X, R, P c W~X|R~PUX W, X, R, S c (W~S|X)~RUX W, X, R, T c W~R{X~TUX W, X, R, U c W~X{R|UUX W, X, R, W c W~(X|RW)UX W, X, R, X c W~X|XRUX W, X, S, P c (W{X)~S{PUX W, X, S, R c (W~S|X)~RUX W, X, S, T c (W{S)~T{XUX W, X, S, V c W~X{S|VUX W, X, S, W c W~W{X|SUX W, X, S, X c (X~X)|(W{S)UX W, X, T, P c W~(X|P){TUX W, X, T, Q c W~X|T{QUX W, X, T, R c W~R{X~TUX W, X, T, S c (W{S)~T{XUX W, X, T, U c (W{T)~U|XUX W, X, T, W c W~X{T|WUX W, X, U, P c (W|P)~X{UUX W, X, U, Q c W~X|UQUX W, X, U, R c (W{X{U)~RUX W, X, U, T c (W{T)~U|XUX W, X, U, V c W{X~U{VUX W, X, U, X c W~X{U|XUX W, X, V, Q c W{X~V|QUX W, X, V, S c W~X|V{SUX W, X, V, U c W{X~U{VUX W, X, W, R c W~(X|RW)UX W, X, W, S c W~W{X|SUX W, X, W, T c W~X|W{TUX W, X, X, R c W~X|XRUX W, X, X, S c (X~X)|(W{S)UX W, X, X, U c W~X|X{UUX X, O, R, W c (X{O)~W|RUX X, O, U, V c (X{O)~V{UUX X, O, V, U c (X{O)~V{UUX X, O, W, R c (X{O)~W|RUX X, P, P, V c (X{P)~V|PUX X, P, Q, W c (X~W)|(P{Q)UX X, P, R, V c X~(P{V)|RUX X, P, R, W c X~P~W|RUX X, P, R, X c (X|P)~X|RUX X, P, S, W c X~W{P|SUX X, P, T, T c (X{T)~T|PUX X, P, T, V c X~V{P{TUX X, P, T, W c (X|P)~W{TUX X, P, U, U c X~(P{U){UUX X, P, U, V c X~P~V{UUX X, P, U, W c X~(W|P){UUX X, P, U, X c (X{P)~U{XUX X, P, V, P c (X{P)~V|PUX X, P, V, R c X~(P{V)|RUX X, P, V, T c X~V{P{TUX X, P, V, U c X~P~V{UUX X, P, V, V c X~V|P{VUX X, P, W, Q c (X~W)|(P{Q)UX X, P, W, R c X~P~W|RUX X, P, W, S c X~W{P|SUX X, P, W, T c (X|P)~W{TUX X, P, W, U c X~(W|P){UUX X, P, X, R c (X|P)~X|RUX X, P, X, U c X{(P{X)~UUX X, Q, P, W c (X~W)|(Q{P)UX X, Q, R, S c X~Q~S|RUX X, Q, R, T c (X~Q{T)~RUX X, Q, R, U c (X{Q)~U{RUX X, Q, R, V c X~(QR{V)UX X, Q, S, R c X~Q~S|RUX X, Q, S, V c X~V{Q{SUX X, Q, T, R c (X~Q{T)~RUX X, Q, T, U c X{Q~T~UUX X, Q, T, W c X~W{Q|TUX X, Q, U, R c (X{Q)~U{RUX X, Q, U, T c X{Q~U~TUX X, Q, U, V c (XQ{V)~UUX X, Q, U, W c X{(Q{W)~UUX X, Q, U, X c (X|Q)~X{UUX X, Q, V, R c (X{Q~V)~RUX X, Q, V, S c X~V{Q{SUX X, Q, V, U c (XQ{V)~UUX X, Q, V, W c (X{Q)~V|WUX X, Q, W, P c (X~W)|(Q{P)UX X, Q, W, T c X~W{Q|TUX X, Q, W, U c X{(Q{W)~UUX X, Q, W, V c (X{Q)~V|WUX X, Q, X, U c (X|Q)~X{UUX X, R, O, W c (X{O)~W|RUX X, R, P, V c X~(P{V)|RUX X, R, P, W c X~P~W|RUX X, R, P, X c (X|P)~X|RUX X, R, Q, S c X~Q~S|RUX X, R, Q, T c (X~Q{T)~RUX X, R, Q, U c (X{Q)~U{RUX X, R, Q, V c X~(QR{V)UX X, R, R, S c (X~R|S)~RUX X, R, R, T c X~(R{T)|RUX X, R, R, U c (X{R)~U|RUX X, R, R, V c X~V{R{RUX X, R, S, Q c X~S~Q|RUX X, R, S, R c (X~R|S)~RUX X, R, S, S c X~(S{S)|RUX X, R, S, T c X{R~S~TUX X, R, S, U c X~(R{S){UUX X, R, S, W c R~(S~W|X)UX X, R, S, X c (X|SR)~XUX X, R, T, Q c (X~Q{T)~RUX X, R, T, R c X~(R{T)|RUX X, R, T, S c X{R~T~SUX X, R, T, U c X~(TR{U)UX X, R, T, W c X~T{R~WUX X, R, T, X c (X{R)~T{XUX X, R, U, Q c X~(U{Q)|RUX X, R, U, R c (X{R)~U|RUX X, R, U, S c X~(R{S){UUX X, R, U, T c X~U{R~TUX X, R, U, V c X~R{U~VUX X, R, U, W c (X{U{W)~RUX X, R, V, P c X~(V{P)|RUX X, R, V, Q c X~V{R~QUX X, R, V, R c X~V{R{RUX X, R, V, U c X{(R{V)~UUX X, R, V, V c (X{V{V)~RUX X, R, V, X c X|R{V~XUX X, R, W, O c X~W|R{OUX X, R, W, P c X~W|R~PUX X, R, W, S c R~(W~S|X)UX X, R, W, T c X~(WR{T)UX X, R, W, U c X~W{R|UUX X, R, W, W c (X|RW)~WUX X, R, W, X c X~(W|RX)UX X, R, X, P c X~(X|P)|RUX X, R, X, S c X~X|R~SUX X, R, X, T c X{(R{X)~TUX X, R, X, V c X|R{X~VUX X, R, X, W c X~(W|RX)UX X, R, X, X c (X~X)|(R{X)UX X, S, P, W c (X{W)~S{PUX X, S, Q, R c X~S~Q|RUX X, S, Q, V c X~V{S{QUX X, S, R, Q c X~S~Q|RUX X, S, R, R c (X~R|S)~RUX X, S, R, S c X~(S{S)|RUX X, S, R, T c X{S~R~TUX X, S, R, U c X~(S{R){UUX X, S, R, W c (S~W|X)~RUX X, S, R, X c (X|SR)~XUX X, S, S, R c X~(S{S)|RUX X, S, S, T c (X{S)~T{SUX X, S, T, R c X{S~T~RUX X, S, T, S c (X{S)~T{SUX X, S, T, U c X~T{S~UUX X, S, T, V c (X{V)~S{TUX X, S, T, W c X{(S{W)~TUX X, S, U, R c X~(S{R){UUX X, S, U, T c X~T{S~UUX X, S, U, U c X{(S{U)~UUX X, S, U, V c X~(SU{V)UX X, S, U, X c X{S~(U{X)UX X, S, V, Q c X~V{S{QUX X, S, V, T c (X{V)~S{TUX X, S, V, U c X~(SU{V)UX X, S, V, W c X{S{V~WUX X, S, W, P c (X{W)~S{PUX X, S, W, R c (S~W|X)~RUX X, S, W, T c X{(S{W)~TUX X, S, W, V c X{S{W~VUX X, S, W, W c X|S{W~WUX X, S, W, X c (X~X)|(S{W)UX X, S, X, R c (X|SR)~XUX X, S, X, U c X{S~(X{U)UX X, S, X, W c (X~X)|(S{W)UX X, T, P, T c (X{T)~T|PUX X, T, P, V c X~V{T{PUX X, T, P, W c (X|P)~W{TUX X, T, Q, R c (X~Q{T)~RUX X, T, Q, U c X{T~Q~UUX X, T, Q, W c X~W|T{QUX X, T, R, Q c (X~Q{T)~RUX X, T, R, R c X~(T{R)|RUX X, T, R, S c X{T~R~SUX X, T, R, U c X~(TR{U)UX X, T, R, W c X~T{R~WUX X, T, R, X c X{T~(R{X)UX X, T, S, R c X{T~S~RUX X, T, S, S c (X{S)~T{SUX X, T, S, U c X~T{S~UUX X, T, S, V c (X{V)~S{TUX X, T, S, W c X{T~(S{W)UX X, T, T, P c (X{T)~T|PUX X, T, T, U c X{(T{T)~UUX X, T, T, V c X{T~(T{V)UX X, T, U, Q c X{T~U~QUX X, T, U, R c X~(TR{U)UX X, T, U, S c X~T{U~SUX X, T, U, T c X{(T{T)~UUX X, T, U, U c X{T~(U{U)UX X, T, U, W c (T{W)~U|XUX X, T, V, P c X~V{T{PUX X, T, V, S c (X{V)~S{TUX X, T, V, T c X{(T{V)~TUX X, T, V, X c (X~X)|(T{V)UX X, T, W, P c (X|P)~W{TUX X, T, W, Q c X~W|T{QUX X, T, W, R c X~T{W~RUX X, T, W, S c X{T~(W{S)UX X, T, W, U c (T{W)~U|XUX X, T, W, W c X~W{T|WUX X, T, X, R c (X{T{X)~RUX X, T, X, V c (X~X)|(T{V)UX X, U, O, V c (X{O)~V{UUX X, U, P, U c X~(U{P){UUX X, U, P, V c X~P~V{UUX X, U, P, W c X~(W|P){UUX X, U, P, X c X{U~(P{X)UX X, U, Q, R c X~(U{Q)|RUX X, U, Q, T c X{U~Q~TUX X, U, Q, V c (XQ{V)~UUX X, U, Q, W c X{U~(Q{W)UX X, U, Q, X c (X|Q)~X{UUX X, U, R, Q c X~(U{Q)|RUX X, U, R, R c (X{R)~U|RUX X, U, R, S c X~(R{S){UUX X, U, R, T c X~U{R~TUX X, U, R, V c X{U~(R{V)UX X, U, R, W c (X{U{W)~RUX X, U, S, R c X~(S{R){UUX X, U, S, T c X~T{U~SUX X, U, S, U c X{(U{S)~UUX X, U, S, V c X~(SU{V)UX X, U, S, X c (X{U)~S{XUX X, U, T, Q c X{U~T~QUX X, U, T, R c X~U{T~RUX X, U, T, S c X~T{U~SUX X, U, T, T c X{U~(T{T)UX X, U, T, U c (X{U)~T|UUX X, U, T, W c U~(T{W)|XUX X, U, U, P c X~(U{P){UUX X, U, U, S c X{U~(U{S)UX X, U, U, T c X{(U{U)~TUX X, U, U, V c U~(U{V)|XUX X, U, U, X c X{U{U~XUX X, U, V, O c X~V{U{OUX X, U, V, P c X~V{U~PUX X, U, V, Q c (XQ{V)~UUX X, U, V, R c X{U~(V{R)UX X, U, V, S c X~(V{SU)UX X, U, V, U c (U{V)~U|XUX X, U, V, V c (X{UV)~VUX X, U, V, W c X~U{V{WUX X, U, V, X c X~(UX{V)UX X, U, W, P c X~(W|P){UUX X, U, W, Q c X{U~(W{Q)UX X, U, W, R c (X{U{W)~RUX X, U, W, T c U~(W{T)|XUX X, U, W, V c X~U{W{VUX X, U, W, X c (X|WU)~XUX X, U, X, P c X{U~(X{P)UX X, U, X, Q c X~X|U~QUX X, U, X, S c X{(U{X)~SUX X, U, X, U c X{U{X~UUX X, U, X, V c X~(UX{V)UX X, U, X, W c X~(X|WU)UX X, V, O, U c X~V{O{UUX X, V, P, P c (X{P)~V|PUX X, V, P, R c X~(V{P)|RUX X, V, P, T c X~V{P{TUX X, V, P, U c X~V{P~UUX X, V, P, V c X~V|P{VUX X, V, Q, R c (X{V~Q)~RUX X, V, Q, S c X~V{Q{SUX X, V, Q, U c (XQ{V)~UUX X, V, Q, W c X~V|Q{WUX X, V, R, P c X~(V{P)|RUX X, V, R, Q c X~V{R~QUX X, V, R, R c X~V{R{RUX X, V, R, U c X{(V{R)~UUX X, V, R, V c (X{V{V)~RUX X, V, R, X c X~V|R{XUX X, V, S, Q c X~V{S{QUX X, V, S, T c (X{V)~S{TUX X, V, S, U c X~(V{SU)UX X, V, S, W c X{(V{W)~SUX X, V, T, P c X~V{T{PUX X, V, T, S c (X{V)~S{TUX X, V, T, T c X{(V{T)~TUX X, V, T, X c (X~X)|(V{T)UX X, V, U, O c X~V{U{OUX X, V, U, P c X~V{U~PUX X, V, U, Q c (XQ{V)~UUX X, V, U, R c X{(V{R)~UUX X, V, U, S c X~(V{SU)UX X, V, U, U c (V{U)~U|XUX X, V, U, V c (X{UV)~VUX X, V, U, W c X~U{V{WUX X, V, U, X c X~(V{UX)UX X, V, V, P c X~V{V|PUX X, V, V, R c (X{V{V)~RUX X, V, V, U c (X{UV)~VUX X, V, W, Q c X~V{W|QUX X, V, W, S c X{(V{W)~SUX X, V, W, U c X~U{V{WUX X, V, X, R c X{V~X|RUX X, V, X, T c (X~X)|(V{T)UX X, V, X, U c X~(V{UX)UX X, W, O, R c X~W{O|RUX X, W, P, Q c (X~W)|(P{Q)UX X, W, P, R c X~W|P~RUX X, W, P, S c X~W{P|SUX X, W, P, T c (X|P)~W{TUX X, W, P, U c X~(W|P){UUX X, W, Q, P c (X~W)|(Q{P)UX X, W, Q, T c X~W{Q|TUX X, W, Q, U c X{(W{Q)~UUX X, W, Q, V c (X{Q)~V|WUX X, W, R, O c X~W|R{OUX X, W, R, P c X~W|R~PUX X, W, R, S c (W~S|X)~RUX X, W, R, T c X~(WR{T)UX X, W, R, U c X~W{R|UUX X, W, R, W c (X|RW)~WUX X, W, R, X c X~(W|RX)UX X, W, S, P c (X{W)~S{PUX X, W, S, R c (W~S|X)~RUX X, W, S, T c X{(W{S)~TUX X, W, S, V c X~W{S|VUX X, W, S, W c X{W~W|SUX X, W, S, X c (X~X)|(W{S)UX X, W, T, P c (X|P)~W{TUX X, W, T, Q c X~W|T{QUX X, W, T, R c X~(WR{T)UX X, W, T, S c X{(W{S)~TUX X, W, T, U c (W{T)~U|XUX X, W, T, W c X~W{T|WUX X, W, U, P c X~(W|P){UUX X, W, U, Q c X~W|UQUX X, W, U, R c (X{W{U)~RUX X, W, U, T c (W{T)~U|XUX X, W, U, V c X~U{W{VUX X, W, U, X c (X|WU)~XUX X, W, V, Q c X~V{W|QUX X, W, V, S c X{(W{V)~SUX X, W, V, U c X~U{W{VUX X, W, W, R c (X|RW)~WUX X, W, W, S c X{W~W|SUX X, W, W, T c X~W|W{TUX X, W, X, R c X~W|XRUX X, W, X, S c (X~X)|(W{S)UX X, W, X, U c X~W|X{UUX X, X, P, R c X~(X|P)|RUX X, X, P, U c X{(X{P)~UUX X, X, Q, U c X~(X|Q){UUX X, X, R, P c X~(X|P)|RUX X, X, R, S c X~X|R~SUX X, X, R, T c X{(X{R)~TUX X, X, R, V c X{X~V|RUX X, X, R, W c X~W|XRUX X, X, R, X c (X~X)|(R{X)UX X, X, S, R c (X{X)~S|RUX X, X, S, U c X{(X{U)~SUX X, X, S, W c (X~X)|(S{W)UX X, X, T, R c (X{X{T)~RUX X, X, T, V c (X~X)|(T{V)UX X, X, U, P c X{(X{P)~UUX X, X, U, Q c X~X|U~QUX X, X, U, S c X{(X{U)~SUX X, X, U, U c X{X~U{UUX X, X, U, V c X~(UX{V)UX X, X, U, W c X~(X|WU)UX X, X, V, R c X{X~V|RUX X, X, V, T c (X~X)|(V{T)UX X, X, V, U c X~(V{UX)UX X, X, W, R c X~W|XRUX X, X, W, S c (X~X)|(W{S)UX X, X, W, U c X~(X|WU)UX X, X, X, R c (X~X)|(X{R)UX