O, P, U, X c (O{P{X)~UUO O, P, X, U c (O{P{X)~UUO O, Q, T, U c O{Q~T~UUO O, Q, U, T c O{Q~U~TUO O, Q, U, W c (O{Q{W)~UUO O, Q, W, U c (O{Q{W)~UUO O, R, S, T c O{R~S~TUO O, R, T, S c O{R~T~SUO O, R, T, X c (O{R{X)~TUO O, R, U, V c (O{R{V)~UUO O, R, V, U c (O{R{V)~UUO O, R, V, X c O{V~X|RUO O, R, X, T c (O{R{X)~TUO O, R, X, V c O{X~V|RUO O, S, R, T c O{S~R~TUO O, S, T, R c O{S~T~RUO O, S, T, W c (O{S{W)~TUO O, S, U, U c (O{S{U)~UUO O, S, U, X c (O{S)~(U{X)UO O, S, V, W c O{S{V~WUO O, S, W, T c (O{S{W)~TUO O, S, W, V c O{S{W~VUO O, S, W, W c O{W~W|SUO O, S, X, U c (O{S)~(X{U)UO O, T, Q, U c O{T~Q~UUO O, T, R, S c O{T~R~SUO O, T, R, X c (O{T)~(R{X)UO O, T, S, R c O{T~S~RUO O, T, S, W c (O{T)~(S{W)UO O, T, T, U c (O{T{T)~UUO O, T, T, V c (O{T)~(T{V)UO O, T, U, Q c O{T~U~QUO O, T, U, T c (O{T{T)~UUO O, T, U, U c (O{T)~(U{U)UO O, T, V, T c (O{T{V)~TUO O, T, W, S c (O{T)~(W{S)UO O, T, X, R c (O{T)~(X{R)UO O, U, P, X c (O{U)~(P{X)UO O, U, Q, T c O{U~Q~TUO O, U, Q, W c (O{U)~(Q{W)UO O, U, R, V c (O{U)~(R{V)UO O, U, S, U c (O{U{S)~UUO O, U, S, X c (O{U{X)~SUO O, U, T, Q c O{U~T~QUO O, U, T, T c (O{U)~(T{T)UO O, U, T, U c (O{U{U)~TUO O, U, U, S c (O{U)~(U{S)UO O, U, U, T c (O{U{U)~TUO O, U, U, X c O{U{U~XUO O, U, V, R c (O{U)~(V{R)UO O, U, W, Q c (O{U)~(W{Q)UO O, U, X, P c (O{U)~(X{P)UO O, U, X, S c (O{U{X)~SUO O, U, X, U c O{U{X~UUO O, V, R, U c (O{V{R)~UUO O, V, R, X c O{V~X|RUO O, V, S, W c (O{V{W)~SUO O, V, T, T c (O{V{T)~TUO O, V, U, R c (O{V{R)~UUO O, V, W, S c (O{V{W)~SUO O, V, X, R c O{V~X|RUO O, W, Q, U c (O{W{Q)~UUO O, W, S, T c (O{W{S)~TUO O, W, S, V c (O{W{V)~SUO O, W, S, W c O{W~W|SUO O, W, T, S c (O{W{S)~TUO O, W, U, Q c (O{W{Q)~UUO O, W, V, S c (O{W{V)~SUO O, W, W, S c O{W~W|SUO O, X, P, U c (O{X{P)~UUO O, X, R, T c (O{X{R)~TUO O, X, R, V c O{X~V|RUO O, X, S, U c (O{X{U)~SUO O, X, T, R c (O{X{R)~TUO O, X, U, P c (O{X{P)~UUO O, X, U, S c (O{X{U)~SUO O, X, U, U c O{X~U{UUO O, X, V, R c O{X~V|RUO P, O, U, X c (P{O{X)~UUO P, O, X, U c (P{O{X)~UUO P, P, T, U c (P{P)~(T~U)UO P, P, T, X c (P{T)~(P{X)UO P, P, U, T c (P{P)~(U~T)UO P, P, U, W c (P{P{W)~UUO P, P, U, X c (P{P~X)~UUO P, P, V, X c (P{X)~(V|P)UO P, P, W, U c (P{P{W)~UUO P, P, X, T c (P{X)~(P{T)UO P, P, X, U c (P{P~X)~UUO P, P, X, V c (P{X)~(V|P)UO P, Q, R, X c (P{X)~(Q~R)UO P, Q, S, T c (P{Q)~(S~T)UO P, Q, S, U c (P{S)~(Q~U)UO P, Q, S, V c (P{Q~V)~SUO P, Q, S, W c (Q~W|P)~SUO P, Q, S, X c (P{X)~(Q{S)UO P, Q, T, S c (P{Q)~(T~S)UO P, Q, T, T c (P{T)~(Q~T)UO P, Q, T, U c P~Q~T~UUO P, Q, T, V c (Q~T)~(V|P)UO P, Q, T, W c (P{T)~(Q{W)UO P, Q, T, X c (P{Q{X)~TUO P, Q, U, S c (P{S)~(Q~U)UO P, Q, U, T c P~Q~U~TUO P, Q, U, U c Q~(U|P)~UUO P, Q, U, V c (P{Q{V)~UUO P, Q, U, W c (P~Q{W)~UUO P, Q, U, X c (Q|P{X)~UUO P, Q, V, S c (P{Q~V)~SUO P, Q, V, T c Q~(V|P)~TUO P, Q, V, U c (P{Q{V)~UUO P, Q, V, W c (PQ{V)~WUO P, Q, V, X c (V~X)|(P{Q)UO P, Q, W, S c (Q~W|P)~SUO P, Q, W, T c (P{T)~(Q{W)UO P, Q, W, U c (P~Q{W)~UUO P, Q, W, V c (PQ{V)~WUO P, Q, W, W c (W|PQ)~WUO P, Q, W, X c (P{X)~(W|Q)UO P, Q, X, R c (P{X)~(Q~R)UO P, Q, X, S c (P{X)~(Q{S)UO P, Q, X, T c (P{Q{X)~TUO P, Q, X, U c (Q|P{X)~UUO P, Q, X, V c (X~V)|(P{Q)UO P, Q, X, W c (P{X)~(W|Q)UO P, R, Q, X c (P{X)~(R~Q)UO P, R, R, T c (P{R)~(R~T)UO P, R, R, U c (P{R~R)~UUO P, R, R, V c R~(R~V|P)UO P, R, R, X c (P{X)~(R{R)UO P, R, S, S c (P{S)~(R~S)UO P, R, S, T c P~R~S~TUO P, R, S, U c (R~S)~(U|P)UO P, R, S, X c (P{S)~(R{X)UO P, R, T, R c (P{R)~(T~R)UO P, R, T, S c P~R~T~SUO P, R, T, T c R~(T|P)~TUO P, R, T, U c (R|P)~(T~U)UO P, R, T, V c (P{T)~(R{V)UO P, R, T, W c (P{R{W)~TUO P, R, T, X c (P~R{X)~TUO P, R, U, R c (P{R~R)~UUO P, R, U, S c R~(U|P)~SUO P, R, U, T c (R|P)~(U~T)UO P, R, U, U c (P{R{U)~UUO P, R, U, V c (P~R{V)~UUO P, R, U, W c (R|P{W)~UUO P, R, U, X c (P{R)~(U{X)UO P, R, V, R c (R~V|P)~RUO P, R, V, T c (P{T)~(R{V)UO P, R, V, U c (P~R{V)~UUO P, R, V, V c (R{V)~(V|P)UO P, R, V, W c P{R{V~WUO P, R, V, X c P~V~X|RUO P, R, W, T c (P{R{W)~TUO P, R, W, U c (R|P{W)~UUO P, R, W, V c P{R{W~VUO P, R, W, W c (W~W)|(P{R)UO P, R, W, X c (W|P)~X|RUO P, R, X, Q c (P{X)~(R~Q)UO P, R, X, R c (P{X)~(R{R)UO P, R, X, S c (P{S)~(R{X)UO P, R, X, T c (P~R{X)~TUO P, R, X, U c (P{R)~(X{U)UO P, R, X, V c P~X~V|RUO P, R, X, W c X~(W|P)|RUO P, R, X, X c (P{X)~(X|R)UO P, S, Q, T c (P{Q)~(S~T)UO P, S, Q, U c (P{S)~(Q~U)UO P, S, Q, V c (P{Q~V)~SUO P, S, Q, W c S~(Q~W|P)UO P, S, Q, X c (P{X)~(S{Q)UO P, S, R, S c (P{S)~(R~S)UO P, S, R, T c P~S~R~TUO P, S, R, U c (S~R)~(U|P)UO P, S, R, X c (P{S)~(R{X)UO P, S, S, R c (P{S)~(S~R)UO P, S, S, S c (S~S|P)~SUO P, S, S, T c (S|P)~(S~T)UO P, S, S, W c (P{S)~(S{W)UO P, S, T, Q c (P{Q)~(S~T)UO P, S, T, R c P~S~T~RUO P, S, T, S c (S|P)~(T~S)UO P, S, T, U c (P{S{T)~UUO P, S, T, V c (P{S)~(T{V)UO P, S, T, W c (P~S{W)~TUO P, S, T, X c (P{T{X)~SUO P, S, U, Q c (P{S)~(U~Q)UO P, S, U, R c S~(U|P)~RUO P, S, U, T c (P{S{T)~UUO P, S, U, U c (P{S)~(U{U)UO P, S, U, V c (S|P{V)~UUO P, S, U, W c (P{U{W)~SUO P, S, U, X c (P~S)~(U{X)UO P, S, V, Q c (P{V~Q)~SUO P, S, V, T c (P{S{V)~TUO P, S, V, U c (S|P{V)~UUO P, S, V, V c (P{V{V)~SUO P, S, V, W c P~S{V~WUO P, S, V, X c P{V~X|SUO P, S, W, Q c S~(W~Q|P)UO P, S, W, S c (P{S)~(W{S)UO P, S, W, T c (P~S{W)~TUO P, S, W, U c (P{W{U)~SUO P, S, W, V c P~S{W~VUO P, S, W, W c P~W~W|SUO P, S, W, X c W~(X|P)|SUO P, S, X, Q c (P{X)~(S{Q)UO P, S, X, R c (P{S)~(X{R)UO P, S, X, T c (P{X{T)~SUO P, S, X, U c (P~S)~(X{U)UO P, S, X, V c P{X~V|SUO P, S, X, W c (X|P)~W|SUO P, T, P, U c (P{P)~(T~U)UO P, T, P, X c (P{T)~(P{X)UO P, T, Q, S c (P{Q)~(T~S)UO P, T, Q, T c (P{T)~(Q~T)UO P, T, Q, U c P~T~Q~UUO P, T, Q, V c (T~Q)~(V|P)UO P, T, Q, W c (P{T)~(Q{W)UO P, T, Q, X c (P{Q{X)~TUO P, T, R, R c (P{R)~(T~R)UO P, T, R, S c P~T~R~SUO P, T, R, T c (T|P)~(R~T)UO P, T, R, U c T~(R|P)~UUO P, T, R, V c (P{T)~(R{V)UO P, T, R, W c (P{R{W)~TUO P, T, R, X c (P~T)~(R{X)UO P, T, S, Q c (P{Q)~(T~S)UO P, T, S, R c P~T~S~RUO P, T, S, S c T~(S|P)~SUO P, T, S, U c (P{T{S)~UUO P, T, S, V c (P{S)~(T{V)UO P, T, S, W c (P~T)~(S{W)UO P, T, S, X c (P{T{X)~SUO P, T, T, Q c (P{T)~(T~Q)UO P, T, T, R c (T|P)~(T~R)UO P, T, T, T c (P{T)~(T{T)UO P, T, T, U c (P~T{T)~UUO P, T, T, V c (P~T)~(T{V)UO P, T, T, W c (T|P{W)~TUO P, T, U, P c (P{P)~(T~U)UO P, T, U, Q c P~T~U~QUO P, T, U, R c (T~U)~(R|P)UO P, T, U, S c (P{T)~(U{S)UO P, T, U, T c (P{T{U)~TUO P, T, U, U c (P~T)~(U{U)UO P, T, U, V c T~(U|P{V)UO P, T, U, X c P{T{U~XUO P, T, V, Q c T~(V|P)~QUO P, T, V, R c (P{T)~(V{R)UO P, T, V, S c (P{V{S)~TUO P, T, V, T c (P~T{V)~TUO P, T, V, U c T~(V|P{U)UO P, T, V, W c T|P{V~WUO P, T, W, Q c (P{T)~(W{Q)UO P, T, W, R c (P{W{R)~TUO P, T, W, S c (P~T)~(W{S)UO P, T, W, T c (T|P{W)~TUO P, T, W, V c T|P{W~VUO P, T, W, W c P{W~W|TUO P, T, X, P c (P{T)~(X{P)UO P, T, X, Q c (P{X{Q)~TUO P, T, X, R c (P~T)~(X{R)UO P, T, X, S c (P{T{X)~SUO P, T, X, U c P{T{X~UUO P, U, O, X c (P{O{X)~UUO P, U, P, T c (P{P)~(U~T)UO P, U, P, W c (P{P{W)~UUO P, U, P, X c (P~U)~(P{X)UO P, U, Q, S c (P{S)~(U~Q)UO P, U, Q, T c P~U~Q~TUO P, U, Q, U c (U|P)~(Q~U)UO P, U, Q, V c (P{Q{V)~UUO P, U, Q, W c (P~U)~(Q{W)UO P, U, Q, X c U~(Q|P{X)UO P, U, R, R c (P{R~R)~UUO P, U, R, S c (U|P)~(R~S)UO P, U, R, T c U~(R|P)~TUO P, U, R, U c (P{U{R)~UUO P, U, R, V c (P~U)~(R{V)UO P, U, R, W c U~(R|P{W)UO P, U, R, X c (P{U)~X|RUO P, U, S, Q c (P{S)~(U~Q)UO P, U, S, R c (U|P)~(S~R)UO P, U, S, T c (P{S{T)~UUO P, U, S, U c (P~U{S)~UUO P, U, S, V c U~(S|P{V)UO P, U, S, W c (P{U{W)~SUO P, U, S, X c (P~U{X)~SUO P, U, T, P c (P{P)~(U~T)UO P, U, T, Q c P~U~T~QUO P, U, T, R c (U~T)~(R|P)UO P, U, T, S c (P{T)~(U{S)UO P, U, T, T c (P{U{T)~TUO P, U, T, U c (P~U{U)~TUO P, U, T, V c (U|P)~(T{V)UO P, U, T, X c P{U~X{TUO P, U, U, Q c (U|P)~(U~Q)UO P, U, U, R c (P{U{R)~UUO P, U, U, S c (P~U)~(U{S)UO P, U, U, T c (P~U{U)~TUO P, U, U, U c (U|P)~(U{U)UO P, U, U, W c (P{W)~U{UUO P, U, U, X c P~U{U~XUO P, U, V, Q c (P{V{Q)~UUO P, U, V, R c (P~U)~(V{R)UO P, U, V, S c U~(V|P{S)UO P, U, V, T c (U|P{V)~TUO P, U, V, X c U{(V|P)~XUO P, U, W, P c (P{W{P)~UUO P, U, W, Q c (P~U)~(W{Q)UO P, U, W, R c U~(W|P{R)UO P, U, W, S c (P{U{W)~SUO P, U, W, U c (P{W)~U{UUO P, U, X, O c (P{X)~(U{O)UO P, U, X, P c (P~U)~(X{P)UO P, U, X, Q c U~(X|P{Q)UO P, U, X, R c (P{U)~X|RUO P, U, X, S c (P~U{X)~SUO P, U, X, T c P{U~X{TUO P, U, X, U c P~U{X~UUO P, U, X, V c U~X|P{VUO P, V, P, X c (P{X)~(V|P)UO P, V, Q, S c (P{V~Q)~SUO P, V, Q, T c (V|P)~(Q~T)UO P, V, Q, U c (P{V{Q)~UUO P, V, Q, W c (PQ{V)~WUO P, V, Q, X c (V~X)|(P{Q)UO P, V, R, R c (V~R|P)~RUO P, V, R, T c (P{T)~(V{R)UO P, V, R, U c (P~V{R)~UUO P, V, R, V c (V|P)~(R{V)UO P, V, R, W c P{V~W{RUO P, V, R, X c P~V~X|RUO P, V, S, Q c (P{V~Q)~SUO P, V, S, T c (P{V{S)~TUO P, V, S, U c (V|P{S)~UUO P, V, S, V c (P{V{V)~SUO P, V, S, W c (P{V)~W|SUO P, V, S, X c P{V~X|SUO P, V, T, Q c (V|P)~(T~Q)UO P, V, T, R c (P{T)~(V{R)UO P, V, T, S c (P{V{S)~TUO P, V, T, T c (P~V{T)~TUO P, V, T, U c (V|P{U)~TUO P, V, T, W c V~W|P{TUO P, V, U, Q c (P{V{Q)~UUO P, V, U, R c (P~V{R)~UUO P, V, U, S c (V|P)~(U{S)UO P, V, U, T c (V|P{U)~TUO P, V, U, X c V|P{U~XUO P, V, V, R c (V|P)~(V{R)UO P, V, V, S c (P{V{V)~SUO P, V, W, Q c (PQ{V)~WUO P, V, W, R c P{V~W{RUO P, V, W, S c (P{V)~W|SUO P, V, W, T c V~W|P{TUO P, V, X, P c (P{X)~(V|P)UO P, V, X, Q c (V~X)|(P{Q)UO P, V, X, R c P~V~X|RUO P, V, X, S c P{V~X|SUO P, V, X, U c V|P{X~UUO P, W, P, U c (P{W{P)~UUO P, W, Q, S c (W~Q|P)~SUO P, W, Q, T c (P{T)~(W{Q)UO P, W, Q, U c (P~W{Q)~UUO P, W, Q, V c (PQ{V)~WUO P, W, Q, W c (W|PQ)~WUO P, W, Q, X c (P{X)~(W|Q)UO P, W, R, T c (P{W{R)~TUO P, W, R, U c (W|P{R)~UUO P, W, R, V c P{W~V{RUO P, W, R, W c (W~W)|(P{R)UO P, W, R, X c (W|P)~X|RUO P, W, S, Q c (W~Q|P)~SUO P, W, S, S c (P{S)~(W{S)UO P, W, S, T c (P~W{S)~TUO P, W, S, U c (P{W{U)~SUO P, W, S, V c (P~W{V)~SUO P, W, S, W c P~W~W|SUO P, W, S, X c W~(X|P)|SUO P, W, T, Q c (P{T)~(W{Q)UO P, W, T, R c (P{W{R)~TUO P, W, T, S c (P~W{S)~TUO P, W, T, T c (W|P{T)~TUO P, W, T, V c W~V|P{TUO P, W, T, W c P{W~W|TUO P, W, U, P c (P{W{P)~UUO P, W, U, Q c (P~W{Q)~UUO P, W, U, R c (W|P{R)~UUO P, W, U, S c (P{W{U)~SUO P, W, U, U c (P{W)~U{UUO P, W, V, Q c (PQ{V)~WUO P, W, V, R c P{W~V{RUO P, W, V, S c (P~W{V)~SUO P, W, V, T c W~V|P{TUO P, W, W, Q c (W|PQ)~WUO P, W, W, R c (W~W)|(P{R)UO P, W, W, S c P~W~W|SUO P, W, W, T c P{W~W|TUO P, W, X, Q c (P{X)~(W|Q)UO P, W, X, R c (W|P)~X|RUO P, W, X, S c W~(X|P)|SUO P, X, O, U c (P{X{O)~UUO P, X, P, T c (P{X)~(P{T)UO P, X, P, U c (P{X)~(P~U)UO P, X, P, V c (P{X)~(V|P)UO P, X, Q, R c (P{X)~(Q~R)UO P, X, Q, S c (P{X)~(Q{S)UO P, X, Q, T c (P{X{Q)~TUO P, X, Q, U c (X|P{Q)~UUO P, X, Q, V c (X~V)|(P{Q)UO P, X, Q, W c (P{X)~(W|Q)UO P, X, R, Q c (P{X)~(R~Q)UO P, X, R, R c (P{X)~(R{R)UO P, X, R, S c (P{S)~(X{R)UO P, X, R, T c (P~X{R)~TUO P, X, R, U c (P{R)~(X{U)UO P, X, R, V c P~X~V|RUO P, X, R, W c X~(W|P)|RUO P, X, R, X c (P{X)~(X|R)UO P, X, S, Q c (P{X)~(S{Q)UO P, X, S, R c (P{S)~(X{R)UO P, X, S, T c (P{X{T)~SUO P, X, S, U c (P~X{U)~SUO P, X, S, V c P{X~V|SUO P, X, S, W c (X|P)~W|SUO P, X, T, P c (P{X)~(T{P)UO P, X, T, Q c (P{X{Q)~TUO P, X, T, R c (P~X{R)~TUO P, X, T, S c (P{X{T)~SUO P, X, T, U c P{X~U{TUO P, X, U, O c (P{X)~(U{O)UO P, X, U, P c (P{X)~(U~P)UO P, X, U, Q c (X|P{Q)~UUO P, X, U, R c (P{U)~X|RUO P, X, U, S c (P~X{U)~SUO P, X, U, T c P{X~U{TUO P, X, U, U c P~X~U{UUO P, X, U, V c X~U|P{VUO P, X, V, P c (P{X)~(V|P)UO P, X, V, Q c (X~V)|(P{Q)UO P, X, V, R c P~X~V|RUO P, X, V, S c P{X~V|SUO P, X, V, U c X~(V|P){UUO P, X, W, Q c (P{X)~(W|Q)UO P, X, W, R c X~(W|P)|RUO P, X, W, S c (X|P)~W|SUO P, X, X, R c (P{X)~(X|R)UO Q, O, T, U c (Q{O)~(T~U)UO Q, O, U, T c (Q{O)~(U~T)UO Q, O, U, W c (Q{O{W)~UUO Q, O, W, U c (Q{O{W)~UUO Q, P, R, X c Q~(P{X)~RUO Q, P, S, T c (Q{P)~(S~T)UO Q, P, S, U c Q~(P{S)~UUO Q, P, S, V c (Q~V{P)~SUO Q, P, S, W c (Q~W|P)~SUO Q, P, S, X c (Q{S)~(P{X)UO Q, P, T, S c (Q{P)~(T~S)UO Q, P, T, T c Q~(P{T)~TUO Q, P, T, U c Q~P~T~UUO Q, P, T, V c (Q~T)~(V|P)UO Q, P, T, W c (Q{W)~(P{T)UO Q, P, T, X c (Q{P{X)~TUO Q, P, U, S c Q~(P{S)~UUO Q, P, U, T c Q~P~U~TUO Q, P, U, U c Q~(U|P)~UUO Q, P, U, V c (Q{P{V)~UUO Q, P, U, W c (Q{P~W)~UUO Q, P, U, X c (Q|P{X)~UUO Q, P, V, S c (Q~V{P)~SUO Q, P, V, T c Q~(V|P)~TUO Q, P, V, U c (Q{P{V)~UUO Q, P, V, W c (Q{W)~(V|P)UO Q, P, V, X c (V~X)|(Q{P)UO Q, P, W, S c (Q~W|P)~SUO Q, P, W, T c (Q{W)~(P{T)UO Q, P, W, U c (Q{P~W)~UUO Q, P, W, V c (Q{W)~(V|P)UO Q, P, W, W c (W|PQ)~WUO Q, P, W, X c (P{X)~(W|Q)UO Q, P, X, R c Q~(P{X)~RUO Q, P, X, S c (Q{S)~(P{X)UO Q, P, X, T c (Q{P{X)~TUO Q, P, X, U c (Q|P{X)~UUO Q, P, X, V c (X~V)|(Q{P)UO Q, P, X, W c (P{X)~(W|Q)UO Q, Q, R, T c (Q{Q)~(R~T)UO Q, Q, R, U c Q~(Q{R)~UUO Q, Q, R, W c Q~(Q{W)~RUO Q, Q, R, X c (Q{Q~X)~RUO Q, Q, S, T c Q~(Q{S)~TUO Q, Q, S, U c (Q{Q~S)~UUO Q, Q, S, V c Q~(Q{S~V)UO Q, Q, S, W c (Q{S)~(Q{W)UO Q, Q, T, R c (Q{Q)~(T~R)UO Q, Q, T, S c Q~(Q{S)~TUO Q, Q, T, T c (Q{Q~T)~TUO Q, Q, T, V c (Q~V|Q)~TUO Q, Q, T, W c (Q{Q{W)~TUO Q, Q, U, R c Q~(Q{R)~UUO Q, Q, U, S c (Q{Q~S)~UUO Q, Q, U, U c (Q{Q{U)~UUO Q, Q, U, V c (Q~U)~(V|Q)UO Q, Q, U, X c (Q{Q)~(U{X)UO Q, Q, V, S c Q~(Q{V~S)UO Q, Q, V, T c (Q~V|Q)~TUO Q, Q, V, U c Q~(V|Q)~UUO Q, Q, V, W c Q{Q{V~WUO Q, Q, W, R c Q~(Q{W)~RUO Q, Q, W, S c (Q{W)~(Q{S)UO Q, Q, W, T c (Q{Q{W)~TUO Q, Q, W, V c Q{Q{W~VUO Q, Q, W, W c (Q{W)~(W|Q)UO Q, Q, X, R c (Q{Q~X)~RUO Q, Q, X, U c (Q{Q)~(X{U)UO Q, R, P, X c (Q~R)~(P{X)UO Q, R, Q, T c Q~R~Q~TUO Q, R, Q, U c (Q{R)~(Q~U)UO Q, R, Q, W c (Q~R)~(Q{W)UO Q, R, Q, X c (Q{Q~X)~RUO Q, R, R, S c (Q{R)~(R~S)UO Q, R, R, T c Q~(R{R)~TUO Q, R, R, U c (Q{R~U)~RUO Q, R, R, V c (Q~R)~(R{V)UO Q, R, R, W c (Q{W)~(R{R)UO Q, R, R, X c (Q{R)~(R{X)UO Q, R, S, R c (Q{R)~(S~R)UO Q, R, S, U c (Q~R{S)~UUO Q, R, S, V c (Q{S)~(R{V)UO Q, R, S, W c (Q{R)~(S{W)UO Q, R, S, X c (Q~R{X)~SUO Q, R, T, Q c Q~R~T~QUO Q, R, T, R c Q~(R{R)~TUO Q, R, T, T c (Q~R)~(T{T)UO Q, R, T, U c (Q{R{T)~UUO Q, R, T, V c (Q{R)~(T{V)UO Q, R, T, W c RQ~T~WUO Q, R, T, X c (Q{T)~X|RUO Q, R, U, Q c (Q{R)~(U~Q)UO Q, R, U, R c (Q{R~U)~RUO Q, R, U, S c (Q~R)~(U{S)UO Q, R, U, T c (Q~R{U)~TUO Q, R, U, U c (Q{R)~(U{U)UO Q, R, U, V c (Q~V{U)~RUO Q, R, U, W c Q~(R~W{U)UO Q, R, U, X c Q~R{U~XUO Q, R, V, R c Q~(R{V)~RUO Q, R, V, S c (Q{S)~(R{V)UO Q, R, V, T c (Q{R{V)~TUO Q, R, V, U c (Q~V{U)~RUO Q, R, V, V c (Q{V)~V|RUO Q, R, V, W c (R{V)~(W|Q)UO Q, R, V, X c Q~(R~V{X)UO Q, R, W, Q c (Q~R)~(W{Q)UO Q, R, W, R c (Q{W)~(R{R)UO Q, R, W, S c (Q{R)~(W{S)UO Q, R, W, T c RQ~W~TUO Q, R, W, U c Q~(R~W{U)UO Q, R, W, V c (R{V)~(W|Q)UO Q, R, W, X c (Q{W)~(X|R)UO Q, R, X, P c (Q~R)~(X{P)UO Q, R, X, Q c (Q{X~Q)~RUO Q, R, X, R c (Q{R)~(X{R)UO Q, R, X, S c (Q~R{X)~SUO Q, R, X, T c Q~(X|R)~TUO Q, R, X, U c Q~R{X~UUO Q, R, X, V c Q~(R~V{X)UO Q, R, X, W c (Q{W)~(X|R)UO Q, R, X, X c (Q{X{X)~RUO Q, S, P, T c (Q{P)~(S~T)UO Q, S, P, U c Q~(S{P)~UUO Q, S, P, V c (Q~V{P)~SUO Q, S, P, W c (Q~W|P)~SUO Q, S, P, X c (Q{S)~(P{X)UO Q, S, Q, T c (Q{S)~(Q~T)UO Q, S, Q, U c (Q{S~Q)~UUO Q, S, Q, V c (Q{S~V)~QUO Q, S, Q, W c (Q{S)~(Q{W)UO Q, S, R, R c (Q{R)~(S~R)UO Q, S, R, U c Q~(S{U)~RUO Q, S, R, V c (Q{S)~(R{V)UO Q, S, R, W c (Q{R)~(S{W)UO Q, S, R, X c (Q~R{X)~SUO Q, S, S, T c (Q~S{S)~TUO Q, S, S, U c (Q{S{S)~UUO Q, S, S, V c (Q~S{V)~SUO Q, S, S, W c Q~S~W|SUO Q, S, S, X c (Q{S{X)~SUO Q, S, T, P c (Q{P)~(S~T)UO Q, S, T, Q c (Q{S)~(T~Q)UO Q, S, T, S c (Q~S{S)~TUO Q, S, T, T c (Q{S)~(T{T)UO Q, S, T, U c (Q{S{U)~TUO Q, S, T, W c (Q{T{W)~SUO Q, S, U, P c Q~(S{P)~UUO Q, S, U, Q c (Q{S~Q)~UUO Q, S, U, R c Q~(S{U)~RUO Q, S, U, S c (Q{S)~(U{S)UO Q, S, U, T c (Q{S{U)~TUO Q, S, U, U c Q~(S~U{U)UO Q, S, U, V c (Q{U{V)~SUO Q, S, U, W c (Q{U)~W|SUO Q, S, U, X c Q{S{U~XUO Q, S, V, P c (Q~V{P)~SUO Q, S, V, Q c (Q{S~V)~QUO Q, S, V, R c (Q{S)~(V{R)UO Q, S, V, S c (Q~S{V)~SUO Q, S, V, U c (Q~V|S)~UUO Q, S, V, W c (QS{V)~WUO Q, S, W, P c (Q~W|P)~SUO Q, S, W, Q c (Q{S)~(W{Q)UO Q, S, W, R c (Q~W{S)~RUO Q, S, W, S c Q~S~W|SUO Q, S, W, T c (Q~W|S)~TUO Q, S, W, U c (Q{U)~W|SUO Q, S, W, V c (QS{V)~WUO Q, S, W, W c (W|QS)~WUO Q, S, W, X c S~(W|Q{X)UO Q, S, X, P c (Q{S)~(X{P)UO Q, S, X, R c (Q~X|R)~SUO Q, S, X, S c (Q{S{X)~SUO Q, S, X, U c Q{S{X~UUO Q, S, X, W c S{(X|Q)~WUO Q, T, O, U c (Q~T{O)~UUO Q, T, P, S c (Q{P)~(T~S)UO Q, T, P, T c Q~(T{P)~TUO Q, T, P, U c Q~T~P~UUO Q, T, P, V c (Q~T)~(V|P)UO Q, T, P, W c (Q{W)~(T{P)UO Q, T, P, X c (Q{P{X)~TUO Q, T, Q, R c Q~T~Q~RUO Q, T, Q, S c (Q~T)~(Q{S)UO Q, T, Q, T c (Q{T~Q)~TUO Q, T, Q, V c (Q~V|Q)~TUO Q, T, Q, W c (Q~T)~(W|Q)UO Q, T, R, Q c Q~T~R~QUO Q, T, R, R c (Q~T)~(R{R)UO Q, T, R, T c Q~(T{T)~RUO Q, T, R, U c (Q{T{R)~UUO Q, T, R, V c (Q{R)~(T{V)UO Q, T, R, W c TQ~R~WUO Q, T, R, X c (Q{T)~X|RUO Q, T, S, P c (Q{P)~(T~S)UO Q, T, S, Q c (Q~T)~(S{Q)UO Q, T, S, S c (Q~S{S)~TUO Q, T, S, T c (Q~T{T)~SUO Q, T, S, U c (Q{S{U)~TUO Q, T, S, W c (Q{T{W)~SUO Q, T, T, P c (Q~T)~(T{P)UO Q, T, T, Q c (Q{T~Q)~TUO Q, T, T, R c Q~(T{T)~RUO Q, T, T, S c (Q~T{T)~SUO Q, T, T, T c (Q{T{T)~TUO Q, T, T, V c Q~(T~V|T)UO Q, T, T, W c (TQ{T)~WUO Q, T, T, X c (Q{X)~T{TUO Q, T, U, O c Q~T~U{OUO Q, T, U, P c Q~T~U~PUO Q, T, U, R c (Q{T{R)~UUO Q, T, U, S c (Q{U{S)~TUO Q, T, U, V c (T|Q{V)~UUO Q, T, U, W c T~(U|Q{W)UO Q, T, U, X c (Q~X|U)~TUO Q, T, V, P c (Q~T)~(V|P)UO Q, T, V, Q c (Q~V|Q)~TUO Q, T, V, R c (Q{V{R)~TUO Q, T, V, T c Q~(T~V|T)UO Q, T, V, U c (T|Q{V)~UUO Q, T, V, V c T~(V|Q{V)UO Q, T, V, X c Q{V~X|TUO Q, T, W, P c (Q{W)~(T{P)UO Q, T, W, Q c (Q~T)~(W|Q)UO Q, T, W, R c TQ~W~RUO Q, T, W, S c (Q{T{W)~SUO Q, T, W, T c (TQ{T)~WUO Q, T, W, U c T~(W|Q{U)UO Q, T, W, W c T~(WQ{W)UO Q, T, X, P c (Q{X{P)~TUO Q, T, X, R c (Q{T)~X|RUO Q, T, X, T c (Q{X)~T{TUO Q, T, X, U c (Q~X|U)~TUO Q, T, X, V c Q{X~V|TUO Q, U, O, T c (Q~U{O)~TUO Q, U, O, W c (Q{O{W)~UUO Q, U, P, S c (Q~U)~(P{S)UO Q, U, P, T c Q~U~P~TUO Q, U, P, U c Q~(U|P)~UUO Q, U, P, V c (Q{P{V)~UUO Q, U, P, W c (Q{P~W)~UUO Q, U, P, X c (Q|P{X)~UUO Q, U, Q, R c (Q~U)~(Q{R)UO Q, U, Q, S c (Q{Q~S)~UUO Q, U, Q, U c (Q{U{Q)~UUO Q, U, Q, V c (Q~U)~(V|Q)UO Q, U, Q, X c Q~(U{X)~QUO Q, U, R, Q c (Q~U)~(R{Q)UO Q, U, R, R c (Q{U~R)~RUO Q, U, R, S c (Q~U{R)~SUO Q, U, R, T c (Q~R{U)~TUO Q, U, R, U c (Q{R)~(U{U)UO Q, U, R, V c (Q~V{U)~RUO Q, U, R, W c Q~(U{R~W)UO Q, U, R, X c Q~R{U~XUO Q, U, S, P c (Q~U)~(S{P)UO Q, U, S, Q c (Q{S~Q)~UUO Q, U, S, R c Q~(U{S)~RUO Q, U, S, S c (Q{S)~(U{S)UO Q, U, S, T c (Q{U{S)~TUO Q, U, S, U c Q~(U{S~U)UO Q, U, S, V c (Q{U{V)~SUO Q, U, S, W c (Q{U)~W|SUO Q, U, S, X c Q{U~X{SUO Q, U, T, O c Q~U~T{OUO Q, U, T, P c Q~U~T~PUO Q, U, T, R c (Q{T{R)~UUO Q, U, T, S c (Q{U{S)~TUO Q, U, T, V c U~(T|Q{V)UO Q, U, T, W c (U|Q{W)~TUO Q, U, T, X c (Q~X|U)~TUO Q, U, U, P c (Q~U)~(U|P)UO Q, U, U, Q c (Q{U{Q)~UUO Q, U, U, R c (Q{R)~(U{U)UO Q, U, U, S c Q~(U{U~S)UO Q, U, U, U c Q~(U~U|U)UO Q, U, U, V c (Q{V)~U{UUO Q, U, U, W c Q~U{U~WUO Q, U, U, X c (Q{X)~U|UUO Q, U, V, P c (Q{V{P)~UUO Q, U, V, Q c (Q~U)~(V|Q)UO Q, U, V, R c (Q~V{U)~RUO Q, U, V, S c (Q{U{V)~SUO Q, U, V, T c U~(V|Q{T)UO Q, U, V, U c (Q{V)~U{UUO Q, U, V, W c U|Q{V~WUO Q, U, V, X c Q~X{U~VUO Q, U, W, O c (Q{W)~(U{O)UO Q, U, W, P c (Q{W)~(U~P)UO Q, U, W, R c (Q~U{W)~RUO Q, U, W, S c (Q{U)~W|SUO Q, U, W, T c (U|Q{W)~TUO Q, U, W, U c Q~U{W~UUO Q, U, W, V c U|Q{W~VUO Q, U, W, W c Q{W~W|UUO Q, U, W, X c (Q~X|W)~UUO Q, U, X, P c (Q{X|P)~UUO Q, U, X, Q c Q~(U{X)~QUO Q, U, X, R c Q~X~R{UUO Q, U, X, S c Q{U~X{SUO Q, U, X, T c (Q~X|U)~TUO Q, U, X, U c (Q{X)~U|UUO Q, U, X, V c Q~X{U~VUO Q, U, X, W c (Q~X|W)~UUO Q, V, P, S c (Q~V{P)~SUO Q, V, P, T c Q~(V|P)~TUO Q, V, P, U c (Q{V{P)~UUO Q, V, P, W c (Q{W)~(V|P)UO Q, V, P, X c (V~X)|(Q{P)UO Q, V, Q, S c (Q{V~S)~QUO Q, V, Q, T c (Q~V|Q)~TUO Q, V, Q, U c Q~(V|Q)~UUO Q, V, Q, W c Q{V~W{QUO Q, V, R, R c Q~(V{R)~RUO Q, V, R, S c (Q{S)~(V{R)UO Q, V, R, T c (Q{V{R)~TUO Q, V, R, U c (Q~V{U)~RUO Q, V, R, V c (Q{V)~V|RUO Q, V, R, W c (V{R)~(W|Q)UO Q, V, R, X c Q~(V~R{X)UO Q, V, S, P c (Q~V{P)~SUO Q, V, S, Q c (Q{V~S)~QUO Q, V, S, R c (Q{S)~(V{R)UO Q, V, S, S c Q~V~S{SUO Q, V, S, U c (Q~V|S)~UUO Q, V, S, W c (QS{V)~WUO Q, V, T, P c Q~(V|P)~TUO Q, V, T, Q c (Q~V|Q)~TUO Q, V, T, R c (Q{V{R)~TUO Q, V, T, T c Q~(V~T|T)UO Q, V, T, U c (V|Q{T)~UUO Q, V, T, V c (V|Q)~(T{V)UO Q, V, T, X c Q{V~X|TUO Q, V, U, P c (Q{V{P)~UUO Q, V, U, Q c Q~(V|Q)~UUO Q, V, U, R c (Q~V{U)~RUO Q, V, U, S c (Q{V{U)~SUO Q, V, U, T c (V|Q{T)~UUO Q, V, U, U c (Q{V)~U{UUO Q, V, U, W c V~W|Q{UUO Q, V, U, X c Q~X{V~UUO Q, V, V, R c (Q{V)~V|RUO Q, V, V, T c (V|Q{V)~TUO Q, V, V, X c Q{V~V{XUO Q, V, W, P c (Q{W)~(V|P)UO Q, V, W, Q c Q{V~W{QUO Q, V, W, R c (V{R)~(W|Q)UO Q, V, W, S c (QS{V)~WUO Q, V, W, U c V~W|Q{UUO Q, V, W, W c (V{W)Q~WUO Q, V, X, P c (V~X)|(Q{P)UO Q, V, X, R c Q~(V~R{X)UO Q, V, X, T c Q{V~X|TUO Q, V, X, U c Q~X{V~UUO Q, V, X, V c Q{V~V{XUO Q, W, O, U c (Q{W{O)~UUO Q, W, P, S c (Q~W|P)~SUO Q, W, P, T c (Q{W)~(P{T)UO Q, W, P, U c (Q{W)~(P~U)UO Q, W, P, V c (Q{W)~(V|P)UO Q, W, P, W c (W|PQ)~WUO Q, W, P, X c (W|Q)~(P{X)UO Q, W, Q, R c (Q{W)~(Q~R)UO Q, W, Q, S c (Q{W)~(Q{S)UO Q, W, Q, T c (Q{W{Q)~TUO Q, W, Q, V c Q{W~V{QUO Q, W, Q, W c (Q{W)~(W|Q)UO Q, W, R, Q c (Q{W)~(R~Q)UO Q, W, R, R c (Q{W)~(R{R)UO Q, W, R, S c (Q~W{S)~RUO Q, W, R, T c WQ~R~TUO Q, W, R, U c Q~(W|R)~UUO Q, W, R, V c (W|Q)~(R{V)UO Q, W, R, X c (Q{W)~(X|R)UO Q, W, S, P c (Q~W|P)~SUO Q, W, S, Q c (Q{W)~(S{Q)UO Q, W, S, R c (Q~W{S)~RUO Q, W, S, S c Q~W~S|SUO Q, W, S, T c (Q~W|S)~TUO Q, W, S, U c (Q{U)~W|SUO Q, W, S, V c (QS{V)~WUO Q, W, S, W c (W|QS)~WUO Q, W, S, X c (W|Q{X)~SUO Q, W, T, P c (Q{W)~(T{P)UO Q, W, T, Q c (Q{W{Q)~TUO Q, W, T, R c WQ~T~RUO Q, W, T, S c (Q{W{T)~SUO Q, W, T, T c (W|Q)~(T{T)UO Q, W, T, U c (W|Q{U)~TUO Q, W, T, W c (WQ{W)~TUO Q, W, U, O c (Q{W)~(U{O)UO Q, W, U, P c (Q{W)~(U~P)UO Q, W, U, R c Q~(W|R)~UUO Q, W, U, S c (Q{U)~W|SUO Q, W, U, T c (W|Q{U)~TUO Q, W, U, U c (Q~W|U)~UUO Q, W, U, V c W~V|Q{UUO Q, W, U, W c Q{W~W|UUO Q, W, U, X c (Q~X|W)~UUO Q, W, V, P c (Q{W)~(V|P)UO Q, W, V, Q c Q{W~V{QUO Q, W, V, R c (W|Q)~(V{R)UO Q, W, V, S c (QS{V)~WUO Q, W, V, U c W~V|Q{UUO Q, W, V, W c WQ{V~WUO Q, W, W, P c W~(W|PQ)UO Q, W, W, Q c (Q{W)~(W|Q)UO Q, W, W, S c (W|QS)~WUO Q, W, W, T c (WQ{W)~TUO Q, W, W, U c Q{W~W|UUO Q, W, W, V c WQ{W~VUO Q, W, W, W c W~W|WQUO Q, W, X, P c (W|Q)~(X{P)UO Q, W, X, R c (Q{W)~(X|R)UO Q, W, X, S c (W|Q{X)~SUO Q, W, X, U c (Q~X|W)~UUO Q, X, P, R c Q~(X{P)~RUO Q, X, P, S c (Q{S)~(X{P)UO Q, X, P, T c (Q{X{P)~TUO Q, X, P, U c (Q{X|P)~UUO Q, X, P, V c (X~V)|(Q{P)UO Q, X, P, W c (X{P)~(W|Q)UO Q, X, Q, R c (Q{X~Q)~RUO Q, X, Q, U c Q~(X{U)~QUO Q, X, R, P c Q~(X{P)~RUO Q, X, R, Q c (Q{X~Q)~RUO Q, X, R, R c Q~(X~R{R)UO Q, X, R, S c (Q~X|R)~SUO Q, X, R, T c Q~(X|R)~TUO Q, X, R, U c Q~X~R{UUO Q, X, R, V c Q~(X{R~V)UO Q, X, R, W c (Q{W)~(X|R)UO Q, X, R, X c (Q{X{X)~RUO Q, X, S, P c (Q{S)~(X{P)UO Q, X, S, R c (Q~X|R)~SUO Q, X, S, S c (Q{X{S)~SUO Q, X, S, U c Q~(X|S)~UUO Q, X, S, W c (X|Q{W)~SUO Q, X, T, P c (Q{X{P)~TUO Q, X, T, R c Q~(X|R)~TUO Q, X, T, T c (Q{X)~T{TUO Q, X, T, U c (Q~X|U)~TUO Q, X, T, V c Q{X~V|TUO Q, X, U, P c (Q{X|P)~UUO Q, X, U, Q c Q~(X{U)~QUO Q, X, U, R c Q~X~R{UUO Q, X, U, S c Q{X~U{SUO Q, X, U, T c (Q~X|U)~TUO Q, X, U, U c (Q{X)~U|UUO Q, X, U, V c Q~X{U~VUO Q, X, U, W c (Q~X|W)~UUO Q, X, V, P c (X~V)|(Q{P)UO Q, X, V, R c Q~(X{V~R)UO Q, X, V, T c Q{X~V|TUO Q, X, V, U c Q~X{V~UUO Q, X, V, V c Q{X{V~VUO Q, X, W, P c (X{P)~(W|Q)UO Q, X, W, R c (Q{W)~(X|R)UO Q, X, W, S c (X|Q{W)~SUO Q, X, W, U c (Q~X|W)~UUO Q, X, X, R c (Q{X{X)~RUO R, O, S, T c (R{O)~(S~T)UO R, O, T, S c (R{O)~(T~S)UO R, O, T, X c (R{O{X)~TUO R, O, U, V c (R{O{V)~UUO R, O, V, U c (R{O{V)~UUO R, O, V, X c O{V~X|RUO R, O, X, T c (R{O{X)~TUO R, O, X, V c O{X~V|RUO R, P, Q, X c R~(P{X)~QUO R, P, R, T c (R{P)~(R~T)UO R, P, R, U c (R~R{P)~UUO R, P, R, V c R~(R~V|P)UO R, P, R, X c (R{R)~(P{X)UO R, P, S, S c R~(P{S)~SUO R, P, S, T c R~P~S~TUO R, P, S, U c (R~S)~(U|P)UO R, P, S, X c (R{X)~(P{S)UO R, P, T, R c (R{P)~(T~R)UO R, P, T, S c R~P~T~SUO R, P, T, T c R~(T|P)~TUO R, P, T, U c (R|P)~(T~U)UO R, P, T, V c (R{V)~(P{T)UO R, P, T, W c (R{P{W)~TUO R, P, T, X c (R{P~X)~TUO R, P, U, R c (R~R{P)~UUO R, P, U, S c R~(U|P)~SUO R, P, U, T c (R|P)~(U~T)UO R, P, U, U c (R{P{U)~UUO R, P, U, V c (R{P~V)~UUO R, P, U, W c (R|P{W)~UUO R, P, U, X c (R{P)~(U{X)UO R, P, V, R c (R~V|P)~RUO R, P, V, T c (R{V)~(P{T)UO R, P, V, U c (R{P~V)~UUO R, P, V, V c (R{V)~(V|P)UO R, P, V, W c R{P{V~WUO R, P, V, X c P~V~X|RUO R, P, W, T c (R{P{W)~TUO R, P, W, U c (R|P{W)~UUO R, P, W, V c R{P{W~VUO R, P, W, W c (W~W)|(R{P)UO R, P, W, X c (W|P)~X|RUO R, P, X, Q c R~(P{X)~QUO R, P, X, R c (R{R)~(P{X)UO R, P, X, S c (R{X)~(P{S)UO R, P, X, T c (R{P~X)~TUO R, P, X, U c (R{P)~(X{U)UO R, P, X, V c P~X~V|RUO R, P, X, W c X~(W|P)|RUO R, P, X, X c (P{X)~(X|R)UO R, Q, P, X c (R~Q)~(P{X)UO R, Q, Q, T c R~(Q{Q)~TUO R, Q, Q, U c (R{Q)~(Q~U)UO R, Q, Q, W c (R~Q)~(Q{W)UO R, Q, Q, X c R~(Q{Q~X)UO R, Q, R, S c (R{Q)~(R~S)UO R, Q, R, T c (R{R)~(Q~T)UO R, Q, R, U c R~(Q{R~U)UO R, Q, R, V c (R~Q)~(R{V)UO R, Q, R, W c (R{R)~(Q{W)UO R, Q, R, X c (R{Q)~(R{X)UO R, Q, S, R c (R{Q)~(S~R)UO R, Q, S, U c (R~Q{S)~UUO R, Q, S, V c (R~S)~(V|Q)UO R, Q, S, W c (R{Q)~(S{W)UO R, Q, S, X c (R~Q{X)~SUO R, Q, T, Q c R~Q~T~QUO R, Q, T, R c (R{R)~(Q~T)UO R, Q, T, T c (R~Q)~(T{T)UO R, Q, T, U c (R{Q{T)~UUO R, Q, T, V c (R{Q)~(T{V)UO R, Q, T, W c RQ~T~WUO R, Q, T, X c (Q{T)~X|RUO R, Q, U, Q c (R{Q)~(U~Q)UO R, Q, U, R c R~(Q{U~R)UO R, Q, U, S c (R{Q~U)~SUO R, Q, U, T c (R~Q{U)~TUO R, Q, U, U c (R{Q)~(U{U)UO R, Q, U, V c R~(Q~V{U)UO R, Q, U, W c R~(Q~U{W)UO R, Q, U, X c R~Q{U~XUO R, Q, V, R c (R~Q)~(V{R)UO R, Q, V, S c (R{V)~(Q{S)UO R, Q, V, T c (R{Q{V)~TUO R, Q, V, U c R~(Q~V{U)UO R, Q, V, V c (Q{V)~V|RUO R, Q, V, W c (R{V)~(W|Q)UO R, Q, V, X c (R~V{X)~QUO R, Q, W, Q c R~(Q{W)~QUO R, Q, W, R c (R{R)~(Q{W)UO R, Q, W, S c (R{Q)~(W{S)UO R, Q, W, T c RQ~W~TUO R, Q, W, U c R~(Q~U{W)UO R, Q, W, V c (R{V)~(W|Q)UO R, Q, W, X c (R{XQ)~WUO R, Q, X, P c (R~Q)~(X{P)UO R, Q, X, Q c R~(Q{X~Q)UO R, Q, X, R c (R{Q)~(X{R)UO R, Q, X, S c (R~Q{X)~SUO R, Q, X, T c Q~(X|R)~TUO R, Q, X, U c (R|Q{X)~UUO R, Q, X, V c (R{X)~(V|Q)UO R, Q, X, W c (R{XQ)~WUO R, Q, X, X c R~(Q{X{X)UO R, R, P, T c R~(R{P)~TUO R, R, P, U c (R~R{P)~UUO R, R, P, V c R~(R~V|P)UO R, R, P, X c (R{R)~(P{X)UO R, R, Q, S c R~(R{Q)~SUO R, R, Q, T c (R{R)~(Q~T)UO R, R, Q, U c R~(R~U{Q)UO R, R, Q, V c R~(R{V)~QUO R, R, Q, W c (R{R)~(Q{W)UO R, R, Q, X c (R{R~X)~QUO R, R, R, T c (R{R~R)~TUO R, R, R, V c (R{R)~(R{V)UO R, R, S, Q c R~(R{Q)~SUO R, R, S, S c (R{R~S)~SUO R, R, S, U c (R{R{S)~UUO R, R, S, W c R~(R~S{W)UO R, R, S, X c (R{R{X)~SUO R, R, T, P c R~(R{P)~TUO R, R, T, Q c (R{R)~(T~Q)UO R, R, T, R c (R{R~R)~TUO R, R, T, T c (R{R)~(T{T)UO R, R, T, U c (R{R{U)~TUO R, R, T, V c (R~T)~(V|R)UO R, R, U, P c (R~R{P)~UUO R, R, U, Q c R~(R~U{Q)UO R, R, U, S c (R{R)~(U{S)UO R, R, U, T c (R{R{U)~TUO R, R, U, U c R~R~U{UUO R, R, U, V c (R{U)~V|RUO R, R, U, X c R{R{U~XUO R, R, V, P c R~(R~V|P)UO R, R, V, Q c R~(R{V)~QUO R, R, V, R c (R{R)~(V{R)UO R, R, V, T c R~(V|R)~TUO R, R, V, U c (R{U)~V|RUO R, R, V, X c R~(R~X|V)UO R, R, W, Q c (R{R)~(W{Q)UO R, R, W, S c R~(R~W|S)UO R, R, W, X c R~(R{W{X)UO R, R, X, P c (R{R)~(X{P)UO R, R, X, Q c (R{R~X)~QUO R, R, X, S c (R{R{X)~SUO R, R, X, U c R{R{X~UUO R, R, X, V c R~(R~X|V)UO R, R, X, W c R~(R{X{W)UO R, S, O, T c (R~S{O)~TUO R, S, P, S c R~(S{P)~SUO R, S, P, T c R~S~P~TUO R, S, P, U c (R~S)~(U|P)UO R, S, P, X c (R{X)~(S{P)UO R, S, Q, R c (R~S)~(Q{R)UO R, S, Q, U c (R~S|Q)~UUO R, S, Q, V c (R~S)~(V|Q)UO R, S, Q, W c R~(S{Q~W)UO R, S, Q, X c (R~Q{X)~SUO R, S, R, Q c (R~S)~(R{Q)UO R, S, R, S c (R{S~R)~SUO R, S, R, U c (R{S{R)~UUO R, S, R, W c R~(S~R{W)UO R, S, R, X c (R{S)~X|RUO R, S, S, P c (R~S)~(S{P)UO R, S, S, R c (R{S~R)~SUO R, S, S, S c R~(S{S~S)UO R, S, S, U c R~(S~U|S)UO R, S, S, W c (R{S{W)~SUO R, S, S, X c (R~S)~(X|S)UO R, S, T, O c R~S~T{OUO R, S, T, P c R~S~T~PUO R, S, T, T c (R{S{T)~TUO R, S, T, U c (S~T)~(U|R)UO R, S, T, V c (R{T{V)~SUO R, S, T, W c (R{T)~W|SUO R, S, T, X c SR~T~XUO R, S, U, P c (R~S)~(U|P)UO R, S, U, Q c R~(S{U)~QUO R, S, U, R c (R{S{R)~UUO R, S, U, S c R~(S~U|S)UO R, S, U, T c S~(U|R)~TUO R, S, U, U c (R{U{U)~SUO R, S, U, V c (R~V|U)~SUO R, S, U, W c R~S{U~WUO R, S, U, X c (S|R{X)~UUO R, S, V, Q c (R~S)~(V|Q)UO R, S, V, T c (R{V{T)~SUO R, S, V, U c (R~V|U)~SUO R, S, V, W c R~(S~V|W)UO R, S, V, X c R~(S{V{X)UO R, S, W, Q c R~(S{W~Q)UO R, S, W, R c (R~S{W)~RUO R, S, W, S c (R{S{W)~SUO R, S, W, T c R~(W|S)~TUO R, S, W, U c R~S{W~UUO R, S, W, V c R~(S~V|W)UO R, S, W, W c R~(S{W{W)UO R, S, W, X c R~W{S~XUO R, S, X, P c (R{X)~(S{P)UO R, S, X, Q c (R~Q{X)~SUO R, S, X, R c (R{S)~X|RUO R, S, X, S c (R~S)~(X|S)UO R, S, X, T c SR~X~TUO R, S, X, U c (S|R{X)~UUO R, S, X, V c R~(S{X{V)UO R, S, X, W c R~W{S~XUO R, S, X, X c (R{X)~(X|S)UO R, T, O, S c (R~T{O)~SUO R, T, O, X c (R{O{X)~TUO R, T, P, R c (R~T)~(P{R)UO R, T, P, S c R~T~P~SUO R, T, P, T c R~(T|P)~TUO R, T, P, U c (R|P)~(T~U)UO R, T, P, V c (R{V)~(T{P)UO R, T, P, W c (R{P{W)~TUO R, T, P, X c (R{P~X)~TUO R, T, Q, Q c (R~T)~(Q{Q)UO R, T, Q, R c (R{R)~(T~Q)UO R, T, Q, T c R~(T{T)~QUO R, T, Q, U c (R{T{Q)~UUO R, T, Q, V c (R{Q)~(T{V)UO R, T, Q, W c R~TQ~WUO R, T, Q, X c (T{Q)~X|RUO R, T, R, P c (R~T)~(R{P)UO R, T, R, Q c (R{R)~(T~Q)UO R, T, R, R c (R{R~R)~TUO R, T, R, T c R~(T{R~T)UO R, T, R, U c (R{R{U)~TUO R, T, R, V c (R~T)~(V|R)UO R, T, S, O c R~T~S{OUO R, T, S, P c R~T~S~PUO R, T, S, T c (R{T{S)~TUO R, T, S, U c (T~S)~(U|R)UO R, T, S, V c (R{T{V)~SUO R, T, S, W c (R{T)~W|SUO R, T, S, X c TR~S~XUO R, T, T, P c (R~T)~(T|P)UO R, T, T, Q c R~(T{T)~QUO R, T, T, R c (R~T{T)~RUO R, T, T, S c (R{T{S)~TUO R, T, T, T c R~(T~T|T)UO R, T, T, U c (R~T|T)~UUO R, T, T, W c (R{W)~T{TUO R, T, T, X c R~T{T~XUO R, T, U, P c (R|P)~(T~U)UO R, T, U, Q c (R~T)~(U|Q)UO R, T, U, R c (R{U{R)~TUO R, T, U, S c T~(U|R)~SUO R, T, U, T c (R~T|T)~UUO R, T, U, U c (R~U|U)~TUO R, T, U, W c (T|R{W)~UUO R, T, U, X c R~(T{U{X)UO R, T, V, P c (R{V)~(T{P)UO R, T, V, Q c (R{V{Q)~TUO R, T, V, R c (R~T)~(V|R)UO R, T, V, S c (R{T{V)~SUO R, T, V, W c R~(T{V{W)UO R, T, V, X c (R~V|X)~TUO R, T, W, P c (R{W{P)~TUO R, T, W, Q c R~T~WQUO R, T, W, S c (R{T)~W|SUO R, T, W, T c (R{W)~T{TUO R, T, W, U c (T|R{W)~UUO R, T, W, V c R~(T{W{V)UO R, T, X, O c (R{X)~(T{O)UO R, T, X, P c (R{X)~(T~P)UO R, T, X, Q c T~(X|R)~QUO R, T, X, S c TR~X~SUO R, T, X, T c R~T{X~TUO R, T, X, U c R~(T{X{U)UO R, T, X, V c (R~V|X)~TUO R, T, X, X c T~(XR{X)UO R, U, O, V c (R{O{V)~UUO R, U, P, R c (R~R{P)~UUO R, U, P, S c R~(U|P)~SUO R, U, P, T c (R|P)~(U~T)UO R, U, P, U c (R{U{P)~UUO R, U, P, V c (R{P~V)~UUO R, U, P, W c (R|P{W)~UUO R, U, P, X c (R{P)~(U{X)UO R, U, Q, Q c (R{Q)~(U~Q)UO R, U, Q, R c (R~U{Q)~RUO R, U, Q, S c (R{U~Q)~SUO R, U, Q, T c R~(U|Q)~TUO R, U, Q, U c (R{Q)~(U{U)UO R, U, Q, V c R~(U{Q~V)UO R, U, Q, W c R~(U~Q{W)UO R, U, Q, X c R~Q{U~XUO R, U, R, P c (R~R{P)~UUO R, U, R, Q c R~(U~R{Q)UO R, U, R, S c (R~U|R)~SUO R, U, R, T c (R{U{R)~TUO R, U, R, U c R~U~R{UUO R, U, R, V c (R{U)~V|RUO R, U, R, X c R{U~X{RUO R, U, S, P c R~(U|P)~SUO R, U, S, Q c R~(U{S)~QUO R, U, S, R c (R~U|R)~SUO R, U, S, S c R~(U~S|S)UO R, U, S, T c (U|R)~(S~T)UO R, U, S, U c (R{U{U)~SUO R, U, S, V c (R~V|U)~SUO R, U, S, W c R~S{U~WUO R, U, S, X c U~(S|R{X)UO R, U, T, P c (R|P)~(U~T)UO R, U, T, Q c R~(U|Q)~TUO R, U, T, R c (R{U{R)~TUO R, U, T, S c (U|R)~(T~S)UO R, U, T, T c (R~T|T)~UUO R, U, T, U c (R~U|U)~TUO R, U, T, W c U~(T|R{W)UO R, U, T, X c R~(U{T{X)UO R, U, U, P c (R{U{P)~UUO R, U, U, Q c (R{Q)~(U{U)UO R, U, U, R c R~U~R{UUO R, U, U, S c (R{U{U)~SUO R, U, U, T c (R~U|U)~TUO R, U, U, U c (R{U)~U{UUO R, U, U, V c R~U{U~VUO R, U, U, W c R~(U{U{W)UO R, U, V, O c (R{V)~(U{O)UO R, U, V, P c (R{V)~(U~P)UO R, U, V, Q c R~(U{V~Q)UO R, U, V, R c (R{U)~V|RUO R, U, V, S c (R~V|U)~SUO R, U, V, U c R~U{V~UUO R, U, V, V c R~(U{V{V)UO R, U, V, W c (RU{V)~WUO R, U, V, X c R{V~X|UUO R, U, W, P c (R{W|P)~UUO R, U, W, Q c R~(U~Q{W)UO R, U, W, S c R~S{U~WUO R, U, W, T c U~(W|R{T)UO R, U, W, U c R~(U{W{U)UO R, U, W, V c (RU{V)~WUO R, U, W, W c (W|RU)~WUO R, U, W, X c R{U~W{XUO R, U, X, P c (R{X)~(U|P)UO R, U, X, Q c (R{X|Q)~UUO R, U, X, R c R{U~X{RUO R, U, X, S c U~(X|R{S)UO R, U, X, T c R~(U{X{T)UO R, U, X, V c R{X~V|UUO R, U, X, W c R{U~W{XUO R, U, X, X c R~(X{X){UUO R, V, O, U c (R{V{O)~UUO R, V, O, X c (V{O)~X|RUO R, V, P, R c (R~V|P)~RUO R, V, P, T c (R{V)~(P{T)UO R, V, P, U c (R{V)~(P~U)UO R, V, P, V c (R{V)~(V|P)UO R, V, P, W c R{V~W{PUO R, V, P, X c (V|PR)~XUO R, V, Q, R c (R{V)~(Q~R)UO R, V, Q, S c (R{V)~(Q{S)UO R, V, Q, T c (R{V{Q)~TUO R, V, Q, U c R~(V~Q{U)UO R, V, Q, V c (V{Q)~V|RUO R, V, Q, W c (R{V)~(W|Q)UO R, V, Q, X c (R~V{X)~QUO R, V, R, P c R~(V~R|P)UO R, V, R, Q c (R{V)~(R~Q)UO R, V, R, R c (R{V)~(R{R)UO R, V, R, T c R~(V|R)~TUO R, V, R, U c (R{U)~V|RUO R, V, R, X c (R{V)~(X|R)UO R, V, S, Q c (R{V)~(S{Q)UO R, V, S, T c (R{V{T)~SUO R, V, S, U c (R~V|U)~SUO R, V, S, W c R~(V~S|W)UO R, V, S, X c R~(V{S{X)UO R, V, T, P c (R{V)~(T{P)UO R, V, T, Q c (R{V{Q)~TUO R, V, T, R c R~(V|R)~TUO R, V, T, S c (R{V{T)~SUO R, V, T, W c R~(V{T{W)UO R, V, T, X c (R~V|X)~TUO R, V, U, O c (R{V)~(U{O)UO R, V, U, P c (R{V)~(U~P)UO R, V, U, Q c R~(V~Q{U)UO R, V, U, R c (R{U)~V|RUO R, V, U, S c (R~V|U)~SUO R, V, U, U c R~U{V~UUO R, V, U, V c R~(V{U{V)UO R, V, U, W c (RU{V)~WUO R, V, U, X c R{V~X|UUO R, V, V, P c (R{V)~(V|P)UO R, V, V, Q c V~(V{Q)|RUO R, V, V, U c R~(V{V{U)UO R, V, V, W c R{V~V{WUO R, V, V, X c V~(X|RV)UO R, V, W, P c R{V~W{PUO R, V, W, Q c (R{V)~(W|Q)UO R, V, W, S c R~(V~S|W)UO R, V, W, T c R~(V{W{T)UO R, V, W, U c (RU{V)~WUO R, V, W, V c R{V~V{WUO R, V, W, W c R{W~W|VUO R, V, X, O c V~X|R{OUO R, V, X, P c V~X|R~PUO R, V, X, Q c (R~V{X)~QUO R, V, X, R c (R{V)~(X|R)UO R, V, X, S c R~(V{X{S)UO R, V, X, T c (R~V|X)~TUO R, V, X, U c R{V~X|UUO R, V, X, V c V~(X|RV)UO R, V, X, X c (V|RX)~XUO R, W, P, T c (R{W{P)~TUO R, W, P, U c (R{W|P)~UUO R, W, P, V c R{W~V{PUO R, W, P, W c (W~W)|(R{P)UO R, W, P, X c (W|P)~X|RUO R, W, Q, Q c R~(W{Q)~QUO R, W, Q, R c (R{R)~(W{Q)UO R, W, Q, S c R~(W~Q{S)UO R, W, Q, T c R~WQ~TUO R, W, Q, U c R~(W{Q~U)UO R, W, Q, V c (R{V)~(W|Q)UO R, W, Q, X c (R{XQ)~WUO R, W, R, Q c (R{R)~(W{Q)UO R, W, R, S c R~(W{R~S)UO R, W, R, X c R~(W{R{X)UO R, W, S, Q c R~(W~Q{S)UO R, W, S, R c R~(W{S~R)UO R, W, S, S c (R{W{S)~SUO R, W, S, T c R~(W|S)~TUO R, W, S, U c R~S{W~UUO R, W, S, V c R~(S~V|W)UO R, W, S, W c R~(W{S{W)UO R, W, S, X c R~W{S~XUO R, W, T, P c (R{W{P)~TUO R, W, T, Q c R~W~TQUO R, W, T, S c R~(W|S)~TUO R, W, T, T c (R{W)~T{TUO R, W, T, U c (W|R{T)~UUO R, W, T, V c R~(W{T{V)UO R, W, U, P c (R{W|P)~UUO R, W, U, Q c (R~W{U)~QUO R, W, U, S c R~S{W~UUO R, W, U, T c (W|R{T)~UUO R, W, U, U c (R{W)~U|UUO R, W, U, V c (RU{V)~WUO R, W, U, W c (W|RU)~WUO R, W, U, X c R{W~U{XUO R, W, V, P c R{W~V{PUO R, W, V, Q c (R{V)~(W|Q)UO R, W, V, S c R~(V~S|W)UO R, W, V, T c R~(W{V{T)UO R, W, V, U c (RU{V)~WUO R, W, V, V c R{W{V~VUO R, W, V, W c R{W~W|VUO R, W, W, P c (W~W)|(R{P)UO R, W, W, S c R~(W{W{S)UO R, W, W, U c (W|RU)~WUO R, W, W, V c R{W~W|VUO R, W, X, P c (W|P)~X|RUO R, W, X, Q c (R{XQ)~WUO R, W, X, R c (R{W{X)~RUO R, W, X, S c R~W{X~SUO R, W, X, U c R{W~U{XUO R, W, X, X c R~(W{X){XUO R, X, O, T c (R{X{O)~TUO R, X, O, V c (X{O)~V|RUO R, X, P, Q c R~(X{P)~QUO R, X, P, R c (R{R)~(X{P)UO R, X, P, S c (R{X)~(P{S)UO R, X, P, T c (R{X)~(P~T)UO R, X, P, U c (R{X)~(U|P)UO R, X, P, V c X~P~V|RUO R, X, P, W c X~(W|P)|RUO R, X, P, X c (X|R)~(P{X)UO R, X, Q, P c R~(X{P)~QUO R, X, Q, Q c R~(X~Q{Q)UO R, X, Q, R c (R{X)~(Q{R)UO R, X, Q, S c (R~Q{X)~SUO R, X, Q, T c (X|R)~(Q~T)UO R, X, Q, U c (R{X|Q)~UUO R, X, Q, V c (R{X)~(V|Q)UO R, X, Q, W c (R{XQ)~WUO R, X, Q, X c R~(X{Q{X)UO R, X, R, P c (R{R)~(X{P)UO R, X, R, Q c (R{X)~(R{Q)UO R, X, R, S c (R{X{R)~SUO R, X, R, U c R{X~U{RUO R, X, R, V c R~(X~R|V)UO R, X, R, W c R~(X{R{W)UO R, X, S, P c (R{X)~(S{P)UO R, X, S, Q c (R~Q{X)~SUO R, X, S, R c (R{X{R)~SUO R, X, S, S c R~(X|S)~SUO R, X, S, T c XR~S~TUO R, X, S, U c (X|R{S)~UUO R, X, S, V c R~(X{S{V)UO R, X, S, W c R~W{X~SUO R, X, S, X c (R{X)~(X|S)UO R, X, T, O c (R{X)~(T{O)UO R, X, T, P c (R{X)~(T~P)UO R, X, T, Q c (X|R)~(T~Q)UO R, X, T, S c XR~T~SUO R, X, T, T c R~(X|T)~TUO R, X, T, U c R~(X{T{U)UO R, X, T, V c (R~V|X)~TUO R, X, T, X c (XR{X)~TUO R, X, U, P c (R{X)~(U|P)UO R, X, U, Q c (R{X|Q)~UUO R, X, U, R c R{X~U{RUO R, X, U, S c (X|R)~(U{S)UO R, X, U, T c R~(X{U{T)UO R, X, U, V c R{X~V|UUO R, X, U, W c R{X{U~WUO R, X, U, X c R~(X{X){UUO R, X, V, O c X~V|R{OUO R, X, V, P c X~V|R~PUO R, X, V, Q c (R{X)~(V|Q)UO R, X, V, R c (R~X|V)~RUO R, X, V, S c R~(X{V{S)UO R, X, V, T c (R~V|X)~TUO R, X, V, U c R{X~V|UUO R, X, V, V c (X|RV)~VUO R, X, V, X c (X|VR)~XUO R, X, W, P c X~(W|P)|RUO R, X, W, Q c (R{XQ)~WUO R, X, W, R c (R{X{W)~RUO R, X, W, S c R~W{X~SUO R, X, W, U c R{X{W~UUO R, X, W, X c R~(X{W){XUO R, X, X, P c (X|R)~(X{P)UO R, X, X, Q c R~(X{X{Q)UO R, X, X, S c (R{X)~(X|S)UO R, X, X, T c (XR{X)~TUO R, X, X, U c R~(X{X){UUO R, X, X, V c X~X|R~VUO R, X, X, W c R~(X{W){XUO S, O, R, T c (S{O)~(R~T)UO S, O, T, R c (S{O)~(T~R)UO S, O, T, W c (S{O{W)~TUO S, O, U, U c (S{O{U)~UUO S, O, U, X c (S{O)~(U{X)UO S, O, V, W c S{O{V~WUO S, O, W, T c (S{O{W)~TUO S, O, W, V c S{O{W~VUO S, O, W, W c O{W~W|SUO S, O, X, U c (S{O)~(X{U)UO S, P, Q, T c S~(P{Q)~TUO S, P, Q, U c (S{P)~(Q~U)UO S, P, Q, V c S~(P{Q~V)UO S, P, Q, W c S~(Q~W|P)UO S, P, Q, X c (S{Q)~(P{X)UO S, P, R, S c (S{P)~(R~S)UO S, P, R, T c S~P~R~TUO S, P, R, U c (S~R)~(U|P)UO S, P, R, X c (S{P)~(R{X)UO S, P, S, R c (S{P)~(S~R)UO S, P, S, S c (S~S|P)~SUO S, P, S, T c (S|P)~(S~T)UO S, P, S, W c (S{P)~(S{W)UO S, P, T, Q c S~(P{Q)~TUO S, P, T, R c S~P~T~RUO S, P, T, S c (S|P)~(T~S)UO S, P, T, U c (S{P{T)~UUO S, P, T, V c (S{P)~(T{V)UO S, P, T, W c (S{P~W)~TUO S, P, T, X c S~(P{T{X)UO S, P, U, Q c (S{P)~(U~Q)UO S, P, U, R c S~(U|P)~RUO S, P, U, T c (S{P{T)~UUO S, P, U, U c (S{P)~(U{U)UO S, P, U, V c (S|P{V)~UUO S, P, U, W c S{(P{U)~WUO S, P, U, X c (S~P)~(U{X)UO S, P, V, Q c S~(P{V~Q)UO S, P, V, T c (S{P{V)~TUO S, P, V, U c (S|P{V)~UUO S, P, V, V c S{(P{V)~VUO S, P, V, W c S{P~V~WUO S, P, V, X c S~(V|P{X)UO S, P, W, Q c S~(W~Q|P)UO S, P, W, S c (S{P)~(W{S)UO S, P, W, T c (S{P~W)~TUO S, P, W, U c S~(P{W{U)UO S, P, W, V c S{P~W~VUO S, P, W, W c S{(W|P)~WUO S, P, W, X c W~(X|P)|SUO S, P, X, Q c (S{Q)~(P{X)UO S, P, X, R c (S{P)~(X{R)UO S, P, X, T c (S|P{X)~TUO S, P, X, U c (S~P)~(X{U)UO S, P, X, V c S{(X|P)~VUO S, P, X, W c (X|P)~W|SUO S, Q, P, T c S~(Q{P)~TUO S, Q, P, U c (S{P)~(Q~U)UO S, Q, P, V c S~(Q~V{P)UO S, Q, P, W c S~(Q~W|P)UO S, Q, P, X c (S{Q)~(P{X)UO S, Q, Q, T c (S{Q)~(Q~T)UO S, Q, Q, U c (S~Q{Q)~UUO S, Q, Q, V c (S~V{Q)~QUO S, Q, Q, W c (S{Q)~(Q{W)UO S, Q, R, R c S~(Q{R)~RUO S, Q, R, U c (S{Q~R)~UUO S, Q, R, V c (S{Q)~(R{V)UO S, Q, R, W c (S{Q~W)~RUO S, Q, R, X c S~(Q~R{X)UO S, Q, S, T c (S{Q~S)~TUO S, Q, S, U c (S{Q{S)~UUO S, Q, S, V c S{Q~S~VUO S, Q, S, W c S~Q~W|SUO S, Q, S, X c S~(Q{S{X)UO S, Q, T, P c S~(Q{P)~TUO S, Q, T, Q c (S{Q)~(T~Q)UO S, Q, T, S c (S{Q~S)~TUO S, Q, T, T c (S{Q)~(T{T)UO S, Q, T, U c (S|Q)~(T~U)UO S, Q, T, W c S{(Q{T)~WUO S, Q, U, P c (S{P)~(Q~U)UO S, Q, U, Q c (S~Q{Q)~UUO S, Q, U, R c S~(Q~U{R)UO S, Q, U, S c (S{Q)~(U{S)UO S, Q, U, T c (S{Q{U)~TUO S, Q, U, U c (S~U{U)~QUO S, Q, U, V c S{(Q{U)~VUO S, Q, U, W c (S|Q{W)~UUO S, Q, U, X c S{Q{U~XUO S, Q, V, P c S~(Q~V{P)UO S, Q, V, Q c (S~V{Q)~QUO S, Q, V, R c (S{Q)~(V{R)UO S, Q, V, S c S{Q~V~SUO S, Q, V, U c S~(Q{V{U)UO S, Q, V, W c (S{VQ)~WUO S, Q, W, P c S~(Q~W|P)UO S, Q, W, Q c (S{Q)~(W{Q)UO S, Q, W, R c (S{Q~W)~RUO S, Q, W, S c S~Q~W|SUO S, Q, W, T c S~(Q{W{T)UO S, Q, W, U c (S|Q{W)~UUO S, Q, W, V c (S{W)~(V|Q)UO S, Q, W, W c (W|QS)~WUO S, Q, W, X c S~(W|Q{X)UO S, Q, X, P c (S{Q)~(X{P)UO S, Q, X, R c S~(Q~X|R)UO S, Q, X, S c (S{Q{X)~SUO S, Q, X, U c S{Q{X~UUO S, Q, X, W c S{(X|Q)~WUO S, R, O, T c (S~R{O)~TUO S, R, P, S c (S~R)~(P{S)UO S, R, P, T c S~R~P~TUO S, R, P, U c (S~R)~(U|P)UO S, R, P, X c (S{P)~(R{X)UO S, R, Q, R c S~(R{Q)~RUO S, R, Q, U c (S{R~Q)~UUO S, R, Q, V c (S~R)~(V|Q)UO S, R, Q, W c (S{Q~W)~RUO S, R, Q, X c S~(R~Q{X)UO S, R, R, Q c (S~R)~(R{Q)UO S, R, R, S c (S~R{R)~SUO S, R, R, U c (S{R{R)~UUO S, R, R, W c (S~R{W)~RUO S, R, R, X c S~(R{R{X)UO S, R, S, P c (S~R)~(S{P)UO S, R, S, R c S~(R{S~R)UO S, R, S, S c (S{S~S)~RUO S, R, S, U c (S~U|S)~RUO S, R, S, W c S{(R{S)~WUO S, R, S, X c (S~R)~(X|S)UO S, R, T, O c S~R~T{OUO S, R, T, P c S~R~T~PUO S, R, T, T c (S{R{T)~TUO S, R, T, U c (S~T)~(U|R)UO S, R, T, V c S{(R{T)~VUO S, R, T, W c (R{T)~W|SUO S, R, T, X c SR~T~XUO S, R, U, P c (S~R)~(U|P)UO S, R, U, Q c S~(R{U~Q)UO S, R, U, R c S~(R~U|R)UO S, R, U, S c (S~U|S)~RUO S, R, U, T c S~(U|R)~TUO S, R, U, U c S~(R{U{U)UO S, R, U, V c S~(R~V|U)UO S, R, U, W c S~R{U~WUO S, R, U, X c (S|R{X)~UUO S, R, V, Q c (S~R)~(V|Q)UO S, R, V, T c S~(R{V{T)UO S, R, V, U c S~(R~V|U)UO S, R, V, W c (S~V|W)~RUO S, R, V, X c (S{V{X)~RUO S, R, W, Q c (S{W)~(R{Q)UO S, R, W, R c (S~R{W)~RUO S, R, W, S c (S{R{W)~SUO S, R, W, T c R~(W|S)~TUO S, R, W, U c S~R{W~UUO S, R, W, V c (S~V|W)~RUO S, R, W, W c (S{W{W)~RUO S, R, W, X c S~(R~W|X)UO S, R, X, P c (S{P)~(R{X)UO S, R, X, Q c S~(R~Q{X)UO S, R, X, R c (S{R)~X|RUO S, R, X, S c (S~R)~(X|S)UO S, R, X, T c SR~X~TUO S, R, X, U c (S|R{X)~UUO S, R, X, V c (S{X{V)~RUO S, R, X, W c S~(R~W|X)UO S, R, X, X c S~(X|R{X)UO S, S, P, R c S~(S{P)~RUO S, S, P, S c (S~S|P)~SUO S, S, P, T c S~(S|P)~TUO S, S, P, W c (S{P)~(S{W)UO S, S, Q, T c (S{S~Q)~TUO S, S, Q, U c (S{S{Q)~UUO S, S, Q, V c S{S~Q~VUO S, S, Q, W c S~Q~W|SUO S, S, Q, X c S~(S{Q{X)UO S, S, R, P c S~(S{P)~RUO S, S, R, R c S~(S~R{R)UO S, S, R, S c (S{S~S)~RUO S, S, R, U c (S~U|S)~RUO S, S, R, W c S{(S{R)~WUO S, S, R, X c (S~R)~(X|S)UO S, S, S, P c S~(S~S|P)UO S, S, S, R c (S{S~S)~RUO S, S, S, S c S~S~S|SUO S, S, S, T c (S{S{S)~TUO S, S, S, V c S{(S{S)~VUO S, S, S, W c (S{S)~W|SUO S, S, T, P c S~(S|P)~TUO S, S, T, Q c (S{S~Q)~TUO S, S, T, S c (S{S{S)~TUO S, S, T, T c S~(S~T|T)UO S, S, T, U c S~(S{T{U)UO S, S, T, V c (S~T)~(V|S)UO S, S, T, X c S{S~(T{X)UO S, S, U, Q c (S{S{Q)~UUO S, S, U, R c (S~U|S)~RUO S, S, U, T c S~(S{U{T)UO S, S, U, U c (S~S|U)~UUO S, S, U, W c S{S~(U{W)UO S, S, U, X c S~(S~U|X)UO S, S, V, Q c S{S~V~QUO S, S, V, S c (S{S{V)~SUO S, S, V, T c S~(V|S)~TUO S, S, V, V c S{S~(V{V)UO S, S, V, W c S~V{S~WUO S, S, V, X c S~(V{X)|SUO S, S, W, P c (S{W)~(S{P)UO S, S, W, Q c S~W~Q|SUO S, S, W, R c S~(S{W{R)UO S, S, W, S c (S{S)~W|SUO S, S, W, U c S{S~(W{U)UO S, S, W, V c S~W{S~VUO S, S, W, W c S~(W{W)|SUO S, S, W, X c S~(S{X){WUO S, S, X, Q c S~(S{X{Q)UO S, S, X, R c S~(X|S)~RUO S, S, X, T c S{S~(X{T)UO S, S, X, U c (SS{X)~UUO S, S, X, V c S~(X{V)|SUO S, S, X, W c S~(S{X){WUO S, T, O, R c (S~T{O)~RUO S, T, O, W c (S{O{W)~TUO S, T, P, Q c (S~T)~(P{Q)UO S, T, P, R c S~T~P~RUO S, T, P, S c (S~T)~(S|P)UO S, T, P, U c (S{T{P)~UUO S, T, P, V c (S{P)~(T{V)UO S, T, P, W c (S{P~W)~TUO S, T, P, X c S~(T{P{X)UO S, T, Q, P c (S~T)~(Q{P)UO S, T, Q, Q c (S{Q)~(T~Q)UO S, T, Q, S c (S{Q~S)~TUO S, T, Q, T c S~(T{Q~T)UO S, T, Q, U c S~TQ~UUO S, T, Q, W c S{(T{Q)~WUO S, T, R, O c S~T~R{OUO S, T, R, P c S~T~R~PUO S, T, R, T c (S{T{R)~TUO S, T, R, U c (S~T)~(U|R)UO S, T, R, V c S{(T{R)~VUO S, T, R, W c (T{R)~W|SUO S, T, R, X c S~TR~XUO S, T, S, P c (S~T)~(S|P)UO S, T, S, Q c (S{S~Q)~TUO S, T, S, S c (S{S{S)~TUO S, T, S, T c S~(T~S|T)UO S, T, S, U c S~(T{S{U)UO S, T, S, V c (S~T)~(V|S)UO S, T, S, X c S{(T{X)~SUO S, T, T, Q c S~(T{T~Q)UO S, T, T, R c (S{T{R)~TUO S, T, T, S c (S~T|T)~SUO S, T, T, T c S~(T{T{T)UO S, T, T, V c (S{V)~T{TUO S, T, T, W c S~T{T~WUO S, T, T, X c (S{X)~T|TUO S, T, U, P c (S{T{P)~UUO S, T, U, Q c S~T~UQUO S, T, U, R c (S~T)~(U|R)UO S, T, U, S c (S{T{U)~SUO S, T, U, U c (S{T)~U{UUO S, T, U, W c TS~U~WUO S, T, U, X c (S~T)~(X|U)UO S, T, V, P c (S{V{P)~TUO S, T, V, R c (S{T)~V|RUO S, T, V, S c (S~T)~(V|S)UO S, T, V, T c (S{V)~T{TUO S, T, V, X c T~(V|S{X)UO S, T, W, O c (S{W)~(T{O)UO S, T, W, P c (S{W)~(T~P)UO S, T, W, Q c S~(T{W{Q)UO S, T, W, R c T~(W|S)~RUO S, T, W, T c S~T{W~TUO S, T, W, U c TS~W~UUO S, T, W, W c S~(T{W){WUO S, T, X, P c S~(T{X{P)UO S, T, X, R c S~T~XRUO S, T, X, S c S{(T{X)~SUO S, T, X, T c (S{X)~T|TUO S, T, X, U c (S~T)~(X|U)UO S, T, X, V c T~(X|S{V)UO S, U, O, U c (S{U{O)~UUO S, U, O, X c S~(U{O{X)UO S, U, P, Q c (S{P)~(U~Q)UO S, U, P, R c S~(U|P)~RUO S, U, P, T c (S{U)~(P{T)UO S, U, P, U c (S{U)~(P~U)UO S, U, P, V c (S{U)~(V|P)UO S, U, P, W c S{(U{P)~WUO S, U, P, X c S~(U{P~X)UO S, U, Q, P c (S{P)~(U~Q)UO S, U, Q, Q c (S~Q{Q)~UUO S, U, Q, R c (S{U)~(Q~R)UO S, U, Q, S c (S{U)~(Q{S)UO S, U, Q, T c (S{U{Q)~TUO S, U, Q, U c (S~U{U)~QUO S, U, Q, V c S{(U{Q)~VUO S, U, Q, W c (S{U)~(W|Q)UO S, U, Q, X c S{U~X{QUO S, U, R, P c S~(U|P)~RUO S, U, R, Q c (S{U)~(R~Q)UO S, U, R, R c (S{U)~(R{R)UO S, U, R, S c (S~U|S)~RUO S, U, R, T c S~(U|R)~TUO S, U, R, U c S~(U{R{U)UO S, U, R, V c S~(R~V|U)UO S, U, R, W c S~R{U~WUO S, U, R, X c (S{U)~(X|R)UO S, U, S, Q c (S{U)~(S{Q)UO S, U, S, R c (S~U|S)~RUO S, U, S, T c S~(U{S{T)UO S, U, S, U c (S~S|U)~UUO S, U, S, W c S{(U{W)~SUO S, U, S, X c S~U{S~XUO S, U, T, P c (S{U)~(T{P)UO S, U, T, Q c S~U~TQUO S, U, T, R c S~(U|R)~TUO S, U, T, S c (S{U{T)~SUO S, U, T, U c (S{T)~U{UUO S, U, T, W c US~T~WUO S, U, T, X c (S~T)~(X|U)UO S, U, U, O c (S{U)~(U{O)UO S, U, U, P c (S{U)~(U~P)UO S, U, U, Q c (S~U{U)~QUO S, U, U, R c S~(U{U{R)UO S, U, U, S c (S~S|U)~UUO S, U, U, T c (S{T)~U{UUO S, U, U, U c S~U{U~UUO S, U, U, V c (S{V)~U|UUO S, U, U, W c (US{U)~WUO S, U, U, X c (SU{U)~XUO S, U, V, P c (S{U)~(V|P)UO S, U, V, Q c S~(U{V{Q)UO S, U, V, R c S~(V~R|U)UO S, U, V, U c (S{V)~U|UUO S, U, V, V c U~(V|S{V)UO S, U, V, W c S~(U{V){WUO S, U, W, P c S~(U{W{P)UO S, U, W, Q c (S{U)~(W|Q)UO S, U, W, R c S~R{U~WUO S, U, W, S c S{(U{W)~SUO S, U, W, T c US~W~TUO S, U, W, U c (U|S{W)~UUO S, U, W, V c S~(U{V){WUO S, U, W, W c S{U~W{WUO S, U, W, X c (U{X)~(W|S)UO S, U, X, O c S~(U{X){OUO S, U, X, P c S~(U{X)~PUO S, U, X, Q c S{U~X{QUO S, U, X, R c (S{U)~(X|R)UO S, U, X, S c S~U{X~SUO S, U, X, T c S~(X|U)~TUO S, U, X, U c (SU{U)~XUO S, U, X, W c (U{X)~(W|S)UO S, V, O, W c S{(V{O)~WUO S, V, P, Q c S~(V~Q{P)UO S, V, P, T c (S{V{P)~TUO S, V, P, U c (S{V|P)~UUO S, V, P, V c S{(V{P)~VUO S, V, P, W c S{V~P~WUO S, V, P, X c S~(V|P{X)UO S, V, Q, P c S~(V~Q{P)UO S, V, Q, Q c (S~V{Q)~QUO S, V, Q, R c S~(V|Q)~RUO S, V, Q, S c S{V~Q~SUO S, V, Q, U c S{V~(Q{U)UO S, V, Q, W c (S{VQ)~WUO S, V, R, Q c S~(V|Q)~RUO S, V, R, T c S{V~(R{T)UO S, V, R, U c S~(V~R|U)UO S, V, R, W c (S~V|W)~RUO S, V, R, X c (S{V{X)~RUO S, V, S, Q c S{V~S~QUO S, V, S, S c (S{V{S)~SUO S, V, S, T c S~(V|S)~TUO S, V, S, V c S{(V{V)~SUO S, V, S, W c S~V{S~WUO S, V, S, X c S~(V{X)|SUO S, V, T, P c (S{V{P)~TUO S, V, T, R c S{V~(T{R)UO S, V, T, S c S~(V|S)~TUO S, V, T, T c (S{V)~T{TUO S, V, T, X c (V|S{X)~TUO S, V, U, P c (S{V|P)~UUO S, V, U, Q c S{V~(U{Q)UO S, V, U, R c S~(V~R|U)UO S, V, U, U c (S{V)~U|UUO S, V, U, V c (V|S{V)~UUO S, V, U, W c S~(V{U){WUO S, V, V, P c S{V~(V{P)UO S, V, V, S c S{(V{V)~SUO S, V, V, U c (V|S{V)~UUO S, V, V, V c S{V{V~VUO S, V, V, W c (SV{W)~VUO S, V, V, X c S{V~X|VUO S, V, W, O c S{V~W{OUO S, V, W, P c S{V~W~PUO S, V, W, Q c (S{VQ)~WUO S, V, W, R c (S~V|W)~RUO S, V, W, S c S~V{W~SUO S, V, W, U c S~(V{U){WUO S, V, W, V c (SV{W)~VUO S, V, W, W c (SW{V)~WUO S, V, X, P c S{V~(X|P)UO S, V, X, R c (S{V{X)~RUO S, V, X, S c S~(V{X)|SUO S, V, X, T c (V|S{X)~TUO S, V, X, V c S{V~X|VUO S, W, O, T c (S{W{O)~TUO S, W, O, V c S{(W{O)~VUO S, W, O, W c (W{O)~W|SUO S, W, P, Q c S~(W~Q|P)UO S, W, P, S c (S{W)~(P{S)UO S, W, P, T c (S{W)~(P~T)UO S, W, P, U c S{W~(P{U)UO S, W, P, V c S{W~P~VUO S, W, P, W c S{(W|P)~WUO S, W, P, X c W~(X|P)|SUO S, W, Q, P c S~(W~Q|P)UO S, W, Q, Q c (S~W|Q)~QUO S, W, Q, R c (S{W)~(Q{R)UO S, W, Q, S c S~W~Q|SUO S, W, Q, T c S{W~(Q{T)UO S, W, Q, U c (S{W|Q)~UUO S, W, Q, V c (S{W)~(V|Q)UO S, W, Q, W c (W|QS)~WUO S, W, Q, X c S~(W|Q{X)UO S, W, R, Q c (S{W)~(R{Q)UO S, W, R, R c S~(W|R)~RUO S, W, R, S c (S{W{R)~SUO S, W, R, T c (W|S)~(R~T)UO S, W, R, U c S~R{W~UUO S, W, R, V c (S~V|W)~RUO S, W, R, W c (S{W{W)~RUO S, W, R, X c (S{WR)~XUO S, W, S, P c (S{W)~(S{P)UO S, W, S, Q c S~W~Q|SUO S, W, S, R c S{W~(S{R)UO S, W, S, S c (S{S)~W|SUO S, W, S, U c S{(W{U)~SUO S, W, S, V c S~W{S~VUO S, W, S, W c S~(W{W)|SUO S, W, S, X c (S{W)~(X|S)UO S, W, T, O c (S{W)~(T{O)UO S, W, T, P c (S{W)~(T~P)UO S, W, T, Q c S{W~(T{Q)UO S, W, T, R c (W|S)~(T~R)UO S, W, T, T c S~(W|T)~TUO S, W, T, U c WS~T~UUO S, W, T, W c S~(W{T){WUO S, W, U, P c S{W~(U{P)UO S, W, U, Q c (S{W|Q)~UUO S, W, U, R c S~R{W~UUO S, W, U, S c S{(W{U)~SUO S, W, U, T c WS~U~TUO S, W, U, U c (W|S{U)~UUO S, W, U, V c S~(U{V){WUO S, W, U, W c S{W{U~WUO S, W, U, X c (W|S)~(U{X)UO S, W, V, O c S{W~V{OUO S, W, V, P c S{W~V~PUO S, W, V, Q c (S{W)~(V|Q)UO S, W, V, R c (S~V|W)~RUO S, W, V, S c S~W{V~SUO S, W, V, U c S~(V{U){WUO S, W, V, V c (SV{W)~VUO S, W, V, W c (SW{V)~WUO S, W, W, O c W~W|S{OUO S, W, W, P c S{W~(W|P)UO S, W, W, Q c W~(W|QS)UO S, W, W, R c (S{W{W)~RUO S, W, W, S c S~(W{W)|SUO S, W, W, T c S~(W{T){WUO S, W, W, U c S{W{W~UUO S, W, W, V c (SW{V)~WUO S, W, W, W c S{W~W|WUO S, W, W, X c S~(W{X)|WUO S, W, X, P c W~(X|P)|SUO S, W, X, Q c S{W~(X|Q)UO S, W, X, R c (S{WR)~XUO S, W, X, S c (S{W)~(X|S)UO S, W, X, U c (W|S)~(X{U)UO S, W, X, W c S~(W{X)|WUO S, X, O, U c S~(X{O{U)UO S, X, P, Q c (S{Q)~(X{P)UO S, X, P, R c (S{P)~(X{R)UO S, X, P, T c (S{X|P)~TUO S, X, P, U c S~(X{P~U)UO S, X, P, V c S{(X|P)~VUO S, X, P, W c (X|P)~W|SUO S, X, Q, P c (S{Q)~(X{P)UO S, X, Q, R c S~(X{Q~R)UO S, X, Q, S c (S{X{Q)~SUO S, X, Q, U c S{X~U{QUO S, X, Q, W c S{(X|Q)~WUO S, X, R, P c (S{P)~(X{R)UO S, X, R, Q c S~(X{R~Q)UO S, X, R, R c S~(X{R{R)UO S, X, R, S c S~(X|S)~RUO S, X, R, T c S~XR~TUO S, X, R, U c (S{X|R)~UUO S, X, R, V c (S{X{V)~RUO S, X, R, W c S~X{R~WUO S, X, R, X c S~(X|R{X)UO S, X, S, Q c S~(X{S{Q)UO S, X, S, R c S~(X|S)~RUO S, X, S, T c S{(X{T)~SUO S, X, S, U c S~X{S~UUO S, X, S, V c S~(X{V)|SUO S, X, S, W c (S{X)~S{WUO S, X, T, P c S~(X{T{P)UO S, X, T, R c S~X~TRUO S, X, T, S c S{(X{T)~SUO S, X, T, T c (S{X)~T|TUO S, X, T, U c S~(X|U)~TUO S, X, T, V c (X|S)~(T{V)UO S, X, U, O c S~(X{U){OUO S, X, U, P c S~(X{U)~PUO S, X, U, Q c S{X~U{QUO S, X, U, R c (S{X|R)~UUO S, X, U, S c S~X{U~SUO S, X, U, T c S~(X|U)~TUO S, X, U, U c (SU{U)~XUO S, X, U, W c (X|US)~WUO S, X, V, P c S~(X{V|P)UO S, X, V, R c (S{X{V)~RUO S, X, V, S c S~(X{V)|SUO S, X, V, T c (X|S{V)~TUO S, X, V, V c S{X~V|VUO S, X, W, P c (X|P)~W|SUO S, X, W, Q c S~(X{W|Q)UO S, X, W, R c S~X{W~RUO S, X, W, S c (S{X)~S{WUO S, X, W, U c (X|US)~WUO S, X, W, W c S~(X{W)|WUO S, X, X, R c S~(X{X|R)UO T, O, Q, U c (T{O)~(Q~U)UO T, O, R, S c (T{O)~(R~S)UO T, O, R, X c (T{O)~(R{X)UO T, O, S, R c (T{O)~(S~R)UO T, O, S, W c (T{O)~(S{W)UO T, O, T, U c (T{O{T)~UUO T, O, T, V c (T{O)~(T{V)UO T, O, U, Q c (T{O)~(U~Q)UO T, O, U, T c (T{O{T)~UUO T, O, U, U c (T{O)~(U{U)UO T, O, V, T c (T{O{V)~TUO T, O, W, S c (T{O)~(W{S)UO T, O, X, R c (T{O)~(X{R)UO T, P, P, U c T~(P{P)~UUO T, P, P, X c (T{P)~(P{X)UO T, P, Q, S c T~(P{Q)~SUO T, P, Q, T c (T{P)~(Q~T)UO T, P, Q, U c T~P~Q~UUO T, P, Q, V c (T~Q)~(V|P)UO T, P, Q, W c (T{P)~(Q{W)UO T, P, Q, X c T~(P{Q{X)UO T, P, R, R c T~(P{R)~RUO T, P, R, S c T~P~R~SUO T, P, R, T c (T|P)~(R~T)UO T, P, R, U c T~(R|P)~UUO T, P, R, V c (T{P)~(R{V)UO T, P, R, W c T~(P{R{W)UO T, P, R, X c (T~P)~(R{X)UO T, P, S, Q c T~(P{Q)~SUO T, P, S, R c T~P~S~RUO T, P, S, S c T~(S|P)~SUO T, P, S, U c (T{P{S)~UUO T, P, S, V c T~(P{S{V)UO T, P, S, W c (T~P)~(S{W)UO T, P, S, X c (T{P{X)~SUO T, P, T, Q c (T{P)~(T~Q)UO T, P, T, R c (T|P)~(T~R)UO T, P, T, T c (T{P)~(T{T)UO T, P, T, U c (T{P~T)~UUO T, P, T, V c (T~P)~(T{V)UO T, P, T, W c (T|P{W)~TUO T, P, U, P c T~(P{P)~UUO T, P, U, Q c T~P~U~QUO T, P, U, R c (T~U)~(R|P)UO T, P, U, S c (T{P)~(U{S)UO T, P, U, T c (T{P{U)~TUO T, P, U, U c (T|P{U)~UUO T, P, U, V c T~(U|P{V)UO T, P, U, X c T{P{U~XUO T, P, V, Q c T~(V|P)~QUO T, P, V, R c (T{P)~(V{R)UO T, P, V, S c T~(P{V{S)UO T, P, V, T c (T{P~V)~TUO T, P, V, U c T~(V|P{U)UO T, P, V, W c T|P{V~WUO T, P, W, Q c (T{P)~(W{Q)UO T, P, W, R c T~(P{W{R)UO T, P, W, S c (T~P)~(W{S)UO T, P, W, T c (T|P{W)~TUO T, P, W, V c T|P{W~VUO T, P, W, W c P{W~W|TUO T, P, X, P c (T{P)~(X{P)UO T, P, X, Q c T~(P{X{Q)UO T, P, X, R c (T~P)~(X{R)UO T, P, X, S c (T{P{X)~SUO T, P, X, U c T{P{X~UUO T, Q, O, U c (T~Q{O)~UUO T, Q, P, S c T~(Q{P)~SUO T, Q, P, T c (T~Q)~(P{T)UO T, Q, P, U c T~Q~P~UUO T, Q, P, V c (T~Q)~(V|P)UO T, Q, P, W c (T{P)~(Q{W)UO T, Q, P, X c T~(Q{P{X)UO T, Q, Q, R c T~(Q{Q)~RUO T, Q, Q, S c (T~Q)~(Q{S)UO T, Q, Q, T c (T~Q{Q)~TUO T, Q, Q, V c T~(Q~V|Q)UO T, Q, Q, W c T~(Q{Q{W)UO T, Q, R, Q c T~Q~R~QUO T, Q, R, R c (T~Q)~(R{R)UO T, Q, R, T c (T{T)~(Q~R)UO T, Q, R, U c (T{Q{R)~UUO T, Q, R, V c T~(Q{R{V)UO T, Q, R, W c TQ~R~WUO T, Q, R, X c (T{Q)~X|RUO T, Q, S, P c T~(Q{P)~SUO T, Q, S, Q c T~(Q{S)~QUO T, Q, S, S c T~(Q~S{S)UO T, Q, S, T c (T|Q)~(S~T)UO T, Q, S, U c T~(Q{S{U)UO T, Q, S, W c (T{Q{W)~SUO T, Q, T, P c (T~Q)~(T{P)UO T, Q, T, Q c T~(Q{T~Q)UO T, Q, T, R c (T{T)~(Q~R)UO T, Q, T, S c (T{Q~T)~SUO T, Q, T, T c (T{Q{T)~TUO T, Q, T, V c (T~V|T)~QUO T, Q, T, W c (TQ{T)~WUO T, Q, T, X c T{(Q{X)~TUO T, Q, U, O c T~Q~U{OUO T, Q, U, P c T~Q~U~PUO T, Q, U, R c (T{Q{R)~UUO T, Q, U, S c T~(Q{U{S)UO T, Q, U, V c (T|Q{V)~UUO T, Q, U, W c T~(U|Q{W)UO T, Q, U, X c T~(Q~X|U)UO T, Q, V, P c (T~Q)~(V|P)UO T, Q, V, Q c T~(Q~V|Q)UO T, Q, V, R c T~(Q{V{R)UO T, Q, V, T c (T~V|T)~QUO T, Q, V, U c (T|Q{V)~UUO T, Q, V, V c T~(V|Q{V)UO T, Q, V, X c Q{V~X|TUO T, Q, W, P c (T{P)~(Q{W)UO T, Q, W, Q c T~(Q{W{Q)UO T, Q, W, R c TQ~W~RUO T, Q, W, S c (T{Q{W)~SUO T, Q, W, T c (TQ{T)~WUO T, Q, W, U c T~(W|Q{U)UO T, Q, W, W c T~(WQ{W)UO T, Q, X, P c T~(Q{X{P)UO T, Q, X, R c (T{Q)~X|RUO T, Q, X, T c T{(Q{X)~TUO T, Q, X, U c T~(Q~X|U)UO T, Q, X, V c Q{X~V|TUO T, R, O, S c (T~R{O)~SUO T, R, O, X c T~(R{O{X)UO T, R, P, R c T~(R{P)~RUO T, R, P, S c T~R~P~SUO T, R, P, T c (T~R)~(T|P)UO T, R, P, U c T~(R|P)~UUO T, R, P, V c (T{P)~(R{V)UO T, R, P, W c T~(R{P{W)UO T, R, P, X c T~(R{P~X)UO T, R, Q, Q c (T~R)~(Q{Q)UO T, R, Q, R c T~(R{R)~QUO T, R, Q, T c (T{T)~(R~Q)UO T, R, Q, U c (T{R{Q)~UUO T, R, Q, V c T~(R{Q{V)UO T, R, Q, W c T~RQ~WUO T, R, Q, X c (T{Q)~X|RUO T, R, R, P c (T~R)~(R{P)UO T, R, R, Q c T~(R{R)~QUO T, R, R, R c T~(R{R~R)UO T, R, R, T c (T~R|R)~TUO T, R, R, U c T~(R{R{U)UO T, R, R, V c (T~R)~(V|R)UO T, R, S, O c T~R~S{OUO T, R, S, P c T~R~S~PUO T, R, S, T c (T{R{S)~TUO T, R, S, U c (T~S)~(U|R)UO T, R, S, V c (T{R{V)~SUO T, R, S, W c (T{R)~W|SUO T, R, S, X c TR~S~XUO T, R, T, P c (T~R)~(T|P)UO T, R, T, Q c (T{T)~(R~Q)UO T, R, T, R c (T{R~T)~RUO T, R, T, S c T~(R{T{S)UO T, R, T, T c (T~T|T)~RUO T, R, T, U c (T|R)~(T~U)UO T, R, T, W c T{(R{W)~TUO T, R, T, X c T~R{T~XUO T, R, U, P c T~(R|P)~UUO T, R, U, Q c (T~R)~(U|Q)UO T, R, U, R c T~(R{U{R)UO T, R, U, S c T~(U|R)~SUO T, R, U, T c (T|R)~(U~T)UO T, R, U, U c T~(R~U|U)UO T, R, U, W c (T|R{W)~UUO T, R, U, X c T~(U|R{X)UO T, R, V, P c (T{P)~(R{V)UO T, R, V, Q c T~(R{V{Q)UO T, R, V, R c (T~R)~(V|R)UO T, R, V, S c (T{R{V)~SUO T, R, V, W c T~(V|R{W)UO T, R, V, X c T~(R~V|X)UO T, R, W, P c T~(R{W{P)UO T, R, W, Q c T~R~WQUO T, R, W, S c (T{R)~W|SUO T, R, W, T c T{(R{W)~TUO T, R, W, U c (T|R{W)~UUO T, R, W, V c T~(W|R{V)UO T, R, X, O c T~(R{X){OUO T, R, X, P c T~(R{X)~PUO T, R, X, Q c T~(X|R)~QUO T, R, X, S c TR~X~SUO T, R, X, T c T~R{X~TUO T, R, X, U c T~(X|R{U)UO T, R, X, V c T~(R~V|X)UO T, R, X, X c T~(XR{X)UO T, S, O, R c (T~S{O)~RUO T, S, O, W c T~(S{O{W)UO T, S, P, Q c (T~S)~(P{Q)UO T, S, P, R c T~S~P~RUO T, S, P, S c T~(S|P)~SUO T, S, P, U c (T{S{P)~UUO T, S, P, V c T~(S{P{V)UO T, S, P, W c T~(S{P~W)UO T, S, P, X c T~(S|P{X)UO T, S, Q, P c (T~S)~(Q{P)UO T, S, Q, Q c T~(S{Q)~QUO T, S, Q, S c T~(S{Q~S)UO T, S, Q, T c (T~S)~(T|Q)UO T, S, Q, U c T~(S{Q{U)UO T, S, Q, W c (T{Q{W)~SUO T, S, R, O c T~S~R{OUO T, S, R, P c T~S~R~PUO T, S, R, T c (T{S{R)~TUO T, S, R, U c (T~S)~(U|R)UO T, S, R, V c (T{S)~V|RUO T, S, R, W c (T{R)~W|SUO T, S, R, X c T~SR~XUO T, S, S, P c (T~S)~(S|P)UO T, S, S, Q c T~(S{S~Q)UO T, S, S, S c T~(S{S{S)UO T, S, S, T c (T~S|T)~SUO T, S, S, U c (T{S{U)~SUO T, S, S, V c (T~S)~(V|S)UO T, S, S, X c (T{X)~S{SUO T, S, T, Q c (T~S)~(T|Q)UO T, S, T, R c T~(S{T{R)UO T, S, T, S c (T~S|T)~SUO T, S, T, T c (T{T{T)~SUO T, S, T, V c T{(S{V)~TUO T, S, T, W c T~S{T~WUO T, S, T, X c T~(S{X)|TUO T, S, U, P c (T{S{P)~UUO T, S, U, Q c T~(S{U{Q)UO T, S, U, R c (T~S)~(U|R)UO T, S, U, S c (T{S{U)~SUO T, S, U, U c (T{S)~U{UUO T, S, U, W c TS~U~WUO T, S, U, X c (T|S{X)~UUO T, S, V, P c T~(S{V{P)UO T, S, V, R c (T{S)~V|RUO T, S, V, S c (T~S)~(V|S)UO T, S, V, T c T{(S{V)~TUO T, S, V, X c T~(V|S{X)UO T, S, W, O c T~(S{W){OUO T, S, W, P c T~(S{W)~PUO T, S, W, Q c (T{W{Q)~SUO T, S, W, R c T~(W|S)~RUO T, S, W, T c T~S{W~TUO T, S, W, U c TS~W~UUO T, S, W, W c (T{W)~S{WUO T, S, X, P c T~(S{X|P)UO T, S, X, R c T~S~XRUO T, S, X, S c (T{X)~S{SUO T, S, X, T c T~(S{X)|TUO T, S, X, U c (T|S{X)~UUO T, S, X, V c T~(X|S{V)UO T, T, O, U c (T{T{O)~UUO T, T, O, V c T~(T{O{V)UO T, T, P, Q c T~(T{P)~QUO T, T, P, R c T~(T|P)~RUO T, T, P, T c (T{T)~(P{T)UO T, T, P, U c (T{T)~(P~U)UO T, T, P, V c T~(T{P~V)UO T, T, P, W c T~(T|P{W)UO T, T, Q, P c T~(T{P)~QUO T, T, Q, Q c T~(T~Q{Q)UO T, T, Q, R c (T{T)~(Q~R)UO T, T, Q, S c (T{T)~(Q{S)UO T, T, Q, T c (T{T{Q)~TUO T, T, Q, V c (T~V|T)~QUO T, T, Q, W c (T{TQ)~WUO T, T, Q, X c T{T~(Q{X)UO T, T, R, P c T~(T|P)~RUO T, T, R, Q c (T{T)~(R~Q)UO T, T, R, R c (T{T)~(R{R)UO T, T, R, S c T~(T{R{S)UO T, T, R, T c (T~T|T)~RUO T, T, R, U c T~(T|R)~UUO T, T, R, W c T{T~(R{W)UO T, T, R, X c (T{TR)~XUO T, T, S, Q c (T{T)~(S{Q)UO T, T, S, R c T~(T{S{R)UO T, T, S, S c (T~S|T)~SUO T, T, S, T c (T{T{T)~SUO T, T, S, V c T{T~(S{V)UO T, T, S, W c T~(T~S|W)UO T, T, S, X c T~(S{X)|TUO T, T, T, P c (T{T)~(T{P)UO T, T, T, Q c (T{T~T)~QUO T, T, T, R c (T~T|T)~RUO T, T, T, S c (T{T{T)~SUO T, T, T, U c T{T~(T{U)UO T, T, T, V c T~T{T~VUO T, T, T, W c T~(T{W)|TUO T, T, U, O c (T{T)~(U{O)UO T, T, U, P c (T{T)~(U~P)UO T, T, U, R c T~(T|R)~UUO T, T, U, T c T{(T{U)~TUO T, T, U, U c T~U{T~UUO T, T, U, V c T~(U{V)|TUO T, T, U, X c (TT{X)~UUO T, T, V, O c T~(T{V){OUO T, T, V, P c (T{T)~(V|P)UO T, T, V, Q c (T~V|T)~QUO T, T, V, S c T{T~(V{S)UO T, T, V, T c T~T{V~TUO T, T, V, U c T~(V|T)~UUO T, T, W, P c T~(T{W|P)UO T, T, W, Q c (T{T)~(W|Q)UO T, T, W, R c T{T~(W{R)UO T, T, W, S c T~(T~S|W)UO T, T, W, T c T~(T{W)|TUO T, T, W, X c T~(W|T{X)UO T, T, X, Q c T{T~(X{Q)UO T, T, X, R c (T{T)~(X|R)UO T, T, X, S c T~(X{S)|TUO T, T, X, U c (TT{X)~UUO T, T, X, W c T~(X|T{W)UO T, U, O, Q c (T~U{O)~QUO T, U, O, T c (T{O{T)~UUO T, U, O, U c T~(U{O{U)UO T, U, P, P c (T~U)~(P{P)UO T, U, P, Q c T~U~P~QUO T, U, P, R c (T~U)~(R|P)UO T, U, P, S c (T{P)~(U{S)UO T, U, P, T c (T{U{P)~TUO T, U, P, U c (T{U|P)~UUO T, U, P, V c T~(U|P{V)UO T, U, P, X c T{U~X{PUO T, U, Q, O c T~U~Q{OUO T, U, Q, P c T~U~Q~PUO T, U, Q, R c T~(U{Q~R)UO T, U, Q, S c T~(U{Q{S)UO T, U, Q, V c (T|Q{V)~UUO T, U, Q, W c T~(U|Q{W)UO T, U, Q, X c T~(UQ{X)UO T, U, R, P c (T~U)~(R|P)UO T, U, R, Q c T~(U{R~Q)UO T, U, R, R c T~(U{R{R)UO T, U, R, S c T~(U|R)~SUO T, U, R, T c (T~U)~(T|R)UO T, U, R, U c T~(U~R|U)UO T, U, R, W c (T|R{W)~UUO T, U, R, X c T~(U|R{X)UO T, U, S, P c (T{S{P)~UUO T, U, S, Q c T~(U{S{Q)UO T, U, S, R c T~(U|R)~SUO T, U, S, S c (T{U{S)~SUO T, U, S, U c T~(U|S)~UUO T, U, S, W c T~US~WUO T, U, S, X c (T|S{X)~UUO T, U, T, O c (T{T)~(U{O)UO T, U, T, P c T~(U{T{P)UO T, U, T, R c (T~U)~(T|R)UO T, U, T, T c T{(U{T)~TUO T, U, T, U c T~U{T~UUO T, U, T, V c T~(U{V)|TUO T, U, T, X c (TT{X)~UUO T, U, U, O c T~(U{U){OUO T, U, U, P c T~(U{U)~PUO T, U, U, R c T~U~URUO T, U, U, S c (T~U)~(U|S)UO T, U, U, T c T~U{U~TUO T, U, U, U c (T{U)~U|UUO T, U, U, W c (T~U)~(W|U)UO T, U, U, X c (U|T{X)~UUO T, U, V, P c T~(U{V|P)UO T, U, V, Q c (T{V|Q)~UUO T, U, V, T c T~(U{V)|TUO T, U, V, V c T{U{V~VUO T, U, V, W c T{U~W{VUO T, U, V, X c (T~U)~(X|V)UO T, U, W, Q c T~(U{W|Q)UO T, U, W, R c (T{W|R)~UUO T, U, W, S c T~U~WSUO T, U, W, U c (T~U)~(W|U)UO T, U, W, V c T{U~W{VUO T, U, W, X c TU~W~XUO T, U, X, P c T{U~X{PUO T, U, X, Q c T~(UQ{X)UO T, U, X, R c (T{U{X)~RUO T, U, X, S c T~(X|U)~SUO T, U, X, T c (TT{X)~UUO T, U, X, U c (U|T{X)~UUO T, U, X, V c (T~U)~(X|V)UO T, U, X, W c TU~X~WUO T, U, X, X c T~X{U{XUO T, V, O, T c (T{V{O)~TUO T, V, P, Q c T~(V|P)~QUO T, V, P, R c (T{P)~(V{R)UO T, V, P, S c (T{V)~(P{S)UO T, V, P, T c (T{V)~(P~T)UO T, V, P, U c T~(V|P{U)UO T, V, P, W c T{V~W|PUO T, V, Q, P c T~(V|P)~QUO T, V, Q, Q c T~(V~Q|Q)UO T, V, Q, R c (T{V)~(Q{R)UO T, V, Q, T c (T~V|T)~QUO T, V, Q, U c (T{V|Q)~UUO T, V, Q, V c T~(V|Q{V)UO T, V, Q, X c V~X|T{QUO T, V, R, P c (T{P)~(V{R)UO T, V, R, Q c (T{V)~(R{Q)UO T, V, R, R c T~(V|R)~RUO T, V, R, S c (T{V{R)~SUO T, V, R, W c T~(V|R{W)UO T, V, R, X c T~(V~R|X)UO T, V, S, P c (T{V)~(S{P)UO T, V, S, R c (T{V{R)~SUO T, V, S, S c T~(V|S)~SUO T, V, S, T c T{(V{S)~TUO T, V, S, X c T~(V|S{X)UO T, V, T, O c (T{V)~(T{O)UO T, V, T, P c (T{V)~(T~P)UO T, V, T, Q c (T~V|T)~QUO T, V, T, S c T{(V{S)~TUO T, V, T, T c T~V{T~TUO T, V, T, U c T~(V|T)~UUO T, V, U, P c (T{V)~(U|P)UO T, V, U, Q c (T{V|Q)~UUO T, V, U, T c T~(V{U)|TUO T, V, U, V c T{V~V{UUO T, V, U, W c T{V{U~WUO T, V, U, X c (T~U)~(X|V)UO T, V, V, Q c (T{V)~(V|Q)UO T, V, V, U c T{V~V{UUO T, V, W, P c T{V~W|PUO T, V, W, R c (T{V{W)~RUO T, V, W, U c T{V{W~UUO T, V, W, X c T{V~X|WUO T, V, X, Q c V~X|T{QUO T, V, X, R c T~(V~R|X)UO T, V, X, S c (T{V)~(X|S)UO T, V, X, U c T~(X|V)~UUO T, V, X, W c T{V~X|WUO T, W, O, S c T~(W{O{S)UO T, W, P, Q c (T{P)~(W{Q)UO T, W, P, R c T~(W{P{R)UO T, W, P, S c T~(W{P~S)UO T, W, P, T c (T{W|P)~TUO T, W, P, V c T{W~V|PUO T, W, P, W c W~W|T{PUO T, W, Q, P c (T{P)~(W{Q)UO T, W, Q, Q c T~(W{Q{Q)UO T, W, Q, R c T~WQ~RUO T, W, Q, S c (T{W{Q)~SUO T, W, Q, T c (TQ{T)~WUO T, W, Q, U c T~(W|Q{U)UO T, W, Q, W c T~(WQ{W)UO T, W, R, P c T~(W{R{P)UO T, W, R, Q c T~W~RQUO T, W, R, S c T~(W|S)~RUO T, W, R, T c T{(W{R)~TUO T, W, R, U c (T{W|R)~UUO T, W, R, V c T~(W|R{V)UO T, W, S, O c T~(W{S){OUO T, W, S, P c T~(W{S)~PUO T, W, S, Q c (T{W{Q)~SUO T, W, S, R c T~(W|S)~RUO T, W, S, T c T~W{S~TUO T, W, S, U c T~WS~UUO T, W, S, W c (T{W)~S{WUO T, W, T, P c T~(W{T|P)UO T, W, T, Q c (T{T)~(W|Q)UO T, W, T, R c T{(W{R)~TUO T, W, T, S c T~W{T~SUO T, W, T, T c (T{W)~T|TUO T, W, T, X c T~(W|T{X)UO T, W, U, Q c T~(W{U|Q)UO T, W, U, R c (T{W|R)~UUO T, W, U, S c T~W~USUO T, W, U, U c T~(W|U)~UUO T, W, U, V c T{W~U{VUO T, W, U, X c T~WU~XUO T, W, V, P c T{W~V|PUO T, W, V, R c (T{W{V)~RUO T, W, V, U c T{W~U{VUO T, W, V, X c T{V~X|WUO T, W, W, P c W~W|T{PUO T, W, W, Q c T~(W{WQ)UO T, W, W, S c T~(W{W|S)UO T, W, W, X c T{W~W|XUO T, W, X, T c T~(W{X|T)UO T, W, X, U c T~W~XUUO T, W, X, V c T~X{W{VUO T, W, X, W c T{W~W|XUO T, X, O, R c T~(X{O{R)UO T, X, P, P c (T{P)~(X{P)UO T, X, P, Q c T~(X{P{Q)UO T, X, P, R c T~(X{P~R)UO T, X, P, S c (T{X{P)~SUO T, X, P, U c T{X~U{PUO T, X, Q, P c T~(X{Q{P)UO T, X, Q, R c T~(X|R)~QUO T, X, Q, T c T{(X{Q)~TUO T, X, Q, U c T~(X~Q|U)UO T, X, Q, V c X~V|T{QUO T, X, R, O c T~(X{R){OUO T, X, R, P c T~(X{R)~PUO T, X, R, Q c T~(X|R)~QUO T, X, R, S c T~XR~SUO T, X, R, T c T~X{R~TUO T, X, R, U c T~(X|R{U)UO T, X, R, V c T~(R~V|X)UO T, X, R, X c T~(XR{X)UO T, X, S, P c T~(X{S|P)UO T, X, S, R c T~X~SRUO T, X, S, S c (T{X)~S{SUO T, X, S, T c T~(X{S)|TUO T, X, S, U c (T{X|S)~UUO T, X, S, V c T~(X|S{V)UO T, X, T, Q c T~(X{T|Q)UO T, X, T, R c T~X{T~RUO T, X, T, S c T~(X{S)|TUO T, X, T, U c (TT{X)~UUO T, X, T, W c T~(X|T{W)UO T, X, U, P c T{X~U{PUO T, X, U, Q c T~(X{UQ)UO T, X, U, R c (T{X{U)~RUO T, X, U, S c T~(X|U)~SUO T, X, U, T c (TT{X)~UUO T, X, U, U c (X|T{U)~UUO T, X, U, V c T~(X|V)~UUO T, X, U, W c T~XU~WUO T, X, U, X c T~X{U{XUO T, X, V, Q c X~V|T{QUO T, X, V, R c T~(V~R|X)UO T, X, V, S c T~(X{V|S)UO T, X, V, U c T~(X|V)~UUO T, X, V, W c T{X~V|WUO T, X, W, T c T~(X{W|T)UO T, X, W, U c T~X~WUUO T, X, W, V c T~X{W{VUO T, X, W, W c T{W~W|XUO T, X, X, R c T~(X{XR)UO T, X, X, U c T~X{X{UUO U, O, P, X c (U{O)~(P{X)UO U, O, Q, T c (U{O)~(Q~T)UO U, O, Q, W c (U{O)~(Q{W)UO U, O, R, V c (U{O)~(R{V)UO U, O, S, U c (U{O{S)~UUO U, O, S, X c (U{O{X)~SUO U, O, T, Q c (U{O)~(T~Q)UO U, O, T, T c (U{O)~(T{T)UO U, O, T, U c (U{O{U)~TUO U, O, U, S c (U{O)~(U{S)UO U, O, U, T c (U{O{U)~TUO U, O, U, X c U{O{U~XUO U, O, V, R c (U{O)~(V{R)UO U, O, W, Q c (U{O)~(W{Q)UO U, O, X, P c (U{O)~(X{P)UO U, O, X, S c (U{O{X)~SUO U, O, X, U c U{O{X~UUO U, P, O, X c U~(P{O{X)UO U, P, P, T c U~(P{P)~TUO U, P, P, W c U~(P{P{W)UO U, P, P, X c U~(P{P~X)UO U, P, Q, S c U~(P{S)~QUO U, P, Q, T c U~P~Q~TUO U, P, Q, U c (U|P)~(Q~U)UO U, P, Q, V c U~(P{Q{V)UO U, P, Q, W c (U~P)~(Q{W)UO U, P, Q, X c U~(Q|P{X)UO U, P, R, R c U~(P{R~R)UO U, P, R, S c (U|P)~(R~S)UO U, P, R, T c U~(R|P)~TUO U, P, R, U c (U{P{R)~UUO U, P, R, V c (U~P)~(R{V)UO U, P, R, W c U~(R|P{W)UO U, P, R, X c (U|P)~(R{X)UO U, P, S, Q c U~(P{S)~QUO U, P, S, R c (U|P)~(S~R)UO U, P, S, T c U~(P{S{T)UO U, P, S, U c (U{P~S)~UUO U, P, S, V c U~(S|P{V)UO U, P, S, W c (U|P)~(S{W)UO U, P, S, X c (U{P~X)~SUO U, P, T, P c U~(P{P)~TUO U, P, T, Q c U~P~T~QUO U, P, T, R c (U~T)~(R|P)UO U, P, T, S c U~(P{T{S)UO U, P, T, T c (U{P{T)~TUO U, P, T, U c (U|P{T)~UUO U, P, T, V c (U|P)~(T{V)UO U, P, T, X c U{(P{T)~XUO U, P, U, Q c (U|P)~(U~Q)UO U, P, U, R c U~(P{U{R)UO U, P, U, S c (U~P)~(U{S)UO U, P, U, T c (U{P~U)~TUO U, P, U, U c (U|P)~(U{U)UO U, P, U, W c U{(P{W)~UUO U, P, U, X c U{P~U~XUO U, P, V, Q c U~(P{V{Q)UO U, P, V, R c (U~P)~(V{R)UO U, P, V, S c U~(V|P{S)UO U, P, V, T c (U|P{V)~TUO U, P, V, X c U{(V|P)~XUO U, P, W, P c U~(P{W{P)UO U, P, W, Q c (U~P)~(W{Q)UO U, P, W, R c U~(W|P{R)UO U, P, W, S c (U{P{W)~SUO U, P, W, U c U{(P{W)~UUO U, P, X, O c U~(P{X){OUO U, P, X, P c U~(P{X)~PUO U, P, X, Q c U~(X|P{Q)UO U, P, X, R c (U{P)~X|RUO U, P, X, S c (U{P~X)~SUO U, P, X, T c U{(P{T)~XUO U, P, X, U c U{P~X~UUO U, P, X, V c U~X|P{VUO U, Q, O, T c (U~Q{O)~TUO U, Q, O, W c U~(Q{O{W)UO U, Q, P, S c (U~Q)~(P{S)UO U, Q, P, T c U~Q~P~TUO U, Q, P, U c (U~Q)~(U|P)UO U, Q, P, V c U~(Q{P{V)UO U, Q, P, W c U~(Q{P~W)UO U, Q, P, X c U~(Q|P{X)UO U, Q, Q, R c (U~Q)~(Q{R)UO U, Q, Q, S c U~(Q{Q~S)UO U, Q, Q, U c (U{Q{Q)~UUO U, Q, Q, V c (U~Q)~(V|Q)UO U, Q, Q, X c U~(QQ{X)UO U, Q, R, Q c U~(Q{R)~QUO U, Q, R, R c (U~R{Q)~RUO U, Q, R, S c (U~Q{R)~SUO U, Q, R, T c (U{Q~R)~TUO U, Q, R, U c (U{U)~(Q{R)UO U, Q, R, V c (U{Q~V)~RUO U, Q, R, W c (U~Q{W)~RUO U, Q, R, X c U{Q~R~XUO U, Q, S, P c (U~Q)~(S{P)UO U, Q, S, Q c U~(Q{S~Q)UO U, Q, S, R c (U~Q{R)~SUO U, Q, S, S c U~(Q{S{S)UO U, Q, S, T c (U{Q{S)~TUO U, Q, S, U c (U{S~U)~QUO U, Q, S, V c (U{Q{V)~SUO U, Q, S, W c (U{Q)~W|SUO U, Q, S, X c U{(Q{S)~XUO U, Q, T, O c U~Q~T{OUO U, Q, T, P c U~Q~T~PUO U, Q, T, R c (U|Q)~(T~R)UO U, Q, T, S c UQ~T~SUO U, Q, T, V c U~(T|Q{V)UO U, Q, T, W c (U|Q{W)~TUO U, Q, T, X c (UQ{X)~TUO U, Q, U, P c (U~Q)~(U|P)UO U, Q, U, Q c U~(Q{U{Q)UO U, Q, U, R c (U{U)~(Q{R)UO U, Q, U, S c (U{U~S)~QUO U, Q, U, U c (U|Q{U)~UUO U, Q, U, V c U{(Q{V)~UUO U, Q, U, W c U~Q{U~WUO U, Q, U, X c (U|Q)~(U{X)UO U, Q, V, P c U~(Q{V{P)UO U, Q, V, Q c (U~Q)~(V|Q)UO U, Q, V, R c (U{Q~V)~RUO U, Q, V, S c (U{Q{V)~SUO U, Q, V, T c U~(V|Q{T)UO U, Q, V, U c U{(Q{V)~UUO U, Q, V, W c U|Q{V~WUO U, Q, V, X c U~V{Q~XUO U, Q, W, O c U~(Q{W){OUO U, Q, W, P c U~(Q{W)~PUO U, Q, W, R c (U~Q{W)~RUO U, Q, W, S c (U{Q)~W|SUO U, Q, W, T c (U|Q{W)~TUO U, Q, W, U c U~Q{W~UUO U, Q, W, V c U|Q{W~VUO U, Q, W, W c Q{W~W|UUO U, Q, W, X c U~(Q~X|W)UO U, Q, X, P c U~(Q{X|P)UO U, Q, X, Q c U~(QQ{X)UO U, Q, X, R c U{Q~X~RUO U, Q, X, S c (U~Q)~(X|S)UO U, Q, X, T c (UQ{X)~TUO U, Q, X, U c (U|Q)~(X{U)UO U, Q, X, V c U~V{Q~XUO U, Q, X, W c U~(Q~X|W)UO U, R, O, V c U~(R{O{V)UO U, R, P, R c U~(R~R{P)UO U, R, P, S c (U|P)~(R~S)UO U, R, P, T c U~(R|P)~TUO U, R, P, U c (U{R{P)~UUO U, R, P, V c U~(R{P~V)UO U, R, P, W c U~(R|P{W)UO U, R, P, X c (U|P)~(R{X)UO U, R, Q, Q c U~(R{Q)~QUO U, R, Q, R c (U~R{Q)~RUO U, R, Q, S c U~(R~Q{S)UO U, R, Q, T c (U{R~Q)~TUO U, R, Q, U c (U{U)~(R{Q)UO U, R, Q, V c (U{Q~V)~RUO U, R, Q, W c (U{RQ)~WUO U, R, Q, X c U{R~Q~XUO U, R, R, P c U~(R~R{P)UO U, R, R, Q c (U~R{Q)~RUO U, R, R, S c (U{R~R)~SUO U, R, R, T c (U{R{R)~TUO U, R, R, U c U{R~R~UUO U, R, R, V c (U{R)~V|RUO U, R, R, X c U{(R{R)~XUO U, R, S, P c (U|P)~(R~S)UO U, R, S, Q c U~(R~S|Q)UO U, R, S, R c U~(R{S{R)UO U, R, S, S c (U~S|S)~RUO U, R, S, T c (U|R)~(S~T)UO U, R, S, U c (U{R{U)~SUO U, R, S, V c (R~V|U)~SUO U, R, S, W c U~W{R~SUO U, R, S, X c U~(S|R{X)UO U, R, T, P c U~(R|P)~TUO U, R, T, Q c U~(R{T{Q)UO U, R, T, R c (U{R{R)~TUO U, R, T, S c (U|R)~(T~S)UO U, R, T, T c U~(R~T|T)UO U, R, T, U c UR~T~UUO U, R, T, W c U~(T|R{W)UO U, R, T, X c (U|R{X)~TUO U, R, U, P c U~(R{U{P)UO U, R, U, Q c (U{U)~(R{Q)UO U, R, U, R c U{R~U~RUO U, R, U, S c (U{R{U)~SUO U, R, U, T c (U~R|U)~TUO U, R, U, U c U{(R{U)~UUO U, R, U, V c U~R{U~VUO U, R, U, W c U~(R~U|W)UO U, R, V, O c U~(R{V){OUO U, R, V, P c U~(R{V)~PUO U, R, V, Q c (U{V~Q)~RUO U, R, V, R c (U{R)~V|RUO U, R, V, S c (R~V|U)~SUO U, R, V, U c (U|R{V)~UUO U, R, V, V c (U{V{V)~RUO U, R, V, W c (RU{V)~WUO U, R, V, X c U~(V{XR)UO U, R, W, P c U~(R{W|P)UO U, R, W, Q c (U{R~W)~QUO U, R, W, S c U~W{R~SUO U, R, W, T c U~(W|R{T)UO U, R, W, U c U~(R{W)|UUO U, R, W, V c (RU{V)~WUO U, R, W, W c (W|RU)~WUO U, R, W, X c U~W{R{XUO U, R, X, P c (U{X)~(R{P)UO U, R, X, Q c U{R~X~QUO U, R, X, R c U{(R{R)~XUO U, R, X, S c U~(X|R{S)UO U, R, X, T c (U|R{X)~TUO U, R, X, V c U~(XR{V)UO U, R, X, W c U~W{R{XUO U, R, X, X c U{R~(X{X)UO U, S, O, U c (U{S{O)~UUO U, S, O, X c (U{O{X)~SUO U, S, P, Q c U~(S{P)~QUO U, S, P, R c (U|P)~(S~R)UO U, S, P, T c (U{S)~(P{T)UO U, S, P, U c (U{S)~(P~U)UO U, S, P, V c U~(S|P{V)UO U, S, P, W c (U|P)~(S{W)UO U, S, P, X c (U{P~X)~SUO U, S, Q, P c U~(S{P)~QUO U, S, Q, Q c U~(S~Q{Q)UO U, S, Q, R c (U{S)~(Q~R)UO U, S, Q, S c (U{S)~(Q{S)UO U, S, Q, T c (U{S{Q)~TUO U, S, Q, U c (U{S~U)~QUO U, S, Q, V c (U{Q{V)~SUO U, S, Q, W c U~(S|Q{W)UO U, S, Q, X c U{(S{Q)~XUO U, S, R, P c (U|P)~(S~R)UO U, S, R, Q c (U{S)~(R~Q)UO U, S, R, R c (U{S)~(R{R)UO U, S, R, S c (U~S|S)~RUO U, S, R, T c (U|R)~(S~T)UO U, S, R, U c (U{R{U)~SUO U, S, R, V c S~(R~V|U)UO U, S, R, W c U~W{S~RUO U, S, R, X c U~(S|R{X)UO U, S, S, Q c (U{S)~(S{Q)UO U, S, S, R c (U~S|S)~RUO U, S, S, T c (U{S{T)~SUO U, S, S, U c U~(S~S|U)UO U, S, S, W c (U{W)~S{SUO U, S, S, X c U~S{S~XUO U, S, T, P c (U{S)~(T{P)UO U, S, T, Q c U~S~TQUO U, S, T, R c (U|R)~(S~T)UO U, S, T, S c (U{S{T)~SUO U, S, T, U c U{(S{T)~UUO U, S, T, W c US~T~WUO U, S, T, X c U~(T|S{X)UO U, S, U, O c (U{S)~(U{O)UO U, S, U, P c (U{S)~(U~P)UO U, S, U, Q c (U{S~U)~QUO U, S, U, R c (U{U{R)~SUO U, S, U, S c U~(S~S|U)UO U, S, U, T c (U|S)~(U~T)UO U, S, U, U c U~S{U~UUO U, S, U, V c U~(S{V)|UUO U, S, U, W c (US{U)~WUO U, S, U, X c (U{SU)~XUO U, S, V, P c (U{S)~(V|P)UO U, S, V, Q c (U{V{Q)~SUO U, S, V, R c S~(V~R|U)UO U, S, V, U c U~(S{V)|UUO U, S, V, V c U~(V|S{V)UO U, S, V, W c (U{V)~S{WUO U, S, W, P c (U{W{P)~SUO U, S, W, Q c (U{S)~(W|Q)UO U, S, W, R c U~W{S~RUO U, S, W, S c (U{W)~S{SUO U, S, W, T c US~W~TUO U, S, W, U c (U|S{W)~UUO U, S, W, V c (U{V)~S{WUO U, S, W, W c U~W{S{WUO U, S, W, X c (U{X)~(W|S)UO U, S, X, O c (U{X)~(S{O)UO U, S, X, P c (U{X)~(S~P)UO U, S, X, Q c U{(S{Q)~XUO U, S, X, R c (U{S)~(X|R)UO U, S, X, S c U~S{X~SUO U, S, X, T c U~(X|S{T)UO U, S, X, U c (U{SU)~XUO U, S, X, W c (U{X)~(W|S)UO U, T, O, Q c (U~T{O)~QUO U, T, O, T c U~(T{O{T)UO U, T, O, U c (U{O{U)~TUO U, T, P, P c (U~T)~(P{P)UO U, T, P, Q c U~T~P~QUO U, T, P, R c (U~T)~(R|P)UO U, T, P, S c U~(T{P{S)UO U, T, P, T c (U{T{P)~TUO U, T, P, U c (U{T|P)~UUO U, T, P, V c (U|P)~(T{V)UO U, T, P, X c U{(T{P)~XUO U, T, Q, O c U~T~Q{OUO U, T, Q, P c U~T~Q~PUO U, T, Q, R c U~(T{Q{R)UO U, T, Q, S c U~TQ~SUO U, T, Q, V c U~(T|Q{V)UO U, T, Q, W c (U|Q{W)~TUO U, T, Q, X c (UQ{X)~TUO U, T, R, P c (U~T)~(R|P)UO U, T, R, Q c U~(T{R{Q)UO U, T, R, R c (U{R{R)~TUO U, T, R, S c (U|R)~(T~S)UO U, T, R, T c U~(T|R)~TUO U, T, R, U c U~TR~UUO U, T, R, W c U~(T|R{W)UO U, T, R, X c (U{T{X)~RUO U, T, S, P c U~(T{S{P)UO U, T, S, Q c (U~T)~(S|Q)UO U, T, S, R c (U|R)~(T~S)UO U, T, S, S c (U{T{S)~SUO U, T, S, U c U{(T{S)~UUO U, T, S, W c U~TS~WUO U, T, S, X c U~(T|S{X)UO U, T, T, O c U~(T{T){OUO U, T, T, P c U~(T{T)~PUO U, T, T, R c (U~T)~(T|R)UO U, T, T, T c (U{T)~T{TUO U, T, T, U c U~T{T~UUO U, T, T, V c (U~T)~(V|T)UO U, T, T, X c U~(TT{X)UO U, T, U, O c (U{U)~(T{O)UO U, T, U, P c U~(T{U|P)UO U, T, U, R c U~T~URUO U, T, U, S c (U~T)~(U|S)UO U, T, U, T c U~T{U~TUO U, T, U, U c (U{T)~U|UUO U, T, U, W c (U~T)~(W|U)UO U, T, U, X c (U|T{X)~UUO U, T, V, P c (U{V|P)~TUO U, T, V, Q c U~(T{V|Q)UO U, T, V, T c (U~T)~(V|T)UO U, T, V, V c U{T{V~VUO U, T, V, W c U~(V|T{W)UO U, T, V, X c (U~T)~(X|V)UO U, T, W, Q c (U{W|Q)~TUO U, T, W, R c U~(T{W|R)UO U, T, W, S c U~T~WSUO U, T, W, U c (U~T)~(W|U)UO U, T, W, V c U~W{T{VUO U, T, W, X c TU~W~XUO U, T, X, P c U{(T{P)~XUO U, T, X, Q c (UQ{X)~TUO U, T, X, R c (U{T{X)~RUO U, T, X, S c U~(T{X|S)UO U, T, X, T c U~(TT{X)UO U, T, X, U c (U|T{X)~UUO U, T, X, V c (U~T)~(X|V)UO U, T, X, W c TU~X~WUO U, T, X, X c U{T~X{XUO U, U, O, S c U~(U{O{S)UO U, U, O, T c (U{U{O)~TUO U, U, O, X c U{(U{O)~XUO U, U, P, Q c U~(U|P)~QUO U, U, P, R c U~(U{P{R)UO U, U, P, S c (U{U)~(P{S)UO U, U, P, T c (U{U)~(P~T)UO U, U, P, U c (U{U)~(U|P)UO U, U, P, W c U{U~(P{W)UO U, U, P, X c U{U~P~XUO U, U, Q, P c U~(U|P)~QUO U, U, Q, Q c U~(U{Q{Q)UO U, U, Q, R c (U{U)~(Q{R)UO U, U, Q, S c (U{U~S)~QUO U, U, Q, U c (U{U|Q)~UUO U, U, Q, V c U{U~(Q{V)UO U, U, Q, W c U~(U{WQ)UO U, U, Q, X c (U|Q)~(U{X)UO U, U, R, P c U~(U{R{P)UO U, U, R, Q c (U{U)~(R{Q)UO U, U, R, R c U{U~R~RUO U, U, R, S c (U{U{R)~SUO U, U, R, T c U~UR~TUO U, U, R, U c U{(U{R)~UUO U, U, R, V c U~(U|R{V)UO U, U, R, W c U~U{R~WUO U, U, S, O c U~(U{S){OUO U, U, S, P c (U{U)~(S{P)UO U, U, S, Q c (U{U~S)~QUO U, U, S, R c (U{U{R)~SUO U, U, S, S c U~(S~S|U)UO U, U, S, T c U{U~(S{T)UO U, U, S, U c U~U{S~UUO U, U, S, V c U~(S{V)|UUO U, U, S, W c (U{US)~WUO U, U, S, X c (U{U)~(X|S)UO U, U, T, O c (U{U)~(T{O)UO U, U, T, P c (U{U)~(T~P)UO U, U, T, R c U~U~TRUO U, U, T, S c U{U~(T{S)UO U, U, T, T c U~T{U~TUO U, U, T, U c U~(U{T)|UUO U, U, T, W c (U~T)~(W|U)UO U, U, T, X c U~(U|T{X)UO U, U, U, P c (U{U)~(U|P)UO U, U, U, Q c U~(U{U|Q)UO U, U, U, R c U{U~(U{R)UO U, U, U, S c U~U{U~SUO U, U, U, T c U~(U{T)|UUO U, U, U, W c U{U{U~WUO U, U, U, X c U~(UU{X)UO U, U, V, Q c U{U~(V{Q)UO U, U, V, R c U~(U{V|R)UO U, U, V, S c U~(V{S)|UUO U, U, V, X c U~(V|U{X)UO U, U, W, P c U{U~(W{P)UO U, U, W, Q c U~(U{WQ)UO U, U, W, R c (U{U{W)~RUO U, U, W, S c U~(U{W|S)UO U, U, W, T c U~(W|U)~TUO U, U, W, U c U{U{W~UUO U, U, W, W c U~(W|U{W)UO U, U, W, X c (U{XU)~WUO U, U, X, O c U{U~X{OUO U, U, X, P c U{U~X~PUO U, U, X, Q c (U{X)~(U|Q)UO U, U, X, S c (U{U)~(X|S)UO U, U, X, T c U~(U{X|T)UO U, U, X, U c (UU{X)~UUO U, U, X, V c U~(X|U{V)UO U, U, X, W c (U{XU)~WUO U, U, X, X c (U{UX)~XUO U, V, O, R c U~(V{O{R)UO U, V, P, Q c U~(V{P{Q)UO U, V, P, R c U~(V{P~R)UO U, V, P, S c U~(V|P{S)UO U, V, P, T c (U{V|P)~TUO U, V, P, X c U{(V|P)~XUO U, V, Q, P c U~(V{Q{P)UO U, V, Q, Q c U~(V|Q)~QUO U, V, Q, R c (U{V~Q)~RUO U, V, Q, S c (U{V{Q)~SUO U, V, Q, T c U~(V|Q{T)UO U, V, Q, U c U{(V{Q)~UUO U, V, Q, W c U{V~W|QUO U, V, Q, X c U~V{Q~XUO U, V, R, O c U~(V{R){OUO U, V, R, P c U~(V{R)~PUO U, V, R, Q c (U{V~Q)~RUO U, V, R, R c (U{R)~V|RUO U, V, R, S c (V~R|U)~SUO U, V, R, U c (U{V|R)~UUO U, V, R, V c (U{V{V)~RUO U, V, R, W c (V{RU)~WUO U, V, R, X c U~(V{XR)UO U, V, S, P c U~(V{S|P)UO U, V, S, Q c (U{V{Q)~SUO U, V, S, R c (V~R|U)~SUO U, V, S, U c U~(V{S)|UUO U, V, S, V c U~(V|S{V)UO U, V, S, W c (U{V)~S{WUO U, V, T, P c (U{V|P)~TUO U, V, T, Q c U~(V{T|Q)UO U, V, T, T c (U{V)~T|TUO U, V, T, V c U{V~V{TUO U, V, T, W c U~(V|T{W)UO U, V, T, X c (U~T)~(X|V)UO U, V, U, Q c U~(V{UQ)UO U, V, U, R c U~(V{U|R)UO U, V, U, S c U~(V{S)|UUO U, V, U, X c U~(V|U{X)UO U, V, V, R c (U{V{V)~RUO U, V, V, S c U~(V{V|S)UO U, V, V, T c U{V~V{TUO U, V, V, X c U~(VV{X)UO U, V, W, Q c U{V~W|QUO U, V, W, R c (V{RU)~WUO U, V, W, S c (U{V)~S{WUO U, V, W, T c U~(V{W|T)UO U, V, W, X c U~(W|V{X)UO U, V, X, P c U{(V|P)~XUO U, V, X, Q c U~V{X~QUO U, V, X, R c U~(V{XR)UO U, V, X, T c U~(X|V)~TUO U, V, X, U c U~(V{X|U)UO U, V, X, V c U~(VV{X)UO U, V, X, W c U~(X|V{W)UO U, V, X, X c U{V~X|XUO U, W, O, Q c U~(W{O{Q)UO U, W, P, P c U~(W{P{P)UO U, W, P, Q c U~(W{P~Q)UO U, W, P, R c U~(W|P{R)UO U, W, P, S c (U{W{P)~SUO U, W, P, U c U{(W{P)~UUO U, W, Q, O c U~(W{Q){OUO U, W, Q, P c U~(W{Q)~PUO U, W, Q, R c (U{W~R)~QUO U, W, Q, S c U~(W|Q{S)UO U, W, Q, T c (U{W|Q)~TUO U, W, Q, U c (U{WQ)~UUO U, W, Q, V c U{W~V|QUO U, W, Q, W c W~W|U{QUO U, W, Q, X c U{(W|Q)~XUO U, W, R, P c U~(W{R|P)UO U, W, R, Q c (U{W~R)~QUO U, W, R, S c U~W{R~SUO U, W, R, T c U~(W|R{T)UO U, W, R, U c U~(W{R)|UUO U, W, R, V c W~(RU{V)UO U, W, R, W c (W|RU)~WUO U, W, R, X c U~W{R{XUO U, W, S, P c (U{W{P)~SUO U, W, S, Q c U~(W{S|Q)UO U, W, S, R c U~W{S~RUO U, W, S, S c (U{W)~S{SUO U, W, S, T c U~WS~TUO U, W, S, U c (U{W|S)~UUO U, W, S, V c (U{V)~S{WUO U, W, S, W c U~W{S{WUO U, W, S, X c (U{X)~(W|S)UO U, W, T, Q c (U{W|Q)~TUO U, W, T, R c U~(W{T|R)UO U, W, T, S c U~W~TSUO U, W, T, U c U~(W|U)~TUO U, W, T, V c U~W{T{VUO U, W, T, X c WU~T~XUO U, W, U, P c U{(W{P)~UUO U, W, U, Q c U~W{U~QUO U, W, U, R c (U{W{U)~RUO U, W, U, S c U~(W{U|S)UO U, W, U, T c U~(W|U)~TUO U, W, U, U c U{W~U{UUO U, W, U, W c U~(W|U{W)UO U, W, U, X c (U{XU)~WUO U, W, V, Q c U{W~V|QUO U, W, V, R c W~(V{RU)UO U, W, V, S c (U{V)~S{WUO U, W, V, T c U~W{V{TUO U, W, V, X c U~(W|V{X)UO U, W, W, Q c W~W|U{QUO U, W, W, R c W~(W|RU)UO U, W, W, S c U~W{W{SUO U, W, W, U c U~(W{W|U)UO U, W, W, X c U~(WW{X)UO U, W, X, Q c U{(W|Q)~XUO U, W, X, R c U~W{X{RUO U, W, X, S c (U{X)~(W|S)UO U, W, X, T c WU~X~TUO U, W, X, U c (U{XU)~WUO U, W, X, V c U~(W{X|V)UO U, W, X, W c U~(WW{X)UO U, W, X, X c U~(X|W{X)UO U, X, O, P c U~(X{O{P)UO U, X, O, S c (U{X{O)~SUO U, X, O, U c U{(X{O)~UUO U, X, P, O c U~(X{P){OUO U, X, P, P c U~(X{P)~PUO U, X, P, Q c U~(X|P{Q)UO U, X, P, R c (U{X)~(P{R)UO U, X, P, S c (U{X)~(P~S)UO U, X, P, T c U{X~(P{T)UO U, X, P, U c U{X~P~UUO U, X, P, V c U~X|P{VUO U, X, Q, P c U~(X{Q|P)UO U, X, Q, Q c (U{X)~(Q{Q)UO U, X, Q, R c U{X~Q~RUO U, X, Q, S c U{X~(Q{S)UO U, X, Q, T c (UQ{X)~TUO U, X, Q, U c U~(X{Q)|UUO U, X, Q, V c U~V{X~QUO U, X, Q, W c (U{X)Q~WUO U, X, R, P c (U{X)~(R{P)UO U, X, R, Q c U{X~R~QUO U, X, R, R c U{X~(R{R)UO U, X, R, S c U~(X|R{S)UO U, X, R, T c (U{X|R)~TUO U, X, R, V c U~(XR{V)UO U, X, R, W c U~W{X{RUO U, X, R, X c U{(X|R)~XUO U, X, S, O c (U{X)~(S{O)UO U, X, S, P c (U{X)~(S~P)UO U, X, S, Q c U{X~(S{Q)UO U, X, S, R c U~(X{S|R)UO U, X, S, S c U~(X{SS)UO U, X, S, T c U~(X|S{T)UO U, X, S, U c (U{SU)~XUO U, X, S, W c (U{X)~(W|S)UO U, X, T, P c U{X~(T{P)UO U, X, T, Q c (UQ{X)~TUO U, X, T, R c (U{X{T)~RUO U, X, T, S c U~(X{T|S)UO U, X, T, T c U~(X{TT)UO U, X, T, U c (U{X|T)~UUO U, X, T, V c U~(X|V)~TUO U, X, T, W c XU~T~WUO U, X, T, X c U{X{T~XUO U, X, U, O c U{X~U{OUO U, X, U, P c U{X~U~PUO U, X, U, Q c (U{X)~(U|Q)UO U, X, U, S c (U{U)~(X|S)UO U, X, U, T c U~(X{U|T)UO U, X, U, U c U~(X{UU)UO U, X, U, V c U~(X|U{V)UO U, X, U, W c (U{XU)~WUO U, X, U, X c (UX{U)~XUO U, X, V, P c U{X~(V|P)UO U, X, V, Q c U~V{X~QUO U, X, V, R c (U{X)~(V|R)UO U, X, V, T c U~(X|V)~TUO U, X, V, U c U~(X{V|U)UO U, X, V, V c U~(X{VV)UO U, X, V, W c U~(X|V{W)UO U, X, V, X c U{X~V|XUO U, X, W, Q c U{X~(W|Q)UO U, X, W, R c U~W{X{RUO U, X, W, S c (U{X)~(W|S)UO U, X, W, T c XU~W~TUO U, X, W, U c (U{XU)~WUO U, X, W, V c U~(X{W|V)UO U, X, W, W c U~(X{WW)UO U, X, W, X c U~(X|W{X)UO U, X, X, R c U{(X{X)~RUO U, X, X, T c U{X{X~TUO U, X, X, U c (UX{U)~XUO U, X, X, V c U{X~V|XUO U, X, X, W c U~(X{X|W)UO U, X, X, X c U~(X{XX)UO V, O, R, U c (V{O{R)~UUO V, O, R, X c (V{O)~X|RUO V, O, S, W c (V{O{W)~SUO V, O, T, T c (V{O{T)~TUO V, O, U, R c (V{O{R)~UUO V, O, W, S c (V{O{W)~SUO V, O, X, R c (V{O)~X|RUO V, P, P, X c (V|P)~(P{X)UO V, P, Q, S c (V~Q{P)~SUO V, P, Q, T c (V|P)~(Q~T)UO V, P, Q, U c (V{P{Q)~UUO V, P, Q, W c (V{PQ)~WUO V, P, Q, X c (V~X)|(P{Q)UO V, P, R, R c (V~R|P)~RUO V, P, R, T c (V{R)~(P{T)UO V, P, R, U c (V{P~R)~UUO V, P, R, V c (V|P)~(R{V)UO V, P, R, W c V~(P{W)|RUO V, P, R, X c (V|PR)~XUO V, P, S, Q c (V~Q{P)~SUO V, P, S, T c (V{P{S)~TUO V, P, S, U c (V|P{S)~UUO V, P, S, V c (V{P{V)~SUO V, P, S, W c (V{P)~W|SUO V, P, S, X c (V|P{X)~SUO V, P, T, Q c (V|P)~(T~Q)UO V, P, T, R c (V{R)~(P{T)UO V, P, T, S c (V{P{S)~TUO V, P, T, T c (V{P~T)~TUO V, P, T, U c (V|P{U)~TUO V, P, T, W c V~W|P{TUO V, P, U, Q c (V{P{Q)~UUO V, P, U, R c (V{P~R)~UUO V, P, U, S c (V|P)~(U{S)UO V, P, U, T c (V|P{U)~TUO V, P, U, X c V|P{U~XUO V, P, V, R c (V|P)~(V{R)UO V, P, V, S c (V{P{V)~SUO V, P, W, Q c (V|P)~(W{Q)UO V, P, W, R c V~(P{W)|RUO V, P, W, S c (V{P)~W|SUO V, P, W, T c V~W|P{TUO V, P, X, P c (V|P)~(X{P)UO V, P, X, Q c (V~X)|(P{Q)UO V, P, X, R c V~P~X|RUO V, P, X, S c (V|P{X)~SUO V, P, X, U c V|P{X~UUO V, Q, P, S c (V~Q{P)~SUO V, Q, P, T c (V|P)~(Q~T)UO V, Q, P, U c (V{Q{P)~UUO V, Q, P, W c (V{PQ)~WUO V, Q, P, X c (V~X)|(Q{P)UO V, Q, Q, S c (V~S{Q)~QUO V, Q, Q, T c (V~Q|Q)~TUO V, Q, Q, U c (V|Q)~(Q~U)UO V, Q, Q, W c (V{W)~(Q{Q)UO V, Q, R, R c (V{R)~(Q~R)UO V, Q, R, S c (V|Q)~(R~S)UO V, Q, R, T c (V{Q{R)~TUO V, Q, R, U c (V~Q{U)~RUO V, Q, R, V c (V{Q)~V|RUO V, Q, R, W c (V{R)~(W|Q)UO V, Q, R, X c (V|Q)~(R{X)UO V, Q, S, P c (V~Q{P)~SUO V, Q, S, Q c (V~S{Q)~QUO V, Q, S, R c (V|Q)~(S~R)UO V, Q, S, S c (V{Q~S)~SUO V, Q, S, U c (V~Q|S)~UUO V, Q, S, W c (V{QS)~WUO V, Q, T, P c (V|P)~(Q~T)UO V, Q, T, Q c (V~Q|Q)~TUO V, Q, T, R c (V{Q{R)~TUO V, Q, T, T c (V~T|T)~QUO V, Q, T, U c (V|Q{T)~UUO V, Q, T, V c (V|Q)~(T{V)UO V, Q, T, X c V~X{Q|TUO V, Q, U, P c (V{Q{P)~UUO V, Q, U, Q c (V|Q)~(U~Q)UO V, Q, U, R c (V~Q{U)~RUO V, Q, U, S c (V{Q{U)~SUO V, Q, U, T c (V|Q{T)~UUO V, Q, U, U c (V{Q)~U{UUO V, Q, U, W c V~W|Q{UUO V, Q, U, X c (V|QU)~XUO V, Q, V, R c (V{Q)~V|RUO V, Q, V, T c (V|Q{V)~TUO V, Q, V, X c V~V{Q{XUO V, Q, W, P c (V{PQ)~WUO V, Q, W, Q c (V{W)~(Q{Q)UO V, Q, W, R c (V{R)~(W|Q)UO V, Q, W, S c (V|Q)~(W{S)UO V, Q, W, U c V~W|Q{UUO V, Q, W, W c (V{W)Q~WUO V, Q, X, P c (V~X)|(Q{P)UO V, Q, X, R c (V|Q)~(X{R)UO V, Q, X, T c V~X{Q|TUO V, Q, X, U c (V|QU)~XUO V, Q, X, V c V~V{Q{XUO V, R, O, U c (V{R{O)~UUO V, R, O, X c (V{O)~X|RUO V, R, P, R c (V~R|P)~RUO V, R, P, T c (V{R)~(P{T)UO V, R, P, U c (V{R)~(P~U)UO V, R, P, V c (V{R)~(V|P)UO V, R, P, W c V~(P{W)|RUO V, R, P, X c (V|PR)~XUO V, R, Q, R c (V{R)~(Q~R)UO V, R, Q, S c (V{R)~(Q{S)UO V, R, Q, T c (V{R{Q)~TUO V, R, Q, U c (V~Q{U)~RUO V, R, Q, V c (V{Q)~V|RUO V, R, Q, W c (V{R)~(W|Q)UO V, R, Q, X c (V~R{X)~QUO V, R, R, P c (V~R|P)~RUO V, R, R, Q c (V{R)~(R~Q)UO V, R, R, R c (V{R)~(R{R)UO V, R, R, T c (V|R)~(R~T)UO V, R, R, U c V~(R{U)|RUO V, R, R, X c (V{R)~(X|R)UO V, R, S, Q c (V{R)~(S{Q)UO V, R, S, T c (V{R{T)~SUO V, R, S, U c (V~R|U)~SUO V, R, S, W c (V~S|W)~RUO V, R, S, X c (V{S{X)~RUO V, R, T, P c (V{R)~(T{P)UO V, R, T, Q c (V{R{Q)~TUO V, R, T, R c (V|R)~(T~R)UO V, R, T, S c (V{R{T)~SUO V, R, T, W c (V|R{W)~TUO V, R, T, X c (V~R|X)~TUO V, R, U, O c (V{R)~(U{O)UO V, R, U, P c (V{R)~(U~P)UO V, R, U, Q c (V~Q{U)~RUO V, R, U, R c V~(R{U)|RUO V, R, U, S c (V~R|U)~SUO V, R, U, U c (V|R{U)~UUO V, R, U, V c (V{U{V)~RUO V, R, U, W c (V{RU)~WUO V, R, U, X c (V|R)~(U{X)UO V, R, V, P c (V{R)~(V|P)UO V, R, V, Q c V~(V{Q)|RUO V, R, V, U c (V{V{U)~RUO V, R, V, W c V|R{V~WUO V, R, V, X c V~(X|RV)UO V, R, W, P c (V{W)~(R{P)UO V, R, W, Q c (V{R)~(W|Q)UO V, R, W, S c (V~S|W)~RUO V, R, W, T c (V|R{W)~TUO V, R, W, U c (V{RU)~WUO V, R, W, V c V|R{W~VUO V, R, W, W c R{W~W|VUO V, R, X, O c V~X|R{OUO V, R, X, P c V~X|R~PUO V, R, X, Q c (V~R{X)~QUO V, R, X, R c (V{R)~(X|R)UO V, R, X, S c (V{X{S)~RUO V, R, X, T c (V~R|X)~TUO V, R, X, U c (V|R)~(X{U)UO V, R, X, V c V~(X|RV)UO V, R, X, X c (V|RX)~XUO V, S, O, W c (V{O{W)~SUO V, S, P, Q c (V~Q{P)~SUO V, S, P, T c (V{S{P)~TUO V, S, P, U c (V{S|P)~UUO V, S, P, V c (V{P{V)~SUO V, S, P, W c (V{P)~W|SUO V, S, P, X c (V|P{X)~SUO V, S, Q, P c (V~Q{P)~SUO V, S, Q, Q c (V~S{Q)~QUO V, S, Q, R c (V|Q)~(S~R)UO V, S, Q, S c (V{S~Q)~SUO V, S, Q, U c (V~Q|S)~UUO V, S, Q, W c (V{QS)~WUO V, S, R, Q c (V{R)~(S{Q)UO V, S, R, T c V~(S{T)|RUO V, S, R, U c (V~R|U)~SUO V, S, R, W c (V~S|W)~RUO V, S, R, X c (V{S{X)~RUO V, S, S, Q c (V{S~Q)~SUO V, S, S, S c (V{S{S)~SUO V, S, S, T c (V|S)~(S~T)UO V, S, S, V c (V{V)~S{SUO V, S, S, W c V~S{S~WUO V, S, S, X c (V{X)~S|SUO V, S, T, P c (V{S{P)~TUO V, S, T, R c V~(S{T)|RUO V, S, T, S c (V|S)~(T~S)UO V, S, T, T c (V{S)~T{TUO V, S, T, X c (V|S{X)~TUO V, S, U, P c (V{S|P)~UUO V, S, U, Q c (V{U{Q)~SUO V, S, U, R c (V~R|U)~SUO V, S, U, U c (V{S)~U|UUO V, S, U, V c (V|S{V)~UUO V, S, U, W c (V{U)~S{WUO V, S, V, P c (V{V{P)~SUO V, S, V, S c (V{V)~S{SUO V, S, V, U c (V|S{V)~UUO V, S, V, V c V{S{V~VUO V, S, V, W c V~(SV{W)UO V, S, V, X c V~X{S|VUO V, S, W, O c (V{W)~(S{O)UO V, S, W, P c (V{W)~(S~P)UO V, S, W, Q c (V{QS)~WUO V, S, W, R c (V~S|W)~RUO V, S, W, S c V~S{W~SUO V, S, W, U c (V{U)~S{WUO V, S, W, V c V~(SV{W)UO V, S, W, W c (V{SW)~WUO V, S, X, P c V~X|S{PUO V, S, X, R c (V{S{X)~RUO V, S, X, S c (V{X)~S|SUO V, S, X, T c (V|S{X)~TUO V, S, X, V c V~X{S|VUO V, T, O, T c (V{T{O)~TUO V, T, P, Q c (V|P)~(T~Q)UO V, T, P, R c (V{R)~(T{P)UO V, T, P, S c (V{T)~(P{S)UO V, T, P, T c (V{T)~(P~T)UO V, T, P, U c (V{T)~(U|P)UO V, T, P, W c (V{W)~(T|P)UO V, T, Q, P c (V|P)~(T~Q)UO V, T, Q, Q c (V~Q|Q)~TUO V, T, Q, R c (V{T)~(Q{R)UO V, T, Q, T c (V~T|T)~QUO V, T, Q, U c (V{T|Q)~UUO V, T, Q, V c (V{T)~(V|Q)UO V, T, Q, X c V~X|T{QUO V, T, R, P c (V{R)~(T{P)UO V, T, R, Q c (V{T)~(R{Q)UO V, T, R, R c (V|R)~(T~R)UO V, T, R, S c (V{T{R)~SUO V, T, R, W c (V{T{W)~RUO V, T, R, X c (V~R|X)~TUO V, T, S, P c (V{T)~(S{P)UO V, T, S, R c V~(T{S)|RUO V, T, S, S c (V|S)~(T~S)UO V, T, S, T c (V{S)~T{TUO V, T, S, X c (V{T)~(X|S)UO V, T, T, O c (V{T)~(T{O)UO V, T, T, P c (V{T)~(T~P)UO V, T, T, Q c (V~T|T)~QUO V, T, T, S c (V{S)~T{TUO V, T, T, T c V~T{T~TUO V, T, T, U c (V|T)~(T~U)UO V, T, U, P c (V{T)~(U|P)UO V, T, U, Q c (V{T|Q)~UUO V, T, U, T c (V|T)~(U~T)UO V, T, U, V c V~V{T{UUO V, T, U, W c V{T{U~WUO V, T, U, X c (T~U)~(X|V)UO V, T, V, Q c (V{T)~(V|Q)UO V, T, V, U c V~V{T{UUO V, T, W, P c (V{W)~(T|P)UO V, T, W, R c (V{T{W)~RUO V, T, W, U c V{T{W~UUO V, T, W, X c V{T~X{WUO V, T, X, Q c V~X|T{QUO V, T, X, R c (V~R|X)~TUO V, T, X, S c (V{T)~(X|S)UO V, T, X, U c T~(X|V)~UUO V, T, X, W c V{T~X{WUO V, U, O, R c (V{O{R)~UUO V, U, P, Q c (V{P{Q)~UUO V, U, P, R c (V{P~R)~UUO V, U, P, S c (V|P)~(U{S)UO V, U, P, T c (V{U|P)~TUO V, U, P, X c V{U~X|PUO V, U, Q, P c (V{Q{P)~UUO V, U, Q, Q c (V|Q)~(U~Q)UO V, U, Q, R c (V~Q{U)~RUO V, U, Q, S c (V{U{Q)~SUO V, U, Q, T c (V|Q{T)~UUO V, U, Q, U c (V{UQ)~UUO V, U, Q, W c (V{W)~(U|Q)UO V, U, Q, X c V~U{Q~XUO V, U, R, O c (V{R)~(U{O)UO V, U, R, P c (V{R)~(U~P)UO V, U, R, Q c (V~Q{U)~RUO V, U, R, R c V~(U{R)|RUO V, U, R, S c (V~R|U)~SUO V, U, R, U c (V{U|R)~UUO V, U, R, V c (V{U{V)~RUO V, U, R, W c (V{RU)~WUO V, U, R, X c (V|R)~(U{X)UO V, U, S, P c (V{S|P)~UUO V, U, S, Q c (V{U{Q)~SUO V, U, S, R c (V~R|U)~SUO V, U, S, U c (V{S)~U|UUO V, U, S, V c (V|S{V)~UUO V, U, S, W c (V{U)~S{WUO V, U, T, P c (V{U|P)~TUO V, U, T, Q c (V{T|Q)~UUO V, U, T, T c (V{U)~T|TUO V, U, T, V c V~V{U{TUO V, U, T, W c V{U~W{TUO V, U, T, X c (U~T)~(X|V)UO V, U, U, Q c (V{UQ)~UUO V, U, U, R c V~U{U~RUO V, U, U, S c (V{S)~U|UUO V, U, U, X c (V|U{X)~UUO V, U, V, R c (V{U{V)~RUO V, U, V, S c (V{V|S)~UUO V, U, V, T c V~V{U{TUO V, U, V, X c (VV{X)~UUO V, U, W, Q c (V{W)~(U|Q)UO V, U, W, R c (V{RU)~WUO V, U, W, S c (V{U)~S{WUO V, U, W, T c V{U~W{TUO V, U, W, X c U~(W|V{X)UO V, U, X, P c V{U~X|PUO V, U, X, Q c V~U{X~QUO V, U, X, R c V~X|U{RUO V, U, X, T c U~(X|V)~TUO V, U, X, U c (V|U{X)~UUO V, U, X, V c (VV{X)~UUO V, U, X, W c U~(X|V{W)UO V, U, X, X c V~U{X{XUO V, V, P, R c (V|P)~(V{R)UO V, V, P, S c (V{V{P)~SUO V, V, Q, R c V~(V{Q)|RUO V, V, Q, T c (V{V|Q)~TUO V, V, Q, X c V~V{Q{XUO V, V, R, P c (V{R)~(V|P)UO V, V, R, Q c V~(V{Q)|RUO V, V, R, U c (V{V{U)~RUO V, V, R, W c V~V{R{WUO V, V, R, X c V~(X|RV)UO V, V, S, P c (V{V{P)~SUO V, V, S, S c (V{V)~S{SUO V, V, S, U c (V{V|S)~UUO V, V, S, V c V~V{S{VUO V, V, S, W c V~(SV{W)UO V, V, S, X c V~X|V{SUO V, V, T, Q c (V{V|Q)~TUO V, V, T, U c V~V{T{UUO V, V, U, R c (V{V{U)~RUO V, V, U, S c (V{V|S)~UUO V, V, U, T c V~V{U{TUO V, V, U, X c (VV{X)~UUO V, V, V, S c V{V~V{SUO V, V, W, R c V{V~W|RUO V, V, W, S c V~(W{SV)UO V, V, X, Q c V~V{X{QUO V, V, X, R c V~(X|RV)UO V, V, X, S c V~X|V{SUO V, V, X, U c (VV{X)~UUO V, W, O, S c (V{W{O)~SUO V, W, P, Q c (V|P)~(W{Q)UO V, W, P, R c (V{W)~(P{R)UO V, W, P, S c (V{W)~(P~S)UO V, W, P, T c V~W|P{TUO V, W, Q, P c (V|P)~(W{Q)UO V, W, Q, Q c (V{W)~(Q{Q)UO V, W, Q, R c (V{R)~(W|Q)UO V, W, Q, S c (V|Q)~(W{S)UO V, W, Q, U c V~W|Q{UUO V, W, Q, W c (V{W)Q~WUO V, W, R, P c (V{W)~(R{P)UO V, W, R, Q c (V{R)~(W|Q)UO V, W, R, S c (V~S|W)~RUO V, W, R, T c (V{W|R)~TUO V, W, R, U c (V{RU)~WUO V, W, R, V c V~W|R{VUO V, W, R, W c W~W|V{RUO V, W, S, O c (V{W)~(S{O)UO V, W, S, P c (V{W)~(S~P)UO V, W, S, Q c (V|Q)~(W{S)UO V, W, S, R c (V~S|W)~RUO V, W, S, S c V~S{W~SUO V, W, S, U c (V{U)~S{WUO V, W, S, V c V~(W{SV)UO V, W, S, W c V~W|S{WUO V, W, T, P c (V{W)~(T|P)UO V, W, T, R c (V{W{T)~RUO V, W, T, U c (V{W|T)~UUO V, W, T, X c V{W{T~XUO V, W, U, Q c (V{W)~(U|Q)UO V, W, U, R c (V{RU)~WUO V, W, U, S c (V{U)~S{WUO V, W, U, T c V{W~U{TUO V, W, U, X c (W|V{X)~UUO V, W, V, R c V{W~V|RUO V, W, V, S c V~(W{SV)UO V, W, W, Q c (V{W)~(WQ)UO V, W, W, R c W~W|V{RUO V, W, W, S c (V{W)~(W|S)UO V, W, X, T c V{W{X~TUO V, W, X, U c (W|V{X)~UUO V, X, O, R c V~X{O|RUO V, X, P, P c (V|P)~(X{P)UO V, X, P, Q c (V~X)|(P{Q)UO V, X, P, R c V~X|P~RUO V, X, P, S c (V{X|P)~SUO V, X, P, U c V{X~U|PUO V, X, Q, P c (V~X)|(Q{P)UO V, X, Q, R c (V|Q)~(X{R)UO V, X, Q, T c V~X{Q|TUO V, X, Q, U c V~X|UQUO V, X, Q, V c V~V{X{QUO V, X, R, O c V~X|R{OUO V, X, R, P c V~X|R~PUO V, X, R, Q c (V~R{X)~QUO V, X, R, R c (V{R)~(X|R)UO V, X, R, S c (V{X{S)~RUO V, X, R, T c (V~R|X)~TUO V, X, R, U c (V{XR)~UUO V, X, R, V c V~(X|RV)UO V, X, R, X c V~X|XRUO V, X, S, P c V~X|S{PUO V, X, S, R c (V{X{S)~RUO V, X, S, S c (V{X)~S|SUO V, X, S, T c (V{X|S)~TUO V, X, S, V c V~X{S|VUO V, X, T, Q c V~X|T{QUO V, X, T, R c (V~R|X)~TUO V, X, T, S c (V{X|S)~TUO V, X, T, U c (X|V)~(T~U)UO V, X, T, W c V{X~T{WUO V, X, U, P c V{X~U|PUO V, X, U, Q c V~X|UQUO V, X, U, R c V~X|U{RUO V, X, U, T c (X|V)~(U~T)UO V, X, U, U c (V{X|U)~UUO V, X, U, V c (VV{X)~UUO V, X, U, W c (X|V{W)~UUO V, X, U, X c V~X{U|XUO V, X, V, Q c V~V{X{QUO V, X, V, R c V~(X|RV)UO V, X, V, S c V~X|V{SUO V, X, V, U c (VV{X)~UUO V, X, W, T c V~X|W{TUO V, X, W, U c (X|V{W)~UUO V, X, X, R c V~X|XRUO V, X, X, U c V~X|X{UUO W, O, Q, U c (W{O{Q)~UUO W, O, S, T c (W{O{S)~TUO W, O, S, V c (W{O{V)~SUO W, O, S, W c (W{O)~W|SUO W, O, T, S c (W{O{S)~TUO W, O, U, Q c (W{O{Q)~UUO W, O, V, S c (W{O{V)~SUO W, O, W, S c (W{O)~W|SUO W, P, P, U c (W{P{P)~UUO W, P, Q, S c (W~Q|P)~SUO W, P, Q, T c (W{Q)~(P{T)UO W, P, Q, U c (W{P~Q)~UUO W, P, Q, V c W~(PQ{V)UO W, P, Q, W c (W|PQ)~WUO W, P, Q, X c (W|Q)~(P{X)UO W, P, R, T c (W{P{R)~TUO W, P, R, U c (W|P{R)~UUO W, P, R, V c (W{P)~V|RUO W, P, R, W c (W~W)|(P{R)UO W, P, R, X c (W|P)~X|RUO W, P, S, Q c (W~Q|P)~SUO W, P, S, S c (W{S)~(P{S)UO W, P, S, T c (W{P~S)~TUO W, P, S, U c (W{P{U)~SUO W, P, S, V c (W{P~V)~SUO W, P, S, W c (W|P{W)~SUO W, P, S, X c W~(X|P)|SUO W, P, T, Q c (W{Q)~(P{T)UO W, P, T, R c (W{P{R)~TUO W, P, T, S c (W{P~S)~TUO W, P, T, T c (W|P{T)~TUO W, P, T, V c W~V|P{TUO W, P, T, W c W~W{P|TUO W, P, U, P c (W{P{P)~UUO W, P, U, Q c (W{P~Q)~UUO W, P, U, R c (W|P{R)~UUO W, P, U, S c (W{P{U)~SUO W, P, U, U c (W{P)~U{UUO W, P, V, Q c W~(PQ{V)UO W, P, V, R c (W{P)~V|RUO W, P, V, S c (W{P~V)~SUO W, P, V, T c W~V|P{TUO W, P, W, Q c (W|PQ)~WUO W, P, W, R c (W~W)|(P{R)UO W, P, W, S c (W|P{W)~SUO W, P, W, T c W~W{P|TUO W, P, X, Q c (W|Q)~(P{X)UO W, P, X, R c (W|P)~X|RUO W, P, X, S c W~(X|P)|SUO W, Q, O, U c (W{Q{O)~UUO W, Q, P, S c (W~Q|P)~SUO W, Q, P, T c (W{Q)~(P{T)UO W, Q, P, U c (W{Q)~(P~U)UO W, Q, P, V c (W{Q)~(V|P)UO W, Q, P, W c (W|PQ)~WUO W, Q, P, X c (W|Q)~(P{X)UO W, Q, Q, R c (W{Q)~(Q~R)UO W, Q, Q, S c (W{Q)~(Q{S)UO W, Q, Q, T c (W{Q{Q)~TUO W, Q, Q, V c (W{V)~(Q{Q)UO W, Q, Q, W c (W|Q)~(Q{W)UO W, Q, R, Q c (W{Q)~(R~Q)UO W, Q, R, R c (W{Q)~(R{R)UO W, Q, R, S c (W~Q{S)~RUO W, Q, R, T c WQ~R~TUO W, Q, R, U c (W{Q~U)~RUO W, Q, R, V c (W|Q)~(R{V)UO W, Q, R, X c (W{Q)~(X|R)UO W, Q, S, P c (W~Q|P)~SUO W, Q, S, Q c (W{Q)~(S{Q)UO W, Q, S, R c (W~Q{S)~RUO W, Q, S, S c W~Q~S|SUO W, Q, S, T c (W~Q|S)~TUO W, Q, S, U c (W|Q{S)~UUO W, Q, S, V c W~(QS{V)UO W, Q, S, W c (W|QS)~WUO W, Q, S, X c (W|Q{X)~SUO W, Q, T, P c (W{Q)~(T{P)UO W, Q, T, Q c (W|Q)~(T~Q)UO W, Q, T, R c WQ~T~RUO W, Q, T, S c (W{Q{T)~SUO W, Q, T, T c (W|Q)~(T{T)UO W, Q, T, U c (W|Q{U)~TUO W, Q, T, W c (WQ{W)~TUO W, Q, U, O c (W{Q)~(U{O)UO W, Q, U, P c (W{Q)~(U~P)UO W, Q, U, R c (W{Q~U)~RUO W, Q, U, S c (W|Q)~(U{S)UO W, Q, U, T c (W|Q{U)~TUO W, Q, U, U c (W~Q|U)~UUO W, Q, U, V c W~V|Q{UUO W, Q, U, W c W~W{Q|UUO W, Q, U, X c W|Q{U~XUO W, Q, V, P c (W{Q)~(V|P)UO W, Q, V, Q c (W{V)~(Q{Q)UO W, Q, V, R c (W|Q)~(V{R)UO W, Q, V, S c W~(QS{V)UO W, Q, V, U c W~V|Q{UUO W, Q, V, W c WQ{V~WUO W, Q, W, P c W~(W|PQ)UO W, Q, W, Q c (W{Q)~(W|Q)UO W, Q, W, S c (W|QS)~WUO W, Q, W, T c (WQ{W)~TUO W, Q, W, U c W~W{Q|UUO W, Q, W, V c WQ{W~VUO W, Q, W, W c W~W|WQUO W, Q, X, P c (W|Q)~(X{P)UO W, Q, X, R c (W{Q)~(X|R)UO W, Q, X, S c (W|Q{X)~SUO W, Q, X, U c W|Q{X~UUO W, R, P, T c (W{R{P)~TUO W, R, P, U c (W{R|P)~UUO W, R, P, V c (W{P)~V|RUO W, R, P, W c (W~W)|(R{P)UO W, R, P, X c (W|P)~X|RUO W, R, Q, Q c (W{Q)~(R~Q)UO W, R, Q, R c (W{Q)~(R{R)UO W, R, Q, S c (W~Q{S)~RUO W, R, Q, T c W~RQ~TUO W, R, Q, U c (W|R)~(Q~U)UO W, R, Q, V c (W|Q)~(R{V)UO W, R, Q, X c W~(R{XQ)UO W, R, R, Q c (W{Q)~(R{R)UO W, R, R, S c (W|R)~(R~S)UO W, R, R, X c (W|R)~(R{X)UO W, R, S, Q c (W{S)~(R{Q)UO W, R, S, R c (W{R~S)~RUO W, R, S, S c (W{R{S)~SUO W, R, S, T c W~(R{T)|SUO W, R, S, U c W~U{R~SUO W, R, S, V c R~(S~V|W)UO W, R, S, W c (W|R)~(S{W)UO W, R, S, X c W~R{S~XUO W, R, T, P c (W{R{P)~TUO W, R, T, Q c W~R~TQUO W, R, T, S c W~(R{T)|SUO W, R, T, T c (W{R)~T{TUO W, R, T, U c (W|R{T)~UUO W, R, T, V c (W|R)~(T{V)UO W, R, U, P c (W{R|P)~UUO W, R, U, Q c (W|R)~(U~Q)UO W, R, U, S c W~U{R~SUO W, R, U, T c (W|R{T)~UUO W, R, U, U c (W{R)~U|UUO W, R, U, V c W~(RU{V)UO W, R, U, W c (W|RU)~WUO W, R, U, X c W~U{R{XUO W, R, V, P c (W{V)~(R{P)UO W, R, V, Q c (W|Q)~(R{V)UO W, R, V, S c R~(V~S|W)UO W, R, V, T c (W|R{V)~TUO W, R, V, U c W~(RU{V)UO W, R, V, V c W{R{V~VUO W, R, V, W c W~W{R|VUO W, R, W, P c (W~W)|(R{P)UO W, R, W, S c (W|R)~(W{S)UO W, R, W, U c (W|RU)~WUO W, R, W, V c W~W{R|VUO W, R, X, P c (W|P)~X|RUO W, R, X, Q c W~(R{XQ)UO W, R, X, R c (W{R{X)~RUO W, R, X, S c W~R{X~SUO W, R, X, U c W~U{R{XUO W, R, X, X c (W{X)~R{XUO W, S, O, T c (W{S{O)~TUO W, S, O, V c (W{O{V)~SUO W, S, O, W c (W{O)~W|SUO W, S, P, Q c (W~Q|P)~SUO W, S, P, S c (W{S)~(P{S)UO W, S, P, T c (W{S)~(P~T)UO W, S, P, U c (W{S)~(U|P)UO W, S, P, V c (W{P~V)~SUO W, S, P, W c (W|P{W)~SUO W, S, P, X c W~(X|P)|SUO W, S, Q, P c (W~Q|P)~SUO W, S, Q, Q c (W~S|Q)~QUO W, S, Q, R c (W{S)~(Q{R)UO W, S, Q, S c W~S~Q|SUO W, S, Q, T c (W~Q|S)~TUO W, S, Q, U c (W{S|Q)~UUO W, S, Q, V c (W{S)~(V|Q)UO W, S, Q, W c (W|QS)~WUO W, S, Q, X c (W|Q{X)~SUO W, S, R, Q c (W{S)~(R{Q)UO W, S, R, R c (W{S~R)~RUO W, S, R, S c (W{S{R)~SUO W, S, R, T c (W|S)~(R~T)UO W, S, R, U c W~U{S~RUO W, S, R, V c (S~V|W)~RUO W, S, R, W c (W{S{W)~RUO W, S, R, X c (W|SR)~XUO W, S, S, P c (W{S)~(S{P)UO W, S, S, Q c W~S~Q|SUO W, S, S, R c (W{S{R)~SUO W, S, S, S c W~(S{S)|SUO W, S, S, U c (W{U)~S{SUO W, S, S, V c W~S{S~VUO W, S, S, W c (W{W)~S|SUO W, S, S, X c W{S~(S{X)UO W, S, T, O c (W{S)~(T{O)UO W, S, T, P c (W{S)~(T~P)UO W, S, T, Q c (W{T{Q)~SUO W, S, T, R c (W|S)~(T~R)UO W, S, T, T c (W|T)~(S~T)UO W, S, T, U c WS~T~UUO W, S, T, W c W{S~(T{W)UO W, S, U, P c (W{S)~(U|P)UO W, S, U, Q c (W{S|Q)~UUO W, S, U, R c W~U{S~RUO W, S, U, S c (W{U)~S{SUO W, S, U, T c WS~U~TUO W, S, U, U c (W|S{U)~UUO W, S, U, V c W{S~(U{V)UO W, S, U, W c W{S{U~WUO W, S, U, X c (W|S)~(U{X)UO W, S, V, O c (W{V)~(S{O)UO W, S, V, P c (W{V)~(S~P)UO W, S, V, Q c (W{S)~(V|Q)UO W, S, V, R c (S~V|W)~RUO W, S, V, S c W~S{V~SUO W, S, V, U c W{S~(V{U)UO W, S, V, V c (W{SV)~VUO W, S, V, W c W|S{V~WUO W, S, W, O c W~W|S{OUO W, S, W, P c W~W|S~PUO W, S, W, Q c W~(W|QS)UO W, S, W, R c (W{S{W)~RUO W, S, W, S c (W{W)~S|SUO W, S, W, T c W{S~(W{T)UO W, S, W, U c W{S{W~UUO W, S, W, V c W|S{W~VUO W, S, W, W c (W|SW)~WUO W, S, W, X c (W{X)~S|WUO W, S, X, P c W~(X|P)|SUO W, S, X, Q c (W{X|Q)~SUO W, S, X, R c (W|SR)~XUO W, S, X, S c W{(S{X)~SUO W, S, X, U c (W|S)~(X{U)UO W, S, X, W c (W{X)~S|WUO W, T, O, S c (W{O{S)~TUO W, T, P, Q c (W{Q)~(T{P)UO W, T, P, R c (W{P{R)~TUO W, T, P, S c (W{P~S)~TUO W, T, P, T c (W{T|P)~TUO W, T, P, V c (W{V)~(T|P)UO W, T, P, W c W~W|T{PUO W, T, Q, P c (W{Q)~(T{P)UO W, T, Q, Q c (W|Q)~(T~Q)UO W, T, Q, R c W~TQ~RUO W, T, Q, S c (W{T{Q)~SUO W, T, Q, T c W~(TQ{T)UO W, T, Q, U c (W|Q{U)~TUO W, T, Q, W c (WQ{W)~TUO W, T, R, P c (W{R{P)~TUO W, T, R, Q c W~T~RQUO W, T, R, S c W~(T{R)|SUO W, T, R, T c (W{R)~T{TUO W, T, R, U c (W{T|R)~UUO W, T, R, V c (W{T{V)~RUO W, T, S, O c (W{S)~(T{O)UO W, T, S, P c (W{S)~(T~P)UO W, T, S, Q c (W{T{Q)~SUO W, T, S, R c W~(T{R)|SUO W, T, S, T c (W|T)~(S~T)UO W, T, S, U c W~TS~UUO W, T, S, W c (W{T)~S{WUO W, T, T, P c (W{T|P)~TUO W, T, T, Q c W~(T{TQ)UO W, T, T, R c (W{R)~T{TUO W, T, T, S c (W|T)~(T~S)UO W, T, T, T c (W{T)~T|TUO W, T, T, X c (W|T{X)~TUO W, T, U, Q c (W{U|Q)~TUO W, T, U, R c (W{T|R)~UUO W, T, U, S c W~T~USUO W, T, U, U c (W|U)~(T~U)UO W, T, U, V c (W|T{V)~UUO W, T, U, X c W~TU~XUO W, T, V, P c (W{V)~(T|P)UO W, T, V, R c (W{T{V)~RUO W, T, V, U c (W|T{V)~UUO W, T, V, X c W{T~X{VUO W, T, W, P c W~W|T{PUO W, T, W, Q c (W{WQ)~TUO W, T, W, S c W{(T{W)~SUO W, T, W, X c W~W{T|XUO W, T, X, T c (W|T{X)~TUO W, T, X, U c W~T~XUUO W, T, X, V c W{T~X{VUO W, T, X, W c W~W{T|XUO W, U, O, Q c (W{O{Q)~UUO W, U, P, P c (W{P{P)~UUO W, U, P, Q c (W{P~Q)~UUO W, U, P, R c (W|P{R)~UUO W, U, P, S c (W{U{P)~SUO W, U, P, U c (W{P)~U{UUO W, U, Q, O c (W{Q)~(U{O)UO W, U, Q, P c (W{Q)~(U~P)UO W, U, Q, R c (W{U~Q)~RUO W, U, Q, S c W~(U{Q)|SUO W, U, Q, T c (W{U|Q)~TUO W, U, Q, U c W~U{Q~UUO W, U, Q, V c (W{V)~(U|Q)UO W, U, Q, W c W~W|U{QUO W, U, Q, X c W{U~X|QUO W, U, R, P c (W{R|P)~UUO W, U, R, Q c W~(U{RQ)UO W, U, R, S c W~U{R~SUO W, U, R, T c (W|R{T)~UUO W, U, R, U c (W{UR)~UUO W, U, R, V c W~(RU{V)UO W, U, R, W c (W|RU)~WUO W, U, R, X c W~U{R{XUO W, U, S, P c (W{U{P)~SUO W, U, S, Q c W~(U{Q)|SUO W, U, S, R c W~U{S~RUO W, U, S, S c (W{U)~S{SUO W, U, S, T c W~US~TUO W, U, S, U c (W{U|S)~UUO W, U, S, V c W{(U{V)~SUO W, U, S, W c W~U{S{WUO W, U, S, X c (W|S)~(U{X)UO W, U, T, Q c (W{U|Q)~TUO W, U, T, R c (W{T|R)~UUO W, U, T, S c W~U~TSUO W, U, T, U c (W|U)~(T~U)UO W, U, T, V c W~U{T{VUO W, U, T, X c WU~T~XUO W, U, U, P c (W{P)~U{UUO W, U, U, Q c W~U{U~QUO W, U, U, R c (W{U{U)~RUO W, U, U, S c W~(U{US)UO W, U, U, T c (W|U)~(U~T)UO W, U, U, U c W~U{U{UUO W, U, U, W c (W|U{W)~UUO W, U, U, X c W~(U{XU)UO W, U, V, Q c (W{V)~(U|Q)UO W, U, V, R c W~(V{RU)UO W, U, V, S c W{(U{V)~SUO W, U, V, T c W~U{V{TUO W, U, V, X c (W|V{X)~UUO W, U, W, Q c W~W|U{QUO W, U, W, R c W~(W|RU)UO W, U, W, S c W{U~W{SUO W, U, W, U c (W|U{W)~UUO W, U, W, X c (W|WU)~XUO W, U, X, Q c W{U~X|QUO W, U, X, R c W~U{X{RUO W, U, X, S c W~(X|US)UO W, U, X, T c WU~X~TUO W, U, X, U c W~(U{XU)UO W, U, X, V c (W{X|V)~UUO W, U, X, W c (W|WU)~XUO W, U, X, X c W~(X|XU)UO W, V, O, S c (W{V{O)~SUO W, V, P, Q c W~(V{PQ)UO W, V, P, R c (W{V)~(P{R)UO W, V, P, S c (W{V)~(P~S)UO W, V, P, T c W~V|P{TUO W, V, Q, P c W~(V{PQ)UO W, V, Q, Q c (W{V)~(Q{Q)UO W, V, Q, R c (W|Q)~(V{R)UO W, V, Q, S c W~(V{QS)UO W, V, Q, U c W~V|Q{UUO W, V, Q, W c (W{V)Q~WUO W, V, R, P c (W{V)~(R{P)UO W, V, R, Q c (W|Q)~(V{R)UO W, V, R, S c (V~S|W)~RUO W, V, R, T c (W{V|R)~TUO W, V, R, U c W~(V{RU)UO W, V, R, V c W~V|R{VUO W, V, R, W c W~W|V{RUO W, V, S, O c (W{V)~(S{O)UO W, V, S, P c (W{V)~(S~P)UO W, V, S, Q c W~(V{QS)UO W, V, S, R c (V~S|W)~RUO W, V, S, S c W~S{V~SUO W, V, S, U c W{(V{U)~SUO W, V, S, V c (W{SV)~VUO W, V, S, W c W~(V{SW)UO W, V, T, P c (W{V)~(T|P)UO W, V, T, R c (W{V{T)~RUO W, V, T, U c (W{V|T)~UUO W, V, T, X c W{V{T~XUO W, V, U, Q c (W{V)~(U|Q)UO W, V, U, R c W~(V{RU)UO W, V, U, S c W{(V{U)~SUO W, V, U, T c (W{V|T)~UUO W, V, U, X c (W|V{X)~UUO W, V, V, R c W{V~V{RUO W, V, V, S c (W{SV)~VUO W, V, W, Q c (W{V)~(WQ)UO W, V, W, R c W~W|V{RUO W, V, W, S c W{V~W|SUO W, V, X, T c W{V{X~TUO W, V, X, U c (W|V{X)~UUO W, W, O, S c W~W{O|SUO W, W, P, Q c W~(W|PQ)UO W, W, P, R c (W~W)|(P{R)UO W, W, P, S c (W{W|P)~SUO W, W, P, T c W~W{P|TUO W, W, Q, P c W~(W|PQ)UO W, W, Q, Q c (W~W)|(Q{Q)UO W, W, Q, S c W~(W|QS)UO W, W, Q, T c (W{WQ)~TUO W, W, Q, U c W~W{Q|UUO W, W, Q, V c W~(W{V)QUO W, W, Q, W c W~W|WQUO W, W, R, P c (W~W)|(R{P)UO W, W, R, S c (W{W{S)~RUO W, W, R, U c W~(W|RU)UO W, W, R, V c W~W{R|VUO W, W, S, O c W~W|S{OUO W, W, S, P c W~W|S~PUO W, W, S, Q c W~(W|QS)UO W, W, S, R c (W{W{S)~RUO W, W, S, S c (W{W)~S|SUO W, W, S, T c (W{W|S)~TUO W, W, S, U c (W{WS)~UUO W, W, S, V c W{W~V|SUO W, W, S, W c W~W{S|WUO W, W, S, X c (W~X)|(W{S)UO W, W, T, P c W~W|T{PUO W, W, T, Q c (W{WQ)~TUO W, W, T, S c W{(W{T)~SUO W, W, T, X c W~W{T|XUO W, W, U, Q c W~W|U{QUO W, W, U, R c W~(W|RU)UO W, W, U, S c W{W~U{SUO W, W, U, U c (W{W|U)~UUO W, W, U, X c (W|WU)~XUO W, W, V, Q c W~(W{V)QUO W, W, V, R c W~W|V{RUO W, W, V, S c W{W~V|SUO W, W, W, Q c W~W|WQUO W, W, W, S c W~W|W{SUO W, W, X, S c (W~X)|(W{S)UO W, W, X, T c W~W|X{TUO W, W, X, U c (WW{X)~UUO W, X, P, Q c (W|Q)~(X{P)UO W, X, P, R c (W|P)~X|RUO W, X, P, S c W~(X|P)|SUO W, X, Q, P c (W|Q)~(X{P)UO W, X, Q, R c W~(XQ{R)UO W, X, Q, S c (W{X|Q)~SUO W, X, Q, U c W~X|Q~UUO W, X, R, P c (W|P)~X|RUO W, X, R, Q c W~(X|RQ)UO W, X, R, R c (W{X{R)~RUO W, X, R, S c W~X|R~SUO W, X, R, U c W~U{X{RUO W, X, R, X c (W{X)~R{XUO W, X, S, P c W~(X|P)|SUO W, X, S, Q c (W{X|Q)~SUO W, X, S, R c W~X|S~RUO W, X, S, S c W{(X{S)~SUO W, X, S, U c W~(X|US)UO W, X, S, W c (W{X)~S|WUO W, X, T, T c (W{X|T)~TUO W, X, T, U c W~X~TUUO W, X, T, V c W{X~T{VUO W, X, T, W c W~W|X{TUO W, X, U, Q c W{X~U|QUO W, X, U, R c W~U{X{RUO W, X, U, S c W~(X|US)UO W, X, U, T c W~XU~TUO W, X, U, U c (W~X)|(U{U)UO W, X, U, V c (W{X|V)~UUO W, X, U, W c (WW{X)~UUO W, X, U, X c W~(X|XU)UO W, X, V, T c (W~X)|(V{T)UO W, X, V, U c (W{X|V)~UUO W, X, W, S c (W~X)|(W{S)UO W, X, W, T c W~W|X{TUO W, X, W, U c (WW{X)~UUO W, X, X, R c (W~X)|(X{R)UO W, X, X, U c W~(X|XU)UO X, O, P, U c (X{O{P)~UUO X, O, R, T c (X{O{R)~TUO X, O, R, V c (X{O)~V|RUO X, O, S, U c (X{O{U)~SUO X, O, T, R c (X{O{R)~TUO X, O, U, P c (X{O{P)~UUO X, O, U, S c (X{O{U)~SUO X, O, U, U c (X{O)~U{UUO X, O, V, R c (X{O)~V|RUO X, P, O, U c (X{P{O)~UUO X, P, P, T c (X{P)~(P{T)UO X, P, P, U c (X{P)~(P~U)UO X, P, P, V c (X{P)~(V|P)UO X, P, Q, R c (X{P)~(Q~R)UO X, P, Q, S c (X{P)~(Q{S)UO X, P, Q, T c (X{P{Q)~TUO X, P, Q, U c (X|P{Q)~UUO X, P, Q, V c (X~V)|(P{Q)UO X, P, Q, W c (X{P)~(W|Q)UO X, P, R, Q c (X{P)~(R~Q)UO X, P, R, R c (X{P)~(R{R)UO X, P, R, S c (X{R)~(P{S)UO X, P, R, T c (X{P~R)~TUO X, P, R, U c X~(P{U)|RUO X, P, R, V c X~P~V|RUO X, P, R, W c X~(W|P)|RUO X, P, R, X c (X{P)~(X|R)UO X, P, S, Q c (X{P)~(S{Q)UO X, P, S, R c (X{R)~(P{S)UO X, P, S, T c (X|P{S)~TUO X, P, S, U c (X{P~U)~SUO X, P, S, V c (X|P{V)~SUO X, P, S, W c (X|P)~W|SUO X, P, T, P c (X{P)~(T{P)UO X, P, T, Q c (X{P{Q)~TUO X, P, T, R c (X{P~R)~TUO X, P, T, S c (X{P{T)~SUO X, P, T, U c X~(P{T){UUO X, P, U, O c (X{P)~(U{O)UO X, P, U, P c (X{P)~(U~P)UO X, P, U, Q c (X|P{Q)~UUO X, P, U, R c X~(P{U)|RUO X, P, U, S c (X{P~U)~SUO X, P, U, T c X~(P{T){UUO X, P, U, U c X~P~U{UUO X, P, U, V c X~U|P{VUO X, P, V, P c (X{P)~(V|P)UO X, P, V, Q c (X~V)|(P{Q)UO X, P, V, R c X~P~V|RUO X, P, V, S c (X|P{V)~SUO X, P, V, U c X~(V|P){UUO X, P, W, Q c (X{P)~(W|Q)UO X, P, W, R c X~(W|P)|RUO X, P, W, S c (X|P)~W|SUO X, P, X, R c (X{P)~(X|R)UO X, Q, P, R c (X{P)~(Q~R)UO X, Q, P, S c (X{P)~(Q{S)UO X, Q, P, T c (X{Q{P)~TUO X, Q, P, U c (X{Q|P)~UUO X, Q, P, V c (X~V)|(Q{P)UO X, Q, P, W c (X{P)~(W|Q)UO X, Q, Q, R c (X~Q{Q)~RUO X, Q, Q, U c (X{QQ)~UUO X, Q, R, P c (X{P)~(Q~R)UO X, Q, R, Q c (X~Q{Q)~RUO X, Q, R, R c (X{R)~(Q{R)UO X, Q, R, S c (X{Q~R)~SUO X, Q, R, T c X~(Q{T)|RUO X, Q, R, U c (X|Q{R)~UUO X, Q, R, V c (X{R)~(V|Q)UO X, Q, R, W c (XQ{R)~WUO X, Q, R, X c (X{Q{X)~RUO X, Q, S, P c (X{P)~(Q{S)UO X, Q, S, R c (X{Q~R)~SUO X, Q, S, S c (X{Q{S)~SUO X, Q, S, U c X~(Q{S){UUO X, Q, S, W c (X|Q{W)~SUO X, Q, T, P c (X{Q{P)~TUO X, Q, T, R c X~(Q{T)|RUO X, Q, T, T c (X{Q)~T{TUO X, Q, T, U c (X~Q|U)~TUO X, Q, T, V c X~V{Q|TUO X, Q, U, P c (X{Q|P)~UUO X, Q, U, Q c (X{QQ)~UUO X, Q, U, R c (X|Q{R)~UUO X, Q, U, S c X~(Q{S){UUO X, Q, U, T c (X~Q|U)~TUO X, Q, U, U c (X{Q)~U|UUO X, Q, U, V c X~Q{U~VUO X, Q, U, W c (X~Q|W)~UUO X, Q, V, P c (X~V)|(Q{P)UO X, Q, V, R c (X{V~R)~QUO X, Q, V, T c X~V{Q|TUO X, Q, V, U c X~Q{V~UUO X, Q, V, V c X{Q{V~VUO X, Q, W, P c (X{P)~(W|Q)UO X, Q, W, R c (XQ{R)~WUO X, Q, W, S c (X|Q{W)~SUO X, Q, W, U c (X~Q|W)~UUO X, Q, X, R c (X{Q{X)~RUO X, R, O, T c (X{R{O)~TUO X, R, O, V c (X{O)~V|RUO X, R, P, Q c (X{P)~(R~Q)UO X, R, P, R c (X{P)~(R{R)UO X, R, P, S c (X{R)~(P{S)UO X, R, P, T c (X{R)~(P~T)UO X, R, P, U c (X{R)~(U|P)UO X, R, P, V c X~P~V|RUO X, R, P, W c X~(W|P)|RUO X, R, P, X c (X|R)~(P{X)UO X, R, Q, P c (X{P)~(R~Q)UO X, R, Q, Q c (X~Q{Q)~RUO X, R, Q, R c (X{R)~(Q{R)UO X, R, Q, S c (X{R~Q)~SUO X, R, Q, T c (X|R)~(Q~T)UO X, R, Q, U c (X{R|Q)~UUO X, R, Q, V c (X{R)~(V|Q)UO X, R, Q, W c (X|R)~(Q{W)UO X, R, Q, X c (X{Q{X)~RUO X, R, R, P c (X{P)~(R{R)UO X, R, R, Q c (X{R)~(R{Q)UO X, R, R, S c (X{R{R)~SUO X, R, R, U c (X{RR)~UUO X, R, R, V c (X|R)~(R{V)UO X, R, R, W c (X{R{W)~RUO X, R, S, P c (X{R)~(S{P)UO X, R, S, Q c (X{R~Q)~SUO X, R, S, R c X~(R{S)|RUO X, R, S, S c (X|S)~(R~S)UO X, R, S, T c XR~S~TUO X, R, S, U c (X|R{S)~UUO X, R, S, V c (X{S{V)~RUO X, R, S, W c X~S{R~WUO X, R, S, X c (X{R)~(X|S)UO X, R, T, O c (X{R)~(T{O)UO X, R, T, P c (X{R)~(T~P)UO X, R, T, Q c (X|R)~(T~Q)UO X, R, T, S c XR~T~SUO X, R, T, T c (X|R)~(T{T)UO X, R, T, U c (X|R{U)~TUO X, R, T, V c (R~V|X)~TUO X, R, T, X c (XR{X)~TUO X, R, U, P c (X{R)~(U|P)UO X, R, U, Q c (X{R|Q)~UUO X, R, U, R c (X{RR)~UUO X, R, U, S c (X|R)~(U{S)UO X, R, U, T c (X|R{U)~TUO X, R, U, V c (XR{V)~UUO X, R, U, W c X{R{U~WUO X, R, U, X c X|R{U~XUO X, R, V, O c X~V|R{OUO X, R, V, P c X~V|R~PUO X, R, V, Q c (X{R)~(V|Q)UO X, R, V, R c (X|R)~(V{R)UO X, R, V, S c (X{V{S)~RUO X, R, V, T c (R~V|X)~TUO X, R, V, U c (XR{V)~UUO X, R, V, V c (X|RV)~VUO X, R, V, X c (X|VR)~XUO X, R, W, P c X~(W|P)|RUO X, R, W, Q c (X|R)~(W{Q)UO X, R, W, R c (X{R{W)~RUO X, R, W, S c X~W|R~SUO X, R, W, U c X{R{W~UUO X, R, W, X c X{R~(W{X)UO X, R, X, P c (X|R)~(X{P)UO X, R, X, Q c (X{X{Q)~RUO X, R, X, S c (X{R)~(X|S)UO X, R, X, T c (XR{X)~TUO X, R, X, U c X|R{X~UUO X, R, X, V c X~X|R~VUO X, R, X, W c X{R~(X{W)UO X, S, O, U c (X{O{U)~SUO X, S, P, Q c (X{P)~(S{Q)UO X, S, P, R c (X{R)~(S{P)UO X, S, P, T c (X{S|P)~TUO X, S, P, U c (X{P~U)~SUO X, S, P, V c (X|P{V)~SUO X, S, P, W c (X|P)~W|SUO X, S, Q, P c (X{P)~(S{Q)UO X, S, Q, R c (X{Q~R)~SUO X, S, Q, S c (X{S{Q)~SUO X, S, Q, U c (X|S)~(Q~U)UO X, S, Q, W c (X|Q{W)~SUO X, S, R, P c (X{R)~(S{P)UO X, S, R, Q c (X{R~Q)~SUO X, S, R, R c X~(S{R)|RUO X, S, R, S c (X|S)~(R~S)UO X, S, R, T c X~SR~TUO X, S, R, U c (X{S|R)~UUO X, S, R, V c (X{S{V)~RUO X, S, R, W c X~S{R~WUO X, S, R, X c (X|S)~(R{X)UO X, S, S, Q c (X{S{Q)~SUO X, S, S, R c (X|S)~(S~R)UO X, S, S, T c (X{T)~S{SUO X, S, S, U c (X{SS)~UUO X, S, S, V c (X{V)~S|SUO X, S, S, W c (X{S)~S{WUO X, S, T, P c (X{S|P)~TUO X, S, T, R c X~S~TRUO X, S, T, S c (X{T)~S{SUO X, S, T, T c (X{S)~T|TUO X, S, T, U c (X|S{T)~UUO X, S, T, V c (X|S)~(T{V)UO X, S, U, O c (X{U)~(S{O)UO X, S, U, P c (X{U)~(S~P)UO X, S, U, Q c (X|S)~(U~Q)UO X, S, U, R c (X{S|R)~UUO X, S, U, S c X~S{U~SUO X, S, U, T c (X|S{T)~UUO X, S, U, U c (X|S)~(U{U)UO X, S, U, W c (X|US)~WUO X, S, V, P c X~V|S{PUO X, S, V, R c (X{S{V)~RUO X, S, V, S c (X{V)~S|SUO X, S, V, T c (X|S{V)~TUO X, S, V, V c X~V{S|VUO X, S, W, P c (X|P)~W|SUO X, S, W, Q c (X{W|Q)~SUO X, S, W, R c X~S{W~RUO X, S, W, S c (X|S)~(W{S)UO X, S, W, U c (X|US)~WUO X, S, W, W c (X{W)~S|WUO X, S, X, R c (X|S)~(X{R)UO X, T, O, R c (X{O{R)~TUO X, T, P, P c (X{P)~(T{P)UO X, T, P, Q c (X{P{Q)~TUO X, T, P, R c (X{P~R)~TUO X, T, P, S c (X{T{P)~SUO X, T, P, U c X~(T{P){UUO X, T, Q, P c (X{Q{P)~TUO X, T, Q, R c X~(T{Q)|RUO X, T, Q, T c (X{T|Q)~TUO X, T, Q, U c (X~Q|U)~TUO X, T, Q, V c X~V|T{QUO X, T, R, O c (X{R)~(T{O)UO X, T, R, P c (X{R)~(T~P)UO X, T, R, Q c X~(T{Q)|RUO X, T, R, S c X~TR~SUO X, T, R, T c (X|T)~(R~T)UO X, T, R, U c (X{T{U)~RUO X, T, R, V c T~(R~V|X)UO X, T, R, X c (XR{X)~TUO X, T, S, P c (X{T{P)~SUO X, T, S, R c X~T~SRUO X, T, S, S c (X{T)~S{SUO X, T, S, T c (X{S)~T|TUO X, T, S, U c (X{T|S)~UUO X, T, S, V c (X|S)~(T{V)UO X, T, T, Q c (X{T|Q)~TUO X, T, T, R c (X|T)~(T~R)UO X, T, T, S c (X{S)~T|TUO X, T, T, U c (X{TT)~UUO X, T, T, W c (X|T{W)~TUO X, T, U, P c X~(T{P){UUO X, T, U, Q c (X{UQ)~TUO X, T, U, R c (X{T{U)~RUO X, T, U, S c (X{T|S)~UUO X, T, U, T c (X{TT)~UUO X, T, U, U c (X|T{U)~UUO X, T, U, V c (X|V)~(T~U)UO X, T, U, W c X~TU~WUO X, T, U, X c (X|T)~(U{X)UO X, T, V, Q c X~V|T{QUO X, T, V, R c T~(V~R|X)UO X, T, V, S c (X{V|S)~TUO X, T, V, U c (X|V)~(T~U)UO X, T, V, W c X|T{V~WUO X, T, W, T c (X|T{W)~TUO X, T, W, U c X~T~WUUO X, T, W, V c X|T{W~VUO X, T, W, W c T{W~W|XUO X, T, X, R c (X{XR)~TUO X, T, X, U c X{T~X{UUO X, U, O, P c (X{O{P)~UUO X, U, O, S c (X{U{O)~SUO X, U, O, U c X~U{O{UUO X, U, P, O c (X{P)~(U{O)UO X, U, P, P c (X{P)~(U~P)UO X, U, P, Q c (X|P{Q)~UUO X, U, P, R c (X{U)~(P{R)UO X, U, P, S c (X{U)~(P~S)UO X, U, P, T c X~U{P{TUO X, U, P, U c X~U{P~UUO X, U, P, V c X~U|P{VUO X, U, Q, P c (X{Q|P)~UUO X, U, Q, Q c (X{U)~(Q{Q)UO X, U, Q, R c X~U{Q~RUO X, U, Q, S c X~U{Q{SUO X, U, Q, T c (X{UQ)~TUO X, U, Q, U c (X{U)~(U|Q)UO X, U, Q, V c X~Q{U~VUO X, U, Q, W c (X{U)Q~WUO X, U, R, P c (X{U)~(R{P)UO X, U, R, Q c X~U{R~QUO X, U, R, R c X~U{R{RUO X, U, R, S c (X|R)~(U{S)UO X, U, R, T c (X{U|R)~TUO X, U, R, V c (X{U)~(V|R)UO X, U, R, W c X{U~W{RUO X, U, R, X c X~U|R{XUO X, U, S, O c (X{U)~(S{O)UO X, U, S, P c (X{U)~(S~P)UO X, U, S, Q c X~U{S{QUO X, U, S, R c (X{S|R)~UUO X, U, S, S c X~S{U~SUO X, U, S, T c (X|U)~(S~T)UO X, U, S, U c X~(U{SU)UO X, U, S, W c (X|US)~WUO X, U, T, P c (X{U)~(T|P)UO X, U, T, Q c (X{UQ)~TUO X, U, T, R c (X{U{T)~RUO X, U, T, S c (X|U)~(T~S)UO X, U, T, T c (X{TT)~UUO X, U, T, U c (X{U|T)~UUO X, U, T, V c (X|V)~(U~T)UO X, U, T, W c XU~T~WUO X, U, T, X c X{U{T~XUO X, U, U, O c X~U{U{OUO X, U, U, P c X~U{U~PUO X, U, U, Q c (X{U)~(U|Q)UO X, U, U, S c X~(U{SU)UO X, U, U, T c (X{U|T)~UUO X, U, U, U c (X{UU)~UUO X, U, U, V c (X|U{V)~UUO X, U, U, W c (XU{U)~WUO X, U, U, X c X~(U{UX)UO X, U, V, P c X~U{V|PUO X, U, V, Q c X~V|UQUO X, U, V, R c (X{U)~(V|R)UO X, U, V, T c (X|V)~(U~T)UO X, U, V, U c (X|U{V)~UUO X, U, V, V c (X{VV)~UUO X, U, V, W c (X|V{W)~UUO X, U, V, X c X{U~V{XUO X, U, W, Q c (X{U)~(WQ)UO X, U, W, R c X{U~W{RUO X, U, W, S c (X{U)~(W|S)UO X, U, W, T c XU~W~TUO X, U, W, U c (XU{U)~WUO X, U, W, V c (X{W|V)~UUO X, U, W, W c (X{WW)~UUO X, U, W, X c (X|W{X)~UUO X, U, X, R c X{U~X|RUO X, U, X, T c X{U{X~TUO X, U, X, U c X~(UX{U)UO X, U, X, V c X{U~V{XUO X, U, X, W c (X|XU)~WUO X, U, X, X c (X{XX)~UUO X, V, O, R c X~V{O|RUO X, V, P, P c (X{P)~(V|P)UO X, V, P, Q c (X~V)|(P{Q)UO X, V, P, R c X~V|P~RUO X, V, P, S c (X{V|P)~SUO X, V, P, U c X~(V|P){UUO X, V, Q, P c (X~V)|(Q{P)UO X, V, Q, R c (X{V~R)~QUO X, V, Q, T c X~V{Q|TUO X, V, Q, U c X~(V|QU)UO X, V, Q, V c X{V~V{QUO X, V, R, O c X~V|R{OUO X, V, R, P c X~V|R~PUO X, V, R, Q c (X{V~R)~QUO X, V, R, R c (X|R)~(V{R)UO X, V, R, S c (X{V{S)~RUO X, V, R, T c (V~R|X)~TUO X, V, R, U c X~V{R|UUO X, V, R, V c (X|RV)~VUO X, V, R, X c (X|VR)~XUO X, V, S, P c X~V|S{PUO X, V, S, R c (X{V{S)~RUO X, V, S, S c (X{V)~S|SUO X, V, S, T c (X{V|S)~TUO X, V, S, V c X~V{S|VUO X, V, T, Q c X~V|T{QUO X, V, T, R c (V~R|X)~TUO X, V, T, S c (X{V|S)~TUO X, V, T, U c (X|V)~(T~U)UO X, V, T, W c X~V{T|WUO X, V, U, P c X~(V|P){UUO X, V, U, Q c X~V|UQUO X, V, U, R c X~V|U{RUO X, V, U, T c (X|V)~(U~T)UO X, V, U, U c (X{V|U)~UUO X, V, U, V c (X{VV)~UUO X, V, U, W c (X|V{W)~UUO X, V, U, X c X{V~U{XUO X, V, V, Q c X{V~V{QUO X, V, V, R c (X|RV)~VUO X, V, V, S c X~V|V{SUO X, V, V, U c (X{VV)~UUO X, V, W, T c X{V~W|TUO X, V, W, U c (X|V{W)~UUO X, V, X, R c X~V|XRUO X, V, X, U c X~V|X{UUO X, W, P, Q c (X{P)~(W|Q)UO X, W, P, R c X~(W|P)|RUO X, W, P, S c (X|P)~W|SUO X, W, Q, P c (X{P)~(W|Q)UO X, W, Q, R c (XQ{R)~WUO X, W, Q, S c (X{W|Q)~SUO X, W, Q, U c X~(W|Q){UUO X, W, R, P c X~(W|P)|RUO X, W, R, Q c (X|R)~(W{Q)UO X, W, R, R c (X{W{R)~RUO X, W, R, S c X~W|R~SUO X, W, R, U c X{W~U{RUO X, W, R, X c (X{W)~R{XUO X, W, S, P c (X|P)~W|SUO X, W, S, Q c (X{W|Q)~SUO X, W, S, R c X~W|S~RUO X, W, S, S c (X|S)~(W{S)UO X, W, S, U c (X{U)~(W|S)UO X, W, S, W c (X{W)~S|WUO X, W, T, T c (X{W|T)~TUO X, W, T, U c X~W~TUUO X, W, T, V c (X~W)|(T{V)UO X, W, T, W c W~W|X{TUO X, W, U, Q c X~W|U~QUO X, W, U, R c X{W~U{RUO X, W, U, S c (X{U)~(W|S)UO X, W, U, T c X~WU~TUO X, W, U, U c (X~W)|(U{U)UO X, W, U, V c (X{W|V)~UUO X, W, U, W c (X{WW)~UUO X, W, U, X c (X|W{X)~UUO X, W, V, T c X{W~V|TUO X, W, V, U c (X{W|V)~UUO X, W, W, S c (X~W)|(W{S)UO X, W, W, T c W~W|X{TUO X, W, W, U c (X{WW)~UUO X, W, X, R c X{(W{X)~RUO X, W, X, U c (X|W{X)~UUO X, X, P, R c (X{P)~(X|R)UO X, X, Q, R c (X{X{Q)~RUO X, X, R, P c (X|R)~(X{P)UO X, X, R, Q c (X{X{Q)~RUO X, X, R, S c (X{X|R)~SUO X, X, R, T c (X{XR)~TUO X, X, R, U c (X{X)~R{UUO X, X, R, V c X~X|R~VUO X, X, R, W c X{(X{W)~RUO X, X, S, R c (X{X|R)~SUO X, X, T, R c (X{XR)~TUO X, X, T, U c X{X~T{UUO X, X, U, R c X{X~U|RUO X, X, U, T c (X{X|U)~TUO X, X, U, U c X~(UX{U)UO X, X, U, V c X{X{U~VUO X, X, U, W c (X|XU)~WUO X, X, U, X c (X{XX)~UUO X, X, V, R c X~X|V~RUO X, X, V, U c X{X{V~UUO X, X, W, R c X{(X{W)~RUO X, X, W, U c (X{X|W)~UUO X, X, X, U c (X{XX)~UUO