O, P, U, W c O{U~W|PSV O, P, W, U c O{W~U|PSV O, Q, T, X c O{Q{T~XSV O, Q, V, V c O{V~V|QSV O, Q, X, T c O{Q{X~TSV O, T, Q, X c O{T~X{QSV O, T, U, V c O{T{U~VSV O, T, V, U c O{T{V~USV O, T, V, W c O{T~W{VSV O, T, W, V c O{T~W{VSV O, T, X, Q c O{T~X{QSV O, U, P, W c O{U~W|PSV O, U, T, V c O{U~V{TSV O, U, V, T c O{U~V{TSV O, U, V, X c O{U~X|VSV O, U, W, P c O{U~W|PSV O, U, X, V c O{U~X|VSV O, V, Q, V c O{V~V|QSV O, V, T, U c O{V~U{TSV O, V, T, W c O{V{T~WSV O, V, U, T c O{V~U{TSV O, V, U, X c O{U~X|VSV O, V, V, Q c O{V~V|QSV O, V, W, T c O{V{W~TSV O, V, W, X c O{V~W|XSV O, V, X, U c O{X~U|VSV O, V, X, W c O{V~W|XSV O, W, P, U c O{W~U|PSV O, W, T, V c O{W~T{VSV O, W, U, P c O{W~U|PSV O, W, V, T c O{W~T{VSV O, W, V, X c O{W~V|XSV O, W, X, V c O{W~V|XSV O, X, Q, T c O{X~T{QSV O, X, T, Q c O{X~T{QSV O, X, U, V c O{X~U|VSV O, X, V, U c O{X~U|VSV O, X, V, W c O{V~W|XSV O, X, W, V c O{W~V|XSV P, O, U, W c O{U~W|PSV P, O, W, U c O{W~U|PSV P, P, T, W c (P{T)~W|PSV P, P, T, X c P{P{T~XSV P, P, U, V c (P{V)~U|PSV P, P, U, W c P~U~W|PSV P, P, U, X c U~(X|P)|PSV P, P, V, U c (P{V)~U|PSV P, P, V, V c (V~V)|(P{P)SV P, P, V, W c (V|P)~W|PSV P, P, W, T c (P{T)~W|PSV P, P, W, U c P~W~U|PSV P, P, W, V c W~(V|P)|PSV P, P, X, T c P{P{X~TSV P, P, X, U c (X|P)~U|PSV P, Q, R, W c Q~R~W|PSV P, Q, S, U c Q~S~U|PSV P, Q, S, W c (Q{S)~W|PSV P, Q, S, X c (P{S)~X{QSV P, Q, T, W c (P{W)~T{QSV P, Q, T, X c P~Q{T~XSV P, Q, U, S c Q~U~S|PSV P, Q, U, U c (Q{U)~U|PSV P, Q, U, V c (P{U)~V|QSV P, Q, U, W c P{U~W|QSV P, Q, U, X c Q{(U|P)~XSV P, Q, V, U c (P{U)~V|QSV P, Q, V, V c P~V~V|QSV P, Q, V, W c V~(W|P)|QSV P, Q, W, R c Q~W~R|PSV P, Q, W, S c (Q{S)~W|PSV P, Q, W, T c (P{W)~T{QSV P, Q, W, U c P{W~U|QSV P, Q, W, V c (W|P)~V|QSV P, Q, W, W c (W|Q)~W|PSV P, Q, X, S c (P{S)~X{QSV P, Q, X, T c P~Q{X~TSV P, Q, X, U c Q{X~(U|P)SV P, R, Q, W c R~Q~W|PSV P, R, R, W c (R{R)~W|PSV P, R, S, S c R~S~S|PSV P, R, S, X c (R{X)~S|PSV P, R, T, U c (R{T)~U|PSV P, R, T, X c (P{X)~T|RSV P, R, U, T c (R{T)~U|PSV P, R, V, V c P{V~V|RSV P, R, V, X c R~(V{X)|PSV P, R, W, Q c R~W~Q|PSV P, R, W, R c (R{R)~W|PSV P, R, W, W c R~(W{W)|PSV P, R, W, X c W~(X|R)|PSV P, R, X, S c (R{X)~S|PSV P, R, X, T c (P{X)~T|RSV P, R, X, V c R~(X{V)|PSV P, R, X, W c (X|R)~W|PSV P, S, Q, U c S~Q~U|PSV P, S, Q, W c (S{Q)~W|PSV P, S, Q, X c (P{S)~X{QSV P, S, R, S c S~R~S|PSV P, S, R, X c S~(R{X)|PSV P, S, S, R c S~S~R|PSV P, S, S, U c (S{S)~U|PSV P, S, S, W c S~(S{W)|PSV P, S, T, V c S~(T{V)|PSV P, S, U, Q c S~U~Q|PSV P, S, U, S c (S{S)~U|PSV P, S, U, U c S~(U{U)|PSV P, S, U, V c P{S{U~VSV P, S, V, T c S~(V{T)|PSV P, S, V, U c P{S{V~USV P, S, V, W c (P{S)~W{VSV P, S, V, X c (P{X)~S{VSV P, S, W, Q c (S{Q)~W|PSV P, S, W, S c (S{W)~S|PSV P, S, W, V c (P{S)~W{VSV P, S, X, Q c (P{S)~X{QSV P, S, X, R c S~(X{R)|PSV P, S, X, V c (P{X)~S{VSV P, T, P, W c (P{T)~W|PSV P, T, P, X c P{T~X{PSV P, T, Q, W c (P{W)~T{QSV P, T, Q, X c P~T~X{QSV P, T, R, U c (T{R)~U|PSV P, T, R, X c (P{X)~T|RSV P, T, S, V c (T{V)~S|PSV P, T, T, V c (P{T)~V{TSV P, T, U, R c (T{R)~U|PSV P, T, U, U c (P{U)~U{TSV P, T, U, V c P~T{U~VSV P, T, U, W c P{T~W{USV P, T, V, S c (T{V)~S|PSV P, T, V, T c (P{T)~V{TSV P, T, V, U c P~T{V~USV P, T, V, V c (P{V)~T{VSV P, T, V, W c P~T~W{VSV P, T, V, X c (P{T)~X|VSV P, T, W, P c (P{T)~W|PSV P, T, W, Q c (P{W)~T{QSV P, T, W, U c P{T~W{USV P, T, W, V c P~T~W{VSV P, T, W, W c T~W|P{WSV P, T, X, P c P{T~X{PSV P, T, X, Q c P~T~X{QSV P, T, X, R c (P{X)~T|RSV P, T, X, V c (P{T)~X|VSV P, U, O, W c (U{O)~W|PSV P, U, P, V c (P{V)~U|PSV P, U, P, W c P~U~W|PSV P, U, P, X c U~(X|P)|PSV P, U, Q, S c U~Q~S|PSV P, U, Q, U c (U{Q)~U|PSV P, U, Q, V c (P{U)~V|QSV P, U, Q, W c P{U~W|QSV P, U, Q, X c (U|P)~X{QSV P, U, R, T c U~(R{T)|PSV P, U, S, Q c U~S~Q|PSV P, U, S, S c U~(S{S)|PSV P, U, S, U c (U{U)~S|PSV P, U, S, V c P{U~V{SSV P, U, T, R c U~(T{R)|PSV P, U, T, U c (P{U)~U{TSV P, U, T, V c P~U~V{TSV P, U, T, W c P{U{T~WSV P, U, U, Q c U~(U{Q)|PSV P, U, U, S c (U{U)~S|PSV P, U, U, T c (P{U)~U{TSV P, U, U, V c U|P{U~VSV P, U, U, W c U~(W|PU)SV P, U, U, X c (U~X)|(P{U)SV P, U, V, P c (P{V)~U|PSV P, U, V, Q c (P{U)~V|QSV P, U, V, S c P{U~V{SSV P, U, V, T c P~U~V{TSV P, U, V, U c U|P{V~USV P, U, V, W c (P{W)~U|VSV P, U, V, X c P~U~X|VSV P, U, W, O c U~W|P{OSV P, U, W, P c P~U~W|PSV P, U, W, Q c P{U~W|QSV P, U, W, T c P{U{W~TSV P, U, W, U c U~(W|PU)SV P, U, W, V c (P{W)~U|VSV P, U, W, W c (U|PW)~WSV P, U, W, X c (P{U)~W|XSV P, U, X, P c U~(X|P)|PSV P, U, X, Q c (U|P)~X{QSV P, U, X, U c (U~X)|(P{U)SV P, U, X, V c P~U~X|VSV P, U, X, W c P{U~X|WSV P, V, P, U c (P{V)~U|PSV P, V, P, V c (V~V)|(P{P)SV P, V, P, W c (V|P)~W|PSV P, V, Q, U c (P{U)~V|QSV P, V, Q, V c P~V~V|QSV P, V, Q, W c V~(W|P)|QSV P, V, R, V c P{V~V|RSV P, V, R, X c (V{X)~R|PSV P, V, S, T c (V{T)~S|PSV P, V, S, U c P{V~U{SSV P, V, S, W c (P{S)~W{VSV P, V, S, X c (P{X)~S{VSV P, V, T, S c (V{T)~S|PSV P, V, T, T c (P{T)~V{TSV P, V, T, U c P~V~U{TSV P, V, T, V c (P{V)~T{VSV P, V, T, W c P~V{T~WSV P, V, T, X c (P{T)~X|VSV P, V, U, P c (P{V)~U|PSV P, V, U, Q c (P{U)~V|QSV P, V, U, S c P{V~U{SSV P, V, U, T c P~V~U{TSV P, V, U, U c V~U|P{USV P, V, U, W c (P{W)~U|VSV P, V, U, X c P~U~X|VSV P, V, V, P c (V~V)|(P{P)SV P, V, V, Q c P~V~V|QSV P, V, V, R c P{V~V|RSV P, V, V, T c (P{V)~T{VSV P, V, V, X c (P{V)~V|XSV P, V, W, P c (V|P)~W|PSV P, V, W, Q c V~(W|P)|QSV P, V, W, S c (P{S)~W{VSV P, V, W, T c P~V{W~TSV P, V, W, U c (P{W)~U|VSV P, V, W, W c (V~W)|(P{W)SV P, V, W, X c P~V~W|XSV P, V, X, R c (V{X)~R|PSV P, V, X, S c (P{X)~S{VSV P, V, X, T c (P{T)~X|VSV P, V, X, U c P~X~U|VSV P, V, X, V c (P{V)~V|XSV P, V, X, W c P~V~W|XSV P, V, X, X c V~(X|P)|XSV P, W, O, U c (W{O)~U|PSV P, W, P, T c (P{T)~W|PSV P, W, P, U c P~W~U|PSV P, W, P, V c W~(V|P)|PSV P, W, Q, R c W~Q~R|PSV P, W, Q, S c W~(Q{S)|PSV P, W, Q, T c (P{W)~T{QSV P, W, Q, U c P{W~U|QSV P, W, Q, V c (W|P)~V|QSV P, W, Q, W c (W|Q)~W|PSV P, W, R, Q c W~R~Q|PSV P, W, R, R c W~(R{R)|PSV P, W, R, W c (W{W)~R|PSV P, W, R, X c W~(X|R)|PSV P, W, S, Q c W~(S{Q)|PSV P, W, S, S c (W{S)~S|PSV P, W, S, V c (P{S)~W{VSV P, W, T, P c (P{T)~W|PSV P, W, T, Q c (P{W)~T{QSV P, W, T, U c P{W~T{USV P, W, T, V c P~W~T{VSV P, W, T, W c W|P{T~WSV P, W, U, O c W~U|P{OSV P, W, U, P c P~W~U|PSV P, W, U, Q c P{W~U|QSV P, W, U, T c P{W~T{USV P, W, U, U c (W|PU)~USV P, W, U, V c (P{W)~U|VSV P, W, U, W c W~(U|PW)SV P, W, U, X c (P{U)~W|XSV P, W, V, P c W~(V|P)|PSV P, W, V, Q c (W|P)~V|QSV P, W, V, S c (P{S)~W{VSV P, W, V, T c P~W~T{VSV P, W, V, U c (P{W)~U|VSV P, W, V, W c (W~V)|(P{W)SV P, W, V, X c P~W~V|XSV P, W, W, Q c W~(W|Q)|PSV P, W, W, R c (W{W)~R|PSV P, W, W, T c W|P{W~TSV P, W, W, U c W~(U|PW)SV P, W, W, V c (W~V)|(P{W)SV P, W, W, X c (W|P)~W|XSV P, W, X, R c W~(X|R)|PSV P, W, X, U c P{X~U|WSV P, W, X, V c P~W~V|XSV P, W, X, W c (W|P)~W|XSV P, X, P, T c P{X~T{PSV P, X, P, U c (X|P)~U|PSV P, X, Q, S c (P{S)~X{QSV P, X, Q, T c P~X~T{QSV P, X, Q, U c X~(U|P){QSV P, X, R, S c (X{R)~S|PSV P, X, R, T c (P{X)~T|RSV P, X, R, V c (X{V)~R|PSV P, X, R, W c (X|R)~W|PSV P, X, S, Q c (P{S)~X{QSV P, X, S, R c (X{R)~S|PSV P, X, S, V c (P{X)~S{VSV P, X, T, P c P{X~T{PSV P, X, T, Q c P~X~T{QSV P, X, T, R c (P{X)~T|RSV P, X, T, V c (P{T)~X|VSV P, X, U, P c (X|P)~U|PSV P, X, U, Q c X~(U|P){QSV P, X, U, U c (X~U)|(P{U)SV P, X, U, V c P~X~U|VSV P, X, U, W c P{X~U|WSV P, X, V, R c (X{V)~R|PSV P, X, V, S c (P{X)~S{VSV P, X, V, T c (P{T)~X|VSV P, X, V, U c P~X~U|VSV P, X, V, V c (P{V)~V|XSV P, X, V, W c P~V~W|XSV P, X, V, X c (X|P)~V|XSV P, X, W, R c (X|R)~W|PSV P, X, W, U c P{X~U|WSV P, X, W, V c P~W~V|XSV P, X, W, W c (W|P)~W|XSV P, X, X, V c (X|P)~V|XSV Q, O, T, X c Q{O{T~XSV Q, O, V, V c O{V~V|QSV Q, O, X, T c Q{O{X~TSV Q, P, R, W c Q~R~W|PSV Q, P, S, U c Q~S~U|PSV Q, P, S, W c (Q{S)~W|PSV Q, P, S, X c Q{(P{S)~XSV Q, P, T, W c Q{(P{W)~TSV Q, P, T, X c Q{P~T~XSV Q, P, U, S c Q~U~S|PSV Q, P, U, U c (Q{U)~U|PSV Q, P, U, V c (P{U)~V|QSV Q, P, U, W c P{U~W|QSV Q, P, U, X c Q{(U|P)~XSV Q, P, V, U c (P{U)~V|QSV Q, P, V, V c P~V~V|QSV Q, P, V, W c V~(W|P)|QSV Q, P, W, R c Q~W~R|PSV Q, P, W, S c (Q{S)~W|PSV Q, P, W, T c Q{(P{W)~TSV Q, P, W, U c P{W~U|QSV Q, P, W, V c (W|P)~V|QSV Q, P, W, W c (W|Q)~W|PSV Q, P, X, S c Q{(P{S)~XSV Q, P, X, T c Q{P~X~TSV Q, P, X, U c Q{X~(U|P)SV Q, Q, R, X c Q{(Q{R)~XSV Q, Q, T, V c Q{(Q{V)~TSV Q, Q, U, W c U~W|QQSV Q, Q, V, T c Q{(Q{V)~TSV Q, Q, V, X c Q{(V|Q)~XSV Q, Q, W, U c W~U|QQSV Q, Q, X, R c Q{(Q{R)~XSV Q, Q, X, V c Q{X~(V|Q)SV Q, R, P, W c Q~R~W|PSV Q, R, Q, X c Q{(R{Q)~XSV Q, R, R, T c Q{R~R~TSV Q, R, S, V c (R{S)~V|QSV Q, R, S, X c (Q{X)~S{RSV Q, R, T, R c Q{R~T~RSV Q, R, T, T c Q~T~T|RSV Q, R, T, U c Q{(R{U)~TSV Q, R, T, V c Q~R~V{TSV Q, R, T, W c (Q{W)~T|RSV Q, R, U, T c Q{(R{U)~TSV Q, R, U, V c Q{R{U~VSV Q, R, U, W c Q{U~W|RSV Q, R, U, X c Q{R~(U{X)SV Q, R, V, S c (R{S)~V|QSV Q, R, V, T c Q~R~V{TSV Q, R, V, U c Q{R{V~USV Q, R, V, W c Q{R~(V{W)SV Q, R, V, X c Q~R~X|VSV Q, R, W, P c Q~R~W|PSV Q, R, W, T c (Q{W)~T|RSV Q, R, W, U c Q{W~U|RSV Q, R, W, V c (Q{R)~W{VSV Q, R, W, X c Q{(W|R)~XSV Q, R, X, Q c (Q{R)~X{QSV Q, R, X, S c (Q{X)~S{RSV Q, R, X, U c Q{R~(X{U)SV Q, R, X, V c Q~R~X|VSV Q, R, X, W c Q{X~(W|R)SV Q, S, P, U c Q~S~U|PSV Q, S, P, W c (Q{S)~W|PSV Q, S, P, X c Q{(S{P)~XSV Q, S, R, V c (S{R)~V|QSV Q, S, R, X c (Q{X)~S{RSV Q, S, T, T c Q{(S{T)~TSV Q, S, T, V c Q~S~T{VSV Q, S, T, X c S|Q{T~XSV Q, S, U, P c Q~S~U|PSV Q, S, V, R c (S{R)~V|QSV Q, S, V, T c (Q{S)~V{TSV Q, S, V, V c Q{V~V|SSV Q, S, V, W c (Q{W)~S{VSV Q, S, V, X c Q~S~V|XSV Q, S, W, P c (Q{S)~W|PSV Q, S, W, V c (Q{W)~S{VSV Q, S, X, P c Q{(S{P)~XSV Q, S, X, R c (Q{X)~S{RSV Q, S, X, T c S|Q{X~TSV Q, S, X, V c (Q{S)~X|VSV Q, S, X, X c Q{S~X{XSV Q, T, O, X c Q{(T{O)~XSV Q, T, P, W c Q{T~(P{W)SV Q, T, P, X c Q{T~P~XSV Q, T, Q, V c Q{T~(Q{V)SV Q, T, R, R c Q{T~R~RSV Q, T, R, T c Q~T~T|RSV Q, T, R, U c Q{T~(R{U)SV Q, T, R, V c Q~R~V{TSV Q, T, R, W c (Q{W)~T|RSV Q, T, S, T c Q{(T{S)~TSV Q, T, S, V c Q~T~S{VSV Q, T, S, X c T~X|Q{SSV Q, T, T, R c Q~T~T|RSV Q, T, T, S c Q{T~(T{S)SV Q, T, T, U c (Q{T)~U{TSV Q, T, T, W c Q{T{T~WSV Q, T, T, X c (QT{X)~TSV Q, T, U, R c Q{T~(U{R)SV Q, T, U, T c (Q{T)~U{TSV Q, T, U, V c (Q{U)~T{VSV Q, T, U, X c T{U~(X|Q)SV Q, T, V, Q c Q{T~(V{Q)SV Q, T, V, R c Q~V~R{TSV Q, T, V, S c Q~T~S{VSV Q, T, V, U c (Q{U)~T{VSV Q, T, V, W c T{V~(W|Q)SV Q, T, W, P c Q{T~(W{P)SV Q, T, W, R c (Q{W)~T|RSV Q, T, W, T c Q{T{W~TSV Q, T, W, V c T{(W|Q)~VSV Q, T, W, X c (Q{T)~W|XSV Q, T, X, O c Q{T~X{OSV Q, T, X, P c Q{T~X~PSV Q, T, X, S c T~X|Q{SSV Q, T, X, T c (QT{X)~TSV Q, T, X, U c T{(X|Q)~USV Q, T, X, W c (Q{T)~W|XSV Q, T, X, X c (QX{T)~XSV Q, U, P, S c Q~U~S|PSV Q, U, P, U c (Q{U)~U|PSV Q, U, P, V c (U{P)~V|QSV Q, U, P, W c U~W|Q{PSV Q, U, P, X c Q{(U|P)~XSV Q, U, Q, W c U~W|QQSV Q, U, R, T c Q{(U{R)~TSV Q, U, R, V c Q{U~V{RSV Q, U, R, W c Q{U~W|RSV Q, U, R, X c Q{(U{X)~RSV Q, U, S, P c Q~U~S|PSV Q, U, T, R c Q{(U{R)~TSV Q, U, T, T c (Q{T)~U{TSV Q, U, T, V c (Q{U)~T{VSV Q, U, T, X c (U~X)|(Q{T)SV Q, U, U, P c (Q{U)~U|PSV Q, U, U, X c Q{U~U{XSV Q, U, V, P c (U{P)~V|QSV Q, U, V, R c Q{U~V{RSV Q, U, V, T c Q~U{V~TSV Q, U, V, V c (Q{V)~U|VSV Q, U, V, X c (Q{U)~V|XSV Q, U, W, P c U~W|Q{PSV Q, U, W, Q c U~W|QQSV Q, U, W, R c Q{U~W|RSV Q, U, X, P c Q{(U|P)~XSV Q, U, X, R c Q{(U{X)~RSV Q, U, X, T c (U~X)|(Q{T)SV Q, U, X, U c Q{U~U{XSV Q, U, X, V c (Q{U)~V|XSV Q, U, X, X c Q{U~X|XSV Q, V, O, V c (V{O)~V|QSV Q, V, P, U c V~(P{U)|QSV Q, V, P, V c V~P~V|QSV Q, V, P, W c V~(W|P)|QSV Q, V, Q, T c Q{(V{Q)~TSV Q, V, Q, X c Q{(V|Q)~XSV Q, V, R, S c V~(R{S)|QSV Q, V, R, T c Q~V~R{TSV Q, V, R, U c Q{V~U{RSV Q, V, R, W c Q{(V{W)~RSV Q, V, R, X c Q~R~X|VSV Q, V, S, R c V~(S{R)|QSV Q, V, S, T c (Q{S)~V{TSV Q, V, S, V c Q{V~V|SSV Q, V, S, W c (Q{W)~S{VSV Q, V, S, X c Q~V~S|XSV Q, V, T, Q c (Q{V)~T{QSV Q, V, T, R c Q~V~R{TSV Q, V, T, S c Q~T~S{VSV Q, V, T, U c Q~U{V~TSV Q, V, T, W c V~(W|Q){TSV Q, V, U, P c V~(U{P)|QSV Q, V, U, R c Q{V~U{RSV Q, V, U, T c Q~U{V~TSV Q, V, U, V c (Q{V)~U|VSV Q, V, U, X c (Q{U)~V|XSV Q, V, V, O c V~V|Q{OSV Q, V, V, P c V~V|Q~PSV Q, V, V, S c Q{V~V|SSV Q, V, V, U c (Q{V)~U|VSV Q, V, V, V c (V|QV)~VSV Q, V, V, W c (V|Q)~W{VSV Q, V, W, P c V~(W|P)|QSV Q, V, W, R c Q{(V{W)~RSV Q, V, W, S c (Q{W)~S{VSV Q, V, W, T c V~(W|Q){TSV Q, V, W, V c (V|Q)~W{VSV Q, V, W, X c V~X|Q~WSV Q, V, X, Q c Q{(V|Q)~XSV Q, V, X, R c Q~X~R|VSV Q, V, X, S c Q~V~S|XSV Q, V, X, U c (Q{U)~V|XSV Q, V, X, W c V~X|Q~WSV Q, W, P, R c Q~W~R|PSV Q, W, P, S c (Q{S)~W|PSV Q, W, P, T c Q{(W{P)~TSV Q, W, P, U c W~U|Q{PSV Q, W, P, V c (W|P)~V|QSV Q, W, P, W c (W|Q)~W|PSV Q, W, Q, U c W~U|QQSV Q, W, R, P c Q~W~R|PSV Q, W, R, T c (Q{W)~T|RSV Q, W, R, U c Q{W~U|RSV Q, W, R, V c Q{(W{V)~RSV Q, W, R, X c Q{(W|R)~XSV Q, W, S, P c (Q{S)~W|PSV Q, W, S, V c (Q{W)~S{VSV Q, W, T, P c Q{(W{P)~TSV Q, W, T, R c (Q{W)~T|RSV Q, W, T, T c Q{W~T{TSV Q, W, T, V c (W|Q)~V{TSV Q, W, T, X c (Q{T)~W|XSV Q, W, U, P c W~U|Q{PSV Q, W, U, Q c W~U|QQSV Q, W, U, R c Q{W~U|RSV Q, W, V, P c (W|P)~V|QSV Q, W, V, R c Q{(W{V)~RSV Q, W, V, S c (Q{W)~S{VSV Q, W, V, T c (W|Q)~V{TSV Q, W, V, V c (W~V)|(Q{V)SV Q, W, V, X c (W|Q)~X|VSV Q, W, W, P c (W|Q)~W|PSV Q, W, X, R c Q{(W|R)~XSV Q, W, X, T c (Q{X)~T|WSV Q, W, X, V c (W|Q)~X|VSV Q, W, X, X c W~(X|Q)|XSV Q, X, O, T c Q{(X{O)~TSV Q, X, P, S c Q{X~(P{S)SV Q, X, P, T c Q{X~P~TSV Q, X, P, U c Q{X~(U|P)SV Q, X, Q, R c Q{X~(Q{R)SV Q, X, Q, V c Q{X~(V|Q)SV Q, X, R, Q c Q{X~(R{Q)SV Q, X, R, S c (Q{X)~S{RSV Q, X, R, U c Q{(X{U)~RSV Q, X, R, V c Q~X~R|VSV Q, X, R, W c Q{X~(W|R)SV Q, X, S, P c Q{X~(S{P)SV Q, X, S, R c (Q{X)~S{RSV Q, X, S, T c X~T|Q{SSV Q, X, S, V c (Q{S)~X|VSV Q, X, S, X c Q{X{S~XSV Q, X, T, O c Q{X~T{OSV Q, X, T, P c Q{X~T~PSV Q, X, T, S c X~T|Q{SSV Q, X, T, T c (QT{X)~TSV Q, X, T, U c (X|Q)~U{TSV Q, X, T, W c (Q{X)~T|WSV Q, X, T, X c (QX{T)~XSV Q, X, U, P c Q{X~(U|P)SV Q, X, U, R c Q{(X{U)~RSV Q, X, U, T c (X|Q)~U{TSV Q, X, U, U c Q{X{U~USV Q, X, U, V c (Q{U)~V|XSV Q, X, U, X c Q{X~U|XSV Q, X, V, Q c Q{X~(V|Q)SV Q, X, V, R c Q~X~R|VSV Q, X, V, S c Q~V~S|XSV Q, X, V, U c (Q{U)~V|XSV Q, X, V, W c X~V|Q~WSV Q, X, W, R c Q{X~(W|R)SV Q, X, W, T c (Q{X)~T|WSV Q, X, W, V c X~(W|Q)|VSV Q, X, W, X c (X|Q)~W|XSV Q, X, X, S c Q{X{X~SSV Q, X, X, T c (QX{T)~XSV Q, X, X, U c Q{X~U|XSV Q, X, X, W c (X|Q)~W|XSV R, P, Q, W c R~Q~W|PSV R, P, R, W c (R{R)~W|PSV R, P, S, S c R~S~S|PSV R, P, S, X c (R{X)~S|PSV R, P, T, U c (R{T)~U|PSV R, P, T, X c R|P{T~XSV R, P, U, T c (R{T)~U|PSV R, P, V, V c P{V~V|RSV R, P, V, X c R~(V{X)|PSV R, P, W, Q c R~W~Q|PSV R, P, W, R c (R{R)~W|PSV R, P, W, W c R~(W{W)|PSV R, P, W, X c W~(X|R)|PSV R, P, X, S c (R{X)~S|PSV R, P, X, T c R|P{X~TSV R, P, X, V c R~(X{V)|PSV R, P, X, W c (X|R)~W|PSV R, Q, P, W c R~Q~W|PSV R, Q, Q, X c (R{Q)~X{QSV R, Q, R, T c R~R~T{QSV R, Q, S, V c (R{S)~V|QSV R, Q, S, X c R{(Q{X)~SSV R, Q, T, R c R~T~R{QSV R, Q, T, T c Q~T~T|RSV R, Q, T, U c (R{U)~T{QSV R, Q, T, V c R~Q~V{TSV R, Q, T, W c (Q{W)~T|RSV R, Q, U, T c (R{U)~T{QSV R, Q, U, V c R{Q{U~VSV R, Q, U, W c Q{U~W|RSV R, Q, U, X c R~(U{X){QSV R, Q, V, S c (R{S)~V|QSV R, Q, V, T c R~Q~V{TSV R, Q, V, U c R{Q{V~USV R, Q, V, W c (R{Q)~W{VSV R, Q, V, X c R~Q~X|VSV R, Q, W, P c R~Q~W|PSV R, Q, W, T c (Q{W)~T|RSV R, Q, W, U c Q{W~U|RSV R, Q, W, V c (R{Q)~W{VSV R, Q, W, X c Q{(W|R)~XSV R, Q, X, Q c (R{Q)~X{QSV R, Q, X, S c R{(Q{X)~SSV R, Q, X, U c R~(X{U){QSV R, Q, X, V c R~Q~X|VSV R, Q, X, W c Q{X~(W|R)SV R, R, P, W c (R{R)~W|PSV R, R, Q, T c R~R~T{QSV R, R, S, W c R{(R{W)~SSV R, R, T, Q c R~R~T{QSV R, R, T, V c (R{R)~V{TSV R, R, U, V c R~R~U|VSV R, R, U, W c U~W|RRSV R, R, V, T c (R{R)~V{TSV R, R, V, U c R~R~U|VSV R, R, V, W c V~W|R~RSV R, R, V, X c (R{R)~X|VSV R, R, W, P c (R{R)~W|PSV R, R, W, S c R{(R{W)~SSV R, R, W, U c W~U|RRSV R, R, W, V c W~V|R~RSV R, R, X, V c (R{R)~X|VSV R, S, P, S c R~S~S|PSV R, S, P, X c (R{X)~S|PSV R, S, Q, V c (R{S)~V|QSV R, S, Q, X c R{S~(Q{X)SV R, S, R, W c R{S~(R{W)SV R, S, S, P c R~S~S|PSV R, S, S, V c R{S~(S{V)SV R, S, T, U c R{S~(T{U)SV R, S, T, V c R~S{T~VSV R, S, T, W c R{S{T~WSV R, S, T, X c R~X{S~TSV R, S, U, T c (R{S)~U{TSV R, S, U, W c R{U~W|SSV R, S, U, X c (U~X)|(R{S)SV R, S, V, Q c (R{S)~V|QSV R, S, V, S c R{(S{V)~SSV R, S, V, T c R~S{V~TSV R, S, V, V c (R{V)~S{VSV R, S, W, R c R{S~(W{R)SV R, S, W, T c R{S{W~TSV R, S, W, U c R{W~U|SSV R, S, W, X c (R{S)~W|XSV R, S, X, P c (R{X)~S|PSV R, S, X, Q c R{S~(X{Q)SV R, S, X, T c R~X{S~TSV R, S, X, U c (X~U)|(R{S)SV R, S, X, W c R{S~X{WSV R, T, P, U c (R{T)~U|PSV R, T, P, X c R{T~X|PSV R, T, Q, R c R~T~R{QSV R, T, Q, T c T~Q~T|RSV R, T, Q, U c (R{U)~T{QSV R, T, Q, V c R~Q~V{TSV R, T, Q, W c T~(Q{W)|RSV R, T, R, Q c R~T~R{QSV R, T, R, V c (R{R)~V{TSV R, T, S, U c R{(T{U)~SSV R, T, S, V c R~S{T~VSV R, T, S, W c R~T{S~WSV R, T, S, X c R~X{T~SSV R, T, T, Q c T~T~Q|RSV R, T, T, T c (T{T)~T|RSV R, T, T, V c (R{T)~T{VSV R, T, T, X c R~(T{X){TSV R, T, U, P c (R{T)~U|PSV R, T, U, Q c (R{U)~T{QSV R, T, U, S c R{(T{U)~SSV R, T, U, W c R~(U{W){TSV R, T, U, X c T~X{URSV R, T, V, Q c R~V~Q{TSV R, T, V, R c (R{V)~T|RSV R, T, V, S c R~S{T~VSV R, T, V, T c (R{T)~T{VSV R, T, V, V c R{V~V|TSV R, T, V, X c R{T~V{XSV R, T, W, Q c T~(W{Q)|RSV R, T, W, S c R{T~W{SSV R, T, W, U c R~(W{U){TSV R, T, W, W c R~(T{W){WSV R, T, X, P c R{T~X|PSV R, T, X, S c R~X{T~SSV R, T, X, T c R~(T{X){TSV R, T, X, U c T~X{URSV R, T, X, V c R{T~V{XSV R, U, P, T c (R{T)~U|PSV R, U, Q, T c (R{U)~T{QSV R, U, Q, V c R{U~V{QSV R, U, Q, W c U~W|R{QSV R, U, Q, X c R~(U{X){QSV R, U, R, V c R~U~R|VSV R, U, R, W c U~W|RRSV R, U, S, T c R{(U{T)~SSV R, U, S, W c R{U~W|SSV R, U, S, X c (U~X)|(R{S)SV R, U, T, P c (R{T)~U|PSV R, U, T, Q c (R{U)~T{QSV R, U, T, S c R{(U{T)~SSV R, U, T, W c R~(U{W){TSV R, U, T, X c UR{T~XSV R, U, U, V c (R{U)~U|VSV R, U, U, W c R{U~U{WSV R, U, V, Q c R{U~V{QSV R, U, V, R c R~U~R|VSV R, U, V, U c (R{U)~U|VSV R, U, V, V c V~V|URSV R, U, V, W c R~(U{V){WSV R, U, W, Q c U~W|R{QSV R, U, W, R c U~W|RRSV R, U, W, S c R{U~W|SSV R, U, W, T c R~(U{W){TSV R, U, W, U c R{U~U{WSV R, U, W, V c R~(U{V){WSV R, U, X, Q c R~(U{X){QSV R, U, X, S c (U~X)|(R{S)SV R, U, X, T c UR{X~TSV R, V, P, V c V~V|R{PSV R, V, P, X c R~(V{X)|PSV R, V, Q, S c (R{S)~V|QSV R, V, Q, T c R~V~Q{TSV R, V, Q, U c R{V~U{QSV R, V, Q, W c R~(V{W){QSV R, V, Q, X c R~Q~X|VSV R, V, R, T c (R{V)~T|RSV R, V, R, U c R~R~U|VSV R, V, R, W c V~W|R~RSV R, V, R, X c (R{R)~X|VSV R, V, S, Q c (R{S)~V|QSV R, V, S, S c R{(V{S)~SSV R, V, S, T c R~S{V~TSV R, V, S, V c (R{V)~S{VSV R, V, T, Q c R~V~Q{TSV R, V, T, R c (R{V)~T|RSV R, V, T, S c R~S{V~TSV R, V, T, T c (R{T)~T{VSV R, V, T, V c R{V~V|TSV R, V, T, X c R{V~T{XSV R, V, U, Q c R{V~U{QSV R, V, U, R c R~U~R|VSV R, V, U, U c (R{U)~U|VSV R, V, U, V c V~V|URSV R, V, U, W c R~(V{U){WSV R, V, V, P c V~V|R{PSV R, V, V, S c (R{V)~S{VSV R, V, V, T c R{V~V|TSV R, V, V, U c V~V|URSV R, V, W, Q c R~(V{W){QSV R, V, W, R c V~W|R~RSV R, V, W, U c R~(V{U){WSV R, V, W, W c V{(W|R)~WSV R, V, X, P c R~(V{X)|PSV R, V, X, Q c R~X~Q|VSV R, V, X, R c (R{R)~X|VSV R, V, X, T c R{V~T{XSV R, V, X, X c R~(X{X)|VSV R, W, P, Q c R~W~Q|PSV R, W, P, R c (R{R)~W|PSV R, W, P, W c R~(W{W)|PSV R, W, P, X c W~(X|R)|PSV R, W, Q, P c R~W~Q|PSV R, W, Q, T c (W{Q)~T|RSV R, W, Q, U c W~U|R{QSV R, W, Q, V c R~(W{V){QSV R, W, Q, X c (W|R)~X{QSV R, W, R, P c (R{R)~W|PSV R, W, R, S c R{(W{R)~SSV R, W, R, U c W~U|RRSV R, W, R, V c W~V|R~RSV R, W, S, R c (R{W)~S{RSV R, W, S, T c R{W~T{SSV R, W, S, U c R{W~U|SSV R, W, S, X c R{W{S~XSV R, W, T, Q c (W{Q)~T|RSV R, W, T, S c R{W~T{SSV R, W, T, U c R~(W{U){TSV R, W, T, W c (R{W)~T|WSV R, W, U, Q c W~U|R{QSV R, W, U, R c W~U|RRSV R, W, U, S c R{W~U|SSV R, W, U, T c R~(W{U){TSV R, W, U, U c R{W{U~USV R, W, U, V c R~(U{V){WSV R, W, V, Q c R~(W{V){QSV R, W, V, R c W~V|R~RSV R, W, V, U c R~(V{U){WSV R, W, V, W c (W|R)~W{VSV R, W, W, P c R~(W{W)|PSV R, W, W, T c (R{W)~T|WSV R, W, W, V c (W|R)~W{VSV R, W, X, P c W~(X|R)|PSV R, W, X, Q c (W|R)~X{QSV R, W, X, S c R{W{X~SSV R, X, P, S c (R{X)~S|PSV R, X, P, T c R{X~T|PSV R, X, P, V c R~(X{V)|PSV R, X, P, W c (X|R)~W|PSV R, X, Q, Q c (R{Q)~X{QSV R, X, Q, S c R{(X{Q)~SSV R, X, Q, U c R~(X{U){QSV R, X, Q, V c R~X~Q|VSV R, X, Q, W c X~(W|R){QSV R, X, R, V c (R{R)~X|VSV R, X, S, P c (R{X)~S|PSV R, X, S, Q c R{(X{Q)~SSV R, X, S, T c R~X{S~TSV R, X, S, U c (X~U)|(R{S)SV R, X, S, W c R{X~S{WSV R, X, T, P c R{X~T|PSV R, X, T, S c R~X{T~SSV R, X, T, T c R~(X{T){TSV R, X, T, U c X~T{URSV R, X, T, V c R{X{T~VSV R, X, U, Q c R~(X{U){QSV R, X, U, S c (X~U)|(R{S)SV R, X, U, T c X~T{URSV R, X, V, P c R~(X{V)|PSV R, X, V, Q c R~X~Q|VSV R, X, V, R c (R{R)~X|VSV R, X, V, T c R{X{V~TSV R, X, V, X c R~(X{X)|VSV R, X, W, P c (X|R)~W|PSV R, X, W, Q c X~(W|R){QSV R, X, W, S c R~(X{W)|SSV R, X, X, V c R~(X{X)|VSV S, P, Q, U c S~Q~U|PSV S, P, Q, W c (S{Q)~W|PSV S, P, Q, X c (S{P)~X{QSV S, P, R, S c S~R~S|PSV S, P, R, X c S~(R{X)|PSV S, P, S, R c S~S~R|PSV S, P, S, U c (S{S)~U|PSV S, P, S, W c S~(S{W)|PSV S, P, T, V c S~(T{V)|PSV S, P, U, Q c S~U~Q|PSV S, P, U, S c (S{S)~U|PSV S, P, U, U c S~(U{U)|PSV S, P, U, V c S{P{U~VSV S, P, V, T c S~(V{T)|PSV S, P, V, U c S{P{V~USV S, P, V, W c (S{P)~W{VSV S, P, V, X c S~(P{X){VSV S, P, W, Q c (S{Q)~W|PSV S, P, W, S c (S{W)~S|PSV S, P, W, V c (S{P)~W{VSV S, P, X, Q c (S{P)~X{QSV S, P, X, R c S~(X{R)|PSV S, P, X, V c S~(P{X){VSV S, Q, P, U c S~Q~U|PSV S, Q, P, W c (S{Q)~W|PSV S, Q, P, X c (S{P)~X{QSV S, Q, R, V c (S{R)~V|QSV S, Q, R, X c S~(Q{X){RSV S, Q, T, T c (S{T)~T{QSV S, Q, T, V c S~Q~T{VSV S, Q, T, X c S|Q{T~XSV S, Q, U, P c S~Q~U|PSV S, Q, V, R c (S{R)~V|QSV S, Q, V, T c (S{Q)~V{TSV S, Q, V, V c Q{V~V|SSV S, Q, V, W c S~(Q{W){VSV S, Q, V, X c S~Q~V|XSV S, Q, W, P c (S{Q)~W|PSV S, Q, W, V c S~(Q{W){VSV S, Q, X, P c (S{P)~X{QSV S, Q, X, R c S~(Q{X){RSV S, Q, X, T c S|Q{X~TSV S, Q, X, V c (S{Q)~X|VSV S, Q, X, X c S~X{Q{XSV S, R, P, S c S~R~S|PSV S, R, P, X c S~(R{X)|PSV S, R, Q, V c (S{R)~V|QSV S, R, Q, X c S~(Q{X){RSV S, R, R, W c S~(R{W){RSV S, R, S, P c S~R~S|PSV S, R, S, V c S~(S{V){RSV S, R, T, U c (S{R)~U{TSV S, R, T, V c S~R{T~VSV S, R, T, W c S{R{T~WSV S, R, T, X c S~T{R~XSV S, R, U, T c (S{R)~U{TSV S, R, U, W c R{U~W|SSV S, R, U, X c (U~X)|(S{R)SV S, R, V, Q c (S{R)~V|QSV S, R, V, S c (S{V)~S{RSV S, R, V, T c S~R{V~TSV S, R, V, V c S~(R{V){VSV S, R, W, R c S~(R{W){RSV S, R, W, T c S{R{W~TSV S, R, W, U c R{W~U|SSV S, R, W, X c (S{R)~W|XSV S, R, X, P c S~(R{X)|PSV S, R, X, Q c S~(X{Q){RSV S, R, X, T c S~T{R~XSV S, R, X, U c (X~U)|(S{R)SV S, R, X, W c (S{R)~W|XSV S, S, P, R c S~S~R|PSV S, S, P, U c (S{S)~U|PSV S, S, P, W c S~(S{W)|PSV S, S, R, P c S~S~R|PSV S, S, R, V c S~(S{V){RSV S, S, T, V c (S{S)~T{VSV S, S, T, X c S~(S{X)|TSV S, S, U, P c (S{S)~U|PSV S, S, U, V c S~(S{U){VSV S, S, U, W c U~W|SSSV S, S, V, R c S~(S{V){RSV S, S, V, T c (S{S)~T{VSV S, S, V, U c S~(S{U){VSV S, S, V, X c (S{S)~V|XSV S, S, W, P c S~(S{W)|PSV S, S, W, U c W~U|SSSV S, S, X, T c S~(S{X)|TSV S, S, X, V c S{S~X{VSV S, T, P, V c S~(T{V)|PSV S, T, Q, T c (S{T)~T{QSV S, T, Q, V c S~T~Q{VSV S, T, Q, X c S{T~X|QSV S, T, R, U c S~(T{U){RSV S, T, R, V c S~R{T~VSV S, T, R, W c S{T~W{RSV S, T, R, X c S~T{R~XSV S, T, S, V c (S{S)~T{VSV S, T, S, X c S~(S{X)|TSV S, T, T, Q c (S{T)~T{QSV S, T, T, V c S~(T{T){VSV S, T, T, W c S~(T{W)|TSV S, T, U, R c S~(T{U){RSV S, T, U, V c (S{T)~U|VSV S, T, U, W c S{U~W|TSV S, T, U, X c S~X{T{USV S, T, V, P c S~(T{V)|PSV S, T, V, Q c S~T~Q{VSV S, T, V, R c S~R{T~VSV S, T, V, S c (S{S)~T{VSV S, T, V, T c S~(T{T){VSV S, T, V, U c (S{T)~U|VSV S, T, V, W c S{T~V{WSV S, T, W, R c S{T~W{RSV S, T, W, T c S~(T{W)|TSV S, T, W, U c S{W~U|TSV S, T, W, V c S{T~V{WSV S, T, W, X c T~X{WSSV S, T, X, Q c S{T~X|QSV S, T, X, R c S~T{X~RSV S, T, X, S c (S{X)~S|TSV S, T, X, U c S~X{T{USV S, T, X, W c T~X{WSSV S, T, X, X c S~(T{X)|XSV S, U, P, Q c S~U~Q|PSV S, U, P, S c (S{S)~U|PSV S, U, P, U c S~(U{U)|PSV S, U, P, V c S{U~V{PSV S, U, Q, P c S~U~Q|PSV S, U, R, T c (S{U)~T|RSV S, U, R, W c U~W|S{RSV S, U, R, X c (U~X)|(S{R)SV S, U, S, P c (S{S)~U|PSV S, U, S, V c (S{U)~S{VSV S, U, S, W c U~W|SSSV S, U, T, R c (S{U)~T|RSV S, U, T, V c S~(U{V)|TSV S, U, T, W c S{U~W|TSV S, U, T, X c S~X{U{TSV S, U, U, P c S~(U{U)|PSV S, U, U, V c S{U~U{VSV S, U, V, P c S{U~V{PSV S, U, V, S c (S{U)~S{VSV S, U, V, T c S~(U{V)|TSV S, U, V, U c S{U~U{VSV S, U, V, V c S{V~V|USV S, U, V, X c U~V|S{XSV S, U, W, R c U~W|S{RSV S, U, W, S c U~W|SSSV S, U, W, T c S{U~W|TSV S, U, W, X c S~(U{W)|XSV S, U, X, R c (U~X)|(S{R)SV S, U, X, T c S~X{U{TSV S, U, X, V c U~V|S{XSV S, U, X, W c S~(U{W)|XSV S, V, P, T c S~(V{T)|PSV S, V, P, U c S{V~U{PSV S, V, P, W c (S{P)~W{VSV S, V, P, X c S~(P{X){VSV S, V, Q, R c (S{R)~V|QSV S, V, Q, T c (S{Q)~V{TSV S, V, Q, V c V~V|S{QSV S, V, Q, W c S~(Q{W){VSV S, V, Q, X c S~V~Q|XSV S, V, R, Q c (S{R)~V|QSV S, V, R, S c (S{V)~S{RSV S, V, R, T c S~R{V~TSV S, V, R, V c S~(V{R){VSV S, V, S, R c (S{V)~S{RSV S, V, S, T c (S{S)~T{VSV S, V, S, U c S~(S{U){VSV S, V, S, X c S{V{S~XSV S, V, T, P c S~(V{T)|PSV S, V, T, Q c S~T~Q{VSV S, V, T, R c S~R{V~TSV S, V, T, S c (S{S)~T{VSV S, V, T, T c S~(T{T){VSV S, V, T, U c S~(V{U)|TSV S, V, T, W c S{V~T{WSV S, V, U, P c S{V~U{PSV S, V, U, S c (S{U)~S{VSV S, V, U, T c S~(V{U)|TSV S, V, U, U c S{V{U~USV S, V, U, V c S{V~V|USV S, V, U, X c V~U|S{XSV S, V, V, Q c V~V|S{QSV S, V, V, R c S~(V{R){VSV S, V, V, U c S{V~V|USV S, V, V, W c V~V|WSSV S, V, V, X c S~(V{V)|XSV S, V, W, P c (S{P)~W{VSV S, V, W, Q c S~(W{Q){VSV S, V, W, T c S{V~T{WSV S, V, W, V c V~V|WSSV S, V, W, W c S~W{V{WSV S, V, W, X c V{W~(X|S)SV S, V, X, P c S~(X{P){VSV S, V, X, Q c S~V~Q|XSV S, V, X, S c S{V{X~SSV S, V, X, U c V~U|S{XSV S, V, X, V c S~(V{V)|XSV S, V, X, W c V{(X|S)~WSV S, W, P, Q c (S{Q)~W|PSV S, W, P, S c (S{W)~S|PSV S, W, P, V c (S{P)~W{VSV S, W, Q, P c (S{Q)~W|PSV S, W, Q, V c S~(W{Q){VSV S, W, R, R c S~(W{R){RSV S, W, R, T c S~W{R~TSV S, W, R, U c W~U|S{RSV S, W, R, X c (S{R)~W|XSV S, W, S, P c (S{W)~S|PSV S, W, S, U c W~U|SSSV S, W, T, R c S{W~T{RSV S, W, T, T c S~(W{T)|TSV S, W, T, U c S{W~U|TSV S, W, T, V c S{W{T~VSV S, W, T, X c WS{T~XSV S, W, U, R c W~U|S{RSV S, W, U, S c W~U|SSSV S, W, U, T c S{W~U|TSV S, W, U, X c S~W{U{XSV S, W, V, P c (S{P)~W{VSV S, W, V, Q c S~(W{Q){VSV S, W, V, T c S{W{V~TSV S, W, V, V c V~V|WSSV S, W, V, W c S~W{V{WSV S, W, V, X c W~(X|S){VSV S, W, W, V c S~W{W{VSV S, W, X, R c S~X{W{RSV S, W, X, T c WS{X~TSV S, W, X, U c S~W{X{USV S, W, X, V c W~(X|S){VSV S, X, P, Q c (S{P)~X{QSV S, X, P, R c S~(X{R)|PSV S, X, P, V c S~(X{P){VSV S, X, Q, P c (S{P)~X{QSV S, X, Q, R c S~(X{Q){RSV S, X, Q, T c S{X~T|QSV S, X, Q, V c (S{Q)~X|VSV S, X, Q, X c S~X{Q{XSV S, X, R, P c S~(X{R)|PSV S, X, R, Q c S~(X{Q){RSV S, X, R, T c S~T{X~RSV S, X, R, U c (X~U)|(S{R)SV S, X, R, W c (S{X)~R{WSV S, X, S, T c (S{X)~S|TSV S, X, S, V c S{X~S{VSV S, X, T, Q c S{X~T|QSV S, X, T, R c S~T{X~RSV S, X, T, S c (S{X)~S|TSV S, X, T, U c S~X{T{USV S, X, T, W c X~T{WSSV S, X, T, X c S~(X{T)|XSV S, X, U, R c (X~U)|(S{R)SV S, X, U, T c S~X{U{TSV S, X, U, V c X|S{U~VSV S, X, U, W c S~(U{W)|XSV S, X, V, P c S~(X{P){VSV S, X, V, Q c S~V~Q|XSV S, X, V, S c S~X{V{SSV S, X, V, U c X|S{V~USV S, X, V, V c S~(V{V)|XSV S, X, V, W c (X|S)~W{VSV S, X, W, R c S~X{W{RSV S, X, W, T c X~T{WSSV S, X, W, U c S~W{X{USV S, X, W, V c (X|S)~W{VSV S, X, X, Q c S~X{X{QSV S, X, X, T c S~(X{T)|XSV T, O, Q, X c (T{O)~X{QSV T, O, U, V c T{O{U~VSV T, O, V, U c T{O{V~USV T, O, V, W c (T{O)~W{VSV T, O, W, V c (T{O)~W{VSV T, O, X, Q c (T{O)~X{QSV T, P, P, W c (T{P)~W|PSV T, P, P, X c T~X{P{PSV T, P, Q, W c T~(P{W){QSV T, P, Q, X c T~P~X{QSV T, P, R, U c (T{R)~U|PSV T, P, R, X c T~(P{X)|RSV T, P, S, V c (T{V)~S|PSV T, P, T, V c T{(P{T)~VSV T, P, U, R c (T{R)~U|PSV T, P, U, U c T{(P{U)~USV T, P, U, V c T{P~U~VSV T, P, U, W c T{U~(W|P)SV T, P, V, S c (T{V)~S|PSV T, P, V, T c (T{P)~V{TSV T, P, V, U c T{P~V~USV T, P, V, V c T~(P{V){VSV T, P, V, W c T~P~W{VSV T, P, V, X c (T{P)~X|VSV T, P, W, P c (T{P)~W|PSV T, P, W, Q c T~(P{W){QSV T, P, W, U c T{(W|P)~USV T, P, W, V c T~P~W{VSV T, P, W, W c T~W|P{WSV T, P, X, P c T~X{P{PSV T, P, X, Q c T~P~X{QSV T, P, X, R c T~(P{X)|RSV T, P, X, V c (T{P)~X|VSV T, Q, O, X c (T{O)~X{QSV T, Q, P, W c T~(P{W){QSV T, Q, P, X c T~P~X{QSV T, Q, Q, V c (T{Q)~V|QSV T, Q, R, R c T~R~R{QSV T, Q, R, T c T~Q~T|RSV T, Q, R, U c T~(R{U){QSV T, Q, R, V c T{Q~R~VSV T, Q, R, W c T~(Q{W)|RSV T, Q, S, T c (T{S)~T{QSV T, Q, S, V c T{(Q{S)~VSV T, Q, S, X c T~X|Q{SSV T, Q, T, R c T~Q~T|RSV T, Q, T, S c T~(T{S){QSV T, Q, T, U c T{(Q{T)~USV T, Q, T, W c T{Q{T~WSV T, Q, T, X c T~(QT{X)SV T, Q, U, R c T~(U{R){QSV T, Q, U, T c (T{Q)~U{TSV T, Q, U, V c T~(Q{U){VSV T, Q, U, X c T{U~(X|Q)SV T, Q, V, Q c (T{Q)~V|QSV T, Q, V, R c T{Q~V~RSV T, Q, V, S c T{(Q{S)~VSV T, Q, V, U c T~(Q{U){VSV T, Q, V, W c T{V~(W|Q)SV T, Q, W, P c T~(W{P){QSV T, Q, W, R c T~(Q{W)|RSV T, Q, W, T c T{Q{W~TSV T, Q, W, V c T{(W|Q)~VSV T, Q, W, X c (T{Q)~W|XSV T, Q, X, O c T~X{Q{OSV T, Q, X, P c T~X{Q~PSV T, Q, X, S c T~X|Q{SSV T, Q, X, T c T~(QT{X)SV T, Q, X, U c T{(X|Q)~USV T, Q, X, W c T~(Q{X)|WSV T, Q, X, X c (T{QX)~XSV T, R, P, U c (T{R)~U|PSV T, R, P, X c T~(P{X)|RSV T, R, Q, R c T~R~R{QSV T, R, Q, T c T~Q~T|RSV T, R, Q, U c T~(R{U){QSV T, R, Q, V c T{R~Q~VSV T, R, Q, W c T~(Q{W)|RSV T, R, R, Q c T~R~R{QSV T, R, R, V c T{(R{R)~VSV T, R, S, U c T{(R{S)~USV T, R, S, V c T~V{R~SSV T, R, S, W c T~R{S~WSV T, R, S, X c T~S{R~XSV T, R, T, Q c T~T~Q|RSV T, R, T, T c (T{T)~T|RSV T, R, T, V c (T{R)~T{VSV T, R, T, X c T{R~(T{X)SV T, R, U, P c (T{R)~U|PSV T, R, U, Q c T~(R{U){QSV T, R, U, S c T{(R{S)~USV T, R, U, W c T{R~(U{W)SV T, R, U, X c T~X{URSV T, R, V, Q c T{R~V~QSV T, R, V, R c T~(R{V)|RSV T, R, V, S c T~V{R~SSV T, R, V, T c (T{R)~T{VSV T, R, V, V c T{R~(V{V)SV T, R, V, X c (T{R)~V|XSV T, R, W, Q c T~(W{Q)|RSV T, R, W, S c T~R{W~SSV T, R, W, U c T{R~(W{U)SV T, R, W, W c T~(R{W)|WSV T, R, X, P c T~X{R|PSV T, R, X, S c T~S{R~XSV T, R, X, T c T{R~(X{T)SV T, R, X, U c T~X{URSV T, R, X, V c (T{R)~V|XSV T, S, P, V c (T{V)~S|PSV T, S, Q, T c (T{S)~T{QSV T, S, Q, V c T{(S{Q)~VSV T, S, Q, X c T~X{S|QSV T, S, R, U c T{(S{R)~USV T, S, R, V c T~V{S~RSV T, S, R, W c T~R{S~WSV T, S, R, X c T~S{R~XSV T, S, S, V c T~(S{S){VSV T, S, S, X c S~(S{X)|TSV T, S, T, Q c (T{S)~T{QSV T, S, T, V c (T{T)~S{VSV T, S, T, W c (T{W)~S|TSV T, S, U, R c T~(S{U)|RSV T, S, U, V c (T{S)~U|VSV T, S, U, W c S{U~W|TSV T, S, U, X c T{S~X{USV T, S, V, P c (T{V)~S|PSV T, S, V, Q c T{(S{Q)~VSV T, S, V, R c T~V{S~RSV T, S, V, S c T~(S{S){VSV T, S, V, T c (T{T)~S{VSV T, S, V, U c (T{S)~U|VSV T, S, V, W c T~(S{V)|WSV T, S, W, R c T~W{S{RSV T, S, W, T c (T{W)~S|TSV T, S, W, U c S{W~U|TSV T, S, W, V c T~(S{V)|WSV T, S, W, X c T~X{WSSV T, S, X, Q c T~X{S|QSV T, S, X, R c T~S{X~RSV T, S, X, S c (S{X)~S|TSV T, S, X, U c T{S~X{USV T, S, X, W c T~X{WSSV T, S, X, X c (T{X)~S|XSV T, T, P, V c T{(T{P)~VSV T, T, Q, R c T~T~Q|RSV T, T, Q, S c T~(T{S){QSV T, T, Q, U c T{(T{Q)~USV T, T, Q, W c T{T~W{QSV T, T, Q, X c T~(QT{X)SV T, T, R, Q c T~T~Q|RSV T, T, R, T c (T{T)~T|RSV T, T, R, V c T~(T{R){VSV T, T, R, X c T{(T{X)~RSV T, T, S, Q c T~(T{S){QSV T, T, S, V c (T{T)~S{VSV T, T, S, W c (T{W)~S|TSV T, T, T, R c (T{T)~T|RSV T, T, U, Q c T{(T{Q)~USV T, T, U, W c T~(T{U)|WSV T, T, V, P c T{(T{P)~VSV T, T, V, R c T~(T{R){VSV T, T, V, S c (T{T)~S{VSV T, T, V, V c T{T~V{VSV T, T, V, W c T~(VT{W)SV T, T, V, X c T~X|T{VSV T, T, W, Q c T{T~W{QSV T, T, W, S c (T{W)~S|TSV T, T, W, U c T~(T{U)|WSV T, T, W, V c T~(W{VT)SV T, T, W, X c W~X|T~TSV T, T, X, Q c T~(X{QT)SV T, T, X, R c T{(T{X)~RSV T, T, X, V c T~X|T{VSV T, T, X, W c X~W|T~TSV T, U, O, V c T{(U{O)~VSV T, U, P, R c (T{R)~U|PSV T, U, P, U c T{(U{P)~USV T, U, P, V c T{U~P~VSV T, U, P, W c T{U~(W|P)SV T, U, Q, R c T~(U{R){QSV T, U, Q, T c T{U~(Q{T)SV T, U, Q, V c T~(U{Q){VSV T, U, Q, X c T{U~(X|Q)SV T, U, R, P c (T{R)~U|PSV T, U, R, Q c T~(U{R){QSV T, U, R, S c T{U~(R{S)SV T, U, R, W c T{(U{W)~RSV T, U, R, X c T~X{URSV T, U, S, R c (T{U)~S{RSV T, U, S, V c (T{S)~U|VSV T, U, S, W c U~W|T{SSV T, U, S, X c T{U{S~XSV T, U, T, Q c T{U~(T{Q)SV T, U, T, W c (T{U)~T|WSV T, U, U, P c T{U~(U{P)SV T, U, U, U c T{U{U~USV T, U, U, V c (TU{V)~USV T, U, U, W c T{U~W|USV T, U, V, O c T{U~V{OSV T, U, V, P c T{U~V~PSV T, U, V, Q c T~(U{Q){VSV T, U, V, S c (T{S)~U|VSV T, U, V, U c (TU{V)~USV T, U, V, V c (TV{U)~VSV T, U, W, P c T{U~(W|P)SV T, U, W, R c T{(U{W)~RSV T, U, W, S c U~W|T{SSV T, U, W, T c (T{U)~T|WSV T, U, W, U c T{U~W|USV T, U, W, X c T~U{W{XSV T, U, X, Q c T{U~(X|Q)SV T, U, X, R c T~X{URSV T, U, X, S c T{U{X~SSV T, U, X, W c T~U{X{WSV T, V, O, U c T{(V{O)~USV T, V, O, W c (T{O)~W{VSV T, V, P, S c (T{V)~S|PSV T, V, P, T c T{V~(P{T)SV T, V, P, U c T{V~P~USV T, V, P, V c T{(V|P)~VSV T, V, P, W c T~P~W{VSV T, V, P, X c (T{P)~X|VSV T, V, Q, Q c T~(V{Q){QSV T, V, Q, R c T{V~Q~RSV T, V, Q, S c T{V~(Q{S)SV T, V, Q, U c T~V{Q~USV T, V, Q, W c T{V~(W|Q)SV T, V, R, Q c T{V~R~QSV T, V, R, R c T{V~(R{R)SV T, V, R, S c T~V{R~SSV T, V, R, T c (T{R)~T{VSV T, V, R, V c T{(V{V)~RSV T, V, R, X c T~V{R{XSV T, V, S, P c (T{V)~S|PSV T, V, S, Q c T{V~(S{Q)SV T, V, S, R c T~V{S~RSV T, V, S, S c T~(S{S){VSV T, V, S, T c (T{T)~S{VSV T, V, S, U c (T{S)~U|VSV T, V, S, W c T~V{S{WSV T, V, T, P c T{V~(T{P)SV T, V, T, R c T~(T{R){VSV T, V, T, S c (T{T)~S{VSV T, V, T, V c T{V{T~VSV T, V, T, W c T~(VT{W)SV T, V, T, X c T~X{V|TSV T, V, U, O c T{V~U{OSV T, V, U, P c T{V~U~PSV T, V, U, Q c T~V{U~QSV T, V, U, S c (T{S)~U|VSV T, V, U, U c T~V{U{USV T, V, U, V c (TV{U)~VSV T, V, V, P c T{V~(V|P)SV T, V, V, R c T{(V{V)~RSV T, V, V, T c T{V{V~TSV T, V, V, U c (TV{U)~VSV T, V, V, V c T{V~V|VSV T, V, W, O c T~W{V{OSV T, V, W, P c T~W{V~PSV T, V, W, Q c T{V~(W|Q)SV T, V, W, S c T~V{W{SSV T, V, W, T c T~(VT{W)SV T, V, W, W c (T{VW)~WSV T, V, X, P c T~(X|P){VSV T, V, X, R c T{V~(X|R)SV T, V, X, T c T~X{V|TSV T, V, X, X c T~X|V{XSV T, W, O, V c T~W{O{VSV T, W, P, P c (T{P)~W|PSV T, W, P, Q c T~(W{P){QSV T, W, P, U c T{(W|P)~USV T, W, P, V c T~W{P~VSV T, W, P, W c T~W|P{WSV T, W, Q, P c T~(W{P){QSV T, W, Q, R c T~(W{Q)|RSV T, W, Q, T c T~W{Q{TSV T, W, Q, V c T{(W|Q)~VSV T, W, Q, X c T~W|Q{XSV T, W, R, Q c T~(W{Q)|RSV T, W, R, S c T~W{R{SSV T, W, R, U c T{(W{U)~RSV T, W, R, W c (T{W)~R{WSV T, W, S, R c T~W{S{RSV T, W, S, T c (T{W)~S|TSV T, W, S, U c W~U|T{SSV T, W, S, V c T~(S{V)|WSV T, W, S, X c T~X{WSSV T, W, T, Q c T{W~T{QSV T, W, T, S c (T{W)~S|TSV T, W, T, U c T~(T{U)|WSV T, W, T, V c T~(W{VT)SV T, W, T, X c W~X|T~TSV T, W, U, P c T~W{U{PSV T, W, U, R c T{(W{U)~RSV T, W, U, S c W~U|T{SSV T, W, U, T c (T{U)~T|WSV T, W, U, U c T{W~U|USV T, W, U, X c T~U{W{XSV T, W, V, O c T~W{V{OSV T, W, V, P c T~W{V~PSV T, W, V, Q c T{(W|Q)~VSV T, W, V, S c T~V{W{SSV T, W, V, T c T~(W{VT)SV T, W, V, W c (T{VW)~WSV T, W, W, P c T~W{W|PSV T, W, W, R c (T{W)~R{WSV T, W, W, V c (T{VW)~WSV T, W, X, Q c T~W{X|QSV T, W, X, S c T~X{WSSV T, W, X, T c W~X|T~TSV T, W, X, U c T~X{W|USV T, X, O, Q c T~X{O{QSV T, X, P, P c T~X{P{PSV T, X, P, Q c T~X{P~QSV T, X, P, R c T~(X{P)|RSV T, X, P, V c T~(X|P){VSV T, X, Q, O c T~X{Q{OSV T, X, Q, P c T~X{Q~PSV T, X, Q, S c T~X|Q{SSV T, X, Q, T c T~(X{QT)SV T, X, Q, U c T{(X|Q)~USV T, X, Q, W c T~(X{Q)|WSV T, X, Q, X c (T{QX)~XSV T, X, R, P c T~X{R|PSV T, X, R, S c T~S{X~RSV T, X, R, T c (T{X)~R{TSV T, X, R, U c T~X{URSV T, X, R, V c T{(X|R)~VSV T, X, S, Q c T~X{S|QSV T, X, S, R c T~S{X~RSV T, X, S, S c (X{S)~S|TSV T, X, S, U c T{X~S{USV T, X, S, W c T~X{WSSV T, X, S, X c (T{X)~S|XSV T, X, T, Q c T~(X{QT)SV T, X, T, R c T{(X{T)~RSV T, X, T, V c T~X|T{VSV T, X, T, W c X~W|T~TSV T, X, U, Q c T{(X|Q)~USV T, X, U, R c T~X{URSV T, X, U, S c T~X{U|SSV T, X, U, W c T~X|U{WSV T, X, V, P c T~(X|P){VSV T, X, V, R c T{(X|R)~VSV T, X, V, T c T~X{V|TSV T, X, V, X c T~X|V{XSV T, X, W, Q c T~(X{Q)|WSV T, X, W, S c T~X{WSSV T, X, W, T c X~W|T~TSV T, X, W, U c T~X{W|USV T, X, X, Q c (T{QX)~XSV T, X, X, S c (T{X)~S|XSV T, X, X, V c T~X{X|VSV U, O, P, W c (U{O)~W|PSV U, O, T, V c (U{O)~V{TSV U, O, V, T c (U{O)~V{TSV U, O, V, X c (U{O)~X|VSV U, O, W, P c (U{O)~W|PSV U, O, X, V c (U{O)~X|VSV U, P, O, W c (U{O)~W|PSV U, P, P, V c U~(P{V)|PSV U, P, P, W c U~P~W|PSV U, P, P, X c U~(X|P)|PSV U, P, Q, S c U~Q~S|PSV U, P, Q, U c (U{Q)~U|PSV U, P, Q, V c (U{P)~V|QSV U, P, Q, W c U~W{P|QSV U, P, Q, X c (U|P)~X{QSV U, P, R, T c U~(R{T)|PSV U, P, S, Q c U~S~Q|PSV U, P, S, S c U~(S{S)|PSV U, P, S, U c (U{U)~S|PSV U, P, S, V c U~V{P{SSV U, P, T, R c U~(T{R)|PSV U, P, T, U c (U{P)~U{TSV U, P, T, V c U~P~V{TSV U, P, T, W c U{P{T~WSV U, P, U, Q c U~(U{Q)|PSV U, P, U, S c (U{U)~S|PSV U, P, U, T c (U{P)~U{TSV U, P, U, V c U|P{U~VSV U, P, U, W c U~(W|PU)SV U, P, U, X c (U~X)|(P{U)SV U, P, V, P c U~(P{V)|PSV U, P, V, Q c (U{P)~V|QSV U, P, V, S c U~V{P{SSV U, P, V, T c U~P~V{TSV U, P, V, U c U|P{V~USV U, P, V, W c (U|P)~W{VSV U, P, V, X c U~P~X|VSV U, P, W, O c U~W|P{OSV U, P, W, P c U~P~W|PSV U, P, W, Q c U~W{P|QSV U, P, W, T c U{P{W~TSV U, P, W, U c U~(W|PU)SV U, P, W, V c (U|P)~W{VSV U, P, W, W c (U|PW)~WSV U, P, W, X c (U{P)~W|XSV U, P, X, P c U~(X|P)|PSV U, P, X, Q c (U|P)~X{QSV U, P, X, U c (U~X)|(P{U)SV U, P, X, V c U~P~X|VSV U, P, X, W c (U{P)~W|XSV U, Q, P, S c U~Q~S|PSV U, Q, P, U c (U{Q)~U|PSV U, Q, P, V c (U{P)~V|QSV U, Q, P, W c U~W|Q{PSV U, Q, P, X c (U|P)~X{QSV U, Q, Q, W c U~W|QQSV U, Q, R, T c (U{R)~T{QSV U, Q, R, V c U~V{Q{RSV U, Q, R, W c U~W{Q|RSV U, Q, R, X c (U{X)~R{QSV U, Q, S, P c U~Q~S|PSV U, Q, T, R c (U{R)~T{QSV U, Q, T, T c U~(Q{T){TSV U, Q, T, V c (U{Q)~T{VSV U, Q, T, X c (U~X)|(Q{T)SV U, Q, U, P c (U{Q)~U|PSV U, Q, U, X c U~U{Q{XSV U, Q, V, P c (U{P)~V|QSV U, Q, V, R c U~V{Q{RSV U, Q, V, T c U~Q{V~TSV U, Q, V, V c U~(Q{V)|VSV U, Q, V, X c (U{Q)~V|XSV U, Q, W, P c U~W|Q{PSV U, Q, W, Q c U~W|QQSV U, Q, W, R c U~W{Q|RSV U, Q, X, P c (U|P)~X{QSV U, Q, X, R c (U{X)~R{QSV U, Q, X, T c (U~X)|(Q{T)SV U, Q, X, U c U~U{Q{XSV U, Q, X, V c (U{Q)~V|XSV U, Q, X, X c U~X{Q|XSV U, R, P, T c U~(R{T)|PSV U, R, Q, T c (U{R)~T{QSV U, R, Q, V c U~V{R{QSV U, R, Q, W c U~W|R{QSV U, R, Q, X c (U{X)~R{QSV U, R, R, V c U~R~R|VSV U, R, R, W c U~W|RRSV U, R, S, T c U~(R{S){TSV U, R, S, W c U~W{R|SSV U, R, S, X c (U~X)|(R{S)SV U, R, T, P c U~(R{T)|PSV U, R, T, Q c (U{R)~T{QSV U, R, T, S c U~(R{S){TSV U, R, T, W c (U{W)~R{TSV U, R, T, X c UR{T~XSV U, R, U, V c (U{R)~U|VSV U, R, U, W c U~U{R{WSV U, R, V, Q c U~V{R{QSV U, R, V, R c U~R~R|VSV U, R, V, U c (U{R)~U|VSV U, R, V, V c V~V|URSV U, R, V, W c (U{V)~R{WSV U, R, W, Q c U~W|R{QSV U, R, W, R c U~W|RRSV U, R, W, S c U~W{R|SSV U, R, W, T c (U{W)~R{TSV U, R, W, U c U~U{R{WSV U, R, W, V c (U{V)~R{WSV U, R, X, Q c (U{X)~R{QSV U, R, X, S c (U~X)|(R{S)SV U, R, X, T c UR{X~TSV U, S, P, Q c U~S~Q|PSV U, S, P, S c U~(S{S)|PSV U, S, P, U c (U{U)~S|PSV U, S, P, V c U~V{S{PSV U, S, Q, P c U~S~Q|PSV U, S, R, T c U~(S{R){TSV U, S, R, W c U~W|S{RSV U, S, R, X c (U~X)|(S{R)SV U, S, S, P c U~(S{S)|PSV U, S, S, V c (U{S)~S{VSV U, S, S, W c U~W|SSSV U, S, T, R c (U{S)~T|RSV U, S, T, V c U~(S{T)|VSV U, S, T, W c U~W{S|TSV U, S, T, X c U|S{T~XSV U, S, U, P c (U{U)~S|PSV U, S, U, V c U~U{S{VSV U, S, V, P c U~V{S{PSV U, S, V, S c (U{S)~S{VSV U, S, V, T c U~(S{T)|VSV U, S, V, U c U~U{S{VSV U, S, V, V c S{V~V|USV U, S, V, X c U~V|S{XSV U, S, W, R c U~W|S{RSV U, S, W, S c U~W|SSSV U, S, W, T c U~W{S|TSV U, S, W, X c U{S~W{XSV U, S, X, R c (U~X)|(S{R)SV U, S, X, T c U{S~X{TSV U, S, X, V c U~V|S{XSV U, S, X, W c U{S~W{XSV U, T, O, V c (U{O)~V{TSV U, T, P, R c U~(T{R)|PSV U, T, P, U c (U{P)~U{TSV U, T, P, V c U~P~V{TSV U, T, P, W c U{T~W{PSV U, T, Q, R c (U{R)~T{QSV U, T, Q, T c U~(T{Q){TSV U, T, Q, V c (U{Q)~T{VSV U, T, Q, X c (U~X)|(T{Q)SV U, T, R, P c U~(T{R)|PSV U, T, R, Q c (U{R)~T{QSV U, T, R, S c (U{T)~S{RSV U, T, R, W c (U{W)~R{TSV U, T, R, X c UR{T~XSV U, T, S, R c (U{T)~S{RSV U, T, S, V c U~(T{S)|VSV U, T, S, W c U~W|T{SSV U, T, S, X c U{T{S~XSV U, T, T, Q c U~(T{Q){TSV U, T, T, W c (U{T)~T|WSV U, T, U, P c U~(U{P){TSV U, T, U, U c U{T{U~USV U, T, U, V c U~(TU{V)SV U, T, U, W c U~W{T|USV U, T, V, O c U~V{T{OSV U, T, V, P c U~V{T~PSV U, T, V, Q c (U{Q)~T{VSV U, T, V, S c U~(T{S)|VSV U, T, V, U c U{T~V{USV U, T, V, V c (U{TV)~VSV U, T, W, P c U{T~W{PSV U, T, W, R c (U{W)~R{TSV U, T, W, S c U~W|T{SSV U, T, W, T c (U{T)~T|WSV U, T, W, U c U~W{T|USV U, T, W, X c U~T{W{XSV U, T, X, Q c (U~X)|(T{Q)SV U, T, X, R c UR{T~XSV U, T, X, S c U{T{X~SSV U, T, X, W c U~T{X{WSV U, U, P, Q c U~(U{Q)|PSV U, U, P, S c (U{U)~S|PSV U, U, P, T c U~(U{P){TSV U, U, P, V c U{U~V|PSV U, U, P, W c U~(W|PU)SV U, U, P, X c (U~X)|(U{P)SV U, U, Q, P c U~(U{Q)|PSV U, U, Q, X c U~U{Q{XSV U, U, R, V c U~(U{R)|VSV U, U, R, W c U~U{R{WSV U, U, S, P c (U{U)~S|PSV U, U, S, V c U~U{S{VSV U, U, T, P c U~(U{P){TSV U, U, T, U c U~U{T{USV U, U, T, V c U{U{T~VSV U, U, T, W c U~W|U{TSV U, U, U, T c U{U~U{TSV U, U, U, W c U~W|UUSV U, U, V, P c U{U~V|PSV U, U, V, R c U~(U{R)|VSV U, U, V, S c U~U{V{SSV U, U, V, T c U{U{V~TSV U, U, V, W c U{U~W|VSV U, U, V, X c U~(X|VU)SV U, U, W, P c U~(W|PU)SV U, U, W, R c U~U{W{RSV U, U, W, T c U~W|U{TSV U, U, W, U c U~W|UUSV U, U, W, V c U{U~W|VSV U, U, X, P c (U~X)|(U{P)SV U, U, X, Q c U~U{X{QSV U, U, X, V c U~(X|VU)SV U, V, O, T c U~V{O{TSV U, V, O, X c (U{O)~X|VSV U, V, P, P c U~(V{P)|PSV U, V, P, Q c (U{P)~V|QSV U, V, P, S c U~V{P{SSV U, V, P, T c U~V{P~TSV U, V, P, U c U~V|P{USV U, V, P, W c (U|P)~W{VSV U, V, P, X c U~P~X|VSV U, V, Q, P c (U{P)~V|QSV U, V, Q, R c U~V{Q{RSV U, V, Q, T c U~Q{V~TSV U, V, Q, V c U~(V{Q)|VSV U, V, Q, X c (U{Q)~V|XSV U, V, R, Q c U~V{R{QSV U, V, R, R c U~R~R|VSV U, V, R, U c (U{R)~U|VSV U, V, R, V c V~V|URSV U, V, R, W c (U{V)~R{WSV U, V, S, P c U~V{S{PSV U, V, S, S c (U{S)~S{VSV U, V, S, T c (U{V)~S|TSV U, V, S, U c U~U{V{SSV U, V, S, V c V~V|U{SSV U, V, S, X c U~V|S{XSV U, V, T, O c U~V{T{OSV U, V, T, P c U~V{T~PSV U, V, T, Q c U~Q{V~TSV U, V, T, S c (U{V)~S|TSV U, V, T, U c U{V~T{USV U, V, T, V c (U{TV)~VSV U, V, U, P c U{V~U|PSV U, V, U, R c U~(U{R)|VSV U, V, U, S c U~U{V{SSV U, V, U, T c U{V~T{USV U, V, U, W c U{U~W|VSV U, V, U, X c U~(X|VU)SV U, V, V, Q c U~V{V|QSV U, V, V, R c V~V|URSV U, V, V, S c V~V|U{SSV U, V, V, T c (U{TV)~VSV U, V, V, W c U{V~V|WSV U, V, W, P c U~(W{P)|VSV U, V, W, R c U~V{W|RSV U, V, W, U c U~W|V{USV U, V, W, V c U{V~V|WSV U, V, W, W c U~W{V|WSV U, V, X, O c U~X|V{OSV U, V, X, P c U~X|V~PSV U, V, X, Q c (U{Q)~V|XSV U, V, X, S c U~V{X|SSV U, V, X, U c U~(X|VU)SV U, V, X, X c (U|VX)~XSV U, W, O, P c U~W{O|PSV U, W, P, O c U~W|P{OSV U, W, P, P c U~W|P~PSV U, W, P, Q c U~W{P|QSV U, W, P, T c U~(W|P){TSV U, W, P, U c U~(W|PU)SV U, W, P, V c U~(W{P)|VSV U, W, P, W c (U|PW)~WSV U, W, P, X c (U{P)~W|XSV U, W, Q, P c U~W|Q{PSV U, W, Q, Q c U~W|QQSV U, W, Q, R c U~W{Q|RSV U, W, R, Q c U~W|R{QSV U, W, R, R c U~W|RRSV U, W, R, S c U~W{R|SSV U, W, R, T c (U{W)~R{TSV U, W, R, U c U~U{W{RSV U, W, R, V c U~V{W|RSV U, W, S, R c U~W|S{RSV U, W, S, S c U~W|SSSV U, W, S, T c U~W{S|TSV U, W, S, X c U{W~S{XSV U, W, T, P c U{W~T{PSV U, W, T, R c (U{W)~R{TSV U, W, T, S c U~W|T{SSV U, W, T, T c U~W|TTSV U, W, T, U c U~W{T|USV U, W, T, X c U~T{W{XSV U, W, U, P c U~(W|PU)SV U, W, U, R c U~U{W{RSV U, W, U, T c U~W|U{TSV U, W, U, U c U~W|UUSV U, W, U, V c U{W~U|VSV U, W, V, P c U~(W{P)|VSV U, W, V, R c U~V{W|RSV U, W, V, U c U~W|V{USV U, W, V, V c U~W|VVSV U, W, V, W c U~W{V|WSV U, W, W, P c (U|PW)~WSV U, W, W, V c U~W|W{VSV U, W, W, W c U~W|WWSV U, W, W, X c U~W{W|XSV U, W, X, P c U~X|W{PSV U, W, X, S c U{W~S{XSV U, W, X, T c U~T{W{XSV U, W, X, W c U~W|X{WSV U, W, X, X c U~W|XXSV U, X, O, V c U~X{O|VSV U, X, P, P c U~(X|P)|PSV U, X, P, Q c (U|P)~X{QSV U, X, P, U c (U~X)|(P{U)SV U, X, P, V c U~X|P~VSV U, X, P, W c U~X{P|WSV U, X, Q, P c (U|P)~X{QSV U, X, Q, R c (U{X)~R{QSV U, X, Q, T c (U~X)|(Q{T)SV U, X, Q, U c U~U{X{QSV U, X, Q, V c (U{Q)~V|XSV U, X, Q, X c U~X{Q|XSV U, X, R, Q c (U{X)~R{QSV U, X, R, S c (U~X)|(R{S)SV U, X, R, T c UR{X~TSV U, X, S, R c (U~X)|(S{R)SV U, X, S, T c U{X~S{TSV U, X, S, V c U~V{X|SSV U, X, S, W c U{X{S~WSV U, X, T, Q c (U~X)|(T{Q)SV U, X, T, R c UR{X~TSV U, X, T, S c U{X~T|SSV U, X, T, W c U~T{X{WSV U, X, U, P c (U~X)|(U{P)SV U, X, U, Q c U~U{X{QSV U, X, U, V c U~(X|VU)SV U, X, V, O c U~X|V{OSV U, X, V, P c U~X|V~PSV U, X, V, Q c (U{Q)~V|XSV U, X, V, S c U~V{X|SSV U, X, V, U c U~(X|VU)SV U, X, V, X c (U|VX)~XSV U, X, W, P c U~X|W{PSV U, X, W, S c U{X{W~SSV U, X, W, T c U~T{X{WSV U, X, W, W c U~W|X{WSV U, X, W, X c U~W|XXSV U, X, X, Q c U~X|X{QSV U, X, X, V c (U|VX)~XSV U, X, X, W c U~W|XXSV V, O, Q, V c (V{O)~V|QSV V, O, T, U c (V{O)~U{TSV V, O, T, W c V{O{T~WSV V, O, U, T c (V{O)~U{TSV V, O, U, X c O{U~X|VSV V, O, V, Q c (V{O)~V|QSV V, O, W, T c V{O{W~TSV V, O, W, X c (V{O)~W|XSV V, O, X, U c O{X~U|VSV V, O, X, W c (V{O)~W|XSV V, P, P, U c (V{P)~U|PSV V, P, P, V c (V~V)|(P{P)SV V, P, P, W c (V|P)~W|PSV V, P, Q, U c V~(P{U)|QSV V, P, Q, V c V~P~V|QSV V, P, Q, W c V~(W|P)|QSV V, P, R, V c V~V{P|RSV V, P, R, X c (V{X)~R|PSV V, P, S, T c (V{T)~S|PSV V, P, S, U c V~U{P{SSV V, P, S, W c V{(P{S)~WSV V, P, S, X c V{(P{X)~SSV V, P, T, S c (V{T)~S|PSV V, P, T, T c V~(P{T){TSV V, P, T, U c V~P~U{TSV V, P, T, V c (V{P)~T{VSV V, P, T, W c V{P~T~WSV V, P, T, X c V{T~(X|P)SV V, P, U, P c (V{P)~U|PSV V, P, U, Q c V~(P{U)|QSV V, P, U, S c V~U{P{SSV V, P, U, T c V~P~U{TSV V, P, U, U c V~U|P{USV V, P, U, W c V{(U|P)~WSV V, P, U, X c P~U~X|VSV V, P, V, P c (V~V)|(P{P)SV V, P, V, Q c V~P~V|QSV V, P, V, R c V~V{P|RSV V, P, V, T c V{(P{V)~TSV V, P, V, X c (V{P)~V|XSV V, P, W, P c (V|P)~W|PSV V, P, W, Q c V~(W|P)|QSV V, P, W, S c V{(P{S)~WSV V, P, W, T c V{P~W~TSV V, P, W, U c V{W~(U|P)SV V, P, W, W c (V~W)|(P{W)SV V, P, W, X c V~P~W|XSV V, P, X, R c (V{X)~R|PSV V, P, X, S c V{(P{X)~SSV V, P, X, T c V{(X|P)~TSV V, P, X, U c P~X~U|VSV V, P, X, V c (V|P)~X|VSV V, P, X, W c V~P~W|XSV V, P, X, X c V~(X|P)|XSV V, Q, O, V c (V{O)~V|QSV V, Q, P, U c V~(P{U)|QSV V, Q, P, V c V~P~V|QSV V, Q, P, W c V~(W|P)|QSV V, Q, Q, T c (V{Q)~T{QSV V, Q, Q, X c (V|Q)~X{QSV V, Q, R, S c V~(R{S)|QSV V, Q, R, T c V~Q~R{TSV V, Q, R, U c V~U{Q{RSV V, Q, R, W c V{(Q{R)~WSV V, Q, R, X c Q~R~X|VSV V, Q, S, R c V~(S{R)|QSV V, Q, S, T c V{Q~S~TSV V, Q, S, V c V~V{Q|SSV V, Q, S, W c V{(Q{W)~SSV V, Q, S, X c V~Q~S|XSV V, Q, T, Q c (V{Q)~T{QSV V, Q, T, R c V~Q~R{TSV V, Q, T, S c V{Q~T~SSV V, Q, T, U c V{(Q{U)~TSV V, Q, T, W c V~(W|Q){TSV V, Q, U, P c V~(U{P)|QSV V, Q, U, R c V~U{Q{RSV V, Q, U, T c V{(Q{U)~TSV V, Q, U, V c (V{Q)~U|VSV V, Q, U, X c V~(Q{U)|XSV V, Q, V, O c V~V|Q{OSV V, Q, V, P c V~V|Q~PSV V, Q, V, S c V~V{Q|SSV V, Q, V, U c V|Q{V~USV V, Q, V, V c (V|QV)~VSV V, Q, V, W c (V|Q)~W{VSV V, Q, W, P c V~(W|P)|QSV V, Q, W, R c V{(Q{R)~WSV V, Q, W, S c V{(Q{W)~SSV V, Q, W, T c V~(W|Q){TSV V, Q, W, V c (V|Q)~W{VSV V, Q, W, X c V~X|Q~WSV V, Q, X, Q c (V|Q)~X{QSV V, Q, X, R c Q~X~R|VSV V, Q, X, S c V~Q~S|XSV V, Q, X, U c V~(Q{U)|XSV V, Q, X, W c V~X|Q~WSV V, R, P, V c V~V|R{PSV V, R, P, X c (V{X)~R|PSV V, R, Q, S c V~(R{S)|QSV V, R, Q, T c V~R~Q{TSV V, R, Q, U c V~U{R{QSV V, R, Q, W c V{(R{Q)~WSV V, R, Q, X c R~Q~X|VSV V, R, R, T c V~(R{R){TSV V, R, R, U c R~R~U|VSV V, R, R, W c V~W|R~RSV V, R, R, X c (R{R)~X|VSV V, R, S, Q c V~(R{S)|QSV V, R, S, S c (V{S)~S{RSV V, R, S, T c V~T{R~SSV V, R, S, V c (V{R)~S{VSV V, R, T, Q c V~R~Q{TSV V, R, T, R c (V{R)~T|RSV V, R, T, S c V~T{R~SSV V, R, T, T c V{(R{T)~TSV V, R, T, V c (V{V)~R{TSV V, R, T, X c V~(R{T)|XSV V, R, U, Q c V~U{R{QSV V, R, U, R c R~U~R|VSV V, R, U, U c (R{U)~U|VSV V, R, U, V c V~V|URSV V, R, U, W c (V{U)~R{WSV V, R, V, P c V~V|R{PSV V, R, V, S c V{(R{V)~SSV V, R, V, T c (V{V)~R{TSV V, R, V, U c V~V|URSV V, R, W, Q c V{(R{Q)~WSV V, R, W, R c V~W|R~RSV V, R, W, U c (V~W)|(R{U)SV V, R, W, W c V{(W|R)~WSV V, R, X, P c (V{X)~R|PSV V, R, X, Q c R~X~Q|VSV V, R, X, R c (R{R)~X|VSV V, R, X, T c V~(R{T)|XSV V, R, X, X c R~(X{X)|VSV V, S, P, T c (V{T)~S|PSV V, S, P, U c V~U{S{PSV V, S, P, W c V{(S{P)~WSV V, S, P, X c V{S~(P{X)SV V, S, Q, R c V~(S{R)|QSV V, S, Q, T c V{S~Q~TSV V, S, Q, V c V~V|S{QSV V, S, Q, W c V{S~(Q{W)SV V, S, Q, X c V~S~Q|XSV V, S, R, Q c V~(S{R)|QSV V, S, R, S c (V{S)~S{RSV V, S, R, T c V~T{S~RSV V, S, R, V c V{S~(R{V)SV V, S, S, R c (V{S)~S{RSV V, S, S, T c V{(S{S)~TSV V, S, S, U c V{S~(S{U)SV V, S, S, X c V{S{S~XSV V, S, T, P c (V{T)~S|PSV V, S, T, Q c V{S~T~QSV V, S, T, R c V~T{S~RSV V, S, T, S c V{(S{S)~TSV V, S, T, T c V{S~(T{T)SV V, S, T, U c (V{U)~S|TSV V, S, T, W c (V{S)~T|WSV V, S, U, P c V~U{S{PSV V, S, U, S c V{(S{U)~SSV V, S, U, T c (V{U)~S|TSV V, S, U, U c V{S{U~USV V, S, U, V c V~V{S|USV V, S, U, X c V~U|S{XSV V, S, V, Q c V~V|S{QSV V, S, V, R c V{S~(V{R)SV V, S, V, U c V~V{S|USV V, S, V, W c V~V|WSSV V, S, V, X c (V{V)~S|XSV V, S, W, P c V{(S{P)~WSV V, S, W, Q c V{S~(W{Q)SV V, S, W, T c (V{S)~T|WSV V, S, W, V c V~V|WSSV V, S, W, W c V{S~W{WSV V, S, W, X c V{W~(X|S)SV V, S, X, P c V{S~(X{P)SV V, S, X, Q c V~S~Q|XSV V, S, X, S c V{S{X~SSV V, S, X, U c V~U|S{XSV V, S, X, V c (V{V)~S|XSV V, S, X, W c V{(X|S)~WSV V, T, O, U c (V{O)~U{TSV V, T, O, W c V{(T{O)~WSV V, T, P, S c (V{T)~S|PSV V, T, P, T c V~(T{P){TSV V, T, P, U c V~P~U{TSV V, T, P, V c V{T~(P{V)SV V, T, P, W c V{T~P~WSV V, T, P, X c V{T~(X|P)SV V, T, Q, Q c V~(T{Q)|QSV V, T, Q, R c V~Q~R{TSV V, T, Q, S c V{T~Q~SSV V, T, Q, U c V{T~(Q{U)SV V, T, Q, W c V~(W|Q){TSV V, T, R, Q c V~R~Q{TSV V, T, R, R c (V{R)~T|RSV V, T, R, S c V~T{R~SSV V, T, R, T c V{(T{R)~TSV V, T, R, V c V~V|T{RSV V, T, R, X c V~T{R{XSV V, T, S, P c (V{T)~S|PSV V, T, S, Q c V{T~S~QSV V, T, S, R c V~T{S~RSV V, T, S, S c V{T~(S{S)SV V, T, S, T c V{(T{T)~SSV V, T, S, U c (V{U)~S|TSV V, T, S, W c V~T{S{WSV V, T, T, P c V~(T{P){TSV V, T, T, R c V{T~(T{R)SV V, T, T, S c V{(T{T)~SSV V, T, T, V c V{T{T~VSV V, T, T, W c (VT{W)~TSV V, T, T, X c V|T{T~XSV V, T, U, O c V~U{T{OSV V, T, U, P c V~U{T~PSV V, T, U, Q c V{T~(U{Q)SV V, T, U, S c (V{U)~S|TSV V, T, U, U c (V{TU)~USV V, T, U, V c V~(TV{U)SV V, T, V, P c V{T~(V{P)SV V, T, V, R c V~V|T{RSV V, T, V, T c V{T{V~TSV V, T, V, U c V~(TV{U)SV V, T, V, V c V~V{T|VSV V, T, W, O c V{T~W{OSV V, T, W, P c V{T~W~PSV V, T, W, Q c V~(W|Q){TSV V, T, W, S c V~T{W{SSV V, T, W, T c (VT{W)~TSV V, T, W, W c (VW{T)~WSV V, T, X, P c V{T~(X|P)SV V, T, X, R c V~T{X{RSV V, T, X, T c V{T~X|TSV V, T, X, X c T~X|V{XSV V, U, O, T c V~U{O{TSV V, U, O, X c (U{O)~X|VSV V, U, P, P c (V{P)~U|PSV V, U, P, Q c V~(U{P)|QSV V, U, P, S c V~U{P{SSV V, U, P, T c V~U{P~TSV V, U, P, U c V~U|P{USV V, U, P, W c V{(U|P)~WSV V, U, P, X c U~P~X|VSV V, U, Q, P c V~(U{P)|QSV V, U, Q, R c V~U{Q{RSV V, U, Q, T c V{(U{Q)~TSV V, U, Q, V c V~U|Q{VSV V, U, Q, X c V~(U{Q)|XSV V, U, R, Q c V~U{R{QSV V, U, R, R c U~R~R|VSV V, U, R, U c (U{R)~U|VSV V, U, R, V c V~V|URSV V, U, R, W c (V{U)~R{WSV V, U, S, P c V~U{S{PSV V, U, S, S c V{(U{S)~SSV V, U, S, T c (V{U)~S|TSV V, U, S, U c V{U~U{SSV V, U, S, V c V~V|U{SSV V, U, S, X c V~U|S{XSV V, U, T, O c V~U{T{OSV V, U, T, P c V~U{T~PSV V, U, T, Q c V{(U{Q)~TSV V, U, T, S c (V{U)~S|TSV V, U, T, U c (V{TU)~USV V, U, T, V c V~(U{TV)SV V, U, U, P c V~U{U|PSV V, U, U, R c U~(U{R)|VSV V, U, U, S c V{U~U{SSV V, U, U, T c (V{TU)~USV V, U, U, W c U{U~W|VSV V, U, U, X c U~(X|VU)SV V, U, V, Q c V{U~V|QSV V, U, V, R c V~V|URSV V, U, V, S c V~V|U{SSV V, U, V, T c V~(U{TV)SV V, U, V, W c V~V{U|WSV V, U, W, P c V{(U|P)~WSV V, U, W, R c V~U{W|RSV V, U, W, U c U~W|V{USV V, U, W, V c V~V{U|WSV V, U, W, W c V{U~W|WSV V, U, X, O c U~X|V{OSV V, U, X, P c U~X|V~PSV V, U, X, Q c V~(U{Q)|XSV V, U, X, S c V~U{X|SSV V, U, X, U c U~(X|VU)SV V, U, X, X c (U|VX)~XSV V, V, O, Q c V~V{O|QSV V, V, P, P c (V~V)|(P{P)SV V, V, P, Q c V~V|P~QSV V, V, P, R c V~V{P|RSV V, V, P, T c V{(V{P)~TSV V, V, P, X c V~(V{P)|XSV V, V, Q, O c V~V|Q{OSV V, V, Q, P c V~V|Q~PSV V, V, Q, S c V~V{Q|SSV V, V, Q, U c V{V~U|QSV V, V, Q, V c V~(V|QV)SV V, V, Q, W c V{(V|Q)~WSV V, V, R, P c V~V|R{PSV V, V, R, S c V{(V{R)~SSV V, V, R, T c (V{V)~R{TSV V, V, R, U c V~V|URSV V, V, S, Q c V~V|S{QSV V, V, S, R c V{(V{R)~SSV V, V, S, U c V~V{S|USV V, V, S, W c V~V|WSSV V, V, S, X c (V{V)~S|XSV V, V, T, P c V{(V{P)~TSV V, V, T, R c V~V|T{RSV V, V, T, T c V{V~T{TSV V, V, T, U c V~(TV{U)SV V, V, T, V c V~V{T|VSV V, V, U, Q c V{V~U|QSV V, V, U, R c V~V|URSV V, V, U, S c V~V|U{SSV V, V, U, T c V~(U{TV)SV V, V, U, W c V~V{U|WSV V, V, V, Q c V~(V|QV)SV V, V, V, T c V~V|V{TSV V, V, V, X c V{V~V|XSV V, V, W, Q c V{(V|Q)~WSV V, V, W, S c V~V|WSSV V, V, W, U c V~V|W{USV V, V, W, X c V~(W|XV)SV V, V, X, P c V~(V{P)|XSV V, V, X, S c (V{V)~S|XSV V, V, X, V c V~V|X{VSV V, V, X, W c V~(W|XV)SV V, V, X, X c (V~X)|(V{X)SV V, W, O, T c V{(W{O)~TSV V, W, O, X c V~W{O|XSV V, W, P, P c (V|P)~W|PSV V, W, P, Q c V~(W|P)|QSV V, W, P, S c V{W~(P{S)SV V, W, P, T c V{W~P~TSV V, W, P, U c V{W~(U|P)SV V, W, P, W c (V~W)|(P{W)SV V, W, P, X c V~W|P~XSV V, W, Q, P c V~(W|P)|QSV V, W, Q, R c V{W~(Q{R)SV V, W, Q, S c V{(W{Q)~SSV V, W, Q, T c V~(W|Q){TSV V, W, Q, V c (V~W)|(Q{V)SV V, W, Q, X c V~X|W~QSV V, W, R, Q c (V{W)~R{QSV V, W, R, R c V~W|R~RSV V, W, R, U c (V~W)|(R{U)SV V, W, R, W c V{(W|R)~WSV V, W, S, P c V{W~(S{P)SV V, W, S, Q c V{(W{Q)~SSV V, W, S, T c (V~W)|(S{T)SV V, W, S, V c V~V|WSSV V, W, S, W c V{W{S~WSV V, W, S, X c V{W~(X|S)SV V, W, T, O c V{W~T{OSV V, W, T, P c V{W~T~PSV V, W, T, Q c V~(W|Q){TSV V, W, T, S c (V~W)|(T{S)SV V, W, T, T c (VT{W)~TSV V, W, T, W c (VW{T)~WSV V, W, U, P c V{W~(U|P)SV V, W, U, R c (V~W)|(U{R)SV V, W, U, U c W~U|V{USV V, W, U, V c V~V|W{USV V, W, U, W c V{W~U|WSV V, W, V, Q c V{W~(V|Q)SV V, W, V, S c V~V|WSSV V, W, V, U c V~V|W{USV V, W, V, X c V~(W|XV)SV V, W, W, P c (V~W)|(W{P)SV V, W, W, R c V{W~(W|R)SV V, W, W, S c V{W{W~SSV V, W, W, T c (VW{T)~WSV V, W, W, U c V{W~U|WSV V, W, W, X c (V|XW)~WSV V, W, X, O c V~W|X{OSV V, W, X, P c V~W|X~PSV V, W, X, Q c V~X|W~QSV V, W, X, S c V{W~(X|S)SV V, W, X, V c V~(W|XV)SV V, W, X, W c (V|XW)~WSV V, X, O, U c (X{O)~U|VSV V, X, O, W c (V{O)~W|XSV V, X, P, R c (V{X)~R|PSV V, X, P, S c V{(X{P)~SSV V, X, P, T c V{(X|P)~TSV V, X, P, U c X~P~U|VSV V, X, P, V c (V|P)~X|VSV V, X, P, W c V~P~W|XSV V, X, P, X c V~(X|P)|XSV V, X, Q, Q c V~(X|Q)|QSV V, X, Q, R c X~Q~R|VSV V, X, Q, S c V~Q~S|XSV V, X, Q, U c V~(Q{U)|XSV V, X, Q, W c V~X|Q~WSV V, X, R, P c (V{X)~R|PSV V, X, R, Q c X~R~Q|VSV V, X, R, R c X~(R{R)|VSV V, X, R, T c V~(X|R){TSV V, X, R, X c (X|R)~X|VSV V, X, S, P c V{(X{P)~SSV V, X, S, Q c V~S~Q|XSV V, X, S, S c V{X~S{SSV V, X, S, U c V~U{X|SSV V, X, S, V c (V{V)~S|XSV V, X, S, W c V{(X|S)~WSV V, X, T, P c V{(X|P)~TSV V, X, T, R c V~(X|R){TSV V, X, T, T c V{X~T|TSV V, X, T, X c X|V{T~XSV V, X, U, O c X~U|V{OSV V, X, U, P c X~U|V~PSV V, X, U, Q c V~(U{Q)|XSV V, X, U, S c V~U{X|SSV V, X, U, U c (X|VU)~USV V, X, U, X c X~(U|VX)SV V, X, V, P c V~(V{P)|XSV V, X, V, S c (V{V)~S|XSV V, X, V, V c V~V|X{VSV V, X, V, W c V~(W|XV)SV V, X, V, X c (V~X)|(V{X)SV V, X, W, O c V~W|X{OSV V, X, W, P c V~W|X~PSV V, X, W, Q c V~X|W~QSV V, X, W, S c V{(X|S)~WSV V, X, W, V c V~(W|XV)SV V, X, W, W c (V|XW)~WSV V, X, X, P c V~(X|P)|XSV V, X, X, R c (X{X)~R|VSV V, X, X, T c X|V{X~TSV V, X, X, U c X~(U|VX)SV V, X, X, V c (V~X)|(X{V)SV W, O, P, U c (W{O)~U|PSV W, O, T, V c (W{O)~T{VSV W, O, U, P c (W{O)~U|PSV W, O, V, T c (W{O)~T{VSV W, O, V, X c (W{O)~V|XSV W, O, X, V c (W{O)~V|XSV W, P, O, U c (W{O)~U|PSV W, P, P, T c W~(P{T)|PSV W, P, P, U c W~P~U|PSV W, P, P, V c W~(V|P)|PSV W, P, Q, R c W~Q~R|PSV W, P, Q, S c W~(Q{S)|PSV W, P, Q, T c (W{P)~T{QSV W, P, Q, U c W~U{P|QSV W, P, Q, V c (W|P)~V|QSV W, P, Q, W c (W|Q)~W|PSV W, P, R, Q c W~R~Q|PSV W, P, R, R c W~(R{R)|PSV W, P, R, W c (W{W)~R|PSV W, P, R, X c W~(X|R)|PSV W, P, S, Q c W~(S{Q)|PSV W, P, S, S c (W{S)~S|PSV W, P, S, V c W~(P{S){VSV W, P, T, P c W~(P{T)|PSV W, P, T, Q c (W{P)~T{QSV W, P, T, U c (W|P)~U{TSV W, P, T, V c W~P~T{VSV W, P, T, W c W|P{T~WSV W, P, U, O c W~U|P{OSV W, P, U, P c W~P~U|PSV W, P, U, Q c W~U{P|QSV W, P, U, T c (W|P)~U{TSV W, P, U, U c (W|PU)~USV W, P, U, V c (W{P)~U|VSV W, P, U, W c W~(U|PW)SV W, P, U, X c W~(P{U)|XSV W, P, V, P c W~(V|P)|PSV W, P, V, Q c (W|P)~V|QSV W, P, V, S c W~(P{S){VSV W, P, V, T c W~P~T{VSV W, P, V, U c (W{P)~U|VSV W, P, V, W c (W~V)|(P{W)SV W, P, V, X c W~P~V|XSV W, P, W, Q c W~(W|Q)|PSV W, P, W, R c (W{W)~R|PSV W, P, W, T c W|P{W~TSV W, P, W, U c W~(U|PW)SV W, P, W, V c (W~V)|(P{W)SV W, P, W, X c (W|P)~W|XSV W, P, X, R c W~(X|R)|PSV W, P, X, U c W~(P{U)|XSV W, P, X, V c W~P~V|XSV W, P, X, W c (W|P)~W|XSV W, Q, P, R c W~Q~R|PSV W, Q, P, S c W~(Q{S)|PSV W, Q, P, T c (W{P)~T{QSV W, Q, P, U c W~U|Q{PSV W, Q, P, V c (W|P)~V|QSV W, Q, P, W c (W|Q)~W|PSV W, Q, Q, U c W~U|QQSV W, Q, R, P c W~Q~R|PSV W, Q, R, T c (W{Q)~T|RSV W, Q, R, U c W~U{Q|RSV W, Q, R, V c W~(Q{R){VSV W, Q, R, X c (W|R)~X{QSV W, Q, S, P c W~(Q{S)|PSV W, Q, S, V c (W{Q)~S{VSV W, Q, T, P c (W{P)~T{QSV W, Q, T, R c (W{Q)~T|RSV W, Q, T, T c W~T{Q{TSV W, Q, T, V c (W|Q)~V{TSV W, Q, T, X c W~(Q{T)|XSV W, Q, U, P c W~U|Q{PSV W, Q, U, Q c W~U|QQSV W, Q, U, R c W~U{Q|RSV W, Q, V, P c (W|P)~V|QSV W, Q, V, R c W~(Q{R){VSV W, Q, V, S c (W{Q)~S{VSV W, Q, V, T c (W|Q)~V{TSV W, Q, V, V c (W~V)|(Q{V)SV W, Q, V, X c (W|Q)~X|VSV W, Q, W, P c (W|Q)~W|PSV W, Q, X, R c (W|R)~X{QSV W, Q, X, T c W~(Q{T)|XSV W, Q, X, V c (W|Q)~X|VSV W, Q, X, X c W~(X|Q)|XSV W, R, P, Q c W~R~Q|PSV W, R, P, R c W~(R{R)|PSV W, R, P, W c (W{W)~R|PSV W, R, P, X c W~(X|R)|PSV W, R, Q, P c W~R~Q|PSV W, R, Q, T c (W{Q)~T|RSV W, R, Q, U c W~U|R{QSV W, R, Q, V c W~(R{Q){VSV W, R, Q, X c (W|R)~X{QSV W, R, R, P c W~(R{R)|PSV W, R, R, S c (W{R)~S{RSV W, R, R, U c W~U|RRSV W, R, R, V c W~V|R~RSV W, R, S, R c (W{R)~S{RSV W, R, S, T c W~S{R~TSV W, R, S, U c W~U{R|SSV W, R, S, X c W{R{S~XSV W, R, T, Q c (W{Q)~T|RSV W, R, T, S c W~T{R{SSV W, R, T, U c (W{U)~R{TSV W, R, T, W c W{R~(T{W)SV W, R, U, Q c W~U|R{QSV W, R, U, R c W~U|RRSV W, R, U, S c W~U{R|SSV W, R, U, T c (W{U)~R{TSV W, R, U, U c W{R{U~USV W, R, U, V c W{R~(U{V)SV W, R, V, Q c W~(R{Q){VSV W, R, V, R c W~V|R~RSV W, R, V, U c W{R~(V{U)SV W, R, V, W c (W|R)~W{VSV W, R, W, P c (W{W)~R|PSV W, R, W, T c W{R~(W{T)SV W, R, W, V c (W|R)~W{VSV W, R, X, P c W~(X|R)|PSV W, R, X, Q c (W|R)~X{QSV W, R, X, S c W{R{X~SSV W, S, P, Q c W~(S{Q)|PSV W, S, P, S c (W{S)~S|PSV W, S, P, V c W~(S{P){VSV W, S, Q, P c W~(S{Q)|PSV W, S, Q, V c (W{Q)~S{VSV W, S, R, R c (W{R)~S{RSV W, S, R, T c W~S{R~TSV W, S, R, U c W~U|S{RSV W, S, R, X c W~(S{R)|XSV W, S, S, P c (W{S)~S|PSV W, S, S, U c W~U|SSSV W, S, T, R c W~S{T~RSV W, S, T, T c (W{T)~S|TSV W, S, T, U c W~U{S|TSV W, S, T, V c W{S{T~VSV W, S, T, X c WS{T~XSV W, S, U, R c W~U|S{RSV W, S, U, S c W~U|SSSV W, S, U, T c W~U{S|TSV W, S, U, X c W~S{U{XSV W, S, V, P c W~(S{P){VSV W, S, V, Q c (W{Q)~S{VSV W, S, V, T c W{S{V~TSV W, S, V, V c V~V|WSSV W, S, V, W c W~S{V{WSV W, S, V, X c W~(X|S){VSV W, S, W, V c W{S~W{VSV W, S, X, R c W{(S{X)~RSV W, S, X, T c WS{X~TSV W, S, X, U c W~S{X{USV W, S, X, V c W~(X|S){VSV W, T, O, V c W~T{O{VSV W, T, P, P c W~(T{P)|PSV W, T, P, Q c (W{P)~T{QSV W, T, P, U c W~T{P{USV W, T, P, V c W~T{P~VSV W, T, P, W c W~T|P{WSV W, T, Q, P c (W{P)~T{QSV W, T, Q, R c (W{Q)~T|RSV W, T, Q, T c W~T{Q{TSV W, T, Q, V c (W|Q)~V{TSV W, T, Q, X c W~(T{Q)|XSV W, T, R, Q c (W{Q)~T|RSV W, T, R, S c W~T{R{SSV W, T, R, U c (W{U)~R{TSV W, T, R, W c (W{T)~R{WSV W, T, S, R c W~T{S{RSV W, T, S, T c (W{T)~S|TSV W, T, S, U c W~U|T{SSV W, T, S, V c W{T~V{SSV W, T, S, X c WS{T~XSV W, T, T, Q c W~T{T{QSV W, T, T, S c (W{T)~S|TSV W, T, T, U c W~U|TTSV W, T, T, V c (W{VT)~TSV W, T, T, X c W~X|T~TSV W, T, U, P c W~T{U{PSV W, T, U, R c (W{U)~R{TSV W, T, U, S c W~U|T{SSV W, T, U, T c W~U|TTSV W, T, U, U c W~U{T|USV W, T, U, X c W{T~U{XSV W, T, V, O c W~T{V{OSV W, T, V, P c W~T{V~PSV W, T, V, Q c (W|Q)~V{TSV W, T, V, S c W{T~V{SSV W, T, V, T c (W{VT)~TSV W, T, V, W c W~(T{VW)SV W, T, W, P c W{T~W|PSV W, T, W, R c W{(T{W)~RSV W, T, W, V c W~(T{VW)SV W, T, X, Q c W~T{X|QSV W, T, X, S c WS{T~XSV W, T, X, T c W~X|T~TSV W, T, X, U c W{T~X|USV W, U, O, P c W~U{O|PSV W, U, P, O c W~U|P{OSV W, U, P, P c W~U|P~PSV W, U, P, Q c W~U{P|QSV W, U, P, T c (W|P)~U{TSV W, U, P, U c (W|PU)~USV W, U, P, V c W~(U|P){VSV W, U, P, W c W~(U|PW)SV W, U, P, X c W~(U{P)|XSV W, U, Q, P c W~U|Q{PSV W, U, Q, Q c W~U|QQSV W, U, Q, R c W~U{Q|RSV W, U, R, Q c W~U|R{QSV W, U, R, R c W~U|RRSV W, U, R, S c W~U{R|SSV W, U, R, T c (W{U)~R{TSV W, U, R, U c W{U~U{RSV W, U, R, V c W{(U{V)~RSV W, U, S, R c W~U|S{RSV W, U, S, S c W~U|SSSV W, U, S, T c W~U{S|TSV W, U, S, X c (W{U)~S|XSV W, U, T, P c W~T{U{PSV W, U, T, R c (W{U)~R{TSV W, U, T, S c W~U|T{SSV W, U, T, T c W~U|TTSV W, U, T, U c W~U{T|USV W, U, T, X c W{U~T{XSV W, U, U, P c (W|PU)~USV W, U, U, R c W{U~U{RSV W, U, U, T c W~U|U{TSV W, U, U, U c W~U|UUSV W, U, U, V c W~U{U|VSV W, U, V, P c W~(U|P){VSV W, U, V, R c W{(U{V)~RSV W, U, V, U c W~U|V{USV W, U, V, V c W~U|VVSV W, U, V, W c W~U{V|WSV W, U, W, P c W~(U|PW)SV W, U, W, V c W~U|W{VSV W, U, W, W c W~U|WWSV W, U, W, X c W{U~W|XSV W, U, X, P c W~(U{P)|XSV W, U, X, S c (W{U)~S|XSV W, U, X, T c W|U{X~TSV W, U, X, W c W~U|X{WSV W, U, X, X c W~U|XXSV W, V, O, T c (W{O)~T{VSV W, V, O, X c W~V{O|XSV W, V, P, P c W~(V|P)|PSV W, V, P, Q c (W|P)~V|QSV W, V, P, S c W~(P{S){VSV W, V, P, T c W~P~T{VSV W, V, P, U c (W{P)~U|VSV W, V, P, W c (W~V)|(P{W)SV W, V, P, X c W~V|P~XSV W, V, Q, P c (W|P)~V|QSV W, V, Q, R c (W{V)~R{QSV W, V, Q, S c (W{Q)~S{VSV W, V, Q, T c (W|Q)~V{TSV W, V, Q, V c (W~V)|(Q{V)SV W, V, Q, X c (W|Q)~X|VSV W, V, R, Q c (W{V)~R{QSV W, V, R, R c W~V|R~RSV W, V, R, U c (W~V)|(R{U)SV W, V, R, W c (W|R)~W{VSV W, V, S, P c W~(S{P){VSV W, V, S, Q c (W{Q)~S{VSV W, V, S, T c (W~V)|(S{T)SV W, V, S, V c V~V|WSSV W, V, S, W c W{V{S~WSV W, V, S, X c W~(X|S){VSV W, V, T, O c W~T{V{OSV W, V, T, P c W~T{V~PSV W, V, T, Q c (W|Q)~V{TSV W, V, T, S c W{V~T{SSV W, V, T, T c (W{VT)~TSV W, V, T, W c W~(VW{T)SV W, V, U, P c W~(U|P){VSV W, V, U, R c W{(V{U)~RSV W, V, U, U c W~U|V{USV W, V, U, V c W~U|VVSV W, V, U, W c W~U{V|WSV W, V, V, Q c (W~V)|(V{Q)SV W, V, V, S c V~V|WSSV W, V, V, U c W~U|VVSV W, V, V, X c (W|XV)~VSV W, V, W, P c (W~V)|(W{P)SV W, V, W, R c W~(W|R){VSV W, V, W, S c W{V{W~SSV W, V, W, T c W~(VW{T)SV W, V, W, U c W~U{V|WSV W, V, W, X c W~(V|XW)SV W, V, X, O c W~V|X{OSV W, V, X, P c W~V|X~PSV W, V, X, Q c (W|Q)~X|VSV W, V, X, S c W~(X|S){VSV W, V, X, V c (W|XV)~VSV W, V, X, W c W~(V|XW)SV W, W, P, Q c W~(W|Q)|PSV W, W, P, R c (W{W)~R|PSV W, W, P, T c W{W~T|PSV W, W, P, U c W~(U|PW)SV W, W, P, V c (W~V)|(W{P)SV W, W, P, X c W~(W|P)|XSV W, W, Q, P c W~(W|Q)|PSV W, W, R, P c (W{W)~R|PSV W, W, R, T c W{(W{T)~RSV W, W, R, V c W~(W|R){VSV W, W, S, V c W{W~S{VSV W, W, T, P c W{W~T|PSV W, W, T, R c W{(W{T)~RSV W, W, T, V c W~(T{VW)SV W, W, U, P c W~(U|PW)SV W, W, U, V c W~U|W{VSV W, W, U, W c W~U|WWSV W, W, U, X c W{W~U|XSV W, W, V, P c (W~V)|(W{P)SV W, W, V, R c W~(W|R){VSV W, W, V, S c W{W~S{VSV W, W, V, T c W~(VW{T)SV W, W, V, U c W~U|W{VSV W, W, V, X c W~(V|XW)SV W, W, W, U c W~U|WWSV W, W, W, X c (W~W)|(W{X)SV W, W, X, P c W~(W|P)|XSV W, W, X, U c W{W~U|XSV W, W, X, V c W~(V|XW)SV W, W, X, W c (W~W)|(X{W)SV W, X, O, V c (W{O)~V|XSV W, X, P, R c W~(X|R)|PSV W, X, P, U c W~(P{U)|XSV W, X, P, V c W~P~V|XSV W, X, P, W c (W|P)~W|XSV W, X, Q, R c (W|R)~X{QSV W, X, Q, T c W~(Q{T)|XSV W, X, Q, V c (W|Q)~X|VSV W, X, Q, X c W~(X|Q)|XSV W, X, R, P c W~(X|R)|PSV W, X, R, Q c (W|R)~X{QSV W, X, R, S c (W{X)~R|SSV W, X, S, R c W{(X{S)~RSV W, X, S, T c WS{X~TSV W, X, S, U c W~S{X{USV W, X, S, V c W~(X|S){VSV W, X, T, Q c W~T{X|QSV W, X, T, S c WS{X~TSV W, X, T, T c W~X|T~TSV W, X, T, U c W{X{T~USV W, X, U, P c W~(U{P)|XSV W, X, U, S c (W{U)~S|XSV W, X, U, T c W{X{U~TSV W, X, U, W c W~U|X{WSV W, X, U, X c W~U|XXSV W, X, V, O c W~V|X{OSV W, X, V, P c W~V|X~PSV W, X, V, Q c (W|Q)~X|VSV W, X, V, S c W~(X|S){VSV W, X, V, V c (W|XV)~VSV W, X, V, W c W~(V|XW)SV W, X, W, P c W~(W|P)|XSV W, X, W, U c W{W~U|XSV W, X, W, V c W~(V|XW)SV W, X, W, W c (W~W)|(X{W)SV W, X, X, Q c W~(X|Q)|XSV W, X, X, U c W~U|XXSV X, O, Q, T c (X{O)~T{QSV X, O, T, Q c (X{O)~T{QSV X, O, U, V c (X{O)~U|VSV X, O, V, U c (X{O)~U|VSV X, O, V, W c O{V~W|XSV X, O, W, V c O{W~V|XSV X, P, P, T c X~T{P{PSV X, P, P, U c (X|P)~U|PSV X, P, Q, S c X~(P{S){QSV X, P, Q, T c X~P~T{QSV X, P, Q, U c X~(U|P){QSV X, P, R, S c (X{R)~S|PSV X, P, R, T c (X{P)~T|RSV X, P, R, V c (X{V)~R|PSV X, P, R, W c (X|R)~W|PSV X, P, S, Q c X~(P{S){QSV X, P, S, R c (X{R)~S|PSV X, P, S, V c (X{P)~S{VSV X, P, T, P c X~T{P{PSV X, P, T, Q c X~P~T{QSV X, P, T, R c (X{P)~T|RSV X, P, T, V c (X|P)~T{VSV X, P, U, P c (X|P)~U|PSV X, P, U, Q c X~(U|P){QSV X, P, U, U c (X~U)|(P{U)SV X, P, U, V c X~P~U|VSV X, P, U, W c X~U{P|WSV X, P, V, R c (X{V)~R|PSV X, P, V, S c (X{P)~S{VSV X, P, V, T c (X|P)~T{VSV X, P, V, U c X~P~U|VSV X, P, V, V c X~(V|P)|VSV X, P, V, W c P~V~W|XSV X, P, V, X c (X|P)~V|XSV X, P, W, R c (X|R)~W|PSV X, P, W, U c X~U{P|WSV X, P, W, V c P~W~V|XSV X, P, W, W c (W|P)~W|XSV X, P, X, V c (X|P)~V|XSV X, Q, O, T c (X{O)~T{QSV X, Q, P, S c X~(P{S){QSV X, Q, P, T c X~P~T{QSV X, Q, P, U c X~(U|P){QSV X, Q, Q, R c X~(Q{R){QSV X, Q, Q, V c (X|Q)~V|QSV X, Q, R, Q c X~(Q{R){QSV X, Q, R, S c (X{Q)~S{RSV X, Q, R, U c (X{U)~R{QSV X, Q, R, V c X~Q~R|VSV X, Q, R, W c X~(W|R){QSV X, Q, S, P c X~(S{P){QSV X, Q, S, R c (X{Q)~S{RSV X, Q, S, T c X~T|Q{SSV X, Q, S, V c X~(Q{S)|VSV X, Q, S, X c X{Q{S~XSV X, Q, T, O c X~T{Q{OSV X, Q, T, P c X~T{Q~PSV X, Q, T, S c X~T|Q{SSV X, Q, T, T c (X{QT)~TSV X, Q, T, U c (X|Q)~U{TSV X, Q, T, W c (X{Q)~T|WSV X, Q, T, X c X~(QX{T)SV X, Q, U, P c X~(U|P){QSV X, Q, U, R c (X{U)~R{QSV X, Q, U, T c (X|Q)~U{TSV X, Q, U, U c X{Q{U~USV X, Q, U, V c (Q{U)~V|XSV X, Q, U, X c X~U{Q|XSV X, Q, V, Q c (X|Q)~V|QSV X, Q, V, R c X~Q~R|VSV X, Q, V, S c X~(Q{S)|VSV X, Q, V, U c (Q{U)~V|XSV X, Q, V, W c X~V|Q~WSV X, Q, W, R c X~(W|R){QSV X, Q, W, T c X|Q{W~TSV X, Q, W, V c X~(W|Q)|VSV X, Q, W, X c (X|Q)~W|XSV X, Q, X, S c X{Q{X~SSV X, Q, X, T c X~(QX{T)SV X, Q, X, U c X~U{Q|XSV X, Q, X, W c (X|Q)~W|XSV X, R, P, S c (X{R)~S|PSV X, R, P, T c (X{P)~T|RSV X, R, P, V c (X{V)~R|PSV X, R, P, W c (X|R)~W|PSV X, R, Q, Q c X~(R{Q){QSV X, R, Q, S c (X{Q)~S{RSV X, R, Q, U c (X{U)~R{QSV X, R, Q, V c X~R~Q|VSV X, R, Q, W c X~(W|R){QSV X, R, R, V c X~(R{R)|VSV X, R, S, P c (X{R)~S|PSV X, R, S, Q c (X{Q)~S{RSV X, R, S, T c X~R{S~TSV X, R, S, U c (X~U)|(R{S)SV X, R, S, W c (X{S)~R{WSV X, R, T, P c X~T{R|PSV X, R, T, S c X~R{T~SSV X, R, T, T c (X{T)~R{TSV X, R, T, U c X~T{URSV X, R, T, V c X{R{T~VSV X, R, U, Q c (X{U)~R{QSV X, R, U, S c (X~U)|(R{S)SV X, R, U, T c X~T{URSV X, R, V, P c (X{V)~R|PSV X, R, V, Q c X~R~Q|VSV X, R, V, R c X~(R{R)|VSV X, R, V, T c X{R{V~TSV X, R, V, X c (X|R)~X|VSV X, R, W, P c (X|R)~W|PSV X, R, W, Q c X~(W|R){QSV X, R, W, S c (X{W)~R|SSV X, R, X, V c (X|R)~X|VSV X, S, P, Q c X~(S{P){QSV X, S, P, R c (X{R)~S|PSV X, S, P, V c (X{P)~S{VSV X, S, Q, P c X~(S{P){QSV X, S, Q, R c (X{Q)~S{RSV X, S, Q, T c X~T{S|QSV X, S, Q, V c X~(S{Q)|VSV X, S, Q, X c X~S{Q{XSV X, S, R, P c (X{R)~S|PSV X, S, R, Q c (X{Q)~S{RSV X, S, R, T c X~R{S~TSV X, S, R, U c (X~U)|(S{R)SV X, S, R, W c (X{S)~R{WSV X, S, S, T c (X{S)~S|TSV X, S, S, V c X~S{S{VSV X, S, T, Q c X~T{S|QSV X, S, T, R c X~R{S~TSV X, S, T, S c (X{S)~S|TSV X, S, T, U c X~S{T{USV X, S, T, W c X~T{WSSV X, S, T, X c (X{T)~S|XSV X, S, U, R c (X~U)|(S{R)SV X, S, U, T c X~S{U{TSV X, S, U, V c X|S{U~VSV X, S, U, W c X{S~W{USV X, S, V, P c (X{P)~S{VSV X, S, V, Q c X~(S{Q)|VSV X, S, V, S c X~S{V{SSV X, S, V, U c X|S{V~USV X, S, V, V c S~(V{V)|XSV X, S, V, W c (X|S)~W{VSV X, S, W, R c X~S{W{RSV X, S, W, T c X~T{WSSV X, S, W, U c X{S~W{USV X, S, W, V c (X|S)~W{VSV X, S, X, Q c X{S~X{QSV X, S, X, T c (X{T)~S|XSV X, T, O, Q c X~T{O{QSV X, T, P, P c X~T{P{PSV X, T, P, Q c X~T{P~QSV X, T, P, R c X~T|P{RSV X, T, P, V c X~(T{P)|VSV X, T, Q, O c X~T{Q{OSV X, T, Q, P c X~T{Q~PSV X, T, Q, S c X~T|Q{SSV X, T, Q, T c (X{QT)~TSV X, T, Q, U c (X|Q)~U{TSV X, T, Q, W c X{T~W|QSV X, T, Q, X c X~(T{QX)SV X, T, R, P c X~T{R|PSV X, T, R, S c X~R{T~SSV X, T, R, T c (X{T)~R{TSV X, T, R, U c X~T{URSV X, T, R, V c X{T~V{RSV X, T, S, Q c X~T{S|QSV X, T, S, R c X~R{T~SSV X, T, S, S c (X{S)~S|TSV X, T, S, U c X~T|S{USV X, T, S, W c X~T{WSSV X, T, S, X c (X{T)~S|XSV X, T, T, Q c (X{QT)~TSV X, T, T, R c X~T{T|RSV X, T, T, V c X~T|T{VSV X, T, T, W c X~W|T~TSV X, T, U, Q c (X~U)|(T{Q)SV X, T, U, R c X~T{URSV X, T, U, S c X~T{U|SSV X, T, U, W c X{T~U{WSV X, T, V, P c X~(T{P)|VSV X, T, V, R c X{T~V{RSV X, T, V, T c X~T{V|TSV X, T, V, X c X~T|V{XSV X, T, W, Q c X{T~W|QSV X, T, W, S c X~T{WSSV X, T, W, T c X~W|T~TSV X, T, W, U c X~T{W|USV X, T, X, Q c X~(T{QX)SV X, T, X, S c (X{T)~S|XSV X, T, X, V c X{T~X|VSV X, U, O, V c X~U{O|VSV X, U, P, P c (X|P)~U|PSV X, U, P, Q c X~(U|P){QSV X, U, P, U c (X~U)|(P{U)SV X, U, P, V c X~U|P~VSV X, U, P, W c X~U{P|WSV X, U, Q, P c X~(U|P){QSV X, U, Q, R c (X{U)~R{QSV X, U, Q, T c (X~U)|(Q{T)SV X, U, Q, U c X{U~U{QSV X, U, Q, V c (U{Q)~V|XSV X, U, Q, X c X~U{Q|XSV X, U, R, Q c (X{U)~R{QSV X, U, R, S c (X~U)|(R{S)SV X, U, R, T c X~T{URSV X, U, S, R c (X~U)|(S{R)SV X, U, S, T c X~S{U{TSV X, U, S, V c X{U~V|SSV X, U, S, W c X{U{S~WSV X, U, T, Q c (X~U)|(T{Q)SV X, U, T, R c X~T{URSV X, U, T, S c X~T{U|SSV X, U, T, W c X{U~T{WSV X, U, U, P c (X~U)|(U{P)SV X, U, U, Q c X{U~U{QSV X, U, U, V c (X|VU)~USV X, U, V, O c X~U|V{OSV X, U, V, P c X~U|V~PSV X, U, V, Q c (U{Q)~V|XSV X, U, V, S c X{U~V|SSV X, U, V, U c (X|VU)~USV X, U, V, X c X~(U|VX)SV X, U, W, P c X~U|W{PSV X, U, W, S c X{U{W~SSV X, U, W, T c X{U~T{WSV X, U, W, W c U~W|X{WSV X, U, W, X c U~W|XXSV X, U, X, Q c X~U|X{QSV X, U, X, V c X~(U|VX)SV X, U, X, W c U~W|XXSV X, V, O, U c (X{O)~U|VSV X, V, O, W c (V{O)~W|XSV X, V, P, R c (X{V)~R|PSV X, V, P, S c (X{P)~S{VSV X, V, P, T c (X|P)~T{VSV X, V, P, U c X~P~U|VSV X, V, P, V c X~(V|P)|VSV X, V, P, W c V~P~W|XSV X, V, P, X c (X|P)~V|XSV X, V, Q, Q c X~(V|Q){QSV X, V, Q, R c X~Q~R|VSV X, V, Q, S c X~(Q{S)|VSV X, V, Q, U c V~(Q{U)|XSV X, V, Q, W c X~V|Q~WSV X, V, R, P c (X{V)~R|PSV X, V, R, Q c X~R~Q|VSV X, V, R, R c X~(R{R)|VSV X, V, R, T c X{V~T{RSV X, V, R, X c (X|R)~X|VSV X, V, S, P c (X{P)~S{VSV X, V, S, Q c X~(S{Q)|VSV X, V, S, S c X~V|S~SSV X, V, S, U c X{V~U|SSV X, V, S, V c (V{V)~S|XSV X, V, S, W c (X|S)~W{VSV X, V, T, P c X~(T{P)|VSV X, V, T, R c X{V~T{RSV X, V, T, T c X~T{V|TSV X, V, T, X c X|V{T~XSV X, V, U, O c X~U|V{OSV X, V, U, P c X~U|V~PSV X, V, U, Q c V~(U{Q)|XSV X, V, U, S c X{V~U|SSV X, V, U, U c (X|VU)~USV X, V, U, X c X~(U|VX)SV X, V, V, P c X~(V|P)|VSV X, V, V, S c (V{V)~S|XSV X, V, V, V c V~V|X{VSV X, V, V, W c V~(W|XV)SV X, V, V, X c (X~V)|(V{X)SV X, V, W, O c V~W|X{OSV X, V, W, P c V~W|X~PSV X, V, W, Q c X~V|W~QSV X, V, W, S c (X|S)~W{VSV X, V, W, V c V~(W|XV)SV X, V, W, W c (X~V)|(W{W)SV X, V, X, P c (X|P)~V|XSV X, V, X, R c (X{X)~R|VSV X, V, X, T c X|V{X~TSV X, V, X, U c X~(U|VX)SV X, V, X, V c (X~V)|(X{V)SV X, W, O, V c (W{O)~V|XSV X, W, P, R c (X|R)~W|PSV X, W, P, U c X~U|W{PSV X, W, P, V c W~P~V|XSV X, W, P, W c (W|P)~W|XSV X, W, Q, R c X~(W|R){QSV X, W, Q, T c X{W~T|QSV X, W, Q, V c X~(W|Q)|VSV X, W, Q, X c (X|Q)~W|XSV X, W, R, P c (X|R)~W|PSV X, W, R, Q c X~(W|R){QSV X, W, R, S c (X{W)~R|SSV X, W, S, R c (X{W)~R|SSV X, W, S, T c X~T{WSSV X, W, S, U c X{W~S{USV X, W, S, V c (X|S)~W{VSV X, W, T, Q c X{W~T|QSV X, W, T, S c X~T{WSSV X, W, T, T c X~W|T~TSV X, W, T, U c X{W{T~USV X, W, U, P c X~U|W{PSV X, W, U, S c X{W~S{USV X, W, U, T c X{W{U~TSV X, W, U, W c W~U|X{WSV X, W, U, X c W~U|XXSV X, W, V, O c W~V|X{OSV X, W, V, P c W~V|X~PSV X, W, V, Q c X~(W|Q)|VSV X, W, V, S c (X|S)~W{VSV X, W, V, V c (W|XV)~VSV X, W, V, W c (X~V)|(W{W)SV X, W, W, P c W~(W|P)|XSV X, W, W, U c W{W~U|XSV X, W, W, V c (X~V)|(W{W)SV X, W, W, W c (W~W)|(X{W)SV X, W, X, Q c (X|Q)~W|XSV X, W, X, U c W~U|XXSV X, X, P, V c (X|P)~V|XSV X, X, Q, S c X{X~S{QSV X, X, Q, T c X~(QX{T)SV X, X, Q, U c X~U|X{QSV X, X, Q, W c (X|Q)~W|XSV X, X, R, V c (X{X)~R|VSV X, X, S, Q c X{X~S{QSV X, X, S, T c (X{T)~S|XSV X, X, T, Q c X~(T{QX)SV X, X, T, S c (X{T)~S|XSV X, X, T, V c X{X~T|VSV X, X, U, Q c X~U|X{QSV X, X, U, V c X~(U|VX)SV X, X, U, W c U~W|XXSV X, X, V, P c (X|P)~V|XSV X, X, V, R c (X{X)~R|VSV X, X, V, T c X{X~T|VSV X, X, V, U c X~(U|VX)SV X, X, V, V c (X~V)|(X{V)SV X, X, W, Q c (X|Q)~W|XSV X, X, W, U c W~U|XXSV