O, Q, U, W c O{Q~U~WXU O, Q, W, U c O{Q~W~UXU O, R, S, W c O{R~S~WXU O, R, W, S c O{R~W~SXU O, R, W, X c (O{R{X)~WXU O, R, X, W c (O{R{X)~WXU O, S, R, W c O{S~R~WXU O, S, S, U c O{S~S~UXU O, S, U, S c O{S~U~SXU O, S, W, R c O{S~W~RXU O, S, W, W c (O{S{W)~WXU O, T, V, W c (O{T{V)~WXU O, T, W, V c (O{T{V)~WXU O, U, Q, W c O{U~Q~WXU O, U, S, S c O{U~S~SXU O, U, U, W c (O{U{U)~WXU O, U, V, X c (O{U)~(V{X)XU O, U, W, Q c O{U~W~QXU O, U, W, U c (O{U{U)~WXU O, U, W, W c (O{U)~(W{W)XU O, U, X, V c (O{U)~(X{V)XU O, V, T, W c (O{V{T)~WXU O, V, U, X c (O{V{X)~UXU O, V, W, T c (O{V{T)~WXU O, V, X, U c (O{V{X)~UXU O, W, Q, U c O{W~Q~UXU O, W, R, S c O{W~R~SXU O, W, R, X c (O{W)~(R{X)XU O, W, S, R c O{W~S~RXU O, W, S, W c (O{W{S)~WXU O, W, T, V c (O{W)~(T{V)XU O, W, U, Q c O{W~U~QXU O, W, U, U c (O{W)~(U{U)XU O, W, U, W c (O{W{W)~UXU O, W, V, T c (O{W)~(V{T)XU O, W, W, S c (O{W)~(W{S)XU O, W, W, U c (O{W{W)~UXU O, W, X, R c (O{W)~(X{R)XU O, X, R, W c (O{X{R)~WXU O, X, U, V c (O{X{V)~UXU O, X, V, U c (O{X{V)~UXU O, X, W, R c (O{X{R)~WXU P, P, U, W c (P{P)~(U~W)XU P, P, W, U c (P{P)~(W~U)XU P, Q, S, W c (P{Q)~(S~W)XU P, Q, T, W c (P{T)~(Q~W)XU P, Q, U, V c (P{V)~(Q~U)XU P, Q, U, W c P~Q~U~WXU P, Q, U, X c (Q~U)~(X|P)XU P, Q, V, U c (P{V)~(Q~U)XU P, Q, V, V c Q~(V~V|P)XU P, Q, V, W c Q~(V|P)~WXU P, Q, W, S c (P{Q)~(W~S)XU P, Q, W, T c (P{T)~(Q~W)XU P, Q, W, U c P~Q~W~UXU P, Q, W, V c (Q~W)~(V|P)XU P, Q, W, X c (P{Q{X)~WXU P, Q, X, U c Q~(X|P)~UXU P, Q, X, W c (P{Q{X)~WXU P, R, R, W c (P{R)~(R~W)XU P, R, S, U c (P{R)~(S~U)XU P, R, S, V c (P{V)~(R~S)XU P, R, S, W c P~R~S~WXU P, R, S, X c (R~S)~(X|P)XU P, R, T, U c (P{R~T)~UXU P, R, T, W c R~(T|P)~WXU P, R, U, S c (P{R)~(U~S)XU P, R, U, T c (P{R~T)~UXU P, R, U, W c (R|P)~(U~W)XU P, R, V, S c (P{V)~(R~S)XU P, R, V, X c (P{V)~(R{X)XU P, R, W, R c (P{R)~(W~R)XU P, R, W, S c P~R~W~SXU P, R, W, T c (R~W)~(T|P)XU P, R, W, U c (R|P)~(W~U)XU P, R, W, W c (P{R{W)~WXU P, R, W, X c (P~R{X)~WXU P, R, X, S c R~(X|P)~SXU P, R, X, V c (P{V)~(R{X)XU P, R, X, W c (P~R{X)~WXU P, R, X, X c (R{X)~(X|P)XU P, S, Q, W c (P{Q)~(S~W)XU P, S, R, U c (P{R)~(S~U)XU P, S, R, V c (P{V)~(S~R)XU P, S, R, W c P~S~R~WXU P, S, R, X c (S~R)~(X|P)XU P, S, S, T c (P{T)~(S~S)XU P, S, S, U c P~S~S~UXU P, S, S, V c (S~S)~(V|P)XU P, S, S, W c (S|P)~(S~W)XU P, S, T, S c (P{T)~(S~S)XU P, S, T, T c S~(T~T|P)XU P, S, T, U c S~(T|P)~UXU P, S, U, R c (P{R)~(S~U)XU P, S, U, S c P~S~U~SXU P, S, U, T c (S~U)~(T|P)XU P, S, V, R c (P{V)~(S~R)XU P, S, V, S c S~(V|P)~SXU P, S, V, W c (P{S{V)~WXU P, S, W, Q c (P{Q)~(S~W)XU P, S, W, R c P~S~W~RXU P, S, W, S c (S|P)~(W~S)XU P, S, W, V c (P{S{V)~WXU P, S, W, W c (P~S{W)~WXU P, S, W, X c (S|P{X)~WXU P, S, X, R c S~(X|P)~RXU P, S, X, W c (S|P{X)~WXU P, T, Q, W c (P{T)~(Q~W)XU P, T, R, U c (P{T~R)~UXU P, T, R, W c (T|P)~(R~W)XU P, T, S, S c (P{T)~(S~S)XU P, T, S, T c (T~T|P)~SXU P, T, S, U c (T|P)~(S~U)XU P, T, T, S c (T~T|P)~SXU P, T, U, R c (P{T~R)~UXU P, T, U, S c (T|P)~(U~S)XU P, T, U, W c (P{T{U)~WXU P, T, V, V c (P{V)~(T{V)XU P, T, V, W c (P~T{V)~WXU P, T, V, X c (P{T)~(V{X)XU P, T, W, Q c (P{T)~(W~Q)XU P, T, W, R c (T|P)~(W~R)XU P, T, W, U c (P{T{U)~WXU P, T, W, V c (P~T{V)~WXU P, T, W, W c (P{T)~(W{W)XU P, T, X, V c (P{T)~(X{V)XU P, U, P, W c (P{P)~(U~W)XU P, U, Q, V c (P{V)~(U~Q)XU P, U, Q, W c P~U~Q~WXU P, U, Q, X c (U~Q)~(X|P)XU P, U, R, S c (P{R)~(U~S)XU P, U, R, T c (P{R~T)~UXU P, U, R, W c U~(R|P)~WXU P, U, S, R c (P{R)~(U~S)XU P, U, S, S c P~U~S~SXU P, U, S, T c (U~S)~(T|P)XU P, U, T, R c (P{T~R)~UXU P, U, T, S c U~(T|P)~SXU P, U, T, W c (P{U{T)~WXU P, U, U, V c (P{V)~(U{U)XU P, U, U, W c (P~U{U)~WXU P, U, U, X c (P{U{X)~UXU P, U, V, Q c (P{V)~(U~Q)XU P, U, V, U c (P{V)~(U{U)XU P, U, V, W c (P{V{W)~UXU P, U, V, X c (P~U)~(V{X)XU P, U, W, P c (P{P)~(U~W)XU P, U, W, Q c P~U~W~QXU P, U, W, R c (U~W)~(R|P)XU P, U, W, T c (P{U{T)~WXU P, U, W, U c (P~U{U)~WXU P, U, W, V c (P{W{V)~UXU P, U, W, W c (P~U)~(W{W)XU P, U, W, X c U~(W|P{X)XU P, U, X, Q c U~(X|P)~QXU P, U, X, U c (P{U{X)~UXU P, U, X, V c (P~U)~(X{V)XU P, U, X, W c U~(X|P{W)XU P, U, X, X c (P{X)~X{UXU P, V, Q, U c (P{V)~(Q~U)XU P, V, Q, V c (V~V|P)~QXU P, V, Q, W c (V|P)~(Q~W)XU P, V, R, S c (P{V)~(R~S)XU P, V, R, X c (P{V)~(R{X)XU P, V, S, R c (P{V)~(S~R)XU P, V, S, S c (V|P)~(S~S)XU P, V, S, W c (P{V{S)~WXU P, V, T, V c (P{V)~(T{V)XU P, V, T, W c (P~V{T)~WXU P, V, T, X c (P{T)~(V{X)XU P, V, U, Q c (P{V)~(U~Q)XU P, V, U, U c (P{V)~(U{U)XU P, V, U, W c (P{V{W)~UXU P, V, U, X c (P~V{X)~UXU P, V, V, Q c (V~V|P)~QXU P, V, V, T c (P{V)~(V{T)XU P, V, V, X c (V|P)~(V{X)XU P, V, W, Q c (V|P)~(W~Q)XU P, V, W, S c (P{V)~(W{S)XU P, V, W, T c (P~V{T)~WXU P, V, W, U c (P{V{W)~UXU P, V, W, W c (V|P)~(W{W)XU P, V, X, R c (P{V)~(X{R)XU P, V, X, T c (P{T)~(V{X)XU P, V, X, U c (P~V{X)~UXU P, V, X, V c (V|P)~(X{V)XU P, W, P, U c (P{P)~(W~U)XU P, W, Q, S c (P{Q)~(W~S)XU P, W, Q, T c (P{T)~(W~Q)XU P, W, Q, U c P~W~Q~UXU P, W, Q, V c (W~Q)~(V|P)XU P, W, Q, X c (P{Q{X)~WXU P, W, R, R c (P{R)~(W~R)XU P, W, R, S c P~W~R~SXU P, W, R, T c (W~R)~(T|P)XU P, W, R, U c W~(R|P)~UXU P, W, R, W c (P{W{R)~WXU P, W, R, X c (P~W)~(R{X)XU P, W, S, Q c (P{Q)~(W~S)XU P, W, S, R c P~W~S~RXU P, W, S, S c W~(S|P)~SXU P, W, S, V c (P{S{V)~WXU P, W, S, W c (P~W{S)~WXU P, W, S, X c W~(S|P{X)XU P, W, T, Q c (P{T)~(W~Q)XU P, W, T, R c W~(T|P)~RXU P, W, T, U c (P{T{U)~WXU P, W, T, V c (P~W)~(T{V)XU P, W, T, W c (P{T)~(W{W)XU P, W, U, P c (P{P)~(W~U)XU P, W, U, Q c P~W~U~QXU P, W, U, R c (W~U)~(R|P)XU P, W, U, T c (P{U{T)~WXU P, W, U, U c (P~W)~(U{U)XU P, W, U, V c (P{W{V)~UXU P, W, U, W c (P~W{W)~UXU P, W, U, X c (W|P{X)~UXU P, W, V, Q c W~(V|P)~QXU P, W, V, S c (P{V)~(W{S)XU P, W, V, T c (P~W)~(V{T)XU P, W, V, U c (P{W{V)~UXU P, W, V, W c (W{W)~(V|P)XU P, W, W, R c (P{W{R)~WXU P, W, W, S c (P~W)~(W{S)XU P, W, W, T c (P{T)~(W{W)XU P, W, W, U c (P~W{W)~UXU P, W, W, V c (W{W)~(V|P)XU P, W, X, Q c (P{X{Q)~WXU P, W, X, R c (P~W)~(X{R)XU P, W, X, S c W~(X|P{S)XU P, W, X, U c (W|P{X)~UXU P, X, Q, U c (X|P)~(Q~U)XU P, X, Q, W c (P{X{Q)~WXU P, X, R, S c (X|P)~(R~S)XU P, X, R, V c (P{V)~(X{R)XU P, X, R, W c (P~X{R)~WXU P, X, R, X c (X|P)~(R{X)XU P, X, S, R c (X|P)~(S~R)XU P, X, S, W c (X|P{S)~WXU P, X, T, V c (P{T)~(X{V)XU P, X, U, Q c (X|P)~(U~Q)XU P, X, U, U c (P{X{U)~UXU P, X, U, V c (P~X{V)~UXU P, X, U, W c (X|P{W)~UXU P, X, U, X c (P{X)~X{UXU P, X, V, R c (P{V)~(X{R)XU P, X, V, T c (P{T)~(X{V)XU P, X, V, U c (P~X{V)~UXU P, X, V, V c (X{V)~(V|P)XU P, X, W, Q c (P{X{Q)~WXU P, X, W, R c (P~X{R)~WXU P, X, W, S c (X|P)~(W{S)XU P, X, W, U c (X|P{W)~UXU P, X, X, R c (X|P)~(X{R)XU P, X, X, U c (P{X)~X{UXU Q, O, U, W c (Q{O)~(U~W)XU Q, O, W, U c (Q{O)~(W~U)XU Q, P, S, W c (Q{P)~(S~W)XU Q, P, T, W c Q~(P{T)~WXU Q, P, U, V c Q~(P{V)~UXU Q, P, U, W c Q~P~U~WXU Q, P, U, X c (Q~U)~(X|P)XU Q, P, V, U c Q~(P{V)~UXU Q, P, V, V c Q~(V~V|P)XU Q, P, V, W c Q~(V|P)~WXU Q, P, W, S c (Q{P)~(W~S)XU Q, P, W, T c Q~(P{T)~WXU Q, P, W, U c Q~P~W~UXU Q, P, W, V c (Q~W)~(V|P)XU Q, P, W, X c (Q{P{X)~WXU Q, P, X, U c Q~(X|P)~UXU Q, P, X, W c (Q{P{X)~WXU Q, Q, R, W c (Q{Q)~(R~W)XU Q, Q, S, U c (Q{Q)~(S~U)XU Q, Q, S, W c Q~(Q{S)~WXU Q, Q, T, W c (Q{Q~T)~WXU Q, Q, U, S c (Q{Q)~(U~S)XU Q, Q, U, U c Q~(Q{U)~UXU Q, Q, U, V c (Q{Q~V)~UXU Q, Q, U, X c (Q~X|Q)~UXU Q, Q, V, U c (Q{Q~V)~UXU Q, Q, V, V c Q~V~V|QXU Q, Q, V, W c (Q~V|Q)~WXU Q, Q, W, R c (Q{Q)~(W~R)XU Q, Q, W, S c Q~(Q{S)~WXU Q, Q, W, T c (Q{Q~T)~WXU Q, Q, W, V c (Q~V|Q)~WXU Q, Q, W, W c (Q{Q{W)~WXU Q, Q, X, U c (Q~X|Q)~UXU Q, R, Q, W c Q~R~Q~WXU Q, R, R, W c Q~(R{R)~WXU Q, R, S, S c Q~R~S~SXU Q, R, S, U c (Q{U)~(R~S)XU Q, R, S, X c Q~(R{X)~SXU Q, R, T, U c Q~(R{T)~UXU Q, R, T, X c Q~(R{T~X)XU Q, R, U, S c (Q{U)~(R~S)XU Q, R, U, T c Q~(R{T)~UXU Q, R, U, U c (R~U|Q)~UXU Q, R, U, W c (Q~R{U)~WXU Q, R, U, X c (Q{U)~(R{X)XU Q, R, V, W c (Q{R{V)~WXU Q, R, V, X c (Q~R)~(V{X)XU Q, R, W, Q c Q~R~W~QXU Q, R, W, R c Q~(R{R)~WXU Q, R, W, U c (Q~R{U)~WXU Q, R, W, V c (Q{R{V)~WXU Q, R, W, W c (Q~R)~(W{W)XU Q, R, W, X c (Q~W)~(X|R)XU Q, R, X, S c Q~(R{X)~SXU Q, R, X, T c Q~(R{X~T)XU Q, R, X, U c (Q{U)~(R{X)XU Q, R, X, V c (Q~R)~(X{V)XU Q, R, X, W c Q~(X|R)~WXU Q, R, X, X c (Q{X)~X|RXU Q, S, P, W c (Q{P)~(S~W)XU Q, S, Q, U c Q~S~Q~UXU Q, S, Q, W c (Q{S)~(Q~W)XU Q, S, R, S c Q~S~R~SXU Q, S, R, U c (Q{U)~(S~R)XU Q, S, R, X c (Q~S)~(R{X)XU Q, S, S, R c Q~S~S~RXU Q, S, S, S c (Q{S)~(S~S)XU Q, S, S, U c Q~(S{S)~UXU Q, S, S, W c (Q~S{S)~WXU Q, S, T, V c (Q~S)~(T{V)XU Q, S, T, W c S~(T|Q)~WXU Q, S, U, Q c Q~S~U~QXU Q, S, U, R c (Q{U)~(S~R)XU Q, S, U, S c Q~(S{S)~UXU Q, S, U, U c (Q~S)~(U{U)XU Q, S, U, W c (Q{S{U)~WXU Q, S, U, X c (Q~X{U)~SXU Q, S, V, T c (Q~S)~(V{T)XU Q, S, V, X c (Q{S)~(V{X)XU Q, S, W, P c (Q{P)~(S~W)XU Q, S, W, Q c (Q{S)~(W~Q)XU Q, S, W, S c Q~(S{W)~SXU Q, S, W, T c (S~W)~(T|Q)XU Q, S, W, U c (Q~S{W)~UXU Q, S, W, W c (Q{S)~(W{W)XU Q, S, X, R c (Q~S)~(X{R)XU Q, S, X, U c (Q~X{U)~SXU Q, S, X, V c (Q{S)~(X{V)XU Q, T, P, W c Q~(T{P)~WXU Q, T, Q, W c (Q{T~Q)~WXU Q, T, R, U c Q~(T{R)~UXU Q, T, R, X c Q~(T~X{R)XU Q, T, S, V c Q~(T{V)~SXU Q, T, S, W c (T|Q)~(S~W)XU Q, T, T, W c (Q{T{T)~WXU Q, T, U, R c (Q{T~U)~RXU Q, T, U, U c (Q~T{U)~UXU Q, T, U, V c (Q{U)~(T{V)XU Q, T, U, X c (Q{T{X)~UXU Q, T, V, S c Q~(T{V)~SXU Q, T, V, U c (Q{U)~(T{V)XU Q, T, V, X c (T{X)~V|QXU Q, T, W, P c Q~(T{P)~WXU Q, T, W, Q c (Q{T~Q)~WXU Q, T, W, S c (T|Q)~(W~S)XU Q, T, W, T c (Q{T{T)~WXU Q, T, W, W c Q~(T~W{W)XU Q, T, W, X c (T|Q{X)~WXU Q, T, X, R c Q~(T~X{R)XU Q, T, X, U c (Q{T{X)~UXU Q, T, X, V c (T{X)~V|QXU Q, T, X, W c (T|Q{X)~WXU Q, U, O, W c (Q~U{O)~WXU Q, U, P, V c (Q~U)~(P{V)XU Q, U, P, W c Q~U~P~WXU Q, U, P, X c (Q~U)~(X|P)XU Q, U, Q, S c Q~U~Q~SXU Q, U, Q, U c (Q{U)~(Q~U)XU Q, U, Q, V c (Q{Q~V)~UXU Q, U, Q, X c (Q~X|Q)~UXU Q, U, R, S c (Q{U)~(R~S)XU Q, U, R, T c (Q~U)~(R{T)XU Q, U, R, U c (U~R|Q)~UXU Q, U, R, W c (Q~R{U)~WXU Q, U, R, X c (Q{U)~(R{X)XU Q, U, S, Q c Q~U~S~QXU Q, U, S, R c (Q{U)~(S~R)XU Q, U, S, S c (Q~U)~(S{S)XU Q, U, S, U c (Q~U{S)~UXU Q, U, S, W c (Q{U{S)~WXU Q, U, S, X c (Q~X{U)~SXU Q, U, T, R c (Q{U~T)~RXU Q, U, T, U c (Q~T{U)~UXU Q, U, T, V c (Q{U)~(T{V)XU Q, U, T, X c (Q{T{X)~UXU Q, U, U, Q c (Q{U)~(U~Q)XU Q, U, U, R c U~(U~R|Q)XU Q, U, U, S c Q~(U{U)~SXU Q, U, U, T c (Q~T{U)~UXU Q, U, U, U c (Q{U)~(U{U)XU Q, U, U, V c Q~(U{U~V)XU Q, U, U, W c (Q{U{W)~UXU Q, U, U, X c Q~(U~X|U)XU Q, U, V, P c (Q~U)~(V{P)XU Q, U, V, Q c (Q{V~Q)~UXU Q, U, V, T c (Q{U)~(V{T)XU Q, U, V, U c Q~(U{V~U)XU Q, U, V, V c (Q{V{V)~UXU Q, U, V, W c (U{W)~V|QXU Q, U, W, O c Q~U~W{OXU Q, U, W, P c Q~U~W~PXU Q, U, W, R c (Q~R{U)~WXU Q, U, W, S c (Q{U)~(W{S)XU Q, U, W, U c (Q{U{W)~UXU Q, U, W, V c (U{W)~V|QXU Q, U, W, W c (U|Q{W)~WXU Q, U, W, X c (Q{W)~X{UXU Q, U, X, P c (Q~U)~(X|P)XU Q, U, X, Q c (Q~X|Q)~UXU Q, U, X, R c (Q{U)~(X{R)XU Q, U, X, S c (Q~X{U)~SXU Q, U, X, T c (Q{X{T)~UXU Q, U, X, U c Q~(U~X|U)XU Q, U, X, W c (Q~X|U)~WXU Q, U, X, X c U~(X|Q{X)XU Q, V, P, U c Q~(V{P)~UXU Q, V, P, V c Q~(V~V|P)XU Q, V, P, W c Q~(V|P)~WXU Q, V, Q, U c (Q{V~Q)~UXU Q, V, Q, V c Q~V~V|QXU Q, V, Q, W c (Q~V|Q)~WXU Q, V, R, W c (Q{V{R)~WXU Q, V, R, X c Q~(V{X)~RXU Q, V, S, T c Q~(V{T)~SXU Q, V, S, X c (Q{S)~(V{X)XU Q, V, T, S c Q~(V{T)~SXU Q, V, T, U c (Q{U)~(V{T)XU Q, V, T, X c V~(T{X)|QXU Q, V, U, P c Q~(V{P)~UXU Q, V, U, Q c (Q{V~Q)~UXU Q, V, U, T c (Q{U)~(V{T)XU Q, V, U, U c Q~(V~U{U)XU Q, V, U, V c (Q{V{V)~UXU Q, V, U, W c V~(U{W)|QXU Q, V, V, P c Q~(V~V|P)XU Q, V, V, Q c Q~V~V|QXU Q, V, V, U c (Q{V{V)~UXU Q, V, V, V c (V{V)~V|QXU Q, V, V, W c (V|Q{V)~WXU Q, V, W, P c Q~(V|P)~WXU Q, V, W, Q c (Q~V|Q)~WXU Q, V, W, R c (Q{V{R)~WXU Q, V, W, U c V~(W{U)|QXU Q, V, W, V c (V|Q{V)~WXU Q, V, W, W c Q~(V~W|W)XU Q, V, W, X c (V{X)~(W|Q)XU Q, V, X, R c Q~(V{X)~RXU Q, V, X, S c (Q{S)~(V{X)XU Q, V, X, T c V~(X{T)|QXU Q, V, X, W c (V{X)~(W|Q)XU Q, W, O, U c (Q~W{O)~UXU Q, W, P, S c (Q{P)~(W~S)XU Q, W, P, T c (Q~W)~(P{T)XU Q, W, P, U c Q~W~P~UXU Q, W, P, V c (Q~W)~(V|P)XU Q, W, P, X c (Q{P{X)~WXU Q, W, Q, R c Q~W~Q~RXU Q, W, Q, S c (Q~W)~(Q{S)XU Q, W, Q, T c (Q{Q~T)~WXU Q, W, Q, V c (Q~V|Q)~WXU Q, W, Q, W c (Q{W{Q)~WXU Q, W, R, Q c Q~W~R~QXU Q, W, R, R c (Q~W)~(R{R)XU Q, W, R, U c (Q~R{U)~WXU Q, W, R, V c (Q{R{V)~WXU Q, W, R, W c Q~(W{W)~RXU Q, W, R, X c (Q~W)~(X|R)XU Q, W, S, P c (Q{P)~(W~S)XU Q, W, S, Q c (Q~W)~(S{Q)XU Q, W, S, S c Q~(W{S)~SXU Q, W, S, T c (W~S)~(T|Q)XU Q, W, S, U c (Q~S{W)~UXU Q, W, S, W c (Q~W|S)~WXU Q, W, T, P c (Q~W)~(T{P)XU Q, W, T, Q c (Q{T~Q)~WXU Q, W, T, S c W~(T|Q)~SXU Q, W, T, T c (Q{T{T)~WXU Q, W, T, W c Q~(W{T~W)XU Q, W, T, X c W~(T|Q{X)XU Q, W, U, O c Q~W~U{OXU Q, W, U, P c Q~W~U~PXU Q, W, U, R c (Q~R{U)~WXU Q, W, U, S c (Q{U)~(W{S)XU Q, W, U, U c (Q{W{U)~UXU Q, W, U, V c (W{U)~V|QXU Q, W, U, W c (W|Q{U)~WXU Q, W, U, X c (Q{W)~X{UXU Q, W, V, P c (Q~W)~(V|P)XU Q, W, V, Q c (Q~V|Q)~WXU Q, W, V, R c (Q{V{R)~WXU Q, W, V, U c (W{U)~V|QXU Q, W, V, V c W~(V|Q{V)XU Q, W, V, W c Q~(W~V|W)XU Q, W, V, X c (W|Q)~(V{X)XU Q, W, W, Q c (Q~W)~(W|Q)XU Q, W, W, R c Q~(W{W)~RXU Q, W, W, S c (Q~W{W)~SXU Q, W, W, T c Q~(W{W~T)XU Q, W, W, U c (W|Q{U)~WXU Q, W, W, V c Q~(W~V|W)XU Q, W, W, W c (W|Q)~(W{W)XU Q, W, W, X c (Q{X)~W{WXU Q, W, X, P c (Q{X{P)~WXU Q, W, X, R c (Q~W)~(X|R)XU Q, W, X, T c W~(X|Q{T)XU Q, W, X, U c (Q{W)~X{UXU Q, W, X, V c (W|Q)~(X{V)XU Q, W, X, W c (Q{X)~W{WXU Q, X, P, U c Q~(X|P)~UXU Q, X, P, W c (Q{X{P)~WXU Q, X, Q, U c (Q~X|Q)~UXU Q, X, R, S c Q~(X{R)~SXU Q, X, R, T c Q~(X~T{R)XU Q, X, R, U c (Q{U)~(X{R)XU Q, X, R, V c Q~(X{V)~RXU Q, X, R, W c Q~(X|R)~WXU Q, X, R, X c (Q{X)~X|RXU Q, X, S, R c Q~(X{R)~SXU Q, X, S, U c (Q~X{U)~SXU Q, X, S, V c (Q{S)~(X{V)XU Q, X, T, R c Q~(X~T{R)XU Q, X, T, U c (Q{X{T)~UXU Q, X, T, V c (X{T)~V|QXU Q, X, T, W c (X|Q{T)~WXU Q, X, U, P c Q~(X|P)~UXU Q, X, U, Q c (Q~X|Q)~UXU Q, X, U, R c (Q{U)~(X{R)XU Q, X, U, S c (Q~X{U)~SXU Q, X, U, T c (Q{X{T)~UXU Q, X, U, U c Q~(X~U|U)XU Q, X, U, W c (Q~X|U)~WXU Q, X, U, X c (X|Q{X)~UXU Q, X, V, R c Q~(X{V)~RXU Q, X, V, S c (Q{S)~(X{V)XU Q, X, V, T c (X{T)~V|QXU Q, X, V, W c (X{V)~(W|Q)XU Q, X, W, P c (Q{X{P)~WXU Q, X, W, R c Q~(X|R)~WXU Q, X, W, T c (X|Q{T)~WXU Q, X, W, U c (Q~X|U)~WXU Q, X, W, V c (X{V)~(W|Q)XU Q, X, W, W c (Q{X)~W{WXU Q, X, X, R c (Q{X)~X|RXU Q, X, X, U c (X|Q{X)~UXU R, O, S, W c (R{O)~(S~W)XU R, O, W, S c (R{O)~(W~S)XU R, O, W, X c (R{O{X)~WXU R, O, X, W c (R{O{X)~WXU R, P, R, W c (R{P)~(R~W)XU R, P, S, U c (R{P)~(S~U)XU R, P, S, V c R~(P{V)~SXU R, P, S, W c R~P~S~WXU R, P, S, X c (R~S)~(X|P)XU R, P, T, U c (R~T{P)~UXU R, P, T, W c R~(T|P)~WXU R, P, U, S c (R{P)~(U~S)XU R, P, U, T c (R~T{P)~UXU R, P, U, W c (R|P)~(U~W)XU R, P, V, S c R~(P{V)~SXU R, P, V, X c (R{X)~(P{V)XU R, P, W, R c (R{P)~(W~R)XU R, P, W, S c R~P~W~SXU R, P, W, T c (R~W)~(T|P)XU R, P, W, U c (R|P)~(W~U)XU R, P, W, W c (R{P{W)~WXU R, P, W, X c (R{P~X)~WXU R, P, X, S c R~(X|P)~SXU R, P, X, V c (R{X)~(P{V)XU R, P, X, W c (R{P~X)~WXU R, P, X, X c (R{X)~(X|P)XU R, Q, Q, W c R~(Q{Q)~WXU R, Q, R, W c (R{R)~(Q~W)XU R, Q, S, S c R~Q~S~SXU R, Q, S, U c R~(Q{U)~SXU R, Q, S, X c (R{X)~(Q~S)XU R, Q, T, U c R~(Q{T~U)XU R, Q, T, X c (R{T~X)~QXU R, Q, U, S c R~(Q{U)~SXU R, Q, U, T c R~(Q{U~T)XU R, Q, U, U c (R~U|Q)~UXU R, Q, U, W c (R~Q{U)~WXU R, Q, U, X c (R{X)~(Q{U)XU R, Q, V, W c (R{Q{V)~WXU R, Q, V, X c (R~Q)~(V{X)XU R, Q, W, Q c R~Q~W~QXU R, Q, W, R c (R{R)~(Q~W)XU R, Q, W, U c (R~Q{U)~WXU R, Q, W, V c (R{Q{V)~WXU R, Q, W, W c (R~Q)~(W{W)XU R, Q, W, X c (Q~W)~(X|R)XU R, Q, X, S c (R{X)~(Q~S)XU R, Q, X, T c (R{X~T)~QXU R, Q, X, U c (R{X)~(Q{U)XU R, Q, X, V c (R~Q)~(X{V)XU R, Q, X, W c Q~(X|R)~WXU R, Q, X, X c (Q{X)~X|RXU R, R, P, W c R~(R{P)~WXU R, R, Q, W c (R{R)~(Q~W)XU R, R, R, W c (R{R~R)~WXU R, R, S, S c (R{R)~(S~S)XU R, R, S, T c R~(R{T)~SXU R, R, S, V c (R{R~V)~SXU R, R, S, X c (R~X|R)~SXU R, R, T, S c R~(R{T)~SXU R, R, T, V c R~(T~V|R)XU R, R, T, W c (R~T|R)~WXU R, R, T, X c R~(R~X{T)XU R, R, U, V c (R~R{V)~UXU R, R, U, W c (R{R{U)~WXU R, R, V, S c (R{R~V)~SXU R, R, V, T c R~(V~T|R)XU R, R, V, U c (R~R{V)~UXU R, R, V, W c R~(V|R)~WXU R, R, V, X c (R{R)~(V{X)XU R, R, W, P c R~(R{P)~WXU R, R, W, Q c (R{R)~(W~Q)XU R, R, W, R c (R{R~R)~WXU R, R, W, T c (R~T|R)~WXU R, R, W, U c (R{R{U)~WXU R, R, W, V c (R~W)~(V|R)XU R, R, W, W c (R{R)~(W{W)XU R, R, W, X c (R{W)~X|RXU R, R, X, S c (R~X|R)~SXU R, R, X, T c R~(R~X{T)XU R, R, X, V c (R{R)~(X{V)XU R, R, X, W c (R{W)~X|RXU R, S, O, W c (R~S{O)~WXU R, S, P, U c (R{P)~(S~U)XU R, S, P, V c (R~S)~(P{V)XU R, S, P, W c R~S~P~WXU R, S, P, X c (R~S)~(X|P)XU R, S, Q, S c R~S~Q~SXU R, S, Q, U c (R~S)~(Q{U)XU R, S, Q, X c (R{X)~(S~Q)XU R, S, R, S c (R{R)~(S~S)XU R, S, R, T c (R~S)~(R{T)XU R, S, R, V c (R{R~V)~SXU R, S, R, X c (R~X|R)~SXU R, S, S, Q c R~S~S~QXU R, S, S, R c (R{R)~(S~S)XU R, S, S, S c R~(S{S)~SXU R, S, S, U c (R~S{S)~UXU R, S, S, V c R~(S{S~V)XU R, S, S, X c R~(S~X|S)XU R, S, T, R c (R~S)~(T{R)XU R, S, T, W c (R{S{T)~WXU R, S, T, X c (R~T{X)~SXU R, S, U, P c (R{P)~(S~U)XU R, S, U, Q c (R~S)~(U{Q)XU R, S, U, S c (R~S{S)~UXU R, S, U, U c (R~U{U)~SXU R, S, U, V c (S~U)~(V|R)XU R, S, U, W c R~(S~U{W)XU R, S, U, X c (R{S{X)~UXU R, S, V, P c (R~S)~(V{P)XU R, S, V, R c (R{V~R)~SXU R, S, V, S c R~(S{V~S)XU R, S, V, U c S~(V|R)~UXU R, S, V, X c (S{V)~X|RXU R, S, W, O c R~S~W{OXU R, S, W, P c R~S~W~PXU R, S, W, T c (R{S{T)~WXU R, S, W, U c R~(S~U{W)XU R, S, W, W c R~(W|S)~WXU R, S, W, X c SR~W~XXU R, S, X, P c (R~S)~(X|P)XU R, S, X, Q c (R{X)~(S~Q)XU R, S, X, R c (R~X|R)~SXU R, S, X, S c R~(S~X|S)XU R, S, X, T c (R~T{X)~SXU R, S, X, U c (R{S{X)~UXU R, S, X, V c (S{V)~X|RXU R, S, X, W c SR~X~WXU R, T, P, U c (R~T{P)~UXU R, T, P, W c R~(T|P)~WXU R, T, Q, U c (R{T)~(Q~U)XU R, T, Q, X c (R{T~X)~QXU R, T, R, S c (R{T)~(R~S)XU R, T, R, V c R~(T~V|R)XU R, T, R, W c (R~T|R)~WXU R, T, R, X c (R{T)~(R{X)XU R, T, S, R c (R{T)~(S~R)XU R, T, S, W c (R{T{S)~WXU R, T, S, X c (R~T{X)~SXU R, T, T, V c (R{T)~(T{V)XU R, T, U, P c (R~T{P)~UXU R, T, U, Q c (R{T)~(U~Q)XU R, T, U, U c (R{T)~(U{U)XU R, T, U, V c (R~V|T)~UXU R, T, U, W c (R{T{W)~UXU R, T, U, X c (T{U)~X|RXU R, T, V, R c R~(T~V|R)XU R, T, V, T c (R{T)~(V{T)XU R, T, V, U c (R~V|T)~UXU R, T, V, X c R~T~V|XXU R, T, W, P c R~(T|P)~WXU R, T, W, R c (R~T|R)~WXU R, T, W, S c (R{T)~(W{S)XU R, T, W, U c (R{T{W)~UXU R, T, W, W c R~(T~W|W)XU R, T, W, X c (R~W)~(X|T)XU R, T, X, Q c (R{T~X)~QXU R, T, X, R c (R{T)~(X{R)XU R, T, X, S c (R~T{X)~SXU R, T, X, U c (T{U)~X|RXU R, T, X, V c R~T~V|XXU R, T, X, W c R~(X|T)~WXU R, T, X, X c R~T{X~XXU R, U, P, S c (R{P)~(U~S)XU R, U, P, T c (R~T{P)~UXU R, U, P, W c (R|P)~(U~W)XU R, U, Q, S c R~(U{Q)~SXU R, U, Q, T c R~(U~T{Q)XU R, U, Q, U c (R~U|Q)~UXU R, U, Q, W c R~(U|Q)~WXU R, U, Q, X c (R{X)~(U{Q)XU R, U, R, V c (R~R{V)~UXU R, U, R, W c (R{U{R)~WXU R, U, S, P c (R{P)~(U~S)XU R, U, S, Q c R~(U{Q)~SXU R, U, S, S c (R~S{S)~UXU R, U, S, U c (R~U{U)~SXU R, U, S, V c (U~S)~(V|R)XU R, U, S, W c R~(U~S{W)XU R, U, S, X c (R{S{X)~UXU R, U, T, P c (R~T{P)~UXU R, U, T, Q c R~(U~T{Q)XU R, U, T, U c R~U~T{UXU R, U, T, V c (R~V|T)~UXU R, U, T, W c (R{T{W)~UXU R, U, T, X c (U{T)~X|RXU R, U, U, Q c (R~U|Q)~UXU R, U, U, S c (R~U{U)~SXU R, U, U, T c R~U~T{UXU R, U, U, V c (R{U{V)~UXU R, U, U, W c (R~U|U)~WXU R, U, V, R c (R~R{V)~UXU R, U, V, S c U~(V|R)~SXU R, U, V, T c (R~V|T)~UXU R, U, V, U c (R{U{V)~UXU R, U, V, X c (R{V)~X{UXU R, U, W, P c (R|P)~(U~W)XU R, U, W, Q c R~(U|Q)~WXU R, U, W, R c (R{U{R)~WXU R, U, W, S c R~(U~S{W)XU R, U, W, T c (R{W{T)~UXU R, U, W, U c (R~U|U)~WXU R, U, W, W c (R~W|W)~UXU R, U, W, X c (U|R{X)~WXU R, U, X, Q c (R{X)~(U{Q)XU R, U, X, S c (R{X{S)~UXU R, U, X, T c (U{T)~X|RXU R, U, X, V c (R{V)~X{UXU R, U, X, W c (U|R{X)~WXU R, V, P, S c R~(V{P)~SXU R, V, P, X c (R{X)~(V{P)XU R, V, Q, W c (R{V{Q)~WXU R, V, Q, X c R~(V{X)~QXU R, V, R, S c (R{V~R)~SXU R, V, R, T c R~(V~T|R)XU R, V, R, U c (R~R{V)~UXU R, V, R, W c R~(V|R)~WXU R, V, R, X c (R{R)~(V{X)XU R, V, S, P c R~(V{P)~SXU R, V, S, R c (R{V~R)~SXU R, V, S, S c R~(V~S{S)XU R, V, S, U c (V|R)~(S~U)XU R, V, S, X c (V{S)~X|RXU R, V, T, R c R~(V~T|R)XU R, V, T, T c R~(V{T~T)XU R, V, T, U c (R~V|T)~UXU R, V, T, X c R~V~T|XXU R, V, U, R c (R~R{V)~UXU R, V, U, S c (V|R)~(U~S)XU R, V, U, T c (R~V|T)~UXU R, V, U, U c (R{V{U)~UXU R, V, U, X c (R{V)~X{UXU R, V, W, Q c (R{V{Q)~WXU R, V, W, R c R~(V|R)~WXU R, V, W, W c (V|R{W)~WXU R, V, W, X c (R~V|X)~WXU R, V, X, P c (R{X)~(V{P)XU R, V, X, Q c R~(V{X)~QXU R, V, X, R c (R{R)~(V{X)XU R, V, X, S c (V{S)~X|RXU R, V, X, T c R~V~T|XXU R, V, X, U c (R{V)~X{UXU R, V, X, W c (R~V|X)~WXU R, V, X, X c (V{X)~(X|R)XU R, W, O, S c (R~W{O)~SXU R, W, O, X c (R{O{X)~WXU R, W, P, R c (R~W)~(P{R)XU R, W, P, S c R~W~P~SXU R, W, P, T c (R~W)~(T|P)XU R, W, P, U c (R|P)~(W~U)XU R, W, P, W c (R{W{P)~WXU R, W, P, X c (R{P~X)~WXU R, W, Q, Q c (R~W)~(Q{Q)XU R, W, Q, R c (R{R)~(W~Q)XU R, W, Q, U c (R~W)~(U|Q)XU R, W, Q, V c (R{Q{V)~WXU R, W, Q, W c R~WQ~WXU R, W, Q, X c (W~Q)~(X|R)XU R, W, R, P c (R~W)~(R{P)XU R, W, R, Q c (R{R)~(W~Q)XU R, W, R, R c (R{R~R)~WXU R, W, R, T c (R~T|R)~WXU R, W, R, U c (R{R{U)~WXU R, W, R, V c (R~W)~(V|R)XU R, W, R, W c R~(W{R~W)XU R, W, R, X c (R{W)~X|RXU R, W, S, O c R~W~S{OXU R, W, S, P c R~W~S~PXU R, W, S, T c (R{S{T)~WXU R, W, S, U c R~(W{S~U)XU R, W, S, W c R~(W|S)~WXU R, W, S, X c WR~S~XXU R, W, T, P c (R~W)~(T|P)XU R, W, T, R c (R~T|R)~WXU R, W, T, S c (R{T)~(W{S)XU R, W, T, U c (R{W{T)~UXU R, W, T, W c R~(W~T|W)XU R, W, T, X c (R~W)~(X|T)XU R, W, U, P c (R|P)~(W~U)XU R, W, U, Q c (R~W)~(U|Q)XU R, W, U, R c (R{U{R)~WXU R, W, U, S c R~(W{U~S)XU R, W, U, T c (R{W{T)~UXU R, W, U, U c (R~U|U)~WXU R, W, U, W c (R~W|W)~UXU R, W, U, X c W~(U|R{X)XU R, W, V, Q c (R{V{Q)~WXU R, W, V, R c (R~W)~(V|R)XU R, W, V, W c (W|R{V)~WXU R, W, V, X c (R~V|X)~WXU R, W, W, P c (R{W{P)~WXU R, W, W, Q c R~(W{W)~QXU R, W, W, R c (R~W{W)~RXU R, W, W, S c (R~W)~(W|S)XU R, W, W, T c R~(W~T|W)XU R, W, W, U c (R~W|W)~UXU R, W, W, V c (W|R{V)~WXU R, W, W, W c (R{W)~W{WXU R, W, W, X c R~W{W~XXU R, W, X, O c (R{X)~(W{O)XU R, W, X, P c (R{X)~(W~P)XU R, W, X, Q c W~(X|R)~QXU R, W, X, R c (R{W)~X|RXU R, W, X, S c WR~X~SXU R, W, X, T c (R~W)~(X|T)XU R, W, X, U c W~(X|R{U)XU R, W, X, V c (R~V|X)~WXU R, W, X, W c R~W{X~WXU R, W, X, X c W~(XR{X)XU R, X, O, W c (R{X{O)~WXU R, X, P, S c R~(X|P)~SXU R, X, P, V c (R{X)~(P{V)XU R, X, P, W c (R{X)~(P~W)XU R, X, P, X c (R{X)~(X|P)XU R, X, Q, S c (R{X)~(Q~S)XU R, X, Q, T c (R{X~T)~QXU R, X, Q, U c (R{X)~(Q{U)XU R, X, Q, V c R~(X{V)~QXU R, X, Q, W c (X|R)~(Q~W)XU R, X, Q, X c (X{Q)~X|RXU R, X, R, S c (R~X|R)~SXU R, X, R, T c (R{X)~(R{T)XU R, X, R, V c (R{R)~(X{V)XU R, X, R, W c (R{W)~X|RXU R, X, S, P c R~(X|P)~SXU R, X, S, Q c (R{X)~(S~Q)XU R, X, S, R c (R~X|R)~SXU R, X, S, S c (R{X)~(S{S)XU R, X, S, T c (R~T{X)~SXU R, X, S, U c (R{X{S)~UXU R, X, S, V c X~(S{V)|RXU R, X, S, W c XR~S~WXU R, X, T, Q c (R{X~T)~QXU R, X, T, R c (R{X)~(T{R)XU R, X, T, S c (R~T{X)~SXU R, X, T, U c X~(T{U)|RXU R, X, T, V c R~T~V|XXU R, X, T, W c R~(X|T)~WXU R, X, T, X c R~T{X~XXU R, X, U, Q c (R{X)~(U{Q)XU R, X, U, S c (R{X{S)~UXU R, X, U, T c X~(U{T)|RXU R, X, U, V c (R{V)~X{UXU R, X, U, W c (X|R{U)~WXU R, X, V, P c (R{X)~(V{P)XU R, X, V, Q c R~(X{V)~QXU R, X, V, R c (R{R)~(X{V)XU R, X, V, S c X~(V{S)|RXU R, X, V, T c R~V~T|XXU R, X, V, U c (R{V)~X{UXU R, X, V, W c (R~V|X)~WXU R, X, V, X c (X|R)~(V{X)XU R, X, W, O c (R{X)~(W{O)XU R, X, W, P c (R{X)~(W~P)XU R, X, W, Q c (X|R)~(W~Q)XU R, X, W, R c (R{W)~X|RXU R, X, W, S c XR~W~SXU R, X, W, T c R~(X|T)~WXU R, X, W, U c (X|R{U)~WXU R, X, W, V c (R~V|X)~WXU R, X, W, W c R~W{X~WXU R, X, W, X c (XR{X)~WXU R, X, X, P c (R{X)~(X|P)XU R, X, X, Q c X~(X{Q)|RXU R, X, X, T c R~T{X~XXU R, X, X, V c (X|R)~(X{V)XU R, X, X, W c (XR{X)~WXU S, O, R, W c (S{O)~(R~W)XU S, O, S, U c (S{O)~(S~U)XU S, O, U, S c (S{O)~(U~S)XU S, O, W, R c (S{O)~(W~R)XU S, O, W, W c (S{O{W)~WXU S, P, Q, W c S~(P{Q)~WXU S, P, R, U c S~(P{R)~UXU S, P, R, V c S~(P{V)~RXU S, P, R, W c S~P~R~WXU S, P, R, X c (S~R)~(X|P)XU S, P, S, T c S~(P{T)~SXU S, P, S, U c S~P~S~UXU S, P, S, V c (S~S)~(V|P)XU S, P, S, W c (S|P)~(S~W)XU S, P, T, S c S~(P{T)~SXU S, P, T, T c S~(T~T|P)XU S, P, T, U c S~(T|P)~UXU S, P, U, R c S~(P{R)~UXU S, P, U, S c S~P~U~SXU S, P, U, T c (S~U)~(T|P)XU S, P, V, R c S~(P{V)~RXU S, P, V, S c S~(V|P)~SXU S, P, V, W c (S{P{V)~WXU S, P, W, Q c S~(P{Q)~WXU S, P, W, R c S~P~W~RXU S, P, W, S c (S|P)~(W~S)XU S, P, W, V c (S{P{V)~WXU S, P, W, W c (S{P~W)~WXU S, P, W, X c (S|P{X)~WXU S, P, X, R c S~(X|P)~RXU S, P, X, W c (S|P{X)~WXU S, Q, P, W c S~(Q{P)~WXU S, Q, Q, U c S~(Q{Q)~UXU S, Q, Q, W c (S{Q)~(Q~W)XU S, Q, R, S c S~Q~R~SXU S, Q, R, U c S~(Q{U)~RXU S, Q, R, X c (S~Q)~(R{X)XU S, Q, S, R c S~Q~S~RXU S, Q, S, S c (S{Q)~(S~S)XU S, Q, S, U c (S{S)~(Q~U)XU S, Q, S, W c (S{Q~S)~WXU S, Q, T, V c (S~Q)~(T{V)XU S, Q, T, W c S~(T|Q)~WXU S, Q, U, Q c S~Q~U~QXU S, Q, U, R c S~(Q{U)~RXU S, Q, U, S c (S{S)~(Q~U)XU S, Q, U, U c (S{Q~U)~UXU S, Q, U, W c (S{Q{U)~WXU S, Q, U, X c S~(Q~X{U)XU S, Q, V, T c (S~Q)~(V{T)XU S, Q, V, X c (S{Q)~(V{X)XU S, Q, W, P c S~(Q{P)~WXU S, Q, W, Q c (S{Q)~(W~Q)XU S, Q, W, S c (S~Q)~(W{S)XU S, Q, W, T c (S~W)~(T|Q)XU S, Q, W, U c (S|Q)~(W~U)XU S, Q, W, W c (S{Q)~(W{W)XU S, Q, X, R c (S~Q)~(X{R)XU S, Q, X, U c S~(Q~X{U)XU S, Q, X, V c (S{Q)~(X{V)XU S, R, O, W c (S~R{O)~WXU S, R, P, U c S~(R{P)~UXU S, R, P, V c (S~R)~(P{V)XU S, R, P, W c S~R~P~WXU S, R, P, X c (S~R)~(X|P)XU S, R, Q, S c S~R~Q~SXU S, R, Q, U c (S~R)~(Q{U)XU S, R, Q, X c S~(R{X)~QXU S, R, R, S c S~(R{R)~SXU S, R, R, T c (S~R)~(R{T)XU S, R, R, V c S~(R{R~V)XU S, R, R, X c S~(R~X|R)XU S, R, S, Q c S~R~S~QXU S, R, S, R c S~(R{R)~SXU S, R, S, S c (S~R)~(S{S)XU S, R, S, U c (S{R~S)~UXU S, R, S, V c (S{S~V)~RXU S, R, S, X c (S{S)~(R{X)XU S, R, T, R c S~(R{T)~RXU S, R, T, W c (S{R{T)~WXU S, R, T, X c S~(R~T{X)XU S, R, U, P c S~(R{P)~UXU S, R, U, Q c (S~R)~(U{Q)XU S, R, U, S c (S{R~S)~UXU S, R, U, U c S~(R~U{U)XU S, R, U, V c (S~U)~(V|R)XU S, R, U, W c S~(U|R)~WXU S, R, U, X c (S{R{X)~UXU S, R, V, P c (S~R)~(V{P)XU S, R, V, R c S~(R{V~R)XU S, R, V, S c (S{V~S)~RXU S, R, V, U c S~(V|R)~UXU S, R, V, X c (S{V)~X|RXU S, R, W, O c S~R~W{OXU S, R, W, P c S~R~W~PXU S, R, W, T c (S{R{T)~WXU S, R, W, U c (S~W)~(U|R)XU S, R, W, W c R~(W|S)~WXU S, R, W, X c SR~W~XXU S, R, X, P c (S~R)~(X|P)XU S, R, X, Q c S~(R{X)~QXU S, R, X, R c S~(R~X|R)XU S, R, X, S c S~(X|R)~SXU S, R, X, T c S~(R~T{X)XU S, R, X, U c (S{R{X)~UXU S, R, X, V c (S{V)~X|RXU S, R, X, W c SR~X~WXU S, S, O, U c (S~S{O)~UXU S, S, P, T c (S~S)~(P{T)XU S, S, P, U c S~S~P~UXU S, S, P, V c (S~S)~(V|P)XU S, S, P, W c S~(S|P)~WXU S, S, Q, R c S~S~Q~RXU S, S, Q, S c S~(S{Q)~SXU S, S, Q, U c (S{S)~(Q~U)XU S, S, Q, W c (S{S~Q)~WXU S, S, R, Q c S~S~R~QXU S, S, R, R c (S~S)~(R{R)XU S, S, R, S c (S{S)~(R~S)XU S, S, R, U c (S{S~R)~UXU S, S, R, V c (S{S~V)~RXU S, S, R, X c (S{S)~(R{X)XU S, S, S, Q c (S~S)~(S{Q)XU S, S, S, R c (S{S)~(S~R)XU S, S, S, T c S~(S{S~T)XU S, S, S, V c S~(S~V|S)XU S, S, S, W c (S{S{S)~WXU S, S, T, P c (S~S)~(T{P)XU S, S, T, S c (S{S~T)~SXU S, S, T, T c S~T~T|SXU S, S, T, U c (S~T|S)~UXU S, S, T, V c (S{S)~(T{V)XU S, S, U, O c S~S~U{OXU S, S, U, P c S~S~U~PXU S, S, U, Q c (S{S)~(U~Q)XU S, S, U, R c (S{S~R)~UXU S, S, U, T c (S~T|S)~UXU S, S, U, U c (S{S)~(U{U)XU S, S, U, W c (S{S{W)~UXU S, S, V, P c (S~S)~(V|P)XU S, S, V, R c (S{S~V)~RXU S, S, V, S c S~(S~V|S)XU S, S, V, T c (S{S)~(V{T)XU S, S, V, W c S~(V|S)~WXU S, S, W, P c S~(S|P)~WXU S, S, W, Q c S~(S{W)~QXU S, S, W, S c (S{S)~(W{S)XU S, S, W, U c (S{S{W)~UXU S, S, W, V c (S~W)~(V|S)XU S, S, W, W c S~(S~W|W)XU S, S, X, R c (S{S)~(X{R)XU S, T, P, S c S~(T{P)~SXU S, T, P, T c S~(T~T|P)XU S, T, P, U c S~(T|P)~UXU S, T, Q, V c S~(T{V)~QXU S, T, Q, W c S~(T|Q)~WXU S, T, R, R c S~(T{R)~RXU S, T, R, W c (S{T{R)~WXU S, T, R, X c S~(T~R{X)XU S, T, S, P c S~(T{P)~SXU S, T, S, S c (S{T~S)~SXU S, T, S, T c S~T~T|SXU S, T, S, U c (S~T|S)~UXU S, T, S, V c (S{S)~(T{V)XU S, T, T, P c S~(T~T|P)XU S, T, T, S c S~T~T|SXU S, T, U, P c S~(T|P)~UXU S, T, U, S c (S~T|S)~UXU S, T, U, U c S~(T~U|U)XU S, T, U, V c (S{T{V)~UXU S, T, U, X c (S~U)~(X|T)XU S, T, V, Q c S~(T{V)~QXU S, T, V, S c (S{S)~(T{V)XU S, T, V, U c (S{T{V)~UXU S, T, V, X c (S{X)~V{TXU S, T, W, Q c S~(T|Q)~WXU S, T, W, R c (S{T{R)~WXU S, T, W, W c (S~T|W)~WXU S, T, X, R c S~(T~R{X)XU S, T, X, U c S~(X|T)~UXU S, T, X, V c (S{X)~V{TXU S, U, O, S c (S~U{O)~SXU S, U, P, R c (S~U)~(P{R)XU S, U, P, S c S~U~P~SXU S, U, P, T c (S~U)~(T|P)XU S, U, Q, Q c (S~U)~(Q{Q)XU S, U, Q, R c S~(U{Q)~RXU S, U, Q, S c (S{S)~(U~Q)XU S, U, Q, U c (S{U~Q)~UXU S, U, Q, W c (S{U{Q)~WXU S, U, Q, X c S~(U{Q~X)XU S, U, R, P c (S~U)~(R{P)XU S, U, R, Q c S~(U{Q)~RXU S, U, R, S c (S{R~S)~UXU S, U, R, U c S~(U{R~U)XU S, U, R, V c (S~U)~(V|R)XU S, U, R, W c S~(U|R)~WXU S, U, R, X c (S{R{X)~UXU S, U, S, O c S~U~S{OXU S, U, S, P c S~U~S~PXU S, U, S, Q c (S{S)~(U~Q)XU S, U, S, R c (S{S~R)~UXU S, U, S, T c (S~T|S)~UXU S, U, S, U c (S{S)~(U{U)XU S, U, S, W c (S~U)~(W|S)XU S, U, T, P c (S~U)~(T|P)XU S, U, T, S c (S~T|S)~UXU S, U, T, U c S~(U~T|U)XU S, U, T, V c (S{T{V)~UXU S, U, T, X c (S~U)~(X|T)XU S, U, U, Q c S~(U{U)~QXU S, U, U, R c S~(U{U~R)XU S, U, U, S c (S{S)~(U{U)XU S, U, U, T c S~(U~T|U)XU S, U, U, U c (S{U{U)~UXU S, U, U, W c (S~U|W)~UXU S, U, U, X c (S{U)~X{UXU S, U, V, R c (S~U)~(V|R)XU S, U, V, T c (S{V{T)~UXU S, U, W, Q c S~U~WQXU S, U, W, R c (S~U{W)~RXU S, U, W, S c (S~U)~(W|S)XU S, U, W, U c (S~U|W)~UXU S, U, W, W c US~W~WXU S, U, W, X c S~U{W~XXU S, U, X, Q c S~(U{X~Q)XU S, U, X, R c (S{X{R)~UXU S, U, X, T c (S~U)~(X|T)XU S, U, X, U c (S{U)~X{UXU S, U, X, W c S~U{X~WXU S, U, X, X c S~(U{X{X)XU S, V, P, R c S~(V{P)~RXU S, V, P, S c S~(V|P)~SXU S, V, P, W c (S{V{P)~WXU S, V, Q, T c S~(V{T)~QXU S, V, Q, X c (S{Q)~(V{X)XU S, V, R, P c S~(V{P)~RXU S, V, R, R c S~(V~R{R)XU S, V, R, S c (S{V~S)~RXU S, V, R, U c S~(V|R)~UXU S, V, R, X c (S{V)~X|RXU S, V, S, P c S~(V|P)~SXU S, V, S, R c (S{V~S)~RXU S, V, S, S c (S~V|S)~SXU S, V, S, T c (S{S)~(V{T)XU S, V, S, W c S~(V|S)~WXU S, V, T, Q c S~(V{T)~QXU S, V, T, S c (S{S)~(V{T)XU S, V, T, U c (S{V{T)~UXU S, V, T, X c (S{X)~V{TXU S, V, U, R c S~(V|R)~UXU S, V, U, T c (S{V{T)~UXU S, V, W, P c (S{V{P)~WXU S, V, W, S c S~(V|S)~WXU S, V, W, W c (S{V)~W{WXU S, V, W, X c S~(V{W{X)XU S, V, X, Q c (S{Q)~(V{X)XU S, V, X, R c (S{V)~X|RXU S, V, X, T c (S{X)~V{TXU S, V, X, W c S~(V{X{W)XU S, W, O, R c (S~W{O)~RXU S, W, O, W c (S{W{O)~WXU S, W, P, Q c (S~W)~(P{Q)XU S, W, P, R c S~W~P~RXU S, W, P, S c (S~W)~(S|P)XU S, W, P, V c (S{W)~(P{V)XU S, W, P, W c (S{W)~(P~W)XU S, W, P, X c (S{W)~(X|P)XU S, W, Q, P c (S~W)~(Q{P)XU S, W, Q, Q c (S{Q)~(W~Q)XU S, W, Q, S c (S{W)~(Q~S)XU S, W, Q, T c (S~W)~(T|Q)XU S, W, Q, U c (S{W)~(Q{U)XU S, W, Q, W c S~(W{Q~W)XU S, W, R, O c S~W~R{OXU S, W, R, P c S~W~R~PXU S, W, R, T c (S{W)~(R{T)XU S, W, R, U c (S~W)~(U|R)XU S, W, R, W c (W|S)~(R~W)XU S, W, R, X c S~WR~XXU S, W, S, P c (S~W)~(S|P)XU S, W, S, Q c (S{W)~(S~Q)XU S, W, S, S c (S{W)~(S{S)XU S, W, S, U c (S{W{S)~UXU S, W, S, V c (S~W)~(V|S)XU S, W, S, W c S~(W~S|W)XU S, W, T, Q c (S~W)~(T|Q)XU S, W, T, R c (S{W)~(T{R)XU S, W, T, W c S~(W|T)~WXU S, W, U, Q c (S{W)~(U{Q)XU S, W, U, R c (S~W)~(U|R)XU S, W, U, S c (S{W{S)~UXU S, W, U, U c (S~U|W)~UXU S, W, U, W c WS~U~WXU S, W, U, X c (S~W)~(X|U)XU S, W, V, P c (S{W)~(V{P)XU S, W, V, S c (S~W)~(V|S)XU S, W, V, W c (S{V)~W{WXU S, W, V, X c S~(W{V{X)XU S, W, W, O c (S{W)~(W{O)XU S, W, W, P c (S{W)~(W~P)XU S, W, W, Q c S~(W{W~Q)XU S, W, W, R c (W|S)~(W~R)XU S, W, W, S c (S~W|W)~SXU S, W, W, T c (S~W)~(W|T)XU S, W, W, U c WS~W~UXU S, W, W, V c (S{V)~W{WXU S, W, W, W c S~(W{W{W)XU S, W, W, X c (S{X)~W|WXU S, W, X, P c (S{W)~(X|P)XU S, W, X, R c S~W~XRXU S, W, X, U c (S~W)~(X|U)XU S, W, X, V c S~(W{X{V)XU S, W, X, W c (S{X)~W|WXU S, X, P, R c S~(X|P)~RXU S, X, P, W c (S{X|P)~WXU S, X, Q, R c S~(X{R)~QXU S, X, Q, U c S~(X~Q{U)XU S, X, Q, V c (S{Q)~(X{V)XU S, X, R, P c S~(X|P)~RXU S, X, R, Q c S~(X{R)~QXU S, X, R, R c S~(X~R|R)XU S, X, R, S c S~(X|R)~SXU S, X, R, T c S~(X{R~T)XU S, X, R, U c (S{X{R)~UXU S, X, R, V c (S{V)~X|RXU S, X, R, W c S~XR~WXU S, X, S, R c (S~X|S)~RXU S, X, T, R c S~(X{T~R)XU S, X, T, U c S~(X|T)~UXU S, X, T, V c (S{X)~V{TXU S, X, U, Q c S~(X~Q{U)XU S, X, U, R c (S{X{R)~UXU S, X, U, T c S~(X|T)~UXU S, X, U, U c (S{U)~X{UXU S, X, U, W c S~(X|U)~WXU S, X, U, X c S~(X{U{X)XU S, X, V, Q c (S{Q)~(X{V)XU S, X, V, R c (S{V)~X|RXU S, X, V, T c (S{X)~V{TXU S, X, V, W c S~(X{V{W)XU S, X, W, P c (S{X|P)~WXU S, X, W, R c S~X~WRXU S, X, W, U c S~(X|U)~WXU S, X, W, V c S~(X{W{V)XU S, X, W, W c (S{X)~W|WXU S, X, X, U c S~(X{X{U)XU T, O, V, W c (T{O{V)~WXU T, O, W, V c (T{O{V)~WXU T, P, Q, W c (T{P)~(Q~W)XU T, P, R, U c (T~R{P)~UXU T, P, R, W c (T|P)~(R~W)XU T, P, S, S c (T{P)~(S~S)XU T, P, S, T c (T~T|P)~SXU T, P, S, U c (T|P)~(S~U)XU T, P, T, S c (T~T|P)~SXU T, P, U, R c (T~R{P)~UXU T, P, U, S c (T|P)~(U~S)XU T, P, U, W c (T{P{U)~WXU T, P, V, V c (T{V)~(P{V)XU T, P, V, W c (T{P~V)~WXU T, P, V, X c (T{P)~(V{X)XU T, P, W, Q c (T{P)~(W~Q)XU T, P, W, R c (T|P)~(W~R)XU T, P, W, U c (T{P{U)~WXU T, P, W, V c (T{P~V)~WXU T, P, W, W c (T{P)~(W{W)XU T, P, X, V c (T{P)~(X{V)XU T, Q, P, W c (T{P)~(Q~W)XU T, Q, Q, W c (T~Q{Q)~WXU T, Q, R, U c (T{R)~(Q~U)XU T, Q, R, X c (T~X{R)~QXU T, Q, S, V c (T{V)~(Q~S)XU T, Q, S, W c (T|Q)~(S~W)XU T, Q, T, W c (T{Q{T)~WXU T, Q, U, R c (T~U{Q)~RXU T, Q, U, U c (T~Q{U)~UXU T, Q, U, V c (T{V)~(Q{U)XU T, Q, U, X c (T{Q{X)~UXU T, Q, V, S c (T{V)~(Q~S)XU T, Q, V, U c (T{V)~(Q{U)XU T, Q, V, X c (T{X)~V|QXU T, Q, W, P c (T{P)~(Q~W)XU T, Q, W, Q c (T~Q{Q)~WXU T, Q, W, S c (T|Q)~(W~S)XU T, Q, W, T c (T{Q{T)~WXU T, Q, W, W c (T~W{W)~QXU T, Q, W, X c (T|Q{X)~WXU T, Q, X, R c (T~X{R)~QXU T, Q, X, U c (T{Q{X)~UXU T, Q, X, V c (T{X)~V|QXU T, Q, X, W c (T|Q{X)~WXU T, R, P, U c (T~R{P)~UXU T, R, P, W c (T|P)~(R~W)XU T, R, Q, U c (T{R)~(Q~U)XU T, R, Q, X c (T~X{R)~QXU T, R, R, S c (T{R)~(R~S)XU T, R, R, V c (T~V|R)~RXU T, R, R, W c (T~R|R)~WXU T, R, R, X c (T{R)~(R{X)XU T, R, S, R c (T{R)~(S~R)XU T, R, S, W c (T{R{S)~WXU T, R, S, X c (T~R{X)~SXU T, R, T, V c (T{R)~(T{V)XU T, R, U, P c (T~R{P)~UXU T, R, U, Q c (T{R)~(U~Q)XU T, R, U, U c (T{R)~(U{U)XU T, R, U, V c (R~V|T)~UXU T, R, U, W c (T|R)~(U~W)XU T, R, U, X c (T{U)~X|RXU T, R, V, R c (T~V|R)~RXU T, R, V, T c (T{R)~(V{T)XU T, R, V, U c (R~V|T)~UXU T, R, V, X c T~R~V|XXU T, R, W, P c (T|P)~(R~W)XU T, R, W, R c (T~R|R)~WXU T, R, W, S c (T{R)~(W{S)XU T, R, W, U c (T{R{W)~UXU T, R, W, W c (T~W|W)~RXU T, R, W, X c (R~W)~(X|T)XU T, R, X, Q c (T~X{R)~QXU T, R, X, R c (T{R)~(X{R)XU T, R, X, S c (T~R{X)~SXU T, R, X, U c (T{U)~X|RXU T, R, X, V c T~R~V|XXU T, R, X, W c R~(X|T)~WXU T, R, X, X c T~R{X~XXU T, S, P, S c (T{P)~(S~S)XU T, S, P, T c (T~T|P)~SXU T, S, P, U c (T|P)~(S~U)XU T, S, Q, V c (T{V)~(S~Q)XU T, S, Q, W c (T|Q)~(S~W)XU T, S, R, R c (T{R)~(S~R)XU T, S, R, W c (T{S{R)~WXU T, S, R, X c (T~R{X)~SXU T, S, S, P c (T{P)~(S~S)XU T, S, S, S c (T~S{S)~SXU T, S, S, T c T~S~T|SXU T, S, S, U c (T~S|S)~UXU T, S, S, V c (T{V)~(S{S)XU T, S, T, P c (T~T|P)~SXU T, S, T, S c T~S~T|SXU T, S, U, P c (T|P)~(S~U)XU T, S, U, S c (T~S|S)~UXU T, S, U, U c (T~U|U)~SXU T, S, U, V c (T{S{V)~UXU T, S, U, X c (S~U)~(X|T)XU T, S, V, Q c (T{V)~(S~Q)XU T, S, V, S c (T{V)~(S{S)XU T, S, V, U c (T{S{V)~UXU T, S, V, X c T{(S{X)~VXU T, S, W, Q c (T|Q)~(S~W)XU T, S, W, R c (T{S{R)~WXU T, S, W, W c (T~S|W)~WXU T, S, X, R c (T~R{X)~SXU T, S, X, U c S~(X|T)~UXU T, S, X, V c T{(S{X)~VXU T, T, P, S c (T~T|P)~SXU T, T, Q, W c (T{T{Q)~WXU T, T, R, V c (T~T{V)~RXU T, T, S, P c (T~T|P)~SXU T, T, S, S c T~T~S|SXU T, T, U, U c (T{T{U)~UXU T, T, U, X c (T{T)~X{UXU T, T, V, R c (T~T{V)~RXU T, T, V, W c T{(T{W)~VXU T, T, W, Q c (T{T{Q)~WXU T, T, W, V c T{(T{W)~VXU T, T, X, U c (T{T)~X{UXU T, U, P, R c (T~R{P)~UXU T, U, P, S c (T|P)~(U~S)XU T, U, P, W c (T{U{P)~WXU T, U, Q, R c (T~U{Q)~RXU T, U, Q, U c (T~Q{U)~UXU T, U, Q, V c (T{V)~(U{Q)XU T, U, Q, X c (T{Q{X)~UXU T, U, R, P c (T~R{P)~UXU T, U, R, Q c (T~U{Q)~RXU T, U, R, U c T~U~R{UXU T, U, R, V c U~(R~V|T)XU T, U, R, W c (T|R)~(U~W)XU T, U, R, X c (T{U)~X|RXU T, U, S, P c (T|P)~(U~S)XU T, U, S, S c (T~S|S)~UXU T, U, S, U c (T~U|U)~SXU T, U, S, V c (T{S{V)~UXU T, U, S, X c (U~S)~(X|T)XU T, U, T, U c (T{U{T)~UXU T, U, T, X c (T{T)~X{UXU T, U, U, Q c (T~Q{U)~UXU T, U, U, R c T~U~R{UXU T, U, U, S c (T~U|U)~SXU T, U, U, T c (T{U{T)~UXU T, U, V, Q c (T{V)~(U{Q)XU T, U, V, R c U~(V~R|T)XU T, U, V, S c (T{V{S)~UXU T, U, V, V c T{(U{V)~VXU T, U, V, W c U~(V|T)~WXU T, U, W, P c (T{U{P)~WXU T, U, W, R c (T{W{R)~UXU T, U, W, V c (U~W)~(V|T)XU T, U, W, W c (T{U)~W{WXU T, U, X, Q c (T{X{Q)~UXU T, U, X, R c (T{U)~X|RXU T, U, X, S c U~(X|T)~SXU T, U, X, T c (T{T)~X{UXU T, U, X, X c T~(X{X){UXU T, V, O, W c (T{V{O)~WXU T, V, P, V c (T{V)~(P{V)XU T, V, P, W c (T{V)~(P~W)XU T, V, P, X c (T{V)~(X|P)XU T, V, Q, S c (T{V)~(Q~S)XU T, V, Q, U c (T{V)~(Q{U)XU T, V, Q, X c (T{X)~V|QXU T, V, R, R c (T~V|R)~RXU T, V, R, T c (T{V)~(R{T)XU T, V, R, U c (V~R|T)~UXU T, V, R, X c T~V~R|XXU T, V, S, Q c (T{V)~(S~Q)XU T, V, S, S c (T{V)~(S{S)XU T, V, S, U c (T{V{S)~UXU T, V, S, X c T{V~(S{X)XU T, V, T, R c (T{V)~(T{R)XU T, V, T, W c T{V~(T{W)XU T, V, U, Q c (T{V)~(U{Q)XU T, V, U, R c (V~R|T)~UXU T, V, U, S c (T{V{S)~UXU T, V, U, V c T{(V{U)~VXU T, V, U, W c (V|T)~(U~W)XU T, V, V, P c (T{V)~(V{P)XU T, V, V, U c T{V~(V{U)XU T, V, W, O c (T{V)~(W{O)XU T, V, W, P c (T{V)~(W~P)XU T, V, W, T c T{V~(W{T)XU T, V, W, U c (V|T)~(W~U)XU T, V, W, W c T~W{V~WXU T, V, X, P c (T{V)~(X|P)XU T, V, X, Q c (T{X)~V|QXU T, V, X, R c T~V~R|XXU T, V, X, S c T{V~(X{S)XU T, W, O, V c (T{O{V)~WXU T, W, P, Q c (T{P)~(W~Q)XU T, W, P, R c (T|P)~(W~R)XU T, W, P, U c (T{P{U)~WXU T, W, P, V c (T{P~V)~WXU T, W, P, W c (T{W|P)~WXU T, W, Q, P c (T{P)~(W~Q)XU T, W, Q, Q c (T~Q{Q)~WXU T, W, Q, S c (T|Q)~(W~S)XU T, W, Q, T c (T{Q{T)~WXU T, W, Q, W c (T~W{W)~QXU T, W, Q, X c (T|Q{X)~WXU T, W, R, P c (T|P)~(W~R)XU T, W, R, R c (T~R|R)~WXU T, W, R, S c (T{R)~(W{S)XU T, W, R, U c (T{W{R)~UXU T, W, R, W c (T~W|W)~RXU T, W, R, X c (W~R)~(X|T)XU T, W, S, Q c (T|Q)~(W~S)XU T, W, S, R c (T{S{R)~WXU T, W, S, W c (T~S|W)~WXU T, W, T, Q c (T{T{Q)~WXU T, W, T, V c T{(W{T)~VXU T, W, U, P c (T{U{P)~WXU T, W, U, R c (T{W{R)~UXU T, W, U, V c (W~U)~(V|T)XU T, W, U, W c (T{U)~W{WXU T, W, V, O c (T{V)~(W{O)XU T, W, V, P c (T{V)~(W~P)XU T, W, V, T c (T{W)~V{TXU T, W, V, U c W~(V|T)~UXU T, W, V, W c T~W{V~WXU T, W, W, P c (T{W|P)~WXU T, W, W, Q c (T~W{W)~QXU T, W, W, R c (T~W|W)~RXU T, W, W, S c (T~S|W)~WXU T, W, W, U c (T{U)~W{WXU T, W, W, V c T~W{W~VXU T, W, W, W c (T{W)~W|WXU T, W, W, X c (W|T{X)~WXU T, W, X, Q c (T{X|Q)~WXU T, W, X, R c W~(X|T)~RXU T, W, X, W c (W|T{X)~WXU T, X, P, V c (T{P)~(X{V)XU T, X, Q, R c (T~X{R)~QXU T, X, Q, U c (T{X{Q)~UXU T, X, Q, V c (T{X)~V|QXU T, X, Q, W c (T{X|Q)~WXU T, X, R, Q c (T~X{R)~QXU T, X, R, R c (T{X~R)~RXU T, X, R, S c (T~R{X)~SXU T, X, R, U c (T{U)~X|RXU T, X, R, V c T~R~V|XXU T, X, R, W c (X|T)~(R~W)XU T, X, R, X c T~R{X~XXU T, X, S, R c (T~R{X)~SXU T, X, S, U c (X|T)~(S~U)XU T, X, S, V c T{(X{S)~VXU T, X, T, U c (T{T)~X{UXU T, X, U, Q c (T{X{Q)~UXU T, X, U, R c (T{U)~X|RXU T, X, U, S c (X|T)~(U~S)XU T, X, U, T c (T{T)~X{UXU T, X, U, X c T~(X{X){UXU T, X, V, P c (T{V)~(X|P)XU T, X, V, Q c (T{X)~V|QXU T, X, V, R c T~V~R|XXU T, X, V, S c T{(X{S)~VXU T, X, W, Q c (T{X|Q)~WXU T, X, W, R c (X|T)~(W~R)XU T, X, W, W c (X|T{W)~WXU T, X, X, R c T~R{X~XXU T, X, X, U c T~(X{X){UXU U, O, Q, W c (U{O)~(Q~W)XU U, O, S, S c (U{O)~(S~S)XU U, O, U, W c (U{O{U)~WXU U, O, V, X c (U{O)~(V{X)XU U, O, W, Q c (U{O)~(W~Q)XU U, O, W, U c (U{O{U)~WXU U, O, W, W c (U{O)~(W{W)XU U, O, X, V c (U{O)~(X{V)XU U, P, P, W c U~(P{P)~WXU U, P, Q, V c U~(P{V)~QXU U, P, Q, W c U~P~Q~WXU U, P, Q, X c (U~Q)~(X|P)XU U, P, R, S c U~(P{R)~SXU U, P, R, T c U~(P{R~T)XU U, P, R, W c U~(R|P)~WXU U, P, S, R c U~(P{R)~SXU U, P, S, S c U~P~S~SXU U, P, S, T c (U~S)~(T|P)XU U, P, T, R c U~(P{T~R)XU U, P, T, S c U~(T|P)~SXU U, P, T, W c (U{P{T)~WXU U, P, U, V c (U{U)~(P{V)XU U, P, U, W c (U{P~U)~WXU U, P, U, X c U~(P{U{X)XU U, P, V, Q c U~(P{V)~QXU U, P, V, U c (U{U)~(P{V)XU U, P, V, W c (U|P{V)~WXU U, P, V, X c (U~P)~(V{X)XU U, P, W, P c U~(P{P)~WXU U, P, W, Q c U~P~W~QXU U, P, W, R c (U~W)~(R|P)XU U, P, W, T c (U{P{T)~WXU U, P, W, U c (U{P~U)~WXU U, P, W, V c U~(P{W{V)XU U, P, W, W c (U~P)~(W{W)XU U, P, W, X c U~(W|P{X)XU U, P, X, Q c U~(X|P)~QXU U, P, X, U c (U{P{X)~UXU U, P, X, V c (U~P)~(X{V)XU U, P, X, W c U~(X|P{W)XU U, P, X, X c U{(P{X)~XXU U, Q, O, W c (U~Q{O)~WXU U, Q, P, V c (U~Q)~(P{V)XU U, Q, P, W c U~Q~P~WXU U, Q, P, X c (U~Q)~(X|P)XU U, Q, Q, S c U~(Q{Q)~SXU U, Q, Q, U c (U{Q)~(Q~U)XU U, Q, Q, V c U~(Q{Q~V)XU U, Q, Q, X c U~(Q~X|Q)XU U, Q, R, S c (U{Q)~(R~S)XU U, Q, R, T c (U~Q)~(R{T)XU U, Q, R, U c (U~R|Q)~UXU U, Q, R, W c (U{Q~R)~WXU U, Q, R, X c (U{Q)~(R{X)XU U, Q, S, Q c U~Q~S~QXU U, Q, S, R c (U{Q)~(S~R)XU U, Q, S, S c (U~Q)~(S{S)XU U, Q, S, U c (U|Q)~(S~U)XU U, Q, S, W c (U{Q{S)~WXU U, Q, S, X c (U{Q~X)~SXU U, Q, T, R c (U~Q)~(T{R)XU U, Q, T, U c (U{Q~T)~UXU U, Q, T, V c (U{Q)~(T{V)XU U, Q, T, X c U{Q~T~XXU U, Q, U, Q c (U{Q)~(U~Q)XU U, Q, U, R c U~(U~R|Q)XU U, Q, U, S c (U|Q)~(U~S)XU U, Q, U, T c (U{Q~T)~UXU U, Q, U, U c (U{Q)~(U{U)XU U, Q, U, V c (U{U~V)~QXU U, Q, U, W c U~(Q{U{W)XU U, Q, U, X c (U~X|U)~QXU U, Q, V, P c (U~Q)~(V{P)XU U, Q, V, Q c U~(Q{V~Q)XU U, Q, V, T c (U{Q)~(V{T)XU U, Q, V, U c (U{V~U)~QXU U, Q, V, V c U~(Q{V{V)XU U, Q, V, W c (U{W)~V|QXU U, Q, W, O c U~Q~W{OXU U, Q, W, P c U~Q~W~PXU U, Q, W, R c (U|Q)~(W~R)XU U, Q, W, S c (U{Q)~(W{S)XU U, Q, W, U c (U{Q{W)~UXU U, Q, W, V c (U{W)~V|QXU U, Q, W, W c (U|Q{W)~WXU U, Q, W, X c U{(Q{W)~XXU U, Q, X, P c (U~Q)~(X|P)XU U, Q, X, Q c U~(Q~X|Q)XU U, Q, X, R c (U{Q)~(X{R)XU U, Q, X, S c (U{Q~X)~SXU U, Q, X, T c U{Q~X~TXU U, Q, X, U c (U~X|U)~QXU U, Q, X, W c (UQ{X)~WXU U, Q, X, X c U~(X|Q{X)XU U, R, P, S c U~(R{P)~SXU U, R, P, T c U~(R~T{P)XU U, R, P, W c U~(R|P)~WXU U, R, Q, S c (U{Q)~(R~S)XU U, R, Q, T c U~(R{T)~QXU U, R, Q, U c (U~R|Q)~UXU U, R, Q, W c (U{R~Q)~WXU U, R, Q, X c (U{Q)~(R{X)XU U, R, R, V c U~(R~R{V)XU U, R, R, W c (U{R{R)~WXU U, R, S, P c U~(R{P)~SXU U, R, S, Q c (U{Q)~(R~S)XU U, R, S, S c U~(R~S{S)XU U, R, S, U c (U{R~U)~SXU U, R, S, V c (U~S)~(V|R)XU U, R, S, W c (U|R)~(S~W)XU U, R, S, X c U~(R{S{X)XU U, R, T, P c U~(R~T{P)XU U, R, T, Q c U~(R{T)~QXU U, R, T, U c U{R~T~UXU U, R, T, V c U~(R~V|T)XU U, R, T, W c U~(R{T{W)XU U, R, T, X c (U{T)~X|RXU U, R, U, Q c U~(R~U|Q)XU U, R, U, S c (U{R~U)~SXU U, R, U, T c U{R~U~TXU U, R, U, V c U~(R{U{V)XU U, R, U, W c (U~R|U)~WXU U, R, V, R c U~(R~R{V)XU U, R, V, S c U~(V|R)~SXU U, R, V, T c U~(R~V|T)XU U, R, V, U c (U{R{V)~UXU U, R, V, X c U{(R{V)~XXU U, R, W, P c U~(R|P)~WXU U, R, W, Q c (U{R~Q)~WXU U, R, W, R c (U{R{R)~WXU U, R, W, S c (U|R)~(W~S)XU U, R, W, T c U~(R{W{T)XU U, R, W, U c UR~W~UXU U, R, W, W c U~(R~W|W)XU U, R, W, X c (U|R{X)~WXU U, R, X, Q c (U{Q)~(R{X)XU U, R, X, S c U~(R{X{S)XU U, R, X, T c (U{T)~X|RXU U, R, X, V c U{(R{V)~XXU U, R, X, W c (U|R{X)~WXU U, S, O, S c (U~S{O)~SXU U, S, P, R c (U~S)~(P{R)XU U, S, P, S c U~S~P~SXU U, S, P, T c (U~S)~(T|P)XU U, S, Q, Q c (U~S)~(Q{Q)XU U, S, Q, R c (U{Q)~(S~R)XU U, S, Q, S c U~(S{S)~QXU U, S, Q, U c U~(S{Q~U)XU U, S, Q, W c (U{S{Q)~WXU U, S, Q, X c (U{Q~X)~SXU U, S, R, P c (U~S)~(R{P)XU U, S, R, Q c (U{Q)~(S~R)XU U, S, R, S c U~(S{R~S)XU U, S, R, U c (U{R~U)~SXU U, S, R, V c (U~S)~(V|R)XU U, S, R, W c (U~S{W)~RXU U, S, R, X c U~(S{R{X)XU U, S, S, O c U~S~S{OXU U, S, S, P c U~S~S~PXU U, S, S, Q c U~(S{S)~QXU U, S, S, R c U~(S{S~R)XU U, S, S, T c U~(S~T|S)XU U, S, S, U c (U{U)~(S{S)XU U, S, S, W c U~(S{S{W)XU U, S, T, P c (U~S)~(T|P)XU U, S, T, S c U~(S~T|S)XU U, S, T, U c (U~T|U)~SXU U, S, T, V c U~(S{T{V)XU U, S, T, X c (U~S)~(X|T)XU U, S, U, Q c U~(S{U~Q)XU U, S, U, R c (U~U|S)~RXU U, S, U, S c (U{U)~(S{S)XU U, S, U, T c (U~T|U)~SXU U, S, U, U c (U{S{U)~UXU U, S, U, W c (U|S)~(U~W)XU U, S, U, X c U{(S{U)~XXU U, S, V, R c (U~S)~(V|R)XU U, S, V, T c U~(S{V{T)XU U, S, W, Q c U~S~WQXU U, S, W, R c (U~S{W)~RXU U, S, W, S c U~(S{W{S)XU U, S, W, U c (U|S)~(W~U)XU U, S, W, W c US~W~WXU U, S, W, X c U~S{W~XXU U, S, X, Q c (U{X~Q)~SXU U, S, X, R c U~(S{X{R)XU U, S, X, T c (U~S)~(X|T)XU U, S, X, U c (U{S)~X{UXU U, S, X, W c U~S{X~WXU U, S, X, X c (U{X{X)~SXU U, T, P, R c U~(T~R{P)XU U, T, P, S c U~(T|P)~SXU U, T, P, W c (U{T{P)~WXU U, T, Q, R c (U~T{Q)~RXU U, T, Q, U c (U{T~Q)~UXU U, T, Q, V c (U{Q)~(T{V)XU U, T, Q, X c U{T~Q~XXU U, T, R, P c U~(T~R{P)XU U, T, R, Q c U~(T{R)~QXU U, T, R, U c U{T~R~UXU U, T, R, V c U~(R~V|T)XU U, T, R, W c U~(T{R{W)XU U, T, R, X c (U{T)~X|RXU U, T, S, P c U~(T|P)~SXU U, T, S, S c U~(T~S|S)XU U, T, S, U c (U~T|U)~SXU U, T, S, V c U~(T{S{V)XU U, T, S, X c (U~S)~(X|T)XU U, T, T, U c (U{T{T)~UXU U, T, T, X c U{(T{T)~XXU U, T, U, Q c (U{T~Q)~UXU U, T, U, R c U{T~U~RXU U, T, U, S c (U~T|U)~SXU U, T, U, T c U~(T{U{T)XU U, T, V, Q c (U{Q)~(T{V)XU U, T, V, R c U~(V~R|T)XU U, T, V, S c U~(T{V{S)XU U, T, V, V c (U{V)~V{TXU U, T, V, W c U~(V|T)~WXU U, T, W, P c (U{T{P)~WXU U, T, W, R c U~(T{W{R)XU U, T, W, V c (U~W)~(V|T)XU U, T, W, W c (U{T)~W{WXU U, T, X, Q c U{T~X~QXU U, T, X, R c (U{T)~X|RXU U, T, X, S c U~(X|T)~SXU U, T, X, T c U{(T{T)~XXU U, T, X, X c U{T~(X{X)XU U, U, O, W c (U{U{O)~WXU U, U, P, V c (U{U)~(P{V)XU U, U, P, W c (U{U)~(P~W)XU U, U, P, X c U~(U{P{X)XU U, U, Q, Q c U~(U{Q)~QXU U, U, Q, R c U~(U~R|Q)XU U, U, Q, S c (U{U)~(Q~S)XU U, U, Q, T c U~(U{Q~T)XU U, U, Q, U c (U{U)~(Q{U)XU U, U, Q, V c (U{U~V)~QXU U, U, Q, W c U~(U{Q{W)XU U, U, Q, X c (U~X|U)~QXU U, U, R, Q c U~(U~R|Q)XU U, U, R, S c (U{U~R)~SXU U, U, R, T c (U{U)~(R{T)XU U, U, R, V c U~(U{R{V)XU U, U, R, W c U~UR~WXU U, U, S, Q c (U{U)~(S~Q)XU U, U, S, R c (U~U|S)~RXU U, U, S, S c (U{U)~(S{S)XU U, U, S, T c (U~T|U)~SXU U, U, S, U c (U{U{S)~UXU U, U, S, W c U~(U|S)~WXU U, U, S, X c U{(U{S)~XXU U, U, T, Q c U~(U{T~Q)XU U, U, T, R c (U{U)~(T{R)XU U, U, T, S c (U~T|U)~SXU U, U, T, T c U~(U{T{T)XU U, U, U, Q c (U{U)~(U{Q)XU U, U, U, S c U~(U{U{S)XU U, U, U, X c U{U~(U{X)XU U, U, V, P c (U{U)~(V{P)XU U, U, V, Q c (U{U~V)~QXU U, U, V, R c U~(U{V{R)XU U, U, V, W c U{U~(V{W)XU U, U, V, X c U~V{U~XXU U, U, W, O c (U{U)~(W{O)XU U, U, W, P c (U{U)~(W~P)XU U, U, W, Q c U~(U{W{Q)XU U, U, W, R c U~U~WRXU U, U, W, S c U~(U|S)~WXU U, U, W, V c U{U~(W{V)XU U, U, W, W c U~W{U~WXU U, U, W, X c U~(W{X)|UXU U, U, X, P c (U{U)~(X|P)XU U, U, X, Q c (U~X|U)~QXU U, U, X, S c U{(U{S)~XXU U, U, X, U c U{(U{X)~UXU U, U, X, V c U~X{U~VXU U, U, X, W c U~(X{W)|UXU U, V, O, X c U~(V{O{X)XU U, V, P, Q c U~(V{P)~QXU U, V, P, U c (U{U)~(V{P)XU U, V, P, W c (U{V|P)~WXU U, V, P, X c U~(V{P~X)XU U, V, Q, P c U~(V{P)~QXU U, V, Q, Q c U~(V~Q{Q)XU U, V, Q, T c (U{Q)~(V{T)XU U, V, Q, U c (U{V~U)~QXU U, V, Q, V c U~(V{Q{V)XU U, V, Q, W c (U{W)~V|QXU U, V, R, R c U~(V{R~R)XU U, V, R, S c U~(V|R)~SXU U, V, R, T c U~(V~R|T)XU U, V, R, U c (U{V{R)~UXU U, V, R, X c U{(V{R)~XXU U, V, S, R c U~(V|R)~SXU U, V, S, T c U~(V{S{T)XU U, V, T, Q c (U{Q)~(V{T)XU U, V, T, R c U~(V~R|T)XU U, V, T, S c U~(V{T{S)XU U, V, T, V c (U{V)~V{TXU U, V, T, W c U~(V|T)~WXU U, V, U, P c (U{U)~(V{P)XU U, V, U, Q c (U{V~U)~QXU U, V, U, R c U~(V{U{R)XU U, V, U, W c U{(V{W)~UXU U, V, U, X c U~V{U~XXU U, V, V, Q c U~(V{V{Q)XU U, V, V, T c (U{V)~V{TXU U, V, W, P c U~(V{W{P)XU U, V, W, Q c (U{W)~V|QXU U, V, W, T c U~(V|T)~WXU U, V, W, U c U{(V{W)~UXU U, V, W, W c (U{V)~W|WXU U, V, W, X c (U~W)~(X|V)XU U, V, X, O c U~(V{X){OXU U, V, X, P c U~(V{X)~PXU U, V, X, R c U{(V{R)~XXU U, V, X, U c U~V{X~UXU U, V, X, W c U~(X|V)~WXU U, V, X, X c (U{X)~V|XXU U, W, O, Q c (U~W{O)~QXU U, W, O, U c (U{O{U)~WXU U, W, O, W c U~(W{O{W)XU U, W, P, P c (U~W)~(P{P)XU U, W, P, Q c U~W~P~QXU U, W, P, R c (U~W)~(R|P)XU U, W, P, T c (U{P{T)~WXU U, W, P, U c (U{P~U)~WXU U, W, P, V c U~(W{P{V)XU U, W, P, W c U~(W{P~W)XU U, W, P, X c U~(W|P{X)XU U, W, Q, O c U~W~Q{OXU U, W, Q, P c U~W~Q~PXU U, W, Q, R c (U|Q)~(W~R)XU U, W, Q, S c U~(W{Q~S)XU U, W, Q, U c (U{W{Q)~UXU U, W, Q, V c (U{W)~V|QXU U, W, Q, W c (U{W|Q)~WXU U, W, Q, X c U{(W{Q)~XXU U, W, R, P c (U~W)~(R|P)XU U, W, R, Q c (U{R~Q)~WXU U, W, R, R c (U{R{R)~WXU U, W, R, S c (U|R)~(W~S)XU U, W, R, T c U~(W{R{T)XU U, W, R, U c U~WR~UXU U, W, R, W c U~(W~R|W)XU U, W, R, X c (U|R{X)~WXU U, W, S, Q c U~(W{S~Q)XU U, W, S, R c (U~S{W)~RXU U, W, S, S c U~(W{S{S)XU U, W, S, U c (U~W)~(U|S)XU U, W, S, W c U~WS~WXU U, W, S, X c U~S{W~XXU U, W, T, P c (U{T{P)~WXU U, W, T, R c U~(W{T{R)XU U, W, T, V c (U~W)~(V|T)XU U, W, T, W c (U{T)~W{WXU U, W, U, O c (U{U)~(W{O)XU U, W, U, P c (U{U)~(W~P)XU U, W, U, Q c U~(W{U{Q)XU U, W, U, R c U~W~URXU U, W, U, S c (U~W)~(U|S)XU U, W, U, V c U{(W{V)~UXU U, W, U, W c U~W{U~WXU U, W, U, X c U~(W{X)|UXU U, W, V, P c U~(W{V{P)XU U, W, V, Q c (U{W)~V|QXU U, W, V, T c (U~W)~(V|T)XU U, W, V, U c U{(W{V)~UXU U, W, V, W c (U{V)~W|WXU U, W, V, X c (U~W)~(X|V)XU U, W, W, O c U~(W{W){OXU U, W, W, P c U~(W{W)~PXU U, W, W, Q c (U{W|Q)~WXU U, W, W, R c U~(W~R|W)XU U, W, W, S c U~W~WSXU U, W, W, T c (U{T)~W{WXU U, W, W, U c U~W{W~UXU U, W, W, V c (U{V)~W|WXU U, W, W, X c WU~W~XXU U, W, X, P c U~(W{X|P)XU U, W, X, Q c U{(W{Q)~XXU U, W, X, R c (U{X|R)~WXU U, W, X, S c U~S{W~XXU U, W, X, U c U~(W{X)|UXU U, W, X, V c (U~W)~(X|V)XU U, W, X, W c WU~X~WXU U, W, X, X c W~(X|U{X)XU U, X, O, V c U~(X{O{V)XU U, X, P, Q c U~(X|P)~QXU U, X, P, U c (U{X{P)~UXU U, X, P, V c U~(X{P~V)XU U, X, P, W c U~(X|P{W)XU U, X, P, X c U{(X{P)~XXU U, X, Q, P c U~(X|P)~QXU U, X, Q, Q c U~(X~Q|Q)XU U, X, Q, R c (U{Q)~(X{R)XU U, X, Q, S c (U{X~Q)~SXU U, X, Q, T c U{X~Q~TXU U, X, Q, U c (U~X|U)~QXU U, X, Q, W c U{X~(Q{W)XU U, X, Q, X c U~(X|Q{X)XU U, X, R, Q c (U{Q)~(X{R)XU U, X, R, S c U~(X{R{S)XU U, X, R, T c (U{T)~X|RXU U, X, R, V c U{X~(R{V)XU U, X, R, W c (U{X|R)~WXU U, X, S, Q c (U{X~Q)~SXU U, X, S, R c U~(X{S{R)XU U, X, S, T c U~(X|T)~SXU U, X, S, U c U{X~(S{U)XU U, X, S, W c U~S{X~WXU U, X, S, X c (U{X{X)~SXU U, X, T, Q c U{X~T~QXU U, X, T, R c (U{T)~X|RXU U, X, T, S c U~(X|T)~SXU U, X, T, T c U{X~(T{T)XU U, X, T, X c U{(X{X)~TXU U, X, U, P c U~(X{U{P)XU U, X, U, Q c (U~X|U)~QXU U, X, U, S c U{X~(U{S)XU U, X, U, U c U{(X{U)~UXU U, X, U, V c U~X{U~VXU U, X, U, W c U~(X{W)|UXU U, X, V, O c U~(X{V){OXU U, X, V, P c U~(X{V)~PXU U, X, V, R c U{X~(V{R)XU U, X, V, U c U~X{V~UXU U, X, V, W c U~(X|V)~WXU U, X, V, X c (U{X)~V|XXU U, X, W, P c U~(X{W|P)XU U, X, W, Q c U{X~(W{Q)XU U, X, W, R c (U{X|R)~WXU U, X, W, S c U~S{X~WXU U, X, W, U c U~(X{W)|UXU U, X, W, V c U~(X|V)~WXU U, X, W, W c XU~W~WXU U, X, W, X c (X|U{X)~WXU U, X, X, P c U{X~(X{P)XU U, X, X, Q c U~(X{X|Q)XU U, X, X, S c (U{X{X)~SXU U, X, X, T c U{(X{X)~TXU U, X, X, V c (U{X)~V|XXU U, X, X, W c (X|U{X)~WXU U, X, X, X c U{X{X~XXU V, O, T, W c (V{O{T)~WXU V, O, U, X c (V{O{X)~UXU V, O, W, T c (V{O{T)~WXU V, O, X, U c (V{O{X)~UXU V, P, Q, U c (V{P)~(Q~U)XU V, P, Q, V c (V~V|P)~QXU V, P, Q, W c (V|P)~(Q~W)XU V, P, R, S c (V{P)~(R~S)XU V, P, R, X c (V{P)~(R{X)XU V, P, S, R c (V{P)~(S~R)XU V, P, S, S c (V|P)~(S~S)XU V, P, S, W c (V{P{S)~WXU V, P, T, V c (V{P)~(T{V)XU V, P, T, W c (V{P~T)~WXU V, P, T, X c (V{T)~(X|P)XU V, P, U, Q c (V{P)~(U~Q)XU V, P, U, U c (V{P)~(U{U)XU V, P, U, W c (V|P{U)~WXU V, P, U, X c (V{P~X)~UXU V, P, V, Q c (V~V|P)~QXU V, P, V, T c (V{P)~(V{T)XU V, P, V, X c (V|P)~(V{X)XU V, P, W, Q c (V|P)~(W~Q)XU V, P, W, S c (V{P)~(W{S)XU V, P, W, T c (V{P~T)~WXU V, P, W, U c (V{P{W)~UXU V, P, W, W c (V|P)~(W{W)XU V, P, X, R c (V{P)~(X{R)XU V, P, X, T c (V{X)~(P{T)XU V, P, X, U c (V{P~X)~UXU V, P, X, V c (V|P)~(X{V)XU V, Q, P, U c (V{P)~(Q~U)XU V, Q, P, V c (V~V|P)~QXU V, Q, P, W c (V|P)~(Q~W)XU V, Q, Q, U c (V~Q{Q)~UXU V, Q, Q, V c V~Q~V|QXU V, Q, Q, W c (V~Q|Q)~WXU V, Q, R, W c (V{Q{R)~WXU V, Q, R, X c (V{X)~(Q~R)XU V, Q, S, T c (V{T)~(Q~S)XU V, Q, S, X c (V{X)~(Q{S)XU V, Q, T, S c (V{T)~(Q~S)XU V, Q, T, U c (V{T)~(Q{U)XU V, Q, T, X c V~(T{X)|QXU V, Q, U, P c (V{P)~(Q~U)XU V, Q, U, Q c (V~Q{Q)~UXU V, Q, U, T c (V{T)~(Q{U)XU V, Q, U, U c (V~U{U)~QXU V, Q, U, V c (V{Q{V)~UXU V, Q, U, W c V~(U{W)|QXU V, Q, V, P c (V~V|P)~QXU V, Q, V, Q c V~Q~V|QXU V, Q, V, U c (V{Q{V)~UXU V, Q, V, V c (V{V)~V|QXU V, Q, V, W c (V|Q{V)~WXU V, Q, W, P c (V|P)~(Q~W)XU V, Q, W, Q c (V~Q|Q)~WXU V, Q, W, R c (V{Q{R)~WXU V, Q, W, U c V~(W{U)|QXU V, Q, W, V c (V|Q{V)~WXU V, Q, W, W c (V~W|W)~QXU V, Q, W, X c (V{X)~(W|Q)XU V, Q, X, R c (V{X)~(Q~R)XU V, Q, X, S c (V{X)~(Q{S)XU V, Q, X, T c V~(X{T)|QXU V, Q, X, W c (V{X)~(W|Q)XU V, R, P, S c (V{P)~(R~S)XU V, R, P, X c (V{P)~(R{X)XU V, R, Q, W c (V{R{Q)~WXU V, R, Q, X c (V{X)~(R~Q)XU V, R, R, S c (V~R{R)~SXU V, R, R, T c (V~T|R)~RXU V, R, R, U c (V{R~R)~UXU V, R, R, W c (V|R)~(R~W)XU V, R, R, X c (V{X)~(R{R)XU V, R, S, P c (V{P)~(R~S)XU V, R, S, R c (V~R{R)~SXU V, R, S, S c (V~S{S)~RXU V, R, S, U c (V|R)~(S~U)XU V, R, S, X c (V{S)~X|RXU V, R, T, R c (V~T|R)~RXU V, R, T, T c (V{T)~(R{T)XU V, R, T, U c (V~R|T)~UXU V, R, T, X c V~R~T|XXU V, R, U, R c (V{R~R)~UXU V, R, U, S c (V|R)~(U~S)XU V, R, U, T c (V~R|T)~UXU V, R, U, U c (V{R{U)~UXU V, R, U, X c (V{R)~X{UXU V, R, W, Q c (V{R{Q)~WXU V, R, W, R c (V|R)~(W~R)XU V, R, W, W c (V|R{W)~WXU V, R, W, X c (V~R|X)~WXU V, R, X, P c (V{P)~(R{X)XU V, R, X, Q c (V{X)~(R~Q)XU V, R, X, R c (V{X)~(R{R)XU V, R, X, S c (V{S)~X|RXU V, R, X, T c V~R~T|XXU V, R, X, U c (V{R)~X{UXU V, R, X, W c (V~R|X)~WXU V, R, X, X c (V{X)~(X|R)XU V, S, P, R c (V{P)~(S~R)XU V, S, P, S c (V|P)~(S~S)XU V, S, P, W c (V{S{P)~WXU V, S, Q, T c (V{T)~(S~Q)XU V, S, Q, X c (V{X)~(S{Q)XU V, S, R, P c (V{P)~(S~R)XU V, S, R, R c (V~R{R)~SXU V, S, R, S c (V~S{S)~RXU V, S, R, U c (V|R)~(S~U)XU V, S, R, X c (V{S)~X|RXU V, S, S, P c (V|P)~(S~S)XU V, S, S, R c (V~S{S)~RXU V, S, S, S c (V~S|S)~SXU V, S, S, T c (V{T)~(S{S)XU V, S, S, W c (V|S)~(S~W)XU V, S, T, Q c (V{T)~(S~Q)XU V, S, T, S c (V{T)~(S{S)XU V, S, T, U c (V{S{T)~UXU V, S, T, X c V~(S{X){TXU V, S, U, R c (V|R)~(S~U)XU V, S, U, T c (V{S{T)~UXU V, S, W, P c (V{S{P)~WXU V, S, W, S c (V|S)~(W~S)XU V, S, W, W c (V{S)~W{WXU V, S, W, X c (V|S{X)~WXU V, S, X, Q c (V{X)~(S{Q)XU V, S, X, R c (V{S)~X|RXU V, S, X, T c V~(S{X){TXU V, S, X, W c (V|S{X)~WXU V, T, O, W c (V{T{O)~WXU V, T, P, V c (V{T)~(P{V)XU V, T, P, W c (V{T)~(P~W)XU V, T, P, X c (V{T)~(X|P)XU V, T, Q, S c (V{T)~(Q~S)XU V, T, Q, U c (V{T)~(Q{U)XU V, T, Q, X c V~(T{X)|QXU V, T, R, R c (V~T|R)~RXU V, T, R, T c (V{T)~(R{T)XU V, T, R, U c (V~R|T)~UXU V, T, R, X c V~T~R|XXU V, T, S, Q c (V{T)~(S~Q)XU V, T, S, S c (V{T)~(S{S)XU V, T, S, U c (V{T{S)~UXU V, T, S, X c V~(S{X){TXU V, T, T, R c (V{T)~(T{R)XU V, T, T, W c V~(T{W){TXU V, T, U, Q c (V{T)~(U{Q)XU V, T, U, R c (V~R|T)~UXU V, T, U, S c (V{T{S)~UXU V, T, U, V c (V{U)~V{TXU V, T, U, W c (V|T)~(U~W)XU V, T, V, P c (V{T)~(V{P)XU V, T, V, U c V~(V{U){TXU V, T, W, O c (V{T)~(W{O)XU V, T, W, P c (V{T)~(W~P)XU V, T, W, T c V~(T{W){TXU V, T, W, U c (V|T)~(W~U)XU V, T, W, W c V~W{T~WXU V, T, X, P c (V{T)~(X|P)XU V, T, X, Q c V~(T{X)|QXU V, T, X, R c V~T~R|XXU V, T, X, S c V~(X{S){TXU V, U, O, X c (V{O{X)~UXU V, U, P, Q c (V{P)~(U~Q)XU V, U, P, U c (V{P)~(U{U)XU V, U, P, W c (V{U|P)~WXU V, U, P, X c (V{P~X)~UXU V, U, Q, P c (V{P)~(U~Q)XU V, U, Q, Q c (V~Q{Q)~UXU V, U, Q, T c (V{T)~(U{Q)XU V, U, Q, U c (V~U{U)~QXU V, U, Q, V c (V{Q{V)~UXU V, U, Q, W c V~(U{W)|QXU V, U, R, R c (V{R~R)~UXU V, U, R, S c (V|R)~(U~S)XU V, U, R, T c (V~R|T)~UXU V, U, R, U c (V{U{R)~UXU V, U, R, X c (V{R)~X{UXU V, U, S, R c (V|R)~(U~S)XU V, U, S, T c (V{S{T)~UXU V, U, T, Q c (V{T)~(U{Q)XU V, U, T, R c (V~R|T)~UXU V, U, T, S c (V{T{S)~UXU V, U, T, V c (V{U)~V{TXU V, U, T, W c (V|T)~(U~W)XU V, U, U, P c (V{P)~(U{U)XU V, U, U, Q c (V~U{U)~QXU V, U, U, R c (V{U{R)~UXU V, U, U, W c (V{W)~U{UXU V, U, U, X c V~U{U~XXU V, U, V, Q c (V{V{Q)~UXU V, U, V, T c (V{U)~V{TXU V, U, W, P c (V{U|P)~WXU V, U, W, Q c V~(U{W)|QXU V, U, W, T c (V|T)~(U~W)XU V, U, W, U c (V{W)~U{UXU V, U, W, W c (V{U)~W|WXU V, U, W, X c (U~W)~(X|V)XU V, U, X, O c (V{X)~(U{O)XU V, U, X, P c (V{X)~(U~P)XU V, U, X, R c (V{R)~X{UXU V, U, X, U c V~U{X~UXU V, U, X, W c U~(X|V)~WXU V, U, X, X c V~(U{X)|XXU V, V, P, Q c (V~V|P)~QXU V, V, P, T c (V{P)~(V{T)XU V, V, P, X c (V|P)~(V{X)XU V, V, Q, P c (V~V|P)~QXU V, V, Q, Q c V~V~Q|QXU V, V, Q, U c (V{V{Q)~UXU V, V, Q, V c (V{V)~V|QXU V, V, Q, W c (V{V|Q)~WXU V, V, T, P c (V{T)~(V{P)XU V, V, T, U c V~(V{U){TXU V, V, U, Q c (V{V{Q)~UXU V, V, U, T c V~(V{U){TXU V, V, V, Q c (V{V)~V|QXU V, V, W, Q c (V{V|Q)~WXU V, V, W, X c V~(V{W)|XXU V, V, X, P c (V{X)~(V|P)XU V, V, X, W c V~(V{W)|XXU V, W, O, T c (V{O{T)~WXU V, W, P, Q c (V|P)~(W~Q)XU V, W, P, S c (V{P)~(W{S)XU V, W, P, T c (V{P~T)~WXU V, W, P, U c (V{W{P)~UXU V, W, P, W c (V|P)~(W{W)XU V, W, Q, P c (V|P)~(W~Q)XU V, W, Q, Q c (V~Q|Q)~WXU V, W, Q, R c (V{Q{R)~WXU V, W, Q, U c V~(W{U)|QXU V, W, Q, V c (V|Q{V)~WXU V, W, Q, W c (V~W|W)~QXU V, W, Q, X c (V{X)~(W|Q)XU V, W, R, Q c (V{R{Q)~WXU V, W, R, R c (V|R)~(W~R)XU V, W, R, W c (V{W|R)~WXU V, W, R, X c (V~R|X)~WXU V, W, S, P c (V{S{P)~WXU V, W, S, S c (V|S)~(W~S)XU V, W, S, W c (V{S)~W{WXU V, W, S, X c (V{W{X)~SXU V, W, T, O c (V{T)~(W{O)XU V, W, T, P c (V{T)~(W~P)XU V, W, T, T c V~(W{T){TXU V, W, T, U c (V|T)~(W~U)XU V, W, T, W c V~W{T~WXU V, W, U, P c (V{W{P)~UXU V, W, U, Q c V~(W{U)|QXU V, W, U, T c (V|T)~(W~U)XU V, W, U, U c (V{W)~U{UXU V, W, U, W c (V{U)~W|WXU V, W, U, X c (W~U)~(X|V)XU V, W, V, Q c (V{V|Q)~WXU V, W, V, X c (V{W)~V|XXU V, W, W, P c (V|P)~(W{W)XU V, W, W, Q c (V~W|W)~QXU V, W, W, R c (V{W|R)~WXU V, W, W, S c (V{S)~W{WXU V, W, W, T c V~W{W~TXU V, W, W, U c (V{U)~W|WXU V, W, X, Q c (V{X)~(W|Q)XU V, W, X, R c (V~R|X)~WXU V, W, X, S c (V{W{X)~SXU V, W, X, U c W~(X|V)~UXU V, W, X, V c (V{W)~V|XXU V, W, X, X c V{W{X~XXU V, X, O, U c (V{X{O)~UXU V, X, P, R c (V{P)~(X{R)XU V, X, P, T c (V{X)~(P{T)XU V, X, P, U c (V{X)~(P~U)XU V, X, P, V c (V{X)~(V|P)XU V, X, Q, R c (V{X)~(Q~R)XU V, X, Q, S c (V{X)~(Q{S)XU V, X, Q, T c V~(X{T)|QXU V, X, Q, W c (V{X)~(W|Q)XU V, X, R, P c (V{P)~(X{R)XU V, X, R, Q c (V{X)~(R~Q)XU V, X, R, R c (V{X)~(R{R)XU V, X, R, S c (V{S)~X|RXU V, X, R, T c V~R~T|XXU V, X, R, U c (V{R)~X{UXU V, X, R, W c (V~R|X)~WXU V, X, R, X c (V{X)~(X|R)XU V, X, S, Q c (V{X)~(S{Q)XU V, X, S, R c (V{S)~X|RXU V, X, S, T c V~(X{S){TXU V, X, S, W c (V{X|S)~WXU V, X, T, P c (V{X)~(T{P)XU V, X, T, Q c V~(X{T)|QXU V, X, T, R c V~T~R|XXU V, X, T, S c V~(X{S){TXU V, X, U, O c (V{X)~(U{O)XU V, X, U, P c (V{X)~(U~P)XU V, X, U, R c (V{R)~X{UXU V, X, U, U c V~U{X~UXU V, X, U, W c (X|V)~(U~W)XU V, X, U, X c V~(X{U)|XXU V, X, V, P c (V{X)~(V|P)XU V, X, V, W c V~(V{W)|XXU V, X, W, Q c (V{X)~(W|Q)XU V, X, W, R c (V~R|X)~WXU V, X, W, S c (V{X{W)~SXU V, X, W, U c (X|V)~(W~U)XU V, X, W, V c (V{W)~V|XXU V, X, W, X c V{X~X{WXU V, X, X, R c (V{X)~(X|R)XU V, X, X, U c V~(X{U)|XXU V, X, X, W c V{X~X{WXU W, O, Q, U c (W{O)~(Q~U)XU W, O, R, S c (W{O)~(R~S)XU W, O, R, X c (W{O)~(R{X)XU W, O, S, R c (W{O)~(S~R)XU W, O, S, W c (W{O{S)~WXU W, O, T, V c (W{O)~(T{V)XU W, O, U, Q c (W{O)~(U~Q)XU W, O, U, U c (W{O)~(U{U)XU W, O, U, W c (W{O{W)~UXU W, O, V, T c (W{O)~(V{T)XU W, O, W, S c (W{O)~(W{S)XU W, O, W, U c (W{O{W)~UXU W, O, X, R c (W{O)~(X{R)XU W, P, P, U c W~(P{P)~UXU W, P, Q, S c W~(P{Q)~SXU W, P, Q, T c W~(P{T)~QXU W, P, Q, U c W~P~Q~UXU W, P, Q, V c (W~Q)~(V|P)XU W, P, Q, X c W~(P{Q{X)XU W, P, R, R c W~(P{R)~RXU W, P, R, S c W~P~R~SXU W, P, R, T c (W~R)~(T|P)XU W, P, R, U c W~(R|P)~UXU W, P, R, W c (W{P{R)~WXU W, P, R, X c (W~P)~(R{X)XU W, P, S, Q c W~(P{Q)~SXU W, P, S, R c W~P~S~RXU W, P, S, S c W~(S|P)~SXU W, P, S, V c W~(P{S{V)XU W, P, S, W c (W{P~S)~WXU W, P, S, X c W~(S|P{X)XU W, P, T, Q c W~(P{T)~QXU W, P, T, R c W~(T|P)~RXU W, P, T, U c W~(P{T{U)XU W, P, T, V c (W~P)~(T{V)XU W, P, T, W c (W|P{T)~WXU W, P, U, P c W~(P{P)~UXU W, P, U, Q c W~P~U~QXU W, P, U, R c (W~U)~(R|P)XU W, P, U, T c W~(P{U{T)XU W, P, U, U c (W~P)~(U{U)XU W, P, U, V c (W{P{V)~UXU W, P, U, W c (W{P~W)~UXU W, P, U, X c (W|P{X)~UXU W, P, V, Q c W~(V|P)~QXU W, P, V, S c W~(P{V{S)XU W, P, V, T c (W~P)~(V{T)XU W, P, V, U c (W{P{V)~UXU W, P, V, W c (W{W)~(V|P)XU W, P, W, R c W~(P{W{R)XU W, P, W, S c (W~P)~(W{S)XU W, P, W, T c (W|P{T)~WXU W, P, W, U c (W{P~W)~UXU W, P, W, V c (W{W)~(V|P)XU W, P, X, Q c W~(P{X{Q)XU W, P, X, R c (W~P)~(X{R)XU W, P, X, S c W~(X|P{S)XU W, P, X, U c (W|P{X)~UXU W, Q, O, U c (W~Q{O)~UXU W, Q, P, S c W~(Q{P)~SXU W, Q, P, T c (W~Q)~(P{T)XU W, Q, P, U c W~Q~P~UXU W, Q, P, V c (W~Q)~(V|P)XU W, Q, P, X c W~(Q{P{X)XU W, Q, Q, R c W~(Q{Q)~RXU W, Q, Q, S c (W~Q)~(Q{S)XU W, Q, Q, T c W~(Q{Q~T)XU W, Q, Q, V c W~(Q~V|Q)XU W, Q, Q, W c (W{Q{Q)~WXU W, Q, R, Q c W~Q~R~QXU W, Q, R, R c (W~Q)~(R{R)XU W, Q, R, U c W~(Q~R{U)XU W, Q, R, V c W~(Q{R{V)XU W, Q, R, W c WQ~R~WXU W, Q, R, X c (W~Q)~(X|R)XU W, Q, S, P c W~(Q{P)~SXU W, Q, S, Q c W~(Q{S)~QXU W, Q, S, S c (W|Q)~(S~S)XU W, Q, S, T c (W~S)~(T|Q)XU W, Q, S, U c (W{Q~S)~UXU W, Q, S, W c (W~Q|S)~WXU W, Q, T, P c (W~Q)~(T{P)XU W, Q, T, Q c W~(Q{T~Q)XU W, Q, T, S c W~(T|Q)~SXU W, Q, T, T c W~(Q{T{T)XU W, Q, T, W c (W{T~W)~QXU W, Q, T, X c W~(T|Q{X)XU W, Q, U, O c W~Q~U{OXU W, Q, U, P c W~Q~U~PXU W, Q, U, R c W~(Q~R{U)XU W, Q, U, S c W~(Q{U{S)XU W, Q, U, U c (W{Q{U)~UXU W, Q, U, V c (W{U)~V|QXU W, Q, U, W c (W|Q{U)~WXU W, Q, U, X c (W{Q)~X{UXU W, Q, V, P c (W~Q)~(V|P)XU W, Q, V, Q c W~(Q~V|Q)XU W, Q, V, R c W~(Q{V{R)XU W, Q, V, U c (W{U)~V|QXU W, Q, V, V c W~(V|Q{V)XU W, Q, V, W c (W~V|W)~QXU W, Q, V, X c (W|Q)~(V{X)XU W, Q, W, Q c (W|Q)~(W~Q)XU W, Q, W, R c WQ~W~RXU W, Q, W, S c (W{Q~W)~SXU W, Q, W, T c (W{W~T)~QXU W, Q, W, U c (W|Q{U)~WXU W, Q, W, V c (W~V|W)~QXU W, Q, W, W c (W|Q)~(W{W)XU W, Q, W, X c W{(Q{X)~WXU W, Q, X, P c W~(Q{X{P)XU W, Q, X, R c (W~Q)~(X|R)XU W, Q, X, T c W~(X|Q{T)XU W, Q, X, U c (W{Q)~X{UXU W, Q, X, V c (W|Q)~(X{V)XU W, Q, X, W c W{(Q{X)~WXU W, R, O, S c (W~R{O)~SXU W, R, O, X c W~(R{O{X)XU W, R, P, R c W~(R{P)~RXU W, R, P, S c W~R~P~SXU W, R, P, T c (W~R)~(T|P)XU W, R, P, U c W~(R|P)~UXU W, R, P, W c (W{R{P)~WXU W, R, P, X c W~(R{P~X)XU W, R, Q, Q c (W~R)~(Q{Q)XU W, R, Q, R c W~(R{R)~QXU W, R, Q, U c W~(R~Q{U)XU W, R, Q, V c W~(R{Q{V)XU W, R, Q, W c W~RQ~WXU W, R, Q, X c (W~Q)~(X|R)XU W, R, R, P c (W~R)~(R{P)XU W, R, R, Q c W~(R{R)~QXU W, R, R, R c W~(R{R~R)XU W, R, R, T c W~(R~T|R)XU W, R, R, U c W~(R{R{U)XU W, R, R, V c (W~R)~(V|R)XU W, R, R, W c (W{R~W)~RXU W, R, R, X c (W{R)~X|RXU W, R, S, O c W~R~S{OXU W, R, S, P c W~R~S~PXU W, R, S, T c W~(R{S{T)XU W, R, S, U c (W{S~U)~RXU W, R, S, W c (W~R)~(W|S)XU W, R, S, X c WR~S~XXU W, R, T, P c (W~R)~(T|P)XU W, R, T, R c W~(R~T|R)XU W, R, T, S c W~(R{T{S)XU W, R, T, U c (W{R{T)~UXU W, R, T, W c (W~T|W)~RXU W, R, T, X c (W~R)~(X|T)XU W, R, U, P c W~(R|P)~UXU W, R, U, Q c (W~R)~(U|Q)XU W, R, U, R c W~(R{U{R)XU W, R, U, S c W~(U|R)~SXU W, R, U, T c (W{R{T)~UXU W, R, U, U c W~(R~U|U)XU W, R, U, W c (W~R|W)~UXU W, R, U, X c W~(U|R{X)XU W, R, V, Q c W~(R{V{Q)XU W, R, V, R c (W~R)~(V|R)XU W, R, V, W c (W|R{V)~WXU W, R, V, X c W~(R~V|X)XU W, R, W, P c W~(R{W{P)XU W, R, W, Q c W~R~WQXU W, R, W, R c (W{R~W)~RXU W, R, W, S c (W~R)~(W|S)XU W, R, W, T c (W~T|W)~RXU W, R, W, U c (W~R|W)~UXU W, R, W, V c (W|R{V)~WXU W, R, W, W c W{(R{W)~WXU W, R, W, X c W~R{W~XXU W, R, X, O c W~(R{X){OXU W, R, X, P c W~(R{X)~PXU W, R, X, Q c W~(X|R)~QXU W, R, X, R c (W{R)~X|RXU W, R, X, S c WR~X~SXU W, R, X, T c (W~R)~(X|T)XU W, R, X, U c W~(X|R{U)XU W, R, X, V c W~(R~V|X)XU W, R, X, W c W~R{X~WXU W, R, X, X c W~(XR{X)XU W, S, O, R c (W~S{O)~RXU W, S, O, W c (W{S{O)~WXU W, S, P, Q c (W~S)~(P{Q)XU W, S, P, R c W~S~P~RXU W, S, P, S c W~(S|P)~SXU W, S, P, V c (W{S)~(P{V)XU W, S, P, W c (W{S)~(P~W)XU W, S, P, X c W~(S|P{X)XU W, S, Q, P c (W~S)~(Q{P)XU W, S, Q, Q c W~(S{Q)~QXU W, S, Q, S c (W{S)~(Q~S)XU W, S, Q, T c (W~S)~(T|Q)XU W, S, Q, U c (W{S)~(Q{U)XU W, S, Q, W c (W~Q|S)~WXU W, S, R, O c W~S~R{OXU W, S, R, P c W~S~R~PXU W, S, R, T c (W{S)~(R{T)XU W, S, R, U c (W{S~U)~RXU W, S, R, W c (W|S)~(R~W)XU W, S, R, X c W~SR~XXU W, S, S, P c (W~S)~(S|P)XU W, S, S, Q c (W{S)~(S~Q)XU W, S, S, S c (W{S)~(S{S)XU W, S, S, U c (W{S{S)~UXU W, S, S, V c (W~S)~(V|S)XU W, S, S, W c (W~S|W)~SXU W, S, T, Q c (W~S)~(T|Q)XU W, S, T, R c (W{S)~(T{R)XU W, S, T, W c W~(S~T|W)XU W, S, U, Q c (W{S)~(U{Q)XU W, S, U, R c (W{S~U)~RXU W, S, U, S c (W|S)~(U~S)XU W, S, U, U c W~(U|S)~UXU W, S, U, W c WS~U~WXU W, S, U, X c (W~S)~(X|U)XU W, S, V, P c (W{S)~(V{P)XU W, S, V, S c (W~S)~(V|S)XU W, S, V, W c W{(S{V)~WXU W, S, V, X c W~(V|S{X)XU W, S, W, O c (W{S)~(W{O)XU W, S, W, P c (W{S)~(W~P)XU W, S, W, Q c (W{W)~(S{Q)XU W, S, W, R c (W|S)~(W~R)XU W, S, W, S c (W~S|W)~SXU W, S, W, T c (W~S)~(W|T)XU W, S, W, U c WS~W~UXU W, S, W, V c W{(S{V)~WXU W, S, W, W c (W|S{W)~WXU W, S, W, X c W~(S{X)|WXU W, S, X, P c (W{S)~(X|P)XU W, S, X, R c W~S~XRXU W, S, X, U c (W~S)~(X|U)XU W, S, X, V c W~(X|S{V)XU W, S, X, W c W~(S{X)|WXU W, T, O, V c W~(T{O{V)XU W, T, P, Q c W~(T{P)~QXU W, T, P, R c W~(T|P)~RXU W, T, P, U c W~(T{P{U)XU W, T, P, V c W~(T{P~V)XU W, T, P, W c (W{T|P)~WXU W, T, Q, P c W~(T{P)~QXU W, T, Q, Q c W~(T~Q{Q)XU W, T, Q, S c W~(T|Q)~SXU W, T, Q, T c W~(T{Q{T)XU W, T, Q, W c (W{T~W)~QXU W, T, Q, X c W~(T|Q{X)XU W, T, R, P c W~(T|P)~RXU W, T, R, R c W~(T~R|R)XU W, T, R, S c W~(T{R{S)XU W, T, R, U c (W{T{R)~UXU W, T, R, W c (W~T|W)~RXU W, T, R, X c (W~R)~(X|T)XU W, T, S, Q c W~(T|Q)~SXU W, T, S, R c W~(T{S{R)XU W, T, S, W c (W|T)~(S~W)XU W, T, T, Q c W~(T{T{Q)XU W, T, T, V c (W{T)~V{TXU W, T, U, P c W~(T{U{P)XU W, T, U, R c (W{T{R)~UXU W, T, U, V c (W~U)~(V|T)XU W, T, U, W c W{(T{U)~WXU W, T, V, O c W~(T{V){OXU W, T, V, P c W~(T{V)~PXU W, T, V, T c (W{T)~V{TXU W, T, V, U c W~(V|T)~UXU W, T, V, W c W~T{V~WXU W, T, W, P c W~(T{W|P)XU W, T, W, Q c (W{T~W)~QXU W, T, W, R c (W~T|W)~RXU W, T, W, S c (W|T)~(W~S)XU W, T, W, U c W{(T{U)~WXU W, T, W, V c W~T{W~VXU W, T, W, W c (W{T)~W|WXU W, T, W, X c (W|T{X)~WXU W, T, X, Q c W~(T{X|Q)XU W, T, X, R c W~(X|T)~RXU W, T, X, W c (W|T{X)~WXU W, U, O, Q c (W~U{O)~QXU W, U, O, U c W~(U{O{U)XU W, U, O, W c (W{O{W)~UXU W, U, P, P c (W~U)~(P{P)XU W, U, P, Q c W~U~P~QXU W, U, P, R c (W~U)~(R|P)XU W, U, P, T c W~(U{P{T)XU W, U, P, U c W~(U{P~U)XU W, U, P, V c W~(U|P{V)XU W, U, P, W c (W{P~W)~UXU W, U, P, X c (W|P{X)~UXU W, U, Q, O c W~U~Q{OXU W, U, Q, P c W~U~Q~PXU W, U, Q, R c W~(U{Q~R)XU W, U, Q, S c W~(U{Q{S)XU W, U, Q, U c (W{U{Q)~UXU W, U, Q, V c (W{U)~V|QXU W, U, Q, W c (W{U|Q)~WXU W, U, Q, X c W~(UQ{X)XU W, U, R, P c (W~U)~(R|P)XU W, U, R, Q c W~(U{R~Q)XU W, U, R, R c W~(U{R{R)XU W, U, R, S c W~(U|R)~SXU W, U, R, T c (W~U)~(T|R)XU W, U, R, U c W~(U~R|U)XU W, U, R, W c (W~R|W)~UXU W, U, R, X c W~(U|R{X)XU W, U, S, Q c W~(U{S{Q)XU W, U, S, R c (W{U~S)~RXU W, U, S, S c (W|S)~(U~S)XU W, U, S, U c W~(U|S)~UXU W, U, S, W c W~US~WXU W, U, S, X c (W~S)~(X|U)XU W, U, T, P c W~(U{T{P)XU W, U, T, R c (W~U)~(T|R)XU W, U, T, V c (W~U)~(V|T)XU W, U, T, W c W{(U{T)~WXU W, U, U, O c W~(U{U){OXU W, U, U, P c W~(U{U)~PXU W, U, U, Q c (W{U{Q)~UXU W, U, U, R c W~U~URXU W, U, U, S c (W~U)~(U|S)XU W, U, U, V c (W{V)~U{UXU W, U, U, W c (W|U)~(U~W)XU W, U, U, X c (W{X)~U|UXU W, U, V, P c W~(U{V|P)XU W, U, V, Q c (W{U)~V|QXU W, U, V, T c (W~U)~(V|T)XU W, U, V, U c (W{V)~U{UXU W, U, V, W c W~(U{V)|WXU W, U, V, X c (W~U)~(X|V)XU W, U, W, O c (W{W)~(U{O)XU W, U, W, P c (W{W)~(U~P)XU W, U, W, Q c W~(U{W|Q)XU W, U, W, R c (W~R|W)~UXU W, U, W, S c W~U~WSXU W, U, W, T c W{(U{T)~WXU W, U, W, U c (W|U)~(W~U)XU W, U, W, V c W~(U{V)|WXU W, U, W, X c WU~W~XXU W, U, X, P c (W{X|P)~UXU W, U, X, Q c W~(UQ{X)XU W, U, X, R c W~(U{X|R)XU W, U, X, S c W~X{U~SXU W, U, X, U c (W{X)~U|UXU W, U, X, V c (W~U)~(X|V)XU W, U, X, W c WU~X~WXU W, U, X, X c W~(X|U{X)XU W, V, O, T c W~(V{O{T)XU W, V, P, Q c W~(V|P)~QXU W, V, P, S c W~(V{P{S)XU W, V, P, T c W~(V{P~T)XU W, V, P, U c (W{V{P)~UXU W, V, P, W c (W{W)~(V|P)XU W, V, Q, P c W~(V|P)~QXU W, V, Q, Q c W~(V~Q|Q)XU W, V, Q, R c W~(V{Q{R)XU W, V, Q, U c (W{U)~V|QXU W, V, Q, V c W~(V|Q{V)XU W, V, Q, W c (W~V|W)~QXU W, V, Q, X c (W|Q)~(V{X)XU W, V, R, Q c W~(V{R{Q)XU W, V, R, R c W~(V|R)~RXU W, V, R, W c (W{V|R)~WXU W, V, R, X c W~(V~R|X)XU W, V, S, P c W~(V{S{P)XU W, V, S, S c W~(V|S)~SXU W, V, S, W c W{(V{S)~WXU W, V, S, X c W~(V|S{X)XU W, V, T, O c W~(V{T){OXU W, V, T, P c W~(V{T)~PXU W, V, T, T c (W{T)~V{TXU W, V, T, U c W~(V|T)~UXU W, V, T, W c W~V{T~WXU W, V, U, P c W~(V{U|P)XU W, V, U, Q c (W{U)~V|QXU W, V, U, T c W~(V|T)~UXU W, V, U, U c (W{V)~U{UXU W, V, U, W c W~(V{U)|WXU W, V, U, X c (W~U)~(X|V)XU W, V, V, Q c W~(V{V|Q)XU W, V, V, X c (W{V)~V|XXU W, V, W, P c (W{W)~(V|P)XU W, V, W, Q c (W~V|W)~QXU W, V, W, R c W~(V{W|R)XU W, V, W, S c W{(V{S)~WXU W, V, W, T c W~V{W~TXU W, V, W, U c W~(V{U)|WXU W, V, X, Q c (W|Q)~(V{X)XU W, V, X, R c W~(V~R|X)XU W, V, X, S c (W{V{X)~SXU W, V, X, U c W~(X|V)~UXU W, V, X, V c (W{V)~V|XXU W, V, X, X c W{V{X~XXU W, W, O, S c W~(W{O{S)XU W, W, O, U c (W{W{O)~UXU W, W, P, R c W~(W{P{R)XU W, W, P, S c W~(W{P~S)XU W, W, P, T c (W{W)~(P{T)XU W, W, P, U c (W{W)~(P~U)XU W, W, P, V c (W{W)~(V|P)XU W, W, Q, Q c W~(W{Q{Q)XU W, W, Q, R c (W{W)~(Q~R)XU W, W, Q, S c (W{W)~(Q{S)XU W, W, Q, T c (W{W~T)~QXU W, W, Q, U c W~(W|Q{U)XU W, W, Q, V c (W~V|W)~QXU W, W, Q, W c (W{WQ)~WXU W, W, Q, X c W{W~(Q{X)XU W, W, R, P c W~(W{R{P)XU W, W, R, Q c (W{W)~(R~Q)XU W, W, R, R c (W{W)~(R{R)XU W, W, R, S c W~(W|S)~RXU W, W, R, T c (W~T|W)~RXU W, W, R, U c (W~R|W)~UXU W, W, R, V c W~(W|R{V)XU W, W, R, W c W{(W{R)~WXU W, W, R, X c (W{WR)~XXU W, W, S, O c W~(W{S){OXU W, W, S, P c W~(W{S)~PXU W, W, S, Q c (W{W)~(S{Q)XU W, W, S, R c W~(W|S)~RXU W, W, S, S c (W~S|W)~SXU W, W, S, T c W~(W|T)~SXU W, W, S, U c W~WS~UXU W, W, S, V c W{W~(S{V)XU W, W, S, W c (W{W|S)~WXU W, W, S, X c W~(S{X)|WXU W, W, T, P c (W{W)~(T{P)XU W, W, T, Q c (W{W~T)~QXU W, W, T, R c (W~T|W)~RXU W, W, T, S c W~(W|T)~SXU W, W, T, U c W{W~(T{U)XU W, W, T, V c W~T{W~VXU W, W, T, W c W~(W{T)|WXU W, W, T, X c W~(W|T{X)XU W, W, U, O c (W{W)~(U{O)XU W, W, U, P c (W{W)~(U~P)XU W, W, U, Q c W~(W{U|Q)XU W, W, U, R c (W~R|W)~UXU W, W, U, S c W~W~USXU W, W, U, T c W{W~(U{T)XU W, W, U, U c W~(W|U)~UXU W, W, U, V c W~(U{V)|WXU W, W, U, X c W~WU~XXU W, W, V, P c (W{W)~(V|P)XU W, W, V, Q c (W~V|W)~QXU W, W, V, R c W~(W{V|R)XU W, W, V, S c W{W~(V{S)XU W, W, V, T c W~V{W~TXU W, W, V, U c W~(V{U)|WXU W, W, W, Q c (W{W)~(W|Q)XU W, W, W, R c W{W~(W{R)XU W, W, W, S c (W{W{W)~SXU W, W, W, T c W~(W{T)|WXU W, W, X, Q c W{W~(X{Q)XU W, W, X, R c (W{W)~(X|R)XU W, W, X, S c W~(X{S)|WXU W, W, X, T c W~(W{X|T)XU W, W, X, U c W~W~XUXU W, X, O, R c W~(X{O{R)XU W, X, P, Q c W~(X{P{Q)XU W, X, P, R c W~(X{P~R)XU W, X, P, S c W~(X|P{S)XU W, X, P, U c (W{X|P)~UXU W, X, Q, P c W~(X{Q{P)XU W, X, Q, R c W~(X|R)~QXU W, X, Q, T c W~(X|Q{T)XU W, X, Q, U c W~(X~Q|U)XU W, X, Q, V c (W|Q)~(X{V)XU W, X, Q, W c W{(X{Q)~WXU W, X, R, O c W~(X{R){OXU W, X, R, P c W~(X{R)~PXU W, X, R, Q c W~(X|R)~QXU W, X, R, R c (W{R)~X|RXU W, X, R, S c W~XR~SXU W, X, R, T c W~(X|T)~RXU W, X, R, U c W~(X|R{U)XU W, X, R, V c W~(R~V|X)XU W, X, R, W c W~X{R~WXU W, X, R, X c W~(XR{X)XU W, X, S, P c W~(X{S|P)XU W, X, S, R c W~X~SRXU W, X, S, U c W~X{S~UXU W, X, S, V c W~(X|S{V)XU W, X, S, W c W~(X{S)|WXU W, X, T, Q c W~(X{T|Q)XU W, X, T, R c W~(X|T)~RXU W, X, T, W c (W{X|T)~WXU W, X, U, P c (W{X|P)~UXU W, X, U, Q c W~(X{UQ)XU W, X, U, R c W~(X{U|R)XU W, X, U, S c W~X{U~SXU W, X, U, U c (W{X)~U|UXU W, X, U, V c W~(X|V)~UXU W, X, U, W c W~XU~WXU W, X, U, X c W~(X|U{X)XU W, X, V, Q c (W|Q)~(X{V)XU W, X, V, R c W~(V~R|X)XU W, X, V, S c (W{X{V)~SXU W, X, V, U c W~(X|V)~UXU W, X, V, V c (W{V)~V|XXU W, X, V, X c W{X~X{VXU W, X, W, Q c W{(X{Q)~WXU W, X, W, R c W~X{W~RXU W, X, W, S c W~(X{S)|WXU W, X, W, T c W~(X{W|T)XU W, X, W, U c W~X~WUXU W, X, X, R c W~(X{XR)XU W, X, X, U c W~(X{X|U)XU W, X, X, V c W{X~X{VXU X, O, R, W c (X{O{R)~WXU X, O, U, V c (X{O{V)~UXU X, O, V, U c (X{O{V)~UXU X, O, W, R c (X{O{R)~WXU X, P, Q, U c (X|P)~(Q~U)XU X, P, Q, W c (X{P{Q)~WXU X, P, R, S c (X|P)~(R~S)XU X, P, R, V c (X{R)~(P{V)XU X, P, R, W c (X{P~R)~WXU X, P, R, X c (X|P)~(R{X)XU X, P, S, R c (X|P)~(S~R)XU X, P, S, W c (X|P{S)~WXU X, P, T, V c (X|P)~(T{V)XU X, P, U, Q c (X|P)~(U~Q)XU X, P, U, U c (X{P{U)~UXU X, P, U, V c (X{P~V)~UXU X, P, U, W c (X|P{W)~UXU X, P, U, X c (X{P)~X{UXU X, P, V, R c (X{R)~(P{V)XU X, P, V, T c (X|P)~(V{T)XU X, P, V, U c (X{P~V)~UXU X, P, V, V c (X{V)~(V|P)XU X, P, W, Q c (X{P{Q)~WXU X, P, W, R c (X{P~R)~WXU X, P, W, S c (X|P)~(W{S)XU X, P, W, U c (X|P{W)~UXU X, P, X, R c (X|P)~(X{R)XU X, P, X, U c (X{P)~X{UXU X, Q, P, U c (X|P)~(Q~U)XU X, Q, P, W c (X{Q{P)~WXU X, Q, Q, U c (X~Q|Q)~UXU X, Q, R, S c (X{R)~(Q~S)XU X, Q, R, T c (X~T{R)~QXU X, Q, R, U c (X{R)~(Q{U)XU X, Q, R, V c (X{V)~(Q~R)XU X, Q, R, W c (X|R)~(Q~W)XU X, Q, R, X c (X{Q)~X|RXU X, Q, S, R c (X{R)~(Q~S)XU X, Q, S, U c (X~Q{U)~SXU X, Q, S, V c (X{V)~(Q{S)XU X, Q, T, R c (X~T{R)~QXU X, Q, T, U c (X{Q{T)~UXU X, Q, T, V c (X{T)~V|QXU X, Q, T, W c (X|Q{T)~WXU X, Q, U, P c (X|P)~(Q~U)XU X, Q, U, Q c (X~Q|Q)~UXU X, Q, U, R c (X{R)~(Q{U)XU X, Q, U, S c (X~Q{U)~SXU X, Q, U, T c (X{Q{T)~UXU X, Q, U, U c (X~U|U)~QXU X, Q, U, W c (X~Q|U)~WXU X, Q, U, X c (X|Q{X)~UXU X, Q, V, R c (X{V)~(Q~R)XU X, Q, V, S c (X{V)~(Q{S)XU X, Q, V, T c (X{T)~V|QXU X, Q, V, W c (X{V)~(W|Q)XU X, Q, W, P c (X{Q{P)~WXU X, Q, W, R c (X|R)~(Q~W)XU X, Q, W, T c (X|Q{T)~WXU X, Q, W, U c X~(Q{W){UXU X, Q, W, V c (X{V)~(W|Q)XU X, Q, W, W c (X{Q)~W{WXU X, Q, X, R c (X{Q)~X|RXU X, Q, X, U c (X|Q{X)~UXU X, R, O, W c (X{R{O)~WXU X, R, P, S c (X|P)~(R~S)XU X, R, P, V c (X{R)~(P{V)XU X, R, P, W c (X{R)~(P~W)XU X, R, P, X c (X{R)~(X|P)XU X, R, Q, S c (X{R)~(Q~S)XU X, R, Q, T c (X~T{R)~QXU X, R, Q, U c (X{R)~(Q{U)XU X, R, Q, V c (X{V)~(R~Q)XU X, R, Q, W c (X|R)~(Q~W)XU X, R, Q, X c (X{Q)~X|RXU X, R, R, S c (X~R|R)~SXU X, R, R, T c (X{R)~(R{T)XU X, R, R, V c (X{V)~(R{R)XU X, R, R, W c X~(R{W)|RXU X, R, S, P c (X|P)~(R~S)XU X, R, S, Q c (X{R)~(S~Q)XU X, R, S, R c (X~R|R)~SXU X, R, S, S c (X{R)~(S{S)XU X, R, S, T c (X{R~T)~SXU X, R, S, U c (X{R{S)~UXU X, R, S, V c X~(S{V)|RXU X, R, S, W c XR~S~WXU X, R, T, Q c (X~T{R)~QXU X, R, T, R c (X{R)~(T{R)XU X, R, T, S c (X{R~T)~SXU X, R, T, U c X~(T{U)|RXU X, R, T, V c R~T~V|XXU X, R, T, W c (X|T)~(R~W)XU X, R, T, X c (X{TR)~XXU X, R, U, Q c (X{R)~(U{Q)XU X, R, U, S c (X{R{S)~UXU X, R, U, T c X~(U{T)|RXU X, R, U, V c X~(R{V){UXU X, R, U, W c (X|R{U)~WXU X, R, V, P c (X{R)~(V{P)XU X, R, V, Q c (X{V)~(R~Q)XU X, R, V, R c (X{V)~(R{R)XU X, R, V, S c X~(V{S)|RXU X, R, V, T c R~V~T|XXU X, R, V, U c X~(R{V){UXU X, R, V, W c (R~V|X)~WXU X, R, V, X c (X|R)~(V{X)XU X, R, W, O c (X{R)~(W{O)XU X, R, W, P c (X{R)~(W~P)XU X, R, W, Q c (X|R)~(W~Q)XU X, R, W, R c X~(R{W)|RXU X, R, W, S c XR~W~SXU X, R, W, T c (X|T)~(R~W)XU X, R, W, U c (X|R{U)~WXU X, R, W, V c (R~V|X)~WXU X, R, W, W c (X|R)~(W{W)XU X, R, W, X c (XR{X)~WXU X, R, X, P c (X{R)~(X|P)XU X, R, X, Q c X~(X{Q)|RXU X, R, X, T c X~X{R~TXU X, R, X, V c (X|R)~(X{V)XU X, R, X, W c (XR{X)~WXU X, S, P, R c (X|P)~(S~R)XU X, S, P, W c (X{S|P)~WXU X, S, Q, R c (X{R)~(S~Q)XU X, S, Q, U c (X~Q{U)~SXU X, S, Q, V c (X{V)~(S{Q)XU X, S, R, P c (X|P)~(S~R)XU X, S, R, Q c (X{R)~(S~Q)XU X, S, R, R c (X~R|R)~SXU X, S, R, S c (X~S|S)~RXU X, S, R, T c (X{R~T)~SXU X, S, R, U c (X{S{R)~UXU X, S, R, V c X~(S{V)|RXU X, S, R, W c X~SR~WXU X, S, S, R c (X~S|S)~RXU X, S, T, R c (X{T~R)~SXU X, S, T, U c (X|T)~(S~U)XU X, S, T, V c (X{S)~V{TXU X, S, U, Q c (X~Q{U)~SXU X, S, U, R c (X{S{R)~UXU X, S, U, T c (X|T)~(S~U)XU X, S, U, U c X~(S{U){UXU X, S, U, W c (X|U)~(S~W)XU X, S, U, X c (X{U{X)~SXU X, S, V, Q c (X{V)~(S{Q)XU X, S, V, R c X~(S{V)|RXU X, S, V, T c (X{S)~V{TXU X, S, V, W c (X|S{V)~WXU X, S, W, P c (X{S|P)~WXU X, S, W, R c X~S~WRXU X, S, W, U c X~W{S~UXU X, S, W, V c (X|S{V)~WXU X, S, W, W c (X{S)~W|WXU X, S, X, U c (X{X{U)~SXU X, T, P, V c (X|P)~(T{V)XU X, T, Q, R c (X~T{R)~QXU X, T, Q, U c (X{T{Q)~UXU X, T, Q, V c (X{T)~V|QXU X, T, Q, W c (X{T|Q)~WXU X, T, R, Q c (X~T{R)~QXU X, T, R, R c (X{R)~(T{R)XU X, T, R, S c (X{T~R)~SXU X, T, R, U c X~(T{U)|RXU X, T, R, V c T~R~V|XXU X, T, R, W c (X|T)~(R~W)XU X, T, R, X c (X{TR)~XXU X, T, S, R c (X{T~R)~SXU X, T, S, U c (X|T)~(S~U)XU X, T, S, V c (X{S)~V{TXU X, T, T, U c X~(T{T){UXU X, T, U, Q c (X{T{Q)~UXU X, T, U, R c X~(T{U)|RXU X, T, U, S c (X|T)~(U~S)XU X, T, U, T c X~(T{T){UXU X, T, U, X c (X{X)~T{UXU X, T, V, P c (X{V)~(T{P)XU X, T, V, Q c (X{T)~V|QXU X, T, V, R c T~V~R|XXU X, T, V, S c (X{S)~V{TXU X, T, W, Q c (X{T|Q)~WXU X, T, W, R c (X|T)~(W~R)XU X, T, W, W c (X|T{W)~WXU X, T, X, R c (X{TR)~XXU X, T, X, U c (X{X)~T{UXU X, U, O, V c (X{O{V)~UXU X, U, P, Q c (X|P)~(U~Q)XU X, U, P, U c (X{U{P)~UXU X, U, P, V c (X{P~V)~UXU X, U, P, W c (X|P{W)~UXU X, U, P, X c (X{P)~X{UXU X, U, Q, P c (X|P)~(U~Q)XU X, U, Q, Q c (X~Q|Q)~UXU X, U, Q, R c (X{R)~(U{Q)XU X, U, Q, S c (X~Q{U)~SXU X, U, Q, T c (X{Q{T)~UXU X, U, Q, U c (X~U|U)~QXU X, U, Q, W c (X{UQ)~WXU X, U, Q, X c (X|Q{X)~UXU X, U, R, Q c (X{R)~(U{Q)XU X, U, R, S c (X{R{S)~UXU X, U, R, T c X~(U{T)|RXU X, U, R, V c X~(R{V){UXU X, U, R, W c (X{U|R)~WXU X, U, S, Q c (X~Q{U)~SXU X, U, S, R c (X{S{R)~UXU X, U, S, T c (X|T)~(U~S)XU X, U, S, U c X~(U{S){UXU X, U, S, W c (X|U)~(S~W)XU X, U, S, X c (X{U{X)~SXU X, U, T, Q c (X{T{Q)~UXU X, U, T, R c X~(U{T)|RXU X, U, T, S c (X|T)~(U~S)XU X, U, T, T c X~(T{T){UXU X, U, T, X c (X{X)~T{UXU X, U, U, P c (X{U{P)~UXU X, U, U, Q c (X~U|U)~QXU X, U, U, S c X~(U{S){UXU X, U, U, U c (X{U)~U{UXU X, U, U, V c X~U{U~VXU X, U, U, W c (X{W)~U|UXU X, U, V, O c (X{V)~(U{O)XU X, U, V, P c (X{V)~(U~P)XU X, U, V, R c X~(V{R){UXU X, U, V, U c X~U{V~UXU X, U, V, W c (X|V)~(U~W)XU X, U, V, X c (X{U)~V|XXU X, U, W, P c (X{W|P)~UXU X, U, W, Q c (X{UQ)~WXU X, U, W, R c (X{U|R)~WXU X, U, W, S c (X|U)~(W~S)XU X, U, W, U c (X{W)~U|UXU X, U, W, V c (X|V)~(U~W)XU X, U, W, W c XU~W~WXU X, U, W, X c (X|U{X)~WXU X, U, X, P c X~(X{P){UXU X, U, X, Q c (X{X|Q)~UXU X, U, X, S c (X{U{X)~SXU X, U, X, T c (X{X)~T{UXU X, U, X, V c (X{U)~V|XXU X, U, X, W c (X|U{X)~WXU X, U, X, X c X{U{X~XXU X, V, O, U c (X{V{O)~UXU X, V, P, R c (X{R)~(V{P)XU X, V, P, T c (X{V)~(P{T)XU X, V, P, U c (X{V)~(P~U)XU X, V, P, V c (X{V)~(V|P)XU X, V, Q, R c (X{V)~(Q~R)XU X, V, Q, S c (X{V)~(Q{S)XU X, V, Q, T c (X{T)~V|QXU X, V, Q, W c (X{V)~(W|Q)XU X, V, R, P c (X{R)~(V{P)XU X, V, R, Q c (X{V)~(R~Q)XU X, V, R, R c (X{V)~(R{R)XU X, V, R, S c X~(V{S)|RXU X, V, R, T c V~R~T|XXU X, V, R, U c X~(V{R){UXU X, V, R, W c (V~R|X)~WXU X, V, R, X c (X{V)~(X|R)XU X, V, S, Q c (X{V)~(S{Q)XU X, V, S, R c X~(V{S)|RXU X, V, S, T c (X{S)~V{TXU X, V, S, W c (X{V|S)~WXU X, V, T, P c (X{V)~(T{P)XU X, V, T, Q c (X{T)~V|QXU X, V, T, R c V~T~R|XXU X, V, T, S c (X{S)~V{TXU X, V, U, O c (X{V)~(U{O)XU X, V, U, P c (X{V)~(U~P)XU X, V, U, R c X~(V{R){UXU X, V, U, U c X~U{V~UXU X, V, U, W c (X|V)~(U~W)XU X, V, U, X c (X{U)~V|XXU X, V, V, P c (X{V)~(V|P)XU X, V, V, W c V~(V{W)|XXU X, V, W, Q c (X{V)~(W|Q)XU X, V, W, R c (V~R|X)~WXU X, V, W, S c (X{V{W)~SXU X, V, W, U c (X|V)~(W~U)XU X, V, W, V c (V{W)~V|XXU X, V, W, X c X~X{V{WXU X, V, X, R c (X{V)~(X|R)XU X, V, X, U c (X{U)~V|XXU X, V, X, W c X~X{V{WXU X, W, O, R c (X{O{R)~WXU X, W, P, Q c (X{P{Q)~WXU X, W, P, R c (X{P~R)~WXU X, W, P, S c (X|P)~(W{S)XU X, W, P, U c (X{W|P)~UXU X, W, Q, P c (X{Q{P)~WXU X, W, Q, R c (X|R)~(W~Q)XU X, W, Q, T c (X|Q{T)~WXU X, W, Q, U c X~(W{Q){UXU X, W, Q, V c (X{V)~(W|Q)XU X, W, Q, W c (X{Q)~W{WXU X, W, R, O c (X{R)~(W{O)XU X, W, R, P c (X{R)~(W~P)XU X, W, R, Q c (X|R)~(W~Q)XU X, W, R, R c X~(W{R)|RXU X, W, R, S c X~WR~SXU X, W, R, T c (X|T)~(W~R)XU X, W, R, U c (X|R{U)~WXU X, W, R, V c W~(R~V|X)XU X, W, R, W c X~W{R~WXU X, W, R, X c (XR{X)~WXU X, W, S, P c (X{S|P)~WXU X, W, S, R c X~W~SRXU X, W, S, U c X~W{S~UXU X, W, S, V c (X{W{V)~SXU X, W, S, W c (X{S)~W|WXU X, W, T, Q c (X{T|Q)~WXU X, W, T, R c (X|T)~(W~R)XU X, W, T, W c (X{W|T)~WXU X, W, U, P c (X{W|P)~UXU X, W, U, Q c X~(W{Q){UXU X, W, U, R c (X{U|R)~WXU X, W, U, S c X~W{U~SXU X, W, U, U c (X{W)~U|UXU X, W, U, V c (X|V)~(W~U)XU X, W, U, W c X~WU~WXU X, W, U, X c (X|U{X)~WXU X, W, V, Q c (X{V)~(W|Q)XU X, W, V, R c W~(V~R|X)XU X, W, V, S c (X{W{V)~SXU X, W, V, U c (X|V)~(W~U)XU X, W, V, V c (W{V)~V|XXU X, W, V, X c X~X{W{VXU X, W, W, Q c (X{Q)~W{WXU X, W, W, R c X~W{W~RXU X, W, W, S c (X{S)~W|WXU X, W, W, T c (X{W|T)~WXU X, W, W, U c X~W~WUXU X, W, X, R c (X{XR)~WXU X, W, X, U c (X{X|U)~WXU X, W, X, V c X~X{W{VXU X, X, P, R c (X|P)~(X{R)XU X, X, P, U c X~(X{P){UXU X, X, Q, R c X~(X{Q)|RXU X, X, Q, U c (X{X|Q)~UXU X, X, R, P c (X{R)~(X|P)XU X, X, R, Q c X~(X{Q)|RXU X, X, R, T c X~X{R~TXU X, X, R, V c (X|R)~(X{V)XU X, X, R, W c (X{XR)~WXU X, X, S, U c (X{X{U)~SXU X, X, T, R c X~X{T~RXU X, X, T, U c (X{X)~T{UXU X, X, U, P c X~(X{P){UXU X, X, U, Q c (X{X|Q)~UXU X, X, U, S c (X{X{U)~SXU X, X, U, T c (X{X)~T{UXU X, X, U, V c (X{U)~V|XXU X, X, U, W c (X{X|U)~WXU X, X, U, X c X~X{U{XXU X, X, V, R c (X{V)~(X|R)XU X, X, V, U c (X{U)~V|XXU X, X, V, W c X~X{V{WXU X, X, W, R c (X{XR)~WXU X, X, W, U c (X{X|U)~WXU X, X, W, V c X~X{W{VXU X, X, X, U c X{X~X{UXU