O, O, V, W c O{O{V~WTU O, O, W, V c O{O{W~VTU O, P, U, W c (O{P{U)~WTU O, P, V, V c (O{P{V)~VTU O, P, V, W c O{P~V~WTU O, P, V, X c (O{V)~(X|P)TU O, P, W, U c (O{P{U)~WTU O, P, W, V c O{P~W~VTU O, P, W, W c (O{W|P)~WTU O, P, X, V c (O{X|P)~VTU O, Q, S, V c O{Q~S~VTU O, Q, T, W c (O{Q{T)~WTU O, Q, U, V c (O{Q{U)~VTU O, Q, U, X c O{Q{U~XTU O, Q, V, S c O{Q~V~STU O, Q, V, U c (O{Q{U)~VTU O, Q, V, W c O~Q{V~WTU O, Q, W, T c (O{Q{T)~WTU O, Q, W, V c O~Q{W~VTU O, Q, W, X c (O{W)~(X|Q)TU O, Q, X, U c O{Q{X~UTU O, Q, X, W c (O{X|Q)~WTU O, R, S, W c (O{R{S)~WTU O, R, T, V c (O{R{T)~VTU O, R, V, T c (O{R{T)~VTU O, R, V, W c O~R{V~WTU O, R, W, S c (O{R{S)~WTU O, R, W, V c O~R{W~VTU O, S, Q, V c O{S~Q~VTU O, S, R, W c (O{S{R)~WTU O, S, S, V c (O{S{S)~VTU O, S, T, X c (O{S)~(T{X)TU O, S, U, W c (O{S)~(U{W)TU O, S, V, Q c O{S~V~QTU O, S, V, S c (O{S{S)~VTU O, S, V, V c (O{S)~(V{V)TU O, S, V, W c O~S{V~WTU O, S, W, R c (O{S{R)~WTU O, S, W, U c (O{S)~(W{U)TU O, S, W, V c O~S{W~VTU O, S, X, T c (O{S)~(X{T)TU O, T, Q, W c (O{T{Q)~WTU O, T, R, V c (O{T{R)~VTU O, T, S, X c (O{T{X)~STU O, T, V, R c (O{T{R)~VTU O, T, V, W c O~T{V~WTU O, T, W, Q c (O{T{Q)~WTU O, T, W, V c O~T{W~VTU O, T, X, S c (O{T{X)~STU O, U, P, W c (O{U{P)~WTU O, U, Q, V c (O{U{Q)~VTU O, U, Q, X c O{U~X{QTU O, U, S, W c (O{U{W)~STU O, U, V, Q c (O{U{Q)~VTU O, U, V, W c O~U{V~WTU O, U, W, P c (O{U{P)~WTU O, U, W, S c (O{U{W)~STU O, U, W, V c O~U{W~VTU O, U, W, W c O{U~W{WTU O, U, X, Q c O{U~X{QTU O, V, O, W c (O{V{O)~WTU O, V, P, V c (O{V{P)~VTU O, V, P, W c O{V~P~WTU O, V, P, X c (O{V)~(X|P)TU O, V, Q, S c O{V~Q~STU O, V, Q, U c (O{V)~(Q{U)TU O, V, Q, W c O~Q{V~WTU O, V, R, T c (O{V)~(R{T)TU O, V, R, W c O~R{V~WTU O, V, S, Q c O{V~S~QTU O, V, S, S c (O{V)~(S{S)TU O, V, S, V c (O{V{V)~STU O, V, S, W c O~S{V~WTU O, V, T, R c (O{V)~(T{R)TU O, V, T, W c O~T{V~WTU O, V, U, Q c (O{V)~(U{Q)TU O, V, U, W c O~U{V~WTU O, V, V, P c (O{V)~(V{P)TU O, V, V, S c (O{V{V)~STU O, V, V, V c O{V{V~VTU O, V, V, W c O~V{V~WTU O, V, V, X c O{V~X|VTU O, V, W, O c O{V~W{OTU O, V, W, P c O{V~W~PTU O, V, W, Q c O~Q{V~WTU O, V, W, R c O~R{V~WTU O, V, W, S c O~S{V~WTU O, V, W, T c O~T{V~WTU O, V, W, U c O~U{V~WTU O, V, W, V c O~V{W~VTU O, V, W, W c O~W{V~WTU O, V, W, X c O~X{V~WTU O, V, X, P c (O{V)~(X|P)TU O, V, X, V c O{V~X|VTU O, V, X, W c O~X{V~WTU O, W, O, V c (O{W{O)~VTU O, W, P, U c (O{W)~(P{U)TU O, W, P, V c O{W~P~VTU O, W, P, W c (O{W|P)~WTU O, W, Q, T c (O{W)~(Q{T)TU O, W, Q, V c O~Q{W~VTU O, W, Q, X c (O{W)~(X|Q)TU O, W, R, S c (O{W)~(R{S)TU O, W, R, V c O~R{W~VTU O, W, S, R c (O{W)~(S{R)TU O, W, S, U c (O{W{U)~STU O, W, S, V c O~S{W~VTU O, W, T, Q c (O{W)~(T{Q)TU O, W, T, V c O~T{W~VTU O, W, U, P c (O{W)~(U{P)TU O, W, U, S c (O{W{U)~STU O, W, U, V c O~U{W~VTU O, W, U, W c O{W{U~WTU O, W, V, O c O{W~V{OTU O, W, V, P c O{W~V~PTU O, W, V, Q c O~Q{W~VTU O, W, V, R c O~R{W~VTU O, W, V, S c O~S{W~VTU O, W, V, T c O~T{W~VTU O, W, V, U c O~U{W~VTU O, W, V, V c O~V{W~VTU O, W, V, W c O~W{V~WTU O, W, V, X c O~X{W~VTU O, W, W, P c (O{W)~(W|P)TU O, W, W, U c O{W{W~UTU O, W, W, V c O~W{W~VTU O, W, W, W c O{W~W|WTU O, W, X, Q c (O{W)~(X|Q)TU O, W, X, V c O~X{W~VTU O, X, P, V c (O{X|P)~VTU O, X, Q, U c O{X~U{QTU O, X, Q, W c (O{X|Q)~WTU O, X, S, T c (O{X{T)~STU O, X, T, S c (O{X{T)~STU O, X, U, Q c O{X~U{QTU O, X, V, P c (O{X|P)~VTU O, X, V, V c O{X~V|VTU O, X, V, W c O~X{V~WTU O, X, W, Q c (O{X|Q)~WTU O, X, W, V c O~X{W~VTU P, O, U, W c (P{O{U)~WTU P, O, V, V c (P{O{V)~VTU P, O, V, W c (P{O)~(V~W)TU P, O, V, X c (O{V)~(X|P)TU P, O, W, U c (P{O{U)~WTU P, O, W, V c (P{O)~(W~V)TU P, O, W, W c (O{W|P)~WTU P, O, X, V c (O{X|P)~VTU P, P, S, V c (P{P)~(S~V)TU P, P, T, W c (P{P{T)~WTU P, P, U, V c (P{P{U)~VTU P, P, U, W c (P{P~U)~WTU P, P, U, X c P{P{U~XTU P, P, V, S c (P{P)~(V~S)TU P, P, V, U c (P{P{U)~VTU P, P, V, V c (P{P~V)~VTU P, P, V, W c P|P{V~WTU P, P, V, X c (P~V)~(X|P)TU P, P, W, T c (P{P{T)~WTU P, P, W, U c (P{P~U)~WTU P, P, W, V c P|P{W~VTU P, P, W, W c (P~W|P)~WTU P, P, W, X c (W|P)~(X|P)TU P, P, X, U c P{P{X~UTU P, P, X, V c (P~X|P)~VTU P, P, X, W c (X|P|P)~WTU P, Q, R, V c (P{R)~(Q~V)TU P, Q, R, W c (P{Q~R)~WTU P, Q, R, X c (P{R~X)~QTU P, Q, S, U c (P{U)~(Q~S)TU P, Q, S, V c P~Q~S~VTU P, Q, S, W c (P{Q{S)~WTU P, Q, T, V c (P{Q{T)~VTU P, Q, T, W c (P~Q{T)~WTU P, Q, T, X c P{(Q{X)~TTU P, Q, U, S c (P{U)~(Q~S)TU P, Q, U, U c (P{U)~(Q{U)TU P, Q, U, V c (P~Q{U)~VTU P, Q, U, W c (P{W)~U{QTU P, Q, U, X c P~Q{U~XTU P, Q, V, R c (P{R)~(Q~V)TU P, Q, V, S c P~Q~V~STU P, Q, V, T c (P{Q{T)~VTU P, Q, V, U c (P~Q{U)~VTU P, Q, V, V c (Q|P{V)~VTU P, Q, V, W c (Q|P)~(V~W)TU P, Q, V, X c (P{V)~(X|Q)TU P, Q, W, R c (P{Q~R)~WTU P, Q, W, S c (P{Q{S)~WTU P, Q, W, T c (P~Q{T)~WTU P, Q, W, U c (P{W)~U{QTU P, Q, W, V c (Q|P)~(W~V)TU P, Q, W, W c (P{W|Q)~WTU P, Q, W, X c (P~W)~(X|Q)TU P, Q, X, R c (P{X~R)~QTU P, Q, X, T c P{(Q{X)~TTU P, Q, X, U c P~Q{X~UTU P, Q, X, V c (P{X|Q)~VTU P, Q, X, W c (P~X|Q)~WTU P, Q, X, X c (X|P)~(X|Q)TU P, R, Q, V c (P{R)~(Q~V)TU P, R, Q, W c (P{R~Q)~WTU P, R, Q, X c (P{R~X)~QTU P, R, R, V c (R~R|P)~VTU P, R, R, W c (P{R{R)~WTU P, R, S, T c (R~T|P)~STU P, R, S, V c (P{R{S)~VTU P, R, S, W c (P~R{S)~WTU P, R, S, X c (R{S)~(X|P)TU P, R, T, S c (R~T|P)~STU P, R, T, U c (P{U)~(R{T)TU P, R, T, V c (P~R{T)~VTU P, R, T, W c P{(R{W)~TTU P, R, T, X c (P{R)~(T{X)TU P, R, U, T c (P{U)~(R{T)TU P, R, U, V c (R|P{U)~VTU P, R, U, W c (P{R)~(U{W)TU P, R, U, X c (PR{X)~UTU P, R, V, Q c (P{R)~(V~Q)TU P, R, V, R c (R~R|P)~VTU P, R, V, S c (P{R{S)~VTU P, R, V, T c (P~R{T)~VTU P, R, V, U c (R|P{U)~VTU P, R, V, V c (P{R)~(V{V)TU P, R, W, Q c (P{R~Q)~WTU P, R, W, R c (P{R{R)~WTU P, R, W, S c (P~R{S)~WTU P, R, W, T c P{(R{W)~TTU P, R, W, U c (P{R)~(W{U)TU P, R, W, X c (P{X|R)~WTU P, R, X, Q c (P{R~X)~QTU P, R, X, S c (R{S)~(X|P)TU P, R, X, T c (P{R)~(X{T)TU P, R, X, U c (PR{X)~UTU P, R, X, W c (P{X|R)~WTU P, S, P, V c (P{P)~(S~V)TU P, S, Q, U c (P{U)~(S~Q)TU P, S, Q, V c P~S~Q~VTU P, S, Q, W c (P{S{Q)~WTU P, S, R, T c S~(R~T|P)TU P, S, R, V c (P{S{R)~VTU P, S, R, W c (P~S{R)~WTU P, S, R, X c (S{R)~(X|P)TU P, S, S, U c (P{U)~(S{S)TU P, S, S, V c (P~S{S)~VTU P, S, S, W c (S|P{S)~WTU P, S, S, X c (P{S{X)~STU P, S, T, R c S~(T~R|P)TU P, S, T, V c P{(S{V)~TTU P, S, T, W c (P{T{W)~STU P, S, T, X c (P~S)~(T{X)TU P, S, U, Q c (P{U)~(S~Q)TU P, S, U, S c (P{U)~(S{S)TU P, S, U, V c (P{U{V)~STU P, S, U, W c (P~S)~(U{W)TU P, S, U, X c (P{X)~U|STU P, S, V, P c (P{P)~(S~V)TU P, S, V, Q c P~S~V~QTU P, S, V, R c (P{S{R)~VTU P, S, V, S c (P~S{S)~VTU P, S, V, T c P{(S{V)~TTU P, S, V, U c (P{V{U)~STU P, S, V, V c (P~S)~(V{V)TU P, S, V, W c S~(V|P{W)TU P, S, W, Q c (P{S{Q)~WTU P, S, W, R c (P~S{R)~WTU P, S, W, S c (S|P{S)~WTU P, S, W, T c (P{W{T)~STU P, S, W, U c (P~S)~(W{U)TU P, S, W, V c S~(W|P{V)TU P, S, X, R c (S{R)~(X|P)TU P, S, X, S c (P{S{X)~STU P, S, X, T c (P~S)~(X{T)TU P, S, X, U c (P{X)~U|STU P, T, P, W c (P{T{P)~WTU P, T, Q, V c (P{T{Q)~VTU P, T, Q, W c (P~T{Q)~WTU P, T, Q, X c P{T~(Q{X)TU P, T, R, S c (T~R|P)~STU P, T, R, U c (P{U)~(T{R)TU P, T, R, V c (P~T{R)~VTU P, T, R, W c P{T~(R{W)TU P, T, R, X c (P{R)~(T{X)TU P, T, S, R c (T~R|P)~STU P, T, S, V c P{T~(S{V)TU P, T, S, W c (P{T{W)~STU P, T, S, X c (P~T{X)~STU P, T, T, U c P{T~(T{U)TU P, T, T, X c (T|P)~(T{X)TU P, T, U, R c (P{U)~(T{R)TU P, T, U, T c P{(T{U)~TTU P, T, U, W c (T|P)~(U{W)TU P, T, U, X c (P{X)~T{UTU P, T, V, Q c (P{T{Q)~VTU P, T, V, R c (P~T{R)~VTU P, T, V, S c P{T~(V{S)TU P, T, V, V c (T|P)~(V{V)TU P, T, W, P c (P{T{P)~WTU P, T, W, Q c (P~T{Q)~WTU P, T, W, R c P{T~(W{R)TU P, T, W, S c (P{T{W)~STU P, T, W, U c (T|P)~(W{U)TU P, T, W, W c (P{T)~W{WTU P, T, X, Q c (P{T)~X{QTU P, T, X, R c (P{R)~(T{X)TU P, T, X, S c (P~T{X)~STU P, T, X, T c (T|P)~(X{T)TU P, T, X, U c (P{X)~T{UTU P, U, O, W c (P{U{O)~WTU P, U, P, V c (P{U{P)~VTU P, U, P, W c (P{U)~(P~W)TU P, U, P, X c P{U~X{PTU P, U, Q, S c (P{U)~(Q~S)TU P, U, Q, U c (P{U)~(Q{U)TU P, U, Q, V c (P~U{Q)~VTU P, U, Q, W c (P{W)~U{QTU P, U, Q, X c P~U~X{QTU P, U, R, T c (P{U)~(R{T)TU P, U, R, V c (U|P{R)~VTU P, U, R, W c (P{R)~(U{W)TU P, U, R, X c (PR{X)~UTU P, U, S, Q c (P{U)~(S~Q)TU P, U, S, S c (P{U)~(S{S)TU P, U, S, V c (P{U{V)~STU P, U, S, W c (P~U{W)~STU P, U, S, X c (P{X)~U|STU P, U, T, R c (P{U)~(T{R)TU P, U, T, T c P{(U{T)~TTU P, U, T, W c (U{W)~(T|P)TU P, U, T, X c (P{X)~T{UTU P, U, U, Q c (P{U)~(U{Q)TU P, U, V, P c (P{U)~(V{P)TU P, U, V, Q c (P~U{Q)~VTU P, U, V, R c (U|P{R)~VTU P, U, V, S c (P{U{V)~STU P, U, V, V c P{U{V~VTU P, U, V, W c P{U~W{VTU P, U, V, X c (P{U)~X|VTU P, U, W, O c (P{U)~(W{O)TU P, U, W, P c (P{U)~(W~P)TU P, U, W, Q c (P{W)~U{QTU P, U, W, R c (P{R)~(U{W)TU P, U, W, S c (P~U{W)~STU P, U, W, T c (U{W)~(T|P)TU P, U, W, V c P{U~W{VTU P, U, W, W c P~U~W{WTU P, U, W, X c U~W|P{XTU P, U, X, P c P{U~X{PTU P, U, X, Q c P~U~X{QTU P, U, X, R c (PR{X)~UTU P, U, X, S c (P{X)~U|STU P, U, X, T c (P{X)~T{UTU P, U, X, V c (P{U)~X|VTU P, U, X, W c U~(X|P){WTU P, V, O, V c (P{V{O)~VTU P, V, O, W c (P~V{O)~WTU P, V, O, X c (V{O)~(X|P)TU P, V, P, S c (P{P)~(V~S)TU P, V, P, U c (P{V)~(P{U)TU P, V, P, V c (P{V)~(P~V)TU P, V, P, W c (P{V|P)~WTU P, V, P, X c (P~V)~(X|P)TU P, V, Q, R c (P{R)~(V~Q)TU P, V, Q, S c P~V~Q~STU P, V, Q, T c (P{V)~(Q{T)TU P, V, Q, U c (P~V)~(Q{U)TU P, V, Q, V c (V|P{Q)~VTU P, V, Q, W c V~(Q|P)~WTU P, V, Q, X c (P{V)~(X|Q)TU P, V, R, Q c (P{R)~(V~Q)TU P, V, R, R c V~(R~R|P)TU P, V, R, S c (P{V)~(R{S)TU P, V, R, T c (P~V)~(R{T)TU P, V, R, U c V~(R|P{U)TU P, V, R, V c (P{R)~(V{V)TU P, V, S, P c (P{P)~(V~S)TU P, V, S, Q c P~V~S~QTU P, V, S, R c (P{V)~(S{R)TU P, V, S, S c (P~V)~(S{S)TU P, V, S, T c P{(V{S)~TTU P, V, S, U c (P{V{U)~STU P, V, S, V c (P~V{V)~STU P, V, S, W c (V|P{W)~STU P, V, T, Q c (P{V)~(T{Q)TU P, V, T, R c (P~V)~(T{R)TU P, V, T, S c P{(V{S)~TTU P, V, T, V c (V{V)~(T|P)TU P, V, U, P c (P{V)~(U{P)TU P, V, U, Q c (P~V)~(U{Q)TU P, V, U, R c V~(U|P{R)TU P, V, U, S c (P{V{U)~STU P, V, U, V c P{V~V{UTU P, V, U, W c P{V{U~WTU P, V, U, X c (P{U)~X|VTU P, V, V, O c (P{V)~(V{O)TU P, V, V, P c (P{V)~(V~P)TU P, V, V, Q c (V|P{Q)~VTU P, V, V, R c (P{R)~(V{V)TU P, V, V, S c (P~V{V)~STU P, V, V, T c (V{V)~(T|P)TU P, V, V, U c P{V~V{UTU P, V, V, V c P~V{V~VTU P, V, V, W c (P{W)~V|VTU P, V, V, X c P~V~X|VTU P, V, W, O c P~V~W{OTU P, V, W, P c P{V~W|PTU P, V, W, Q c (V~W)~(Q|P)TU P, V, W, S c (V|P{W)~STU P, V, W, U c P{V{W~UTU P, V, W, V c (P{W)~V|VTU P, V, W, W c (P{V)~W|WTU P, V, W, X c P{V~X|WTU P, V, X, O c V~(X|P){OTU P, V, X, P c (P~V)~(X|P)TU P, V, X, Q c (P{V)~(X|Q)TU P, V, X, U c (P{U)~X|VTU P, V, X, V c P~V~X|VTU P, V, X, W c P{V~X|WTU P, W, O, U c (P{O{U)~WTU P, W, O, V c (P~W{O)~VTU P, W, O, W c (W|P{O)~WTU P, W, P, T c (P{P{T)~WTU P, W, P, U c (P~W)~(P{U)TU P, W, P, V c (P{W|P)~VTU P, W, P, W c (P~W|P)~WTU P, W, P, X c (W|P)~(X|P)TU P, W, Q, R c (P{Q~R)~WTU P, W, Q, S c (P{Q{S)~WTU P, W, Q, T c (P~W)~(Q{T)TU P, W, Q, U c (P{W)~U{QTU P, W, Q, V c W~(Q|P)~VTU P, W, Q, W c (P{W|Q)~WTU P, W, Q, X c (P~W)~(X|Q)TU P, W, R, Q c (P{R~Q)~WTU P, W, R, R c (P{R{R)~WTU P, W, R, S c (P~W)~(R{S)TU P, W, R, T c P{(W{R)~TTU P, W, R, U c (P{R)~(W{U)TU P, W, R, X c (P{X|R)~WTU P, W, S, Q c (P{S{Q)~WTU P, W, S, R c (P~W)~(S{R)TU P, W, S, S c (W|P)~(S{S)TU P, W, S, T c (P{W{T)~STU P, W, S, U c (P~W{U)~STU P, W, S, V c (W|P{V)~STU P, W, T, P c (P{T{P)~WTU P, W, T, Q c (P~W)~(T{Q)TU P, W, T, R c P{(W{R)~TTU P, W, T, S c (P{W{T)~STU P, W, T, U c (W{U)~(T|P)TU P, W, T, W c (P{T)~W{WTU P, W, U, O c (P{U)~(W{O)TU P, W, U, P c (P~W)~(U{P)TU P, W, U, Q c (P{W)~U{QTU P, W, U, R c (P{R)~(W{U)TU P, W, U, S c (P~W{U)~STU P, W, U, T c (W{U)~(T|P)TU P, W, U, V c P{W~U{VTU P, W, U, W c P~W{U~WTU P, W, U, X c W~U|P{XTU P, W, V, O c P~W~V{OTU P, W, V, P c P{W~V|PTU P, W, V, Q c (W~V)~(Q|P)TU P, W, V, S c (W|P{V)~STU P, W, V, U c P{W~U{VTU P, W, V, V c (P{W)~V|VTU P, W, V, W c (P{V)~W|WTU P, W, V, X c P{V~X|WTU P, W, W, O c (W|P)~(W{O)TU P, W, W, P c (P~W)~(W|P)TU P, W, W, Q c (P{W|Q)~WTU P, W, W, T c (P{T)~W{WTU P, W, W, U c P~W{W~UTU P, W, W, V c (P{V)~W|WTU P, W, W, W c P~W~W|WTU P, W, W, X c P{W~W|XTU P, W, X, P c (W|P)~(X|P)TU P, W, X, Q c (P~W)~(X|Q)TU P, W, X, R c (P{X|R)~WTU P, W, X, U c W{(X|P)~UTU P, W, X, V c P{X~V|WTU P, W, X, W c P{W~W|XTU P, X, O, V c (X|P{O)~VTU P, X, P, U c P{X~U{PTU P, X, P, V c (P~X|P)~VTU P, X, P, W c (X|P|P)~WTU P, X, Q, R c (P{X~R)~QTU P, X, Q, T c P{(X{Q)~TTU P, X, Q, U c P~X~U{QTU P, X, Q, V c (P{X|Q)~VTU P, X, Q, W c (P~X|Q)~WTU P, X, Q, X c (X|P)~(X|Q)TU P, X, R, Q c (P{X~R)~QTU P, X, R, S c (X|P)~(R{S)TU P, X, R, T c (P{R)~(X{T)TU P, X, R, U c (PR{X)~UTU P, X, R, W c (P{X|R)~WTU P, X, S, R c (X|P)~(S{R)TU P, X, S, S c (P{X{S)~STU P, X, S, T c (P~X{T)~STU P, X, S, U c (P{X)~U|STU P, X, T, Q c P{(X{Q)~TTU P, X, T, R c (P{R)~(X{T)TU P, X, T, S c (P~X{T)~STU P, X, T, T c (X{T)~(T|P)TU P, X, T, U c (P{X)~T{UTU P, X, U, P c P{X~U{PTU P, X, U, Q c P~X~U{QTU P, X, U, R c (PR{X)~UTU P, X, U, S c (P{X)~U|STU P, X, U, T c (P{X)~T{UTU P, X, U, V c (P{U)~X|VTU P, X, U, W c X|P{U~WTU P, X, V, O c (X|P)~(V{O)TU P, X, V, P c (P~X|P)~VTU P, X, V, Q c (P{X|Q)~VTU P, X, V, U c (P{U)~X|VTU P, X, V, V c P~X~V|VTU P, X, V, W c P{X~V|WTU P, X, W, P c (X|P)~(W|P)TU P, X, W, Q c (P~X|Q)~WTU P, X, W, R c (P{X|R)~WTU P, X, W, U c X|P{W~UTU P, X, W, V c P{X~V|WTU P, X, W, W c P{W~W|XTU P, X, X, Q c (X|P)~(X|Q)TU Q, O, S, V c (Q{O)~(S~V)TU Q, O, T, W c (Q{O{T)~WTU Q, O, U, V c (Q{O{U)~VTU Q, O, U, X c Q{O{U~XTU Q, O, V, S c (Q{O)~(V~S)TU Q, O, V, U c (Q{O{U)~VTU Q, O, V, W c Q~O{V~WTU Q, O, W, T c (Q{O{T)~WTU Q, O, W, V c Q~O{W~VTU Q, O, W, X c (O{W)~(X|Q)TU Q, O, X, U c Q{O{X~UTU Q, O, X, W c (O{X|Q)~WTU Q, P, R, V c Q~(P{R)~VTU Q, P, R, W c (Q~R{P)~WTU Q, P, R, X c Q~(P{R~X)TU Q, P, S, U c Q~(P{U)~STU Q, P, S, V c Q~P~S~VTU Q, P, S, W c (Q{P{S)~WTU Q, P, T, V c (Q{P{T)~VTU Q, P, T, W c (Q{P~T)~WTU Q, P, T, X c Q{(P{T)~XTU Q, P, U, S c Q~(P{U)~STU Q, P, U, U c (Q{U)~(P{U)TU Q, P, U, V c (Q{P~U)~VTU Q, P, U, W c (Q|P{U)~WTU Q, P, U, X c Q{P~U~XTU Q, P, V, R c Q~(P{R)~VTU Q, P, V, S c Q~P~V~STU Q, P, V, T c (Q{P{T)~VTU Q, P, V, U c (Q{P~U)~VTU Q, P, V, V c (Q|P{V)~VTU Q, P, V, W c (Q|P)~(V~W)TU Q, P, V, X c Q{(V|P)~XTU Q, P, W, R c (Q~R{P)~WTU Q, P, W, S c (Q{P{S)~WTU Q, P, W, T c (Q{P~T)~WTU Q, P, W, U c Q{(P{W)~UTU Q, P, W, V c (Q|P)~(W~V)TU Q, P, W, W c (P{W|Q)~WTU Q, P, W, X c (P~W)~(X|Q)TU Q, P, X, R c Q~(P{X~R)TU Q, P, X, T c Q{(P{T)~XTU Q, P, X, U c Q{P~X~UTU Q, P, X, V c Q{X~(V|P)TU Q, P, X, W c (P~X|Q)~WTU Q, P, X, X c (X|Q)~(X|P)TU Q, Q, Q, V c (Q{Q)~(Q~V)TU Q, Q, R, V c (Q{Q~R)~VTU Q, Q, R, W c (Q{Q{R)~WTU Q, Q, R, X c Q{Q~R~XTU Q, Q, S, T c Q~(Q{T)~STU Q, Q, S, U c (Q{Q~U)~STU Q, Q, S, V c (Q{Q{S)~VTU Q, Q, S, W c (Q~W|Q)~STU Q, Q, S, X c Q{(Q{S)~XTU Q, Q, T, S c Q~(Q{T)~STU Q, Q, T, U c (Q{T)~(Q{U)TU Q, Q, T, V c (Q~T|Q)~VTU Q, Q, T, X c (Q{Q)~(T{X)TU Q, Q, U, S c (Q{Q~U)~STU Q, Q, U, T c (Q{U)~(Q{T)TU Q, Q, U, V c Q{(Q{V)~UTU Q, Q, U, W c (Q{Q)~(U{W)TU Q, Q, U, X c (Q{U)~(X|Q)TU Q, Q, V, Q c (Q{Q)~(V~Q)TU Q, Q, V, R c (Q{Q~R)~VTU Q, Q, V, S c (Q{Q{S)~VTU Q, Q, V, T c (Q~T|Q)~VTU Q, Q, V, U c Q{(Q{V)~UTU Q, Q, V, V c (Q{Q)~(V{V)TU Q, Q, V, W c Q|Q{V~WTU Q, Q, V, X c V~(X|QQ)TU Q, Q, W, R c (Q{Q{R)~WTU Q, Q, W, S c (Q~W|Q)~STU Q, Q, W, U c (Q{Q)~(W{U)TU Q, Q, W, V c Q|Q{W~VTU Q, Q, W, W c (W|QQ)~WTU Q, Q, W, X c Q{(W|Q)~XTU Q, Q, X, R c Q{Q~X~RTU Q, Q, X, S c Q{(Q{S)~XTU Q, Q, X, T c (Q{Q)~(X{T)TU Q, Q, X, U c (Q{U)~(X|Q)TU Q, Q, X, V c (X|QQ)~VTU Q, Q, X, W c Q{X~(W|Q)TU Q, R, P, V c Q~(R{P)~VTU Q, R, P, W c (Q~R{P)~WTU Q, R, P, X c Q~(R~X{P)TU Q, R, Q, V c (Q{R~Q)~VTU Q, R, Q, W c (Q{R{Q)~WTU Q, R, Q, X c Q{R~Q~XTU Q, R, R, U c Q{R~R~UTU Q, R, R, V c (Q{R{R)~VTU Q, R, R, W c (R~R|Q)~WTU Q, R, R, X c Q{(R{R)~XTU Q, R, S, S c (Q{R~S)~STU Q, R, S, U c (Q{U)~(R{S)TU Q, R, S, W c (Q~R{W)~STU Q, R, S, X c (Q{R{X)~STU Q, R, T, T c Q~(R{T~T)TU Q, R, T, W c (Q~T|R)~WTU Q, R, T, X c (R{T)~(X|Q)TU Q, R, U, R c Q{R~U~RTU Q, R, U, S c (Q{U)~(R{S)TU Q, R, U, U c Q{(R{U)~UTU Q, R, U, W c (R|Q{U)~WTU Q, R, V, P c Q~(R{P)~VTU Q, R, V, Q c (Q{R~Q)~VTU Q, R, V, R c (Q{R{R)~VTU Q, R, V, V c Q~(R~V{V)TU Q, R, V, W c (R|Q)~(V~W)TU Q, R, V, X c (Q{X|R)~VTU Q, R, W, P c (Q~R{P)~WTU Q, R, W, Q c (Q{R{Q)~WTU Q, R, W, R c (R~R|Q)~WTU Q, R, W, S c (Q~R{W)~STU Q, R, W, T c (Q~T|R)~WTU Q, R, W, U c (R|Q{U)~WTU Q, R, W, V c (R|Q)~(W~V)TU Q, R, W, W c Q~R~W{WTU Q, R, X, P c Q~(R~X{P)TU Q, R, X, Q c Q{R~X~QTU Q, R, X, R c Q{(R{R)~XTU Q, R, X, S c (Q{R{X)~STU Q, R, X, T c (R{T)~(X|Q)TU Q, R, X, V c (Q{X|R)~VTU Q, R, X, X c Q{R~(X{X)TU Q, S, O, V c (Q~S{O)~VTU Q, S, P, U c (Q~S)~(P{U)TU Q, S, P, V c Q~S~P~VTU Q, S, P, W c (Q{S{P)~WTU Q, S, Q, T c (Q~S)~(Q{T)TU Q, S, Q, U c (Q{Q~U)~STU Q, S, Q, V c (Q{S{Q)~VTU Q, S, Q, W c (Q~W|Q)~STU Q, S, Q, X c Q{(S{Q)~XTU Q, S, R, S c (Q{S~R)~STU Q, S, R, U c (Q{U)~(S{R)TU Q, S, R, W c Q~(S{R~W)TU Q, S, R, X c (Q{R{X)~STU Q, S, S, R c (Q~S)~(S{R)TU Q, S, S, S c (S~S|Q)~STU Q, S, S, T c (Q{T)~(S{S)TU Q, S, S, U c Q~(S{S~U)TU Q, S, S, V c (S|Q)~(S~V)TU Q, S, S, W c (Q{S{W)~STU Q, S, S, X c (Q~X|S)~STU Q, S, T, Q c (Q~S)~(T{Q)TU Q, S, T, S c (Q{T)~(S{S)TU Q, S, T, U c Q{(S{T)~UTU Q, S, T, V c (Q{T{V)~STU Q, S, T, W c Q~(S~T{W)TU Q, S, U, P c (Q~S)~(U{P)TU Q, S, U, Q c (Q{U~Q)~STU Q, S, U, R c (Q{U)~(S{R)TU Q, S, U, S c (Q~S{U)~STU Q, S, U, T c Q{(S{T)~UTU Q, S, U, U c (Q{U{U)~STU Q, S, U, V c (Q~U|S)~VTU Q, S, U, W c Q~S{U~WTU Q, S, U, X c S|Q{U~XTU Q, S, V, O c Q~S~V{OTU Q, S, V, P c Q~S~V~PTU Q, S, V, Q c (Q{S{Q)~VTU Q, S, V, S c (S|Q)~(V~S)TU Q, S, V, T c (Q{V{T)~STU Q, S, V, U c (Q~U|S)~VTU Q, S, V, W c (Q~V)~(W|S)TU Q, S, V, X c S~(V|Q{X)TU Q, S, W, P c (Q~S)~(W|P)TU Q, S, W, Q c (Q~W|Q)~STU Q, S, W, R c Q~(S{W~R)TU Q, S, W, S c (Q{S{W)~STU Q, S, W, T c Q~(S~T{W)TU Q, S, W, U c Q~S{W~UTU Q, S, W, V c Q~(W|S)~VTU Q, S, W, W c (Q{S)~W{WTU Q, S, W, X c Q~(S~X|W)TU Q, S, X, Q c (Q{S)~X{QTU Q, S, X, R c (Q{X{R)~STU Q, S, X, S c (Q~X|S)~STU Q, S, X, U c S|Q{X~UTU Q, S, X, V c S~(X|Q{V)TU Q, S, X, W c Q~(S~X|W)TU Q, T, O, W c (Q{T{O)~WTU Q, T, P, V c (Q{T{P)~VTU Q, T, P, W c (Q{T)~(P~W)TU Q, T, P, X c Q{(T{P)~XTU Q, T, Q, S c (Q{T)~(Q~S)TU Q, T, Q, U c (Q{T)~(Q{U)TU Q, T, Q, V c (Q~T|Q)~VTU Q, T, Q, X c Q~(T{X)~QTU Q, T, R, T c (Q{T)~(R{T)TU Q, T, R, W c (Q~T|R)~WTU Q, T, R, X c (T{R)~(X|Q)TU Q, T, S, Q c (Q{T)~(S~Q)TU Q, T, S, S c (Q{T)~(S{S)TU Q, T, S, U c Q{(T{S)~UTU Q, T, S, V c (Q{T{V)~STU Q, T, S, W c Q~(T~S{W)TU Q, T, T, R c (Q{T)~(T{R)TU Q, T, T, U c Q~T~T{UTU Q, T, T, V c (T|Q{T)~VTU Q, T, U, Q c (Q{T)~(U{Q)TU Q, T, U, S c Q~T~U|STU Q, T, U, T c Q~T~T{UTU Q, T, U, V c (T{UQ)~VTU Q, T, U, W c (Q~U|T)~WTU Q, T, U, X c (T{X)~(U|Q)TU Q, T, V, P c (Q{T)~(V{P)TU Q, T, V, Q c (Q~T|Q)~VTU Q, T, V, S c (Q{T{V)~STU Q, T, V, T c (T|Q{T)~VTU Q, T, V, U c (T{UQ)~VTU Q, T, V, V c Q{T{V~VTU Q, T, V, X c (Q{T)~X|VTU Q, T, W, O c (Q{T)~(W{O)TU Q, T, W, P c (Q{T)~(W~P)TU Q, T, W, R c (Q~T|R)~WTU Q, T, W, S c Q~(T~S{W)TU Q, T, W, U c (Q{W)~T{UTU Q, T, W, W c Q~W{T~WTU Q, T, W, X c (T{X)Q~WTU Q, T, X, P c (Q{T)~(X|P)TU Q, T, X, Q c Q~(T{X)~QTU Q, T, X, R c (T{R)~(X|Q)TU Q, T, X, U c (T{X)~(U|Q)TU Q, T, X, V c (Q{T)~X|VTU Q, T, X, W c (T{X)Q~WTU Q, T, X, X c Q{T~X{XTU Q, U, O, V c (Q{U{O)~VTU Q, U, O, X c Q{(U{O)~XTU Q, U, P, S c Q~(U{P)~STU Q, U, P, U c (Q{U)~(P{U)TU Q, U, P, V c (Q{U)~(P~V)TU Q, U, P, W c (Q{U|P)~WTU Q, U, P, X c Q{U~P~XTU Q, U, Q, S c (Q{U~Q)~STU Q, U, Q, T c (Q{U)~(Q{T)TU Q, U, Q, V c Q{U~(Q{V)TU Q, U, Q, W c Q~(U{W)~QTU Q, U, Q, X c (Q{U)~(X|Q)TU Q, U, R, R c Q{U~R~RTU Q, U, R, S c (Q{U)~(R{S)TU Q, U, R, U c Q{(U{R)~UTU Q, U, R, W c (U|Q{R)~WTU Q, U, S, P c Q~(U{P)~STU Q, U, S, Q c (Q{U~Q)~STU Q, U, S, R c (Q{U)~(S{R)TU Q, U, S, S c Q~(U~S{S)TU Q, U, S, T c Q{U~(S{T)TU Q, U, S, U c (Q{U{U)~STU Q, U, S, V c (Q~U|S)~VTU Q, U, S, W c Q~U~S{WTU Q, U, S, X c U~X|Q{STU Q, U, T, Q c (Q{U)~(T{Q)TU Q, U, T, S c Q{U~(T{S)TU Q, U, T, T c Q~T~T{UTU Q, U, T, V c (UQ{T)~VTU Q, U, T, W c (Q~U|T)~WTU Q, U, T, X c (U|Q)~(T{X)TU Q, U, U, P c (Q{U)~(U{P)TU Q, U, U, R c Q{U~(U{R)TU Q, U, U, S c (Q{U{U)~STU Q, U, U, W c Q{U{U~WTU Q, U, U, X c (QU{X)~UTU Q, U, V, O c (Q{U)~(V{O)TU Q, U, V, P c (Q{U)~(V~P)TU Q, U, V, Q c Q{U~(V{Q)TU Q, U, V, S c (Q~U|S)~VTU Q, U, V, T c (UQ{T)~VTU Q, U, V, V c Q~V{U~VTU Q, U, W, P c Q{U~(W{P)TU Q, U, W, Q c Q~(U{W)~QTU Q, U, W, R c (U|Q{R)~WTU Q, U, W, S c Q~U~S{WTU Q, U, W, T c (Q~U|T)~WTU Q, U, W, U c Q{U{W~UTU Q, U, W, W c (Q{U)~W|WTU Q, U, X, O c Q{U~X{OTU Q, U, X, P c Q{U~X~PTU Q, U, X, Q c (Q{U)~(X|Q)TU Q, U, X, S c U~X|Q{STU Q, U, X, T c (U|Q)~(X{T)TU Q, U, X, U c (QU{X)~UTU Q, U, X, X c (QX{U)~XTU Q, V, O, S c (Q~V{O)~STU Q, V, O, U c (Q{O{U)~VTU Q, V, O, W c Q~O{V~WTU Q, V, P, R c (Q~V)~(P{R)TU Q, V, P, S c Q~V~P~STU Q, V, P, T c (Q~V)~(T|P)TU Q, V, P, U c (Q{P~U)~VTU Q, V, P, V c (Q{V|P)~VTU Q, V, P, W c (Q|P)~(V~W)TU Q, V, P, X c Q{(V|P)~XTU Q, V, Q, Q c (Q~V)~(Q{Q)TU Q, V, Q, R c (Q{Q~R)~VTU Q, V, Q, S c (Q{Q{S)~VTU Q, V, Q, T c (Q~T|Q)~VTU Q, V, Q, U c Q{(V{Q)~UTU Q, V, Q, V c Q~(V{V)~QTU Q, V, Q, W c (Q{V|Q)~WTU Q, V, Q, X c V~(X|QQ)TU Q, V, R, P c (Q~V)~(R{P)TU Q, V, R, Q c (Q{R~Q)~VTU Q, V, R, R c (Q{R{R)~VTU Q, V, R, V c Q~(V{R~V)TU Q, V, R, W c V~(R|Q)~WTU Q, V, R, X c (Q{X|R)~VTU Q, V, S, O c Q~V~S{OTU Q, V, S, P c Q~V~S~PTU Q, V, S, Q c (Q{S{Q)~VTU Q, V, S, S c VQ~S~STU Q, V, S, T c (Q{V{T)~STU Q, V, S, U c (Q~U|S)~VTU Q, V, S, W c (Q~V)~(W|S)TU Q, V, S, X c (V|Q{X)~STU Q, V, T, P c (Q~V)~(T|P)TU Q, V, T, Q c (Q~T|Q)~VTU Q, V, T, S c (Q{V{T)~STU Q, V, T, T c V~(T|Q{T)TU Q, V, T, U c V~(T{UQ)TU Q, V, T, V c Q~(V~T|V)TU Q, V, T, X c (Q~V)~(X|T)TU Q, V, U, O c (Q{U)~(V{O)TU Q, V, U, P c (Q{U)~(V~P)TU Q, V, U, Q c (Q{V)~U{QTU Q, V, U, S c (Q~U|S)~VTU Q, V, U, T c V~(UQ{T)TU Q, V, U, V c Q~V{U~VTU Q, V, V, P c (Q{V|P)~VTU Q, V, V, Q c Q~(V{V)~QTU Q, V, V, R c Q~(V{V~R)TU Q, V, V, T c Q{V~V{TTU Q, V, V, U c Q~V{V~UTU Q, V, V, V c (Q{V)~V|VTU Q, V, V, W c (Q~V|V)~WTU Q, V, V, X c (VQ)~(V{X)TU Q, V, W, O c Q~O{V~WTU Q, V, W, P c (Q|P)~(V~W)TU Q, V, W, Q c Q{V~W|QTU Q, V, W, R c (V~W)~(R|Q)TU Q, V, W, S c (Q~V)~(W|S)TU Q, V, W, V c (Q~V|V)~WTU Q, V, W, W c (Q~W|W)~VTU Q, V, X, P c Q{(V|P)~XTU Q, V, X, Q c V~(X|QQ)TU Q, V, X, R c (Q{X|R)~VTU Q, V, X, S c (V|Q{X)~STU Q, V, X, T c (Q~V)~(X|T)TU Q, V, X, V c (VQ)~(X{V)TU Q, V, X, X c Q{V~X|XTU Q, W, O, T c (Q{O{T)~WTU Q, W, O, V c Q~O{W~VTU Q, W, O, X c (W{O)~(X|Q)TU Q, W, P, R c (Q~R{P)~WTU Q, W, P, S c Q~(W|P)~STU Q, W, P, T c (Q{P~T)~WTU Q, W, P, U c Q{(W{P)~UTU Q, W, P, V c (Q|P)~(W~V)TU Q, W, P, W c (W|Q{P)~WTU Q, W, P, X c (W~P)~(X|Q)TU Q, W, Q, R c (Q{Q{R)~WTU Q, W, Q, S c (Q~W|Q)~STU Q, W, Q, U c Q~(W{U)~QTU Q, W, Q, V c (Q{W|Q)~VTU Q, W, Q, W c (W|QQ)~WTU Q, W, Q, X c Q{(W|Q)~XTU Q, W, R, P c (Q~R{P)~WTU Q, W, R, Q c (Q{R{Q)~WTU Q, W, R, R c W~(R~R|Q)TU Q, W, R, S c Q~(W~R{S)TU Q, W, R, T c (Q~T|R)~WTU Q, W, R, U c W~(R|Q{U)TU Q, W, R, V c W~(R|Q)~VTU Q, W, R, W c (Q{W|R)~WTU Q, W, S, P c Q~(W|P)~STU Q, W, S, Q c (Q~W|Q)~STU Q, W, S, R c Q~(W~R{S)TU Q, W, S, S c (Q{W{S)~STU Q, W, S, T c Q~(W{S~T)TU Q, W, S, U c (Q{W)~U|STU Q, W, S, V c Q~(W|S)~VTU Q, W, S, W c Q~W~S|WTU Q, W, S, X c Q~(S~X|W)TU Q, W, T, O c (Q{T)~(W{O)TU Q, W, T, P c (Q{T)~(W~P)TU Q, W, T, R c (Q~T|R)~WTU Q, W, T, S c Q~(W{T~S)TU Q, W, T, U c (Q{W)~T{UTU Q, W, T, W c Q~W{T~WTU Q, W, T, X c (WQ)~(T{X)TU Q, W, U, P c Q{(W{P)~UTU Q, W, U, Q c Q~(W{U)~QTU Q, W, U, R c W~(U|Q{R)TU Q, W, U, S c (Q{W)~U|STU Q, W, U, T c (Q{W)~T{UTU Q, W, U, U c Q{W~U{UTU Q, W, U, W c (Q{U)~W|WTU Q, W, V, O c Q~O{W~VTU Q, W, V, P c (Q|P)~(W~V)TU Q, W, V, Q c Q{W~V|QTU Q, W, V, R c (W~V)~(R|Q)TU Q, W, V, S c Q~(W|S)~VTU Q, W, V, V c (Q~V|V)~WTU Q, W, V, W c (Q~W|W)~VTU Q, W, W, P c (W|Q{P)~WTU Q, W, W, Q c (W|QQ)~WTU Q, W, W, R c (Q{W|R)~WTU Q, W, W, S c Q~W~S|WTU Q, W, W, T c Q~W{W~TTU Q, W, W, U c (Q{U)~W|WTU Q, W, W, V c (Q~W|W)~VTU Q, W, W, W c (W|Q)~W{WTU Q, W, W, X c (Q~W|X)~WTU Q, W, X, O c W~(X|Q){OTU Q, W, X, P c W~(X|Q)~PTU Q, W, X, Q c Q{(W|Q)~XTU Q, W, X, S c (Q{X|S)~WTU Q, W, X, T c (WQ)~(X{T)TU Q, W, X, W c (Q~W|X)~WTU Q, X, O, U c Q{(X{O)~UTU Q, X, O, W c (X|Q{O)~WTU Q, X, P, R c Q~(X~R{P)TU Q, X, P, T c Q{X~(P{T)TU Q, X, P, U c Q{X~P~UTU Q, X, P, V c Q{X~(V|P)TU Q, X, P, W c (X|Q)~(P~W)TU Q, X, P, X c (X|Q)~(X|P)TU Q, X, Q, R c Q{X~Q~RTU Q, X, Q, S c Q{X~(Q{S)TU Q, X, Q, T c Q~(X{T)~QTU Q, X, Q, U c (Q{U)~(X|Q)TU Q, X, Q, V c (X|QQ)~VTU Q, X, Q, W c Q{X~(W|Q)TU Q, X, R, P c Q~(X~R{P)TU Q, X, R, Q c Q{X~R~QTU Q, X, R, R c Q{X~(R{R)TU Q, X, R, S c (Q{X{R)~STU Q, X, R, T c (X|Q)~(R{T)TU Q, X, R, V c (Q{X|R)~VTU Q, X, R, X c Q{(X|R)~XTU Q, X, S, Q c Q{X~(S{Q)TU Q, X, S, R c (Q{X{R)~STU Q, X, S, S c (Q~X|S)~STU Q, X, S, U c X~U|Q{STU Q, X, S, V c (X|Q{V)~STU Q, X, S, W c (Q{X|S)~WTU Q, X, T, P c (Q{X)~T{PTU Q, X, T, Q c Q~(X{T)~QTU Q, X, T, R c (X|Q)~(T{R)TU Q, X, T, U c (X{T)~(U|Q)TU Q, X, T, V c Q~(X|T)~VTU Q, X, T, W c (X{T)Q~WTU Q, X, T, X c Q{X{T~XTU Q, X, U, O c Q{X~U{OTU Q, X, U, P c Q{X~U~PTU Q, X, U, Q c (Q{U)~(X|Q)TU Q, X, U, S c X~U|Q{STU Q, X, U, T c (X{T)~(U|Q)TU Q, X, U, U c (QU{X)~UTU Q, X, U, X c (QX{U)~XTU Q, X, V, P c Q{X~(V|P)TU Q, X, V, Q c (X|QQ)~VTU Q, X, V, R c (Q{X|R)~VTU Q, X, V, S c (X|Q{V)~STU Q, X, V, T c Q~(X|T)~VTU Q, X, V, V c X|Q{V~VTU Q, X, V, X c Q{X~V|XTU Q, X, W, O c (X|Q)~(W{O)TU Q, X, W, P c (X|Q)~(W~P)TU Q, X, W, Q c Q{X~(W|Q)TU Q, X, W, S c (Q{X|S)~WTU Q, X, W, T c (X{T)Q~WTU Q, X, W, W c (Q~W|X)~WTU Q, X, X, P c (X|Q)~(X|P)TU Q, X, X, R c Q{(X{X)~RTU Q, X, X, T c Q{X{X~TTU Q, X, X, U c (QX{U)~XTU Q, X, X, V c Q{X~V|XTU R, O, S, W c (R{O{S)~WTU R, O, T, V c (R{O{T)~VTU R, O, V, T c (R{O{T)~VTU R, O, V, W c R~O{V~WTU R, O, W, S c (R{O{S)~WTU R, O, W, V c R~O{W~VTU R, P, Q, V c (R{P)~(Q~V)TU R, P, Q, W c (R~Q{P)~WTU R, P, Q, X c (R~X{P)~QTU R, P, R, V c (R~R|P)~VTU R, P, R, W c (R{P{R)~WTU R, P, S, T c (R~T|P)~STU R, P, S, V c (R{P{S)~VTU R, P, S, W c (R{P~S)~WTU R, P, S, X c (R{S)~(X|P)TU R, P, T, S c (R~T|P)~STU R, P, T, U c (R{T)~(P{U)TU R, P, T, V c (R{P~T)~VTU R, P, T, W c (R|P{T)~WTU R, P, T, X c (R{P)~(T{X)TU R, P, U, T c (R{T)~(P{U)TU R, P, U, V c (R|P{U)~VTU R, P, U, W c (R{P)~(U{W)TU R, P, U, X c R|P{U~XTU R, P, V, Q c (R{P)~(V~Q)TU R, P, V, R c (R~R|P)~VTU R, P, V, S c (R|P)~(V~S)TU R, P, V, T c (R{P~T)~VTU R, P, V, U c (R|P{U)~VTU R, P, V, V c (R{P)~(V{V)TU R, P, W, Q c (R~Q{P)~WTU R, P, W, R c (R{P{R)~WTU R, P, W, S c (R{P~S)~WTU R, P, W, T c (R|P{T)~WTU R, P, W, U c (R{P)~(W{U)TU R, P, W, X c (P{X|R)~WTU R, P, X, Q c (R~X{P)~QTU R, P, X, S c (R{S)~(X|P)TU R, P, X, T c (R{P)~(X{T)TU R, P, X, U c R|P{X~UTU R, P, X, W c (P{X|R)~WTU R, Q, P, V c (R{P)~(Q~V)TU R, Q, P, W c (R~Q{P)~WTU R, Q, P, X c (R~X{P)~QTU R, Q, Q, V c (R~Q{Q)~VTU R, Q, Q, W c (R{Q{Q)~WTU R, Q, Q, X c R~Q~X{QTU R, Q, R, U c R~R~U{QTU R, Q, R, V c (R{Q{R)~VTU R, Q, R, W c (R~R|Q)~WTU R, Q, R, X c (R{R)~X{QTU R, Q, S, S c (R{S)~(Q~S)TU R, Q, S, U c (R{S)~(Q{U)TU R, Q, S, W c (R~Q{W)~STU R, Q, S, X c (R{Q{X)~STU R, Q, T, T c (R{T)~(Q{T)TU R, Q, T, W c (Q~T|R)~WTU R, Q, T, X c (R{T)~(X|Q)TU R, Q, U, R c R~U~R{QTU R, Q, U, S c (R{S)~(Q{U)TU R, Q, U, U c (R{U)~U{QTU R, Q, U, W c (R|Q{U)~WTU R, Q, V, P c (R{P)~(Q~V)TU R, Q, V, Q c (R~Q{Q)~VTU R, Q, V, R c (R{Q{R)~VTU R, Q, V, V c (R|Q{V)~VTU R, Q, V, W c (R|Q)~(V~W)TU R, Q, V, X c (Q{X|R)~VTU R, Q, W, P c (R~Q{P)~WTU R, Q, W, Q c (R{Q{Q)~WTU R, Q, W, R c (R~R|Q)~WTU R, Q, W, S c (R~Q{W)~STU R, Q, W, T c (Q~T|R)~WTU R, Q, W, U c (R|Q{U)~WTU R, Q, W, V c (R|Q)~(W~V)TU R, Q, W, W c R~Q~W{WTU R, Q, X, P c (R~X{P)~QTU R, Q, X, Q c R~Q~X{QTU R, Q, X, R c (R{R)~X{QTU R, Q, X, S c (R{Q{X)~STU R, Q, X, T c (R{T)~(X|Q)TU R, Q, X, V c (Q{X|R)~VTU R, Q, X, X c R~(X{X){QTU R, R, P, V c (R~R|P)~VTU R, R, P, W c (R{R{P)~WTU R, R, Q, U c R~R~U{QTU R, R, Q, V c (R{R{Q)~VTU R, R, Q, W c (R~R|Q)~WTU R, R, Q, X c (R{R)~X{QTU R, R, S, T c (R~R{T)~STU R, R, S, W c (R{R{W)~STU R, R, T, S c (R~R{T)~STU R, R, U, Q c R~R~U{QTU R, R, U, W c (RR{U)~WTU R, R, V, P c (R~R|P)~VTU R, R, V, Q c (R{R{Q)~VTU R, R, V, V c R~R~V|VTU R, R, V, W c R|R{V~WTU R, R, V, X c V~(X|RR)TU R, R, W, P c (R{R{P)~WTU R, R, W, Q c (R~R|Q)~WTU R, R, W, S c (R{R{W)~STU R, R, W, U c (RR{U)~WTU R, R, W, V c R|R{W~VTU R, R, W, W c (R{R)~W{WTU R, R, X, Q c (R{R)~X{QTU R, R, X, V c (X|RR)~VTU R, S, O, W c (R{S{O)~WTU R, S, P, T c (R~T|P)~STU R, S, P, V c (R{S{P)~VTU R, S, P, W c (R{S)~(P~W)TU R, S, P, X c (R{S)~(X|P)TU R, S, Q, S c (R{S)~(Q~S)TU R, S, Q, U c (R{S)~(Q{U)TU R, S, Q, W c (R~Q{W)~STU R, S, Q, X c (R{Q{X)~STU R, S, R, T c (R{S)~(R{T)TU R, S, R, W c (R{R{W)~STU R, S, S, Q c (R{S)~(S~Q)TU R, S, S, S c (R{S)~(S{S)TU R, S, S, T c R~S~T|STU R, S, S, U c (R~U|S)~STU R, S, S, V c (R~S|S)~VTU R, S, S, W c R~S~S{WTU R, S, T, P c (R~T|P)~STU R, S, T, R c (R{S)~(T{R)TU R, S, T, S c R~S~T|STU R, S, T, U c (R{T{U)~STU R, S, T, V c S~(T|R)~VTU R, S, T, W c (R~S|T)~WTU R, S, T, X c (R{X)~T|STU R, S, U, Q c (R{S)~(U{Q)TU R, S, U, S c (R~U|S)~STU R, S, U, T c (R{U{T)~STU R, S, U, V c (R{V)~U|STU R, S, U, W c (S|R{U)~WTU R, S, V, P c (R{S)~(V{P)TU R, S, V, S c (R{S{V)~STU R, S, V, T c (S~V)~(T|R)TU R, S, V, U c (R{V)~U|STU R, S, V, V c R{S{V~VTU R, S, V, W c (S|R)~(V~W)TU R, S, V, X c (R{S)~X|VTU R, S, W, O c (R{S)~(W{O)TU R, S, W, P c (R{S)~(W~P)TU R, S, W, Q c (R~W{S)~QTU R, S, W, R c (R{W{R)~STU R, S, W, S c R~S~S{WTU R, S, W, T c (R~S|T)~WTU R, S, W, U c (SR{W)~UTU R, S, W, V c (S|R)~(W~V)TU R, S, W, W c (R{W|S)~WTU R, S, W, X c (R{X)~S{WTU R, S, X, P c (R{S)~(X|P)TU R, S, X, Q c (R{X{Q)~STU R, S, X, T c (R{X)~T|STU R, S, X, V c (R{S)~X|VTU R, S, X, W c (R{X)~S{WTU R, T, O, V c (R{T{O)~VTU R, T, P, S c (R~T|P)~STU R, T, P, U c (R{T)~(P{U)TU R, T, P, V c (R{T)~(P~V)TU R, T, P, W c (R{T|P)~WTU R, T, P, X c (R{P)~(T{X)TU R, T, Q, T c (R{T)~(Q{T)TU R, T, Q, W c (T~Q|R)~WTU R, T, Q, X c (R{T)~(X|Q)TU R, T, R, S c (R{T)~(R{S)TU R, T, S, P c (R~T|P)~STU R, T, S, R c (R{T)~(S{R)TU R, T, S, S c R~T~S|STU R, T, S, U c (R{T{U)~STU R, T, S, V c (T|R)~(S~V)TU R, T, S, W c (R~S|T)~WTU R, T, S, X c (R{X)~T|STU R, T, T, Q c (R{T)~(T{Q)TU R, T, T, W c (T|R{T)~WTU R, T, U, P c (R{T)~(U{P)TU R, T, U, S c (R{T{U)~STU R, T, U, V c (R{V)~T{UTU R, T, U, W c R{T{U~WTU R, T, U, X c T|R{U~XTU R, T, V, O c (R{T)~(V{O)TU R, T, V, P c (R{T)~(V~P)TU R, T, V, S c (T|R)~(V~S)TU R, T, V, U c (R{V)~T{UTU R, T, V, V c (R~T|V)~VTU R, T, V, X c (T{XR)~VTU R, T, W, P c (R{T)~(W|P)TU R, T, W, Q c (T~Q|R)~WTU R, T, W, S c (R~S|T)~WTU R, T, W, T c (T|R{T)~WTU R, T, W, U c R{T{W~UTU R, T, W, W c (R{T)~W|WTU R, T, W, X c R{T~X{WTU R, T, X, P c (R{P)~(T{X)TU R, T, X, Q c (R{T)~(X|Q)TU R, T, X, S c (R{X)~T|STU R, T, X, U c T|R{X~UTU R, T, X, V c (T{XR)~VTU R, T, X, W c R{T~X{WTU R, U, P, T c (R{T)~(U{P)TU R, U, P, V c (R{U|P)~VTU R, U, P, W c (R{P)~(U{W)TU R, U, P, X c R{U~X|PTU R, U, Q, R c R~U~R{QTU R, U, Q, S c (R{S)~(U{Q)TU R, U, Q, U c (R{U)~U{QTU R, U, Q, W c (R{U|Q)~WTU R, U, R, Q c R~U~R{QTU R, U, R, W c (RR{U)~WTU R, U, S, Q c (R{S)~(U{Q)TU R, U, S, S c (R~U|S)~STU R, U, S, T c (R{U{T)~STU R, U, S, V c (R{V)~U|STU R, U, S, W c (U|R{S)~WTU R, U, T, P c (R{T)~(U{P)TU R, U, T, S c (R{U{T)~STU R, U, T, V c (R{V)~T{UTU R, U, T, W c R{U~W{TTU R, U, T, X c U~X|R{TTU R, U, U, Q c (R{U)~U{QTU R, U, U, V c (UR{U)~VTU R, U, U, X c UR{U~XTU R, U, V, P c (R{U|P)~VTU R, U, V, S c (R{V)~U|STU R, U, V, T c (R{V)~T{UTU R, U, V, U c (UR{U)~VTU R, U, V, V c (R{U)~V|VTU R, U, V, W c (U{W)~(V|R)TU R, U, W, P c (R{P)~(U{W)TU R, U, W, Q c (R{U|Q)~WTU R, U, W, R c (RR{U)~WTU R, U, W, S c (U|R{S)~WTU R, U, W, T c R{U~W{TTU R, U, W, V c (U{W)~(V|R)TU R, U, W, X c W~(X|UR)TU R, U, X, P c R{U~X|PTU R, U, X, T c U~X|R{TTU R, U, X, U c UR{X~UTU R, U, X, W c (X|UR)~WTU R, U, X, X c (RX{X)~UTU R, V, O, T c (R{O{T)~VTU R, V, O, W c R~O{V~WTU R, V, P, Q c (R{P)~(V~Q)TU R, V, P, R c (R~R|P)~VTU R, V, P, S c (R|P)~(V~S)TU R, V, P, T c (R{P~T)~VTU R, V, P, U c (R|P{U)~VTU R, V, P, V c (R{P)~(V{V)TU R, V, Q, P c (R{P)~(V~Q)TU R, V, Q, Q c (R~Q{Q)~VTU R, V, Q, R c (R{Q{R)~VTU R, V, Q, V c (R{V|Q)~VTU R, V, Q, W c (R|Q)~(V~W)TU R, V, Q, X c V~(Q{X|R)TU R, V, R, P c (R~R|P)~VTU R, V, R, Q c (R{R{Q)~VTU R, V, R, V c R~V~R|VTU R, V, R, W c (R{V|R)~WTU R, V, R, X c V~(X|RR)TU R, V, S, P c (R{S)~(V{P)TU R, V, S, S c (R{V{S)~STU R, V, S, T c (V~S)~(T|R)TU R, V, S, U c (R{V)~U|STU R, V, S, V c R{V~V{STU R, V, S, W c V~(S|R)~WTU R, V, S, X c (R{S)~X|VTU R, V, T, O c (R{T)~(V{O)TU R, V, T, P c (R{T)~(V~P)TU R, V, T, S c V~(T|R)~STU R, V, T, U c (R{V)~T{UTU R, V, T, V c R~V{T~VTU R, V, T, X c (V|R)~(T{X)TU R, V, U, P c (R{U|P)~VTU R, V, U, S c (R{V)~U|STU R, V, U, T c (R{V)~T{UTU R, V, U, U c V~(UR{U)TU R, V, U, V c (R{U)~V|VTU R, V, U, W c (V|R)~(U{W)TU R, V, V, P c (R{P)~(V{V)TU R, V, V, Q c (R~V{V)~QTU R, V, V, R c R~V~R|VTU R, V, V, S c R{V~V{STU R, V, V, T c R~V{V~TTU R, V, V, U c (R{U)~V|VTU R, V, V, V c (V|R)~(V{V)TU R, V, W, O c R~O{V~WTU R, V, W, Q c (R|Q)~(V~W)TU R, V, W, R c R{V~W|RTU R, V, W, S c (V~W)~(S|R)TU R, V, W, U c (V|R)~(W{U)TU R, V, W, X c R~(V{X){WTU R, V, X, Q c V~(X|R{Q)TU R, V, X, R c V~(X|RR)TU R, V, X, S c (R{X|S)~VTU R, V, X, T c (V|R)~(X{T)TU R, V, X, W c R~(V{X){WTU R, W, O, S c (R{O{S)~WTU R, W, O, V c R~O{W~VTU R, W, P, Q c (R~Q{P)~WTU R, W, P, R c (R{P{R)~WTU R, W, P, S c (R{P~S)~WTU R, W, P, T c (R{W)~T{PTU R, W, P, U c (R{P)~(W{U)TU R, W, P, X c W~(P{X|R)TU R, W, Q, P c (R~Q{P)~WTU R, W, Q, Q c (R{Q{Q)~WTU R, W, Q, R c (R~R|Q)~WTU R, W, Q, S c (R~W{S)~QTU R, W, Q, T c W~(Q~T|R)TU R, W, Q, U c (R|Q{U)~WTU R, W, Q, V c (R|Q)~(W~V)TU R, W, Q, W c (R{WQ)~WTU R, W, R, P c (R{R{P)~WTU R, W, R, Q c (R~R|Q)~WTU R, W, R, S c (R{W{R)~STU R, W, R, U c (RR{U)~WTU R, W, R, V c (R{W|R)~VTU R, W, R, W c (R{R)~W{WTU R, W, S, O c (R{S)~(W{O)TU R, W, S, P c (R{S)~(W~P)TU R, W, S, Q c (R~W{S)~QTU R, W, S, R c (R{W{R)~STU R, W, S, S c R~S~S{WTU R, W, S, T c (R~S|T)~WTU R, W, S, U c (W{SR)~UTU R, W, S, V c W~(S|R)~VTU R, W, S, W c (R{W|S)~WTU R, W, S, X c (R{X)~S{WTU R, W, T, P c (R{W)~T{PTU R, W, T, Q c W~(T~Q|R)TU R, W, T, S c (R~S|T)~WTU R, W, T, T c W~(T|R{T)TU R, W, T, U c R{W~U{TTU R, W, T, W c (R{T)~W|WTU R, W, T, X c R{W{T~XTU R, W, U, P c (R{P)~(W{U)TU R, W, U, Q c (R{U|Q)~WTU R, W, U, R c (RR{U)~WTU R, W, U, S c W~(U|R{S)TU R, W, U, T c R{W~U{TTU R, W, U, V c (W{U)~(V|R)TU R, W, U, X c W~(X|UR)TU R, W, V, O c R~O{W~VTU R, W, V, Q c (R|Q)~(W~V)TU R, W, V, R c R{W~V|RTU R, W, V, S c (W~V)~(S|R)TU R, W, V, U c (W{U)~(V|R)TU R, W, V, X c R~(V{X){WTU R, W, W, Q c (R{WQ)~WTU R, W, W, R c (R{R)~W{WTU R, W, W, S c R~W{W~STU R, W, W, T c (R{T)~W|WTU R, W, W, W c R~(W{W){WTU R, W, W, X c W{W~(X|R)TU R, W, X, P c W~(X|R{P)TU R, W, X, S c (R{X)~S{WTU R, W, X, T c R{W{X~TTU R, W, X, U c W~(X|UR)TU R, W, X, V c R~(X{V){WTU R, W, X, W c W{(X|R)~WTU R, X, P, Q c (R~X{P)~QTU R, X, P, S c (R{S)~(X|P)TU R, X, P, T c (R{P)~(X{T)TU R, X, P, U c R{X~U|PTU R, X, P, W c (X|R{P)~WTU R, X, Q, P c (R~X{P)~QTU R, X, Q, Q c R~X~Q{QTU R, X, Q, R c (R{R)~X{QTU R, X, Q, S c (R{X{Q)~STU R, X, Q, T c (R{T)~(X|Q)TU R, X, Q, V c (X|R{Q)~VTU R, X, Q, X c R~(X{X){QTU R, X, R, Q c (R{R)~X{QTU R, X, R, V c (X|RR)~VTU R, X, S, P c (R{S)~(X|P)TU R, X, S, Q c (R{X{Q)~STU R, X, S, T c (R{X)~T|STU R, X, S, V c (R{X|S)~VTU R, X, S, W c (R{X)~S{WTU R, X, T, P c (R{P)~(X{T)TU R, X, T, Q c (R{T)~(X|Q)TU R, X, T, S c (R{X)~T|STU R, X, T, U c X~U|R{TTU R, X, T, V c (XR{T)~VTU R, X, T, W c (R{X|T)~WTU R, X, U, P c R{X~U|PTU R, X, U, T c X~U|R{TTU R, X, U, U c X~U{URTU R, X, U, W c (X|UR)~WTU R, X, U, X c (RX{X)~UTU R, X, V, Q c (X|R{Q)~VTU R, X, V, R c (X|RR)~VTU R, X, V, S c (R{X|S)~VTU R, X, V, T c (XR{T)~VTU R, X, V, W c R~(X{V){WTU R, X, W, P c (X|R{P)~WTU R, X, W, S c (R{X)~S{WTU R, X, W, T c R~(X{W){TTU R, X, W, U c (X|UR)~WTU R, X, W, V c R~(X{V){WTU R, X, W, W c (X|R)~W{WTU R, X, X, Q c R~(X{X){QTU R, X, X, U c (RX{X)~UTU S, O, Q, V c (S{O)~(Q~V)TU S, O, R, W c (S{O{R)~WTU S, O, S, V c (S{O{S)~VTU S, O, T, X c (S{O)~(T{X)TU S, O, U, W c (S{O)~(U{W)TU S, O, V, Q c (S{O)~(V~Q)TU S, O, V, S c (S{O{S)~VTU S, O, V, V c (S{O)~(V{V)TU S, O, V, W c S~O{V~WTU S, O, W, R c (S{O{R)~WTU S, O, W, U c (S{O)~(W{U)TU S, O, W, V c S~O{W~VTU S, O, X, T c (S{O)~(X{T)TU S, P, P, V c S~(P{P)~VTU S, P, Q, U c S~(P{U)~QTU S, P, Q, V c S~P~Q~VTU S, P, Q, W c (S{P{Q)~WTU S, P, R, T c S~(R~T|P)TU S, P, R, V c (S{P{R)~VTU S, P, R, W c (S{P~R)~WTU S, P, R, X c (S{R)~(X|P)TU S, P, S, U c (S{S)~(P{U)TU S, P, S, V c (S{P~S)~VTU S, P, S, W c (S|P{S)~WTU S, P, S, X c S~(P{S{X)TU S, P, T, R c S~(T~R|P)TU S, P, T, V c (S|P{T)~VTU S, P, T, W c S~(P{T{W)TU S, P, T, X c (S~P)~(T{X)TU S, P, U, Q c S~(P{U)~QTU S, P, U, S c (S{S)~(P{U)TU S, P, U, V c S~(P{U{V)TU S, P, U, W c (S~P)~(U{W)TU S, P, U, X c S~(U|P{X)TU S, P, V, P c S~(P{P)~VTU S, P, V, Q c S~P~V~QTU S, P, V, R c (S{P{R)~VTU S, P, V, S c (S{P~S)~VTU S, P, V, T c (S|P{T)~VTU S, P, V, U c S~(P{V{U)TU S, P, V, V c (S~P)~(V{V)TU S, P, V, W c S~(V|P{W)TU S, P, W, Q c (S{P{Q)~WTU S, P, W, R c (S{P~R)~WTU S, P, W, S c (S|P{S)~WTU S, P, W, T c S~(P{W{T)TU S, P, W, U c (S~P)~(W{U)TU S, P, W, V c S~(W|P{V)TU S, P, X, R c (S{R)~(X|P)TU S, P, X, S c (S{P{X)~STU S, P, X, T c (S~P)~(X{T)TU S, P, X, U c S~(X|P{U)TU S, Q, O, V c (S~Q{O)~VTU S, Q, P, U c (S~Q)~(P{U)TU S, Q, P, V c S~Q~P~VTU S, Q, P, W c (S{Q{P)~WTU S, Q, Q, T c (S~Q)~(Q{T)TU S, Q, Q, U c S~(Q{Q~U)TU S, Q, Q, V c (S{Q{Q)~VTU S, Q, Q, W c S~(Q~W|Q)TU S, Q, Q, X c (S{Q)~X{QTU S, Q, R, S c S~(Q{R~S)TU S, Q, R, U c (S{R)~(Q{U)TU S, Q, R, W c S~(Q~R{W)TU S, Q, R, X c S~(Q{R{X)TU S, Q, S, R c S~(Q{S~R)TU S, Q, S, S c (S~S|Q)~STU S, Q, S, T c (S{Q~T)~STU S, Q, S, U c S~(Q~S{U)TU S, Q, S, V c (S|Q)~(S~V)TU S, Q, S, W c S~(Q{S{W)TU S, Q, S, X c S~(Q~X|S)TU S, Q, T, Q c S~(Q{T)~QTU S, Q, T, S c (S{Q~T)~STU S, Q, T, U c (S{T)~U{QTU S, Q, T, V c S~(Q{T{V)TU S, Q, T, W c (S|Q{T)~WTU S, Q, U, P c (S~Q)~(U{P)TU S, Q, U, Q c S~(Q{U~Q)TU S, Q, U, R c (S{R)~(Q{U)TU S, Q, U, S c (S~Q{U)~STU S, Q, U, T c (S{T)~U{QTU S, Q, U, U c S~(Q{U{U)TU S, Q, U, V c (S|Q{U)~VTU S, Q, U, W c S~Q{U~WTU S, Q, U, X c S|Q{U~XTU S, Q, V, O c S~Q~V{OTU S, Q, V, P c S~Q~V~PTU S, Q, V, Q c (S{Q{Q)~VTU S, Q, V, S c (S|Q)~(V~S)TU S, Q, V, T c S~(Q{V{T)TU S, Q, V, U c (S|Q{U)~VTU S, Q, V, W c (S{WQ)~VTU S, Q, V, X c S~(V|Q{X)TU S, Q, W, P c (S~Q)~(W|P)TU S, Q, W, Q c S~(Q~W|Q)TU S, Q, W, R c S~(Q~R{W)TU S, Q, W, S c (S{Q{W)~STU S, Q, W, T c (S|Q{T)~WTU S, Q, W, U c S~Q{W~UTU S, Q, W, V c (S{WQ)~VTU S, Q, W, W c (S{Q)~W{WTU S, Q, W, X c (S~X|W)~QTU S, Q, X, Q c (S{Q)~X{QTU S, Q, X, R c S~(Q{X{R)TU S, Q, X, S c S~(Q~X|S)TU S, Q, X, U c S|Q{X~UTU S, Q, X, V c S~(X|Q{V)TU S, Q, X, W c (S~X|W)~QTU S, R, O, W c (S{R{O)~WTU S, R, P, T c S~(R~T|P)TU S, R, P, V c (S{R{P)~VTU S, R, P, W c (S{R)~(P~W)TU S, R, P, X c (S{R)~(X|P)TU S, R, Q, S c (S{R)~(Q~S)TU S, R, Q, U c (S{R)~(Q{U)TU S, R, Q, W c S~(R~Q{W)TU S, R, Q, X c S~(R{Q{X)TU S, R, R, T c (S{R)~(R{T)TU S, R, R, W c S~(R{R{W)TU S, R, S, Q c (S{R)~(S~Q)TU S, R, S, S c (S{R)~(S{S)TU S, R, S, T c S~R~T|STU S, R, S, U c S~(R~U|S)TU S, R, S, V c S~(R{S{V)TU S, R, S, W c S~R~S{WTU S, R, T, P c S~(R~T|P)TU S, R, T, R c (S{R)~(T{R)TU S, R, T, S c S~R~T|STU S, R, T, U c S~(R{T{U)TU S, R, T, V c S~(T|R)~VTU S, R, T, W c (S~R|T)~WTU S, R, T, X c (R{X)~T|STU S, R, U, Q c (S{R)~(U{Q)TU S, R, U, S c S~(R~U|S)TU S, R, U, T c S~(R{U{T)TU S, R, U, V c SR~U~VTU S, R, U, W c (S|R{U)~WTU S, R, V, P c (S{R)~(V{P)TU S, R, V, S c (S{R{V)~STU S, R, V, T c (S~V)~(T|R)TU S, R, V, U c SR~V~UTU S, R, V, V c S{R{V~VTU S, R, V, W c (S|R)~(V~W)TU S, R, V, X c (S{R)~X|VTU S, R, W, O c (S{R)~(W{O)TU S, R, W, P c (S{R)~(W~P)TU S, R, W, Q c (S{R~W)~QTU S, R, W, R c S~(R{W{R)TU S, R, W, S c S~R~S{WTU S, R, W, T c (S~R|T)~WTU S, R, W, U c (SR{W)~UTU S, R, W, V c (S|R)~(W~V)TU S, R, W, W c S~W{R~WTU S, R, W, X c S~(R{X){WTU S, R, X, P c (S{R)~(X|P)TU S, R, X, Q c S~(R{X{Q)TU S, R, X, T c (R{X)~T|STU S, R, X, V c (S{R)~X|VTU S, R, X, W c S~(R{X){WTU S, S, O, V c (S{S{O)~VTU S, S, P, U c (S{S)~(P{U)TU S, S, P, V c (S{S)~(P~V)TU S, S, P, W c (S{S|P)~WTU S, S, P, X c S~(S{P{X)TU S, S, Q, R c S~(S{R)~QTU S, S, Q, S c (S~S|Q)~STU S, S, Q, T c (S{S)~(Q{T)TU S, S, Q, U c S~(S~Q{U)TU S, S, Q, V c S~(S|Q)~VTU S, S, Q, W c S~(S{Q{W)TU S, S, Q, X c (S{S)~(X|Q)TU S, S, R, Q c S~(S{R)~QTU S, S, R, S c (S{S)~(R{S)TU S, S, R, T c S~R~T|STU S, S, R, U c S~(R~U|S)TU S, S, R, V c S~(S{R{V)TU S, S, R, W c S~S~R{WTU S, S, S, Q c S~(S~S|Q)TU S, S, S, R c (S{S)~(S{R)TU S, S, S, U c S~(S{S{U)TU S, S, S, W c S~S~S|WTU S, S, S, X c S{S~(S{X)TU S, S, T, Q c (S{S)~(T{Q)TU S, S, T, R c S~T~R|STU S, S, T, T c S~(S{T{T)TU S, S, T, U c S~(S~T|U)TU S, S, T, W c S{S~(T{W)TU S, S, T, X c S~T{S~XTU S, S, U, P c (S{S)~(U{P)TU S, S, U, Q c (S{S~U)~QTU S, S, U, R c S~(U~R|S)TU S, S, U, S c (S{S{U)~STU S, S, U, T c S~(S~T|U)TU S, S, U, U c (S{U)~U|STU S, S, U, V c S{S~(U{V)TU S, S, U, W c S{S{U~WTU S, S, U, X c S~(U{X)|STU S, S, V, O c (S{S)~(V{O)TU S, S, V, P c (S{S)~(V~P)TU S, S, V, Q c S~S~VQTU S, S, V, R c S~(S{V{R)TU S, S, V, U c S{S~(V{U)TU S, S, V, V c (SS{V)~VTU S, S, V, W c S|S{V~WTU S, S, V, X c V~(X|SS)TU S, S, W, P c (S{S)~(W|P)TU S, S, W, Q c S~(S{W{Q)TU S, S, W, R c S~S~R{WTU S, S, W, S c S~S~S|WTU S, S, W, T c S{S~(W{T)TU S, S, W, U c S{S{W~UTU S, S, W, V c S|S{W~VTU S, S, W, W c (S{S)~W|WTU S, S, W, X c (S~S|X)~WTU S, S, X, P c S~(S{X{P)TU S, S, X, Q c (S{S)~(X|Q)TU S, S, X, S c S{(S{X)~STU S, S, X, T c S~X{S~TTU S, S, X, U c S~(X{U)|STU S, S, X, V c (X|SS)~VTU S, S, X, W c (S~S|X)~WTU S, S, X, X c S~(X|S{X)TU S, T, O, X c S~(T{O{X)TU S, T, P, R c S~(T~R|P)TU S, T, P, V c (S{T|P)~VTU S, T, P, W c S~(T{P{W)TU S, T, P, X c S~(T{P~X)TU S, T, Q, Q c S~(T{Q)~QTU S, T, Q, S c (S{T~Q)~STU S, T, Q, U c (S{T)~U{QTU S, T, Q, V c S~(T{Q{V)TU S, T, Q, W c (S{T|Q)~WTU S, T, R, P c S~(T~R|P)TU S, T, R, R c S~(T{R~R)TU S, T, R, S c S~T~R|STU S, T, R, U c S~(T{R{U)TU S, T, R, V c S~(T|R)~VTU S, T, R, W c (S~R|T)~WTU S, T, R, X c T~(R{X)|STU S, T, S, Q c (S{T~Q)~STU S, T, S, R c S~T~R|STU S, T, S, T c S~(T{S{T)TU S, T, S, U c S~(T~S|U)TU S, T, S, W c S{(T{W)~STU S, T, S, X c S~T{S~XTU S, T, T, S c (S{T{T)~STU S, T, T, U c (T{T)~U|STU S, T, T, V c T~(T{V)|STU S, T, U, Q c (S{T)~U{QTU S, T, U, R c S~(T{U{R)TU S, T, U, S c (S~T|U)~STU S, T, U, T c (T{T)~U|STU S, T, U, U c S~T{U~UTU S, T, U, W c (T|S{U)~WTU S, T, V, P c (S{T|P)~VTU S, T, V, Q c S~(T{V{Q)TU S, T, V, R c S~(T|R)~VTU S, T, V, T c (T{V)~T|STU S, T, V, V c (S{T)~V|VTU S, T, V, W c S~(T{V){WTU S, T, V, X c S{T~X{VTU S, T, W, P c S~(T{W{P)TU S, T, W, Q c (S~T{W)~QTU S, T, W, R c (S~R|T)~WTU S, T, W, S c S{(T{W)~STU S, T, W, U c (T|S{U)~WTU S, T, W, V c S~(T{V){WTU S, T, W, W c (S{W|T)~WTU S, T, W, X c (T{X)~(W|S)TU S, T, X, O c S~(T{X){OTU S, T, X, P c S~(T{X)~PTU S, T, X, R c T~(X{R)|STU S, T, X, S c S~T{X~STU S, T, X, V c S{T~X{VTU S, T, X, W c (T{X)~(W|S)TU S, T, X, X c (S{X)~T|XTU S, U, O, W c S~(U{O{W)TU S, U, P, Q c S~(U{P)~QTU S, U, P, S c (S{S)~(U{P)TU S, U, P, V c S~(U{P{V)TU S, U, P, W c S~(U{P~W)TU S, U, P, X c S~(U|P{X)TU S, U, Q, P c S~(U{P)~QTU S, U, Q, Q c S~(U~Q{Q)TU S, U, Q, R c (S{R)~(U{Q)TU S, U, Q, S c S~(U{Q~S)TU S, U, Q, T c (S{T)~U{QTU S, U, Q, U c S~(U{Q{U)TU S, U, Q, V c (S{U|Q)~VTU S, U, Q, W c (S{UQ)~WTU S, U, Q, X c S{U~X|QTU S, U, R, Q c (S{R)~(U{Q)TU S, U, R, S c S~(U~R|S)TU S, U, R, T c S~(U{R{T)TU S, U, R, V c S~UR~VTU S, U, R, W c (S{U|R)~WTU S, U, S, P c (S{S)~(U{P)TU S, U, S, Q c (S{U~S)~QTU S, U, S, R c S~(U~R|S)TU S, U, S, S c (S{U{S)~STU S, U, S, T c S~(S~T|U)TU S, U, S, U c (S{U)~U|STU S, U, S, V c S~(U|S)~VTU S, U, S, W c S~U{S~WTU S, U, S, X c S~(U{X)|STU S, U, T, Q c (S{T)~U{QTU S, U, T, R c S~(U{T{R)TU S, U, T, S c (S~T|U)~STU S, U, T, T c U~(T{T)|STU S, U, T, U c (S{U)~T{UTU S, U, T, W c (U|S{T)~WTU S, U, U, Q c S~(U{U{Q)TU S, U, U, S c (S{U)~U|STU S, U, U, T c (S{U)~T{UTU S, U, U, V c (U|S{U)~VTU S, U, U, W c S~(U{U){WTU S, U, U, X c U|S{U~XTU S, U, V, P c S~(U{V{P)TU S, U, V, Q c (S{U|Q)~VTU S, U, V, R c S~U~VRTU S, U, V, S c S{(U{V)~STU S, U, V, U c (U|S{U)~VTU S, U, V, W c (S~V)~(W|U)TU S, U, W, O c S~(U{W){OTU S, U, W, P c S~(U{W)~PTU S, U, W, Q c (S{UQ)~WTU S, U, W, R c (S{U|R)~WTU S, U, W, S c S{U~W{STU S, U, W, T c (U|S{T)~WTU S, U, W, U c S~(U{U){WTU S, U, W, V c S~(W|U)~VTU S, U, W, W c (U{W)~(W|S)TU S, U, W, X c (S{X|U)~WTU S, U, X, P c S~(U{X|P)TU S, U, X, Q c S{U~X|QTU S, U, X, S c S~(U{X)|STU S, U, X, U c U|S{X~UTU S, U, X, W c (S{X|U)~WTU S, V, O, Q c (S~V{O)~QTU S, V, O, S c (S{O{S)~VTU S, V, O, V c S~(V{O{V)TU S, V, O, W c S~O{V~WTU S, V, P, P c (S~V)~(P{P)TU S, V, P, Q c S~V~P~QTU S, V, P, R c (S~V)~(R|P)TU S, V, P, S c (S{P~S)~VTU S, V, P, T c (S{V)~T{PTU S, V, P, U c S~(V{P{U)TU S, V, P, V c S~(V{P~V)TU S, V, P, W c S~(V|P{W)TU S, V, Q, O c S~V~Q{OTU S, V, Q, P c S~V~Q~PTU S, V, Q, Q c (S{Q{Q)~VTU S, V, Q, S c S~VQ~STU S, V, Q, T c S~(V{Q{T)TU S, V, Q, U c (S|Q{U)~VTU S, V, Q, W c (S{WQ)~VTU S, V, Q, X c S~(V|Q{X)TU S, V, R, P c (S~V)~(R|P)TU S, V, R, S c (S{V{R)~STU S, V, R, T c (S~V)~(T|R)TU S, V, R, U c S~VR~UTU S, V, R, V c (S{V|R)~VTU S, V, R, W c (S|R)~(V~W)TU S, V, R, X c (S{R)~X|VTU S, V, S, O c (S{S)~(V{O)TU S, V, S, P c (S{S)~(V~P)TU S, V, S, Q c (S~V)~(S|Q)TU S, V, S, R c S~(V{S{R)TU S, V, S, U c S{(V{U)~STU S, V, S, V c S~V{S~VTU S, V, S, W c (S{V|S)~WTU S, V, S, X c V~(X|SS)TU S, V, T, P c (S{V)~T{PTU S, V, T, Q c S~(V{T{Q)TU S, V, T, R c (S~V)~(T|R)TU S, V, T, T c (V{T)~T|STU S, V, T, V c S~(V|T)~VTU S, V, T, W c S~(V{T){WTU S, V, T, X c S{V{T~XTU S, V, U, P c S~(V{U{P)TU S, V, U, Q c (S{U|Q)~VTU S, V, U, R c S~V~URTU S, V, U, S c S{(V{U)~STU S, V, U, U c V~(U|S{U)TU S, V, U, W c (S~V)~(W|U)TU S, V, V, O c S~(V{V){OTU S, V, V, P c S~(V{V)~PTU S, V, V, R c S{V~V{RTU S, V, V, S c S~V{V~STU S, V, V, T c (S~V)~(V|T)TU S, V, V, W c (V{V)~(W|S)TU S, V, V, X c (S~V)~(X|V)TU S, V, W, O c S~O{V~WTU S, V, W, P c S~(V{W|P)TU S, V, W, Q c (S{WQ)~VTU S, V, W, R c (S|R)~(V~W)TU S, V, W, S c S{V~W|STU S, V, W, T c S~(V{T){WTU S, V, W, U c (S~V)~(W|U)TU S, V, W, V c (V{V)~(W|S)TU S, V, W, X c S~(V{X)|WTU S, V, X, Q c S~(V{X|Q)TU S, V, X, R c (S{R)~X|VTU S, V, X, S c V~(X|SS)TU S, V, X, T c S{V{X~TTU S, V, X, V c (S~V)~(X|V)TU S, V, X, W c S~(V{X)|WTU S, W, O, R c (S{O{R)~WTU S, W, O, U c S~(W{O{U)TU S, W, O, V c S~O{W~VTU S, W, P, Q c S~(W|P)~QTU S, W, P, R c (S{P~R)~WTU S, W, P, S c (S|P{S)~WTU S, W, P, T c S~(W{P{T)TU S, W, P, U c S~(W{P~U)TU S, W, P, V c S~(W|P{V)TU S, W, Q, P c S~(W|P)~QTU S, W, Q, Q c S~(W~Q|Q)TU S, W, Q, R c S~(W{Q~R)TU S, W, Q, S c (S{W{Q)~STU S, W, Q, T c (S|Q{T)~WTU S, W, Q, U c S~Q{W~UTU S, W, Q, V c (S{WQ)~VTU S, W, Q, W c S~(W|Q{W)TU S, W, Q, X c (S~X|W)~QTU S, W, R, O c (S{R)~(W{O)TU S, W, R, P c (S{R)~(W~P)TU S, W, R, Q c (S{W~R)~QTU S, W, R, R c S~(W{R{R)TU S, W, R, S c S~R~S{WTU S, W, R, T c (S~R|T)~WTU S, W, R, U c (SR{W)~UTU S, W, R, V c (S|R)~(W~V)TU S, W, R, W c S~W{R~WTU S, W, R, X c S~(W|R{X)TU S, W, S, P c (S{S)~(W|P)TU S, W, S, Q c S~(W{S{Q)TU S, W, S, R c S~S~R{WTU S, W, S, S c S~S~S|WTU S, W, S, T c S{(W{T)~STU S, W, S, U c S~W{S~UTU S, W, S, V c (S{W|S)~VTU S, W, S, W c (S{W)~S{WTU S, W, S, X c (S~S|X)~WTU S, W, T, P c S~(W{T{P)TU S, W, T, Q c (S~T{W)~QTU S, W, T, R c (S~R|T)~WTU S, W, T, S c S{(W{T)~STU S, W, T, U c W~(T|S{U)TU S, W, T, V c S~(T{V){WTU S, W, T, W c (S{W|T)~WTU S, W, T, X c (W|S)~(T{X)TU S, W, U, O c S~(W{U){OTU S, W, U, P c S~(W{U)~PTU S, W, U, Q c (S{UQ)~WTU S, W, U, R c (S{U|R)~WTU S, W, U, S c S{W~U{STU S, W, U, T c W~(U|S{T)TU S, W, U, U c S~(U{U){WTU S, W, U, V c S~(W|U)~VTU S, W, U, W c (W|S)~(U{W)TU S, W, U, X c (S{X|U)~WTU S, W, V, O c S~O{W~VTU S, W, V, P c S~(W{V|P)TU S, W, V, Q c (S{WQ)~VTU S, W, V, R c (S|R)~(W~V)TU S, W, V, S c S{W~V|STU S, W, V, T c S~(V{T){WTU S, W, V, U c S~(W|U)~VTU S, W, V, V c (W|S)~(V{V)TU S, W, V, X c S~(V{X)|WTU S, W, W, Q c S~(W{W|Q)TU S, W, W, R c S~W{W~RTU S, W, W, S c (S{W)~S{WTU S, W, W, T c (S{W|T)~WTU S, W, W, U c (W|S)~(W{U)TU S, W, W, W c S~(W{W)|WTU S, W, W, X c W~(X|WS)TU S, W, X, Q c (S~X|W)~QTU S, W, X, R c S~(W{X|R)TU S, W, X, S c (S~S|X)~WTU S, W, X, T c (W|S)~(X{T)TU S, W, X, U c (S{X|U)~WTU S, W, X, V c S~(X{V)|WTU S, W, X, W c W~(X|WS)TU S, X, O, T c S~(X{O{T)TU S, X, P, R c (S{R)~(X|P)TU S, X, P, S c (S{X{P)~STU S, X, P, T c S~(X{P~T)TU S, X, P, U c S~(X|P{U)TU S, X, Q, Q c S~(X|Q)~QTU S, X, Q, R c S~(X{Q{R)TU S, X, Q, S c S~(X~Q|S)TU S, X, Q, U c S{X~U|QTU S, X, Q, V c S~(X|Q{V)TU S, X, Q, W c (S~X|W)~QTU S, X, R, P c (S{R)~(X|P)TU S, X, R, Q c S~(X{R{Q)TU S, X, R, T c (X{R)~T|STU S, X, R, V c (S{R)~X|VTU S, X, R, W c (S{XR)~WTU S, X, S, P c S~(X{S{P)TU S, X, S, Q c S~(X~Q|S)TU S, X, S, S c S{(X{S)~STU S, X, S, T c S~X{S~TTU S, X, S, U c S~(X{U)|STU S, X, S, V c (X|SS)~VTU S, X, S, W c (S~S|X)~WTU S, X, S, X c S~(X|S{X)TU S, X, T, O c S~(X{T){OTU S, X, T, P c S~(X{T)~PTU S, X, T, R c (X{R)~T|STU S, X, T, S c S~X{T~STU S, X, T, V c (S{X|T)~VTU S, X, T, W c (X{T)~(W|S)TU S, X, T, X c (S{X)~T|XTU S, X, U, P c S~(X{U|P)TU S, X, U, Q c S{X~U|QTU S, X, U, S c S~(X{U)|STU S, X, U, U c X~U|S{UTU S, X, U, W c (S{X|U)~WTU S, X, V, Q c S~(X{V|Q)TU S, X, V, R c (S{R)~X|VTU S, X, V, S c (X|SS)~VTU S, X, V, T c (S{X|T)~VTU S, X, V, V c S~(X|V)~VTU S, X, V, W c S~(X{V)|WTU S, X, W, Q c (S~X|W)~QTU S, X, W, R c S~(X{W|R)TU S, X, W, S c (S~S|X)~WTU S, X, W, T c (X{T)~(W|S)TU S, X, W, U c (S{X|U)~WTU S, X, W, V c S~(X{V)|WTU S, X, W, W c (X|WS)~WTU S, X, X, S c S~(X{X|S)TU S, X, X, T c (S{X)~T|XTU T, O, Q, W c (T{O{Q)~WTU T, O, R, V c (T{O{R)~VTU T, O, S, X c (T{O{X)~STU T, O, V, R c (T{O{R)~VTU T, O, V, W c T~O{V~WTU T, O, W, Q c (T{O{Q)~WTU T, O, W, V c T~O{W~VTU T, O, X, S c (T{O{X)~STU T, P, P, W c (T{P{P)~WTU T, P, Q, V c (T{P{Q)~VTU T, P, Q, W c (T{P~Q)~WTU T, P, Q, X c (T{P)~X{QTU T, P, R, S c (T~R|P)~STU T, P, R, U c (T{R)~(P{U)TU T, P, R, V c (T{P~R)~VTU T, P, R, W c (T|P{R)~WTU T, P, R, X c (T{X)~(P{R)TU T, P, S, R c (T~R|P)~STU T, P, S, V c (T|P{S)~VTU T, P, S, W c (T{P{W)~STU T, P, S, X c (T{P~X)~STU T, P, T, U c T~(T{U){PTU T, P, T, X c (T|P)~(T{X)TU T, P, U, R c (T{R)~(P{U)TU T, P, U, T c (T{U)~T{PTU T, P, U, W c (T|P)~(U{W)TU T, P, U, X c T~(P{X){UTU T, P, V, Q c (T|P)~(V~Q)TU T, P, V, R c (T{P~R)~VTU T, P, V, S c (T|P{S)~VTU T, P, V, V c (T|P)~(V{V)TU T, P, W, P c (T{P{P)~WTU T, P, W, Q c (T{P~Q)~WTU T, P, W, R c (T|P{R)~WTU T, P, W, S c (T{P{W)~STU T, P, W, U c (T|P)~(W{U)TU T, P, W, W c (T{P)~W{WTU T, P, X, Q c (T{P)~X{QTU T, P, X, R c (T{X)~(P{R)TU T, P, X, S c (T{P~X)~STU T, P, X, T c (T|P)~(X{T)TU T, P, X, U c T~(P{X){UTU T, Q, O, W c (T{Q{O)~WTU T, Q, P, V c (T{Q{P)~VTU T, Q, P, W c (T{Q)~(P~W)TU T, Q, P, X c (T{Q)~(X|P)TU T, Q, Q, S c (T{Q)~(Q~S)TU T, Q, Q, U c (T{Q)~(Q{U)TU T, Q, Q, V c (T~Q|Q)~VTU T, Q, Q, X c (T{X)~(Q{Q)TU T, Q, R, T c (T{Q)~(R{T)TU T, Q, R, W c (T~Q|R)~WTU T, Q, R, X c (T{R)~(X|Q)TU T, Q, S, Q c (T{Q)~(S~Q)TU T, Q, S, S c (T{Q)~(S{S)TU T, Q, S, U c T~Q~U|STU T, Q, S, V c (T{Q{V)~STU T, Q, S, W c (T|Q{S)~WTU T, Q, T, R c (T{Q)~(T{R)TU T, Q, T, U c T~Q~T{UTU T, Q, T, V c (T|Q{T)~VTU T, Q, U, Q c (T{Q)~(U{Q)TU T, Q, U, S c T~Q~U|STU T, Q, U, T c T~Q~T{UTU T, Q, U, V c (T{UQ)~VTU T, Q, U, W c T~(Q{W){UTU T, Q, U, X c (T{X)~(U|Q)TU T, Q, V, P c (T{Q)~(V{P)TU T, Q, V, Q c (T~Q|Q)~VTU T, Q, V, S c (T{Q{V)~STU T, Q, V, T c (T|Q{T)~VTU T, Q, V, U c (T{UQ)~VTU T, Q, V, V c T{Q{V~VTU T, Q, V, X c (T{Q)~X|VTU T, Q, W, O c (T{Q)~(W{O)TU T, Q, W, P c (T{Q)~(W~P)TU T, Q, W, R c (T~Q|R)~WTU T, Q, W, S c (T|Q{S)~WTU T, Q, W, U c T~(Q{W){UTU T, Q, W, W c T~W{Q~WTU T, Q, W, X c (T{X)Q~WTU T, Q, X, P c (T{Q)~(X|P)TU T, Q, X, Q c (T{X)~(Q{Q)TU T, Q, X, R c (T{R)~(X|Q)TU T, Q, X, U c (T{X)~(U|Q)TU T, Q, X, V c (T{Q)~X|VTU T, Q, X, W c (T{X)Q~WTU T, Q, X, X c T~X{Q{XTU T, R, O, V c (T{R{O)~VTU T, R, P, S c (T~R|P)~STU T, R, P, U c (T{R)~(P{U)TU T, R, P, V c (T{R)~(P~V)TU T, R, P, W c (T{R|P)~WTU T, R, P, X c (T{X)~(R{P)TU T, R, Q, T c (T{R)~(Q{T)TU T, R, Q, W c (T~Q|R)~WTU T, R, Q, X c (T{R)~(X|Q)TU T, R, R, S c (T{R)~(R{S)TU T, R, S, P c (T~R|P)~STU T, R, S, R c (T{R)~(S{R)TU T, R, S, S c T~R~S|STU T, R, S, U c (T{R{U)~STU T, R, S, V c (T|R)~(S~V)TU T, R, S, W c (R~S|T)~WTU T, R, S, X c T~(R{X)|STU T, R, T, Q c (T{R)~(T{Q)TU T, R, T, W c (T|R{T)~WTU T, R, U, P c (T{R)~(U{P)TU T, R, U, S c (T{R{U)~STU T, R, U, V c (T|R{U)~VTU T, R, U, W c T{R{U~WTU T, R, U, X c T|R{U~XTU T, R, V, O c (T{R)~(V{O)TU T, R, V, P c (T{R)~(V~P)TU T, R, V, S c (T|R)~(V~S)TU T, R, V, U c T~(R{V){UTU T, R, V, V c (T~R|V)~VTU T, R, V, X c (T{XR)~VTU T, R, W, P c (T{R)~(W|P)TU T, R, W, Q c (T~Q|R)~WTU T, R, W, S c (R~S|T)~WTU T, R, W, T c (T|R{T)~WTU T, R, W, U c T{R{W~UTU T, R, W, W c (T{R)~W|WTU T, R, W, X c T{R~(W{X)TU T, R, X, P c (T{X)~(R{P)TU T, R, X, Q c (T{R)~(X|Q)TU T, R, X, S c T~(R{X)|STU T, R, X, U c T|R{X~UTU T, R, X, V c (T{XR)~VTU T, R, X, W c T{R~(X{W)TU T, S, O, X c (T{O{X)~STU T, S, P, R c (T~R|P)~STU T, S, P, V c (T{S|P)~VTU T, S, P, W c (T{P{W)~STU T, S, P, X c (T{P~X)~STU T, S, Q, Q c (T{Q)~(S~Q)TU T, S, Q, S c (T{Q)~(S{S)TU T, S, Q, U c (T{S)~U{QTU T, S, Q, V c (T{Q{V)~STU T, S, Q, W c (T{S|Q)~WTU T, S, R, P c (T~R|P)~STU T, S, R, R c (T{R)~(S{R)TU T, S, R, S c T~S~R|STU T, S, R, U c (T{R{U)~STU T, S, R, V c (T|R)~(S~V)TU T, S, R, W c (S~R|T)~WTU T, S, R, X c T~(R{X)|STU T, S, S, Q c (T{Q)~(S{S)TU T, S, S, R c T~S~R|STU T, S, S, T c (T{S{T)~STU T, S, S, U c (T~S|U)~STU T, S, S, W c T~(S{W)|STU T, S, S, X c T~S{S~XTU T, S, T, S c (T{S{T)~STU T, S, T, U c (T{T)~U|STU T, S, T, V c T~(T{V)|STU T, S, U, Q c (T{S)~U{QTU T, S, U, R c (T{U{R)~STU T, S, U, S c (T~S|U)~STU T, S, U, T c (T{T)~U|STU T, S, U, U c T~(S{U){UTU T, S, U, W c (T|S{U)~WTU T, S, V, P c T~(S{V){PTU T, S, V, Q c (T{V{Q)~STU T, S, V, R c (T|R)~(S~V)TU T, S, V, T c (T{V)~T|STU T, S, V, V c (T{S)~V|VTU T, S, V, W c (T|S)~(V~W)TU T, S, V, X c T~X{S{VTU T, S, W, P c (T{W{P)~STU T, S, W, Q c (T~S{W)~QTU T, S, W, R c (S~R|T)~WTU T, S, W, S c T~(S{W)|STU T, S, W, U c (T|S{U)~WTU T, S, W, V c (T|S)~(W~V)TU T, S, W, W c (T{WS)~WTU T, S, W, X c (T{X)~(W|S)TU T, S, X, O c (T{X)~(S{O)TU T, S, X, P c (T{X)~(S~P)TU T, S, X, R c T~(X{R)|STU T, S, X, S c T~S{X~STU T, S, X, V c T~X{S{VTU T, S, X, W c (T{X)~(W|S)TU T, S, X, X c T~(S{X)|XTU T, T, P, U c T~(T{U){PTU T, T, P, X c (T|P)~(T{X)TU T, T, Q, R c (T~T{R)~QTU T, T, Q, U c T~T~Q{UTU T, T, Q, V c (T{T|Q)~VTU T, T, R, Q c (T~T{R)~QTU T, T, R, W c (T{T|R)~WTU T, T, S, S c (T{T{S)~STU T, T, S, U c (T{T)~U|STU T, T, S, V c T~(T{V)|STU T, T, T, U c (T{T)~T{UTU T, T, U, P c T~(T{U){PTU T, T, U, Q c T~T~Q{UTU T, T, U, S c (T{T)~U|STU T, T, U, T c (T{T)~T{UTU T, T, U, W c (TT{U)~WTU T, T, U, X c T{T~X{UTU T, T, V, Q c (T{T|Q)~VTU T, T, V, S c T~(T{V)|STU T, T, V, V c (TT{V)~VTU T, T, V, W c T|T{V~WTU T, T, V, X c V~(X|TT)TU T, T, W, R c (T{T|R)~WTU T, T, W, U c (TT{U)~WTU T, T, W, V c T|T{W~VTU T, T, W, W c (W|TT)~WTU T, T, W, X c T~(T{W)|XTU T, T, X, P c (T{X)~(T|P)TU T, T, X, U c T{T~X{UTU T, T, X, V c (X|TT)~VTU T, T, X, W c T~(T{W)|XTU T, T, X, X c (T{X)~(X|T)TU T, U, P, R c (T{R)~(U{P)TU T, U, P, T c (T{U)~T{PTU T, U, P, W c (T|P)~(U{W)TU T, U, P, X c T~(P{X){UTU T, U, Q, Q c (T~U|Q)~QTU T, U, Q, S c T~U~Q|STU T, U, Q, T c T~Q~T{UTU T, U, Q, V c (T{UQ)~VTU T, U, Q, W c T~(Q{W){UTU T, U, Q, X c (T{X)~(U|Q)TU T, U, R, P c (T{R)~(U{P)TU T, U, R, S c (T{U{R)~STU T, U, R, V c (T{U|R)~VTU T, U, R, W c (T{UR)~WTU T, U, R, X c T{U~X|RTU T, U, S, Q c T~U~Q|STU T, U, S, R c (T{U{R)~STU T, U, S, S c (T~S|U)~STU T, U, S, T c (T{T)~U|STU T, U, S, U c T~(U{S){UTU T, U, S, W c (T{U|S)~WTU T, U, T, P c (T{U)~T{PTU T, U, T, Q c T~T~Q{UTU T, U, T, S c (T{T)~U|STU T, U, T, T c (T{T)~T{UTU T, U, T, W c (TT{U)~WTU T, U, T, X c T{U{T~XTU T, U, U, S c T~(U{U)|STU T, U, U, W c (U|T{U)~WTU T, U, V, Q c (T{UQ)~VTU T, U, V, R c (T{U|R)~VTU T, U, V, V c (U|T{V)~VTU T, U, V, W c (U|T)~(V~W)TU T, U, V, X c T{U~V{XTU T, U, W, P c (T|P)~(U{W)TU T, U, W, Q c T~(W{Q){UTU T, U, W, R c T{U~W{RTU T, U, W, S c (T{U|S)~WTU T, U, W, T c (TT{U)~WTU T, U, W, U c (U|T{U)~WTU T, U, W, V c (U|T)~(W~V)TU T, U, W, W c (T{W|U)~WTU T, U, W, X c (U{W)~(X|T)TU T, U, X, P c T~(X{P){UTU T, U, X, Q c (T{X)~(U|Q)TU T, U, X, R c T{U~X|RTU T, U, X, T c T{U{X~TTU T, U, X, V c T{U~V{XTU T, U, X, W c (U{W)~(X|T)TU T, V, O, R c (T{O{R)~VTU T, V, O, W c T~O{V~WTU T, V, P, Q c (T|P)~(V~Q)TU T, V, P, R c (T{P~R)~VTU T, V, P, S c T~(V{S){PTU T, V, P, V c (T|P)~(V{V)TU T, V, Q, P c (T{Q)~(V{P)TU T, V, Q, Q c (T~Q|Q)~VTU T, V, Q, S c (T{V{Q)~STU T, V, Q, T c (T|Q{T)~VTU T, V, Q, U c (T{UQ)~VTU T, V, Q, V c T{V~V{QTU T, V, Q, X c (T{Q)~X|VTU T, V, R, O c (T{R)~(V{O)TU T, V, R, P c (T{R)~(V~P)TU T, V, R, S c (T|R)~(V~S)TU T, V, R, U c T~(V{R){UTU T, V, R, V c T~V{R~VTU T, V, R, X c (T{X)~(V|R)TU T, V, S, P c T~(V{S){PTU T, V, S, Q c (T{V{Q)~STU T, V, S, R c (T|R)~(V~S)TU T, V, S, T c (T{V)~T|STU T, V, S, V c (T{V|S)~VTU T, V, S, W c (T{V)~S{WTU T, V, S, X c T~X{V{STU T, V, T, Q c (T{T|Q)~VTU T, V, T, S c (T{V)~T|STU T, V, T, V c (TT{V)~VTU T, V, T, W c (T{V|T)~WTU T, V, T, X c V~(X|TT)TU T, V, U, Q c (T{UQ)~VTU T, V, U, R c T~(V{R){UTU T, V, U, V c (V|T{U)~VTU T, V, U, W c V~(U|T)~WTU T, V, U, X c T{V~U{XTU T, V, V, P c (T|P)~(V{V)TU T, V, V, Q c T{V~V{QTU T, V, V, R c T~V{V~RTU T, V, V, S c (T{V|S)~VTU T, V, V, T c (TT{V)~VTU T, V, V, U c (V|T{U)~VTU T, V, V, X c (V{V)~(X|T)TU T, V, W, O c T~O{V~WTU T, V, W, S c (T{V)~S{WTU T, V, W, T c T{V~W|TTU T, V, W, U c (V~W)~(U|T)TU T, V, W, X c T~W{V{XTU T, V, X, Q c (T{Q)~X|VTU T, V, X, R c (T{X)~(V|R)TU T, V, X, S c T~X{V{STU T, V, X, T c V~(X|TT)TU T, V, X, U c T{V~U{XTU T, V, X, V c (V{V)~(X|T)TU T, V, X, W c (T{X|V)~WTU T, W, O, Q c (T{O{Q)~WTU T, W, O, V c T~O{W~VTU T, W, P, P c (T{P{P)~WTU T, W, P, Q c (T{P~Q)~WTU T, W, P, R c T~(W{R){PTU T, W, P, S c (T{W{P)~STU T, W, P, U c (T|P)~(W{U)TU T, W, P, W c (T{P)~W{WTU T, W, Q, O c (T{Q)~(W{O)TU T, W, Q, P c (T{Q)~(W~P)TU T, W, Q, R c (T~Q|R)~WTU T, W, Q, S c (T|Q{S)~WTU T, W, Q, U c T~(W{Q){UTU T, W, Q, W c T~W{Q~WTU T, W, Q, X c (T{X)~(WQ)TU T, W, R, P c T~(W{R){PTU T, W, R, Q c (T~Q|R)~WTU T, W, R, S c W~(R~S|T)TU T, W, R, T c (T|R{T)~WTU T, W, R, U c T{W~U{RTU T, W, R, W c (T{R)~W|WTU T, W, R, X c T{(W{X)~RTU T, W, S, P c (T{W{P)~STU T, W, S, Q c (T~S{W)~QTU T, W, S, R c W~(S~R|T)TU T, W, S, S c (T{W)~S{STU T, W, S, U c (T|S{U)~WTU T, W, S, V c (T|S)~(W~V)TU T, W, S, W c (T{WS)~WTU T, W, S, X c (T{X)~(W|S)TU T, W, T, R c (T{T|R)~WTU T, W, T, U c (TT{U)~WTU T, W, T, V c (T{W|T)~VTU T, W, T, W c (W|TT)~WTU T, W, T, X c (T{W)~T|XTU T, W, U, P c (T|P)~(W{U)TU T, W, U, Q c T~(W{Q){UTU T, W, U, R c T{W~U{RTU T, W, U, S c (T{U|S)~WTU T, W, U, T c (TT{U)~WTU T, W, U, U c W~(U|T{U)TU T, W, U, V c W~(U|T)~VTU T, W, U, W c (T{W|U)~WTU T, W, U, X c (W{U)~(X|T)TU T, W, V, O c T~O{W~VTU T, W, V, S c (T{V)~S{WTU T, W, V, T c T{W~V|TTU T, W, V, U c (W~V)~(U|T)TU T, W, V, X c T~W{V{XTU T, W, W, P c (T{P)~W{WTU T, W, W, Q c T~W{W~QTU T, W, W, R c (T{R)~W|WTU T, W, W, S c (T{WS)~WTU T, W, W, T c (W|TT)~WTU T, W, W, U c (T{W|U)~WTU T, W, W, W c T~W{W{WTU T, W, X, Q c (T{X)~(WQ)TU T, W, X, R c T{(W{X)~RTU T, W, X, S c (T{X)~(W|S)TU T, W, X, T c (T{W)~T|XTU T, W, X, U c (W{U)~(X|T)TU T, W, X, V c T~W{X{VTU T, X, O, S c (T{X{O)~STU T, X, P, Q c T~(X{Q){PTU T, X, P, R c (T{X)~(P{R)TU T, X, P, S c (T{X)~(P~S)TU T, X, P, T c (T{X)~(T|P)TU T, X, P, U c T~(X{P){UTU T, X, Q, P c T~(X{Q){PTU T, X, Q, Q c (T{X)~(Q{Q)TU T, X, Q, R c (T{R)~(X|Q)TU T, X, Q, U c (T{X)~(U|Q)TU T, X, Q, V c (T{Q)~X|VTU T, X, Q, W c (T{X)Q~WTU T, X, Q, X c T~X{Q{XTU T, X, R, P c (T{X)~(R{P)TU T, X, R, Q c (T{R)~(X|Q)TU T, X, R, S c T~(X{R)|STU T, X, R, U c T{X~U|RTU T, X, R, V c (T{XR)~VTU T, X, R, W c T~X{R{WTU T, X, S, O c (T{X)~(S{O)TU T, X, S, P c (T{X)~(S~P)TU T, X, S, R c T~(X{R)|STU T, X, S, S c T~S{X~STU T, X, S, V c T~X{S{VTU T, X, S, W c (T{X)~(W|S)TU T, X, S, X c T~(X{S)|XTU T, X, T, P c (T{X)~(T|P)TU T, X, T, U c T{X~T{UTU T, X, T, V c (X|TT)~VTU T, X, T, W c T~(T{W)|XTU T, X, T, X c (T{X)~(X|T)TU T, X, U, P c T~(X{P){UTU T, X, U, Q c (T{X)~(U|Q)TU T, X, U, R c T{X~U|RTU T, X, U, T c T~X{U{TTU T, X, U, V c T{X{U~VTU T, X, U, W c (X|T)~(U{W)TU T, X, V, Q c (T{Q)~X|VTU T, X, V, R c (T{X)~(V|R)TU T, X, V, S c T~X{V{STU T, X, V, T c (X|TT)~VTU T, X, V, U c T{X{V~UTU T, X, V, V c (X|T)~(V{V)TU T, X, V, W c (T{X|V)~WTU T, X, W, Q c (T{X)~(WQ)TU T, X, W, R c T{(X{W)~RTU T, X, W, S c (T{X)~(W|S)TU T, X, W, T c (T{W)~T|XTU T, X, W, U c (X|T)~(W{U)TU T, X, W, V c (T{X|V)~WTU T, X, X, Q c T~X{X{QTU T, X, X, S c T~(X{S)|XTU T, X, X, T c (T{X)~(X|T)TU U, O, P, W c (U{O{P)~WTU U, O, Q, V c (U{O{Q)~VTU U, O, Q, X c (U{O)~X{QTU U, O, S, W c (U{O{W)~STU U, O, V, Q c (U{O{Q)~VTU U, O, V, W c U~O{V~WTU U, O, W, P c (U{O{P)~WTU U, O, W, S c (U{O{W)~STU U, O, W, V c U~O{W~VTU U, O, W, W c (U{O)~W{WTU U, O, X, Q c (U{O)~X{QTU U, P, O, W c (U{P{O)~WTU U, P, P, V c (U{P{P)~VTU U, P, P, W c (U{P)~(P~W)TU U, P, P, X c (U{P)~(X|P)TU U, P, Q, S c (U{P)~(Q~S)TU U, P, Q, U c (U{P)~(Q{U)TU U, P, Q, V c (U{P~Q)~VTU U, P, Q, W c (U|P{Q)~WTU U, P, Q, X c U~P~X{QTU U, P, R, T c (U{P)~(R{T)TU U, P, R, V c (U|P{R)~VTU U, P, R, W c (U{W)~(P{R)TU U, P, R, X c U~(PR{X)TU U, P, S, Q c (U{P)~(S~Q)TU U, P, S, S c (U{P)~(S{S)TU U, P, S, V c (U{P{V)~STU U, P, S, W c (U{P~W)~STU U, P, S, X c (U|P{X)~STU U, P, T, R c (U{P)~(T{R)TU U, P, T, T c (U{T)~T{PTU U, P, T, W c (U{W)~(T|P)TU U, P, T, X c U{(P{X)~TTU U, P, U, Q c (U{P)~(U{Q)TU U, P, V, P c (U{P)~(V{P)TU U, P, V, Q c (U{P~Q)~VTU U, P, V, R c (U|P{R)~VTU U, P, V, S c (U{P{V)~STU U, P, V, V c U{P{V~VTU U, P, V, W c U~(P{V){WTU U, P, V, X c (U{P)~X|VTU U, P, W, O c (U{P)~(W{O)TU U, P, W, P c (U{P)~(W~P)TU U, P, W, Q c U~(P{W){QTU U, P, W, R c (U{W)~(P{R)TU U, P, W, S c (U{P~W)~STU U, P, W, T c (U{W)~(T|P)TU U, P, W, V c U~(P{V){WTU U, P, W, W c U~P~W{WTU U, P, W, X c U~W|P{XTU U, P, X, P c (U{P)~(X|P)TU U, P, X, Q c U~P~X{QTU U, P, X, R c U~(PR{X)TU U, P, X, S c (U|P{X)~STU U, P, X, T c U{(P{X)~TTU U, P, X, V c (U{P)~X|VTU U, P, X, W c U~(X|P){WTU U, Q, O, V c (U{Q{O)~VTU U, Q, O, X c (U{O)~X{QTU U, Q, P, S c (U{P)~(Q~S)TU U, Q, P, U c (U{Q)~(P{U)TU U, Q, P, V c (U{Q)~(P~V)TU U, Q, P, W c (U{Q|P)~WTU U, Q, P, X c U~P~X{QTU U, Q, Q, S c (U~Q{Q)~STU U, Q, Q, T c (U{Q)~(Q{T)TU U, Q, Q, V c (U|Q)~(Q~V)TU U, Q, Q, W c (U{QQ)~WTU U, Q, Q, X c (U{Q)~(X|Q)TU U, Q, R, R c U~R~R{QTU U, Q, R, S c (U{Q)~(R{S)TU U, Q, R, U c (U{R)~U{QTU U, Q, R, W c (U|Q{R)~WTU U, Q, S, P c (U{P)~(Q~S)TU U, Q, S, Q c (U~Q{Q)~STU U, Q, S, R c (U{Q)~(S{R)TU U, Q, S, S c (U{Q~S)~STU U, Q, S, T c U~Q~T|STU U, Q, S, U c (U{Q{U)~STU U, Q, S, V c (U|Q{S)~VTU U, Q, S, W c U~Q~S{WTU U, Q, S, X c U~X|Q{STU U, Q, T, Q c (U{Q)~(T{Q)TU U, Q, T, S c U~Q~T|STU U, Q, T, T c U{Q~T~TTU U, Q, T, V c (UQ{T)~VTU U, Q, T, W c (U~Q|T)~WTU U, Q, T, X c (U|Q)~(T{X)TU U, Q, U, P c (U{Q)~(U{P)TU U, Q, U, R c U~(U{R){QTU U, Q, U, S c (U{Q{U)~STU U, Q, U, W c U{Q{U~WTU U, Q, U, X c U~(QU{X)TU U, Q, V, O c (U{Q)~(V{O)TU U, Q, V, P c (U{Q)~(V~P)TU U, Q, V, Q c (U|Q)~(V~Q)TU U, Q, V, S c (U|Q{S)~VTU U, Q, V, T c (UQ{T)~VTU U, Q, V, V c (U|Q)~(V{V)TU U, Q, W, P c (U{Q)~(W|P)TU U, Q, W, Q c (U{QQ)~WTU U, Q, W, R c (U|Q{R)~WTU U, Q, W, S c U~(Q{W)|STU U, Q, W, T c U{(Q{W)~TTU U, Q, W, U c U{Q{W~UTU U, Q, W, W c (U{Q)~W|WTU U, Q, X, O c U~X{Q{OTU U, Q, X, P c U~X{Q~PTU U, Q, X, Q c (U{Q)~(X|Q)TU U, Q, X, S c U~X|Q{STU U, Q, X, T c (U|Q)~(X{T)TU U, Q, X, U c U~(QU{X)TU U, Q, X, X c (U{QX)~XTU U, R, P, T c (U{P)~(R{T)TU U, R, P, V c (U{R|P)~VTU U, R, P, W c (U{W)~(R{P)TU U, R, P, X c U~(PR{X)TU U, R, Q, R c U~R~R{QTU U, R, Q, S c (U{Q)~(R{S)TU U, R, Q, U c (U{R)~U{QTU U, R, Q, W c (U{R|Q)~WTU U, R, R, Q c U~R~R{QTU U, R, R, W c (U{RR)~WTU U, R, S, Q c (U{Q)~(R{S)TU U, R, S, S c (U~R|S)~STU U, R, S, T c (U{R{T)~STU U, R, S, V c UR~S~VTU U, R, S, W c (U|R{S)~WTU U, R, T, P c (U{P)~(R{T)TU U, R, T, S c (U{R{T)~STU U, R, T, V c (U|R{T)~VTU U, R, T, W c U~(R{T){WTU U, R, T, X c U~X|R{TTU U, R, U, Q c (U{R)~U{QTU U, R, U, V c (UR{U)~VTU U, R, U, X c UR{U~XTU U, R, V, P c (U{R|P)~VTU U, R, V, S c U~(R{V)|STU U, R, V, T c U{(R{V)~TTU U, R, V, U c (UR{U)~VTU U, R, V, V c (U{R)~V|VTU U, R, V, W c (U{W)~(V|R)TU U, R, W, P c (U{W)~(R{P)TU U, R, W, Q c (U{R|Q)~WTU U, R, W, R c (U{RR)~WTU U, R, W, S c (U|R{S)~WTU U, R, W, T c U~(R{T){WTU U, R, W, V c (U{W)~(V|R)TU U, R, W, X c W~(X|UR)TU U, R, X, P c U~X{R|PTU U, R, X, T c U~X|R{TTU U, R, X, U c UR{X~UTU U, R, X, W c (X|UR)~WTU U, R, X, X c U~(RX{X)TU U, S, O, W c (U{O{W)~STU U, S, P, Q c (U{P)~(S~Q)TU U, S, P, S c (U{P)~(S{S)TU U, S, P, V c (U{P{V)~STU U, S, P, W c (U{P~W)~STU U, S, P, X c (U|P{X)~STU U, S, Q, P c (U{P)~(S~Q)TU U, S, Q, Q c (U~Q{Q)~STU U, S, Q, R c (U{Q)~(S{R)TU U, S, Q, S c (U{S~Q)~STU U, S, Q, T c U~(S{T){QTU U, S, Q, U c (U{Q{U)~STU U, S, Q, V c (U{S|Q)~VTU U, S, Q, W c U~S~Q{WTU U, S, Q, X c U~X{S|QTU U, S, R, Q c (U{Q)~(S{R)TU U, S, R, S c (U~R|S)~STU U, S, R, T c (U{R{T)~STU U, S, R, V c U~SR~VTU U, S, R, W c (U{S|R)~WTU U, S, S, P c (U{P)~(S{S)TU U, S, S, Q c (U~S{S)~QTU U, S, S, R c (U~R|S)~STU U, S, S, S c (U{S{S)~STU U, S, S, T c S~(S~T|U)TU U, S, S, U c (U{S)~U|STU U, S, S, V c (U|S)~(S~V)TU U, S, S, W c (U{SS)~WTU U, S, S, X c (U{X)~S|STU U, S, T, Q c U~(S{T){QTU U, S, T, R c (U{T{R)~STU U, S, T, S c (S~T|U)~STU U, S, T, T c U~(T{T)|STU U, S, T, U c (U{S)~T{UTU U, S, T, W c (U|S{T)~WTU U, S, U, Q c (U{U{Q)~STU U, S, U, S c (U{S)~U|STU U, S, U, T c U{(S{U)~TTU U, S, U, V c (U|S{U)~VTU U, S, U, W c (U{U)~S{WTU U, S, U, X c U|S{U~XTU U, S, V, P c (U{V{P)~STU U, S, V, Q c (U{S|Q)~VTU U, S, V, R c U~S~VRTU U, S, V, S c (U|S)~(V~S)TU U, S, V, U c (U|S{U)~VTU U, S, V, W c (U{WS)~VTU U, S, W, O c (U{W)~(S{O)TU U, S, W, P c (U{W)~(S~P)TU U, S, W, Q c U~S~Q{WTU U, S, W, R c (U{S|R)~WTU U, S, W, S c U~S{W~STU U, S, W, T c (U|S{T)~WTU U, S, W, U c (U{U)~S{WTU U, S, W, V c (U{WS)~VTU U, S, W, W c (U{W)~(W|S)TU U, S, W, X c U~X{WSTU U, S, X, P c (U{X|P)~STU U, S, X, Q c U~X{S|QTU U, S, X, S c (U{X)~S|STU U, S, X, U c U|S{X~UTU U, S, X, W c U~X{WSTU U, T, P, R c (U{P)~(T{R)TU U, T, P, T c (U{T)~T{PTU U, T, P, W c (U{W)~(T|P)TU U, T, P, X c U{T~(P{X)TU U, T, Q, Q c (U~T|Q)~QTU U, T, Q, S c U~T~Q|STU U, T, Q, T c U{T~Q~TTU U, T, Q, V c (UQ{T)~VTU U, T, Q, W c U{T~(Q{W)TU U, T, Q, X c (U|Q)~(T{X)TU U, T, R, P c (U{P)~(T{R)TU U, T, R, S c (U{T{R)~STU U, T, R, V c (U{T|R)~VTU U, T, R, W c U~(T{R){WTU U, T, R, X c U~X{T|RTU U, T, S, Q c U~(T{S){QTU U, T, S, R c (U{T{R)~STU U, T, S, S c (T~S|U)~STU U, T, S, T c U~(T{T)|STU U, T, S, U c U{T~(S{U)TU U, T, S, W c (U{T|S)~WTU U, T, T, P c (U{T)~T{PTU U, T, T, Q c U{T~T~QTU U, T, T, S c U~(T{T)|STU U, T, T, T c U{(T{T)~TTU U, T, T, W c (U{TT)~WTU U, T, T, X c U{T{T~XTU U, T, U, S c U{T~(U{S)TU U, T, U, W c (U|T{U)~WTU U, T, V, Q c (UQ{T)~VTU U, T, V, R c U{T~(V{R)TU U, T, V, V c (U|T{V)~VTU U, T, V, W c (U|T)~(V~W)TU U, T, V, X c (U{V)~T|XTU U, T, W, P c (U{W)~(T|P)TU U, T, W, Q c U{T~(W{Q)TU U, T, W, R c U~(T{R){WTU U, T, W, S c (U{T|S)~WTU U, T, W, T c (U{TT)~WTU U, T, W, U c (U|T{U)~WTU U, T, W, V c (U|T)~(W~V)TU U, T, W, W c (T{W|U)~WTU U, T, W, X c (U{W)~(X|T)TU U, T, X, P c U{T~(X{P)TU U, T, X, Q c (U|Q)~(T{X)TU U, T, X, R c U~X{T|RTU U, T, X, T c U{T{X~TTU U, T, X, V c U~X|T{VTU U, T, X, W c (U{W)~(X|T)TU U, U, P, Q c (U{P)~(U{Q)TU U, U, Q, P c (U{Q)~(U{P)TU U, U, Q, R c U~(U{R){QTU U, U, Q, S c (U{U{Q)~STU U, U, Q, W c U~(U{Q){WTU U, U, Q, X c U~(QU{X)TU U, U, R, Q c U~(U{R){QTU U, U, R, V c (U{UR)~VTU U, U, R, X c UR{U~XTU U, U, S, Q c (U{U{Q)~STU U, U, S, S c U~(U{S)|STU U, U, S, T c U{(U{S)~TTU U, U, S, V c (U{U|S)~VTU U, U, S, W c (U{U)~S{WTU U, U, S, X c U{U~X|STU U, U, T, S c (U{U)~T|STU U, U, T, W c (U{U|T)~WTU U, U, U, W c (U{UU)~WTU U, U, V, R c (U{UR)~VTU U, U, V, S c (U{U|S)~VTU U, U, V, V c (UU{V)~VTU U, U, V, W c U{U~V{WTU U, U, V, X c V~(X|UU)TU U, U, W, Q c U{U~W{QTU U, U, W, S c (U{U)~S{WTU U, U, W, T c (U{U|T)~WTU U, U, W, U c (U{UU)~WTU U, U, W, V c U|U{W~VTU U, U, W, W c U~(WU{W)TU U, U, W, X c U~X|U{WTU U, U, X, Q c U~(X{QU)TU U, U, X, R c U~X{URTU U, U, X, S c U{U~X|STU U, U, X, V c (X|UU)~VTU U, U, X, W c U~X|U{WTU U, V, O, Q c (U{O{Q)~VTU U, V, O, W c U~O{V~WTU U, V, P, P c (U{P)~(V{P)TU U, V, P, Q c (U{P~Q)~VTU U, V, P, R c (U|P{R)~VTU U, V, P, S c (U{V{P)~STU U, V, P, V c U{V~V{PTU U, V, P, W c U~(V{P){WTU U, V, P, X c (U{P)~X|VTU U, V, Q, O c (U{Q)~(V{O)TU U, V, Q, P c (U{Q)~(V~P)TU U, V, Q, Q c U~(V{Q){QTU U, V, Q, S c (U|Q{S)~VTU U, V, Q, T c (UQ{T)~VTU U, V, Q, V c U~V{Q~VTU U, V, R, P c (U{R|P)~VTU U, V, R, S c U~(V{R)|STU U, V, R, T c U{(V{R)~TTU U, V, R, U c (UR{U)~VTU U, V, R, V c U~(VR{V)TU U, V, R, W c (U{W)~(V|R)TU U, V, S, P c (U{V{P)~STU U, V, S, Q c (U{S|Q)~VTU U, V, S, R c U~V~SRTU U, V, S, S c (U{V)~S{STU U, V, S, U c (U|S{U)~VTU U, V, S, W c (U{WS)~VTU U, V, T, Q c (UQ{T)~VTU U, V, T, R c U{(V{R)~TTU U, V, T, V c (U{V|T)~VTU U, V, T, W c (U|T)~(V~W)TU U, V, T, X c (U{V)~T|XTU U, V, U, R c (U{UR)~VTU U, V, U, S c (U{U|S)~VTU U, V, U, V c (UU{V)~VTU U, V, U, W c (U{V|U)~WTU U, V, U, X c V~(X|UU)TU U, V, V, P c U{V~V{PTU U, V, V, Q c U~V{V~QTU U, V, V, R c U~(V{VR)TU U, V, V, T c (U{V|T)~VTU U, V, V, U c (UU{V)~VTU U, V, V, V c U~V{V{VTU U, V, V, W c (U{VV)~WTU U, V, V, X c (U{X|V)~VTU U, V, W, O c U~O{V~WTU U, V, W, P c U~(V{P){WTU U, V, W, R c (U{W)~(V|R)TU U, V, W, S c (U{WS)~VTU U, V, W, T c (U|T)~(V~W)TU U, V, W, U c U{V~W|UTU U, V, W, V c (U{VV)~WTU U, V, W, W c (U{W|V)~WTU U, V, X, P c (U{P)~X|VTU U, V, X, T c U~V{X{TTU U, V, X, U c V~(X|UU)TU U, V, X, V c (U{X|V)~VTU U, V, X, X c U~X|V{XTU U, W, O, P c (U{O{P)~WTU U, W, O, S c (U{W{O)~STU U, W, O, V c U~O{W~VTU U, W, O, W c U~W{O{WTU U, W, P, O c (U{P)~(W{O)TU U, W, P, P c (U{P)~(W~P)TU U, W, P, Q c U~(W{P){QTU U, W, P, R c (U{W)~(P{R)TU U, W, P, S c (U{W)~(P~S)TU U, W, P, T c (U{W)~(T|P)TU U, W, P, V c U~W{P{VTU U, W, P, W c U~W{P~WTU U, W, P, X c U~W|P{XTU U, W, Q, P c U~(W{P){QTU U, W, Q, Q c (U{W)~(Q{Q)TU U, W, Q, R c (U|Q{R)~WTU U, W, Q, S c U~(W{Q)|STU U, W, Q, T c U{(W{Q)~TTU U, W, Q, U c U~W{Q{UTU U, W, Q, W c (U{W)Q~WTU U, W, R, P c (U{W)~(R{P)TU U, W, R, Q c (U{R|Q)~WTU U, W, R, R c (U{RR)~WTU U, W, R, S c U~(W{SR)TU U, W, R, T c U~W{R{TTU U, W, R, V c (U{W)~(V|R)TU U, W, R, X c W~(X|UR)TU U, W, S, O c (U{W)~(S{O)TU U, W, S, P c (U{W)~(S~P)TU U, W, S, Q c U~W{S~QTU U, W, S, R c U~(W{SR)TU U, W, S, S c U~W{S{STU U, W, S, T c (U|S{T)~WTU U, W, S, U c (U{U)~S{WTU U, W, S, V c (U{WS)~VTU U, W, S, W c (U{W)~(W|S)TU U, W, S, X c U~X{WSTU U, W, T, P c (U{W)~(T|P)TU U, W, T, Q c U{(W{Q)~TTU U, W, T, R c U~W{T{RTU U, W, T, S c (U{T|S)~WTU U, W, T, T c (U{TT)~WTU U, W, T, U c (U|T{U)~WTU U, W, T, V c (U|T)~(W~V)TU U, W, T, W c (W|U{T)~WTU U, W, T, X c (U{W)~(X|T)TU U, W, U, Q c U{W~U{QTU U, W, U, S c (U{U)~S{WTU U, W, U, T c (U{U|T)~WTU U, W, U, U c (U{UU)~WTU U, W, U, V c U{W{U~VTU U, W, U, W c U~(WU{W)TU U, W, U, X c U~X{W|UTU U, W, V, O c U~O{W~VTU U, W, V, P c U~W{V{PTU U, W, V, R c (U{W)~(V|R)TU U, W, V, S c (U{WS)~VTU U, W, V, T c (U|T)~(W~V)TU U, W, V, U c U{W{V~UTU U, W, V, V c (U{VV)~WTU U, W, V, W c (U{W|V)~WTU U, W, W, O c U~W{W{OTU U, W, W, P c U~W{W~PTU U, W, W, Q c (U{W)~(WQ)TU U, W, W, S c (U{W)~(W|S)TU U, W, W, T c (W|U{T)~WTU U, W, W, U c U~(W{WU)TU U, W, W, V c (U{W|V)~WTU U, W, W, W c (U{WW)~WTU U, W, W, X c (U{X|W)~WTU U, W, X, P c U~W{X|PTU U, W, X, R c W~(X|UR)TU U, W, X, S c U~X{WSTU U, W, X, T c (U{W)~(X|T)TU U, W, X, U c U~X{W|UTU U, W, X, W c (U{X|W)~WTU U, W, X, X c (U{XX)~WTU U, X, O, Q c U~X{O{QTU U, X, P, P c U~X{P{PTU U, X, P, Q c U~X{P~QTU U, X, P, R c U~(X{PR)TU U, X, P, S c (U{X|P)~STU U, X, P, T c U{(X{P)~TTU U, X, P, V c (U{P)~X|VTU U, X, P, W c U~(X|P){WTU U, X, Q, O c U~X{Q{OTU U, X, Q, P c U~X{Q~PTU U, X, Q, Q c (U{Q)~(X|Q)TU U, X, Q, S c U~X|Q{STU U, X, Q, T c (U|Q)~(X{T)TU U, X, Q, U c U~(X{QU)TU U, X, Q, X c (U{QX)~XTU U, X, R, P c U~X{R|PTU U, X, R, T c U~X|R{TTU U, X, R, U c U~X{URTU U, X, R, W c (X|UR)~WTU U, X, R, X c U~(X{RX)TU U, X, S, P c (U{X|P)~STU U, X, S, Q c U~X{S|QTU U, X, S, S c (U{X)~S|STU U, X, S, U c U~X|S{UTU U, X, S, W c U~X{WSTU U, X, T, P c U{(X{P)~TTU U, X, T, Q c (U|Q)~(X{T)TU U, X, T, R c U~X{T|RTU U, X, T, T c U{X~T{TTU U, X, T, V c U~X|T{VTU U, X, T, W c (U{W)~(X|T)TU U, X, U, Q c U~(X{QU)TU U, X, U, R c U~X{URTU U, X, U, S c U{X~U|STU U, X, U, V c (X|UU)~VTU U, X, U, W c U~X|U{WTU U, X, V, P c (U{P)~X|VTU U, X, V, T c U~X{V|TTU U, X, V, U c (X|UU)~VTU U, X, V, V c (U{X|V)~VTU U, X, V, X c U~X|V{XTU U, X, W, P c U~(X|P){WTU U, X, W, R c (X|UR)~WTU U, X, W, S c U~X{WSTU U, X, W, T c (U{W)~(X|T)TU U, X, W, U c U~X{W|UTU U, X, W, W c (U{X|W)~WTU U, X, W, X c (U{XX)~WTU U, X, X, Q c (U{QX)~XTU U, X, X, R c U~(X{RX)TU U, X, X, V c U~X{X|VTU U, X, X, W c (U{XX)~WTU V, O, O, W c (V{O{O)~WTU V, O, P, V c (V{O{P)~VTU V, O, P, W c (V{O)~(P~W)TU V, O, P, X c (V{O)~(X|P)TU V, O, Q, S c (V{O)~(Q~S)TU V, O, Q, U c (V{O)~(Q{U)TU V, O, Q, W c (V{O~Q)~WTU V, O, R, T c (V{O)~(R{T)TU V, O, R, W c (V{O~R)~WTU V, O, S, Q c (V{O)~(S~Q)TU V, O, S, S c (V{O)~(S{S)TU V, O, S, V c (V{O{V)~STU V, O, S, W c (V{O~S)~WTU V, O, T, R c (V{O)~(T{R)TU V, O, T, W c (V{O~T)~WTU V, O, U, Q c (V{O)~(U{Q)TU V, O, U, W c (V{O~U)~WTU V, O, V, P c (V{O)~(V{P)TU V, O, V, S c (V{O{V)~STU V, O, V, V c V{O{V~VTU V, O, V, W c (V{O~V)~WTU V, O, V, X c (V{O)~X|VTU V, O, W, O c (V{O)~(W{O)TU V, O, W, P c (V{O)~(W~P)TU V, O, W, Q c (V{O~Q)~WTU V, O, W, R c (V{O~R)~WTU V, O, W, S c (V{O~S)~WTU V, O, W, T c (V{O~T)~WTU V, O, W, U c (V{O~U)~WTU V, O, W, V c V~O{W~VTU V, O, W, W c (V{O~W)~WTU V, O, W, X c (V{O~X)~WTU V, O, X, P c (V{O)~(X|P)TU V, O, X, V c (V{O)~X|VTU V, O, X, W c (V{O~X)~WTU V, P, O, V c (V{P{O)~VTU V, P, O, W c (V{P~O)~WTU V, P, O, X c (V{O)~(X|P)TU V, P, P, S c V~(P{P)~STU V, P, P, U c (V{P)~(P{U)TU V, P, P, V c (V{P)~(P~V)TU V, P, P, W c (V{P|P)~WTU V, P, P, X c (V~P)~(X|P)TU V, P, Q, R c V~(P{R)~QTU V, P, Q, S c V~P~Q~STU V, P, Q, T c (V{P)~(Q{T)TU V, P, Q, U c (V~P)~(Q{U)TU V, P, Q, V c (V|P{Q)~VTU V, P, Q, W c V~(Q|P)~WTU V, P, Q, X c (V{P)~(X|Q)TU V, P, R, Q c V~(P{R)~QTU V, P, R, R c V~(R~R|P)TU V, P, R, S c (V{P)~(R{S)TU V, P, R, T c (V~P)~(R{T)TU V, P, R, U c V~(R|P{U)TU V, P, R, V c (V{V)~(P{R)TU V, P, S, P c V~(P{P)~STU V, P, S, Q c V~P~S~QTU V, P, S, R c (V{P)~(S{R)TU V, P, S, S c (V~P)~(S{S)TU V, P, S, T c V~(S|P{T)TU V, P, S, U c (V{P{U)~STU V, P, S, V c (V{P~V)~STU V, P, S, W c (V|P{W)~STU V, P, T, Q c (V{P)~(T{Q)TU V, P, T, R c (V~P)~(T{R)TU V, P, T, S c V~(T|P{S)TU V, P, T, V c (V{V)~(T|P)TU V, P, U, P c (V{P)~(U{P)TU V, P, U, Q c (V~P)~(U{Q)TU V, P, U, R c V~(U|P{R)TU V, P, U, S c (V{P{U)~STU V, P, U, V c V{(P{U)~VTU V, P, U, W c V{P{U~WTU V, P, U, X c (V~X)|(P{U)TU V, P, V, O c (V{P)~(V{O)TU V, P, V, P c (V{P)~(V~P)TU V, P, V, Q c (V|P{Q)~VTU V, P, V, R c (V{V)~(P{R)TU V, P, V, S c (V{P~V)~STU V, P, V, T c (V{V)~(T|P)TU V, P, V, U c V{(P{U)~VTU V, P, V, V c V{P~V~VTU V, P, V, W c V(P|VW)TU V, P, V, X c V~P~X|VTU V, P, W, O c V~P~W{OTU V, P, W, P c (V{P)~(W|P)TU V, P, W, Q c (V~W)~(Q|P)TU V, P, W, S c (V|P{W)~STU V, P, W, U c V{P{W~UTU V, P, W, V c V~(P{W)|VTU V, P, W, W c (V{P)~W|WTU V, P, W, X c V~X{P|WTU V, P, X, O c V~(X|P){OTU V, P, X, P c (V~P)~(X|P)TU V, P, X, Q c (V{P)~(X|Q)TU V, P, X, U c (V~X)|(P{U)TU V, P, X, V c V~P~X|VTU V, P, X, W c V~X{P|WTU V, Q, O, S c (V~Q{O)~STU V, Q, O, U c V~(Q{O{U)TU V, Q, O, W c (V{Q~O)~WTU V, Q, P, R c (V~Q)~(P{R)TU V, Q, P, S c V~Q~P~STU V, Q, P, T c V~(Q{P{T)TU V, Q, P, U c V~(Q{P~U)TU V, Q, P, V c (V{Q|P)~VTU V, Q, P, W c V~(Q|P)~WTU V, Q, P, X c (V{P)~(X|Q)TU V, Q, Q, Q c V~(Q{Q)~QTU V, Q, Q, R c V~(Q{Q~R)TU V, Q, Q, S c V~(Q{Q{S)TU V, Q, Q, T c V~(Q~T|Q)TU V, Q, Q, U c (V{Q)~U{QTU V, Q, Q, V c (V{QQ)~VTU V, Q, Q, W c (V{Q|Q)~WTU V, Q, Q, X c V~(X|QQ)TU V, Q, R, P c (V~Q)~(R{P)TU V, Q, R, Q c V~(Q{R~Q)TU V, Q, R, R c V~(Q{R{R)TU V, Q, R, V c (V|Q{R)~VTU V, Q, R, W c V~(R|Q)~WTU V, Q, R, X c V~(Q{X|R)TU V, Q, S, O c V~Q~S{OTU V, Q, S, P c V~Q~S~PTU V, Q, S, Q c V~(Q{S{Q)TU V, Q, S, S c VQ~S~STU V, Q, S, T c (V{Q{T)~STU V, Q, S, U c V~(Q~U|S)TU V, Q, S, W c (V~Q)~(W|S)TU V, Q, S, X c (V|Q{X)~STU V, Q, T, P c V~(Q{T{P)TU V, Q, T, Q c V~(Q~T|Q)TU V, Q, T, S c (V{Q{T)~STU V, Q, T, T c V~(T|Q{T)TU V, Q, T, U c V~(T{UQ)TU V, Q, T, V c V{(Q{T)~VTU V, Q, T, X c (V~Q)~(X|T)TU V, Q, U, O c V~(Q{U){OTU V, Q, U, P c V~(Q{U)~PTU V, Q, U, Q c (V{Q)~U{QTU V, Q, U, S c V~(Q~U|S)TU V, Q, U, T c V~(UQ{T)TU V, Q, U, V c V~Q{U~VTU V, Q, V, P c V~(Q{V|P)TU V, Q, V, Q c (V{QQ)~VTU V, Q, V, R c (V~Q)~(V|R)TU V, Q, V, T c V{(Q{T)~VTU V, Q, V, U c V~Q{V~UTU V, Q, V, V c (V{Q)~V|VTU V, Q, V, W c (V~Q|V)~WTU V, Q, V, X c (VQ)~(V{X)TU V, Q, W, O c (V{Q~O)~WTU V, Q, W, P c V~(Q|P)~WTU V, Q, W, Q c V~(Q{W|Q)TU V, Q, W, R c (V~W)~(R|Q)TU V, Q, W, S c (V~Q)~(W|S)TU V, Q, W, V c (V~Q|V)~WTU V, Q, W, W c V~(Q~W|W)TU V, Q, X, P c V~(X|Q{P)TU V, Q, X, Q c V~(X|QQ)TU V, Q, X, R c V~(Q{X|R)TU V, Q, X, S c (V|Q{X)~STU V, Q, X, T c (V~Q)~(X|T)TU V, Q, X, V c (VQ)~(X{V)TU V, Q, X, X c V~X{Q|XTU V, R, O, T c V~(R{O{T)TU V, R, O, W c (V{R~O)~WTU V, R, P, Q c V~(R{P)~QTU V, R, P, R c V~(R~R|P)TU V, R, P, S c V~(R{P{S)TU V, R, P, T c V~(R{P~T)TU V, R, P, U c V~(R|P{U)TU V, R, P, V c (V{V)~(R{P)TU V, R, Q, P c V~(R{P)~QTU V, R, Q, Q c V~(R~Q{Q)TU V, R, Q, R c V~(R{Q{R)TU V, R, Q, V c (V{R|Q)~VTU V, R, Q, W c V~(R|Q)~WTU V, R, Q, X c V~(Q{X|R)TU V, R, R, P c V~(R~R|P)TU V, R, R, Q c V~(R{R{Q)TU V, R, R, V c (V{RR)~VTU V, R, R, W c (V{R|R)~WTU V, R, R, X c V~(X|RR)TU V, R, S, P c V~(R{S{P)TU V, R, S, S c (V{R{S)~STU V, R, S, T c (V~S)~(T|R)TU V, R, S, U c VR~S~UTU V, R, S, V c V{(R{S)~VTU V, R, S, W c V~(S|R)~WTU V, R, S, X c V~(R{X|S)TU V, R, T, O c V~(R{T){OTU V, R, T, P c V~(R{T)~PTU V, R, T, S c V~(T|R)~STU V, R, T, U c (V{R)~T{UTU V, R, T, V c V~R{T~VTU V, R, T, X c (V|R)~(T{X)TU V, R, U, P c V~(R{U|P)TU V, R, U, S c (V{R)~U|STU V, R, U, T c (V{R)~T{UTU V, R, U, U c V~(UR{U)TU V, R, U, V c V~(R{U)|VTU V, R, U, W c (V|R)~(U{W)TU V, R, V, P c (V{V)~(R{P)TU V, R, V, Q c (V{R~V)~QTU V, R, V, R c (V{RR)~VTU V, R, V, S c (V~R|V)~STU V, R, V, T c V~R{V~TTU V, R, V, U c (VR{V)~UTU V, R, V, V c (V|R)~(V{V)TU V, R, W, O c (V{R~O)~WTU V, R, W, Q c V~(R|Q)~WTU V, R, W, R c V~(R{W|R)TU V, R, W, S c (V~W)~(S|R)TU V, R, W, U c (V|R)~(W{U)TU V, R, W, X c (V{X)~R{WTU V, R, X, Q c V~(X|R{Q)TU V, R, X, R c V~(X|RR)TU V, R, X, S c V~(R{X|S)TU V, R, X, T c (V|R)~(X{T)TU V, R, X, W c (V{X)~R{WTU V, S, O, Q c (V~S{O)~QTU V, S, O, S c V~(S{O{S)TU V, S, O, V c (V{O{V)~STU V, S, O, W c (V{S~O)~WTU V, S, P, P c (V~S)~(P{P)TU V, S, P, Q c V~S~P~QTU V, S, P, R c V~(S{P{R)TU V, S, P, S c V~(S{P~S)TU V, S, P, T c V~(S|P{T)TU V, S, P, U c (V{P{U)~STU V, S, P, V c (V{P~V)~STU V, S, P, W c (V|P{W)~STU V, S, Q, O c V~S~Q{OTU V, S, Q, P c V~S~Q~PTU V, S, Q, Q c V~(S{Q{Q)TU V, S, Q, S c V~(S|Q)~STU V, S, Q, T c (V{Q{T)~STU V, S, Q, U c V~(S|Q{U)TU V, S, Q, W c V~(S{WQ)TU V, S, Q, X c (V|Q{X)~STU V, S, R, P c V~(S{R{P)TU V, S, R, S c (V{S{R)~STU V, S, R, T c (V~S)~(T|R)TU V, S, R, U c V~SR~UTU V, S, R, V c V{(S{R)~VTU V, S, R, W c V~(S|R)~WTU V, S, R, X c V~(R{X|S)TU V, S, S, O c V~(S{S){OTU V, S, S, P c V~(S{S)~PTU V, S, S, Q c (V~S)~(S|Q)TU V, S, S, R c (V{S{R)~STU V, S, S, U c (V~S)~(U|S)TU V, S, S, V c (V{SS)~VTU V, S, S, W c (V{S|S)~WTU V, S, S, X c V~(X|SS)TU V, S, T, P c (V{S)~T{PTU V, S, T, Q c (V{T{Q)~STU V, S, T, R c (V~S)~(T|R)TU V, S, T, T c (V{T)~T|STU V, S, T, V c (V|S{T)~VTU V, S, T, W c (V{T)~S{WTU V, S, T, X c V{S{T~XTU V, S, U, P c (V{U{P)~STU V, S, U, Q c V~(S{U|Q)TU V, S, U, R c V~S~URTU V, S, U, S c (V~S)~(U|S)TU V, S, U, U c V~(U|S{U)TU V, S, U, W c (V~S)~(W|U)TU V, S, V, O c (V{V)~(S{O)TU V, S, V, P c (V{V)~(S~P)TU V, S, V, R c V~(S{V|R)TU V, S, V, S c V~S{V~STU V, S, V, T c (V~S)~(V|T)TU V, S, V, W c (V{V)~(W|S)TU V, S, V, X c (V~S)~(X|V)TU V, S, W, O c (V{S~O)~WTU V, S, W, P c (V{W|P)~STU V, S, W, Q c V~(S{WQ)TU V, S, W, R c V~(S|R)~WTU V, S, W, S c V~(S{W|S)TU V, S, W, T c (V~W)~(T|S)TU V, S, W, U c (V~S)~(W|U)TU V, S, W, V c (V{V)~(W|S)TU V, S, W, X c (V{X)~S|WTU V, S, X, Q c (V{X|Q)~STU V, S, X, R c (V~X)|(S{R)TU V, S, X, S c V~(X|SS)TU V, S, X, T c V{S{X~TTU V, S, X, V c (V~S)~(X|V)TU V, S, X, W c (V{X)~S|WTU V, T, O, R c V~(T{O{R)TU V, T, O, W c (V{T~O)~WTU V, T, P, Q c V~(T{P{Q)TU V, T, P, R c V~(T{P~R)TU V, T, P, S c V~(T|P{S)TU V, T, P, V c (V{V)~(T|P)TU V, T, Q, P c V~(T{Q{P)TU V, T, Q, Q c V~(T~Q|Q)TU V, T, Q, S c (V{T{Q)~STU V, T, Q, T c V~(T|Q{T)TU V, T, Q, U c V~(T{UQ)TU V, T, Q, V c V{(T{Q)~VTU V, T, Q, X c (V~Q)~(X|T)TU V, T, R, O c V~(T{R){OTU V, T, R, P c V~(T{R)~PTU V, T, R, S c V~(T|R)~STU V, T, R, U c V~(T|R{U)TU V, T, R, V c V~T{R~VTU V, T, R, X c V~(T{XR)TU V, T, S, P c V~(T{S|P)TU V, T, S, Q c (V{T{Q)~STU V, T, S, R c V~(T|R)~STU V, T, S, T c (V{T)~T|STU V, T, S, V c (V{T|S)~VTU V, T, S, W c (V{T)~S{WTU V, T, S, X c V{T~X{STU V, T, T, Q c V~(T{T|Q)TU V, T, T, S c (V{T)~T|STU V, T, T, V c (V{TT)~VTU V, T, T, W c (V{T|T)~WTU V, T, T, X c V~(X|TT)TU V, T, U, Q c V~(T{UQ)TU V, T, U, R c V~(T{U|R)TU V, T, U, V c (V|T{U)~VTU V, T, U, W c V~(U|T)~WTU V, T, U, X c V|T{U~XTU V, T, V, P c (V{V)~(T|P)TU V, T, V, Q c (V~T|V)~QTU V, T, V, R c V~T{V~RTU V, T, V, S c (V|T)~(V~S)TU V, T, V, T c (V{TT)~VTU V, T, V, U c (V|T{U)~VTU V, T, V, X c (V{V)~(X|T)TU V, T, W, O c (V{T~O)~WTU V, T, W, S c (V{T)~S{WTU V, T, W, T c V~(T{W|T)TU V, T, W, U c (V~W)~(U|T)TU V, T, W, X c V{T~W{XTU V, T, X, Q c (V~X)|(T{Q)TU V, T, X, R c V~(T{XR)TU V, T, X, S c V{T~X{STU V, T, X, T c V~(X|TT)TU V, T, X, U c V|T{X~UTU V, T, X, V c (V{V)~(X|T)TU V, T, X, W c V{T~W{XTU V, U, O, Q c V~(U{O{Q)TU V, U, O, W c (V{U~O)~WTU V, U, P, P c V~(U{P{P)TU V, U, P, Q c V~(U{P~Q)TU V, U, P, R c V~(U|P{R)TU V, U, P, S c (V{U{P)~STU V, U, P, V c V{(U{P)~VTU V, U, P, W c V{U~W{PTU V, U, P, X c (V~X)|(U{P)TU V, U, Q, O c V~(U{Q){OTU V, U, Q, P c V~(U{Q)~PTU V, U, Q, Q c V~(U|Q)~QTU V, U, Q, S c V~(U|Q{S)TU V, U, Q, T c V~(UQ{T)TU V, U, Q, V c V~U{Q~VTU V, U, R, P c V~(U{R|P)TU V, U, R, S c V~UR~STU V, U, R, T c V~(U|R{T)TU V, U, R, U c V~(UR{U)TU V, U, R, V c V~(U{R)|VTU V, U, R, W c (V|R)~(U{W)TU V, U, S, P c (V{U{P)~STU V, U, S, Q c V~(U{S|Q)TU V, U, S, R c V~U~SRTU V, U, S, S c (V{U)~S{STU V, U, S, U c V~(U|S{U)TU V, U, S, W c V~(U{WS)TU V, U, T, Q c V~(UQ{T)TU V, U, T, R c V~(U{T|R)TU V, U, T, V c (V{U|T)~VTU V, U, T, W c V~(U|T)~WTU V, U, T, X c (V{U)~T|XTU V, U, U, R c V~(U{UR)TU V, U, U, S c V~(U{U|S)TU V, U, U, V c (V{UU)~VTU V, U, U, W c (V{U|U)~WTU V, U, U, X c V~(X|UU)TU V, U, V, P c V{(U{P)~VTU V, U, V, Q c V~U{V~QTU V, U, V, R c V~(U{R)|VTU V, U, V, T c V~(U{V|T)TU V, U, V, U c (V{UU)~VTU V, U, V, V c V{U~V{VTU V, U, V, W c (V|U)~(V~W)TU V, U, V, X c V~(U{X|V)TU V, U, W, O c (V{U~O)~WTU V, U, W, P c V{U~W{PTU V, U, W, R c (V|R)~(U{W)TU V, U, W, S c V~(U{WS)TU V, U, W, T c V~(U|T)~WTU V, U, W, U c V~U{W{UTU V, U, W, V c (V|U)~(W~V)TU V, U, W, W c (U{W|V)~WTU V, U, X, P c (V~X)|(U{P)TU V, U, X, T c V{U~X|TTU V, U, X, U c V~(X|UU)TU V, U, X, V c V~(U{X|V)TU V, U, X, X c U~X|V{XTU V, V, O, P c V~(V{O{P)TU V, V, O, S c (V{V{O)~STU V, V, O, V c V{(V{O)~VTU V, V, O, W c (V{V~O)~WTU V, V, O, X c (V{O)~X|VTU V, V, P, O c V~(V{P){OTU V, V, P, P c V~(V{P)~PTU V, V, P, Q c V~(V|P{Q)TU V, V, P, R c (V{V)~(P{R)TU V, V, P, S c (V{V)~(P~S)TU V, V, P, T c (V{V)~(T|P)TU V, V, P, U c V{V~(P{U)TU V, V, P, V c V{V~P~VTU V, V, P, W c V~V|P{WTU V, V, P, X c V~P~X|VTU V, V, Q, P c V~(V{Q|P)TU V, V, Q, Q c (V{V)~(Q{Q)TU V, V, Q, R c V~(V|Q{R)TU V, V, Q, T c V{V~(Q{T)TU V, V, Q, U c V~(V~Q|U)TU V, V, Q, V c V~(V{Q)|VTU V, V, Q, W c (V{V)Q~WTU V, V, Q, X c V~V|Q{XTU V, V, R, P c (V{V)~(R{P)TU V, V, R, Q c (V{V~R)~QTU V, V, R, R c V~(V{RR)TU V, V, R, S c V{V~(R{S)TU V, V, R, T c V~R{V~TTU V, V, R, U c (V{VR)~UTU V, V, R, V c (V{V)~(V|R)TU V, V, S, O c (V{V)~(S{O)TU V, V, S, P c (V{V)~(S~P)TU V, V, S, R c V{V~(S{R)TU V, V, S, S c V~(V{SS)TU V, V, S, T c V~(V|S{T)TU V, V, S, W c (V{V)~(W|S)TU V, V, S, X c (V~S)~(X|V)TU V, V, T, P c (V{V)~(T|P)TU V, V, T, Q c V{V~(T{Q)TU V, V, T, R c V~T{V~RTU V, V, T, S c V~(V{T|S)TU V, V, T, T c V~(V{TT)TU V, V, T, U c V~(V|T{U)TU V, V, T, X c (V{V)~(X|T)TU V, V, U, P c V{V~(U{P)TU V, V, U, Q c (V{V)~(U|Q)TU V, V, U, R c (V{VR)~UTU V, V, U, T c V~(V{U|T)TU V, V, U, U c V~(V{UU)TU V, V, U, V c V{V{U~VTU V, V, U, W c V~(V|U)~WTU V, V, U, X c V~(U{X|V)TU V, V, V, O c V{V~V{OTU V, V, V, P c V{V~V~PTU V, V, V, Q c V~(V{Q)|VTU V, V, V, R c (V{V)~(V|R)TU V, V, V, U c V{V{V~UTU V, V, V, V c (V{VV)~VTU V, V, V, W c (V{V|V)~WTU V, V, V, X c V~(X|VV)TU V, V, W, O c (V{V~O)~WTU V, V, W, P c V{V~(W|P)TU V, V, W, Q c (V{V)~(WQ)TU V, V, W, S c (V{V)~(W|S)TU V, V, W, U c V~(V|U)~WTU V, V, W, V c V{V~W|VTU V, V, W, W c V~(V{WW)TU V, V, W, X c V~(V{X|W)TU V, V, X, O c V~X|V{OTU V, V, X, P c V~X|V~PTU V, V, X, Q c V{V~(X|Q)TU V, V, X, S c V~(X|V)~STU V, V, X, T c (V{V)~(X|T)TU V, V, X, U c V~(X|V{U)TU V, V, X, V c V~(X|VV)TU V, V, X, W c V~(V{X|W)TU V, V, X, X c (V|VX)~XTU V, W, O, O c V~W{O{OTU V, W, O, P c V~W{O~PTU V, W, O, Q c V~W{O~QTU V, W, O, R c V~W{O~RTU V, W, O, S c V~W{O~STU V, W, O, T c V~W{O~TTU V, W, O, U c V~W{O~UTU V, W, O, V c V~W{O~VTU V, W, O, W c (V{W~O)~WTU V, W, O, X c V~W{O~XTU V, W, P, O c V~W{P~OTU V, W, P, P c V~W{P|PTU V, W, P, Q c (V~W)~(Q|P)TU V, W, P, S c (V{W|P)~STU V, W, P, U c V{W~U{PTU V, W, P, V c V{(W|P)~VTU V, W, P, W c (V{P)~W|WTU V, W, P, X c V~X|W{PTU V, W, Q, O c V~W{Q~OTU V, W, Q, P c (V~W)~(Q|P)TU V, W, Q, Q c V~W{Q|QTU V, W, Q, R c (V~W)~(R|Q)TU V, W, Q, S c V~(WQ{S)TU V, W, Q, V c (V~Q|V)~WTU V, W, Q, W c V~(W~Q|W)TU V, W, R, O c V~W{R~OTU V, W, R, Q c (V~W)~(R|Q)TU V, W, R, R c V~W{R|RTU V, W, R, S c (V~W)~(S|R)TU V, W, R, U c (V|R)~(W{U)TU V, W, R, X c (V{X)~R{WTU V, W, S, O c V~W{S~OTU V, W, S, P c (V{W|P)~STU V, W, S, Q c V~(W|S)~QTU V, W, S, R c (V~W)~(S|R)TU V, W, S, S c (V{W)~S|STU V, W, S, T c (V~W)~(T|S)TU V, W, S, U c V~(WS{U)TU V, W, S, V c (V{V)~(W|S)TU V, W, S, X c (V{X)~S|WTU V, W, T, O c V~W{T~OTU V, W, T, S c (V~W)~(T|S)TU V, W, T, T c V~W{T|TTU V, W, T, U c (V~W)~(U|T)TU V, W, T, X c V{W~T{XTU V, W, U, O c V~W{U~OTU V, W, U, P c V{W~U{PTU V, W, U, R c (V|R)~(W{U)TU V, W, U, S c V~(W|U)~STU V, W, U, T c (V~W)~(U|T)TU V, W, U, U c V~W{U|UTU V, W, U, V c (V~W)~(V|U)TU V, W, U, W c (W|V{U)~WTU V, W, V, O c V~W{V~OTU V, W, V, P c V{(W|P)~VTU V, W, V, Q c (V{V)~(WQ)TU V, W, V, S c (V{V)~(W|S)TU V, W, V, U c (V~W)~(V|U)TU V, W, V, V c (V{W|V)~VTU V, W, V, W c V~(W|V)~WTU V, W, V, X c V~(V{X|W)TU V, W, W, O c V~W{W~OTU V, W, W, P c (V{P)~W|WTU V, W, W, Q c V~(W{W)QTU V, W, W, U c (W|V{U)~WTU V, W, W, V c (V{WW)~VTU V, W, W, W c (V{W|W)~WTU V, W, W, X c (V~W)~(X|W)TU V, W, X, O c V~W{X~OTU V, W, X, P c V~X|W{PTU V, W, X, R c (V{X)~R{WTU V, W, X, S c (V{X)~S|WTU V, W, X, T c V{W~T{XTU V, W, X, V c (V{X|W)~VTU V, W, X, W c (V~W)~(X|W)TU V, W, X, X c V~W{X|XTU V, X, O, P c V~(X{O|P)TU V, X, O, V c V~X{O|VTU V, X, O, W c (V{X~O)~WTU V, X, P, O c V~(X|P){OTU V, X, P, P c V~(X|P)~PTU V, X, P, Q c V~(X{P|Q)TU V, X, P, U c (V~X)|(P{U)TU V, X, P, V c V~X|P~VTU V, X, P, W c V~X{P|WTU V, X, Q, P c V~(X|Q{P)TU V, X, Q, Q c V~(X|QQ)TU V, X, Q, R c V~(X{Q|R)TU V, X, Q, S c (V{X|Q)~STU V, X, Q, T c (V~X)|(Q{T)TU V, X, Q, V c V{(X|Q)~VTU V, X, Q, X c V~X{Q|XTU V, X, R, Q c V~(X|R{Q)TU V, X, R, R c V~(X|RR)TU V, X, R, S c V~(X{R|S)TU V, X, R, T c V~(XR{T)TU V, X, R, W c (V{X)~R{WTU V, X, S, Q c (V{X|Q)~STU V, X, S, R c (V~X)|(S{R)TU V, X, S, S c V~(X|SS)TU V, X, S, T c V~(X{S|T)TU V, X, S, V c V~(X|V)~STU V, X, S, W c (V{X)~S|WTU V, X, T, Q c (V~X)|(T{Q)TU V, X, T, R c V~(XR{T)TU V, X, T, S c V{X~T{STU V, X, T, T c V~(X|TT)TU V, X, T, U c V~(X{T|U)TU V, X, T, V c (V{V)~(X|T)TU V, X, T, W c V{X{T~WTU V, X, U, P c (V~X)|(U{P)TU V, X, U, T c V{X~U|TTU V, X, U, U c V~(X|UU)TU V, X, U, V c V~(X{U|V)TU V, X, U, X c X|V{U~XTU V, X, V, O c V~X|V{OTU V, X, V, P c V~X|V~PTU V, X, V, Q c (V{X)~(VQ)TU V, X, V, S c V~(X|V)~STU V, X, V, T c (V{V)~(X|T)TU V, X, V, U c V~(X|V{U)TU V, X, V, V c V~(X|VV)TU V, X, V, W c V~(X{V|W)TU V, X, V, X c (V{XX)~VTU V, X, W, O c (V{X~O)~WTU V, X, W, P c V~X|W{PTU V, X, W, R c (V{X)~R{WTU V, X, W, S c (V{X)~S|WTU V, X, W, T c V{X{W~TTU V, X, W, V c (V{X|W)~VTU V, X, W, W c V~(X|W)~WTU V, X, W, X c V~(X{W|X)TU V, X, X, Q c V~X|X{QTU V, X, X, U c X|V{X~UTU V, X, X, V c (V{XX)~VTU V, X, X, W c (V{X|X)~WTU V, X, X, X c V~(X|XX)TU W, O, O, V c (W{O{O)~VTU W, O, P, U c (W{O)~(P{U)TU W, O, P, V c (W{O)~(P~V)TU W, O, P, W c (W{O|P)~WTU W, O, Q, T c (W{O)~(Q{T)TU W, O, Q, V c (W{O~Q)~VTU W, O, Q, X c (W{O)~(X|Q)TU W, O, R, S c (W{O)~(R{S)TU W, O, R, V c (W{O~R)~VTU W, O, S, R c (W{O)~(S{R)TU W, O, S, U c (W{O{U)~STU W, O, S, V c (W{O~S)~VTU W, O, T, Q c (W{O)~(T{Q)TU W, O, T, V c (W{O~T)~VTU W, O, U, P c (W{O)~(U{P)TU W, O, U, S c (W{O{U)~STU W, O, U, V c (W{O~U)~VTU W, O, U, W c W{O{U~WTU W, O, V, O c (W{O)~(V{O)TU W, O, V, P c (W{O)~(V~P)TU W, O, V, Q c (W{O~Q)~VTU W, O, V, R c (W{O~R)~VTU W, O, V, S c (W{O~S)~VTU W, O, V, T c (W{O~T)~VTU W, O, V, U c (W{O~U)~VTU W, O, V, V c (W{O~V)~VTU W, O, V, W c W~O{V~WTU W, O, V, X c (W{O~X)~VTU W, O, W, P c (W{O)~(W|P)TU W, O, W, U c W{O{W~UTU W, O, W, V c (W{O~W)~VTU W, O, W, W c (W{O)~W|WTU W, O, X, Q c (W{O)~(X|Q)TU W, O, X, V c (W{O~X)~VTU W, P, O, U c W~(P{O{U)TU W, P, O, V c (W{P~O)~VTU W, P, O, W c (W|P{O)~WTU W, P, P, T c W~(P{P{T)TU W, P, P, U c W~(P{P~U)TU W, P, P, V c (W{P|P)~VTU W, P, P, W c (W|P)~(P~W)TU W, P, P, X c (W|P)~(X|P)TU W, P, Q, R c W~(P{Q~R)TU W, P, Q, S c (W|P)~(Q~S)TU W, P, Q, T c (W~P)~(Q{T)TU W, P, Q, U c (W|P)~(Q{U)TU W, P, Q, V c W~(Q|P)~VTU W, P, Q, W c (W{P|Q)~WTU W, P, Q, X c (W~P)~(X|Q)TU W, P, R, Q c W~(P{R~Q)TU W, P, R, R c W~(P{R{R)TU W, P, R, S c (W~P)~(R{S)TU W, P, R, T c (W|P)~(R{T)TU W, P, R, U c (W{U)~(P{R)TU W, P, R, X c W~(P{X|R)TU W, P, S, Q c (W|P)~(S~Q)TU W, P, S, R c (W~P)~(S{R)TU W, P, S, S c (W|P)~(S{S)TU W, P, S, T c (W{P{T)~STU W, P, S, U c (W{P~U)~STU W, P, S, V c (W|P{V)~STU W, P, T, P c W~(P{T{P)TU W, P, T, Q c (W~P)~(T{Q)TU W, P, T, R c (W|P)~(T{R)TU W, P, T, S c (W{P{T)~STU W, P, T, U c (W{U)~(T|P)TU W, P, T, W c W{(P{T)~WTU W, P, U, O c W~(P{U){OTU W, P, U, P c W~(P{U)~PTU W, P, U, Q c (W{P)~U{QTU W, P, U, R c (W{U)~(P{R)TU W, P, U, S c (W{P~U)~STU W, P, U, T c (W{U)~(T|P)TU W, P, U, V c W(P|UV)TU W, P, U, W c W{P~U~WTU W, P, U, X c W~U|P{XTU W, P, V, O c W~P~V{OTU W, P, V, P c (W|P)~(V{P)TU W, P, V, Q c (W~V)~(Q|P)TU W, P, V, S c (W|P{V)~STU W, P, V, U c W{(P{V)~UTU W, P, V, V c (W{P)~V|VTU W, P, V, W c W~(P{V)|WTU W, P, V, X c (W|P)~X|VTU W, P, W, O c (W|P)~(W{O)TU W, P, W, P c (W|P)~(W~P)TU W, P, W, Q c W~(P{W|Q)TU W, P, W, T c W{(P{T)~WTU W, P, W, U c W{P~W~UTU W, P, W, V c W~(P{V)|WTU W, P, W, W c W~P~W|WTU W, P, W, X c W~W{P|XTU W, P, X, P c (W|P)~(X|P)TU W, P, X, Q c (W~P)~(X|Q)TU W, P, X, R c W~(P{X|R)TU W, P, X, U c W{(X|P)~UTU W, P, X, V c (W|P)~X|VTU W, P, X, W c W~(X|P)|WTU W, Q, O, T c W~(Q{O{T)TU W, Q, O, V c (W{Q~O)~VTU W, Q, O, X c (W{O)~(X|Q)TU W, Q, P, R c W~(Q~R{P)TU W, Q, P, S c W~(Q{P{S)TU W, Q, P, T c W~(Q{P~T)TU W, Q, P, U c W~(Q|P{U)TU W, Q, P, V c W~(Q|P)~VTU W, Q, P, W c (W|Q{P)~WTU W, Q, P, X c (W~P)~(X|Q)TU W, Q, Q, R c W~(Q{Q{R)TU W, Q, Q, S c (W~Q|Q)~STU W, Q, Q, U c W~(QQ{U)TU W, Q, Q, V c (W{Q|Q)~VTU W, Q, Q, W c (W|QQ)~WTU W, Q, Q, X c (W|Q)~X{QTU W, Q, R, P c W~(Q~R{P)TU W, Q, R, Q c W~(Q{R{Q)TU W, Q, R, R c W~(R~R|Q)TU W, Q, R, S c (W{Q~R)~STU W, Q, R, T c W~(Q~T|R)TU W, Q, R, U c W~(R|Q{U)TU W, Q, R, V c W~(R|Q)~VTU W, Q, R, W c (W{Q|R)~WTU W, Q, S, P c W~(Q{S{P)TU W, Q, S, Q c (W~Q|Q)~STU W, Q, S, R c (W{Q~R)~STU W, Q, S, S c (W{Q{S)~STU W, Q, S, T c W~(S|Q{T)TU W, Q, S, U c W{Q~S~UTU W, Q, S, V c (WQ{S)~VTU W, Q, S, W c W{(Q{S)~WTU W, Q, S, X c W~(Q{X|S)TU W, Q, T, O c W~(Q{T){OTU W, Q, T, P c W~(Q{T)~PTU W, Q, T, R c W~(Q~T|R)TU W, Q, T, S c W~(T|Q{S)TU W, Q, T, U c (W{Q)~T{UTU W, Q, T, W c W~Q{T~WTU W, Q, T, X c (WQ)~(T{X)TU W, Q, U, P c W~(Q{U|P)TU W, Q, U, Q c W~(QQ{U)TU W, Q, U, R c W~(U|Q{R)TU W, Q, U, S c (W{Q)~U|STU W, Q, U, T c W~(Q~U|T)TU W, Q, U, U c W{(Q{U)~UTU W, Q, U, W c W~(Q{U)|WTU W, Q, V, O c (W{Q~O)~VTU W, Q, V, P c W~(Q|P)~VTU W, Q, V, Q c W~(Q{V|Q)TU W, Q, V, R c (W~V)~(R|Q)TU W, Q, V, S c (WQ{S)~VTU W, Q, V, V c W~(Q~V|V)TU W, Q, V, W c (W~Q|W)~VTU W, Q, W, P c (W|Q{P)~WTU W, Q, W, Q c (W|QQ)~WTU W, Q, W, R c W{Q~W~RTU W, Q, W, S c (W|Q{W)~STU W, Q, W, T c W~Q{W~TTU W, Q, W, U c (WQ)~(W{U)TU W, Q, W, V c (W~Q|W)~VTU W, Q, W, W c (W|Q)~W{WTU W, Q, W, X c W~(Q~W|X)TU W, Q, X, O c W~(X|Q){OTU W, Q, X, P c W~(X|Q)~PTU W, Q, X, Q c (W|Q)~X{QTU W, Q, X, S c W~(Q{X|S)TU W, Q, X, T c (WQ)~(X{T)TU W, Q, X, W c (W~Q|X)~WTU W, R, O, S c W~(R{O{S)TU W, R, O, V c (W{R~O)~VTU W, R, P, Q c W~(R~Q{P)TU W, R, P, R c W~(R{P{R)TU W, R, P, S c W~(R{P~S)TU W, R, P, T c W~(R|P{T)TU W, R, P, U c (W{U)~(R{P)TU W, R, P, X c W~(P{X|R)TU W, R, Q, P c W~(R~Q{P)TU W, R, Q, Q c W~(R{Q{Q)TU W, R, Q, R c W~(R~R|Q)TU W, R, Q, S c (W{R~Q)~STU W, R, Q, T c W~(Q~T|R)TU W, R, Q, U c W~(R|Q{U)TU W, R, Q, V c W~(R|Q)~VTU W, R, Q, W c W{R~Q~WTU W, R, R, P c W~(R{R{P)TU W, R, R, Q c W~(R~R|Q)TU W, R, R, S c (W{R{R)~STU W, R, R, U c W~(RR{U)TU W, R, R, V c (W{R|R)~VTU W, R, R, W c W{(R{R)~WTU W, R, S, O c W~(R{S){OTU W, R, S, P c W~(R{S)~PTU W, R, S, Q c (W~R{S)~QTU W, R, S, R c (W{R{R)~STU W, R, S, S c W{R~S~STU W, R, S, T c W~(R~S|T)TU W, R, S, U c (W{SR)~UTU W, R, S, V c W~(S|R)~VTU W, R, S, W c (W{R|S)~WTU W, R, S, X c W{(R{X)~STU W, R, T, P c (W{R)~T{PTU W, R, T, Q c W~(T~Q|R)TU W, R, T, S c W~(R~S|T)TU W, R, T, T c W~(T|R{T)TU W, R, T, U c W{(R{T)~UTU W, R, T, W c W~(R{T)|WTU W, R, T, X c W{R{T~XTU W, R, U, P c (W{U)~(R{P)TU W, R, U, Q c W~(R{U|Q)TU W, R, U, R c W~(RR{U)TU W, R, U, S c W~(U|R{S)TU W, R, U, T c W{(R{T)~UTU W, R, U, V c (W{U)~(V|R)TU W, R, U, X c W~(X|UR)TU W, R, V, O c (W{R~O)~VTU W, R, V, Q c W~(R|Q)~VTU W, R, V, R c W~(R{V|R)TU W, R, V, S c (W~V)~(S|R)TU W, R, V, U c (W{U)~(V|R)TU W, R, V, X c W{R~(V{X)TU W, R, W, Q c W{R~W~QTU W, R, W, R c W{(R{R)~WTU W, R, W, S c W~(R{W|S)TU W, R, W, T c W~(R{T)|WTU W, R, W, W c W{R~(W{W)TU W, R, W, X c W{W~(X|R)TU W, R, X, P c W~(X|R{P)TU W, R, X, S c W{(R{X)~STU W, R, X, T c W{R{X~TTU W, R, X, U c W~(X|UR)TU W, R, X, V c W{R~(X{V)TU W, R, X, W c W{(X|R)~WTU W, S, O, R c W~(S{O{R)TU W, S, O, U c (W{O{U)~STU W, S, O, V c (W{S~O)~VTU W, S, P, Q c W~(S{P{Q)TU W, S, P, R c W~(S{P~R)TU W, S, P, S c W~(S|P{S)TU W, S, P, T c (W{P{T)~STU W, S, P, U c (W{P~U)~STU W, S, P, V c (W|P{V)~STU W, S, Q, P c W~(S{Q{P)TU W, S, Q, Q c (W~Q|Q)~STU W, S, Q, R c (W{Q~R)~STU W, S, Q, S c (W{S{Q)~STU W, S, Q, T c W~(S|Q{T)TU W, S, Q, U c W{S~Q~UTU W, S, Q, V c (W|S)~(Q~V)TU W, S, Q, W c W{(S{Q)~WTU W, S, Q, X c W~(Q{X|S)TU W, S, R, O c W~(S{R){OTU W, S, R, P c W~(S{R)~PTU W, S, R, Q c (W~R{S)~QTU W, S, R, R c (W{R{R)~STU W, S, R, S c W{S~R~STU W, S, R, T c W~(S~R|T)TU W, S, R, U c (W{SR)~UTU W, S, R, V c W~(S|R)~VTU W, S, R, W c (W|S{R)~WTU W, S, R, X c W{S~(R{X)TU W, S, S, P c W~(S{S|P)TU W, S, S, Q c (W~S|S)~QTU W, S, S, R c W{S~S~RTU W, S, S, S c S~S~S|WTU W, S, S, T c (W{S)~T|STU W, S, S, U c W{(S{S)~UTU W, S, S, V c (W{S|S)~VTU W, S, S, W c (W{S)~S{WTU W, S, S, X c W~(S~S|X)TU W, S, T, P c (W{T{P)~STU W, S, T, Q c (W{S~T)~QTU W, S, T, R c W~(S~R|T)TU W, S, T, S c (W{S)~T|STU W, S, T, U c W~(T|S{U)TU W, S, T, V c W{S~(T{V)TU W, S, T, W c (W{S|T)~WTU W, S, T, X c (W|S)~(T{X)TU W, S, U, O c (W{U)~(S{O)TU W, S, U, P c (W{U)~(S~P)TU W, S, U, Q c W{S~U~QTU W, S, U, R c W~(S{U|R)TU W, S, U, S c W~S{U~STU W, S, U, T c W~(U|S{T)TU W, S, U, U c W{S~(U{U)TU W, S, U, V c (WS{U)~VTU W, S, U, W c (W|S)~(U{W)TU W, S, U, X c WS{U~XTU W, S, V, O c (W{S~O)~VTU W, S, V, P c (W{V|P)~STU W, S, V, Q c (W|S)~(V~Q)TU W, S, V, R c W~(S|R)~VTU W, S, V, S c W~(S{V|S)TU W, S, V, T c W{S~(V{T)TU W, S, V, U c (WS{U)~VTU W, S, V, V c (W|S)~(V{V)TU W, S, V, X c S~(V{X)|WTU W, S, W, Q c W{(S{Q)~WTU W, S, W, R c W~S{W~RTU W, S, W, S c W{(S{W)~STU W, S, W, T c W~(S{W|T)TU W, S, W, U c (W|S)~(W{U)TU W, S, W, W c (W{W)~S|WTU W, S, W, X c W~(X|WS)TU W, S, X, Q c W~(X|S{Q)TU W, S, X, R c W{S~(X{R)TU W, S, X, S c W~(S~S|X)TU W, S, X, T c (W|S)~(X{T)TU W, S, X, U c W~(S{X|U)TU W, S, X, V c S~(X{V)|WTU W, S, X, W c W~(X|WS)TU W, T, O, Q c W~(T{O{Q)TU W, T, O, V c (W{T~O)~VTU W, T, P, P c W~(T{P{P)TU W, T, P, Q c W~(T{P~Q)TU W, T, P, R c W~(T|P{R)TU W, T, P, S c (W{T{P)~STU W, T, P, U c (W{U)~(T|P)TU W, T, P, W c W{(T{P)~WTU W, T, Q, O c W~(T{Q){OTU W, T, Q, P c W~(T{Q)~PTU W, T, Q, R c W~(T~Q|R)TU W, T, Q, S c W~(T|Q{S)TU W, T, Q, U c (W{Q)~T{UTU W, T, Q, W c W~T{Q~WTU W, T, Q, X c W~(T{X)QTU W, T, R, P c W~(T{R|P)TU W, T, R, Q c W~(T~Q|R)TU W, T, R, S c W~(R~S|T)TU W, T, R, T c W~(T|R{T)TU W, T, R, U c W{(T{R)~UTU W, T, R, W c W~(T{R)|WTU W, T, R, X c W{T~X{RTU W, T, S, P c (W{T{P)~STU W, T, S, Q c (W{T~S)~QTU W, T, S, R c W~(S~R|T)TU W, T, S, S c (W{T)~S{STU W, T, S, U c W~(T|S{U)TU W, T, S, V c W~(T|S)~VTU W, T, S, W c (W|T{S)~WTU W, T, S, X c (W|S)~(T{X)TU W, T, T, R c W~(T{T|R)TU W, T, T, U c W~(TT{U)TU W, T, T, V c (W{T|T)~VTU W, T, T, W c (W|TT)~WTU W, T, T, X c (W{T)~T|XTU W, T, U, P c (W{U)~(T|P)TU W, T, U, Q c W~(U~Q|T)TU W, T, U, R c W~(T{UR)TU W, T, U, S c W~(T{U|S)TU W, T, U, T c W~(TT{U)TU W, T, U, U c W~(U|T{U)TU W, T, U, V c W~(U|T)~VTU W, T, U, W c (W{T|U)~WTU W, T, U, X c (W{U)~(X|T)TU W, T, V, O c (W{T~O)~VTU W, T, V, S c W{(T{V)~STU W, T, V, T c W~(T{V|T)TU W, T, V, U c (W~V)~(U|T)TU W, T, V, X c W~T{V{XTU W, T, W, P c W{(T{P)~WTU W, T, W, Q c W~T{W~QTU W, T, W, R c W~(T{R)|WTU W, T, W, S c W~(T{WS)TU W, T, W, T c (W|TT)~WTU W, T, W, U c W~(T{W|U)TU W, T, W, W c W{T~W{WTU W, T, X, Q c W~(T{X)QTU W, T, X, R c W{T~X{RTU W, T, X, S c (W|S)~(T{X)TU W, T, X, T c (W{T)~T|XTU W, T, X, U c (W{U)~(X|T)TU W, T, X, V c W~T{X{VTU W, U, O, P c W~(U{O{P)TU W, U, O, S c (W{U{O)~STU W, U, O, V c (W{U~O)~VTU W, U, O, W c W{(U{O)~WTU W, U, P, O c W~(U{P){OTU W, U, P, P c W~(U{P)~PTU W, U, P, Q c W~(U|P{Q)TU W, U, P, R c (W{U)~(P{R)TU W, U, P, S c (W{U)~(P~S)TU W, U, P, T c (W{U)~(T|P)TU W, U, P, V c W{U~(P{V)TU W, U, P, W c W{U~P~WTU W, U, P, X c W~U|P{XTU W, U, Q, P c W~(U{Q|P)TU W, U, Q, Q c (W{U)~(Q{Q)TU W, U, Q, R c W~(U|Q{R)TU W, U, Q, S c W{U~Q~STU W, U, Q, T c W~(U~Q|T)TU W, U, Q, U c W{(U{Q)~UTU W, U, Q, W c (W{U)Q~WTU W, U, R, P c (W{U)~(R{P)TU W, U, R, Q c W~(U{R|Q)TU W, U, R, R c W~(U{RR)TU W, U, R, S c W~(U|R{S)TU W, U, R, T c W{U~(R{T)TU W, U, R, V c (W{U)~(V|R)TU W, U, R, X c W~(X|UR)TU W, U, S, O c (W{U)~(S{O)TU W, U, S, P c (W{U)~(S~P)TU W, U, S, Q c W{U~S~QTU W, U, S, R c W~(U{S|R)TU W, U, S, S c W{U~(S{S)TU W, U, S, T c W~(U|S{T)TU W, U, S, U c W{(U{U)~STU W, U, S, V c (W|U)~(S~V)TU W, U, S, W c (W{U)~(W|S)TU W, U, S, X c WS{U~XTU W, U, T, P c (W{U)~(T|P)TU W, U, T, Q c W~(U~Q|T)TU W, U, T, R c W{U~(T{R)TU W, U, T, S c W~(U{T|S)TU W, U, T, T c W~(U{TT)TU W, U, T, U c W~(U|T{U)TU W, U, T, V c W~(U|T)~VTU W, U, T, W c (W|U{T)~WTU W, U, T, X c (W{U)~(X|T)TU W, U, U, Q c W{U~(U{Q)TU W, U, U, S c W{(U{U)~STU W, U, U, T c W~(U{U|T)TU W, U, U, U c W~(U{UU)TU W, U, U, V c W{U{U~VTU W, U, U, W c (W|UU)~WTU W, U, U, X c W|U{U~XTU W, U, V, O c (W{U~O)~VTU W, U, V, P c W{U~(V{P)TU W, U, V, R c (W{U)~(V|R)TU W, U, V, S c (W|U)~(V~S)TU W, U, V, T c W~(U|T)~VTU W, U, V, U c W{U{V~UTU W, U, V, V c W~(U{VV)TU W, U, V, W c (W{U|V)~WTU W, U, W, O c W{U~W{OTU W, U, W, P c W{U~W~PTU W, U, W, Q c (W{U)~(WQ)TU W, U, W, S c (W{U)~(W|S)TU W, U, W, T c (W|U{T)~WTU W, U, W, U c (WU{W)~UTU W, U, W, V c W~(U{W|V)TU W, U, W, W c W~(U{WW)TU W, U, W, X c W~(U{X|W)TU W, U, X, P c W{U~(X|P)TU W, U, X, R c W~(X|UR)TU W, U, X, S c W~(X|U{S)TU W, U, X, T c (W{U)~(X|T)TU W, U, X, U c W{U~X|UTU W, U, X, W c W~(U{X|W)TU W, U, X, X c W~(U{XX)TU W, V, O, O c W~V{O{OTU W, V, O, P c W~V{O~PTU W, V, O, Q c W~V{O~QTU W, V, O, R c W~V{O~RTU W, V, O, S c W~V{O~STU W, V, O, T c W~V{O~TTU W, V, O, U c W~V{O~UTU W, V, O, V c (W{V~O)~VTU W, V, O, W c W~V{O~WTU W, V, O, X c W~V{O~XTU W, V, P, O c W~V{P~OTU W, V, P, P c W~V{P|PTU W, V, P, Q c (W~V)~(Q|P)TU W, V, P, S c (W{V|P)~STU W, V, P, U c W{(V{P)~UTU W, V, P, V c W{V~V|PTU W, V, P, W c W{(V|P)~WTU W, V, P, X c (W|P)~X|VTU W, V, Q, O c W~V{Q~OTU W, V, Q, P c (W~V)~(Q|P)TU W, V, Q, Q c W~V{Q|QTU W, V, Q, R c (W~V)~(R|Q)TU W, V, Q, S c (WQ{S)~VTU W, V, Q, V c W~(V~Q|V)TU W, V, Q, W c (W~Q|W)~VTU W, V, R, O c W~V{R~OTU W, V, R, Q c (W~V)~(R|Q)TU W, V, R, R c W~V{R|RTU W, V, R, S c (W~V)~(S|R)TU W, V, R, U c (W{U)~(V|R)TU W, V, R, X c W{(V{X)~RTU W, V, S, O c W~V{S~OTU W, V, S, P c (W{V|P)~STU W, V, S, Q c (W|S)~(V~Q)TU W, V, S, R c (W~V)~(S|R)TU W, V, S, S c (W{V)~S|STU W, V, S, T c W{(V{T)~STU W, V, S, U c (WS{U)~VTU W, V, S, V c (W|S)~(V{V)TU W, V, S, X c (V{X)~S|WTU W, V, T, O c W~V{T~OTU W, V, T, S c W{(V{T)~STU W, V, T, T c W~V{T|TTU W, V, T, U c (W~V)~(U|T)TU W, V, T, X c W~T{V{XTU W, V, U, O c W~V{U~OTU W, V, U, P c W{(V{P)~UTU W, V, U, R c (W{U)~(V|R)TU W, V, U, S c (W|U)~(V~S)TU W, V, U, T c (W~V)~(U|T)TU W, V, U, U c W{V~U{UTU W, V, U, V c W~(V|U)~VTU W, V, U, W c (W|V{U)~WTU W, V, V, O c W~V{V~OTU W, V, V, P c W{V~V|PTU W, V, V, Q c W~(V{V)QTU W, V, V, S c (W|S)~(V{V)TU W, V, V, U c (W~V)~(V|U)TU W, V, V, V c (W{V|V)~VTU W, V, V, W c (W|V)~(V~W)TU W, V, V, X c V~(V{X|W)TU W, V, W, O c W~V{W~OTU W, V, W, P c W{(V|P)~WTU W, V, W, Q c (W{W)~(VQ)TU W, V, W, U c (W|V{U)~WTU W, V, W, V c (W|V)~(W~V)TU W, V, W, W c (W{V|W)~WTU W, V, W, X c (W~V)~(X|W)TU W, V, X, O c W~V{X~OTU W, V, X, P c (W|P)~X|VTU W, V, X, R c W{(V{X)~RTU W, V, X, S c (V{X)~S|WTU W, V, X, T c W~(X|V{T)TU W, V, X, V c (V{X|W)~VTU W, V, X, W c (W~V)~(X|W)TU W, V, X, X c W~V{X|XTU W, W, O, P c W~(W{O|P)TU W, W, O, U c W{(W{O)~UTU W, W, O, V c (W{W~O)~VTU W, W, O, W c W~W{O|WTU W, W, P, O c W~(W|P){OTU W, W, P, P c W~(W|P)~PTU W, W, P, Q c W~(W{P|Q)TU W, W, P, T c W{W~(P{T)TU W, W, P, U c W{W~P~UTU W, W, P, V c (W~W)|(P{V)TU W, W, P, W c W~W|P~WTU W, W, P, X c W~W{P|XTU W, W, Q, P c W~(W|Q{P)TU W, W, Q, Q c W~(W|QQ)TU W, W, Q, R c W{W~Q~RTU W, W, Q, S c (W{W|Q)~STU W, W, Q, T c W~Q{W~TTU W, W, Q, U c (W~W)|(Q{U)TU W, W, Q, V c (W{W)Q~VTU W, W, Q, W c W{(W|Q)~WTU W, W, Q, X c W~(W~Q|X)TU W, W, R, Q c W{W~R~QTU W, W, R, R c W{W~(R{R)TU W, W, R, S c W~(W{R|S)TU W, W, R, T c (W~W)|(R{T)TU W, W, R, W c (W{W)~R{WTU W, W, R, X c W{W~(X|R)TU W, W, S, Q c W{W~(S{Q)TU W, W, S, R c W~(W|S{R)TU W, W, S, S c W{(W{S)~STU W, W, S, T c W~(W{S|T)TU W, W, S, U c (W|S)~(W{U)TU W, W, S, W c (W{W)~S|WTU W, W, S, X c W~(X|WS)TU W, W, T, P c W{W~(T{P)TU W, W, T, Q c W~T{W~QTU W, W, T, R c (W~W)|(T{R)TU W, W, T, S c W~(W|T{S)TU W, W, T, T c W~(W|TT)TU W, W, T, U c W~(W{T|U)TU W, W, T, W c W{W{T~WTU W, W, U, O c W{W~U{OTU W, W, U, P c W{W~U~PTU W, W, U, Q c W~(W{U)QTU W, W, U, S c (W{U)~(W|S)TU W, W, U, T c W~(W|U{T)TU W, W, U, U c (W{WU)~UTU W, W, U, V c W~(W{U|V)TU W, W, U, W c (WW{U)~WTU W, W, U, X c W~(U{X|W)TU W, W, V, O c (W{W~O)~VTU W, W, V, P c W{W~(V|P)TU W, W, V, Q c (W{W)~(VQ)TU W, W, V, U c W~(W|V{U)TU W, W, V, V c W~(W|V)~VTU W, W, V, W c W{W~V|WTU W, W, V, X c (W~V)~(X|W)TU W, W, W, O c W~W|W{OTU W, W, W, P c W~W|W~PTU W, W, W, Q c W{W~(W|Q)TU W, W, W, R c W{(W{W)~RTU W, W, W, S c (W{W)~S|WTU W, W, W, T c W{W{W~TTU W, W, W, U c W~(WW{U)TU W, W, W, V c (W{W|W)~VTU W, W, W, W c (W|WW)~WTU W, W, W, X c W~(W{W|X)TU W, W, X, P c W~W|X{PTU W, W, X, Q c W~(W~Q|X)TU W, W, X, R c W{W~(X|R)TU W, W, X, S c W~(X|WS)TU W, W, X, U c W~(X|W{U)TU W, W, X, V c W~(X|W)~VTU W, W, X, W c (W{W|X)~WTU W, W, X, X c W~(W|XX)TU W, X, O, Q c W~(X{O|Q)TU W, X, O, V c (W{X~O)~VTU W, X, P, P c W~(X|P|P)TU W, X, P, Q c W~(X|P~Q)TU W, X, P, R c W~(X{P|R)TU W, X, P, U c W{(X|P)~UTU W, X, P, V c (W|P)~X|VTU W, X, P, W c W~(X|P)|WTU W, X, Q, O c W~(X|Q){OTU W, X, Q, P c W~(X|Q)~PTU W, X, Q, Q c (W|Q)~X{QTU W, X, Q, S c W~(X{Q|S)TU W, X, Q, T c W~(X{T)QTU W, X, Q, W c W~X|Q~WTU W, X, R, P c W~(X|R{P)TU W, X, R, S c W{(X{R)~STU W, X, R, T c (W{X)~R{TTU W, X, R, U c W~(X|UR)TU W, X, R, V c W{(X{V)~RTU W, X, R, W c W{(X|R)~WTU W, X, S, Q c W~(X|S{Q)TU W, X, S, R c W{(X{R)~STU W, X, S, S c W~X|S~STU W, X, S, T c (W|S)~(X{T)TU W, X, S, U c W~(X{S|U)TU W, X, S, V c (X{V)~S|WTU W, X, S, W c W~(X|WS)TU W, X, T, Q c W~(X{T)QTU W, X, T, R c W{X~T{RTU W, X, T, S c (W|S)~(X{T)TU W, X, T, T c (W{T)~T|XTU W, X, T, U c (W{U)~(X|T)TU W, X, T, V c W~(X{T|V)TU W, X, U, P c W{(X|P)~UTU W, X, U, R c W~(X|UR)TU W, X, U, S c W~(X|U{S)TU W, X, U, T c (W{U)~(X|T)TU W, X, U, U c W{X~U|UTU W, X, U, W c W~(X{U|W)TU W, X, U, X c W~(XX{U)TU W, X, V, O c (W{X~O)~VTU W, X, V, P c (W|P)~X|VTU W, X, V, R c W{(X{V)~RTU W, X, V, S c (X{V)~S|WTU W, X, V, T c W~(X|V{T)TU W, X, V, V c (X|W{V)~VTU W, X, V, W c W~(X|W)~VTU W, X, V, X c W~(X{V|X)TU W, X, W, P c W~(X|P)|WTU W, X, W, Q c W~X|W~QTU W, X, W, R c W{(X|R)~WTU W, X, W, S c W~(X|WS)TU W, X, W, U c W~(X|W{U)TU W, X, W, V c W~(X|W)~VTU W, X, W, W c (W~X)|(W{W)TU W, X, W, X c (W|XX)~WTU W, X, X, U c W~(XX{U)TU W, X, X, V c (W{X|X)~VTU W, X, X, W c (W|XX)~WTU X, O, P, V c (X{O|P)~VTU X, O, Q, U c (X{O)~U{QTU X, O, Q, W c (X{O|Q)~WTU X, O, S, T c (X{O{T)~STU X, O, T, S c (X{O{T)~STU X, O, U, Q c (X{O)~U{QTU X, O, V, P c (X{O|P)~VTU X, O, V, V c (X{O)~V|VTU X, O, V, W c X~O{V~WTU X, O, W, Q c (X{O|Q)~WTU X, O, W, V c X~O{W~VTU X, P, O, V c (X|P{O)~VTU X, P, P, U c (X|P)~(P{U)TU X, P, P, V c (X|P)~(P~V)TU X, P, P, W c (X|P|P)~WTU X, P, Q, R c (X~R{P)~QTU X, P, Q, T c (X|P)~(Q{T)TU X, P, Q, U c X~P~U{QTU X, P, Q, V c (X{P|Q)~VTU X, P, Q, W c (X|P~Q)~WTU X, P, Q, X c (X|P)~(X|Q)TU X, P, R, Q c (X~R{P)~QTU X, P, R, S c (X|P)~(R{S)TU X, P, R, T c (X{T)~(P{R)TU X, P, R, U c (X{PR)~UTU X, P, R, W c (X{P|R)~WTU X, P, S, R c (X|P)~(S{R)TU X, P, S, S c (X{P{S)~STU X, P, S, T c (X{P~T)~STU X, P, S, U c (X{P)~U|STU X, P, T, Q c (X|P)~(T{Q)TU X, P, T, R c (X{T)~(P{R)TU X, P, T, S c (X{P~T)~STU X, P, T, T c (X{T)~(T|P)TU X, P, T, U c (X{P)~T{UTU X, P, U, P c (X|P)~(U{P)TU X, P, U, Q c X~P~U{QTU X, P, U, R c (X{PR)~UTU X, P, U, S c (X{P)~U|STU X, P, U, T c (X{P)~T{UTU X, P, U, V c X~(P{U)|VTU X, P, U, W c X|P{U~WTU X, P, V, O c (X|P)~(V{O)TU X, P, V, P c (X|P)~(V~P)TU X, P, V, Q c (X{P|Q)~VTU X, P, V, U c X~(P{U)|VTU X, P, V, V c X~P~V|VTU X, P, V, W c X~V{P|WTU X, P, W, P c (X|P)~(W|P)TU X, P, W, Q c (X|P~Q)~WTU X, P, W, R c (X{P|R)~WTU X, P, W, U c X|P{W~UTU X, P, W, V c X~(W|P)|VTU X, P, W, W c (X|P)~W|WTU X, P, X, Q c (X|P)~(X|Q)TU X, Q, O, U c (X{O)~U{QTU X, Q, O, W c (X|Q{O)~WTU X, Q, P, R c (X~R{P)~QTU X, Q, P, T c (X{Q)~T{PTU X, Q, P, U c X~P~U{QTU X, Q, P, V c (X|Q{P)~VTU X, Q, P, W c (X|Q)~(P~W)TU X, Q, P, X c (X|Q)~(X|P)TU X, Q, Q, R c X~Q~R{QTU X, Q, Q, S c (X|Q)~(Q~S)TU X, Q, Q, T c (X{T)~(Q{Q)TU X, Q, Q, U c (X|Q)~(Q{U)TU X, Q, Q, V c (X|QQ)~VTU X, Q, Q, W c X~(W|Q){QTU X, Q, R, P c (X~R{P)~QTU X, Q, R, Q c X~Q~R{QTU X, Q, R, R c X~(R{R){QTU X, Q, R, S c (X{Q{R)~STU X, Q, R, T c (X|Q)~(R{T)TU X, Q, R, V c (X{Q|R)~VTU X, Q, R, X c (X|R)~X{QTU X, Q, S, Q c (X|Q)~(S~Q)TU X, Q, S, R c (X{Q{R)~STU X, Q, S, S c (X|Q)~(S{S)TU X, Q, S, U c X~U|Q{STU X, Q, S, V c (X|Q{V)~STU X, Q, S, W c (X{Q|S)~WTU X, Q, T, P c (X{Q)~T{PTU X, Q, T, Q c (X{T)~(Q{Q)TU X, Q, T, R c (X|Q)~(T{R)TU X, Q, T, U c (X{T)~(U|Q)TU X, Q, T, V c X~(Q{T)|VTU X, Q, T, W c (X{T)Q~WTU X, Q, T, X c X{Q{T~XTU X, Q, U, O c X~U{Q{OTU X, Q, U, P c X~U{Q~PTU X, Q, U, Q c (X|Q)~(U{Q)TU X, Q, U, S c X~U|Q{STU X, Q, U, T c (X{T)~(U|Q)TU X, Q, U, U c (X{QU)~UTU X, Q, U, X c X~(QX{U)TU X, Q, V, P c (X|Q)~(V{P)TU X, Q, V, Q c (X|QQ)~VTU X, Q, V, R c (X{Q|R)~VTU X, Q, V, S c (X|Q{V)~STU X, Q, V, T c X~(Q{T)|VTU X, Q, V, V c X|Q{V~VTU X, Q, V, X c (X|Q)~X|VTU X, Q, W, O c (X|Q)~(W{O)TU X, Q, W, P c (X|Q)~(W~P)TU X, Q, W, Q c X~(W|Q){QTU X, Q, W, S c (X{Q|S)~WTU X, Q, W, T c (X{T)Q~WTU X, Q, W, W c X~W|Q~WTU X, Q, X, P c (X|Q)~(X|P)TU X, Q, X, R c (X{X)~R{QTU X, Q, X, T c X{Q{X~TTU X, Q, X, U c X~(QX{U)TU X, Q, X, V c (X|Q)~X|VTU X, R, P, Q c (X~R{P)~QTU X, R, P, S c (X|P)~(R{S)TU X, R, P, T c (X{T)~(R{P)TU X, R, P, U c (X{PR)~UTU X, R, P, W c (X|R{P)~WTU X, R, Q, P c (X~R{P)~QTU X, R, Q, Q c X~R~Q{QTU X, R, Q, R c X~(R{R){QTU X, R, Q, S c (X{R{Q)~STU X, R, Q, T c (X|Q)~(R{T)TU X, R, Q, V c (X|R{Q)~VTU X, R, Q, X c (X|R)~X{QTU X, R, R, Q c X~(R{R){QTU X, R, R, V c (X|RR)~VTU X, R, S, P c (X|P)~(R{S)TU X, R, S, Q c (X{R{Q)~STU X, R, S, T c (X{R)~T|STU X, R, S, V c (X{R|S)~VTU X, R, S, W c (X{R)~S{WTU X, R, T, P c (X{T)~(R{P)TU X, R, T, Q c (X|Q)~(R{T)TU X, R, T, S c (X{R)~T|STU X, R, T, U c X~U|R{TTU X, R, T, V c (XR{T)~VTU X, R, T, W c (X{R|T)~WTU X, R, U, P c X~U{R|PTU X, R, U, T c X~U|R{TTU X, R, U, U c X~U{URTU X, R, U, W c (X|UR)~WTU X, R, U, X c (X{RX)~UTU X, R, V, Q c (X|R{Q)~VTU X, R, V, R c (X|RR)~VTU X, R, V, S c (X{R|S)~VTU X, R, V, T c (XR{T)~VTU X, R, V, W c (X{V)~R{WTU X, R, W, P c (X|R{P)~WTU X, R, W, S c (X|R{W)~STU X, R, W, T c (X{R|T)~WTU X, R, W, U c (X|UR)~WTU X, R, W, V c (X{V)~R{WTU X, R, W, W c (X|R)~W{WTU X, R, X, Q c (X|R)~X{QTU X, R, X, U c (X{RX)~UTU X, S, O, T c (X{O{T)~STU X, S, P, R c (X|P)~(S{R)TU X, S, P, S c (X{S{P)~STU X, S, P, T c (X{P~T)~STU X, S, P, U c (X{P)~U|STU X, S, Q, Q c X~(S{Q){QTU X, S, Q, R c (X{Q{R)~STU X, S, Q, S c (X|Q)~(S{S)TU X, S, Q, U c X~U{S|QTU X, S, Q, V c (X|Q{V)~STU X, S, Q, W c (X|S{Q)~WTU X, S, R, P c (X|P)~(S{R)TU X, S, R, Q c (X{R{Q)~STU X, S, R, T c (X{R)~T|STU X, S, R, V c (X|S{R)~VTU X, S, R, W c (X{R)~S{WTU X, S, S, P c (X{S{P)~STU X, S, S, Q c (X|Q)~(S{S)TU X, S, S, S c (X{S)~S{STU X, S, S, T c X~S{S~TTU X, S, S, U c (X{U)~S|STU X, S, S, V c (X|SS)~VTU X, S, S, W c X~W|S~STU X, S, S, X c (X|S{X)~STU X, S, T, O c (X{T)~(S{O)TU X, S, T, P c (X{T)~(S~P)TU X, S, T, R c (X{R)~T|STU X, S, T, S c X~S{T~STU X, S, T, V c (X{S|T)~VTU X, S, T, W c (X{T)~(W|S)TU X, S, T, X c (X{S)~T|XTU X, S, U, P c (X{U|P)~STU X, S, U, Q c X~U{S|QTU X, S, U, S c (X{U)~S|STU X, S, U, U c X~U|S{UTU X, S, U, W c (X{S|U)~WTU X, S, V, Q c (X{V|Q)~STU X, S, V, R c (X|S{R)~VTU X, S, V, S c (X|SS)~VTU X, S, V, T c (X{S|T)~VTU X, S, V, V c (X|V)~(S~V)TU X, S, V, W c (X{V)~S|WTU X, S, W, Q c (X~S|W)~QTU X, S, W, R c (X{W|R)~STU X, S, W, S c X~W|S~STU X, S, W, T c (X{T)~(W|S)TU X, S, W, U c (X{S|U)~WTU X, S, W, V c (X{V)~S|WTU X, S, W, W c (X|WS)~WTU X, S, X, S c (X|S{X)~STU X, S, X, T c (X{S)~T|XTU X, T, O, S c (X{T{O)~STU X, T, P, Q c X~(T{P){QTU X, T, P, R c (X{T)~(P{R)TU X, T, P, S c (X{T)~(P~S)TU X, T, P, T c (X{T)~(T|P)TU X, T, P, U c (X{P)~T{UTU X, T, Q, P c X~(T{P){QTU X, T, Q, Q c (X{T)~(Q{Q)TU X, T, Q, R c (X|Q)~(T{R)TU X, T, Q, U c (X{T)~(U|Q)TU X, T, Q, V c (X|T)~(Q~V)TU X, T, Q, W c (X{T)Q~WTU X, T, Q, X c X~T{Q{XTU X, T, R, P c (X{T)~(R{P)TU X, T, R, Q c (X|Q)~(T{R)TU X, T, R, S c (X{R)~T|STU X, T, R, U c X~U{T|RTU X, T, R, V c (X{T)~(V|R)TU X, T, R, W c (X|T{R)~WTU X, T, S, O c (X{T)~(S{O)TU X, T, S, P c (X{T)~(S~P)TU X, T, S, R c (X{R)~T|STU X, T, S, S c X~S{T~STU X, T, S, V c (X|T{S)~VTU X, T, S, W c (X{T)~(W|S)TU X, T, S, X c (X{S)~T|XTU X, T, T, P c (X{T)~(T|P)TU X, T, T, U c X~T{T{UTU X, T, T, V c (X|TT)~VTU X, T, T, W c T~(T{W)|XTU X, T, T, X c (X|T)~(T{X)TU X, T, U, P c (X{P)~T{UTU X, T, U, Q c (X{T)~(U|Q)TU X, T, U, R c X~U{T|RTU X, T, U, T c X~T{U{TTU X, T, U, V c X{T{U~VTU X, T, U, W c (X|T)~(U{W)TU X, T, V, Q c (X|T)~(V~Q)TU X, T, V, R c (X{T)~(V|R)TU X, T, V, S c X~T{V{STU X, T, V, T c (X|TT)~VTU X, T, V, U c X{T{V~UTU X, T, V, V c (X|T)~(V{V)TU X, T, V, W c (X{T|V)~WTU X, T, W, Q c (X{T)~(WQ)TU X, T, W, R c X~T{W{RTU X, T, W, S c (X{T)~(W|S)TU X, T, W, T c (T{W)~T|XTU X, T, W, U c (X|T)~(W{U)TU X, T, W, V c X{T~W{VTU X, T, X, Q c X{T~X{QTU X, T, X, S c (X{S)~T|XTU X, T, X, T c (X{T)~(X|T)TU X, U, O, Q c X~U{O{QTU X, U, P, P c X~U{P{PTU X, U, P, Q c X~U{P~QTU X, U, P, R c X~U|P{RTU X, U, P, S c (X{U|P)~STU X, U, P, T c (X{P)~T{UTU X, U, P, V c X~(U{P)|VTU X, U, P, W c X{U~W|PTU X, U, Q, O c X~U{Q{OTU X, U, Q, P c X~U{Q~PTU X, U, Q, Q c (X|Q)~(U{Q)TU X, U, Q, S c X~U|Q{STU X, U, Q, T c (X{T)~(U|Q)TU X, U, Q, U c (X{QU)~UTU X, U, Q, X c X~(U{QX)TU X, U, R, P c X~U{R|PTU X, U, R, T c X~U|R{TTU X, U, R, U c X~U{URTU X, U, R, W c (X|UR)~WTU X, U, R, X c (X{RX)~UTU X, U, S, P c (X{U|P)~STU X, U, S, Q c X~U{S|QTU X, U, S, S c (X{U)~S|STU X, U, S, U c X~U|S{UTU X, U, S, W c (X|U{S)~WTU X, U, T, P c (X{P)~T{UTU X, U, T, Q c (X{T)~(U|Q)TU X, U, T, R c X~U{T|RTU X, U, T, T c X~T{U{TTU X, U, T, V c (X|U{T)~VTU X, U, T, W c (X|T)~(U{W)TU X, U, U, Q c (X{QU)~UTU X, U, U, R c X~U{URTU X, U, U, S c X~U{U|STU X, U, U, V c (X|UU)~VTU X, U, U, W c X~U|U{WTU X, U, V, P c X~(U{P)|VTU X, U, V, T c X{U~V{TTU X, U, V, U c (X|UU)~VTU X, U, V, V c (X{U|V)~VTU X, U, V, X c X~U|V{XTU X, U, W, P c X{U~W|PTU X, U, W, R c (X|UR)~WTU X, U, W, S c X~U{WSTU X, U, W, T c (X|T)~(U{W)TU X, U, W, U c X~U{W|UTU X, U, W, W c (X{U|W)~WTU X, U, W, X c (XX{U)~WTU X, U, X, Q c X~(U{QX)TU X, U, X, R c (X{RX)~UTU X, U, X, V c X{U~X|VTU X, U, X, W c (XX{U)~WTU X, V, O, P c (X{O|P)~VTU X, V, O, V c X~V{O|VTU X, V, O, W c X~O{V~WTU X, V, P, O c (X|P)~(V{O)TU X, V, P, P c (X|P)~(V~P)TU X, V, P, Q c X~(V|P){QTU X, V, P, U c (X~V)|(P{U)TU X, V, P, V c X~V|P~VTU X, V, P, W c X~V{P|WTU X, V, Q, P c X~(V|P){QTU X, V, Q, Q c (X|QQ)~VTU X, V, Q, R c (X{Q|R)~VTU X, V, Q, S c (X{V|Q)~STU X, V, Q, T c (X~V)|(Q{T)TU X, V, Q, V c (X{V)Q~VTU X, V, Q, X c X~V{Q|XTU X, V, R, Q c (X|R{Q)~VTU X, V, R, R c (X|RR)~VTU X, V, R, S c (X~V)|(R{S)TU X, V, R, T c (XR{T)~VTU X, V, R, W c (X{V)~R{WTU X, V, S, Q c (X{V|Q)~STU X, V, S, R c (X~V)|(S{R)TU X, V, S, S c (X|SS)~VTU X, V, S, T c (X{S|T)~VTU X, V, S, V c (X|V)~(S~V)TU X, V, S, W c (X{V)~S|WTU X, V, T, Q c (X~V)|(T{Q)TU X, V, T, R c (X{T)~(V|R)TU X, V, T, S c X~T{V{STU X, V, T, T c (X|TT)~VTU X, V, T, U c X{V~U{TTU X, V, T, V c (X|T)~(V{V)TU X, V, T, W c X{V{T~WTU X, V, U, P c (X~V)|(U{P)TU X, V, U, T c X{V~U{TTU X, V, U, U c (X|UU)~VTU X, V, U, V c (X|V{U)~VTU X, V, U, X c X|V{U~XTU X, V, V, O c X~V|V{OTU X, V, V, P c X~V|V~PTU X, V, V, Q c X{V~V|QTU X, V, V, S c (X|V)~(V~S)TU X, V, V, T c (X|T)~(V{V)TU X, V, V, U c (X|V{U)~VTU X, V, V, V c (X|VV)~VTU X, V, V, W c (X{V|W)~VTU X, V, V, X c X~(V|VX)TU X, V, W, O c X~O{V~WTU X, V, W, P c X~V|W{PTU X, V, W, R c (X{V)~R{WTU X, V, W, S c (X{V)~S|WTU X, V, W, T c X{V{W~TTU X, V, W, V c (X{V|W)~VTU X, V, W, W c (X|W)~(V~W)TU X, V, W, X c X{V~W|XTU X, V, X, Q c X~V|X{QTU X, V, X, U c X|V{X~UTU X, V, X, V c X~(V|VX)TU X, V, X, W c (X{V|X)~WTU X, V, X, X c (X|XX)~VTU X, W, O, Q c (X{O|Q)~WTU X, W, O, V c X~O{W~VTU X, W, P, P c (X|P)~(W|P)TU X, W, P, Q c (X|P~Q)~WTU X, W, P, R c (X{P|R)~WTU X, W, P, U c X{W~U|PTU X, W, P, V c X~(W|P)|VTU X, W, P, W c (X|P)~W|WTU X, W, Q, O c (X|Q)~(W{O)TU X, W, Q, P c (X|Q)~(W~P)TU X, W, Q, Q c X~(W|Q){QTU X, W, Q, S c (X{Q|S)~WTU X, W, Q, T c (X{T)~(WQ)TU X, W, Q, W c X~W|Q~WTU X, W, R, P c (X|R{P)~WTU X, W, R, S c (X{W|R)~STU X, W, R, T c (X{W)~R{TTU X, W, R, U c (X|UR)~WTU X, W, R, V c (X{V)~R{WTU X, W, R, W c (X|R)~W{WTU X, W, S, Q c (X~S|W)~QTU X, W, S, R c (X{W|R)~STU X, W, S, S c X~W|S~STU X, W, S, T c (X{T)~(W|S)TU X, W, S, U c (X{S|U)~WTU X, W, S, V c (X{V)~S|WTU X, W, S, W c (X|WS)~WTU X, W, T, Q c (X{T)~(WQ)TU X, W, T, R c (X{W)~R{TTU X, W, T, S c (X{T)~(W|S)TU X, W, T, T c (W{T)~T|XTU X, W, T, U c (X|T)~(W{U)TU X, W, T, V c X{W~T{VTU X, W, U, P c X{W~U|PTU X, W, U, R c (X|UR)~WTU X, W, U, S c X~U{WSTU X, W, U, T c (X|T)~(W{U)TU X, W, U, U c X~U{W|UTU X, W, U, W c (X|W{U)~WTU X, W, U, X c (XX{U)~WTU X, W, V, O c X~O{W~VTU X, W, V, P c X~(W|P)|VTU X, W, V, R c (X{V)~R{WTU X, W, V, S c (X{V)~S|WTU X, W, V, T c X{W~T{VTU X, W, V, V c (X|W{V)~VTU X, W, V, W c (X|W)~(V~W)TU X, W, V, X c X{W~V|XTU X, W, W, P c (X|P)~W|WTU X, W, W, Q c X~W|W~QTU X, W, W, R c (X|R)~W{WTU X, W, W, S c (X|WS)~WTU X, W, W, U c (X|W{U)~WTU X, W, W, V c (X|W)~(W~V)TU X, W, W, W c (X~W)|(W{W)TU X, W, W, X c (W|XX)~WTU X, W, X, U c (XX{U)~WTU X, W, X, V c (X{W|X)~VTU X, W, X, W c (W|XX)~WTU X, X, P, Q c (X|P)~(X|Q)TU X, X, Q, P c (X|Q)~(X|P)TU X, X, Q, R c (X{X)~R{QTU X, X, Q, T c X{X~T{QTU X, X, Q, U c X~(QX{U)TU X, X, Q, V c X~(X|Q)|VTU X, X, R, Q c (X{X)~R{QTU X, X, R, U c (X{RX)~UTU X, X, S, S c (X{X|S)~STU X, X, S, T c (X{S)~T|XTU X, X, T, Q c X{X~T{QTU X, X, T, S c (X{S)~T|XTU X, X, T, T c X~X|T~TTU X, X, U, Q c X~(U{QX)TU X, X, U, R c (X{RX)~UTU X, X, U, V c X{X~U|VTU X, X, U, W c (XX{U)~WTU X, X, V, Q c X~(X|Q)|VTU X, X, V, U c X{X~U|VTU X, X, V, V c (XX{V)~VTU X, X, V, W c X|X{V~WTU X, X, V, X c (X|XX)~VTU X, X, W, U c (XX{U)~WTU X, X, W, V c X|X{W~VTU X, X, W, W c (W|XX)~WTU X, X, X, V c (X|XX)~VTU