O, P, U, X c O{U~X|PTR O, P, X, U c O{X~U|PTR O, R, V, W c O{V~W|RTR O, R, W, V c O{W~V|RTR O, S, V, V c O{S{V~VTR O, T, U, W c O{T{U~WTR O, T, W, U c O{T{W~UTR O, T, W, X c O{T~X{WTR O, T, X, W c O{T~X{WTR O, U, P, X c O{U~X|PTR O, U, T, W c O{U~W{TTR O, U, W, T c O{U~W{TTR O, U, X, P c O{U~X|PTR O, V, R, W c O{V~W|RTR O, V, S, V c O{V~V{STR O, V, V, S c O{V~V{STR O, V, W, R c O{V~W|RTR O, W, R, V c O{W~V|RTR O, W, T, U c O{W~U{TTR O, W, T, X c O{W{T~XTR O, W, U, T c O{W~U{TTR O, W, V, R c O{W~V|RTR O, W, X, T c O{W{X~TTR O, X, P, U c O{X~U|PTR O, X, T, W c O{X~T{WTR O, X, U, P c O{X~U|PTR O, X, W, T c O{X~T{WTR P, O, U, X c O{U~X|PTR P, O, X, U c O{X~U|PTR P, P, T, X c (P{T)~X|PTR P, P, U, W c (P{W)~U|PTR P, P, U, X c P~U~X|PTR P, P, V, X c (V|P)~X|PTR P, P, W, U c (P{W)~U|PTR P, P, X, T c (P{T)~X|PTR P, P, X, U c P~X~U|PTR P, P, X, V c X~(V|P)|PTR P, Q, R, X c Q~R~X|PTR P, Q, S, X c (Q{S)~X|PTR P, Q, U, V c (Q{V)~U|PTR P, Q, U, X c P{U~X|QTR P, Q, V, U c (Q{V)~U|PTR P, Q, V, W c (V~W)|(P{Q)TR P, Q, W, V c (W~V)|(P{Q)TR P, Q, W, X c (W|Q)~X|PTR P, Q, X, R c Q~X~R|PTR P, Q, X, S c (Q{S)~X|PTR P, Q, X, U c P{X~U|QTR P, Q, X, W c X~(W|Q)|PTR P, R, Q, X c R~Q~X|PTR P, R, R, U c R~R~U|PTR P, R, R, X c (R{R)~X|PTR P, R, T, X c (P{X)~T{RTR P, R, U, R c R~U~R|PTR P, R, U, U c (R{U)~U|PTR P, R, U, W c (P{U)~W|RTR P, R, V, V c P{R{V~VTR P, R, V, W c P~V~W|RTR P, R, V, X c V~(X|P)|RTR P, R, W, U c (P{U)~W|RTR P, R, W, V c P~W~V|RTR P, R, W, W c (W|P)~W|RTR P, R, X, Q c R~X~Q|PTR P, R, X, R c (R{R)~X|PTR P, R, X, T c (P{X)~T{RTR P, R, X, V c (X|P)~V|RTR P, R, X, X c R~(X{X)|PTR P, S, Q, X c (S{Q)~X|PTR P, S, S, X c P{S~(S{X)TR P, S, T, U c (S{T)~U|PTR P, S, T, W c P{S~(T{W)TR P, S, U, T c (S{T)~U|PTR P, S, U, V c P{S~(U{V)TR P, S, U, W c P{S{U~WTR P, S, V, U c P{S~(V{U)TR P, S, V, V c P~S{V~VTR P, S, V, W c P{V~W|STR P, S, W, T c P{S~(W{T)TR P, S, W, U c P{S{W~UTR P, S, W, V c P{W~V|STR P, S, W, X c (P{S)~X{WTR P, S, X, Q c (S{Q)~X|PTR P, S, X, S c P{(S{X)~STR P, S, X, W c (P{S)~X{WTR P, T, P, X c (P{T)~X|PTR P, T, R, X c (P{X)~T{RTR P, T, S, U c (T{S)~U|PTR P, T, S, W c P{(T{W)~STR P, T, T, W c (P{T)~W{TTR P, T, U, S c (T{S)~U|PTR P, T, U, V c (P{V)~U{TTR P, T, U, W c P~T{U~WTR P, T, U, X c T{U~(X|P)TR P, T, V, U c (P{V)~U{TTR P, T, V, V c T|P{V~VTR P, T, V, W c T{(V|P)~WTR P, T, V, X c P{T~X{VTR P, T, W, S c P{(T{W)~STR P, T, W, T c (P{T)~W{TTR P, T, W, U c P~T{W~UTR P, T, W, V c T{W~(V|P)TR P, T, W, W c (P{W)~T{WTR P, T, W, X c P~T~X{WTR P, T, X, P c (P{T)~X|PTR P, T, X, R c (P{X)~T{RTR P, T, X, U c T{(X|P)~UTR P, T, X, V c P{T~X{VTR P, T, X, W c P~T~X{WTR P, T, X, X c T~X|P{XTR P, U, O, X c (U{O)~X|PTR P, U, P, W c (P{W)~U|PTR P, U, P, X c P~U~X|PTR P, U, Q, V c U~(Q{V)|PTR P, U, Q, X c P{U~X|QTR P, U, R, R c U~R~R|PTR P, U, R, U c (U{R)~U|PTR P, U, R, W c (P{U)~W|RTR P, U, S, T c U~(S{T)|PTR P, U, S, V c P{(U{V)~STR P, U, S, W c P{U~W{STR P, U, T, S c U~(T{S)|PTR P, U, T, V c (P{V)~U{TTR P, U, T, W c P~U~W{TTR P, U, T, X c U~(X|P){TTR P, U, U, R c U~(U{R)|PTR P, U, U, W c U|P{U~WTR P, U, U, X c U~(X|PU)TR P, U, V, Q c U~(V{Q)|PTR P, U, V, S c P{(U{V)~STR P, U, V, T c (P{V)~U{TTR P, U, V, X c (P{X)~U|VTR P, U, W, P c (P{W)~U|PTR P, U, W, R c (P{U)~W|RTR P, U, W, S c P{U~W{STR P, U, W, T c P~U~W{TTR P, U, W, U c U|P{W~UTR P, U, W, X c (U|P)~X{WTR P, U, X, O c U~X|P{OTR P, U, X, P c P~U~X|PTR P, U, X, Q c P{U~X|QTR P, U, X, T c U~(X|P){TTR P, U, X, U c U~(X|PU)TR P, U, X, V c (P{X)~U|VTR P, U, X, W c (U|P)~X{WTR P, U, X, X c (U|PX)~XTR P, V, P, X c (V|P)~X|PTR P, V, Q, U c (V{Q)~U|PTR P, V, Q, W c (V~W)|(P{Q)TR P, V, R, V c P{V~V{RTR P, V, R, W c P~V~W|RTR P, V, R, X c V~(X|P)|RTR P, V, S, U c P{(V{U)~STR P, V, S, V c P~V~V{STR P, V, S, W c P{V~W|STR P, V, T, U c (P{V)~U{TTR P, V, T, V c V~V|P{TTR P, V, T, W c (V|P)~W{TTR P, V, T, X c P{V{T~XTR P, V, U, Q c (V{Q)~U|PTR P, V, U, S c P{(V{U)~STR P, V, U, T c (P{V)~U{TTR P, V, U, X c (P{X)~U|VTR P, V, V, R c P{V~V{RTR P, V, V, S c P~V~V{STR P, V, V, T c V~V|P{TTR P, V, W, Q c (V~W)|(P{Q)TR P, V, W, R c P~V~W|RTR P, V, W, S c P{V~W|STR P, V, W, T c (V|P)~W{TTR P, V, X, P c (V|P)~X|PTR P, V, X, R c V~(X|P)|RTR P, V, X, T c P{V{X~TTR P, V, X, U c (P{X)~U|VTR P, V, X, X c (V~X)|(P{X)TR P, W, P, U c (P{W)~U|PTR P, W, Q, V c (W~V)|(P{Q)TR P, W, Q, X c (W|Q)~X|PTR P, W, R, U c (P{U)~W|RTR P, W, R, V c P~W~V|RTR P, W, R, W c (W|P)~W|RTR P, W, S, T c P{(W{T)~STR P, W, S, U c P{W~U{STR P, W, S, V c P{W~V|STR P, W, S, X c (P{S)~X{WTR P, W, T, S c P{(W{T)~STR P, W, T, T c (P{T)~W{TTR P, W, T, U c P~W~U{TTR P, W, T, V c W~(V|P){TTR P, W, T, W c (P{W)~T{WTR P, W, T, X c P~W{T~XTR P, W, U, P c (P{W)~U|PTR P, W, U, R c (P{U)~W|RTR P, W, U, S c P{W~U{STR P, W, U, T c P~W~U{TTR P, W, U, U c W~U|P{UTR P, W, U, X c W{(U|P)~XTR P, W, V, Q c (W~V)|(P{Q)TR P, W, V, R c P~W~V|RTR P, W, V, S c P{W~V|STR P, W, V, T c W~(V|P){TTR P, W, W, R c (W|P)~W|RTR P, W, W, T c (P{W)~T{WTR P, W, X, Q c (W|Q)~X|PTR P, W, X, S c (P{S)~X{WTR P, W, X, T c P~W{X~TTR P, W, X, U c W{X~(U|P)TR P, X, O, U c (X{O)~U|PTR P, X, P, T c (P{T)~X|PTR P, X, P, U c P~X~U|PTR P, X, P, V c X~(V|P)|PTR P, X, Q, R c X~Q~R|PTR P, X, Q, S c X~(Q{S)|PTR P, X, Q, U c P{X~U|QTR P, X, Q, W c X~(W|Q)|PTR P, X, R, Q c X~R~Q|PTR P, X, R, R c X~(R{R)|PTR P, X, R, T c (P{X)~T{RTR P, X, R, V c (X|P)~V|RTR P, X, R, X c (X|R)~X|PTR P, X, S, Q c X~(S{Q)|PTR P, X, S, S c P{(X{S)~STR P, X, S, W c (P{S)~X{WTR P, X, T, P c (P{T)~X|PTR P, X, T, R c (P{X)~T{RTR P, X, T, U c (X|P)~U{TTR P, X, T, V c P{X~T{VTR P, X, T, W c P~X~T{WTR P, X, T, X c X|P{T~XTR P, X, U, O c X~U|P{OTR P, X, U, P c P~X~U|PTR P, X, U, Q c P{X~U|QTR P, X, U, T c (X|P)~U{TTR P, X, U, U c (X|PU)~UTR P, X, U, V c (P{X)~U|VTR P, X, U, W c X~(U|P){WTR P, X, U, X c X~(U|PX)TR P, X, V, P c X~(V|P)|PTR P, X, V, R c (X|P)~V|RTR P, X, V, T c P{X~T{VTR P, X, V, U c (P{X)~U|VTR P, X, V, X c (X~V)|(P{X)TR P, X, W, Q c X~(W|Q)|PTR P, X, W, S c (P{S)~X{WTR P, X, W, T c P~X~T{WTR P, X, W, U c X~(U|P){WTR P, X, X, R c (X{X)~R|PTR P, X, X, T c X|P{X~TTR P, X, X, U c X~(U|PX)TR P, X, X, V c (X~V)|(P{X)TR Q, P, R, X c Q~R~X|PTR Q, P, S, X c (Q{S)~X|PTR Q, P, U, V c (Q{V)~U|PTR Q, P, U, X c P{U~X|QTR Q, P, V, U c (Q{V)~U|PTR Q, P, V, W c (V~W)|(Q{P)TR Q, P, W, V c (W~V)|(Q{P)TR Q, P, W, X c (W|Q)~X|PTR Q, P, X, R c Q~X~R|PTR Q, P, X, S c (Q{S)~X|PTR Q, P, X, U c P{X~U|QTR Q, P, X, W c X~(W|Q)|PTR Q, Q, T, X c (Q{X)~T|QTR Q, Q, U, X c U~X|QQTR Q, Q, V, V c Q{Q{V~VTR Q, Q, X, T c (Q{X)~T|QTR Q, Q, X, U c X~U|QQTR Q, R, P, X c Q~R~X|PTR Q, R, S, V c Q~S~V|RTR Q, R, T, T c Q~T~T{RTR Q, R, T, W c Q~R~W{TTR Q, R, U, V c (Q{U)~V|RTR Q, R, U, W c Q{R{U~WTR Q, R, U, X c Q{U~X|RTR Q, R, V, S c Q~V~S|RTR Q, R, V, U c (Q{U)~V|RTR Q, R, W, T c Q~R~W{TTR Q, R, W, U c Q{R{W~UTR Q, R, W, X c Q{R~(W{X)TR Q, R, X, P c Q~R~X|PTR Q, R, X, U c Q{X~U|RTR Q, R, X, W c (Q{R)~X{WTR Q, S, P, X c (Q{S)~X|PTR Q, S, R, V c Q~S~V|RTR Q, S, T, U c Q~S~U{TTR Q, S, T, V c (Q{T)~V{STR Q, S, T, W c (Q{S)~W{TTR Q, S, T, X c Q~S{T~XTR Q, S, U, T c Q~S~U{TTR Q, S, V, R c Q~S~V|RTR Q, S, V, T c (Q{T)~V{STR Q, S, V, X c S{V~(X|Q)TR Q, S, W, T c (Q{S)~W{TTR Q, S, X, P c (Q{S)~X|PTR Q, S, X, T c Q~S{X~TTR Q, S, X, V c S{(X|Q)~VTR Q, S, X, X c (Q{X)~S{XTR Q, T, Q, X c (Q{X)~T|QTR Q, T, R, T c Q~T~T{RTR Q, T, R, W c (Q{T)~W|RTR Q, T, S, U c Q~S~U{TTR Q, T, S, V c (Q{T)~V{STR Q, T, S, W c (Q{S)~W{TTR Q, T, S, X c Q~S{T~XTR Q, T, T, R c Q~T~T{RTR Q, T, T, U c T~(T{U)|QTR Q, T, U, S c Q~U~S{TTR Q, T, U, T c (T{U)~T|QTR Q, T, U, U c (Q{U)~U{TTR Q, T, U, V c Q~T~U|VTR Q, T, U, X c Q{T~X{UTR Q, T, V, S c (Q{T)~V{STR Q, T, V, U c Q~T~U|VTR Q, T, V, W c (Q{V)~T{WTR Q, T, V, X c Q~X{T~VTR Q, T, W, R c (Q{T)~W|RTR Q, T, W, S c (Q{S)~W{TTR Q, T, W, V c Q{W~V|TTR Q, T, W, W c T{(W|Q)~WTR Q, T, X, Q c (Q{X)~T|QTR Q, T, X, S c Q~S{T~XTR Q, T, X, U c Q{T~X{UTR Q, T, X, V c Q~X{T~VTR Q, U, P, V c (Q{V)~U|PTR Q, U, P, X c U~X|Q{PTR Q, U, Q, X c U~X|QQTR Q, U, R, V c (Q{U)~V|RTR Q, U, R, W c Q{U~W{RTR Q, U, R, X c Q{U~X|RTR Q, U, S, T c Q~U~S{TTR Q, U, T, S c Q~U~S{TTR Q, U, T, T c (U{T)~T|QTR Q, U, T, U c (Q{U)~U{TTR Q, U, T, V c Q~U~T|VTR Q, U, T, X c Q{U{T~XTR Q, U, U, T c (Q{U)~U{TTR Q, U, V, P c (Q{V)~U|PTR Q, U, V, R c (Q{U)~V|RTR Q, U, V, T c Q~U~T|VTR Q, U, V, V c U|Q{V~VTR Q, U, V, W c (Q{W)~U|VTR Q, U, V, X c Q{U~V{XTR Q, U, W, R c Q{U~W{RTR Q, U, W, V c (Q{W)~U|VTR Q, U, X, P c U~X|Q{PTR Q, U, X, Q c U~X|QQTR Q, U, X, R c Q{U~X|RTR Q, U, X, T c Q{U{X~TTR Q, U, X, V c Q{U~V{XTR Q, V, P, U c (Q{V)~U|PTR Q, V, P, W c (V~W)|(Q{P)TR Q, V, Q, V c Q{V~V{QTR Q, V, R, S c Q~V~S|RTR Q, V, R, U c (Q{U)~V|RTR Q, V, S, R c Q~V~S|RTR Q, V, S, T c (Q{T)~V{STR Q, V, S, X c V~(X|Q){STR Q, V, T, S c (Q{T)~V{STR Q, V, T, U c Q~T~U|VTR Q, V, T, W c (Q{V)~T{WTR Q, V, T, X c Q~X{V~TTR Q, V, U, P c (Q{V)~U|PTR Q, V, U, R c (Q{U)~V|RTR Q, V, U, T c Q~U~T|VTR Q, V, U, V c V~V|Q{UTR Q, V, U, W c (Q{W)~U|VTR Q, V, U, X c Q{V~U{XTR Q, V, V, Q c Q{V~V{QTR Q, V, V, U c V~V|Q{UTR Q, V, V, W c V~V{WQTR Q, V, W, P c (V~W)|(Q{P)TR Q, V, W, T c Q{V~W|TTR Q, V, W, U c (Q{W)~U|VTR Q, V, W, V c V~V{WQTR Q, V, W, X c (V|Q)~X{WTR Q, V, X, S c V~(X|Q){STR Q, V, X, T c Q~X{V~TTR Q, V, X, U c Q{V~U{XTR Q, V, X, W c (V|Q)~X{WTR Q, W, P, V c (W~V)|(Q{P)TR Q, W, P, X c (W|Q)~X|PTR Q, W, R, T c Q~W~R{TTR Q, W, R, U c Q{W~U{RTR Q, W, R, X c Q{(W{X)~RTR Q, W, S, T c (Q{S)~W{TTR Q, W, T, R c (Q{W)~T{RTR Q, W, T, S c (Q{S)~W{TTR Q, W, T, V c Q{W~V|TTR Q, W, T, W c (W|Q)~W{TTR Q, W, U, R c Q{W~U{RTR Q, W, U, V c (Q{W)~U|VTR Q, W, V, P c (W~V)|(Q{P)TR Q, W, V, T c Q{W~V|TTR Q, W, V, U c (Q{W)~U|VTR Q, W, V, V c WQ{V~VTR Q, W, V, X c W{(V|Q)~XTR Q, W, W, T c (W|Q)~W{TTR Q, W, W, X c (W~W)|(Q{X)TR Q, W, X, P c (W|Q)~X|PTR Q, W, X, R c Q{(W{X)~RTR Q, W, X, V c W{X~(V|Q)TR Q, W, X, W c (W~W)|(Q{X)TR Q, X, P, R c Q~X~R|PTR Q, X, P, S c (Q{S)~X|PTR Q, X, P, U c X~U|Q{PTR Q, X, P, W c X~(W|Q)|PTR Q, X, Q, T c (Q{X)~T|QTR Q, X, Q, U c X~U|QQTR Q, X, R, P c Q~X~R|PTR Q, X, R, U c Q{X~U|RTR Q, X, R, W c Q{(X{W)~RTR Q, X, S, P c (Q{S)~X|PTR Q, X, S, T c Q~S{X~TTR Q, X, S, V c (X|Q)~V{STR Q, X, S, X c (Q{X)~S{XTR Q, X, T, Q c (Q{X)~T|QTR Q, X, T, S c Q~S{X~TTR Q, X, T, U c Q{X~T{UTR Q, X, T, V c Q~X{T~VTR Q, X, U, P c X~U|Q{PTR Q, X, U, Q c X~U|QQTR Q, X, U, R c Q{X~U|RTR Q, X, U, T c Q{X~T{UTR Q, X, U, V c Q{X{U~VTR Q, X, V, S c (X|Q)~V{STR Q, X, V, T c Q~X{V~TTR Q, X, V, U c Q{X{V~UTR Q, X, V, W c (X~V)|(Q{W)TR Q, X, W, P c X~(W|Q)|PTR Q, X, W, R c Q{(X{W)~RTR Q, X, W, V c (X~V)|(Q{W)TR Q, X, W, W c (W~W)|(Q{X)TR Q, X, X, S c (Q{X)~S{XTR R, O, V, W c O{V~W|RTR R, O, W, V c O{W~V|RTR R, P, Q, X c R~Q~X|PTR R, P, R, U c R~R~U|PTR R, P, R, X c (R{R)~X|PTR R, P, T, X c R{(P{X)~TTR R, P, U, R c R~U~R|PTR R, P, U, U c (R{U)~U|PTR R, P, U, W c (P{U)~W|RTR R, P, V, V c R{P{V~VTR R, P, V, W c P~V~W|RTR R, P, V, X c V~(X|P)|RTR R, P, W, U c (P{U)~W|RTR R, P, W, V c P~W~V|RTR R, P, W, W c (W|P)~W|RTR R, P, X, Q c R~X~Q|PTR R, P, X, R c (R{R)~X|PTR R, P, X, T c R{(P{X)~TTR R, P, X, V c (X|P)~V|RTR R, P, X, X c R~(X{X)|PTR R, Q, P, X c R~Q~X|PTR R, Q, S, V c Q~S~V|RTR R, Q, T, T c R{Q~T~TTR R, Q, T, W c R{(Q{W)~TTR R, Q, U, V c (Q{U)~V|RTR R, Q, U, W c R{Q{U~WTR R, Q, U, X c Q{U~X|RTR R, Q, V, S c Q~V~S|RTR R, Q, V, U c (Q{U)~V|RTR R, Q, W, T c R{(Q{W)~TTR R, Q, W, U c R{Q{W~UTR R, Q, W, X c (R{Q)~X{WTR R, Q, X, P c R~Q~X|PTR R, Q, X, U c Q{X~U|RTR R, Q, X, W c (R{Q)~X{WTR R, R, P, U c R~R~U|PTR R, R, P, X c (R{R)~X|PTR R, R, S, W c (R{S)~W|RTR R, R, T, V c R{(R{V)~TTR R, R, T, W c R~R~T{WTR R, R, U, P c R~R~U|PTR R, R, U, X c U~X|RRTR R, R, V, T c R{(R{V)~TTR R, R, W, S c (R{S)~W|RTR R, R, W, T c (R{R)~W{TTR R, R, X, P c (R{R)~X|PTR R, R, X, U c X~U|RRTR R, S, Q, V c S~Q~V|RTR R, S, R, W c (R{S)~W|RTR R, S, S, T c R~S~S{TTR R, S, S, V c (R{S)~V{STR R, S, T, S c R~S~S{TTR R, S, T, U c R{(S{U)~TTR R, S, T, V c R~S~T|VTR R, S, T, X c (R{X)~S{TTR R, S, U, T c R{(S{U)~TTR R, S, U, W c S~(U{W)|RTR R, S, U, X c R{U~X|STR R, S, V, Q c S~V~Q|RTR R, S, V, S c (R{S)~V{STR R, S, V, T c R~S~T|VTR R, S, V, V c S~(V{V)|RTR R, S, V, W c R~V{S~WTR R, S, W, R c (R{S)~W|RTR R, S, W, U c S~(W{U)|RTR R, S, W, V c R~V{S~WTR R, S, W, X c (R{W)~S{XTR R, S, X, T c (R{X)~S{TTR R, S, X, U c R{X~U|STR R, S, X, W c (R{W)~S{XTR R, T, P, X c R{T~(P{X)TR R, T, Q, T c R{T~Q~TTR R, T, Q, W c R{T~(Q{W)TR R, T, R, V c R{T~(R{V)TR R, T, R, W c R~T~R{WTR R, T, S, S c R~S~S{TTR R, T, S, U c R{T~(S{U)TR R, T, S, V c R~T~S|VTR R, T, S, X c (R{X)~S{TTR R, T, T, Q c R{T~T~QTR R, T, T, T c R{(T{T)~TTR R, T, T, U c (R{T)~U{TTR R, T, T, X c R{T{T~XTR R, T, U, S c R{T~(U{S)TR R, T, U, T c (R{T)~U{TTR R, T, U, V c R~U{T~VTR R, T, U, W c (R{U)~T{WTR R, T, V, R c R{T~(V{R)TR R, T, V, S c R~T~S|VTR R, T, V, U c R~U{T~VTR R, T, V, X c R~(V{X){TTR R, T, W, Q c R{T~(W{Q)TR R, T, W, R c R~T~R{WTR R, T, W, U c (R{U)~T{WTR R, T, W, W c R~(W{W){TTR R, T, W, X c T{W~(X|R)TR R, T, X, P c R{T~(X{P)TR R, T, X, S c (R{X)~S{TTR R, T, X, T c R{T{X~TTR R, T, X, V c (R{X)~T|VTR R, T, X, W c T{(X|R)~WTR R, U, P, R c R~U~R|PTR R, U, P, U c (R{U)~U|PTR R, U, P, W c (U{P)~W|RTR R, U, Q, V c (U{Q)~V|RTR R, U, Q, W c R{U~W{QTR R, U, Q, X c U~X|R{QTR R, U, R, P c R~U~R|PTR R, U, R, X c U~X|RRTR R, U, S, T c R{(U{S)~TTR R, U, S, W c (U{W)~S|RTR R, U, S, X c R{U~X|STR R, U, T, S c R{(U{S)~TTR R, U, T, T c (R{T)~U{TTR R, U, T, V c R~U{T~VTR R, U, T, W c (R{U)~T{WTR R, U, U, P c (R{U)~U|PTR R, U, V, Q c (U{Q)~V|RTR R, U, V, T c R~U{V~TTR R, U, V, V c (R{V)~U|VTR R, U, V, W c R{U~V{WTR R, U, W, P c (U{P)~W|RTR R, U, W, Q c R{U~W{QTR R, U, W, S c (U{W)~S|RTR R, U, W, T c (R{U)~T{WTR R, U, W, V c R{U~V{WTR R, U, W, W c U~W|R{WTR R, U, W, X c R~(U{X){WTR R, U, X, Q c U~X|R{QTR R, U, X, R c U~X|RRTR R, U, X, S c R{U~X|STR R, U, X, W c R~(U{X){WTR R, V, O, W c (V{O)~W|RTR R, V, P, V c R{V~V{PTR R, V, P, W c V~P~W|RTR R, V, P, X c V~(X|P)|RTR R, V, Q, S c V~Q~S|RTR R, V, Q, U c V~(Q{U)|RTR R, V, R, T c R{(V{R)~TTR R, V, S, Q c V~S~Q|RTR R, V, S, S c (R{S)~V{STR R, V, S, T c R~S~T|VTR R, V, S, V c (V{V)~S|RTR R, V, S, W c R~V{S~WTR R, V, T, R c (R{V)~T{RTR R, V, T, S c R~T~S|VTR R, V, T, U c R~U{V~TTR R, V, T, X c R~(V{X){TTR R, V, U, Q c V~(U{Q)|RTR R, V, U, T c R~U{V~TTR R, V, U, V c (R{V)~U|VTR R, V, U, W c R{V~U{WTR R, V, V, P c R{V~V{PTR R, V, V, S c (V{V)~S|RTR R, V, V, U c (R{V)~U|VTR R, V, V, V c V|R{V~VTR R, V, V, W c V~(W|RV)TR R, V, V, X c (V~X)|(R{V)TR R, V, W, O c V~W|R{OTR R, V, W, P c V~W|R~PTR R, V, W, S c R~V{W~STR R, V, W, U c R{V~W|UTR R, V, W, V c V~(W|RV)TR R, V, W, W c R~(V{W){WTR R, V, W, X c V~W|XRTR R, V, X, P c V~(X|P)|RTR R, V, X, T c R~(V{X){TTR R, V, X, V c (V~X)|(R{V)TR R, V, X, W c V~W|XRTR R, W, O, V c (W{O)~V|RTR R, W, P, U c W~(P{U)|RTR R, W, P, V c W~P~V|RTR R, W, P, W c (W|P)~W|RTR R, W, Q, T c R{(W{Q)~TTR R, W, Q, U c R{W~U{QTR R, W, Q, X c R~(W{X){QTR R, W, R, S c (R{S)~W|RTR R, W, R, T c (R{R)~W{TTR R, W, S, R c (R{S)~W|RTR R, W, S, U c (W{U)~S|RTR R, W, S, V c R~V{W~STR R, W, S, X c (R{W)~S{XTR R, W, T, Q c (R{W)~T|QTR R, W, T, R c R~T~R{WTR R, W, T, U c (R{U)~T{WTR R, W, T, W c R~(W{W){TTR R, W, T, X c W~(X|R){TTR R, W, U, P c W~(U{P)|RTR R, W, U, Q c R{W~U{QTR R, W, U, S c (W{U)~S|RTR R, W, U, T c (R{U)~T{WTR R, W, U, V c R{W{U~VTR R, W, U, W c W|R{U~WTR R, W, U, X c R~(U{X){WTR R, W, V, O c W~V|R{OTR R, W, V, P c W~V|R~PTR R, W, V, S c R~V{W~STR R, W, V, U c R{W{V~UTR R, W, V, V c (W|RV)~VTR R, W, V, W c R~(W{V){WTR R, W, V, X c W~V|XRTR R, W, W, P c W~(W|P)|RTR R, W, W, T c R~(W{W){TTR R, W, W, U c W|R{W~UTR R, W, W, V c R~(W{V){WTR R, W, W, W c (W~W)|(R{W)TR R, W, W, X c (W|R)~X{WTR R, W, X, Q c R~(W{X){QTR R, W, X, S c (R{W)~S{XTR R, W, X, T c W~(X|R){TTR R, W, X, U c R~(X{U){WTR R, W, X, V c W~V|XRTR R, W, X, W c (W|R)~X{WTR R, X, P, Q c R~X~Q|PTR R, X, P, R c (R{R)~X|PTR R, X, P, T c R{(X{P)~TTR R, X, P, V c (X|P)~V|RTR R, X, P, X c R~(X{X)|PTR R, X, Q, P c R~X~Q|PTR R, X, Q, U c X~U|R{QTR R, X, Q, W c R~(X{W){QTR R, X, R, P c (R{R)~X|PTR R, X, R, U c X~U|RRTR R, X, S, T c (R{X)~S{TTR R, X, S, U c R{X~U|STR R, X, S, W c (R{W)~S{XTR R, X, T, P c R{(X{P)~TTR R, X, T, S c (R{X)~S{TTR R, X, T, T c R{X~T{TTR R, X, T, V c (R{X)~T|VTR R, X, T, W c (X|R)~W{TTR R, X, U, Q c X~U|R{QTR R, X, U, R c X~U|RRTR R, X, U, S c R{X~U|STR R, X, U, W c R~(X{U){WTR R, X, V, P c (X|P)~V|RTR R, X, V, T c R~(X{V){TTR R, X, V, V c (X~V)|(R{V)TR R, X, V, W c V~W|XRTR R, X, W, Q c R~(X{W){QTR R, X, W, S c (R{W)~S{XTR R, X, W, T c (X|R)~W{TTR R, X, W, U c R~(X{U){WTR R, X, W, V c W~V|XRTR R, X, W, W c X~(W|R){WTR R, X, X, P c R~(X{X)|PTR S, O, V, V c S{O{V~VTR S, P, Q, X c (S{Q)~X|PTR S, P, S, X c S~(S{X){PTR S, P, T, U c (S{T)~U|PTR S, P, T, W c S~(T{W){PTR S, P, U, T c (S{T)~U|PTR S, P, U, V c S{(P{U)~VTR S, P, U, W c S{P{U~WTR S, P, V, U c S{(P{U)~VTR S, P, V, V c S{P~V~VTR S, P, V, W c S{V~(W|P)TR S, P, W, T c S~(W{T){PTR S, P, W, U c S{P{W~UTR S, P, W, V c S{(W|P)~VTR S, P, W, X c (S{P)~X{WTR S, P, X, Q c (S{Q)~X|PTR S, P, X, S c (S{X)~S{PTR S, P, X, W c (S{P)~X{WTR S, Q, P, X c (S{Q)~X|PTR S, Q, R, V c S~Q~V|RTR S, Q, T, U c S~Q~U{TTR S, Q, T, V c S{(Q{T)~VTR S, Q, T, W c (S{Q)~W{TTR S, Q, T, X c S~Q{T~XTR S, Q, U, T c S~Q~U{TTR S, Q, V, R c S~Q~V|RTR S, Q, V, T c S{(Q{T)~VTR S, Q, V, X c S{V~(X|Q)TR S, Q, W, T c (S{Q)~W{TTR S, Q, X, P c (S{Q)~X|PTR S, Q, X, T c S~Q{X~TTR S, Q, X, V c S{(X|Q)~VTR S, Q, X, X c S~(Q{X){XTR S, R, Q, V c S~Q~V|RTR S, R, R, W c (S{R)~W|RTR S, R, S, T c S~R~S{TTR S, R, S, V c S{(R{S)~VTR S, R, T, S c S~R~S{TTR S, R, T, U c (S{U)~T{RTR S, R, T, V c S~R~T|VTR S, R, T, X c S~(R{X){TTR S, R, U, T c (S{U)~T{RTR S, R, U, W c S~(U{W)|RTR S, R, U, X c R{U~X|STR S, R, V, Q c S~V~Q|RTR S, R, V, S c (S{R)~V{STR S, R, V, T c S~R~T|VTR S, R, V, V c S~(V{V)|RTR S, R, V, W c S~W{R~VTR S, R, W, R c (S{R)~W|RTR S, R, W, U c S~(W{U)|RTR S, R, W, V c S~W{R~VTR S, R, W, X c S~(R{W){XTR S, R, X, T c S~(R{X){TTR S, R, X, U c R{X~U|STR S, R, X, W c S~(R{W){XTR S, S, P, X c S~(S{X){PTR S, S, R, T c S~S~R{TTR S, S, R, V c S{(S{R)~VTR S, S, T, R c S~S~R{TTR S, S, T, U c (S{S)~U{TTR S, S, T, W c S~(S{W){TTR S, S, T, X c S{S{T~XTR S, S, U, T c (S{S)~U{TTR S, S, U, X c U~X|SSTR S, S, V, R c (S{S)~V|RTR S, S, V, X c S~(S{V){XTR S, S, W, T c S~(S{W){TTR S, S, X, P c S~(S{X){PTR S, S, X, T c S{S{X~TTR S, S, X, U c X~U|SSTR S, S, X, V c S~(S{V){XTR S, T, P, U c (S{T)~U|PTR S, T, P, W c S~(T{W){PTR S, T, Q, U c S~Q~U{TTR S, T, Q, V c S{(T{Q)~VTR S, T, Q, W c (S{Q)~W{TTR S, T, Q, X c S~Q{T~XTR S, T, R, S c S~R~S{TTR S, T, R, U c (S{U)~T{RTR S, T, R, V c S~T~R|VTR S, T, R, X c S~(T{X)|RTR S, T, S, R c S~S~R{TTR S, T, S, U c (S{S)~U{TTR S, T, S, W c S~(S{W){TTR S, T, S, X c S{T~X{STR S, T, T, V c S~(T{V){TTR S, T, T, W c (S{T)~T{WTR S, T, U, P c (S{T)~U|PTR S, T, U, Q c S~U~Q{TTR S, T, U, R c (S{U)~T{RTR S, T, U, S c (S{S)~U{TTR S, T, U, U c S~(U{U){TTR S, T, U, X c S~(T{U){XTR S, T, V, Q c S{(T{Q)~VTR S, T, V, R c S~T~R|VTR S, T, V, T c S~(T{V){TTR S, T, V, W c (S{W)~T|VTR S, T, W, P c S~(T{W){PTR S, T, W, Q c (S{Q)~W{TTR S, T, W, S c (S{W)~S{TTR S, T, W, T c (S{T)~T{WTR S, T, W, V c (S{W)~T|VTR S, T, W, X c S{T~W{XTR S, T, X, Q c S~Q{T~XTR S, T, X, R c S~(T{X)|RTR S, T, X, S c S{T~X{STR S, T, X, U c S~(T{U){XTR S, T, X, W c S{T~W{XTR S, U, P, T c (S{T)~U|PTR S, U, P, V c S{(U{P)~VTR S, U, P, W c S{U~W{PTR S, U, Q, T c S~U~Q{TTR S, U, R, T c (S{U)~T{RTR S, U, R, W c S~(U{W)|RTR S, U, R, X c U~X|S{RTR S, U, S, T c (S{S)~U{TTR S, U, S, X c U~X|SSTR S, U, T, P c (S{T)~U|PTR S, U, T, Q c S~U~Q{TTR S, U, T, R c (S{U)~T{RTR S, U, T, S c (S{S)~U{TTR S, U, T, U c S~(U{U){TTR S, U, T, X c S~(U{T){XTR S, U, U, T c S~(U{U){TTR S, U, U, V c (S{U)~U|VTR S, U, V, P c S~(U{V){PTR S, U, V, U c (S{U)~U|VTR S, U, V, V c S{U~V{VTR S, U, V, X c S~(U{X)|VTR S, U, W, P c S{U~W{PTR S, U, W, R c S~(U{W)|RTR S, U, W, X c U~W|S{XTR S, U, X, R c U~X|S{RTR S, U, X, S c U~X|SSTR S, U, X, T c S{U~X|TTR S, U, X, V c S~(U{X)|VTR S, U, X, W c U~W|S{XTR S, V, O, V c S{(V{O)~VTR S, V, P, U c S{V~(P{U)TR S, V, P, V c S{V~P~VTR S, V, P, W c S{V~(W|P)TR S, V, Q, R c S~V~Q|RTR S, V, Q, T c S{V~(Q{T)TR S, V, Q, X c S{V~(X|Q)TR S, V, R, Q c S~V~Q|RTR S, V, R, S c S{V~(R{S)TR S, V, R, T c S~R~T|VTR S, V, R, V c S~(V{V)|RTR S, V, R, W c S~W{V~RTR S, V, S, R c S{V~(S{R)TR S, V, S, X c (S{V)~S{XTR S, V, T, Q c S{V~(T{Q)TR S, V, T, R c S~T~R|VTR S, V, T, T c S~(V{T){TTR S, V, T, W c (S{W)~T|VTR S, V, U, P c S{V~(U{P)TR S, V, U, U c (S{U)~U|VTR S, V, U, V c S{V{U~VTR S, V, U, X c S~(U{X)|VTR S, V, V, O c S{V~V{OTR S, V, V, P c S{V~V~PTR S, V, V, R c S~(V{V)|RTR S, V, V, U c S{V{V~UTR S, V, V, V c (SV{V)~VTR S, V, V, W c S{V~W|VTR S, V, W, P c S{V~(W|P)TR S, V, W, R c S~W{V~RTR S, V, W, T c (S{W)~T|VTR S, V, W, V c S{V~W|VTR S, V, W, W c (W~W)|(S{V)TR S, V, X, Q c S{V~(X|Q)TR S, V, X, S c (S{V)~S{XTR S, V, X, U c S~(X{U)|VTR S, V, X, X c X~X|S~VTR S, W, P, T c S~(W{T){PTR S, W, P, U c S{W~U{PTR S, W, P, V c S{(W|P)~VTR S, W, P, X c (S{P)~X{WTR S, W, Q, T c (S{Q)~W{TTR S, W, R, R c (S{R)~W|RTR S, W, R, U c S~(W{U)|RTR S, W, R, V c S~W{R~VTR S, W, R, X c S~(W{R){XTR S, W, S, T c (S{W)~S{TTR S, W, T, P c S~(W{T){PTR S, W, T, Q c (S{Q)~W{TTR S, W, T, S c (S{W)~S{TTR S, W, T, T c (S{T)~T{WTR S, W, T, V c (S{W)~T|VTR S, W, T, X c S{W~T{XTR S, W, U, P c S{W~U{PTR S, W, U, R c S~(W{U)|RTR S, W, U, X c W~U|S{XTR S, W, V, P c S{(W|P)~VTR S, W, V, R c S~W{V~RTR S, W, V, T c (S{W)~T|VTR S, W, V, V c S{W~V|VTR S, W, V, W c (W~W)|(S{V)TR S, W, W, V c (W~W)|(S{V)TR S, W, X, P c (S{P)~X{WTR S, W, X, R c S~(W{R){XTR S, W, X, T c S{W~T{XTR S, W, X, U c W~U|S{XTR S, W, X, X c S~X{W{XTR S, X, P, Q c (S{Q)~X|PTR S, X, P, S c (S{X)~S{PTR S, X, P, W c (S{P)~X{WTR S, X, Q, P c (S{Q)~X|PTR S, X, Q, T c S~Q{X~TTR S, X, Q, V c S{(X|Q)~VTR S, X, Q, X c S~(X{Q){XTR S, X, R, T c S~(X{R){TTR S, X, R, U c X~U|S{RTR S, X, R, W c S~(R{W){XTR S, X, S, P c (S{X)~S{PTR S, X, S, T c S{X~T{STR S, X, S, U c X~U|SSTR S, X, S, V c S~(S{V){XTR S, X, T, Q c S~Q{X~TTR S, X, T, R c S~(X{T)|RTR S, X, T, S c S{X~T{STR S, X, T, U c S{X~U|TTR S, X, T, W c S{X{T~WTR S, X, U, R c X~U|S{RTR S, X, U, S c X~U|SSTR S, X, U, T c S{X~U|TTR S, X, U, V c S~(X{U)|VTR S, X, U, W c X|S{U~WTR S, X, V, Q c S{(X|Q)~VTR S, X, V, S c (S{V)~S{XTR S, X, V, U c S~(X{U)|VTR S, X, V, X c X~X|S~VTR S, X, W, P c (S{P)~X{WTR S, X, W, R c S~(W{R){XTR S, X, W, T c S{X{W~TTR S, X, W, U c X|S{W~UTR S, X, W, X c S~X{W{XTR S, X, X, Q c S~(X{Q){XTR S, X, X, V c X~X|S~VTR S, X, X, W c S~X{X{WTR T, O, U, W c T{O{U~WTR T, O, W, U c T{O{W~UTR T, O, W, X c (T{O)~X{WTR T, O, X, W c (T{O)~X{WTR T, P, P, X c (T{P)~X|PTR T, P, R, X c T~(P{X){RTR T, P, S, U c (T{S)~U|PTR T, P, S, W c (T{W)~S{PTR T, P, T, W c T{(P{T)~WTR T, P, U, S c (T{S)~U|PTR T, P, U, V c T{(P{V)~UTR T, P, U, W c T{P~U~WTR T, P, U, X c T{U~(X|P)TR T, P, V, U c T{(P{V)~UTR T, P, V, V c T|P{V~VTR T, P, V, W c T{(V|P)~WTR T, P, V, X c T~X{P{VTR T, P, W, S c (T{W)~S{PTR T, P, W, T c (T{P)~W{TTR T, P, W, U c T{P~W~UTR T, P, W, V c T{W~(V|P)TR T, P, W, W c T~(P{W){WTR T, P, W, X c T~P~X{WTR T, P, X, P c (T{P)~X|PTR T, P, X, R c T~(P{X){RTR T, P, X, U c T{(X|P)~UTR T, P, X, V c T~X{P{VTR T, P, X, W c T~P~X{WTR T, P, X, X c T~X|P{XTR T, Q, Q, X c T~(Q{X)|QTR T, Q, R, T c T~Q~T{RTR T, Q, R, W c T{Q~R~WTR T, Q, S, U c T{Q~S~UTR T, Q, S, V c (T{Q)~V{STR T, Q, S, W c T{(Q{S)~WTR T, Q, S, X c T~X{Q~STR T, Q, T, R c T~Q~T{RTR T, Q, T, U c T~(T{U)|QTR T, Q, U, S c T{Q~U~STR T, Q, U, T c (T{U)~T|QTR T, Q, U, U c T{(Q{U)~UTR T, Q, U, V c T~Q~U|VTR T, Q, U, X c T~X{Q{UTR T, Q, V, S c (T{Q)~V{STR T, Q, V, U c T~Q~U|VTR T, Q, V, W c T~(Q{V){WTR T, Q, V, X c T~V{Q~XTR T, Q, W, R c (T{Q)~W|RTR T, Q, W, S c T{(Q{S)~WTR T, Q, W, V c T~(Q{V){WTR T, Q, W, W c T{(W|Q)~WTR T, Q, X, Q c T~(Q{X)|QTR T, Q, X, S c T~X{Q~STR T, Q, X, U c T~X{Q{UTR T, Q, X, V c T~V{Q~XTR T, R, P, X c T~(P{X){RTR T, R, Q, T c T~Q~T{RTR T, R, Q, W c T{R~Q~WTR T, R, R, V c (T{R)~V|RTR T, R, R, W c T{(R{R)~WTR T, R, S, S c T{R~S~STR T, R, S, U c T~(S{U){RTR T, R, S, V c T~R~S|VTR T, R, S, X c T{(R{X)~STR T, R, T, Q c T~T~Q{RTR T, R, T, T c (T{T)~T{RTR T, R, T, U c T{(R{T)~UTR T, R, T, X c T{R{T~XTR T, R, U, S c T~(U{S){RTR T, R, U, T c (T{R)~U{TTR T, R, U, V c T~V{R~UTR T, R, U, W c T~(R{U){WTR T, R, V, R c (T{R)~V|RTR T, R, V, S c T~R~S|VTR T, R, V, U c T~V{R~UTR T, R, V, X c T{R~(V{X)TR T, R, W, Q c T{R~W~QTR T, R, W, R c T{(R{R)~WTR T, R, W, U c T~(R{U){WTR T, R, W, W c T{R~(W{W)TR T, R, W, X c T{W~(X|R)TR T, R, X, P c T~(X{P){RTR T, R, X, S c T{(R{X)~STR T, R, X, T c T{R{X~TTR T, R, X, V c T{R~(X{V)TR T, R, X, W c T{(X|R)~WTR T, S, P, U c (T{S)~U|PTR T, S, P, W c (T{W)~S{PTR T, S, Q, U c T{S~Q~UTR T, S, Q, V c T~(S{V)|QTR T, S, Q, W c T{(S{Q)~WTR T, S, Q, X c T~X{S~QTR T, S, R, S c T{S~R~STR T, S, R, U c T~(S{U){RTR T, S, R, V c T~S~R|VTR T, S, R, X c T{S~(R{X)TR T, S, S, R c T{S~S~RTR T, S, S, U c T{(S{S)~UTR T, S, S, W c T{S~(S{W)TR T, S, S, X c T~X{S{STR T, S, T, V c T{S~(T{V)TR T, S, T, W c (T{S)~T{WTR T, S, U, P c (T{S)~U|PTR T, S, U, Q c T{S~U~QTR T, S, U, R c T~(S{U){RTR T, S, U, S c T{(S{S)~UTR T, S, U, U c T{S~(U{U)TR T, S, U, X c (T{U)~S{XTR T, S, V, Q c T~(S{V)|QTR T, S, V, R c T~S~R|VTR T, S, V, T c T{S~(V{T)TR T, S, V, W c T~(S{W)|VTR T, S, W, P c (T{W)~S{PTR T, S, W, Q c T{(S{Q)~WTR T, S, W, S c T{(S{W)~STR T, S, W, T c (T{S)~T{WTR T, S, W, V c T~(S{W)|VTR T, S, W, X c T~W{S{XTR T, S, X, Q c T~X{S~QTR T, S, X, R c T{S~(X{R)TR T, S, X, S c T~X{S{STR T, S, X, U c (T{U)~S{XTR T, S, X, W c T~W{S{XTR T, T, P, W c T{(T{P)~WTR T, T, Q, R c T~T~Q{RTR T, T, Q, U c T~(T{U)|QTR T, T, R, Q c T~T~Q{RTR T, T, R, T c (T{T)~T{RTR T, T, R, U c T{(T{R)~UTR T, T, R, X c T{T~X{RTR T, T, S, V c T~T{S~VTR T, T, S, W c T~(T{S){WTR T, T, T, R c (T{T)~T{RTR T, T, U, Q c T~(T{U)|QTR T, T, U, R c T{(T{R)~UTR T, T, U, V c (T{T)~U|VTR T, T, U, X c U~X|TTTR T, T, V, S c T{(T{V)~STR T, T, V, U c (T{T)~U|VTR T, T, V, V c T~(T{V)|VTR T, T, V, X c (V~X)|(T{T)TR T, T, W, P c T{(T{P)~WTR T, T, W, S c T~(T{S){WTR T, T, W, W c T{T~W{WTR T, T, W, X c T~(WT{X)TR T, T, X, R c T{T~X{RTR T, T, X, U c X~U|TTTR T, T, X, V c (X~V)|(T{T)TR T, T, X, W c T~(X{WT)TR T, U, O, W c T{(U{O)~WTR T, U, P, S c (T{S)~U|PTR T, U, P, V c T{U~(P{V)TR T, U, P, W c T{U~P~WTR T, U, P, X c T{U~(X|P)TR T, U, Q, S c T{U~Q~STR T, U, Q, T c (T{U)~T|QTR T, U, Q, U c T{(U{Q)~UTR T, U, Q, V c T~U~Q|VTR T, U, Q, X c T~X{U{QTR T, U, R, S c T~(U{S){RTR T, U, R, T c T{U~(R{T)TR T, U, R, V c T~V{U~RTR T, U, R, W c T~(U{R){WTR T, U, S, P c (T{S)~U|PTR T, U, S, Q c T{U~S~QTR T, U, S, R c T~(U{S){RTR T, U, S, S c T{U~(S{S)TR T, U, S, U c T{(U{U)~STR T, U, S, X c (T{U)~S{XTR T, U, T, Q c (T{U)~T|QTR T, U, T, R c T{U~(T{R)TR T, U, T, V c (T{T)~U|VTR T, U, T, X c U~X|TTTR T, U, U, Q c T{U~(U{Q)TR T, U, U, S c T{(U{U)~STR T, U, U, V c T{U{U~VTR T, U, U, W c (TU{W)~UTR T, U, U, X c T{U~X|UTR T, U, V, P c T{U~(V{P)TR T, U, V, Q c T~U~Q|VTR T, U, V, R c T~V{U~RTR T, U, V, T c (T{T)~U|VTR T, U, V, U c T{U{V~UTR T, U, V, W c T~W{U{VTR T, U, W, O c T{U~W{OTR T, U, W, P c T{U~W~PTR T, U, W, R c T~(U{R){WTR T, U, W, U c (TU{W)~UTR T, U, W, V c T~W{U{VTR T, U, W, W c (TW{U)~WTR T, U, X, P c T{U~(X|P)TR T, U, X, Q c T~X{U{QTR T, U, X, S c (T{U)~S{XTR T, U, X, T c U~X|TTTR T, U, X, U c T{U~X|UTR T, V, P, U c T{(V{P)~UTR T, V, P, V c T{V~V|PTR T, V, P, W c T{(V|P)~WTR T, V, P, X c T~X{V{PTR T, V, Q, S c T~(V{S)|QTR T, V, Q, U c T~Q~U|VTR T, V, Q, W c T~(V{Q){WTR T, V, Q, X c T~V{Q~XTR T, V, R, R c T~(V{R){RTR T, V, R, S c T~R~S|VTR T, V, R, U c T~V{R~UTR T, V, R, X c T{(V{X)~RTR T, V, S, Q c T~(V{S)|QTR T, V, S, R c T~S~R|VTR T, V, S, T c (T{V)~S{TTR T, V, S, W c T~(S{W)|VTR T, V, T, S c T{(V{T)~STR T, V, T, U c (T{T)~U|VTR T, V, T, V c (T{V)~T|VTR T, V, T, X c (V~X)|(T{T)TR T, V, U, P c T{(V{P)~UTR T, V, U, Q c T~U~Q|VTR T, V, U, R c T~V{U~RTR T, V, U, T c (T{T)~U|VTR T, V, U, U c T{V~U{UTR T, V, U, W c T~W{V{UTR T, V, V, P c T{V~V|PTR T, V, V, T c (T{V)~T|VTR T, V, V, X c V~V|T{XTR T, V, W, P c T{(V|P)~WTR T, V, W, Q c T~(V{Q){WTR T, V, W, S c T~(W{S)|VTR T, V, W, U c T~W{V{UTR T, V, W, W c T{V~W|WTR T, V, X, P c T~X{V{PTR T, V, X, Q c T~V{X~QTR T, V, X, R c T{(V{X)~RTR T, V, X, T c (V~X)|(T{T)TR T, V, X, V c V~V|T{XTR T, V, X, X c T~V{X{XTR T, W, O, U c T{(W{O)~UTR T, W, O, X c (T{O)~X{WTR T, W, P, S c (T{W)~S{PTR T, W, P, T c T{W~(P{T)TR T, W, P, U c T{W~P~UTR T, W, P, V c T{W~(V|P)TR T, W, P, W c T~(W{P){WTR T, W, P, X c T~P~X{WTR T, W, Q, R c T{W~Q~RTR T, W, Q, S c T{W~(Q{S)TR T, W, Q, V c T~(Q{V){WTR T, W, Q, W c T{(W|Q)~WTR T, W, R, Q c T{W~R~QTR T, W, R, R c T{W~(R{R)TR T, W, R, U c T~(R{U){WTR T, W, R, W c T{(W{W)~RTR T, W, R, X c T{W~(X|R)TR T, W, S, P c (T{W)~S{PTR T, W, S, Q c T{W~(S{Q)TR T, W, S, S c T{(W{S)~STR T, W, S, T c (T{S)~T{WTR T, W, S, V c T~(W{S)|VTR T, W, S, X c T~W{S{XTR T, W, T, P c T{W~(T{P)TR T, W, T, S c T~(T{S){WTR T, W, T, W c T{W{T~WTR T, W, T, X c T~(WT{X)TR T, W, U, O c T{W~U{OTR T, W, U, P c T{W~U~PTR T, W, U, R c T~(U{R){WTR T, W, U, U c (TU{W)~UTR T, W, U, V c T~W{U{VTR T, W, U, W c (TW{U)~WTR T, W, V, P c T{W~(V|P)TR T, W, V, Q c T~(V{Q){WTR T, W, V, S c T~(W{S)|VTR T, W, V, U c T~W{V{UTR T, W, V, W c T{W~V|WTR T, W, W, P c T~(W{P){WTR T, W, W, Q c T{W~(W|Q)TR T, W, W, R c T{(W{W)~RTR T, W, W, T c T{W{W~TTR T, W, W, U c (TW{U)~WTR T, W, W, V c T{W~V|WTR T, W, X, O c T~X{W{OTR T, W, X, P c T~X{W~PTR T, W, X, R c T{W~(X|R)TR T, W, X, S c T~W{X{STR T, W, X, T c T~(WT{X)TR T, W, X, X c (T{WX)~XTR T, X, O, W c T~X{O{WTR T, X, P, P c (T{P)~X|PTR T, X, P, R c T~(X{P){RTR T, X, P, U c T{(X|P)~UTR T, X, P, V c T~X{P{VTR T, X, P, W c T~X{P~WTR T, X, P, X c T~X|P{XTR T, X, Q, Q c T~(X{Q)|QTR T, X, Q, S c T~X{Q~STR T, X, Q, U c T~X{Q{UTR T, X, Q, V c T~V{X~QTR T, X, R, P c T~(X{P){RTR T, X, R, S c T{(X{R)~STR T, X, R, T c T~X{R{TTR T, X, R, V c T~(X{R)|VTR T, X, R, W c T{(X|R)~WTR T, X, S, Q c T~X{S~QTR T, X, S, R c (T{X)~S|RTR T, X, S, S c T~X{S{STR T, X, S, U c (T{U)~S{XTR T, X, S, W c T~W{X{STR T, X, T, R c T{X~T{RTR T, X, T, U c X~U|TTTR T, X, T, V c (X~V)|(T{T)TR T, X, T, W c T~(X{WT)TR T, X, U, P c T{(X|P)~UTR T, X, U, Q c T~X{U{QTR T, X, U, S c (T{U)~S{XTR T, X, U, T c X~U|TTTR T, X, U, U c T{X~U|UTR T, X, V, P c T~X{V{PTR T, X, V, Q c T~V{X~QTR T, X, V, R c T{(X{V)~RTR T, X, V, T c (X~V)|(T{T)TR T, X, V, V c X|T{V~VTR T, X, V, X c T~V{X{XTR T, X, W, O c T~X{W{OTR T, X, W, P c T~X{W~PTR T, X, W, R c T{(X|R)~WTR T, X, W, S c T~W{X{STR T, X, W, T c T~(X{WT)TR T, X, W, X c (T{WX)~XTR T, X, X, P c T~X{X|PTR T, X, X, V c T~V{X{XTR T, X, X, W c (T{WX)~XTR U, O, P, X c (U{O)~X|PTR U, O, T, W c (U{O)~W{TTR U, O, W, T c (U{O)~W{TTR U, O, X, P c (U{O)~X|PTR U, P, O, X c (U{O)~X|PTR U, P, P, W c U~(P{W)|PTR U, P, P, X c U~P~X|PTR U, P, Q, V c U~(Q{V)|PTR U, P, Q, X c U~X{P|QTR U, P, R, R c U~R~R|PTR U, P, R, U c (U{R)~U|PTR U, P, R, W c (U{P)~W|RTR U, P, S, T c U~(S{T)|PTR U, P, S, V c (U{P)~V{STR U, P, S, W c U~W{P{STR U, P, T, S c U~(T{S)|PTR U, P, T, V c U~(P{V){TTR U, P, T, W c U~P~W{TTR U, P, T, X c U~(X|P){TTR U, P, U, R c U~(U{R)|PTR U, P, U, W c U|P{U~WTR U, P, U, X c U~(X|PU)TR U, P, V, Q c U~(V{Q)|PTR U, P, V, S c (U{P)~V{STR U, P, V, T c U~(P{V){TTR U, P, V, X c U~(P{X)|VTR U, P, W, P c U~(P{W)|PTR U, P, W, R c (U{P)~W|RTR U, P, W, S c U~W{P{STR U, P, W, T c U~P~W{TTR U, P, W, U c U|P{W~UTR U, P, W, X c (U|P)~X{WTR U, P, X, O c U~X|P{OTR U, P, X, P c U~P~X|PTR U, P, X, Q c U~X{P|QTR U, P, X, T c U~(X|P){TTR U, P, X, U c U~(X|PU)TR U, P, X, V c U~(P{X)|VTR U, P, X, W c (U|P)~X{WTR U, P, X, X c (U|PX)~XTR U, Q, P, V c U~(Q{V)|PTR U, Q, P, X c U~X|Q{PTR U, Q, Q, X c U~X|QQTR U, Q, R, V c (U{Q)~V|RTR U, Q, R, W c U~W{Q{RTR U, Q, R, X c U~X{Q|RTR U, Q, S, T c U~Q~S{TTR U, Q, T, S c U~Q~S{TTR U, Q, T, T c (U{T)~T|QTR U, Q, T, U c (U{Q)~U{TTR U, Q, T, V c U~Q~T|VTR U, Q, T, X c U{Q{T~XTR U, Q, U, T c (U{Q)~U{TTR U, Q, V, P c U~(Q{V)|PTR U, Q, V, R c (U{Q)~V|RTR U, Q, V, T c U~Q~T|VTR U, Q, V, V c U|Q{V~VTR U, Q, V, W c U~(Q{W)|VTR U, Q, V, X c U~V{Q{XTR U, Q, W, R c U~W{Q{RTR U, Q, W, V c U~(Q{W)|VTR U, Q, X, P c U~X|Q{PTR U, Q, X, Q c U~X|QQTR U, Q, X, R c U~X{Q|RTR U, Q, X, T c U{Q{X~TTR U, Q, X, V c U~V{Q{XTR U, R, P, R c U~R~R|PTR U, R, P, U c (U{R)~U|PTR U, R, P, W c (U{P)~W|RTR U, R, Q, V c (U{Q)~V|RTR U, R, Q, W c U~W{R{QTR U, R, Q, X c U~X|R{QTR U, R, R, P c U~R~R|PTR U, R, R, X c U~X|RRTR U, R, S, T c (U{S)~T{RTR U, R, S, W c (U{W)~S|RTR U, R, S, X c U~X{R|STR U, R, T, S c (U{S)~T{RTR U, R, T, T c U~(R{T){TTR U, R, T, V c U~R{T~VTR U, R, T, W c (U{R)~T{WTR U, R, U, P c (U{R)~U|PTR U, R, V, Q c (U{Q)~V|RTR U, R, V, T c U~R{V~TTR U, R, V, V c U~(R{V)|VTR U, R, V, W c U~V{R{WTR U, R, W, P c (U{P)~W|RTR U, R, W, Q c U~W{R{QTR U, R, W, S c (U{W)~S|RTR U, R, W, T c (U{R)~T{WTR U, R, W, V c U~V{R{WTR U, R, W, W c U~W|R{WTR U, R, W, X c (U{X)~R{WTR U, R, X, Q c U~X|R{QTR U, R, X, R c U~X|RRTR U, R, X, S c U~X{R|STR U, R, X, W c (U{X)~R{WTR U, S, P, T c U~(S{T)|PTR U, S, P, V c (U{P)~V{STR U, S, P, W c U~W{S{PTR U, S, Q, T c U~S~Q{TTR U, S, R, T c (U{S)~T{RTR U, S, R, W c (U{W)~S|RTR U, S, R, X c U~X|S{RTR U, S, S, T c U~(S{S){TTR U, S, S, X c U~X|SSTR U, S, T, P c U~(S{T)|PTR U, S, T, Q c U~S~Q{TTR U, S, T, R c (U{S)~T{RTR U, S, T, S c U~(S{S){TTR U, S, T, U c (U{U)~S{TTR U, S, T, X c (U{T)~S{XTR U, S, U, T c (U{U)~S{TTR U, S, U, V c (U{S)~U|VTR U, S, V, P c (U{V)~S{PTR U, S, V, U c (U{S)~U|VTR U, S, V, V c U~V{S{VTR U, S, V, X c (U{X)~S|VTR U, S, W, P c U~W{S{PTR U, S, W, R c (U{W)~S|RTR U, S, W, X c U~W|S{XTR U, S, X, R c U~X|S{RTR U, S, X, S c U~X|SSTR U, S, X, T c U~X{S|TTR U, S, X, V c (U{X)~S|VTR U, S, X, W c U~W|S{XTR U, T, O, W c (U{O)~W{TTR U, T, P, S c U~(T{S)|PTR U, T, P, V c U~(P{V){TTR U, T, P, W c U~P~W{TTR U, T, P, X c U~(X|P){TTR U, T, Q, S c U~Q~S{TTR U, T, Q, T c (U{T)~T|QTR U, T, Q, U c (U{Q)~U{TTR U, T, Q, V c U~T~Q|VTR U, T, Q, X c U{T~X{QTR U, T, R, S c (U{S)~T{RTR U, T, R, T c U~(T{R){TTR U, T, R, V c U~R{T~VTR U, T, R, W c (U{R)~T{WTR U, T, S, P c U~(T{S)|PTR U, T, S, Q c U~S~Q{TTR U, T, S, R c (U{S)~T{RTR U, T, S, S c U~(S{S){TTR U, T, S, U c (U{U)~S{TTR U, T, S, X c (U{T)~S{XTR U, T, T, Q c (U{T)~T|QTR U, T, T, R c U~(T{R){TTR U, T, T, V c U~(T{T)|VTR U, T, T, X c U~X|TTTR U, T, U, Q c U~(U{Q){TTR U, T, U, S c (U{U)~S{TTR U, T, U, V c U{T{U~VTR U, T, U, W c U~(TU{W)TR U, T, U, X c U~X{T|UTR U, T, V, P c U~(V{P){TTR U, T, V, Q c U~T~Q|VTR U, T, V, R c U~R{T~VTR U, T, V, T c U~(T{T)|VTR U, T, V, U c U{T{V~UTR U, T, V, W c U{T~W{VTR U, T, W, O c U~W{T{OTR U, T, W, P c U~W{T~PTR U, T, W, R c (U{R)~T{WTR U, T, W, U c U~(TU{W)TR U, T, W, V c U{T~W{VTR U, T, W, W c (U{TW)~WTR U, T, X, P c U~(X|P){TTR U, T, X, Q c U{T~X{QTR U, T, X, S c (U{T)~S{XTR U, T, X, T c U~X|TTTR U, T, X, U c U~X{T|UTR U, U, P, R c U~(U{R)|PTR U, U, P, W c U{U~W|PTR U, U, P, X c U~(X|PU)TR U, U, Q, T c U~(U{Q){TTR U, U, R, P c U~(U{R)|PTR U, U, S, T c (U{U)~S{TTR U, U, S, V c U~(U{S)|VTR U, U, T, Q c U~(U{Q){TTR U, U, T, S c (U{U)~S{TTR U, U, T, V c (U{U)~T|VTR U, U, T, W c U~(TU{W)TR U, U, T, X c U~X|U{TTR U, U, U, X c U~X|UUTR U, U, V, S c U~(U{S)|VTR U, U, V, T c U{U~V{TTR U, U, V, X c U{U~X|VTR U, U, W, P c U{U~W|PTR U, U, W, T c U~(W{TU)TR U, U, W, X c U~U{W{XTR U, U, X, P c U~(X|PU)TR U, U, X, T c U~X|U{TTR U, U, X, U c U~X|UUTR U, U, X, V c U{U~X|VTR U, U, X, W c U~U{X{WTR U, V, P, Q c U~(V{Q)|PTR U, V, P, S c (U{V)~S{PTR U, V, P, T c U~(V{P){TTR U, V, P, X c U~(P{X)|VTR U, V, Q, P c U~(V{Q)|PTR U, V, Q, R c (U{Q)~V|RTR U, V, Q, T c U~Q~T|VTR U, V, Q, V c U{V~V|QTR U, V, Q, W c U~(Q{W)|VTR U, V, Q, X c U~V{Q{XTR U, V, R, Q c (U{Q)~V|RTR U, V, R, T c U~R{V~TTR U, V, R, V c U~(V{R)|VTR U, V, R, W c U~V{R{WTR U, V, S, P c (U{V)~S{PTR U, V, S, U c (U{S)~U|VTR U, V, S, V c U~V{S{VTR U, V, S, X c (U{X)~S|VTR U, V, T, P c U~(V{P){TTR U, V, T, Q c U~T~Q|VTR U, V, T, R c U~R{V~TTR U, V, T, T c U~(T{T)|VTR U, V, T, U c U~V{T{UTR U, V, T, W c U{V{T~WTR U, V, U, S c U~(U{S)|VTR U, V, U, T c U{V~U{TTR U, V, U, X c U{U~X|VTR U, V, V, Q c U{V~V|QTR U, V, V, R c U~(V{R)|VTR U, V, V, S c U~V{V{STR U, V, V, X c U~X|VVTR U, V, W, Q c U~W{V|QTR U, V, W, R c U~V{W{RTR U, V, W, T c U{V{W~TTR U, V, W, X c U{V~W|XTR U, V, X, P c U~(X{P)|VTR U, V, X, Q c U~V{X{QTR U, V, X, S c (U{X)~S|VTR U, V, X, U c U~X|V{UTR U, V, X, V c U~X|VVTR U, V, X, W c U{V~W|XTR U, W, O, T c U~W{O{TTR U, W, P, P c U~(W{P)|PTR U, W, P, R c (U{P)~W|RTR U, W, P, S c U~W{P{STR U, W, P, T c U~W{P~TTR U, W, P, U c U~W|P{UTR U, W, P, X c (U|P)~X{WTR U, W, Q, R c U~W{Q{RTR U, W, Q, V c U~(W{Q)|VTR U, W, R, P c (U{P)~W|RTR U, W, R, Q c U~W{R{QTR U, W, R, S c (U{W)~S|RTR U, W, R, T c (U{R)~T{WTR U, W, R, V c U~V{W{RTR U, W, R, W c U~W|R{WTR U, W, R, X c (U{X)~R{WTR U, W, S, P c U~W{S{PTR U, W, S, R c (U{W)~S|RTR U, W, S, X c U~W|S{XTR U, W, T, O c U~W{T{OTR U, W, T, P c U~W{T~PTR U, W, T, R c (U{R)~T{WTR U, W, T, U c U~(W{TU)TR U, W, T, V c U{W~T{VTR U, W, T, W c (U{TW)~WTR U, W, U, P c U{W~U|PTR U, W, U, T c U~(W{TU)TR U, W, U, X c U~U{W{XTR U, W, V, Q c U~W{V|QTR U, W, V, R c U~V{W{RTR U, W, V, T c U{W~T{VTR U, W, V, X c U{W~V|XTR U, W, W, R c U~W{W|RTR U, W, W, T c (U{TW)~WTR U, W, W, X c U~X|WWTR U, W, X, P c (U|P)~X{WTR U, W, X, R c (U{X)~R{WTR U, W, X, S c U~W{X|STR U, W, X, U c U~U{W{XTR U, W, X, V c U{W~V|XTR U, W, X, W c U~X|WWTR U, W, X, X c U~X{W|XTR U, X, O, P c U~X{O|PTR U, X, P, O c U~X|P{OTR U, X, P, P c U~X|P~PTR U, X, P, Q c U~X{P|QTR U, X, P, T c U~(X|P){TTR U, X, P, U c U~(X|PU)TR U, X, P, V c U~(X{P)|VTR U, X, P, W c (U|P)~X{WTR U, X, P, X c (U|PX)~XTR U, X, Q, P c U~X|Q{PTR U, X, Q, Q c U~X|QQTR U, X, Q, R c U~X{Q|RTR U, X, Q, T c U{X~T{QTR U, X, Q, V c U~V{X{QTR U, X, R, Q c U~X|R{QTR U, X, R, R c U~X|RRTR U, X, R, S c U~X{R|STR U, X, R, W c (U{X)~R{WTR U, X, S, R c U~X|S{RTR U, X, S, S c U~X|SSTR U, X, S, T c U~X{S|TTR U, X, S, V c (U{X)~S|VTR U, X, S, W c U~W{X|STR U, X, T, P c U~(X|P){TTR U, X, T, Q c U{X~T{QTR U, X, T, S c U~X|T{STR U, X, T, T c U~X|TTTR U, X, T, U c U~X{T|UTR U, X, U, P c U~(X|PU)TR U, X, U, T c U~X|U{TTR U, X, U, U c U~X|UUTR U, X, U, V c U{X~U|VTR U, X, U, W c U~U{X{WTR U, X, V, P c U~(X{P)|VTR U, X, V, Q c U~V{X{QTR U, X, V, S c (U{X)~S|VTR U, X, V, U c U~X|V{UTR U, X, V, V c U~X|VVTR U, X, V, W c U~X{V|WTR U, X, W, P c (U|P)~X{WTR U, X, W, R c (U{X)~R{WTR U, X, W, S c U~W{X|STR U, X, W, U c U~U{X{WTR U, X, W, V c U~X|W{VTR U, X, W, W c U~X|WWTR U, X, W, X c U~X{W|XTR U, X, X, P c (U|PX)~XTR U, X, X, W c U~X|X{WTR U, X, X, X c U~X|XXTR V, O, R, W c (V{O)~W|RTR V, O, S, V c (V{O)~V{STR V, O, V, S c (V{O)~V{STR V, O, W, R c (V{O)~W|RTR V, P, P, X c (V|P)~X|PTR V, P, Q, U c (V{Q)~U|PTR V, P, Q, W c (V~W)|(P{Q)TR V, P, R, V c (V{P)~V|RTR V, P, R, W c V~P~W|RTR V, P, R, X c V~(X|P)|RTR V, P, S, U c V~(P{U){STR V, P, S, V c V~P~V{STR V, P, S, W c V~W{P|STR V, P, T, U c (V{P)~U{TTR V, P, T, V c V~V|P{TTR V, P, T, W c (V|P)~W{TTR V, P, T, X c V{P{T~XTR V, P, U, Q c (V{Q)~U|PTR V, P, U, S c V~(P{U){STR V, P, U, T c (V{P)~U{TTR V, P, U, X c (P{X)~U|VTR V, P, V, R c (V{P)~V|RTR V, P, V, S c V~P~V{STR V, P, V, T c V~V|P{TTR V, P, W, Q c (V~W)|(P{Q)TR V, P, W, R c V~P~W|RTR V, P, W, S c V~W{P|STR V, P, W, T c (V|P)~W{TTR V, P, X, P c (V|P)~X|PTR V, P, X, R c V~(X|P)|RTR V, P, X, T c V{P{X~TTR V, P, X, U c (P{X)~U|VTR V, P, X, X c (V~X)|(P{X)TR V, Q, P, U c (V{Q)~U|PTR V, Q, P, W c (V~W)|(Q{P)TR V, Q, Q, V c V~V{Q{QTR V, Q, R, S c V~Q~S|RTR V, Q, R, U c V~(Q{U)|RTR V, Q, S, R c V~Q~S|RTR V, Q, S, T c V~(Q{T){STR V, Q, S, X c V~(X|Q){STR V, Q, T, S c V~(Q{T){STR V, Q, T, U c Q~T~U|VTR V, Q, T, W c (V{Q)~T{WTR V, Q, T, X c V~T{Q~XTR V, Q, U, P c (V{Q)~U|PTR V, Q, U, R c V~(Q{U)|RTR V, Q, U, T c Q~U~T|VTR V, Q, U, V c V~V|Q{UTR V, Q, U, W c V|Q{U~WTR V, Q, U, X c V~U{Q{XTR V, Q, V, Q c V~V{Q{QTR V, Q, V, U c V~V|Q{UTR V, Q, V, W c V~V{WQTR V, Q, W, P c (V~W)|(Q{P)TR V, Q, W, T c (V{Q)~T{WTR V, Q, W, U c V|Q{W~UTR V, Q, W, V c V~V{WQTR V, Q, W, X c (V|Q)~X{WTR V, Q, X, S c V~(X|Q){STR V, Q, X, T c V~X|Q~TTR V, Q, X, U c V~U{Q{XTR V, Q, X, W c (V|Q)~X{WTR V, R, O, W c (V{O)~W|RTR V, R, P, V c (V{P)~V|RTR V, R, P, W c V~P~W|RTR V, R, P, X c V~(X|P)|RTR V, R, Q, S c V~Q~S|RTR V, R, Q, U c V~(Q{U)|RTR V, R, R, T c (V{R)~T{RTR V, R, S, Q c V~S~Q|RTR V, R, S, S c V~(R{S){STR V, R, S, T c R~S~T|VTR V, R, S, V c (V{V)~S|RTR V, R, S, W c V~R{S~WTR V, R, T, R c (V{R)~T{RTR V, R, T, S c R~T~S|VTR V, R, T, U c V~T{R~UTR V, R, T, X c (V{X)~R{TTR V, R, U, Q c V~(U{Q)|RTR V, R, U, T c V~T{R~UTR V, R, U, V c (V{R)~U|VTR V, R, U, W c V~U{R{WTR V, R, V, P c V~V{R{PTR V, R, V, S c (V{V)~S|RTR V, R, V, U c (V{R)~U|VTR V, R, V, V c V|R{V~VTR V, R, V, W c V~(W|RV)TR V, R, V, X c (V~X)|(R{V)TR V, R, W, O c V~W|R{OTR V, R, W, P c V~W|R~PTR V, R, W, S c V~R{W~STR V, R, W, U c V~W{R|UTR V, R, W, V c V~(W|RV)TR V, R, W, W c (V|RW)~WTR V, R, W, X c V~W|XRTR V, R, X, P c V~(X|P)|RTR V, R, X, T c (V{X)~R{TTR V, R, X, V c (V~X)|(R{V)TR V, R, X, W c V~W|XRTR V, S, O, V c (V{O)~V{STR V, S, P, U c V~(P{U){STR V, S, P, V c V~P~V{STR V, S, P, W c V~W|S{PTR V, S, Q, R c V~S~Q|RTR V, S, Q, T c (V{S)~T|QTR V, S, Q, X c V~(X|Q){STR V, S, R, Q c V~S~Q|RTR V, S, R, S c V~(S{R){STR V, S, R, T c S~R~T|VTR V, S, R, V c (V{V)~S|RTR V, S, R, W c V~R{S~WTR V, S, S, R c V~(S{S)|RTR V, S, S, X c (V{S)~S{XTR V, S, T, Q c (V{S)~T|QTR V, S, T, R c S~T~R|VTR V, S, T, T c V~S{T~TTR V, S, T, W c (S{W)~T|VTR V, S, U, P c (V{U)~S{PTR V, S, U, U c (S{U)~U|VTR V, S, U, V c V{S{U~VTR V, S, U, X c (V~X)|(S{U)TR V, S, V, O c V~V{S{OTR V, S, V, P c V~V{S~PTR V, S, V, R c (V{V)~S|RTR V, S, V, U c V{S{V~UTR V, S, V, V c (V{SV)~VTR V, S, V, W c V~V|S{WTR V, S, W, P c V~W|S{PTR V, S, W, R c V~R{S~WTR V, S, W, T c (S{W)~T|VTR V, S, W, V c (V{W)~S|VTR V, S, W, W c (W~W)|(V{S)TR V, S, X, Q c V~(X|Q){STR V, S, X, S c (V{S)~S{XTR V, S, X, U c (V~X)|(S{U)TR V, S, X, X c X~X|V~STR V, T, P, U c (V{P)~U{TTR V, T, P, V c V~V{T|PTR V, T, P, W c (V|P)~W{TTR V, T, P, X c V{T~X{PTR V, T, Q, S c V~(T{Q){STR V, T, Q, U c T~Q~U|VTR V, T, Q, W c (V{Q)~T{WTR V, T, Q, X c V~T{Q~XTR V, T, R, R c V~(T{R)|RTR V, T, R, S c T~R~S|VTR V, T, R, U c V~T{R~UTR V, T, R, X c (V{X)~R{TTR V, T, S, Q c V~(T{Q){STR V, T, S, R c T~S~R|VTR V, T, S, T c (V{T)~S{TTR V, T, S, W c T~(S{W)|VTR V, T, T, S c (V{T)~S{TTR V, T, T, U c (T{T)~U|VTR V, T, T, V c (V{T)~T|VTR V, T, T, X c (V~X)|(T{T)TR V, T, U, P c (V{P)~U{TTR V, T, U, Q c T~U~Q|VTR V, T, U, R c V~T{U~RTR V, T, U, T c (T{T)~U|VTR V, T, U, U c V~U{T{UTR V, T, U, W c V{T~W{UTR V, T, V, P c V~V{T|PTR V, T, V, T c (V{T)~T|VTR V, T, V, X c V~V|T{XTR V, T, W, P c (V|P)~W{TTR V, T, W, Q c V~W|T{QTR V, T, W, S c T~(W{S)|VTR V, T, W, U c V{T~W{UTR V, T, W, W c V~W{T|WTR V, T, X, P c V{T~X{PTR V, T, X, Q c V~T{X~QTR V, T, X, R c (V{X)~R{TTR V, T, X, T c (V~X)|(T{T)TR V, T, X, V c V~V|T{XTR V, T, X, X c V~T{X{XTR V, U, P, Q c (V{Q)~U|PTR V, U, P, S c V~(U{P){STR V, U, P, T c (V{P)~U{TTR V, U, P, X c U~(P{X)|VTR V, U, Q, P c (V{Q)~U|PTR V, U, Q, R c V~(U{Q)|RTR V, U, Q, T c U~Q~T|VTR V, U, Q, V c V~V{U|QTR V, U, Q, W c V{U~W|QTR V, U, Q, X c V~U{Q{XTR V, U, R, Q c V~(U{Q)|RTR V, U, R, T c V~T{U~RTR V, U, R, V c (V{R)~U|VTR V, U, R, W c V~U{R{WTR V, U, S, P c (V{U)~S{PTR V, U, S, U c (U{S)~U|VTR V, U, S, V c V~U{S{VTR V, U, S, X c (V~X)|(U{S)TR V, U, T, P c (V{P)~U{TTR V, U, T, Q c U~T~Q|VTR V, U, T, R c V~T{U~RTR V, U, T, T c U~(T{T)|VTR V, U, T, U c V~U{T{UTR V, U, T, W c V{U{T~WTR V, U, U, S c U~(U{S)|VTR V, U, U, T c V~U{U{TTR V, U, U, X c U{U~X|VTR V, U, V, Q c V~V{U|QTR V, U, V, R c (V{R)~U|VTR V, U, V, S c V{U~V{STR V, U, V, X c U~X|VVTR V, U, W, Q c V{U~W|QTR V, U, W, R c V~U{W{RTR V, U, W, T c V{U{W~TTR V, U, W, X c V{U~X|WTR V, U, X, P c U~(X{P)|VTR V, U, X, Q c V~U{X{QTR V, U, X, S c (V~X)|(U{S)TR V, U, X, U c U~X|V{UTR V, U, X, V c U~X|VVTR V, U, X, W c V{U~X|WTR V, V, O, S c V~V{O{STR V, V, P, R c V~V{P{RTR V, V, P, S c V~V{P~STR V, V, P, T c V~V|P{TTR V, V, Q, Q c V~V{Q{QTR V, V, Q, U c V~V|Q{UTR V, V, Q, W c V~V{WQTR V, V, R, P c V~V{R{PTR V, V, R, S c (V{V)~S|RTR V, V, R, U c (V{R)~U|VTR V, V, R, V c V~V|R{VTR V, V, R, W c V~(W|RV)TR V, V, R, X c (V~X)|(V{R)TR V, V, S, O c V~V{S{OTR V, V, S, P c V~V{S~PTR V, V, S, R c (V{V)~S|RTR V, V, S, U c V{V~U{STR V, V, S, V c V~(V{SV)TR V, V, S, W c V~V|S{WTR V, V, T, P c V~V{T|PTR V, V, T, T c (V{T)~T|VTR V, V, T, X c V~V|T{XTR V, V, U, Q c V~V{U|QTR V, V, U, R c (V{R)~U|VTR V, V, U, S c V{V~U{STR V, V, U, X c U~X|VVTR V, V, V, R c V{V~V|RTR V, V, V, S c V~(V{SV)TR V, V, W, Q c V~V{WQTR V, V, W, R c V~(W|RV)TR V, V, W, S c V~V{W|STR V, V, X, R c (V~X)|(V{R)TR V, V, X, T c V~V{X|TTR V, V, X, U c X~U|VVTR V, W, O, R c V~W{O|RTR V, W, P, Q c (V~W)|(P{Q)TR V, W, P, R c V~W|P~RTR V, W, P, S c V~W{P|STR V, W, P, T c (V|P)~W{TTR V, W, Q, P c (V~W)|(Q{P)TR V, W, Q, T c V~W{Q|TTR V, W, Q, U c V{W~U|QTR V, W, Q, V c V~V{WQTR V, W, Q, X c (V|Q)~X{WTR V, W, R, O c V~W|R{OTR V, W, R, P c V~W|R~PTR V, W, R, S c V~R{W~STR V, W, R, U c V~W{R|UTR V, W, R, V c V~(W|RV)TR V, W, R, W c (V{W)~R{WTR V, W, R, X c V~W|XRTR V, W, S, P c V~W|S{PTR V, W, S, R c V~R{W~STR V, W, S, T c (W{S)~T|VTR V, W, S, V c (V{W)~S|VTR V, W, S, W c (W~W)|(V{S)TR V, W, T, P c (V|P)~W{TTR V, W, T, Q c V~W|T{QTR V, W, T, S c (W{S)~T|VTR V, W, T, U c V{W~T{UTR V, W, T, W c V~W{T|WTR V, W, U, Q c V{W~U|QTR V, W, U, R c V~W|U{RTR V, W, U, T c V{W~T{UTR V, W, U, X c V~W{U|XTR V, W, V, Q c V~V{WQTR V, W, V, R c V~(W|RV)TR V, W, V, S c V~W|V{STR V, W, W, R c (V{W)~R{WTR V, W, W, S c (W~W)|(V{S)TR V, W, W, T c V~W|W{TTR V, W, X, Q c (V~X)|(W{Q)TR V, W, X, R c V~W|XRTR V, W, X, U c V~W|X{UTR V, X, P, P c (V|P)~X|PTR V, X, P, R c V~(X|P)|RTR V, X, P, T c V{X~T{PTR V, X, P, U c (X{P)~U|VTR V, X, P, X c (V~X)|(P{X)TR V, X, Q, S c V~(X|Q){STR V, X, Q, T c V~X|Q~TTR V, X, Q, U c V~U{X{QTR V, X, Q, W c (V~X)|(Q{W)TR V, X, R, P c V~(X|P)|RTR V, X, R, T c (V{X)~R{TTR V, X, R, V c (V~X)|(R{V)TR V, X, R, W c V~W|XRTR V, X, S, Q c V~(X|Q){STR V, X, S, S c (V{S)~S{XTR V, X, S, U c (V~X)|(S{U)TR V, X, S, X c X~X|V~STR V, X, T, P c V{X~T{PTR V, X, T, Q c V~X|T~QTR V, X, T, R c (V{X)~R{TTR V, X, T, T c (V~X)|(T{T)TR V, X, T, V c V~V{X|TTR V, X, T, X c V~T{X{XTR V, X, U, P c (X{P)~U|VTR V, X, U, Q c V~U{X{QTR V, X, U, S c (V~X)|(U{S)TR V, X, U, U c X~U|V{UTR V, X, U, V c X~U|VVTR V, X, U, W c V{X~U|WTR V, X, V, R c (V~X)|(V{R)TR V, X, V, T c V~V{X|TTR V, X, V, U c X~U|VVTR V, X, W, Q c (V~X)|(W{Q)TR V, X, W, R c V~W|XRTR V, X, W, U c V{X~U|WTR V, X, X, P c (V~X)|(X{P)TR V, X, X, S c X~X|V~STR V, X, X, T c V~T{X{XTR W, O, R, V c (W{O)~V|RTR W, O, T, U c (W{O)~U{TTR W, O, T, X c W{O{T~XTR W, O, U, T c (W{O)~U{TTR W, O, V, R c (W{O)~V|RTR W, O, X, T c W{O{X~TTR W, P, P, U c (W{P)~U|PTR W, P, Q, V c (W~V)|(P{Q)TR W, P, Q, X c (W|Q)~X|PTR W, P, R, U c W~(P{U)|RTR W, P, R, V c W~P~V|RTR W, P, R, W c (W|P)~W|RTR W, P, S, T c (W{T)~S{PTR W, P, S, U c W~U{P{STR W, P, S, V c (W|P)~V{STR W, P, S, X c W{(P{S)~XTR W, P, T, S c (W{T)~S{PTR W, P, T, T c W~(P{T){TTR W, P, T, U c W~P~U{TTR W, P, T, V c W~(V|P){TTR W, P, T, W c (W{P)~T{WTR W, P, T, X c W{P~T~XTR W, P, U, P c (W{P)~U|PTR W, P, U, R c W~(P{U)|RTR W, P, U, S c W~U{P{STR W, P, U, T c W~P~U{TTR W, P, U, U c W~U|P{UTR W, P, U, X c W{(U|P)~XTR W, P, V, Q c (W~V)|(P{Q)TR W, P, V, R c W~P~V|RTR W, P, V, S c (W|P)~V{STR W, P, V, T c W~(V|P){TTR W, P, W, R c (W|P)~W|RTR W, P, W, T c W{(P{W)~TTR W, P, X, Q c (W|Q)~X|PTR W, P, X, S c W{(P{S)~XTR W, P, X, T c W{P~X~TTR W, P, X, U c W{X~(U|P)TR W, Q, P, V c (W~V)|(Q{P)TR W, Q, P, X c (W|Q)~X|PTR W, Q, R, T c W~Q~R{TTR W, Q, R, U c W~U{Q{RTR W, Q, R, X c W{(Q{R)~XTR W, Q, S, T c W~(Q{S){TTR W, Q, T, R c (W{Q)~T{RTR W, Q, T, S c W~(Q{S){TTR W, Q, T, V c W{(Q{V)~TTR W, Q, T, W c (W|Q)~W{TTR W, Q, U, R c W~U{Q{RTR W, Q, U, V c (W{Q)~U|VTR W, Q, V, P c (W~V)|(Q{P)TR W, Q, V, T c W{(Q{V)~TTR W, Q, V, U c (W{Q)~U|VTR W, Q, V, V c WQ{V~VTR W, Q, V, X c W{(V|Q)~XTR W, Q, W, T c (W|Q)~W{TTR W, Q, W, X c (W~W)|(Q{X)TR W, Q, X, P c (W|Q)~X|PTR W, Q, X, R c W{(Q{R)~XTR W, Q, X, V c W{X~(V|Q)TR W, Q, X, W c (W~W)|(Q{X)TR W, R, O, V c (W{O)~V|RTR W, R, P, U c W~(P{U)|RTR W, R, P, V c W~P~V|RTR W, R, P, W c (W|P)~W|RTR W, R, Q, T c W~R~Q{TTR W, R, Q, U c W~U{R{QTR W, R, Q, X c W{(R{Q)~XTR W, R, R, S c W~(R{S)|RTR W, R, R, T c W{R~R~TTR W, R, S, R c W~(R{S)|RTR W, R, S, U c (W{U)~S|RTR W, R, S, V c W~S{R~VTR W, R, S, X c (W{R)~S{XTR W, R, T, Q c (W{R)~T|QTR W, R, T, R c W{R~T~RTR W, R, T, U c W{(R{U)~TTR W, R, T, W c (W{W)~R{TTR W, R, T, X c W~(X|R){TTR W, R, U, P c W~(U{P)|RTR W, R, U, Q c W~U{R{QTR W, R, U, S c (W{U)~S|RTR W, R, U, T c W{(R{U)~TTR W, R, U, V c W{R{U~VTR W, R, U, W c W|R{U~WTR W, R, U, X c W{R~(U{X)TR W, R, V, O c W~V|R{OTR W, R, V, P c W~V|R~PTR W, R, V, S c W~S{R~VTR W, R, V, U c W{R{V~UTR W, R, V, V c (W|RV)~VTR W, R, V, W c W{R~(V{W)TR W, R, V, X c W~V|XRTR W, R, W, P c W~(W|P)|RTR W, R, W, T c (W{W)~R{TTR W, R, W, U c W|R{W~UTR W, R, W, V c W{R~(W{V)TR W, R, W, W c (W~W)|(R{W)TR W, R, W, X c (W|R)~X{WTR W, R, X, Q c W{(R{Q)~XTR W, R, X, S c (W{R)~S{XTR W, R, X, T c W~(X|R){TTR W, R, X, U c W{R~(X{U)TR W, R, X, V c W~V|XRTR W, R, X, W c (W|R)~X{WTR W, S, P, T c (W{T)~S{PTR W, S, P, U c W~U{S{PTR W, S, P, V c (W|P)~V{STR W, S, P, X c W{(S{P)~XTR W, S, Q, T c W~(S{Q){TTR W, S, R, R c W~(S{R)|RTR W, S, R, U c (W{U)~S|RTR W, S, R, V c W~S{R~VTR W, S, R, X c (W{R)~S{XTR W, S, S, T c (W{S)~S{TTR W, S, T, P c (W{T)~S{PTR W, S, T, Q c W~(S{Q){TTR W, S, T, S c (W{S)~S{TTR W, S, T, T c W{(S{T)~TTR W, S, T, V c (W{S)~T|VTR W, S, T, X c W~T{S{XTR W, S, U, P c W~U{S{PTR W, S, U, R c (W{U)~S|RTR W, S, U, X c W~U|S{XTR W, S, V, P c W~V|S{PTR W, S, V, R c W~S{V~RTR W, S, V, T c (W{S)~T|VTR W, S, V, V c W|S{V~VTR W, S, V, W c (W~W)|(S{V)TR W, S, W, V c (W~W)|(S{V)TR W, S, X, P c W{(S{P)~XTR W, S, X, R c (W{R)~S{XTR W, S, X, T c W~T{S{XTR W, S, X, U c W~U|S{XTR W, S, X, X c W{S~X{XTR W, T, O, U c (W{O)~U{TTR W, T, O, X c W{(T{O)~XTR W, T, P, S c (W{T)~S{PTR W, T, P, T c W~(T{P){TTR W, T, P, U c W~P~U{TTR W, T, P, V c W~(V|P){TTR W, T, P, W c W{T~(P{W)TR W, T, P, X c W{T~P~XTR W, T, Q, R c W~(T{Q)|RTR W, T, Q, S c W~(Q{S){TTR W, T, Q, V c W{T~(Q{V)TR W, T, Q, W c (W|Q)~W{TTR W, T, R, Q c W~(T{Q)|RTR W, T, R, R c W{T~R~RTR W, T, R, U c W{T~(R{U)TR W, T, R, W c (W{W)~R{TTR W, T, R, X c W~(X|R){TTR W, T, S, P c (W{T)~S{PTR W, T, S, Q c W~(S{Q){TTR W, T, S, S c (W{S)~S{TTR W, T, S, T c W{(T{S)~TTR W, T, S, V c (W{S)~T|VTR W, T, S, X c W~T{S{XTR W, T, T, P c W~(T{P){TTR W, T, T, S c W{T~(T{S)TR W, T, T, W c W{T{T~WTR W, T, T, X c (WT{X)~TTR W, T, U, O c W~U{T{OTR W, T, U, P c W~U{T~PTR W, T, U, R c W{T~(U{R)TR W, T, U, U c (W{TU)~UTR W, T, U, V c W~T{U{VTR W, T, U, W c W~(TW{U)TR W, T, V, P c W~(V|P){TTR W, T, V, Q c W{T~(V{Q)TR W, T, V, S c (W{S)~T|VTR W, T, V, U c W~T{V{UTR W, T, V, W c W~V{T|WTR W, T, W, P c W{T~(W{P)TR W, T, W, Q c W~(W|Q){TTR W, T, W, R c (W{W)~R{TTR W, T, W, T c W{T{W~TTR W, T, W, U c W~(TW{U)TR W, T, W, V c W~V{T|WTR W, T, X, O c W{T~X{OTR W, T, X, P c W{T~X~PTR W, T, X, R c W~(X|R){TTR W, T, X, S c W~T{X{STR W, T, X, T c (WT{X)~TTR W, T, X, X c (WX{T)~XTR W, U, O, T c W~U{O{TTR W, U, P, P c (W{P)~U|PTR W, U, P, R c W~(U{P)|RTR W, U, P, S c W~U{P{STR W, U, P, T c W~U{P~TTR W, U, P, U c W~U|P{UTR W, U, P, X c W{(U|P)~XTR W, U, Q, R c W~U{Q{RTR W, U, Q, V c W~U|Q{VTR W, U, R, P c W~(U{P)|RTR W, U, R, Q c W~U{R{QTR W, U, R, S c (W{U)~S|RTR W, U, R, T c W{(U{R)~TTR W, U, R, V c W{U~V{RTR W, U, R, W c W~U|R{WTR W, U, R, X c W{(U{X)~RTR W, U, S, P c W~U{S{PTR W, U, S, R c (W{U)~S|RTR W, U, S, X c W~U|S{XTR W, U, T, O c W~U{T{OTR W, U, T, P c W~U{T~PTR W, U, T, R c W{(U{R)~TTR W, U, T, U c (W{TU)~UTR W, U, T, V c W~T{U{VTR W, U, T, W c W~(U{TW)TR W, U, U, P c W~U{U|PTR W, U, U, T c (W{TU)~UTR W, U, U, X c W{U~U{XTR W, U, V, Q c W~U{V|QTR W, U, V, R c W{U~V{RTR W, U, V, T c W~T{U{VTR W, U, V, X c W~V{U|XTR W, U, W, R c W{U~W|RTR W, U, W, T c W~(U{TW)TR W, U, W, X c U~X|WWTR W, U, X, P c W{(U|P)~XTR W, U, X, R c W{(U{X)~RTR W, U, X, S c W~U{X|STR W, U, X, U c W{U~U{XTR W, U, X, V c W~V{U|XTR W, U, X, W c U~X|WWTR W, U, X, X c W{U~X|XTR W, V, O, R c W~V{O|RTR W, V, P, Q c (W~V)|(P{Q)TR W, V, P, R c W~V|P~RTR W, V, P, S c W~V{P|STR W, V, P, T c W~(V|P){TTR W, V, Q, P c (W~V)|(Q{P)TR W, V, Q, T c W{(V{Q)~TTR W, V, Q, U c W~V|UQTR W, V, Q, V c WQ{V~VTR W, V, Q, X c W{(V|Q)~XTR W, V, R, O c W~V|R{OTR W, V, R, P c W~V|R~PTR W, V, R, S c W~S{V~RTR W, V, R, U c W~V{R|UTR W, V, R, V c (W|RV)~VTR W, V, R, W c (W{V)~R{WTR W, V, R, X c W~V|XRTR W, V, S, P c W~V|S{PTR W, V, S, R c W~S{V~RTR W, V, S, T c (W{S)~T|VTR W, V, S, V c (W{V)~S|VTR W, V, S, W c (W~W)|(V{S)TR W, V, T, P c W~(V|P){TTR W, V, T, Q c W~V|T{QTR W, V, T, S c (W{S)~T|VTR W, V, T, U c W~T{V{UTR W, V, T, W c W~V{T|WTR W, V, U, Q c W~V|UQTR W, V, U, R c W{V~U{RTR W, V, U, T c W~T{V{UTR W, V, U, X c W~V{U|XTR W, V, V, Q c WQ{V~VTR W, V, V, R c (W|RV)~VTR W, V, V, S c W{V~V|STR W, V, W, R c W{(V{W)~RTR W, V, W, S c (W~W)|(V{S)TR W, V, W, T c W~V|W{TTR W, V, X, Q c W{(V|Q)~XTR W, V, X, R c W~V|XRTR W, V, X, U c W~V|X{UTR W, W, P, R c W~(W|P)|RTR W, W, P, T c W{(W{P)~TTR W, W, Q, T c W~(W|Q){TTR W, W, Q, X c (W~W)|(Q{X)TR W, W, R, P c W~(W|P)|RTR W, W, R, T c (W{W)~R{TTR W, W, R, U c W{W~U|RTR W, W, R, V c W{(W{V)~RTR W, W, R, W c (W~W)|(R{W)TR W, W, R, X c W{(W|R)~XTR W, W, S, V c (W~W)|(S{V)TR W, W, T, P c W{(W{P)~TTR W, W, T, Q c W~(W|Q){TTR W, W, T, R c (W{W)~R{TTR W, W, T, T c W{W~T{TTR W, W, T, U c (W~W)|(T{U)TR W, W, T, V c W~V|W{TTR W, W, U, R c W{W~U|RTR W, W, U, T c (W~W)|(U{T)TR W, W, U, X c U~X|WWTR W, W, V, R c W{(W{V)~RTR W, W, V, S c (W~W)|(V{S)TR W, W, V, T c W~V|W{TTR W, W, W, R c (W~W)|(W{R)TR W, W, X, Q c (W~W)|(X{Q)TR W, W, X, R c W{(W|R)~XTR W, W, X, U c X~U|WWTR W, X, O, T c W{(X{O)~TTR W, X, P, Q c (W|Q)~X|PTR W, X, P, S c W{X~(P{S)TR W, X, P, T c W{X~P~TTR W, X, P, U c W{X~(U|P)TR W, X, Q, P c (W|Q)~X|PTR W, X, Q, R c W{X~(Q{R)TR W, X, Q, V c W{X~(V|Q)TR W, X, Q, W c (W~W)|(X{Q)TR W, X, R, Q c (W{X)~R{QTR W, X, R, S c (W{R)~S{XTR W, X, R, T c W~(X|R){TTR W, X, R, U c W{(X{U)~RTR W, X, R, V c W~V|XRTR W, X, R, W c W{X~(W|R)TR W, X, S, P c W{X~(S{P)TR W, X, S, R c (W{R)~S{XTR W, X, S, T c W~T{X{STR W, X, S, U c W~U{X|STR W, X, S, X c W{X{S~XTR W, X, T, O c W{X~T{OTR W, X, T, P c W{X~T~PTR W, X, T, R c W~(X|R){TTR W, X, T, S c W~T{X{STR W, X, T, T c (WT{X)~TTR W, X, T, X c (WX{T)~XTR W, X, U, P c W{X~(U|P)TR W, X, U, R c W{(X{U)~RTR W, X, U, S c W~U{X|STR W, X, U, U c W{X{U~UTR W, X, U, V c W~V|X{UTR W, X, U, W c X~U|WWTR W, X, U, X c W{X~U|XTR W, X, V, Q c W{X~(V|Q)TR W, X, V, R c W~V|XRTR W, X, V, U c W~V|X{UTR W, X, W, Q c (W~W)|(X{Q)TR W, X, W, R c W{X~(W|R)TR W, X, W, U c X~U|WWTR W, X, X, S c W{X{X~STR W, X, X, T c (WX{T)~XTR W, X, X, U c W{X~U|XTR X, O, P, U c (X{O)~U|PTR X, O, T, W c (X{O)~T{WTR X, O, U, P c (X{O)~U|PTR X, O, W, T c (X{O)~T{WTR X, P, O, U c (X{O)~U|PTR X, P, P, T c X~(P{T)|PTR X, P, P, U c X~P~U|PTR X, P, P, V c X~(V|P)|PTR X, P, Q, R c X~Q~R|PTR X, P, Q, S c X~(Q{S)|PTR X, P, Q, U c X~U{P|QTR X, P, Q, W c X~(W|Q)|PTR X, P, R, Q c X~R~Q|PTR X, P, R, R c X~(R{R)|PTR X, P, R, T c (X{P)~T{RTR X, P, R, V c (X|P)~V|RTR X, P, R, X c (X|R)~X|PTR X, P, S, Q c X~(S{Q)|PTR X, P, S, S c (X{S)~S{PTR X, P, S, W c X~(P{S){WTR X, P, T, P c X~(P{T)|PTR X, P, T, R c (X{P)~T{RTR X, P, T, U c (X|P)~U{TTR X, P, T, V c X~T{P{VTR X, P, T, W c X~P~T{WTR X, P, T, X c X|P{T~XTR X, P, U, O c X~U|P{OTR X, P, U, P c X~P~U|PTR X, P, U, Q c X~U{P|QTR X, P, U, T c (X|P)~U{TTR X, P, U, U c (X|PU)~UTR X, P, U, V c (X{P)~U|VTR X, P, U, W c X~(U|P){WTR X, P, U, X c X~(U|PX)TR X, P, V, P c X~(V|P)|PTR X, P, V, R c (X|P)~V|RTR X, P, V, T c X~T{P{VTR X, P, V, U c (X{P)~U|VTR X, P, V, X c (X~V)|(P{X)TR X, P, W, Q c X~(W|Q)|PTR X, P, W, S c X~(P{S){WTR X, P, W, T c X~P~T{WTR X, P, W, U c X~(U|P){WTR X, P, X, R c (X{X)~R|PTR X, P, X, T c X|P{X~TTR X, P, X, U c X~(U|PX)TR X, P, X, V c (X~V)|(P{X)TR X, Q, P, R c X~Q~R|PTR X, Q, P, S c X~(Q{S)|PTR X, Q, P, U c X~U|Q{PTR X, Q, P, W c X~(W|Q)|PTR X, Q, Q, T c (X{Q)~T|QTR X, Q, Q, U c X~U|QQTR X, Q, R, P c X~Q~R|PTR X, Q, R, U c X~U{Q|RTR X, Q, R, W c X~(Q{R){WTR X, Q, S, P c X~(Q{S)|PTR X, Q, S, T c X~T{Q~STR X, Q, S, V c (X|Q)~V{STR X, Q, S, X c (X{Q)~S{XTR X, Q, T, Q c (X{Q)~T|QTR X, Q, T, S c X~T{Q~STR X, Q, T, U c X~T{Q{UTR X, Q, T, V c X~Q{T~VTR X, Q, U, P c X~U|Q{PTR X, Q, U, Q c X~U|QQTR X, Q, U, R c X~U{Q|RTR X, Q, U, T c X~T{Q{UTR X, Q, U, V c X{Q{U~VTR X, Q, V, S c (X|Q)~V{STR X, Q, V, T c X~Q{V~TTR X, Q, V, U c X{Q{V~UTR X, Q, V, W c (X~V)|(Q{W)TR X, Q, W, P c X~(W|Q)|PTR X, Q, W, R c (X|Q)~W|RTR X, Q, W, V c (X~V)|(Q{W)TR X, Q, W, W c (W~W)|(X{Q)TR X, Q, X, S c X{(Q{X)~STR X, R, P, Q c X~R~Q|PTR X, R, P, R c X~(R{R)|PTR X, R, P, T c (X{P)~T{RTR X, R, P, V c (X|P)~V|RTR X, R, P, X c (X|R)~X|PTR X, R, Q, P c X~R~Q|PTR X, R, Q, U c X~U|R{QTR X, R, Q, W c X~(R{Q){WTR X, R, R, P c X~(R{R)|PTR X, R, R, U c X~U|RRTR X, R, S, T c (X{R)~S{TTR X, R, S, U c X~U{R|STR X, R, S, W c X{(R{W)~STR X, R, T, P c (X{P)~T{RTR X, R, T, S c (X{R)~S{TTR X, R, T, T c X~T{R{TTR X, R, T, V c (X{R)~T|VTR X, R, T, W c (X|R)~W{TTR X, R, U, Q c X~U|R{QTR X, R, U, R c X~U|RRTR X, R, U, S c X~U{R|STR X, R, U, W c (X{U)~R{WTR X, R, V, P c (X|P)~V|RTR X, R, V, T c (X{R)~T|VTR X, R, V, V c (X~V)|(R{V)TR X, R, V, W c V~W|XRTR X, R, W, Q c X~(R{Q){WTR X, R, W, S c X{(R{W)~STR X, R, W, T c (X|R)~W{TTR X, R, W, U c (X{U)~R{WTR X, R, W, V c W~V|XRTR X, R, W, W c X~(W|R){WTR X, R, X, P c (X|R)~X|PTR X, S, P, Q c X~(S{Q)|PTR X, S, P, S c (X{S)~S{PTR X, S, P, W c X~(S{P){WTR X, S, Q, P c X~(S{Q)|PTR X, S, Q, T c X~T{S~QTR X, S, Q, V c (X|Q)~V{STR X, S, Q, X c X{S~(Q{X)TR X, S, R, T c (X{R)~S{TTR X, S, R, U c X~U|S{RTR X, S, R, W c X{S~(R{W)TR X, S, S, P c (X{S)~S{PTR X, S, S, T c X~T{S{STR X, S, S, U c X~U|SSTR X, S, S, V c X{S~(S{V)TR X, S, T, Q c X~T{S~QTR X, S, T, R c (X{T)~S|RTR X, S, T, S c X~T{S{STR X, S, T, U c X{S~(T{U)TR X, S, T, W c X{S{T~WTR X, S, U, R c X~U|S{RTR X, S, U, S c X~U|SSTR X, S, U, T c X{S~(U{T)TR X, S, U, V c (X{U)~S|VTR X, S, U, W c X|S{U~WTR X, S, V, Q c (X|Q)~V{STR X, S, V, S c X{(S{V)~STR X, S, V, U c (X~V)|(S{U)TR X, S, V, X c X~X|S~VTR X, S, W, P c X~(S{P){WTR X, S, W, R c X{S~(W{R)TR X, S, W, T c X{S{W~TTR X, S, W, U c X|S{W~UTR X, S, W, X c X~S{W{XTR X, S, X, Q c X{S~(X{Q)TR X, S, X, V c X~X|S~VTR X, S, X, W c X{S~X{WTR X, T, O, W c X~T{O{WTR X, T, P, P c X~(T{P)|PTR X, T, P, R c (X{P)~T{RTR X, T, P, U c (X|P)~U{TTR X, T, P, V c X~T{P{VTR X, T, P, W c X~T{P~WTR X, T, P, X c X~T|P{XTR X, T, Q, Q c (X{Q)~T|QTR X, T, Q, S c X~T{Q~STR X, T, Q, U c X~T{Q{UTR X, T, Q, V c X~Q{T~VTR X, T, R, P c (X{P)~T{RTR X, T, R, S c (X{T)~S|RTR X, T, R, T c X~T{R{TTR X, T, R, V c (X{R)~T|VTR X, T, R, W c (X|R)~W{TTR X, T, S, Q c X~T{S~QTR X, T, S, R c (X{T)~S|RTR X, T, S, S c X~T{S{STR X, T, S, U c X{(T{U)~STR X, T, S, W c X{T~W{STR X, T, T, R c X~T{T{RTR X, T, T, U c X~U|TTTR X, T, T, V c (X~V)|(T{T)TR X, T, T, W c (X{WT)~TTR X, T, U, P c (X|P)~U{TTR X, T, U, Q c X~T{U{QTR X, T, U, S c X{(T{U)~STR X, T, U, T c X~U|TTTR X, T, U, U c X~U{T|UTR X, T, V, P c X~T{V{PTR X, T, V, Q c X~V|T~QTR X, T, V, R c (X{V)~R{TTR X, T, V, T c (X~V)|(T{T)TR X, T, V, V c X|T{V~VTR X, T, V, X c X{T~V{XTR X, T, W, O c X~T{W{OTR X, T, W, P c X~T{W~PTR X, T, W, R c (X|R)~W{TTR X, T, W, S c X{T~W{STR X, T, W, T c (X{WT)~TTR X, T, W, X c X~(T{WX)TR X, T, X, P c X{T~X|PTR X, T, X, V c X{T~V{XTR X, T, X, W c X~(T{WX)TR X, U, O, P c X~U{O|PTR X, U, P, O c X~U|P{OTR X, U, P, P c X~U|P~PTR X, U, P, Q c X~U{P|QTR X, U, P, T c (X|P)~U{TTR X, U, P, U c (X|PU)~UTR X, U, P, V c (X{P)~U|VTR X, U, P, W c X~(U|P){WTR X, U, P, X c X~(U|PX)TR X, U, Q, P c X~U|Q{PTR X, U, Q, Q c X~U|QQTR X, U, Q, R c X~U{Q|RTR X, U, Q, T c X~T{U{QTR X, U, Q, V c X{U~V{QTR X, U, R, Q c X~U|R{QTR X, U, R, R c X~U|RRTR X, U, R, S c X~U{R|STR X, U, R, W c (X{U)~R{WTR X, U, S, R c X~U|S{RTR X, U, S, S c X~U|SSTR X, U, S, T c X~U{S|TTR X, U, S, V c (X{U)~S|VTR X, U, S, W c X{U~W|STR X, U, T, P c (X|P)~U{TTR X, U, T, Q c X~T{U{QTR X, U, T, S c X{(U{T)~STR X, U, T, T c X~U|TTTR X, U, T, U c X~U{T|UTR X, U, U, P c (X|PU)~UTR X, U, U, T c X~U|U{TTR X, U, U, U c X~U|UUTR X, U, U, V c X~U{U|VTR X, U, U, W c X{U~U{WTR X, U, V, P c (X{P)~U|VTR X, U, V, Q c X{U~V{QTR X, U, V, S c (X{U)~S|VTR X, U, V, U c X~U|V{UTR X, U, V, V c X~U|VVTR X, U, V, W c X~U{V|WTR X, U, W, P c X~(U|P){WTR X, U, W, R c (X{U)~R{WTR X, U, W, S c X{U~W|STR X, U, W, U c X{U~U{WTR X, U, W, V c X~U|W{VTR X, U, W, W c X~U|WWTR X, U, W, X c X~U{W|XTR X, U, X, P c X~(U|PX)TR X, U, X, W c X~U|X{WTR X, U, X, X c X~U|XXTR X, V, P, P c X~(V|P)|PTR X, V, P, R c (X|P)~V|RTR X, V, P, T c X~T{V{PTR X, V, P, U c (X{P)~U|VTR X, V, P, X c (X~V)|(P{X)TR X, V, Q, S c (X|Q)~V{STR X, V, Q, T c X~V|Q~TTR X, V, Q, U c X{V~U{QTR X, V, Q, W c (X~V)|(Q{W)TR X, V, R, P c (X|P)~V|RTR X, V, R, T c (X{V)~R{TTR X, V, R, V c (X~V)|(R{V)TR X, V, R, W c V~W|XRTR X, V, S, Q c (X|Q)~V{STR X, V, S, S c X{(V{S)~STR X, V, S, U c (X~V)|(S{U)TR X, V, S, X c X~X|V~STR X, V, T, P c X~T{V{PTR X, V, T, Q c X~V|T~QTR X, V, T, R c (X{V)~R{TTR X, V, T, T c (X~V)|(T{T)TR X, V, T, V c X{V~V|TTR X, V, T, X c X{V~T{XTR X, V, U, P c (X{P)~U|VTR X, V, U, Q c X{V~U{QTR X, V, U, S c (X~V)|(U{S)TR X, V, U, U c X~U|V{UTR X, V, U, V c X~U|VVTR X, V, U, W c X~U{V|WTR X, V, V, R c (X~V)|(V{R)TR X, V, V, T c X{V~V|TTR X, V, V, U c X~U|VVTR X, V, W, Q c (X~V)|(W{Q)TR X, V, W, R c V~W|XRTR X, V, W, U c X~U{V|WTR X, V, X, P c (X~V)|(X{P)TR X, V, X, S c X~X|V~STR X, V, X, T c X{V~T{XTR X, W, O, T c (X{O)~T{WTR X, W, P, Q c X~(W|Q)|PTR X, W, P, S c X~(P{S){WTR X, W, P, T c X~P~T{WTR X, W, P, U c X~(U|P){WTR X, W, Q, P c X~(W|Q)|PTR X, W, Q, R c (X{W)~R{QTR X, W, Q, V c (X~V)|(W{Q)TR X, W, Q, W c (W~W)|(X{Q)TR X, W, R, Q c (X{W)~R{QTR X, W, R, S c X{(W{R)~STR X, W, R, T c (X|R)~W{TTR X, W, R, U c (X{U)~R{WTR X, W, R, V c W~V|XRTR X, W, R, W c X~(W|R){WTR X, W, S, P c X~(S{P){WTR X, W, S, R c X{(W{R)~STR X, W, S, T c X{W~T{STR X, W, S, U c X{W~U|STR X, W, S, X c X{W{S~XTR X, W, T, O c X~T{W{OTR X, W, T, P c X~T{W~PTR X, W, T, R c (X|R)~W{TTR X, W, T, S c X{W~T{STR X, W, T, T c (X{WT)~TTR X, W, T, X c X~(WX{T)TR X, W, U, P c X~(U|P){WTR X, W, U, R c (X{U)~R{WTR X, W, U, S c X{W~U|STR X, W, U, U c X{W{U~UTR X, W, U, V c X~U|W{VTR X, W, U, W c X~U|WWTR X, W, U, X c X~U{W|XTR X, W, V, Q c (X~V)|(W{Q)TR X, W, V, R c W~V|XRTR X, W, V, U c X~U|W{VTR X, W, W, Q c (W~W)|(X{Q)TR X, W, W, R c X~(W|R){WTR X, W, W, U c X~U|WWTR X, W, X, S c X{W{X~STR X, W, X, T c X~(WX{T)TR X, W, X, U c X~U{W|XTR X, X, P, R c (X{X)~R|PTR X, X, P, T c X{X~T|PTR X, X, P, U c X~(U|PX)TR X, X, P, V c (X~V)|(X{P)TR X, X, Q, S c X{(X{Q)~STR X, X, R, P c (X{X)~R|PTR X, X, S, Q c X{(X{Q)~STR X, X, S, V c X~X|S~VTR X, X, S, W c X{X~S{WTR X, X, T, P c X{X~T|PTR X, X, T, V c X{X{T~VTR X, X, T, W c X~(T{WX)TR X, X, U, P c X~(U|PX)TR X, X, U, W c X~U|X{WTR X, X, U, X c X~U|XXTR X, X, V, P c (X~V)|(X{P)TR X, X, V, S c X~X|V~STR X, X, V, T c X{X{V~TTR X, X, W, S c X{X~S{WTR X, X, W, T c X~(WX{T)TR X, X, W, U c X~U|X{WTR X, X, X, U c X~U|XXTR