O, Q, V, W c O{Q{V~WTW O, Q, W, V c O{Q{W~VTW O, S, U, X c O{S{U~XTW O, S, X, U c O{S{X~UTW O, T, V, X c O{V~X|TTW O, T, X, V c O{X~V|TTW O, U, S, X c O{U~X{STW O, U, W, W c O{W~W|UTW O, U, X, S c O{U~X{STW O, V, Q, W c O{V~W{QTW O, V, T, X c O{V~X|TTW O, V, V, X c O{V~V{XTW O, V, W, Q c O{V~W{QTW O, V, X, T c O{V~X|TTW O, V, X, V c O{V~V{XTW O, W, Q, V c O{W~V{QTW O, W, U, W c O{W~W|UTW O, W, V, Q c O{W~V{QTW O, W, W, U c O{W~W|UTW O, X, S, U c O{X~U{STW O, X, T, V c O{X~V|TTW O, X, U, S c O{X~U{STW O, X, V, T c O{X~V|TTW O, X, V, V c O{X{V~VTW P, P, V, W c P{P{V~WTW P, P, W, V c P{P{W~VTW P, Q, S, V c (P{S~V)~QTW P, Q, T, U c Q~(T~U|P)TW P, Q, U, T c Q~(U~T|P)TW P, Q, U, W c (P{U)~W{QTW P, Q, U, X c (P{X)~U|QTW P, Q, V, S c (P{V~S)~QTW P, Q, V, V c (P{V)~V{QTW P, Q, V, W c P~Q{V~WTW P, Q, V, X c Q{V~(X|P)TW P, Q, W, U c (P{U)~W{QTW P, Q, W, V c P~Q{W~VTW P, Q, W, W c Q{(W|P)~WTW P, Q, X, U c (P{X)~U|QTW P, Q, X, V c Q{(X|P)~VTW P, R, U, X c P{R{U~XTW P, R, V, W c R|P{V~WTW P, R, W, V c R|P{W~VTW P, R, X, U c P{R{X~UTW P, S, Q, V c (P{S~V)~QTW P, S, T, X c (P{T)~X{STW P, S, U, W c (P{W)~U{STW P, S, U, X c P~S{U~XTW P, S, V, Q c (P{S~V)~QTW P, S, V, W c (PS{V)~WTW P, S, V, X c S{(V|P)~XTW P, S, W, U c (P{W)~U{STW P, S, W, V c (PS{V)~WTW P, S, X, T c (P{T)~X{STW P, S, X, U c P~S{X~UTW P, S, X, V c S{X~(V|P)TW P, T, Q, U c (T~U|P)~QTW P, T, S, X c (P{T)~X{STW P, T, U, Q c (T~U|P)~QTW P, T, U, X c (P{U)~X|TTW P, T, V, W c (P{W)~V|TTW P, T, V, X c P~V~X|TTW P, T, W, V c (P{W)~V|TTW P, T, W, W c (W~W)|(P{T)TW P, T, W, X c (P{X)~T{WTW P, T, X, S c (P{T)~X{STW P, T, X, U c (P{U)~X|TTW P, T, X, V c P~X~V|TTW P, T, X, W c (P{X)~T{WTW P, U, Q, T c (U~T|P)~QTW P, U, Q, W c (P{U)~W{QTW P, U, Q, X c (P{X)~U|QTW P, U, R, X c P{U~X{RTW P, U, S, W c (P{W)~U{STW P, U, S, X c P~U~X{STW P, U, T, Q c (U~T|P)~QTW P, U, T, X c (P{U)~X|TTW P, U, V, W c (P{V)~W|UTW P, U, V, X c (P{U)~V{XTW P, U, W, Q c (P{U)~W{QTW P, U, W, S c (P{W)~U{STW P, U, W, V c (P{V)~W|UTW P, U, W, W c P~W~W|UTW P, U, W, X c P{U~W{XTW P, U, X, Q c (P{X)~U|QTW P, U, X, R c P{U~X{RTW P, U, X, S c P~U~X{STW P, U, X, T c (P{U)~X|TTW P, U, X, V c (P{U)~V{XTW P, U, X, W c P{U~W{XTW P, V, P, W c P{V~W{PTW P, V, Q, S c (P{V~S)~QTW P, V, Q, V c (P{V)~V{QTW P, V, Q, W c P~V~W{QTW P, V, Q, X c V~(X|P){QTW P, V, R, W c V~W|P{RTW P, V, S, Q c (P{V~S)~QTW P, V, S, W c (PS{V)~WTW P, V, S, X c (V|P)~X{STW P, V, T, W c (P{W)~V|TTW P, V, T, X c P~V~X|TTW P, V, U, W c (P{V)~W|UTW P, V, U, X c P{V~X|UTW P, V, V, Q c (P{V)~V{QTW P, V, V, W c P{V~V{WTW P, V, V, X c P~V~V{XTW P, V, W, P c P{V~W{PTW P, V, W, Q c P~V~W{QTW P, V, W, R c V~W|P{RTW P, V, W, S c (PS{V)~WTW P, V, W, T c (P{W)~V|TTW P, V, W, U c (P{V)~W|UTW P, V, W, V c P{V~V{WTW P, V, W, W c P{W~W|VTW P, V, W, X c V~(W|P){XTW P, V, X, Q c V~(X|P){QTW P, V, X, S c (V|P)~X{STW P, V, X, T c P~V~X|TTW P, V, X, U c P{V~X|UTW P, V, X, V c P~V~V{XTW P, V, X, W c V~(W|P){XTW P, W, P, V c P{W~V{PTW P, W, Q, U c (P{U)~W{QTW P, W, Q, V c P~W~V{QTW P, W, Q, W c (W|P)~W{QTW P, W, R, V c W~V|P{RTW P, W, S, U c (P{W)~U{STW P, W, S, V c (PS{V)~WTW P, W, T, V c (P{W)~V|TTW P, W, T, W c (W~W)|(P{T)TW P, W, T, X c (P{X)~T{WTW P, W, U, Q c (P{U)~W{QTW P, W, U, S c (P{W)~U{STW P, W, U, V c (P{V)~W|UTW P, W, U, W c P~W~W|UTW P, W, U, X c P{W~U{XTW P, W, V, P c P{W~V{PTW P, W, V, Q c P~W~V{QTW P, W, V, R c W~V|P{RTW P, W, V, S c (PS{V)~WTW P, W, V, T c (P{W)~V|TTW P, W, V, U c (P{V)~W|UTW P, W, V, V c P{W{V~VTW P, W, V, W c P{W~W|VTW P, W, V, X c (W|P)~V{XTW P, W, W, Q c (W|P)~W{QTW P, W, W, T c (W~W)|(P{T)TW P, W, W, U c P~W~W|UTW P, W, W, V c P{W~W|VTW P, W, X, T c (P{X)~T{WTW P, W, X, U c P{W~U{XTW P, W, X, V c (W|P)~V{XTW P, X, Q, U c (P{X)~U|QTW P, X, Q, V c (X|P)~V{QTW P, X, R, U c P{X~U{RTW P, X, S, T c (P{T)~X{STW P, X, S, U c P~X~U{STW P, X, S, V c (X~V)|(P{S)TW P, X, T, S c (P{T)~X{STW P, X, T, U c (P{U)~X|TTW P, X, T, V c P~X~V|TTW P, X, T, W c (P{X)~T{WTW P, X, U, Q c (P{X)~U|QTW P, X, U, R c P{X~U{RTW P, X, U, S c P~X~U{STW P, X, U, T c (P{U)~X|TTW P, X, U, V c P{X~V|UTW P, X, U, W c P{X{U~WTW P, X, V, Q c (X|P)~V{QTW P, X, V, S c (X~V)|(P{S)TW P, X, V, T c P~X~V|TTW P, X, V, U c P{X~V|UTW P, X, V, V c P~X{V~VTW P, X, V, W c X{V~(W|P)TW P, X, W, T c (P{X)~T{WTW P, X, W, U c P{X{W~UTW P, X, W, V c X{(W|P)~VTW Q, O, V, W c Q{O{V~WTW Q, O, W, V c Q{O{W~VTW Q, P, S, V c Q~(P{S~V)TW Q, P, T, U c Q~(T~U|P)TW Q, P, U, T c Q~(U~T|P)TW Q, P, U, W c Q{(P{U)~WTW Q, P, U, X c (P{X)~U|QTW Q, P, V, S c Q~(P{V~S)TW Q, P, V, V c Q{(P{V)~VTW Q, P, V, W c Q{P~V~WTW Q, P, V, X c Q{V~(X|P)TW Q, P, W, U c Q{(P{U)~WTW Q, P, W, V c Q{P~W~VTW Q, P, W, W c Q{(W|P)~WTW Q, P, X, U c (P{X)~U|QTW Q, P, X, V c Q{(X|P)~VTW Q, Q, R, X c Q~(Q{R~X)TW Q, Q, S, V c Q{Q~S~VTW Q, Q, T, U c Q~T~U|QTW Q, Q, T, W c Q{(Q{T)~WTW Q, Q, U, T c Q~U~T|QTW Q, Q, U, V c Q{(Q{U)~VTW Q, Q, U, W c (Q{W)~U|QTW Q, Q, U, X c Q{Q{U~XTW Q, Q, V, S c Q{Q~V~STW Q, Q, V, U c Q{(Q{U)~VTW Q, Q, W, T c Q{(Q{T)~WTW Q, Q, W, U c (Q{W)~U|QTW Q, Q, W, X c Q{W~(X|Q)TW Q, Q, X, R c Q~(Q{X~R)TW Q, Q, X, U c Q{Q{X~UTW Q, Q, X, W c Q{(X|Q)~WTW Q, R, Q, X c (Q{R~X)~QTW Q, R, S, T c R~S~T|QTW Q, R, S, W c Q{(R{S)~WTW Q, R, S, X c Q~R~X{STW Q, R, T, S c R~T~S|QTW Q, R, T, V c Q{(R{T)~VTW Q, R, T, W c Q~(R~W{T)TW Q, R, T, X c (Q{X)~T{RTW Q, R, U, V c (R{V)~U|QTW Q, R, U, X c (QR{X)~UTW Q, R, V, T c Q{(R{T)~VTW Q, R, V, U c (R{V)~U|QTW Q, R, V, W c Q~(R~V{W)TW Q, R, V, X c (V~X)|(Q{R)TW Q, R, W, S c Q{(R{S)~WTW Q, R, W, T c Q~(R~W{T)TW Q, R, W, V c Q~(R~V{W)TW Q, R, W, W c W~W|Q~RTW Q, R, X, Q c (Q{R~X)~QTW Q, R, X, S c Q~R~X{STW Q, R, X, T c (Q{X)~T{RTW Q, R, X, U c (QR{X)~UTW Q, R, X, V c (X~V)|(Q{R)TW Q, S, P, V c Q~(S~V{P)TW Q, S, Q, V c Q{S~Q~VTW Q, S, R, T c S~R~T|QTW Q, S, R, W c Q{(S{R)~WTW Q, S, R, X c Q~R~X{STW Q, S, S, V c Q{(S{S)~VTW Q, S, S, X c (Q{S)~X{STW Q, S, T, R c S~T~R|QTW Q, S, T, T c Q~(S{T~T)TW Q, S, T, U c Q~(S~U{T)TW Q, S, T, W c (S{W)~T|QTW Q, S, T, X c Q{S~(T{X)TW Q, S, U, T c Q~(S~U{T)TW Q, S, U, U c (S{U)~U|QTW Q, S, U, V c (Q{V)~U{STW Q, S, U, W c Q{S~(U{W)TW Q, S, U, X c S~(U{X)|QTW Q, S, V, P c Q~(S~V{P)TW Q, S, V, Q c Q{S~V~QTW Q, S, V, S c Q{(S{S)~VTW Q, S, V, U c (Q{V)~U{STW Q, S, V, V c Q{S~(V{V)TW Q, S, V, W c S|Q{V~WTW Q, S, V, X c Q~(S~X|V)TW Q, S, W, R c Q~(S~W|R)TW Q, S, W, T c (S{W)~T|QTW Q, S, W, U c Q{S~(W{U)TW Q, S, W, V c S|Q{W~VTW Q, S, W, W c (W~W)|(Q{S)TW Q, S, W, X c S{(W|Q)~XTW Q, S, X, R c Q~X~R{STW Q, S, X, S c (Q{S)~X{STW Q, S, X, T c Q{S~(X{T)TW Q, S, X, U c S~(X{U)|QTW Q, S, X, V c Q~(S~X|V)TW Q, S, X, W c S{X~(W|Q)TW Q, T, P, U c Q~(T~U|P)TW Q, T, Q, U c Q~T~U|QTW Q, T, Q, W c Q{(T{Q)~WTW Q, T, R, S c T~R~S|QTW Q, T, R, V c Q{(T{R)~VTW Q, T, R, W c Q~(T{R~W)TW Q, T, R, X c (Q{X)~T{RTW Q, T, S, R c T~S~R|QTW Q, T, S, T c Q~(T~T{S)TW Q, T, S, U c Q~(T{S~U)TW Q, T, S, W c T~(S{W)|QTW Q, T, S, X c Q~(T~S{X)TW Q, T, T, S c Q~(T~T{S)TW Q, T, T, U c (T{T)~U|QTW Q, T, T, V c T~(T{V)|QTW Q, T, T, W c Q~T~T{WTW Q, T, T, X c (Q{T)~X|TTW Q, T, U, P c Q~(T~U|P)TW Q, T, U, Q c Q~T~U|QTW Q, T, U, S c Q~(T{U~S)TW Q, T, U, T c (T{T)~U|QTW Q, T, U, U c T~(U{U)|QTW Q, T, U, V c Q~(T~V|U)TW Q, T, U, W c Q~T{U~WTW Q, T, V, R c Q{(T{R)~VTW Q, T, V, T c (T{V)~T|QTW Q, T, V, U c Q~(T~V|U)TW Q, T, V, V c (Q{V)~V|TTW Q, T, V, X c (Q{T)~V{XTW Q, T, W, Q c (Q{T)~W{QTW Q, T, W, R c Q~(T{W~R)TW Q, T, W, S c T~(W{S)|QTW Q, T, W, T c Q~T~T{WTW Q, T, W, U c Q~T{W~UTW Q, T, W, W c (Q{W)~T{WTW Q, T, W, X c Q~X{T~WTW Q, T, X, R c (Q{X)~T{RTW Q, T, X, S c Q{(T{X)~STW Q, T, X, T c (Q{T)~X|TTW Q, T, X, V c (Q{T)~V{XTW Q, T, X, W c Q~X{T~WTW Q, T, X, X c (X|Q)~X|TTW Q, U, P, T c Q~(U~T|P)TW Q, U, P, W c Q{(U{P)~WTW Q, U, P, X c U~(P{X)|QTW Q, U, Q, T c Q~U~T|QTW Q, U, Q, V c Q{(U{Q)~VTW Q, U, Q, W c (Q{W)~U|QTW Q, U, Q, X c Q{U~X{QTW Q, U, R, V c U~(R{V)|QTW Q, U, R, X c (QR{X)~UTW Q, U, S, T c Q~(U~S{T)TW Q, U, S, U c (U{S)~U|QTW Q, U, S, V c (Q{V)~U{STW Q, U, S, W c Q{(U{W)~STW Q, U, S, X c (U{X)~S|QTW Q, U, T, P c Q~(U~T|P)TW Q, U, T, Q c Q~U~T|QTW Q, U, T, S c Q~(U~S{T)TW Q, U, T, T c U~(T{T)|QTW Q, U, T, U c (U{U)~T|QTW Q, U, T, V c Q~(T~V|U)TW Q, U, T, W c Q~T{U~WTW Q, U, U, S c U~(U{S)|QTW Q, U, U, T c (U{U)~T|QTW Q, U, U, V c Q~(U~U|V)TW Q, U, U, W c (Q{U)~W|UTW Q, U, U, X c U|Q{U~XTW Q, U, V, Q c (Q{U)~V{QTW Q, U, V, R c U~(V{R)|QTW Q, U, V, S c (Q{V)~U{STW Q, U, V, T c Q~(V~T|U)TW Q, U, V, U c Q~(U~U|V)TW Q, U, V, W c Q~W{U~VTW Q, U, W, P c Q{(U{P)~WTW Q, U, W, Q c (Q{W)~U|QTW Q, U, W, S c Q{(U{W)~STW Q, U, W, T c Q~T{U~WTW Q, U, W, U c (Q{U)~W|UTW Q, U, W, V c Q~W{U~VTW Q, U, W, W c Q{U~W{WTW Q, U, W, X c (Q{X)~U|WTW Q, U, X, P c U~(X{P)|QTW Q, U, X, Q c Q{U~X{QTW Q, U, X, R c (QR{X)~UTW Q, U, X, S c (U{X)~S|QTW Q, U, X, U c U|Q{X~UTW Q, U, X, W c (Q{X)~U|WTW Q, V, O, W c Q{(V{O)~WTW Q, V, P, S c Q~(V~S{P)TW Q, V, P, V c Q{(V{P)~VTW Q, V, P, W c Q{V~P~WTW Q, V, P, X c Q{V~(X|P)TW Q, V, Q, S c Q{V~Q~STW Q, V, Q, U c Q{V~(Q{U)TW Q, V, R, T c Q{V~(R{T)TW Q, V, R, U c (V{R)~U|QTW Q, V, R, W c Q~(V~R{W)TW Q, V, R, X c (V~X)|(Q{R)TW Q, V, S, P c Q~(V~S{P)TW Q, V, S, Q c Q{V~S~QTW Q, V, S, S c Q{V~(S{S)TW Q, V, S, U c (Q{V)~U{STW Q, V, S, V c Q{(V{V)~STW Q, V, S, W c V~W|Q{STW Q, V, S, X c Q~(S~X|V)TW Q, V, T, R c Q{V~(T{R)TW Q, V, T, T c (V{T)~T|QTW Q, V, T, U c Q~(V~T|U)TW Q, V, T, V c (Q{V)~V|TTW Q, V, T, X c (Q{T)~V{XTW Q, V, U, Q c Q{V~(U{Q)TW Q, V, U, R c (V{R)~U|QTW Q, V, U, S c (Q{V)~U{STW Q, V, U, T c Q~(V~T|U)TW Q, V, U, U c Q~(U~U|V)TW Q, V, U, W c Q~W{V~UTW Q, V, V, P c Q{V~(V{P)TW Q, V, V, S c Q{(V{V)~STW Q, V, V, T c (Q{V)~V|TTW Q, V, V, V c Q{V{V~VTW Q, V, V, W c (QV{W)~VTW Q, V, V, X c Q{V~X|VTW Q, V, W, O c Q{V~W{OTW Q, V, W, P c Q{V~W~PTW Q, V, W, R c Q~(V~R{W)TW Q, V, W, S c V~W|Q{STW Q, V, W, U c Q~W{V~UTW Q, V, W, V c (QV{W)~VTW Q, V, W, W c (QW{V)~WTW Q, V, W, X c W~X|Q~VTW Q, V, X, P c Q{V~(X|P)TW Q, V, X, R c (V~X)|(Q{R)TW Q, V, X, S c Q~(X~S|V)TW Q, V, X, T c (Q{T)~V{XTW Q, V, X, V c Q{V~X|VTW Q, V, X, W c X~W|Q~VTW Q, V, X, X c V~(X|Q){XTW Q, W, O, V c Q{(W{O)~VTW Q, W, P, U c Q{W~(P{U)TW Q, W, P, V c Q{W~P~VTW Q, W, P, W c Q{(W|P)~WTW Q, W, Q, T c Q{W~(Q{T)TW Q, W, Q, U c (Q{W)~U|QTW Q, W, Q, X c Q{W~(X|Q)TW Q, W, R, S c Q{W~(R{S)TW Q, W, R, T c Q~(W~R{T)TW Q, W, R, V c Q~(W{R~V)TW Q, W, R, W c W~W|Q~RTW Q, W, S, R c Q{W~(S{R)TW Q, W, S, T c (W{S)~T|QTW Q, W, S, U c Q~W~S|UTW Q, W, S, V c W~V|Q{STW Q, W, S, W c (W~W)|(Q{S)TW Q, W, S, X c (W|Q)~X{STW Q, W, T, Q c Q{W~(T{Q)TW Q, W, T, R c Q~(W~R{T)TW Q, W, T, S c (W{S)~T|QTW Q, W, T, T c Q~T~T{WTW Q, W, T, U c Q~T{W~UTW Q, W, T, W c (Q{W)~T{WTW Q, W, T, X c Q~X{W~TTW Q, W, U, P c Q{W~(U{P)TW Q, W, U, Q c (Q{W)~U|QTW Q, W, U, S c Q{(W{U)~STW Q, W, U, T c Q~T{W~UTW Q, W, U, U c (Q{U)~W|UTW Q, W, U, V c Q~W{U~VTW Q, W, U, W c Q{W{U~WTW Q, W, U, X c (Q{X)~U|WTW Q, W, V, O c Q{W~V{OTW Q, W, V, P c Q{W~V~PTW Q, W, V, R c Q~(W{V~R)TW Q, W, V, S c W~V|Q{STW Q, W, V, U c Q~W{V~UTW Q, W, V, V c (QV{W)~VTW Q, W, V, W c (QW{V)~WTW Q, W, V, X c W~X|Q~VTW Q, W, W, P c Q{W~(W|P)TW Q, W, W, R c W~W|Q~RTW Q, W, W, S c (W~W)|(Q{S)TW Q, W, W, T c (Q{W)~T{WTW Q, W, W, U c Q{W{W~UTW Q, W, W, V c (QW{V)~WTW Q, W, W, W c Q{W~W|WTW Q, W, X, Q c Q{W~(X|Q)TW Q, W, X, S c (W|Q)~X{STW Q, W, X, T c Q~X{W~TTW Q, W, X, U c (Q{X)~U|WTW Q, W, X, V c W~X|Q~VTW Q, X, P, U c (X{P)~U|QTW Q, X, P, V c Q{(X|P)~VTW Q, X, Q, R c (Q{X~R)~QTW Q, X, Q, U c Q{X~U{QTW Q, X, Q, W c Q{(X|Q)~WTW Q, X, R, Q c (Q{X~R)~QTW Q, X, R, S c Q~X~R{STW Q, X, R, T c (Q{X)~T{RTW Q, X, R, U c (QR{X)~UTW Q, X, R, V c (X~V)|(Q{R)TW Q, X, S, R c Q~X~R{STW Q, X, S, S c (Q{S)~X{STW Q, X, S, T c Q~(X{S~T)TW Q, X, S, U c (X{U)~S|QTW Q, X, S, V c Q~(X~S|V)TW Q, X, S, W c X~(W|Q){STW Q, X, T, R c (Q{X)~T{RTW Q, X, T, S c Q{(X{T)~STW Q, X, T, T c (Q{T)~X|TTW Q, X, T, V c (Q{T)~V{XTW Q, X, T, W c Q~X{T~WTW Q, X, T, X c (X|Q)~X|TTW Q, X, U, P c (X{P)~U|QTW Q, X, U, Q c Q{X~U{QTW Q, X, U, R c (QR{X)~UTW Q, X, U, S c (X{U)~S|QTW Q, X, U, U c X~U|Q{UTW Q, X, U, W c (Q{X)~U|WTW Q, X, V, P c Q{(X|P)~VTW Q, X, V, R c (X~V)|(Q{R)TW Q, X, V, S c Q~(X~S|V)TW Q, X, V, T c (Q{T)~V{XTW Q, X, V, V c Q{X~V|VTW Q, X, V, W c X~W|Q~VTW Q, X, V, X c (X|Q)~V{XTW Q, X, W, Q c Q{(X|Q)~WTW Q, X, W, S c X~(W|Q){STW Q, X, W, T c Q~X{W~TTW Q, X, W, U c (Q{X)~U|WTW Q, X, W, V c X~W|Q~VTW Q, X, X, T c (X|Q)~X|TTW Q, X, X, V c (X|Q)~V{XTW R, P, U, X c R{P{U~XTW R, P, V, W c R|P{V~WTW R, P, W, V c R|P{W~VTW R, P, X, U c R{P{X~UTW R, Q, Q, X c (R~X{Q)~QTW R, Q, S, T c R~S~T|QTW R, Q, S, W c (R{S)~W{QTW R, Q, S, X c R~Q~X{STW R, Q, T, S c R~T~S|QTW R, Q, T, V c (R{T)~V{QTW R, Q, T, W c (R~W{T)~QTW R, Q, T, X c R{(Q{X)~TTW R, Q, U, V c (R{V)~U|QTW R, Q, U, X c (QR{X)~UTW R, Q, V, T c (R{T)~V{QTW R, Q, V, U c (R{V)~U|QTW R, Q, V, W c (R~V{W)~QTW R, Q, V, X c (V~X)|(R{Q)TW R, Q, W, S c (R{S)~W{QTW R, Q, W, T c (R~W{T)~QTW R, Q, W, V c (R~V{W)~QTW R, Q, W, W c W~W|R~QTW R, Q, X, Q c (R~X{Q)~QTW R, Q, X, S c R~Q~X{STW R, Q, X, T c R{(Q{X)~TTW R, Q, X, U c (QR{X)~UTW R, Q, X, V c (X~V)|(R{Q)TW R, R, S, U c R~R~U{STW R, R, S, X c (R{R)~X{STW R, R, T, V c R~R~V|TTW R, R, T, W c R{(R{W)~TTW R, R, U, S c R~R~U{STW R, R, V, T c R~R~V|TTW R, R, V, V c R~R{V~VTW R, R, W, T c R{(R{W)~TTW R, R, W, W c (W~W)|(R{R)TW R, R, X, S c (R{R)~X{STW R, S, Q, T c R~S~T|QTW R, S, Q, W c (R{S)~W{QTW R, S, Q, X c R~Q~X{STW R, S, R, U c R~R~U{STW R, S, R, X c (R{R)~X{STW R, S, T, Q c R~S~T|QTW R, S, T, V c R{(S{V)~TTW R, S, T, X c (R{S)~X|TTW R, S, U, R c R~U~R{STW R, S, U, U c (R{U)~U{STW R, S, V, T c R{(S{V)~TTW R, S, V, X c (R{S)~V{XTW R, S, W, Q c (R{S)~W{QTW R, S, W, W c (W|RS)~WTW R, S, X, Q c R~X~Q{STW R, S, X, R c (R{R)~X{STW R, S, X, T c (R{S)~X|TTW R, S, X, V c (R{S)~V{XTW R, S, X, X c R~(X{X){STW R, T, Q, S c R~T~S|QTW R, T, Q, V c (R{T)~V{QTW R, T, Q, W c (R~W{T)~QTW R, T, Q, X c R{T~(Q{X)TW R, T, R, V c R~R~V|TTW R, T, R, W c R{T~(R{W)TW R, T, S, Q c R~T~S|QTW R, T, S, V c R{T~(S{V)TW R, T, S, X c (R{S)~X|TTW R, T, T, U c R{T~(T{U)TW R, T, U, T c R{(T{U)~TTW R, T, U, V c (R{U)~V|TTW R, T, U, W c (R{T)~W|UTW R, T, V, Q c (R{T)~V{QTW R, T, V, R c R~V~R|TTW R, T, V, S c R{T~(V{S)TW R, T, V, U c (R{U)~V|TTW R, T, V, W c (R{V)~T{WTW R, T, W, Q c (R~W{T)~QTW R, T, W, R c R{T~(W{R)TW R, T, W, U c (R{T)~W|UTW R, T, W, V c (R{V)~T{WTW R, T, X, Q c R{T~(X{Q)TW R, T, X, S c (R{S)~X|TTW R, U, P, X c R{U~X{PTW R, U, Q, V c (R{V)~U|QTW R, U, Q, X c U~(QR{X)TW R, U, R, S c R~U~R{STW R, U, S, R c R~U~R{STW R, U, S, U c (R{U)~U{STW R, U, T, T c R{(U{T)~TTW R, U, T, V c (R{U)~V|TTW R, U, T, W c R~U{T~WTW R, U, U, S c (R{U)~U{STW R, U, V, Q c (R{V)~U|QTW R, U, V, T c (R{U)~V|TTW R, U, V, V c R{U{V~VTW R, U, V, W c R{U~W{VTW R, U, V, X c U~X|R{VTW R, U, W, T c R~U{W~TTW R, U, W, V c R{U~W{VTW R, U, W, W c (R{W)~U|WTW R, U, X, P c R{U~X{PTW R, U, X, Q c U~(X{QR)TW R, U, X, V c U~X|R{VTW R, V, P, W c R{V~W|PTW R, V, Q, T c (R{T)~V{QTW R, V, Q, U c (R{V)~U|QTW R, V, Q, W c (R~V{W)~QTW R, V, Q, X c (V~X)|(R{Q)TW R, V, R, T c R~V~R|TTW R, V, R, V c R~R{V~VTW R, V, S, T c R{(V{S)~TTW R, V, S, X c (R{S)~V{XTW R, V, T, Q c (R{T)~V{QTW R, V, T, R c R~V~R|TTW R, V, T, S c R{(V{S)~TTW R, V, T, U c (R{U)~V|TTW R, V, T, W c (R{V)~T{WTW R, V, U, Q c (R{V)~U|QTW R, V, U, T c (R{U)~V|TTW R, V, U, V c R{V~V{UTW R, V, U, W c R{V{U~WTW R, V, U, X c V|R{U~XTW R, V, V, R c R~R{V~VTW R, V, V, U c R{V~V{UTW R, V, W, P c R{V~W|PTW R, V, W, Q c (R~V{W)~QTW R, V, W, T c (R{V)~T{WTW R, V, W, U c R{V{W~UTW R, V, W, X c R{V~X|WTW R, V, X, Q c (V~X)|(R{Q)TW R, V, X, S c (R{S)~V{XTW R, V, X, U c V|R{X~UTW R, V, X, W c R{V~X|WTW R, W, P, V c R{W~V|PTW R, W, Q, S c (R{S)~W{QTW R, W, Q, T c (R~W{T)~QTW R, W, Q, V c (R~V{W)~QTW R, W, Q, W c W~W|R~QTW R, W, R, T c R{(W{R)~TTW R, W, R, W c (W~W)|(R{R)TW R, W, S, Q c (R{S)~W{QTW R, W, S, W c (W|RS)~WTW R, W, T, Q c (R~W{T)~QTW R, W, T, R c (R{W)~T{RTW R, W, T, U c (R{T)~W|UTW R, W, T, V c (R{V)~T{WTW R, W, U, T c R~U{W~TTW R, W, U, V c R{W~U{VTW R, W, U, W c (R{W)~U|WTW R, W, V, P c R{W~V|PTW R, W, V, Q c (R~V{W)~QTW R, W, V, T c (R{V)~T{WTW R, W, V, U c R{W~U{VTW R, W, V, X c R~(W{X){VTW R, W, W, Q c W~W|R~QTW R, W, W, R c (W~W)|(R{R)TW R, W, W, S c (W|RS)~WTW R, W, W, U c (R{W)~U|WTW R, W, W, X c R{W~W|XTW R, W, X, V c R~(W{X){VTW R, W, X, W c R{W~W|XTW R, X, P, U c R{X~U{PTW R, X, Q, Q c (R~X{Q)~QTW R, X, Q, S c R~X~Q{STW R, X, Q, T c R{(X{Q)~TTW R, X, Q, U c (X{QR)~UTW R, X, Q, V c (X~V)|(R{Q)TW R, X, R, S c (R{R)~X{STW R, X, S, Q c R~X~Q{STW R, X, S, R c (R{R)~X{STW R, X, S, T c (R{S)~X|TTW R, X, S, V c (R{S)~V{XTW R, X, S, X c R~(X{X){STW R, X, T, Q c (R{X)~T|QTW R, X, T, S c (R{S)~X|TTW R, X, U, P c R{X~U{PTW R, X, U, Q c (X{QR)~UTW R, X, U, V c X~U|R{VTW R, X, V, Q c (X~V)|(R{Q)TW R, X, V, S c (R{S)~V{XTW R, X, V, U c X~U|R{VTW R, X, V, W c R{X~V|WTW R, X, W, V c R~(X{W){VTW R, X, W, W c R{W~W|XTW R, X, X, S c R~(X{X){STW S, O, U, X c S{O{U~XTW S, O, X, U c S{O{X~UTW S, P, Q, V c (S~V{P)~QTW S, P, T, X c S{(P{T)~XTW S, P, U, W c S{(P{W)~UTW S, P, U, X c S{P~U~XTW S, P, V, Q c (S~V{P)~QTW S, P, V, W c (PS{V)~WTW S, P, V, X c S{(V|P)~XTW S, P, W, U c S{(P{W)~UTW S, P, W, V c (PS{V)~WTW S, P, X, T c S{(P{T)~XTW S, P, X, U c S{P~X~UTW S, P, X, V c S{X~(V|P)TW S, Q, P, V c (S~V{P)~QTW S, Q, Q, V c S~Q~V{QTW S, Q, R, T c S~R~T|QTW S, Q, R, W c (S{R)~W{QTW S, Q, R, X c S{Q~R~XTW S, Q, S, V c (S{S)~V{QTW S, Q, S, X c S{(Q{S)~XTW S, Q, T, R c S~T~R|QTW S, Q, T, T c (S{T~T)~QTW S, Q, T, U c (S~U{T)~QTW S, Q, T, W c (S{W)~T|QTW S, Q, T, X c S~(T{X){QTW S, Q, U, T c (S~U{T)~QTW S, Q, U, U c (S{U)~U|QTW S, Q, U, V c S{(Q{V)~UTW S, Q, U, W c S~Q~W|UTW S, Q, U, X c S~(U{X)|QTW S, Q, V, P c (S~V{P)~QTW S, Q, V, Q c S~Q~V{QTW S, Q, V, S c (S{S)~V{QTW S, Q, V, U c S{(Q{V)~UTW S, Q, V, V c S~(V{V){QTW S, Q, V, W c S|Q{V~WTW S, Q, V, X c (S~X|V)~QTW S, Q, W, R c (S~W|R)~QTW S, Q, W, T c (S{W)~T|QTW S, Q, W, U c S~Q~W|UTW S, Q, W, V c S|Q{W~VTW S, Q, W, W c (W~W)|(S{Q)TW S, Q, W, X c S{(W|Q)~XTW S, Q, X, R c S{Q~X~RTW S, Q, X, S c (S{Q)~X{STW S, Q, X, T c S~(X{T){QTW S, Q, X, U c S~(X{U)|QTW S, Q, X, V c (S~X|V)~QTW S, Q, X, W c S{X~(W|Q)TW S, R, Q, T c S~R~T|QTW S, R, Q, W c (S{R)~W{QTW S, R, Q, X c S{R~Q~XTW S, R, R, U c S{R~R~UTW S, R, R, X c S{(R{R)~XTW S, R, T, Q c S~R~T|QTW S, R, T, V c (S{V)~T{RTW S, R, T, X c (S{R)~X|TTW S, R, U, R c S{R~U~RTW S, R, U, U c S{(R{U)~UTW S, R, V, T c (S{V)~T{RTW S, R, V, X c (S{R)~V{XTW S, R, W, Q c (S{R)~W{QTW S, R, W, W c (W|RS)~WTW S, R, X, Q c S{R~X~QTW S, R, X, R c S{(R{R)~XTW S, R, X, T c (S{R)~X|TTW S, R, X, V c (S{R)~V{XTW S, R, X, X c S{R~(X{X)TW S, S, Q, V c (S{S)~V{QTW S, S, Q, X c S{(S{Q)~XTW S, S, S, U c S~S~S|UTW S, S, T, U c S{(S{T)~UTW S, S, U, S c S~S~S|UTW S, S, U, T c S{(S{T)~UTW S, S, U, V c S~S{U~VTW S, S, U, W c (S{S)~W|UTW S, S, U, X c S~(S{X){UTW S, S, V, Q c (S{S)~V{QTW S, S, V, U c S~S{V~UTW S, S, W, U c (S{S)~W|UTW S, S, X, Q c S{(S{Q)~XTW S, S, X, U c S~(S{X){UTW S, T, P, X c S{(T{P)~XTW S, T, Q, R c S~T~R|QTW S, T, Q, T c (S{T~T)~QTW S, T, Q, U c (S~U{T)~QTW S, T, Q, W c (S{W)~T|QTW S, T, Q, X c S~(T{X){QTW S, T, R, Q c S~T~R|QTW S, T, R, V c (S{V)~T{RTW S, T, R, X c (S{R)~X|TTW S, T, S, U c S{(T{S)~UTW S, T, T, Q c (S{T~T)~QTW S, T, T, V c (S{T)~V|TTW S, T, U, Q c (S~U{T)~QTW S, T, U, S c (S{T)~U{STW S, T, U, V c S~V{T~UTW S, T, U, W c S~(T{W){UTW S, T, V, R c (S{V)~T{RTW S, T, V, T c (S{T)~V|TTW S, T, V, U c S~V{T~UTW S, T, V, V c S{T{V~VTW S, T, V, X c (S{X)~T|VTW S, T, W, Q c (S{W)~T|QTW S, T, W, U c S~(T{W){UTW S, T, W, X c (T{XS)~WTW S, T, X, P c S{(T{P)~XTW S, T, X, Q c S~(T{X){QTW S, T, X, R c (S{R)~X|TTW S, T, X, V c (S{X)~T|VTW S, T, X, W c (T{XS)~WTW S, T, X, X c S{T~X{XTW S, U, O, X c S{(U{O)~XTW S, U, P, W c S{U~(P{W)TW S, U, P, X c S{U~P~XTW S, U, Q, T c (S~U{T)~QTW S, U, Q, U c (S{U)~U|QTW S, U, Q, V c S{U~(Q{V)TW S, U, Q, W c S~(U{W){QTW S, U, Q, X c S~(U{X)|QTW S, U, R, R c S{U~R~RTW S, U, R, U c S{(U{R)~UTW S, U, S, S c S~S~S|UTW S, U, S, T c S{U~(S{T)TW S, U, S, V c S~S{U~VTW S, U, S, W c (S{S)~W|UTW S, U, S, X c S~(S{X){UTW S, U, T, Q c (S~U{T)~QTW S, U, T, S c S{U~(T{S)TW S, U, T, V c S~V{U~TTW S, U, T, W c (S{U)~T{WTW S, U, U, Q c (S{U)~U|QTW S, U, U, R c S{U~(U{R)TW S, U, U, V c S~(U{V){UTW S, U, U, W c S{U{U~WTW S, U, U, X c (SU{X)~UTW S, U, V, Q c S{U~(V{Q)TW S, U, V, S c S~S{U~VTW S, U, V, T c S~V{U~TTW S, U, V, U c S~(U{V){UTW S, U, V, W c (S{V)~U|WTW S, U, V, X c S~(V{X)|UTW S, U, W, P c S{U~(W{P)TW S, U, W, Q c S~(U{W){QTW S, U, W, S c (S{S)~W|UTW S, U, W, T c (S{U)~T{WTW S, U, W, U c S{U{W~UTW S, U, W, V c (S{V)~U|WTW S, U, W, W c S~(W{W)|UTW S, U, W, X c U~X|S{WTW S, U, X, O c S{U~X{OTW S, U, X, P c S{U~X~PTW S, U, X, Q c S~(U{X)|QTW S, U, X, S c (S{X)~S{UTW S, U, X, U c (SU{X)~UTW S, U, X, V c S~(X{V)|UTW S, U, X, W c U~X|S{WTW S, U, X, X c (SX{U)~XTW S, V, P, Q c (S~V{P)~QTW S, V, P, W c (V{PS)~WTW S, V, P, X c S{(V|P)~XTW S, V, Q, P c (S~V{P)~QTW S, V, Q, Q c S~V~Q{QTW S, V, Q, S c (S{S)~V{QTW S, V, Q, U c S{(V{Q)~UTW S, V, Q, V c S~(V{V){QTW S, V, Q, W c S{V~W|QTW S, V, Q, X c (S~X|V)~QTW S, V, R, T c (S{V)~T{RTW S, V, R, X c (S{R)~V{XTW S, V, S, Q c (S{S)~V{QTW S, V, S, U c S~S{V~UTW S, V, T, R c (S{V)~T{RTW S, V, T, T c (S{T)~V|TTW S, V, T, U c S~V{T~UTW S, V, T, V c S{V~V{TTW S, V, T, X c (S{X)~T|VTW S, V, U, Q c S{(V{Q)~UTW S, V, U, S c S~S{V~UTW S, V, U, T c S~V{U~TTW S, V, U, U c S~(V{U){UTW S, V, U, W c (S{V)~U|WTW S, V, U, X c S~(V{X)|UTW S, V, V, Q c S~(V{V){QTW S, V, V, T c S{V~V{TTW S, V, W, P c (V{PS)~WTW S, V, W, Q c S{V~W|QTW S, V, W, U c (S{V)~U|WTW S, V, W, W c V~W{WSTW S, V, W, X c W~(X|VS)TW S, V, X, P c S{(V|P)~XTW S, V, X, Q c (S~X|V)~QTW S, V, X, R c (S{R)~V{XTW S, V, X, T c (S{X)~T|VTW S, V, X, U c S~(V{X)|UTW S, V, X, W c (X|VS)~WTW S, V, X, X c S{V~X|XTW S, W, P, U c S{(W{P)~UTW S, W, P, V c W~(PS{V)TW S, W, Q, R c (S~W|R)~QTW S, W, Q, T c (S{W)~T|QTW S, W, Q, U c S~W~Q|UTW S, W, Q, V c S{W~V|QTW S, W, Q, W c (W~W)|(S{Q)TW S, W, Q, X c S{(W|Q)~XTW S, W, R, Q c (S~W|R)~QTW S, W, R, W c (W|RS)~WTW S, W, S, U c (S{S)~W|UTW S, W, T, Q c (S{W)~T|QTW S, W, T, U c S~(W{T){UTW S, W, T, X c W~(T{XS)TW S, W, U, P c S{(W{P)~UTW S, W, U, Q c S~(W{U){QTW S, W, U, S c (S{S)~W|UTW S, W, U, T c S~(W{T){UTW S, W, U, U c S{W~U{UTW S, W, U, V c (S{V)~U|WTW S, W, U, W c S~(W{W)|UTW S, W, U, X c W|S{U~XTW S, W, V, P c W~(V{PS)TW S, W, V, Q c S{W~V|QTW S, W, V, U c (S{V)~U|WTW S, W, V, W c WS{V~WTW S, W, V, X c W~(X|VS)TW S, W, W, Q c (W~W)|(S{Q)TW S, W, W, R c W~(W|RS)TW S, W, W, U c S~(W{W)|UTW S, W, W, V c WS{W~VTW S, W, X, Q c S{(W|Q)~XTW S, W, X, T c W~(XS{T)TW S, W, X, U c W|S{X~UTW S, W, X, V c W~(X|VS)TW S, X, O, U c S{(X{O)~UTW S, X, P, T c S{X~(P{T)TW S, X, P, U c S{X~P~UTW S, X, P, V c S{X~(V|P)TW S, X, Q, R c S{X~Q~RTW S, X, Q, S c S{X~(Q{S)TW S, X, Q, T c S~(X{T){QTW S, X, Q, U c S~(X{U)|QTW S, X, Q, V c (S~X|V)~QTW S, X, Q, W c S{X~(W|Q)TW S, X, R, Q c S{X~R~QTW S, X, R, R c S{X~(R{R)TW S, X, R, T c (S{R)~X|TTW S, X, R, V c (S{R)~V{XTW S, X, R, X c S{(X|R)~XTW S, X, S, Q c S{X~(S{Q)TW S, X, S, U c (S{X)~S{UTW S, X, T, P c S{X~(T{P)TW S, X, T, Q c S~(X{T){QTW S, X, T, R c (S{R)~X|TTW S, X, T, V c (S{X)~T|VTW S, X, T, W c (XS{T)~WTW S, X, T, X c S{X{T~XTW S, X, U, O c S{X~U{OTW S, X, U, P c S{X~U~PTW S, X, U, Q c S~(X{U)|QTW S, X, U, S c (S{X)~S{UTW S, X, U, U c (SU{X)~UTW S, X, U, V c S~(X{V)|UTW S, X, U, W c X~U|S{WTW S, X, U, X c (SX{U)~XTW S, X, V, P c S{X~(V|P)TW S, X, V, Q c (S~X|V)~QTW S, X, V, R c (S{R)~V{XTW S, X, V, T c (S{X)~T|VTW S, X, V, U c S~(X{V)|UTW S, X, V, W c (X|VS)~WTW S, X, V, X c S{X~V|XTW S, X, W, Q c S{X~(W|Q)TW S, X, W, T c (XS{T)~WTW S, X, W, U c X~U|S{WTW S, X, W, V c (X|VS)~WTW S, X, X, R c S{(X{X)~RTW S, X, X, T c S{X{X~TTW S, X, X, U c (SX{U)~XTW S, X, X, V c S{X~V|XTW T, O, V, X c O{V~X|TTW T, O, X, V c O{X~V|TTW T, P, Q, U c (T~U|P)~QTW T, P, S, X c (T{P)~X{STW T, P, U, Q c (T~U|P)~QTW T, P, U, X c T|P{U~XTW T, P, V, W c (P{W)~V|TTW T, P, V, X c P~V~X|TTW T, P, W, V c (P{W)~V|TTW T, P, W, W c (W~W)|(T{P)TW T, P, W, X c T~(P{X){WTW T, P, X, S c (T{P)~X{STW T, P, X, U c T|P{X~UTW T, P, X, V c P~X~V|TTW T, P, X, W c T~(P{X){WTW T, Q, P, U c (T~U|P)~QTW T, Q, Q, U c T~Q~U|QTW T, Q, Q, W c (T{Q)~W{QTW T, Q, R, S c T~R~S|QTW T, Q, R, V c (T{R)~V{QTW T, Q, R, W c (T{R~W)~QTW T, Q, R, X c T~(Q{X){RTW T, Q, S, R c T~S~R|QTW T, Q, S, T c (T~T{S)~QTW T, Q, S, U c (T{S~U)~QTW T, Q, S, W c T~(S{W)|QTW T, Q, S, X c (T~S{X)~QTW T, Q, T, S c (T~T{S)~QTW T, Q, T, U c (T{T)~U|QTW T, Q, T, V c T~(T{V)|QTW T, Q, T, W c T~Q~T{WTW T, Q, T, X c (T{Q)~X|TTW T, Q, U, P c (T~U|P)~QTW T, Q, U, Q c T~Q~U|QTW T, Q, U, S c (T{U~S)~QTW T, Q, U, T c (T{T)~U|QTW T, Q, U, U c T~(U{U)|QTW T, Q, U, V c (T~V|U)~QTW T, Q, U, W c T~Q{U~WTW T, Q, V, R c (T{R)~V{QTW T, Q, V, T c (T{V)~T|QTW T, Q, V, U c (T~V|U)~QTW T, Q, V, V c (Q{V)~V|TTW T, Q, V, X c (T{Q)~V{XTW T, Q, W, Q c (T{Q)~W{QTW T, Q, W, R c (T{W~R)~QTW T, Q, W, S c T~(W{S)|QTW T, Q, W, T c T~Q~T{WTW T, Q, W, U c T~Q{W~UTW T, Q, W, W c T~(Q{W){WTW T, Q, W, X c T~W{Q~XTW T, Q, X, R c T~(Q{X){RTW T, Q, X, S c (T{X)~S{QTW T, Q, X, T c (T{Q)~X|TTW T, Q, X, V c (T{Q)~V{XTW T, Q, X, W c T~W{Q~XTW T, Q, X, X c (X|Q)~X|TTW T, R, Q, S c T~R~S|QTW T, R, Q, V c (T{R)~V{QTW T, R, Q, W c (T{R~W)~QTW T, R, Q, X c T~(R{X)|QTW T, R, R, V c R~R~V|TTW T, R, R, W c T~(R{W){RTW T, R, S, Q c T~R~S|QTW T, R, S, V c T~(S{V){RTW T, R, S, X c (R{S)~X|TTW T, R, T, U c T~(T{U){RTW T, R, U, T c (T{U)~T{RTW T, R, U, V c (R{U)~V|TTW T, R, U, W c (T{R)~W|UTW T, R, V, Q c (T{R)~V{QTW T, R, V, R c R~V~R|TTW T, R, V, S c T~(V{S){RTW T, R, V, U c (R{U)~V|TTW T, R, V, W c T|R{V~WTW T, R, W, Q c (T{R~W)~QTW T, R, W, R c T~(R{W){RTW T, R, W, U c (T{R)~W|UTW T, R, W, V c T|R{W~VTW T, R, X, Q c T~(R{X)|QTW T, R, X, S c (R{S)~X|TTW T, S, P, X c (T{P)~X{STW T, S, Q, R c T~S~R|QTW T, S, Q, T c (T~T{S)~QTW T, S, Q, U c (T{S~U)~QTW T, S, Q, W c T~(S{W)|QTW T, S, Q, X c (T~S{X)~QTW T, S, R, Q c T~S~R|QTW T, S, R, V c T~(S{V){RTW T, S, R, X c (S{R)~X|TTW T, S, S, U c (T{S)~U{STW T, S, T, Q c (T~T{S)~QTW T, S, T, V c (T{S)~V|TTW T, S, U, Q c (T{S~U)~QTW T, S, U, S c (T{S)~U{STW T, S, U, V c T~U{S~VTW T, S, U, W c T~(S{U){WTW T, S, V, R c T~(S{V){RTW T, S, V, T c (T{S)~V|TTW T, S, V, U c T~U{S~VTW T, S, V, V c T{S{V~VTW T, S, V, X c T~(S{X)|VTW T, S, W, Q c T~(S{W)|QTW T, S, W, U c T~(S{U){WTW T, S, W, X c (T{XS)~WTW T, S, X, P c (T{P)~X{STW T, S, X, Q c (T~S{X)~QTW T, S, X, R c (S{R)~X|TTW T, S, X, V c T~(S{X)|VTW T, S, X, W c (T{XS)~WTW T, S, X, X c T~X{S{XTW T, T, Q, S c (T~T{S)~QTW T, T, Q, U c (T{T)~U|QTW T, T, Q, V c T~(T{V)|QTW T, T, Q, W c T~T~Q{WTW T, T, Q, X c (T{Q)~X|TTW T, T, R, U c T~(T{U){RTW T, T, S, Q c (T~T{S)~QTW T, T, S, V c (T{S)~V|TTW T, T, T, W c (T{T)~T{WTW T, T, U, Q c (T{T)~U|QTW T, T, U, R c T~(T{U){RTW T, T, U, W c T{T{U~WTW T, T, V, Q c T~(T{V)|QTW T, T, V, S c (T{S)~V|TTW T, T, V, W c T~(T{W)|VTW T, T, W, Q c T~T~Q{WTW T, T, W, T c (T{T)~T{WTW T, T, W, U c T{T{W~UTW T, T, W, V c T~(T{W)|VTW T, T, W, X c T{T~X{WTW T, T, X, Q c (T{Q)~X|TTW T, T, X, W c T{T~X{WTW T, U, P, Q c (T~U|P)~QTW T, U, P, X c T{U~X|PTW T, U, Q, P c (T~U|P)~QTW T, U, Q, Q c T~U~Q|QTW T, U, Q, S c (T{U~S)~QTW T, U, Q, T c (T{T)~U|QTW T, U, Q, U c T~(U{U)|QTW T, U, Q, V c (T~V|U)~QTW T, U, Q, W c T~Q{U~WTW T, U, R, T c (T{U)~T{RTW T, U, R, V c (U{R)~V|TTW T, U, R, W c (T{R)~W|UTW T, U, S, Q c (T{U~S)~QTW T, U, S, S c (T{S)~U{STW T, U, S, V c T~U{S~VTW T, U, S, W c T~(U{S){WTW T, U, T, Q c (T{T)~U|QTW T, U, T, R c (T{U)~T{RTW T, U, T, W c T{U~W{TTW T, U, U, Q c T~(U{U)|QTW T, U, U, W c (T{U)~U|WTW T, U, V, Q c (T~V|U)~QTW T, U, V, R c (U{R)~V|TTW T, U, V, S c T~U{V~STW T, U, V, V c T~(U{V)|VTW T, U, V, X c T~X{U{VTW T, U, W, Q c T~Q{U~WTW T, U, W, R c T~W{U~RTW T, U, W, S c T~(U{S){WTW T, U, W, T c T{U~W{TTW T, U, W, U c (T{U)~U|WTW T, U, X, P c T{U~X|PTW T, U, X, V c T~X{U{VTW T, U, X, X c U~X|T{XTW T, V, O, X c (V{O)~X|TTW T, V, P, W c V~(P{W)|TTW T, V, P, X c V~P~X|TTW T, V, Q, R c (T{R)~V{QTW T, V, Q, T c (T{V)~T|QTW T, V, Q, U c (T~V|U)~QTW T, V, Q, V c (V{Q)~V|TTW T, V, Q, X c (T{Q)~V{XTW T, V, R, Q c (T{R)~V{QTW T, V, R, R c V~R~R|TTW T, V, R, S c T~(V{S){RTW T, V, R, U c V~(R{U)|TTW T, V, R, W c T~(V{R){WTW T, V, S, R c T~(V{S){RTW T, V, S, T c (T{S)~V|TTW T, V, S, U c T~U{V~STW T, V, S, V c T{V~V{STW T, V, S, X c T~(S{X)|VTW T, V, T, Q c (T{V)~T|QTW T, V, T, S c (T{S)~V|TTW T, V, T, W c T~(T{W)|VTW T, V, U, Q c (T~V|U)~QTW T, V, U, R c V~(U{R)|TTW T, V, U, S c T~U{V~STW T, V, U, V c T~(V{U)|VTW T, V, U, X c T~X{V{UTW T, V, V, Q c V~(V{Q)|TTW T, V, V, S c T{V~V{STW T, V, V, U c T~(V{U)|VTW T, V, V, W c V|T{V~WTW T, V, V, X c V~(X|TV)TW T, V, W, P c V~(W{P)|TTW T, V, W, R c T{V~W|RTW T, V, W, T c (T{W)~T|VTW T, V, W, V c V|T{W~VTW T, V, X, O c V~X|T{OTW T, V, X, P c V~X|T~PTW T, V, X, Q c (T{Q)~V{XTW T, V, X, S c T~(X{S)|VTW T, V, X, U c T~X{V{UTW T, V, X, V c V~(X|TV)TW T, V, X, X c (V|TX)~XTW T, W, P, V c (W{P)~V|TTW T, W, P, W c (W~W)|(T{P)TW T, W, P, X c T~(P{X){WTW T, W, Q, Q c (T{Q)~W{QTW T, W, Q, R c (T{W~R)~QTW T, W, Q, S c T~(W{S)|QTW T, W, Q, T c T~Q~T{WTW T, W, Q, U c T~Q{W~UTW T, W, Q, W c T~(W{Q){WTW T, W, Q, X c T~W{Q~XTW T, W, R, Q c (T{W~R)~QTW T, W, R, R c T~(W{R){RTW T, W, R, U c T~W{R~UTW T, W, R, V c T{W~V|RTW T, W, S, Q c T~(W{S)|QTW T, W, S, U c (T{W)~S{UTW T, W, S, X c (T{XS)~WTW T, W, T, Q c T~T~Q{WTW T, W, T, T c (T{T)~T{WTW T, W, T, U c T{W~U{TTW T, W, T, V c (T{W)~T|VTW T, W, T, X c T{W{T~XTW T, W, U, Q c T~Q{W~UTW T, W, U, R c T~W{U~RTW T, W, U, S c (T{W)~S{UTW T, W, U, T c T{W~U{TTW T, W, U, U c (T{U)~U|WTW T, W, V, P c (W{P)~V|TTW T, W, V, R c T{W~V|RTW T, W, V, T c (T{W)~T|VTW T, W, V, V c W~V|T{VTW T, W, W, P c (W~W)|(T{P)TW T, W, W, Q c T~(W{Q){WTW T, W, X, P c T~(X{P){WTW T, W, X, Q c T~W{X~QTW T, W, X, S c (T{XS)~WTW T, W, X, T c T{W{X~TTW T, W, X, X c T~W{X{XTW T, X, O, V c (X{O)~V|TTW T, X, P, S c (T{P)~X{STW T, X, P, U c T{X~U|PTW T, X, P, V c X~P~V|TTW T, X, P, W c T~(X{P){WTW T, X, Q, R c T~(X{Q){RTW T, X, Q, S c (T{X)~S{QTW T, X, Q, T c (T{Q)~X|TTW T, X, Q, V c (T{Q)~V{XTW T, X, Q, W c T~W{X~QTW T, X, Q, X c (X|Q)~X|TTW T, X, R, Q c T~(X{R)|QTW T, X, R, S c X~(R{S)|TTW T, X, S, P c (T{P)~X{STW T, X, S, Q c (T{X)~S{QTW T, X, S, R c X~(S{R)|TTW T, X, S, V c T~(X{S)|VTW T, X, S, W c (T{XS)~WTW T, X, S, X c T~X{S{XTW T, X, T, Q c (T{Q)~X|TTW T, X, T, W c T{X~T{WTW T, X, U, P c T{X~U|PTW T, X, U, V c T~X{U{VTW T, X, U, X c X|T{U~XTW T, X, V, O c X~V|T{OTW T, X, V, P c X~V|T~PTW T, X, V, Q c (T{Q)~V{XTW T, X, V, S c T~(X{S)|VTW T, X, V, U c T~X{V{UTW T, X, V, V c (X|TV)~VTW T, X, V, X c X~(V|TX)TW T, X, W, P c T~(X{P){WTW T, X, W, Q c T~W{X~QTW T, X, W, S c (T{XS)~WTW T, X, W, T c T~X{W{TTW T, X, W, X c T~W{X{XTW T, X, X, Q c X~(X|Q)|TTW T, X, X, S c T~X{X{STW T, X, X, U c X|T{X~UTW T, X, X, V c X~(V|TX)TW T, X, X, W c T~W{X{XTW U, O, S, X c (U{O)~X{STW U, O, W, W c O{W~W|UTW U, O, X, S c (U{O)~X{STW U, P, Q, T c (U~T|P)~QTW U, P, Q, W c (U{P)~W{QTW U, P, Q, X c U~(P{X)|QTW U, P, R, X c U~X{P{RTW U, P, S, W c U~(P{W){STW U, P, S, X c U~P~X{STW U, P, T, Q c (U~T|P)~QTW U, P, T, X c (U{P)~X|TTW U, P, V, W c (P{V)~W|UTW U, P, V, X c (U{P)~V{XTW U, P, W, Q c (U{P)~W{QTW U, P, W, S c U~(P{W){STW U, P, W, V c (P{V)~W|UTW U, P, W, W c P~W~W|UTW U, P, W, X c U~W{P{XTW U, P, X, Q c U~(P{X)|QTW U, P, X, R c U~X{P{RTW U, P, X, S c U~P~X{STW U, P, X, T c (U{P)~X|TTW U, P, X, V c (U{P)~V{XTW U, P, X, W c U~W{P{XTW U, Q, P, T c (U~T|P)~QTW U, Q, P, W c (U{P)~W{QTW U, Q, P, X c U~(P{X)|QTW U, Q, Q, T c U~Q~T|QTW U, Q, Q, V c (U{Q)~V{QTW U, Q, Q, W c U~(Q{W)|QTW U, Q, Q, X c U~X{Q{QTW U, Q, R, V c U~(R{V)|QTW U, Q, R, X c U~(QR{X)TW U, Q, S, T c (U~S{T)~QTW U, Q, S, U c (U{S)~U|QTW U, Q, S, V c U~(Q{V){STW U, Q, S, W c (U{W)~S{QTW U, Q, S, X c (U{X)~S|QTW U, Q, T, P c (U~T|P)~QTW U, Q, T, Q c U~Q~T|QTW U, Q, T, S c (U~S{T)~QTW U, Q, T, T c U~(T{T)|QTW U, Q, T, U c (U{U)~T|QTW U, Q, T, V c Q~(T~V|U)TW U, Q, T, W c U~W{Q~TTW U, Q, U, S c U~(U{S)|QTW U, Q, U, T c (U{U)~T|QTW U, Q, U, V c (U~U|V)~QTW U, Q, U, W c (U{Q)~W|UTW U, Q, U, X c U|Q{U~XTW U, Q, V, Q c (U{Q)~V{QTW U, Q, V, R c U~(V{R)|QTW U, Q, V, S c U~(Q{V){STW U, Q, V, T c Q~(V~T|U)TW U, Q, V, U c (U~U|V)~QTW U, Q, V, W c U~V{Q~WTW U, Q, W, P c (U{P)~W{QTW U, Q, W, Q c U~(Q{W)|QTW U, Q, W, S c (U{W)~S{QTW U, Q, W, T c U~W{Q~TTW U, Q, W, U c (U{Q)~W|UTW U, Q, W, V c U~V{Q~WTW U, Q, W, W c U~W{Q{WTW U, Q, W, X c U~(Q{X)|WTW U, Q, X, P c U~(X{P)|QTW U, Q, X, Q c U~X{Q{QTW U, Q, X, R c U~(QR{X)TW U, Q, X, S c (U{X)~S|QTW U, Q, X, U c U|Q{X~UTW U, Q, X, W c U~(Q{X)|WTW U, R, P, X c U~X{R{PTW U, R, Q, V c U~(R{V)|QTW U, R, Q, X c U~(QR{X)TW U, R, R, S c U~R~R{STW U, R, S, R c U~R~R{STW U, R, S, U c (U{R)~U{STW U, R, T, T c (U{T)~T{RTW U, R, T, V c (U{R)~V|TTW U, R, T, W c U~R{T~WTW U, R, U, S c (U{R)~U{STW U, R, V, Q c U~(R{V)|QTW U, R, V, T c (U{R)~V|TTW U, R, V, V c U{R{V~VTW U, R, V, W c UR{V~WTW U, R, V, X c U~X|R{VTW U, R, W, T c U~R{W~TTW U, R, W, V c UR{W~VTW U, R, W, W c U~(R{W)|WTW U, R, X, P c U~X{R{PTW U, R, X, Q c U~(X{QR)TW U, R, X, V c U~X|R{VTW U, S, O, X c (U{O)~X{STW U, S, P, W c U~(P{W){STW U, S, P, X c U~P~X{STW U, S, Q, T c (U~S{T)~QTW U, S, Q, U c (U{S)~U|QTW U, S, Q, V c U~(Q{V){STW U, S, Q, W c (U{W)~S{QTW U, S, Q, X c (U{X)~S|QTW U, S, R, R c U~R~R{STW U, S, R, U c (U{R)~U{STW U, S, S, S c S~S~S|UTW U, S, S, T c U~(S{T){STW U, S, S, V c U~V{S~STW U, S, S, W c (S{S)~W|UTW U, S, S, X c U{S~(S{X)TW U, S, T, Q c (U~S{T)~QTW U, S, T, S c U~(S{T){STW U, S, T, V c U~T{S~VTW U, S, T, W c (U{S)~T{WTW U, S, U, Q c (U{S)~U|QTW U, S, U, R c U~(U{R){STW U, S, U, V c U{S~(U{V)TW U, S, U, W c U{S{U~WTW U, S, U, X c U~(SU{X)TW U, S, V, Q c U~(V{Q){STW U, S, V, S c U~V{S~STW U, S, V, T c U~T{S~VTW U, S, V, U c U{S~(V{U)TW U, S, V, W c U|S{V~WTW U, S, V, X c S~(V{X)|UTW U, S, W, P c U~(W{P){STW U, S, W, Q c (U{W)~S{QTW U, S, W, S c (S{S)~W|UTW U, S, W, T c U{S~(W{T)TW U, S, W, U c U{S{W~UTW U, S, W, V c U|S{W~VTW U, S, W, W c S~(W{W)|UTW U, S, W, X c U~X|S{WTW U, S, X, O c U~X{S{OTW U, S, X, P c U~X{S~PTW U, S, X, Q c (U{X)~S|QTW U, S, X, S c U{(S{X)~STW U, S, X, U c U~(SU{X)TW U, S, X, V c S~(X{V)|UTW U, S, X, W c U~X|S{WTW U, S, X, X c (U{SX)~XTW U, T, P, Q c (U~T|P)~QTW U, T, P, X c (U{P)~X|TTW U, T, Q, P c (U~T|P)~QTW U, T, Q, Q c U~T~Q|QTW U, T, Q, S c (U~S{T)~QTW U, T, Q, T c U~(T{T)|QTW U, T, Q, U c (U{U)~T|QTW U, T, Q, V c (T~V|U)~QTW U, T, Q, W c U~W{T~QTW U, T, R, T c (U{T)~T{RTW U, T, R, V c (U{R)~V|TTW U, T, R, W c U~(TR{W)TW U, T, S, Q c (U~S{T)~QTW U, T, S, S c U~(T{S){STW U, T, S, V c U~T{S~VTW U, T, S, W c (U{TS)~WTW U, T, T, Q c U~(T{T)|QTW U, T, T, R c (U{T)~T{RTW U, T, T, W c U~W{T{TTW U, T, U, Q c (U{U)~T|QTW U, T, U, W c (U{T)~U|WTW U, T, V, Q c (T~V|U)~QTW U, T, V, R c (U{R)~V|TTW U, T, V, S c U~T{V~STW U, T, V, V c (U{V)~T|VTW U, T, V, X c U{T~X{VTW U, T, W, Q c U~W{T~QTW U, T, W, R c U~(TR{W)TW U, T, W, S c U{(T{W)~STW U, T, W, T c U~W{T{TTW U, T, W, U c (U{T)~U|WTW U, T, X, P c U~X{T|PTW U, T, X, V c U{T~X{VTW U, T, X, X c U~X|T{XTW U, U, Q, S c U~(U{S)|QTW U, U, Q, T c (U{U)~T|QTW U, U, Q, V c (U~U|V)~QTW U, U, Q, W c (U{Q)~W|UTW U, U, Q, X c U{U~X|QTW U, U, R, S c U~(U{R){STW U, U, S, Q c U~(U{S)|QTW U, U, S, R c U~(U{R){STW U, U, S, V c U{(U{V)~STW U, U, S, W c U{U~W{STW U, U, S, X c U~(SU{X)TW U, U, T, Q c (U{U)~T|QTW U, U, T, W c U~(U{T)|WTW U, U, V, Q c (U~U|V)~QTW U, U, V, S c U{(U{V)~STW U, U, W, Q c (U{Q)~W|UTW U, U, W, S c U{U~W{STW U, U, W, T c U~(U{T)|WTW U, U, X, Q c U{U~X|QTW U, U, X, S c U~(X{SU)TW U, U, X, X c U~(UX{X)TW U, V, P, W c (V{P)~W|UTW U, V, P, X c (U{P)~V{XTW U, V, Q, Q c (U{Q)~V{QTW U, V, Q, R c U~(V{R)|QTW U, V, Q, S c U~(V{Q){STW U, V, Q, T c (V~T|U)~QTW U, V, Q, U c (U~U|V)~QTW U, V, Q, W c U~V{Q~WTW U, V, R, Q c U~(V{R)|QTW U, V, R, T c (U{R)~V|TTW U, V, R, V c U{V~V{RTW U, V, R, W c U~(V{WR)TW U, V, R, X c U~X{V|RTW U, V, S, Q c U~(V{Q){STW U, V, S, S c U~V{S~STW U, V, S, T c U~T{V~STW U, V, S, U c (U{V)~S{UTW U, V, S, W c U~(V{S)|WTW U, V, S, X c (V{X)~S|UTW U, V, T, Q c (V~T|U)~QTW U, V, T, R c (U{R)~V|TTW U, V, T, S c U~T{V~STW U, V, T, V c (U{V)~T|VTW U, V, T, X c U{V{T~XTW U, V, U, Q c (U~U|V)~QTW U, V, U, S c U{(V{U)~STW U, V, V, R c U{V~V{RTW U, V, V, T c (U{V)~T|VTW U, V, V, X c U~V{V{XTW U, V, W, P c (V{P)~W|UTW U, V, W, Q c U~V{W~QTW U, V, W, R c U~(V{WR)TW U, V, W, S c U{V~W|STW U, V, W, W c U~V{W{WTW U, V, X, P c (U{P)~V{XTW U, V, X, R c U~X{V|RTW U, V, X, S c (V{X)~S|UTW U, V, X, T c U{V{X~TTW U, V, X, V c U~V{X{VTW U, W, O, W c (W{O)~W|UTW U, W, P, Q c (U{P)~W{QTW U, W, P, S c U~(W{P){STW U, W, P, V c W~(P{V)|UTW U, W, P, W c W~P~W|UTW U, W, P, X c U~W{P{XTW U, W, Q, P c (U{P)~W{QTW U, W, Q, Q c U~(W{Q)|QTW U, W, Q, S c (U{W)~S{QTW U, W, Q, T c U~W{Q~TTW U, W, Q, U c (U{Q)~W|UTW U, W, Q, V c U~V{W~QTW U, W, Q, W c U~W{Q{WTW U, W, Q, X c U~(Q{X)|WTW U, W, R, T c U~(W{TR)TW U, W, R, V c U~W{R{VTW U, W, R, W c U~(W{R)|WTW U, W, S, P c U~(W{P){STW U, W, S, Q c (U{W)~S{QTW U, W, S, S c W~(S{S)|UTW U, W, S, T c U{(W{T)~STW U, W, S, U c U~W{S{UTW U, W, S, V c U{W~V|STW U, W, S, W c (W{W)~S|UTW U, W, S, X c U~X{W|STW U, W, T, Q c U~W{T~QTW U, W, T, R c U~(W{TR)TW U, W, T, S c U{(W{T)~STW U, W, T, T c U~W{T{TTW U, W, T, U c (U{T)~U|WTW U, W, U, Q c (U{Q)~W|UTW U, W, U, S c U{W~U{STW U, W, U, T c U~(U{T)|WTW U, W, V, P c W~(V{P)|UTW U, W, V, Q c U~V{W~QTW U, W, V, R c U~W{V{RTW U, W, V, S c U{W~V|STW U, W, V, W c U~V{W{WTW U, W, W, O c W~W|U{OTW U, W, W, P c W~W|U~PTW U, W, W, Q c U~W{W{QTW U, W, W, R c U~(W{R)|WTW U, W, W, S c (W{W)~S|UTW U, W, W, V c U~V{W{WTW U, W, W, W c (W|UW)~WTW U, W, W, X c (W~X)|(U{W)TW U, W, X, P c U~W{X{PTW U, W, X, Q c U~X{WQTW U, W, X, S c U~X{W|STW U, W, X, W c (W~X)|(U{W)TW U, X, O, S c U~X{O{STW U, X, P, Q c U~(X{P)|QTW U, X, P, R c U~X{P{RTW U, X, P, S c U~X{P~STW U, X, P, T c U~X|P{TTW U, X, P, V c (U{P)~V{XTW U, X, P, W c U~W{X{PTW U, X, Q, P c U~(X{P)|QTW U, X, Q, Q c U~X{Q{QTW U, X, Q, R c U~(X{QR)TW U, X, Q, S c (U{X)~S|QTW U, X, Q, U c U~X|Q{UTW U, X, Q, W c U~(X{Q)|WTW U, X, R, P c U~X{R{PTW U, X, R, Q c U~(X{QR)TW U, X, R, V c U~X|R{VTW U, X, S, O c U~X{S{OTW U, X, S, P c U~X{S~PTW U, X, S, Q c (U{X)~S|QTW U, X, S, S c U{(X{S)~STW U, X, S, U c U~(X{SU)TW U, X, S, V c (X{V)~S|UTW U, X, S, W c U~X|S{WTW U, X, S, X c (U{SX)~XTW U, X, T, P c U~X{T|PTW U, X, T, V c U{X~T{VTW U, X, T, X c U~X|T{XTW U, X, U, Q c U{X~U|QTW U, X, U, S c U~(X{SU)TW U, X, U, X c U~(X{UX)TW U, X, V, P c (U{P)~V{XTW U, X, V, R c U~X{V|RTW U, X, V, S c (X{V)~S|UTW U, X, V, T c U{X~T{VTW U, X, V, V c U~V{X{VTW U, X, W, P c U~W{X{PTW U, X, W, Q c U~X{WQTW U, X, W, S c U~X{W|STW U, X, W, W c (X~W)|(U{W)TW U, X, X, S c (U{SX)~XTW U, X, X, T c U~X{X|TTW U, X, X, U c (UX{X)~UTW V, O, Q, W c (V{O)~W{QTW V, O, T, X c (V{O)~X|TTW V, O, V, X c (V{O)~V{XTW V, O, W, Q c (V{O)~W{QTW V, O, X, T c (V{O)~X|TTW V, O, X, V c (V{O)~V{XTW V, P, P, W c V~W{P{PTW V, P, Q, S c (V~S{P)~QTW V, P, Q, V c (V{P)~V{QTW V, P, Q, W c V~P~W{QTW V, P, Q, X c V~(X|P){QTW V, P, R, W c V~W|P{RTW V, P, S, Q c (V~S{P)~QTW V, P, S, W c (V{PS)~WTW V, P, S, X c (V|P)~X{STW V, P, T, W c V~(P{W)|TTW V, P, T, X c V~P~X|TTW V, P, U, W c (V{P)~W|UTW V, P, U, X c V~(P{U){XTW V, P, V, Q c (V{P)~V{QTW V, P, V, W c V~V{P{WTW V, P, V, X c V~P~V{XTW V, P, W, P c V~W{P{PTW V, P, W, Q c V~P~W{QTW V, P, W, R c V~W|P{RTW V, P, W, S c (V{PS)~WTW V, P, W, T c V~(P{W)|TTW V, P, W, U c (V{P)~W|UTW V, P, W, V c V~V{P{WTW V, P, W, W c P{W~W|VTW V, P, W, X c V~(W|P){XTW V, P, X, Q c V~(X|P){QTW V, P, X, S c (V|P)~X{STW V, P, X, T c V~P~X|TTW V, P, X, U c V~(P{U){XTW V, P, X, V c V~P~V{XTW V, P, X, W c V~(W|P){XTW V, Q, O, W c (V{O)~W{QTW V, Q, P, S c (V~S{P)~QTW V, Q, P, V c (V{P)~V{QTW V, Q, P, W c V~P~W{QTW V, Q, P, X c V~(X|P){QTW V, Q, Q, S c V~Q~S{QTW V, Q, Q, U c V~(Q{U){QTW V, Q, R, T c V~(R{T){QTW V, Q, R, U c (V{R)~U|QTW V, Q, R, W c (V~R{W)~QTW V, Q, R, X c (V~X)|(Q{R)TW V, Q, S, P c (V~S{P)~QTW V, Q, S, Q c V~Q~S{QTW V, Q, S, S c V~(S{S){QTW V, Q, S, U c (V{Q)~U{STW V, Q, S, V c (V{V)~S{QTW V, Q, S, W c V~W|Q{STW V, Q, S, X c Q~(S~X|V)TW V, Q, T, R c V~(T{R){QTW V, Q, T, T c (V{T)~T|QTW V, Q, T, U c (V~T|U)~QTW V, Q, T, V c (V{Q)~V|TTW V, Q, T, X c V~(Q{T){XTW V, Q, U, Q c V~(Q{U){QTW V, Q, U, R c (V{R)~U|QTW V, Q, U, S c (V{Q)~U{STW V, Q, U, T c (V~T|U)~QTW V, Q, U, U c Q~(U~U|V)TW V, Q, U, W c V~U{Q~WTW V, Q, V, P c V~(V{P){QTW V, Q, V, S c (V{V)~S{QTW V, Q, V, T c (V{Q)~V|TTW V, Q, V, V c V{Q{V~VTW V, Q, V, W c V~(QV{W)TW V, Q, V, X c V~X{Q|VTW V, Q, W, O c V~W{Q{OTW V, Q, W, P c V~W{Q~PTW V, Q, W, R c (V~R{W)~QTW V, Q, W, S c V~W|Q{STW V, Q, W, U c V~U{Q~WTW V, Q, W, V c V~(QV{W)TW V, Q, W, W c (V{QW)~WTW V, Q, W, X c W~X|V~QTW V, Q, X, P c V~(X|P){QTW V, Q, X, R c (V~X)|(Q{R)TW V, Q, X, S c Q~(X~S|V)TW V, Q, X, T c V~(Q{T){XTW V, Q, X, V c V~X{Q|VTW V, Q, X, W c X~W|V~QTW V, Q, X, X c V~(X|Q){XTW V, R, P, W c V~W{R|PTW V, R, Q, T c V~(R{T){QTW V, R, Q, U c (V{R)~U|QTW V, R, Q, W c (V~R{W)~QTW V, R, Q, X c (V~X)|(R{Q)TW V, R, R, T c V~R~R|TTW V, R, R, V c V~V{R~RTW V, R, S, T c (V{S)~T{RTW V, R, S, X c V~(R{S){XTW V, R, T, Q c V~(R{T){QTW V, R, T, R c V~R~R|TTW V, R, T, S c (V{S)~T{RTW V, R, T, U c V~(R{U)|TTW V, R, T, W c (V{R)~T{WTW V, R, U, Q c (V{R)~U|QTW V, R, U, T c V~(R{U)|TTW V, R, U, V c V~V{R{UTW V, R, U, W c V{R{U~WTW V, R, U, X c V|R{U~XTW V, R, V, R c V~V{R~RTW V, R, V, U c V~V{R{UTW V, R, W, P c V~W{R|PTW V, R, W, Q c (V~R{W)~QTW V, R, W, T c (V{R)~T{WTW V, R, W, U c V{R{W~UTW V, R, W, X c V{R~(W{X)TW V, R, X, Q c (V~X)|(R{Q)TW V, R, X, S c V~(R{S){XTW V, R, X, U c V|R{X~UTW V, R, X, W c V{R~(X{W)TW V, S, P, Q c (V~S{P)~QTW V, S, P, W c (V{PS)~WTW V, S, P, X c (V|P)~X{STW V, S, Q, P c (V~S{P)~QTW V, S, Q, Q c V~S~Q{QTW V, S, Q, S c V~(S{S){QTW V, S, Q, U c (V{Q)~U{STW V, S, Q, V c (V{V)~S{QTW V, S, Q, W c (V{W)~S|QTW V, S, Q, X c (S~X|V)~QTW V, S, R, T c (V{S)~T{RTW V, S, R, X c V~(S{R){XTW V, S, S, Q c V~(S{S){QTW V, S, S, U c V~U{S~STW V, S, T, R c (V{S)~T{RTW V, S, T, T c V~(S{T)|TTW V, S, T, U c V~S{T~UTW V, S, T, V c V~V{S{TTW V, S, T, X c (S{X)~T|VTW V, S, U, Q c (V{Q)~U{STW V, S, U, S c V~U{S~STW V, S, U, T c V~S{U~TTW V, S, U, U c (V{U)~S{UTW V, S, U, W c (V{S)~U|WTW V, S, U, X c (V{X)~S|UTW V, S, V, Q c (V{V)~S{QTW V, S, V, T c V~V{S{TTW V, S, W, P c (V{PS)~WTW V, S, W, Q c (V{W)~S|QTW V, S, W, U c (V{S)~U|WTW V, S, W, W c V~W{WSTW V, S, W, X c W~(X|VS)TW V, S, X, P c (V~X)|(S{P)TW V, S, X, Q c (S~X|V)~QTW V, S, X, R c V~(S{R){XTW V, S, X, T c (S{X)~T|VTW V, S, X, U c (V{X)~S|UTW V, S, X, W c (X|VS)~WTW V, S, X, X c V~X{S|XTW V, T, O, X c (V{O)~X|TTW V, T, P, W c V~(P{W)|TTW V, T, P, X c V~P~X|TTW V, T, Q, R c V~(T{R){QTW V, T, Q, T c (V{T)~T|QTW V, T, Q, U c (V~T|U)~QTW V, T, Q, V c (V{Q)~V|TTW V, T, Q, X c V~(T{Q){XTW V, T, R, Q c V~(T{R){QTW V, T, R, R c V~R~R|TTW V, T, R, S c (V{S)~T{RTW V, T, R, U c V~(R{U)|TTW V, T, R, W c (V{R)~T{WTW V, T, S, R c (V{S)~T{RTW V, T, S, T c V~(T{S)|TTW V, T, S, U c V~S{T~UTW V, T, S, V c V~V{T{STW V, T, S, X c T~(S{X)|VTW V, T, T, Q c (V{T)~T|QTW V, T, T, S c V~(T{S)|TTW V, T, T, W c T~(T{W)|VTW V, T, U, Q c (V~T|U)~QTW V, T, U, R c V~(U{R)|TTW V, T, U, S c V~S{T~UTW V, T, U, V c (V{U)~T|VTW V, T, U, X c V{T~X{UTW V, T, V, Q c V~(V{Q)|TTW V, T, V, S c V~V{T{STW V, T, V, U c (V{U)~T|VTW V, T, V, W c V|T{V~WTW V, T, V, X c V~(X|TV)TW V, T, W, P c V~(W{P)|TTW V, T, W, R c V~W{T|RTW V, T, W, T c (T{W)~T|VTW V, T, W, V c V|T{W~VTW V, T, X, O c V~X|T{OTW V, T, X, P c V~X|T~PTW V, T, X, Q c V~(T{Q){XTW V, T, X, S c T~(X{S)|VTW V, T, X, U c V{T~X{UTW V, T, X, V c V~(X|TV)TW V, T, X, X c (V|TX)~XTW V, U, P, W c (V{P)~W|UTW V, U, P, X c V~(U{P){XTW V, U, Q, Q c V~(U{Q){QTW V, U, Q, R c (V{R)~U|QTW V, U, Q, S c (V{Q)~U{STW V, U, Q, T c (V~T|U)~QTW V, U, Q, U c (U~U|V)~QTW V, U, Q, W c V~U{Q~WTW V, U, R, Q c (V{R)~U|QTW V, U, R, T c V~(U{R)|TTW V, U, R, V c V~V{U{RTW V, U, R, W c V{U~W{RTW V, U, R, X c V{U~X|RTW V, U, S, Q c (V{Q)~U{STW V, U, S, S c V~U{S~STW V, U, S, T c V~S{U~TTW V, U, S, U c (V{U)~S{UTW V, U, S, W c (V{S)~U|WTW V, U, S, X c (V{X)~S|UTW V, U, T, Q c (V~T|U)~QTW V, U, T, R c V~(U{R)|TTW V, U, T, S c V~S{U~TTW V, U, T, V c (V{U)~T|VTW V, U, T, X c V{U{T~XTW V, U, U, Q c (U~U|V)~QTW V, U, U, S c (V{U)~S{UTW V, U, V, R c V~V{U{RTW V, U, V, T c (V{U)~T|VTW V, U, V, X c V{U~V{XTW V, U, W, P c (V{P)~W|UTW V, U, W, Q c V~U{W~QTW V, U, W, R c V{U~W{RTW V, U, W, S c V~W{U|STW V, U, W, W c V~U{W{WTW V, U, X, P c V~(U{P){XTW V, U, X, R c V{U~X|RTW V, U, X, S c (V{X)~S|UTW V, U, X, T c V{U{X~TTW V, U, X, V c V~U{X{VTW V, V, O, X c V~V{O{XTW V, V, P, Q c V~(V{P){QTW V, V, P, W c V~V{P{WTW V, V, P, X c V~V{P~XTW V, V, Q, P c V~(V{P){QTW V, V, Q, S c (V{V)~S{QTW V, V, Q, T c V~(V{Q)|TTW V, V, Q, V c V~V{Q{VTW V, V, Q, W c V~(QV{W)TW V, V, Q, X c V~X|V{QTW V, V, R, R c V~V{R~RTW V, V, R, U c V~V{R{UTW V, V, S, Q c (V{V)~S{QTW V, V, S, T c V~V{S{TTW V, V, T, Q c V~(V{Q)|TTW V, V, T, S c V~V{T{STW V, V, T, U c (V{U)~T|VTW V, V, T, W c V{V~W|TTW V, V, T, X c V~(X|TV)TW V, V, U, R c V~V{U{RTW V, V, U, T c (V{U)~T|VTW V, V, U, X c V{V~U{XTW V, V, V, Q c V{V~V{QTW V, V, V, X c V~(V{XV)TW V, V, W, P c V~V{W{PTW V, V, W, Q c V~(W{QV)TW V, V, W, T c V{V~W|TTW V, V, W, X c V~W|V{XTW V, V, X, O c V~V{X{OTW V, V, X, P c V~V{X~PTW V, V, X, Q c V~X|V{QTW V, V, X, T c V~(X|TV)TW V, V, X, U c V{V~U{XTW V, V, X, V c V~(V{XV)TW V, V, X, W c V~W|V{XTW V, W, O, Q c V~W{O{QTW V, W, P, P c V~W{P{PTW V, W, P, Q c V~W{P~QTW V, W, P, R c V~W|P{RTW V, W, P, S c (V{PS)~WTW V, W, P, T c V~(W{P)|TTW V, W, P, U c (V{P)~W|UTW V, W, P, V c V~V{W{PTW V, W, P, W c W~W|V{PTW V, W, P, X c V~(W|P){XTW V, W, Q, O c V~W{Q{OTW V, W, Q, P c V~W{Q~PTW V, W, Q, R c (V~R{W)~QTW V, W, Q, S c V~W|Q{STW V, W, Q, U c V~U{W~QTW V, W, Q, V c V~(W{QV)TW V, W, Q, W c (V{QW)~WTW V, W, Q, X c W~X|V~QTW V, W, R, P c V~W{R|PTW V, W, R, Q c (V~R{W)~QTW V, W, R, T c V~W|R{TTW V, W, R, U c (V{WR)~UTW V, W, R, X c V{(W{X)~RTW V, W, S, P c (V{PS)~WTW V, W, S, Q c (V{W)~S|QTW V, W, S, U c V~W|S{UTW V, W, S, W c V~W{WSTW V, W, S, X c W~(X|VS)TW V, W, T, P c V~(W{P)|TTW V, W, T, R c V~W{T|RTW V, W, T, T c (W{T)~T|VTW V, W, T, V c V~W|T{VTW V, W, U, P c (V{P)~W|UTW V, W, U, Q c V~U{W~QTW V, W, U, R c V{W~U{RTW V, W, U, S c V~W{U|STW V, W, U, W c V~W|U{WTW V, W, V, P c V~V{W{PTW V, W, V, Q c V~(W{QV)TW V, W, V, T c V{W~V|TTW V, W, V, X c V~W|V{XTW V, W, W, P c W~W|V{PTW V, W, W, Q c (V{QW)~WTW V, W, W, S c V~W{WSTW V, W, W, U c V~W{W|UTW V, W, X, P c V~(W|P){XTW V, W, X, Q c W~X|V~QTW V, W, X, R c V{(W{X)~RTW V, W, X, S c W~(X|VS)TW V, W, X, V c V~W{X|VTW V, X, O, T c V~X{O|TTW V, X, O, V c (V{O)~V{XTW V, X, P, Q c V~(X|P){QTW V, X, P, S c (V~X)|(P{S)TW V, X, P, T c V~X|P~TTW V, X, P, U c V~X{P|UTW V, X, P, V c V~P~V{XTW V, X, P, W c V~(W|P){XTW V, X, Q, P c V~(X|P){QTW V, X, Q, R c (V~X)|(Q{R)TW V, X, Q, S c (X~S|V)~QTW V, X, Q, T c V~(Q{T){XTW V, X, Q, V c V~X{Q|VTW V, X, Q, W c X~W|V~QTW V, X, Q, X c V~(X|Q){XTW V, X, R, Q c (V~X)|(R{Q)TW V, X, R, S c V~(R{S){XTW V, X, R, U c V{X~U|RTW V, X, R, W c V~X{R|WTW V, X, S, P c (V~X)|(S{P)TW V, X, S, Q c (X~S|V)~QTW V, X, S, R c V~(S{R){XTW V, X, S, T c (X{S)~T|VTW V, X, S, U c (V{X)~S|UTW V, X, S, W c (X|VS)~WTW V, X, S, X c V~X{S|XTW V, X, T, O c V~X|T{OTW V, X, T, P c V~X|T~PTW V, X, T, Q c V~(T{Q){XTW V, X, T, S c (X{S)~T|VTW V, X, T, U c V{X~T{UTW V, X, T, V c V~(X|TV)TW V, X, T, X c (V|TX)~XTW V, X, U, P c V~X|U{PTW V, X, U, R c V{X~U|RTW V, X, U, S c (V{X)~S|UTW V, X, U, T c V{X~T{UTW V, X, U, V c V{X{U~VTW V, X, V, O c V~V{X{OTW V, X, V, P c V~V{X~PTW V, X, V, Q c V~X|V{QTW V, X, V, T c V~(X|TV)TW V, X, V, U c V{X{V~UTW V, X, V, V c (V{XV)~VTW V, X, V, W c V~W{X|VTW V, X, W, P c V~(W|P){XTW V, X, W, Q c X~W|V~QTW V, X, W, R c V{(X{W)~RTW V, X, W, S c (X|VS)~WTW V, X, W, V c V~W{X|VTW V, X, X, Q c V~(X|Q){XTW V, X, X, S c V~X|X{STW V, X, X, T c (V|TX)~XTW W, O, Q, V c (W{O)~V{QTW W, O, U, W c (W{O)~W|UTW W, O, V, Q c (W{O)~V{QTW W, O, W, U c (W{O)~W|UTW W, P, P, V c W~V{P{PTW W, P, Q, U c W~(P{U){QTW W, P, Q, V c W~P~V{QTW W, P, Q, W c (W|P)~W{QTW W, P, R, V c W~V|P{RTW W, P, S, U c (W{P)~U{STW W, P, S, V c W~(PS{V)TW W, P, T, V c (W{P)~V|TTW W, P, T, W c (W~W)|(P{T)TW W, P, T, X c W{(P{X)~TTW W, P, U, Q c W~(P{U){QTW W, P, U, S c (W{P)~U{STW W, P, U, V c W~(P{V)|UTW W, P, U, W c W~P~W|UTW W, P, U, X c W~U{P{XTW W, P, V, P c W~V{P{PTW W, P, V, Q c W~P~V{QTW W, P, V, R c W~V|P{RTW W, P, V, S c W~(PS{V)TW W, P, V, T c (W{P)~V|TTW W, P, V, U c W~(P{V)|UTW W, P, V, V c W{P{V~VTW W, P, V, W c W~W{P|VTW W, P, V, X c (W|P)~V{XTW W, P, W, Q c (W|P)~W{QTW W, P, W, T c (W~W)|(P{T)TW W, P, W, U c W~P~W|UTW W, P, W, V c W~W{P|VTW W, P, X, T c W{(P{X)~TTW W, P, X, U c W~(X|P)|UTW W, P, X, V c (W|P)~V{XTW W, Q, O, V c (W{O)~V{QTW W, Q, P, U c W~(P{U){QTW W, Q, P, V c W~P~V{QTW W, Q, P, W c (W|P)~W{QTW W, Q, Q, T c W~(Q{T){QTW W, Q, Q, U c (W{Q)~U|QTW W, Q, Q, X c W~(X|Q){QTW W, Q, R, S c W~(R{S){QTW W, Q, R, T c (W~R{T)~QTW W, Q, R, V c (W{R~V)~QTW W, Q, R, W c W~W|Q~RTW W, Q, S, R c W~(S{R){QTW W, Q, S, T c (W{S)~T|QTW W, Q, S, U c W~Q~S|UTW W, Q, S, V c W~V|Q{STW W, Q, S, W c (W~W)|(Q{S)TW W, Q, S, X c (W|Q)~X{STW W, Q, T, Q c W~(Q{T){QTW W, Q, T, R c (W~R{T)~QTW W, Q, T, S c (W{S)~T|QTW W, Q, T, T c W{Q~T~TTW W, Q, T, U c W~U{Q~TTW W, Q, T, W c (W{Q)~T{WTW W, Q, T, X c W~T{Q~XTW W, Q, U, P c W~(U{P){QTW W, Q, U, Q c (W{Q)~U|QTW W, Q, U, S c W~Q~S|UTW W, Q, U, T c W~U{Q~TTW W, Q, U, U c W~(Q{U)|UTW W, Q, U, V c W~Q{U~VTW W, Q, U, W c W{Q{U~WTW W, Q, U, X c WQ{U~XTW W, Q, V, O c W~V{Q{OTW W, Q, V, P c W~V{Q~PTW W, Q, V, R c (W{V~R)~QTW W, Q, V, S c W~V|Q{STW W, Q, V, U c W~Q{V~UTW W, Q, V, V c (W{QV)~VTW W, Q, V, W c W~(QW{V)TW W, Q, V, X c W~X|Q~VTW W, Q, W, P c W~(W|P){QTW W, Q, W, R c W~W|Q~RTW W, Q, W, S c (W~W)|(Q{S)TW W, Q, W, T c W{(Q{W)~TTW W, Q, W, U c W{Q{W~UTW W, Q, W, V c W~(QW{V)TW W, Q, W, W c W~W{Q|WTW W, Q, X, Q c W~(X|Q){QTW W, Q, X, S c (W|Q)~X{STW W, Q, X, T c W~T{Q~XTW W, Q, X, U c WQ{X~UTW W, Q, X, V c W~X|Q~VTW W, R, P, V c W~V{R|PTW W, R, Q, S c W~(R{S){QTW W, R, Q, T c (W~R{T)~QTW W, R, Q, V c (W{R~V)~QTW W, R, Q, W c W~W|R~QTW W, R, R, T c (W{R)~T{RTW W, R, R, W c (W~W)|(R{R)TW W, R, S, Q c W~(R{S){QTW W, R, S, W c (W|RS)~WTW W, R, T, Q c (W~R{T)~QTW W, R, T, R c (W{R)~T{RTW W, R, T, U c W~(R{T)|UTW W, R, T, V c W{(R{V)~TTW W, R, U, T c W~(R{T)|UTW W, R, U, V c (WR{V)~UTW W, R, U, W c (W{R)~U|WTW W, R, V, P c W~V{R|PTW W, R, V, Q c (W{R~V)~QTW W, R, V, T c W{(R{V)~TTW W, R, V, U c (WR{V)~UTW W, R, V, X c (W{X)~R{VTW W, R, W, Q c W~W|R~QTW W, R, W, R c (W~W)|(R{R)TW W, R, W, S c (W|RS)~WTW W, R, W, U c (W{R)~U|WTW W, R, W, X c W~W{R|XTW W, R, X, V c (W{X)~R{VTW W, R, X, W c W~W{R|XTW W, S, P, U c (W{P)~U{STW W, S, P, V c W~(PS{V)TW W, S, Q, R c W~(S{R){QTW W, S, Q, T c (W{S)~T|QTW W, S, Q, U c W~S~Q|UTW W, S, Q, V c (W{V)~S|QTW W, S, Q, W c (W~W)|(S{Q)TW W, S, Q, X c (W|Q)~X{STW W, S, R, Q c W~(S{R){QTW W, S, R, W c (W|RS)~WTW W, S, S, U c W~(S{S)|UTW W, S, T, Q c (W{S)~T|QTW W, S, T, U c W{(S{U)~TTW W, S, T, X c W~(T{XS)TW W, S, U, P c (W{P)~U{STW W, S, U, Q c W~S~Q|UTW W, S, U, S c W~(S{S)|UTW W, S, U, T c W{(S{U)~TTW W, S, U, U c W~U{S{UTW W, S, U, V c W~V|S{UTW W, S, U, W c (W{W)~S|UTW W, S, U, X c W|S{U~XTW W, S, V, P c W~(V{PS)TW W, S, V, Q c (W{V)~S|QTW W, S, V, U c W~V|S{UTW W, S, V, W c WS{V~WTW W, S, V, X c W~(X|VS)TW W, S, W, Q c (W~W)|(S{Q)TW W, S, W, R c W~(W|RS)TW W, S, W, U c (W{W)~S|UTW W, S, W, V c WS{W~VTW W, S, X, Q c (W|Q)~X{STW W, S, X, T c W~(XS{T)TW W, S, X, U c W|S{X~UTW W, S, X, V c W~(X|VS)TW W, T, P, V c (W{P)~V|TTW W, T, P, W c (W~W)|(T{P)TW W, T, P, X c W{T~(P{X)TW W, T, Q, Q c W~(T{Q){QTW W, T, Q, R c (W~R{T)~QTW W, T, Q, S c (W{S)~T|QTW W, T, Q, T c W{T~Q~TTW W, T, Q, U c W~U{T~QTW W, T, Q, W c W{T~(Q{W)TW W, T, Q, X c W~T{Q~XTW W, T, R, Q c (W~R{T)~QTW W, T, R, R c (W{R)~T{RTW W, T, R, U c (W{TR)~UTW W, T, R, V c W{T~(R{V)TW W, T, S, Q c (W{S)~T|QTW W, T, S, U c (W{T)~S{UTW W, T, S, X c W~(T{XS)TW W, T, T, Q c W{T~T~QTW W, T, T, T c W{(T{T)~TTW W, T, T, U c W~U{T{TTW W, T, T, V c (W{T)~T|VTW W, T, T, X c W{T{T~XTW W, T, U, Q c W~U{T~QTW W, T, U, R c W~T{U~RTW W, T, U, S c W{T~(U{S)TW W, T, U, T c W~U{T{TTW W, T, U, U c (T{U)~U|WTW W, T, V, P c (W{P)~V|TTW W, T, V, R c W{T~(V{R)TW W, T, V, T c (W{T)~T|VTW W, T, V, V c W~V|T{VTW W, T, W, P c (W~W)|(T{P)TW W, T, W, Q c W{T~(W{Q)TW W, T, X, P c W{T~(X{P)TW W, T, X, Q c W~T{X~QTW W, T, X, S c W~(T{XS)TW W, T, X, T c W{T{X~TTW W, T, X, X c W~T{X{XTW W, U, O, W c (W{O)~W|UTW W, U, P, Q c W~(U{P){QTW W, U, P, S c (W{P)~U{STW W, U, P, V c W~(P{V)|UTW W, U, P, W c W~P~W|UTW W, U, P, X c W~U{P{XTW W, U, Q, P c W~(U{P){QTW W, U, Q, Q c (W{Q)~U|QTW W, U, Q, S c (W{U)~S{QTW W, U, Q, T c W~U{Q~TTW W, U, Q, U c W~(U{Q)|UTW W, U, Q, V c W~Q{U~VTW W, U, Q, W c W~U{Q{WTW W, U, Q, X c WQ{U~XTW W, U, R, T c W~(R{T)|UTW W, U, R, V c W~U{R{VTW W, U, R, W c (W{R)~U|WTW W, U, S, P c (W{P)~U{STW W, U, S, Q c (W{U)~S{QTW W, U, S, S c W~(S{S)|UTW W, U, S, T c W{(U{S)~TTW W, U, S, U c W~U{S{UTW W, U, S, V c W~V{U|STW W, U, S, W c (W{W)~S|UTW W, U, S, X c W{U~X|STW W, U, T, Q c W~U{T~QTW W, U, T, R c W~T{U~RTW W, U, T, S c W~(U{TS)TW W, U, T, T c W~U{T{TTW W, U, T, U c (U{T)~U|WTW W, U, U, Q c W~(U{Q)|UTW W, U, U, S c W~U{U{STW W, U, U, T c U~(U{T)|WTW W, U, V, P c W~(V{P)|UTW W, U, V, Q c W~Q{U~VTW W, U, V, R c W~U{V{RTW W, U, V, S c W~V{U|STW W, U, V, W c W{U~V{WTW W, U, W, O c W~W|U{OTW W, U, W, P c W~W|U~PTW W, U, W, Q c W{U~W{QTW W, U, W, R c (W{R)~U|WTW W, U, W, S c (W{W)~S|UTW W, U, W, V c W|U{W~VTW W, U, W, W c (W|UW)~WTW W, U, W, X c (W~X)|(U{W)TW W, U, X, P c W~U{X{PTW W, U, X, Q c WQ{U~XTW W, U, X, S c W{U~X|STW W, U, X, W c (W~X)|(U{W)TW W, V, O, Q c W~V{O{QTW W, V, P, P c W~V{P{PTW W, V, P, Q c W~V{P~QTW W, V, P, R c W~V|P{RTW W, V, P, S c W~(V{PS)TW W, V, P, T c (W{P)~V|TTW W, V, P, U c W~(V{P)|UTW W, V, P, V c W{V~V{PTW W, V, P, W c W~W|V{PTW W, V, P, X c (W|P)~V{XTW W, V, Q, O c W~V{Q{OTW W, V, Q, P c W~V{Q~PTW W, V, Q, R c (W{V~R)~QTW W, V, Q, S c W~V|Q{STW W, V, Q, U c W~Q{V~UTW W, V, Q, V c (W{QV)~VTW W, V, Q, W c W~(V{QW)TW W, V, Q, X c W~X|V~QTW W, V, R, P c W~V{R|PTW W, V, R, Q c (W{V~R)~QTW W, V, R, T c W{(V{R)~TTW W, V, R, U c W~V{URTW W, V, R, X c (W{X)~R{VTW W, V, S, P c W~(V{PS)TW W, V, S, Q c (W{V)~S|QTW W, V, S, U c W~V|S{UTW W, V, S, W c W~V{WSTW W, V, S, X c W~(X|VS)TW W, V, T, P c (W{P)~V|TTW W, V, T, R c W~V{T|RTW W, V, T, T c (W{T)~T|VTW W, V, T, V c W~V|T{VTW W, V, U, P c W~(V{P)|UTW W, V, U, Q c W~Q{V~UTW W, V, U, R c W~V{URTW W, V, U, S c W~V{U|STW W, V, U, W c W{V~U{WTW W, V, V, P c W{V~V{PTW W, V, V, Q c (W{QV)~VTW W, V, V, T c W~V{V|TTW W, V, V, X c W~V|V{XTW W, V, W, P c W~W|V{PTW W, V, W, Q c W~(V{QW)TW W, V, W, S c W~V{WSTW W, V, W, U c W{V~W|UTW W, V, X, P c (W|P)~V{XTW W, V, X, Q c W~X|V~QTW W, V, X, R c (W{X)~R{VTW W, V, X, S c W~(X|VS)TW W, V, X, V c W~V{X|VTW W, W, O, U c W~W{O|UTW W, W, P, Q c W~(W|P){QTW W, W, P, T c (W~W)|(P{T)TW W, W, P, U c W~W|P~UTW W, W, P, V c W~W{P|VTW W, W, Q, P c W~(W|P){QTW W, W, Q, R c W~W|Q~RTW W, W, Q, S c (W~W)|(Q{S)TW W, W, Q, T c W{(W{Q)~TTW W, W, Q, U c W{W~U{QTW W, W, Q, V c W~(QW{V)TW W, W, Q, W c W~W{Q|WTW W, W, R, Q c W~W|R~QTW W, W, R, R c (W~W)|(R{R)TW W, W, R, S c W~(W|RS)TW W, W, R, U c (W{R)~U|WTW W, W, R, X c W~W{R|XTW W, W, S, Q c (W~W)|(S{Q)TW W, W, S, R c W~(W|RS)TW W, W, S, U c (W{W)~S|UTW W, W, S, V c WS{W~VTW W, W, T, P c (W~W)|(T{P)TW W, W, T, Q c W{(W{Q)~TTW W, W, U, O c W~W|U{OTW W, W, U, P c W~W|U~PTW W, W, U, Q c W{W~U{QTW W, W, U, R c (W{R)~U|WTW W, W, U, S c (W{W)~S|UTW W, W, U, V c W{W{U~VTW W, W, U, W c W~(W|UW)TW W, W, U, X c (W~X)|(W{U)TW W, W, V, P c W~W|V{PTW W, W, V, Q c W~(V{QW)TW W, W, V, S c W~V{WSTW W, W, V, U c W{W{V~UTW W, W, W, Q c W~W|W{QTW W, W, W, U c W~(W|UW)TW W, W, X, R c W~W|X{RTW W, W, X, U c (W~X)|(W{U)TW W, X, P, T c W{(X{P)~TTW W, X, P, U c W~(X|P)|UTW W, X, P, V c (W|P)~V{XTW W, X, Q, Q c W~(X|Q){QTW W, X, Q, S c (W|Q)~X{STW W, X, Q, T c W~T{X~QTW W, X, Q, U c WQ{X~UTW W, X, Q, V c W~X|Q~VTW W, X, R, V c (W{X)~R{VTW W, X, R, W c W~W|X{RTW W, X, S, Q c (W|Q)~X{STW W, X, S, T c W~(XS{T)TW W, X, S, U c W{X~U|STW W, X, S, V c W~(X|VS)TW W, X, T, P c W{(X{P)~TTW W, X, T, Q c W~T{X~QTW W, X, T, S c W~(XS{T)TW W, X, T, T c W{X~T{TTW W, X, T, X c (W~X)|(T{X)TW W, X, U, P c W~(X|P)|UTW W, X, U, Q c WQ{X~UTW W, X, U, S c W{X~U|STW W, X, U, W c (W~X)|(U{W)TW W, X, V, P c (W|P)~V{XTW W, X, V, Q c W~X|V~QTW W, X, V, R c (W{X)~R{VTW W, X, V, S c W~(X|VS)TW W, X, V, V c (W~X)|(V{V)TW W, X, W, R c W~W|X{RTW W, X, W, U c (W~X)|(W{U)TW W, X, X, T c (W~X)|(X{T)TW X, O, S, U c (X{O)~U{STW X, O, T, V c (X{O)~V|TTW X, O, U, S c (X{O)~U{STW X, O, V, T c (X{O)~V|TTW X, O, V, V c X{O{V~VTW X, P, Q, U c (X{P)~U|QTW X, P, Q, V c (X|P)~V{QTW X, P, R, U c X~U{P{RTW X, P, S, T c X~(P{T){STW X, P, S, U c X~P~U{STW X, P, S, V c (X~V)|(P{S)TW X, P, T, S c X~(P{T){STW X, P, T, U c X~(P{U)|TTW X, P, T, V c X~P~V|TTW X, P, T, W c (X{P)~T{WTW X, P, U, Q c (X{P)~U|QTW X, P, U, R c X~U{P{RTW X, P, U, S c X~P~U{STW X, P, U, T c X~(P{U)|TTW X, P, U, V c X{(P{U)~VTW X, P, U, W c X{P{U~WTW X, P, V, Q c (X|P)~V{QTW X, P, V, S c (X~V)|(P{S)TW X, P, V, T c X~P~V|TTW X, P, V, U c X{(P{U)~VTW X, P, V, V c X{P~V~VTW X, P, V, W c X{V~(W|P)TW X, P, W, T c (X{P)~T{WTW X, P, W, U c X{P{W~UTW X, P, W, V c X{(W|P)~VTW X, Q, P, U c (X{P)~U|QTW X, Q, P, V c (X|P)~V{QTW X, Q, Q, R c (X~R{Q)~QTW X, Q, Q, U c X~U{Q{QTW X, Q, Q, W c (X|Q)~W{QTW X, Q, R, Q c (X~R{Q)~QTW X, Q, R, S c X~Q~R{STW X, Q, R, T c (X{Q)~T{RTW X, Q, R, U c (X{QR)~UTW X, Q, R, V c (X~V)|(Q{R)TW X, Q, S, R c X~Q~R{STW X, Q, S, S c X~(Q{S){STW X, Q, S, T c (X{S~T)~QTW X, Q, S, U c (X{U)~S|QTW X, Q, S, V c (X~S|V)~QTW X, Q, S, W c X~(W|Q){STW X, Q, T, R c (X{Q)~T{RTW X, Q, T, S c (X{T)~S{QTW X, Q, T, T c X~(Q{T)|TTW X, Q, T, V c X{(Q{T)~VTW X, Q, T, W c X~Q{T~WTW X, Q, T, X c (X|Q)~X|TTW X, Q, U, P c (X{P)~U|QTW X, Q, U, Q c X~U{Q{QTW X, Q, U, R c (X{QR)~UTW X, Q, U, S c (X{U)~S|QTW X, Q, U, U c X~U|Q{UTW X, Q, U, W c (X{Q)~U|WTW X, Q, V, P c (X|P)~V{QTW X, Q, V, R c (X~V)|(Q{R)TW X, Q, V, S c (X~S|V)~QTW X, Q, V, T c X{(Q{T)~VTW X, Q, V, V c X~V{Q|VTW X, Q, V, W c X~W|Q~VTW X, Q, V, X c (X|Q)~V{XTW X, Q, W, Q c (X|Q)~W{QTW X, Q, W, S c X~(W|Q){STW X, Q, W, T c X~Q{W~TTW X, Q, W, U c (X{Q)~U|WTW X, Q, W, V c X~W|Q~VTW X, Q, X, T c (X|Q)~X|TTW X, Q, X, V c (X|Q)~V{XTW X, R, P, U c X~U{R{PTW X, R, Q, Q c (X~R{Q)~QTW X, R, Q, S c X~R~Q{STW X, R, Q, T c (X{R)~T|QTW X, R, Q, U c (X{QR)~UTW X, R, Q, V c (X~V)|(R{Q)TW X, R, R, S c X~(R{R){STW X, R, S, Q c X~R~Q{STW X, R, S, R c X~(R{R){STW X, R, S, T c X~(R{S)|TTW X, R, S, V c X{(R{S)~VTW X, R, S, X c (X|R)~X{STW X, R, T, Q c (X{R)~T|QTW X, R, T, S c X~(R{S)|TTW X, R, U, P c X~U{R{PTW X, R, U, Q c (X{QR)~UTW X, R, U, V c X~U|R{VTW X, R, V, Q c (X~V)|(R{Q)TW X, R, V, S c X{(R{S)~VTW X, R, V, U c X~U|R{VTW X, R, V, W c X~V{R|WTW X, R, W, V c (X{W)~R{VTW X, R, W, W c R{W~W|XTW X, R, X, S c (X|R)~X{STW X, S, O, U c (X{O)~U{STW X, S, P, T c X~(P{T){STW X, S, P, U c X~P~U{STW X, S, P, V c (X~V)|(S{P)TW X, S, Q, R c X~Q~R{STW X, S, Q, S c X~(S{Q){STW X, S, Q, T c (X{S~T)~QTW X, S, Q, U c (X{U)~S|QTW X, S, Q, V c (X~S|V)~QTW X, S, Q, W c X~(W|Q){STW X, S, R, Q c X~R~Q{STW X, S, R, R c X~(R{R){STW X, S, R, T c X~(S{R)|TTW X, S, R, V c X{(S{R)~VTW X, S, R, X c (X|R)~X{STW X, S, S, Q c X~(S{Q){STW X, S, S, U c (X{S)~S{UTW X, S, T, P c X~(T{P){STW X, S, T, Q c (X{S~T)~QTW X, S, T, R c X~(S{R)|TTW X, S, T, V c (X{S)~T|VTW X, S, T, W c (XS{T)~WTW X, S, T, X c X{S{T~XTW X, S, U, O c X~U{S{OTW X, S, U, P c X~U{S~PTW X, S, U, Q c (X{U)~S|QTW X, S, U, S c (X{S)~S{UTW X, S, U, U c (X{SU)~UTW X, S, U, V c (X{V)~S|UTW X, S, U, W c X~U|S{WTW X, S, U, X c X~(SX{U)TW X, S, V, P c (X~V)|(S{P)TW X, S, V, Q c (X~S|V)~QTW X, S, V, R c X{(S{R)~VTW X, S, V, T c (X{S)~T|VTW X, S, V, U c (X{V)~S|UTW X, S, V, W c (X|VS)~WTW X, S, V, X c X~V{S|XTW X, S, W, Q c X~(W|Q){STW X, S, W, T c (XS{T)~WTW X, S, W, U c X~U|S{WTW X, S, W, V c (X|VS)~WTW X, S, X, R c (X{X)~R{STW X, S, X, T c X{S{X~TTW X, S, X, U c X~(SX{U)TW X, S, X, V c X~V{S|XTW X, T, O, V c (X{O)~V|TTW X, T, P, S c X~(T{P){STW X, T, P, U c X~(P{U)|TTW X, T, P, V c X~P~V|TTW X, T, P, W c (X{P)~T{WTW X, T, Q, R c (X{Q)~T{RTW X, T, Q, S c (X{T)~S{QTW X, T, Q, T c X~(T{Q)|TTW X, T, Q, V c X{(T{Q)~VTW X, T, Q, W c X~Q{T~WTW X, T, Q, X c (X|Q)~X|TTW X, T, R, Q c (X{R)~T|QTW X, T, R, S c X~(R{S)|TTW X, T, S, P c X~(T{P){STW X, T, S, Q c (X{T)~S{QTW X, T, S, R c X~(S{R)|TTW X, T, S, V c (X{S)~T|VTW X, T, S, W c (XS{T)~WTW X, T, S, X c X~T{S{XTW X, T, T, Q c X~(T{Q)|TTW X, T, T, W c X~T{T{WTW X, T, U, P c X~U{T|PTW X, T, U, V c X~T{U{VTW X, T, U, X c X|T{U~XTW X, T, V, O c X~V|T{OTW X, T, V, P c X~V|T~PTW X, T, V, Q c X{(T{Q)~VTW X, T, V, S c (X{S)~T|VTW X, T, V, U c X~T{V{UTW X, T, V, V c (X|TV)~VTW X, T, V, X c X~(V|TX)TW X, T, W, P c X~(W|P)|TTW X, T, W, Q c X~Q{T~WTW X, T, W, S c (XS{T)~WTW X, T, W, T c X~T{W{TTW X, T, W, X c X{T~W{XTW X, T, X, Q c X~(X|Q)|TTW X, T, X, S c X{T~X{STW X, T, X, U c X|T{X~UTW X, T, X, V c X~(V|TX)TW X, T, X, W c X{T~W{XTW X, U, O, S c X~U{O{STW X, U, P, Q c (X{P)~U|QTW X, U, P, R c X~U{P{RTW X, U, P, S c X~U{P~STW X, U, P, T c X~(U{P)|TTW X, U, P, V c X{(U{P)~VTW X, U, P, W c X{U~W{PTW X, U, Q, P c (X{P)~U|QTW X, U, Q, Q c X~U{Q{QTW X, U, Q, R c (X{QR)~UTW X, U, Q, S c (X{U)~S|QTW X, U, Q, U c X~U|Q{UTW X, U, Q, W c X~U{WQTW X, U, R, P c X~U{R{PTW X, U, R, Q c (X{QR)~UTW X, U, R, V c X~U|R{VTW X, U, S, O c X~U{S{OTW X, U, S, P c X~U{S~PTW X, U, S, Q c (X{U)~S|QTW X, U, S, S c (X{S)~S{UTW X, U, S, U c (X{SU)~UTW X, U, S, V c (X{V)~S|UTW X, U, S, W c X~U|S{WTW X, U, S, X c X~(U{SX)TW X, U, T, P c X~U{T|PTW X, U, T, V c X~T{U{VTW X, U, T, X c X~U|T{XTW X, U, U, Q c X~U{U|QTW X, U, U, S c (X{SU)~UTW X, U, U, X c (X{UX)~UTW X, U, V, P c X{(U{P)~VTW X, U, V, R c X~U{V|RTW X, U, V, S c (X{V)~S|UTW X, U, V, T c X~T{U{VTW X, U, V, V c X{U~V{VTW X, U, W, P c X{U~W{PTW X, U, W, Q c X~U{WQTW X, U, W, S c X~U{W|STW X, U, W, W c (X~W)|(U{W)TW X, U, X, S c X~(U{SX)TW X, U, X, T c X{U~X|TTW X, U, X, U c (X{UX)~UTW X, V, O, T c X~V{O|TTW X, V, O, V c X{(V{O)~VTW X, V, P, Q c (X|P)~V{QTW X, V, P, S c (X~V)|(P{S)TW X, V, P, T c X~V|P~TTW X, V, P, U c X{V~(P{U)TW X, V, P, V c X{V~P~VTW X, V, P, W c X{V~(W|P)TW X, V, Q, P c (X|P)~V{QTW X, V, Q, R c (X~V)|(Q{R)TW X, V, Q, S c (X~S|V)~QTW X, V, Q, T c X{V~(Q{T)TW X, V, Q, V c X~V{Q|VTW X, V, Q, W c X~W|V~QTW X, V, Q, X c X{V~(X|Q)TW X, V, R, Q c (X~V)|(R{Q)TW X, V, R, S c X{V~(R{S)TW X, V, R, U c X~U{V|RTW X, V, R, W c X~V{R|WTW X, V, S, P c (X~V)|(S{P)TW X, V, S, Q c (X~S|V)~QTW X, V, S, R c X{V~(S{R)TW X, V, S, T c (X{S)~T|VTW X, V, S, U c (X{V)~S|UTW X, V, S, W c (X|VS)~WTW X, V, S, X c X~V{S|XTW X, V, T, O c X~V|T{OTW X, V, T, P c X~V|T~PTW X, V, T, Q c X{V~(T{Q)TW X, V, T, S c (X{S)~T|VTW X, V, T, U c X~T{V{UTW X, V, T, V c (X|TV)~VTW X, V, T, X c X~(V|TX)TW X, V, U, P c X{V~(U{P)TW X, V, U, R c X~U{V|RTW X, V, U, S c (X{V)~S|UTW X, V, U, T c X~T{V{UTW X, V, U, V c X{V{U~VTW X, V, V, O c X{V~V{OTW X, V, V, P c X{V~V~PTW X, V, V, Q c X~V|V{QTW X, V, V, T c (X|TV)~VTW X, V, V, U c X{V{V~UTW X, V, V, V c (XV{V)~VTW X, V, V, W c X|V{V~WTW X, V, W, P c X{V~(W|P)TW X, V, W, Q c X~W|V~QTW X, V, W, R c X~V|W{RTW X, V, W, S c (X|VS)~WTW X, V, W, V c X{V~W|VTW X, V, X, Q c X{V~(X|Q)TW X, V, X, S c X~V|X{STW X, V, X, T c X~(V|TX)TW X, W, P, T c X~(W|P)|TTW X, W, P, U c X{W~U{PTW X, W, P, V c X{(W|P)~VTW X, W, Q, Q c (X|Q)~W{QTW X, W, Q, S c X~(W|Q){STW X, W, Q, T c X~Q{W~TTW X, W, Q, U c (X{Q)~U|WTW X, W, Q, V c X~W|Q~VTW X, W, R, V c (X{W)~R{VTW X, W, R, W c W~W|X{RTW X, W, S, Q c X~(W|Q){STW X, W, S, T c (XS{T)~WTW X, W, S, U c X~U{W|STW X, W, S, V c (X|VS)~WTW X, W, T, P c X~(W|P)|TTW X, W, T, Q c X~Q{W~TTW X, W, T, S c (XS{T)~WTW X, W, T, T c X~T{W{TTW X, W, T, X c X{W~T{XTW X, W, U, P c X{W~U{PTW X, W, U, Q c X~U{WQTW X, W, U, S c X~U{W|STW X, W, U, W c (X~W)|(U{W)TW X, W, V, P c X{(W|P)~VTW X, W, V, Q c X~W|V~QTW X, W, V, R c (X{W)~R{VTW X, W, V, S c (X|VS)~WTW X, W, V, V c X{W~V|VTW X, W, W, R c W~W|X{RTW X, W, W, U c (X~W)|(W{U)TW X, W, X, T c (X~W)|(X{T)TW X, X, Q, T c X~(X|Q)|TTW X, X, Q, V c X{(X|Q)~VTW X, X, R, S c (X{X)~R{STW X, X, S, R c (X{X)~R{STW X, X, S, T c X{X~T{STW X, X, S, U c X~(SX{U)TW X, X, S, V c X~V|X{STW X, X, T, Q c X~(X|Q)|TTW X, X, T, S c X{X~T{STW X, X, T, U c X{X~U|TTW X, X, T, V c X~(V|TX)TW X, X, T, W c X{X{T~WTW X, X, U, S c X~(U{SX)TW X, X, U, T c X{X~U|TTW X, X, U, U c (X{UX)~UTW X, X, V, Q c X{(X|Q)~VTW X, X, V, S c X~V|X{STW X, X, V, T c X~(V|TX)TW X, X, W, T c X{X{W~TTW