O, Q, U, V c O{Q~U~VWS O, Q, V, U c O{Q~V~UWS O, R, S, V c O{R~S~VWS O, R, V, S c O{R~V~SWS O, R, V, X c (O{R{X)~VWS O, R, X, V c (O{R{X)~VWS O, R, X, X c O{R{X~XWS O, S, R, V c O{S~R~VWS O, S, V, R c O{S~V~RWS O, S, V, W c (O{S{W)~VWS O, S, W, V c (O{S{W)~VWS O, T, U, X c (O{T{X)~UWS O, T, V, V c (O{T{V)~VWS O, T, X, U c (O{T{X)~UWS O, U, Q, V c O{U~Q~VWS O, U, T, X c (O{U)~(T{X)WS O, U, U, V c (O{U{U)~VWS O, U, U, W c (O{U)~(U{W)WS O, U, V, Q c O{U~V~QWS O, U, V, U c (O{U{U)~VWS O, U, V, V c (O{U)~(V{V)WS O, U, W, U c (O{U{W)~UWS O, U, X, T c (O{U)~(X{T)WS O, V, Q, U c O{V~Q~UWS O, V, R, S c O{V~R~SWS O, V, R, X c (O{V)~(R{X)WS O, V, S, R c O{V~S~RWS O, V, S, W c (O{V)~(S{W)WS O, V, T, V c (O{V{T)~VWS O, V, U, Q c O{V~U~QWS O, V, U, U c (O{V)~(U{U)WS O, V, U, V c (O{V{V)~UWS O, V, V, T c (O{V)~(V{T)WS O, V, V, U c (O{V{V)~UWS O, V, W, S c (O{V)~(W{S)WS O, V, X, R c (O{V)~(X{R)WS O, W, S, V c (O{W{S)~VWS O, W, U, U c (O{W{U)~UWS O, W, V, S c (O{W{S)~VWS O, X, R, V c (O{X{R)~VWS O, X, R, X c O{X~X{RWS O, X, T, U c (O{X{T)~UWS O, X, U, T c (O{X{T)~UWS O, X, V, R c (O{X{R)~VWS O, X, X, R c O{X~X{RWS P, P, U, V c (P{P)~(U~V)WS P, P, V, U c (P{P)~(V~U)WS P, Q, S, V c (P{Q)~(S~V)WS P, Q, T, V c (P{T)~(Q~V)WS P, Q, U, U c (P{U)~(Q~U)WS P, Q, U, V c P~Q~U~VWS P, Q, U, W c (Q~U)~(W|P)WS P, Q, V, S c (P{Q)~(V~S)WS P, Q, V, T c (P{T)~(Q~V)WS P, Q, V, U c P~Q~V~UWS P, Q, V, V c Q~(V|P)~VWS P, Q, V, X c (P{Q{X)~VWS P, Q, W, U c Q~(W|P)~UWS P, Q, X, V c (P{Q{X)~VWS P, Q, X, X c P{Q{X~XWS P, R, R, V c (P{R)~(R~V)WS P, R, R, X c (P{R~X)~RWS P, R, S, U c (P{U)~(R~S)WS P, R, S, V c P~R~S~VWS P, R, S, W c (R~S)~(W|P)WS P, R, T, U c (R~T|P)~UWS P, R, T, V c R~(T|P)~VWS P, R, U, S c (P{U)~(R~S)WS P, R, U, T c (R~T|P)~UWS P, R, U, V c (R|P)~(U~V)WS P, R, U, X c (P{U)~(R{X)WS P, R, V, R c (P{R)~(V~R)WS P, R, V, S c P~R~V~SWS P, R, V, T c (R~V)~(T|P)WS P, R, V, U c (R|P)~(V~U)WS P, R, V, W c (P{R{W)~VWS P, R, V, X c (P~R{X)~VWS P, R, W, S c R~(W|P)~SWS P, R, W, V c (P{R{W)~VWS P, R, W, X c (P{W)~X{RWS P, R, X, R c (P{R~X)~RWS P, R, X, U c (P{U)~(R{X)WS P, R, X, V c (P~R{X)~VWS P, R, X, W c (P{W)~X{RWS P, R, X, X c P~R{X~XWS P, S, Q, V c (P{Q)~(S~V)WS P, S, R, U c (P{U)~(S~R)WS P, S, R, V c P~S~R~VWS P, S, R, W c (S~R)~(W|P)WS P, S, S, T c (P{S~T)~SWS P, S, S, V c (S|P)~(S~V)WS P, S, T, S c (P{S~T)~SWS P, S, U, R c (P{U)~(S~R)WS P, S, U, W c (P{U)~(S{W)WS P, S, U, X c (P{S{X)~UWS P, S, V, Q c (P{Q)~(S~V)WS P, S, V, R c P~S~V~RWS P, S, V, S c (S|P)~(V~S)WS P, S, V, V c (P{S{V)~VWS P, S, V, W c (P~S{W)~VWS P, S, V, X c (S|P{X)~VWS P, S, W, R c S~(W|P)~RWS P, S, W, U c (P{U)~(S{W)WS P, S, W, V c (P~S{W)~VWS P, S, W, W c (S{W)~(W|P)WS P, S, W, X c (P{X)~W{SWS P, S, X, U c (P{S{X)~UWS P, S, X, V c (S|P{X)~VWS P, S, X, W c (P{X)~W{SWS P, S, X, X c S|P{X~XWS P, T, Q, V c (P{T)~(Q~V)WS P, T, R, U c (T~R|P)~UWS P, T, R, V c (T|P)~(R~V)WS P, T, S, S c (P{T~S)~SWS P, T, T, X c (P{T)~(T{X)WS P, T, U, R c (T~R|P)~UWS P, T, U, V c (P{T{U)~VWS P, T, U, W c (P{T)~(U{W)WS P, T, U, X c (P~T{X)~UWS P, T, V, Q c (P{T)~(V~Q)WS P, T, V, R c (T|P)~(V~R)WS P, T, V, U c (P{T{U)~VWS P, T, V, V c (P{T)~(V{V)WS P, T, V, W c (T|P{W)~VWS P, T, V, X c (T{X)~(V|P)WS P, T, W, U c (P{T{W)~UWS P, T, W, V c (T|P{W)~VWS P, T, W, X c T~(W{X)|PWS P, T, X, T c (P{T)~(X{T)WS P, T, X, U c (P~T{X)~UWS P, T, X, V c (T{X)~(V|P)WS P, T, X, W c T~(X{W)|PWS P, U, P, V c (P{P)~(U~V)WS P, U, Q, U c (P{U)~(Q~U)WS P, U, Q, V c P~U~Q~VWS P, U, Q, W c (U~Q)~(W|P)WS P, U, R, S c (P{U)~(R~S)WS P, U, R, T c U~(R~T|P)WS P, U, R, V c U~(R|P)~VWS P, U, R, X c (P{U)~(R{X)WS P, U, S, R c (P{U)~(S~R)WS P, U, S, W c (P{U)~(S{W)WS P, U, S, X c (P{S{X)~UWS P, U, T, R c U~(T~R|P)WS P, U, T, V c (P{U{T)~VWS P, U, T, W c (P{T)~(U{W)WS P, U, T, X c (P~U)~(T{X)WS P, U, U, Q c (P{U)~(U~Q)WS P, U, U, U c (P{U)~(U{U)WS P, U, U, V c (P~U{U)~VWS P, U, U, W c (P~U)~(U{W)WS P, U, U, X c (U|P{X)~UWS P, U, V, P c (P{P)~(U~V)WS P, U, V, Q c P~U~V~QWS P, U, V, R c (U~V)~(R|P)WS P, U, V, T c (P{U)~(V{T)WS P, U, V, U c (P{U{V)~UWS P, U, V, V c (P~U)~(V{V)WS P, U, V, W c U~(V|P{W)WS P, U, W, Q c U~(W|P)~QWS P, U, W, S c (P{U)~(W{S)WS P, U, W, T c (P{W{T)~UWS P, U, W, U c (P~U{W)~UWS P, U, W, V c U~(W|P{V)WS P, U, X, R c (P{U)~(X{R)WS P, U, X, S c (P{X{S)~UWS P, U, X, T c (P~U)~(X{T)WS P, U, X, U c (U|P{X)~UWS P, U, X, X c (P{X)~X|UWS P, V, P, U c (P{P)~(V~U)WS P, V, Q, S c (P{Q)~(V~S)WS P, V, Q, T c (P{T)~(V~Q)WS P, V, Q, U c P~V~Q~UWS P, V, Q, V c (V|P)~(Q~V)WS P, V, Q, X c (P{Q{X)~VWS P, V, R, R c (P{R)~(V~R)WS P, V, R, S c P~V~R~SWS P, V, R, T c (V~R)~(T|P)WS P, V, R, U c V~(R|P)~UWS P, V, R, W c (P{R{W)~VWS P, V, R, X c (P~V)~(R{X)WS P, V, S, Q c (P{Q)~(V~S)WS P, V, S, R c P~V~S~RWS P, V, S, S c V~(S|P)~SWS P, V, S, V c (P{V{S)~VWS P, V, S, W c (P~V)~(S{W)WS P, V, S, X c V~(S|P{X)WS P, V, T, Q c (P{T)~(V~Q)WS P, V, T, R c V~(T|P)~RWS P, V, T, U c (P{T{U)~VWS P, V, T, V c (P~V{T)~VWS P, V, T, W c V~(T|P{W)WS P, V, T, X c (V|P)~(T{X)WS P, V, U, P c (P{P)~(V~U)WS P, V, U, Q c P~V~U~QWS P, V, U, R c (V~U)~(R|P)WS P, V, U, T c (P{U)~(V{T)WS P, V, U, U c (P{V{U)~UWS P, V, U, V c (P~V{V)~UWS P, V, U, W c (V|P)~(U{W)WS P, V, V, Q c (V|P)~(V~Q)WS P, V, V, S c (P{V{S)~VWS P, V, V, T c (P~V)~(V{T)WS P, V, V, U c (P~V{V)~UWS P, V, V, V c (V|P)~(V{V)WS P, V, W, R c (P{W{R)~VWS P, V, W, S c (P~V)~(W{S)WS P, V, W, T c V~(W|P{T)WS P, V, W, U c (V|P{W)~UWS P, V, X, Q c (P{X{Q)~VWS P, V, X, R c (P~V)~(X{R)WS P, V, X, S c V~(X|P{S)WS P, V, X, T c (V|P)~(X{T)WS P, W, Q, U c (W|P)~(Q~U)WS P, W, R, S c (W|P)~(R~S)WS P, W, R, V c (P{W{R)~VWS P, W, R, X c (P{W)~X{RWS P, W, S, R c (W|P)~(S~R)WS P, W, S, U c (P{U)~(W{S)WS P, W, S, V c (P~W{S)~VWS P, W, S, W c (W|P)~(S{W)WS P, W, S, X c (P{X)~W{SWS P, W, T, U c (P{W{T)~UWS P, W, T, V c (W|P{T)~VWS P, W, T, X c (W{X)~T|PWS P, W, U, Q c (W|P)~(U~Q)WS P, W, U, S c (P{U)~(W{S)WS P, W, U, T c (P{W{T)~UWS P, W, U, U c (P~W{U)~UWS P, W, U, V c (W|P{V)~UWS P, W, V, R c (P{W{R)~VWS P, W, V, S c (P~W{S)~VWS P, W, V, T c (W|P)~(V{T)WS P, W, V, U c (W|P{V)~UWS P, W, W, S c (W|P)~(W{S)WS P, W, X, R c (P{W)~X{RWS P, W, X, S c (P{X)~W{SWS P, W, X, T c (W{X)~T|PWS P, X, Q, V c (P{X{Q)~VWS P, X, Q, X c P{X~X{QWS P, X, R, R c (P{X~R)~RWS P, X, R, U c (P{U)~(X{R)WS P, X, R, V c (P~X{R)~VWS P, X, R, W c (P{W)~X{RWS P, X, R, X c P~X~X{RWS P, X, S, U c (P{X{S)~UWS P, X, S, V c (X|P{S)~VWS P, X, S, W c (P{X)~W{SWS P, X, S, X c X~X|P{SWS P, X, T, T c (P{T)~(X{T)WS P, X, T, U c (P~X{T)~UWS P, X, T, V c (X{T)~(V|P)WS P, X, T, W c (X{W)~T|PWS P, X, U, R c (P{U)~(X{R)WS P, X, U, S c (P{X{S)~UWS P, X, U, T c (P~X{T)~UWS P, X, U, U c (X|P{U)~UWS P, X, U, X c (P{X)~X|UWS P, X, V, Q c (P{X{Q)~VWS P, X, V, R c (P~X{R)~VWS P, X, V, S c (X|P{S)~VWS P, X, V, T c (X{T)~(V|P)WS P, X, W, R c (P{W)~X{RWS P, X, W, S c (P{X)~W{SWS P, X, W, T c (X{W)~T|PWS P, X, X, Q c P{X~X{QWS P, X, X, R c P~X~X{RWS P, X, X, S c X~X|P{SWS P, X, X, U c (P{X)~X|UWS Q, O, U, V c (Q{O)~(U~V)WS Q, O, V, U c (Q{O)~(V~U)WS Q, P, S, V c (Q{P)~(S~V)WS Q, P, T, V c Q~(P{T)~VWS Q, P, U, U c Q~(P{U)~UWS Q, P, U, V c Q~P~U~VWS Q, P, U, W c (Q~U)~(W|P)WS Q, P, V, S c (Q{P)~(V~S)WS Q, P, V, T c Q~(P{T)~VWS Q, P, V, U c Q~P~V~UWS Q, P, V, V c Q~(V|P)~VWS Q, P, V, X c (Q{P{X)~VWS Q, P, W, U c Q~(W|P)~UWS Q, P, X, V c (Q{P{X)~VWS Q, P, X, X c Q{P{X~XWS Q, Q, R, V c (Q{Q)~(R~V)WS Q, Q, S, V c Q~(Q{S)~VWS Q, Q, T, U c Q~(Q{T)~UWS Q, Q, T, V c (Q{Q~T)~VWS Q, Q, T, W c Q~(Q{T~W)WS Q, Q, U, T c Q~(Q{T)~UWS Q, Q, U, U c (Q{Q~U)~UWS Q, Q, U, W c (Q~W|Q)~UWS Q, Q, U, X c (Q~U)~(X|Q)WS Q, Q, V, R c (Q{Q)~(V~R)WS Q, Q, V, S c Q~(Q{S)~VWS Q, Q, V, T c (Q{Q~T)~VWS Q, Q, V, V c (Q~V|Q)~VWS Q, Q, V, W c (Q{Q{W)~VWS Q, Q, W, T c Q~(Q{W~T)WS Q, Q, W, U c (Q~W|Q)~UWS Q, Q, W, V c (Q{Q{W)~VWS Q, Q, X, U c Q~(X|Q)~UWS Q, R, Q, V c Q~R~Q~VWS Q, R, R, V c Q~(R{R)~VWS Q, R, S, T c (Q{T)~(R~S)WS Q, R, S, U c (Q{R~S)~UWS Q, R, S, X c (Q~X{R)~SWS Q, R, T, S c (Q{T)~(R~S)WS Q, R, T, U c R~(T~U|Q)WS Q, R, T, X c (Q~R)~(T{X)WS Q, R, U, S c (Q{R~S)~UWS Q, R, U, T c R~(U~T|Q)WS Q, R, U, V c (Q~R{U)~VWS Q, R, U, W c (Q~R)~(U{W)WS Q, R, U, X c (Q{R{X)~UWS Q, R, V, Q c Q~R~V~QWS Q, R, V, R c Q~(R{R)~VWS Q, R, V, U c (Q~R{U)~VWS Q, R, V, V c (Q{R{V)~VWS Q, R, V, W c RQ~V~WWS Q, R, V, X c (Q{V)~X{RWS Q, R, W, U c (Q~R{W)~UWS Q, R, W, V c RQ~W~VWS Q, R, W, X c (RQ{X)~WWS Q, R, X, S c (Q~X{R)~SWS Q, R, X, T c (Q~R)~(X{T)WS Q, R, X, U c (Q{R{X)~UWS Q, R, X, V c Q~(X|R)~VWS Q, R, X, W c (RQ{X)~WWS Q, R, X, X c (R{X)~(X|Q)WS Q, S, P, V c (Q{P)~(S~V)WS Q, S, Q, V c (Q{S)~(Q~V)WS Q, S, R, T c (Q{T)~(S~R)WS Q, S, R, U c (Q{S~R)~UWS Q, S, R, X c (Q~X{R)~SWS Q, S, S, U c (S~S|Q)~UWS Q, S, S, V c (Q~S{S)~VWS Q, S, T, R c (Q{T)~(S~R)WS Q, S, T, U c (Q~T{S)~UWS Q, S, T, V c S~(T|Q)~VWS Q, S, T, W c (Q{T)~(S{W)WS Q, S, T, X c (Q{S)~(T{X)WS Q, S, U, R c (Q{S~R)~UWS Q, S, U, S c (S~S|Q)~UWS Q, S, U, T c (Q~T{S)~UWS Q, S, U, U c (Q~S{U)~UWS Q, S, U, V c (Q{S{U)~VWS Q, S, U, W c (Q{S)~(U{W)WS Q, S, U, X c Q~(S~X{U)WS Q, S, V, P c (Q{P)~(S~V)WS Q, S, V, Q c (Q{S)~(V~Q)WS Q, S, V, S c (Q~S{S)~VWS Q, S, V, T c (S~V)~(T|Q)WS Q, S, V, U c (Q{S{U)~VWS Q, S, V, V c (Q{S)~(V{V)WS Q, S, V, W c (Q~W|S)~VWS Q, S, W, T c (Q~W{T)~SWS Q, S, W, U c (Q{S{W)~UWS Q, S, W, V c (Q~W|S)~VWS Q, S, W, W c (Q{W)~W{SWS Q, S, W, X c (Q{X)~W|SWS Q, S, X, R c (Q~X{R)~SWS Q, S, X, T c (Q{S)~(X{T)WS Q, S, X, U c Q~(S~X{U)WS Q, S, X, W c (Q{X)~W|SWS Q, T, P, V c Q~(T{P)~VWS Q, T, Q, U c (Q{T)~(Q~U)WS Q, T, Q, V c (Q{T~Q)~VWS Q, T, Q, W c (Q{T~W)~QWS Q, T, R, S c (Q{T)~(R~S)WS Q, T, R, U c (T~U|Q)~RWS Q, T, R, X c (Q{T)~(R{X)WS Q, T, S, R c (Q{T)~(S~R)WS Q, T, S, U c (Q~T{S)~UWS Q, T, S, V c (T|Q)~(S~V)WS Q, T, S, W c (Q{T)~(S{W)WS Q, T, S, X c (Q{S)~(T{X)WS Q, T, T, V c (Q{T{T)~VWS Q, T, U, Q c (Q{T)~(U~Q)WS Q, T, U, R c (T~U|Q)~RWS Q, T, U, S c (Q~T{S)~UWS Q, T, U, U c (Q{T)~(U{U)WS Q, T, U, V c (Q{T{V)~UWS Q, T, U, X c Q~T~X|UWS Q, T, V, P c Q~(T{P)~VWS Q, T, V, Q c (Q{T~Q)~VWS Q, T, V, S c (T|Q)~(V~S)WS Q, T, V, T c (Q{T)~(V{T)WS Q, T, V, U c (Q{T{V)~UWS Q, T, V, V c Q~(T~V{V)WS Q, T, V, X c (T|Q{X)~VWS Q, T, W, Q c (Q{T~W)~QWS Q, T, W, S c (Q{T)~(W{S)WS Q, T, W, W c (TQ{W)~WWS Q, T, W, X c (T{X)~(W|Q)WS Q, T, X, R c (Q{T)~(X{R)WS Q, T, X, S c (Q{S)~(T{X)WS Q, T, X, U c Q~T~X|UWS Q, T, X, V c (T|Q{X)~VWS Q, T, X, W c (T{X)~(W|Q)WS Q, T, X, X c T|Q{X~XWS Q, U, O, V c (Q~U{O)~VWS Q, U, P, U c Q~(U{P)~UWS Q, U, P, V c Q~U~P~VWS Q, U, P, W c (Q~U)~(W|P)WS Q, U, Q, T c (Q~U)~(Q{T)WS Q, U, Q, U c (Q{U~Q)~UWS Q, U, Q, W c (Q~W|Q)~UWS Q, U, Q, X c (Q~U)~(X|Q)WS Q, U, R, S c (Q~U)~(R{S)WS Q, U, R, T c (U~T|Q)~RWS Q, U, R, V c (Q~R{U)~VWS Q, U, R, W c Q~(U{W)~RWS Q, U, R, X c (Q{R{X)~UWS Q, U, S, R c (Q~U)~(S{R)WS Q, U, S, S c U~(S~S|Q)WS Q, U, S, T c (Q~T{S)~UWS Q, U, S, U c (Q~S{U)~UWS Q, U, S, V c (Q{U{S)~VWS Q, U, S, W c (Q{S)~(U{W)WS Q, U, S, X c Q~(U{S~X)WS Q, U, T, Q c (Q~U)~(T{Q)WS Q, U, T, R c (U~T|Q)~RWS Q, U, T, S c (Q~T{S)~UWS Q, U, T, U c (Q{T)~(U{U)WS Q, U, T, V c (Q{T{V)~UWS Q, U, T, X c Q~T~X|UWS Q, U, U, P c (Q~U)~(U{P)WS Q, U, U, Q c (Q{U~Q)~UWS Q, U, U, S c (Q~S{U)~UWS Q, U, U, T c (Q{T)~(U{U)WS Q, U, U, U c (Q{U{U)~UWS Q, U, U, W c Q~(U~W|U)WS Q, U, U, X c (U{U)~(X|Q)WS Q, U, V, O c Q~U~V{OWS Q, U, V, P c Q~U~V~PWS Q, U, V, R c (Q~R{U)~VWS Q, U, V, S c (Q{U{S)~VWS Q, U, V, T c (Q{V{T)~UWS Q, U, V, W c (U|Q{W)~VWS Q, U, V, X c (Q~X|U)~VWS Q, U, W, P c (Q~U)~(W|P)WS Q, U, W, Q c (Q~W|Q)~UWS Q, U, W, R c Q~(U{W)~RWS Q, U, W, S c (Q{W{S)~UWS Q, U, W, U c Q~(U~W|U)WS Q, U, W, V c (U|Q{W)~VWS Q, U, W, W c U~(W|Q{W)WS Q, U, W, X c Q~U{W~XWS Q, U, X, Q c (Q~U)~(X|Q)WS Q, U, X, R c (Q{X{R)~UWS Q, U, X, S c (Q~U{X)~SWS Q, U, X, T c Q~X~T|UWS Q, U, X, U c (U{U)~(X|Q)WS Q, U, X, V c (Q~X|U)~VWS Q, U, X, W c Q~U{X~WWS Q, U, X, X c (QU{X)~XWS Q, V, O, U c (Q~V{O)~UWS Q, V, P, S c (Q{P)~(V~S)WS Q, V, P, T c (Q~V)~(P{T)WS Q, V, P, U c Q~V~P~UWS Q, V, P, V c Q~(V|P)~VWS Q, V, P, X c (Q{P{X)~VWS Q, V, Q, R c Q~V~Q~RWS Q, V, Q, S c (Q~V)~(Q{S)WS Q, V, Q, T c (Q{Q~T)~VWS Q, V, Q, V c (Q~V|Q)~VWS Q, V, Q, W c (Q~V)~(W|Q)WS Q, V, R, Q c Q~V~R~QWS Q, V, R, R c (Q~V)~(R{R)WS Q, V, R, U c (Q~R{U)~VWS Q, V, R, V c (Q{V{R)~VWS Q, V, R, W c VQ~R~WWS Q, V, R, X c (Q{V)~X{RWS Q, V, S, P c (Q{P)~(V~S)WS Q, V, S, Q c (Q~V)~(S{Q)WS Q, V, S, S c (Q~S{S)~VWS Q, V, S, T c (V~S)~(T|Q)WS Q, V, S, U c (Q{S{U)~VWS Q, V, S, V c (Q~V{V)~SWS Q, V, S, W c (Q~W|S)~VWS Q, V, T, P c (Q~V)~(T{P)WS Q, V, T, Q c (Q{T~Q)~VWS Q, V, T, S c V~(T|Q)~SWS Q, V, T, T c (Q{T)~(V{T)WS Q, V, T, U c (Q{V{T)~UWS Q, V, T, V c Q~(V{T~V)WS Q, V, T, X c V~(T|Q{X)WS Q, V, U, O c Q~V~U{OWS Q, V, U, P c Q~V~U~PWS Q, V, U, R c (Q~R{U)~VWS Q, V, U, S c (Q{U{S)~VWS Q, V, U, T c (Q{V{T)~UWS Q, V, U, W c V~(U|Q{W)WS Q, V, U, X c (Q~X|U)~VWS Q, V, V, P c (Q~V)~(V|P)WS Q, V, V, Q c (Q~V|Q)~VWS Q, V, V, R c Q~(V{V)~RWS Q, V, V, S c (Q~V{V)~SWS Q, V, V, T c Q~(V{V~T)WS Q, V, V, V c Q~(V~V|V)WS Q, V, V, W c (VQ{V)~WWS Q, V, V, X c (Q{X)~V{VWS Q, V, W, Q c (Q~V)~(W|Q)WS Q, V, W, R c VQ~W~RWS Q, V, W, S c (Q~W|S)~VWS Q, V, W, U c V~(W|Q{U)WS Q, V, W, V c (VQ{V)~WWS Q, V, W, W c V~(WQ{W)WS Q, V, X, P c (Q{X{P)~VWS Q, V, X, R c (Q{V)~X{RWS Q, V, X, T c V~(X|Q{T)WS Q, V, X, U c (Q~X|U)~VWS Q, V, X, V c (Q{X)~V{VWS Q, W, P, U c Q~(W|P)~UWS Q, W, Q, T c (Q{W~T)~QWS Q, W, Q, U c (Q~W|Q)~UWS Q, W, Q, V c (Q{W{Q)~VWS Q, W, R, U c Q~(W{U)~RWS Q, W, R, V c WQ~R~VWS Q, W, R, X c W~(RQ{X)WS Q, W, S, T c (Q~W{T)~SWS Q, W, S, U c (Q{W{S)~UWS Q, W, S, V c (Q~W|S)~VWS Q, W, S, W c (Q{W)~W{SWS Q, W, S, X c (Q{X)~W|SWS Q, W, T, Q c (Q{W~T)~QWS Q, W, T, S c (Q~W{T)~SWS Q, W, T, W c (W{TQ)~WWS Q, W, T, X c (W|Q)~(T{X)WS Q, W, U, P c Q~(W|P)~UWS Q, W, U, Q c (Q~W|Q)~UWS Q, W, U, R c Q~(W{U)~RWS Q, W, U, S c (Q{W{S)~UWS Q, W, U, U c Q~(W~U|U)WS Q, W, U, V c (W|Q{U)~VWS Q, W, U, W c (W|Q)~(U{W)WS Q, W, U, X c (Q{W)~X|UWS Q, W, V, Q c (Q{W{Q)~VWS Q, W, V, R c WQ~V~RWS Q, W, V, S c (Q~W|S)~VWS Q, W, V, U c (W|Q{U)~VWS Q, W, V, V c (W|Q)~(V{V)WS Q, W, V, W c (WQ{W)~VWS Q, W, W, S c (Q{W)~W{SWS Q, W, W, T c W~(W{TQ)WS Q, W, W, U c (W|Q{W)~UWS Q, W, W, V c (WQ{W)~VWS Q, W, X, R c W~(X{RQ)WS Q, W, X, S c (Q{X)~W|SWS Q, W, X, T c (W|Q)~(X{T)WS Q, W, X, U c (Q{W)~X|UWS Q, X, P, V c (Q{X{P)~VWS Q, X, P, X c Q{X~X{PWS Q, X, Q, U c Q~(X|Q)~UWS Q, X, R, S c (Q~X{R)~SWS Q, X, R, T c Q~(X{T)~RWS Q, X, R, U c (Q{X{R)~UWS Q, X, R, V c Q~(X|R)~VWS Q, X, R, W c (X{RQ)~WWS Q, X, R, X c (X|Q)~(R{X)WS Q, X, S, R c (Q~X{R)~SWS Q, X, S, T c (Q{S)~(X{T)WS Q, X, S, U c (Q~X|S)~UWS Q, X, S, W c (Q{X)~W|SWS Q, X, T, R c Q~(X{T)~RWS Q, X, T, S c (Q{S)~(X{T)WS Q, X, T, U c Q~X~T|UWS Q, X, T, V c (X|Q{T)~VWS Q, X, T, W c (X{T)~(W|Q)WS Q, X, T, X c X~X|Q{TWS Q, X, U, Q c Q~(X|Q)~UWS Q, X, U, R c (Q{X{R)~UWS Q, X, U, S c (Q~X|S)~UWS Q, X, U, T c Q~X~T|UWS Q, X, U, U c (X|Q)~(U{U)WS Q, X, U, V c (Q~X|U)~VWS Q, X, U, W c Q~U{X~WWS Q, X, U, X c (QU{X)~XWS Q, X, V, P c (Q{X{P)~VWS Q, X, V, R c Q~(X|R)~VWS Q, X, V, T c (X|Q)~(V{T)WS Q, X, V, U c (Q~X|U)~VWS Q, X, V, V c (Q{X)~V{VWS Q, X, W, R c (X{RQ)~WWS Q, X, W, S c (Q{X)~W|SWS Q, X, W, T c (X{T)~(W|Q)WS Q, X, W, U c (Q{W)~X|UWS Q, X, X, P c Q{X~X{PWS Q, X, X, R c (X|Q)~(X{R)WS Q, X, X, T c X~X|Q{TWS Q, X, X, U c (QU{X)~XWS R, O, S, V c (R{O)~(S~V)WS R, O, V, S c (R{O)~(V~S)WS R, O, V, X c (R{O{X)~VWS R, O, X, V c (R{O{X)~VWS R, O, X, X c R{O{X~XWS R, P, R, V c (R{P)~(R~V)WS R, P, R, X c R~(P{R~X)WS R, P, S, U c R~(P{U)~SWS R, P, S, V c R~P~S~VWS R, P, S, W c (R~S)~(W|P)WS R, P, T, U c (R~T|P)~UWS R, P, T, V c R~(T|P)~VWS R, P, U, S c R~(P{U)~SWS R, P, U, T c (R~T|P)~UWS R, P, U, V c (R|P)~(U~V)WS R, P, U, X c (R{X)~(P{U)WS R, P, V, R c (R{P)~(V~R)WS R, P, V, S c R~P~V~SWS R, P, V, T c (R~V)~(T|P)WS R, P, V, U c (R|P)~(V~U)WS R, P, V, W c (R{P{W)~VWS R, P, V, X c (R{P~X)~VWS R, P, W, S c R~(W|P)~SWS R, P, W, V c (R{P{W)~VWS R, P, W, X c R{(P{W)~XWS R, P, X, R c R~(P{X~R)WS R, P, X, U c (R{X)~(P{U)WS R, P, X, V c (R{P~X)~VWS R, P, X, W c R{(P{W)~XWS R, P, X, X c R{P~X~XWS R, Q, Q, V c R~(Q{Q)~VWS R, Q, R, V c (R{R)~(Q~V)WS R, Q, S, T c R~(Q{T)~SWS R, Q, S, U c (R{S)~(Q~U)WS R, Q, S, X c (R{Q~X)~SWS R, Q, T, S c R~(Q{T)~SWS R, Q, T, U c R~(T~U|Q)WS R, Q, T, X c (R~Q)~(T{X)WS R, Q, U, S c (R{S)~(Q~U)WS R, Q, U, T c R~(U~T|Q)WS R, Q, U, V c (R~Q{U)~VWS R, Q, U, W c (R~Q)~(U{W)WS R, Q, U, X c (R{Q{X)~UWS R, Q, V, Q c R~Q~V~QWS R, Q, V, R c (R{R)~(Q~V)WS R, Q, V, U c (R~Q{U)~VWS R, Q, V, V c (R{Q{V)~VWS R, Q, V, W c RQ~V~WWS R, Q, V, X c R{(Q{V)~XWS R, Q, W, U c (R~Q{W)~UWS R, Q, W, V c RQ~W~VWS R, Q, W, X c (RQ{X)~WWS R, Q, X, S c (R{Q~X)~SWS R, Q, X, T c (R~Q)~(X{T)WS R, Q, X, U c (R{Q{X)~UWS R, Q, X, V c R{(Q{V)~XWS R, Q, X, W c (RQ{X)~WWS R, Q, X, X c (R{X)~(X|Q)WS R, R, P, V c R~(R{P)~VWS R, R, P, X c R~(R~X{P)WS R, R, Q, V c (R{R)~(Q~V)WS R, R, R, V c (R{R~R)~VWS R, R, R, X c R{R~R~XWS R, R, S, S c R~(R{S)~SWS R, R, S, U c (R{R~U)~SWS R, R, S, W c R~(R~W{S)WS R, R, S, X c (R{S)~(R{X)WS R, R, T, T c R~(R{T~T)WS R, R, T, U c (R~R{T)~UWS R, R, T, V c (R~T|R)~VWS R, R, T, X c (R{R)~(T{X)WS R, R, U, S c (R{R~U)~SWS R, R, U, T c (R~R{T)~UWS R, R, U, V c (R{R{U)~VWS R, R, U, W c (R{R)~(U{W)WS R, R, U, X c R{(R{U)~XWS R, R, V, P c R~(R{P)~VWS R, R, V, Q c (R{R)~(V~Q)WS R, R, V, R c (R{R~R)~VWS R, R, V, T c (R~T|R)~VWS R, R, V, U c (R{R{U)~VWS R, R, V, V c (R{R)~(V{V)WS R, R, W, S c R~(R~W{S)WS R, R, W, U c (R{R{W)~UWS R, R, X, P c R~(R~X{P)WS R, R, X, R c R{R~X~RWS R, R, X, S c (R{X)~(R{S)WS R, R, X, T c (R{R)~(X{T)WS R, R, X, U c R{(R{U)~XWS R, S, O, V c (R~S{O)~VWS R, S, P, U c (R~S)~(P{U)WS R, S, P, V c R~S~P~VWS R, S, P, W c (R~S)~(W|P)WS R, S, Q, T c (R~S)~(Q{T)WS R, S, Q, U c (R{S)~(Q~U)WS R, S, Q, X c (R~S)~(X|Q)WS R, S, R, S c (R{S)~(R~S)WS R, S, R, U c (R{R~U)~SWS R, S, R, W c R~(S{R~W)WS R, S, R, X c (R{S)~(R{X)WS R, S, S, R c (R{S)~(S~R)WS R, S, S, U c R~(S{S~U)WS R, S, S, W c (R{S)~(S{W)WS R, S, S, X c (R~S{X)~SWS R, S, T, Q c (R~S)~(T{Q)WS R, S, T, U c (R~T{U)~SWS R, S, T, V c (R{S{T)~VWS R, S, T, W c R~(S~T{W)WS R, S, T, X c R{(S{T)~XWS R, S, U, P c (R~S)~(U{P)WS R, S, U, Q c (R{S)~(U~Q)WS R, S, U, R c (R{U~R)~SWS R, S, U, S c R~(S{U~S)WS R, S, U, T c (R~T{U)~SWS R, S, U, U c (R{S)~(U{U)WS R, S, U, V c (R{S{V)~UWS R, S, U, X c (R~X|U)~SWS R, S, V, O c R~S~V{OWS R, S, V, P c R~S~V~PWS R, S, V, T c (R{S)~(V{T)WS R, S, V, U c (R{S{V)~UWS R, S, V, W c (R{V)~W{SWS R, S, V, X c SR~V~XWS R, S, W, P c (R~S)~(W|P)WS R, S, W, R c R~(S{W~R)WS R, S, W, S c (R{S)~(W{S)WS R, S, W, T c R~(S~T{W)WS R, S, W, V c R~(W|S)~VWS R, S, W, W c (R{W)~W|SWS R, S, W, X c R~S{W~XWS R, S, X, Q c (R~S)~(X|Q)WS R, S, X, R c (R{S)~(X{R)WS R, S, X, S c (R~S{X)~SWS R, S, X, T c R{(S{T)~XWS R, S, X, U c (R~X|U)~SWS R, S, X, V c SR~X~VWS R, S, X, W c R~S{X~WWS R, S, X, X c (R{X{X)~SWS R, T, P, U c (R~T|P)~UWS R, T, P, V c R~(T|P)~VWS R, T, Q, S c R~(T{Q)~SWS R, T, Q, U c R~(T~U|Q)WS R, T, Q, X c R~(T{X)~QWS R, T, R, T c (R{T~T)~RWS R, T, R, U c (R~R{T)~UWS R, T, R, V c (R~T|R)~VWS R, T, R, X c (R{R)~(T{X)WS R, T, S, Q c R~(T{Q)~SWS R, T, S, U c (R~T{U)~SWS R, T, S, V c (R{T{S)~VWS R, T, S, W c R~(T~S{W)WS R, T, S, X c R{(T{S)~XWS R, T, T, R c (R{T~T)~RWS R, T, T, X c R~T~T{XWS R, T, U, P c (R~T|P)~UWS R, T, U, Q c R~(T~U|Q)WS R, T, U, R c (R~R{T)~UWS R, T, U, S c (R~T{U)~SWS R, T, U, U c (R{T{U)~UWS R, T, U, V c (T|R)~(U~V)WS R, T, V, P c R~(T|P)~VWS R, T, V, R c (R~T|R)~VWS R, T, V, S c (R{T{S)~VWS R, T, V, U c (T|R)~(V~U)WS R, T, V, V c R~(T~V|V)WS R, T, V, X c (R~V)~(X|T)WS R, T, W, S c R~(T~S{W)WS R, T, X, Q c R~(T{X)~QWS R, T, X, R c (R{R)~(T{X)WS R, T, X, S c R{(T{S)~XWS R, T, X, T c R~T~T{XWS R, T, X, V c R~(X|T)~VWS R, T, X, X c (T{X)~(X|R)WS R, U, P, S c R~(U{P)~SWS R, U, P, T c (R~T|P)~UWS R, U, P, V c (R|P)~(U~V)WS R, U, P, X c (R{X)~(U{P)WS R, U, Q, S c (R{S)~(U~Q)WS R, U, Q, T c R~(U~T|Q)WS R, U, Q, V c R~(U|Q)~VWS R, U, Q, W c R~(U{W)~QWS R, U, Q, X c (R{Q{X)~UWS R, U, R, S c (R{U~R)~SWS R, U, R, T c (R~R{T)~UWS R, U, R, V c (R{U{R)~VWS R, U, R, W c (R{R)~(U{W)WS R, U, R, X c R{(U{R)~XWS R, U, S, P c R~(U{P)~SWS R, U, S, Q c (R{S)~(U~Q)WS R, U, S, R c (R{U~R)~SWS R, U, S, S c R~(U~S{S)WS R, U, S, T c (R~T{U)~SWS R, U, S, U c (R~U|S)~UWS R, U, S, V c (R{S{V)~UWS R, U, S, X c (R~X|U)~SWS R, U, T, P c (R~T|P)~UWS R, U, T, Q c R~(U~T|Q)WS R, U, T, R c (R~R{T)~UWS R, U, T, S c (R~T{U)~SWS R, U, T, U c (R{U{T)~UWS R, U, T, V c U~(T|R)~VWS R, U, U, S c (R~U|S)~UWS R, U, U, T c (R{U{T)~UWS R, U, U, V c (R~U|U)~VWS R, U, U, W c R~(U~U|W)WS R, U, V, P c (R|P)~(U~V)WS R, U, V, Q c R~(U|Q)~VWS R, U, V, R c (R{U{R)~VWS R, U, V, S c (R{V{S)~UWS R, U, V, T c (U~V)~(T|R)WS R, U, V, U c (R~U|U)~VWS R, U, V, V c (R~V|V)~UWS R, U, V, X c (R{V)~X|UWS R, U, W, Q c R~(U{W)~QWS R, U, W, R c (R{W{R)~UWS R, U, W, U c R~(U~U|W)WS R, U, W, X c U~(W|R{X)WS R, U, X, P c (R{X)~(U{P)WS R, U, X, Q c (R{X{Q)~UWS R, U, X, R c (R{U)~X{RWS R, U, X, S c (R~X|U)~SWS R, U, X, V c (R{V)~X|UWS R, U, X, W c U~(X|R{W)WS R, U, X, X c U|R{X~XWS R, V, O, S c (R~V{O)~SWS R, V, O, X c (R{O{X)~VWS R, V, P, R c (R~V)~(P{R)WS R, V, P, S c R~V~P~SWS R, V, P, T c (R~V)~(T|P)WS R, V, P, U c (R|P)~(V~U)WS R, V, P, W c (R{P{W)~VWS R, V, P, X c (R{P~X)~VWS R, V, Q, Q c (R~V)~(Q{Q)WS R, V, Q, R c (R{R)~(V~Q)WS R, V, Q, U c (R~V)~(U|Q)WS R, V, Q, V c (R{V{Q)~VWS R, V, Q, W c R~VQ~WWS R, V, Q, X c R{(V{Q)~XWS R, V, R, P c (R~V)~(R{P)WS R, V, R, Q c (R{R)~(V~Q)WS R, V, R, R c (R{R~R)~VWS R, V, R, T c (R~T|R)~VWS R, V, R, U c (R{R{U)~VWS R, V, R, V c R~(V{R~V)WS R, V, S, O c R~V~S{OWS R, V, S, P c R~V~S~PWS R, V, S, T c (R{S)~(V{T)WS R, V, S, U c (R{V{S)~UWS R, V, S, W c (R{V)~W{SWS R, V, S, X c VR~S~XWS R, V, T, P c (R~V)~(T|P)WS R, V, T, R c (R~T|R)~VWS R, V, T, S c (R{T{S)~VWS R, V, T, U c V~(T|R)~UWS R, V, T, V c R~(V~T|V)WS R, V, T, X c (R~V)~(X|T)WS R, V, U, P c (R|P)~(V~U)WS R, V, U, Q c (R~V)~(U|Q)WS R, V, U, R c (R{U{R)~VWS R, V, U, S c (R{V{S)~UWS R, V, U, T c (V~U)~(T|R)WS R, V, U, U c (R~U|U)~VWS R, V, U, V c (R~V|V)~UWS R, V, U, X c (R{V)~X|UWS R, V, V, Q c R~(V{V)~QWS R, V, V, R c (R~V{V)~RWS R, V, V, T c R~(V~T|V)WS R, V, V, U c (R~V|V)~UWS R, V, V, W c (R{W)~V{VWS R, V, V, X c R~V{V~XWS R, V, W, P c (R{W{P)~VWS R, V, W, Q c R~V~WQWS R, V, W, S c (R{V)~W{SWS R, V, W, V c (R{W)~V{VWS R, V, X, O c (R{X)~(V{O)WS R, V, X, P c (R{X)~(V~P)WS R, V, X, Q c R{(V{Q)~XWS R, V, X, S c VR~X~SWS R, V, X, T c (R~V)~(X|T)WS R, V, X, U c (R{V)~X|UWS R, V, X, V c R~V{X~VWS R, V, X, X c V~(XR{X)WS R, W, P, S c R~(W|P)~SWS R, W, P, V c (R{W{P)~VWS R, W, P, X c R{(W{P)~XWS R, W, Q, U c R~(W{U)~QWS R, W, Q, V c R~WQ~VWS R, W, Q, X c (RQ{X)~WWS R, W, R, S c (R~W|R)~SWS R, W, R, U c (R{W{R)~UWS R, W, S, P c R~(W|P)~SWS R, W, S, R c (R~W{S)~RWS R, W, S, S c R~(W~S|S)WS R, W, S, T c R~(W{S~T)WS R, W, S, V c R~(W|S)~VWS R, W, S, W c (R{W)~W|SWS R, W, S, X c R~S{W~XWS R, W, T, S c R~(W{T~S)WS R, W, U, Q c R~(W{U)~QWS R, W, U, R c (R{W{R)~UWS R, W, U, U c R~(U~U|W)WS R, W, U, X c (W|R{X)~UWS R, W, V, P c (R{W{P)~VWS R, W, V, Q c R~W~VQWS R, W, V, S c R~(W|S)~VWS R, W, V, V c (R{W)~V{VWS R, W, W, S c (R{W)~W|SWS R, W, X, P c R{(W{P)~XWS R, W, X, Q c (RQ{X)~WWS R, W, X, S c R~(X~S|W)WS R, W, X, U c (W|R{X)~UWS R, W, X, X c R{W~X{XWS R, X, O, V c (R{X{O)~VWS R, X, O, X c R{(X{O)~XWS R, X, P, R c (R~X{P)~RWS R, X, P, U c (R{X)~(P{U)WS R, X, P, V c (R{X)~(P~V)WS R, X, P, W c R{X~(P{W)WS R, X, P, X c R{X~P~XWS R, X, Q, S c (R{X~Q)~SWS R, X, Q, T c (R{X)~(Q{T)WS R, X, Q, U c (R{X{Q)~UWS R, X, Q, V c R{X~(Q{V)WS R, X, Q, W c (RQ{X)~WWS R, X, Q, X c (R{X)~(X|Q)WS R, X, R, P c R~(X~R{P)WS R, X, R, R c R{X~R~RWS R, X, R, S c (R{X)~(R{S)WS R, X, R, T c (R{R)~(X{T)WS R, X, R, U c R{X~(R{U)WS R, X, S, Q c (R{X~Q)~SWS R, X, S, R c (R{X)~(S{R)WS R, X, S, S c (R~S{X)~SWS R, X, S, T c R{X~(S{T)WS R, X, S, U c (R~X|U)~SWS R, X, S, V c XR~S~VWS R, X, S, W c R~(X~S|W)WS R, X, S, X c (R{X{X)~SWS R, X, T, Q c (R{X)~(T{Q)WS R, X, T, R c (R{R)~(X{T)WS R, X, T, S c R{X~(T{S)WS R, X, T, T c R~T~T{XWS R, X, T, V c R~(X|T)~VWS R, X, T, X c (X|R)~(T{X)WS R, X, U, P c (R{X)~(U{P)WS R, X, U, Q c (R{X{Q)~UWS R, X, U, R c R{X~(U{R)WS R, X, U, S c (R~X|U)~SWS R, X, U, V c (R{V)~X|UWS R, X, U, W c (X|R)~(U{W)WS R, X, U, X c X~X|R{UWS R, X, V, O c (R{X)~(V{O)WS R, X, V, P c (R{X)~(V~P)WS R, X, V, Q c R{X~(V{Q)WS R, X, V, S c XR~V~SWS R, X, V, T c R~(X|T)~VWS R, X, V, U c (R{V)~X|UWS R, X, V, V c R~V{X~VWS R, X, V, X c (XR{X)~VWS R, X, W, P c R{X~(W{P)WS R, X, W, Q c (RQ{X)~WWS R, X, W, S c R~(X~S|W)WS R, X, W, U c (X|R{W)~UWS R, X, W, X c R{X{W~XWS R, X, X, O c R{X~X{OWS R, X, X, P c R{X~X~PWS R, X, X, Q c (R{X)~(X|Q)WS R, X, X, S c (R{X{X)~SWS R, X, X, T c (X|R)~(X{T)WS R, X, X, U c X~X|R{UWS R, X, X, V c (XR{X)~VWS R, X, X, W c R{X{X~WWS R, X, X, X c (RX{X)~XWS S, O, R, V c (S{O)~(R~V)WS S, O, V, R c (S{O)~(V~R)WS S, O, V, W c (S{O{W)~VWS S, O, W, V c (S{O{W)~VWS S, P, Q, V c S~(P{Q)~VWS S, P, R, U c S~(P{U)~RWS S, P, R, V c S~P~R~VWS S, P, R, W c (S~R)~(W|P)WS S, P, S, T c S~(P{S~T)WS S, P, S, V c (S|P)~(S~V)WS S, P, T, S c S~(P{T~S)WS S, P, U, R c S~(P{U)~RWS S, P, U, W c (S{W)~(P{U)WS S, P, U, X c (S{P{X)~UWS S, P, V, Q c S~(P{Q)~VWS S, P, V, R c S~P~V~RWS S, P, V, S c (S|P)~(V~S)WS S, P, V, V c (S{P{V)~VWS S, P, V, W c (S{P~W)~VWS S, P, V, X c (S|P{X)~VWS S, P, W, R c S~(W|P)~RWS S, P, W, U c (S{W)~(P{U)WS S, P, W, V c (S{P~W)~VWS S, P, W, W c (S{W)~(W|P)WS S, P, W, X c S{(P{X)~WWS S, P, X, U c (S{P{X)~UWS S, P, X, V c (S|P{X)~VWS S, P, X, W c S{(P{X)~WWS S, P, X, X c S|P{X~XWS S, Q, P, V c S~(Q{P)~VWS S, Q, Q, V c (S{Q)~(Q~V)WS S, Q, R, T c S~(Q{T)~RWS S, Q, R, U c (S{R)~(Q~U)WS S, Q, R, X c S~(Q~X{R)WS S, Q, S, U c (S~S|Q)~UWS S, Q, S, V c (S{Q~S)~VWS S, Q, T, R c S~(Q{T)~RWS S, Q, T, U c (S{Q~T)~UWS S, Q, T, V c S~(T|Q)~VWS S, Q, T, W c S{Q~T~WWS S, Q, T, X c (S{Q)~(T{X)WS S, Q, U, R c (S{R)~(Q~U)WS S, Q, U, S c (S~S|Q)~UWS S, Q, U, T c (S{Q~T)~UWS S, Q, U, U c (S~Q{U)~UWS S, Q, U, V c (S{Q{U)~VWS S, Q, U, W c (S{Q)~(U{W)WS S, Q, U, X c S~(Q~U{X)WS S, Q, V, P c S~(Q{P)~VWS S, Q, V, Q c (S{Q)~(V~Q)WS S, Q, V, S c (S{Q~S)~VWS S, Q, V, T c (S~V)~(T|Q)WS S, Q, V, U c (S|Q)~(V~U)WS S, Q, V, V c (S{Q)~(V{V)WS S, Q, V, W c (Q~W|S)~VWS S, Q, W, T c S{Q~W~TWS S, Q, W, U c (S{Q{W)~UWS S, Q, W, V c (Q~W|S)~VWS S, Q, W, W c S{(Q{W)~WWS S, Q, W, X c (S{W)~(X|Q)WS S, Q, X, R c S~(Q~X{R)WS S, Q, X, T c (S{Q)~(X{T)WS S, Q, X, U c S~(Q~U{X)WS S, Q, X, W c (S{W)~(X|Q)WS S, R, O, V c (S~R{O)~VWS S, R, P, U c (S~R)~(P{U)WS S, R, P, V c S~R~P~VWS S, R, P, W c (S~R)~(W|P)WS S, R, Q, T c (S~R)~(Q{T)WS S, R, Q, U c (S{R)~(Q~U)WS S, R, Q, X c S~(R{Q~X)WS S, R, R, S c (S{R)~(R~S)WS S, R, R, U c S~(R{R~U)WS S, R, R, W c (S{R~W)~RWS S, R, R, X c (S{R)~(R{X)WS S, R, S, R c (S{R)~(S~R)WS S, R, S, U c (S{S~U)~RWS S, R, S, W c (S{R)~(S{W)WS S, R, S, X c S~(R~S{X)WS S, R, T, Q c (S~R)~(T{Q)WS S, R, T, U c S~(R~T{U)WS S, R, T, V c (S{R{T)~VWS S, R, T, W c (S~T{W)~RWS S, R, T, X c (S{T)~X{RWS S, R, U, P c (S~R)~(U{P)WS S, R, U, Q c (S{R)~(U~Q)WS S, R, U, R c S~(R{U~R)WS S, R, U, S c (S~U|R)~SWS S, R, U, T c S~(R~T{U)WS S, R, U, U c (S{R)~(U{U)WS S, R, U, V c (S{R{V)~UWS S, R, U, X c S~(R~X|U)WS S, R, V, O c S~R~V{OWS S, R, V, P c S~R~V~PWS S, R, V, T c (S{R)~(V{T)WS S, R, V, U c (S{R{V)~UWS S, R, V, W c S{(R{V)~WWS S, R, V, X c SR~V~XWS S, R, W, P c (S~R)~(W|P)WS S, R, W, R c (S{R~W)~RWS S, R, W, S c (S{R)~(W{S)WS S, R, W, T c (S~T{W)~RWS S, R, W, V c S{(R{V)~WWS S, R, W, W c (R{W)~W|SWS S, R, W, X c S~R{W~XWS S, R, X, Q c S~(R{X~Q)WS S, R, X, R c (S{R)~(X{R)WS S, R, X, S c (S~R{X)~SWS S, R, X, T c (S{T)~X{RWS S, R, X, U c S~(R~X|U)WS S, R, X, V c SR~X~VWS S, R, X, W c S~R{X~WWS S, R, X, X c S~(R{X{X)WS S, S, P, T c S~(S~T{P)WS S, S, P, V c S~(S|P)~VWS S, S, Q, U c (S~S|Q)~UWS S, S, Q, V c (S{S~Q)~VWS S, S, R, R c S~(S{R)~RWS S, S, R, U c (S{S~U)~RWS S, S, R, W c (S{R)~(S{W)WS S, S, R, X c S~(S~R{X)WS S, S, S, T c S{S~S~TWS S, S, S, V c (S{S{S)~VWS S, S, T, P c S~(S~T{P)WS S, S, T, S c S{S~T~SWS S, S, T, T c S~(T~T|S)WS S, S, U, Q c (S~S|Q)~UWS S, S, U, R c (S{S~U)~RWS S, S, U, U c (S{S{U)~UWS S, S, U, W c S{(S{U)~WWS S, S, V, P c S~(S|P)~VWS S, S, V, Q c (S{S~Q)~VWS S, S, V, S c (S{S{S)~VWS S, S, V, V c S~(S~V|V)WS S, S, V, W c (S{V)~W|SWS S, S, W, R c (S{W)~(S{R)WS S, S, W, U c S{(S{U)~WWS S, S, W, V c (S{V)~W|SWS S, S, W, X c S~(S{W{X)WS S, S, X, R c S~(S~R{X)WS S, S, X, W c S~(S{X{W)WS S, T, P, S c (S~T{P)~SWS S, T, Q, R c S~(T{Q)~RWS S, T, Q, U c (S{T~Q)~UWS S, T, Q, V c S~(T|Q)~VWS S, T, Q, W c S{T~Q~WWS S, T, Q, X c (S{Q)~(T{X)WS S, T, R, Q c S~(T{Q)~RWS S, T, R, U c S~(T~R{U)WS S, T, R, V c (S{T{R)~VWS S, T, R, W c (S~T{W)~RWS S, T, R, X c (S{T)~X{RWS S, T, S, P c S~(T~S{P)WS S, T, S, S c S{T~S~SWS S, T, S, T c S~(T~T|S)WS S, T, T, S c S~(T~T|S)WS S, T, T, U c (S{T{T)~UWS S, T, T, W c S{(T{T)~WWS S, T, U, Q c (S{T~Q)~UWS S, T, U, R c S~(T~R{U)WS S, T, U, T c (S{T{T)~UWS S, T, U, U c (S~T|U)~UWS S, T, U, W c (T{U)~W|SWS S, T, U, X c S~(T~U|X)WS S, T, V, Q c S~(T|Q)~VWS S, T, V, R c (S{T{R)~VWS S, T, V, W c (S~T|W)~VWS S, T, V, X c S{T~(V{X)WS S, T, W, Q c S{T~W~QWS S, T, W, R c (S~T{W)~RWS S, T, W, T c S{(T{T)~WWS S, T, W, U c (T{U)~W|SWS S, T, W, V c (S~T|W)~VWS S, T, W, W c S{T~(W{W)WS S, T, X, Q c (S{Q)~(T{X)WS S, T, X, R c (S{T)~X{RWS S, T, X, U c S~(T~U|X)WS S, T, X, V c S{T~(X{V)WS S, U, P, R c S~(U{P)~RWS S, U, P, W c (S{W)~(U{P)WS S, U, P, X c (S{P{X)~UWS S, U, Q, R c (S{R)~(U~Q)WS S, U, Q, S c (S~S|Q)~UWS S, U, Q, T c (S{Q~T)~UWS S, U, Q, U c (S~Q{U)~UWS S, U, Q, V c (S{U{Q)~VWS S, U, Q, W c (S{Q)~(U{W)WS S, U, Q, X c S~(U~Q{X)WS S, U, R, P c S~(U{P)~RWS S, U, R, Q c (S{R)~(U~Q)WS S, U, R, R c S~(U~R{R)WS S, U, R, S c (S~U|R)~SWS S, U, R, T c S~(U{R~T)WS S, U, R, U c (S{R)~(U{U)WS S, U, R, V c S~(U|R)~VWS S, U, R, X c S~(R~X|U)WS S, U, S, Q c (S~S|Q)~UWS S, U, S, R c (S{U~S)~RWS S, U, S, U c (S{U{S)~UWS S, U, S, W c S{(U{S)~WWS S, U, T, Q c (S{T~Q)~UWS S, U, T, R c S~(U{T~R)WS S, U, T, T c (S{T{T)~UWS S, U, T, U c (S~T|U)~UWS S, U, T, W c (U{T)~W|SWS S, U, T, X c S~(U~T|X)WS S, U, U, Q c (S~Q{U)~UWS S, U, U, R c (S{R)~(U{U)WS S, U, U, S c (S{U{S)~UWS S, U, U, T c (S~T|U)~UWS S, U, U, V c (U|S)~(U~V)WS S, U, U, X c S~(U{U{X)WS S, U, V, Q c S~U~VQWS S, U, V, R c S~(U|R)~VWS S, U, V, U c (U|S)~(V~U)WS S, U, V, W c S~(U{V{W)WS S, U, V, X c (S~V)~(X|U)WS S, U, W, P c (S{W)~(U{P)WS S, U, W, Q c (S{W{Q)~UWS S, U, W, S c (S{U)~W{SWS S, U, W, T c (U{T)~W|SWS S, U, W, V c S~(U{W{V)WS S, U, W, X c S~X{U~WWS S, U, X, P c (S{X{P)~UWS S, U, X, Q c S~(U~Q{X)WS S, U, X, R c S~(X~R|U)WS S, U, X, T c S~(U~T|X)WS S, U, X, U c (S{U)~X|UWS S, U, X, V c S~(X|U)~VWS S, U, X, W c S~X{U~WWS S, U, X, X c U~(X|S{X)WS S, V, O, R c (S~V{O)~RWS S, V, O, W c (S{O{W)~VWS S, V, P, Q c (S~V)~(P{Q)WS S, V, P, R c S~V~P~RWS S, V, P, S c (S~V)~(S|P)WS S, V, P, V c (S{V{P)~VWS S, V, P, W c (S{P~W)~VWS S, V, P, X c (S|P{X)~VWS S, V, Q, P c (S~V)~(Q{P)WS S, V, Q, Q c (S{Q)~(V~Q)WS S, V, Q, S c (S{Q~S)~VWS S, V, Q, T c (S~V)~(T|Q)WS S, V, Q, U c S~VQ~UWS S, V, Q, V c S~(V{Q~V)WS S, V, Q, W c V~(Q~W|S)WS S, V, R, O c S~V~R{OWS S, V, R, P c S~V~R~PWS S, V, R, T c (S{R)~(V{T)WS S, V, R, U c (S{V{R)~UWS S, V, R, W c S{(V{R)~WWS S, V, R, X c S~VR~XWS S, V, S, P c (S~V)~(S|P)WS S, V, S, Q c (S{S~Q)~VWS S, V, S, S c (S{S{S)~VWS S, V, S, V c S~(V|S)~VWS S, V, S, W c (S{V)~W|SWS S, V, T, Q c (S~V)~(T|Q)WS S, V, T, R c (S{T{R)~VWS S, V, T, W c (S~V)~(W|T)WS S, V, T, X c S~(V{T{X)WS S, V, U, Q c S~V~UQWS S, V, U, R c (S~V)~(U|R)WS S, V, U, U c V~(U|S)~UWS S, V, U, W c S~(V{U{W)WS S, V, U, X c (S~V)~(X|U)WS S, V, V, P c (S{V{P)~VWS S, V, V, Q c S~(V{V~Q)WS S, V, V, S c (S~V|V)~SWS S, V, V, V c (S{V)~V{VWS S, V, V, W c S~V{V~WWS S, V, V, X c (S{X)~V|VWS S, V, W, O c (S{W)~(V{O)WS S, V, W, P c (S{W)~(V~P)WS S, V, W, Q c V~(W~Q|S)WS S, V, W, R c S{(V{R)~WWS S, V, W, S c (S{V)~W|SWS S, V, W, T c (S~V)~(W|T)WS S, V, W, U c S~(V{W{U)WS S, V, W, V c S~V{W~VWS S, V, W, W c V~(W|S{W)WS S, V, X, P c (S{X|P)~VWS S, V, X, R c S~V~XRWS S, V, X, T c S{(V{X)~TWS S, V, X, U c (S~V)~(X|U)WS S, V, X, V c (S{X)~V|VWS S, V, X, X c V|S{X~XWS S, W, O, V c (S{W{O)~VWS S, W, P, R c S~(W|P)~RWS S, W, P, U c (S{W)~(P{U)WS S, W, P, V c (S{W)~(P~V)WS S, W, P, W c (S{W)~(W|P)WS S, W, P, X c S{W~(P{X)WS S, W, Q, T c (S{W)~(Q{T)WS S, W, Q, U c (S{W{Q)~UWS S, W, Q, V c (W~Q|S)~VWS S, W, Q, W c S{(W{Q)~WWS S, W, Q, X c (S{W)~(X|Q)WS S, W, R, P c S~(W|P)~RWS S, W, R, R c (S{W~R)~RWS S, W, R, S c (S{W)~(R{S)WS S, W, R, T c (S~T{W)~RWS S, W, R, V c S{W~(R{V)WS S, W, R, W c (W{R)~W|SWS S, W, R, X c S~R{W~XWS S, W, S, R c (S{W)~(S{R)WS S, W, S, U c S{W~(S{U)WS S, W, S, V c (S{V)~W|SWS S, W, S, X c S~(W{S{X)WS S, W, T, Q c (S{W)~(T{Q)WS S, W, T, R c (S~T{W)~RWS S, W, T, T c S{W~(T{T)WS S, W, T, U c W~(T{U)|SWS S, W, T, V c S~(W|T)~VWS S, W, T, W c S~(W{T{W)WS S, W, U, P c (S{W)~(U{P)WS S, W, U, Q c (S{W{Q)~UWS S, W, U, S c S{W~(U{S)WS S, W, U, T c W~(U{T)|SWS S, W, U, V c S~(W{U{V)WS S, W, U, X c S~X{W~UWS S, W, V, O c (S{W)~(V{O)WS S, W, V, P c (S{W)~(V~P)WS S, W, V, Q c (W~Q|S)~VWS S, W, V, R c S{W~(V{R)WS S, W, V, S c (S{V)~W|SWS S, W, V, T c S~(W|T)~VWS S, W, V, U c S~(W{V{U)WS S, W, V, V c S~V{W~VWS S, W, V, W c (W|S{W)~VWS S, W, W, P c (S{W)~(W|P)WS S, W, W, Q c S{W~(W{Q)WS S, W, W, R c W~(W{R)|SWS S, W, W, T c S{(W{W)~TWS S, W, W, V c (W|S{W)~VWS S, W, W, X c S{W{W~XWS S, W, X, P c S{W~(X{P)WS S, W, X, Q c (S{W)~(X|Q)WS S, W, X, R c (S~X|W)~RWS S, W, X, S c (S{W{X)~SWS S, W, X, U c S~X{W~UWS S, W, X, W c S{W{X~WWS S, X, P, U c (S{X{P)~UWS S, X, P, V c (S{X|P)~VWS S, X, P, W c S{(X{P)~WWS S, X, P, X c S{X~X|PWS S, X, Q, R c S~(X|Q)~RWS S, X, Q, T c (S{Q)~(X{T)WS S, X, Q, U c S~(X{Q~U)WS S, X, Q, W c (S{W)~(X|Q)WS S, X, R, Q c S~(X|Q)~RWS S, X, R, R c (S{R)~(X{R)WS S, X, R, S c S~(X{R~S)WS S, X, R, T c (S{T)~X{RWS S, X, R, U c S~(X~R|U)WS S, X, R, V c S~XR~VWS S, X, R, W c (S~X|W)~RWS S, X, R, X c S~(X{R{X)WS S, X, S, R c S~(X{S~R)WS S, X, S, W c S~(X{S{W)WS S, X, T, Q c (S{Q)~(X{T)WS S, X, T, R c (S{T)~X{RWS S, X, T, U c S~(T~U|X)WS S, X, T, V c S~(X{T{V)WS S, X, U, P c (S{X{P)~UWS S, X, U, Q c (S~X{U)~QWS S, X, U, R c S~(X~R|U)WS S, X, U, T c S~(U~T|X)WS S, X, U, U c (S{X)~U{UWS S, X, U, V c S~(X|U)~VWS S, X, U, W c S~X{U~WWS S, X, U, X c (X|S{X)~UWS S, X, V, P c (S{X|P)~VWS S, X, V, R c S~X~VRWS S, X, V, T c S{(X{V)~TWS S, X, V, U c S~(X|U)~VWS S, X, V, V c (S{X)~V|VWS S, X, V, X c X~X|S{VWS S, X, W, P c S{(X{P)~WWS S, X, W, Q c (S{W)~(X|Q)WS S, X, W, R c (S~X|W)~RWS S, X, W, S c (S{X{W)~SWS S, X, W, U c S~X{W~UWS S, X, W, W c S{X~W{WWS S, X, X, P c S{X~X|PWS S, X, X, R c S~(X{X{R)WS S, X, X, U c (X|S{X)~UWS S, X, X, V c X~X|S{VWS T, O, U, X c (T{O{X)~UWS T, O, V, V c (T{O{V)~VWS T, O, X, U c (T{O{X)~UWS T, P, Q, V c (T{P)~(Q~V)WS T, P, R, U c (T~R|P)~UWS T, P, R, V c (T|P)~(R~V)WS T, P, S, S c (T~S{P)~SWS T, P, T, X c (T{P)~(T{X)WS T, P, U, R c (T~R|P)~UWS T, P, U, V c (T{P{U)~VWS T, P, U, W c (T{P)~(U{W)WS T, P, U, X c (T{P~X)~UWS T, P, V, Q c (T{P)~(V~Q)WS T, P, V, R c (T|P)~(V~R)WS T, P, V, U c (T{P{U)~VWS T, P, V, V c (T{P)~(V{V)WS T, P, V, W c (T|P{W)~VWS T, P, V, X c (T{X)~(V|P)WS T, P, W, U c (T{P{W)~UWS T, P, W, V c (T|P{W)~VWS T, P, W, X c T~(W{X)|PWS T, P, X, T c (T{P)~(X{T)WS T, P, X, U c (T{P~X)~UWS T, P, X, V c (T{X)~(V|P)WS T, P, X, W c T~(X{W)|PWS T, Q, P, V c (T{P)~(Q~V)WS T, Q, Q, U c (T{Q)~(Q~U)WS T, Q, Q, V c (T~Q{Q)~VWS T, Q, Q, W c (T~W{Q)~QWS T, Q, R, S c (T{Q)~(R~S)WS T, Q, R, U c (T~U|Q)~RWS T, Q, R, X c (T{Q)~(R{X)WS T, Q, S, R c (T{Q)~(S~R)WS T, Q, S, U c (T~Q{S)~UWS T, Q, S, V c (T|Q)~(S~V)WS T, Q, S, W c (T{Q)~(S{W)WS T, Q, S, X c (T{X)~(Q{S)WS T, Q, T, V c (T{Q{T)~VWS T, Q, U, Q c (T{Q)~(U~Q)WS T, Q, U, R c (T~U|Q)~RWS T, Q, U, S c (T~Q{S)~UWS T, Q, U, U c (T{Q)~(U{U)WS T, Q, U, V c (T{Q{V)~UWS T, Q, U, X c T~Q~X|UWS T, Q, V, P c (T{P)~(Q~V)WS T, Q, V, Q c (T~Q{Q)~VWS T, Q, V, S c (T|Q)~(V~S)WS T, Q, V, T c (T{Q)~(V{T)WS T, Q, V, U c (T{Q{V)~UWS T, Q, V, V c (T~V{V)~QWS T, Q, V, X c (T|Q{X)~VWS T, Q, W, Q c (T~W{Q)~QWS T, Q, W, S c (T{Q)~(W{S)WS T, Q, W, W c (TQ{W)~WWS T, Q, W, X c (T{X)~(W|Q)WS T, Q, X, R c (T{Q)~(X{R)WS T, Q, X, S c (T{X)~(Q{S)WS T, Q, X, U c T~Q~X|UWS T, Q, X, V c (T|Q{X)~VWS T, Q, X, W c (T{X)~(W|Q)WS T, Q, X, X c T|Q{X~XWS T, R, P, U c (T~R|P)~UWS T, R, P, V c (T|P)~(R~V)WS T, R, Q, S c (T{Q)~(R~S)WS T, R, Q, U c (T~U|Q)~RWS T, R, Q, X c (T{Q)~(R{X)WS T, R, R, T c (T~T{R)~RWS T, R, R, U c (T{R~R)~UWS T, R, R, V c (T~R|R)~VWS T, R, R, X c (T{X)~(R{R)WS T, R, S, Q c (T{Q)~(R~S)WS T, R, S, U c (T~R{U)~SWS T, R, S, V c (T{R{S)~VWS T, R, S, W c (T~S{W)~RWS T, R, S, X c (T{S)~X{RWS T, R, T, R c (T~T{R)~RWS T, R, T, X c T~R~T{XWS T, R, U, P c (T~R|P)~UWS T, R, U, Q c (T~U|Q)~RWS T, R, U, R c (T{R~R)~UWS T, R, U, S c (T~R{U)~SWS T, R, U, U c (T{R{U)~UWS T, R, U, V c (T|R)~(U~V)WS T, R, V, P c (T|P)~(R~V)WS T, R, V, R c (T~R|R)~VWS T, R, V, S c (T{R{S)~VWS T, R, V, U c (T|R)~(V~U)WS T, R, V, V c (T~V|V)~RWS T, R, V, X c (R~V)~(X|T)WS T, R, W, S c (T~S{W)~RWS T, R, X, Q c (T{X)~(R~Q)WS T, R, X, R c (T{X)~(R{R)WS T, R, X, S c (T{S)~X{RWS T, R, X, T c T~R~T{XWS T, R, X, V c R~(X|T)~VWS T, R, X, X c (T{X)~(X|R)WS T, S, P, S c (T~S{P)~SWS T, S, Q, R c (T{Q)~(S~R)WS T, S, Q, U c (T~Q{S)~UWS T, S, Q, V c (T|Q)~(S~V)WS T, S, Q, W c (T{Q)~(S{W)WS T, S, Q, X c (T{X)~(S{Q)WS T, S, R, Q c (T{Q)~(S~R)WS T, S, R, U c (T~R{U)~SWS T, S, R, V c (T{S{R)~VWS T, S, R, W c (T~S{W)~RWS T, S, R, X c (T{S)~X{RWS T, S, S, P c (T~S{P)~SWS T, S, S, S c (T{S~S)~SWS T, S, S, T c (T~T|S)~SWS T, S, T, S c (T~T|S)~SWS T, S, T, U c (T{S{T)~UWS T, S, T, W c (T{T)~W{SWS T, S, U, Q c (T~Q{S)~UWS T, S, U, R c (T~R{U)~SWS T, S, U, T c (T{S{T)~UWS T, S, U, U c (T~S|U)~UWS T, S, U, W c (T{U)~W|SWS T, S, U, X c (T~U|X)~SWS T, S, V, Q c (T|Q)~(S~V)WS T, S, V, R c (T{S{R)~VWS T, S, V, W c (T~S|W)~VWS T, S, V, X c (T{V{X)~SWS T, S, W, Q c (T{W~Q)~SWS T, S, W, R c (T~S{W)~RWS T, S, W, T c (T{T)~W{SWS T, S, W, U c (T{U)~W|SWS T, S, W, V c (T~S|W)~VWS T, S, W, W c T~S{W~WWS T, S, X, Q c (T{X)~(S{Q)WS T, S, X, R c (T{S)~X{RWS T, S, X, U c (T~U|X)~SWS T, S, X, V c (T{X{V)~SWS T, T, P, X c (T{P)~(T{X)WS T, T, Q, V c (T{T{Q)~VWS T, T, R, R c (T~T{R)~RWS T, T, R, X c T~T~R{XWS T, T, S, S c (T~T|S)~SWS T, T, S, U c (T{T{S)~UWS T, T, S, W c (T{T)~W{SWS T, T, U, S c (T{T{S)~UWS T, T, U, X c (T{T)~X|UWS T, T, V, Q c (T{T{Q)~VWS T, T, W, S c (T{T)~W{SWS T, T, X, P c (T{X)~(T{P)WS T, T, X, R c T~T~R{XWS T, T, X, U c (T{T)~X|UWS T, U, O, X c (T{O{X)~UWS T, U, P, R c (T~R|P)~UWS T, U, P, V c (T{U{P)~VWS T, U, P, W c (T{P)~(U{W)WS T, U, P, X c (T{P~X)~UWS T, U, Q, Q c (T{Q)~(U~Q)WS T, U, Q, R c (T~U|Q)~RWS T, U, Q, S c (T~Q{S)~UWS T, U, Q, U c (T{Q)~(U{U)WS T, U, Q, V c (T{Q{V)~UWS T, U, Q, X c T~Q~X|UWS T, U, R, P c (T~R|P)~UWS T, U, R, Q c (T~U|Q)~RWS T, U, R, R c (T{R~R)~UWS T, U, R, S c (T~R{U)~SWS T, U, R, U c (T{U{R)~UWS T, U, R, V c (T|R)~(U~V)WS T, U, S, Q c (T~Q{S)~UWS T, U, S, R c (T~R{U)~SWS T, U, S, T c (T{S{T)~UWS T, U, S, U c (T~S|U)~UWS T, U, S, W c (T{U)~W|SWS T, U, S, X c (T~U|X)~SWS T, U, T, S c (T{T{S)~UWS T, U, T, X c (T{T)~X|UWS T, U, U, Q c (T{Q)~(U{U)WS T, U, U, R c (T{U{R)~UWS T, U, U, S c (T~S|U)~UWS T, U, U, W c (T{W)~U{UWS T, U, U, X c T~U{U~XWS T, U, V, P c (T{U{P)~VWS T, U, V, Q c (T{V{Q)~UWS T, U, V, R c (T|R)~(U~V)WS T, U, V, V c (T{U)~V{VWS T, U, W, P c (T{W{P)~UWS T, U, W, S c (T{U)~W|SWS T, U, W, U c (T{W)~U{UWS T, U, X, O c (T{X)~(U{O)WS T, U, X, P c (T{X)~(U~P)WS T, U, X, Q c T~X~Q|UWS T, U, X, S c (T~U|X)~SWS T, U, X, T c (T{T)~X|UWS T, U, X, U c T~U{X~UWS T, U, X, X c T~(U{X){XWS T, V, O, V c (T{V{O)~VWS T, V, P, Q c (T{P)~(V~Q)WS T, V, P, R c (T|P)~(V~R)WS T, V, P, U c (T{V)~(P{U)WS T, V, P, V c (T{V)~(P~V)WS T, V, P, W c (T{V)~(W|P)WS T, V, P, X c (T{X)~(V|P)WS T, V, Q, P c (T{P)~(V~Q)WS T, V, Q, Q c (T~Q{Q)~VWS T, V, Q, S c (T|Q)~(V~S)WS T, V, Q, T c (T{V)~(Q{T)WS T, V, Q, U c (T{V{Q)~UWS T, V, Q, V c (T~V{V)~QWS T, V, Q, X c (T{V)~(X|Q)WS T, V, R, P c (T|P)~(V~R)WS T, V, R, R c (T~R|R)~VWS T, V, R, S c (T{V)~(R{S)WS T, V, R, U c (T|R)~(V~U)WS T, V, R, V c (T~V|V)~RWS T, V, R, X c (V~R)~(X|T)WS T, V, S, Q c (T|Q)~(V~S)WS T, V, S, R c (T{V)~(S{R)WS T, V, S, W c (T~S|W)~VWS T, V, S, X c (T{V{X)~SWS T, V, T, Q c (T{V)~(T{Q)WS T, V, U, P c (T{V)~(U{P)WS T, V, U, Q c (T{V{Q)~UWS T, V, U, R c (T|R)~(V~U)WS T, V, U, V c (T{U)~V{VWS T, V, V, O c (T{V)~(V{O)WS T, V, V, P c (T{V)~(V~P)WS T, V, V, Q c (T~V{V)~QWS T, V, V, R c (T~V|V)~RWS T, V, V, U c (T{U)~V{VWS T, V, V, V c T~V{V~VWS T, V, V, W c (T{W)~V|VWS T, V, W, P c (T{V)~(W|P)WS T, V, W, S c (T~S|W)~VWS T, V, W, V c (T{W)~V|VWS T, V, W, X c T{V{W~XWS T, V, X, P c (T{X)~(V|P)WS T, V, X, Q c (T{V)~(X|Q)WS T, V, X, R c V~(X|T)~RWS T, V, X, S c (T{V{X)~SWS T, V, X, W c T{V{X~WWS T, W, P, U c (T{W{P)~UWS T, W, P, V c (T{W|P)~VWS T, W, P, X c T~(W{X)|PWS T, W, Q, Q c (T~W{Q)~QWS T, W, Q, S c (T{W~Q)~SWS T, W, Q, W c (TQ{W)~WWS T, W, Q, X c (T{X)~(W|Q)WS T, W, R, S c (T~S{W)~RWS T, W, S, Q c (T{W~Q)~SWS T, W, S, R c (T~S{W)~RWS T, W, S, T c (T{T)~W{SWS T, W, S, U c (T{U)~W|SWS T, W, S, V c (T~S|W)~VWS T, W, S, W c (T{W{W)~SWS T, W, T, S c (T{T)~W{SWS T, W, U, P c (T{W{P)~UWS T, W, U, S c (T{U)~W|SWS T, W, U, U c (T{W)~U{UWS T, W, V, P c (T{W|P)~VWS T, W, V, S c (T~S|W)~VWS T, W, V, V c (T{W)~V|VWS T, W, V, X c T~(W{V){XWS T, W, W, Q c (TQ{W)~WWS T, W, W, S c (T{W{W)~SWS T, W, X, P c T~(W{X)|PWS T, W, X, Q c (T{X)~(W|Q)WS T, W, X, V c T{W~X{VWS T, W, X, X c W|T{X~XWS T, X, O, U c (T{X{O)~UWS T, X, P, T c (T{X)~(P{T)WS T, X, P, U c (T{X)~(P~U)WS T, X, P, V c (T{X)~(V|P)WS T, X, P, W c T~(X{W)|PWS T, X, Q, R c (T{X)~(Q~R)WS T, X, Q, S c (T{X)~(Q{S)WS T, X, Q, U c T~X~Q|UWS T, X, Q, V c (T{X|Q)~VWS T, X, Q, W c (T{X)~(W|Q)WS T, X, Q, X c T{X~X|QWS T, X, R, Q c (T{X)~(R~Q)WS T, X, R, R c (T{X)~(R{R)WS T, X, R, S c (T{S)~X{RWS T, X, R, T c T~R~T{XWS T, X, R, V c (X|T)~(R~V)WS T, X, R, X c (T{X)~(X|R)WS T, X, S, Q c (T{X)~(S{Q)WS T, X, S, R c (T{S)~X{RWS T, X, S, U c (T~U|X)~SWS T, X, S, V c (T{X{V)~SWS T, X, T, P c (T{X)~(T{P)WS T, X, T, R c T~T~R{XWS T, X, T, U c (T{T)~X|UWS T, X, U, O c (T{X)~(U{O)WS T, X, U, P c (T{X)~(U~P)WS T, X, U, Q c T~X~Q|UWS T, X, U, S c (T~U|X)~SWS T, X, U, T c (T{T)~X|UWS T, X, U, U c T~U{X~UWS T, X, U, X c T~(X{U){XWS T, X, V, P c (T{X)~(V|P)WS T, X, V, Q c (T{X|Q)~VWS T, X, V, R c (X|T)~(V~R)WS T, X, V, S c (T{X{V)~SWS T, X, V, W c T{X~W{VWS T, X, W, P c T~(X{W)|PWS T, X, W, Q c (T{X)~(W|Q)WS T, X, W, V c T{X~W{VWS T, X, W, X c X~X|T{WWS T, X, X, Q c T{X~X|QWS T, X, X, R c (T{X)~(X|R)WS T, X, X, U c T~(X{X)|UWS T, X, X, W c X~X|T{WWS U, O, Q, V c (U{O)~(Q~V)WS U, O, T, X c (U{O)~(T{X)WS U, O, U, V c (U{O{U)~VWS U, O, U, W c (U{O)~(U{W)WS U, O, V, Q c (U{O)~(V~Q)WS U, O, V, U c (U{O{U)~VWS U, O, V, V c (U{O)~(V{V)WS U, O, W, U c (U{O{W)~UWS U, O, X, T c (U{O)~(X{T)WS U, P, P, V c U~(P{P)~VWS U, P, Q, U c (U{P)~(Q~U)WS U, P, Q, V c U~P~Q~VWS U, P, Q, W c (U~Q)~(W|P)WS U, P, R, S c (U{P)~(R~S)WS U, P, R, T c U~(R~T|P)WS U, P, R, V c U~(R|P)~VWS U, P, R, X c (U{P)~(R{X)WS U, P, S, R c (U{P)~(S~R)WS U, P, S, W c (U{P)~(S{W)WS U, P, S, X c U~(P{S{X)WS U, P, T, R c U~(T~R|P)WS U, P, T, V c (U{P{T)~VWS U, P, T, W c U~(P{T{W)WS U, P, T, X c (U~P)~(T{X)WS U, P, U, Q c (U{P)~(U~Q)WS U, P, U, U c (U{P)~(U{U)WS U, P, U, V c (U{P~U)~VWS U, P, U, W c (U~P)~(U{W)WS U, P, U, X c (U|P{X)~UWS U, P, V, P c U~(P{P)~VWS U, P, V, Q c U~P~V~QWS U, P, V, R c (U~V)~(R|P)WS U, P, V, T c (U{P)~(V{T)WS U, P, V, U c (U{P{V)~UWS U, P, V, V c (U|P{V)~VWS U, P, V, W c U~(V|P{W)WS U, P, W, Q c U~(W|P)~QWS U, P, W, S c (U{P)~(W{S)WS U, P, W, T c U~(P{W{T)WS U, P, W, U c (U{P~W)~UWS U, P, W, V c U~(W|P{V)WS U, P, X, R c (U{P)~(X{R)WS U, P, X, S c U~(P{X{S)WS U, P, X, T c (U~P)~(X{T)WS U, P, X, U c (U|P{X)~UWS U, P, X, X c (P{X)~X|UWS U, Q, O, V c (U~Q{O)~VWS U, Q, P, U c (U~Q)~(P{U)WS U, Q, P, V c U~Q~P~VWS U, Q, P, W c (U~Q)~(W|P)WS U, Q, Q, T c (U~Q)~(Q{T)WS U, Q, Q, U c (U~Q{Q)~UWS U, Q, Q, W c U~(Q~W|Q)WS U, Q, Q, X c (U~Q)~(X|Q)WS U, Q, R, S c U~(Q{R~S)WS U, Q, R, T c (U~T|Q)~RWS U, Q, R, V c (U{Q~R)~VWS U, Q, R, W c U~(Q~R{W)WS U, Q, R, X c U~(Q{R{X)WS U, Q, S, R c U~(Q{S~R)WS U, Q, S, S c U~(S~S|Q)WS U, Q, S, T c U~(Q~T{S)WS U, Q, S, U c (U{Q~S)~UWS U, Q, S, V c (U{Q{S)~VWS U, Q, S, W c U~(Q{S{W)WS U, Q, S, X c (U~Q{X)~SWS U, Q, T, Q c U~(Q{T)~QWS U, Q, T, R c (U~T|Q)~RWS U, Q, T, S c U~(Q~T{S)WS U, Q, T, U c (U{U)~(Q{T)WS U, Q, T, V c U~(Q{T{V)WS U, Q, T, X c Q~T~X|UWS U, Q, U, P c (U~Q)~(U{P)WS U, Q, U, Q c U~(Q{U~Q)WS U, Q, U, S c (U{Q~S)~UWS U, Q, U, T c (U{U)~(Q{T)WS U, Q, U, U c (U{Q{U)~UWS U, Q, U, W c (U~W|U)~QWS U, Q, U, X c (U{U)~(X|Q)WS U, Q, V, O c U~Q~V{OWS U, Q, V, P c U~Q~V~PWS U, Q, V, R c (U|Q)~(V~R)WS U, Q, V, S c UQ~V~SWS U, Q, V, T c U~(Q{V{T)WS U, Q, V, W c (U|Q{W)~VWS U, Q, V, X c (UQ{X)~VWS U, Q, W, P c (U~Q)~(W|P)WS U, Q, W, Q c U~(Q~W|Q)WS U, Q, W, R c U~(Q~R{W)WS U, Q, W, S c U~(Q{W{S)WS U, Q, W, U c (U~W|U)~QWS U, Q, W, V c (U|Q{W)~VWS U, Q, W, W c U~(W|Q{W)WS U, Q, W, X c U~Q{W~XWS U, Q, X, Q c (U~Q)~(X|Q)WS U, Q, X, R c U~(Q{X{R)WS U, Q, X, S c (U~Q{X)~SWS U, Q, X, T c Q~X~T|UWS U, Q, X, U c (U{U)~(X|Q)WS U, Q, X, V c (UQ{X)~VWS U, Q, X, W c U~Q{X~WWS U, Q, X, X c UQ{X~XWS U, R, P, S c (U{P)~(R~S)WS U, R, P, T c U~(R~T|P)WS U, R, P, V c U~(R|P)~VWS U, R, P, X c (U{P)~(R{X)WS U, R, Q, S c U~(R{S)~QWS U, R, Q, T c (U~T|Q)~RWS U, R, Q, V c (U{R~Q)~VWS U, R, Q, W c U~(R~Q{W)WS U, R, Q, X c U~(R{Q{X)WS U, R, R, S c (U~R{R)~SWS U, R, R, T c U~(R~R{T)WS U, R, R, V c (U{R{R)~VWS U, R, R, W c U~(R{R{W)WS U, R, R, X c (U{R)~X{RWS U, R, S, P c (U{P)~(R~S)WS U, R, S, Q c U~(R{S)~QWS U, R, S, R c (U~R{R)~SWS U, R, S, S c (U~S|R)~SWS U, R, S, T c (U{R~T)~SWS U, R, S, U c (U~R|S)~UWS U, R, S, V c (U|R)~(S~V)WS U, R, S, X c (R~X|U)~SWS U, R, T, P c U~(R~T|P)WS U, R, T, Q c (U~T|Q)~RWS U, R, T, R c U~(R~R{T)WS U, R, T, S c (U{R~T)~SWS U, R, T, U c (U{R{T)~UWS U, R, T, V c U~(T|R)~VWS U, R, U, S c U~(R~U|S)WS U, R, U, T c U~(R{U{T)WS U, R, U, V c (U~R|U)~VWS U, R, U, W c (U~U|W)~RWS U, R, V, P c U~(R|P)~VWS U, R, V, Q c (U{R~Q)~VWS U, R, V, R c (U{R{R)~VWS U, R, V, S c (U|R)~(V~S)WS U, R, V, T c (U~V)~(T|R)WS U, R, V, U c UR~V~UWS U, R, V, V c U~(R~V|V)WS U, R, V, X c (U|R{X)~VWS U, R, W, Q c U~(R~Q{W)WS U, R, W, R c U~(R{W{R)WS U, R, W, U c (U~U|W)~RWS U, R, W, X c U~(W|R{X)WS U, R, X, P c (U{P)~(R{X)WS U, R, X, Q c U~(R{X{Q)WS U, R, X, R c (U{R)~X{RWS U, R, X, S c (R~X|U)~SWS U, R, X, V c (U|R{X)~VWS U, R, X, W c U~(X|R{W)WS U, R, X, X c U|R{X~XWS U, S, P, R c (U{P)~(S~R)WS U, S, P, W c (U{P)~(S{W)WS U, S, P, X c U~(S{P{X)WS U, S, Q, R c U~(S{R)~QWS U, S, Q, S c U~(S~S|Q)WS U, S, Q, T c U~(S{Q~T)WS U, S, Q, U c (U{S~Q)~UWS U, S, Q, V c (U{S{Q)~VWS U, S, Q, W c U~(S{Q{W)WS U, S, Q, X c (U{S~X)~QWS U, S, R, P c (U{P)~(S~R)WS U, S, R, Q c U~(S{R)~QWS U, S, R, R c (U~R{R)~SWS U, S, R, S c (U~S|R)~SWS U, S, R, T c (U{R~T)~SWS U, S, R, U c (U~R|S)~UWS U, S, R, V c U~(S{R{V)WS U, S, R, X c S~(R~X|U)WS U, S, S, Q c U~(S~S|Q)WS U, S, S, R c (U~S{S)~RWS U, S, S, U c (U{S{S)~UWS U, S, S, W c (U{S)~W{SWS U, S, T, Q c U~(S{T~Q)WS U, S, T, R c (U{T~R)~SWS U, S, T, T c U~(S{T{T)WS U, S, T, U c U~(S~T|U)WS U, S, T, W c (U{T)~W|SWS U, S, T, X c (U~T|X)~SWS U, S, U, Q c (U{S~Q)~UWS U, S, U, R c (U{U)~(S{R)WS U, S, U, S c U~(S{U{S)WS U, S, U, T c U~(S~T|U)WS U, S, U, V c (U|S)~(U~V)WS U, S, U, X c U{(S{X)~UWS U, S, V, Q c U~S~VQWS U, S, V, R c U~(S{V{R)WS U, S, V, U c (U|S)~(V~U)WS U, S, V, W c US~V~WWS U, S, V, X c (S~V)~(X|U)WS U, S, W, P c (U{P)~(S{W)WS U, S, W, Q c U~(S{W{Q)WS U, S, W, S c (U{S)~W{SWS U, S, W, T c (U{T)~W|SWS U, S, W, V c US~W~VWS U, S, W, X c (US{X)~WWS U, S, X, P c U~(S{X{P)WS U, S, X, Q c (U{S~X)~QWS U, S, X, R c S~(X~R|U)WS U, S, X, T c (U~T|X)~SWS U, S, X, U c U{(S{X)~UWS U, S, X, V c S~(X|U)~VWS U, S, X, W c (US{X)~WWS U, S, X, X c U~(X|S{X)WS U, T, O, X c U~(T{O{X)WS U, T, P, R c U~(T~R|P)WS U, T, P, V c (U{T{P)~VWS U, T, P, W c U~(T{P{W)WS U, T, P, X c U~(T{P~X)WS U, T, Q, Q c U~(T{Q)~QWS U, T, Q, R c (U~T|Q)~RWS U, T, Q, S c U~(T~Q{S)WS U, T, Q, U c (U{U)~(T{Q)WS U, T, Q, V c U~(T{Q{V)WS U, T, Q, X c T~Q~X|UWS U, T, R, P c U~(T~R|P)WS U, T, R, Q c (U~T|Q)~RWS U, T, R, R c U~(T{R~R)WS U, T, R, S c (U{T~R)~SWS U, T, R, U c (U{T{R)~UWS U, T, R, V c U~(T|R)~VWS U, T, S, Q c U~(T~Q{S)WS U, T, S, R c (U{T~R)~SWS U, T, S, T c U~(T{S{T)WS U, T, S, U c U~(T~S|U)WS U, T, S, W c (U{T)~W|SWS U, T, S, X c (U~T|X)~SWS U, T, T, S c U~(T{T{S)WS U, T, T, X c (T{T)~X|UWS U, T, U, Q c (U{U)~(T{Q)WS U, T, U, R c U~(T{U{R)WS U, T, U, S c U~(T~S|U)WS U, T, U, W c U{(T{W)~UWS U, T, U, X c U~T{U~XWS U, T, V, P c (U{T{P)~VWS U, T, V, Q c U~(T{V{Q)WS U, T, V, R c U~(T|R)~VWS U, T, V, V c (U{T)~V{VWS U, T, W, P c U~(T{W{P)WS U, T, W, S c (U{T)~W|SWS U, T, W, U c U{(T{W)~UWS U, T, X, O c U~(T{X){OWS U, T, X, P c U~(T{X)~PWS U, T, X, Q c T~X~Q|UWS U, T, X, S c (U~T|X)~SWS U, T, X, T c (T{T)~X|UWS U, T, X, U c U~T{X~UWS U, T, X, X c (U{X)~T{XWS U, U, O, V c (U{U{O)~VWS U, U, O, W c U~(U{O{W)WS U, U, P, Q c U~(U{P)~QWS U, U, P, U c (U{U)~(P{U)WS U, U, P, V c (U{U)~(P~V)WS U, U, P, W c U~(U{P~W)WS U, U, P, X c U~(U|P{X)WS U, U, Q, P c U~(U{P)~QWS U, U, Q, Q c U~(U~Q{Q)WS U, U, Q, S c U~(U{Q~S)WS U, U, Q, T c (U{U)~(Q{T)WS U, U, Q, U c (U{U{Q)~UWS U, U, Q, W c (U~W|U)~QWS U, U, Q, X c (U{U)~(X|Q)WS U, U, R, S c (U{U)~(R{S)WS U, U, R, T c U~(U{R{T)WS U, U, R, V c U~UR~VWS U, U, R, W c (U~U|W)~RWS U, U, S, Q c U~(U{S~Q)WS U, U, S, R c (U{U)~(S{R)WS U, U, S, S c U~(U{S{S)WS U, U, S, T c U~(S~T|U)WS U, U, S, V c U~(U|S)~VWS U, U, S, X c U{U~(S{X)WS U, U, T, Q c (U{U)~(T{Q)WS U, U, T, R c U~(U{T{R)WS U, U, T, S c U~(T~S|U)WS U, U, T, W c U{U~(T{W)WS U, U, T, X c U~T{U~XWS U, U, U, P c (U{U)~(U{P)WS U, U, U, Q c (U{U~U)~QWS U, U, U, V c U{U~(U{V)WS U, U, U, W c U~U{U~WWS U, U, U, X c U~(U{X)|UWS U, U, V, O c (U{U)~(V{O)WS U, U, V, P c (U{U)~(V~P)WS U, U, V, R c U~U~VRWS U, U, V, S c U~(U|S)~VWS U, U, V, U c U{(U{V)~UWS U, U, V, V c U~V{U~VWS U, U, V, W c U~(V{W)|UWS U, U, W, O c U~(U{W){OWS U, U, W, P c (U{U)~(W|P)WS U, U, W, Q c (U~W|U)~QWS U, U, W, R c (U~U|W)~RWS U, U, W, T c U{U~(W{T)WS U, U, W, U c U~U{W~UWS U, U, W, V c U~(W|U)~VWS U, U, W, X c U{U{W~XWS U, U, X, P c U~(U{X|P)WS U, U, X, Q c (U{U)~(X|Q)WS U, U, X, S c (U{U{X)~SWS U, U, X, T c U~X{U~TWS U, U, X, U c U~(U{X)|UWS U, U, X, W c U{U{X~WWS U, V, O, Q c (U~V{O)~QWS U, V, O, U c (U{O{U)~VWS U, V, O, V c U~(V{O{V)WS U, V, P, P c (U~V)~(P{P)WS U, V, P, Q c U~V~P~QWS U, V, P, R c (U~V)~(R|P)WS U, V, P, T c (U{P)~(V{T)WS U, V, P, U c (U{V{P)~UWS U, V, P, V c (U{V|P)~VWS U, V, P, W c U~(V|P{W)WS U, V, Q, O c U~V~Q{OWS U, V, Q, P c U~V~Q~PWS U, V, Q, R c (U|Q)~(V~R)WS U, V, Q, S c U~VQ~SWS U, V, Q, T c U~(V{Q{T)WS U, V, Q, W c (U|Q{W)~VWS U, V, Q, X c U~(V|Q{X)WS U, V, R, P c (U~V)~(R|P)WS U, V, R, Q c (U{R~Q)~VWS U, V, R, R c (U{R{R)~VWS U, V, R, S c U~(V{R{S)WS U, V, R, T c (U~V)~(T|R)WS U, V, R, U c U~VR~UWS U, V, R, V c U~(V~R|V)WS U, V, R, X c (U|R{X)~VWS U, V, S, Q c (U~V)~(S|Q)WS U, V, S, R c U~(V{S{R)WS U, V, S, U c (U~V)~(U|S)WS U, V, S, W c U~VS~WWS U, V, S, X c (V~S)~(X|U)WS U, V, T, P c (U{T{P)~VWS U, V, T, Q c U~(V{T{Q)WS U, V, T, R c (U~V)~(T|R)WS U, V, T, V c U~(V|T)~VWS U, V, U, O c (U{U)~(V{O)WS U, V, U, P c U~(V{U{P)WS U, V, U, R c U~V~URWS U, V, U, S c (U~V)~(U|S)WS U, V, U, U c U{(V{U)~UWS U, V, U, V c U~V{U~VWS U, V, U, W c U~(V{W)|UWS U, V, V, O c U~(V{V){OWS U, V, V, P c U~(V{V)~PWS U, V, V, R c U~(V~R|V)WS U, V, V, T c (U~V)~(V|T)WS U, V, V, U c U~V{V~UWS U, V, V, V c (U{V)~V|VWS U, V, V, X c (U~V)~(X|V)WS U, V, W, P c U~(V{W|P)WS U, V, W, Q c (U{W|Q)~VWS U, V, W, S c (U{V{W)~SWS U, V, W, U c U~(V{W)|UWS U, V, W, X c VU~W~XWS U, V, X, Q c U~(V{X|Q)WS U, V, X, R c (U{X|R)~VWS U, V, X, S c V~(X|U)~SWS U, V, X, V c (U~V)~(X|V)WS U, V, X, W c VU~X~WWS U, V, X, X c V~(X|U{X)WS U, W, O, U c (U{W{O)~UWS U, W, P, Q c U~(W|P)~QWS U, W, P, S c (U{P)~(W{S)WS U, W, P, T c (U{W)~(P{T)WS U, W, P, U c (U{W)~(P~U)WS U, W, P, V c U~(W|P{V)WS U, W, Q, P c U~(W|P)~QWS U, W, Q, Q c U~(W~Q|Q)WS U, W, Q, R c (U{W)~(Q~R)WS U, W, Q, S c (U{W)~(Q{S)WS U, W, Q, U c (U~W|U)~QWS U, W, Q, V c (U{W|Q)~VWS U, W, Q, W c U~(W|Q{W)WS U, W, Q, X c U~Q{W~XWS U, W, R, Q c (U{W)~(R~Q)WS U, W, R, R c (U{W)~(R{R)WS U, W, R, U c (U~U|W)~RWS U, W, R, X c U~(W|R{X)WS U, W, S, P c (U{P)~(W{S)WS U, W, S, Q c (U{W)~(S{Q)WS U, W, S, S c (U{S)~W{SWS U, W, S, T c (U{T)~W|SWS U, W, S, V c U~WS~VWS U, W, S, X c U~W{S~XWS U, W, T, P c (U{W)~(T{P)WS U, W, T, S c (U{T)~W|SWS U, W, T, U c U{(W{T)~UWS U, W, U, O c (U{W)~(U{O)WS U, W, U, P c (U{W)~(U~P)WS U, W, U, Q c (U~W|U)~QWS U, W, U, R c (U~U|W)~RWS U, W, U, T c U{(W{T)~UWS U, W, U, U c U~W{U~UWS U, W, U, V c U~(W|U)~VWS U, W, U, X c U{W~X{UWS U, W, V, P c (U{W)~(V|P)WS U, W, V, Q c (U{W|Q)~VWS U, W, V, S c (U{W{V)~SWS U, W, V, U c U~(W{V)|UWS U, W, V, X c WU~V~XWS U, W, W, Q c (U{W)~(W|Q)WS U, W, W, X c (WU{W)~XWS U, W, X, Q c (U{XQ)~WWS U, W, X, R c (U{W)~(X|R)WS U, W, X, S c U~W{X~SWS U, W, X, U c U{W~X{UWS U, W, X, V c WU~X~VWS U, W, X, W c (WU{W)~XWS U, W, X, X c W~(XU{X)WS U, X, O, T c U~(X{O{T)WS U, X, P, R c (U{P)~(X{R)WS U, X, P, S c U~(X{P{S)WS U, X, P, T c U~(X{P~T)WS U, X, P, U c (U{X|P)~UWS U, X, P, X c (X{P)~X|UWS U, X, Q, Q c U~(X|Q)~QWS U, X, Q, R c U~(X{Q{R)WS U, X, Q, S c U~(X~Q|S)WS U, X, Q, T c X~Q~T|UWS U, X, Q, U c (U{U)~(X|Q)WS U, X, Q, V c U~(X|Q{V)WS U, X, Q, W c (U{XQ)~WWS U, X, Q, X c UQ{X~XWS U, X, R, P c (U{P)~(X{R)WS U, X, R, Q c U~(X{R{Q)WS U, X, R, R c (U{R)~X{RWS U, X, R, S c (X~R|U)~SWS U, X, R, V c (U{X|R)~VWS U, X, R, W c U~(X|R{W)WS U, X, R, X c U{X~X|RWS U, X, S, P c U~(X{S{P)WS U, X, S, Q c (U{X~S)~QWS U, X, S, R c (X~R|U)~SWS U, X, S, T c (U~T|X)~SWS U, X, S, U c U{(X{S)~UWS U, X, S, V c (X|U)~(S~V)WS U, X, S, W c (US{X)~WWS U, X, S, X c U~(X|S{X)WS U, X, T, O c U~(X{T){OWS U, X, T, P c U~(X{T)~PWS U, X, T, Q c X~T~Q|UWS U, X, T, S c (U~T|X)~SWS U, X, T, T c X~(T{T)|UWS U, X, T, U c U~X{T~UWS U, X, T, X c (U{X)~T{XWS U, X, U, P c U~(X{U|P)WS U, X, U, Q c (U{U)~(X|Q)WS U, X, U, S c (U{X{U)~SWS U, X, U, T c U~X{U~TWS U, X, U, U c (U{X)~U|UWS U, X, U, W c U{X~W{UWS U, X, V, Q c U~(X{V|Q)WS U, X, V, R c (U{X|R)~VWS U, X, V, S c (X|U)~(V~S)WS U, X, V, V c U~(X|V)~VWS U, X, V, W c XU~V~WWS U, X, V, X c (X|U{X)~VWS U, X, W, Q c (U{XQ)~WWS U, X, W, R c U~(X{W|R)WS U, X, W, S c U~W{X~SWS U, X, W, U c U{X~W{UWS U, X, W, V c XU~W~VWS U, X, W, W c X~(WU{W)WS U, X, W, X c (XU{X)~WWS U, X, X, P c X~(X{P)|UWS U, X, X, Q c UQ{X~XWS U, X, X, R c U{X~X|RWS U, X, X, S c U~(X{X|S)WS U, X, X, T c (U{X)~T{XWS U, X, X, V c (X|U{X)~VWS U, X, X, W c (XU{X)~WWS U, X, X, X c X|U{X~XWS V, O, Q, U c (V{O)~(Q~U)WS V, O, R, S c (V{O)~(R~S)WS V, O, R, X c (V{O)~(R{X)WS V, O, S, R c (V{O)~(S~R)WS V, O, S, W c (V{O)~(S{W)WS V, O, T, V c (V{O{T)~VWS V, O, U, Q c (V{O)~(U~Q)WS V, O, U, U c (V{O)~(U{U)WS V, O, U, V c (V{O{V)~UWS V, O, V, T c (V{O)~(V{T)WS V, O, V, U c (V{O{V)~UWS V, O, W, S c (V{O)~(W{S)WS V, O, X, R c (V{O)~(X{R)WS V, P, P, U c V~(P{P)~UWS V, P, Q, S c V~(P{Q)~SWS V, P, Q, T c V~(P{T)~QWS V, P, Q, U c V~P~Q~UWS V, P, Q, V c (V|P)~(Q~V)WS V, P, Q, X c V~(P{Q{X)WS V, P, R, R c V~(P{R)~RWS V, P, R, S c V~P~R~SWS V, P, R, T c (V~R)~(T|P)WS V, P, R, U c V~(R|P)~UWS V, P, R, W c V~(P{R{W)WS V, P, R, X c (V~P)~(R{X)WS V, P, S, Q c V~(P{Q)~SWS V, P, S, R c V~P~S~RWS V, P, S, S c V~(S|P)~SWS V, P, S, V c (V{P{S)~VWS V, P, S, W c (V~P)~(S{W)WS V, P, S, X c V~(S|P{X)WS V, P, T, Q c V~(P{T)~QWS V, P, T, R c V~(T|P)~RWS V, P, T, U c V~(P{T{U)WS V, P, T, V c (V{P~T)~VWS V, P, T, W c V~(T|P{W)WS V, P, T, X c (V|P)~(T{X)WS V, P, U, P c V~(P{P)~UWS V, P, U, Q c V~P~U~QWS V, P, U, R c (V~U)~(R|P)WS V, P, U, T c V~(P{U{T)WS V, P, U, U c (V{P{U)~UWS V, P, U, V c (V|P{U)~VWS V, P, U, W c (V|P)~(U{W)WS V, P, V, Q c (V|P)~(V~Q)WS V, P, V, S c V~(P{V{S)WS V, P, V, T c (V~P)~(V{T)WS V, P, V, U c (V{P~V)~UWS V, P, V, V c (V|P)~(V{V)WS V, P, W, R c V~(P{W{R)WS V, P, W, S c (V~P)~(W{S)WS V, P, W, T c V~(W|P{T)WS V, P, W, U c (V|P{W)~UWS V, P, X, Q c V~(P{X{Q)WS V, P, X, R c (V~P)~(X{R)WS V, P, X, S c V~(X|P{S)WS V, P, X, T c (V|P)~(X{T)WS V, Q, O, U c (V~Q{O)~UWS V, Q, P, S c V~(Q{P)~SWS V, Q, P, T c (V~Q)~(P{T)WS V, Q, P, U c V~Q~P~UWS V, Q, P, V c (V~Q)~(V|P)WS V, Q, P, X c V~(Q{P{X)WS V, Q, Q, R c V~(Q{Q)~RWS V, Q, Q, S c (V~Q)~(Q{S)WS V, Q, Q, T c V~(Q{Q~T)WS V, Q, Q, V c (V~Q|Q)~VWS V, Q, Q, W c V~(Q{Q{W)WS V, Q, R, Q c V~Q~R~QWS V, Q, R, R c (V~Q)~(R{R)WS V, Q, R, U c V~(Q~R{U)WS V, Q, R, V c (V{Q{R)~VWS V, Q, R, W c VQ~R~WWS V, Q, R, X c (V{Q)~X{RWS V, Q, S, P c V~(Q{P)~SWS V, Q, S, Q c V~(Q{S)~QWS V, Q, S, S c V~(Q~S{S)WS V, Q, S, T c (V~S)~(T|Q)WS V, Q, S, U c V~(Q{S{U)WS V, Q, S, V c (V{Q~V)~SWS V, Q, S, W c V~(Q~W|S)WS V, Q, T, P c (V~Q)~(T{P)WS V, Q, T, Q c V~(Q{T~Q)WS V, Q, T, S c V~(T|Q)~SWS V, Q, T, T c V~(Q{T{T)WS V, Q, T, U c (V{Q{T)~UWS V, Q, T, V c (V{T~V)~QWS V, Q, T, X c V~(T|Q{X)WS V, Q, U, O c V~Q~U{OWS V, Q, U, P c V~Q~U~PWS V, Q, U, R c V~(Q~R{U)WS V, Q, U, S c V~(Q{U{S)WS V, Q, U, T c (V{Q{T)~UWS V, Q, U, W c V~(U|Q{W)WS V, Q, U, X c (V|Q{X)~UWS V, Q, V, P c (V~Q)~(V|P)WS V, Q, V, Q c V~(Q~V|Q)WS V, Q, V, R c V~(Q{V{R)WS V, Q, V, S c (V{Q~V)~SWS V, Q, V, T c (V{V~T)~QWS V, Q, V, V c (V|Q{V)~VWS V, Q, V, W c (VQ{V)~WWS V, Q, V, X c V{(Q{X)~VWS V, Q, W, Q c V~(Q{W{Q)WS V, Q, W, R c VQ~W~RWS V, Q, W, S c V~(Q~W|S)WS V, Q, W, U c V~(W|Q{U)WS V, Q, W, V c (VQ{V)~WWS V, Q, W, W c V~(WQ{W)WS V, Q, X, P c V~(Q{X{P)WS V, Q, X, R c (V{Q)~X{RWS V, Q, X, T c V~(X|Q{T)WS V, Q, X, U c (V|Q{X)~UWS V, Q, X, V c V{(Q{X)~VWS V, R, O, S c (V~R{O)~SWS V, R, O, X c V~(R{O{X)WS V, R, P, R c V~(R{P)~RWS V, R, P, S c V~R~P~SWS V, R, P, T c (V~R)~(T|P)WS V, R, P, U c V~(R|P)~UWS V, R, P, W c V~(R{P{W)WS V, R, P, X c V~(R{P~X)WS V, R, Q, Q c (V~R)~(Q{Q)WS V, R, Q, R c V~(R{R)~QWS V, R, Q, U c V~(R~Q{U)WS V, R, Q, V c (V{R{Q)~VWS V, R, Q, W c V~RQ~WWS V, R, Q, X c (V{Q)~X{RWS V, R, R, P c (V~R)~(R{P)WS V, R, R, Q c V~(R{R)~QWS V, R, R, R c V~(R{R~R)WS V, R, R, T c V~(R~T|R)WS V, R, R, U c V~(R{R{U)WS V, R, R, V c (V|R)~(R~V)WS V, R, S, O c V~R~S{OWS V, R, S, P c V~R~S~PWS V, R, S, T c V~(R{S{T)WS V, R, S, U c (V{R{S)~UWS V, R, S, W c (V{R)~W{SWS V, R, S, X c VR~S~XWS V, R, T, P c (V~R)~(T|P)WS V, R, T, R c V~(R~T|R)WS V, R, T, S c V~(R{T{S)WS V, R, T, U c V~(T|R)~UWS V, R, T, V c (V~T|V)~RWS V, R, T, X c (V~R)~(X|T)WS V, R, U, P c V~(R|P)~UWS V, R, U, Q c (V~R)~(U|Q)WS V, R, U, R c V~(R{U{R)WS V, R, U, S c (V{R{S)~UWS V, R, U, T c (V~U)~(T|R)WS V, R, U, U c V~(R~U|U)WS V, R, U, V c (V~R|V)~UWS V, R, U, X c (V{R)~X|UWS V, R, V, Q c V~(R{V{Q)WS V, R, V, R c (V{R~V)~RWS V, R, V, T c (V~T|V)~RWS V, R, V, U c (V~R|V)~UWS V, R, V, W c V{(R{W)~VWS V, R, V, X c V~R{V~XWS V, R, W, P c V~(R{W{P)WS V, R, W, Q c V~R~WQWS V, R, W, S c (V{R)~W{SWS V, R, W, V c V{(R{W)~VWS V, R, X, O c V~(R{X){OWS V, R, X, P c V~(R{X)~PWS V, R, X, Q c V~(X|R)~QWS V, R, X, S c VR~X~SWS V, R, X, T c (V~R)~(X|T)WS V, R, X, U c (V{R)~X|UWS V, R, X, V c V~R{X~VWS V, R, X, X c V~(XR{X)WS V, S, O, R c (V~S{O)~RWS V, S, O, W c V~(S{O{W)WS V, S, P, Q c (V~S)~(P{Q)WS V, S, P, R c V~S~P~RWS V, S, P, S c V~(S|P)~SWS V, S, P, V c (V{S{P)~VWS V, S, P, W c V~(S{P~W)WS V, S, P, X c V~(S|P{X)WS V, S, Q, P c (V~S)~(Q{P)WS V, S, Q, Q c V~(S{Q)~QWS V, S, Q, S c V~(S{Q~S)WS V, S, Q, T c (V~S)~(T|Q)WS V, S, Q, U c V~(S{Q{U)WS V, S, Q, V c (V{Q~V)~SWS V, S, Q, W c V~(Q~W|S)WS V, S, R, O c V~S~R{OWS V, S, R, P c V~S~R~PWS V, S, R, T c V~(S{R{T)WS V, S, R, U c (V{S{R)~UWS V, S, R, W c (V{R)~W{SWS V, S, R, X c V~SR~XWS V, S, S, P c (V~S)~(S|P)WS V, S, S, Q c V~(S{S~Q)WS V, S, S, S c V~(S{S{S)WS V, S, S, V c (V|S)~(S~V)WS V, S, S, W c (V{S)~W|SWS V, S, T, Q c (V~S)~(T|Q)WS V, S, T, R c V~(S{T{R)WS V, S, T, W c V~(S~T|W)WS V, S, T, X c (V{T{X)~SWS V, S, U, Q c V~(S{U{Q)WS V, S, U, R c (V~S)~(U|R)WS V, S, U, U c V~(U|S)~UWS V, S, U, W c VS~U~WWS V, S, U, X c (V~S)~(X|U)WS V, S, V, P c V~(S{V{P)WS V, S, V, Q c (V{V)~(S{Q)WS V, S, V, S c (V|S)~(V~S)WS V, S, V, V c V{(S{V)~VWS V, S, V, W c V~S{V~WWS V, S, V, X c (V|S{X)~VWS V, S, W, O c V~(S{W){OWS V, S, W, P c V~(S{W)~PWS V, S, W, Q c V~(W~Q|S)WS V, S, W, R c V~(W|S)~RWS V, S, W, S c (V{S)~W|SWS V, S, W, T c (V~S)~(W|T)WS V, S, W, U c VS~W~UWS V, S, W, V c V~S{W~VWS V, S, W, W c V~(W|S{W)WS V, S, X, P c V~(S{X|P)WS V, S, X, R c V~S~XRWS V, S, X, T c (V{X{T)~SWS V, S, X, U c (V~S)~(X|U)WS V, S, X, V c (V|S{X)~VWS V, S, X, X c V|S{X~XWS V, T, O, V c (V{T{O)~VWS V, T, P, Q c V~(T{P)~QWS V, T, P, R c V~(T|P)~RWS V, T, P, U c (V{T)~(P{U)WS V, T, P, V c (V{T)~(P~V)WS V, T, P, W c V~(T|P{W)WS V, T, P, X c (V|P)~(T{X)WS V, T, Q, P c V~(T{P)~QWS V, T, Q, Q c V~(T~Q{Q)WS V, T, Q, S c V~(T|Q)~SWS V, T, Q, T c (V{T)~(Q{T)WS V, T, Q, U c (V{T{Q)~UWS V, T, Q, V c (V{T~V)~QWS V, T, Q, X c V~(T|Q{X)WS V, T, R, P c V~(T|P)~RWS V, T, R, R c V~(T~R|R)WS V, T, R, S c (V{T)~(R{S)WS V, T, R, U c V~(T|R)~UWS V, T, R, V c (V~T|V)~RWS V, T, R, X c (V~R)~(X|T)WS V, T, S, Q c V~(T|Q)~SWS V, T, S, R c (V{T)~(S{R)WS V, T, S, W c V~(T~S|W)WS V, T, S, X c (V{T{X)~SWS V, T, T, Q c (V{T)~(T{Q)WS V, T, U, P c (V{T)~(U{P)WS V, T, U, Q c (V{T{Q)~UWS V, T, U, R c V~(T|R)~UWS V, T, U, V c V{(T{U)~VWS V, T, V, O c (V{T)~(V{O)WS V, T, V, P c (V{T)~(V~P)WS V, T, V, Q c (V{T~V)~QWS V, T, V, R c (V~T|V)~RWS V, T, V, U c (V|T)~(V~U)WS V, T, V, V c V~T{V~VWS V, T, V, W c V~(T{W)|VWS V, T, W, P c (V{T)~(W|P)WS V, T, W, S c V~(T~S|W)WS V, T, W, V c V~(T{W)|VWS V, T, W, X c V{T{W~XWS V, T, X, P c (V|P)~(T{X)WS V, T, X, Q c (V{T)~(X|Q)WS V, T, X, R c V~(X|T)~RWS V, T, X, S c (V{T{X)~SWS V, T, X, W c V{T{X~WWS V, U, O, Q c (V~U{O)~QWS V, U, O, U c V~(U{O{U)WS V, U, O, V c (V{O{V)~UWS V, U, P, P c (V~U)~(P{P)WS V, U, P, Q c V~U~P~QWS V, U, P, R c (V~U)~(R|P)WS V, U, P, T c V~(U{P{T)WS V, U, P, U c (V{U{P)~UWS V, U, P, V c (V{U|P)~VWS V, U, P, W c (V|P)~(U{W)WS V, U, Q, O c V~U~Q{OWS V, U, Q, P c V~U~Q~PWS V, U, Q, R c V~(U{Q~R)WS V, U, Q, S c V~(U{Q{S)WS V, U, Q, T c (V{Q{T)~UWS V, U, Q, W c V~(U|Q{W)WS V, U, Q, X c V~(UQ{X)WS V, U, R, P c (V~U)~(R|P)WS V, U, R, Q c V~(U{R~Q)WS V, U, R, R c V~(U{R{R)WS V, U, R, S c V~(U|R)~SWS V, U, R, T c (V~U)~(T|R)WS V, U, R, U c V~(U~R|U)WS V, U, R, V c (V~R|V)~UWS V, U, R, X c V~(U|R{X)WS V, U, S, Q c V~(U{S{Q)WS V, U, S, R c V~(U|R)~SWS V, U, S, U c V~(U|S)~UWS V, U, S, W c V~US~WWS V, U, S, X c (V~S)~(X|U)WS V, U, T, P c V~(U{T{P)WS V, U, T, Q c (V{T{Q)~UWS V, U, T, R c (V~U)~(T|R)WS V, U, T, V c V{(U{T)~VWS V, U, U, O c V~(U{U){OWS V, U, U, P c V~(U{U)~PWS V, U, U, R c V~U~URWS V, U, U, S c (V~U)~(U|S)WS V, U, U, U c (V{U)~U{UWS V, U, U, V c V~U{U~VWS V, U, U, W c (V~U)~(W|U)WS V, U, V, O c (V{V)~(U{O)WS V, U, V, P c V~(U{V|P)WS V, U, V, R c (V~R|V)~UWS V, U, V, T c (V~U)~(V|T)WS V, U, V, U c V~U{V~UWS V, U, V, V c (V{U)~V|VWS V, U, V, X c (V~U)~(X|V)WS V, U, W, P c (V{W|P)~UWS V, U, W, Q c V~(U{W|Q)WS V, U, W, S c (V{U{W)~SWS V, U, W, U c (V~U)~(W|U)WS V, U, W, X c VU~W~XWS V, U, X, Q c V~(UQ{X)WS V, U, X, R c V~(U{X|R)WS V, U, X, S c V~(X|U)~SWS V, U, X, V c (V~U)~(X|V)WS V, U, X, W c VU~X~WWS V, U, X, X c V~(X|U{X)WS V, V, O, T c V~(V{O{T)WS V, V, O, U c (V{V{O)~UWS V, V, P, Q c V~(V|P)~QWS V, V, P, S c V~(V{P{S)WS V, V, P, T c (V{V)~(P{T)WS V, V, P, U c (V{V)~(P~U)WS V, V, P, V c (V{V)~(V|P)WS V, V, Q, P c V~(V|P)~QWS V, V, Q, Q c V~(V~Q|Q)WS V, V, Q, R c (V{V)~(Q~R)WS V, V, Q, S c (V{V)~(Q{S)WS V, V, Q, T c (V{V~T)~QWS V, V, Q, V c (V{V|Q)~VWS V, V, Q, W c (V{VQ)~WWS V, V, Q, X c V{V~(Q{X)WS V, V, R, Q c (V{V)~(R~Q)WS V, V, R, R c (V{V)~(R{R)WS V, V, R, T c (V~T|V)~RWS V, V, R, U c (V~R|V)~UWS V, V, R, W c V{V~(R{W)WS V, V, R, X c (V{VR)~XWS V, V, S, P c V~(V{S{P)WS V, V, S, Q c (V{V)~(S{Q)WS V, V, S, S c V~(V|S)~SWS V, V, S, V c V{(V{S)~VWS V, V, S, W c V~S{V~WWS V, V, S, X c V~(V|S{X)WS V, V, T, O c V~(V{T){OWS V, V, T, P c (V{V)~(T{P)WS V, V, T, Q c (V{V~T)~QWS V, V, T, R c (V~T|V)~RWS V, V, T, U c V{V~(T{U)WS V, V, T, V c V~V{T~VWS V, V, T, W c V~(T{W)|VWS V, V, U, O c (V{V)~(U{O)WS V, V, U, P c (V{V)~(U~P)WS V, V, U, R c (V~R|V)~UWS V, V, U, T c V{V~(U{T)WS V, V, U, U c V~U{V~UWS V, V, U, V c V~(V{U)|VWS V, V, U, X c (V~U)~(X|V)WS V, V, V, P c (V{V)~(V|P)WS V, V, V, Q c V~(V{V|Q)WS V, V, V, S c (V{V{V)~SWS V, V, V, T c V~V{V~TWS V, V, V, U c V~(V{U)|VWS V, V, W, Q c (V{V)~(W|Q)WS V, V, W, R c V{V~(W{R)WS V, V, W, S c V~W{V~SWS V, V, W, T c V~(W{T)|VWS V, V, X, Q c V{V~(X{Q)WS V, V, X, R c (V{V)~(X|R)WS V, V, X, S c V~(V{X|S)WS V, V, X, U c V~(X|V)~UWS V, W, O, S c V~(W{O{S)WS V, W, P, R c V~(W{P{R)WS V, W, P, S c V~(W{P~S)WS V, W, P, T c V~(W|P{T)WS V, W, P, U c (V{W|P)~UWS V, W, Q, Q c V~(W{Q{Q)WS V, W, Q, R c V~WQ~RWS V, W, Q, S c V~(W~Q|S)WS V, W, Q, U c V~(W|Q{U)WS V, W, Q, V c (VQ{V)~WWS V, W, Q, W c V~(WQ{W)WS V, W, R, P c V~(W{R{P)WS V, W, R, Q c V~W~RQWS V, W, R, S c V~(W|S)~RWS V, W, R, V c V{(W{R)~VWS V, W, S, O c V~(W{S){OWS V, W, S, P c V~(W{S)~PWS V, W, S, Q c V~(W~Q|S)WS V, W, S, R c V~(W|S)~RWS V, W, S, S c (V{S)~W|SWS V, W, S, T c V~(W|T)~SWS V, W, S, U c V~WS~UWS V, W, S, V c V~W{S~VWS V, W, S, W c V~(W|S{W)WS V, W, T, P c V~(W{T|P)WS V, W, T, S c V~(W|T)~SWS V, W, T, V c V~(W{T)|VWS V, W, T, X c (V{W)~T{XWS V, W, U, P c (V{W|P)~UWS V, W, U, Q c V~(W{U|Q)WS V, W, U, S c (V{W{U)~SWS V, W, U, U c (V{W)~U|UWS V, W, U, X c V~WU~XWS V, W, V, Q c (V{V)~(W|Q)WS V, W, V, R c V~(W{V|R)WS V, W, V, S c V~W{V~SWS V, W, V, T c V~(W{T)|VWS V, W, W, Q c V~(W{WQ)WS V, W, W, S c V~(W{W|S)WS V, W, X, T c V{W~X{TWS V, W, X, U c V~W~XUWS V, X, O, R c V~(X{O{R)WS V, X, P, Q c V~(X{P{Q)WS V, X, P, R c V~(X{P~R)WS V, X, P, S c V~(X|P{S)WS V, X, P, T c (V|P)~(X{T)WS V, X, Q, P c V~(X{Q{P)WS V, X, Q, R c V~(X|R)~QWS V, X, Q, T c V~(X|Q{T)WS V, X, Q, U c (V{X|Q)~UWS V, X, Q, V c V{(X{Q)~VWS V, X, R, O c V~(X{R){OWS V, X, R, P c V~(X{R)~PWS V, X, R, Q c V~(X|R)~QWS V, X, R, S c V~XR~SWS V, X, R, T c V~(X|T)~RWS V, X, R, U c V~(X|R{U)WS V, X, R, V c V~X{R~VWS V, X, R, X c V~(XR{X)WS V, X, S, P c V~(X{S|P)WS V, X, S, R c V~X~SRWS V, X, S, T c (V{X{T)~SWS V, X, S, U c V~(X|U)~SWS V, X, S, V c (V{X|S)~VWS V, X, S, X c V{X~X|SWS V, X, T, P c (V|P)~(X{T)WS V, X, T, Q c V~(X{T|Q)WS V, X, T, R c V~(X|T)~RWS V, X, T, S c (V{X{T)~SWS V, X, T, W c V~(X|T{W)WS V, X, U, Q c V~(X{UQ)WS V, X, U, R c V~(X{U|R)WS V, X, U, S c V~(X|U)~SWS V, X, U, V c V~(X|V)~UWS V, X, U, W c V~XU~WWS V, X, U, X c V~(X|U{X)WS V, X, V, Q c V{(X{Q)~VWS V, X, V, R c V~X{V~RWS V, X, V, S c V~(X{V|S)WS V, X, V, U c V~(X|V)~UWS V, X, W, T c V{X~W{TWS V, X, W, U c V~X~WUWS V, X, X, R c V~(X{XR)WS V, X, X, S c V{X~X|SWS V, X, X, U c V~(X{X|U)WS W, O, S, V c (W{O{S)~VWS W, O, U, U c (W{O{U)~UWS W, O, V, S c (W{O{S)~VWS W, P, Q, U c (W|P)~(Q~U)WS W, P, R, S c (W|P)~(R~S)WS W, P, R, V c (W{P{R)~VWS W, P, R, X c (W|P)~(R{X)WS W, P, S, R c (W|P)~(S~R)WS W, P, S, U c (W{S)~(P{U)WS W, P, S, V c (W{P~S)~VWS W, P, S, W c (W|P)~(S{W)WS W, P, S, X c W~(P{X){SWS W, P, T, U c (W{P{T)~UWS W, P, T, V c (W|P{T)~VWS W, P, T, X c (W{X)~T|PWS W, P, U, Q c (W|P)~(U~Q)WS W, P, U, S c (W{S)~(P{U)WS W, P, U, T c (W{P{T)~UWS W, P, U, U c (W{P~U)~UWS W, P, U, V c (W|P{V)~UWS W, P, V, R c (W{P{R)~VWS W, P, V, S c (W{P~S)~VWS W, P, V, T c (W|P)~(V{T)WS W, P, V, U c (W|P{V)~UWS W, P, W, S c (W|P)~(W{S)WS W, P, X, R c (W{P)~X{RWS W, P, X, S c W~(P{X){SWS W, P, X, T c (W{X)~T|PWS W, Q, P, U c (W|P)~(Q~U)WS W, Q, Q, T c (W~T{Q)~QWS W, Q, Q, U c (W~Q|Q)~UWS W, Q, Q, V c (W{Q{Q)~VWS W, Q, R, U c (W{Q~R)~UWS W, Q, R, V c WQ~R~VWS W, Q, R, X c W~(RQ{X)WS W, Q, S, T c (W~Q{T)~SWS W, Q, S, U c (W{Q{S)~UWS W, Q, S, V c (W~Q|S)~VWS W, Q, S, W c (W{Q)~W{SWS W, Q, S, X c W~(Q{X)|SWS W, Q, T, Q c (W~T{Q)~QWS W, Q, T, S c (W~Q{T)~SWS W, Q, T, W c (W{TQ)~WWS W, Q, T, X c (W|Q)~(T{X)WS W, Q, U, P c (W|P)~(Q~U)WS W, Q, U, Q c (W~Q|Q)~UWS W, Q, U, R c (W{Q~R)~UWS W, Q, U, S c (W{Q{S)~UWS W, Q, U, U c (W~U|U)~QWS W, Q, U, V c (W|Q{U)~VWS W, Q, U, W c (W|Q)~(U{W)WS W, Q, U, X c (W{Q)~X|UWS W, Q, V, Q c (W|Q)~(V~Q)WS W, Q, V, R c WQ~V~RWS W, Q, V, S c (W~Q|S)~VWS W, Q, V, U c (W|Q{U)~VWS W, Q, V, V c (W|Q)~(V{V)WS W, Q, V, W c (WQ{W)~VWS W, Q, W, S c (W{Q)~W{SWS W, Q, W, T c W~(W{TQ)WS W, Q, W, U c (W|Q{W)~UWS W, Q, W, V c (WQ{W)~VWS W, Q, X, R c W~(X{RQ)WS W, Q, X, S c W~(Q{X)|SWS W, Q, X, T c (W|Q)~(X{T)WS W, Q, X, U c (W{Q)~X|UWS W, R, P, S c (W|P)~(R~S)WS W, R, P, V c (W{R{P)~VWS W, R, P, X c (W|P)~(R{X)WS W, R, Q, U c (W{R~Q)~UWS W, R, Q, V c W~RQ~VWS W, R, Q, X c W~(RQ{X)WS W, R, R, S c (W~R|R)~SWS W, R, R, U c (W{R{R)~UWS W, R, S, P c (W|P)~(R~S)WS W, R, S, R c (W~R{S)~RWS W, R, S, S c (W{S)~(R{S)WS W, R, S, T c (W{S~T)~RWS W, R, S, V c W~(R{V){SWS W, R, S, W c (W{R)~W|SWS W, R, S, X c (W{SR)~XWS W, R, T, S c (W{T~S)~RWS W, R, U, Q c (W{R~Q)~UWS W, R, U, R c (W{R{R)~UWS W, R, U, U c R~(U~U|W)WS W, R, U, X c (W|R{X)~UWS W, R, V, P c (W{R{P)~VWS W, R, V, Q c W~R~VQWS W, R, V, S c W~(R{V){SWS W, R, V, V c (W{R)~V{VWS W, R, W, S c (W{R)~W|SWS W, R, X, P c (W|P)~(R{X)WS W, R, X, Q c W~(RQ{X)WS W, R, X, S c W~X{R~SWS W, R, X, U c (W|R{X)~UWS W, R, X, X c W~X{R{XWS W, S, O, V c (W{S{O)~VWS W, S, P, R c (W|P)~(S~R)WS W, S, P, U c (W{S)~(P{U)WS W, S, P, V c (W{S)~(P~V)WS W, S, P, W c (W{S)~(W|P)WS W, S, P, X c W~(P{X){SWS W, S, Q, T c (W{S)~(Q{T)WS W, S, Q, U c (W{S{Q)~UWS W, S, Q, V c (W~Q|S)~VWS W, S, Q, W c (W{Q)~W{SWS W, S, Q, X c (W{S)~(X|Q)WS W, S, R, P c (W|P)~(S~R)WS W, S, R, R c (W~R{S)~RWS W, S, R, S c (W{S)~(R{S)WS W, S, R, T c (W{S~T)~RWS W, S, R, V c (W|S)~(R~V)WS W, S, R, W c (W{R)~W|SWS W, S, R, X c (W{SR)~XWS W, S, S, R c (W{S)~(S{R)WS W, S, S, U c W~(S{U){SWS W, S, S, V c W~(S{V)|SWS W, S, S, X c (W{S{X)~SWS W, S, T, Q c (W{S)~(T{Q)WS W, S, T, R c (W{S~T)~RWS W, S, T, T c W~(T{T){SWS W, S, T, U c W~(T{U)|SWS W, S, T, V c (W|T)~(S~V)WS W, S, T, W c (W{T{W)~SWS W, S, U, P c (W{S)~(U{P)WS W, S, U, Q c (W{S{Q)~UWS W, S, U, S c W~(S{U){SWS W, S, U, T c W~(U{T)|SWS W, S, U, V c WS~U~VWS W, S, U, X c W~U{S~XWS W, S, V, O c (W{S)~(V{O)WS W, S, V, P c (W{S)~(V~P)WS W, S, V, Q c (W~Q|S)~VWS W, S, V, R c (W|S)~(V~R)WS W, S, V, S c W~(S{V)|SWS W, S, V, T c (W|T)~(S~V)WS W, S, V, U c WS~V~UWS W, S, V, V c W~V{S~VWS W, S, V, W c (W|S{W)~VWS W, S, W, P c (W{S)~(W|P)WS W, S, W, Q c W~(W{Q){SWS W, S, W, R c W~(W{R)|SWS W, S, W, T c W~W{S~TWS W, S, W, V c (W|S{W)~VWS W, S, W, X c W{S{W~XWS W, S, X, P c W~(X{P){SWS W, S, X, Q c (W{S)~(X|Q)WS W, S, X, R c (W{SR)~XWS W, S, X, S c (W{S{X)~SWS W, S, X, U c W~(X{US)WS W, S, X, W c W{S{X~WWS W, T, P, U c (W{T{P)~UWS W, T, P, V c (W{T|P)~VWS W, T, P, X c (W{X)~T|PWS W, T, Q, Q c (W~T{Q)~QWS W, T, Q, S c W~T~Q{SWS W, T, Q, W c (W{TQ)~WWS W, T, Q, X c (W|Q)~(T{X)WS W, T, R, S c (W{T~S)~RWS W, T, S, Q c W~T~Q{SWS W, T, S, R c (W{T~S)~RWS W, T, S, T c W~(T{T){SWS W, T, S, U c W~(T{U)|SWS W, T, S, V c (W|T)~(S~V)WS W, T, S, W c (W{T{W)~SWS W, T, T, S c W~(T{T){SWS W, T, U, P c (W{T{P)~UWS W, T, U, S c W~(T{U)|SWS W, T, U, U c (W{T)~U{UWS W, T, V, P c (W{T|P)~VWS W, T, V, S c (W|T)~(V~S)WS W, T, V, V c (W{T)~V|VWS W, T, V, X c (W|T{X)~VWS W, T, W, Q c (W{TQ)~WWS W, T, W, S c (W{T{W)~SWS W, T, X, P c (W{X)~T|PWS W, T, X, Q c (W|Q)~(T{X)WS W, T, X, V c (W|T{X)~VWS W, T, X, X c W|T{X~XWS W, U, O, U c (W{U{O)~UWS W, U, P, Q c (W|P)~(U~Q)WS W, U, P, S c (W{S)~(U{P)WS W, U, P, T c (W{U)~(P{T)WS W, U, P, U c (W{U)~(P~U)WS W, U, P, V c (W{U)~(V|P)WS W, U, Q, P c (W|P)~(U~Q)WS W, U, Q, Q c (W~Q|Q)~UWS W, U, Q, R c (W{U)~(Q~R)WS W, U, Q, S c (W{U)~(Q{S)WS W, U, Q, U c (W~U|U)~QWS W, U, Q, V c (W{U|Q)~VWS W, U, Q, W c (W{U)~(W|Q)WS W, U, Q, X c W~(U{XQ)WS W, U, R, Q c (W{U)~(R~Q)WS W, U, R, R c (W{U)~(R{R)WS W, U, R, U c (U~U|W)~RWS W, U, R, X c (W{U)~(X|R)WS W, U, S, P c (W{S)~(U{P)WS W, U, S, Q c (W{U)~(S{Q)WS W, U, S, S c W~(U{S){SWS W, U, S, T c W~(U{T)|SWS W, U, S, V c W~US~VWS W, U, S, X c W~U{S~XWS W, U, T, P c (W{U)~(T{P)WS W, U, T, S c W~(U{T)|SWS W, U, T, U c (W{T)~U{UWS W, U, U, O c (W{U)~(U{O)WS W, U, U, P c (W{U)~(U~P)WS W, U, U, Q c (W~U|U)~QWS W, U, U, R c (U~U|W)~RWS W, U, U, T c (W{T)~U{UWS W, U, U, U c W~U{U~UWS W, U, U, V c (W|U)~(U~V)WS W, U, U, X c W~X{U{UWS W, U, V, P c (W{U)~(V|P)WS W, U, V, Q c (W{U|Q)~VWS W, U, V, S c (W{U{V)~SWS W, U, V, U c (W|U)~(V~U)WS W, U, V, X c WU~V~XWS W, U, W, Q c (W{U)~(W|Q)WS W, U, W, X c (WU{W)~XWS W, U, X, Q c W~(U{XQ)WS W, U, X, R c (W{U)~(X|R)WS W, U, X, S c W~U{X~SWS W, U, X, U c W~X{U{UWS W, U, X, V c WU~X~VWS W, U, X, W c (WU{W)~XWS W, U, X, X c W~(XU{X)WS W, V, O, S c (W{O{S)~VWS W, V, P, R c (W{P{R)~VWS W, V, P, S c (W{P~S)~VWS W, V, P, T c (W|P)~(V{T)WS W, V, P, U c (W{V|P)~UWS W, V, Q, Q c (W|Q)~(V~Q)WS W, V, Q, R c W~VQ~RWS W, V, Q, S c (W~Q|S)~VWS W, V, Q, U c (W|Q{U)~VWS W, V, Q, V c W~(VQ{V)WS W, V, Q, W c (WQ{W)~VWS W, V, R, P c (W{R{P)~VWS W, V, R, Q c W~V~RQWS W, V, R, S c W~(V{R){SWS W, V, R, V c (W{V|R)~VWS W, V, S, O c (W{S)~(V{O)WS W, V, S, P c (W{S)~(V~P)WS W, V, S, Q c (W~Q|S)~VWS W, V, S, R c W~(V{R){SWS W, V, S, S c W~(V{S)|SWS W, V, S, T c (W|T)~(V~S)WS W, V, S, U c W~VS~UWS W, V, S, V c W~V{S~VWS W, V, S, W c (W|S{W)~VWS W, V, T, P c (W{T|P)~VWS W, V, T, S c (W|T)~(V~S)WS W, V, T, V c (W{T)~V|VWS W, V, T, X c (W{V)~T{XWS W, V, U, P c (W{V|P)~UWS W, V, U, Q c (W{U|Q)~VWS W, V, U, S c (W{V{U)~SWS W, V, U, U c (W{V)~U|UWS W, V, U, X c W~VU~XWS W, V, V, Q c W~(V{VQ)WS W, V, V, R c (W{V|R)~VWS W, V, V, S c W~V{V~SWS W, V, V, T c (W{T)~V|VWS W, V, W, Q c (W{WQ)~VWS W, V, W, S c (W{W|S)~VWS W, V, X, T c (W{V)~T{XWS W, V, X, U c W~V~XUWS W, W, P, S c (W|P)~(W{S)WS W, W, Q, S c W~(W{Q){SWS W, W, Q, T c W~(W{TQ)WS W, W, Q, U c (W{W|Q)~UWS W, W, Q, V c (W{WQ)~VWS W, W, R, S c W~(W{R)|SWS W, W, S, P c (W{S)~(W|P)WS W, W, S, Q c W~(W{Q){SWS W, W, S, R c W~(W{R)|SWS W, W, S, T c W~W{S~TWS W, W, S, V c (W{W|S)~VWS W, W, S, X c W{W~X{SWS W, W, T, Q c W~(W{TQ)WS W, W, T, S c (W{W{T)~SWS W, W, U, Q c (W{W|Q)~UWS W, W, U, X c (W{WU)~XWS W, W, V, Q c (W{WQ)~VWS W, W, V, S c (W{W|S)~VWS W, W, X, S c W{W~X{SWS W, W, X, U c (W{WU)~XWS W, X, P, R c (W{P)~X{RWS W, X, P, S c W~(X{P){SWS W, X, P, T c (W{X)~T|PWS W, X, Q, R c W~(X{RQ)WS W, X, Q, S c W~(X{Q)|SWS W, X, Q, T c (W|Q)~(X{T)WS W, X, Q, U c W~X{Q~UWS W, X, R, P c (W{P)~X{RWS W, X, R, Q c W~(X{RQ)WS W, X, R, S c W~X{R~SWS W, X, R, U c (W{X|R)~UWS W, X, R, X c W~X{R{XWS W, X, S, P c W~(X{P){SWS W, X, S, Q c W~(X{Q)|SWS W, X, S, R c W~X{S~RWS W, X, S, S c (W{X{S)~SWS W, X, S, U c W~(X{US)WS W, X, S, W c W~X{S{WWS W, X, T, P c (W{X)~T|PWS W, X, T, Q c (W|Q)~(X{T)WS W, X, T, V c (W{X|T)~VWS W, X, T, X c W{X~X|TWS W, X, U, Q c W~X{U~QWS W, X, U, R c (W{X|R)~UWS W, X, U, S c W~(X{US)WS W, X, U, U c W~X{U{UWS W, X, U, V c W~XU~VWS W, X, U, W c (WU{W)~XWS W, X, U, X c W~(XU{X)WS W, X, V, T c W~X{V{TWS W, X, V, U c W~X~VUWS W, X, W, S c W{X~W{SWS W, X, W, U c (W{WU)~XWS W, X, X, R c W~X{X{RWS W, X, X, T c W{X~X|TWS W, X, X, U c W~(X{XU)WS X, O, R, V c (X{O{R)~VWS X, O, R, X c (X{O)~X{RWS X, O, T, U c (X{O{T)~UWS X, O, U, T c (X{O{T)~UWS X, O, V, R c (X{O{R)~VWS X, O, X, R c (X{O)~X{RWS X, P, Q, V c (X{P{Q)~VWS X, P, Q, X c X~X{P{QWS X, P, R, R c (X~R{P)~RWS X, P, R, U c (X{R)~(P{U)WS X, P, R, V c (X{P~R)~VWS X, P, R, W c X~(P{W){RWS X, P, R, X c (X{PR)~XWS X, P, S, U c (X{P{S)~UWS X, P, S, V c (X|P{S)~VWS X, P, S, W c (X{P)~W{SWS X, P, S, X c X~X|P{SWS X, P, T, T c (X{T)~(P{T)WS X, P, T, U c (X{P~T)~UWS X, P, T, V c (X{T)~(V|P)WS X, P, T, W c (X{W)~T|PWS X, P, U, R c (X{R)~(P{U)WS X, P, U, S c (X{P{S)~UWS X, P, U, T c (X{P~T)~UWS X, P, U, U c (X|P{U)~UWS X, P, U, X c (X{P)~X|UWS X, P, V, Q c (X{P{Q)~VWS X, P, V, R c (X{P~R)~VWS X, P, V, S c (X|P{S)~VWS X, P, V, T c (X{T)~(V|P)WS X, P, W, R c X~(P{W){RWS X, P, W, S c (X{P)~W{SWS X, P, W, T c (X{W)~T|PWS X, P, X, Q c X~X{P{QWS X, P, X, R c X~P~X{RWS X, P, X, S c X~X|P{SWS X, P, X, U c (X{P)~X|UWS X, Q, P, V c (X{Q{P)~VWS X, Q, P, X c X~X{Q{PWS X, Q, Q, U c (X|Q)~(Q~U)WS X, Q, R, S c (X|Q)~(R~S)WS X, Q, R, T c (X{R)~(Q{T)WS X, Q, R, U c (X{Q{R)~UWS X, Q, R, V c X~(Q{V){RWS X, Q, R, W c (X{RQ)~WWS X, Q, R, X c (X|Q)~(R{X)WS X, Q, S, R c (X|Q)~(S~R)WS X, Q, S, T c (X{T)~(Q{S)WS X, Q, S, U c (X~Q|S)~UWS X, Q, S, W c (X|Q)~(S{W)WS X, Q, T, R c (X{T)~(Q~R)WS X, Q, T, S c (X{T)~(Q{S)WS X, Q, T, U c X~Q~T|UWS X, Q, T, V c (X|Q{T)~VWS X, Q, T, W c (X{T)~(W|Q)WS X, Q, T, X c X~X|Q{TWS X, Q, U, Q c (X|Q)~(U~Q)WS X, Q, U, R c (X{Q{R)~UWS X, Q, U, S c (X{Q~U)~SWS X, Q, U, T c X~Q~T|UWS X, Q, U, U c (X|Q)~(U{U)WS X, Q, U, V c (X~Q|U)~VWS X, Q, U, W c (XQ{U)~WWS X, Q, U, X c (X{QU)~XWS X, Q, V, P c (X{Q{P)~VWS X, Q, V, R c X~(Q{V){RWS X, Q, V, T c (X|Q)~(V{T)WS X, Q, V, U c (X|Q{V)~UWS X, Q, V, V c (X{Q)~V{VWS X, Q, W, R c (X{RQ)~WWS X, Q, W, S c (X{Q)~W|SWS X, Q, W, T c (X{T)~(W|Q)WS X, Q, W, U c X~(Q{W)|UWS X, Q, X, P c X~X{Q{PWS X, Q, X, R c (X|Q)~(X{R)WS X, Q, X, T c X~X|Q{TWS X, Q, X, U c (X{QU)~XWS X, R, O, V c (X{R{O)~VWS X, R, O, X c (X{O)~X{RWS X, R, P, R c (X~R{P)~RWS X, R, P, U c (X{R)~(P{U)WS X, R, P, V c (X{R)~(P~V)WS X, R, P, W c (X{R)~(W|P)WS X, R, P, X c (X{PR)~XWS X, R, Q, S c (X|Q)~(R~S)WS X, R, Q, T c (X{R)~(Q{T)WS X, R, Q, U c (X{R{Q)~UWS X, R, Q, V c (X|R)~(Q~V)WS X, R, Q, W c (X{RQ)~WWS X, R, Q, X c (X{R)~(X|Q)WS X, R, R, P c (X~R{P)~RWS X, R, R, R c X~R~R{RWS X, R, R, S c (X{R)~(R{S)WS X, R, R, T c (X{T)~(R{R)WS X, R, R, U c X~(R{U){RWS X, R, S, Q c (X|Q)~(R~S)WS X, R, S, R c (X{R)~(S{R)WS X, R, S, S c (X{R~S)~SWS X, R, S, T c X~(S{T){RWS X, R, S, U c (X~R|U)~SWS X, R, S, V c XR~S~VWS X, R, S, W c X~(SR{W)WS X, R, S, X c (X{R{X)~SWS X, R, T, Q c (X{R)~(T{Q)WS X, R, T, R c (X{T)~(R{R)WS X, R, T, S c X~(T{S){RWS X, R, T, T c X{R~T~TWS X, R, T, V c (X|T)~(R~V)WS X, R, T, X c (X|R)~(T{X)WS X, R, U, P c (X{R)~(U{P)WS X, R, U, Q c (X{R{Q)~UWS X, R, U, R c X~(R{U){RWS X, R, U, S c (X~R|U)~SWS X, R, U, V c (X|R{U)~VWS X, R, U, W c (X|R)~(U{W)WS X, R, U, X c X~X|R{UWS X, R, V, O c (X{R)~(V{O)WS X, R, V, P c (X{R)~(V~P)WS X, R, V, Q c (X|R)~(V~Q)WS X, R, V, S c XR~V~SWS X, R, V, T c (X|T)~(R~V)WS X, R, V, U c X~(R{V)|UWS X, R, V, V c (X|R)~(V{V)WS X, R, V, X c (XR{X)~VWS X, R, W, P c (X{R)~(W|P)WS X, R, W, Q c (X{RQ)~WWS X, R, W, S c X~W{R~SWS X, R, W, U c (X|R{W)~UWS X, R, W, X c X{R{W~XWS X, R, X, O c X~X{R{OWS X, R, X, P c X~X{R~PWS X, R, X, Q c (X{R)~(X|Q)WS X, R, X, S c (X{R{X)~SWS X, R, X, T c (X|R)~(X{T)WS X, R, X, U c X~X|R{UWS X, R, X, V c (XR{X)~VWS X, R, X, W c X{R{X~WWS X, R, X, X c (X{RX)~XWS X, S, P, U c (X{S{P)~UWS X, S, P, V c (X{S|P)~VWS X, S, P, W c (X{P)~W{SWS X, S, P, X c X~X{S|PWS X, S, Q, R c (X|Q)~(S~R)WS X, S, Q, T c (X{T)~(S{Q)WS X, S, Q, U c (X~S{U)~QWS X, S, Q, W c (X|Q)~(S{W)WS X, S, R, Q c (X|Q)~(S~R)WS X, S, R, R c (X{R)~(S{R)WS X, S, R, S c (X{S~R)~SWS X, S, R, T c X~(S{T){RWS X, S, R, U c (X~R|U)~SWS X, S, R, V c X~SR~VWS X, S, R, W c X~(SR{W)WS X, S, R, X c (X{R{X)~SWS X, S, S, R c (X{S~R)~SWS X, S, S, W c (X{S{W)~SWS X, S, T, Q c (X{T)~(S{Q)WS X, S, T, R c X~(S{T){RWS X, S, T, U c S~(T~U|X)WS X, S, T, V c (X{T{V)~SWS X, S, U, P c (X{S{P)~UWS X, S, U, Q c (X~S{U)~QWS X, S, U, R c (X~R|U)~SWS X, S, U, T c S~(U~T|X)WS X, S, U, U c (X{S)~U{UWS X, S, U, V c (X|U)~(S~V)WS X, S, U, W c X~S{U~WWS X, S, U, X c (X|S{X)~UWS X, S, V, P c (X{S|P)~VWS X, S, V, R c X~S~VRWS X, S, V, T c (X{V{T)~SWS X, S, V, U c (X|U)~(S~V)WS X, S, V, V c (X{S)~V|VWS X, S, V, X c X~X|S{VWS X, S, W, P c (X{P)~W{SWS X, S, W, Q c (X|Q)~(S{W)WS X, S, W, R c (X~S|W)~RWS X, S, W, S c (X{S{W)~SWS X, S, W, U c X~S{W~UWS X, S, W, W c X~W{S{WWS X, S, X, P c X~X{S|PWS X, S, X, R c (X{X{R)~SWS X, S, X, U c (X|S{X)~UWS X, S, X, V c X~X|S{VWS X, T, O, U c (X{T{O)~UWS X, T, P, T c (X{T)~(P{T)WS X, T, P, U c (X{T)~(P~U)WS X, T, P, V c (X{T)~(V|P)WS X, T, P, W c (X{W)~T|PWS X, T, Q, R c (X{T)~(Q~R)WS X, T, Q, S c (X{T)~(Q{S)WS X, T, Q, U c X~T~Q|UWS X, T, Q, V c (X{T|Q)~VWS X, T, Q, W c (X{T)~(W|Q)WS X, T, Q, X c X~X{T|QWS X, T, R, Q c (X{T)~(R~Q)WS X, T, R, R c (X{T)~(R{R)WS X, T, R, S c X~(T{S){RWS X, T, R, T c X{T~R~TWS X, T, R, V c (X|T)~(R~V)WS X, T, R, X c (X{T)~(X|R)WS X, T, S, Q c (X{T)~(S{Q)WS X, T, S, R c X~(T{S){RWS X, T, S, U c (T~U|X)~SWS X, T, S, V c (X{T{V)~SWS X, T, T, P c (X{T)~(T{P)WS X, T, T, R c X{T~T~RWS X, T, T, U c X~(T{T)|UWS X, T, U, O c (X{T)~(U{O)WS X, T, U, P c (X{T)~(U~P)WS X, T, U, Q c X~T~Q|UWS X, T, U, S c (T~U|X)~SWS X, T, U, T c X~(T{T)|UWS X, T, U, U c X~U{T~UWS X, T, U, X c X{T~(U{X)WS X, T, V, P c (X{T)~(V|P)WS X, T, V, Q c (X{T|Q)~VWS X, T, V, R c (X|T)~(V~R)WS X, T, V, S c (X{T{V)~SWS X, T, V, W c X{T~(V{W)WS X, T, W, P c (X{W)~T|PWS X, T, W, Q c (X{T)~(W|Q)WS X, T, W, V c X{T~(W{V)WS X, T, W, X c X~X|T{WWS X, T, X, Q c X~X{T|QWS X, T, X, R c (X{T)~(X|R)WS X, T, X, U c X{T~(X{U)WS X, T, X, W c X~X|T{WWS X, U, O, T c (X{O{T)~UWS X, U, P, R c (X{R)~(U{P)WS X, U, P, S c (X{P{S)~UWS X, U, P, T c (X{P~T)~UWS X, U, P, U c (X{U|P)~UWS X, U, P, X c (X{P)~X|UWS X, U, Q, Q c (X|Q)~(U~Q)WS X, U, Q, R c (X{Q{R)~UWS X, U, Q, S c (X{U~Q)~SWS X, U, Q, T c X~Q~T|UWS X, U, Q, U c (X|Q)~(U{U)WS X, U, Q, V c (X{UQ)~VWS X, U, Q, W c (XQ{U)~WWS X, U, Q, X c (X{QU)~XWS X, U, R, P c (X{R)~(U{P)WS X, U, R, Q c (X{R{Q)~UWS X, U, R, R c X~(U{R){RWS X, U, R, S c (X~R|U)~SWS X, U, R, V c (X{U|R)~VWS X, U, R, W c (X|R)~(U{W)WS X, U, R, X c X~X{U|RWS X, U, S, P c (X{S{P)~UWS X, U, S, Q c (X{U~Q)~SWS X, U, S, R c (X~R|U)~SWS X, U, S, T c (U~T|X)~SWS X, U, S, U c X~(U{S)|UWS X, U, S, V c (X|U)~(S~V)WS X, U, S, W c (X{US)~WWS X, U, S, X c (X|S{X)~UWS X, U, T, O c (X{T)~(U{O)WS X, U, T, P c (X{T)~(U~P)WS X, U, T, Q c X~T~Q|UWS X, U, T, S c (U~T|X)~SWS X, U, T, T c X~(T{T)|UWS X, U, T, U c X~U{T~UWS X, U, T, X c (X{U)~T{XWS X, U, U, P c (X{U|P)~UWS X, U, U, Q c (X|Q)~(U{U)WS X, U, U, S c (X{U{U)~SWS X, U, U, T c X~U{U~TWS X, U, U, U c (X{U)~U|UWS X, U, U, W c X~W{U{UWS X, U, V, Q c (X{UQ)~VWS X, U, V, R c (X{U|R)~VWS X, U, V, S c (X|U)~(V~S)WS X, U, V, V c (X|V)~(U~V)WS X, U, V, W c XU~V~WWS X, U, V, X c (X|U{X)~VWS X, U, W, Q c X~W{U~QWS X, U, W, R c (X{W|R)~UWS X, U, W, S c (X{US)~WWS X, U, W, U c X~W{U{UWS X, U, W, V c XU~W~VWS X, U, W, W c X~(WU{W)WS X, U, W, X c (XU{X)~WWS X, U, X, P c X~(X{P)|UWS X, U, X, Q c X~X{UQWS X, U, X, R c X~X{U|RWS X, U, X, S c (X{X|S)~UWS X, U, X, T c X{(U{X)~TWS X, U, X, V c (X|U{X)~VWS X, U, X, W c (XU{X)~WWS X, U, X, X c X|U{X~XWS X, V, O, R c (X{O{R)~VWS X, V, P, Q c (X{P{Q)~VWS X, V, P, R c (X{P~R)~VWS X, V, P, S c (X|P{S)~VWS X, V, P, T c (X{T)~(V|P)WS X, V, Q, P c (X{Q{P)~VWS X, V, Q, R c X~(V{Q){RWS X, V, Q, T c (X|Q)~(V{T)WS X, V, Q, U c (X{V|Q)~UWS X, V, Q, V c (X{Q)~V{VWS X, V, R, O c (X{R)~(V{O)WS X, V, R, P c (X{R)~(V~P)WS X, V, R, Q c X~(V{Q){RWS X, V, R, S c X~VR~SWS X, V, R, T c (X|T)~(V~R)WS X, V, R, U c X~(V{R)|UWS X, V, R, V c X~V{R~VWS X, V, R, X c (XR{X)~VWS X, V, S, P c (X{S|P)~VWS X, V, S, R c X~V~SRWS X, V, S, T c (X{V{T)~SWS X, V, S, U c (X|U)~(V~S)WS X, V, S, V c (X{V|S)~VWS X, V, S, X c X~X{V|SWS X, V, T, P c (X{T)~(V|P)WS X, V, T, Q c (X{T|Q)~VWS X, V, T, R c (X|T)~(V~R)WS X, V, T, S c (X{V{T)~SWS X, V, T, W c X{(V{W)~TWS X, V, U, Q c (X{V|Q)~UWS X, V, U, R c X~(V{R)|UWS X, V, U, S c (X|U)~(V~S)WS X, V, U, V c (X|V)~(U~V)WS X, V, U, W c X~VU~WWS X, V, U, X c (X|U{X)~VWS X, V, V, Q c (X{Q)~V{VWS X, V, V, R c X~V{V~RWS X, V, V, S c (X{V|S)~VWS X, V, V, U c (X|V)~(V~U)WS X, V, W, T c X{(V{W)~TWS X, V, W, U c X~V~WUWS X, V, X, R c (X{XR)~VWS X, V, X, S c X~X{V|SWS X, V, X, U c (X{X|U)~VWS X, W, P, R c X~(W{P){RWS X, W, P, S c (X{P)~W{SWS X, W, P, T c (X{W)~T|PWS X, W, Q, R c (X{RQ)~WWS X, W, Q, S c (X{Q)~W|SWS X, W, Q, T c (X{T)~(W|Q)WS X, W, Q, U c X~(W{Q)|UWS X, W, R, P c X~(W{P){RWS X, W, R, Q c (X{RQ)~WWS X, W, R, S c X~W{R~SWS X, W, R, U c (X{W|R)~UWS X, W, R, X c X~W{R{XWS X, W, S, P c (X{P)~W{SWS X, W, S, Q c (X{Q)~W|SWS X, W, S, R c X~W{S~RWS X, W, S, S c (X{W{S)~SWS X, W, S, U c X~S{W~UWS X, W, S, W c X~W{S{WWS X, W, T, P c (X{W)~T|PWS X, W, T, Q c (X{T)~(W|Q)WS X, W, T, V c (X{W|T)~VWS X, W, T, X c X~X{W|TWS X, W, U, Q c X~W{U~QWS X, W, U, R c (X{W|R)~UWS X, W, U, S c (X{US)~WWS X, W, U, U c X~W{U{UWS X, W, U, V c X~WU~VWS X, W, U, W c X~(WU{W)WS X, W, U, X c (XU{X)~WWS X, W, V, T c X{(W{V)~TWS X, W, V, U c X~W~VUWS X, W, W, S c X~W{W{SWS X, W, W, U c X~(W{WU)WS X, W, X, R c X{W~X{RWS X, W, X, T c X~X{W|TWS X, W, X, U c (X{XU)~WWS X, X, O, R c X~X{O{RWS X, X, P, Q c X~X{P{QWS X, X, P, R c X~X{P~RWS X, X, P, S c X~X|P{SWS X, X, P, U c X~(X{P)|UWS X, X, Q, P c X~X{Q{PWS X, X, Q, R c (X|Q)~(X{R)WS X, X, Q, T c X~X|Q{TWS X, X, Q, U c X~(X{QU)WS X, X, R, O c X~X{R{OWS X, X, R, P c X~X{R~PWS X, X, R, Q c (X{R)~(X|Q)WS X, X, R, S c (X{X{R)~SWS X, X, R, T c (X|R)~(X{T)WS X, X, R, U c X~X|R{UWS X, X, R, V c (X{XR)~VWS X, X, R, W c X{X~W{RWS X, X, R, X c X~(X{RX)WS X, X, S, P c X~X{S|PWS X, X, S, R c (X{X{R)~SWS X, X, S, U c (X{X|S)~UWS X, X, S, V c X~X|S{VWS X, X, T, Q c X~X{T|QWS X, X, T, R c (X{T)~(X|R)WS X, X, T, U c (X{X)~T|UWS X, X, T, W c X~X|T{WWS X, X, U, P c X~(X{P)|UWS X, X, U, Q c X~X{UQWS X, X, U, R c X~X{U|RWS X, X, U, S c (X{X|S)~UWS X, X, U, T c X{(X{U)~TWS X, X, U, V c (X{X|U)~VWS X, X, U, W c (X{XU)~WWS X, X, U, X c X~X|U{XWS X, X, V, R c (X{XR)~VWS X, X, V, S c X~X{V|SWS X, X, V, U c (X{X|U)~VWS X, X, W, R c X{X~W{RWS X, X, W, T c X~X{W|TWS X, X, W, U c (X{XU)~WWS X, X, X, R c X~X{XRWS X, X, X, U c X{X~X|UWS