O, Q, V, V c O{Q~V~VXW O, T, V, X c (O{T{X)~VXW O, T, X, V c (O{T{X)~VXW O, U, V, W c (O{U{W)~VXW O, U, W, V c (O{U{W)~VXW O, V, Q, V c O{V~Q~VXW O, V, T, X c (O{V)~(T{X)XW O, V, U, W c (O{V)~(U{W)XW O, V, V, Q c O{V~V~QXW O, V, V, V c (O{V{V)~VXW O, V, W, U c (O{V)~(W{U)XW O, V, X, T c (O{V)~(X{T)XW O, W, U, V c (O{W{U)~VXW O, W, V, U c (O{W{U)~VXW O, X, T, V c (O{X{T)~VXW O, X, V, T c (O{X{T)~VXW P, P, V, V c (P{P)~(V~V)XW P, Q, U, V c (P{U)~(Q~V)XW P, Q, U, W c (P{U~W)~QXW P, Q, V, U c (P{U)~(Q~V)XW P, Q, V, V c P~Q~V~VXW P, Q, V, W c (Q~V)~(W|P)XW P, Q, W, U c (P{W~U)~QXW P, Q, W, V c Q~(W|P)~VXW P, Q, X, X c (Q{X)~X|PXW P, R, T, V c (R~T|P)~VXW P, R, V, T c (R~T|P)~VXW P, R, V, V c (R|P)~(V~V)XW P, R, W, X c (R{W)~X|PXW P, R, X, W c (R{W)~X|PXW P, S, V, X c (P{S{X)~VXW P, S, X, V c (P{S{X)~VXW P, T, R, V c (T~R|P)~VXW P, T, U, X c (P{U)~(T{X)XW P, T, V, R c (T~R|P)~VXW P, T, V, W c (P{T{W)~VXW P, T, V, X c (P~T{X)~VXW P, T, W, V c (P{T{W)~VXW P, T, W, X c (T{X)~(W|P)XW P, T, X, U c (P{U)~(T{X)XW P, T, X, V c (P~T{X)~VXW P, T, X, W c (T{X)~(W|P)XW P, U, Q, V c (P{U)~(Q~V)XW P, U, Q, W c (P{U~W)~QXW P, U, T, X c (P{U)~(T{X)XW P, U, U, W c (P{U)~(U{W)XW P, U, V, Q c (P{U)~(V~Q)XW P, U, V, V c (P{U{V)~VXW P, U, V, W c (P~U{W)~VXW P, U, V, X c (U|P{X)~VXW P, U, W, Q c (P{U~W)~QXW P, U, W, U c (P{U)~(W{U)XW P, U, W, V c (P~U{W)~VXW P, U, W, W c (U{W)~(W|P)XW P, U, X, T c (P{U)~(X{T)XW P, U, X, V c (U|P{X)~VXW P, V, P, V c (P{P)~(V~V)XW P, V, Q, U c (P{U)~(V~Q)XW P, V, Q, V c P~V~Q~VXW P, V, Q, W c (V~Q)~(W|P)XW P, V, R, T c V~(R~T|P)XW P, V, R, V c V~(R|P)~VXW P, V, S, X c (P{S{X)~VXW P, V, T, R c V~(T~R|P)XW P, V, T, W c (P{T{W)~VXW P, V, T, X c (P~V)~(T{X)XW P, V, U, Q c (P{U)~(V~Q)XW P, V, U, V c (P{V{U)~VXW P, V, U, W c (P~V)~(U{W)XW P, V, U, X c V~(U|P{X)XW P, V, V, P c (P{P)~(V~V)XW P, V, V, Q c P~V~V~QXW P, V, V, R c (V~V)~(R|P)XW P, V, V, U c (P{V{U)~VXW P, V, V, V c (P~V{V)~VXW P, V, V, W c (V|P{W)~VXW P, V, W, Q c V~(W|P)~QXW P, V, W, T c (P{W{T)~VXW P, V, W, U c (P~V)~(W{U)XW P, V, W, V c (V|P{W)~VXW P, V, X, S c (P{X{S)~VXW P, V, X, T c (P~V)~(X{T)XW P, V, X, U c V~(X|P{U)XW P, W, Q, U c (P{W~U)~QXW P, W, Q, V c (W|P)~(Q~V)XW P, W, R, X c (W{R)~X|PXW P, W, T, V c (P{W{T)~VXW P, W, T, X c (W|P)~(T{X)XW P, W, U, Q c (P{W~U)~QXW P, W, U, U c (P{U)~(W{U)XW P, W, U, V c (P~W{U)~VXW P, W, U, W c (W|P)~(U{W)XW P, W, V, Q c (W|P)~(V~Q)XW P, W, V, T c (P{W{T)~VXW P, W, V, U c (P~W{U)~VXW P, W, V, V c (W|P{V)~VXW P, W, W, U c (W|P)~(W{U)XW P, W, X, R c (W{R)~X|PXW P, W, X, T c (W|P)~(X{T)XW P, W, X, X c (P{X)~X{WXW P, X, Q, X c (X{Q)~X|PXW P, X, R, W c X~(R{W)|PXW P, X, S, V c (P{X{S)~VXW P, X, T, U c (P{U)~(X{T)XW P, X, T, V c (P~X{T)~VXW P, X, T, W c (X{T)~(W|P)XW P, X, U, T c (P{U)~(X{T)XW P, X, U, V c (X|P{U)~VXW P, X, V, S c (P{X{S)~VXW P, X, V, T c (P~X{T)~VXW P, X, V, U c (X|P{U)~VXW P, X, W, R c X~(W{R)|PXW P, X, W, T c (X{T)~(W|P)XW P, X, W, X c (P{X)~X{WXW P, X, X, Q c X~(X{Q)|PXW P, X, X, W c (P{X)~X{WXW Q, O, V, V c (Q{O)~(V~V)XW Q, P, U, V c Q~(P{U)~VXW Q, P, U, W c Q~(P{U~W)XW Q, P, V, U c Q~(P{U)~VXW Q, P, V, V c Q~P~V~VXW Q, P, V, W c (Q~V)~(W|P)XW Q, P, W, U c Q~(P{W~U)XW Q, P, W, V c Q~(W|P)~VXW Q, P, X, X c (Q{X)~X|PXW Q, Q, T, V c Q~(Q{T)~VXW Q, Q, U, V c (Q{Q~U)~VXW Q, Q, U, W c Q{Q~U~WXW Q, Q, V, T c Q~(Q{T)~VXW Q, Q, V, U c (Q{Q~U)~VXW Q, Q, V, W c (Q~W|Q)~VXW Q, Q, V, X c (Q~V)~(X|Q)XW Q, Q, W, U c Q{Q~W~UXW Q, Q, W, V c (Q~W|Q)~VXW Q, Q, X, V c Q~(X|Q)~VXW Q, R, S, V c (Q{R~S)~VXW Q, R, S, W c Q{R~S~WXW Q, R, V, S c (Q{R~S)~VXW Q, R, V, W c (Q~R{W)~VXW Q, R, V, X c (Q{R{X)~VXW Q, R, W, S c Q{R~W~SXW Q, R, W, V c (Q~R{W)~VXW Q, R, W, X c Q{(R{X)~WXW Q, R, X, V c (Q{R{X)~VXW Q, R, X, W c Q{(R{X)~WXW Q, S, R, V c (Q{S~R)~VXW Q, S, R, W c Q{S~R~WXW Q, S, S, U c Q{S~S~UXW Q, S, S, V c (S~S|Q)~VXW Q, S, T, T c S~T~T|QXW Q, S, T, V c (Q~T{S)~VXW Q, S, T, X c Q~(S{T~X)XW Q, S, U, S c Q{S~U~SXW Q, S, U, V c (Q~S{U)~VXW Q, S, V, R c (Q{S~R)~VXW Q, S, V, S c (S~S|Q)~VXW Q, S, V, T c (Q~T{S)~VXW Q, S, V, U c (Q~S{U)~VXW Q, S, V, V c (S|Q)~(V~V)XW Q, S, V, W c (Q{S{W)~VXW Q, S, V, X c (Q~X|S)~VXW Q, S, W, R c Q{S~W~RXW Q, S, W, V c (Q{S{W)~VXW Q, S, W, W c Q{(S{W)~WXW Q, S, X, T c Q~(S{X~T)XW Q, S, X, V c (Q~X|S)~VXW Q, T, Q, V c (Q{T)~(Q~V)XW Q, T, S, T c T~S~T|QXW Q, T, S, V c (Q~T{S)~VXW Q, T, S, X c Q~(T~X{S)XW Q, T, T, S c T~T~S|QXW Q, T, T, X c (Q{T)~(T{X)XW Q, T, U, W c (Q{T)~(U{W)XW Q, T, U, X c Q~(U~X|T)XW Q, T, V, Q c (Q{T)~(V~Q)XW Q, T, V, S c (Q~T{S)~VXW Q, T, V, V c (Q{T{V)~VXW Q, T, V, W c Q{(T{V)~WXW Q, T, W, U c (Q{T)~(W{U)XW Q, T, W, V c Q{(T{V)~WXW Q, T, W, X c Q~(T~W{X)XW Q, T, X, S c Q~(T~X{S)XW Q, T, X, T c (Q{T)~(X{T)XW Q, T, X, U c Q~(X~U|T)XW Q, T, X, W c Q~T~X{WXW Q, T, X, X c (T{X)~(X|Q)XW Q, U, P, V c Q~(U{P)~VXW Q, U, P, W c Q~(U~W{P)XW Q, U, Q, V c (Q{U~Q)~VXW Q, U, Q, W c Q{U~Q~WXW Q, U, S, S c Q{U~S~SXW Q, U, S, V c (Q~S{U)~VXW Q, U, T, W c (Q{T)~(U{W)XW Q, U, T, X c Q~(U~X|T)XW Q, U, U, V c (Q{U{U)~VXW Q, U, U, W c Q{(U{U)~WXW Q, U, V, P c Q~(U{P)~VXW Q, U, V, Q c (Q{U~Q)~VXW Q, U, V, S c (Q~S{U)~VXW Q, U, V, U c (Q{U{U)~VXW Q, U, V, V c Q~(U~V{V)XW Q, U, V, X c Q{U~(V{X)XW Q, U, W, P c Q~(U~W{P)XW Q, U, W, Q c Q{U~W~QXW Q, U, W, T c (Q{T)~(U{W)XW Q, U, W, U c Q{(U{U)~WXW Q, U, W, W c Q{U~(W{W)XW Q, U, W, X c (U{W)~(X|Q)XW Q, U, X, T c Q~(U~X|T)XW Q, U, X, V c Q{U~(X{V)XW Q, U, X, W c (U{W)~(X|Q)XW Q, V, O, V c (Q~V{O)~VXW Q, V, P, U c (Q~V)~(P{U)XW Q, V, P, V c Q~V~P~VXW Q, V, P, W c (Q~V)~(W|P)XW Q, V, Q, T c (Q~V)~(Q{T)XW Q, V, Q, U c (Q{Q~U)~VXW Q, V, Q, W c (Q~W|Q)~VXW Q, V, Q, X c (Q~V)~(X|Q)XW Q, V, R, S c (Q~V)~(R{S)XW Q, V, R, W c (Q~R{W)~VXW Q, V, R, X c (Q{R{X)~VXW Q, V, S, R c (Q~V)~(S{R)XW Q, V, S, S c V~(S~S|Q)XW Q, V, S, T c (Q~T{S)~VXW Q, V, S, U c (Q~S{U)~VXW Q, V, S, V c VQ~S~VXW Q, V, S, W c (Q{S{W)~VXW Q, V, S, X c (Q~X|S)~VXW Q, V, T, Q c (Q~V)~(T{Q)XW Q, V, T, S c (Q~T{S)~VXW Q, V, T, V c (Q{V{T)~VXW Q, V, T, W c Q{(V{T)~WXW Q, V, U, P c (Q~V)~(U{P)XW Q, V, U, Q c (Q{U~Q)~VXW Q, V, U, S c (Q~S{U)~VXW Q, V, U, U c (Q{U{U)~VXW Q, V, U, V c Q~(V{U~V)XW Q, V, U, X c Q{(V{X)~UXW Q, V, V, O c Q~V~V{OXW Q, V, V, P c Q~V~V~PXW Q, V, V, S c VQ~V~SXW Q, V, V, T c (Q{V{T)~VXW Q, V, V, U c Q~(V{V~U)XW Q, V, V, W c Q~(V~W|V)XW Q, V, V, X c (V|Q{X)~VXW Q, V, W, P c (Q~V)~(W|P)XW Q, V, W, Q c (Q~W|Q)~VXW Q, V, W, R c (Q~R{W)~VXW Q, V, W, S c (Q{W{S)~VXW Q, V, W, T c Q{(V{T)~WXW Q, V, W, V c Q~(V~W|V)XW Q, V, W, W c V~(W|Q{W)XW Q, V, X, Q c (Q~V)~(X|Q)XW Q, V, X, R c (Q{X{R)~VXW Q, V, X, S c (Q~X|S)~VXW Q, V, X, U c Q{(V{X)~UXW Q, V, X, V c (V|Q{X)~VXW Q, W, P, U c Q~(W~U{P)XW Q, W, P, V c Q~(W|P)~VXW Q, W, Q, U c Q{W~Q~UXW Q, W, Q, V c (Q~W|Q)~VXW Q, W, R, S c Q{W~R~SXW Q, W, R, V c (Q~R{W)~VXW Q, W, R, X c Q{W~(R{X)XW Q, W, S, R c Q{W~S~RXW Q, W, S, V c (Q{W{S)~VXW Q, W, S, W c Q{(W{S)~WXW Q, W, T, U c (Q{T)~(W{U)XW Q, W, T, V c Q{W~(T{V)XW Q, W, T, X c Q~(W~T{X)XW Q, W, U, P c Q~(W~U{P)XW Q, W, U, Q c Q{W~U~QXW Q, W, U, T c (Q{T)~(W{U)XW Q, W, U, U c Q{W~(U{U)XW Q, W, U, W c Q{(W{W)~UXW Q, W, U, X c (W{U)~(X|Q)XW Q, W, V, P c Q~(W|P)~VXW Q, W, V, Q c (Q~W|Q)~VXW Q, W, V, R c (Q~R{W)~VXW Q, W, V, S c (Q{W{S)~VXW Q, W, V, T c Q{W~(V{T)XW Q, W, V, V c Q~(W~V|V)XW Q, W, V, W c (W|Q{W)~VXW Q, W, W, S c Q{W~(W{S)XW Q, W, W, U c Q{(W{W)~UXW Q, W, W, V c (W|Q{W)~VXW Q, W, W, X c (Q{W)~X{WXW Q, W, X, R c Q{W~(X{R)XW Q, W, X, T c Q~(W~T{X)XW Q, W, X, U c (W{U)~(X|Q)XW Q, W, X, W c (Q{W)~X{WXW Q, X, P, X c (Q{X)~X|PXW Q, X, Q, V c Q~(X|Q)~VXW Q, X, R, V c (Q{X{R)~VXW Q, X, R, W c Q{(X{R)~WXW Q, X, S, T c Q~(X~T{S)XW Q, X, S, V c (Q~X|S)~VXW Q, X, T, S c Q~(X~T{S)XW Q, X, T, T c (Q{T)~(X{T)XW Q, X, T, U c Q~(X~U|T)XW Q, X, T, W c Q~(X{T~W)XW Q, X, T, X c (X|Q)~(T{X)XW Q, X, U, T c Q~(X~U|T)XW Q, X, U, V c Q{(X{V)~UXW Q, X, U, W c (X|Q)~(U{W)XW Q, X, V, Q c Q~(X|Q)~VXW Q, X, V, R c (Q{X{R)~VXW Q, X, V, S c (Q~X|S)~VXW Q, X, V, U c Q{(X{V)~UXW Q, X, V, V c (X|Q{V)~VXW Q, X, W, R c Q{(X{R)~WXW Q, X, W, T c Q~(X{W~T)XW Q, X, W, U c (X|Q)~(W{U)XW Q, X, W, W c (Q{W)~X{WXW Q, X, X, P c (Q{X)~X|PXW Q, X, X, T c (X|Q)~(X{T)XW R, P, T, V c (R~T|P)~VXW R, P, V, T c (R~T|P)~VXW R, P, V, V c (R|P)~(V~V)XW R, P, W, X c (R{W)~X|PXW R, P, X, W c (R{W)~X|PXW R, Q, S, V c (R{S)~(Q~V)XW R, Q, S, W c R~S~W{QXW R, Q, V, S c (R{S)~(Q~V)XW R, Q, V, W c (R~Q{W)~VXW R, Q, V, X c (R{Q{X)~VXW R, Q, W, S c R~W~S{QXW R, Q, W, V c (R~Q{W)~VXW R, Q, W, X c (R{X)~W{QXW R, Q, X, V c (R{Q{X)~VXW R, Q, X, W c (R{X)~W{QXW R, R, T, V c (R~R{T)~VXW R, R, V, T c (R~R{T)~VXW R, R, V, W c (R{R{W)~VXW R, R, W, V c (R{R{W)~VXW R, S, Q, V c (R{S)~(Q~V)XW R, S, Q, W c R~S~W{QXW R, S, T, X c (R{S)~(T{X)XW R, S, U, V c (R~U|S)~VXW R, S, U, W c (R{S)~(U{W)XW R, S, V, Q c (R{S)~(V~Q)XW R, S, V, U c (R~U|S)~VXW R, S, V, V c (R{S{V)~VXW R, S, W, Q c R~S~W{QXW R, S, W, U c (R{S)~(W{U)XW R, S, X, T c (R{S)~(X{T)XW R, T, P, V c (R~T|P)~VXW R, T, R, V c (R~R{T)~VXW R, T, S, X c (R{S)~(T{X)XW R, T, U, V c (R{T{U)~VXW R, T, U, W c R~T~U{WXW R, T, V, P c (R~T|P)~VXW R, T, V, R c (R~R{T)~VXW R, T, V, U c (R{T{U)~VXW R, T, V, V c R~T~V|VXW R, T, W, U c R~T~U{WXW R, T, X, S c (R{S)~(T{X)XW R, U, S, V c (R~U|S)~VXW R, U, S, W c (R{S)~(U{W)XW R, U, T, V c (R{U{T)~VXW R, U, T, W c R~U~T{WXW R, U, V, S c (R~U|S)~VXW R, U, V, T c (R{U{T)~VXW R, U, V, V c UR~V~VXW R, U, W, S c (R{S)~(U{W)XW R, U, W, T c R~U~T{WXW R, V, P, T c (R~T|P)~VXW R, V, P, V c (R|P)~(V~V)XW R, V, Q, S c (R{S)~(V~Q)XW R, V, Q, W c (R~Q{W)~VXW R, V, Q, X c (R{Q{X)~VXW R, V, R, T c (R~R{T)~VXW R, V, R, W c (R{R{W)~VXW R, V, S, Q c (R{S)~(V~Q)XW R, V, S, U c (R~U|S)~VXW R, V, S, V c (R{V{S)~VXW R, V, T, P c (R~T|P)~VXW R, V, T, R c (R~R{T)~VXW R, V, T, U c (R{T{U)~VXW R, V, T, V c R~V~T|VXW R, V, U, S c (R~U|S)~VXW R, V, U, T c (R{U{T)~VXW R, V, U, V c VR~U~VXW R, V, V, P c (R|P)~(V~V)XW R, V, V, S c (R{V{S)~VXW R, V, V, T c R~V~T|VXW R, V, V, U c VR~V~UXW R, V, V, V c (R~V|V)~VXW R, V, W, Q c (R~Q{W)~VXW R, V, W, R c (R{W{R)~VXW R, V, W, X c (R{V)~X{WXW R, V, X, Q c (R{X{Q)~VXW R, V, X, W c (R{V)~X{WXW R, W, P, X c (R{W)~X|PXW R, W, Q, S c R~W~S{QXW R, W, Q, V c (R~Q{W)~VXW R, W, Q, X c (R{X)~W{QXW R, W, R, V c (R{W{R)~VXW R, W, S, Q c R~W~S{QXW R, W, S, U c (R{S)~(W{U)XW R, W, T, U c R~T~U{WXW R, W, U, S c (R{S)~(W{U)XW R, W, U, T c R~U~T{WXW R, W, V, Q c (R~Q{W)~VXW R, W, V, R c (R{W{R)~VXW R, W, V, X c (R{V)~X{WXW R, W, X, P c (R{W)~X|PXW R, W, X, Q c (R{X)~W{QXW R, W, X, V c (R{V)~X{WXW R, X, P, W c (R{W)~X|PXW R, X, Q, V c (R{X{Q)~VXW R, X, Q, W c (R{X)~W{QXW R, X, S, T c (R{S)~(X{T)XW R, X, T, S c (R{S)~(X{T)XW R, X, V, Q c (R{X{Q)~VXW R, X, V, W c (R{V)~X{WXW R, X, W, P c (R{W)~X|PXW R, X, W, Q c (R{X)~W{QXW R, X, W, V c (R{V)~X{WXW S, P, V, X c (S{P{X)~VXW S, P, X, V c (S{P{X)~VXW S, Q, R, V c (S{R)~(Q~V)XW S, Q, R, W c S~R~W{QXW S, Q, S, U c S~S~U{QXW S, Q, S, V c (S~S|Q)~VXW S, Q, T, T c S~T~T|QXW S, Q, T, V c (S{Q~T)~VXW S, Q, T, X c (S{T~X)~QXW S, Q, U, S c S~U~S{QXW S, Q, U, V c (S~Q{U)~VXW S, Q, V, R c (S{R)~(Q~V)XW S, Q, V, S c (S~S|Q)~VXW S, Q, V, T c (S{Q~T)~VXW S, Q, V, U c (S~Q{U)~VXW S, Q, V, V c (S|Q)~(V~V)XW S, Q, V, W c (S{Q{W)~VXW S, Q, V, X c (Q~X|S)~VXW S, Q, W, R c S~W~R{QXW S, Q, W, V c (S{Q{W)~VXW S, Q, W, W c (S{W)~W{QXW S, Q, X, T c (S{X~T)~QXW S, Q, X, V c (Q~X|S)~VXW S, R, Q, V c (S{R)~(Q~V)XW S, R, Q, W c S~R~W{QXW S, R, T, X c (S{R)~(T{X)XW S, R, U, V c (R~U|S)~VXW S, R, U, W c (S{R)~(U{W)XW S, R, V, Q c (S{R)~(V~Q)XW S, R, V, U c (R~U|S)~VXW S, R, V, V c (S{R{V)~VXW S, R, W, Q c S~R~W{QXW S, R, W, U c (S{R)~(W{U)XW S, R, X, T c (S{R)~(X{T)XW S, S, Q, U c S~S~U{QXW S, S, Q, V c (S~S|Q)~VXW S, S, U, Q c S~S~U{QXW S, S, U, V c (S{S{U)~VXW S, S, V, Q c (S~S|Q)~VXW S, S, V, U c (S{S{U)~VXW S, T, Q, T c S~T~T|QXW S, T, Q, V c (S{T~Q)~VXW S, T, Q, X c (S{T~X)~QXW S, T, R, X c (S{R)~(T{X)XW S, T, T, Q c S~T~T|QXW S, T, T, V c (S{T{T)~VXW S, T, U, V c (S~T|U)~VXW S, T, V, Q c (S{T~Q)~VXW S, T, V, T c (S{T{T)~VXW S, T, V, U c (S~T|U)~VXW S, T, X, Q c (S{T~X)~QXW S, T, X, R c (S{R)~(T{X)XW S, U, Q, S c S~U~S{QXW S, U, Q, V c (S~Q{U)~VXW S, U, R, V c (U~R|S)~VXW S, U, R, W c (S{R)~(U{W)XW S, U, S, Q c S~U~S{QXW S, U, S, V c (S{U{S)~VXW S, U, T, V c (S~T|U)~VXW S, U, V, Q c (S~Q{U)~VXW S, U, V, R c (U~R|S)~VXW S, U, V, S c (S{U{S)~VXW S, U, V, T c (S~T|U)~VXW S, U, V, V c (U|S)~(V~V)XW S, U, W, R c (S{R)~(U{W)XW S, U, W, X c (S{U)~X{WXW S, U, X, W c (S{U)~X{WXW S, V, P, X c (S{V)~X|PXW S, V, Q, R c (S{R)~(V~Q)XW S, V, Q, S c (S~S|Q)~VXW S, V, Q, T c (S{Q~T)~VXW S, V, Q, U c (S~Q{U)~VXW S, V, Q, V c S~VQ~VXW S, V, Q, W c (S{Q{W)~VXW S, V, Q, X c V~(Q~X|S)XW S, V, R, Q c (S{R)~(V~Q)XW S, V, R, U c V~(R~U|S)XW S, V, R, V c (S{V{R)~VXW S, V, S, Q c (S~S|Q)~VXW S, V, S, U c (S{S{U)~VXW S, V, T, Q c (S{T~Q)~VXW S, V, T, T c (S{T{T)~VXW S, V, T, U c (S~T|U)~VXW S, V, U, Q c (S~Q{U)~VXW S, V, U, R c V~(U~R|S)XW S, V, U, S c (S{U{S)~VXW S, V, U, T c (S~T|U)~VXW S, V, U, V c V~(U|S)~VXW S, V, V, Q c S~V~VQXW S, V, V, R c (S{V{R)~VXW S, V, V, U c (V~V)~(U|S)XW S, V, V, W c VS~V~WXW S, V, V, X c (S{X)~V{VXW S, V, W, Q c (S{W{Q)~VXW S, V, W, V c VS~W~VXW S, V, X, P c (S{V)~X|PXW S, V, X, Q c V~(X~Q|S)XW S, V, X, V c (S{X)~V{VXW S, V, X, X c V~(X|S{X)XW S, W, Q, R c S~W~R{QXW S, W, Q, V c (S{W{Q)~VXW S, W, Q, W c (S{W)~W{QXW S, W, R, Q c S~W~R{QXW S, W, R, U c (S{R)~(W{U)XW S, W, U, R c (S{R)~(W{U)XW S, W, U, X c (S{U)~X{WXW S, W, V, Q c (S{W{Q)~VXW S, W, V, V c WS~V~VXW S, W, W, Q c (S{W)~W{QXW S, W, X, U c (S{X)~W|UXW S, X, P, V c (S{X{P)~VXW S, X, Q, T c (S{X~T)~QXW S, X, Q, V c (X~Q|S)~VXW S, X, R, T c (S{R)~(X{T)XW S, X, T, Q c (S{X~T)~QXW S, X, T, R c (S{R)~(X{T)XW S, X, U, W c (S{X)~W|UXW S, X, V, P c (S{X{P)~VXW S, X, V, Q c (X~Q|S)~VXW S, X, V, V c (S{X)~V{VXW S, X, V, X c (X|S{X)~VXW S, X, W, U c (S{X)~W|UXW S, X, X, V c (X|S{X)~VXW T, O, V, X c (T{O{X)~VXW T, O, X, V c (T{O{X)~VXW T, P, R, V c (T~R|P)~VXW T, P, U, X c (T{U)~X|PXW T, P, V, R c (T~R|P)~VXW T, P, V, W c (T{P{W)~VXW T, P, V, X c (T{P~X)~VXW T, P, W, V c (T{P{W)~VXW T, P, W, X c (T{X)~(W|P)XW T, P, X, U c (T{X)~(P{U)XW T, P, X, V c (T{P~X)~VXW T, P, X, W c (T{X)~(W|P)XW T, Q, Q, V c (T{Q)~(Q~V)XW T, Q, S, T c T~S~T|QXW T, Q, S, V c (T~Q{S)~VXW T, Q, S, X c (T~X{S)~QXW T, Q, T, S c T~T~S|QXW T, Q, T, X c (T{Q)~(T{X)XW T, Q, U, W c (T{Q)~(U{W)XW T, Q, U, X c Q~(U~X|T)XW T, Q, V, Q c (T{Q)~(V~Q)XW T, Q, V, S c (T~Q{S)~VXW T, Q, V, V c (T{Q{V)~VXW T, Q, V, W c (T{V)~W{QXW T, Q, W, U c (T{Q)~(W{U)XW T, Q, W, V c (T{V)~W{QXW T, Q, W, X c T~Q~X{WXW T, Q, X, S c (T~X{S)~QXW T, Q, X, T c (T{Q)~(X{T)XW T, Q, X, U c Q~(X~U|T)XW T, Q, X, W c T~Q~X{WXW T, Q, X, X c (T{X)~(X|Q)XW T, R, P, V c (T~R|P)~VXW T, R, R, V c (T{R~R)~VXW T, R, S, X c (T{X)~(R{S)XW T, R, U, V c (T{R{U)~VXW T, R, U, W c T~R~U{WXW T, R, V, P c (T~R|P)~VXW T, R, V, R c (T{R~R)~VXW T, R, V, U c (T{R{U)~VXW T, R, V, V c (T|R)~(V~V)XW T, R, W, U c T~R~U{WXW T, R, X, S c (T{X)~(R{S)XW T, S, Q, T c T~S~T|QXW T, S, Q, V c (T~Q{S)~VXW T, S, Q, X c (T~X{S)~QXW T, S, R, X c (T{X)~(S{R)XW T, S, T, Q c T~S~T|QXW T, S, T, V c (T{S{T)~VXW T, S, U, V c (T~S|U)~VXW T, S, V, Q c (T~Q{S)~VXW T, S, V, T c (T{S{T)~VXW T, S, V, U c (T~S|U)~VXW T, S, X, Q c (T~X{S)~QXW T, S, X, R c (T{X)~(S{R)XW T, T, Q, S c T~T~S|QXW T, T, Q, X c (T{Q)~(T{X)XW T, T, S, Q c T~T~S|QXW T, T, S, V c (T{T{S)~VXW T, T, V, S c (T{T{S)~VXW T, T, W, X c (T{T)~X{WXW T, T, X, Q c (T{X)~(T{Q)XW T, T, X, W c (T{T)~X{WXW T, U, P, X c (T{U)~X|PXW T, U, Q, W c (T{Q)~(U{W)XW T, U, Q, X c (U~X|T)~QXW T, U, R, V c (T{U{R)~VXW T, U, R, W c T~U~R{WXW T, U, S, V c (T~S|U)~VXW T, U, V, R c (T{U{R)~VXW T, U, V, S c (T~S|U)~VXW T, U, W, Q c (T{Q)~(U{W)XW T, U, W, R c T~U~R{WXW T, U, W, W c (T{W)~W|UXW T, U, X, P c (T{U)~X|PXW T, U, X, Q c (U~X|T)~QXW T, V, O, X c (T{O{X)~VXW T, V, P, R c (T~R|P)~VXW T, V, P, W c (T{P{W)~VXW T, V, P, X c (T{P~X)~VXW T, V, Q, Q c (T{Q)~(V~Q)XW T, V, Q, S c (T~Q{S)~VXW T, V, Q, V c (T{V{Q)~VXW T, V, Q, W c (T{V)~W{QXW T, V, R, P c (T~R|P)~VXW T, V, R, R c (T{R~R)~VXW T, V, R, U c (T{R{U)~VXW T, V, R, V c T~V~R|VXW T, V, S, Q c (T~Q{S)~VXW T, V, S, T c (T{S{T)~VXW T, V, S, U c (T~S|U)~VXW T, V, T, S c (T{T{S)~VXW T, V, U, R c (T{U{R)~VXW T, V, U, S c (T~S|U)~VXW T, V, V, Q c (T{V{Q)~VXW T, V, V, R c T~V~R|VXW T, V, V, V c (V|T)~(V~V)XW T, V, V, W c (T{W)~V{VXW T, V, V, X c T~V{V~XXW T, V, W, P c (T{W{P)~VXW T, V, W, Q c (T{V)~W{QXW T, V, W, V c (T{W)~V{VXW T, V, X, O c (T{X)~(V{O)XW T, V, X, P c (T{X)~(V~P)XW T, V, X, V c T~V{X~VXW T, W, P, V c (T{W{P)~VXW T, W, P, X c (T{X)~(W|P)XW T, W, Q, U c (T{Q)~(W{U)XW T, W, Q, V c (T{V)~W{QXW T, W, Q, X c (T~W{X)~QXW T, W, R, U c T~R~U{WXW T, W, T, X c (T{T)~X{WXW T, W, U, Q c (T{Q)~(W{U)XW T, W, U, R c T~U~R{WXW T, W, U, W c (T{W)~W|UXW T, W, V, P c (T{W{P)~VXW T, W, V, Q c (T{V)~W{QXW T, W, V, V c (T{W)~V{VXW T, W, W, U c (T{W)~W|UXW T, W, X, P c (T{X)~(W|P)XW T, W, X, Q c (T~W{X)~QXW T, W, X, T c (T{T)~X{WXW T, W, X, X c T~(X{X){WXW T, X, O, V c (T{X{O)~VXW T, X, P, U c (T{X)~(P{U)XW T, X, P, V c (T{X)~(P~V)XW T, X, P, W c (T{X)~(W|P)XW T, X, Q, S c (T~X{S)~QXW T, X, Q, T c (T{X)~(Q{T)XW T, X, Q, U c (X~U|T)~QXW T, X, Q, W c T~X~Q{WXW T, X, Q, X c (T{X)~(X|Q)XW T, X, R, S c (T{X)~(R{S)XW T, X, S, Q c (T~X{S)~QXW T, X, S, R c (T{X)~(S{R)XW T, X, T, Q c (T{X)~(T{Q)XW T, X, T, W c (T{T)~X{WXW T, X, U, P c (T{X)~(U{P)XW T, X, U, Q c (X~U|T)~QXW T, X, V, O c (T{X)~(V{O)XW T, X, V, P c (T{X)~(V~P)XW T, X, V, V c T~V{X~VXW T, X, W, P c (T{X)~(W|P)XW T, X, W, Q c T~X~Q{WXW T, X, W, T c (T{T)~X{WXW T, X, W, X c T~(X{X){WXW T, X, X, Q c (T{X)~(X|Q)XW T, X, X, W c T~(X{X){WXW U, O, V, W c (U{O{W)~VXW U, O, W, V c (U{O{W)~VXW U, P, Q, V c (U{P)~(Q~V)XW U, P, Q, W c (U~W{P)~QXW U, P, T, X c (U{P)~(T{X)XW U, P, U, W c (U{P)~(U{W)XW U, P, V, Q c (U{P)~(V~Q)XW U, P, V, V c (U{P{V)~VXW U, P, V, W c (U{P~W)~VXW U, P, V, X c (U|P{X)~VXW U, P, W, Q c (U~W{P)~QXW U, P, W, U c (U{P)~(W{U)XW U, P, W, V c (U{P~W)~VXW U, P, W, W c (U{W)~(W|P)XW U, P, X, T c (U{P)~(X{T)XW U, P, X, V c (U|P{X)~VXW U, Q, P, V c (U{P)~(Q~V)XW U, Q, P, W c (U~W{P)~QXW U, Q, Q, V c (U~Q{Q)~VXW U, Q, Q, W c U~Q~W{QXW U, Q, S, S c U~S~S{QXW U, Q, S, V c (U{Q~S)~VXW U, Q, T, W c (U{W)~(Q{T)XW U, Q, T, X c (U~X|T)~QXW U, Q, U, V c (U{Q{U)~VXW U, Q, U, W c (U{U)~W{QXW U, Q, V, P c (U{P)~(Q~V)XW U, Q, V, Q c (U~Q{Q)~VXW U, Q, V, S c (U{Q~S)~VXW U, Q, V, U c (U{Q{U)~VXW U, Q, V, V c (U~V{V)~QXW U, Q, V, X c U~(V{X){QXW U, Q, W, P c (U~W{P)~QXW U, Q, W, Q c U~Q~W{QXW U, Q, W, T c (U{W)~(Q{T)XW U, Q, W, U c (U{U)~W{QXW U, Q, W, W c U~(W{W){QXW U, Q, W, X c (U{W)~(X|Q)XW U, Q, X, T c (U~X|T)~QXW U, Q, X, V c U~(X{V){QXW U, Q, X, W c (U{W)~(X|Q)XW U, R, S, V c (U~R|S)~VXW U, R, S, W c (U{W)~(R{S)XW U, R, T, V c (U{R{T)~VXW U, R, T, W c U~R~T{WXW U, R, V, S c (U~R|S)~VXW U, R, V, T c (U{R{T)~VXW U, R, V, V c UR~V~VXW U, R, W, S c (U{W)~(R{S)XW U, R, W, T c U~R~T{WXW U, S, Q, S c U~S~S{QXW U, S, Q, V c (U{S~Q)~VXW U, S, R, V c (U~R|S)~VXW U, S, R, W c (U{W)~(S{R)XW U, S, S, Q c U~S~S{QXW U, S, S, V c (U{S{S)~VXW U, S, T, V c (S~T|U)~VXW U, S, V, Q c (U{S~Q)~VXW U, S, V, R c (U~R|S)~VXW U, S, V, S c (U{S{S)~VXW U, S, V, T c (S~T|U)~VXW U, S, V, V c (U|S)~(V~V)XW U, S, W, R c (U{W)~(S{R)XW U, S, W, X c (U{S)~X{WXW U, S, X, W c (U{S)~X{WXW U, T, P, X c (U{T)~X|PXW U, T, Q, W c (U{W)~(T{Q)XW U, T, Q, X c (U~X|T)~QXW U, T, R, V c (U{T{R)~VXW U, T, R, W c U~T~R{WXW U, T, S, V c (T~S|U)~VXW U, T, V, R c (U{T{R)~VXW U, T, V, S c (T~S|U)~VXW U, T, W, Q c (U{W)~(T{Q)XW U, T, W, R c U~T~R{WXW U, T, W, W c (T{W)~W|UXW U, T, X, P c (U{T)~X|PXW U, T, X, Q c (U~X|T)~QXW U, U, P, W c (U{P)~(U{W)XW U, U, Q, V c (U{U{Q)~VXW U, U, Q, W c (U{U)~W{QXW U, U, V, Q c (U{U{Q)~VXW U, U, V, W c (U{V)~W|UXW U, U, W, P c (U{W)~(U{P)XW U, U, W, Q c (U{U)~W{QXW U, U, W, V c (U{V)~W|UXW U, U, W, X c U~(U{X){WXW U, U, X, W c U~(U{X){WXW U, V, O, W c (U{O{W)~VXW U, V, P, Q c (U{P)~(V~Q)XW U, V, P, V c (U{V{P)~VXW U, V, P, W c (U{P~W)~VXW U, V, P, X c (U|P{X)~VXW U, V, Q, P c (U{P)~(V~Q)XW U, V, Q, Q c (U~Q{Q)~VXW U, V, Q, S c (U{Q~S)~VXW U, V, Q, U c (U{Q{U)~VXW U, V, Q, V c (U~V{V)~QXW U, V, Q, X c U~(V{X){QXW U, V, R, S c (U~R|S)~VXW U, V, R, T c (U{R{T)~VXW U, V, R, V c U~VR~VXW U, V, S, Q c (U{S~Q)~VXW U, V, S, R c (U~R|S)~VXW U, V, S, S c (U{S{S)~VXW U, V, S, T c V~(S~T|U)XW U, V, S, V c (U|S)~(V~V)XW U, V, T, R c (U{T{R)~VXW U, V, T, S c V~(T~S|U)XW U, V, U, Q c (U{U{Q)~VXW U, V, U, W c (U{V)~W|UXW U, V, V, P c (U{V{P)~VXW U, V, V, Q c (U~V{V)~QXW U, V, V, R c U~V~VRXW U, V, V, S c (U|S)~(V~V)XW U, V, V, V c (U{V)~V{VXW U, V, V, W c U~V{V~WXW U, V, V, X c (U{X)~V|VXW U, V, W, O c (U{W)~(V{O)XW U, V, W, P c (U{W)~(V~P)XW U, V, W, U c (U{V)~W|UXW U, V, W, V c U~V{W~VXW U, V, W, W c U~(V{W){WXW U, V, X, P c (U{X|P)~VXW U, V, X, Q c U~(V{X){QXW U, V, X, V c (U{X)~V|VXW U, W, O, V c (U{W{O)~VXW U, W, P, Q c (U~W{P)~QXW U, W, P, U c (U{W)~(P{U)XW U, W, P, V c (U{W)~(P~V)XW U, W, P, W c (U{W)~(W|P)XW U, W, Q, P c (U~W{P)~QXW U, W, Q, Q c U~W~Q{QXW U, W, Q, T c (U{W)~(Q{T)XW U, W, Q, U c (U{U)~W{QXW U, W, Q, W c U~(W{W){QXW U, W, Q, X c (U{W)~(X|Q)XW U, W, R, S c (U{W)~(R{S)XW U, W, R, T c U~R~T{WXW U, W, S, R c (U{W)~(S{R)XW U, W, S, X c U~(W{X)|SXW U, W, T, Q c (U{W)~(T{Q)XW U, W, T, R c U~T~R{WXW U, W, T, W c (W{T)~W|UXW U, W, U, P c (U{W)~(U{P)XW U, W, U, Q c (U{U)~W{QXW U, W, U, V c (U{V)~W|UXW U, W, U, X c U~(U{X){WXW U, W, V, O c (U{W)~(V{O)XW U, W, V, P c (U{W)~(V~P)XW U, W, V, U c (U{V)~W|UXW U, W, V, V c U~V{W~VXW U, W, V, W c U~(W{V){WXW U, W, W, P c (U{W)~(W|P)XW U, W, W, Q c U~(W{W){QXW U, W, W, T c W~(W{T)|UXW U, W, W, V c U~(W{V){WXW U, W, X, Q c (U{W)~(X|Q)XW U, W, X, S c U~(W{X)|SXW U, W, X, U c (U{X)~U{WXW U, X, P, T c (U{P)~(X{T)XW U, X, P, V c (U{X|P)~VXW U, X, Q, T c (U~X|T)~QXW U, X, Q, V c U~(X{V){QXW U, X, Q, W c (U{W)~(X|Q)XW U, X, S, W c U~(X{W)|SXW U, X, T, P c (U{T)~X|PXW U, X, T, Q c (U~X|T)~QXW U, X, U, W c (U{X)~U{WXW U, X, V, P c (U{X|P)~VXW U, X, V, Q c U~(X{V){QXW U, X, V, V c (U{X)~V|VXW U, X, W, Q c (U{W)~(X|Q)XW U, X, W, S c U~(X{W)|SXW U, X, W, U c (U{X)~U{WXW V, O, Q, V c (V{O)~(Q~V)XW V, O, T, X c (V{O)~(T{X)XW V, O, U, W c (V{O)~(U{W)XW V, O, V, Q c (V{O)~(V~Q)XW V, O, V, V c (V{O{V)~VXW V, O, W, U c (V{O)~(W{U)XW V, O, X, T c (V{O)~(X{T)XW V, P, P, V c V~(P{P)~VXW V, P, Q, U c V~(P{U)~QXW V, P, Q, V c V~P~Q~VXW V, P, Q, W c (V~Q)~(W|P)XW V, P, R, T c V~(R~T|P)XW V, P, R, V c V~(R|P)~VXW V, P, S, X c V~(P{S{X)XW V, P, T, R c V~(T~R|P)XW V, P, T, W c V~(P{T{W)XW V, P, T, X c (V~P)~(T{X)XW V, P, U, Q c V~(P{U)~QXW V, P, U, V c (V{P{U)~VXW V, P, U, W c (V~P)~(U{W)XW V, P, U, X c V~(U|P{X)XW V, P, V, P c V~(P{P)~VXW V, P, V, Q c V~P~V~QXW V, P, V, R c (V~V)~(R|P)XW V, P, V, U c V~(P{V{U)XW V, P, V, V c (V{P~V)~VXW V, P, V, W c (V|P{W)~VXW V, P, W, Q c V~(W|P)~QXW V, P, W, T c V~(P{W{T)XW V, P, W, U c (V~P)~(W{U)XW V, P, W, V c (V|P{W)~VXW V, P, X, S c V~(P{X{S)XW V, P, X, T c (V~P)~(X{T)XW V, P, X, U c V~(X|P{U)XW V, Q, O, V c (V~Q{O)~VXW V, Q, P, U c (V~Q)~(P{U)XW V, Q, P, V c V~Q~P~VXW V, Q, P, W c (V~Q)~(W|P)XW V, Q, Q, T c (V~Q)~(Q{T)XW V, Q, Q, U c V~(Q{Q~U)XW V, Q, Q, W c V~(Q~W|Q)XW V, Q, Q, X c (V~Q)~(X|Q)XW V, Q, R, S c V~(Q{R~S)XW V, Q, R, W c V~(Q~R{W)XW V, Q, R, X c V~(Q{R{X)XW V, Q, S, R c V~(Q{S~R)XW V, Q, S, S c V~(S~S|Q)XW V, Q, S, T c V~(Q~T{S)XW V, Q, S, U c V~(Q~S{U)XW V, Q, S, V c VQ~S~VXW V, Q, S, W c V~(Q{S{W)XW V, Q, S, X c V~(Q~X|S)XW V, Q, T, Q c V~(Q{T)~QXW V, Q, T, S c V~(Q~T{S)XW V, Q, T, V c (V{Q{T)~VXW V, Q, T, W c (V{T)~W{QXW V, Q, U, P c (V~Q)~(U{P)XW V, Q, U, Q c V~(Q{U~Q)XW V, Q, U, S c V~(Q~S{U)XW V, Q, U, U c V~(Q{U{U)XW V, Q, U, V c (V{U~V)~QXW V, Q, U, X c (V{X)~U{QXW V, Q, V, O c V~Q~V{OXW V, Q, V, P c V~Q~V~PXW V, Q, V, S c VQ~V~SXW V, Q, V, T c V~(Q{V{T)XW V, Q, V, U c (V{V~U)~QXW V, Q, V, W c (V~W|V)~QXW V, Q, V, X c (V|Q{X)~VXW V, Q, W, P c (V~Q)~(W|P)XW V, Q, W, Q c V~(Q~W|Q)XW V, Q, W, R c V~(Q~R{W)XW V, Q, W, S c V~(Q{W{S)XW V, Q, W, T c (V{T)~W{QXW V, Q, W, V c (V~W|V)~QXW V, Q, W, W c V~(W|Q{W)XW V, Q, X, Q c (V~Q)~(X|Q)XW V, Q, X, R c V~(Q{X{R)XW V, Q, X, S c V~(Q~X|S)XW V, Q, X, U c (V{X)~U{QXW V, Q, X, V c (V|Q{X)~VXW V, R, P, T c V~(R~T|P)XW V, R, P, V c V~(R|P)~VXW V, R, Q, S c V~(R{S)~QXW V, R, Q, W c V~(R~Q{W)XW V, R, Q, X c V~(R{Q{X)XW V, R, R, T c V~(R~R{T)XW V, R, R, W c V~(R{R{W)XW V, R, S, Q c V~(R{S)~QXW V, R, S, U c V~(R~U|S)XW V, R, S, V c (V{R{S)~VXW V, R, T, P c V~(R~T|P)XW V, R, T, R c V~(R~R{T)XW V, R, T, U c V~(R{T{U)XW V, R, T, V c V~R~T|VXW V, R, U, S c V~(R~U|S)XW V, R, U, T c V~(R{U{T)XW V, R, U, V c VR~U~VXW V, R, V, P c V~(R|P)~VXW V, R, V, S c V~(R{V{S)XW V, R, V, T c V~R~T|VXW V, R, V, U c VR~V~UXW V, R, V, V c (V~R|V)~VXW V, R, W, Q c V~(R~Q{W)XW V, R, W, R c V~(R{W{R)XW V, R, W, X c (V{R)~X{WXW V, R, X, Q c V~(R{X{Q)XW V, R, X, W c (V{R)~X{WXW V, S, P, X c V~(S{P{X)XW V, S, Q, R c V~(S{R)~QXW V, S, Q, S c V~(S~S|Q)XW V, S, Q, T c V~(S{Q~T)XW V, S, Q, U c V~(S~Q{U)XW V, S, Q, V c V~(S|Q)~VXW V, S, Q, W c V~(S{Q{W)XW V, S, Q, X c V~(Q~X|S)XW V, S, R, Q c V~(S{R)~QXW V, S, R, U c V~(R~U|S)XW V, S, R, V c (V{S{R)~VXW V, S, S, Q c V~(S~S|Q)XW V, S, S, U c V~(S{S{U)XW V, S, T, Q c V~(S{T~Q)XW V, S, T, T c V~(S{T{T)XW V, S, T, U c V~(S~T|U)XW V, S, U, Q c V~(S~Q{U)XW V, S, U, R c V~(U~R|S)XW V, S, U, S c V~(S{U{S)XW V, S, U, T c V~(S~T|U)XW V, S, U, V c V~(U|S)~VXW V, S, V, Q c V~S~VQXW V, S, V, R c V~(S{V{R)XW V, S, V, U c (V~V)~(U|S)XW V, S, V, W c VS~V~WXW V, S, V, X c V{(S{X)~VXW V, S, W, Q c V~(S{W{Q)XW V, S, W, V c VS~W~VXW V, S, X, P c (V{S)~X|PXW V, S, X, Q c V~(X~Q|S)XW V, S, X, V c V{(S{X)~VXW V, S, X, X c V~(X|S{X)XW V, T, O, X c V~(T{O{X)XW V, T, P, R c V~(T~R|P)XW V, T, P, W c V~(T{P{W)XW V, T, P, X c V~(T{P~X)XW V, T, Q, Q c V~(T{Q)~QXW V, T, Q, S c V~(T~Q{S)XW V, T, Q, V c (V{T{Q)~VXW V, T, Q, W c (V{T)~W{QXW V, T, R, P c V~(T~R|P)XW V, T, R, R c V~(T{R~R)XW V, T, R, U c V~(T{R{U)XW V, T, R, V c V~(T|R)~VXW V, T, S, Q c V~(T~Q{S)XW V, T, S, T c V~(T{S{T)XW V, T, S, U c V~(T~S|U)XW V, T, T, S c V~(T{T{S)XW V, T, U, R c V~(T{U{R)XW V, T, U, S c V~(T~S|U)XW V, T, V, Q c V~(T{V{Q)XW V, T, V, R c V~(T|R)~VXW V, T, V, V c (V|T)~(V~V)XW V, T, V, W c V{(T{W)~VXW V, T, V, X c V~T{V~XXW V, T, W, P c V~(T{W{P)XW V, T, W, Q c (V{T)~W{QXW V, T, W, V c V{(T{W)~VXW V, T, X, O c V~(T{X){OXW V, T, X, P c V~(T{X)~PXW V, T, X, V c V~T{X~VXW V, U, O, W c V~(U{O{W)XW V, U, P, Q c V~(U{P)~QXW V, U, P, V c (V{U{P)~VXW V, U, P, W c V~(U{P~W)XW V, U, P, X c V~(U|P{X)XW V, U, Q, P c V~(U{P)~QXW V, U, Q, Q c V~(U~Q{Q)XW V, U, Q, S c V~(U{Q~S)XW V, U, Q, U c V~(U{Q{U)XW V, U, Q, V c (V{U~V)~QXW V, U, Q, X c (V{X)~U{QXW V, U, R, S c V~(U~R|S)XW V, U, R, T c V~(U{R{T)XW V, U, R, V c V~UR~VXW V, U, S, Q c V~(U{S~Q)XW V, U, S, R c V~(U~R|S)XW V, U, S, S c V~(U{S{S)XW V, U, S, T c V~(S~T|U)XW V, U, S, V c V~(U|S)~VXW V, U, T, R c V~(U{T{R)XW V, U, T, S c V~(T~S|U)XW V, U, U, Q c V~(U{U{Q)XW V, U, U, W c (V{U)~W|UXW V, U, V, P c V~(U{V{P)XW V, U, V, Q c (V{U~V)~QXW V, U, V, R c V~U~VRXW V, U, V, S c V~(U|S)~VXW V, U, V, V c V{(U{V)~VXW V, U, V, W c V~U{V~WXW V, U, V, X c V~(U{X)|VXW V, U, W, O c V~(U{W){OXW V, U, W, P c V~(U{W)~PXW V, U, W, U c (V{U)~W|UXW V, U, W, V c V~U{W~VXW V, U, W, W c (V{W)~U{WXW V, U, X, P c V~(U{X|P)XW V, U, X, Q c (V{X)~U{QXW V, U, X, V c V~(U{X)|VXW V, V, O, Q c (V~V{O)~QXW V, V, O, V c (V{V{O)~VXW V, V, P, P c (V~V)~(P{P)XW V, V, P, Q c V~V~P~QXW V, V, P, R c (V~V)~(R|P)XW V, V, P, U c (V{V)~(P{U)XW V, V, P, V c (V{V)~(P~V)XW V, V, P, W c V~(V|P{W)XW V, V, Q, O c V~V~Q{OXW V, V, Q, P c V~V~Q~PXW V, V, Q, S c V~VQ~SXW V, V, Q, T c (V{V)~(Q{T)XW V, V, Q, U c (V{V~U)~QXW V, V, Q, W c (V~W|V)~QXW V, V, Q, X c V~(V|Q{X)XW V, V, R, P c (V~V)~(R|P)XW V, V, R, S c (V{V)~(R{S)XW V, V, R, T c (V~V)~(T|R)XW V, V, R, U c V~VR~UXW V, V, R, V c V~(V~R|V)XW V, V, S, Q c (V~V)~(S|Q)XW V, V, S, R c (V{V)~(S{R)XW V, V, S, U c (V~V)~(U|S)XW V, V, S, W c V~VS~WXW V, V, S, X c V{V~(S{X)XW V, V, T, Q c (V{V)~(T{Q)XW V, V, T, R c (V~V)~(T|R)XW V, V, T, V c V~(V|T)~VXW V, V, T, W c V{V~(T{W)XW V, V, T, X c V~T{V~XXW V, V, U, P c (V{V)~(U{P)XW V, V, U, Q c (V{V~U)~QXW V, V, U, R c V~V~URXW V, V, U, S c (V~V)~(U|S)XW V, V, U, V c V{(V{U)~VXW V, V, U, W c (V~V)~(W|U)XW V, V, U, X c V~(U{X)|VXW V, V, V, O c (V{V)~(V{O)XW V, V, V, P c (V{V)~(V~P)XW V, V, V, R c V~(V~R|V)XW V, V, V, T c (V~V)~(V|T)XW V, V, V, U c V{V~(V{U)XW V, V, V, V c V~V{V~VXW V, V, V, W c V~(V{W)|VXW V, V, V, X c (V~V)~(X|V)XW V, V, W, P c (V{V)~(W|P)XW V, V, W, Q c (V~W|V)~QXW V, V, W, S c V~V~WSXW V, V, W, T c V{V~(W{T)XW V, V, W, U c (V~V)~(W|U)XW V, V, W, V c V~(V{W)|VXW V, V, X, Q c (V{V)~(X|Q)XW V, V, X, S c V{V~(X{S)XW V, V, X, T c V~X{V~TXW V, V, X, U c V~(X{U)|VXW V, V, X, V c (V~V)~(X|V)XW V, W, O, U c V~(W{O{U)XW V, W, P, Q c V~(W|P)~QXW V, W, P, T c V~(W{P{T)XW V, W, P, U c V~(W{P~U)XW V, W, P, V c (V{W|P)~VXW V, W, Q, P c V~(W|P)~QXW V, W, Q, Q c V~(W~Q|Q)XW V, W, Q, R c V~(W{Q~R)XW V, W, Q, S c V~(W{Q{S)XW V, W, Q, T c (V{T)~W{QXW V, W, Q, V c (V~W|V)~QXW V, W, Q, W c V~(W|Q{W)XW V, W, R, Q c V~(W{R~Q)XW V, W, R, R c V~(W{R{R)XW V, W, R, X c V~(W|R{X)XW V, W, S, Q c V~(W{S{Q)XW V, W, S, V c V~WS~VXW V, W, T, P c V~(W{T{P)XW V, W, T, Q c (V{T)~W{QXW V, W, T, V c V{(W{T)~VXW V, W, U, O c V~(W{U){OXW V, W, U, P c V~(W{U)~PXW V, W, U, U c (V{U)~W|UXW V, W, U, V c V~W{U~VXW V, W, U, W c (V{W)~U{WXW V, W, V, P c V~(W{V|P)XW V, W, V, Q c (V~W|V)~QXW V, W, V, S c V~W~VSXW V, W, V, T c V{(W{T)~VXW V, W, V, U c V~W{V~UXW V, W, V, V c (V{W)~V|VXW V, W, W, Q c V~(W{W|Q)XW V, W, W, U c (V{W)~U{WXW V, W, X, R c V~(W{X|R)XW V, X, O, T c V~(X{O{T)XW V, X, P, S c V~(X{P{S)XW V, X, P, T c V~(X{P~T)XW V, X, P, U c V~(X|P{U)XW V, X, Q, Q c V~(X|Q)~QXW V, X, Q, R c V~(X{Q{R)XW V, X, Q, S c V~(X~Q|S)XW V, X, Q, U c (V{X)~U{QXW V, X, Q, V c (V{X|Q)~VXW V, X, R, Q c V~(X{R{Q)XW V, X, R, W c V~(X|R{W)XW V, X, S, P c V~(X{S{P)XW V, X, S, Q c V~(X~Q|S)XW V, X, S, V c V{(X{S)~VXW V, X, S, X c V~(X|S{X)XW V, X, T, O c V~(X{T){OXW V, X, T, P c V~(X{T)~PXW V, X, T, V c V~X{T~VXW V, X, U, P c V~(X{U|P)XW V, X, U, Q c (V{X)~U{QXW V, X, U, V c V~(X{U)|VXW V, X, V, Q c V~(X{V|Q)XW V, X, V, S c V{(X{S)~VXW V, X, V, T c V~X{V~TXW V, X, V, U c V~(X{U)|VXW V, X, V, V c V~(X|V)~VXW V, X, W, R c V~(X{W|R)XW V, X, X, S c V~(X{X|S)XW W, O, U, V c (W{O{U)~VXW W, O, V, U c (W{O{U)~VXW W, P, Q, U c (W~U{P)~QXW W, P, Q, V c (W|P)~(Q~V)XW W, P, R, X c (W{R)~X|PXW W, P, T, V c (W{P{T)~VXW W, P, T, X c (W|P)~(T{X)XW W, P, U, Q c (W~U{P)~QXW W, P, U, U c (W{U)~(P{U)XW W, P, U, V c (W{P~U)~VXW W, P, U, W c (W|P)~(U{W)XW W, P, V, Q c (W|P)~(V~Q)XW W, P, V, T c (W{P{T)~VXW W, P, V, U c (W{P~U)~VXW W, P, V, V c (W|P{V)~VXW W, P, W, U c (W|P)~(W{U)XW W, P, X, R c (W{R)~X|PXW W, P, X, T c (W|P)~(X{T)XW W, P, X, X c W{(P{X)~XXW W, Q, P, U c (W~U{P)~QXW W, Q, P, V c (W|P)~(Q~V)XW W, Q, Q, U c W~Q~U{QXW W, Q, Q, V c (W~Q|Q)~VXW W, Q, R, S c W~R~S{QXW W, Q, R, V c (W{Q~R)~VXW W, Q, R, X c W~(R{X){QXW W, Q, S, R c W~S~R{QXW W, Q, S, V c (W{Q{S)~VXW W, Q, S, W c (W{S)~W{QXW W, Q, T, U c (W{U)~(Q{T)XW W, Q, T, V c W~(T{V){QXW W, Q, T, X c W{Q~T~XXW W, Q, U, P c (W~U{P)~QXW W, Q, U, Q c W~Q~U{QXW W, Q, U, T c (W{U)~(Q{T)XW W, Q, U, U c W~(U{U){QXW W, Q, U, W c (W{W)~U{QXW W, Q, U, X c (W{U)~(X|Q)XW W, Q, V, P c (W|P)~(Q~V)XW W, Q, V, Q c (W~Q|Q)~VXW W, Q, V, R c (W{Q~R)~VXW W, Q, V, S c (W{Q{S)~VXW W, Q, V, T c W~(V{T){QXW W, Q, V, V c (W~V|V)~QXW W, Q, V, W c (W|Q{W)~VXW W, Q, W, S c W~(W{S){QXW W, Q, W, U c (W{W)~U{QXW W, Q, W, V c (W|Q{W)~VXW W, Q, W, X c W{(Q{W)~XXW W, Q, X, R c W~(X{R){QXW W, Q, X, T c W{Q~X~TXW W, Q, X, U c (W{U)~(X|Q)XW W, Q, X, W c (W{Q)~X{WXW W, R, P, X c (W{R)~X|PXW W, R, Q, S c W~R~S{QXW W, R, Q, V c (W{R~Q)~VXW W, R, Q, X c W~(R{X){QXW W, R, R, V c (W{R{R)~VXW W, R, S, Q c W~R~S{QXW W, R, S, U c (W{U)~(R{S)XW W, R, T, U c W{R~T~UXW W, R, U, S c (W{U)~(R{S)XW W, R, U, T c W{R~U~TXW W, R, V, Q c (W{R~Q)~VXW W, R, V, R c (W{R{R)~VXW W, R, V, X c W{(R{V)~XXW W, R, X, P c (W{R)~X|PXW W, R, X, Q c W~(R{X){QXW W, R, X, V c (W|R{X)~VXW W, S, Q, R c W~S~R{QXW W, S, Q, V c (W{S{Q)~VXW W, S, Q, W c (W{S)~W{QXW W, S, R, Q c W~S~R{QXW W, S, R, U c (W{U)~(S{R)XW W, S, U, R c (W{U)~(S{R)XW W, S, U, X c W{(S{U)~XXW W, S, V, Q c (W{S{Q)~VXW W, S, V, V c WS~V~VXW W, S, W, Q c (W{S)~W{QXW W, S, X, U c W~(S{X)|UXW W, T, P, V c (W{T{P)~VXW W, T, P, X c (W|P)~(T{X)XW W, T, Q, U c (W{U)~(T{Q)XW W, T, Q, V c W~(T{V){QXW W, T, Q, X c W{T~Q~XXW W, T, R, U c W{T~R~UXW W, T, T, X c W{(T{T)~XXW W, T, U, Q c (W{U)~(T{Q)XW W, T, U, R c W{T~U~RXW W, T, U, W c (W{T)~W|UXW W, T, V, P c (W{T{P)~VXW W, T, V, Q c W~(T{V){QXW W, T, V, V c (W{T)~V{VXW W, T, W, U c (W{T)~W|UXW W, T, X, P c (W|P)~(T{X)XW W, T, X, Q c W{T~X~QXW W, T, X, T c W{(T{T)~XXW W, T, X, X c W{T~(X{X)XW W, U, O, V c (W{U{O)~VXW W, U, P, Q c (W~U{P)~QXW W, U, P, U c (W{U)~(P{U)XW W, U, P, V c (W{U)~(P~V)XW W, U, P, W c (W{U)~(W|P)XW W, U, Q, P c (W~U{P)~QXW W, U, Q, Q c W~U~Q{QXW W, U, Q, T c (W{U)~(Q{T)XW W, U, Q, U c W~(U{U){QXW W, U, Q, W c (W{W)~U{QXW W, U, Q, X c (W{U)~(X|Q)XW W, U, R, S c (W{U)~(R{S)XW W, U, R, T c W{U~R~TXW W, U, S, R c (W{U)~(S{R)XW W, U, S, X c W{(U{S)~XXW W, U, T, Q c (W{U)~(T{Q)XW W, U, T, R c W{U~T~RXW W, U, T, W c (W{T)~W|UXW W, U, U, P c (W{U)~(U{P)XW W, U, U, Q c W~(U{U){QXW W, U, U, V c W~(U{V)|UXW W, U, U, X c W{U~(U{X)XW W, U, V, O c (W{U)~(V{O)XW W, U, V, P c (W{U)~(V~P)XW W, U, V, U c W~(U{V)|UXW W, U, V, V c (W|U)~(V~V)XW W, U, V, W c W{U~(V{W)XW W, U, W, P c (W{U)~(W|P)XW W, U, W, Q c (W{W)~U{QXW W, U, W, T c W~(W{T)|UXW W, U, W, V c W{U~(W{V)XW W, U, X, Q c (W{U)~(X|Q)XW W, U, X, S c W{(U{S)~XXW W, U, X, U c W{(U{X)~UXW W, V, O, U c (W{O{U)~VXW W, V, P, Q c (W|P)~(V~Q)XW W, V, P, T c (W{P{T)~VXW W, V, P, U c (W{P~U)~VXW W, V, P, V c (W{V|P)~VXW W, V, Q, P c (W|P)~(V~Q)XW W, V, Q, Q c (W~Q|Q)~VXW W, V, Q, R c (W{Q~R)~VXW W, V, Q, S c (W{Q{S)~VXW W, V, Q, T c W~(V{T){QXW W, V, Q, V c (W~V|V)~QXW W, V, Q, W c (W|Q{W)~VXW W, V, R, Q c (W{R~Q)~VXW W, V, R, R c (W{R{R)~VXW W, V, R, X c W{(V{R)~XXW W, V, S, Q c (W{S{Q)~VXW W, V, S, V c W~VS~VXW W, V, T, P c (W{T{P)~VXW W, V, T, Q c W~(V{T){QXW W, V, T, V c (W{T)~V{VXW W, V, U, O c (W{U)~(V{O)XW W, V, U, P c (W{U)~(V~P)XW W, V, U, U c W~(V{U)|UXW W, V, U, V c W~V{U~VXW W, V, U, W c (W{V)~U{WXW W, V, V, P c (W{V|P)~VXW W, V, V, Q c (W~V|V)~QXW W, V, V, S c W~V~VSXW W, V, V, T c (W{T)~V{VXW W, V, V, U c W~V{V~UXW W, V, V, V c (W{V)~V|VXW W, V, W, Q c (W{W|Q)~VXW W, V, W, U c W{(V{W)~UXW W, V, X, R c W{(V{R)~XXW W, W, P, U c (W|P)~(W{U)XW W, W, Q, S c W~(W{S){QXW W, W, Q, U c (W{W)~U{QXW W, W, Q, V c (W{W|Q)~VXW W, W, Q, X c W{(W{Q)~XXW W, W, S, Q c W~(W{S){QXW W, W, T, U c W~(W{T)|UXW W, W, U, P c (W{U)~(W|P)XW W, W, U, Q c (W{W)~U{QXW W, W, U, T c W~(W{T)|UXW W, W, U, V c W{(W{V)~UXW W, W, V, Q c (W{W|Q)~VXW W, W, V, U c W{(W{V)~UXW W, W, X, Q c W{(W{Q)~XXW W, X, P, R c (W{R)~X|PXW W, X, P, T c (W|P)~(X{T)XW W, X, P, X c W{(X{P)~XXW W, X, Q, R c W~(X{R){QXW W, X, Q, T c W{X~Q~TXW W, X, Q, U c (W{U)~(X|Q)XW W, X, Q, W c W{X~(Q{W)XW W, X, R, P c (W{R)~X|PXW W, X, R, Q c W~(X{R){QXW W, X, R, V c (W{X|R)~VXW W, X, S, U c W{X~(S{U)XW W, X, T, P c (W|P)~(X{T)XW W, X, T, Q c W{X~T~QXW W, X, T, T c W{X~(T{T)XW W, X, T, X c W{(X{X)~TXW W, X, U, Q c (W{U)~(X|Q)XW W, X, U, S c W{X~(U{S)XW W, X, U, U c W{(X{U)~UXW W, X, V, R c W{X~(V{R)XW W, X, W, Q c W{X~(W{Q)XW W, X, X, P c W{X~(X{P)XW W, X, X, T c W{(X{X)~TXW W, X, X, X c W{X{X~XXW X, O, T, V c (X{O{T)~VXW X, O, V, T c (X{O{T)~VXW X, P, Q, X c (X{Q)~X|PXW X, P, R, W c X~(R{W)|PXW X, P, S, V c (X{P{S)~VXW X, P, T, U c (X{T)~(P{U)XW X, P, T, V c (X{P~T)~VXW X, P, T, W c (X{T)~(W|P)XW X, P, U, T c X~(U{T)|PXW X, P, U, V c (X|P{U)~VXW X, P, V, S c (X{P{S)~VXW X, P, V, T c (X{P~T)~VXW X, P, V, U c (X|P{U)~VXW X, P, W, R c X~(W{R)|PXW X, P, W, T c (X{T)~(W|P)XW X, P, W, X c (X{P)~X{WXW X, P, X, Q c X~(X{Q)|PXW X, P, X, W c (X{P)~X{WXW X, Q, P, X c (X{Q)~X|PXW X, Q, Q, V c (X|Q)~(Q~V)XW X, Q, R, V c (X{Q{R)~VXW X, Q, R, W c (X{R)~W{QXW X, Q, S, T c (X~T{S)~QXW X, Q, S, V c (X~Q|S)~VXW X, Q, T, S c (X~T{S)~QXW X, Q, T, T c (X{T)~(Q{T)XW X, Q, T, U c (X~U|T)~QXW X, Q, T, W c X~Q~T{WXW X, Q, T, X c (X|Q)~(T{X)XW X, Q, U, T c (X~U|T)~QXW X, Q, U, V c (X{V)~U{QXW X, Q, U, W c (X|Q)~(U{W)XW X, Q, V, Q c (X|Q)~(V~Q)XW X, Q, V, R c (X{Q{R)~VXW X, Q, V, S c (X~Q|S)~VXW X, Q, V, U c (X{V)~U{QXW X, Q, V, V c (X|Q{V)~VXW X, Q, W, R c (X{R)~W{QXW X, Q, W, T c X~Q~T{WXW X, Q, W, U c (X|Q)~(W{U)XW X, Q, W, W c X~(Q{W){WXW X, Q, X, P c (X{Q)~X|PXW X, Q, X, T c (X|Q)~(X{T)XW X, R, P, W c X~(R{W)|PXW X, R, Q, V c (X{R{Q)~VXW X, R, Q, W c (X{R)~W{QXW X, R, S, T c (X{T)~(R{S)XW X, R, T, S c (X{T)~(R{S)XW X, R, V, Q c (X{R{Q)~VXW X, R, V, W c X~(R{V){WXW X, R, W, P c X~(R{W)|PXW X, R, W, Q c (X{R)~W{QXW X, R, W, V c (X|R{W)~VXW X, S, P, V c (X{S{P)~VXW X, S, Q, T c (X~T{S)~QXW X, S, Q, V c (X~Q|S)~VXW X, S, R, T c (X{T)~(S{R)XW X, S, T, Q c (X~T{S)~QXW X, S, T, R c (X{T)~(S{R)XW X, S, U, W c X~(S{U){WXW X, S, V, P c X~(S{V)|PXW X, S, V, Q c (X~Q|S)~VXW X, S, V, V c (X{S)~V{VXW X, S, V, X c (X|S{X)~VXW X, S, W, U c (X{S)~W|UXW X, S, X, V c (X|S{X)~VXW X, T, O, V c (X{T{O)~VXW X, T, P, U c (X{T)~(P{U)XW X, T, P, V c (X{T)~(P~V)XW X, T, P, W c (X{T)~(W|P)XW X, T, Q, S c (X~T{S)~QXW X, T, Q, T c (X{T)~(Q{T)XW X, T, Q, U c (X~U|T)~QXW X, T, Q, W c X~T~Q{WXW X, T, Q, X c (X{T)~(X|Q)XW X, T, R, S c (X{T)~(R{S)XW X, T, S, Q c (X~T{S)~QXW X, T, S, R c (X{T)~(S{R)XW X, T, T, Q c (X{T)~(T{Q)XW X, T, T, W c X~(T{T){WXW X, T, U, P c (X{T)~(U{P)XW X, T, U, Q c (X~U|T)~QXW X, T, V, O c (X{T)~(V{O)XW X, T, V, P c (X{T)~(V~P)XW X, T, V, V c X~V{T~VXW X, T, W, P c (X{T)~(W|P)XW X, T, W, Q c (X{T~W)~QXW X, T, W, T c X~(T{T){WXW X, T, W, X c (X{X)~T{WXW X, T, X, Q c (X{T)~(X|Q)XW X, T, X, W c (X{X)~T{WXW X, U, P, T c X~(U{T)|PXW X, U, P, V c (X{U|P)~VXW X, U, Q, T c (X~U|T)~QXW X, U, Q, V c (X{V)~U{QXW X, U, Q, W c (X|Q)~(U{W)XW X, U, S, W c X~(U{S){WXW X, U, T, P c X~(U{T)|PXW X, U, T, Q c (X~U|T)~QXW X, U, U, W c (X{U)~U{WXW X, U, V, P c (X{U|P)~VXW X, U, V, Q c (X{V)~U{QXW X, U, V, V c (X{U)~V|VXW X, U, W, Q c (X|Q)~(U{W)XW X, U, W, S c X~(U{S){WXW X, U, W, U c (X{U)~U{WXW X, V, O, T c (X{O{T)~VXW X, V, P, S c X~(V{S)|PXW X, V, P, T c (X{P~T)~VXW X, V, P, U c (X|P{U)~VXW X, V, Q, Q c (X|Q)~(V~Q)XW X, V, Q, R c (X{Q{R)~VXW X, V, Q, S c (X~Q|S)~VXW X, V, Q, U c (X{V)~U{QXW X, V, Q, V c (X{V|Q)~VXW X, V, R, Q c (X{R{Q)~VXW X, V, R, W c X~(V{R){WXW X, V, S, P c X~(V{S)|PXW X, V, S, Q c (X~Q|S)~VXW X, V, S, V c (X{S)~V{VXW X, V, S, X c (X|S{X)~VXW X, V, T, O c (X{T)~(V{O)XW X, V, T, P c (X{T)~(V~P)XW X, V, T, V c X~V{T~VXW X, V, U, P c (X{U|P)~VXW X, V, U, Q c (X{V)~U{QXW X, V, U, V c (X{U)~V|VXW X, V, V, Q c (X{V|Q)~VXW X, V, V, S c (X{S)~V{VXW X, V, V, T c X~V{V~TXW X, V, V, U c (X{U)~V|VXW X, V, V, V c (X|V)~(V~V)XW X, V, W, R c X~(V{R){WXW X, V, X, S c (X{X|S)~VXW X, W, P, R c X~(W{R)|PXW X, W, P, T c (X{T)~(W|P)XW X, W, P, X c (X{P)~X{WXW X, W, Q, R c (X{R)~W{QXW X, W, Q, T c (X{W~T)~QXW X, W, Q, U c (X|Q)~(W{U)XW X, W, Q, W c X~(W{Q){WXW X, W, R, P c X~(W{R)|PXW X, W, R, Q c (X{R)~W{QXW X, W, R, V c (X{W|R)~VXW X, W, S, U c (X{W)~U|SXW X, W, T, P c (X{T)~(W|P)XW X, W, T, Q c (X{W~T)~QXW X, W, T, T c X~(T{T){WXW X, W, T, X c (X{X)~T{WXW X, W, U, Q c (X|Q)~(W{U)XW X, W, U, S c (X{W)~U|SXW X, W, U, U c (X{U)~U{WXW X, W, V, R c (X{W|R)~VXW X, W, W, Q c X~(W{Q){WXW X, W, X, P c X~(X{P){WXW X, W, X, T c (X{X)~T{WXW X, W, X, X c X{W{X~XXW X, X, P, Q c X~(X{Q)|PXW X, X, P, W c X~(X{P){WXW X, X, Q, P c X~(X{Q)|PXW X, X, Q, T c (X|Q)~(X{T)XW X, X, S, V c (X{X|S)~VXW X, X, T, Q c (X{T)~(X|Q)XW X, X, T, W c (X{X)~T{WXW X, X, V, S c (X{X|S)~VXW X, X, W, P c X~(X{P){WXW X, X, W, T c (X{X)~T{WXW X, X, W, X c X~X{W{XXW X, X, X, W c X{X~X{WXW