O, R, V, W c O{R{V~WTX O, R, W, V c O{R{W~VTX O, S, V, X c O{V~X|STX O, S, X, V c O{X~V|STX O, T, U, X c O{T{U~XTX O, T, W, W c O{W~W|TTX O, T, X, U c O{T{X~UTX O, U, T, X c O{U~X{TTX O, U, X, T c O{U~X{TTX O, V, R, W c O{V~W{RTX O, V, S, X c O{V~X|STX O, V, W, R c O{V~W{RTX O, V, X, S c O{V~X|STX O, W, R, V c O{W~V{RTX O, W, T, W c O{W~W|TTX O, W, V, R c O{W~V{RTX O, W, W, T c O{W~W|TTX O, X, S, V c O{X~V|STX O, X, T, U c O{X~U{TTX O, X, U, T c O{X~U{TTX O, X, V, S c O{X~V|STX P, P, U, X c (P{X)~U|PTX P, P, X, U c (P{X)~U|PTX P, Q, T, U c Q~T~U|PTX P, Q, U, T c Q~U~T|PTX P, Q, U, W c (Q{W)~U|PTX P, Q, V, W c P{Q{V~WTX P, Q, W, U c (Q{W)~U|PTX P, Q, W, V c P{Q{W~VTX P, R, S, T c R~S~T|PTX P, R, T, S c R~T~S|PTX P, R, T, X c (R{X)~T|PTX P, R, U, V c (R{V)~U|PTX P, R, U, W c (P{U)~W{RTX P, R, V, U c (R{V)~U|PTX P, R, V, V c (P{V)~V{RTX P, R, V, W c P~R{V~WTX P, R, V, X c R{V~(X|P)TX P, R, W, U c (P{U)~W{RTX P, R, W, V c P~R{W~VTX P, R, W, W c R{(W|P)~WTX P, R, X, T c (R{X)~T|PTX P, R, X, V c R{(X|P)~VTX P, S, R, T c S~R~T|PTX P, S, T, R c S~T~R|PTX P, S, T, W c (S{W)~T|PTX P, S, U, U c (S{U)~U|PTX P, S, U, X c P{S{U~XTX P, S, V, W c (P{W)~V|STX P, S, V, X c P~V~X|STX P, S, W, T c (S{W)~T|PTX P, S, W, V c (P{W)~V|STX P, S, W, W c (W~W)|(P{S)TX P, S, W, X c (W|P)~X|STX P, S, X, U c P{S{X~UTX P, S, X, V c P~X~V|STX P, S, X, W c X~(W|P)|STX P, T, Q, U c T~Q~U|PTX P, T, R, S c T~R~S|PTX P, T, R, X c T~(R{X)|PTX P, T, S, R c T~S~R|PTX P, T, S, W c T~(S{W)|PTX P, T, T, U c (T{T)~U|PTX P, T, T, V c T~(T{V)|PTX P, T, T, X c (P{T)~X{TTX P, T, U, Q c T~U~Q|PTX P, T, U, T c (T{T)~U|PTX P, T, U, U c T~(U{U)|PTX P, T, U, W c (P{W)~U{TTX P, T, U, X c P~T{U~XTX P, T, V, T c (T{V)~T|PTX P, T, V, W c (P{V)~W|TTX P, T, V, X c P{V~X|TTX P, T, W, S c T~(W{S)|PTX P, T, W, U c (P{W)~U{TTX P, T, W, V c (P{V)~W|TTX P, T, W, W c P~W~W|TTX P, T, W, X c W~(X|P)|TTX P, T, X, R c T~(X{R)|PTX P, T, X, T c (P{T)~X{TTX P, T, X, U c P~T{X~UTX P, T, X, V c P{X~V|TTX P, T, X, W c (X|P)~W|TTX P, T, X, X c (P{X)~T{XTX P, U, P, X c (P{X)~U|PTX P, U, Q, T c U~Q~T|PTX P, U, Q, W c U~(Q{W)|PTX P, U, R, V c U~(R{V)|PTX P, U, R, W c (P{U)~W{RTX P, U, S, U c (U{S)~U|PTX P, U, S, X c P{U~X{STX P, U, T, Q c U~T~Q|PTX P, U, T, T c U~(T{T)|PTX P, U, T, U c (U{U)~T|PTX P, U, T, W c (P{W)~U{TTX P, U, T, X c P~U~X{TTX P, U, U, S c U~(U{S)|PTX P, U, U, T c (U{U)~T|PTX P, U, U, X c U|P{U~XTX P, U, V, R c U~(V{R)|PTX P, U, W, Q c U~(W{Q)|PTX P, U, W, R c (P{U)~W{RTX P, U, W, T c (P{W)~U{TTX P, U, W, W c P{W~W|UTX P, U, X, P c (P{X)~U|PTX P, U, X, S c P{U~X{STX P, U, X, T c P~U~X{TTX P, U, X, U c U|P{X~UTX P, V, Q, W c P{V~W{QTX P, V, R, U c (V{R)~U|PTX P, V, R, V c (P{V)~V{RTX P, V, R, W c P~V~W{RTX P, V, R, X c (V~X)|(P{R)TX P, V, S, W c (P{W)~V|STX P, V, S, X c P~V~X|STX P, V, T, T c (V{T)~T|PTX P, V, T, W c (P{V)~W|TTX P, V, T, X c P{V~X|TTX P, V, U, R c (V{R)~U|PTX P, V, V, R c (P{V)~V{RTX P, V, V, X c P{V~V{XTX P, V, W, Q c P{V~W{QTX P, V, W, R c P~V~W{RTX P, V, W, S c (P{W)~V|STX P, V, W, T c (P{V)~W|TTX P, V, X, R c (V~X)|(P{R)TX P, V, X, S c P~V~X|STX P, V, X, T c P{V~X|TTX P, V, X, V c P{V~V{XTX P, W, Q, U c (W{Q)~U|PTX P, W, Q, V c P{W~V{QTX P, W, R, U c (P{U)~W{RTX P, W, R, V c P~W~V{RTX P, W, R, W c (W|P)~W{RTX P, W, S, T c (W{S)~T|PTX P, W, S, V c (P{W)~V|STX P, W, S, W c (W~W)|(P{S)TX P, W, S, X c (W|P)~X|STX P, W, T, S c (W{S)~T|PTX P, W, T, U c (P{W)~U{TTX P, W, T, V c (P{V)~W|TTX P, W, T, W c P~W~W|TTX P, W, T, X c W~(X|P)|TTX P, W, U, Q c (W{Q)~U|PTX P, W, U, R c (P{U)~W{RTX P, W, U, T c (P{W)~U{TTX P, W, U, W c P{W~W|UTX P, W, V, Q c P{W~V{QTX P, W, V, R c P~W~V{RTX P, W, V, S c (P{W)~V|STX P, W, V, T c (P{V)~W|TTX P, W, W, R c (W|P)~W{RTX P, W, W, S c (W~W)|(P{S)TX P, W, W, T c P~W~W|TTX P, W, W, U c P{W~W|UTX P, W, X, S c (W|P)~X|STX P, W, X, T c W~(X|P)|TTX P, X, P, U c (P{X)~U|PTX P, X, R, T c (X{R)~T|PTX P, X, R, V c (X|P)~V{RTX P, X, S, U c P{X~U{STX P, X, S, V c P~X~V|STX P, X, S, W c X~(W|P)|STX P, X, T, R c (X{R)~T|PTX P, X, T, T c (P{T)~X{TTX P, X, T, U c P~X~U{TTX P, X, T, V c P{X~V|TTX P, X, T, W c (X|P)~W|TTX P, X, T, X c (P{X)~T{XTX P, X, U, P c (P{X)~U|PTX P, X, U, S c P{X~U{STX P, X, U, T c P~X~U{TTX P, X, U, U c X~U|P{UTX P, X, V, R c (X|P)~V{RTX P, X, V, S c P~X~V|STX P, X, V, T c P{X~V|TTX P, X, V, V c P{X{V~VTX P, X, W, S c X~(W|P)|STX P, X, W, T c (X|P)~W|TTX P, X, X, T c (P{X)~T{XTX Q, P, T, U c Q~T~U|PTX Q, P, U, T c Q~U~T|PTX Q, P, U, W c (Q{W)~U|PTX Q, P, V, W c Q{P{V~WTX Q, P, W, U c (Q{W)~U|PTX Q, P, W, V c Q{P{W~VTX Q, Q, V, X c (V~X)|(Q{Q)TX Q, Q, X, V c (X~V)|(Q{Q)TX Q, R, S, V c Q~S~V{RTX Q, R, T, W c (Q{T)~W{RTX Q, R, T, X c Q~R~X{TTX Q, R, U, V c (Q{U)~V{RTX Q, R, U, X c Q{R{U~XTX Q, R, V, S c Q~V~S{RTX Q, R, V, U c (Q{U)~V{RTX Q, R, W, T c (Q{T)~W{RTX Q, R, W, W c (W~W)|(Q{R)TX Q, R, W, X c R{W~(X|Q)TX Q, R, X, T c Q~R~X{TTX Q, R, X, U c Q{R{X~UTX Q, R, X, W c R{(X|Q)~WTX Q, S, R, V c Q~S~V{RTX Q, S, T, W c Q~S~W|TTX Q, S, T, X c (Q{S)~X{TTX Q, S, V, R c Q~S~V{RTX Q, S, V, V c (Q{V)~V|STX Q, S, W, T c Q~S~W|TTX Q, S, X, T c (Q{S)~X{TTX Q, S, X, X c (X|Q)~X|STX Q, T, P, U c Q~T~U|PTX Q, T, R, W c (Q{T)~W{RTX Q, T, R, X c Q~R~X{TTX Q, T, S, W c Q~S~W|TTX Q, T, S, X c (Q{T)~X|STX Q, T, T, X c Q~T~T{XTX Q, T, U, P c Q~T~U|PTX Q, T, U, V c (Q{V)~U{TTX Q, T, U, W c (Q{U)~W|TTX Q, T, V, U c (Q{V)~U{TTX Q, T, V, V c Q~T{V~VTX Q, T, V, W c T|Q{V~WTX Q, T, V, X c Q~V{T~XTX Q, T, W, R c (Q{T)~W{RTX Q, T, W, S c Q~W~S|TTX Q, T, W, U c (Q{U)~W|TTX Q, T, W, V c T|Q{W~VTX Q, T, W, X c (Q{W)~T{XTX Q, T, X, R c Q~X~R{TTX Q, T, X, S c (Q{T)~X|STX Q, T, X, T c Q~T~T{XTX Q, T, X, V c Q~V{T~XTX Q, T, X, W c (Q{W)~T{XTX Q, U, P, T c Q~U~T|PTX Q, U, P, W c (Q{W)~U|PTX Q, U, R, V c (Q{U)~V{RTX Q, U, R, X c Q{U~X{RTX Q, U, T, P c Q~U~T|PTX Q, U, T, V c (Q{V)~U{TTX Q, U, T, W c (Q{U)~W|TTX Q, U, V, R c (Q{U)~V{RTX Q, U, V, T c (Q{V)~U{TTX Q, U, V, W c UQ{V~WTX Q, U, V, X c Q{V~X|UTX Q, U, W, P c (Q{W)~U|PTX Q, U, W, T c (Q{U)~W|TTX Q, U, W, V c UQ{W~VTX Q, U, W, X c Q{U~W{XTX Q, U, X, R c Q{U~X{RTX Q, U, X, V c (Q{X)~U|VTX Q, U, X, W c Q{U~W{XTX Q, V, P, W c Q{V~W{PTX Q, V, Q, X c (V~X)|(Q{Q)TX Q, V, R, S c Q~V~S{RTX Q, V, R, U c (Q{U)~V{RTX Q, V, S, R c Q~V~S{RTX Q, V, S, V c (Q{V)~V|STX Q, V, T, U c (Q{V)~U{TTX Q, V, T, V c Q~T{V~VTX Q, V, T, W c V~W|Q{TTX Q, V, T, X c Q~V{T~XTX Q, V, U, R c (Q{U)~V{RTX Q, V, U, T c (Q{V)~U{TTX Q, V, U, W c V~W{UQTX Q, V, U, X c Q{V~X|UTX Q, V, V, S c (Q{V)~V|STX Q, V, V, T c Q~T{V~VTX Q, V, V, W c Q{V~V{WTX Q, V, W, P c Q{V~W{PTX Q, V, W, T c V~W|Q{TTX Q, V, W, U c V~W{UQTX Q, V, W, V c Q{V~V{WTX Q, V, W, W c Q{W~W|VTX Q, V, W, X c V~X|WQTX Q, V, X, Q c (V~X)|(Q{Q)TX Q, V, X, T c Q~V{X~TTX Q, V, X, U c Q{V~X|UTX Q, V, X, W c V~X|WQTX Q, W, P, U c (Q{W)~U|PTX Q, W, P, V c Q{W~V{PTX Q, W, R, T c (Q{T)~W{RTX Q, W, R, W c (W~W)|(Q{R)TX Q, W, R, X c W~(X|Q){RTX Q, W, S, T c Q~W~S|TTX Q, W, T, R c (Q{T)~W{RTX Q, W, T, S c Q~W~S|TTX Q, W, T, U c (Q{U)~W|TTX Q, W, T, V c W~V|Q{TTX Q, W, T, X c (Q{W)~T{XTX Q, W, U, P c (Q{W)~U|PTX Q, W, U, T c (Q{U)~W|TTX Q, W, U, V c W~V{UQTX Q, W, U, X c Q{W~U{XTX Q, W, V, P c Q{W~V{PTX Q, W, V, T c W~V|Q{TTX Q, W, V, U c W~V{UQTX Q, W, V, V c Q{W{V~VTX Q, W, V, W c Q{W~W|VTX Q, W, V, X c V~X|WQTX Q, W, W, R c (W~W)|(Q{R)TX Q, W, W, V c Q{W~W|VTX Q, W, X, R c W~(X|Q){RTX Q, W, X, T c (Q{W)~T{XTX Q, W, X, U c Q{W~U{XTX Q, W, X, V c X~V|WQTX Q, X, Q, V c (X~V)|(Q{Q)TX Q, X, R, T c Q~X~R{TTX Q, X, R, U c Q{X~U{RTX Q, X, R, W c (X|Q)~W{RTX Q, X, S, T c (Q{X)~T{STX Q, X, S, X c (X|Q)~X|STX Q, X, T, R c Q~X~R{TTX Q, X, T, S c (Q{X)~T{STX Q, X, T, T c Q~T~T{XTX Q, X, T, V c Q~V{X~TTX Q, X, T, W c (Q{W)~T{XTX Q, X, U, R c Q{X~U{RTX Q, X, U, V c (Q{X)~U|VTX Q, X, U, W c Q{X{U~WTX Q, X, V, Q c (X~V)|(Q{Q)TX Q, X, V, T c Q~V{X~TTX Q, X, V, U c Q{X~V|UTX Q, X, V, W c X~V|WQTX Q, X, W, R c (X|Q)~W{RTX Q, X, W, T c (Q{W)~T{XTX Q, X, W, U c Q{X{W~UTX Q, X, W, V c X~V|WQTX Q, X, X, S c (X|Q)~X|STX R, O, V, W c R{O{V~WTX R, O, W, V c R{O{W~VTX R, P, S, T c R~S~T|PTX R, P, T, S c R~T~S|PTX R, P, T, X c (R{X)~T|PTX R, P, U, V c (R{V)~U|PTX R, P, U, W c R{(P{U)~WTX R, P, V, U c (R{V)~U|PTX R, P, V, V c R{(P{V)~VTX R, P, V, W c R{P~V~WTX R, P, V, X c R{V~(X|P)TX R, P, W, U c R{(P{U)~WTX R, P, W, V c R{P~W~VTX R, P, W, W c R{(W|P)~WTX R, P, X, T c (R{X)~T|PTX R, P, X, V c R{(X|P)~VTX R, Q, S, V c R{Q~S~VTX R, Q, T, W c R{(Q{T)~WTX R, Q, T, X c R~Q~X{TTX R, Q, U, V c R{(Q{U)~VTX R, Q, U, X c R{Q{U~XTX R, Q, V, S c R{Q~V~STX R, Q, V, U c R{(Q{U)~VTX R, Q, W, T c R{(Q{T)~WTX R, Q, W, W c (W~W)|(R{Q)TX R, Q, W, X c R{W~(X|Q)TX R, Q, X, T c R~Q~X{TTX R, Q, X, U c R{Q{X~UTX R, Q, X, W c R{(X|Q)~WTX R, R, S, V c R~R~V|STX R, R, S, W c R{(R{S)~WTX R, R, T, U c R~R~U{TTX R, R, T, V c R{(R{T)~VTX R, R, T, X c (R{R)~X{TTX R, R, U, T c R~R~U{TTX R, R, V, S c R~R~V|STX R, R, V, T c R{(R{T)~VTX R, R, W, S c R{(R{S)~WTX R, R, X, T c (R{R)~X{TTX R, S, P, T c R~S~T|PTX R, S, Q, V c R{S~Q~VTX R, S, R, V c R~R~V|STX R, S, R, W c R{(S{R)~WTX R, S, S, V c R{(S{S)~VTX R, S, S, X c (R{S)~X|STX R, S, T, P c R~S~T|PTX R, S, T, W c (R{W)~T{STX R, S, T, X c R{S~(T{X)TX R, S, U, V c (R{U)~V|STX R, S, U, W c R{S~(U{W)TX R, S, V, Q c R{S~V~QTX R, S, V, R c R~V~R|STX R, S, V, S c R{(S{S)~VTX R, S, V, U c (R{U)~V|STX R, S, V, V c R{S~(V{V)TX R, S, W, R c (R{S)~W{RTX R, S, W, T c (R{W)~T{STX R, S, W, U c R{S~(W{U)TX R, S, W, X c R~X{S~WTX R, S, X, S c (R{S)~X|STX R, S, X, T c R{S~(X{T)TX R, S, X, W c R~X{S~WTX R, T, P, S c R~T~S|PTX R, T, P, X c (R{X)~T|PTX R, T, Q, W c R{(T{Q)~WTX R, T, Q, X c R~Q~X{TTX R, T, R, U c R~R~U{TTX R, T, R, V c R{(T{R)~VTX R, T, R, X c (R{R)~X{TTX R, T, S, P c R~T~S|PTX R, T, S, W c (R{W)~T{STX R, T, S, X c R{(T{X)~STX R, T, T, W c (R{T)~W|TTX R, T, U, R c R~U~R{TTX R, T, U, U c (R{U)~U{TTX R, T, V, R c (R{T)~V{RTX R, T, V, W c R~W{T~VTX R, T, V, X c (R{V)~T{XTX R, T, W, Q c R{(T{Q)~WTX R, T, W, S c (R{W)~T{STX R, T, W, T c (R{T)~W|TTX R, T, W, V c R~W{T~VTX R, T, X, P c (R{X)~T|PTX R, T, X, Q c R~X~Q{TTX R, T, X, R c (R{R)~X{TTX R, T, X, S c R{(T{X)~STX R, T, X, V c (R{V)~T{XTX R, T, X, X c R~(X{X){TTX R, U, P, V c (R{V)~U|PTX R, U, P, W c R{(U{P)~WTX R, U, Q, V c R{(U{Q)~VTX R, U, Q, X c R{U~X{QTX R, U, R, T c R~U~R{TTX R, U, S, V c (R{U)~V|STX R, U, S, W c R{(U{W)~STX R, U, T, R c R~U~R{TTX R, U, T, U c (R{U)~U{TTX R, U, U, T c (R{U)~U{TTX R, U, V, P c (R{V)~U|PTX R, U, V, Q c R{(U{Q)~VTX R, U, V, S c (R{U)~V|STX R, U, V, W c (R{W)~U|VTX R, U, W, P c R{(U{P)~WTX R, U, W, S c R{(U{W)~STX R, U, W, V c (R{W)~U|VTX R, U, W, W c R{U~W{WTX R, U, W, X c U~X|R{WTX R, U, X, Q c R{U~X{QTX R, U, X, W c U~X|R{WTX R, V, O, W c R{(V{O)~WTX R, V, P, U c (R{V)~U|PTX R, V, P, V c R{(V{P)~VTX R, V, P, W c R{V~P~WTX R, V, P, X c R{V~(X|P)TX R, V, Q, S c R{V~Q~STX R, V, Q, U c R{V~(Q{U)TX R, V, R, S c R~V~R|STX R, V, R, T c R{V~(R{T)TX R, V, S, Q c R{V~S~QTX R, V, S, R c R~V~R|STX R, V, S, S c R{V~(S{S)TX R, V, S, U c (R{U)~V|STX R, V, S, V c R{(V{V)~STX R, V, T, R c R{V~(T{R)TX R, V, T, W c R~W{V~TTX R, V, T, X c (R{V)~T{XTX R, V, U, P c (R{V)~U|PTX R, V, U, Q c R{V~(U{Q)TX R, V, U, S c (R{U)~V|STX R, V, U, W c (R{W)~U|VTX R, V, V, P c R{V~(V{P)TX R, V, V, S c R{(V{V)~STX R, V, V, V c R{V{V~VTX R, V, V, W c (RV{W)~VTX R, V, V, X c R{V~X|VTX R, V, W, O c R{V~W{OTX R, V, W, P c R{V~W~PTX R, V, W, T c R~W{V~TTX R, V, W, U c (R{W)~U|VTX R, V, W, V c (RV{W)~VTX R, V, W, W c (RW{V)~WTX R, V, W, X c V~W{XRTX R, V, X, P c R{V~(X|P)TX R, V, X, T c (R{V)~T{XTX R, V, X, V c R{V~X|VTX R, V, X, W c V~W{XRTX R, W, O, V c R{(W{O)~VTX R, W, P, U c R{W~(P{U)TX R, W, P, V c R{W~P~VTX R, W, P, W c R{(W|P)~WTX R, W, Q, T c R{W~(Q{T)TX R, W, Q, W c (W~W)|(R{Q)TX R, W, Q, X c R{W~(X|Q)TX R, W, R, S c R{W~(R{S)TX R, W, S, R c R{W~(S{R)TX R, W, S, T c (R{W)~T{STX R, W, S, U c R{(W{U)~STX R, W, S, X c R~X{W~STX R, W, T, Q c R{W~(T{Q)TX R, W, T, S c (R{W)~T{STX R, W, T, T c (R{T)~W|TTX R, W, T, V c R~W{T~VTX R, W, U, P c R{W~(U{P)TX R, W, U, S c R{(W{U)~STX R, W, U, V c (R{W)~U|VTX R, W, U, W c R{W{U~WTX R, W, U, X c W|R{U~XTX R, W, V, O c R{W~V{OTX R, W, V, P c R{W~V~PTX R, W, V, T c R~W{V~TTX R, W, V, U c (R{W)~U|VTX R, W, V, V c (RV{W)~VTX R, W, V, W c (RW{V)~WTX R, W, V, X c W~V{XRTX R, W, W, P c R{W~(W|P)TX R, W, W, Q c (W~W)|(R{Q)TX R, W, W, U c R{W{W~UTX R, W, W, V c (RW{V)~WTX R, W, W, W c R{W~W|WTX R, W, W, X c R~(W{X){WTX R, W, X, Q c R{W~(X|Q)TX R, W, X, S c R~X{W~STX R, W, X, U c W|R{X~UTX R, W, X, V c W~V{XRTX R, W, X, W c R~(W{X){WTX R, X, P, T c (R{X)~T|PTX R, X, P, V c R{(X|P)~VTX R, X, Q, T c R~X~Q{TTX R, X, Q, U c R{X~U{QTX R, X, Q, W c R{(X|Q)~WTX R, X, R, T c (R{R)~X{TTX R, X, S, S c (R{S)~X|STX R, X, S, T c R{(X{T)~STX R, X, S, W c R~X{S~WTX R, X, T, P c (R{X)~T|PTX R, X, T, Q c R~X~Q{TTX R, X, T, R c (R{R)~X{TTX R, X, T, S c R{(X{T)~STX R, X, T, V c (R{V)~T{XTX R, X, T, X c R~(X{X){TTX R, X, U, Q c R{X~U{QTX R, X, U, W c X~U|R{WTX R, X, V, P c R{(X|P)~VTX R, X, V, T c (R{V)~T{XTX R, X, V, V c R{X~V|VTX R, X, V, W c XR{V~WTX R, X, W, Q c R{(X|Q)~WTX R, X, W, S c R~X{W~STX R, X, W, U c X~U|R{WTX R, X, W, V c XR{W~VTX R, X, W, W c R~(X{W){WTX R, X, X, T c R~(X{X){TTX S, O, V, X c O{V~X|STX S, O, X, V c O{X~V|STX S, P, R, T c S~R~T|PTX S, P, T, R c S~T~R|PTX S, P, T, W c (S{W)~T|PTX S, P, U, U c (S{U)~U|PTX S, P, U, X c S{P{U~XTX S, P, V, W c S|P{V~WTX S, P, V, X c P~V~X|STX S, P, W, T c (S{W)~T|PTX S, P, W, V c S|P{W~VTX S, P, W, W c (W~W)|(S{P)TX S, P, W, X c (W|P)~X|STX S, P, X, U c S{P{X~UTX S, P, X, V c P~X~V|STX S, P, X, W c X~(W|P)|STX S, Q, R, V c S~Q~V{RTX S, Q, T, W c S~Q~W|TTX S, Q, T, X c S{(Q{X)~TTX S, Q, V, R c S~Q~V{RTX S, Q, V, V c (Q{V)~V|STX S, Q, W, T c S~Q~W|TTX S, Q, X, T c S{(Q{X)~TTX S, Q, X, X c (X|Q)~X|STX S, R, P, T c S~R~T|PTX S, R, Q, V c S~Q~V{RTX S, R, R, V c R~R~V|STX S, R, R, W c (S{R)~W{RTX S, R, S, V c (S{S)~V{RTX S, R, S, X c (S{R)~X|STX S, R, T, P c S~R~T|PTX S, R, T, W c S{(R{W)~TTX S, R, T, X c S~(T{X){RTX S, R, U, V c (R{U)~V|STX S, R, U, W c S~(U{W){RTX S, R, V, Q c S~V~Q{RTX S, R, V, R c R~V~R|STX S, R, V, S c (S{S)~V{RTX S, R, V, U c (R{U)~V|STX S, R, V, V c S~(V{V){RTX S, R, W, R c (S{R)~W{RTX S, R, W, T c S{(R{W)~TTX S, R, W, U c S~(W{U){RTX S, R, W, X c S~W{R~XTX S, R, X, S c (S{R)~X|STX S, R, X, T c S~(X{T){RTX S, R, X, W c S~W{R~XTX S, S, R, V c (S{S)~V{RTX S, S, R, X c (S{R)~X|STX S, S, S, T c S~S~S|TTX S, S, T, S c S~S~S|TTX S, S, T, V c S{(S{V)~TTX S, S, T, W c (S{S)~W|TTX S, S, V, R c (S{S)~V{RTX S, S, V, T c S{(S{V)~TTX S, S, V, X c S~(S{X){VTX S, S, W, T c (S{S)~W|TTX S, S, X, R c (S{R)~X|STX S, S, X, V c S~(S{X){VTX S, T, P, R c S~T~R|PTX S, T, P, W c (S{W)~T|PTX S, T, Q, W c S~Q~W|TTX S, T, Q, X c S{T~(Q{X)TX S, T, R, P c S~T~R|PTX S, T, R, W c S{T~(R{W)TX S, T, R, X c S~(T{X){RTX S, T, S, S c S~S~S|TTX S, T, S, V c S{T~(S{V)TX S, T, S, W c (S{S)~W|TTX S, T, T, U c S{T~(T{U)TX S, T, U, T c S{(T{U)~TTX S, T, U, V c S~U{T~VTX S, T, U, X c (S{U)~T{XTX S, T, V, S c S{T~(V{S)TX S, T, V, U c S~U{T~VTX S, T, V, W c S~(T{W){VTX S, T, V, X c S~(V{X)|TTX S, T, W, P c (S{W)~T|PTX S, T, W, Q c S~W~Q|TTX S, T, W, R c S{T~(W{R)TX S, T, W, S c (S{S)~W|TTX S, T, W, V c S~(T{W){VTX S, T, W, W c S~(W{W)|TTX S, T, X, Q c S{T~(X{Q)TX S, T, X, R c S~(T{X){RTX S, T, X, U c (S{X)~T|UTX S, T, X, V c S~(X{V)|TTX S, U, P, U c (S{U)~U|PTX S, U, P, X c S{U~X{PTX S, U, R, V c (U{R)~V|STX S, U, R, W c S~(U{W){RTX S, U, T, T c S{(U{T)~TTX S, U, T, V c S~U{T~VTX S, U, T, X c (S{U)~T{XTX S, U, U, P c (S{U)~U|PTX S, U, V, R c (U{R)~V|STX S, U, V, T c S~U{V~TTX S, U, V, V c S{U{V~VTX S, U, V, W c S{U~W{VTX S, U, W, R c S~(U{W){RTX S, U, W, V c S{U~W{VTX S, U, X, P c S{U~X{PTX S, U, X, T c (S{U)~T{XTX S, U, X, X c U~X|S{XTX S, V, O, X c (V{O)~X|STX S, V, P, W c S{V~W|PTX S, V, P, X c V~P~X|STX S, V, Q, R c S~V~Q{RTX S, V, Q, V c (V{Q)~V|STX S, V, R, Q c S~V~Q{RTX S, V, R, R c V~R~R|STX S, V, R, S c (S{S)~V{RTX S, V, R, U c V~(R{U)|STX S, V, R, V c S~(V{V){RTX S, V, S, R c (S{S)~V{RTX S, V, S, T c S{(V{S)~TTX S, V, S, X c S~(S{X){VTX S, V, T, S c (S{V)~T{STX S, V, T, U c S~U{V~TTX S, V, T, W c S~(T{W){VTX S, V, T, X c S~(V{X)|TTX S, V, U, R c V~(U{R)|STX S, V, U, T c S~U{V~TTX S, V, U, V c (S{V)~U|VTX S, V, U, W c S{V{U~WTX S, V, V, Q c V~(V{Q)|STX S, V, V, R c S~(V{V){RTX S, V, V, U c S{V~V{UTX S, V, V, W c V|S{V~WTX S, V, V, X c V~(X|SV)TX S, V, W, P c S{V~W|PTX S, V, W, T c S~(W{T){VTX S, V, W, U c S{V{W~UTX S, V, W, V c V|S{W~VTX S, V, W, X c S{V~X|WTX S, V, X, O c V~X|S{OTX S, V, X, P c V~X|S~PTX S, V, X, S c (S{X)~S{VTX S, V, X, T c S~(V{X)|TTX S, V, X, V c V~(X|SV)TX S, V, X, W c S{V~X|WTX S, V, X, X c (V|SX)~XTX S, W, P, T c (S{W)~T|PTX S, W, P, V c S{W~V|PTX S, W, P, W c (W~W)|(S{P)TX S, W, P, X c (W|P)~X|STX S, W, Q, T c S~W~Q|TTX S, W, R, R c (S{R)~W{RTX S, W, R, T c S{(W{R)~TTX S, W, R, U c S~(W{U){RTX S, W, R, X c S~W{R~XTX S, W, S, T c (S{S)~W|TTX S, W, T, P c (S{W)~T|PTX S, W, T, Q c S~W~Q|TTX S, W, T, R c S{(W{R)~TTX S, W, T, S c (S{S)~W|TTX S, W, T, V c S~(W{T){VTX S, W, T, W c S~(W{W)|TTX S, W, U, R c S~(W{U){RTX S, W, U, V c S{W~U{VTX S, W, V, P c S{W~V|PTX S, W, V, T c S~(W{T){VTX S, W, V, U c S{W~U{VTX S, W, V, V c W~V|S{VTX S, W, V, X c S{V~X|WTX S, W, W, P c (W~W)|(S{P)TX S, W, W, T c S~(W{W)|TTX S, W, W, X c S{W~W|XTX S, W, X, P c (W|P)~X|STX S, W, X, R c S~W{X~RTX S, W, X, V c S{X~V|WTX S, W, X, W c S{W~W|XTX S, W, X, X c S~(W{X)|XTX S, X, O, V c (X{O)~V|STX S, X, P, U c S{X~U{PTX S, X, P, V c X~P~V|STX S, X, P, W c X~(W|P)|STX S, X, Q, T c S{(X{Q)~TTX S, X, Q, X c (X|Q)~X|STX S, X, R, S c (S{R)~X|STX S, X, R, T c S~(X{T){RTX S, X, R, W c S~W{X~RTX S, X, S, R c (S{R)~X|STX S, X, S, V c (S{X)~S{VTX S, X, T, Q c S{(X{Q)~TTX S, X, T, R c S~(X{T){RTX S, X, T, U c (S{X)~T|UTX S, X, T, V c S~(X{V)|TTX S, X, U, P c S{X~U{PTX S, X, U, T c (S{X)~T|UTX S, X, U, X c X|S{U~XTX S, X, V, O c X~V|S{OTX S, X, V, P c X~V|S~PTX S, X, V, S c (S{X)~S{VTX S, X, V, T c S~(X{V)|TTX S, X, V, V c (X|SV)~VTX S, X, V, W c S{X~V|WTX S, X, V, X c X~(V|SX)TX S, X, W, P c X~(W|P)|STX S, X, W, R c S~W{X~RTX S, X, W, V c S{X~V|WTX S, X, W, W c S{W~W|XTX S, X, W, X c S~(X{W)|XTX S, X, X, Q c X~(X|Q)|STX S, X, X, U c X|S{X~UTX S, X, X, V c X~(V|SX)TX S, X, X, W c S~(X{W)|XTX T, O, U, X c T{O{U~XTX T, O, W, W c O{W~W|TTX T, O, X, U c T{O{X~UTX T, P, Q, U c T~Q~U|PTX T, P, R, S c T~R~S|PTX T, P, R, X c T~(R{X)|PTX T, P, S, R c T~S~R|PTX T, P, S, W c T~(S{W)|PTX T, P, T, U c (T{T)~U|PTX T, P, T, V c T~(T{V)|PTX T, P, T, X c T{(P{T)~XTX T, P, U, Q c T~U~Q|PTX T, P, U, T c (T{T)~U|PTX T, P, U, U c T~(U{U)|PTX T, P, U, W c T{(P{W)~UTX T, P, U, X c T{P~U~XTX T, P, V, T c (T{V)~T|PTX T, P, V, W c (P{V)~W|TTX T, P, V, X c T{(V|P)~XTX T, P, W, S c T~(W{S)|PTX T, P, W, U c T{(P{W)~UTX T, P, W, V c (P{V)~W|TTX T, P, W, W c P~W~W|TTX T, P, W, X c W~(X|P)|TTX T, P, X, R c T~(X{R)|PTX T, P, X, T c (T{P)~X{TTX T, P, X, U c T{P~X~UTX T, P, X, V c T{X~(V|P)TX T, P, X, W c (X|P)~W|TTX T, P, X, X c T~(P{X){XTX T, Q, P, U c T~Q~U|PTX T, Q, R, W c (T{Q)~W{RTX T, Q, R, X c T{Q~R~XTX T, Q, S, W c Q~S~W|TTX T, Q, S, X c T{(Q{S)~XTX T, Q, T, X c T~Q~T{XTX T, Q, U, P c T~Q~U|PTX T, Q, U, V c T{(Q{V)~UTX T, Q, U, W c (Q{U)~W|TTX T, Q, V, U c T{(Q{V)~UTX T, Q, V, V c T~Q{V~VTX T, Q, V, W c T|Q{V~WTX T, Q, V, X c T~X{Q~VTX T, Q, W, R c (T{Q)~W{RTX T, Q, W, S c Q~W~S|TTX T, Q, W, U c (Q{U)~W|TTX T, Q, W, V c T|Q{W~VTX T, Q, W, X c T~(Q{W){XTX T, Q, X, R c T{Q~X~RTX T, Q, X, S c (T{Q)~X|STX T, Q, X, T c T~Q~T{XTX T, Q, X, V c T~X{Q~VTX T, Q, X, W c T~(Q{W){XTX T, R, P, S c T~R~S|PTX T, R, P, X c T~(R{X)|PTX T, R, Q, W c (T{Q)~W{RTX T, R, Q, X c T{R~Q~XTX T, R, R, U c T{R~R~UTX T, R, R, V c (T{R)~V{RTX T, R, R, X c T{(R{R)~XTX T, R, S, P c T~R~S|PTX T, R, S, W c T~(R{W){STX T, R, S, X c (T{X)~S{RTX T, R, T, W c (T{R)~W|TTX T, R, U, R c T{R~U~RTX T, R, U, U c T{(R{U)~UTX T, R, V, R c (T{R)~V{RTX T, R, V, W c T~V{R~WTX T, R, V, X c T~(R{V){XTX T, R, W, Q c (T{Q)~W{RTX T, R, W, S c T~(R{W){STX T, R, W, T c (T{R)~W|TTX T, R, W, V c T~V{R~WTX T, R, X, P c T~(R{X)|PTX T, R, X, Q c T{R~X~QTX T, R, X, R c T{(R{R)~XTX T, R, X, S c (T{X)~S{RTX T, R, X, V c T~(R{V){XTX T, R, X, X c T{R~(X{X)TX T, S, P, R c T~S~R|PTX T, S, P, W c T~(S{W)|PTX T, S, Q, W c S~Q~W|TTX T, S, Q, X c T{(S{Q)~XTX T, S, R, P c T~S~R|PTX T, S, R, W c T~(R{W){STX T, S, R, X c (T{X)~S{RTX T, S, S, S c S~S~S|TTX T, S, S, V c (T{S)~V|STX T, S, S, W c (S{S)~W|TTX T, S, T, U c T{(S{T)~UTX T, S, U, T c (T{S)~U{TTX T, S, U, V c T~V{S~UTX T, S, U, X c T~(S{U){XTX T, S, V, S c (T{S)~V|STX T, S, V, U c T~V{S~UTX T, S, V, W c (T{W)~S{VTX T, S, V, X c S~(V{X)|TTX T, S, W, P c T~(S{W)|PTX T, S, W, Q c S~W~Q|TTX T, S, W, R c T~(W{R){STX T, S, W, S c (S{S)~W|TTX T, S, W, V c (T{W)~S{VTX T, S, W, W c S~(W{W)|TTX T, S, X, Q c T{(S{Q)~XTX T, S, X, R c (T{X)~S{RTX T, S, X, U c T~(S{X)|UTX T, S, X, V c S~(X{V)|TTX T, T, P, U c (T{T)~U|PTX T, T, P, V c T~(T{V)|PTX T, T, P, X c T{(T{P)~XTX T, T, Q, X c T~T~Q{XTX T, T, R, W c (T{R)~W|TTX T, T, S, U c T{(T{S)~UTX T, T, T, X c (T{T)~T{XTX T, T, U, P c (T{T)~U|PTX T, T, U, S c T~(T{U){STX T, T, U, W c T~(T{W)|UTX T, T, V, P c T~(T{V)|PTX T, T, V, V c T{T{V~VTX T, T, W, R c (T{R)~W|TTX T, T, W, U c T~(T{W)|UTX T, T, X, P c T{(T{P)~XTX T, T, X, Q c T~T~Q{XTX T, T, X, T c (T{T)~T{XTX T, T, X, X c T{T~X{XTX T, U, O, X c T{(U{O)~XTX T, U, P, Q c T~U~Q|PTX T, U, P, T c (T{T)~U|PTX T, U, P, U c T~(U{U)|PTX T, U, P, W c T{U~(P{W)TX T, U, P, X c T{U~P~XTX T, U, Q, P c T~U~Q|PTX T, U, Q, V c T{U~(Q{V)TX T, U, Q, W c (U{Q)~W|TTX T, U, R, R c T{U~R~RTX T, U, R, U c T{(U{R)~UTX T, U, S, T c T{U~(S{T)TX T, U, S, V c T~V{U~STX T, U, S, X c T~(U{S){XTX T, U, T, P c (T{T)~U|PTX T, U, T, S c (T{U)~T{STX T, U, T, W c T~(T{W)|UTX T, U, U, P c T~(U{U)|PTX T, U, U, R c T{U~(U{R)TX T, U, U, V c (T{U)~U|VTX T, U, U, W c T{U{U~WTX T, U, U, X c (TU{X)~UTX T, U, V, Q c T{U~(V{Q)TX T, U, V, S c T~V{U~STX T, U, V, U c T~(U{V)|UTX T, U, W, P c T{U~(W{P)TX T, U, W, Q c (U{Q)~W|TTX T, U, W, T c (T{W)~T|UTX T, U, W, U c T{U{W~UTX T, U, W, X c T~X{U{WTX T, U, X, O c T{U~X{OTX T, U, X, P c T{U~X~PTX T, U, X, S c T~(U{S){XTX T, U, X, U c (TU{X)~UTX T, U, X, W c T~X{U{WTX T, U, X, X c (TX{U)~XTX T, V, P, T c (T{V)~T|PTX T, V, P, W c (V{P)~W|TTX T, V, P, X c T{(V|P)~XTX T, V, Q, U c T{(V{Q)~UTX T, V, Q, V c T~Q{V~VTX T, V, Q, W c T{V~W|QTX T, V, Q, X c T~X{V~QTX T, V, R, R c (T{R)~V{RTX T, V, R, W c T~V{R~WTX T, V, R, X c T~(V{R){XTX T, V, S, S c T~(V{S){STX T, V, S, U c T~V{S~UTX T, V, S, W c (T{W)~S{VTX T, V, S, X c (V{X)~S|TTX T, V, T, P c (T{V)~T|PTX T, V, T, V c T{V~V{TTX T, V, U, Q c T{(V{Q)~UTX T, V, U, S c T~V{U~STX T, V, U, U c T~(V{U)|UTX T, V, V, Q c T~Q{V~VTX T, V, V, T c T{V~V{TTX T, V, V, X c T~X{V{VTX T, V, W, P c (V{P)~W|TTX T, V, W, Q c T{V~W|QTX T, V, W, R c T~V{W~RTX T, V, W, S c (T{W)~S{VTX T, V, W, W c V~W|T{WTX T, V, X, P c T{(V|P)~XTX T, V, X, Q c T~X{V~QTX T, V, X, R c T~(V{R){XTX T, V, X, S c (V{X)~S|TTX T, V, X, V c T~X{V{VTX T, V, X, X c T{V~X|XTX T, W, O, W c (W{O)~W|TTX T, W, P, S c T~(W{S)|PTX T, W, P, U c T{(W{P)~UTX T, W, P, V c W~(P{V)|TTX T, W, P, W c W~P~W|TTX T, W, P, X c W~(X|P)|TTX T, W, Q, R c (T{Q)~W{RTX T, W, Q, S c W~Q~S|TTX T, W, Q, U c W~(Q{U)|TTX T, W, Q, V c T{W~V|QTX T, W, Q, X c T{(W|Q)~XTX T, W, R, Q c (T{Q)~W{RTX T, W, R, S c T~(W{R){STX T, W, R, T c (T{R)~W|TTX T, W, R, V c T~V{W~RTX T, W, S, P c T~(W{S)|PTX T, W, S, Q c W~S~Q|TTX T, W, S, R c T~(W{R){STX T, W, S, S c W~(S{S)|TTX T, W, S, V c (T{W)~S{VTX T, W, S, W c (W{W)~S|TTX T, W, T, R c (T{R)~W|TTX T, W, T, U c (T{W)~T|UTX T, W, U, P c T{(W{P)~UTX T, W, U, Q c W~(U{Q)|TTX T, W, U, T c (T{W)~T|UTX T, W, U, U c T{W~U{UTX T, W, U, X c T~X{W{UTX T, W, V, P c W~(V{P)|TTX T, W, V, Q c T{W~V|QTX T, W, V, R c T~V{W~RTX T, W, V, S c (T{W)~S{VTX T, W, V, W c W|T{V~WTX T, W, W, O c W~W|T{OTX T, W, W, P c W~W|T~PTX T, W, W, S c (W{W)~S|TTX T, W, W, V c W|T{W~VTX T, W, W, W c (W|TW)~WTX T, W, W, X c (W~X)|(T{W)TX T, W, X, P c W~(X|P)|TTX T, W, X, Q c T{(W|Q)~XTX T, W, X, U c T~X{W{UTX T, W, X, W c (W~X)|(T{W)TX T, X, O, U c T{(X{O)~UTX T, X, P, R c T~(X{R)|PTX T, X, P, T c T{X~(P{T)TX T, X, P, U c T{X~P~UTX T, X, P, V c T{X~(V|P)TX T, X, P, W c (X|P)~W|TTX T, X, P, X c T~(X{P){XTX T, X, Q, R c T{X~Q~RTX T, X, Q, S c T{X~(Q{S)TX T, X, Q, T c T~Q~T{XTX T, X, Q, V c T~X{Q~VTX T, X, Q, W c T{X~(W|Q)TX T, X, R, P c T~(X{R)|PTX T, X, R, Q c T{X~R~QTX T, X, R, R c T{X~(R{R)TX T, X, R, S c (T{X)~S{RTX T, X, R, V c T~(R{V){XTX T, X, R, X c T{(X|R)~XTX T, X, S, Q c T{X~(S{Q)TX T, X, S, R c (T{X)~S{RTX T, X, S, U c T~(X{S)|UTX T, X, S, V c (X{V)~S|TTX T, X, T, P c T{X~(T{P)TX T, X, T, Q c T~T~Q{XTX T, X, T, T c (T{T)~T{XTX T, X, T, X c T{X{T~XTX T, X, U, O c T{X~U{OTX T, X, U, P c T{X~U~PTX T, X, U, S c T~(X{S)|UTX T, X, U, U c (TU{X)~UTX T, X, U, W c T~X{U{WTX T, X, U, X c (TX{U)~XTX T, X, V, P c T{X~(V|P)TX T, X, V, Q c T~X{V~QTX T, X, V, R c T~(V{R){XTX T, X, V, S c (X{V)~S|TTX T, X, V, V c T~X{V{VTX T, X, V, X c T{X~V|XTX T, X, W, P c (X|P)~W|TTX T, X, W, Q c T{X~(W|Q)TX T, X, W, U c T~X{W{UTX T, X, W, W c (X~W)|(T{W)TX T, X, X, P c T~(X{P){XTX T, X, X, R c T{(X{X)~RTX T, X, X, T c T{X{X~TTX T, X, X, U c (TX{U)~XTX T, X, X, V c T{X~V|XTX U, O, T, X c (U{O)~X{TTX U, O, X, T c (U{O)~X{TTX U, P, P, X c U~(P{X)|PTX U, P, Q, T c U~Q~T|PTX U, P, Q, W c U~(Q{W)|PTX U, P, R, V c U~(R{V)|PTX U, P, R, W c (U{P)~W{RTX U, P, S, U c (U{S)~U|PTX U, P, S, X c (U{P)~X|STX U, P, T, Q c U~T~Q|PTX U, P, T, T c U~(T{T)|PTX U, P, T, U c (U{U)~T|PTX U, P, T, W c U~(P{W){TTX U, P, T, X c U~P~X{TTX U, P, U, S c U~(U{S)|PTX U, P, U, T c (U{U)~T|PTX U, P, U, X c U|P{U~XTX U, P, V, R c U~(V{R)|PTX U, P, W, Q c U~(W{Q)|PTX U, P, W, R c (U{P)~W{RTX U, P, W, T c U~(P{W){TTX U, P, W, W c P{W~W|UTX U, P, X, P c U~(P{X)|PTX U, P, X, S c (U{P)~X|STX U, P, X, T c U~P~X{TTX U, P, X, U c U|P{X~UTX U, Q, P, T c U~Q~T|PTX U, Q, P, W c U~(Q{W)|PTX U, Q, R, V c (U{Q)~V{RTX U, Q, R, X c U~X{Q{RTX U, Q, T, P c U~Q~T|PTX U, Q, T, V c U~(Q{V){TTX U, Q, T, W c (U{Q)~W|TTX U, Q, V, R c (U{Q)~V{RTX U, Q, V, T c U~(Q{V){TTX U, Q, V, W c UQ{V~WTX U, Q, V, X c U~(Q{X)|VTX U, Q, W, P c U~(Q{W)|PTX U, Q, W, T c (U{Q)~W|TTX U, Q, W, V c UQ{W~VTX U, Q, W, X c U~W{Q{XTX U, Q, X, R c U~X{Q{RTX U, Q, X, V c U~(Q{X)|VTX U, Q, X, W c U~W{Q{XTX U, R, P, V c U~(R{V)|PTX U, R, P, W c (U{P)~W{RTX U, R, Q, V c (U{Q)~V{RTX U, R, Q, X c U~X{R{QTX U, R, R, T c U~R~R{TTX U, R, S, V c (U{R)~V|STX U, R, S, W c (U{W)~S{RTX U, R, T, R c U~R~R{TTX U, R, T, U c (U{R)~U{TTX U, R, U, T c (U{R)~U{TTX U, R, V, P c U~(R{V)|PTX U, R, V, Q c (U{Q)~V{RTX U, R, V, S c (U{R)~V|STX U, R, V, W c U|R{V~WTX U, R, W, P c (U{P)~W{RTX U, R, W, S c (U{W)~S{RTX U, R, W, V c U|R{W~VTX U, R, W, W c U~W{R{WTX U, R, W, X c U~X|R{WTX U, R, X, Q c U~X{R{QTX U, R, X, W c U~X|R{WTX U, S, P, U c (U{S)~U|PTX U, S, P, X c (U{P)~X|STX U, S, R, V c (U{R)~V|STX U, S, R, W c (U{W)~S{RTX U, S, T, T c U~(S{T){TTX U, S, T, V c U~S{T~VTX U, S, T, X c (U{S)~T{XTX U, S, U, P c (U{S)~U|PTX U, S, V, R c (U{R)~V|STX U, S, V, T c U~S{V~TTX U, S, V, V c U{S{V~VTX U, S, V, W c U~W{S{VTX U, S, W, R c (U{W)~S{RTX U, S, W, V c U~W{S{VTX U, S, X, P c (U{X)~S|PTX U, S, X, T c (U{S)~T{XTX U, S, X, X c U~X|S{XTX U, T, O, X c (U{O)~X{TTX U, T, P, Q c U~T~Q|PTX U, T, P, T c U~(T{T)|PTX U, T, P, U c (U{U)~T|PTX U, T, P, W c U~(P{W){TTX U, T, P, X c U~P~X{TTX U, T, Q, P c U~T~Q|PTX U, T, Q, V c U~(Q{V){TTX U, T, Q, W c (U{Q)~W|TTX U, T, R, R c U~R~R{TTX U, T, R, U c (U{R)~U{TTX U, T, S, T c U~(T{S){TTX U, T, S, V c U~S{T~VTX U, T, S, X c (U{S)~T{XTX U, T, T, P c U~(T{T)|PTX U, T, T, S c (U{T)~T{STX U, T, T, W c T~(T{W)|UTX U, T, U, P c (U{U)~T|PTX U, T, U, R c U~(U{R){TTX U, T, U, V c (U{T)~U|VTX U, T, U, W c U{T{U~WTX U, T, U, X c U~(TU{X)TX U, T, V, Q c U~(V{Q){TTX U, T, V, S c U~S{T~VTX U, T, V, U c (U{T)~U|VTX U, T, W, P c U~(W{P){TTX U, T, W, Q c (U{Q)~W|TTX U, T, W, T c (T{W)~T|UTX U, T, W, U c U{T{W~UTX U, T, W, X c U{T~X{WTX U, T, X, O c U~X{T{OTX U, T, X, P c U~X{T~PTX U, T, X, S c (U{S)~T{XTX U, T, X, U c U~(TU{X)TX U, T, X, W c U{T~X{WTX U, T, X, X c (U{TX)~XTX U, U, P, S c U~(U{S)|PTX U, U, P, T c (U{U)~T|PTX U, U, P, X c U{U~X|PTX U, U, R, T c U~(U{R){TTX U, U, S, P c U~(U{S)|PTX U, U, T, P c (U{U)~T|PTX U, U, T, R c U~(U{R){TTX U, U, T, V c U~(U{T)|VTX U, U, T, W c U{U~W{TTX U, U, T, X c U~(TU{X)TX U, U, V, T c U~(U{T)|VTX U, U, W, T c U{U~W{TTX U, U, X, P c U{U~X|PTX U, U, X, T c U~(X{TU)TX U, V, P, R c U~(V{R)|PTX U, V, Q, R c (U{Q)~V{RTX U, V, Q, T c U~(V{Q){TTX U, V, Q, W c UQ{V~WTX U, V, Q, X c U~(Q{X)|VTX U, V, R, P c U~(V{R)|PTX U, V, R, Q c (U{Q)~V{RTX U, V, R, S c (U{R)~V|STX U, V, R, W c U{V~W|RTX U, V, S, R c (U{R)~V|STX U, V, S, T c U~S{V~TTX U, V, S, V c (U{V)~S{VTX U, V, S, W c U~W{V{STX U, V, T, Q c U~(V{Q){TTX U, V, T, S c U~S{V~TTX U, V, T, U c (U{V)~T|UTX U, V, U, T c (U{V)~T|UTX U, V, V, S c U{V~V{STX U, V, W, Q c UQ{V~WTX U, V, W, R c U{V~W|RTX U, V, W, S c U~W{V{STX U, V, W, X c U~V{W{XTX U, V, X, Q c U~X{V|QTX U, V, X, W c U~V{X{WTX U, W, P, Q c U~(W{Q)|PTX U, W, P, R c (U{P)~W{RTX U, W, P, T c U~(W{P){TTX U, W, P, W c W~W|U{PTX U, W, Q, P c U~(W{Q)|PTX U, W, Q, T c (U{Q)~W|TTX U, W, Q, V c UQ{W~VTX U, W, Q, X c U~W{Q{XTX U, W, R, P c (U{P)~W{RTX U, W, R, S c (U{W)~S{RTX U, W, R, V c U~(W{R)|VTX U, W, R, W c U~W{R{WTX U, W, R, X c U~X{W|RTX U, W, S, R c (U{W)~S{RTX U, W, S, V c U~W{S{VTX U, W, T, P c U~(W{P){TTX U, W, T, Q c (U{Q)~W|TTX U, W, T, T c (W{T)~T|UTX U, W, T, U c U~W{T{UTX U, W, T, X c U{W{T~XTX U, W, U, T c U{W~U{TTX U, W, V, Q c UQ{W~VTX U, W, V, R c U{W~V|RTX U, W, V, S c U~W{V{STX U, W, V, X c U~V{W{XTX U, W, W, P c W~W|U{PTX U, W, W, R c U~W{W{RTX U, W, X, Q c U~W{X{QTX U, W, X, R c U~X{W|RTX U, W, X, T c U{W{X~TTX U, W, X, V c U~V{W{XTX U, X, O, T c U~X{O{TTX U, X, P, P c U~(X{P)|PTX U, X, P, S c U~X{P{STX U, X, P, T c U~X{P~TTX U, X, P, U c U~X|P{UTX U, X, Q, R c U~X{Q{RTX U, X, Q, V c U~(X{Q)|VTX U, X, Q, W c U~W{X{QTX U, X, R, Q c U~X{R{QTX U, X, R, W c U~X|R{WTX U, X, S, P c (U{X)~S|PTX U, X, S, T c (U{S)~T{XTX U, X, S, X c U~X|S{XTX U, X, T, O c U~X{T{OTX U, X, T, P c U~X{T~PTX U, X, T, S c (U{S)~T{XTX U, X, T, U c U~(X{TU)TX U, X, T, W c U{X~T{WTX U, X, T, X c (U{TX)~XTX U, X, U, P c U{X~U|PTX U, X, U, T c U~(X{TU)TX U, X, V, Q c U~X{V|QTX U, X, V, W c U~V{X{WTX U, X, W, Q c U~W{X{QTX U, X, W, R c U~X{W|RTX U, X, W, T c U{X~T{WTX U, X, W, V c U~V{X{WTX U, X, X, S c U~X{X|STX U, X, X, T c (U{TX)~XTX V, O, R, W c (V{O)~W{RTX V, O, S, X c (V{O)~X|STX V, O, W, R c (V{O)~W{RTX V, O, X, S c (V{O)~X|STX V, P, Q, W c V~W{P{QTX V, P, R, U c (V{R)~U|PTX V, P, R, V c (V{P)~V{RTX V, P, R, W c V~P~W{RTX V, P, R, X c (V~X)|(P{R)TX V, P, S, W c V~(P{W)|STX V, P, S, X c V~P~X|STX V, P, T, T c (V{T)~T|PTX V, P, T, W c (V{P)~W|TTX V, P, T, X c (V|P)~X{TTX V, P, U, R c (V{R)~U|PTX V, P, V, R c (V{P)~V{RTX V, P, V, X c V~V{P{XTX V, P, W, Q c V~W{P{QTX V, P, W, R c V~P~W{RTX V, P, W, S c V~(P{W)|STX V, P, W, T c (V{P)~W|TTX V, P, X, R c (V~X)|(P{R)TX V, P, X, S c V~P~X|STX V, P, X, T c (V|P)~X{TTX V, P, X, V c V~V{P{XTX V, Q, P, W c V~W{Q{PTX V, Q, Q, X c (V~X)|(Q{Q)TX V, Q, R, S c V~Q~S{RTX V, Q, R, U c V~(Q{U){RTX V, Q, S, R c V~Q~S{RTX V, Q, S, V c (V{Q)~V|STX V, Q, T, U c (V{Q)~U{TTX V, Q, T, V c V~V{Q~TTX V, Q, T, W c V~W|Q{TTX V, Q, T, X c V~Q{T~XTX V, Q, U, R c V~(Q{U){RTX V, Q, U, T c (V{Q)~U{TTX V, Q, U, W c V~W{UQTX V, Q, U, X c V|Q{U~XTX V, Q, V, S c (V{Q)~V|STX V, Q, V, T c V~V{Q~TTX V, Q, V, W c V~V{Q{WTX V, Q, W, P c V~W{Q{PTX V, Q, W, T c V~W|Q{TTX V, Q, W, U c V~W{UQTX V, Q, W, V c V~V{Q{WTX V, Q, W, W c Q{W~W|VTX V, Q, W, X c V~X|WQTX V, Q, X, Q c (V~X)|(Q{Q)TX V, Q, X, T c V~Q{X~TTX V, Q, X, U c V|Q{X~UTX V, Q, X, W c V~X|WQTX V, R, O, W c (V{O)~W{RTX V, R, P, U c (V{R)~U|PTX V, R, P, V c (V{P)~V{RTX V, R, P, W c V~P~W{RTX V, R, P, X c (V~X)|(R{P)TX V, R, Q, S c V~Q~S{RTX V, R, Q, U c V~(Q{U){RTX V, R, R, S c V~R~R|STX V, R, R, T c V~(R{T){RTX V, R, S, Q c V~S~Q{RTX V, R, S, R c V~R~R|STX V, R, S, S c V~(S{S){RTX V, R, S, U c V~(R{U)|STX V, R, S, V c (V{V)~S{RTX V, R, T, R c V~(R{T){RTX V, R, T, W c V~T{R~WTX V, R, T, X c (V{R)~T{XTX V, R, U, P c (V{R)~U|PTX V, R, U, Q c V~(U{Q){RTX V, R, U, S c V~(R{U)|STX V, R, U, W c V~W|R{UTX V, R, V, P c V~(V{P){RTX V, R, V, S c (V{V)~S{RTX V, R, V, V c V{R{V~VTX V, R, V, W c V~(RV{W)TX V, R, V, X c V~X{R|VTX V, R, W, O c V~W{R{OTX V, R, W, P c V~W{R~PTX V, R, W, T c V~T{R~WTX V, R, W, U c V~W|R{UTX V, R, W, V c V~(RV{W)TX V, R, W, W c (V{RW)~WTX V, R, W, X c V~W{XRTX V, R, X, P c (V~X)|(R{P)TX V, R, X, T c (V{R)~T{XTX V, R, X, V c V~X{R|VTX V, R, X, W c V~W{XRTX V, S, O, X c (V{O)~X|STX V, S, P, W c V~(P{W)|STX V, S, P, X c V~P~X|STX V, S, Q, R c V~S~Q{RTX V, S, Q, V c (V{Q)~V|STX V, S, R, Q c V~S~Q{RTX V, S, R, R c V~R~R|STX V, S, R, S c V~(S{S){RTX V, S, R, U c V~(R{U)|STX V, S, R, V c (V{V)~S{RTX V, S, S, R c V~(S{S){RTX V, S, S, T c (V{S)~T{STX V, S, S, X c V{S~(S{X)TX V, S, T, S c (V{S)~T{STX V, S, T, U c V~T{S~UTX V, S, T, W c V{S~(T{W)TX V, S, T, X c (V{X)~S|TTX V, S, U, R c V~(U{R)|STX V, S, U, T c V~T{S~UTX V, S, U, V c V{S~(U{V)TX V, S, U, W c V{S{U~WTX V, S, V, Q c V~(V{Q)|STX V, S, V, R c (V{V)~S{RTX V, S, V, U c V{S~(V{U)TX V, S, V, W c V|S{V~WTX V, S, V, X c V~(X|SV)TX V, S, W, P c (V{W)~S|PTX V, S, W, T c V{S~(W{T)TX V, S, W, U c V{S{W~UTX V, S, W, V c V|S{W~VTX V, S, W, X c V~X{S|WTX V, S, X, O c V~X|S{OTX V, S, X, P c V~X|S~PTX V, S, X, S c V{(S{X)~STX V, S, X, T c (V{X)~S|TTX V, S, X, V c V~(X|SV)TX V, S, X, W c V~X{S|WTX V, S, X, X c (V|SX)~XTX V, T, P, T c (V{T)~T|PTX V, T, P, W c (V{P)~W|TTX V, T, P, X c (V|P)~X{TTX V, T, Q, U c (V{Q)~U{TTX V, T, Q, V c V~V{T~QTX V, T, Q, W c V~W{T|QTX V, T, Q, X c V~Q{T~XTX V, T, R, R c V~(T{R){RTX V, T, R, W c V~T{R~WTX V, T, R, X c (V{R)~T{XTX V, T, S, S c V~(T{S)|STX V, T, S, U c V~T{S~UTX V, T, S, W c V{(T{W)~STX V, T, S, X c (V{X)~S|TTX V, T, T, P c (V{T)~T|PTX V, T, T, V c V~V{T{TTX V, T, U, Q c (V{Q)~U{TTX V, T, U, S c V~T{U~STX V, T, U, U c (V{U)~T|UTX V, T, V, Q c V~V{T~QTX V, T, V, T c V~V{T{TTX V, T, V, X c V{T~X{VTX V, T, W, P c (V{P)~W|TTX V, T, W, Q c V~W{T|QTX V, T, W, R c V~T{W~RTX V, T, W, S c V{(T{W)~STX V, T, W, W c V~W|T{WTX V, T, X, P c V~X|T{PTX V, T, X, Q c V~Q{T~XTX V, T, X, R c (V{R)~T{XTX V, T, X, S c (V{X)~S|TTX V, T, X, V c V{T~X{VTX V, T, X, X c V~X{T|XTX V, U, P, R c (V{R)~U|PTX V, U, Q, R c V~(U{Q){RTX V, U, Q, T c (V{Q)~U{TTX V, U, Q, W c V~W{UQTX V, U, Q, X c V{U~X|QTX V, U, R, P c (V{R)~U|PTX V, U, R, Q c V~(U{Q){RTX V, U, R, S c V~(U{R)|STX V, U, R, W c V~W{U|RTX V, U, S, R c V~(U{R)|STX V, U, S, T c V~T{U~STX V, U, S, V c (V{U)~S{VTX V, U, S, W c V{U~W{STX V, U, T, Q c (V{Q)~U{TTX V, U, T, S c V~T{U~STX V, U, T, U c (V{U)~T|UTX V, U, U, T c (V{U)~T|UTX V, U, V, S c V{(U{V)~STX V, U, W, Q c V~W{UQTX V, U, W, R c V~W{U|RTX V, U, W, S c V{U~W{STX V, U, W, X c V~U{W{XTX V, U, X, Q c V{U~X|QTX V, U, X, W c V~U{X{WTX V, V, P, R c V~(V{P){RTX V, V, P, X c V~V{P{XTX V, V, Q, S c V~(V{Q)|STX V, V, Q, T c V~V{Q~TTX V, V, Q, W c V~V{Q{WTX V, V, R, P c V~(V{P){RTX V, V, R, S c (V{V)~S{RTX V, V, R, V c V~V{R{VTX V, V, R, W c V~(RV{W)TX V, V, R, X c V~X|V{RTX V, V, S, Q c V~(V{Q)|STX V, V, S, R c (V{V)~S{RTX V, V, S, U c V~V{S{UTX V, V, S, W c V{V~W|STX V, V, S, X c V~(X|SV)TX V, V, T, Q c V~V{T~QTX V, V, T, T c V~V{T{TTX V, V, T, X c V{V{T~XTX V, V, U, S c V{(V{U)~STX V, V, V, R c V{V~V{RTX V, V, W, Q c V~V{W{QTX V, V, W, R c V~(W{RV)TX V, V, W, S c V{V~W|STX V, V, X, P c V~V{X{PTX V, V, X, R c V~X|V{RTX V, V, X, S c V~(X|SV)TX V, V, X, T c V{V{X~TTX V, W, O, R c V~W{O{RTX V, W, P, Q c V~W{P{QTX V, W, P, R c V~W{P~RTX V, W, P, S c V~(W{P)|STX V, W, P, T c (V{P)~W|TTX V, W, Q, P c V~W{Q{PTX V, W, Q, T c V~W|Q{TTX V, W, Q, U c V~W{UQTX V, W, Q, V c V~V{W{QTX V, W, Q, W c W~W|V{QTX V, W, Q, X c V~X|WQTX V, W, R, O c V~W{R{OTX V, W, R, P c V~W{R~PTX V, W, R, T c V~T{W~RTX V, W, R, U c V~W|R{UTX V, W, R, V c V~(W{RV)TX V, W, R, W c (V{RW)~WTX V, W, R, X c V~W{XRTX V, W, S, P c (V{W)~S|PTX V, W, S, T c V{(W{T)~STX V, W, S, U c V{W~U{STX V, W, S, V c V~W|S{VTX V, W, S, X c V~X|W{STX V, W, T, P c (V{P)~W|TTX V, W, T, Q c V~W{T|QTX V, W, T, R c V~T{W~RTX V, W, T, S c V{(W{T)~STX V, W, T, W c V~W|T{WTX V, W, U, Q c V~W{UQTX V, W, U, R c V~W{U|RTX V, W, U, S c V{W~U{STX V, W, U, X c V~W|U{XTX V, W, V, Q c V~V{W{QTX V, W, V, R c V~(W{RV)TX V, W, V, S c V{W~V|STX V, W, W, Q c W~W|V{QTX V, W, W, R c (V{RW)~WTX V, W, W, T c V~W{W|TTX V, W, X, Q c V~X|WQTX V, W, X, R c V~W{XRTX V, W, X, S c V~X|W{STX V, W, X, U c V~W{X|UTX V, X, O, S c V~X{O|STX V, X, P, R c (V~X)|(P{R)TX V, X, P, S c V~X|P~STX V, X, P, T c V~X{P|TTX V, X, P, V c V~V{X{PTX V, X, Q, Q c (V~X)|(Q{Q)TX V, X, Q, T c V~Q{X~TTX V, X, Q, U c V~X{Q|UTX V, X, Q, W c V~X|WQTX V, X, R, P c (V~X)|(R{P)TX V, X, R, T c (V{R)~T{XTX V, X, R, V c V~X{R|VTX V, X, R, W c V~W{XRTX V, X, S, O c V~X|S{OTX V, X, S, P c V~X|S~PTX V, X, S, S c V{(X{S)~STX V, X, S, T c (V{X)~S|TTX V, X, S, V c V~(X|SV)TX V, X, S, W c V~X{S|WTX V, X, S, X c (V|SX)~XTX V, X, T, P c V~X|T{PTX V, X, T, Q c V~Q{X~TTX V, X, T, R c (V{R)~T{XTX V, X, T, S c (V{X)~S|TTX V, X, T, V c V{X~T{VTX V, X, T, X c V~X{T|XTX V, X, U, Q c V{X~U|QTX V, X, U, W c V~U{X{WTX V, X, V, P c V~V{X{PTX V, X, V, R c V~X|V{RTX V, X, V, S c V~(X|SV)TX V, X, V, T c V{X~T{VTX V, X, W, Q c V~X|WQTX V, X, W, R c V~W{XRTX V, X, W, S c V~X|W{STX V, X, W, U c V~W{X|UTX V, X, X, S c (V|SX)~XTX V, X, X, T c V~X|X{TTX W, O, R, V c (W{O)~V{RTX W, O, T, W c (W{O)~W|TTX W, O, V, R c (W{O)~V{RTX W, O, W, T c (W{O)~W|TTX W, P, Q, U c (W{Q)~U|PTX W, P, Q, V c W~V{P{QTX W, P, R, U c W~(P{U){RTX W, P, R, V c W~P~V{RTX W, P, R, W c (W|P)~W{RTX W, P, S, T c (W{S)~T|PTX W, P, S, V c (W{P)~V|STX W, P, S, W c (W~W)|(P{S)TX W, P, S, X c (W|P)~X|STX W, P, T, S c (W{S)~T|PTX W, P, T, U c (W{P)~U{TTX W, P, T, V c W~(P{V)|TTX W, P, T, W c W~P~W|TTX W, P, T, X c W~(X|P)|TTX W, P, U, Q c (W{Q)~U|PTX W, P, U, R c W~(P{U){RTX W, P, U, T c (W{P)~U{TTX W, P, U, W c W~W{P|UTX W, P, V, Q c W~V{P{QTX W, P, V, R c W~P~V{RTX W, P, V, S c (W{P)~V|STX W, P, V, T c W~(P{V)|TTX W, P, W, R c (W|P)~W{RTX W, P, W, S c (W~W)|(P{S)TX W, P, W, T c W~P~W|TTX W, P, W, U c W~W{P|UTX W, P, X, S c (W|P)~X|STX W, P, X, T c W~(X|P)|TTX W, Q, P, U c (W{Q)~U|PTX W, Q, P, V c W~V{Q{PTX W, Q, R, T c W~(Q{T){RTX W, Q, R, W c (W~W)|(Q{R)TX W, Q, R, X c W~(X|Q){RTX W, Q, S, T c W~Q~S|TTX W, Q, T, R c W~(Q{T){RTX W, Q, T, S c W~Q~S|TTX W, Q, T, U c W~(Q{U)|TTX W, Q, T, V c W~V|Q{TTX W, Q, T, X c (W{Q)~T{XTX W, Q, U, P c (W{Q)~U|PTX W, Q, U, T c W~(Q{U)|TTX W, Q, U, V c W~V{UQTX W, Q, U, X c W~U{Q{XTX W, Q, V, P c W~V{Q{PTX W, Q, V, T c W~V|Q{TTX W, Q, V, U c W~V{UQTX W, Q, V, V c W{Q{V~VTX W, Q, V, W c W~W{Q|VTX W, Q, V, X c V~X|WQTX W, Q, W, R c (W~W)|(Q{R)TX W, Q, W, V c W~W{Q|VTX W, Q, X, R c W~(X|Q){RTX W, Q, X, T c (W|Q)~X{TTX W, Q, X, U c W~U{Q{XTX W, Q, X, V c X~V|WQTX W, R, O, V c (W{O)~V{RTX W, R, P, U c W~(P{U){RTX W, R, P, V c W~P~V{RTX W, R, P, W c (W|P)~W{RTX W, R, Q, T c W~(Q{T){RTX W, R, Q, W c (W~W)|(R{Q)TX W, R, Q, X c W~(X|Q){RTX W, R, R, S c W~(R{S){RTX W, R, S, R c W~(R{S){RTX W, R, S, T c (W{R)~T{STX W, R, S, U c (W{U)~S{RTX W, R, S, X c W~S{R~XTX W, R, T, Q c W~(T{Q){RTX W, R, T, S c (W{R)~T{STX W, R, T, T c W~(R{T)|TTX W, R, T, V c W~R{T~VTX W, R, U, P c W~(U{P){RTX W, R, U, S c (W{U)~S{RTX W, R, U, V c (W{R)~U|VTX W, R, U, W c W{R{U~WTX W, R, U, X c W|R{U~XTX W, R, V, O c W~V{R{OTX W, R, V, P c W~V{R~PTX W, R, V, T c W~R{V~TTX W, R, V, U c (W{R)~U|VTX W, R, V, V c (W{RV)~VTX W, R, V, W c W~(RW{V)TX W, R, V, X c W~V{XRTX W, R, W, P c W~(W|P){RTX W, R, W, Q c (W~W)|(R{Q)TX W, R, W, U c W{R{W~UTX W, R, W, V c W~(RW{V)TX W, R, W, W c W~W{R|WTX W, R, W, X c W{R~(W{X)TX W, R, X, Q c W~(X|Q){RTX W, R, X, S c W~S{R~XTX W, R, X, U c W|R{X~UTX W, R, X, V c W~V{XRTX W, R, X, W c W{R~(X{W)TX W, S, P, T c (W{S)~T|PTX W, S, P, V c (W{P)~V|STX W, S, P, W c (W~W)|(S{P)TX W, S, P, X c (W|P)~X|STX W, S, Q, T c W~S~Q|TTX W, S, R, R c W~(S{R){RTX W, S, R, T c (W{R)~T{STX W, S, R, U c (W{U)~S{RTX W, S, R, X c W~S{R~XTX W, S, S, T c W~(S{S)|TTX W, S, T, P c (W{S)~T|PTX W, S, T, Q c W~S~Q|TTX W, S, T, R c (W{R)~T{STX W, S, T, S c W~(S{S)|TTX W, S, T, V c (W{T)~S{VTX W, S, T, W c (W{W)~S|TTX W, S, U, R c (W{U)~S{RTX W, S, U, V c W~U{S{VTX W, S, V, P c (W{V)~S|PTX W, S, V, T c (W{T)~S{VTX W, S, V, U c W~U{S{VTX W, S, V, V c W~V|S{VTX W, S, V, X c S{V~X|WTX W, S, W, P c (W~W)|(S{P)TX W, S, W, T c (W{W)~S|TTX W, S, W, X c W~W{S|XTX W, S, X, P c (W|P)~X|STX W, S, X, R c W~S{X~RTX W, S, X, V c S{X~V|WTX W, S, X, W c W~W{S|XTX W, S, X, X c (W{X)~S|XTX W, T, O, W c (W{O)~W|TTX W, T, P, S c (W{S)~T|PTX W, T, P, U c (W{P)~U{TTX W, T, P, V c W~(P{V)|TTX W, T, P, W c W~P~W|TTX W, T, P, X c W~(X|P)|TTX W, T, Q, R c W~(T{Q){RTX W, T, Q, S c W~Q~S|TTX W, T, Q, U c W~(Q{U)|TTX W, T, Q, V c W~V{T|QTX W, T, Q, X c (W{Q)~T{XTX W, T, R, Q c W~(T{Q){RTX W, T, R, S c (W{R)~T{STX W, T, R, T c W~(T{R)|TTX W, T, R, V c W~R{T~VTX W, T, S, P c (W{S)~T|PTX W, T, S, Q c W~S~Q|TTX W, T, S, R c (W{R)~T{STX W, T, S, S c W~(S{S)|TTX W, T, S, V c (W{T)~S{VTX W, T, S, W c (W{W)~S|TTX W, T, T, R c W~(T{R)|TTX W, T, T, U c (W{T)~T|UTX W, T, U, P c (W{P)~U{TTX W, T, U, Q c W~(U{Q)|TTX W, T, U, T c (W{T)~T|UTX W, T, U, U c W~U{T{UTX W, T, U, X c W{T~X{UTX W, T, V, P c W~(V{P)|TTX W, T, V, Q c W~V{T|QTX W, T, V, R c W~R{T~VTX W, T, V, S c (W{T)~S{VTX W, T, V, W c W|T{V~WTX W, T, W, O c W~W|T{OTX W, T, W, P c W~W|T~PTX W, T, W, S c (W{W)~S|TTX W, T, W, V c W|T{W~VTX W, T, W, W c (W|TW)~WTX W, T, W, X c (W~X)|(T{W)TX W, T, X, P c W~(X|P)|TTX W, T, X, Q c (W{Q)~T{XTX W, T, X, U c W{T~X{UTX W, T, X, W c (W~X)|(T{W)TX W, U, P, Q c (W{Q)~U|PTX W, U, P, R c W~(U{P){RTX W, U, P, T c (W{P)~U{TTX W, U, P, W c W~W|U{PTX W, U, Q, P c (W{Q)~U|PTX W, U, Q, T c W~(U{Q)|TTX W, U, Q, V c W~V{UQTX W, U, Q, X c W~U{Q{XTX W, U, R, P c W~(U{P){RTX W, U, R, S c (W{U)~S{RTX W, U, R, V c (W{R)~U|VTX W, U, R, W c W~U{R{WTX W, U, R, X c W{U~X|RTX W, U, S, R c (W{U)~S{RTX W, U, S, V c W~U{S{VTX W, U, T, P c (W{P)~U{TTX W, U, T, Q c W~(U{Q)|TTX W, U, T, T c (W{T)~T|UTX W, U, T, U c W~U{T{UTX W, U, T, X c W{U{T~XTX W, U, U, T c W~U{U{TTX W, U, V, Q c W~V{UQTX W, U, V, R c W~V{U|RTX W, U, V, S c W~U{V{STX W, U, V, X c W{U~V{XTX W, U, W, P c W~W|U{PTX W, U, W, R c W{U~W{RTX W, U, X, Q c W~U{X{QTX W, U, X, R c W{U~X|RTX W, U, X, T c W{U{X~TTX W, U, X, V c W{U~V{XTX W, V, O, R c W~V{O{RTX W, V, P, Q c W~V{P{QTX W, V, P, R c W~V{P~RTX W, V, P, S c W~V|P{STX W, V, P, T c W~(V{P)|TTX W, V, Q, P c W~V{Q{PTX W, V, Q, T c W~V|Q{TTX W, V, Q, U c W~V{UQTX W, V, Q, V c W{V~V{QTX W, V, Q, W c W~W|V{QTX W, V, Q, X c V~X|WQTX W, V, R, O c W~V{R{OTX W, V, R, P c W~V{R~PTX W, V, R, T c W~R{V~TTX W, V, R, U c W~V|R{UTX W, V, R, V c (W{RV)~VTX W, V, R, W c W~(V{RW)TX W, V, R, X c W~V{XRTX W, V, S, P c (W{V)~S|PTX W, V, S, T c (W{T)~S{VTX W, V, S, U c W~U{V{STX W, V, S, V c W~V|S{VTX W, V, S, X c V~X|W{STX W, V, T, P c W~(V{P)|TTX W, V, T, Q c W~V{T|QTX W, V, T, R c W~R{V~TTX W, V, T, S c (W{T)~S{VTX W, V, T, W c W~V|T{WTX W, V, U, Q c W~V{UQTX W, V, U, R c W~V{U|RTX W, V, U, S c W~U{V{STX W, V, U, X c W{V~U{XTX W, V, V, Q c W{V~V{QTX W, V, V, R c (W{RV)~VTX W, V, V, S c W~V{V|STX W, V, W, Q c W~W|V{QTX W, V, W, R c W~(V{RW)TX W, V, W, T c W{V~W|TTX W, V, X, Q c V~X|WQTX W, V, X, R c W~V{XRTX W, V, X, S c V~X|W{STX W, V, X, U c W~V{X|UTX W, W, O, T c W~W{O|TTX W, W, P, R c W~(W|P){RTX W, W, P, S c (W~W)|(P{S)TX W, W, P, T c W~W|P~TTX W, W, P, U c W~W{P|UTX W, W, Q, R c (W~W)|(Q{R)TX W, W, Q, V c W~W{Q|VTX W, W, R, P c W~(W|P){RTX W, W, R, Q c (W~W)|(R{Q)TX W, W, R, U c W{W~U{RTX W, W, R, V c W~(RW{V)TX W, W, R, W c W~W{R|WTX W, W, R, X c W{(W{X)~RTX W, W, S, P c (W~W)|(S{P)TX W, W, S, T c (W{W)~S|TTX W, W, S, X c W~W{S|XTX W, W, T, O c W~W|T{OTX W, W, T, P c W~W|T~PTX W, W, T, S c (W{W)~S|TTX W, W, T, V c W{W~V|TTX W, W, T, W c W~(W|TW)TX W, W, T, X c (W~X)|(W{T)TX W, W, U, P c W~W|U{PTX W, W, U, R c W{W~U{RTX W, W, V, Q c W~W|V{QTX W, W, V, R c W~(V{RW)TX W, W, V, T c W{W~V|TTX W, W, W, R c W~W|W{RTX W, W, W, T c W~(W|TW)TX W, W, X, R c W{(W{X)~RTX W, W, X, S c W~W|X{STX W, W, X, T c (W~X)|(W{T)TX W, X, P, S c (W|P)~X|STX W, X, P, T c W~(X|P)|TTX W, X, Q, R c W~(X|Q){RTX W, X, Q, T c (W|Q)~X{TTX W, X, Q, U c W~U{X{QTX W, X, Q, V c X~V|WQTX W, X, R, Q c W~(X|Q){RTX W, X, R, S c W~S{X~RTX W, X, R, U c W{X~U|RTX W, X, R, V c W~V{XRTX W, X, R, W c (W{X)~R{WTX W, X, S, P c (W|P)~X|STX W, X, S, R c W~S{X~RTX W, X, S, V c X~V|W{STX W, X, S, W c W~W|X{STX W, X, S, X c (W{X)~S|XTX W, X, T, P c W~(X|P)|TTX W, X, T, Q c (W|Q)~X{TTX W, X, T, U c W{X~T{UTX W, X, T, W c (W~X)|(T{W)TX W, X, U, Q c W~U{X{QTX W, X, U, R c W{X~U|RTX W, X, U, T c W{X~T{UTX W, X, U, V c W{X{U~VTX W, X, V, Q c X~V|WQTX W, X, V, R c W~V{XRTX W, X, V, S c X~V|W{STX W, X, V, U c W{X{V~UTX W, X, W, R c W{(X{W)~RTX W, X, W, S c W~W|X{STX W, X, W, T c (W~X)|(W{T)TX W, X, X, S c (W~X)|(X{S)TX X, O, S, V c (X{O)~V|STX X, O, T, U c (X{O)~U{TTX X, O, U, T c (X{O)~U{TTX X, O, V, S c (X{O)~V|STX X, P, P, U c (X{P)~U|PTX X, P, R, T c (X{R)~T|PTX X, P, R, V c (X|P)~V{RTX X, P, S, U c X~(P{U)|STX X, P, S, V c X~P~V|STX X, P, S, W c X~(W|P)|STX X, P, T, R c (X{R)~T|PTX X, P, T, T c X~(P{T){TTX X, P, T, U c X~P~U{TTX X, P, T, V c X~V{P|TTX X, P, T, W c (X|P)~W|TTX X, P, T, X c (X{P)~T{XTX X, P, U, P c (X{P)~U|PTX X, P, U, S c X~(P{U)|STX X, P, U, T c X~P~U{TTX X, P, U, U c X~U|P{UTX X, P, V, R c (X|P)~V{RTX X, P, V, S c X~P~V|STX X, P, V, T c X~V{P|TTX X, P, V, V c X{P{V~VTX X, P, W, S c X~(W|P)|STX X, P, W, T c (X|P)~W|TTX X, P, X, T c X{(P{X)~TTX X, Q, Q, V c (X~V)|(Q{Q)TX X, Q, R, T c X~Q~R{TTX X, Q, R, U c X~U{Q{RTX X, Q, R, W c (X|Q)~W{RTX X, Q, S, T c X~(Q{S){TTX X, Q, S, X c (X|Q)~X|STX X, Q, T, R c X~Q~R{TTX X, Q, T, S c (X{Q)~T{STX X, Q, T, T c X{Q~T~TTX X, Q, T, V c X~T{Q~VTX X, Q, T, W c X{(Q{W)~TTX X, Q, U, R c X~U{Q{RTX X, Q, U, V c (X{Q)~U|VTX X, Q, U, W c X{Q{U~WTX X, Q, V, Q c (X~V)|(Q{Q)TX X, Q, V, T c X~T{Q~VTX X, Q, V, U c (X{Q)~U|VTX X, Q, V, W c X~V|WQTX X, Q, W, R c (X|Q)~W{RTX X, Q, W, T c X{(Q{W)~TTX X, Q, W, U c X{Q{W~UTX X, Q, W, V c X~V|WQTX X, Q, X, S c (X|Q)~X|STX X, R, P, T c (X{R)~T|PTX X, R, P, V c (X|P)~V{RTX X, R, Q, T c X~R~Q{TTX X, R, Q, U c X~U{R{QTX X, R, Q, W c (X|Q)~W{RTX X, R, R, T c X~(R{R){TTX X, R, S, S c X~(R{S)|STX X, R, S, T c (X{T)~S{RTX X, R, S, W c X~R{S~WTX X, R, T, P c (X{R)~T|PTX X, R, T, Q c X~R~Q{TTX X, R, T, R c X~(R{R){TTX X, R, T, S c (X{T)~S{RTX X, R, T, V c X{(R{V)~TTX X, R, T, X c (X|R)~X{TTX X, R, U, Q c X~U{R{QTX X, R, U, W c X~U|R{WTX X, R, V, P c (X~V)|(R{P)TX X, R, V, T c X{(R{V)~TTX X, R, V, V c X~V{R|VTX X, R, V, W c XR{V~WTX X, R, W, Q c (X|Q)~W{RTX X, R, W, S c X~R{W~STX X, R, W, U c X~U|R{WTX X, R, W, V c XR{W~VTX X, R, W, W c (X{W)~R{WTX X, R, X, T c (X|R)~X{TTX X, S, O, V c (X{O)~V|STX X, S, P, U c X~(P{U)|STX X, S, P, V c X~P~V|STX X, S, P, W c X~(W|P)|STX X, S, Q, T c X~(S{Q){TTX X, S, Q, X c (X|Q)~X|STX X, S, R, S c X~(S{R)|STX X, S, R, T c (X{T)~S{RTX X, S, R, W c X~R{S~WTX X, S, S, R c X~(S{R)|STX X, S, S, V c (X{S)~S{VTX X, S, T, Q c X~(S{Q){TTX X, S, T, R c (X{T)~S{RTX X, S, T, U c (X{S)~T|UTX X, S, T, V c (X{V)~S|TTX X, S, U, P c (X{U)~S|PTX X, S, U, T c X{(S{U)~TTX X, S, U, X c X|S{U~XTX X, S, V, O c X~V|S{OTX X, S, V, P c X~V|S~PTX X, S, V, S c (X{S)~S{VTX X, S, V, T c (X{V)~S|TTX X, S, V, V c (X|SV)~VTX X, S, V, W c X~V{S|WTX X, S, V, X c X~(V|SX)TX X, S, W, P c X~(W|P)|STX X, S, W, R c X~R{S~WTX X, S, W, V c X~V{S|WTX X, S, W, W c S{W~W|XTX X, S, W, X c (X{W)~S|XTX X, S, X, Q c X~(X|Q)|STX X, S, X, U c X|S{X~UTX X, S, X, V c X~(V|SX)TX X, S, X, W c (X{W)~S|XTX X, T, O, U c (X{O)~U{TTX X, T, P, R c (X{R)~T|PTX X, T, P, T c X~(T{P){TTX X, T, P, U c X~P~U{TTX X, T, P, V c X~V|T{PTX X, T, P, W c (X|P)~W|TTX X, T, P, X c X{T~(P{X)TX X, T, Q, R c X~Q~R{TTX X, T, Q, S c X~(T{Q)|STX X, T, Q, T c X{T~Q~TTX X, T, Q, V c X~T{Q~VTX X, T, Q, W c X{T~(Q{W)TX X, T, R, P c (X{R)~T|PTX X, T, R, Q c X~R~Q{TTX X, T, R, R c X~(R{R){TTX X, T, R, S c (X{T)~S{RTX X, T, R, V c X{T~(R{V)TX X, T, R, X c (X|R)~X{TTX X, T, S, Q c X~(T{Q)|STX X, T, S, R c (X{T)~S{RTX X, T, S, U c X{T~(S{U)TX X, T, S, V c (X{V)~S|TTX X, T, T, P c X~(T{P){TTX X, T, T, Q c X{T~T~QTX X, T, T, T c X{(T{T)~TTX X, T, T, X c X{T{T~XTX X, T, U, O c X~U{T{OTX X, T, U, P c X~U{T~PTX X, T, U, S c X{T~(U{S)TX X, T, U, U c (X{TU)~UTX X, T, U, W c X~T{U{WTX X, T, U, X c X~(TX{U)TX X, T, V, P c X~V|T{PTX X, T, V, Q c X~T{V~QTX X, T, V, R c X{T~(V{R)TX X, T, V, S c (X{V)~S|TTX X, T, V, V c X~T{V{VTX X, T, V, X c X~V{T|XTX X, T, W, P c (X|P)~W|TTX X, T, W, Q c X{T~(W{Q)TX X, T, W, U c X~T{W{UTX X, T, W, W c (X~W)|(T{W)TX X, T, X, P c X{T~(X{P)TX X, T, X, R c (X{X)~R{TTX X, T, X, T c X{T{X~TTX X, T, X, U c X~(TX{U)TX X, T, X, V c X~V{T|XTX X, U, O, T c X~U{O{TTX X, U, P, P c (X{P)~U|PTX X, U, P, S c X~U{P{STX X, U, P, T c X~U{P~TTX X, U, P, U c X~U|P{UTX X, U, Q, R c X~U{Q{RTX X, U, Q, V c X~U|Q{VTX X, U, Q, W c X{U~W{QTX X, U, R, Q c X~U{R{QTX X, U, R, W c X~U|R{WTX X, U, S, P c (X{U)~S|PTX X, U, S, T c X{(U{S)~TTX X, U, S, X c X~U|S{XTX X, U, T, O c X~U{T{OTX X, U, T, P c X~U{T~PTX X, U, T, S c X{(U{S)~TTX X, U, T, U c (X{TU)~UTX X, U, T, W c X~T{U{WTX X, U, T, X c X~(U{TX)TX X, U, U, P c X~U{U|PTX X, U, U, T c (X{TU)~UTX X, U, V, Q c X~U{V|QTX X, U, V, W c X{U~V{WTX X, U, W, Q c X{U~W{QTX X, U, W, R c X~U{W|RTX X, U, W, T c X~T{U{WTX X, U, W, V c X|U{W~VTX X, U, X, S c X{U~X|STX X, U, X, T c X~(U{TX)TX X, V, O, S c X~V{O|STX X, V, P, R c (X~V)|(P{R)TX X, V, P, S c X~V|P~STX X, V, P, T c X~V{P|TTX X, V, P, V c X{V~V{PTX X, V, Q, Q c (X~V)|(Q{Q)TX X, V, Q, T c X~T{V~QTX X, V, Q, U c X~V{Q|UTX X, V, Q, W c X~V|WQTX X, V, R, P c (X~V)|(R{P)TX X, V, R, T c X{(V{R)~TTX X, V, R, V c X~V{R|VTX X, V, R, W c XR{V~WTX X, V, S, O c X~V|S{OTX X, V, S, P c X~V|S~PTX X, V, S, S c (X{S)~S{VTX X, V, S, T c (X{V)~S|TTX X, V, S, V c (X|SV)~VTX X, V, S, W c X~V{S|WTX X, V, S, X c X~(V|SX)TX X, V, T, P c X~V|T{PTX X, V, T, Q c X~T{V~QTX X, V, T, R c X{(V{R)~TTX X, V, T, S c (X{V)~S|TTX X, V, T, V c X~T{V{VTX X, V, T, X c X~V{T|XTX X, V, U, Q c X~V|U{QTX X, V, U, W c X{V~U{WTX X, V, V, P c X{V~V{PTX X, V, V, R c X~V|V{RTX X, V, V, S c (X|SV)~VTX X, V, V, T c X~T{V{VTX X, V, W, Q c X~V|WQTX X, V, W, R c XR{V~WTX X, V, W, S c X~V|W{STX X, V, W, U c X{V~W|UTX X, V, X, S c X~(V|SX)TX X, V, X, T c X~V|X{TTX X, W, P, S c X~(W|P)|STX X, W, P, T c (X|P)~W|TTX X, W, Q, R c (X|Q)~W{RTX X, W, Q, T c X{(W{Q)~TTX X, W, Q, U c X{W~U{QTX X, W, Q, V c X~V|WQTX X, W, R, Q c (X|Q)~W{RTX X, W, R, S c X~R{W~STX X, W, R, U c X~U{W|RTX X, W, R, V c XR{W~VTX X, W, R, W c (X{W)~R{WTX X, W, S, P c X~(W|P)|STX X, W, S, R c X~R{W~STX X, W, S, V c X~V|W{STX X, W, S, W c W~W|X{STX X, W, S, X c (X{W)~S|XTX X, W, T, P c (X|P)~W|TTX X, W, T, Q c X{(W{Q)~TTX X, W, T, U c X~T{W{UTX X, W, T, W c (X~W)|(T{W)TX X, W, U, Q c X{W~U{QTX X, W, U, R c X~U{W|RTX X, W, U, T c X~T{W{UTX X, W, U, V c X{W{U~VTX X, W, V, Q c X~V|WQTX X, W, V, R c XR{W~VTX X, W, V, S c X~V|W{STX X, W, V, U c X{W{V~UTX X, W, W, R c (X{W)~R{WTX X, W, W, S c W~W|X{STX X, W, W, T c (X~W)|(W{T)TX X, W, X, S c (X~W)|(X{S)TX X, X, P, T c X{(X{P)~TTX X, X, Q, S c X~(X|Q)|STX X, X, R, T c (X{X)~R{TTX X, X, S, Q c X~(X|Q)|STX X, X, S, U c X{X~U|STX X, X, S, V c X~(V|SX)TX X, X, S, W c (X~W)|(X{S)TX X, X, T, P c X{(X{P)~TTX X, X, T, R c (X{X)~R{TTX X, X, T, T c X{X~T{TTX X, X, T, U c X~(TX{U)TX X, X, T, V c X~V|X{TTX X, X, U, S c X{X~U|STX X, X, U, T c X~(U{TX)TX X, X, V, S c X~(V|SX)TX X, X, V, T c X~V|X{TTX X, X, W, S c (X~W)|(X{S)TX