O, Q, X, X c O{Q{X~XWR O, X, Q, X c O{X~X{QWR O, X, X, Q c O{X~X{QWR P, P, X, X c P{P{X~XWR P, Q, U, V c Q~U~V|PWR P, Q, V, U c Q~V~U|PWR P, Q, W, X c (P{W)~X{QWR P, Q, X, W c (P{W)~X{QWR P, Q, X, X c P~Q{X~XWR P, R, S, V c R~S~V|PWR P, R, V, S c R~V~S|PWR P, R, V, X c (R{X)~V|PWR P, R, W, X c (P{X)~W{RWR P, R, X, V c (R{X)~V|PWR P, R, X, W c (P{X)~W{RWR P, R, X, X c R|P{X~XWR P, S, R, V c S~R~V|PWR P, S, V, R c S~V~R|PWR P, S, V, W c (S{W)~V|PWR P, S, W, V c (S{W)~V|PWR P, T, U, X c (T{X)~U|PWR P, T, V, V c (T{V)~V|PWR P, T, X, U c (T{X)~U|PWR P, U, Q, V c U~Q~V|PWR P, U, T, X c U~(T{X)|PWR P, U, U, V c (U{U)~V|PWR P, U, U, W c U~(U{W)|PWR P, U, V, Q c U~V~Q|PWR P, U, V, U c (U{U)~V|PWR P, U, V, V c U~(V{V)|PWR P, U, W, U c (U{W)~U|PWR P, U, X, T c U~(X{T)|PWR P, V, Q, U c V~Q~U|PWR P, V, R, S c V~R~S|PWR P, V, R, X c V~(R{X)|PWR P, V, S, R c V~S~R|PWR P, V, S, W c V~(S{W)|PWR P, V, T, V c (V{T)~V|PWR P, V, U, Q c V~U~Q|PWR P, V, U, U c V~(U{U)|PWR P, V, U, V c (V{V)~U|PWR P, V, V, T c V~(V{T)|PWR P, V, V, U c (V{V)~U|PWR P, V, W, S c V~(W{S)|PWR P, V, X, R c V~(X{R)|PWR P, V, X, X c (P{X)~X|VWR P, W, Q, X c (P{W)~X{QWR P, W, R, X c (P{X)~W{RWR P, W, S, V c (W{S)~V|PWR P, W, U, U c (W{U)~U|PWR P, W, V, S c (W{S)~V|PWR P, W, X, Q c (P{W)~X{QWR P, W, X, R c (P{X)~W{RWR P, X, P, X c P{X~X{PWR P, X, Q, W c (P{W)~X{QWR P, X, Q, X c P~X~X{QWR P, X, R, V c (X{R)~V|PWR P, X, R, W c (P{X)~W{RWR P, X, R, X c X~X|P{RWR P, X, T, U c (X{T)~U|PWR P, X, U, T c (X{T)~U|PWR P, X, V, R c (X{R)~V|PWR P, X, V, X c (P{X)~X|VWR P, X, W, Q c (P{W)~X{QWR P, X, W, R c (P{X)~W{RWR P, X, X, P c P{X~X{PWR P, X, X, Q c P~X~X{QWR P, X, X, R c X~X|P{RWR P, X, X, V c (P{X)~X|VWR Q, O, X, X c Q{O{X~XWR Q, P, U, V c Q~U~V|PWR Q, P, V, U c Q~V~U|PWR Q, P, W, X c Q{(P{W)~XWR Q, P, X, W c Q{(P{W)~XWR Q, P, X, X c Q{P~X~XWR Q, Q, V, X c Q{(Q{V)~XWR Q, Q, X, V c Q{(Q{V)~XWR Q, R, R, X c Q{R~R~XWR Q, R, T, W c Q~T~W{RWR Q, R, U, X c Q{(R{U)~XWR Q, R, W, T c Q~W~T{RWR Q, R, W, W c (Q{W)~W{RWR Q, R, X, R c Q{R~X~RWR Q, R, X, U c Q{(R{U)~XWR Q, S, T, X c Q{(S{T)~XWR Q, S, X, T c Q{(S{T)~XWR Q, S, X, X c S|Q{X~XWR Q, T, R, W c Q~T~W{RWR Q, T, S, X c Q{(T{S)~XWR Q, T, V, X c Q~T~X|VWR Q, T, W, R c Q~T~W{RWR Q, T, W, X c (Q{X)~W|TWR Q, T, X, S c Q{(T{S)~XWR Q, T, X, V c Q~T~X|VWR Q, T, X, W c (Q{X)~W|TWR Q, U, P, V c Q~U~V|PWR Q, U, R, X c Q{(U{R)~XWR Q, U, V, P c Q~U~V|PWR Q, U, V, X c (Q{X)~V{UWR Q, U, X, R c Q{(U{R)~XWR Q, U, X, V c (Q{X)~V{UWR Q, V, P, U c Q~V~U|PWR Q, V, Q, X c Q{(V{Q)~XWR Q, V, T, X c Q~T~X|VWR Q, V, U, P c Q~V~U|PWR Q, V, U, X c (Q{X)~V{UWR Q, V, W, X c (Q{W)~X|VWR Q, V, X, Q c (Q{V)~X{QWR Q, V, X, T c Q~X~T|VWR Q, V, X, U c (Q{X)~V{UWR Q, V, X, W c (Q{W)~X|VWR Q, W, P, X c Q{(W{P)~XWR Q, W, R, T c Q~W~T{RWR Q, W, R, W c (Q{W)~W{RWR Q, W, T, R c Q~W~T{RWR Q, W, T, X c (Q{X)~W|TWR Q, W, V, X c (Q{W)~X|VWR Q, W, W, R c (Q{W)~W{RWR Q, W, X, P c Q{(W{P)~XWR Q, W, X, T c (Q{X)~W|TWR Q, W, X, V c (Q{W)~X|VWR Q, W, X, X c Q{W~X{XWR Q, X, O, X c Q{(X{O)~XWR Q, X, P, W c Q{X~(P{W)WR Q, X, P, X c Q{X~P~XWR Q, X, Q, V c Q{X~(Q{V)WR Q, X, R, R c Q{X~R~RWR Q, X, R, U c Q{X~(R{U)WR Q, X, S, T c Q{X~(S{T)WR Q, X, S, X c X~X|Q{SWR Q, X, T, S c Q{X~(T{S)WR Q, X, T, V c Q~X~T|VWR Q, X, T, W c (Q{X)~W|TWR Q, X, U, R c Q{X~(U{R)WR Q, X, U, V c (Q{X)~V{UWR Q, X, V, Q c Q{X~(V{Q)WR Q, X, V, T c Q~X~T|VWR Q, X, V, U c (Q{X)~V{UWR Q, X, V, W c (Q{W)~X|VWR Q, X, W, P c Q{X~(W{P)WR Q, X, W, T c (Q{X)~W|TWR Q, X, W, V c (Q{W)~X|VWR Q, X, W, X c Q{X{W~XWR Q, X, X, O c Q{X~X{OWR Q, X, X, P c Q{X~X~PWR Q, X, X, S c X~X|Q{SWR Q, X, X, W c Q{X{X~WWR Q, X, X, X c (QX{X)~XWR R, P, S, V c R~S~V|PWR R, P, V, S c R~V~S|PWR R, P, V, X c (R{X)~V|PWR R, P, W, X c R{(P{X)~WWR R, P, X, V c (R{X)~V|PWR R, P, X, W c R{(P{X)~WWR R, P, X, X c R|P{X~XWR R, Q, R, X c R~R~X{QWR R, Q, T, W c R{Q~T~WWR R, Q, U, X c (R{U)~X{QWR R, Q, W, T c R{Q~W~TWR R, Q, W, W c R{(Q{W)~WWR R, Q, X, R c R~X~R{QWR R, Q, X, U c (R{U)~X{QWR R, R, Q, X c R~R~X{QWR R, R, V, W c R{(R{V)~WWR R, R, W, V c R{(R{V)~WWR R, R, X, Q c R~R~X{QWR R, S, P, V c R~S~V|PWR R, S, S, T c R{S~S~TWR R, S, T, S c R{S~T~SWR R, S, U, W c R{(S{U)~WWR R, S, V, P c R~S~V|PWR R, S, W, U c R{(S{U)~WWR R, T, Q, W c R{T~Q~WWR R, T, S, S c R{T~S~SWR R, T, T, W c R{(T{T)~WWR R, T, U, V c R~T~U|VWR R, T, V, U c R~T~U|VWR R, T, V, X c R{T~(V{X)WR R, T, W, Q c R{T~W~QWR R, T, W, T c R{(T{T)~WWR R, T, W, W c R{T~(W{W)WR R, T, X, V c R{T~(X{V)WR R, T, X, X c T|R{X~XWR R, U, Q, X c (R{U)~X{QWR R, U, S, W c R{(U{S)~WWR R, U, T, V c R~U~T|VWR R, U, V, T c R~U~T|VWR R, U, V, W c (R{W)~V{UWR R, U, W, S c R{(U{S)~WWR R, U, W, V c (R{W)~V{UWR R, U, X, Q c (R{U)~X{QWR R, U, X, X c UR{X~XWR R, V, P, S c R~V~S|PWR R, V, P, X c (R{X)~V|PWR R, V, R, W c R{(V{R)~WWR R, V, S, P c R~V~S|PWR R, V, T, U c R~T~U|VWR R, V, T, X c R{(V{X)~TWR R, V, U, T c R~U~T|VWR R, V, U, W c (R{W)~V{UWR R, V, V, X c (R{V)~X|VWR R, V, W, R c (R{V)~W{RWR R, V, W, U c (R{W)~V{UWR R, V, W, X c R~X{V~WWR R, V, X, P c (R{X)~V|PWR R, V, X, T c R{(V{X)~TWR R, V, X, V c (R{V)~X|VWR R, V, X, W c R~X{V~WWR R, W, P, X c R{W~(P{X)WR R, W, Q, T c R{W~Q~TWR R, W, Q, W c R{(W{Q)~WWR R, W, R, V c R{W~(R{V)WR R, W, S, U c R{W~(S{U)WR R, W, T, Q c R{W~T~QWR R, W, T, T c R{W~(T{T)WR R, W, T, W c R{(W{W)~TWR R, W, U, S c R{W~(U{S)WR R, W, U, V c (R{W)~V{UWR R, W, V, R c R{W~(V{R)WR R, W, V, U c (R{W)~V{UWR R, W, V, X c R~X{W~VWR R, W, W, Q c R{W~(W{Q)WR R, W, W, T c R{(W{W)~TWR R, W, W, X c R{W{W~XWR R, W, X, P c R{W~(X{P)WR R, W, X, V c R~X{W~VWR R, W, X, W c R{W{X~WWR R, X, P, V c (R{X)~V|PWR R, X, P, W c R{(X{P)~WWR R, X, P, X c R{X~X|PWR R, X, Q, R c R~X~R{QWR R, X, Q, U c (R{U)~X{QWR R, X, R, Q c R~X~R{QWR R, X, T, V c R{(X{V)~TWR R, X, T, X c X~X|R{TWR R, X, U, Q c (R{U)~X{QWR R, X, U, X c X~X{URWR R, X, V, P c (R{X)~V|PWR R, X, V, T c R{(X{V)~TWR R, X, V, V c (R{V)~X|VWR R, X, V, W c R~X{V~WWR R, X, W, P c R{(X{P)~WWR R, X, W, V c R~X{W~VWR R, X, W, W c R{X~W{WWR R, X, X, P c R{X~X|PWR R, X, X, T c X~X|R{TWR R, X, X, U c X~X{URWR S, P, R, V c S~R~V|PWR S, P, V, R c S~V~R|PWR S, P, V, W c (S{W)~V|PWR S, P, W, V c (S{W)~V|PWR S, Q, T, X c (S{T)~X{QWR S, Q, X, T c (S{T)~X{QWR S, Q, X, X c S|Q{X~XWR S, R, P, V c S~R~V|PWR S, R, S, T c S~S~T{RWR S, R, T, S c S~T~S{RWR S, R, U, W c (S{U)~W{RWR S, R, V, P c S~R~V|PWR S, R, W, U c (S{U)~W{RWR S, S, R, T c S~S~T{RWR S, S, T, R c S~S~T{RWR S, T, Q, X c (S{T)~X{QWR S, T, R, S c S~T~S{RWR S, T, S, R c S~T~S{RWR S, T, U, X c (S{X)~U{TWR S, T, V, W c (S{V)~W|TWR S, T, V, X c S~T{V~XWR S, T, W, V c (S{V)~W|TWR S, T, X, Q c (S{T)~X{QWR S, T, X, U c (S{X)~U{TWR S, T, X, V c S~T{X~VWR S, U, R, W c (S{U)~W{RWR S, U, T, X c (S{X)~U{TWR S, U, V, V c (S{V)~V{UWR S, U, V, X c (S{U)~X|VWR S, U, W, R c (S{U)~W{RWR S, U, X, T c (S{X)~U{TWR S, U, X, V c (S{U)~X|VWR S, U, X, X c U|S{X~XWR S, V, P, R c S~V~R|PWR S, V, P, W c (S{W)~V|PWR S, V, R, P c S~V~R|PWR S, V, T, W c (S{V)~W|TWR S, V, T, X c S~T{V~XWR S, V, U, V c (S{V)~V{UWR S, V, U, X c (S{U)~X|VWR S, V, V, U c (S{V)~V{UWR S, V, W, P c (S{W)~V|PWR S, V, W, T c (S{V)~W|TWR S, V, W, X c S{V{W~XWR S, V, X, T c S~T{V~XWR S, V, X, U c (S{U)~X|VWR S, V, X, W c S{V{X~WWR S, W, P, V c (S{W)~V|PWR S, W, R, U c (S{U)~W{RWR S, W, T, V c (S{V)~W|TWR S, W, U, R c (S{U)~W{RWR S, W, V, P c (S{W)~V|PWR S, W, V, T c (S{V)~W|TWR S, W, V, X c S{W~X{VWR S, W, X, V c S{W~X{VWR S, W, X, X c WS{X~XWR S, X, Q, T c (S{T)~X{QWR S, X, Q, X c S{X~X|QWR S, X, T, Q c (S{T)~X{QWR S, X, T, U c (S{X)~U{TWR S, X, T, V c S~T{X~VWR S, X, U, T c (S{X)~U{TWR S, X, U, V c (S{U)~X|VWR S, X, U, X c X~X|S{UWR S, X, V, T c S~T{X~VWR S, X, V, U c (S{U)~X|VWR S, X, V, W c (S{X)~V|WWR S, X, W, V c S{X~W{VWR S, X, W, X c X~X{WSWR S, X, X, Q c S{X~X|QWR S, X, X, U c X~X|S{UWR S, X, X, W c X~X{WSWR T, P, U, X c (T{X)~U|PWR T, P, V, V c (T{V)~V|PWR T, P, X, U c (T{X)~U|PWR T, Q, R, W c T~Q~W{RWR T, Q, S, X c (T{S)~X{QWR T, Q, V, X c T~Q~X|VWR T, Q, W, R c T~Q~W{RWR T, Q, W, X c T~(W{X)|QWR T, Q, X, S c (T{S)~X{QWR T, Q, X, V c T~Q~X|VWR T, Q, X, W c T~(X{W)|QWR T, R, Q, W c T~Q~W{RWR T, R, S, S c T~S~S{RWR T, R, T, W c T~R~T{WWR T, R, U, V c T~R~U|VWR T, R, V, U c T~R~U|VWR T, R, V, X c T~(V{X){RWR T, R, W, Q c T~W~Q{RWR T, R, W, T c T~R~T{WWR T, R, W, W c T~(W{W){RWR T, R, X, V c T~(X{V){RWR T, R, X, X c T|R{X~XWR T, S, Q, X c (T{S)~X{QWR T, S, R, S c T~S~S{RWR T, S, S, R c T~S~S{RWR T, S, U, X c T{(S{X)~UWR T, S, V, W c (S{V)~W|TWR T, S, V, X c T~S{V~XWR T, S, W, V c (S{V)~W|TWR T, S, X, Q c (T{S)~X{QWR T, S, X, U c T{(S{X)~UWR T, S, X, V c T~S{X~VWR T, T, R, W c T~T~R{WWR T, T, U, W c T{(T{W)~UWR T, T, V, X c (T{T)~X|VWR T, T, W, R c (T{T)~W{RWR T, T, W, U c T{(T{W)~UWR T, T, X, V c (T{T)~X|VWR T, U, P, X c (T{X)~U|PWR T, U, R, V c T~U~R|VWR T, U, S, X c T{U~(S{X)WR T, U, T, W c T{U~(T{W)WR T, U, U, V c T{U~(U{V)WR T, U, V, R c T~U~R|VWR T, U, V, U c T{(U{V)~UWR T, U, V, W c T~V{U~WWR T, U, W, T c T{U~(W{T)WR T, U, W, V c T~V{U~WWR T, U, W, X c T{U{W~XWR T, U, X, P c (T{X)~U|PWR T, U, X, S c T{U~(X{S)WR T, U, X, W c T{U{X~WWR T, V, P, V c (T{V)~V|PWR T, V, Q, X c T~Q~X|VWR T, V, R, U c T~R~U|VWR T, V, R, X c T~(V{X){RWR T, V, S, W c (V{S)~W|TWR T, V, S, X c T~S{V~XWR T, V, T, X c (T{T)~X|VWR T, V, U, R c T~U~R|VWR T, V, U, U c T{(V{U)~UWR T, V, U, W c T~V{U~WWR T, V, V, P c (T{V)~V|PWR T, V, W, S c (V{S)~W|TWR T, V, W, U c T~V{W~UWR T, V, W, W c T~(V{W){WWR T, V, X, Q c T~X~Q|VWR T, V, X, R c T~(V{X){RWR T, V, X, S c T~S{V~XWR T, V, X, T c (T{T)~X|VWR T, V, X, X c T~(X{X)|VWR T, W, Q, R c T~W~Q{RWR T, W, Q, X c T~(W{X)|QWR T, W, R, Q c T~W~Q{RWR T, W, R, T c T~R~T{WWR T, W, R, W c T~(W{W){RWR T, W, S, V c W~(S{V)|TWR T, W, T, R c (T{T)~W{RWR T, W, T, U c T{(W{T)~UWR T, W, U, T c (T{W)~U{TWR T, W, U, V c T~V{W~UWR T, W, U, X c T{W~X{UWR T, W, V, S c W~(V{S)|TWR T, W, V, U c T~V{W~UWR T, W, V, W c (T{W)~V|WWR T, W, W, R c T~(W{W){RWR T, W, W, V c (T{W)~V|WWR T, W, X, Q c T~(W{X)|QWR T, W, X, U c T{W~X{UWR T, X, P, U c (T{X)~U|PWR T, X, Q, S c (T{S)~X{QWR T, X, Q, V c T~X~Q|VWR T, X, Q, W c T~(X{W)|QWR T, X, R, V c T~(X{V){RWR T, X, R, X c T{X~X|RWR T, X, S, Q c (T{S)~X{QWR T, X, S, U c T{(X{S)~UWR T, X, S, V c T~S{X~VWR T, X, T, V c (T{T)~X|VWR T, X, U, P c (T{X)~U|PWR T, X, U, S c T{(X{S)~UWR T, X, U, W c T~(X{U){WWR T, X, V, Q c T~X~Q|VWR T, X, V, R c T~(X{V){RWR T, X, V, S c T~S{X~VWR T, X, V, T c (T{T)~X|VWR T, X, V, X c T~(X{X)|VWR T, X, W, Q c T~(X{W)|QWR T, X, W, U c T{X~W{UWR T, X, X, R c T{X~X|RWR T, X, X, V c T~(X{X)|VWR U, P, Q, V c U~Q~V|PWR U, P, T, X c U~(T{X)|PWR U, P, U, V c (U{U)~V|PWR U, P, U, W c U~(U{W)|PWR U, P, V, Q c U~V~Q|PWR U, P, V, U c (U{U)~V|PWR U, P, V, V c U~(V{V)|PWR U, P, W, U c (U{W)~U|PWR U, P, X, T c U~(X{T)|PWR U, Q, P, V c U~Q~V|PWR U, Q, R, X c (U{R)~X{QWR U, Q, V, P c U~Q~V|PWR U, Q, V, X c U{(Q{X)~VWR U, Q, X, R c (U{R)~X{QWR U, Q, X, V c U{(Q{X)~VWR U, R, Q, X c (U{R)~X{QWR U, R, S, W c (U{S)~W{RWR U, R, T, V c U~R~T|VWR U, R, V, T c U~R~T|VWR U, R, V, W c U{(R{W)~VWR U, R, W, S c (U{S)~W{RWR U, R, W, V c U{(R{W)~VWR U, R, X, Q c (U{R)~X{QWR U, R, X, X c UR{X~XWR U, S, R, W c (U{S)~W{RWR U, S, T, X c U~(S{X){TWR U, S, V, V c U{(S{V)~VWR U, S, V, X c (U{S)~X|VWR U, S, W, R c (U{S)~W{RWR U, S, X, T c U~(S{X){TWR U, S, X, V c (U{S)~X|VWR U, S, X, X c U|S{X~XWR U, T, P, X c U~(T{X)|PWR U, T, R, V c U~T~R|VWR U, T, S, X c U~(S{X){TWR U, T, T, W c (U{T)~W|TWR U, T, U, V c U{(T{U)~VWR U, T, V, R c U~T~R|VWR U, T, V, U c (U{T)~V{UWR U, T, V, W c U~W{T~VWR U, T, W, T c (U{T)~W|TWR U, T, W, V c U~W{T~VWR U, T, W, X c U{T{W~XWR U, T, X, P c U~(T{X)|PWR U, T, X, S c U~(X{S){TWR U, T, X, W c U{T{X~WWR U, U, P, V c (U{U)~V|PWR U, U, P, W c U~(U{W)|PWR U, U, T, V c U{(U{T)~VWR U, U, V, P c (U{U)~V|PWR U, U, V, T c U~(U{V){TWR U, U, V, X c U~(U{X)|VWR U, U, W, P c U~(U{W)|PWR U, U, X, V c U~(U{X)|VWR U, V, P, Q c U~V~Q|PWR U, V, P, U c (U{U)~V|PWR U, V, P, V c U~(V{V)|PWR U, V, Q, P c U~V~Q|PWR U, V, Q, X c U{V~(Q{X)WR U, V, R, T c U~R~T|VWR U, V, R, W c U{V~(R{W)WR U, V, S, V c U{(V{S)~VWR U, V, S, X c (U{S)~X|VWR U, V, T, R c U~T~R|VWR U, V, T, U c U{V~(T{U)WR U, V, T, W c U~W{V~TWR U, V, U, P c (U{U)~V|PWR U, V, U, T c (U{V)~U{TWR U, V, U, X c U~(U{X)|VWR U, V, V, P c U~(V{V)|PWR U, V, V, S c U{V~(V{S)WR U, V, V, W c (U{V)~V|WWR U, V, W, R c U{V~(W{R)WR U, V, W, T c U~W{V~TWR U, V, W, V c U~(V{W)|VWR U, V, X, Q c U{V~(X{Q)WR U, V, X, S c (U{S)~X|VWR U, V, X, U c (U{X)~U|VWR U, W, P, U c (U{W)~U|PWR U, W, R, S c (U{S)~W{RWR U, W, R, V c U{(W{R)~VWR U, W, S, R c (U{S)~W{RWR U, W, T, T c U~(W{T){TWR U, W, T, V c U~W{T~VWR U, W, T, X c U{W~X{TWR U, W, U, P c (U{W)~U|PWR U, W, V, R c U{(W{R)~VWR U, W, V, T c U~W{V~TWR U, W, V, V c U~(W{V)|VWR U, W, X, T c U{W~X{TWR U, W, X, X c W|U{X~XWR U, X, P, T c U~(X{T)|PWR U, X, Q, R c (U{R)~X{QWR U, X, Q, V c U{(X{Q)~VWR U, X, R, Q c (U{R)~X{QWR U, X, R, X c UR{X~XWR U, X, S, T c U~(X{S){TWR U, X, S, V c (U{S)~X|VWR U, X, S, X c U{X~X|SWR U, X, T, P c U~(X{T)|PWR U, X, T, S c U~(X{S){TWR U, X, T, W c (U{X)~T{WWR U, X, U, V c (U{X)~U|VWR U, X, V, Q c U{(X{Q)~VWR U, X, V, S c (U{S)~X|VWR U, X, V, U c (U{X)~U|VWR U, X, W, T c U{X~W{TWR U, X, W, X c X~X|U{WWR U, X, X, R c UR{X~XWR U, X, X, S c U{X~X|SWR U, X, X, W c X~X|U{WWR V, P, Q, U c V~Q~U|PWR V, P, R, S c V~R~S|PWR V, P, R, X c V~(R{X)|PWR V, P, S, R c V~S~R|PWR V, P, S, W c V~(S{W)|PWR V, P, T, V c (V{T)~V|PWR V, P, U, Q c V~U~Q|PWR V, P, U, U c V~(U{U)|PWR V, P, U, V c (V{V)~U|PWR V, P, V, T c V~(V{T)|PWR V, P, V, U c (V{V)~U|PWR V, P, W, S c V~(W{S)|PWR V, P, X, R c V~(X{R)|PWR V, P, X, X c (P{X)~X|VWR V, Q, P, U c V~Q~U|PWR V, Q, Q, X c (V{Q)~X{QWR V, Q, T, X c Q~T~X|VWR V, Q, U, P c V~Q~U|PWR V, Q, U, X c V~(Q{X){UWR V, Q, W, X c (Q{W)~X|VWR V, Q, X, Q c (V{Q)~X{QWR V, Q, X, T c Q~X~T|VWR V, Q, X, U c V~(Q{X){UWR V, Q, X, W c (Q{W)~X|VWR V, R, P, S c V~R~S|PWR V, R, P, X c V~(R{X)|PWR V, R, R, W c (V{R)~W{RWR V, R, S, P c V~R~S|PWR V, R, T, U c R~T~U|VWR V, R, T, X c (V{X)~T{RWR V, R, U, T c R~U~T|VWR V, R, U, W c V~(R{W){UWR V, R, V, X c (V{R)~X|VWR V, R, W, R c (V{R)~W{RWR V, R, W, U c V~(R{W){UWR V, R, W, X c V~W{R~XWR V, R, X, P c V~(R{X)|PWR V, R, X, T c (V{X)~T{RWR V, R, X, V c (V{R)~X|VWR V, R, X, W c V~W{R~XWR V, S, P, R c V~S~R|PWR V, S, P, W c V~(S{W)|PWR V, S, R, P c V~S~R|PWR V, S, T, W c (V{S)~W|TWR V, S, T, X c V~X{S~TWR V, S, U, V c (V{S)~V{UWR V, S, U, X c (S{U)~X|VWR V, S, V, U c (V{S)~V{UWR V, S, W, P c V~(S{W)|PWR V, S, W, T c (V{S)~W|TWR V, S, W, X c V{S{W~XWR V, S, X, T c V~X{S~TWR V, S, X, U c (S{U)~X|VWR V, S, X, W c V{S{X~WWR V, T, P, V c (V{T)~V|PWR V, T, Q, X c T~Q~X|VWR V, T, R, U c T~R~U|VWR V, T, R, X c (V{X)~T{RWR V, T, S, W c (V{S)~W|TWR V, T, S, X c V~X{T~SWR V, T, T, X c (T{T)~X|VWR V, T, U, R c T~U~R|VWR V, T, U, U c V~(T{U){UWR V, T, U, W c V~T{U~WWR V, T, V, P c (V{T)~V|PWR V, T, W, S c (V{S)~W|TWR V, T, W, U c V~T{W~UWR V, T, W, W c V~(T{W)|WWR V, T, X, Q c T~X~Q|VWR V, T, X, R c (V{X)~T{RWR V, T, X, S c V~X{T~SWR V, T, X, T c (T{T)~X|VWR V, T, X, X c V|T{X~XWR V, U, P, Q c V~U~Q|PWR V, U, P, U c V~(U{U)|PWR V, U, P, V c (V{V)~U|PWR V, U, Q, P c V~U~Q|PWR V, U, Q, X c V~(Q{X){UWR V, U, R, T c U~R~T|VWR V, U, R, W c V~(R{W){UWR V, U, S, V c (V{S)~V{UWR V, U, S, X c (U{S)~X|VWR V, U, T, R c U~T~R|VWR V, U, T, U c V~(U{T){UWR V, U, T, W c V~T{U~WWR V, U, U, P c V~(U{U)|PWR V, U, U, T c (V{U)~U{TWR V, U, U, X c U~(U{X)|VWR V, U, V, P c (V{V)~U|PWR V, U, V, S c V~(V{S){UWR V, U, V, W c (V{U)~V|WWR V, U, W, R c V~(W{R){UWR V, U, W, T c V~T{U~WWR V, U, W, V c (V{U)~V|WWR V, U, X, Q c V~(X{Q){UWR V, U, X, S c (U{S)~X|VWR V, U, X, U c (U{X)~U|VWR V, V, P, T c V~(V{T)|PWR V, V, P, U c (V{V)~U|PWR V, V, R, X c (V{R)~X|VWR V, V, S, U c V~(V{S){UWR V, V, T, P c V~(V{T)|PWR V, V, U, P c (V{V)~U|PWR V, V, U, S c V~(V{S){UWR V, V, U, W c V~(V{U)|WWR V, V, W, U c V~(V{U)|WWR V, V, X, R c (V{R)~X|VWR V, W, P, S c V~(W{S)|PWR V, W, Q, X c (W{Q)~X|VWR V, W, R, R c (V{R)~W{RWR V, W, R, U c V~(W{R){UWR V, W, R, X c V~W{R~XWR V, W, S, P c V~(W{S)|PWR V, W, S, T c (V{S)~W|TWR V, W, S, X c V{W~X{SWR V, W, T, S c (V{S)~W|TWR V, W, T, U c V~T{W~UWR V, W, T, W c (V{W)~T{WWR V, W, U, R c V~(W{R){UWR V, W, U, T c V~T{W~UWR V, W, U, V c (V{W)~U|VWR V, W, V, U c (V{W)~U|VWR V, W, W, T c (V{W)~T{WWR V, W, X, Q c (W{Q)~X|VWR V, W, X, R c V~W{X~RWR V, W, X, S c V{W~X{SWR V, X, P, R c V~(X{R)|PWR V, X, P, X c (X{P)~X|VWR V, X, Q, Q c (V{Q)~X{QWR V, X, Q, T c X~Q~T|VWR V, X, Q, U c V~(X{Q){UWR V, X, Q, W c X~(Q{W)|VWR V, X, R, P c V~(X{R)|PWR V, X, R, T c (V{X)~T{RWR V, X, R, V c (V{R)~X|VWR V, X, R, W c V~W{X~RWR V, X, S, T c V~X{S~TWR V, X, S, U c X~(S{U)|VWR V, X, S, W c V~(X{S)|WWR V, X, T, Q c X~T~Q|VWR V, X, T, R c (V{X)~T{RWR V, X, T, S c V~X{T~SWR V, X, T, T c X~(T{T)|VWR V, X, T, X c V{X~X|TWR V, X, U, Q c V~(X{Q){UWR V, X, U, S c X~(U{S)|VWR V, X, U, U c (X{U)~U|VWR V, X, V, R c (V{R)~X|VWR V, X, W, Q c X~(W{Q)|VWR V, X, W, R c V~W{X~RWR V, X, W, S c V{X~W{SWR V, X, X, P c X~(X{P)|VWR V, X, X, T c V{X~X|TWR V, X, X, X c X|V{X~XWR W, P, Q, X c (W{P)~X{QWR W, P, R, X c W~(P{X){RWR W, P, S, V c (W{S)~V|PWR W, P, U, U c (W{U)~U|PWR W, P, V, S c (W{S)~V|PWR W, P, X, Q c (W{P)~X{QWR W, P, X, R c W~(P{X){RWR W, Q, P, X c (W{P)~X{QWR W, Q, R, T c W~Q~T{RWR W, Q, R, W c (W{Q)~W{RWR W, Q, T, R c W~Q~T{RWR W, Q, T, X c W~(Q{X)|TWR W, Q, V, X c (W{Q)~X|VWR W, Q, W, R c (W{Q)~W{RWR W, Q, X, P c (W{P)~X{QWR W, Q, X, T c W~(Q{X)|TWR W, Q, X, V c (W{Q)~X|VWR W, Q, X, X c W~X{Q{XWR W, R, P, X c W~(P{X){RWR W, R, Q, T c W~Q~T{RWR W, R, Q, W c (W{Q)~W{RWR W, R, R, V c W~(R{V){RWR W, R, S, U c W~(S{U){RWR W, R, T, Q c W~T~Q{RWR W, R, T, T c W{R~T~TWR W, R, T, W c (W{R)~W|TWR W, R, U, S c W~(U{S){RWR W, R, U, V c (W{R)~V{UWR W, R, V, R c W~(R{V){RWR W, R, V, U c (W{R)~V{UWR W, R, V, X c W~V{R~XWR W, R, W, Q c W~(W{Q){RWR W, R, W, T c (W{R)~W|TWR W, R, W, X c W{R{W~XWR W, R, X, P c W~(X{P){RWR W, R, X, V c W~V{R~XWR W, R, X, W c W{R{X~WWR W, S, P, V c (W{S)~V|PWR W, S, R, U c W~(S{U){RWR W, S, T, V c W~(S{V)|TWR W, S, U, R c W~(S{U){RWR W, S, V, P c (W{S)~V|PWR W, S, V, T c W~(S{V)|TWR W, S, V, X c W~X{S{VWR W, S, X, V c W~X{S{VWR W, S, X, X c WS{X~XWR W, T, Q, R c W~T~Q{RWR W, T, Q, X c W~(Q{X)|TWR W, T, R, Q c W~T~Q{RWR W, T, R, T c W{T~R~TWR W, T, R, W c (W{R)~W|TWR W, T, S, V c W~(S{V)|TWR W, T, T, R c W{T~T~RWR W, T, T, U c (W{T)~U{TWR W, T, U, T c (W{T)~U{TWR W, T, U, V c W~U{T~VWR W, T, U, X c W{T~(U{X)WR W, T, V, S c W~(V{S)|TWR W, T, V, U c W~U{T~VWR W, T, V, W c W{T~(V{W)WR W, T, W, R c (W{W)~T{RWR W, T, W, V c W{T~(W{V)WR W, T, X, Q c (W{X)~T|QWR W, T, X, U c W{T~(X{U)WR W, U, P, U c (W{U)~U|PWR W, U, R, S c W~(U{S){RWR W, U, R, V c (W{R)~V{UWR W, U, S, R c W~(U{S){RWR W, U, T, T c W~(U{T)|TWR W, U, T, V c W~U{T~VWR W, U, T, X c W{(U{X)~TWR W, U, U, P c (W{U)~U|PWR W, U, V, R c (W{R)~V{UWR W, U, V, T c W~U{V~TWR W, U, V, V c (W{V)~U|VWR W, U, X, T c W{(U{X)~TWR W, U, X, X c W|U{X~XWR W, V, P, S c (W{S)~V|PWR W, V, Q, X c (W{Q)~X|VWR W, V, R, R c W~(V{R){RWR W, V, R, U c (W{R)~V{UWR W, V, R, X c W~V{R~XWR W, V, S, P c (W{S)~V|PWR W, V, S, T c W~(V{S)|TWR W, V, S, X c W~X{V{SWR W, V, T, S c W~(V{S)|TWR W, V, T, U c W~U{V~TWR W, V, T, W c (W{V)~T{WWR W, V, U, R c (W{R)~V{UWR W, V, U, T c W~U{V~TWR W, V, U, V c (W{V)~U|VWR W, V, V, U c (W{V)~U|VWR W, V, W, T c W{(V{W)~TWR W, V, X, Q c (W{Q)~X|VWR W, V, X, R c W~V{X~RWR W, V, X, S c W~X{V{SWR W, W, Q, R c W~(W{Q){RWR W, W, R, Q c W~(W{Q){RWR W, W, R, T c W~(W{R)|TWR W, W, R, X c W{W~X{RWR W, W, T, R c (W{W)~T{RWR W, W, T, V c W{(W{V)~TWR W, W, V, T c W{(W{V)~TWR W, W, X, R c W{W~X{RWR W, X, P, Q c (W{P)~X{QWR W, X, P, R c W~(X{P){RWR W, X, Q, P c (W{P)~X{QWR W, X, Q, T c W~(X{Q)|TWR W, X, Q, V c (W{Q)~X|VWR W, X, Q, X c W~X{Q{XWR W, X, R, P c W~(X{P){RWR W, X, R, V c W~V{X~RWR W, X, R, W c W~X{R{WWR W, X, S, V c W~X{S{VWR W, X, S, X c WS{X~XWR W, X, T, Q c (W{X)~T|QWR W, X, T, U c W~X{T{UWR W, X, U, T c W{(X{U)~TWR W, X, U, X c W{X~X|UWR W, X, V, Q c (W{Q)~X|VWR W, X, V, R c W~V{X~RWR W, X, V, S c W~X{V{SWR W, X, W, R c W{X~W{RWR W, X, X, Q c W~X{X{QWR W, X, X, S c WS{X~XWR W, X, X, U c W{X~X|UWR X, O, Q, X c (X{O)~X{QWR X, O, X, Q c (X{O)~X{QWR X, P, P, X c X~X{P{PWR X, P, Q, W c X~(P{W){QWR X, P, Q, X c X~P~X{QWR X, P, R, V c (X{R)~V|PWR X, P, R, W c (X{P)~W{RWR X, P, R, X c X~X|P{RWR X, P, T, U c (X{T)~U|PWR X, P, U, T c (X{T)~U|PWR X, P, V, R c (X{R)~V|PWR X, P, V, X c (X{P)~X|VWR X, P, W, Q c X~(P{W){QWR X, P, W, R c (X{P)~W{RWR X, P, X, P c X~X{P{PWR X, P, X, Q c X~P~X{QWR X, P, X, R c X~X|P{RWR X, P, X, V c (X{P)~X|VWR X, Q, O, X c (X{O)~X{QWR X, Q, P, W c X~(P{W){QWR X, Q, P, X c X~P~X{QWR X, Q, Q, V c X~(Q{V){QWR X, Q, R, R c X~R~R{QWR X, Q, R, U c X~(R{U){QWR X, Q, S, T c X~(S{T){QWR X, Q, S, X c X~X|Q{SWR X, Q, T, S c X~(T{S){QWR X, Q, T, V c X~Q~T|VWR X, Q, T, W c (X{Q)~W|TWR X, Q, U, R c X~(U{R){QWR X, Q, U, V c (X{Q)~V{UWR X, Q, V, Q c X~(Q{V){QWR X, Q, V, T c X~Q~T|VWR X, Q, V, U c (X{Q)~V{UWR X, Q, V, W c X~(Q{W)|VWR X, Q, W, P c X~(W{P){QWR X, Q, W, T c (X{Q)~W|TWR X, Q, W, V c X~(Q{W)|VWR X, Q, W, X c X{Q{W~XWR X, Q, X, O c X~X{Q{OWR X, Q, X, P c X~X{Q~PWR X, Q, X, S c X~X|Q{SWR X, Q, X, W c X{Q{X~WWR X, Q, X, X c (X{QX)~XWR X, R, P, V c (X{R)~V|PWR X, R, P, W c (X{P)~W{RWR X, R, P, X c X~X{R|PWR X, R, Q, R c X~R~R{QWR X, R, Q, U c X~(R{U){QWR X, R, R, Q c X~R~R{QWR X, R, T, V c (X{V)~T{RWR X, R, T, X c X~X|R{TWR X, R, U, Q c X~(R{U){QWR X, R, U, X c X~X{URWR X, R, V, P c (X{R)~V|PWR X, R, V, T c (X{V)~T{RWR X, R, V, V c X~(R{V)|VWR X, R, V, W c X~R{V~WWR X, R, W, P c (X{P)~W{RWR X, R, W, V c X~R{W~VWR X, R, W, W c X~W{R{WWR X, R, X, P c X~X{R|PWR X, R, X, T c X~X|R{TWR X, R, X, U c X~X{URWR X, S, Q, T c X~(S{T){QWR X, S, Q, X c X~X{S|QWR X, S, T, Q c X~(S{T){QWR X, S, T, U c (X{S)~U{TWR X, S, T, V c X~V{S~TWR X, S, U, T c (X{S)~U{TWR X, S, U, V c X~(S{U)|VWR X, S, U, X c X~X|S{UWR X, S, V, T c X~V{S~TWR X, S, V, U c X~(S{U)|VWR X, S, V, W c (X{S)~V|WWR X, S, W, V c (X{S)~V|WWR X, S, W, X c X~X{WSWR X, S, X, Q c X~X{S|QWR X, S, X, U c X~X|S{UWR X, S, X, W c X~X{WSWR X, T, P, U c (X{T)~U|PWR X, T, Q, S c X~(T{S){QWR X, T, Q, V c X~T~Q|VWR X, T, Q, W c (X{Q)~W|TWR X, T, R, V c (X{V)~T{RWR X, T, R, X c X~X{T|RWR X, T, S, Q c X~(T{S){QWR X, T, S, U c (X{S)~U{TWR X, T, S, V c X~V{T~SWR X, T, T, V c X~(T{T)|VWR X, T, U, P c (X{T)~U|PWR X, T, U, S c (X{S)~U{TWR X, T, U, W c (X{U)~T{WWR X, T, V, Q c X~T~Q|VWR X, T, V, R c (X{V)~T{RWR X, T, V, S c X~V{T~SWR X, T, V, T c X~(T{T)|VWR X, T, V, X c (X{X)~T|VWR X, T, W, Q c (X{W)~T|QWR X, T, W, U c X~W{T{UWR X, T, X, R c X~X{T|RWR X, T, X, V c (X{X)~T|VWR X, U, P, T c (X{T)~U|PWR X, U, Q, R c X~(U{R){QWR X, U, Q, V c (X{Q)~V{UWR X, U, R, Q c X~(U{R){QWR X, U, R, X c X~X{URWR X, U, S, T c (X{S)~U{TWR X, U, S, V c X~(U{S)|VWR X, U, S, X c X~X{U|SWR X, U, T, P c (X{T)~U|PWR X, U, T, S c (X{S)~U{TWR X, U, T, W c (X{U)~T{WWR X, U, U, V c (X{U)~U|VWR X, U, V, Q c (X{Q)~V{UWR X, U, V, S c X~(U{S)|VWR X, U, V, U c (X{U)~U|VWR X, U, W, T c (X{U)~T{WWR X, U, W, X c X~X|U{WWR X, U, X, R c X~X{URWR X, U, X, S c X~X{U|SWR X, U, X, W c X~X|U{WWR X, V, P, R c (X{R)~V|PWR X, V, P, X c (X{P)~X|VWR X, V, Q, Q c X~(V{Q){QWR X, V, Q, T c X~Q~T|VWR X, V, Q, U c (X{Q)~V{UWR X, V, Q, W c X~(Q{W)|VWR X, V, R, P c (X{R)~V|PWR X, V, R, T c (X{V)~T{RWR X, V, R, V c X~(V{R)|VWR X, V, R, W c X~R{V~WWR X, V, S, T c X~V{S~TWR X, V, S, U c X~(S{U)|VWR X, V, S, W c (X{S)~V|WWR X, V, T, Q c X~T~Q|VWR X, V, T, R c (X{V)~T{RWR X, V, T, S c X~V{T~SWR X, V, T, T c X~(T{T)|VWR X, V, T, X c X~X{V|TWR X, V, U, Q c (X{Q)~V{UWR X, V, U, S c X~(U{S)|VWR X, V, U, U c (X{U)~U|VWR X, V, V, R c X~(V{R)|VWR X, V, W, Q c X~(W{Q)|VWR X, V, W, R c X~R{V~WWR X, V, W, S c X~W{V{SWR X, V, X, P c X~(X{P)|VWR X, V, X, T c X~X{V|TWR X, V, X, X c X|V{X~XWR X, W, P, Q c X~(W{P){QWR X, W, P, R c (X{P)~W{RWR X, W, Q, P c X~(W{P){QWR X, W, Q, T c (X{W)~T|QWR X, W, Q, V c X~(W{Q)|VWR X, W, Q, X c X~W{Q{XWR X, W, R, P c (X{P)~W{RWR X, W, R, V c X~R{W~VWR X, W, R, W c X~W{R{WWR X, W, S, V c X~W{S{VWR X, W, S, X c X~X{WSWR X, W, T, Q c (X{W)~T|QWR X, W, T, U c X~W{T{UWR X, W, U, T c X~W{U{TWR X, W, U, X c X~X{W|UWR X, W, V, Q c X~(W{Q)|VWR X, W, V, R c X~R{W~VWR X, W, V, S c X~W{V{SWR X, W, W, R c X~W{W{RWR X, W, X, Q c X{W~X{QWR X, W, X, S c X~X{WSWR X, W, X, U c X~X{W|UWR X, X, O, Q c X~X{O{QWR X, X, P, P c X~X{P{PWR X, X, P, Q c X~X{P~QWR X, X, P, R c X~X|P{RWR X, X, P, V c X~(X{P)|VWR X, X, Q, O c X~X{Q{OWR X, X, Q, P c X~X{Q~PWR X, X, Q, S c X~X|Q{SWR X, X, Q, W c X{X~W{QWR X, X, Q, X c X~(X{QX)WR X, X, R, P c X~X{R|PWR X, X, R, T c X~X|R{TWR X, X, R, U c X~X{URWR X, X, S, Q c X~X{S|QWR X, X, S, U c X~X|S{UWR X, X, S, W c X~X{WSWR X, X, T, R c X~X{T|RWR X, X, T, V c (X{X)~T|VWR X, X, U, R c X~X{URWR X, X, U, S c X~X{U|SWR X, X, U, W c X~X|U{WWR X, X, V, P c X~(X{P)|VWR X, X, V, T c X~X{V|TWR X, X, V, X c X~X|V{XWR X, X, W, Q c X{X~W{QWR X, X, W, S c X~X{WSWR X, X, W, U c X~X{W|UWR X, X, X, Q c X~(X{QX)WR X, X, X, V c X{X~X|VWR