O, P, W, X c O{W~X|PVP O, P, X, W c O{X~W|PVP O, V, W, W c O{V{W~WVP O, V, W, X c O{V~X{WVP O, V, X, W c O{V~X{WVP O, W, P, X c O{W~X|PVP O, W, V, W c O{W~W{VVP O, W, V, X c O{W{V~XVP O, W, W, V c O{W~W{VVP O, W, X, P c O{W~X|PVP O, W, X, V c O{W{X~VVP O, X, P, W c O{X~W|PVP O, X, V, W c O{X~V{WVP O, X, W, P c O{X~W|PVP O, X, W, V c O{X~V{WVP P, O, W, X c O{W~X|PVP P, O, X, W c O{X~W|PVP P, P, V, X c P{(P{X)~VVP P, P, W, W c (P{W)~W|PVP P, P, W, X c P~W~X|PVP P, P, X, V c P{(P{X)~VVP P, P, X, W c P~X~W|PVP P, P, X, X c (X|P)~X|PVP P, Q, S, X c Q~S~X|PVP P, Q, T, V c P{Q~T~VVP P, Q, U, U c Q~U~U|PVP P, Q, U, X c (Q{U)~X|PVP P, Q, V, T c P{Q~V~TVP P, Q, V, W c P{(Q{W)~VVP P, Q, W, V c P{(Q{W)~VVP P, Q, W, X c P{W~X|QVP P, Q, X, S c Q~X~S|PVP P, Q, X, U c (Q{U)~X|PVP P, Q, X, W c P{X~W|QVP P, R, R, W c R~R~W|PVP P, R, S, U c R~S~U|PVP P, R, T, X c (R{T)~X|PVP P, R, U, S c R~U~S|PVP P, R, U, W c (R{U)~W|PVP P, R, U, X c (R{X)~U|PVP P, R, V, V c P{(R{V)~VVP P, R, W, R c R~W~R|PVP P, R, W, U c (R{U)~W|PVP P, R, X, T c (R{T)~X|PVP P, R, X, U c (R{X)~U|PVP P, S, Q, X c S~Q~X|PVP P, S, R, U c S~R~U|PVP P, S, S, X c (S{S)~X|PVP P, S, T, W c (S{T)~W|PVP P, S, U, R c S~U~R|PVP P, S, U, V c P{(S{U)~VVP P, S, U, W c (S{W)~U|PVP P, S, V, U c P{(S{U)~VVP P, S, W, T c (S{T)~W|PVP P, S, W, U c (S{W)~U|PVP P, S, X, Q c S~X~Q|PVP P, S, X, S c (S{S)~X|PVP P, S, X, X c S~(X{X)|PVP P, T, Q, V c P{T~Q~VVP P, T, R, X c (T{R)~X|PVP P, T, S, W c (T{S)~W|PVP P, T, T, V c P{(T{T)~VVP P, T, T, X c P{T~(T{X)VP P, T, U, V c (T{V)~U|PVP P, T, U, W c P{T~(U{W)VP P, T, V, Q c P{T~V~QVP P, T, V, T c P{(T{T)~VVP P, T, V, U c (T{V)~U|PVP P, T, V, V c P{T~(V{V)VP P, T, W, S c (T{S)~W|PVP P, T, W, U c P{T~(W{U)VP P, T, X, R c (T{R)~X|PVP P, T, X, T c P{(T{X)~TVP P, U, Q, U c U~Q~U|PVP P, U, Q, X c (U{Q)~X|PVP P, U, R, S c U~R~S|PVP P, U, R, W c (U{R)~W|PVP P, U, R, X c U~(R{X)|PVP P, U, S, R c U~S~R|PVP P, U, S, V c P{(U{S)~VVP P, U, S, W c U~(S{W)|PVP P, U, T, V c U~(T{V)|PVP P, U, T, W c P{(U{W)~TVP P, U, U, Q c U~U~Q|PVP P, U, U, U c (U{U)~U|PVP P, U, V, S c P{(U{S)~VVP P, U, V, T c U~(V{T)|PVP P, U, W, R c (U{R)~W|PVP P, U, W, S c U~(W{S)|PVP P, U, W, T c P{(U{W)~TVP P, U, W, W c P{U{W~WVP P, U, W, X c (P{U)~X{WVP P, U, X, Q c (U{Q)~X|PVP P, U, X, R c U~(X{R)|PVP P, U, X, W c (P{U)~X{WVP P, V, P, X c P{V~(P{X)VP P, V, Q, T c P{V~Q~TVP P, V, Q, W c P{V~(Q{W)VP P, V, R, V c P{(V{R)~VVP P, V, S, U c P{V~(S{U)VP P, V, T, Q c P{V~T~QVP P, V, T, T c P{V~(T{T)VP P, V, T, U c (V{T)~U|PVP P, V, T, V c P{(V{V)~TVP P, V, U, S c P{V~(U{S)VP P, V, U, T c (V{T)~U|PVP P, V, V, R c P{V~(V{R)VP P, V, V, T c P{(V{V)~TVP P, V, V, W c (P{V)~W{VVP P, V, V, X c P{V{V~XVP P, V, W, Q c P{V~(W{Q)VP P, V, W, V c (P{V)~W{VVP P, V, W, W c P~V{W~WVP P, V, W, X c P~V~X{WVP P, V, X, P c P{V~(X{P)VP P, V, X, V c P{V{X~VVP P, V, X, W c P~V~X{WVP P, V, X, X c V~X|P{XVP P, W, O, X c (W{O)~X|PVP P, W, P, W c (P{W)~W|PVP P, W, P, X c P~W~X|PVP P, W, Q, V c P{(W{Q)~VVP P, W, Q, X c P{W~X|QVP P, W, R, R c W~R~R|PVP P, W, R, U c W~(R{U)|PVP P, W, S, T c W~(S{T)|PVP P, W, S, U c (W{S)~U|PVP P, W, T, S c W~(T{S)|PVP P, W, T, U c P{(W{U)~TVP P, W, U, R c W~(U{R)|PVP P, W, U, S c (W{S)~U|PVP P, W, U, T c P{(W{U)~TVP P, W, U, W c P{W~W{UVP P, W, U, X c (P{U)~X{WVP P, W, V, Q c P{(W{Q)~VVP P, W, V, V c (P{V)~W{VVP P, W, V, W c (P{W)~V{WVP P, W, V, X c P~W{V~XVP P, W, W, P c (P{W)~W|PVP P, W, W, U c P{W~W{UVP P, W, W, V c P~W~W{VVP P, W, W, W c W|P{W~WVP P, W, W, X c (W|P)~X{WVP P, W, X, O c W~X|P{OVP P, W, X, P c P~W~X|PVP P, W, X, Q c P{W~X|QVP P, W, X, U c (P{U)~X{WVP P, W, X, V c P~W{X~VVP P, W, X, W c (W|P)~X{WVP P, W, X, X c (P{X)~W|XVP P, X, O, W c (X{O)~W|PVP P, X, P, V c P{(X{P)~VVP P, X, P, W c P~X~W|PVP P, X, P, X c (X|P)~X|PVP P, X, Q, S c X~Q~S|PVP P, X, Q, U c X~(Q{U)|PVP P, X, Q, W c P{X~W|QVP P, X, R, T c X~(R{T)|PVP P, X, R, U c (X{R)~U|PVP P, X, S, Q c X~S~Q|PVP P, X, S, S c X~(S{S)|PVP P, X, S, X c (X{X)~S|PVP P, X, T, R c X~(T{R)|PVP P, X, T, T c P{(X{T)~TVP P, X, U, Q c X~(U{Q)|PVP P, X, U, R c (X{R)~U|PVP P, X, U, W c (P{U)~X{WVP P, X, V, P c (P{X)~V{PVP P, X, V, V c P{X~V{VVP P, X, V, W c P~X~V{WVP P, X, V, X c X|P{V~XVP P, X, W, O c X~W|P{OVP P, X, W, P c P~X~W|PVP P, X, W, Q c P{X~W|QVP P, X, W, U c (P{U)~X{WVP P, X, W, V c P~X~V{WVP P, X, W, W c (X|PW)~WVP P, X, W, X c (P{X)~W|XVP P, X, X, P c (X|P)~X|PVP P, X, X, S c (X{X)~S|PVP P, X, X, V c X|P{X~VVP P, X, X, W c (P{X)~W|XVP P, X, X, X c (X~X)|(P{X)VP Q, P, S, X c Q~S~X|PVP Q, P, T, V c Q~T~V{PVP Q, P, U, U c Q~U~U|PVP Q, P, U, X c (Q{U)~X|PVP Q, P, V, T c Q~V~T{PVP Q, P, V, W c (Q{V)~W|PVP Q, P, W, V c (Q{W)~V{PVP Q, P, W, X c P{W~X|QVP Q, P, X, S c Q~X~S|PVP Q, P, X, U c (Q{U)~X|PVP Q, P, X, W c P{X~W|QVP Q, Q, W, X c W~X|QQVP Q, Q, X, W c X~W|QQVP Q, R, W, X c Q{W~X|RVP Q, R, X, W c Q{X~W|RVP Q, S, P, X c Q~S~X|PVP Q, S, V, W c Q~S~W{VVP Q, S, V, X c Q~S{V~XVP Q, S, W, V c Q~S~W{VVP Q, S, X, P c Q~S~X|PVP Q, S, X, V c Q~S{X~VVP Q, T, P, V c Q~T~V{PVP Q, T, U, X c (Q{X)~U{TVP Q, T, V, P c Q~T~V{PVP Q, T, W, W c Q{T{W~WVP Q, T, W, X c Q~T~W|XVP Q, T, X, U c (Q{X)~U{TVP Q, T, X, W c (Q{T)~X{WVP Q, T, X, X c X~X|Q~TVP Q, U, P, U c Q~U~U|PVP Q, U, P, X c (Q{U)~X|PVP Q, U, T, X c (Q{X)~U{TVP Q, U, U, P c Q~U~U|PVP Q, U, V, W c (Q{U)~W{VVP Q, U, V, X c Q{U{V~XVP Q, U, W, V c (Q{U)~W{VVP Q, U, X, P c (Q{U)~X|PVP Q, U, X, T c (Q{X)~U{TVP Q, U, X, V c Q{U{X~VVP Q, V, P, T c Q~V~T{PVP Q, V, P, W c (Q{V)~W|PVP Q, V, S, W c Q~S~W{VVP Q, V, S, X c Q~S{V~XVP Q, V, T, P c Q~V~T{PVP Q, V, U, W c (Q{U)~W{VVP Q, V, U, X c Q{V~X{UVP Q, V, V, W c (Q{V)~V{WVP Q, V, W, P c (Q{V)~W|PVP Q, V, W, S c Q~W~S{VVP Q, V, W, U c (Q{U)~W{VVP Q, V, W, V c (Q{V)~V{WVP Q, V, X, S c Q~S{V~XVP Q, V, X, U c Q{V~X{UVP Q, W, P, V c (Q{W)~V{PVP Q, W, P, X c W~X|Q{PVP Q, W, Q, X c W~X|QQVP Q, W, R, X c Q{W~X|RVP Q, W, S, V c Q~W~S{VVP Q, W, T, W c Q{W~W{TVP Q, W, T, X c Q~W~T|XVP Q, W, U, V c (Q{U)~W{VVP Q, W, V, P c (Q{W)~V{PVP Q, W, V, S c Q~W~S{VVP Q, W, V, U c (Q{U)~W{VVP Q, W, V, V c (Q{V)~V{WVP Q, W, W, T c Q{W~W{TVP Q, W, W, X c (Q{W)~W|XVP Q, W, X, P c W~X|Q{PVP Q, W, X, Q c W~X|QQVP Q, W, X, R c Q{W~X|RVP Q, W, X, T c Q~W~T|XVP Q, W, X, W c (Q{W)~W|XVP Q, W, X, X c W{(X|Q)~XVP Q, X, P, S c Q~X~S|PVP Q, X, P, U c (Q{U)~X|PVP Q, X, P, W c X~W|Q{PVP Q, X, Q, W c X~W|QQVP Q, X, R, W c Q{X~W|RVP Q, X, S, P c Q~X~S|PVP Q, X, S, V c Q~S{X~VVP Q, X, T, U c (Q{X)~U{TVP Q, X, T, W c (Q{T)~X{WVP Q, X, T, X c X~X|Q~TVP Q, X, U, P c (Q{U)~X|PVP Q, X, U, T c (Q{X)~U{TVP Q, X, U, V c Q{X~V{UVP Q, X, V, S c Q~S{X~VVP Q, X, V, U c Q{X~V{UVP Q, X, W, P c X~W|Q{PVP Q, X, W, Q c X~W|QQVP Q, X, W, R c Q{X~W|RVP Q, X, W, T c Q~W~T|XVP Q, X, W, W c (Q{W)~W|XVP Q, X, W, X c (X|Q)~X{WVP Q, X, X, T c X~X|Q~TVP Q, X, X, W c (X|Q)~X{WVP R, P, R, W c R~R~W|PVP R, P, S, U c R~S~U|PVP R, P, T, X c (R{T)~X|PVP R, P, U, S c R~U~S|PVP R, P, U, W c (R{U)~W|PVP R, P, U, X c (R{X)~U|PVP R, P, V, V c (R{V)~V{PVP R, P, W, R c R~W~R|PVP R, P, W, U c (R{U)~W|PVP R, P, X, T c (R{T)~X|PVP R, P, X, U c (R{X)~U|PVP R, Q, W, X c Q{W~X|RVP R, Q, X, W c Q{X~W|RVP R, R, P, W c R~R~W|PVP R, R, V, W c R~R~V{WVP R, R, W, P c R~R~W|PVP R, R, W, V c R~R~V{WVP R, R, W, X c W~X|RRVP R, R, X, W c X~W|RRVP R, S, P, U c R~S~U|PVP R, S, T, T c R~T~T|SVP R, S, U, P c R~S~U|PVP R, S, W, W c R{S{W~WVP R, S, W, X c R{S~(W{X)VP R, S, X, W c (R{S)~X{WVP R, T, P, X c (R{T)~X|PVP R, T, S, T c R~T~T|SVP R, T, T, S c R~T~T|SVP R, T, U, W c (R{W)~U{TVP R, T, V, W c R~T{V~WVP R, T, V, X c R{T{V~XVP R, T, W, U c (R{W)~U{TVP R, T, W, V c (R{T)~W{VVP R, T, X, P c (R{T)~X|PVP R, T, X, V c R{T{X~VVP R, U, P, S c R~U~S|PVP R, U, P, W c (R{U)~W|PVP R, U, P, X c (R{X)~U|PVP R, U, S, P c R~U~S|PVP R, U, T, W c (R{W)~U{TVP R, U, V, W c (R{U)~V{WVP R, U, W, P c (R{U)~W|PVP R, U, W, T c (R{W)~U{TVP R, U, W, V c (R{U)~V{WVP R, U, X, P c (R{X)~U|PVP R, V, P, V c (R{V)~V{PVP R, V, R, W c R~V~R{WVP R, V, T, W c R~T{V~WVP R, V, T, X c R{V~X{TVP R, V, U, W c (R{U)~V{WVP R, V, V, P c (R{V)~V{PVP R, V, W, R c R~V~R{WVP R, V, W, T c R~T{V~WVP R, V, W, U c (R{W)~V|UVP R, V, W, X c (R{V)~W|XVP R, V, X, T c R{V~X{TVP R, V, X, W c (R{V)~W|XVP R, V, X, X c (X~X)|(R{V)VP R, W, P, R c R~W~R|PVP R, W, P, U c (R{U)~W|PVP R, W, Q, X c W~X|R{QVP R, W, R, P c R~W~R|PVP R, W, R, V c R~R~V{WVP R, W, R, X c W~X|RRVP R, W, S, W c R{W~W{SVP R, W, S, X c R{(W{X)~SVP R, W, T, U c (R{W)~U{TVP R, W, T, V c (R{T)~W{VVP R, W, U, P c (R{U)~W|PVP R, W, U, T c (R{W)~U{TVP R, W, U, V c (R{W)~V|UVP R, W, V, R c R~V~R{WVP R, W, V, T c (R{T)~W{VVP R, W, V, U c (R{W)~V|UVP R, W, V, X c (R{V)~W|XVP R, W, W, S c R{W~W{SVP R, W, X, Q c W~X|R{QVP R, W, X, R c W~X|RRVP R, W, X, S c R{(W{X)~SVP R, W, X, V c (R{V)~W|XVP R, X, P, T c (R{T)~X|PVP R, X, P, U c (R{X)~U|PVP R, X, Q, W c X~W|R{QVP R, X, R, W c X~W|RRVP R, X, S, W c R{(X{W)~SVP R, X, T, P c (R{T)~X|PVP R, X, T, V c R{X~V{TVP R, X, U, P c (R{X)~U|PVP R, X, V, T c R{X~V{TVP R, X, V, W c (R{V)~W|XVP R, X, V, X c (X~X)|(R{V)VP R, X, W, Q c X~W|R{QVP R, X, W, R c X~W|RRVP R, X, W, S c R{(X{W)~SVP R, X, W, V c (R{V)~W|XVP R, X, X, V c (X~X)|(R{V)VP S, P, Q, X c S~Q~X|PVP S, P, R, U c S~R~U|PVP S, P, S, X c (S{S)~X|PVP S, P, T, W c (S{T)~W|PVP S, P, U, R c S~U~R|PVP S, P, U, V c (S{U)~V{PVP S, P, U, W c (S{W)~U|PVP S, P, V, U c (S{U)~V{PVP S, P, W, T c (S{T)~W|PVP S, P, W, U c (S{W)~U|PVP S, P, X, Q c S~X~Q|PVP S, P, X, S c (S{S)~X|PVP S, P, X, X c S~(X{X)|PVP S, Q, P, X c S~Q~X|PVP S, Q, V, W c S~Q~W{VVP S, Q, V, X c S~Q{V~XVP S, Q, W, V c S~Q~W{VVP S, Q, X, P c S~Q~X|PVP S, Q, X, V c S~Q{X~VVP S, R, P, U c S~R~U|PVP S, R, T, T c R~T~T|SVP S, R, U, P c S~R~U|PVP S, R, W, W c S{R{W~WVP S, R, W, X c (S{R)~X{WVP S, R, X, W c (S{R)~X{WVP S, S, P, X c (S{S)~X|PVP S, S, S, V c S~S~S{VVP S, S, T, X c S~S~T|XVP S, S, V, S c S~S~S{VVP S, S, V, W c (S{S)~W{VVP S, S, V, X c S{S{V~XVP S, S, W, V c (S{S)~W{VVP S, S, W, X c W~X|SSVP S, S, X, P c (S{S)~X|PVP S, S, X, T c S~S~T|XVP S, S, X, V c S{S{X~VVP S, S, X, W c X~W|SSVP S, T, P, W c (S{T)~W|PVP S, T, R, T c T~R~T|SVP S, T, S, X c S~T~S|XVP S, T, T, R c T~T~R|SVP S, T, U, V c (S{V)~U{TVP S, T, U, X c (S{X)~T{UVP S, T, V, U c (S{V)~U{TVP S, T, V, W c (S{T)~V{WVP S, T, V, X c S~X{T~VVP S, T, W, P c (S{T)~W|PVP S, T, W, V c (S{T)~V{WVP S, T, W, X c S{W~X|TVP S, T, X, S c S~T~S|XVP S, T, X, U c (S{X)~T{UVP S, T, X, V c S~X{T~VVP S, T, X, W c S{X~W|TVP S, U, P, R c S~U~R|PVP S, U, P, V c (S{U)~V{PVP S, U, P, W c (S{W)~U|PVP S, U, R, P c S~U~R|PVP S, U, T, V c (S{V)~U{TVP S, U, T, X c (S{X)~T{UVP S, U, V, P c (S{U)~V{PVP S, U, V, T c (S{V)~U{TVP S, U, V, V c (S{V)~V|UVP S, U, V, X c (S{X)~U|VVP S, U, W, P c (S{W)~U|PVP S, U, W, X c (S{U)~W|XVP S, U, X, T c (S{X)~T{UVP S, U, X, V c (S{X)~U|VVP S, U, X, W c (S{U)~W|XVP S, U, X, X c (X~X)|(S{U)VP S, V, P, U c (S{U)~V{PVP S, V, Q, W c S~Q~W{VVP S, V, Q, X c S~Q{V~XVP S, V, S, S c S~S~S{VVP S, V, S, W c (S{S)~W{VVP S, V, S, X c S{V~X{SVP S, V, T, U c (S{V)~U{TVP S, V, T, W c (S{T)~V{WVP S, V, T, X c S~X{V~TVP S, V, U, P c (S{U)~V{PVP S, V, U, T c (S{V)~U{TVP S, V, U, V c (S{V)~V|UVP S, V, U, X c (S{X)~U|VVP S, V, V, U c (S{V)~V|UVP S, V, V, X c S~(V{X){VVP S, V, W, Q c S~W~Q{VVP S, V, W, S c (S{S)~W{VVP S, V, W, T c (S{T)~V{WVP S, V, W, W c S~(W{W){VVP S, V, X, Q c S~Q{V~XVP S, V, X, S c S{V~X{SVP S, V, X, T c S~X{V~TVP S, V, X, U c (S{X)~U|VVP S, V, X, V c S~(V{X){VVP S, W, P, T c (S{T)~W|PVP S, W, P, U c (S{W)~U|PVP S, W, Q, V c S~W~Q{VVP S, W, R, W c S{W~W{RVP S, W, R, X c S~(W{X){RVP S, W, S, V c (S{S)~W{VVP S, W, S, X c W~X|SSVP S, W, T, P c (S{T)~W|PVP S, W, T, V c (S{T)~V{WVP S, W, T, X c S{W~X|TVP S, W, U, P c (S{W)~U|PVP S, W, U, X c (S{U)~W|XVP S, W, V, Q c S~W~Q{VVP S, W, V, S c (S{S)~W{VVP S, W, V, T c (S{T)~V{WVP S, W, V, W c S~(W{W){VVP S, W, W, R c S{W~W{RVP S, W, W, V c S~(W{W){VVP S, W, X, R c S~(W{X){RVP S, W, X, S c W~X|SSVP S, W, X, T c S{W~X|TVP S, W, X, U c (S{U)~W|XVP S, X, P, Q c S~X~Q|PVP S, X, P, S c (S{S)~X|PVP S, X, P, X c S~(X{X)|PVP S, X, Q, P c S~X~Q|PVP S, X, Q, V c S~Q{X~VVP S, X, R, W c S~(X{W){RVP S, X, S, P c (S{S)~X|PVP S, X, S, T c S~S~T|XVP S, X, S, V c S{X~V{SVP S, X, S, W c X~W|SSVP S, X, T, S c S~T~S|XVP S, X, T, U c (S{X)~T{UVP S, X, T, V c S~X{T~VVP S, X, T, W c S{X~W|TVP S, X, U, T c (S{X)~T{UVP S, X, U, V c (S{X)~U|VVP S, X, U, W c (S{U)~W|XVP S, X, U, X c (X~X)|(S{U)VP S, X, V, Q c S~Q{X~VVP S, X, V, S c S{X~V{SVP S, X, V, T c S~X{V~TVP S, X, V, U c (S{X)~U|VVP S, X, V, V c S~(X{V){VVP S, X, W, R c S~(X{W){RVP S, X, W, S c X~W|SSVP S, X, W, T c S{X~W|TVP S, X, W, U c (S{U)~W|XVP S, X, X, P c S~(X{X)|PVP S, X, X, U c (X~X)|(S{U)VP T, P, Q, V c T~Q~V{PVP T, P, R, X c (T{R)~X|PVP T, P, S, W c (T{S)~W|PVP T, P, T, V c (T{T)~V{PVP T, P, T, X c T~(T{X){PVP T, P, U, V c (T{V)~U|PVP T, P, U, W c T~(U{W){PVP T, P, V, Q c T~V~Q{PVP T, P, V, T c (T{T)~V{PVP T, P, V, U c (T{V)~U|PVP T, P, V, V c T~(V{V){PVP T, P, W, S c (T{S)~W|PVP T, P, W, U c T~(W{U){PVP T, P, X, R c (T{R)~X|PVP T, P, X, T c (T{X)~T{PVP T, Q, P, V c T~Q~V{PVP T, Q, U, X c T{(Q{X)~UVP T, Q, V, P c T~Q~V{PVP T, Q, W, W c T{Q{W~WVP T, Q, W, X c T~Q~W|XVP T, Q, X, U c T{(Q{X)~UVP T, Q, X, W c (T{Q)~X{WVP T, Q, X, X c X~X|T~QVP T, R, P, X c (T{R)~X|PVP T, R, S, T c T~R~T|SVP T, R, T, S c T~R~T|SVP T, R, U, W c T{(R{W)~UVP T, R, V, W c T~R{V~WVP T, R, V, X c T{R{V~XVP T, R, W, U c T{(R{W)~UVP T, R, W, V c (T{R)~W{VVP T, R, X, P c (T{R)~X|PVP T, R, X, V c T{R{X~VVP T, S, P, W c (T{S)~W|PVP T, S, R, T c T~R~T|SVP T, S, S, X c T~S~S|XVP T, S, T, R c T~T~R|SVP T, S, U, V c T{(S{V)~UVP T, S, U, X c T~(S{X){UVP T, S, V, U c T{(S{V)~UVP T, S, V, W c (T{S)~V{WVP T, S, V, X c T~V{S~XVP T, S, W, P c (T{S)~W|PVP T, S, W, V c (T{S)~V{WVP T, S, W, X c S{W~X|TVP T, S, X, S c T~S~S|XVP T, S, X, U c T~(S{X){UVP T, S, X, V c T~V{S~XVP T, S, X, W c S{X~W|TVP T, T, P, V c (T{T)~V{PVP T, T, P, X c T~(T{X){PVP T, T, R, S c T~T~R|SVP T, T, S, R c T~T~R|SVP T, T, U, U c T{(T{U)~UVP T, T, U, W c T~(T{W){UVP T, T, V, P c (T{T)~V{PVP T, T, W, U c T~(T{W){UVP T, T, W, X c (T{T)~W|XVP T, T, X, P c T~(T{X){PVP T, T, X, W c (T{T)~W|XVP T, T, X, X c (X~X)|(T{T)VP T, U, P, V c (T{V)~U|PVP T, U, P, W c T~(U{W){PVP T, U, Q, X c T{U~(Q{X)VP T, U, R, W c T{U~(R{W)VP T, U, S, V c T{U~(S{V)VP T, U, S, X c T~(U{X)|SVP T, U, T, U c T{(U{T)~UVP T, U, T, W c T~(T{W){UVP T, U, U, T c (T{U)~U{TVP T, U, U, V c (T{U)~V|UVP T, U, V, P c (T{V)~U|PVP T, U, V, S c T{U~(V{S)VP T, U, V, U c (T{U)~V|UVP T, U, V, W c (T{W)~U|VVP T, U, W, P c T~(U{W){PVP T, U, W, R c T{U~(W{R)VP T, U, W, T c (T{W)~T{UVP T, U, W, V c (T{W)~U|VVP T, U, W, X c T{W~X|UVP T, U, X, Q c T{U~(X{Q)VP T, U, X, S c T~(U{X)|SVP T, U, X, W c T{X~W|UVP T, V, P, Q c T~V~Q{PVP T, V, P, T c (T{T)~V{PVP T, V, P, U c (T{V)~U|PVP T, V, P, V c T~(V{V){PVP T, V, Q, P c T~V~Q{PVP T, V, R, W c T~R{V~WVP T, V, R, X c T{V~X{RVP T, V, S, U c T{(V{S)~UVP T, V, S, W c T~(V{W)|SVP T, V, S, X c T~V{S~XVP T, V, T, P c (T{T)~V{PVP T, V, U, P c (T{V)~U|PVP T, V, U, S c T{(V{S)~UVP T, V, U, U c T~(V{U){UVP T, V, U, W c (T{W)~U|VVP T, V, V, P c T~(V{V){PVP T, V, W, R c T~R{V~WVP T, V, W, S c T~(V{W)|SVP T, V, W, U c (T{W)~U|VVP T, V, X, R c T{V~X{RVP T, V, X, S c T~V{X~SVP T, V, X, X c T~(V{X)|XVP T, W, P, S c (T{S)~W|PVP T, W, P, U c T~(W{U){PVP T, W, Q, W c T{W~W{QVP T, W, Q, X c T~W~Q|XVP T, W, R, U c T{(W{R)~UVP T, W, R, V c (T{R)~W{VVP T, W, S, P c (T{S)~W|PVP T, W, S, V c T~(W{V)|SVP T, W, S, X c W~X|T{SVP T, W, T, U c (T{W)~T{UVP T, W, T, X c (T{T)~W|XVP T, W, U, P c T~(W{U){PVP T, W, U, R c T{(W{R)~UVP T, W, U, T c (T{W)~T{UVP T, W, U, V c (T{W)~U|VVP T, W, U, X c T{W~X|UVP T, W, V, R c (T{R)~W{VVP T, W, V, S c T~(W{V)|SVP T, W, V, U c (T{W)~U|VVP T, W, W, Q c T{W~W{QVP T, W, W, X c T~(W{W)|XVP T, W, X, Q c T~W~Q|XVP T, W, X, S c W~X|T{SVP T, W, X, T c (T{T)~W|XVP T, W, X, U c T{W~X|UVP T, W, X, W c T~(W{W)|XVP T, X, P, R c (T{R)~X|PVP T, X, P, T c (T{X)~T{PVP T, X, Q, U c T{(X{Q)~UVP T, X, Q, W c (T{Q)~X{WVP T, X, Q, X c X~X|T~QVP T, X, R, P c (T{R)~X|PVP T, X, R, V c T{X~V{RVP T, X, S, S c T~S~S|XVP T, X, S, U c T~(X{S){UVP T, X, S, V c T~V{X~SVP T, X, S, W c X~W|T{SVP T, X, T, P c (T{X)~T{PVP T, X, T, W c (T{T)~W|XVP T, X, T, X c (X~X)|(T{T)VP T, X, U, Q c T{(X{Q)~UVP T, X, U, S c T~(X{U)|SVP T, X, U, W c T{X~W|UVP T, X, V, R c T{X~V{RVP T, X, V, S c T~V{X~SVP T, X, V, X c T~(X{V)|XVP T, X, W, Q c T~W~Q|XVP T, X, W, S c X~W|T{SVP T, X, W, T c (T{T)~W|XVP T, X, W, U c T{X~W|UVP T, X, W, W c T~(W{W)|XVP T, X, X, Q c X~X|T~QVP T, X, X, T c (X~X)|(T{T)VP T, X, X, V c T~(X{V)|XVP U, P, Q, U c U~Q~U|PVP U, P, Q, X c (U{Q)~X|PVP U, P, R, S c U~R~S|PVP U, P, R, W c (U{R)~W|PVP U, P, R, X c U~(R{X)|PVP U, P, S, R c U~S~R|PVP U, P, S, V c (U{S)~V{PVP U, P, S, W c U~(S{W)|PVP U, P, T, V c U~(T{V)|PVP U, P, T, W c (U{W)~T{PVP U, P, U, Q c U~U~Q|PVP U, P, U, U c (U{U)~U|PVP U, P, V, S c (U{S)~V{PVP U, P, V, T c U~(V{T)|PVP U, P, W, R c (U{R)~W|PVP U, P, W, S c U~(W{S)|PVP U, P, W, T c (U{W)~T{PVP U, P, W, W c U{P{W~WVP U, P, W, X c (U{P)~X{WVP U, P, X, Q c (U{Q)~X|PVP U, P, X, R c U~(X{R)|PVP U, P, X, W c (U{P)~X{WVP U, Q, P, U c U~Q~U|PVP U, Q, P, X c (U{Q)~X|PVP U, Q, T, X c U~(Q{X){TVP U, Q, U, P c U~Q~U|PVP U, Q, V, W c (U{Q)~W{VVP U, Q, V, X c U{Q{V~XVP U, Q, W, V c (U{Q)~W{VVP U, Q, X, P c (U{Q)~X|PVP U, Q, X, T c U~(Q{X){TVP U, Q, X, V c U{Q{X~VVP U, R, P, S c U~R~S|PVP U, R, P, W c (U{R)~W|PVP U, R, P, X c U~(R{X)|PVP U, R, S, P c U~R~S|PVP U, R, T, W c U~(R{W){TVP U, R, V, W c (U{R)~V{WVP U, R, W, P c (U{R)~W|PVP U, R, W, T c U~(R{W){TVP U, R, W, V c (U{R)~V{WVP U, R, X, P c U~(R{X)|PVP U, S, P, R c U~S~R|PVP U, S, P, V c (U{S)~V{PVP U, S, P, W c U~(S{W)|PVP U, S, R, P c U~S~R|PVP U, S, T, V c U~(S{V){TVP U, S, T, X c U{(S{X)~TVP U, S, V, P c (U{S)~V{PVP U, S, V, T c U~(S{V){TVP U, S, V, V c (S{V)~V|UVP U, S, V, X c U~(S{X)|VVP U, S, W, P c U~(S{W)|PVP U, S, W, X c (U{S)~W|XVP U, S, X, T c U{(S{X)~TVP U, S, X, V c U~(S{X)|VVP U, S, X, W c (U{S)~W|XVP U, S, X, X c (X~X)|(U{S)VP U, T, P, V c U~(T{V)|PVP U, T, P, W c (U{W)~T{PVP U, T, Q, X c U~(Q{X){TVP U, T, R, W c U~(R{W){TVP U, T, S, V c U~(S{V){TVP U, T, S, X c U{T~(S{X)VP U, T, T, U c (U{T)~U{TVP U, T, T, W c U{T~(T{W)VP U, T, U, T c (U{T)~U{TVP U, T, U, V c U{T~(U{V)VP U, T, V, P c U~(T{V)|PVP U, T, V, S c U~(V{S){TVP U, T, V, U c U{T~(V{U)VP U, T, V, W c U~(T{W)|VVP U, T, W, P c (U{W)~T{PVP U, T, W, R c U~(W{R){TVP U, T, W, T c U{(T{W)~TVP U, T, W, V c U~(T{W)|VVP U, T, W, X c T{W~X|UVP U, T, X, Q c U~(X{Q){TVP U, T, X, S c U{T~(X{S)VP U, T, X, W c T{X~W|UVP U, U, P, Q c U~U~Q|PVP U, U, P, U c (U{U)~U|PVP U, U, Q, P c U~U~Q|PVP U, U, T, T c U~(U{T){TVP U, U, T, V c U~U{T~VVP U, U, U, P c (U{U)~U|PVP U, U, V, T c U{(U{V)~TVP U, U, V, V c U~(U{V)|VVP U, U, W, X c W~X|UUVP U, U, X, W c X~W|UUVP U, V, P, S c (U{S)~V{PVP U, V, P, T c U~(V{T)|PVP U, V, Q, W c (U{Q)~W{VVP U, V, Q, X c U{V~X{QVP U, V, R, W c (U{R)~V{WVP U, V, S, P c (U{S)~V{PVP U, V, S, T c U~(V{S){TVP U, V, S, V c (V{S)~V|UVP U, V, S, X c U~(S{X)|VVP U, V, T, P c U~(V{T)|PVP U, V, T, S c U~(V{S){TVP U, V, T, U c (U{V)~T{UVP U, V, T, W c U~(T{W)|VVP U, V, U, T c U{(V{U)~TVP U, V, U, V c (U{V)~U|VVP U, V, V, S c V~(V{S)|UVP U, V, V, U c (U{V)~U|VVP U, V, W, Q c (U{Q)~W{VVP U, V, W, R c (U{R)~V{WVP U, V, W, T c U~(W{T)|VVP U, V, W, X c U{V~W{XVP U, V, X, Q c U{V~X{QVP U, V, X, S c U~(X{S)|VVP U, V, X, W c U{V~W{XVP U, W, P, R c (U{R)~W|PVP U, W, P, S c U~(W{S)|PVP U, W, P, T c (U{W)~T{PVP U, W, P, W c U{W~W{PVP U, W, P, X c (U{P)~X{WVP U, W, Q, V c (U{Q)~W{VVP U, W, R, P c (U{R)~W|PVP U, W, R, T c U~(W{R){TVP U, W, R, V c (U{R)~V{WVP U, W, S, P c U~(W{S)|PVP U, W, S, X c (U{S)~W|XVP U, W, T, P c (U{W)~T{PVP U, W, T, R c U~(W{R){TVP U, W, T, T c U{(W{T)~TVP U, W, T, V c U~(W{T)|VVP U, W, T, X c W~X|U{TVP U, W, U, X c W~X|UUVP U, W, V, Q c (U{Q)~W{VVP U, W, V, R c (U{R)~V{WVP U, W, V, T c U~(W{T)|VVP U, W, V, X c U{W~V{XVP U, W, W, P c U{W~W{PVP U, W, X, P c (U{P)~X{WVP U, W, X, S c (U{S)~W|XVP U, W, X, T c W~X|U{TVP U, W, X, U c W~X|UUVP U, W, X, V c U{W~X|VVP U, W, X, X c U~X{W{XVP U, X, P, Q c (U{Q)~X|PVP U, X, P, R c U~(X{R)|PVP U, X, P, W c (U{P)~X{WVP U, X, Q, P c (U{Q)~X|PVP U, X, Q, T c U~(X{Q){TVP U, X, Q, V c U{X~V{QVP U, X, R, P c U~(X{R)|PVP U, X, S, T c U{(X{S)~TVP U, X, S, V c U~(X{S)|VVP U, X, S, W c (U{S)~W|XVP U, X, S, X c (X~X)|(U{S)VP U, X, T, Q c U~(X{Q){TVP U, X, T, S c (U{X)~T|SVP U, X, T, W c X~W|U{TVP U, X, U, W c X~W|UUVP U, X, V, Q c U{X~V{QVP U, X, V, S c U~(X{S)|VVP U, X, V, W c U{X{V~WVP U, X, W, P c (U{P)~X{WVP U, X, W, S c (U{S)~W|XVP U, X, W, T c X~W|U{TVP U, X, W, U c X~W|UUVP U, X, W, V c U{X{W~VVP U, X, W, X c U~X{W{XVP U, X, X, S c (X~X)|(U{S)VP U, X, X, W c U~X{X{WVP V, O, W, W c V{O{W~WVP V, O, W, X c (V{O)~X{WVP V, O, X, W c (V{O)~X{WVP V, P, P, X c (V{P)~X|PVP V, P, Q, T c V~Q~T{PVP V, P, Q, W c (V{Q)~W|PVP V, P, R, V c (V{R)~V{PVP V, P, S, U c V~(S{U){PVP V, P, T, Q c V~T~Q{PVP V, P, T, T c V~(T{T){PVP V, P, T, U c (V{T)~U|PVP V, P, T, V c (V{V)~T{PVP V, P, U, S c V~(U{S){PVP V, P, U, T c (V{T)~U|PVP V, P, V, R c V~(V{R){PVP V, P, V, T c (V{V)~T{PVP V, P, V, W c V{(P{V)~WVP V, P, V, X c V{P{V~XVP V, P, W, Q c V~(W{Q){PVP V, P, W, V c (V{P)~W{VVP V, P, W, W c V{P~W~WVP V, P, W, X c V~P~X{WVP V, P, X, P c (V{P)~X|PVP V, P, X, V c V{P{X~VVP V, P, X, W c V~P~X{WVP V, P, X, X c V~X|P{XVP V, Q, P, T c V~Q~T{PVP V, Q, P, W c (V{Q)~W|PVP V, Q, S, W c V{Q~S~WVP V, Q, S, X c V~X{Q~SVP V, Q, T, P c V~Q~T{PVP V, Q, U, W c V{(Q{U)~WVP V, Q, U, X c V~(Q{X)|UVP V, Q, V, W c (V{Q)~V{WVP V, Q, W, P c (V{Q)~W|PVP V, Q, W, S c V{Q~W~SVP V, Q, W, U c V{(Q{U)~WVP V, Q, W, V c (V{Q)~V{WVP V, Q, X, S c V~X{Q~SVP V, Q, X, U c V~(Q{X)|UVP V, R, P, V c (V{R)~V{PVP V, R, R, W c V~R~R{WVP V, R, T, W c V{(R{T)~WVP V, R, T, X c V~X{R{TVP V, R, U, W c V~(R{U){WVP V, R, V, P c (V{R)~V{PVP V, R, W, R c V~R~R{WVP V, R, W, T c V{(R{T)~WVP V, R, W, U c V~(R{W)|UVP V, R, W, X c (V{R)~W|XVP V, R, X, T c V~X{R{TVP V, R, X, W c (V{R)~W|XVP V, R, X, X c (X~X)|(V{R)VP V, S, P, U c V~(S{U){PVP V, S, Q, W c V{S~Q~WVP V, S, Q, X c V~X{S~QVP V, S, S, S c V{S~S~SVP V, S, S, W c V{(S{S)~WVP V, S, S, X c V~X{S{SVP V, S, T, U c (V{S)~U{TVP V, S, T, W c V~(S{T){WVP V, S, T, X c V~T{S~XVP V, S, U, P c V~(S{U){PVP V, S, U, T c (V{S)~U{TVP V, S, U, V c (V{S)~V|UVP V, S, U, X c (S{X)~U|VVP V, S, V, U c (V{S)~V|UVP V, S, V, X c V{S~(V{X)VP V, S, W, Q c V{S~W~QVP V, S, W, S c V{(S{S)~WVP V, S, W, T c V~(S{T){WVP V, S, W, W c V{S~(W{W)VP V, S, X, Q c V~X{S~QVP V, S, X, S c V~X{S{SVP V, S, X, T c V~T{S~XVP V, S, X, U c (S{X)~U|VVP V, S, X, V c V{S~(X{V)VP V, T, P, Q c V~T~Q{PVP V, T, P, T c V~(T{T){PVP V, T, P, U c (V{T)~U|PVP V, T, P, V c (V{V)~T{PVP V, T, Q, P c V~T~Q{PVP V, T, R, W c V{(T{R)~WVP V, T, R, X c V~X{T{RVP V, T, S, U c (V{S)~U{TVP V, T, S, W c V~(T{S){WVP V, T, S, X c V~T{S~XVP V, T, T, P c V~(T{T){PVP V, T, U, P c (V{T)~U|PVP V, T, U, S c (V{S)~U{TVP V, T, U, U c V~(T{U)|UVP V, T, U, W c (T{W)~U|VVP V, T, V, P c (V{V)~T{PVP V, T, W, R c V{(T{R)~WVP V, T, W, S c V~(T{S){WVP V, T, W, U c (T{W)~U|VVP V, T, X, R c V~X{T{RVP V, T, X, S c V~T{X~SVP V, T, X, X c (V{X)~T|XVP V, U, P, S c V~(U{S){PVP V, U, P, T c (V{T)~U|PVP V, U, Q, W c V{(U{Q)~WVP V, U, Q, X c V~(Q{X)|UVP V, U, R, W c V~(U{R){WVP V, U, S, P c V~(U{S){PVP V, U, S, T c (V{S)~U{TVP V, U, S, V c (V{S)~V|UVP V, U, S, X c U~(S{X)|VVP V, U, T, P c (V{T)~U|PVP V, U, T, S c (V{S)~U{TVP V, U, T, U c (V{U)~T{UVP V, U, T, W c U~(T{W)|VVP V, U, U, T c (V{U)~T{UVP V, U, U, V c (V{U)~U|VVP V, U, V, S c V~(V{S)|UVP V, U, V, U c (V{U)~U|VVP V, U, W, Q c V{(U{Q)~WVP V, U, W, R c V~(U{R){WVP V, U, W, T c U~(W{T)|VVP V, U, W, X c V~W{U{XVP V, U, X, Q c V~X{U{QVP V, U, X, S c U~(X{S)|VVP V, U, X, W c V~W{U{XVP V, V, P, R c V~(V{R){PVP V, V, P, T c (V{V)~T{PVP V, V, P, W c V{(V{P)~WVP V, V, P, X c V{V~X{PVP V, V, Q, W c V~(V{Q){WVP V, V, R, P c V~(V{R){PVP V, V, S, U c V~(V{S)|UVP V, V, S, X c V{(V{X)~SVP V, V, T, P c (V{V)~T{PVP V, V, U, S c V~(V{S)|UVP V, V, U, U c (V{U)~U|VVP V, V, W, P c V{(V{P)~WVP V, V, W, Q c V~(V{Q){WVP V, V, W, W c V{V~W{WVP V, V, W, X c V~(WV{X)VP V, V, X, P c V{V~X{PVP V, V, X, S c V{(V{X)~SVP V, V, X, W c V~(X{WV)VP V, W, O, W c V{(W{O)~WVP V, W, O, X c (V{O)~X{WVP V, W, P, Q c V~(W{Q){PVP V, W, P, V c V{W~(P{V)VP V, W, P, W c V{W~P~WVP V, W, P, X c V{W~(X|P)VP V, W, Q, P c V~(W{Q){PVP V, W, Q, S c V{W~Q~SVP V, W, Q, U c V{W~(Q{U)VP V, W, Q, V c (V{Q)~V{WVP V, W, R, R c V~R~R{WVP V, W, R, T c V{W~(R{T)VP V, W, R, U c V~(W{R)|UVP V, W, R, X c (V{R)~W|XVP V, W, S, Q c V{W~S~QVP V, W, S, S c V{W~(S{S)VP V, W, S, T c (V{W)~T|SVP V, W, S, W c V{(W{W)~SVP V, W, T, R c V{W~(T{R)VP V, W, T, S c (V{W)~T|SVP V, W, T, U c (W{T)~U|VVP V, W, U, Q c V{W~(U{Q)VP V, W, U, R c V~(W{R)|UVP V, W, U, T c (W{T)~U|VVP V, W, U, X c V~W{U{XVP V, W, V, P c V{W~(V{P)VP V, W, V, Q c V~(V{Q){WVP V, W, V, W c V{W{V~WVP V, W, V, X c V~(WV{X)VP V, W, W, O c V{W~W{OVP V, W, W, P c V{W~W~PVP V, W, W, S c V{(W{W)~SVP V, W, W, V c V{W{W~VVP V, W, W, W c (VW{W)~WVP V, W, W, X c V{W~X|WVP V, W, X, O c V~X{W{OVP V, W, X, P c V{W~(X|P)VP V, W, X, R c (V{R)~W|XVP V, W, X, U c V~W{X{UVP V, W, X, V c V~(WV{X)VP V, W, X, W c V{W~X|WVP V, W, X, X c (V{WX)~XVP V, X, O, W c V~X{O{WVP V, X, P, P c V~(X{P){PVP V, X, P, V c V~X{P{VVP V, X, P, W c V{(X|P)~WVP V, X, P, X c V~X|P{XVP V, X, Q, S c V~X{Q~SVP V, X, Q, U c V~X{Q{UVP V, X, R, T c V~X{R{TVP V, X, R, W c (V{R)~W|XVP V, X, R, X c (X~X)|(V{R)VP V, X, S, Q c V~X{S~QVP V, X, S, S c V~X{S{SVP V, X, S, T c V~T{X~SVP V, X, S, U c (X{S)~U|VVP V, X, S, V c (V{X)~S{VVP V, X, T, R c V~X{T{RVP V, X, T, S c V~T{X~SVP V, X, T, X c (V{X)~T|XVP V, X, U, Q c V~X{U{QVP V, X, U, S c (X{S)~U|VVP V, X, U, W c V~W{X{UVP V, X, V, P c V{X~V{PVP V, X, V, S c V{(X{V)~SVP V, X, V, W c V~(X{WV)VP V, X, W, O c V~X{W{OVP V, X, W, P c V~X{W~PVP V, X, W, R c (V{R)~W|XVP V, X, W, U c V~W{X{UVP V, X, W, V c V~(X{WV)VP V, X, W, W c V{X~W|WVP V, X, W, X c (V{WX)~XVP V, X, X, P c V~X{X|PVP V, X, X, R c (X~X)|(V{R)VP V, X, X, T c (V{X)~T|XVP V, X, X, W c (V{WX)~XVP W, O, P, X c (W{O)~X|PVP W, O, V, W c (W{O)~W{VVP W, O, V, X c W{O{V~XVP W, O, W, V c (W{O)~W{VVP W, O, X, P c (W{O)~X|PVP W, O, X, V c W{O{X~VVP W, P, O, X c (W{O)~X|PVP W, P, P, W c (W{P)~W|PVP W, P, P, X c W~P~X|PVP W, P, Q, V c (W{Q)~V{PVP W, P, Q, X c W~X{P|QVP W, P, R, R c W~R~R|PVP W, P, R, U c W~(R{U)|PVP W, P, S, T c W~(S{T)|PVP W, P, S, U c (W{S)~U|PVP W, P, T, S c W~(T{S)|PVP W, P, T, U c (W{U)~T{PVP W, P, U, R c W~(U{R)|PVP W, P, U, S c (W{S)~U|PVP W, P, U, T c (W{U)~T{PVP W, P, U, W c W~W{P{UVP W, P, U, X c W{(P{U)~XVP W, P, V, Q c W~(V{Q)|PVP W, P, V, V c W~(P{V){VVP W, P, V, W c (W{P)~V{WVP W, P, V, X c W{P~V~XVP W, P, W, P c (W{P)~W|PVP W, P, W, U c W~W{P{UVP W, P, W, V c W{(P{W)~VVP W, P, W, W c W|P{W~WVP W, P, W, X c (W|P)~X{WVP W, P, X, O c W~X|P{OVP W, P, X, P c W~P~X|PVP W, P, X, Q c W~X{P|QVP W, P, X, U c W{(P{U)~XVP W, P, X, V c W{P~X~VVP W, P, X, W c (W|P)~X{WVP W, P, X, X c (W|PX)~XVP W, Q, P, V c (W{Q)~V{PVP W, Q, P, X c W~X|Q{PVP W, Q, Q, X c W~X|QQVP W, Q, R, X c W~X{Q|RVP W, Q, S, V c W~Q~S{VVP W, Q, T, W c W~W{Q{TVP W, Q, T, X c W{(Q{T)~XVP W, Q, U, V c W~(Q{U){VVP W, Q, V, P c (W{Q)~V{PVP W, Q, V, S c W~Q~S{VVP W, Q, V, U c W~(Q{U){VVP W, Q, V, V c W{(Q{V)~VVP W, Q, W, T c W~W{Q{TVP W, Q, W, X c (W{Q)~W|XVP W, Q, X, P c W~X|Q{PVP W, Q, X, Q c W~X|QQVP W, Q, X, R c W~X{Q|RVP W, Q, X, T c W{(Q{T)~XVP W, Q, X, W c (W{Q)~W|XVP W, Q, X, X c W{(X|Q)~XVP W, R, P, R c W~R~R|PVP W, R, P, U c W~(R{U)|PVP W, R, Q, X c W~X|R{QVP W, R, R, P c W~R~R|PVP W, R, R, V c W{R~R~VVP W, R, R, X c W~X|RRVP W, R, S, W c W~W{R{SVP W, R, S, X c W{(R{S)~XVP W, R, T, U c (W{R)~U{TVP W, R, T, V c W~(R{T){VVP W, R, U, P c W~(R{U)|PVP W, R, U, T c (W{R)~U{TVP W, R, U, V c W{(R{U)~VVP W, R, V, R c W{R~V~RVP W, R, V, T c W~(R{T){VVP W, R, V, U c (W{R)~V|UVP W, R, V, X c W~(R{V)|XVP W, R, W, S c W~W{R{SVP W, R, X, Q c W~X|R{QVP W, R, X, R c W~X|RRVP W, R, X, S c W{(R{S)~XVP W, R, X, V c W~(R{V)|XVP W, S, P, T c W~(S{T)|PVP W, S, P, U c (W{S)~U|PVP W, S, Q, V c W~S~Q{VVP W, S, R, W c W~W{S{RVP W, S, R, X c W{(S{R)~XVP W, S, S, V c W~(S{S){VVP W, S, S, X c W~X|SSVP W, S, T, P c W~(S{T)|PVP W, S, T, V c W{(S{T)~VVP W, S, T, X c W~X{S|TVP W, S, U, P c (W{S)~U|PVP W, S, U, X c W~(S{U)|XVP W, S, V, Q c W~S~Q{VVP W, S, V, S c W~(S{S){VVP W, S, V, T c W{(S{T)~VVP W, S, V, W c (W{W)~S{VVP W, S, W, R c W~W{S{RVP W, S, W, V c (W{W)~S{VVP W, S, X, R c W{(S{R)~XVP W, S, X, S c W~X|SSVP W, S, X, T c W~X{S|TVP W, S, X, U c W~(S{U)|XVP W, T, P, S c W~(T{S)|PVP W, T, P, U c (W{U)~T{PVP W, T, Q, W c W~W{T{QVP W, T, Q, X c W{(T{Q)~XVP W, T, R, U c (W{R)~U{TVP W, T, R, V c W~(T{R){VVP W, T, S, P c W~(T{S)|PVP W, T, S, V c W{(T{S)~VVP W, T, S, X c W~X|T{SVP W, T, T, U c (W{T)~T{UVP W, T, T, X c W~(T{T)|XVP W, T, U, P c (W{U)~T{PVP W, T, U, R c (W{R)~U{TVP W, T, U, T c (W{T)~T{UVP W, T, U, V c (W{T)~U|VVP W, T, U, X c W~X{T|UVP W, T, V, R c W~(T{R){VVP W, T, V, S c W{(T{S)~VVP W, T, V, U c (W{T)~U|VVP W, T, W, Q c W~W{T{QVP W, T, W, X c (W{W)~T|XVP W, T, X, Q c W{(T{Q)~XVP W, T, X, S c W~X|T{SVP W, T, X, T c W~(T{T)|XVP W, T, X, U c W~X{T|UVP W, T, X, W c (W{W)~T|XVP W, U, P, R c W~(U{R)|PVP W, U, P, S c (W{S)~U|PVP W, U, P, T c (W{U)~T{PVP W, U, P, W c W~W{U{PVP W, U, P, X c W{(U{P)~XVP W, U, Q, V c W~(U{Q){VVP W, U, R, P c W~(U{R)|PVP W, U, R, T c (W{R)~U{TVP W, U, R, V c W{(U{R)~VVP W, U, S, P c (W{S)~U|PVP W, U, S, X c W~(U{S)|XVP W, U, T, P c (W{U)~T{PVP W, U, T, R c (W{R)~U{TVP W, U, T, T c (W{T)~T{UVP W, U, T, V c (W{T)~U|VVP W, U, T, X c W~X|U{TVP W, U, U, X c W~X|UUVP W, U, V, Q c W~(U{Q){VVP W, U, V, R c W{(U{R)~VVP W, U, V, T c (W{T)~U|VVP W, U, V, X c W~V{U{XVP W, U, W, P c W~W{U{PVP W, U, X, P c W{(U{P)~XVP W, U, X, S c W~(U{S)|XVP W, U, X, T c W~X|U{TVP W, U, X, U c W~X|UUVP W, U, X, V c W~X{U|VVP W, U, X, X c W{U~X{XVP W, V, O, W c (W{O)~W{VVP W, V, O, X c W{(V{O)~XVP W, V, P, Q c W~(V{Q)|PVP W, V, P, V c W~(V{P){VVP W, V, P, W c W{V~(P{W)VP W, V, P, X c W{V~P~XVP W, V, Q, P c W~(V{Q)|PVP W, V, Q, S c W~Q~S{VVP W, V, Q, U c W~(Q{U){VVP W, V, Q, V c W{(V{Q)~VVP W, V, R, R c W{V~R~RVP W, V, R, T c W~V{R~TVP W, V, R, U c W{V~(R{U)VP W, V, R, X c W~(V{R)|XVP W, V, S, Q c W~S~Q{VVP W, V, S, S c W~(S{S){VVP W, V, S, T c W{V~(S{T)VP W, V, S, W c (W{W)~S{VVP W, V, T, R c W~V{T~RVP W, V, T, S c W{V~(T{S)VP W, V, T, U c (W{T)~U|VVP W, V, U, Q c W~(U{Q){VVP W, V, U, R c W{V~(U{R)VP W, V, U, T c (W{T)~U|VVP W, V, U, X c W~V{U{XVP W, V, V, P c W~(V{P){VVP W, V, V, Q c W{V~(V{Q)VP W, V, V, W c W{V{V~WVP W, V, V, X c (WV{X)~VVP W, V, W, O c W~W{V{OVP W, V, W, P c W{V~(W{P)VP W, V, W, S c (W{W)~S{VVP W, V, W, V c W{V{W~VVP W, V, W, W c (W{VW)~WVP W, V, W, X c W~X{V|WVP W, V, X, O c W{V~X{OVP W, V, X, P c W{V~X~PVP W, V, X, R c W~(V{R)|XVP W, V, X, U c W~V{X{UVP W, V, X, V c (WV{X)~VVP W, V, X, W c W~X{V|WVP W, V, X, X c (WX{V)~XVP W, W, O, V c W~W{O{VVP W, W, P, P c W~(W{P)|PVP W, W, P, U c W~W{P{UVP W, W, P, V c W{(W{P)~VVP W, W, P, W c W~W|P{WVP W, W, P, X c W{(W|P)~XVP W, W, Q, T c W~W{Q{TVP W, W, Q, X c W~(W{Q)|XVP W, W, R, S c W~W{R{SVP W, W, S, R c W~W{S{RVP W, W, S, V c (W{W)~S{VVP W, W, T, Q c W~W{T{QVP W, W, T, X c (W{W)~T|XVP W, W, U, P c W~W{U{PVP W, W, V, O c W~W{V{OVP W, W, V, P c W~W{V~PVP W, W, V, S c (W{W)~S{VVP W, W, V, V c W{W~V{VVP W, W, V, W c W~(W{VW)VP W, W, V, X c W~X|W{VVP W, W, W, P c W{W~W|PVP W, W, W, V c W~(W{VW)VP W, W, W, X c W~X|WWVP W, W, X, P c W{(W|P)~XVP W, W, X, Q c W~W{X|QVP W, W, X, T c (W{W)~T|XVP W, W, X, V c W~X|W{VVP W, W, X, W c W~X|WWVP W, W, X, X c W{W~X|XVP W, X, O, P c W~X{O|PVP W, X, O, V c W{(X{O)~VVP W, X, P, O c W~X|P{OVP W, X, P, P c W~X|P~PVP W, X, P, Q c W~X{P|QVP W, X, P, U c W{X~(P{U)VP W, X, P, V c W{X~P~VVP W, X, P, W c W~(X|PW)VP W, X, P, X c W~(X{P)|XVP W, X, Q, P c W~X|Q{PVP W, X, Q, Q c W~X|QQVP W, X, Q, R c W~X{Q|RVP W, X, Q, T c W{X~(Q{T)VP W, X, Q, W c (W{Q)~W|XVP W, X, Q, X c W{(X|Q)~XVP W, X, R, Q c W~X|R{QVP W, X, R, R c W~X|RRVP W, X, R, S c W{X~(R{S)VP W, X, R, V c W~(R{V)|XVP W, X, S, R c (W{X)~S{RVP W, X, S, S c W~X|SSVP W, X, S, T c W~X{S|TVP W, X, S, U c W~(S{U)|XVP W, X, T, Q c W{X~(T{Q)VP W, X, T, S c W~X|T{SVP W, X, T, T c W~X|TTVP W, X, T, U c W~X{T|UVP W, X, T, W c (W{W)~T|XVP W, X, U, P c W{X~(U{P)VP W, X, U, S c W~(U{S)|XVP W, X, U, T c W~X|U{TVP W, X, U, U c W~X|UUVP W, X, U, V c W~X{U|VVP W, X, U, X c W{X{U~XVP W, X, V, O c W{X~V{OVP W, X, V, P c W{X~V~PVP W, X, V, R c W~(V{R)|XVP W, X, V, U c W~X|V{UVP W, X, V, V c W~X|VVVP W, X, V, W c W~X{V|WVP W, X, V, X c (WX{V)~XVP W, X, W, P c W{X~(W|P)VP W, X, W, Q c W~W{X|QVP W, X, W, T c (W{W)~T|XVP W, X, W, V c W~X|W{VVP W, X, W, W c W~X|WWVP W, X, W, X c W{X~W|XVP W, X, X, P c W~(X{P)|XVP W, X, X, Q c W{X~(X|Q)VP W, X, X, U c W{X{X~UVP W, X, X, V c (WX{V)~XVP W, X, X, W c W~X|X{WVP W, X, X, X c W~X|XXVP X, O, P, W c (X{O)~W|PVP X, O, V, W c (X{O)~V{WVP X, O, W, P c (X{O)~W|PVP X, O, W, V c (X{O)~V{WVP X, P, O, W c (X{O)~W|PVP X, P, P, V c (X{P)~V{PVP X, P, P, W c X~P~W|PVP X, P, P, X c (X|P)~X|PVP X, P, Q, S c X~Q~S|PVP X, P, Q, U c X~(Q{U)|PVP X, P, Q, W c X~W{P|QVP X, P, R, T c X~(R{T)|PVP X, P, R, U c (X{R)~U|PVP X, P, S, Q c X~S~Q|PVP X, P, S, S c X~(S{S)|PVP X, P, S, X c (X{X)~S|PVP X, P, T, R c X~(T{R)|PVP X, P, T, T c (X{T)~T{PVP X, P, U, Q c X~(U{Q)|PVP X, P, U, R c (X{R)~U|PVP X, P, U, W c X~(P{U){WVP X, P, V, P c (X{P)~V{PVP X, P, V, V c X~V{P{VVP X, P, V, W c X~P~V{WVP X, P, V, X c X|P{V~XVP X, P, W, O c X~W|P{OVP X, P, W, P c X~P~W|PVP X, P, W, Q c X~W{P|QVP X, P, W, U c X~(P{U){WVP X, P, W, V c (X|P)~W{VVP X, P, W, W c (X|PW)~WVP X, P, W, X c (X{P)~W|XVP X, P, X, P c (X|P)~X|PVP X, P, X, S c (X{X)~S|PVP X, P, X, V c X|P{X~VVP X, P, X, W c (X{P)~W|XVP X, P, X, X c (X~X)|(P{X)VP X, Q, P, S c X~Q~S|PVP X, Q, P, U c X~(Q{U)|PVP X, Q, P, W c X~W|Q{PVP X, Q, Q, W c X~W|QQVP X, Q, R, W c X~W{Q|RVP X, Q, S, P c X~Q~S|PVP X, Q, S, V c X~V{Q~SVP X, Q, T, U c (X{Q)~U{TVP X, Q, T, W c X~(Q{T){WVP X, Q, T, X c X~X|Q~TVP X, Q, U, P c X~(Q{U)|PVP X, Q, U, T c (X{Q)~U{TVP X, Q, U, V c (X{Q)~V|UVP X, Q, V, S c X~V{Q~SVP X, Q, V, U c (X{Q)~V|UVP X, Q, W, P c X~W|Q{PVP X, Q, W, Q c X~W|QQVP X, Q, W, R c X~W{Q|RVP X, Q, W, T c X~(Q{T){WVP X, Q, W, W c X|Q{W~WVP X, Q, W, X c (X|Q)~X{WVP X, Q, X, T c X~X|Q~TVP X, Q, X, W c (X|Q)~X{WVP X, R, P, T c X~(R{T)|PVP X, R, P, U c (X{R)~U|PVP X, R, Q, W c X~W|R{QVP X, R, R, W c X~W|RRVP X, R, S, W c X~(R{S){WVP X, R, T, P c X~(R{T)|PVP X, R, T, V c X~V{R{TVP X, R, U, P c (X{R)~U|PVP X, R, V, T c X~V{R{TVP X, R, V, W c (R{V)~W|XVP X, R, V, X c (X~X)|(R{V)VP X, R, W, Q c X~W|R{QVP X, R, W, R c X~W|RRVP X, R, W, S c X~(R{S){WVP X, R, W, V c (R{V)~W|XVP X, R, X, V c (X~X)|(R{V)VP X, S, P, Q c X~S~Q|PVP X, S, P, S c X~(S{S)|PVP X, S, P, X c (X{X)~S|PVP X, S, Q, P c X~S~Q|PVP X, S, Q, V c X~V{S~QVP X, S, R, W c X~(S{R){WVP X, S, S, P c X~(S{S)|PVP X, S, S, T c S~S~T|XVP X, S, S, V c X~V{S{SVP X, S, S, W c X~W|SSVP X, S, T, S c S~T~S|XVP X, S, T, U c (X{S)~T{UVP X, S, T, V c X~S{T~VVP X, S, T, W c X~W{S|TVP X, S, U, T c (X{S)~T{UVP X, S, U, V c (X{S)~U|VVP X, S, U, W c (S{U)~W|XVP X, S, U, X c (X~X)|(S{U)VP X, S, V, Q c X~V{S~QVP X, S, V, S c X~V{S{SVP X, S, V, T c X~S{V~TVP X, S, V, U c (X{S)~U|VVP X, S, V, V c (X{V)~S{VVP X, S, W, R c X~(S{R){WVP X, S, W, S c X~W|SSVP X, S, W, T c X~W{S|TVP X, S, W, U c (S{U)~W|XVP X, S, X, P c (X{X)~S|PVP X, S, X, U c (X~X)|(S{U)VP X, T, P, R c X~(T{R)|PVP X, T, P, T c (X{T)~T{PVP X, T, Q, U c (X{Q)~U{TVP X, T, Q, W c X~(T{Q){WVP X, T, Q, X c X~X|T~QVP X, T, R, P c X~(T{R)|PVP X, T, R, V c X~V{T{RVP X, T, S, S c T~S~S|XVP X, T, S, U c (X{S)~T{UVP X, T, S, V c X~S{T~VVP X, T, S, W c X~W|T{SVP X, T, T, P c (X{T)~T{PVP X, T, T, W c X~W|TTVP X, T, T, X c (X~X)|(T{T)VP X, T, U, Q c (X{Q)~U{TVP X, T, U, S c (X{U)~T|SVP X, T, U, W c X~W{T|UVP X, T, V, R c X~V{T{RVP X, T, V, S c X~S{T~VVP X, T, V, X c (X{V)~T|XVP X, T, W, Q c X~(T{Q){WVP X, T, W, S c X~W|T{SVP X, T, W, T c X~W|TTVP X, T, W, U c X~W{T|UVP X, T, W, W c T~(W{W)|XVP X, T, X, Q c X~X|T~QVP X, T, X, T c (X~X)|(T{T)VP X, T, X, V c (X{V)~T|XVP X, U, P, Q c X~(U{Q)|PVP X, U, P, R c (X{R)~U|PVP X, U, P, W c X~(U{P){WVP X, U, Q, P c X~(U{Q)|PVP X, U, Q, T c (X{Q)~U{TVP X, U, Q, V c (X{Q)~V|UVP X, U, R, P c (X{R)~U|PVP X, U, S, T c (X{U)~T|SVP X, U, S, V c (X{S)~U|VVP X, U, S, W c (U{S)~W|XVP X, U, S, X c (X~X)|(U{S)VP X, U, T, Q c (X{Q)~U{TVP X, U, T, S c (X{U)~T|SVP X, U, T, W c X~W|U{TVP X, U, U, W c X~W|UUVP X, U, V, Q c X~V{U{QVP X, U, V, S c (X{S)~U|VVP X, U, V, W c X{U{V~WVP X, U, W, P c X~(U{P){WVP X, U, W, S c (U{S)~W|XVP X, U, W, T c X~W|U{TVP X, U, W, U c X~W|UUVP X, U, W, V c X{U{W~VVP X, U, W, X c X~U{W{XVP X, U, X, S c (X~X)|(U{S)VP X, U, X, W c X{U~X{WVP X, V, O, W c X~V{O{WVP X, V, P, P c X~(V{P)|PVP X, V, P, V c X~V{P{VVP X, V, P, W c X~V{P~WVP X, V, P, X c X~V|P{XVP X, V, Q, S c X~V{Q~SVP X, V, Q, U c X~V{Q{UVP X, V, R, T c X~V{R{TVP X, V, R, W c (V{R)~W|XVP X, V, R, X c (X~X)|(V{R)VP X, V, S, Q c X~V{S~QVP X, V, S, S c X~V{S{SVP X, V, S, T c X~S{V~TVP X, V, S, U c (X{S)~U|VVP X, V, S, V c (X{V)~S{VVP X, V, T, R c X~V{T{RVP X, V, T, S c X~S{V~TVP X, V, T, X c (X{V)~T|XVP X, V, U, Q c X~V{U{QVP X, V, U, S c (X{S)~U|VVP X, V, U, W c X{V~W{UVP X, V, V, P c X~V{V{PVP X, V, V, S c (X{V)~S{VVP X, V, V, W c (X{WV)~VVP X, V, W, O c X~V{W{OVP X, V, W, P c X~V{W~PVP X, V, W, R c (V{R)~W|XVP X, V, W, U c X{V~W{UVP X, V, W, V c (X{WV)~VVP X, V, W, W c X~W{V|WVP X, V, W, X c X~(V{WX)VP X, V, X, P c X{V~X|PVP X, V, X, R c (X~X)|(V{R)VP X, V, X, T c (X{V)~T|XVP X, V, X, W c X~(V{WX)VP X, W, O, P c X~W{O|PVP X, W, O, V c (X{O)~V{WVP X, W, P, O c X~W|P{OVP X, W, P, P c X~W|P~PVP X, W, P, Q c X~W{P|QVP X, W, P, U c X~(P{U){WVP X, W, P, V c (X|P)~W{VVP X, W, P, W c X~(W|P){WVP X, W, P, X c X~(W|PX)VP X, W, Q, P c X~W|Q{PVP X, W, Q, Q c X~W|QQVP X, W, Q, R c X~W{Q|RVP X, W, Q, T c X~(Q{T){WVP X, W, Q, W c X{W~W|QVP X, W, Q, X c (X|Q)~X{WVP X, W, R, Q c X~W|R{QVP X, W, R, R c X~W|RRVP X, W, R, S c X~W{R|SVP X, W, R, V c W~(R{V)|XVP X, W, S, R c (X{W)~S{RVP X, W, S, S c X~W|SSVP X, W, S, T c X~W{S|TVP X, W, S, U c W~(S{U)|XVP X, W, T, Q c X~(T{Q){WVP X, W, T, S c X~W|T{SVP X, W, T, T c X~W|TTVP X, W, T, U c X~W{T|UVP X, W, T, W c (W{W)~T|XVP X, W, U, P c X~(U{P){WVP X, W, U, S c W~(U{S)|XVP X, W, U, T c X~W|U{TVP X, W, U, U c X~W|UUVP X, W, U, V c X~W{U|VVP X, W, U, X c X{W{U~XVP X, W, V, O c X~V{W{OVP X, W, V, P c X~V{W~PVP X, W, V, R c W~(V{R)|XVP X, W, V, U c X{W~V{UVP X, W, V, V c (X{WV)~VVP X, W, V, W c X~W{V|WVP X, W, V, X c X~(WX{V)VP X, W, W, P c X~(W|P){WVP X, W, W, Q c X{W~W|QVP X, W, W, T c (W{W)~T|XVP X, W, W, V c X~W|W{VVP X, W, W, W c X~W|WWVP X, W, W, X c X~W{W|XVP X, W, X, P c X~(W|PX)VP X, W, X, Q c (X~X)|(W{Q)VP X, W, X, U c X{W{X~UVP X, W, X, V c X~(WX{V)VP X, W, X, W c X~W|X{WVP X, W, X, X c X~W|XXVP X, X, P, P c X~(X|P)|PVP X, X, P, S c (X{X)~S|PVP X, X, P, V c X{X~V|PVP X, X, P, W c (X{P)~W|XVP X, X, P, X c (X~X)|(P{X)VP X, X, Q, T c X~X|Q~TVP X, X, Q, W c (X~X)|(Q{W)VP X, X, R, V c (X~X)|(R{V)VP X, X, S, P c (X{X)~S|PVP X, X, S, U c (X~X)|(S{U)VP X, X, T, Q c X~X|T~QVP X, X, T, T c (X~X)|(T{T)VP X, X, T, V c (X{V)~T|XVP X, X, U, S c (X~X)|(U{S)VP X, X, U, W c X{X~U{WVP X, X, V, P c X{X~V|PVP X, X, V, R c (X~X)|(V{R)VP X, X, V, T c (X{V)~T|XVP X, X, V, W c X~(V{WX)VP X, X, W, P c X~(W|PX)VP X, X, W, Q c (X~X)|(W{Q)VP X, X, W, U c X{X~U{WVP X, X, W, V c X~(WX{V)VP X, X, W, W c X~W|X{WVP X, X, W, X c X~W|XXVP X, X, X, P c (X~X)|(X{P)VP X, X, X, W c X~W|XXVP