O, P, T, W c O{P{T~WSP O, P, U, V c O{U~V|PSP O, P, V, U c O{V~U|PSP O, P, W, T c O{P{W~TSP O, S, T, X c O{S~X{TSP O, S, W, X c O{S~W{XSP O, S, X, T c O{S~X{TSP O, S, X, W c O{S~W{XSP O, T, P, W c O{T~W{PSP O, T, S, X c O{T{S~XSP O, T, U, U c O{T{U~USP O, T, U, V c O{T~V{USP O, T, V, U c O{T~V{USP O, T, W, P c O{T~W{PSP O, T, X, S c O{T{X~SSP O, U, P, V c O{U~V|PSP O, U, T, U c O{U~U{TSP O, U, T, V c O{U{T~VSP O, U, U, T c O{U~U{TSP O, U, V, P c O{U~V|PSP O, U, V, T c O{U{V~TSP O, U, V, W c O{U~W|VSP O, U, W, V c O{U~W|VSP O, V, P, U c O{V~U|PSP O, V, T, U c O{V~T{USP O, V, U, P c O{V~U|PSP O, V, U, T c O{V~T{USP O, V, U, W c O{U~W|VSP O, V, V, W c O{V~V|WSP O, V, W, U c O{W~U|VSP O, V, W, V c O{V~V|WSP O, W, P, T c O{W~T{PSP O, W, S, X c O{W~S{XSP O, W, T, P c O{W~T{PSP O, W, U, V c O{W~U|VSP O, W, V, U c O{W~U|VSP O, W, V, V c O{V~V|WSP O, W, X, S c O{W~S{XSP O, X, S, T c O{X~S{TSP O, X, S, W c O{X{S~WSP O, X, T, S c O{X~T|SSP O, X, W, S c O{X{W~SSP P, O, T, W c P{O{T~WSP P, O, U, V c O{U~V|PSP P, O, V, U c O{V~U|PSP P, O, W, T c P{O{W~TSP P, P, S, W c P{(P{S)~WSP P, P, S, X c P{(P{X)~SSP P, P, T, V c P{(P{V)~TSP P, P, T, W c P{P~T~WSP P, P, T, X c P{T~(X|P)SP P, P, U, U c (P{U)~U|PSP P, P, U, V c P~U~V|PSP P, P, U, W c P{(U|P)~WSP P, P, V, T c P{(P{V)~TSP P, P, V, U c P~V~U|PSP P, P, V, V c (V|P)~V|PSP P, P, W, S c P{(P{S)~WSP P, P, W, T c P{P~W~TSP P, P, W, U c P{W~(U|P)SP P, P, X, S c P{(P{X)~SSP P, P, X, T c P{(X|P)~TSP P, Q, R, V c Q~R~V|PSP P, Q, R, W c P{(Q{R)~WSP P, Q, S, T c P{Q~S~TSP P, Q, S, V c (Q{S)~V|PSP P, Q, S, W c P{(Q{W)~SSP P, Q, T, S c P{Q~T~SSP P, Q, T, U c P{(Q{U)~TSP P, Q, T, W c Q|P{T~WSP P, Q, U, T c P{(Q{U)~TSP P, Q, U, V c P{U~V|QSP P, Q, U, X c U~(X|Q)|PSP P, Q, V, R c Q~V~R|PSP P, Q, V, S c (Q{S)~V|PSP P, Q, V, U c P{V~U|QSP P, Q, V, W c P{(V|Q)~WSP P, Q, W, R c P{(Q{R)~WSP P, Q, W, S c P{(Q{W)~SSP P, Q, W, T c Q|P{W~TSP P, Q, W, V c P{W~(V|Q)SP P, Q, X, U c (X|Q)~U|PSP P, Q, X, X c (P{X~X)QSP P, R, Q, V c R~Q~V|PSP P, R, Q, W c P{(R{Q)~WSP P, R, R, V c (R{R)~V|PSP P, R, S, U c (R{S)~U|PSP P, R, S, V c P{(R{V)~SSP P, R, T, T c P{(R{T)~TSP P, R, T, X c (P{R)~X{TSP P, R, U, S c (R{S)~U|PSP P, R, U, W c R~(U{W)|PSP P, R, V, Q c R~V~Q|PSP P, R, V, R c (R{R)~V|PSP P, R, V, S c P{(R{V)~SSP P, R, V, V c R~(V{V)|PSP P, R, V, X c V~(X|R)|PSP P, R, W, Q c P{(R{Q)~WSP P, R, W, U c R~(W{U)|PSP P, R, W, W c P{(W|R)~WSP P, R, W, X c (P{R)~W{XSP P, R, X, T c (P{R)~X{TSP P, R, X, V c (X|R)~V|PSP P, R, X, W c (P{R)~W{XSP P, S, P, W c P{(S{P)~WSP P, S, P, X c P{S~(P{X)SP P, S, Q, T c P{S~Q~TSP P, S, Q, V c (S{Q)~V|PSP P, S, Q, W c P{S~(Q{W)SP P, S, R, U c (S{R)~U|PSP P, S, R, V c P{S~(R{V)SP P, S, S, T c P{(S{S)~TSP P, S, S, U c P{S~(S{U)SP P, S, S, X c P{S{S~XSP P, S, T, Q c P{S~T~QSP P, S, T, S c P{(S{S)~TSP P, S, T, T c P{S~(T{T)SP P, S, T, W c (P{W)~S{TSP P, S, T, X c P~S~X{TSP P, S, U, R c (S{R)~U|PSP P, S, U, S c P{(S{U)~SSP P, S, U, U c P{S{U~USP P, S, U, V c (P{S)~V{USP P, S, U, X c S~X|P{USP P, S, V, Q c (S{Q)~V|PSP P, S, V, R c P{S~(V{R)SP P, S, V, U c (P{S)~V{USP P, S, V, X c (P{V)~S{XSP P, S, W, P c (P{S)~W{PSP P, S, W, Q c P{S~(W{Q)SP P, S, W, T c (P{W)~S{TSP P, S, W, W c P{S~W{WSP P, S, W, X c P~S~W{XSP P, S, X, P c P{S~(X{P)SP P, S, X, S c P{S{X~SSP P, S, X, T c P~S~X{TSP P, S, X, U c S~X|P{USP P, S, X, V c (P{V)~S{XSP P, S, X, W c P~S~W{XSP P, S, X, X c S~(X|P){XSP P, T, O, W c P{(T{O)~WSP P, T, P, V c P{T~(P{V)SP P, T, P, W c P{T~P~WSP P, T, P, X c P{T~(X|P)SP P, T, Q, S c P{T~Q~SSP P, T, Q, U c P{T~(Q{U)SP P, T, Q, W c T~W|P{QSP P, T, R, T c P{(T{R)~TSP P, T, R, X c (P{R)~X{TSP P, T, S, Q c P{T~S~QSP P, T, S, S c P{T~(S{S)SP P, T, S, T c P{(T{T)~SSP P, T, S, W c (P{W)~T|SSP P, T, S, X c P~T{S~XSP P, T, T, R c P{T~(T{R)SP P, T, T, S c P{(T{T)~SSP P, T, T, U c (P{T)~U{TSP P, T, T, V c P{T{T~VSP P, T, T, W c (PT{W)~TSP P, T, T, X c P{T~X|TSP P, T, U, Q c P{T~(U{Q)SP P, T, U, T c (P{T)~U{TSP P, T, U, U c P~T{U~USP P, T, U, V c P~T~V{USP P, T, U, W c T~(W|P){USP P, T, V, P c P{T~(V{P)SP P, T, V, T c P{T{V~TSP P, T, V, U c P~T~V{USP P, T, V, V c T~V|P{VSP P, T, V, W c (P{T)~W|VSP P, T, W, O c P{T~W{OSP P, T, W, P c P{T~W~PSP P, T, W, Q c T~W|P{QSP P, T, W, S c (P{W)~T|SSP P, T, W, T c (PT{W)~TSP P, T, W, U c T~(W|P){USP P, T, W, V c (P{T)~W|VSP P, T, W, W c (PW{T)~WSP P, T, W, X c (T|P)~W{XSP P, T, X, P c P{T~(X|P)SP P, T, X, R c (P{R)~X{TSP P, T, X, S c P~T{X~SSP P, T, X, T c P{T~X|TSP P, T, X, W c (T|P)~W{XSP P, T, X, X c (P{X)~T|XSP P, U, O, V c (U{O)~V|PSP P, U, P, U c (P{U)~U|PSP P, U, P, V c P~U~V|PSP P, U, P, W c P{(U|P)~WSP P, U, Q, T c P{(U{Q)~TSP P, U, Q, V c P{U~V|QSP P, U, Q, X c U~(X|Q)|PSP P, U, R, S c U~(R{S)|PSP P, U, R, W c (U{W)~R|PSP P, U, S, R c U~(S{R)|PSP P, U, S, S c P{(U{S)~SSP P, U, S, U c P{U~U{SSP P, U, S, V c (P{S)~V{USP P, U, S, X c U|P{S~XSP P, U, T, Q c P{(U{Q)~TSP P, U, T, T c (P{T)~U{TSP P, U, T, U c (P{U)~T{USP P, U, T, V c P~U{T~VSP P, U, T, W c U{T~(W|P)SP P, U, U, P c (P{U)~U|PSP P, U, U, S c P{U~U{SSP P, U, U, T c P~U~U{TSP P, U, U, U c U|P{U~USP P, U, U, V c (U|P)~V{USP P, U, U, W c (U~W)|(P{U)SP P, U, V, O c U~V|P{OSP P, U, V, P c P~U~V|PSP P, U, V, Q c P{U~V|QSP P, U, V, S c (P{S)~V{USP P, U, V, T c P~U{V~TSP P, U, V, U c (U|P)~V{USP P, U, V, V c (P{V)~U|VSP P, U, V, W c (P{U)~V|WSP P, U, V, X c U~(X|P)|VSP P, U, W, P c P{(U|P)~WSP P, U, W, R c (U{W)~R|PSP P, U, W, T c U{(W|P)~TSP P, U, W, U c (U~W)|(P{U)SP P, U, W, V c P~U~W|VSP P, U, W, W c P{U~W|WSP P, U, X, Q c U~(X|Q)|PSP P, U, X, S c U|P{X~SSP P, U, X, V c U~(X|P)|VSP P, V, O, U c (V{O)~U|PSP P, V, P, T c P{(V{P)~TSP P, V, P, U c P~V~U|PSP P, V, P, V c (V|P)~V|PSP P, V, Q, R c V~Q~R|PSP P, V, Q, S c V~(Q{S)|PSP P, V, Q, U c P{V~U|QSP P, V, Q, W c P{(V|Q)~WSP P, V, R, Q c V~R~Q|PSP P, V, R, R c V~(R{R)|PSP P, V, R, S c P{(V{R)~SSP P, V, R, V c (V{V)~R|PSP P, V, R, X c V~(X|R)|PSP P, V, S, Q c V~(S{Q)|PSP P, V, S, R c P{(V{R)~SSP P, V, S, U c (P{S)~V{USP P, V, S, X c (P{V)~S{XSP P, V, T, P c (P{V)~T{PSP P, V, T, T c P{V~T{TSP P, V, T, U c P~V~T{USP P, V, T, V c V|P{T~VSP P, V, T, W c (P{T)~W|VSP P, V, U, O c V~U|P{OSP P, V, U, P c P~V~U|PSP P, V, U, Q c P{V~U|QSP P, V, U, S c (P{S)~V{USP P, V, U, T c P~V~T{USP P, V, U, U c (V|PU)~USP P, V, U, V c (P{V)~U|VSP P, V, U, W c (P{U)~V|WSP P, V, U, X c U~(X|P)|VSP P, V, V, P c (V|P)~V|PSP P, V, V, R c (V{V)~R|PSP P, V, V, T c V|P{V~TSP P, V, V, U c (P{V)~U|VSP P, V, V, V c (V~V)|(P{V)SP P, V, V, W c P~V~V|WSP P, V, V, X c P{V~V|XSP P, V, W, Q c P{(V|Q)~WSP P, V, W, T c (P{T)~W|VSP P, V, W, U c P~W~U|VSP P, V, W, V c P~V~V|WSP P, V, W, W c V~(W|P)|WSP P, V, X, R c V~(X|R)|PSP P, V, X, S c (P{V)~S{XSP P, V, X, U c (X|P)~U|VSP P, V, X, V c P{V~V|XSP P, W, O, T c P{(W{O)~TSP P, W, P, S c P{W~(P{S)SP P, W, P, T c P{W~P~TSP P, W, P, U c P{W~(U|P)SP P, W, Q, R c P{W~(Q{R)SP P, W, Q, S c P{(W{Q)~SSP P, W, Q, T c W~T|P{QSP P, W, Q, V c P{W~(V|Q)SP P, W, R, Q c P{W~(R{Q)SP P, W, R, U c (W{U)~R|PSP P, W, R, W c P{(W|R)~WSP P, W, R, X c (P{R)~W{XSP P, W, S, P c P{W~(S{P)SP P, W, S, Q c P{(W{Q)~SSP P, W, S, T c (P{W)~S{TSP P, W, S, W c P{W{S~WSP P, W, S, X c P~W~S{XSP P, W, T, O c P{W~T{OSP P, W, T, P c P{W~T~PSP P, W, T, Q c W~T|P{QSP P, W, T, S c (P{W)~T|SSP P, W, T, T c (PT{W)~TSP P, W, T, U c (W|P)~T{USP P, W, T, V c (P{T)~W|VSP P, W, T, W c (PW{T)~WSP P, W, T, X c W~(T|P){XSP P, W, U, P c P{W~(U|P)SP P, W, U, R c (W{U)~R|PSP P, W, U, T c (W|P)~T{USP P, W, U, U c (W~U)|(P{U)SP P, W, U, V c P~W~U|VSP P, W, U, W c P{W~U|WSP P, W, V, Q c P{W~(V|Q)SP P, W, V, T c (P{T)~W|VSP P, W, V, U c P~W~U|VSP P, W, V, V c P~V~V|WSP P, W, V, W c (W|P)~V|WSP P, W, W, R c P{W~(W|R)SP P, W, W, S c P{W{W~SSP P, W, W, T c (PW{T)~WSP P, W, W, U c P{W~U|WSP P, W, W, V c (W|P)~V|WSP P, W, X, R c (P{R)~W{XSP P, W, X, S c P{W~(X|S)SP P, W, X, T c W~(T|P){XSP P, X, P, S c P{(X{P)~SSP P, X, P, T c P{(X|P)~TSP P, X, Q, U c (X|Q)~U|PSP P, X, Q, X c (P{X~X)QSP P, X, R, T c (P{R)~X{TSP P, X, R, V c (X|R)~V|PSP P, X, R, W c (P{R)~W{XSP P, X, S, P c (P{X)~S{PSP P, X, S, S c P{X~S{SSP P, X, S, T c P~X~S{TSP P, X, S, U c X~S|P{USP P, X, S, V c (P{V)~S{XSP P, X, S, W c P{(X|S)~WSP P, X, S, X c (X|P)~S{XSP P, X, T, P c P{(X|P)~TSP P, X, T, R c (P{R)~X{TSP P, X, T, S c P~X~T|SSP P, X, T, T c P{X~T|TSP P, X, T, W c X{(T|P)~WSP P, X, T, X c (P{X)~T|XSP P, X, U, Q c (X|Q)~U|PSP P, X, U, S c X~(U|P)|SSP P, X, U, V c (X|P)~U|VSP P, X, V, R c (X|R)~V|PSP P, X, V, S c (P{V)~S{XSP P, X, V, U c (X|P)~U|VSP P, X, V, V c P{V~V|XSP P, X, W, R c (P{R)~W{XSP P, X, W, S c P~X{W~SSP P, X, W, T c X{W~(T|P)SP P, X, X, Q c (P{X~X)QSP P, X, X, S c (X|P)~S{XSP P, X, X, T c (P{X)~T|XSP Q, P, R, V c Q~R~V|PSP Q, P, R, W c (Q{R)~W{PSP Q, P, S, T c Q~S~T{PSP Q, P, S, V c (Q{S)~V|PSP Q, P, S, W c (Q{W)~S{PSP Q, P, T, S c Q~T~S{PSP Q, P, T, U c (Q{T)~U|PSP Q, P, T, W c Q|P{T~WSP Q, P, U, T c (Q{U)~T{PSP Q, P, U, V c P{U~V|QSP Q, P, U, X c U~(X|Q)|PSP Q, P, V, R c Q~V~R|PSP Q, P, V, S c (Q{S)~V|PSP Q, P, V, U c P{V~U|QSP Q, P, V, W c P{(V|Q)~WSP Q, P, W, R c (Q{R)~W{PSP Q, P, W, S c (Q{W)~S{PSP Q, P, W, T c Q|P{W~TSP Q, P, W, V c P{W~(V|Q)SP Q, P, X, U c (X|Q)~U|PSP Q, P, X, X c (P{X~X)QSP Q, Q, T, W c QQ{T~WSP Q, Q, T, X c (Q{Q)~X{TSP Q, Q, U, V c U~V|QQSP Q, Q, V, U c V~U|QQSP Q, Q, W, T c QQ{W~TSP Q, Q, W, X c (Q{Q)~W{XSP Q, Q, X, T c (Q{Q)~X{TSP Q, Q, X, W c (Q{Q)~W{XSP Q, R, P, V c Q~R~V|PSP Q, R, P, W c (Q{R)~W{PSP Q, R, S, X c Q{R{S~XSP Q, R, T, U c Q~R~U{TSP Q, R, T, V c Q~R{T~VSP Q, R, T, W c Q{R~(T{W)SP Q, R, U, T c Q~R~U{TSP Q, R, U, U c Q{R{U~USP Q, R, U, V c Q{R~(U{V)SP Q, R, V, P c Q~R~V|PSP Q, R, V, T c Q~R{V~TSP Q, R, V, U c (Q{R)~V{USP Q, R, V, W c Q~R~W|VSP Q, R, V, X c Q~V{R~XSP Q, R, W, P c (Q{R)~W{PSP Q, R, W, T c Q{R~(W{T)SP Q, R, W, V c Q~R~W|VSP Q, R, W, X c (Q{X)~R{WSP Q, R, X, S c Q{R{X~SSP Q, R, X, V c Q~V{R~XSP Q, R, X, W c (Q{X)~R{WSP Q, S, P, T c Q~S~T{PSP Q, S, P, V c (Q{S)~V|PSP Q, S, P, W c (Q{W)~S{PSP Q, S, R, X c Q{(S{X)~RSP Q, S, S, X c Q~S~S{XSP Q, S, T, P c Q~S~T{PSP Q, S, T, U c (Q{S)~U{TSP Q, S, T, V c Q{S{T~VSP Q, S, U, T c (Q{S)~U{TSP Q, S, U, V c Q~S~U|VSP Q, S, U, X c (Q{U)~S{XSP Q, S, V, P c (Q{S)~V|PSP Q, S, V, T c Q{S{V~TSP Q, S, V, U c Q~S~U|VSP Q, S, V, V c V~V|Q~SSP Q, S, V, W c Q{S~W{VSP Q, S, V, X c S~X|Q{VSP Q, S, W, P c (Q{W)~S{PSP Q, S, W, V c Q{S~W{VSP Q, S, X, R c Q{(S{X)~RSP Q, S, X, S c Q~S~S{XSP Q, S, X, U c (Q{U)~S{XSP Q, S, X, V c S~X|Q{VSP Q, T, P, S c Q~T~S{PSP Q, T, P, U c (Q{T)~U|PSP Q, T, P, W c Q{T~W|PSP Q, T, Q, W c QQ{T~WSP Q, T, Q, X c (Q{Q)~X{TSP Q, T, R, U c Q~R~U{TSP Q, T, R, V c Q~R{T~VSP Q, T, R, W c Q{(T{W)~RSP Q, T, S, P c Q~T~S{PSP Q, T, S, U c (Q{S)~U{TSP Q, T, S, V c Q{T~V{SSP Q, T, T, U c (Q{T)~T{USP Q, T, T, W c Q~W{T~TSP Q, T, T, X c Q~T~T|XSP Q, T, U, P c (Q{T)~U|PSP Q, T, U, R c Q~U~R{TSP Q, T, U, S c (Q{S)~U{TSP Q, T, U, T c (Q{T)~T{USP Q, T, U, W c T{U~(W|Q)SP Q, T, U, X c Q{T~U{XSP Q, T, V, R c Q~R{T~VSP Q, T, V, S c Q{T~V{SSP Q, T, V, W c (Q{T)~V|WSP Q, T, W, P c Q{T~W|PSP Q, T, W, Q c QQ{T~WSP Q, T, W, R c Q{(T{W)~RSP Q, T, W, T c Q~W{T~TSP Q, T, W, U c T{(W|Q)~USP Q, T, W, V c (Q{T)~V|WSP Q, T, W, X c (Q{W)~T|XSP Q, T, X, Q c Q~X~Q{TSP Q, T, X, T c Q~T~T|XSP Q, T, X, U c Q{T~X|USP Q, T, X, W c (Q{W)~T|XSP Q, T, X, X c Q~(X{X){TSP Q, U, P, T c (Q{U)~T{PSP Q, U, P, V c U~V|Q{PSP Q, U, P, X c U~(X|Q)|PSP Q, U, Q, V c U~V|QQSP Q, U, R, T c Q~U~R{TSP Q, U, R, U c Q{U~U{RSP Q, U, R, V c Q{(U{V)~RSP Q, U, S, T c (Q{S)~U{TSP Q, U, S, V c Q~U~S|VSP Q, U, S, X c (Q{U)~S{XSP Q, U, T, P c (Q{U)~T{PSP Q, U, T, R c Q~U~R{TSP Q, U, T, S c (Q{S)~U{TSP Q, U, T, T c (Q{T)~T{USP Q, U, T, W c (U~W)|(Q{T)SP Q, U, T, X c Q{U~T{XSP Q, U, U, R c Q{U~U{RSP Q, U, U, V c (Q{U)~U|VSP Q, U, V, P c U~V|Q{PSP Q, U, V, Q c U~V|QQSP Q, U, V, R c Q{(U{V)~RSP Q, U, V, S c Q~U~S|VSP Q, U, V, U c (Q{U)~U|VSP Q, U, V, V c U{(V|Q)~VSP Q, U, W, T c (U~W)|(Q{T)SP Q, U, W, X c Q{U~W|XSP Q, U, X, P c U~(X|Q)|PSP Q, U, X, S c (Q{U)~S{XSP Q, U, X, T c Q{U~T{XSP Q, U, X, W c Q{U~W|XSP Q, V, P, R c Q~V~R|PSP Q, V, P, S c (Q{S)~V|PSP Q, V, P, U c V~U|Q{PSP Q, V, P, W c (V|Q)~W{PSP Q, V, Q, U c V~U|QQSP Q, V, R, P c Q~V~R|PSP Q, V, R, T c Q~R{V~TSP Q, V, R, U c Q{(V{U)~RSP Q, V, R, W c Q~R~W|VSP Q, V, R, X c Q~V{R~XSP Q, V, S, P c (Q{S)~V|PSP Q, V, S, T c (Q{V)~S{TSP Q, V, S, U c Q~S~U|VSP Q, V, S, V c V~V|Q~SSP Q, V, S, W c Q{V{S~WSP Q, V, S, X c V|Q{S~XSP Q, V, T, R c Q~R{V~TSP Q, V, T, S c Q{V~T{SSP Q, V, T, W c (Q{T)~V|WSP Q, V, U, P c V~U|Q{PSP Q, V, U, Q c V~U|QQSP Q, V, U, R c Q{(V{U)~RSP Q, V, U, S c Q~U~S|VSP Q, V, U, U c (Q{U)~U|VSP Q, V, U, V c (V|Q)~V{USP Q, V, V, S c V~V|Q~SSP Q, V, V, U c (V|Q)~V{USP Q, V, W, P c (V|Q)~W{PSP Q, V, W, R c Q~W~R|VSP Q, V, W, S c Q{V{W~SSP Q, V, W, T c (Q{T)~V|WSP Q, V, W, W c (W|Q)~W|VSP Q, V, W, X c Q~(W{X){VSP Q, V, X, R c Q~V{X~RSP Q, V, X, S c V|Q{X~SSP Q, V, X, W c Q~(X{W){VSP Q, V, X, X c Q~(V{X){XSP Q, W, P, R c (Q{R)~W{PSP Q, W, P, S c (Q{W)~S{PSP Q, W, P, T c Q{W~T|PSP Q, W, P, V c (W|Q)~V|PSP Q, W, Q, T c QQ{W~TSP Q, W, Q, X c Q~W~Q{XSP Q, W, R, P c (Q{R)~W{PSP Q, W, R, T c Q{(W{T)~RSP Q, W, R, V c Q~W~R|VSP Q, W, R, X c (Q{X)~R{WSP Q, W, S, P c (Q{W)~S{PSP Q, W, S, V c Q{W~S{VSP Q, W, T, P c Q{W~T|PSP Q, W, T, Q c QQ{W~TSP Q, W, T, R c Q{(W{T)~RSP Q, W, T, T c Q~W{T~TSP Q, W, T, U c (W|Q)~U{TSP Q, W, T, V c (Q{T)~V|WSP Q, W, T, X c (Q{W)~T|XSP Q, W, U, T c (W|Q)~U{TSP Q, W, U, X c Q{W~U|XSP Q, W, V, P c (W|Q)~V|PSP Q, W, V, R c Q~W~R|VSP Q, W, V, S c Q{W~S{VSP Q, W, V, T c (Q{T)~V|WSP Q, W, V, W c (W|Q)~W|VSP Q, W, V, X c Q~(W{X){VSP Q, W, W, V c (W|Q)~W|VSP Q, W, W, X c Q~(W{W){XSP Q, W, X, Q c Q~W~Q{XSP Q, W, X, R c (Q{X)~R{WSP Q, W, X, T c (Q{W)~T|XSP Q, W, X, U c Q{W~U|XSP Q, W, X, V c Q~(W{X){VSP Q, W, X, W c Q~(W{W){XSP Q, X, P, U c (X|Q)~U|PSP Q, X, P, X c (X~X{P)QSP Q, X, Q, T c Q~X~Q{TSP Q, X, Q, W c (Q{Q)~W{XSP Q, X, R, S c Q{(X{S)~RSP Q, X, R, V c Q~V{X~RSP Q, X, R, W c (Q{X)~R{WSP Q, X, S, R c Q{(X{S)~RSP Q, X, S, S c Q~S~S{XSP Q, X, S, U c (Q{U)~S{XSP Q, X, S, V c X~S|Q{VSP Q, X, T, Q c Q~X~Q{TSP Q, X, T, T c Q~T~T|XSP Q, X, T, U c Q{X{T~USP Q, X, T, W c (Q{W)~T|XSP Q, X, T, X c Q~(X{X){TSP Q, X, U, P c (X|Q)~U|PSP Q, X, U, S c (Q{U)~S{XSP Q, X, U, T c Q{X{U~TSP Q, X, U, W c Q{U~W|XSP Q, X, V, R c Q~V{X~RSP Q, X, V, S c X~(V|Q)|SSP Q, X, V, W c Q~(X{W){VSP Q, X, V, X c Q~(X{V){XSP Q, X, W, Q c Q~W~Q{XSP Q, X, W, R c (Q{X)~R{WSP Q, X, W, T c (Q{W)~T|XSP Q, X, W, U c Q{W~U|XSP Q, X, W, V c Q~(X{W){VSP Q, X, W, W c Q~(W{W){XSP Q, X, X, P c (X~X{P)QSP Q, X, X, T c Q~(X{X){TSP Q, X, X, V c Q~(X{V){XSP R, P, Q, V c R~Q~V|PSP R, P, Q, W c (R{Q)~W{PSP R, P, R, V c (R{R)~V|PSP R, P, S, U c (R{S)~U|PSP R, P, S, V c (R{V)~S{PSP R, P, T, T c (R{T)~T{PSP R, P, T, X c (R{P)~X{TSP R, P, U, S c (R{S)~U|PSP R, P, U, W c R~(U{W)|PSP R, P, V, Q c R~V~Q|PSP R, P, V, R c (R{R)~V|PSP R, P, V, S c (R{V)~S{PSP R, P, V, V c R~(V{V)|PSP R, P, V, X c V~(X|R)|PSP R, P, W, Q c (R{Q)~W{PSP R, P, W, U c R~(W{U)|PSP R, P, W, W c P{(W|R)~WSP R, P, W, X c (R{P)~W{XSP R, P, X, T c (R{P)~X{TSP R, P, X, V c (X|R)~V|PSP R, P, X, W c (R{P)~W{XSP R, Q, P, V c R~Q~V|PSP R, Q, P, W c (R{Q)~W{PSP R, Q, S, X c R{Q{S~XSP R, Q, T, U c R~Q~U{TSP R, Q, T, V c R~Q{T~VSP R, Q, T, W c R|Q{T~WSP R, Q, U, T c R~Q~U{TSP R, Q, U, U c R{Q{U~USP R, Q, U, V c (R{Q)~V{USP R, Q, V, P c R~Q~V|PSP R, Q, V, T c R~Q{V~TSP R, Q, V, U c (R{Q)~V{USP R, Q, V, W c R~Q~W|VSP R, Q, V, X c R~X{Q~VSP R, Q, W, P c (R{Q)~W{PSP R, Q, W, T c R|Q{W~TSP R, Q, W, V c R~Q~W|VSP R, Q, W, X c R~(Q{X){WSP R, Q, X, S c R{Q{X~SSP R, Q, X, V c R~X{Q~VSP R, Q, X, W c R~(Q{X){WSP R, R, P, V c (R{R)~V|PSP R, R, S, T c R~R~S{TSP R, R, S, W c R~R{S~WSP R, R, T, S c R~R~T|SSP R, R, T, U c (R{R)~U{TSP R, R, T, V c R{R{T~VSP R, R, T, W c RR{T~WSP R, R, T, X c R~(R{X){TSP R, R, U, T c (R{R)~U{TSP R, R, U, V c U~V|RRSP R, R, V, P c (R{R)~V|PSP R, R, V, T c R{R{V~TSP R, R, V, U c V~U|RRSP R, R, V, W c (R{R)~W|VSP R, R, W, S c R~R{W~SSP R, R, W, T c RR{W~TSP R, R, W, V c (R{R)~W|VSP R, R, W, W c R~(R{W){WSP R, R, X, T c R~(R{X){TSP R, S, P, U c (R{S)~U|PSP R, S, P, V c (R{V)~S{PSP R, S, Q, X c R{S~X{QSP R, S, R, T c R~S~R{TSP R, S, R, W c R~R{S~WSP R, S, S, V c R~S~S|VSP R, S, T, R c R~S~R{TSP R, S, T, U c (R{S)~T{USP R, S, T, V c R~V{S~TSP R, S, T, W c R~(S{W){TSP R, S, T, X c (R{T)~S{XSP R, S, U, P c (R{S)~U|PSP R, S, U, T c (R{S)~T{USP R, S, U, V c R{U~V|SSP R, S, U, W c R{S~W{USP R, S, U, X c R~(U{X)|SSP R, S, V, P c (R{V)~S{PSP R, S, V, S c R~S~S|VSP R, S, V, T c R~V{S~TSP R, S, V, U c R{V~U|SSP R, S, V, W c (R{S)~V|WSP R, S, V, X c (R{X)~S|VSP R, S, W, R c (R{W)~S|RSP R, S, W, T c R~(S{W){TSP R, S, W, U c R{S~W{USP R, S, W, V c (R{S)~V|WSP R, S, W, X c S~X|R{WSP R, S, X, Q c R{S~X{QSP R, S, X, T c (R{T)~S{XSP R, S, X, U c R~(X{U)|SSP R, S, X, V c (R{X)~S|VSP R, S, X, W c S~X|R{WSP R, T, P, T c (R{T)~T{PSP R, T, P, X c R~(T{X)|PSP R, T, Q, U c R~Q~U{TSP R, T, Q, V c R~Q{T~VSP R, T, Q, W c R{T~W|QSP R, T, R, S c R~T~R|SSP R, T, R, U c (R{R)~U{TSP R, T, R, V c R{T~V{RSP R, T, R, W c RR{T~WSP R, T, R, X c R~(R{X){TSP R, T, S, R c R~T~R|SSP R, T, S, U c (R{S)~T{USP R, T, S, V c R~V{T~SSP R, T, S, W c R~(S{W){TSP R, T, S, X c (R{T)~S{XSP R, T, T, P c (R{T)~T{PSP R, T, T, V c R~(T{V){TSP R, T, U, Q c R~U~Q{TSP R, T, U, R c (R{R)~U{TSP R, T, U, S c (R{U)~T|SSP R, T, U, U c R~(U{U){TSP R, T, U, V c (R{T)~U|VSP R, T, U, W c R{T~U{WSP R, T, U, X c T{U~(X|R)SP R, T, V, Q c R~Q{T~VSP R, T, V, R c R{T~V{RSP R, T, V, S c R~V{T~SSP R, T, V, T c R~(T{V){TSP R, T, V, U c (R{T)~U|VSP R, T, V, V c (V~V)|(R{T)SP R, T, V, W c V~W|R~TSP R, T, V, X c R{T~X|VSP R, T, W, Q c R{T~W|QSP R, T, W, R c RR{T~WSP R, T, W, S c R~(W{S){TSP R, T, W, U c R{T~U{WSP R, T, W, V c W~V|R~TSP R, T, X, P c R~(T{X)|PSP R, T, X, R c (R{X)~R{TSP R, T, X, S c (R{T)~S{XSP R, T, X, U c T{(X|R)~USP R, T, X, V c R{T~X|VSP R, T, X, X c R~X{T{XSP R, U, P, S c (R{S)~U|PSP R, U, P, W c R~(U{W)|PSP R, U, Q, T c R~U~Q{TSP R, U, Q, U c R{U~U{QSP R, U, Q, V c R~(U{V){QSP R, U, R, T c (R{R)~U{TSP R, U, R, V c U~V|RRSP R, U, S, P c (R{S)~U|PSP R, U, S, T c (R{U)~S{TSP R, U, S, V c R{U~V|SSP R, U, S, W c R{U{S~WSP R, U, S, X c R~(U{X)|SSP R, U, T, Q c R~U~Q{TSP R, U, T, R c (R{R)~U{TSP R, U, T, S c (R{U)~T|SSP R, U, T, U c R~(U{U){TSP R, U, T, V c (R{T)~U|VSP R, U, T, W c R{U~T{WSP R, U, T, X c U~(X|R){TSP R, U, U, Q c R{U~U{QSP R, U, U, T c R~(U{U){TSP R, U, U, W c U~U|R{WSP R, U, V, Q c R~(U{V){QSP R, U, V, R c U~V|RRSP R, U, V, S c R{U~V|SSP R, U, V, T c (R{T)~U|VSP R, U, V, W c U{V~(W|R)SP R, U, W, P c R~(U{W)|PSP R, U, W, S c R{U{W~SSP R, U, W, T c R{U~T{WSP R, U, W, U c U~U|R{WSP R, U, W, V c U{(W|R)~VSP R, U, W, X c R~X{U{WSP R, U, X, S c R~(U{X)|SSP R, U, X, T c U~(X|R){TSP R, U, X, W c R~X{U{WSP R, V, P, Q c R~V~Q|PSP R, V, P, R c (R{R)~V|PSP R, V, P, S c (R{V)~S{PSP R, V, P, V c R~(V{V)|PSP R, V, P, X c V~(X|R)|PSP R, V, Q, P c R~V~Q|PSP R, V, Q, T c R~Q{V~TSP R, V, Q, U c R~(V{U){QSP R, V, Q, W c R~Q~W|VSP R, V, Q, X c R~X{V~QSP R, V, R, P c (R{R)~V|PSP R, V, R, T c R{V~T{RSP R, V, R, U c V~U|RRSP R, V, R, W c (R{R)~W|VSP R, V, S, P c (R{V)~S{PSP R, V, S, S c R~S~S|VSP R, V, S, T c R~V{S~TSP R, V, S, U c R{V~U|SSP R, V, S, W c R~(V{S){WSP R, V, S, X c (R{X)~S|VSP R, V, T, Q c R~Q{V~TSP R, V, T, R c R{V~T{RSP R, V, T, S c R~V{T~SSP R, V, T, T c R~(V{T){TSP R, V, T, U c (R{T)~U|VSP R, V, T, V c (V~V)|(R{T)SP R, V, T, W c V~W|R~TSP R, V, T, X c (R{V)~T|XSP R, V, U, Q c R~(V{U){QSP R, V, U, R c V~U|RRSP R, V, U, S c R{V~U|SSP R, V, U, T c (R{T)~U|VSP R, V, U, W c V~(W|R){USP R, V, V, P c R~(V{V)|PSP R, V, V, T c (V~V)|(R{T)SP R, V, V, X c R~(V{X)|VSP R, V, W, Q c R~W~Q|VSP R, V, W, R c (R{R)~W|VSP R, V, W, S c R~(V{W)|SSP R, V, W, T c V~W|R~TSP R, V, W, U c V~(W|R){USP R, V, W, W c R~(W{W)|VSP R, V, W, X c (V|R)~W{XSP R, V, X, P c V~(X|R)|PSP R, V, X, Q c R~X{V~QSP R, V, X, S c (R{X)~S|VSP R, V, X, T c (R{V)~T|XSP R, V, X, V c R~(V{X)|VSP R, V, X, W c (V|R)~W{XSP R, W, P, Q c (R{Q)~W{PSP R, W, P, U c R~(W{U)|PSP R, W, P, W c (W|R)~W{PSP R, W, P, X c (R{P)~W{XSP R, W, Q, P c (R{Q)~W{PSP R, W, Q, T c R{W~T|QSP R, W, Q, V c R~W~Q|VSP R, W, Q, X c R~(Q{X){WSP R, W, R, S c (R{W)~S|RSP R, W, R, T c RR{W~TSP R, W, R, V c (R{R)~W|VSP R, W, R, W c (R{W)~R{WSP R, W, S, R c (R{W)~S|RSP R, W, S, T c R~(W{S){TSP R, W, S, U c R{W~S{USP R, W, S, V c R~(W{V)|SSP R, W, S, X c W|R{S~XSP R, W, T, Q c R{W~T|QSP R, W, T, R c RR{W~TSP R, W, T, S c R~(W{S){TSP R, W, T, U c R{W{T~USP R, W, T, V c W~V|R~TSP R, W, U, P c R~(W{U)|PSP R, W, U, S c R{W~S{USP R, W, U, T c R{W{U~TSP R, W, U, U c W|R{U~USP R, W, U, V c (W|R)~V{USP R, W, U, X c R~X{W{USP R, W, V, Q c R~W~Q|VSP R, W, V, R c (R{R)~W|VSP R, W, V, S c R~(W{V)|SSP R, W, V, T c W~V|R~TSP R, W, V, U c (W|R)~V{USP R, W, V, W c R~(W{W)|VSP R, W, V, X c W~(V|R){XSP R, W, W, P c (W|R)~W{PSP R, W, W, R c (R{W)~R{WSP R, W, W, V c R~(W{W)|VSP R, W, W, X c R~W{W{XSP R, W, X, P c (R{P)~W{XSP R, W, X, Q c R~(X{Q){WSP R, W, X, S c W|R{X~SSP R, W, X, U c R~X{W{USP R, W, X, V c W~(X|R)|VSP R, W, X, W c R~W{X{WSP R, X, P, T c R~(X{T)|PSP R, X, P, V c (X|R)~V|PSP R, X, P, W c (R{P)~W{XSP R, X, Q, S c R{X~S{QSP R, X, Q, V c R~X{Q~VSP R, X, Q, W c R~(X{Q){WSP R, X, R, T c (R{X)~R{TSP R, X, S, Q c R{X~S{QSP R, X, S, T c (R{T)~S{XSP R, X, S, U c R~(X{U)|SSP R, X, S, V c (R{X)~S|VSP R, X, S, W c X~S|R{WSP R, X, T, P c R~(X{T)|PSP R, X, T, R c (R{X)~R{TSP R, X, T, S c (R{T)~S{XSP R, X, T, U c (X|R)~U{TSP R, X, T, V c R{X~T|VSP R, X, T, X c R~X{T{XSP R, X, U, S c R~(X{U)|SSP R, X, U, T c (X|R)~U{TSP R, X, U, W c R~X{U{WSP R, X, V, P c (X|R)~V|PSP R, X, V, Q c R~X{V~QSP R, X, V, S c (R{X)~S|VSP R, X, V, T c R{X~T|VSP R, X, V, V c R~X{V{VSP R, X, V, W c (X|R)~W|VSP R, X, W, P c (R{P)~W{XSP R, X, W, Q c R~(X{Q){WSP R, X, W, S c X~(W|R)|SSP R, X, W, U c R~X{W{USP R, X, W, V c (X|R)~W|VSP R, X, W, W c R~W{X{WSP R, X, X, T c R~X{X{TSP S, O, T, X c (S{O)~X{TSP S, O, W, X c (S{O)~W{XSP S, O, X, T c (S{O)~X{TSP S, O, X, W c (S{O)~W{XSP S, P, P, W c (S{P)~W{PSP S, P, P, X c S~(P{X){PSP S, P, Q, T c S~Q~T{PSP S, P, Q, V c (S{Q)~V|PSP S, P, Q, W c S~(Q{W){PSP S, P, R, U c (S{R)~U|PSP S, P, R, V c S~(R{V){PSP S, P, S, T c (S{S)~T{PSP S, P, S, U c S~(S{U){PSP S, P, S, X c S{P{S~XSP S, P, T, Q c S~T~Q{PSP S, P, T, S c (S{S)~T{PSP S, P, T, T c S~(T{T){PSP S, P, T, W c S~(P{W){TSP S, P, T, X c S~P~X{TSP S, P, U, R c (S{R)~U|PSP S, P, U, S c (S{U)~S{PSP S, P, U, U c S{P{U~USP S, P, U, V c (S{P)~V{USP S, P, U, X c S~X|P{USP S, P, V, Q c (S{Q)~V|PSP S, P, V, R c S~(V{R){PSP S, P, V, U c (S{P)~V{USP S, P, V, X c S~(P{V){XSP S, P, W, P c (S{P)~W{PSP S, P, W, Q c S~(W{Q){PSP S, P, W, T c S~(P{W){TSP S, P, W, W c S~W{P{WSP S, P, W, X c S~P~W{XSP S, P, X, P c S~(P{X){PSP S, P, X, S c S{P{X~SSP S, P, X, T c S~P~X{TSP S, P, X, U c S~X|P{USP S, P, X, V c S~(P{V){XSP S, P, X, W c S~P~W{XSP S, P, X, X c S~(X|P){XSP S, Q, P, T c S~Q~T{PSP S, Q, P, V c (S{Q)~V|PSP S, Q, P, W c S~(Q{W){PSP S, Q, R, X c S~(Q{X)|RSP S, Q, S, X c S~Q~S{XSP S, Q, T, P c S~Q~T{PSP S, Q, T, U c (S{Q)~U{TSP S, Q, T, V c S{Q{T~VSP S, Q, U, T c (S{Q)~U{TSP S, Q, U, V c S~Q~U|VSP S, Q, U, X c S~(Q{U){XSP S, Q, V, P c (S{Q)~V|PSP S, Q, V, T c S{Q{V~TSP S, Q, V, U c S~Q~U|VSP S, Q, V, V c V~V|S~QSP S, Q, V, W c (S{Q)~W|VSP S, Q, V, X c S~X|Q{VSP S, Q, W, P c S~(Q{W){PSP S, Q, W, V c (S{Q)~W|VSP S, Q, X, R c S~(Q{X)|RSP S, Q, X, S c S~Q~S{XSP S, Q, X, U c S~(Q{U){XSP S, Q, X, V c S~X|Q{VSP S, R, P, U c (S{R)~U|PSP S, R, P, V c S~(R{V){PSP S, R, Q, X c S~(Q{X)|RSP S, R, R, T c S~R~R{TSP S, R, R, W c S~(R{W)|RSP S, R, S, V c S~R~S|VSP S, R, T, R c S~R~R{TSP S, R, T, U c (S{R)~T{USP S, R, T, V c S~T{R~VSP S, R, T, W c S|R{T~WSP S, R, T, X c S~(R{T){XSP S, R, U, P c (S{R)~U|PSP S, R, U, T c S~(R{U){TSP S, R, U, V c R{U~V|SSP S, R, U, W c S~W{R{USP S, R, U, X c R~(U{X)|SSP S, R, V, P c S~(R{V){PSP S, R, V, S c S~R~S|VSP S, R, V, T c S~T{R~VSP S, R, V, U c R{V~U|SSP S, R, V, W c (S{R)~V|WSP S, R, V, X c S~(R{X)|VSP S, R, W, R c S~(R{W)|RSP S, R, W, T c S|R{W~TSP S, R, W, U c S~W{R{USP S, R, W, V c (S{R)~V|WSP S, R, W, X c S~X|R{WSP S, R, X, Q c (S{X)~R{QSP S, R, X, T c S~(R{T){XSP S, R, X, U c R~(X{U)|SSP S, R, X, V c S~(R{X)|VSP S, R, X, W c S~X|R{WSP S, S, P, T c (S{S)~T{PSP S, S, P, U c S~(S{U){PSP S, S, P, X c S{S~X{PSP S, S, Q, X c S~S~Q{XSP S, S, R, V c S~S~R|VSP S, S, S, X c (S{S)~S{XSP S, S, T, P c (S{S)~T{PSP S, S, T, T c S~(S{T){TSP S, S, T, W c SS{T~WSP S, S, T, X c S~(TS{X)SP S, S, U, P c S~(S{U){PSP S, S, U, V c (S{S)~U|VSP S, S, V, R c S~(S{V)|RSP S, S, V, U c (S{S)~U|VSP S, S, V, V c (V~V)|(S{S)SP S, S, V, W c S~(S{W)|VSP S, S, V, X c S{S~V{XSP S, S, W, T c S{S~W{TSP S, S, W, V c S~(S{W)|VSP S, S, W, X c S~(W{XS)SP S, S, X, P c S{S~X{PSP S, S, X, Q c S~S~Q{XSP S, S, X, S c (S{S)~S{XSP S, S, X, T c S~(X{TS)SP S, S, X, V c S{S~V{XSP S, S, X, W c S~(XS{W)SP S, S, X, X c S~X|S{XSP S, T, O, X c (S{O)~X{TSP S, T, P, Q c S~T~Q{PSP S, T, P, S c (S{S)~T{PSP S, T, P, T c S~(T{T){PSP S, T, P, W c S~(P{W){TSP S, T, P, X c S~P~X{TSP S, T, Q, P c S~T~Q{PSP S, T, Q, U c (S{Q)~U{TSP S, T, Q, V c S{T~V{QSP S, T, R, R c S~R~R{TSP S, T, R, U c S~(T{U)|RSP S, T, R, V c S~T{R~VSP S, T, R, W c S{T~W|RSP S, T, R, X c S~(T{R){XSP S, T, S, P c (S{S)~T{PSP S, T, S, T c (S{T)~S{TSP S, T, S, W c S{T{S~WSP S, T, S, X c S~(TS{X)SP S, T, T, P c S~(T{T){PSP S, T, T, S c (S{T)~T|SSP S, T, T, W c T|S{T~WSP S, T, T, X c T~(X|ST)SP S, T, U, Q c (S{Q)~U{TSP S, T, U, R c S~(T{U)|RSP S, T, U, V c S{T~U{VSP S, T, U, X c (S{U)~T|XSP S, T, V, Q c S{T~V{QSP S, T, V, R c S~T{V~RSP S, T, V, U c S{T~U{VSP S, T, V, V c S~(T{V)|VSP S, T, V, W c S~V{T{WSP S, T, W, P c S~(W{P){TSP S, T, W, R c S{T~W|RSP S, T, W, S c S{T{W~SSP S, T, W, T c T|S{W~TSP S, T, W, V c S~V{T{WSP S, T, W, X c S{T~X|WSP S, T, X, O c S~X{T{OSP S, T, X, P c S~X{T~PSP S, T, X, R c S~(T{R){XSP S, T, X, S c S~(TS{X)SP S, T, X, T c T~(X|ST)SP S, T, X, U c (S{U)~T|XSP S, T, X, W c S{T~X|WSP S, T, X, X c (S{TX)~XSP S, U, P, R c (S{R)~U|PSP S, U, P, S c (S{U)~S{PSP S, U, P, U c S{U~U{PSP S, U, P, V c (S{P)~V{USP S, U, P, X c S~X{U|PSP S, U, Q, T c (S{Q)~U{TSP S, U, Q, V c S~U~Q|VSP S, U, Q, X c S~(U{Q){XSP S, U, R, P c (S{R)~U|PSP S, U, R, T c S~(U{R){TSP S, U, R, V c U~V|S{RSP S, U, R, W c S~W{U{RSP S, U, R, X c (U{X)~R|SSP S, U, S, P c (S{U)~S{PSP S, U, S, V c (S{S)~U|VSP S, U, T, Q c (S{Q)~U{TSP S, U, T, R c S~(U{T)|RSP S, U, T, V c S{U~T{VSP S, U, T, X c (S{U)~T|XSP S, U, U, P c S{U~U{PSP S, U, U, V c S~(U{U)|VSP S, U, U, X c U~U|S{XSP S, U, V, P c (S{P)~V{USP S, U, V, Q c S~U~Q|VSP S, U, V, R c U~V|S{RSP S, U, V, S c (S{S)~U|VSP S, U, V, T c S{U~V|TSP S, U, V, U c S~(U{U)|VSP S, U, V, V c S~V{U{VSP S, U, V, X c U{V~(X|S)SP S, U, W, R c S~W{U{RSP S, U, W, X c S~U{W{XSP S, U, X, P c S~X{U|PSP S, U, X, Q c S~(U{Q){XSP S, U, X, R c (U{X)~R|SSP S, U, X, T c (S{U)~T|XSP S, U, X, U c U~U|S{XSP S, U, X, V c U{(X|S)~VSP S, U, X, W c S~U{X{WSP S, U, X, X c (U~X)|(S{X)SP S, V, P, Q c (S{Q)~V|PSP S, V, P, R c S~(V{R){PSP S, V, P, U c (S{P)~V{USP S, V, P, X c S~(V{P){XSP S, V, Q, P c (S{Q)~V|PSP S, V, Q, T c S~(V{Q){TSP S, V, Q, U c S~Q~U|VSP S, V, Q, V c V~V|S~QSP S, V, Q, W c (S{Q)~W|VSP S, V, Q, X c S~X{V|QSP S, V, R, P c S~(V{R){PSP S, V, R, S c (S{V)~S|RSP S, V, R, T c S~T{V~RSP S, V, R, U c V~U|S{RSP S, V, R, W c (S{V)~R{WSP S, V, R, X c S~(R{X)|VSP S, V, S, R c (S{V)~S|RSP S, V, S, U c (S{S)~U|VSP S, V, S, V c (V~V)|(S{S)SP S, V, S, W c S~(S{W)|VSP S, V, S, X c S{V~S{XSP S, V, T, Q c S{V~T{QSP S, V, T, R c S~T{V~RSP S, V, T, U c S{V{T~USP S, V, T, V c S~(V{T)|VSP S, V, T, W c S~V{T{WSP S, V, U, P c (S{P)~V{USP S, V, U, Q c S~U~Q|VSP S, V, U, R c V~U|S{RSP S, V, U, S c (S{S)~U|VSP S, V, U, T c S{V{U~TSP S, V, U, U c S~(U{U)|VSP S, V, U, V c S~V{U{VSP S, V, U, X c V~(X|S){USP S, V, V, Q c V~V|S~QSP S, V, V, S c (V~V)|(S{S)SP S, V, V, T c S~(V{T)|VSP S, V, V, U c S~V{V{USP S, V, W, Q c S~W{V{QSP S, V, W, R c (S{V)~R{WSP S, V, W, S c (S{W)~S|VSP S, V, W, T c S~V{W{TSP S, V, X, P c S~(V{P){XSP S, V, X, Q c S~X{V|QSP S, V, X, R c S~(X{R)|VSP S, V, X, S c S~V{X{SSP S, V, X, U c V~(X|S){USP S, W, O, X c S~W{O{XSP S, W, P, P c (S{P)~W{PSP S, W, P, Q c S~(W{Q){PSP S, W, P, T c S~(W{P){TSP S, W, P, W c S~W{P{WSP S, W, P, X c S~W{P~XSP S, W, Q, P c S~(W{Q){PSP S, W, Q, V c S~W{Q{VSP S, W, R, R c S~(W{R)|RSP S, W, R, T c (S{W)~R{TSP S, W, R, U c S~W{R{USP S, W, R, V c (S{R)~V|WSP S, W, R, X c S~X{W|RSP S, W, S, T c S{W~S{TSP S, W, S, V c (S{W)~S|VSP S, W, S, X c S~(W{XS)SP S, W, T, P c S~(W{P){TSP S, W, T, R c S{W~T|RSP S, W, T, S c S~W{T{SSP S, W, T, T c W~T|S{TSP S, W, T, V c S~V{W{TSP S, W, T, X c S{T~X|WSP S, W, U, R c S~W{U{RSP S, W, U, X c S~U{W{XSP S, W, V, Q c S~W{V{QSP S, W, V, R c (S{V)~R{WSP S, W, V, S c (S{W)~S|VSP S, W, V, T c S~V{W{TSP S, W, W, P c S~W{W{PSP S, W, W, X c (S{XW)~WSP S, W, X, O c S~W{X{OSP S, W, X, P c S~W{X~PSP S, W, X, R c S~X{W|RSP S, W, X, S c S~(W{XS)SP S, W, X, T c S{X~T|WSP S, W, X, U c S~U{W{XSP S, W, X, W c (S{XW)~WSP S, X, O, T c S~X{O{TSP S, X, O, W c (S{O)~W{XSP S, X, P, P c S~(X{P){PSP S, X, P, S c S~X{P{SSP S, X, P, T c S~X{P~TSP S, X, P, U c S~X|P{USP S, X, P, V c S~(P{V){XSP S, X, P, W c S~P~W{XSP S, X, P, X c S~(X|P){XSP S, X, Q, R c S~X{Q{RSP S, X, Q, S c S~Q~S{XSP S, X, Q, U c S~(Q{U){XSP S, X, Q, V c S~X|Q{VSP S, X, R, Q c (S{X)~R{QSP S, X, R, T c S~(R{T){XSP S, X, R, U c (X{U)~R|SSP S, X, R, V c S~(X{R)|VSP S, X, R, W c S~X|R{WSP S, X, S, P c S{X~S{PSP S, X, S, Q c S~S~Q{XSP S, X, S, S c (S{S)~S{XSP S, X, S, T c S~(X{TS)SP S, X, S, V c S{X{S~VSP S, X, S, W c S~(XS{W)SP S, X, S, X c S~X|S{XSP S, X, T, O c S~X{T{OSP S, X, T, P c S~X{T~PSP S, X, T, R c S~(T{R){XSP S, X, T, S c S~(X{TS)SP S, X, T, T c (X|ST)~TSP S, X, T, U c (S{U)~T|XSP S, X, T, W c S{X~T|WSP S, X, T, X c (S{TX)~XSP S, X, U, P c S~X{U|PSP S, X, U, Q c S~(U{Q){XSP S, X, U, R c (X{U)~R|SSP S, X, U, T c (S{U)~T|XSP S, X, U, U c X|S{U~USP S, X, U, V c (X|S)~V{USP S, X, U, W c S~U{X{WSP S, X, U, X c (X~U)|(S{X)SP S, X, V, P c S~(V{P){XSP S, X, V, Q c S~X{V|QSP S, X, V, R c S~(X{R)|VSP S, X, V, S c S{X{V~SSP S, X, V, U c (X|S)~V{USP S, X, W, O c S~W{X{OSP S, X, W, P c S~W{X~PSP S, X, W, R c S~X{W|RSP S, X, W, S c S~(XS{W)SP S, X, W, T c S{X~T|WSP S, X, W, U c S~U{X{WSP S, X, W, W c (S{XW)~WSP S, X, X, P c S~(X|P){XSP S, X, X, S c S~X{X|SSP S, X, X, T c (S{TX)~XSP S, X, X, U c (X~U)|(S{X)SP T, O, P, W c (T{O)~W{PSP T, O, S, X c T{O{S~XSP T, O, U, U c T{O{U~USP T, O, U, V c (T{O)~V{USP T, O, V, U c (T{O)~V{USP T, O, W, P c (T{O)~W{PSP T, O, X, S c T{O{X~SSP T, P, O, W c (T{O)~W{PSP T, P, P, V c (T{P)~V|PSP T, P, P, W c T~P~W{PSP T, P, P, X c T~(X|P){PSP T, P, Q, S c T~Q~S{PSP T, P, Q, U c (T{Q)~U|PSP T, P, Q, W c T~W|P{QSP T, P, R, T c (T{R)~T{PSP T, P, R, X c T{(P{R)~XSP T, P, S, Q c T~S~Q{PSP T, P, S, S c T~(S{S){PSP T, P, S, T c (T{T)~S{PSP T, P, S, W c T{(P{W)~SSP T, P, S, X c T{P~S~XSP T, P, T, R c T~(T{R){PSP T, P, T, S c (T{T)~S{PSP T, P, T, U c T{(P{T)~USP T, P, T, V c T{P{T~VSP T, P, T, W c T~(PT{W)SP T, P, T, X c (T|P)~X{TSP T, P, U, Q c T~(U{Q){PSP T, P, U, T c (T{P)~U{TSP T, P, U, U c T{P~U~USP T, P, U, V c T~P~V{USP T, P, U, W c T~(W|P){USP T, P, V, P c (T{P)~V|PSP T, P, V, T c T{P{V~TSP T, P, V, U c T~P~V{USP T, P, V, V c T~V|P{VSP T, P, V, W c (T{P)~W|VSP T, P, W, O c T~W{P{OSP T, P, W, P c T~P~W{PSP T, P, W, Q c T~W|P{QSP T, P, W, S c T{(P{W)~SSP T, P, W, T c T~(PT{W)SP T, P, W, U c T~(W|P){USP T, P, W, V c (T{P)~W|VSP T, P, W, W c (T{PW)~WSP T, P, W, X c (T|P)~W{XSP T, P, X, P c T~(X|P){PSP T, P, X, R c T{(P{R)~XSP T, P, X, S c T{P~X~SSP T, P, X, T c (T|P)~X{TSP T, P, X, W c (T|P)~W{XSP T, P, X, X c T~(P{X)|XSP T, Q, P, S c T~Q~S{PSP T, Q, P, U c (T{Q)~U|PSP T, Q, P, W c T~W{Q|PSP T, Q, Q, W c T~W{QQSP T, Q, Q, X c T{(Q{Q)~XSP T, Q, R, U c T{Q~R~USP T, Q, R, V c T~V{Q~RSP T, Q, R, W c T~W|Q{RSP T, Q, S, P c T~Q~S{PSP T, Q, S, U c T{(Q{S)~USP T, Q, S, V c T{(Q{V)~SSP T, Q, T, U c (T{Q)~T{USP T, Q, T, W c T~T{Q~WSP T, Q, T, X c T~Q~T|XSP T, Q, U, P c (T{Q)~U|PSP T, Q, U, R c T{Q~U~RSP T, Q, U, S c T{(Q{S)~USP T, Q, U, T c (T{Q)~T{USP T, Q, U, W c T{U~(W|Q)SP T, Q, U, X c T{(U|Q)~XSP T, Q, V, R c T~V{Q~RSP T, Q, V, S c T{(Q{V)~SSP T, Q, V, W c (T{Q)~V|WSP T, Q, W, P c T~W{Q|PSP T, Q, W, Q c T~W{QQSP T, Q, W, R c T~W|Q{RSP T, Q, W, T c T~T{Q~WSP T, Q, W, U c T{(W|Q)~USP T, Q, W, V c (T{Q)~V|WSP T, Q, W, X c T~(Q{W)|XSP T, Q, X, Q c T{Q~X~QSP T, Q, X, T c T~Q~T|XSP T, Q, X, U c T~X{Q|USP T, Q, X, W c T~(Q{W)|XSP T, Q, X, X c T{Q~(X{X)SP T, R, P, T c (T{R)~T{PSP T, R, P, X c T{(R{P)~XSP T, R, Q, U c T{R~Q~USP T, R, Q, V c T~V{R~QSP T, R, Q, W c (T{W)~R{QSP T, R, R, S c T{R~R~SSP T, R, R, U c T{(R{R)~USP T, R, R, V c T~V{R{RSP T, R, R, W c T~W{RRSP T, R, R, X c T{R~(R{X)SP T, R, S, R c T{R~S~RSP T, R, S, U c T~(R{S){USP T, R, S, V c T~S{R~VSP T, R, S, W c T{R~(S{W)SP T, R, S, X c (T{R)~S{XSP T, R, T, P c (T{R)~T{PSP T, R, T, V c T{R~(T{V)SP T, R, U, Q c T{R~U~QSP T, R, U, R c T{(R{R)~USP T, R, U, S c T{(R{U)~SSP T, R, U, U c T{R~(U{U)SP T, R, U, V c (T{R)~U|VSP T, R, U, W c (T{U)~R{WSP T, R, U, X c T{U~(X|R)SP T, R, V, Q c T~V{R~QSP T, R, V, R c T~V{R{RSP T, R, V, S c T~S{R~VSP T, R, V, T c T{R~(V{T)SP T, R, V, U c (T{R)~U|VSP T, R, V, V c (V~V)|(T{R)SP T, R, V, W c V~W|T~RSP T, R, V, X c T~(R{V)|XSP T, R, W, Q c (T{W)~R{QSP T, R, W, R c T~W{RRSP T, R, W, S c T{R~(W{S)SP T, R, W, U c (T{U)~R{WSP T, R, W, V c W~V|T~RSP T, R, X, P c T{(R{P)~XSP T, R, X, R c T{(R{X)~RSP T, R, X, S c (T{R)~S{XSP T, R, X, U c T{(X|R)~USP T, R, X, V c T~(R{V)|XSP T, R, X, X c T{R~X{XSP T, S, O, X c T{(S{O)~XSP T, S, P, Q c T~S~Q{PSP T, S, P, S c T~(S{S){PSP T, S, P, T c (T{T)~S{PSP T, S, P, W c T{S~(P{W)SP T, S, P, X c T{S~P~XSP T, S, Q, P c T~S~Q{PSP T, S, Q, U c T{(S{Q)~USP T, S, Q, V c T{S~(Q{V)SP T, S, R, R c T{S~R~RSP T, S, R, U c T{S~(R{U)SP T, S, R, V c T~S{R~VSP T, S, R, W c T{(S{W)~RSP T, S, R, X c (T{R)~S{XSP T, S, S, P c T~(S{S){PSP T, S, S, T c (T{S)~S{TSP T, S, S, W c T{S{S~WSP T, S, S, X c (TS{X)~SSP T, S, T, P c (T{T)~S{PSP T, S, T, S c T{(S{T)~SSP T, S, T, W c T|S{T~WSP T, S, T, X c T~(X|ST)SP T, S, U, Q c T{(S{Q)~USP T, S, U, R c T{S~(U{R)SP T, S, U, V c T~U{S{VSP T, S, U, X c T~(S{U)|XSP T, S, V, Q c T{S~(V{Q)SP T, S, V, R c T~S{V~RSP T, S, V, U c T~U{S{VSP T, S, V, V c (T{V)~S|VSP T, S, V, W c T{S~V{WSP T, S, W, P c T{S~(W{P)SP T, S, W, R c T{(S{W)~RSP T, S, W, S c T{S{W~SSP T, S, W, T c T|S{W~TSP T, S, W, V c T{S~V{WSP T, S, W, X c T{(W|S)~XSP T, S, X, O c T{S~X{OSP T, S, X, P c T{S~X~PSP T, S, X, R c (T{R)~S{XSP T, S, X, S c (TS{X)~SSP T, S, X, T c T~(X|ST)SP T, S, X, U c T~(S{U)|XSP T, S, X, W c T~X{S|WSP T, S, X, X c (T|SX)~XSP T, T, P, R c T~(T{R){PSP T, T, P, S c (T{T)~S{PSP T, T, P, U c T{(T{P)~USP T, T, P, V c T{T~V{PSP T, T, P, W c T~(PT{W)SP T, T, P, X c T{(T|P)~XSP T, T, Q, U c T~(T{Q){USP T, T, Q, W c T~T{Q~WSP T, T, Q, X c T~T~Q|XSP T, T, R, P c T~(T{R){PSP T, T, R, V c T{(T{V)~RSP T, T, S, P c (T{T)~S{PSP T, T, S, S c T{(T{S)~SSP T, T, S, W c T{T~W|SSP T, T, S, X c T~(X|ST)SP T, T, T, W c TT{T~WSP T, T, T, X c (T{T)~T|XSP T, T, U, P c T{(T{P)~USP T, T, U, Q c T~(T{Q){USP T, T, U, U c T{T~U{USP T, T, U, V c T~(UT{V)SP T, T, U, W c T~W|T{USP T, T, V, P c T{T~V{PSP T, T, V, R c T{(T{V)~RSP T, T, V, U c T~(V{UT)SP T, T, V, X c T~T{V{XSP T, T, W, P c T~(W{PT)SP T, T, W, Q c T~T{W~QSP T, T, W, S c T{T~W|SSP T, T, W, T c TT{W~TSP T, T, W, U c T~W|T{USP T, T, W, W c T~T{W{WSP T, T, X, P c T{(T|P)~XSP T, T, X, Q c T~T~Q|XSP T, T, X, S c T~(X|ST)SP T, T, X, T c (T{T)~T|XSP T, T, X, V c T~T{X{VSP T, T, X, X c T{T~X|XSP T, U, O, U c T{(U{O)~USP T, U, O, V c (T{O)~V{USP T, U, P, Q c T~(U{Q){PSP T, U, P, T c T{U~(P{T)SP T, U, P, U c T{U~P~USP T, U, P, V c T{U~(V|P)SP T, U, P, W c T~(W|P){USP T, U, Q, P c T~(U{Q){PSP T, U, Q, R c T{U~Q~RSP T, U, Q, S c T{U~(Q{S)SP T, U, Q, T c (T{Q)~T{USP T, U, Q, W c T{U~(W|Q)SP T, U, Q, X c T{(U|Q)~XSP T, U, R, Q c T{U~R~QSP T, U, R, R c T{U~(R{R)SP T, U, R, S c T{(U{R)~SSP T, U, R, U c T{(U{U)~RSP T, U, R, V c (T{R)~U|VSP T, U, R, W c (T{U)~R{WSP T, U, R, X c T{U~(X|R)SP T, U, S, Q c T{U~(S{Q)SP T, U, S, R c (T{U)~S|RSP T, U, S, V c T~U{S{VSP T, U, S, X c T~(U{S)|XSP T, U, T, P c T{U~(T{P)SP T, U, T, Q c T~(T{Q){USP T, U, T, U c T{U{T~USP T, U, T, V c T~(UT{V)SP T, U, T, W c T~W{U|TSP T, U, U, O c T{U~U{OSP T, U, U, P c T{U~U~PSP T, U, U, R c T{(U{U)~RSP T, U, U, T c T{U{U~TSP T, U, U, U c (TU{U)~USP T, U, U, V c T{U~V|USP T, U, U, W c T~W{UUSP T, U, V, O c T~V{U{OSP T, U, V, P c T{U~(V|P)SP T, U, V, R c (T{R)~U|VSP T, U, V, S c T~U{V{SSP T, U, V, T c T~(UT{V)SP T, U, V, U c T{U~V|USP T, U, V, V c (T{UV)~VSP T, U, V, W c T~W|U{VSP T, U, W, P c T~(W|P){USP T, U, W, Q c T{U~(W|Q)SP T, U, W, R c T~U{W{RSP T, U, W, T c T~W{U|TSP T, U, W, U c T~W{UUSP T, U, W, V c T~W|U{VSP T, U, W, X c (U~X)|(T{W)SP T, U, X, Q c T~U{X{QSP T, U, X, R c T{U~(X|R)SP T, U, X, S c T~(U{S)|XSP T, U, X, W c (U~X)|(T{W)SP T, V, O, U c T~V{O{USP T, V, P, P c T~(V{P){PSP T, V, P, T c T~V{P{TSP T, V, P, U c T{(V|P)~USP T, V, P, V c T~V|P{VSP T, V, P, W c (T{P)~W|VSP T, V, Q, R c T~V{Q~RSP T, V, Q, S c T{(V{Q)~SSP T, V, Q, W c T~V|Q{WSP T, V, R, Q c T~V{R~QSP T, V, R, R c T~V{R{RSP T, V, R, S c T~S{V~RSP T, V, R, T c (T{V)~R{TSP T, V, R, U c (T{R)~U|VSP T, V, R, V c (V~V)|(T{R)SP T, V, R, W c V~W|T~RSP T, V, R, X c T{(V|R)~XSP T, V, S, Q c T~V{S{QSP T, V, S, R c T~S{V~RSP T, V, S, U c T~U{V{SSP T, V, S, V c (T{V)~S|VSP T, V, S, W c T{V~S{WSP T, V, T, P c T{V~T{PSP T, V, T, R c T{(V{T)~RSP T, V, T, U c T~(V{UT)SP T, V, T, X c T~T{V{XSP T, V, U, O c T~V{U{OSP T, V, U, P c T~V{U~PSP T, V, U, R c (T{R)~U|VSP T, V, U, S c T~U{V{SSP T, V, U, T c T~(V{UT)SP T, V, U, U c T{V~U|USP T, V, U, V c (T{UV)~VSP T, V, U, W c T~W{V|USP T, V, V, P c T~V{V|PSP T, V, V, R c (V~V)|(T{R)SP T, V, V, S c (T{V)~S|VSP T, V, V, U c (T{UV)~VSP T, V, V, W c T~W{VVSP T, V, W, P c (T{P)~W|VSP T, V, W, Q c T~V{W|QSP T, V, W, R c V~W|T~RSP T, V, W, S c T{V~S{WSP T, V, W, U c T~W{V|USP T, V, W, V c T~W{VVSP T, V, W, W c T~W|V{WSP T, V, X, R c T~V{X|RSP T, V, X, T c T~T{V{XSP T, W, O, P c T~W{O{PSP T, W, P, O c T~W{P{OSP T, W, P, P c T~W{P~PSP T, W, P, Q c T~W|P{QSP T, W, P, S c T{(W{P)~SSP T, W, P, T c T~(W{PT)SP T, W, P, U c T~(W|P){USP T, W, P, V c (T{P)~W|VSP T, W, P, W c (T{PW)~WSP T, W, P, X c (T|P)~W{XSP T, W, Q, P c T~W{Q|PSP T, W, Q, Q c T~W{QQSP T, W, Q, R c T~W|Q{RSP T, W, Q, T c T~T{W~QSP T, W, Q, U c T{(W|Q)~USP T, W, Q, V c (T{Q)~V|WSP T, W, Q, X c T{WQ~XSP T, W, R, Q c (T{W)~R{QSP T, W, R, R c T~W{RRSP T, W, R, S c T~W|R{SSP T, W, R, U c T~U{W{RSP T, W, R, V c W~V|T~RSP T, W, S, P c T{(W{P)~SSP T, W, S, R c T{(W{S)~RSP T, W, S, S c T{W~S{SSP T, W, S, T c T~W|S{TSP T, W, S, V c T{W{S~VSP T, W, S, X c T{(W|S)~XSP T, W, T, P c T~(W{PT)SP T, W, T, Q c T~T{W~QSP T, W, T, S c T{W~T|SSP T, W, T, T c T~W{TTSP T, W, T, U c T~W|T{USP T, W, T, W c T~T{W{WSP T, W, U, P c T~(W|P){USP T, W, U, Q c T{(W|Q)~USP T, W, U, R c T~U{W{RSP T, W, U, T c T~W{U|TSP T, W, U, U c T~W{UUSP T, W, U, V c T~W|U{VSP T, W, U, X c (U~X)|(T{W)SP T, W, V, P c (T{P)~W|VSP T, W, V, Q c T~V{W|QSP T, W, V, R c W~V|T~RSP T, W, V, S c T{W{V~SSP T, W, V, U c T~W{V|USP T, W, V, V c T~W{VVSP T, W, V, W c T~W|V{WSP T, W, W, P c (T{PW)~WSP T, W, W, T c T~T{W{WSP T, W, W, V c T~W{W|VSP T, W, W, W c T~W{WWSP T, W, W, X c T~W|W{XSP T, W, X, P c (T|P)~W{XSP T, W, X, Q c T{W~XQSP T, W, X, S c T{(W|S)~XSP T, W, X, U c (X~U)|(T{W)SP T, W, X, W c T~W{X|WSP T, W, X, X c T~W{XXSP T, X, O, S c T{(X{O)~SSP T, X, P, P c T~(X|P){PSP T, X, P, R c T{X~(P{R)SP T, X, P, S c T{X~P~SSP T, X, P, T c T~X{P|TSP T, X, P, W c (T|P)~W{XSP T, X, P, X c T~(X{P)|XSP T, X, Q, Q c T{X~(Q{Q)SP T, X, Q, T c T~Q~T|XSP T, X, Q, U c T~X{Q|USP T, X, Q, W c T{XQ~WSP T, X, Q, X c T{(X{X)~QSP T, X, R, P c T{X~(R{P)SP T, X, R, R c T{(X{R)~RSP T, X, R, S c (T{R)~S{XSP T, X, R, U c T{(X|R)~USP T, X, R, V c T~X{R|VSP T, X, R, X c T{X{R~XSP T, X, S, O c T{X~S{OSP T, X, S, P c T{X~S~PSP T, X, S, R c (T{R)~S{XSP T, X, S, S c (TS{X)~SSP T, X, S, T c T~(X|ST)SP T, X, S, U c T~(S{U)|XSP T, X, S, W c T~X{S|WSP T, X, S, X c (TX{S)~XSP T, X, T, P c T{X~(T|P)SP T, X, T, Q c T~T~Q|XSP T, X, T, S c T~(X|ST)SP T, X, T, T c (T{T)~T|XSP T, X, T, V c T~T{X{VSP T, X, T, X c T{(X|T)~XSP T, X, U, Q c T{X~(U|Q)SP T, X, U, R c T{(X|R)~USP T, X, U, S c T~(U{S)|XSP T, X, U, W c (X~U)|(T{W)SP T, X, V, R c T{X~(V|R)SP T, X, V, T c T~T{X{VSP T, X, W, P c (T|P)~W{XSP T, X, W, Q c T{X~WQSP T, X, W, S c T{X~(W|S)SP T, X, W, U c (X~U)|(T{W)SP T, X, W, W c T~W{X|WSP T, X, W, X c T~W{XXSP T, X, X, P c T~(X{P)|XSP T, X, X, Q c T{(X{X)~QSP T, X, X, R c T{X{X~RSP T, X, X, S c (TX{S)~XSP T, X, X, T c T{X~(X|T)SP T, X, X, W c T~W{XXSP U, O, P, V c (U{O)~V|PSP U, O, T, U c (U{O)~U{TSP U, O, T, V c U{O{T~VSP U, O, U, T c (U{O)~U{TSP U, O, V, P c (U{O)~V|PSP U, O, V, T c U{O{V~TSP U, O, V, W c (U{O)~W|VSP U, O, W, V c (U{O)~W|VSP U, P, O, V c (U{O)~V|PSP U, P, P, U c (U{P)~U|PSP U, P, P, V c U~P~V|PSP U, P, P, W c (U|P)~W{PSP U, P, Q, T c (U{Q)~T{PSP U, P, Q, V c U~V{P|QSP U, P, Q, X c U~(X|Q)|PSP U, P, R, S c U~(R{S)|PSP U, P, R, W c (U{W)~R|PSP U, P, S, R c U~(S{R)|PSP U, P, S, S c (U{S)~S{PSP U, P, S, U c U~U{P{SSP U, P, S, V c U{(P{S)~VSP U, P, S, X c U|P{S~XSP U, P, T, Q c U~(T{Q)|PSP U, P, T, T c U~(P{T){TSP U, P, T, U c (U{P)~T{USP U, P, T, V c U{P~T~VSP U, P, T, W c U{T~(W|P)SP U, P, U, P c (U{P)~U|PSP U, P, U, S c U~U{P{SSP U, P, U, T c U{(P{U)~TSP U, P, U, U c U|P{U~USP U, P, U, V c (U|P)~V{USP U, P, U, W c (U~W)|(P{U)SP U, P, V, O c U~V|P{OSP U, P, V, P c U~P~V|PSP U, P, V, Q c U~V{P|QSP U, P, V, S c U{(P{S)~VSP U, P, V, T c U{P~V~TSP U, P, V, U c (U|P)~V{USP U, P, V, V c (U|PV)~VSP U, P, V, W c (U{P)~V|WSP U, P, V, X c U~(X|P)|VSP U, P, W, P c (U|P)~W{PSP U, P, W, R c (U{W)~R|PSP U, P, W, T c U{(W|P)~TSP U, P, W, U c (U~W)|(P{U)SP U, P, W, V c U~P~W|VSP U, P, W, W c U~W{P|WSP U, P, X, Q c U~(X|Q)|PSP U, P, X, S c U|P{X~SSP U, P, X, V c U~(X|P)|VSP U, Q, P, T c (U{Q)~T{PSP U, Q, P, V c U~V|Q{PSP U, Q, P, X c U~(X|Q)|PSP U, Q, Q, V c U~V|QQSP U, Q, R, T c U~Q~R{TSP U, Q, R, U c U~U{Q{RSP U, Q, R, V c U{(Q{R)~VSP U, Q, S, T c U~(Q{S){TSP U, Q, S, V c U~Q~S|VSP U, Q, S, X c (U{Q)~S{XSP U, Q, T, P c (U{Q)~T{PSP U, Q, T, R c U~Q~R{TSP U, Q, T, S c U~(Q{S){TSP U, Q, T, T c U{(Q{T)~TSP U, Q, T, W c (U~W)|(Q{T)SP U, Q, T, X c (U|Q)~X{TSP U, Q, U, R c U~U{Q{RSP U, Q, U, V c (U{Q)~U|VSP U, Q, V, P c U~V|Q{PSP U, Q, V, Q c U~V|QQSP U, Q, V, R c U{(Q{R)~VSP U, Q, V, S c U~Q~S|VSP U, Q, V, U c (U{Q)~U|VSP U, Q, V, V c U{(V|Q)~VSP U, Q, W, T c (U~W)|(Q{T)SP U, Q, W, X c (U|Q)~W{XSP U, Q, X, P c U~(X|Q)|PSP U, Q, X, S c (U{Q)~S{XSP U, Q, X, T c (U|Q)~X{TSP U, Q, X, W c (U|Q)~W{XSP U, R, P, S c U~(R{S)|PSP U, R, P, W c (U{W)~R|PSP U, R, Q, T c U~R~Q{TSP U, R, Q, U c U~U{R{QSP U, R, Q, V c U{(R{Q)~VSP U, R, R, T c U~(R{R){TSP U, R, R, V c U~V|RRSP U, R, S, P c U~(R{S)|PSP U, R, S, T c U{(R{S)~TSP U, R, S, V c U~V{R|SSP U, R, S, W c U{R{S~WSP U, R, S, X c (U{X)~R|SSP U, R, T, Q c U~R~Q{TSP U, R, T, R c U~(R{R){TSP U, R, T, S c (U{R)~T|SSP U, R, T, U c (U{U)~R{TSP U, R, T, V c U~(R{T)|VSP U, R, T, W c (U{T)~R{WSP U, R, T, X c U~(X|R){TSP U, R, U, Q c U~U{R{QSP U, R, U, T c (U{U)~R{TSP U, R, U, W c U~U|R{WSP U, R, V, Q c U{(R{Q)~VSP U, R, V, R c U~V|RRSP U, R, V, S c U~V{R|SSP U, R, V, T c U~(R{T)|VSP U, R, V, W c U{V~(W|R)SP U, R, W, P c (U{W)~R|PSP U, R, W, S c U{R{W~SSP U, R, W, T c (U{T)~R{WSP U, R, W, U c U~U|R{WSP U, R, W, V c U{(W|R)~VSP U, R, W, X c U{R~X{WSP U, R, X, S c (U{X)~R|SSP U, R, X, T c U~(X|R){TSP U, R, X, W c U{R~X{WSP U, S, P, R c U~(S{R)|PSP U, S, P, S c (U{S)~S{PSP U, S, P, U c U~U{S{PSP U, S, P, V c U{(S{P)~VSP U, S, P, X c U{S~X|PSP U, S, Q, T c U~(S{Q){TSP U, S, Q, V c U~S~Q|VSP U, S, Q, X c (U{Q)~S{XSP U, S, R, P c U~(S{R)|PSP U, S, R, T c U{(S{R)~TSP U, S, R, V c U~V|S{RSP U, S, R, W c U{S~W{RSP U, S, R, X c (U{X)~R|SSP U, S, S, P c (U{S)~S{PSP U, S, S, V c U~(S{S)|VSP U, S, T, Q c U~(S{Q){TSP U, S, T, R c U{(S{R)~TSP U, S, T, V c U~T{S{VSP U, S, T, X c (U{S)~T|XSP U, S, U, P c U~U{S{PSP U, S, U, V c (U{U)~S|VSP U, S, U, X c U~U|S{XSP U, S, V, P c U{(S{P)~VSP U, S, V, Q c U~S~Q|VSP U, S, V, R c U~V|S{RSP U, S, V, S c U~(S{S)|VSP U, S, V, T c U~V{S|TSP U, S, V, U c (U{U)~S|VSP U, S, V, V c U{S~V{VSP U, S, V, X c U{V~(X|S)SP U, S, W, R c U{S~W{RSP U, S, W, X c U~S{W{XSP U, S, X, P c U{S~X|PSP U, S, X, Q c (U{Q)~S{XSP U, S, X, R c (U{X)~R|SSP U, S, X, T c (U{S)~T|XSP U, S, X, U c U~U|S{XSP U, S, X, V c U{(X|S)~VSP U, S, X, W c U~S{X{WSP U, S, X, X c (U~X)|(S{X)SP U, T, O, U c (U{O)~U{TSP U, T, O, V c U{(T{O)~VSP U, T, P, Q c U~(T{Q)|PSP U, T, P, T c U~(T{P){TSP U, T, P, U c U{T~(P{U)SP U, T, P, V c U{T~P~VSP U, T, P, W c U{T~(W|P)SP U, T, Q, P c U~(T{Q)|PSP U, T, Q, R c U~Q~R{TSP U, T, Q, S c U~(Q{S){TSP U, T, Q, T c U{(T{Q)~TSP U, T, Q, W c (U~W)|(T{Q)SP U, T, Q, X c U~T{Q{XSP U, T, R, Q c U~R~Q{TSP U, T, R, R c U~(R{R){TSP U, T, R, S c U{T~(R{S)SP U, T, R, U c (U{U)~R{TSP U, T, R, V c U~(T{R)|VSP U, T, R, W c (U{T)~R{WSP U, T, R, X c U~(X|R){TSP U, T, S, Q c U~(S{Q){TSP U, T, S, R c U{T~(S{R)SP U, T, S, V c U~T{S{VSP U, T, S, X c (U{S)~T|XSP U, T, T, P c U~(T{P){TSP U, T, T, Q c U{T~(T{Q)SP U, T, T, U c U{T{T~USP U, T, T, V c (UT{V)~TSP U, T, T, W c U|T{T~WSP U, T, U, O c U~U{T{OSP U, T, U, P c U{T~(U{P)SP U, T, U, R c (U{U)~R{TSP U, T, U, T c U{T{U~TSP U, T, U, U c (U{TU)~USP U, T, U, V c U~V{T|USP U, T, U, W c UU{T~WSP U, T, V, O c U{T~V{OSP U, T, V, P c U{T~V~PSP U, T, V, R c U~(T{R)|VSP U, T, V, S c U~T{V{SSP U, T, V, T c (UT{V)~TSP U, T, V, U c U~V{T|USP U, T, V, V c (UV{T)~VSP U, T, V, W c T~W|U{VSP U, T, W, P c U{T~(W|P)SP U, T, W, Q c (U~W)|(T{Q)SP U, T, W, R c U~T{W{RSP U, T, W, T c U{T~W|TSP U, T, W, U c UU{T~WSP U, T, W, V c T~W|U{VSP U, T, W, X c (U~X)|(T{W)SP U, T, X, Q c U{T~(X|Q)SP U, T, X, R c U~(X|R){TSP U, T, X, S c (U{S)~T|XSP U, T, X, W c (U~X)|(T{W)SP U, U, O, T c U~U{O{TSP U, U, P, P c U~(U{P)|PSP U, U, P, S c U~U{P{SSP U, U, P, T c U{(U{P)~TSP U, U, P, U c U~U|P{USP U, U, P, V c U{(U|P)~VSP U, U, P, W c (U~W)|(U{P)SP U, U, Q, R c U~U{Q{RSP U, U, Q, V c U~(U{Q)|VSP U, U, R, Q c U~U{R{QSP U, U, R, T c (U{U)~R{TSP U, U, R, W c U~U|R{WSP U, U, S, P c U~U{S{PSP U, U, S, V c (U{U)~S|VSP U, U, S, X c U~U|S{XSP U, U, T, O c U~U{T{OSP U, U, T, P c U~U{T~PSP U, U, T, R c (U{U)~R{TSP U, U, T, T c U{U~T{TSP U, U, T, U c U~(U{TU)SP U, U, T, V c U~V|U{TSP U, U, T, W c UU{T~WSP U, U, U, P c U{U~U|PSP U, U, U, T c U~(U{TU)SP U, U, U, V c U~V|UUSP U, U, V, P c U{(U|P)~VSP U, U, V, Q c U~U{V|QSP U, U, V, S c (U{U)~S|VSP U, U, V, T c U~V|U{TSP U, U, V, U c U~V|UUSP U, U, V, V c U{U~V|VSP U, U, V, W c U~(W|VU)SP U, U, V, X c (U~X)|(U{V)SP U, U, W, P c (U~W)|(U{P)SP U, U, W, R c U~U{W|RSP U, U, W, T c UU{W~TSP U, U, W, V c U~(W|VU)SP U, U, X, S c U~U{X|SSP U, U, X, V c (U~X)|(U{V)SP U, V, O, P c U~V{O|PSP U, V, O, T c U{(V{O)~TSP U, V, O, W c (U{O)~W|VSP U, V, P, O c U~V|P{OSP U, V, P, P c U~V|P~PSP U, V, P, Q c U~V{P|QSP U, V, P, S c U{V~(P{S)SP U, V, P, T c U{V~P~TSP U, V, P, U c U~(V|PU)SP U, V, P, V c U~(V{P)|VSP U, V, P, W c (U{P)~V|WSP U, V, P, X c U~(X|P)|VSP U, V, Q, P c U~V|Q{PSP U, V, Q, Q c U~V|QQSP U, V, Q, R c U{V~(Q{R)SP U, V, Q, S c U~Q~S|VSP U, V, Q, U c (U{Q)~U|VSP U, V, Q, V c U{(V|Q)~VSP U, V, R, Q c (U{V)~R{QSP U, V, R, R c U~V|RRSP U, V, R, S c U~V{R|SSP U, V, R, T c U~(R{T)|VSP U, V, R, W c U{V~(W|R)SP U, V, S, P c U{V~(S{P)SP U, V, S, Q c U~S~Q|VSP U, V, S, R c U~V|S{RSP U, V, S, S c U~V|SSSP U, V, S, T c U~V{S|TSP U, V, S, U c (U{U)~S|VSP U, V, S, V c U{V{S~VSP U, V, S, X c U{V~(X|S)SP U, V, T, O c U{V~T{OSP U, V, T, P c U{V~T~PSP U, V, T, R c U~(T{R)|VSP U, V, T, S c U~V|T{SSP U, V, T, T c U~V|TTSP U, V, T, U c U~V{T|USP U, V, T, V c (UV{T)~VSP U, V, T, W c V|U{T~WSP U, V, U, P c U{V~(U|P)SP U, V, U, Q c U~U{V|QSP U, V, U, S c (U{U)~S|VSP U, V, U, T c U~V|U{TSP U, V, U, U c U~V|UUSP U, V, U, V c U{V~U|VSP U, V, U, W c U~(W|VU)SP U, V, U, X c (U~X)|(V{U)SP U, V, V, P c U~(V{P)|VSP U, V, V, Q c U{V~(V|Q)SP U, V, V, S c U{V{V~SSP U, V, V, T c (UV{T)~VSP U, V, V, U c U~V|V{USP U, V, V, V c U~V|VVSP U, V, V, W c U~V{V|WSP U, V, W, O c U~W|V{OSP U, V, W, P c U~W|V~PSP U, V, W, R c U{V~(W|R)SP U, V, W, T c V|U{W~TSP U, V, W, U c U~(W|VU)SP U, V, W, V c U~V|W{VSP U, V, W, W c (U|VW)~WSP U, V, W, X c U~V{W|XSP U, V, X, P c U~(X|P)|VSP U, V, X, S c U{V~(X|S)SP U, V, X, U c (U~X)|(V{U)SP U, V, X, W c U~V|X{WSP U, V, X, X c U~V|XXSP U, W, O, V c U~W{O|VSP U, W, P, P c U~(W|P)|PSP U, W, P, R c (U{W)~R|PSP U, W, P, T c U{(W|P)~TSP U, W, P, U c (U~W)|(P{U)SP U, W, P, V c U~W|P~VSP U, W, P, W c U~W{P|WSP U, W, Q, T c (U~W)|(Q{T)SP U, W, Q, X c U~W{Q|XSP U, W, R, P c (U{W)~R|PSP U, W, R, S c (U~W)|(R{S)SP U, W, R, T c U~T{W{RSP U, W, R, U c U~U{W|RSP U, W, R, V c U{(W|R)~VSP U, W, R, X c U{W{R~XSP U, W, S, R c U{W~S{RSP U, W, S, X c U~S{W{XSP U, W, T, P c U{(W|P)~TSP U, W, T, Q c (U~W)|(T{Q)SP U, W, T, R c U~T{W{RSP U, W, T, T c U{W~T|TSP U, W, T, U c UU{W~TSP U, W, T, V c W~T|U{VSP U, W, T, X c (U~X)|(W{T)SP U, W, U, P c (U~W)|(U{P)SP U, W, U, R c U~U{W|RSP U, W, U, T c UU{W~TSP U, W, U, V c U~(W|VU)SP U, W, V, O c U~W|V{OSP U, W, V, P c U~W|V~PSP U, W, V, R c U{(W|R)~VSP U, W, V, T c W~T|U{VSP U, W, V, U c U~(W|VU)SP U, W, V, V c U~V|W{VSP U, W, V, W c (U|VW)~WSP U, W, V, X c U~V{W|XSP U, W, W, P c U~W|W{PSP U, W, W, V c (U|VW)~WSP U, W, X, Q c U~W|X{QSP U, W, X, R c U{W{X~RSP U, W, X, S c U~S{W{XSP U, W, X, T c (U~X)|(W{T)SP U, W, X, V c U~V{W|XSP U, X, P, Q c U~(X|Q)|PSP U, X, P, S c U{X~S|PSP U, X, P, V c U~(X|P)|VSP U, X, Q, P c U~(X|Q)|PSP U, X, Q, S c (U{Q)~S{XSP U, X, Q, T c U{(X|Q)~TSP U, X, Q, W c (U|Q)~W{XSP U, X, R, S c (U{X)~R|SSP U, X, R, T c U~(X|R){TSP U, X, R, W c U{X~R{WSP U, X, S, P c U{X~S|PSP U, X, S, Q c (U{Q)~S{XSP U, X, S, R c (U{X)~R|SSP U, X, S, T c (U{S)~T|XSP U, X, S, U c U~U{X|SSP U, X, S, V c U{(X|S)~VSP U, X, S, W c U~S{X{WSP U, X, S, X c (U~X)|(S{X)SP U, X, T, Q c U{(X|Q)~TSP U, X, T, R c U~(X|R){TSP U, X, T, S c (U{S)~T|XSP U, X, T, W c (U~X)|(T{W)SP U, X, U, S c U~U{X|SSP U, X, U, V c (U~X)|(U{V)SP U, X, V, P c U~(X|P)|VSP U, X, V, S c U{(X|S)~VSP U, X, V, U c (U~X)|(V{U)SP U, X, V, W c U~V|X{WSP U, X, V, X c U~V|XXSP U, X, W, Q c U~W|X{QSP U, X, W, R c U{X~R{WSP U, X, W, S c U~S{X{WSP U, X, W, T c (U~X)|(W{T)SP U, X, W, V c U~V|X{WSP U, X, X, S c (U~X)|(X{S)SP U, X, X, V c U~V|XXSP V, O, P, U c (V{O)~U|PSP V, O, T, U c (V{O)~T{USP V, O, U, P c (V{O)~U|PSP V, O, U, T c (V{O)~T{USP V, O, U, W c O{U~W|VSP V, O, V, W c (V{O)~V|WSP V, O, W, U c O{W~U|VSP V, O, W, V c (V{O)~V|WSP V, P, O, U c (V{O)~U|PSP V, P, P, T c (V{P)~T{PSP V, P, P, U c V~P~U|PSP V, P, P, V c (V|P)~V|PSP V, P, Q, R c V~Q~R|PSP V, P, Q, S c V~(Q{S)|PSP V, P, Q, U c V~U{P|QSP V, P, Q, W c (V|Q)~W{PSP V, P, R, Q c V~R~Q|PSP V, P, R, R c V~(R{R)|PSP V, P, R, S c (V{R)~S{PSP V, P, R, V c (V{V)~R|PSP V, P, R, X c V~(X|R)|PSP V, P, S, Q c V~(S{Q)|PSP V, P, S, R c (V{R)~S{PSP V, P, S, U c V~(P{S){USP V, P, S, X c (V{P)~S{XSP V, P, T, P c (V{P)~T{PSP V, P, T, T c V~T{P{TSP V, P, T, U c V~P~T{USP V, P, T, V c V|P{T~VSP V, P, T, W c (P{T)~W|VSP V, P, U, O c V~U|P{OSP V, P, U, P c V~P~U|PSP V, P, U, Q c V~U{P|QSP V, P, U, S c V~(P{S){USP V, P, U, T c (V|P)~U{TSP V, P, U, U c (V|PU)~USP V, P, U, V c (V{P)~U|VSP V, P, U, W c V~(P{U)|WSP V, P, U, X c U~(X|P)|VSP V, P, V, P c (V|P)~V|PSP V, P, V, R c (V{V)~R|PSP V, P, V, T c V|P{V~TSP V, P, V, U c (V{P)~U|VSP V, P, V, V c (V~V)|(P{V)SP V, P, V, W c V~P~V|WSP V, P, V, X c V~V{P|XSP V, P, W, Q c V~(W|Q)|PSP V, P, W, T c (P{T)~W|VSP V, P, W, U c V~(P{U)|WSP V, P, W, V c (V|P)~W|VSP V, P, W, W c V~(W|P)|WSP V, P, X, R c V~(X|R)|PSP V, P, X, S c (V{P)~S{XSP V, P, X, U c (X|P)~U|VSP V, P, X, V c V~V{P|XSP V, Q, P, R c V~Q~R|PSP V, Q, P, S c V~(Q{S)|PSP V, Q, P, U c V~U|Q{PSP V, Q, P, W c (V|Q)~W{PSP V, Q, Q, U c V~U|QQSP V, Q, R, P c V~Q~R|PSP V, Q, R, T c V~T{Q~RSP V, Q, R, U c V~(Q{R){USP V, Q, R, W c Q~R~W|VSP V, Q, R, X c V~Q{R~XSP V, Q, S, P c V~(Q{S)|PSP V, Q, S, T c (V{Q)~S{TSP V, Q, S, U c Q~S~U|VSP V, Q, S, V c V~V|Q~SSP V, Q, S, W c V{Q{S~WSP V, Q, S, X c V|Q{S~XSP V, Q, T, R c V~T{Q~RSP V, Q, T, S c (V{Q)~T|SSP V, Q, T, W c V~(Q{T)|WSP V, Q, U, P c V~U|Q{PSP V, Q, U, Q c V~U|QQSP V, Q, U, R c V~(Q{R){USP V, Q, U, S c Q~U~S|VSP V, Q, U, U c V|Q{U~USP V, Q, U, V c (V|Q)~V{USP V, Q, V, S c V~V|Q~SSP V, Q, V, U c (V|Q)~V{USP V, Q, W, P c (V|Q)~W{PSP V, Q, W, R c Q~W~R|VSP V, Q, W, S c V{Q{W~SSP V, Q, W, T c V~(Q{T)|WSP V, Q, W, W c (W|Q)~W|VSP V, Q, W, X c V{Q~(W{X)SP V, Q, X, R c V~Q{X~RSP V, Q, X, S c V|Q{X~SSP V, Q, X, W c V{Q~(X{W)SP V, Q, X, X c (V{X)~Q{XSP V, R, P, Q c V~R~Q|PSP V, R, P, R c V~(R{R)|PSP V, R, P, S c (V{R)~S{PSP V, R, P, V c (V{V)~R|PSP V, R, P, X c V~(X|R)|PSP V, R, Q, P c V~R~Q|PSP V, R, Q, T c V~T{R~QSP V, R, Q, U c V~(R{Q){USP V, R, Q, W c R~Q~W|VSP V, R, Q, X c V~Q{R~XSP V, R, R, P c V~(R{R)|PSP V, R, R, T c V~T{R{RSP V, R, R, U c V~U|RRSP V, R, R, W c (R{R)~W|VSP V, R, S, P c (V{R)~S{PSP V, R, S, S c (V{S)~S|RSP V, R, S, T c V~R{S~TSP V, R, S, U c V~U{R|SSP V, R, S, W c V~(R{S)|WSP V, R, S, X c (R{X)~S|VSP V, R, T, Q c V~T{R~QSP V, R, T, R c V~T{R{RSP V, R, T, S c V~R{T~SSP V, R, T, T c (V{T)~R{TSP V, R, T, U c (R{T)~U|VSP V, R, T, V c (V~V)|(R{T)SP V, R, T, W c V~W|R~TSP V, R, T, X c (V{R)~T|XSP V, R, U, Q c V~(R{Q){USP V, R, U, R c V~U|RRSP V, R, U, S c V~U{R|SSP V, R, U, T c (R{T)~U|VSP V, R, U, W c V~(W|R){USP V, R, V, P c (V{V)~R|PSP V, R, V, T c (V~V)|(R{T)SP V, R, V, X c V{R~X{VSP V, R, W, Q c R~W~Q|VSP V, R, W, R c (R{R)~W|VSP V, R, W, S c V~(R{S)|WSP V, R, W, T c V~W|R~TSP V, R, W, U c V~(W|R){USP V, R, W, W c R~(W{W)|VSP V, R, W, X c (V|R)~W{XSP V, R, X, P c V~(X|R)|PSP V, R, X, Q c V~Q{R~XSP V, R, X, S c (R{X)~S|VSP V, R, X, T c (V|R)~X{TSP V, R, X, V c V{R~X{VSP V, R, X, W c (V|R)~W{XSP V, S, P, Q c V~(S{Q)|PSP V, S, P, R c (V{R)~S{PSP V, S, P, U c V~(S{P){USP V, S, P, X c (V{P)~S{XSP V, S, Q, P c V~(S{Q)|PSP V, S, Q, T c (V{Q)~S{TSP V, S, Q, U c S~Q~U|VSP V, S, Q, V c V~V|S~QSP V, S, Q, W c V{S~W{QSP V, S, Q, X c V{S~X|QSP V, S, R, P c (V{R)~S{PSP V, S, R, S c (V{S)~S|RSP V, S, R, T c V~R{S~TSP V, S, R, U c V~U|S{RSP V, S, R, W c (V{S)~R{WSP V, S, R, X c S~(R{X)|VSP V, S, S, R c (V{S)~S|RSP V, S, S, U c V~U|SSSP V, S, S, V c (V~V)|(S{S)SP V, S, S, W c S~(S{W)|VSP V, S, S, X c V~S{S{XSP V, S, T, Q c V~T{S{QSP V, S, T, R c V~R{S~TSP V, S, T, U c V{S{T~USP V, S, T, V c (V{T)~S|VSP V, S, T, W c V~S{T{WSP V, S, U, P c V~(S{P){USP V, S, U, Q c S~U~Q|VSP V, S, U, R c V~U|S{RSP V, S, U, S c V~U|SSSP V, S, U, T c V{S{U~TSP V, S, U, U c S~(U{U)|VSP V, S, U, V c V~S{U{VSP V, S, U, X c V~(X|S){USP V, S, V, Q c V~V|S~QSP V, S, V, S c (V~V)|(S{S)SP V, S, V, T c (V{T)~S|VSP V, S, V, U c V{S~V{USP V, S, W, Q c V{S~W{QSP V, S, W, R c (V{S)~R{WSP V, S, W, S c (S{W)~S|VSP V, S, W, T c V~S{W{TSP V, S, X, P c (V{P)~S{XSP V, S, X, Q c V{S~X|QSP V, S, X, R c S~(X{R)|VSP V, S, X, S c V~S{X{SSP V, S, X, U c V~(X|S){USP V, T, O, U c V~T{O{USP V, T, P, P c V~(T{P)|PSP V, T, P, T c V~T{P{TSP V, T, P, U c V~T{P~USP V, T, P, V c V~T|P{VSP V, T, P, W c (T{P)~W|VSP V, T, Q, R c V~T{Q~RSP V, T, Q, S c V~T{Q{SSP V, T, Q, W c V~(T{Q)|WSP V, T, R, Q c V~T{R~QSP V, T, R, R c V~T{R{RSP V, T, R, S c V~R{T~SSP V, T, R, T c (V{T)~R{TSP V, T, R, U c (T{R)~U|VSP V, T, R, V c (V~V)|(T{R)SP V, T, R, W c V~W|T~RSP V, T, R, X c V~T|R{XSP V, T, S, Q c V~T{S{QSP V, T, S, R c V~R{T~SSP V, T, S, U c V{T~U{SSP V, T, S, V c (V{T)~S|VSP V, T, S, W c V~S{T{WSP V, T, T, P c V~T{T{PSP V, T, T, R c (V{T)~R{TSP V, T, T, U c (V{UT)~TSP V, T, T, X c V{T~T{XSP V, T, U, O c V~T{U{OSP V, T, U, P c V~T{U~PSP V, T, U, R c (T{R)~U|VSP V, T, U, S c V{T~U{SSP V, T, U, T c (V{UT)~TSP V, T, U, U c V~U{T|USP V, T, U, V c V~(T{UV)SP V, T, U, W c V{T~W|USP V, T, V, P c V{T~V|PSP V, T, V, R c (V~V)|(T{R)SP V, T, V, S c (V{T)~S|VSP V, T, V, U c V~(T{UV)SP V, T, V, W c VV{T~WSP V, T, W, P c (T{P)~W|VSP V, T, W, Q c V~T{W|QSP V, T, W, R c V~W|T~RSP V, T, W, S c V~S{T{WSP V, T, W, U c V{T~W|USP V, T, W, V c VV{T~WSP V, T, W, W c T~W|V{WSP V, T, X, R c V~T{X|RSP V, T, X, T c V{T~T{XSP V, U, O, P c V~U{O|PSP V, U, O, T c (V{O)~T{USP V, U, O, W c (U{O)~W|VSP V, U, P, O c V~U|P{OSP V, U, P, P c V~U|P~PSP V, U, P, Q c V~U{P|QSP V, U, P, S c V~(P{S){USP V, U, P, T c (V|P)~U{TSP V, U, P, U c V~(U|P){USP V, U, P, V c V~(U|PV)SP V, U, P, W c V~(U{P)|WSP V, U, P, X c U~(X|P)|VSP V, U, Q, P c V~U|Q{PSP V, U, Q, Q c V~U|QQSP V, U, Q, R c V~U{Q|RSP V, U, Q, S c U~Q~S|VSP V, U, Q, U c V{U~U|QSP V, U, Q, V c (V|Q)~V{USP V, U, R, Q c (V{U)~R{QSP V, U, R, R c V~U|RRSP V, U, R, S c V~U{R|SSP V, U, R, T c U~(R{T)|VSP V, U, R, W c V~(W|R){USP V, U, S, P c V~(S{P){USP V, U, S, Q c U~S~Q|VSP V, U, S, R c V~U|S{RSP V, U, S, S c V~U|SSSP V, U, S, T c V~U{S|TSP V, U, S, U c (U{U)~S|VSP V, U, S, V c V{U{S~VSP V, U, S, X c V~(X|S){USP V, U, T, O c V~T{U{OSP V, U, T, P c V~T{U~PSP V, U, T, R c U~(T{R)|VSP V, U, T, S c V{U~T{SSP V, U, T, T c (V{UT)~TSP V, U, T, U c V~U{T|USP V, U, T, V c V~(UV{T)SP V, U, T, W c V|U{T~WSP V, U, U, P c V~(U|P){USP V, U, U, Q c V{U~U|QSP V, U, U, S c (U{U)~S|VSP V, U, U, T c V~U|U{TSP V, U, U, U c V~U|UUSP V, U, U, V c V~U{U|VSP V, U, U, W c U~(W|VU)SP V, U, U, X c (U~X)|(V{U)SP V, U, V, P c V~(U|PV)SP V, U, V, Q c (V~V)|(U{Q)SP V, U, V, S c V{U{V~SSP V, U, V, T c V~(UV{T)SP V, U, V, U c V~U|V{USP V, U, V, V c V~U|VVSP V, U, V, W c V{U~V|WSP V, U, W, O c U~W|V{OSP V, U, W, P c V~(U{P)|WSP V, U, W, R c V~(W|R){USP V, U, W, T c V|U{W~TSP V, U, W, U c U~(W|VU)SP V, U, W, V c V~U|W{VSP V, U, W, W c V~U|WWSP V, U, W, X c V~U{W|XSP V, U, X, P c U~(X|P)|VSP V, U, X, S c V~(X|S){USP V, U, X, U c (U~X)|(V{U)SP V, U, X, W c V~U|X{WSP V, U, X, X c V~U|XXSP V, V, O, W c V~V{O|WSP V, V, P, P c V~(V|P)|PSP V, V, P, R c (V{V)~R|PSP V, V, P, T c V{V~T|PSP V, V, P, U c (V{P)~U|VSP V, V, P, V c (V~V)|(P{V)SP V, V, P, W c V~V|P~WSP V, V, P, X c V~V{P|XSP V, V, Q, S c V~V|Q~SSP V, V, Q, U c (V~V)|(Q{U)SP V, V, R, P c (V{V)~R|PSP V, V, R, T c (V~V)|(R{T)SP V, V, R, X c V{V{R~XSP V, V, S, Q c V~V|S~QSP V, V, S, S c (V~V)|(S{S)SP V, V, S, T c (V{T)~S|VSP V, V, S, U c V{V~S{USP V, V, T, P c V{V~T|PSP V, V, T, R c (V~V)|(T{R)SP V, V, T, S c (V{T)~S|VSP V, V, T, U c V~(T{UV)SP V, V, T, W c VV{T~WSP V, V, U, P c V~(U|PV)SP V, V, U, Q c (V~V)|(U{Q)SP V, V, U, S c V{V~S{USP V, V, U, T c V~(UV{T)SP V, V, U, U c V~U|V{USP V, V, U, V c V~U|VVSP V, V, U, W c V{V~U|WSP V, V, V, P c (V~V)|(V{P)SP V, V, V, U c V~U|VVSP V, V, V, W c V~(V|WV)SP V, V, W, O c V~V|W{OSP V, V, W, P c V~V|W~PSP V, V, W, T c VV{W~TSP V, V, W, U c V{V~U|WSP V, V, W, V c V~(V|WV)SP V, V, W, W c (V~W)|(V{W)SP V, V, X, P c V~V|X{PSP V, V, X, R c V{V{X~RSP V, W, O, U c (W{O)~U|VSP V, W, O, V c (V{O)~V|WSP V, W, P, Q c V~(W|Q)|PSP V, W, P, T c W~(P{T)|VSP V, W, P, U c V~(P{U)|WSP V, W, P, V c (V|P)~W|VSP V, W, P, W c V~(W|P)|WSP V, W, Q, P c V~(W|Q)|PSP V, W, Q, R c W~Q~R|VSP V, W, Q, S c V{W~S{QSP V, W, Q, T c V~(Q{T)|WSP V, W, Q, W c (W|Q)~W|VSP V, W, Q, X c V{(W{X)~QSP V, W, R, Q c W~R~Q|VSP V, W, R, R c W~(R{R)|VSP V, W, R, S c (V{W)~R|SSP V, W, R, T c V~W|R~TSP V, W, R, U c V~(W|R){USP V, W, R, W c (W{W)~R|VSP V, W, R, X c (V|R)~W{XSP V, W, S, Q c V{W~S{QSP V, W, S, R c (V{W)~R|SSP V, W, S, S c (W{S)~S|VSP V, W, S, T c V~S{W{TSP V, W, T, P c W~(T{P)|VSP V, W, T, Q c V~T{W|QSP V, W, T, R c V~W|T~RSP V, W, T, S c V~S{W{TSP V, W, T, U c V{W~T|USP V, W, T, V c VV{W~TSP V, W, T, W c W|V{T~WSP V, W, U, O c W~U|V{OSP V, W, U, P c V~(U{P)|WSP V, W, U, R c V~(W|R){USP V, W, U, T c V{W~T|USP V, W, U, U c (W|VU)~USP V, W, U, V c V~U|W{VSP V, W, U, W c V~U|WWSP V, W, U, X c (V~W)|(U{X)SP V, W, V, O c V~V|W{OSP V, W, V, P c V~V|W~PSP V, W, V, T c VV{W~TSP V, W, V, U c V{V~U|WSP V, W, V, V c (V|WV)~VSP V, W, V, W c (V~W)|(V{W)SP V, W, W, P c V~(W|P)|WSP V, W, W, Q c W~(W|Q)|VSP V, W, W, R c (W{W)~R|VSP V, W, W, T c W|V{W~TSP V, W, W, U c V~U|WWSP V, W, W, V c (V~W)|(W{V)SP V, W, X, Q c V{(W{X)~QSP V, W, X, R c (V|R)~W{XSP V, W, X, U c (V~W)|(X{U)SP V, X, P, R c V~(X|R)|PSP V, X, P, S c (V{P)~S{XSP V, X, P, U c (X|P)~U|VSP V, X, P, V c V~V|X{PSP V, X, Q, R c V~Q{X~RSP V, X, Q, S c V{X~S|QSP V, X, Q, W c V~(X|Q)|WSP V, X, Q, X c (V{X)~Q{XSP V, X, R, P c V~(X|R)|PSP V, X, R, Q c V~Q{X~RSP V, X, R, S c (X{R)~S|VSP V, X, R, T c (V|R)~X{TSP V, X, R, V c V{X~R{VSP V, X, R, W c (V|R)~W{XSP V, X, S, P c (V{P)~S{XSP V, X, S, Q c V{X~S|QSP V, X, S, R c (X{R)~S|VSP V, X, S, S c V~S{X{SSP V, X, S, U c V~(X|S){USP V, X, T, R c V~T{X|RSP V, X, T, T c V{X{T~TSP V, X, U, P c (X|P)~U|VSP V, X, U, S c V~(X|S){USP V, X, U, U c (X~U)|(V{U)SP V, X, U, W c V~U|X{WSP V, X, U, X c V~U|XXSP V, X, V, P c V~V|X{PSP V, X, V, R c V{X~R{VSP V, X, W, Q c V{(X{W)~QSP V, X, W, R c (V|R)~W{XSP V, X, W, U c (V~W)|(X{U)SP V, X, X, Q c (V{X)~Q{XSP V, X, X, U c V~U|XXSP W, O, P, T c (W{O)~T{PSP W, O, S, X c (W{O)~S{XSP W, O, T, P c (W{O)~T{PSP W, O, U, V c (W{O)~U|VSP W, O, V, U c (W{O)~U|VSP W, O, V, V c O{V~V|WSP W, O, X, S c (W{O)~S{XSP W, P, O, T c (W{O)~T{PSP W, P, P, S c W~(P{S){PSP W, P, P, T c W~P~T{PSP W, P, P, U c (W|P)~U|PSP W, P, Q, R c W~(Q{R){PSP W, P, Q, S c (W{Q)~S{PSP W, P, Q, T c W~T|P{QSP W, P, Q, V c (W|Q)~V|PSP W, P, R, Q c W~(R{Q){PSP W, P, R, U c (W{U)~R|PSP W, P, R, W c (W|R)~W{PSP W, P, R, X c W~(P{R){XSP W, P, S, P c W~(P{S){PSP W, P, S, Q c (W{Q)~S{PSP W, P, S, T c (W{P)~S{TSP W, P, S, W c W{P{S~WSP W, P, S, X c W~P~S{XSP W, P, T, O c W~T{P{OSP W, P, T, P c W~P~T{PSP W, P, T, Q c W~T|P{QSP W, P, T, S c (W{P)~T|SSP W, P, T, T c (W{PT)~TSP W, P, T, U c (W|P)~T{USP W, P, T, V c W~(P{T)|VSP W, P, T, W c W~(PW{T)SP W, P, T, X c W~(T|P){XSP W, P, U, P c (W|P)~U|PSP W, P, U, R c (W{U)~R|PSP W, P, U, T c (W|P)~T{USP W, P, U, U c (W~U)|(P{U)SP W, P, U, V c W~P~U|VSP W, P, U, W c W~U{P|WSP W, P, V, Q c W~(V|Q){PSP W, P, V, T c W~(P{T)|VSP W, P, V, U c W~P~U|VSP W, P, V, V c W~(V|P)|VSP W, P, V, W c (W|P)~V|WSP W, P, W, R c W~(W|R){PSP W, P, W, S c W{P{W~SSP W, P, W, T c W~(PW{T)SP W, P, W, U c W~U{P|WSP W, P, W, V c (W|P)~V|WSP W, P, X, R c W~(P{R){XSP W, P, X, S c W~P~S{XSP W, P, X, T c W~(T|P){XSP W, Q, P, R c W~(Q{R){PSP W, Q, P, S c (W{Q)~S{PSP W, Q, P, T c W~T{Q|PSP W, Q, P, V c (W|Q)~V|PSP W, Q, Q, T c W~T{QQSP W, Q, Q, X c W~(Q{Q){XSP W, Q, R, P c W~(Q{R){PSP W, Q, R, T c W~T|Q{RSP W, Q, R, V c W~Q~R|VSP W, Q, R, X c W{(Q{X)~RSP W, Q, S, P c (W{Q)~S{PSP W, Q, S, V c W~(Q{S)|VSP W, Q, T, P c W~T{Q|PSP W, Q, T, Q c W~T{QQSP W, Q, T, R c W~T|Q{RSP W, Q, T, T c W~Q{T~TSP W, Q, T, U c (W|Q)~U{TSP W, Q, T, V c W|Q{T~VSP W, Q, T, X c (W{Q)~T|XSP W, Q, U, T c (W|Q)~U{TSP W, Q, U, X c W~U{Q|XSP W, Q, V, P c (W|Q)~V|PSP W, Q, V, R c W~Q~R|VSP W, Q, V, S c W~(Q{S)|VSP W, Q, V, T c W|Q{V~TSP W, Q, V, W c (W|Q)~W|VSP W, Q, V, X c (W{X)~Q{VSP W, Q, W, V c (W|Q)~W|VSP W, Q, W, X c WQ~W{XSP W, Q, X, Q c W~(Q{Q){XSP W, Q, X, R c W{(Q{X)~RSP W, Q, X, T c WQ~X{TSP W, Q, X, U c W~U{Q|XSP W, Q, X, V c (W{X)~Q{VSP W, Q, X, W c WQ~W{XSP W, R, P, Q c W~(R{Q){PSP W, R, P, U c (W{U)~R|PSP W, R, P, W c (W|R)~W{PSP W, R, P, X c W~(R{P){XSP W, R, Q, P c W~(R{Q){PSP W, R, Q, T c (W{T)~R{QSP W, R, Q, V c W~R~Q|VSP W, R, Q, X c W{R~(Q{X)SP W, R, R, S c (W{R)~S|RSP W, R, R, T c W~T{RRSP W, R, R, V c W~(R{R)|VSP W, R, R, W c (W{R)~R{WSP W, R, S, R c (W{R)~S|RSP W, R, S, T c (W{S)~R{TSP W, R, S, U c W~S{R{USP W, R, S, V c W{R~(S{V)SP W, R, S, X c W|R{S~XSP W, R, T, Q c (W{T)~R{QSP W, R, T, R c W~T{RRSP W, R, T, S c W~T|R{SSP W, R, T, U c W{R{T~USP W, R, T, V c W~V|R~TSP W, R, U, P c (W{U)~R|PSP W, R, U, S c (W~U)|(R{S)SP W, R, U, T c W{R{U~TSP W, R, U, U c W|R{U~USP W, R, U, V c (W|R)~V{USP W, R, U, X c W{R~X{USP W, R, V, Q c W~R~Q|VSP W, R, V, R c W~(R{R)|VSP W, R, V, S c W{R~(V{S)SP W, R, V, T c W~V|R~TSP W, R, V, U c (W|R)~V{USP W, R, V, W c (W{W)~R|VSP W, R, V, X c W~(V|R){XSP W, R, W, P c (W|R)~W{PSP W, R, W, R c W{(R{W)~RSP W, R, W, V c (W{W)~R|VSP W, R, W, X c W{R~W{XSP W, R, X, P c W~(R{P){XSP W, R, X, Q c W{R~(X{Q)SP W, R, X, S c W|R{X~SSP W, R, X, U c W{R~X{USP W, R, X, V c W~(X|R)|VSP W, R, X, W c W~R{X{WSP W, S, O, X c W~S{O{XSP W, S, P, P c W~(S{P){PSP W, S, P, Q c (W{Q)~S{PSP W, S, P, T c (W{P)~S{TSP W, S, P, W c W~S{P{WSP W, S, P, X c W~S{P~XSP W, S, Q, P c (W{Q)~S{PSP W, S, Q, V c W~S{Q{VSP W, S, R, R c W~S{R~RSP W, S, R, T c (W{S)~R{TSP W, S, R, U c W~S{R{USP W, S, R, V c W{(S{V)~RSP W, S, R, X c W{S~X|RSP W, S, S, T c W~S{S{TSP W, S, S, V c (W{S)~S|VSP W, S, S, X c (W{XS)~SSP W, S, T, P c (W{P)~S{TSP W, S, T, R c (W{S)~R{TSP W, S, T, S c W~S{T{SSP W, S, T, T c W~T|S{TSP W, S, T, V c W{S~V{TSP W, S, T, X c (W|S)~X{TSP W, S, U, R c W~S{U{RSP W, S, U, X c W{S~U{XSP W, S, V, Q c W~S{V{QSP W, S, V, R c W{(S{V)~RSP W, S, V, S c (W{S)~S|VSP W, S, V, T c W{S~V{TSP W, S, W, P c W{S~W{PSP W, S, W, X c (W|S)~W{XSP W, S, X, O c W~S{X{OSP W, S, X, P c W~S{X~PSP W, S, X, R c W{S~X|RSP W, S, X, S c (W{XS)~SSP W, S, X, T c (W|S)~X{TSP W, S, X, U c W{S~U{XSP W, S, X, W c W~(S{XW)SP W, T, O, P c W~T{O{PSP W, T, P, O c W~T{P{OSP W, T, P, P c W~T{P~PSP W, T, P, Q c W~T|P{QSP W, T, P, S c (W{P)~T|SSP W, T, P, T c (W{PT)~TSP W, T, P, U c (W|P)~T{USP W, T, P, V c W~(T{P)|VSP W, T, P, W c W~(T{PW)SP W, T, P, X c W~(T|P){XSP W, T, Q, P c W~T{Q|PSP W, T, Q, Q c W~T{QQSP W, T, Q, R c W~T|Q{RSP W, T, Q, T c W~Q{T~TSP W, T, Q, U c (W|Q)~U{TSP W, T, Q, V c W{T~V|QSP W, T, Q, X c (W{Q)~T|XSP W, T, R, Q c (W{T)~R{QSP W, T, R, R c W~T{RRSP W, T, R, S c W~T|R{SSP W, T, R, U c W{(T{U)~RSP W, T, R, V c W~V|T~RSP W, T, S, P c (W{P)~T|SSP W, T, S, R c W~T{S|RSP W, T, S, S c W~T{SSSP W, T, S, T c W~T|S{TSP W, T, S, V c W{T{S~VSP W, T, S, X c (W|S)~X{TSP W, T, T, P c (W{PT)~TSP W, T, T, Q c W~Q{T~TSP W, T, T, S c W~T{T|SSP W, T, T, T c W~T{TTSP W, T, T, U c W~T|T{USP W, T, T, W c W{T~T{WSP W, T, U, P c (W|P)~T{USP W, T, U, Q c (W~U)|(T{Q)SP W, T, U, R c W{(T{U)~RSP W, T, U, T c W~T{U|TSP W, T, U, U c W~T{UUSP W, T, U, V c W~T|U{VSP W, T, U, X c (U~X)|(W{T)SP W, T, V, P c W~(T{P)|VSP W, T, V, Q c W{T~V|QSP W, T, V, R c W~V|T~RSP W, T, V, S c W{T{V~SSP W, T, V, U c W~T{V|USP W, T, V, V c W~T{VVSP W, T, V, W c W~T|V{WSP W, T, W, P c W~(T{PW)SP W, T, W, T c W{T~T{WSP W, T, W, V c W{T~W|VSP W, T, W, W c W~T{WWSP W, T, W, X c W~T|W{XSP W, T, X, P c W~(T|P){XSP W, T, X, Q c W~XQ{TSP W, T, X, S c (W|S)~X{TSP W, T, X, U c (X~U)|(W{T)SP W, T, X, W c W~T{X|WSP W, T, X, X c W~T{XXSP W, U, O, V c W~U{O|VSP W, U, P, P c W~(U|P){PSP W, U, P, R c (W{U)~R|PSP W, U, P, T c (W|P)~T{USP W, U, P, U c (W~U)|(P{U)SP W, U, P, V c W~U|P~VSP W, U, P, W c W~U{P|WSP W, U, Q, T c (W~U)|(Q{T)SP W, U, Q, X c W~U{Q|XSP W, U, R, P c (W{U)~R|PSP W, U, R, S c (W~U)|(R{S)SP W, U, R, T c W{(U{T)~RSP W, U, R, U c W{U~U|RSP W, U, R, V c (W|R)~V{USP W, U, R, X c W{U{R~XSP W, U, S, R c (W~U)|(S{R)SP W, U, S, X c W{U~S{XSP W, U, T, P c (W|P)~T{USP W, U, T, Q c (W~U)|(T{Q)SP W, U, T, R c W{(U{T)~RSP W, U, T, T c W~T{U|TSP W, U, T, U c W~T{UUSP W, U, T, V c W~T|U{VSP W, U, T, X c (U~X)|(W{T)SP W, U, U, P c (W~U)|(U{P)SP W, U, U, R c W{U~U|RSP W, U, U, T c W~T{UUSP W, U, U, V c (W|VU)~USP W, U, V, O c W~U|V{OSP W, U, V, P c W~U|V~PSP W, U, V, R c (W|R)~V{USP W, U, V, T c W~T|U{VSP W, U, V, U c (W|VU)~USP W, U, V, V c U~V|W{VSP W, U, V, W c W~(U|VW)SP W, U, V, X c W{U~V|XSP W, U, W, P c W~U|W{PSP W, U, W, V c W~(U|VW)SP W, U, X, Q c W~U|X{QSP W, U, X, R c W{U{X~RSP W, U, X, S c W{U~S{XSP W, U, X, T c (U~X)|(W{T)SP W, U, X, V c W{U~V|XSP W, V, O, U c (W{O)~U|VSP W, V, O, V c (V{O)~V|WSP W, V, P, Q c W~(V|Q){PSP W, V, P, T c W~(P{T)|VSP W, V, P, U c W~P~U|VSP W, V, P, V c W~(V|P)|VSP W, V, P, W c (W|P)~V|WSP W, V, Q, P c W~(V|Q){PSP W, V, Q, R c W~Q~R|VSP W, V, Q, S c W~(Q{S)|VSP W, V, Q, T c W{V~T|QSP W, V, Q, W c (W|Q)~W|VSP W, V, Q, X c (W{X)~Q{VSP W, V, R, Q c W~R~Q|VSP W, V, R, R c W~(R{R)|VSP W, V, R, S c (W{V)~R|SSP W, V, R, T c W~V|R~TSP W, V, R, U c (W|R)~V{USP W, V, R, W c (W{W)~R|VSP W, V, R, X c W~(V|R){XSP W, V, S, Q c W~S{V{QSP W, V, S, R c W{(V{S)~RSP W, V, S, S c (W{S)~S|VSP W, V, S, T c W{V~S{TSP W, V, T, P c W~(T{P)|VSP W, V, T, Q c W{V~T|QSP W, V, T, R c W~V|T~RSP W, V, T, S c W{V~S{TSP W, V, T, U c W~T{V|USP W, V, T, V c W~T{VVSP W, V, T, W c W|V{T~WSP W, V, U, O c W~U|V{OSP W, V, U, P c W~U|V~PSP W, V, U, R c (W|R)~V{USP W, V, U, T c W~T{V|USP W, V, U, U c (W|VU)~USP W, V, U, V c V~U|W{VSP W, V, U, W c W~(U|VW)SP W, V, U, X c W{V~U|XSP W, V, V, O c V~V|W{OSP W, V, V, P c W~(V|P)|VSP W, V, V, T c W~T{VVSP W, V, V, U c V{V~U|WSP W, V, V, V c (V|WV)~VSP W, V, V, W c (W~V)|(V{W)SP W, V, W, P c (W|P)~V|WSP W, V, W, Q c W~(W|Q)|VSP W, V, W, R c (W{W)~R|VSP W, V, W, T c W|V{W~TSP W, V, W, U c W~(U|VW)SP W, V, W, V c (W~V)|(W{V)SP W, V, X, Q c (W{X)~Q{VSP W, V, X, R c W~(V|R){XSP W, V, X, U c (W~V)|(X{U)SP W, W, P, R c W~(W|R){PSP W, W, P, S c W{W~S{PSP W, W, P, T c W~(PW{T)SP W, W, P, U c W~U|W{PSP W, W, P, V c (W|P)~V|WSP W, W, Q, V c W~(W|Q)|VSP W, W, Q, X c (W{W)~Q{XSP W, W, R, P c W~(W|R){PSP W, W, R, R c W{(W{R)~RSP W, W, R, V c (W{W)~R|VSP W, W, R, X c W{W~R{XSP W, W, S, P c W{W~S{PSP W, W, S, X c W~(W|S){XSP W, W, T, P c W~(T{PW)SP W, W, T, T c W{W{T~TSP W, W, T, V c W{W~T|VSP W, W, T, W c WW{T~WSP W, W, T, X c W~T|W{XSP W, W, U, P c W~U|W{PSP W, W, U, V c W~(U|VW)SP W, W, V, P c (W|P)~V|WSP W, W, V, Q c W~(W|Q)|VSP W, W, V, R c (W{W)~R|VSP W, W, V, T c W{W~T|VSP W, W, V, U c W~(U|VW)SP W, W, V, V c (W~V)|(W{V)SP W, W, W, T c WW{W~TSP W, W, X, Q c (W{W)~Q{XSP W, W, X, R c W{W~R{XSP W, W, X, S c W~(W|S){XSP W, W, X, T c W~T|W{XSP W, X, O, S c (W{O)~S{XSP W, X, P, R c W~(P{R){XSP W, X, P, S c W~(X|S){PSP W, X, P, T c W~(T|P){XSP W, X, Q, Q c W~(Q{Q){XSP W, X, Q, R c W{(X{Q)~RSP W, X, Q, T c W~XQ{TSP W, X, Q, U c W~U|X{QSP W, X, Q, V c (W{X)~Q{VSP W, X, Q, W c WQ~W{XSP W, X, R, P c W~(R{P){XSP W, X, R, Q c W{(X{Q)~RSP W, X, R, S c W{X~S|RSP W, X, R, U c W{X~R{USP W, X, R, V c W~(X|R)|VSP W, X, R, W c W{X{R~WSP W, X, S, O c W~S{X{OSP W, X, S, P c W~(X|S){PSP W, X, S, R c W{X~S|RSP W, X, S, S c (W{XS)~SSP W, X, S, T c (W|S)~X{TSP W, X, S, U c W{X{S~USP W, X, S, W c W~(XW{S)SP W, X, T, P c W~(T|P){XSP W, X, T, Q c W~XQ{TSP W, X, T, S c (W|S)~X{TSP W, X, T, U c (X~U)|(W{T)SP W, X, T, W c W~T{X|WSP W, X, T, X c W~(X|T){XSP W, X, U, Q c W~U|X{QSP W, X, U, R c W{X~R{USP W, X, U, S c W{X{U~SSP W, X, U, T c (X~U)|(W{T)SP W, X, U, V c W{U~V|XSP W, X, V, Q c (W{X)~Q{VSP W, X, V, R c W~(X|R)|VSP W, X, V, U c (W~V)|(X{U)SP W, X, W, Q c (W{W)~Q{XSP W, X, W, R c W{X{W~RSP W, X, W, S c W~(XW{S)SP W, X, W, T c W~T{X|WSP W, X, X, T c W~(X|T){XSP X, O, S, T c (X{O)~S{TSP X, O, S, W c X{O{S~WSP X, O, T, S c (X{O)~T|SSP X, O, W, S c X{O{W~SSP X, P, P, S c (X{P)~S{PSP X, P, P, T c (X|P)~T{PSP X, P, Q, U c (X|Q)~U|PSP X, P, Q, X c (X~X{P)QSP X, P, R, T c X~(P{R){TSP X, P, R, V c (X|R)~V|PSP X, P, R, W c X{(P{R)~WSP X, P, S, P c (X{P)~S{PSP X, P, S, S c X~(P{S)|SSP X, P, S, T c X~P~S{TSP X, P, S, U c X~S|P{USP X, P, S, V c X{(P{V)~SSP X, P, S, W c X{P~S~WSP X, P, S, X c (X|P)~S{XSP X, P, T, P c (X|P)~T{PSP X, P, T, R c X~(P{R){TSP X, P, T, S c X~P~T|SSP X, P, T, T c X~T{P|TSP X, P, T, W c X{(T|P)~WSP X, P, T, X c (X{P)~T|XSP X, P, U, Q c (X|Q)~U|PSP X, P, U, S c X~(U|P)|SSP X, P, U, V c (X|P)~U|VSP X, P, V, R c (X|R)~V|PSP X, P, V, S c X{(P{V)~SSP X, P, V, U c (X|P)~U|VSP X, P, V, V c P{V~V|XSP X, P, W, R c X{(P{R)~WSP X, P, W, S c X{P~W~SSP X, P, W, T c X{W~(T|P)SP X, P, X, Q c (X~X{P)QSP X, P, X, S c (X|P)~S{XSP X, P, X, T c (X{P)~T|XSP X, Q, P, U c (X|Q)~U|PSP X, Q, P, X c (X~X{P)QSP X, Q, Q, T c X~(Q{Q){TSP X, Q, Q, W c X{(Q{Q)~WSP X, Q, R, S c X~(Q{R)|SSP X, Q, R, V c X~R{Q~VSP X, Q, R, W c (X{Q)~R{WSP X, Q, S, R c (X{Q)~S|RSP X, Q, S, S c X{Q~S~SSP X, Q, S, U c X{(Q{U)~SSP X, Q, S, V c X~S|Q{VSP X, Q, T, Q c X~(Q{Q){TSP X, Q, T, T c Q~T~T|XSP X, Q, T, U c X{Q{T~USP X, Q, T, W c XQ~W{TSP X, Q, T, X c (X{X)~Q{TSP X, Q, U, P c (X|Q)~U|PSP X, Q, U, S c X{(Q{U)~SSP X, Q, U, T c X{Q{U~TSP X, Q, U, W c X{(U|Q)~WSP X, Q, V, R c X~R{Q~VSP X, Q, V, S c X~(V|Q)|SSP X, Q, V, W c (X|Q)~V|WSP X, Q, V, X c X{Q~(V{X)SP X, Q, W, Q c X{Q~W~QSP X, Q, W, R c (X{Q)~R{WSP X, Q, W, T c XQ~W{TSP X, Q, W, U c X{W~(U|Q)SP X, Q, W, V c (X|Q)~V|WSP X, Q, W, W c X{Q~(W{W)SP X, Q, X, P c (X~X{P)QSP X, Q, X, T c (X{X)~Q{TSP X, Q, X, V c X{Q~(X{V)SP X, R, P, T c X~(R{P){TSP X, R, P, V c (X|R)~V|PSP X, R, P, W c X{(R{P)~WSP X, R, Q, S c X~(R{Q)|SSP X, R, Q, V c X~R{Q~VSP X, R, Q, W c (X{Q)~R{WSP X, R, R, T c (X{R)~R{TSP X, R, S, Q c X~(R{Q)|SSP X, R, S, T c X{(R{T)~SSP X, R, S, U c (X{U)~R|SSP X, R, S, V c (X{R)~S|VSP X, R, S, W c X~S|R{WSP X, R, T, P c X~(R{P){TSP X, R, T, R c (X{R)~R{TSP X, R, T, S c X{(R{T)~SSP X, R, T, U c (X|R)~U{TSP X, R, T, V c X|R{T~VSP X, R, T, X c X~R{T{XSP X, R, U, S c (X{U)~R|SSP X, R, U, T c (X|R)~U{TSP X, R, U, W c X~R{U{WSP X, R, V, P c (X|R)~V|PSP X, R, V, Q c X~R{V~QSP X, R, V, S c (X{R)~S|VSP X, R, V, T c X|R{V~TSP X, R, V, V c X~R{V{VSP X, R, V, W c (X|R)~W|VSP X, R, W, P c X{(R{P)~WSP X, R, W, Q c (X{Q)~R{WSP X, R, W, S c X~(W|R)|SSP X, R, W, U c X~R{W{USP X, R, W, V c (X|R)~W|VSP X, R, W, W c X{R~W{WSP X, R, X, T c X{R~X{TSP X, S, O, T c X~S{O{TSP X, S, O, W c X{(S{O)~WSP X, S, P, P c (X{P)~S{PSP X, S, P, S c X~S{P{SSP X, S, P, T c X~S{P~TSP X, S, P, U c X~S|P{USP X, S, P, V c X{S~(P{V)SP X, S, P, W c X{S~P~WSP X, S, P, X c X{S~(X|P)SP X, S, Q, R c X~S{Q{RSP X, S, Q, S c X{S~Q~SSP X, S, Q, U c X{S~(Q{U)SP X, S, Q, V c X~S|Q{VSP X, S, R, Q c (X{S)~R{QSP X, S, R, T c X{S~(R{T)SP X, S, R, U c (X{U)~R|SSP X, S, R, V c (X{R)~S|VSP X, S, R, W c X~S|R{WSP X, S, S, P c X~S{S{PSP X, S, S, Q c X{S~S~QSP X, S, S, S c X{(S{S)~SSP X, S, S, T c (X{TS)~SSP X, S, S, V c X{S{S~VSP X, S, S, W c (XS{W)~SSP X, S, S, X c X|S{S~XSP X, S, T, O c X~S{T{OSP X, S, T, P c X~S{T~PSP X, S, T, R c X{S~(T{R)SP X, S, T, S c (X{TS)~SSP X, S, T, T c (X|ST)~TSP X, S, T, U c (S{U)~T|XSP X, S, T, W c X~T{S|WSP X, S, T, X c X~(S{TX)SP X, S, U, P c X~S{U|PSP X, S, U, Q c X{S~(U{Q)SP X, S, U, R c (X{U)~R|SSP X, S, U, T c (S{U)~T|XSP X, S, U, U c X|S{U~USP X, S, U, V c (X|S)~V{USP X, S, U, W c X{S~U{WSP X, S, U, X c (X~U)|(S{X)SP X, S, V, P c X{S~(V{P)SP X, S, V, Q c X~S{V|QSP X, S, V, R c (X{R)~S|VSP X, S, V, S c X{S{V~SSP X, S, V, U c (X|S)~V{USP X, S, W, O c X{S~W{OSP X, S, W, P c X{S~W~PSP X, S, W, R c X~S{W|RSP X, S, W, S c (XS{W)~SSP X, S, W, T c X~(W|S){TSP X, S, W, U c X{S~U{WSP X, S, W, W c X{(W|S)~WSP X, S, X, P c X{S~(X|P)SP X, S, X, S c X{S~X|SSP X, S, X, T c X~(S{TX)SP X, S, X, U c (X~U)|(S{X)SP X, T, O, S c X~T{O|SSP X, T, P, P c (X|P)~T{PSP X, T, P, R c (X~T)|(P{R)SP X, T, P, S c X~T|P~SSP X, T, P, T c X~T{P|TSP X, T, P, W c X{(T|P)~WSP X, T, P, X c (X{P)~T|XSP X, T, Q, Q c (X~T)|(Q{Q)SP X, T, Q, T c T~Q~T|XSP X, T, Q, U c X~T{Q|USP X, T, Q, W c X~T|WQSP X, T, Q, X c (X{X)~Q{TSP X, T, R, P c (X{T)~R|PSP X, T, R, R c (X{R)~R{TSP X, T, R, S c X{(T{R)~SSP X, T, R, U c (X|R)~U{TSP X, T, R, V c X~T{R|VSP X, T, R, X c X{T{R~XSP X, T, S, O c X~T|S{OSP X, T, S, P c X~T|S~PSP X, T, S, R c X{(T{R)~SSP X, T, S, S c (X{TS)~SSP X, T, S, T c (X|ST)~TSP X, T, S, U c T~(S{U)|XSP X, T, S, W c X~T{S|WSP X, T, S, X c X~(T|SX)SP X, T, T, P c X~T|T{PSP X, T, T, Q c T~T~Q|XSP X, T, T, S c (X|ST)~TSP X, T, T, T c (T{T)~T|XSP X, T, T, V c X{T~T{VSP X, T, T, X c X~T{T|XSP X, T, U, Q c X{T~U{QSP X, T, U, R c (X|R)~U{TSP X, T, U, S c T~(U{S)|XSP X, T, U, W c (X~U)|(T{W)SP X, T, V, R c X{T~V|RSP X, T, V, T c X{T~T{VSP X, T, W, P c X{(T|P)~WSP X, T, W, Q c X~T|WQSP X, T, W, S c X~T|W{SSP X, T, W, U c (X~U)|(T{W)SP X, T, W, W c X{T~W|WSP X, T, W, X c (X|T)~W{XSP X, T, X, P c (X{P)~T|XSP X, T, X, Q c (X{X)~Q{TSP X, T, X, R c X{T{X~RSP X, T, X, S c X~(TX{S)SP X, T, X, T c (X|T)~X{TSP X, T, X, W c (X|T)~W{XSP X, U, P, Q c (X|Q)~U|PSP X, U, P, S c X~(U|P)|SSP X, U, P, V c (X|P)~U|VSP X, U, Q, P c (X|Q)~U|PSP X, U, Q, S c X{(U{Q)~SSP X, U, Q, T c X~(U|Q){TSP X, U, Q, W c X{(U|Q)~WSP X, U, R, S c (X{U)~R|SSP X, U, R, T c (X|R)~U{TSP X, U, R, W c X~R{U{WSP X, U, S, P c X~(U|P)|SSP X, U, S, Q c X{(U{Q)~SSP X, U, S, R c (X{U)~R|SSP X, U, S, T c (U{S)~T|XSP X, U, S, U c X{U~U|SSP X, U, S, V c (X|S)~V{USP X, U, S, W c X{U~S{WSP X, U, S, X c (X~U)|(S{X)SP X, U, T, Q c X{U~T{QSP X, U, T, R c (X|R)~U{TSP X, U, T, S c (U{S)~T|XSP X, U, T, W c (X~U)|(T{W)SP X, U, U, S c X{U~U|SSP X, U, U, V c (X~U)|(U{V)SP X, U, V, P c (X|P)~U|VSP X, U, V, S c (X|S)~V{USP X, U, V, U c (X~U)|(V{U)SP X, U, V, W c U~V|X{WSP X, U, V, X c U~V|XXSP X, U, W, Q c X{(U|Q)~WSP X, U, W, R c X~R{U{WSP X, U, W, S c X{U~S{WSP X, U, W, T c (X~U)|(W{T)SP X, U, W, V c U~V|X{WSP X, U, X, S c (X~U)|(X{S)SP X, U, X, V c U~V|XXSP X, V, P, R c (X|R)~V|PSP X, V, P, S c X{(V{P)~SSP X, V, P, U c (X|P)~U|VSP X, V, P, V c V~V|X{PSP X, V, Q, R c X~R{V~QSP X, V, Q, S c X~(V|Q)|SSP X, V, Q, W c (X|Q)~V|WSP X, V, Q, X c (X{V)~Q{XSP X, V, R, P c (X|R)~V|PSP X, V, R, Q c X~R{V~QSP X, V, R, S c (X{R)~S|VSP X, V, R, T c X~(V|R){TSP X, V, R, V c (X{V)~R|VSP X, V, R, W c X{(V|R)~WSP X, V, S, P c X{(V{P)~SSP X, V, S, Q c X~(V|Q)|SSP X, V, S, R c (X{R)~S|VSP X, V, S, S c X{V~S{SSP X, V, S, U c (X|S)~V{USP X, V, T, R c X{V~T|RSP X, V, T, T c X{V{T~TSP X, V, U, P c (X|P)~U|VSP X, V, U, S c (X|S)~V{USP X, V, U, U c (X~U)|(V{U)SP X, V, U, W c V~U|X{WSP X, V, U, X c V~U|XXSP X, V, V, P c V~V|X{PSP X, V, V, R c (X{V)~R|VSP X, V, W, Q c (X{W)~Q{VSP X, V, W, R c X{(V|R)~WSP X, V, W, U c (V~W)|(X{U)SP X, V, X, Q c X{(V{X)~QSP X, V, X, U c V~U|XXSP X, W, O, S c X{(W{O)~SSP X, W, P, R c X{W~(P{R)SP X, W, P, S c X{W~P~SSP X, W, P, T c X{W~(T|P)SP X, W, Q, Q c X{W~(Q{Q)SP X, W, Q, R c (X{Q)~R{WSP X, W, Q, T c X~WQ{TSP X, W, Q, U c X{W~(U|Q)SP X, W, Q, V c (X{W)~Q{VSP X, W, Q, W c X{WQ~WSP X, W, R, P c X{W~(R{P)SP X, W, R, Q c (X{Q)~R{WSP X, W, R, S c X~(W|R)|SSP X, W, R, U c X~R{W{USP X, W, R, V c X{W~(V|R)SP X, W, R, W c X{W{R~WSP X, W, S, O c X{W~S{OSP X, W, S, P c X{W~S~PSP X, W, S, R c X~(W|R)|SSP X, W, S, S c (XS{W)~SSP X, W, S, T c X~(W|S){TSP X, W, S, U c X{W{S~USP X, W, S, W c X{(W|S)~WSP X, W, T, P c X{W~(T|P)SP X, W, T, Q c X~WQ{TSP X, W, T, S c X~(W|S){TSP X, W, T, U c (X~U)|(W{T)SP X, W, T, W c X{W~T|WSP X, W, T, X c X{W~(X|T)SP X, W, U, Q c X{W~(U|Q)SP X, W, U, R c X~R{W{USP X, W, U, S c X{W{U~SSP X, W, U, T c (X~U)|(W{T)SP X, W, U, V c W{U~V|XSP X, W, V, Q c (X{W)~Q{VSP X, W, V, R c X{W~(V|R)SP X, W, V, U c (W~V)|(X{U)SP X, W, W, Q c X{(W{W)~QSP X, W, W, R c X{W{W~RSP X, W, W, S c X{W~(W|S)SP X, W, W, T c X|W{W~TSP X, W, X, T c X{W~(X|T)SP X, X, P, Q c (X~X{P)QSP X, X, P, S c X{(X|P)~SSP X, X, P, T c (X{P)~T|XSP X, X, Q, P c (X~X{P)QSP X, X, Q, T c (X{X)~Q{TSP X, X, Q, V c X{(X{V)~QSP X, X, R, T c X{X~R{TSP X, X, S, P c X{(X|P)~SSP X, X, S, S c X{X~S|SSP X, X, S, T c X~(S{TX)SP X, X, S, U c (X~U)|(X{S)SP X, X, T, P c (X{P)~T|XSP X, X, T, Q c (X{X)~Q{TSP X, X, T, R c X{X~R{TSP X, X, T, S c X~(TX{S)SP X, X, T, T c X~(X|T){TSP X, X, T, W c X{(X|T)~WSP X, X, U, S c (X~U)|(X{S)SP X, X, U, V c U~V|XXSP X, X, V, Q c X{(X{V)~QSP X, X, V, U c V~U|XXSP X, X, W, T c X~X|W~TSP