O, Q, W, X c O{Q{W~XVS O, Q, X, W c O{Q{X~WVS O, V, X, X c O{X~X|VVS O, W, Q, X c O{W~X{QVS O, W, X, Q c O{W~X{QVS O, X, Q, W c O{X~W{QVS O, X, V, X c O{X~X|VVS O, X, W, Q c O{X~W{QVS O, X, X, V c O{X~X|VVS P, P, W, X c P{P{W~XVS P, P, X, W c P{P{X~WVS P, Q, S, X c (P{S~X)~QVS P, Q, U, U c (P{U~U)~QVS P, Q, V, X c (P{V)~X{QVS P, Q, W, W c (P{W)~W{QVS P, Q, W, X c P~Q{W~XVS P, Q, X, S c (P{X~S)~QVS P, Q, X, V c (P{V)~X{QVS P, Q, X, W c P~Q{X~WVS P, Q, X, X c Q{(X|P)~XVS P, R, T, T c R~T~T|PVS P, R, W, X c R|P{W~XVS P, R, X, W c R|P{X~WVS P, S, Q, X c (P{S~X)~QVS P, S, V, X c (P{X)~V{SVS P, S, W, X c (PS{X)~WVS P, S, X, Q c (P{S~X)~QVS P, S, X, V c (P{X)~V{SVS P, S, X, W c (PS{X)~WVS P, T, R, T c T~R~T|PVS P, T, T, R c T~T~R|PVS P, T, U, X c T~(U{X)|PVS P, T, V, W c T~(V{W)|PVS P, T, W, V c T~(W{V)|PVS P, T, X, U c T~(X{U)|PVS P, U, Q, U c (P{U~U)~QVS P, U, T, X c (U{X)~T|PVS P, U, U, Q c (P{U~U)~QVS P, U, W, X c (P{X)~W|UVS P, U, X, T c (U{X)~T|PVS P, U, X, W c (P{X)~W|UVS P, U, X, X c (X~X)|(P{U)VS P, V, Q, X c (P{V)~X{QVS P, V, S, X c (P{X)~V{SVS P, V, T, W c (V{W)~T|PVS P, V, W, T c (V{W)~T|PVS P, V, W, X c (P{W)~X|VVS P, V, X, Q c (P{V)~X{QVS P, V, X, S c (P{X)~V{SVS P, V, X, W c (P{W)~X|VVS P, V, X, X c P~X~X|VVS P, W, P, X c P{W~X{PVS P, W, Q, W c (P{W)~W{QVS P, W, Q, X c P~W~X{QVS P, W, R, X c W~X|P{RVS P, W, S, X c (PS{X)~WVS P, W, T, V c (W{V)~T|PVS P, W, U, X c (P{X)~W|UVS P, W, V, T c (W{V)~T|PVS P, W, V, X c (P{W)~X|VVS P, W, W, Q c (P{W)~W{QVS P, W, W, X c P{W~W{XVS P, W, X, P c P{W~X{PVS P, W, X, Q c P~W~X{QVS P, W, X, R c W~X|P{RVS P, W, X, S c (PS{X)~WVS P, W, X, U c (P{X)~W|UVS P, W, X, V c (P{W)~X|VVS P, W, X, W c P{W~W{XVS P, W, X, X c P{X~X|WVS P, X, P, W c P{X~W{PVS P, X, Q, S c (P{X~S)~QVS P, X, Q, V c (P{V)~X{QVS P, X, Q, W c P~X~W{QVS P, X, Q, X c (X|P)~X{QVS P, X, R, W c X~W|P{RVS P, X, S, Q c (P{X~S)~QVS P, X, S, V c (P{X)~V{SVS P, X, S, W c (PS{X)~WVS P, X, T, U c (X{U)~T|PVS P, X, U, T c (X{U)~T|PVS P, X, U, W c (P{X)~W|UVS P, X, U, X c (X~X)|(P{U)VS P, X, V, Q c (P{V)~X{QVS P, X, V, S c (P{X)~V{SVS P, X, V, W c (P{W)~X|VVS P, X, V, X c P~X~X|VVS P, X, W, P c P{X~W{PVS P, X, W, Q c P~X~W{QVS P, X, W, R c X~W|P{RVS P, X, W, S c (PS{X)~WVS P, X, W, U c (P{X)~W|UVS P, X, W, V c (P{W)~X|VVS P, X, W, W c P{X{W~WVS P, X, W, X c P{X~X|WVS P, X, X, Q c (X|P)~X{QVS P, X, X, U c (X~X)|(P{U)VS P, X, X, V c P~X~X|VVS P, X, X, W c P{X~X|WVS Q, O, W, X c Q{O{W~XVS Q, O, X, W c Q{O{X~WVS Q, P, S, X c Q~(P{S~X)VS Q, P, U, U c Q~(P{U~U)VS Q, P, V, X c Q{(P{V)~XVS Q, P, W, W c Q{(P{W)~WVS Q, P, W, X c Q{P~W~XVS Q, P, X, S c Q~(P{X~S)VS Q, P, X, V c Q{(P{V)~XVS Q, P, X, W c Q{P~X~WVS Q, P, X, X c Q{(X|P)~XVS Q, Q, S, X c Q{Q~S~XVS Q, Q, T, V c Q~(Q{T~V)VS Q, Q, U, U c Q{Q~U~UVS Q, Q, U, X c Q{(Q{U)~XVS Q, Q, V, T c Q~(Q{V~T)VS Q, Q, V, W c Q{(Q{V)~WVS Q, Q, W, V c Q{(Q{V)~WVS Q, Q, X, S c Q{Q~X~SVS Q, Q, X, U c Q{(Q{U)~XVS Q, R, R, W c Q{R~R~WVS Q, R, S, U c Q{R~S~UVS Q, R, T, W c Q~(T~W|R)VS Q, R, T, X c Q{(R{T)~XVS Q, R, U, S c Q{R~U~SVS Q, R, U, W c Q{(R{U)~WVS Q, R, U, X c Q{(R{X)~UVS Q, R, V, X c (Q{X)~V|RVS Q, R, W, R c Q{R~W~RVS Q, R, W, T c Q~(W~T|R)VS Q, R, W, U c Q{(R{U)~WVS Q, R, X, T c Q{(R{T)~XVS Q, R, X, U c Q{(R{X)~UVS Q, R, X, V c (Q{X)~V|RVS Q, S, P, X c Q~(S~X{P)VS Q, S, Q, X c Q{S~Q~XVS Q, S, R, U c Q{S~R~UVS Q, S, S, X c Q{(S{S)~XVS Q, S, T, V c Q~T~V{SVS Q, S, T, W c Q{(S{T)~WVS Q, S, U, R c Q{S~U~RVS Q, S, U, W c Q{(S{W)~UVS Q, S, V, T c Q~V~T{SVS Q, S, V, W c (Q{W)~V{SVS Q, S, V, X c Q~(S~V{X)VS Q, S, W, T c Q~(S~W{T)VS Q, S, W, U c Q{(S{W)~UVS Q, S, W, V c (Q{W)~V{SVS Q, S, W, X c S|Q{W~XVS Q, S, X, P c Q~(S~X{P)VS Q, S, X, Q c Q{S~X~QVS Q, S, X, S c Q{(S{S)~XVS Q, S, X, V c Q~(S~V{X)VS Q, S, X, W c S|Q{X~WVS Q, S, X, X c Q{S~(X{X)VS Q, T, Q, V c (Q{T~V)~QVS Q, T, R, W c Q~(T~W|R)VS Q, T, R, X c Q{(T{R)~XVS Q, T, S, V c Q~T~V{SVS Q, T, S, W c Q{(T{S)~WVS Q, T, U, V c Q~(T~U{V)VS Q, T, U, W c Q~T~W|UVS Q, T, V, Q c (Q{T~V)~QVS Q, T, V, S c Q~T~V{SVS Q, T, V, U c Q{(T{V)~UVS Q, T, W, R c Q~(T~W|R)VS Q, T, W, S c Q~(T{W~S)VS Q, T, W, U c Q~T~W|UVS Q, T, W, W c Q~T{W~WVS Q, T, W, X c Q~(T~X|W)VS Q, T, X, R c Q{(T{R)~XVS Q, T, X, W c Q~(T~X|W)VS Q, T, X, X c (X~X)|(Q{T)VS Q, U, P, U c Q~(U~U{P)VS Q, U, Q, U c Q{U~Q~UVS Q, U, Q, X c Q{(U{Q)~XVS Q, U, R, S c Q{U~R~SVS Q, U, R, W c Q{(U{R)~WVS Q, U, R, X c Q{U~(R{X)VS Q, U, S, R c Q{U~S~RVS Q, U, S, W c Q{U~(S{W)VS Q, U, T, V c Q{U~(T{V)VS Q, U, T, W c Q~T~W|UVS Q, U, U, P c Q~(U~U{P)VS Q, U, U, Q c Q{U~U~QVS Q, U, U, U c Q{(U{U)~UVS Q, U, V, T c Q{U~(V{T)VS Q, U, W, R c Q{(U{R)~WVS Q, U, W, S c Q{U~(W{S)VS Q, U, W, T c Q~W~T|UVS Q, U, W, W c (Q{W)~W|UVS Q, U, W, X c (Q{X)~U{WVS Q, U, X, Q c (Q{U)~X{QVS Q, U, X, R c Q{U~(X{R)VS Q, U, X, W c (Q{X)~U{WVS Q, V, P, X c Q{(V{P)~XVS Q, V, Q, T c (Q{V~T)~QVS Q, V, Q, W c Q{(V{Q)~WVS Q, V, R, X c (Q{X)~V|RVS Q, V, S, T c Q~V~T{SVS Q, V, S, W c (Q{W)~V{SVS Q, V, S, X c Q~(V~S{X)VS Q, V, T, Q c (Q{V~T)~QVS Q, V, T, S c Q~V~T{SVS Q, V, T, U c Q{(V{T)~UVS Q, V, U, T c Q~(V{U~T)VS Q, V, V, X c (Q{V)~X|VVS Q, V, W, Q c (Q{V)~W{QVS Q, V, W, S c (Q{W)~V{SVS Q, V, W, X c Q~X{V~WVS Q, V, X, P c Q{(V{P)~XVS Q, V, X, R c (Q{X)~V|RVS Q, V, X, S c Q~(V~S{X)VS Q, V, X, V c (Q{V)~X|VVS Q, V, X, W c Q~X{V~WVS Q, V, X, X c Q{V~X{XVS Q, W, O, X c Q{(W{O)~XVS Q, W, P, W c Q{(W{P)~WVS Q, W, P, X c Q{W~P~XVS Q, W, Q, V c Q{W~(Q{V)VS Q, W, R, R c Q{W~R~RVS Q, W, R, T c Q~(W~T|R)VS Q, W, R, U c Q{W~(R{U)VS Q, W, S, T c Q{W~(S{T)VS Q, W, S, U c Q{(W{S)~UVS Q, W, S, V c (Q{W)~V{SVS Q, W, S, X c W~X|Q{SVS Q, W, T, R c Q~(W~T|R)VS Q, W, T, S c Q{W~(T{S)VS Q, W, T, U c Q~W~T|UVS Q, W, T, W c Q~T{W~WVS Q, W, T, X c Q~(T~X|W)VS Q, W, U, R c Q{W~(U{R)VS Q, W, U, S c Q{(W{S)~UVS Q, W, U, T c Q~W~T|UVS Q, W, U, W c (Q{W)~W|UVS Q, W, U, X c (Q{X)~U{WVS Q, W, V, Q c Q{W~(V{Q)VS Q, W, V, S c (Q{W)~V{SVS Q, W, V, X c Q~X{W~VVS Q, W, W, P c Q{W~(W{P)VS Q, W, W, T c Q~T{W~WVS Q, W, W, U c (Q{W)~W|UVS Q, W, W, W c Q{W{W~WVS Q, W, W, X c (QW{X)~WVS Q, W, X, O c Q{W~X{OVS Q, W, X, P c Q{W~X~PVS Q, W, X, S c W~X|Q{SVS Q, W, X, T c Q~(X~T|W)VS Q, W, X, U c (Q{X)~U{WVS Q, W, X, V c Q~X{W~VVS Q, W, X, W c (QW{X)~WVS Q, W, X, X c (QX{W)~XVS Q, X, O, W c Q{(X{O)~WVS Q, X, P, S c Q~(X~S{P)VS Q, X, P, V c Q{X~(P{V)VS Q, X, P, W c Q{X~P~WVS Q, X, P, X c Q{(X|P)~XVS Q, X, Q, S c Q{X~Q~SVS Q, X, Q, U c Q{X~(Q{U)VS Q, X, R, T c Q{X~(R{T)VS Q, X, R, U c Q{(X{R)~UVS Q, X, R, V c (Q{X)~V|RVS Q, X, S, P c Q~(X~S{P)VS Q, X, S, Q c Q{X~S~QVS Q, X, S, S c Q{X~(S{S)VS Q, X, S, V c Q~(X{S~V)VS Q, X, S, W c X~W|Q{SVS Q, X, S, X c Q{(X{X)~SVS Q, X, T, R c Q{X~(T{R)VS Q, X, T, W c Q~(X~T|W)VS Q, X, T, X c (X~X)|(Q{T)VS Q, X, U, Q c Q{X~(U{Q)VS Q, X, U, R c Q{(X{R)~UVS Q, X, U, W c (Q{X)~U{WVS Q, X, V, P c Q{X~(V{P)VS Q, X, V, R c (Q{X)~V|RVS Q, X, V, S c Q~(X{V~S)VS Q, X, V, V c (Q{V)~X|VVS Q, X, V, W c Q~X{V~WVS Q, X, V, X c Q{X{V~XVS Q, X, W, O c Q{X~W{OVS Q, X, W, P c Q{X~W~PVS Q, X, W, S c X~W|Q{SVS Q, X, W, T c Q~(X~T|W)VS Q, X, W, U c (Q{X)~U{WVS Q, X, W, V c Q~X{W~VVS Q, X, W, W c (QW{X)~WVS Q, X, W, X c (QX{W)~XVS Q, X, X, P c Q{X~(X|P)VS Q, X, X, S c Q{(X{X)~SVS Q, X, X, T c (X~X)|(Q{T)VS Q, X, X, V c Q{X{X~VVS Q, X, X, W c (QX{W)~XVS Q, X, X, X c Q{X~X|XVS R, P, T, T c R~T~T|PVS R, P, W, X c R|P{W~XVS R, P, X, W c R|P{X~WVS R, Q, R, W c R~R~W{QVS R, Q, S, U c R~S~U{QVS R, Q, T, W c Q~(T~W|R)VS R, Q, T, X c (R{T)~X{QVS R, Q, U, S c R~U~S{QVS R, Q, U, W c (R{U)~W{QVS R, Q, U, X c (R{X)~U{QVS R, Q, V, X c (Q{X)~V|RVS R, Q, W, R c R~W~R{QVS R, Q, W, T c Q~(W~T|R)VS R, Q, W, U c (R{U)~W{QVS R, Q, X, T c (R{T)~X{QVS R, Q, X, U c (R{X)~U{QVS R, Q, X, V c (Q{X)~V|RVS R, R, Q, W c R~R~W{QVS R, R, V, W c (R{W)~V|RVS R, R, V, X c R~R~X|VVS R, R, W, Q c R~R~W{QVS R, R, W, V c (R{W)~V|RVS R, R, X, V c R~R~X|VVS R, S, Q, U c R~S~U{QVS R, S, U, Q c R~S~U{QVS R, S, V, V c (R{V)~V{SVS R, S, X, X c (X~X)|(R{S)VS R, T, P, T c R~T~T|PVS R, T, Q, W c (T~W|R)~QVS R, T, Q, X c (R{T)~X{QVS R, T, T, P c R~T~T|PVS R, T, U, V c (T{U)~V|RVS R, T, V, U c (T{U)~V|RVS R, T, W, Q c (T~W|R)~QVS R, T, W, X c T|R{W~XVS R, T, X, Q c (R{T)~X{QVS R, T, X, W c T|R{X~WVS R, U, Q, S c R~U~S{QVS R, U, Q, W c (R{U)~W{QVS R, U, Q, X c (R{X)~U{QVS R, U, S, Q c R~U~S{QVS R, U, T, V c (U{T)~V|RVS R, U, V, T c (U{T)~V|RVS R, U, V, W c R~U{V~WVS R, U, V, X c (R{U)~X|VVS R, U, W, Q c (R{U)~W{QVS R, U, W, V c R~U{W~VVS R, U, W, W c (R{W)~U{WVS R, U, W, X c UR{W~XVS R, U, X, Q c (R{X)~U{QVS R, U, X, V c (R{U)~X|VVS R, U, X, W c UR{X~WVS R, V, Q, X c V~(Q{X)|RVS R, V, R, W c (R{W)~V|RVS R, V, R, X c R~R~X|VVS R, V, S, V c (R{V)~V{SVS R, V, T, U c V~(T{U)|RVS R, V, U, T c V~(U{T)|RVS R, V, U, W c (R{V)~W|UVS R, V, U, X c (R{U)~X|VVS R, V, V, S c (R{V)~V{SVS R, V, W, R c (R{W)~V|RVS R, V, W, U c (R{V)~W|UVS R, V, W, W c R{V{W~WVS R, V, W, X c R{V~X{WVS R, V, X, Q c V~(X{Q)|RVS R, V, X, R c R~X~R|VVS R, V, X, U c (R{U)~X|VVS R, V, X, W c R{V~X{WVS R, W, P, X c R{W~X|PVS R, W, Q, R c R~W~R{QVS R, W, Q, T c (W~T|R)~QVS R, W, Q, U c (R{U)~W{QVS R, W, R, Q c R~W~R{QVS R, W, R, V c (R{W)~V|RVS R, W, T, Q c (W~T|R)~QVS R, W, T, X c W~X|R{TVS R, W, U, Q c (R{U)~W{QVS R, W, U, V c R~U{W~VVS R, W, U, W c (R{W)~U{WVS R, W, U, X c W~X{URVS R, W, V, R c (R{W)~V|RVS R, W, V, U c (R{V)~W|UVS R, W, V, W c R{W~W{VVS R, W, V, X c R{W{V~XVS R, W, W, U c (R{W)~U{WVS R, W, W, V c R{W~W{VVS R, W, X, P c R{W~X|PVS R, W, X, T c W~X|R{TVS R, W, X, U c W~X{URVS R, W, X, V c R{W{X~VVS R, X, P, W c R{X~W|PVS R, X, Q, T c (R{T)~X{QVS R, X, Q, U c (R{X)~U{QVS R, X, Q, V c (X{Q)~V|RVS R, X, R, V c R~X~R|VVS R, X, S, X c (X~X)|(R{S)VS R, X, T, Q c (R{T)~X{QVS R, X, T, W c X~W|R{TVS R, X, U, Q c (R{X)~U{QVS R, X, U, V c (R{U)~X|VVS R, X, U, W c X~W{URVS R, X, V, Q c (X{Q)~V|RVS R, X, V, R c R~X~R|VVS R, X, V, U c (R{U)~X|VVS R, X, V, W c R{X~V{WVS R, X, W, P c R{X~W|PVS R, X, W, T c X~W|R{TVS R, X, W, U c X~W{URVS R, X, W, V c R{X~V{WVS R, X, X, S c (X~X)|(R{S)VS S, P, Q, X c (S~X{P)~QVS S, P, V, X c S{(P{X)~VVS S, P, W, X c (PS{X)~WVS S, P, X, Q c (S~X{P)~QVS S, P, X, V c S{(P{X)~VVS S, P, X, W c (PS{X)~WVS S, Q, P, X c (S~X{P)~QVS S, Q, Q, X c S~Q~X{QVS S, Q, R, U c S~R~U{QVS S, Q, S, X c (S{S)~X{QVS S, Q, T, V c S{Q~T~VVS S, Q, T, W c (S{T)~W{QVS S, Q, U, R c S~U~R{QVS S, Q, U, W c (S{W)~U{QVS S, Q, V, T c S{Q~V~TVS S, Q, V, W c S{(Q{W)~VVS S, Q, V, X c (S~V{X)~QVS S, Q, W, T c (S~W{T)~QVS S, Q, W, U c (S{W)~U{QVS S, Q, W, V c S{(Q{W)~VVS S, Q, W, X c S|Q{W~XVS S, Q, X, P c (S~X{P)~QVS S, Q, X, Q c S~Q~X{QVS S, Q, X, S c (S{S)~X{QVS S, Q, X, V c (S~V{X)~QVS S, Q, X, W c S|Q{X~WVS S, Q, X, X c S~(X{X){QVS S, R, Q, U c S~R~U{QVS S, R, U, Q c S~R~U{QVS S, R, V, V c S{(R{V)~VVS S, R, X, X c (X~X)|(S{R)VS S, S, Q, X c (S{S)~X{QVS S, S, T, U c S~S~T|UVS S, S, U, T c S~S~T|UVS S, S, U, V c S{(S{U)~VVS S, S, U, X c (S{X)~U|SVS S, S, V, U c S{(S{U)~VVS S, S, X, Q c (S{S)~X{QVS S, S, X, U c (S{X)~U|SVS S, T, Q, V c S{T~Q~VVS S, T, Q, W c (S{T)~W{QVS S, T, S, U c S~T~S|UVS S, T, T, V c S{(T{T)~VVS S, T, T, X c S{T~(T{X)VS S, T, U, S c S~T~S|UVS S, T, U, W c S{T~(U{W)VS S, T, U, X c S~T{U~XVS S, T, V, Q c S{T~V~QVS S, T, V, T c S{(T{T)~VVS S, T, V, V c S{T~(V{V)VS S, T, V, X c (S{T)~X|VVS S, T, W, Q c (S{T)~W{QVS S, T, W, U c S{T~(W{U)VS S, T, W, W c (TS{W)~WVS S, T, X, T c S{(T{X)~TVS S, T, X, U c S~T{X~UVS S, T, X, V c (S{T)~X|VVS S, T, X, X c (S{X)~T{XVS S, U, Q, R c S~U~R{QVS S, U, Q, W c (S{W)~U{QVS S, U, R, Q c S~U~R{QVS S, U, S, T c S~S~T|UVS S, U, S, V c S{(U{S)~VVS S, U, S, X c (S{X)~U|SVS S, U, T, S c S~T~S|UVS S, U, T, W c S{(U{W)~TVS S, U, T, X c S~T{U~XVS S, U, U, V c U~(U{V)|SVS S, U, U, W c (S{U)~W|UVS S, U, V, S c (S{U)~V{SVS S, U, V, U c (U{V)~U|SVS S, U, V, W c (S{V)~U{WVS S, U, W, Q c (S{W)~U{QVS S, U, W, T c S{(U{W)~TVS S, U, W, U c (S{U)~W|UVS S, U, W, V c S~W{U~VVS S, U, W, W c S{U{W~WVS S, U, W, X c S~(W{X){UVS S, U, X, S c (S{X)~U|SVS S, U, X, T c S~T{U~XVS S, U, X, W c S~(X{W){UVS S, V, P, X c S{V~(P{X)VS S, V, Q, T c S{V~Q~TVS S, V, Q, W c S{V~(Q{W)VS S, V, Q, X c (S~V{X)~QVS S, V, R, V c S{(V{R)~VVS S, V, S, U c S{V~(S{U)VS S, V, T, Q c S{V~T~QVS S, V, T, T c S{V~(T{T)VS S, V, T, V c S{(V{V)~TVS S, V, T, X c (S{T)~X|VVS S, V, U, S c S{V~(U{S)VS S, V, U, U c (V{U)~U|SVS S, V, U, W c (S{V)~U{WVS S, V, V, R c S{V~(V{R)VS S, V, V, T c S{(V{V)~TVS S, V, V, X c S{V{V~XVS S, V, W, Q c S{V~(W{Q)VS S, V, W, U c (S{V)~U{WVS S, V, W, X c (V{XS)~WVS S, V, X, P c S{V~(X{P)VS S, V, X, Q c (S~V{X)~QVS S, V, X, T c (S{T)~X|VVS S, V, X, V c S{V{X~VVS S, V, X, W c (V{XS)~WVS S, W, P, X c W~(PS{X)VS S, W, Q, T c (S~W{T)~QVS S, W, Q, U c (S{W)~U{QVS S, W, Q, V c S{(W{Q)~VVS S, W, Q, X c S{W~X|QVS S, W, T, Q c (S~W{T)~QVS S, W, T, U c S{(W{U)~TVS S, W, T, W c (W{TS)~WVS S, W, U, Q c (S{W)~U{QVS S, W, U, T c S{(W{U)~TVS S, W, U, U c (S{U)~W|UVS S, W, U, V c S~W{U~VVS S, W, U, W c S{W~W{UVS S, W, U, X c S~(W{X){UVS S, W, V, Q c S{(W{Q)~VVS S, W, V, U c S~W{V~UVS S, W, V, X c W~(V{XS)VS S, W, W, T c W~(W{TS)VS S, W, W, U c S{W~W{UVS S, W, W, X c WS{W~XVS S, W, X, P c W~(X{PS)VS S, W, X, Q c S{W~X|QVS S, W, X, U c S~(W{X){UVS S, W, X, V c W~(XS{V)VS S, W, X, W c WS{X~WVS S, X, P, Q c (S~X{P)~QVS S, X, P, V c S{(X{P)~VVS S, X, P, W c (X{PS)~WVS S, X, Q, P c (S~X{P)~QVS S, X, Q, Q c S~X~Q{QVS S, X, Q, S c (S{S)~X{QVS S, X, Q, V c (S~V{X)~QVS S, X, Q, W c S{X~W|QVS S, X, Q, X c S~(X{X){QVS S, X, R, X c (X~X)|(S{R)VS S, X, S, Q c (S{S)~X{QVS S, X, S, U c (S{X)~U|SVS S, X, T, T c S{(X{T)~TVS S, X, T, U c S~T{X~UVS S, X, T, V c (S{T)~X|VVS S, X, T, X c (S{X)~T{XVS S, X, U, S c (S{X)~U|SVS S, X, U, T c S~T{X~UVS S, X, U, W c S~(X{W){UVS S, X, V, P c S{(X{P)~VVS S, X, V, Q c (S~V{X)~QVS S, X, V, T c (S{T)~X|VVS S, X, V, V c S{X~V{VVS S, X, V, W c (XS{V)~WVS S, X, W, P c (X{PS)~WVS S, X, W, Q c S{X~W|QVS S, X, W, U c S~(X{W){UVS S, X, W, V c (XS{V)~WVS S, X, W, W c X~W{WSVS S, X, X, Q c S~(X{X){QVS S, X, X, R c (X~X)|(S{R)VS S, X, X, T c (S{X)~T{XVS T, P, R, T c T~R~T|PVS T, P, T, R c T~T~R|PVS T, P, U, X c T~(U{X)|PVS T, P, V, W c T~(V{W)|PVS T, P, W, V c T~(W{V)|PVS T, P, X, U c T~(X{U)|PVS T, Q, Q, V c (T~V{Q)~QVS T, Q, R, W c (T~W|R)~QVS T, Q, R, X c (T{R)~X{QVS T, Q, S, V c T~Q~V{SVS T, Q, S, W c (T{S)~W{QVS T, Q, U, V c (T~U{V)~QVS T, Q, U, W c T~Q~W|UVS T, Q, V, Q c (T~V{Q)~QVS T, Q, V, S c T~Q~V{SVS T, Q, V, U c (T{V)~U{QVS T, Q, W, R c (T~W|R)~QVS T, Q, W, S c (T{W~S)~QVS T, Q, W, U c T~Q~W|UVS T, Q, W, W c T~Q{W~WVS T, Q, W, X c (T~X|W)~QVS T, Q, X, R c (T{R)~X{QVS T, Q, X, W c (T~X|W)~QVS T, Q, X, X c (X~X)|(T{Q)VS T, R, P, T c T~R~T|PVS T, R, Q, W c (T~W|R)~QVS T, R, Q, X c (T{R)~X{QVS T, R, T, P c T~R~T|PVS T, R, U, V c (T{U)~V|RVS T, R, V, U c (T{U)~V|RVS T, R, W, Q c (T~W|R)~QVS T, R, W, X c T|R{W~XVS T, R, X, Q c (T{R)~X{QVS T, R, X, W c T|R{X~WVS T, S, Q, V c T~Q~V{SVS T, S, Q, W c (T{S)~W{QVS T, S, S, U c T~S~S|UVS T, S, T, V c (T{T)~V{SVS T, S, T, X c T~(T{X){SVS T, S, U, S c T~S~S|UVS T, S, U, W c T~(U{W){SVS T, S, U, X c T~S{U~XVS T, S, V, Q c T~V~Q{SVS T, S, V, T c (T{T)~V{SVS T, S, V, V c T~(V{V){SVS T, S, V, X c (T{S)~X|VVS T, S, W, Q c (T{S)~W{QVS T, S, W, U c (T{W)~U|SVS T, S, W, W c (TS{W)~WVS T, S, X, T c (T{X)~T{SVS T, S, X, U c T~S{X~UVS T, S, X, V c (T{S)~X|VVS T, S, X, X c T~(S{X){XVS T, T, P, R c T~T~R|PVS T, T, R, P c T~T~R|PVS T, T, S, V c (T{T)~V{SVS T, T, S, X c T~(T{X){SVS T, T, U, W c (T{T)~W|UVS T, T, V, S c (T{T)~V{SVS T, T, V, V c T~T{V~VVS T, T, W, U c (T{T)~W|UVS T, T, W, W c T{T{W~WVS T, T, W, X c T~(T{W){XVS T, T, X, S c T~(T{X){SVS T, T, X, W c T~(T{W){XVS T, U, P, X c T~(U{X)|PVS T, U, Q, V c (T~U{V)~QVS T, U, Q, W c T~Q~W|UVS T, U, R, V c (T{U)~V|RVS T, U, S, S c T~S~S|UVS T, U, S, W c T~(U{W){SVS T, U, S, X c T~S{U~XVS T, U, T, W c (T{T)~W|UVS T, U, U, W c (T{U)~U{WVS T, U, V, Q c (T~U{V)~QVS T, U, V, R c (T{U)~V|RVS T, U, V, X c T{U{V~XVS T, U, W, Q c T~W~Q|UVS T, U, W, S c T~(U{W){SVS T, U, W, T c (T{T)~W|UVS T, U, W, U c (T{U)~U{WVS T, U, W, W c T~(W{W)|UVS T, U, X, P c T~(U{X)|PVS T, U, X, S c T~S{U~XVS T, U, X, V c T{U{X~VVS T, V, P, W c T~(V{W)|PVS T, V, Q, Q c (T~V{Q)~QVS T, V, Q, S c T~V~Q{SVS T, V, Q, U c (T{V)~U{QVS T, V, R, U c (T{U)~V|RVS T, V, S, Q c T~V~Q{SVS T, V, S, T c (T{T)~V{SVS T, V, S, V c T~(V{V){SVS T, V, S, X c (T{S)~X|VVS T, V, T, S c (T{T)~V{SVS T, V, T, V c T~T{V~VVS T, V, U, Q c (T{V)~U{QVS T, V, U, R c (T{U)~V|RVS T, V, U, X c T~(V{U){XVS T, V, V, S c T~(V{V){SVS T, V, V, T c T~T{V~VVS T, V, W, P c T~(V{W)|PVS T, V, W, X c V|T{W~XVS T, V, X, S c (T{S)~X|VVS T, V, X, U c T{V~X{UVS T, V, X, W c V|T{X~WVS T, W, P, V c T~(W{V)|PVS T, W, Q, R c (T~W|R)~QVS T, W, Q, S c (T{W~S)~QVS T, W, Q, U c T~W~Q|UVS T, W, Q, W c T~Q{W~WVS T, W, Q, X c (T~X|W)~QVS T, W, R, Q c (T~W|R)~QVS T, W, R, X c T{W~X|RVS T, W, S, Q c (T{W~S)~QVS T, W, S, U c (T{W)~U|SVS T, W, S, W c (TS{W)~WVS T, W, T, U c (T{T)~W|UVS T, W, T, W c T{W~W{TVS T, W, T, X c (T{W)~T{XVS T, W, U, Q c T~W~Q|UVS T, W, U, S c (T{W)~U|SVS T, W, U, T c (T{T)~W|UVS T, W, U, U c (T{U)~U{WVS T, W, U, W c T~(W{W)|UVS T, W, V, P c T~(W{V)|PVS T, W, V, X c W~X|T{VVS T, W, W, Q c T~Q{W~WVS T, W, W, S c (TS{W)~WVS T, W, W, T c T{W~W{TVS T, W, W, U c T~(W{W)|UVS T, W, X, Q c (T~X|W)~QVS T, W, X, R c T{W~X|RVS T, W, X, T c (T{W)~T{XVS T, W, X, V c W~X|T{VVS T, X, P, U c T~(X{U)|PVS T, X, Q, R c (T{R)~X{QVS T, X, Q, W c (T~X|W)~QVS T, X, Q, X c (X~X)|(T{Q)VS T, X, R, Q c (T{R)~X{QVS T, X, R, W c T{X~W|RVS T, X, S, T c (T{X)~T{SVS T, X, S, U c T~S{X~UVS T, X, S, V c (T{S)~X|VVS T, X, S, X c T~(X{S){XVS T, X, T, S c (T{X)~T{SVS T, X, T, W c T~(T{W){XVS T, X, U, P c T~(X{U)|PVS T, X, U, S c T~S{X~UVS T, X, U, V c T{X~V{UVS T, X, V, S c (T{S)~X|VVS T, X, V, U c T{X~V{UVS T, X, V, W c X~W|T{VVS T, X, W, Q c (T~X|W)~QVS T, X, W, R c T{X~W|RVS T, X, W, T c (T{W)~T{XVS T, X, W, V c X~W|T{VVS T, X, X, Q c (X~X)|(T{Q)VS T, X, X, S c T~(X{S){XVS U, P, Q, U c (U~U{P)~QVS U, P, T, X c (U{X)~T|PVS U, P, U, Q c (U~U{P)~QVS U, P, W, X c (P{X)~W|UVS U, P, X, T c (U{X)~T|PVS U, P, X, W c (P{X)~W|UVS U, P, X, X c (X~X)|(U{P)VS U, Q, P, U c (U~U{P)~QVS U, Q, Q, U c U~Q~U{QVS U, Q, Q, X c (U{Q)~X{QVS U, Q, R, S c U~R~S{QVS U, Q, R, W c (U{R)~W{QVS U, Q, R, X c U~(R{X){QVS U, Q, S, R c U~S~R{QVS U, Q, S, W c U~(S{W){QVS U, Q, T, V c U~(T{V){QVS U, Q, T, W c Q~T~W|UVS U, Q, U, P c (U~U{P)~QVS U, Q, U, Q c U~Q~U{QVS U, Q, U, U c (U{U)~U{QVS U, Q, V, T c U~(V{T){QVS U, Q, W, R c (U{R)~W{QVS U, Q, W, S c U~(W{S){QVS U, Q, W, T c Q~W~T|UVS U, Q, W, W c (Q{W)~W|UVS U, Q, W, X c U~(Q{X){WVS U, Q, X, Q c (U{Q)~X{QVS U, Q, X, R c U~(X{R){QVS U, Q, X, W c U~(Q{X){WVS U, R, Q, S c U~R~S{QVS U, R, Q, W c (U{R)~W{QVS U, R, Q, X c U~(R{X){QVS U, R, S, Q c U~R~S{QVS U, R, T, V c (U{T)~V|RVS U, R, V, T c (U{T)~V|RVS U, R, V, W c U~R{V~WVS U, R, V, X c (U{R)~X|VVS U, R, W, Q c (U{R)~W{QVS U, R, W, V c U~R{W~VVS U, R, W, W c U~(R{W){WVS U, R, W, X c UR{W~XVS U, R, X, Q c U~(R{X){QVS U, R, X, V c (U{R)~X|VVS U, R, X, W c UR{X~WVS U, S, Q, R c U~S~R{QVS U, S, Q, W c U~(S{W){QVS U, S, R, Q c U~S~R{QVS U, S, S, T c S~S~T|UVS U, S, S, V c (U{S)~V{SVS U, S, S, X c U~(S{X)|SVS U, S, T, S c S~T~S|UVS U, S, T, W c U~(T{W)|SVS U, S, T, X c U~X{S~TVS U, S, U, V c U~(U{V)|SVS U, S, U, W c (U{S)~W|UVS U, S, V, S c (U{S)~V{SVS U, S, V, U c (U{V)~U|SVS U, S, V, W c U~(S{V){WVS U, S, W, Q c U~(S{W){QVS U, S, W, T c (U{W)~T{SVS U, S, W, U c (U{S)~W|UVS U, S, W, V c U~(S{V){WVS U, S, W, W c U{S{W~WVS U, S, W, X c U{S~(W{X)VS U, S, X, S c U~(S{X)|SVS U, S, X, T c U~X{S~TVS U, S, X, W c U{S~(X{W)VS U, T, P, X c (U{X)~T|PVS U, T, Q, V c U~(T{V){QVS U, T, Q, W c T~Q~W|UVS U, T, R, V c (U{T)~V|RVS U, T, S, S c T~S~S|UVS U, T, S, W c U~(T{W)|SVS U, T, S, X c U~X{T~SVS U, T, T, W c (T{T)~W|UVS U, T, U, W c (U{T)~U{WVS U, T, V, Q c U~(T{V){QVS U, T, V, R c (U{T)~V|RVS U, T, V, X c U{T{V~XVS U, T, W, Q c T~W~Q|UVS U, T, W, S c U~(T{W)|SVS U, T, W, T c (T{T)~W|UVS U, T, W, U c (U{T)~U{WVS U, T, W, W c T~(W{W)|UVS U, T, X, P c (U{X)~T|PVS U, T, X, S c U~X{T~SVS U, T, X, V c U{T{X~VVS U, U, P, Q c (U~U{P)~QVS U, U, Q, P c (U~U{P)~QVS U, U, Q, Q c U~U~Q{QVS U, U, Q, U c (U{U)~U{QVS U, U, S, V c U~(U{V)|SVS U, U, S, W c (U{S)~W|UVS U, U, T, W c U~(U{T){WVS U, U, U, Q c (U{U)~U{QVS U, U, V, S c U~(U{V)|SVS U, U, W, S c (U{S)~W|UVS U, U, W, T c U~(U{T){WVS U, V, Q, T c U~(V{T){QVS U, V, R, T c (U{T)~V|RVS U, V, R, W c U~R{V~WVS U, V, R, X c (U{R)~X|VVS U, V, S, S c (U{S)~V{SVS U, V, S, U c (U{V)~U|SVS U, V, S, W c U~(V{S){WVS U, V, T, Q c U~(V{T){QVS U, V, T, R c (U{T)~V|RVS U, V, T, X c (U{V)~T{XVS U, V, U, S c (U{V)~U|SVS U, V, W, R c U~R{V~WVS U, V, W, S c U~V{W~SVS U, V, X, R c (U{R)~X|VVS U, V, X, T c U{V~X{TVS U, W, P, X c W~(P{X)|UVS U, W, Q, R c (U{R)~W{QVS U, W, Q, S c U~(W{S){QVS U, W, Q, T c W~Q~T|UVS U, W, Q, W c (W{Q)~W|UVS U, W, Q, X c U~(Q{X){WVS U, W, R, Q c (U{R)~W{QVS U, W, R, V c U~R{W~VVS U, W, R, W c U~(W{R){WVS U, W, R, X c UR{W~XVS U, W, S, Q c U~(W{S){QVS U, W, S, T c (U{W)~T{SVS U, W, S, U c (U{S)~W|UVS U, W, S, V c U~(S{V){WVS U, W, S, W c U{W~W{SVS U, W, S, X c U{(W{X)~SVS U, W, T, Q c W~T~Q|UVS U, W, T, S c (U{W)~T{SVS U, W, T, T c W~(T{T)|UVS U, W, T, U c (U{T)~U{WVS U, W, T, W c (W{W)~T|UVS U, W, U, S c (U{S)~W|UVS U, W, U, T c U~(U{T){WVS U, W, V, R c U~R{W~VVS U, W, V, S c U~V{W~SVS U, W, W, Q c W~(W{Q)|UVS U, W, W, R c U~(W{R){WVS U, W, W, S c U{W~W{SVS U, W, W, T c (W{W)~T|UVS U, W, W, X c W|U{W~XVS U, W, X, P c W~(X{P)|UVS U, W, X, Q c U~(X{Q){WVS U, W, X, R c UR{W~XVS U, W, X, S c U{(W{X)~SVS U, W, X, W c W|U{X~WVS U, X, P, T c (U{X)~T|PVS U, X, P, W c (X{P)~W|UVS U, X, P, X c (X~X)|(U{P)VS U, X, Q, Q c (U{Q)~X{QVS U, X, Q, R c U~(X{R){QVS U, X, Q, W c U~(X{Q){WVS U, X, R, Q c U~(X{R){QVS U, X, R, V c (U{R)~X|VVS U, X, R, W c UR{X~WVS U, X, S, S c U~(X{S)|SVS U, X, S, T c U~X{S~TVS U, X, S, W c U{(X{W)~SVS U, X, T, P c (U{X)~T|PVS U, X, T, S c U~X{T~SVS U, X, T, V c U{X~V{TVS U, X, V, R c (U{R)~X|VVS U, X, V, T c U{X~V{TVS U, X, W, P c (X{P)~W|UVS U, X, W, Q c U~(X{Q){WVS U, X, W, R c UR{X~WVS U, X, W, S c U{(X{W)~SVS U, X, W, W c X~W|U{WVS U, X, X, P c (X~X)|(U{P)VS V, O, X, X c O{X~X|VVS V, P, Q, X c (V{P)~X{QVS V, P, S, X c V~(P{X){SVS V, P, T, W c (V{W)~T|PVS V, P, W, T c (V{W)~T|PVS V, P, W, X c (P{W)~X|VVS V, P, X, Q c (V{P)~X{QVS V, P, X, S c V~(P{X){SVS V, P, X, W c (P{W)~X|VVS V, P, X, X c P~X~X|VVS V, Q, P, X c (V{P)~X{QVS V, Q, Q, T c (V~T{Q)~QVS V, Q, Q, W c (V{Q)~W{QVS V, Q, R, X c V~(Q{X)|RVS V, Q, S, T c V~Q~T{SVS V, Q, S, W c V~(Q{W){SVS V, Q, S, X c (V~S{X)~QVS V, Q, T, Q c (V~T{Q)~QVS V, Q, T, S c V~Q~T{SVS V, Q, T, U c (V{T)~U{QVS V, Q, U, T c (V{U~T)~QVS V, Q, V, X c (V{Q)~X|VVS V, Q, W, Q c (V{Q)~W{QVS V, Q, W, S c V~(Q{W){SVS V, Q, W, X c V~W{Q~XVS V, Q, X, P c (V{P)~X{QVS V, Q, X, R c V~(Q{X)|RVS V, Q, X, S c (V~S{X)~QVS V, Q, X, V c (V{Q)~X|VVS V, Q, X, W c V~W{Q~XVS V, Q, X, X c V~X{Q{XVS V, R, Q, X c V~(Q{X)|RVS V, R, R, W c V~(R{W)|RVS V, R, R, X c R~R~X|VVS V, R, S, V c (V{R)~V{SVS V, R, T, U c V~(T{U)|RVS V, R, U, T c V~(U{T)|RVS V, R, U, W c (V{R)~W|UVS V, R, U, X c (R{U)~X|VVS V, R, V, S c (V{R)~V{SVS V, R, W, R c V~(R{W)|RVS V, R, W, U c (V{R)~W|UVS V, R, W, W c V{R{W~WVS V, R, W, X c V~X{R{WVS V, R, X, Q c V~(X{Q)|RVS V, R, X, R c R~X~R|VVS V, R, X, U c (R{U)~X|VVS V, R, X, W c V~X{R{WVS V, S, P, X c V~(P{X){SVS V, S, Q, T c V~Q~T{SVS V, S, Q, W c V~(Q{W){SVS V, S, Q, X c (V~S{X)~QVS V, S, R, V c (V{S)~V|RVS V, S, S, U c V~(S{U){SVS V, S, T, Q c V~T~Q{SVS V, S, T, T c V~(T{T){SVS V, S, T, V c (V{V)~T{SVS V, S, T, X c (S{T)~X|VVS V, S, U, S c V~(S{U){SVS V, S, U, U c (V{U)~U|SVS V, S, U, W c (V{S)~U{WVS V, S, V, R c (V{S)~V|RVS V, S, V, T c (V{V)~T{SVS V, S, V, X c V{S{V~XVS V, S, W, Q c V~(W{Q){SVS V, S, W, U c (V{S)~U{WVS V, S, W, X c (V{XS)~WVS V, S, X, P c V~(X{P){SVS V, S, X, Q c (V~S{X)~QVS V, S, X, T c (S{T)~X|VVS V, S, X, V c V{S{X~VVS V, S, X, W c (V{XS)~WVS V, T, P, W c (V{W)~T|PVS V, T, Q, Q c (V~T{Q)~QVS V, T, Q, S c V~T~Q{SVS V, T, Q, U c (V{T)~U{QVS V, T, R, U c V~(T{U)|RVS V, T, S, Q c V~T~Q{SVS V, T, S, T c V~(T{T){SVS V, T, S, V c (V{V)~T{SVS V, T, S, X c (T{S)~X|VVS V, T, T, S c V~(T{T){SVS V, T, T, V c V~V{T~TVS V, T, U, Q c (V{T)~U{QVS V, T, U, R c V~(T{U)|RVS V, T, U, X c (V{U)~T{XVS V, T, V, S c (V{V)~T{SVS V, T, V, T c V~V{T~TVS V, T, W, P c (V{W)~T|PVS V, T, W, X c V|T{W~XVS V, T, X, S c (T{S)~X|VVS V, T, X, U c (V{X)~T|UVS V, T, X, W c V|T{X~WVS V, U, Q, T c (V{U~T)~QVS V, U, R, T c V~(U{T)|RVS V, U, R, W c (V{R)~W|UVS V, U, R, X c (U{R)~X|VVS V, U, S, S c V~(U{S){SVS V, U, S, U c (V{U)~U|SVS V, U, S, W c V~U{S~WVS V, U, T, Q c (V{U~T)~QVS V, U, T, R c V~(U{T)|RVS V, U, T, X c (V{U)~T{XVS V, U, U, S c (V{U)~U|SVS V, U, W, R c V~W{U~RVS V, U, W, S c V~U{W~SVS V, U, X, R c (U{R)~X|VVS V, U, X, T c (V{U)~T{XVS V, V, Q, X c (V{Q)~X|VVS V, V, R, S c V~(V{R){SVS V, V, S, R c V~(V{S)|RVS V, V, S, T c (V{V)~T{SVS V, V, S, X c V{V~X{SVS V, V, T, S c (V{V)~T{SVS V, V, T, T c V~V{T~TVS V, V, X, Q c (V{Q)~X|VVS V, V, X, S c V{V~X{SVS V, W, P, T c (V{W)~T|PVS V, W, P, X c (W{P)~X|VVS V, W, Q, Q c (V{Q)~W{QVS V, W, Q, S c V~(W{Q){SVS V, W, Q, X c V~W{Q~XVS V, W, R, R c V~(W{R)|RVS V, W, R, U c V~W{R~UVS V, W, R, W c V{W~W{RVS V, W, R, X c V~X{W{RVS V, W, S, Q c V~(W{Q){SVS V, W, S, U c (V{S)~U{WVS V, W, S, X c (V{XS)~WVS V, W, T, P c (V{W)~T|PVS V, W, T, X c V{W~X|TVS V, W, U, R c V~W{U~RVS V, W, U, S c V~U{W~SVS V, W, W, R c V{W~W{RVS V, W, X, P c (W{P)~X|VVS V, W, X, Q c V~W{X~QVS V, W, X, R c V~X{W{RVS V, W, X, S c (V{XS)~WVS V, W, X, T c V{W~X|TVS V, W, X, X c V~W{X{XVS V, X, O, X c (X{O)~X|VVS V, X, P, Q c (V{P)~X{QVS V, X, P, S c V~(X{P){SVS V, X, P, W c X~(P{W)|VVS V, X, P, X c X~P~X|VVS V, X, Q, P c (V{P)~X{QVS V, X, Q, R c V~(X{Q)|RVS V, X, Q, S c (V~S{X)~QVS V, X, Q, V c (V{Q)~X|VVS V, X, Q, W c V~W{X~QVS V, X, Q, X c V~X{Q{XVS V, X, R, Q c V~(X{Q)|RVS V, X, R, R c X~R~R|VVS V, X, R, U c X~(R{U)|VVS V, X, R, W c V~X{R{WVS V, X, S, P c V~(X{P){SVS V, X, S, Q c (V~S{X)~QVS V, X, S, T c X~(S{T)|VVS V, X, S, V c V~X{S{VVS V, X, S, W c (V{XS)~WVS V, X, T, S c X~(T{S)|VVS V, X, T, U c (V{X)~T|UVS V, X, T, W c V{X~W|TVS V, X, U, R c X~(U{R)|VVS V, X, U, T c V~X{U{TVS V, X, V, Q c (V{Q)~X|VVS V, X, V, S c V{X~V{SVS V, X, W, P c X~(W{P)|VVS V, X, W, Q c V~W{X~QVS V, X, W, R c V~X{W{RVS V, X, W, S c (V{XS)~WVS V, X, W, T c V{X~W|TVS V, X, W, X c V~W{X{XVS V, X, X, O c X~X|V{OVS V, X, X, P c X~X|V~PVS V, X, X, Q c V~X{X{QVS V, X, X, W c V~W{X{XVS V, X, X, X c (X|VX)~XVS W, O, Q, X c (W{O)~X{QVS W, O, X, Q c (W{O)~X{QVS W, P, P, X c W~X{P{PVS W, P, Q, W c (W{P)~W{QVS W, P, Q, X c W~P~X{QVS W, P, R, X c W~X|P{RVS W, P, S, X c W~(PS{X)VS W, P, T, V c (W{V)~T|PVS W, P, U, X c W~(P{X)|UVS W, P, V, T c (W{V)~T|PVS W, P, V, X c (W{P)~X|VVS W, P, W, Q c (W{P)~W{QVS W, P, W, X c W~W{P{XVS W, P, X, P c W~X{P{PVS W, P, X, Q c W~P~X{QVS W, P, X, R c W~X|P{RVS W, P, X, S c W~(PS{X)VS W, P, X, U c W~(P{X)|UVS W, P, X, V c (W{P)~X|VVS W, P, X, W c W~W{P{XVS W, P, X, X c P{X~X|WVS W, Q, O, X c (W{O)~X{QVS W, Q, P, W c (W{P)~W{QVS W, Q, P, X c W~P~X{QVS W, Q, Q, V c W~(Q{V){QVS W, Q, R, R c W~R~R{QVS W, Q, R, T c (W~T|R)~QVS W, Q, R, U c W~(R{U){QVS W, Q, S, T c W~(S{T){QVS W, Q, S, U c (W{S)~U{QVS W, Q, S, V c (W{Q)~V{SVS W, Q, S, X c W~X|Q{SVS W, Q, T, R c (W~T|R)~QVS W, Q, T, S c W~(T{S){QVS W, Q, T, U c W~Q~T|UVS W, Q, T, W c W~W{Q~TVS W, Q, T, X c Q~(T~X|W)VS W, Q, U, R c W~(U{R){QVS W, Q, U, S c (W{S)~U{QVS W, Q, U, T c W~Q~T|UVS W, Q, U, W c (W{Q)~W|UVS W, Q, U, X c W{(Q{X)~UVS W, Q, V, Q c W~(Q{V){QVS W, Q, V, S c (W{Q)~V{SVS W, Q, V, X c W~V{Q~XVS W, Q, W, P c W~(W{P){QVS W, Q, W, T c W~W{Q~TVS W, Q, W, U c (W{Q)~W|UVS W, Q, W, W c W{Q{W~WVS W, Q, W, X c W~(QW{X)VS W, Q, X, O c W~X{Q{OVS W, Q, X, P c W~X{Q~PVS W, Q, X, S c W~X|Q{SVS W, Q, X, T c Q~(X~T|W)VS W, Q, X, U c W{(Q{X)~UVS W, Q, X, V c W~V{Q~XVS W, Q, X, W c W~(QW{X)VS W, Q, X, X c (W{QX)~XVS W, R, P, X c W~X{R|PVS W, R, Q, R c W~R~R{QVS W, R, Q, T c (W~T|R)~QVS W, R, Q, U c W~(R{U){QVS W, R, R, Q c W~R~R{QVS W, R, R, V c (W{R)~V|RVS W, R, T, Q c (W~T|R)~QVS W, R, T, X c W~X|R{TVS W, R, U, Q c W~(R{U){QVS W, R, U, V c W~(R{V)|UVS W, R, U, W c (W{R)~U{WVS W, R, U, X c W~X{URVS W, R, V, R c (W{R)~V|RVS W, R, V, U c W~(R{V)|UVS W, R, V, W c W~W{R{VVS W, R, V, X c W{R{V~XVS W, R, W, U c W{(R{W)~UVS W, R, W, V c W~W{R{VVS W, R, X, P c W~X{R|PVS W, R, X, T c W~X|R{TVS W, R, X, U c W~X{URVS W, R, X, V c W{R{X~VVS W, S, P, X c W~(PS{X)VS W, S, Q, T c W~(S{T){QVS W, S, Q, U c (W{S)~U{QVS W, S, Q, V c (W{Q)~V{SVS W, S, Q, X c W~X{S|QVS W, S, T, Q c W~(S{T){QVS W, S, T, U c (W{T)~U|SVS W, S, T, W c (W{TS)~WVS W, S, U, Q c (W{S)~U{QVS W, S, U, T c (W{U)~T{SVS W, S, U, U c W~(S{U)|UVS W, S, U, V c W~S{U~VVS W, S, U, W c W~W{S{UVS W, S, U, X c (W{X)~S{UVS W, S, V, Q c (W{Q)~V{SVS W, S, V, U c W{(S{V)~UVS W, S, V, X c W~(V{XS)VS W, S, W, T c W~(W{TS)VS W, S, W, U c W~W{S{UVS W, S, W, X c WS{W~XVS W, S, X, P c W~(X{PS)VS W, S, X, Q c W~X{S|QVS W, S, X, U c (W{X)~S{UVS W, S, X, V c W~(XS{V)VS W, S, X, W c WS{X~WVS W, T, P, V c (W{V)~T|PVS W, T, Q, R c (W~T|R)~QVS W, T, Q, S c W~(T{S){QVS W, T, Q, U c W~T~Q|UVS W, T, Q, W c W~W{T~QVS W, T, Q, X c (T~X|W)~QVS W, T, R, Q c (W~T|R)~QVS W, T, R, X c W~X{T|RVS W, T, S, Q c W~(T{S){QVS W, T, S, U c (W{T)~U|SVS W, T, S, W c (W{TS)~WVS W, T, T, U c W~(T{T)|UVS W, T, T, W c W~W{T{TVS W, T, T, X c (W{T)~T{XVS W, T, U, Q c W~T~Q|UVS W, T, U, S c (W{T)~U|SVS W, T, U, T c W~(T{T)|UVS W, T, U, U c W{(T{U)~UVS W, T, U, W c (W{W)~T|UVS W, T, V, P c (W{V)~T|PVS W, T, V, X c W~X|T{VVS W, T, W, Q c W~W{T~QVS W, T, W, S c (W{TS)~WVS W, T, W, T c W~W{T{TVS W, T, W, U c (W{W)~T|UVS W, T, X, Q c (T~X|W)~QVS W, T, X, R c W~X{T|RVS W, T, X, T c (W{T)~T{XVS W, T, X, V c W~X|T{VVS W, U, P, X c W~(P{X)|UVS W, U, Q, R c W~(U{R){QVS W, U, Q, S c (W{S)~U{QVS W, U, Q, T c W~Q~T|UVS W, U, Q, W c (W{Q)~W|UVS W, U, Q, X c W{U~(Q{X)VS W, U, R, Q c W~(U{R){QVS W, U, R, V c W~(R{V)|UVS W, U, R, W c W{U~(R{W)VS W, U, R, X c W~X{URVS W, U, S, Q c (W{S)~U{QVS W, U, S, T c (W{U)~T{SVS W, U, S, U c W~(U{S)|UVS W, U, S, V c W{U~(S{V)VS W, U, S, W c W~W{U{SVS W, U, S, X c W~X{U|SVS W, U, T, Q c W~T~Q|UVS W, U, T, S c (W{U)~T{SVS W, U, T, T c W~(T{T)|UVS W, U, T, U c W{(U{T)~UVS W, U, T, W c (W{W)~T|UVS W, U, U, S c W~(U{S)|UVS W, U, U, T c W{U~(U{T)VS W, U, V, R c W~V{U~RVS W, U, V, S c W{U~(V{S)VS W, U, W, Q c W~(W{Q)|UVS W, U, W, R c W{U~(W{R)VS W, U, W, S c W~W{U{SVS W, U, W, T c (W{W)~T|UVS W, U, W, X c W|U{W~XVS W, U, X, P c W~(X{P)|UVS W, U, X, Q c W{U~(X{Q)VS W, U, X, R c W~X{URVS W, U, X, S c W~X{U|SVS W, U, X, W c W|U{X~WVS W, V, P, T c (W{V)~T|PVS W, V, P, X c (W{P)~X|VVS W, V, Q, Q c W~(V{Q){QVS W, V, Q, S c (W{Q)~V{SVS W, V, Q, X c W~V{Q~XVS W, V, R, R c (W{R)~V|RVS W, V, R, U c W~(V{R)|UVS W, V, R, W c W~W{V{RVS W, V, R, X c W{V~X{RVS W, V, S, Q c (W{Q)~V{SVS W, V, S, U c W{(V{S)~UVS W, V, S, X c W~(V{XS)VS W, V, T, P c (W{V)~T|PVS W, V, T, X c W~X{V|TVS W, V, U, R c W~V{U~RVS W, V, U, S c W{(V{S)~UVS W, V, W, R c W~W{V{RVS W, V, X, P c (W{P)~X|VVS W, V, X, Q c W~V{X~QVS W, V, X, R c W{V~X{RVS W, V, X, S c W~(V{XS)VS W, V, X, T c W~X{V|TVS W, V, X, X c W~V{X{XVS W, W, P, Q c W~(W{P){QVS W, W, P, X c W~W{P{XVS W, W, Q, P c W~(W{P){QVS W, W, Q, T c W~W{Q~TVS W, W, Q, U c W~(W{Q)|UVS W, W, Q, W c W~W{Q{WVS W, W, Q, X c W~(QW{X)VS W, W, R, U c W{(W{R)~UVS W, W, R, V c W~W{R{VVS W, W, S, T c W~(W{TS)VS W, W, S, U c W~W{S{UVS W, W, S, X c WS{W~XVS W, W, T, Q c W~W{T~QVS W, W, T, S c W~(W{TS)VS W, W, T, T c W~W{T{TVS W, W, T, U c (W{W)~T|UVS W, W, U, Q c W~(W{Q)|UVS W, W, U, R c W{(W{R)~UVS W, W, U, S c W~W{U{SVS W, W, U, T c (W{W)~T|UVS W, W, U, X c W{W~X|UVS W, W, V, R c W~W{V{RVS W, W, W, Q c W{W~W{QVS W, W, X, P c W~W{X{PVS W, W, X, Q c W~(X{QW)VS W, W, X, S c W~X{WSVS W, W, X, U c W{W~X|UVS W, X, O, Q c W~X{O{QVS W, X, P, P c W~X{P{PVS W, X, P, Q c W~X{P~QVS W, X, P, R c W~X|P{RVS W, X, P, S c W~(X{PS)VS W, X, P, U c W~(X{P)|UVS W, X, P, V c (W{P)~X|VVS W, X, P, W c W~W{X{PVS W, X, P, X c X~X|W{PVS W, X, Q, O c W~X{Q{OVS W, X, Q, P c W~X{Q~PVS W, X, Q, S c W~X|Q{SVS W, X, Q, T c (X~T|W)~QVS W, X, Q, U c W{(X{Q)~UVS W, X, Q, V c W~V{X~QVS W, X, Q, W c W~(X{QW)VS W, X, Q, X c (W{QX)~XVS W, X, R, P c W~X{R|PVS W, X, R, T c W~X|R{TVS W, X, R, U c W~X{URVS W, X, R, V c W{X~V{RVS W, X, S, P c W~(X{PS)VS W, X, S, Q c W~X{S|QVS W, X, S, U c (W{X)~S{UVS W, X, S, V c W~(XS{V)VS W, X, S, W c W~X{WSVS W, X, T, Q c (X~T|W)~QVS W, X, T, R c W~X{T|RVS W, X, T, T c (W{T)~T{XVS W, X, T, V c W~X|T{VVS W, X, U, P c W~(X{P)|UVS W, X, U, Q c W{(X{Q)~UVS W, X, U, R c W~X{URVS W, X, U, S c W~X{U|SVS W, X, U, W c W~X|U{WVS W, X, V, P c (W{P)~X|VVS W, X, V, Q c W~V{X~QVS W, X, V, R c W{X~V{RVS W, X, V, S c W~(XS{V)VS W, X, V, T c W~X{V|TVS W, X, V, X c W~X|V{XVS W, X, W, P c W~W{X{PVS W, X, W, Q c W~(X{QW)VS W, X, W, S c W~X{WSVS W, X, W, U c W{X~W|UVS W, X, X, P c X~X|W{PVS W, X, X, Q c (W{QX)~XVS W, X, X, V c W~X{X|VVS X, O, Q, W c (X{O)~W{QVS X, O, V, X c (X{O)~X|VVS X, O, W, Q c (X{O)~W{QVS X, O, X, V c (X{O)~X|VVS X, P, P, W c X~W{P{PVS X, P, Q, S c (X~S{P)~QVS X, P, Q, V c X~(P{V){QVS X, P, Q, W c X~P~W{QVS X, P, Q, X c (X|P)~X{QVS X, P, R, W c X~W|P{RVS X, P, S, Q c (X~S{P)~QVS X, P, S, V c (X{P)~V{SVS X, P, S, W c (X{PS)~WVS X, P, T, U c (X{U)~T|PVS X, P, U, T c (X{U)~T|PVS X, P, U, W c (X{P)~W|UVS X, P, U, X c (X~X)|(P{U)VS X, P, V, Q c X~(P{V){QVS X, P, V, S c (X{P)~V{SVS X, P, V, W c X~(P{W)|VVS X, P, V, X c X~P~X|VVS X, P, W, P c X~W{P{PVS X, P, W, Q c X~P~W{QVS X, P, W, R c X~W|P{RVS X, P, W, S c (X{PS)~WVS X, P, W, U c (X{P)~W|UVS X, P, W, V c X~(P{W)|VVS X, P, W, W c X{P{W~WVS X, P, W, X c X~X{P|WVS X, P, X, Q c (X|P)~X{QVS X, P, X, U c (X~X)|(P{U)VS X, P, X, V c X~P~X|VVS X, P, X, W c X~X{P|WVS X, Q, O, W c (X{O)~W{QVS X, Q, P, S c (X~S{P)~QVS X, Q, P, V c X~(P{V){QVS X, Q, P, W c X~P~W{QVS X, Q, P, X c (X|P)~X{QVS X, Q, Q, S c X~Q~S{QVS X, Q, Q, U c X~(Q{U){QVS X, Q, R, T c X~(R{T){QVS X, Q, R, U c (X{R)~U{QVS X, Q, R, V c (X{Q)~V|RVS X, Q, S, P c (X~S{P)~QVS X, Q, S, Q c X~Q~S{QVS X, Q, S, S c X~(S{S){QVS X, Q, S, V c (X{S~V)~QVS X, Q, S, W c X~W|Q{SVS X, Q, S, X c (X{X)~S{QVS X, Q, T, R c X~(T{R){QVS X, Q, T, W c (X~T|W)~QVS X, Q, T, X c (X~X)|(Q{T)VS X, Q, U, Q c X~(Q{U){QVS X, Q, U, R c (X{R)~U{QVS X, Q, U, W c (X{Q)~U{WVS X, Q, V, P c X~(V{P){QVS X, Q, V, R c (X{Q)~V|RVS X, Q, V, S c (X{V~S)~QVS X, Q, V, V c X~(Q{V)|VVS X, Q, V, W c X~Q{V~WVS X, Q, V, X c X{Q{V~XVS X, Q, W, O c X~W{Q{OVS X, Q, W, P c X~W{Q~PVS X, Q, W, S c X~W|Q{SVS X, Q, W, T c (X~T|W)~QVS X, Q, W, U c (X{Q)~U{WVS X, Q, W, V c X~Q{W~VVS X, Q, W, W c (X{QW)~WVS X, Q, W, X c X~(QX{W)VS X, Q, X, P c X~(X|P){QVS X, Q, X, S c (X{X)~S{QVS X, Q, X, T c (X~X)|(Q{T)VS X, Q, X, V c X{Q{X~VVS X, Q, X, W c X~(QX{W)VS X, Q, X, X c X~X{Q|XVS X, R, P, W c X~W{R|PVS X, R, Q, T c X~(R{T){QVS X, R, Q, U c (X{R)~U{QVS X, R, Q, V c (X{Q)~V|RVS X, R, R, V c X~R~R|VVS X, R, S, X c (X~X)|(R{S)VS X, R, T, Q c X~(R{T){QVS X, R, T, W c X~W|R{TVS X, R, U, Q c (X{R)~U{QVS X, R, U, V c X~(R{U)|VVS X, R, U, W c X~W{URVS X, R, V, Q c (X{Q)~V|RVS X, R, V, R c X~R~R|VVS X, R, V, U c X~(R{U)|VVS X, R, V, W c X~V{R{WVS X, R, W, P c X~W{R|PVS X, R, W, T c X~W|R{TVS X, R, W, U c X~W{URVS X, R, W, V c X~V{R{WVS X, R, X, S c (X~X)|(R{S)VS X, S, P, Q c (X~S{P)~QVS X, S, P, V c (X{P)~V{SVS X, S, P, W c (X{PS)~WVS X, S, Q, P c (X~S{P)~QVS X, S, Q, Q c X~S~Q{QVS X, S, Q, S c X~(S{S){QVS X, S, Q, V c (X{S~V)~QVS X, S, Q, W c X~W{S|QVS X, S, Q, X c (X{X)~S{QVS X, S, R, X c (X~X)|(S{R)VS X, S, S, Q c X~(S{S){QVS X, S, S, U c (X{S)~U|SVS X, S, T, T c (X{T)~T{SVS X, S, T, U c X~U{S~TVS X, S, T, V c X~(S{T)|VVS X, S, T, X c (X{S)~T{XVS X, S, U, S c (X{S)~U|SVS X, S, U, T c X~U{S~TVS X, S, U, W c (X{W)~S{UVS X, S, V, P c (X{P)~V{SVS X, S, V, Q c (X{S~V)~QVS X, S, V, T c X~(S{T)|VVS X, S, V, V c X~V{S{VVS X, S, V, W c (XS{V)~WVS X, S, W, P c (X{PS)~WVS X, S, W, Q c X~W{S|QVS X, S, W, U c (X{W)~S{UVS X, S, W, V c (XS{V)~WVS X, S, W, W c X~W{WSVS X, S, X, Q c (X{X)~S{QVS X, S, X, R c (X~X)|(S{R)VS X, S, X, T c X{(S{X)~TVS X, T, P, U c (X{U)~T|PVS X, T, Q, R c X~(T{R){QVS X, T, Q, W c (X~T|W)~QVS X, T, Q, X c (X~X)|(T{Q)VS X, T, R, Q c X~(T{R){QVS X, T, R, W c X~W{T|RVS X, T, S, T c (X{T)~T{SVS X, T, S, U c X~U{T~SVS X, T, S, V c X~(T{S)|VVS X, T, S, X c X{T~(S{X)VS X, T, T, S c (X{T)~T{SVS X, T, T, W c X{T~(T{W)VS X, T, U, P c (X{U)~T|PVS X, T, U, S c X~U{T~SVS X, T, U, V c X{T~(U{V)VS X, T, V, S c X~(T{S)|VVS X, T, V, U c X{T~(V{U)VS X, T, V, W c X~W|T{VVS X, T, W, Q c (X~T|W)~QVS X, T, W, R c X~W{T|RVS X, T, W, T c X{(T{W)~TVS X, T, W, V c X~W|T{VVS X, T, X, Q c (X~X)|(T{Q)VS X, T, X, S c X{T~(X{S)VS X, U, P, T c (X{U)~T|PVS X, U, P, W c (X{P)~W|UVS X, U, P, X c (X~X)|(U{P)VS X, U, Q, Q c X~(U{Q){QVS X, U, Q, R c (X{R)~U{QVS X, U, Q, W c (X{Q)~U{WVS X, U, R, Q c (X{R)~U{QVS X, U, R, V c X~(U{R)|VVS X, U, R, W c X~W{URVS X, U, S, S c (X{S)~U|SVS X, U, S, T c X~U{S~TVS X, U, S, W c X~W{U|SVS X, U, T, P c (X{U)~T|PVS X, U, T, S c X~U{T~SVS X, U, T, V c X{(U{V)~TVS X, U, V, R c X~(U{R)|VVS X, U, V, T c X{(U{V)~TVS X, U, W, P c (X{P)~W|UVS X, U, W, Q c (X{Q)~U{WVS X, U, W, R c X~W{URVS X, U, W, S c X~W{U|SVS X, U, W, W c X~W|U{WVS X, U, X, P c (X~X)|(U{P)VS X, V, O, X c (X{O)~X|VVS X, V, P, Q c X~(V{P){QVS X, V, P, S c (X{P)~V{SVS X, V, P, W c X~(P{W)|VVS X, V, P, X c X~P~X|VVS X, V, Q, P c X~(V{P){QVS X, V, Q, R c (X{Q)~V|RVS X, V, Q, S c (X{V~S)~QVS X, V, Q, V c X~(V{Q)|VVS X, V, Q, W c X~Q{V~WVS X, V, Q, X c X~V{Q{XVS X, V, R, Q c (X{Q)~V|RVS X, V, R, R c X~R~R|VVS X, V, R, U c X~(R{U)|VVS X, V, R, W c X~V{R{WVS X, V, S, P c (X{P)~V{SVS X, V, S, Q c (X{V~S)~QVS X, V, S, T c X~(S{T)|VVS X, V, S, V c X~V{S{VVS X, V, S, W c (XS{V)~WVS X, V, T, S c X~(T{S)|VVS X, V, T, U c (X{V)~T|UVS X, V, T, W c X~W{V|TVS X, V, U, R c X~(U{R)|VVS X, V, U, T c X{(V{U)~TVS X, V, V, Q c X~(V{Q)|VVS X, V, V, S c X~V{V{SVS X, V, W, P c X~(W{P)|VVS X, V, W, Q c X~Q{V~WVS X, V, W, R c X~V{W{RVS X, V, W, S c (XS{V)~WVS X, V, W, T c X~W{V|TVS X, V, W, X c X{V~W{XVS X, V, X, O c X~X|V{OVS X, V, X, P c X~X|V~PVS X, V, X, Q c X{V~X{QVS X, V, X, W c X|V{X~WVS X, V, X, X c (X|VX)~XVS X, W, O, Q c X~W{O{QVS X, W, P, P c X~W{P{PVS X, W, P, Q c X~W{P~QVS X, W, P, R c X~W|P{RVS X, W, P, S c (X{PS)~WVS X, W, P, U c (X{P)~W|UVS X, W, P, V c X~(W{P)|VVS X, W, P, W c X{W~W{PVS X, W, P, X c X~X|W{PVS X, W, Q, O c X~W{Q{OVS X, W, Q, P c X~W{Q~PVS X, W, Q, S c X~W|Q{SVS X, W, Q, T c (X~T|W)~QVS X, W, Q, U c (X{Q)~U{WVS X, W, Q, V c X~Q{W~VVS X, W, Q, W c (X{QW)~WVS X, W, Q, X c X~(W{QX)VS X, W, R, P c X~W{R|PVS X, W, R, T c X~W|R{TVS X, W, R, U c X~W{URVS X, W, R, V c X~V{W{RVS X, W, S, P c (X{PS)~WVS X, W, S, Q c X~W{S|QVS X, W, S, U c (X{W)~S{UVS X, W, S, V c (XS{V)~WVS X, W, S, W c X~W{WSVS X, W, T, Q c (X~T|W)~QVS X, W, T, R c X~W{T|RVS X, W, T, T c X{(W{T)~TVS X, W, T, V c X~W|T{VVS X, W, U, P c (X{P)~W|UVS X, W, U, Q c (X{Q)~U{WVS X, W, U, R c X~W{URVS X, W, U, S c X~W{U|SVS X, W, U, W c X~W|U{WVS X, W, V, P c X~(W{P)|VVS X, W, V, Q c X~Q{W~VVS X, W, V, R c X~V{W{RVS X, W, V, S c (XS{V)~WVS X, W, V, T c X~W{V|TVS X, W, V, X c X{W~V{XVS X, W, W, P c X{W~W{PVS X, W, W, Q c (X{QW)~WVS X, W, W, S c X~W{WSVS X, W, W, U c X~W{W|UVS X, W, X, P c X~X|W{PVS X, W, X, Q c X~(W{QX)VS X, W, X, V c X{W~X|VVS X, X, O, V c X~X{O|VVS X, X, P, Q c X~(X|P){QVS X, X, P, U c (X~X)|(P{U)VS X, X, P, V c X~X|P~VVS X, X, P, W c X~X{P|WVS X, X, Q, P c X~(X|P){QVS X, X, Q, S c (X{X)~S{QVS X, X, Q, T c (X~X)|(Q{T)VS X, X, Q, V c X{X~V{QVS X, X, Q, W c X~(QX{W)VS X, X, Q, X c X~X{Q|XVS X, X, R, S c (X~X)|(R{S)VS X, X, S, Q c (X{X)~S{QVS X, X, S, R c (X~X)|(S{R)VS X, X, S, T c X{(X{S)~TVS X, X, T, Q c (X~X)|(T{Q)VS X, X, T, S c X{(X{S)~TVS X, X, U, P c (X~X)|(U{P)VS X, X, V, O c X~X|V{OVS X, X, V, P c X~X|V~PVS X, X, V, Q c X{X~V{QVS X, X, V, W c X{X{V~WVS X, X, V, X c X~(X|VX)VS X, X, W, P c X~X|W{PVS X, X, W, Q c X~(W{QX)VS X, X, W, V c X{X{W~VVS X, X, X, Q c X~X|X{QVS X, X, X, V c X~(X|VX)VS