O, Q, X, X c O{X~X|QVX O, V, W, X c O{V{W~XVX O, V, X, W c O{V{X~WVX O, W, V, X c O{W~X{VVX O, W, X, V c O{W~X{VVX O, X, Q, X c O{X~X|QVX O, X, V, W c O{X~W{VVX O, X, W, V c O{X~W{VVX O, X, X, Q c O{X~X|QVX P, P, W, X c (P{X)~W|PVX P, P, X, W c (P{X)~W|PVX P, P, X, X c (X~X)|(P{P)VX P, Q, T, W c Q~T~W|PVX P, Q, W, T c Q~W~T|PVX P, Q, W, W c (Q{W)~W|PVX P, Q, W, X c (P{W)~X|QVX P, Q, X, W c (P{W)~X|QVX P, Q, X, X c P~X~X|QVX P, R, V, W c (R{V)~W|PVX P, R, W, V c (R{V)~W|PVX P, R, X, X c P{X~X|RVX P, S, S, T c S~S~T|PVX P, S, T, S c S~T~S|PVX P, S, U, W c (S{U)~W|PVX P, S, U, X c P{(S{X)~UVX P, S, W, U c (S{U)~W|PVX P, S, X, U c P{(S{X)~UVX P, T, Q, W c T~Q~W|PVX P, T, S, S c T~S~S|PVX P, T, T, W c (T{T)~W|PVX P, T, U, W c P{(T{W)~UVX P, T, V, X c T~(V{X)|PVX P, T, W, Q c T~W~Q|PVX P, T, W, T c (T{T)~W|PVX P, T, W, U c P{(T{W)~UVX P, T, W, W c T~(W{W)|PVX P, T, X, V c T~(X{V)|PVX P, U, S, W c (U{S)~W|PVX P, U, S, X c P{U~(S{X)VX P, U, T, W c P{U~(T{W)VX P, U, U, V c P{U~(U{V)VX P, U, V, U c P{(U{V)~UVX P, U, W, S c (U{S)~W|PVX P, U, W, T c P{U~(W{T)VX P, U, W, X c P{U{W~XVX P, U, X, S c P{U~(X{S)VX P, U, X, W c P{U{X~WVX P, V, R, W c (V{R)~W|PVX P, V, T, X c (V{X)~T|PVX P, V, U, U c P{(V{U)~UVX P, V, V, X c (P{V)~X{VVX P, V, W, R c (V{R)~W|PVX P, V, W, W c (P{W)~W{VVX P, V, W, X c P~V{W~XVX P, V, X, T c (V{X)~T|PVX P, V, X, V c (P{V)~X{VVX P, V, X, W c P~V{X~WVX P, V, X, X c (P{X)~V{XVX P, W, P, X c (P{X)~W|PVX P, W, Q, T c W~Q~T|PVX P, W, Q, W c (W{Q)~W|PVX P, W, Q, X c (P{W)~X|QVX P, W, R, V c W~(R{V)|PVX P, W, S, U c W~(S{U)|PVX P, W, T, Q c W~T~Q|PVX P, W, T, T c W~(T{T)|PVX P, W, T, U c P{(W{T)~UVX P, W, T, W c (W{W)~T|PVX P, W, U, S c W~(U{S)|PVX P, W, U, T c P{(W{T)~UVX P, W, U, X c P{W~X{UVX P, W, V, R c W~(V{R)|PVX P, W, V, W c (P{W)~W{VVX P, W, V, X c P~W~X{VVX P, W, W, Q c W~(W{Q)|PVX P, W, W, T c (W{W)~T|PVX P, W, W, V c (P{W)~W{VVX P, W, W, X c W|P{W~XVX P, W, X, P c (P{X)~W|PVX P, W, X, Q c (P{W)~X|QVX P, W, X, U c P{W~X{UVX P, W, X, V c P~W~X{VVX P, W, X, W c W|P{X~WVX P, X, P, W c (P{X)~W|PVX P, X, P, X c (X~X)|(P{P)VX P, X, Q, W c (P{W)~X|QVX P, X, Q, X c P~X~X|QVX P, X, R, X c P{X~X|RVX P, X, S, U c P{(X{S)~UVX P, X, T, V c (X{V)~T|PVX P, X, U, S c P{(X{S)~UVX P, X, U, W c P{X~W{UVX P, X, V, T c (X{V)~T|PVX P, X, V, V c (P{V)~X{VVX P, X, V, W c P~X~W{VVX P, X, V, X c (P{X)~V{XVX P, X, W, P c (P{X)~W|PVX P, X, W, Q c (P{W)~X|QVX P, X, W, U c P{X~W{UVX P, X, W, V c P~X~W{VVX P, X, W, W c X~W|P{WVX P, X, X, P c (X~X)|(P{P)VX P, X, X, Q c P~X~X|QVX P, X, X, R c P{X~X|RVX P, X, X, V c (P{X)~V{XVX Q, O, X, X c O{X~X|QVX Q, P, T, W c Q~T~W|PVX Q, P, W, T c Q~W~T|PVX Q, P, W, W c (Q{W)~W|PVX Q, P, W, X c (P{W)~X|QVX Q, P, X, W c (P{W)~X|QVX Q, P, X, X c P~X~X|QVX Q, Q, V, X c Q{(Q{X)~VVX Q, Q, X, V c Q{(Q{X)~VVX Q, R, R, X c R~R~X|QVX Q, R, U, X c (R{U)~X|QVX Q, R, V, W c Q{(R{W)~VVX Q, R, W, V c Q{(R{W)~VVX Q, R, X, R c R~X~R|QVX Q, R, X, U c (R{U)~X|QVX Q, S, T, X c (S{T)~X|QVX Q, S, V, V c Q{(S{V)~VVX Q, S, V, X c Q~S~X{VVX Q, S, X, T c (S{T)~X|QVX Q, S, X, V c Q~S~X{VVX Q, S, X, X c Q{X~X|SVX Q, T, P, W c Q~T~W|PVX Q, T, S, X c (T{S)~X|QVX Q, T, U, V c Q{(T{U)~VVX Q, T, V, U c Q{(T{U)~VVX Q, T, V, X c Q~T~V{XVX Q, T, W, P c Q~T~W|PVX Q, T, W, X c Q{T{W~XVX Q, T, X, S c (T{S)~X|QVX Q, T, X, V c Q~T~V{XVX Q, T, X, W c Q{T{X~WVX Q, U, R, X c (U{R)~X|QVX Q, U, T, V c Q{(U{T)~VVX Q, U, U, V c Q~U~U{VVX Q, U, V, T c Q~U~V|TVX Q, U, V, U c Q~U~U{VVX Q, U, V, X c (Q{U)~X{VVX Q, U, X, R c (U{R)~X|QVX Q, U, X, V c (Q{U)~X{VVX Q, V, Q, X c Q{V~(Q{X)VX Q, V, R, W c Q{V~(R{W)VX Q, V, S, V c Q{(V{S)~VVX Q, V, S, X c Q~S~X{VVX Q, V, T, U c Q{V~(T{U)VX Q, V, T, X c Q~V~T{XVX Q, V, U, T c Q{V~(U{T)VX Q, V, U, U c Q~U~U{VVX Q, V, U, X c (Q{U)~X{VVX Q, V, V, S c Q{V~(V{S)VX Q, V, V, W c (Q{V)~W{VVX Q, V, W, R c Q{V~(W{R)VX Q, V, W, V c (Q{V)~W{VVX Q, V, W, X c (Q{W)~V{XVX Q, V, X, Q c Q{V~(X{Q)VX Q, V, X, S c Q~X~S{VVX Q, V, X, T c Q~V~T{XVX Q, V, X, U c (Q{U)~X{VVX Q, V, X, W c (Q{W)~V{XVX Q, W, P, T c Q~W~T|PVX Q, W, P, W c (Q{W)~W|PVX Q, W, P, X c (W{P)~X|QVX Q, W, R, V c Q{(W{R)~VVX Q, W, T, P c Q~W~T|PVX Q, W, T, X c Q{W~X{TVX Q, W, V, R c Q{(W{R)~VVX Q, W, V, V c (Q{V)~W{VVX Q, W, V, X c (Q{W)~V{XVX Q, W, W, P c (Q{W)~W|PVX Q, W, X, P c (W{P)~X|QVX Q, W, X, T c Q{W~X{TVX Q, W, X, V c Q~W{X~VVX Q, W, X, X c (Q{X)~W|XVX Q, X, O, X c (X{O)~X|QVX Q, X, P, W c X~(P{W)|QVX Q, X, P, X c X~P~X|QVX Q, X, Q, V c Q{(X{Q)~VVX Q, X, R, R c X~R~R|QVX Q, X, R, U c X~(R{U)|QVX Q, X, S, T c X~(S{T)|QVX Q, X, S, V c Q~X~S{VVX Q, X, S, X c Q{X~X|SVX Q, X, T, S c X~(T{S)|QVX Q, X, T, V c Q~T~V{XVX Q, X, T, W c Q{X~W{TVX Q, X, U, R c X~(U{R)|QVX Q, X, U, V c (Q{U)~X{VVX Q, X, V, Q c (Q{X)~V{QVX Q, X, V, S c Q~X~S{VVX Q, X, V, T c Q~V~T{XVX Q, X, V, U c (Q{U)~X{VVX Q, X, V, W c Q~W{X~VVX Q, X, W, P c X~(W{P)|QVX Q, X, W, T c Q{X~W{TVX Q, X, W, V c Q~W{X~VVX Q, X, W, X c (Q{X)~W|XVX Q, X, X, O c X~X|Q{OVX Q, X, X, P c X~X|Q~PVX Q, X, X, S c Q{X~X|SVX Q, X, X, W c (Q{X)~W|XVX Q, X, X, X c (X|QX)~XVX R, P, V, W c (R{V)~W|PVX R, P, W, V c (R{V)~W|PVX R, P, X, X c P{X~X|RVX R, Q, R, X c R~R~X|QVX R, Q, U, X c (R{U)~X|QVX R, Q, V, W c (R{W)~V{QVX R, Q, W, V c (R{W)~V{QVX R, Q, X, R c R~X~R|QVX R, Q, X, U c (R{U)~X|QVX R, R, Q, X c R~R~X|QVX R, R, V, W c R~R~W{VVX R, R, W, V c R~R~W{VVX R, R, X, Q c R~R~X|QVX R, S, T, T c R~T~T{SVX R, S, T, V c R~S~V|TVX R, S, U, V c R~S~U{VVX R, S, V, T c R~S~V|TVX R, S, V, U c R~S~U{VVX R, S, W, X c R{S{W~XVX R, S, X, W c R{S{X~WVX R, T, S, T c R~T~T{SVX R, T, S, V c R~S~V|TVX R, T, T, S c R~T~T{SVX R, T, V, S c R~V~S|TVX R, T, V, X c (R{T)~X{VVX R, T, W, W c R~T{W~WVX R, T, X, V c (R{T)~X{VVX R, T, X, X c R{X~X|TVX R, U, Q, X c (R{U)~X|QVX R, U, S, V c R~U~S{VVX R, U, V, S c R~U~S{VVX R, U, V, W c (R{U)~W{VVX R, U, V, X c (R{X)~U{VVX R, U, W, V c (R{U)~W{VVX R, U, X, Q c (R{U)~X|QVX R, U, X, V c (R{X)~U{VVX R, U, X, X c X~X|URVX R, V, P, W c (R{V)~W|PVX R, V, Q, W c (R{W)~V{QVX R, V, R, W c R~R~W{VVX R, V, S, T c R~V~S|TVX R, V, S, U c R~S~U{VVX R, V, T, S c R~V~S|TVX R, V, T, X c (R{T)~X{VVX R, V, U, S c R~U~S{VVX R, V, U, W c (R{U)~W{VVX R, V, U, X c (R{X)~U{VVX R, V, V, X c (R{V)~V{XVX R, V, W, P c (R{V)~W|PVX R, V, W, Q c (R{W)~V{QVX R, V, W, R c R~W~R{VVX R, V, W, U c (R{U)~W{VVX R, V, X, T c (R{X)~V|TVX R, V, X, U c (R{X)~U{VVX R, V, X, V c (R{V)~V{XVX R, W, P, V c (R{V)~W|PVX R, W, Q, V c (R{W)~V{QVX R, W, R, V c R~W~R{VVX R, W, S, X c R{W~X{SVX R, W, T, W c R~T{W~WVX R, W, U, V c (R{U)~W{VVX R, W, V, P c (R{V)~W|PVX R, W, V, Q c (R{W)~V{QVX R, W, V, R c R~W~R{VVX R, W, V, U c (R{U)~W{VVX R, W, W, T c R~T{W~WVX R, W, W, X c (R{W)~W|XVX R, W, X, S c R{W~X{SVX R, W, X, W c (R{W)~W|XVX R, X, P, X c X~X|R{PVX R, X, Q, R c R~X~R|QVX R, X, Q, U c (R{U)~X|QVX R, X, R, Q c R~X~R|QVX R, X, S, W c R{X~W{SVX R, X, T, V c (R{X)~V|TVX R, X, T, X c R{X~X|TVX R, X, U, Q c (R{U)~X|QVX R, X, U, V c (R{X)~U{VVX R, X, U, X c X~X|URVX R, X, V, T c (R{X)~V|TVX R, X, V, U c (R{X)~U{VVX R, X, V, V c (R{V)~V{XVX R, X, W, S c R{X~W{SVX R, X, W, W c (R{W)~W|XVX R, X, X, P c X~X|R{PVX R, X, X, T c R{X~X|TVX R, X, X, U c X~X|URVX S, P, S, T c S~S~T|PVX S, P, T, S c S~T~S|PVX S, P, U, W c (S{U)~W|PVX S, P, U, X c (S{X)~U{PVX S, P, W, U c (S{U)~W|PVX S, P, X, U c (S{X)~U{PVX S, Q, T, X c (S{T)~X|QVX S, Q, V, V c (S{V)~V{QVX S, Q, V, X c S~Q~X{VVX S, Q, X, T c (S{T)~X|QVX S, Q, X, V c S~Q~X{VVX S, Q, X, X c Q{X~X|SVX S, R, T, T c S{R~T~TVX S, R, T, V c S~R~V|TVX S, R, U, V c S~R~U{VVX S, R, V, T c S~R~V|TVX S, R, V, U c S~R~U{VVX S, R, W, X c S{R{W~XVX S, R, X, W c S{R{X~WVX S, S, P, T c S~S~T|PVX S, S, T, P c S~S~T|PVX S, S, V, X c S~S{V~XVX S, S, X, V c (S{S)~X{VVX S, T, P, S c S~T~S|PVX S, T, Q, X c (S{T)~X|QVX S, T, R, T c S{T~R~TVX S, T, R, V c S~R~V|TVX S, T, S, P c S~T~S|PVX S, T, T, R c S{T~T~RVX S, T, U, X c S{T~(U{X)VX S, T, V, R c S~V~R|TVX S, T, V, W c S{T~(V{W)VX S, T, W, V c (S{T)~W{VVX S, T, X, Q c (S{T)~X|QVX S, T, X, U c S{T~(X{U)VX S, U, P, W c (S{U)~W|PVX S, U, P, X c (S{X)~U{PVX S, U, R, V c S~U~R{VVX S, U, T, X c S{(U{X)~TVX S, U, V, R c S~U~R{VVX S, U, V, W c (S{W)~U{VVX S, U, V, X c (S{U)~V{XVX S, U, W, P c (S{U)~W|PVX S, U, W, V c (S{W)~U{VVX S, U, X, P c (S{X)~U{PVX S, U, X, T c S{(U{X)~TVX S, U, X, V c (S{U)~V{XVX S, U, X, X c S{X~X|UVX S, V, Q, V c (S{V)~V{QVX S, V, Q, X c S~Q~X{VVX S, V, R, T c S~V~R|TVX S, V, R, U c S~R~U{VVX S, V, S, X c S~S{V~XVX S, V, T, R c S~V~R|TVX S, V, T, W c S{(V{W)~TVX S, V, U, R c S~U~R{VVX S, V, U, W c (S{W)~U{VVX S, V, U, X c (S{U)~V{XVX S, V, V, Q c (S{V)~V{QVX S, V, W, T c S{(V{W)~TVX S, V, W, U c (S{W)~U{VVX S, V, W, X c (S{V)~W|XVX S, V, X, Q c S~X~Q{VVX S, V, X, S c S~S{V~XVX S, V, X, U c (S{U)~V{XVX S, V, X, W c (S{V)~W|XVX S, V, X, X c S~(X{X){VVX S, W, P, U c (S{U)~W|PVX S, W, R, X c S{W~X{RVX S, W, T, V c S{(W{V)~TVX S, W, U, P c (S{U)~W|PVX S, W, U, V c (S{W)~U{VVX S, W, V, T c S{(W{V)~TVX S, W, V, U c (S{W)~U{VVX S, W, V, X c (S{V)~W|XVX S, W, X, R c S{W~X{RVX S, W, X, V c (S{V)~W|XVX S, W, X, X c X~X|WSVX S, X, P, U c (S{X)~U{PVX S, X, Q, T c (S{T)~X|QVX S, X, Q, V c S~X~Q{VVX S, X, Q, X c X~X|S{QVX S, X, R, W c S{X~W{RVX S, X, S, V c (S{S)~X{VVX S, X, T, Q c (S{T)~X|QVX S, X, T, U c S{(X{U)~TVX S, X, U, P c (S{X)~U{PVX S, X, U, T c S{(X{U)~TVX S, X, U, V c (S{U)~V{XVX S, X, U, X c S{X~X|UVX S, X, V, Q c S~X~Q{VVX S, X, V, S c (S{S)~X{VVX S, X, V, U c (S{U)~V{XVX S, X, V, W c (S{V)~W|XVX S, X, V, X c S~(X{X){VVX S, X, W, R c S{X~W{RVX S, X, W, V c (S{V)~W|XVX S, X, W, X c X~X|WSVX S, X, X, Q c X~X|S{QVX S, X, X, U c S{X~X|UVX S, X, X, V c S~(X{X){VVX S, X, X, W c X~X|WSVX T, P, Q, W c T~Q~W|PVX T, P, S, S c T~S~S|PVX T, P, T, W c (T{T)~W|PVX T, P, U, W c (T{W)~U{PVX T, P, V, X c T~(V{X)|PVX T, P, W, Q c T~W~Q|PVX T, P, W, T c (T{T)~W|PVX T, P, W, U c (T{W)~U{PVX T, P, W, W c T~(W{W)|PVX T, P, X, V c T~(X{V)|PVX T, Q, P, W c T~Q~W|PVX T, Q, S, X c (T{S)~X|QVX T, Q, U, V c (T{U)~V{QVX T, Q, V, U c (T{U)~V{QVX T, Q, V, X c T~Q~V{XVX T, Q, W, P c T~Q~W|PVX T, Q, W, X c T{Q{W~XVX T, Q, X, S c (T{S)~X|QVX T, Q, X, V c T~Q~V{XVX T, Q, X, W c T{Q{X~WVX T, R, S, T c T~R~T{SVX T, R, S, V c R~S~V|TVX T, R, T, S c T~R~T{SVX T, R, V, S c R~V~S|TVX T, R, V, X c (T{R)~X{VVX T, R, W, W c T~R{W~WVX T, R, X, V c (T{R)~X{VVX T, R, X, X c R{X~X|TVX T, S, P, S c T~S~S|PVX T, S, Q, X c (T{S)~X|QVX T, S, R, T c T~R~T{SVX T, S, R, V c S~R~V|TVX T, S, S, P c T~S~S|PVX T, S, T, R c T~T~R{SVX T, S, U, X c T~(U{X){SVX T, S, V, R c S~V~R|TVX T, S, V, W c (T{S)~W{VVX T, S, W, V c (T{S)~W{VVX T, S, X, Q c (T{S)~X|QVX T, S, X, U c T~(X{U){SVX T, T, P, W c (T{T)~W|PVX T, T, R, S c T~T~R{SVX T, T, S, R c T~T~R{SVX T, T, U, X c T~T{U~XVX T, T, V, V c (T{V)~V|TVX T, T, V, X c (T{T)~V{XVX T, T, W, P c (T{T)~W|PVX T, T, X, U c T~T{X~UVX T, T, X, V c (T{T)~V{XVX T, T, X, X c T~(T{X){XVX T, U, P, W c (T{W)~U{PVX T, U, Q, V c (T{U)~V{QVX T, U, S, X c T~(U{X){SVX T, U, T, X c T~T{U~XVX T, U, U, V c (U{U)~V|TVX T, U, U, W c U~(U{W)|TVX T, U, V, Q c (T{U)~V{QVX T, U, V, U c (U{U)~V|TVX T, U, V, V c T~U{V~VVX T, U, W, P c (T{W)~U{PVX T, U, W, U c (U{W)~U|TVX T, U, W, X c (T{U)~W|XVX T, U, X, S c T~(U{X){SVX T, U, X, T c (T{X)~U|TVX T, U, X, W c (T{U)~W|XVX T, V, P, X c T~(V{X)|PVX T, V, Q, U c (T{U)~V{QVX T, V, Q, X c T~V~Q{XVX T, V, R, S c V~R~S|TVX T, V, R, X c (T{R)~X{VVX T, V, S, R c V~S~R|TVX T, V, S, W c T~(V{W){SVX T, V, T, V c (T{V)~V|TVX T, V, T, X c (T{T)~V{XVX T, V, U, Q c (T{U)~V{QVX T, V, U, U c V~(U{U)|TVX T, V, U, V c (T{V)~U{VVX T, V, V, T c (T{V)~V|TVX T, V, V, U c (T{V)~U{VVX T, V, V, X c T~(V{V){XVX T, V, W, S c T~(V{W){SVX T, V, X, P c T~(V{X)|PVX T, V, X, Q c T~V~Q{XVX T, V, X, R c (T{R)~X{VVX T, V, X, T c (T{T)~V{XVX T, V, X, V c T~(V{V){XVX T, V, X, X c T{X~X|VVX T, W, P, Q c T~W~Q|PVX T, W, P, T c (T{T)~W|PVX T, W, P, U c (T{W)~U{PVX T, W, P, W c T~(W{W)|PVX T, W, Q, P c T~W~Q|PVX T, W, Q, X c T{W~X{QVX T, W, R, W c T~R{W~WVX T, W, S, V c T~(W{V){SVX T, W, T, P c (T{T)~W|PVX T, W, U, P c (T{W)~U{PVX T, W, U, U c (W{U)~U|TVX T, W, U, X c T~(W{U){XVX T, W, V, S c T~(W{V){SVX T, W, W, P c T~(W{W)|PVX T, W, W, R c T~R{W~WVX T, W, X, Q c T{W~X{QVX T, W, X, U c T~(W{X)|UVX T, X, P, V c T~(X{V)|PVX T, X, Q, S c (T{S)~X|QVX T, X, Q, V c T~Q~V{XVX T, X, Q, W c T{X~W{QVX T, X, R, V c (T{R)~X{VVX T, X, R, X c X~X|T{RVX T, X, S, Q c (T{S)~X|QVX T, X, S, U c T~(X{U){SVX T, X, T, U c (T{X)~U|TVX T, X, T, V c (T{T)~V{XVX T, X, T, X c (T{X)~T{XVX T, X, U, S c T~(X{U){SVX T, X, U, T c (T{X)~U|TVX T, X, U, W c T~(X{W)|UVX T, X, V, P c T~(X{V)|PVX T, X, V, Q c T~V~Q{XVX T, X, V, R c (T{R)~X{VVX T, X, V, T c (T{T)~V{XVX T, X, V, V c T~(V{V){XVX T, X, V, X c T{X~X|VVX T, X, W, Q c T{X~W{QVX T, X, W, U c T~(X{W)|UVX T, X, X, R c X~X|T{RVX T, X, X, T c (T{X)~T{XVX T, X, X, V c T{X~X|VVX U, P, S, W c (U{S)~W|PVX U, P, S, X c U~(S{X){PVX U, P, T, W c U~(T{W){PVX U, P, U, V c U~(U{V){PVX U, P, V, U c (U{V)~U{PVX U, P, W, S c (U{S)~W|PVX U, P, W, T c U~(W{T){PVX U, P, W, X c U{P{W~XVX U, P, X, S c U~(X{S){PVX U, P, X, W c U{P{X~WVX U, Q, R, X c (U{R)~X|QVX U, Q, T, V c U~Q~V|TVX U, Q, U, V c U~Q~U{VVX U, Q, V, T c U~Q~V|TVX U, Q, V, U c U~Q~U{VVX U, Q, V, X c (U{Q)~X{VVX U, Q, X, R c (U{R)~X|QVX U, Q, X, V c (U{Q)~X{VVX U, R, Q, X c (U{R)~X|QVX U, R, S, V c U~R~S{VVX U, R, V, S c U~R~S{VVX U, R, V, W c (U{R)~W{VVX U, R, V, X c U~(R{X){VVX U, R, W, V c (U{R)~W{VVX U, R, X, Q c (U{R)~X|QVX U, R, X, V c U~(R{X){VVX U, R, X, X c X~X|URVX U, S, P, W c (U{S)~W|PVX U, S, P, X c U~(S{X){PVX U, S, R, V c U~S~R{VVX U, S, T, X c (U{X)~T{SVX U, S, V, R c U~S~R{VVX U, S, V, W c U~(S{W){VVX U, S, V, X c (U{S)~V{XVX U, S, W, P c (U{S)~W|PVX U, S, W, V c U~(S{W){VVX U, S, X, P c U~(S{X){PVX U, S, X, T c (U{X)~T{SVX U, S, X, V c (U{S)~V{XVX U, S, X, X c S{X~X|UVX U, T, P, W c U~(T{W){PVX U, T, Q, V c (U{T)~V{QVX U, T, S, X c (U{X)~T{SVX U, T, T, X c U~(T{X)|TVX U, T, U, V c (U{U)~V|TVX U, T, U, W c U~(U{W)|TVX U, T, V, Q c (U{T)~V{QVX U, T, V, U c (U{U)~V|TVX U, T, V, V c U~(T{V){VVX U, T, W, P c U~(T{W){PVX U, T, W, U c (U{W)~U|TVX U, T, W, X c (U{T)~W|XVX U, T, X, S c (U{X)~T{SVX U, T, X, T c U~(T{X)|TVX U, T, X, W c (U{T)~W|XVX U, U, P, V c U~(U{V){PVX U, U, Q, V c U~U~Q{VVX U, U, T, V c (U{U)~V|TVX U, U, T, W c U~(U{W)|TVX U, U, U, V c (U{U)~U{VVX U, U, V, P c U~(U{V){PVX U, U, V, Q c U~U~Q{VVX U, U, V, T c (U{U)~V|TVX U, U, V, U c (U{U)~U{VVX U, U, W, T c U~(U{W)|TVX U, V, P, U c (U{V)~U{PVX U, V, Q, T c U~V~Q|TVX U, V, Q, U c U~Q~U{VVX U, V, Q, X c (U{Q)~X{VVX U, V, R, S c U~R~S{VVX U, V, R, W c (U{R)~W{VVX U, V, R, X c U~(R{X){VVX U, V, S, R c U~S~R{VVX U, V, S, W c U~(S{W){VVX U, V, S, X c (U{S)~V{XVX U, V, T, Q c U~V~Q|TVX U, V, T, U c (U{U)~V|TVX U, V, T, V c U~(V{T){VVX U, V, U, P c (U{V)~U{PVX U, V, U, Q c U~U~Q{VVX U, V, U, T c (U{U)~V|TVX U, V, U, U c (U{U)~U{VVX U, V, V, T c U~(V{V)|TVX U, V, W, R c (U{R)~W{VVX U, V, W, S c U~(W{S){VVX U, V, X, Q c (U{Q)~X{VVX U, V, X, R c U~(X{R){VVX U, V, X, S c (U{S)~V{XVX U, W, P, S c (U{S)~W|PVX U, W, P, T c U~(W{T){PVX U, W, P, X c U{W~X{PVX U, W, R, V c (U{R)~W{VVX U, W, S, P c (U{S)~W|PVX U, W, S, V c U~(W{S){VVX U, W, T, P c U~(W{T){PVX U, W, T, U c (U{W)~U|TVX U, W, T, X c (U{W)~T{XVX U, W, U, T c (U{W)~U|TVX U, W, V, R c (U{R)~W{VVX U, W, V, S c U~(W{S){VVX U, W, W, X c U{W~W{XVX U, W, X, P c U{W~X{PVX U, W, X, T c (U{W)~T{XVX U, W, X, W c U{W~W{XVX U, W, X, X c U{X~X|WVX U, X, P, S c U~(X{S){PVX U, X, P, W c U{X~W{PVX U, X, Q, R c (U{R)~X|QVX U, X, Q, V c (U{Q)~X{VVX U, X, R, Q c (U{R)~X|QVX U, X, R, V c U~(X{R){VVX U, X, R, X c X~X|URVX U, X, S, P c U~(X{S){PVX U, X, S, T c (U{X)~T{SVX U, X, S, V c (U{S)~V{XVX U, X, S, X c X~X|U{SVX U, X, T, S c (U{X)~T{SVX U, X, T, T c U~(X{T)|TVX U, X, T, W c (U{T)~W|XVX U, X, V, Q c (U{Q)~X{VVX U, X, V, R c U~(X{R){VVX U, X, V, S c (U{S)~V{XVX U, X, W, P c U{X~W{PVX U, X, W, T c (U{W)~T{XVX U, X, W, W c U{X{W~WVX U, X, W, X c U{X~X|WVX U, X, X, R c X~X|URVX U, X, X, S c X~X|U{SVX U, X, X, W c U{X~X|WVX V, O, W, X c V{O{W~XVX V, O, X, W c V{O{X~WVX V, P, R, W c (V{R)~W|PVX V, P, T, X c (V{X)~T|PVX V, P, U, U c (V{U)~U{PVX V, P, V, X c V{(P{V)~XVX V, P, W, R c (V{R)~W|PVX V, P, W, W c V{(P{W)~WVX V, P, W, X c V{P~W~XVX V, P, X, T c (V{X)~T|PVX V, P, X, V c (V{P)~X{VVX V, P, X, W c V{P~X~WVX V, P, X, X c V~(P{X){XVX V, Q, Q, X c (V{Q)~X|QVX V, Q, R, W c V~(R{W){QVX V, Q, S, V c (V{S)~V{QVX V, Q, S, X c V{Q~S~XVX V, Q, T, U c V~Q~U|TVX V, Q, T, X c V~Q~T{XVX V, Q, U, T c V~Q~U|TVX V, Q, U, U c V{Q~U~UVX V, Q, U, X c V{(Q{U)~XVX V, Q, V, S c V~(V{S){QVX V, Q, V, W c V{(Q{V)~WVX V, Q, W, R c V~(W{R){QVX V, Q, W, V c (V{Q)~W{VVX V, Q, W, X c V~(Q{W){XVX V, Q, X, Q c (V{Q)~X|QVX V, Q, X, S c V{Q~X~SVX V, Q, X, T c V~Q~T{XVX V, Q, X, U c V{(Q{U)~XVX V, Q, X, W c V~(Q{W){XVX V, R, P, W c (V{R)~W|PVX V, R, Q, W c V~(R{W){QVX V, R, R, W c V{R~R~WVX V, R, S, T c V~R~S|TVX V, R, S, U c V{R~S~UVX V, R, T, S c V~R~S|TVX V, R, T, X c V{(R{T)~XVX V, R, U, S c V{R~U~SVX V, R, U, W c V{(R{U)~WVX V, R, U, X c V{(R{X)~UVX V, R, V, X c (V{R)~V{XVX V, R, W, P c (V{R)~W|PVX V, R, W, Q c V~(R{W){QVX V, R, W, R c V{R~W~RVX V, R, W, U c V{(R{U)~WVX V, R, X, T c V~(R{X)|TVX V, R, X, U c V{(R{X)~UVX V, R, X, V c (V{R)~V{XVX V, S, Q, V c (V{S)~V{QVX V, S, Q, X c V{S~Q~XVX V, S, R, T c V~S~R|TVX V, S, R, U c V{S~R~UVX V, S, S, X c V{(S{S)~XVX V, S, T, R c V~S~R|TVX V, S, T, W c V{(S{T)~WVX V, S, U, R c V{S~U~RVX V, S, U, W c V{(S{W)~UVX V, S, U, X c V~(S{U){XVX V, S, V, Q c (V{S)~V{QVX V, S, W, T c V~(S{W)|TVX V, S, W, U c V{(S{W)~UVX V, S, W, X c (V{S)~W|XVX V, S, X, Q c V{S~X~QVX V, S, X, S c V{(S{S)~XVX V, S, X, U c V~(S{U){XVX V, S, X, W c (V{S)~W|XVX V, S, X, X c V{S~(X{X)VX V, T, P, X c (V{X)~T|PVX V, T, Q, U c V~(T{U){QVX V, T, Q, X c V~T~Q{XVX V, T, R, S c V~R~S|TVX V, T, R, X c V{(T{R)~XVX V, T, S, R c V~S~R|TVX V, T, S, W c V{(T{S)~WVX V, T, T, V c (V{T)~V|TVX V, T, T, X c V~(T{T){XVX V, T, U, Q c V~(T{U){QVX V, T, U, U c V~(U{U)|TVX V, T, U, V c (V{T)~U{VVX V, T, V, T c (V{T)~V|TVX V, T, V, U c V{(T{V)~UVX V, T, V, X c (V{V)~T{XVX V, T, W, S c V{(T{S)~WVX V, T, X, P c (V{X)~T|PVX V, T, X, Q c V~T~Q{XVX V, T, X, R c V{(T{R)~XVX V, T, X, T c V~(T{T){XVX V, T, X, V c (V{V)~T{XVX V, T, X, X c T{X~X|VVX V, U, P, U c (V{U)~U{PVX V, U, Q, T c V~U~Q|TVX V, U, Q, U c V{U~Q~UVX V, U, Q, X c V{(U{Q)~XVX V, U, R, S c V{U~R~SVX V, U, R, W c V{(U{R)~WVX V, U, R, X c V{U~(R{X)VX V, U, S, R c V{U~S~RVX V, U, S, W c V{U~(S{W)VX V, U, S, X c V~(U{S){XVX V, U, T, Q c V~(U{T){QVX V, U, T, U c V~(U{U)|TVX V, U, T, V c V{U~(T{V)VX V, U, U, P c (V{U)~U{PVX V, U, U, Q c V{U~U~QVX V, U, U, T c V~(U{U)|TVX V, U, U, U c V{(U{U)~UVX V, U, V, T c V{U~(V{T)VX V, U, W, R c V{(U{R)~WVX V, U, W, S c V{U~(W{S)VX V, U, X, Q c V{(U{Q)~XVX V, U, X, R c V{U~(X{R)VX V, U, X, S c V~(U{S){XVX V, V, P, X c V{(V{P)~XVX V, V, Q, S c V~(V{S){QVX V, V, Q, W c V{(V{Q)~WVX V, V, R, X c V~(V{R){XVX V, V, S, Q c V~(V{S){QVX V, V, T, T c V~(V{T)|TVX V, V, T, U c V{(V{T)~UVX V, V, T, X c (V{V)~T{XVX V, V, U, T c (V{V)~U|TVX V, V, W, Q c V{(V{Q)~WVX V, V, X, P c V{(V{P)~XVX V, V, X, R c V~(V{R){XVX V, V, X, T c (V{V)~T{XVX V, V, X, X c V{V~X{XVX V, W, O, X c V{(W{O)~XVX V, W, P, R c (V{R)~W|PVX V, W, P, W c V{(W{P)~WVX V, W, P, X c V{W~P~XVX V, W, Q, R c V~(W{R){QVX V, W, Q, V c V{W~(Q{V)VX V, W, Q, X c V~(W{Q){XVX V, W, R, P c (V{R)~W|PVX V, W, R, Q c V~(W{R){QVX V, W, R, R c V{W~R~RVX V, W, R, U c V{W~(R{U)VX V, W, S, T c V{W~(S{T)VX V, W, S, U c V{(W{S)~UVX V, W, S, X c (V{S)~W|XVX V, W, T, S c (V{W)~T{SVX V, W, U, R c V{W~(U{R)VX V, W, U, S c V{(W{S)~UVX V, W, V, Q c V{W~(V{Q)VX V, W, W, P c V{W~(W{P)VX V, W, W, W c V{W{W~WVX V, W, W, X c (VW{X)~WVX V, W, X, O c V{W~X{OVX V, W, X, P c V{W~X~PVX V, W, X, Q c V~(W{Q){XVX V, W, X, S c (V{S)~W|XVX V, W, X, W c (VW{X)~WVX V, W, X, X c (VX{W)~XVX V, X, O, W c V{(X{O)~WVX V, X, P, T c (V{X)~T|PVX V, X, P, V c V{X~(P{V)VX V, X, P, W c V{X~P~WVX V, X, P, X c V{(X|P)~XVX V, X, Q, Q c V~(X{Q){QVX V, X, Q, S c V{X~Q~SVX V, X, Q, T c V~Q~T{XVX V, X, Q, U c V{X~(Q{U)VX V, X, Q, W c V~X{Q~WVX V, X, R, T c V{X~(R{T)VX V, X, R, U c V{(X{R)~UVX V, X, R, V c (V{R)~V{XVX V, X, S, Q c V{X~S~QVX V, X, S, S c V{X~(S{S)VX V, X, S, U c V~(S{U){XVX V, X, S, W c (V{S)~W|XVX V, X, S, X c V{(X{X)~SVX V, X, T, P c (V{X)~T|PVX V, X, T, Q c V~T~Q{XVX V, X, T, R c V{X~(T{R)VX V, X, T, T c V~(T{T){XVX V, X, T, V c (V{V)~T{XVX V, X, T, X c X~X|V{TVX V, X, U, Q c V{X~(U{Q)VX V, X, U, R c V{(X{R)~UVX V, X, U, S c V~(U{S){XVX V, X, V, P c V{X~(V{P)VX V, X, V, R c V~(V{R){XVX V, X, V, T c (V{V)~T{XVX V, X, V, X c V{X{V~XVX V, X, W, O c V{X~W{OVX V, X, W, P c V{X~W~PVX V, X, W, Q c V~X{W~QVX V, X, W, S c (V{S)~W|XVX V, X, W, W c V~X{W{WVX V, X, W, X c (VX{W)~XVX V, X, X, P c V{X~(X|P)VX V, X, X, S c V{(X{X)~SVX V, X, X, T c X~X|V{TVX V, X, X, V c V{X{X~VVX V, X, X, W c (VX{W)~XVX V, X, X, X c V{X~X|XVX W, O, V, X c (W{O)~X{VVX W, O, X, V c (W{O)~X{VVX W, P, P, X c W~(P{X)|PVX W, P, Q, T c W~Q~T|PVX W, P, Q, W c (W{Q)~W|PVX W, P, Q, X c (W{P)~X|QVX W, P, R, V c W~(R{V)|PVX W, P, S, U c W~(S{U)|PVX W, P, T, Q c W~T~Q|PVX W, P, T, T c W~(T{T)|PVX W, P, T, U c (W{T)~U{PVX W, P, T, W c (W{W)~T|PVX W, P, U, S c W~(U{S)|PVX W, P, U, T c (W{T)~U{PVX W, P, U, X c W~X{P{UVX W, P, V, R c W~(V{R)|PVX W, P, V, W c (W{P)~W{VVX W, P, V, X c W~P~X{VVX W, P, W, Q c W~(W{Q)|PVX W, P, W, T c (W{W)~T|PVX W, P, W, V c (W{P)~W{VVX W, P, W, X c W|P{W~XVX W, P, X, P c W~(P{X)|PVX W, P, X, Q c (W{P)~X|QVX W, P, X, U c W~X{P{UVX W, P, X, V c W~P~X{VVX W, P, X, W c W|P{X~WVX W, Q, P, T c W~Q~T|PVX W, Q, P, W c (W{Q)~W|PVX W, Q, P, X c (W{P)~X|QVX W, Q, R, V c (W{R)~V{QVX W, Q, T, P c W~Q~T|PVX W, Q, T, X c W~X{Q{TVX W, Q, V, R c (W{R)~V{QVX W, Q, V, V c W~(Q{V){VVX W, Q, V, X c (W{Q)~V{XVX W, Q, W, P c (W{Q)~W|PVX W, Q, X, P c (W{P)~X|QVX W, Q, X, T c W~X{Q{TVX W, Q, X, V c W~Q{X~VVX W, Q, X, X c W~(Q{X)|XVX W, R, P, V c W~(R{V)|PVX W, R, Q, V c (W{R)~V{QVX W, R, R, V c W~R~R{VVX W, R, S, X c W~X{R{SVX W, R, T, W c W~W{R~TVX W, R, U, V c W~(R{U){VVX W, R, V, P c W~(R{V)|PVX W, R, V, Q c (W{R)~V{QVX W, R, V, R c W~R~R{VVX W, R, V, U c W~(R{U){VVX W, R, W, T c W~W{R~TVX W, R, W, X c (W{R)~W|XVX W, R, X, S c W~X{R{SVX W, R, X, W c (W{R)~W|XVX W, S, P, U c W~(S{U)|PVX W, S, R, X c W~X{S{RVX W, S, T, V c W~(S{T){VVX W, S, U, P c W~(S{U)|PVX W, S, U, V c (W{S)~U{VVX W, S, V, T c (W{S)~V|TVX W, S, V, U c (W{S)~U{VVX W, S, V, X c W~(S{V)|XVX W, S, X, R c W~X{S{RVX W, S, X, V c W~(S{V)|XVX W, S, X, X c X~X|WSVX W, T, P, Q c W~T~Q|PVX W, T, P, T c W~(T{T)|PVX W, T, P, U c (W{T)~U{PVX W, T, P, W c (W{W)~T|PVX W, T, Q, P c W~T~Q|PVX W, T, Q, X c W~X{T{QVX W, T, R, W c W~W{T~RVX W, T, S, V c W~(T{S){VVX W, T, T, P c W~(T{T)|PVX W, T, U, P c (W{T)~U{PVX W, T, U, U c (W{U)~U|TVX W, T, U, X c W~(T{U)|XVX W, T, V, S c W~(T{S){VVX W, T, W, P c (W{W)~T|PVX W, T, W, R c W~W{T~RVX W, T, X, Q c W~X{T{QVX W, T, X, U c W~(T{U)|XVX W, U, P, S c W~(U{S)|PVX W, U, P, T c (W{T)~U{PVX W, U, P, X c W~X{U{PVX W, U, R, V c W~(U{R){VVX W, U, S, P c W~(U{S)|PVX W, U, S, V c (W{S)~U{VVX W, U, T, P c (W{T)~U{PVX W, U, T, U c (W{U)~U|TVX W, U, T, X c (W{U)~T{XVX W, U, U, T c (W{U)~U|TVX W, U, V, R c W~(U{R){VVX W, U, V, S c (W{S)~U{VVX W, U, W, X c W~W{U{XVX W, U, X, P c W~X{U{PVX W, U, X, T c (W{U)~T{XVX W, U, X, W c W~W{U{XVX W, U, X, X c U{X~X|WVX W, V, O, X c (W{O)~X{VVX W, V, P, R c W~(V{R)|PVX W, V, P, W c (W{P)~W{VVX W, V, P, X c W~P~X{VVX W, V, Q, R c (W{R)~V{QVX W, V, Q, V c W~(V{Q){VVX W, V, Q, X c (W{Q)~V{XVX W, V, R, P c W~(V{R)|PVX W, V, R, Q c (W{R)~V{QVX W, V, R, R c W~R~R{VVX W, V, R, U c W~(R{U){VVX W, V, S, T c (W{V)~T{SVX W, V, S, U c (W{S)~U{VVX W, V, S, X c W~(V{S)|XVX W, V, T, S c (W{V)~T{SVX W, V, U, R c W~(U{R){VVX W, V, U, S c (W{S)~U{VVX W, V, V, Q c W~(V{Q){VVX W, V, W, P c W~(W{P){VVX W, V, W, W c W{V{W~WVX W, V, W, X c W~(VW{X)VX W, V, X, O c W~X{V{OVX W, V, X, P c W~X{V~PVX W, V, X, Q c (W{Q)~V{XVX W, V, X, S c W~(V{S)|XVX W, V, X, W c W{V~X{WVX W, V, X, X c (W{VX)~XVX W, W, P, Q c W~(W{Q)|PVX W, W, P, T c (W{W)~T|PVX W, W, P, V c W~(W{P){VVX W, W, P, X c W{W~X|PVX W, W, Q, P c W~(W{Q)|PVX W, W, R, T c W~W{R~TVX W, W, R, X c W~(W{R)|XVX W, W, T, P c (W{W)~T|PVX W, W, T, R c W~W{T~RVX W, W, U, X c W~W{U{XVX W, W, V, P c W~(W{P){VVX W, W, V, W c W~W{V{WVX W, W, V, X c W{W{V~XVX W, W, W, V c W{W~W{VVX W, W, X, P c W{W~X|PVX W, W, X, R c W~(W{R)|XVX W, W, X, U c W~W{X{UVX W, W, X, V c W{W{X~VVX W, X, O, V c W~X{O{VVX W, X, P, P c W~(X{P)|PVX W, X, P, Q c (W{P)~X|QVX W, X, P, U c W~X{P{UVX W, X, P, V c W~X{P~VVX W, X, P, W c W~X|P{WVX W, X, Q, P c (W{P)~X|QVX W, X, Q, T c W~X{Q{TVX W, X, Q, V c W~Q{X~VVX W, X, Q, X c W~(X{Q)|XVX W, X, R, S c W~X{R{SVX W, X, R, W c (W{R)~W|XVX W, X, S, R c W~X{S{RVX W, X, S, V c W~(S{V)|XVX W, X, S, X c X~X|WSVX W, X, T, Q c W~X{T{QVX W, X, T, U c (W{X)~T|UVX W, X, U, P c W~X{U{PVX W, X, U, T c (W{X)~T|UVX W, X, U, W c W~W{X{UVX W, X, U, X c X~X|W{UVX W, X, V, O c W~X{V{OVX W, X, V, P c W~X{V~PVX W, X, V, Q c W~Q{X~VVX W, X, V, S c W~(V{S)|XVX W, X, V, W c W{X~V{WVX W, X, V, X c (W{VX)~XVX W, X, W, P c W{X~W|PVX W, X, W, R c W~(W{R)|XVX W, X, W, U c W~W{X{UVX W, X, W, V c W{X~V{WVX W, X, X, Q c W~X{X|QVX W, X, X, S c X~X|WSVX W, X, X, U c X~X|W{UVX W, X, X, V c (W{VX)~XVX X, O, Q, X c (X{O)~X|QVX X, O, V, W c (X{O)~W{VVX X, O, W, V c (X{O)~W{VVX X, O, X, Q c (X{O)~X|QVX X, P, P, W c (X{P)~W|PVX X, P, P, X c (X~X)|(P{P)VX X, P, Q, W c X~(P{W)|QVX X, P, Q, X c X~P~X|QVX X, P, R, X c X~X{P|RVX X, P, S, U c (X{S)~U{PVX X, P, T, V c (X{V)~T|PVX X, P, U, S c (X{S)~U{PVX X, P, U, W c X~W{P{UVX X, P, V, T c (X{V)~T|PVX X, P, V, V c X~(P{V){VVX X, P, V, W c X~P~W{VVX X, P, V, X c (X{P)~V{XVX X, P, W, P c (X{P)~W|PVX X, P, W, Q c X~(P{W)|QVX X, P, W, U c X~W{P{UVX X, P, W, V c X~P~W{VVX X, P, W, W c X~W|P{WVX X, P, X, P c (X~X)|(P{P)VX X, P, X, Q c X~P~X|QVX X, P, X, R c X~X{P|RVX X, P, X, V c X{(P{X)~VVX X, Q, O, X c (X{O)~X|QVX X, Q, P, W c X~(P{W)|QVX X, Q, P, X c X~P~X|QVX X, Q, Q, V c (X{Q)~V{QVX X, Q, R, R c X~R~R|QVX X, Q, R, U c X~(R{U)|QVX X, Q, S, T c X~(S{T)|QVX X, Q, S, V c X~Q~S{VVX X, Q, S, X c X~X{Q|SVX X, Q, T, S c X~(T{S)|QVX X, Q, T, V c X{Q~T~VVX X, Q, T, W c X~W{Q{TVX X, Q, U, R c X~(U{R)|QVX X, Q, U, V c X~(Q{U){VVX X, Q, V, Q c (X{Q)~V{QVX X, Q, V, S c X~Q~S{VVX X, Q, V, T c X{Q~V~TVX X, Q, V, U c X~(Q{U){VVX X, Q, V, W c X{(Q{W)~VVX X, Q, W, P c X~(W{P)|QVX X, Q, W, T c X~W{Q{TVX X, Q, W, V c X{(Q{W)~VVX X, Q, W, X c (X{Q)~W|XVX X, Q, X, O c X~X|Q{OVX X, Q, X, P c X~X|Q~PVX X, Q, X, S c X~X{Q|SVX X, Q, X, W c X|Q{X~WVX X, Q, X, X c (X|QX)~XVX X, R, P, X c X~X|R{PVX X, R, Q, R c X~R~R|QVX X, R, Q, U c X~(R{U)|QVX X, R, R, Q c X~R~R|QVX X, R, S, W c X~W{R{SVX X, R, T, V c X~(R{T){VVX X, R, T, X c X~X{R|TVX X, R, U, Q c X~(R{U)|QVX X, R, U, V c (X{R)~U{VVX X, R, U, X c X~X|URVX X, R, V, T c (X{R)~V|TVX X, R, V, U c (X{R)~U{VVX X, R, V, V c X{(R{V)~VVX X, R, W, S c X~W{R{SVX X, R, W, W c (R{W)~W|XVX X, R, X, P c X~X|R{PVX X, R, X, T c X~X{R|TVX X, R, X, U c X~X|URVX X, S, P, U c (X{S)~U{PVX X, S, Q, T c X~(S{T)|QVX X, S, Q, V c X~S~Q{VVX X, S, Q, X c X~X|S{QVX X, S, R, W c X~W{S{RVX X, S, S, V c X~(S{S){VVX X, S, T, Q c X~(S{T)|QVX X, S, T, U c (X{U)~T{SVX X, S, U, P c (X{S)~U{PVX X, S, U, T c (X{U)~T{SVX X, S, U, V c X{(S{U)~VVX X, S, U, X c X~X{S|UVX X, S, V, Q c X~S~Q{VVX X, S, V, S c X~(S{S){VVX X, S, V, U c X{(S{U)~VVX X, S, V, W c (S{V)~W|XVX X, S, V, X c (X{X)~S{VVX X, S, W, R c X~W{S{RVX X, S, W, V c (S{V)~W|XVX X, S, W, X c X~X|WSVX X, S, X, Q c X~X|S{QVX X, S, X, U c X~X{S|UVX X, S, X, V c (X{X)~S{VVX X, S, X, W c X~X|WSVX X, T, P, V c (X{V)~T|PVX X, T, Q, S c X~(T{S)|QVX X, T, Q, V c X{T~Q~VVX X, T, Q, W c X~W{T{QVX X, T, R, V c X~(T{R){VVX X, T, R, X c X~X|T{RVX X, T, S, Q c X~(T{S)|QVX X, T, S, U c (X{U)~T{SVX X, T, T, U c (X{T)~U|TVX X, T, T, V c X{(T{T)~VVX X, T, T, X c (X{T)~T{XVX X, T, U, S c (X{U)~T{SVX X, T, U, T c (X{T)~U|TVX X, T, U, W c X{T~(U{W)VX X, T, V, P c (X{V)~T|PVX X, T, V, Q c X{T~V~QVX X, T, V, R c X~(T{R){VVX X, T, V, T c X{(T{T)~VVX X, T, V, V c X{T~(V{V)VX X, T, V, X c X~X{T|VVX X, T, W, Q c X~W{T{QVX X, T, W, U c X{T~(W{U)VX X, T, X, R c X~X|T{RVX X, T, X, T c X{(T{X)~TVX X, T, X, V c X~X{T|VVX X, U, P, S c (X{S)~U{PVX X, U, P, W c X~W{U{PVX X, U, Q, R c X~(U{R)|QVX X, U, Q, V c X~(U{Q){VVX X, U, R, Q c X~(U{R)|QVX X, U, R, V c (X{R)~U{VVX X, U, R, X c X~X|URVX X, U, S, P c (X{S)~U{PVX X, U, S, T c (X{U)~T{SVX X, U, S, V c X{(U{S)~VVX X, U, S, X c X~X|U{SVX X, U, T, S c (X{U)~T{SVX X, U, T, T c X~U{T~TVX X, U, T, W c X{(U{W)~TVX X, U, V, Q c X~(U{Q){VVX X, U, V, R c (X{R)~U{VVX X, U, V, S c X{(U{S)~VVX X, U, W, P c X~W{U{PVX X, U, W, T c X{(U{W)~TVX X, U, W, W c X{U{W~WVX X, U, W, X c X~X{U|WVX X, U, X, R c X~X|URVX X, U, X, S c X~X|U{SVX X, U, X, W c X~X{U|WVX X, V, O, W c (X{O)~W{VVX X, V, P, T c (X{V)~T|PVX X, V, P, V c X~(V{P){VVX X, V, P, W c X~P~W{VVX X, V, P, X c X{V~(P{X)VX X, V, Q, Q c X~(V{Q)|QVX X, V, Q, S c X~Q~S{VVX X, V, Q, T c X{V~Q~TVX X, V, Q, U c X~(Q{U){VVX X, V, Q, W c X{V~(Q{W)VX X, V, R, T c (X{R)~V|TVX X, V, R, U c (X{R)~U{VVX X, V, R, V c X{(V{R)~VVX X, V, S, Q c X~S~Q{VVX X, V, S, S c X~V{S~SVX X, V, S, U c X{V~(S{U)VX X, V, S, W c (V{S)~W|XVX X, V, S, X c (X{X)~S{VVX X, V, T, P c (X{V)~T|PVX X, V, T, Q c X{V~T~QVX X, V, T, R c X~(T{R){VVX X, V, T, T c X{V~(T{T)VX X, V, T, V c X{(V{V)~TVX X, V, T, X c X~X|V{TVX X, V, U, Q c X~(U{Q){VVX X, V, U, R c (X{R)~U{VVX X, V, U, S c X{V~(U{S)VX X, V, V, P c X~(V{P){VVX X, V, V, R c X{V~(V{R)VX X, V, V, T c X{(V{V)~TVX X, V, V, X c X{V{V~XVX X, V, W, O c X~W{V{OVX X, V, W, P c X~W{V~PVX X, V, W, Q c X{V~(W{Q)VX X, V, W, S c (V{S)~W|XVX X, V, W, W c (X{VW)~WVX X, V, W, X c X~(VX{W)VX X, V, X, P c X{V~(X{P)VX X, V, X, S c (X{X)~S{VVX X, V, X, T c X~X|V{TVX X, V, X, V c X{V{X~VVX X, V, X, W c X~(VX{W)VX X, V, X, X c X~X{V|XVX X, W, O, V c X~W{O{VVX X, W, P, P c (X{P)~W|PVX X, W, P, Q c X~(W{P)|QVX X, W, P, U c X~W{P{UVX X, W, P, V c X~W{P~VVX X, W, P, W c X~W|P{WVX X, W, Q, P c X~(W{P)|QVX X, W, Q, T c X~W{Q{TVX X, W, Q, V c X{(W{Q)~VVX X, W, Q, X c X~W|Q{XVX X, W, R, S c X~W{R{SVX X, W, R, W c (W{R)~W|XVX X, W, S, R c X~W{S{RVX X, W, S, V c W~(S{V)|XVX X, W, S, X c X~X|WSVX X, W, T, Q c X~W{T{QVX X, W, T, U c (X{W)~T|UVX X, W, U, P c X~W{U{PVX X, W, U, T c X{(W{U)~TVX X, W, U, W c X{W~W{UVX X, W, U, X c X~X|W{UVX X, W, V, O c X~W{V{OVX X, W, V, P c X~W{V~PVX X, W, V, Q c X{(W{Q)~VVX X, W, V, S c W~(V{S)|XVX X, W, V, W c (X{VW)~WVX X, W, V, X c X~(W{VX)VX X, W, W, P c X~W{W|PVX X, W, W, R c W~(W{R)|XVX X, W, W, U c X{W~W{UVX X, W, W, V c (X{VW)~WVX X, W, X, Q c X{W~X|QVX X, W, X, S c X~X|WSVX X, W, X, U c X~X|W{UVX X, W, X, V c X~(W{VX)VX X, X, O, Q c X~X{O|QVX X, X, P, P c (X~X)|(P{P)VX X, X, P, Q c X~X|P~QVX X, X, P, R c X~X{P|RVX X, X, P, V c X{(X{P)~VVX X, X, Q, O c X~X|Q{OVX X, X, Q, P c X~X|Q~PVX X, X, Q, S c X~X{Q|SVX X, X, Q, W c X{X~W|QVX X, X, Q, X c X~(X|QX)VX X, X, R, P c X~X|R{PVX X, X, R, T c X~X{R|TVX X, X, R, U c X~X|URVX X, X, S, Q c X~X|S{QVX X, X, S, U c X~X{S|UVX X, X, S, V c (X{X)~S{VVX X, X, S, W c X~X|WSVX X, X, T, R c X~X|T{RVX X, X, T, T c X{(X{T)~TVX X, X, T, V c X~X{T|VVX X, X, U, R c X~X|URVX X, X, U, S c X~X|U{SVX X, X, U, W c X~X{U|WVX X, X, V, P c X{(X{P)~VVX X, X, V, S c (X{X)~S{VVX X, X, V, T c X~X|V{TVX X, X, V, V c X{X~V{VVX X, X, V, W c X~(VX{W)VX X, X, V, X c X~X{V|XVX X, X, W, Q c X{X~W|QVX X, X, W, S c X~X|WSVX X, X, W, U c X~X|W{UVX X, X, W, V c X~(W{VX)VX X, X, X, Q c X~(X|QX)VX X, X, X, V c X~X|X{VVX