O, P, V, W c O{P{V~WTV O, P, W, V c O{P{W~VTV O, R, U, X c O{R{U~XTV O, R, X, U c O{R{X~UTV O, U, R, X c O{U~X{RTV O, U, V, X c O{V~X|UTV O, U, W, X c O{U~W{XTV O, U, X, R c O{U~X{RTV O, U, X, V c O{X~V|UTV O, U, X, W c O{U~W{XTV O, V, P, W c O{V~W{PTV O, V, U, X c O{V~X|UTV O, V, V, W c O{V~V{WTV O, V, W, P c O{V~W{PTV O, V, W, V c O{V~V{WTV O, V, W, W c O{W~W|VTV O, V, X, U c O{V~X|UTV O, W, P, V c O{W~V{PTV O, W, U, X c O{W~U{XTV O, W, V, P c O{W~V{PTV O, W, V, V c O{W{V~VTV O, W, V, W c O{W~W|VTV O, W, W, V c O{W~W|VTV O, W, X, U c O{W~U{XTV O, X, R, U c O{X~U{RTV O, X, U, R c O{X~U{RTV O, X, U, V c O{X~V|UTV O, X, U, W c O{X{U~WTV O, X, V, U c O{X~V|UTV O, X, W, U c O{X{W~UTV P, O, V, W c P{O{V~WTV P, O, W, V c P{O{W~VTV P, P, U, W c P{(P{U)~WTV P, P, V, V c P{(P{V)~VTV P, P, V, W c P{P~V~WTV P, P, V, X c P{V~(X|P)TV P, P, W, U c P{(P{U)~WTV P, P, W, V c P{P~W~VTV P, P, W, W c P{(W|P)~WTV P, P, X, V c P{(X|P)~VTV P, Q, R, X c (P{Q~X)~RTV P, Q, S, V c P{Q~S~VTV P, Q, T, W c P{(Q{T)~WTV P, Q, U, V c P{(Q{U)~VTV P, Q, U, X c P{Q{U~XTV P, Q, V, S c P{Q~V~STV P, Q, V, U c P{(Q{U)~VTV P, Q, V, W c Q|P{V~WTV P, Q, W, T c P{(Q{T)~WTV P, Q, W, V c Q|P{W~VTV P, Q, W, X c P{W~(X|Q)TV P, Q, X, R c (P{Q~X)~RTV P, Q, X, U c P{Q{X~UTV P, Q, X, W c P{(X|Q)~WTV P, R, Q, X c (P{Q~X)~RTV P, R, R, U c (P{R~U)~RTV P, R, S, T c R~(S~T|P)TV P, R, S, W c P{(R{S)~WTV P, R, T, S c R~(T~S|P)TV P, R, T, V c P{(R{T)~VTV P, R, T, X c (P{T)~X{RTV P, R, U, R c (P{R~U)~RTV P, R, U, W c (P{W)~U{RTV P, R, U, X c P~R{U~XTV P, R, V, T c P{(R{T)~VTV P, R, V, X c R{(V|P)~XTV P, R, W, S c P{(R{S)~WTV P, R, W, U c (P{W)~U{RTV P, R, X, Q c (P{X~Q)~RTV P, R, X, T c (P{T)~X{RTV P, R, X, U c P~R{X~UTV P, R, X, V c R{X~(V|P)TV P, R, X, X c (P{X{X)~RTV P, S, Q, V c P{S~Q~VTV P, S, R, T c (S~T|P)~RTV P, S, R, W c P{(S{R)~WTV P, S, S, V c P{(S{S)~VTV P, S, T, R c (S~T|P)~RTV P, S, T, X c P{S~(T{X)TV P, S, U, W c P{S~(U{W)TV P, S, U, X c S|P{U~XTV P, S, V, Q c P{S~V~QTV P, S, V, S c P{(S{S)~VTV P, S, V, V c P{S~(V{V)TV P, S, W, R c P{(S{R)~WTV P, S, W, U c P{S~(W{U)TV P, S, X, T c P{S~(X{T)TV P, S, X, U c S|P{X~UTV P, T, Q, W c P{(T{Q)~WTV P, T, R, S c (T~S|P)~RTV P, T, R, V c P{(T{R)~VTV P, T, R, X c (P{T)~X{RTV P, T, S, R c (T~S|P)~RTV P, T, S, X c P{(T{X)~STV P, T, V, R c P{(T{R)~VTV P, T, V, X c (P{X)~T{VTV P, T, W, Q c P{(T{Q)~WTV P, T, W, X c (P{T)~W{XTV P, T, X, R c (P{T)~X{RTV P, T, X, S c P{(T{X)~STV P, T, X, V c (P{X)~T{VTV P, T, X, W c (P{T)~W{XTV P, U, P, W c P{(U{P)~WTV P, U, Q, V c P{(U{Q)~VTV P, U, Q, X c P{U~X{QTV P, U, R, R c (P{U~R)~RTV P, U, R, W c (P{W)~U{RTV P, U, R, X c P~U~X{RTV P, U, S, W c P{(U{W)~STV P, U, S, X c U~X|P{STV P, U, U, X c (P{U)~X|UTV P, U, V, Q c P{(U{Q)~VTV P, U, V, W c (P{U)~V{WTV P, U, V, X c (P{V)~U{XTV P, U, W, P c (P{U)~W{PTV P, U, W, R c (P{W)~U{RTV P, U, W, S c P{(U{W)~STV P, U, W, V c (P{U)~V{WTV P, U, W, W c P{U~W{WTV P, U, W, X c P~U~W{XTV P, U, X, Q c P{U~X{QTV P, U, X, R c P~U~X{RTV P, U, X, S c U~X|P{STV P, U, X, U c (P{U)~X|UTV P, U, X, V c P~X~V|UTV P, U, X, W c P~U~W{XTV P, U, X, X c U~(X|P){XTV P, V, O, W c P{(V{O)~WTV P, V, P, V c P{(V{P)~VTV P, V, P, W c P{V~P~WTV P, V, P, X c P{V~(X|P)TV P, V, Q, S c P{V~Q~STV P, V, Q, U c P{V~(Q{U)TV P, V, Q, W c V~W|P{QTV P, V, R, T c P{V~(R{T)TV P, V, R, X c (V|P)~X{RTV P, V, S, Q c P{V~S~QTV P, V, S, S c P{V~(S{S)TV P, V, S, V c P{(V{V)~STV P, V, T, R c P{V~(T{R)TV P, V, T, X c (P{X)~T{VTV P, V, U, Q c P{V~(U{Q)TV P, V, U, W c (P{U)~V{WTV P, V, U, X c (P{V)~U{XTV P, V, V, P c (P{V)~V{PTV P, V, V, S c P{(V{V)~STV P, V, V, V c P{V{V~VTV P, V, V, W c P~V~V{WTV P, V, V, X c P{V~X|VTV P, V, W, O c P{V~W{OTV P, V, W, P c P{V~W~PTV P, V, W, Q c V~W|P{QTV P, V, W, U c (P{W)~V|UTV P, V, W, V c (P{V)~W|VTV P, V, W, W c (PW{V)~WTV P, V, W, X c (V|P)~W{XTV P, V, X, P c P{V~(X|P)TV P, V, X, R c (V|P)~X{RTV P, V, X, T c (P{X)~T{VTV P, V, X, U c P~V~X|UTV P, V, X, V c P{V~X|VTV P, V, X, W c (V|P)~W{XTV P, W, O, V c P{(W{O)~VTV P, W, P, U c P{W~(P{U)TV P, W, P, V c P{W~P~VTV P, W, P, W c P{(W|P)~WTV P, W, Q, T c P{W~(Q{T)TV P, W, Q, V c W~V|P{QTV P, W, Q, X c P{W~(X|Q)TV P, W, R, S c P{W~(R{S)TV P, W, R, U c (P{W)~U{RTV P, W, S, R c P{W~(S{R)TV P, W, S, U c P{(W{U)~STV P, W, T, Q c P{W~(T{Q)TV P, W, T, X c (P{T)~W{XTV P, W, U, P c P{W~(U{P)TV P, W, U, R c (P{W)~U{RTV P, W, U, S c P{(W{U)~STV P, W, U, V c (P{W)~V|UTV P, W, U, W c P{W{U~WTV P, W, U, X c P~W~U{XTV P, W, V, O c P{W~V{OTV P, W, V, P c P{W~V~PTV P, W, V, Q c W~V|P{QTV P, W, V, U c (P{W)~V|UTV P, W, V, V c P~W{V~VTV P, W, V, W c (PW{V)~WTV P, W, V, X c W~(V|P){XTV P, W, W, P c P{W~(W|P)TV P, W, W, U c P{W{W~UTV P, W, W, V c P~W~W|VTV P, W, W, W c P{W~W|WTV P, W, X, Q c P{W~(X|Q)TV P, W, X, T c (P{T)~W{XTV P, W, X, U c P~W~U{XTV P, W, X, V c W~(X|P)|VTV P, X, P, V c P{(X|P)~VTV P, X, Q, R c (P{X~Q)~RTV P, X, Q, U c P{X~U{QTV P, X, Q, W c P{(X|Q)~WTV P, X, R, Q c (P{X~Q)~RTV P, X, R, T c (P{T)~X{RTV P, X, R, U c (P{X)~U|RTV P, X, R, V c X~(V|P){RTV P, X, R, X c (P{X{X)~RTV P, X, S, T c P{(X{T)~STV P, X, S, U c X~U|P{STV P, X, T, R c (P{T)~X{RTV P, X, T, S c P{(X{T)~STV P, X, T, V c (P{X)~T{VTV P, X, T, W c (P{T)~W{XTV P, X, U, Q c P{X~U{QTV P, X, U, R c (P{X)~U|RTV P, X, U, S c X~U|P{STV P, X, U, U c (P{U)~X|UTV P, X, U, V c P~X~V|UTV P, X, U, W c P~X{U~WTV P, X, U, X c (X|P)~U{XTV P, X, V, P c P{(X|P)~VTV P, X, V, R c X~(V|P){RTV P, X, V, T c (P{X)~T{VTV P, X, V, U c P~X~V|UTV P, X, V, V c P{X~V|VTV P, X, V, W c (X|P)~W|VTV P, X, W, Q c P{(X|Q)~WTV P, X, W, T c (P{T)~W{XTV P, X, W, U c P~X{W~UTV P, X, W, V c (X|P)~W|VTV P, X, X, R c (P{X{X)~RTV P, X, X, U c (X|P)~U{XTV Q, P, R, X c (Q~X{P)~RTV Q, P, S, V c Q~S~V{PTV Q, P, T, W c (Q{T)~W{PTV Q, P, U, V c (Q{U)~V{PTV Q, P, U, X c Q{P{U~XTV Q, P, V, S c Q~V~S{PTV Q, P, V, U c (Q{U)~V{PTV Q, P, V, W c Q|P{V~WTV Q, P, W, T c (Q{T)~W{PTV Q, P, W, V c Q|P{W~VTV Q, P, W, X c P{W~(X|Q)TV Q, P, X, R c (Q~X{P)~RTV Q, P, X, U c Q{P{X~UTV Q, P, X, W c P{(X|Q)~WTV Q, Q, T, X c Q{(Q{X)~TTV Q, Q, V, W c QQ{V~WTV Q, Q, W, V c QQ{W~VTV Q, Q, X, T c Q{(Q{X)~TTV Q, R, P, X c (Q~X{P)~RTV Q, R, R, V c R~(R~V|Q)TV Q, R, R, W c (Q~W{R)~RTV Q, R, R, X c Q~R~X{RTV Q, R, S, X c (Q{S)~X{RTV Q, R, T, U c Q~T~U|RTV Q, R, T, V c (Q~V{T)~RTV Q, R, T, W c Q{(R{W)~TTV Q, R, T, X c (Q~T{X)~RTV Q, R, U, T c Q~U~T|RTV Q, R, U, V c (Q~U{V)~RTV Q, R, U, W c (Q{W)~U|RTV Q, R, V, R c (R~V|Q)~RTV Q, R, V, T c (Q~V{T)~RTV Q, R, V, U c (Q{V)~U{RTV Q, R, V, W c R|Q{V~WTV Q, R, V, X c (V|QR)~XTV Q, R, W, R c (Q~W{R)~RTV Q, R, W, T c Q{(R{W)~TTV Q, R, W, U c (Q{W)~U|RTV Q, R, W, V c R|Q{W~VTV Q, R, W, X c Q~R~W{XTV Q, R, X, P c (Q~X{P)~RTV Q, R, X, R c Q~R~X{RTV Q, R, X, S c (Q{S)~X{RTV Q, R, X, T c (Q~T{X)~RTV Q, R, X, V c X~V|Q~RTV Q, R, X, W c Q~R~W{XTV Q, S, P, V c Q~S~V{PTV Q, S, R, X c (Q{S)~X{RTV Q, S, T, V c Q{(S{V)~TTV Q, S, U, X c Q~S~U{XTV Q, S, V, P c Q~S~V{PTV Q, S, V, T c Q{(S{V)~TTV Q, S, V, V c Q~S{V~VTV Q, S, V, W c Q~S~W|VTV Q, S, V, X c (V~X)|(Q{S)TV Q, S, W, V c Q~S~W|VTV Q, S, W, X c (Q{S)~W{XTV Q, S, X, R c (Q{S)~X{RTV Q, S, X, U c (QS{X)~UTV Q, S, X, V c (X~V)|(Q{S)TV Q, S, X, W c (Q{S)~W{XTV Q, T, P, W c (Q{T)~W{PTV Q, T, Q, X c Q{T~(Q{X)TV Q, T, R, U c Q~T~U|RTV Q, T, R, V c (Q~V{T)~RTV Q, T, R, W c Q{T~(R{W)TV Q, T, R, X c (Q~T{X)~RTV Q, T, S, V c Q{T~(S{V)TV Q, T, T, U c Q{T~(T{U)TV Q, T, T, V c Q~T~T{VTV Q, T, U, R c Q~T~U|RTV Q, T, U, T c Q{(T{U)~TTV Q, T, U, V c (TQ{V)~UTV Q, T, U, X c (Q{T)~X|UTV Q, T, V, R c (Q~V{T)~RTV Q, T, V, S c Q{T~(V{S)TV Q, T, V, T c Q~T~T{VTV Q, T, V, U c (TQ{V)~UTV Q, T, V, W c (Q{T)~V{WTV Q, T, W, P c (Q{T)~W{PTV Q, T, W, R c Q{T~(W{R)TV Q, T, W, V c (Q{T)~V{WTV Q, T, W, W c (W~W)|(Q{T)TV Q, T, X, Q c Q{T~(X{Q)TV Q, T, X, R c (Q~T{X)~RTV Q, T, X, U c (Q{T)~X|UTV Q, U, P, V c (Q{U)~V{PTV Q, U, P, X c Q{U~X{PTV Q, U, R, T c Q~U~T|RTV Q, U, R, V c (Q~U{V)~RTV Q, U, R, W c (Q{W)~U|RTV Q, U, S, X c Q~U~S{XTV Q, U, T, R c Q~U~T|RTV Q, U, T, T c Q{(U{T)~TTV Q, U, T, V c U~(TQ{V)TV Q, U, T, X c Q~U{T~XTV Q, U, U, V c U~(U{VQ)TV Q, U, U, X c (Q{U)~U{XTV Q, U, V, P c (Q{U)~V{PTV Q, U, V, R c (Q~U{V)~RTV Q, U, V, T c U~(V{TQ)TV Q, U, V, U c (U{VQ)~UTV Q, U, V, V c Q{U{V~VTV Q, U, V, W c Q{U~W{VTV Q, U, W, R c (Q{W)~U|RTV Q, U, W, V c Q{U~W{VTV Q, U, X, P c Q{U~X{PTV Q, U, X, S c Q~U~S{XTV Q, U, X, T c Q~U{X~TTV Q, U, X, U c (Q{U)~U{XTV Q, U, X, X c (Q{X)~U|XTV Q, V, P, S c Q~V~S{PTV Q, V, P, U c (Q{U)~V{PTV Q, V, P, W c Q{V~W|PTV Q, V, Q, W c QQ{V~WTV Q, V, R, R c (V~R|Q)~RTV Q, V, R, T c (Q~V{T)~RTV Q, V, R, U c (Q{V)~U{RTV Q, V, R, W c V~W|Q{RTV Q, V, R, X c (V|QR)~XTV Q, V, S, P c Q~V~S{PTV Q, V, S, T c Q{(V{S)~TTV Q, V, S, V c Q~S{V~VTV Q, V, S, W c Q~S~W|VTV Q, V, S, X c (V~X)|(Q{S)TV Q, V, T, R c (Q~V{T)~RTV Q, V, T, S c Q{(V{S)~TTV Q, V, T, T c Q~T~T{VTV Q, V, T, U c (V{TQ)~UTV Q, V, T, W c (Q{T)~V{WTV Q, V, U, P c (Q{U)~V{PTV Q, V, U, R c (Q{V)~U{RTV Q, V, U, T c (V{TQ)~UTV Q, V, U, U c (VQ{U)~UTV Q, V, U, V c Q{V~V{UTV Q, V, U, W c Q{V{U~WTV Q, V, V, S c Q~S{V~VTV Q, V, V, U c Q{V~V{UTV Q, V, W, P c Q{V~W|PTV Q, V, W, Q c QQ{V~WTV Q, V, W, R c V~W|Q{RTV Q, V, W, S c Q~W~S|VTV Q, V, W, T c (Q{W)~T{VTV Q, V, W, U c Q{V{W~UTV Q, V, W, X c Q{V~X|WTV Q, V, X, R c (V|QR)~XTV Q, V, X, S c (V~X)|(Q{S)TV Q, V, X, W c Q{V~X|WTV Q, W, P, T c (Q{T)~W{PTV Q, W, P, V c Q{W~V|PTV Q, W, P, X c W~(X|Q){PTV Q, W, Q, V c QQ{W~VTV Q, W, R, R c (Q~W{R)~RTV Q, W, R, T c Q{(W{R)~TTV Q, W, R, U c (Q{W)~U|RTV Q, W, R, V c W~V|Q{RTV Q, W, R, X c Q~W~R{XTV Q, W, S, V c Q~W~S|VTV Q, W, S, X c (Q{S)~W{XTV Q, W, T, P c (Q{T)~W{PTV Q, W, T, R c Q{(W{R)~TTV Q, W, T, V c (Q{W)~T{VTV Q, W, T, W c (W~W)|(Q{T)TV Q, W, U, R c (Q{W)~U|RTV Q, W, U, V c Q{W~U{VTV Q, W, V, P c Q{W~V|PTV Q, W, V, Q c QQ{W~VTV Q, W, V, R c W~V|Q{RTV Q, W, V, S c Q~W~S|VTV Q, W, V, T c (Q{W)~T{VTV Q, W, V, U c Q{W~U{VTV Q, W, V, X c Q{V~X|WTV Q, W, W, T c (W~W)|(Q{T)TV Q, W, W, X c Q{W~W|XTV Q, W, X, P c W~(X|Q){PTV Q, W, X, R c (Q{W{X)~RTV Q, W, X, S c (Q{S)~W{XTV Q, W, X, V c Q{X~V|WTV Q, W, X, W c Q{W~W|XTV Q, X, P, R c (Q~X{P)~RTV Q, X, P, U c Q{X~U{PTV Q, X, P, W c (X|Q)~W{PTV Q, X, Q, T c Q{(X{Q)~TTV Q, X, R, P c (Q~X{P)~RTV Q, X, R, R c Q~X~R{RTV Q, X, R, S c (Q{S)~X{RTV Q, X, R, T c (Q~T{X)~RTV Q, X, R, V c X~V|Q~RTV Q, X, R, W c (Q{X{W)~RTV Q, X, S, R c (Q{S)~X{RTV Q, X, S, U c (QS{X)~UTV Q, X, S, V c (X~V)|(Q{S)TV Q, X, S, W c (Q{S)~W{XTV Q, X, T, Q c (Q{X)~T{QTV Q, X, T, R c (Q~T{X)~RTV Q, X, T, U c (Q{T)~X|UTV Q, X, U, P c Q{X~U{PTV Q, X, U, S c Q~U~S{XTV Q, X, U, T c Q~U{X~TTV Q, X, U, U c (Q{U)~U{XTV Q, X, U, X c (Q{X)~U|XTV Q, X, V, R c X~V|Q~RTV Q, X, V, S c (X~V)|(Q{S)TV Q, X, V, W c Q{X~V|WTV Q, X, W, P c (X|Q)~W{PTV Q, X, W, R c (Q{X{W)~RTV Q, X, W, S c (Q{S)~W{XTV Q, X, W, V c Q{X~V|WTV Q, X, W, W c Q{W~W|XTV Q, X, X, U c (Q{X)~U|XTV R, O, U, X c R{O{U~XTV R, O, X, U c R{O{X~UTV R, P, Q, X c R~(P{Q~X)TV R, P, R, U c R~(P{R~U)TV R, P, S, T c R~(S~T|P)TV R, P, S, W c (R{S)~W{PTV R, P, T, S c R~(T~S|P)TV R, P, T, V c (R{T)~V{PTV R, P, T, X c R{(P{T)~XTV R, P, U, R c R~(P{U~R)TV R, P, U, W c R{(P{W)~UTV R, P, U, X c R{P~U~XTV R, P, V, T c (R{T)~V{PTV R, P, V, X c R{(V|P)~XTV R, P, W, S c (R{S)~W{PTV R, P, W, U c R{(P{W)~UTV R, P, X, Q c R~(P{X~Q)TV R, P, X, T c R{(P{T)~XTV R, P, X, U c R{P~X~UTV R, P, X, V c R{X~(V|P)TV R, P, X, X c R~(P{X{X)TV R, Q, P, X c R~(Q~X{P)TV R, Q, R, V c R~(R~V|Q)TV R, Q, R, W c (R{Q~W)~RTV R, Q, R, X c R{Q~R~XTV R, Q, S, X c R{(Q{S)~XTV R, Q, T, U c Q~T~U|RTV R, Q, T, V c R~(Q~V{T)TV R, Q, T, W c (R{W)~T{QTV R, Q, T, X c R~(Q~T{X)TV R, Q, U, T c Q~U~T|RTV R, Q, U, V c R~(Q~U{V)TV R, Q, U, W c (RQ{W)~UTV R, Q, V, R c (R~V|Q)~RTV R, Q, V, T c R~(Q~V{T)TV R, Q, V, U c R{(Q{V)~UTV R, Q, V, W c R|Q{V~WTV R, Q, V, X c (V|QR)~XTV R, Q, W, R c (R{Q~W)~RTV R, Q, W, T c (R{W)~T{QTV R, Q, W, U c (RQ{W)~UTV R, Q, W, V c R|Q{W~VTV R, Q, W, X c R~(Q{W{X)TV R, Q, X, P c R~(Q~X{P)TV R, Q, X, R c R{Q~X~RTV R, Q, X, S c R{(Q{S)~XTV R, Q, X, T c R~(Q~T{X)TV R, Q, X, V c X~V|R~QTV R, Q, X, W c R~(Q{X{W)TV R, R, P, U c R~(R~U{P)TV R, R, Q, V c R~(R~V|Q)TV R, R, Q, W c R~(R{Q~W)TV R, R, Q, X c R{R~Q~XTV R, R, R, U c R{R~R~UTV R, R, R, X c R{(R{R)~XTV R, R, S, S c R~(R{S~S)TV R, R, S, T c R~(R~T{S)TV R, R, S, V c R~(R~S{V)TV R, R, T, S c R~(R~T{S)TV R, R, T, W c R~(R~W|T)TV R, R, T, X c (R{X)~T|RTV R, R, U, P c R~(R~U{P)TV R, R, U, R c R{R~U~RTV R, R, U, U c R{(R{U)~UTV R, R, U, V c R~R~V|UTV R, R, U, W c R~R{U~WTV R, R, V, Q c R~(R~V|Q)TV R, R, V, S c R~(R~S{V)TV R, R, V, U c R~R~V|UTV R, R, V, W c RR{V~WTV R, R, V, X c R~(R{V{X)TV R, R, W, Q c R~(R{W~Q)TV R, R, W, T c R~(R~W|T)TV R, R, W, U c R~R{W~UTV R, R, W, V c RR{W~VTV R, R, W, W c R~(R{W{W)TV R, R, W, X c (R{R)~W{XTV R, R, X, Q c R{R~X~QTV R, R, X, R c (R{R)~X{RTV R, R, X, T c (R{X)~T|RTV R, R, X, V c R~(R{X{V)TV R, R, X, W c R~(R~X|W)TV R, R, X, X c R{R~(X{X)TV R, S, P, T c R~(S~T|P)TV R, S, P, W c (R{S)~W{PTV R, S, Q, X c R{(S{Q)~XTV R, S, R, S c (R{S~S)~RTV R, S, R, T c R~(S{R~T)TV R, S, R, V c R~(S~R{V)TV R, S, S, R c (R{S~S)~RTV R, S, S, X c R~S~S{XTV R, S, T, P c R~(S~T|P)TV R, S, T, R c R~(S{T~R)TV R, S, T, U c R{(S{T)~UTV R, S, T, W c (S{W)~T|RTV R, S, T, X c R~S{T~XTV R, S, U, T c R~(S~U|T)TV R, S, U, U c (S{U)~U|RTV R, S, U, X c R~(S{U{X)TV R, S, V, R c (R~S{V)~RTV R, S, V, W c (R{S)~V{WTV R, S, V, X c R~(S~V|X)TV R, S, W, P c (R{S)~W{PTV R, S, W, T c (S{W)~T|RTV R, S, W, V c R~(S{W{V)TV R, S, W, W c (W~W)|(R{S)TV R, S, X, Q c R{(S{Q)~XTV R, S, X, S c R~S~S{XTV R, S, X, T c R~S{X~TTV R, S, X, U c (R{S)~X|UTV R, S, X, V c R~(S~V|X)TV R, S, X, X c (R{X)~S{XTV R, T, P, S c R~(T~S|P)TV R, T, P, V c (R{T)~V{PTV R, T, P, X c R{(T{P)~XTV R, T, Q, U c T~Q~U|RTV R, T, Q, V c R~(T{Q~V)TV R, T, Q, W c (R{W)~T{QTV R, T, Q, X c R~(T~Q{X)TV R, T, R, S c R~(T~R{S)TV R, T, R, W c R~(R~W|T)TV R, T, R, X c (R{X)~T|RTV R, T, S, P c R~(T~S|P)TV R, T, S, R c (R~T{S)~RTV R, T, S, U c R{(T{S)~UTV R, T, S, W c T~(S{W)|RTV R, T, S, X c R~S{T~XTV R, T, T, U c R~(T~T|U)TV R, T, T, V c T~(T{V)|RTV R, T, T, X c R~(T{T{X)TV R, T, U, Q c T~U~Q|RTV R, T, U, S c R{(T{S)~UTV R, T, U, T c R~(T~T|U)TV R, T, U, U c T~(U{U)|RTV R, T, U, V c R~T{U~VTV R, T, U, W c R~(T{U{W)TV R, T, U, X c (R{T)~U{XTV R, T, V, P c (R{T)~V{PTV R, T, V, Q c R~(T{V~Q)TV R, T, V, T c (T{V)~T|RTV R, T, V, U c R~T{V~UTV R, T, V, V c R{T{V~VTV R, T, V, W c (R{T)~W|VTV R, T, W, Q c (R{W)~T{QTV R, T, W, R c (R~W|T)~RTV R, T, W, S c T~(W{S)|RTV R, T, W, U c R~(T{W{U)TV R, T, W, V c (R{T)~W|VTV R, T, W, X c (W|TR)~XTV R, T, X, P c R{(T{P)~XTV R, T, X, Q c R~(T~Q{X)TV R, T, X, R c (R{X)~T|RTV R, T, X, S c R~S{T~XTV R, T, X, T c R~(T{X{T)TV R, T, X, U c (R{T)~U{XTV R, T, X, W c X~W|R~TTV R, T, X, X c R{T~X{XTV R, U, O, X c R{(U{O)~XTV R, U, P, R c (R~U{P)~RTV R, U, P, W c R{U~(P{W)TV R, U, P, X c R{U~P~XTV R, U, Q, T c U~Q~T|RTV R, U, Q, V c R{U~(Q{V)TV R, U, Q, W c (RQ{W)~UTV R, U, R, P c R~(U~R{P)TV R, U, R, R c R{U~R~RTV R, U, R, U c R{(U{R)~UTV R, U, R, V c R~R~V|UTV R, U, R, W c R~R{U~WTV R, U, S, T c R{U~(S{T)TV R, U, S, U c (U{S)~U|RTV R, U, S, X c R~(U{S{X)TV R, U, T, Q c U~T~Q|RTV R, U, T, S c R{U~(T{S)TV R, U, T, T c R~(T~T|U)TV R, U, T, U c (U{U)~T|RTV R, U, T, V c R~T{U~VTV R, U, T, W c R~(U{T{W)TV R, U, T, X c (R{T)~U{XTV R, U, U, R c (R{U)~U{RTV R, U, U, S c U~(U{S)|RTV R, U, U, T c (U{U)~T|RTV R, U, U, V c R~(U{U{V)TV R, U, U, W c R{U{U~WTV R, U, U, X c (RU{X)~UTV R, U, V, Q c R{U~(V{Q)TV R, U, V, R c (R{V)~U|RTV R, U, V, T c R~T{U~VTV R, U, V, U c (R{U)~V|UTV R, U, W, P c R{U~(W{P)TV R, U, W, Q c (RQ{W)~UTV R, U, W, R c R~R{U~WTV R, U, W, T c R~(U{W{T)TV R, U, W, U c R{U{W~UTV R, U, W, X c (R{W)~U|XTV R, U, X, O c R{U~X{OTV R, U, X, P c R{U~X~PTV R, U, X, S c R~(U{X{S)TV R, U, X, T c R~X{U~TTV R, U, X, U c (RU{X)~UTV R, U, X, W c R~(X{W){UTV R, U, X, X c (RX{U)~XTV R, V, P, T c (R{T)~V{PTV R, V, P, X c R{(V|P)~XTV R, V, Q, R c (R~V|Q)~RTV R, V, Q, T c R~(V~Q{T)TV R, V, Q, U c R{(V{Q)~UTV R, V, Q, W c R{V~W|QTV R, V, Q, X c (V|QR)~XTV R, V, R, Q c R~(V~R|Q)TV R, V, R, S c R~(V{R~S)TV R, V, R, U c R~V~R|UTV R, V, R, W c RR{V~WTV R, V, R, X c R~(V{R{X)TV R, V, S, R c R~(V{S~R)TV R, V, S, W c R~(V{S{W)TV R, V, S, X c R~V{S~XTV R, V, T, P c (R{T)~V{PTV R, V, T, Q c R~(V~Q{T)TV R, V, T, T c (V{T)~T|RTV R, V, T, U c R~T{V~UTV R, V, T, V c (R{V)~T{VTV R, V, T, W c (R{T)~W|VTV R, V, U, Q c R~(V{U~Q)TV R, V, U, R c (R{V)~U|RTV R, V, U, T c R~T{V~UTV R, V, U, U c R~(V{U{U)TV R, V, V, T c R{V~V{TTV R, V, W, Q c R{V~W|QTV R, V, W, R c RR{V~WTV R, V, W, S c R~(V{W{S)TV R, V, W, T c (R{T)~W|VTV R, V, X, P c R{(V|P)~XTV R, V, X, Q c V~X|R~QTV R, V, X, R c (R{V{X)~RTV R, V, X, S c R~V{X~STV R, V, X, X c R{V~X|XTV R, W, P, S c (R{S)~W{PTV R, W, P, U c R{(W{P)~UTV R, W, Q, R c (R{W~Q)~RTV R, W, Q, T c (R{W)~T{QTV R, W, Q, U c (RQ{W)~UTV R, W, Q, V c R{W~V|QTV R, W, Q, X c R{(W|Q)~XTV R, W, R, Q c (R{W~Q)~RTV R, W, R, T c R~(W~R|T)TV R, W, R, U c R~R{W~UTV R, W, R, V c RR{W~VTV R, W, R, W c R~(W{R{W)TV R, W, R, X c (R{R)~W{XTV R, W, S, P c (R{S)~W{PTV R, W, S, T c (W{S)~T|RTV R, W, S, V c R~(W{S{V)TV R, W, S, W c (W~W)|(R{S)TV R, W, T, Q c (R{W)~T{QTV R, W, T, R c (R~W|T)~RTV R, W, T, S c (W{S)~T|RTV R, W, T, U c R~(W{T{U)TV R, W, T, V c (R{T)~W|VTV R, W, T, X c (W|TR)~XTV R, W, U, P c R{(W{P)~UTV R, W, U, Q c (RQ{W)~UTV R, W, U, R c R~R{W~UTV R, W, U, T c R~(W{U{T)TV R, W, U, U c R{W~U{UTV R, W, U, X c (R{W)~U|XTV R, W, V, Q c R{W~V|QTV R, W, V, R c RR{W~VTV R, W, V, S c R~(W{V{S)TV R, W, V, T c (R{T)~W|VTV R, W, W, R c (R{W{W)~RTV R, W, W, S c (W~W)|(R{S)TV R, W, W, X c R~(W{W){XTV R, W, X, Q c R~(W{X{Q)TV R, W, X, R c (R~X|W)~RTV R, W, X, T c W~X|R~TTV R, W, X, U c R~(W{X){UTV R, W, X, W c R~(W{W){XTV R, W, X, X c W~(X|R){XTV R, X, O, U c R{(X{O)~UTV R, X, P, Q c R~(X~Q{P)TV R, X, P, T c R{X~(P{T)TV R, X, P, U c R{X~P~UTV R, X, P, V c R{X~(V|P)TV R, X, P, X c R~(X{P{X)TV R, X, Q, P c R~(X~Q{P)TV R, X, Q, R c R{X~Q~RTV R, X, Q, S c R{X~(Q{S)TV R, X, Q, T c R~(X{Q~T)TV R, X, Q, V c X~V|R~QTV R, X, Q, W c R~(X{Q{W)TV R, X, R, Q c R{X~R~QTV R, X, R, R c R{X~(R{R)TV R, X, R, T c (R{X)~T|RTV R, X, R, V c R~(X{R{V)TV R, X, R, W c R~(X~R|W)TV R, X, R, X c R{(X|R)~XTV R, X, S, Q c R{X~(S{Q)TV R, X, S, S c R~S~S{XTV R, X, S, T c R~S{X~TTV R, X, S, U c R~(X{S{U)TV R, X, S, V c R~(S~V|X)TV R, X, S, X c (R{X)~S{XTV R, X, T, P c R{X~(T{P)TV R, X, T, Q c R~(X{T~Q)TV R, X, T, R c (R{X)~T|RTV R, X, T, S c R~S{X~TTV R, X, T, T c R~(X{T{T)TV R, X, T, U c R~X{T~UTV R, X, T, W c X~W|R~TTV R, X, T, X c R{X{T~XTV R, X, U, O c R{X~U{OTV R, X, U, P c R{X~U~PTV R, X, U, S c R~(X{U{S)TV R, X, U, T c R~X{U~TTV R, X, U, U c (RU{X)~UTV R, X, U, W c R~(X{W){UTV R, X, U, X c (RX{U)~XTV R, X, V, P c R{X~(V|P)TV R, X, V, Q c X~V|R~QTV R, X, V, R c (R{X{V)~RTV R, X, V, S c R~V{X~STV R, X, V, X c R{X~V|XTV R, X, W, Q c R{X~(W|Q)TV R, X, W, R c (R~X|W)~RTV R, X, W, T c X~W|R~TTV R, X, W, U c R~(X{W){UTV R, X, W, W c R~(W{W){XTV R, X, W, X c (X|R)~W{XTV R, X, X, P c R~(X{X{P)TV R, X, X, R c R{(X{X)~RTV R, X, X, S c (R{X)~S{XTV R, X, X, T c R{X{X~TTV R, X, X, U c (RX{U)~XTV R, X, X, V c R{X~V|XTV R, X, X, W c (X|R)~W{XTV S, P, Q, V c S~Q~V{PTV S, P, R, T c (S~T|P)~RTV S, P, R, W c (S{R)~W{PTV S, P, S, V c (S{S)~V{PTV S, P, T, R c (S~T|P)~RTV S, P, T, X c S~(T{X){PTV S, P, U, W c S~(U{W){PTV S, P, U, X c S|P{U~XTV S, P, V, Q c S~V~Q{PTV S, P, V, S c (S{S)~V{PTV S, P, V, V c S~(V{V){PTV S, P, W, R c (S{R)~W{PTV S, P, W, U c S~(W{U){PTV S, P, X, T c S~(X{T){PTV S, P, X, U c S|P{X~UTV S, Q, P, V c S~Q~V{PTV S, Q, R, X c (S{Q)~X{RTV S, Q, T, V c (S{V)~T{QTV S, Q, U, X c S~Q~U{XTV S, Q, V, P c S~Q~V{PTV S, Q, V, T c (S{V)~T{QTV S, Q, V, V c S~Q{V~VTV S, Q, V, W c S~Q~W|VTV S, Q, V, X c (V~X)|(S{Q)TV S, Q, W, V c S~Q~W|VTV S, Q, W, X c (S{Q)~W{XTV S, Q, X, R c (S{Q)~X{RTV S, Q, X, U c S~Q~U{XTV S, Q, X, V c (X~V)|(S{Q)TV S, Q, X, W c (S{Q)~W{XTV S, R, P, T c (S~T|P)~RTV S, R, P, W c (S{R)~W{PTV S, R, Q, X c (S{Q)~X{RTV S, R, R, S c (S~S{R)~RTV S, R, R, T c (S{R~T)~RTV S, R, R, V c (S~R{V)~RTV S, R, S, R c (S~S{R)~RTV S, R, S, X c S~R~S{XTV S, R, T, P c (S~T|P)~RTV S, R, T, R c (S{R~T)~RTV S, R, T, U c (S{T)~U{RTV S, R, T, W c (S{W)~T|RTV S, R, T, X c S~R{T~XTV S, R, U, T c (S~U|T)~RTV S, R, U, U c (S{U)~U|RTV S, R, U, X c (S{R)~X|UTV S, R, V, R c (S~R{V)~RTV S, R, V, W c (S{R)~V{WTV S, R, V, X c (S{VR)~XTV S, R, W, P c (S{R)~W{PTV S, R, W, T c (S{W)~T|RTV S, R, W, V c S|R{W~VTV S, R, W, W c (W~W)|(S{R)TV S, R, X, Q c (S{Q)~X{RTV S, R, X, S c S~R~S{XTV S, R, X, T c S~R{X~TTV S, R, X, U c (S{R)~X|UTV S, R, X, V c S~X{R~VTV S, R, X, X c S~(R{X){XTV S, S, P, V c (S{S)~V{PTV S, S, R, R c (S~S{R)~RTV S, S, R, X c S~S~R{XTV S, S, S, V c S~S~S|VTV S, S, T, X c S~(S{X){TTV S, S, U, X c (S{S)~U{XTV S, S, V, P c (S{S)~V{PTV S, S, V, S c S~S~S|VTV S, S, V, V c S{S{V~VTV S, S, V, W c SS{V~WTV S, S, W, V c (S{S)~W|VTV S, S, W, X c S~(S{W){XTV S, S, X, R c S~S~R{XTV S, S, X, T c S~(S{X){TTV S, S, X, U c (S{S)~U{XTV S, S, X, W c S~(S{W){XTV S, T, P, R c (S~T|P)~RTV S, T, P, X c S~(T{X){PTV S, T, Q, V c (S{V)~T{QTV S, T, R, P c (S~T|P)~RTV S, T, R, R c (S{T~R)~RTV S, T, R, U c (S{T)~U{RTV S, T, R, W c (S{W)~T|RTV S, T, R, X c S~R{T~XTV S, T, S, X c S~(S{X){TTV S, T, T, W c S~(T{W){TTV S, T, U, R c (S{T)~U{RTV S, T, U, V c (S{T)~V|UTV S, T, U, W c S{T{U~WTV S, T, V, Q c (S{V)~T{QTV S, T, V, U c (S{T)~V|UTV S, T, V, W c T|S{V~WTV S, T, V, X c S~(T{V){XTV S, T, W, R c (S{W)~T|RTV S, T, W, T c S~(T{W){TTV S, T, W, U c S{T{W~UTV S, T, W, V c T|S{W~VTV S, T, W, X c S{T~X{WTV S, T, X, P c S~(T{X){PTV S, T, X, R c S~R{T~XTV S, T, X, S c (S{X)~S{TTV S, T, X, V c S~(T{V){XTV S, T, X, W c S{T~X{WTV S, U, P, W c S~(U{W){PTV S, U, P, X c S{U~X|PTV S, U, Q, X c S~U~Q{XTV S, U, R, T c (S~U|T)~RTV S, U, R, U c (S{U)~U|RTV S, U, R, X c (S{U{X)~RTV S, U, S, X c (S{S)~U{XTV S, U, T, R c (S~U|T)~RTV S, U, T, V c (S{U)~T{VTV S, U, T, W c S{U~W{TTV S, U, U, R c (S{U)~U|RTV S, U, U, W c (US{W)~UTV S, U, U, X c S~(U{U){XTV S, U, V, T c S~(U{V){TTV S, U, V, X c (S{V)~U|XTV S, U, W, P c S~(U{W){PTV S, U, W, T c S{U~W{TTV S, U, W, U c (US{W)~UTV S, U, W, X c (SW{X)~UTV S, U, X, P c S{U~X|PTV S, U, X, Q c S~U~Q{XTV S, U, X, R c (S{U{X)~RTV S, U, X, S c (S{S)~U{XTV S, U, X, U c S~(U{U){XTV S, U, X, V c (S{V)~U|XTV S, U, X, W c (SW{X)~UTV S, U, X, X c X~X|S~UTV S, V, P, Q c S~V~Q{PTV S, V, P, S c (S{S)~V{PTV S, V, P, V c S~(V{V){PTV S, V, Q, P c S~V~Q{PTV S, V, Q, T c (S{V)~T{QTV S, V, Q, V c S~Q{V~VTV S, V, Q, W c S~Q~W|VTV S, V, Q, X c (V~X)|(S{Q)TV S, V, R, R c (S~R{V)~RTV S, V, R, W c (S{V{W)~RTV S, V, R, X c (S{VR)~XTV S, V, S, P c (S{S)~V{PTV S, V, S, S c S~S~S|VTV S, V, S, V c S{V~V{STV S, V, S, W c SS{V~WTV S, V, T, Q c (S{V)~T{QTV S, V, T, U c S~(V{U){TTV S, V, T, W c V~W|S{TTV S, V, T, X c S~(V{T){XTV S, V, U, T c S~(V{U){TTV S, V, U, X c (S{V)~U|XTV S, V, V, P c S~(V{V){PTV S, V, V, Q c S~Q{V~VTV S, V, V, S c S{V~V{STV S, V, V, X c S~(V{X)|VTV S, V, W, Q c S~W~Q|VTV S, V, W, R c (S{V{W)~RTV S, V, W, S c SS{V~WTV S, V, W, T c V~W|S{TTV S, V, W, W c S~(W{W)|VTV S, V, X, Q c (V~X)|(S{Q)TV S, V, X, R c (S~V|X)~RTV S, V, X, T c S~(V{T){XTV S, V, X, U c (S{V)~U|XTV S, V, X, V c S~(V{X)|VTV S, W, P, R c (S{R)~W{PTV S, W, P, U c S~(W{U){PTV S, W, Q, V c S~W~Q|VTV S, W, Q, X c (S{Q)~W{XTV S, W, R, P c (S{R)~W{PTV S, W, R, T c (S{W)~T|RTV S, W, R, V c (S{W{V)~RTV S, W, R, W c (W~W)|(S{R)TV S, W, S, V c (S{S)~W|VTV S, W, S, X c (S{W)~S{XTV S, W, T, R c (S{W)~T|RTV S, W, T, T c S~(W{T){TTV S, W, T, U c S{W~U{TTV S, W, T, V c W~V|S{TTV S, W, T, X c S{W{T~XTV S, W, U, P c S~(W{U){PTV S, W, U, T c S{W~U{TTV S, W, U, U c (W{US)~UTV S, W, U, X c (SW{X)~UTV S, W, V, Q c S~W~Q|VTV S, W, V, R c (S{W{V)~RTV S, W, V, S c (S{S)~W|VTV S, W, V, T c W~V|S{TTV S, W, V, W c S~(W{W)|VTV S, W, W, R c (W~W)|(S{R)TV S, W, W, V c S~(W{W)|VTV S, W, X, Q c (S{Q)~W{XTV S, W, X, S c (S{W)~S{XTV S, W, X, T c S{W{X~TTV S, W, X, U c (SW{X)~UTV S, X, P, T c S~(X{T){PTV S, X, P, U c S{X~U|PTV S, X, Q, R c (S{Q)~X{RTV S, X, Q, U c S~Q~U{XTV S, X, Q, V c (X~V)|(S{Q)TV S, X, Q, W c (S{Q)~W{XTV S, X, R, Q c (S{Q)~X{RTV S, X, R, S c S~R~S{XTV S, X, R, T c S~R{X~TTV S, X, R, U c (S{X{U)~RTV S, X, R, V c S~X{R~VTV S, X, R, X c S~(X{R){XTV S, X, S, R c S~S~R{XTV S, X, S, T c (S{X)~S{TTV S, X, S, U c (S{S)~U{XTV S, X, S, W c S~(S{W){XTV S, X, T, P c S~(X{T){PTV S, X, T, R c S~R{X~TTV S, X, T, S c (S{X)~S{TTV S, X, T, V c S~(T{V){XTV S, X, T, W c S{X~T{WTV S, X, U, P c S{X~U|PTV S, X, U, Q c S~U~Q{XTV S, X, U, R c (S{X{U)~RTV S, X, U, S c (S{S)~U{XTV S, X, U, U c S~(U{U){XTV S, X, U, V c (S{V)~U|XTV S, X, U, W c (SW{X)~UTV S, X, U, X c X~X|S~UTV S, X, V, Q c (X~V)|(S{Q)TV S, X, V, R c S~X{V~RTV S, X, V, T c S~(V{T){XTV S, X, V, U c (S{V)~U|XTV S, X, V, V c S~(X{V)|VTV S, X, W, Q c (S{Q)~W{XTV S, X, W, S c (S{W)~S{XTV S, X, W, T c S{X~T{WTV S, X, W, U c (SW{X)~UTV S, X, X, R c S~(X{R){XTV S, X, X, U c X~X|S~UTV T, P, Q, W c (T{Q)~W{PTV T, P, R, S c (T~S|P)~RTV T, P, R, V c (T{R)~V{PTV T, P, R, X c (T{P)~X{RTV T, P, S, R c (T~S|P)~RTV T, P, S, X c (T{X)~S{PTV T, P, V, R c (T{R)~V{PTV T, P, V, X c T~(P{X){VTV T, P, W, Q c (T{Q)~W{PTV T, P, W, X c (T{P)~W{XTV T, P, X, R c (T{P)~X{RTV T, P, X, S c (T{X)~S{PTV T, P, X, V c T~(P{X){VTV T, P, X, W c (T{P)~W{XTV T, Q, P, W c (T{Q)~W{PTV T, Q, Q, X c T~(Q{X){QTV T, Q, R, U c T~Q~U|RTV T, Q, R, V c (T{Q~V)~RTV T, Q, R, W c T~(R{W){QTV T, Q, R, X c (T~Q{X)~RTV T, Q, S, V c T~(S{V){QTV T, Q, T, U c T~(T{U){QTV T, Q, T, V c T~Q~T{VTV T, Q, U, R c T~Q~U|RTV T, Q, U, T c (T{U)~T{QTV T, Q, U, V c (TQ{V)~UTV T, Q, U, X c T|Q{U~XTV T, Q, V, R c (T{Q~V)~RTV T, Q, V, S c T~(V{S){QTV T, Q, V, T c T~Q~T{VTV T, Q, V, U c (TQ{V)~UTV T, Q, V, W c (T{Q)~V{WTV T, Q, W, P c (T{Q)~W{PTV T, Q, W, R c T~(W{R){QTV T, Q, W, V c T~(Q{W){VTV T, Q, W, W c (W~W)|(T{Q)TV T, Q, X, Q c T~(Q{X){QTV T, Q, X, R c (T~Q{X)~RTV T, Q, X, U c (T{Q)~X|UTV T, R, P, S c (T~S|P)~RTV T, R, P, V c (T{R)~V{PTV T, R, P, X c (T{P)~X{RTV T, R, Q, U c T~Q~U|RTV T, R, Q, V c (T{Q~V)~RTV T, R, Q, W c T~(R{W){QTV T, R, Q, X c (T~Q{X)~RTV T, R, R, S c (T~R{S)~RTV T, R, R, W c R~(R~W|T)TV T, R, R, X c T~(R{X)|RTV T, R, S, P c (T~S|P)~RTV T, R, S, R c (T~R{S)~RTV T, R, S, U c (T{S)~U{RTV T, R, S, W c T~(S{W)|RTV T, R, S, X c (T{SR)~XTV T, R, T, U c (T{T)~U|RTV T, R, T, V c T~(T{V)|RTV T, R, T, X c (T{T{X)~RTV T, R, U, Q c T~U~Q|RTV T, R, U, S c (T{S)~U{RTV T, R, U, T c (T{T)~U|RTV T, R, U, U c T~(U{U)|RTV T, R, U, V c T~R{U~VTV T, R, U, W c (T{U{W)~RTV T, R, U, X c (T{R)~U{XTV T, R, V, P c (T{R)~V{PTV T, R, V, Q c (T{V~Q)~RTV T, R, V, T c (T{V)~T|RTV T, R, V, U c T~R{V~UTV T, R, V, V c T{R{V~VTV T, R, V, W c (T{R)~W|VTV T, R, W, Q c T~(R{W){QTV T, R, W, R c (R~W|T)~RTV T, R, W, S c T~(W{S)|RTV T, R, W, U c (T{W{U)~RTV T, R, W, V c (T{R)~W|VTV T, R, W, X c (W|TR)~XTV T, R, X, P c (T{P)~X{RTV T, R, X, Q c (T~Q{X)~RTV T, R, X, R c T~(R{X)|RTV T, R, X, S c T~X{R~STV T, R, X, T c (T{X{T)~RTV T, R, X, U c (T{R)~U{XTV T, R, X, W c X~W|T~RTV T, R, X, X c T~X{R{XTV T, S, P, R c (T~S|P)~RTV T, S, P, X c (T{X)~S{PTV T, S, Q, V c T~(S{V){QTV T, S, R, P c (T~S|P)~RTV T, S, R, R c T~S~R|RTV T, S, R, U c (T{S)~U{RTV T, S, R, W c T~(S{W)|RTV T, S, R, X c (T{SR)~XTV T, S, S, X c T{S~(S{X)TV T, S, T, W c T{S~(T{W)TV T, S, U, R c (T{S)~U{RTV T, S, U, V c T{S~(U{V)TV T, S, U, W c T{S{U~WTV T, S, V, Q c T~(S{V){QTV T, S, V, U c T{S~(V{U)TV T, S, V, W c T|S{V~WTV T, S, V, X c (T{V)~S{XTV T, S, W, R c T~(S{W)|RTV T, S, W, T c T{S~(W{T)TV T, S, W, U c T{S{W~UTV T, S, W, V c T|S{W~VTV T, S, W, X c T~(S{X)|WTV T, S, X, P c (T{X)~S{PTV T, S, X, R c (T{SR)~XTV T, S, X, S c T{(S{X)~STV T, S, X, V c (T{V)~S{XTV T, S, X, W c T~(S{X)|WTV T, T, Q, U c T~(T{U){QTV T, T, Q, V c T~T~Q{VTV T, T, R, U c (T{T)~U|RTV T, T, R, V c T~(T{V)|RTV T, T, R, X c (T{T{X)~RTV T, T, S, W c T~T{S~WTV T, T, T, V c (T{T)~T{VTV T, T, U, Q c T~(T{U){QTV T, T, U, R c (T{T)~U|RTV T, T, V, Q c T~T~Q{VTV T, T, V, R c T~(T{V)|RTV T, T, V, T c (T{T)~T{VTV T, T, V, W c TT{V~WTV T, T, V, X c T{T~X{VTV T, T, W, S c T{(T{W)~STV T, T, W, V c TT{W~VTV T, T, W, W c T~(T{W)|WTV T, T, X, R c (T{T{X)~RTV T, T, X, V c T{T~X{VTV T, U, Q, R c T~U~Q|RTV T, U, Q, T c (T{U)~T{QTV T, U, Q, V c (TQ{V)~UTV T, U, Q, X c T{U~X|QTV T, U, R, Q c T~U~Q|RTV T, U, R, S c (T{S)~U{RTV T, U, R, T c (T{T)~U|RTV T, U, R, U c T~(U{U)|RTV T, U, R, V c T~R{U~VTV T, U, R, W c (T{U{W)~RTV T, U, R, X c T~U{R~XTV T, U, S, R c (T{S)~U{RTV T, U, S, V c T~(U{S){VTV T, U, S, W c T{U~W{STV T, U, T, Q c (T{U)~T{QTV T, U, T, R c (T{T)~U|RTV T, U, U, R c T~(U{U)|RTV T, U, U, X c (T{U)~U|XTV T, U, V, Q c (TQ{V)~UTV T, U, V, R c T~R{U~VTV T, U, V, S c T{(U{V)~STV T, U, V, W c T~(U{V)|WTV T, U, W, R c (T{U{W)~RTV T, U, W, S c T{U~W{STV T, U, W, V c T~(U{V)|WTV T, U, W, X c (T{WU)~XTV T, U, X, Q c T{U~X|QTV T, U, X, R c T~U{X~RTV T, U, X, U c (T{U)~U|XTV T, U, X, W c (T{WU)~XTV T, V, P, R c (T{R)~V{PTV T, V, P, X c T~(P{X){VTV T, V, Q, R c (T{V~Q)~RTV T, V, Q, S c T~(V{S){QTV T, V, Q, T c T~Q~T{VTV T, V, Q, U c (TQ{V)~UTV T, V, Q, W c (T{Q)~V{WTV T, V, R, P c (T{R)~V{PTV T, V, R, Q c (T{V~Q)~RTV T, V, R, T c (T{V)~T|RTV T, V, R, U c T~R{V~UTV T, V, R, V c T~(V{R){VTV T, V, R, W c (T{R)~W|VTV T, V, S, Q c T~(V{S){QTV T, V, S, U c T{(V{U)~STV T, V, S, W c T{V~W|STV T, V, S, X c (T{V)~S{XTV T, V, T, Q c T~T~Q{VTV T, V, T, R c (T{V)~T|RTV T, V, T, T c (T{T)~T{VTV T, V, T, W c TT{V~WTV T, V, T, X c T{V{T~XTV T, V, U, Q c (TQ{V)~UTV T, V, U, R c T~R{V~UTV T, V, U, S c T{(V{U)~STV T, V, U, W c T~(V{U)|WTV T, V, V, R c (T{V{V)~RTV T, V, W, Q c T~(W{Q){VTV T, V, W, R c (T{R)~W|VTV T, V, W, S c T{V~W|STV T, V, W, T c TT{V~WTV T, V, W, U c T~(V{U)|WTV T, V, X, P c T~(X{P){VTV T, V, X, S c (T{V)~S{XTV T, V, X, T c T{V{X~TTV T, W, P, Q c (T{Q)~W{PTV T, W, P, X c (T{P)~W{XTV T, W, Q, P c (T{Q)~W{PTV T, W, Q, R c T~(W{R){QTV T, W, Q, V c T~(W{Q){VTV T, W, Q, W c (W~W)|(T{Q)TV T, W, R, Q c T~(W{R){QTV T, W, R, R c (W~R|T)~RTV T, W, R, S c T~(W{S)|RTV T, W, R, U c (T{W{U)~RTV T, W, R, V c (T{R)~W|VTV T, W, R, X c (W|TR)~XTV T, W, S, R c T~(W{S)|RTV T, W, S, T c (T{W)~S{TTV T, W, S, U c T{W~U{STV T, W, S, V c T{W~V|STV T, W, S, X c T~(S{X)|WTV T, W, T, S c T{(W{T)~STV T, W, T, V c TT{W~VTV T, W, T, W c (T{W)~T|WTV T, W, U, R c (T{W{U)~RTV T, W, U, S c T{W~U{STV T, W, U, V c T~(U{V)|WTV T, W, U, X c (T{WU)~XTV T, W, V, Q c T~(W{Q){VTV T, W, V, R c (T{R)~W|VTV T, W, V, S c T{W~V|STV T, W, V, T c TT{W~VTV T, W, V, U c T~(V{U)|WTV T, W, W, Q c (W~W)|(T{Q)TV T, W, W, T c (T{W)~T|WTV T, W, W, X c T~W{W{XTV T, W, X, P c (T{P)~W{XTV T, W, X, R c (W|TR)~XTV T, W, X, S c T~X{W{STV T, W, X, U c (T{WU)~XTV T, W, X, W c T~W{X{WTV T, X, P, R c (T{P)~X{RTV T, X, P, S c (T{X)~S{PTV T, X, P, V c T~(X{P){VTV T, X, P, W c (T{P)~W{XTV T, X, Q, Q c T~(X{Q){QTV T, X, Q, R c (T~Q{X)~RTV T, X, Q, U c (T{XQ)~UTV T, X, R, P c (T{P)~X{RTV T, X, R, Q c (T~Q{X)~RTV T, X, R, R c T~(X{R)|RTV T, X, R, S c T~X{R~STV T, X, R, T c (T{X{T)~RTV T, X, R, U c (T{R)~U{XTV T, X, R, W c X~W|T~RTV T, X, R, X c T~X{R{XTV T, X, S, P c (T{X)~S{PTV T, X, S, R c T~X{S~RTV T, X, S, S c T{(X{S)~STV T, X, S, V c (T{V)~S{XTV T, X, S, W c T~X{S{WTV T, X, T, R c (T{X{T)~RTV T, X, T, V c T{X~T{VTV T, X, U, Q c T{X~U|QTV T, X, U, R c T~U{X~RTV T, X, U, U c T~X{U{UTV T, X, U, W c (T{WU)~XTV T, X, V, P c T~(X{P){VTV T, X, V, S c (T{V)~S{XTV T, X, V, T c T~X{V{TTV T, X, W, P c (T{P)~W{XTV T, X, W, R c X~W|T~RTV T, X, W, S c T~X{W{STV T, X, W, U c (T{WU)~XTV T, X, W, W c T~W{X{WTV T, X, X, R c T~X{X{RTV U, O, R, X c (U{O)~X{RTV U, O, V, X c O{V~X|UTV U, O, W, X c (U{O)~W{XTV U, O, X, R c (U{O)~X{RTV U, O, X, V c O{X~V|UTV U, O, X, W c (U{O)~W{XTV U, P, P, W c (U{P)~W{PTV U, P, Q, V c (U{Q)~V{PTV U, P, Q, X c U~(PQ{X)TV U, P, R, R c (U~R{P)~RTV U, P, R, W c U~(P{W){RTV U, P, R, X c (U{PR)~XTV U, P, S, W c (U{W)~S{PTV U, P, S, X c U~X|P{STV U, P, U, X c (U{P)~X|UTV U, P, V, Q c (U{Q)~V{PTV U, P, V, W c (U{P)~V{WTV U, P, V, X c U~(P{V){XTV U, P, W, P c (U{P)~W{PTV U, P, W, R c U~(P{W){RTV U, P, W, S c (U{W)~S{PTV U, P, W, V c (U{P)~V{WTV U, P, W, W c U~W{P{WTV U, P, W, X c U~P~W{XTV U, P, X, Q c U~(PQ{X)TV U, P, X, R c U~(P{X)|RTV U, P, X, S c U~X|P{STV U, P, X, U c (U{P)~X|UTV U, P, X, V c U~(P{V){XTV U, P, X, W c U~P~W{XTV U, P, X, X c U~(X|P){XTV U, Q, P, V c (U{Q)~V{PTV U, Q, P, X c U~(PQ{X)TV U, Q, R, T c U~Q~T|RTV U, Q, R, V c U~(Q{V){RTV U, Q, R, W c U~(Q{W)|RTV U, Q, S, X c U~Q~S{XTV U, Q, T, R c U~Q~T|RTV U, Q, T, T c (U{T)~T{QTV U, Q, T, V c U~(TQ{V)TV U, Q, T, X c U~Q{T~XTV U, Q, U, V c U~(U{VQ)TV U, Q, U, X c (U{Q)~U{XTV U, Q, V, P c (U{Q)~V{PTV U, Q, V, R c U~(Q{V){RTV U, Q, V, T c U~(V{TQ)TV U, Q, V, U c (U{VQ)~UTV U, Q, V, V c U{Q{V~VTV U, Q, V, W c (U{Q)~W|VTV U, Q, W, R c U~(Q{W)|RTV U, Q, W, V c (U{Q)~W|VTV U, Q, X, P c U~X{Q{PTV U, Q, X, S c U~Q~S{XTV U, Q, X, T c U~Q{X~TTV U, Q, X, U c UQ{X~UTV U, Q, X, X c U~(Q{X)|XTV U, R, O, X c (U{O)~X{RTV U, R, P, R c (U~R{P)~RTV U, R, P, W c U~(P{W){RTV U, R, P, X c (U{PR)~XTV U, R, Q, T c U~Q~T|RTV U, R, Q, V c U~(Q{V){RTV U, R, Q, W c U~(RQ{W)TV U, R, R, P c (U~R{P)~RTV U, R, R, R c U~R~R{RTV U, R, R, U c (U{R)~U{RTV U, R, R, V c U~(R{V)|RTV U, R, R, W c U~W{R~RTV U, R, S, T c U~(S{T){RTV U, R, S, U c (U{S)~U|RTV U, R, S, X c (U{S{X)~RTV U, R, T, Q c U~T~Q|RTV U, R, T, S c U~(T{S){RTV U, R, T, T c U~(T{T)|RTV U, R, T, U c (U{U)~T|RTV U, R, T, V c U~V{R~TTV U, R, T, W c (U{T{W)~RTV U, R, T, X c U~(R{T){XTV U, R, U, R c (U{R)~U{RTV U, R, U, S c U~(U{S)|RTV U, R, U, T c (U{U)~T|RTV U, R, U, V c (U{R)~V|UTV U, R, U, W c U{R{U~WTV U, R, U, X c U|R{U~XTV U, R, V, Q c U~(V{Q){RTV U, R, V, R c U~(R{V)|RTV U, R, V, T c U~V{R~TTV U, R, V, U c (U{R)~V|UTV U, R, W, P c U~(W{P){RTV U, R, W, Q c U~(RQ{W)TV U, R, W, R c U~W{R~RTV U, R, W, T c (U{W{T)~RTV U, R, W, U c U{R{W~UTV U, R, W, X c U{R~(W{X)TV U, R, X, O c U~X{R{OTV U, R, X, P c U~X{R~PTV U, R, X, S c (U{X{S)~RTV U, R, X, T c U~(R{T){XTV U, R, X, U c U|R{X~UTV U, R, X, W c U{R~(X{W)TV U, R, X, X c (U{RX)~XTV U, S, P, W c (U{W)~S{PTV U, S, P, X c U~X{S|PTV U, S, Q, X c U~S~Q{XTV U, S, R, T c U~(S{T){RTV U, S, R, U c (U{S)~U|RTV U, S, R, X c (U{S{X)~RTV U, S, S, X c U~(S{S){XTV U, S, T, R c U~(S{T){RTV U, S, T, V c (U{S)~T{VTV U, S, T, W c U~W{S{TTV U, S, U, R c (U{S)~U|RTV U, S, U, W c (US{W)~UTV U, S, U, X c (U{U)~S{XTV U, S, V, T c (U{S)~T{VTV U, S, V, X c U~(S{V)|XTV U, S, W, P c (U{W)~S{PTV U, S, W, T c U~W{S{TTV U, S, W, U c (US{W)~UTV U, S, W, X c U~(SW{X)TV U, S, X, P c U~X{S|PTV U, S, X, Q c U~S~Q{XTV U, S, X, R c (U{S{X)~RTV U, S, X, S c U~(S{S){XTV U, S, X, U c (U{U)~S{XTV U, S, X, V c U~(S{V)|XTV U, S, X, W c U~(SW{X)TV U, S, X, X c X~X|U~STV U, T, Q, R c U~T~Q|RTV U, T, Q, T c (U{T)~T{QTV U, T, Q, V c U~(TQ{V)TV U, T, Q, X c U~(T{XQ)TV U, T, R, Q c U~T~Q|RTV U, T, R, S c U~(T{S){RTV U, T, R, T c U~(T{T)|RTV U, T, R, U c (U{U)~T|RTV U, T, R, V c U~V{T~RTV U, T, R, W c (U{T{W)~RTV U, T, R, X c U~(T{R){XTV U, T, S, R c U~(T{S){RTV U, T, S, V c (U{S)~T{VTV U, T, S, W c U~W{T{STV U, T, T, Q c (U{T)~T{QTV U, T, T, R c U~(T{T)|RTV U, T, U, R c (U{U)~T|RTV U, T, U, X c (U{T)~U|XTV U, T, V, Q c U~(TQ{V)TV U, T, V, R c U~V{T~RTV U, T, V, S c (U{V)~S{TTV U, T, V, W c U|T{V~WTV U, T, W, R c (U{T{W)~RTV U, T, W, S c U~W{T{STV U, T, W, V c U|T{W~VTV U, T, W, X c U~X|T{WTV U, T, X, Q c U~(T{XQ)TV U, T, X, R c U~T{X~RTV U, T, X, U c U{T~X{UTV U, T, X, W c U~X|T{WTV U, U, P, X c (U{P)~X|UTV U, U, Q, V c U~(U{VQ)TV U, U, Q, X c U~(U{Q){XTV U, U, R, R c U~(U{R){RTV U, U, R, S c U~(U{S)|RTV U, U, R, T c (U{U)~T|RTV U, U, R, V c U~U{R~VTV U, U, R, W c U{U~W{RTV U, U, R, X c U{U~X|RTV U, U, S, R c U~(U{S)|RTV U, U, S, W c U~(US{W)TV U, U, S, X c (U{U)~S{XTV U, U, T, R c (U{U)~T|RTV U, U, T, X c U{U{T~XTV U, U, V, Q c U~(U{VQ)TV U, U, V, R c (U{U{V)~RTV U, U, V, W c UU{V~WTV U, U, V, X c U{U~V{XTV U, U, W, R c U{U~W{RTV U, U, W, S c U~(US{W)TV U, U, W, V c UU{W~VTV U, U, W, X c U~(W{XU)TV U, U, X, P c (U{P)~X|UTV U, U, X, Q c U~(U{Q){XTV U, U, X, R c U{U~X|RTV U, U, X, S c (U{U)~S{XTV U, U, X, T c U{U{X~TTV U, U, X, V c U{U~V{XTV U, U, X, W c U~(XU{W)TV U, U, X, X c U~X|U{XTV U, V, O, X c (V{O)~X|UTV U, V, P, Q c (U{Q)~V{PTV U, V, P, W c (U{P)~V{WTV U, V, P, X c U~(V{P){XTV U, V, Q, P c (U{Q)~V{PTV U, V, Q, R c U~(V{Q){RTV U, V, Q, T c U~(V{TQ)TV U, V, Q, U c (U{VQ)~UTV U, V, Q, V c U{V~V{QTV U, V, Q, W c (U{Q)~W|VTV U, V, R, Q c U~(V{Q){RTV U, V, R, R c U~(V{R)|RTV U, V, R, T c U~V{R~TTV U, V, R, U c (U{V{U)~RTV U, V, S, T c (U{V)~S{TTV U, V, S, X c U~(V{S)|XTV U, V, T, Q c U~(V{TQ)TV U, V, T, R c U~V{T~RTV U, V, T, S c (U{V)~S{TTV U, V, T, W c (U{V)~T|WTV U, V, U, Q c (U{VQ)~UTV U, V, U, R c (U{V{U)~RTV U, V, U, W c UU{V~WTV U, V, U, X c U{V~U{XTV U, V, V, Q c U{V~V{QTV U, V, V, W c U~V{V{WTV U, V, V, X c V~(X|UV)TV U, V, W, P c (U{P)~V{WTV U, V, W, Q c U~W{V{QTV U, V, W, T c U{V~W|TTV U, V, W, U c UU{V~WTV U, V, W, V c U~V{W{VTV U, V, X, O c V~X|U{OTV U, V, X, P c U~(V{P){XTV U, V, X, S c U~(V{S)|XTV U, V, X, U c U~V{X{UTV U, V, X, V c V~(X|UV)TV U, V, X, X c (V|UX)~XTV U, W, O, X c U~W{O{XTV U, W, P, P c (U{P)~W{PTV U, W, P, R c U~(W{P){RTV U, W, P, S c (U{W)~S{PTV U, W, P, V c (U{P)~V{WTV U, W, P, W c U~W{P{WTV U, W, P, X c U~W{P~XTV U, W, Q, R c U~(W{Q)|RTV U, W, Q, V c U~W{Q{VTV U, W, R, P c U~(W{P){RTV U, W, R, Q c U~(W{RQ)TV U, W, R, R c U~W{R~RTV U, W, R, T c (U{W{T)~RTV U, W, R, U c U~W{R{UTV U, W, R, X c U~(W{R)|XTV U, W, S, P c (U{W)~S{PTV U, W, S, T c U~W{S{TTV U, W, S, U c U~(W{US)TV U, W, S, X c U~(SW{X)TV U, W, T, R c (U{W{T)~RTV U, W, T, S c U~W{T{STV U, W, T, V c U{W~V|TTV U, W, T, X c U~X{W|TTV U, W, U, R c U{W~U{RTV U, W, U, S c U~(W{US)TV U, W, U, V c UU{W~VTV U, W, U, X c U~(W{XU)TV U, W, V, P c (U{P)~V{WTV U, W, V, Q c U~W{V{QTV U, W, V, T c U{W~V|TTV U, W, V, U c UU{W~VTV U, W, V, V c U~V{W{VTV U, W, W, P c U~W{W{PTV U, W, W, X c (U{XW)~WTV U, W, X, O c U~W{X{OTV U, W, X, P c U~W{X~PTV U, W, X, R c U{(W{X)~RTV U, W, X, S c U~(X{SW)TV U, W, X, T c U~X{W|TTV U, W, X, U c U~(W{XU)TV U, W, X, W c (U{XW)~WTV U, W, X, X c (W~X)|(U{X)TV U, X, O, R c U~X{O{RTV U, X, O, V c (X{O)~V|UTV U, X, O, W c (U{O)~W{XTV U, X, P, Q c U~X{P{QTV U, X, P, R c U~(X{P)|RTV U, X, P, S c U~X|P{STV U, X, P, U c (U{P)~X|UTV U, X, P, V c U~(P{V){XTV U, X, P, W c U~P~W{XTV U, X, P, X c U~(X|P){XTV U, X, Q, P c U~X{Q{PTV U, X, Q, S c U~(X{QS)TV U, X, Q, T c U~X|Q{TTV U, X, Q, U c U~X{UQTV U, X, Q, X c U~(X{Q)|XTV U, X, R, O c U~X{R{OTV U, X, R, P c U~X{R~PTV U, X, R, S c (U{X{S)~RTV U, X, R, T c U~(R{T){XTV U, X, R, U c U~(X{RU)TV U, X, R, W c U{(X{W)~RTV U, X, R, X c U~X{XRTV U, X, S, P c U~X{S|PTV U, X, S, Q c U~(X{QS)TV U, X, S, R c (U{X{S)~RTV U, X, S, S c U~(S{S){XTV U, X, S, U c (U{U)~S{XTV U, X, S, V c U~X|S{VTV U, X, S, W c U~(X{SW)TV U, X, S, X c X~X|U~STV U, X, T, Q c U~X{T|QTV U, X, T, R c U~T{X~RTV U, X, T, U c U{X~T{UTV U, X, T, W c U~X|T{WTV U, X, U, P c (U{P)~X|UTV U, X, U, Q c U~X{UQTV U, X, U, R c U{X~U|RTV U, X, U, S c (U{U)~S{XTV U, X, U, T c U{X~T{UTV U, X, U, V c U{X{U~VTV U, X, U, W c U~(XU{W)TV U, X, U, X c U~X|U{XTV U, X, V, O c X~V|U{OTV U, X, V, P c U~(V{P){XTV U, X, V, S c U~X{V|STV U, X, V, U c U{X{V~UTV U, X, V, V c (X|UV)~VTV U, X, V, X c X~(V|UX)TV U, X, W, O c U~W{X{OTV U, X, W, P c U~W{X~PTV U, X, W, R c U{(X{W)~RTV U, X, W, S c U~(X{SW)TV U, X, W, T c U~X{W|TTV U, X, W, U c U~(XU{W)TV U, X, W, W c (U{XW)~WTV U, X, W, X c (X~W)|(U{X)TV U, X, X, P c U~(X|P){XTV U, X, X, Q c U~(X{Q)|XTV U, X, X, R c U~X{XRTV U, X, X, S c X~X|U~STV U, X, X, U c U~X{X|UTV U, X, X, V c X~(V|UX)TV U, X, X, W c (X~W)|(U{X)TV V, O, P, W c (V{O)~W{PTV V, O, U, X c (V{O)~X|UTV V, O, V, W c (V{O)~V{WTV V, O, W, P c (V{O)~W{PTV V, O, W, V c (V{O)~V{WTV V, O, W, W c O{W~W|VTV V, O, X, U c (V{O)~X|UTV V, P, O, W c (V{O)~W{PTV V, P, P, V c (V{P)~V{PTV V, P, P, W c V~P~W{PTV V, P, P, X c V~(X|P){PTV V, P, Q, S c V~Q~S{PTV V, P, Q, U c V~(Q{U){PTV V, P, Q, W c V~W|P{QTV V, P, R, T c V~(R{T){PTV V, P, R, X c (V|P)~X{RTV V, P, S, Q c V~S~Q{PTV V, P, S, S c V~(S{S){PTV V, P, S, V c (V{V)~S{PTV V, P, T, R c V~(T{R){PTV V, P, T, X c V{(P{X)~TTV V, P, U, Q c V~(U{Q){PTV V, P, U, W c V~(P{U){WTV V, P, U, X c (V{P)~U{XTV V, P, V, P c (V{P)~V{PTV V, P, V, S c (V{V)~S{PTV V, P, V, V c V{P{V~VTV V, P, V, W c V~P~V{WTV V, P, V, X c V~V|P{XTV V, P, W, O c V~W{P{OTV V, P, W, P c V~P~W{PTV V, P, W, Q c V~W|P{QTV V, P, W, U c V~(P{W)|UTV V, P, W, V c (V{P)~W|VTV V, P, W, W c (V{PW)~WTV V, P, W, X c (V|P)~W{XTV V, P, X, P c V~(X|P){PTV V, P, X, R c (V|P)~X{RTV V, P, X, T c V{(P{X)~TTV V, P, X, U c V~P~X|UTV V, P, X, V c V~X{P|VTV V, P, X, W c (V|P)~W{XTV V, Q, P, S c V~Q~S{PTV V, Q, P, U c V~(Q{U){PTV V, Q, P, W c V~W{Q|PTV V, Q, Q, W c V~W{QQTV V, Q, R, R c (V~R|Q)~RTV V, Q, R, T c (V~Q{T)~RTV V, Q, R, U c (V{Q)~U{RTV V, Q, R, W c V~W|Q{RTV V, Q, R, X c (V|QR)~XTV V, Q, S, P c V~Q~S{PTV V, Q, S, T c (V{S)~T{QTV V, Q, S, V c V~V{Q~STV V, Q, S, W c Q~S~W|VTV V, Q, S, X c (V~X)|(Q{S)TV V, Q, T, R c (V~Q{T)~RTV V, Q, T, S c (V{S)~T{QTV V, Q, T, T c V{Q~T~TTV V, Q, T, U c (V{TQ)~UTV V, Q, T, W c V~(Q{T){WTV V, Q, U, P c V~(Q{U){PTV V, Q, U, R c (V{Q)~U{RTV V, Q, U, T c (V{TQ)~UTV V, Q, U, U c (VQ{U)~UTV V, Q, U, V c (V{Q)~V|UTV V, Q, U, W c V{Q{U~WTV V, Q, V, S c V~V{Q~STV V, Q, V, U c (V{Q)~V|UTV V, Q, W, P c V~W{Q|PTV V, Q, W, Q c V~W{QQTV V, Q, W, R c V~W|Q{RTV V, Q, W, S c Q~W~S|VTV V, Q, W, T c V{(Q{W)~TTV V, Q, W, U c V{Q{W~UTV V, Q, W, X c V~X{Q|WTV V, Q, X, R c (V|QR)~XTV V, Q, X, S c (V~X)|(Q{S)TV V, Q, X, W c V~X{Q|WTV V, R, P, T c V~(R{T){PTV V, R, P, X c (V|P)~X{RTV V, R, Q, R c (V~R|Q)~RTV V, R, Q, T c (V~Q{T)~RTV V, R, Q, U c (V{Q)~U{RTV V, R, Q, W c V~W{R|QTV V, R, Q, X c (V|QR)~XTV V, R, R, Q c (V~R|Q)~RTV V, R, R, S c (V{R~S)~RTV V, R, R, U c V~R~R|UTV V, R, R, W c V~W{RRTV V, R, R, X c (V{R{X)~RTV V, R, S, R c (V{R~S)~RTV V, R, S, W c V~(R{S){WTV V, R, S, X c V~R{S~XTV V, R, T, P c V~(R{T){PTV V, R, T, Q c (V~Q{T)~RTV V, R, T, T c (V{T)~T|RTV V, R, T, U c V~U{R~TTV V, R, T, V c (V{R)~T{VTV V, R, T, W c (R{T)~W|VTV V, R, U, Q c (V{U~Q)~RTV V, R, U, R c (V{R)~U|RTV V, R, U, T c V~U{R~TTV V, R, U, U c V~(R{U)|UTV V, R, V, T c V{(R{V)~TTV V, R, W, Q c V~W{R|QTV V, R, W, R c V~W{RRTV V, R, W, S c V~(R{S){WTV V, R, W, T c (R{T)~W|VTV V, R, X, P c (V|P)~X{RTV V, R, X, Q c V~X|R~QTV V, R, X, R c (V{R{X)~RTV V, R, X, S c V~R{X~STV V, R, X, X c (V{X)~R{XTV V, S, P, Q c V~S~Q{PTV V, S, P, S c V~(S{S){PTV V, S, P, V c (V{V)~S{PTV V, S, Q, P c V~S~Q{PTV V, S, Q, T c (V{S)~T{QTV V, S, Q, V c V~V{S~QTV V, S, Q, W c S~Q~W|VTV V, S, Q, X c (V~X)|(S{Q)TV V, S, R, R c (V{S~R)~RTV V, S, R, W c V~(S{R){WTV V, S, R, X c (V~S|X)~RTV V, S, S, P c V~(S{S){PTV V, S, S, S c S~S~S|VTV V, S, S, V c V~V{S{STV V, S, S, W c V~W{SSTV V, S, T, Q c (V{S)~T{QTV V, S, T, U c V~(S{T)|UTV V, S, T, W c V~W|S{TTV V, S, T, X c (V{T)~S{XTV V, S, U, T c V{(S{U)~TTV V, S, U, X c (V{S)~U|XTV V, S, V, P c (V{V)~S{PTV V, S, V, Q c V~V{S~QTV V, S, V, S c V~V{S{STV V, S, V, X c (V{X)~S|VTV V, S, W, Q c S~W~Q|VTV V, S, W, R c (V{S{W)~RTV V, S, W, S c V~W{SSTV V, S, W, T c V~W|S{TTV V, S, W, W c S~(W{W)|VTV V, S, X, Q c (V~X)|(S{Q)TV V, S, X, R c (V~S|X)~RTV V, S, X, T c (V{T)~S{XTV V, S, X, U c V|S{X~UTV V, S, X, V c (V{X)~S|VTV V, T, P, R c V~(T{R){PTV V, T, P, X c V{T~(P{X)TV V, T, Q, R c (V~Q{T)~RTV V, T, Q, S c (V{S)~T{QTV V, T, Q, T c V{T~Q~TTV V, T, Q, U c (V{TQ)~UTV V, T, Q, W c V{T~(Q{W)TV V, T, R, P c V~(T{R){PTV V, T, R, Q c (V~Q{T)~RTV V, T, R, T c (V{T)~T|RTV V, T, R, U c V~U{T~RTV V, T, R, V c V{T~(R{V)TV V, T, R, W c (T{R)~W|VTV V, T, S, Q c (V{S)~T{QTV V, T, S, U c V{T~(S{U)TV V, T, S, W c V~W{T|STV V, T, S, X c (V{T)~S{XTV V, T, T, Q c V{T~T~QTV V, T, T, R c (V{T)~T|RTV V, T, T, T c V{(T{T)~TTV V, T, T, W c V~W{TTTV V, T, T, X c V{T{T~XTV V, T, U, Q c (V{TQ)~UTV V, T, U, R c V~U{T~RTV V, T, U, S c V{T~(U{S)TV V, T, U, W c (V{U)~T|WTV V, T, V, R c (V{T{V)~RTV V, T, W, Q c V{T~(W{Q)TV V, T, W, R c (T{R)~W|VTV V, T, W, S c V~W{T|STV V, T, W, T c V~W{TTTV V, T, W, U c V~W|T{UTV V, T, X, P c V{T~(X{P)TV V, T, X, S c (V{T)~S{XTV V, T, X, T c V{T{X~TTV V, U, O, X c (V{O)~X|UTV V, U, P, Q c V~(U{Q){PTV V, U, P, W c V~(U{P){WTV V, U, P, X c (V{P)~U{XTV V, U, Q, P c V~(U{Q){PTV V, U, Q, R c (V{U~Q)~RTV V, U, Q, T c (V{TQ)~UTV V, U, Q, U c (VQ{U)~UTV V, U, Q, V c (V{Q)~V|UTV V, U, Q, W c V{U~W{QTV V, U, R, Q c (V{U~Q)~RTV V, U, R, R c (V{R)~U|RTV V, U, R, T c V~U{R~TTV V, U, R, U c V~(U{R)|UTV V, U, S, T c V{(U{S)~TTV V, U, S, X c V{U~X|STV V, U, T, Q c (V{TQ)~UTV V, U, T, R c V~U{T~RTV V, U, T, S c V{(U{S)~TTV V, U, T, W c (V{U)~T|WTV V, U, U, Q c (VQ{U)~UTV V, U, U, R c (V{U{U)~RTV V, U, U, W c V~W{UUTV V, U, U, X c V~U{U{XTV V, U, V, Q c V~V{U{QTV V, U, V, W c V{U~V{WTV V, U, V, X c V~(X|UV)TV V, U, W, P c V~(U{P){WTV V, U, W, Q c V{U~W{QTV V, U, W, T c (V{U)~T|WTV V, U, W, U c V~W{UUTV V, U, W, V c V|U{W~VTV V, U, X, O c V~X|U{OTV V, U, X, P c V~X|U~PTV V, U, X, S c V{U~X|STV V, U, X, U c V~U{X{UTV V, U, X, V c V~(X|UV)TV V, U, X, X c (V|UX)~XTV V, V, O, W c V~V{O{WTV V, V, P, P c V~(V{P){PTV V, V, P, S c (V{V)~S{PTV V, V, P, V c V~V{P{VTV V, V, P, W c V~V{P~WTV V, V, P, X c V~V|P{XTV V, V, Q, S c V~V{Q~STV V, V, Q, U c V~V{Q{UTV V, V, R, T c V{(V{R)~TTV V, V, S, P c (V{V)~S{PTV V, V, S, Q c V~V{S~QTV V, V, S, S c V~V{S{STV V, V, S, X c (V{X)~S|VTV V, V, T, R c (V{V{T)~RTV V, V, U, Q c V~V{U{QTV V, V, U, W c V{V~U{WTV V, V, U, X c V~(X|UV)TV V, V, V, P c V{V~V{PTV V, V, V, W c VV{V~WTV V, V, W, O c V~V{W{OTV V, V, W, P c V~V{W~PTV V, V, W, U c V{V~W|UTV V, V, W, V c V~(V{WV)TV V, V, W, W c V~W|V{WTV V, V, X, P c V~V{X|PTV V, V, X, S c (V{X)~S|VTV V, V, X, U c V~(X|UV)TV V, W, O, P c V~W{O{PTV V, W, O, V c (V{O)~V{WTV V, W, O, W c (W{O)~W|VTV V, W, P, O c V~W{P{OTV V, W, P, P c V~W{P~PTV V, W, P, Q c V~W|P{QTV V, W, P, U c V~(W{P)|UTV V, W, P, V c V~(W{PV)TV V, W, P, W c V~(W|P){WTV V, W, P, X c (V|P)~W{XTV V, W, Q, P c V~W{Q|PTV V, W, Q, Q c V~W{QQTV V, W, Q, R c V~W|Q{RTV V, W, Q, S c W~Q~S|VTV V, W, Q, T c V{(W{Q)~TTV V, W, Q, U c V{W~U{QTV V, W, Q, X c V~X|W{QTV V, W, R, Q c V~W{R|QTV V, W, R, R c V~W{RRTV V, W, R, S c V~W|R{STV V, W, R, T c W~(R{T)|VTV V, W, S, Q c W~S~Q|VTV V, W, S, R c (V{W{S)~RTV V, W, S, S c V~W{SSTV V, W, S, T c V~W|S{TTV V, W, S, W c (W{W)~S|VTV V, W, T, Q c V{(W{Q)~TTV V, W, T, R c W~(T{R)|VTV V, W, T, S c V~W{T|STV V, W, T, T c V~W{TTTV V, W, T, U c V~W|T{UTV V, W, U, P c V~(W{P)|UTV V, W, U, Q c V{W~U{QTV V, W, U, T c V~W{U|TTV V, W, U, U c V~W{UUTV V, W, U, V c V{W{U~VTV V, W, V, O c V~V{W{OTV V, W, V, P c V~(W{PV)TV V, W, V, U c V{W{V~UTV V, W, V, V c (V{WV)~VTV V, W, V, W c V~W|V{WTV V, W, W, O c W~W|V{OTV V, W, W, P c V~(W|P){WTV V, W, W, S c (W{W)~S|VTV V, W, W, V c V~W{W|VTV V, W, W, W c V~W{WWTV V, W, W, X c V~W|W{XTV V, W, X, P c (V|P)~W{XTV V, W, X, Q c V~X|W{QTV V, W, X, W c V~W{X|WTV V, W, X, X c V~W{XXTV V, X, O, U c V~X{O|UTV V, X, P, P c V~(X|P){PTV V, X, P, R c (V|P)~X{RTV V, X, P, T c V{(X{P)~TTV V, X, P, U c V~X|P~UTV V, X, P, V c V~X{P|VTV V, X, P, W c (V|P)~W{XTV V, X, Q, R c V~X|Q~RTV V, X, Q, S c (V~X)|(Q{S)TV V, X, Q, W c V~X{Q|WTV V, X, R, P c (V|P)~X{RTV V, X, R, Q c V~X|R~QTV V, X, R, R c (V{X{R)~RTV V, X, R, S c V~R{X~STV V, X, R, X c (V{X)~R{XTV V, X, S, Q c (V~X)|(S{Q)TV V, X, S, R c (V~S|X)~RTV V, X, S, T c (V{T)~S{XTV V, X, S, U c V{X~U|STV V, X, S, V c (V{X)~S|VTV V, X, T, P c (V~X)|(T{P)TV V, X, T, S c (V{T)~S{XTV V, X, T, T c V{X~T{TTV V, X, U, O c V~X|U{OTV V, X, U, P c V~X|U~PTV V, X, U, S c V{X~U|STV V, X, U, U c V~U{X{UTV V, X, U, V c V~(X|UV)TV V, X, U, X c (V|UX)~XTV V, X, V, P c V~X|V{PTV V, X, V, S c (V{X)~S|VTV V, X, V, U c V~(X|UV)TV V, X, W, P c (V|P)~W{XTV V, X, W, Q c V~X|W{QTV V, X, W, W c V~W{X|WTV V, X, W, X c V~W{XXTV V, X, X, R c V~X|X{RTV V, X, X, U c (V|UX)~XTV V, X, X, W c V~W{XXTV W, O, P, V c (W{O)~V{PTV W, O, U, X c (W{O)~U{XTV W, O, V, P c (W{O)~V{PTV W, O, V, V c W{O{V~VTV W, O, V, W c (W{O)~W|VTV W, O, W, V c (W{O)~W|VTV W, O, X, U c (W{O)~U{XTV W, P, O, V c (W{O)~V{PTV W, P, P, U c W~(P{U){PTV W, P, P, V c W~P~V{PTV W, P, P, W c (W|P)~W{PTV W, P, Q, T c W~(Q{T){PTV W, P, Q, V c W~V|P{QTV W, P, Q, X c W~(X|Q){PTV W, P, R, S c W~(R{S){PTV W, P, R, U c (W{P)~U{RTV W, P, S, R c W~(S{R){PTV W, P, S, U c (W{U)~S{PTV W, P, T, Q c W~(T{Q){PTV W, P, T, X c W~(P{T){XTV W, P, U, P c W~(P{U){PTV W, P, U, R c (W{P)~U{RTV W, P, U, S c (W{U)~S{PTV W, P, U, V c W{(P{U)~VTV W, P, U, W c W{P{U~WTV W, P, U, X c W~P~U{XTV W, P, V, O c W~V{P{OTV W, P, V, P c W~P~V{PTV W, P, V, Q c W~V|P{QTV W, P, V, U c (W{P)~V|UTV W, P, V, V c W{P~V~VTV W, P, V, W c (W|P)~V{WTV W, P, V, X c W~(V|P){XTV W, P, W, P c (W|P)~W{PTV W, P, W, U c W{P{W~UTV W, P, W, V c W~P~W|VTV W, P, W, W c W~W{P|WTV W, P, X, Q c W~(X|Q){PTV W, P, X, T c W~(P{T){XTV W, P, X, U c (W|P)~X|UTV W, P, X, V c W~(X|P)|VTV W, Q, P, T c W~(Q{T){PTV W, Q, P, V c W~V{Q|PTV W, Q, P, X c W~(X|Q){PTV W, Q, Q, V c W~V{QQTV W, Q, R, R c (W~Q{R)~RTV W, Q, R, T c (W{R)~T{QTV W, Q, R, U c (W{Q)~U|RTV W, Q, R, V c W~V|Q{RTV W, Q, R, X c W~Q~R{XTV W, Q, S, V c W~Q~S|VTV W, Q, S, X c W~(Q{S){XTV W, Q, T, P c W~(Q{T){PTV W, Q, T, R c (W{R)~T{QTV W, Q, T, V c W{(Q{T)~VTV W, Q, T, W c (W~W)|(Q{T)TV W, Q, U, R c (W{Q)~U|RTV W, Q, U, V c W~(Q{U)|VTV W, Q, V, P c W~V{Q|PTV W, Q, V, Q c W~V{QQTV W, Q, V, R c W~V|Q{RTV W, Q, V, S c W~Q~S|VTV W, Q, V, T c W{(Q{T)~VTV W, Q, V, U c W~(Q{U)|VTV W, Q, V, X c W{V~(X|Q)TV W, Q, W, T c (W~W)|(Q{T)TV W, Q, W, X c (W|Q)~W{XTV W, Q, X, P c W~(X|Q){PTV W, Q, X, R c (W{Q{X)~RTV W, Q, X, S c W~(Q{S){XTV W, Q, X, V c W{(X|Q)~VTV W, Q, X, W c (W|Q)~W{XTV W, R, P, S c W~(R{S){PTV W, R, P, U c (W{P)~U{RTV W, R, Q, R c (W~Q{R)~RTV W, R, Q, T c (W{R)~T{QTV W, R, Q, U c (W{RQ)~UTV W, R, Q, V c W~V{R|QTV W, R, Q, X c W~R~Q{XTV W, R, R, Q c (W~Q{R)~RTV W, R, R, T c (W~R|T)~RTV W, R, R, U c W~U{R~RTV W, R, R, V c W~V{RRTV W, R, R, W c (W{R{W)~RTV W, R, R, X c W~(R{R){XTV W, R, S, P c W~(R{S){PTV W, R, S, T c (W{S)~T|RTV W, R, S, V c W{(R{S)~VTV W, R, S, W c (W~W)|(R{S)TV W, R, T, Q c (W{R)~T{QTV W, R, T, R c (W~R|T)~RTV W, R, T, S c (W{S)~T|RTV W, R, T, U c (W{T{U)~RTV W, R, T, V c W~(R{T)|VTV W, R, T, X c (W|TR)~XTV W, R, U, P c (W{P)~U{RTV W, R, U, Q c (W{RQ)~UTV W, R, U, R c W~U{R~RTV W, R, U, T c (W{U{T)~RTV W, R, U, U c W~U{R{UTV W, R, U, X c (W{R)~U|XTV W, R, V, Q c W~V{R|QTV W, R, V, R c W~V{RRTV W, R, V, S c W{(R{S)~VTV W, R, V, T c W~(R{T)|VTV W, R, W, R c (W{R{W)~RTV W, R, W, S c (W~W)|(R{S)TV W, R, W, X c (W{W)~R{XTV W, R, X, Q c W~R~Q{XTV W, R, X, R c W~(R{R){XTV W, R, X, T c W~X|R~TTV W, R, X, U c (W{R)~U|XTV W, R, X, W c (W{W)~R{XTV W, R, X, X c W~(X|R){XTV W, S, P, R c W~(S{R){PTV W, S, P, U c (W{U)~S{PTV W, S, Q, V c W~S~Q|VTV W, S, Q, X c W~(S{Q){XTV W, S, R, P c W~(S{R){PTV W, S, R, T c (W{S)~T|RTV W, S, R, V c W{(S{R)~VTV W, S, R, W c (W~W)|(S{R)TV W, S, S, V c W~(S{S)|VTV W, S, S, X c (W{S)~S{XTV W, S, T, R c (W{S)~T|RTV W, S, T, T c W~S{T~TTV W, S, T, U c W~U{S{TTV W, S, T, V c W~V|S{TTV W, S, T, X c W{S{T~XTV W, S, U, P c (W{U)~S{PTV W, S, U, T c W~U{S{TTV W, S, U, U c (W{US)~UTV W, S, U, X c (SW{X)~UTV W, S, V, Q c W~S~Q|VTV W, S, V, R c (W{S{V)~RTV W, S, V, S c W~(S{S)|VTV W, S, V, T c W~V|S{TTV W, S, V, W c (W{W)~S|VTV W, S, W, R c (W~W)|(S{R)TV W, S, W, V c (W{W)~S|VTV W, S, X, Q c W~(S{Q){XTV W, S, X, S c (W{S)~S{XTV W, S, X, T c W{S{X~TTV W, S, X, U c (SW{X)~UTV W, T, P, Q c W~(T{Q){PTV W, T, P, X c W~(T{P){XTV W, T, Q, P c W~(T{Q){PTV W, T, Q, R c (W{R)~T{QTV W, T, Q, V c W{(T{Q)~VTV W, T, Q, W c (W~W)|(T{Q)TV W, T, R, Q c (W{R)~T{QTV W, T, R, R c (W~R|T)~RTV W, T, R, S c (W{S)~T|RTV W, T, R, U c (W{T{U)~RTV W, T, R, V c W~(T{R)|VTV W, T, R, X c (W|TR)~XTV W, T, S, R c (W{S)~T|RTV W, T, S, T c (W{T)~S{TTV W, T, S, U c W~U{T{STV W, T, S, V c W~V{T|STV W, T, S, X c W{T~X{STV W, T, T, S c (W{T)~S{TTV W, T, T, V c W~V{TTTV W, T, T, W c (W{T)~T|WTV W, T, U, R c (W{T{U)~RTV W, T, U, S c W~U{T{STV W, T, U, V c W~V|T{UTV W, T, U, X c W|T{U~XTV W, T, V, Q c W{(T{Q)~VTV W, T, V, R c W~(T{R)|VTV W, T, V, S c W~V{T|STV W, T, V, T c W~V{TTTV W, T, V, U c W~V|T{UTV W, T, W, Q c (W~W)|(T{Q)TV W, T, W, T c (W{T)~T|WTV W, T, W, X c W{T~W{XTV W, T, X, P c W~(T{P){XTV W, T, X, R c (W|TR)~XTV W, T, X, S c W{T~X{STV W, T, X, U c W|T{X~UTV W, T, X, W c W~T{X{WTV W, U, O, X c W~U{O{XTV W, U, P, P c W~(U{P){PTV W, U, P, R c (W{P)~U{RTV W, U, P, S c (W{U)~S{PTV W, U, P, V c W{(U{P)~VTV W, U, P, W c W~U{P{WTV W, U, P, X c W~U{P~XTV W, U, Q, R c (W{Q)~U|RTV W, U, Q, V c W~U{Q{VTV W, U, R, P c (W{P)~U{RTV W, U, R, Q c (W{RQ)~UTV W, U, R, R c W~U{R~RTV W, U, R, T c (W{U{T)~RTV W, U, R, U c W~U{R{UTV W, U, R, X c (W{R)~U|XTV W, U, S, P c (W{U)~S{PTV W, U, S, T c W~U{S{TTV W, U, S, U c (W{US)~UTV W, U, S, X c U~(SW{X)TV W, U, T, R c (W{U{T)~RTV W, U, T, S c W~U{T{STV W, U, T, V c W~V{U|TTV W, U, T, X c (WU{T)~XTV W, U, U, R c W~U{U{RTV W, U, U, S c (W{US)~UTV W, U, U, V c W~V{UUTV W, U, U, X c (W{XU)~UTV W, U, V, P c W{(U{P)~VTV W, U, V, Q c W~U{V{QTV W, U, V, T c W~V{U|TTV W, U, V, U c W~V{UUTV W, U, V, V c W{U~V{VTV W, U, W, P c W{U~W{PTV W, U, W, X c W~(U{XW)TV W, U, X, O c W~U{X{OTV W, U, X, P c W~U{X~PTV W, U, X, R c (W{X)~R{UTV W, U, X, S c U~(X{SW)TV W, U, X, T c W{U~X|TTV W, U, X, U c (W{XU)~UTV W, U, X, W c W~(U{XW)TV W, U, X, X c (W~X)|(U{X)TV W, V, O, P c W~V{O{PTV W, V, O, V c W{(V{O)~VTV W, V, O, W c (W{O)~W|VTV W, V, P, O c W~V{P{OTV W, V, P, P c W~V{P~PTV W, V, P, Q c W~V|P{QTV W, V, P, U c W{V~(P{U)TV W, V, P, V c W{V~P~VTV W, V, P, W c W~(V{PW)TV W, V, P, X c W~(V|P){XTV W, V, Q, P c W~V{Q|PTV W, V, Q, Q c W~V{QQTV W, V, Q, R c W~V|Q{RTV W, V, Q, S c W~Q~S|VTV W, V, Q, T c W{V~(Q{T)TV W, V, Q, U c W~(Q{U)|VTV W, V, Q, X c W{V~(X|Q)TV W, V, R, Q c W~V{R|QTV W, V, R, R c W~V{RRTV W, V, R, S c W{V~(R{S)TV W, V, R, T c W~(R{T)|VTV W, V, S, Q c W~S~Q|VTV W, V, S, R c (W{V{S)~RTV W, V, S, S c W~V{SSTV W, V, S, T c W~V|S{TTV W, V, S, W c (W{W)~S|VTV W, V, T, Q c W{V~(T{Q)TV W, V, T, R c W~(T{R)|VTV W, V, T, S c W~V{T|STV W, V, T, T c W~V{TTTV W, V, T, U c W~V|T{UTV W, V, U, P c W{V~(U{P)TV W, V, U, Q c W~U{V{QTV W, V, U, T c W~V{U|TTV W, V, U, U c W~V{UUTV W, V, U, V c W{V{U~VTV W, V, V, O c W{V~V{OTV W, V, V, P c W{V~V~PTV W, V, V, U c W{V{V~UTV W, V, V, V c W~V{VVTV W, V, V, W c W|V{V~WTV W, V, W, O c W~W|V{OTV W, V, W, P c W{V~(W|P)TV W, V, W, S c (W{W)~S|VTV W, V, W, V c W{V~W|VTV W, V, W, W c (W|VW)~WTV W, V, W, X c W~V|W{XTV W, V, X, P c W~(V|P){XTV W, V, X, Q c W{V~(X|Q)TV W, V, X, W c W~V{X|WTV W, V, X, X c W~V{XXTV W, W, O, V c W~W{O|VTV W, W, P, P c W~(W|P){PTV W, W, P, U c (W~W)|(P{U)TV W, W, P, V c W{(W|P)~VTV W, W, P, W c W~W{P|WTV W, W, Q, T c (W~W)|(Q{T)TV W, W, Q, X c W~W{Q|XTV W, W, R, R c (W{W{R)~RTV W, W, R, S c (W~W)|(R{S)TV W, W, R, X c (W{W)~R{XTV W, W, S, R c (W~W)|(S{R)TV W, W, S, V c (W{W)~S|VTV W, W, T, Q c (W~W)|(T{Q)TV W, W, T, T c (W{T)~T|WTV W, W, T, X c W{W~T{XTV W, W, U, P c W{W~U{PTV W, W, U, X c W~(U{XW)TV W, W, V, O c W~W|V{OTV W, W, V, P c W~W|V~PTV W, W, V, S c (W{W)~S|VTV W, W, V, V c W{W~V|VTV W, W, V, W c W~(W|VW)TV W, W, V, X c W~V|W{XTV W, W, W, P c W~W|W{PTV W, W, W, V c WW{W~VTV W, W, X, Q c W~W|X{QTV W, W, X, R c (W{W)~R{XTV W, W, X, T c W{W~T{XTV W, W, X, U c W~(XW{U)TV W, W, X, V c (W~X)|(W{V)TV W, X, O, U c (W{O)~U{XTV W, X, P, Q c W~(X|Q){PTV W, X, P, T c W~(P{T){XTV W, X, P, U c (W|P)~X|UTV W, X, P, V c W~(X|P)|VTV W, X, Q, P c W~(X|Q){PTV W, X, Q, R c (W{X{Q)~RTV W, X, Q, S c W~(Q{S){XTV W, X, Q, V c W{(X|Q)~VTV W, X, Q, W c (W|Q)~W{XTV W, X, R, Q c (W{X{Q)~RTV W, X, R, R c W~(R{R){XTV W, X, R, T c W~X|R~TTV W, X, R, U c (W{X)~R{UTV W, X, R, W c (W{W)~R{XTV W, X, R, X c W~(X|R){XTV W, X, S, Q c W~(S{Q){XTV W, X, S, S c (W{S)~S{XTV W, X, S, T c W{X~T{STV W, X, S, U c (X{SW)~UTV W, X, T, P c W~(T{P){XTV W, X, T, R c W~X|T~RTV W, X, T, S c W{X~T{STV W, X, T, U c W{X~U|TTV W, X, T, W c W{X{T~WTV W, X, U, O c W~U{X{OTV W, X, U, P c W~U{X~PTV W, X, U, R c (W{X)~R{UTV W, X, U, S c (X{SW)~UTV W, X, U, T c W{X~U|TTV W, X, U, U c (W{XU)~UTV W, X, U, W c W~(XW{U)TV W, X, U, X c (W~X)|(U{X)TV W, X, V, P c W~(X|P)|VTV W, X, V, Q c W{(X|Q)~VTV W, X, V, W c (W~X)|(V{W)TV W, X, V, X c W~V{XXTV W, X, W, Q c W~W|X{QTV W, X, W, R c (W{W)~R{XTV W, X, W, T c W{X{W~TTV W, X, W, U c W~(XW{U)TV W, X, W, V c (W~X)|(W{V)TV W, X, X, R c W~(X|R){XTV W, X, X, U c (W~X)|(X{U)TV W, X, X, V c W~V{XXTV X, O, R, U c (X{O)~U{RTV X, O, U, R c (X{O)~U{RTV X, O, U, V c (X{O)~V|UTV X, O, U, W c X{O{U~WTV X, O, V, U c (X{O)~V|UTV X, O, W, U c X{O{W~UTV X, P, P, V c (X|P)~V{PTV X, P, Q, R c (X~Q{P)~RTV X, P, Q, U c (X{PQ)~UTV X, P, Q, W c (X|Q)~W{PTV X, P, R, Q c (X~Q{P)~RTV X, P, R, T c X~(P{T){RTV X, P, R, U c X~(PR{U)TV X, P, R, V c X~(V|P){RTV X, P, R, X c (X{P{X)~RTV X, P, S, T c (X{T)~S{PTV X, P, S, U c X~U|P{STV X, P, T, R c X~(P{T){RTV X, P, T, S c (X{T)~S{PTV X, P, T, V c (X{P)~T{VTV X, P, T, W c X{(P{T)~WTV X, P, U, Q c (X{PQ)~UTV X, P, U, R c (X{P)~U|RTV X, P, U, S c X~U|P{STV X, P, U, U c X~(P{U)|UTV X, P, U, V c X{(P{V)~UTV X, P, U, W c X{P~U~WTV X, P, U, X c (X|P)~U{XTV X, P, V, P c (X|P)~V{PTV X, P, V, R c X~(V|P){RTV X, P, V, T c (X{P)~T{VTV X, P, V, U c X{(P{V)~UTV X, P, V, V c X|P{V~VTV X, P, V, W c (X|P)~W|VTV X, P, W, Q c (X|Q)~W{PTV X, P, W, T c X{(P{T)~WTV X, P, W, U c X{P~W~UTV X, P, W, V c (X|P)~W|VTV X, P, X, R c (X{P{X)~RTV X, P, X, U c (X|P)~U{XTV X, Q, P, R c (X~Q{P)~RTV X, Q, P, U c (X{PQ)~UTV X, Q, P, W c (X|Q)~W{PTV X, Q, Q, T c (X{Q)~T{QTV X, Q, R, P c (X~Q{P)~RTV X, Q, R, R c X~Q~R{RTV X, Q, R, S c X~(Q{S){RTV X, Q, R, T c (X{Q~T)~RTV X, Q, R, V c X~V|Q~RTV X, Q, R, W c X{Q~R~WTV X, Q, S, R c X~(Q{S){RTV X, Q, S, U c X{Q~S~UTV X, Q, S, V c (X~V)|(Q{S)TV X, Q, S, W c X{(Q{S)~WTV X, Q, T, Q c (X{Q)~T{QTV X, Q, T, R c (X{Q~T)~RTV X, Q, T, U c X~(Q{T)|UTV X, Q, U, P c X~U{Q{PTV X, Q, U, S c X{Q~U~STV X, Q, U, T c X~(Q{T)|UTV X, Q, U, U c X{(Q{U)~UTV X, Q, U, X c (X{Q)~U|XTV X, Q, V, R c X~V|Q~RTV X, Q, V, S c (X~V)|(Q{S)TV X, Q, V, W c (X|Q)~V{WTV X, Q, W, P c (X|Q)~W{PTV X, Q, W, R c (X{Q{W)~RTV X, Q, W, S c X{(Q{S)~WTV X, Q, W, V c (X|Q)~V{WTV X, Q, W, W c X{(W|Q)~WTV X, Q, X, U c (X|Q)~X|UTV X, R, O, U c (X{O)~U{RTV X, R, P, Q c (X~Q{P)~RTV X, R, P, T c X~(P{T){RTV X, R, P, U c X~(PR{U)TV X, R, P, V c X~(V|P){RTV X, R, P, X c (X{P{X)~RTV X, R, Q, P c (X~Q{P)~RTV X, R, Q, R c X~R~Q{RTV X, R, Q, S c X~(Q{S){RTV X, R, Q, T c (X{Q~T)~RTV X, R, Q, V c X~V|R~QTV X, R, Q, W c X{R~Q~WTV X, R, R, Q c X~R~Q{RTV X, R, R, R c X~(R{R){RTV X, R, R, T c (X{R)~T|RTV X, R, R, V c (X{R{V)~RTV X, R, R, W c X{(R{R)~WTV X, R, R, X c (X|R)~X{RTV X, R, S, Q c X~(S{Q){RTV X, R, S, S c X{R~S~STV X, R, S, T c X~(SR{T)TV X, R, S, U c X~(R{S)|UTV X, R, S, V c X~S{R~VTV X, R, S, X c (X{R)~S{XTV X, R, T, P c X~(T{P){RTV X, R, T, Q c (X{T~Q)~RTV X, R, T, R c (X{R)~T|RTV X, R, T, S c X~T{R~STV X, R, T, T c (X{T{T)~RTV X, R, T, U c X{(R{T)~UTV X, R, T, W c X~W|R~TTV X, R, T, X c X{R{T~XTV X, R, U, O c X~U{R{OTV X, R, U, P c X~U{R~PTV X, R, U, S c X~(R{S)|UTV X, R, U, T c X~R{U~TTV X, R, U, U c (X{RU)~UTV X, R, U, W c (X{W)~R{UTV X, R, U, X c XR{U~XTV X, R, V, P c X~(V|P){RTV X, R, V, Q c X~V|R~QTV X, R, V, R c (X{R{V)~RTV X, R, V, S c X~(VR{S)TV X, R, V, X c X{R~(V{X)TV X, R, W, Q c X{R~W~QTV X, R, W, R c (X~R|W)~RTV X, R, W, T c X~W|R~TTV X, R, W, U c (X{W)~R{UTV X, R, W, W c X{R~(W{W)TV X, R, W, X c (X|R)~W{XTV X, R, X, P c (X{X{P)~RTV X, R, X, R c (X|R)~X{RTV X, R, X, S c X{(R{X)~STV X, R, X, T c X{R{X~TTV X, R, X, U c X~(RX{U)TV X, R, X, V c X{R~(X{V)TV X, R, X, W c (X|R)~W{XTV X, S, P, T c (X{T)~S{PTV X, S, P, U c X~U{S|PTV X, S, Q, R c X~(S{Q){RTV X, S, Q, U c X{S~Q~UTV X, S, Q, V c (X~V)|(S{Q)TV X, S, Q, W c X{(S{Q)~WTV X, S, R, Q c X~(S{Q){RTV X, S, R, S c X{S~R~STV X, S, R, T c X~(SR{T)TV X, S, R, U c X~(S{R)|UTV X, S, R, V c X~S{R~VTV X, S, R, X c X{S~(R{X)TV X, S, S, R c X{S~S~RTV X, S, S, T c (X{S)~S{TTV X, S, S, U c X{(S{S)~UTV X, S, S, W c X{S~(S{W)TV X, S, T, P c (X{T)~S{PTV X, S, T, R c X~(SR{T)TV X, S, T, S c (X{S)~S{TTV X, S, T, V c X{S~(T{V)TV X, S, T, W c (X{S)~T|WTV X, S, U, P c X~U{S|PTV X, S, U, Q c X{S~U~QTV X, S, U, R c (X{S{U)~RTV X, S, U, S c X{(S{S)~UTV X, S, U, U c X{S~(U{U)TV X, S, U, V c X~U|S{VTV X, S, U, W c (X{SW)~UTV X, S, U, X c X~X|S~UTV X, S, V, Q c (X~V)|(S{Q)TV X, S, V, R c X~S{V~RTV X, S, V, T c X{S~(V{T)TV X, S, V, U c X~(V|SU)TV X, S, V, V c (X{V)~S|VTV X, S, W, Q c X{(S{Q)~WTV X, S, W, S c X{(S{W)~STV X, S, W, T c (X{S)~T|WTV X, S, W, U c (X{SW)~UTV X, S, X, R c X{S~(X{R)TV X, S, X, U c X~X|S~UTV X, T, P, R c X~(T{P){RTV X, T, P, S c (X{T)~S{PTV X, T, P, V c (X{P)~T{VTV X, T, P, W c X{(T{P)~WTV X, T, Q, Q c (X{Q)~T{QTV X, T, Q, R c (X{T~Q)~RTV X, T, Q, U c X~(T{Q)|UTV X, T, R, P c X~(T{P){RTV X, T, R, Q c (X{T~Q)~RTV X, T, R, R c (X{R)~T|RTV X, T, R, S c X~T{R~STV X, T, R, T c (X{T{T)~RTV X, T, R, U c X{(T{R)~UTV X, T, R, W c X~W|T~RTV X, T, R, X c X~T{R{XTV X, T, S, P c (X{T)~S{PTV X, T, S, R c X~T{S~RTV X, T, S, S c (X{S)~S{TTV X, T, S, V c X{(T{V)~STV X, T, S, W c X~T{S{WTV X, T, T, R c (X{T{T)~RTV X, T, T, V c X~T{T{VTV X, T, U, Q c X~T{U~QTV X, T, U, R c X{(T{R)~UTV X, T, U, U c X~T{U{UTV X, T, U, W c X~(T{WU)TV X, T, V, P c (X~V)|(T{P)TV X, T, V, S c X{(T{V)~STV X, T, V, T c X~T{V{TTV X, T, W, P c X{(T{P)~WTV X, T, W, R c X~W|T~RTV X, T, W, S c X~T{W{STV X, T, W, U c X~(T{WU)TV X, T, W, W c X{T~W{WTV X, T, X, R c X{T~X{RTV X, U, O, R c X~U{O{RTV X, U, O, V c (X{O)~V|UTV X, U, O, W c X{(U{O)~WTV X, U, P, Q c X~U{P{QTV X, U, P, R c X~U{P~RTV X, U, P, S c X~U|P{STV X, U, P, U c X~(U{P)|UTV X, U, P, V c X{U~(P{V)TV X, U, P, W c X{U~P~WTV X, U, P, X c X{U~(X|P)TV X, U, Q, P c X~U{Q{PTV X, U, Q, S c X{U~Q~STV X, U, Q, T c X~U|Q{TTV X, U, Q, U c X{(U{Q)~UTV X, U, Q, X c (X{Q)~U|XTV X, U, R, O c X~U{R{OTV X, U, R, P c X~U{R~PTV X, U, R, S c (X{U{S)~RTV X, U, R, T c X{U~(R{T)TV X, U, R, U c X~U|R{UTV X, U, R, W c (X{W)~R{UTV X, U, R, X c X~(U{RX)TV X, U, S, P c X~U{S|PTV X, U, S, Q c X{U~S~QTV X, U, S, R c (X{U{S)~RTV X, U, S, S c X{U~(S{S)TV X, U, S, U c X{(U{U)~STV X, U, S, V c X~U|S{VTV X, U, S, W c (X{SW)~UTV X, U, S, X c X~X|U~STV X, U, T, Q c X~U{T|QTV X, U, T, R c X{U~(T{R)TV X, U, T, U c X~T{U{UTV X, U, T, W c X~U|T{WTV X, U, U, P c X~(U{P)|UTV X, U, U, Q c X{U~(U{Q)TV X, U, U, R c X~U{U|RTV X, U, U, S c X{(U{U)~STV X, U, U, T c X~T{U{UTV X, U, U, V c X{U{U~VTV X, U, U, W c (XU{W)~UTV X, U, U, X c X|U{U~XTV X, U, V, O c X~V|U{OTV X, U, V, P c X{U~(V{P)TV X, U, V, S c X~U{V|STV X, U, V, U c X{U{V~UTV X, U, V, V c (X|UV)~VTV X, U, V, X c X~(V|UX)TV X, U, W, O c X{U~W{OTV X, U, W, P c X{U~W~PTV X, U, W, R c (X{W)~R{UTV X, U, W, S c (X{SW)~UTV X, U, W, T c X~U{W|TTV X, U, W, U c (XU{W)~UTV X, U, W, W c (XW{U)~WTV X, U, W, X c (X~W)|(U{X)TV X, U, X, P c X{U~(X|P)TV X, U, X, Q c X~(X|Q)|UTV X, U, X, R c X~U{XRTV X, U, X, S c X~X|U~STV X, U, X, U c X{U~X|UTV X, U, X, V c X~(V|UX)TV X, U, X, W c (X~W)|(U{X)TV X, V, O, U c X~V{O|UTV X, V, P, P c (X|P)~V{PTV X, V, P, R c X~(V|P){RTV X, V, P, T c (X~V)|(P{T)TV X, V, P, U c X{(V{P)~UTV X, V, P, V c X~V{P|VTV X, V, P, W c X{(V|P)~WTV X, V, Q, R c X~V|Q~RTV X, V, Q, S c (X~V)|(Q{S)TV X, V, Q, W c X~V{Q|WTV X, V, R, P c X~(V|P){RTV X, V, R, Q c X~V|R~QTV X, V, R, R c (X{V{R)~RTV X, V, R, S c X~(VR{S)TV X, V, R, X c (X{V)~R{XTV X, V, S, Q c (X~V)|(S{Q)TV X, V, S, R c X~(VR{S)TV X, V, S, T c X{(V{T)~STV X, V, S, U c X~(V|SU)TV X, V, S, V c (X{V)~S|VTV X, V, T, P c (X~V)|(T{P)TV X, V, T, S c X{(V{T)~STV X, V, T, T c X~T{V{TTV X, V, U, O c X~V|U{OTV X, V, U, P c X~V|U~PTV X, V, U, S c X~(V|SU)TV X, V, U, U c X{V~U{UTV X, V, U, V c (X|UV)~VTV X, V, U, X c X~(V|UX)TV X, V, V, P c X{V~V|PTV X, V, V, S c (X{V)~S|VTV X, V, V, U c (X|UV)~VTV X, V, W, P c X{(V|P)~WTV X, V, W, Q c X~V|W{QTV X, V, W, W c X{V~W|WTV X, V, W, X c XX{V~WTV X, V, X, R c X{(V{X)~RTV X, V, X, U c X~(V|UX)TV X, V, X, W c XX{V~WTV X, W, O, U c X{(W{O)~UTV X, W, P, Q c (X|Q)~W{PTV X, W, P, T c X{W~(P{T)TV X, W, P, U c X{W~P~UTV X, W, P, V c X{W~(V|P)TV X, W, Q, P c (X|Q)~W{PTV X, W, Q, R c (X{W{Q)~RTV X, W, Q, S c X{W~(Q{S)TV X, W, Q, V c (X|Q)~V{WTV X, W, Q, W c X{(W|Q)~WTV X, W, R, Q c X{W~R~QTV X, W, R, R c X{W~(R{R)TV X, W, R, T c X~W|R~TTV X, W, R, U c (X{W)~R{UTV X, W, R, W c X{(W{W)~RTV X, W, R, X c (X|WR)~XTV X, W, S, Q c X{W~(S{Q)TV X, W, S, S c X{(W{S)~STV X, W, S, T c (X{S)~T|WTV X, W, S, U c (X{SW)~UTV X, W, T, P c X{W~(T{P)TV X, W, T, R c X~W|T~RTV X, W, T, S c X~T{W{STV X, W, T, U c X~(WU{T)TV X, W, T, W c X{W{T~WTV X, W, U, O c X{W~U{OTV X, W, U, P c X{W~U~PTV X, W, U, R c (X{W)~R{UTV X, W, U, S c (X{SW)~UTV X, W, U, T c X~(WU{T)TV X, W, U, U c (XU{W)~UTV X, W, U, W c (XW{U)~WTV X, W, U, X c (X~W)|(U{X)TV X, W, V, P c X{W~(V|P)TV X, W, V, Q c X~V|W{QTV X, W, V, W c X{W~V|WTV X, W, V, X c XX{W~VTV X, W, W, Q c X{W~(W|Q)TV X, W, W, R c X{(W{W)~RTV X, W, W, T c X{W{W~TTV X, W, W, U c (XW{U)~WTV X, W, W, V c X|W{W~VTV X, W, X, R c X{W~(X|R)TV X, W, X, U c (X~W)|(X{U)TV X, W, X, V c XX{W~VTV X, X, P, R c (X{X{P)~RTV X, X, P, U c X{(X|P)~UTV X, X, Q, U c X~(X|Q)|UTV X, X, R, P c (X{X{P)~RTV X, X, R, R c (X{X)~R{RTV X, X, R, S c X{(X{R)~STV X, X, R, T c X{X~T{RTV X, X, R, U c X~(RX{U)TV X, X, R, V c X{(X{V)~RTV X, X, R, W c X{(X|R)~WTV X, X, S, R c X{(X{R)~STV X, X, S, U c X~X|S~UTV X, X, T, R c X{X~T{RTV X, X, U, P c X{(X|P)~UTV X, X, U, Q c X~(X|Q)|UTV X, X, U, R c X~U{XRTV X, X, U, S c X~X|U~STV X, X, U, U c X{X~U|UTV X, X, U, V c X~(V|UX)TV X, X, U, W c (X~W)|(X{U)TV X, X, V, R c X{(X{V)~RTV X, X, V, U c X~(V|UX)TV X, X, V, W c XX{V~WTV X, X, W, R c X~X|W~RTV X, X, W, U c (X~W)|(X{U)TV X, X, W, V c XX{W~VTV