O, S, W, X c O{S{W~XVU O, S, X, W c O{S{X~WVU O, T, X, X c O{X~X|TVU O, W, S, X c O{W~X{SVU O, W, X, S c O{W~X{SVU O, X, S, W c O{X~W{SVU O, X, T, X c O{X~X|TVU O, X, W, S c O{X~W{SVU O, X, X, T c O{X~X|TVU P, Q, S, X c (P{Q~X)~SVU P, Q, V, X c (Q{X)~V|PVU P, Q, W, X c (PQ{X)~WVU P, Q, X, S c (P{Q~X)~SVU P, Q, X, V c (Q{X)~V|PVU P, Q, X, W c (PQ{X)~WVU P, R, S, U c (P{R~U)~SVU P, R, T, T c P{R~T~TVU P, R, U, S c (P{R~U)~SVU P, R, V, W c (R{W)~V|PVU P, R, W, V c (R{W)~V|PVU P, R, W, X c P{R{W~XVU P, R, X, W c P{R{X~WVU P, S, Q, X c (P{Q~X)~SVU P, S, R, U c (P{R~U)~SVU P, S, S, T c S~(S~T|P)VU P, S, T, S c (S~T|P)~SVU P, S, U, R c (P{U~R)~SVU P, S, V, V c (S{V)~V|PVU P, S, V, X c (P{V)~X{SVU P, S, W, W c (P{W)~W{SVU P, S, W, X c P~S{W~XVU P, S, X, Q c (P{X~Q)~SVU P, S, X, V c (P{V)~X{SVU P, S, X, W c P~S{X~WVU P, S, X, X c (P{X{X)~SVU P, T, R, T c P{T~R~TVU P, T, S, S c (T~S|P)~SVU P, T, T, R c P{T~T~RVU P, T, U, V c (T{U)~V|PVU P, T, U, X c P{T~(U{X)VU P, T, V, U c (T{U)~V|PVU P, T, V, W c P{T~(V{W)VU P, T, W, V c P{T~(W{V)VU P, T, W, X c (P{W)~X|TVU P, T, X, U c P{T~(X{U)VU P, T, X, W c (P{W)~X|TVU P, T, X, X c P~X~X|TVU P, U, R, S c (P{U~R)~SVU P, U, S, R c (P{U~R)~SVU P, U, T, V c (U{T)~V|PVU P, U, T, X c P{(U{X)~TVU P, U, V, T c (U{T)~V|PVU P, U, V, X c (P{X)~V{UVU P, U, X, T c P{(U{X)~TVU P, U, X, V c (P{X)~V{UVU P, U, X, X c P{X~X|UVU P, V, Q, X c V~(Q{X)|PVU P, V, R, W c V~(R{W)|PVU P, V, S, V c (V{S)~V|PVU P, V, S, X c (P{V)~X{SVU P, V, T, U c V~(T{U)|PVU P, V, T, W c P{(V{W)~TVU P, V, U, T c V~(U{T)|PVU P, V, U, X c (P{X)~V{UVU P, V, V, S c V~(V{S)|PVU P, V, W, R c V~(W{R)|PVU P, V, W, T c P{(V{W)~TVU P, V, X, Q c V~(X{Q)|PVU P, V, X, S c (P{V)~X{SVU P, V, X, U c (P{X)~V{UVU P, W, Q, X c (PQ{X)~WVU P, W, R, V c (W{R)~V|PVU P, W, R, X c P{W~X{RVU P, W, S, W c (P{W)~W{SVU P, W, S, X c P~W~X{SVU P, W, T, V c P{(W{V)~TVU P, W, T, X c (P{W)~X|TVU P, W, V, R c (W{R)~V|PVU P, W, V, T c P{(W{V)~TVU P, W, W, S c (P{W)~W{SVU P, W, X, Q c (PQ{X)~WVU P, W, X, R c P{W~X{RVU P, W, X, S c P~W~X{SVU P, W, X, T c (P{W)~X|TVU P, X, Q, S c (P{X~Q)~SVU P, X, Q, V c (X{Q)~V|PVU P, X, Q, W c (PQ{X)~WVU P, X, R, W c P{X~W{RVU P, X, S, Q c (P{X~Q)~SVU P, X, S, V c (P{V)~X{SVU P, X, S, W c (P{X)~W|SVU P, X, S, X c (P{X{X)~SVU P, X, T, U c P{(X{U)~TVU P, X, T, W c (P{W)~X|TVU P, X, T, X c P~X~X|TVU P, X, U, T c P{(X{U)~TVU P, X, U, V c (P{X)~V{UVU P, X, U, X c P{X~X|UVU P, X, V, Q c (X{Q)~V|PVU P, X, V, S c (P{V)~X{SVU P, X, V, U c (P{X)~V{UVU P, X, W, Q c (PQ{X)~WVU P, X, W, R c P{X~W{RVU P, X, W, S c (P{X)~W|SVU P, X, W, T c (P{W)~X|TVU P, X, X, S c (P{X{X)~SVU P, X, X, T c P~X~X|TVU P, X, X, U c P{X~X|UVU Q, P, S, X c (Q~X{P)~SVU Q, P, V, X c (Q{X)~V|PVU Q, P, W, X c (PQ{X)~WVU Q, P, X, S c (Q~X{P)~SVU Q, P, X, V c (Q{X)~V|PVU Q, P, X, W c (PQ{X)~WVU Q, Q, S, X c Q~(Q{S~X)VU Q, Q, T, W c Q~(T~W|Q)VU Q, Q, U, U c Q~(Q{U~U)VU Q, Q, W, T c Q~(W~T|Q)VU Q, Q, W, X c Q{Q{W~XVU Q, Q, X, S c Q~(Q{X~S)VU Q, Q, X, W c Q{Q{X~WVU Q, R, S, V c (R~V|Q)~SVU Q, R, S, W c (Q~W{R)~SVU Q, R, T, V c Q~(R{T~V)VU Q, R, V, S c (R~V|Q)~SVU Q, R, V, T c Q~(R{V~T)VU Q, R, W, S c (Q~W{R)~SVU Q, R, W, W c (RQ{W)~WVU Q, R, X, X c (X~X)|(Q{R)VU Q, S, P, X c (Q~X{P)~SVU Q, S, Q, X c (Q{S~X)~QVU Q, S, R, V c S~(R~V|Q)VU Q, S, R, W c (Q~W{R)~SVU Q, S, S, X c Q~S~X{SVU Q, S, T, V c (Q~V{T)~SVU Q, S, T, W c Q~T~W|SVU Q, S, T, X c (Q~T{X)~SVU Q, S, U, U c Q~U~U{SVU Q, S, U, V c (Q~U{V)~SVU Q, S, U, W c Q~(S~W{U)VU Q, S, U, X c (Q{U)~X{SVU Q, S, V, R c S~(V~R|Q)VU Q, S, V, T c (Q~V{T)~SVU Q, S, V, U c Q~(V~U|S)VU Q, S, V, W c (Q{V)~W{SVU Q, S, W, R c (Q~W{R)~SVU Q, S, W, T c Q~W~T|SVU Q, S, W, U c Q~(S~W{U)VU Q, S, W, V c (Q{V)~W{SVU Q, S, W, W c (Q{W)~W|SVU Q, S, W, X c (QS{X)~WVU Q, S, X, P c (Q~X{P)~SVU Q, S, X, Q c (Q{S~X)~QVU Q, S, X, S c Q~S~X{SVU Q, S, X, T c (Q~T{X)~SVU Q, S, X, U c (Q{U)~X{SVU Q, S, X, W c (QS{X)~WVU Q, T, Q, W c Q~(T~W|Q)VU Q, T, R, V c Q~(T~V{R)VU Q, T, S, V c (Q~V{T)~SVU Q, T, S, W c Q~T~W|SVU Q, T, S, X c (Q~T{X)~SVU Q, T, U, V c Q~T~V{UVU Q, T, U, W c Q~(T~U{W)VU Q, T, V, R c Q~(T~V{R)VU Q, T, V, S c (Q~V{T)~SVU Q, T, V, U c Q~T~V{UVU Q, T, V, W c (TQ{V)~WVU Q, T, V, X c Q~(T~X|V)VU Q, T, W, Q c Q~(T~W|Q)VU Q, T, W, S c Q~T~W|SVU Q, T, W, U c Q~(T~U{W)VU Q, T, W, V c (TQ{V)~WVU Q, T, W, X c (T{XQ)~WVU Q, T, X, S c (Q~T{X)~SVU Q, T, X, V c Q~(T~X|V)VU Q, T, X, W c (T{XQ)~WVU Q, U, Q, U c (Q{U~U)~QVU Q, U, S, U c Q~U~U{SVU Q, U, S, V c (Q~U{V)~SVU Q, U, S, W c Q~(U{S~W)VU Q, U, S, X c (Q{U)~X{SVU Q, U, T, V c Q~T~V{UVU Q, U, T, W c Q~(U~T{W)VU Q, U, U, Q c (Q{U~U)~QVU Q, U, U, S c Q~U~U{SVU Q, U, U, V c U~(U{V)|QVU Q, U, V, S c (Q~U{V)~SVU Q, U, V, T c Q~V~T{UVU Q, U, V, U c (U{V)~U|QVU Q, U, V, W c Q~U~V|WVU Q, U, W, S c Q~(U{W~S)VU Q, U, W, T c Q~(U~T{W)VU Q, U, W, V c Q~U~V|WVU Q, U, W, W c Q~U{W~WVU Q, U, W, X c U|Q{W~XVU Q, U, X, S c (Q{U)~X{SVU Q, U, X, W c U|Q{X~WVU Q, V, P, X c (Q{X)~V|PVU Q, V, R, S c (V~R|Q)~SVU Q, V, R, T c Q~(V~T{R)VU Q, V, S, R c (V~R|Q)~SVU Q, V, S, T c (Q~V{T)~SVU Q, V, S, U c Q~(V~U|S)VU Q, V, S, W c (Q{V)~W{SVU Q, V, T, R c Q~(V~T{R)VU Q, V, T, S c (Q~V{T)~SVU Q, V, T, U c Q~V~T{UVU Q, V, T, W c (V{TQ)~WVU Q, V, T, X c (Q{V)~X|TVU Q, V, U, S c Q~(V~U|S)VU Q, V, U, T c Q~V~T{UVU Q, V, U, U c (V{U)~U|QVU Q, V, U, W c Q~V~U|WVU Q, V, W, S c (Q{V)~W{SVU Q, V, W, T c (V{TQ)~WVU Q, V, W, U c Q~V~U|WVU Q, V, X, P c (Q{X)~V|PVU Q, V, X, T c (Q{V)~X|TVU Q, V, X, X c Q{X~X|VVU Q, W, P, X c W~(PQ{X)VU Q, W, Q, T c Q~(W~T|Q)VU Q, W, Q, X c Q{W~X{QVU Q, W, R, S c (Q~W{R)~SVU Q, W, R, W c (W{RQ)~WVU Q, W, S, R c (Q~W{R)~SVU Q, W, S, T c Q~W~T|SVU Q, W, S, U c Q~(W~S{U)VU Q, W, S, V c (Q{V)~W{SVU Q, W, S, W c (Q{W)~W|SVU Q, W, S, X c (Q{W{X)~SVU Q, W, T, Q c Q~(W~T|Q)VU Q, W, T, S c Q~W~T|SVU Q, W, T, U c Q~(W{T~U)VU Q, W, T, V c W~(TQ{V)VU Q, W, T, X c W~(T{XQ)VU Q, W, U, S c Q~(W~S{U)VU Q, W, U, T c Q~(W{U~T)VU Q, W, U, V c (Q{W)~V{UVU Q, W, U, W c Q~U{W~WVU Q, W, U, X c W~X|Q{UVU Q, W, V, S c (Q{V)~W{SVU Q, W, V, T c W~(V{TQ)VU Q, W, V, U c (Q{W)~V{UVU Q, W, W, R c W~(W{RQ)VU Q, W, W, S c (Q{W)~W|SVU Q, W, W, U c Q~U{W~WVU Q, W, W, X c WQ{W~XVU Q, W, X, P c W~(X{PQ)VU Q, W, X, Q c Q{W~X{QVU Q, W, X, S c (Q{W{X)~SVU Q, W, X, T c W~(XQ{T)VU Q, W, X, U c W~X|Q{UVU Q, W, X, W c WQ{X~WVU Q, X, P, S c (Q~X{P)~SVU Q, X, P, V c (Q{X)~V|PVU Q, X, P, W c (X{PQ)~WVU Q, X, Q, S c (Q{X~S)~QVU Q, X, Q, W c Q{X~W{QVU Q, X, R, X c (X~X)|(Q{R)VU Q, X, S, P c (Q~X{P)~SVU Q, X, S, Q c (Q{X~S)~QVU Q, X, S, S c Q~X~S{SVU Q, X, S, T c (Q~T{X)~SVU Q, X, S, U c (Q{U)~X{SVU Q, X, S, W c (Q{X{W)~SVU Q, X, T, S c (Q~T{X)~SVU Q, X, T, V c Q~(X~T|V)VU Q, X, T, W c (XQ{T)~WVU Q, X, U, S c (Q{U)~X{SVU Q, X, U, W c X~W|Q{UVU Q, X, V, P c (Q{X)~V|PVU Q, X, V, T c Q~(X~T|V)VU Q, X, V, X c Q{X~X|VVU Q, X, W, P c (X{PQ)~WVU Q, X, W, Q c Q{X~W{QVU Q, X, W, S c (Q{X{W)~SVU Q, X, W, T c (XQ{T)~WVU Q, X, W, U c X~W|Q{UVU Q, X, W, W c X~W{WQVU Q, X, X, R c (X~X)|(Q{R)VU Q, X, X, V c Q{X~X|VVU R, P, S, U c (R~U{P)~SVU R, P, T, T c R~T~T{PVU R, P, U, S c (R~U{P)~SVU R, P, V, W c (R{W)~V|PVU R, P, W, V c (R{W)~V|PVU R, P, W, X c R{P{W~XVU R, P, X, W c R{P{X~WVU R, Q, S, V c (R~V|Q)~SVU R, Q, S, W c (R{Q~W)~SVU R, Q, T, V c (R{T~V)~QVU R, Q, V, S c (R~V|Q)~SVU R, Q, V, T c (R{V~T)~QVU R, Q, W, S c (R{Q~W)~SVU R, Q, W, W c (RQ{W)~WVU R, Q, X, X c (X~X)|(R{Q)VU R, R, S, W c R~R~W{SVU R, R, T, X c R~R~X|TVU R, R, W, S c R~R~W{SVU R, R, X, T c R~R~X|TVU R, S, P, U c (R~U{P)~SVU R, S, Q, V c (R~V|Q)~SVU R, S, Q, W c (R{Q~W)~SVU R, S, R, W c R~R~W{SVU R, S, S, S c (R{S~S)~SVU R, S, S, T c (R~T{S)~SVU R, S, S, U c R~S~U{SVU R, S, S, V c (R~S{V)~SVU R, S, T, S c (R~T{S)~SVU R, S, T, W c (R~W|T)~SVU R, S, T, X c (R{T)~X{SVU R, S, U, P c (R~U{P)~SVU R, S, U, S c R~S~U{SVU R, S, U, W c (R{U)~W{SVU R, S, U, X c (R{X)~U{SVU R, S, V, Q c (R~V|Q)~SVU R, S, V, S c (R~S{V)~SVU R, S, V, W c R~S~V|WVU R, S, V, X c (R{V{X)~SVU R, S, W, Q c (R{W~Q)~SVU R, S, W, R c R~W~R{SVU R, S, W, T c (R~W|T)~SVU R, S, W, U c (R{U)~W{SVU R, S, W, V c R~S~V|WVU R, S, W, W c R~S{W~WVU R, S, W, X c (R~X|W)~SVU R, S, X, T c (R{T)~X{SVU R, S, X, U c (R{X)~U{SVU R, S, X, V c (R{X{V)~SVU R, S, X, W c (R~X|W)~SVU R, T, P, T c R~T~T{PVU R, T, Q, V c (R{T~V)~QVU R, T, R, X c R~R~X|TVU R, T, S, S c (R~T{S)~SVU R, T, S, W c (R~W|T)~SVU R, T, S, X c (R{T)~X{SVU R, T, T, P c R~T~T{PVU R, T, U, X c (R{U)~X|TVU R, T, V, Q c (R{T~V)~QVU R, T, W, S c (R~W|T)~SVU R, T, X, R c R~X~R|TVU R, T, X, S c (R{T)~X{SVU R, T, X, U c (R{U)~X|TVU R, U, P, S c (R~U{P)~SVU R, U, S, P c (R~U{P)~SVU R, U, S, S c R~U~S{SVU R, U, S, W c (R{U)~W{SVU R, U, S, X c (R{X)~U{SVU R, U, T, X c (R{U)~X|TVU R, U, V, V c (R{V)~V{UVU R, U, W, S c (R{U)~W{SVU R, U, W, X c (RU{X)~WVU R, U, X, S c (R{X)~U{SVU R, U, X, T c (R{U)~X|TVU R, U, X, W c (RU{X)~WVU R, V, P, W c (R{W)~V|PVU R, V, Q, S c (R~V|Q)~SVU R, V, Q, T c (R{V~T)~QVU R, V, S, Q c (R~V|Q)~SVU R, V, S, S c (R~S{V)~SVU R, V, S, W c R~V~S|WVU R, V, S, X c (R{V{X)~SVU R, V, T, Q c (R{V~T)~QVU R, V, U, V c (R{V)~V{UVU R, V, V, U c (R{V)~V{UVU R, V, V, X c R~X{V~VVU R, V, W, P c (R{W)~V|PVU R, V, W, S c (R{V)~W|SVU R, V, W, X c (R{X)~V|WVU R, V, X, S c (R{V{X)~SVU R, V, X, V c R~X{V~VVU R, V, X, W c (R{X)~V|WVU R, W, P, V c (R{W)~V|PVU R, W, P, X c R{W~X{PVU R, W, Q, S c (R{W~Q)~SVU R, W, Q, W c (RQ{W)~WVU R, W, R, S c R~W~R{SVU R, W, S, Q c (R{W~Q)~SVU R, W, S, R c R~W~R{SVU R, W, S, T c (R~W|T)~SVU R, W, S, U c (R{U)~W{SVU R, W, S, V c R~S~V|WVU R, W, S, W c (R{W{W)~SVU R, W, S, X c (R~X|W)~SVU R, W, T, S c (R~W|T)~SVU R, W, U, S c (R{U)~W{SVU R, W, U, X c (RU{X)~WVU R, W, V, P c (R{W)~V|PVU R, W, V, S c (R{V)~W|SVU R, W, V, X c (R{X)~V|WVU R, W, W, Q c (RQ{W)~WVU R, W, W, S c (R{W{W)~SVU R, W, W, X c R{W~W{XVU R, W, X, P c R{W~X{PVU R, W, X, S c (R~X|W)~SVU R, W, X, U c (RU{X)~WVU R, W, X, V c (R{X)~V|WVU R, W, X, W c R{W~W{XVU R, W, X, X c R{X~X|WVU R, X, P, W c R{X~W{PVU R, X, Q, X c (X~X)|(R{Q)VU R, X, R, T c R~X~R|TVU R, X, S, T c (R{T)~X{SVU R, X, S, U c (R{X)~U{SVU R, X, S, V c (R{X{V)~SVU R, X, S, W c (R~X|W)~SVU R, X, T, R c R~X~R|TVU R, X, T, S c (R{T)~X{SVU R, X, T, U c (R{U)~X|TVU R, X, U, S c (R{X)~U{SVU R, X, U, T c (R{U)~X|TVU R, X, U, W c (RU{X)~WVU R, X, V, S c (R{X{V)~SVU R, X, V, V c R~X{V~VVU R, X, V, W c (R{X)~V|WVU R, X, W, P c R{X~W{PVU R, X, W, S c (R~X|W)~SVU R, X, W, U c (RU{X)~WVU R, X, W, V c (R{X)~V|WVU R, X, W, W c R{X{W~WVU R, X, W, X c R{X~X|WVU R, X, X, Q c (X~X)|(R{Q)VU R, X, X, W c R{X~X|WVU S, O, W, X c S{O{W~XVU S, O, X, W c S{O{X~WVU S, P, Q, X c S~(P{Q~X)VU S, P, R, U c S~(P{R~U)VU S, P, S, T c S~(S~T|P)VU S, P, T, S c (S~T|P)~SVU S, P, U, R c S~(P{U~R)VU S, P, V, V c (S{V)~V|PVU S, P, V, X c S{(P{V)~XVU S, P, W, W c S{(P{W)~WVU S, P, W, X c S{P~W~XVU S, P, X, Q c S~(P{X~Q)VU S, P, X, V c S{(P{V)~XVU S, P, X, W c S{P~X~WVU S, P, X, X c S~(P{X{X)VU S, Q, P, X c S~(Q~X{P)VU S, Q, Q, X c (S~X{Q)~QVU S, Q, R, V c S~(R~V|Q)VU S, Q, R, W c S~(Q~W{R)VU S, Q, S, X c S{Q~S~XVU S, Q, T, V c S~(Q~V{T)VU S, Q, T, W c Q~T~W|SVU S, Q, T, X c S~(Q~T{X)VU S, Q, U, U c S{Q~U~UVU S, Q, U, V c S~(Q~U{V)VU S, Q, U, W c (S~W{U)~QVU S, Q, U, X c S{(Q{U)~XVU S, Q, V, R c S~(V~R|Q)VU S, Q, V, T c S~(Q~V{T)VU S, Q, V, U c S~(Q~U{V)VU S, Q, V, W c S{(Q{V)~WVU S, Q, W, R c S~(Q~W{R)VU S, Q, W, T c Q~W~T|SVU S, Q, W, U c (S~W{U)~QVU S, Q, W, V c S{(Q{V)~WVU S, Q, W, W c (Q{W)~W|SVU S, Q, W, X c S~(Q{W{X)VU S, Q, X, P c S~(Q~X{P)VU S, Q, X, Q c (S~X{Q)~QVU S, Q, X, S c S{Q~X~SVU S, Q, X, T c S~(Q~T{X)VU S, Q, X, U c S{(Q{U)~XVU S, Q, X, W c S~(Q{X{W)VU S, R, P, U c S~(R~U{P)VU S, R, Q, V c S~(R~V|Q)VU S, R, Q, W c S~(R{Q~W)VU S, R, R, W c S{R~R~WVU S, R, S, S c S~(R{S~S)VU S, R, S, T c (S{R~T)~SVU S, R, S, U c S{R~S~UVU S, R, S, V c S~(R~S{V)VU S, R, T, S c (S{R~T)~SVU S, R, T, W c S~(R~W|T)VU S, R, T, X c S{(R{T)~XVU S, R, U, P c S~(R~U{P)VU S, R, U, S c S{R~U~SVU S, R, U, W c S{(R{U)~WVU S, R, U, X c S{(R{X)~UVU S, R, V, Q c S~(R~V|Q)VU S, R, V, S c (S~R{V)~SVU S, R, V, W c S~R~V|WVU S, R, V, X c S~(R{V{X)VU S, R, W, Q c S~(R{W~Q)VU S, R, W, R c S{R~W~RVU S, R, W, T c S~(R~W|T)VU S, R, W, U c S{(R{U)~WVU S, R, W, V c S~R~V|WVU S, R, W, W c S~(R{W{W)VU S, R, W, X c S~(R~X|W)VU S, R, X, T c S{(R{T)~XVU S, R, X, U c S{(R{X)~UVU S, R, X, V c S~(R{X{V)VU S, R, X, W c S~(R~X|W)VU S, S, P, T c S~(S~T|P)VU S, S, Q, X c S{S~Q~XVU S, S, R, S c (S~S{R)~SVU S, S, R, T c S~(S{R~T)VU S, S, R, U c S{S~R~UVU S, S, R, V c S~(S~R{V)VU S, S, S, R c S~(S~S{R)VU S, S, S, T c S~S~T|SVU S, S, S, X c S{(S{S)~XVU S, S, T, P c S~(S~T|P)VU S, S, T, R c S~(S{T~R)VU S, S, T, S c S~S~T|SVU S, S, T, U c S~(S~U|T)VU S, S, T, W c S{(S{T)~WVU S, S, U, R c S{S~U~RVU S, S, U, T c S~(S~U|T)VU S, S, U, W c S{(S{W)~UVU S, S, U, X c S~(S{U{X)VU S, S, V, R c S~(S~R{V)VU S, S, V, W c S~(S{V{W)VU S, S, V, X c S~(S~V|X)VU S, S, W, T c S{(S{T)~WVU S, S, W, U c S{(S{W)~UVU S, S, W, V c S~(S{W{V)VU S, S, X, Q c S{S~X~QVU S, S, X, S c (S{S)~X{SVU S, S, X, U c S~(S{X{U)VU S, S, X, V c S~(S~V|X)VU S, S, X, X c S{S~(X{X)VU S, T, P, S c (S~T|P)~SVU S, T, Q, V c S~(T{Q~V)VU S, T, Q, W c T~Q~W|SVU S, T, Q, X c S~(T~Q{X)VU S, T, R, S c (S{T~R)~SVU S, T, R, W c S~(R~W|T)VU S, T, R, X c S{(T{R)~XVU S, T, S, P c S~(T~S|P)VU S, T, S, R c (S{T~R)~SVU S, T, S, S c S~T~S|SVU S, T, S, U c S~(S~U|T)VU S, T, S, W c S{(T{S)~WVU S, T, T, U c S~(T~T|U)VU S, T, T, W c (T{T)~W|SVU S, T, T, X c S~(T{T{X)VU S, T, U, S c (S~U|T)~SVU S, T, U, T c S~(T~T|U)VU S, T, U, V c S{(T{V)~UVU S, T, U, W c S~(T{U{W)VU S, T, V, Q c S~(T{V~Q)VU S, T, V, U c S{(T{V)~UVU S, T, V, V c S~(T{V{V)VU S, T, V, W c S~T{V~WVU S, T, V, X c T~(V{X)|SVU S, T, W, Q c T~W~Q|SVU S, T, W, R c S~(W~R|T)VU S, T, W, S c (S{T)~W{SVU S, T, W, T c (T{T)~W|SVU S, T, W, U c S~(T{W{U)VU S, T, W, V c S~T{W~VVU S, T, W, W c T~(W{W)|SVU S, T, W, X c S~X{T~WVU S, T, X, Q c S~(T~Q{X)VU S, T, X, R c S{(T{R)~XVU S, T, X, T c (S{T)~X|TVU S, T, X, V c T~(X{V)|SVU S, T, X, W c S~X{T~WVU S, U, P, R c S~(U~R{P)VU S, U, Q, U c S{U~Q~UVU S, U, Q, V c S~(U~Q{V)VU S, U, Q, W c (S~W{U)~QVU S, U, Q, X c S{(U{Q)~XVU S, U, R, P c S~(U~R{P)VU S, U, R, S c S{U~R~SVU S, U, R, W c S{(U{R)~WVU S, U, R, X c S{U~(R{X)VU S, U, S, R c S{U~S~RVU S, U, S, T c S~(U~S|T)VU S, U, S, W c S{U~(S{W)VU S, U, S, X c S~(U{S{X)VU S, U, T, S c (S~U|T)~SVU S, U, T, T c S~(T~T|U)VU S, U, T, V c S{U~(T{V)VU S, U, T, W c S~(U{T{W)VU S, U, U, Q c S{U~U~QVU S, U, U, U c S{(U{U)~UVU S, U, U, V c S~(U{U{V)VU S, U, V, Q c S~(U~Q{V)VU S, U, V, T c S{U~(V{T)VU S, U, V, U c (S{U)~V{UVU S, U, V, W c S~V{U~WVU S, U, W, Q c (S~W{U)~QVU S, U, W, R c S{(U{R)~WVU S, U, W, S c S{U~(W{S)VU S, U, W, T c S~(U{W{T)VU S, U, W, V c S~V{U~WVU S, U, W, W c (US{W)~WVU S, U, X, Q c S{(U{Q)~XVU S, U, X, R c S{U~(X{R)VU S, U, X, S c (S{U{X)~SVU S, V, P, V c (S{V)~V|PVU S, V, P, X c S{(V{P)~XVU S, V, Q, R c S~(V~R|Q)VU S, V, Q, T c S~(V~Q{T)VU S, V, Q, U c S~(V{Q~U)VU S, V, Q, W c S{(V{Q)~WVU S, V, R, Q c S~(V~R|Q)VU S, V, R, S c S~(V{R~S)VU S, V, R, W c S~V~R|WVU S, V, R, X c S~(V{R{X)VU S, V, S, R c S~(V{S~R)VU S, V, S, W c S~(V{S{W)VU S, V, S, X c S~(V~S|X)VU S, V, T, Q c S~(V~Q{T)VU S, V, T, U c S{(V{T)~UVU S, V, T, V c S~(V{T{V)VU S, V, T, W c S~T{V~WVU S, V, T, X c (V{X)~T|SVU S, V, U, Q c S~(V{U~Q)VU S, V, U, T c S{(V{T)~UVU S, V, U, U c S~(V{U{U)VU S, V, U, W c S~V{U~WVU S, V, V, P c (S{V)~V|PVU S, V, V, T c S~(V{V{T)VU S, V, W, Q c S{(V{Q)~WVU S, V, W, R c S~V~R|WVU S, V, W, S c (S{V{W)~SVU S, V, W, T c S~T{V~WVU S, V, W, U c S~V{W~UVU S, V, W, W c (S{W)~V|WVU S, V, X, P c S{(V{P)~XVU S, V, X, R c S~(V{X{R)VU S, V, X, S c (S~V|X)~SVU S, V, X, T c (V{X)~T|SVU S, V, X, X c S{V~X{XVU S, W, O, X c S{(W{O)~XVU S, W, P, W c S{(W{P)~WVU S, W, P, X c S{W~P~XVU S, W, Q, R c S~(W~Q{R)VU S, W, Q, T c W~Q~T|SVU S, W, Q, U c (S~W{U)~QVU S, W, Q, V c S{W~(Q{V)VU S, W, Q, W c (W{Q)~W|SVU S, W, Q, X c S~(W{Q{X)VU S, W, R, Q c S~(W~Q{R)VU S, W, R, R c S{W~R~RVU S, W, R, T c S~(W~R|T)VU S, W, R, U c S{W~(R{U)VU S, W, R, V c S~R~V|WVU S, W, R, W c S~(W{R{W)VU S, W, R, X c S~(R~X|W)VU S, W, S, T c S{W~(S{T)VU S, W, S, U c S{(W{S)~UVU S, W, S, V c S~(W{S{V)VU S, W, T, Q c W~T~Q|SVU S, W, T, R c S~(W~R|T)VU S, W, T, S c S{W~(T{S)VU S, W, T, T c W~(T{T)|SVU S, W, T, U c S~(W{T{U)VU S, W, T, V c S~T{W~VVU S, W, T, W c (W{W)~T|SVU S, W, T, X c S~X{W~TVU S, W, U, Q c (S~W{U)~QVU S, W, U, R c S{W~(U{R)VU S, W, U, S c (S{W)~U{SVU S, W, U, T c S~(W{U{T)VU S, W, U, V c S~V{W~UVU S, W, U, W c (W{US)~WVU S, W, V, Q c S{W~(V{Q)VU S, W, V, R c S~V~R|WVU S, W, V, S c (S{W{V)~SVU S, W, V, T c S~T{W~VVU S, W, V, U c S~V{W~UVU S, W, V, W c (S{W)~V|WVU S, W, W, P c S{W~(W{P)VU S, W, W, Q c W~(W{Q)|SVU S, W, W, R c S~(W{W{R)VU S, W, W, T c (W{W)~T|SVU S, W, W, U c W~(W{US)VU S, W, W, V c (S{W)~V|WVU S, W, W, W c S{W{W~WVU S, W, W, X c S~(W{X){WVU S, W, X, O c S{W~X{OVU S, W, X, P c S{W~X~PVU S, W, X, Q c S~(W{X{Q)VU S, W, X, R c S~(X~R|W)VU S, W, X, T c S~X{W~TVU S, W, X, W c S~(W{X){WVU S, W, X, X c (SX{W)~XVU S, X, O, W c S{(X{O)~WVU S, X, P, Q c S~(X~Q{P)VU S, X, P, V c S{X~(P{V)VU S, X, P, W c S{X~P~WVU S, X, P, X c S{(X|P)~XVU S, X, Q, P c S~(X~Q{P)VU S, X, Q, Q c (S~X{Q)~QVU S, X, Q, S c S{X~Q~SVU S, X, Q, T c S~(X{Q~T)VU S, X, Q, U c S{X~(Q{U)VU S, X, Q, W c S~(X{Q{W)VU S, X, R, T c S{X~(R{T)VU S, X, R, U c S{(X{R)~UVU S, X, R, V c S~(X{R{V)VU S, X, R, W c S~(X~R|W)VU S, X, S, Q c S{X~S~QVU S, X, S, S c S{X~(S{S)VU S, X, S, U c S~(X{S{U)VU S, X, S, V c S~(S~V|X)VU S, X, S, X c S{(X{X)~SVU S, X, T, Q c S~(X{T~Q)VU S, X, T, R c S{X~(T{R)VU S, X, T, T c S~(X{T{T)VU S, X, T, V c (X{V)~T|SVU S, X, T, W c S~X{T~WVU S, X, U, Q c S{X~(U{Q)VU S, X, U, R c S{(X{R)~UVU S, X, U, S c (S{X{U)~SVU S, X, V, P c S{X~(V{P)VU S, X, V, R c S~(X{V{R)VU S, X, V, S c (S~V|X)~SVU S, X, V, T c (X{V)~T|SVU S, X, V, X c S{X{V~XVU S, X, W, O c S{X~W{OVU S, X, W, P c S{X~W~PVU S, X, W, Q c S~(X{W{Q)VU S, X, W, R c S~(X~R|W)VU S, X, W, T c S~X{W~TVU S, X, W, W c S~(X{W){WVU S, X, W, X c (SX{W)~XVU S, X, X, P c S{X~(X|P)VU S, X, X, S c S{(X{X)~SVU S, X, X, V c S{X{X~VVU S, X, X, W c (SX{W)~XVU S, X, X, X c S{X~X|XVU T, O, X, X c O{X~X|TVU T, P, R, T c T~R~T{PVU T, P, S, S c (T~S|P)~SVU T, P, T, R c T~T~R{PVU T, P, U, V c (T{U)~V|PVU T, P, U, X c T~(U{X){PVU T, P, V, U c (T{U)~V|PVU T, P, V, W c T~(V{W){PVU T, P, W, V c T~(W{V){PVU T, P, W, X c T|P{W~XVU T, P, X, U c T~(X{U){PVU T, P, X, W c T|P{X~WVU T, P, X, X c P~X~X|TVU T, Q, Q, W c (T~W|Q)~QVU T, Q, R, V c (T~V{R)~QVU T, Q, S, V c (T{Q~V)~SVU T, Q, S, W c T~Q~W|SVU T, Q, S, X c (T~Q{X)~SVU T, Q, U, V c T~Q~V{UVU T, Q, U, W c (T~U{W)~QVU T, Q, V, R c (T~V{R)~QVU T, Q, V, S c (T{Q~V)~SVU T, Q, V, U c T~Q~V{UVU T, Q, V, W c (TQ{V)~WVU T, Q, V, X c (T~X|V)~QVU T, Q, W, Q c (T~W|Q)~QVU T, Q, W, S c T~Q~W|SVU T, Q, W, U c (T{W)~U|QVU T, Q, W, V c (TQ{V)~WVU T, Q, W, X c (T{XQ)~WVU T, Q, X, S c (T~Q{X)~SVU T, Q, X, V c (T~X|V)~QVU T, Q, X, W c (T{XQ)~WVU T, R, P, T c T~R~T{PVU T, R, Q, V c (T~V{R)~QVU T, R, R, X c R~R~X|TVU T, R, S, S c (T~R{S)~SVU T, R, S, W c (R~W|T)~SVU T, R, S, X c (T{R)~X{SVU T, R, T, P c T~R~T{PVU T, R, U, X c (R{U)~X|TVU T, R, V, Q c (T~V{R)~QVU T, R, W, S c (R~W|T)~SVU T, R, X, R c R~X~R|TVU T, R, X, S c (T{R)~X{SVU T, R, X, U c (R{U)~X|TVU T, S, P, S c (T~S|P)~SVU T, S, Q, V c (T{Q~V)~SVU T, S, Q, W c T~Q~W|SVU T, S, Q, X c (T~Q{X)~SVU T, S, R, S c (T~R{S)~SVU T, S, R, W c S~(R~W|T)VU T, S, R, X c (T{R)~X{SVU T, S, S, P c (T~S|P)~SVU T, S, S, R c (T~R{S)~SVU T, S, S, S c T~S~S|SVU T, S, S, U c S~(S~U|T)VU T, S, S, W c (T{S)~W{SVU T, S, T, U c (T~T|U)~SVU T, S, T, W c (T{T)~W|SVU T, S, T, X c (T{S)~X|TVU T, S, U, S c (S~U|T)~SVU T, S, U, T c (T~T|U)~SVU T, S, U, V c (T{V)~U{SVU T, S, U, W c (T{U{W)~SVU T, S, V, Q c (T{V~Q)~SVU T, S, V, U c (T{V)~U{SVU T, S, V, V c (T{V{V)~SVU T, S, V, W c T~S{V~WVU T, S, V, X c T~(V{X)|SVU T, S, W, Q c T~W~Q|SVU T, S, W, R c S~(W~R|T)VU T, S, W, S c (T{S)~W{SVU T, S, W, T c (T{T)~W|SVU T, S, W, U c (T{W{U)~SVU T, S, W, V c T~S{W~VVU T, S, W, W c T~(W{W)|SVU T, S, W, X c T~W{S~XVU T, S, X, Q c (T~Q{X)~SVU T, S, X, R c (T{R)~X{SVU T, S, X, T c (T{S)~X|TVU T, S, X, V c T~(X{V)|SVU T, S, X, W c T~W{S~XVU T, T, P, R c T~T~R{PVU T, T, R, P c T~T~R{PVU T, T, S, U c (T~T|U)~SVU T, T, S, W c (T{T)~W|SVU T, T, S, X c (T{T{X)~SVU T, T, U, S c (T~T|U)~SVU T, T, U, V c (T{T)~V{UVU T, T, U, X c T~(T{X){UVU T, T, V, U c (T{T)~V{UVU T, T, W, S c (T{T)~W|SVU T, T, X, S c (T{T{X)~SVU T, T, X, U c T~(T{X){UVU T, U, P, V c (T{U)~V|PVU T, U, P, X c T~(U{X){PVU T, U, Q, V c T~Q~V{UVU T, U, Q, W c (T~U{W)~QVU T, U, R, X c (U{R)~X|TVU T, U, S, S c (U~S|T)~SVU T, U, S, T c (T~T|U)~SVU T, U, S, V c (T{V)~U{SVU T, U, S, W c (T{U{W)~SVU T, U, T, S c (T~T|U)~SVU T, U, T, V c (T{T)~V{UVU T, U, T, X c T~(T{X){UVU T, U, U, W c T~(U{W){UVU T, U, V, P c (T{U)~V|PVU T, U, V, Q c T~V~Q{UVU T, U, V, S c (T{V)~U{SVU T, U, V, T c (T{T)~V{UVU T, U, V, V c T~(V{V){UVU T, U, W, Q c (T~U{W)~QVU T, U, W, S c (T{U{W)~SVU T, U, W, U c T~(U{W){UVU T, U, W, X c (T{X)~U|WVU T, U, X, P c T~(U{X){PVU T, U, X, R c (U{R)~X|TVU T, U, X, T c (T{X)~T{UVU T, U, X, W c (T{X)~U|WVU T, V, P, U c (T{U)~V|PVU T, V, P, W c T~(V{W){PVU T, V, Q, R c (T~V{R)~QVU T, V, Q, S c (T{V~Q)~SVU T, V, Q, U c T~V~Q{UVU T, V, Q, W c (TQ{V)~WVU T, V, Q, X c (T~X|V)~QVU T, V, R, Q c (T~V{R)~QVU T, V, S, Q c (T{V~Q)~SVU T, V, S, U c (T{V)~U{SVU T, V, S, V c (T{V{V)~SVU T, V, S, W c T~S{V~WVU T, V, S, X c T~(V{X)|SVU T, V, T, U c (T{T)~V{UVU T, V, U, P c (T{U)~V|PVU T, V, U, Q c T~V~Q{UVU T, V, U, S c (T{V)~U{SVU T, V, U, T c (T{T)~V{UVU T, V, U, V c T~(V{V){UVU T, V, V, S c (T{V{V)~SVU T, V, V, U c T~(V{V){UVU T, V, V, W c (T{V)~V|WVU T, V, W, P c T~(V{W){PVU T, V, W, Q c (TQ{V)~WVU T, V, W, S c T~S{V~WVU T, V, W, V c (T{V)~V|WVU T, V, W, W c T{V{W~WVU T, V, W, X c T{V~X{WVU T, V, X, Q c (T~X|V)~QVU T, V, X, S c T~(V{X)|SVU T, V, X, W c T{V~X{WVU T, W, P, V c T~(W{V){PVU T, W, P, X c T{W~X|PVU T, W, Q, Q c (T~W|Q)~QVU T, W, Q, S c T~W~Q|SVU T, W, Q, U c (T{W)~U|QVU T, W, Q, V c (TQ{V)~WVU T, W, Q, X c (T{XQ)~WVU T, W, R, S c (W~R|T)~SVU T, W, S, Q c T~W~Q|SVU T, W, S, R c (W~R|T)~SVU T, W, S, S c (T{S)~W{SVU T, W, S, T c (T{T)~W|SVU T, W, S, U c (T{W{U)~SVU T, W, S, V c T~S{W~VVU T, W, S, W c T~(W{W)|SVU T, W, S, X c T~W{S~XVU T, W, T, S c (T{T)~W|SVU T, W, U, Q c (T{W)~U|QVU T, W, U, S c (T{W{U)~SVU T, W, U, U c T~(W{U){UVU T, W, U, X c (T{X)~U|WVU T, W, V, P c T~(W{V){PVU T, W, V, Q c (TQ{V)~WVU T, W, V, S c T~S{W~VVU T, W, V, V c (T{V)~V|WVU T, W, V, W c T{W~W{VVU T, W, V, X c T{W{V~XVU T, W, W, S c T~(W{W)|SVU T, W, W, V c T{W~W{VVU T, W, X, P c T{W~X|PVU T, W, X, Q c (T{XQ)~WVU T, W, X, S c T~W{X~SVU T, W, X, U c (T{X)~U|WVU T, W, X, V c T{W{X~VVU T, W, X, X c T~(W{X)|XVU T, X, O, X c (X{O)~X|TVU T, X, P, U c T~(X{U){PVU T, X, P, W c T{X~W|PVU T, X, P, X c X~P~X|TVU T, X, Q, S c (T~Q{X)~SVU T, X, Q, V c (T~X|V)~QVU T, X, Q, W c (T{XQ)~WVU T, X, R, R c X~R~R|TVU T, X, R, S c (T{R)~X{SVU T, X, R, U c X~(R{U)|TVU T, X, S, Q c (T~Q{X)~SVU T, X, S, R c (T{R)~X{SVU T, X, S, T c (T{X{T)~SVU T, X, S, V c T~(X{V)|SVU T, X, S, W c T~W{X~SVU T, X, T, S c (T{X{T)~SVU T, X, T, U c (T{X)~T{UVU T, X, U, P c T~(X{U){PVU T, X, U, R c X~(U{R)|TVU T, X, U, T c (T{X)~T{UVU T, X, U, W c (T{X)~U|WVU T, X, V, Q c (T~X|V)~QVU T, X, V, S c T~(X{V)|SVU T, X, V, W c T{X~V{WVU T, X, W, P c T{X~W|PVU T, X, W, Q c (T{XQ)~WVU T, X, W, S c T~W{X~SVU T, X, W, U c (T{X)~U|WVU T, X, W, V c T{X~V{WVU T, X, W, X c T~(X{W)|XVU T, X, X, O c X~X|T{OVU T, X, X, P c X~X|T~PVU T, X, X, W c T~(X{W)|XVU T, X, X, X c (X|TX)~XVU U, P, R, S c (U~R{P)~SVU U, P, S, R c (U~R{P)~SVU U, P, T, V c (U{T)~V|PVU U, P, T, X c (U{X)~T{PVU U, P, V, T c (U{T)~V|PVU U, P, V, X c U{(P{X)~VVU U, P, X, T c (U{X)~T{PVU U, P, X, V c U{(P{X)~VVU U, P, X, X c P{X~X|UVU U, Q, Q, U c (U~U{Q)~QVU U, Q, S, U c U~Q~U{SVU U, Q, S, V c (U~Q{V)~SVU U, Q, S, W c (U{S~W)~QVU U, Q, S, X c (U{Q)~X{SVU U, Q, T, V c U{Q~T~VVU U, Q, T, W c U~(T{W)|QVU U, Q, U, Q c (U~U{Q)~QVU U, Q, U, S c U~Q~U{SVU U, Q, U, V c U~(U{V)|QVU U, Q, V, S c (U~Q{V)~SVU U, Q, V, T c U{Q~V~TVU U, Q, V, U c (U{V)~U|QVU U, Q, V, W c U~Q~V|WVU U, Q, W, S c (U{W~S)~QVU U, Q, W, T c U~(W{T)|QVU U, Q, W, V c U{(Q{W)~VVU U, Q, W, W c U~Q{W~WVU U, Q, W, X c U|Q{W~XVU U, Q, X, S c (U{Q)~X{SVU U, Q, X, W c U|Q{X~WVU U, R, P, S c (U~R{P)~SVU U, R, S, P c (U~R{P)~SVU U, R, S, S c U~R~S{SVU U, R, S, W c (U{R)~W{SVU U, R, S, X c U~(R{X){SVU U, R, T, X c (U{R)~X|TVU U, R, V, V c U{(R{V)~VVU U, R, W, S c (U{R)~W{SVU U, R, W, X c (RU{X)~WVU U, R, X, S c U~(R{X){SVU U, R, X, T c (U{R)~X|TVU U, R, X, W c (RU{X)~WVU U, S, P, R c (U~R{P)~SVU U, S, Q, U c U~Q~U{SVU U, S, Q, V c (U~Q{V)~SVU U, S, Q, W c (U{S~W)~QVU U, S, Q, X c U~(S{X)|QVU U, S, R, P c (U~R{P)~SVU U, S, R, S c U~S~R{SVU U, S, R, W c (U{R)~W{SVU U, S, R, X c U~(R{X){SVU U, S, S, R c U~S~R{SVU U, S, S, T c (U~S|T)~SVU U, S, S, W c (U{S)~W|SVU U, S, S, X c (U{S{X)~SVU U, S, T, S c (U~S|T)~SVU U, S, T, T c S~(T~T|U)VU U, S, T, V c U~(T{V){SVU U, S, T, W c (U{T{W)~SVU U, S, U, Q c U~U~Q{SVU U, S, U, U c (U{U)~U{SVU U, S, U, V c U{(S{U)~VVU U, S, V, Q c (U~V|S)~QVU U, S, V, T c U~(V{T){SVU U, S, V, U c (U{S)~V{UVU U, S, V, W c U~W{S~VVU U, S, W, Q c (U{S~W)~QVU U, S, W, R c (U{R)~W{SVU U, S, W, S c (U{S)~W|SVU U, S, W, T c (U{W{T)~SVU U, S, W, V c U~W{S~VVU U, S, W, W c (US{W)~WVU U, S, X, Q c U~(S{X)|QVU U, S, X, R c U~(X{R){SVU U, S, X, S c (U{S{X)~SVU U, T, P, V c (U{T)~V|PVU U, T, P, X c (U{X)~T{PVU U, T, Q, V c U{T~Q~VVU U, T, Q, W c U~(T{W)|QVU U, T, R, X c (U{R)~X|TVU U, T, S, S c (U~S|T)~SVU U, T, S, T c (T~T|U)~SVU U, T, S, V c U~(T{V){SVU U, T, S, W c (U{T{W)~SVU U, T, T, S c (T~T|U)~SVU U, T, T, V c U{(T{T)~VVU U, T, T, X c U{T~(T{X)VU U, T, U, W c U{T~(U{W)VU U, T, V, P c (U{T)~V|PVU U, T, V, Q c U{T~V~QVU U, T, V, S c U~(T{V){SVU U, T, V, T c U{(T{T)~VVU U, T, V, V c U{T~(V{V)VU U, T, W, Q c U~(T{W)|QVU U, T, W, S c (U{T{W)~SVU U, T, W, U c U{T~(W{U)VU U, T, W, X c U~(T{X)|WVU U, T, X, P c (U{X)~T{PVU U, T, X, R c (U{R)~X|TVU U, T, X, T c U{(T{X)~TVU U, T, X, W c U~(T{X)|WVU U, U, Q, Q c (U~U{Q)~QVU U, U, Q, S c U~U~Q{SVU U, U, Q, V c U~(U{V)|QVU U, U, S, Q c U~U~Q{SVU U, U, S, U c (U{U)~U{SVU U, U, S, V c U{(U{S)~VVU U, U, T, W c U~U{T~WVU U, U, U, S c (U{U)~U{SVU U, U, V, Q c U~(U{V)|QVU U, U, V, S c (U{U{V)~SVU U, U, V, W c (U{U)~V|WVU U, U, W, T c U{(U{W)~TVU U, U, W, V c (U{U)~V|WVU U, U, W, W c U{U{W~WVU U, V, P, T c (U{T)~V|PVU U, V, P, X c U{V~(P{X)VU U, V, Q, S c (U~V|S)~QVU U, V, Q, T c U{V~Q~TVU U, V, Q, U c (U{V)~U|QVU U, V, Q, W c U{V~(Q{W)VU U, V, R, V c U{(V{R)~VVU U, V, S, Q c (U~V|S)~QVU U, V, S, T c U~(V{T){SVU U, V, S, U c U{V~(S{U)VU U, V, S, W c U~W{V~SVU U, V, T, P c (U{T)~V|PVU U, V, T, Q c U{V~T~QVU U, V, T, S c U~(V{T){SVU U, V, T, T c U{V~(T{T)VU U, V, T, V c U{(V{V)~TVU U, V, U, Q c (U{V)~U|QVU U, V, U, S c (U{V{U)~SVU U, V, U, W c (U{U)~V|WVU U, V, V, R c U{V~(V{R)VU U, V, V, T c U{(V{V)~TVU U, V, V, W c U~(V{V)|WVU U, V, V, X c U{V{V~XVU U, V, W, Q c U{V~(W{Q)VU U, V, W, S c U~W{V~SVU U, V, W, U c (U{U)~V|WVU U, V, W, V c U~(V{V)|WVU U, V, X, P c U{V~(X{P)VU U, V, X, V c U{V{X~VVU U, W, Q, S c (U{W~S)~QVU U, W, Q, T c U~(W{T)|QVU U, W, Q, V c U{(W{Q)~VVU U, W, Q, W c U~Q{W~WVU U, W, Q, X c U{W~X|QVU U, W, R, S c (U{R)~W{SVU U, W, R, X c W~(RU{X)VU U, W, S, Q c (U{W~S)~QVU U, W, S, R c (U{R)~W{SVU U, W, S, S c U~(W{S){SVU U, W, S, T c (U{W{T)~SVU U, W, S, V c U~W{S~VVU U, W, S, W c (US{W)~WVU U, W, T, Q c U~(W{T)|QVU U, W, T, S c (U{W{T)~SVU U, W, T, U c (U{W)~T{UVU U, W, T, X c U~(T{X)|WVU U, W, U, T c U{(W{U)~TVU U, W, U, V c (U{U)~V|WVU U, W, U, W c (U{W)~U|WVU U, W, V, Q c U{(W{Q)~VVU U, W, V, S c U~W{V~SVU U, W, V, U c (U{U)~V|WVU U, W, V, V c U~(V{V)|WVU U, W, W, Q c U~Q{W~WVU U, W, W, S c (US{W)~WVU U, W, W, U c U{W~W{UVU U, W, W, X c W~(W{XU)VU U, W, X, Q c U{W~X|QVU U, W, X, R c W~(X{RU)VU U, W, X, T c U~(X{T)|WVU U, W, X, W c (W{XU)~WVU U, X, P, T c (U{X)~T{PVU U, X, P, V c U{(X{P)~VVU U, X, P, X c X~X|U{PVU U, X, Q, S c U~(X{S)|QVU U, X, Q, W c U{X~W|QVU U, X, R, S c U~(X{R){SVU U, X, R, T c (U{R)~X|TVU U, X, R, W c (X{RU)~WVU U, X, S, Q c U~(X{S)|QVU U, X, S, R c U~(X{R){SVU U, X, S, S c (U{X{S)~SVU U, X, T, P c (U{X)~T{PVU U, X, T, R c (U{R)~X|TVU U, X, T, T c U{(X{T)~TVU U, X, T, W c U~(X{T)|WVU U, X, V, P c U{(X{P)~VVU U, X, V, V c U{X~V{VVU U, X, W, Q c U{X~W|QVU U, X, W, R c (X{RU)~WVU U, X, W, T c U~(X{T)|WVU U, X, W, W c (XU{W)~WVU U, X, X, P c X~X|U{PVU V, P, Q, X c V~(Q{X)|PVU V, P, R, W c V~(R{W)|PVU V, P, S, V c (V{S)~V|PVU V, P, S, X c (V{P)~X{SVU V, P, T, U c V~(T{U)|PVU V, P, T, W c (V{W)~T{PVU V, P, U, T c V~(U{T)|PVU V, P, U, X c V~(P{X){UVU V, P, V, S c V~(V{S)|PVU V, P, W, R c V~(W{R)|PVU V, P, W, T c (V{W)~T{PVU V, P, X, Q c V~(X{Q)|PVU V, P, X, S c (V{P)~X{SVU V, P, X, U c V~(P{X){UVU V, Q, P, X c V~(Q{X)|PVU V, Q, R, S c (V~R|Q)~SVU V, Q, R, T c (V~T{R)~QVU V, Q, S, R c (V~R|Q)~SVU V, Q, S, T c (V~Q{T)~SVU V, Q, S, U c (V{Q~U)~SVU V, Q, S, W c (V{Q)~W{SVU V, Q, T, R c (V~T{R)~QVU V, Q, T, S c (V~Q{T)~SVU V, Q, T, U c V~Q~T{UVU V, Q, T, W c (V{TQ)~WVU V, Q, T, X c (V{Q)~X|TVU V, Q, U, S c (V{Q~U)~SVU V, Q, U, T c V~Q~T{UVU V, Q, U, U c (V{U)~U|QVU V, Q, U, W c V~Q~U|WVU V, Q, W, S c (V{Q)~W{SVU V, Q, W, T c (V{TQ)~WVU V, Q, W, U c V~(Q{W){UVU V, Q, X, P c V~(Q{X)|PVU V, Q, X, T c (V{Q)~X|TVU V, Q, X, X c Q{X~X|VVU V, R, P, W c V~(R{W)|PVU V, R, Q, S c (V~R|Q)~SVU V, R, Q, T c (V~T{R)~QVU V, R, S, Q c (V~R|Q)~SVU V, R, S, S c (V{R~S)~SVU V, R, S, W c V~R~S|WVU V, R, S, X c (V{R{X)~SVU V, R, T, Q c (V~T{R)~QVU V, R, U, V c (V{R)~V{UVU V, R, V, U c (V{R)~V{UVU V, R, V, X c V~V{R~XVU V, R, W, P c V~(R{W)|PVU V, R, W, S c (V{R)~W|SVU V, R, W, X c V|R{W~XVU V, R, X, S c (V{R{X)~SVU V, R, X, V c V~V{R~XVU V, R, X, W c V|R{X~WVU V, S, P, V c (V{S)~V|PVU V, S, P, X c (V{P)~X{SVU V, S, Q, R c (V~R|Q)~SVU V, S, Q, T c (V~Q{T)~SVU V, S, Q, U c (V{Q~U)~SVU V, S, Q, W c (V{Q)~W{SVU V, S, R, Q c (V~R|Q)~SVU V, S, R, S c (V{S~R)~SVU V, S, R, W c V~S~R|WVU V, S, R, X c (V{R{X)~SVU V, S, S, R c (V{S~R)~SVU V, S, S, W c (V{S{W)~SVU V, S, S, X c (V~S|X)~SVU V, S, T, Q c (V~Q{T)~SVU V, S, T, U c (V{T)~U{SVU V, S, T, V c (V{T{V)~SVU V, S, T, W c V~W{S~TVU V, S, T, X c (V{X)~T|SVU V, S, U, Q c (V~U|S)~QVU V, S, U, T c (V{T)~U{SVU V, S, U, U c V~(S{U){UVU V, S, U, W c V~S{U~WVU V, S, V, P c (V{S)~V|PVU V, S, V, T c (V{V{T)~SVU V, S, W, Q c (V{Q)~W{SVU V, S, W, R c V~S~R|WVU V, S, W, S c (V{S{W)~SVU V, S, W, T c V~W{S~TVU V, S, W, U c V~S{W~UVU V, S, W, W c V~(S{W)|WVU V, S, X, P c (V{P)~X{SVU V, S, X, R c (V{X{R)~SVU V, S, X, S c (V~S|X)~SVU V, S, X, T c (V{X)~T|SVU V, S, X, X c V~X{S{XVU V, T, P, U c V~(T{U)|PVU V, T, P, W c (V{W)~T{PVU V, T, Q, R c (V~T{R)~QVU V, T, Q, S c (V~Q{T)~SVU V, T, Q, U c V~T~Q{UVU V, T, Q, W c (V{TQ)~WVU V, T, Q, X c (V{Q)~X|TVU V, T, R, Q c (V~T{R)~QVU V, T, S, Q c (V~Q{T)~SVU V, T, S, U c (V{T)~U{SVU V, T, S, V c (V{T{V)~SVU V, T, S, W c V~W{T~SVU V, T, S, X c (V{X)~T|SVU V, T, T, U c V~(T{T){UVU V, T, U, P c V~(T{U)|PVU V, T, U, Q c V~T~Q{UVU V, T, U, S c (V{T)~U{SVU V, T, U, T c V~(T{T){UVU V, T, U, V c (V{V)~T{UVU V, T, V, S c (V{T{V)~SVU V, T, V, U c (V{V)~T{UVU V, T, V, W c (V{T)~V|WVU V, T, W, P c (V{W)~T{PVU V, T, W, Q c (V{TQ)~WVU V, T, W, S c V~W{T~SVU V, T, W, V c (V{T)~V|WVU V, T, W, W c V{T{W~WVU V, T, W, X c V~X{T{WVU V, T, X, Q c (V{Q)~X|TVU V, T, X, S c (V{X)~T|SVU V, T, X, W c V~X{T{WVU V, U, P, T c V~(U{T)|PVU V, U, P, X c V~(P{X){UVU V, U, Q, S c (V{U~Q)~SVU V, U, Q, T c V~Q~T{UVU V, U, Q, U c (V{U)~U|QVU V, U, Q, W c V~U~Q|WVU V, U, R, V c (V{R)~V{UVU V, U, S, Q c (V~U|S)~QVU V, U, S, T c (V{T)~U{SVU V, U, S, U c V~(U{S){UVU V, U, S, W c V~S{U~WVU V, U, T, P c V~(U{T)|PVU V, U, T, Q c V~T~Q{UVU V, U, T, S c (V{T)~U{SVU V, U, T, T c V~(T{T){UVU V, U, T, V c (V{V)~T{UVU V, U, U, Q c (V{U)~U|QVU V, U, U, S c (V{U{U)~SVU V, U, U, W c V~(U{U)|WVU V, U, V, R c V~(V{R){UVU V, U, V, T c (V{V)~T{UVU V, U, V, W c (V{V)~U|WVU V, U, V, X c V{U{V~XVU V, U, W, Q c V~U~Q|WVU V, U, W, S c V~S{U~WVU V, U, W, U c V~(U{U)|WVU V, U, W, V c (V{V)~U|WVU V, U, X, P c V~(X{P){UVU V, U, X, V c V{U{X~VVU V, V, P, S c V~(V{S)|PVU V, V, R, U c V~(V{R){UVU V, V, R, X c V~V{R~XVU V, V, S, P c V~(V{S)|PVU V, V, S, T c (V{V{T)~SVU V, V, T, S c (V{V{T)~SVU V, V, T, U c (V{V)~T{UVU V, V, T, W c V~(V{T)|WVU V, V, U, R c V~(V{R){UVU V, V, U, T c (V{V)~T{UVU V, V, U, W c (V{V)~U|WVU V, V, U, X c V{V~X{UVU V, V, W, T c V~(V{T)|WVU V, V, W, U c (V{V)~U|WVU V, V, X, R c V~V{X~RVU V, V, X, U c V{V~X{UVU V, W, P, R c V~(W{R)|PVU V, W, P, T c (V{W)~T{PVU V, W, Q, S c (V{Q)~W{SVU V, W, Q, T c (V{TQ)~WVU V, W, Q, U c V~(W{Q){UVU V, W, R, P c V~(W{R)|PVU V, W, R, S c (V{R)~W|SVU V, W, R, X c V{W~X|RVU V, W, S, Q c (V{Q)~W{SVU V, W, S, R c V~S~R|WVU V, W, S, S c (V{W{S)~SVU V, W, S, T c V~W{S~TVU V, W, S, U c V~S{W~UVU V, W, S, W c V~(W{S)|WVU V, W, T, P c (V{W)~T{PVU V, W, T, Q c (V{TQ)~WVU V, W, T, S c V~W{T~SVU V, W, T, V c (V{T)~V|WVU V, W, T, W c V{W~W{TVU V, W, T, X c V~X{W{TVU V, W, U, Q c V~(W{Q){UVU V, W, U, S c V~S{W~UVU V, W, U, U c V~(U{U)|WVU V, W, U, V c (V{V)~U|WVU V, W, V, T c V~(V{T)|WVU V, W, V, U c (V{V)~U|WVU V, W, W, S c V~(W{S)|WVU V, W, W, T c V{W~W{TVU V, W, X, R c V{W~X|RVU V, W, X, T c V~X{W{TVU V, X, P, Q c V~(X{Q)|PVU V, X, P, S c (V{P)~X{SVU V, X, P, U c V~(X{P){UVU V, X, Q, P c V~(X{Q)|PVU V, X, Q, T c (V{Q)~X|TVU V, X, Q, X c X~X|V{QVU V, X, R, S c (V{X{R)~SVU V, X, R, V c V~V{X~RVU V, X, R, W c V~(X{R)|WVU V, X, S, P c (V{P)~X{SVU V, X, S, R c (V{X{R)~SVU V, X, S, S c (V~S|X)~SVU V, X, S, T c (V{X)~T|SVU V, X, S, X c V~X{S{XVU V, X, T, Q c (V{Q)~X|TVU V, X, T, S c (V{X)~T|SVU V, X, T, W c V~X{T{WVU V, X, U, P c V~(X{P){UVU V, X, U, V c V~X{U{VVU V, X, V, R c V~V{X~RVU V, X, V, U c V{X~V{UVU V, X, W, R c V{X~W|RVU V, X, W, T c V~X{W{TVU V, X, X, Q c X~X|V{QVU V, X, X, S c V~X{X{SVU W, O, S, X c (W{O)~X{SVU W, O, X, S c (W{O)~X{SVU W, P, Q, X c W~(PQ{X)VU W, P, R, V c (W{R)~V|PVU W, P, R, X c W~X{P{RVU W, P, S, W c (W{P)~W{SVU W, P, S, X c W~(P{X)|SVU W, P, T, V c (W{V)~T{PVU W, P, T, X c (W{P)~X|TVU W, P, V, R c (W{R)~V|PVU W, P, V, T c (W{V)~T{PVU W, P, W, S c (W{P)~W{SVU W, P, X, Q c W~(PQ{X)VU W, P, X, R c W~X{P{RVU W, P, X, S c W~(P{X)|SVU W, P, X, T c (W{P)~X|TVU W, Q, P, X c W~(PQ{X)VU W, Q, Q, T c (W~T|Q)~QVU W, Q, Q, X c W~X{Q{QVU W, Q, R, S c (W~Q{R)~SVU W, Q, R, W c (W{RQ)~WVU W, Q, S, R c (W~Q{R)~SVU W, Q, S, T c W~Q~T|SVU W, Q, S, U c (W~S{U)~QVU W, Q, S, V c W~(Q{V){SVU W, Q, S, W c (W{Q)~W|SVU W, Q, S, X c W~(QS{X)VU W, Q, T, Q c (W~T|Q)~QVU W, Q, T, S c W~Q~T|SVU W, Q, T, U c (W{T)~U|QVU W, Q, T, V c W~(TQ{V)VU W, Q, T, X c W~(T{XQ)VU W, Q, U, S c (W~S{U)~QVU W, Q, U, T c (W{U~T)~QVU W, Q, U, V c (W{Q)~V{UVU W, Q, U, W c W~W{Q~UVU W, Q, U, X c W~X|Q{UVU W, Q, V, S c W~(Q{V){SVU W, Q, V, T c W~(V{TQ)VU W, Q, V, U c (W{Q)~V{UVU W, Q, W, R c W~(W{RQ)VU W, Q, W, S c (W{Q)~W|SVU W, Q, W, U c W~W{Q~UVU W, Q, W, X c WQ{W~XVU W, Q, X, P c W~(X{PQ)VU W, Q, X, Q c W~X{Q{QVU W, Q, X, S c (W{Q{X)~SVU W, Q, X, T c W~(XQ{T)VU W, Q, X, U c W~X|Q{UVU W, Q, X, W c WQ{X~WVU W, R, P, V c (W{R)~V|PVU W, R, P, X c W~X{R{PVU W, R, Q, S c (W~Q{R)~SVU W, R, Q, W c (W{RQ)~WVU W, R, R, S c W~R~R{SVU W, R, S, Q c (W~Q{R)~SVU W, R, S, R c W~R~R{SVU W, R, S, T c (W~R|T)~SVU W, R, S, U c W~(R{U){SVU W, R, S, V c W~(R{V)|SVU W, R, S, W c (W{R{W)~SVU W, R, S, X c (R~X|W)~SVU W, R, T, S c (W~R|T)~SVU W, R, U, S c W~(R{U){SVU W, R, U, X c W~(RU{X)VU W, R, V, P c (W{R)~V|PVU W, R, V, S c W~(R{V)|SVU W, R, V, X c W~X|R{VVU W, R, W, Q c (W{RQ)~WVU W, R, W, S c (W{R{W)~SVU W, R, W, X c W~W{R{XVU W, R, X, P c W~X{R{PVU W, R, X, S c (R~X|W)~SVU W, R, X, U c W~(RU{X)VU W, R, X, V c W~X|R{VVU W, R, X, W c W~W{R{XVU W, R, X, X c R{X~X|WVU W, S, O, X c (W{O)~X{SVU W, S, P, W c (W{P)~W{SVU W, S, P, X c W~(P{X)|SVU W, S, Q, R c (W~Q{R)~SVU W, S, Q, T c W~Q~T|SVU W, S, Q, U c (W~S{U)~QVU W, S, Q, V c W~(Q{V){SVU W, S, Q, W c (W{Q)~W|SVU W, S, Q, X c W~(QS{X)VU W, S, R, Q c (W~Q{R)~SVU W, S, R, R c W~R~R{SVU W, S, R, T c (W~R|T)~SVU W, S, R, U c W~(R{U){SVU W, S, R, V c W~(R{V)|SVU W, S, R, W c (W{R{W)~SVU W, S, R, X c S~(R~X|W)VU W, S, S, T c W~(S{T){SVU W, S, S, U c (W{S)~U{SVU W, S, S, V c (W{S{V)~SVU W, S, T, Q c W~T~Q|SVU W, S, T, R c (W~R|T)~SVU W, S, T, S c W~(S{T){SVU W, S, T, T c W~(T{T)|SVU W, S, T, U c (W{T{U)~SVU W, S, T, V c W~V{S~TVU W, S, T, W c (W{W)~T|SVU W, S, T, X c W~T{S~XVU W, S, U, Q c (W~S{U)~QVU W, S, U, R c W~(U{R){SVU W, S, U, S c (W{S)~U{SVU W, S, U, T c (W{U{T)~SVU W, S, U, V c W~U{S~VVU W, S, U, W c (W{US)~WVU W, S, V, Q c W~(V{Q){SVU W, S, V, R c W~(V{R)|SVU W, S, V, S c (W{S{V)~SVU W, S, V, T c W~V{S~TVU W, S, V, U c W~U{S~VVU W, S, V, W c (W{S)~V|WVU W, S, W, P c W~(W{P){SVU W, S, W, Q c W~(W{Q)|SVU W, S, W, R c W~W{S~RVU W, S, W, T c (W{W)~T|SVU W, S, W, U c W~(W{US)VU W, S, W, V c (W{S)~V|WVU W, S, W, W c W{S{W~WVU W, S, W, X c W{S~(W{X)VU W, S, X, O c W~X{S{OVU W, S, X, P c W~X{S~PVU W, S, X, Q c (W{X{Q)~SVU W, S, X, R c S~(X~R|W)VU W, S, X, T c W~T{S~XVU W, S, X, W c W{S~(X{W)VU W, S, X, X c (W{SX)~XVU W, T, P, V c (W{V)~T{PVU W, T, P, X c (W{P)~X|TVU W, T, Q, Q c (W~T|Q)~QVU W, T, Q, S c W~T~Q|SVU W, T, Q, U c (W{T)~U|QVU W, T, Q, V c W~(TQ{V)VU W, T, Q, X c W~(T{XQ)VU W, T, R, S c (W~R|T)~SVU W, T, S, Q c W~T~Q|SVU W, T, S, R c (W~R|T)~SVU W, T, S, S c W~(T{S){SVU W, T, S, T c W~(T{T)|SVU W, T, S, U c (W{T{U)~SVU W, T, S, V c W~V{T~SVU W, T, S, W c (W{W)~T|SVU W, T, S, X c W~T{S~XVU W, T, T, S c W~(T{T)|SVU W, T, U, Q c (W{T)~U|QVU W, T, U, S c (W{T{U)~SVU W, T, U, U c W~T{U~UVU W, T, U, X c (T{X)~U|WVU W, T, V, P c (W{V)~T{PVU W, T, V, Q c W~(TQ{V)VU W, T, V, S c W~V{T~SVU W, T, V, V c (T{V)~V|WVU W, T, V, W c W~W{T{VVU W, T, V, X c W{T{V~XVU W, T, W, S c (W{W)~T|SVU W, T, W, V c W~W{T{VVU W, T, X, P c W~X{T|PVU W, T, X, Q c W~(T{XQ)VU W, T, X, S c W~T{X~SVU W, T, X, U c (T{X)~U|WVU W, T, X, V c W{T{X~VVU W, T, X, X c (W{X)~T|XVU W, U, Q, S c (W~S{U)~QVU W, U, Q, T c (W{U~T)~QVU W, U, Q, V c W~(U{VQ)VU W, U, Q, W c W~W{U~QVU W, U, Q, X c W~X{U|QVU W, U, R, S c W~(U{R){SVU W, U, R, X c W~(RU{X)VU W, U, S, Q c (W~S{U)~QVU W, U, S, R c W~(U{R){SVU W, U, S, S c W~(U{S)|SVU W, U, S, T c (W{U{T)~SVU W, U, S, V c W~U{S~VVU W, U, S, W c (W{US)~WVU W, U, T, Q c (W{U~T)~QVU W, U, T, S c (W{U{T)~SVU W, U, T, U c (W{U)~T{UVU W, U, T, X c U~(T{X)|WVU W, U, U, T c (W{U)~T{UVU W, U, U, V c (U{U)~V|WVU W, U, U, W c (W{U)~U|WVU W, U, V, Q c W~(U{VQ)VU W, U, V, S c W~U{V~SVU W, U, V, U c (U{U)~V|WVU W, U, V, V c U~(V{V)|WVU W, U, W, Q c W~W{U~QVU W, U, W, S c (W{US)~WVU W, U, W, U c (W{U)~U|WVU W, U, W, X c W~(W{XU)VU W, U, X, Q c W~X{U|QVU W, U, X, R c W~(X{RU)VU W, U, X, T c U~(X{T)|WVU W, U, X, W c (W{XU)~WVU W, V, P, R c (W{R)~V|PVU W, V, P, T c (W{V)~T{PVU W, V, Q, S c W~(V{Q){SVU W, V, Q, T c W~(V{TQ)VU W, V, Q, U c W~(VQ{U)VU W, V, R, P c (W{R)~V|PVU W, V, R, S c W~(V{R)|SVU W, V, R, X c W~X{V|RVU W, V, S, Q c W~(V{Q){SVU W, V, S, R c W~(V{R)|SVU W, V, S, S c (W{V{S)~SVU W, V, S, T c W~V{S~TVU W, V, S, U c W~U{V~SVU W, V, S, W c (W{S)~V|WVU W, V, T, P c (W{V)~T{PVU W, V, T, Q c W~(V{TQ)VU W, V, T, S c W~V{T~SVU W, V, T, V c (V{T)~V|WVU W, V, T, W c W~W{V{TVU W, V, T, X c W{V~X{TVU W, V, U, Q c W~(VQ{U)VU W, V, U, S c W~U{V~SVU W, V, U, U c V~(U{U)|WVU W, V, U, V c (V{V)~U|WVU W, V, V, T c V~(V{T)|WVU W, V, V, U c (V{V)~U|WVU W, V, W, S c (W{S)~V|WVU W, V, W, T c W~W{V{TVU W, V, X, R c W~X{V|RVU W, V, X, T c W{V~X{TVU W, W, P, S c W~(W{P){SVU W, W, Q, R c W~(W{RQ)VU W, W, Q, S c W~(W{Q)|SVU W, W, Q, U c W~W{Q~UVU W, W, Q, X c WQ{W~XVU W, W, R, Q c W~(W{RQ)VU W, W, R, S c (W{W{R)~SVU W, W, R, X c W~W{R{XVU W, W, S, P c W~(W{P){SVU W, W, S, Q c W~(W{Q)|SVU W, W, S, R c W~W{S~RVU W, W, S, T c (W{W)~T|SVU W, W, S, U c W~(W{US)VU W, W, S, V c (W{S)~V|WVU W, W, S, W c W~W{S{WVU W, W, S, X c W{(W{X)~SVU W, W, T, S c (W{W)~T|SVU W, W, T, V c W~W{T{VVU W, W, U, Q c W~W{U~QVU W, W, U, S c W~(W{US)VU W, W, U, U c W~W{U{UVU W, W, U, X c W~(W{XU)VU W, W, V, S c (W{S)~V|WVU W, W, V, T c W~W{V{TVU W, W, W, S c W{W~W{SVU W, W, X, Q c W~X{WQVU W, W, X, R c W~W{X{RVU W, W, X, S c W{(W{X)~SVU W, W, X, U c W~(W{XU)VU W, X, O, S c W~X{O{SVU W, X, P, Q c W~(X{PQ)VU W, X, P, R c W~X{P{RVU W, X, P, S c W~(X{P)|SVU W, X, P, T c W~X|P{TVU W, X, Q, P c W~(X{PQ)VU W, X, Q, Q c W~X{Q{QVU W, X, Q, S c (W{X{Q)~SVU W, X, Q, T c W~(XQ{T)VU W, X, Q, U c W~X|Q{UVU W, X, Q, W c W~X{WQVU W, X, R, P c W~X{R{PVU W, X, R, S c (X~R|W)~SVU W, X, R, U c W~(X{RU)VU W, X, R, V c W~X|R{VVU W, X, R, W c W~W{X{RVU W, X, R, X c X~X|W{RVU W, X, S, O c W~X{S{OVU W, X, S, P c W~X{S~PVU W, X, S, Q c (W{X{Q)~SVU W, X, S, R c (X~R|W)~SVU W, X, S, T c W~T{X~SVU W, X, S, W c (W{X)~S{WVU W, X, S, X c (W{SX)~XVU W, X, T, P c W~X{T|PVU W, X, T, Q c W~(XQ{T)VU W, X, T, S c W~T{X~SVU W, X, T, U c (X{T)~U|WVU W, X, T, V c W{X~V{TVU W, X, T, X c (W{X)~T|XVU W, X, U, Q c W~X{U|QVU W, X, U, R c W~(X{RU)VU W, X, U, T c (X{T)~U|WVU W, X, U, W c (W{XU)~WVU W, X, V, R c W~X{V|RVU W, X, V, T c W{X~V{TVU W, X, W, Q c W~X{WQVU W, X, W, R c W~W{X{RVU W, X, W, S c W{(X{W)~SVU W, X, W, U c (W{XU)~WVU W, X, X, R c X~X|W{RVU W, X, X, S c (W{SX)~XVU W, X, X, T c W~X{X|TVU X, O, S, W c (X{O)~W{SVU X, O, T, X c (X{O)~X|TVU X, O, W, S c (X{O)~W{SVU X, O, X, T c (X{O)~X|TVU X, P, Q, S c (X~Q{P)~SVU X, P, Q, V c (X{Q)~V|PVU X, P, Q, W c (X{PQ)~WVU X, P, R, W c X~W{P{RVU X, P, S, Q c (X~Q{P)~SVU X, P, S, V c X~(P{V){SVU X, P, S, W c (X{P)~W|SVU X, P, S, X c (X{P{X)~SVU X, P, T, U c (X{U)~T{PVU X, P, T, W c X~(P{W)|TVU X, P, T, X c X~P~X|TVU X, P, U, T c (X{U)~T{PVU X, P, U, V c (X{P)~V{UVU X, P, U, X c X~X{P|UVU X, P, V, Q c (X{Q)~V|PVU X, P, V, S c X~(P{V){SVU X, P, V, U c (X{P)~V{UVU X, P, W, Q c (X{PQ)~WVU X, P, W, R c X~W{P{RVU X, P, W, S c (X{P)~W|SVU X, P, W, T c X~(P{W)|TVU X, P, X, S c (X{P{X)~SVU X, P, X, T c X~P~X|TVU X, P, X, U c X~X{P|UVU X, Q, P, S c (X~Q{P)~SVU X, Q, P, V c (X{Q)~V|PVU X, Q, P, W c (X{PQ)~WVU X, Q, Q, S c (X~S{Q)~QVU X, Q, Q, W c X~W{Q{QVU X, Q, R, X c (X~X)|(Q{R)VU X, Q, S, P c (X~Q{P)~SVU X, Q, S, Q c (X~S{Q)~QVU X, Q, S, S c X~Q~S{SVU X, Q, S, T c (X{Q~T)~SVU X, Q, S, U c X~(Q{U){SVU X, Q, S, W c (X{QS)~WVU X, Q, T, S c (X{Q~T)~SVU X, Q, T, V c X~(Q{V)|TVU X, Q, T, W c (XQ{T)~WVU X, Q, U, S c X~(Q{U){SVU X, Q, U, W c X~W|Q{UVU X, Q, V, P c (X{Q)~V|PVU X, Q, V, T c X~(Q{V)|TVU X, Q, V, X c X~X{Q|VVU X, Q, W, P c (X{PQ)~WVU X, Q, W, Q c X~W{Q{QVU X, Q, W, S c (X{Q{W)~SVU X, Q, W, T c (XQ{T)~WVU X, Q, W, U c X~W|Q{UVU X, Q, W, W c X~W{WQVU X, Q, X, R c (X~X)|(Q{R)VU X, Q, X, V c X~X{Q|VVU X, R, P, W c X~W{R{PVU X, R, Q, X c (X~X)|(R{Q)VU X, R, R, T c X~R~R|TVU X, R, S, T c X~(R{T){SVU X, R, S, U c (X{R)~U{SVU X, R, S, V c (X{R{V)~SVU X, R, S, W c (X~R|W)~SVU X, R, T, R c X~R~R|TVU X, R, T, S c X~(R{T){SVU X, R, T, U c X~(R{U)|TVU X, R, U, S c (X{R)~U{SVU X, R, U, T c X~(R{U)|TVU X, R, U, W c (X{RU)~WVU X, R, V, S c (X{R{V)~SVU X, R, V, V c X~R{V~VVU X, R, V, W c (X{R)~V|WVU X, R, W, P c X~W{R{PVU X, R, W, S c (X~R|W)~SVU X, R, W, U c (X{RU)~WVU X, R, W, V c (X{R)~V|WVU X, R, W, W c X{R{W~WVU X, R, W, X c X~X{R|WVU X, R, X, Q c (X~X)|(R{Q)VU X, R, X, W c X~X{R|WVU X, S, O, W c (X{O)~W{SVU X, S, P, Q c (X~Q{P)~SVU X, S, P, V c X~(P{V){SVU X, S, P, W c (X{P)~W|SVU X, S, P, X c (X{P{X)~SVU X, S, Q, P c (X~Q{P)~SVU X, S, Q, Q c (X~S{Q)~QVU X, S, Q, S c X~S~Q{SVU X, S, Q, T c (X{Q~T)~SVU X, S, Q, U c (X{S)~U|QVU X, S, Q, W c (X{QS)~WVU X, S, R, T c X~(R{T){SVU X, S, R, U c (X{R)~U{SVU X, S, R, V c (X{R{V)~SVU X, S, R, W c (X~R|W)~SVU X, S, S, Q c X~S~Q{SVU X, S, S, S c X~(S{S){SVU X, S, S, U c (X{S{U)~SVU X, S, S, V c S~(S~V|X)VU X, S, S, X c (X{X)~S{SVU X, S, T, Q c (X{T~Q)~SVU X, S, T, R c X~(T{R){SVU X, S, T, T c X~(S{T)|TVU X, S, T, V c (X{V)~T|SVU X, S, T, W c X~S{T~WVU X, S, U, Q c (X{S)~U|QVU X, S, U, R c (X{R)~U{SVU X, S, U, S c (X{S{U)~SVU X, S, V, P c X~(V{P){SVU X, S, V, R c (X{V{R)~SVU X, S, V, S c (S~V|X)~SVU X, S, V, T c (X{V)~T|SVU X, S, V, X c X{S{V~XVU X, S, W, O c X~W{S{OVU X, S, W, P c X~W{S~PVU X, S, W, Q c (X{W{Q)~SVU X, S, W, R c (X~R|W)~SVU X, S, W, T c X~S{W~TVU X, S, W, W c (X{SW)~WVU X, S, W, X c X~(SX{W)VU X, S, X, P c (X~X)|(S{P)VU X, S, X, S c (X{X)~S{SVU X, S, X, V c X{S{X~VVU X, S, X, W c X~(SX{W)VU X, S, X, X c X~X{S|XVU X, T, O, X c (X{O)~X|TVU X, T, P, U c (X{U)~T{PVU X, T, P, W c X~(P{W)|TVU X, T, P, X c X~P~X|TVU X, T, Q, S c (X{T~Q)~SVU X, T, Q, V c (X~T|V)~QVU X, T, Q, W c (XQ{T)~WVU X, T, R, R c X~R~R|TVU X, T, R, S c X~(T{R){SVU X, T, R, U c X~(R{U)|TVU X, T, S, Q c (X{T~Q)~SVU X, T, S, R c X~(T{R){SVU X, T, S, T c X~(T{S)|TVU X, T, S, V c (X{V)~T|SVU X, T, S, W c X~S{T~WVU X, T, T, S c (X{T{T)~SVU X, T, T, U c (X{T)~T{UVU X, T, U, P c (X{U)~T{PVU X, T, U, R c X~(U{R)|TVU X, T, U, T c (X{T)~T{UVU X, T, U, W c (X{T)~U|WVU X, T, V, Q c (X~T|V)~QVU X, T, V, S c (X{V)~T|SVU X, T, V, W c X~V{T{WVU X, T, W, P c X~W{T|PVU X, T, W, Q c (XQ{T)~WVU X, T, W, S c X~S{T~WVU X, T, W, U c (X{T)~U|WVU X, T, W, V c X~V{T{WVU X, T, W, X c X|T{W~XVU X, T, X, O c X~X|T{OVU X, T, X, P c X~X|T~PVU X, T, X, W c X|T{X~WVU X, T, X, X c (X|TX)~XVU X, U, P, T c (X{U)~T{PVU X, U, P, V c (X{P)~V{UVU X, U, P, X c X~X|U{PVU X, U, Q, S c X~(U{Q){SVU X, U, Q, W c X~W{U|QVU X, U, R, S c (X{R)~U{SVU X, U, R, T c X~(U{R)|TVU X, U, R, W c (X{RU)~WVU X, U, S, Q c X~(U{Q){SVU X, U, S, R c (X{R)~U{SVU X, U, S, S c (X{U{S)~SVU X, U, T, P c (X{U)~T{PVU X, U, T, R c X~(U{R)|TVU X, U, T, T c (X{T)~T{UVU X, U, T, W c (X{T)~U|WVU X, U, V, P c (X{P)~V{UVU X, U, V, V c X~V{U{VVU X, U, W, Q c X~W{U|QVU X, U, W, R c (X{RU)~WVU X, U, W, T c (X{T)~U|WVU X, U, W, W c (XU{W)~WVU X, U, X, P c X~X|U{PVU X, V, P, Q c (X{Q)~V|PVU X, V, P, S c X~(V{P){SVU X, V, P, U c (X{P)~V{UVU X, V, Q, P c (X{Q)~V|PVU X, V, Q, T c X~(V{Q)|TVU X, V, Q, X c X~X|V{QVU X, V, R, S c (X{V{R)~SVU X, V, R, V c X~R{V~VVU X, V, R, W c (X{R)~V|WVU X, V, S, P c X~(V{P){SVU X, V, S, R c (X{V{R)~SVU X, V, S, S c (V~S|X)~SVU X, V, S, T c (X{V)~T|SVU X, V, S, X c X~V{S{XVU X, V, T, Q c X~(V{Q)|TVU X, V, T, S c (X{V)~T|SVU X, V, T, W c X~V{T{WVU X, V, U, P c (X{P)~V{UVU X, V, U, V c X~V{U{VVU X, V, V, R c X~R{V~VVU X, V, V, U c X~V{V{UVU X, V, W, R c X~W{V|RVU X, V, W, T c X~V{W{TVU X, V, X, Q c X~X|V{QVU X, V, X, S c X{V~X{SVU X, W, O, S c X~W{O{SVU X, W, P, Q c (X{PQ)~WVU X, W, P, R c X~W{P{RVU X, W, P, S c X~W{P~SVU X, W, P, T c X~(W{P)|TVU X, W, Q, P c (X{PQ)~WVU X, W, Q, Q c X~W{Q{QVU X, W, Q, S c (X{W{Q)~SVU X, W, Q, T c (XQ{T)~WVU X, W, Q, U c X~W|Q{UVU X, W, Q, W c X~W{WQVU X, W, R, P c X~W{R{PVU X, W, R, S c (X~R|W)~SVU X, W, R, U c (X{RU)~WVU X, W, R, V c X~W|R{VVU X, W, R, W c X{W~W{RVU X, W, R, X c X~X|W{RVU X, W, S, O c X~W{S{OVU X, W, S, P c X~W{S~PVU X, W, S, Q c (X{W{Q)~SVU X, W, S, R c (X~R|W)~SVU X, W, S, T c X~S{W~TVU X, W, S, W c (X{W)~S{WVU X, W, S, X c X~(W{SX)VU X, W, T, P c X~W{T|PVU X, W, T, Q c (XQ{T)~WVU X, W, T, S c X~S{W~TVU X, W, T, U c (X{T)~U|WVU X, W, T, V c X~V{W{TVU X, W, T, X c (X{W)~T|XVU X, W, U, Q c X~W{U|QVU X, W, U, R c (X{RU)~WVU X, W, U, T c (X{T)~U|WVU X, W, U, W c (XU{W)~WVU X, W, V, R c X~W{V|RVU X, W, V, T c X~V{W{TVU X, W, W, Q c X~W{WQVU X, W, W, R c X{W~W{RVU X, W, W, S c X~W{W|SVU X, W, W, U c (XU{W)~WVU X, W, X, R c X~X|W{RVU X, W, X, S c X~(W{SX)VU X, W, X, T c X{W~X|TVU X, X, O, T c X~X{O|TVU X, X, P, S c (X{X{P)~SVU X, X, P, T c X~X|P~TVU X, X, P, U c X~X{P|UVU X, X, Q, R c (X~X)|(Q{R)VU X, X, Q, V c X~X{Q|VVU X, X, R, Q c (X~X)|(R{Q)VU X, X, R, W c X~X{R|WVU X, X, S, P c (X~X)|(S{P)VU X, X, S, S c (X{X)~S{SVU X, X, S, V c X{X~V{SVU X, X, S, W c X~(SX{W)VU X, X, S, X c X~X{S|XVU X, X, T, O c X~X|T{OVU X, X, T, P c X~X|T~PVU X, X, T, W c X{X~W|TVU X, X, T, X c X~(X|TX)VU X, X, U, P c X~X|U{PVU X, X, V, Q c X~X|V{QVU X, X, V, S c X{X~V{SVU X, X, W, R c X~X|W{RVU X, X, W, S c X~(W{SX)VU X, X, W, T c X{X~W|TVU X, X, X, S c X~X|X{SVU X, X, X, T c X~(X|TX)VU