O, Q, V, X c O{V~X|QUP O, Q, X, V c O{X~V|QUP O, R, W, W c O{W~W|RUP O, T, V, W c O{T{V~WUP O, T, W, V c O{T{W~VUP O, U, V, X c O{U~X{VUP O, U, X, V c O{U~X{VUP O, V, Q, X c O{V~X|QUP O, V, T, W c O{V~W{TUP O, V, U, X c O{V{U~XUP O, V, W, T c O{V~W{TUP O, V, X, Q c O{V~X|QUP O, V, X, U c O{V{X~UUP O, W, R, W c O{W~W|RUP O, W, T, V c O{W~V{TUP O, W, V, T c O{W~V{TUP O, W, W, R c O{W~W|RUP O, X, Q, V c O{X~V|QUP O, X, U, V c O{X~U{VUP O, X, V, Q c O{X~V|QUP O, X, V, U c O{X~U{VUP P, P, U, X c P{(P{X)~UUP P, P, V, X c (V~X)|(P{P)UP P, P, X, U c P{(P{X)~UUP P, P, X, V c (X~V)|(P{P)UP P, Q, T, U c P{Q~T~UUP P, Q, U, T c P{Q~U~TUP P, Q, U, W c P{(Q{W)~UUP P, Q, U, X c (P{U)~X|QUP P, Q, V, W c (P{W)~V|QUP P, Q, V, X c P~V~X|QUP P, Q, W, U c P{(Q{W)~UUP P, Q, W, V c (P{W)~V|QUP P, Q, W, W c (W~W)|(P{Q)UP P, Q, W, X c (W|P)~X|QUP P, Q, X, U c (P{U)~X|QUP P, Q, X, V c P~X~V|QUP P, Q, X, W c X~(W|P)|QUP P, R, S, T c P{R~S~TUP P, R, T, S c P{R~T~SUP P, R, T, X c P{(R{X)~TUP P, R, U, V c P{(R{V)~UUP P, R, V, U c P{(R{V)~UUP P, R, V, W c (P{V)~W|RUP P, R, V, X c P{V~X|RUP P, R, W, V c (P{V)~W|RUP P, R, W, W c P~W~W|RUP P, R, W, X c W~(X|P)|RUP P, R, X, T c P{(R{X)~TUP P, R, X, V c P{X~V|RUP P, R, X, W c (X|P)~W|RUP P, S, R, T c P{S~R~TUP P, S, T, R c P{S~T~RUP P, S, T, W c P{(S{W)~TUP P, S, U, U c P{(S{U)~UUP P, S, U, X c P{S~(U{X)UP P, S, V, W c P{S{V~WUP P, S, W, T c P{(S{W)~TUP P, S, W, V c P{S{W~VUP P, S, W, W c P{W~W|SUP P, S, X, U c P{S~(X{U)UP P, T, Q, U c P{T~Q~UUP P, T, R, S c P{T~R~SUP P, T, R, X c P{T~(R{X)UP P, T, S, R c P{T~S~RUP P, T, S, W c P{T~(S{W)UP P, T, T, U c P{(T{T)~UUP P, T, T, V c P{T~(T{V)UP P, T, U, Q c P{T~U~QUP P, T, U, T c P{(T{T)~UUP P, T, U, U c P{T~(U{U)UP P, T, U, W c (P{U)~W{TUP P, T, V, T c P{(T{V)~TUP P, T, V, V c (P{V)~V{TUP P, T, V, W c P~T{V~WUP P, T, V, X c (P{T)~X{VUP P, T, W, S c P{T~(W{S)UP P, T, W, U c (P{U)~W{TUP P, T, W, V c P~T{W~VUP P, T, W, W c T{(W|P)~WUP P, T, X, R c P{T~(X{R)UP P, T, X, V c (P{T)~X{VUP P, U, P, X c P{U~(P{X)UP P, U, Q, T c P{U~Q~TUP P, U, Q, W c P{U~(Q{W)UP P, U, Q, X c (P{U)~X|QUP P, U, R, V c P{U~(R{V)UP P, U, S, U c P{(U{S)~UUP P, U, S, X c P{(U{X)~SUP P, U, T, Q c P{U~T~QUP P, U, T, T c P{U~(T{T)UP P, U, T, U c P{(U{U)~TUP P, U, T, W c (P{U)~W{TUP P, U, U, S c P{U~(U{S)UP P, U, U, T c P{(U{U)~TUP P, U, U, X c P{U{U~XUP P, U, V, R c P{U~(V{R)UP P, U, V, W c (P{W)~U{VUP P, U, V, X c P~U~X{VUP P, U, W, Q c P{U~(W{Q)UP P, U, W, T c (P{U)~W{TUP P, U, W, V c (P{W)~U{VUP P, U, W, X c U~X|P{WUP P, U, X, P c P{U~(X{P)UP P, U, X, Q c (P{U)~X|QUP P, U, X, S c P{(U{X)~SUP P, U, X, U c P{U{X~UUP P, U, X, V c P~U~X{VUP P, U, X, W c U~X|P{WUP P, V, P, X c (V~X)|(P{P)UP P, V, Q, W c (P{W)~V|QUP P, V, Q, X c P~V~X|QUP P, V, R, U c P{(V{R)~UUP P, V, R, W c (P{V)~W|RUP P, V, R, X c P{V~X|RUP P, V, S, W c P{(V{W)~SUP P, V, T, T c P{(V{T)~TUP P, V, T, V c (P{V)~V{TUP P, V, T, W c P~V~W{TUP P, V, T, X c (P{T)~X{VUP P, V, U, R c P{(V{R)~UUP P, V, U, W c (P{W)~U{VUP P, V, U, X c P~V{U~XUP P, V, V, T c (P{V)~V{TUP P, V, V, X c (V|P)~X{VUP P, V, W, Q c (P{W)~V|QUP P, V, W, R c (P{V)~W|RUP P, V, W, S c P{(V{W)~SUP P, V, W, T c P~V~W{TUP P, V, W, U c (P{W)~U{VUP P, V, X, P c (V~X)|(P{P)UP P, V, X, Q c P~V~X|QUP P, V, X, R c P{V~X|RUP P, V, X, T c (P{T)~X{VUP P, V, X, U c P~V{X~UUP P, V, X, V c (V|P)~X{VUP P, V, X, X c (P{X)~V|XUP P, W, Q, U c P{(W{Q)~UUP P, W, Q, V c (P{W)~V|QUP P, W, Q, W c (W~W)|(P{Q)UP P, W, Q, X c (W|P)~X|QUP P, W, R, V c (P{V)~W|RUP P, W, R, W c P~W~W|RUP P, W, R, X c W~(X|P)|RUP P, W, S, T c P{(W{S)~TUP P, W, S, V c P{(W{V)~SUP P, W, S, W c P{W~W|SUP P, W, T, S c P{(W{S)~TUP P, W, T, U c (P{U)~W{TUP P, W, T, V c P~W~V{TUP P, W, T, W c (W|P)~W{TUP P, W, U, Q c P{(W{Q)~UUP P, W, U, T c (P{U)~W{TUP P, W, U, V c (P{W)~U{VUP P, W, U, X c W|P{U~XUP P, W, V, Q c (P{W)~V|QUP P, W, V, R c (P{V)~W|RUP P, W, V, S c P{(W{V)~SUP P, W, V, T c P~W~V{TUP P, W, V, U c (P{W)~U{VUP P, W, W, Q c (W~W)|(P{Q)UP P, W, W, R c P~W~W|RUP P, W, W, S c P{W~W|SUP P, W, W, T c (W|P)~W{TUP P, W, X, Q c (W|P)~X|QUP P, W, X, R c W~(X|P)|RUP P, W, X, U c W|P{X~UUP P, X, P, U c P{(X{P)~UUP P, X, P, V c (X~V)|(P{P)UP P, X, Q, U c (P{U)~X|QUP P, X, Q, V c P~X~V|QUP P, X, Q, W c X~(W|P)|QUP P, X, R, T c P{(X{R)~TUP P, X, R, V c P{X~V|RUP P, X, R, W c (X|P)~W|RUP P, X, S, U c P{(X{U)~SUP P, X, T, R c P{(X{R)~TUP P, X, T, V c (P{T)~X{VUP P, X, U, P c (P{X)~U{PUP P, X, U, Q c (P{U)~X|QUP P, X, U, S c P{(X{U)~SUP P, X, U, U c P{X~U{UUP P, X, U, V c P~X~U{VUP P, X, U, W c X~U|P{WUP P, X, V, P c (X~V)|(P{P)UP P, X, V, Q c P~X~V|QUP P, X, V, R c P{X~V|RUP P, X, V, T c (P{T)~X{VUP P, X, V, U c P~X~U{VUP P, X, V, V c X~(V|P){VUP P, X, V, X c (P{X)~V|XUP P, X, W, Q c X~(W|P)|QUP P, X, W, R c (X|P)~W|RUP P, X, W, U c X~U|P{WUP P, X, X, V c (P{X)~V|XUP Q, O, V, X c O{V~X|QUP Q, O, X, V c O{X~V|QUP Q, P, T, U c Q~T~U{PUP Q, P, U, T c Q~U~T{PUP Q, P, U, W c (Q{W)~U{PUP Q, P, U, X c (P{U)~X|QUP Q, P, V, W c (P{W)~V|QUP Q, P, V, X c P~V~X|QUP Q, P, W, U c (Q{W)~U{PUP Q, P, W, V c (P{W)~V|QUP Q, P, W, W c (W~W)|(Q{P)UP Q, P, W, X c (W|P)~X|QUP Q, P, X, U c (P{U)~X|QUP Q, P, X, V c P~X~V|QUP Q, P, X, W c X~(W|P)|QUP Q, Q, T, X c (Q{T)~X|QUP Q, Q, V, V c (Q{V)~V|QUP Q, Q, X, T c (Q{T)~X|QUP Q, Q, X, X c (X|Q)~X|QUP Q, R, R, V c R~R~V|QUP Q, R, S, W c Q~S~W|RUP Q, R, S, X c (R{S)~X|QUP Q, R, U, V c (R{U)~V|QUP Q, R, U, W c (Q{U)~W|RUP Q, R, V, R c R~V~R|QUP Q, R, V, U c (R{U)~V|QUP Q, R, V, W c Q{R{V~WUP Q, R, V, X c Q~R~X{VUP Q, R, W, S c Q~W~S|RUP Q, R, W, U c (Q{U)~W|RUP Q, R, W, V c Q{R{W~VUP Q, R, X, S c (R{S)~X|QUP Q, R, X, V c Q~R~X{VUP Q, S, R, W c Q~S~W|RUP Q, S, R, X c (S{R)~X|QUP Q, S, T, V c Q~S~V{TUP Q, S, V, T c Q~S~V{TUP Q, S, V, X c (Q{S)~X{VUP Q, S, W, R c Q~S~W|RUP Q, S, X, R c (S{R)~X|QUP Q, S, X, V c (Q{S)~X{VUP Q, T, P, U c Q~T~U{PUP Q, T, Q, X c (Q{T)~X|QUP Q, T, S, V c Q~S~V{TUP Q, T, T, W c (Q{T)~W{TUP Q, T, U, P c Q~T~U{PUP Q, T, U, V c (Q{U)~V{TUP Q, T, U, X c Q{T{U~XUP Q, T, V, S c Q~V~S{TUP Q, T, V, U c (Q{U)~V{TUP Q, T, V, X c Q~T~V|XUP Q, T, W, T c (Q{T)~W{TUP Q, T, W, W c Q{W~W|TUP Q, T, W, X c Q~W{T~XUP Q, T, X, Q c (Q{T)~X|QUP Q, T, X, U c Q{T{X~UUP Q, T, X, V c Q~T~V|XUP Q, T, X, W c Q~W{T~XUP Q, U, P, T c Q~U~T{PUP Q, U, P, W c (Q{W)~U{PUP Q, U, P, X c (U{P)~X|QUP Q, U, R, V c (U{R)~V|QUP Q, U, R, W c (Q{U)~W|RUP Q, U, T, P c Q~U~T{PUP Q, U, T, V c (Q{U)~V{TUP Q, U, T, X c Q{U~X{TUP Q, U, V, R c (U{R)~V|QUP Q, U, V, T c (Q{U)~V{TUP Q, U, V, V c Q~U{V~VUP Q, U, W, P c (Q{W)~U{PUP Q, U, W, R c (Q{U)~W|RUP Q, U, W, W c W~W|UQUP Q, U, X, P c (U{P)~X|QUP Q, U, X, T c Q{U~X{TUP Q, U, X, X c U~X|Q{XUP Q, V, O, X c (V{O)~X|QUP Q, V, P, W c V~(P{W)|QUP Q, V, P, X c V~P~X|QUP Q, V, Q, V c (Q{V)~V|QUP Q, V, R, R c V~R~R|QUP Q, V, R, U c V~(R{U)|QUP Q, V, R, W c Q{V~W{RUP Q, V, R, X c Q~R~X{VUP Q, V, S, T c Q~V~S{TUP Q, V, S, X c Q{V~X|SUP Q, V, T, S c Q~V~S{TUP Q, V, T, U c (Q{U)~V{TUP Q, V, T, X c Q~V~T|XUP Q, V, U, R c V~(U{R)|QUP Q, V, U, T c (Q{U)~V{TUP Q, V, U, V c (Q{V)~U{VUP Q, V, V, Q c (Q{V)~V|QUP Q, V, V, U c (Q{V)~U{VUP Q, V, V, W c V|Q{V~WUP Q, V, V, X c V~(X|QV)UP Q, V, W, P c V~(W{P)|QUP Q, V, W, R c Q{V~W{RUP Q, V, W, V c V|Q{W~VUP Q, V, W, X c (Q{W)~V|XUP Q, V, X, O c V~X|Q{OUP Q, V, X, P c V~X|Q~PUP Q, V, X, R c Q~X~R{VUP Q, V, X, S c Q{V~X|SUP Q, V, X, T c Q~V~T|XUP Q, V, X, V c V~(X|QV)UP Q, V, X, W c (Q{W)~V|XUP Q, V, X, X c (V|QX)~XUP Q, W, P, U c (Q{W)~U{PUP Q, W, P, V c (W{P)~V|QUP Q, W, P, W c (W~W)|(Q{P)UP Q, W, P, X c (W|P)~X|QUP Q, W, R, S c Q~W~S|RUP Q, W, R, U c (Q{U)~W|RUP Q, W, R, V c Q{W~V{RUP Q, W, S, R c Q~W~S|RUP Q, W, T, T c (Q{T)~W{TUP Q, W, T, W c Q{W~W|TUP Q, W, T, X c Q~W{T~XUP Q, W, U, P c (Q{W)~U{PUP Q, W, U, R c (Q{U)~W|RUP Q, W, U, W c W~W|UQUP Q, W, V, P c (W{P)~V|QUP Q, W, V, R c Q{W~V{RUP Q, W, V, V c W~V|Q{VUP Q, W, V, X c (Q{W)~V|XUP Q, W, W, P c (W~W)|(Q{P)UP Q, W, W, T c Q{W~W|TUP Q, W, W, U c W~W|UQUP Q, W, X, P c (W|P)~X|QUP Q, W, X, T c Q~W{X~TUP Q, W, X, V c (Q{W)~V|XUP Q, W, X, X c (W~X)|(Q{X)UP Q, X, O, V c (X{O)~V|QUP Q, X, P, U c X~(P{U)|QUP Q, X, P, V c X~P~V|QUP Q, X, P, W c X~(W|P)|QUP Q, X, Q, T c (Q{T)~X|QUP Q, X, Q, X c (X|Q)~X|QUP Q, X, R, S c X~(R{S)|QUP Q, X, R, V c Q~X~R{VUP Q, X, S, R c X~(S{R)|QUP Q, X, S, V c Q{X~V|SUP Q, X, T, Q c (Q{T)~X|QUP Q, X, T, U c (Q{X)~T{UUP Q, X, T, V c Q~T~V|XUP Q, X, T, W c Q~W{X~TUP Q, X, U, P c X~(U{P)|QUP Q, X, U, T c Q{X~U{TUP Q, X, U, X c X|Q{U~XUP Q, X, V, O c X~V|Q{OUP Q, X, V, P c X~V|Q~PUP Q, X, V, R c Q~X~R{VUP Q, X, V, S c Q{X~V|SUP Q, X, V, T c Q~V~T|XUP Q, X, V, V c (X|QV)~VUP Q, X, V, W c (Q{W)~V|XUP Q, X, V, X c X~(V|QX)UP Q, X, W, P c X~(W|P)|QUP Q, X, W, T c Q~W{X~TUP Q, X, W, V c (Q{W)~V|XUP Q, X, W, X c (X~W)|(Q{X)UP Q, X, X, Q c (X|Q)~X|QUP Q, X, X, U c X|Q{X~UUP Q, X, X, V c X~(V|QX)UP Q, X, X, W c (X~W)|(Q{X)UP R, O, W, W c O{W~W|RUP R, P, S, T c R~S~T{PUP R, P, T, S c R~T~S{PUP R, P, T, X c (R{X)~T{PUP R, P, U, V c (R{V)~U{PUP R, P, V, U c (R{V)~U{PUP R, P, V, W c (P{V)~W|RUP R, P, V, X c P{V~X|RUP R, P, W, V c (P{V)~W|RUP R, P, W, W c P~W~W|RUP R, P, W, X c W~(X|P)|RUP R, P, X, T c (R{X)~T{PUP R, P, X, V c P{X~V|RUP R, P, X, W c (X|P)~W|RUP R, Q, R, V c R~R~V|QUP R, Q, S, W c Q~S~W|RUP R, Q, S, X c (R{S)~X|QUP R, Q, U, V c (R{U)~V|QUP R, Q, U, W c (Q{U)~W|RUP R, Q, V, R c R~V~R|QUP R, Q, V, U c (R{U)~V|QUP R, Q, V, W c R{Q{V~WUP R, Q, V, X c R~Q~X{VUP R, Q, W, S c Q~W~S|RUP R, Q, W, U c (Q{U)~W|RUP R, Q, W, V c R{Q{W~VUP R, Q, X, S c (R{S)~X|QUP R, Q, X, V c R~Q~X{VUP R, R, Q, V c R~R~V|QUP R, R, T, W c (R{T)~W|RUP R, R, U, V c R~R~U{VUP R, R, V, Q c R~R~V|QUP R, R, V, U c R~R~U{VUP R, R, V, X c (R{R)~X{VUP R, R, W, T c (R{T)~W|RUP R, R, X, V c (R{R)~X{VUP R, S, P, T c R~S~T{PUP R, S, Q, W c S~Q~W|RUP R, S, Q, X c (R{S)~X|QUP R, S, S, S c S~S~S|RUP R, S, S, W c (S{S)~W|RUP R, S, T, P c R~S~T{PUP R, S, T, W c (R{S)~W{TUP R, S, U, X c R{S{U~XUP R, S, V, V c R~S{V~VUP R, S, V, X c S~(V{X)|RUP R, S, W, Q c S~W~Q|RUP R, S, W, S c (S{S)~W|RUP R, S, W, T c (R{S)~W{TUP R, S, W, W c S~(W{W)|RUP R, S, X, Q c (R{S)~X|QUP R, S, X, U c R{S{X~UUP R, S, X, V c S~(X{V)|RUP R, T, P, S c R~T~S{PUP R, T, P, X c (R{X)~T{PUP R, T, R, W c (R{T)~W|RUP R, T, S, P c R~T~S{PUP R, T, S, W c (R{S)~W{TUP R, T, T, V c (R{T)~V{TUP R, T, U, W c (R{W)~T{UUP R, T, V, T c (R{T)~V{TUP R, T, V, W c R~V{T~WUP R, T, V, X c R{V~X|TUP R, T, W, R c (R{T)~W|RUP R, T, W, S c (R{S)~W{TUP R, T, W, U c (R{W)~T{UUP R, T, W, V c R~V{T~WUP R, T, X, P c (R{X)~T{PUP R, T, X, V c R{X~V|TUP R, U, P, V c (R{V)~U{PUP R, U, Q, V c (R{U)~V|QUP R, U, Q, W c (U{Q)~W|RUP R, U, R, V c R~U~R{VUP R, U, S, X c R{U~X{SUP R, U, T, W c (R{W)~U|TUP R, U, U, V c (R{U)~U{VUP R, U, V, P c (R{V)~U{PUP R, U, V, Q c (R{U)~V|QUP R, U, V, R c R~U~R{VUP R, U, V, U c (R{U)~U{VUP R, U, V, X c V~X|URUP R, U, W, Q c (U{Q)~W|RUP R, U, W, T c (R{W)~U|TUP R, U, W, W c R{W~W|UUP R, U, X, S c R{U~X{SUP R, U, X, V c X~V|URUP R, V, P, U c (R{V)~U{PUP R, V, P, W c (V{P)~W|RUP R, V, P, X c V~X|R{PUP R, V, Q, R c R~V~R|QUP R, V, Q, U c (R{U)~V|QUP R, V, Q, W c R{V~W{QUP R, V, Q, X c R~Q~X{VUP R, V, R, Q c R~V~R|QUP R, V, R, U c R~R~U{VUP R, V, R, X c (R{R)~X{VUP R, V, S, V c R~S{V~VUP R, V, S, X c (V{X)~S|RUP R, V, T, T c (R{T)~V{TUP R, V, T, W c R~V{T~WUP R, V, T, X c R{V~X|TUP R, V, U, P c (R{V)~U{PUP R, V, U, Q c (R{U)~V|QUP R, V, U, R c R~U~R{VUP R, V, U, U c (R{U)~U{VUP R, V, U, X c V~X|URUP R, V, V, S c R~S{V~VUP R, V, V, X c R{V~V{XUP R, V, W, P c (V{P)~W|RUP R, V, W, Q c R{V~W{QUP R, V, W, T c R~V{W~TUP R, V, W, W c V~W|R{WUP R, V, X, P c V~X|R{PUP R, V, X, Q c R~X~Q{VUP R, V, X, R c (R{R)~X{VUP R, V, X, S c (V{X)~S|RUP R, V, X, T c R{V~X|TUP R, V, X, U c V~X|URUP R, V, X, V c R{V~V{XUP R, V, X, X c R~(X{X){VUP R, W, O, W c (W{O)~W|RUP R, W, P, V c W~(P{V)|RUP R, W, P, W c W~P~W|RUP R, W, P, X c W~(X|P)|RUP R, W, Q, S c W~Q~S|RUP R, W, Q, U c W~(Q{U)|RUP R, W, Q, V c R{W~V{QUP R, W, R, T c (R{T)~W|RUP R, W, S, Q c W~S~Q|RUP R, W, S, S c W~(S{S)|RUP R, W, S, T c (R{S)~W{TUP R, W, S, W c (W{W)~S|RUP R, W, T, R c (R{T)~W|RUP R, W, T, S c (R{S)~W{TUP R, W, T, U c (R{W)~T{UUP R, W, T, V c R~V{W~TUP R, W, U, Q c W~(U{Q)|RUP R, W, U, T c (R{W)~U|TUP R, W, U, W c R{W~W|UUP R, W, V, P c W~(V{P)|RUP R, W, V, Q c R{W~V{QUP R, W, V, T c R~V{W~TUP R, W, V, W c W|R{V~WUP R, W, W, O c W~W|R{OUP R, W, W, P c W~W|R~PUP R, W, W, S c (W{W)~S|RUP R, W, W, U c R{W~W|UUP R, W, W, V c W|R{W~VUP R, W, W, W c (W|RW)~WUP R, W, W, X c W~W|XRUP R, W, X, P c W~(X|P)|RUP R, W, X, W c (W~X)|(R{W)UP R, X, P, T c (R{X)~T{PUP R, X, P, V c X~V|R{PUP R, X, P, W c (X|P)~W|RUP R, X, Q, S c (R{S)~X|QUP R, X, Q, V c R~X~Q{VUP R, X, R, V c (R{R)~X{VUP R, X, S, Q c (R{S)~X|QUP R, X, S, U c R{X~U{SUP R, X, S, V c (X{V)~S|RUP R, X, T, P c (R{X)~T{PUP R, X, T, V c R{X~V|TUP R, X, U, S c R{X~U{SUP R, X, U, V c X~V|URUP R, X, V, P c X~V|R{PUP R, X, V, Q c R~X~Q{VUP R, X, V, R c (R{R)~X{VUP R, X, V, S c (X{V)~S|RUP R, X, V, T c R{X~V|TUP R, X, V, U c X~V|URUP R, X, V, V c R{X{V~VUP R, X, V, X c R~(X{X){VUP R, X, W, P c (X|P)~W|RUP R, X, W, W c (X~W)|(R{W)UP R, X, X, V c R~(X{X){VUP S, P, R, T c S~R~T{PUP S, P, T, R c S~T~R{PUP S, P, T, W c (S{W)~T{PUP S, P, U, U c (S{U)~U{PUP S, P, U, X c S~(U{X){PUP S, P, V, W c S{P{V~WUP S, P, W, T c (S{W)~T{PUP S, P, W, V c S{P{W~VUP S, P, W, W c P{W~W|SUP S, P, X, U c S~(X{U){PUP S, Q, R, W c S~Q~W|RUP S, Q, R, X c (S{R)~X|QUP S, Q, T, V c S~Q~V{TUP S, Q, V, T c S~Q~V{TUP S, Q, V, X c (S{Q)~X{VUP S, Q, W, R c S~Q~W|RUP S, Q, X, R c (S{R)~X|QUP S, Q, X, V c (S{Q)~X{VUP S, R, P, T c S~R~T{PUP S, R, Q, W c S~Q~W|RUP S, R, Q, X c (S{R)~X|QUP S, R, S, S c S~S~S|RUP S, R, S, W c (S{S)~W|RUP S, R, T, P c S~R~T{PUP S, R, T, W c (S{R)~W{TUP S, R, U, X c S{R{U~XUP S, R, V, V c S~R{V~VUP S, R, V, X c S~(V{X)|RUP S, R, W, Q c S~W~Q|RUP S, R, W, S c (S{S)~W|RUP S, R, W, T c (S{R)~W{TUP S, R, W, W c S~(W{W)|RUP S, R, X, Q c (S{R)~X|QUP S, R, X, U c S{R{X~UUP S, R, X, V c S~(X{V)|RUP S, S, R, S c S~S~S|RUP S, S, R, W c (S{S)~W|RUP S, S, S, R c S~S~S|RUP S, S, T, V c (S{S)~V{TUP S, S, T, X c S~S{T~XUP S, S, V, T c (S{S)~V{TUP S, S, W, R c (S{S)~W|RUP S, S, X, T c S~S{X~TUP S, S, X, X c S~(S{X){XUP S, T, P, R c S~T~R{PUP S, T, P, W c (S{W)~T{PUP S, T, Q, V c (S{T)~V|QUP S, T, R, P c S~T~R{PUP S, T, R, W c (S{R)~W{TUP S, T, S, V c (S{S)~V{TUP S, T, S, X c S~S{T~XUP S, T, T, W c T~(T{W)|SUP S, T, T, X c S~(T{X){TUP S, T, U, V c (S{T)~U{VUP S, T, U, W c S~(U{W){TUP S, T, V, Q c (S{T)~V|QUP S, T, V, S c (S{S)~V{TUP S, T, V, U c (S{T)~U{VUP S, T, V, V c S~(V{V){TUP S, T, W, P c (S{W)~T{PUP S, T, W, R c (S{R)~W{TUP S, T, W, T c (T{W)~T|SUP S, T, W, U c S~(W{U){TUP S, T, W, X c S~(T{W){XUP S, T, X, S c (S{X)~T|SUP S, T, X, T c S~(T{X){TUP S, T, X, W c S~(T{W){XUP S, T, X, X c X~X|S~TUP S, U, P, U c (S{U)~U{PUP S, U, P, X c S~(U{X){PUP S, U, R, X c S{U~X{RUP S, U, T, V c (S{T)~U{VUP S, U, T, W c S~(U{W){TUP S, U, U, P c (S{U)~U{PUP S, U, V, T c (S{V)~U|TUP S, U, V, X c (S{U)~V|XUP S, U, W, T c S~(U{W){TUP S, U, W, X c S{U~W{XUP S, U, X, P c S~(U{X){PUP S, U, X, R c S{U~X{RUP S, U, X, V c (S{U)~V|XUP S, U, X, W c S{U~W{XUP S, V, P, W c S{V~W{PUP S, V, Q, T c S~V~Q{TUP S, V, Q, X c (S{Q)~X{VUP S, V, R, V c S~R{V~VUP S, V, R, X c S~(V{X)|RUP S, V, S, T c (S{S)~V{TUP S, V, T, Q c S~V~Q{TUP S, V, T, S c (S{S)~V{TUP S, V, T, U c (S{V)~T{UUP S, V, T, V c S~(V{V){TUP S, V, U, T c (S{V)~U|TUP S, V, U, X c S~(V{U){XUP S, V, V, R c S~R{V~VUP S, V, V, T c S~(V{V){TUP S, V, V, W c S{V~V{WUP S, V, W, P c S{V~W{PUP S, V, W, V c S{V~V{WUP S, V, W, W c S{W~W|VUP S, V, W, X c S~(W{X)|VUP S, V, X, Q c (S{Q)~X{VUP S, V, X, R c S~(V{X)|RUP S, V, X, U c S{V~X|UUP S, V, X, W c S~(X{W)|VUP S, W, P, T c (S{W)~T{PUP S, W, P, V c S{W~V{PUP S, W, P, W c W~W|S{PUP S, W, Q, R c S~W~Q|RUP S, W, R, Q c S~W~Q|RUP S, W, R, S c (S{S)~W|RUP S, W, R, T c (S{R)~W{TUP S, W, R, W c S~(W{W)|RUP S, W, S, R c (S{S)~W|RUP S, W, T, P c (S{W)~T{PUP S, W, T, R c (S{R)~W{TUP S, W, T, T c (W{T)~T|SUP S, W, T, U c S~(W{U){TUP S, W, T, X c S~(W{T){XUP S, W, U, T c S~(W{U){TUP S, W, U, X c S{W~U{XUP S, W, V, P c S{W~V{PUP S, W, V, V c S{W{V~VUP S, W, V, W c S{W~W|VUP S, W, V, X c S~(W{X)|VUP S, W, W, P c W~W|S{PUP S, W, W, R c S~(W{W)|RUP S, W, W, V c S{W~W|VUP S, W, X, T c S~(W{T){XUP S, W, X, U c S{W~U{XUP S, W, X, V c S~(W{X)|VUP S, X, P, U c S~(X{U){PUP S, X, Q, R c (S{R)~X|QUP S, X, Q, V c (S{Q)~X{VUP S, X, R, Q c (S{R)~X|QUP S, X, R, U c S{X~U{RUP S, X, R, V c S~(X{V)|RUP S, X, S, T c (S{X)~T|SUP S, X, S, X c (S{X)~S{XUP S, X, T, S c (S{X)~T|SUP S, X, T, T c S~(X{T){TUP S, X, T, W c S~(T{W){XUP S, X, T, X c X~X|S~TUP S, X, U, P c S~(X{U){PUP S, X, U, R c S{X~U{RUP S, X, U, V c S{X~V|UUP S, X, U, W c S{X{U~WUP S, X, V, Q c (S{Q)~X{VUP S, X, V, R c S~(X{V)|RUP S, X, V, U c S{X~V|UUP S, X, V, W c S~(X{W)|VUP S, X, W, T c S~(W{T){XUP S, X, W, U c S{X{W~UUP S, X, W, V c S~(X{W)|VUP S, X, X, S c (S{X)~S{XUP S, X, X, T c X~X|S~TUP T, O, V, W c T{O{V~WUP T, O, W, V c T{O{W~VUP T, P, Q, U c T~Q~U{PUP T, P, R, S c T~R~S{PUP T, P, R, X c T~(R{X){PUP T, P, S, R c T~S~R{PUP T, P, S, W c T~(S{W){PUP T, P, T, U c (T{T)~U{PUP T, P, T, V c T~(T{V){PUP T, P, U, Q c T~U~Q{PUP T, P, U, T c (T{T)~U{PUP T, P, U, U c T~(U{U){PUP T, P, U, W c T{(P{U)~WUP T, P, V, T c (T{V)~T{PUP T, P, V, V c T{(P{V)~VUP T, P, V, W c T{P~V~WUP T, P, V, X c (T{P)~X{VUP T, P, W, S c T~(W{S){PUP T, P, W, U c T{(P{U)~WUP T, P, W, V c T{P~W~VUP T, P, W, W c T{(W|P)~WUP T, P, X, R c T~(X{R){PUP T, P, X, V c (T{P)~X{VUP T, Q, P, U c T~Q~U{PUP T, Q, Q, X c (T{Q)~X|QUP T, Q, S, V c T{Q~S~VUP T, Q, T, W c T{(Q{T)~WUP T, Q, U, P c T~Q~U{PUP T, Q, U, V c T{(Q{U)~VUP T, Q, U, X c T{Q{U~XUP T, Q, V, S c T{Q~V~SUP T, Q, V, U c T{(Q{U)~VUP T, Q, V, X c T~Q~V|XUP T, Q, W, T c (T{Q)~W{TUP T, Q, W, W c Q{W~W|TUP T, Q, W, X c T{W~(X|Q)UP T, Q, X, Q c (T{Q)~X|QUP T, Q, X, U c T{Q{X~UUP T, Q, X, V c T~Q~V|XUP T, Q, X, W c T{(X|Q)~WUP T, R, P, S c T~R~S{PUP T, R, P, X c T~(R{X){PUP T, R, R, W c (T{R)~W|RUP T, R, S, P c T~R~S{PUP T, R, S, W c T{(R{S)~WUP T, R, T, V c T{(R{T)~VUP T, R, U, W c T~(R{W){UUP T, R, V, T c (T{R)~V{TUP T, R, V, W c T~W{R~VUP T, R, V, X c R{V~X|TUP T, R, W, R c (T{R)~W|RUP T, R, W, S c T{(R{S)~WUP T, R, W, U c T~(R{W){UUP T, R, W, V c T~W{R~VUP T, R, X, P c T~(R{X){PUP T, R, X, V c R{X~V|TUP T, S, P, R c T~S~R{PUP T, S, P, W c T~(S{W){PUP T, S, Q, V c T{S~Q~VUP T, S, R, P c T~S~R{PUP T, S, R, W c T{(S{R)~WUP T, S, S, V c T{(S{S)~VUP T, S, S, X c T~(S{X)|SUP T, S, T, W c T~(T{W)|SUP T, S, T, X c T{S~(T{X)UP T, S, U, V c (T{S)~U{VUP T, S, U, W c T{S~(U{W)UP T, S, V, Q c (T{S)~V|QUP T, S, V, S c T{(S{S)~VUP T, S, V, U c T~(S{V){UUP T, S, V, V c T{S~(V{V)UP T, S, W, P c T~(S{W){PUP T, S, W, R c T{(S{R)~WUP T, S, W, T c (T{W)~T|SUP T, S, W, U c T{S~(W{U)UP T, S, W, X c (T{W)~S{XUP T, S, X, S c T~(S{X)|SUP T, S, X, T c T{S~(X{T)UP T, S, X, W c (T{W)~S{XUP T, S, X, X c X~X|T~SUP T, T, P, U c (T{T)~U{PUP T, T, P, V c T~(T{V){PUP T, T, Q, W c T{(T{Q)~WUP T, T, R, V c T{(T{R)~VUP T, T, S, W c T~(T{W)|SUP T, T, S, X c T~T{S~XUP T, T, U, P c (T{T)~U{PUP T, T, U, U c T~(T{U){UUP T, T, V, P c T~(T{V){PUP T, T, V, R c T{(T{R)~VUP T, T, V, X c (T{T)~V|XUP T, T, W, Q c T{(T{Q)~WUP T, T, W, S c T~(T{W)|SUP T, T, X, S c T{(T{X)~SUP T, T, X, V c (T{T)~V|XUP T, T, X, X c T~(T{X)|XUP T, U, P, Q c T~U~Q{PUP T, U, P, T c (T{T)~U{PUP T, U, P, U c T~(U{U){PUP T, U, P, W c T{(U{P)~WUP T, U, Q, P c T~U~Q{PUP T, U, Q, V c T{(U{Q)~VUP T, U, Q, X c T{U~X{QUP T, U, R, W c T~(R{W){UUP T, U, S, V c T~(U{V)|SUP T, U, S, W c T{(U{W)~SUP T, U, T, P c (T{T)~U{PUP T, U, T, U c (T{U)~T{UUP T, U, U, P c T~(U{U){PUP T, U, U, T c (T{U)~U|TUP T, U, V, Q c T{(U{Q)~VUP T, U, V, S c T~(U{V)|SUP T, U, W, P c T{(U{P)~WUP T, U, W, R c T~(W{R){UUP T, U, W, S c T{(U{W)~SUP T, U, W, W c T{U~W{WUP T, U, W, X c T~(U{W)|XUP T, U, X, Q c T{U~X{QUP T, U, X, W c T~(U{W)|XUP T, V, O, W c T{(V{O)~WUP T, V, P, T c (T{V)~T{PUP T, V, P, V c T{(V{P)~VUP T, V, P, W c T{V~P~WUP T, V, P, X c T{V~(X|P)UP T, V, Q, S c T{V~Q~SUP T, V, Q, U c T{V~(Q{U)UP T, V, Q, X c T~V~Q|XUP T, V, R, T c T{V~(R{T)UP T, V, R, W c T~W{V~RUP T, V, R, X c V~X|T{RUP T, V, S, Q c T{V~S~QUP T, V, S, S c T{V~(S{S)UP T, V, S, U c T~(V{S){UUP T, V, S, V c T{(V{V)~SUP T, V, T, P c (T{V)~T{PUP T, V, T, R c T{V~(T{R)UP T, V, T, X c (T{T)~V|XUP T, V, U, Q c T{V~(U{Q)UP T, V, U, S c T~(V{U)|SUP T, V, V, P c T{V~(V{P)UP T, V, V, S c T{(V{V)~SUP T, V, V, V c T{V{V~VUP T, V, V, W c (TV{W)~VUP T, V, V, X c T~(V{V)|XUP T, V, W, O c T{V~W{OUP T, V, W, P c T{V~W~PUP T, V, W, R c T~W{V~RUP T, V, W, V c (TV{W)~VUP T, V, W, W c (TW{V)~WUP T, V, X, P c T{V~(X|P)UP T, V, X, Q c T~V~Q|XUP T, V, X, R c V~X|T{RUP T, V, X, T c (T{T)~V|XUP T, V, X, V c T{V~X|VUP T, V, X, X c T~X{V{XUP T, W, O, V c T{(W{O)~VUP T, W, P, S c T~(W{S){PUP T, W, P, U c T{W~(P{U)UP T, W, P, V c T{W~P~VUP T, W, P, W c T{(W|P)~WUP T, W, Q, T c T{W~(Q{T)UP T, W, Q, W c W~W|T{QUP T, W, Q, X c T{W~(X|Q)UP T, W, R, R c (T{R)~W|RUP T, W, R, S c T{W~(R{S)UP T, W, R, U c T~(W{R){UUP T, W, R, V c T~W{R~VUP T, W, S, P c T~(W{S){PUP T, W, S, R c T{W~(S{R)UP T, W, S, T c (T{W)~T|SUP T, W, S, U c T{(W{U)~SUP T, W, S, X c (T{W)~S{XUP T, W, T, Q c T{W~(T{Q)UP T, W, T, S c (T{W)~T|SUP T, W, U, P c T{W~(U{P)UP T, W, U, R c T~(W{R){UUP T, W, U, S c T{(W{U)~SUP T, W, U, W c T{W{U~WUP T, W, U, X c T~(W{U)|XUP T, W, V, O c T{W~V{OUP T, W, V, P c T{W~V~PUP T, W, V, R c T~W{V~RUP T, W, V, V c (TV{W)~VUP T, W, V, W c (TW{V)~WUP T, W, W, P c T{W~(W|P)UP T, W, W, Q c W~W|T{QUP T, W, W, U c T{W{W~UUP T, W, W, V c (TW{V)~WUP T, W, W, W c T{W~W|WUP T, W, W, X c T~X{W{WUP T, W, X, Q c T{W~(X|Q)UP T, W, X, S c (T{W)~S{XUP T, W, X, U c T~(W{U)|XUP T, W, X, W c T~X{W{WUP T, X, P, R c T~(X{R){PUP T, X, P, V c T{(X|P)~VUP T, X, Q, Q c (T{Q)~X|QUP T, X, Q, U c T~(X{Q){UUP T, X, Q, V c T~Q~V|XUP T, X, Q, W c T{(X|Q)~WUP T, X, R, P c T~(X{R){PUP T, X, R, V c X~V|T{RUP T, X, S, S c T~(X{S)|SUP T, X, S, T c (T{X)~S{TUP T, X, S, W c (T{W)~S{XUP T, X, S, X c X~X|T~SUP T, X, T, S c T{(X{T)~SUP T, X, T, V c (T{T)~V|XUP T, X, T, X c (T{X)~T|XUP T, X, U, Q c T{X~U{QUP T, X, U, W c T~(U{W)|XUP T, X, V, P c T{(X|P)~VUP T, X, V, Q c T~V~Q|XUP T, X, V, R c X~V|T{RUP T, X, V, T c (T{T)~V|XUP T, X, V, V c T{X~V|VUP T, X, V, X c T~X{V{XUP T, X, W, Q c T~X{W~QUP T, X, W, S c (T{W)~S{XUP T, X, W, U c T~(W{U)|XUP T, X, W, W c T~X{W{WUP T, X, X, S c X~X|T~SUP T, X, X, T c (T{X)~T|XUP T, X, X, V c T~X{X{VUP U, O, V, X c (U{O)~X{VUP U, O, X, V c (U{O)~X{VUP U, P, P, X c U~(P{X){PUP U, P, Q, T c U~Q~T{PUP U, P, Q, W c U~(Q{W){PUP U, P, Q, X c (U{P)~X|QUP U, P, R, V c U~(R{V){PUP U, P, S, U c (U{S)~U{PUP U, P, S, X c (U{X)~S{PUP U, P, T, Q c U~T~Q{PUP U, P, T, T c U~(T{T){PUP U, P, T, U c (U{U)~T{PUP U, P, T, W c (U{P)~W{TUP U, P, U, S c U~(U{S){PUP U, P, U, T c (U{U)~T{PUP U, P, U, X c U{P{U~XUP U, P, V, R c U~(V{R){PUP U, P, V, W c U|P{V~WUP U, P, V, X c U~P~X{VUP U, P, W, Q c U~(W{Q){PUP U, P, W, T c (U{P)~W{TUP U, P, W, V c U|P{W~VUP U, P, W, X c U~X|P{WUP U, P, X, P c U~(P{X){PUP U, P, X, Q c (U{P)~X|QUP U, P, X, S c (U{X)~S{PUP U, P, X, U c U{P{X~UUP U, P, X, V c U~P~X{VUP U, P, X, W c U~X|P{WUP U, Q, P, T c U~Q~T{PUP U, Q, P, W c U~(Q{W){PUP U, Q, P, X c (U{P)~X|QUP U, Q, R, V c (U{R)~V|QUP U, Q, R, W c (U{Q)~W|RUP U, Q, T, P c U~Q~T{PUP U, Q, T, V c (U{Q)~V{TUP U, Q, T, X c U{(Q{X)~TUP U, Q, V, R c (U{R)~V|QUP U, Q, V, T c (U{Q)~V{TUP U, Q, V, V c U~(Q{V){VUP U, Q, W, P c U~(Q{W){PUP U, Q, W, R c (U{Q)~W|RUP U, Q, W, W c W~W|UQUP U, Q, X, P c (U{P)~X|QUP U, Q, X, T c U{(Q{X)~TUP U, Q, X, X c U~X|Q{XUP U, R, P, V c U~(R{V){PUP U, R, Q, V c (U{R)~V|QUP U, R, Q, W c (U{Q)~W|RUP U, R, R, V c U~R~R{VUP U, R, S, X c U~X{R{SUP U, R, T, W c U{(R{W)~TUP U, R, U, V c (U{R)~U{VUP U, R, V, P c U~(R{V){PUP U, R, V, Q c (U{R)~V|QUP U, R, V, R c U~R~R{VUP U, R, V, U c (U{R)~U{VUP U, R, V, X c V~X|URUP U, R, W, Q c (U{Q)~W|RUP U, R, W, T c U{(R{W)~TUP U, R, W, W c R{W~W|UUP U, R, X, S c U~X{R{SUP U, R, X, V c X~V|URUP U, S, P, U c (U{S)~U{PUP U, S, P, X c (U{X)~S{PUP U, S, R, X c U~X{S{RUP U, S, T, V c U~(S{T){VUP U, S, T, W c (U{W)~S{TUP U, S, U, P c (U{S)~U{PUP U, S, V, T c U{(S{V)~TUP U, S, V, X c (U{S)~V|XUP U, S, W, T c (U{W)~S{TUP U, S, W, X c U~W{S{XUP U, S, X, P c (U{X)~S{PUP U, S, X, R c U~X{S{RUP U, S, X, V c (U{S)~V|XUP U, S, X, W c U~W{S{XUP U, T, P, Q c U~T~Q{PUP U, T, P, T c U~(T{T){PUP U, T, P, U c (U{U)~T{PUP U, T, P, W c (U{P)~W{TUP U, T, Q, P c U~T~Q{PUP U, T, Q, V c (U{Q)~V{TUP U, T, Q, X c U{T~(Q{X)UP U, T, R, W c U{T~(R{W)UP U, T, S, V c U{T~(S{V)UP U, T, S, W c (U{W)~S{TUP U, T, T, P c U~(T{T){PUP U, T, T, U c (U{T)~T{UUP U, T, U, P c (U{U)~T{PUP U, T, U, T c U{(T{U)~TUP U, T, V, Q c (U{Q)~V{TUP U, T, V, S c U{T~(V{S)UP U, T, W, P c (U{P)~W{TUP U, T, W, R c U{T~(W{R)UP U, T, W, S c (U{W)~S{TUP U, T, W, W c U~W{T{WUP U, T, W, X c (U{W)~T|XUP U, T, X, Q c U{T~(X{Q)UP U, T, X, W c (U{W)~T|XUP U, U, P, S c U~(U{S){PUP U, U, P, T c (U{U)~T{PUP U, U, P, X c U{U~X{PUP U, U, R, V c U~(U{R){VUP U, U, S, P c U~(U{S){PUP U, U, T, P c (U{U)~T{PUP U, U, T, T c U{(U{T)~TUP U, U, V, R c U~(U{R){VUP U, U, V, V c U{U{V~VUP U, U, V, W c U{U~W{VUP U, U, V, X c U~(VU{X)UP U, U, W, V c U{U~W{VUP U, U, X, P c U{U~X{PUP U, U, X, V c U~(X{VU)UP U, V, O, X c (U{O)~X{VUP U, V, P, R c U~(V{R){PUP U, V, P, W c U{V~W|PUP U, V, P, X c U~P~X{VUP U, V, Q, R c (U{R)~V|QUP U, V, Q, T c (U{Q)~V{TUP U, V, Q, V c U~(V{Q){VUP U, V, R, P c U~(V{R){PUP U, V, R, Q c (U{R)~V|QUP U, V, R, R c U~R~R{VUP U, V, R, U c (U{R)~U{VUP U, V, R, X c V~X|URUP U, V, S, T c U{(V{S)~TUP U, V, S, X c (U{V)~S{XUP U, V, T, Q c (U{Q)~V{TUP U, V, T, S c (U{V)~T|SUP U, V, U, R c U~(U{R){VUP U, V, U, V c U{V~V{UUP U, V, U, W c U{V{U~WUP U, V, U, X c U~(VU{X)UP U, V, V, Q c U~(V{Q){VUP U, V, V, U c U{V~V{UUP U, V, W, P c U{V~W|PUP U, V, W, U c U{V{W~UUP U, V, W, X c U{V~X|WUP U, V, X, O c U~X{V{OUP U, V, X, P c U~X{V~PUP U, V, X, R c V~X|URUP U, V, X, S c (U{V)~S{XUP U, V, X, U c U~(VU{X)UP U, V, X, W c U{V~X|WUP U, V, X, X c (U{VX)~XUP U, W, P, Q c U~(W{Q){PUP U, W, P, T c (U{P)~W{TUP U, W, P, V c U~(W{P){VUP U, W, P, X c U~X{W|PUP U, W, Q, P c U~(W{Q){PUP U, W, Q, R c (U{Q)~W|RUP U, W, Q, W c W~W|UQUP U, W, R, Q c (U{Q)~W|RUP U, W, R, T c U{(W{R)~TUP U, W, R, W c W~W|U{RUP U, W, S, T c (U{W)~S{TUP U, W, S, X c U~W{S{XUP U, W, T, P c (U{P)~W{TUP U, W, T, R c U{(W{R)~TUP U, W, T, S c (U{W)~S{TUP U, W, T, W c U~W{T{WUP U, W, T, X c (U{W)~T|XUP U, W, U, V c U{W~U{VUP U, W, V, P c U{W~V|PUP U, W, V, U c U~W{V{UUP U, W, V, X c U{V~X|WUP U, W, W, Q c W~W|UQUP U, W, W, R c W~W|U{RUP U, W, W, T c U~W{W{TUP U, W, W, X c U{W~W|XUP U, W, X, P c U~X{W|PUP U, W, X, S c U~W{X{SUP U, W, X, T c (U{W)~T|XUP U, W, X, V c U{X~V|WUP U, W, X, W c U{W~W|XUP U, X, O, V c U~X{O{VUP U, X, P, P c U~(X{P){PUP U, X, P, Q c (U{P)~X|QUP U, X, P, S c (U{X)~S{PUP U, X, P, U c U~X{P{UUP U, X, P, V c U~X{P~VUP U, X, P, W c U~X|P{WUP U, X, Q, P c (U{P)~X|QUP U, X, Q, T c U{(X{Q)~TUP U, X, Q, X c U~X|Q{XUP U, X, R, S c U~X{R{SUP U, X, R, V c X~V|URUP U, X, S, P c (U{X)~S{PUP U, X, S, R c U~X{S{RUP U, X, S, V c (U{S)~V|XUP U, X, S, W c U~W{X{SUP U, X, T, Q c U~X{T{QUP U, X, T, W c (U{W)~T|XUP U, X, U, P c U{X~U{PUP U, X, U, V c U~(X{VU)UP U, X, V, O c U~X{V{OUP U, X, V, P c U~X{V~PUP U, X, V, R c X~V|URUP U, X, V, S c (U{V)~S{XUP U, X, V, U c U~(X{VU)UP U, X, V, W c U{X~V|WUP U, X, V, X c (U{VX)~XUP U, X, W, P c U~X{W|PUP U, X, W, S c U~W{X{SUP U, X, W, T c (U{W)~T|XUP U, X, W, V c U{X~V|WUP U, X, W, W c U{W~W|XUP U, X, X, Q c U~X{X|QUP U, X, X, V c (U{VX)~XUP V, O, Q, X c (V{O)~X|QUP V, O, T, W c (V{O)~W{TUP V, O, U, X c V{O{U~XUP V, O, W, T c (V{O)~W{TUP V, O, X, Q c (V{O)~X|QUP V, O, X, U c V{O{X~UUP V, P, P, X c (V~X)|(P{P)UP V, P, Q, W c V~(P{W)|QUP V, P, Q, X c V~P~X|QUP V, P, R, U c (V{R)~U{PUP V, P, R, W c (V{P)~W|RUP V, P, R, X c V~X{P|RUP V, P, S, W c V~W{P{SUP V, P, T, T c (V{T)~T{PUP V, P, T, V c (V{P)~V{TUP V, P, T, W c V~P~W{TUP V, P, T, X c V{(P{T)~XUP V, P, U, R c (V{R)~U{PUP V, P, U, W c V{(P{W)~UUP V, P, U, X c V{P~U~XUP V, P, V, T c (V{P)~V{TUP V, P, V, X c (V|P)~X{VUP V, P, W, Q c V~(P{W)|QUP V, P, W, R c (V{P)~W|RUP V, P, W, S c V~W{P{SUP V, P, W, T c V~P~W{TUP V, P, W, U c V{(P{W)~UUP V, P, X, P c (V~X)|(P{P)UP V, P, X, Q c V~P~X|QUP V, P, X, R c V~X{P|RUP V, P, X, T c V{(P{T)~XUP V, P, X, U c V{P~X~UUP V, P, X, V c (V|P)~X{VUP V, P, X, X c V~(P{X)|XUP V, Q, O, X c (V{O)~X|QUP V, Q, P, W c V~(P{W)|QUP V, Q, P, X c V~P~X|QUP V, Q, Q, V c (V{Q)~V|QUP V, Q, R, R c V~R~R|QUP V, Q, R, U c V~(R{U)|QUP V, Q, R, W c V~W{Q{RUP V, Q, R, X c V{Q~R~XUP V, Q, S, T c V~Q~S{TUP V, Q, S, X c V{(Q{S)~XUP V, Q, T, S c V~Q~S{TUP V, Q, T, U c V~(Q{U){TUP V, Q, T, X c V~Q~T|XUP V, Q, U, R c V~(U{R)|QUP V, Q, U, T c V~(Q{U){TUP V, Q, U, V c (V{Q)~U{VUP V, Q, V, Q c (V{Q)~V|QUP V, Q, V, U c V{(Q{V)~UUP V, Q, V, W c V|Q{V~WUP V, Q, V, X c V~(X|QV)UP V, Q, W, P c V~(W{P)|QUP V, Q, W, R c V~W{Q{RUP V, Q, W, V c V|Q{W~VUP V, Q, W, X c V~(Q{W)|XUP V, Q, X, O c V~X|Q{OUP V, Q, X, P c V~X|Q~PUP V, Q, X, R c V{Q~X~RUP V, Q, X, S c V{(Q{S)~XUP V, Q, X, T c V~Q~T|XUP V, Q, X, V c V~(X|QV)UP V, Q, X, W c V~(Q{W)|XUP V, Q, X, X c (V|QX)~XUP V, R, P, U c (V{R)~U{PUP V, R, P, W c (V{P)~W|RUP V, R, P, X c V~X|R{PUP V, R, Q, R c V~R~R|QUP V, R, Q, U c V~(R{U)|QUP V, R, Q, W c V~W{R{QUP V, R, Q, X c V{R~Q~XUP V, R, R, Q c V~R~R|QUP V, R, R, U c V{R~R~UUP V, R, R, X c V{(R{R)~XUP V, R, S, V c V~V{R~SUP V, R, S, X c (V{X)~S|RUP V, R, T, T c V~(R{T){TUP V, R, T, W c V~R{T~WUP V, R, T, X c V~X{R|TUP V, R, U, P c (V{R)~U{PUP V, R, U, Q c V~(R{U)|QUP V, R, U, R c V{R~U~RUP V, R, U, U c V{(R{U)~UUP V, R, U, X c V~X|URUP V, R, V, S c V~V{R~SUP V, R, V, X c (V{R)~V|XUP V, R, W, P c (V{P)~W|RUP V, R, W, Q c V~W{R{QUP V, R, W, T c V~R{W~TUP V, R, W, W c V~W|R{WUP V, R, X, P c V~X|R{PUP V, R, X, Q c V{R~X~QUP V, R, X, R c V{(R{R)~XUP V, R, X, S c (V{X)~S|RUP V, R, X, T c V~X{R|TUP V, R, X, U c V~X|URUP V, R, X, V c (V{R)~V|XUP V, R, X, X c V{R~(X{X)UP V, S, P, W c (V{W)~S{PUP V, S, Q, T c V~S~Q{TUP V, S, Q, X c V{(S{Q)~XUP V, S, R, V c V~V{S~RUP V, S, R, X c (V{X)~S|RUP V, S, S, T c V~(S{S){TUP V, S, T, Q c V~(S{T)|QUP V, S, T, S c V~(S{S){TUP V, S, T, U c V{(S{T)~UUP V, S, T, V c (V{V)~S{TUP V, S, U, T c (V{S)~U|TUP V, S, U, X c V~(S{U)|XUP V, S, V, R c V~V{S~RUP V, S, V, T c (V{V)~S{TUP V, S, V, W c V~V{S{WUP V, S, W, P c (V{W)~S{PUP V, S, W, V c V~V{S{WUP V, S, W, W c S{W~W|VUP V, S, W, X c V~W|S{XUP V, S, X, Q c V{(S{Q)~XUP V, S, X, R c (V{X)~S|RUP V, S, X, U c V~(S{U)|XUP V, S, X, W c V~X|WSUP V, T, O, W c (V{O)~W{TUP V, T, P, T c (V{T)~T{PUP V, T, P, V c (V{P)~V{TUP V, T, P, W c V~P~W{TUP V, T, P, X c V{(T{P)~XUP V, T, Q, S c V~(T{S)|QUP V, T, Q, U c V~(Q{U){TUP V, T, Q, X c V~T~Q|XUP V, T, R, T c V~(T{R){TUP V, T, R, W c V~R{T~WUP V, T, R, X c V~X|T{RUP V, T, S, Q c V~(T{S)|QUP V, T, S, S c V~(S{S){TUP V, T, S, U c V{(T{S)~UUP V, T, S, V c (V{V)~S{TUP V, T, T, P c (V{T)~T{PUP V, T, T, R c V~(T{R){TUP V, T, T, X c V~(T{T)|XUP V, T, U, Q c V~(U{Q){TUP V, T, U, S c V{(T{S)~UUP V, T, V, P c V~(V{P){TUP V, T, V, S c (V{V)~S{TUP V, T, V, V c V{T{V~VUP V, T, V, W c V~(TV{W)UP V, T, V, X c (V{V)~T|XUP V, T, W, O c V~W{T{OUP V, T, W, P c V~W{T~PUP V, T, W, R c V~R{T~WUP V, T, W, V c V~(TV{W)UP V, T, W, W c (V{TW)~WUP V, T, X, P c V{(T{P)~XUP V, T, X, Q c V~T~Q|XUP V, T, X, R c V~X|T{RUP V, T, X, T c V~(T{T)|XUP V, T, X, V c V~X{T|VUP V, T, X, X c V{T~X{XUP V, U, O, X c V{(U{O)~XUP V, U, P, R c (V{R)~U{PUP V, U, P, W c V{U~(P{W)UP V, U, P, X c V{U~P~XUP V, U, Q, R c V~(U{R)|QUP V, U, Q, T c V~(U{Q){TUP V, U, Q, V c V{U~(Q{V)UP V, U, R, P c (V{R)~U{PUP V, U, R, Q c V~(U{R)|QUP V, U, R, R c V{U~R~RUP V, U, R, U c V{(U{R)~UUP V, U, R, X c V~X|URUP V, U, S, T c V{U~(S{T)UP V, U, S, X c (V{U)~S{XUP V, U, T, Q c V~(U{Q){TUP V, U, T, S c V{U~(T{S)UP V, U, U, R c V{U~(U{R)UP V, U, U, V c V~V{U{UUP V, U, U, W c V{U{U~WUP V, U, U, X c (VU{X)~UUP V, U, V, Q c V{U~(V{Q)UP V, U, V, U c V~V{U{UUP V, U, W, P c V{U~(W{P)UP V, U, W, U c V{U{W~UUP V, U, W, X c V~X{U|WUP V, U, X, O c V{U~X{OUP V, U, X, P c V{U~X~PUP V, U, X, R c V~X|URUP V, U, X, S c (V{U)~S{XUP V, U, X, U c (VU{X)~UUP V, U, X, W c V~X{U|WUP V, U, X, X c (VX{U)~XUP V, V, P, T c V~(V{P){TUP V, V, P, X c V{(V|P)~XUP V, V, Q, Q c V~(V{Q)|QUP V, V, Q, U c V{(V{Q)~UUP V, V, Q, W c V{V~W|QUP V, V, Q, X c V~(X|QV)UP V, V, R, S c V~V{R~SUP V, V, R, X c V~V{R{XUP V, V, S, R c V~V{S~RUP V, V, S, T c (V{V)~S{TUP V, V, S, W c V~V{S{WUP V, V, T, P c V~(V{P){TUP V, V, T, S c (V{V)~S{TUP V, V, T, V c V~V{T{VUP V, V, T, W c V~(TV{W)UP V, V, T, X c (V{V)~T|XUP V, V, U, Q c V~V{U~QUP V, V, U, U c V~V{U{UUP V, V, V, T c V{V~V{TUP V, V, W, Q c V{V~W|QUP V, V, W, S c V~V{W{SUP V, V, W, T c V~(W{TV)UP V, V, X, P c V{(V|P)~XUP V, V, X, Q c V~(X|QV)UP V, V, X, R c V~V{X{RUP V, V, X, T c (V{V)~T|XUP V, V, X, X c V{V~X|XUP V, W, O, T c V~W{O{TUP V, W, P, Q c V~(W{P)|QUP V, W, P, R c (V{P)~W|RUP V, W, P, S c V~W{P{SUP V, W, P, T c V~W{P~TUP V, W, P, U c V{(W{P)~UUP V, W, Q, P c V~(W{P)|QUP V, W, Q, R c V~W{Q{RUP V, W, Q, V c V~W|Q{VUP V, W, Q, X c V{(W|Q)~XUP V, W, R, P c (V{P)~W|RUP V, W, R, Q c V~W{R{QUP V, W, R, T c V~R{W~TUP V, W, R, W c V~W|R{WUP V, W, S, P c (V{W)~S{PUP V, W, S, V c V~V{W{SUP V, W, S, W c W~W|V{SUP V, W, S, X c V~W|S{XUP V, W, T, O c V~W{T{OUP V, W, T, P c V~W{T~PUP V, W, T, R c V~R{W~TUP V, W, T, V c V~(W{TV)UP V, W, T, W c (V{TW)~WUP V, W, U, P c V~W{U|PUP V, W, U, U c V{W~U{UUP V, W, U, X c V~X|W{UUP V, W, V, Q c V{W~V|QUP V, W, V, S c V~V{W{SUP V, W, V, T c V~(W{TV)UP V, W, W, R c V~W{W|RUP V, W, W, S c W~W|V{SUP V, W, W, T c (V{TW)~WUP V, W, X, Q c V{(W|Q)~XUP V, W, X, S c V~W{X|SUP V, W, X, U c V~X|W{UUP V, X, O, Q c V~X{O|QUP V, X, O, U c V{(X{O)~UUP V, X, P, P c (V~X)|(P{P)UP V, X, P, Q c V~X|P~QUP V, X, P, R c V~X{P|RUP V, X, P, T c V{X~(P{T)UP V, X, P, U c V{X~P~UUP V, X, P, V c V{X~(V|P)UP V, X, P, X c V~(X{P)|XUP V, X, Q, O c V~X|Q{OUP V, X, Q, P c V~X|Q~PUP V, X, Q, R c V{X~Q~RUP V, X, Q, S c V{X~(Q{S)UP V, X, Q, T c V~Q~T|XUP V, X, Q, V c V~(X|QV)UP V, X, Q, W c V{X~(W|Q)UP V, X, Q, X c (V|QX)~XUP V, X, R, P c V~X|R{PUP V, X, R, Q c V{X~R~QUP V, X, R, R c V{X~(R{R)UP V, X, R, S c (V{X)~S|RUP V, X, R, T c V~X{R|TUP V, X, R, U c V~X|URUP V, X, R, V c (V{R)~V|XUP V, X, R, X c V{(X|R)~XUP V, X, S, Q c V{X~(S{Q)UP V, X, S, R c (V{X)~S|RUP V, X, S, U c V~X{S|UUP V, X, S, W c V~X|WSUP V, X, T, P c V{X~(T{P)UP V, X, T, Q c V~T~Q|XUP V, X, T, R c V~X|T{RUP V, X, T, T c V~(T{T)|XUP V, X, T, V c V~X{T|VUP V, X, T, X c V{X{T~XUP V, X, U, O c V{X~U{OUP V, X, U, P c V{X~U~PUP V, X, U, R c V~X|URUP V, X, U, S c V~X|U{SUP V, X, U, U c (VU{X)~UUP V, X, U, W c V~X{U|WUP V, X, U, X c (VX{U)~XUP V, X, V, P c V{X~(V|P)UP V, X, V, Q c V~(X|QV)UP V, X, V, R c V~V{X{RUP V, X, V, T c V~X|V{TUP V, X, V, X c V{X~V|XUP V, X, W, Q c V{X~(W|Q)UP V, X, W, S c V~X|WSUP V, X, W, U c V~X|W{UUP V, X, X, P c V~(X{P)|XUP V, X, X, Q c (V|QX)~XUP V, X, X, R c V{(X{X)~RUP V, X, X, T c V{X{X~TUP V, X, X, U c (VX{U)~XUP V, X, X, V c V~X|X{VUP W, O, R, W c (W{O)~W|RUP W, O, T, V c (W{O)~V{TUP W, O, V, T c (W{O)~V{TUP W, O, W, R c (W{O)~W|RUP W, P, Q, U c (W{Q)~U{PUP W, P, Q, V c (W{P)~V|QUP W, P, Q, W c (W~W)|(P{Q)UP W, P, Q, X c (W|P)~X|QUP W, P, R, V c W~(P{V)|RUP W, P, R, W c W~P~W|RUP W, P, R, X c W~(X|P)|RUP W, P, S, T c (W{S)~T{PUP W, P, S, V c W~V{P{SUP W, P, S, W c W~W{P|SUP W, P, T, S c (W{S)~T{PUP W, P, T, U c W~(P{U){TUP W, P, T, V c W~P~V{TUP W, P, T, W c (W|P)~W{TUP W, P, U, Q c (W{Q)~U{PUP W, P, U, T c W~(P{U){TUP W, P, U, V c (W{P)~U{VUP W, P, U, X c W|P{U~XUP W, P, V, Q c (W{P)~V|QUP W, P, V, R c W~(P{V)|RUP W, P, V, S c W~V{P{SUP W, P, V, T c W~P~V{TUP W, P, V, U c (W{P)~U{VUP W, P, W, Q c (W~W)|(P{Q)UP W, P, W, R c W~P~W|RUP W, P, W, S c W~W{P|SUP W, P, W, T c (W|P)~W{TUP W, P, X, Q c (W|P)~X|QUP W, P, X, R c W~(X|P)|RUP W, P, X, U c W|P{X~UUP W, Q, P, U c (W{Q)~U{PUP W, Q, P, V c (W{P)~V|QUP W, Q, P, W c (W~W)|(Q{P)UP W, Q, P, X c (W|P)~X|QUP W, Q, R, S c W~Q~S|RUP W, Q, R, U c W~(Q{U)|RUP W, Q, R, V c W~V{Q{RUP W, Q, S, R c W~Q~S|RUP W, Q, T, T c W~(Q{T){TUP W, Q, T, W c W~W{Q|TUP W, Q, T, X c W~Q{T~XUP W, Q, U, P c (W{Q)~U{PUP W, Q, U, R c W~(Q{U)|RUP W, Q, U, W c W~W|UQUP W, Q, V, P c (W{P)~V|QUP W, Q, V, R c W~V{Q{RUP W, Q, V, V c W~V|Q{VUP W, Q, V, X c (W{Q)~V|XUP W, Q, W, P c (W~W)|(Q{P)UP W, Q, W, T c W~W{Q|TUP W, Q, W, U c W~W|UQUP W, Q, X, P c (W|P)~X|QUP W, Q, X, T c W~Q{X~TUP W, Q, X, V c (W|Q)~X{VUP W, Q, X, X c (W~X)|(Q{X)UP W, R, O, W c (W{O)~W|RUP W, R, P, V c W~(P{V)|RUP W, R, P, W c W~P~W|RUP W, R, P, X c W~(X|P)|RUP W, R, Q, S c W~Q~S|RUP W, R, Q, U c W~(Q{U)|RUP W, R, Q, V c W~V{R{QUP W, R, R, T c W~(R{T)|RUP W, R, S, Q c W~S~Q|RUP W, R, S, S c W~(S{S)|RUP W, R, S, T c W~(R{S){TUP W, R, S, W c (W{W)~S|RUP W, R, T, R c W~(R{T)|RUP W, R, T, S c W~(R{S){TUP W, R, T, U c (W{R)~T{UUP W, R, T, V c W~T{R~VUP W, R, U, Q c W~(U{Q)|RUP W, R, U, T c (W{R)~U|TUP W, R, U, W c W~W{R|UUP W, R, V, P c W~(V{P)|RUP W, R, V, Q c W~V{R{QUP W, R, V, T c W~T{R~VUP W, R, V, W c W|R{V~WUP W, R, W, O c W~W|R{OUP W, R, W, P c W~W|R~PUP W, R, W, S c (W{W)~S|RUP W, R, W, U c W~W{R|UUP W, R, W, V c W|R{W~VUP W, R, W, W c (W|RW)~WUP W, R, W, X c W~W|XRUP W, R, X, P c W~(X|P)|RUP W, R, X, W c (W~X)|(R{W)UP W, S, P, T c (W{S)~T{PUP W, S, P, V c (W{V)~S{PUP W, S, P, W c W~W|S{PUP W, S, Q, R c W~S~Q|RUP W, S, R, Q c W~S~Q|RUP W, S, R, S c W~(S{S)|RUP W, S, R, T c W~(S{R){TUP W, S, R, W c (W{W)~S|RUP W, S, S, R c W~(S{S)|RUP W, S, T, P c (W{S)~T{PUP W, S, T, R c W~(S{R){TUP W, S, T, T c (W{T)~T|SUP W, S, T, U c (W{U)~S{TUP W, S, T, X c (W{T)~S{XUP W, S, U, T c (W{U)~S{TUP W, S, U, X c W~U{S{XUP W, S, V, P c (W{V)~S{PUP W, S, V, V c W{S{V~VUP W, S, V, W c W~W{S|VUP W, S, V, X c W~V|S{XUP W, S, W, P c W~W|S{PUP W, S, W, R c (W{W)~S|RUP W, S, W, V c W~W{S|VUP W, S, X, T c (W{T)~S{XUP W, S, X, U c W~U{S{XUP W, S, X, V c (W{X)~S|VUP W, T, O, V c (W{O)~V{TUP W, T, P, S c (W{S)~T{PUP W, T, P, U c W~(P{U){TUP W, T, P, V c W~P~V{TUP W, T, P, W c (W|P)~W{TUP W, T, Q, T c W~(T{Q){TUP W, T, Q, W c W~W|T{QUP W, T, Q, X c W~Q{T~XUP W, T, R, R c W~(T{R)|RUP W, T, R, S c W~(R{S){TUP W, T, R, U c (W{R)~T{UUP W, T, R, V c W~T{R~VUP W, T, S, P c (W{S)~T{PUP W, T, S, R c W~(S{R){TUP W, T, S, T c (W{T)~T|SUP W, T, S, U c (W{U)~S{TUP W, T, S, X c (W{T)~S{XUP W, T, T, Q c W~(T{Q){TUP W, T, T, S c (W{T)~T|SUP W, T, U, P c W~(U{P){TUP W, T, U, R c (W{R)~T{UUP W, T, U, S c (W{U)~S{TUP W, T, U, W c W{T{U~WUP W, T, U, X c (W{U)~T|XUP W, T, V, O c W~V{T{OUP W, T, V, P c W~V{T~PUP W, T, V, R c W~T{V~RUP W, T, V, V c (W{TV)~VUP W, T, V, W c W~(TW{V)UP W, T, W, P c W~(W|P){TUP W, T, W, Q c W~W|T{QUP W, T, W, U c W{T{W~UUP W, T, W, V c W~(TW{V)UP W, T, W, W c W~W{T|WUP W, T, W, X c W{T~X{WUP W, T, X, Q c W~(X|Q){TUP W, T, X, S c (W{T)~S{XUP W, T, X, U c (W~X)|(T{U)UP W, T, X, W c W{T~X{WUP W, U, P, Q c (W{Q)~U{PUP W, U, P, T c W~(U{P){TUP W, U, P, V c (W{P)~U{VUP W, U, P, X c W{U~X|PUP W, U, Q, P c (W{Q)~U{PUP W, U, Q, R c W~(U{Q)|RUP W, U, Q, W c W~W|UQUP W, U, R, Q c W~(U{Q)|RUP W, U, R, T c (W{R)~U|TUP W, U, R, W c W~W|U{RUP W, U, S, T c (W{U)~S{TUP W, U, S, X c W~U{S{XUP W, U, T, P c W~(U{P){TUP W, U, T, R c (W{R)~U|TUP W, U, T, S c (W{U)~S{TUP W, U, T, W c W~U{T{WUP W, U, T, X c (W{U)~T|XUP W, U, U, V c W~U{U{VUP W, U, V, P c W~V{U|PUP W, U, V, U c W~U{V{UUP W, U, V, X c U{V~X|WUP W, U, W, Q c W~W|UQUP W, U, W, R c W~W|U{RUP W, U, W, T c W{U~W{TUP W, U, W, X c W~W{U|XUP W, U, X, P c W{U~X|PUP W, U, X, S c W~U{X{SUP W, U, X, T c (W{U)~T|XUP W, U, X, V c U{X~V|WUP W, U, X, W c W~W{U|XUP W, V, O, T c W~V{O{TUP W, V, P, Q c (W{P)~V|QUP W, V, P, R c W~(V{P)|RUP W, V, P, S c W~V{P{SUP W, V, P, T c W~V{P~TUP W, V, P, U c W~V|P{UUP W, V, Q, P c (W{P)~V|QUP W, V, Q, R c W~V{Q{RUP W, V, Q, V c W~V|Q{VUP W, V, Q, X c (W{Q)~V|XUP W, V, R, P c W~(V{P)|RUP W, V, R, Q c W~V{R{QUP W, V, R, T c W~T{V~RUP W, V, R, W c W~V|R{WUP W, V, S, P c (W{V)~S{PUP W, V, S, V c W{V~V{SUP W, V, S, W c W~W|V{SUP W, V, S, X c W~V|S{XUP W, V, T, O c W~V{T{OUP W, V, T, P c W~V{T~PUP W, V, T, R c W~T{V~RUP W, V, T, V c (W{TV)~VUP W, V, T, W c W~(V{TW)UP W, V, U, P c W~V{U|PUP W, V, U, U c W~U{V{UUP W, V, U, X c V~X|W{UUP W, V, V, Q c W~V{V|QUP W, V, V, S c W{V~V{SUP W, V, V, T c (W{TV)~VUP W, V, W, R c W{V~W|RUP W, V, W, S c W~W|V{SUP W, V, W, T c W~(V{TW)UP W, V, X, Q c (W{Q)~V|XUP W, V, X, S c W~V{X|SUP W, V, X, U c V~X|W{UUP W, W, O, R c W~W{O|RUP W, W, P, Q c (W~W)|(P{Q)UP W, W, P, R c W~W|P~RUP W, W, P, S c W~W{P|SUP W, W, P, T c W~(W|P){TUP W, W, Q, P c (W~W)|(Q{P)UP W, W, Q, T c W~W{Q|TUP W, W, Q, U c W~W|UQUP W, W, R, O c W~W|R{OUP W, W, R, P c W~W|R~PUP W, W, R, S c (W{W)~S|RUP W, W, R, U c W~W{R|UUP W, W, R, V c W{W~V|RUP W, W, R, W c W~(W|RW)UP W, W, R, X c W~W|XRUP W, W, S, P c W~W|S{PUP W, W, S, R c (W{W)~S|RUP W, W, S, V c W~W{S|VUP W, W, T, P c W~(W|P){TUP W, W, T, Q c W~W|T{QUP W, W, T, U c W{W~U{TUP W, W, T, V c W~(TW{V)UP W, W, T, W c W~W{T|WUP W, W, T, X c W{W{T~XUP W, W, U, Q c W~W|UQUP W, W, U, R c W~W|U{RUP W, W, U, T c W{W~U{TUP W, W, U, X c W~W{U|XUP W, W, V, R c W{W~V|RUP W, W, V, S c W~W|V{SUP W, W, V, T c W~(V{TW)UP W, W, W, R c W~(W|RW)UP W, W, W, T c W~W|W{TUP W, W, X, R c W~W|XRUP W, W, X, T c W{W{X~TUP W, W, X, U c W~W|X{UUP W, X, P, Q c (W|P)~X|QUP W, X, P, R c W~(X|P)|RUP W, X, P, U c W{X~U|PUP W, X, Q, P c (W|P)~X|QUP W, X, Q, T c W~(X|Q){TUP W, X, Q, V c (W|Q)~X{VUP W, X, Q, X c (W~X)|(Q{X)UP W, X, R, P c W~(X|P)|RUP W, X, R, W c (W~X)|(R{W)UP W, X, S, T c (W{T)~S{XUP W, X, S, U c W~U{X{SUP W, X, S, V c (W{X)~S|VUP W, X, T, Q c W~(X|Q){TUP W, X, T, S c (W{T)~S{XUP W, X, T, U c (W~X)|(T{U)UP W, X, T, W c W{X~T{WUP W, X, U, P c W{X~U|PUP W, X, U, S c W~U{X{SUP W, X, U, T c (W~X)|(U{T)UP W, X, U, V c X~V|W{UUP W, X, U, W c W~W|X{UUP W, X, V, Q c (W|Q)~X{VUP W, X, V, S c (W~X)|(V{S)UP W, X, V, U c X~V|W{UUP W, X, W, R c (W~X)|(W{R)UP W, X, W, T c W{X~T{WUP W, X, W, U c W~W|X{UUP W, X, X, Q c (W~X)|(X{Q)UP X, O, Q, V c (X{O)~V|QUP X, O, U, V c (X{O)~U{VUP X, O, V, Q c (X{O)~V|QUP X, O, V, U c (X{O)~U{VUP X, P, P, U c (X{P)~U{PUP X, P, P, V c (X~V)|(P{P)UP X, P, Q, U c X~(P{U)|QUP X, P, Q, V c X~P~V|QUP X, P, Q, W c X~(W|P)|QUP X, P, R, T c (X{R)~T{PUP X, P, R, V c X~V{P|RUP X, P, R, W c (X|P)~W|RUP X, P, S, U c (X{U)~S{PUP X, P, T, R c (X{R)~T{PUP X, P, T, V c X~(P{T){VUP X, P, U, P c (X{P)~U{PUP X, P, U, Q c X~(P{U)|QUP X, P, U, S c (X{U)~S{PUP X, P, U, U c X~U{P{UUP X, P, U, V c X~P~U{VUP X, P, U, W c X~U|P{WUP X, P, V, P c (X~V)|(P{P)UP X, P, V, Q c X~P~V|QUP X, P, V, R c X~V{P|RUP X, P, V, T c (X|P)~V{TUP X, P, V, U c X~P~U{VUP X, P, V, V c X~(V|P){VUP X, P, V, X c (X{P)~V|XUP X, P, W, Q c X~(W|P)|QUP X, P, W, R c (X|P)~W|RUP X, P, W, U c X~U|P{WUP X, P, X, V c (X{P)~V|XUP X, Q, O, V c (X{O)~V|QUP X, Q, P, U c X~(P{U)|QUP X, Q, P, V c X~P~V|QUP X, Q, P, W c X~(W|P)|QUP X, Q, Q, T c X~(Q{T)|QUP X, Q, Q, X c (X|Q)~X|QUP X, Q, R, S c X~(R{S)|QUP X, Q, R, V c X~Q~R{VUP X, Q, S, R c X~(S{R)|QUP X, Q, S, V c X~(Q{S){VUP X, Q, T, Q c X~(Q{T)|QUP X, Q, T, U c (X{Q)~T{UUP X, Q, T, V c Q~T~V|XUP X, Q, T, W c (X|Q)~W{TUP X, Q, U, P c X~(U{P)|QUP X, Q, U, T c (X{Q)~U|TUP X, Q, U, X c X|Q{U~XUP X, Q, V, O c X~V|Q{OUP X, Q, V, P c X~V|Q~PUP X, Q, V, R c X~Q~R{VUP X, Q, V, S c X~(Q{S){VUP X, Q, V, T c Q~V~T|XUP X, Q, V, V c (X|QV)~VUP X, Q, V, W c X~(W|Q){VUP X, Q, V, X c X~(V|QX)UP X, Q, W, P c X~(W|P)|QUP X, Q, W, T c (X|Q)~W{TUP X, Q, W, V c X~(W|Q){VUP X, Q, W, X c (X~W)|(Q{X)UP X, Q, X, Q c (X|Q)~X|QUP X, Q, X, U c X|Q{X~UUP X, Q, X, V c X~(V|QX)UP X, Q, X, W c (X~W)|(Q{X)UP X, R, P, T c (X{R)~T{PUP X, R, P, V c X~V|R{PUP X, R, P, W c (X|P)~W|RUP X, R, Q, S c X~(R{S)|QUP X, R, Q, V c X~R~Q{VUP X, R, R, V c X~(R{R){VUP X, R, S, Q c X~(R{S)|QUP X, R, S, U c X~U{R{SUP X, R, S, V c (X{V)~S|RUP X, R, T, P c (X{R)~T{PUP X, R, T, V c X~V{R|TUP X, R, U, S c X~U{R{SUP X, R, U, V c X~V|URUP X, R, V, P c X~V|R{PUP X, R, V, Q c X~R~Q{VUP X, R, V, R c X~(R{R){VUP X, R, V, S c (X{V)~S|RUP X, R, V, T c X~V{R|TUP X, R, V, U c X~V|URUP X, R, V, V c X{R{V~VUP X, R, V, X c (X|R)~X{VUP X, R, W, P c (X|P)~W|RUP X, R, W, W c (X~W)|(R{W)UP X, R, X, V c (X|R)~X{VUP X, S, P, U c (X{U)~S{PUP X, S, Q, R c X~(S{R)|QUP X, S, Q, V c X~(S{Q){VUP X, S, R, Q c X~(S{R)|QUP X, S, R, U c X~U{S{RUP X, S, R, V c (X{V)~S|RUP X, S, S, T c (X{S)~T|SUP X, S, S, X c (X{S)~S{XUP X, S, T, S c (X{S)~T|SUP X, S, T, T c X~S{T~TUP X, S, T, W c X{S~(T{W)UP X, S, T, X c X~X|S~TUP X, S, U, P c (X{U)~S{PUP X, S, U, R c X~U{S{RUP X, S, U, V c X{S~(U{V)UP X, S, U, W c X{S{U~WUP X, S, V, Q c X~(S{Q){VUP X, S, V, R c (X{V)~S|RUP X, S, V, U c X{S~(V{U)UP X, S, V, W c X|S{V~WUP X, S, W, T c X{S~(W{T)UP X, S, W, U c X{S{W~UUP X, S, W, V c X|S{W~VUP X, S, X, S c X{(S{X)~SUP X, S, X, T c X~X|S~TUP X, T, P, R c (X{R)~T{PUP X, T, P, V c X~(T{P){VUP X, T, Q, Q c X~(T{Q)|QUP X, T, Q, U c (X{Q)~T{UUP X, T, Q, V c T~Q~V|XUP X, T, Q, W c X~T{Q~WUP X, T, R, P c (X{R)~T{PUP X, T, R, V c X~V|T{RUP X, T, S, S c X~T{S~SUP X, T, S, T c (X{T)~S{TUP X, T, S, W c X{(T{W)~SUP X, T, S, X c X~X|T~SUP X, T, T, S c (X{T)~S{TUP X, T, T, V c (T{T)~V|XUP X, T, T, X c (X{T)~T|XUP X, T, U, Q c X~U{T{QUP X, T, U, W c (X~W)|(T{U)UP X, T, V, P c X~(T{P){VUP X, T, V, Q c T~V~Q|XUP X, T, V, R c X~V|T{RUP X, T, V, T c (T{T)~V|XUP X, T, V, V c X~V{T|VUP X, T, V, X c X~T{V{XUP X, T, W, Q c X~T{W~QUP X, T, W, S c X{(T{W)~SUP X, T, W, U c (X~W)|(T{U)UP X, T, W, W c X~T{W{WUP X, T, X, S c X~X|T~SUP X, T, X, T c (X{T)~T|XUP X, T, X, V c X{T~X{VUP X, U, O, V c X~U{O{VUP X, U, P, P c (X{P)~U{PUP X, U, P, Q c X~(U{P)|QUP X, U, P, S c (X{U)~S{PUP X, U, P, U c X~U{P{UUP X, U, P, V c X~U{P~VUP X, U, P, W c X~U|P{WUP X, U, Q, P c X~(U{P)|QUP X, U, Q, T c X~U{Q{TUP X, U, Q, X c X~U|Q{XUP X, U, R, S c X~U{R{SUP X, U, R, V c X~V|URUP X, U, S, P c (X{U)~S{PUP X, U, S, R c X~U{S{RUP X, U, S, V c X{(U{V)~SUP X, U, S, W c X{U~W{SUP X, U, T, Q c X~U{T{QUP X, U, T, W c (X~W)|(U{T)UP X, U, U, P c X~U{U{PUP X, U, U, V c (X{VU)~UUP X, U, V, O c X~U{V{OUP X, U, V, P c X~U{V~PUP X, U, V, R c X~V|URUP X, U, V, S c X{(U{V)~SUP X, U, V, U c (X{VU)~UUP X, U, V, W c X~V{U|WUP X, U, V, X c X~(U{VX)UP X, U, W, P c X~U{W|PUP X, U, W, S c X{U~W{SUP X, U, W, T c (X~W)|(U{T)UP X, U, W, V c X~V{U|WUP X, U, W, W c U{W~W|XUP X, U, X, Q c X{U~X|QUP X, U, X, V c X~(U{VX)UP X, V, O, Q c X~V{O|QUP X, V, O, U c (X{O)~U{VUP X, V, P, P c (X~V)|(P{P)UP X, V, P, Q c X~V|P~QUP X, V, P, R c X~V{P|RUP X, V, P, T c (X|P)~V{TUP X, V, P, U c X~P~U{VUP X, V, P, V c X~(V|P){VUP X, V, P, X c (X{P)~V|XUP X, V, Q, O c X~V|Q{OUP X, V, Q, P c X~V|Q~PUP X, V, Q, R c X~Q~R{VUP X, V, Q, S c X~V{Q|SUP X, V, Q, T c V~Q~T|XUP X, V, Q, V c (X|QV)~VUP X, V, Q, W c X~(W|Q){VUP X, V, Q, X c X~(V|QX)UP X, V, R, P c X~V|R{PUP X, V, R, Q c X~R~Q{VUP X, V, R, R c X~(R{R){VUP X, V, R, S c (X{V)~S|RUP X, V, R, T c X~V{R|TUP X, V, R, U c X~V|URUP X, V, R, V c X{V~V{RUP X, V, R, X c (X|R)~X{VUP X, V, S, Q c X~V|S{QUP X, V, S, R c (X{V)~S|RUP X, V, S, U c X~V{S|UUP X, V, S, W c X{V~W|SUP X, V, T, P c X~(T{P){VUP X, V, T, Q c V~T~Q|XUP X, V, T, R c X~V|T{RUP X, V, T, T c V~(T{T)|XUP X, V, T, V c X~V{T|VUP X, V, T, X c X{V{T~XUP X, V, U, O c X~U{V{OUP X, V, U, P c X~U{V~PUP X, V, U, R c X~V|URUP X, V, U, S c X{(V{U)~SUP X, V, U, U c (X{VU)~UUP X, V, U, W c X~V{U|WUP X, V, U, X c X~(VX{U)UP X, V, V, P c X~(V|P){VUP X, V, V, Q c (X|QV)~VUP X, V, V, R c X{V~V{RUP X, V, V, T c X~V|V{TUP X, V, V, X c X~V{V|XUP X, V, W, Q c X~(W|Q){VUP X, V, W, S c X{V~W|SUP X, V, W, U c X~V|W{UUP X, V, X, P c (X{P)~V|XUP X, V, X, Q c X~(V|QX)UP X, V, X, R c (X{X)~R{VUP X, V, X, T c X{V{X~TUP X, V, X, U c X~(VX{U)UP X, V, X, V c X~V|X{VUP X, W, P, Q c X~(W|P)|QUP X, W, P, R c (X|P)~W|RUP X, W, P, U c X~U{W|PUP X, W, Q, P c X~(W|P)|QUP X, W, Q, T c (X|Q)~W{TUP X, W, Q, V c X~(W|Q){VUP X, W, Q, X c (X~W)|(Q{X)UP X, W, R, P c (X|P)~W|RUP X, W, R, W c (X~W)|(R{W)UP X, W, S, T c X{(W{T)~SUP X, W, S, U c X{W~U{SUP X, W, S, V c (X{W)~S|VUP X, W, T, Q c X~T{W~QUP X, W, T, S c X{(W{T)~SUP X, W, T, U c (X~W)|(T{U)UP X, W, T, W c X~T{W{WUP X, W, U, P c X~U{W|PUP X, W, U, S c X{W~U{SUP X, W, U, T c (X~W)|(U{T)UP X, W, U, V c X~V|W{UUP X, W, U, W c W~W|X{UUP X, W, V, Q c X~(W|Q){VUP X, W, V, S c X{W~V|SUP X, W, V, U c X~V|W{UUP X, W, W, R c (X~W)|(W{R)UP X, W, W, T c X~T{W{WUP X, W, W, U c W~W|X{UUP X, W, X, Q c (X~W)|(X{Q)UP X, X, P, V c (X{P)~V|XUP X, X, Q, Q c X~(X|Q)|QUP X, X, Q, U c X{X~U|QUP X, X, Q, V c X~(V|QX)UP X, X, Q, W c (X~W)|(X{Q)UP X, X, R, V c (X{X)~R{VUP X, X, S, S c X{(X{S)~SUP X, X, S, T c X~X|S~TUP X, X, T, S c X~X|T~SUP X, X, T, T c (X{T)~T|XUP X, X, T, V c X{X~T{VUP X, X, U, Q c X{X~U|QUP X, X, U, V c X~(U{VX)UP X, X, V, P c (X{P)~V|XUP X, X, V, Q c X~(V|QX)UP X, X, V, R c (X{X)~R{VUP X, X, V, T c X{X~T{VUP X, X, V, U c X~(VX{U)UP X, X, V, V c X~V|X{VUP X, X, W, Q c (X~W)|(X{Q)UP