O, P, W, X c O{P{W~XVR O, P, X, W c O{P{X~WVR O, W, P, X c O{W~X{PVR O, W, W, X c O{W~W{XVR O, W, X, P c O{W~X{PVR O, W, X, W c O{W~W{XVR O, W, X, X c O{X~X|WVR O, X, P, W c O{X~W{PVR O, X, W, P c O{X~W{PVR O, X, W, W c O{X{W~WVR O, X, W, X c O{X~X|WVR O, X, X, W c O{X~X|WVR P, O, W, X c P{O{W~XVR P, O, X, W c P{O{X~WVR P, P, V, X c P{(P{V)~XVR P, P, W, W c P{(P{W)~WVR P, P, W, X c P{P~W~XVR P, P, X, V c P{(P{V)~XVR P, P, X, W c P{P~X~WVR P, P, X, X c P{(X|P)~XVR P, Q, S, X c P{Q~S~XVR P, Q, U, U c P{Q~U~UVR P, Q, U, X c P{(Q{U)~XVR P, Q, V, W c P{(Q{V)~WVR P, Q, W, V c P{(Q{V)~WVR P, Q, W, X c Q|P{W~XVR P, Q, X, S c P{Q~X~SVR P, Q, X, U c P{(Q{U)~XVR P, Q, X, W c Q|P{X~WVR P, R, R, W c P{R~R~WVR P, R, S, U c P{R~S~UVR P, R, T, X c P{(R{T)~XVR P, R, U, S c P{R~U~SVR P, R, U, W c P{(R{U)~WVR P, R, U, X c P{(R{X)~UVR P, R, V, X c (P{X)~V{RVR P, R, W, R c P{R~W~RVR P, R, W, U c P{(R{U)~WVR P, R, X, T c P{(R{T)~XVR P, R, X, U c P{(R{X)~UVR P, R, X, V c (P{X)~V{RVR P, S, Q, X c P{S~Q~XVR P, S, R, U c P{S~R~UVR P, S, S, X c P{(S{S)~XVR P, S, T, W c P{(S{T)~WVR P, S, U, R c P{S~U~RVR P, S, U, W c P{(S{W)~UVR P, S, W, T c P{(S{T)~WVR P, S, W, U c P{(S{W)~UVR P, S, X, Q c P{S~X~QVR P, S, X, S c P{(S{S)~XVR P, S, X, X c P{S~(X{X)VR P, T, R, X c P{(T{R)~XVR P, T, S, W c P{(T{S)~WVR P, T, U, V c P{(T{V)~UVR P, T, V, U c P{(T{V)~UVR P, T, W, S c P{(T{S)~WVR P, T, X, R c P{(T{R)~XVR P, U, Q, U c P{U~Q~UVR P, U, Q, X c P{(U{Q)~XVR P, U, R, S c P{U~R~SVR P, U, R, W c P{(U{R)~WVR P, U, R, X c P{U~(R{X)VR P, U, S, R c P{U~S~RVR P, U, S, W c P{U~(S{W)VR P, U, T, V c P{U~(T{V)VR P, U, U, Q c P{U~U~QVR P, U, U, U c P{(U{U)~UVR P, U, V, T c P{U~(V{T)VR P, U, W, R c P{(U{R)~WVR P, U, W, S c P{U~(W{S)VR P, U, X, Q c P{(U{Q)~XVR P, U, X, R c P{U~(X{R)VR P, V, P, X c P{(V{P)~XVR P, V, Q, W c P{(V{Q)~WVR P, V, R, X c (P{X)~V{RVR P, V, T, U c P{(V{T)~UVR P, V, U, T c P{(V{T)~UVR P, V, W, Q c P{(V{Q)~WVR P, V, W, X c (P{V)~W{XVR P, V, X, P c (P{V)~X{PVR P, V, X, R c (P{X)~V{RVR P, V, X, W c (P{V)~W{XVR P, V, X, X c P{V~X{XVR P, W, O, X c P{(W{O)~XVR P, W, P, W c P{(W{P)~WVR P, W, P, X c P{W~P~XVR P, W, Q, V c P{W~(Q{V)VR P, W, Q, X c W~X|P{QVR P, W, R, R c P{W~R~RVR P, W, R, U c P{W~(R{U)VR P, W, S, T c P{W~(S{T)VR P, W, S, U c P{(W{S)~UVR P, W, T, S c P{W~(T{S)VR P, W, U, R c P{W~(U{R)VR P, W, U, S c P{(W{S)~UVR P, W, V, Q c P{W~(V{Q)VR P, W, V, X c (P{V)~W{XVR P, W, W, P c (P{W)~W{PVR P, W, W, W c P{W{W~WVR P, W, W, X c P~W~W{XVR P, W, X, O c P{W~X{OVR P, W, X, P c P{W~X~PVR P, W, X, Q c W~X|P{QVR P, W, X, V c (P{X)~W|VVR P, W, X, W c (P{W)~X|WVR P, W, X, X c (PX{W)~XVR P, X, O, W c P{(X{O)~WVR P, X, P, V c P{X~(P{V)VR P, X, P, W c P{X~P~WVR P, X, P, X c P{(X|P)~XVR P, X, Q, S c P{X~Q~SVR P, X, Q, U c P{X~(Q{U)VR P, X, Q, W c X~W|P{QVR P, X, R, T c P{X~(R{T)VR P, X, R, U c P{(X{R)~UVR P, X, R, V c (P{X)~V{RVR P, X, S, Q c P{X~S~QVR P, X, S, S c P{X~(S{S)VR P, X, S, X c P{(X{X)~SVR P, X, T, R c P{X~(T{R)VR P, X, U, Q c P{X~(U{Q)VR P, X, U, R c P{(X{R)~UVR P, X, V, P c P{X~(V{P)VR P, X, V, R c (P{X)~V{RVR P, X, V, W c (P{X)~W|VVR P, X, V, X c P{X{V~XVR P, X, W, O c P{X~W{OVR P, X, W, P c P{X~W~PVR P, X, W, Q c X~W|P{QVR P, X, W, V c (P{X)~W|VVR P, X, W, W c P~X{W~WVR P, X, W, X c (PX{W)~XVR P, X, X, P c P{X~(X|P)VR P, X, X, S c P{(X{X)~SVR P, X, X, V c P{X{X~VVR P, X, X, W c P~X~X|WVR P, X, X, X c P{X~X|XVR Q, P, S, X c Q~S~X{PVR Q, P, U, U c Q~U~U{PVR Q, P, U, X c (Q{U)~X{PVR Q, P, V, W c (Q{V)~W{PVR Q, P, W, V c (Q{V)~W{PVR Q, P, W, X c Q|P{W~XVR Q, P, X, S c Q~X~S{PVR Q, P, X, U c (Q{U)~X{PVR Q, P, X, W c Q|P{X~WVR Q, Q, W, X c QQ{W~XVR Q, Q, X, W c QQ{X~WVR Q, R, T, T c R~T~T|QVR Q, R, T, V c Q~T~V{RVR Q, R, V, T c Q~V~T{RVR Q, R, V, W c (Q{W)~V{RVR Q, R, W, V c (Q{W)~V{RVR Q, R, W, X c R|Q{W~XVR Q, R, X, W c R|Q{X~WVR Q, S, P, X c Q~S~X{PVR Q, S, V, X c (Q{X)~V|SVR Q, S, W, X c Q~S~W{XVR Q, S, X, P c Q~S~X{PVR Q, S, X, V c (Q{X)~V|SVR Q, S, X, W c Q~S~W{XVR Q, S, X, X c X~X|Q~SVR Q, T, R, T c T~R~T|QVR Q, T, R, V c Q~T~V{RVR Q, T, T, R c T~T~R|QVR Q, T, U, X c T~(U{X)|QVR Q, T, V, R c Q~T~V{RVR Q, T, V, W c Q~T~W|VVR Q, T, V, X c Q~T{V~XVR Q, T, W, V c Q~T~W|VVR Q, T, X, U c T~(X{U)|QVR Q, T, X, V c Q~T{X~VVR Q, U, P, U c Q~U~U{PVR Q, U, P, X c (Q{U)~X{PVR Q, U, T, X c (U{X)~T|QVR Q, U, U, P c Q~U~U{PVR Q, U, V, X c (Q{X)~U{VVR Q, U, W, X c (Q{U)~W{XVR Q, U, X, P c (Q{U)~X{PVR Q, U, X, T c (U{X)~T|QVR Q, U, X, V c (Q{X)~U{VVR Q, U, X, W c (Q{U)~W{XVR Q, U, X, X c (X~X)|(Q{U)VR Q, V, P, W c (Q{V)~W{PVR Q, V, R, T c Q~V~T{RVR Q, V, R, W c (Q{W)~V{RVR Q, V, S, X c (Q{X)~V|SVR Q, V, T, R c Q~V~T{RVR Q, V, T, W c Q~T~W|VVR Q, V, T, X c Q~T{V~XVR Q, V, U, X c (Q{X)~U{VVR Q, V, W, P c (Q{V)~W{PVR Q, V, W, R c (Q{W)~V{RVR Q, V, W, T c Q~W~T|VVR Q, V, W, W c Q{V{W~WVR Q, V, W, X c Q{V~X{WVR Q, V, X, S c (Q{X)~V|SVR Q, V, X, T c Q~T{V~XVR Q, V, X, U c (Q{X)~U{VVR Q, V, X, W c Q{V~X{WVR Q, W, P, V c (Q{V)~W{PVR Q, W, P, X c Q{W~X|PVR Q, W, Q, X c QQ{W~XVR Q, W, R, V c (Q{W)~V{RVR Q, W, R, X c W~X|Q{RVR Q, W, S, X c Q~W~S{XVR Q, W, T, V c Q~W~T|VVR Q, W, U, X c (Q{U)~W{XVR Q, W, V, P c (Q{V)~W{PVR Q, W, V, R c (Q{W)~V{RVR Q, W, V, T c Q~W~T|VVR Q, W, V, W c Q{W~W{VVR Q, W, V, X c Q{W{V~XVR Q, W, W, V c Q{W~W{VVR Q, W, X, P c Q{W~X|PVR Q, W, X, Q c QQ{W~XVR Q, W, X, R c W~X|Q{RVR Q, W, X, S c Q~W~S{XVR Q, W, X, U c (Q{U)~W{XVR Q, W, X, V c Q{W{X~VVR Q, X, P, S c Q~X~S{PVR Q, X, P, U c (Q{U)~X{PVR Q, X, P, W c Q{X~W|PVR Q, X, Q, W c QQ{X~WVR Q, X, R, W c X~W|Q{RVR Q, X, S, P c Q~X~S{PVR Q, X, S, V c (Q{X)~V|SVR Q, X, S, W c Q~S~W{XVR Q, X, S, X c X~X|Q~SVR Q, X, T, U c (X{U)~T|QVR Q, X, T, V c Q~T{X~VVR Q, X, U, P c (Q{U)~X{PVR Q, X, U, T c (X{U)~T|QVR Q, X, U, V c (Q{X)~U{VVR Q, X, U, W c (Q{U)~W{XVR Q, X, U, X c (X~X)|(Q{U)VR Q, X, V, S c (Q{X)~V|SVR Q, X, V, T c Q~T{X~VVR Q, X, V, U c (Q{X)~U{VVR Q, X, V, W c Q{X~V{WVR Q, X, W, P c Q{X~W|PVR Q, X, W, Q c QQ{X~WVR Q, X, W, R c X~W|Q{RVR Q, X, W, S c Q~W~S{XVR Q, X, W, U c (Q{U)~W{XVR Q, X, W, V c Q{X~V{WVR Q, X, X, S c X~X|Q~SVR Q, X, X, U c (X~X)|(Q{U)VR R, P, R, W c R~R~W{PVR R, P, S, U c R~S~U{PVR R, P, T, X c (R{T)~X{PVR R, P, U, S c R~U~S{PVR R, P, U, W c (R{U)~W{PVR R, P, U, X c (R{X)~U{PVR R, P, V, X c R{(P{X)~VVR R, P, W, R c R~W~R{PVR R, P, W, U c (R{U)~W{PVR R, P, X, T c (R{T)~X{PVR R, P, X, U c (R{X)~U{PVR R, P, X, V c R{(P{X)~VVR R, Q, T, T c R~T~T|QVR R, Q, T, V c R{Q~T~VVR R, Q, V, T c R{Q~V~TVR R, Q, V, W c R{(Q{W)~VVR R, Q, W, V c R{(Q{W)~VVR R, Q, W, X c R|Q{W~XVR R, Q, X, W c R|Q{X~WVR R, R, P, W c R~R~W{PVR R, R, V, V c R{(R{V)~VVR R, R, W, P c R~R~W{PVR R, R, W, W c R~R{W~WVR R, R, W, X c RR{W~XVR R, R, X, W c R~R~X|WVR R, S, P, U c R~S~U{PVR R, S, U, P c R~S~U{PVR R, S, U, V c R{(S{U)~VVR R, S, V, U c R{(S{U)~VVR R, S, V, W c (R{W)~V|SVR R, S, W, V c (R{W)~V|SVR R, S, W, X c S|R{W~XVR R, S, X, W c S|R{X~WVR R, T, P, X c (R{T)~X{PVR R, T, Q, T c R~T~T|QVR R, T, Q, V c R{T~Q~VVR R, T, T, Q c R~T~T|QVR R, T, T, V c R{(T{T)~VVR R, T, T, X c R{T~(T{X)VR R, T, U, W c R{T~(U{W)VR R, T, V, Q c R{T~V~QVR R, T, V, T c R{(T{T)~VVR R, T, V, V c R{T~(V{V)VR R, T, W, U c R{T~(W{U)VR R, T, W, X c (R{T)~W{XVR R, T, X, P c (R{T)~X{PVR R, T, X, T c R{(T{X)~TVR R, T, X, W c (R{T)~W{XVR R, T, X, X c (X~X)|(R{T)VR R, U, P, S c R~U~S{PVR R, U, P, W c (R{U)~W{PVR R, U, P, X c (R{X)~U{PVR R, U, S, P c R~U~S{PVR R, U, S, V c R{(U{S)~VVR R, U, T, W c R{(U{W)~TVR R, U, V, S c R{(U{S)~VVR R, U, V, W c (R{W)~U{VVR R, U, W, P c (R{U)~W{PVR R, U, W, T c R{(U{W)~TVR R, U, W, V c (R{W)~U{VVR R, U, W, W c R{U{W~WVR R, U, W, X c (R{U)~X|WVR R, U, X, P c (R{X)~U{PVR R, U, X, W c (R{U)~X|WVR R, V, P, X c R{V~(P{X)VR R, V, Q, T c R{V~Q~TVR R, V, Q, W c R{V~(Q{W)VR R, V, R, V c R{(V{R)~VVR R, V, S, U c R{V~(S{U)VR R, V, S, W c (R{W)~V|SVR R, V, T, Q c R{V~T~QVR R, V, T, T c R{V~(T{T)VR R, V, T, V c R{(V{V)~TVR R, V, U, S c R{V~(U{S)VR R, V, U, W c (R{W)~U{VVR R, V, V, R c (R{V)~V{RVR R, V, V, T c R{(V{V)~TVR R, V, V, W c (R{V)~W|VVR R, V, V, X c R{V{V~XVR R, V, W, Q c R{V~(W{Q)VR R, V, W, S c (R{W)~V|SVR R, V, W, U c (R{W)~U{VVR R, V, W, V c (R{V)~W|VVR R, V, X, P c R{V~(X{P)VR R, V, X, V c R{V{X~VVR R, W, P, R c R~W~R{PVR R, W, P, U c (R{U)~W{PVR R, W, Q, V c R{(W{Q)~VVR R, W, Q, X c R{W~X|QVR R, W, R, P c R~W~R{PVR R, W, R, W c R~R{W~WVR R, W, R, X c RR{W~XVR R, W, S, V c (R{W)~V|SVR R, W, S, X c W~X|R{SVR R, W, T, U c R{(W{U)~TVR R, W, T, X c (R{T)~W{XVR R, W, U, P c (R{U)~W{PVR R, W, U, T c R{(W{U)~TVR R, W, U, V c (R{W)~U{VVR R, W, U, W c R{W~W{UVR R, W, U, X c (R{U)~X|WVR R, W, V, Q c R{(W{Q)~VVR R, W, V, S c (R{W)~V|SVR R, W, V, U c (R{W)~U{VVR R, W, V, V c R~W{V~VVR R, W, W, R c R~R{W~WVR R, W, W, U c R{W~W{UVR R, W, X, Q c R{W~X|QVR R, W, X, R c R~X~R|WVR R, W, X, S c W~X|R{SVR R, W, X, T c (R{T)~W{XVR R, W, X, U c (R{U)~X|WVR R, X, P, T c (R{T)~X{PVR R, X, P, U c (R{X)~U{PVR R, X, P, V c R{(X{P)~VVR R, X, Q, W c R{X~W|QVR R, X, R, W c R~X~R|WVR R, X, S, W c X~W|R{SVR R, X, T, P c (R{T)~X{PVR R, X, T, T c R{(X{T)~TVR R, X, T, W c (R{T)~W{XVR R, X, T, X c (X~X)|(R{T)VR R, X, U, P c (R{X)~U{PVR R, X, U, W c (R{U)~X|WVR R, X, V, P c R{(X{P)~VVR R, X, V, V c R{X~V{VVR R, X, W, Q c R{X~W|QVR R, X, W, R c R~X~R|WVR R, X, W, S c X~W|R{SVR R, X, W, T c (R{T)~W{XVR R, X, W, U c (R{U)~X|WVR R, X, X, T c (X~X)|(R{T)VR S, P, Q, X c S~Q~X{PVR S, P, R, U c S~R~U{PVR S, P, S, X c (S{S)~X{PVR S, P, T, W c (S{T)~W{PVR S, P, U, R c S~U~R{PVR S, P, U, W c (S{W)~U{PVR S, P, W, T c (S{T)~W{PVR S, P, W, U c (S{W)~U{PVR S, P, X, Q c S~X~Q{PVR S, P, X, S c (S{S)~X{PVR S, P, X, X c S~(X{X){PVR S, Q, P, X c S~Q~X{PVR S, Q, V, X c (Q{X)~V|SVR S, Q, W, X c S~Q~W{XVR S, Q, X, P c S~Q~X{PVR S, Q, X, V c (Q{X)~V|SVR S, Q, X, W c S~Q~W{XVR S, Q, X, X c X~X|S~QVR S, R, P, U c S~R~U{PVR S, R, U, P c S~R~U{PVR S, R, U, V c (S{U)~V{RVR S, R, V, U c (S{U)~V{RVR S, R, V, W c (R{W)~V|SVR S, R, W, V c (R{W)~V|SVR S, R, W, X c S|R{W~XVR S, R, X, W c S|R{X~WVR S, S, P, X c (S{S)~X{PVR S, S, S, X c S~S~S{XVR S, S, T, V c S~S~T|VVR S, S, V, T c S~S~T|VVR S, S, V, V c (S{V)~V|SVR S, S, W, X c (S{S)~W{XVR S, S, X, P c (S{S)~X{PVR S, S, X, S c S~S~S{XVR S, S, X, W c SS{X~WVR S, S, X, X c (X~X)|(S{S)VR S, T, P, W c (S{T)~W{PVR S, T, S, V c S~T~S|VVR S, T, U, V c (T{U)~V|SVR S, T, U, X c (S{X)~U|TVR S, T, V, S c S~T~S|VVR S, T, V, U c (T{U)~V|SVR S, T, V, X c S~V{T~XVR S, T, W, P c (S{T)~W{PVR S, T, W, W c S{T{W~WVR S, T, W, X c (S{T)~X|WVR S, T, X, U c (S{X)~U|TVR S, T, X, V c S~V{T~XVR S, T, X, W c (S{T)~X|WVR S, U, P, R c S~U~R{PVR S, U, P, W c (S{W)~U{PVR S, U, R, P c S~U~R{PVR S, U, R, V c (S{U)~V{RVR S, U, T, V c (U{T)~V|SVR S, U, T, X c (S{X)~U|TVR S, U, V, R c (S{U)~V{RVR S, U, V, T c (U{T)~V|SVR S, U, V, V c S~U{V~VVR S, U, V, W c (S{U)~W|VVR S, U, V, X c S{U{V~XVR S, U, W, P c (S{W)~U{PVR S, U, W, V c (S{U)~W|VVR S, U, X, T c (S{X)~U|TVR S, U, X, V c S{U{X~VVR S, V, Q, X c V~(Q{X)|SVR S, V, R, U c (S{U)~V{RVR S, V, R, W c V~(R{W)|SVR S, V, S, T c S~S~T|VVR S, V, S, V c (S{V)~V|SVR S, V, T, S c S~T~S|VVR S, V, T, U c V~(T{U)|SVR S, V, T, X c S~V{T~XVR S, V, U, R c (S{U)~V{RVR S, V, U, T c V~(U{T)|SVR S, V, U, V c (S{V)~U{VVR S, V, U, W c (S{U)~W|VVR S, V, U, X c S{V~X{UVR S, V, V, S c (S{V)~V|SVR S, V, V, U c (S{V)~U{VVR S, V, W, R c V~(W{R)|SVR S, V, W, U c (S{U)~W|VVR S, V, X, Q c V~(X{Q)|SVR S, V, X, T c S~V{X~TVR S, V, X, U c S{V~X{UVR S, V, X, X c S~(V{X){XVR S, W, P, T c (S{T)~W{PVR S, W, P, U c (S{W)~U{PVR S, W, Q, X c S~W~Q{XVR S, W, R, V c (W{R)~V|SVR S, W, R, X c S{W~X|RVR S, W, S, X c (S{S)~W{XVR S, W, T, P c (S{T)~W{PVR S, W, T, W c S{W~W{TVR S, W, T, X c S~(W{X){TVR S, W, U, P c (S{W)~U{PVR S, W, U, V c (S{U)~W|VVR S, W, V, R c (W{R)~V|SVR S, W, V, U c (S{U)~W|VVR S, W, W, T c S{W~W{TVR S, W, W, X c S~(W{W){XVR S, W, X, Q c S~W~Q{XVR S, W, X, R c S{W~X|RVR S, W, X, S c (S{S)~W{XVR S, W, X, T c S~(W{X){TVR S, W, X, W c S~(W{W){XVR S, X, P, Q c S~X~Q{PVR S, X, P, S c (S{S)~X{PVR S, X, P, X c S~(X{X){PVR S, X, Q, P c S~X~Q{PVR S, X, Q, V c (X{Q)~V|SVR S, X, Q, W c S~Q~W{XVR S, X, Q, X c X~X|S~QVR S, X, R, W c S{X~W|RVR S, X, S, P c (S{S)~X{PVR S, X, S, S c S~S~S{XVR S, X, S, W c SS{X~WVR S, X, S, X c (X~X)|(S{S)VR S, X, T, U c (S{X)~U|TVR S, X, T, V c S~V{X~TVR S, X, T, W c (S{X)~T{WVR S, X, U, T c (S{X)~U|TVR S, X, U, V c S{X~V{UVR S, X, V, Q c (X{Q)~V|SVR S, X, V, T c S~V{X~TVR S, X, V, U c S{X~V{UVR S, X, V, X c S~(X{V){XVR S, X, W, Q c S~W~Q{XVR S, X, W, R c S{X~W|RVR S, X, W, S c SS{X~WVR S, X, W, T c S~(X{W){TVR S, X, W, W c S~(W{W){XVR S, X, X, P c S~(X{X){PVR S, X, X, Q c X~X|S~QVR S, X, X, S c (X~X)|(S{S)VR S, X, X, V c S~(X{V){XVR T, P, R, X c (T{R)~X{PVR T, P, S, W c (T{S)~W{PVR T, P, U, V c (T{V)~U{PVR T, P, V, U c (T{V)~U{PVR T, P, W, S c (T{S)~W{PVR T, P, X, R c (T{R)~X{PVR T, Q, R, T c T~R~T|QVR T, Q, R, V c T~Q~V{RVR T, Q, T, R c T~T~R|QVR T, Q, U, X c T~(U{X)|QVR T, Q, V, R c T~Q~V{RVR T, Q, V, W c T~Q~W|VVR T, Q, V, X c T~Q{V~XVR T, Q, W, V c T~Q~W|VVR T, Q, X, U c T~(X{U)|QVR T, Q, X, V c T~Q{X~VVR T, R, P, X c (T{R)~X{PVR T, R, Q, T c T~R~T|QVR T, R, Q, V c T~Q~V{RVR T, R, T, Q c T~R~T|QVR T, R, T, V c (T{T)~V{RVR T, R, T, X c T~(T{X){RVR T, R, U, W c T~(U{W){RVR T, R, V, Q c T~V~Q{RVR T, R, V, T c (T{T)~V{RVR T, R, V, V c T~(V{V){RVR T, R, W, U c T~(W{U){RVR T, R, W, X c (T{R)~W{XVR T, R, X, P c (T{R)~X{PVR T, R, X, T c (T{X)~T{RVR T, R, X, W c (T{R)~W{XVR T, R, X, X c (X~X)|(T{R)VR T, S, P, W c (T{S)~W{PVR T, S, S, V c T~S~S|VVR T, S, U, V c (T{U)~V|SVR T, S, U, X c (S{X)~U|TVR T, S, V, S c T~S~S|VVR T, S, V, U c (T{U)~V|SVR T, S, V, X c T~X{S~VVR T, S, W, P c (T{S)~W{PVR T, S, W, W c T{S{W~WVR T, S, W, X c T{S~(W{X)VR T, S, X, U c (S{X)~U|TVR T, S, X, V c T~X{S~VVR T, S, X, W c T{S~(X{W)VR T, T, Q, R c T~T~R|QVR T, T, R, Q c T~T~R|QVR T, T, R, V c (T{T)~V{RVR T, T, R, X c T~(T{X){RVR T, T, U, W c T~T{U~WVR T, T, V, R c (T{T)~V{RVR T, T, V, W c (T{T)~W|VVR T, T, V, X c T{T{V~XVR T, T, W, U c T~T{W~UVR T, T, W, V c (T{T)~W|VVR T, T, W, W c T~(T{W){WVR T, T, W, X c TT{W~XVR T, T, X, R c T~(T{X){RVR T, T, X, V c T{T{X~VVR T, T, X, W c TT{X~WVR T, U, P, V c (T{V)~U{PVR T, U, Q, X c T~(U{X)|QVR T, U, R, W c T~(U{W){RVR T, U, S, V c (T{U)~V|SVR T, U, S, X c U~(S{X)|TVR T, U, T, W c T~T{U~WVR T, U, U, V c (T{U)~U{VVR T, U, V, P c (T{V)~U{PVR T, U, V, S c (T{U)~V|SVR T, U, V, U c (T{U)~U{VVR T, U, V, W c T~(U{V){WVR T, U, W, R c T~(U{W){RVR T, U, W, T c (T{W)~U|TVR T, U, W, V c T~(U{V){WVR T, U, W, X c U|T{W~XVR T, U, X, Q c T~(U{X)|QVR T, U, X, S c U~(X{S)|TVR T, U, X, W c U|T{X~WVR T, V, P, U c (T{V)~U{PVR T, V, Q, R c T~V~Q{RVR T, V, Q, W c T~(V{W)|QVR T, V, Q, X c T~Q{V~XVR T, V, R, Q c T~V~Q{RVR T, V, R, T c (T{T)~V{RVR T, V, R, V c T~(V{V){RVR T, V, S, S c T~S~S|VVR T, V, S, U c (T{U)~V|SVR T, V, S, X c T~X{V~SVR T, V, T, R c (T{T)~V{RVR T, V, T, W c (T{T)~W|VVR T, V, T, X c T{V~X{TVR T, V, U, P c (T{V)~U{PVR T, V, U, S c (T{U)~V|SVR T, V, U, U c (T{U)~U{VVR T, V, U, W c T~(V{U){WVR T, V, V, R c T~(V{V){RVR T, V, V, X c T~(V{X)|VVR T, V, W, Q c T~(V{W)|QVR T, V, W, T c (T{T)~W|VVR T, V, W, U c T~(V{U){WVR T, V, W, W c T~(W{W)|VVR T, V, X, Q c T~Q{V~XVR T, V, X, S c T~X{V~SVR T, V, X, T c T{V~X{TVR T, V, X, V c T~(V{X)|VVR T, W, P, S c (T{S)~W{PVR T, W, Q, V c T~W~Q|VVR T, W, R, U c T~(W{U){RVR T, W, R, X c (T{R)~W{XVR T, W, S, P c (T{S)~W{PVR T, W, S, W c T{W~W{SVR T, W, S, X c T{(W{X)~SVR T, W, T, U c (T{W)~U|TVR T, W, T, V c (T{T)~W|VVR T, W, T, W c (T{W)~T{WVR T, W, T, X c TT{W~XVR T, W, U, R c T~(W{U){RVR T, W, U, T c (T{W)~U|TVR T, W, U, V c T~(U{V){WVR T, W, U, X c W~X|T{UVR T, W, V, Q c T~(W{V)|QVR T, W, V, T c (T{T)~W|VVR T, W, V, U c T~(V{U){WVR T, W, V, W c T~(W{W)|VVR T, W, W, S c T{W~W{SVR T, W, W, T c (T{W)~T{WVR T, W, W, V c T~(W{W)|VVR T, W, X, R c (T{R)~W{XVR T, W, X, S c T{(W{X)~SVR T, W, X, T c TT{W~XVR T, W, X, U c W~X|T{UVR T, X, P, R c (T{R)~X{PVR T, X, Q, U c T~(X{U)|QVR T, X, Q, V c T~Q{X~VVR T, X, R, P c (T{R)~X{PVR T, X, R, T c (T{X)~T{RVR T, X, R, W c (T{R)~W{XVR T, X, R, X c (X~X)|(T{R)VR T, X, S, U c (X{S)~U|TVR T, X, S, V c T~X{S~VVR T, X, S, W c T~(X{S){WVR T, X, T, R c (T{X)~T{RVR T, X, T, V c T{X~V{TVR T, X, T, W c TT{X~WVR T, X, U, Q c T~(X{U)|QVR T, X, U, S c (X{S)~U|TVR T, X, U, W c X~W|T{UVR T, X, V, Q c T~Q{X~VVR T, X, V, S c T~X{V~SVR T, X, V, T c T{X~V{TVR T, X, V, V c T~(X{V)|VVR T, X, W, R c (T{R)~W{XVR T, X, W, S c T{(X{W)~SVR T, X, W, T c TT{X~WVR T, X, W, U c X~W|T{UVR T, X, X, R c (X~X)|(T{R)VR U, P, Q, U c U~Q~U{PVR U, P, Q, X c (U{Q)~X{PVR U, P, R, S c U~R~S{PVR U, P, R, W c (U{R)~W{PVR U, P, R, X c U~(R{X){PVR U, P, S, R c U~S~R{PVR U, P, S, W c U~(S{W){PVR U, P, T, V c U~(T{V){PVR U, P, U, Q c U~U~Q{PVR U, P, U, U c (U{U)~U{PVR U, P, V, T c U~(V{T){PVR U, P, W, R c (U{R)~W{PVR U, P, W, S c U~(W{S){PVR U, P, X, Q c (U{Q)~X{PVR U, P, X, R c U~(X{R){PVR U, Q, P, U c U~Q~U{PVR U, Q, P, X c (U{Q)~X{PVR U, Q, T, X c (U{X)~T|QVR U, Q, U, P c U~Q~U{PVR U, Q, V, X c U~(Q{X){VVR U, Q, W, X c (U{Q)~W{XVR U, Q, X, P c (U{Q)~X{PVR U, Q, X, T c (U{X)~T|QVR U, Q, X, V c U~(Q{X){VVR U, Q, X, W c (U{Q)~W{XVR U, Q, X, X c (X~X)|(U{Q)VR U, R, P, S c U~R~S{PVR U, R, P, W c (U{R)~W{PVR U, R, P, X c U~(R{X){PVR U, R, S, P c U~R~S{PVR U, R, S, V c (U{S)~V{RVR U, R, T, W c (U{W)~T{RVR U, R, V, S c (U{S)~V{RVR U, R, V, W c U~(R{W){VVR U, R, W, P c (U{R)~W{PVR U, R, W, T c (U{W)~T{RVR U, R, W, V c U~(R{W){VVR U, R, W, W c U{R{W~WVR U, R, W, X c (U{R)~X|WVR U, R, X, P c U~(R{X){PVR U, R, X, W c (U{R)~X|WVR U, S, P, R c U~S~R{PVR U, S, P, W c U~(S{W){PVR U, S, R, P c U~S~R{PVR U, S, R, V c (U{S)~V{RVR U, S, T, V c (U{T)~V|SVR U, S, T, X c U~(S{X)|TVR U, S, V, R c (U{S)~V{RVR U, S, V, T c (U{T)~V|SVR U, S, V, V c U~(S{V){VVR U, S, V, W c (U{S)~W|VVR U, S, V, X c U{S{V~XVR U, S, W, P c U~(S{W){PVR U, S, W, V c (U{S)~W|VVR U, S, X, T c U~(S{X)|TVR U, S, X, V c U{S{X~VVR U, T, P, V c U~(T{V){PVR U, T, Q, X c (U{X)~T|QVR U, T, R, W c (U{W)~T{RVR U, T, S, V c (U{T)~V|SVR U, T, S, X c U~(S{X)|TVR U, T, T, W c U~(T{W)|TVR U, T, U, V c (U{T)~U{VVR U, T, V, P c U~(T{V){PVR U, T, V, S c (U{T)~V|SVR U, T, V, U c (U{T)~U{VVR U, T, V, W c (U{V)~T{WVR U, T, W, R c (U{W)~T{RVR U, T, W, T c U~(T{W)|TVR U, T, W, V c (U{V)~T{WVR U, T, W, X c U|T{W~XVR U, T, X, Q c (U{X)~T|QVR U, T, X, S c U~(X{S)|TVR U, T, X, W c U|T{X~WVR U, U, P, Q c U~U~Q{PVR U, U, P, U c (U{U)~U{PVR U, U, Q, P c U~U~Q{PVR U, U, T, V c U~(U{T){VVR U, U, U, P c (U{U)~U{PVR U, U, V, T c U~(U{V)|TVR U, U, W, X c UU{W~XVR U, U, X, W c UU{X~WVR U, V, P, T c U~(V{T){PVR U, V, Q, X c U~(Q{X){VVR U, V, R, S c (U{S)~V{RVR U, V, R, W c U~(R{W){VVR U, V, S, R c (U{S)~V{RVR U, V, S, T c (U{T)~V|SVR U, V, S, V c U~(V{S){VVR U, V, S, W c (U{S)~W|VVR U, V, S, X c U{V~X{SVR U, V, T, P c U~(V{T){PVR U, V, T, S c (U{T)~V|SVR U, V, T, U c (U{V)~U|TVR U, V, T, W c (U{V)~T{WVR U, V, U, T c (U{V)~U|TVR U, V, V, S c U~(V{S){VVR U, V, W, R c U~(W{R){VVR U, V, W, S c (U{S)~W|VVR U, V, W, T c (U{V)~T{WVR U, V, W, X c V|U{W~XVR U, V, X, Q c U~(X{Q){VVR U, V, X, S c U{V~X{SVR U, V, X, W c V|U{X~WVR U, W, P, R c (U{R)~W{PVR U, W, P, S c U~(W{S){PVR U, W, Q, X c (U{Q)~W{XVR U, W, R, P c (U{R)~W{PVR U, W, R, T c (U{W)~T{RVR U, W, R, V c U~(W{R){VVR U, W, R, W c U{W~W{RVR U, W, R, X c (U{R)~X|WVR U, W, S, P c U~(W{S){PVR U, W, S, V c (U{S)~W|VVR U, W, T, R c (U{W)~T{RVR U, W, T, T c U~(W{T)|TVR U, W, T, V c (U{V)~T{WVR U, W, T, X c U{W~X|TVR U, W, U, X c UU{W~XVR U, W, V, R c U~(W{R){VVR U, W, V, S c (U{S)~W|VVR U, W, V, T c (U{V)~T{WVR U, W, V, X c W~X|U{VVR U, W, W, R c U{W~W{RVR U, W, X, Q c (U{Q)~W{XVR U, W, X, R c (U{R)~X|WVR U, W, X, T c U{W~X|TVR U, W, X, U c UU{W~XVR U, W, X, V c W~X|U{VVR U, X, P, Q c (U{Q)~X{PVR U, X, P, R c U~(X{R){PVR U, X, Q, P c (U{Q)~X{PVR U, X, Q, T c (U{X)~T|QVR U, X, Q, V c U~(X{Q){VVR U, X, Q, W c (U{Q)~W{XVR U, X, Q, X c (X~X)|(U{Q)VR U, X, R, P c U~(X{R){PVR U, X, R, W c (U{R)~X|WVR U, X, S, T c U~(X{S)|TVR U, X, S, V c U{X~V{SVR U, X, T, Q c (U{X)~T|QVR U, X, T, S c U~(X{S)|TVR U, X, T, W c U{X~W|TVR U, X, U, W c UU{X~WVR U, X, V, Q c U~(X{Q){VVR U, X, V, S c U{X~V{SVR U, X, V, W c X~W|U{VVR U, X, W, Q c (U{Q)~W{XVR U, X, W, R c (U{R)~X|WVR U, X, W, T c U{X~W|TVR U, X, W, U c UU{X~WVR U, X, W, V c X~W|U{VVR U, X, X, Q c (X~X)|(U{Q)VR V, P, P, X c (V{P)~X{PVR V, P, Q, W c (V{Q)~W{PVR V, P, R, X c V~(P{X){RVR V, P, T, U c (V{T)~U{PVR V, P, U, T c (V{T)~U{PVR V, P, W, Q c (V{Q)~W{PVR V, P, W, X c (V{P)~W{XVR V, P, X, P c (V{P)~X{PVR V, P, X, R c V~(P{X){RVR V, P, X, W c (V{P)~W{XVR V, P, X, X c V~X{P{XVR V, Q, P, W c (V{Q)~W{PVR V, Q, R, T c V~Q~T{RVR V, Q, R, W c V~(Q{W){RVR V, Q, S, X c V~(Q{X)|SVR V, Q, T, R c V~Q~T{RVR V, Q, T, W c (V{W)~T|QVR V, Q, T, X c V~X{Q~TVR V, Q, U, X c V{(Q{X)~UVR V, Q, W, P c (V{Q)~W{PVR V, Q, W, R c V~(Q{W){RVR V, Q, W, T c (V{W)~T|QVR V, Q, W, W c V{Q{W~WVR V, Q, W, X c (V{Q)~X|WVR V, Q, X, S c V~(Q{X)|SVR V, Q, X, T c V~X{Q~TVR V, Q, X, U c V{(Q{X)~UVR V, Q, X, W c (V{Q)~X|WVR V, R, P, X c V~(P{X){RVR V, R, Q, T c V~Q~T{RVR V, R, Q, W c V~(Q{W){RVR V, R, R, V c (V{R)~V{RVR V, R, S, U c V~(S{U){RVR V, R, S, W c V~(R{W)|SVR V, R, T, Q c V~T~Q{RVR V, R, T, T c V~(T{T){RVR V, R, T, V c (V{V)~T{RVR V, R, U, S c V~(U{S){RVR V, R, U, W c V{(R{W)~UVR V, R, V, R c (V{R)~V{RVR V, R, V, T c (V{V)~T{RVR V, R, V, W c (V{R)~W|VVR V, R, V, X c V{R{V~XVR V, R, W, Q c V~(W{Q){RVR V, R, W, S c V~(R{W)|SVR V, R, W, U c V{(R{W)~UVR V, R, W, V c (V{R)~W|VVR V, R, X, P c V~(X{P){RVR V, R, X, V c V{R{X~VVR V, S, Q, X c V~(Q{X)|SVR V, S, R, U c V~(S{U){RVR V, S, R, W c V~(R{W)|SVR V, S, S, T c S~S~T|VVR V, S, S, V c (V{S)~V|SVR V, S, T, S c S~T~S|VVR V, S, T, U c V~(T{U)|SVR V, S, T, X c V~S{T~XVR V, S, U, R c V~(S{U){RVR V, S, U, T c V~(U{T)|SVR V, S, U, V c (V{S)~U{VVR V, S, U, W c (S{U)~W|VVR V, S, U, X c V~X{S{UVR V, S, V, S c (V{S)~V|SVR V, S, V, U c V{(S{V)~UVR V, S, W, R c V~(W{R)|SVR V, S, W, U c (S{U)~W|VVR V, S, X, Q c V~(X{Q)|SVR V, S, X, T c V~S{X~TVR V, S, X, U c V~X{S{UVR V, S, X, X c (V{X)~S{XVR V, T, P, U c (V{T)~U{PVR V, T, Q, R c V~T~Q{RVR V, T, Q, W c (V{W)~T|QVR V, T, Q, X c V~X{T~QVR V, T, R, Q c V~T~Q{RVR V, T, R, T c V~(T{T){RVR V, T, R, V c (V{V)~T{RVR V, T, S, S c T~S~S|VVR V, T, S, U c V~(T{U)|SVR V, T, S, X c V~S{T~XVR V, T, T, R c V~(T{T){RVR V, T, T, W c (T{T)~W|VVR V, T, T, X c V~X{T{TVR V, T, U, P c (V{T)~U{PVR V, T, U, S c V~(T{U)|SVR V, T, U, U c V{(T{U)~UVR V, T, U, W c (V{U)~T{WVR V, T, V, R c (V{V)~T{RVR V, T, V, X c (V{X)~T|VVR V, T, W, Q c (V{W)~T|QVR V, T, W, T c (T{T)~W|VVR V, T, W, U c (V{U)~T{WVR V, T, W, W c T~(W{W)|VVR V, T, X, Q c V~X{T~QVR V, T, X, S c V~S{T~XVR V, T, X, T c V~X{T{TVR V, T, X, V c (V{X)~T|VVR V, U, P, T c (V{T)~U{PVR V, U, Q, X c V{U~(Q{X)VR V, U, R, S c V~(U{S){RVR V, U, R, W c V{U~(R{W)VR V, U, S, R c V~(U{S){RVR V, U, S, T c V~(U{T)|SVR V, U, S, V c V{U~(S{V)VR V, U, S, W c (U{S)~W|VVR V, U, S, X c V~X{U{SVR V, U, T, P c (V{T)~U{PVR V, U, T, S c V~(U{T)|SVR V, U, T, U c V{(U{T)~UVR V, U, T, W c (V{U)~T{WVR V, U, U, T c V{U~(U{T)VR V, U, V, S c V{U~(V{S)VR V, U, W, R c V{U~(W{R)VR V, U, W, S c (U{S)~W|VVR V, U, W, T c (V{U)~T{WVR V, U, W, X c V|U{W~XVR V, U, X, Q c V{U~(X{Q)VR V, U, X, S c V~X{U{SVR V, U, X, W c V|U{X~WVR V, V, R, R c V~(V{R){RVR V, V, R, T c (V{V)~T{RVR V, V, R, W c V~V{R~WVR V, V, R, X c V{V~X{RVR V, V, S, S c V~(V{S)|SVR V, V, S, U c V{(V{S)~UVR V, V, T, R c (V{V)~T{RVR V, V, T, X c (V{X)~T|VVR V, V, U, S c V~V{U~SVR V, V, W, R c V~V{W~RVR V, V, W, X c VV{W~XVR V, V, X, R c V{V~X{RVR V, V, X, T c (V{X)~T|VVR V, V, X, W c VV{X~WVR V, W, P, Q c (V{Q)~W{PVR V, W, P, X c (V{P)~W{XVR V, W, Q, P c (V{Q)~W{PVR V, W, Q, R c V~(W{Q){RVR V, W, Q, T c (V{W)~T|QVR V, W, Q, W c V{W~W{QVR V, W, Q, X c (V{Q)~X|WVR V, W, R, Q c V~(W{Q){RVR V, W, R, S c V~(W{R)|SVR V, W, R, U c V{(W{R)~UVR V, W, R, V c (V{R)~W|VVR V, W, S, R c V~(W{R)|SVR V, W, S, U c W~(S{U)|VVR V, W, T, Q c (V{W)~T|QVR V, W, T, T c W~(T{T)|VVR V, W, T, U c (V{U)~T{WVR V, W, T, W c (W{W)~T|VVR V, W, U, R c V{(W{R)~UVR V, W, U, S c W~(U{S)|VVR V, W, U, T c (V{U)~T{WVR V, W, U, X c V{W~X|UVR V, W, V, R c V~V{W~RVR V, W, V, X c VV{W~XVR V, W, W, Q c V{W~W{QVR V, W, W, T c (W{W)~T|VVR V, W, W, X c V~W{W{XVR V, W, X, P c (V{P)~W{XVR V, W, X, Q c V~X{W{QVR V, W, X, U c V{W~X|UVR V, W, X, V c VV{W~XVR V, W, X, W c V~W{X{WVR V, X, P, P c (V{P)~X{PVR V, X, P, R c V~(X{P){RVR V, X, P, W c (V{P)~W{XVR V, X, P, X c V~X{P{XVR V, X, Q, S c V~(X{Q)|SVR V, X, Q, T c V~X{Q~TVR V, X, Q, U c V{(X{Q)~UVR V, X, Q, W c V~X{Q{WVR V, X, R, P c V~(X{P){RVR V, X, R, V c V~X{R{VVR V, X, S, Q c V~(X{Q)|SVR V, X, S, T c V~S{X~TVR V, X, S, U c V~X{S{UVR V, X, S, X c (V{X)~S{XVR V, X, T, Q c V~X{T~QVR V, X, T, S c V~S{X~TVR V, X, T, T c V~X{T{TVR V, X, T, V c (V{X)~T|VVR V, X, U, Q c V{(X{Q)~UVR V, X, U, S c V~X{U{SVR V, X, U, W c V{X~W|UVR V, X, V, R c V{X~V{RVR V, X, V, T c (V{X)~T|VVR V, X, V, W c VV{X~WVR V, X, W, P c (V{P)~W{XVR V, X, W, Q c V~X{W{QVR V, X, W, U c V{X~W|UVR V, X, W, V c VV{X~WVR V, X, W, W c V~W{X{WVR V, X, X, P c V~X{X{PVR V, X, X, S c (V{X)~S{XVR W, O, P, X c (W{O)~X{PVR W, O, W, X c (W{O)~W{XVR W, O, X, P c (W{O)~X{PVR W, O, X, W c (W{O)~W{XVR W, O, X, X c O{X~X|WVR W, P, O, X c (W{O)~X{PVR W, P, P, W c (W{P)~W{PVR W, P, P, X c W~P~X{PVR W, P, Q, V c W~(Q{V){PVR W, P, Q, X c W~X|P{QVR W, P, R, R c W~R~R{PVR W, P, R, U c W~(R{U){PVR W, P, S, T c W~(S{T){PVR W, P, S, U c (W{S)~U{PVR W, P, T, S c W~(T{S){PVR W, P, U, R c W~(U{R){PVR W, P, U, S c (W{S)~U{PVR W, P, V, Q c W~(V{Q){PVR W, P, V, X c W~(P{V){XVR W, P, W, P c (W{P)~W{PVR W, P, W, W c W{P{W~WVR W, P, W, X c W~P~W{XVR W, P, X, O c W~X{P{OVR W, P, X, P c W~P~X{PVR W, P, X, Q c W~X|P{QVR W, P, X, V c W~(P{X)|VVR W, P, X, W c (W{P)~X|WVR W, P, X, X c (W{PX)~XVR W, Q, P, V c W~(Q{V){PVR W, Q, P, X c W~X{Q|PVR W, Q, Q, X c W~X{QQVR W, Q, R, V c (W{Q)~V{RVR W, Q, R, X c W~X|Q{RVR W, Q, S, X c W~Q~S{XVR W, Q, T, V c W~Q~T|VVR W, Q, U, X c W~(Q{U){XVR W, Q, V, P c W~(Q{V){PVR W, Q, V, R c (W{Q)~V{RVR W, Q, V, T c W~Q~T|VVR W, Q, V, W c (W{Q)~W|VVR W, Q, V, X c W{Q{V~XVR W, Q, W, V c (W{Q)~W|VVR W, Q, X, P c W~X{Q|PVR W, Q, X, Q c W~X{QQVR W, Q, X, R c W~X|Q{RVR W, Q, X, S c W~Q~S{XVR W, Q, X, U c W~(Q{U){XVR W, Q, X, V c W{Q{X~VVR W, R, P, R c W~R~R{PVR W, R, P, U c W~(R{U){PVR W, R, Q, V c (W{Q)~V{RVR W, R, Q, X c W~X{R|QVR W, R, R, P c W~R~R{PVR W, R, R, W c W~W{R~RVR W, R, R, X c W~X{RRVR W, R, S, V c (W{R)~V|SVR W, R, S, X c W~X|R{SVR W, R, T, U c (W{U)~T{RVR W, R, T, X c W~(R{T){XVR W, R, U, P c W~(R{U){PVR W, R, U, T c (W{U)~T{RVR W, R, U, V c (W{R)~U{VVR W, R, U, W c W~W{R{UVR W, R, U, X c (R{U)~X|WVR W, R, V, Q c (W{Q)~V{RVR W, R, V, S c (W{R)~V|SVR W, R, V, U c (W{R)~U{VVR W, R, V, V c W~(R{V)|VVR W, R, W, R c W~W{R~RVR W, R, W, U c W~W{R{UVR W, R, X, Q c W~X{R|QVR W, R, X, R c W~X{RRVR W, R, X, S c W~X|R{SVR W, R, X, T c W~(R{T){XVR W, R, X, U c (R{U)~X|WVR W, S, P, T c W~(S{T){PVR W, S, P, U c (W{S)~U{PVR W, S, Q, X c W~S~Q{XVR W, S, R, V c (W{R)~V|SVR W, S, R, X c W~X{S|RVR W, S, S, X c W~(S{S){XVR W, S, T, P c W~(S{T){PVR W, S, T, W c W~W{S{TVR W, S, T, X c W{(S{X)~TVR W, S, U, P c (W{S)~U{PVR W, S, U, V c W~(S{U)|VVR W, S, V, R c (W{R)~V|SVR W, S, V, U c W~(S{U)|VVR W, S, W, T c W~W{S{TVR W, S, W, X c (W{W)~S{XVR W, S, X, Q c W~S~Q{XVR W, S, X, R c W~X{S|RVR W, S, X, S c W~(S{S){XVR W, S, X, T c W{(S{X)~TVR W, S, X, W c (W{W)~S{XVR W, T, P, S c W~(T{S){PVR W, T, Q, V c W~T~Q|VVR W, T, R, U c (W{U)~T{RVR W, T, R, X c W~(T{R){XVR W, T, S, P c W~(T{S){PVR W, T, S, W c W~W{T{SVR W, T, S, X c W{T~(S{X)VR W, T, T, U c (W{T)~U|TVR W, T, T, V c W~(T{T)|VVR W, T, T, W c (W{T)~T{WVR W, T, T, X c W~X{TTVR W, T, U, R c (W{U)~T{RVR W, T, U, T c (W{T)~U|TVR W, T, U, V c W{T~(U{V)VR W, T, U, X c W~X|T{UVR W, T, V, Q c W~T~Q|VVR W, T, V, T c W~(T{T)|VVR W, T, V, U c W{T~(V{U)VR W, T, V, W c (W{W)~T|VVR W, T, W, S c W~W{T{SVR W, T, W, T c W{(T{W)~TVR W, T, W, V c (W{W)~T|VVR W, T, X, R c W~(T{R){XVR W, T, X, S c W{T~(X{S)VR W, T, X, T c W~X{TTVR W, T, X, U c W~X|T{UVR W, U, P, R c W~(U{R){PVR W, U, P, S c (W{S)~U{PVR W, U, Q, X c W~(U{Q){XVR W, U, R, P c W~(U{R){PVR W, U, R, T c (W{U)~T{RVR W, U, R, V c (W{R)~U{VVR W, U, R, W c W~W{U{RVR W, U, R, X c (U{R)~X|WVR W, U, S, P c (W{S)~U{PVR W, U, S, V c W~(U{S)|VVR W, U, T, R c (W{U)~T{RVR W, U, T, T c W~U{T~TVR W, U, T, V c W{(U{V)~TVR W, U, T, X c W~X{U|TVR W, U, U, X c W~X{UUVR W, U, V, R c (W{R)~U{VVR W, U, V, S c W~(U{S)|VVR W, U, V, T c W{(U{V)~TVR W, U, V, X c W~X|U{VVR W, U, W, R c W~W{U{RVR W, U, X, Q c W~(U{Q){XVR W, U, X, R c (U{R)~X|WVR W, U, X, T c W~X{U|TVR W, U, X, U c W~X{UUVR W, U, X, V c W~X|U{VVR W, V, P, Q c W~(V{Q){PVR W, V, P, X c W~(V{P){XVR W, V, Q, P c W~(V{Q){PVR W, V, Q, R c (W{Q)~V{RVR W, V, Q, T c (W{V)~T|QVR W, V, Q, W c (W{Q)~W|VVR W, V, Q, X c W{V~X{QVR W, V, R, Q c (W{Q)~V{RVR W, V, R, S c (W{R)~V|SVR W, V, R, U c (W{R)~U{VVR W, V, R, V c W~(V{R)|VVR W, V, S, R c (W{R)~V|SVR W, V, S, U c W~(S{U)|VVR W, V, T, Q c (W{V)~T|QVR W, V, T, T c W~(T{T)|VVR W, V, T, U c W{(V{U)~TVR W, V, T, W c (W{W)~T|VVR W, V, U, R c (W{R)~U{VVR W, V, U, S c W~(U{S)|VVR W, V, U, T c W{(V{U)~TVR W, V, U, X c W~X{V|UVR W, V, V, R c W~(V{R)|VVR W, V, V, X c W~X{VVVR W, V, W, Q c W~W{V{QVR W, V, W, T c (W{W)~T|VVR W, V, W, X c W{V~W{XVR W, V, X, P c W~(V{P){XVR W, V, X, Q c W{V~X{QVR W, V, X, U c W~X{V|UVR W, V, X, V c W~X{VVVR W, V, X, W c W|V{X~WVR W, W, O, X c W~W{O{XVR W, W, P, P c W~(W{P){PVR W, W, P, W c W~W{P{WVR W, W, P, X c W~W{P~XVR W, W, Q, V c W~W{Q{VVR W, W, R, R c W~W{R~RVR W, W, R, U c W~W{R{UVR W, W, S, T c W~W{S{TVR W, W, S, X c (W{W)~S{XVR W, W, T, S c W~W{T{SVR W, W, T, T c W{(W{T)~TVR W, W, T, V c (W{W)~T|VVR W, W, U, R c W~W{U{RVR W, W, V, Q c W~W{V{QVR W, W, V, T c (W{W)~T|VVR W, W, V, X c W{W~V{XVR W, W, W, P c W{W~W{PVR W, W, W, X c WW{W~XVR W, W, X, O c W~W{X{OVR W, W, X, P c W~W{X~PVR W, W, X, S c (W{W)~S{XVR W, W, X, V c W{W~X|VVR W, W, X, W c W~(W{XW)VR W, W, X, X c W~X|W{XVR W, X, O, P c W~X{O{PVR W, X, O, W c (W{O)~W{XVR W, X, O, X c (X{O)~X|WVR W, X, P, O c W~X{P{OVR W, X, P, P c W~X{P~PVR W, X, P, Q c W~X|P{QVR W, X, P, V c W~(X{P)|VVR W, X, P, W c W~(X{PW)VR W, X, P, X c W~(X|P){XVR W, X, Q, P c W~X{Q|PVR W, X, Q, Q c W~X{QQVR W, X, Q, R c W~X|Q{RVR W, X, Q, S c W~Q~S{XVR W, X, Q, U c W~(Q{U){XVR W, X, Q, V c W{X~V{QVR W, X, R, Q c W~X{R|QVR W, X, R, R c W~X{RRVR W, X, R, S c W~X|R{SVR W, X, R, T c W~(R{T){XVR W, X, R, U c X~(R{U)|WVR W, X, S, Q c W~S~Q{XVR W, X, S, R c W~X{S|RVR W, X, S, S c W~X{SSVR W, X, S, T c W{(X{S)~TVR W, X, S, W c (W{W)~S{XVR W, X, T, R c W~(T{R){XVR W, X, T, S c W~X{T|SVR W, X, T, T c W~X{TTVR W, X, T, U c W~X|T{UVR W, X, U, Q c W~(U{Q){XVR W, X, U, R c X~(U{R)|WVR W, X, U, T c W~X{U|TVR W, X, U, U c W~X{UUVR W, X, U, V c W~X|U{VVR W, X, V, P c W~(X{P)|VVR W, X, V, Q c W{X~V{QVR W, X, V, U c W~X{V|UVR W, X, V, V c W~X{VVVR W, X, V, W c W{X{V~WVR W, X, W, O c W~W{X{OVR W, X, W, P c W~(X{PW)VR W, X, W, S c (W{W)~S{XVR W, X, W, V c W{X{W~VVR W, X, W, W c (W{XW)~WVR W, X, W, X c W~X|W{XVR W, X, X, O c X~X|W{OVR W, X, X, P c W~(X|P){XVR W, X, X, W c W~X{X|WVR W, X, X, X c W~X{XXVR X, O, P, W c (X{O)~W{PVR X, O, W, P c (X{O)~W{PVR X, O, W, W c X{O{W~WVR X, O, W, X c (X{O)~X|WVR X, O, X, W c (X{O)~X|WVR X, P, O, W c (X{O)~W{PVR X, P, P, V c X~(P{V){PVR X, P, P, W c X~P~W{PVR X, P, P, X c (X|P)~X{PVR X, P, Q, S c X~Q~S{PVR X, P, Q, U c X~(Q{U){PVR X, P, Q, W c X~W|P{QVR X, P, R, T c X~(R{T){PVR X, P, R, U c (X{R)~U{PVR X, P, R, V c (X{P)~V{RVR X, P, S, Q c X~S~Q{PVR X, P, S, S c X~(S{S){PVR X, P, S, X c (X{X)~S{PVR X, P, T, R c X~(T{R){PVR X, P, U, Q c X~(U{Q){PVR X, P, U, R c (X{R)~U{PVR X, P, V, P c X~(P{V){PVR X, P, V, R c (X{P)~V{RVR X, P, V, W c X{(P{V)~WVR X, P, V, X c X{P{V~XVR X, P, W, O c X~W{P{OVR X, P, W, P c X~P~W{PVR X, P, W, Q c X~W|P{QVR X, P, W, V c (X{P)~W|VVR X, P, W, W c X{P~W~WVR X, P, W, X c (X|P)~W{XVR X, P, X, P c (X|P)~X{PVR X, P, X, S c (X{X)~S{PVR X, P, X, V c X{P{X~VVR X, P, X, W c X~P~X|WVR X, P, X, X c X~X{P|XVR X, Q, P, S c X~Q~S{PVR X, Q, P, U c X~(Q{U){PVR X, Q, P, W c X~W{Q|PVR X, Q, Q, W c X~W{QQVR X, Q, R, W c X~W|Q{RVR X, Q, S, P c X~Q~S{PVR X, Q, S, V c (X{Q)~V|SVR X, Q, S, W c X{Q~S~WVR X, Q, S, X c X~X|Q~SVR X, Q, T, U c (X{U)~T|QVR X, Q, T, V c X~V{Q~TVR X, Q, U, P c X~(Q{U){PVR X, Q, U, T c (X{U)~T|QVR X, Q, U, V c (X{Q)~U{VVR X, Q, U, W c X{(Q{U)~WVR X, Q, U, X c (X~X)|(Q{U)VR X, Q, V, S c (X{Q)~V|SVR X, Q, V, T c X~V{Q~TVR X, Q, V, U c (X{Q)~U{VVR X, Q, V, W c X~(Q{V)|WVR X, Q, W, P c X~W{Q|PVR X, Q, W, Q c X~W{QQVR X, Q, W, R c X~W|Q{RVR X, Q, W, S c X{Q~W~SVR X, Q, W, U c X{(Q{U)~WVR X, Q, W, V c X~(Q{V)|WVR X, Q, X, S c X~X|Q~SVR X, Q, X, U c (X~X)|(Q{U)VR X, R, P, T c X~(R{T){PVR X, R, P, U c (X{R)~U{PVR X, R, P, V c (X{P)~V{RVR X, R, Q, W c X~W{R|QVR X, R, R, W c X~R~R|WVR X, R, S, W c X~W|R{SVR X, R, T, P c X~(R{T){PVR X, R, T, T c (X{T)~T{RVR X, R, T, W c X{(R{T)~WVR X, R, T, X c (X~X)|(R{T)VR X, R, U, P c (X{R)~U{PVR X, R, U, W c X~(R{U)|WVR X, R, V, P c (X{P)~V{RVR X, R, V, V c X~V{R{VVR X, R, W, Q c X~W{R|QVR X, R, W, R c X~R~R|WVR X, R, W, S c X~W|R{SVR X, R, W, T c X{(R{T)~WVR X, R, W, U c X~(R{U)|WVR X, R, X, T c (X~X)|(R{T)VR X, S, P, Q c X~S~Q{PVR X, S, P, S c X~(S{S){PVR X, S, P, X c (X{X)~S{PVR X, S, Q, P c X~S~Q{PVR X, S, Q, V c (X{Q)~V|SVR X, S, Q, W c X{S~Q~WVR X, S, Q, X c X~X|S~QVR X, S, R, W c X~W{S|RVR X, S, S, P c X~(S{S){PVR X, S, S, S c X{S~S~SVR X, S, S, W c X{(S{S)~WVR X, S, S, X c (X~X)|(S{S)VR X, S, T, U c (X{S)~U|TVR X, S, T, V c X~T{S~VVR X, S, T, W c (X{S)~T{WVR X, S, U, T c (X{S)~U|TVR X, S, U, V c X~V{S{UVR X, S, V, Q c (X{Q)~V|SVR X, S, V, T c X~T{S~VVR X, S, V, U c X~V{S{UVR X, S, V, X c X{S~(V{X)VR X, S, W, Q c X{S~W~QVR X, S, W, R c X~W{S|RVR X, S, W, S c X{(S{S)~WVR X, S, W, T c (X{S)~T{WVR X, S, W, W c X{S~(W{W)VR X, S, X, P c (X{X)~S{PVR X, S, X, Q c X~X|S~QVR X, S, X, S c (X~X)|(S{S)VR X, S, X, V c X{S~(X{V)VR X, T, P, R c X~(T{R){PVR X, T, Q, U c (X{U)~T|QVR X, T, Q, V c X~V{T~QVR X, T, R, P c X~(T{R){PVR X, T, R, T c (X{T)~T{RVR X, T, R, W c X{(T{R)~WVR X, T, R, X c (X~X)|(T{R)VR X, T, S, U c (X{S)~U|TVR X, T, S, V c X~T{S~VVR X, T, S, W c X~(T{S)|WVR X, T, T, R c (X{T)~T{RVR X, T, T, V c X~V{T{TVR X, T, T, W c X~W{TTVR X, T, U, Q c (X{U)~T|QVR X, T, U, S c (X{S)~U|TVR X, T, U, W c X~W|T{UVR X, T, V, Q c X~V{T~QVR X, T, V, S c X~T{V~SVR X, T, V, T c X~V{T{TVR X, T, V, V c (X{V)~T|VVR X, T, W, R c X{(T{R)~WVR X, T, W, S c X~(T{S)|WVR X, T, W, T c X~W{TTVR X, T, W, U c X~W|T{UVR X, T, X, R c (X~X)|(T{R)VR X, U, P, Q c X~(U{Q){PVR X, U, P, R c (X{R)~U{PVR X, U, Q, P c X~(U{Q){PVR X, U, Q, T c (X{U)~T|QVR X, U, Q, V c (X{Q)~U{VVR X, U, Q, W c X{(U{Q)~WVR X, U, Q, X c (X~X)|(U{Q)VR X, U, R, P c (X{R)~U{PVR X, U, R, W c X~(U{R)|WVR X, U, S, T c (X{S)~U|TVR X, U, S, V c X~V{U{SVR X, U, T, Q c (X{U)~T|QVR X, U, T, S c (X{S)~U|TVR X, U, T, W c X~W{U|TVR X, U, U, W c X~W{UUVR X, U, V, Q c (X{Q)~U{VVR X, U, V, S c X~V{U{SVR X, U, V, W c X~W|U{VVR X, U, W, Q c X{(U{Q)~WVR X, U, W, R c X~(U{R)|WVR X, U, W, T c X~W{U|TVR X, U, W, U c X~W{UUVR X, U, W, V c X~W|U{VVR X, U, X, Q c (X~X)|(U{Q)VR X, V, P, P c X~(V{P){PVR X, V, P, R c (X{P)~V{RVR X, V, P, W c X{(V{P)~WVR X, V, P, X c X~V{P{XVR X, V, Q, S c (X{Q)~V|SVR X, V, Q, T c X~V{Q~TVR X, V, Q, U c (X{Q)~U{VVR X, V, Q, W c X~V{Q{WVR X, V, R, P c (X{P)~V{RVR X, V, R, V c X~V{R{VVR X, V, S, Q c (X{Q)~V|SVR X, V, S, T c X~T{V~SVR X, V, S, U c X~V{S{UVR X, V, S, X c (X{V)~S{XVR X, V, T, Q c X~V{T~QVR X, V, T, S c X~T{V~SVR X, V, T, T c X~V{T{TVR X, V, T, V c (X{V)~T|VVR X, V, U, Q c (X{Q)~U{VVR X, V, U, S c X~V{U{SVR X, V, U, W c X~W{V|UVR X, V, V, R c X~V{V{RVR X, V, V, T c (X{V)~T|VVR X, V, V, W c X~W{VVVR X, V, W, P c X{(V{P)~WVR X, V, W, Q c X~V{W{QVR X, V, W, U c X~W{V|UVR X, V, W, V c X~W{VVVR X, V, W, W c X{V~W{WVR X, V, X, P c X{V~X{PVR X, V, X, S c X{(V{X)~SVR X, W, O, P c X~W{O{PVR X, W, O, W c X{(W{O)~WVR X, W, O, X c (X{O)~X|WVR X, W, P, O c X~W{P{OVR X, W, P, P c X~W{P~PVR X, W, P, Q c X~W|P{QVR X, W, P, V c X{W~(P{V)VR X, W, P, W c X{W~P~WVR X, W, P, X c X~(W{PX)VR X, W, Q, P c X~W{Q|PVR X, W, Q, Q c X~W{QQVR X, W, Q, R c X~W|Q{RVR X, W, Q, S c X{W~Q~SVR X, W, Q, U c X{W~(Q{U)VR X, W, Q, V c X~(Q{V)|WVR X, W, R, Q c X~W{R|QVR X, W, R, R c X~W{RRVR X, W, R, S c X~W|R{SVR X, W, R, T c X{W~(R{T)VR X, W, R, U c X~(R{U)|WVR X, W, S, Q c X{W~S~QVR X, W, S, R c X~W{S|RVR X, W, S, S c X{W~(S{S)VR X, W, S, T c (X{W)~S{TVR X, W, S, W c X{(W{W)~SVR X, W, T, R c X{W~(T{R)VR X, W, T, S c X~W{T|SVR X, W, T, T c X~W{TTVR X, W, T, U c X~W|T{UVR X, W, U, Q c X{W~(U{Q)VR X, W, U, R c X~(U{R)|WVR X, W, U, T c X~W{U|TVR X, W, U, U c X~W{UUVR X, W, U, V c X~W|U{VVR X, W, V, P c X{W~(V{P)VR X, W, V, Q c X~V{W{QVR X, W, V, U c X~W{V|UVR X, W, V, V c X~W{VVVR X, W, V, W c X{W{V~WVR X, W, W, O c X{W~W{OVR X, W, W, P c X{W~W~PVR X, W, W, S c X{(W{W)~SVR X, W, W, V c X{W{W~VVR X, W, W, W c X~W{WWVR X, W, W, X c X|W{W~XVR X, W, X, O c X~X|W{OVR X, W, X, P c X{W~(X|P)VR X, W, X, W c X{W~X|WVR X, W, X, X c (X|WX)~XVR X, X, O, W c X~X{O|WVR X, X, P, P c X~(X|P){PVR X, X, P, S c (X{X)~S{PVR X, X, P, V c (X~X)|(P{V)VR X, X, P, W c X{(X|P)~WVR X, X, P, X c X~X{P|XVR X, X, Q, S c X~X|Q~SVR X, X, Q, U c (X~X)|(Q{U)VR X, X, R, T c (X~X)|(R{T)VR X, X, S, P c (X{X)~S{PVR X, X, S, Q c X~X|S~QVR X, X, S, S c (X~X)|(S{S)VR X, X, S, V c X{(X{V)~SVR X, X, T, R c (X~X)|(T{R)VR X, X, U, Q c (X~X)|(U{Q)VR X, X, V, P c X{X~V{PVR X, X, V, S c X{(X{V)~SVR X, X, W, O c X~X|W{OVR X, X, W, P c X~X|W~PVR X, X, W, W c X{X~W|WVR X, X, W, X c X~(X|WX)VR X, X, X, P c X~X|X{PVR X, X, X, W c XX{X~WVR