O, Q, U, X c (O{Q{X)~UUU O, Q, W, W c O{Q{W~WUU O, Q, X, U c (O{Q{X)~UUU O, R, U, W c (O{R{W)~UUU O, R, V, X c O{R{V~XUU O, R, W, U c (O{R{W)~UUU O, R, X, V c O{R{X~VUU O, S, U, V c (O{S{V)~UUU O, S, V, U c (O{S{V)~UUU O, T, U, U c (O{T{U)~UUU O, U, Q, X c (O{U)~(Q{X)UU O, U, R, W c (O{U)~(R{W)UU O, U, S, V c (O{U)~(S{V)UU O, U, T, U c (O{U{T)~UUU O, U, U, T c (O{U)~(U{T)UU O, U, V, S c (O{U)~(V{S)UU O, U, W, R c (O{U)~(W{R)UU O, U, W, X c O{W~X|UUU O, U, X, Q c (O{U)~(X{Q)UU O, U, X, W c O{X~W|UUU O, V, R, X c O{V~X{RUU O, V, S, U c (O{V{S)~UUU O, V, U, S c (O{V{S)~UUU O, V, X, R c O{V~X{RUU O, W, Q, W c O{W~W{QUU O, W, R, U c (O{W{R)~UUU O, W, U, R c (O{W{R)~UUU O, W, U, X c O{W~X|UUU O, W, W, Q c O{W~W{QUU O, W, X, U c O{W~X|UUU O, X, Q, U c (O{X{Q)~UUU O, X, R, V c O{X~V{RUU O, X, U, Q c (O{X{Q)~UUU O, X, U, W c O{X~W|UUU O, X, V, R c O{X~V{RUU O, X, W, U c O{X~W|UUU P, P, U, X c (P{P{X)~UUU P, P, W, W c P{P{W~WUU P, P, X, U c (P{P{X)~UUU P, Q, S, W c (P{S~W)~QUU P, Q, T, U c (P{Q~T)~UUU P, Q, T, X c (P{T)~(Q{X)UU P, Q, U, T c (P{Q~T)~UUU P, Q, U, U c (Q~U|P)~UUU P, Q, U, W c (P{Q{W)~UUU P, Q, U, X c (P~Q{X)~UUU P, Q, V, W c (P{V)~W{QUU P, Q, V, X c P{Q{V~XUU P, Q, W, S c (P{W~S)~QUU P, Q, W, U c (P{Q{W)~UUU P, Q, W, V c (P{V)~W{QUU P, Q, W, W c P~Q{W~WUU P, Q, W, X c Q{W~(X|P)UU P, Q, X, T c (P{T)~(Q{X)UU P, Q, X, U c (P~Q{X)~UUU P, Q, X, V c P{Q{X~VUU P, Q, X, W c Q{(X|P)~WUU P, R, R, V c (P{R~V)~RUU P, R, S, U c (R~S|P)~UUU P, R, T, W c (P{T)~(R{W)UU P, R, U, S c (R~S|P)~UUU P, R, U, V c (P{R{V)~UUU P, R, U, W c (P~R{W)~UUU P, R, U, X c (P{U)~X{RUU P, R, V, R c (P{R~V)~RUU P, R, V, U c (P{R{V)~UUU P, R, V, W c (P{W)~V{RUU P, R, V, X c P~R{V~XUU P, R, W, T c (P{T)~(R{W)UU P, R, W, U c (P~R{W)~UUU P, R, W, V c (P{W)~V{RUU P, R, W, W c R|P{W~WUU P, R, W, X c R{(W|P)~XUU P, R, X, U c (P{U)~X{RUU P, R, X, V c P~R{X~VUU P, R, X, W c R{X~(W|P)UU P, S, Q, W c (P{S~W)~QUU P, S, R, U c (S~R|P)~UUU P, S, T, V c (P{T)~(S{V)UU P, S, T, X c P{(S{X)~TUU P, S, U, R c (S~R|P)~UUU P, S, U, U c (P{S{U)~UUU P, S, U, V c (P~S{V)~UUU P, S, U, W c (S|P{W)~UUU P, S, V, T c (P{T)~(S{V)UU P, S, V, U c (P~S{V)~UUU P, S, V, V c (S{V)~(V|P)UU P, S, V, X c (P{X)~V|SUU P, S, W, Q c (P{S~W)~QUU P, S, W, U c (S|P{W)~UUU P, S, W, W c (PS{W)~WUU P, S, X, T c P{(S{X)~TUU P, S, X, V c (P{X)~V|SUU P, T, Q, U c (P{T~Q)~UUU P, T, Q, X c (P{T)~(Q{X)UU P, T, R, W c (P{T)~(R{W)UU P, T, S, V c (P{T)~(S{V)UU P, T, S, X c P{T~(S{X)UU P, T, T, U c (P{T{T)~UUU P, T, T, W c P{T~(T{W)UU P, T, U, Q c (P{T~Q)~UUU P, T, U, T c (P{T)~(U{T)UU P, T, U, U c (P~T{U)~UUU P, T, U, V c P{T~(U{V)UU P, T, V, S c (P{T)~(V{S)UU P, T, V, U c P{T~(V{U)UU P, T, W, R c (P{T)~(W{R)UU P, T, W, T c P{(T{W)~TUU P, T, W, X c (W~X)|(P{T)UU P, T, X, Q c (P{T)~(X{Q)UU P, T, X, S c P{T~(X{S)UU P, T, X, W c (X~W)|(P{T)UU P, U, P, X c (P{P{X)~UUU P, U, Q, T c (P{Q~T)~UUU P, U, Q, U c (U~Q|P)~UUU P, U, Q, W c (P{Q{W)~UUU P, U, Q, X c (P~U)~(Q{X)UU P, U, R, S c U~(R~S|P)UU P, U, R, V c (P{R{V)~UUU P, U, R, W c (P~U)~(R{W)UU P, U, R, X c (P{U)~X{RUU P, U, S, R c U~(S~R|P)UU P, U, S, U c (P{U{S)~UUU P, U, S, V c (P~U)~(S{V)UU P, U, S, W c U~(S|P{W)UU P, U, T, Q c (P{T~Q)~UUU P, U, T, T c (P{T)~(U{T)UU P, U, T, U c (P~U{T)~UUU P, U, T, V c P{(U{V)~TUU P, U, U, Q c U~(U~Q|P)UU P, U, U, S c (P{U{S)~UUU P, U, U, T c (P~U)~(U{T)UU P, U, U, U c (U|P{U)~UUU P, U, U, X c (P{X)~U{UUU P, U, V, R c (P{V{R)~UUU P, U, V, S c (P~U)~(V{S)UU P, U, V, T c P{(U{V)~TUU P, U, V, X c (P{V)~X|UUU P, U, W, Q c (P{W{Q)~UUU P, U, W, R c (P~U)~(W{R)UU P, U, W, S c U~(W|P{S)UU P, U, W, W c (P{W)~W|UUU P, U, W, X c P~W~X|UUU P, U, X, P c (P{X{P)~UUU P, U, X, Q c (P~U)~(X{Q)UU P, U, X, R c (P{U)~X{RUU P, U, X, U c (P{X)~U{UUU P, U, X, V c (P{V)~X|UUU P, U, X, W c P~X~W|UUU P, U, X, X c (X|P)~X|UUU P, V, Q, W c (P{V)~W{QUU P, V, Q, X c P{V~X{QUU P, V, R, R c (P{V~R)~RUU P, V, R, U c (P{V{R)~UUU P, V, R, W c (P{W)~V{RUU P, V, R, X c P~V~X{RUU P, V, S, T c (P{T)~(V{S)UU P, V, S, U c (P~V{S)~UUU P, V, S, V c (V|P)~(S{V)UU P, V, S, X c (P{X)~V|SUU P, V, T, S c (P{T)~(V{S)UU P, V, T, U c P{(V{U)~TUU P, V, U, R c (P{V{R)~UUU P, V, U, S c (P~V{S)~UUU P, V, U, T c P{(V{U)~TUU P, V, U, X c (P{V)~X|UUU P, V, V, S c (V|P)~(V{S)UU P, V, W, Q c (P{V)~W{QUU P, V, W, R c (P{W)~V{RUU P, V, W, X c P{V~W{XUU P, V, X, Q c P{V~X{QUU P, V, X, R c P~V~X{RUU P, V, X, S c (P{X)~V|SUU P, V, X, U c (P{V)~X|UUU P, V, X, W c P{V~W{XUU P, W, P, W c P{W~W{PUU P, W, Q, S c (P{W~S)~QUU P, W, Q, U c (P{W{Q)~UUU P, W, Q, V c (P{V)~W{QUU P, W, Q, W c P~W~W{QUU P, W, Q, X c W~(X|P){QUU P, W, R, T c (P{T)~(W{R)UU P, W, R, U c (P~W{R)~UUU P, W, R, V c (P{W)~V{RUU P, W, R, W c W~W|P{RUU P, W, R, X c (W|P)~X{RUU P, W, S, Q c (P{W~S)~QUU P, W, S, U c (W|P{S)~UUU P, W, S, W c (PS{W)~WUU P, W, T, R c (P{T)~(W{R)UU P, W, T, T c P{(W{T)~TUU P, W, T, X c (W~X)|(P{T)UU P, W, U, Q c (P{W{Q)~UUU P, W, U, R c (P~W{R)~UUU P, W, U, S c (W|P{S)~UUU P, W, U, W c (P{W)~W|UUU P, W, U, X c P~W~X|UUU P, W, V, Q c (P{V)~W{QUU P, W, V, R c (P{W)~V{RUU P, W, V, X c P{W~V{XUU P, W, W, P c P{W~W{PUU P, W, W, Q c P~W~W{QUU P, W, W, R c W~W|P{RUU P, W, W, S c (PS{W)~WUU P, W, W, U c (P{W)~W|UUU P, W, X, Q c W~(X|P){QUU P, W, X, R c (W|P)~X{RUU P, W, X, T c (W~X)|(P{T)UU P, W, X, U c P~W~X|UUU P, W, X, V c P{W~X|VUU P, X, P, U c (P{X{P)~UUU P, X, Q, T c (P{T)~(X{Q)UU P, X, Q, U c (P~X{Q)~UUU P, X, Q, V c P{X~V{QUU P, X, Q, W c (X|P)~W{QUU P, X, R, U c (P{U)~X{RUU P, X, R, V c P~X~V{RUU P, X, R, W c X~(W|P){RUU P, X, S, T c P{(X{S)~TUU P, X, S, V c (P{X)~V|SUU P, X, T, Q c (P{T)~(X{Q)UU P, X, T, S c P{(X{S)~TUU P, X, T, W c (X~W)|(P{T)UU P, X, U, P c (P{X{P)~UUU P, X, U, Q c (P~X{Q)~UUU P, X, U, R c (P{U)~X{RUU P, X, U, U c (P{X)~U{UUU P, X, U, V c (P{V)~X|UUU P, X, U, W c P~X~W|UUU P, X, U, X c (X|P)~X|UUU P, X, V, Q c P{X~V{QUU P, X, V, R c P~X~V{RUU P, X, V, S c (P{X)~V|SUU P, X, V, U c (P{V)~X|UUU P, X, V, W c P{X{V~WUU P, X, W, Q c (X|P)~W{QUU P, X, W, R c X~(W|P){RUU P, X, W, T c (X~W)|(P{T)UU P, X, W, U c P~X~W|UUU P, X, W, V c P{X{W~VUU P, X, X, U c (X|P)~X|UUU Q, O, U, X c (Q{O{X)~UUU Q, O, W, W c Q{O{W~WUU Q, O, X, U c (Q{O{X)~UUU Q, P, S, W c Q~(P{S~W)UU Q, P, T, U c (Q~T{P)~UUU Q, P, T, X c (Q{X)~(P{T)UU Q, P, U, T c (Q~T{P)~UUU Q, P, U, U c (Q~U|P)~UUU Q, P, U, W c (Q{P{W)~UUU Q, P, U, X c (Q{P~X)~UUU Q, P, V, W c Q{(P{V)~WUU Q, P, V, X c Q{P{V~XUU Q, P, W, S c Q~(P{W~S)UU Q, P, W, U c (Q{P{W)~UUU Q, P, W, V c Q{(P{V)~WUU Q, P, W, W c Q{P~W~WUU Q, P, W, X c Q{W~(X|P)UU Q, P, X, T c (Q{X)~(P{T)UU Q, P, X, U c (Q{P~X)~UUU Q, P, X, V c Q{P{X~VUU Q, P, X, W c Q{(X|P)~WUU Q, Q, R, X c Q~(Q{X)~RUU Q, Q, S, W c Q{Q~S~WUU Q, Q, S, X c (Q{S)~(Q{X)UU Q, Q, T, V c Q~(T~V|Q)UU Q, Q, U, V c (Q{Q{V)~UUU Q, Q, U, W c Q{(Q{U)~WUU Q, Q, V, T c Q~(V~T|Q)UU Q, Q, V, U c (Q{Q{V)~UUU Q, Q, W, S c Q{Q~W~SUU Q, Q, W, U c Q{(Q{U)~WUU Q, Q, W, X c (Q{X)~(W|Q)UU Q, Q, X, R c Q~(Q{X)~RUU Q, Q, X, S c (Q{X)~(Q{S)UU Q, Q, X, W c (Q{X)~(W|Q)UU Q, R, Q, X c (Q~R)~(Q{X)UU Q, R, R, U c (Q{R~R)~UUU Q, R, R, W c (Q~R)~(R{W)UU Q, R, R, X c (Q{X)~(R{R)UU Q, R, S, T c (Q{S~T)~RUU Q, R, S, U c (Q~S{R)~UUU Q, R, S, V c (Q~R)~(S{V)UU Q, R, S, W c (Q{S)~(R{W)UU Q, R, S, X c Q~(S~X|R)UU Q, R, T, S c (Q{T~S)~RUU Q, R, T, U c (Q~R{T)~UUU Q, R, T, W c Q{(R{T)~WUU Q, R, T, X c (Q{T)~X{RUU Q, R, U, R c (Q{R~R)~UUU Q, R, U, S c (Q~S{R)~UUU Q, R, U, T c Q~(R{U~T)UU Q, R, U, U c (Q{R{U)~UUU Q, R, U, V c (Q~V|R)~UUU Q, R, U, W c (Q~W{U)~RUU Q, R, U, X c Q~(R~X{U)UU Q, R, V, S c (Q~R)~(V{S)UU Q, R, V, U c (Q~V|R)~UUU Q, R, V, V c (Q{V)~V{RUU Q, R, V, W c (Q~V{W)~RUU Q, R, W, R c Q~(R{W)~RUU Q, R, W, S c (Q{S)~(R{W)UU Q, R, W, T c Q{(R{T)~WUU Q, R, W, U c (Q~W{U)~RUU Q, R, W, V c (Q~V{W)~RUU Q, R, W, W c (R{W)~(W|Q)UU Q, R, W, X c Q~(R~W{X)UU Q, R, X, Q c (Q~R)~(X{Q)UU Q, R, X, R c (Q{X)~(R{R)UU Q, R, X, S c (Q~X{S)~RUU Q, R, X, T c (Q{T)~X{RUU Q, R, X, U c Q~(R~X{U)UU Q, R, X, W c Q~(R~W{X)UU Q, R, X, X c (Q{X)~(X|R)UU Q, S, P, W c Q~(S~W{P)UU Q, S, Q, W c Q{S~Q~WUU Q, S, Q, X c (Q{S)~(Q{X)UU Q, S, R, T c (Q{S~T)~RUU Q, S, R, U c (Q~S{R)~UUU Q, S, R, V c Q~(S{V)~RUU Q, S, R, W c (Q{S)~(R{W)UU Q, S, R, X c Q~(S~X|R)UU Q, S, S, S c Q{S~S~SUU Q, S, S, V c (Q{S)~(S{V)UU Q, S, S, W c Q{(S{S)~WUU Q, S, T, R c (Q{S~T)~RUU Q, S, T, U c (Q{S{T)~UUU Q, S, T, V c Q~(S~V{T)UU Q, S, U, R c (Q~S{R)~UUU Q, S, U, T c (Q{S)~(U{T)UU Q, S, U, X c Q~(S~U{X)UU Q, S, V, R c Q~(S{V)~RUU Q, S, V, S c (Q{S)~(V{S)UU Q, S, V, T c Q~(S~V{T)UU Q, S, V, W c (Q{W)~V|SUU Q, S, V, X c Q{S~(V{X)UU Q, S, W, P c Q~(S~W{P)UU Q, S, W, Q c Q{S~W~QUU Q, S, W, R c (Q{S)~(W{R)UU Q, S, W, S c Q{(S{S)~WUU Q, S, W, V c (Q{W)~V|SUU Q, S, W, W c Q{S~(W{W)UU Q, S, W, X c S~(W{X)|QUU Q, S, X, Q c (Q{S)~(X{Q)UU Q, S, X, R c Q~(S~X|R)UU Q, S, X, U c Q~S~X|UUU Q, S, X, V c Q{S~(X{V)UU Q, S, X, W c S~(X{W)|QUU Q, T, P, U c (Q~T{P)~UUU Q, T, P, X c (Q{X)~(T{P)UU Q, T, Q, V c Q~(T~V|Q)UU Q, T, R, S c (Q{T~S)~RUU Q, T, R, U c Q~(T{U)~RUU Q, T, R, W c Q{(T{R)~WUU Q, T, R, X c (Q{T)~X{RUU Q, T, S, R c (Q{T~S)~RUU Q, T, S, U c (Q{T{S)~UUU Q, T, S, V c Q~(T{S~V)UU Q, T, T, W c Q~(T~T{W)UU Q, T, U, P c (Q~T{P)~UUU Q, T, U, R c Q~(T{U)~RUU Q, T, U, S c (Q{T{S)~UUU Q, T, U, U c Q~T~U{UUU Q, T, U, W c (Q~W|T)~UUU Q, T, V, Q c Q~(T~V|Q)UU Q, T, V, S c Q~(T{V~S)UU Q, T, V, W c Q~T{V~WUU Q, T, V, X c T|Q{V~XUU Q, T, W, R c Q{(T{R)~WUU Q, T, W, T c Q~(T~T{W)UU Q, T, W, U c (Q~W|T)~UUU Q, T, W, V c Q~T{W~VUU Q, T, X, P c (Q{X)~(T{P)UU Q, T, X, R c (Q{T)~X{RUU Q, T, X, V c T|Q{X~VUU Q, U, O, X c (Q{O{X)~UUU Q, U, P, T c (Q~T{P)~UUU Q, U, P, U c (Q~U|P)~UUU Q, U, P, W c (Q{P{W)~UUU Q, U, P, X c (Q{P~X)~UUU Q, U, Q, V c (Q{Q{V)~UUU Q, U, Q, W c Q{(U{Q)~WUU Q, U, R, R c (Q{R~R)~UUU Q, U, R, S c (Q~S{R)~UUU Q, U, R, T c Q~(U{T)~RUU Q, U, R, U c (Q{U{R)~UUU Q, U, R, V c (Q~V|R)~UUU Q, U, R, W c (Q~W{U)~RUU Q, U, R, X c Q~(U{R~X)UU Q, U, S, R c (Q~S{R)~UUU Q, U, S, T c (Q{S)~(U{T)UU Q, U, S, X c Q~(U~S{X)UU Q, U, T, P c (Q~T{P)~UUU Q, U, T, R c Q~(U{T)~RUU Q, U, T, S c (Q{T{S)~UUU Q, U, T, U c Q~U~T{UUU Q, U, T, W c (Q~W|T)~UUU Q, U, U, P c (Q~U|P)~UUU Q, U, U, R c Q~(U~U|R)UU Q, U, U, T c Q~U~T{UUU Q, U, U, U c Q~U~U|UUU Q, U, U, V c (U|Q{V)~UUU Q, U, U, W c (Q{W)~U{UUU Q, U, U, X c Q~U{U~XUU Q, U, V, Q c (Q{V{Q)~UUU Q, U, V, R c (Q~V|R)~UUU Q, U, V, U c (U|Q{V)~UUU Q, U, V, W c (Q{V)~W|UUU Q, U, V, X c Q~(U~V|X)UU Q, U, W, P c (Q{W{P)~UUU Q, U, W, Q c (Q{U)~W{QUU Q, U, W, R c (Q~W{U)~RUU Q, U, W, T c (Q~W|T)~UUU Q, U, W, U c (Q{W)~U{UUU Q, U, W, V c (Q{V)~W|UUU Q, U, W, X c Q~X{U~WUU Q, U, X, O c (Q{X)~(U{O)UU Q, U, X, P c (Q{X)~(U~P)UU Q, U, X, R c Q~(U{X~R)UU Q, U, X, S c Q~(U~S{X)UU Q, U, X, U c (Q{U)~X|UUU Q, U, X, V c Q~(U~V|X)UU Q, U, X, W c Q~X{U~WUU Q, V, P, W c Q{(V{P)~WUU Q, V, P, X c Q{V~X{PUU Q, V, Q, T c Q~(V~T|Q)UU Q, V, Q, U c (Q{V{Q)~UUU Q, V, R, S c Q~(V{S)~RUU Q, V, R, U c (Q~V|R)~UUU Q, V, R, V c (Q{V)~V{RUU Q, V, R, W c (Q~V{W)~RUU Q, V, S, R c Q~(V{S)~RUU Q, V, S, S c (Q{S)~(V{S)UU Q, V, S, T c Q~(V~S{T)UU Q, V, S, W c (Q{W)~V|SUU Q, V, S, X c Q{(V{X)~SUU Q, V, T, Q c Q~(V~T|Q)UU Q, V, T, S c Q~V~T|SUU Q, V, T, W c Q~T{V~WUU Q, V, T, X c V~X|Q{TUU Q, V, U, Q c (Q{V{Q)~UUU Q, V, U, R c (Q~V|R)~UUU Q, V, U, U c (V|Q{U)~UUU Q, V, U, W c (Q{V)~W|UUU Q, V, U, X c Q~(V~U|X)UU Q, V, V, R c (Q{V)~V{RUU Q, V, W, P c Q{(V{P)~WUU Q, V, W, R c (Q~V{W)~RUU Q, V, W, S c (Q{W)~V|SUU Q, V, W, T c Q~(W~T|V)UU Q, V, W, U c (Q{V)~W|UUU Q, V, W, W c Q{V~W{WUU Q, V, X, P c Q{V~X{PUU Q, V, X, S c Q{(V{X)~SUU Q, V, X, T c V~X|Q{TUU Q, V, X, U c Q~(V~U|X)UU Q, W, O, W c Q{(W{O)~WUU Q, W, P, S c Q~(W~S{P)UU Q, W, P, U c (Q{W{P)~UUU Q, W, P, V c Q{W~(P{V)UU Q, W, P, W c Q{W~P~WUU Q, W, P, X c Q{W~(X|P)UU Q, W, Q, S c Q{W~Q~SUU Q, W, Q, U c Q{W~(Q{U)UU Q, W, Q, X c (Q{X)~(W|Q)UU Q, W, R, R c Q~(W{R)~RUU Q, W, R, S c (Q{S)~(W{R)UU Q, W, R, T c Q{W~(R{T)UU Q, W, R, U c (Q~W{U)~RUU Q, W, R, V c (Q~V{W)~RUU Q, W, R, W c (W|Q)~(R{W)UU Q, W, R, X c Q~(W~R{X)UU Q, W, S, P c Q~(W~S{P)UU Q, W, S, Q c Q{W~S~QUU Q, W, S, R c (Q{S)~(W{R)UU Q, W, S, S c Q{W~(S{S)UU Q, W, S, V c (Q{W)~V|SUU Q, W, S, W c Q{(W{W)~SUU Q, W, S, X c (W~X)|(Q{S)UU Q, W, T, R c Q{W~(T{R)UU Q, W, T, T c Q~(W{T~T)UU Q, W, T, U c (Q~W|T)~UUU Q, W, T, V c Q~(W~T|V)UU Q, W, U, P c (Q{W{P)~UUU Q, W, U, Q c Q{W~(U{Q)UU Q, W, U, R c (Q~W{U)~RUU Q, W, U, T c (Q~W|T)~UUU Q, W, U, U c (Q{W)~U{UUU Q, W, U, V c (Q{V)~W|UUU Q, W, U, X c Q~X{W~UUU Q, W, V, P c Q{W~(V{P)UU Q, W, V, R c (Q~V{W)~RUU Q, W, V, S c (Q{W)~V|SUU Q, W, V, T c Q~(W~T|V)UU Q, W, V, U c (Q{V)~W|UUU Q, W, V, W c Q{W{V~WUU Q, W, W, O c Q{W~W{OUU Q, W, W, P c Q{W~W~PUU Q, W, W, R c (W|Q)~(W{R)UU Q, W, W, S c Q{(W{W)~SUU Q, W, W, V c Q{W{W~VUU Q, W, W, W c (QW{W)~WUU Q, W, W, X c Q{W~X|WUU Q, W, X, P c Q{W~(X|P)UU Q, W, X, Q c (Q{X)~(W|Q)UU Q, W, X, R c Q~(W~R{X)UU Q, W, X, S c (W~X)|(Q{S)UU Q, W, X, U c Q~X{W~UUU Q, W, X, W c Q{W~X|WUU Q, X, O, U c (Q{X{O)~UUU Q, X, P, T c (Q{X)~(P{T)UU Q, X, P, U c (Q{X)~(P~U)UU Q, X, P, V c Q{X~V{PUU Q, X, P, W c Q{(X|P)~WUU Q, X, Q, R c (Q{X)~(Q~R)UU Q, X, Q, S c (Q{X)~(Q{S)UU Q, X, Q, W c (Q{X)~(W|Q)UU Q, X, R, Q c (Q{X)~(R~Q)UU Q, X, R, R c (Q{X)~(R{R)UU Q, X, R, S c (Q~X{S)~RUU Q, X, R, T c (Q{T)~X{RUU Q, X, R, U c Q~(X~R{U)UU Q, X, R, W c Q~(X{R~W)UU Q, X, R, X c (Q{X)~(X|R)UU Q, X, S, Q c (Q{X)~(S{Q)UU Q, X, S, R c (Q~X{S)~RUU Q, X, S, U c Q~(X{S~U)UU Q, X, S, V c Q{(X{V)~SUU Q, X, S, W c (X~W)|(Q{S)UU Q, X, T, P c (Q{X)~(T{P)UU Q, X, T, R c (Q{T)~X{RUU Q, X, T, V c X~V|Q{TUU Q, X, U, O c (Q{X)~(U{O)UU Q, X, U, P c (Q{X)~(U~P)UU Q, X, U, R c Q~(X~R{U)UU Q, X, U, S c Q~(X{U~S)UU Q, X, U, U c (Q{U)~X|UUU Q, X, U, V c (Q~X|V)~UUU Q, X, U, W c Q~X{U~WUU Q, X, V, P c Q{X~V{PUU Q, X, V, S c Q{(X{V)~SUU Q, X, V, T c X~V|Q{TUU Q, X, V, U c (Q~X|V)~UUU Q, X, W, P c Q{(X|P)~WUU Q, X, W, Q c (Q{X)~(W|Q)UU Q, X, W, R c Q~(X{W~R)UU Q, X, W, S c (X~W)|(Q{S)UU Q, X, W, U c Q~X{W~UUU Q, X, W, W c Q{X~W|WUU Q, X, X, R c (Q{X)~(X|R)UU R, O, U, W c (R{O{W)~UUU R, O, V, X c R{O{V~XUU R, O, W, U c (R{O{W)~UUU R, O, X, V c R{O{X~VUU R, P, R, V c R~(P{R~V)UU R, P, S, U c (R~S|P)~UUU R, P, T, W c (R{W)~(P{T)UU R, P, U, S c (R~S|P)~UUU R, P, U, V c (R{P{V)~UUU R, P, U, W c (R{P~W)~UUU R, P, U, X c R{(P{U)~XUU R, P, V, R c R~(P{V~R)UU R, P, V, U c (R{P{V)~UUU R, P, V, W c R{(P{W)~VUU R, P, V, X c R{P~V~XUU R, P, W, T c (R{W)~(P{T)UU R, P, W, U c (R{P~W)~UUU R, P, W, V c R{(P{W)~VUU R, P, W, W c R|P{W~WUU R, P, W, X c R{(W|P)~XUU R, P, X, U c (R|P{X)~UUU R, P, X, V c R{P~X~VUU R, P, X, W c R{X~(W|P)UU R, Q, Q, X c (R~Q)~(Q{X)UU R, Q, R, U c (R~R{Q)~UUU R, Q, R, W c (R~Q)~(R{W)UU R, Q, R, X c (R{R)~(Q{X)UU R, Q, S, T c R~(Q{S~T)UU R, Q, S, U c (R{Q~S)~UUU R, Q, S, V c (R~Q)~(S{V)UU R, Q, S, W c (R{W)~(Q{S)UU R, Q, S, X c R~(Q~X{S)UU R, Q, T, S c R~(Q{T~S)UU R, Q, T, U c (R~Q{T)~UUU R, Q, T, W c (R{T)~W{QUU R, Q, T, X c R{(Q{T)~XUU R, Q, U, R c (R~R{Q)~UUU R, Q, U, S c (R{Q~S)~UUU R, Q, U, T c (R~Q)~(U{T)UU R, Q, U, U c (R{Q{U)~UUU R, Q, U, V c (Q~V|R)~UUU R, Q, U, W c R~(Q~W{U)UU R, Q, U, X c (R~X{U)~QUU R, Q, V, S c (R~Q)~(V{S)UU R, Q, V, U c (Q~V|R)~UUU R, Q, V, V c R{(Q{V)~VUU R, Q, V, W c R~(Q~V{W)UU R, Q, W, R c (R~Q)~(W{R)UU R, Q, W, S c (R{W)~(Q{S)UU R, Q, W, T c (R{T)~W{QUU R, Q, W, U c R~(Q~W{U)UU R, Q, W, V c R~(Q~V{W)UU R, Q, W, W c (R{W)~(W|Q)UU R, Q, W, X c (R~W{X)~QUU R, Q, X, Q c R~(Q{X)~QUU R, Q, X, R c (R{R)~(Q{X)UU R, Q, X, S c R~(Q~X{S)UU R, Q, X, T c R{(Q{T)~XUU R, Q, X, U c (R~X{U)~QUU R, Q, X, W c (R~W{X)~QUU R, Q, X, X c R{(X|Q)~XUU R, R, P, V c R~(R~V{P)UU R, R, Q, U c (R~R{Q)~UUU R, R, Q, W c R~(R{W)~QUU R, R, Q, X c (R{R)~(Q{X)UU R, R, R, V c R{R~R~VUU R, R, R, W c (R{R)~(R{W)UU R, R, S, U c R~(R~U{S)UU R, R, S, V c (R{R)~(S{V)UU R, R, S, X c R{(R{S)~XUU R, R, T, T c R~(T~T|R)UU R, R, T, U c (R{R{T)~UUU R, R, T, V c R~(R~T{V)UU R, R, T, X c R~(R~X|T)UU R, R, U, Q c (R~R{Q)~UUU R, R, U, S c R~(R~U{S)UU R, R, U, T c (R{R)~(U{T)UU R, R, U, V c R{(R{U)~VUU R, R, U, W c R~R~W|UUU R, R, V, P c R~(R~V{P)UU R, R, V, R c R{R~V~RUU R, R, V, S c (R{R)~(V{S)UU R, R, V, T c R~(R~T{V)UU R, R, V, U c R{(R{U)~VUU R, R, W, Q c R~(R{W)~QUU R, R, W, R c (R{R)~(W{R)UU R, R, W, U c R~R~W|UUU R, R, W, X c (R{W)~(X|R)UU R, R, X, Q c (R{R)~(X{Q)UU R, R, X, S c R{(R{S)~XUU R, R, X, T c R~(R~X|T)UU R, R, X, W c (R{W)~(X|R)UU R, S, P, U c (R~S|P)~UUU R, S, Q, T c R~(S~T{Q)UU R, S, Q, U c (R{S~Q)~UUU R, S, Q, V c R~(S{V)~QUU R, S, Q, W c (R{W)~(S{Q)UU R, S, Q, X c R~(S{Q~X)UU R, S, R, U c R~(S{R~U)UU R, S, R, V c (R{R)~(S{V)UU R, S, R, X c R{(S{R)~XUU R, S, S, U c (R{S{S)~UUU R, S, T, Q c R~(S~T{Q)UU R, S, T, U c R~S~T{UUU R, S, T, V c R{(S{T)~VUU R, S, U, P c (R~S|P)~UUU R, S, U, Q c R~(S~U|Q)UU R, S, U, R c R~(S{U~R)UU R, S, U, S c (R{S{S)~UUU R, S, U, T c R~S~T{UUU R, S, U, U c R~S~U|UUU R, S, U, V c R~(S~V|U)UU R, S, U, X c R~S{U~XUU R, S, V, Q c R~(S{V)~QUU R, S, V, R c (R{R)~(S{V)UU R, S, V, T c R{(S{T)~VUU R, S, V, U c R~(S~V|U)UU R, S, V, V c (R{V)~V|SUU R, S, V, X c (S{V)~(X|R)UU R, S, W, Q c (R{W)~(S{Q)UU R, S, W, X c W~(X|RS)UU R, S, X, Q c R~(S{X~Q)UU R, S, X, R c (R{S)~X{RUU R, S, X, U c R~S{X~UUU R, S, X, V c (S{V)~(X|R)UU R, S, X, W c (X|RS)~WUU R, S, X, X c R~(S{X{X)UU R, T, P, W c (R{W)~(T{P)UU R, T, Q, S c R~(T~S{Q)UU R, T, Q, U c (R{T~U)~QUU R, T, Q, W c (R{T)~W{QUU R, T, Q, X c R{(T{Q)~XUU R, T, R, T c R~(T~T|R)UU R, T, R, U c (R{T{R)~UUU R, T, R, V c R~(T~R{V)UU R, T, R, X c R~(R~X|T)UU R, T, S, Q c R~(T~S{Q)UU R, T, S, U c (R~T|S)~UUU R, T, S, V c R{(T{S)~VUU R, T, T, R c R~(T~T|R)UU R, T, T, X c R~T~T|XUU R, T, U, Q c (R{T~U)~QUU R, T, U, R c (R{T{R)~UUU R, T, U, S c (R~T|S)~UUU R, T, U, W c R~(T~U|W)UU R, T, U, X c (R{T)~X|UUU R, T, V, R c (R~T{V)~RUU R, T, V, S c R{(T{S)~VUU R, T, V, X c R~V{T~XUU R, T, W, P c (R{W)~(T{P)UU R, T, W, Q c (R{T)~W{QUU R, T, W, U c R~(T~U|W)UU R, T, W, W c T|R{W~WUU R, T, W, X c R~(T{W{X)UU R, T, X, Q c R{(T{Q)~XUU R, T, X, R c (R~X|T)~RUU R, T, X, T c R~T~T|XUU R, T, X, U c (R{T)~X|UUU R, T, X, V c R~V{T~XUU R, T, X, W c R~(T{X{W)UU R, T, X, X c (X|TR)~XUU R, U, O, W c (R{O{W)~UUU R, U, P, S c (R~S|P)~UUU R, U, P, V c (R{P{V)~UUU R, U, P, W c (R{P~W)~UUU R, U, P, X c R{(U{P)~XUU R, U, Q, R c (R~R{Q)~UUU R, U, Q, S c R~(U~S|Q)UU R, U, Q, T c (R{U~T)~QUU R, U, Q, U c (R{U{Q)~UUU R, U, Q, V c U~(Q~V|R)UU R, U, Q, W c R~(U{Q~W)UU R, U, Q, X c (R~X{U)~QUU R, U, R, Q c (R~R{Q)~UUU R, U, R, S c R~(U~R{S)UU R, U, R, T c (R{R)~(U{T)UU R, U, R, V c R{(U{R)~VUU R, U, R, W c R~R~W|UUU R, U, S, P c (R~S|P)~UUU R, U, S, Q c R~(U~S|Q)UU R, U, S, R c (R~U{S)~RUU R, U, S, S c R~(U{S~S)UU R, U, S, T c R~S~T{UUU R, U, S, U c R~U~S|UUU R, U, S, V c R~(S~V|U)UU R, U, S, X c R~S{U~XUU R, U, T, Q c (R{U~T)~QUU R, U, T, R c (R{T{R)~UUU R, U, T, S c (R~T|S)~UUU R, U, T, W c R~(U~T|W)UU R, U, T, X c (R{T)~X|UUU R, U, U, Q c (R{U{Q)~UUU R, U, U, S c R~U~S|UUU R, U, U, V c (R~U|V)~UUU R, U, U, W c R~U{U~WUU R, U, U, X c (R{X)~U|UUU R, U, V, P c (R{V{P)~UUU R, U, V, Q c U~(V~Q|R)UU R, U, V, R c (R{U)~V{RUU R, U, V, S c R~(V~S|U)UU R, U, V, U c (R~U|V)~UUU R, U, V, V c U~(V|R{V)UU R, U, V, W c R~W{U~VUU R, U, V, X c R~(U{V{X)UU R, U, W, O c (R{W)~(U{O)UU R, U, W, P c (R{W)~(U~P)UU R, U, W, Q c R~(U{W~Q)UU R, U, W, R c R~W~R|UUU R, U, W, T c R~(U~T|W)UU R, U, W, U c (R{U)~W|UUU R, U, W, V c R~W{U~VUU R, U, W, W c R~(U{W{W)UU R, U, W, X c U~(W{XR)UU R, U, X, P c R{(U{P)~XUU R, U, X, Q c (R~X{U)~QUU R, U, X, S c R~S{U~XUU R, U, X, T c (R{X)~T{UUU R, U, X, U c (R{X)~U|UUU R, U, X, V c R~(U{X{V)UU R, U, X, W c U~(XR{W)UU R, U, X, X c R{U~X{XUU R, V, O, X c R{(V{O)~XUU R, V, P, R c (R~V{P)~RUU R, V, P, U c (R{V{P)~UUU R, V, P, W c R{V~(P{W)UU R, V, P, X c R{V~P~XUU R, V, Q, S c R~(V{S)~QUU R, V, Q, U c (V~Q|R)~UUU R, V, Q, V c R{(V{Q)~VUU R, V, Q, W c R~(V~Q{W)UU R, V, R, P c R~(V~R{P)UU R, V, R, R c R{V~R~RUU R, V, R, S c (R{R)~(V{S)UU R, V, R, T c R~(V{R~T)UU R, V, R, U c R{V~(R{U)UU R, V, S, Q c R~(V{S)~QUU R, V, S, R c (R{R)~(V{S)UU R, V, S, T c R{V~(S{T)UU R, V, S, U c R~(V~S|U)UU R, V, S, V c (R{V)~V|SUU R, V, S, X c (V{S)~(X|R)UU R, V, T, R c R~(V{T~R)UU R, V, T, S c R{V~(T{S)UU R, V, T, X c R~V{T~XUU R, V, U, P c (R{V{P)~UUU R, V, U, Q c (V~Q|R)~UUU R, V, U, R c R{V~(U{R)UU R, V, U, S c R~(V~S|U)UU R, V, U, U c (R{V)~U{UUU R, V, U, V c (V|R{V)~UUU R, V, U, W c R~W{V~UUU R, V, U, X c R~(V{U{X)UU R, V, V, Q c R{V~(V{Q)UU R, V, V, S c (R{V)~V|SUU R, V, V, U c (V|R{V)~UUU R, V, V, W c R{V{V~WUU R, V, V, X c (RV{X)~VUU R, V, W, P c R{V~(W{P)UU R, V, W, Q c R~(V~Q{W)UU R, V, W, U c R~W{V~UUU R, V, W, V c R{V{W~VUU R, V, X, O c R{V~X{OUU R, V, X, P c R{V~X~PUU R, V, X, S c (V{S)~(X|R)UU R, V, X, T c R~V{X~TUU R, V, X, U c R~(V{X{U)UU R, V, X, V c (RV{X)~VUU R, V, X, X c (RX{V)~XUU R, W, O, U c (R{W{O)~UUU R, W, P, T c (R{W)~(P{T)UU R, W, P, U c (R{W)~(P~U)UU R, W, P, V c R{(W{P)~VUU R, W, P, W c R{W~W|PUU R, W, P, X c R{(W|P)~XUU R, W, Q, R c (R{W)~(Q~R)UU R, W, Q, S c (R{W)~(Q{S)UU R, W, Q, T c (R{T)~W{QUU R, W, Q, U c R~(W~Q{U)UU R, W, Q, V c R~(W{Q~V)UU R, W, Q, W c (R{W)~(W|Q)UU R, W, Q, X c (R~W{X)~QUU R, W, R, Q c (R{W)~(R~Q)UU R, W, R, R c (R{W)~(R{R)UU R, W, R, U c R~W~R|UUU R, W, R, X c (R{W)~(X|R)UU R, W, S, Q c (R{W)~(S{Q)UU R, W, S, X c W~(X|RS)UU R, W, T, P c (R{W)~(T{P)UU R, W, T, Q c (R{T)~W{QUU R, W, T, U c R~(T~U|W)UU R, W, T, W c W~W|R{TUU R, W, T, X c R~(W{T{X)UU R, W, U, O c (R{W)~(U{O)UU R, W, U, P c (R{W)~(U~P)UU R, W, U, Q c R~(W~Q{U)UU R, W, U, R c R~W~R|UUU R, W, U, T c R~(U~T|W)UU R, W, U, U c (R{U)~W|UUU R, W, U, V c R~W{U~VUU R, W, U, W c R~(W{U{W)UU R, W, U, X c (W{XR)~UUU R, W, V, P c (R{W)~(V|P)UU R, W, V, Q c R~(W{V~Q)UU R, W, V, U c R~W{V~UUU R, W, V, V c R{W~V{VUU R, W, W, P c R{W~W|PUU R, W, W, Q c (R{W)~(W|Q)UU R, W, W, T c W~W|R{TUU R, W, W, U c R~(W{W{U)UU R, W, X, P c R{(W|P)~XUU R, W, X, Q c (R~W{X)~QUU R, W, X, R c (R{W)~(X|R)UU R, W, X, S c W~(X|RS)UU R, W, X, T c R~(W{X{T)UU R, W, X, U c (W{XR)~UUU R, W, X, X c R{W~X|XUU R, X, O, V c R{(X{O)~VUU R, X, P, U c (R{X|P)~UUU R, X, P, V c R{X~P~VUU R, X, P, W c R{X~(W|P)UU R, X, Q, Q c R~(X{Q)~QUU R, X, Q, R c (R{R)~(X{Q)UU R, X, Q, S c R~(X~Q{S)UU R, X, Q, T c R{X~(Q{T)UU R, X, Q, U c (R~X{U)~QUU R, X, Q, W c (R~W{X)~QUU R, X, Q, X c R{(X|Q)~XUU R, X, R, Q c (R{R)~(X{Q)UU R, X, R, S c R{X~(R{S)UU R, X, R, T c R~(X~R|T)UU R, X, R, W c (R{W)~(X|R)UU R, X, S, Q c R~(X~Q{S)UU R, X, S, R c R{X~(S{R)UU R, X, S, U c R~S{X~UUU R, X, S, V c (X|R)~(S{V)UU R, X, S, W c (X|RS)~WUU R, X, S, X c R~(X{S{X)UU R, X, T, Q c R{X~(T{Q)UU R, X, T, R c (R~X|T)~RUU R, X, T, T c R~T~T|XUU R, X, T, U c (R{X)~T{UUU R, X, T, V c R~V{X~TUU R, X, T, W c R~(X{T{W)UU R, X, T, X c (X|TR)~XUU R, X, U, P c R{X~(U{P)UU R, X, U, Q c (R~X{U)~QUU R, X, U, S c R~S{X~UUU R, X, U, T c (R{X)~T{UUU R, X, U, U c (R{X)~U|UUU R, X, U, V c R~(X{U{V)UU R, X, U, W c (XR{W)~UUU R, X, U, X c R{X{U~XUU R, X, V, O c R{X~V{OUU R, X, V, P c R{X~V~PUU R, X, V, S c (X|R)~(V{S)UU R, X, V, T c R~V{X~TUU R, X, V, U c R~(X{V{U)UU R, X, V, V c (RV{X)~VUU R, X, V, X c (RX{V)~XUU R, X, W, P c R{X~(W|P)UU R, X, W, Q c (R~W{X)~QUU R, X, W, R c (R{W)~(X|R)UU R, X, W, S c (X|RS)~WUU R, X, W, T c R~(X{W{T)UU R, X, W, U c (XR{W)~UUU R, X, W, X c R{X~W|XUU R, X, X, Q c R{X~(X|Q)UU R, X, X, S c R~(X{X{S)UU R, X, X, T c X~X|R~TUU R, X, X, U c R{X{X~UUU R, X, X, V c (RX{V)~XUU R, X, X, W c R{X~W|XUU S, O, U, V c (S{O{V)~UUU S, O, V, U c (S{O{V)~UUU S, P, Q, W c (S~W{P)~QUU S, P, R, U c (S~R|P)~UUU S, P, T, V c (S{V)~(P{T)UU S, P, T, X c (S{X)~T{PUU S, P, U, R c (S~R|P)~UUU S, P, U, U c (S{P{U)~UUU S, P, U, V c (S{P~V)~UUU S, P, U, W c (S|P{W)~UUU S, P, V, T c (S{V)~(P{T)UU S, P, V, U c (S{P~V)~UUU S, P, V, V c (S{V)~(V|P)UU S, P, V, X c S|P{V~XUU S, P, W, Q c (S~W{P)~QUU S, P, W, U c (S|P{W)~UUU S, P, W, W c (PS{W)~WUU S, P, X, T c (S{X)~T{PUU S, P, X, V c S|P{X~VUU S, Q, P, W c (S~W{P)~QUU S, Q, Q, W c S~Q~W{QUU S, Q, Q, X c (S{Q)~(Q{X)UU S, Q, R, T c (S~T{Q)~RUU S, Q, R, U c (S~Q{R)~UUU S, Q, R, V c (S{V)~(Q~R)UU S, Q, R, W c (S{Q)~(R{W)UU S, Q, R, X c (S{Q~X)~RUU S, Q, S, S c S~S~S{QUU S, Q, S, V c (S{Q)~(S{V)UU S, Q, S, W c (S{S)~W{QUU S, Q, T, R c (S~T{Q)~RUU S, Q, T, U c (S{Q{T)~UUU S, Q, T, V c (S~V{T)~QUU S, Q, U, R c (S~Q{R)~UUU S, Q, U, T c (S{Q)~(U{T)UU S, Q, U, X c (S|Q{X)~UUU S, Q, V, R c (S{V)~(Q~R)UU S, Q, V, S c (S{Q)~(V{S)UU S, Q, V, T c (S~V{T)~QUU S, Q, V, W c (S{V)~(W|Q)UU S, Q, V, X c S~(V{X){QUU S, Q, W, P c (S~W{P)~QUU S, Q, W, Q c S~Q~W{QUU S, Q, W, R c (S{Q)~(W{R)UU S, Q, W, S c (S{S)~W{QUU S, Q, W, V c (S{V)~(W|Q)UU S, Q, W, W c S|Q{W~WUU S, Q, W, X c S~(W{X)|QUU S, Q, X, Q c (S{Q)~(X{Q)UU S, Q, X, R c (S{Q~X)~RUU S, Q, X, U c (S|Q{X)~UUU S, Q, X, V c S~(X{V){QUU S, Q, X, W c S~(X{W)|QUU S, R, P, U c (S~R|P)~UUU S, R, Q, T c (S~T{Q)~RUU S, R, Q, U c (S~Q{R)~UUU S, R, Q, V c (S{V)~(R~Q)UU S, R, Q, W c (S{Q)~(R{W)UU S, R, Q, X c (S{Q~X)~RUU S, R, R, U c (S{R~U)~RUU S, R, R, V c (S{V)~(R{R)UU S, R, R, X c (S{R)~X{RUU S, R, S, U c (S{R{S)~UUU S, R, T, Q c (S~T{Q)~RUU S, R, T, U c S~R~T{UUU S, R, T, V c (S{T)~V{RUU S, R, U, P c (S~R|P)~UUU S, R, U, Q c (S~U|Q)~RUU S, R, U, R c (S{R~U)~RUU S, R, U, S c (S{R{S)~UUU S, R, U, T c S~R~T{UUU S, R, U, U c S~R~U|UUU S, R, U, V c (S~V|U)~RUU S, R, U, X c S~R{U~XUU S, R, V, Q c (S{V)~(R~Q)UU S, R, V, R c (S{V)~(R{R)UU S, R, V, T c (S{T)~V{RUU S, R, V, U c (S~V|U)~RUU S, R, V, V c (R{V)~V|SUU S, R, V, X c (S{V)~(X|R)UU S, R, W, Q c (S{Q)~(R{W)UU S, R, W, X c W~(X|RS)UU S, R, X, Q c (S~X|R)~QUU S, R, X, R c (S{R)~X{RUU S, R, X, U c S~R{X~UUU S, R, X, V c (S{V)~(X|R)UU S, R, X, W c (X|RS)~WUU S, R, X, X c (S{X{X)~RUU S, S, Q, S c S~S~S{QUU S, S, Q, V c (S{Q)~(S{V)UU S, S, Q, W c (S{S)~W{QUU S, S, R, U c (S{S{R)~UUU S, S, S, Q c S~S~S{QUU S, S, T, U c (S~S|T)~UUU S, S, U, R c (S~S{U)~RUU S, S, U, T c (S~S|T)~UUU S, S, U, V c (S{U)~V|SUU S, S, U, X c (S{S)~X|UUU S, S, V, Q c (S{V)~(S{Q)UU S, S, V, U c (S{U)~V|SUU S, S, W, Q c (S{S)~W{QUU S, S, X, U c (S{S)~X|UUU S, T, P, V c (S{V)~(T{P)UU S, T, P, X c (S{X)~T{PUU S, T, Q, R c (S~T{Q)~RUU S, T, Q, U c (S{T{Q)~UUU S, T, Q, V c (S~V{T)~QUU S, T, R, Q c (S~T{Q)~RUU S, T, R, U c S~T~R{UUU S, T, R, V c (S{T)~V{RUU S, T, S, U c (S~S|T)~UUU S, T, T, V c (T{T)~V|SUU S, T, T, X c T~(T{X)|SUU S, T, U, Q c (S{T{Q)~UUU S, T, U, R c S~T~R{UUU S, T, U, S c (S~S|T)~UUU S, T, U, W c (S{T)~W|UUU S, T, U, X c (S~T|X)~UUU S, T, V, P c (S{V)~(T{P)UU S, T, V, Q c (S~V{T)~QUU S, T, V, R c (S{T)~V{RUU S, T, V, T c (T{T)~V|SUU S, T, V, V c T~(V{V)|SUU S, T, V, W c (TS{V)~WUU S, T, W, U c (S{T)~W|UUU S, T, W, V c (TS{V)~WUU S, T, X, P c (S{X)~T{PUU S, T, X, T c (T{X)~T|SUU S, T, X, U c (S~T|X)~UUU S, U, O, V c (S{O{V)~UUU S, U, P, R c (S~R|P)~UUU S, U, P, U c (S{U{P)~UUU S, U, P, V c (S{P~V)~UUU S, U, P, W c (S|P{W)~UUU S, U, Q, R c (S~U|Q)~RUU S, U, Q, T c (S{Q)~(U{T)UU S, U, Q, X c (S~U{X)~QUU S, U, R, P c (S~R|P)~UUU S, U, R, Q c (S~U|Q)~RUU S, U, R, R c (S{U~R)~RUU S, U, R, S c (S{R{S)~UUU S, U, R, T c S~R~T{UUU S, U, R, U c S~U~R|UUU S, U, R, V c (S~V|U)~RUU S, U, R, X c S~R{U~XUU S, U, S, R c (S~S{U)~RUU S, U, S, T c (S~S|T)~UUU S, U, S, V c (S{U)~V|SUU S, U, S, X c (S{S)~X|UUU S, U, T, Q c (S{T{Q)~UUU S, U, T, R c S~T~R{UUU S, U, T, S c (S~S|T)~UUU S, U, T, W c (S{T)~W|UUU S, U, T, X c (S~T|X)~UUU S, U, U, P c (S{U{P)~UUU S, U, U, R c S~U~R|UUU S, U, U, U c (S{U)~U{UUU S, U, U, V c S~U{U~VUU S, U, U, W c (S{W)~U|UUU S, U, U, X c S~(U{X){UUU S, U, V, O c (S{V)~(U{O)UU S, U, V, P c (S{V)~(U~P)UU S, U, V, R c (S~V|U)~RUU S, U, V, S c (S{U)~V|SUU S, U, V, U c S~U{V~UUU S, U, V, W c S{U{V~WUU S, U, W, P c (S{W|P)~UUU S, U, W, T c (S{W)~T{UUU S, U, W, U c (S{W)~U|UUU S, U, W, V c S{U{W~VUU S, U, W, W c U|S{W~WUU S, U, W, X c S{U~X{WUU S, U, X, Q c (S~U{X)~QUU S, U, X, R c S~R{U~XUU S, U, X, S c (S{S)~X|UUU S, U, X, T c S~X{U~TUU S, U, X, U c S~(U{X){UUU S, U, X, W c S{U~X{WUU S, U, X, X c S~(X{X)|UUU S, V, O, U c (S{V{O)~UUU S, V, P, T c (S{V)~(P{T)UU S, V, P, U c (S{V)~(P~U)UU S, V, P, V c (S{V)~(V|P)UU S, V, P, X c S{V~X|PUU S, V, Q, R c (S{V)~(Q~R)UU S, V, Q, S c (S{V)~(Q{S)UU S, V, Q, T c (S~V{T)~QUU S, V, Q, W c (S{V)~(W|Q)UU S, V, Q, X c S~(V{X){QUU S, V, R, Q c (S{V)~(R~Q)UU S, V, R, R c (S{V)~(R{R)UU S, V, R, T c (S{T)~V{RUU S, V, R, U c (S~V|U)~RUU S, V, R, V c (V{R)~V|SUU S, V, R, X c (S{V)~(X|R)UU S, V, S, Q c (S{V)~(S{Q)UU S, V, S, U c (S{U)~V|SUU S, V, T, P c (S{V)~(T{P)UU S, V, T, Q c (S~V{T)~QUU S, V, T, R c (S{T)~V{RUU S, V, T, T c V~(T{T)|SUU S, V, T, V c (V{V)~T|SUU S, V, T, W c (V{TS)~WUU S, V, U, O c (S{V)~(U{O)UU S, V, U, P c (S{V)~(U~P)UU S, V, U, R c (S~V|U)~RUU S, V, U, S c (S{U)~V|SUU S, V, U, U c S~U{V~UUU S, V, U, W c S{V~W{UUU S, V, V, P c (S{V)~(V|P)UU S, V, V, R c V~(V{R)|SUU S, V, V, T c (V{V)~T|SUU S, V, V, X c V|S{V~XUU S, V, W, Q c (S{V)~(W|Q)UU S, V, W, T c (V{TS)~WUU S, V, W, U c S{V~W{UUU S, V, X, P c S{V~X|PUU S, V, X, Q c S~(V{X){QUU S, V, X, R c (S{V)~(X|R)UU S, V, X, V c V|S{X~VUU S, W, P, Q c (S~W{P)~QUU S, W, P, U c (S{W|P)~UUU S, W, P, W c (W{PS)~WUU S, W, Q, P c (S~W{P)~QUU S, W, Q, Q c S~W~Q{QUU S, W, Q, R c (S{Q)~(W{R)UU S, W, Q, S c (S{S)~W{QUU S, W, Q, V c (S{V)~(W|Q)UU S, W, Q, W c S{W~W|QUU S, W, Q, X c S~(W{X)|QUU S, W, R, Q c (S{Q)~(W{R)UU S, W, R, X c W~(X|RS)UU S, W, S, Q c (S{S)~W{QUU S, W, T, U c (S{W)~T{UUU S, W, T, V c W~(TS{V)UU S, W, U, P c (S{W|P)~UUU S, W, U, T c (S{W)~T{UUU S, W, U, U c (S{W)~U|UUU S, W, U, V c S{W~V{UUU S, W, U, W c W~W|S{UUU S, W, U, X c S{W{U~XUU S, W, V, Q c (S{V)~(W|Q)UU S, W, V, T c W~(V{TS)UU S, W, V, U c S{W~V{UUU S, W, W, P c W~(W{PS)UU S, W, W, Q c S{W~W|QUU S, W, W, U c W~W|S{UUU S, W, W, W c WS{W~WUU S, W, X, Q c S~(W{X)|QUU S, W, X, R c W~(X|RS)UU S, W, X, U c S{W{X~UUU S, X, P, T c (S{X)~T{PUU S, X, P, V c S{X~V|PUU S, X, Q, Q c (S{Q)~(X{Q)UU S, X, Q, R c (S{X~Q)~RUU S, X, Q, U c (S{X|Q)~UUU S, X, Q, V c S~(X{V){QUU S, X, Q, W c S~(X{W)|QUU S, X, R, Q c (S~X|R)~QUU S, X, R, R c (S{R)~X{RUU S, X, R, U c S~R{X~UUU S, X, R, V c (S{V)~(X|R)UU S, X, R, W c (X|RS)~WUU S, X, R, X c (S{X{X)~RUU S, X, S, U c (S{S)~X|UUU S, X, T, P c (S{X)~T{PUU S, X, T, T c (X{T)~T|SUU S, X, T, U c S~X{T~UUU S, X, U, Q c (S{X|Q)~UUU S, X, U, R c S~R{X~UUU S, X, U, S c (S{S)~X|UUU S, X, U, T c S~X{U~TUU S, X, U, U c S~(X{U){UUU S, X, U, W c S{X~U{WUU S, X, U, X c S~(X{X)|UUU S, X, V, P c S{X~V|PUU S, X, V, Q c S~(X{V){QUU S, X, V, R c (S{V)~(X|R)UU S, X, V, V c X~V|S{VUU S, X, W, Q c S~(X{W)|QUU S, X, W, R c (X|RS)~WUU S, X, W, U c S{X~U{WUU S, X, X, R c (S{X{X)~RUU S, X, X, U c S~(X{X)|UUU T, O, U, U c (T{O{U)~UUU T, P, Q, U c (T~Q{P)~UUU T, P, Q, X c (T{P)~(Q{X)UU T, P, R, W c (T{P)~(R{W)UU T, P, S, V c (T{P)~(S{V)UU T, P, S, X c T~(S{X){PUU T, P, T, U c (T{P{T)~UUU T, P, T, W c T~(T{W){PUU T, P, U, Q c (T~Q{P)~UUU T, P, U, T c (T{P)~(U{T)UU T, P, U, U c (T{P~U)~UUU T, P, U, V c (T|P{V)~UUU T, P, V, S c (T{P)~(V{S)UU T, P, V, U c (T|P{V)~UUU T, P, W, R c (T{P)~(W{R)UU T, P, W, T c (T{W)~T{PUU T, P, W, X c (W~X)|(T{P)UU T, P, X, Q c (T{P)~(X{Q)UU T, P, X, S c T~(X{S){PUU T, P, X, W c (X~W)|(T{P)UU T, Q, P, U c (T~Q{P)~UUU T, Q, P, X c (T{P)~(Q{X)UU T, Q, Q, V c (T~V|Q)~QUU T, Q, R, S c (T~S{Q)~RUU T, Q, R, U c (T{Q~R)~UUU T, Q, R, W c (T{R)~W{QUU T, Q, R, X c (T{Q)~X{RUU T, Q, S, R c (T~S{Q)~RUU T, Q, S, U c (T{Q{S)~UUU T, Q, S, V c T~Q~V|SUU T, Q, T, W c (T~T{W)~QUU T, Q, U, P c (T~Q{P)~UUU T, Q, U, R c (T{Q~R)~UUU T, Q, U, S c (T{Q{S)~UUU T, Q, U, U c T~Q~U{UUU T, Q, U, W c (T|Q{W)~UUU T, Q, V, Q c (T~V|Q)~QUU T, Q, V, S c T~Q~V|SUU T, Q, V, W c T~Q{V~WUU T, Q, V, X c T|Q{V~XUU T, Q, W, R c (T{R)~W{QUU T, Q, W, T c (T~T{W)~QUU T, Q, W, U c (T|Q{W)~UUU T, Q, W, V c T~Q{W~VUU T, Q, X, P c (T{P)~(Q{X)UU T, Q, X, R c (T{Q)~X{RUU T, Q, X, V c T|Q{X~VUU T, R, P, W c (T{P)~(R{W)UU T, R, Q, S c (T~S{Q)~RUU T, R, Q, U c (T{R~Q)~UUU T, R, Q, W c (T{R)~W{QUU T, R, Q, X c (T{Q)~X{RUU T, R, R, T c (T~T|R)~RUU T, R, R, U c (T{R{R)~UUU T, R, R, V c (T~R{V)~RUU T, R, R, X c R~(R~X|T)UU T, R, S, Q c (T~S{Q)~RUU T, R, S, U c (T~R|S)~UUU T, R, S, V c (T{S)~V{RUU T, R, T, R c (T~T|R)~RUU T, R, T, X c T~R~T|XUU T, R, U, Q c (T{R~Q)~UUU T, R, U, R c (T{R{R)~UUU T, R, U, S c (T~R|S)~UUU T, R, U, W c (T~U|W)~RUU T, R, U, X c (T{R)~X|UUU T, R, V, R c (T~R{V)~RUU T, R, V, S c (T{S)~V{RUU T, R, V, X c (T{VR)~XUU T, R, W, P c (T{P)~(R{W)UU T, R, W, Q c (T{R)~W{QUU T, R, W, U c (T~U|W)~RUU T, R, W, W c T|R{W~WUU T, R, W, X c (T{W{X)~RUU T, R, X, Q c (T{Q)~X{RUU T, R, X, R c (R~X|T)~RUU T, R, X, T c T~R~T|XUU T, R, X, U c (T{R)~X|UUU T, R, X, V c T~X{R~VUU T, R, X, W c (T{X{W)~RUU T, R, X, X c (X|TR)~XUU T, S, P, V c (T{P)~(S{V)UU T, S, P, X c T~(S{X){PUU T, S, Q, R c (T~S{Q)~RUU T, S, Q, U c (T{S{Q)~UUU T, S, Q, V c (T{S~V)~QUU T, S, R, Q c (T~S{Q)~RUU T, S, R, U c T~S~R{UUU T, S, R, V c (T{S)~V{RUU T, S, S, U c (S~S|T)~UUU T, S, T, V c (T{T)~V|SUU T, S, T, X c T~(T{X)|SUU T, S, U, Q c (T{S{Q)~UUU T, S, U, R c T~S~R{UUU T, S, U, S c (S~S|T)~UUU T, S, U, W c (T{S)~W|UUU T, S, U, X c (T~S|X)~UUU T, S, V, P c (T{P)~(S{V)UU T, S, V, Q c (T{S~V)~QUU T, S, V, R c (T{S)~V{RUU T, S, V, T c (T{T)~V|SUU T, S, V, V c T~(V{V)|SUU T, S, V, W c (TS{V)~WUU T, S, W, U c (T{S)~W|UUU T, S, W, V c (TS{V)~WUU T, S, X, P c T~(S{X){PUU T, S, X, T c (T{X)~T|SUU T, S, X, U c (T~S|X)~UUU T, T, P, U c (T{T{P)~UUU T, T, P, W c T~(T{W){PUU T, T, Q, W c (T~T{W)~QUU T, T, R, R c (T~T|R)~RUU T, T, R, X c T~T~R|XUU T, T, S, V c (T{T)~V|SUU T, T, S, X c T~(T{X)|SUU T, T, U, P c (T{T{P)~UUU T, T, U, U c (T{T)~U{UUU T, T, U, V c T~(T{V){UUU T, T, V, S c (T{T)~V|SUU T, T, V, U c T~(T{V){UUU T, T, V, W c T{T{V~WUU T, T, W, P c T~(T{W){PUU T, T, W, Q c (T~T{W)~QUU T, T, W, V c T{T{W~VUU T, T, X, R c T~T~R|XUU T, T, X, S c T~(T{X)|SUU T, U, O, U c (T{U{O)~UUU T, U, P, Q c (T~Q{P)~UUU T, U, P, T c (T{U)~(P{T)UU T, U, P, U c (T{U)~(P~U)UU T, U, P, V c (T{U)~(V|P)UU T, U, Q, P c (T~Q{P)~UUU T, U, Q, R c (T{U)~(Q~R)UU T, U, Q, S c (T{U)~(Q{S)UU T, U, Q, U c T~U~Q{UUU T, U, Q, W c (T{U)~(W|Q)UU T, U, R, Q c (T{U)~(R~Q)UU T, U, R, R c (T{U)~(R{R)UU T, U, R, S c (T~R|S)~UUU T, U, R, W c (T~U|W)~RUU T, U, R, X c (T{U)~(X|R)UU T, U, S, Q c (T{U)~(S{Q)UU T, U, S, R c T~S~R{UUU T, U, S, S c U~(S~S|T)UU T, U, S, W c T~(U{W)|SUU T, U, S, X c T~U{S~XUU T, U, T, P c (T{U)~(T{P)UU T, U, T, U c (T{T)~U{UUU T, U, T, V c T~(T{V){UUU T, U, U, O c (T{U)~(U{O)UU T, U, U, P c (T{U)~(U~P)UU T, U, U, Q c T~U~Q{UUU T, U, U, T c (T{T)~U{UUU T, U, U, U c T~(U{U){UUU T, U, U, V c (T{V)~U|UUU T, U, V, P c (T{U)~(V|P)UU T, U, V, T c (T{V)~T{UUU T, U, V, U c (T{V)~U|UUU T, U, V, X c T{U~X{VUU T, U, W, Q c (T{U)~(W|Q)UU T, U, W, R c (T~U|W)~RUU T, U, W, S c T~(U{W)|SUU T, U, W, W c U~(W|T{W)UU T, U, X, R c (T{U)~(X|R)UU T, U, X, S c T~U{X~SUU T, U, X, V c T{U~X{VUU T, U, X, X c T~(U{X)|XUU T, V, P, S c (T{P)~(V{S)UU T, V, P, U c (T{V|P)~UUU T, V, Q, Q c (T~V|Q)~QUU T, V, Q, S c T~V~Q|SUU T, V, Q, W c T~Q{V~WUU T, V, Q, X c T{V~X|QUU T, V, R, R c (T~R{V)~RUU T, V, R, S c (T{S)~V{RUU T, V, R, X c (T{VR)~XUU T, V, S, P c (T{P)~(V{S)UU T, V, S, Q c (T{V~S)~QUU T, V, S, R c (T{S)~V{RUU T, V, S, T c (T{T)~V|SUU T, V, S, V c T~(V{V)|SUU T, V, S, W c (TS{V)~WUU T, V, T, S c (T{T)~V|SUU T, V, T, U c (T{V)~T{UUU T, V, T, W c T{V~W{TUU T, V, U, P c T~(V{U){PUU T, V, U, T c (T{V)~T{UUU T, V, U, U c (T{V)~U|UUU T, V, U, X c T{V{U~XUU T, V, V, S c T~(V{V)|SUU T, V, W, Q c (T~W|V)~QUU T, V, W, S c (TS{V)~WUU T, V, W, T c T{V~W{TUU T, V, W, W c V|T{W~WUU T, V, W, X c T~(V{W)|XUU T, V, X, Q c T{V~X|QUU T, V, X, R c (T{VR)~XUU T, V, X, U c T{V{X~UUU T, V, X, W c T~(V{W)|XUU T, W, P, R c (T{P)~(W{R)UU T, W, P, T c (T{W)~T{PUU T, W, P, X c (W~X)|(T{P)UU T, W, Q, R c (T{R)~W{QUU T, W, Q, T c (T~T{W)~QUU T, W, Q, U c (T{W|Q)~UUU T, W, Q, V c (T~W|V)~QUU T, W, R, P c (T{P)~(W{R)UU T, W, R, Q c (T{R)~W{QUU T, W, R, U c (T~U|W)~RUU T, W, R, W c T{W~W|RUU T, W, R, X c (T{W{X)~RUU T, W, S, U c T~(W{S){UUU T, W, S, V c (TS{V)~WUU T, W, T, P c (T{W)~T{PUU T, W, T, Q c (T~T{W)~QUU T, W, T, V c T{W~V{TUU T, W, U, Q c (T{W|Q)~UUU T, W, U, R c (T~U|W)~RUU T, W, U, S c T~(W{U)|SUU T, W, U, W c (W|T{W)~UUU T, W, V, Q c (T~W|V)~QUU T, W, V, S c (TS{V)~WUU T, W, V, T c T{W~V{TUU T, W, V, W c W~W|T{VUU T, W, V, X c T~(W{V)|XUU T, W, W, R c T{W~W|RUU T, W, W, U c (W|T{W)~UUU T, W, W, V c W~W|T{VUU T, W, X, P c (W~X)|(T{P)UU T, W, X, R c (T{W{X)~RUU T, W, X, V c T~(W{V)|XUU T, X, P, Q c (T{P)~(X{Q)UU T, X, P, S c T~(X{S){PUU T, X, P, W c (X~W)|(T{P)UU T, X, Q, P c (T{P)~(X{Q)UU T, X, Q, R c (T{Q)~X{RUU T, X, Q, V c T{X~V|QUU T, X, R, Q c (T{Q)~X{RUU T, X, R, R c (X~R|T)~RUU T, X, R, T c T~R~T|XUU T, X, R, U c (T{X|R)~UUU T, X, R, V c T~X{R~VUU T, X, R, W c (T{X{W)~RUU T, X, R, X c (X|TR)~XUU T, X, S, P c T~(X{S){PUU T, X, S, T c (T{X)~T|SUU T, X, S, U c (T~S|X)~UUU T, X, T, R c T~T~R|XUU T, X, T, S c (T{X)~T|SUU T, X, U, R c (T{X|R)~UUU T, X, U, S c T~U{X~SUU T, X, U, V c T{X~U{VUU T, X, U, X c T~(X{U)|XUU T, X, V, Q c T{X~V|QUU T, X, V, R c T~X{V~RUU T, X, V, U c T{X~U{VUU T, X, V, W c T~(V{W)|XUU T, X, W, P c (X~W)|(T{P)UU T, X, W, R c (T{X{W)~RUU T, X, W, V c T~(W{V)|XUU T, X, X, R c (X|TR)~XUU T, X, X, U c T~(X{U)|XUU U, O, Q, X c (U{O)~(Q{X)UU U, O, R, W c (U{O)~(R{W)UU U, O, S, V c (U{O)~(S{V)UU U, O, T, U c (U{O{T)~UUU U, O, U, T c (U{O)~(U{T)UU U, O, V, S c (U{O)~(V{S)UU U, O, W, R c (U{O)~(W{R)UU U, O, W, X c O{W~X|UUU U, O, X, Q c (U{O)~(X{Q)UU U, O, X, W c O{X~W|UUU U, P, P, X c U~(P{P{X)UU U, P, Q, T c U~(P{Q~T)UU U, P, Q, U c (U~Q|P)~UUU U, P, Q, W c U~(P{Q{W)UU U, P, Q, X c (U~P)~(Q{X)UU U, P, R, S c U~(R~S|P)UU U, P, R, V c U~(P{R{V)UU U, P, R, W c (U~P)~(R{W)UU U, P, R, X c (U{P)~X{RUU U, P, S, R c U~(S~R|P)UU U, P, S, U c (U{P{S)~UUU U, P, S, V c (U~P)~(S{V)UU U, P, S, W c U~(S|P{W)UU U, P, T, Q c U~(P{T~Q)UU U, P, T, T c U~(P{T{T)UU U, P, T, U c (U{P~T)~UUU U, P, T, V c U~(T|P{V)UU U, P, U, Q c U~(U~Q|P)UU U, P, U, S c U~(P{U{S)UU U, P, U, T c (U~P)~(U{T)UU U, P, U, U c (U|P{U)~UUU U, P, U, X c U{(P{X)~UUU U, P, V, R c U~(P{V{R)UU U, P, V, S c (U~P)~(V{S)UU U, P, V, T c U~(V|P{T)UU U, P, V, X c (P{V)~X|UUU U, P, W, Q c U~(P{W{Q)UU U, P, W, R c (U~P)~(W{R)UU U, P, W, S c U~(W|P{S)UU U, P, W, W c (P{W)~W|UUU U, P, W, X c P~W~X|UUU U, P, X, P c U~(P{X{P)UU U, P, X, Q c (U~P)~(X{Q)UU U, P, X, R c (U{P)~X{RUU U, P, X, U c U{(P{X)~UUU U, P, X, V c (P{V)~X|UUU U, P, X, W c P~X~W|UUU U, P, X, X c (X|P)~X|UUU U, Q, O, X c U~(Q{O{X)UU U, Q, P, T c U~(Q~T{P)UU U, Q, P, U c (U~Q|P)~UUU U, Q, P, W c U~(Q{P{W)UU U, Q, P, X c U~(Q{P~X)UU U, Q, Q, V c U~(Q{Q{V)UU U, Q, Q, W c (U{Q)~W{QUU U, Q, R, R c U~(Q{R~R)UU U, Q, R, S c U~(Q~S{R)UU U, Q, R, T c U~(Q~R{T)UU U, Q, R, U c (U{Q{R)~UUU U, Q, R, V c U~(Q~V|R)UU U, Q, R, W c (U{Q~W)~RUU U, Q, R, X c (U{R~X)~QUU U, Q, S, R c U~(Q~S{R)UU U, Q, S, T c U~(Q{S{T)UU U, Q, S, X c U~(S|Q{X)UU U, Q, T, P c U~(Q~T{P)UU U, Q, T, R c U~(Q~R{T)UU U, Q, T, S c U~(Q{T{S)UU U, Q, T, U c U{Q~T~UUU U, Q, T, W c U~(Q~W|T)UU U, Q, U, P c U~(Q~U|P)UU U, Q, U, R c U~(Q{U{R)UU U, Q, U, T c U{Q~U~TUU U, Q, U, U c U~Q~U|UUU U, Q, U, V c (U|Q{V)~UUU U, Q, U, W c U{(Q{W)~UUU U, Q, U, X c U~Q{U~XUU U, Q, V, Q c U~(Q{V{Q)UU U, Q, V, R c U~(Q~V|R)UU U, Q, V, U c (U|Q{V)~UUU U, Q, V, W c U~(V{WQ)UU U, Q, V, X c UQ{V~XUU U, Q, W, P c U~(Q{W{P)UU U, Q, W, Q c (U{Q)~W{QUU U, Q, W, R c (U{Q~W)~RUU U, Q, W, T c U~(Q~W|T)UU U, Q, W, U c U{(Q{W)~UUU U, Q, W, V c U~(WQ{V)UU U, Q, W, X c U~W{Q~XUU U, Q, X, O c U~(Q{X){OUU U, Q, X, P c U~(Q{X)~PUU U, Q, X, R c (U{X~R)~QUU U, Q, X, S c U~(X|Q{S)UU U, Q, X, U c (U{Q)~X|UUU U, Q, X, V c U~(Q~X|V)UU U, Q, X, W c U~W{Q~XUU U, R, O, W c U~(R{O{W)UU U, R, P, S c U~(R~S|P)UU U, R, P, V c U~(R{P{V)UU U, R, P, W c U~(R{P~W)UU U, R, P, X c U~(R|P{X)UU U, R, Q, R c U~(R~R{Q)UU U, R, Q, S c U~(R{Q~S)UU U, R, Q, T c U~(R~Q{T)UU U, R, Q, U c (U{R{Q)~UUU U, R, Q, V c U~(Q~V|R)UU U, R, Q, W c (U{Q~W)~RUU U, R, Q, X c (U{R~X)~QUU U, R, R, Q c U~(R~R{Q)UU U, R, R, S c (U~R{S)~RUU U, R, R, T c U~(R{R{T)UU U, R, R, V c (U{R)~V{RUU U, R, R, W c R~R~W|UUU U, R, S, P c U~(R~S|P)UU U, R, S, Q c U~(R{S~Q)UU U, R, S, R c (U~R{S)~RUU U, R, S, S c U~(R{S{S)UU U, R, S, T c U{R~S~TUU U, R, S, U c U~R~S|UUU U, R, S, V c R~(S~V|U)UU U, R, S, X c (U{SR)~XUU U, R, T, Q c U~(R~Q{T)UU U, R, T, R c U~(R{T{R)UU U, R, T, S c U{R~T~SUU U, R, T, W c (U~T|W)~RUU U, R, T, X c U{(R{X)~TUU U, R, U, Q c U~(R{U{Q)UU U, R, U, S c U~R~S|UUU U, R, U, V c U~(R~U|V)UU U, R, U, W c U~R{U~WUU U, R, U, X c U~(R{X)|UUU U, R, V, P c U~(R{V{P)UU U, R, V, Q c U~(V~Q|R)UU U, R, V, R c (U{R)~V{RUU U, R, V, S c R~(V~S|U)UU U, R, V, U c U{(R{V)~UUU U, R, V, V c U~(V|R{V)UU U, R, V, W c U~V{R~WUU U, R, V, X c U|R{V~XUU U, R, W, O c U~(R{W){OUU U, R, W, P c U~(R{W)~PUU U, R, W, Q c (U{W~Q)~RUU U, R, W, R c R~W~R|UUU U, R, W, T c (U~T|W)~RUU U, R, W, U c (U{R)~W|UUU U, R, W, V c U~V{R~WUU U, R, W, W c UR{W~WUU U, R, W, X c U~(W{XR)UU U, R, X, P c U~(R{X|P)UU U, R, X, Q c (U{R~X)~QUU U, R, X, S c U~X{R~SUU U, R, X, T c U{(R{X)~TUU U, R, X, U c U~(R{X)|UUU U, R, X, V c U|R{X~VUU U, R, X, W c U~(XR{W)UU U, R, X, X c U~X{R{XUU U, S, O, V c U~(S{O{V)UU U, S, P, R c U~(S~R|P)UU U, S, P, U c (U{S{P)~UUU U, S, P, V c U~(S{P~V)UU U, S, P, W c U~(S|P{W)UU U, S, Q, R c (U~S|Q)~RUU U, S, Q, T c U~(S{Q{T)UU U, S, Q, X c U~(S|Q{X)UU U, S, R, P c U~(S~R|P)UU U, S, R, Q c (U~S|Q)~RUU U, S, R, R c (U~R{S)~RUU U, S, R, S c U~(S{R{S)UU U, S, R, T c U{S~R~TUU U, S, R, U c U~S~R|UUU U, S, R, V c (S~V|U)~RUU U, S, R, X c (U{SR)~XUU U, S, S, R c (U{S~S)~RUU U, S, S, T c U~(S~S|T)UU U, S, S, V c (U{S)~V|SUU U, S, S, X c (S{S)~X|UUU U, S, T, Q c U~(S{T{Q)UU U, S, T, R c U{S~T~RUU U, S, T, S c U~(S~S|T)UU U, S, T, W c U{(S{W)~TUU U, S, T, X c U~(S~T|X)UU U, S, U, P c U~(S{U{P)UU U, S, U, R c U~S~R|UUU U, S, U, U c U{(S{U)~UUU U, S, U, V c U~S{U~VUU U, S, U, W c U~(S{W)|UUU U, S, U, X c U{S~(U{X)UU U, S, V, O c U~(S{V){OUU U, S, V, P c U~(S{V)~PUU U, S, V, R c (S~V|U)~RUU U, S, V, S c (U{S)~V|SUU U, S, V, U c U~S{V~UUU U, S, V, W c U{S{V~WUU U, S, W, P c U~(S{W|P)UU U, S, W, T c U{(S{W)~TUU U, S, W, U c U~(S{W)|UUU U, S, W, V c U{S{W~VUU U, S, W, W c U|S{W~WUU U, S, W, X c U~(WS{X)UU U, S, X, Q c U~(S{X|Q)UU U, S, X, R c (U{SR)~XUU U, S, X, S c (S{S)~X|UUU U, S, X, T c U~(S~T|X)UU U, S, X, U c U{S~(X{U)UU U, S, X, W c (U{XS)~WUU U, S, X, X c S~(X{X)|UUU U, T, O, U c (U{T{O)~UUU U, T, P, Q c U~(T~Q{P)UU U, T, P, T c (U{T)~(P{T)UU U, T, P, U c (U{T)~(P~U)UU U, T, P, V c U~(T|P{V)UU U, T, Q, P c U~(T~Q{P)UU U, T, Q, R c (U{T)~(Q~R)UU U, T, Q, S c (U{T)~(Q{S)UU U, T, Q, U c U{T~Q~UUU U, T, Q, W c U~(T|Q{W)UU U, T, R, Q c (U{T)~(R~Q)UU U, T, R, R c (U{T)~(R{R)UU U, T, R, S c U{T~R~SUU U, T, R, W c (U~T|W)~RUU U, T, R, X c U{T~(R{X)UU U, T, S, Q c (U{T)~(S{Q)UU U, T, S, R c U{T~S~RUU U, T, S, S c U~(S~S|T)UU U, T, S, W c U{T~(S{W)UU U, T, S, X c U~T{S~XUU U, T, T, P c (U{T)~(T{P)UU U, T, T, U c U{(T{T)~UUU U, T, T, V c U{T~(T{V)UU U, T, U, O c (U{T)~(U{O)UU U, T, U, P c (U{T)~(U~P)UU U, T, U, Q c U{T~U~QUU U, T, U, T c U{(T{T)~UUU U, T, U, U c U{T~(U{U)UU U, T, U, V c U~(T{V)|UUU U, T, V, P c (U{T)~(V|P)UU U, T, V, T c U{(T{V)~TUU U, T, V, U c U~(T{V)|UUU U, T, V, X c U~(V|T{X)UU U, T, W, Q c (U{T)~(W|Q)UU U, T, W, R c (U~T|W)~RUU U, T, W, S c U{T~(W{S)UU U, T, W, W c U~(W|T{W)UU U, T, X, R c U{T~(X{R)UU U, T, X, S c U~T{X~SUU U, T, X, V c U~X{T{VUU U, T, X, X c (U{X)~T|XUU U, U, O, T c U~(U{O{T)UU U, U, P, Q c U~(U~Q|P)UU U, U, P, S c U~(U{P{S)UU U, U, P, T c U~(U{P~T)UU U, U, P, U c (U{U|P)~UUU U, U, P, X c U{U~(P{X)UU U, U, Q, P c U~(U~Q|P)UU U, U, Q, R c U~(U{Q{R)UU U, U, Q, T c U{U~Q~TUU U, U, Q, U c U~U~Q|UUU U, U, Q, V c U~(U|Q{V)UU U, U, Q, W c U{U~(Q{W)UU U, U, Q, X c U~Q{U~XUU U, U, R, Q c U~(U{R{Q)UU U, U, R, S c U~R~S|UUU U, U, R, V c U{U~(R{V)UU U, U, R, W c U~(U|R{W)UU U, U, R, X c U~(UR{X)UU U, U, S, P c U~(U{S{P)UU U, U, S, R c U~S~R|UUU U, U, S, U c U{(U{S)~UUU U, U, S, V c U~S{U~VUU U, U, S, W c U~(S{W)|UUU U, U, S, X c U~(U|S{X)UU U, U, T, O c U~(U{T){OUU U, U, T, P c U~(U{T)~PUU U, U, T, Q c U{U~T~QUU U, U, T, T c U{U~(T{T)UU U, U, T, U c (U{U)~T{UUU U, U, T, V c U~(T{V)|UUU U, U, U, P c U~(U{U|P)UU U, U, U, Q c U~U~Q|UUU U, U, U, S c U{U~(U{S)UU U, U, U, T c U{(U{U)~TUU U, U, U, U c (U{U)~U|UUU U, U, U, X c U{U{U~XUU U, U, V, Q c U~(U{V|Q)UU U, U, V, R c U{U~(V{R)UU U, U, V, S c U~V{U~SUU U, U, V, T c U~(V{T)|UUU U, U, W, Q c U{U~(W{Q)UU U, U, W, R c U~(U{W|R)UU U, U, W, S c U~(W{S)|UUU U, U, W, X c (U{WU)~XUU U, U, X, P c U{U~(X{P)UU U, U, X, Q c U~X{U~QUU U, U, X, R c U~(UR{X)UU U, U, X, S c U{(U{X)~SUU U, U, X, U c U{U{X~UUU U, U, X, W c U~(X|U{W)UU U, V, O, S c U~(V{O{S)UU U, V, P, R c U~(V{P{R)UU U, V, P, S c U~(V{P~S)UU U, V, P, T c U~(V|P{T)UU U, V, P, X c (V{P)~X|UUU U, V, Q, Q c U~(V{Q{Q)UU U, V, Q, R c U~(V~Q|R)UU U, V, Q, U c (U{V|Q)~UUU U, V, Q, W c U~(V{WQ)UU U, V, Q, X c (U~V|X)~QUU U, V, R, P c U~(V{R{P)UU U, V, R, Q c U~(V~Q|R)UU U, V, R, R c (U{R)~V{RUU U, V, R, S c (V~S|U)~RUU U, V, R, U c U{(V{R)~UUU U, V, R, V c U~(V|R{V)UU U, V, R, W c U~V{R~WUU U, V, R, X c (U{V{X)~RUU U, V, S, O c U~(V{S){OUU U, V, S, P c U~(V{S)~PUU U, V, S, R c (V~S|U)~RUU U, V, S, S c (U{S)~V|SUU U, V, S, U c U~V{S~UUU U, V, S, W c U~(V|S{W)UU U, V, T, P c (U{V)~T{PUU U, V, T, T c U{(V{T)~TUU U, V, T, U c U~(V{T)|UUU U, V, T, X c U~(V|T{X)UU U, V, U, Q c U~(V{U|Q)UU U, V, U, R c U{(V{R)~UUU U, V, U, S c U~V{U~SUU U, V, U, T c U~(V{T)|UUU U, V, V, R c U~(V{V|R)UU U, V, W, Q c U~(V{WQ)UU U, V, W, R c U~V{W~RUU U, V, W, S c U{(V{W)~SUU U, V, X, P c (V{P)~X|UUU U, V, X, Q c (U~V|X)~QUU U, V, X, R c (U{V{X)~RUU U, V, X, T c U~(V{X|T)UU U, V, X, X c U~(X|V{X)UU U, W, O, R c U~(W{O{R)UU U, W, O, X c (W{O)~X|UUU U, W, P, Q c U~(W{P{Q)UU U, W, P, R c U~(W{P~R)UU U, W, P, S c U~(W|P{S)UU U, W, P, W c (W{P)~W|UUU U, W, P, X c W~P~X|UUU U, W, Q, P c U~(W{Q{P)UU U, W, Q, Q c (U{Q)~W{QUU U, W, Q, R c (U{W~Q)~RUU U, W, Q, T c U~(W|Q{T)UU U, W, Q, U c U{(W{Q)~UUU U, W, Q, V c U~(WQ{V)UU U, W, Q, X c U~W{Q~XUU U, W, R, O c U~(W{R){OUU U, W, R, P c U~(W{R)~PUU U, W, R, Q c (U{W~Q)~RUU U, W, R, R c W~R~R|UUU U, W, R, T c (U~T|W)~RUU U, W, R, U c (U{W|R)~UUU U, W, R, V c U~V{W~RUU U, W, R, W c (U{W{W)~RUU U, W, R, X c U~(W{XR)UU U, W, S, P c U~(W{S|P)UU U, W, S, T c U{(W{S)~TUU U, W, S, U c U~(W{S)|UUU U, W, S, V c U~(W|S{V)UU U, W, S, W c U{W~W|SUU U, W, S, X c U~(WS{X)UU U, W, T, Q c U~(W{T|Q)UU U, W, T, R c (U~T|W)~RUU U, W, T, S c (U{W)~T|SUU U, W, T, W c U~(W|T{W)UU U, W, U, Q c U~(W{UQ)UU U, W, U, R c U~(W{U|R)UU U, W, U, S c U~(W{S)|UUU U, W, U, X c (U{WU)~XUU U, W, V, Q c U~(WQ{V)UU U, W, V, R c U~V{W~RUU U, W, V, S c U{(W{V)~SUU U, W, W, P c W~(W{P)|UUU U, W, W, R c (U{W{W)~RUU U, W, W, S c U{W~W|SUU U, W, W, T c U~(W{W|T)UU U, W, W, W c W|U{W~WUU U, W, W, X c W~(X|UW)UU U, W, X, O c W~X|U{OUU U, W, X, P c W~X|U~PUU U, W, X, Q c U~W{X~QUU U, W, X, R c U~(W{XR)UU U, W, X, S c U~(WS{X)UU U, W, X, U c U~(W{X|U)UU U, W, X, W c W~(X|UW)UU U, W, X, X c U~W{X{XUU U, X, O, Q c U~(X{O{Q)UU U, X, O, W c (X{O)~W|UUU U, X, P, P c U~(X{P{P)UU U, X, P, Q c U~(X{P~Q)UU U, X, P, R c U~(X|P{R)UU U, X, P, U c U{(X{P)~UUU U, X, P, V c X~(P{V)|UUU U, X, P, W c X~P~W|UUU U, X, P, X c (X|P)~X|UUU U, X, Q, O c U~(X{Q){OUU U, X, Q, P c U~(X{Q)~PUU U, X, Q, R c (U{X~R)~QUU U, X, Q, S c U~(X|Q{S)UU U, X, Q, U c U~X{Q~UUU U, X, Q, V c U~(X~Q|V)UU U, X, Q, W c U~W{X~QUU U, X, R, P c U~(X{R|P)UU U, X, R, Q c (U{X~R)~QUU U, X, R, S c U~X{R~SUU U, X, R, T c U{(X{R)~TUU U, X, R, U c U~(X{R)|UUU U, X, R, V c (U{X{V)~RUU U, X, R, W c U~(XR{W)UU U, X, R, X c U~X{R{XUU U, X, S, Q c U~(X{S|Q)UU U, X, S, R c U~X{S~RUU U, X, S, S c X~(S{S)|UUU U, X, S, T c U~(S~T|X)UU U, X, S, U c (U{X|S)~UUU U, X, S, W c (U{XS)~WUU U, X, S, X c (X{X)~S|UUU U, X, T, R c U~(X{T|R)UU U, X, T, S c U~T{X~SUU U, X, T, V c U~X{T{VUU U, X, T, X c (U{X)~T|XUU U, X, U, P c U{(X{P)~UUU U, X, U, Q c U~X{U~QUU U, X, U, R c U~(X{UR)UU U, X, U, S c U{(X{U)~SUU U, X, U, U c U{X~U{UUU U, X, U, W c U~(X|U{W)UU U, X, V, P c X~(V{P)|UUU U, X, V, Q c U~(X~Q|V)UU U, X, V, R c (U{X{V)~RUU U, X, V, T c U~X{V{TUU U, X, V, X c U~(X|V{X)UU U, X, W, O c X~W|U{OUU U, X, W, P c X~W|U~PUU U, X, W, Q c U~W{X~QUU U, X, W, R c U~(XR{W)UU U, X, W, S c U~X{W{SUU U, X, W, U c U~(X{W|U)UU U, X, W, W c (X|UW)~WUU U, X, W, X c U~W{X{XUU U, X, X, P c X~(X|P)|UUU U, X, X, R c U~X{X{RUU U, X, X, S c (X{X)~S|UUU U, X, X, T c (U{X)~T|XUU U, X, X, V c U~(X{X|V)UU U, X, X, W c U~W{X{XUU U, X, X, X c (X~X)|(U{X)UU V, O, R, X c (V{O)~X{RUU V, O, S, U c (V{O{S)~UUU V, O, U, S c (V{O{S)~UUU V, O, X, R c (V{O)~X{RUU V, P, Q, W c (V{P)~W{QUU V, P, Q, X c (V|P)~(Q{X)UU V, P, R, R c (V~R{P)~RUU V, P, R, U c (V{P{R)~UUU V, P, R, W c (V|P)~(R{W)UU V, P, R, X c (V{PR)~XUU V, P, S, T c (V{S)~(P{T)UU V, P, S, U c (V{P~S)~UUU V, P, S, V c (V|P)~(S{V)UU V, P, S, X c V~(P{X)|SUU V, P, T, S c (V{S)~(P{T)UU V, P, T, U c (V|P{T)~UUU V, P, U, R c (V{P{R)~UUU V, P, U, S c (V{P~S)~UUU V, P, U, T c (V|P)~(U{T)UU V, P, U, X c (V{P)~X|UUU V, P, V, S c (V|P)~(V{S)UU V, P, W, Q c (V{P)~W{QUU V, P, W, R c (V|P)~(W{R)UU V, P, W, X c V~W{P{XUU V, P, X, Q c (V|P)~(X{Q)UU V, P, X, R c V~P~X{RUU V, P, X, S c V~(P{X)|SUU V, P, X, U c (V{P)~X|UUU V, P, X, W c V~W{P{XUU V, Q, P, W c (V{P)~W{QUU V, Q, P, X c (V|P)~(Q{X)UU V, Q, Q, T c (V~T|Q)~QUU V, Q, Q, U c (V{Q{Q)~UUU V, Q, R, S c (V{S)~(Q~R)UU V, Q, R, U c (V~Q|R)~UUU V, Q, R, V c (V{Q)~V{RUU V, Q, R, W c (V~Q{W)~RUU V, Q, S, R c (V{S)~(Q~R)UU V, Q, S, S c (V{S)~(Q{S)UU V, Q, S, T c V~Q~T|SUU V, Q, S, W c V~(Q{W)|SUU V, Q, S, X c (V{X)~S{QUU V, Q, T, Q c (V~T|Q)~QUU V, Q, T, S c V~Q~T|SUU V, Q, T, W c V~W{Q~TUU V, Q, T, X c V~X|Q{TUU V, Q, U, Q c (V{Q{Q)~UUU V, Q, U, R c (V~Q|R)~UUU V, Q, U, U c (V|Q{U)~UUU V, Q, U, W c (V{Q)~W|UUU V, Q, U, X c (V{QU)~XUU V, Q, V, R c (V{Q)~V{RUU V, Q, W, P c (V{P)~W{QUU V, Q, W, R c (V~Q{W)~RUU V, Q, W, S c V~(Q{W)|SUU V, Q, W, T c V~W{Q~TUU V, Q, W, U c (V{Q)~W|UUU V, Q, W, W c V~W{Q{WUU V, Q, X, P c V~X{Q{PUU V, Q, X, S c (V{X)~S{QUU V, Q, X, T c V~X|Q{TUU V, Q, X, U c (V{QU)~XUU V, R, O, X c (V{O)~X{RUU V, R, P, R c (V~R{P)~RUU V, R, P, U c (V{R{P)~UUU V, R, P, W c (V|P)~(R{W)UU V, R, P, X c (V{PR)~XUU V, R, Q, S c (V{S)~(R~Q)UU V, R, Q, U c (V~Q|R)~UUU V, R, Q, V c (V{Q)~V{RUU V, R, Q, W c (V~Q{W)~RUU V, R, R, P c (V~R{P)~RUU V, R, R, R c V~R~R{RUU V, R, R, S c (V{S)~(R{R)UU V, R, R, T c (V{R~T)~RUU V, R, R, U c V~(R{U){RUU V, R, S, Q c (V{S)~(R~Q)UU V, R, S, R c (V{S)~(R{R)UU V, R, S, T c V~(S{T){RUU V, R, S, U c (V~S|U)~RUU V, R, S, V c (V{R)~V|SUU V, R, S, X c (V{S)~(X|R)UU V, R, T, R c (V{R~T)~RUU V, R, T, S c V~(T{S){RUU V, R, T, X c V~R{T~XUU V, R, U, P c (V{R{P)~UUU V, R, U, Q c (V~Q|R)~UUU V, R, U, R c V~(R{U){RUU V, R, U, S c (V~S|U)~RUU V, R, U, U c (V{R)~U{UUU V, R, U, V c (V|R{V)~UUU V, R, U, W c V~U{R~WUU V, R, U, X c (V{U{X)~RUU V, R, V, Q c V~(V{Q){RUU V, R, V, S c (V{R)~V|SUU V, R, V, U c (V|R{V)~UUU V, R, V, W c V{R{V~WUU V, R, V, X c V~(RV{X)UU V, R, W, P c V~(W{P){RUU V, R, W, Q c (V~Q{W)~RUU V, R, W, U c V~U{R~WUU V, R, W, V c V{R{W~VUU V, R, X, O c V~X{R{OUU V, R, X, P c V~X{R~PUU V, R, X, S c (V{S)~(X|R)UU V, R, X, T c V~R{X~TUU V, R, X, U c V~X|R{UUU V, R, X, V c V~(RV{X)UU V, R, X, X c (V{RX)~XUU V, S, O, U c (V{S{O)~UUU V, S, P, T c (V{S)~(P{T)UU V, S, P, U c (V{S)~(P~U)UU V, S, P, V c (V{S)~(V|P)UU V, S, P, X c V~(P{X)|SUU V, S, Q, R c (V{S)~(Q~R)UU V, S, Q, S c (V{S)~(Q{S)UU V, S, Q, T c (V~S{T)~QUU V, S, Q, W c (V{S)~(W|Q)UU V, S, Q, X c (V{X)~S{QUU V, S, R, Q c (V{S)~(R~Q)UU V, S, R, R c (V{S)~(R{R)UU V, S, R, T c V~(S{T){RUU V, S, R, U c (V~S|U)~RUU V, S, R, V c (V{R)~V|SUU V, S, R, X c (V{S)~(X|R)UU V, S, S, Q c (V{S)~(S{Q)UU V, S, S, U c V~(S{U)|SUU V, S, T, P c (V{S)~(T{P)UU V, S, T, Q c (V~S{T)~QUU V, S, T, R c V~(S{T){RUU V, S, T, T c V~(T{T)|SUU V, S, T, V c (V{V)~T|SUU V, S, T, W c (V{TS)~WUU V, S, U, O c (V{S)~(U{O)UU V, S, U, P c (V{S)~(U~P)UU V, S, U, R c (V~S|U)~RUU V, S, U, S c V~(S{U)|SUU V, S, U, U c V~U{S~UUU V, S, U, W c (V|S{W)~UUU V, S, V, P c (V{S)~(V|P)UU V, S, V, R c V~(V{R)|SUU V, S, V, T c (V{V)~T|SUU V, S, V, X c V|S{V~XUU V, S, W, Q c (V{S)~(W|Q)UU V, S, W, T c (V{TS)~WUU V, S, W, U c (V|S{W)~UUU V, S, X, P c V~X{S|PUU V, S, X, Q c (V{X)~S{QUU V, S, X, R c (V{S)~(X|R)UU V, S, X, V c V|S{X~VUU V, T, P, S c (V{S)~(T{P)UU V, T, P, U c (V{T|P)~UUU V, T, Q, Q c (V~T|Q)~QUU V, T, Q, S c V~T~Q|SUU V, T, Q, W c V~W{T~QUU V, T, Q, X c V~X{T|QUU V, T, R, R c (V{T~R)~RUU V, T, R, S c V~(T{S){RUU V, T, R, X c V~R{T~XUU V, T, S, P c (V{S)~(T{P)UU V, T, S, Q c V~T~Q|SUU V, T, S, R c V~(T{S){RUU V, T, S, T c V~(T{T)|SUU V, T, S, V c (V{V)~T|SUU V, T, S, W c (V{TS)~WUU V, T, T, S c V~(T{T)|SUU V, T, T, U c (V{T)~T{UUU V, T, T, W c V~W{T{TUU V, T, U, P c (V{T|P)~UUU V, T, U, T c (V{T)~T{UUU V, T, U, U c (V{T)~U|UUU V, T, U, X c V{T{U~XUU V, T, V, S c (V{V)~T|SUU V, T, W, Q c V~W{T~QUU V, T, W, S c (V{TS)~WUU V, T, W, T c V~W{T{TUU V, T, W, W c V|T{W~WUU V, T, W, X c (V{W)~T|XUU V, T, X, Q c V~X{T|QUU V, T, X, R c V~R{T~XUU V, T, X, U c V{T{X~UUU V, T, X, W c V~X|T{WUU V, U, O, S c (V{O{S)~UUU V, U, P, R c (V{P{R)~UUU V, U, P, S c (V{P~S)~UUU V, U, P, T c (V{U)~T{PUU V, U, P, X c (V{P)~X|UUU V, U, Q, Q c (V{Q{Q)~UUU V, U, Q, R c (V~Q|R)~UUU V, U, Q, U c (V{U|Q)~UUU V, U, Q, W c (V{Q)~W|UUU V, U, Q, X c (V~U|X)~QUU V, U, R, P c (V{R{P)~UUU V, U, R, Q c (V~Q|R)~UUU V, U, R, R c V~(U{R){RUU V, U, R, S c (V~S|U)~RUU V, U, R, U c (V{R)~U{UUU V, U, R, V c (V|R{V)~UUU V, U, R, W c V~U{R~WUU V, U, R, X c (V{U{X)~RUU V, U, S, O c (V{S)~(U{O)UU V, U, S, P c (V{S)~(U~P)UU V, U, S, R c (V~S|U)~RUU V, U, S, S c V~(U{S)|SUU V, U, S, U c V~U{S~UUU V, U, S, W c (V|S{W)~UUU V, U, T, P c (V{U)~T{PUU V, U, T, T c (V{T)~T{UUU V, U, T, U c (V{T)~U|UUU V, U, T, X c V{U~X{TUU V, U, U, Q c (V{U|Q)~UUU V, U, U, R c (V{R)~U{UUU V, U, U, S c V~U{U~SUU V, U, U, T c (V{T)~U|UUU V, U, V, R c (V{V|R)~UUU V, U, W, Q c (V{WQ)~UUU V, U, W, R c V~U{W~RUU V, U, W, S c V~W{U{SUU V, U, X, P c (V{P)~X|UUU V, U, X, Q c (V~U|X)~QUU V, U, X, R c (V{U{X)~RUU V, U, X, T c V{U~X{TUU V, U, X, X c V~X|U{XUU V, V, P, S c (V|P)~(V{S)UU V, V, Q, R c V~(V{Q){RUU V, V, R, Q c V~(V{Q){RUU V, V, R, S c V~(V{R)|SUU V, V, R, U c (V{V|R)~UUU V, V, R, W c (V{V{W)~RUU V, V, R, X c V~(RV{X)UU V, V, S, P c (V{S)~(V|P)UU V, V, S, R c V~(V{R)|SUU V, V, S, T c (V{V)~T|SUU V, V, S, X c V{V~X|SUU V, V, T, S c (V{V)~T|SUU V, V, U, R c (V{V|R)~UUU V, V, W, R c (V{V{W)~RUU V, V, W, X c V~V{W{XUU V, V, X, R c V~(X{RV)UU V, V, X, S c V{V~X|SUU V, V, X, W c V~V{X{WUU V, W, P, Q c (V{P)~W{QUU V, W, P, R c V~(W{P){RUU V, W, P, X c V~W{P{XUU V, W, Q, P c (V{P)~W{QUU V, W, Q, R c (V~Q{W)~RUU V, W, Q, S c V~(W{Q)|SUU V, W, Q, T c V~W{Q~TUU V, W, Q, U c (V{WQ)~UUU V, W, Q, W c V~W{Q{WUU V, W, R, P c V~(W{P){RUU V, W, R, Q c (V~Q{W)~RUU V, W, R, U c V~U{W~RUU V, W, R, V c V~W{R{VUU V, W, S, Q c V~(W{Q)|SUU V, W, S, T c (V{TS)~WUU V, W, S, U c (V{W|S)~UUU V, W, T, Q c V~W{T~QUU V, W, T, S c (V{TS)~WUU V, W, T, T c V~W{T{TUU V, W, T, W c V{W~W|TUU V, W, T, X c (V{W)~T|XUU V, W, U, Q c (V{WQ)~UUU V, W, U, R c V~U{W~RUU V, W, U, S c V~W{U{SUU V, W, V, R c (V{W{V)~RUU V, W, V, X c V~V{W{XUU V, W, W, Q c V~W{W{QUU V, W, W, T c V{W~W|TUU V, W, W, X c W~W|V{XUU V, W, X, P c V~W{X{PUU V, W, X, T c (V{W)~T|XUU V, W, X, V c V~V{W{XUU V, W, X, W c W~W|V{XUU V, W, X, X c (X~X)|(V{W)UU V, X, O, R c V~X{O{RUU V, X, P, Q c V~X{P{QUU V, X, P, R c V~X{P~RUU V, X, P, S c V~(X{P)|SUU V, X, P, U c (V{P)~X|UUU V, X, P, W c V~W{X{PUU V, X, Q, P c V~X{Q{PUU V, X, Q, S c (V{X)~S{QUU V, X, Q, T c V~X|Q{TUU V, X, Q, U c V~X{UQUU V, X, R, O c V~X{R{OUU V, X, R, P c V~X{R~PUU V, X, R, S c (V{S)~(X|R)UU V, X, R, T c V~R{X~TUU V, X, R, U c V~X|R{UUU V, X, R, V c V~(X{RV)UU V, X, R, X c V~X{XRUU V, X, S, P c V~X{S|PUU V, X, S, Q c (V{X)~S{QUU V, X, S, R c (V{S)~(X|R)UU V, X, S, V c V~X|S{VUU V, X, T, Q c V~X{T|QUU V, X, T, R c V~R{X~TUU V, X, T, U c (V{X|T)~UUU V, X, T, W c V~X|T{WUU V, X, U, P c (V{P)~X|UUU V, X, U, Q c V~X{UQUU V, X, U, R c (V{X{U)~RUU V, X, U, T c V{X~U{TUU V, X, U, X c V~X|U{XUU V, X, V, R c V~(X{RV)UU V, X, V, S c V{X~V|SUU V, X, V, W c V~V{X{WUU V, X, W, P c V~W{X{PUU V, X, W, T c V~X{W|TUU V, X, W, V c V~V{X{WUU V, X, W, W c X|V{W~WUU V, X, W, X c (X~X)|(V{W)UU V, X, X, R c V~X{XRUU V, X, X, U c V~X{X|UUU V, X, X, W c (X~X)|(V{W)UU W, O, Q, W c (W{O)~W{QUU W, O, R, U c (W{O{R)~UUU W, O, U, R c (W{O{R)~UUU W, O, U, X c (W{O)~X|UUU W, O, W, Q c (W{O)~W{QUU W, O, X, U c (W{O)~X|UUU W, P, P, W c W~W{P{PUU W, P, Q, S c (W~S{P)~QUU W, P, Q, U c (W{P{Q)~UUU W, P, Q, V c W~(P{V){QUU W, P, Q, W c W~P~W{QUU W, P, Q, X c W~(X|P){QUU W, P, R, T c (W{R)~(P{T)UU W, P, R, U c (W{P~R)~UUU W, P, R, V c (W{P)~V{RUU W, P, R, W c W~W|P{RUU W, P, R, X c (W|P)~X{RUU W, P, S, Q c (W~S{P)~QUU W, P, S, U c (W|P{S)~UUU W, P, S, W c (W{PS)~WUU W, P, T, R c (W{R)~(P{T)UU W, P, T, T c (W{T)~T{PUU W, P, T, X c (W~X)|(P{T)UU W, P, U, Q c (W{P{Q)~UUU W, P, U, R c (W{P~R)~UUU W, P, U, S c (W|P{S)~UUU W, P, U, W c (W{P)~W|UUU W, P, U, X c W~P~X|UUU W, P, V, Q c W~(P{V){QUU W, P, V, R c (W{P)~V{RUU W, P, V, X c W~V{P{XUU W, P, W, P c W~W{P{PUU W, P, W, Q c W~P~W{QUU W, P, W, R c W~W|P{RUU W, P, W, S c (W{PS)~WUU W, P, W, U c (W{P)~W|UUU W, P, X, Q c W~(X|P){QUU W, P, X, R c (W|P)~X{RUU W, P, X, T c (W~X)|(P{T)UU W, P, X, U c W~P~X|UUU W, P, X, V c W~X{P|VUU W, Q, O, W c (W{O)~W{QUU W, Q, P, S c (W~S{P)~QUU W, Q, P, U c (W{Q{P)~UUU W, Q, P, V c W~(P{V){QUU W, Q, P, W c W~P~W{QUU W, Q, P, X c W~(X|P){QUU W, Q, Q, S c W~Q~S{QUU W, Q, Q, U c W~(Q{U){QUU W, Q, Q, X c (W|Q)~(Q{X)UU W, Q, R, R c (W{R)~(Q~R)UU W, Q, R, S c (W{R)~(Q{S)UU W, Q, R, T c W~(R{T){QUU W, Q, R, U c (W~Q{U)~RUU W, Q, R, V c (W{Q~V)~RUU W, Q, R, W c (W|Q)~(R{W)UU W, Q, R, X c (W|QR)~XUU W, Q, S, P c (W~S{P)~QUU W, Q, S, Q c W~Q~S{QUU W, Q, S, R c (W{R)~(Q{S)UU W, Q, S, S c W~(S{S){QUU W, Q, S, V c (W|Q)~(S{V)UU W, Q, S, W c W~W|Q{SUU W, Q, S, X c (W~X)|(Q{S)UU W, Q, T, R c W~(T{R){QUU W, Q, T, T c (W{T~T)~QUU W, Q, T, U c (W|Q{T)~UUU W, Q, T, V c (W~T|V)~QUU W, Q, U, P c (W{Q{P)~UUU W, Q, U, Q c W~(Q{U){QUU W, Q, U, R c (W~Q{U)~RUU W, Q, U, T c (W|Q)~(U{T)UU W, Q, U, U c (W{Q)~U{UUU W, Q, U, V c W~(Q{V)|UUU W, Q, U, X c W~U{Q~XUU W, Q, V, P c W~(V{P){QUU W, Q, V, R c (W{Q~V)~RUU W, Q, V, S c (W{Q)~V|SUU W, Q, V, T c W~V{Q~TUU W, Q, V, U c W~(Q{V)|UUU W, Q, V, W c W{Q{V~WUU W, Q, W, O c W~W{Q{OUU W, Q, W, P c W~W{Q~PUU W, Q, W, R c (W|Q)~(W{R)UU W, Q, W, S c W~W|Q{SUU W, Q, W, V c W{Q{W~VUU W, Q, W, W c (W{QW)~WUU W, Q, W, X c W~X{Q|WUU W, Q, X, P c W~(X|P){QUU W, Q, X, Q c (W|Q)~(X{Q)UU W, Q, X, R c (W|QR)~XUU W, Q, X, S c (W~X)|(Q{S)UU W, Q, X, U c W~U{Q~XUU W, Q, X, W c W~X{Q|WUU W, R, O, U c (W{R{O)~UUU W, R, P, T c (W{R)~(P{T)UU W, R, P, U c (W{R)~(P~U)UU W, R, P, V c (W{R)~(V|P)UU W, R, P, W c W~W{R|PUU W, R, P, X c (W|P)~X{RUU W, R, Q, R c (W{R)~(Q~R)UU W, R, Q, S c (W{R)~(Q{S)UU W, R, Q, T c W~(R{T){QUU W, R, Q, U c (W~Q{U)~RUU W, R, Q, V c (W{Q~V)~RUU W, R, Q, W c (W{R)~(W|Q)UU W, R, Q, X c (W~R{X)~QUU W, R, R, Q c (W{R)~(R~Q)UU W, R, R, R c (W{R)~(R{R)UU W, R, R, U c W~R~R|UUU W, R, R, X c (W{R)~(X|R)UU W, R, S, Q c (W{R)~(S{Q)UU W, R, S, X c W~(X|RS)UU W, R, T, P c (W{R)~(T{P)UU W, R, T, Q c W~(R{T){QUU W, R, T, U c R~(T~U|W)UU W, R, T, W c W~W|R{TUU W, R, T, X c (W{T{X)~RUU W, R, U, O c (W{R)~(U{O)UU W, R, U, P c (W{R)~(U~P)UU W, R, U, Q c (W~Q{U)~RUU W, R, U, R c W~R~R|UUU W, R, U, T c R~(U~T|W)UU W, R, U, U c (W|R{U)~UUU W, R, U, V c W~R{U~VUU W, R, U, W c (W{U{W)~RUU W, R, U, X c (W{XR)~UUU W, R, V, P c (W{R)~(V|P)UU W, R, V, Q c (W{V~Q)~RUU W, R, V, U c W~R{V~UUU W, R, V, V c W~V{R{VUU W, R, W, P c W~W{R|PUU W, R, W, Q c (W{R)~(W|Q)UU W, R, W, T c W~W|R{TUU W, R, W, U c (W{W{U)~RUU W, R, X, P c (W|P)~X{RUU W, R, X, Q c (W~R{X)~QUU W, R, X, R c (W{R)~(X|R)UU W, R, X, S c W~(X|RS)UU W, R, X, T c (W{X{T)~RUU W, R, X, U c (W{XR)~UUU W, R, X, X c W~X{R|XUU W, S, P, Q c (W~S{P)~QUU W, S, P, U c (W{S|P)~UUU W, S, P, W c (W{PS)~WUU W, S, Q, P c (W~S{P)~QUU W, S, Q, Q c W~S~Q{QUU W, S, Q, R c (W{R)~(S{Q)UU W, S, Q, S c W~(S{S){QUU W, S, Q, V c (W|Q)~(S{V)UU W, S, Q, W c (W{W)~S{QUU W, S, Q, X c (W{X)~S|QUU W, S, R, Q c (W{R)~(S{Q)UU W, S, R, X c W~(X|RS)UU W, S, S, Q c W~(S{S){QUU W, S, T, U c (W{S)~T{UUU W, S, T, V c W~(TS{V)UU W, S, U, P c (W{S|P)~UUU W, S, U, T c (W{S)~T{UUU W, S, U, U c (W{S)~U|UUU W, S, U, V c (W|S{V)~UUU W, S, U, W c W~W|S{UUU W, S, U, X c W{S{U~XUU W, S, V, Q c (W|Q)~(S{V)UU W, S, V, T c W~(V{TS)UU W, S, V, U c (W|S{V)~UUU W, S, W, P c W~(W{PS)UU W, S, W, Q c (W{W)~S{QUU W, S, W, U c W~W|S{UUU W, S, W, W c WS{W~WUU W, S, X, Q c (W{X)~S|QUU W, S, X, R c W~(X|RS)UU W, S, X, U c W{S{X~UUU W, T, P, R c (W{R)~(T{P)UU W, T, P, T c (W{T)~T{PUU W, T, P, X c (W~X)|(T{P)UU W, T, Q, R c W~(T{R){QUU W, T, Q, T c (W{T~T)~QUU W, T, Q, U c (W{T|Q)~UUU W, T, Q, V c (W~T|V)~QUU W, T, R, P c (W{R)~(T{P)UU W, T, R, Q c W~(T{R){QUU W, T, R, U c (T~U|W)~RUU W, T, R, W c W~W{T|RUU W, T, R, X c (W{T{X)~RUU W, T, S, U c W~(T{S)|UUU W, T, S, V c W~(TS{V)UU W, T, T, P c (W{T)~T{PUU W, T, T, Q c (W{T~T)~QUU W, T, T, V c W~V{T{TUU W, T, U, Q c (W{T|Q)~UUU W, T, U, R c (T~U|W)~RUU W, T, U, S c W~(T{S)|UUU W, T, U, W c (W|T{W)~UUU W, T, V, Q c (W~T|V)~QUU W, T, V, S c W~(TS{V)UU W, T, V, T c W~V{T{TUU W, T, V, W c W~W|T{VUU W, T, V, X c W|T{V~XUU W, T, W, R c W~W{T|RUU W, T, W, U c (W|T{W)~UUU W, T, W, V c W~W|T{VUU W, T, X, P c (W~X)|(T{P)UU W, T, X, R c (W{T{X)~RUU W, T, X, V c W|T{X~VUU W, U, O, R c (W{O{R)~UUU W, U, O, X c (W{O)~X|UUU W, U, P, Q c (W{P{Q)~UUU W, U, P, R c (W{P~R)~UUU W, U, P, S c (W|P{S)~UUU W, U, P, W c (W{P)~W|UUU W, U, P, X c W~P~X|UUU W, U, Q, P c (W{Q{P)~UUU W, U, Q, Q c W~(U{Q){QUU W, U, Q, R c (W~Q{U)~RUU W, U, Q, T c (W|Q)~(U{T)UU W, U, Q, U c (W{UQ)~UUU W, U, Q, V c W~(Q{V)|UUU W, U, Q, X c W~U{Q~XUU W, U, R, O c (W{R)~(U{O)UU W, U, R, P c (W{R)~(U~P)UU W, U, R, Q c (W~Q{U)~RUU W, U, R, R c W~R~R|UUU W, U, R, T c (U~T|W)~RUU W, U, R, U c (W{U|R)~UUU W, U, R, V c W~R{U~VUU W, U, R, W c (W{U{W)~RUU W, U, R, X c (W{XR)~UUU W, U, S, P c (W{S|P)~UUU W, U, S, T c (W{U)~T|SUU W, U, S, U c (W{S)~U|UUU W, U, S, V c (W|S{V)~UUU W, U, S, W c W~W{U|SUU W, U, S, X c W{U~X{SUU W, U, T, Q c (W{T|Q)~UUU W, U, T, R c (U~T|W)~RUU W, U, T, S c (W{U)~T|SUU W, U, T, W c (W|T{W)~UUU W, U, U, Q c (W{UQ)~UUU W, U, U, R c W~U{U~RUU W, U, U, S c (W{S)~U|UUU W, U, U, X c (WU{U)~XUU W, U, V, Q c W~(V{Q)|UUU W, U, V, R c W~R{U~VUU W, U, V, S c W~V{U{SUU W, U, W, P c W~(W{P)|UUU W, U, W, R c (W{U{W)~RUU W, U, W, S c W~W{U|SUU W, U, W, T c (W{W|T)~UUU W, U, W, W c W|U{W~WUU W, U, W, X c W~(X|UW)UU W, U, X, O c W~X|U{OUU W, U, X, P c W~X|U~PUU W, U, X, Q c W~U{X~QUU W, U, X, R c (W{XR)~UUU W, U, X, S c W{U~X{SUU W, U, X, U c (W|U{X)~UUU W, U, X, W c W~(X|UW)UU W, U, X, X c (W|UX)~XUU W, V, P, Q c W~(V{P){QUU W, V, P, R c (W{P)~V{RUU W, V, P, X c W~V{P{XUU W, V, Q, P c W~(V{P){QUU W, V, Q, R c (W{V~Q)~RUU W, V, Q, S c (W{Q)~V|SUU W, V, Q, T c W~V{Q~TUU W, V, Q, U c W~(V{Q)|UUU W, V, Q, W c W~V{Q{WUU W, V, R, P c (W{R)~(V|P)UU W, V, R, Q c (W{V~Q)~RUU W, V, R, U c W~R{V~UUU W, V, R, V c W~V{R{VUU W, V, S, Q c (W{Q)~V|SUU W, V, S, T c W~(V{TS)UU W, V, S, U c (W{V|S)~UUU W, V, T, Q c W~V{T~QUU W, V, T, S c W~(V{TS)UU W, V, T, T c W~V{T{TUU W, V, T, W c W~W{V|TUU W, V, T, X c (W{V)~T|XUU W, V, U, Q c W~(V{Q)|UUU W, V, U, R c W~R{V~UUU W, V, U, S c W~V{U{SUU W, V, V, R c (W{V{V)~RUU W, V, V, X c W{V~V{XUU W, V, W, Q c W{V~W{QUU W, V, W, T c W~W{V|TUU W, V, W, X c W~W|V{XUU W, V, X, P c W~V{X{PUU W, V, X, T c W{V~X|TUU W, V, X, V c W{V~V{XUU W, V, X, W c W~W|V{XUU W, V, X, X c (X~X)|(W{V)UU W, W, O, Q c W~W{O{QUU W, W, P, P c W~W{P{PUU W, W, P, Q c W~W{P~QUU W, W, P, R c W~W|P{RUU W, W, P, S c W~(W{PS)UU W, W, P, U c W~(W{P)|UUU W, W, Q, O c W~W{Q{OUU W, W, Q, P c W~W{Q~PUU W, W, Q, R c (W|Q)~(W{R)UU W, W, Q, S c W~W|Q{SUU W, W, Q, V c W{W~V{QUU W, W, Q, W c W~(W{QW)UU W, W, Q, X c W~X|W{QUU W, W, R, P c W~W{R|PUU W, W, R, Q c (W{R)~(W|Q)UU W, W, R, T c W~W|R{TUU W, W, R, U c (W{W{U)~RUU W, W, S, P c W~(W{PS)UU W, W, S, Q c (W{W)~S{QUU W, W, S, U c W~W|S{UUU W, W, S, W c W~W{WSUU W, W, T, R c W~W{T|RUU W, W, T, U c (W{W|T)~UUU W, W, T, V c W~W|T{VUU W, W, U, P c W~(W{P)|UUU W, W, U, R c (W{W{U)~RUU W, W, U, S c W~W{U|SUU W, W, U, T c (W{W|T)~UUU W, W, U, W c W~W|U{WUU W, W, U, X c W~(X|UW)UU W, W, V, Q c W{W~V{QUU W, W, V, T c W~W{V|TUU W, W, V, X c W~W|V{XUU W, W, W, Q c W~(W{QW)UU W, W, W, S c W~W{WSUU W, W, W, U c W{W~W|UUU W, W, X, Q c W~X|W{QUU W, W, X, U c W~(X|UW)UU W, W, X, V c W~W{X|VUU W, X, O, U c W~X{O|UUU W, X, P, Q c W~(X|P){QUU W, X, P, R c (W|P)~X{RUU W, X, P, T c (W~X)|(P{T)UU W, X, P, U c W~X|P~UUU W, X, P, V c W~X{P|VUU W, X, Q, P c W~(X|P){QUU W, X, Q, Q c (W|Q)~(X{Q)UU W, X, Q, R c W~X|Q~RUU W, X, Q, S c (W~X)|(Q{S)UU W, X, Q, U c W~U{X~QUU W, X, Q, W c W~X{Q|WUU W, X, R, P c (W|P)~X{RUU W, X, R, Q c W~X|R~QUU W, X, R, R c (W~X)|(R{R)UU W, X, R, S c W~(X|RS)UU W, X, R, T c (W{X{T)~RUU W, X, R, U c (W{XR)~UUU W, X, R, X c W~X{R|XUU W, X, S, Q c (W{X)~S|QUU W, X, S, R c W~(X|RS)UU W, X, S, U c W~(XS{U)UU W, X, T, P c (W~X)|(T{P)UU W, X, T, R c (W{X{T)~RUU W, X, T, V c W{X~V|TUU W, X, U, O c W~X|U{OUU W, X, U, P c W~X|U~PUU W, X, U, Q c W~U{X~QUU W, X, U, R c (W{XR)~UUU W, X, U, S c W{X~U{SUU W, X, U, U c (W{X|U)~UUU W, X, U, W c W~(X|UW)UU W, X, U, X c (W|UX)~XUU W, X, V, P c W~X|V{PUU W, X, V, T c W{X~V|TUU W, X, V, V c W{X{V~VUU W, X, V, W c W~W{X|VUU W, X, V, X c (X~X)|(W{V)UU W, X, W, Q c W~X|W{QUU W, X, W, U c W~(X|UW)UU W, X, W, V c W~W{X|VUU W, X, X, R c W~X|X{RUU W, X, X, U c (W|UX)~XUU W, X, X, V c (X~X)|(W{V)UU X, O, Q, U c (X{O{Q)~UUU X, O, R, V c (X{O)~V{RUU X, O, U, Q c (X{O{Q)~UUU X, O, U, W c (X{O)~W|UUU X, O, V, R c (X{O)~V{RUU X, O, W, U c (X{O)~W|UUU X, P, P, U c (X{P{P)~UUU X, P, Q, T c (X{Q)~(P{T)UU X, P, Q, U c (X{P~Q)~UUU X, P, Q, V c (X{Q)~(V|P)UU X, P, Q, W c (X|P)~W{QUU X, P, R, U c (X|P{R)~UUU X, P, R, V c X~(PR{V)UU X, P, R, W c X~(W|P){RUU X, P, S, T c (X{S)~T{PUU X, P, S, V c (X{P)~V|SUU X, P, T, Q c (X{Q)~(P{T)UU X, P, T, S c (X{S)~T{PUU X, P, T, W c (X~W)|(P{T)UU X, P, U, P c (X{P{P)~UUU X, P, U, Q c (X{P~Q)~UUU X, P, U, R c X~(P{U){RUU X, P, U, U c (X{P)~U{UUU X, P, U, V c X~(P{V)|UUU X, P, U, W c X~P~W|UUU X, P, U, X c (X|P)~X|UUU X, P, V, Q c X~V{P{QUU X, P, V, R c X~P~V{RUU X, P, V, S c (X{P)~V|SUU X, P, V, U c X~(P{V)|UUU X, P, V, W c X{P{V~WUU X, P, W, Q c (X|P)~W{QUU X, P, W, R c X~(W|P){RUU X, P, W, T c (X~W)|(P{T)UU X, P, W, U c X~P~W|UUU X, P, W, V c X{P{W~VUU X, P, X, U c (X|P)~X|UUU X, Q, O, U c (X{Q{O)~UUU X, Q, P, T c (X{Q)~(P{T)UU X, Q, P, U c (X{Q)~(P~U)UU X, Q, P, V c (X{Q)~(V|P)UU X, Q, P, W c (X|P)~W{QUU X, Q, Q, R c (X{Q)~(Q~R)UU X, Q, Q, S c (X{Q)~(Q{S)UU X, Q, Q, W c (X{Q)~(W|Q)UU X, Q, R, Q c (X{Q)~(R~Q)UU X, Q, R, R c (X{Q)~(R{R)UU X, Q, R, S c (X~Q{S)~RUU X, Q, R, T c X~(Q{T){RUU X, Q, R, U c (X~R{U)~QUU X, Q, R, W c (X{R~W)~QUU X, Q, R, X c (X{Q)~(X|R)UU X, Q, S, Q c (X{Q)~(S{Q)UU X, Q, S, R c (X~Q{S)~RUU X, Q, S, U c (X|Q{S)~UUU X, Q, S, V c (X{V)~S{QUU X, Q, S, W c (X~W)|(Q{S)UU X, Q, T, P c (X{Q)~(T{P)UU X, Q, T, R c X~(Q{T){RUU X, Q, T, V c X~V|Q{TUU X, Q, U, O c (X{Q)~(U{O)UU X, Q, U, P c (X{Q)~(U~P)UU X, Q, U, R c (X~R{U)~QUU X, Q, U, S c (X|Q{S)~UUU X, Q, U, U c X~(Q{U)|UUU X, Q, U, V c X~(QU{V)UU X, Q, U, W c X~Q{U~WUU X, Q, V, P c (X{Q)~(V|P)UU X, Q, V, S c (X{V)~S{QUU X, Q, V, T c X~V|Q{TUU X, Q, V, U c (X~Q|V)~UUU X, Q, W, P c (X|P)~W{QUU X, Q, W, Q c (X{Q)~(W|Q)UU X, Q, W, R c X~W|Q~RUU X, Q, W, S c (X~W)|(Q{S)UU X, Q, W, U c X~Q{W~UUU X, Q, W, W c X~W{Q|WUU X, Q, X, R c (X{Q)~(X|R)UU X, R, O, V c (X{O)~V{RUU X, R, P, U c (X{R|P)~UUU X, R, P, V c X~(PR{V)UU X, R, P, W c X~(W|P){RUU X, R, Q, Q c (X{Q)~(R~Q)UU X, R, Q, R c (X{Q)~(R{R)UU X, R, Q, S c (X~Q{S)~RUU X, R, Q, T c X~(Q{T){RUU X, R, Q, U c (X~R{U)~QUU X, R, Q, W c (X{R~W)~QUU X, R, Q, X c (X|R)~(Q{X)UU X, R, R, Q c (X{Q)~(R{R)UU X, R, R, S c X~(R{S){RUU X, R, R, T c (X~R|T)~RUU X, R, R, W c (X|R)~(R{W)UU X, R, S, Q c (X~S|R)~QUU X, R, S, R c X~(R{S){RUU X, R, S, U c X~(SR{U)UU X, R, S, V c (X|R)~(S{V)UU X, R, S, W c (X|RS)~WUU X, R, S, X c (X{S{X)~RUU X, R, T, Q c X~(T{Q){RUU X, R, T, R c (X~R|T)~RUU X, R, T, T c R~T~T|XUU X, R, T, U c (X{R)~T{UUU X, R, T, V c X~T{R~VUU X, R, T, W c (X{T{W)~RUU X, R, T, X c (X|TR)~XUU X, R, U, P c (X{R|P)~UUU X, R, U, Q c (X~R{U)~QUU X, R, U, S c X~U{R~SUU X, R, U, T c (X|R)~(U{T)UU X, R, U, U c (X{R)~U|UUU X, R, U, V c (X{U{V)~RUU X, R, U, W c (XR{W)~UUU X, R, U, X c X{R{U~XUU X, R, V, O c X~V{R{OUU X, R, V, P c X~V{R~PUU X, R, V, S c (X|R)~(V{S)UU X, R, V, T c X~(VR{T)UU X, R, V, U c X~V|R{UUU X, R, V, V c (X{RV)~VUU X, R, V, X c XR{V~XUU X, R, W, P c X~(W|P){RUU X, R, W, Q c (X{R~W)~QUU X, R, W, R c (X|R)~(W{R)UU X, R, W, S c (X|RS)~WUU X, R, W, T c (X{W{T)~RUU X, R, W, U c (XR{W)~UUU X, R, W, X c X~W{R|XUU X, R, X, Q c (X|R)~(X{Q)UU X, R, X, S c (X{X{S)~RUU X, R, X, T c X~X|R~TUU X, R, X, U c X{R{X~UUU X, R, X, V c X~(RX{V)UU X, R, X, W c X~W{R|XUU X, S, P, T c (X{S)~T{PUU X, S, P, V c (X{P)~V|SUU X, S, Q, Q c (X{Q)~(S{Q)UU X, S, Q, R c (X~S|R)~QUU X, S, Q, U c (X{S|Q)~UUU X, S, Q, V c (X{V)~S{QUU X, S, Q, W c (X{W)~S|QUU X, S, R, Q c (X~S|R)~QUU X, S, R, R c X~(S{R){RUU X, S, R, U c X~(SR{U)UU X, S, R, V c (X|R)~(S{V)UU X, S, R, W c (X|RS)~WUU X, S, R, X c (X{S{X)~RUU X, S, S, U c X~(S{S)|UUU X, S, T, P c (X{S)~T{PUU X, S, T, T c (X{T)~T|SUU X, S, T, U c X~S{T~UUU X, S, U, Q c (X{S~U)~QUU X, S, U, R c X~(SR{U)UU X, S, U, S c X~(S{S)|UUU X, S, U, T c X~S{U~TUU X, S, U, U c (X|S{U)~UUU X, S, U, W c (XS{U)~WUU X, S, U, X c (X{X)~S|UUU X, S, V, P c X~V{S|PUU X, S, V, Q c (X{V)~S{QUU X, S, V, R c (X|R)~(S{V)UU X, S, V, V c X~V|S{VUU X, S, W, Q c (X{W)~S|QUU X, S, W, R c (X|RS)~WUU X, S, W, U c (XS{U)~WUU X, S, X, R c (X{S{X)~RUU X, S, X, U c (X{X)~S|UUU X, T, P, Q c (X{Q)~(T{P)UU X, T, P, S c (X{S)~T{PUU X, T, P, W c (X~W)|(T{P)UU X, T, Q, P c (X{Q)~(T{P)UU X, T, Q, R c X~(T{Q){RUU X, T, Q, V c X~V{T|QUU X, T, R, Q c X~(T{Q){RUU X, T, R, R c (X~R|T)~RUU X, T, R, T c T~R~T|XUU X, T, R, U c (X{T|R)~UUU X, T, R, V c X~T{R~VUU X, T, R, W c (X{T{W)~RUU X, T, R, X c (X|TR)~XUU X, T, S, P c (X{S)~T{PUU X, T, S, T c (X{T)~T|SUU X, T, S, U c X~S{T~UUU X, T, T, R c T~T~R|XUU X, T, T, S c (X{T)~T|SUU X, T, U, R c (X{T|R)~UUU X, T, U, S c X~S{T~UUU X, T, U, V c (X|T{V)~UUU X, T, U, X c (X{U)~T|XUU X, T, V, Q c X~V{T|QUU X, T, V, R c X~T{V~RUU X, T, V, U c (X|T{V)~UUU X, T, V, W c X~V|T{WUU X, T, W, P c (X~W)|(T{P)UU X, T, W, R c (X{T{W)~RUU X, T, W, V c X~V|T{WUU X, T, X, R c (X|TR)~XUU X, T, X, U c (X{U)~T|XUU X, U, O, Q c (X{O{Q)~UUU X, U, O, W c (X{O)~W|UUU X, U, P, P c (X{P{P)~UUU X, U, P, Q c (X{P~Q)~UUU X, U, P, R c X~(U{P){RUU X, U, P, U c (X{P)~U{UUU X, U, P, V c X~(P{V)|UUU X, U, P, W c X~P~W|UUU X, U, P, X c (X|P)~X|UUU X, U, Q, O c (X{Q)~(U{O)UU X, U, Q, P c (X{Q)~(U~P)UU X, U, Q, R c (X~R{U)~QUU X, U, Q, S c (X{U~S)~QUU X, U, Q, U c X~(U{Q)|UUU X, U, Q, V c X~(QU{V)UU X, U, Q, W c X~Q{U~WUU X, U, R, P c X~(U{P){RUU X, U, R, Q c (X~R{U)~QUU X, U, R, S c X~U{R~SUU X, U, R, T c (X|R)~(U{T)UU X, U, R, U c (X{UR)~UUU X, U, R, V c (X{U{V)~RUU X, U, R, W c (XR{W)~UUU X, U, R, X c X~U{R{XUU X, U, S, Q c (X{U~S)~QUU X, U, S, R c X~U{S~RUU X, U, S, S c X~(S{S)|UUU X, U, S, T c X~S{U~TUU X, U, S, U c (X{U|S)~UUU X, U, S, W c X~U{S{WUU X, U, S, X c (X{X)~S|UUU X, U, T, R c (X{T|R)~UUU X, U, T, S c X~S{U~TUU X, U, T, V c X~U{T{VUU X, U, T, X c (X{U)~T|XUU X, U, U, P c (X{P)~U{UUU X, U, U, Q c X~U{U~QUU X, U, U, R c (X{UR)~UUU X, U, U, S c (X{U|S)~UUU X, U, U, U c X~U{U{UUU X, U, U, W c (X|U{W)~UUU X, U, V, P c X~(V{P)|UUU X, U, V, Q c X~V{UQUU X, U, V, R c (X{U{V)~RUU X, U, V, T c X~U{V{TUU X, U, V, X c X|U{V~XUU X, U, W, O c X~W|U{OUU X, U, W, P c X~W|U~PUU X, U, W, Q c X~Q{U~WUU X, U, W, R c (XR{W)~UUU X, U, W, S c X~U{W{SUU X, U, W, U c (X|U{W)~UUU X, U, W, W c (X|UW)~WUU X, U, W, X c X{U~W{XUU X, U, X, P c X~(X|P)|UUU X, U, X, R c X{U~X{RUU X, U, X, S c (X{X)~S|UUU X, U, X, T c (X{U)~T|XUU X, U, X, V c X|U{X~VUU X, U, X, W c X{U~W{XUU X, U, X, X c (X~X)|(U{X)UU X, V, O, R c X~V{O{RUU X, V, P, Q c X~V{P{QUU X, V, P, R c X~V{P~RUU X, V, P, S c X~V|P{SUU X, V, P, U c X~(V{P)|UUU X, V, P, W c X{V~W{PUU X, V, Q, P c X~V{Q{PUU X, V, Q, S c (X{V)~S{QUU X, V, Q, T c X~V|Q{TUU X, V, Q, U c X~(V{QU)UU X, V, R, O c X~V{R{OUU X, V, R, P c X~V{R~PUU X, V, R, S c (X|R)~(V{S)UU X, V, R, T c X~(VR{T)UU X, V, R, U c X~V|R{UUU X, V, R, V c (X{RV)~VUU X, V, R, X c X~(V{RX)UU X, V, S, P c X~V{S|PUU X, V, S, Q c (X{V)~S{QUU X, V, S, R c (X|R)~(V{S)UU X, V, S, V c X~V|S{VUU X, V, T, Q c X~V{T|QUU X, V, T, R c X~(VR{T)UU X, V, T, U c (X{V|T)~UUU X, V, T, W c X~V|T{WUU X, V, U, P c X~(V{P)|UUU X, V, U, Q c X~V{UQUU X, V, U, R c (X{V{U)~RUU X, V, U, T c (X{V|T)~UUU X, V, U, X c X~V|U{XUU X, V, V, R c (X{RV)~VUU X, V, V, S c X~V{V|SUU X, V, V, W c X{V~V{WUU X, V, W, P c X{V~W{PUU X, V, W, T c X~V{W|TUU X, V, W, V c X{V~V{WUU X, V, W, W c X|V{W~WUU X, V, W, X c (X~X)|(V{W)UU X, V, X, R c X~V{XRUU X, V, X, U c X{V~X|UUU X, V, X, W c (X~X)|(V{W)UU X, W, O, U c X~W{O|UUU X, W, P, Q c (X|P)~W{QUU X, W, P, R c X~(W|P){RUU X, W, P, T c (X~W)|(P{T)UU X, W, P, U c X~W|P~UUU X, W, P, V c X~W{P|VUU X, W, Q, P c (X|P)~W{QUU X, W, Q, Q c (X{Q)~(W|Q)UU X, W, Q, R c X~W|Q~RUU X, W, Q, S c (X~W)|(Q{S)UU X, W, Q, U c X~Q{W~UUU X, W, Q, W c X~W{Q|WUU X, W, R, P c X~(W|P){RUU X, W, R, Q c (X{W~R)~QUU X, W, R, R c (X~W)|(R{R)UU X, W, R, S c (X|RS)~WUU X, W, R, T c (X{W{T)~RUU X, W, R, U c (XR{W)~UUU X, W, R, X c X~W{R|XUU X, W, S, Q c (X{W)~S|QUU X, W, S, R c (X|RS)~WUU X, W, S, U c (X{WS)~UUU X, W, T, P c (X~W)|(T{P)UU X, W, T, R c (X{W{T)~RUU X, W, T, V c X~V{W|TUU X, W, U, O c X~W|U{OUU X, W, U, P c X~W|U~PUU X, W, U, Q c X~Q{W~UUU X, W, U, R c (XR{W)~UUU X, W, U, S c (X{WS)~UUU X, W, U, U c (X{W|U)~UUU X, W, U, W c (X|UW)~WUU X, W, U, X c X{W~U{XUU X, W, V, P c X{W~V{PUU X, W, V, T c X~V{W|TUU X, W, V, V c X{W{V~VUU X, W, V, W c X{W~W|VUU X, W, V, X c (X~X)|(W{V)UU X, W, W, Q c X~W|W{QUU X, W, W, U c (X|UW)~WUU X, W, W, V c X{W~W|VUU X, W, X, R c X~W|X{RUU X, W, X, U c X{W~U{XUU X, W, X, V c (X~X)|(W{V)UU X, X, P, U c X~(X|P)|UUU X, X, Q, R c X~(X|Q){RUU X, X, R, Q c X~(X|Q){RUU X, X, R, S c (X{X{S)~RUU X, X, R, T c X~X|R~TUU X, X, R, U c X{X~U{RUU X, X, R, V c X~(RX{V)UU X, X, R, W c X~W|X{RUU X, X, S, R c (X{X{S)~RUU X, X, S, U c (X{X)~S|UUU X, X, T, R c X~X|T~RUU X, X, T, U c (X{U)~T|XUU X, X, U, P c X~(X|P)|UUU X, X, U, R c X{X~U{RUU X, X, U, S c (X{X)~S|UUU X, X, U, T c (X{U)~T|XUU X, X, U, V c (X{X|V)~UUU X, X, U, W c X{X{U~WUU X, X, U, X c (X~X)|(U{X)UU X, X, V, R c X~V{XRUU X, X, V, U c (X{X|V)~UUU X, X, V, W c (X~X)|(V{W)UU X, X, W, R c X~W|X{RUU X, X, W, U c X{X{W~UUU X, X, W, V c (X~X)|(W{V)UU X, X, X, U c (X~X)|(X{U)UU