O, P, V, X c O{V~X|PUQ O, P, X, V c O{X~V|PUQ O, Q, W, W c O{W~W|QUQ O, U, V, W c O{U{V~WUQ O, U, W, V c O{U{W~VUQ O, U, W, X c O{U~X{WUQ O, U, X, W c O{U~X{WUQ O, V, P, X c O{V~X|PUQ O, V, U, W c O{V~W{UUQ O, V, W, U c O{V~W{UUQ O, V, X, P c O{V~X|PUQ O, W, Q, W c O{W~W|QUQ O, W, U, V c O{W~V{UUQ O, W, U, X c O{W{U~XUQ O, W, V, U c O{W~V{UUQ O, W, W, Q c O{W~W|QUQ O, W, X, U c O{W{X~UUQ O, X, P, V c O{X~V|PUQ O, X, U, W c O{X~U{WUQ O, X, V, P c O{X~V|PUQ O, X, W, U c O{X~U{WUQ P, O, V, X c O{V~X|PUQ P, O, X, V c O{X~V|PUQ P, P, U, X c (P{U)~X|PUQ P, P, V, W c (P{W)~V|PUQ P, P, V, X c P~V~X|PUQ P, P, W, V c (P{W)~V|PUQ P, P, W, W c (W~W)|(P{P)UQ P, P, W, X c (W|P)~X|PUQ P, P, X, U c (P{U)~X|PUQ P, P, X, V c P~X~V|PUQ P, P, X, W c X~(W|P)|PUQ P, Q, S, W c Q~(S~W|P)UQ P, Q, T, U c (P{T~U)~QUQ P, Q, T, X c (Q{T)~X|PUQ P, Q, U, T c (P{U~T)~QUQ P, Q, U, X c (P{X)~U{QUQ P, Q, V, V c (Q{V)~V|PUQ P, Q, V, W c (P{V)~W|QUQ P, Q, V, X c P{V~X|QUQ P, Q, W, S c Q~(W~S|P)UQ P, Q, W, V c (P{V)~W|QUQ P, Q, W, W c P~W~W|QUQ P, Q, W, X c W~(X|P)|QUQ P, Q, X, T c (Q{T)~X|PUQ P, Q, X, U c (P{X)~U{QUQ P, Q, X, V c P{X~V|QUQ P, Q, X, W c (X|P)~W|QUQ P, Q, X, X c (X|Q)~X|PUQ P, R, R, V c R~R~V|PUQ P, R, S, X c (R{S)~X|PUQ P, R, U, V c (R{U)~V|PUQ P, R, V, R c R~V~R|PUQ P, R, V, U c (R{U)~V|PUQ P, R, W, W c P{W~W|RUQ P, R, X, S c (R{S)~X|PUQ P, S, Q, W c (S~W|P)~QUQ P, S, R, X c (S{R)~X|PUQ P, S, T, V c (S{T)~V|PUQ P, S, V, T c (S{T)~V|PUQ P, S, W, Q c (S~W|P)~QUQ P, S, W, W c (W|PS)~WUQ P, S, X, R c (S{R)~X|PUQ P, T, Q, U c (P{T~U)~QUQ P, T, Q, X c (T{Q)~X|PUQ P, T, S, V c (T{S)~V|PUQ P, T, U, Q c (P{T~U)~QUQ P, T, V, S c (T{S)~V|PUQ P, T, V, W c P{T{V~WUQ P, T, W, V c P{T{W~VUQ P, T, W, X c (P{T)~X{WUQ P, T, X, Q c (T{Q)~X|PUQ P, T, X, W c (P{T)~X{WUQ P, U, P, X c (P{U)~X|PUQ P, U, Q, T c (P{U~T)~QUQ P, U, Q, X c (P{X)~U{QUQ P, U, R, V c (U{R)~V|PUQ P, U, T, Q c (P{U~T)~QUQ P, U, U, W c (P{U)~W{UUQ P, U, V, R c (U{R)~V|PUQ P, U, V, V c (P{V)~V{UUQ P, U, V, W c P~U{V~WUQ P, U, V, X c P{U~X{VUQ P, U, W, U c (P{U)~W{UUQ P, U, W, V c P~U{W~VUQ P, U, W, W c (P{W)~U{WUQ P, U, W, X c P~U~X{WUQ P, U, X, P c (P{U)~X|PUQ P, U, X, Q c (P{X)~U{QUQ P, U, X, V c P{U~X{VUQ P, U, X, W c P~U~X{WUQ P, U, X, X c U~X|P{XUQ P, V, O, X c (V{O)~X|PUQ P, V, P, W c (P{W)~V|PUQ P, V, P, X c P~V~X|PUQ P, V, Q, V c (V{Q)~V|PUQ P, V, Q, W c (P{V)~W|QUQ P, V, Q, X c P{V~X|QUQ P, V, R, R c V~R~R|PUQ P, V, R, U c V~(R{U)|PUQ P, V, S, T c V~(S{T)|PUQ P, V, T, S c V~(T{S)|PUQ P, V, T, W c P{V~W{TUQ P, V, U, R c V~(U{R)|PUQ P, V, U, V c (P{V)~V{UUQ P, V, U, W c P~V~W{UUQ P, V, U, X c P{V{U~XUQ P, V, V, Q c V~(V{Q)|PUQ P, V, V, U c (P{V)~V{UUQ P, V, V, W c V|P{V~WUQ P, V, V, X c V~(X|PV)UQ P, V, W, P c (P{W)~V|PUQ P, V, W, Q c (P{V)~W|QUQ P, V, W, T c P{V~W{TUQ P, V, W, U c P~V~W{UUQ P, V, W, V c V|P{W~VUQ P, V, W, X c (P{X)~V|WUQ P, V, X, O c V~X|P{OUQ P, V, X, P c P~V~X|PUQ P, V, X, Q c P{V~X|QUQ P, V, X, U c P{V{X~UUQ P, V, X, V c V~(X|PV)UQ P, V, X, W c (P{X)~V|WUQ P, V, X, X c (V|PX)~XUQ P, W, P, V c (P{W)~V|PUQ P, W, P, W c (W~W)|(P{P)UQ P, W, P, X c (W|P)~X|PUQ P, W, Q, S c (W~S|P)~QUQ P, W, Q, V c (P{V)~W|QUQ P, W, Q, W c P~W~W|QUQ P, W, Q, X c W~(X|P)|QUQ P, W, R, W c P{W~W|RUQ P, W, S, Q c (W~S|P)~QUQ P, W, S, W c (W|PS)~WUQ P, W, T, V c P{W~V{TUQ P, W, T, X c (P{T)~X{WUQ P, W, U, U c (P{U)~W{UUQ P, W, U, V c P~W~V{UUQ P, W, U, W c (P{W)~U{WUQ P, W, U, X c P~W{U~XUQ P, W, V, P c (P{W)~V|PUQ P, W, V, Q c (P{V)~W|QUQ P, W, V, T c P{W~V{TUQ P, W, V, U c P~W~V{UUQ P, W, V, V c W~V|P{VUQ P, W, V, X c (P{X)~V|WUQ P, W, W, P c (W~W)|(P{P)UQ P, W, W, Q c P~W~W|QUQ P, W, W, R c P{W~W|RUQ P, W, W, S c (W|PS)~WUQ P, W, W, U c (P{W)~U{WUQ P, W, X, P c (W|P)~X|PUQ P, W, X, Q c W~(X|P)|QUQ P, W, X, T c (P{T)~X{WUQ P, W, X, U c P~W{X~UUQ P, W, X, V c (P{X)~V|WUQ P, W, X, X c (W~X)|(P{X)UQ P, X, O, V c (X{O)~V|PUQ P, X, P, U c (P{U)~X|PUQ P, X, P, V c P~X~V|PUQ P, X, P, W c X~(W|P)|PUQ P, X, Q, T c X~(Q{T)|PUQ P, X, Q, U c (P{X)~U{QUQ P, X, Q, V c P{X~V|QUQ P, X, Q, W c (X|P)~W|QUQ P, X, Q, X c (X|Q)~X|PUQ P, X, R, S c X~(R{S)|PUQ P, X, S, R c X~(S{R)|PUQ P, X, T, Q c X~(T{Q)|PUQ P, X, T, W c (P{T)~X{WUQ P, X, U, P c (P{U)~X|PUQ P, X, U, Q c (P{X)~U{QUQ P, X, U, V c P{X~U{VUQ P, X, U, W c P~X~U{WUQ P, X, U, X c X|P{U~XUQ P, X, V, O c X~V|P{OUQ P, X, V, P c P~X~V|PUQ P, X, V, Q c P{X~V|QUQ P, X, V, U c P{X~U{VUQ P, X, V, V c (X|PV)~VUQ P, X, V, W c (P{X)~V|WUQ P, X, V, X c X~(V|PX)UQ P, X, W, P c X~(W|P)|PUQ P, X, W, Q c (X|P)~W|QUQ P, X, W, T c (P{T)~X{WUQ P, X, W, U c P~X~U{WUQ P, X, W, V c (P{X)~V|WUQ P, X, W, X c (X~W)|(P{X)UQ P, X, X, Q c X~(X|Q)|PUQ P, X, X, U c X|P{X~UUQ P, X, X, V c X~(V|PX)UQ P, X, X, W c (X~W)|(P{X)UQ Q, O, W, W c O{W~W|QUQ Q, P, S, W c Q~(S~W|P)UQ Q, P, T, U c Q~(P{T~U)UQ Q, P, T, X c (Q{T)~X|PUQ Q, P, U, T c Q~(P{U~T)UQ Q, P, U, X c Q{(P{X)~UUQ Q, P, V, V c (Q{V)~V|PUQ Q, P, V, W c (P{V)~W|QUQ Q, P, V, X c P{V~X|QUQ Q, P, W, S c Q~(W~S|P)UQ Q, P, W, V c (P{V)~W|QUQ Q, P, W, W c P~W~W|QUQ Q, P, W, X c W~(X|P)|QUQ Q, P, X, T c (Q{T)~X|PUQ Q, P, X, U c Q{(P{X)~UUQ Q, P, X, V c P{X~V|QUQ Q, P, X, W c (X|P)~W|QUQ Q, P, X, X c (X|Q)~X|PUQ Q, Q, S, W c Q~S~W|QUQ Q, Q, T, U c Q{Q~T~UUQ Q, Q, U, T c Q{Q~U~TUQ Q, Q, U, W c Q{(Q{W)~UUQ Q, Q, V, X c V~X|QQUQ Q, Q, W, S c Q~W~S|QUQ Q, Q, W, U c Q{(Q{W)~UUQ Q, Q, X, V c X~V|QQUQ Q, R, S, T c Q{R~S~TUQ Q, R, S, V c Q~(R{S~V)UQ Q, R, S, X c Q~(R~X{S)UQ Q, R, T, S c Q{R~T~SUQ Q, R, T, W c (R{T)~W|QUQ Q, R, T, X c Q{(R{X)~TUQ Q, R, U, V c Q{(R{V)~UUQ Q, R, V, S c Q~(R{V~S)UQ Q, R, V, U c Q{(R{V)~UUQ Q, R, V, W c Q~R{V~WUQ Q, R, V, X c Q{V~X|RUQ Q, R, W, T c (R{T)~W|QUQ Q, R, W, V c Q~R{W~VUQ Q, R, W, X c Q~R~X{WUQ Q, R, X, S c Q~(R~X{S)UQ Q, R, X, T c Q{(R{X)~TUQ Q, R, X, V c Q{X~V|RUQ Q, R, X, W c Q~R~X{WUQ Q, S, P, W c Q~(S~W|P)UQ Q, S, Q, W c Q~S~W|QUQ Q, S, R, T c Q{S~R~TUQ Q, S, R, V c Q~(S~V{R)UQ Q, S, R, X c Q~(S{R~X)UQ Q, S, S, S c S~S~S|QUQ Q, S, S, W c (S{S)~W|QUQ Q, S, T, R c Q{S~T~RUQ Q, S, T, V c Q~(T~V|S)UQ Q, S, T, W c Q{(S{W)~TUQ Q, S, T, X c Q~(S~X|T)UQ Q, S, U, U c Q{(S{U)~UUQ Q, S, U, V c Q~(S~U{V)UQ Q, S, U, X c Q{S~(U{X)UQ Q, S, V, R c Q~(S~V{R)UQ Q, S, V, T c Q~(V~T|S)UQ Q, S, V, U c Q~S~V{UUQ Q, S, V, W c Q{S{V~WUQ Q, S, V, X c S~(V{X)|QUQ Q, S, W, P c Q~(S~W|P)UQ Q, S, W, Q c Q~S~W|QUQ Q, S, W, S c (S{S)~W|QUQ Q, S, W, T c Q{(S{W)~TUQ Q, S, W, V c Q{S{W~VUQ Q, S, W, W c Q{W~W|SUQ Q, S, W, X c (Q{S)~X{WUQ Q, S, X, R c Q~(S{X~R)UQ Q, S, X, T c Q~(S~X|T)UQ Q, S, X, U c Q{S~(X{U)UQ Q, S, X, V c S~(X{V)|QUQ Q, S, X, W c (Q{S)~X{WUQ Q, T, P, U c Q~(T~U{P)UQ Q, T, P, X c (Q{T)~X|PUQ Q, T, Q, U c Q{T~Q~UUQ Q, T, R, S c Q{T~R~SUQ Q, T, R, W c (T{R)~W|QUQ Q, T, R, X c Q{T~(R{X)UQ Q, T, S, R c Q{T~S~RUQ Q, T, S, V c Q~(T~V|S)UQ Q, T, S, W c Q{T~(S{W)UQ Q, T, S, X c Q~(S~X|T)UQ Q, T, T, U c Q{(T{T)~UUQ Q, T, T, V c Q{T~(T{V)UQ Q, T, U, P c Q~(T~U{P)UQ Q, T, U, Q c Q{T~U~QUQ Q, T, U, T c Q{(T{T)~UUQ Q, T, U, U c Q{T~(U{U)UQ Q, T, U, W c (Q{T)~W{UUQ Q, T, V, S c Q~(T~V|S)UQ Q, T, V, T c Q{(T{V)~TUQ Q, T, V, W c Q~T~V|WUQ Q, T, V, X c (Q{X)~T{VUQ Q, T, W, R c (T{R)~W|QUQ Q, T, W, S c Q{T~(W{S)UQ Q, T, W, U c (Q{T)~W{UUQ Q, T, W, V c Q~T~V|WUQ Q, T, W, X c Q~(T~W|X)UQ Q, T, X, P c (Q{T)~X|PUQ Q, T, X, R c Q{T~(X{R)UQ Q, T, X, S c Q~(X~S|T)UQ Q, T, X, V c (Q{X)~T{VUQ Q, T, X, W c Q~(T~W|X)UQ Q, U, P, T c Q~(U~T{P)UQ Q, U, P, X c Q{U~(P{X)UQ Q, U, Q, T c Q{U~Q~TUQ Q, U, Q, W c Q{U~(Q{W)UQ Q, U, R, V c Q{U~(R{V)UQ Q, U, S, U c Q{(U{S)~UUQ Q, U, S, V c Q~(U~S{V)UQ Q, U, S, X c Q{(U{X)~SUQ Q, U, T, P c Q~(U~T{P)UQ Q, U, T, Q c Q{U~T~QUQ Q, U, T, T c Q{U~(T{T)UQ Q, U, T, U c Q{(U{U)~TUQ Q, U, T, W c (Q{T)~W{UUQ Q, U, U, S c Q{U~(U{S)UQ Q, U, U, T c Q{(U{U)~TUQ Q, U, U, V c (Q{U)~V{UUQ Q, U, U, X c Q{U{U~XUQ Q, U, V, R c Q{U~(V{R)UQ Q, U, V, S c Q~(U~S{V)UQ Q, U, V, U c (Q{U)~V{UUQ Q, U, V, W c (Q{V)~U{WUQ Q, U, W, Q c Q{U~(W{Q)UQ Q, U, W, T c (Q{T)~W{UUQ Q, U, W, V c (Q{V)~U{WUQ Q, U, W, X c U{W~(X|Q)UQ Q, U, X, P c Q{U~(X{P)UQ Q, U, X, S c Q{(U{X)~SUQ Q, U, X, U c Q{U{X~UUQ Q, U, X, W c U{(X|Q)~WUQ Q, V, P, V c (Q{V)~V|PUQ Q, V, P, W c (V{P)~W|QUQ Q, V, P, X c V~X|Q{PUQ Q, V, Q, X c V~X|QQUQ Q, V, R, S c Q~(V~S{R)UQ Q, V, R, U c Q{(V{R)~UUQ Q, V, R, W c Q~(V{R~W)UQ Q, V, R, X c Q{V~X|RUQ Q, V, S, R c Q~(V~S{R)UQ Q, V, S, T c Q~(V~T|S)UQ Q, V, S, U c Q~(V{S~U)UQ Q, V, S, W c Q{(V{W)~SUQ Q, V, S, X c (V{X)~S|QUQ Q, V, T, S c Q~(V~T|S)UQ Q, V, T, T c Q{(V{T)~TUQ Q, V, T, W c Q~V~T|WUQ Q, V, T, X c (Q{X)~T{VUQ Q, V, U, R c Q{(V{R)~UUQ Q, V, U, S c Q~(V{U~S)UQ Q, V, U, U c (Q{U)~V{UUQ Q, V, U, W c (Q{V)~U{WUQ Q, V, V, P c (Q{V)~V|PUQ Q, V, W, P c (V{P)~W|QUQ Q, V, W, R c Q~(V{W~R)UQ Q, V, W, S c Q{(V{W)~SUQ Q, V, W, T c Q~V~T|WUQ Q, V, W, U c Q~V{W~UUQ Q, V, W, W c (Q{W)~V|WUQ Q, V, X, P c V~X|Q{PUQ Q, V, X, Q c V~X|QQUQ Q, V, X, R c Q{V~X|RUQ Q, V, X, S c (V{X)~S|QUQ Q, V, X, T c (Q{X)~T{VUQ Q, W, O, W c (W{O)~W|QUQ Q, W, P, S c Q~(W~S|P)UQ Q, W, P, V c W~(P{V)|QUQ Q, W, P, W c W~P~W|QUQ Q, W, P, X c W~(X|P)|QUQ Q, W, Q, S c Q~W~S|QUQ Q, W, Q, U c Q{(W{Q)~UUQ Q, W, R, T c W~(R{T)|QUQ Q, W, R, V c Q~(W~R{V)UQ Q, W, R, X c Q~R~X{WUQ Q, W, S, P c Q~(W~S|P)UQ Q, W, S, Q c Q~W~S|QUQ Q, W, S, S c W~(S{S)|QUQ Q, W, S, T c Q{(W{S)~TUQ Q, W, S, V c Q{(W{V)~SUQ Q, W, S, W c Q{W~W|SUQ Q, W, S, X c (Q{S)~X{WUQ Q, W, T, R c W~(T{R)|QUQ Q, W, T, S c Q{(W{S)~TUQ Q, W, T, U c (Q{T)~W{UUQ Q, W, T, V c Q~T~V|WUQ Q, W, T, X c Q~(W~T|X)UQ Q, W, U, Q c (Q{W)~U{QUQ Q, W, U, T c (Q{T)~W{UUQ Q, W, U, V c Q~V{W~UUQ Q, W, U, X c W~(X|Q){UUQ Q, W, V, P c W~(V{P)|QUQ Q, W, V, R c Q~(W~R{V)UQ Q, W, V, S c Q{(W{V)~SUQ Q, W, V, T c Q~V~T|WUQ Q, W, V, U c Q~V{W~UUQ Q, W, V, W c (Q{W)~V|WUQ Q, W, W, O c W~W|Q{OUQ Q, W, W, P c W~W|Q~PUQ Q, W, W, S c Q{W~W|SUQ Q, W, W, V c (Q{W)~V|WUQ Q, W, W, W c (W|QW)~WUQ Q, W, W, X c (W|Q)~X{WUQ Q, W, X, P c W~(X|P)|QUQ Q, W, X, R c Q~X~R{WUQ Q, W, X, S c (Q{S)~X{WUQ Q, W, X, T c Q~(W~T|X)UQ Q, W, X, U c W~(X|Q){UUQ Q, W, X, W c (W|Q)~X{WUQ Q, X, P, T c (Q{T)~X|PUQ Q, X, P, U c Q{(X{P)~UUQ Q, X, P, V c X~V|Q{PUQ Q, X, P, W c (X|P)~W|QUQ Q, X, P, X c (X|Q)~X|PUQ Q, X, Q, V c X~V|QQUQ Q, X, R, S c Q~(X~R{S)UQ Q, X, R, T c Q{(X{R)~TUQ Q, X, R, V c Q{X~V|RUQ Q, X, R, W c Q~X~R{WUQ Q, X, S, R c Q~(X~R{S)UQ Q, X, S, T c Q~(X~S|T)UQ Q, X, S, U c Q{(X{U)~SUQ Q, X, S, V c (X{V)~S|QUQ Q, X, S, W c (Q{S)~X{WUQ Q, X, T, P c (Q{T)~X|PUQ Q, X, T, R c Q{(X{R)~TUQ Q, X, T, S c Q~(X~S|T)UQ Q, X, T, V c (Q{X)~T{VUQ Q, X, T, W c Q~(T~W|X)UQ Q, X, U, P c Q{(X{P)~UUQ Q, X, U, S c Q{(X{U)~SUQ Q, X, U, U c Q{X~U{UUQ Q, X, U, W c (X|Q)~W{UUQ Q, X, V, P c X~V|Q{PUQ Q, X, V, Q c X~V|QQUQ Q, X, V, R c Q{X~V|RUQ Q, X, V, S c (X{V)~S|QUQ Q, X, V, T c (Q{X)~T{VUQ Q, X, W, P c (X|P)~W|QUQ Q, X, W, R c Q~X~R{WUQ Q, X, W, S c (Q{S)~X{WUQ Q, X, W, T c Q~(W~T|X)UQ Q, X, W, U c (X|Q)~W{UUQ Q, X, W, W c (X~W)|(Q{W)UQ Q, X, X, P c (X|Q)~X|PUQ R, P, R, V c R~R~V|PUQ R, P, S, X c (R{S)~X|PUQ R, P, U, V c (R{U)~V|PUQ R, P, V, R c R~V~R|PUQ R, P, V, U c (R{U)~V|PUQ R, P, W, W c P{W~W|RUQ R, P, X, S c (R{S)~X|PUQ R, Q, S, T c R~S~T{QUQ R, Q, S, V c (R{S~V)~QUQ R, Q, S, X c (R~X{S)~QUQ R, Q, T, S c R~T~S{QUQ R, Q, T, W c (R{T)~W|QUQ R, Q, T, X c (R{X)~T{QUQ R, Q, U, V c (R{V)~U{QUQ R, Q, V, S c (R{V~S)~QUQ R, Q, V, U c (R{V)~U{QUQ R, Q, V, W c R~Q{V~WUQ R, Q, V, X c Q{V~X|RUQ R, Q, W, T c (R{T)~W|QUQ R, Q, W, V c R~Q{W~VUQ R, Q, W, X c R~Q~X{WUQ R, Q, X, S c (R~X{S)~QUQ R, Q, X, T c (R{X)~T{QUQ R, Q, X, V c Q{X~V|RUQ R, Q, X, W c R~Q~X{WUQ R, R, P, V c R~R~V|PUQ R, R, U, W c R~R~U{WUQ R, R, V, P c R~R~V|PUQ R, R, V, W c R{R{V~WUQ R, R, V, X c V~X|RRUQ R, R, W, U c R~R~U{WUQ R, R, W, V c R{R{W~VUQ R, R, W, X c (R{R)~X{WUQ R, R, X, V c X~V|RRUQ R, R, X, W c (R{R)~X{WUQ R, S, P, X c (R{S)~X|PUQ R, S, Q, T c R~S~T{QUQ R, S, Q, V c (R{S~V)~QUQ R, S, Q, X c (R~X{S)~QUQ R, S, T, Q c R~S~T{QUQ R, S, T, X c (S{X)~T|RUQ R, S, U, W c (R{S)~W{UUQ R, S, U, X c (SR{X)~UUQ R, S, V, Q c (R{S~V)~QUQ R, S, V, W c (RS{V)~WUQ R, S, V, X c R{V~X|SUQ R, S, W, U c (R{S)~W{UUQ R, S, W, V c (RS{V)~WUQ R, S, X, P c (R{S)~X|PUQ R, S, X, Q c (R~X{S)~QUQ R, S, X, T c (S{X)~T|RUQ R, S, X, U c (SR{X)~UUQ R, S, X, V c R{X~V|SUQ R, T, Q, S c R~T~S{QUQ R, T, Q, W c (R{T)~W|QUQ R, T, Q, X c (R{X)~T{QUQ R, T, S, Q c R~T~S{QUQ R, T, S, X c T~(S{X)|RUQ R, T, T, W c T~(T{W)|RUQ R, T, U, V c (R{T)~V{UUQ R, T, U, X c R{T{U~XUQ R, T, V, U c (R{T)~V{UUQ R, T, V, W c (R{W)~T{VUQ R, T, V, X c R~X{T~VUQ R, T, W, Q c (R{T)~W|QUQ R, T, W, T c (T{W)~T|RUQ R, T, W, V c (R{W)~T{VUQ R, T, W, W c R{W~W|TUQ R, T, X, Q c (R{X)~T{QUQ R, T, X, S c T~(X{S)|RUQ R, T, X, U c R{T{X~UUQ R, T, X, V c R~X{T~VUQ R, U, P, V c (R{U)~V|PUQ R, U, Q, V c (R{V)~U{QUQ R, U, R, W c R~U~R{WUQ R, U, S, W c (R{S)~W{UUQ R, U, S, X c U~(SR{X)UQ R, U, T, V c (R{T)~V{UUQ R, U, T, X c R{U~X{TUQ R, U, U, W c (R{U)~U{WUQ R, U, V, P c (R{U)~V|PUQ R, U, V, Q c (R{V)~U{QUQ R, U, V, T c (R{T)~V{UUQ R, U, V, W c U~(VR{W)UQ R, U, W, R c R~U~R{WUQ R, U, W, S c (R{W)~U|SUQ R, U, W, U c (R{U)~U{WUQ R, U, W, V c U~(W{VR)UQ R, U, W, W c W~W|URUQ R, U, X, S c U~(X{SR)UQ R, U, X, T c R{U~X{TUQ R, V, P, R c R~V~R|PUQ R, V, P, U c (R{U)~V|PUQ R, V, Q, S c (R{V~S)~QUQ R, V, Q, U c (R{V)~U{QUQ R, V, Q, W c R~Q{V~WUQ R, V, Q, X c V~X|R{QUQ R, V, R, P c R~V~R|PUQ R, V, R, W c R{V~W{RUQ R, V, R, X c V~X|RRUQ R, V, S, Q c (R{V~S)~QUQ R, V, S, W c (RS{V)~WUQ R, V, S, X c R{V~X|SUQ R, V, T, U c (R{T)~V{UUQ R, V, T, W c (R{W)~T{VUQ R, V, T, X c R~X{V~TUQ R, V, U, P c (R{U)~V|PUQ R, V, U, Q c (R{V)~U{QUQ R, V, U, T c (R{T)~V{UUQ R, V, U, W c (VR{W)~UUQ R, V, V, W c (R{V)~V|WUQ R, V, W, Q c (R~W{V)~QUQ R, V, W, R c R{V~W{RUQ R, V, W, S c (RS{V)~WUQ R, V, W, T c (R{W)~T{VUQ R, V, W, U c (VR{W)~UUQ R, V, W, V c (R{V)~V|WUQ R, V, W, X c V~W|R{XUQ R, V, X, Q c V~X|R{QUQ R, V, X, R c V~X|RRUQ R, V, X, S c R{V~X|SUQ R, V, X, T c R~X{V~TUQ R, V, X, W c V~W|R{XUQ R, W, P, W c W~W|R{PUQ R, W, Q, T c (R{T)~W|QUQ R, W, Q, V c (R~W{V)~QUQ R, W, Q, X c R~Q~X{WUQ R, W, R, U c R~R~U{WUQ R, W, R, V c R{W~V{RUQ R, W, R, X c (R{R)~X{WUQ R, W, S, U c (R{W)~U|SUQ R, W, S, V c (RS{V)~WUQ R, W, T, Q c (R{T)~W|QUQ R, W, T, T c (W{T)~T|RUQ R, W, T, V c (R{W)~T{VUQ R, W, T, W c R{W~W|TUQ R, W, U, R c R~U~R{WUQ R, W, U, S c (R{W)~U|SUQ R, W, U, U c (R{U)~U{WUQ R, W, U, V c (W{VR)~UUQ R, W, U, W c W~W|URUQ R, W, V, Q c (R~W{V)~QUQ R, W, V, R c R{W~V{RUQ R, W, V, S c (RS{V)~WUQ R, W, V, T c (R{W)~T{VUQ R, W, V, U c (W{VR)~UUQ R, W, V, V c (R{V)~V|WUQ R, W, V, X c W~V|R{XUQ R, W, W, P c W~W|R{PUQ R, W, W, T c R{W~W|TUQ R, W, W, U c W~W|URUQ R, W, X, Q c R~X~Q{WUQ R, W, X, R c (R{R)~X{WUQ R, W, X, V c (W~X)|(R{V)UQ R, W, X, X c R~(X{X){WUQ R, X, P, S c (R{S)~X|PUQ R, X, Q, S c (R~X{S)~QUQ R, X, Q, T c (R{X)~T{QUQ R, X, Q, V c X~V|R{QUQ R, X, Q, W c R~X~Q{WUQ R, X, R, V c X~V|RRUQ R, X, R, W c (R{R)~X{WUQ R, X, S, P c (R{S)~X|PUQ R, X, S, Q c (R~X{S)~QUQ R, X, S, T c (X{S)~T|RUQ R, X, S, U c (X{SR)~UUQ R, X, S, V c R{X~V|SUQ R, X, T, Q c (R{X)~T{QUQ R, X, T, S c (X{S)~T|RUQ R, X, T, U c R{X~U{TUQ R, X, T, V c R~X{T~VUQ R, X, U, S c (X{SR)~UUQ R, X, U, T c R{X~U{TUQ R, X, V, Q c X~V|R{QUQ R, X, V, R c X~V|RRUQ R, X, V, S c R{X~V|SUQ R, X, V, T c R~X{V~TUQ R, X, V, W c X|R{V~WUQ R, X, W, Q c R~X~Q{WUQ R, X, W, R c (R{R)~X{WUQ R, X, W, V c X|R{W~VUQ R, X, W, X c R~(X{X){WUQ R, X, X, W c R~(X{X){WUQ S, P, Q, W c (S~W|P)~QUQ S, P, R, X c (S{R)~X|PUQ S, P, T, V c (S{T)~V|PUQ S, P, V, T c (S{T)~V|PUQ S, P, W, Q c (S~W|P)~QUQ S, P, W, W c (W|PS)~WUQ S, P, X, R c (S{R)~X|PUQ S, Q, P, W c (S~W|P)~QUQ S, Q, Q, W c S~Q~W|QUQ S, Q, R, T c S~R~T{QUQ S, Q, R, V c (S~V{R)~QUQ S, Q, R, X c (S{R~X)~QUQ S, Q, S, S c S~S~S|QUQ S, Q, S, W c (S{S)~W|QUQ S, Q, T, R c S~T~R{QUQ S, Q, T, V c Q~(T~V|S)UQ S, Q, T, W c (S{W)~T{QUQ S, Q, T, X c (S~X|T)~QUQ S, Q, U, U c (S{U)~U{QUQ S, Q, U, V c S~Q~V{UUQ S, Q, U, X c S~Q{U~XUQ S, Q, V, R c (S~V{R)~QUQ S, Q, V, T c Q~(V~T|S)UQ S, Q, V, U c S~Q~V{UUQ S, Q, V, W c S{Q{V~WUQ S, Q, V, X c S~(V{X)|QUQ S, Q, W, P c (S~W|P)~QUQ S, Q, W, Q c S~Q~W|QUQ S, Q, W, S c (S{S)~W|QUQ S, Q, W, T c (S{W)~T{QUQ S, Q, W, V c S{Q{W~VUQ S, Q, W, W c S~(W{W)|QUQ S, Q, W, X c (S{Q)~X{WUQ S, Q, X, R c (S{X~R)~QUQ S, Q, X, T c (S~X|T)~QUQ S, Q, X, U c S~Q{X~UUQ S, Q, X, V c S~(X{V)|QUQ S, Q, X, W c (S{Q)~X{WUQ S, R, P, X c (S{R)~X|PUQ S, R, Q, T c S~R~T{QUQ S, R, Q, V c (S~V{R)~QUQ S, R, Q, X c (S{R~X)~QUQ S, R, T, Q c S~R~T{QUQ S, R, T, X c (S{X)~T|RUQ S, R, U, W c (S{R)~W{UUQ S, R, U, X c (SR{X)~UUQ S, R, V, Q c (S~V{R)~QUQ S, R, V, W c (RS{V)~WUQ S, R, V, X c R{V~X|SUQ S, R, W, U c (S{R)~W{UUQ S, R, W, V c (RS{V)~WUQ S, R, X, P c (S{R)~X|PUQ S, R, X, Q c (S{R~X)~QUQ S, R, X, T c (S{X)~T|RUQ S, R, X, U c (SR{X)~UUQ S, R, X, V c R{X~V|SUQ S, S, Q, S c S~S~S|QUQ S, S, Q, W c (S{S)~W|QUQ S, S, S, Q c S~S~S|QUQ S, S, U, V c (S{S)~V{UUQ S, S, U, X c S{S{U~XUQ S, S, V, U c (S{S)~V{UUQ S, S, V, X c V~X|SSUQ S, S, W, Q c (S{S)~W|QUQ S, S, X, U c S{S{X~UUQ S, S, X, V c X~V|SSUQ S, T, P, V c (S{T)~V|PUQ S, T, Q, R c S~T~R{QUQ S, T, Q, V c (T~V|S)~QUQ S, T, Q, W c (S{W)~T{QUQ S, T, Q, X c (S~X|T)~QUQ S, T, R, Q c S~T~R{QUQ S, T, R, X c (S{X)~T|RUQ S, T, U, U c (T{U)~U|SUQ S, T, U, V c S~T{U~VUQ S, T, U, W c (S{T)~U{WUQ S, T, U, X c S~(T{X){UUQ S, T, V, P c (S{T)~V|PUQ S, T, V, Q c (T~V|S)~QUQ S, T, V, U c S~T{V~UUQ S, T, V, V c (S{V)~T{VUQ S, T, V, X c S{V~X|TUQ S, T, W, Q c (S{W)~T{QUQ S, T, W, U c (S{T)~U{WUQ S, T, W, X c W~(X|TS)UQ S, T, X, Q c (S~X|T)~QUQ S, T, X, R c (S{X)~T|RUQ S, T, X, U c S~(T{X){UUQ S, T, X, V c S{X~V|TUQ S, T, X, W c (X|TS)~WUQ S, U, Q, U c (S{U)~U{QUQ S, U, Q, V c (S~U{V)~QUQ S, U, Q, X c S~(U{X){QUQ S, U, R, W c (S{R)~W{UUQ S, U, R, X c (SR{X)~UUQ S, U, S, V c (S{S)~V{UUQ S, U, S, X c S{U~X{SUQ S, U, T, U c (U{T)~U|SUQ S, U, T, V c S~T{U~VUQ S, U, T, W c (S{T)~U{WUQ S, U, T, X c S~(T{X){UUQ S, U, U, Q c (S{U)~U{QUQ S, U, U, T c U~(U{T)|SUQ S, U, U, W c S~(U{W){UUQ S, U, V, Q c (S~U{V)~QUQ S, U, V, S c (S{V)~U|SUQ S, U, V, T c S~T{U~VUQ S, U, V, V c S~(V{V){UUQ S, U, V, W c (S{U)~V|WUQ S, U, W, R c (S{R)~W{UUQ S, U, W, T c S~W{U~TUQ S, U, W, U c S~(U{W){UUQ S, U, W, V c (S{U)~V|WUQ S, U, W, W c S{W~W|UUQ S, U, W, X c S~(W{X)|UUQ S, U, X, Q c S~(U{X){QUQ S, U, X, R c (SR{X)~UUQ S, U, X, S c S{U~X{SUQ S, U, X, T c S~(X{T){UUQ S, U, X, W c S~(X{W)|UUQ S, V, P, T c (S{T)~V|PUQ S, V, Q, R c (S~V{R)~QUQ S, V, Q, T c (V~T|S)~QUQ S, V, Q, U c S~V~Q{UUQ S, V, Q, W c S{V~W{QUQ S, V, Q, X c S~(V{X)|QUQ S, V, R, Q c (S~V{R)~QUQ S, V, R, W c (V{RS)~WUQ S, V, R, X c V~X|S{RUQ S, V, S, U c (S{V)~U|SUQ S, V, S, X c V~X|SSUQ S, V, T, P c (S{T)~V|PUQ S, V, T, Q c (V~T|S)~QUQ S, V, T, U c S~T{V~UUQ S, V, T, V c (S{V)~T{VUQ S, V, T, X c S{V~X|TUQ S, V, U, Q c S~V~Q{UUQ S, V, U, S c (S{V)~U|SUQ S, V, U, T c S~T{V~UUQ S, V, U, V c S~(V{V){UUQ S, V, U, W c (S{U)~V|WUQ S, V, V, T c (S{V)~T{VUQ S, V, V, U c S~(V{V){UUQ S, V, V, X c S{V~V{XUQ S, V, W, Q c S{V~W{QUQ S, V, W, R c (V{RS)~WUQ S, V, W, U c (S{U)~V|WUQ S, V, X, Q c S~(V{X)|QUQ S, V, X, R c V~X|S{RUQ S, V, X, S c V~X|SSUQ S, V, X, T c S{V~X|TUQ S, V, X, V c S{V~V{XUQ S, W, P, Q c (S~W|P)~QUQ S, W, P, W c (W|PS)~WUQ S, W, Q, P c (S~W|P)~QUQ S, W, Q, Q c S~W~Q|QUQ S, W, Q, S c (S{S)~W|QUQ S, W, Q, T c (S{W)~T{QUQ S, W, Q, V c S{W~V{QUQ S, W, Q, W c S~(W{W)|QUQ S, W, Q, X c (S{Q)~X{WUQ S, W, R, U c (S{R)~W{UUQ S, W, R, V c W~(RS{V)UQ S, W, S, Q c (S{S)~W|QUQ S, W, T, Q c (S{W)~T{QUQ S, W, T, U c S~W{T~UUQ S, W, T, X c W~(X|TS)UQ S, W, U, R c (S{R)~W{UUQ S, W, U, T c S~W{U~TUQ S, W, U, U c S~(W{U){UUQ S, W, U, V c (S{U)~V|WUQ S, W, U, W c S{W~W|UUQ S, W, U, X c S~(W{X)|UUQ S, W, V, Q c S{W~V{QUQ S, W, V, R c W~(V{RS)UQ S, W, V, U c (S{U)~V|WUQ S, W, W, P c W~(W|PS)UQ S, W, W, Q c S~(W{W)|QUQ S, W, W, U c S{W~W|UUQ S, W, W, W c W~W|WSUQ S, W, X, Q c (S{Q)~X{WUQ S, W, X, T c W~(X|TS)UQ S, W, X, U c S~(W{X)|UUQ S, X, P, R c (S{R)~X|PUQ S, X, Q, R c (S{X~R)~QUQ S, X, Q, T c (S~X|T)~QUQ S, X, Q, U c S~(X{U){QUQ S, X, Q, V c S~(X{V)|QUQ S, X, Q, W c (S{Q)~X{WUQ S, X, R, P c (S{R)~X|PUQ S, X, R, Q c (S{X~R)~QUQ S, X, R, T c (S{X)~T|RUQ S, X, R, U c (SR{X)~UUQ S, X, R, V c X~V|S{RUQ S, X, S, U c S{X~U{SUQ S, X, S, V c X~V|SSUQ S, X, T, Q c (S~X|T)~QUQ S, X, T, R c (S{X)~T|RUQ S, X, T, U c S~(X{T){UUQ S, X, T, V c S{X~V|TUQ S, X, T, W c (X|TS)~WUQ S, X, U, Q c S~(X{U){QUQ S, X, U, R c (SR{X)~UUQ S, X, U, S c S{X~U{SUQ S, X, U, T c S~(X{T){UUQ S, X, U, W c S~(X{W)|UUQ S, X, V, Q c S~(X{V)|QUQ S, X, V, R c X~V|S{RUQ S, X, V, S c X~V|SSUQ S, X, V, T c S{X~V|TUQ S, X, V, V c S{X{V~VUQ S, X, W, Q c (S{Q)~X{WUQ S, X, W, T c (X|TS)~WUQ S, X, W, U c S~(X{W)|UUQ T, P, Q, U c (T~U{P)~QUQ T, P, Q, X c (T{Q)~X|PUQ T, P, S, V c (T{S)~V|PUQ T, P, U, Q c (T~U{P)~QUQ T, P, V, S c (T{S)~V|PUQ T, P, V, W c T{P{V~WUQ T, P, W, V c T{P{W~VUQ T, P, W, X c (T{P)~X{WUQ T, P, X, Q c (T{Q)~X|PUQ T, P, X, W c (T{P)~X{WUQ T, Q, P, U c (T~U{P)~QUQ T, Q, P, X c (T{Q)~X|PUQ T, Q, Q, U c T~Q~U{QUQ T, Q, R, S c T~R~S{QUQ T, Q, R, W c (T{R)~W|QUQ T, Q, R, X c T~(R{X){QUQ T, Q, S, R c T~S~R{QUQ T, Q, S, V c (T~V|S)~QUQ T, Q, S, W c T~(S{W){QUQ T, Q, S, X c Q~(S~X|T)UQ T, Q, T, U c (T{T)~U{QUQ T, Q, T, V c T~(T{V){QUQ T, Q, U, P c (T~U{P)~QUQ T, Q, U, Q c T~Q~U{QUQ T, Q, U, T c (T{T)~U{QUQ T, Q, U, U c T~(U{U){QUQ T, Q, U, W c (T{Q)~W{UUQ T, Q, V, S c (T~V|S)~QUQ T, Q, V, T c (T{V)~T{QUQ T, Q, V, W c T~Q~V|WUQ T, Q, V, X c T~(Q{X){VUQ T, Q, W, R c (T{R)~W|QUQ T, Q, W, S c T~(W{S){QUQ T, Q, W, U c (T{Q)~W{UUQ T, Q, W, V c T~Q~V|WUQ T, Q, W, X c (T~W|X)~QUQ T, Q, X, P c (T{Q)~X|PUQ T, Q, X, R c T~(X{R){QUQ T, Q, X, S c Q~(X~S|T)UQ T, Q, X, V c T~(Q{X){VUQ T, Q, X, W c (T~W|X)~QUQ T, R, Q, S c T~R~S{QUQ T, R, Q, W c (T{R)~W|QUQ T, R, Q, X c T~(R{X){QUQ T, R, S, Q c T~R~S{QUQ T, R, S, X c T~(S{X)|RUQ T, R, T, W c T~(T{W)|RUQ T, R, U, V c (T{R)~V{UUQ T, R, U, X c T{R{U~XUQ T, R, V, U c (T{R)~V{UUQ T, R, V, W c T~(R{W){VUQ T, R, V, X c T~V{R~XUQ T, R, W, Q c (T{R)~W|QUQ T, R, W, T c (T{W)~T|RUQ T, R, W, V c T~(R{W){VUQ T, R, W, W c R{W~W|TUQ T, R, X, Q c T~(R{X){QUQ T, R, X, S c T~(X{S)|RUQ T, R, X, U c T{R{X~UUQ T, R, X, V c T~V{R~XUQ T, S, P, V c (T{S)~V|PUQ T, S, Q, R c T~S~R{QUQ T, S, Q, V c (T~V|S)~QUQ T, S, Q, W c T~(S{W){QUQ T, S, Q, X c (S~X|T)~QUQ T, S, R, Q c T~S~R{QUQ T, S, R, X c T~(S{X)|RUQ T, S, U, U c (T{U)~U|SUQ T, S, U, V c T~S{U~VUQ T, S, U, W c (T{S)~U{WUQ T, S, U, X c (T{X)~S{UUQ T, S, V, P c (T{S)~V|PUQ T, S, V, Q c (T~V|S)~QUQ T, S, V, U c T~S{V~UUQ T, S, V, V c T~(S{V){VUQ T, S, V, X c S{V~X|TUQ T, S, W, Q c T~(S{W){QUQ T, S, W, U c (T{S)~U{WUQ T, S, W, X c W~(X|TS)UQ T, S, X, Q c (S~X|T)~QUQ T, S, X, R c T~(S{X)|RUQ T, S, X, U c (T{X)~S{UUQ T, S, X, V c S{X~V|TUQ T, S, X, W c (X|TS)~WUQ T, T, Q, U c (T{T)~U{QUQ T, T, Q, V c T~(T{V){QUQ T, T, R, W c T~(T{W)|RUQ T, T, U, Q c (T{T)~U{QUQ T, T, U, V c T~(T{U){VUQ T, T, V, Q c T~(T{V){QUQ T, T, V, U c T~(T{U){VUQ T, T, V, W c (T{T)~V|WUQ T, T, V, X c V~X|TTUQ T, T, W, R c T~(T{W)|RUQ T, T, W, V c (T{T)~V|WUQ T, T, W, X c T~(T{X)|WUQ T, T, X, V c X~V|TTUQ T, T, X, W c T~(T{X)|WUQ T, U, P, Q c (T~U{P)~QUQ T, U, Q, P c (T~U{P)~QUQ T, U, Q, Q c T~U~Q{QUQ T, U, Q, T c (T{T)~U{QUQ T, U, Q, U c T~(U{U){QUQ T, U, Q, W c (T{Q)~W{UUQ T, U, R, V c T~(U{V)|RUQ T, U, R, X c T{U~X{RUQ T, U, S, U c (T{U)~U|SUQ T, U, S, V c T~S{U~VUQ T, U, S, W c T~U{S~WUQ T, U, S, X c (T{X)~S{UUQ T, U, T, Q c (T{T)~U{QUQ T, U, T, V c (T{U)~T{VUQ T, U, U, Q c T~(U{U){QUQ T, U, U, S c (T{U)~U|SUQ T, U, V, R c T~(U{V)|RUQ T, U, V, S c T~S{U~VUQ T, U, V, T c (T{U)~T{VUQ T, U, V, X c T{V~X|UUQ T, U, W, Q c (T{Q)~W{UUQ T, U, W, S c T~U{W~SUQ T, U, W, W c T~(U{W)|WUQ T, U, W, X c T{U~W{XUQ T, U, X, R c T{U~X{RUQ T, U, X, S c (T{X)~S{UUQ T, U, X, V c T{X~V|UUQ T, U, X, W c T{U~W{XUQ T, V, P, S c (T{S)~V|PUQ T, V, P, W c T{V~W{PUQ T, V, Q, S c (T~V|S)~QUQ T, V, Q, T c (T{V)~T{QUQ T, V, Q, W c T~V~Q|WUQ T, V, Q, X c T~(Q{X){VUQ T, V, R, U c T~(V{U)|RUQ T, V, R, W c T~(R{W){VUQ T, V, R, X c T~V{R~XUQ T, V, S, P c (T{S)~V|PUQ T, V, S, Q c (T~V|S)~QUQ T, V, S, U c T~S{V~UUQ T, V, S, V c T~(V{S){VUQ T, V, S, X c V~X|T{SUQ T, V, T, Q c (T{V)~T{QUQ T, V, T, U c T~(T{U){VUQ T, V, T, W c (T{T)~V|WUQ T, V, T, X c V~X|TTUQ T, V, U, R c T~(V{U)|RUQ T, V, U, S c T~S{V~UUQ T, V, U, T c (T{U)~T{VUQ T, V, U, X c T{V~X|UUQ T, V, V, S c T~(V{S){VUQ T, V, V, W c T{V~V{WUQ T, V, W, P c T{V~W{PUQ T, V, W, Q c T~V~Q|WUQ T, V, W, R c T~(W{R){VUQ T, V, W, T c (T{T)~V|WUQ T, V, W, V c T{V~V{WUQ T, V, W, W c T{W~W|VUQ T, V, X, Q c T~(X{Q){VUQ T, V, X, R c T~V{X~RUQ T, V, X, S c V~X|T{SUQ T, V, X, T c V~X|TTUQ T, V, X, U c T{V~X|UUQ T, W, P, V c T{W~V{PUQ T, W, P, X c (T{P)~X{WUQ T, W, Q, R c (T{R)~W|QUQ T, W, Q, S c T~(W{S){QUQ T, W, Q, U c (T{Q)~W{UUQ T, W, Q, V c T~Q~V|WUQ T, W, Q, X c (T~W|X)~QUQ T, W, R, Q c (T{R)~W|QUQ T, W, R, T c (T{W)~T|RUQ T, W, R, V c T~(W{R){VUQ T, W, R, W c W~W|T{RUQ T, W, S, Q c T~(W{S){QUQ T, W, S, U c (T{S)~U{WUQ T, W, S, X c W~(X|TS)UQ T, W, T, R c (T{W)~T|RUQ T, W, T, V c (T{T)~V|WUQ T, W, T, X c T~(T{X)|WUQ T, W, U, Q c (T{Q)~W{UUQ T, W, U, S c T~U{W~SUQ T, W, U, W c T~(W{U)|WUQ T, W, U, X c T{W~U{XUQ T, W, V, P c T{W~V{PUQ T, W, V, Q c T~V~Q|WUQ T, W, V, R c T~(W{R){VUQ T, W, V, T c (T{T)~V|WUQ T, W, V, V c T{W{V~VUQ T, W, V, W c T{W~W|VUQ T, W, W, R c W~W|T{RUQ T, W, W, U c T~(W{U)|WUQ T, W, W, V c T{W~W|VUQ T, W, X, P c (T{P)~X{WUQ T, W, X, Q c (T~W|X)~QUQ T, W, X, S c W~(X|TS)UQ T, W, X, T c (T{X)~T|WUQ T, W, X, U c T{W~U{XUQ T, W, X, X c T~X{W{XUQ T, X, P, Q c (T{Q)~X|PUQ T, X, P, W c (T{P)~X{WUQ T, X, Q, P c (T{Q)~X|PUQ T, X, Q, R c T~(X{R){QUQ T, X, Q, S c (X~S|T)~QUQ T, X, Q, V c T~(X{Q){VUQ T, X, Q, W c (T~W|X)~QUQ T, X, R, Q c T~(X{R){QUQ T, X, R, S c T~(X{S)|RUQ T, X, R, U c T{X~U{RUQ T, X, R, V c T~V{X~RUQ T, X, S, Q c (X~S|T)~QUQ T, X, S, R c T~(X{S)|RUQ T, X, S, U c (T{X)~S{UUQ T, X, S, V c X~V|T{SUQ T, X, S, W c (X|TS)~WUQ T, X, T, V c X~V|TTUQ T, X, T, W c (T{X)~T|WUQ T, X, U, R c T{X~U{RUQ T, X, U, S c (T{X)~S{UUQ T, X, U, V c T{X~V|UUQ T, X, U, W c T{X{U~WUQ T, X, V, Q c T~(X{Q){VUQ T, X, V, R c T~V{X~RUQ T, X, V, S c X~V|T{SUQ T, X, V, T c X~V|TTUQ T, X, V, U c T{X~V|UUQ T, X, W, P c (T{P)~X{WUQ T, X, W, Q c (T~W|X)~QUQ T, X, W, S c (X|TS)~WUQ T, X, W, T c (T{X)~T|WUQ T, X, W, U c T{X{W~UUQ T, X, W, X c T~X{W{XUQ T, X, X, W c T~X{X{WUQ U, O, V, W c U{O{V~WUQ U, O, W, V c U{O{W~VUQ U, O, W, X c (U{O)~X{WUQ U, O, X, W c (U{O)~X{WUQ U, P, P, X c (U{P)~X|PUQ U, P, Q, T c (U~T{P)~QUQ U, P, Q, X c U~(P{X){QUQ U, P, R, V c (U{R)~V|PUQ U, P, T, Q c (U~T{P)~QUQ U, P, U, W c U{(P{U)~WUQ U, P, V, R c (U{R)~V|PUQ U, P, V, V c U{(P{V)~VUQ U, P, V, W c U{P~V~WUQ U, P, V, X c U{V~(X|P)UQ U, P, W, U c (U{P)~W{UUQ U, P, W, V c U{P~W~VUQ U, P, W, W c U~(P{W){WUQ U, P, W, X c U~P~X{WUQ U, P, X, P c (U{P)~X|PUQ U, P, X, Q c U~(P{X){QUQ U, P, X, V c U{(X|P)~VUQ U, P, X, W c U~P~X{WUQ U, P, X, X c U~X|P{XUQ U, Q, P, T c (U~T{P)~QUQ U, Q, P, X c U~(P{X){QUQ U, Q, Q, T c U~Q~T{QUQ U, Q, Q, W c (U{Q)~W|QUQ U, Q, R, V c U~(R{V){QUQ U, Q, S, U c (U{S)~U{QUQ U, Q, S, V c U{Q~S~VUQ U, Q, S, X c U~(Q{X)|SUQ U, Q, T, P c (U~T{P)~QUQ U, Q, T, Q c U~Q~T{QUQ U, Q, T, T c (U{T~T)~QUQ U, Q, T, U c (U{U)~T{QUQ U, Q, T, W c U{(Q{T)~WUQ U, Q, U, S c U~(U{S){QUQ U, Q, U, T c (U{U)~T{QUQ U, Q, U, V c U{(Q{U)~VUQ U, Q, U, X c U{Q{U~XUQ U, Q, V, R c U~(V{R){QUQ U, Q, V, S c U{Q~V~SUQ U, Q, V, U c (U{Q)~V{UUQ U, Q, V, W c U~(Q{V){WUQ U, Q, W, Q c (U{Q)~W|QUQ U, Q, W, T c U{(Q{T)~WUQ U, Q, W, V c U~(Q{V){WUQ U, Q, W, X c U{W~(X|Q)UQ U, Q, X, P c U~(X{P){QUQ U, Q, X, S c U~(Q{X)|SUQ U, Q, X, U c U{Q{X~UUQ U, Q, X, W c U{(X|Q)~WUQ U, R, P, V c (U{R)~V|PUQ U, R, Q, V c U~(R{V){QUQ U, R, R, W c U~R~R{WUQ U, R, S, W c U{(R{S)~WUQ U, R, S, X c U~(SR{X)UQ U, R, T, V c U{(R{T)~VUQ U, R, T, X c U~X{R{TUQ U, R, U, W c (U{R)~U{WUQ U, R, V, P c (U{R)~V|PUQ U, R, V, Q c U~(R{V){QUQ U, R, V, T c U{(R{T)~VUQ U, R, V, W c U~(VR{W)UQ U, R, W, R c U~R~R{WUQ U, R, W, S c U~(R{W)|SUQ U, R, W, U c (U{R)~U{WUQ U, R, W, V c U~(W{VR)UQ U, R, W, W c W~W|URUQ U, R, X, S c U~(X{SR)UQ U, R, X, T c U~X{R{TUQ U, S, Q, U c (U{S)~U{QUQ U, S, Q, V c U{S~Q~VUQ U, S, Q, X c U~(Q{X)|SUQ U, S, R, W c U{(S{R)~WUQ U, S, R, X c U~(SR{X)UQ U, S, S, V c U{(S{S)~VUQ U, S, S, X c U~X{S{SUQ U, S, T, U c (U{T)~U|SUQ U, S, T, V c U~V{S~TUQ U, S, T, W c U~(S{T){WUQ U, S, T, X c U{S~(T{X)UQ U, S, U, Q c (U{S)~U{QUQ U, S, U, T c U~(U{T)|SUQ U, S, U, W c U{S~(U{W)UQ U, S, V, Q c U{S~V~QUQ U, S, V, S c U~(S{V)|SUQ U, S, V, T c U~V{S~TUQ U, S, V, V c U{S~(V{V)UQ U, S, V, W c (U{S)~V|WUQ U, S, W, R c U{(S{R)~WUQ U, S, W, T c U~(S{T){WUQ U, S, W, U c U{S~(W{U)UQ U, S, W, V c (U{S)~V|WUQ U, S, W, W c S{W~W|UUQ U, S, W, X c S~(W{X)|UUQ U, S, X, Q c (U{X)~S{QUQ U, S, X, R c U~(SR{X)UQ U, S, X, S c U~X{S{SUQ U, S, X, T c U{S~(X{T)UQ U, S, X, W c S~(X{W)|UUQ U, T, P, Q c (U~T{P)~QUQ U, T, Q, P c (U~T{P)~QUQ U, T, Q, Q c U~T~Q{QUQ U, T, Q, T c (U{T~T)~QUQ U, T, Q, U c (U{U)~T{QUQ U, T, Q, W c U{(T{Q)~WUQ U, T, R, V c U{(T{R)~VUQ U, T, R, X c U~X{T{RUQ U, T, S, U c (U{T)~U|SUQ U, T, S, V c U~V{T~SUQ U, T, S, W c U~(T{S){WUQ U, T, S, X c U{(T{X)~SUQ U, T, T, Q c (U{T~T)~QUQ U, T, T, V c (U{T)~T{VUQ U, T, U, Q c (U{U)~T{QUQ U, T, U, S c (U{T)~U|SUQ U, T, V, R c U{(T{R)~VUQ U, T, V, S c U~V{T~SUQ U, T, V, T c (U{T)~T{VUQ U, T, V, X c T{V~X|UUQ U, T, W, Q c U{(T{Q)~WUQ U, T, W, S c U~T{W~SUQ U, T, W, W c (U{W)~T|WUQ U, T, W, X c U~W{T{XUQ U, T, X, R c U~X{T{RUQ U, T, X, S c U{(T{X)~SUQ U, T, X, V c T{X~V|UUQ U, T, X, W c U~W{T{XUQ U, U, P, W c U{(U{P)~WUQ U, U, Q, S c U~(U{S){QUQ U, U, Q, T c (U{U)~T{QUQ U, U, Q, V c U{(U{Q)~VUQ U, U, Q, X c U{U~X{QUQ U, U, R, W c U~(U{R){WUQ U, U, S, Q c U~(U{S){QUQ U, U, S, T c U~(U{T)|SUQ U, U, S, W c U{(U{W)~SUQ U, U, T, Q c (U{U)~T{QUQ U, U, T, S c U~(U{T)|SUQ U, U, V, Q c U{(U{Q)~VUQ U, U, V, X c V~X|UUUQ U, U, W, P c U{(U{P)~WUQ U, U, W, R c U~(U{R){WUQ U, U, W, S c U{(U{W)~SUQ U, U, W, W c U{U~W{WUQ U, U, W, X c U~(WU{X)UQ U, U, X, Q c U{U~X{QUQ U, U, X, V c X~V|UUUQ U, U, X, W c U~(X{WU)UQ U, V, O, W c U{(V{O)~WUQ U, V, P, R c (U{R)~V|PUQ U, V, P, V c U{(V{P)~VUQ U, V, P, W c U{V~P~WUQ U, V, P, X c U{V~(X|P)UQ U, V, Q, R c U~(V{R){QUQ U, V, Q, S c U{V~Q~SUQ U, V, Q, U c U{V~(Q{U)UQ U, V, Q, W c U~(V{Q){WUQ U, V, R, P c (U{R)~V|PUQ U, V, R, Q c U~(V{R){QUQ U, V, R, T c U{V~(R{T)UQ U, V, R, W c U~(VR{W)UQ U, V, S, Q c U{V~S~QUQ U, V, S, S c U{V~(S{S)UQ U, V, S, T c U~V{S~TUQ U, V, S, V c U{(V{V)~SUQ U, V, S, W c (U{VS)~WUQ U, V, T, R c U{V~(T{R)UQ U, V, T, S c U~V{T~SUQ U, V, T, T c (U{T)~T{VUQ U, V, T, X c V~X|U{TUQ U, V, U, Q c U{V~(U{Q)UQ U, V, U, X c V~X|UUUQ U, V, V, P c U{V~(V{P)UQ U, V, V, S c U{(V{V)~SUQ U, V, V, V c U{V{V~VUQ U, V, V, W c (UV{W)~VUQ U, V, V, X c U{V~X|VUQ U, V, W, O c U{V~W{OUQ U, V, W, P c U{V~W~PUQ U, V, W, Q c U~(V{Q){WUQ U, V, W, R c U~(VR{W)UQ U, V, W, S c (U{VS)~WUQ U, V, W, V c (UV{W)~VUQ U, V, W, W c (UW{V)~WUQ U, V, X, P c U{V~(X|P)UQ U, V, X, T c V~X|U{TUQ U, V, X, U c V~X|UUUQ U, V, X, V c U{V~X|VUQ U, W, O, V c U{(W{O)~VUQ U, W, O, X c (U{O)~X{WUQ U, W, P, U c U{W~(P{U)UQ U, W, P, V c U{W~P~VUQ U, W, P, W c U{(W|P)~WUQ U, W, P, X c U~P~X{WUQ U, W, Q, Q c U~(W{Q){QUQ U, W, Q, T c U{W~(Q{T)UQ U, W, Q, V c U~W{Q~VUQ U, W, Q, X c U{W~(X|Q)UQ U, W, R, R c U~R~R{WUQ U, W, R, S c U{W~(R{S)UQ U, W, R, U c (U{R)~U{WUQ U, W, R, V c U~(W{VR)UQ U, W, R, W c W~W|URUQ U, W, S, R c U{W~(S{R)UQ U, W, S, T c U~(S{T){WUQ U, W, S, U c (U{W)~S{UUQ U, W, S, V c (U{S)~V|WUQ U, W, S, W c W~W|U{SUQ U, W, S, X c (W~X)|(U{S)UQ U, W, T, Q c U{W~(T{Q)UQ U, W, T, S c U~T{W~SUQ U, W, T, W c (U{W)~T|WUQ U, W, T, X c U~W{T{XUQ U, W, U, P c U{W~(U{P)UQ U, W, U, R c U~(U{R){WUQ U, W, U, S c U{(W{U)~SUQ U, W, U, W c U{W{U~WUQ U, W, U, X c U~(WU{X)UQ U, W, V, O c U{W~V{OUQ U, W, V, P c U{W~V~PUQ U, W, V, Q c U~W{V~QUQ U, W, V, R c U~(W{VR)UQ U, W, V, S c (U{VS)~WUQ U, W, V, V c U~W{V{VUQ U, W, V, W c (UW{V)~WUQ U, W, W, P c U{W~(W|P)UQ U, W, W, R c W~W|URUQ U, W, W, S c W~W|U{SUQ U, W, W, T c (U{W)~T|WUQ U, W, W, U c U{W{W~UUQ U, W, W, V c (UW{V)~WUQ U, W, W, W c U{W~W|WUQ U, W, X, O c U~X{W{OUQ U, W, X, P c U~X{W~PUQ U, W, X, Q c U{W~(X|Q)UQ U, W, X, S c (W~X)|(U{S)UQ U, W, X, T c U~W{X{TUQ U, W, X, U c U~(WU{X)UQ U, W, X, X c (U{WX)~XUQ U, X, O, W c U~X{O{WUQ U, X, P, P c (U{P)~X|PUQ U, X, P, Q c U~(X{P){QUQ U, X, P, V c U{(X|P)~VUQ U, X, P, W c U~X{P~WUQ U, X, P, X c U~X|P{XUQ U, X, Q, P c U~(X{P){QUQ U, X, Q, S c U~(X{Q)|SUQ U, X, Q, U c U~X{Q{UUQ U, X, Q, W c U{(X|Q)~WUQ U, X, R, S c U~(X{SR)UQ U, X, R, T c U~X{R{TUQ U, X, S, Q c (U{X)~S{QUQ U, X, S, R c U~(X{SR)UQ U, X, S, S c U~X{S{SUQ U, X, S, T c U{(X{T)~SUQ U, X, S, W c (X~W)|(U{S)UQ U, X, T, R c U~X{T{RUQ U, X, T, S c U{(X{T)~SUQ U, X, T, V c X~V|U{TUQ U, X, T, W c U~W{X{TUQ U, X, U, Q c U{X~U{QUQ U, X, U, V c X~V|UUUQ U, X, U, W c U~(X{WU)UQ U, X, V, P c U~X{V{PUQ U, X, V, T c X~V|U{TUQ U, X, V, U c X~V|UUUQ U, X, V, V c U{X~V|VUQ U, X, W, O c U~X{W{OUQ U, X, W, P c U~X{W~PUQ U, X, W, Q c U{(X|Q)~WUQ U, X, W, S c (X~W)|(U{S)UQ U, X, W, T c U~W{X{TUQ U, X, W, U c U~(X{WU)UQ U, X, W, X c (U{WX)~XUQ U, X, X, P c U~X{X|PUQ U, X, X, W c (U{WX)~XUQ V, O, P, X c (V{O)~X|PUQ V, O, U, W c (V{O)~W{UUQ V, O, W, U c (V{O)~W{UUQ V, O, X, P c (V{O)~X|PUQ V, P, O, X c (V{O)~X|PUQ V, P, P, W c V~(P{W)|PUQ V, P, P, X c V~P~X|PUQ V, P, Q, V c (V{Q)~V|PUQ V, P, Q, W c (V{P)~W|QUQ V, P, Q, X c V~X{P|QUQ V, P, R, R c V~R~R|PUQ V, P, R, U c V~(R{U)|PUQ V, P, S, T c V~(S{T)|PUQ V, P, T, S c V~(T{S)|PUQ V, P, T, W c V~W{P{TUQ V, P, U, R c V~(U{R)|PUQ V, P, U, V c (V{P)~V{UUQ V, P, U, W c V~P~W{UUQ V, P, U, X c V{P{U~XUQ V, P, V, Q c V~(V{Q)|PUQ V, P, V, U c (V{P)~V{UUQ V, P, V, W c V|P{V~WUQ V, P, V, X c V~(X|PV)UQ V, P, W, P c V~(P{W)|PUQ V, P, W, Q c (V{P)~W|QUQ V, P, W, T c V~W{P{TUQ V, P, W, U c V~P~W{UUQ V, P, W, V c V|P{W~VUQ V, P, W, X c (V|P)~X{WUQ V, P, X, O c V~X|P{OUQ V, P, X, P c V~P~X|PUQ V, P, X, Q c V~X{P|QUQ V, P, X, U c V{P{X~UUQ V, P, X, V c V~(X|PV)UQ V, P, X, W c (V|P)~X{WUQ V, P, X, X c (V|PX)~XUQ V, Q, P, V c (V{Q)~V|PUQ V, Q, P, W c (V{P)~W|QUQ V, Q, P, X c V~X|Q{PUQ V, Q, Q, X c V~X|QQUQ V, Q, R, S c (V~S{R)~QUQ V, Q, R, U c (V{R)~U{QUQ V, Q, R, W c (V{R~W)~QUQ V, Q, R, X c V~X{Q|RUQ V, Q, S, R c (V~S{R)~QUQ V, Q, S, T c (V~T|S)~QUQ V, Q, S, U c V~Q~S{UUQ V, Q, S, W c V~W{Q{SUQ V, Q, S, X c (V{X)~S|QUQ V, Q, T, S c (V~T|S)~QUQ V, Q, T, T c (V{T)~T{QUQ V, Q, T, W c V~Q~T|WUQ V, Q, T, X c V{(Q{X)~TUQ V, Q, U, R c (V{R)~U{QUQ V, Q, U, S c V~Q~S{UUQ V, Q, U, U c V~(Q{U){UUQ V, Q, U, W c (V{Q)~U{WUQ V, Q, V, P c (V{Q)~V|PUQ V, Q, W, P c (V{P)~W|QUQ V, Q, W, R c V~W{Q~RUQ V, Q, W, S c V~W{Q{SUQ V, Q, W, T c V~Q~T|WUQ V, Q, W, U c V~Q{W~UUQ V, Q, W, W c V~(Q{W)|WUQ V, Q, X, P c V~X|Q{PUQ V, Q, X, Q c V~X|QQUQ V, Q, X, R c V~X{Q|RUQ V, Q, X, S c (V{X)~S|QUQ V, Q, X, T c V{(Q{X)~TUQ V, R, P, R c V~R~R|PUQ V, R, P, U c V~(R{U)|PUQ V, R, Q, S c (V~S{R)~QUQ V, R, Q, U c (V{R)~U{QUQ V, R, Q, W c (V{R~W)~QUQ V, R, Q, X c V~X|R{QUQ V, R, R, P c V~R~R|PUQ V, R, R, W c V~W{R{RUQ V, R, R, X c V~X|RRUQ V, R, S, Q c (V~S{R)~QUQ V, R, S, W c (V{RS)~WUQ V, R, S, X c V~X{R|SUQ V, R, T, U c V~(R{T){UUQ V, R, T, W c V{(R{W)~TUQ V, R, T, X c V~T{R~XUQ V, R, U, P c V~(R{U)|PUQ V, R, U, Q c (V{R)~U{QUQ V, R, U, T c V~(R{T){UUQ V, R, U, W c (VR{W)~UUQ V, R, V, W c (V{R)~V|WUQ V, R, W, Q c (V{R~W)~QUQ V, R, W, R c V~W{R{RUQ V, R, W, S c (V{RS)~WUQ V, R, W, T c V{(R{W)~TUQ V, R, W, U c (VR{W)~UUQ V, R, W, V c (V{R)~V|WUQ V, R, W, X c V~W|R{XUQ V, R, X, Q c V~X|R{QUQ V, R, X, R c V~X|RRUQ V, R, X, S c V~X{R|SUQ V, R, X, T c V~T{R~XUQ V, R, X, W c V~W|R{XUQ V, S, P, T c V~(S{T)|PUQ V, S, Q, R c (V~S{R)~QUQ V, S, Q, T c (V~T|S)~QUQ V, S, Q, U c V~S~Q{UUQ V, S, Q, W c (V{W)~S{QUQ V, S, Q, X c (V{X)~S|QUQ V, S, R, Q c (V~S{R)~QUQ V, S, R, W c (V{RS)~WUQ V, S, R, X c V~X|S{RUQ V, S, S, U c V~(S{S){UUQ V, S, S, X c V~X|SSUQ V, S, T, P c V~(S{T)|PUQ V, S, T, Q c (V~T|S)~QUQ V, S, T, U c V~U{S~TUQ V, S, T, V c (V{S)~T{VUQ V, S, T, X c V~X{S|TUQ V, S, U, Q c (V{S~U)~QUQ V, S, U, S c (V{S)~U|SUQ V, S, U, T c V~U{S~TUQ V, S, U, V c (V{V)~S{UUQ V, S, U, W c V~(S{U)|WUQ V, S, V, T c V{(S{V)~TUQ V, S, V, U c (V{V)~S{UUQ V, S, V, X c V~V{S{XUQ V, S, W, Q c (V{W)~S{QUQ V, S, W, R c (V{RS)~WUQ V, S, W, U c V~(S{U)|WUQ V, S, X, Q c (V{X)~S|QUQ V, S, X, R c V~X|S{RUQ V, S, X, S c V~X|SSUQ V, S, X, T c V~X{S|TUQ V, S, X, V c V~V{S{XUQ V, T, P, S c V~(T{S)|PUQ V, T, P, W c V~W{T{PUQ V, T, Q, S c (V~T|S)~QUQ V, T, Q, T c (V{T)~T{QUQ V, T, Q, W c V~T~Q|WUQ V, T, Q, X c V{T~(Q{X)UQ V, T, R, U c V~(T{R){UUQ V, T, R, W c V{T~(R{W)UQ V, T, R, X c V~T{R~XUQ V, T, S, P c V~(T{S)|PUQ V, T, S, Q c (V~T|S)~QUQ V, T, S, U c V~U{T~SUQ V, T, S, V c V{T~(S{V)UQ V, T, S, X c V~X|T{SUQ V, T, T, Q c (V{T)~T{QUQ V, T, T, U c V{T~(T{U)UQ V, T, T, W c V~(T{T)|WUQ V, T, T, X c V~X|TTUQ V, T, U, R c V~(T{R){UUQ V, T, U, S c V~U{T~SUQ V, T, U, T c V{(T{U)~TUQ V, T, U, X c V~X{T|UUQ V, T, V, S c V{T~(V{S)UQ V, T, V, W c (V{V)~T|WUQ V, T, W, P c V~W{T{PUQ V, T, W, Q c V~T~Q|WUQ V, T, W, R c V{T~(W{R)UQ V, T, W, T c V~(T{T)|WUQ V, T, W, V c (V{V)~T|WUQ V, T, W, W c T{W~W|VUQ V, T, X, Q c V{T~(X{Q)UQ V, T, X, R c V~T{X~RUQ V, T, X, S c V~X|T{SUQ V, T, X, T c V~X|TTUQ V, T, X, U c V~X{T|UUQ V, U, O, W c (V{O)~W{UUQ V, U, P, R c V~(U{R)|PUQ V, U, P, V c (V{P)~V{UUQ V, U, P, W c V~P~W{UUQ V, U, P, X c V{U~X{PUQ V, U, Q, R c (V{R)~U{QUQ V, U, Q, S c (V{U~S)~QUQ V, U, Q, U c V~(U{Q){UUQ V, U, Q, W c (V{Q)~U{WUQ V, U, R, P c V~(U{R)|PUQ V, U, R, Q c (V{R)~U{QUQ V, U, R, T c (V{U)~T|RUQ V, U, R, W c (VR{W)~UUQ V, U, S, Q c (V{U~S)~QUQ V, U, S, S c (V{S)~U|SUQ V, U, S, T c V~U{S~TUQ V, U, S, V c (V{V)~S{UUQ V, U, S, W c V~(U{S)|WUQ V, U, T, R c (V{U)~T|RUQ V, U, T, S c V~U{T~SUQ V, U, T, T c V{(U{T)~TUQ V, U, T, X c V~X|U{TUQ V, U, U, Q c V~(U{Q){UUQ V, U, U, X c V~X|UUUQ V, U, V, P c V~(V{P){UUQ V, U, V, S c (V{V)~S{UUQ V, U, V, V c V{U{V~VUQ V, U, V, W c V~(UV{W)UQ V, U, V, X c V~X{U|VUQ V, U, W, O c V~W{U{OUQ V, U, W, P c V~W{U~PUQ V, U, W, Q c (V{Q)~U{WUQ V, U, W, R c (VR{W)~UUQ V, U, W, S c V~(U{S)|WUQ V, U, W, V c V{U~W{VUQ V, U, W, W c (V{UW)~WUQ V, U, X, P c V{U~X{PUQ V, U, X, T c V~X|U{TUQ V, U, X, U c V~X|UUUQ V, U, X, V c V~X{U|VUQ V, V, P, Q c V~(V{Q)|PUQ V, V, P, U c V~(V{P){UUQ V, V, P, W c V{V~W|PUQ V, V, P, X c V~(X|PV)UQ V, V, Q, P c V~(V{Q)|PUQ V, V, R, W c V~(V{R)|WUQ V, V, S, T c V{(V{S)~TUQ V, V, S, U c (V{V)~S{UUQ V, V, S, X c V~V{S{XUQ V, V, T, S c V{(V{S)~TUQ V, V, T, W c (V{V)~T|WUQ V, V, U, P c V~(V{P){UUQ V, V, U, S c (V{V)~S{UUQ V, V, U, V c V~V{U{VUQ V, V, U, W c V{V{U~WUQ V, V, U, X c V~X|V{UUQ V, V, V, U c V{V~V{UUQ V, V, V, X c V~X|VVUQ V, V, W, P c V{V~W|PUQ V, V, W, R c V~(V{R)|WUQ V, V, W, T c V~V{W{TUQ V, V, W, U c V{V{W~UUQ V, V, W, X c V{V~X|WUQ V, V, X, P c V~(X|PV)UQ V, V, X, S c V~V{X{SUQ V, V, X, U c V~X|V{UUQ V, V, X, V c V~X|VVUQ V, V, X, W c V{V~X|WUQ V, W, O, U c V~W{O{UUQ V, W, P, P c V~(W{P)|PUQ V, W, P, Q c (V{P)~W|QUQ V, W, P, T c V~W{P{TUQ V, W, P, U c V~W{P~UUQ V, W, P, V c V~W|P{VUQ V, W, P, X c (V|P)~X{WUQ V, W, Q, P c (V{P)~W|QUQ V, W, Q, R c V~W{Q~RUQ V, W, Q, S c V~W{Q{SUQ V, W, Q, T c V~Q~T|WUQ V, W, Q, U c V~Q{W~UUQ V, W, Q, W c V~(W{Q)|WUQ V, W, R, Q c (V{W~R)~QUQ V, W, R, R c V~W{R{RUQ V, W, R, S c (V{RS)~WUQ V, W, R, T c V{(W{R)~TUQ V, W, R, U c (VR{W)~UUQ V, W, R, V c (V{R)~V|WUQ V, W, R, X c V~W|R{XUQ V, W, S, Q c (V{W)~S{QUQ V, W, S, R c (V{RS)~WUQ V, W, S, U c V~(S{U)|WUQ V, W, T, P c V~W{T{PUQ V, W, T, Q c V~T~Q|WUQ V, W, T, R c V{(W{R)~TUQ V, W, T, T c V~(T{T)|WUQ V, W, T, V c V~V{W{TUQ V, W, T, W c W~W|V{TUQ V, W, U, O c V~W{U{OUQ V, W, U, P c V~W{U~PUQ V, W, U, Q c V~Q{W~UUQ V, W, U, R c (VR{W)~UUQ V, W, U, S c V~(U{S)|WUQ V, W, U, V c V{W~U{VUQ V, W, U, W c (V{UW)~WUQ V, W, V, P c V{W~V|PUQ V, W, V, R c V~(V{R)|WUQ V, W, V, T c V~V{W{TUQ V, W, V, U c V{W~U{VUQ V, W, V, X c V{V~X|WUQ V, W, W, Q c V~W{W|QUQ V, W, W, T c W~W|V{TUQ V, W, W, U c (V{UW)~WUQ V, W, W, X c V{W~W|XUQ V, W, X, P c V~(X{P)|WUQ V, W, X, R c V~W{X|RUQ V, W, X, V c V~X|W{VUQ V, W, X, W c V{W~W|XUQ V, W, X, X c V~X{W|XUQ V, X, O, P c V~X{O|PUQ V, X, P, O c V~X|P{OUQ V, X, P, P c V~X|P~PUQ V, X, P, Q c V~X{P|QUQ V, X, P, U c V~(X|P){UUQ V, X, P, V c V~(X|PV)UQ V, X, P, W c V~(X{P)|WUQ V, X, P, X c (V|PX)~XUQ V, X, Q, P c V~X|Q{PUQ V, X, Q, Q c V~X|QQUQ V, X, Q, R c V~X{Q|RUQ V, X, Q, S c (V{X)~S|QUQ V, X, Q, T c V{(X{Q)~TUQ V, X, R, Q c V~X|R{QUQ V, X, R, R c V~X|RRUQ V, X, R, S c V~X{R|SUQ V, X, R, T c V~T{X~RUQ V, X, R, W c V~W{X|RUQ V, X, S, Q c (V{X)~S|QUQ V, X, S, R c V~X|S{RUQ V, X, S, S c V~X|SSUQ V, X, S, T c V~X{S|TUQ V, X, S, V c V~V{X{SUQ V, X, T, Q c V{(X{Q)~TUQ V, X, T, R c V~T{X~RUQ V, X, T, S c V~X|T{SUQ V, X, T, T c V~X|TTUQ V, X, T, U c V~X{T|UUQ V, X, U, P c V{X~U{PUQ V, X, U, T c V~X|U{TUQ V, X, U, U c V~X|UUUQ V, X, U, V c V~X{U|VUQ V, X, V, P c V~(X|PV)UQ V, X, V, S c V~V{X{SUQ V, X, V, U c V~X|V{UUQ V, X, V, V c V~X|VVUQ V, X, V, W c V{X~V|WUQ V, X, W, P c V~(X{P)|WUQ V, X, W, R c V~W{X|RUQ V, X, W, V c V~X|W{VUQ V, X, W, W c V~X|WWUQ V, X, W, X c V~X{W|XUQ V, X, X, P c (V|PX)~XUQ V, X, X, W c V~X|X{WUQ V, X, X, X c V~X|XXUQ W, O, Q, W c (W{O)~W|QUQ W, O, U, V c (W{O)~V{UUQ W, O, U, X c W{O{U~XUQ W, O, V, U c (W{O)~V{UUQ W, O, W, Q c (W{O)~W|QUQ W, O, X, U c W{O{X~UUQ W, P, P, V c (W{P)~V|PUQ W, P, P, W c (W~W)|(P{P)UQ W, P, P, X c (W|P)~X|PUQ W, P, Q, S c (W~S|P)~QUQ W, P, Q, V c W~(P{V)|QUQ W, P, Q, W c W~P~W|QUQ W, P, Q, X c W~(X|P)|QUQ W, P, R, W c W~W{P|RUQ W, P, S, Q c (W~S|P)~QUQ W, P, S, W c (W|PS)~WUQ W, P, T, V c W~V{P{TUQ W, P, T, X c W{(P{T)~XUQ W, P, U, U c W~(P{U){UUQ W, P, U, V c W~P~V{UUQ W, P, U, W c (W{P)~U{WUQ W, P, U, X c W{P~U~XUQ W, P, V, P c (W{P)~V|PUQ W, P, V, Q c W~(P{V)|QUQ W, P, V, T c W~V{P{TUQ W, P, V, U c W~P~V{UUQ W, P, V, V c W~V|P{VUQ W, P, V, X c W{(V|P)~XUQ W, P, W, P c (W~W)|(P{P)UQ W, P, W, Q c W~P~W|QUQ W, P, W, R c W~W{P|RUQ W, P, W, S c (W|PS)~WUQ W, P, W, U c W{(P{W)~UUQ W, P, X, P c (W|P)~X|PUQ W, P, X, Q c W~(X|P)|QUQ W, P, X, T c W{(P{T)~XUQ W, P, X, U c W{P~X~UUQ W, P, X, V c W{X~(V|P)UQ W, P, X, X c (W~X)|(P{X)UQ W, Q, O, W c (W{O)~W|QUQ W, Q, P, S c (W~S|P)~QUQ W, Q, P, V c W~(P{V)|QUQ W, Q, P, W c W~P~W|QUQ W, Q, P, X c W~(X|P)|QUQ W, Q, Q, S c W~Q~S|QUQ W, Q, Q, U c (W{Q)~U{QUQ W, Q, R, T c W~(R{T)|QUQ W, Q, R, V c (W~R{V)~QUQ W, Q, R, X c W{Q~R~XUQ W, Q, S, P c (W~S|P)~QUQ W, Q, S, Q c W~Q~S|QUQ W, Q, S, S c W~(S{S)|QUQ W, Q, S, T c (W{S)~T{QUQ W, Q, S, V c W~V{Q{SUQ W, Q, S, W c W~W{Q|SUQ W, Q, S, X c W{(Q{S)~XUQ W, Q, T, R c W~(T{R)|QUQ W, Q, T, S c (W{S)~T{QUQ W, Q, T, U c W~(Q{T){UUQ W, Q, T, V c Q~T~V|WUQ W, Q, T, X c (W~T|X)~QUQ W, Q, U, Q c (W{Q)~U{QUQ W, Q, U, T c W~(Q{T){UUQ W, Q, U, V c W{(Q{V)~UUQ W, Q, U, X c W~(X|Q){UUQ W, Q, V, P c W~(V{P)|QUQ W, Q, V, R c W~V{Q~RUQ W, Q, V, S c W~V{Q{SUQ W, Q, V, T c Q~V~T|WUQ W, Q, V, U c W{(Q{V)~UUQ W, Q, V, W c (W{Q)~V|WUQ W, Q, W, O c W~W|Q{OUQ W, Q, W, P c W~W|Q~PUQ W, Q, W, S c W~W{Q|SUQ W, Q, W, V c W|Q{W~VUQ W, Q, W, W c (W|QW)~WUQ W, Q, W, X c (W|Q)~X{WUQ W, Q, X, P c W~(X|P)|QUQ W, Q, X, R c W{Q~X~RUQ W, Q, X, S c W{(Q{S)~XUQ W, Q, X, T c W~X|Q~TUQ W, Q, X, U c W~(X|Q){UUQ W, Q, X, W c (W|Q)~X{WUQ W, R, P, W c W~W|R{PUQ W, R, Q, T c W~(R{T)|QUQ W, R, Q, V c (W~R{V)~QUQ W, R, Q, X c W{R~Q~XUQ W, R, R, U c W{R~R~UUQ W, R, R, V c W~V{R{RUQ W, R, R, X c W{(R{R)~XUQ W, R, S, U c W~(R{S){UUQ W, R, S, V c W~(RS{V)UQ W, R, T, Q c W~(R{T)|QUQ W, R, T, T c (W{T)~T|RUQ W, R, T, V c (W{R)~T{VUQ W, R, T, W c W~W{R|TUQ W, R, U, R c W{R~U~RUQ W, R, U, S c (W{R)~U|SUQ W, R, U, U c W{(R{U)~UUQ W, R, U, V c (W{VR)~UUQ W, R, U, W c W~W|URUQ W, R, V, Q c (W~R{V)~QUQ W, R, V, R c W~V{R{RUQ W, R, V, S c W~(RS{V)UQ W, R, V, T c (W{R)~T{VUQ W, R, V, U c (W{VR)~UUQ W, R, V, V c (R{V)~V|WUQ W, R, V, X c W~V|R{XUQ W, R, W, P c W~W|R{PUQ W, R, W, T c W~W{R|TUQ W, R, W, U c W~W|URUQ W, R, X, Q c W{R~X~QUQ W, R, X, R c W{(R{R)~XUQ W, R, X, V c (W~X)|(R{V)UQ W, R, X, X c W{R~(X{X)UQ W, S, P, Q c (W~S|P)~QUQ W, S, P, W c (W|PS)~WUQ W, S, Q, P c (W~S|P)~QUQ W, S, Q, Q c W~S~Q|QUQ W, S, Q, S c W~(S{S)|QUQ W, S, Q, T c (W{S)~T{QUQ W, S, Q, V c (W{V)~S{QUQ W, S, Q, W c (W{W)~S|QUQ W, S, Q, X c W{(S{Q)~XUQ W, S, R, U c W~(S{R){UUQ W, S, R, V c W~(RS{V)UQ W, S, S, Q c W~(S{S)|QUQ W, S, T, Q c (W{S)~T{QUQ W, S, T, U c W{(S{T)~UUQ W, S, T, X c W~(X|TS)UQ W, S, U, R c W~(S{R){UUQ W, S, U, T c W~S{U~TUQ W, S, U, U c (W{U)~S{UUQ W, S, U, V c W~(U{VS)UQ W, S, U, W c W~W{S|UUQ W, S, U, X c (W{X)~S|UUQ W, S, V, Q c (W{V)~S{QUQ W, S, V, R c W~(V{RS)UQ W, S, V, U c W~(VS{U)UQ W, S, W, P c W~(W|PS)UQ W, S, W, Q c (W{W)~S|QUQ W, S, W, U c W~W{S|UUQ W, S, W, W c W~W|WSUQ W, S, X, Q c W{(S{Q)~XUQ W, S, X, T c W~(X|TS)UQ W, S, X, U c (W{X)~S|UUQ W, T, P, V c W~V{T{PUQ W, T, P, X c W{(T{P)~XUQ W, T, Q, R c W~(T{R)|QUQ W, T, Q, S c (W{S)~T{QUQ W, T, Q, U c W~(T{Q){UUQ W, T, Q, V c T~Q~V|WUQ W, T, Q, X c (W~T|X)~QUQ W, T, R, Q c W~(T{R)|QUQ W, T, R, T c (W{T)~T|RUQ W, T, R, V c (W{R)~T{VUQ W, T, R, W c W~W|T{RUQ W, T, S, Q c (W{S)~T{QUQ W, T, S, U c W{(T{S)~UUQ W, T, S, X c W~(X|TS)UQ W, T, T, R c (W{T)~T|RUQ W, T, T, V c (T{T)~V|WUQ W, T, T, X c (W~X)|(T{T)UQ W, T, U, Q c W~(T{Q){UUQ W, T, U, S c W{(T{S)~UUQ W, T, U, W c (W{U)~T|WUQ W, T, U, X c W~U{T{XUQ W, T, V, P c W~V{T{PUQ W, T, V, Q c T~V~Q|WUQ W, T, V, R c (W{R)~T{VUQ W, T, V, T c (T{T)~V|WUQ W, T, V, V c W{T{V~VUQ W, T, V, W c W~W{T|VUQ W, T, W, R c W~W|T{RUQ W, T, W, U c (W{U)~T|WUQ W, T, W, V c W~W{T|VUQ W, T, X, P c W{(T{P)~XUQ W, T, X, Q c (W~T|X)~QUQ W, T, X, S c W~(X|TS)UQ W, T, X, T c (W~X)|(T{T)UQ W, T, X, U c W~U{T{XUQ W, T, X, X c W{T~X{XUQ W, U, O, V c (W{O)~V{UUQ W, U, O, X c W{(U{O)~XUQ W, U, P, U c W~(U{P){UUQ W, U, P, V c W~P~V{UUQ W, U, P, W c W{U~(P{W)UQ W, U, P, X c W{U~P~XUQ W, U, Q, Q c W~(U{Q)|QUQ W, U, Q, T c W~(Q{T){UUQ W, U, Q, V c W{U~(Q{V)UQ W, U, Q, X c W~(X|Q){UUQ W, U, R, R c W{U~R~RUQ W, U, R, S c (W{R)~U|SUQ W, U, R, U c W{(U{R)~UUQ W, U, R, V c (W{VR)~UUQ W, U, R, W c W~W|URUQ W, U, S, R c W~(S{R){UUQ W, U, S, T c W{U~(S{T)UQ W, U, S, U c (W{U)~S{UUQ W, U, S, V c W~(U{VS)UQ W, U, S, W c W~W|U{SUQ W, U, S, X c (W~X)|(U{S)UQ W, U, T, Q c W~(T{Q){UUQ W, U, T, S c W{U~(T{S)UQ W, U, T, W c (W{U)~T|WUQ W, U, T, X c W~U{T{XUQ W, U, U, P c W~(U{P){UUQ W, U, U, R c W{U~(U{R)UQ W, U, U, S c (W{U)~S{UUQ W, U, U, W c W{U{U~WUQ W, U, U, X c (WU{X)~UUQ W, U, V, O c W~V{U{OUQ W, U, V, P c W~V{U~PUQ W, U, V, Q c W{U~(V{Q)UQ W, U, V, R c (W{VR)~UUQ W, U, V, S c W~(U{VS)UQ W, U, V, V c (W{UV)~VUQ W, U, V, W c W~(UW{V)UQ W, U, W, P c W{U~(W{P)UQ W, U, W, R c W~W|URUQ W, U, W, S c W~W|U{SUQ W, U, W, T c (W{U)~T|WUQ W, U, W, U c W{U{W~UUQ W, U, W, V c W~(UW{V)UQ W, U, W, W c W~W{U|WUQ W, U, X, O c W{U~X{OUQ W, U, X, P c W{U~X~PUQ W, U, X, Q c W~(X|Q){UUQ W, U, X, S c (W~X)|(U{S)UQ W, U, X, T c W~U{X{TUQ W, U, X, U c (WU{X)~UUQ W, U, X, X c (WX{U)~XUQ W, V, O, U c W~V{O{UUQ W, V, P, P c (W{P)~V|PUQ W, V, P, Q c W~(V{P)|QUQ W, V, P, T c W~V{P{TUQ W, V, P, U c W~V{P~UUQ W, V, P, V c W~V|P{VUQ W, V, P, X c W{(V|P)~XUQ W, V, Q, P c W~(V{P)|QUQ W, V, Q, R c W~V{Q~RUQ W, V, Q, S c W~V{Q{SUQ W, V, Q, T c V~Q~T|WUQ W, V, Q, U c W{(V{Q)~UUQ W, V, Q, W c W~V|Q{WUQ W, V, R, Q c W~V{R~QUQ W, V, R, R c W~V{R{RUQ W, V, R, S c W~(V{RS)UQ W, V, R, T c (W{R)~T{VUQ W, V, R, U c (W{VR)~UUQ W, V, R, V c (V{R)~V|WUQ W, V, R, X c W~V|R{XUQ W, V, S, Q c (W{V)~S{QUQ W, V, S, R c W~(V{RS)UQ W, V, S, U c W~(VS{U)UQ W, V, T, P c W~V{T{PUQ W, V, T, Q c V~T~Q|WUQ W, V, T, R c (W{R)~T{VUQ W, V, T, T c V~(T{T)|WUQ W, V, T, V c W{V~V{TUQ W, V, T, W c W~W|V{TUQ W, V, U, O c W~V{U{OUQ W, V, U, P c W~V{U~PUQ W, V, U, Q c W{(V{Q)~UUQ W, V, U, R c (W{VR)~UUQ W, V, U, S c W~(VS{U)UQ W, V, U, V c (W{UV)~VUQ W, V, U, W c W~(V{UW)UQ W, V, V, P c W~V{V|PUQ W, V, V, R c V~(V{R)|WUQ W, V, V, T c W{V~V{TUQ W, V, V, U c (W{UV)~VUQ W, V, V, X c V{V~X|WUQ W, V, W, Q c W{V~W|QUQ W, V, W, T c W~W|V{TUQ W, V, W, U c W~(V{UW)UQ W, V, W, X c W~W{V|XUQ W, V, X, P c W{(V|P)~XUQ W, V, X, R c W~V{X|RUQ W, V, X, V c V~X|W{VUQ W, V, X, W c W~W{V|XUQ W, V, X, X c W{V~X|XUQ W, W, O, Q c W~W{O|QUQ W, W, P, P c (W~W)|(P{P)UQ W, W, P, Q c W~W|P~QUQ W, W, P, R c W~W{P|RUQ W, W, P, S c W~(W|PS)UQ W, W, P, U c W{(W{P)~UUQ W, W, Q, O c W~W|Q{OUQ W, W, Q, P c W~W|Q~PUQ W, W, Q, S c W~W{Q|SUQ W, W, Q, V c W{W~V|QUQ W, W, Q, W c W~(W|QW)UQ W, W, Q, X c W{(W|Q)~XUQ W, W, R, P c W~W|R{PUQ W, W, R, T c W~W{R|TUQ W, W, R, U c W~W|URUQ W, W, S, P c W~(W|PS)UQ W, W, S, Q c (W{W)~S|QUQ W, W, S, U c W~W{S|UUQ W, W, S, W c W~W|WSUQ W, W, T, R c W~W|T{RUQ W, W, T, U c (W{U)~T|WUQ W, W, T, V c W~W{T|VUQ W, W, U, P c W{(W{P)~UUQ W, W, U, R c W~W|URUQ W, W, U, S c W~W|U{SUQ W, W, U, T c (W{U)~T|WUQ W, W, U, U c W{W~U{UUQ W, W, U, V c W~(UW{V)UQ W, W, U, W c W~W{U|WUQ W, W, V, Q c W{W~V|QUQ W, W, V, T c W~W|V{TUQ W, W, V, U c W~(V{UW)UQ W, W, V, X c W~W{V|XUQ W, W, W, Q c W~(W|QW)UQ W, W, W, S c W~W|WSUQ W, W, W, U c W~W|W{UUQ W, W, X, Q c W{(W|Q)~XUQ W, W, X, V c W~W|X{VUQ W, X, O, U c W{(X{O)~UUQ W, X, P, P c (W|P)~X|PUQ W, X, P, Q c W~(X|P)|QUQ W, X, P, T c W{X~(P{T)UQ W, X, P, U c W{X~P~UUQ W, X, P, V c W{X~(V|P)UQ W, X, P, X c (W~X)|(P{X)UQ W, X, Q, P c W~(X|P)|QUQ W, X, Q, R c W{X~Q~RUQ W, X, Q, S c W{X~(Q{S)UQ W, X, Q, T c W~X|Q~TUQ W, X, Q, U c W~(X|Q){UUQ W, X, Q, W c (W~X)|(Q{W)UQ W, X, R, Q c W{X~R~QUQ W, X, R, R c W{X~(R{R)UQ W, X, R, V c (W~X)|(R{V)UQ W, X, R, X c W{(X|R)~XUQ W, X, S, Q c W{X~(S{Q)UQ W, X, S, T c W~(X|TS)UQ W, X, S, U c (W{X)~S|UUQ W, X, T, P c W{X~(T{P)UQ W, X, T, Q c W~X|T~QUQ W, X, T, S c W~(X|TS)UQ W, X, T, T c (W~X)|(T{T)UQ W, X, T, U c W~U{X{TUQ W, X, T, X c W{X{T~XUQ W, X, U, O c W{X~U{OUQ W, X, U, P c W{X~U~PUQ W, X, U, Q c W~(X|Q){UUQ W, X, U, S c (W~X)|(U{S)UQ W, X, U, T c W~U{X{TUQ W, X, U, U c (WU{X)~UUQ W, X, U, X c (WX{U)~XUQ W, X, V, P c W{X~(V|P)UQ W, X, V, R c (W~X)|(V{R)UQ W, X, V, V c X~V|W{VUQ W, X, V, W c W~W|X{VUQ W, X, V, X c W{X~V|XUQ W, X, W, Q c W{X~(W|Q)UQ W, X, W, V c W~W|X{VUQ W, X, X, P c (W~X)|(X{P)UQ W, X, X, R c W{(X{X)~RUQ W, X, X, T c W{X{X~TUQ W, X, X, U c (WX{U)~XUQ W, X, X, V c W{X~V|XUQ X, O, P, V c (X{O)~V|PUQ X, O, U, W c (X{O)~U{WUQ X, O, V, P c (X{O)~V|PUQ X, O, W, U c (X{O)~U{WUQ X, P, O, V c (X{O)~V|PUQ X, P, P, U c X~(P{U)|PUQ X, P, P, V c X~P~V|PUQ X, P, P, W c X~(W|P)|PUQ X, P, Q, T c X~(Q{T)|PUQ X, P, Q, U c (X{P)~U{QUQ X, P, Q, V c X~V{P|QUQ X, P, Q, W c (X|P)~W|QUQ X, P, Q, X c (X|Q)~X|PUQ X, P, R, S c X~(R{S)|PUQ X, P, S, R c X~(S{R)|PUQ X, P, T, Q c X~(T{Q)|PUQ X, P, T, W c X~(P{T){WUQ X, P, U, P c X~(P{U)|PUQ X, P, U, Q c (X{P)~U{QUQ X, P, U, V c (X|P)~V{UUQ X, P, U, W c X~P~U{WUQ X, P, U, X c X|P{U~XUQ X, P, V, O c X~V|P{OUQ X, P, V, P c X~P~V|PUQ X, P, V, Q c X~V{P|QUQ X, P, V, U c (X|P)~V{UUQ X, P, V, V c (X|PV)~VUQ X, P, V, W c (X{P)~V|WUQ X, P, V, X c X~(V|PX)UQ X, P, W, P c X~(W|P)|PUQ X, P, W, Q c (X|P)~W|QUQ X, P, W, T c X~(P{T){WUQ X, P, W, U c X~P~U{WUQ X, P, W, V c (X{P)~V|WUQ X, P, W, X c (X~W)|(P{X)UQ X, P, X, Q c X~(X|Q)|PUQ X, P, X, U c X|P{X~UUQ X, P, X, V c X~(V|PX)UQ X, P, X, W c (X~W)|(P{X)UQ X, Q, P, T c X~(Q{T)|PUQ X, Q, P, U c (X{P)~U{QUQ X, Q, P, V c X~V|Q{PUQ X, Q, P, W c (X|P)~W|QUQ X, Q, P, X c (X|Q)~X|PUQ X, Q, Q, V c X~V|QQUQ X, Q, R, S c (X~R{S)~QUQ X, Q, R, T c (X{R)~T{QUQ X, Q, R, V c X~V{Q|RUQ X, Q, R, W c X~Q~R{WUQ X, Q, S, R c (X~R{S)~QUQ X, Q, S, T c (X~S|T)~QUQ X, Q, S, U c (X{Q)~U|SUQ X, Q, S, V c (X{V)~S|QUQ X, Q, S, W c X~(Q{S){WUQ X, Q, T, P c X~(Q{T)|PUQ X, Q, T, R c (X{R)~T{QUQ X, Q, T, S c (X~S|T)~QUQ X, Q, T, V c (X{Q)~T{VUQ X, Q, T, W c X~W|Q~TUQ X, Q, U, P c (X{P)~U{QUQ X, Q, U, S c (X{Q)~U|SUQ X, Q, U, U c X~U{Q{UUQ X, Q, U, W c (X|Q)~W{UUQ X, Q, V, P c X~V|Q{PUQ X, Q, V, Q c X~V|QQUQ X, Q, V, R c X~V{Q|RUQ X, Q, V, S c (X{V)~S|QUQ X, Q, V, T c (X{Q)~T{VUQ X, Q, W, P c (X|P)~W|QUQ X, Q, W, R c X~Q~R{WUQ X, Q, W, S c X~(Q{S){WUQ X, Q, W, T c X~W|Q~TUQ X, Q, W, U c (X|Q)~W{UUQ X, Q, W, W c (X~W)|(Q{W)UQ X, Q, X, P c (X|Q)~X|PUQ X, R, P, S c X~(R{S)|PUQ X, R, Q, S c (X~R{S)~QUQ X, R, Q, T c (X{R)~T{QUQ X, R, Q, V c X~V|R{QUQ X, R, Q, W c X~R~Q{WUQ X, R, R, V c X~V|RRUQ X, R, R, W c X~(R{R){WUQ X, R, S, P c X~(R{S)|PUQ X, R, S, Q c (X~R{S)~QUQ X, R, S, T c (X{S)~T|RUQ X, R, S, U c (X{SR)~UUQ X, R, S, V c X~V{R|SUQ X, R, T, Q c (X{R)~T{QUQ X, R, T, S c (X{S)~T|RUQ X, R, T, U c X~U{R{TUQ X, R, T, V c X~R{T~VUQ X, R, U, S c (X{SR)~UUQ X, R, U, T c X~U{R{TUQ X, R, V, Q c X~V|R{QUQ X, R, V, R c X~V|RRUQ X, R, V, S c X~V{R|SUQ X, R, V, T c X~R{V~TUQ X, R, V, W c X|R{V~WUQ X, R, W, Q c X~R~Q{WUQ X, R, W, R c X~(R{R){WUQ X, R, W, V c X|R{W~VUQ X, R, W, X c (X|R)~X{WUQ X, R, X, W c (X|R)~X{WUQ X, S, P, R c X~(S{R)|PUQ X, S, Q, R c (X~R{S)~QUQ X, S, Q, T c (X~S|T)~QUQ X, S, Q, U c (X{Q)~U|SUQ X, S, Q, V c (X{V)~S|QUQ X, S, Q, W c X~(S{Q){WUQ X, S, R, P c X~(S{R)|PUQ X, S, R, Q c (X~R{S)~QUQ X, S, R, T c (X{S)~T|RUQ X, S, R, U c (X{SR)~UUQ X, S, R, V c X~V|S{RUQ X, S, S, U c X~U{S{SUQ X, S, S, V c X~V|SSUQ X, S, T, Q c (X~S|T)~QUQ X, S, T, R c (X{S)~T|RUQ X, S, T, U c (X{T)~S{UUQ X, S, T, V c X~V{S|TUQ X, S, T, W c (X|TS)~WUQ X, S, U, Q c (X{U)~S{QUQ X, S, U, R c (X{SR)~UUQ X, S, U, S c X~U{S{SUQ X, S, U, T c (X{T)~S{UUQ X, S, U, W c (X{W)~S|UUQ X, S, V, Q c (X{V)~S|QUQ X, S, V, R c X~V|S{RUQ X, S, V, S c X~V|SSUQ X, S, V, T c X~V{S|TUQ X, S, V, V c X{S{V~VUQ X, S, W, Q c X~(S{Q){WUQ X, S, W, T c (X|TS)~WUQ X, S, W, U c (X{W)~S|UUQ X, T, P, Q c X~(T{Q)|PUQ X, T, P, W c X~(T{P){WUQ X, T, Q, P c X~(T{Q)|PUQ X, T, Q, R c (X{R)~T{QUQ X, T, Q, S c (X~S|T)~QUQ X, T, Q, V c (X{Q)~T{VUQ X, T, Q, W c X~W|T~QUQ X, T, R, Q c (X{R)~T{QUQ X, T, R, S c (X{S)~T|RUQ X, T, R, U c X~U{T{RUQ X, T, R, V c X~R{T~VUQ X, T, S, Q c (X~S|T)~QUQ X, T, S, R c (X{S)~T|RUQ X, T, S, U c (X{T)~S{UUQ X, T, S, V c X~V|T{SUQ X, T, S, W c (X|TS)~WUQ X, T, T, V c X~V|TTUQ X, T, T, W c (X{T)~T|WUQ X, T, U, R c X~U{T{RUQ X, T, U, S c (X{T)~S{UUQ X, T, U, V c X~V{T|UUQ X, T, U, W c X{T{U~WUQ X, T, V, Q c (X{Q)~T{VUQ X, T, V, R c X~R{T~VUQ X, T, V, S c X~V|T{SUQ X, T, V, T c X~V|TTUQ X, T, V, U c X~V{T|UUQ X, T, W, P c X~(T{P){WUQ X, T, W, Q c X~W|T~QUQ X, T, W, S c (X|TS)~WUQ X, T, W, T c (X{T)~T|WUQ X, T, W, U c X{T{W~UUQ X, T, W, X c X~T{W{XUQ X, T, X, W c X{T~X{WUQ X, U, O, W c X~U{O{WUQ X, U, P, P c X~(U{P)|PUQ X, U, P, Q c (X{P)~U{QUQ X, U, P, V c X~U{P{VUQ X, U, P, W c X~U{P~WUQ X, U, P, X c X~U|P{XUQ X, U, Q, P c (X{P)~U{QUQ X, U, Q, S c X~U{Q~SUQ X, U, Q, U c X~U{Q{UUQ X, U, Q, W c (X|Q)~W{UUQ X, U, R, S c (X{SR)~UUQ X, U, R, T c X~U{R{TUQ X, U, S, Q c (X{U)~S{QUQ X, U, S, R c (X{SR)~UUQ X, U, S, S c X~U{S{SUQ X, U, S, T c (X{T)~S{UUQ X, U, S, W c (X~W)|(U{S)UQ X, U, T, R c X~U{T{RUQ X, U, T, S c (X{T)~S{UUQ X, U, T, V c X~V|U{TUQ X, U, T, W c X{U~W{TUQ X, U, U, Q c X~U{U{QUQ X, U, U, V c X~V|UUUQ X, U, U, W c (X{WU)~UUQ X, U, V, P c X~U{V{PUQ X, U, V, T c X~V|U{TUQ X, U, V, U c X~V|UUUQ X, U, V, V c X~V{U|VUQ X, U, W, O c X~U{W{OUQ X, U, W, P c X~U{W~PUQ X, U, W, Q c (X|Q)~W{UUQ X, U, W, S c (X~W)|(U{S)UQ X, U, W, T c X{U~W{TUQ X, U, W, U c (X{WU)~UUQ X, U, W, X c X~(U{WX)UQ X, U, X, P c X{U~X|PUQ X, U, X, W c X~(U{WX)UQ X, V, O, P c X~V{O|PUQ X, V, P, O c X~V|P{OUQ X, V, P, P c X~V|P~PUQ X, V, P, Q c X~V{P|QUQ X, V, P, U c (X|P)~V{UUQ X, V, P, V c (X|PV)~VUQ X, V, P, W c X~(V|P){WUQ X, V, P, X c X~(V|PX)UQ X, V, Q, P c X~V|Q{PUQ X, V, Q, Q c X~V|QQUQ X, V, Q, R c X~V{Q|RUQ X, V, Q, S c (X{V)~S|QUQ X, V, Q, T c (X{Q)~T{VUQ X, V, R, Q c X~V|R{QUQ X, V, R, R c X~V|RRUQ X, V, R, S c X~V{R|SUQ X, V, R, T c X~R{V~TUQ X, V, R, W c X{V~W|RUQ X, V, S, Q c (X{V)~S|QUQ X, V, S, R c X~V|S{RUQ X, V, S, S c X~V|SSUQ X, V, S, T c X~V{S|TUQ X, V, S, V c X{V~V{SUQ X, V, T, Q c (X{Q)~T{VUQ X, V, T, R c X~R{V~TUQ X, V, T, S c X~V|T{SUQ X, V, T, T c X~V|TTUQ X, V, T, U c X~V{T|UUQ X, V, U, P c X~U{V{PUQ X, V, U, T c X~V|U{TUQ X, V, U, U c X~V|UUUQ X, V, U, V c X~V{U|VUQ X, V, V, P c (X|PV)~VUQ X, V, V, S c X{V~V{SUQ X, V, V, U c X~V|V{UUQ X, V, V, V c X~V|VVUQ X, V, V, W c X~V{V|WUQ X, V, W, P c X~(V|P){WUQ X, V, W, R c X{V~W|RUQ X, V, W, V c X~V|W{VUQ X, V, W, W c X~V|WWUQ X, V, W, X c X~V{W|XUQ X, V, X, P c X~(V|PX)UQ X, V, X, W c X~V|X{WUQ X, V, X, X c X~V|XXUQ X, W, O, U c (X{O)~U{WUQ X, W, P, P c X~(W|P)|PUQ X, W, P, Q c (X|P)~W|QUQ X, W, P, T c X~(P{T){WUQ X, W, P, U c X~P~U{WUQ X, W, P, V c (X{P)~V|WUQ X, W, P, X c (X~W)|(P{X)UQ X, W, Q, P c (X|P)~W|QUQ X, W, Q, R c X~Q~R{WUQ X, W, Q, S c X~(Q{S){WUQ X, W, Q, T c X~W|Q~TUQ X, W, Q, U c (X|Q)~W{UUQ X, W, Q, W c (X~W)|(Q{W)UQ X, W, R, Q c X~R~Q{WUQ X, W, R, R c X~(R{R){WUQ X, W, R, V c (X~W)|(R{V)UQ X, W, R, X c (X|R)~X{WUQ X, W, S, Q c X~(S{Q){WUQ X, W, S, T c (X|TS)~WUQ X, W, S, U c (X{W)~S|UUQ X, W, T, P c X~(T{P){WUQ X, W, T, Q c X~W|T~QUQ X, W, T, S c (X|TS)~WUQ X, W, T, T c (X~W)|(T{T)UQ X, W, T, U c X{W~U{TUQ X, W, T, X c X{W{T~XUQ X, W, U, O c X~U{W{OUQ X, W, U, P c X~U{W~PUQ X, W, U, Q c (X|Q)~W{UUQ X, W, U, S c (X~W)|(U{S)UQ X, W, U, T c X{W~U{TUQ X, W, U, U c (X{WU)~UUQ X, W, U, X c X~(WX{U)UQ X, W, V, P c X~(V|P){WUQ X, W, V, R c X{W~V|RUQ X, W, V, V c X~V|W{VUQ X, W, V, W c X~V|WWUQ X, W, V, X c X~V{W|XUQ X, W, W, Q c (X~W)|(W{Q)UQ X, W, W, V c X~V|WWUQ X, W, X, P c (X~W)|(X{P)UQ X, W, X, R c (X{X)~R{WUQ X, W, X, T c X{W{X~TUQ X, W, X, U c X~(WX{U)UQ X, W, X, V c X~V{W|XUQ X, X, P, Q c X~(X|Q)|PUQ X, X, P, U c X{X~U|PUQ X, X, P, V c X~(V|PX)UQ X, X, P, W c (X~W)|(X{P)UQ X, X, Q, P c X~(X|Q)|PUQ X, X, R, W c (X{X)~R{WUQ X, X, T, W c X{X~T{WUQ X, X, U, P c X{X~U|PUQ X, X, U, W c X~(U{WX)UQ X, X, V, P c X~(V|PX)UQ X, X, V, W c X~V|X{WUQ X, X, V, X c X~V|XXUQ X, X, W, P c (X~W)|(X{P)UQ X, X, W, R c (X{X)~R{WUQ X, X, W, T c X{X~T{WUQ X, X, W, U c X~(WX{U)UQ X, X, W, V c X~V|X{WUQ X, X, X, V c X~V|XXUQ