O, R, T, T c O{R~T~TVT O, R, W, X c O{R{W~XVT O, R, X, W c O{R{X~WVT O, T, R, T c O{T~R~TVT O, T, T, R c O{T~T~RVT O, T, U, X c (O{T)~(U{X)VT O, T, V, W c (O{T)~(V{W)VT O, T, W, V c (O{T)~(W{V)VT O, T, X, U c (O{T)~(X{U)VT O, U, T, X c (O{U{X)~TVT O, U, X, T c (O{U{X)~TVT O, U, X, X c O{X~X|UVT O, V, T, W c (O{V{W)~TVT O, V, W, T c (O{V{W)~TVT O, W, R, X c O{W~X{RVT O, W, T, V c (O{W{V)~TVT O, W, V, T c (O{W{V)~TVT O, W, X, R c O{W~X{RVT O, X, R, W c O{X~W{RVT O, X, T, U c (O{X{U)~TVT O, X, U, T c (O{X{U)~TVT O, X, U, X c O{X~X|UVT O, X, W, R c O{X~W{RVT O, X, X, U c O{X~X|UVT P, Q, T, T c (P{Q)~(T~T)VT P, Q, T, V c (P{Q~V)~TVT P, Q, T, W c (Q~W|P)~TVT P, Q, V, T c (P{Q~V)~TVT P, Q, W, T c (Q~W|P)~TVT P, Q, W, X c P{Q{W~XVT P, Q, X, W c P{Q{X~WVT P, R, R, W c (P{R~W)~RVT P, R, S, T c (P{S)~(R~T)VT P, R, S, U c (P{S~U)~RVT P, R, T, S c (P{S)~(R~T)VT P, R, T, T c P~R~T~TVT P, R, T, U c (R~T)~(U|P)VT P, R, U, S c (P{U~S)~RVT P, R, U, T c R~(U|P)~TVT P, R, V, X c (P{V)~X{RVT P, R, W, R c (P{R~W)~RVT P, R, W, W c (P{W)~W{RVT P, R, W, X c P~R{W~XVT P, R, X, V c (P{V)~X{RVT P, R, X, W c P~R{X~WVT P, R, X, X c R{(X|P)~XVT P, S, R, T c (P{S)~(R~T)VT P, S, R, U c (P{S~U)~RVT P, S, S, T c (S~S|P)~TVT P, S, T, R c (P{S)~(T~R)VT P, S, T, S c (S~S|P)~TVT P, S, T, T c (S|P)~(T~T)VT P, S, U, R c (P{S~U)~RVT P, S, U, X c (P{S)~(U{X)VT P, S, V, W c (P{S)~(V{W)VT P, S, W, V c (P{S)~(W{V)VT P, S, W, X c S|P{W~XVT P, S, X, U c (P{S)~(X{U)VT P, S, X, W c S|P{X~WVT P, T, Q, T c (P{Q)~(T~T)VT P, T, Q, V c (P{Q~V)~TVT P, T, Q, W c T~(Q~W|P)VT P, T, R, S c (P{S)~(T~R)VT P, T, R, T c P~T~R~TVT P, T, R, U c (T~R)~(U|P)VT P, T, S, R c (P{S)~(T~R)VT P, T, S, S c T~(S~S|P)VT P, T, S, T c T~(S|P)~TVT P, T, T, Q c (P{Q)~(T~T)VT P, T, T, R c P~T~T~RVT P, T, T, S c (T~T)~(S|P)VT P, T, T, X c (P{T{X)~TVT P, T, U, R c T~(U|P)~RVT P, T, U, W c (P{U{W)~TVT P, T, U, X c (P~T)~(U{X)VT P, T, V, Q c (P{V~Q)~TVT P, T, V, V c (P{V{V)~TVT P, T, V, W c (P~T)~(V{W)VT P, T, V, X c (P{X)~V{TVT P, T, W, Q c T~(W~Q|P)VT P, T, W, U c (P{W{U)~TVT P, T, W, V c (P~T)~(W{V)VT P, T, W, W c T~(W|P{W)VT P, T, W, X c (P{X)~W|TVT P, T, X, T c (P{T{X)~TVT P, T, X, U c (P~T)~(X{U)VT P, T, X, V c (P{X)~V{TVT P, T, X, W c (P{X)~W|TVT P, T, X, X c (X~X)|(P{T)VT P, U, R, S c (P{U~S)~RVT P, U, R, T c (U|P)~(R~T)VT P, U, S, R c (P{U~S)~RVT P, U, S, X c (P{S)~(U{X)VT P, U, T, R c (U|P)~(T~R)VT P, U, T, W c (P{U{W)~TVT P, U, T, X c (P~U{X)~TVT P, U, U, X c (U|P)~(U{X)VT P, U, V, W c (U|P)~(V{W)VT P, U, W, T c (P{U{W)~TVT P, U, W, V c (U|P)~(W{V)VT P, U, W, X c (P{W)~X|UVT P, U, X, S c (P{S)~(U{X)VT P, U, X, T c (P~U{X)~TVT P, U, X, U c (U|P)~(X{U)VT P, U, X, W c (P{W)~X|UVT P, U, X, X c P~X~X|UVT P, V, Q, T c (P{V~Q)~TVT P, V, R, X c (P{V)~X{RVT P, V, S, W c (P{S)~(V{W)VT P, V, T, Q c (P{V~Q)~TVT P, V, T, V c (P{V{V)~TVT P, V, T, W c (P~V{W)~TVT P, V, T, X c (P{X)~V{TVT P, V, U, W c (V{W)~(U|P)VT P, V, V, T c (P{V{V)~TVT P, V, W, S c (P{S)~(V{W)VT P, V, W, T c (P~V{W)~TVT P, V, W, U c (V{W)~(U|P)VT P, V, X, R c (P{V)~X{RVT P, V, X, T c (P{X)~V{TVT P, V, X, X c P{X~X|VVT P, W, Q, T c (W~Q|P)~TVT P, W, Q, X c P{W~X{QVT P, W, R, R c (P{W~R)~RVT P, W, R, W c (P{W)~W{RVT P, W, R, X c P~W~X{RVT P, W, S, V c (P{S)~(W{V)VT P, W, S, X c W~X|P{SVT P, W, T, Q c (W~Q|P)~TVT P, W, T, U c (P{W{U)~TVT P, W, T, V c (P~W{V)~TVT P, W, T, W c (W|P{W)~TVT P, W, T, X c (P{X)~W|TVT P, W, U, T c (P{W{U)~TVT P, W, U, V c (W{V)~(U|P)VT P, W, U, X c (P{W)~X|UVT P, W, V, S c (P{S)~(W{V)VT P, W, V, T c (P~W{V)~TVT P, W, V, U c (W{V)~(U|P)VT P, W, W, R c (P{W)~W{RVT P, W, W, T c (W|P{W)~TVT P, W, X, Q c P{W~X{QVT P, W, X, R c P~W~X{RVT P, W, X, S c W~X|P{SVT P, W, X, T c (P{X)~W|TVT P, W, X, U c (P{W)~X|UVT P, X, Q, W c P{X~W{QVT P, X, R, V c (P{V)~X{RVT P, X, R, W c P~X~W{RVT P, X, R, X c (X|P)~X{RVT P, X, S, U c (P{S)~(X{U)VT P, X, S, W c X~W|P{SVT P, X, T, T c (P{X{T)~TVT P, X, T, U c (P~X{U)~TVT P, X, T, V c (P{X)~V{TVT P, X, T, W c (P{X)~W|TVT P, X, T, X c (X~X)|(P{T)VT P, X, U, S c (P{S)~(X{U)VT P, X, U, T c (P~X{U)~TVT P, X, U, U c (X{U)~(U|P)VT P, X, U, W c (P{W)~X|UVT P, X, U, X c P~X~X|UVT P, X, V, R c (P{V)~X{RVT P, X, V, T c (P{X)~V{TVT P, X, V, X c P{X~X|VVT P, X, W, Q c P{X~W{QVT P, X, W, R c P~X~W{RVT P, X, W, S c X~W|P{SVT P, X, W, T c (P{X)~W|TVT P, X, W, U c (P{W)~X|UVT P, X, X, R c (X|P)~X{RVT P, X, X, T c (X~X)|(P{T)VT P, X, X, U c P~X~X|UVT P, X, X, V c P{X~X|VVT Q, P, T, T c (Q{P)~(T~T)VT Q, P, T, V c (Q~V{P)~TVT Q, P, T, W c (Q~W|P)~TVT Q, P, V, T c (Q~V{P)~TVT Q, P, W, T c (Q~W|P)~TVT Q, P, W, X c Q{P{W~XVT Q, P, X, W c Q{P{X~WVT Q, Q, V, X c (Q{X)~V|QVT Q, Q, X, V c (Q{X)~V|QVT Q, R, R, T c (Q{R)~(R~T)VT Q, R, R, X c R~(R~X|Q)VT Q, R, S, X c Q~S~X{RVT Q, R, T, R c (Q{R)~(T~R)VT Q, R, T, U c (Q~U{R)~TVT Q, R, T, V c (R~T)~(V|Q)VT Q, R, T, X c (Q~R{X)~TVT Q, R, U, T c (Q~U{R)~TVT Q, R, U, U c Q~U~U{RVT Q, R, U, X c (Q{R)~(U{X)VT Q, R, V, T c R~(V|Q)~TVT Q, R, V, W c (Q{R)~(V{W)VT Q, R, V, X c (Q~X{V)~RVT Q, R, W, V c (Q{R)~(W{V)VT Q, R, W, X c (Q~W{X)~RVT Q, R, X, R c (R~X|Q)~RVT Q, R, X, S c Q~X~S{RVT Q, R, X, T c (Q~R{X)~TVT Q, R, X, U c (Q{R)~(X{U)VT Q, R, X, V c (Q~X{V)~RVT Q, R, X, W c (Q~W{X)~RVT Q, R, X, X c (X|QR)~XVT Q, S, R, X c Q~S~X{RVT Q, S, T, V c (Q~S{V)~TVT Q, S, T, X c (Q{S{X)~TVT Q, S, V, T c (Q~S{V)~TVT Q, S, V, V c (S{V)~V|QVT Q, S, X, R c Q~S~X{RVT Q, S, X, T c (Q{S{X)~TVT Q, S, X, X c (X~X)|(Q{S)VT Q, T, P, T c (Q{P)~(T~T)VT Q, T, P, V c (Q~V{P)~TVT Q, T, P, W c (Q~W|P)~TVT Q, T, R, R c (Q{R)~(T~R)VT Q, T, R, U c (Q~U{R)~TVT Q, T, R, V c (T~R)~(V|Q)VT Q, T, R, X c (Q~R{X)~TVT Q, T, S, V c (Q~S{V)~TVT Q, T, S, X c (Q{S{X)~TVT Q, T, T, P c (Q{P)~(T~T)VT Q, T, T, T c (Q~T{T)~TVT Q, T, T, U c TQ~T~UVT Q, T, T, V c Q~T~V{TVT Q, T, T, W c (Q{T{W)~TVT Q, T, U, R c (Q~U{R)~TVT Q, T, U, T c TQ~U~TVT Q, T, U, V c (Q{U{V)~TVT Q, T, V, P c (Q~V{P)~TVT Q, T, V, R c T~(V|Q)~RVT Q, T, V, S c (Q~S{V)~TVT Q, T, V, T c Q~T~V{TVT Q, T, V, U c (Q{V{U)~TVT Q, T, V, W c (Q{W)~V{TVT Q, T, W, P c (Q~W|P)~TVT Q, T, W, T c (Q{T{W)~TVT Q, T, W, V c (Q{W)~V{TVT Q, T, W, W c (Q{W)~W|TVT Q, T, W, X c T|Q{W~XVT Q, T, X, R c (Q~X|R)~TVT Q, T, X, S c (Q{X{S)~TVT Q, T, X, W c T|Q{X~WVT Q, U, R, T c (Q~U{R)~TVT Q, U, R, U c Q~U~U{RVT Q, U, R, X c (Q{U)~X{RVT Q, U, T, R c (Q~U{R)~TVT Q, U, T, T c UQ~T~TVT Q, U, T, V c (Q{U{V)~TVT Q, U, U, R c Q~U~U{RVT Q, U, V, T c (Q{U{V)~TVT Q, U, V, X c Q~U{V~XVT Q, U, W, X c (QU{W)~XVT Q, U, X, R c (Q{U)~X{RVT Q, U, X, V c Q~U{X~VVT Q, U, X, W c (QU{W)~XVT Q, U, X, X c (Q{X)~U{XVT Q, V, P, T c (Q~V{P)~TVT Q, V, Q, X c (Q{X)~V|QVT Q, V, R, T c (V|Q)~(R~T)VT Q, V, R, W c (Q{V)~W{RVT Q, V, R, X c (Q~X{V)~RVT Q, V, S, T c (Q~S{V)~TVT Q, V, S, V c (V{S)~V|QVT Q, V, T, P c (Q~V{P)~TVT Q, V, T, R c (V|Q)~(T~R)VT Q, V, T, S c (Q~S{V)~TVT Q, V, T, T c Q~V~T{TVT Q, V, T, U c (Q{V{U)~TVT Q, V, T, W c (Q{W)~V{TVT Q, V, U, T c (Q{V{U)~TVT Q, V, U, X c Q~V~U|XVT Q, V, V, S c V~(V{S)|QVT Q, V, V, W c (V|Q)~(V{W)VT Q, V, W, R c (Q{V)~W{RVT Q, V, W, T c (Q{W)~V{TVT Q, V, W, V c (V|Q)~(W{V)VT Q, V, X, Q c (Q{X)~V|QVT Q, V, X, R c (Q~X{V)~RVT Q, V, X, U c (Q{V)~X|UVT Q, W, P, T c (Q~W|P)~TVT Q, W, P, X c Q{W~X{PVT Q, W, R, V c (Q{R)~(W{V)VT Q, W, R, X c (Q~W{X)~RVT Q, W, T, P c (Q~W|P)~TVT Q, W, T, T c (Q{W{T)~TVT Q, W, T, V c (Q{W)~V{TVT Q, W, T, W c (Q{W)~W|TVT Q, W, T, X c (W|Q{X)~TVT Q, W, U, X c (QU{W)~XVT Q, W, V, R c (Q{V)~W{RVT Q, W, V, T c (Q{W)~V{TVT Q, W, V, V c (W{V)~(V|Q)VT Q, W, W, T c (Q{W)~W|TVT Q, W, W, X c Q{W~W{XVT Q, W, X, P c Q{W~X{PVT Q, W, X, R c (Q~W{X)~RVT Q, W, X, T c (W|Q{X)~TVT Q, W, X, U c (QU{W)~XVT Q, W, X, W c Q{W~W{XVT Q, W, X, X c Q{X~X|WVT Q, X, P, W c Q{X~W{PVT Q, X, Q, V c (Q{X)~V|QVT Q, X, R, R c (X~R|Q)~RVT Q, X, R, S c Q~X~S{RVT Q, X, R, T c (Q~X|R)~TVT Q, X, R, U c (Q{R)~(X{U)VT Q, X, R, V c (Q~X{V)~RVT Q, X, R, W c (Q~W{X)~RVT Q, X, R, X c (X|QR)~XVT Q, X, S, R c Q~X~S{RVT Q, X, S, T c (Q{X{S)~TVT Q, X, S, X c (X~X)|(Q{S)VT Q, X, T, R c (Q~X|R)~TVT Q, X, T, S c (Q{X{S)~TVT Q, X, T, W c (X|Q{W)~TVT Q, X, U, R c (Q{U)~X{RVT Q, X, U, V c Q~U{X~VVT Q, X, U, W c (QU{W)~XVT Q, X, U, X c (Q{X)~U{XVT Q, X, V, Q c (Q{X)~V|QVT Q, X, V, R c (Q~X{V)~RVT Q, X, V, U c (Q{V)~X|UVT Q, X, W, P c Q{X~W{PVT Q, X, W, R c (Q~W{X)~RVT Q, X, W, T c (X|Q{W)~TVT Q, X, W, U c (QU{W)~XVT Q, X, W, W c Q{X{W~WVT Q, X, W, X c Q{X~X|WVT Q, X, X, R c (X|QR)~XVT Q, X, X, S c (X~X)|(Q{S)VT Q, X, X, U c (Q{X)~U{XVT Q, X, X, W c Q{X~X|WVT R, O, T, T c (R{O)~(T~T)VT R, O, W, X c R{O{W~XVT R, O, X, W c R{O{X~WVT R, P, R, W c R~(P{R~W)VT R, P, S, T c R~(P{S)~TVT R, P, S, U c R~(P{S~U)VT R, P, T, S c R~(P{S)~TVT R, P, T, T c R~P~T~TVT R, P, T, U c (R~T)~(U|P)VT R, P, U, S c R~(P{U~S)VT R, P, U, T c R~(U|P)~TVT R, P, V, X c R{(P{V)~XVT R, P, W, R c R~(P{W~R)VT R, P, W, W c R{(P{W)~WVT R, P, W, X c R{P~W~XVT R, P, X, V c R{(P{V)~XVT R, P, X, W c R{P~X~WVT R, P, X, X c R{(X|P)~XVT R, Q, R, T c (R{Q)~(R~T)VT R, Q, R, X c R~(R~X|Q)VT R, Q, S, X c R{Q~S~XVT R, Q, T, R c (R{Q)~(T~R)VT R, Q, T, U c (R{Q~U)~TVT R, Q, T, V c (R~T)~(V|Q)VT R, Q, T, X c (R~Q{X)~TVT R, Q, U, T c (R{Q~U)~TVT R, Q, U, U c R{Q~U~UVT R, Q, U, X c R{(Q{U)~XVT R, Q, V, T c R~(V|Q)~TVT R, Q, V, W c R{(Q{V)~WVT R, Q, V, X c R~(Q~X{V)VT R, Q, W, V c (R{Q)~(W{V)VT R, Q, W, X c R~(Q~W{X)VT R, Q, X, R c (R~X|Q)~RVT R, Q, X, S c R{Q~X~SVT R, Q, X, T c (R~Q{X)~TVT R, Q, X, U c (R{Q)~(X{U)VT R, Q, X, V c R~(Q~X{V)VT R, Q, X, W c R~(Q~W{X)VT R, Q, X, X c (X|QR)~XVT R, R, P, W c R~(R~W{P)VT R, R, Q, T c R~(R{Q)~TVT R, R, Q, X c R~(R~X|Q)VT R, R, R, W c R{R~R~WVT R, R, S, T c (R{R~S)~TVT R, R, S, U c R{R~S~UVT R, R, S, V c R~(R~V{S)VT R, R, T, Q c R~(R{Q)~TVT R, R, T, S c (R{R~S)~TVT R, R, T, U c (R~R{U)~TVT R, R, T, W c (R~T)~(W|R)VT R, R, T, X c R{(R{T)~XVT R, R, U, S c R{R~U~SVT R, R, U, T c (R~R{U)~TVT R, R, U, V c R~(R~U{V)VT R, R, U, W c R{(R{U)~WVT R, R, U, X c R{(R{X)~UVT R, R, V, S c R~(R~V{S)VT R, R, V, U c R~(R~U{V)VT R, R, W, P c R~(R~W{P)VT R, R, W, R c R{R~W~RVT R, R, W, T c R~(W|R)~TVT R, R, W, U c R{(R{U)~WVT R, R, X, Q c R~(R~X|Q)VT R, R, X, T c (R{R{X)~TVT R, R, X, U c R{(R{X)~UVT R, R, X, X c (X~X)|(R{R)VT R, S, P, T c R~(S{P)~TVT R, S, P, U c R~(S~U{P)VT R, S, Q, X c R{S~Q~XVT R, S, R, T c (R{S~R)~TVT R, S, R, U c R{S~R~UVT R, S, R, V c R~(S{R~V)VT R, S, S, X c R{(S{S)~XVT R, S, T, P c R~(S{P)~TVT R, S, T, R c (R{S~R)~TVT R, S, T, T c R~(S~T{T)VT R, S, T, W c R{(S{T)~WVT R, S, T, X c (R~T)~(X|S)VT R, S, U, P c R~(S~U{P)VT R, S, U, R c R{S~U~RVT R, S, U, W c R{(S{W)~UVT R, S, U, X c (S{X)~U|RVT R, S, V, R c R~(S{V~R)VT R, S, V, W c R~(S~W|V)VT R, S, V, X c R~S{V~XVT R, S, W, T c (R{S{W)~TVT R, S, W, U c R{(S{W)~UVT R, S, W, V c R~(S~W|V)VT R, S, X, Q c R{S~X~QVT R, S, X, S c R{(S{S)~XVT R, S, X, T c R~(X|S)~TVT R, S, X, U c (S{X)~U|RVT R, S, X, V c R~S{X~VVT R, S, X, X c R{S~(X{X)VT R, T, O, T c (R~T{O)~TVT R, T, P, S c (R~T)~(P{S)VT R, T, P, T c R~T~P~TVT R, T, P, U c (R~T)~(U|P)VT R, T, Q, R c (R~T)~(Q{R)VT R, T, Q, U c (R{Q~U)~TVT R, T, Q, V c (R~T)~(V|Q)VT R, T, Q, X c (R~Q{X)~TVT R, T, R, Q c (R~T)~(R{Q)VT R, T, R, S c (R{R~S)~TVT R, T, R, U c (R~R{U)~TVT R, T, R, W c (R~T)~(W|R)VT R, T, R, X c R{(T{R)~XVT R, T, S, P c (R~T)~(S{P)VT R, T, S, R c (R{S~R)~TVT R, T, S, T c R~(T{S~T)VT R, T, S, W c R{(T{S)~WVT R, T, S, X c (R~T)~(X|S)VT R, T, T, O c R~T~T{OVT R, T, T, P c R~T~T~PVT R, T, T, S c R~(T{T~S)VT R, T, T, U c R~(T~U|T)VT R, T, T, V c (R{T{V)~TVT R, T, T, X c TR~T~XVT R, T, U, P c (R~T)~(U|P)VT R, T, U, Q c (R{U~Q)~TVT R, T, U, R c (R~U|R)~TVT R, T, U, T c R~(T~U|T)VT R, T, U, U c (R{U{U)~TVT R, T, U, V c R{(T{V)~UVT R, T, U, W c (T{W)~U|RVT R, T, V, Q c (R~T)~(V|Q)VT R, T, V, T c (R{T{V)~TVT R, T, V, U c R{(T{V)~UVT R, T, V, V c (R{V)~V{TVT R, T, V, W c (R{V)~W|TVT R, T, W, R c (R~T)~(W|R)VT R, T, W, S c R{(T{S)~WVT R, T, W, U c (T{W)~U|RVT R, T, W, V c (R{V)~W|TVT R, T, W, X c (R~W|X)~TVT R, T, X, Q c (R~Q{X)~TVT R, T, X, R c (R{T)~X{RVT R, T, X, S c (R~T)~(X|S)VT R, T, X, T c TR~X~TVT R, T, X, W c (R~W|X)~TVT R, T, X, X c T~(X|R{X)VT R, U, P, S c R~(U~S{P)VT R, U, P, T c R~(U|P)~TVT R, U, Q, T c (R{U~Q)~TVT R, U, Q, U c R{U~Q~UVT R, U, Q, X c R{(U{Q)~XVT R, U, R, S c R{U~R~SVT R, U, R, T c (R~U|R)~TVT R, U, R, V c R~(U~R{V)VT R, U, R, W c R{(U{R)~WVT R, U, R, X c R{U~(R{X)VT R, U, S, P c R~(U~S{P)VT R, U, S, R c R{U~S~RVT R, U, S, W c R{U~(S{W)VT R, U, S, X c U~(S{X)|RVT R, U, T, P c R~(U|P)~TVT R, U, T, Q c (R{U~Q)~TVT R, U, T, R c (R~U|R)~TVT R, U, T, T c R~(U~T|T)VT R, U, T, U c (R{U{U)~TVT R, U, T, V c R{U~(T{V)VT R, U, T, W c U~(T{W)|RVT R, U, U, Q c R{U~U~QVT R, U, U, T c (R{U{U)~TVT R, U, U, U c R{(U{U)~UVT R, U, U, V c U~(U{V)|RVT R, U, U, X c (R{U)~X|UVT R, U, V, R c (R~U{V)~RVT R, U, V, T c R{U~(V{T)VT R, U, V, U c (U{V)~U|RVT R, U, V, X c R~V{U~XVT R, U, W, R c (R{U)~W{RVT R, U, W, S c R{U~(W{S)VT R, U, W, T c U~(W{T)|RVT R, U, W, X c (R{W)~U{XVT R, U, X, Q c R{(U{Q)~XVT R, U, X, R c R{U~(X{R)VT R, U, X, S c U~(X{S)|RVT R, U, X, U c (R{U)~X|UVT R, U, X, V c R~V{U~XVT R, U, X, W c R~X{U~WVT R, V, P, X c R{(V{P)~XVT R, V, Q, T c R~(V|Q)~TVT R, V, Q, W c R{(V{Q)~WVT R, V, Q, X c R~(V{Q~X)VT R, V, R, S c R~(V~R{S)VT R, V, R, U c R~(V{R~U)VT R, V, S, R c (R~V{S)~RVT R, V, S, W c R~(S~W|V)VT R, V, S, X c R~V~S|XVT R, V, T, Q c R~(V|Q)~TVT R, V, T, T c (R{V{T)~TVT R, V, T, U c R{(V{T)~UVT R, V, T, V c (R{V)~V{TVT R, V, T, W c (R{V)~W|TVT R, V, U, R c R~(V{U~R)VT R, V, U, T c (R~V|U)~TVT R, V, U, U c (V{U)~U|RVT R, V, U, X c R~V{U~XVT R, V, V, T c (R{V)~V{TVT R, V, W, Q c R{(V{Q)~WVT R, V, W, S c R~(W~S|V)VT R, V, W, T c (R{V)~W|TVT R, V, W, W c (V{W)~(W|R)VT R, V, X, P c R{(V{P)~XVT R, V, X, Q c R~(V{X~Q)VT R, V, X, S c R~V~S|XVT R, V, X, U c R~V{X~UVT R, V, X, X c R{V~X{XVT R, W, O, X c R{(W{O)~XVT R, W, P, R c (R~W{P)~RVT R, W, P, W c R{(W{P)~WVT R, W, P, X c R{W~P~XVT R, W, Q, V c R{W~(Q{V)VT R, W, Q, X c R~(W~Q{X)VT R, W, R, P c R~(W~R{P)VT R, W, R, R c R{W~R~RVT R, W, R, T c R~(W|R)~TVT R, W, R, U c R{W~(R{U)VT R, W, S, T c (R{W{S)~TVT R, W, S, U c R{(W{S)~UVT R, W, S, V c R~(W~S|V)VT R, W, T, R c R~(W|R)~TVT R, W, T, S c R{W~(T{S)VT R, W, T, U c (W{T)~U|RVT R, W, T, V c (R{V)~W|TVT R, W, T, X c (R~W|X)~TVT R, W, U, R c R{W~(U{R)VT R, W, U, S c R{(W{S)~UVT R, W, U, T c (W{T)~U|RVT R, W, U, X c (R{W)~U{XVT R, W, V, Q c R{W~(V{Q)VT R, W, V, S c R~(W~S|V)VT R, W, V, T c (R{V)~W|TVT R, W, V, W c (W|R)~(V{W)VT R, W, W, P c R{W~(W{P)VT R, W, W, V c (W|R)~(W{V)VT R, W, W, W c R{W{W~WVT R, W, W, X c R~(W{W{X)VT R, W, X, O c R{W~X{OVT R, W, X, P c R{W~X~PVT R, W, X, Q c R~(W~Q{X)VT R, W, X, T c (R~W|X)~TVT R, W, X, U c (R{W)~U{XVT R, W, X, W c R~(W{X{W)VT R, W, X, X c (RX{W)~XVT R, X, O, W c R{(X{O)~WVT R, X, P, V c R{X~(P{V)VT R, X, P, W c R{X~P~WVT R, X, P, X c R{(X|P)~XVT R, X, Q, R c (R~X|Q)~RVT R, X, Q, S c R{X~Q~SVT R, X, Q, T c (R~Q{X)~TVT R, X, Q, U c R{X~(Q{U)VT R, X, Q, V c R~(X~Q{V)VT R, X, Q, W c R~(X{Q~W)VT R, X, Q, X c (X|QR)~XVT R, X, R, Q c R~(X~R|Q)VT R, X, R, T c (R{X{R)~TVT R, X, R, U c R{(X{R)~UVT R, X, R, X c (X~X)|(R{R)VT R, X, S, Q c R{X~S~QVT R, X, S, S c R{X~(S{S)VT R, X, S, T c R~(X|S)~TVT R, X, S, U c (X{S)~U|RVT R, X, S, V c R~S{X~VVT R, X, S, X c R{(X{X)~SVT R, X, T, Q c (R~Q{X)~TVT R, X, T, R c R{X~(T{R)VT R, X, T, S c R~(X|S)~TVT R, X, T, T c XR~T~TVT R, X, T, W c (R~W|X)~TVT R, X, T, X c (X|R{X)~TVT R, X, U, Q c R{X~(U{Q)VT R, X, U, R c (R{X)~U{RVT R, X, U, S c (X{S)~U|RVT R, X, U, U c (R{U)~X|UVT R, X, U, V c R~V{X~UVT R, X, U, W c R~X{U~WVT R, X, V, P c R{X~(V{P)VT R, X, V, Q c R~(X~Q{V)VT R, X, V, S c R~V~S|XVT R, X, V, U c R~V{X~UVT R, X, V, X c R{X{V~XVT R, X, W, O c R{X~W{OVT R, X, W, P c R{X~W~PVT R, X, W, Q c R~(X{W~Q)VT R, X, W, T c (R~W|X)~TVT R, X, W, U c R~X{W~UVT R, X, W, W c R~(X{W{W)VT R, X, W, X c (RX{W)~XVT R, X, X, P c R{X~(X|P)VT R, X, X, Q c X~X|R~QVT R, X, X, R c (X~X)|(R{R)VT R, X, X, S c R{(X{X)~SVT R, X, X, T c (X|R{X)~TVT R, X, X, V c R{X{X~VVT R, X, X, W c (RX{W)~XVT R, X, X, X c R{X~X|XVT S, P, R, T c (S{P)~(R~T)VT S, P, R, U c (S~U{P)~RVT S, P, S, T c (S~S|P)~TVT S, P, T, R c (S{P)~(T~R)VT S, P, T, S c (S~S|P)~TVT S, P, T, T c (S|P)~(T~T)VT S, P, U, R c (S~U{P)~RVT S, P, U, X c (S{P)~(U{X)VT S, P, V, W c (S{P)~(V{W)VT S, P, W, V c (S{P)~(W{V)VT S, P, W, X c S|P{W~XVT S, P, X, U c (S{P)~(X{U)VT S, P, X, W c S|P{X~WVT S, Q, R, X c S~Q~X{RVT S, Q, T, V c (S~Q{V)~TVT S, Q, T, X c (S{Q{X)~TVT S, Q, V, T c (S~Q{V)~TVT S, Q, V, V c (S{V)~V|QVT S, Q, X, R c S~Q~X{RVT S, Q, X, T c (S{Q{X)~TVT S, Q, X, X c (X~X)|(S{Q)VT S, R, P, T c (S{P)~(R~T)VT S, R, P, U c (S~U{P)~RVT S, R, Q, X c S~Q~X{RVT S, R, R, T c (S~R{R)~TVT S, R, R, U c S~R~U{RVT S, R, R, V c (S{R~V)~RVT S, R, S, X c (S{S)~X{RVT S, R, T, P c (S{P)~(R~T)VT S, R, T, R c (S~R{R)~TVT S, R, T, T c (S~T{T)~RVT S, R, T, W c (S{R{W)~TVT S, R, T, X c (R~T)~(X|S)VT S, R, U, P c (S~U{P)~RVT S, R, U, R c S~R~U{RVT S, R, U, W c (S{W)~U{RVT S, R, U, X c (S{X)~U|RVT S, R, V, R c (S{R~V)~RVT S, R, V, W c (S~W|V)~RVT S, R, V, X c S~R{V~XVT S, R, W, T c (S{R{W)~TVT S, R, W, U c (S{W)~U{RVT S, R, W, V c (S~W|V)~RVT S, R, X, Q c S~X~Q{RVT S, R, X, S c (S{S)~X{RVT S, R, X, T c R~(X|S)~TVT S, R, X, U c (S{X)~U|RVT S, R, X, V c S~R{X~VVT S, R, X, X c S~(X{X){RVT S, S, P, T c (S~S|P)~TVT S, S, R, X c (S{S)~X{RVT S, S, T, P c (S~S|P)~TVT S, S, T, T c S~S~T|TVT S, S, T, V c (S{S{V)~TVT S, S, V, T c (S{S{V)~TVT S, S, X, R c (S{S)~X{RVT S, T, P, R c (S{P)~(T~R)VT S, T, P, S c (S~S|P)~TVT S, T, P, T c (S|P)~(T~T)VT S, T, Q, V c (S~Q{V)~TVT S, T, Q, X c (S{Q{X)~TVT S, T, R, P c (S{P)~(T~R)VT S, T, R, R c (S~R{R)~TVT S, T, R, T c (S~T{T)~RVT S, T, R, W c (S{T)~W{RVT S, T, R, X c (T~R)~(X|S)VT S, T, S, P c (S~S|P)~TVT S, T, S, T c S~T~S|TVT S, T, S, V c (S{S{V)~TVT S, T, T, P c (S|P)~(T~T)VT S, T, T, R c (S~T{T)~RVT S, T, T, S c S~T~S|TVT S, T, T, T c (S~T|T)~TVT S, T, T, U c (S{T{U)~TVT S, T, T, V c (T~T)~(V|S)VT S, T, U, T c (S{T{U)~TVT S, T, U, V c (S{U)~V{TVT S, T, U, W c (S{U)~W|TVT S, T, U, X c (S{T)~X|UVT S, T, V, Q c (S~Q{V)~TVT S, T, V, S c (S{V{S)~TVT S, T, V, T c T~(V|S)~TVT S, T, V, U c (S{U)~V{TVT S, T, W, R c (S{T)~W{RVT S, T, W, U c (S{U)~W|TVT S, T, X, Q c (S{X{Q)~TVT S, T, X, R c T~(X|S)~RVT S, T, X, U c (S{T)~X|UVT S, U, P, R c (S~U{P)~RVT S, U, P, X c (S{P)~(U{X)VT S, U, R, P c (S~U{P)~RVT S, U, R, R c S~U~R{RVT S, U, R, W c (S{W)~U{RVT S, U, R, X c (S{X)~U|RVT S, U, T, T c (S{U{T)~TVT S, U, T, V c (S{U)~V{TVT S, U, T, W c (S{U)~W|TVT S, U, T, X c (S~U|X)~TVT S, U, V, T c (S{U)~V{TVT S, U, V, X c (S{V)~U{XVT S, U, W, R c (S{W)~U{RVT S, U, W, T c (S{U)~W|TVT S, U, X, P c (S{P)~(U{X)VT S, U, X, R c (S{X)~U|RVT S, U, X, T c (S~U|X)~TVT S, U, X, V c (S{V)~U{XVT S, U, X, X c (U{X)~(X|S)VT S, V, P, W c (S{P)~(V{W)VT S, V, Q, T c (S~Q{V)~TVT S, V, Q, V c (S{V)~V|QVT S, V, R, R c (S{V~R)~RVT S, V, R, W c (S~W|V)~RVT S, V, R, X c S~V~R|XVT S, V, S, T c (S{V{S)~TVT S, V, T, Q c (S~Q{V)~TVT S, V, T, S c (S{V{S)~TVT S, V, T, T c (V|S)~(T~T)VT S, V, T, U c (S{U)~V{TVT S, V, U, T c (S{U)~V{TVT S, V, U, X c (S{V)~U{XVT S, V, V, Q c (S{V)~V|QVT S, V, W, P c (S{P)~(V{W)VT S, V, W, R c (S~W|V)~RVT S, V, W, W c S{V{W~WVT S, V, W, X c S{V~X{WVT S, V, X, R c S~V~R|XVT S, V, X, U c (S{V)~U{XVT S, V, X, W c S{V~X{WVT S, W, P, V c (S{P)~(W{V)VT S, W, P, X c S{W~X|PVT S, W, R, T c (S{W{R)~TVT S, W, R, U c (S{W)~U{RVT S, W, R, V c (S~W|V)~RVT S, W, T, R c (S{W{R)~TVT S, W, T, U c (S{U)~W|TVT S, W, U, R c (S{W)~U{RVT S, W, U, T c (S{U)~W|TVT S, W, V, P c (S{P)~(W{V)VT S, W, V, R c (S~W|V)~RVT S, W, V, W c S{W~W{VVT S, W, V, X c S{W{V~XVT S, W, W, V c S{W~W{VVT S, W, X, P c S{W~X|PVT S, W, X, V c S{W{X~VVT S, X, P, U c (S{P)~(X{U)VT S, X, P, W c S{X~W|PVT S, X, Q, R c S~X~Q{RVT S, X, Q, T c (S{X{Q)~TVT S, X, Q, X c (X~X)|(S{Q)VT S, X, R, Q c S~X~Q{RVT S, X, R, S c (S{S)~X{RVT S, X, R, T c (X|S)~(R~T)VT S, X, R, U c (S{X)~U|RVT S, X, R, V c S~R{X~VVT S, X, R, X c S~(X{X){RVT S, X, S, R c (S{S)~X{RVT S, X, T, Q c (S{X{Q)~TVT S, X, T, R c (X|S)~(T~R)VT S, X, T, U c (S{T)~X|UVT S, X, U, P c (S{P)~(X{U)VT S, X, U, R c (S{X)~U|RVT S, X, U, T c (S~U|X)~TVT S, X, U, V c (S{V)~U{XVT S, X, U, X c (X|S)~(U{X)VT S, X, V, R c S~V~R|XVT S, X, V, U c (S{V)~U{XVT S, X, V, W c S{X~V{WVT S, X, W, P c S{X~W|PVT S, X, W, V c S~(X{W){VVT S, X, X, Q c (X~X)|(S{Q)VT S, X, X, R c S~(X{X){RVT S, X, X, U c (X|S)~(X{U)VT T, O, R, T c (T{O)~(R~T)VT T, O, T, R c (T{O)~(T~R)VT T, O, U, X c (T{O)~(U{X)VT T, O, V, W c (T{O)~(V{W)VT T, O, W, V c (T{O)~(W{V)VT T, O, X, U c (T{O)~(X{U)VT T, P, Q, T c T~(P{Q)~TVT T, P, Q, V c T~(P{Q~V)VT T, P, Q, W c T~(Q~W|P)VT T, P, R, S c T~(P{S)~RVT T, P, R, T c T~P~R~TVT T, P, R, U c (T~R)~(U|P)VT T, P, S, R c T~(P{S)~RVT T, P, S, S c T~(S~S|P)VT T, P, S, T c T~(S|P)~TVT T, P, T, Q c T~(P{Q)~TVT T, P, T, R c T~P~T~RVT T, P, T, S c (T~T)~(S|P)VT T, P, T, X c T~(P{T{X)VT T, P, U, R c T~(U|P)~RVT T, P, U, W c T~(P{U{W)VT T, P, U, X c (T~P)~(U{X)VT T, P, V, Q c T~(P{V~Q)VT T, P, V, V c T~(P{V{V)VT T, P, V, W c (T~P)~(V{W)VT T, P, V, X c T{(P{X)~VVT T, P, W, Q c T~(W~Q|P)VT T, P, W, U c T~(P{W{U)VT T, P, W, V c (T~P)~(W{V)VT T, P, W, W c T~(W|P{W)VT T, P, W, X c (P{X)~W|TVT T, P, X, T c (T{P{X)~TVT T, P, X, U c (T~P)~(X{U)VT T, P, X, V c T{(P{X)~VVT T, P, X, W c (P{X)~W|TVT T, P, X, X c (X~X)|(T{P)VT T, Q, P, T c T~(Q{P)~TVT T, Q, P, V c T~(Q~V{P)VT T, Q, P, W c T~(Q~W|P)VT T, Q, R, R c T~(Q{R)~RVT T, Q, R, U c T~(Q~U{R)VT T, Q, R, V c (T~R)~(V|Q)VT T, Q, R, X c T~(Q~R{X)VT T, Q, S, V c T~(Q~S{V)VT T, Q, S, X c T~(Q{S{X)VT T, Q, T, P c T~(Q{P)~TVT T, Q, T, T c (T{Q~T)~TVT T, Q, T, U c TQ~T~UVT T, Q, T, V c T{Q~T~VVT T, Q, T, W c T~(Q{T{W)VT T, Q, U, R c T~(Q~U{R)VT T, Q, U, T c TQ~U~TVT T, Q, U, V c T~(Q{U{V)VT T, Q, V, P c T~(Q~V{P)VT T, Q, V, R c T~(V|Q)~RVT T, Q, V, S c T~(Q~S{V)VT T, Q, V, T c T{Q~V~TVT T, Q, V, U c T~(Q{V{U)VT T, Q, V, W c T{(Q{W)~VVT T, Q, W, P c T~(Q~W|P)VT T, Q, W, T c (T{Q{W)~TVT T, Q, W, V c T{(Q{W)~VVT T, Q, W, W c (Q{W)~W|TVT T, Q, W, X c T|Q{W~XVT T, Q, X, R c T~(Q~X|R)VT T, Q, X, S c T~(Q{X{S)VT T, Q, X, W c T|Q{X~WVT T, R, O, T c (T~R{O)~TVT T, R, P, S c (T~R)~(P{S)VT T, R, P, T c T~R~P~TVT T, R, P, U c (T~R)~(U|P)VT T, R, Q, R c T~(R{Q)~RVT T, R, Q, U c T~(R{Q~U)VT T, R, Q, V c (T~R)~(V|Q)VT T, R, Q, X c T~(R~Q{X)VT T, R, R, Q c (T~R)~(R{Q)VT T, R, R, S c T~(R{R~S)VT T, R, R, U c T~(R~R{U)VT T, R, R, W c (T~R)~(W|R)VT T, R, R, X c T~(R{R{X)VT T, R, S, P c (T~R)~(S{P)VT T, R, S, R c T~(R{S~R)VT T, R, S, T c (T{S~T)~RVT T, R, S, W c T~(R{S{W)VT T, R, S, X c (T~R)~(X|S)VT T, R, T, O c T~R~T{OVT T, R, T, P c T~R~T~PVT T, R, T, S c (T{T~S)~RVT T, R, T, U c (T~T)~(U|R)VT T, R, T, V c T~(R{T{V)VT T, R, T, X c TR~T~XVT T, R, U, P c (T~R)~(U|P)VT T, R, U, Q c T~(R{U~Q)VT T, R, U, R c T~(R~U|R)VT T, R, U, T c T~(U|R)~TVT T, R, U, U c T~(R{U{U)VT T, R, U, V c T~(R~V|U)VT T, R, U, W c (T{W)~U|RVT T, R, V, Q c (T~R)~(V|Q)VT T, R, V, T c (T{R{V)~TVT T, R, V, U c T~(R~V|U)VT T, R, V, V c T{(R{V)~VVT T, R, V, W c (R{V)~W|TVT T, R, W, R c (T~R)~(W|R)VT T, R, W, S c T~(R{W{S)VT T, R, W, U c (T{W)~U|RVT T, R, W, V c (R{V)~W|TVT T, R, W, X c T~(R~W|X)VT T, R, X, Q c T~(R~Q{X)VT T, R, X, R c (T{R)~X{RVT T, R, X, S c (T~R)~(X|S)VT T, R, X, T c TR~X~TVT T, R, X, W c T~(R~W|X)VT T, R, X, X c T~(X|R{X)VT T, S, P, R c T~(S{P)~RVT T, S, P, S c T~(S~S|P)VT T, S, P, T c T~(S|P)~TVT T, S, Q, V c T~(S~Q{V)VT T, S, Q, X c T~(S{Q{X)VT T, S, R, P c T~(S{P)~RVT T, S, R, R c T~(S~R{R)VT T, S, R, T c (T{S~T)~RVT T, S, R, W c T~(S{R{W)VT T, S, R, X c (T~R)~(X|S)VT T, S, S, P c T~(S~S|P)VT T, S, S, T c T~S~S|TVT T, S, S, V c T~(S{S{V)VT T, S, T, P c T~(S|P)~TVT T, S, T, R c (T{S~T)~RVT T, S, T, S c T~S~S|TVT T, S, T, T c (T~S|T)~TVT T, S, T, U c T~(S{T{U)VT T, S, T, V c (T~T)~(V|S)VT T, S, U, T c (T{S{U)~TVT T, S, U, V c T{(S{U)~VVT T, S, U, W c (S{U)~W|TVT T, S, U, X c T~(S~U|X)VT T, S, V, Q c T~(S~Q{V)VT T, S, V, S c T~(S{V{S)VT T, S, V, T c T~(V|S)~TVT T, S, V, U c T{(S{U)~VVT T, S, W, R c (T{S)~W{RVT T, S, W, U c (S{U)~W|TVT T, S, X, Q c T~(S{X{Q)VT T, S, X, R c T~(X|S)~RVT T, S, X, U c (T{S)~X|UVT T, T, O, R c (T~T{O)~RVT T, T, P, Q c (T~T)~(P{Q)VT T, T, P, R c T~T~P~RVT T, T, P, S c (T~T)~(S|P)VT T, T, P, X c T~(T{P{X)VT T, T, Q, P c (T~T)~(Q{P)VT T, T, Q, T c (T{T~Q)~TVT T, T, Q, U c T~TQ~UVT T, T, Q, V c T{T~Q~VVT T, T, Q, W c T~(T{Q{W)VT T, T, R, O c T~T~R{OVT T, T, R, P c T~T~R~PVT T, T, R, S c (T{T~S)~RVT T, T, R, U c (T~T)~(U|R)VT T, T, R, V c T~(T{R{V)VT T, T, R, X c T~TR~XVT T, T, S, P c (T~T)~(S|P)VT T, T, S, R c (T{T~S)~RVT T, T, S, S c T~S~S|TVT T, T, S, T c T~(T~S|T)VT T, T, S, U c T~(T{S{U)VT T, T, S, V c (T~T)~(V|S)VT T, T, T, Q c T~(T{T~Q)VT T, T, T, S c T~(T~S|T)VT T, T, T, T c (T{T{T)~TVT T, T, T, V c T{(T{T)~VVT T, T, T, W c (T{T)~W|TVT T, T, T, X c T{T~(T{X)VT T, T, U, Q c T~T~UQVT T, T, U, R c (T~T)~(U|R)VT T, T, U, S c T~(T{U{S)VT T, T, U, W c T{T~(U{W)VT T, T, U, X c (T~T)~(X|U)VT T, T, V, Q c T{T~V~QVT T, T, V, R c T~(T{V{R)VT T, T, V, S c (T~T)~(V|S)VT T, T, V, T c (T{T)~V{TVT T, T, V, V c T{T~(V{V)VT T, T, V, W c T~V{T~WVT T, T, V, X c T~(V{X)|TVT T, T, W, Q c T~(T{W{Q)VT T, T, W, T c (T{T)~W|TVT T, T, W, U c T{T~(W{U)VT T, T, W, V c T~W{T~VVT T, T, W, W c T~(W{W)|TVT T, T, X, P c T~(T{X{P)VT T, T, X, R c T~T~XRVT T, T, X, T c T{(T{X)~TVT T, T, X, U c (T~T)~(X|U)VT T, T, X, V c T~(X{V)|TVT T, U, O, X c T~(U{O{X)VT T, U, P, R c T~(U|P)~RVT T, U, P, W c T~(U{P{W)VT T, U, P, X c T~(U{P~X)VT T, U, Q, R c T~(U~Q{R)VT T, U, Q, T c T~UQ~TVT T, U, Q, V c T~(U{Q{V)VT T, U, R, P c T~(U|P)~RVT T, U, R, Q c T~(U~Q{R)VT T, U, R, R c T~(U{R~R)VT T, U, R, T c T~(U|R)~TVT T, U, R, U c T~(U{R{U)VT T, U, R, V c T~(R~V|U)VT T, U, R, W c (T{W)~U|RVT T, U, S, T c (T{U{S)~TVT T, U, S, V c T{(U{S)~VVT T, U, S, W c (U{S)~W|TVT T, U, S, X c T~(U~S|X)VT T, U, T, Q c T~U~TQVT T, U, T, R c (T~U|T)~RVT T, U, T, S c T~(U{T{S)VT T, U, T, W c T{(U{W)~TVT T, U, T, X c T~U{T~XVT T, U, U, R c T~(U{U{R)VT T, U, U, X c (T{U)~U{XVT T, U, V, Q c (T{U)~V|QVT T, U, V, R c (T{V)~U{RVT T, U, V, S c T{(U{S)~VVT T, U, W, P c T~(U{W{P)VT T, U, W, R c (T{W)~U|RVT T, U, W, S c (U{S)~W|TVT T, U, W, T c T{(U{W)~TVT T, U, W, W c T{U{W~WVT T, U, X, O c T~(U{X){OVT T, U, X, P c T~(U{X)~PVT T, U, X, S c T~(U~S|X)VT T, U, X, T c T~U{X~TVT T, U, X, U c (T{U)~U{XVT T, U, X, X c (T{X)~U|XVT T, V, O, W c T~(V{O{W)VT T, V, P, Q c T~(V~Q{P)VT T, V, P, V c T~(V{P{V)VT T, V, P, W c T~(V{P~W)VT T, V, P, X c T{V~(P{X)VT T, V, Q, P c T~(V~Q{P)VT T, V, Q, R c T~(V|Q)~RVT T, V, Q, S c T~(V{Q~S)VT T, V, Q, T c T{V~Q~TVT T, V, Q, U c T~(V{Q{U)VT T, V, Q, W c T{V~(Q{W)VT T, V, R, Q c T~(V|Q)~RVT T, V, R, T c (T{V{R)~TVT T, V, R, U c T~(V~R|U)VT T, V, R, V c T{(V{R)~VVT T, V, R, W c (V{R)~W|TVT T, V, S, Q c T~(V{S~Q)VT T, V, S, S c T~(V{S{S)VT T, V, S, T c T~(V|S)~TVT T, V, S, U c T{V~(S{U)VT T, V, T, Q c T{V~T~QVT T, V, T, R c T~(V{T{R)VT T, V, T, S c T~(V|S)~TVT T, V, T, T c T{V~(T{T)VT T, V, T, V c T{(V{V)~TVT T, V, T, W c T~V{T~WVT T, V, T, X c T~(V{X)|TVT T, V, U, Q c T~(V{U{Q)VT T, V, U, R c (T{V)~U{RVT T, V, U, S c T{V~(U{S)VT T, V, V, P c T~(V{V{P)VT T, V, V, R c T{V~(V{R)VT T, V, V, T c T{(V{V)~TVT T, V, V, X c T{V{V~XVT T, V, W, O c T~(V{W){OVT T, V, W, P c T~(V{W)~PVT T, V, W, Q c T{V~(W{Q)VT T, V, W, R c (V{R)~W|TVT T, V, W, T c T~V{W~TVT T, V, X, P c T{V~(X{P)VT T, V, X, T c T~(V{X)|TVT T, V, X, V c T{V{X~VVT T, W, O, V c T~(W{O{V)VT T, W, P, Q c T~(W~Q|P)VT T, W, P, U c T~(W{P{U)VT T, W, P, V c T~(W{P~V)VT T, W, P, W c T~(W|P{W)VT T, W, P, X c W~(P{X)|TVT T, W, Q, P c T~(W~Q|P)VT T, W, Q, T c (T{W{Q)~TVT T, W, Q, V c T{(W{Q)~VVT T, W, Q, W c (W{Q)~W|TVT T, W, Q, X c T~(W|Q{X)VT T, W, R, R c T~(W|R)~RVT T, W, R, S c T~(W{R{S)VT T, W, R, U c (T{W)~U|RVT T, W, R, V c W~(R{V)|TVT T, W, R, X c T~(W~R|X)VT T, W, S, R c T~(W{S{R)VT T, W, S, U c W~(S{U)|TVT T, W, T, Q c T~(W{T{Q)VT T, W, T, T c T~(W|T)~TVT T, W, T, U c T{(W{U)~TVT T, W, T, V c T~W{T~VVT T, W, T, W c T~(W{W)|TVT T, W, U, P c T~(W{U{P)VT T, W, U, R c (T{W)~U|RVT T, W, U, S c W~(U{S)|TVT T, W, U, T c T{(W{U)~TVT T, W, U, W c T{W~W{UVT T, W, V, O c T~(W{V){OVT T, W, V, P c T~(W{V)~PVT T, W, V, Q c T{(W{Q)~VVT T, W, V, R c W~(V{R)|TVT T, W, V, T c T~W{V~TVT T, W, W, P c T~(W{W|P)VT T, W, W, Q c W~(W{Q)|TVT T, W, W, T c T~(W{W)|TVT T, W, W, U c T{W~W{UVT T, W, W, X c W|T{W~XVT T, W, X, P c W~(X{P)|TVT T, W, X, Q c T{W~X|QVT T, W, X, R c T~(W~R|X)VT T, W, X, W c W|T{X~WVT T, X, O, U c T~(X{O{U)VT T, X, P, T c (T{X{P)~TVT T, X, P, U c T~(X{P~U)VT T, X, P, V c T{(X{P)~VVT T, X, P, W c (X{P)~W|TVT T, X, P, X c (X~X)|(T{P)VT T, X, Q, R c T~(X{Q~R)VT T, X, Q, S c T~(X{Q{S)VT T, X, Q, W c T~(X|Q{W)VT T, X, R, Q c T~(X{R~Q)VT T, X, R, R c T~(X{R{R)VT T, X, R, S c T~(X|S)~RVT T, X, R, T c T~XR~TVT T, X, R, W c T~(R~W|X)VT T, X, R, X c T~(X|R{X)VT T, X, S, Q c T~(X{S{Q)VT T, X, S, R c T~(X|S)~RVT T, X, S, U c (T{S)~X|UVT T, X, T, P c T~(X{T{P)VT T, X, T, R c T~X~TRVT T, X, T, T c T{(X{T)~TVT T, X, T, U c T~X{T~UVT T, X, T, V c T~(X{V)|TVT T, X, U, O c T~(X{U){OVT T, X, U, P c T~(X{U)~PVT T, X, U, S c T~(U~S|X)VT T, X, U, T c T~X{U~TVT T, X, U, U c (T{U)~U{XVT T, X, U, X c (T{X)~U|XVT T, X, V, P c T~(X{V|P)VT T, X, V, T c T~(X{V)|TVT T, X, V, V c T{X~V{VVT T, X, W, P c (X{P)~W|TVT T, X, W, Q c T{X~W|QVT T, X, W, R c T~(W~R|X)VT T, X, W, W c X~W|T{WVT T, X, X, P c (X~X)|(T{P)VT T, X, X, R c T~(X{X|R)VT T, X, X, U c (T{X)~U|XVT U, O, T, X c (U{O{X)~TVT U, O, X, T c (U{O{X)~TVT U, O, X, X c O{X~X|UVT U, P, R, S c (U~S{P)~RVT U, P, R, T c (U|P)~(R~T)VT U, P, S, R c (U~S{P)~RVT U, P, S, X c (U{X)~(P{S)VT U, P, T, R c (U|P)~(T~R)VT U, P, T, W c (U{P{W)~TVT U, P, T, X c (U{P~X)~TVT U, P, U, X c (U|P)~(U{X)VT U, P, V, W c (U|P)~(V{W)VT U, P, W, T c (U{P{W)~TVT U, P, W, V c (U|P)~(W{V)VT U, P, W, X c (P{W)~X|UVT U, P, X, S c (U{X)~(P{S)VT U, P, X, T c (U{P~X)~TVT U, P, X, U c (U|P)~(X{U)VT U, P, X, W c (P{W)~X|UVT U, P, X, X c P~X~X|UVT U, Q, R, T c (U~Q{R)~TVT U, Q, R, U c U~Q~U{RVT U, Q, R, X c (U{Q)~X{RVT U, Q, T, R c (U~Q{R)~TVT U, Q, T, T c UQ~T~TVT U, Q, T, V c (U{Q{V)~TVT U, Q, U, R c U~Q~U{RVT U, Q, V, T c (U{Q{V)~TVT U, Q, V, X c U~Q{V~XVT U, Q, W, X c UQ{W~XVT U, Q, X, R c (U{Q)~X{RVT U, Q, X, V c U~Q{X~VVT U, Q, X, W c UQ{X~WVT U, Q, X, X c U~(Q{X){XVT U, R, P, S c (U~S{P)~RVT U, R, P, T c (U|P)~(R~T)VT U, R, Q, T c (U~Q{R)~TVT U, R, Q, U c U~Q~U{RVT U, R, Q, X c (U{Q)~X{RVT U, R, R, S c U~R~S{RVT U, R, R, T c (U{R~R)~TVT U, R, R, V c (U~R{V)~RVT U, R, R, W c (U{R)~W{RVT U, R, R, X c U~(R{X){RVT U, R, S, P c (U~S{P)~RVT U, R, S, R c U~R~S{RVT U, R, S, W c U~(S{W){RVT U, R, S, X c U~(S{X)|RVT U, R, T, P c (U|P)~(R~T)VT U, R, T, Q c (U~Q{R)~TVT U, R, T, R c (U{R~R)~TVT U, R, T, T c (U|R)~(T~T)VT U, R, T, U c (U{R{U)~TVT U, R, T, V c U~(T{V){RVT U, R, T, W c U~(T{W)|RVT U, R, U, Q c U~U~Q{RVT U, R, U, T c (U{R{U)~TVT U, R, U, U c (U{U)~U{RVT U, R, U, V c U~(U{V)|RVT U, R, U, X c (U{R)~X|UVT U, R, V, R c (U~R{V)~RVT U, R, V, T c U~(V{T){RVT U, R, V, U c (U{V)~U|RVT U, R, V, X c (U{VR)~XVT U, R, W, R c (U{R)~W{RVT U, R, W, S c U~(W{S){RVT U, R, W, T c U~(W{T)|RVT U, R, W, X c U|R{W~XVT U, R, X, Q c (U{X)~(R{Q)VT U, R, X, R c U~(R{X){RVT U, R, X, S c U~(X{S)|RVT U, R, X, U c (U{R)~X|UVT U, R, X, V c U~X{R~VVT U, R, X, W c U|R{X~WVT U, S, P, R c (U~S{P)~RVT U, S, P, X c (U{X)~(S{P)VT U, S, R, P c (U~S{P)~RVT U, S, R, R c U~S~R{RVT U, S, R, W c U~(S{W){RVT U, S, R, X c U~(S{X)|RVT U, S, T, T c (U{S{T)~TVT U, S, T, V c (U{S)~V{TVT U, S, T, W c (U{S)~W|TVT U, S, T, X c (U~S|X)~TVT U, S, V, T c (U{S)~V{TVT U, S, V, X c U~(S{V){XVT U, S, W, R c U~(S{W){RVT U, S, W, T c (U{S)~W|TVT U, S, X, P c (U{X)~(S{P)VT U, S, X, R c U~(S{X)|RVT U, S, X, T c (U~S|X)~TVT U, S, X, V c U~(S{V){XVT U, S, X, X c (U{X)~(X|S)VT U, T, O, X c (U{O{X)~TVT U, T, P, R c (U|P)~(T~R)VT U, T, P, W c (U{P{W)~TVT U, T, P, X c (U{P~X)~TVT U, T, Q, R c (U~Q{R)~TVT U, T, Q, T c U~TQ~TVT U, T, Q, V c (U{T)~V|QVT U, T, R, P c (U|P)~(T~R)VT U, T, R, Q c (U~Q{R)~TVT U, T, R, R c (U{R~R)~TVT U, T, R, T c (U~T|T)~RVT U, T, R, U c (U{R{U)~TVT U, T, R, V c U~(T{V){RVT U, T, R, W c U~(T{W)|RVT U, T, S, T c (U{T{S)~TVT U, T, S, V c (U{S)~V{TVT U, T, S, W c (U{S)~W|TVT U, T, S, X c (U~S|X)~TVT U, T, T, Q c U~T~TQVT U, T, T, R c (U~T|T)~RVT U, T, T, S c (U{T{S)~TVT U, T, T, W c (U{W)~T{TVT U, T, T, X c U~T{T~XVT U, T, U, R c (U{U{R)~TVT U, T, U, X c (U{T)~U{XVT U, T, V, Q c (U{T)~V|QVT U, T, V, R c U~(T{V){RVT U, T, V, S c (U{S)~V{TVT U, T, W, P c (U{W{P)~TVT U, T, W, R c U~(T{W)|RVT U, T, W, S c (U{S)~W|TVT U, T, W, T c (U{W)~T{TVT U, T, W, W c U{T{W~WVT U, T, X, O c (U{X)~(T{O)VT U, T, X, P c (U{X)~(T~P)VT U, T, X, S c (U~S|X)~TVT U, T, X, T c U~T{X~TVT U, T, X, U c (U{T)~U{XVT U, T, X, X c U~(T{X)|XVT U, U, P, X c (U|P)~(U{X)VT U, U, Q, R c U~U~Q{RVT U, U, R, Q c U~U~Q{RVT U, U, R, T c (U{U{R)~TVT U, U, R, U c (U{U)~U{RVT U, U, R, V c U~(U{V)|RVT U, U, R, X c (U{R)~X|UVT U, U, T, R c (U{U{R)~TVT U, U, T, X c U~(U{T){XVT U, U, U, R c (U{U)~U{RVT U, U, V, R c U~(U{V)|RVT U, U, V, X c U{U{V~XVT U, U, W, X c U~(U{W)|XVT U, U, X, P c (U{X)~(U|P)VT U, U, X, R c (U{R)~X|UVT U, U, X, T c U~(U{T){XVT U, U, X, V c U{U{X~VVT U, U, X, W c U~(U{W)|XVT U, V, P, W c (U|P)~(V{W)VT U, V, Q, T c (U{V{Q)~TVT U, V, Q, X c U~V~Q|XVT U, V, R, R c (U~R{V)~RVT U, V, R, T c U~(V{T){RVT U, V, R, U c (U{V)~U|RVT U, V, R, X c (U{VR)~XVT U, V, S, T c (U{S)~V{TVT U, V, S, X c U~(V{S){XVT U, V, T, Q c (U{V{Q)~TVT U, V, T, R c U~(V{T){RVT U, V, T, S c (U{S)~V{TVT U, V, U, R c (U{V)~U|RVT U, V, U, X c U{V~X{UVT U, V, V, X c U~(V{V)|XVT U, V, W, P c (U|P)~(V{W)VT U, V, W, X c (V{WU)~XVT U, V, X, Q c U~V~Q|XVT U, V, X, R c (U{VR)~XVT U, V, X, S c U~(V{S){XVT U, V, X, U c U{V~X{UVT U, V, X, V c U~(V{V)|XVT U, V, X, W c (V{WU)~XVT U, W, P, T c (U{W{P)~TVT U, W, P, V c (U|P)~(W{V)VT U, W, P, X c (W{P)~X|UVT U, W, Q, X c U~(W{XQ)VT U, W, R, R c (U{R)~W{RVT U, W, R, S c U~(W{S){RVT U, W, R, T c U~(W{T)|RVT U, W, R, X c U~(W{R){XVT U, W, S, R c U~(W{S){RVT U, W, S, T c (U{S)~W|TVT U, W, T, P c (U{W{P)~TVT U, W, T, R c U~(W{T)|RVT U, W, T, S c (U{S)~W|TVT U, W, T, T c (U{W)~T{TVT U, W, T, W c U{W~W{TVT U, W, U, X c (U{W)~U|XVT U, W, V, P c (U|P)~(W{V)VT U, W, V, X c (WU{V)~XVT U, W, W, T c U{W~W{TVT U, W, X, P c (W{P)~X|UVT U, W, X, Q c U~(W{XQ)VT U, W, X, R c U{W~X|RVT U, W, X, U c (U{W)~U|XVT U, W, X, V c (WU{V)~XVT U, W, X, X c W~X|U{XVT U, X, O, T c (U{X{O)~TVT U, X, O, X c (X{O)~X|UVT U, X, P, S c (U{X)~(P{S)VT U, X, P, T c (U{X)~(P~T)VT U, X, P, U c (U{X)~(U|P)VT U, X, P, W c X~(P{W)|UVT U, X, P, X c X~P~X|UVT U, X, Q, R c (U{X)~(Q{R)VT U, X, Q, V c (U{X)~(V|Q)VT U, X, Q, W c U~(XQ{W)VT U, X, Q, X c U~(X{Q){XVT U, X, R, Q c (U{X)~(R{Q)VT U, X, R, R c U~(X{R){RVT U, X, R, S c U~(X{S)|RVT U, X, R, U c (U{R)~X|UVT U, X, R, V c U~X{R~VVT U, X, R, W c U{X~W|RVT U, X, S, P c (U{X)~(S{P)VT U, X, S, R c U~(X{S)|RVT U, X, S, T c (U~S|X)~TVT U, X, S, V c U~(S{V){XVT U, X, S, X c (U{X)~(X|S)VT U, X, T, O c (U{X)~(T{O)VT U, X, T, P c (U{X)~(T~P)VT U, X, T, S c (U~S|X)~TVT U, X, T, T c U~T{X~TVT U, X, T, U c (U{T)~U{XVT U, X, T, X c U~(X{T)|XVT U, X, U, P c (U{X)~(U|P)VT U, X, U, R c (U{R)~X|UVT U, X, U, T c U~(U{T){XVT U, X, U, V c U{X~V{UVT U, X, U, W c U~(U{W)|XVT U, X, V, Q c (U{X)~(V|Q)VT U, X, V, R c U~X{V~RVT U, X, V, S c U~(V{S){XVT U, X, V, U c U{X~V{UVT U, X, V, V c U~(V{V)|XVT U, X, V, W c X~(V{WU)VT U, X, W, P c X~(W{P)|UVT U, X, W, Q c U~(XQ{W)VT U, X, W, R c U{X~W|RVT U, X, W, U c (U{W)~U|XVT U, X, W, V c X~(WU{V)VT U, X, W, X c X|U{W~XVT U, X, X, O c X~X|U{OVT U, X, X, P c X~X|U~PVT U, X, X, Q c U~(X{Q){XVT U, X, X, S c (U{X)~(X|S)VT U, X, X, T c U~(X{T)|XVT U, X, X, W c X|U{X~WVT U, X, X, X c (X|UX)~XVT V, O, T, W c (V{O{W)~TVT V, O, W, T c (V{O{W)~TVT V, P, Q, T c (V~Q{P)~TVT V, P, R, X c (V{P)~X{RVT V, P, S, W c (V{W)~(P{S)VT V, P, T, Q c (V~Q{P)~TVT V, P, T, V c (V{P{V)~TVT V, P, T, W c (V{P~W)~TVT V, P, T, X c (V|P{X)~TVT V, P, U, W c (V{W)~(U|P)VT V, P, V, T c (V{P{V)~TVT V, P, W, S c (V{W)~(P{S)VT V, P, W, T c (V{P~W)~TVT V, P, W, U c (V{W)~(U|P)VT V, P, X, R c (V{P)~X{RVT V, P, X, T c (V|P{X)~TVT V, P, X, X c P{X~X|VVT V, Q, P, T c (V~Q{P)~TVT V, Q, Q, X c V~(Q{X)|QVT V, Q, R, T c (V|Q)~(R~T)VT V, Q, R, W c (V{Q)~W{RVT V, Q, R, X c (V{Q~X)~RVT V, Q, S, T c (V{Q~S)~TVT V, Q, S, V c (V{S)~V|QVT V, Q, T, P c (V~Q{P)~TVT V, Q, T, R c (V|Q)~(T~R)VT V, Q, T, S c (V{Q~S)~TVT V, Q, T, T c V~Q~T{TVT V, Q, T, U c (V{Q{U)~TVT V, Q, T, W c V~(Q{W){TVT V, Q, U, T c (V{Q{U)~TVT V, Q, U, X c (V|Q)~(U{X)VT V, Q, V, S c V~(V{S)|QVT V, Q, V, W c (V|Q)~(V{W)VT V, Q, W, R c (V{Q)~W{RVT V, Q, W, T c V~(Q{W){TVT V, Q, W, V c (V|Q)~(W{V)VT V, Q, X, Q c V~(Q{X)|QVT V, Q, X, R c (V{Q~X)~RVT V, Q, X, U c (V{Q)~X|UVT V, R, P, X c (V{P)~X{RVT V, R, Q, T c (V|Q)~(R~T)VT V, R, Q, W c V~(R{W)|QVT V, R, Q, X c (V{Q~X)~RVT V, R, R, S c (V~R{S)~RVT V, R, R, U c (V{R~U)~RVT V, R, S, R c (V~R{S)~RVT V, R, S, W c R~(S~W|V)VT V, R, S, X c V~R~S|XVT V, R, T, Q c (V|Q)~(R~T)VT V, R, T, T c (V{R{T)~TVT V, R, T, U c (V~R|U)~TVT V, R, T, V c (V{R)~V{TVT V, R, T, W c (V{R)~W|TVT V, R, U, R c (V{R~U)~RVT V, R, U, T c (V~R|U)~TVT V, R, U, U c (V{U)~U|RVT V, R, U, X c V~R{U~XVT V, R, V, T c (V{R)~V{TVT V, R, W, Q c V~(R{W)|QVT V, R, W, S c R~(W~S|V)VT V, R, W, T c (V{R)~W|TVT V, R, W, W c (V{W)~(W|R)VT V, R, X, P c (V{P)~X{RVT V, R, X, Q c (V{X~Q)~RVT V, R, X, S c V~R~S|XVT V, R, X, U c V~R{X~UVT V, R, X, X c V~(R{X)|XVT V, S, P, W c (V{W)~(S{P)VT V, S, Q, T c (V{S~Q)~TVT V, S, Q, V c (V{S)~V|QVT V, S, R, R c (V~S|R)~RVT V, S, R, W c (S~W|V)~RVT V, S, R, X c (V{SR)~XVT V, S, S, T c (V{S{S)~TVT V, S, T, Q c (V{S~Q)~TVT V, S, T, S c (V{S{S)~TVT V, S, T, T c (V|S)~(T~T)VT V, S, T, U c V~(S{U){TVT V, S, U, T c V~(S{U){TVT V, S, U, X c (V{S)~U{XVT V, S, V, Q c (V{S)~V|QVT V, S, W, P c (V{W)~(S{P)VT V, S, W, R c (S~W|V)~RVT V, S, W, W c V{S{W~WVT V, S, W, X c V{S~(W{X)VT V, S, X, R c (V{SR)~XVT V, S, X, U c (V{S)~U{XVT V, S, X, W c V{S~(X{W)VT V, T, O, W c (V{O{W)~TVT V, T, P, Q c (V~Q{P)~TVT V, T, P, V c (V{P{V)~TVT V, T, P, W c (V{P~W)~TVT V, T, P, X c (V|P{X)~TVT V, T, Q, P c (V~Q{P)~TVT V, T, Q, R c (V|Q)~(T~R)VT V, T, Q, S c (V{Q~S)~TVT V, T, Q, T c V~T~Q{TVT V, T, Q, U c V~(T{U)|QVT V, T, Q, W c V~(Q{W){TVT V, T, R, Q c (V|Q)~(T~R)VT V, T, R, T c (V{T{R)~TVT V, T, R, U c (V{T)~U{RVT V, T, R, V c (V{R)~V{TVT V, T, R, W c (V{R)~W|TVT V, T, S, Q c (V{S~Q)~TVT V, T, S, S c (V{S{S)~TVT V, T, S, T c (V|S)~(T~T)VT V, T, S, U c V~(S{U){TVT V, T, T, Q c V~T~Q{TVT V, T, T, R c (V{T{R)~TVT V, T, T, S c (V|S)~(T~T)VT V, T, T, T c V~(T{T){TVT V, T, T, V c (V{V)~T{TVT V, T, T, W c V~T{T~WVT V, T, T, X c (V{X)~T|TVT V, T, U, Q c V~(T{U)|QVT V, T, U, R c (V{T)~U{RVT V, T, U, S c V~(U{S){TVT V, T, V, P c (V{V{P)~TVT V, T, V, R c V~(V{R){TVT V, T, V, T c (V{V)~T{TVT V, T, V, X c V{T{V~XVT V, T, W, O c (V{W)~(T{O)VT V, T, W, P c (V{W)~(T~P)VT V, T, W, Q c V~(W{Q){TVT V, T, W, R c (V{R)~W|TVT V, T, W, T c V~T{W~TVT V, T, X, P c (V{X|P)~TVT V, T, X, T c (V{X)~T|TVT V, T, X, V c V{T{X~VVT V, U, P, W c (V{W)~(U|P)VT V, U, Q, T c (V{U{Q)~TVT V, U, Q, X c V~U~Q|XVT V, U, R, R c (V{U~R)~RVT V, U, R, T c (V~R|U)~TVT V, U, R, U c (V{U)~U|RVT V, U, R, X c V~R{U~XVT V, U, S, T c V~(U{S){TVT V, U, S, X c (V{S)~U{XVT V, U, T, Q c V~(U{T)|QVT V, U, T, R c (V{T)~U{RVT V, U, T, S c V~(U{S){TVT V, U, U, R c (V{U)~U|RVT V, U, U, X c V~(U{U)|XVT V, U, V, X c (V{V)~U|XVT V, U, W, P c (V{W)~(U|P)VT V, U, W, X c (V{WU)~XVT V, U, X, Q c V~U~Q|XVT V, U, X, R c V~R{U~XVT V, U, X, S c (V{S)~U{XVT V, U, X, U c V~(U{U)|XVT V, U, X, V c (V{V)~U|XVT V, U, X, W c (V{WU)~XVT V, V, P, T c (V{V{P)~TVT V, V, Q, S c V~(V{S)|QVT V, V, Q, W c (V|Q)~(V{W)VT V, V, R, T c V~(V{R){TVT V, V, S, Q c V~(V{S)|QVT V, V, T, P c (V{V{P)~TVT V, V, T, R c V~(V{R){TVT V, V, T, T c (V{V)~T{TVT V, V, T, X c V~(V{T)|XVT V, V, U, X c (V{V)~U|XVT V, V, W, Q c (V{W)~(V|Q)VT V, V, X, T c V{V~X{TVT V, V, X, U c (V{V)~U|XVT V, W, O, T c (V{W{O)~TVT V, W, P, S c (V{W)~(P{S)VT V, W, P, T c (V{W)~(P~T)VT V, W, P, U c (V{W)~(U|P)VT V, W, Q, R c (V{W)~(Q{R)VT V, W, Q, T c V~(W{Q){TVT V, W, Q, V c (V{W)~(V|Q)VT V, W, R, Q c (V{W)~(R{Q)VT V, W, R, S c (W~S|V)~RVT V, W, R, T c (V{R)~W|TVT V, W, R, W c (V{W)~(W|R)VT V, W, S, P c (V{W)~(S{P)VT V, W, S, R c (W~S|V)~RVT V, W, S, W c V{W~W{SVT V, W, S, X c V~(W{S)|XVT V, W, T, O c (V{W)~(T{O)VT V, W, T, P c (V{W)~(T~P)VT V, W, T, Q c V~(W{Q){TVT V, W, T, R c (V{R)~W|TVT V, W, T, T c V~T{W~TVT V, W, U, P c (V{W)~(U|P)VT V, W, U, X c (V{WU)~XVT V, W, V, Q c (V{W)~(V|Q)VT V, W, W, R c (V{W)~(W|R)VT V, W, W, S c V{W~W{SVT V, W, X, S c V{(W{X)~SVT V, W, X, U c (V{WU)~XVT V, X, P, R c (V{P)~X{RVT V, X, P, T c (V{X|P)~TVT V, X, P, X c X~X|V{PVT V, X, Q, Q c V~(X{Q)|QVT V, X, Q, R c (V{X~Q)~RVT V, X, Q, U c V~X{Q~UVT V, X, R, P c (V{P)~X{RVT V, X, R, Q c (V{X~Q)~RVT V, X, R, S c V~X{R~SVT V, X, R, U c V~R{X~UVT V, X, R, X c V~X{R{XVT V, X, S, R c V~X{S~RVT V, X, S, U c (V{S)~U{XVT V, X, S, W c V~X{S{WVT V, X, T, P c (V{X|P)~TVT V, X, T, T c (V{X)~T|TVT V, X, T, V c V~X{T{VVT V, X, U, Q c V~X{U~QVT V, X, U, R c V~R{X~UVT V, X, U, S c (V{S)~U{XVT V, X, U, U c V~X{U{UVT V, X, U, V c (V{V)~U|XVT V, X, U, W c (V{WU)~XVT V, X, V, T c V{X~V{TVT V, X, V, U c (V{V)~U|XVT V, X, W, S c V{(X{W)~SVT V, X, W, U c (V{WU)~XVT V, X, X, P c X~X|V{PVT V, X, X, R c (V{X{X)~RVT W, O, R, X c (W{O)~X{RVT W, O, T, V c (W{O{V)~TVT W, O, V, T c (W{O{V)~TVT W, O, X, R c (W{O)~X{RVT W, P, Q, T c (W~Q|P)~TVT W, P, Q, X c W~X{P{QVT W, P, R, R c (W~R{P)~RVT W, P, R, W c (W{P)~W{RVT W, P, R, X c (W{PR)~XVT W, P, S, V c (W{V)~(P{S)VT W, P, S, X c W~X|P{SVT W, P, T, Q c (W~Q|P)~TVT W, P, T, U c (W{P{U)~TVT W, P, T, V c (W{P~V)~TVT W, P, T, W c (W|P{W)~TVT W, P, T, X c W~(P{X)|TVT W, P, U, T c (W{P{U)~TVT W, P, U, V c (W{V)~(U|P)VT W, P, U, X c (W{P)~X|UVT W, P, V, S c (W{V)~(P{S)VT W, P, V, T c (W{P~V)~TVT W, P, V, U c (W{V)~(U|P)VT W, P, W, R c (W{P)~W{RVT W, P, W, T c (W|P{W)~TVT W, P, X, Q c W~X{P{QVT W, P, X, R c W~P~X{RVT W, P, X, S c W~X|P{SVT W, P, X, T c W~(P{X)|TVT W, P, X, U c (W{P)~X|UVT W, Q, P, T c (W~Q|P)~TVT W, Q, P, X c W~X{Q{PVT W, Q, R, V c W~(Q{V){RVT W, Q, R, X c (W~Q{X)~RVT W, Q, T, P c (W~Q|P)~TVT W, Q, T, T c (W{Q{T)~TVT W, Q, T, V c (W{Q)~V{TVT W, Q, T, W c (W{Q)~W|TVT W, Q, T, X c (W|Q{X)~TVT W, Q, U, X c (W{QU)~XVT W, Q, V, R c W~(Q{V){RVT W, Q, V, T c (W{Q)~V{TVT W, Q, V, V c (W{V)~(V|Q)VT W, Q, W, T c (W{Q)~W|TVT W, Q, W, X c W~W{Q{XVT W, Q, X, P c W~X{Q{PVT W, Q, X, R c (W~Q{X)~RVT W, Q, X, T c (W|Q{X)~TVT W, Q, X, U c (W{QU)~XVT W, Q, X, W c W~W{Q{XVT W, Q, X, X c Q{X~X|WVT W, R, O, X c (W{O)~X{RVT W, R, P, R c (W~R{P)~RVT W, R, P, W c (W{P)~W{RVT W, R, P, X c (W{PR)~XVT W, R, Q, V c (W{R)~V|QVT W, R, Q, X c (W~Q{X)~RVT W, R, R, P c (W~R{P)~RVT W, R, R, R c W~R~R{RVT W, R, R, T c (W|R)~(R~T)VT W, R, R, U c W~(R{U){RVT W, R, S, T c (W{R{S)~TVT W, R, S, U c (W{S)~U{RVT W, R, S, V c (W~S|V)~RVT W, R, T, R c (W|R)~(T~R)VT W, R, T, S c (W{R{S)~TVT W, R, T, U c (W{T)~U|RVT W, R, T, V c W~(R{V)|TVT W, R, T, X c (W~R|X)~TVT W, R, U, R c W~(R{U){RVT W, R, U, S c (W{S)~U{RVT W, R, U, T c (W{T)~U|RVT W, R, U, X c (W{R)~U{XVT W, R, V, Q c (W{R)~V|QVT W, R, V, S c (W~S|V)~RVT W, R, V, T c W~(R{V)|TVT W, R, V, W c (W|R)~(V{W)VT W, R, W, P c W~(W{P){RVT W, R, W, V c (W|R)~(W{V)VT W, R, W, W c W{R{W~WVT W, R, W, X c W~(RW{X)VT W, R, X, O c W~X{R{OVT W, R, X, P c W~X{R~PVT W, R, X, Q c (W~Q{X)~RVT W, R, X, T c (W~R|X)~TVT W, R, X, U c (W|R)~(X{U)VT W, R, X, W c W~(RW{X)VT W, R, X, X c (W{RX)~XVT W, S, P, V c (W{V)~(S{P)VT W, S, P, X c W~X{S|PVT W, S, R, T c (W{S{R)~TVT W, S, R, U c (W{S)~U{RVT W, S, R, V c (W~S|V)~RVT W, S, T, R c W~(S{T){RVT W, S, T, U c W~(S{U)|TVT W, S, U, R c (W{S)~U{RVT W, S, U, T c W~(S{U)|TVT W, S, V, P c (W{V)~(S{P)VT W, S, V, R c (W~S|V)~RVT W, S, V, W c W~W{S{VVT W, S, V, X c W{S{V~XVT W, S, W, V c W~W{S{VVT W, S, X, P c W~X{S|PVT W, S, X, V c W{S{X~VVT W, T, O, V c (W{O{V)~TVT W, T, P, Q c (W~Q|P)~TVT W, T, P, U c (W{P{U)~TVT W, T, P, V c (W{P~V)~TVT W, T, P, W c (W|P{W)~TVT W, T, P, X c W~(P{X)|TVT W, T, Q, P c (W~Q|P)~TVT W, T, Q, T c (W{T{Q)~TVT W, T, Q, V c (W{Q)~V{TVT W, T, Q, W c (W{Q)~W|TVT W, T, Q, X c (W|Q{X)~TVT W, T, R, R c (W|R)~(T~R)VT W, T, R, S c W~(T{S){RVT W, T, R, U c (W{T)~U|RVT W, T, R, V c W~(R{V)|TVT W, T, R, X c (W~R|X)~TVT W, T, S, R c W~(T{S){RVT W, T, S, U c W~(S{U)|TVT W, T, T, Q c (W{T{Q)~TVT W, T, T, T c (W|T)~(T~T)VT W, T, T, U c (W{U)~T{TVT W, T, T, V c W~T{T~VVT W, T, T, W c (W{W)~T|TVT W, T, U, P c (W{U{P)~TVT W, T, U, R c (W{T)~U|RVT W, T, U, S c W~(U{S)|TVT W, T, U, T c (W{U)~T{TVT W, T, U, W c W~W{T{UVT W, T, V, O c (W{V)~(T{O)VT W, T, V, P c (W{V)~(T~P)VT W, T, V, Q c (W{Q)~V{TVT W, T, V, R c W~(V{R)|TVT W, T, V, T c W~T{V~TVT W, T, W, P c (W{W|P)~TVT W, T, W, Q c W~(W{Q)|TVT W, T, W, T c (W{W)~T|TVT W, T, W, U c W~W{T{UVT W, T, W, X c W|T{W~XVT W, T, X, P c W~(X{P)|TVT W, T, X, Q c W~X{T|QVT W, T, X, R c (W~R|X)~TVT W, T, X, W c W|T{X~WVT W, U, P, T c (W{U{P)~TVT W, U, P, V c (W{V)~(U|P)VT W, U, P, X c (W{P)~X|UVT W, U, Q, X c (W{QU)~XVT W, U, R, R c W~(U{R){RVT W, U, R, S c (W{S)~U{RVT W, U, R, T c (W{T)~U|RVT W, U, R, X c W~U{R~XVT W, U, S, R c (W{S)~U{RVT W, U, S, T c W~(U{S)|TVT W, U, T, P c (W{U{P)~TVT W, U, T, R c (W{T)~U|RVT W, U, T, S c W~(U{S)|TVT W, U, T, T c (W{U)~T{TVT W, U, T, W c W~W{U{TVT W, U, U, X c (W{U)~U|XVT W, U, V, P c (W{V)~(U|P)VT W, U, V, X c (WU{V)~XVT W, U, W, T c W~W{U{TVT W, U, X, P c (W{P)~X|UVT W, U, X, Q c W~X{UQVT W, U, X, R c W~U{X~RVT W, U, X, U c (W{U)~U|XVT W, U, X, V c (WU{V)~XVT W, U, X, X c W~X|U{XVT W, V, O, T c (W{V{O)~TVT W, V, P, S c (W{V)~(P{S)VT W, V, P, T c (W{V)~(P~T)VT W, V, P, U c (W{V)~(U|P)VT W, V, Q, R c (W{V)~(Q{R)VT W, V, Q, T c (W{Q)~V{TVT W, V, Q, V c (W{V)~(V|Q)VT W, V, R, Q c (W{V)~(R{Q)VT W, V, R, S c (W~S|V)~RVT W, V, R, T c W~(V{R)|TVT W, V, R, W c (W{V)~(W|R)VT W, V, S, P c (W{V)~(S{P)VT W, V, S, R c (W~S|V)~RVT W, V, S, W c W~W{V{SVT W, V, S, X c W{V~X{SVT W, V, T, O c (W{V)~(T{O)VT W, V, T, P c (W{V)~(T~P)VT W, V, T, Q c (W{Q)~V{TVT W, V, T, R c W~(V{R)|TVT W, V, T, T c W~T{V~TVT W, V, U, P c (W{V)~(U|P)VT W, V, U, X c (WU{V)~XVT W, V, V, Q c (W{V)~(V|Q)VT W, V, W, R c (W{V)~(W|R)VT W, V, W, S c W~W{V{SVT W, V, X, S c W{V~X{SVT W, V, X, U c (WU{V)~XVT W, W, P, R c W~(W{P){RVT W, W, P, T c (W{W|P)~TVT W, W, Q, T c W~(W{Q)|TVT W, W, Q, X c W~W{Q{XVT W, W, R, P c W~(W{P){RVT W, W, R, V c (W|R)~(W{V)VT W, W, R, W c W~W{R{WVT W, W, R, X c (W{W{X)~RVT W, W, S, V c W~W{S{VVT W, W, T, P c (W{W|P)~TVT W, W, T, Q c W~(W{Q)|TVT W, W, T, T c (W{W)~T|TVT W, W, T, U c W~W{T{UVT W, W, T, X c W{W~X|TVT W, W, U, T c W~W{U{TVT W, W, V, R c (W{V)~(W|R)VT W, W, V, S c W~W{V{SVT W, W, W, R c W{W~W{RVT W, W, X, Q c W~W{X{QVT W, W, X, R c (W{W{X)~RVT W, W, X, T c W{W~X|TVT W, X, O, R c W~X{O{RVT W, X, P, Q c W~X{P{QVT W, X, P, R c W~X{P~RVT W, X, P, S c W~X|P{SVT W, X, P, T c W~(X{P)|TVT W, X, P, U c (W{P)~X|UVT W, X, Q, P c W~X{Q{PVT W, X, Q, R c (W~Q{X)~RVT W, X, Q, T c (W{X|Q)~TVT W, X, Q, U c (W{XQ)~UVT W, X, Q, W c W~W{X{QVT W, X, Q, X c X~X|W{QVT W, X, R, O c W~X{R{OVT W, X, R, P c W~X{R~PVT W, X, R, Q c (W~Q{X)~RVT W, X, R, T c (W~R|X)~TVT W, X, R, U c W~X|R{UVT W, X, R, W c W~(X{RW)VT W, X, R, X c W~X{XRVT W, X, S, P c W~X{S|PVT W, X, S, V c (W{X)~S{VVT W, X, T, P c W~(X{P)|TVT W, X, T, Q c W~X{T|QVT W, X, T, R c (W~R|X)~TVT W, X, T, W c W~X|T{WVT W, X, U, P c (W{P)~X|UVT W, X, U, Q c W~X{UQVT W, X, U, R c W~X{U|RVT W, X, U, U c (W{U)~U|XVT W, X, U, V c (WU{V)~XVT W, X, U, X c W~X|U{XVT W, X, V, S c W{X~V{SVT W, X, V, U c (WU{V)~XVT W, X, W, Q c W~W{X{QVT W, X, W, R c (W{X{W)~RVT W, X, W, T c W{X~W|TVT W, X, X, Q c X~X|W{QVT W, X, X, R c W~X{XRVT W, X, X, U c W~X{X|UVT X, O, R, W c (X{O)~W{RVT X, O, T, U c (X{O{U)~TVT X, O, U, T c (X{O{U)~TVT X, O, U, X c (X{O)~X|UVT X, O, W, R c (X{O)~W{RVT X, O, X, U c (X{O)~X|UVT X, P, Q, W c X~W{P{QVT X, P, R, V c X~(P{V){RVT X, P, R, W c X~(PR{W)VT X, P, R, X c (X|P)~X{RVT X, P, S, U c (X{U)~(P{S)VT X, P, S, W c X~W|P{SVT X, P, T, T c (X{P{T)~TVT X, P, T, U c (X{P~U)~TVT X, P, T, V c (X{P)~V{TVT X, P, T, W c (X{P)~W|TVT X, P, T, X c (X~X)|(P{T)VT X, P, U, S c (X{U)~(P{S)VT X, P, U, T c (X{P~U)~TVT X, P, U, U c (X{U)~(U|P)VT X, P, U, W c X~(P{W)|UVT X, P, U, X c X~P~X|UVT X, P, V, R c X~(P{V){RVT X, P, V, T c (X{P)~V{TVT X, P, V, X c X~X{P|VVT X, P, W, Q c X~W{P{QVT X, P, W, R c X~P~W{RVT X, P, W, S c X~W|P{SVT X, P, W, T c (X{P)~W|TVT X, P, W, U c X~(P{W)|UVT X, P, X, R c (X|P)~X{RVT X, P, X, T c (X~X)|(P{T)VT X, P, X, U c X~P~X|UVT X, P, X, V c X~X{P|VVT X, Q, P, W c X~W{Q{PVT X, Q, Q, V c (X{Q)~V|QVT X, Q, R, R c (X~R|Q)~RVT X, Q, R, S c X~Q~S{RVT X, Q, R, T c (X{Q~R)~TVT X, Q, R, U c X~(Q{U){RVT X, Q, R, V c (X~Q{V)~RVT X, Q, R, W c (X{Q~W)~RVT X, Q, R, X c (X|QR)~XVT X, Q, S, R c X~Q~S{RVT X, Q, S, T c (X{Q{S)~TVT X, Q, S, X c (X~X)|(Q{S)VT X, Q, T, R c (X{Q~R)~TVT X, Q, T, S c (X{Q{S)~TVT X, Q, T, W c (X|Q{W)~TVT X, Q, U, R c X~(Q{U){RVT X, Q, U, V c X~(Q{V)|UVT X, Q, U, W c X~(QU{W)VT X, Q, U, X c (X{Q)~U{XVT X, Q, V, Q c (X{Q)~V|QVT X, Q, V, R c (X~Q{V)~RVT X, Q, V, U c X~(Q{V)|UVT X, Q, W, P c X~W{Q{PVT X, Q, W, R c (X{Q~W)~RVT X, Q, W, T c (X|Q{W)~TVT X, Q, W, U c (XQ{W)~UVT X, Q, W, W c X{Q{W~WVT X, Q, W, X c X~X{Q|WVT X, Q, X, R c (X|QR)~XVT X, Q, X, S c (X~X)|(Q{S)VT X, Q, X, U c X{(Q{X)~UVT X, Q, X, W c X~X{Q|WVT X, R, O, W c (X{O)~W{RVT X, R, P, V c X~(P{V){RVT X, R, P, W c X~(PR{W)VT X, R, P, X c (X|P)~X{RVT X, R, Q, R c (X~R|Q)~RVT X, R, Q, S c X~Q~S{RVT X, R, Q, T c (X{R~Q)~TVT X, R, Q, U c X~(Q{U){RVT X, R, Q, V c (X~Q{V)~RVT X, R, Q, W c (X{Q~W)~RVT X, R, Q, X c (X|QR)~XVT X, R, R, Q c (X~R|Q)~RVT X, R, R, T c (X{R{R)~TVT X, R, R, U c X~R~R|UVT X, R, R, X c (X~X)|(R{R)VT X, R, S, Q c X~S~Q{RVT X, R, S, S c (X{S~S)~RVT X, R, S, T c (X|S)~(R~T)VT X, R, S, U c (X{S)~U|RVT X, R, S, V c X~(SR{V)VT X, R, S, X c (X{X)~S{RVT X, R, T, Q c (X{R~Q)~TVT X, R, T, R c X~(R{T){RVT X, R, T, S c (X|S)~(R~T)VT X, R, T, T c XR~T~TVT X, R, T, W c (R~W|X)~TVT X, R, T, X c (X|R{X)~TVT X, R, U, Q c (X{U)~(R{Q)VT X, R, U, R c (X{R)~U{RVT X, R, U, S c (X{S)~U|RVT X, R, U, U c X~(R{U)|UVT X, R, U, V c X~U{R~VVT X, R, U, W c X~R{U~WVT X, R, V, P c X~(V{P){RVT X, R, V, Q c (X~Q{V)~RVT X, R, V, S c X~V{R~SVT X, R, V, U c X~(VR{U)VT X, R, V, X c X{R{V~XVT X, R, W, O c X~W{R{OVT X, R, W, P c X~W{R~PVT X, R, W, Q c (X{W~Q)~RVT X, R, W, T c (R~W|X)~TVT X, R, W, U c X{(R{W)~UVT X, R, W, W c (X{RW)~WVT X, R, W, X c XR{W~XVT X, R, X, P c X~(X|P){RVT X, R, X, Q c X~X|R~QVT X, R, X, R c (X~X)|(R{R)VT X, R, X, S c (X{X)~S{RVT X, R, X, T c (X|R{X)~TVT X, R, X, V c X{R{X~VVT X, R, X, W c X~(RX{W)VT X, R, X, X c X~X{R|XVT X, S, P, U c (X{U)~(S{P)VT X, S, P, W c X~W{S|PVT X, S, Q, R c X~S~Q{RVT X, S, Q, T c (X{S{Q)~TVT X, S, Q, X c (X~X)|(S{Q)VT X, S, R, Q c X~S~Q{RVT X, S, R, S c (X{S~S)~RVT X, S, R, T c (X|S)~(R~T)VT X, S, R, U c (X{S)~U|RVT X, S, R, V c X~(SR{V)VT X, S, R, X c (X{X)~S{RVT X, S, S, R c (X{S~S)~RVT X, S, T, Q c (X{S{Q)~TVT X, S, T, R c (X|S)~(T~R)VT X, S, T, U c X~(S{T)|UVT X, S, U, P c (X{U)~(S{P)VT X, S, U, R c (X{S)~U|RVT X, S, U, T c X~(S{T)|UVT X, S, U, V c X{(S{V)~UVT X, S, U, X c (X|S)~(U{X)VT X, S, V, R c X~(SR{V)VT X, S, V, U c X{(S{V)~UVT X, S, V, W c (X|S)~(V{W)VT X, S, W, P c X~W{S|PVT X, S, W, V c (X|S)~(W{V)VT X, S, X, Q c (X~X)|(S{Q)VT X, S, X, R c (X{X)~S{RVT X, S, X, U c (X|S)~(X{U)VT X, T, O, U c (X{O{U)~TVT X, T, P, T c (X{T{P)~TVT X, T, P, U c (X{P~U)~TVT X, T, P, V c (X{P)~V{TVT X, T, P, W c (X{P)~W|TVT X, T, P, X c (X~X)|(T{P)VT X, T, Q, R c (X{Q~R)~TVT X, T, Q, S c (X{Q{S)~TVT X, T, Q, W c (X|Q{W)~TVT X, T, R, Q c (X{R~Q)~TVT X, T, R, R c X~(T{R){RVT X, T, R, S c (X|S)~(T~R)VT X, T, R, T c X~TR~TVT X, T, R, W c T~(R~W|X)VT X, T, R, X c (X|R{X)~TVT X, T, S, Q c (X{S{Q)~TVT X, T, S, R c (X|S)~(T~R)VT X, T, S, U c X~(T{S)|UVT X, T, T, P c (X{T{P)~TVT X, T, T, R c X~T~TRVT X, T, T, T c (X{T)~T{TVT X, T, T, U c X~T{T~UVT X, T, T, V c (X{V)~T|TVT X, T, U, O c (X{U)~(T{O)VT X, T, U, P c (X{U)~(T~P)VT X, T, U, S c X~(T{S)|UVT X, T, U, T c X~T{U~TVT X, T, U, U c X{(T{U)~UVT X, T, U, X c (X{T)~U|XVT X, T, V, P c (X{V|P)~TVT X, T, V, T c (X{V)~T|TVT X, T, V, V c X~V{T{VVT X, T, W, P c (X{P)~W|TVT X, T, W, Q c X~W{T|QVT X, T, W, R c T~(W~R|X)VT X, T, W, W c X~W|T{WVT X, T, X, P c (X~X)|(T{P)VT X, T, X, R c (X{X|R)~TVT X, T, X, U c (X{T)~U|XVT X, U, O, T c (X{U{O)~TVT X, U, O, X c (X{O)~X|UVT X, U, P, S c (X{U)~(P{S)VT X, U, P, T c (X{U)~(P~T)VT X, U, P, U c (X{U)~(U|P)VT X, U, P, W c X~(P{W)|UVT X, U, P, X c X~P~X|UVT X, U, Q, R c (X{U)~(Q{R)VT X, U, Q, V c (X{U)~(V|Q)VT X, U, Q, W c X~(QU{W)VT X, U, Q, X c X{U~(Q{X)VT X, U, R, Q c (X{U)~(R{Q)VT X, U, R, R c (X{R)~U{RVT X, U, R, S c (X{S)~U|RVT X, U, R, U c X~(U{R)|UVT X, U, R, V c X~U{R~VVT X, U, R, W c X{U~(R{W)VT X, U, S, P c (X{U)~(S{P)VT X, U, S, R c (X{S)~U|RVT X, U, S, T c X~(S{T)|UVT X, U, S, V c X{U~(S{V)VT X, U, S, X c (X{U)~(X|S)VT X, U, T, O c (X{U)~(T{O)VT X, U, T, P c (X{U)~(T~P)VT X, U, T, S c X~(T{S)|UVT X, U, T, T c (X|U)~(T~T)VT X, U, T, U c X{(U{T)~UVT X, U, T, X c (X{T)~U|XVT X, U, U, P c (X{U)~(U|P)VT X, U, U, R c X~(U{R)|UVT X, U, U, T c X{U~(U{T)VT X, U, U, V c X~V{U{UVT X, U, U, W c U~(U{W)|XVT X, U, V, Q c (X{U)~(V|Q)VT X, U, V, R c X~U{V~RVT X, U, V, S c X{U~(V{S)VT X, U, V, U c X~V{U{UVT X, U, V, V c U~(V{V)|XVT X, U, V, W c X~(V{WU)VT X, U, W, P c X~(W{P)|UVT X, U, W, Q c X~W{UQVT X, U, W, R c X{U~(W{R)VT X, U, W, U c (U{W)~U|XVT X, U, W, V c X~(WU{V)VT X, U, W, X c X|U{W~XVT X, U, X, O c X~X|U{OVT X, U, X, P c X~X|U~PVT X, U, X, Q c X{U~(X{Q)VT X, U, X, S c (X{U)~(X|S)VT X, U, X, T c (X{T)~U|XVT X, U, X, W c X|U{X~WVT X, U, X, X c (X|UX)~XVT X, V, P, R c X~(V{P){RVT X, V, P, T c (X{V|P)~TVT X, V, P, X c X~X|V{PVT X, V, Q, Q c (X{Q)~V|QVT X, V, Q, R c (X~Q{V)~RVT X, V, Q, U c (X{VQ)~UVT X, V, R, P c X~(V{P){RVT X, V, R, Q c (X~Q{V)~RVT X, V, R, S c X~V{R~SVT X, V, R, U c X~(VR{U)VT X, V, R, X c X~V{R{XVT X, V, S, R c X~V{S~RVT X, V, S, U c X{(V{S)~UVT X, V, S, W c X~V{S{WVT X, V, T, P c (X{V|P)~TVT X, V, T, T c (X{V)~T|TVT X, V, T, V c X~V{T{VVT X, V, U, Q c X~V{U~QVT X, V, U, R c X~(VR{U)VT X, V, U, S c X{(V{S)~UVT X, V, U, U c X~V{U{UVT X, V, U, V c (V{V)~U|XVT X, V, U, W c X~(V{WU)VT X, V, V, T c X~V{V{TVT X, V, V, U c (V{V)~U|XVT X, V, W, S c X~V{W{SVT X, V, W, U c X~(V{WU)VT X, V, X, P c X~X|V{PVT X, V, X, R c (X{V{X)~RVT X, W, O, R c X~W{O{RVT X, W, P, Q c X~W{P{QVT X, W, P, R c X~W{P~RVT X, W, P, S c X~W|P{SVT X, W, P, T c (X{P)~W|TVT X, W, P, U c X~(W{P)|UVT X, W, Q, P c X~W{Q{PVT X, W, Q, R c (X{W~Q)~RVT X, W, Q, T c (X{W|Q)~TVT X, W, Q, U c X~(W{QU)VT X, W, Q, W c X{W~W{QVT X, W, Q, X c X~X|W{QVT X, W, R, O c X~W{R{OVT X, W, R, P c X~W{R~PVT X, W, R, Q c (X{W~Q)~RVT X, W, R, T c (W~R|X)~TVT X, W, R, U c X{(W{R)~UVT X, W, R, W c (X{W{W)~RVT X, W, R, X c X~(W{RX)VT X, W, S, P c X~W{S|PVT X, W, S, V c (X{W)~S{VVT X, W, T, P c (X{P)~W|TVT X, W, T, Q c X~W{T|QVT X, W, T, R c (W~R|X)~TVT X, W, T, W c X~W|T{WVT X, W, U, P c X~(W{P)|UVT X, W, U, Q c X~W{UQVT X, W, U, R c X~W{U|RVT X, W, U, U c (W{U)~U|XVT X, W, U, V c X~(WU{V)VT X, W, U, X c X~W|U{XVT X, W, V, S c X~W{V|SVT X, W, V, U c X~(WU{V)VT X, W, W, Q c X{W~W{QVT X, W, W, R c (X{W{W)~RVT X, W, W, T c X~W{W|TVT X, W, X, Q c X~X|W{QVT X, W, X, R c X~W{XRVT X, W, X, U c X{W~X|UVT X, X, O, U c X~X{O|UVT X, X, P, R c X~(X|P){RVT X, X, P, T c (X~X)|(P{T)VT X, X, P, U c X~X|P~UVT X, X, P, V c X~X{P|VVT X, X, Q, R c X~X|Q~RVT X, X, Q, S c (X~X)|(Q{S)VT X, X, Q, U c X{(X{Q)~UVT X, X, Q, W c X~X{Q|WVT X, X, R, P c X~(X|P){RVT X, X, R, Q c X~X|R~QVT X, X, R, R c (X~X)|(R{R)VT X, X, R, S c (X{X)~S{RVT X, X, R, T c (X{X|R)~TVT X, X, R, V c (X{X{V)~RVT X, X, R, W c X~(RX{W)VT X, X, R, X c X~X{R|XVT X, X, S, Q c (X~X)|(S{Q)VT X, X, S, R c (X{X)~S{RVT X, X, S, U c X~(X|SU)VT X, X, T, P c (X~X)|(T{P)VT X, X, T, R c (X{X|R)~TVT X, X, T, U c (X{T)~U|XVT X, X, U, O c X~X|U{OVT X, X, U, P c X~X|U~PVT X, X, U, Q c X{(X{Q)~UVT X, X, U, S c X~(X|SU)VT X, X, U, T c (X{T)~U|XVT X, X, U, W c X{X~W|UVT X, X, U, X c X~(X|UX)VT X, X, V, P c X~X|V{PVT X, X, V, R c (X{X{V)~RVT X, X, W, Q c X~X|W{QVT X, X, W, R c X~W{XRVT X, X, W, U c X{X~W|UVT X, X, X, R c X~X|X{RVT X, X, X, U c X~(X|UX)VT