O, O, V, X c O{O{V~XUR O, O, X, V c O{O{X~VUR O, P, U, X c (O{P{U)~XUR O, P, V, W c (O{P{W)~VUR O, P, V, X c O{P~V~XUR O, P, W, V c (O{P{W)~VUR O, P, W, W c O{W~W|PUR O, P, W, X c (O{W|P)~XUR O, P, X, U c (O{P{U)~XUR O, P, X, V c O{P~X~VUR O, P, X, W c (O{X)~(W|P)UR O, Q, T, X c (O{Q{T)~XUR O, Q, V, V c (O{Q{V)~VUR O, Q, V, X c O~Q{V~XUR O, Q, X, T c (O{Q{T)~XUR O, Q, X, V c O~Q{X~VUR O, Q, X, X c (O{X|Q)~XUR O, R, R, V c O{R~R~VUR O, R, S, X c (O{R{S)~XUR O, R, U, V c (O{R{U)~VUR O, R, V, R c O{R~V~RUR O, R, V, U c (O{R{U)~VUR O, R, V, X c O~R{V~XUR O, R, X, S c (O{R{S)~XUR O, R, X, V c O~R{X~VUR O, S, R, X c (O{S{R)~XUR O, S, T, V c (O{S{T)~VUR O, S, V, T c (O{S{T)~VUR O, S, V, X c O~S{V~XUR O, S, X, R c (O{S{R)~XUR O, S, X, V c O~S{X~VUR O, T, Q, X c (O{T{Q)~XUR O, T, S, V c (O{T{S)~VUR O, T, V, S c (O{T{S)~VUR O, T, V, X c O~T{V~XUR O, T, X, Q c (O{T{Q)~XUR O, T, X, V c O~T{X~VUR O, U, P, X c (O{U{P)~XUR O, U, R, V c (O{U{R)~VUR O, U, V, R c (O{U{R)~VUR O, U, V, X c O~U{V~XUR O, U, X, P c (O{U{P)~XUR O, U, X, V c O~U{X~VUR O, U, X, X c O{U~X{XUR O, V, O, X c (O{V{O)~XUR O, V, P, W c (O{V)~(P{W)UR O, V, P, X c O{V~P~XUR O, V, Q, V c (O{V{Q)~VUR O, V, Q, X c O~Q{V~XUR O, V, R, R c O{V~R~RUR O, V, R, U c (O{V)~(R{U)UR O, V, R, X c O~R{V~XUR O, V, S, T c (O{V)~(S{T)UR O, V, S, X c O~S{V~XUR O, V, T, S c (O{V)~(T{S)UR O, V, T, X c O~T{V~XUR O, V, U, R c (O{V)~(U{R)UR O, V, U, X c O~U{V~XUR O, V, V, Q c (O{V)~(V{Q)UR O, V, V, W c O{V{V~WUR O, V, V, X c O~V{V~XUR O, V, W, P c (O{V)~(W{P)UR O, V, W, V c O{V{W~VUR O, V, W, X c O~W{V~XUR O, V, X, O c O{V~X{OUR O, V, X, P c O{V~X~PUR O, V, X, Q c O~Q{V~XUR O, V, X, R c O~R{V~XUR O, V, X, S c O~S{V~XUR O, V, X, T c O~T{V~XUR O, V, X, U c O~U{V~XUR O, V, X, V c O~V{X~VUR O, V, X, W c O~W{V~XUR O, V, X, X c O~X{V~XUR O, W, P, V c (O{W{P)~VUR O, W, P, W c O{W~W|PUR O, W, P, X c (O{W|P)~XUR O, W, V, P c (O{W{P)~VUR O, W, V, V c O{W~V{VUR O, W, V, X c O~W{V~XUR O, W, W, P c O{W~W|PUR O, W, X, P c (O{W|P)~XUR O, W, X, V c O~W{X~VUR O, W, X, X c O{W~X|XUR O, X, O, V c (O{X{O)~VUR O, X, P, U c (O{X)~(P{U)UR O, X, P, V c O{X~P~VUR O, X, P, W c (O{X)~(W|P)UR O, X, Q, T c (O{X)~(Q{T)UR O, X, Q, V c O~Q{X~VUR O, X, Q, X c (O{X|Q)~XUR O, X, R, S c (O{X)~(R{S)UR O, X, R, V c O~R{X~VUR O, X, S, R c (O{X)~(S{R)UR O, X, S, V c O~S{X~VUR O, X, T, Q c (O{X)~(T{Q)UR O, X, T, V c O~T{X~VUR O, X, U, P c (O{X)~(U{P)UR O, X, U, V c O~U{X~VUR O, X, U, X c O{X{U~XUR O, X, V, O c O{X~V{OUR O, X, V, P c O{X~V~PUR O, X, V, Q c O~Q{X~VUR O, X, V, R c O~R{X~VUR O, X, V, S c O~S{X~VUR O, X, V, T c O~T{X~VUR O, X, V, U c O~U{X~VUR O, X, V, V c O~V{X~VUR O, X, V, W c O~W{X~VUR O, X, V, X c O~X{V~XUR O, X, W, P c (O{X)~(W|P)UR O, X, W, V c O~W{X~VUR O, X, W, X c O{X~W|XUR O, X, X, Q c (O{X)~(X|Q)UR O, X, X, U c O{X{X~UUR O, X, X, V c O~X{X~VUR O, X, X, W c O{X~W|XUR P, O, U, X c (P{O{U)~XUR P, O, V, W c (P{O{W)~VUR P, O, V, X c (P{O)~(V~X)UR P, O, W, V c (P{O{W)~VUR P, O, W, W c O{W~W|PUR P, O, W, X c (O{W|P)~XUR P, O, X, U c (P{O{U)~XUR P, O, X, V c (P{O)~(X~V)UR P, O, X, W c (O{X)~(W|P)UR P, P, T, X c (P{P{T)~XUR P, P, U, W c (P{U)~(P{W)UR P, P, U, X c (P{P~U)~XUR P, P, V, V c (P{P{V)~VUR P, P, V, W c (P{P~W)~VUR P, P, V, X c P|P{V~XUR P, P, W, U c (P{W)~(P{U)UR P, P, W, V c (P{P~W)~VUR P, P, W, W c (P{W)~(W|P)UR P, P, W, X c (P~W|P)~XUR P, P, X, T c (P{P{T)~XUR P, P, X, U c (P{P~U)~XUR P, P, X, V c P|P{X~VUR P, P, X, W c (P~X)~(W|P)UR P, P, X, X c (X|P|P)~XUR P, Q, R, V c (P{Q)~(R~V)UR P, Q, R, X c (P{Q~R)~XUR P, Q, S, V c (P{Q~S)~VUR P, Q, S, W c Q~S~W|PUR P, Q, S, X c (P{Q{S)~XUR P, Q, T, V c (Q~T|P)~VUR P, Q, T, W c (P{W)~(Q{T)UR P, Q, T, X c (P~Q{T)~XUR P, Q, U, V c (P{Q{U)~VUR P, Q, U, W c (Q{U)~W|PUR P, Q, U, X c (Q|P{U)~XUR P, Q, V, R c (P{Q)~(V~R)UR P, Q, V, S c (P{Q~S)~VUR P, Q, V, T c (Q~T|P)~VUR P, Q, V, U c (P{Q{U)~VUR P, Q, V, V c (P~Q{V)~VUR P, Q, V, W c (Q|P{W)~VUR P, Q, V, X c (Q|P)~(V~X)UR P, Q, W, S c Q~W~S|PUR P, Q, W, T c (P{W)~(Q{T)UR P, Q, W, U c (Q{U)~W|PUR P, Q, W, V c (Q|P{W)~VUR P, Q, W, W c P{W~W|QUR P, Q, W, X c (P{W|Q)~XUR P, Q, X, R c (P{Q~R)~XUR P, Q, X, S c (P{Q{S)~XUR P, Q, X, T c (P~Q{T)~XUR P, Q, X, U c (Q|P{U)~XUR P, Q, X, V c (Q|P)~(X~V)UR P, Q, X, W c (P{W|Q)~XUR P, Q, X, X c (P~X|Q)~XUR P, R, Q, V c (P{Q)~(R~V)UR P, R, Q, X c (P{R~Q)~XUR P, R, R, U c (P{U)~(R~R)UR P, R, R, V c P~R~R~VUR P, R, R, W c (R~R)~(W|P)UR P, R, R, X c (P{R{R)~XUR P, R, S, T c (P{S~T)~RUR P, R, S, V c R~(S|P)~VUR P, R, S, W c (P{W)~(R{S)UR P, R, S, X c (P~R{S)~XUR P, R, T, S c (P{T~S)~RUR P, R, T, V c (P{R{T)~VUR P, R, T, W c (R{T)~W|PUR P, R, T, X c (R|P{T)~XUR P, R, U, R c (P{U)~(R~R)UR P, R, U, U c (P{U)~(R{U)UR P, R, U, V c (P~R{U)~VUR P, R, U, W c (R{U)~(W|P)UR P, R, U, X c (P{X)~U{RUR P, R, V, Q c (P{Q)~(R~V)UR P, R, V, R c P~R~V~RUR P, R, V, S c (R~V)~(S|P)UR P, R, V, T c (P{R{T)~VUR P, R, V, U c (P~R{U)~VUR P, R, V, V c (R|P{V)~VUR P, R, W, R c R~(W|P)~RUR P, R, W, S c (P{W)~(R{S)UR P, R, W, T c (R{T)~W|PUR P, R, W, U c (R{U)~(W|P)UR P, R, X, Q c (P{R~Q)~XUR P, R, X, R c (P{R{R)~XUR P, R, X, S c (P~R{S)~XUR P, R, X, T c (R|P{T)~XUR P, R, X, U c (P{X)~U{RUR P, R, X, X c (P{X|R)~XUR P, S, Q, V c (P{S~Q)~VUR P, S, Q, W c S~Q~W|PUR P, S, Q, X c (P{S{Q)~XUR P, S, R, T c (P{S~T)~RUR P, S, R, V c (S|P)~(R~V)UR P, S, R, W c (P{W)~(S{R)UR P, S, R, X c (P~S{R)~XUR P, S, S, S c S~S~S|PUR P, S, S, V c (P{S{S)~VUR P, S, S, W c (S{S)~W|PUR P, S, S, X c (S|P{S)~XUR P, S, T, R c (P{S~T)~RUR P, S, T, U c (P{U)~(S{T)UR P, S, T, V c (P~S{T)~VUR P, S, T, W c (S{T)~(W|P)UR P, S, U, T c (P{U)~(S{T)UR P, S, U, V c (S|P{U)~VUR P, S, V, Q c (P{S~Q)~VUR P, S, V, R c (S|P)~(V~R)UR P, S, V, S c (P{S{S)~VUR P, S, V, T c (P~S{T)~VUR P, S, V, U c (S|P{U)~VUR P, S, V, X c S~(V{X)|PUR P, S, W, Q c S~W~Q|PUR P, S, W, R c (P{W)~(S{R)UR P, S, W, S c (S{S)~W|PUR P, S, W, T c (S{T)~(W|P)UR P, S, W, W c S~(W{W)|PUR P, S, X, Q c (P{S{Q)~XUR P, S, X, R c (P~S{R)~XUR P, S, X, S c (S|P{S)~XUR P, S, X, V c S~(X{V)|PUR P, T, P, X c (P{T{P)~XUR P, T, Q, V c (T~Q|P)~VUR P, T, Q, W c (P{W)~(T{Q)UR P, T, Q, X c (P~T{Q)~XUR P, T, R, S c (P{T~S)~RUR P, T, R, V c (P{T{R)~VUR P, T, R, W c (T{R)~W|PUR P, T, R, X c (T|P{R)~XUR P, T, S, R c (P{T~S)~RUR P, T, S, U c (P{U)~(T{S)UR P, T, S, V c (P~T{S)~VUR P, T, S, W c (T{S)~(W|P)UR P, T, T, V c (T|P{T)~VUR P, T, U, S c (P{U)~(T{S)UR P, T, V, Q c (T~Q|P)~VUR P, T, V, R c (P{T{R)~VUR P, T, V, S c (P~T{S)~VUR P, T, V, T c (T|P{T)~VUR P, T, W, Q c (P{W)~(T{Q)UR P, T, W, R c (T{R)~W|PUR P, T, W, S c (T{S)~(W|P)UR P, T, X, P c (P{T{P)~XUR P, T, X, Q c (P~T{Q)~XUR P, T, X, R c (T|P{R)~XUR P, T, X, X c (P{T)~X{XUR P, U, O, X c (P{U{O)~XUR P, U, P, W c (P{U)~(P{W)UR P, U, P, X c (P{U)~(P~X)UR P, U, Q, V c (P{U{Q)~VUR P, U, Q, W c (U{Q)~W|PUR P, U, Q, X c (U|P{Q)~XUR P, U, R, R c (P{U)~(R~R)UR P, U, R, U c (P{U)~(R{U)UR P, U, R, V c (P~U{R)~VUR P, U, R, W c (U{R)~(W|P)UR P, U, R, X c (P{X)~U{RUR P, U, S, T c (P{U)~(S{T)UR P, U, S, V c (U|P{S)~VUR P, U, T, S c (P{U)~(T{S)UR P, U, U, R c (P{U)~(U{R)UR P, U, V, Q c (P{U)~(V{Q)UR P, U, V, R c (P~U{R)~VUR P, U, V, S c (U|P{S)~VUR P, U, V, W c P{U{V~WUR P, U, V, X c X(P|UV)UR P, U, W, P c (P{U)~(W{P)UR P, U, W, Q c (U{Q)~W|PUR P, U, W, R c (U{R)~(W|P)UR P, U, W, V c P{U{W~VUR P, U, W, X c P{U~X{WUR P, U, X, O c (P{U)~(X{O)UR P, U, X, P c (P{U)~(X~P)UR P, U, X, Q c (U|P{Q)~XUR P, U, X, R c (P{X)~U{RUR P, U, X, V c X(P|UV)UR P, U, X, W c P{U~X{WUR P, U, X, X c P~U~X{XUR P, V, O, W c (P{O{W)~VUR P, V, O, X c (P~V{O)~XUR P, V, P, V c (P{V{P)~VUR P, V, P, W c (P~V)~(P{W)UR P, V, P, X c (P{V|P)~XUR P, V, Q, R c (P{Q)~(V~R)UR P, V, Q, S c (P{Q~S)~VUR P, V, Q, T c V~(Q~T|P)UR P, V, Q, U c (P{Q{U)~VUR P, V, Q, V c (P~V{Q)~VUR P, V, Q, W c V~(Q|P{W)UR P, V, Q, X c V~(Q|P)~XUR P, V, R, Q c (P{Q)~(V~R)UR P, V, R, R c P~V~R~RUR P, V, R, S c (V~R)~(S|P)UR P, V, R, T c (P{R{T)~VUR P, V, R, U c (P~V)~(R{U)UR P, V, R, V c (V|P{R)~VUR P, V, S, Q c (P{S~Q)~VUR P, V, S, R c V~(S|P)~RUR P, V, S, S c (P{S{S)~VUR P, V, S, T c (P~V)~(S{T)UR P, V, S, U c V~(S|P{U)UR P, V, S, X c (V{X)~S|PUR P, V, T, Q c V~(T~Q|P)UR P, V, T, R c (P{T{R)~VUR P, V, T, S c (P~V)~(T{S)UR P, V, T, T c V~(T|P{T)UR P, V, U, Q c (P{U)~(V{Q)UR P, V, U, R c (P~V)~(U{R)UR P, V, U, S c V~(U|P{S)UR P, V, U, W c P{V~W{UUR P, V, U, X c X(P|UV)UR P, V, V, P c (P{V{P)~VUR P, V, V, Q c (P~V)~(V{Q)UR P, V, V, R c (V|P{R)~VUR P, V, V, V c (P{V)~V{VUR P, V, V, W c P~V{V~WUR P, V, V, X c (P{X)~V|VUR P, V, W, O c (P{W)~(V{O)UR P, V, W, P c (P{V)~W|PUR P, V, W, Q c V~(W|P{Q)UR P, V, W, U c P{V~W{UUR P, V, W, V c P~V{W~VUR P, V, W, W c V{(W|P)~WUR P, V, W, X c V(P|WX)UR P, V, X, O c P~V~X{OUR P, V, X, P c P{V~X|PUR P, V, X, Q c (V~X)~(Q|P)UR P, V, X, S c (V{X)~S|PUR P, V, X, U c X(P|UV)UR P, V, X, V c (P{X)~V|VUR P, V, X, W c V(P|WX)UR P, V, X, X c (P{V)~X|XUR P, W, O, V c (P{W{O)~VUR P, W, O, W c (W{O)~W|PUR P, W, O, X c (W|P{O)~XUR P, W, P, U c (P{W)~(P{U)UR P, W, P, V c (P{W)~(P~V)UR P, W, P, W c (P{W)~(W|P)UR P, W, P, X c (P~W|P)~XUR P, W, Q, S c W~Q~S|PUR P, W, Q, T c (P{W)~(Q{T)UR P, W, Q, U c W~(Q{U)|PUR P, W, Q, V c (W|P{Q)~VUR P, W, Q, W c P{W~W|QUR P, W, Q, X c (P{W|Q)~XUR P, W, R, R c (W|P)~(R~R)UR P, W, R, S c (P{W)~(R{S)UR P, W, R, T c W~(R{T)|PUR P, W, R, U c (W|P)~(R{U)UR P, W, S, Q c W~S~Q|PUR P, W, S, R c (P{W)~(S{R)UR P, W, S, S c W~(S{S)|PUR P, W, S, T c (W|P)~(S{T)UR P, W, S, W c (W{W)~S|PUR P, W, T, Q c (P{W)~(T{Q)UR P, W, T, R c W~(T{R)|PUR P, W, T, S c (W|P)~(T{S)UR P, W, U, P c (P{W)~(U{P)UR P, W, U, Q c W~(U{Q)|PUR P, W, U, R c (W|P)~(U{R)UR P, W, U, V c P{W~V{UUR P, W, U, X c P{W{U~XUR P, W, V, O c (P{W)~(V{O)UR P, W, V, P c (P{W)~(V~P)UR P, W, V, Q c (W|P)~(V{Q)UR P, W, V, U c P{W~V{UUR P, W, V, V c P~W~V{VUR P, W, V, W c W|P{V~WUR P, W, V, X c V(P|WX)UR P, W, W, O c W~W|P{OUR P, W, W, P c (P{W)~(W|P)UR P, W, W, Q c P{W~W|QUR P, W, W, S c (W{W)~S|PUR P, W, W, V c W|P{W~VUR P, W, W, W c (W|PW)~WUR P, W, W, X c (P{W)~W|XUR P, W, X, O c (W|P)~(X{O)UR P, W, X, P c (P~W|P)~XUR P, W, X, Q c (P{W)~(X|Q)UR P, W, X, U c P{W{X~UUR P, W, X, V c X(WV|P)UR P, W, X, W c (P{W)~W|XUR P, W, X, X c P~W~X|XUR P, X, O, U c (P{O{U)~XUR P, X, O, V c (P~X{O)~VUR P, X, O, W c (X{O)~(W|P)UR P, X, P, T c (P{P{T)~XUR P, X, P, U c (P~X)~(P{U)UR P, X, P, V c (P{X|P)~VUR P, X, P, W c (P~X)~(W|P)UR P, X, P, X c (X|P|P)~XUR P, X, Q, R c (P{Q~R)~XUR P, X, Q, S c (P{Q{S)~XUR P, X, Q, T c (P~X)~(Q{T)UR P, X, Q, U c X~(Q|P{U)UR P, X, Q, V c X~(Q|P)~VUR P, X, Q, W c (P{W)~(X|Q)UR P, X, Q, X c (P~X|Q)~XUR P, X, R, Q c (P{R~Q)~XUR P, X, R, R c (P{R{R)~XUR P, X, R, S c (P~X)~(R{S)UR P, X, R, T c X~(R|P{T)UR P, X, R, U c (P{X)~U{RUR P, X, R, X c (P{X|R)~XUR P, X, S, Q c (P{S{Q)~XUR P, X, S, R c (P~X)~(S{R)UR P, X, S, S c X~(S|P{S)UR P, X, S, V c (X{V)~S|PUR P, X, T, P c (P{T{P)~XUR P, X, T, Q c (P~X)~(T{Q)UR P, X, T, R c X~(T|P{R)UR P, X, T, X c (P{T)~X{XUR P, X, U, O c (P{U)~(X{O)UR P, X, U, P c (P~X)~(U{P)UR P, X, U, Q c X~(U|P{Q)UR P, X, U, R c (P{X)~U{RUR P, X, U, V c X(P|UV)UR P, X, U, W c P{X~U{WUR P, X, U, X c P~X{U~XUR P, X, V, O c P~X~V{OUR P, X, V, P c P{X~V|PUR P, X, V, Q c (X~V)~(Q|P)UR P, X, V, S c (X{V)~S|PUR P, X, V, U c X(P|UV)UR P, X, V, V c (P{X)~V|VUR P, X, V, W c X(WV|P)UR P, X, V, X c (P{V)~X|XUR P, X, W, O c X~(W|P){OUR P, X, W, P c (P~X)~(W|P)UR P, X, W, Q c (P{W)~(X|Q)UR P, X, W, U c P{X~U{WUR P, X, W, V c X(WV|P)UR P, X, W, W c (P{W)~W|XUR P, X, W, X c P~X~W|XUR P, X, X, P c (X|P|P)~XUR P, X, X, Q c (P~X)~(X|Q)UR P, X, X, R c (P{X|R)~XUR P, X, X, T c (P{T)~X{XUR P, X, X, U c P~X{X~UUR P, X, X, V c (P{V)~X|XUR P, X, X, W c P~X~W|XUR P, X, X, X c (X|P)~X|XUR Q, O, T, X c (Q{O{T)~XUR Q, O, V, V c (Q{O{V)~VUR Q, O, V, X c Q~O{V~XUR Q, O, X, T c (Q{O{T)~XUR Q, O, X, V c Q~O{X~VUR Q, O, X, X c (O{X|Q)~XUR Q, P, R, V c (Q{P)~(R~V)UR Q, P, R, X c (Q~R{P)~XUR Q, P, S, V c (Q~S{P)~VUR Q, P, S, W c Q~S~W|PUR Q, P, S, X c (Q{P{S)~XUR Q, P, T, V c (Q~T|P)~VUR Q, P, T, W c (Q{T)~(P{W)UR Q, P, T, X c (Q{P~T)~XUR Q, P, U, V c (Q{P{U)~VUR Q, P, U, W c (Q{U)~W|PUR Q, P, U, X c (Q|P{U)~XUR Q, P, V, R c (Q{P)~(V~R)UR Q, P, V, S c (Q~S{P)~VUR Q, P, V, T c (Q~T|P)~VUR Q, P, V, U c (Q{P{U)~VUR Q, P, V, V c (Q{P~V)~VUR Q, P, V, W c (Q|P{W)~VUR Q, P, V, X c (Q|P)~(V~X)UR Q, P, W, S c Q~W~S|PUR Q, P, W, T c (Q{T)~(P{W)UR Q, P, W, U c (Q{U)~W|PUR Q, P, W, V c (Q|P{W)~VUR Q, P, W, W c P{W~W|QUR Q, P, W, X c (P{W|Q)~XUR Q, P, X, R c (Q~R{P)~XUR Q, P, X, S c (Q{P{S)~XUR Q, P, X, T c (Q{P~T)~XUR Q, P, X, U c (Q|P{U)~XUR Q, P, X, V c (Q|P)~(X~V)UR Q, P, X, W c (P{W|Q)~XUR Q, P, X, X c (P~X|Q)~XUR Q, Q, R, X c (Q{Q{R)~XUR Q, Q, T, V c (Q{Q{T)~VUR Q, Q, U, X c (QQ{U)~XUR Q, Q, V, T c (Q{Q{T)~VUR Q, Q, V, W c (QQ{W)~VUR Q, Q, V, X c Q|Q{V~XUR Q, Q, W, V c (QQ{W)~VUR Q, Q, W, W c W~W|QQUR Q, Q, W, X c (W|QQ)~XUR Q, Q, X, R c (Q{Q{R)~XUR Q, Q, X, U c (QQ{U)~XUR Q, Q, X, V c Q|Q{X~VUR Q, Q, X, W c X~(W|QQ)UR Q, R, P, V c (Q{P)~(R~V)UR Q, R, P, X c (Q~R{P)~XUR Q, R, Q, X c (Q{R{Q)~XUR Q, R, R, T c (Q{T)~(R~R)UR Q, R, R, V c (Q~R{R)~VUR Q, R, R, X c (Q~X{R)~RUR Q, R, S, V c (Q{R{S)~VUR Q, R, T, R c (Q{T)~(R~R)UR Q, R, T, U c (Q{T)~(R{U)UR Q, R, T, V c R~(T|Q)~VUR Q, R, T, W c (Q~W{T)~RUR Q, R, T, X c (Q~T|R)~XUR Q, R, U, T c Q~U~T{RUR Q, R, U, V c (Q~U|R)~VUR Q, R, U, W c (Q{W)~U{RUR Q, R, U, X c (Q~U{X)~RUR Q, R, V, P c (Q{P)~(R~V)UR Q, R, V, R c (Q~R{R)~VUR Q, R, V, S c (Q{R{S)~VUR Q, R, V, T c (R~V)~(T|Q)UR Q, R, V, U c (Q~U|R)~VUR Q, R, V, V c (Q~V{V)~RUR Q, R, V, W c (R|Q{W)~VUR Q, R, V, X c (R|Q)~(V~X)UR Q, R, W, T c (Q~W{T)~RUR Q, R, W, U c (Q{W)~U{RUR Q, R, W, V c (R|Q{W)~VUR Q, R, W, W c Q{W~W|RUR Q, R, W, X c (Q{W|R)~XUR Q, R, X, P c (Q~R{P)~XUR Q, R, X, Q c (Q{R{Q)~XUR Q, R, X, R c (Q~X{R)~RUR Q, R, X, T c (Q~T|R)~XUR Q, R, X, U c (Q{X)~U|RUR Q, R, X, V c (R|Q)~(X~V)UR Q, R, X, W c (Q{W|R)~XUR Q, R, X, X c Q~R~X{XUR Q, S, P, V c (Q~S{P)~VUR Q, S, P, W c Q~S~W|PUR Q, S, P, X c (Q{S{P)~XUR Q, S, R, V c (Q{S{R)~VUR Q, S, T, T c (Q{T)~(S{T)UR Q, S, T, X c (S|Q{T)~XUR Q, S, U, X c (S{UQ)~XUR Q, S, V, P c (Q~S{P)~VUR Q, S, V, R c (Q{S{R)~VUR Q, S, V, V c Q~S~V{VUR Q, S, W, P c Q~S~W|PUR Q, S, X, P c (Q{S{P)~XUR Q, S, X, T c (S|Q{T)~XUR Q, S, X, U c (S{UQ)~XUR Q, S, X, X c (Q{S)~X{XUR Q, T, O, X c (Q{T{O)~XUR Q, T, P, V c (Q~T|P)~VUR Q, T, P, W c (Q{T)~(P{W)UR Q, T, P, X c (Q{T)~(P~X)UR Q, T, Q, V c (Q{T{Q)~VUR Q, T, R, R c (Q{T)~(R~R)UR Q, T, R, U c (Q{T)~(R{U)UR Q, T, R, V c (T|Q)~(R~V)UR Q, T, R, W c (Q~W{T)~RUR Q, T, R, X c (Q~T|R)~XUR Q, T, S, T c (Q{T)~(S{T)UR Q, T, S, X c (T|Q{S)~XUR Q, T, T, S c (Q{T)~(T{S)UR Q, T, T, W c T~(T{W)|QUR Q, T, U, R c (Q{T)~(U{R)UR Q, T, U, V c (T|Q{U)~VUR Q, T, U, W c (TQ{W)~UUR Q, T, U, X c (Q~U|T)~XUR Q, T, V, P c (Q~T|P)~VUR Q, T, V, Q c (Q{T)~(V{Q)UR Q, T, V, R c (T|Q)~(V~R)UR Q, T, V, U c (T|Q{U)~VUR Q, T, V, V c Q~T~V|VUR Q, T, V, W c Q{T{V~WUR Q, T, W, P c (Q{T)~(W{P)UR Q, T, W, R c (Q~W{T)~RUR Q, T, W, T c (T{W)~T|QUR Q, T, W, U c (TQ{W)~UUR Q, T, W, V c Q{T{W~VUR Q, T, W, X c (Q{X)~T{WUR Q, T, X, O c (Q{T)~(X{O)UR Q, T, X, P c (Q{T)~(X~P)UR Q, T, X, R c (Q~T|R)~XUR Q, T, X, S c (T|Q{S)~XUR Q, T, X, U c (Q~U|T)~XUR Q, T, X, W c (Q{X)~T{WUR Q, T, X, X c Q~X{T~XUR Q, U, P, V c (Q{U{P)~VUR Q, U, P, W c (Q{U)~W|PUR Q, U, P, X c (Q{U|P)~XUR Q, U, Q, X c (QQ{U)~XUR Q, U, R, T c Q~U~T{RUR Q, U, R, V c (Q~U|R)~VUR Q, U, R, W c (Q{W)~U{RUR Q, U, R, X c (Q~U{X)~RUR Q, U, S, X c (UQ{S)~XUR Q, U, T, R c Q~U~T{RUR Q, U, T, V c (U|Q{T)~VUR Q, U, T, W c U~(TQ{W)UR Q, U, T, X c (Q~U|T)~XUR Q, U, U, V c (UQ{U)~VUR Q, U, U, X c Q~U~U|XUR Q, U, V, P c (Q{U{P)~VUR Q, U, V, R c (Q~U|R)~VUR Q, U, V, T c (U|Q{T)~VUR Q, U, V, U c (UQ{U)~VUR Q, U, V, V c (Q{U)~V{VUR Q, U, V, X c Q{U~X{VUR Q, U, W, P c (Q{U)~W|PUR Q, U, W, R c (Q{W)~U{RUR Q, U, W, T c U~(W{TQ)UR Q, U, W, X c (U{W)Q~XUR Q, U, X, P c (Q{U|P)~XUR Q, U, X, Q c (QQ{U)~XUR Q, U, X, R c (Q~U{X)~RUR Q, U, X, S c (UQ{S)~XUR Q, U, X, T c (Q~U|T)~XUR Q, U, X, U c Q~U~U|XUR Q, U, X, V c Q{U~X{VUR Q, U, X, W c (U{W)Q~XUR Q, U, X, X c (Q{U)~X|XUR Q, V, O, V c (Q{V{O)~VUR Q, V, O, X c Q~O{V~XUR Q, V, P, R c (Q{P)~(V~R)UR Q, V, P, S c (Q~S{P)~VUR Q, V, P, T c (Q~T|P)~VUR Q, V, P, U c (Q{V)~(P{U)UR Q, V, P, V c (Q{V)~(P~V)UR Q, V, P, W c (Q{V)~(W|P)UR Q, V, P, X c (Q|P)~(V~X)UR Q, V, Q, T c (Q{V)~(Q{T)UR Q, V, Q, W c (QQ{W)~VUR Q, V, Q, X c (Q{V|Q)~XUR Q, V, R, P c (Q{P)~(V~R)UR Q, V, R, R c (Q~R{R)~VUR Q, V, R, S c (Q{V)~(R{S)UR Q, V, R, T c (V~R)~(T|Q)UR Q, V, R, U c (Q~U|R)~VUR Q, V, R, V c (Q~V{V)~RUR Q, V, R, W c V~(R|Q{W)UR Q, V, R, X c V~(R|Q)~XUR Q, V, S, P c (Q~S{P)~VUR Q, V, S, R c (Q{V)~(S{R)UR Q, V, S, V c Q~V~S{VUR Q, V, T, P c (Q~T|P)~VUR Q, V, T, Q c (Q{V)~(T{Q)UR Q, V, T, R c V~(T|Q)~RUR Q, V, T, U c V~(T|Q{U)UR Q, V, T, V c (Q~V|T)~VUR Q, V, T, W c Q{V~W{TUR Q, V, U, P c (Q{V)~(U{P)UR Q, V, U, R c (Q~U|R)~VUR Q, V, U, T c V~(U|Q{T)UR Q, V, U, U c V~(UQ{U)UR Q, V, U, V c (Q{U)~V{VUR Q, V, U, X c Q{V{U~XUR Q, V, V, O c (Q{V)~(V{O)UR Q, V, V, P c (Q{V)~(V~P)UR Q, V, V, R c (Q~V{V)~RUR Q, V, V, S c Q~V~S{VUR Q, V, V, T c (Q~V|T)~VUR Q, V, V, U c (Q{U)~V{VUR Q, V, V, V c Q~V{V~VUR Q, V, V, W c (Q{W)~V|VUR Q, V, V, X c (Q~V|V)~XUR Q, V, W, P c (Q{V)~(W|P)UR Q, V, W, Q c (QQ{W)~VUR Q, V, W, R c V~(W|Q{R)UR Q, V, W, T c Q{V~W{TUR Q, V, W, V c (Q{W)~V|VUR Q, V, W, X c (Q{V)~W|XUR Q, V, X, O c Q~O{V~XUR Q, V, X, P c (Q|P)~(V~X)UR Q, V, X, Q c Q{V~X|QUR Q, V, X, R c (V~X)~(R|Q)UR Q, V, X, U c Q{V{X~UUR Q, V, X, V c (Q~V|V)~XUR Q, V, X, W c (Q{V)~W|XUR Q, V, X, X c (Q~X|X)~VUR Q, W, P, S c Q~W~S|PUR Q, W, P, T c (Q{T)~(W{P)UR Q, W, P, U c (Q{U)~W|PUR Q, W, P, V c (Q{W|P)~VUR Q, W, P, W c W~W|Q{PUR Q, W, P, X c (W|Q{P)~XUR Q, W, Q, V c (QQ{W)~VUR Q, W, Q, W c W~W|QQUR Q, W, Q, X c (W|QQ)~XUR Q, W, R, T c (Q~W{T)~RUR Q, W, R, U c (Q{W)~U{RUR Q, W, R, V c (W|Q{R)~VUR Q, W, R, W c Q{W~W|RUR Q, W, R, X c (Q{W|R)~XUR Q, W, S, P c Q~W~S|PUR Q, W, T, P c (Q{T)~(W{P)UR Q, W, T, R c (Q~W{T)~RUR Q, W, T, T c (W{T)~T|QUR Q, W, T, U c (W{TQ)~UUR Q, W, T, V c Q{W~V{TUR Q, W, T, X c (Q{X)~T{WUR Q, W, U, P c (Q{U)~W|PUR Q, W, U, R c (Q{W)~U{RUR Q, W, U, T c (W{TQ)~UUR Q, W, U, X c (W{U)Q~XUR Q, W, V, P c (Q{W|P)~VUR Q, W, V, Q c (QQ{W)~VUR Q, W, V, R c (W|Q{R)~VUR Q, W, V, T c Q{W~V{TUR Q, W, V, V c (Q{W)~V|VUR Q, W, V, X c (Q{V)~W|XUR Q, W, W, P c W~W|Q{PUR Q, W, W, Q c W~W|QQUR Q, W, W, R c Q{W~W|RUR Q, W, X, P c (W|Q{P)~XUR Q, W, X, Q c (W|QQ)~XUR Q, W, X, R c (Q{W|R)~XUR Q, W, X, T c (Q{X)~T{WUR Q, W, X, U c (W{U)Q~XUR Q, W, X, V c (Q{V)~W|XUR Q, W, X, X c (Q~W|X)~XUR Q, X, O, T c (Q{O{T)~XUR Q, X, O, V c Q~O{X~VUR Q, X, O, X c (X|Q{O)~XUR Q, X, P, R c (Q~R{P)~XUR Q, X, P, S c (Q{P{S)~XUR Q, X, P, T c (Q{P~T)~XUR Q, X, P, U c (Q|P{U)~XUR Q, X, P, V c (Q|P)~(X~V)UR Q, X, P, W c (X|Q)~(P{W)UR Q, X, P, X c (X|Q)~(P~X)UR Q, X, Q, R c (Q{Q{R)~XUR Q, X, Q, U c (QQ{U)~XUR Q, X, Q, V c (Q{X|Q)~VUR Q, X, Q, W c X~(W|QQ)UR Q, X, R, P c (Q~R{P)~XUR Q, X, R, Q c (Q{R{Q)~XUR Q, X, R, R c (Q~X{R)~RUR Q, X, R, T c (Q~T|R)~XUR Q, X, R, U c (Q{X)~U|RUR Q, X, R, V c X~(R|Q)~VUR Q, X, R, W c (Q{W|R)~XUR Q, X, R, X c Q~X~R{XUR Q, X, S, P c (Q{S{P)~XUR Q, X, S, T c (X|Q)~(S{T)UR Q, X, S, U c X~(S{UQ)UR Q, X, S, X c (Q{X|S)~XUR Q, X, T, O c (Q{T)~(X{O)UR Q, X, T, P c (Q{T)~(X~P)UR Q, X, T, R c (Q~T|R)~XUR Q, X, T, S c (X|Q)~(T{S)UR Q, X, T, U c (Q~U|T)~XUR Q, X, T, W c (Q{X)~T{WUR Q, X, T, X c Q~X{T~XUR Q, X, U, P c (Q{U|P)~XUR Q, X, U, Q c (QQ{U)~XUR Q, X, U, R c (Q{X)~U|RUR Q, X, U, S c X~(UQ{S)UR Q, X, U, T c (Q~U|T)~XUR Q, X, U, U c Q~U~U|XUR Q, X, U, V c Q{X~U{VUR Q, X, U, W c (XQ)~(U{W)UR Q, X, U, X c (Q{U)~X|XUR Q, X, V, O c Q~O{X~VUR Q, X, V, P c (Q|P)~(X~V)UR Q, X, V, Q c Q{X~V|QUR Q, X, V, R c (X~V)~(R|Q)UR Q, X, V, U c Q{X~U{VUR Q, X, V, V c (Q~V|V)~XUR Q, X, V, W c (Q{V)~W|XUR Q, X, V, X c (Q~X|X)~VUR Q, X, W, P c (X|Q)~(W{P)UR Q, X, W, Q c X~(W|QQ)UR Q, X, W, R c (Q{W|R)~XUR Q, X, W, T c (Q{X)~T{WUR Q, X, W, U c (XQ)~(W{U)UR Q, X, W, V c (Q{V)~W|XUR Q, X, W, X c (Q~W|X)~XUR Q, X, X, O c (X|Q)~(X{O)UR Q, X, X, P c (X|Q)~(X~P)UR Q, X, X, R c Q~X~R{XUR Q, X, X, S c (Q{X|S)~XUR Q, X, X, T c Q~X{X~TUR Q, X, X, U c (Q{U)~X|XUR Q, X, X, V c (Q~X|X)~VUR Q, X, X, W c (Q~W|X)~XUR Q, X, X, X c X~X|Q~XUR R, O, R, V c (R{O)~(R~V)UR R, O, S, X c (R{O{S)~XUR R, O, U, V c (R{O{U)~VUR R, O, V, R c (R{O)~(V~R)UR R, O, V, U c (R{O{U)~VUR R, O, V, X c R~O{V~XUR R, O, X, S c (R{O{S)~XUR R, O, X, V c R~O{X~VUR R, P, Q, V c R~(P{Q)~VUR R, P, Q, X c (R~Q{P)~XUR R, P, R, U c R~(P{U)~RUR R, P, R, V c R~P~R~VUR R, P, R, W c (R~R)~(W|P)UR R, P, R, X c (R{P{R)~XUR R, P, S, T c R~(P{S~T)UR R, P, S, V c R~(S|P)~VUR R, P, S, W c (R{S)~(P{W)UR R, P, S, X c (R{P~S)~XUR R, P, T, S c R~(P{T~S)UR R, P, T, V c (R{P{T)~VUR R, P, T, W c (R{T)~W|PUR R, P, T, X c (R|P{T)~XUR R, P, U, R c R~(P{U)~RUR R, P, U, U c (R{U)~(P{U)UR R, P, U, V c (R{P~U)~VUR R, P, U, W c (R{U)~(W|P)UR R, P, U, X c R{(P{X)~UUR R, P, V, Q c R~(P{Q)~VUR R, P, V, R c R~P~V~RUR R, P, V, S c (R~V)~(S|P)UR R, P, V, T c (R{P{T)~VUR R, P, V, U c (R{P~U)~VUR R, P, V, V c (R|P{V)~VUR R, P, W, R c R~(W|P)~RUR R, P, W, S c (R{S)~(P{W)UR R, P, W, T c (R{T)~W|PUR R, P, W, U c (R{U)~(W|P)UR R, P, X, Q c (R~Q{P)~XUR R, P, X, R c (R{P{R)~XUR R, P, X, S c (R{P~S)~XUR R, P, X, T c (R|P{T)~XUR R, P, X, U c R{(P{X)~UUR R, P, X, X c (P{X|R)~XUR R, Q, P, V c R~(Q{P)~VUR R, Q, P, X c (R~Q{P)~XUR R, Q, Q, X c (R{Q{Q)~XUR R, Q, R, T c R~(Q{T)~RUR R, Q, R, V c (R{Q~R)~VUR R, Q, R, X c (R{Q~X)~RUR R, Q, S, V c (R{Q{S)~VUR R, Q, T, R c R~(Q{T)~RUR R, Q, T, U c R{Q~T~UUR R, Q, T, V c R~(T|Q)~VUR R, Q, T, W c R~(Q~W{T)UR R, Q, T, X c (Q~T|R)~XUR R, Q, U, T c R{Q~U~TUR R, Q, U, V c RQ~U~VUR R, Q, U, W c R{(Q{W)~UUR R, Q, U, X c (R|Q{U)~XUR R, Q, V, P c R~(Q{P)~VUR R, Q, V, R c (R{Q~R)~VUR R, Q, V, S c (R{Q{S)~VUR R, Q, V, T c (R~V)~(T|Q)UR R, Q, V, U c RQ~V~UUR R, Q, V, V c R~(Q~V{V)UR R, Q, V, W c (R|Q{W)~VUR R, Q, V, X c (R|Q)~(V~X)UR R, Q, W, T c R~(Q~W{T)UR R, Q, W, U c R{(Q{W)~UUR R, Q, W, V c (R|Q{W)~VUR R, Q, W, W c Q{W~W|RUR R, Q, W, X c (R{WQ)~XUR R, Q, X, P c (R~Q{P)~XUR R, Q, X, Q c (R{Q{Q)~XUR R, Q, X, R c (R{Q~X)~RUR R, Q, X, T c (Q~T|R)~XUR R, Q, X, U c (RQ{X)~UUR R, Q, X, V c (R|Q)~(X~V)UR R, Q, X, W c (R{WQ)~XUR R, Q, X, X c R~Q~X{XUR R, R, O, V c (R~R{O)~VUR R, R, P, U c (R~R)~(P{U)UR R, R, P, V c R~R~P~VUR R, R, P, W c (R~R)~(W|P)UR R, R, P, X c (R{R{P)~XUR R, R, Q, T c (R~R)~(Q{T)UR R, R, Q, V c (R{R~Q)~VUR R, R, Q, X c R~(R{Q~X)UR R, R, R, S c (R~R)~(R{S)UR R, R, R, U c R~(R{R~U)UR R, R, R, V c (R{R{R)~VUR R, R, R, W c R~(R~W|R)UR R, R, S, R c R~(R{S)~RUR R, R, S, T c R{R~S~TUR R, R, S, U c (R{S)~(R{U)UR R, R, S, V c (R~S|R)~VUR R, R, S, X c R~(R~S{X)UR R, R, T, Q c (R~R)~(T{Q)UR R, R, T, S c R{R~T~SUR R, R, T, U c R~(R~T{U)UR R, R, T, X c R{(R{X)~TUR R, R, U, P c (R~R)~(U{P)UR R, R, U, R c (R{R~U)~RUR R, R, U, S c (R{U)~(R{S)UR R, R, U, T c R~(R~T{U)UR R, R, U, V c R{(R{V)~UUR R, R, U, W c (R{W)~U|RUR R, R, U, X c R~R{U~XUR R, R, V, O c R~R~V{OUR R, R, V, P c R~R~V~PUR R, R, V, Q c (R{R~Q)~VUR R, R, V, R c (R{R{R)~VUR R, R, V, S c (R~S|R)~VUR R, R, V, U c R{(R{V)~UUR R, R, V, W c (RR{W)~VUR R, R, V, X c R|R{V~XUR R, R, W, P c (R~R)~(W|P)UR R, R, W, R c R~(R~W|R)UR R, R, W, U c (R{W)~U|RUR R, R, W, V c (RR{W)~VUR R, R, W, W c W~W|RRUR R, R, W, X c R~R~W|XUR R, R, X, P c (R{R{P)~XUR R, R, X, Q c R~(R{X~Q)UR R, R, X, S c R~(R~S{X)UR R, R, X, T c R{(R{X)~TUR R, R, X, U c R~R{X~UUR R, R, X, V c R|R{X~VUR R, R, X, W c R~R~W|XUR R, R, X, X c (R{R)~X{XUR R, S, O, X c (R{S{O)~XUR R, S, P, T c R~(S~T{P)UR R, S, P, V c R~(S|P)~VUR R, S, P, W c (R{S)~(P{W)UR R, S, P, X c (R{S)~(P~X)UR R, S, Q, V c (R{S{Q)~VUR R, S, R, R c (R{S)~(R~R)UR R, S, R, T c R{S~R~TUR R, S, R, U c (R{S)~(R{U)UR R, S, R, V c (R~S|R)~VUR R, S, R, X c R~(S~R{X)UR R, S, S, T c (R{S)~(S{T)UR R, S, T, P c R~(S~T{P)UR R, S, T, R c R{S~T~RUR R, S, T, S c (R{S)~(T{S)UR R, S, T, T c R~(T~T|S)UR R, S, T, W c R{(S{W)~TUR R, S, T, X c (R~S|T)~XUR R, S, U, R c (R{S)~(U{R)UR R, S, U, U c R{(S{U)~UUR R, S, U, V c (S{V)~U|RUR R, S, U, X c R{S~(U{X)UR R, S, V, P c R~(S|P)~VUR R, S, V, Q c (R{S)~(V{Q)UR R, S, V, R c (R~S|R)~VUR R, S, V, U c (S{V)~U|RUR R, S, V, V c R~(S~V|V)UR R, S, V, W c R{S{V~WUR R, S, V, X c (S|R)~(V~X)UR R, S, W, P c (R{S)~(W{P)UR R, S, W, T c R{(S{W)~TUR R, S, W, V c R{S{W~VUR R, S, W, W c R{W~W|SUR R, S, W, X c R~(S{W{X)UR R, S, X, O c (R{S)~(X{O)UR R, S, X, P c (R{S)~(X~P)UR R, S, X, R c (R~S{X)~RUR R, S, X, T c (R~S|T)~XUR R, S, X, U c R{S~(X{U)UR R, S, X, V c (S|R)~(X~V)UR R, S, X, W c R~(S{X{W)UR R, S, X, X c R~X{S~XUR R, T, P, S c R~(T~S{P)UR R, T, P, V c (R{T{P)~VUR R, T, P, W c (R{T)~W|PUR R, T, P, X c (R{T|P)~XUR R, T, Q, R c R~(T{Q)~RUR R, T, Q, U c R{T~Q~UUR R, T, Q, V c R~(T|Q)~VUR R, T, Q, W c R~(T{Q~W)UR R, T, Q, X c (T~Q|R)~XUR R, T, R, Q c R~(T{Q)~RUR R, T, R, S c R{T~R~SUR R, T, R, U c R~(T~R{U)UR R, T, R, X c R{T~(R{X)UR R, T, S, P c R~(T~S{P)UR R, T, S, R c R{T~S~RUR R, T, S, S c R~(T{S~S)UR R, T, S, T c R~(T~T|S)UR R, T, S, W c R{T~(S{W)UR R, T, S, X c (R~S|T)~XUR R, T, T, S c R~(T~T|S)UR R, T, T, U c R{(T{T)~UUR R, T, T, V c R{T~(T{V)UR R, T, T, X c (T|R{T)~XUR R, T, U, Q c R{T~U~QUR R, T, U, R c (R~T{U)~RUR R, T, U, T c R{(T{T)~UUR R, T, U, U c R{T~(U{U)UR R, T, U, V c (R~T|U)~VUR R, T, U, W c R~T{U~WUR R, T, U, X c R~(T~U|X)UR R, T, V, P c (R{T{P)~VUR R, T, V, Q c R~(T|Q)~VUR R, T, V, T c R{(T{V)~TUR R, T, V, U c (R~T|U)~VUR R, T, V, V c (R{T)~V{VUR R, T, V, W c (R~V)~(W|T)UR R, T, V, X c R~(T{V{X)UR R, T, W, P c (R{T)~W|PUR R, T, W, Q c R~(T{W~Q)UR R, T, W, S c R{T~(W{S)UR R, T, W, U c R~T{W~UUR R, T, W, V c R~(W|T)~VUR R, T, W, W c R~(T{W{W)UR R, T, W, X c (R~T|W)~XUR R, T, X, P c (R{T|P)~XUR R, T, X, Q c (T~Q|R)~XUR R, T, X, R c R{T~(X{R)UR R, T, X, S c (R~S|T)~XUR R, T, X, T c (T|R{T)~XUR R, T, X, U c R~(T~U|X)UR R, T, X, V c R~(T{X{V)UR R, T, X, W c (R~T|W)~XUR R, T, X, X c (R{T)~X|XUR R, U, O, V c (R{U{O)~VUR R, U, P, R c R~(U{P)~RUR R, U, P, U c (R{U)~(P{U)UR R, U, P, V c (R{U)~(P~V)UR R, U, P, W c (R{U)~(W|P)UR R, U, P, X c R{U~(P{X)UR R, U, Q, T c (R{U)~(Q{T)UR R, U, Q, V c R~UQ~VUR R, U, Q, W c R{U~(Q{W)UR R, U, Q, X c (R{U|Q)~XUR R, U, R, P c R~(U{P)~RUR R, U, R, R c (R{U~R)~RUR R, U, R, S c (R{U)~(R{S)UR R, U, R, T c R~(U{R~T)UR R, U, R, V c R{U~(R{V)UR R, U, R, W c (R{W)~U|RUR R, U, R, X c R~U~R{XUR R, U, S, R c (R{U)~(S{R)UR R, U, S, U c R{(U{S)~UUR R, U, S, V c U~(S{V)|RUR R, U, S, X c R~U~S|XUR R, U, T, Q c (R{U)~(T{Q)UR R, U, T, R c R~(U{T~R)UR R, U, T, T c R{U~(T{T)UR R, U, T, U c R{(U{U)~TUR R, U, T, V c (R~T|U)~VUR R, U, T, W c R~T{U~WUR R, U, T, X c R~U{T~XUR R, U, U, P c (R{U)~(U{P)UR R, U, U, S c R{U~(U{S)UR R, U, U, T c R{(U{U)~TUR R, U, U, V c (U|R{U)~VUR R, U, U, X c R{U{U~XUR R, U, V, O c (R{U)~(V{O)UR R, U, V, P c (R{U)~(V~P)UR R, U, V, Q c R~U~VQUR R, U, V, R c R{U~(V{R)UR R, U, V, S c U~(V{S)|RUR R, U, V, T c (R~T|U)~VUR R, U, V, U c (U|R{U)~VUR R, U, V, V c R~V{U~VUR R, U, V, W c R~(U{V{W)UR R, U, V, X c (R~U|X)~VUR R, U, W, P c (R{U)~(W|P)UR R, U, W, Q c R{U~(W{Q)UR R, U, W, R c (R{W)~U|RUR R, U, W, T c R~T{U~WUR R, U, W, V c R~(U{W{V)UR R, U, W, X c (R{U)~W|XUR R, U, X, P c R{U~(X{P)UR R, U, X, Q c (R{U)~(X|Q)UR R, U, X, R c R~U~R{XUR R, U, X, S c R{(U{X)~SUR R, U, X, T c R~U{X~TUR R, U, X, U c R{U{X~UUR R, U, X, V c (R~U|X)~VUR R, U, X, W c (R{U)~W|XUR R, U, X, X c (R{X)~U|XUR R, V, O, R c (R~V{O)~RUR R, V, O, U c (R{O{U)~VUR R, V, O, X c R~O{V~XUR R, V, P, Q c (R~V)~(P{Q)UR R, V, P, R c R~V~P~RUR R, V, P, S c (R~V)~(S|P)UR R, V, P, T c (R{P{T)~VUR R, V, P, U c (R{P~U)~VUR R, V, P, V c (R{V|P)~VUR R, V, Q, P c (R~V)~(Q{P)UR R, V, Q, R c (R{Q~R)~VUR R, V, Q, S c (R{Q{S)~VUR R, V, Q, T c (R~V)~(T|Q)UR R, V, Q, U c R~VQ~UUR R, V, Q, V c R~(V{Q~V)UR R, V, Q, W c (R|Q{W)~VUR R, V, Q, X c (R|Q)~(V~X)UR R, V, R, O c R~V~R{OUR R, V, R, P c R~V~R~PUR R, V, R, Q c (R{R~Q)~VUR R, V, R, R c (R{R{R)~VUR R, V, R, S c (R~S|R)~VUR R, V, R, U c R{(V{R)~UUR R, V, R, W c (RR{W)~VUR R, V, R, X c (R{V|R)~XUR R, V, S, P c (R~V)~(S|P)UR R, V, S, Q c (R{S)~(V{Q)UR R, V, S, R c (R~S|R)~VUR R, V, S, U c (V{S)~U|RUR R, V, S, V c R~(V|S)~VUR R, V, S, W c R{(V{W)~SUR R, V, S, X c V~(S|R)~XUR R, V, T, P c (R{T{P)~VUR R, V, T, Q c (R~V)~(T|Q)UR R, V, T, T c R{(V{T)~TUR R, V, T, U c (R~T|U)~VUR R, V, T, V c (R{T)~V{VUR R, V, T, W c (R~V)~(W|T)UR R, V, T, X c R~(V{T{X)UR R, V, U, O c (R{U)~(V{O)UR R, V, U, P c (R{U)~(V~P)UR R, V, U, Q c R~V~UQUR R, V, U, R c (R{V)~U{RUR R, V, U, S c (V{S)~U|RUR R, V, U, T c (R~T|U)~VUR R, V, U, U c V~(U|R{U)UR R, V, U, V c R~V{U~VUR R, V, U, W c R~(V{U{W)UR R, V, U, X c (R~V)~(X|U)UR R, V, V, P c (R{V|P)~VUR R, V, V, Q c R~(V{V~Q)UR R, V, V, S c (R~V)~(V|S)UR R, V, V, T c (R{T)~V{VUR R, V, V, U c R~V{V~UUR R, V, V, V c (R{V)~V|VUR R, V, W, Q c (R{W|Q)~VUR R, V, W, R c (RR{W)~VUR R, V, W, S c R{(V{W)~SUR R, V, W, T c (R~V)~(W|T)UR R, V, W, U c R~(V{W{U)UR R, V, X, O c R~O{V~XUR R, V, X, Q c (R|Q)~(V~X)UR R, V, X, R c R{V~X|RUR R, V, X, S c (V~X)~(S|R)UR R, V, X, T c R~(V{X{T)UR R, V, X, U c (R~V)~(X|U)UR R, W, P, R c R~(W|P)~RUR R, W, P, S c (R{S)~(W{P)UR R, W, P, T c (R{T)~W|PUR R, W, P, U c (R{U)~(W|P)UR R, W, Q, T c R~(W~Q{T)UR R, W, Q, U c R{(W{Q)~UUR R, W, Q, V c (R{W|Q)~VUR R, W, Q, W c W~W|R{QUR R, W, Q, X c (R{WQ)~XUR R, W, R, P c R~(W|P)~RUR R, W, R, R c (R~W|R)~RUR R, W, R, U c (R{W)~U|RUR R, W, R, V c (RR{W)~VUR R, W, R, W c W~W|RRUR R, W, R, X c R~W~R|XUR R, W, S, P c (R{S)~(W{P)UR R, W, S, T c R{(W{S)~TUR R, W, S, V c R{(W{V)~SUR R, W, S, W c R{W~W|SUR R, W, S, X c (R{W|S)~XUR R, W, T, P c (R{T)~W|PUR R, W, T, Q c R~(W~Q{T)UR R, W, T, S c R{(W{S)~TUR R, W, T, U c R~T{W~UUR R, W, T, V c R~(W|T)~VUR R, W, T, W c (R{W)~T{WUR R, W, T, X c (R~T|W)~XUR R, W, U, P c (R{U)~(W|P)UR R, W, U, Q c R{(W{Q)~UUR R, W, U, R c (R{W)~U|RUR R, W, U, T c R~T{W~UUR R, W, U, V c R~(W{U{V)UR R, W, U, X c (R{U)~W|XUR R, W, V, Q c (R{W|Q)~VUR R, W, V, R c (RR{W)~VUR R, W, V, S c R{(W{V)~SUR R, W, V, T c R~(W|T)~VUR R, W, V, U c R~(W{V{U)UR R, W, W, Q c W~W|R{QUR R, W, W, R c W~W|RRUR R, W, W, S c R{W~W|SUR R, W, W, T c R~(W{W{T)UR R, W, X, Q c (R{WQ)~XUR R, W, X, R c R~W~R|XUR R, W, X, S c R~(W{X{S)UR R, W, X, T c (R~T|W)~XUR R, W, X, U c (R{U)~W|XUR R, X, O, S c (R{O{S)~XUR R, X, O, V c R~O{X~VUR R, X, P, Q c (R~Q{P)~XUR R, X, P, R c (R{P{R)~XUR R, X, P, S c (R{P~S)~XUR R, X, P, T c (R|P{T)~XUR R, X, P, U c R{(X{P)~UUR R, X, P, X c (X|R{P)~XUR R, X, Q, P c (R~Q{P)~XUR R, X, Q, Q c (R{Q{Q)~XUR R, X, Q, R c (R{X~Q)~RUR R, X, Q, T c X~(Q~T|R)UR R, X, Q, U c R~(X{Q~U)UR R, X, Q, V c (R|Q)~(X~V)UR R, X, Q, W c (R{WQ)~XUR R, X, Q, X c R~X~Q{XUR R, X, R, P c (R{R{P)~XUR R, X, R, Q c (R{X~Q)~RUR R, X, R, S c R~(X{R~S)UR R, X, R, T c R{(X{R)~TUR R, X, R, U c R~(X~R|U)UR R, X, R, V c (R{X|R)~VUR R, X, R, W c R~R~W|XUR R, X, R, X c R~(X{R{X)UR R, X, S, O c (R{S)~(X{O)UR R, X, S, P c (R{S)~(X~P)UR R, X, S, R c R~(X{S~R)UR R, X, S, T c (R~S|T)~XUR R, X, S, U c R{(X{U)~SUR R, X, S, V c X~(S|R)~VUR R, X, S, W c R~(X{S{W)UR R, X, S, X c R~X{S~XUR R, X, T, P c (R{T|P)~XUR R, X, T, Q c X~(T~Q|R)UR R, X, T, R c (R{X)~T{RUR R, X, T, S c (R~S|T)~XUR R, X, T, T c X~(T|R{T)UR R, X, T, U c R~(T~U|X)UR R, X, T, V c R~(X{T{V)UR R, X, T, W c (R~T|W)~XUR R, X, T, X c (R{X|T)~XUR R, X, U, P c R{(X{P)~UUR R, X, U, Q c R~(X{U~Q)UR R, X, U, R c (R~X|U)~RUR R, X, U, S c R{(X{U)~SUR R, X, U, T c R~U{X~TUR R, X, U, U c R{X~U{UUR R, X, U, V c R~(X|U)~VUR R, X, U, W c (R{U)~W|XUR R, X, U, X c (R{X)~U|XUR R, X, V, O c R~O{X~VUR R, X, V, Q c (R|Q)~(X~V)UR R, X, V, R c R{X~V|RUR R, X, V, S c (X~V)~(S|R)UR R, X, V, T c R~(X{V{T)UR R, X, V, U c R~(X|U)~VUR R, X, W, Q c (R{WQ)~XUR R, X, W, R c R~W~R|XUR R, X, W, S c R~(X{W{S)UR R, X, W, T c (R~T|W)~XUR R, X, W, U c (R{U)~W|XUR R, X, X, P c (X|R{P)~XUR R, X, X, Q c R~X~Q{XUR R, X, X, R c (R{X{X)~RUR R, X, X, S c R~X{X~SUR R, X, X, T c (R{X|T)~XUR R, X, X, U c (R{X)~U|XUR R, X, X, X c R~(X{X){XUR S, O, R, X c (S{O{R)~XUR S, O, T, V c (S{O{T)~VUR S, O, V, T c (S{O{T)~VUR S, O, V, X c S~O{V~XUR S, O, X, R c (S{O{R)~XUR S, O, X, V c S~O{X~VUR S, P, Q, V c (S~Q{P)~VUR S, P, Q, W c S~Q~W|PUR S, P, Q, X c (S{P{Q)~XUR S, P, R, T c (S~T{P)~RUR S, P, R, V c (S|P)~(R~V)UR S, P, R, W c (S{R)~(P{W)UR S, P, R, X c (S{P~R)~XUR S, P, S, S c S~S~S|PUR S, P, S, V c (S{P{S)~VUR S, P, S, W c (S{S)~W|PUR S, P, S, X c (S|P{S)~XUR S, P, T, R c (S~T{P)~RUR S, P, T, U c (S{T)~(P{U)UR S, P, T, V c (S{P~T)~VUR S, P, T, W c (S{T)~(W|P)UR S, P, U, T c (S{T)~(P{U)UR S, P, U, V c (S|P{U)~VUR S, P, V, Q c (S~Q{P)~VUR S, P, V, R c (S|P)~(V~R)UR S, P, V, S c (S{P{S)~VUR S, P, V, T c (S{P~T)~VUR S, P, V, U c (S|P{U)~VUR S, P, V, X c S~(V{X)|PUR S, P, W, Q c S~W~Q|PUR S, P, W, R c (S{R)~(P{W)UR S, P, W, S c (S{S)~W|PUR S, P, W, T c (S{T)~(W|P)UR S, P, W, W c S~(W{W)|PUR S, P, X, Q c (S{P{Q)~XUR S, P, X, R c (S{P~R)~XUR S, P, X, S c (S|P{S)~XUR S, P, X, V c S~(X{V)|PUR S, Q, P, V c (S~Q{P)~VUR S, Q, P, W c S~Q~W|PUR S, Q, P, X c (S{Q{P)~XUR S, Q, R, V c (S{Q{R)~VUR S, Q, T, T c (S{T)~(Q{T)UR S, Q, T, X c (S|Q{T)~XUR S, Q, U, X c (S{UQ)~XUR S, Q, V, P c (S~Q{P)~VUR S, Q, V, R c (S{Q{R)~VUR S, Q, V, V c (S|Q{V)~VUR S, Q, W, P c S~Q~W|PUR S, Q, X, P c (S{Q{P)~XUR S, Q, X, T c (S|Q{T)~XUR S, Q, X, U c (S{UQ)~XUR S, Q, X, X c (S{Q)~X{XUR S, R, O, X c (S{R{O)~XUR S, R, P, T c (S~T{P)~RUR S, R, P, V c (S|P)~(R~V)UR S, R, P, W c (S{R)~(P{W)UR S, R, P, X c (S{R)~(P~X)UR S, R, Q, V c (S{R{Q)~VUR S, R, R, R c (S{R)~(R~R)UR S, R, R, T c S~R~T{RUR S, R, R, U c (S{R)~(R{U)UR S, R, R, V c (S~R|R)~VUR S, R, R, X c (S~R{X)~RUR S, R, S, T c (S{R)~(S{T)UR S, R, T, P c (S~T{P)~RUR S, R, T, R c S~R~T{RUR S, R, T, S c (S{R)~(T{S)UR S, R, T, T c R~(T~T|S)UR S, R, T, W c (S{W)~T{RUR S, R, T, X c (S~R|T)~XUR S, R, U, R c (S{R)~(U{R)UR S, R, U, U c (S{U)~U{RUR S, R, U, V c (S{V)~U|RUR S, R, U, X c (S|R{U)~XUR S, R, V, P c (S|P)~(R~V)UR S, R, V, Q c (S{R)~(V{Q)UR S, R, V, R c (S~R|R)~VUR S, R, V, U c (S{V)~U|RUR S, R, V, V c (S~V|V)~RUR S, R, V, W c S{R{V~WUR S, R, V, X c (S|R)~(V~X)UR S, R, W, P c (S{R)~(W{P)UR S, R, W, T c (S{W)~T{RUR S, R, W, V c S{R{W~VUR S, R, W, W c R{W~W|SUR S, R, W, X c (S{W{X)~RUR S, R, X, O c (S{R)~(X{O)UR S, R, X, P c (S{R)~(X~P)UR S, R, X, R c (S~R{X)~RUR S, R, X, T c (S~R|T)~XUR S, R, X, U c (S|R{U)~XUR S, R, X, V c (S|R)~(X~V)UR S, R, X, W c (S{X{W)~RUR S, R, X, X c (S{XR)~XUR S, S, P, S c S~S~S|PUR S, S, P, V c (S{S{P)~VUR S, S, P, W c (S{S)~W|PUR S, S, P, X c (S{S|P)~XUR S, S, R, T c (S~S{T)~RUR S, S, S, P c S~S~S|PUR S, S, T, R c (S~S{T)~RUR S, S, U, X c (SS{U)~XUR S, S, V, P c (S{S{P)~VUR S, S, V, V c (S{S)~V{VUR S, S, V, W c (SS{W)~VUR S, S, V, X c S|S{V~XUR S, S, W, P c (S{S)~W|PUR S, S, W, V c (SS{W)~VUR S, S, W, W c W~W|SSUR S, S, W, X c (W|SS)~XUR S, S, X, P c (S{S|P)~XUR S, S, X, U c (SS{U)~XUR S, S, X, V c S|S{X~VUR S, S, X, W c X~(W|SS)UR S, S, X, X c (S{S)~X|XUR S, T, O, V c (S{T{O)~VUR S, T, P, R c (S~T{P)~RUR S, T, P, U c (S{T)~(P{U)UR S, T, P, V c (S{T)~(P~V)UR S, T, P, W c (S{T)~(W|P)UR S, T, Q, T c (S{T)~(Q{T)UR S, T, Q, X c (S{T|Q)~XUR S, T, R, P c (S~T{P)~RUR S, T, R, R c S~T~R{RUR S, T, R, S c (S{T)~(R{S)UR S, T, R, T c (T~T|S)~RUR S, T, R, W c (S{W)~T{RUR S, T, R, X c (S~R|T)~XUR S, T, S, R c (S{T)~(S{R)UR S, T, T, Q c (S{T)~(T{Q)UR S, T, T, R c (T~T|S)~RUR S, T, U, P c (S{T)~(U{P)UR S, T, U, X c S{T{U~XUR S, T, V, O c (S{T)~(V{O)UR S, T, V, P c (S{T)~(V~P)UR S, T, V, V c S~V{T~VUR S, T, V, W c (S{V)~T{WUR S, T, V, X c S~(T{X){VUR S, T, W, P c (S{T)~(W|P)UR S, T, W, R c (S{W)~T{RUR S, T, W, V c (S{V)~T{WUR S, T, W, W c S{W~W|TUR S, T, W, X c (S{T)~W|XUR S, T, X, Q c (S{T)~(X|Q)UR S, T, X, R c (S~R|T)~XUR S, T, X, U c S{T{X~UUR S, T, X, V c S~(T{X){VUR S, T, X, W c (S{T)~W|XUR S, U, P, T c (S{T)~(U{P)UR S, U, P, V c (S{U|P)~VUR S, U, Q, X c (S{UQ)~XUR S, U, R, R c (S~U|R)~RUR S, U, R, U c (S{U)~U{RUR S, U, R, V c (S{V)~U|RUR S, U, R, X c (S{U|R)~XUR S, U, S, X c (SS{U)~XUR S, U, T, P c (S{T)~(U{P)UR S, U, T, X c S{U~X{TUR S, U, U, R c (S{U)~U{RUR S, U, U, V c US~U~VUR S, U, U, X c (US{X)~UUR S, U, V, P c (S{U|P)~VUR S, U, V, R c (S{V)~U|RUR S, U, V, U c US~V~UUR S, U, V, V c (S{U)~V|VUR S, U, V, W c S~(U{W){VUR S, U, W, V c S~(U{W){VUR S, U, W, X c (S{W)~U|XUR S, U, X, Q c (S{UQ)~XUR S, U, X, R c S~(U{X){RUR S, U, X, S c (SS{U)~XUR S, U, X, T c S{U~X{TUR S, U, X, U c (US{X)~UUR S, U, X, W c (S{W)~U|XUR S, U, X, X c (S{X|U)~XUR S, V, O, T c (S{O{T)~VUR S, V, O, X c S~O{V~XUR S, V, P, Q c (S~Q{P)~VUR S, V, P, R c (S|P)~(V~R)UR S, V, P, S c (S{P{S)~VUR S, V, P, T c (S{P~T)~VUR S, V, P, U c (S|P{U)~VUR S, V, P, X c S~(V{X)|PUR S, V, Q, P c (S~Q{P)~VUR S, V, Q, R c (S{Q{R)~VUR S, V, Q, V c (S{V|Q)~VUR S, V, R, P c (S|P)~(V~R)UR S, V, R, Q c (S{R)~(V{Q)UR S, V, R, R c (S~R|R)~VUR S, V, R, U c (S{V)~U|RUR S, V, R, V c (S~V|V)~RUR S, V, R, W c S{V~W{RUR S, V, R, X c (S|R)~(V~X)UR S, V, S, P c (S{S{P)~VUR S, V, S, V c (S{S)~V{VUR S, V, S, W c (SS{W)~VUR S, V, S, X c (S{V|S)~XUR S, V, T, O c (S{T)~(V{O)UR S, V, T, P c (S{T)~(V~P)UR S, V, T, V c S~V{T~VUR S, V, T, W c (S{V)~T{WUR S, V, T, X c S~(T{X){VUR S, V, U, P c (S{U|P)~VUR S, V, U, R c (S{V)~U|RUR S, V, U, U c VS~U~UUR S, V, U, V c (S{U)~V|VUR S, V, U, W c S~(U{W){VUR S, V, V, Q c (S{V|Q)~VUR S, V, V, R c (S~V|V)~RUR S, V, V, S c (S{S)~V{VUR S, V, V, T c S~V{V~TUR S, V, V, U c (S{U)~V|VUR S, V, V, V c S~(V{V){VUR S, V, V, W c V~(V{WS)UR S, V, W, R c S{V~W{RUR S, V, W, S c (SS{W)~VUR S, V, W, T c (S{V)~T{WUR S, V, W, U c S~(W{U){VUR S, V, W, V c (V{WS)~VUR S, V, X, O c S~O{V~XUR S, V, X, P c S~(V{X)|PUR S, V, X, R c (S|R)~(V~X)UR S, V, X, S c S{V~X|SUR S, V, X, T c S~(X{T){VUR S, W, P, Q c S~W~Q|PUR S, W, P, R c (S{R)~(W{P)UR S, W, P, S c (S{S)~W|PUR S, W, P, T c (S{T)~(W|P)UR S, W, P, W c S~(W{W)|PUR S, W, Q, P c S~W~Q|PUR S, W, R, P c (S{R)~(W{P)UR S, W, R, T c (S{W)~T{RUR S, W, R, V c (S{W|R)~VUR S, W, R, W c W~W|S{RUR S, W, R, X c (S{W{X)~RUR S, W, S, P c (S{S)~W|PUR S, W, S, V c (SS{W)~VUR S, W, S, W c W~W|SSUR S, W, S, X c (W|SS)~XUR S, W, T, P c (S{T)~(W|P)UR S, W, T, R c (S{W)~T{RUR S, W, T, V c (S{V)~T{WUR S, W, T, W c S{W~W|TUR S, W, T, X c (S{W|T)~XUR S, W, U, V c S~(W{U){VUR S, W, U, X c (S{W)~U|XUR S, W, V, R c S{W~V{RUR S, W, V, S c (SS{W)~VUR S, W, V, T c (S{V)~T{WUR S, W, V, U c S~(W{U){VUR S, W, V, V c (WS{V)~VUR S, W, W, P c S~(W{W)|PUR S, W, W, R c W~W|S{RUR S, W, W, S c W~W|SSUR S, W, W, T c S{W~W|TUR S, W, X, R c (S{W{X)~RUR S, W, X, S c (W|SS)~XUR S, W, X, T c S~(W{X)|TUR S, W, X, U c (S{W)~U|XUR S, W, X, X c (X|WS)~XUR S, X, O, R c (S{O{R)~XUR S, X, O, V c S~O{X~VUR S, X, P, Q c (S{P{Q)~XUR S, X, P, R c (S{P~R)~XUR S, X, P, S c (S|P{S)~XUR S, X, P, V c S~(X{V)|PUR S, X, Q, P c (S{Q{P)~XUR S, X, Q, T c (S{X)~T|QUR S, X, Q, U c (S{UQ)~XUR S, X, Q, X c S~X~Q|XUR S, X, R, O c (S{R)~(X{O)UR S, X, R, P c (S{R)~(X~P)UR S, X, R, R c (S~R{X)~RUR S, X, R, T c (S~R|T)~XUR S, X, R, U c S~(X{U){RUR S, X, R, V c (S|R)~(X~V)UR S, X, R, W c (S{X{W)~RUR S, X, R, X c (S{XR)~XUR S, X, S, P c (S{S|P)~XUR S, X, S, U c (SS{U)~XUR S, X, S, V c (S{X|S)~VUR S, X, S, W c X~(W|SS)UR S, X, S, X c (S{S)~X|XUR S, X, T, Q c (S{X)~T|QUR S, X, T, R c (S~R|T)~XUR S, X, T, U c S{X~U{TUR S, X, T, V c S~(X{T){VUR S, X, T, W c S~(X{W)|TUR S, X, U, Q c (S{UQ)~XUR S, X, U, R c S~(X{U){RUR S, X, U, S c (SS{U)~XUR S, X, U, T c S{X~U{TUR S, X, U, U c (X{US)~UUR S, X, U, W c (S{W)~U|XUR S, X, U, X c (S{X|U)~XUR S, X, V, O c S~O{X~VUR S, X, V, P c S~(X{V)|PUR S, X, V, R c (S|R)~(X~V)UR S, X, V, S c S{X~V|SUR S, X, V, T c S~(X{T){VUR S, X, W, R c (S{X{W)~RUR S, X, W, S c X~(W|SS)UR S, X, W, T c S~(X{W)|TUR S, X, W, U c (S{W)~U|XUR S, X, W, X c (X|WS)~XUR S, X, X, Q c S~X~Q|XUR S, X, X, R c S~X{X~RUR S, X, X, S c (S{S)~X|XUR S, X, X, U c (S{X|U)~XUR S, X, X, W c X~(X|WS)UR S, X, X, X c S~(X{X)|XUR T, O, Q, X c (T{O{Q)~XUR T, O, S, V c (T{O{S)~VUR T, O, V, S c (T{O{S)~VUR T, O, V, X c T~O{V~XUR T, O, X, Q c (T{O{Q)~XUR T, O, X, V c T~O{X~VUR T, P, P, X c (T{P{P)~XUR T, P, Q, V c (T~Q|P)~VUR T, P, Q, W c (T{Q)~(P{W)UR T, P, Q, X c (T{P~Q)~XUR T, P, R, S c (T~S{P)~RUR T, P, R, V c (T{P{R)~VUR T, P, R, W c (T{R)~W|PUR T, P, R, X c (T|P{R)~XUR T, P, S, R c (T~S{P)~RUR T, P, S, U c (T{S)~(P{U)UR T, P, S, V c (T{P~S)~VUR T, P, S, W c (T{S)~(W|P)UR T, P, T, V c (T|P{T)~VUR T, P, U, S c (T{S)~(P{U)UR T, P, V, Q c (T~Q|P)~VUR T, P, V, R c (T{P{R)~VUR T, P, V, S c (T{P~S)~VUR T, P, V, T c (T|P{T)~VUR T, P, W, Q c (T{Q)~(P{W)UR T, P, W, R c (T{R)~W|PUR T, P, W, S c (T{S)~(W|P)UR T, P, X, P c (T{P{P)~XUR T, P, X, Q c (T{P~Q)~XUR T, P, X, R c (T|P{R)~XUR T, P, X, X c (T{P)~X{XUR T, Q, O, X c (T{Q{O)~XUR T, Q, P, V c (T~Q|P)~VUR T, Q, P, W c (T{Q)~(P{W)UR T, Q, P, X c (T{Q)~(P~X)UR T, Q, Q, V c (T{Q{Q)~VUR T, Q, R, R c (T{Q)~(R~R)UR T, Q, R, U c (T{Q)~(R{U)UR T, Q, R, V c (T|Q)~(R~V)UR T, Q, R, W c (T{Q~W)~RUR T, Q, R, X c (T~Q|R)~XUR T, Q, S, T c (T{Q)~(S{T)UR T, Q, S, X c (T|Q{S)~XUR T, Q, T, S c (T{Q)~(T{S)UR T, Q, T, W c T~(T{W)|QUR T, Q, U, R c (T{Q)~(U{R)UR T, Q, U, V c (T|Q{U)~VUR T, Q, U, W c (TQ{W)~UUR T, Q, U, X c (Q~U|T)~XUR T, Q, V, P c (T~Q|P)~VUR T, Q, V, Q c (T{Q)~(V{Q)UR T, Q, V, R c (T|Q)~(V~R)UR T, Q, V, U c (T|Q{U)~VUR T, Q, V, V c T~Q~V|VUR T, Q, V, W c T{Q{V~WUR T, Q, W, P c (T{Q)~(W{P)UR T, Q, W, R c (T{Q~W)~RUR T, Q, W, T c (T{W)~T|QUR T, Q, W, U c (TQ{W)~UUR T, Q, W, V c T{Q{W~VUR T, Q, W, X c T~(Q{X){WUR T, Q, X, O c (T{Q)~(X{O)UR T, Q, X, P c (T{Q)~(X~P)UR T, Q, X, R c (T~Q|R)~XUR T, Q, X, S c (T|Q{S)~XUR T, Q, X, U c (Q~U|T)~XUR T, Q, X, W c T~(Q{X){WUR T, Q, X, X c (T{X)Q~XUR T, R, P, S c (T~S{P)~RUR T, R, P, V c (T{R{P)~VUR T, R, P, W c (T{R)~W|PUR T, R, P, X c (T{R|P)~XUR T, R, Q, R c (T{Q)~(R~R)UR T, R, Q, U c (T{Q)~(R{U)UR T, R, Q, V c (T|Q)~(R~V)UR T, R, Q, W c (T{Q~W)~RUR T, R, Q, X c (T~Q|R)~XUR T, R, R, Q c (T{Q)~(R~R)UR T, R, R, S c T~R~S{RUR T, R, R, U c (T~R{U)~RUR T, R, R, X c T~(R{X){RUR T, R, S, P c (T~S{P)~RUR T, R, S, R c T~R~S{RUR T, R, S, S c (T{S)~(R{S)UR T, R, S, T c (T~T|S)~RUR T, R, S, W c T~(S{W){RUR T, R, S, X c (R~S|T)~XUR T, R, T, S c (T~T|S)~RUR T, R, T, U c (T{T)~U{RUR T, R, T, V c T~(T{V){RUR T, R, T, X c (T|R{T)~XUR T, R, U, Q c T~U~Q{RUR T, R, U, R c (T~R{U)~RUR T, R, U, T c (T{T)~U{RUR T, R, U, U c (T{U)~U|RUR T, R, U, V c (T~R|U)~VUR T, R, U, W c T~R{U~WUR T, R, U, X c (T{UR)~XUR T, R, V, P c (T{R{P)~VUR T, R, V, Q c (T|Q)~(R~V)UR T, R, V, T c (T{V)~T{RUR T, R, V, U c (T~R|U)~VUR T, R, V, V c (T{R)~V{VUR T, R, V, W c (R~V)~(W|T)UR T, R, V, X c (T{V{X)~RUR T, R, W, P c (T{R)~W|PUR T, R, W, Q c (T{W~Q)~RUR T, R, W, S c T~(W{S){RUR T, R, W, U c T~R{W~UUR T, R, W, V c R~(W|T)~VUR T, R, W, W c T~(R{W){WUR T, R, W, X c (T~R|W)~XUR T, R, X, P c (T{R|P)~XUR T, R, X, Q c (T~Q|R)~XUR T, R, X, R c T~(R{X){RUR T, R, X, S c (R~S|T)~XUR T, R, X, T c (T|R{T)~XUR T, R, X, U c T~X{R~UUR T, R, X, V c (T{X{V)~RUR T, R, X, W c (T~R|W)~XUR T, R, X, X c (T{R)~X|XUR T, S, O, V c (T{S{O)~VUR T, S, P, R c (T~S{P)~RUR T, S, P, U c (T{S)~(P{U)UR T, S, P, V c (T{S)~(P~V)UR T, S, P, W c (T{S)~(W|P)UR T, S, Q, T c (T{S)~(Q{T)UR T, S, Q, X c (T{S|Q)~XUR T, S, R, P c (T~S{P)~RUR T, S, R, R c T~S~R{RUR T, S, R, S c (T{S)~(R{S)UR T, S, R, T c (T~T|S)~RUR T, S, R, W c T~(S{W){RUR T, S, R, X c (S~R|T)~XUR T, S, S, R c (T{S)~(S{R)UR T, S, T, Q c (T{S)~(T{Q)UR T, S, T, R c (T~T|S)~RUR T, S, U, P c (T{S)~(U{P)UR T, S, U, X c T{S{U~XUR T, S, V, O c (T{S)~(V{O)UR T, S, V, P c (T{S)~(V~P)UR T, S, V, V c T~V{S~VUR T, S, V, W c T~(S{V){WUR T, S, V, X c (T|S)~(V~X)UR T, S, W, P c (T{S)~(W|P)UR T, S, W, R c T~(S{W){RUR T, S, W, V c (T|S{W)~VUR T, S, W, W c S{W~W|TUR T, S, W, X c (T{S)~W|XUR T, S, X, Q c (T{S)~(X|Q)UR T, S, X, R c (S~R|T)~XUR T, S, X, U c T{S{X~UUR T, S, X, V c (T|S)~(X~V)UR T, S, X, W c (T{S)~W|XUR T, T, P, V c (T{T|P)~VUR T, T, Q, S c (T{Q)~(T{S)UR T, T, Q, W c T~(T{W)|QUR T, T, R, S c (T~T|S)~RUR T, T, R, U c (T{T)~U{RUR T, T, R, V c T~(T{V){RUR T, T, R, X c (T{T|R)~XUR T, T, S, Q c (T{S)~(T{Q)UR T, T, S, R c (T~T|S)~RUR T, T, U, R c (T{T)~U{RUR T, T, U, W c T~(T{U){WUR T, T, U, X c (TT{U)~XUR T, T, V, P c (T{T|P)~VUR T, T, V, R c T~(T{V){RUR T, T, V, V c (T{T)~V|VUR T, T, V, W c (TT{W)~VUR T, T, V, X c T|T{V~XUR T, T, W, Q c T~(T{W)|QUR T, T, W, U c T~(T{U){WUR T, T, W, V c (TT{W)~VUR T, T, W, W c W~W|TTUR T, T, W, X c (W|TT)~XUR T, T, X, R c (T{T|R)~XUR T, T, X, U c (TT{U)~XUR T, T, X, V c T|T{X~VUR T, T, X, W c X~(W|TT)UR T, U, P, S c (T{S)~(U{P)UR T, U, Q, R c T~U~Q{RUR T, U, Q, V c (T{U|Q)~VUR T, U, Q, W c (TQ{W)~UUR T, U, Q, X c (U~Q|T)~XUR T, U, R, Q c T~U~Q{RUR T, U, R, R c (T~R{U)~RUR T, U, R, T c (T{T)~U{RUR T, U, R, U c (T{U)~U|RUR T, U, R, V c (T~R|U)~VUR T, U, R, W c T~R{U~WUR T, U, R, X c (T{UR)~XUR T, U, S, P c (T{S)~(U{P)UR T, U, S, X c (T{U|S)~XUR T, U, T, R c (T{T)~U{RUR T, U, T, W c (T{U)~T{WUR T, U, T, X c (TT{U)~XUR T, U, U, R c (T{U)~U|RUR T, U, U, X c (U|T{U)~XUR T, U, V, Q c T~(U{V)|QUR T, U, V, R c (T~R|U)~VUR T, U, V, W c T~(U{W)|VUR T, U, V, X c (T{V)~U|XUR T, U, W, Q c (TQ{W)~UUR T, U, W, R c T~R{U~WUR T, U, W, T c (T{U)~T{WUR T, U, W, V c T~(U{W)|VUR T, U, W, W c T{W~W|UUR T, U, W, X c (T{W|U)~XUR T, U, X, Q c (U~Q|T)~XUR T, U, X, R c (T~U|X)~RUR T, U, X, S c T{U~X{SUR T, U, X, T c (TT{U)~XUR T, U, X, U c (U|T{U)~XUR T, U, X, V c (T{V)~U|XUR T, U, X, W c (T{W|U)~XUR T, V, O, S c (T{O{S)~VUR T, V, O, X c T~O{V~XUR T, V, P, Q c (T~Q|P)~VUR T, V, P, R c (T{P{R)~VUR T, V, P, S c (T{P~S)~VUR T, V, P, T c (T|P{T)~VUR T, V, Q, P c (T~Q|P)~VUR T, V, Q, Q c (T{Q)~(V{Q)UR T, V, Q, R c (T|Q)~(V~R)UR T, V, Q, U c T~(V{U)|QUR T, V, Q, V c T~V~Q|VUR T, V, Q, W c T{V~W{QUR T, V, R, P c (T{R{P)~VUR T, V, R, Q c (T|Q)~(V~R)UR T, V, R, T c (T{V)~T{RUR T, V, R, U c (T~R|U)~VUR T, V, R, V c (T{V|R)~VUR T, V, R, W c (V~R)~(W|T)UR T, V, R, X c (T{V{X)~RUR T, V, S, O c (T{S)~(V{O)UR T, V, S, P c (T{S)~(V~P)UR T, V, S, V c T~V{S~VUR T, V, S, W c T~(V{S){WUR T, V, S, X c (T|S)~(V~X)UR T, V, T, P c (T{T|P)~VUR T, V, T, R c (T{V)~T{RUR T, V, T, V c (T{T)~V|VUR T, V, T, W c (TT{W)~VUR T, V, T, X c (T{V|T)~XUR T, V, U, Q c T~(V{U)|QUR T, V, U, R c (T~R|U)~VUR T, V, U, W c T~(U{W)|VUR T, V, U, X c (T{V)~U|XUR T, V, V, Q c T~V~Q|VUR T, V, V, R c (T{V|R)~VUR T, V, V, S c T~V{V~SUR T, V, V, T c (T{T)~V|VUR T, V, V, V c T~(V{V)|VUR T, V, V, X c T{V~V{XUR T, V, W, Q c T{V~W{QUR T, V, W, R c V~(W|T)~RUR T, V, W, S c T~(V{S){WUR T, V, W, T c (TT{W)~VUR T, V, W, U c T~(W{U)|VUR T, V, X, O c T~O{V~XUR T, V, X, R c (T{V{X)~RUR T, V, X, S c (T{X)~S{VUR T, V, X, T c T{V~X|TUR T, V, X, U c (T{V)~U|XUR T, V, X, V c T{V~V{XUR T, V, X, X c (T{X|V)~XUR T, W, P, Q c (T{Q)~(W{P)UR T, W, P, R c (T{R)~W|PUR T, W, P, S c (T{S)~(W|P)UR T, W, Q, P c (T{Q)~(W{P)UR T, W, Q, R c (T{W~Q)~RUR T, W, Q, T c (T{W)~T|QUR T, W, Q, U c (TQ{W)~UUR T, W, Q, V c (T{WQ)~VUR T, W, Q, X c T~(Q{X){WUR T, W, R, P c (T{R)~W|PUR T, W, R, Q c (T{W~Q)~RUR T, W, R, S c T~(W{S){RUR T, W, R, U c T~R{W~UUR T, W, R, V c (W|T)~(R~V)UR T, W, R, W c T~(W{R){WUR T, W, R, X c (T~R|W)~XUR T, W, S, P c (T{S)~(W|P)UR T, W, S, R c T~(W{S){RUR T, W, S, V c (T{W|S)~VUR T, W, S, W c W~W|T{SUR T, W, S, X c (T{WS)~XUR T, W, T, Q c (T{W)~T|QUR T, W, T, U c T~(T{U){WUR T, W, T, V c (TT{W)~VUR T, W, T, W c W~W|TTUR T, W, T, X c (W|TT)~XUR T, W, U, Q c (TQ{W)~UUR T, W, U, R c T~R{W~UUR T, W, U, T c (T{U)~T{WUR T, W, U, V c T~(W{U)|VUR T, W, U, W c T{W~W|UUR T, W, U, X c (T{W|U)~XUR T, W, V, Q c T{W~V{QUR T, W, V, R c (W|T)~(V~R)UR T, W, V, S c (T{W|S)~VUR T, W, V, T c (TT{W)~VUR T, W, V, U c T~(W{U)|VUR T, W, W, R c (T{W{W)~RUR T, W, W, S c W~W|T{SUR T, W, W, T c W~W|TTUR T, W, W, U c T{W~W|UUR T, W, X, Q c T~(X{Q){WUR T, W, X, R c (T~R|W)~XUR T, W, X, S c (T{WS)~XUR T, W, X, T c (W|TT)~XUR T, W, X, U c (T{W|U)~XUR T, X, O, Q c (T{O{Q)~XUR T, X, O, V c T~O{X~VUR T, X, P, P c (T{P{P)~XUR T, X, P, Q c (T{P~Q)~XUR T, X, P, R c (T|P{R)~XUR T, X, P, X c (T{P)~X{XUR T, X, Q, O c (T{Q)~(X{O)UR T, X, Q, P c (T{Q)~(X~P)UR T, X, Q, R c (T~Q|R)~XUR T, X, Q, S c T~(X{S)|QUR T, X, Q, U c X~(Q~U|T)UR T, X, Q, W c T~(X{Q){WUR T, X, Q, X c (T{X)Q~XUR T, X, R, P c (T{R|P)~XUR T, X, R, Q c (T~Q|R)~XUR T, X, R, R c T~(X{R){RUR T, X, R, S c X~(R~S|T)UR T, X, R, T c (T|R{T)~XUR T, X, R, U c T~X{R~UUR T, X, R, V c (T{X{V)~RUR T, X, R, W c (T~R|W)~XUR T, X, R, X c (T{R)~X|XUR T, X, S, Q c T~(X{S)|QUR T, X, S, R c X~(S~R|T)UR T, X, S, U c T{X~U{SUR T, X, S, V c (T{X)~S{VUR T, X, S, W c (T{S)~W|XUR T, X, T, R c (T{T|R)~XUR T, X, T, U c (TT{U)~XUR T, X, T, V c (T{X|T)~VUR T, X, T, W c X~(W|TT)UR T, X, U, Q c X~(U~Q|T)UR T, X, U, R c T~X{U~RUR T, X, U, S c T{X~U{SUR T, X, U, T c (TT{U)~XUR T, X, U, U c X~(U|T{U)UR T, X, U, V c (T{V)~U|XUR T, X, U, W c (T{W|U)~XUR T, X, V, O c T~O{X~VUR T, X, V, R c (T{X{V)~RUR T, X, V, S c (T{X)~S{VUR T, X, V, T c T{X~V|TUR T, X, V, U c (T{V)~U|XUR T, X, V, V c T{X{V~VUR T, X, V, X c (T{X|V)~XUR T, X, W, Q c T~(X{Q){WUR T, X, W, R c (T~R|W)~XUR T, X, W, S c (T{WS)~XUR T, X, W, T c X~(W|TT)UR T, X, W, U c (T{W|U)~XUR T, X, X, P c (T{P)~X{XUR T, X, X, Q c (T{X)~(XQ)UR T, X, X, R c (T{R)~X|XUR T, X, X, V c (T{X|V)~XUR T, X, X, X c T~X{X{XUR U, O, P, X c (U{O{P)~XUR U, O, R, V c (U{O{R)~VUR U, O, V, R c (U{O{R)~VUR U, O, V, X c U~O{V~XUR U, O, X, P c (U{O{P)~XUR U, O, X, V c U~O{X~VUR U, O, X, X c (U{O)~X{XUR U, P, O, X c (U{P{O)~XUR U, P, P, W c (U{P)~(P{W)UR U, P, P, X c (U{P)~(P~X)UR U, P, Q, V c (U{P{Q)~VUR U, P, Q, W c (U{Q)~W|PUR U, P, Q, X c (U|P{Q)~XUR U, P, R, R c (U{P)~(R~R)UR U, P, R, U c (U{P)~(R{U)UR U, P, R, V c (U{P~R)~VUR U, P, R, W c (U{R)~(W|P)UR U, P, R, X c U~(P{X){RUR U, P, S, T c (U{P)~(S{T)UR U, P, S, V c (U|P{S)~VUR U, P, T, S c (U{P)~(T{S)UR U, P, U, R c (U{P)~(U{R)UR U, P, V, Q c (U{P)~(V{Q)UR U, P, V, R c (U{P~R)~VUR U, P, V, S c (U|P{S)~VUR U, P, V, W c U{P{V~WUR U, P, V, X c X(P|UV)UR U, P, W, P c (U{P)~(W{P)UR U, P, W, Q c (U{Q)~W|PUR U, P, W, R c (U{R)~(W|P)UR U, P, W, V c U{P{W~VUR U, P, W, X c U~(P{W){XUR U, P, X, O c (U{P)~(X{O)UR U, P, X, P c (U{P)~(X~P)UR U, P, X, Q c (U|P{Q)~XUR U, P, X, R c U~(P{X){RUR U, P, X, V c X(P|UV)UR U, P, X, W c U~(P{W){XUR U, P, X, X c U~P~X{XUR U, Q, P, V c (U{Q{P)~VUR U, Q, P, W c (U{Q)~W|PUR U, Q, P, X c (U{Q|P)~XUR U, Q, Q, X c (U{QQ)~XUR U, Q, R, T c U~Q~T{RUR U, Q, R, V c (U~Q|R)~VUR U, Q, R, W c U~(Q{W){RUR U, Q, R, X c (U|Q{R)~XUR U, Q, S, X c (UQ{S)~XUR U, Q, T, R c U~Q~T{RUR U, Q, T, V c (U|Q{T)~VUR U, Q, T, W c U~(TQ{W)UR U, Q, T, X c (U~Q|T)~XUR U, Q, U, V c (UQ{U)~VUR U, Q, U, X c U~Q~U|XUR U, Q, V, P c (U{Q{P)~VUR U, Q, V, R c UQ~V~RUR U, Q, V, T c (U|Q{T)~VUR U, Q, V, U c (UQ{U)~VUR U, Q, V, V c (U{Q)~V{VUR U, Q, V, X c U~(Q{V){XUR U, Q, W, P c (U{Q)~W|PUR U, Q, W, R c U~(Q{W){RUR U, Q, W, T c U~(W{TQ)UR U, Q, W, X c (U{W)Q~XUR U, Q, X, P c (U{Q|P)~XUR U, Q, X, Q c (U{QQ)~XUR U, Q, X, R c U~(Q{X)|RUR U, Q, X, S c (UQ{S)~XUR U, Q, X, T c (U~Q|T)~XUR U, Q, X, U c U~Q~U|XUR U, Q, X, V c U~(Q{V){XUR U, Q, X, W c (U{W)Q~XUR U, Q, X, X c (U{Q)~X|XUR U, R, O, V c (U{R{O)~VUR U, R, P, R c (U{P)~(R~R)UR U, R, P, U c (U{R)~(P{U)UR U, R, P, V c (U{R)~(P~V)UR U, R, P, W c (U{R)~(W|P)UR U, R, P, X c U~(P{X){RUR U, R, Q, T c (U{R)~(Q{T)UR U, R, Q, V c U~RQ~VUR U, R, Q, W c U~(Q{W){RUR U, R, Q, X c (U{R|Q)~XUR U, R, R, P c (U{P)~(R~R)UR U, R, R, R c (U~R{R)~RUR U, R, R, S c (U{R)~(R{S)UR U, R, R, T c (U{R~T)~RUR U, R, R, V c (U|R)~(R~V)UR U, R, R, W c U~(R{W)|RUR U, R, R, X c (U{RR)~XUR U, R, S, R c (U{R)~(S{R)UR U, R, S, U c (U{S)~U{RUR U, R, S, V c U~(S{V)|RUR U, R, S, X c (U|R{S)~XUR U, R, T, Q c (U{R)~(T{Q)UR U, R, T, R c (U{R~T)~RUR U, R, T, T c U~(T{T){RUR U, R, T, U c (U{T)~U|RUR U, R, T, V c (R~T|U)~VUR U, R, T, W c U~W{R~TUR U, R, T, X c U~R{T~XUR U, R, U, P c (U{R)~(U{P)UR U, R, U, S c U~(U{S){RUR U, R, U, T c (U{U)~T{RUR U, R, U, V c (U|R{U)~VUR U, R, U, X c U{R{U~XUR U, R, V, O c (U{R)~(V{O)UR U, R, V, P c (U{R)~(V~P)UR U, R, V, Q c U~R~VQUR U, R, V, R c (U|R)~(V~R)UR U, R, V, S c U~(V{S)|RUR U, R, V, T c (R~T|U)~VUR U, R, V, U c (U|R{U)~VUR U, R, V, V c (UR{V)~VUR U, R, V, W c (U{V{W)~RUR U, R, V, X c (U~R|X)~VUR U, R, W, P c (U{R)~(W|P)UR U, R, W, Q c U~(W{Q){RUR U, R, W, R c U~(R{W)|RUR U, R, W, T c U~W{R~TUR U, R, W, V c (U{W{V)~RUR U, R, W, X c (U{R)~W|XUR U, R, X, P c U~(X{P){RUR U, R, X, Q c (U{R)~(X|Q)UR U, R, X, R c (U{RR)~XUR U, R, X, S c (U|R{S)~XUR U, R, X, T c U~R{X~TUR U, R, X, U c U{R{X~UUR U, R, X, V c (U~R|X)~VUR U, R, X, W c (U{R)~W|XUR U, R, X, X c U~(R{X)|XUR U, S, P, T c (U{P)~(S{T)UR U, S, P, V c (U{S|P)~VUR U, S, Q, X c (UQ{S)~XUR U, S, R, R c (U~S|R)~RUR U, S, R, U c (U{S)~U{RUR U, S, R, V c U~(S{V)|RUR U, S, R, X c (U{S|R)~XUR U, S, S, X c (U{SS)~XUR U, S, T, P c (U{P)~(S{T)UR U, S, T, X c (U|S{T)~XUR U, S, U, R c (U{S)~U{RUR U, S, U, V c US~U~VUR U, S, U, X c (US{X)~UUR U, S, V, P c (U{S|P)~VUR U, S, V, R c U~(S{V)|RUR U, S, V, U c US~V~UUR U, S, V, V c (U{S)~V|VUR U, S, V, W c (U{W)~S{VUR U, S, W, V c (U{W)~S{VUR U, S, W, X c U~(S{W)|XUR U, S, X, Q c (UQ{S)~XUR U, S, X, R c (U{S|R)~XUR U, S, X, S c (U{SS)~XUR U, S, X, T c (U|S{T)~XUR U, S, X, U c (US{X)~UUR U, S, X, W c U~(S{W)|XUR U, S, X, X c (S{X|U)~XUR U, T, P, S c (U{P)~(T{S)UR U, T, Q, R c U~T~Q{RUR U, T, Q, V c (U{T|Q)~VUR U, T, Q, W c U~(TQ{W)UR U, T, Q, X c (U~Q|T)~XUR U, T, R, Q c U~T~Q{RUR U, T, R, R c (U{T~R)~RUR U, T, R, T c U~(T{T){RUR U, T, R, U c (U{T)~U|RUR U, T, R, V c (T~R|U)~VUR U, T, R, W c U~W{T~RUR U, T, R, X c (U~T|X)~RUR U, T, S, P c (U{P)~(T{S)UR U, T, S, X c (U{T|S)~XUR U, T, T, R c U~(T{T){RUR U, T, T, W c (U{T)~T{WUR U, T, T, X c (U{TT)~XUR U, T, U, R c (U{T)~U|RUR U, T, U, X c (U|T{U)~XUR U, T, V, Q c (U{T|Q)~VUR U, T, V, R c (T~R|U)~VUR U, T, V, W c (U|T{W)~VUR U, T, V, X c (U|T)~(V~X)UR U, T, W, Q c U~(TQ{W)UR U, T, W, R c U~W{T~RUR U, T, W, T c (U{T)~T{WUR U, T, W, V c (U|T{W)~VUR U, T, W, W c T{W~W|UUR U, T, W, X c (T{W|U)~XUR U, T, X, Q c (U~Q|T)~XUR U, T, X, R c (U~T|X)~RUR U, T, X, S c (U{T|S)~XUR U, T, X, T c (U{TT)~XUR U, T, X, U c (U|T{U)~XUR U, T, X, V c (U|T)~(X~V)UR U, T, X, W c (T{W|U)~XUR U, U, P, R c (U{P)~(U{R)UR U, U, Q, V c (U{UQ)~VUR U, U, Q, X c U~U~Q|XUR U, U, R, P c (U{R)~(U{P)UR U, U, R, S c U~(U{S){RUR U, U, R, T c (U{U)~T{RUR U, U, R, V c (U{U|R)~VUR U, U, R, X c U~(U{R){XUR U, U, S, R c U~(U{S){RUR U, U, S, V c U~US~VUR U, U, S, X c U~(US{X)UR U, U, T, R c (U{U)~T{RUR U, U, T, X c (U{U|T)~XUR U, U, U, X c (U{U)~U|XUR U, U, V, Q c (U{UQ)~VUR U, U, V, R c (U{U|R)~VUR U, U, V, S c U~U~VSUR U, U, V, W c (UU{W)~VUR U, U, V, X c U|U{V~XUR U, U, W, V c (UU{W)~VUR U, U, W, W c W~W|UUUR U, U, W, X c U{U~W{XUR U, U, X, Q c U~(U{XQ)UR U, U, X, R c (U{U{X)~RUR U, U, X, S c U~(US{X)UR U, U, X, T c (U{U|T)~XUR U, U, X, U c (U{U)~U|XUR U, U, X, V c U|U{X~VUR U, U, X, W c U{U~W{XUR U, U, X, X c U~(XU{X)UR U, V, O, R c (U{O{R)~VUR U, V, O, X c U~O{V~XUR U, V, P, Q c (U{P)~(V{Q)UR U, V, P, R c (U{P~R)~VUR U, V, P, S c (U|P{S)~VUR U, V, P, W c U{V~W{PUR U, V, P, X c X(P|UV)UR U, V, Q, P c (U{Q{P)~VUR U, V, Q, R c U~VQ~RUR U, V, Q, T c (U{V)~T|QUR U, V, Q, U c (UQ{U)~VUR U, V, Q, V c U~(VQ{V)UR U, V, Q, X c U~(V{Q){XUR U, V, R, O c (U{R)~(V{O)UR U, V, R, P c (U{R)~(V~P)UR U, V, R, Q c U~V~RQUR U, V, R, R c U~(V{R){RUR U, V, R, S c U~(V{S)|RUR U, V, R, T c V~(R~T|U)UR U, V, R, U c (U|R{U)~VUR U, V, R, V c U~V{R~VUR U, V, R, W c (U{V{W)~RUR U, V, R, X c (U~R|X)~VUR U, V, S, P c (U{S|P)~VUR U, V, S, R c U~(V{S)|RUR U, V, S, U c U~VS~UUR U, V, S, V c (U{V|S)~VUR U, V, S, W c (U{W)~S{VUR U, V, T, Q c (U{V)~T|QUR U, V, T, R c V~(T~R|U)UR U, V, T, W c (U|T{W)~VUR U, V, T, X c U~(V{T)|XUR U, V, U, Q c (U{UQ)~VUR U, V, U, R c (U{U|R)~VUR U, V, U, S c U~V~USUR U, V, U, W c (UU{W)~VUR U, V, U, X c (U{V|U)~XUR U, V, V, Q c U~(V{VQ)UR U, V, V, R c U~V{V~RUR U, V, V, S c (U{V|S)~VUR U, V, V, W c U{V~V{WUR U, V, V, X c (U{VV)~XUR U, V, W, P c U{V~W{PUR U, V, W, R c (U{V{W)~RUR U, V, W, S c (U{W)~S{VUR U, V, W, T c (U{W|T)~VUR U, V, W, U c (UU{W)~VUR U, V, W, V c U{V~V{WUR U, V, W, W c U~W{V{WUR U, V, W, X c (U{W|V)~XUR U, V, X, O c U~O{V~XUR U, V, X, P c X(P|UV)UR U, V, X, Q c U~(V{Q){XUR U, V, X, R c (U{XR)~VUR U, V, X, T c U~(V{T)|XUR U, V, X, U c U{V~X|UUR U, V, X, V c (U{VV)~XUR U, V, X, W c (U{W|V)~XUR U, W, P, P c (U{P)~(W{P)UR U, W, P, Q c (U{Q)~W|PUR U, W, P, R c (U{R)~(W|P)UR U, W, P, V c U{W~V{PUR U, W, P, X c U~(W{P){XUR U, W, Q, P c (U{Q)~W|PUR U, W, Q, R c U~(W{Q){RUR U, W, Q, T c U~(W{TQ)UR U, W, Q, X c (U{W)Q~XUR U, W, R, P c (U{R)~(W|P)UR U, W, R, Q c U~(W{Q){RUR U, W, R, R c U~(W{R)|RUR U, W, R, T c U~W{R~TUR U, W, R, V c (U{W{V)~RUR U, W, R, X c (U{R)~W|XUR U, W, S, V c (U{W)~S{VUR U, W, S, X c U~(W{S)|XUR U, W, T, Q c U~(W{TQ)UR U, W, T, R c U~W{T~RUR U, W, T, T c (U{T)~T{WUR U, W, T, V c (U{W|T)~VUR U, W, T, W c W~W|U{TUR U, W, T, X c (W|U{T)~XUR U, W, U, V c (UU{W)~VUR U, W, U, W c W~W|UUUR U, W, U, X c U{W~U{XUR U, W, V, P c U{W~V{PUR U, W, V, R c (U{W{V)~RUR U, W, V, S c (U{W)~S{VUR U, W, V, T c (U{W|T)~VUR U, W, V, U c (UU{W)~VUR U, W, V, V c U{W{V~VUR U, W, V, W c U~W{V{WUR U, W, V, X c (U{W|V)~XUR U, W, W, T c W~W|U{TUR U, W, W, U c W~W|UUUR U, W, W, V c U{W~W|VUR U, W, W, X c (U{WW)~XUR U, W, X, P c U~(W{P){XUR U, W, X, Q c (U{W)~(XQ)UR U, W, X, R c (U{R)~W|XUR U, W, X, S c U~(W{S)|XUR U, W, X, T c (W|U{T)~XUR U, W, X, U c U~W{X{UUR U, W, X, V c (U{W|V)~XUR U, W, X, W c (U{WW)~XUR U, W, X, X c (U{X|W)~XUR U, X, O, P c (U{O{P)~XUR U, X, O, V c U~O{X~VUR U, X, O, X c U~X{O{XUR U, X, P, O c (U{P)~(X{O)UR U, X, P, P c (U{P)~(X~P)UR U, X, P, Q c (U|P{Q)~XUR U, X, P, R c U~(X{P){RUR U, X, P, V c X(P|UV)UR U, X, P, W c U~X{P{WUR U, X, P, X c U~X{P~XUR U, X, Q, P c (U{Q|P)~XUR U, X, Q, Q c (U{QQ)~XUR U, X, Q, R c U~(X{Q)|RUR U, X, Q, S c (UQ{S)~XUR U, X, Q, T c (U~Q|T)~XUR U, X, Q, U c (U{XQ)~UUR U, X, Q, V c U~X{Q{VUR U, X, Q, W c (U{W)~(XQ)UR U, X, Q, X c (U{Q)~X|XUR U, X, R, P c U~(X{P){RUR U, X, R, Q c U~(X{RQ)UR U, X, R, R c U~X{R~RUR U, X, R, S c (U{X)~S{RUR U, X, R, T c U~R{X~TUR U, X, R, U c U~X{R{UUR U, X, R, V c (U{XR)~VUR U, X, R, W c (U{R)~W|XUR U, X, R, X c U~(X{R)|XUR U, X, S, Q c (UQ{S)~XUR U, X, S, R c (U{X)~S{RUR U, X, S, S c (U{SS)~XUR U, X, S, T c U~X{S{TUR U, X, S, U c U~(X{US)UR U, X, S, W c U~(S{W)|XUR U, X, S, X c (X|U{S)~XUR U, X, T, Q c (U~Q|T)~XUR U, X, T, R c (U~T|X)~RUR U, X, T, S c U~X{T{SUR U, X, T, T c (U{TT)~XUR U, X, T, U c (U|T{U)~XUR U, X, T, V c (U|T)~(X~V)UR U, X, T, W c X~(T{W|U)UR U, X, U, Q c (U{XQ)~UUR U, X, U, R c (U{X{U)~RUR U, X, U, S c U~(X{US)UR U, X, U, T c (U{U|T)~XUR U, X, U, U c (U{U)~U|XUR U, X, U, V c (U{X|U)~VUR U, X, U, W c U{X{U~WUR U, X, U, X c U~(XU{X)UR U, X, V, O c U~O{X~VUR U, X, V, P c X(P|UV)UR U, X, V, Q c U~X{V{QUR U, X, V, R c (U{XR)~VUR U, X, V, T c U~(V{T)|XUR U, X, V, U c U{X~V|UUR U, X, V, V c (U{VV)~XUR U, X, V, W c (U{W|V)~XUR U, X, W, P c U~X{W{PUR U, X, W, Q c (U{W)~(XQ)UR U, X, W, R c (U{R)~W|XUR U, X, W, S c U~(W{S)|XUR U, X, W, T c X~(W|U{T)UR U, X, W, U c U{X{W~UUR U, X, W, V c (U{W|V)~XUR U, X, W, W c (U{WW)~XUR U, X, W, X c (U{X|W)~XUR U, X, X, O c U~X{X{OUR U, X, X, P c U~X{X~PUR U, X, X, Q c (U{Q)~X|XUR U, X, X, R c U~(X{R)|XUR U, X, X, S c (X|U{S)~XUR U, X, X, U c U~(X{XU)UR U, X, X, W c (U{X|W)~XUR U, X, X, X c (U{XX)~XUR V, O, O, X c (V{O{O)~XUR V, O, P, W c (V{O)~(P{W)UR V, O, P, X c (V{O)~(P~X)UR V, O, Q, V c (V{O{Q)~VUR V, O, Q, X c (V{O~Q)~XUR V, O, R, R c (V{O)~(R~R)UR V, O, R, U c (V{O)~(R{U)UR V, O, R, X c (V{O~R)~XUR V, O, S, T c (V{O)~(S{T)UR V, O, S, X c (V{O~S)~XUR V, O, T, S c (V{O)~(T{S)UR V, O, T, X c (V{O~T)~XUR V, O, U, R c (V{O)~(U{R)UR V, O, U, X c (V{O~U)~XUR V, O, V, Q c (V{O)~(V{Q)UR V, O, V, W c V{O{V~WUR V, O, V, X c (V{O~V)~XUR V, O, W, P c (V{O)~(W{P)UR V, O, W, V c V{O{W~VUR V, O, W, X c (V{O~W)~XUR V, O, X, O c (V{O)~(X{O)UR V, O, X, P c (V{O)~(X~P)UR V, O, X, Q c (V{O~Q)~XUR V, O, X, R c (V{O~R)~XUR V, O, X, S c (V{O~S)~XUR V, O, X, T c (V{O~T)~XUR V, O, X, U c (V{O~U)~XUR V, O, X, V c V~O{X~VUR V, O, X, W c (V{O~W)~XUR V, O, X, X c (V{O~X)~XUR V, P, O, W c V~(P{O{W)UR V, P, O, X c (V{P~O)~XUR V, P, P, V c (V{P{P)~VUR V, P, P, W c V~(P{P~W)UR V, P, P, X c (V{P|P)~XUR V, P, Q, R c V~(P{Q)~RUR V, P, Q, S c V~(P{Q~S)UR V, P, Q, T c V~(Q~T|P)UR V, P, Q, U c V~(P{Q{U)UR V, P, Q, V c (V{P~Q)~VUR V, P, Q, W c V~(Q|P{W)UR V, P, Q, X c V~(Q|P)~XUR V, P, R, Q c V~(P{Q)~RUR V, P, R, R c V~P~R~RUR V, P, R, S c (V~R)~(S|P)UR V, P, R, T c V~(P{R{T)UR V, P, R, U c (V~P)~(R{U)UR V, P, R, V c (V|P{R)~VUR V, P, S, Q c V~(P{S~Q)UR V, P, S, R c V~(S|P)~RUR V, P, S, S c V~(P{S{S)UR V, P, S, T c (V~P)~(S{T)UR V, P, S, U c V~(S|P{U)UR V, P, S, X c (V{X)~S|PUR V, P, T, Q c V~(T~Q|P)UR V, P, T, R c V~(P{T{R)UR V, P, T, S c (V~P)~(T{S)UR V, P, T, T c V~(T|P{T)UR V, P, U, Q c V~(P{U{Q)UR V, P, U, R c (V~P)~(U{R)UR V, P, U, S c V~(U|P{S)UR V, P, U, W c V{(P{U)~WUR V, P, U, X c X(P|UV)UR V, P, V, P c V~(P{V{P)UR V, P, V, Q c (V~P)~(V{Q)UR V, P, V, R c (V|P{R)~VUR V, P, V, V c V{(P{V)~VUR V, P, V, W c V{P~V~WUR V, P, V, X c V~(P{X)|VUR V, P, W, O c V~(P{W){OUR V, P, W, P c (V{P)~W|PUR V, P, W, Q c V~(W|P{Q)UR V, P, W, U c V{(P{U)~WUR V, P, W, V c V{P~W~VUR V, P, W, W c V{(W|P)~WUR V, P, W, X c V(P|WX)UR V, P, X, O c V~P~X{OUR V, P, X, P c V~(P{X|P)UR V, P, X, Q c (V~X)~(Q|P)UR V, P, X, S c (V{X)~S|PUR V, P, X, U c X(P|UV)UR V, P, X, V c V~(P{X)|VUR V, P, X, W c V(P|WX)UR V, P, X, X c (V{P)~X|XUR V, Q, O, V c (V{Q{O)~VUR V, Q, O, X c (V{Q~O)~XUR V, Q, P, R c V~(Q{P)~RUR V, Q, P, S c V~(Q~S{P)UR V, Q, P, T c V~(Q~T|P)UR V, Q, P, U c (V{Q)~(P{U)UR V, Q, P, V c (V{Q)~(P~V)UR V, Q, P, W c V~(Q|P{W)UR V, Q, P, X c V~(Q|P)~XUR V, Q, Q, T c (V{Q)~(Q{T)UR V, Q, Q, W c V~(QQ{W)UR V, Q, Q, X c (V{Q|Q)~XUR V, Q, R, P c V~(Q{P)~RUR V, Q, R, R c V~(Q~R{R)UR V, Q, R, S c (V{Q)~(R{S)UR V, Q, R, T c (V~R)~(T|Q)UR V, Q, R, U c VQ~R~UUR V, Q, R, V c (V{Q~V)~RUR V, Q, R, W c V~(R|Q{W)UR V, Q, R, X c V~(R|Q)~XUR V, Q, S, P c V~(Q~S{P)UR V, Q, S, R c (V{Q)~(S{R)UR V, Q, S, V c V{Q~S~VUR V, Q, T, P c V~(Q~T|P)UR V, Q, T, Q c (V{Q)~(T{Q)UR V, Q, T, R c V~(T|Q)~RUR V, Q, T, U c V~(T|Q{U)UR V, Q, T, V c (V~Q|T)~VUR V, Q, T, W c V{(Q{T)~WUR V, Q, U, P c (V{Q)~(U{P)UR V, Q, U, R c V~(Q~U|R)UR V, Q, U, T c V~(U|Q{T)UR V, Q, U, U c V~(UQ{U)UR V, Q, U, V c V{(Q{U)~VUR V, Q, U, X c V{Q{U~XUR V, Q, V, O c (V{Q)~(V{O)UR V, Q, V, P c (V{Q)~(V~P)UR V, Q, V, R c (V{Q~V)~RUR V, Q, V, S c V{Q~V~SUR V, Q, V, T c V~(Q~V|T)UR V, Q, V, U c (VQ{V)~UUR V, Q, V, V c V~Q{V~VUR V, Q, V, W c V~(Q{W)|VUR V, Q, V, X c (V~Q|V)~XUR V, Q, W, P c (V{Q)~(W|P)UR V, Q, W, Q c V~(QQ{W)UR V, Q, W, R c V~(W|Q{R)UR V, Q, W, T c V{(Q{T)~WUR V, Q, W, V c V~(Q{W)|VUR V, Q, W, X c (V{Q)~W|XUR V, Q, X, O c (V{Q~O)~XUR V, Q, X, P c V~(Q|P)~XUR V, Q, X, Q c (V{Q)~(X|Q)UR V, Q, X, R c (V~X)~(R|Q)UR V, Q, X, U c V{Q{X~UUR V, Q, X, V c (V~Q|V)~XUR V, Q, X, W c (V{Q)~W|XUR V, Q, X, X c V~(Q~X|X)UR V, R, O, R c (V~R{O)~RUR V, R, O, U c V~(R{O{U)UR V, R, O, X c (V{R~O)~XUR V, R, P, Q c (V~R)~(P{Q)UR V, R, P, R c V~R~P~RUR V, R, P, S c (V~R)~(S|P)UR V, R, P, T c V~(R{P{T)UR V, R, P, U c V~(R{P~U)UR V, R, P, V c (V{R|P)~VUR V, R, Q, P c (V~R)~(Q{P)UR V, R, Q, R c V~(R{Q~R)UR V, R, Q, S c V~(R{Q{S)UR V, R, Q, T c (V~R)~(T|Q)UR V, R, Q, U c V~RQ~UUR V, R, Q, V c (V{Q~V)~RUR V, R, Q, W c V~(R|Q{W)UR V, R, Q, X c V~(R|Q)~XUR V, R, R, O c V~R~R{OUR V, R, R, P c V~R~R~PUR V, R, R, Q c V~(R{R~Q)UR V, R, R, R c V~(R{R{R)UR V, R, R, S c V~(R~S|R)UR V, R, R, U c (V{R)~U{RUR V, R, R, W c V~(RR{W)UR V, R, R, X c (V{R|R)~XUR V, R, S, P c (V~R)~(S|P)UR V, R, S, Q c V~(R{S{Q)UR V, R, S, R c V~(R~S|R)UR V, R, S, U c (V{S)~U|RUR V, R, S, V c (V~R)~(V|S)UR V, R, S, W c V{(R{S)~WUR V, R, S, X c V~(S|R)~XUR V, R, T, P c V~(R{T{P)UR V, R, T, Q c (V~R)~(T|Q)UR V, R, T, T c (V{T)~T{RUR V, R, T, U c V~(R~T|U)UR V, R, T, V c V{(R{T)~VUR V, R, T, W c (V~R)~(W|T)UR V, R, T, X c (V{T{X)~RUR V, R, U, O c V~(R{U){OUR V, R, U, P c V~(R{U)~PUR V, R, U, Q c V~R~UQUR V, R, U, R c (V{R)~U{RUR V, R, U, S c (V{S)~U|RUR V, R, U, T c V~(R~T|U)UR V, R, U, U c V~(U|R{U)UR V, R, U, V c V~R{U~VUR V, R, U, W c (V{U{W)~RUR V, R, U, X c V~(R~U|X)UR V, R, V, P c V~(R{V|P)UR V, R, V, Q c (V{V~Q)~RUR V, R, V, S c (V~R)~(V|S)UR V, R, V, T c V{(R{T)~VUR V, R, V, U c V~R{V~UUR V, R, V, V c (V{R)~V|VUR V, R, W, Q c V~(R{W|Q)UR V, R, W, R c V~(RR{W)UR V, R, W, S c V{(R{S)~WUR V, R, W, T c (V~R)~(W|T)UR V, R, W, U c (V{W{U)~RUR V, R, X, O c (V{R~O)~XUR V, R, X, Q c V~(R|Q)~XUR V, R, X, R c V~(R{X|R)UR V, R, X, S c (V~X)~(S|R)UR V, R, X, T c (V{X{T)~RUR V, R, X, U c (V~R)~(X|U)UR V, S, O, T c V~(S{O{T)UR V, S, O, X c (V{S~O)~XUR V, S, P, Q c V~(S~Q{P)UR V, S, P, R c V~(S|P)~RUR V, S, P, S c V~(S{P{S)UR V, S, P, T c V~(S{P~T)UR V, S, P, U c V~(S|P{U)UR V, S, P, X c (V{X)~S|PUR V, S, Q, P c V~(S~Q{P)UR V, S, Q, R c V~(S{Q{R)UR V, S, Q, V c (V{S|Q)~VUR V, S, R, P c V~(S|P)~RUR V, S, R, Q c V~(S{R{Q)UR V, S, R, R c V~(S~R|R)UR V, S, R, U c (V{S)~U|RUR V, S, R, V c (V|S)~(R~V)UR V, S, R, W c V{(S{R)~WUR V, S, R, X c V~(S|R)~XUR V, S, S, P c V~(S{S{P)UR V, S, S, V c V{(S{S)~VUR V, S, S, W c V~(SS{W)UR V, S, S, X c (V{S|S)~XUR V, S, T, O c V~(S{T){OUR V, S, T, P c V~(S{T)~PUR V, S, T, V c V~S{T~VUR V, S, T, W c (V{S)~T{WUR V, S, T, X c V{S~(T{X)UR V, S, U, P c V~(S{U|P)UR V, S, U, R c (V{S)~U|RUR V, S, U, U c VS~U~UUR V, S, U, V c (V|S{U)~VUR V, S, U, W c V{S~(U{W)UR V, S, V, Q c V{S~V~QUR V, S, V, R c (V|S)~(V~R)UR V, S, V, S c V{(S{S)~VUR V, S, V, T c V~S{V~TUR V, S, V, U c (V|S{U)~VUR V, S, V, V c V{S~(V{V)UR V, S, V, W c V~(V{WS)UR V, S, W, R c V~(S{W|R)UR V, S, W, S c V~(SS{W)UR V, S, W, T c (V{S)~T{WUR V, S, W, U c V{S~(W{U)UR V, S, W, V c (V{WS)~VUR V, S, X, O c (V{S~O)~XUR V, S, X, P c (V{X)~S|PUR V, S, X, R c V~(S|R)~XUR V, S, X, S c V~(S{X|S)UR V, S, X, T c V{S~(X{T)UR V, T, O, S c V~(T{O{S)UR V, T, O, X c (V{T~O)~XUR V, T, P, Q c V~(T~Q|P)UR V, T, P, R c V~(T{P{R)UR V, T, P, S c V~(T{P~S)UR V, T, P, T c V~(T|P{T)UR V, T, Q, P c V~(T~Q|P)UR V, T, Q, Q c V~(T{Q{Q)UR V, T, Q, R c V~(T|Q)~RUR V, T, Q, U c V~(T|Q{U)UR V, T, Q, V c V~T~Q|VUR V, T, Q, W c V{(T{Q)~WUR V, T, R, P c V~(T{R{P)UR V, T, R, Q c V~(T|Q)~RUR V, T, R, T c (V{T)~T{RUR V, T, R, U c V~(T~R|U)UR V, T, R, V c V{(T{R)~VUR V, T, R, W c (V~R)~(W|T)UR V, T, R, X c (V{T{X)~RUR V, T, S, O c V~(T{S){OUR V, T, S, P c V~(T{S)~PUR V, T, S, V c V~T{S~VUR V, T, S, W c V~(T|S{W)UR V, T, S, X c V~(T|S)~XUR V, T, T, P c V~(T{T|P)UR V, T, T, R c (V{T)~T{RUR V, T, T, V c V~(T{T)|VUR V, T, T, W c V~(TT{W)UR V, T, T, X c (V{T|T)~XUR V, T, U, Q c V~(T{U|Q)UR V, T, U, R c V~(T~R|U)UR V, T, U, W c V~(U|T{W)UR V, T, U, X c (V{T)~U|XUR V, T, V, Q c V~T~Q|VUR V, T, V, R c V~(T{V|R)UR V, T, V, S c V~T{V~SUR V, T, V, T c V~(T{T)|VUR V, T, V, V c (V|T{V)~VUR V, T, V, X c V~V{T{XUR V, T, W, Q c V~(T{WQ)UR V, T, W, R c V~(W|T)~RUR V, T, W, S c V~(T{W|S)UR V, T, W, T c V~(TT{W)UR V, T, W, U c V~(W|T{U)UR V, T, X, O c (V{T~O)~XUR V, T, X, R c (V{T{X)~RUR V, T, X, S c V{(T{X)~SUR V, T, X, T c V~(T{X|T)UR V, T, X, U c (V{T)~U|XUR V, T, X, V c V~V{T{XUR V, T, X, X c (T{X|V)~XUR V, U, O, R c V~(U{O{R)UR V, U, O, X c (V{U~O)~XUR V, U, P, Q c V~(U{P{Q)UR V, U, P, R c V~(U{P~R)UR V, U, P, S c V~(U|P{S)UR V, U, P, W c V{(U{P)~WUR V, U, P, X c X(P|UV)UR V, U, Q, P c V~(U{Q{P)UR V, U, Q, R c V~(U~Q|R)UR V, U, Q, T c V~(U|Q{T)UR V, U, Q, U c V~(UQ{U)UR V, U, Q, V c V{(U{Q)~VUR V, U, Q, X c V{U~X{QUR V, U, R, O c V~(U{R){OUR V, U, R, P c V~(U{R)~PUR V, U, R, Q c V~U~RQUR V, U, R, R c V~(U|R)~RUR V, U, R, S c (V{S)~U|RUR V, U, R, T c V~(R~T|U)UR V, U, R, U c V~(U|R{U)UR V, U, R, V c (V{UR)~VUR V, U, R, W c (V{U{W)~RUR V, U, R, X c V~(U~R|X)UR V, U, S, P c V~(U{S|P)UR V, U, S, R c (V{S)~U|RUR V, U, S, U c V~US~UUR V, U, S, V c (V{U|S)~VUR V, U, S, W c V{(U{W)~SUR V, U, T, Q c (V{U)~T|QUR V, U, T, R c V~(T~R|U)UR V, U, T, W c V~(U|T{W)UR V, U, T, X c V~(U|T)~XUR V, U, U, Q c V~(U{UQ)UR V, U, U, R c V~(U{U|R)UR V, U, U, S c V~U~USUR V, U, U, W c V~(UU{W)UR V, U, U, X c (V{U|U)~XUR V, U, V, Q c V{(U{Q)~VUR V, U, V, R c V~U{V~RUR V, U, V, S c V~(U{V|S)UR V, U, V, W c (V|U{W)~VUR V, U, V, X c (V|U)~(V~X)UR V, U, W, P c V{(U{P)~WUR V, U, W, R c (V{U{W)~RUR V, U, W, S c V{(U{W)~SUR V, U, W, T c V~(U{W|T)UR V, U, W, U c V~(UU{W)UR V, U, W, V c (V|U{W)~VUR V, U, W, W c V{U~W{WUR V, U, W, X c (U{W|V)~XUR V, U, X, O c (V{U~O)~XUR V, U, X, P c X(P|UV)UR V, U, X, Q c V{U~X{QUR V, U, X, R c V~(U{XR)UR V, U, X, T c V~(U|T)~XUR V, U, X, U c V~(U{X|U)UR V, U, X, V c (V|U)~(X~V)UR V, U, X, W c (U{W|V)~XUR V, V, O, Q c V~(V{O{Q)UR V, V, O, W c V{(V{O)~WUR V, V, O, X c (V{V~O)~XUR V, V, P, P c V~(V{P{P)UR V, V, P, Q c V~(V{P~Q)UR V, V, P, R c V~(V|P{R)UR V, V, P, V c V{(V{P)~VUR V, V, P, W c V{V~P~WUR V, V, P, X c V{V~(X|P)UR V, V, Q, O c V~(V{Q){OUR V, V, Q, P c V~(V{Q)~PUR V, V, Q, R c (V{V~Q)~RUR V, V, Q, S c V{V~Q~SUR V, V, Q, T c V~(V~Q|T)UR V, V, Q, U c V{V~(Q{U)UR V, V, Q, V c V~V{Q~VUR V, V, Q, W c V~(Q{W)|VUR V, V, Q, X c (V{V)Q~XUR V, V, R, P c V~(V{R|P)UR V, V, R, Q c (V{V~Q)~RUR V, V, R, S c V~(V|S)~RUR V, V, R, T c V{V~(R{T)UR V, V, R, U c V~(V{UR)UR V, V, R, V c V~(V{R)|VUR V, V, S, Q c V{V~S~QUR V, V, S, R c V~(V|S)~RUR V, V, S, S c V{V~(S{S)UR V, V, S, T c V~S{V~TUR V, V, S, U c V~(V|S{U)UR V, V, S, V c (V{V)~S{VUR V, V, S, W c V~(V{WS)UR V, V, T, Q c V~(V~Q|T)UR V, V, T, R c V{V~(T{R)UR V, V, T, S c V~T{V~SUR V, V, T, T c V~(T{T)|VUR V, V, T, V c (V{V|T)~VUR V, V, T, X c V~V{T{XUR V, V, U, Q c V{V~(U{Q)UR V, V, U, R c V~(V{UR)UR V, V, U, S c V~(V{U|S)UR V, V, U, W c V~V{U{WUR V, V, U, X c V~(V|U)~XUR V, V, V, P c V{V~(V{P)UR V, V, V, Q c V~V{V~QUR V, V, V, R c (V{V{V)~RUR V, V, V, S c V{(V{V)~SUR V, V, V, T c V~(V{V|T)UR V, V, V, V c V{V{V~VUR V, V, V, W c V~(VV{W)UR V, V, V, X c (V{V|V)~XUR V, V, W, O c V{V~W{OUR V, V, W, P c V{V~W~PUR V, V, W, Q c V~(W{Q)|VUR V, V, W, S c V~(V{WS)UR V, V, W, U c V~V{W{UUR V, V, W, V c (VV{W)~VUR V, V, W, W c (V{VW)~WUR V, V, W, X c V~(W|V)~XUR V, V, X, O c (V{V~O)~XUR V, V, X, P c V{V~(X|P)UR V, V, X, Q c (V{V)~(XQ)UR V, V, X, T c V~V{X{TUR V, V, X, U c V~(V|U)~XUR V, V, X, V c V{V~X|VUR V, V, X, W c (V~X)~(W|V)UR V, W, O, P c V~(W{O{P)UR V, W, O, V c V{(W{O)~VUR V, W, O, X c (V{W~O)~XUR V, W, P, O c V~(W{P){OUR V, W, P, P c V~(W{P)~PUR V, W, P, Q c V~(W|P{Q)UR V, W, P, U c V{W~(P{U)UR V, W, P, V c V{W~P~VUR V, W, P, W c V{(W|P)~WUR V, W, P, X c V(P|WX)UR V, W, Q, P c V~(W{Q|P)UR V, W, Q, Q c V~(W{QQ)UR V, W, Q, R c V~(W|Q{R)UR V, W, Q, T c V{W~(Q{T)UR V, W, Q, V c V~(W{Q)|VUR V, W, Q, X c V~W|Q{XUR V, W, R, Q c V~(W{R|Q)UR V, W, R, R c V~(W{RR)UR V, W, R, S c V{W~(R{S)UR V, W, R, T c V~(W|T)~RUR V, W, R, U c (V{W{U)~RUR V, W, S, R c (V{W)~S{RUR V, W, S, S c V~(W{SS)UR V, W, S, T c V~(W|S{T)UR V, W, S, U c V{(W{U)~SUR V, W, S, V c (V{WS)~VUR V, W, T, Q c V{W~(T{Q)UR V, W, T, R c V~(W|T)~RUR V, W, T, S c V~(W{T|S)UR V, W, T, T c V~(W{TT)UR V, W, T, U c V~(W|T{U)UR V, W, U, P c V{W~(U{P)UR V, W, U, R c (V{W{U)~RUR V, W, U, S c V{(W{U)~SUR V, W, U, T c V~(W{U|T)UR V, W, U, U c V~(W{UU)UR V, W, U, V c (V{W|U)~VUR V, W, U, W c V{W{U~WUR V, W, U, X c (W|V{U)~XUR V, W, V, O c V{W~V{OUR V, W, V, P c V{W~V~PUR V, W, V, Q c V~(W{Q)|VUR V, W, V, S c (V{WS)~VUR V, W, V, U c V~(W{V|U)UR V, W, V, V c V~(W{VV)UR V, W, V, W c V~(W|V{W)UR V, W, V, X c V~(W|V)~XUR V, W, W, P c V{W~(W|P)UR V, W, W, U c V{W{W~UUR V, W, W, V c V~(W{W|V)UR V, W, W, W c V{W~W|WUR V, W, W, X c (V{W|W)~XUR V, W, X, O c (V{W~O)~XUR V, W, X, P c V(P|WX)UR V, W, X, Q c V{W~(X|Q)UR V, W, X, U c (W|V{U)~XUR V, W, X, V c V~(W|V)~XUR V, W, X, W c V~(W{X|W)UR V, W, X, X c V~(W{XX)UR V, X, O, O c V~X{O{OUR V, X, O, P c V~X{O~PUR V, X, O, Q c V~X{O~QUR V, X, O, R c V~X{O~RUR V, X, O, S c V~X{O~SUR V, X, O, T c V~X{O~TUR V, X, O, U c V~X{O~UUR V, X, O, V c V~X{O~VUR V, X, O, W c V~X{O~WUR V, X, O, X c (V{X~O)~XUR V, X, P, O c V~X{P~OUR V, X, P, P c V~X{P|PUR V, X, P, Q c (V~X)~(Q|P)UR V, X, P, S c (V{X)~S|PUR V, X, P, U c X(P|UV)UR V, X, P, V c V{(X|P)~VUR V, X, P, W c V(P|WX)UR V, X, P, X c (V{P)~X|XUR V, X, Q, O c V~X{Q~OUR V, X, Q, P c (V~X)~(Q|P)UR V, X, Q, Q c V~X{Q|QUR V, X, Q, R c (V~X)~(R|Q)UR V, X, Q, U c V{X~U{QUR V, X, Q, V c (V~Q|V)~XUR V, X, Q, W c V{(X|Q)~WUR V, X, Q, X c V~(X~Q|X)UR V, X, R, O c V~X{R~OUR V, X, R, Q c (V~X)~(R|Q)UR V, X, R, R c V~X{R|RUR V, X, R, S c (V~X)~(S|R)UR V, X, R, T c (V{X{T)~RUR V, X, R, U c V~(XR{U)UR V, X, S, O c V~X{S~OUR V, X, S, P c (V{X)~S|PUR V, X, S, R c (V~X)~(S|R)UR V, X, S, S c V~X{S|SUR V, X, S, T c V{(X{T)~SUR V, X, T, O c V~X{T~OUR V, X, T, R c (V{X{T)~RUR V, X, T, S c V{(X{T)~SUR V, X, T, T c V~X{T|TUR V, X, T, U c (V~X)~(U|T)UR V, X, T, V c V~V{X{TUR V, X, T, X c (X|V{T)~XUR V, X, U, O c V~X{U~OUR V, X, U, P c X(P|UV)UR V, X, U, Q c V{X~U{QUR V, X, U, R c V~(X|U)~RUR V, X, U, T c (V~X)~(U|T)UR V, X, U, U c V~X{U|UUR V, X, U, V c (V~X)~(V|U)UR V, X, U, W c X~(U{W|V)UR V, X, V, O c V~X{V~OUR V, X, V, P c V{(X|P)~VUR V, X, V, Q c (V{V)~(XQ)UR V, X, V, T c V~V{X{TUR V, X, V, U c (V~X)~(V|U)UR V, X, V, V c (V{X|V)~VUR V, X, V, W c (V~X)~(W|V)UR V, X, W, O c V~X{W~OUR V, X, W, P c V(P|WX)UR V, X, W, Q c V{(X|Q)~WUR V, X, W, U c X~(W|V{U)UR V, X, W, V c (V~X)~(W|V)UR V, X, W, W c V~X{W|WUR V, X, W, X c V~(X|W)~XUR V, X, X, O c V~X{X~OUR V, X, X, P c (V{P)~X|XUR V, X, X, Q c V~(X{X)QUR V, X, X, T c (X|V{T)~XUR V, X, X, W c (V~X)~(X|W)UR V, X, X, X c (V{X|X)~XUR W, O, P, V c (W{O{P)~VUR W, O, P, W c (W{O)~W|PUR W, O, P, X c (W{O|P)~XUR W, O, V, P c (W{O{P)~VUR W, O, V, V c (W{O)~V{VUR W, O, V, X c W~O{V~XUR W, O, W, P c (W{O)~W|PUR W, O, X, P c (W{O|P)~XUR W, O, X, V c W~O{X~VUR W, O, X, X c (W{O)~X|XUR W, P, O, V c (W{P{O)~VUR W, P, O, W c (W{O)~W|PUR W, P, O, X c (W|P{O)~XUR W, P, P, U c (W{P)~(P{U)UR W, P, P, V c (W{P)~(P~V)UR W, P, P, W c (W|P)~(P{W)UR W, P, P, X c (W|P)~(P~X)UR W, P, Q, S c W~Q~S|PUR W, P, Q, T c (W{P)~(Q{T)UR W, P, Q, U c W~(Q{U)|PUR W, P, Q, V c (W|P{Q)~VUR W, P, Q, W c W~W{P|QUR W, P, Q, X c (W{P|Q)~XUR W, P, R, R c (W|P)~(R~R)UR W, P, R, S c (W{P)~(R{S)UR W, P, R, T c W~(R{T)|PUR W, P, R, U c (W|P)~(R{U)UR W, P, S, Q c W~S~Q|PUR W, P, S, R c (W{P)~(S{R)UR W, P, S, S c W~(S{S)|PUR W, P, S, T c (W|P)~(S{T)UR W, P, S, W c (W{W)~S|PUR W, P, T, Q c (W{P)~(T{Q)UR W, P, T, R c W~(T{R)|PUR W, P, T, S c (W|P)~(T{S)UR W, P, U, P c (W{P)~(U{P)UR W, P, U, Q c W~(U{Q)|PUR W, P, U, R c (W|P)~(U{R)UR W, P, U, V c W~(P{U){VUR W, P, U, X c W{P{U~XUR W, P, V, O c (W{P)~(V{O)UR W, P, V, P c (W{P)~(V~P)UR W, P, V, Q c (W|P)~(V{Q)UR W, P, V, U c W~(P{U){VUR W, P, V, V c W~P~V{VUR W, P, V, W c W|P{V~WUR W, P, V, X c V(P|WX)UR W, P, W, O c W~W|P{OUR W, P, W, P c (W{P)~(W|P)UR W, P, W, Q c W~W{P|QUR W, P, W, S c (W{W)~S|PUR W, P, W, V c W|P{W~VUR W, P, W, W c (W|PW)~WUR W, P, W, X c (W{P)~W|XUR W, P, X, O c (W|P)~(X{O)UR W, P, X, P c (W|P)~(X~P)UR W, P, X, Q c (W{P)~(X|Q)UR W, P, X, U c W{P{X~UUR W, P, X, V c X(WV|P)UR W, P, X, W c (W{P)~W|XUR W, P, X, X c W~P~X|XUR W, Q, P, S c W~Q~S|PUR W, Q, P, T c (W{P)~(Q{T)UR W, Q, P, U c W~(Q{U)|PUR W, Q, P, V c (W{Q|P)~VUR W, Q, P, W c W~W|Q{PUR W, Q, P, X c (W|Q{P)~XUR W, Q, Q, V c (W{QQ)~VUR W, Q, Q, W c W~W|QQUR W, Q, Q, X c (W|QQ)~XUR W, Q, R, T c (W~Q{T)~RUR W, Q, R, U c (W{Q)~U{RUR W, Q, R, V c (W|Q{R)~VUR W, Q, R, W c W~W{Q|RUR W, Q, R, X c (W{Q|R)~XUR W, Q, S, P c W~Q~S|PUR W, Q, T, P c (W{P)~(Q{T)UR W, Q, T, R c (W~Q{T)~RUR W, Q, T, T c (W{T)~T|QUR W, Q, T, U c (W{TQ)~UUR W, Q, T, V c W~(Q{T){VUR W, Q, T, X c W{(Q{X)~TUR W, Q, U, P c W~(Q{U)|PUR W, Q, U, R c (W{Q)~U{RUR W, Q, U, T c (W{TQ)~UUR W, Q, U, X c (W{U)Q~XUR W, Q, V, P c (W{Q|P)~VUR W, Q, V, Q c (W{QQ)~VUR W, Q, V, R c (W|Q{R)~VUR W, Q, V, T c W~(Q{T){VUR W, Q, V, V c (W{Q)~V|VUR W, Q, V, X c W~(Q{V)|XUR W, Q, W, P c W~W|Q{PUR W, Q, W, Q c W~W|QQUR W, Q, W, R c W~W{Q|RUR W, Q, X, P c (W|Q{P)~XUR W, Q, X, Q c (W|QQ)~XUR W, Q, X, R c (W{Q|R)~XUR W, Q, X, T c W{(Q{X)~TUR W, Q, X, U c (W{U)Q~XUR W, Q, X, V c W~(Q{V)|XUR W, Q, X, X c (W|Q)~X{XUR W, R, P, R c (W|P)~(R~R)UR W, R, P, S c (W{P)~(R{S)UR W, R, P, T c W~(R{T)|PUR W, R, P, U c (W|P)~(R{U)UR W, R, Q, T c (W~Q{T)~RUR W, R, Q, U c (W{Q)~U{RUR W, R, Q, V c (W{R|Q)~VUR W, R, Q, W c W~W|R{QUR W, R, Q, X c (W|R{Q)~XUR W, R, R, P c (W|P)~(R~R)UR W, R, R, R c (W~R|R)~RUR W, R, R, U c (W{R)~U|RUR W, R, R, V c (W{RR)~VUR W, R, R, W c W~W|RRUR W, R, R, X c (W|RR)~XUR W, R, S, P c (W{P)~(R{S)UR W, R, S, T c (W{S)~T{RUR W, R, S, V c (W|R{S)~VUR W, R, S, W c W~W{R|SUR W, R, S, X c (W{R|S)~XUR W, R, T, P c W~(R{T)|PUR W, R, T, Q c (W~Q{T)~RUR W, R, T, S c (W{S)~T{RUR W, R, T, U c W~U{R~TUR W, R, T, V c (W|T)~(R~V)UR W, R, T, W c (W{R)~T{WUR W, R, T, X c (R~T|W)~XUR W, R, U, P c (W|P)~(R{U)UR W, R, U, Q c (W{Q)~U{RUR W, R, U, R c (W{R)~U|RUR W, R, U, T c W~U{R~TUR W, R, U, V c (W{U{V)~RUR W, R, U, X c W~(R{U)|XUR W, R, V, Q c (W{R|Q)~VUR W, R, V, R c (W{RR)~VUR W, R, V, S c (W|R{S)~VUR W, R, V, T c (W|T)~(R~V)UR W, R, V, U c (W{V{U)~RUR W, R, W, Q c W~W|R{QUR W, R, W, R c W~W|RRUR W, R, W, S c W~W{R|SUR W, R, W, T c W{(R{W)~TUR W, R, X, Q c (W|R{Q)~XUR W, R, X, R c (W|RR)~XUR W, R, X, S c (W{R|S)~XUR W, R, X, T c (R~T|W)~XUR W, R, X, U c W~(R{U)|XUR W, S, P, Q c W~S~Q|PUR W, S, P, R c (W{P)~(S{R)UR W, S, P, S c W~(S{S)|PUR W, S, P, T c (W|P)~(S{T)UR W, S, P, W c (W{W)~S|PUR W, S, Q, P c W~S~Q|PUR W, S, R, P c (W{P)~(S{R)UR W, S, R, T c (W{S)~T{RUR W, S, R, V c (W{S|R)~VUR W, S, R, W c W~W|S{RUR W, S, R, X c (W|S{R)~XUR W, S, S, P c W~(S{S)|PUR W, S, S, V c (W{SS)~VUR W, S, S, W c W~W|SSUR W, S, S, X c (W|SS)~XUR W, S, T, P c (W|P)~(S{T)UR W, S, T, R c (W{S)~T{RUR W, S, T, V c (W|S{T)~VUR W, S, T, W c W~W{S|TUR W, S, T, X c (W{S|T)~XUR W, S, U, V c (W{U)~S{VUR W, S, U, X c (W{S)~U|XUR W, S, V, R c (W{S|R)~VUR W, S, V, S c (W{SS)~VUR W, S, V, T c W{(S{V)~TUR W, S, V, U c (W{U)~S{VUR W, S, V, V c (WS{V)~VUR W, S, W, P c (W{W)~S|PUR W, S, W, R c W~W|S{RUR W, S, W, S c W~W|SSUR W, S, W, T c W~W{S|TUR W, S, X, R c (W{S{X)~RUR W, S, X, S c (W|SS)~XUR W, S, X, T c (W{S|T)~XUR W, S, X, U c (W{S)~U|XUR W, S, X, X c (X|WS)~XUR W, T, P, Q c (W{P)~(T{Q)UR W, T, P, R c W~(T{R)|PUR W, T, P, S c (W|P)~(T{S)UR W, T, Q, P c (W{P)~(T{Q)UR W, T, Q, R c (W~Q{T)~RUR W, T, Q, T c (W{T)~T|QUR W, T, Q, U c (W{TQ)~UUR W, T, Q, V c W~(T{Q){VUR W, T, Q, X c W{T~(Q{X)UR W, T, R, P c W~(T{R)|PUR W, T, R, Q c (W~Q{T)~RUR W, T, R, S c (W{S)~T{RUR W, T, R, U c W~U{T~RUR W, T, R, V c (W|T)~(R~V)UR W, T, R, W c W{T~(R{W)UR W, T, R, X c (T~R|W)~XUR W, T, S, P c (W|P)~(T{S)UR W, T, S, R c (W{S)~T{RUR W, T, S, V c (W{T|S)~VUR W, T, S, W c W~W|T{SUR W, T, S, X c (W|T{S)~XUR W, T, T, Q c (W{T)~T|QUR W, T, T, U c W{T~(T{U)UR W, T, T, V c (W{TT)~VUR W, T, T, W c W~W|TTUR W, T, T, X c (W|TT)~XUR W, T, U, Q c (W{TQ)~UUR W, T, U, R c W~U{T~RUR W, T, U, T c W{(T{U)~TUR W, T, U, V c (W|T{U)~VUR W, T, U, W c W~W{T|UUR W, T, U, X c (W{T|U)~XUR W, T, V, Q c W~(T{Q){VUR W, T, V, R c (W|T)~(V~R)UR W, T, V, S c W{T~(V{S)UR W, T, V, T c (W{TT)~VUR W, T, V, U c (W|T{U)~VUR W, T, W, R c (W{T{W)~RUR W, T, W, S c W~W|T{SUR W, T, W, T c W~W|TTUR W, T, W, U c W~W{T|UUR W, T, X, Q c W{T~(X{Q)UR W, T, X, R c (T~R|W)~XUR W, T, X, S c (W|T{S)~XUR W, T, X, T c (W|TT)~XUR W, T, X, U c (W{T|U)~XUR W, U, P, P c (W{P)~(U{P)UR W, U, P, Q c W~(U{Q)|PUR W, U, P, R c (W|P)~(U{R)UR W, U, P, V c W~(U{P){VUR W, U, P, X c W{U~X{PUR W, U, Q, P c W~(U{Q)|PUR W, U, Q, R c (W{Q)~U{RUR W, U, Q, T c (W{TQ)~UUR W, U, Q, X c (W{U)Q~XUR W, U, R, P c (W|P)~(U{R)UR W, U, R, Q c (W{Q)~U{RUR W, U, R, R c (W{R)~U|RUR W, U, R, T c W~U{R~TUR W, U, R, V c (W{U{V)~RUR W, U, R, X c W~(U{R)|XUR W, U, S, V c (W{U)~S{VUR W, U, S, X c (W{S)~U|XUR W, U, T, Q c (W{TQ)~UUR W, U, T, R c W~U{T~RUR W, U, T, T c W{(U{T)~TUR W, U, T, V c (W{U|T)~VUR W, U, T, W c W~W|U{TUR W, U, T, X c (W|U{T)~XUR W, U, U, V c (W{UU)~VUR W, U, U, W c W~W|UUUR W, U, U, X c (W|UU)~XUR W, U, V, P c W~(U{P){VUR W, U, V, R c (W{U{V)~RUR W, U, V, S c (W{U)~S{VUR W, U, V, T c (W{U|T)~VUR W, U, V, U c (W{UU)~VUR W, U, V, V c W{U{V~VUR W, U, V, W c W~U{V{WUR W, U, V, X c (W{U|V)~XUR W, U, W, T c W~W|U{TUR W, U, W, U c W~W|UUUR W, U, W, V c W{U~W{VUR W, U, W, X c (WW{U)~XUR W, U, X, P c W{U~X{PUR W, U, X, Q c (W{U)~(XQ)UR W, U, X, R c W~(U{R)|XUR W, U, X, S c (W{S)~U|XUR W, U, X, T c (W|U{T)~XUR W, U, X, U c W~U{X{UUR W, U, X, V c (W{U|V)~XUR W, U, X, W c (WW{U)~XUR W, U, X, X c (U{X|W)~XUR W, V, O, P c (W{O{P)~VUR W, V, O, V c W~V{O{VUR W, V, O, X c W~O{V~XUR W, V, P, O c (W{P)~(V{O)UR W, V, P, P c W~(V{P)|PUR W, V, P, Q c (W|P)~(V{Q)UR W, V, P, U c W~V{P{UUR W, V, P, V c W~V{P~VUR W, V, P, W c W~V|P{WUR W, V, P, X c V(P|WX)UR W, V, Q, P c (W{Q|P)~VUR W, V, Q, Q c (W{QQ)~VUR W, V, Q, R c (W|Q{R)~VUR W, V, Q, T c W~V{Q{TUR W, V, Q, V c (W{Q)~V|VUR W, V, Q, X c W~(V{Q)|XUR W, V, R, Q c (W{R|Q)~VUR W, V, R, R c (W{RR)~VUR W, V, R, S c W~V{R{SUR W, V, R, T c (W|T)~(V~R)UR W, V, R, U c (W{V{U)~RUR W, V, S, R c (W{V)~S{RUR W, V, S, S c (W{SS)~VUR W, V, S, T c W{(V{S)~TUR W, V, S, U c (W{U)~S{VUR W, V, S, V c (WS{V)~VUR W, V, T, Q c W~V{T{QUR W, V, T, R c (W|T)~(V~R)UR W, V, T, S c W{(V{S)~TUR W, V, T, T c (W{TT)~VUR W, V, T, U c (W|T{U)~VUR W, V, U, P c W~V{U{PUR W, V, U, R c (W{V{U)~RUR W, V, U, S c (W{U)~S{VUR W, V, U, T c (W{U|T)~VUR W, V, U, U c (W{UU)~VUR W, V, U, V c (W{V|U)~VUR W, V, U, W c W{V{U~WUR W, V, U, X c (W|V{U)~XUR W, V, V, O c W~V{V{OUR W, V, V, P c W~V{V~PUR W, V, V, Q c (W{Q)~V|VUR W, V, V, S c (WS{V)~VUR W, V, V, U c W{V~V{UUR W, V, V, V c (W{VV)~VUR W, V, V, W c W~(V{VW)UR W, V, V, X c (W|V)~(V~X)UR W, V, W, P c W{V~W|PUR W, V, W, U c W{V{W~UUR W, V, W, V c (W|V{W)~VUR W, V, W, W c W~W{V|WUR W, V, W, X c (W{V|W)~XUR W, V, X, O c W~O{V~XUR W, V, X, P c V(P|WX)UR W, V, X, Q c W~V{X|QUR W, V, X, U c (W|V{U)~XUR W, V, X, V c (W|V)~(X~V)UR W, V, X, W c W{V~X|WUR W, V, X, X c (W{XX)~VUR W, W, O, P c W~W{O|PUR W, W, P, O c W~W|P{OUR W, W, P, P c W~W|P~PUR W, W, P, Q c W~W{P|QUR W, W, P, S c (W{W)~S|PUR W, W, P, V c W~(W|P){VUR W, W, P, W c W~(W|PW)UR W, W, P, X c W~(W{P)|XUR W, W, Q, P c W~W|Q{PUR W, W, Q, Q c W~W|QQUR W, W, Q, R c W~W{Q|RUR W, W, R, Q c W~W|R{QUR W, W, R, R c W~W|RRUR W, W, R, S c W~W{R|SUR W, W, R, T c W{(W{R)~TUR W, W, S, P c (W{W)~S|PUR W, W, S, R c W~W|S{RUR W, W, S, S c W~W|SSUR W, W, S, T c W~W{S|TUR W, W, T, R c (W{W{T)~RUR W, W, T, S c W~W|T{SUR W, W, T, T c W~W|TTUR W, W, T, U c W~W{T|UUR W, W, U, T c W~W|U{TUR W, W, U, U c W~W|UUUR W, W, U, V c W{W~U{VUR W, W, U, X c (WW{U)~XUR W, W, V, P c W{W~V|PUR W, W, V, U c W~W|V{UUR W, W, V, V c (W{W|V)~VUR W, W, V, W c W~W{V|WUR W, W, V, X c W|W{V~XUR W, W, W, P c W~(W|PW)UR W, W, W, V c (W{WW)~VUR W, W, W, W c W~W|WWUR W, W, W, X c W{W~W|XUR W, W, X, P c W~(W{P)|XUR W, W, X, U c (WW{U)~XUR W, W, X, V c W|W{X~VUR W, W, X, W c W~W|X{WUR W, W, X, X c (W{W|X)~XUR W, X, O, P c (W{O|P)~XUR W, X, O, V c W~O{X~VUR W, X, O, X c W~X{O|XUR W, X, P, O c (W|P)~(X{O)UR W, X, P, P c W~(X|P)|PUR W, X, P, Q c (W{P)~(X|Q)UR W, X, P, U c W{X~U{PUR W, X, P, V c X(WV|P)UR W, X, P, W c (W~X)|(P{W)UR W, X, P, X c W~X|P~XUR W, X, Q, P c (W|Q{P)~XUR W, X, Q, Q c (W|QQ)~XUR W, X, Q, R c (W{Q|R)~XUR W, X, Q, T c W{(X{Q)~TUR W, X, Q, U c (W{U)~(XQ)UR W, X, Q, V c (W~X)|(Q{V)UR W, X, Q, X c (W|Q)~X{XUR W, X, R, Q c (W|R{Q)~XUR W, X, R, R c W~X|R~RUR W, X, R, S c (W{X{S)~RUR W, X, R, T c X~(R~T|W)UR W, X, R, U c (W~X)|(R{U)UR W, X, S, R c (W{X{S)~RUR W, X, S, S c (W|SS)~XUR W, X, S, T c (W{X)~S|TUR W, X, S, U c (W{S)~U|XUR W, X, S, X c (X|WS)~XUR W, X, T, Q c W{(X{Q)~TUR W, X, T, R c X~(T~R|W)UR W, X, T, S c (W~X)|(T{S)UR W, X, T, T c (W|TT)~XUR W, X, T, U c (W{T|U)~XUR W, X, U, P c W{X~U{PUR W, X, U, Q c (W{U)~(XQ)UR W, X, U, R c (W~X)|(U{R)UR W, X, U, S c (W{S)~U|XUR W, X, U, T c (W|U{T)~XUR W, X, U, U c W~U{X{UUR W, X, U, V c (W{U|V)~XUR W, X, U, W c (WW{U)~XUR W, X, U, X c (X|W{U)~XUR W, X, V, O c W~O{X~VUR W, X, V, P c X(WV|P)UR W, X, V, Q c (W~X)|(V{Q)UR W, X, V, U c (W|V{U)~XUR W, X, V, V c (W|V)~(X~V)UR W, X, V, W c W{X~V|WUR W, X, V, X c (W{XX)~VUR W, X, W, P c (W~X)|(W{P)UR W, X, W, U c (WW{U)~XUR W, X, W, V c (W{X|W)~VUR W, X, W, W c W~W|X{WUR W, X, W, X c W~(X|XW)UR W, X, X, O c W~X|X{OUR W, X, X, P c W~X|X~PUR W, X, X, Q c (W|Q)~X{XUR W, X, X, S c (X|WS)~XUR W, X, X, U c (X|W{U)~XUR W, X, X, V c (W{XX)~VUR W, X, X, W c W~(X|XW)UR W, X, X, X c (W|XX)~XUR X, O, O, V c (X{O{O)~VUR X, O, P, U c (X{O)~(P{U)UR X, O, P, V c (X{O)~(P~V)UR X, O, P, W c (X{O)~(W|P)UR X, O, Q, T c (X{O)~(Q{T)UR X, O, Q, V c (X{O~Q)~VUR X, O, Q, X c (X{O|Q)~XUR X, O, R, S c (X{O)~(R{S)UR X, O, R, V c (X{O~R)~VUR X, O, S, R c (X{O)~(S{R)UR X, O, S, V c (X{O~S)~VUR X, O, T, Q c (X{O)~(T{Q)UR X, O, T, V c (X{O~T)~VUR X, O, U, P c (X{O)~(U{P)UR X, O, U, V c (X{O~U)~VUR X, O, U, X c X{O{U~XUR X, O, V, O c (X{O)~(V{O)UR X, O, V, P c (X{O)~(V~P)UR X, O, V, Q c (X{O~Q)~VUR X, O, V, R c (X{O~R)~VUR X, O, V, S c (X{O~S)~VUR X, O, V, T c (X{O~T)~VUR X, O, V, U c (X{O~U)~VUR X, O, V, V c (X{O~V)~VUR X, O, V, W c (X{O~W)~VUR X, O, V, X c X~O{V~XUR X, O, W, P c (X{O)~(W|P)UR X, O, W, V c (X{O~W)~VUR X, O, W, X c (X{O)~W|XUR X, O, X, Q c (X{O)~(X|Q)UR X, O, X, U c X{O{X~UUR X, O, X, V c (X{O~X)~VUR X, O, X, W c (X{O)~W|XUR X, P, O, U c X~(P{O{U)UR X, P, O, V c (X{P~O)~VUR X, P, O, W c (X{O)~(W|P)UR X, P, P, T c X~(P{P{T)UR X, P, P, U c X~(P{P~U)UR X, P, P, V c (X{P|P)~VUR X, P, P, W c (X|P)~W|PUR X, P, P, X c (X|P|P)~XUR X, P, Q, R c X~(P{Q~R)UR X, P, Q, S c X~(P{Q{S)UR X, P, Q, T c (X~P)~(Q{T)UR X, P, Q, U c X~(Q|P{U)UR X, P, Q, V c X~(Q|P)~VUR X, P, Q, W c X~(P{W|Q)UR X, P, Q, X c (X|P~Q)~XUR X, P, R, Q c X~(P{R~Q)UR X, P, R, R c X~(P{R{R)UR X, P, R, S c (X~P)~(R{S)UR X, P, R, T c X~(R|P{T)UR X, P, R, U c (X{P)~U{RUR X, P, R, X c (X{P|R)~XUR X, P, S, Q c X~(P{S{Q)UR X, P, S, R c (X~P)~(S{R)UR X, P, S, S c X~(S|P{S)UR X, P, S, V c (X{V)~S|PUR X, P, T, P c X~(P{T{P)UR X, P, T, Q c (X~P)~(T{Q)UR X, P, T, R c X~(T|P{R)UR X, P, T, X c X{(P{T)~XUR X, P, U, O c X~(P{U){OUR X, P, U, P c X~(P{U)~PUR X, P, U, Q c X~(U|P{Q)UR X, P, U, R c (X{P)~U{RUR X, P, U, V c X(P|UV)UR X, P, U, W c X{(P{W)~UUR X, P, U, X c X{P~U~XUR X, P, V, O c X~P~V{OUR X, P, V, P c X~(P{V|P)UR X, P, V, Q c (X~V)~(Q|P)UR X, P, V, S c (X{V)~S|PUR X, P, V, U c X(P|UV)UR X, P, V, V c (X{P)~V|VUR X, P, V, W c X(WV|P)UR X, P, V, X c X~(P{V)|XUR X, P, W, O c X~(W|P){OUR X, P, W, P c (X|P)~W|PUR X, P, W, Q c X~(P{W|Q)UR X, P, W, U c X{(P{W)~UUR X, P, W, V c X(WV|P)UR X, P, W, W c (X~W)|(P{W)UR X, P, W, X c X~P~W|XUR X, P, X, P c (X|P|P)~XUR X, P, X, Q c (X~P)~(X|Q)UR X, P, X, R c X~(P{X|R)UR X, P, X, T c X{(P{T)~XUR X, P, X, U c X{P~X~UUR X, P, X, V c X~(P{V)|XUR X, P, X, W c X~P~W|XUR X, P, X, X c (X|P)~X|XUR X, Q, O, T c X~(Q{O{T)UR X, Q, O, V c (X{Q~O)~VUR X, Q, O, X c (X|Q{O)~XUR X, Q, P, R c X~(Q~R{P)UR X, Q, P, S c X~(Q{P{S)UR X, Q, P, T c X~(Q{P~T)UR X, Q, P, U c X~(Q|P{U)UR X, Q, P, V c X~(Q|P)~VUR X, Q, P, W c (X|Q)~(P{W)UR X, Q, P, X c (X|Q)~(P~X)UR X, Q, Q, R c X~(Q{Q{R)UR X, Q, Q, U c X~(QQ{U)UR X, Q, Q, V c (X{Q|Q)~VUR X, Q, Q, W c X~(W|QQ)UR X, Q, R, P c X~(Q~R{P)UR X, Q, R, Q c X~(Q{R{Q)UR X, Q, R, R c (X|Q)~(R~R)UR X, Q, R, T c X~(Q~T|R)UR X, Q, R, U c (X|Q)~(R{U)UR X, Q, R, V c X~(R|Q)~VUR X, Q, R, W c X~(Q{W|R)UR X, Q, R, X c X{Q~R~XUR X, Q, S, P c X~(Q{S{P)UR X, Q, S, T c (X|Q)~(S{T)UR X, Q, S, U c X~(S{UQ)UR X, Q, S, X c X{(Q{S)~XUR X, Q, T, O c X~(Q{T){OUR X, Q, T, P c X~(Q{T)~PUR X, Q, T, R c X~(Q~T|R)UR X, Q, T, S c (X|Q)~(T{S)UR X, Q, T, U c X~(Q~U|T)UR X, Q, T, W c (X{Q)~T{WUR X, Q, T, X c X~Q{T~XUR X, Q, U, P c X~(Q{U|P)UR X, Q, U, Q c X~(QQ{U)UR X, Q, U, R c (X{Q)~U|RUR X, Q, U, S c X~(UQ{S)UR X, Q, U, T c X~(Q~U|T)UR X, Q, U, U c (XQ{U)~UUR X, Q, U, V c X{(Q{V)~UUR X, Q, U, W c (XQ)~(U{W)UR X, Q, U, X c X~(Q{U)|XUR X, Q, V, O c (X{Q~O)~VUR X, Q, V, P c X~(Q|P)~VUR X, Q, V, Q c (X|Q)~(V{Q)UR X, Q, V, R c (X~V)~(R|Q)UR X, Q, V, U c X{(Q{V)~UUR X, Q, V, V c X~(Q~V|V)UR X, Q, V, W c X|Q{V~WUR X, Q, V, X c (X~Q|X)~VUR X, Q, W, P c (X|Q)~(W{P)UR X, Q, W, Q c X~(W|QQ)UR X, Q, W, R c X~(Q{W|R)UR X, Q, W, T c (X{Q)~T{WUR X, Q, W, U c (XQ)~(W{U)UR X, Q, W, V c X|Q{W~VUR X, Q, W, X c X~(Q~W|X)UR X, Q, X, O c (X|Q)~(X{O)UR X, Q, X, P c (X|Q)~(X~P)UR X, Q, X, R c X{Q~X~RUR X, Q, X, S c X~(Q{X|S)UR X, Q, X, T c X~Q{X~TUR X, Q, X, U c X~(Q{U)|XUR X, Q, X, V c (X~Q|X)~VUR X, Q, X, W c X~(Q~W|X)UR X, Q, X, X c X~X|Q~XUR X, R, O, S c X~(R{O{S)UR X, R, O, V c (X{R~O)~VUR X, R, P, Q c X~(R~Q{P)UR X, R, P, R c X~(R{P{R)UR X, R, P, S c X~(R{P~S)UR X, R, P, T c X~(R|P{T)UR X, R, P, U c (X{P)~U{RUR X, R, P, X c (X|R{P)~XUR X, R, Q, P c X~(R~Q{P)UR X, R, Q, Q c X~(R{Q{Q)UR X, R, Q, R c X~(R~R|Q)UR X, R, Q, T c X~(Q~T|R)UR X, R, Q, U c (X{RQ)~UUR X, R, Q, V c X~(R|Q)~VUR X, R, Q, W c X~(R{WQ)UR X, R, Q, X c X{R~Q~XUR X, R, R, P c X~(R{R{P)UR X, R, R, Q c X~(R~R|Q)UR X, R, R, S c (X{R~S)~RUR X, R, R, T c (X{R)~T{RUR X, R, R, U c X{R~R~UUR X, R, R, V c (X{R|R)~VUR X, R, R, W c X~W|R~RUR X, R, R, X c X{(R{R)~XUR X, R, S, O c X~(R{S){OUR X, R, S, P c X~(R{S)~PUR X, R, S, R c (X{R~S)~RUR X, R, S, T c X~(R~S|T)UR X, R, S, U c X~(S|R{U)UR X, R, S, V c X~(S|R)~VUR X, R, S, W c X~(R{W|S)UR X, R, S, X c X~R{S~XUR X, R, T, P c X~(R{T|P)UR X, R, T, Q c X~(T~Q|R)UR X, R, T, R c (X{R)~T{RUR X, R, T, S c X~(R~S|T)UR X, R, T, T c X~(T|R{T)UR X, R, T, U c X~T{R~UUR X, R, T, V c (X{T{V)~RUR X, R, T, W c X~(R~T|W)UR X, R, T, X c (X{R|T)~XUR X, R, U, P c (X{P)~U{RUR X, R, U, Q c X~(R{U|Q)UR X, R, U, R c X{R~U~RUR X, R, U, S c X~(U|R{S)UR X, R, U, T c X~(UR{T)UR X, R, U, U c X{(R{U)~UUR X, R, U, V c (XR{U)~VUR X, R, U, W c (X~W)|(R{U)UR X, R, U, X c (X{R)~U|XUR X, R, V, O c (X{R~O)~VUR X, R, V, Q c X~(R|Q)~VUR X, R, V, R c X~(R{V|R)UR X, R, V, S c (X~V)~(S|R)UR X, R, V, T c (X{V{T)~RUR X, R, V, U c (XR{U)~VUR X, R, W, Q c X~(R{WQ)UR X, R, W, R c X~W|R~RUR X, R, W, S c X~(R{W|S)UR X, R, W, T c X~(R~T|W)UR X, R, W, U c (X~W)|(R{U)UR X, R, X, P c (X|R{P)~XUR X, R, X, Q c X{R~X~QUR X, R, X, R c (X{R{X)~RUR X, R, X, S c X~R{X~SUR X, R, X, T c X~(R{X|T)UR X, R, X, U c (X{R)~U|XUR X, R, X, X c X{R~(X{X)UR X, S, O, R c X~(S{O{R)UR X, S, O, V c (X{S~O)~VUR X, S, P, Q c X~(S{P{Q)UR X, S, P, R c X~(S{P~R)UR X, S, P, S c X~(S|P{S)UR X, S, P, V c (X{V)~S|PUR X, S, Q, P c X~(S{Q{P)UR X, S, Q, T c X~(S|Q{T)UR X, S, Q, U c X~(S{UQ)UR X, S, Q, X c X{(S{Q)~XUR X, S, R, O c X~(S{R){OUR X, S, R, P c X~(S{R)~PUR X, S, R, R c (X{S~R)~RUR X, S, R, T c X~(S~R|T)UR X, S, R, U c X~(S|R{U)UR X, S, R, V c X~(S|R)~VUR X, S, R, W c (X{S{W)~RUR X, S, R, X c X~S{R~XUR X, S, S, P c X~(S{S|P)UR X, S, S, U c X~(SS{U)UR X, S, S, V c (X{S|S)~VUR X, S, S, W c X~(W|SS)UR X, S, S, X c X~(S{S)|XUR X, S, T, Q c (X{S)~T|QUR X, S, T, R c X~(S~R|T)UR X, S, T, U c X{(S{T)~UUR X, S, T, V c (X{T)~S{VUR X, S, T, W c X~(S{W|T)UR X, S, U, Q c X~(S{UQ)UR X, S, U, R c X~(S{U|R)UR X, S, U, S c X~(SS{U)UR X, S, U, T c X{(S{T)~UUR X, S, U, U c (X{US)~UUR X, S, U, W c (S{W)~U|XUR X, S, U, X c (X{S|U)~XUR X, S, V, O c (X{S~O)~VUR X, S, V, P c (X{V)~S|PUR X, S, V, R c X~(S|R)~VUR X, S, V, S c X~(S{V|S)UR X, S, V, T c (X~V)~(T|S)UR X, S, W, R c (X{S{W)~RUR X, S, W, S c X~(W|SS)UR X, S, W, T c X~(S{W|T)UR X, S, W, U c (S{W)~U|XUR X, S, W, X c (X|WS)~XUR X, S, X, Q c X{(S{Q)~XUR X, S, X, R c X~S{X~RUR X, S, X, S c X~(S{S)|XUR X, S, X, U c X~(S{X|U)UR X, S, X, W c X~(X|WS)UR X, S, X, X c (X{X)~S|XUR X, T, O, Q c X~(T{O{Q)UR X, T, O, V c (X{T~O)~VUR X, T, P, P c X~(T{P{P)UR X, T, P, Q c X~(T{P~Q)UR X, T, P, R c X~(T|P{R)UR X, T, P, X c X{(T{P)~XUR X, T, Q, O c X~(T{Q){OUR X, T, Q, P c X~(T{Q)~PUR X, T, Q, R c X~(T~Q|R)UR X, T, Q, S c X~(T|Q{S)UR X, T, Q, U c X~(Q~U|T)UR X, T, Q, W c (X{Q)~T{WUR X, T, Q, X c (X{T)Q~XUR X, T, R, P c X~(T{R|P)UR X, T, R, Q c X~(T~Q|R)UR X, T, R, R c (X{R)~T{RUR X, T, R, S c X~(R~S|T)UR X, T, R, T c X~(T|R{T)UR X, T, R, U c X~T{R~UUR X, T, R, V c (X{T{V)~RUR X, T, R, W c X~(T~R|W)UR X, T, R, X c (X|T{R)~XUR X, T, S, Q c X~(T{S|Q)UR X, T, S, R c X~(S~R|T)UR X, T, S, U c X{(T{S)~UUR X, T, S, V c (X{T)~S{VUR X, T, S, W c X~(T{WS)UR X, T, T, R c X~(T{T|R)UR X, T, T, U c X~(TT{U)UR X, T, T, V c (X{T|T)~VUR X, T, T, W c X~(W|TT)UR X, T, U, Q c X~(U~Q|T)UR X, T, U, R c X~T{U~RUR X, T, U, S c X~(T{U|S)UR X, T, U, T c X~(TT{U)UR X, T, U, U c X~(U|T{U)UR X, T, U, V c X~(U|T)~VUR X, T, U, W c X~(T{W|U)UR X, T, V, O c (X{T~O)~VUR X, T, V, R c (X{T{V)~RUR X, T, V, S c (X{T)~S{VUR X, T, V, T c X~(T{V|T)UR X, T, V, U c (X~V)~(U|T)UR X, T, V, V c X{T{V~VUR X, T, V, X c (X{T|V)~XUR X, T, W, Q c (X{Q)~T{WUR X, T, W, R c X~(T~R|W)UR X, T, W, S c X~(T{WS)UR X, T, W, T c X~(W|TT)UR X, T, W, U c X~(T{W|U)UR X, T, X, P c X{(T{P)~XUR X, T, X, Q c (X{T)~(XQ)UR X, T, X, R c (X|T{R)~XUR X, T, X, V c X~(T{X|V)UR X, T, X, X c X{T~X{XUR X, U, O, P c X~(U{O{P)UR X, U, O, V c (X{U~O)~VUR X, U, O, X c X{(U{O)~XUR X, U, P, O c X~(U{P){OUR X, U, P, P c X~(U{P)~PUR X, U, P, Q c X~(U|P{Q)UR X, U, P, R c (X{P)~U{RUR X, U, P, V c X(P|UV)UR X, U, P, W c X{U~(P{W)UR X, U, P, X c X{U~P~XUR X, U, Q, P c X~(U{Q|P)UR X, U, Q, Q c X~(U{QQ)UR X, U, Q, R c (X{U~Q)~RUR X, U, Q, S c X~(UQ{S)UR X, U, Q, T c X~(U~Q|T)UR X, U, Q, U c (XQ{U)~UUR X, U, Q, V c X{U~(Q{V)UR X, U, Q, W c X~(U{W)QUR X, U, Q, X c X~(U{Q)|XUR X, U, R, P c (X{P)~U{RUR X, U, R, Q c X~(U{R|Q)UR X, U, R, R c X{U~R~RUR X, U, R, S c X~(U|R{S)UR X, U, R, T c X~(UR{T)UR X, U, R, U c X{(U{R)~UUR X, U, R, V c (X|U)~(R~V)UR X, U, R, W c (X~W)|(U{R)UR X, U, R, X c (X|UR)~XUR X, U, S, Q c X~(UQ{S)UR X, U, S, R c (X{U)~S{RUR X, U, S, S c X~(U{SS)UR X, U, S, T c X{U~(S{T)UR X, U, S, U c (X{US)~UUR X, U, S, W c U~(S{W)|XUR X, U, S, X c (X|U{S)~XUR X, U, T, Q c X~(U~Q|T)UR X, U, T, R c X~(UR{T)UR X, U, T, S c X{U~(T{S)UR X, U, T, T c X~(U{TT)UR X, U, T, U c X~(U|T{U)UR X, U, T, V c X~(U|T)~VUR X, U, T, W c X~(T{W|U)UR X, U, U, Q c (XQ{U)~UUR X, U, U, R c (X{U{U)~RUR X, U, U, S c (X{US)~UUR X, U, U, T c X~(U{U|T)UR X, U, U, U c X~(U{UU)UR X, U, U, V c (X{U|U)~VUR X, U, U, W c X{U{U~WUR X, U, U, X c (XU{X)~UUR X, U, V, O c (X{U~O)~VUR X, U, V, P c X(P|UV)UR X, U, V, Q c X{U~(V{Q)UR X, U, V, R c (X|U)~(V~R)UR X, U, V, T c X~(U|T)~VUR X, U, V, U c X~(U{V|U)UR X, U, V, V c X~(U{VV)UR X, U, V, W c X~(U{W|V)UR X, U, W, P c X{U~(W{P)UR X, U, W, Q c X~(U{W)QUR X, U, W, R c (X~W)|(U{R)UR X, U, W, S c U~(W{S)|XUR X, U, W, T c X~(W|U{T)UR X, U, W, U c X{U{W~UUR X, U, W, V c X~(U{W|V)UR X, U, W, W c X~(U{WW)UR X, U, W, X c (X{U|W)~XUR X, U, X, O c X{U~X{OUR X, U, X, P c X{U~X~PUR X, U, X, Q c X~(U{Q)|XUR X, U, X, R c (X|UR)~XUR X, U, X, S c (X|U{S)~XUR X, U, X, U c (XU{X)~UUR X, U, X, W c X~(U{X|W)UR X, U, X, X c X~(U{XX)UR X, V, O, O c X~V{O{OUR X, V, O, P c X~V{O~PUR X, V, O, Q c X~V{O~QUR X, V, O, R c X~V{O~RUR X, V, O, S c X~V{O~SUR X, V, O, T c X~V{O~TUR X, V, O, U c X~V{O~UUR X, V, O, V c (X{V~O)~VUR X, V, O, W c X~V{O~WUR X, V, O, X c X~V{O~XUR X, V, P, O c X~V{P~OUR X, V, P, P c X~V{P|PUR X, V, P, Q c (X~V)~(Q|P)UR X, V, P, S c (X{V)~S|PUR X, V, P, U c X(P|UV)UR X, V, P, V c (X{P)~V|VUR X, V, P, W c X(WV|P)UR X, V, P, X c X{(V|P)~XUR X, V, Q, O c X~V{Q~OUR X, V, Q, P c (X~V)~(Q|P)UR X, V, Q, Q c X~V{Q|QUR X, V, Q, R c (X~V)~(R|Q)UR X, V, Q, U c X{(V{Q)~UUR X, V, Q, V c X~(V~Q|V)UR X, V, Q, W c X{V~W|QUR X, V, Q, X c (X~Q|X)~VUR X, V, R, O c X~V{R~OUR X, V, R, Q c (X~V)~(R|Q)UR X, V, R, R c X~V{R|RUR X, V, R, S c (X~V)~(S|R)UR X, V, R, T c (X{V{T)~RUR X, V, R, U c (XR{U)~VUR X, V, S, O c X~V{S~OUR X, V, S, P c (X{V)~S|PUR X, V, S, R c (X~V)~(S|R)UR X, V, S, S c X~V{S|SUR X, V, S, T c (X~V)~(T|S)UR X, V, T, O c X~V{T~OUR X, V, T, R c (X{V{T)~RUR X, V, T, S c (X~V)~(T|S)UR X, V, T, T c X~V{T|TUR X, V, T, U c (X~V)~(U|T)UR X, V, T, V c X{V~V{TUR X, V, T, X c (X|V{T)~XUR X, V, U, O c X~V{U~OUR X, V, U, P c X(P|UV)UR X, V, U, Q c X{(V{Q)~UUR X, V, U, R c (X|U)~(V~R)UR X, V, U, T c (X~V)~(U|T)UR X, V, U, U c X~V{U|UUR X, V, U, V c X~(V|U)~VUR X, V, U, W c X~(U{W|V)UR X, V, V, O c X~V{V~OUR X, V, V, P c (X{P)~V|VUR X, V, V, Q c X~(V{V)QUR X, V, V, T c X{V~V{TUR X, V, V, U c (X~V)~(V|U)UR X, V, V, V c (X{V|V)~VUR X, V, V, W c (X~V)~(W|V)UR X, V, W, O c X~V{W~OUR X, V, W, P c X(WV|P)UR X, V, W, Q c X{V~W|QUR X, V, W, U c X~(W|V{U)UR X, V, W, V c (X~V)~(W|V)UR X, V, W, W c X~V{W|WUR X, V, W, X c (X~V)~(X|W)UR X, V, X, O c X~V{X~OUR X, V, X, P c X{(V|P)~XUR X, V, X, Q c (X{X)~(VQ)UR X, V, X, T c (X|V{T)~XUR X, V, X, W c (X~V)~(X|W)UR X, V, X, X c (X{V|X)~XUR X, W, O, P c X~(W{O|P)UR X, W, O, V c (X{W~O)~VUR X, W, O, X c X~W{O|XUR X, W, P, O c X~(W|P){OUR X, W, P, P c X~(W|P)~PUR X, W, P, Q c X~(W{P|Q)UR X, W, P, U c X{(W{P)~UUR X, W, P, V c X(WV|P)UR X, W, P, W c (X~W)|(P{W)UR X, W, P, X c X~W|P~XUR X, W, Q, P c X~(W|Q{P)UR X, W, Q, Q c X~(W|QQ)UR X, W, Q, R c X~(W{Q|R)UR X, W, Q, T c (X{Q)~T{WUR X, W, Q, U c X~(W{U)QUR X, W, Q, V c (X~W)|(Q{V)UR X, W, Q, X c X{(W|Q)~XUR X, W, R, Q c X~(W|R{Q)UR X, W, R, R c X~W|R~RUR X, W, R, S c X~(W{R|S)UR X, W, R, T c X~(R~T|W)UR X, W, R, U c (X~W)|(R{U)UR X, W, S, R c (X{W{S)~RUR X, W, S, S c X~(W|SS)UR X, W, S, T c (X{W)~S|TUR X, W, S, U c (W{S)~U|XUR X, W, S, X c (X|WS)~XUR X, W, T, Q c (X{Q)~T{WUR X, W, T, R c X~(T~R|W)UR X, W, T, S c (X~W)|(T{S)UR X, W, T, T c X~(W|TT)UR X, W, T, U c X~(W{T|U)UR X, W, U, P c X{(W{P)~UUR X, W, U, Q c X~(W{U)QUR X, W, U, R c (X~W)|(U{R)UR X, W, U, S c (W{S)~U|XUR X, W, U, T c X~(W|U{T)UR X, W, U, U c X{W~U{UUR X, W, U, V c X~(W{U|V)UR X, W, U, W c X~(WW{U)UR X, W, U, X c (X|W{U)~XUR X, W, V, O c (X{W~O)~VUR X, W, V, P c X(WV|P)UR X, W, V, Q c X{W~V|QUR X, W, V, U c X~(W|V{U)UR X, W, V, V c X~(W|V)~VUR X, W, V, W c X~(W{V|W)UR X, W, V, X c (X|W)~(V~X)UR X, W, W, P c (X~W)|(W{P)UR X, W, W, U c X~(WW{U)UR X, W, W, V c (X{W|W)~VUR X, W, W, W c X~(W|WW)UR X, W, W, X c X~(W{W|X)UR X, W, X, O c X~W|X{OUR X, W, X, P c X~W|X~PUR X, W, X, Q c X{(W|Q)~XUR X, W, X, S c (X|WS)~XUR X, W, X, U c (X|W{U)~XUR X, W, X, V c (X|W)~(X~V)UR X, W, X, W c X~(W{W|X)UR X, W, X, X c X~(W|XX)UR X, X, O, Q c X~(X{O|Q)UR X, X, O, U c X{(X{O)~UUR X, X, O, V c (X{X~O)~VUR X, X, O, W c (X{O)~W|XUR X, X, P, P c X~(X|P|P)UR X, X, P, Q c X~(X|P~Q)UR X, X, P, R c X~(X{P|R)UR X, X, P, T c X{X~(P{T)UR X, X, P, U c X{X~P~UUR X, X, P, V c X{X~(V|P)UR X, X, P, W c X~P~W|XUR X, X, P, X c X~(X|P)|XUR X, X, Q, O c X~(X|Q){OUR X, X, Q, P c X~(X|Q)~PUR X, X, Q, R c X{X~Q~RUR X, X, Q, S c X{X~(Q{S)UR X, X, Q, T c X~(X{T)QUR X, X, Q, U c X~(Q{U)|XUR X, X, Q, V c (X{X)Q~VUR X, X, Q, W c X{X~(W|Q)UR X, X, Q, X c X~X|Q~XUR X, X, R, P c X~(X|R{P)UR X, X, R, Q c X{X~R~QUR X, X, R, R c (X{X{R)~RUR X, X, R, S c X~(XR{S)UR X, X, R, T c X~(X{R|T)UR X, X, R, U c X~X|R~UUR X, X, R, X c X{(X|R)~XUR X, X, S, Q c X{X~(S{Q)UR X, X, S, R c X~(XR{S)UR X, X, S, S c X~(S{S)|XUR X, X, S, U c X~(X{S|U)UR X, X, S, W c X~(X|WS)UR X, X, S, X c (X{X)~S|XUR X, X, T, P c X{X~(T{P)UR X, X, T, Q c X~(X{T)QUR X, X, T, R c X~(X|T{R)UR X, X, T, V c X~(X{T|V)UR X, X, T, X c X{X{T~XUR X, X, U, O c X{X~U{OUR X, X, U, P c X{X~U~PUR X, X, U, Q c X~(U{Q)|XUR X, X, U, R c X~X|U~RUR X, X, U, S c X~(X|U{S)UR X, X, U, U c (X{XU)~UUR X, X, U, W c X~(X{U|W)UR X, X, U, X c (XX{U)~XUR X, X, V, O c (X{X~O)~VUR X, X, V, P c X{X~(V|P)UR X, X, V, Q c (X{X)~(VQ)UR X, X, V, T c X~(X|V{T)UR X, X, V, W c X~(X|W)~VUR X, X, V, X c X{X~V|XUR X, X, W, O c X~W|X{OUR X, X, W, P c X~W|X~PUR X, X, W, Q c X{X~(W|Q)UR X, X, W, S c X~(X|WS)UR X, X, W, U c X~(X|W{U)UR X, X, W, V c X~(X|W)~VUR X, X, W, W c (X|XW)~WUR X, X, W, X c X~(W|XX)UR X, X, X, P c X~(X|P)|XUR X, X, X, Q c X~X|X~QUR X, X, X, R c X{(X{X)~RUR X, X, X, S c (X{X)~S|XUR X, X, X, T c X{X{X~TUR X, X, X, U c X~(XX{U)UR X, X, X, V c (X{X|X)~VUR X, X, X, W c X~(W|XX)UR X, X, X, X c (X~X)|(X{X)UR