O, S, W, W c O{S{W~WUW O, S, W, X c (O{S)~(W{X)UW O, S, X, W c (O{S)~(X{W)UW O, T, V, X c O{T{V~XUW O, T, X, V c O{T{X~VUW O, V, T, X c O{V~X{TUW O, V, X, T c O{V~X{TUW O, W, S, W c O{W~W{SUW O, W, S, X c (O{W{X)~SUW O, W, W, S c O{W~W{SUW O, W, X, S c (O{W{X)~SUW O, X, S, W c (O{X{W)~SUW O, X, T, V c O{X~V{TUW O, X, V, T c O{X~V{TUW O, X, W, S c (O{X{W)~SUW P, Q, S, W c (P{Q~W)~SUW P, Q, S, X c (Q~X|P)~SUW P, Q, T, V c Q~(T~V|P)UW P, Q, V, T c Q~(V~T|P)UW P, Q, V, X c (P{X)~V|QUW P, Q, W, S c (P{Q~W)~SUW P, Q, W, W c (PQ{W)~WUW P, Q, W, X c W~(X|PQ)UW P, Q, X, S c (Q~X|P)~SUW P, Q, X, V c (P{X)~V|QUW P, Q, X, W c (X|PQ)~WUW P, R, S, U c (R~U|P)~SUW P, R, U, S c (R~U|P)~SUW P, R, W, W c P{R{W~WUW P, R, W, X c (P{R)~(W{X)UW P, R, X, W c (P{R)~(X{W)UW P, S, Q, W c (P{Q~W)~SUW P, S, Q, X c S~(Q~X|P)UW P, S, R, U c S~(R~U|P)UW P, S, S, S c (P{S~S)~SUW P, S, U, R c S~(U~R|P)UW P, S, V, W c (P{V)~W{SUW P, S, V, X c P{S{V~XUW P, S, W, Q c (P{W~Q)~SUW P, S, W, V c (P{V)~W{SUW P, S, W, W c P~S{W~WUW P, S, W, X c (P~S)~(W{X)UW P, S, X, Q c S~(X~Q|P)UW P, S, X, V c P{S{X~VUW P, S, X, W c (P~S)~(X{W)UW P, S, X, X c S~(X|P{X)UW P, T, Q, V c (T~V|P)~QUW P, T, U, X c (P{U)~X{TUW P, T, V, Q c (T~V|P)~QUW P, T, V, W c (P{W)~V{TUW P, T, V, X c P~T{V~XUW P, T, W, V c (P{W)~V{TUW P, T, W, W c T|P{W~WUW P, T, W, X c P{W~X|TUW P, T, X, U c (P{U)~X{TUW P, T, X, V c P~T{X~VUW P, T, X, W c P{X~W|TUW P, U, R, S c (U~R|P)~SUW P, U, S, R c (U~R|P)~SUW P, U, T, X c (P{U)~X{TUW P, U, V, X c U|P{V~XUW P, U, W, X c (P{X)~U{WUW P, U, X, T c (P{U)~X{TUW P, U, X, V c U|P{X~VUW P, U, X, W c (P{X)~U{WUW P, V, Q, T c (V~T|P)~QUW P, V, Q, X c (P{X)~V|QUW P, V, S, W c (P{V)~W{SUW P, V, S, X c (P{V{X)~SUW P, V, T, Q c (V~T|P)~QUW P, V, T, W c (P{W)~V{TUW P, V, T, X c P~V~X{TUW P, V, U, X c V~X|P{UUW P, V, W, S c (P{V)~W{SUW P, V, W, T c (P{W)~V{TUW P, V, X, Q c (P{X)~V|QUW P, V, X, S c (P{V{X)~SUW P, V, X, T c P~V~X{TUW P, V, X, U c V~X|P{UUW P, W, Q, S c (P{W~Q)~SUW P, W, Q, W c (PQ{W)~WUW P, W, Q, X c W~(X|PQ)UW P, W, R, W c P{W~W{RUW P, W, R, X c (P{R)~(W{X)UW P, W, S, Q c (P{W~Q)~SUW P, W, S, V c (P{V)~W{SUW P, W, S, W c (P{W{W)~SUW P, W, S, X c (P~W{X)~SUW P, W, T, V c (P{W)~V{TUW P, W, T, W c W~W|P{TUW P, W, T, X c P{W~X|TUW P, W, U, X c (P{X)~U{WUW P, W, V, S c (P{V)~W{SUW P, W, V, T c (P{W)~V{TUW P, W, W, Q c (PQ{W)~WUW P, W, W, R c P{W~W{RUW P, W, W, S c (P{W{W)~SUW P, W, W, T c W~W|P{TUW P, W, X, Q c W~(X|PQ)UW P, W, X, R c (P{R)~(W{X)UW P, W, X, S c (P~W{X)~SUW P, W, X, T c P{W~X|TUW P, W, X, U c (P{X)~U{WUW P, X, Q, S c (X~Q|P)~SUW P, X, Q, V c (P{X)~V|QUW P, X, Q, W c (X|PQ)~WUW P, X, R, W c (P{R)~(X{W)UW P, X, S, Q c (X~Q|P)~SUW P, X, S, V c (P{X{V)~SUW P, X, S, W c (P~X{W)~SUW P, X, S, X c (X|P{X)~SUW P, X, T, U c (P{U)~X{TUW P, X, T, V c P~X~V{TUW P, X, T, W c P{X~W|TUW P, X, U, T c (P{U)~X{TUW P, X, U, V c X~V|P{UUW P, X, U, W c (P{X)~U{WUW P, X, V, Q c (P{X)~V|QUW P, X, V, S c (P{X{V)~SUW P, X, V, T c P~X~V{TUW P, X, V, U c X~V|P{UUW P, X, W, Q c (X|PQ)~WUW P, X, W, R c (P{R)~(X{W)UW P, X, W, S c (P~X{W)~SUW P, X, W, T c P{X~W|TUW P, X, W, U c (P{X)~U{WUW P, X, X, S c (X|P{X)~SUW Q, P, S, W c (Q~W{P)~SUW Q, P, S, X c (Q~X|P)~SUW Q, P, T, V c Q~(T~V|P)UW Q, P, V, T c Q~(V~T|P)UW Q, P, V, X c (P{X)~V|QUW Q, P, W, S c (Q~W{P)~SUW Q, P, W, W c (PQ{W)~WUW Q, P, W, X c W~(X|PQ)UW Q, P, X, S c (Q~X|P)~SUW Q, P, X, V c (P{X)~V|QUW Q, P, X, W c (X|PQ)~WUW Q, Q, S, W c Q~(Q{S~W)UW Q, Q, S, X c Q~(S~X|Q)UW Q, Q, T, V c Q~T~V|QUW Q, Q, U, U c Q~(U~U|Q)UW Q, Q, U, X c Q{(Q{X)~UUW Q, Q, V, T c Q~V~T|QUW Q, Q, V, W c (Q{W)~V|QUW Q, Q, W, S c Q~(Q{W~S)UW Q, Q, W, V c (Q{W)~V|QUW Q, Q, W, W c Q{Q{W~WUW Q, Q, W, X c (Q{Q)~(W{X)UW Q, Q, X, S c Q~(X~S|Q)UW Q, Q, X, U c Q{(Q{X)~UUW Q, Q, X, W c (Q{Q)~(X{W)UW Q, R, S, T c (Q{R~T)~SUW Q, R, S, V c (Q~V{R)~SUW Q, R, T, S c (Q{R~T)~SUW Q, R, U, W c Q{(R{W)~UUW Q, R, V, S c (Q~V{R)~SUW Q, R, V, V c (R{V)~V|QUW Q, R, V, W c (RQ{V)~WUW Q, R, V, X c Q{R{V~XUW Q, R, W, U c Q{(R{W)~UUW Q, R, W, V c (RQ{V)~WUW Q, R, X, V c Q{R{X~VUW Q, S, P, W c (Q~W{P)~SUW Q, S, P, X c (Q~X|P)~SUW Q, S, Q, W c (Q{S~W)~QUW Q, S, Q, X c Q~(S~X|Q)UW Q, S, R, T c (Q{R~T)~SUW Q, S, R, V c (Q~V{R)~SUW Q, S, S, W c Q~S~W{SUW Q, S, S, X c (Q~S{X)~SUW Q, S, T, R c (Q{T~R)~SUW Q, S, T, U c Q~(S{T~U)UW Q, S, T, V c (Q~T{V)~SUW Q, S, U, T c Q~(S{U~T)UW Q, S, U, U c Q~U~U|SUW Q, S, U, V c Q{(S{V)~UUW Q, S, U, W c (Q{U)~W{SUW Q, S, U, X c (Q{U{X)~SUW Q, S, V, R c (Q~V{R)~SUW Q, S, V, T c (Q~T{V)~SUW Q, S, V, U c Q{(S{V)~UUW Q, S, V, W c (Q{V{W)~SUW Q, S, W, P c (Q~W{P)~SUW Q, S, W, Q c (Q{S~W)~QUW Q, S, W, S c Q~S~W{SUW Q, S, W, U c (Q{U)~W{SUW Q, S, W, V c (Q{W{V)~SUW Q, S, W, W c (QS{W)~WUW Q, S, W, X c (S{XQ)~WUW Q, S, X, P c (Q~X|P)~SUW Q, S, X, Q c Q~(S~X|Q)UW Q, S, X, S c (Q~S{X)~SUW Q, S, X, U c (Q{X{U)~SUW Q, S, X, W c (S{XQ)~WUW Q, T, P, V c Q~(T~V|P)UW Q, T, Q, V c Q~T~V|QUW Q, T, R, S c (Q{T~R)~SUW Q, T, S, R c (Q{T~R)~SUW Q, T, S, U c Q~(T~U{S)UW Q, T, S, V c (Q~T{V)~SUW Q, T, T, V c (T{T)~V|QUW Q, T, T, X c Q~(T~T{X)UW Q, T, U, S c Q~(T~U{S)UW Q, T, U, U c Q{(T{U)~UUW Q, T, U, W c Q~T~U{WUW Q, T, V, P c Q~(T~V|P)UW Q, T, V, Q c Q~T~V|QUW Q, T, V, S c (Q~T{V)~SUW Q, T, V, T c (T{T)~V|QUW Q, T, V, V c (Q{V)~V{TUW Q, T, V, W c (T{VQ)~WUW Q, T, W, U c Q~(T~W|U)UW Q, T, W, V c (T{VQ)~WUW Q, T, X, T c (Q{T)~X{TUW Q, T, X, X c T{(X|Q)~XUW Q, U, Q, U c Q~(U~U|Q)UW Q, U, Q, X c Q{U~(Q{X)UW Q, U, R, W c Q{U~(R{W)UW Q, U, S, T c (Q~U{T)~SUW Q, U, S, U c Q~U~U|SUW Q, U, S, V c Q{U~(S{V)UW Q, U, S, W c (Q{U)~W{SUW Q, U, S, X c (Q{U{X)~SUW Q, U, T, S c (Q~U{T)~SUW Q, U, T, U c Q{(U{T)~UUW Q, U, T, W c Q~U~T{WUW Q, U, U, Q c Q~(U~U|Q)UW Q, U, U, S c Q~U~U|SUW Q, U, U, T c Q{U~(U{T)UW Q, U, V, S c Q{U~(V{S)UW Q, U, V, W c Q~U{V~WUW Q, U, V, X c Q~V{U~XUW Q, U, W, R c Q{U~(W{R)UW Q, U, W, S c (Q{U)~W{SUW Q, U, W, T c Q~U~T{WUW Q, U, W, V c Q~U{W~VUW Q, U, W, W c (Q{W)~U{WUW Q, U, W, X c Q{W~X|UUW Q, U, X, Q c Q{U~(X{Q)UW Q, U, X, S c (Q{U{X)~SUW Q, U, X, V c Q~V{U~XUW Q, U, X, W c Q{X~W|UUW Q, V, P, T c Q~(V~T|P)UW Q, V, P, X c V~(P{X)|QUW Q, V, Q, T c Q~V~T|QUW Q, V, Q, W c (Q{W)~V|QUW Q, V, R, S c (Q~V{R)~SUW Q, V, R, V c (V{R)~V|QUW Q, V, R, W c (V{RQ)~WUW Q, V, R, X c Q~(V{R~X)UW Q, V, S, R c (Q~V{R)~SUW Q, V, S, T c (Q~T{V)~SUW Q, V, S, U c Q{(V{S)~UUW Q, V, S, W c (Q{V{W)~SUW Q, V, T, P c Q~(V~T|P)UW Q, V, T, Q c Q~V~T|QUW Q, V, T, S c (Q~T{V)~SUW Q, V, T, T c V~(T{T)|QUW Q, V, T, V c (Q{V)~V{TUW Q, V, T, W c (VQ{T)~WUW Q, V, U, S c Q{(V{S)~UUW Q, V, U, W c Q~(V~U|W)UW Q, V, U, X c Q~V{U~XUW Q, V, V, R c V~(V{R)|QUW Q, V, V, T c (Q{V)~V{TUW Q, V, V, X c V|Q{V~XUW Q, V, W, Q c (Q{W)~V|QUW Q, V, W, R c (V{RQ)~WUW Q, V, W, S c (Q{V{W)~SUW Q, V, W, T c (VQ{T)~WUW Q, V, W, U c Q~(V~U|W)UW Q, V, X, P c V~(X{P)|QUW Q, V, X, R c Q{V~X{RUW Q, V, X, U c Q~V{X~UUW Q, V, X, V c V|Q{X~VUW Q, V, X, X c (Q{X)~V|XUW Q, W, P, S c (Q~W{P)~SUW Q, W, P, W c (W{PQ)~WUW Q, W, P, X c W~(X|PQ)UW Q, W, Q, S c (Q{W~S)~QUW Q, W, Q, V c (Q{W)~V|QUW Q, W, Q, W c Q{W~W{QUW Q, W, Q, X c Q~(W{X)~QUW Q, W, R, U c Q{(W{R)~UUW Q, W, R, V c W~(RQ{V)UW Q, W, S, P c (Q~W{P)~SUW Q, W, S, Q c (Q{W~S)~QUW Q, W, S, S c Q~W~S{SUW Q, W, S, U c (Q{U)~W{SUW Q, W, S, V c (Q{W{V)~SUW Q, W, S, W c (QS{W)~WUW Q, W, S, X c W~(S{XQ)UW Q, W, T, U c Q~(W~T|U)UW Q, W, T, V c W~(T{VQ)UW Q, W, U, R c Q{(W{R)~UUW Q, W, U, S c (Q{U)~W{SUW Q, W, U, T c Q~(W~T|U)UW Q, W, U, V c Q~U{W~VUW Q, W, U, W c (Q{W)~U{WUW Q, W, U, X c Q{W~X|UUW Q, W, V, Q c (Q{W)~V|QUW Q, W, V, R c W~(V{RQ)UW Q, W, V, S c (Q{W{V)~SUW Q, W, V, T c W~(VQ{T)UW Q, W, V, U c Q~(V~U|W)UW Q, W, W, P c W~(W{PQ)UW Q, W, W, Q c Q{W~W{QUW Q, W, W, S c (QS{W)~WUW Q, W, W, U c (Q{W)~U{WUW Q, W, W, W c WQ{W~WUW Q, W, W, X c (WQ)~(W{X)UW Q, W, X, P c W~(X|PQ)UW Q, W, X, Q c Q~(W{X)~QUW Q, W, X, S c W~(X|QS)UW Q, W, X, U c Q{W~X|UUW Q, W, X, W c (WQ)~(X{W)UW Q, X, P, S c (Q~X|P)~SUW Q, X, P, V c (X{P)~V|QUW Q, X, P, W c (X|PQ)~WUW Q, X, Q, S c Q~(X~S|Q)UW Q, X, Q, U c Q{(X{Q)~UUW Q, X, Q, W c Q~(X{W)~QUW Q, X, R, V c Q~(X~R{V)UW Q, X, S, P c (Q~X|P)~SUW Q, X, S, Q c Q~(X~S|Q)UW Q, X, S, S c Q~X~S|SUW Q, X, S, U c (Q{X{U)~SUW Q, X, S, W c (X|QS)~WUW Q, X, T, T c Q~(X{T~T)UW Q, X, T, X c (X|Q)~X{TUW Q, X, U, Q c (Q{X)~U{QUW Q, X, U, S c (Q{X{U)~SUW Q, X, U, V c Q~V{X~UUW Q, X, U, W c Q{X~W|UUW Q, X, V, P c (X{P)~V|QUW Q, X, V, R c Q{X~V{RUW Q, X, V, U c Q~V{X~UUW Q, X, V, V c X~V|Q{VUW Q, X, V, X c (Q{X)~V|XUW Q, X, W, P c (X|PQ)~WUW Q, X, W, Q c Q~(X{W)~QUW Q, X, W, S c (X|QS)~WUW Q, X, W, U c Q{X~W|UUW Q, X, W, W c (X{W)Q~WUW Q, X, X, T c (X|Q)~X{TUW Q, X, X, V c (Q{X)~V|XUW R, P, S, U c (R~U|P)~SUW R, P, U, S c (R~U|P)~SUW R, P, W, W c R{P{W~WUW R, P, W, X c (R{P)~(W{X)UW R, P, X, W c (R{P)~(X{W)UW R, Q, S, T c (R~T{Q)~SUW R, Q, S, V c (R{Q~V)~SUW R, Q, T, S c (R~T{Q)~SUW R, Q, U, W c (R{W)~U{QUW R, Q, V, S c (R{Q~V)~SUW R, Q, V, V c (R{V)~V|QUW R, Q, V, W c (RQ{V)~WUW R, Q, V, X c R{Q{V~XUW R, Q, W, U c (R{W)~U{QUW R, Q, W, V c (RQ{V)~WUW R, Q, X, V c R{Q{X~VUW R, R, S, W c (R~R{W)~SUW R, R, T, V c R~R~V{TUW R, R, V, T c R~R~V{TUW R, R, W, S c (R~R{W)~SUW R, S, P, U c (R~U|P)~SUW R, S, Q, T c (R~T{Q)~SUW R, S, Q, V c (R{Q~V)~SUW R, S, R, W c (R~R{W)~SUW R, S, S, T c (R~S{T)~SUW R, S, S, U c R~S~U|SUW R, S, S, V c (R~V|S)~SUW R, S, T, Q c (R~T{Q)~SUW R, S, T, S c (R~S{T)~SUW R, S, T, W c R~S~T{WUW R, S, T, X c R{(S{X)~TUW R, S, U, P c (R~U|P)~SUW R, S, U, S c R~S~U|SUW R, S, U, W c (R{U{W)~SUW R, S, U, X c (R{X)~U|SUW R, S, V, Q c (R{V~Q)~SUW R, S, V, S c (R~V|S)~SUW R, S, V, V c (R{V{V)~SUW R, S, V, W c R~S{V~WUW R, S, W, R c R~W~R|SUW R, S, W, T c R~S~T{WUW R, S, W, U c (R{W{U)~SUW R, S, W, V c R~S{W~VUW R, S, X, T c R{(S{X)~TUW R, S, X, U c (R{X)~U|SUW R, T, Q, S c (R~T{Q)~SUW R, T, R, V c R~R~V{TUW R, T, S, Q c (R~T{Q)~SUW R, T, S, S c (R~S{T)~SUW R, T, S, W c R~T~S{WUW R, T, S, X c R{T~(S{X)UW R, T, T, V c R~T~T|VUW R, T, T, W c R{T~(T{W)UW R, T, U, V c R{T~(U{V)UW R, T, V, R c R~V~R{TUW R, T, V, T c R~T~T|VUW R, T, V, U c R{T~(V{U)UW R, T, W, S c (R{T)~W{SUW R, T, W, T c R{(T{W)~TUW R, T, W, X c (R{X)~T{WUW R, T, X, S c (R{T{X)~SUW R, T, X, W c (R{X)~T{WUW R, U, P, S c (R~U|P)~SUW R, U, Q, W c (R{W)~U{QUW R, U, S, P c (R~U|P)~SUW R, U, S, S c R~U~S|SUW R, U, S, W c (R{U{W)~SUW R, U, S, X c (R{X)~U|SUW R, U, T, V c R{(U{V)~TUW R, U, V, T c R{(U{V)~TUW R, U, V, W c (R{V)~U{WUW R, U, V, X c U~(VR{X)UW R, U, W, Q c (R{W)~U{QUW R, U, W, S c (R{U{W)~SUW R, U, W, V c (R{V)~U{WUW R, U, W, W c (RU{W)~WUW R, U, W, X c W~(X|RU)UW R, U, X, S c (R{X)~U|SUW R, U, X, V c U~(X{VR)UW R, U, X, W c (X|RU)~WUW R, V, Q, S c (R{V~Q)~SUW R, V, Q, V c (R{V)~V|QUW R, V, Q, W c (RQ{V)~WUW R, V, Q, X c R{V~X{QUW R, V, R, T c R~V~R{TUW R, V, S, Q c (R{V~Q)~SUW R, V, S, S c (R~V|S)~SUW R, V, S, V c (R{V{V)~SUW R, V, S, W c R~S{V~WUW R, V, T, R c R~V~R{TUW R, V, T, T c R~T~T|VUW R, V, T, U c R{(V{U)~TUW R, V, U, T c R{(V{U)~TUW R, V, U, W c (R{V)~U{WUW R, V, U, X c (VR{X)~UUW R, V, V, Q c (R{V)~V|QUW R, V, V, S c (R{V{V)~SUW R, V, W, Q c (RQ{V)~WUW R, V, W, S c (R~W|V)~SUW R, V, W, U c (R{V)~U{WUW R, V, W, W c V|R{W~WUW R, V, W, X c R{V~W{XUW R, V, X, Q c R{V~X{QUW R, V, X, U c (VR{X)~UUW R, V, X, W c R{V~W{XUW R, W, P, W c R{W~W{PUW R, W, P, X c (R{P)~(W{X)UW R, W, Q, U c (R{W)~U{QUW R, W, Q, V c (RQ{V)~WUW R, W, R, S c R~W~R|SUW R, W, S, R c R~W~R|SUW R, W, S, T c R~S~T{WUW R, W, S, U c (R{W{U)~SUW R, W, S, V c (R~W|V)~SUW R, W, T, S c (R{T)~W{SUW R, W, T, T c R{(W{T)~TUW R, W, T, X c (R{X)~T{WUW R, W, U, Q c (R{W)~U{QUW R, W, U, S c (R{W{U)~SUW R, W, U, V c (R{V)~U{WUW R, W, U, W c (RU{W)~WUW R, W, U, X c W~(X|RU)UW R, W, V, Q c (RQ{V)~WUW R, W, V, S c (R~W|V)~SUW R, W, V, U c (R{V)~U{WUW R, W, V, W c W~W|R{VUW R, W, V, X c R{W~V{XUW R, W, W, P c R{W~W{PUW R, W, W, U c (RU{W)~WUW R, W, W, V c W~W|R{VUW R, W, X, P c (R{P)~(W{X)UW R, W, X, T c (R{X)~T{WUW R, W, X, U c W~(X|RU)UW R, W, X, V c R{W~X|VUW R, X, P, W c (R{P)~(X{W)UW R, X, Q, V c R{X~V{QUW R, X, S, T c R{(X{S)~TUW R, X, S, U c (R{X)~U|SUW R, X, T, S c (R{X{T)~SUW R, X, T, W c (R{X)~T{WUW R, X, U, S c (R{X)~U|SUW R, X, U, V c (X{VR)~UUW R, X, U, W c (X|RU)~WUW R, X, V, Q c R{X~V{QUW R, X, V, U c (X{VR)~UUW R, X, V, W c R{X{V~WUW R, X, W, P c (R{P)~(X{W)UW R, X, W, T c (R{X)~T{WUW R, X, W, U c (X|RU)~WUW R, X, W, V c R{X{W~VUW S, O, W, W c S{O{W~WUW S, O, W, X c (S{O)~(W{X)UW S, O, X, W c (S{O)~(X{W)UW S, P, Q, W c S~(P{Q~W)UW S, P, Q, X c S~(Q~X|P)UW S, P, R, U c S~(R~U|P)UW S, P, S, S c S~(P{S~S)UW S, P, U, R c S~(U~R|P)UW S, P, V, W c S{(P{V)~WUW S, P, V, X c S{P{V~XUW S, P, W, Q c S~(P{W~Q)UW S, P, W, V c S{(P{V)~WUW S, P, W, W c S{P~W~WUW S, P, W, X c (S~P)~(W{X)UW S, P, X, Q c S~(X~Q|P)UW S, P, X, V c S{P{X~VUW S, P, X, W c (S~P)~(X{W)UW S, P, X, X c S~(X|P{X)UW S, Q, P, W c S~(Q~W{P)UW S, Q, P, X c S~(Q~X|P)UW S, Q, Q, W c (S~W{Q)~QUW S, Q, Q, X c (S~X|Q)~QUW S, Q, R, T c S~(Q{R~T)UW S, Q, R, V c S~(Q~V{R)UW S, Q, S, W c S{Q~S~WUW S, Q, S, X c S~(Q~S{X)UW S, Q, T, R c S~(Q{T~R)UW S, Q, T, U c S~(Q~U{T)UW S, Q, T, V c S~(Q~T{V)UW S, Q, U, T c S~(Q~U{T)UW S, Q, U, U c Q~U~U|SUW S, Q, U, V c (S{U)~V|QUW S, Q, U, W c S{(Q{U)~WUW S, Q, U, X c S~(Q{U{X)UW S, Q, V, R c S~(Q~V{R)UW S, Q, V, T c S~(Q~T{V)UW S, Q, V, U c (S{V)~U{QUW S, Q, V, W c S~(Q{V{W)UW S, Q, W, P c S~(Q~W{P)UW S, Q, W, Q c (S~W{Q)~QUW S, Q, W, S c S{Q~W~SUW S, Q, W, U c S{(Q{U)~WUW S, Q, W, V c S~(Q{W{V)UW S, Q, W, W c (QS{W)~WUW S, Q, W, X c (S{XQ)~WUW S, Q, X, P c S~(Q~X|P)UW S, Q, X, Q c (S~X|Q)~QUW S, Q, X, S c (S~Q{X)~SUW S, Q, X, U c S~(Q{X{U)UW S, Q, X, W c (S{XQ)~WUW S, R, P, U c S~(R~U|P)UW S, R, Q, T c S~(R~T{Q)UW S, R, Q, V c S~(R{Q~V)UW S, R, R, W c S~(R~R{W)UW S, R, S, T c S~(R~S{T)UW S, R, S, U c S~R~U|SUW S, R, S, V c S~(R~V|S)UW S, R, T, Q c S~(R~T{Q)UW S, R, T, S c (S~R{T)~SUW S, R, T, W c S{(R{T)~WUW S, R, T, X c S~(R{T{X)UW S, R, U, P c S~(R~U|P)UW S, R, U, S c S~R~U|SUW S, R, U, W c S~(R{U{W)UW S, R, U, X c (R{X)~U|SUW S, R, V, Q c S~(R{V~Q)UW S, R, V, S c S~(R~V|S)UW S, R, V, V c S~(R{V{V)UW S, R, V, W c S~R{V~WUW S, R, W, R c S~(R~R{W)UW S, R, W, T c S{(R{T)~WUW S, R, W, U c S~(R{W{U)UW S, R, W, V c S~R{W~VUW S, R, X, T c (S{R)~X{TUW S, R, X, U c (R{X)~U|SUW S, S, P, S c (S~S{P)~SUW S, S, Q, W c S{S~Q~WUW S, S, Q, X c S~(S~Q{X)UW S, S, R, T c S~(S~R{T)UW S, S, R, U c S~R~U|SUW S, S, R, V c S~(R~V|S)UW S, S, S, P c S~(S~S{P)UW S, S, S, S c S{S~S~SUW S, S, S, W c S{(S{S)~WUW S, S, S, X c S~(S{S{X)UW S, S, T, R c S~(S~T|R)UW S, S, T, W c S~(S{T{W)UW S, S, U, R c S~U~R|SUW S, S, U, V c S~(S{U{V)UW S, S, U, W c (S{W)~U|SUW S, S, V, R c S~(V~R|S)UW S, S, V, U c S~(S{V{U)UW S, S, V, X c S{S~(V{X)UW S, S, W, Q c S{S~W~QUW S, S, W, S c (S{S)~W{SUW S, S, W, T c S~(S{W{T)UW S, S, W, U c (S{W)~U|SUW S, S, W, W c S{S~(W{W)UW S, S, W, X c S~W{S~XUW S, S, X, Q c S~(S~Q{X)UW S, S, X, S c (S{S{X)~SUW S, S, X, V c S{S~(X{V)UW S, S, X, W c S~X{S~WUW S, S, X, X c S~(X{X)|SUW S, T, Q, R c S~(T~R{Q)UW S, T, Q, U c S~(T{Q~U)UW S, T, Q, V c S~(T~Q{V)UW S, T, R, Q c S~(T~R{Q)UW S, T, R, S c S~(T{R~S)UW S, T, R, W c S{(T{R)~WUW S, T, R, X c S~(T{R{X)UW S, T, S, R c S~(T{S~R)UW S, T, S, W c S~(T{S{W)UW S, T, T, V c S~(T{T{V)UW S, T, T, W c S~(T~T|W)UW S, T, U, Q c (S{T~U)~QUW S, T, U, U c S~(T{U{U)UW S, T, U, V c (T{V)~U|SUW S, T, U, W c S~T{U~WUW S, T, V, Q c S~(T~Q{V)UW S, T, V, T c (S{T)~V{TUW S, T, V, U c (T{V)~U|SUW S, T, V, W c S~V{T~WUW S, T, W, R c S{(T{R)~WUW S, T, W, S c (S{T{W)~SUW S, T, W, T c S~(T~T|W)UW S, T, W, U c S~T{W~UUW S, T, W, V c S~V{T~WUW S, T, W, W c (S{W)~T{WUW S, T, X, R c S~(T{X{R)UW S, U, P, R c S~(U~R|P)UW S, U, Q, T c S~(U~Q{T)UW S, U, Q, U c U~Q~U|SUW S, U, Q, V c (S{U)~V|QUW S, U, Q, W c S{(U{Q)~WUW S, U, Q, X c S~(U{Q{X)UW S, U, R, P c S~(U~R|P)UW S, U, R, S c S~U~R|SUW S, U, R, W c S~(U{R{W)UW S, U, R, X c U~(R{X)|SUW S, U, S, R c S~U~R|SUW S, U, S, V c S~(U{S{V)UW S, U, S, W c (S{W)~U|SUW S, U, T, Q c (S{U~T)~QUW S, U, T, U c S~(U{T{U)UW S, U, T, V c U~(T{V)|SUW S, U, T, W c S~T{U~WUW S, U, U, Q c U~U~Q|SUW S, U, U, T c S~(U{U{T)UW S, U, U, U c (U{U)~U|SUW S, U, U, W c (S{U)~U{WUW S, U, V, Q c (S{U)~V|QUW S, U, V, S c (S{U{V)~SUW S, U, V, T c U~(V{T)|SUW S, U, V, W c (US{V)~WUW S, U, W, Q c S{(U{Q)~WUW S, U, W, R c S~(U{W{R)UW S, U, W, S c (S{W)~U|SUW S, U, W, T c S~T{U~WUW S, U, W, U c (S{U)~U{WUW S, U, W, V c (US{V)~WUW S, U, W, X c S~(U{X){WUW S, U, X, Q c S~(U{X{Q)UW S, U, X, R c U~(X{R)|SUW S, U, X, W c S~(U{X){WUW S, V, P, W c S{(V{P)~WUW S, V, P, X c S~(V{P{X)UW S, V, Q, R c S~(V~Q{R)UW S, V, Q, T c S~(V{Q~T)UW S, V, Q, U c (S{V)~U{QUW S, V, Q, W c S~(V{Q{W)UW S, V, R, Q c S~(V~Q{R)UW S, V, R, S c S~(V~R|S)UW S, V, R, V c S~(V{R{V)UW S, V, R, W c S~R{V~WUW S, V, S, R c S~(V~R|S)UW S, V, S, U c S~(V{S{U)UW S, V, S, X c S{(V{X)~SUW S, V, T, Q c S~(V{T~Q)UW S, V, T, T c S~(V{T{T)UW S, V, T, U c (V{T)~U|SUW S, V, T, W c S~V{T~WUW S, V, U, Q c (S{V)~U{QUW S, V, U, S c (S{V{U)~SUW S, V, U, T c (V{T)~U|SUW S, V, U, W c (V{US)~WUW S, V, V, R c S~(V{V{R)UW S, V, V, X c (S{V)~V|XUW S, V, W, P c S{(V{P)~WUW S, V, W, Q c S~(V{W{Q)UW S, V, W, R c S~(W~R|V)UW S, V, W, T c S~V{W~TUW S, V, W, U c (V{US)~WUW S, V, W, W c S{V~W{WUW S, V, X, P c S{V~X{PUW S, V, X, S c S{(V{X)~SUW S, V, X, V c (S{V)~V|XUW S, V, X, X c V~X|S{XUW S, W, O, W c S{(W{O)~WUW S, W, O, X c S~(W{O{X)UW S, W, P, Q c S~(W~Q{P)UW S, W, P, V c S{W~(P{V)UW S, W, P, W c S{W~P~WUW S, W, P, X c S~(W{P~X)UW S, W, Q, P c S~(W~Q{P)UW S, W, Q, Q c (S~W{Q)~QUW S, W, Q, S c S{W~Q~SUW S, W, Q, U c S{W~(Q{U)UW S, W, Q, V c S~(W{Q{V)UW S, W, Q, W c (W{QS)~WUW S, W, Q, X c (S{XQ)~WUW S, W, R, R c S~(W{R~R)UW S, W, R, T c S{W~(R{T)UW S, W, R, U c S~(W{R{U)UW S, W, R, V c S~(W~R|V)UW S, W, S, Q c S{W~S~QUW S, W, S, S c S{W~(S{S)UW S, W, S, T c S~(W{S{T)UW S, W, S, U c (S{W)~U|SUW S, W, S, W c S{(W{W)~SUW S, W, S, X c S~W{S~XUW S, W, T, R c S{W~(T{R)UW S, W, T, S c (S{W{T)~SUW S, W, T, T c S~(T~T|W)UW S, W, T, U c S~T{W~UUW S, W, T, V c S~V{W~TUW S, W, T, W c (S{W)~T{WUW S, W, U, Q c S{W~(U{Q)UW S, W, U, R c S~(W{U{R)UW S, W, U, S c (S{W)~U|SUW S, W, U, T c S~T{W~UUW S, W, U, U c S~W{U~UUW S, W, U, V c W~(US{V)UW S, W, U, X c S~(U{X){WUW S, W, V, P c S{W~(V{P)UW S, W, V, Q c S~(W{V{Q)UW S, W, V, R c S~(W~R|V)UW S, W, V, T c S~V{W~TUW S, W, V, U c W~(V{US)UW S, W, V, W c S{W{V~WUW S, W, W, O c S{W~W{OUW S, W, W, P c S{W~W~PUW S, W, W, Q c W~(W{QS)UW S, W, W, S c S{(W{W)~SUW S, W, W, T c (S{W)~T{WUW S, W, W, V c S{W{W~VUW S, W, W, W c (SW{W)~WUW S, W, W, X c S{W~X|WUW S, W, X, O c S~(W{X){OUW S, W, X, P c S{W~(X|P)UW S, W, X, Q c (S{XQ)~WUW S, W, X, S c S~W{X~SUW S, W, X, U c S~(X{U){WUW S, W, X, W c S{W~X|WUW S, W, X, X c (W|SX)~XUW S, X, O, W c S~(X{O{W)UW S, X, P, Q c S~(X~Q|P)UW S, X, P, V c S~(X{P{V)UW S, X, P, W c S{(X|P)~WUW S, X, P, X c S~(X|P{X)UW S, X, Q, P c S~(X~Q|P)UW S, X, Q, Q c (S~X|Q)~QUW S, X, Q, S c S~(X{Q~S)UW S, X, Q, U c S~(X{Q{U)UW S, X, Q, W c (S{XQ)~WUW S, X, R, T c S~(X{R{T)UW S, X, R, U c (X{R)~U|SUW S, X, S, Q c S~(X{S~Q)UW S, X, S, S c (S{X{S)~SUW S, X, S, V c S{(X{V)~SUW S, X, S, W c S~X{S~WUW S, X, S, X c S~(X{X)|SUW S, X, T, R c (S{X)~T{RUW S, X, U, Q c S~(X{U{Q)UW S, X, U, R c (X{R)~U|SUW S, X, U, W c S~(X{U){WUW S, X, V, P c S{X~V{PUW S, X, V, S c S{(X{V)~SUW S, X, V, V c (S{V)~V|XUW S, X, V, X c X|S{V~XUW S, X, W, O c S~(X{W){OUW S, X, W, P c S~(X{W)~PUW S, X, W, Q c (S{XQ)~WUW S, X, W, S c S~X{W~SUW S, X, W, U c S~(X{U){WUW S, X, W, W c S{X~W|WUW S, X, W, X c X~(W|SX)UW S, X, X, P c S~(X{X|P)UW S, X, X, S c S~(X{X)|SUW S, X, X, V c X|S{X~VUW S, X, X, W c X~(W|SX)UW S, X, X, X c (X~X)|(S{X)UW T, O, V, X c T{O{V~XUW T, O, X, V c T{O{X~VUW T, P, Q, V c (T~V|P)~QUW T, P, U, X c T{(P{U)~XUW T, P, V, Q c (T~V|P)~QUW T, P, V, W c T{(P{W)~VUW T, P, V, X c T{P~V~XUW T, P, W, V c T{(P{W)~VUW T, P, W, W c T|P{W~WUW T, P, W, X c (T|P)~(W{X)UW T, P, X, U c T{(P{U)~XUW T, P, X, V c T{P~X~VUW T, P, X, W c (T|P)~(X{W)UW T, Q, P, V c (T~V|P)~QUW T, Q, Q, V c T~Q~V|QUW T, Q, R, S c (T~R{Q)~SUW T, Q, S, R c (T~R{Q)~SUW T, Q, S, U c (T{Q~U)~SUW T, Q, S, V c (T~Q{V)~SUW T, Q, T, V c (T{T)~V|QUW T, Q, T, X c T{(Q{T)~XUW T, Q, U, S c (T{Q~U)~SUW T, Q, U, U c (T{U)~U{QUW T, Q, U, W c T~Q~U{WUW T, Q, V, P c (T~V|P)~QUW T, Q, V, Q c T~Q~V|QUW T, Q, V, S c (T~Q{V)~SUW T, Q, V, T c (T{T)~V|QUW T, Q, V, V c T{(Q{V)~VUW T, Q, V, W c (T{VQ)~WUW T, Q, W, U c T~Q~U{WUW T, Q, W, V c (T{VQ)~WUW T, Q, X, T c (T{Q)~X{TUW T, Q, X, X c T{(X|Q)~XUW T, R, Q, S c (T~R{Q)~SUW T, R, R, V c T{R~R~VUW T, R, S, Q c (T~R{Q)~SUW T, R, S, S c (T{R~S)~SUW T, R, S, W c T~R~S{WUW T, R, S, X c T{(R{S)~XUW T, R, T, V c T~R~T|VUW T, R, T, W c T~(T{W){RUW T, R, U, V c T{(R{U)~VUW T, R, V, R c T{R~V~RUW T, R, V, T c T~R~T|VUW T, R, V, U c T{(R{U)~VUW T, R, W, S c (T{R)~W{SUW T, R, W, T c (T{W)~T{RUW T, R, W, X c T~(R{X){WUW T, R, X, S c (T{R{X)~SUW T, R, X, W c T~(R{X){WUW T, S, Q, R c (T~R{Q)~SUW T, S, Q, U c (T{Q~U)~SUW T, S, Q, V c (T~Q{V)~SUW T, S, R, Q c (T~R{Q)~SUW T, S, R, S c (T{S~R)~SUW T, S, R, W c T~S~R{WUW T, S, R, X c T{(S{R)~XUW T, S, S, R c (T{S~R)~SUW T, S, S, W c (T{S{W)~SUW T, S, T, V c T{(S{T)~VUW T, S, T, W c (T~T|W)~SUW T, S, U, Q c (T~U{S)~QUW T, S, U, U c (T{U{U)~SUW T, S, U, V c (T{V)~U|SUW T, S, U, W c T~S{U~WUW T, S, V, Q c (T~Q{V)~SUW T, S, V, T c (T{S)~V{TUW T, S, V, U c (T{V)~U|SUW T, S, V, W c T~W{S~VUW T, S, W, R c T~S~R{WUW T, S, W, S c (T{S{W)~SUW T, S, W, T c (T~T|W)~SUW T, S, W, U c T~S{W~UUW T, S, W, V c T~W{S~VUW T, S, W, W c T~(S{W){WUW T, S, X, R c T~(S{X){RUW T, T, Q, V c (T{T)~V|QUW T, T, Q, X c T{(T{Q)~XUW T, T, R, V c T~T~R|VUW T, T, R, W c T~(T{W){RUW T, T, S, V c T{(T{S)~VUW T, T, S, W c (T~T|W)~SUW T, T, U, W c (T{T)~U{WUW T, T, V, Q c (T{T)~V|QUW T, T, V, R c T~T~R|VUW T, T, V, S c (T{T{V)~SUW T, T, V, W c T~(T{V){WUW T, T, W, R c T~(T{W){RUW T, T, W, S c (T~T|W)~SUW T, T, W, U c (T{T)~U{WUW T, T, W, V c T~(T{V){WUW T, T, X, Q c T~(T{X)|QUW T, U, P, X c T{(U{P)~XUW T, U, Q, S c (T{U~Q)~SUW T, U, Q, U c (T{U)~U{QUW T, U, Q, W c T~U~Q{WUW T, U, R, V c T{(U{R)~VUW T, U, S, Q c (T~U{S)~QUW T, U, S, U c (T{U{U)~SUW T, U, S, V c (T{V)~U|SUW T, U, S, W c T~S{U~WUW T, U, T, W c (T{T)~U{WUW T, U, U, Q c (T{U)~U{QUW T, U, U, S c (T{U{U)~SUW T, U, U, W c T~(U{U){WUW T, U, V, R c T~(U{V){RUW T, U, V, S c (T{V)~U|SUW T, U, V, X c (T{U)~V|XUW T, U, W, Q c T~(U{W)|QUW T, U, W, S c T~S{U~WUW T, U, W, T c (T{T)~U{WUW T, U, W, U c T~(U{U){WUW T, U, X, P c T{(U{P)~XUW T, U, X, V c T~(U{X)|VUW T, U, X, X c T{U~X{XUW T, V, O, X c T{(V{O)~XUW T, V, P, Q c (T~V|P)~QUW T, V, P, W c T{V~(P{W)UW T, V, P, X c T{V~P~XUW T, V, Q, P c (T~V|P)~QUW T, V, Q, Q c T~V~Q|QUW T, V, Q, S c (T~Q{V)~SUW T, V, Q, T c (T{T)~V|QUW T, V, Q, V c T{(V{Q)~VUW T, V, Q, W c (T{VQ)~WUW T, V, R, R c T{V~R~RUW T, V, R, T c T~R~T|VUW T, V, R, U c T{V~(R{U)UW T, V, S, Q c (T~Q{V)~SUW T, V, S, T c T{V~(S{T)UW T, V, S, U c (T{V)~U|SUW T, V, S, W c T~W{V~SUW T, V, T, Q c (T{T)~V|QUW T, V, T, R c T~T~R|VUW T, V, T, S c (T{V{T)~SUW T, V, T, W c (T{V)~T{WUW T, V, U, R c T{V~(U{R)UW T, V, U, S c (T{V)~U|SUW T, V, U, X c (T{U)~V|XUW T, V, V, Q c T{V~(V{Q)UW T, V, V, W c T{V{V~WUW T, V, V, X c (TV{X)~VUW T, V, W, P c T{V~(W{P)UW T, V, W, Q c (T{VQ)~WUW T, V, W, S c T~W{V~SUW T, V, W, T c (T{V)~T{WUW T, V, W, V c T{V{W~VUW T, V, X, O c T{V~X{OUW T, V, X, P c T{V~X~PUW T, V, X, U c T~(X{U)|VUW T, V, X, V c (TV{X)~VUW T, V, X, X c (TX{V)~XUW T, W, P, V c T{(W{P)~VUW T, W, P, W c T{W~W|PUW T, W, P, X c T{(W|P)~XUW T, W, Q, U c T~(W{U)|QUW T, W, Q, V c (T{VQ)~WUW T, W, R, S c (T{R)~W{SUW T, W, R, T c (T{W)~T{RUW T, W, R, X c T~(R{X){WUW T, W, S, R c T~S~R{WUW T, W, S, S c (T{W{S)~SUW T, W, S, T c (T~T|W)~SUW T, W, S, U c T~S{W~UUW T, W, S, V c T~W{S~VUW T, W, S, W c T~(W{S){WUW T, W, T, R c (T{W)~T{RUW T, W, T, S c (T~T|W)~SUW T, W, T, U c (T{T)~U{WUW T, W, T, V c T~(T{V){WUW T, W, U, Q c T~(W{U)|QUW T, W, U, S c T~S{W~UUW T, W, U, T c (T{T)~U{WUW T, W, U, U c T~(U{U){WUW T, W, V, P c T{(W{P)~VUW T, W, V, Q c (T{VQ)~WUW T, W, V, S c T~W{V~SUW T, W, V, T c (T{V)~T{WUW T, W, V, V c T{W~V{VUW T, W, W, P c T{W~W|PUW T, W, W, S c T~(W{S){WUW T, W, W, X c W~W|T{XUW T, W, X, P c T{(W|P)~XUW T, W, X, R c T~(X{R){WUW T, W, X, W c W~W|T{XUW T, W, X, X c T{W~X|XUW T, X, O, V c T{(X{O)~VUW T, X, P, U c T{X~(P{U)UW T, X, P, V c T{X~P~VUW T, X, P, W c T{X~(W|P)UW T, X, Q, T c T{X~(Q{T)UW T, X, Q, X c T{(X|Q)~XUW T, X, R, S c (T{X{R)~SUW T, X, R, W c T~(X{R){WUW T, X, S, R c T{X~(S{R)UW T, X, T, Q c T{X~(T{Q)UW T, X, U, P c T{X~(U{P)UW T, X, U, V c T~(X{U)|VUW T, X, U, X c T{X{U~XUW T, X, V, O c T{X~V{OUW T, X, V, P c T{X~V~PUW T, X, V, U c T~(X{U)|VUW T, X, V, V c (TV{X)~VUW T, X, V, X c (TX{V)~XUW T, X, W, P c T{X~(W|P)UW T, X, W, R c T~(X{R){WUW T, X, W, W c X|T{W~WUW T, X, W, X c T{X~W|XUW T, X, X, Q c T{X~(X|Q)UW T, X, X, U c T{X{X~UUW T, X, X, V c (TX{V)~XUW T, X, X, W c T{X~W|XUW U, P, R, S c (U~R|P)~SUW U, P, S, R c (U~R|P)~SUW U, P, T, X c (U{P)~X{TUW U, P, V, X c U|P{V~XUW U, P, W, X c U~(P{X){WUW U, P, X, T c (U{P)~X{TUW U, P, X, V c U|P{X~VUW U, P, X, W c U~(P{X){WUW U, Q, Q, U c (U~U|Q)~QUW U, Q, Q, X c U~(Q{X){QUW U, Q, R, W c U~(R{W){QUW U, Q, S, T c (U~Q{T)~SUW U, Q, S, U c U~Q~U|SUW U, Q, S, V c (U{S)~V|QUW U, Q, S, W c (U{Q)~W{SUW U, Q, S, X c (U{Q{X)~SUW U, Q, T, S c (U~Q{T)~SUW U, Q, T, U c (U{T)~U{QUW U, Q, T, W c U~Q~T{WUW U, Q, U, Q c (U~U|Q)~QUW U, Q, U, S c U~Q~U|SUW U, Q, U, T c U~(U{T){QUW U, Q, V, S c (U{V~S)~QUW U, Q, V, W c U~Q{V~WUW U, Q, V, X c U~X{Q~VUW U, Q, W, R c U~(W{R){QUW U, Q, W, S c (U{Q)~W{SUW U, Q, W, T c U~Q~T{WUW U, Q, W, V c U~Q{W~VUW U, Q, W, W c U|Q{W~WUW U, Q, W, X c (U|Q)~(W{X)UW U, Q, X, Q c U~(Q{X){QUW U, Q, X, S c (U{Q{X)~SUW U, Q, X, V c U~X{Q~VUW U, Q, X, W c (U|Q)~(X{W)UW U, R, P, S c (U~R|P)~SUW U, R, Q, W c U~(R{W){QUW U, R, S, P c (U~R|P)~SUW U, R, S, S c U~R~S|SUW U, R, S, W c (U{R{W)~SUW U, R, S, X c U~(R{X)|SUW U, R, T, V c (U{R)~V{TUW U, R, V, T c (U{R)~V{TUW U, R, V, W c U~(R{V){WUW U, R, V, X c U~(VR{X)UW U, R, W, Q c U~(R{W){QUW U, R, W, S c (U{R{W)~SUW U, R, W, V c U~(R{V){WUW U, R, W, W c (RU{W)~WUW U, R, W, X c W~(X|RU)UW U, R, X, S c U~(R{X)|SUW U, R, X, V c U~(X{VR)UW U, R, X, W c (X|RU)~WUW U, S, P, R c (U~R|P)~SUW U, S, Q, T c (U~Q{T)~SUW U, S, Q, U c U~Q~U|SUW U, S, Q, V c (U{S)~V|QUW U, S, Q, W c (U{Q)~W{SUW U, S, Q, X c (U{Q{X)~SUW U, S, R, P c (U~R|P)~SUW U, S, R, S c U~S~R|SUW U, S, R, W c (U{R{W)~SUW U, S, R, X c U~(R{X)|SUW U, S, S, R c U~S~R|SUW U, S, S, V c (U{S{V)~SUW U, S, S, W c U~(S{W)|SUW U, S, T, Q c (U~T{S)~QUW U, S, T, U c (U{T{U)~SUW U, S, T, V c U~(T{V)|SUW U, S, T, W c U~W{S~TUW U, S, U, Q c U~U~Q|SUW U, S, U, T c (U{U{T)~SUW U, S, U, U c (U{U)~U|SUW U, S, U, W c (U{S)~U{WUW U, S, V, Q c (U{S)~V|QUW U, S, V, S c (U{S{V)~SUW U, S, V, T c U~(V{T)|SUW U, S, V, W c (US{V)~WUW U, S, W, Q c (U{Q)~W{SUW U, S, W, R c (U{W{R)~SUW U, S, W, S c U~(S{W)|SUW U, S, W, T c U~W{S~TUW U, S, W, U c (U{S)~U{WUW U, S, W, V c (US{V)~WUW U, S, W, X c (U{X)~S{WUW U, S, X, Q c (U{X{Q)~SUW U, S, X, R c U~(X{R)|SUW U, S, X, W c (U{X)~S{WUW U, T, P, X c (U{P)~X{TUW U, T, Q, S c (U~T{S)~QUW U, T, Q, U c (U{T)~U{QUW U, T, Q, W c (U{TQ)~WUW U, T, R, V c (U{R)~V{TUW U, T, S, Q c (U~T{S)~QUW U, T, S, U c (U{T{U)~SUW U, T, S, V c U~(T{V)|SUW U, T, S, W c U~W{T~SUW U, T, T, W c U~(T{T){WUW U, T, U, Q c (U{T)~U{QUW U, T, U, S c (U{T{U)~SUW U, T, U, W c (U{U)~T{WUW U, T, V, R c (U{V)~T{RUW U, T, V, S c U~(T{V)|SUW U, T, V, X c (U{T)~V|XUW U, T, W, Q c (U{TQ)~WUW U, T, W, S c U~W{T~SUW U, T, W, T c U~(T{T){WUW U, T, W, U c (U{U)~T{WUW U, T, X, P c (U{P)~X{TUW U, T, X, V c (U{T)~V|XUW U, T, X, X c U~X{T{XUW U, U, Q, Q c (U~U|Q)~QUW U, U, Q, S c U~U~Q|SUW U, U, Q, T c U~(U{T){QUW U, U, S, Q c U~U~Q|SUW U, U, S, T c (U{U{T)~SUW U, U, S, U c (U{U)~U|SUW U, U, S, W c U~(U{S){WUW U, U, T, Q c U~(U{T){QUW U, U, T, S c (U{U{T)~SUW U, U, T, W c (U{U)~T{WUW U, U, U, S c (U{U)~U|SUW U, U, V, W c U{U{V~WUW U, U, W, S c U~U{W~SUW U, U, W, T c (U{U)~T{WUW U, U, W, V c U{U{W~VUW U, U, W, X c U{U~X{WUW U, U, X, W c U{U~X{WUW U, V, P, X c U{V~X|PUW U, V, Q, S c (U{V~S)~QUW U, V, Q, W c (U~V|W)~QUW U, V, Q, X c U~X{V~QUW U, V, R, T c (U{V)~T{RUW U, V, R, W c U~(V{R){WUW U, V, R, X c U~(VR{X)UW U, V, S, Q c (U{V~S)~QUW U, V, S, S c (U{V{S)~SUW U, V, S, T c U~(V{T)|SUW U, V, S, W c (US{V)~WUW U, V, T, R c (U{V)~T{RUW U, V, T, S c U~(V{T)|SUW U, V, T, X c (U{T)~V|XUW U, V, U, W c U{V~W{UUW U, V, V, X c U~X{V{VUW U, V, W, Q c (U~V|W)~QUW U, V, W, R c U~(V{R){WUW U, V, W, S c (US{V)~WUW U, V, W, U c U{V~W{UUW U, V, W, X c (V{XU)~WUW U, V, X, P c U{V~X|PUW U, V, X, Q c U~X{V~QUW U, V, X, R c U~(VR{X)UW U, V, X, T c (U{X)~T|VUW U, V, X, V c U~X{V{VUW U, V, X, W c (V{XU)~WUW U, V, X, X c (X~X)|(U{V)UW U, W, P, X c U~(P{X){WUW U, W, Q, R c U~(W{R){QUW U, W, Q, S c (U{Q)~W{SUW U, W, Q, T c (U{W)~T|QUW U, W, Q, V c U~Q{W~VUW U, W, Q, W c U~(W{Q){WUW U, W, Q, X c (U|Q)~(W{X)UW U, W, R, Q c U~(W{R){QUW U, W, R, S c (U{W{R)~SUW U, W, R, V c U~(R{V){WUW U, W, R, W c (W{RU)~WUW U, W, R, X c W~(X|RU)UW U, W, S, Q c (U{Q)~W{SUW U, W, S, R c (U{W{R)~SUW U, W, S, S c U~(W{S)|SUW U, W, S, T c U~W{S~TUW U, W, S, U c (U{S)~U{WUW U, W, S, V c (US{V)~WUW U, W, S, X c (U{X)~S{WUW U, W, T, Q c (U{W)~T|QUW U, W, T, S c U~W{T~SUW U, W, T, T c U~(T{T){WUW U, W, T, U c (U{U)~T{WUW U, W, U, S c U~U{W~SUW U, W, U, T c (U{U)~T{WUW U, W, U, V c U{W~V{UUW U, W, U, X c U{W{U~XUW U, W, V, Q c (U~V|W)~QUW U, W, V, R c U~(V{R){WUW U, W, V, S c (US{V)~WUW U, W, V, U c U{W~V{UUW U, W, V, X c W~(V{XU)UW U, W, W, Q c U{W~W|QUW U, W, W, R c W~(W{RU)UW U, W, X, P c U~(X{P){WUW U, W, X, Q c (U|Q)~(W{X)UW U, W, X, R c W~(X|RU)UW U, W, X, S c (U{X)~S{WUW U, W, X, U c U{W{X~UUW U, W, X, V c W~(XU{V)UW U, X, P, T c (U{P)~X{TUW U, X, P, V c U{X~V|PUW U, X, P, W c U~(X{P){WUW U, X, Q, Q c U~(X{Q){QUW U, X, Q, S c (U{X{Q)~SUW U, X, Q, V c U~X{Q~VUW U, X, Q, W c (U|Q)~(X{W)UW U, X, R, S c U~(X{R)|SUW U, X, R, V c U~(X{VR)UW U, X, R, W c (X|RU)~WUW U, X, S, Q c (U{X{Q)~SUW U, X, S, R c U~(X{R)|SUW U, X, S, W c (U{X)~S{WUW U, X, T, P c (U{P)~X{TUW U, X, T, V c (U{X)~T|VUW U, X, T, X c U~X{T{XUW U, X, U, W c U{X~U{WUW U, X, V, P c U{X~V|PUW U, X, V, Q c U~X{V~QUW U, X, V, R c U~(X{VR)UW U, X, V, T c (U{X)~T|VUW U, X, V, V c U~X{V{VUW U, X, V, W c (XU{V)~WUW U, X, V, X c (X~X)|(U{V)UW U, X, W, P c U~(X{P){WUW U, X, W, Q c (U|Q)~(X{W)UW U, X, W, R c (X|RU)~WUW U, X, W, S c (U{X)~S{WUW U, X, W, U c U~X{W{UUW U, X, W, V c (XU{V)~WUW U, X, X, T c U~X{X{TUW U, X, X, V c (X~X)|(U{V)UW V, O, T, X c (V{O)~X{TUW V, O, X, T c (V{O)~X{TUW V, P, Q, T c (V~T|P)~QUW V, P, Q, X c V~(P{X)|QUW V, P, S, W c (V{P)~W{SUW V, P, S, X c (V{P{X)~SUW V, P, T, Q c (V~T|P)~QUW V, P, T, W c V~(P{W){TUW V, P, T, X c V~P~X{TUW V, P, U, X c V~X|P{UUW V, P, W, S c (V{P)~W{SUW V, P, W, T c V~(P{W){TUW V, P, X, Q c V~(P{X)|QUW V, P, X, S c (V{P{X)~SUW V, P, X, T c V~P~X{TUW V, P, X, U c V~X|P{UUW V, Q, P, T c (V~T|P)~QUW V, Q, P, X c V~(P{X)|QUW V, Q, Q, T c V~Q~T|QUW V, Q, Q, W c V~(Q{W)|QUW V, Q, R, S c (V~Q{R)~SUW V, Q, R, V c (V{R)~V|QUW V, Q, R, W c (V{RQ)~WUW V, Q, R, X c (V{R~X)~QUW V, Q, S, R c (V~Q{R)~SUW V, Q, S, T c (V{Q~T)~SUW V, Q, S, U c (V{S)~U{QUW V, Q, S, W c (V{Q{W)~SUW V, Q, T, P c (V~T|P)~QUW V, Q, T, Q c V~Q~T|QUW V, Q, T, S c (V{Q~T)~SUW V, Q, T, T c V~(T{T)|QUW V, Q, T, V c (V{Q)~V{TUW V, Q, T, W c (VQ{T)~WUW V, Q, U, S c V~(U{S)|QUW V, Q, U, W c (V~U|W)~QUW V, Q, U, X c V~Q{U~XUW V, Q, V, R c V~(V{R)|QUW V, Q, V, T c (V{Q)~V{TUW V, Q, V, X c V|Q{V~XUW V, Q, W, Q c V~(Q{W)|QUW V, Q, W, R c (V{RQ)~WUW V, Q, W, S c (V{Q{W)~SUW V, Q, W, T c (VQ{T)~WUW V, Q, W, U c V~W{Q~UUW V, Q, X, P c V~(X{P)|QUW V, Q, X, R c V~X{Q{RUW V, Q, X, U c V~Q{X~UUW V, Q, X, V c V|Q{X~VUW V, Q, X, X c V~(Q{X)|XUW V, R, Q, S c (V~Q{R)~SUW V, R, Q, V c (V{R)~V|QUW V, R, Q, W c (V{RQ)~WUW V, R, Q, X c (V{R~X)~QUW V, R, R, T c V~R~R{TUW V, R, S, Q c (V~Q{R)~SUW V, R, S, S c (V~R|S)~SUW V, R, S, V c (V{R{V)~SUW V, R, S, W c V~W{R~SUW V, R, T, R c V~R~R{TUW V, R, T, T c R~T~T|VUW V, R, T, U c V~(R{U){TUW V, R, U, T c V~(R{U){TUW V, R, U, W c (V{R)~U{WUW V, R, U, X c (VR{X)~UUW V, R, V, Q c (V{R)~V|QUW V, R, V, S c (V{R{V)~SUW V, R, W, Q c (V{RQ)~WUW V, R, W, S c V~W{R~SUW V, R, W, U c (V{R)~U{WUW V, R, W, W c V|R{W~WUW V, R, W, X c (V|R)~(W{X)UW V, R, X, Q c (V{R~X)~QUW V, R, X, U c (VR{X)~UUW V, R, X, W c (V|R)~(X{W)UW V, S, P, W c (V{P)~W{SUW V, S, P, X c (V{P{X)~SUW V, S, Q, R c (V~Q{R)~SUW V, S, Q, T c (V{Q~T)~SUW V, S, Q, U c (V{S)~U{QUW V, S, Q, W c (V{Q{W)~SUW V, S, R, Q c (V~Q{R)~SUW V, S, R, S c (V~R|S)~SUW V, S, R, V c (V{R{V)~SUW V, S, R, W c V~W{S~RUW V, S, S, R c (V~R|S)~SUW V, S, S, U c (V{S{U)~SUW V, S, S, X c (V{X)~S{SUW V, S, T, Q c (V{T~Q)~SUW V, S, T, T c V~(S{T){TUW V, S, T, U c (V{T)~U|SUW V, S, T, W c V~S{T~WUW V, S, U, Q c (V{S)~U{QUW V, S, U, S c (V{S{U)~SUW V, S, U, T c (V{T)~U|SUW V, S, U, W c (V{US)~WUW V, S, V, R c (V{V{R)~SUW V, S, V, X c (V{S)~V|XUW V, S, W, P c (V{P)~W{SUW V, S, W, Q c (V{W{Q)~SUW V, S, W, R c V~W{S~RUW V, S, W, T c V~S{W~TUW V, S, W, U c (V{US)~WUW V, S, W, W c (V{W)~S{WUW V, S, X, P c V~X{S{PUW V, S, X, S c (V{X)~S{SUW V, S, X, V c (V{S)~V|XUW V, S, X, X c V~X|S{XUW V, T, O, X c (V{O)~X{TUW V, T, P, Q c (V~T|P)~QUW V, T, P, W c V~(P{W){TUW V, T, P, X c V~P~X{TUW V, T, Q, P c (V~T|P)~QUW V, T, Q, Q c V~T~Q|QUW V, T, Q, S c (V{T~Q)~SUW V, T, Q, T c V~(T{T)|QUW V, T, Q, V c (V{Q)~V{TUW V, T, Q, W c (VQ{T)~WUW V, T, R, R c V~R~R{TUW V, T, R, T c T~R~T|VUW V, T, R, U c V~(R{U){TUW V, T, S, Q c (V{T~Q)~SUW V, T, S, T c V~(T{S){TUW V, T, S, U c (V{T)~U|SUW V, T, S, W c V~S{T~WUW V, T, T, Q c V~(T{T)|QUW V, T, T, R c T~T~R|VUW V, T, T, S c (V{T{T)~SUW V, T, T, W c (V{T)~T{WUW V, T, U, R c (V{U)~T{RUW V, T, U, S c (V{T)~U|SUW V, T, U, X c V~(T{U)|XUW V, T, V, Q c (V{V)~T|QUW V, T, V, W c V{T{V~WUW V, T, V, X c V~(TV{X)UW V, T, W, P c V~(W{P){TUW V, T, W, Q c (VQ{T)~WUW V, T, W, S c V~S{T~WUW V, T, W, T c (V{T)~T{WUW V, T, W, V c V{T{W~VUW V, T, X, O c V~X{T{OUW V, T, X, P c V~X{T~PUW V, T, X, U c V~(T{U)|XUW V, T, X, V c V~(TV{X)UW V, T, X, X c (V{TX)~XUW V, U, P, X c V~X{U|PUW V, U, Q, S c V~(U{S)|QUW V, U, Q, W c (V~U|W)~QUW V, U, Q, X c V~Q{U~XUW V, U, R, T c V~(U{R){TUW V, U, R, W c (V{R)~U{WUW V, U, R, X c (VR{X)~UUW V, U, S, Q c V~(U{S)|QUW V, U, S, S c (V{U{S)~SUW V, U, S, T c (V{T)~U|SUW V, U, S, W c (V{US)~WUW V, U, T, R c (V{U)~T{RUW V, U, T, S c (V{T)~U|SUW V, U, T, X c V~(U{T)|XUW V, U, U, W c V~W{U{UUW V, U, V, X c V{U~X{VUW V, U, W, Q c (V~U|W)~QUW V, U, W, R c (V{R)~U{WUW V, U, W, S c (V{US)~WUW V, U, W, U c V~W{U{UUW V, U, W, X c (V{XU)~WUW V, U, X, P c V~X{U|PUW V, U, X, Q c V~Q{U~XUW V, U, X, R c (VR{X)~UUW V, U, X, T c V~(U{T)|XUW V, U, X, V c V{U~X{VUW V, U, X, W c (V{XU)~WUW V, U, X, X c (X~X)|(V{U)UW V, V, Q, R c V~(V{R)|QUW V, V, Q, T c V~(V{Q){TUW V, V, Q, X c V{V~X|QUW V, V, R, Q c V~(V{R)|QUW V, V, R, S c (V{V{R)~SUW V, V, S, R c (V{V{R)~SUW V, V, S, X c V~(V{S)|XUW V, V, T, Q c (V{V)~T|QUW V, V, T, W c V{V~W{TUW V, V, T, X c V~(TV{X)UW V, V, U, X c V{V{U~XUW V, V, W, T c V{V~W{TUW V, V, X, Q c V{V~X|QUW V, V, X, S c V~(V{S)|XUW V, V, X, T c V~(X{TV)UW V, V, X, U c V{V{X~UUW V, W, P, S c (V{P)~W{SUW V, W, P, T c V~(W{P){TUW V, W, Q, Q c V~(W{Q)|QUW V, W, Q, R c (V{RQ)~WUW V, W, Q, S c (V{W{Q)~SUW V, W, Q, T c (VQ{T)~WUW V, W, Q, U c V~W{Q~UUW V, W, R, Q c (V{RQ)~WUW V, W, R, S c V~W{R~SUW V, W, R, U c (V{R)~U{WUW V, W, R, W c V{W~W|RUW V, W, R, X c V~W{R{XUW V, W, S, P c (V{P)~W{SUW V, W, S, Q c (V{W{Q)~SUW V, W, S, R c V~W{S~RUW V, W, S, T c V~S{W~TUW V, W, S, U c (V{US)~WUW V, W, S, W c (V{W)~S{WUW V, W, T, P c V~(W{P){TUW V, W, T, Q c (VQ{T)~WUW V, W, T, S c V~S{W~TUW V, W, T, T c (V{T)~T{WUW V, W, T, V c (V{W)~T|VUW V, W, U, Q c V~W{U~QUW V, W, U, R c (V{R)~U{WUW V, W, U, S c (V{US)~WUW V, W, U, U c V~W{U{UUW V, W, U, X c (V{XU)~WUW V, W, V, T c V{W~V{TUW V, W, W, R c V{W~W|RUW V, W, W, S c V~W{W{SUW V, W, X, R c V~W{X{RUW V, W, X, U c (V{XU)~WUW V, X, O, T c V~X{O{TUW V, X, P, Q c V~(X{P)|QUW V, X, P, S c (V{X{P)~SUW V, X, P, T c V~X{P~TUW V, X, P, U c V~X|P{UUW V, X, Q, P c V~(X{P)|QUW V, X, Q, R c V~X{Q{RUW V, X, Q, U c V~Q{X~UUW V, X, Q, V c V~X|Q{VUW V, X, Q, X c V~(X{Q)|XUW V, X, R, Q c (V{X~R)~QUW V, X, R, U c (VR{X)~UUW V, X, R, W c V~X|R{WUW V, X, S, P c V~X{S{PUW V, X, S, S c (V{X)~S{SUW V, X, S, V c (V{S)~V|XUW V, X, S, X c V~X|S{XUW V, X, T, O c V~X{T{OUW V, X, T, P c V~X{T~PUW V, X, T, U c V~(T{U)|XUW V, X, T, V c V~(X{TV)UW V, X, T, X c (V{TX)~XUW V, X, U, P c V~X{U|PUW V, X, U, Q c V~Q{X~UUW V, X, U, R c (VR{X)~UUW V, X, U, T c V~(U{T)|XUW V, X, U, V c V{X~U{VUW V, X, U, W c (V{XU)~WUW V, X, U, X c (X~X)|(V{U)UW V, X, V, Q c V{X~V|QUW V, X, V, S c V~(V{S)|XUW V, X, V, T c V~(X{TV)UW V, X, V, U c V{X~U{VUW V, X, W, R c V~X{W|RUW V, X, W, U c (V{XU)~WUW V, X, X, Q c V~(X{Q)|XUW V, X, X, S c V~X{X|SUW V, X, X, T c (V{TX)~XUW V, X, X, U c (X~X)|(V{U)UW W, O, S, W c (W{O)~W{SUW W, O, S, X c (W{O{X)~SUW W, O, W, S c (W{O)~W{SUW W, O, X, S c (W{O{X)~SUW W, P, Q, S c (W~Q{P)~SUW W, P, Q, W c (W{PQ)~WUW W, P, Q, X c W~(X|PQ)UW W, P, R, W c W~W{P{RUW W, P, R, X c (W{X)~(P{R)UW W, P, S, Q c (W~Q{P)~SUW W, P, S, V c W~(P{V){SUW W, P, S, W c (W{P{W)~SUW W, P, S, X c (W{P~X)~SUW W, P, T, V c (W{P)~V{TUW W, P, T, W c W~W|P{TUW W, P, T, X c (W|P)~X{TUW W, P, U, X c W{(P{X)~UUW W, P, V, S c W~(P{V){SUW W, P, V, T c (W{P)~V{TUW W, P, W, Q c (W{PQ)~WUW W, P, W, R c W~W{P{RUW W, P, W, S c (W{P{W)~SUW W, P, W, T c W~W|P{TUW W, P, X, Q c W~(X|PQ)UW W, P, X, R c (W{X)~(P{R)UW W, P, X, S c (W{P~X)~SUW W, P, X, T c (W|P)~X{TUW W, P, X, U c W{(P{X)~UUW W, Q, P, S c (W~Q{P)~SUW W, Q, P, W c (W{PQ)~WUW W, Q, P, X c W~(X|PQ)UW W, Q, Q, S c (W~S{Q)~QUW W, Q, Q, V c (W{Q)~V|QUW W, Q, Q, W c W~W{Q{QUW W, Q, Q, X c (W{X)~(Q{Q)UW W, Q, R, U c (W{R)~U{QUW W, Q, R, V c W~(RQ{V)UW W, Q, S, P c (W~Q{P)~SUW W, Q, S, Q c (W~S{Q)~QUW W, Q, S, S c W~Q~S{SUW W, Q, S, U c W~(Q{U){SUW W, Q, S, V c (W{Q{V)~SUW W, Q, S, W c (W{QS)~WUW W, Q, S, X c W~(S{XQ)UW W, Q, T, U c W{Q~T~UUW W, Q, T, V c W~(T{VQ)UW W, Q, U, R c (W{R)~U{QUW W, Q, U, S c W~(Q{U){SUW W, Q, U, T c W{Q~U~TUW W, Q, U, V c W~V{Q~UUW W, Q, U, W c (W{Q)~U{WUW W, Q, U, X c W~X{Q|UUW W, Q, V, Q c (W{Q)~V|QUW W, Q, V, R c W~(V{RQ)UW W, Q, V, S c (W{Q{V)~SUW W, Q, V, T c W~(VQ{T)UW W, Q, V, U c W~V{Q~UUW W, Q, W, P c W~(W{PQ)UW W, Q, W, Q c W~W{Q{QUW W, Q, W, S c (W{QS)~WUW W, Q, W, U c W{(Q{W)~UUW W, Q, W, W c WQ{W~WUW W, Q, W, X c (WQ)~(W{X)UW W, Q, X, P c W~(X|PQ)UW W, Q, X, Q c (W{X)~(Q{Q)UW W, Q, X, S c W~(X|QS)UW W, Q, X, U c W~X{Q|UUW W, Q, X, W c (WQ)~(X{W)UW W, R, P, W c W~W{R{PUW W, R, P, X c (W{X)~(R{P)UW W, R, Q, U c (W{R)~U{QUW W, R, Q, V c W~(RQ{V)UW W, R, R, S c (W{R~R)~SUW W, R, S, R c (W{R~R)~SUW W, R, S, T c W{R~S~TUW W, R, S, U c (W{R{U)~SUW W, R, S, V c (W~R|V)~SUW W, R, T, S c W{R~T~SUW W, R, T, T c (W{T)~T{RUW W, R, T, X c W{(R{X)~TUW W, R, U, Q c (W{R)~U{QUW W, R, U, S c (W{R{U)~SUW W, R, U, V c W{(R{V)~UUW W, R, U, W c (W{RU)~WUW W, R, U, X c W~(X|RU)UW W, R, V, Q c W~(RQ{V)UW W, R, V, S c (W~R|V)~SUW W, R, V, U c W{(R{V)~UUW W, R, V, W c W~W|R{VUW W, R, V, X c (W{R)~V|XUW W, R, W, P c W~W{R{PUW W, R, W, U c (W{RU)~WUW W, R, W, V c W~W|R{VUW W, R, X, P c (W{X)~(R{P)UW W, R, X, T c W{(R{X)~TUW W, R, X, U c W~(X|RU)UW W, R, X, V c W|R{X~VUW W, S, O, W c (W{O)~W{SUW W, S, O, X c (W{O{X)~SUW W, S, P, Q c (W~Q{P)~SUW W, S, P, V c W~(P{V){SUW W, S, P, W c (W{P{W)~SUW W, S, P, X c (W{P~X)~SUW W, S, Q, P c (W~Q{P)~SUW W, S, Q, Q c (W~S{Q)~QUW W, S, Q, S c W~S~Q{SUW W, S, Q, U c W~(Q{U){SUW W, S, Q, V c (W{Q{V)~SUW W, S, Q, W c (W{QS)~WUW W, S, Q, X c W~(S{XQ)UW W, S, R, R c (W{R~R)~SUW W, S, R, T c W{S~R~TUW W, S, R, U c (W{R{U)~SUW W, S, R, V c (W~R|V)~SUW W, S, S, Q c W~S~Q{SUW W, S, S, S c W~(S{S){SUW W, S, S, T c (W{S{T)~SUW W, S, S, U c (W{S)~U|SUW W, S, S, W c (W{W)~S{SUW W, S, S, X c W~S{S~XUW W, S, T, R c W{S~T~RUW W, S, T, S c (W{S{T)~SUW W, S, T, T c S~(T~T|W)UW W, S, T, U c W~U{S~TUW W, S, T, V c W~T{S~VUW W, S, T, W c (W{S)~T{WUW W, S, U, Q c W~(U{Q){SUW W, S, U, R c (W{U{R)~SUW W, S, U, S c (W{S)~U|SUW W, S, U, T c W~U{S~TUW W, S, U, U c W{(S{U)~UUW W, S, U, V c W~(US{V)UW W, S, U, X c W{S~(U{X)UW W, S, V, P c W~(V{P){SUW W, S, V, Q c (W{V{Q)~SUW W, S, V, R c W~V{S~RUW W, S, V, T c W~T{S~VUW W, S, V, U c W~(V{US)UW W, S, V, W c W{S{V~WUW W, S, W, O c W~W{S{OUW W, S, W, P c W~W{S~PUW W, S, W, Q c W~(W{QS)UW W, S, W, S c (W{W)~S{SUW W, S, W, T c W{(S{W)~TUW W, S, W, V c W{S{W~VUW W, S, W, W c (W{SW)~WUW W, S, W, X c (W|S)~(W{X)UW W, S, X, O c (W{X)~(S{O)UW W, S, X, P c (W{X)~(S~P)UW W, S, X, Q c W~(S{XQ)UW W, S, X, S c W~S{X~SUW W, S, X, U c W{S~(X{U)UW W, S, X, W c (W|S)~(X{W)UW W, S, X, X c (W|SX)~XUW W, T, P, V c (W{P)~V{TUW W, T, P, W c W~W{T|PUW W, T, P, X c (W|P)~X{TUW W, T, Q, U c W{T~Q~UUW W, T, Q, V c W~(T{VQ)UW W, T, R, S c W{T~R~SUW W, T, R, T c (W{T)~T{RUW W, T, R, X c W{T~(R{X)UW W, T, S, R c W{T~S~RUW W, T, S, S c (W{T{S)~SUW W, T, S, T c (T~T|W)~SUW W, T, S, U c W~U{T~SUW W, T, S, V c W~T{S~VUW W, T, S, W c W{T~(S{W)UW W, T, T, R c (W{T)~T{RUW W, T, T, S c (T~T|W)~SUW W, T, T, U c W{(T{T)~UUW W, T, T, V c W{T~(T{V)UW W, T, U, Q c W{T~U~QUW W, T, U, S c W~U{T~SUW W, T, U, T c W{(T{T)~UUW W, T, U, U c W{T~(U{U)UW W, T, V, P c (W{P)~V{TUW W, T, V, Q c W~(T{VQ)UW W, T, V, S c W~T{V~SUW W, T, V, T c W{(T{V)~TUW W, T, V, V c (W{V)~T|VUW W, T, W, P c W~W{T|PUW W, T, W, S c W{T~(W{S)UW W, T, W, X c W~W|T{XUW W, T, X, P c (W{X)~(T|P)UW W, T, X, R c W{T~(X{R)UW W, T, X, W c W~W|T{XUW W, T, X, X c W~X{T|XUW W, U, P, X c W{U~(P{X)UW W, U, Q, R c (W{R)~U{QUW W, U, Q, S c W~(U{Q){SUW W, U, Q, T c W{U~Q~TUW W, U, Q, V c W~V{U~QUW W, U, Q, W c W{U~(Q{W)UW W, U, Q, X c (W{X)~(U|Q)UW W, U, R, Q c (W{R)~U{QUW W, U, R, S c (W{U{R)~SUW W, U, R, V c W{U~(R{V)UW W, U, R, W c (W{RU)~WUW W, U, R, X c W~(X|RU)UW W, U, S, Q c W~(U{Q){SUW W, U, S, R c (W{U{R)~SUW W, U, S, S c (W{S)~U|SUW W, U, S, T c W~U{S~TUW W, U, S, U c W{(U{S)~UUW W, U, S, V c W~(US{V)UW W, U, S, X c W{(U{X)~SUW W, U, T, Q c (W{U)~T|QUW W, U, T, S c W~U{T~SUW W, U, T, T c W{U~(T{T)UW W, U, T, U c W{(U{U)~TUW W, U, U, S c W{U~(U{S)UW W, U, U, T c W{(U{U)~TUW W, U, U, V c W~V{U{UUW W, U, U, X c W{U{U~XUW W, U, V, Q c W~V{U~QUW W, U, V, R c W{U~(V{R)UW W, U, V, S c W~(US{V)UW W, U, V, U c W~V{U{UUW W, U, V, X c W~(V{XU)UW W, U, W, Q c W{U~(W{Q)UW W, U, W, R c W~(W{RU)UW W, U, X, P c W{U~(X{P)UW W, U, X, Q c (W{X)~(U|Q)UW W, U, X, R c W~(X|RU)UW W, U, X, S c W{(U{X)~SUW W, U, X, U c W{U{X~UUW W, U, X, V c W~(XU{V)UW W, V, P, S c W~(V{P){SUW W, V, P, T c (W{P)~V{TUW W, V, Q, Q c (W{Q)~V|QUW W, V, Q, R c W~(V{RQ)UW W, V, Q, S c (W{V{Q)~SUW W, V, Q, T c W~(VQ{T)UW W, V, Q, U c W~V{Q~UUW W, V, R, Q c W~(V{RQ)UW W, V, R, S c W~V{R~SUW W, V, R, U c W{(V{R)~UUW W, V, R, W c W~W{V|RUW W, V, R, X c W~V{R{XUW W, V, S, P c W~(V{P){SUW W, V, S, Q c (W{V{Q)~SUW W, V, S, R c W~V{S~RUW W, V, S, T c W~T{V~SUW W, V, S, U c W~(V{US)UW W, V, S, W c (W{V)~S{WUW W, V, T, P c (W{P)~V{TUW W, V, T, Q c W~(VQ{T)UW W, V, T, S c W~T{V~SUW W, V, T, T c W{(V{T)~TUW W, V, T, V c (W{V)~T|VUW W, V, U, Q c W~V{U~QUW W, V, U, R c W{(V{R)~UUW W, V, U, S c W~(V{US)UW W, V, U, U c W~V{U{UUW W, V, U, X c W~(V{XU)UW W, V, V, T c W~V{V{TUW W, V, W, R c W~W{V|RUW W, V, W, S c W{(V{W)~SUW W, V, X, R c W{V~X|RUW W, V, X, U c W~(V{XU)UW W, W, O, S c W~W{O{SUW W, W, P, Q c W~(W{PQ)UW W, W, P, R c W~W{P{RUW W, W, P, S c (W{W{P)~SUW W, W, P, T c W~W|P{TUW W, W, Q, P c W~(W{PQ)UW W, W, Q, Q c W~W{Q{QUW W, W, Q, S c W~(W{QS)UW W, W, Q, U c W{(W{Q)~UUW W, W, Q, W c W~W{WQUW W, W, Q, X c W~(W{X)QUW W, W, R, P c W~W{R{PUW W, W, R, U c W~(W{RU)UW W, W, R, V c W~W|R{VUW W, W, S, O c W~W{S{OUW W, W, S, P c W~W{S~PUW W, W, S, Q c W~(W{QS)UW W, W, S, S c (W{W)~S{SUW W, W, S, T c W{(W{S)~TUW W, W, S, V c W{(W{V)~SUW W, W, S, W c W~(W{SW)UW W, W, S, X c (W|S)~(W{X)UW W, W, T, P c W~W{T|PUW W, W, T, S c W{(W{S)~TUW W, W, T, X c W~W|T{XUW W, W, U, Q c W~W{U|QUW W, W, U, R c W~(W{RU)UW W, W, V, R c W~W{V|RUW W, W, V, S c W{(W{V)~SUW W, W, W, Q c W~W{WQUW W, W, W, S c W{W~W|SUW W, W, X, Q c W~(W{X)QUW W, W, X, S c (W{X)~(W|S)UW W, W, X, T c W~W{X|TUW W, X, O, S c (W{X{O)~SUW W, X, P, Q c W~(X|PQ)UW W, X, P, R c (W{X)~(P{R)UW W, X, P, S c (W{X)~(P~S)UW W, X, P, T c W~X{P|TUW W, X, P, U c W{(X{P)~UUW W, X, Q, P c W~(X|PQ)UW W, X, Q, Q c (W{X)~(Q{Q)UW W, X, Q, S c W~(X|QS)UW W, X, Q, U c W~X{Q|UUW W, X, Q, W c (W{X)Q~WUW W, X, R, P c (W{X)~(R{P)UW W, X, R, T c W{(X{R)~TUW W, X, R, U c W~(X|RU)UW W, X, R, V c W~X{R|VUW W, X, S, O c (W{X)~(S{O)UW W, X, S, P c (W{X)~(S~P)UW W, X, S, Q c W~(X|QS)UW W, X, S, S c W~S{X~SUW W, X, S, U c W{(X{U)~SUW W, X, S, W c W~X{S|WUW W, X, S, X c (W|SX)~XUW W, X, T, P c (W{X)~(T|P)UW W, X, T, R c W{(X{R)~TUW W, X, T, W c W~W{X|TUW W, X, T, X c W~X{T|XUW W, X, U, P c W{(X{P)~UUW W, X, U, Q c (W{X)~(U|Q)UW W, X, U, R c W~(X|RU)UW W, X, U, S c W{(X{U)~SUW W, X, U, U c W{X~U{UUW W, X, U, V c W~(XU{V)UW W, X, V, R c W{X~V|RUW W, X, V, U c W~(XU{V)UW W, X, W, Q c (W{X)~(WQ)UW W, X, W, S c (W{X)~(W|S)UW W, X, W, T c W~W{X|TUW W, X, X, S c (W|SX)~XUW W, X, X, T c (W{X)~(X|T)UW X, O, S, W c (X{O{W)~SUW X, O, T, V c (X{O)~V{TUW X, O, V, T c (X{O)~V{TUW X, O, W, S c (X{O{W)~SUW X, P, Q, S c (X~Q|P)~SUW X, P, Q, V c (X{P)~V|QUW X, P, Q, W c (X|PQ)~WUW X, P, R, W c (X{W)~(P{R)UW X, P, S, Q c (X~Q|P)~SUW X, P, S, V c (X{P{V)~SUW X, P, S, W c (X{P~W)~SUW X, P, S, X c (X|P{X)~SUW X, P, T, U c X~(P{U){TUW X, P, T, V c X~P~V{TUW X, P, T, W c X~W{P|TUW X, P, U, T c X~(P{U){TUW X, P, U, V c X~V|P{UUW X, P, U, W c (X{P)~U{WUW X, P, V, Q c (X{P)~V|QUW X, P, V, S c (X{P{V)~SUW X, P, V, T c X~P~V{TUW X, P, V, U c X~V|P{UUW X, P, W, Q c (X|PQ)~WUW X, P, W, R c (X{W)~(P{R)UW X, P, W, S c (X{P~W)~SUW X, P, W, T c X~W{P|TUW X, P, W, U c (X{P)~U{WUW X, P, X, S c (X|P{X)~SUW X, Q, P, S c (X~Q|P)~SUW X, Q, P, V c (X{P)~V|QUW X, Q, P, W c (X|PQ)~WUW X, Q, Q, S c (X~S|Q)~QUW X, Q, Q, U c (X{Q)~U{QUW X, Q, Q, W c (X{W)~(Q{Q)UW X, Q, R, V c (X~R{V)~QUW X, Q, S, P c (X~Q|P)~SUW X, Q, S, Q c (X~S|Q)~QUW X, Q, S, S c (X{Q~S)~SUW X, Q, S, U c (X{Q{U)~SUW X, Q, S, W c (X|QS)~WUW X, Q, T, T c X~(Q{T){TUW X, Q, T, X c (X|Q)~X{TUW X, Q, U, Q c (X{Q)~U{QUW X, Q, U, S c (X{Q{U)~SUW X, Q, U, V c X~U{Q~VUW X, Q, U, W c X~W{Q|UUW X, Q, V, P c (X{P)~V|QUW X, Q, V, R c X~V{Q{RUW X, Q, V, U c X~U{Q~VUW X, Q, V, V c X~V|Q{VUW X, Q, V, X c (X{Q)~V|XUW X, Q, W, P c (X|PQ)~WUW X, Q, W, Q c (X{W)~(Q{Q)UW X, Q, W, S c (X|QS)~WUW X, Q, W, U c X~W{Q|UUW X, Q, W, W c (X{W)Q~WUW X, Q, X, T c (X|Q)~X{TUW X, Q, X, V c (X{Q)~V|XUW X, R, P, W c (X{W)~(R{P)UW X, R, Q, V c (X~R{V)~QUW X, R, S, T c X~(R{S){TUW X, R, S, U c (X{R)~U|SUW X, R, T, S c (X{R{T)~SUW X, R, T, W c (X{R)~T{WUW X, R, U, S c (X{R)~U|SUW X, R, U, V c (X{VR)~UUW X, R, U, W c (X|RU)~WUW X, R, V, Q c (X~R{V)~QUW X, R, V, U c (X{VR)~UUW X, R, V, W c X{R{V~WUW X, R, W, P c (X{W)~(R{P)UW X, R, W, T c (X{R)~T{WUW X, R, W, U c (X|RU)~WUW X, R, W, V c X{R{W~VUW X, S, O, W c (X{O{W)~SUW X, S, P, Q c (X~Q|P)~SUW X, S, P, V c (X{P{V)~SUW X, S, P, W c (X{P~W)~SUW X, S, P, X c (X|P{X)~SUW X, S, Q, P c (X~Q|P)~SUW X, S, Q, Q c (X~S|Q)~QUW X, S, Q, S c (X{S~Q)~SUW X, S, Q, U c (X{Q{U)~SUW X, S, Q, W c (X|QS)~WUW X, S, R, T c X~(S{R){TUW X, S, R, U c (X{R)~U|SUW X, S, S, Q c (X{S~Q)~SUW X, S, S, S c (X{S{S)~SUW X, S, S, V c (X{V)~S{SUW X, S, S, W c X~S{S~WUW X, S, S, X c (X{X)~S|SUW X, S, T, R c (X{S)~T{RUW X, S, U, Q c (X{U{Q)~SUW X, S, U, R c (X{R)~U|SUW X, S, U, W c (X{U)~S{WUW X, S, V, P c X~V{S{PUW X, S, V, S c (X{V)~S{SUW X, S, V, V c (S{V)~V|XUW X, S, V, X c X|S{V~XUW X, S, W, O c (X{W)~(S{O)UW X, S, W, P c (X{W)~(S~P)UW X, S, W, Q c (X|QS)~WUW X, S, W, S c X~S{W~SUW X, S, W, U c (X{U)~S{WUW X, S, W, W c (X|SW)~WUW X, S, W, X c X~(W|SX)UW X, S, X, P c (X{X|P)~SUW X, S, X, S c (X{X)~S|SUW X, S, X, V c X|S{X~VUW X, S, X, W c X~(W|SX)UW X, S, X, X c (X~X)|(S{X)UW X, T, O, V c (X{O)~V{TUW X, T, P, U c X~(P{U){TUW X, T, P, V c X~P~V{TUW X, T, P, W c (X{W)~(T|P)UW X, T, Q, T c X~(T{Q){TUW X, T, Q, X c (X|Q)~X{TUW X, T, R, S c (X{T{R)~SUW X, T, R, W c (X{R)~T{WUW X, T, S, R c (X{T{R)~SUW X, T, T, Q c (X{T)~T|QUW X, T, U, P c X~(U{P){TUW X, T, U, V c (X{U)~T|VUW X, T, U, X c X{T{U~XUW X, T, V, O c X~V{T{OUW X, T, V, P c X~V{T~PUW X, T, V, U c (X{U)~T|VUW X, T, V, V c (X{TV)~VUW X, T, V, X c X~(TX{V)UW X, T, W, P c (X{W)~(T|P)UW X, T, W, R c (X{R)~T{WUW X, T, W, W c X|T{W~WUW X, T, W, X c (X|T)~(W{X)UW X, T, X, Q c X~(X|Q){TUW X, T, X, U c X{T{X~UUW X, T, X, V c X~(TX{V)UW X, T, X, W c (X|T)~(X{W)UW X, U, P, T c X~(U{P){TUW X, U, P, V c X~V{U|PUW X, U, P, W c (X{P)~U{WUW X, U, Q, Q c (X{Q)~U{QUW X, U, Q, S c (X{U{Q)~SUW X, U, Q, V c X~U{Q~VUW X, U, Q, W c (X{W)~(U|Q)UW X, U, R, S c (X{R)~U|SUW X, U, R, V c (X{VR)~UUW X, U, R, W c (X|RU)~WUW X, U, S, Q c (X{U{Q)~SUW X, U, S, R c (X{R)~U|SUW X, U, S, W c (X{U)~S{WUW X, U, T, P c X~(U{P){TUW X, U, T, V c (X{U)~T|VUW X, U, T, X c X~U{T{XUW X, U, U, W c X~U{U{WUW X, U, V, P c X~V{U|PUW X, U, V, Q c X~U{V~QUW X, U, V, R c (X{VR)~UUW X, U, V, T c (X{U)~T|VUW X, U, V, V c X~U{V{VUW X, U, V, W c (XU{V)~WUW X, U, V, X c (X~X)|(U{V)UW X, U, W, P c (X{P)~U{WUW X, U, W, Q c (X{W)~(U|Q)UW X, U, W, R c (X|RU)~WUW X, U, W, S c (X{U)~S{WUW X, U, W, U c X~U{W{UUW X, U, W, V c (XU{V)~WUW X, U, X, T c X{U~X{TUW X, U, X, V c (X~X)|(U{V)UW X, V, O, T c X~V{O{TUW X, V, P, Q c (X{P)~V|QUW X, V, P, S c (X{V{P)~SUW X, V, P, T c X~V{P~TUW X, V, P, U c X~V|P{UUW X, V, Q, P c (X{P)~V|QUW X, V, Q, R c X~V{Q{RUW X, V, Q, U c X~U{V~QUW X, V, Q, V c X~V|Q{VUW X, V, Q, X c (X{Q)~V|XUW X, V, R, Q c X~V{R{QUW X, V, R, U c (X{VR)~UUW X, V, R, W c X~V|R{WUW X, V, S, P c X~V{S{PUW X, V, S, S c (X{V)~S{SUW X, V, S, V c (V{S)~V|XUW X, V, S, X c X~V|S{XUW X, V, T, O c X~V{T{OUW X, V, T, P c X~V{T~PUW X, V, T, U c (X{U)~T|VUW X, V, T, V c (X{TV)~VUW X, V, T, X c X~(V{TX)UW X, V, U, P c X~V{U|PUW X, V, U, Q c X~U{V~QUW X, V, U, R c (X{VR)~UUW X, V, U, T c (X{U)~T|VUW X, V, U, V c X~U{V{VUW X, V, U, W c (XU{V)~WUW X, V, U, X c (X~X)|(V{U)UW X, V, V, Q c X~V{V|QUW X, V, V, S c V~(V{S)|XUW X, V, V, T c (X{TV)~VUW X, V, V, U c X~U{V{VUW X, V, W, R c X{V~W{RUW X, V, W, U c (XU{V)~WUW X, V, X, Q c (X{Q)~V|XUW X, V, X, S c X{V~X|SUW X, V, X, T c X~(V{TX)UW X, V, X, U c (X~X)|(V{U)UW X, W, O, S c (X{W{O)~SUW X, W, P, Q c (X|PQ)~WUW X, W, P, R c (X{W)~(P{R)UW X, W, P, S c (X{W)~(P~S)UW X, W, P, T c X~W{P|TUW X, W, P, U c (X{P)~U{WUW X, W, Q, P c (X|PQ)~WUW X, W, Q, Q c (X{W)~(Q{Q)UW X, W, Q, S c (X|QS)~WUW X, W, Q, U c X~W{Q|UUW X, W, Q, W c (X{W)Q~WUW X, W, R, P c (X{W)~(R{P)UW X, W, R, T c (X{R)~T{WUW X, W, R, U c (X|RU)~WUW X, W, R, V c X~W{R|VUW X, W, S, O c (X{W)~(S{O)UW X, W, S, P c (X{W)~(S~P)UW X, W, S, Q c (X|QS)~WUW X, W, S, S c X~S{W~SUW X, W, S, U c (X{U)~S{WUW X, W, S, W c X~W{S|WUW X, W, S, X c X~(W|SX)UW X, W, T, P c (X{W)~(T|P)UW X, W, T, R c (X{R)~T{WUW X, W, T, W c X{W~W|TUW X, W, T, X c X~W{T|XUW X, W, U, P c (X{P)~U{WUW X, W, U, Q c (X{W)~(U|Q)UW X, W, U, R c (X|RU)~WUW X, W, U, S c (X{U)~S{WUW X, W, U, U c X~U{W{UUW X, W, U, V c (XU{V)~WUW X, W, V, R c X{W~V{RUW X, W, V, U c (XU{V)~WUW X, W, W, Q c (X{W)~(WQ)UW X, W, W, S c (X{W)~(W|S)UW X, W, W, T c X{W~W|TUW X, W, X, S c X~(W|SX)UW X, W, X, T c (X{W)~(X|T)UW X, X, P, S c (X{X|P)~SUW X, X, Q, T c X~(X|Q){TUW X, X, Q, V c (X{Q)~V|XUW X, X, S, P c (X{X|P)~SUW X, X, S, S c (X{X)~S|SUW X, X, S, V c X{X~V|SUW X, X, S, W c X~(W|SX)UW X, X, S, X c (X~X)|(S{X)UW X, X, T, Q c X~(X|Q){TUW X, X, T, U c X{X~U{TUW X, X, T, V c X~(TX{V)UW X, X, T, W c (X~X)|(T{W)UW X, X, U, T c X{X~U{TUW X, X, U, V c (X~X)|(U{V)UW X, X, V, Q c (X{Q)~V|XUW X, X, V, S c X{X~V|SUW X, X, V, T c X~(V{TX)UW X, X, V, U c (X~X)|(V{U)UW X, X, W, S c X~(W|SX)UW X, X, W, T c (X~X)|(W{T)UW X, X, X, S c (X~X)|(X{S)UW