O, O, T, V c O{O{T~VRT O, O, V, T c O{O{V~TRT O, P, S, V c (O{P{S)~VRT O, P, S, X c O{S~X|PRT O, P, T, U c (O{P{U)~TRT O, P, T, V c O{P~T~VRT O, P, T, W c (O{T)~(W|P)RT O, P, U, T c (O{P{U)~TRT O, P, U, U c O{U~U|PRT O, P, U, V c (O{U|P)~VRT O, P, V, S c (O{P{S)~VRT O, P, V, T c O{P~V~TRT O, P, V, U c (O{V)~(U|P)RT O, P, W, T c (O{W|P)~TRT O, P, X, S c O{X~S|PRT O, Q, R, V c (O{Q{R)~VRT O, Q, T, T c (O{Q{T)~TRT O, Q, T, V c O~Q{T~VRT O, Q, T, X c (O{T)~(X|Q)RT O, Q, V, R c (O{Q{R)~VRT O, Q, V, T c O~Q{V~TRT O, Q, V, V c (O{V|Q)~VRT O, Q, X, T c (O{X|Q)~TRT O, R, Q, V c (O{R{Q)~VRT O, R, S, T c (O{R{S)~TRT O, R, S, W c O{R{S~WRT O, R, T, S c (O{R{S)~TRT O, R, T, V c O~R{T~VRT O, R, V, Q c (O{R{Q)~VRT O, R, V, T c O~R{V~TRT O, R, V, W c (O{V)~(W|R)RT O, R, W, S c O{R{W~SRT O, R, W, V c (O{W|R)~VRT O, R, W, X c O{R~X{WRT O, R, X, W c O{R~X{WRT O, S, P, V c (O{S{P)~VRT O, S, P, X c O{S~X|PRT O, S, R, T c (O{S{R)~TRT O, S, R, W c O{S~W{RRT O, S, T, R c (O{S{R)~TRT O, S, T, V c O~S{T~VRT O, S, V, P c (O{S{P)~VRT O, S, V, T c O~S{V~TRT O, S, V, V c O{S~V{VRT O, S, V, X c (O{V)~(X|S)RT O, S, W, R c O{S~W{RRT O, S, X, P c O{S~X|PRT O, S, X, V c (O{X|S)~VRT O, T, O, V c (O{T{O)~VRT O, T, P, U c (O{T)~(P{U)RT O, T, P, V c O{T~P~VRT O, T, P, W c (O{T)~(W|P)RT O, T, Q, T c (O{T{Q)~TRT O, T, Q, V c O~Q{T~VRT O, T, Q, X c (O{T)~(X|Q)RT O, T, R, S c (O{T)~(R{S)RT O, T, R, V c O~R{T~VRT O, T, S, R c (O{T)~(S{R)RT O, T, S, V c O~S{T~VRT O, T, T, Q c (O{T)~(T{Q)RT O, T, T, U c O{T{T~URT O, T, T, V c O~T{T~VRT O, T, T, W c O{T~W|TRT O, T, U, P c (O{T)~(U{P)RT O, T, U, T c O{T{U~TRT O, T, U, V c O~U{T~VRT O, T, V, O c O{T~V{ORT O, T, V, P c O{T~V~PRT O, T, V, Q c O~Q{T~VRT O, T, V, R c O~R{T~VRT O, T, V, S c O~S{T~VRT O, T, V, T c O~T{V~TRT O, T, V, U c O~U{T~VRT O, T, V, V c O~V{T~VRT O, T, V, W c O~W{T~VRT O, T, V, X c O~X{T~VRT O, T, W, P c (O{T)~(W|P)RT O, T, W, T c O{T~W|TRT O, T, W, V c O~W{T~VRT O, T, X, Q c (O{T)~(X|Q)RT O, T, X, V c O~X{T~VRT O, U, P, T c (O{U{P)~TRT O, U, P, U c O{U~U|PRT O, U, P, V c (O{U|P)~VRT O, U, T, P c (O{U{P)~TRT O, U, T, T c O{U~T{TRT O, U, T, V c O~U{T~VRT O, U, U, P c O{U~U|PRT O, U, V, P c (O{U|P)~VRT O, U, V, T c O~U{V~TRT O, U, V, V c O{U~V|VRT O, V, O, T c (O{V{O)~TRT O, V, P, S c (O{V)~(P{S)RT O, V, P, T c O{V~P~TRT O, V, P, U c (O{V)~(U|P)RT O, V, Q, R c (O{V)~(Q{R)RT O, V, Q, T c O~Q{V~TRT O, V, Q, V c (O{V|Q)~VRT O, V, R, Q c (O{V)~(R{Q)RT O, V, R, T c O~R{V~TRT O, V, R, W c (O{V)~(W|R)RT O, V, S, P c (O{V)~(S{P)RT O, V, S, T c O~S{V~TRT O, V, S, V c O{V{S~VRT O, V, S, X c (O{V)~(X|S)RT O, V, T, O c O{V~T{ORT O, V, T, P c O{V~T~PRT O, V, T, Q c O~Q{V~TRT O, V, T, R c O~R{V~TRT O, V, T, S c O~S{V~TRT O, V, T, T c O~T{V~TRT O, V, T, U c O~U{V~TRT O, V, T, V c O~V{T~VRT O, V, T, W c O~W{V~TRT O, V, T, X c O~X{V~TRT O, V, U, P c (O{V)~(U|P)RT O, V, U, T c O~U{V~TRT O, V, U, V c O{V~U|VRT O, V, V, Q c (O{V)~(V|Q)RT O, V, V, S c O{V{V~SRT O, V, V, T c O~V{V~TRT O, V, V, U c O{V~U|VRT O, V, W, R c (O{V)~(W|R)RT O, V, W, T c O~W{V~TRT O, V, X, S c (O{V)~(X|S)RT O, V, X, T c O~X{V~TRT O, W, P, T c (O{W|P)~TRT O, W, R, S c O{W~S{RRT O, W, R, V c (O{W|R)~VRT O, W, R, X c O{W{R~XRT O, W, S, R c O{W~S{RRT O, W, T, P c (O{W|P)~TRT O, W, T, T c O{W~T|TRT O, W, T, V c O~W{T~VRT O, W, V, R c (O{W|R)~VRT O, W, V, T c O~W{V~TRT O, W, X, R c O{W{X~RRT O, X, P, S c O{X~S|PRT O, X, Q, T c (O{X|Q)~TRT O, X, R, W c O{X~R{WRT O, X, S, P c O{X~S|PRT O, X, S, V c (O{X|S)~VRT O, X, T, Q c (O{X|Q)~TRT O, X, T, V c O~X{T~VRT O, X, V, S c (O{X|S)~VRT O, X, V, T c O~X{V~TRT O, X, W, R c O{X~R{WRT P, O, S, V c (P{O{S)~VRT P, O, S, X c O{S~X|PRT P, O, T, U c (P{O{U)~TRT P, O, T, V c (P{O)~(T~V)RT P, O, T, W c (O{T)~(W|P)RT P, O, U, T c (P{O{U)~TRT P, O, U, U c O{U~U|PRT P, O, U, V c (O{U|P)~VRT P, O, V, S c (P{O{S)~VRT P, O, V, T c (P{O)~(V~T)RT P, O, V, U c (O{V)~(U|P)RT P, O, W, T c (O{W|P)~TRT P, O, X, S c O{X~S|PRT P, P, R, V c (P{P{R)~VRT P, P, R, X c (P{R)~X|PRT P, P, S, U c (P{S)~(P{U)RT P, P, S, V c (P{P~S)~VRT P, P, S, W c (P{S)~(W|P)RT P, P, S, X c P~S~X|PRT P, P, T, T c (P{P{T)~TRT P, P, T, U c (P{P~U)~TRT P, P, T, V c P|P{T~VRT P, P, T, W c (P~T)~(W|P)RT P, P, T, X c (T|P)~X|PRT P, P, U, S c (P{U)~(P{S)RT P, P, U, T c (P{P~U)~TRT P, P, U, U c (P{U)~(U|P)RT P, P, U, V c (P~U|P)~VRT P, P, U, W c (U|P)~(W|P)RT P, P, V, R c (P{P{R)~VRT P, P, V, S c (P{P~S)~VRT P, P, V, T c P|P{V~TRT P, P, V, U c (P~V)~(U|P)RT P, P, V, V c (V|P|P)~VRT P, P, W, S c (P{W)~S|PRT P, P, W, T c (P~W|P)~TRT P, P, W, U c (W|P)~(U|P)RT P, P, X, R c (P{R)~X|PRT P, P, X, S c P~X~S|PRT P, P, X, T c (X|P|P)~TRT P, Q, Q, V c (P{Q{Q)~VRT P, Q, Q, X c (Q{Q)~X|PRT P, Q, R, T c (P{Q~R)~TRT P, Q, R, U c (P{U)~(Q{R)RT P, Q, R, V c (P~Q{R)~VRT P, Q, R, W c (Q{R)~(W|P)RT P, Q, S, T c (P{Q{S)~TRT P, Q, S, U c (Q{S)~U|PRT P, Q, S, V c (Q|P{S)~VRT P, Q, S, W c P{Q{S~WRT P, Q, S, X c P{S~X|QRT P, Q, T, R c (P{Q~R)~TRT P, Q, T, S c (P{Q{S)~TRT P, Q, T, T c (P~Q{T)~TRT P, Q, T, U c (Q|P{U)~TRT P, Q, T, V c (Q|P)~(T~V)RT P, Q, T, W c (P{W|Q)~TRT P, Q, T, X c (P~T)~(X|Q)RT P, Q, U, R c (P{U)~(Q{R)RT P, Q, U, S c (Q{S)~U|PRT P, Q, U, T c (Q|P{U)~TRT P, Q, U, U c P{U~U|QRT P, Q, U, V c (P{U|Q)~VRT P, Q, U, W c U~(W|Q)|PRT P, Q, U, X c (U|P)~(X|Q)RT P, Q, V, Q c (P{Q{Q)~VRT P, Q, V, R c (P~Q{R)~VRT P, Q, V, S c (Q|P{S)~VRT P, Q, V, T c (Q|P)~(V~T)RT P, Q, V, U c (P{U|Q)~VRT P, Q, V, V c (P~V|Q)~VRT P, Q, V, W c (P{WQ)~VRT P, Q, V, X c (P{X)Q~VRT P, Q, W, R c (Q{R)~(W|P)RT P, Q, W, S c P{Q{W~SRT P, Q, W, T c (P{W|Q)~TRT P, Q, W, U c (W|Q)~U|PRT P, Q, W, V c (P{WQ)~VRT P, Q, W, X c P{Q~(W{X)RT P, Q, X, Q c Q~X~Q|PRT P, Q, X, S c P{X~S|QRT P, Q, X, T c (P~X|Q)~TRT P, Q, X, U c (X|Q)~(U|P)RT P, Q, X, V c (P{X)Q~VRT P, Q, X, W c (P{Q)~X{WRT P, Q, X, X c Q~(X{X)|PRT P, R, P, V c (P{R{P)~VRT P, R, P, X c (P{R)~X|PRT P, R, Q, T c (P{R~Q)~TRT P, R, Q, U c (P{U)~(R{Q)RT P, R, Q, V c (P~R{Q)~VRT P, R, Q, W c (R{Q)~(W|P)RT P, R, R, S c R~R~S|PRT P, R, R, T c (P{R{R)~TRT P, R, R, U c (R{R)~U|PRT P, R, R, V c (R|P{R)~VRT P, R, R, W c (P{R)~W{RRT P, R, R, X c R~(R{X)|PRT P, R, S, R c R~S~R|PRT P, R, S, S c (P{S)~(R{S)RT P, R, S, T c (P~R{S)~TRT P, R, S, U c (R{S)~(U|P)RT P, R, S, V c (P{V)~S{RRT P, R, S, W c P~R{S~WRT P, R, S, X c R{S~(X|P)RT P, R, T, Q c (P{R~Q)~TRT P, R, T, R c (P{R{R)~TRT P, R, T, S c (P~R{S)~TRT P, R, T, T c (R|P{T)~TRT P, R, T, V c R~(T{V)|PRT P, R, T, W c R{(T|P)~WRT P, R, T, X c (P{X|R)~TRT P, R, U, Q c (P{U)~(R{Q)RT P, R, U, R c (R{R)~U|PRT P, R, U, S c (R{U)~S|PRT P, R, U, U c R~(U{U)|PRT P, R, U, W c (P{U)~(W|R)RT P, R, U, X c U~(X|R)|PRT P, R, V, P c (P{R{P)~VRT P, R, V, Q c (P~R{Q)~VRT P, R, V, R c (R|P{R)~VRT P, R, V, S c (P{V)~S{RRT P, R, V, T c R~(V{T)|PRT P, R, V, V c (P{R)~V{VRT P, R, V, W c (P~V)~(W|R)RT P, R, V, X c P{R~X{VRT P, R, W, Q c (R{Q)~(W|P)RT P, R, W, R c (P{R)~W{RRT P, R, W, S c P~R{W~SRT P, R, W, T c R{W~(T|P)RT P, R, W, U c (P{U)~(W|R)RT P, R, W, V c (P~W|R)~VRT P, R, W, W c (P{W)~R{WRT P, R, W, X c P~R~X{WRT P, R, X, P c (P{R)~X|PRT P, R, X, R c (R{X)~R|PRT P, R, X, S c R{(X|P)~SRT P, R, X, T c (P{X|R)~TRT P, R, X, U c (X|R)~U|PRT P, R, X, V c P{R~X{VRT P, R, X, W c P~R~X{WRT P, R, X, X c R~X|P{XRT P, S, O, V c (P{S{O)~VRT P, S, O, X c (S{O)~X|PRT P, S, P, U c (P{S)~(P{U)RT P, S, P, V c (P{S)~(P~V)RT P, S, P, W c (P{S)~(W|P)RT P, S, P, X c P~S~X|PRT P, S, Q, T c (P{S{Q)~TRT P, S, Q, U c (S{Q)~U|PRT P, S, Q, V c (S|P{Q)~VRT P, S, Q, W c P{S~W{QRT P, S, Q, X c P{S~X|QRT P, S, R, R c S~R~R|PRT P, S, R, S c (P{S)~(R{S)RT P, S, R, T c (P~S{R)~TRT P, S, R, U c (S{R)~(U|P)RT P, S, R, V c (P{V)~S{RRT P, S, R, W c P~S~W{RRT P, S, R, X c S~(X|P){RRT P, S, S, R c (P{S)~(S{R)RT P, S, S, T c (S|P{S)~TRT P, S, S, W c S|P{S~WRT P, S, S, X c S~(X|PS)RT P, S, T, Q c (P{S)~(T{Q)RT P, S, T, R c (P~S{R)~TRT P, S, T, S c (S|P{S)~TRT P, S, T, U c P{S{T~URT P, S, T, V c V(P|ST)RT P, S, T, W c (P{S)~W|TRT P, S, T, X c (P{X)~S|TRT P, S, U, P c (P{S)~(U{P)RT P, S, U, Q c (S{Q)~U|PRT P, S, U, R c S~(U{R)|PRT P, S, U, T c P{S{U~TRT P, S, U, V c P{S~V{URT P, S, U, X c (P{U)~(X|S)RT P, S, V, O c (P{S)~(V{O)RT P, S, V, P c (P{S)~(V~P)RT P, S, V, Q c (S|P{Q)~VRT P, S, V, R c (P{V)~S{RRT P, S, V, T c V(P|ST)RT P, S, V, U c P{S~V{URT P, S, V, V c P~S~V{VRT P, S, V, W c (P{W|S)~VRT P, S, V, X c (P~V)~(X|S)RT P, S, W, P c (P{S)~(W|P)RT P, S, W, Q c P{S~W{QRT P, S, W, R c P~S~W{RRT P, S, W, S c S|P{W~SRT P, S, W, T c (P{S)~W|TRT P, S, W, V c (P{W|S)~VRT P, S, W, X c (S|P)~X{WRT P, S, X, O c S~X|P{ORT P, S, X, P c P~S~X|PRT P, S, X, Q c P{S~X|QRT P, S, X, R c S~(X|P){RRT P, S, X, S c S~(X|PS)RT P, S, X, T c (P{X)~S|TRT P, S, X, U c (P{U)~(X|S)RT P, S, X, V c (P~X|S)~VRT P, S, X, W c (S|P)~X{WRT P, S, X, X c (S|PX)~XRT P, T, O, U c (P{O{U)~TRT P, T, O, V c (P~T{O)~VRT P, T, O, W c (T{O)~(W|P)RT P, T, P, T c (P{T{P)~TRT P, T, P, U c (P~T)~(P{U)RT P, T, P, V c (P{T|P)~VRT P, T, P, W c (P~T)~(W|P)RT P, T, P, X c (T|P)~X|PRT P, T, Q, R c (P{Q~R)~TRT P, T, Q, S c (P{Q{S)~TRT P, T, Q, T c (P~T{Q)~TRT P, T, Q, U c T~(Q|P{U)RT P, T, Q, V c T~(Q|P)~VRT P, T, Q, W c (P{W|Q)~TRT P, T, Q, X c (P~T)~(X|Q)RT P, T, R, Q c (P{R~Q)~TRT P, T, R, R c (P{R{R)~TRT P, T, R, S c (P~T)~(R{S)RT P, T, R, T c (T|P{R)~TRT P, T, R, V c (T{V)~R|PRT P, T, R, W c (T|P)~W{RRT P, T, R, X c (P{X|R)~TRT P, T, S, Q c (P{S)~(T{Q)RT P, T, S, R c (P~T)~(S{R)RT P, T, S, S c T~(S|P{S)RT P, T, S, U c P{T~U{SRT P, T, S, V c V(P|ST)RT P, T, S, W c (P{S)~W|TRT P, T, S, X c (P{X)~S|TRT P, T, T, P c (P{T{P)~TRT P, T, T, Q c (P~T)~(T{Q)RT P, T, T, R c (T|P{R)~TRT P, T, T, T c (P{T)~T{TRT P, T, T, U c P~T{T~URT P, T, T, V c (P{V)~T|TRT P, T, T, W c P~T~W|TRT P, T, T, X c P{T~T{XRT P, T, U, O c (P{U)~(T{O)RT P, T, U, P c (P{T)~U|PRT P, T, U, Q c T~(U|P{Q)RT P, T, U, S c P{T~U{SRT P, T, U, T c P~T{U~TRT P, T, U, U c T{(U|P)~URT P, T, U, V c T(P|UV)RT P, T, U, W c P{T~W|URT P, T, V, O c P~T~V{ORT P, T, V, P c P{T~V|PRT P, T, V, Q c (T~V)~(Q|P)RT P, T, V, R c (T{V)~R|PRT P, T, V, S c V(P|ST)RT P, T, V, T c (P{V)~T|TRT P, T, V, U c T(P|UV)RT P, T, V, V c (P{T)~V|VRT P, T, V, W c T(WV|P)RT P, T, V, X c (P{X|T)~VRT P, T, W, O c T~(W|P){ORT P, T, W, P c (P~T)~(W|P)RT P, T, W, Q c (P{W|Q)~TRT P, T, W, R c (T|P)~W{RRT P, T, W, S c (P{S)~W|TRT P, T, W, T c P~T~W|TRT P, T, W, U c P{T~W|URT P, T, W, V c T(WV|P)RT P, T, X, P c (T|P)~X|PRT P, T, X, Q c (P~T)~(X|Q)RT P, T, X, R c (P{X|R)~TRT P, T, X, S c (P{X)~S|TRT P, T, X, T c P{T~T{XRT P, T, X, V c (P{X|T)~VRT P, T, X, X c (T~X)|(P{X)RT P, U, O, T c (P{U{O)~TRT P, U, O, U c (U{O)~U|PRT P, U, O, V c (U|P{O)~VRT P, U, P, S c (P{U)~(P{S)RT P, U, P, T c (P{U)~(P~T)RT P, U, P, U c (P{U)~(U|P)RT P, U, P, V c (P~U|P)~VRT P, U, P, W c (U|P)~(W|P)RT P, U, Q, R c (P{U)~(Q{R)RT P, U, Q, S c U~(Q{S)|PRT P, U, Q, T c (U|P{Q)~TRT P, U, Q, U c P{U~U|QRT P, U, Q, V c (P{U|Q)~VRT P, U, Q, W c U~(W|Q)|PRT P, U, Q, X c (U|P)~(X|Q)RT P, U, R, Q c (P{U)~(R{Q)RT P, U, R, R c U~(R{R)|PRT P, U, R, S c (U|P)~(R{S)RT P, U, R, U c (U{U)~R|PRT P, U, R, W c (P{U)~(W|R)RT P, U, R, X c U~(X|R)|PRT P, U, S, P c (P{U)~(S{P)RT P, U, S, Q c U~(S{Q)|PRT P, U, S, R c (U|P)~(S{R)RT P, U, S, T c P{U~T{SRT P, U, S, V c P{U{S~VRT P, U, S, X c (P{U)~(X|S)RT P, U, T, O c (P{U)~(T{O)RT P, U, T, P c (P{U)~(T~P)RT P, U, T, Q c (U|P)~(T{Q)RT P, U, T, S c P{U~T{SRT P, U, T, T c P~U~T{TRT P, U, T, U c U|P{T~URT P, U, T, V c T(P|UV)RT P, U, T, W c P{T~W|URT P, U, U, O c U~U|P{ORT P, U, U, P c (P{U)~(U|P)RT P, U, U, Q c P{U~U|QRT P, U, U, R c (U{U)~R|PRT P, U, U, T c U|P{U~TRT P, U, U, U c (U|PU)~URT P, U, U, V c (P{U)~U|VRT P, U, V, O c (U|P)~(V{O)RT P, U, V, P c (P~U|P)~VRT P, U, V, Q c (P{U)~(V|Q)RT P, U, V, S c P{U{V~SRT P, U, V, T c V(UT|P)RT P, U, V, U c (P{U)~U|VRT P, U, V, V c P~U~V|VRT P, U, V, W c P{U~V|WRT P, U, W, P c (U|P)~(W|P)RT P, U, W, Q c U~(W|Q)|PRT P, U, W, R c (P{U)~(W|R)RT P, U, W, T c P{W~T|URT P, U, W, V c P{U~V|WRT P, U, X, Q c (U|P)~(X|Q)RT P, U, X, R c U~(X|R)|PRT P, U, X, S c (P{U)~(X|S)RT P, V, O, S c (P{O{S)~VRT P, V, O, T c (P~V{O)~TRT P, V, O, U c (V{O)~(U|P)RT P, V, P, R c (P{P{R)~VRT P, V, P, S c (P~V)~(P{S)RT P, V, P, T c (P{V|P)~TRT P, V, P, U c (P~V)~(U|P)RT P, V, P, V c (V|P|P)~VRT P, V, Q, Q c (P{Q{Q)~VRT P, V, Q, R c (P~V)~(Q{R)RT P, V, Q, S c V~(Q|P{S)RT P, V, Q, T c V~(Q|P)~TRT P, V, Q, U c (P{U)~(V|Q)RT P, V, Q, V c (P~V|Q)~VRT P, V, Q, W c (P{WQ)~VRT P, V, Q, X c (P{X)~(VQ)RT P, V, R, P c (P{R{P)~VRT P, V, R, Q c (P~V)~(R{Q)RT P, V, R, R c V~(R|P{R)RT P, V, R, S c (P{V)~S{RRT P, V, R, T c (V{T)~R|PRT P, V, R, V c (P{V|R)~VRT P, V, R, W c (P~V)~(W|R)RT P, V, R, X c P{V{R~XRT P, V, S, O c (P{S)~(V{O)RT P, V, S, P c (P~V)~(S{P)RT P, V, S, Q c V~(S|P{Q)RT P, V, S, R c (P{V)~S{RRT P, V, S, T c V(P|ST)RT P, V, S, U c P{V~S{URT P, V, S, V c P~V{S~VRT P, V, S, W c (P{W|S)~VRT P, V, S, X c (P~V)~(X|S)RT P, V, T, O c P~V~T{ORT P, V, T, P c P{V~T|PRT P, V, T, Q c (V~T)~(Q|P)RT P, V, T, R c (V{T)~R|PRT P, V, T, S c V(P|ST)RT P, V, T, T c (P{V)~T|TRT P, V, T, U c V(UT|P)RT P, V, T, V c (P{T)~V|VRT P, V, T, W c T(WV|P)RT P, V, T, X c (P{X|T)~VRT P, V, U, O c V~(U|P){ORT P, V, U, P c (P~V)~(U|P)RT P, V, U, Q c (P{U)~(V|Q)RT P, V, U, S c P{V~S{URT P, V, U, T c V(UT|P)RT P, V, U, U c (P{U)~U|VRT P, V, U, V c P~V~U|VRT P, V, U, W c P{V~U|WRT P, V, V, P c (V|P|P)~VRT P, V, V, Q c (P~V)~(V|Q)RT P, V, V, R c (P{V|R)~VRT P, V, V, S c P~V{V~SRT P, V, V, T c (P{T)~V|VRT P, V, V, U c P~V~U|VRT P, V, V, V c (V|P)~V|VRT P, V, W, Q c (P{WQ)~VRT P, V, W, R c (P~V)~(W|R)RT P, V, W, S c (P{W|S)~VRT P, V, W, T c T(WV|P)RT P, V, W, U c P{V~U|WRT P, V, X, Q c (P{X)~(VQ)RT P, V, X, R c P{V{X~RRT P, V, X, S c (P~V)~(X|S)RT P, V, X, T c (P{X|T)~VRT P, W, O, T c (W|P{O)~TRT P, W, P, S c (P{W)~S|PRT P, W, P, T c (P~W|P)~TRT P, W, P, U c (W|P)~(U|P)RT P, W, Q, R c (W|P)~(Q{R)RT P, W, Q, S c P{W~S{QRT P, W, Q, T c (P{W|Q)~TRT P, W, Q, U c (W|Q)~U|PRT P, W, Q, V c (P{WQ)~VRT P, W, Q, X c P{(W{X)~QRT P, W, R, Q c (W|P)~(R{Q)RT P, W, R, R c (P{R)~W{RRT P, W, R, S c P~W~S{RRT P, W, R, T c W~(T|P){RRT P, W, R, U c (P{U)~(W|R)RT P, W, R, V c (P~W|R)~VRT P, W, R, W c (P{W)~R{WRT P, W, R, X c P~W{R~XRT P, W, S, P c (P{W)~S|PRT P, W, S, Q c P{W~S{QRT P, W, S, R c P~W~S{RRT P, W, S, S c W~S|P{SRT P, W, S, T c (P{S)~W|TRT P, W, S, V c (P{W|S)~VRT P, W, S, X c (W|P)~(X|S)RT P, W, T, O c (W|P)~(T{O)RT P, W, T, P c (P~W|P)~TRT P, W, T, Q c (P{W|Q)~TRT P, W, T, R c W~(T|P){RRT P, W, T, S c (P{S)~W|TRT P, W, T, T c P~W~T|TRT P, W, T, U c P{W~T|URT P, W, T, V c T(WV|P)RT P, W, U, P c (W|P)~(U|P)RT P, W, U, Q c (W|Q)~U|PRT P, W, U, R c (P{U)~(W|R)RT P, W, U, T c P{W~T|URT P, W, U, V c P{U~V|WRT P, W, V, Q c (P{WQ)~VRT P, W, V, R c (P~W|R)~VRT P, W, V, S c (P{W|S)~VRT P, W, V, T c T(WV|P)RT P, W, V, U c P{V~U|WRT P, W, W, R c (P{W)~R{WRT P, W, X, Q c P{(W{X)~QRT P, W, X, R c P~W{X~RRT P, W, X, S c (W|P)~(X|S)RT P, X, O, S c (X{O)~S|PRT P, X, P, R c (P{R)~X|PRT P, X, P, S c P~X~S|PRT P, X, P, T c (X|P|P)~TRT P, X, Q, Q c X~(Q{Q)|PRT P, X, Q, S c P{X~S|QRT P, X, Q, T c (P~X|Q)~TRT P, X, Q, U c (X|Q)~(U|P)RT P, X, Q, V c (P{X)Q~VRT P, X, Q, W c P{(X{W)~QRT P, X, Q, X c (X{X)~Q|PRT P, X, R, P c (P{R)~X|PRT P, X, R, R c (X{R)~R|PRT P, X, R, S c (X|P)~S{RRT P, X, R, T c (P{X|R)~TRT P, X, R, U c (X|R)~U|PRT P, X, R, V c P{X~R{VRT P, X, R, W c P~X~R{WRT P, X, R, X c X|P{R~XRT P, X, S, O c X~S|P{ORT P, X, S, P c P~X~S|PRT P, X, S, Q c P{X~S|QRT P, X, S, R c (X|P)~S{RRT P, X, S, S c (X|PS)~SRT P, X, S, T c (P{X)~S|TRT P, X, S, U c (P{U)~(X|S)RT P, X, S, V c (P~X|S)~VRT P, X, S, W c X~(S|P){WRT P, X, S, X c X~(S|PX)RT P, X, T, P c (X|P|P)~TRT P, X, T, Q c (P~X|Q)~TRT P, X, T, R c (P{X|R)~TRT P, X, T, S c (P{X)~S|TRT P, X, T, T c P{X{T~TRT P, X, T, V c (P{X|T)~VRT P, X, T, X c (X~T)|(P{X)RT P, X, U, Q c X~(U|Q)|PRT P, X, U, R c (X|R)~U|PRT P, X, U, S c (P{U)~(X|S)RT P, X, V, Q c (P{X)~(VQ)RT P, X, V, R c P{X~R{VRT P, X, V, S c (P~X|S)~VRT P, X, V, T c (P{X|T)~VRT P, X, W, Q c P{(X{W)~QRT P, X, W, R c P~X~R{WRT P, X, W, S c X~(W|S)|PRT P, X, X, Q c (X{X)~Q|PRT P, X, X, R c X|P{X~RRT P, X, X, S c X~(S|PX)RT P, X, X, T c X~(X|T)|PRT Q, O, R, V c (Q{O{R)~VRT Q, O, T, T c (Q{O{T)~TRT Q, O, T, V c Q~O{T~VRT Q, O, T, X c (O{T)~(X|Q)RT Q, O, V, R c (Q{O{R)~VRT Q, O, V, T c Q~O{V~TRT Q, O, V, V c (O{V|Q)~VRT Q, O, X, T c (O{X|Q)~TRT Q, P, Q, V c (Q{P{Q)~VRT Q, P, Q, X c (Q{Q)~X|PRT Q, P, R, T c (Q~R{P)~TRT Q, P, R, U c (Q{R)~(P{U)RT Q, P, R, V c (Q{P~R)~VRT Q, P, R, W c (Q{R)~(W|P)RT Q, P, S, T c (Q{P{S)~TRT Q, P, S, U c (Q{S)~U|PRT Q, P, S, V c (Q|P{S)~VRT Q, P, S, W c Q{P{S~WRT Q, P, S, X c P{S~X|QRT Q, P, T, R c (Q~R{P)~TRT Q, P, T, S c (Q{P{S)~TRT Q, P, T, T c (Q{P~T)~TRT Q, P, T, U c (Q|P{U)~TRT Q, P, T, V c (Q|P)~(T~V)RT Q, P, T, W c (P{W|Q)~TRT Q, P, T, X c (P~T)~(X|Q)RT Q, P, U, R c Q~U~R|PRT Q, P, U, S c (Q{S)~U|PRT Q, P, U, T c (Q|P{U)~TRT Q, P, U, U c P{U~U|QRT Q, P, U, V c (P{U|Q)~VRT Q, P, U, W c U~(W|Q)|PRT Q, P, U, X c (U|Q)~X|PRT Q, P, V, Q c (Q{P{Q)~VRT Q, P, V, R c (Q{P~R)~VRT Q, P, V, S c (Q|P{S)~VRT Q, P, V, T c (Q|P)~(V~T)RT Q, P, V, U c (P{U|Q)~VRT Q, P, V, V c (P~V|Q)~VRT Q, P, V, W c (P{WQ)~VRT Q, P, V, X c (P{X)Q~VRT Q, P, W, R c (Q{R)~(W|P)RT Q, P, W, S c Q{P{W~SRT Q, P, W, T c (P{W|Q)~TRT Q, P, W, U c (W|Q)~U|PRT Q, P, W, V c (P{WQ)~VRT Q, P, W, X c (Q{P)~X{WRT Q, P, X, Q c Q~X~Q|PRT Q, P, X, S c P{X~S|QRT Q, P, X, T c (P~X|Q)~TRT Q, P, X, U c (X|Q)~(U|P)RT Q, P, X, V c (P{X)Q~VRT Q, P, X, W c (Q{P)~X{WRT Q, P, X, X c Q~(X{X)|PRT Q, Q, P, V c (Q{Q{P)~VRT Q, Q, P, X c (Q{Q)~X|PRT Q, Q, R, T c (Q{Q{R)~TRT Q, Q, R, W c (Q{Q)~W{RRT Q, Q, R, X c Q{(Q{X)~RRT Q, Q, S, V c (QQ{S)~VRT Q, Q, S, X c S~X|QQRT Q, Q, T, R c (Q{Q{R)~TRT Q, Q, T, U c (QQ{U)~TRT Q, Q, T, V c Q|Q{T~VRT Q, Q, T, W c T~(W|QQ)RT Q, Q, U, T c (QQ{U)~TRT Q, Q, U, U c U~U|QQRT Q, Q, U, V c (Q{UQ)~VRT Q, Q, V, P c (Q{Q{P)~VRT Q, Q, V, S c (QQ{S)~VRT Q, Q, V, T c Q|Q{V~TRT Q, Q, V, U c (Q{UQ)~VRT Q, Q, V, V c (Q{Q)~V{VRT Q, Q, V, W c (Q{W)Q~VRT Q, Q, V, X c (V|Q)~(X|Q)RT Q, Q, W, R c (Q{Q)~W{RRT Q, Q, W, T c (W|QQ)~TRT Q, Q, W, V c (Q{W)Q~VRT Q, Q, W, X c (W~X|Q)QRT Q, Q, X, P c (Q{Q)~X|PRT Q, Q, X, R c Q{(Q{X)~RRT Q, Q, X, S c X~S|QQRT Q, Q, X, V c (X|Q|Q)~VRT Q, Q, X, W c (X~W|Q)QRT Q, R, O, V c (Q{R{O)~VRT Q, R, P, T c (Q~R{P)~TRT Q, R, P, U c (Q{R)~(P{U)RT Q, R, P, V c (Q{R)~(P~V)RT Q, R, P, W c (Q{R)~(W|P)RT Q, R, Q, T c (Q{R{Q)~TRT Q, R, Q, W c (Q{Q)~W{RRT Q, R, Q, X c Q{R~(Q{X)RT Q, R, R, S c (Q{R)~(R{S)RT Q, R, R, T c (R~R|Q)~TRT Q, R, R, W c Q{R~(R{W)RT Q, R, S, R c (Q{R)~(S{R)RT Q, R, S, S c Q~S~S{RRT Q, R, S, U c (Q{U)~S{RRT Q, R, S, V c Q{R~(S{V)RT Q, R, S, X c Q~S{R~XRT Q, R, T, P c (Q~R{P)~TRT Q, R, T, Q c (Q{R)~(T{Q)RT Q, R, T, R c (R~R|Q)~TRT Q, R, T, T c Q~R~T{TRT Q, R, T, U c Q{R{T~URT Q, R, T, V c (R|Q)~(T~V)RT Q, R, T, W c (Q{R)~W|TRT Q, R, U, P c (Q{R)~(U{P)RT Q, R, U, S c (Q{U)~S{RRT Q, R, U, T c Q{R{U~TRT Q, R, U, U c Q{U~U|RRT Q, R, U, V c (Q{U|R)~VRT Q, R, U, W c R{(U|Q)~WRT Q, R, U, X c Q{R~X{URT Q, R, V, O c (Q{R)~(V{O)RT Q, R, V, P c (Q{R)~(V~P)RT Q, R, V, S c Q{R~(V{S)RT Q, R, V, T c (R|Q)~(V~T)RT Q, R, V, U c (Q{U|R)~VRT Q, R, V, V c Q~R~V|VRT Q, R, V, W c (Q{V)~R{WRT Q, R, V, X c Q~(V{X){RRT Q, R, W, P c (Q{R)~(W|P)RT Q, R, W, Q c Q~W~Q{RRT Q, R, W, R c Q{(R{W)~RRT Q, R, W, T c (Q{R)~W|TRT Q, R, W, U c R{W~(U|Q)RT Q, R, W, V c (Q{V)~R{WRT Q, R, W, W c Q~(W{W){RRT Q, R, W, X c Q{R~W{XRT Q, R, X, Q c Q{R~(X{Q)RT Q, R, X, S c Q{X~S|RRT Q, R, X, U c Q{R~X{URT Q, R, X, V c (Q{XR)~VRT Q, R, X, W c Q{R~W{XRT Q, S, P, T c (Q{S{P)~TRT Q, S, P, U c (Q{S)~U|PRT Q, S, P, V c (Q{S|P)~VRT Q, S, P, W c Q{S~W{PRT Q, S, P, X c (S{P)~(X|Q)RT Q, S, Q, V c (QQ{S)~VRT Q, S, Q, X c S~X|QQRT Q, S, R, R c (Q{R)~(S{R)RT Q, S, R, S c Q~S~S{RRT Q, S, R, U c (Q{U)~S{RRT Q, S, R, V c (Q~S|R)~VRT Q, S, R, X c Q~S{R~XRT Q, S, S, R c Q~S~S{RRT Q, S, T, P c (Q{S{P)~TRT Q, S, T, T c (Q{S)~T{TRT Q, S, T, U c (S{UQ)~TRT Q, S, T, V c Q{S~V{TRT Q, S, T, W c (Q{W)~S|TRT Q, S, T, X c (Q{T)~(X|S)RT Q, S, U, P c (Q{S)~U|PRT Q, S, U, R c (Q{U)~S{RRT Q, S, U, T c (S{UQ)~TRT Q, S, U, V c (S{U)Q~VRT Q, S, U, W c S~W{UQRT Q, S, U, X c Q{S~U{XRT Q, S, V, P c (Q{S|P)~VRT Q, S, V, Q c (QQ{S)~VRT Q, S, V, R c Q{(S{V)~RRT Q, S, V, T c Q{S~V{TRT Q, S, V, U c (S{U)Q~VRT Q, S, V, V c (Q{S)~V|VRT Q, S, V, X c S~V|Q{XRT Q, S, W, P c Q{S~W{PRT Q, S, W, T c (Q{W)~S|TRT Q, S, W, U c S~W{UQRT Q, S, W, X c S~(X|QW)RT Q, S, X, P c S~X|Q{PRT Q, S, X, Q c S~X|QQRT Q, S, X, R c Q{S~X|RRT Q, S, X, T c (Q{X|S)~TRT Q, S, X, U c Q{S~U{XRT Q, S, X, V c S~(X|Q){VRT Q, S, X, W c S~(X|QW)RT Q, S, X, X c Q~(S{X){XRT Q, T, O, T c (Q{T{O)~TRT Q, T, O, V c Q~O{T~VRT Q, T, O, X c (T{O)~(X|Q)RT Q, T, P, R c (Q~R{P)~TRT Q, T, P, S c (Q{T)~(P{S)RT Q, T, P, T c (Q{T)~(P~T)RT Q, T, P, U c (Q{T)~(U|P)RT Q, T, P, V c (Q|P)~(T~V)RT Q, T, P, W c T~(P{W|Q)RT Q, T, P, X c (T~P)~(X|Q)RT Q, T, Q, R c (Q{T)~(Q{R)RT Q, T, Q, U c (QQ{U)~TRT Q, T, Q, V c (Q{T|Q)~VRT Q, T, Q, W c T~(W|QQ)RT Q, T, R, P c (Q~R{P)~TRT Q, T, R, Q c (Q{T)~(R{Q)RT Q, T, R, R c T~(R~R|Q)RT Q, T, R, T c (Q~T|R)~TRT Q, T, R, U c Q{(T{U)~RRT Q, T, R, V c T~(R|Q)~VRT Q, T, R, W c (Q{T)~(W|R)RT Q, T, S, P c (Q{T)~(S{P)RT Q, T, S, T c Q~T~S|TRT Q, T, S, U c T~(S{UQ)RT Q, T, S, V c Q{T{S~VRT Q, T, S, W c (Q{W)~S|TRT Q, T, S, X c (Q{T)~(X|S)RT Q, T, T, O c (Q{T)~(T{O)RT Q, T, T, P c (Q{T)~(T~P)RT Q, T, T, R c (Q~T|R)~TRT Q, T, T, S c Q~T~S|TRT Q, T, T, T c Q~T{T~TRT Q, T, T, U c (Q{U)~T|TRT Q, T, T, V c (Q~T|T)~VRT Q, T, T, W c Q{T~T{WRT Q, T, T, X c (TQ)~(T{X)RT Q, T, U, P c (Q{T)~(U|P)RT Q, T, U, Q c (QQ{U)~TRT Q, T, U, R c Q{(T{U)~RRT Q, T, U, S c T~(UQ{S)RT Q, T, U, T c (Q{U)~T|TRT Q, T, U, V c (Q{T)~U|VRT Q, T, U, W c (TQ)~(U{W)RT Q, T, U, X c Q~(U{X){TRT Q, T, V, O c Q~O{T~VRT Q, T, V, P c (Q|P)~(T~V)RT Q, T, V, Q c Q{T~V|QRT Q, T, V, R c (T~V)~(R|Q)RT Q, T, V, S c Q{T{V~SRT Q, T, V, T c (Q~T|T)~VRT Q, T, V, U c (Q{T)~U|VRT Q, T, V, V c (Q~V|V)~TRT Q, T, V, W c Q{T~W|VRT Q, T, V, X c Q~(T{X){VRT Q, T, W, P c T~(W|Q{P)RT Q, T, W, Q c T~(W|QQ)RT Q, T, W, R c (Q{T)~(W|R)RT Q, T, W, S c (Q{W)~S|TRT Q, T, W, T c Q{T~T{WRT Q, T, W, U c (TQ)~(W{U)RT Q, T, W, V c Q{T~W|VRT Q, T, W, X c Q~(T{W){XRT Q, T, X, O c T~(X|Q){ORT Q, T, X, P c T~(X|Q)~PRT Q, T, X, S c (Q{T)~(X|S)RT Q, T, X, T c (TQ)~(X{T)RT Q, T, X, U c Q~(X{U){TRT Q, T, X, V c Q~(T{X){VRT Q, T, X, W c Q~(T{W){XRT Q, U, P, R c Q~U~R|PRT Q, U, P, S c (Q{S)~U|PRT Q, U, P, T c (Q{U|P)~TRT Q, U, P, U c U~U|Q{PRT Q, U, P, V c (U|Q{P)~VRT Q, U, P, W c U~(W|Q)|PRT Q, U, P, X c (U|Q)~X|PRT Q, U, Q, T c (QQ{U)~TRT Q, U, Q, U c U~U|QQRT Q, U, Q, V c (Q{UQ)~VRT Q, U, R, P c Q~U~R|PRT Q, U, R, S c (Q{U)~S{RRT Q, U, R, T c Q{(U{T)~RRT Q, U, R, U c Q{U~U|RRT Q, U, R, V c (Q{U|R)~VRT Q, U, R, W c (U|Q)~W{RRT Q, U, R, X c Q{U{R~XRT Q, U, S, P c (Q{S)~U|PRT Q, U, S, R c (Q{U)~S{RRT Q, U, S, T c (UQ{S)~TRT Q, U, S, V c (U{S)Q~VRT Q, U, S, W c UQ{S~WRT Q, U, S, X c Q{U~S{XRT Q, U, T, P c (Q{U|P)~TRT Q, U, T, Q c (QQ{U)~TRT Q, U, T, R c Q{(U{T)~RRT Q, U, T, S c (UQ{S)~TRT Q, U, T, T c (Q{U)~T|TRT Q, U, T, V c (Q{T)~U|VRT Q, U, T, W c (U{W)Q~TRT Q, U, T, X c Q~(U{X){TRT Q, U, U, P c U~U|Q{PRT Q, U, U, Q c U~U|QQRT Q, U, U, R c Q{U~U|RRT Q, U, V, P c (U|Q{P)~VRT Q, U, V, Q c (Q{UQ)~VRT Q, U, V, R c (Q{U|R)~VRT Q, U, V, S c (U{S)Q~VRT Q, U, V, T c (Q{T)~U|VRT Q, U, V, V c (Q~U|V)~VRT Q, U, V, W c Q~(U{W){VRT Q, U, V, X c Q{U~V|XRT Q, U, W, P c U~(W|Q)|PRT Q, U, W, R c (U|Q)~W{RRT Q, U, W, S c UQ{W~SRT Q, U, W, T c (U{W)Q~TRT Q, U, W, V c Q~(U{W){VRT Q, U, W, W c (U{W~W)QRT Q, U, W, X c UQ~X{WRT Q, U, X, P c (U|Q)~X|PRT Q, U, X, R c Q{U{X~RRT Q, U, X, S c Q{U~S{XRT Q, U, X, T c Q~(U{X){TRT Q, U, X, V c Q{U~V|XRT Q, U, X, W c UQ~X{WRT Q, V, O, R c (Q{O{R)~VRT Q, V, O, T c Q~O{V~TRT Q, V, O, V c (V|Q{O)~VRT Q, V, P, Q c (Q{P{Q)~VRT Q, V, P, R c (Q{P~R)~VRT Q, V, P, S c (Q{V)~S|PRT Q, V, P, T c (Q|P)~(V~T)RT Q, V, P, U c (V|Q)~(P{U)RT Q, V, P, V c (V|Q)~(P~V)RT Q, V, P, W c (V|Q)~(W|P)RT Q, V, P, X c (VQ)~(P{X)RT Q, V, Q, P c (Q{Q{P)~VRT Q, V, Q, S c (QQ{S)~VRT Q, V, Q, T c (Q{V|Q)~TRT Q, V, Q, U c (Q{UQ)~VRT Q, V, Q, V c Q~V~Q{VRT Q, V, Q, W c (Q{W)~(VQ)RT Q, V, Q, X c (V|Q)~(X|Q)RT Q, V, R, O c (Q{R)~(V{O)RT Q, V, R, P c (Q{R)~(V~P)RT Q, V, R, S c Q{(V{S)~RRT Q, V, R, T c V~(R|Q)~TRT Q, V, R, U c (Q{U|R)~VRT Q, V, R, V c Q~V{R~VRT Q, V, R, W c (Q{V)~R{WRT Q, V, R, X c Q~(V{X){RRT Q, V, S, P c (Q{V)~S|PRT Q, V, S, Q c (QQ{S)~VRT Q, V, S, R c Q{(V{S)~RRT Q, V, S, T c Q{V~S{TRT Q, V, S, U c (VQ)~(S{U)RT Q, V, S, V c (Q{V|S)~VRT Q, V, S, X c V~S|Q{XRT Q, V, T, O c Q~O{V~TRT Q, V, T, P c (Q|P)~(V~T)RT Q, V, T, Q c Q{V~T|QRT Q, V, T, R c (V~T)~(R|Q)RT Q, V, T, S c Q{V~S{TRT Q, V, T, T c (Q~T|T)~VRT Q, V, T, U c (Q{T)~U|VRT Q, V, T, V c (Q~V|V)~TRT Q, V, T, W c Q~(V{W){TRT Q, V, T, X c Q~(T{X){VRT Q, V, U, P c (V|Q)~(U{P)RT Q, V, U, Q c (Q{UQ)~VRT Q, V, U, R c (Q{U|R)~VRT Q, V, U, S c (VQ)~(U{S)RT Q, V, U, T c (Q{T)~U|VRT Q, V, U, V c (Q~U|V)~VRT Q, V, U, W c Q~(U{W){VRT Q, V, U, X c Q{V~U|XRT Q, V, V, O c (V|Q)~(V{O)RT Q, V, V, P c (V|Q)~(V~P)RT Q, V, V, Q c Q~V~Q{VRT Q, V, V, R c Q~V{V~RRT Q, V, V, S c (Q{V|S)~VRT Q, V, V, T c (Q~V|V)~TRT Q, V, V, U c (Q~U|V)~VRT Q, V, V, V c Q~(V{V){VRT Q, V, V, W c VQ~W{VRT Q, V, V, X c (Q~V|X)~VRT Q, V, W, P c (V|Q)~(W|P)RT Q, V, W, Q c (Q{W)~(VQ)RT Q, V, W, R c (Q{V)~R{WRT Q, V, W, T c Q~(V{W){TRT Q, V, W, U c Q~(W{U){VRT Q, V, W, V c VQ~W{VRT Q, V, W, X c V~(X|WQ)RT Q, V, X, P c (VQ)~(X{P)RT Q, V, X, Q c (V|Q)~(X|Q)RT Q, V, X, R c Q~(V{X){RRT Q, V, X, S c V{(X|Q)~SRT Q, V, X, T c Q~(X{T){VRT Q, V, X, U c Q{V~U|XRT Q, V, X, V c (Q~V|X)~VRT Q, V, X, W c V~(X|WQ)RT Q, W, P, R c (Q{R)~(W|P)RT Q, W, P, S c Q{W~S{PRT Q, W, P, T c (W|Q{P)~TRT Q, W, P, U c (W|Q)~U|PRT Q, W, P, V c (W|Q|P)~VRT Q, W, P, X c Q~(W{X){PRT Q, W, Q, R c Q~W~Q{RRT Q, W, Q, T c (W|QQ)~TRT Q, W, Q, V c (Q{W)Q~VRT Q, W, Q, X c (W~X|Q)QRT Q, W, R, P c (Q{R)~(W|P)RT Q, W, R, Q c Q~W~Q{RRT Q, W, R, R c Q{(W{R)~RRT Q, W, R, T c (Q{W|R)~TRT Q, W, R, U c W~(U|Q){RRT Q, W, R, V c (Q{V)~R{WRT Q, W, R, W c Q~(W{W){RRT Q, W, R, X c Q{W~R{XRT Q, W, S, P c Q{W~S{PRT Q, W, S, T c (Q{W)~S|TRT Q, W, S, U c W~S{UQRT Q, W, S, X c S~(X|QW)RT Q, W, T, P c (W|Q{P)~TRT Q, W, T, Q c (W|QQ)~TRT Q, W, T, R c (Q{W|R)~TRT Q, W, T, S c (Q{W)~S|TRT Q, W, T, T c Q{W{T~TRT Q, W, T, U c (W{U)Q~TRT Q, W, T, V c (Q{W|T)~VRT Q, W, T, X c Q~(W{T){XRT Q, W, U, P c (W|Q)~U|PRT Q, W, U, R c W~(U|Q){RRT Q, W, U, S c W~S{UQRT Q, W, U, T c (W{U)Q~TRT Q, W, U, V c Q~(W{U){VRT Q, W, U, W c (W~W{U)QRT Q, W, U, X c W{UQ~XRT Q, W, V, P c (W|Q|P)~VRT Q, W, V, Q c (Q{W)~(VQ)RT Q, W, V, R c (Q{V)~R{WRT Q, W, V, T c Q~(W{V){TRT Q, W, V, U c Q~(W{U){VRT Q, W, V, V c (W|Q)~V|VRT Q, W, V, X c V~(X|WQ)RT Q, W, W, R c Q~(W{W){RRT Q, W, W, U c (W~W{U)QRT Q, W, X, P c Q~(W{X){PRT Q, W, X, Q c (W~X|Q)QRT Q, W, X, R c Q{W~R{XRT Q, W, X, S c (X|QW)~SRT Q, W, X, T c (Q~W|X)~TRT Q, W, X, U c W{XQ~URT Q, W, X, V c (X|WQ)~VRT Q, W, X, X c Q~X{W{XRT Q, X, O, T c (X|Q{O)~TRT Q, X, P, Q c Q~X~Q|PRT Q, X, P, S c (X|Q)~(P{S)RT Q, X, P, T c (X|Q)~(P~T)RT Q, X, P, U c (X|Q)~(U|P)RT Q, X, P, V c (X{P)Q~VRT Q, X, P, W c Q~(X{W){PRT Q, X, P, X c Q~(X{X)|PRT Q, X, Q, P c Q~X~Q|PRT Q, X, Q, R c Q{(X{Q)~RRT Q, X, Q, S c X~S|QQRT Q, X, Q, V c (X|Q|Q)~VRT Q, X, Q, W c (X~W|Q)QRT Q, X, R, Q c (Q{X)~R{QRT Q, X, R, S c Q{X~S|RRT Q, X, R, U c Q{X~R{URT Q, X, R, V c (Q{XR)~VRT Q, X, R, W c Q{X{R~WRT Q, X, S, P c (X|Q)~(S{P)RT Q, X, S, Q c X~S|QQRT Q, X, S, R c Q{X~S|RRT Q, X, S, T c (Q{X|S)~TRT Q, X, S, U c Q{X{S~URT Q, X, S, V c X|Q{S~VRT Q, X, S, W c (X|QW)~SRT Q, X, S, X c (Q{X)~S|XRT Q, X, T, O c (X|Q)~(T{O)RT Q, X, T, P c (X|Q)~(T~P)RT Q, X, T, S c (Q{X|S)~TRT Q, X, T, T c (X{T)Q~TRT Q, X, T, U c Q~(X{U){TRT Q, X, T, V c Q~(X{T){VRT Q, X, T, W c Q~(T{W){XRT Q, X, U, P c (X|Q)~(U|P)RT Q, X, U, R c Q{X~R{URT Q, X, U, S c Q{X{U~SRT Q, X, U, T c Q~(X{U){TRT Q, X, U, V c (Q{X|U)~VRT Q, X, U, W c XQ~U{WRT Q, X, V, P c (X{P)Q~VRT Q, X, V, Q c (X|Q)~(V|Q)RT Q, X, V, R c Q~(X{V){RRT Q, X, V, S c X|Q{V~SRT Q, X, V, T c Q~(X{T){VRT Q, X, V, U c (Q{X|U)~VRT Q, X, V, V c (Q~V|X)~VRT Q, X, V, W c (X|WQ)~VRT Q, X, W, P c Q~(X{W){PRT Q, X, W, Q c (X~W|Q)QRT Q, X, W, R c Q{X{W~RRT Q, X, W, S c (X|QW)~SRT Q, X, W, T c (Q~W|X)~TRT Q, X, W, U c XQ~U{WRT Q, X, W, V c (X|WQ)~VRT Q, X, W, X c Q~X{W{XRT Q, X, X, P c Q~(X{X)|PRT Q, X, X, S c (Q{X)~S|XRT Q, X, X, W c Q~X{X{WRT R, O, Q, V c (R{O{Q)~VRT R, O, S, T c (R{O{S)~TRT R, O, S, W c R{O{S~WRT R, O, T, S c (R{O{S)~TRT R, O, T, V c R~O{T~VRT R, O, V, Q c (R{O{Q)~VRT R, O, V, T c R~O{V~TRT R, O, V, W c (O{V)~(W|R)RT R, O, W, S c R{O{W~SRT R, O, W, V c (O{W|R)~VRT R, O, W, X c (R{O)~X{WRT R, O, X, W c (R{O)~X{WRT R, P, P, V c (R{P{P)~VRT R, P, P, X c (R{P)~X|PRT R, P, Q, T c (R~Q{P)~TRT R, P, Q, U c (R{Q)~(P{U)RT R, P, Q, V c (R{P~Q)~VRT R, P, Q, W c (R{Q)~(W|P)RT R, P, R, S c R~R~S|PRT R, P, R, T c (R{P{R)~TRT R, P, R, U c (R{R)~U|PRT R, P, R, V c (R|P{R)~VRT R, P, R, W c R{(P{R)~WRT R, P, R, X c R~(R{X)|PRT R, P, S, R c R~S~R|PRT R, P, S, S c (R{S)~(P{S)RT R, P, S, T c (R{P~S)~TRT R, P, S, U c (R{S)~(U|P)RT R, P, S, V c R{(P{V)~SRT R, P, S, W c R{P~S~WRT R, P, S, X c R{S~(X|P)RT R, P, T, Q c (R~Q{P)~TRT R, P, T, R c (R{P{R)~TRT R, P, T, S c (R{P~S)~TRT R, P, T, T c (R|P{T)~TRT R, P, T, V c R~(T{V)|PRT R, P, T, W c R{(T|P)~WRT R, P, T, X c R~(P{X){TRT R, P, U, Q c R~U~Q|PRT R, P, U, R c (R{R)~U|PRT R, P, U, S c (R{U)~S|PRT R, P, U, U c R~(U{U)|PRT R, P, U, W c (P{U)~(W|R)RT R, P, U, X c U~(X|R)|PRT R, P, V, P c (R{P{P)~VRT R, P, V, Q c (R{P~Q)~VRT R, P, V, R c (R|P{R)~VRT R, P, V, S c R{(P{V)~SRT R, P, V, T c R~(V{T)|PRT R, P, V, V c (R{P)~V{VRT R, P, V, W c (P~V)~(W|R)RT R, P, V, X c R~X{P{VRT R, P, W, Q c (R{Q)~(W|P)RT R, P, W, R c (R{P)~W{RRT R, P, W, S c R{P~W~SRT R, P, W, T c R{W~(T|P)RT R, P, W, U c (P{U)~(W|R)RT R, P, W, V c (P~W|R)~VRT R, P, W, W c R~(P{W){WRT R, P, W, X c R~P~X{WRT R, P, X, P c (R{P)~X|PRT R, P, X, R c (R{X)~R|PRT R, P, X, S c R{(X|P)~SRT R, P, X, T c R~(P{X){TRT R, P, X, U c (X|R)~U|PRT R, P, X, V c R~X{P{VRT R, P, X, W c R~P~X{WRT R, P, X, X c R~X|P{XRT R, Q, O, V c (R{Q{O)~VRT R, Q, P, T c (R~Q{P)~TRT R, Q, P, U c (R{Q)~(P{U)RT R, Q, P, V c (R{Q)~(P~V)RT R, Q, P, W c (R{Q)~(W|P)RT R, Q, Q, T c (R{Q{Q)~TRT R, Q, Q, W c R{(Q{Q)~WRT R, Q, Q, X c (R{Q)~(X|Q)RT R, Q, R, S c (R{Q)~(R{S)RT R, Q, R, T c (R~R|Q)~TRT R, Q, R, W c R~(R{W){QRT R, Q, S, R c (R{Q)~(S{R)RT R, Q, S, S c R{Q~S~SRT R, Q, S, U c R{(Q{U)~SRT R, Q, S, V c (R|Q{S)~VRT R, Q, S, X c R~X{Q~SRT R, Q, T, P c (R~Q{P)~TRT R, Q, T, Q c (R{Q)~(T{Q)RT R, Q, T, R c (R~R|Q)~TRT R, Q, T, T c R~Q~T{TRT R, Q, T, U c R{Q{T~URT R, Q, T, V c (R|Q)~(T~V)RT R, Q, T, W c (R{Q)~W|TRT R, Q, U, P c (R{Q)~(U{P)RT R, Q, U, S c R{(Q{U)~SRT R, Q, U, T c R{Q{U~TRT R, Q, U, U c Q{U~U|RRT R, Q, U, V c (Q{U|R)~VRT R, Q, U, W c R{(U|Q)~WRT R, Q, U, X c R~X{Q{URT R, Q, V, O c (R{Q)~(V{O)RT R, Q, V, P c (R{Q)~(V~P)RT R, Q, V, S c (R|Q{S)~VRT R, Q, V, T c (R|Q)~(V~T)RT R, Q, V, U c (Q{U|R)~VRT R, Q, V, V c R~Q~V|VRT R, Q, V, W c R~(Q{V){WRT R, Q, V, X c R{Q~(V{X)RT R, Q, W, P c (R{Q)~(W|P)RT R, Q, W, Q c R{Q~W~QRT R, Q, W, R c (R{W)~R{QRT R, Q, W, T c (R{Q)~W|TRT R, Q, W, U c R{W~(U|Q)RT R, Q, W, V c R~(Q{V){WRT R, Q, W, W c R{Q~(W{W)RT R, Q, W, X c R~W{Q{XRT R, Q, X, Q c (R{Q)~(X|Q)RT R, Q, X, S c R~X{Q~SRT R, Q, X, U c R~X{Q{URT R, Q, X, V c R{Q~(X{V)RT R, Q, X, W c R~W{Q{XRT R, R, P, S c R~R~S|PRT R, R, P, T c (R{R{P)~TRT R, R, P, U c (R{R)~U|PRT R, R, P, V c (R{R|P)~VRT R, R, P, W c R{(R{P)~WRT R, R, P, X c R~(R{X)|PRT R, R, Q, S c (R{Q)~(R{S)RT R, R, Q, T c (R~R|Q)~TRT R, R, Q, W c R~(R{W){QRT R, R, R, W c R~R~R{WRT R, R, S, P c R~R~S|PRT R, R, S, Q c (R{S)~(R{Q)RT R, R, S, T c R{(R{T)~SRT R, R, S, V c (R~R|S)~VRT R, R, S, W c (R{S)~(W|R)RT R, R, S, X c S~X|RRRT R, R, T, P c (R{R{P)~TRT R, R, T, Q c (R~R|Q)~TRT R, R, T, S c R{(R{T)~SRT R, R, T, T c (R{R)~T{TRT R, R, T, U c (RR{U)~TRT R, R, T, V c R|R{T~VRT R, R, T, W c T~(W|RR)RT R, R, T, X c R{R~X{TRT R, R, U, P c (R{R)~U|PRT R, R, U, T c (RR{U)~TRT R, R, U, U c U~U|RRRT R, R, U, V c (R{UR)~VRT R, R, U, W c R~(R{U){WRT R, R, V, P c (R{R|P)~VRT R, R, V, S c (R~R|S)~VRT R, R, V, T c R|R{V~TRT R, R, V, U c (R{UR)~VRT R, R, V, V c (R{R)~V|VRT R, R, V, W c R{(V|R)~WRT R, R, W, P c R{(R{P)~WRT R, R, W, Q c R~(R{W){QRT R, R, W, R c R~R~R{WRT R, R, W, S c (R{S)~(W|R)RT R, R, W, T c (W|RR)~TRT R, R, W, U c R~(R{U){WRT R, R, W, V c R{W~(V|R)RT R, R, W, W c R{R~W{WRT R, R, W, X c R~(WR{X)RT R, R, X, P c R~(R{X)|PRT R, R, X, S c X~S|RRRT R, R, X, T c R{R~X{TRT R, R, X, W c R~(X{WR)RT R, S, O, T c (R{S{O)~TRT R, S, O, W c R{(S{O)~WRT R, S, P, R c R~S~R|PRT R, S, P, S c (R{S)~(P{S)RT R, S, P, T c (R{S)~(P~T)RT R, S, P, U c (R{S)~(U|P)RT R, S, P, V c R{S~(P{V)RT R, S, P, W c R{S~P~WRT R, S, P, X c R{S~(X|P)RT R, S, Q, R c (R{S)~(Q{R)RT R, S, Q, S c R{S~Q~SRT R, S, Q, U c R{S~(Q{U)RT R, S, Q, V c (R{S|Q)~VRT R, S, Q, X c R~X{S~QRT R, S, R, P c R~S~R|PRT R, S, R, Q c (R{S)~(R{Q)RT R, S, R, T c R{S~(R{T)RT R, S, R, V c (R~R|S)~VRT R, S, R, W c (R{S)~(W|R)RT R, S, R, X c S~X|RRRT R, S, S, P c (R{S)~(S{P)RT R, S, S, Q c R{S~S~QRT R, S, S, S c R{(S{S)~SRT R, S, S, V c R{S{S~VRT R, S, S, W c (RS{W)~SRT R, S, S, X c R{S~X|SRT R, S, T, O c (R{S)~(T{O)RT R, S, T, P c (R{S)~(T~P)RT R, S, T, R c R{S~(T{R)RT R, S, T, T c (R~S|T)~TRT R, S, T, U c R~(S{U){TRT R, S, T, V c (R{V)~S|TRT R, S, T, W c R~(S{T){WRT R, S, T, X c (S{XR)~TRT R, S, U, P c (R{S)~(U|P)RT R, S, U, Q c R{S~(U{Q)RT R, S, U, T c R~(S{U){TRT R, S, U, U c R{U~U|SRT R, S, U, V c (R{S)~U|VRT R, S, U, W c R{S~U{WRT R, S, V, P c R{S~(V{P)RT R, S, V, Q c (R{S)~(V|Q)RT R, S, V, R c (R~R|S)~VRT R, S, V, S c R{S{V~SRT R, S, V, T c (R{V)~S|TRT R, S, V, U c (R{S)~U|VRT R, S, V, V c (R~S|V)~VRT R, S, V, W c (R{WS)~VRT R, S, W, O c R{S~W{ORT R, S, W, P c R{S~W~PRT R, S, W, R c (R{S)~(W|R)RT R, S, W, S c (RS{W)~SRT R, S, W, T c R~(S{T){WRT R, S, W, U c R{S~U{WRT R, S, W, V c (R{WS)~VRT R, S, W, W c R{(W|S)~WRT R, S, W, X c (R{W)~S|XRT R, S, X, P c R{S~(X|P)RT R, S, X, Q c R~X{S~QRT R, S, X, R c S~X|RRRT R, S, X, S c R{S~X|SRT R, S, X, T c (S{XR)~TRT R, S, X, W c (R{W)~S|XRT R, T, O, S c (R{O{S)~TRT R, T, O, V c R~O{T~VRT R, T, P, Q c (R~Q{P)~TRT R, T, P, R c (R{P{R)~TRT R, T, P, S c (R{P~S)~TRT R, T, P, T c (R{T|P)~TRT R, T, P, V c R~(T{V)|PRT R, T, P, W c R{(T|P)~WRT R, T, P, X c R~(P{X){TRT R, T, Q, P c (R~Q{P)~TRT R, T, Q, Q c (R{Q)~(T{Q)RT R, T, Q, R c (R~R|Q)~TRT R, T, Q, T c R~T~Q{TRT R, T, Q, U c R{T~U{QRT R, T, Q, V c (R|Q)~(T~V)RT R, T, Q, W c (R{Q)~W|TRT R, T, R, P c (R{R{P)~TRT R, T, R, Q c (R~R|Q)~TRT R, T, R, S c R{(T{R)~SRT R, T, R, T c (R{R)~T{TRT R, T, R, U c (RR{U)~TRT R, T, R, V c (R{T|R)~VRT R, T, R, W c T~(W|RR)RT R, T, R, X c R{T{R~XRT R, T, S, O c (R{S)~(T{O)RT R, T, S, P c (R{S)~(T~P)RT R, T, S, R c (R{T)~S{RRT R, T, S, T c R~T{S~TRT R, T, S, U c R~(S{U){TRT R, T, S, V c (R{V)~S|TRT R, T, S, W c R~(T{S){WRT R, T, S, X c T~(S{XR)RT R, T, T, P c (R{T|P)~TRT R, T, T, Q c R~T~Q{TRT R, T, T, R c (R{R)~T{TRT R, T, T, S c R~T{T~SRT R, T, T, T c (R{T)~T|TRT R, T, T, U c T~(T{UR)RT R, T, T, V c R{T~T{VRT R, T, T, W c (R~T|W)~TRT R, T, T, X c (R{X|T)~TRT R, T, U, Q c R{T~U{QRT R, T, U, R c (RR{U)~TRT R, T, U, S c R~(U{S){TRT R, T, U, T c (T{UR)~TRT R, T, U, W c R~W{T{URT R, T, U, X c T~(X|UR)RT R, T, V, O c R~O{T~VRT R, T, V, P c R~(T{V)|PRT R, T, V, Q c (R|Q)~(T~V)RT R, T, V, R c R{T~V|RRT R, T, V, S c (R{V)~S|TRT R, T, V, T c R{T~T{VRT R, T, V, V c (R{V|T)~VRT R, T, V, X c R~(T{X)|VRT R, T, W, P c R{(T|P)~WRT R, T, W, Q c (R{WQ)~TRT R, T, W, R c T~(W|RR)RT R, T, W, S c R~(T{W)|SRT R, T, W, T c (R~T|W)~TRT R, T, W, U c R~W{T{URT R, T, W, W c R{T~W|WRT R, T, W, X c R{W~(X|T)RT R, T, X, P c R~(X{P){TRT R, T, X, R c R{T{X~RRT R, T, X, S c T~(XR{S)RT R, T, X, T c (R{X|T)~TRT R, T, X, U c T~(X|UR)RT R, T, X, V c R~(T{X)|VRT R, T, X, W c R{(X|T)~WRT R, U, P, Q c R~U~Q|PRT R, U, P, R c (R{R)~U|PRT R, U, P, S c (R{U)~S|PRT R, U, P, U c R~(U{U)|PRT R, U, P, W c (U{P)~(W|R)RT R, U, P, X c U~(X|R)|PRT R, U, Q, P c R~U~Q|PRT R, U, Q, S c R{(U{Q)~SRT R, U, Q, T c (R{U|Q)~TRT R, U, Q, U c U~U|R{QRT R, U, Q, V c (U|R{Q)~VRT R, U, Q, W c R{(U|Q)~WRT R, U, Q, X c R~X{U{QRT R, U, R, P c (R{R)~U|PRT R, U, R, T c (RR{U)~TRT R, U, R, U c U~U|RRRT R, U, R, V c (R{UR)~VRT R, U, R, W c (R{U)~R{WRT R, U, S, P c (R{U)~S|PRT R, U, S, Q c R{(U{Q)~SRT R, U, S, T c R~(U{S){TRT R, U, S, U c R{U~U|SRT R, U, S, V c (R{U|S)~VRT R, U, S, W c R{U~S{WRT R, U, T, Q c R{U~T{QRT R, U, T, R c (RR{U)~TRT R, U, T, S c R~(U{S){TRT R, U, T, T c (UR{T)~TRT R, U, T, W c R~W{U{TRT R, U, T, X c T~(X|UR)RT R, U, U, P c R~(U{U)|PRT R, U, U, Q c U~U|R{QRT R, U, U, R c U~U|RRRT R, U, U, S c R{U~U|SRT R, U, V, Q c (U|R{Q)~VRT R, U, V, R c (R{UR)~VRT R, U, V, S c R~(U{V)|SRT R, U, V, V c (V|UR)~VRT R, U, V, W c R~(U{W)|VRT R, U, V, X c (U{X)R~VRT R, U, W, P c (U{P)~(W|R)RT R, U, W, Q c R{(U|Q)~WRT R, U, W, R c (R{U)~R{WRT R, U, W, S c R{U~S{WRT R, U, W, T c R~W{U{TRT R, U, W, V c R~(U{W)|VRT R, U, W, X c R~U{W{XRT R, U, X, P c U~(X|R)|PRT R, U, X, Q c R~X{U{QRT R, U, X, T c (X|UR)~TRT R, U, X, V c (U{X)R~VRT R, U, X, W c R~U{X{WRT R, V, O, Q c (R{O{Q)~VRT R, V, O, T c R~O{V~TRT R, V, O, W c (V{O)~(W|R)RT R, V, P, P c (R{P{P)~VRT R, V, P, Q c (R{P~Q)~VRT R, V, P, R c (R|P{R)~VRT R, V, P, S c R{(V{P)~SRT R, V, P, T c R~(V{T)|PRT R, V, P, V c (R{P)~V{VRT R, V, P, W c (V~P)~(W|R)RT R, V, P, X c R~X{V{PRT R, V, Q, O c (R{Q)~(V{O)RT R, V, Q, P c (R{Q)~(V~P)RT R, V, Q, S c R~(V{S){QRT R, V, Q, T c (R|Q)~(V~T)RT R, V, Q, U c V~(Q{U|R)RT R, V, Q, V c (R{V)Q~VRT R, V, Q, W c R~(V{Q){WRT R, V, Q, X c R{(V{X)~QRT R, V, R, P c (R{R|P)~VRT R, V, R, S c (R~R|S)~VRT R, V, R, T c (R{V|R)~TRT R, V, R, U c (R{UR)~VRT R, V, R, V c (R{R)~V|VRT R, V, R, W c R{(V|R)~WRT R, V, S, P c R{(V{P)~SRT R, V, S, Q c R~(V{S){QRT R, V, S, R c (R~R|S)~VRT R, V, S, S c R{V~S{SRT R, V, S, T c (R{V)~S|TRT R, V, S, U c R~(V{U)|SRT R, V, S, V c (R~S|V)~VRT R, V, S, W c R~W{V{SRT R, V, T, O c R~O{V~TRT R, V, T, P c R~(V{T)|PRT R, V, T, Q c (R|Q)~(V~T)RT R, V, T, R c R{V~T|RRT R, V, T, S c (R{V)~S|TRT R, V, T, T c R{V{T~TRT R, V, T, V c (R{V|T)~VRT R, V, T, X c R~V{T{XRT R, V, U, Q c V~(U|R{Q)RT R, V, U, R c (R{UR)~VRT R, V, U, S c R~(V{U)|SRT R, V, U, V c (V|UR)~VRT R, V, U, W c R~V{U{WRT R, V, U, X c (VR)~(U{X)RT R, V, V, P c (R{P)~V{VRT R, V, V, Q c (R{V)~(VQ)RT R, V, V, R c (R{R)~V|VRT R, V, V, S c (R~S|V)~VRT R, V, V, T c (R{V|T)~VRT R, V, V, U c V~(V|UR)RT R, V, V, V c R~V{V{VRT R, V, V, W c (VR)~(V{W)RT R, V, V, X c (R{X|V)~VRT R, V, W, O c V~(W|R){ORT R, V, W, P c V~(W|R)~PRT R, V, W, Q c R~(V{Q){WRT R, V, W, R c R{(V|R)~WRT R, V, W, S c R~W{V{SRT R, V, W, U c R~V{W{URT R, V, W, V c (VR)~(W{V)RT R, V, W, X c V~(W|XR)RT R, V, X, P c R~X{V{PRT R, V, X, Q c R{(V{X)~QRT R, V, X, T c R~V{X{TRT R, V, X, U c (VR)~(X{U)RT R, V, X, V c (R{X|V)~VRT R, V, X, W c V~(W|XR)RT R, W, O, S c R{(W{O)~SRT R, W, O, V c (W|R{O)~VRT R, W, O, X c (R{O)~X{WRT R, W, P, Q c (R{Q)~(W|P)RT R, W, P, R c R{W~(P{R)RT R, W, P, S c R{W~P~SRT R, W, P, T c R{W~(T|P)RT R, W, P, U c (W|R)~(P{U)RT R, W, P, V c (W|R)~(P~V)RT R, W, P, W c R~(W{P){WRT R, W, P, X c R~P~X{WRT R, W, Q, P c (R{Q)~(W|P)RT R, W, Q, Q c R{W~(Q{Q)RT R, W, Q, R c (R{W)~R{QRT R, W, Q, T c (R{WQ)~TRT R, W, Q, U c R{W~(U|Q)RT R, W, Q, V c R~(Q{V){WRT R, W, Q, W c R{WQ~WRT R, W, Q, X c R~W{Q{XRT R, W, R, P c R{W~(R{P)RT R, W, R, Q c (R{W)~R{QRT R, W, R, R c R~R~R{WRT R, W, R, S c (R{S)~(W|R)RT R, W, R, T c (W|RR)~TRT R, W, R, U c R~(R{U){WRT R, W, R, V c R{W~(V|R)RT R, W, R, W c R{W{R~WRT R, W, R, X c R~(WR{X)RT R, W, S, O c R{W~S{ORT R, W, S, P c R{W~S~PRT R, W, S, R c (R{S)~(W|R)RT R, W, S, S c (RS{W)~SRT R, W, S, T c (R{W|S)~TRT R, W, S, U c R{W{S~URT R, W, S, V c (R{WS)~VRT R, W, S, W c R{(W|S)~WRT R, W, S, X c (R{W)~S|XRT R, W, T, P c R{W~(T|P)RT R, W, T, Q c (R{WQ)~TRT R, W, T, R c (W|RR)~TRT R, W, T, S c R~(W{T)|SRT R, W, T, T c (R~T|W)~TRT R, W, T, U c R~W{T{URT R, W, T, W c R{W~T|WRT R, W, T, X c R{W~(X|T)RT R, W, U, P c (W|R)~(U{P)RT R, W, U, Q c R{W~(U|Q)RT R, W, U, R c (R{U)~R{WRT R, W, U, S c R{W{U~SRT R, W, U, T c R~W{U{TRT R, W, U, V c (R{W|U)~VRT R, W, U, X c R~U{W{XRT R, W, V, O c (W|R)~(V{O)RT R, W, V, P c (W|R)~(V~P)RT R, W, V, Q c R~(V{Q){WRT R, W, V, R c R{W~(V|R)RT R, W, V, S c R~W{V{SRT R, W, V, U c (R{W|U)~VRT R, W, V, V c (W{V)R~VRT R, W, V, X c (W|XR)~VRT R, W, W, P c R~(W{P){WRT R, W, W, Q c R{(W{W)~QRT R, W, W, R c R{W{W~RRT R, W, W, S c R{W~(W|S)RT R, W, W, T c R{W~T|WRT R, W, X, O c R~X{W{ORT R, W, X, P c R~X{W~PRT R, W, X, Q c R~W{X{QRT R, W, X, R c R~(WR{X)RT R, W, X, S c (R{W)~S|XRT R, W, X, T c R{W~(X|T)RT R, W, X, U c R~U{W{XRT R, W, X, V c (W|XR)~VRT R, W, X, X c (R{WX)~XRT R, X, O, W c R~X{O{WRT R, X, P, P c (R{P)~X|PRT R, X, P, R c (R{X)~R|PRT R, X, P, S c R{(X|P)~SRT R, X, P, T c R~(X{P){TRT R, X, P, U c (X|R)~U|PRT R, X, P, V c R~X{P{VRT R, X, P, W c R~X{P~WRT R, X, P, X c R~X|P{XRT R, X, Q, Q c R~(X{Q){QRT R, X, Q, S c R~X{Q~SRT R, X, Q, U c R~X{Q{URT R, X, Q, V c R{(X{V)~QRT R, X, Q, W c R~W{X{QRT R, X, R, P c (R{X)~R|PRT R, X, R, S c X~S|RRRT R, X, R, T c R{X~R{TRT R, X, R, W c R~(X{WR)RT R, X, S, P c R{(X|P)~SRT R, X, S, Q c R~X{S~QRT R, X, S, R c X~S|RRRT R, X, S, S c R{X~S|SRT R, X, S, T c (XR{S)~TRT R, X, S, W c (R{W)~S|XRT R, X, T, P c R~(X{P){TRT R, X, T, R c R~X{T{RRT R, X, T, S c (XR{S)~TRT R, X, T, T c (R{X|T)~TRT R, X, T, U c (X|UR)~TRT R, X, T, V c R~(X{T)|VRT R, X, T, W c R{(X|T)~WRT R, X, U, P c (X|R)~U|PRT R, X, U, Q c R~X{U{QRT R, X, U, T c (X|UR)~TRT R, X, U, V c (X{U)R~VRT R, X, U, W c R~U{X{WRT R, X, V, P c R~X{V{PRT R, X, V, Q c R{(X{V)~QRT R, X, V, T c R~(X{T)|VRT R, X, V, U c (X{U)R~VRT R, X, V, V c (R{X|V)~VRT R, X, V, W c V~(W|XR)RT R, X, W, O c R~X{W{ORT R, X, W, P c R~X{W~PRT R, X, W, Q c R~W{X{QRT R, X, W, R c R~(X{WR)RT R, X, W, S c (R{W)~S|XRT R, X, W, T c R{(X|T)~WRT R, X, W, U c R~U{X{WRT R, X, W, V c (W|XR)~VRT R, X, W, X c (R{WX)~XRT R, X, X, P c R~X{X|PRT R, X, X, W c (R{WX)~XRT S, O, P, V c (S{O{P)~VRT S, O, P, X c (S{O)~X|PRT S, O, R, T c (S{O{R)~TRT S, O, R, W c (S{O)~W{RRT S, O, T, R c (S{O{R)~TRT S, O, T, V c S~O{T~VRT S, O, V, P c (S{O{P)~VRT S, O, V, T c S~O{V~TRT S, O, V, V c (S{O)~V{VRT S, O, V, X c (O{V)~(X|S)RT S, O, W, R c (S{O)~W{RRT S, O, X, P c (S{O)~X|PRT S, O, X, V c (O{X|S)~VRT S, P, O, V c (S{P{O)~VRT S, P, O, X c (S{O)~X|PRT S, P, P, U c (S{P)~(P{U)RT S, P, P, V c (S{P)~(P~V)RT S, P, P, W c (S{P)~(W|P)RT S, P, P, X c S~P~X|PRT S, P, Q, T c (S{P{Q)~TRT S, P, Q, U c (S{Q)~U|PRT S, P, Q, V c (S|P{Q)~VRT S, P, Q, W c S~W{P{QRT S, P, Q, X c (S{P)~(X|Q)RT S, P, R, R c S~R~R|PRT S, P, R, S c (S{P)~(R{S)RT S, P, R, T c (S{P~R)~TRT S, P, R, U c (S{R)~(U|P)RT S, P, R, V c S~(P{V){RRT S, P, R, W c S~P~W{RRT S, P, R, X c S~(X|P){RRT S, P, S, R c (S{P)~(S{R)RT S, P, S, T c (S|P{S)~TRT S, P, S, W c S|P{S~WRT S, P, S, X c S~(X|PS)RT S, P, T, Q c (S{P)~(T{Q)RT S, P, T, R c (S{P~R)~TRT S, P, T, S c (S|P{S)~TRT S, P, T, U c S{P{T~URT S, P, T, V c V(P|ST)RT S, P, T, W c (S{P)~W|TRT S, P, T, X c S~(P{X)|TRT S, P, U, P c (S{P)~(U{P)RT S, P, U, Q c (S{Q)~U|PRT S, P, U, R c S~(U{R)|PRT S, P, U, T c S{P{U~TRT S, P, U, V c S~(P{U){VRT S, P, U, X c (P{U)~(X|S)RT S, P, V, O c (S{P)~(V{O)RT S, P, V, P c (S{P)~(V~P)RT S, P, V, Q c (S|P{Q)~VRT S, P, V, R c S~(P{V){RRT S, P, V, T c V(P|ST)RT S, P, V, U c S~(P{U){VRT S, P, V, V c S~P~V{VRT S, P, V, W c S~V|P{WRT S, P, V, X c (P~V)~(X|S)RT S, P, W, P c (S{P)~(W|P)RT S, P, W, Q c S~W{P{QRT S, P, W, R c S~P~W{RRT S, P, W, S c S|P{W~SRT S, P, W, T c (S{P)~W|TRT S, P, W, V c S~(W|P){VRT S, P, W, X c (S|P)~X{WRT S, P, X, O c S~X|P{ORT S, P, X, P c S~P~X|PRT S, P, X, Q c (S{P)~(X|Q)RT S, P, X, R c S~(X|P){RRT S, P, X, S c S~(X|PS)RT S, P, X, T c S~(P{X)|TRT S, P, X, U c (P{U)~(X|S)RT S, P, X, V c (P~X|S)~VRT S, P, X, W c (S|P)~X{WRT S, P, X, X c (S|PX)~XRT S, Q, P, T c (S{Q{P)~TRT S, Q, P, U c (S{Q)~U|PRT S, Q, P, V c (S{Q|P)~VRT S, Q, P, W c S~W{Q{PRT S, Q, P, X c (S{P)~(X|Q)RT S, Q, Q, V c (S{QQ)~VRT S, Q, Q, X c S~X|QQRT S, Q, R, R c (S{R)~(Q{R)RT S, Q, R, S c S~Q~S{RRT S, Q, R, U c S~(Q{U){RRT S, Q, R, V c (S|Q{R)~VRT S, Q, R, X c S~Q{R~XRT S, Q, S, R c S~Q~S{RRT S, Q, T, P c (S{Q{P)~TRT S, Q, T, T c (S{Q)~T{TRT S, Q, T, U c (S{UQ)~TRT S, Q, T, V c S~(Q{T){VRT S, Q, T, W c S~(Q{W)|TRT S, Q, T, X c (Q{T)~(X|S)RT S, Q, U, P c (S{Q)~U|PRT S, Q, U, R c S~(Q{U){RRT S, Q, U, T c (S{UQ)~TRT S, Q, U, V c (S{U)Q~VRT S, Q, U, W c S~W{UQRT S, Q, U, X c S~U{Q{XRT S, Q, V, P c S~(Q{V)|PRT S, Q, V, Q c (S{QQ)~VRT S, Q, V, R c (S|Q{R)~VRT S, Q, V, T c S~(Q{T){VRT S, Q, V, U c (S{U)Q~VRT S, Q, V, V c (S{Q)~V|VRT S, Q, V, X c S~V|Q{XRT S, Q, W, P c S~W{Q{PRT S, Q, W, T c S~(Q{W)|TRT S, Q, W, U c S~W{UQRT S, Q, W, X c S~(X|QW)RT S, Q, X, P c S~X|Q{PRT S, Q, X, Q c S~X|QQRT S, Q, X, R c S~Q{X~RRT S, Q, X, T c (Q{X|S)~TRT S, Q, X, U c S~U{Q{XRT S, Q, X, V c S~(X|Q){VRT S, Q, X, W c S~(X|QW)RT S, Q, X, X c S~(Q{X)|XRT S, R, O, T c (S{R{O)~TRT S, R, O, W c (S{O)~W{RRT S, R, P, R c S~R~R|PRT S, R, P, S c (S{R)~(P{S)RT S, R, P, T c (S{R)~(P~T)RT S, R, P, U c (S{R)~(U|P)RT S, R, P, V c S~(P{V){RRT S, R, P, W c S~P~W{RRT S, R, P, X c S~(X|P){RRT S, R, Q, R c (S{R)~(Q{R)RT S, R, Q, S c S~Q~S{RRT S, R, Q, U c S~(Q{U){RRT S, R, Q, V c (S{R|Q)~VRT S, R, Q, X c S~Q{R~XRT S, R, R, P c S~R~R|PRT S, R, R, Q c (S{R)~(R{Q)RT S, R, R, T c S~(R{T){RRT S, R, R, V c (S{RR)~VRT S, R, R, W c (S{R)~(W|R)RT S, R, R, X c S~X|RRRT S, R, S, P c (S{R)~(S{P)RT S, R, S, Q c S~S~Q{RRT S, R, S, S c (S{S)~S{RRT S, R, S, V c S{R{S~VRT S, R, S, W c S~(RS{W)RT S, R, S, X c S{R~X{SRT S, R, T, O c (S{R)~(T{O)RT S, R, T, P c (S{R)~(T~P)RT S, R, T, R c S~(R{T){RRT S, R, T, T c (S~R|T)~TRT S, R, T, U c (S|R{U)~TRT S, R, T, V c (S|R)~(T~V)RT S, R, T, W c (S{T)~R{WRT S, R, T, X c (S{XR)~TRT S, R, U, P c (S{R)~(U|P)RT S, R, U, Q c S~(U{Q){RRT S, R, U, T c (S|R{U)~TRT S, R, U, U c R{U~U|SRT S, R, U, V c (S{R)~U|VRT S, R, U, W c S~U{R{WRT S, R, V, P c S~(V{P){RRT S, R, V, Q c (S{R)~(V|Q)RT S, R, V, R c (S{RR)~VRT S, R, V, S c S{R{V~SRT S, R, V, T c (S|R)~(V~T)RT S, R, V, U c (S{R)~U|VRT S, R, V, V c (S~R|V)~VRT S, R, V, W c S{R~W{VRT S, R, W, O c S~W{R{ORT S, R, W, P c (S{W)~R|PRT S, R, W, R c (S{R)~(W|R)RT S, R, W, S c S~(RS{W)RT S, R, W, T c (S{T)~R{WRT S, R, W, U c S~W|R{URT S, R, W, V c S{R~W{VRT S, R, W, W c (S{RW)~WRT S, R, W, X c S~(R{W)|XRT S, R, X, P c S~(X|P){RRT S, R, X, Q c S~X|R{QRT S, R, X, R c S~X|RRRT S, R, X, S c S{R~X{SRT S, R, X, T c (S{XR)~TRT S, R, X, W c S~(R{W)|XRT S, S, P, R c (S{P)~(S{R)RT S, S, P, T c (S{S|P)~TRT S, S, P, W c S{S~W|PRT S, S, P, X c S~(X|PS)RT S, S, Q, R c S~S~Q{RRT S, S, R, P c (S{R)~(S{P)RT S, S, R, Q c S~S~Q{RRT S, S, R, S c (S{S)~S{RRT S, S, R, V c (S{S|R)~VRT S, S, R, W c S~(RS{W)RT S, S, R, X c S{S{R~XRT S, S, S, R c (S{S)~S{RRT S, S, S, V c (S{SS)~VRT S, S, S, X c S~X|SSRT S, S, T, P c S~(S{T)|PRT S, S, T, T c (S{S)~T|TRT S, S, T, U c S~(S{U)|TRT S, S, T, V c S|S{T~VRT S, S, T, W c T~(W|SS)RT S, S, T, X c S{S~X|TRT S, S, U, T c S~(S{U)|TRT S, S, U, U c U~U|SSRT S, S, U, V c S{S~U{VRT S, S, V, R c S{S~V{RRT S, S, V, S c (S{SS)~VRT S, S, V, T c S|S{V~TRT S, S, V, U c S{S~U{VRT S, S, V, V c S~(VS{V)RT S, S, V, W c S~W|S{VRT S, S, V, X c S~(S{V)|XRT S, S, W, P c S{S~W|PRT S, S, W, R c S~(W{RS)RT S, S, W, T c (W|SS)~TRT S, S, W, V c S~W|S{VRT S, S, X, P c S~(X|PS)RT S, S, X, R c S{S{X~RRT S, S, X, S c S~X|SSRT S, S, X, T c S{S~X|TRT S, S, X, V c S~(S{V)|XRT S, T, O, R c (S{O{R)~TRT S, T, O, V c S~O{T~VRT S, T, P, Q c (S{P)~(T{Q)RT S, T, P, R c (S{P~R)~TRT S, T, P, S c (S{T)~S|PRT S, T, P, U c S{T~U{PRT S, T, P, V c V(P|ST)RT S, T, P, W c (S{P)~W|TRT S, T, P, X c S~(P{X)|TRT S, T, Q, P c (S{Q{P)~TRT S, T, Q, T c (S{T|Q)~TRT S, T, Q, U c (S{UQ)~TRT S, T, Q, V c S~(T{Q){VRT S, T, Q, W c S~(Q{W)|TRT S, T, Q, X c (T{Q)~(X|S)RT S, T, R, O c (S{R)~(T{O)RT S, T, R, P c (S{R)~(T~P)RT S, T, R, R c S~(T{R){RRT S, T, R, T c S~T{R~TRT S, T, R, U c (S|R{U)~TRT S, T, R, V c (S|R)~(T~V)RT S, T, R, W c (S{T)~R{WRT S, T, R, X c (S{XR)~TRT S, T, S, P c (S{T)~S|PRT S, T, S, T c (S{S)~T|TRT S, T, S, U c S~(S{U)|TRT S, T, S, V c (S{T|S)~VRT S, T, S, W c T~(W|SS)RT S, T, S, X c S{S~X|TRT S, T, T, Q c (S{T|Q)~TRT S, T, T, R c S~T{T~RRT S, T, T, S c (S{S)~T|TRT S, T, T, T c S~(T{T)|TRT S, T, T, U c S{T~T{URT S, T, T, V c (S{TT)~VRT S, T, T, W c (S{W|T)~TRT S, T, T, X c S~X|TTRT S, T, U, P c S{T~U{PRT S, T, U, Q c (S{UQ)~TRT S, T, U, R c (S{U|R)~TRT S, T, U, S c (S{U)~S|TRT S, T, U, T c S{T~T{URT S, T, U, U c S~U{T{URT S, T, U, V c (S{U|T)~VRT S, T, U, X c S~T{U{XRT S, T, V, O c S~O{T~VRT S, T, V, P c V(P|ST)RT S, T, V, Q c S~(T{Q){VRT S, T, V, R c S~(V{R)|TRT S, T, V, S c S{T~V|SRT S, T, V, T c (S{TT)~VRT S, T, V, U c (S{U|T)~VRT S, T, V, W c S~T{V{WRT S, T, W, P c (S{P)~W|TRT S, T, W, Q c S~W{T|QRT S, T, W, R c (S{T)~R{WRT S, T, W, S c T~(W|SS)RT S, T, W, T c (S{W|T)~TRT S, T, W, V c S~T{W{VRT S, T, W, W c S~W|T{WRT S, T, W, X c S{T~W|XRT S, T, X, P c S~(X{P)|TRT S, T, X, Q c T~(X|S{Q)RT S, T, X, R c (S{XR)~TRT S, T, X, S c S~X|T{SRT S, T, X, T c S~X|TTRT S, T, X, U c S~T{X{URT S, T, X, W c S{T~W|XRT S, U, P, P c (S{P)~(U{P)RT S, U, P, Q c (S{Q)~U|PRT S, U, P, R c S~(U{R)|PRT S, U, P, T c S{U~T{PRT S, U, P, V c S~(U{P){VRT S, U, P, X c (U{P)~(X|S)RT S, U, Q, P c (S{Q)~U|PRT S, U, Q, R c S~(U{Q){RRT S, U, Q, T c (S{UQ)~TRT S, U, Q, V c (S{U)Q~VRT S, U, Q, W c S~W{UQRT S, U, Q, X c S~U{Q{XRT S, U, R, P c S~(U{R)|PRT S, U, R, Q c S~(U{Q){RRT S, U, R, T c (S{U|R)~TRT S, U, R, U c U~U|S{RRT S, U, R, V c (S{R)~U|VRT S, U, R, W c S~U{R{WRT S, U, S, T c (S{U)~S|TRT S, U, S, U c U~U|SSRT S, U, S, V c S{U~S{VRT S, U, T, P c S{U~T{PRT S, U, T, Q c (S{UQ)~TRT S, U, T, R c (S{U|R)~TRT S, U, T, S c (S{U)~S|TRT S, U, T, T c S{U{T~TRT S, U, T, U c S~U{T{URT S, U, T, V c (S{U|T)~VRT S, U, T, X c S~(U{T)|XRT S, U, U, R c U~U|S{RRT S, U, U, S c U~U|SSRT S, U, U, T c S{U~U|TRT S, U, U, V c (S{UU)~VRT S, U, U, X c S~X|UURT S, U, V, P c S~(U{P){VRT S, U, V, Q c (S{U)~(VQ)RT S, U, V, R c (S{R)~U|VRT S, U, V, S c S~U{V{SRT S, U, V, T c (S{U|T)~VRT S, U, V, U c (S{UU)~VRT S, U, V, V c (S{V|U)~VRT S, U, V, X c S~X{U|VRT S, U, W, Q c S~W{UQRT S, U, W, R c S~U{W{RRT S, U, W, W c S~(UW{W)RT S, U, W, X c S~W|U{XRT S, U, X, P c (U{P)~(X|S)RT S, U, X, Q c S~U{X{QRT S, U, X, T c S~(U{T)|XRT S, U, X, U c S~X|UURT S, U, X, V c S~X{U|VRT S, U, X, W c S~W|U{XRT S, V, O, P c (S{O{P)~VRT S, V, O, T c S~O{V~TRT S, V, O, V c S~V{O{VRT S, V, O, X c (V{O)~(X|S)RT S, V, P, O c (S{P)~(V{O)RT S, V, P, P c (S{P)~(V~P)RT S, V, P, Q c S~(V{Q)|PRT S, V, P, R c S~(V{P){RRT S, V, P, T c V(P|ST)RT S, V, P, U c S~V{P{URT S, V, P, V c S~V{P~VRT S, V, P, W c S~V|P{WRT S, V, P, X c (V~P)~(X|S)RT S, V, Q, P c S~(V{Q)|PRT S, V, Q, Q c (S{QQ)~VRT S, V, Q, R c (S{V)~R{QRT S, V, Q, T c S~V{Q{TRT S, V, Q, U c (S{U)~(VQ)RT S, V, Q, V c (S{Q)~V|VRT S, V, Q, X c S~V|Q{XRT S, V, R, P c S~(V{P){RRT S, V, R, Q c (S{V)~R{QRT S, V, R, R c (S{RR)~VRT S, V, R, S c S~V{R{SRT S, V, R, T c S~(V{R)|TRT S, V, R, U c (S{R)~U|VRT S, V, R, V c (S~R|V)~VRT S, V, R, W c S{V{R~WRT S, V, S, R c S{V~S{RRT S, V, S, S c (S{SS)~VRT S, V, S, T c (S{V|S)~TRT S, V, S, U c S{V{S~URT S, V, S, V c S~(VS{V)RT S, V, S, W c S~W{V|SRT S, V, S, X c (S{V)~S|XRT S, V, T, O c S~O{V~TRT S, V, T, P c V(P|ST)RT S, V, T, Q c S~V{T{QRT S, V, T, R c S~(V{R)|TRT S, V, T, S c S{V~T|SRT S, V, T, T c (S{TT)~VRT S, V, T, U c (S{U|T)~VRT S, V, T, W c S~T{V{WRT S, V, U, P c S~V{U{PRT S, V, U, Q c (S{U)~(VQ)RT S, V, U, R c (S{R)~U|VRT S, V, U, S c S{V{U~SRT S, V, U, T c (S{U|T)~VRT S, V, U, U c (S{UU)~VRT S, V, U, V c (S{V|U)~VRT S, V, U, X c S~X|V{URT S, V, V, O c S~V{V{ORT S, V, V, P c S~V{V~PRT S, V, V, Q c (S{Q)~V|VRT S, V, V, R c (S~R|V)~VRT S, V, V, S c S~(V{VS)RT S, V, V, U c (S{V|U)~VRT S, V, V, V c (S{VV)~VRT S, V, V, W c (S{W|V)~VRT S, V, V, X c S~X|VVRT S, V, W, P c S~V{W|PRT S, V, W, R c S{V{W~RRT S, V, W, S c S~W{V|SRT S, V, W, T c S~T{V{WRT S, V, W, V c (S{W|V)~VRT S, V, W, W c (S{WW)~VRT S, V, W, X c S~X{V|WRT S, V, X, O c V~(X|S){ORT S, V, X, P c V~(X|S)~PRT S, V, X, Q c S~V{X|QRT S, V, X, S c (S{V)~S|XRT S, V, X, U c S~X|V{URT S, V, X, V c S~X|VVRT S, V, X, W c S~X{V|WRT S, V, X, X c (S{XX)~VRT S, W, O, R c S~W{O{RRT S, W, P, P c S~(W{P)|PRT S, W, P, Q c S~W{P{QRT S, W, P, R c S~W{P~RRT S, W, P, S c S~W|P{SRT S, W, P, T c (S{P)~W|TRT S, W, P, V c S~(W|P){VRT S, W, P, X c (S|P)~X{WRT S, W, Q, P c S~W{Q{PRT S, W, Q, T c S~(W{Q)|TRT S, W, Q, U c S~W{UQRT S, W, Q, X c S~(X|QW)RT S, W, R, O c S~W{R{ORT S, W, R, P c (S{W)~R|PRT S, W, R, R c (S{R)~(W|R)RT S, W, R, S c S~(W{RS)RT S, W, R, T c (S{T)~R{WRT S, W, R, U c S~W|R{URT S, W, R, V c S{W~R{VRT S, W, R, W c (S{RW)~WRT S, W, R, X c S~(W{R)|XRT S, W, S, P c S{W~S|PRT S, W, S, R c S~(W{RS)RT S, W, S, T c (W|SS)~TRT S, W, S, V c S~W|S{VRT S, W, T, P c (S{P)~W|TRT S, W, T, Q c S~W{T|QRT S, W, T, R c (S{T)~R{WRT S, W, T, S c (W|SS)~TRT S, W, T, T c (S{W|T)~TRT S, W, T, V c S~T{W{VRT S, W, T, W c S~W|T{WRT S, W, T, X c S{W~T|XRT S, W, U, Q c S~W{UQRT S, W, U, R c S~W{U|RRT S, W, U, W c S~(W{UW)RT S, W, U, X c S~W|U{XRT S, W, V, P c S~(W|P){VRT S, W, V, R c S{W~R{VRT S, W, V, S c S~W{V|SRT S, W, V, T c S~T{W{VRT S, W, V, V c (S{W|V)~VRT S, W, V, W c (S{WW)~VRT S, W, V, X c (S{X|W)~VRT S, W, W, R c (S{RW)~WRT S, W, W, T c S~W{W|TRT S, W, W, U c S~(W{UW)RT S, W, W, V c (S{WW)~VRT S, W, W, X c S~X|WWRT S, W, X, P c (S|P)~X{WRT S, W, X, Q c S~(X|QW)RT S, W, X, R c S~W{XRRT S, W, X, T c S{W~T|XRT S, W, X, U c S~W{X|URT S, W, X, V c (S{X|W)~VRT S, W, X, W c S~X|WWRT S, W, X, X c S~X{W|XRT S, X, O, P c S~X{O|PRT S, X, O, V c (X|S{O)~VRT S, X, P, O c S~X|P{ORT S, X, P, P c S~X|P~PRT S, X, P, Q c S~X{P|QRT S, X, P, R c S~(X|P){RRT S, X, P, S c S~(X|PS)RT S, X, P, T c S~(X{P)|TRT S, X, P, U c (X|S)~(P{U)RT S, X, P, V c (X|S)~(P~V)RT S, X, P, W c (S|P)~X{WRT S, X, P, X c (S|PX)~XRT S, X, Q, P c S~X|Q{PRT S, X, Q, Q c S~X|QQRT S, X, Q, R c S~X{Q|RRT S, X, Q, T c (X|S{Q)~TRT S, X, Q, U c S~U{X{QRT S, X, Q, V c S~(X|Q){VRT S, X, Q, W c S~(X|QW)RT S, X, Q, X c (S{X)~Q{XRT S, X, R, P c S~(X|P){RRT S, X, R, Q c S~X|R{QRT S, X, R, R c S~X|RRRT S, X, R, S c S{X~R{SRT S, X, R, T c (S{XR)~TRT S, X, R, W c S~(R{W)|XRT S, X, S, P c S~(X|PS)RT S, X, S, R c S~X|S{RRT S, X, S, S c S~X|SSRT S, X, S, T c S{X~S|TRT S, X, S, V c S~(S{V)|XRT S, X, T, P c S~(X{P)|TRT S, X, T, Q c (X|S)~(T{Q)RT S, X, T, R c (S{XR)~TRT S, X, T, S c S~X|T{SRT S, X, T, T c S~X|TTRT S, X, T, U c S~X{T|URT S, X, T, W c S{T~W|XRT S, X, U, P c (X|S)~(U{P)RT S, X, U, Q c S~U{X{QRT S, X, U, T c (S{X|U)~TRT S, X, U, U c S~X|UURT S, X, U, V c S~X{U|VRT S, X, U, W c S~W{X|URT S, X, V, O c (X|S)~(V{O)RT S, X, V, P c (X|S)~(V~P)RT S, X, V, Q c S~(X|Q){VRT S, X, V, S c (S{V)~S|XRT S, X, V, U c S~X|V{URT S, X, V, V c S~X|VVRT S, X, V, W c S~X{V|WRT S, X, V, X c (S{XX)~VRT S, X, W, P c (S|P)~X{WRT S, X, W, Q c S~(X|QW)RT S, X, W, R c S~W{XRRT S, X, W, T c S{W~T|XRT S, X, W, U c S~W{X|URT S, X, W, V c (S{X|W)~VRT S, X, W, W c S~X|WWRT S, X, W, X c S~X{W|XRT S, X, X, P c (S|PX)~XRT S, X, X, Q c (S{X)~Q{XRT S, X, X, V c (S{XX)~VRT S, X, X, W c S~X|X{WRT S, X, X, X c S~X|XXRT T, O, O, V c (T{O{O)~VRT T, O, P, U c (T{O)~(P{U)RT T, O, P, V c (T{O)~(P~V)RT T, O, P, W c (T{O)~(W|P)RT T, O, Q, T c (T{O{Q)~TRT T, O, Q, V c (T{O~Q)~VRT T, O, Q, X c (T{O)~(X|Q)RT T, O, R, S c (T{O)~(R{S)RT T, O, R, V c (T{O~R)~VRT T, O, S, R c (T{O)~(S{R)RT T, O, S, V c (T{O~S)~VRT T, O, T, Q c (T{O)~(T{Q)RT T, O, T, U c T{O{T~URT T, O, T, V c (T{O~T)~VRT T, O, T, W c (T{O)~W|TRT T, O, U, P c (T{O)~(U{P)RT T, O, U, T c T{O{U~TRT T, O, U, V c (T{O~U)~VRT T, O, V, O c (T{O)~(V{O)RT T, O, V, P c (T{O)~(V~P)RT T, O, V, Q c (T{O~Q)~VRT T, O, V, R c (T{O~R)~VRT T, O, V, S c (T{O~S)~VRT T, O, V, T c T~O{V~TRT T, O, V, U c (T{O~U)~VRT T, O, V, V c (T{O~V)~VRT T, O, V, W c (T{O~W)~VRT T, O, V, X c (T{O~X)~VRT T, O, W, P c (T{O)~(W|P)RT T, O, W, T c (T{O)~W|TRT T, O, W, V c (T{O~W)~VRT T, O, X, Q c (T{O)~(X|Q)RT T, O, X, V c (T{O~X)~VRT T, P, O, U c T~(P{O{U)RT T, P, O, V c (T{P~O)~VRT T, P, O, W c (T{O)~(W|P)RT T, P, P, T c (T{P{P)~TRT T, P, P, U c T~(P{P~U)RT T, P, P, V c (T{P|P)~VRT T, P, P, W c (T~P)~(W|P)RT T, P, P, X c (T|P)~X|PRT T, P, Q, R c T~(P{Q~R)RT T, P, Q, S c T~(P{Q{S)RT T, P, Q, T c (T{P~Q)~TRT T, P, Q, U c T~(Q|P{U)RT T, P, Q, V c T~(Q|P)~VRT T, P, Q, W c T~(P{W|Q)RT T, P, Q, X c (T~P)~(X|Q)RT T, P, R, Q c T~(P{R~Q)RT T, P, R, R c T~(P{R{R)RT T, P, R, S c (T~P)~(R{S)RT T, P, R, T c (T|P{R)~TRT T, P, R, V c (T{V)~R|PRT T, P, R, W c (T|P)~W{RRT T, P, R, X c T{(P{X)~RRT T, P, S, Q c T~(P{S{Q)RT T, P, S, R c (T~P)~(S{R)RT T, P, S, S c T~(S|P{S)RT T, P, S, U c T{(P{S)~URT T, P, S, V c V(P|ST)RT T, P, S, W c (T~W)|(P{S)RT T, P, S, X c (P{X)~S|TRT T, P, T, P c T~(P{T{P)RT T, P, T, Q c (T~P)~(T{Q)RT T, P, T, R c (T|P{R)~TRT T, P, T, T c T{(P{T)~TRT T, P, T, U c T{P~T~URT T, P, T, V c T~(P{V)|TRT T, P, T, W c T~P~W|TRT T, P, T, X c T~T{P{XRT T, P, U, O c T~(P{U){ORT T, P, U, P c (T{P)~U|PRT T, P, U, Q c T~(U|P{Q)RT T, P, U, S c T{(P{S)~URT T, P, U, T c T{P~U~TRT T, P, U, U c T{(U|P)~URT T, P, U, V c T(P|UV)RT T, P, U, W c T~W{P|URT T, P, V, O c T~P~V{ORT T, P, V, P c T~(P{V|P)RT T, P, V, Q c (T~V)~(Q|P)RT T, P, V, R c (T{V)~R|PRT T, P, V, S c V(P|ST)RT T, P, V, T c T~(P{V)|TRT T, P, V, U c T(P|UV)RT T, P, V, V c (T{P)~V|VRT T, P, V, W c T(WV|P)RT T, P, V, X c (P{X|T)~VRT T, P, W, O c T~(W|P){ORT T, P, W, P c (T~P)~(W|P)RT T, P, W, Q c T~(P{W|Q)RT T, P, W, R c (T|P)~W{RRT T, P, W, S c (T~W)|(P{S)RT T, P, W, T c T~P~W|TRT T, P, W, U c T~W{P|URT T, P, W, V c T(WV|P)RT T, P, X, P c (T|P)~X|PRT T, P, X, Q c (T~P)~(X|Q)RT T, P, X, R c T{(P{X)~RRT T, P, X, S c (P{X)~S|TRT T, P, X, T c T~(X|P)|TRT T, P, X, V c (P{X|T)~VRT T, P, X, X c (T~X)|(P{X)RT T, Q, O, T c (T{Q{O)~TRT T, Q, O, V c (T{Q~O)~VRT T, Q, O, X c (T{O)~(X|Q)RT T, Q, P, R c T~(Q~R{P)RT T, Q, P, S c (T{Q)~(P{S)RT T, Q, P, T c (T{Q)~(P~T)RT T, Q, P, U c T~(Q|P{U)RT T, Q, P, V c T~(Q|P)~VRT T, Q, P, W c T~(P{W|Q)RT T, Q, P, X c (T~P)~(X|Q)RT T, Q, Q, R c (T{Q)~(Q{R)RT T, Q, Q, U c T~(QQ{U)RT T, Q, Q, V c (T{Q|Q)~VRT T, Q, Q, W c T~(W|QQ)RT T, Q, R, P c T~(Q~R{P)RT T, Q, R, Q c (T{Q)~(R{Q)RT T, Q, R, R c T~(R~R|Q)RT T, Q, R, T c T{Q~R~TRT T, Q, R, U c T{(Q{R)~URT T, Q, R, V c T~(R|Q)~VRT T, Q, R, W c T{(Q{W)~RRT T, Q, S, P c (T{Q)~(S{P)RT T, Q, S, T c T{(Q{S)~TRT T, Q, S, U c T~(S{UQ)RT T, Q, S, V c T{Q{S~VRT T, Q, S, W c T|Q{S~WRT T, Q, S, X c (T{Q)~(X|S)RT T, Q, T, O c (T{Q)~(T{O)RT T, Q, T, P c (T{Q)~(T~P)RT T, Q, T, R c T{Q~T~RRT T, Q, T, S c T{(Q{S)~TRT T, Q, T, T c T~Q{T~TRT T, Q, T, U c T~(Q{U)|TRT T, Q, T, V c (T~Q|T)~VRT T, Q, T, W c T~T{Q{WRT T, Q, T, X c (TQ)~(T{X)RT T, Q, U, P c (T{Q)~(U|P)RT T, Q, U, Q c T~(QQ{U)RT T, Q, U, R c T{(Q{R)~URT T, Q, U, S c T~(UQ{S)RT T, Q, U, T c T~(Q{U)|TRT T, Q, U, V c (T{Q)~U|VRT T, Q, U, W c (TQ)~(U{W)RT T, Q, U, X c T{Q~(U{X)RT T, Q, V, O c (T{Q~O)~VRT T, Q, V, P c T~(Q|P)~VRT T, Q, V, Q c (T{Q)~(V|Q)RT T, Q, V, R c (T~V)~(R|Q)RT T, Q, V, S c T{Q{V~SRT T, Q, V, T c (T~Q|T)~VRT T, Q, V, U c (T{Q)~U|VRT T, Q, V, V c T~(Q~V|V)RT T, Q, V, W c T{Q~(V{W)RT T, Q, V, X c (T{X)~Q{VRT T, Q, W, P c T~(W|Q{P)RT T, Q, W, Q c T~(W|QQ)RT T, Q, W, R c T{(Q{W)~RRT T, Q, W, S c T|Q{W~SRT T, Q, W, T c T{(W|Q)~TRT T, Q, W, U c (TQ)~(W{U)RT T, Q, W, V c T{Q~(W{V)RT T, Q, W, X c T~(Q~W|X)RT T, Q, X, O c T~(X|Q){ORT T, Q, X, P c T~(X|Q)~PRT T, Q, X, S c (T{Q)~(X|S)RT T, Q, X, T c (TQ)~(X{T)RT T, Q, X, U c T{Q~(X{U)RT T, Q, X, V c (T{X)~Q{VRT T, Q, X, W c (T|Q)~X{WRT T, R, O, S c T~(R{O{S)RT T, R, O, V c (T{R~O)~VRT T, R, P, Q c T~(R~Q{P)RT T, R, P, R c T~(R{P{R)RT T, R, P, S c T~(R{P~S)RT T, R, P, T c (T{R|P)~TRT T, R, P, V c (T{V)~R|PRT T, R, P, W c (T|P)~W{RRT T, R, P, X c T{R~(P{X)RT T, R, Q, P c T~(R~Q{P)RT T, R, Q, Q c T~(R{Q{Q)RT T, R, Q, R c T~(R~R|Q)RT T, R, Q, T c T{R~Q~TRT T, R, Q, U c T{(R{Q)~URT T, R, Q, V c T~(R|Q)~VRT T, R, Q, W c T{R~(Q{W)RT T, R, R, P c T~(R{R{P)RT T, R, R, Q c T~(R~R|Q)RT T, R, R, S c (T{R)~S{RRT T, R, R, T c T{(R{R)~TRT T, R, R, U c T~(RR{U)RT T, R, R, V c (T{R|R)~VRT T, R, R, W c T~(W|RR)RT T, R, R, X c T{R{R~XRT T, R, S, O c T~(R{S){ORT T, R, S, P c T~(R{S)~PRT T, R, S, R c (T{R)~S{RRT T, R, S, T c T~R{S~TRT T, R, S, U c T{R~(S{U)RT T, R, S, V c T~(S|R)~VRT T, R, S, W c T~(R{W|S)RT T, R, S, X c T~(S{XR)RT T, R, T, P c T~(R{T|P)RT T, R, T, Q c T{R~T~QRT T, R, T, R c T{(R{R)~TRT T, R, T, S c T~R{T~SRT T, R, T, T c T{R~(T{T)RT T, R, T, U c T~(T{UR)RT T, R, T, V c T~T{R{VRT T, R, T, W c T~(R~T|W)RT T, R, T, X c T~(R{X|T)RT T, R, U, Q c T~(R{U|Q)RT T, R, U, R c T~(RR{U)RT T, R, U, S c T{R~(U{S)RT T, R, U, T c (T{UR)~TRT T, R, U, W c T{R~W{URT T, R, U, X c T~(X|UR)RT T, R, V, O c (T{R~O)~VRT T, R, V, P c (T{V)~R|PRT T, R, V, Q c T~(R|Q)~VRT T, R, V, R c T{(R{V)~RRT T, R, V, S c (T~V)~(S|R)RT T, R, V, T c T~T{R{VRT T, R, V, V c (R{V|T)~VRT T, R, V, X c T{R~V{XRT T, R, W, P c (T|P)~W{RRT T, R, W, Q c T{R~(W{Q)RT T, R, W, R c T~(W|RR)RT T, R, W, S c T~(R{W|S)RT T, R, W, T c (T~R|W)~TRT T, R, W, U c T{R~W{URT T, R, W, W c T~W{R|WRT T, R, W, X c R{W~(X|T)RT T, R, X, P c T{R~(X{P)RT T, R, X, R c T{R{X~RRT T, R, X, S c T~(XR{S)RT T, R, X, T c T~(R{X|T)RT T, R, X, U c T~(X|UR)RT T, R, X, V c T{R~V{XRT T, R, X, W c R{(X|T)~WRT T, S, O, R c T~(S{O{R)RT T, S, O, V c (T{S~O)~VRT T, S, P, Q c T~(S{P{Q)RT T, S, P, R c T~(S{P~R)RT T, S, P, S c T~(S|P{S)RT T, S, P, U c T{(S{P)~URT T, S, P, V c V(P|ST)RT T, S, P, W c (T~W)|(S{P)RT T, S, P, X c S~(P{X)|TRT T, S, Q, P c T~(S{Q{P)RT T, S, Q, T c T{(S{Q)~TRT T, S, Q, U c T~(S{UQ)RT T, S, Q, V c T{S~V{QRT T, S, Q, W c T{S~W|QRT T, S, Q, X c (T{Q)~(X|S)RT T, S, R, O c T~(S{R){ORT T, S, R, P c T~(S{R)~PRT T, S, R, R c (T{R)~S{RRT T, S, R, T c T~S{R~TRT T, S, R, U c T~(S|R{U)RT T, S, R, V c T~(S|R)~VRT T, S, R, W c (T{S)~R{WRT T, S, R, X c T~(S{XR)RT T, S, S, P c (T{S)~S|PRT T, S, S, T c T~(S{S)|TRT T, S, S, U c T~(SS{U)RT T, S, S, V c (T{S|S)~VRT T, S, S, W c T~(W|SS)RT T, S, S, X c T~(S~S|X)RT T, S, T, Q c T~(S{T|Q)RT T, S, T, R c T~S{T~RRT T, S, T, S c T~(S{S)|TRT T, S, T, T c (T{T)~S|TRT T, S, T, U c (T|S{U)~TRT T, S, T, V c (T|S)~(T~V)RT T, S, T, W c T~(S{W|T)RT T, S, T, X c S~X|TTRT T, S, U, P c T{(S{P)~URT T, S, U, Q c T~(S{UQ)RT T, S, U, R c T{(S{U)~RRT T, S, U, S c T~(SS{U)RT T, S, U, T c (T|S{U)~TRT T, S, U, U c T{S~U{URT T, S, U, V c (S{U|T)~VRT T, S, U, X c T~S{U{XRT T, S, V, O c (T{S~O)~VRT T, S, V, P c V(P|ST)RT T, S, V, Q c T{S~V{QRT T, S, V, R c T~(S|R)~VRT T, S, V, S c T~(S{V|S)RT T, S, V, T c (T|S)~(V~T)RT T, S, V, U c (S{U|T)~VRT T, S, V, W c T~S{V{WRT T, S, W, P c (T~W)|(S{P)RT T, S, W, Q c T{S~W|QRT T, S, W, R c (T{S)~R{WRT T, S, W, S c T~(W|SS)RT T, S, W, T c T~(S{W|T)RT T, S, W, V c T~S{W{VRT T, S, W, W c S~W|T{WRT T, S, W, X c T~W{S|XRT T, S, X, P c S~(X{P)|TRT T, S, X, Q c T~(X|S{Q)RT T, S, X, R c T~(S{XR)RT T, S, X, S c T~(S~S|X)RT T, S, X, T c S~X|TTRT T, S, X, U c T{S~X|URT T, S, X, W c T~(X|WS)RT T, T, O, Q c T~(T{O{Q)RT T, T, O, U c T{(T{O)~URT T, T, O, V c (T{T~O)~VRT T, T, O, W c (T{O)~W|TRT T, T, P, P c T~(T{P{P)RT T, T, P, Q c T~(T{P~Q)RT T, T, P, R c T~(T|P{R)RT T, T, P, T c T{(T{P)~TRT T, T, P, U c T{T~P~URT T, T, P, V c T{T~(V|P)RT T, T, P, W c T~P~W|TRT T, T, P, X c T~T{P{XRT T, T, Q, O c T~(T{Q){ORT T, T, Q, P c T~(T{Q)~PRT T, T, Q, R c T{T~Q~RRT T, T, Q, S c T{T~(Q{S)RT T, T, Q, T c T~T{Q~TRT T, T, Q, U c T~(Q{U)|TRT T, T, Q, V c (T{T)Q~VRT T, T, Q, W c T~T{Q{WRT T, T, Q, X c T~(T{X)QRT T, T, R, P c T~(T{R|P)RT T, T, R, Q c T{T~R~QRT T, T, R, R c T{T~(R{R)RT T, T, R, S c T~R{T~SRT T, T, R, T c (T{T|R)~TRT T, T, R, U c T~(T{UR)RT T, T, R, V c T~T{R{VRT T, T, R, W c T~(T~R|W)RT T, T, R, X c T{T~(X|R)RT T, T, S, Q c T{T~(S{Q)RT T, T, S, R c T~S{T~RRT T, T, S, S c T~(S{S)|TRT T, T, S, T c (T{T)~S|TRT T, T, S, U c T~T{S{URT T, T, S, V c T~(T|S)~VRT T, T, S, W c T~(T{WS)RT T, T, S, X c S~X|TTRT T, T, T, P c T{T~(T{P)RT T, T, T, Q c T~T{T~QRT T, T, T, R c T{(T{T)~RRT T, T, T, S c (T{T)~S|TRT T, T, T, T c T{T{T~TRT T, T, T, U c T~(TT{U)RT T, T, T, V c (T{T|T)~VRT T, T, T, W c T~(W|TT)RT T, T, T, X c (T~X)|(T{T)RT T, T, U, O c T{T~U{ORT T, T, U, P c T{T~U~PRT T, T, U, Q c T~(U{Q)|TRT T, T, U, R c T~(T{UR)RT T, T, U, S c T~T{U{SRT T, T, U, T c (TT{U)~TRT T, T, U, U c (T{TU)~URT T, T, U, V c T~(U|T)~VRT T, T, U, W c T~(T{W|U)RT T, T, V, O c (T{T~O)~VRT T, T, V, P c T{T~(V|P)RT T, T, V, Q c (T{T)~(VQ)RT T, T, V, R c T~T{V{RRT T, T, V, S c T~(T|S)~VRT T, T, V, T c T{T~V|TRT T, T, V, U c (T~V)~(U|T)RT T, T, V, X c T~(T{X|V)RT T, T, W, O c T~W|T{ORT T, T, W, P c T~W|T~PRT T, T, W, Q c T{T~(W|Q)RT T, T, W, R c T~(T~R|W)RT T, T, W, S c T~(T{WS)RT T, T, W, T c T~(W|TT)RT T, T, W, U c T~(T{W|U)RT T, T, W, W c (T|TW)~WRT T, T, X, P c T~T{X{PRT T, T, X, Q c T~(T{X)QRT T, T, X, R c T{T~(X|R)RT T, T, X, S c X~S|TTRT T, T, X, T c (T~X)|(T{T)RT T, T, X, V c T~(T{X|V)RT T, U, O, P c T~(U{O{P)RT T, U, O, T c T{(U{O)~TRT T, U, O, V c (T{U~O)~VRT T, U, P, O c T~(U{P){ORT T, U, P, P c T~(U{P)~PRT T, U, P, Q c T~(U|P{Q)RT T, U, P, S c T{U~(P{S)RT T, U, P, T c T{U~P~TRT T, U, P, U c T{(U|P)~URT T, U, P, V c T(P|UV)RT T, U, P, W c T~W|U{PRT T, U, Q, P c T~(U{Q|P)RT T, U, Q, Q c T~(U{QQ)RT T, U, Q, R c T{U~(Q{R)RT T, U, Q, S c T~(UQ{S)RT T, U, Q, T c T~(U{Q)|TRT T, U, Q, V c T~U|Q{VRT T, U, Q, W c T~(U{W)QRT T, U, Q, X c T{(U{X)~QRT T, U, R, Q c (T{U)~R{QRT T, U, R, R c T~(U{RR)RT T, U, R, S c T~(U|R{S)RT T, U, R, T c (T{UR)~TRT T, U, R, W c T{U{R~WRT T, U, R, X c T~(X|UR)RT T, U, S, P c T{U~(S{P)RT T, U, S, Q c T~(UQ{S)RT T, U, S, R c T{(U{S)~RRT T, U, S, S c T~(U{SS)RT T, U, S, T c (T{U|S)~TRT T, U, S, U c T{U{S~URT T, U, S, V c (U|T{S)~VRT T, U, S, X c (T{U)~S|XRT T, U, T, O c T{U~T{ORT T, U, T, P c T{U~T~PRT T, U, T, Q c T~(U{Q)|TRT T, U, T, R c (T{UR)~TRT T, U, T, S c T~(U{T|S)RT T, U, T, T c T~(U{TT)RT T, U, T, U c T~(U|T{U)RT T, U, T, V c T~(U|T)~VRT T, U, T, W c T~(T{W|U)RT T, U, U, P c T{U~(U|P)RT T, U, U, S c T{U{U~SRT T, U, U, T c T~(U{U|T)RT T, U, U, U c T{U~U|URT T, U, U, V c (T{U|U)~VRT T, U, U, W c T~(W|UU)RT T, U, V, O c (T{U~O)~VRT T, U, V, P c T(P|UV)RT T, U, V, Q c T{U~(V|Q)RT T, U, V, S c (U|T{S)~VRT T, U, V, T c T~(U|T)~VRT T, U, V, U c T~(U{V|U)RT T, U, V, V c T~(U{VV)RT T, U, V, W c T~(U{W|V)RT T, U, W, P c T~W|U{PRT T, U, W, Q c T~(U{W)QRT T, U, W, R c T{U{W~RRT T, U, W, T c (T{W|U)~TRT T, U, W, U c T~(W|UU)RT T, U, W, V c T~(U{W|V)RT T, U, W, W c T~(U{WW)RT T, U, W, X c T~(U{X|W)RT T, U, X, Q c T{(U{X)~QRT T, U, X, R c T~(X|UR)RT T, U, X, S c T{U~(X|S)RT T, U, X, W c T~(U{X|W)RT T, U, X, X c T~(U{XX)RT T, V, O, O c T~V{O{ORT T, V, O, P c T~V{O~PRT T, V, O, Q c T~V{O~QRT T, V, O, R c T~V{O~RRT T, V, O, S c T~V{O~SRT T, V, O, T c T~V{O~TRT T, V, O, U c T~V{O~URT T, V, O, V c (T{V~O)~VRT T, V, O, W c T~V{O~WRT T, V, O, X c T~V{O~XRT T, V, P, O c T~V{P~ORT T, V, P, P c T~V{P|PRT T, V, P, Q c (T~V)~(Q|P)RT T, V, P, R c (T{V)~R|PRT T, V, P, S c V(P|ST)RT T, V, P, T c T{(V|P)~TRT T, V, P, U c T(P|UV)RT T, V, P, V c (T{P)~V|VRT T, V, P, W c T(WV|P)RT T, V, P, X c V~(P{X|T)RT T, V, Q, O c T~V{Q~ORT T, V, Q, P c (T~V)~(Q|P)RT T, V, Q, Q c T~V{Q|QRT T, V, Q, R c (T~V)~(R|Q)RT T, V, Q, S c T{V~S{QRT T, V, Q, T c (T~Q|T)~VRT T, V, Q, U c T{(V|Q)~URT T, V, Q, V c T~(V~Q|V)RT T, V, Q, W c T{(V{W)~QRT T, V, Q, X c (T{X)~Q{VRT T, V, R, O c T~V{R~ORT T, V, R, P c (T{V)~R|PRT T, V, R, Q c (T~V)~(R|Q)RT T, V, R, R c T{(V{R)~RRT T, V, R, S c (T~V)~(S|R)RT T, V, R, T c T~T{V{RRT T, V, R, V c (V|T{R)~VRT T, V, R, X c T{V~R{XRT T, V, S, O c T~V{S~ORT T, V, S, P c V(P|ST)RT T, V, S, Q c T{V~S{QRT T, V, S, R c (T~V)~(S|R)RT T, V, S, S c T~V{S|SRT T, V, S, T c (T~V)~(T|S)RT T, V, S, U c V~(S{U|T)RT T, V, S, W c T~S{V{WRT T, V, T, O c T~V{T~ORT T, V, T, P c T{(V|P)~TRT T, V, T, Q c (T{T)~(VQ)RT T, V, T, R c T~T{V{RRT T, V, T, S c (T~V)~(T|S)RT T, V, T, T c (T{V|T)~TRT T, V, T, U c (T~V)~(U|T)RT T, V, T, X c T~(T{X|V)RT T, V, U, O c T~V{U~ORT T, V, U, P c T(P|UV)RT T, V, U, Q c T{(V|Q)~URT T, V, U, S c V~(U|T{S)RT T, V, U, T c (T~V)~(U|T)RT T, V, U, U c T~V{U|URT T, V, U, V c T~(V|U)~VRT T, V, U, W c T~(U{W|V)RT T, V, V, O c T~V{V~ORT T, V, V, P c (T{P)~V|VRT T, V, V, Q c T~(V{V)QRT T, V, V, R c (V|T{R)~VRT T, V, V, U c (T~V)~(V|U)RT T, V, V, V c (T{V|V)~VRT T, V, V, W c (T~V)~(W|V)RT T, V, V, X c (V~V)|(T{X)RT T, V, W, O c T~V{W~ORT T, V, W, P c T(WV|P)RT T, V, W, Q c T{(V{W)~QRT T, V, W, S c T~S{V{WRT T, V, W, U c T~(W|V{U)RT T, V, W, V c (T~V)~(W|V)RT T, V, W, W c T~V{W|WRT T, V, W, X c (T~V)~(X|W)RT T, V, X, O c T~V{X~ORT T, V, X, P c V~(X|T{P)RT T, V, X, Q c (T{X)~Q{VRT T, V, X, R c T{V~R{XRT T, V, X, T c (T{X|V)~TRT T, V, X, V c V{(X|T)~VRT T, V, X, W c (T~V)~(X|W)RT T, V, X, X c T~V{X|XRT T, W, O, P c T~(W{O|P)RT T, W, O, T c T~W{O|TRT T, W, O, V c (T{W~O)~VRT T, W, P, O c T~(W|P){ORT T, W, P, P c T~(W|P)~PRT T, W, P, Q c T~(W{P|Q)RT T, W, P, R c (T|P)~W{RRT T, W, P, S c (T~W)|(P{S)RT T, W, P, T c T~W|P~TRT T, W, P, U c T~W{P|URT T, W, P, V c T(WV|P)RT T, W, Q, P c T~(W|Q{P)RT T, W, Q, Q c T~(W|QQ)RT T, W, Q, R c T{(W{Q)~RRT T, W, Q, S c T{W~S|QRT T, W, Q, T c T{(W|Q)~TRT T, W, Q, U c T~(W{U)QRT T, W, Q, V c T~W{Q|VRT T, W, Q, X c (T{W)~Q{XRT T, W, R, P c (T|P)~W{RRT T, W, R, Q c (T~W)|(R{Q)RT T, W, R, R c T~(W|RR)RT T, W, R, S c (T{W)~R|SRT T, W, R, T c (T~R|W)~TRT T, W, R, U c T{(W|R)~URT T, W, R, W c T~W{R|WRT T, W, R, X c W~(X|T){RRT T, W, S, P c (T~W)|(S{P)RT T, W, S, Q c T{W~S|QRT T, W, S, R c T~(W|S{R)RT T, W, S, S c T~(W|SS)RT T, W, S, T c (T{WS)~TRT T, W, S, V c T~S{W{VRT T, W, S, W c W|T{S~WRT T, W, S, X c T~W{S|XRT T, W, T, O c T~W|T{ORT T, W, T, P c T~W|T~PRT T, W, T, Q c T{(W|Q)~TRT T, W, T, R c T~(T~R|W)RT T, W, T, S c T~(W|T{S)RT T, W, T, T c T~(W|TT)RT T, W, T, U c T~(W{T|U)RT T, W, T, W c (T|TW)~WRT T, W, U, P c T~W|U{PRT T, W, U, Q c T~(W{U)QRT T, W, U, R c T{(W|R)~URT T, W, U, T c (T{W|U)~TRT T, W, U, U c T~(W|UU)RT T, W, U, V c T~(W{U|V)RT T, W, U, W c T~(WW{U)RT T, W, U, X c T~(U{X|W)RT T, W, V, O c (T{W~O)~VRT T, W, V, P c T(WV|P)RT T, W, V, Q c T{(W{V)~QRT T, W, V, S c T~S{W{VRT T, W, V, U c T~(W|V{U)RT T, W, V, V c T~(W|V)~VRT T, W, V, W c T~(W{V|W)RT T, W, V, X c (T~V)~(X|W)RT T, W, W, R c T~W|W{RRT T, W, W, S c W|T{W~SRT T, W, W, T c (T|TW)~WRT T, W, W, U c T~(WW{U)RT T, W, W, V c (T{W|W)~VRT T, W, W, W c T~(W|WW)RT T, W, W, X c T~(W{W|X)RT T, W, X, Q c (T{W)~Q{XRT T, W, X, R c W~(X|T){RRT T, W, X, S c T~W|X{SRT T, W, X, U c T~(X|W{U)RT T, W, X, V c T~(X|W)~VRT T, W, X, W c T~(W{W|X)RT T, W, X, X c T~(W|XX)RT T, X, O, Q c T~(X{O|Q)RT T, X, O, V c (T{X~O)~VRT T, X, P, P c T~(X|P|P)RT T, X, P, Q c T~(X|P~Q)RT T, X, P, R c T{(X{P)~RRT T, X, P, S c (X{P)~S|TRT T, X, P, T c T~(X|P)|TRT T, X, P, V c (X|T{P)~VRT T, X, P, X c (T~X)|(P{X)RT T, X, Q, O c T~(X|Q){ORT T, X, Q, P c T~(X|Q)~PRT T, X, Q, S c T~(X{Q|S)RT T, X, Q, T c (T{X)Q~TRT T, X, Q, U c T{(X{U)~QRT T, X, Q, V c (T{X)~Q{VRT T, X, Q, W c (T~X)|(Q{W)RT T, X, R, P c T~(X|R{P)RT T, X, R, R c T{X~R{RRT T, X, R, S c T~(XR{S)RT T, X, R, T c T{(X|R)~TRT T, X, R, U c T~(X|UR)RT T, X, R, V c T{X{R~VRT T, X, R, W c (X|T)~W{RRT T, X, S, P c (X{P)~S|TRT T, X, S, Q c T~(X|S{Q)RT T, X, S, R c T~(XR{S)RT T, X, S, S c T~(S~S|X)RT T, X, S, T c X~S|TTRT T, X, S, U c T{(X|S)~URT T, X, S, W c T~(X|WS)RT T, X, T, P c T~(X|P)|TRT T, X, T, Q c (T{X)~(TQ)RT T, X, T, R c T~(X|T{R)RT T, X, T, S c X~S|TTRT T, X, T, T c (T~X)|(T{T)RT T, X, T, V c T~(X{T|V)RT T, X, U, Q c T{(X{U)~QRT T, X, U, R c T~(X|UR)RT T, X, U, S c (T~X)|(U{S)RT T, X, U, W c T~(X{U|W)RT T, X, U, X c T~(XX{U)RT T, X, V, O c (T{X~O)~VRT T, X, V, P c (X|T{P)~VRT T, X, V, Q c (T{X)~Q{VRT T, X, V, R c T{X{V~RRT T, X, V, T c (T{X|V)~TRT T, X, V, V c (X|T)~V{VRT T, X, V, W c T~(X|W)~VRT T, X, V, X c T~(X{V|X)RT T, X, W, Q c (T~X)|(W{Q)RT T, X, W, R c (X|T)~W{RRT T, X, W, S c T~(X|WS)RT T, X, W, U c T~(X|W{U)RT T, X, W, V c T~(X|W)~VRT T, X, W, W c T~(W{W|X)RT T, X, W, X c T~(W|XX)RT T, X, X, P c (T~X)|(X{P)RT T, X, X, U c T~(XX{U)RT T, X, X, V c (T{X|X)~VRT T, X, X, W c T~(W|XX)RT U, O, P, T c (U{O{P)~TRT U, O, P, U c (U{O)~U|PRT U, O, P, V c (U{O|P)~VRT U, O, T, P c (U{O{P)~TRT U, O, T, T c (U{O)~T{TRT U, O, T, V c U~O{T~VRT U, O, U, P c (U{O)~U|PRT U, O, V, P c (U{O|P)~VRT U, O, V, T c U~O{V~TRT U, O, V, V c (U{O)~V|VRT U, P, O, T c (U{P{O)~TRT U, P, O, U c (U{O)~U|PRT U, P, O, V c (U|P{O)~VRT U, P, P, S c (U{P)~(P{S)RT U, P, P, T c (U{P)~(P~T)RT U, P, P, U c (U|P)~(P{U)RT U, P, P, V c (U|P)~(P~V)RT U, P, P, W c (U|P)~(W|P)RT U, P, Q, R c (U{P)~(Q{R)RT U, P, Q, S c U~(Q{S)|PRT U, P, Q, T c (U|P{Q)~TRT U, P, Q, U c U~U{P|QRT U, P, Q, V c (U{P|Q)~VRT U, P, Q, W c U~(W|Q)|PRT U, P, Q, X c (U|P)~(X|Q)RT U, P, R, Q c (U{P)~(R{Q)RT U, P, R, R c U~(R{R)|PRT U, P, R, S c (U|P)~(R{S)RT U, P, R, U c (U{U)~R|PRT U, P, R, W c (U{P)~(W|R)RT U, P, R, X c U~(X|R)|PRT U, P, S, P c (U{P)~(S{P)RT U, P, S, Q c U~(S{Q)|PRT U, P, S, R c (U|P)~(S{R)RT U, P, S, T c U~(P{S){TRT U, P, S, V c U{P{S~VRT U, P, S, X c (U{P)~(X|S)RT U, P, T, O c (U{P)~(T{O)RT U, P, T, P c (U{P)~(T~P)RT U, P, T, Q c (U|P)~(T{Q)RT U, P, T, S c U~(P{S){TRT U, P, T, T c U~P~T{TRT U, P, T, U c U|P{T~URT U, P, T, V c T(P|UV)RT U, P, T, W c (U|P)~W|TRT U, P, U, O c U~U|P{ORT U, P, U, P c (U{P)~(U|P)RT U, P, U, Q c U~U{P|QRT U, P, U, R c (U{U)~R|PRT U, P, U, T c U|P{U~TRT U, P, U, U c (U|PU)~URT U, P, U, V c (U{P)~U|VRT U, P, V, O c (U|P)~(V{O)RT U, P, V, P c (U|P)~(V~P)RT U, P, V, Q c (U{P)~(V|Q)RT U, P, V, S c U{P{V~SRT U, P, V, T c V(UT|P)RT U, P, V, U c (U{P)~U|VRT U, P, V, V c U~P~V|VRT U, P, V, W c U~V{P|WRT U, P, W, P c (U|P)~(W|P)RT U, P, W, Q c U~(W|Q)|PRT U, P, W, R c (U{P)~(W|R)RT U, P, W, T c (U|P)~W|TRT U, P, W, V c U~(W|P)|VRT U, P, X, Q c (U|P)~(X|Q)RT U, P, X, R c U~(X|R)|PRT U, P, X, S c (U{P)~(X|S)RT U, Q, P, R c U~Q~R|PRT U, Q, P, S c U~(Q{S)|PRT U, Q, P, T c (U{Q|P)~TRT U, Q, P, U c U~U|Q{PRT U, Q, P, V c (U|Q{P)~VRT U, Q, P, W c U~(W|Q)|PRT U, Q, P, X c (U|Q)~X|PRT U, Q, Q, T c (U{QQ)~TRT U, Q, Q, U c U~U|QQRT U, Q, Q, V c (U|QQ)~VRT U, Q, R, P c U~Q~R|PRT U, Q, R, S c (U{Q)~S{RRT U, Q, R, T c (U|Q{R)~TRT U, Q, R, U c U~U{Q|RRT U, Q, R, V c (U{Q|R)~VRT U, Q, R, W c (U|Q)~W{RRT U, Q, R, X c U{Q{R~XRT U, Q, S, P c U~(Q{S)|PRT U, Q, S, R c (U{Q)~S{RRT U, Q, S, T c (UQ{S)~TRT U, Q, S, V c (U{S)Q~VRT U, Q, S, W c UQ{S~WRT U, Q, S, X c U~S{Q{XRT U, Q, T, P c (U{Q|P)~TRT U, Q, T, Q c (U{QQ)~TRT U, Q, T, R c (U|Q{R)~TRT U, Q, T, S c (UQ{S)~TRT U, Q, T, T c (U{Q)~T|TRT U, Q, T, V c U~(Q{T)|VRT U, Q, T, W c (U{W)Q~TRT U, Q, T, X c (U{X)~Q{TRT U, Q, U, P c U~U|Q{PRT U, Q, U, Q c U~U|QQRT U, Q, U, R c U~U{Q|RRT U, Q, V, P c (U|Q{P)~VRT U, Q, V, Q c (U|QQ)~VRT U, Q, V, R c (U{Q|R)~VRT U, Q, V, S c (U{S)Q~VRT U, Q, V, T c U~(Q{T)|VRT U, Q, V, V c (U|Q)~V{VRT U, Q, V, W c (U{W)~Q{VRT U, Q, V, X c (U{V)~Q{XRT U, Q, W, P c U~(W|Q)|PRT U, Q, W, R c (U|Q)~W{RRT U, Q, W, S c UQ{W~SRT U, Q, W, T c (U{W)Q~TRT U, Q, W, V c (U{W)~Q{VRT U, Q, W, W c (U{W~W)QRT U, Q, W, X c UQ~X{WRT U, Q, X, P c (U|Q)~X|PRT U, Q, X, R c U{Q{X~RRT U, Q, X, S c U~S{Q{XRT U, Q, X, T c (U{X)~Q{TRT U, Q, X, V c U~(X|Q)|VRT U, Q, X, W c UQ~X{WRT U, R, P, Q c U~R~Q|PRT U, R, P, R c U~(R{R)|PRT U, R, P, S c (U{R)~S|PRT U, R, P, U c (U{U)~R|PRT U, R, P, W c (U{P)~(W|R)RT U, R, P, X c U~(X|R)|PRT U, R, Q, P c U~R~Q|PRT U, R, Q, S c (U{Q)~S{RRT U, R, Q, T c (U{R|Q)~TRT U, R, Q, U c U~U|R{QRT U, R, Q, V c (U|R{Q)~VRT U, R, Q, W c (U|Q)~W{RRT U, R, Q, X c U{R~X{QRT U, R, R, P c U~(R{R)|PRT U, R, R, T c (U{RR)~TRT U, R, R, U c U~U|RRRT U, R, R, V c (U|RR)~VRT U, R, R, W c (U{R)~R{WRT U, R, S, P c (U{R)~S|PRT U, R, S, Q c (U{Q)~S{RRT U, R, S, T c (U|R{S)~TRT U, R, S, U c U~U{R|SRT U, R, S, V c (U{R|S)~VRT U, R, S, W c U|R{S~WRT U, R, T, Q c (U{R|Q)~TRT U, R, T, R c (U{RR)~TRT U, R, T, S c (U|R{S)~TRT U, R, T, T c (UR{T)~TRT U, R, T, W c U{R~W{TRT U, R, T, X c T~(X|UR)RT U, R, U, P c (U{U)~R|PRT U, R, U, Q c U~U|R{QRT U, R, U, R c U~U|RRRT U, R, U, S c U~U{R|SRT U, R, V, Q c (U|R{Q)~VRT U, R, V, R c (U|RR)~VRT U, R, V, S c (U{R|S)~VRT U, R, V, V c (V|UR)~VRT U, R, V, W c U{R~V{WRT U, R, V, X c (U{X)R~VRT U, R, W, P c (U{P)~(W|R)RT U, R, W, Q c (U|Q)~W{RRT U, R, W, R c (U{R)~R{WRT U, R, W, S c U|R{W~SRT U, R, W, T c U{R~W{TRT U, R, W, V c U{R~V{WRT U, R, W, X c U~R{W{XRT U, R, X, P c U~(X|R)|PRT U, R, X, Q c U{R~X{QRT U, R, X, T c (X|UR)~TRT U, R, X, V c (U{X)R~VRT U, R, X, W c (U|R)~X{WRT U, S, P, P c (U{P)~(S{P)RT U, S, P, Q c U~(S{Q)|PRT U, S, P, R c (U|P)~(S{R)RT U, S, P, T c U~(S{P){TRT U, S, P, V c U{S~V{PRT U, S, P, X c (U{P)~(X|S)RT U, S, Q, P c U~(S{Q)|PRT U, S, Q, R c (U{Q)~S{RRT U, S, Q, T c (UQ{S)~TRT U, S, Q, V c (U{S)Q~VRT U, S, Q, W c UQ{S~WRT U, S, Q, X c U~S{Q{XRT U, S, R, P c (U{R)~S|PRT U, S, R, Q c (U{Q)~S{RRT U, S, R, T c (U{S|R)~TRT U, S, R, U c U~U|S{RRT U, S, R, V c (U|S{R)~VRT U, S, R, W c U~S{R{WRT U, S, S, T c (U{S)~S|TRT U, S, S, U c U~U|SSRT U, S, S, V c (U|SS)~VRT U, S, T, P c U~(S{P){TRT U, S, T, Q c (UQ{S)~TRT U, S, T, R c (U{S|R)~TRT U, S, T, S c (U{S)~S|TRT U, S, T, T c U{S{T~TRT U, S, T, U c U~S{T{URT U, S, T, V c (U{S|T)~VRT U, S, T, X c U{S~T{XRT U, S, U, R c U~U|S{RRT U, S, U, S c U~U|SSRT U, S, U, T c U{S~U{TRT U, S, U, V c (UU{S)~VRT U, S, U, X c S~X|UURT U, S, V, P c U{S~V{PRT U, S, V, Q c (U{S)~(VQ)RT U, S, V, R c (U|S{R)~VRT U, S, V, S c U~S{V{SRT U, S, V, T c (U{S|T)~VRT U, S, V, U c (UU{S)~VRT U, S, V, V c (S{V|U)~VRT U, S, V, X c U{S~X|VRT U, S, W, Q c UQ{S~WRT U, S, W, R c U{S~W|RRT U, S, W, W c (UW{W)~SRT U, S, W, X c (U~W)|(S{X)RT U, S, X, P c (U{P)~(X|S)RT U, S, X, Q c U~S{X{QRT U, S, X, T c U{S~T{XRT U, S, X, U c S~X|UURT U, S, X, V c U{S~X|VRT U, S, X, W c (U~W)|(S{X)RT U, T, O, P c (U{O{P)~TRT U, T, O, T c U~T{O{TRT U, T, O, V c U~O{T~VRT U, T, P, O c (U{P)~(T{O)RT U, T, P, P c U~(T{P)|PRT U, T, P, Q c (U|P)~(T{Q)RT U, T, P, S c U~T{P{SRT U, T, P, T c U~T{P~TRT U, T, P, U c U~T|P{URT U, T, P, V c T(P|UV)RT U, T, P, W c (U|P)~W|TRT U, T, Q, P c (U{Q|P)~TRT U, T, Q, Q c (U{QQ)~TRT U, T, Q, R c U~T{Q{RRT U, T, Q, S c (UQ{S)~TRT U, T, Q, T c (U{Q)~T|TRT U, T, Q, V c U~(T{Q)|VRT U, T, Q, W c (U{W)~(TQ)RT U, T, Q, X c (U{X)~Q{TRT U, T, R, Q c (U{T)~R{QRT U, T, R, R c (U{RR)~TRT U, T, R, S c (U|R{S)~TRT U, T, R, T c (UR{T)~TRT U, T, R, W c U{T{R~WRT U, T, R, X c T~(X|UR)RT U, T, S, P c U~T{S{PRT U, T, S, Q c (UQ{S)~TRT U, T, S, R c (U{S|R)~TRT U, T, S, S c (U{S)~S|TRT U, T, S, T c (U{T|S)~TRT U, T, S, U c U{T{S~URT U, T, S, V c (U|T{S)~VRT U, T, S, X c U{T~S{XRT U, T, T, O c U~T{T{ORT U, T, T, P c U~T{T~PRT U, T, T, Q c (U{Q)~T|TRT U, T, T, R c (UR{T)~TRT U, T, T, S c U{T~T{SRT U, T, T, T c (U{TT)~TRT U, T, T, U c U~(T{TU)RT U, T, T, V c (U|T)~(T~V)RT U, T, T, W c T~(T{W|U)RT U, T, U, P c U{T~U|PRT U, T, U, S c U{T{U~SRT U, T, U, T c (U|T{U)~TRT U, T, U, U c U~U{T|URT U, T, U, V c (U{T|U)~VRT U, T, U, W c T~(W|UU)RT U, T, V, O c U~O{T~VRT U, T, V, P c T(P|UV)RT U, T, V, Q c U~T{V|QRT U, T, V, S c (U|T{S)~VRT U, T, V, T c (U|T)~(V~T)RT U, T, V, U c U{T~V|URT U, T, V, V c (U{VV)~TRT U, T, V, W c (U{W|V)~TRT U, T, W, P c (U|P)~W|TRT U, T, W, Q c (U{W)~(TQ)RT U, T, W, R c U{T{W~RRT U, T, W, T c (T{W|U)~TRT U, T, W, U c T~(W|UU)RT U, T, W, V c (U{W|V)~TRT U, T, W, W c (U~W)|(T{W)RT U, T, W, X c (U{X|W)~TRT U, T, X, Q c (U{X)~Q{TRT U, T, X, R c T~(X|UR)RT U, T, X, S c U~T{X|SRT U, T, X, W c (U{X|W)~TRT U, T, X, X c (U{XX)~TRT U, U, O, P c U~U{O|PRT U, U, P, O c U~U|P{ORT U, U, P, P c U~U|P~PRT U, U, P, Q c U~U{P|QRT U, U, P, R c (U{U)~R|PRT U, U, P, T c U~(U|P){TRT U, U, P, U c U~(U|PU)RT U, U, P, V c U~(U{P)|VRT U, U, Q, P c U~U|Q{PRT U, U, Q, Q c U~U|QQRT U, U, Q, R c U~U{Q|RRT U, U, R, P c (U{U)~R|PRT U, U, R, Q c U~U|R{QRT U, U, R, R c U~U|RRRT U, U, R, S c U~U{R|SRT U, U, S, R c U~U|S{RRT U, U, S, S c U~U|SSRT U, U, S, T c U{U~S{TRT U, U, S, V c (UU{S)~VRT U, U, S, X c S~X|UURT U, U, T, P c U{U~T|PRT U, U, T, S c U~U|T{SRT U, U, T, T c (U{U|T)~TRT U, U, T, U c U~U{T|URT U, U, T, V c U|U{T~VRT U, U, T, W c T~(W|UU)RT U, U, U, P c U~(U|PU)RT U, U, U, T c (U{UU)~TRT U, U, U, U c U~U|UURT U, U, U, V c U{U~U|VRT U, U, V, P c U~(U{P)|VRT U, U, V, S c (UU{S)~VRT U, U, V, T c U|U{V~TRT U, U, V, U c U~U|V{URT U, U, V, V c (U{U|V)~VRT U, U, V, W c U~U{V|WRT U, U, W, T c (W|UU)~TRT U, U, W, V c U~U|W{VRT U, U, W, W c U~U|WWRT U, U, W, X c U~U{W|XRT U, U, X, S c X~S|UURT U, U, X, W c U~U|X{WRT U, U, X, X c U~U|XXRT U, V, O, P c (U{O|P)~VRT U, V, O, T c U~O{V~TRT U, V, O, V c U~V{O|VRT U, V, P, O c (U|P)~(V{O)RT U, V, P, P c U~(V|P)|PRT U, V, P, Q c (U{P)~(V|Q)RT U, V, P, S c U{V~S{PRT U, V, P, T c V(UT|P)RT U, V, P, U c (U~V)|(P{U)RT U, V, P, V c U~V|P~VRT U, V, P, W c U~V{P|WRT U, V, Q, P c (U|Q{P)~VRT U, V, Q, Q c (U|QQ)~VRT U, V, Q, R c (U{Q|R)~VRT U, V, Q, S c (U{S)~(VQ)RT U, V, Q, T c (U~V)|(Q{T)RT U, V, Q, V c (U|Q)~V{VRT U, V, Q, W c (U{W)~Q{VRT U, V, Q, X c (U{V)~Q{XRT U, V, R, Q c (U|R{Q)~VRT U, V, R, R c (U|RR)~VRT U, V, R, S c (U{V)~R|SRT U, V, R, V c (V|UR)~VRT U, V, R, W c U{V~R{WRT U, V, R, X c (U{X)~(VR)RT U, V, S, P c U{V~S{PRT U, V, S, Q c (U{S)~(VQ)RT U, V, S, R c (U~V)|(S{R)RT U, V, S, S c U~S{V{SRT U, V, S, T c (U{S|T)~VRT U, V, S, U c (UU{S)~VRT U, V, S, V c (V|U{S)~VRT U, V, S, X c U{S~X|VRT U, V, T, O c U~O{V~TRT U, V, T, P c V(UT|P)RT U, V, T, Q c (U~V)|(T{Q)RT U, V, T, S c (U|T{S)~VRT U, V, T, T c (U|T)~(V~T)RT U, V, T, U c U{V~T|URT U, V, T, V c (U{VV)~TRT U, V, T, W c (U{W|V)~TRT U, V, U, P c (U~V)|(U{P)RT U, V, U, S c (UU{S)~VRT U, V, U, T c (U{V|U)~TRT U, V, U, U c U~U|V{URT U, V, U, V c U~(V|VU)RT U, V, U, W c U~U{V|WRT U, V, V, O c U~V|V{ORT U, V, V, P c U~V|V~PRT U, V, V, Q c (U|Q)~V{VRT U, V, V, R c (V|UR)~VRT U, V, V, S c (V|U{S)~VRT U, V, V, T c (U{VV)~TRT U, V, V, U c U~(V|VU)RT U, V, V, V c (U|VV)~VRT U, V, V, W c (U{V|W)~VRT U, V, W, P c U~V|W{PRT U, V, W, Q c (U{W)~Q{VRT U, V, W, R c U{V~R{WRT U, V, W, T c (U{W|V)~TRT U, V, W, U c (U~W)|(V{U)RT U, V, W, V c (U{V|W)~VRT U, V, W, W c (U|WW)~VRT U, V, W, X c (U{W|X)~VRT U, V, X, Q c U~V|X{QRT U, V, X, R c (U{X)~(VR)RT U, V, X, S c U{X~S|VRT U, V, X, W c (U{W|X)~VRT U, V, X, X c (U|XX)~VRT U, W, P, P c (U|P)~(W|P)RT U, W, P, Q c U~(W|Q)|PRT U, W, P, R c (U{P)~(W|R)RT U, W, P, T c (U|P)~W|TRT U, W, P, V c U~(W|P)|VRT U, W, Q, P c U~(W|Q)|PRT U, W, Q, R c (U|Q)~W{RRT U, W, Q, S c UQ{W~SRT U, W, Q, T c (U{W)Q~TRT U, W, Q, V c (U{W)~Q{VRT U, W, Q, W c (U{W~W)QRT U, W, Q, X c UQ~X{WRT U, W, R, P c (U{P)~(W|R)RT U, W, R, Q c (U|Q)~W{RRT U, W, R, R c (U{R)~R{WRT U, W, R, S c U{W~S|RRT U, W, R, T c U{W~R{TRT U, W, R, V c U{W{R~VRT U, W, R, X c U~R{W{XRT U, W, S, Q c UQ{W~SRT U, W, S, R c U{W~S|RRT U, W, S, W c (UW{W)~SRT U, W, S, X c (U~W)|(S{X)RT U, W, T, P c (U|P)~W|TRT U, W, T, Q c (U{W)~(TQ)RT U, W, T, R c U{W~R{TRT U, W, T, T c (W|U{T)~TRT U, W, T, U c (W|UU)~TRT U, W, T, V c (U{W|V)~TRT U, W, T, W c (U~W)|(T{W)RT U, W, T, X c (U{X|W)~TRT U, W, U, T c (W|UU)~TRT U, W, U, V c (U~W)|(U{V)RT U, W, U, W c U~U|WWRT U, W, U, X c U~U{W|XRT U, W, V, P c U~(W|P)|VRT U, W, V, Q c (U{W)~Q{VRT U, W, V, R c U{W{V~RRT U, W, V, T c (U{W|V)~TRT U, W, V, U c (U~W)|(V{U)RT U, W, V, V c (U{V|W)~VRT U, W, V, W c (U|WW)~VRT U, W, V, X c (U{W|X)~VRT U, W, W, Q c (U{W~W)QRT U, W, W, S c (UW{W)~SRT U, W, W, T c (U{WW)~TRT U, W, W, U c U~U|WWRT U, W, W, V c (U|WW)~VRT U, W, X, Q c U~XQ{WRT U, W, X, R c U~R{W{XRT U, W, X, S c (U~W)|(X{S)RT U, W, X, T c (U{X|W)~TRT U, W, X, U c U~U{W|XRT U, W, X, V c (U{W|X)~VRT U, W, X, X c W{(X|U)~XRT U, X, P, Q c (U|P)~(X|Q)RT U, X, P, R c U~(X|R)|PRT U, X, P, S c (U{P)~(X|S)RT U, X, Q, P c (U|Q)~X|PRT U, X, Q, R c U{X~R{QRT U, X, Q, S c U~S{X{QRT U, X, Q, T c (U{X)~Q{TRT U, X, Q, V c U~(X|Q)|VRT U, X, Q, W c U~XQ{WRT U, X, R, P c U~(X|R)|PRT U, X, R, Q c U{X~R{QRT U, X, R, T c (X|UR)~TRT U, X, R, V c (U{X)R~VRT U, X, R, W c (U|R)~X{WRT U, X, S, P c (U{P)~(X|S)RT U, X, S, Q c U~S{X{QRT U, X, S, T c U{X{S~TRT U, X, S, U c X~S|UURT U, X, S, V c U{X~S|VRT U, X, S, W c (U~W)|(X{S)RT U, X, T, Q c (U{X)~Q{TRT U, X, T, R c (X|UR)~TRT U, X, T, S c U{X{T~SRT U, X, T, W c (U{X|W)~TRT U, X, T, X c (U{XX)~TRT U, X, U, S c X~S|UURT U, X, U, W c U~U|X{WRT U, X, U, X c U~U|XXRT U, X, V, Q c U~(X|Q)|VRT U, X, V, R c (U{X)~(VR)RT U, X, V, S c U{X~S|VRT U, X, V, W c (U{W|X)~VRT U, X, V, X c (U|XX)~VRT U, X, W, Q c U~XQ{WRT U, X, W, R c (U|R)~X{WRT U, X, W, S c (U~W)|(X{S)RT U, X, W, T c (U{X|W)~TRT U, X, W, U c U~U|X{WRT U, X, W, V c (U{W|X)~VRT U, X, W, X c (X|U)~X{WRT U, X, X, T c (U{XX)~TRT U, X, X, U c U~U|XXRT U, X, X, V c (U|XX)~VRT U, X, X, W c (X|U)~X{WRT V, O, O, T c (V{O{O)~TRT V, O, P, S c (V{O)~(P{S)RT V, O, P, T c (V{O)~(P~T)RT V, O, P, U c (V{O)~(U|P)RT V, O, Q, R c (V{O)~(Q{R)RT V, O, Q, T c (V{O~Q)~TRT V, O, Q, V c (V{O|Q)~VRT V, O, R, Q c (V{O)~(R{Q)RT V, O, R, T c (V{O~R)~TRT V, O, R, W c (V{O)~(W|R)RT V, O, S, P c (V{O)~(S{P)RT V, O, S, T c (V{O~S)~TRT V, O, S, V c V{O{S~VRT V, O, S, X c (V{O)~(X|S)RT V, O, T, O c (V{O)~(T{O)RT V, O, T, P c (V{O)~(T~P)RT V, O, T, Q c (V{O~Q)~TRT V, O, T, R c (V{O~R)~TRT V, O, T, S c (V{O~S)~TRT V, O, T, T c (V{O~T)~TRT V, O, T, U c (V{O~U)~TRT V, O, T, V c V~O{T~VRT V, O, T, W c (V{O~W)~TRT V, O, T, X c (V{O~X)~TRT V, O, U, P c (V{O)~(U|P)RT V, O, U, T c (V{O~U)~TRT V, O, U, V c (V{O)~U|VRT V, O, V, Q c (V{O)~(V|Q)RT V, O, V, S c V{O{V~SRT V, O, V, T c (V{O~V)~TRT V, O, V, U c (V{O)~U|VRT V, O, W, R c (V{O)~(W|R)RT V, O, W, T c (V{O~W)~TRT V, O, X, S c (V{O)~(X|S)RT V, O, X, T c (V{O~X)~TRT V, P, O, S c V~(P{O{S)RT V, P, O, T c (V{P~O)~TRT V, P, O, U c (V{O)~(U|P)RT V, P, P, R c V~(P{P{R)RT V, P, P, S c V~(P{P~S)RT V, P, P, T c (V{P|P)~TRT V, P, P, U c (V|P)~U|PRT V, P, P, V c (V|P|P)~VRT V, P, Q, Q c V~(P{Q{Q)RT V, P, Q, R c (V~P)~(Q{R)RT V, P, Q, S c V~(Q|P{S)RT V, P, Q, T c V~(Q|P)~TRT V, P, Q, U c V~(P{U|Q)RT V, P, Q, V c (V|P~Q)~VRT V, P, Q, W c V~(P{WQ)RT V, P, Q, X c V~(P{X)QRT V, P, R, P c V~(P{R{P)RT V, P, R, Q c (V~P)~(R{Q)RT V, P, R, R c V~(R|P{R)RT V, P, R, S c (V{P)~S{RRT V, P, R, T c (V{T)~R|PRT V, P, R, V c V{(P{R)~VRT V, P, R, W c (V~P)~(W|R)RT V, P, R, X c V{P{R~XRT V, P, S, O c V~(P{S){ORT V, P, S, P c V~(P{S)~PRT V, P, S, Q c V~(S|P{Q)RT V, P, S, R c (V{P)~S{RRT V, P, S, T c V(P|ST)RT V, P, S, U c V{(P{U)~SRT V, P, S, V c V{P~S~VRT V, P, S, W c V~(P{W|S)RT V, P, S, X c (V~P)~(X|S)RT V, P, T, O c V~P~T{ORT V, P, T, P c V~(P{T|P)RT V, P, T, Q c (V~T)~(Q|P)RT V, P, T, R c (V{T)~R|PRT V, P, T, S c V(P|ST)RT V, P, T, T c (V{P)~T|TRT V, P, T, U c V(UT|P)RT V, P, T, V c V~(P{T)|VRT V, P, T, W c T(WV|P)RT V, P, T, X c V~(P{X|T)RT V, P, U, O c V~(U|P){ORT V, P, U, P c (V|P)~U|PRT V, P, U, Q c V~(P{U|Q)RT V, P, U, S c V{(P{U)~SRT V, P, U, T c V(UT|P)RT V, P, U, U c (V~U)|(P{U)RT V, P, U, V c V~P~U|VRT V, P, U, W c V~U{P|WRT V, P, V, P c (V|P|P)~VRT V, P, V, Q c (V~P)~(V|Q)RT V, P, V, R c V~(P{V|R)RT V, P, V, S c V{P~V~SRT V, P, V, T c V~(P{T)|VRT V, P, V, U c V~P~U|VRT V, P, V, V c (V|P)~V|VRT V, P, W, Q c V~(P{WQ)RT V, P, W, R c (V~P)~(W|R)RT V, P, W, S c V~(P{W|S)RT V, P, W, T c T(WV|P)RT V, P, W, U c V~U{P|WRT V, P, X, Q c V~(P{X)QRT V, P, X, R c V{P{X~RRT V, P, X, S c (V~P)~(X|S)RT V, P, X, T c V~(P{X|T)RT V, Q, O, R c V~(Q{O{R)RT V, Q, O, T c (V{Q~O)~TRT V, Q, O, V c (V|Q{O)~VRT V, Q, P, Q c V~(Q{P{Q)RT V, Q, P, R c V~(Q{P~R)RT V, Q, P, S c V~(Q|P{S)RT V, Q, P, T c V~(Q|P)~TRT V, Q, P, U c (V|Q)~(P{U)RT V, Q, P, V c (V|Q)~(P~V)RT V, Q, P, W c (V|Q)~(W|P)RT V, Q, P, X c (VQ)~(P{X)RT V, Q, Q, P c V~(Q{Q{P)RT V, Q, Q, S c V~(QQ{S)RT V, Q, Q, T c (V{Q|Q)~TRT V, Q, Q, U c V~(Q{UQ)RT V, Q, Q, V c V{(Q{Q)~VRT V, Q, Q, W c (VQ)~(Q{W)RT V, Q, Q, X c (V|Q)~(X|Q)RT V, Q, R, O c V~(Q{R){ORT V, Q, R, P c V~(Q{R)~PRT V, Q, R, S c (V|Q)~(R{S)RT V, Q, R, T c V~(R|Q)~TRT V, Q, R, U c V~(Q{U|R)RT V, Q, R, V c V~Q{R~VRT V, Q, R, W c (V{Q)~R{WRT V, Q, R, X c V~(Q{XR)RT V, Q, S, P c (V{Q)~S|PRT V, Q, S, Q c V~(QQ{S)RT V, Q, S, R c (V|Q)~(S{R)RT V, Q, S, T c V{(Q{T)~SRT V, Q, S, U c (VQ)~(S{U)RT V, Q, S, V c (V{Q|S)~VRT V, Q, S, X c V~S|Q{XRT V, Q, T, O c (V{Q~O)~TRT V, Q, T, P c V~(Q|P)~TRT V, Q, T, Q c (V|Q)~(T{Q)RT V, Q, T, R c (V~T)~(R|Q)RT V, Q, T, S c V{(Q{T)~SRT V, Q, T, T c V~(Q~T|T)RT V, Q, T, U c V|Q{T~URT V, Q, T, V c (V~Q|V)~TRT V, Q, T, W c (V|Q)~W|TRT V, Q, T, X c V{Q~(T{X)RT V, Q, U, P c (V|Q)~(U{P)RT V, Q, U, Q c V~(Q{UQ)RT V, Q, U, R c V~(Q{U|R)RT V, Q, U, S c (VQ)~(U{S)RT V, Q, U, T c V|Q{U~TRT V, Q, U, V c V~(Q~U|V)RT V, Q, U, W c V{Q~(U{W)RT V, Q, U, X c V~(Q{X|U)RT V, Q, V, O c (V|Q)~(V{O)RT V, Q, V, P c (V|Q)~(V~P)RT V, Q, V, Q c V{Q~V~QRT V, Q, V, R c V~Q{V~RRT V, Q, V, S c V~(Q{V|S)RT V, Q, V, T c (V~Q|V)~TRT V, Q, V, U c V~(Q~U|V)RT V, Q, V, V c V{Q~(V{V)RT V, Q, V, W c VQ~W{VRT V, Q, V, X c V~(Q~V|X)RT V, Q, W, P c (V|Q)~(W|P)RT V, Q, W, Q c V~(Q{W)QRT V, Q, W, R c (V{Q)~R{WRT V, Q, W, T c (V|Q)~W|TRT V, Q, W, U c V{Q~(W{U)RT V, Q, W, V c VQ~W{VRT V, Q, W, X c V~(X|WQ)RT V, Q, X, P c (VQ)~(X{P)RT V, Q, X, Q c (V|Q)~(X|Q)RT V, Q, X, R c V~(Q{XR)RT V, Q, X, S c V{(X|Q)~SRT V, Q, X, T c V{Q~(X{T)RT V, Q, X, U c V~(Q{X|U)RT V, Q, X, V c (V~Q|X)~VRT V, Q, X, W c V~(X|WQ)RT V, R, O, Q c V~(R{O{Q)RT V, R, O, T c (V{R~O)~TRT V, R, O, W c (V{O)~(W|R)RT V, R, P, P c V~(R{P{P)RT V, R, P, Q c V~(R{P~Q)RT V, R, P, R c V~(R|P{R)RT V, R, P, S c (V{P)~S{RRT V, R, P, T c (V{T)~R|PRT V, R, P, V c V{(R{P)~VRT V, R, P, W c (V~P)~(W|R)RT V, R, P, X c V{R~X{PRT V, R, Q, O c V~(R{Q){ORT V, R, Q, P c V~(R{Q)~PRT V, R, Q, S c V~(R|Q{S)RT V, R, Q, T c V~(R|Q)~TRT V, R, Q, U c V~(Q{U|R)RT V, R, Q, V c (V{R)Q~VRT V, R, Q, W c (V{Q)~R{WRT V, R, Q, X c V~(Q{XR)RT V, R, R, P c V~(R{R|P)RT V, R, R, S c V~(R~R|S)RT V, R, R, T c (V{R|R)~TRT V, R, R, U c V~(R{UR)RT V, R, R, V c V~(R{R)|VRT V, R, R, W c (V|R)~W{RRT V, R, S, P c (V{P)~S{RRT V, R, S, Q c V~(R{S|Q)RT V, R, S, R c V~(R~R|S)RT V, R, S, S c V{(R{S)~SRT V, R, S, T c (V{R)~S|TRT V, R, S, U c V~(R{U|S)RT V, R, S, V c V~(R~S|V)RT V, R, S, W c V{R~W{SRT V, R, T, O c (V{R~O)~TRT V, R, T, P c (V{T)~R|PRT V, R, T, Q c V~(R|Q)~TRT V, R, T, R c V~(R{T|R)RT V, R, T, S c (V{R)~S|TRT V, R, T, T c V{R{T~TRT V, R, T, V c (V{R|T)~VRT V, R, T, X c V~R{T{XRT V, R, U, Q c V~(U|R{Q)RT V, R, U, R c V~(R{UR)RT V, R, U, S c V~(R{U|S)RT V, R, U, V c (V|UR)~VRT V, R, U, W c V~R{U{WRT V, R, U, X c (VR)~(U{X)RT V, R, V, P c V{(R{P)~VRT V, R, V, Q c (V{R)~(VQ)RT V, R, V, R c V~(R{R)|VRT V, R, V, S c V~(R~S|V)RT V, R, V, T c V~(R{V|T)RT V, R, V, U c V~(V|UR)RT V, R, V, V c V{R~V{VRT V, R, V, W c (VR)~(V{W)RT V, R, V, X c V~(R{X|V)RT V, R, W, O c V~(W|R){ORT V, R, W, P c V~(W|R)~PRT V, R, W, Q c (V{Q)~R{WRT V, R, W, R c (V|R)~W{RRT V, R, W, S c V{R~W{SRT V, R, W, U c V~R{W{URT V, R, W, V c (VR)~(W{V)RT V, R, W, X c V~(W|XR)RT V, R, X, P c V{R~X{PRT V, R, X, Q c V~(XR{Q)RT V, R, X, T c V~R{X{TRT V, R, X, U c (VR)~(X{U)RT V, R, X, V c V~(R{X|V)RT V, R, X, W c V~(W|XR)RT V, S, O, P c V~(S{O{P)RT V, S, O, T c (V{S~O)~TRT V, S, O, V c V{(S{O)~VRT V, S, O, X c (V{O)~(X|S)RT V, S, P, O c V~(S{P){ORT V, S, P, P c V~(S{P)~PRT V, S, P, Q c V~(S|P{Q)RT V, S, P, R c (V{P)~S{RRT V, S, P, T c V(P|ST)RT V, S, P, U c V{S~(P{U)RT V, S, P, V c V{S~P~VRT V, S, P, W c V~S|P{WRT V, S, P, X c (V~P)~(X|S)RT V, S, Q, P c V~(S{Q|P)RT V, S, Q, Q c V~(S{QQ)RT V, S, Q, R c V~(S|Q{R)RT V, S, Q, T c V{S~(Q{T)RT V, S, Q, U c V~(S{U)QRT V, S, Q, V c (V|S{Q)~VRT V, S, Q, X c V~S|Q{XRT V, S, R, P c (V{P)~S{RRT V, S, R, Q c (V{S)~R{QRT V, S, R, R c V~(S{RR)RT V, S, R, S c V{(S{R)~SRT V, S, R, T c V~(S|R)~TRT V, S, R, U c V~(R{U|S)RT V, S, R, V c V~(S~R|V)RT V, S, R, W c V{S{R~WRT V, S, S, R c V{S~(S{R)RT V, S, S, S c V~(S{SS)RT V, S, S, T c (V{S|S)~TRT V, S, S, U c V{S{S~URT V, S, S, V c (VS{V)~SRT V, S, S, W c V|S{S~WRT V, S, S, X c (V{S)~S|XRT V, S, T, O c (V{S~O)~TRT V, S, T, P c V(P|ST)RT V, S, T, Q c V{S~(T{Q)RT V, S, T, R c V~(S|R)~TRT V, S, T, S c V~(S{T|S)RT V, S, T, T c V~(S{TT)RT V, S, T, U c V~(S{U|T)RT V, S, T, W c V{S~T{WRT V, S, U, P c V{S~(U{P)RT V, S, U, Q c V~(S{U)QRT V, S, U, R c (V~U)|(S{R)RT V, S, U, S c V{S{U~SRT V, S, U, T c V~(S{U|T)RT V, S, U, U c V~(S{UU)RT V, S, U, V c (V{S|U)~VRT V, S, U, X c S~X|V{URT V, S, V, O c V{S~V{ORT V, S, V, P c V{S~V~PRT V, S, V, Q c (V|S{Q)~VRT V, S, V, R c V~(S~R|V)RT V, S, V, S c (VS{V)~SRT V, S, V, U c V~(S{V|U)RT V, S, V, V c V~(S{VV)RT V, S, V, W c V~(S{W|V)RT V, S, V, X c V~X|S~VRT V, S, W, P c V{S~(W|P)RT V, S, W, R c V{S{W~RRT V, S, W, S c V{S~W|SRT V, S, W, T c V{S~T{WRT V, S, W, V c V~(S{W|V)RT V, S, W, W c V~(S{WW)RT V, S, W, X c V{S~X|WRT V, S, X, O c V~(X|S){ORT V, S, X, P c V~(X|S)~PRT V, S, X, Q c V{S~(X|Q)RT V, S, X, S c (V{S)~S|XRT V, S, X, U c S~X|V{URT V, S, X, V c V~X|S~VRT V, S, X, W c V{S~X|WRT V, S, X, X c V~(S{XX)RT V, T, O, O c V~T{O{ORT V, T, O, P c V~T{O~PRT V, T, O, Q c V~T{O~QRT V, T, O, R c V~T{O~RRT V, T, O, S c V~T{O~SRT V, T, O, T c (V{T~O)~TRT V, T, O, U c V~T{O~URT V, T, O, V c V~T{O~VRT V, T, O, W c V~T{O~WRT V, T, O, X c V~T{O~XRT V, T, P, O c V~T{P~ORT V, T, P, P c V~T{P|PRT V, T, P, Q c (V~T)~(Q|P)RT V, T, P, R c (V{T)~R|PRT V, T, P, S c V(P|ST)RT V, T, P, T c (V{P)~T|TRT V, T, P, U c V(UT|P)RT V, T, P, V c V{(T|P)~VRT V, T, P, W c T(WV|P)RT V, T, P, X c V~(P{X|T)RT V, T, Q, O c V~T{Q~ORT V, T, Q, P c (V~T)~(Q|P)RT V, T, Q, Q c V~T{Q|QRT V, T, Q, R c (V~T)~(R|Q)RT V, T, Q, S c V{(T{Q)~SRT V, T, Q, T c V~(T~Q|T)RT V, T, Q, U c V{T~U|QRT V, T, Q, V c (V~Q|V)~TRT V, T, Q, W c (V|Q)~W|TRT V, T, Q, X c V{(T{X)~QRT V, T, R, O c V~T{R~ORT V, T, R, P c (V{T)~R|PRT V, T, R, Q c (V~T)~(R|Q)RT V, T, R, R c V~T{R|RRT V, T, R, S c (V~T)~(S|R)RT V, T, R, T c V{T~T{RRT V, T, R, V c (V|T{R)~VRT V, T, R, X c V~R{T{XRT V, T, S, O c V~T{S~ORT V, T, S, P c V(P|ST)RT V, T, S, Q c V{(T{Q)~SRT V, T, S, R c (V~T)~(S|R)RT V, T, S, S c V~T{S|SRT V, T, S, T c V~(T|S)~TRT V, T, S, U c V~(S{U|T)RT V, T, S, W c V{T~S{WRT V, T, T, O c V~T{T~ORT V, T, T, P c (V{P)~T|TRT V, T, T, Q c V~(T{T)QRT V, T, T, R c V{T~T{RRT V, T, T, S c (V~T)~(T|S)RT V, T, T, T c (V{T|T)~TRT V, T, T, U c (V~T)~(U|T)RT V, T, T, X c T~(T{X|V)RT V, T, U, O c V~T{U~ORT V, T, U, P c V(UT|P)RT V, T, U, Q c V{T~U|QRT V, T, U, S c V~(U|T{S)RT V, T, U, T c (V~T)~(U|T)RT V, T, U, U c V~T{U|URT V, T, U, V c (V~T)~(V|U)RT V, T, U, W c T~(U{W|V)RT V, T, V, O c V~T{V~ORT V, T, V, P c V{(T|P)~VRT V, T, V, Q c (V{V)~(TQ)RT V, T, V, R c (V|T{R)~VRT V, T, V, U c (V~T)~(V|U)RT V, T, V, V c (V{T|V)~VRT V, T, V, W c (V~T)~(W|V)RT V, T, V, X c (V~V)|(T{X)RT V, T, W, O c V~T{W~ORT V, T, W, P c T(WV|P)RT V, T, W, Q c V~(W|T{Q)RT V, T, W, S c V{T~S{WRT V, T, W, U c T~(W|V{U)RT V, T, W, V c (V~T)~(W|V)RT V, T, W, W c V~T{W|WRT V, T, W, X c (V~T)~(X|W)RT V, T, X, O c V~T{X~ORT V, T, X, P c V~(X|T{P)RT V, T, X, Q c V{(T{X)~QRT V, T, X, R c V~R{T{XRT V, T, X, T c (T{X|V)~TRT V, T, X, V c V{(X|T)~VRT V, T, X, W c (V~T)~(X|W)RT V, T, X, X c V~T{X|XRT V, U, O, P c V~(U{O|P)RT V, U, O, T c (V{U~O)~TRT V, U, O, V c V~U{O|VRT V, U, P, O c V~(U|P){ORT V, U, P, P c V~(U|P)~PRT V, U, P, Q c V~(U{P|Q)RT V, U, P, S c V{(U{P)~SRT V, U, P, T c V(UT|P)RT V, U, P, U c (V~U)|(P{U)RT V, U, P, V c V~U|P~VRT V, U, P, W c V~U{P|WRT V, U, Q, P c V~(U|Q{P)RT V, U, Q, Q c V~(U|QQ)RT V, U, Q, R c V~(U{Q|R)RT V, U, Q, S c V~(U{S)QRT V, U, Q, T c (V~U)|(Q{T)RT V, U, Q, V c V{(U|Q)~VRT V, U, Q, W c V{(U{W)~QRT V, U, Q, X c (V{U)~Q{XRT V, U, R, Q c V~(U|R{Q)RT V, U, R, R c V~(U|RR)RT V, U, R, S c (V{U)~R|SRT V, U, R, V c (V|UR)~VRT V, U, R, W c V~R{U{WRT V, U, R, X c V~(U{X)RRT V, U, S, P c V{(U{P)~SRT V, U, S, Q c V~(U{S)QRT V, U, S, R c (V~U)|(S{R)RT V, U, S, S c V{U~S{SRT V, U, S, T c V~(U{S|T)RT V, U, S, U c V~(UU{S)RT V, U, S, V c (V|U{S)~VRT V, U, S, X c U{S~X|VRT V, U, T, O c (V{U~O)~TRT V, U, T, P c V(UT|P)RT V, U, T, Q c V{U~T|QRT V, U, T, S c V~(U|T{S)RT V, U, T, T c V~(U|T)~TRT V, U, T, U c V~(U{T|U)RT V, U, T, V c (V|U)~(T~V)RT V, U, T, W c (U{W|V)~TRT V, U, U, P c (V~U)|(U{P)RT V, U, U, S c V~(UU{S)RT V, U, U, T c (V{U|U)~TRT V, U, U, U c V~(U|UU)RT V, U, U, V c V~(U{U|V)RT V, U, U, W c V{U~U|WRT V, U, V, O c V~U|V{ORT V, U, V, P c V~U|V~PRT V, U, V, Q c V{(U|Q)~VRT V, U, V, R c (V|UR)~VRT V, U, V, S c (V|U{S)~VRT V, U, V, T c (V|U)~(V~T)RT V, U, V, U c V~(U{U|V)RT V, U, V, V c V~(U|VV)RT V, U, V, W c V~(U{V|W)RT V, U, W, P c V~U|W{PRT V, U, W, Q c V{(U{W)~QRT V, U, W, R c V~(W|U{R)RT V, U, W, T c (U{W|V)~TRT V, U, W, U c V{U~U|WRT V, U, W, V c (V{U|W)~VRT V, U, W, W c V~(U|WW)RT V, U, W, X c V~(U{W|X)RT V, U, X, Q c V~U|X{QRT V, U, X, R c V~(U{X)RRT V, U, X, S c U{X~S|VRT V, U, X, W c V~(U{W|X)RT V, U, X, X c V~(U|XX)RT V, V, O, Q c V~(V{O|Q)RT V, V, O, S c V{(V{O)~SRT V, V, O, T c (V{V~O)~TRT V, V, O, U c (V{O)~U|VRT V, V, P, P c V~(V|P|P)RT V, V, P, Q c V~(V|P~Q)RT V, V, P, R c V{V~(P{R)RT V, V, P, S c V{V~P~SRT V, V, P, T c V{V~(T|P)RT V, V, P, U c V~P~U|VRT V, V, P, V c V~(V|P)|VRT V, V, Q, O c V~(V|Q){ORT V, V, Q, P c V~(V|Q)~PRT V, V, Q, Q c V{V~(Q{Q)RT V, V, Q, R c V~(V{R)QRT V, V, Q, S c V~(V{Q|S)RT V, V, Q, T c (V{V)Q~TRT V, V, Q, U c V{V~(U|Q)RT V, V, Q, V c (V{V)~Q{VRT V, V, Q, W c V{VQ~WRT V, V, Q, X c V~(V~Q|X)RT V, V, R, P c V{V~(R{P)RT V, V, R, Q c V~(V{R)QRT V, V, R, R c V~(R{R)|VRT V, V, R, S c V~(R~S|V)RT V, V, R, T c V~(V{R|T)RT V, V, R, U c V~(V|UR)RT V, V, R, V c V{V{R~VRT V, V, R, W c V~(V{W)RRT V, V, R, X c V~(R{X|V)RT V, V, S, O c V{V~S{ORT V, V, S, P c V{V~S~PRT V, V, S, Q c V~(V|S{Q)RT V, V, S, R c V~(S~R|V)RT V, V, S, S c (V{VS)~SRT V, V, S, U c V~(V{S|U)RT V, V, S, V c (VV{S)~VRT V, V, S, W c V{V~(W|S)RT V, V, S, X c V~X|V~SRT V, V, T, O c (V{V~O)~TRT V, V, T, P c V{V~(T|P)RT V, V, T, Q c (V{V)~(TQ)RT V, V, T, R c V~(V|T{R)RT V, V, T, U c V~(V|U)~TRT V, V, T, V c V{V~T|VRT V, V, T, W c (V~T)~(W|V)RT V, V, T, X c (V~V)|(T{X)RT V, V, U, O c V~U|V{ORT V, V, U, P c V~U|V~PRT V, V, U, Q c V{V~(U|Q)RT V, V, U, R c V~(V|UR)RT V, V, U, S c V~(V|U{S)RT V, V, U, T c V~(V|U)~TRT V, V, U, U c (V|VU)~URT V, V, U, V c V~(U|VV)RT V, V, U, W c V~(V{U|W)RT V, V, V, P c V~(V|P)|VRT V, V, V, Q c V{(V{V)~QRT V, V, V, R c V{V{V~RRT V, V, V, S c V~(VV{S)RT V, V, V, T c (V{V|V)~TRT V, V, V, U c V~(U|VV)RT V, V, V, V c (V~V)|(V{V)RT V, V, V, X c V~(V{V|X)RT V, V, W, Q c V{V~WQRT V, V, W, R c V~(V{W)RRT V, V, W, S c V{V~(W|S)RT V, V, W, T c V~(W|V)~TRT V, V, W, U c (V~V)|(W{U)RT V, V, X, Q c (V{V~X)QRT V, V, X, R c V~(X|V{R)RT V, V, X, S c V~X|V~SRT V, V, X, T c V{V~(X|T)RT V, V, X, V c (V{V|X)~VRT V, W, O, R c V~(W{O|R)RT V, W, O, T c (V{W~O)~TRT V, W, P, Q c V~(W|P|Q)RT V, W, P, R c V~(W|P~R)RT V, W, P, S c V{(W|P)~SRT V, W, P, T c T(WV|P)RT V, W, P, U c V~U|W{PRT V, W, Q, P c V~(W|Q|P)RT V, W, Q, Q c V~(W{Q)QRT V, W, Q, R c (V{Q)~R{WRT V, W, Q, T c (V{W)~Q{TRT V, W, Q, U c V{(W{U)~QRT V, W, Q, V c V{WQ~VRT V, W, Q, X c V~(X|WQ)RT V, W, R, O c V~(W|R){ORT V, W, R, P c V~(W|R)~PRT V, W, R, Q c (V{Q)~R{WRT V, W, R, R c (V|R)~W{RRT V, W, R, S c V{W~R{SRT V, W, R, U c V~(W{R|U)RT V, W, R, V c (V{W)R~VRT V, W, R, X c V~(W|XR)RT V, W, S, P c V~(W|S{P)RT V, W, S, R c V~(WS{R)RT V, W, S, S c V{W~S|SRT V, W, S, T c V{W{S~TRT V, W, S, V c V{(W|S)~VRT V, W, S, W c V~(WW{S)RT V, W, S, X c V{S~X|WRT V, W, T, O c (V{W~O)~TRT V, W, T, P c T(WV|P)RT V, W, T, Q c V~(W|T{Q)RT V, W, T, S c V{W{T~SRT V, W, T, U c (W|V{U)~TRT V, W, T, V c V~(W|V)~TRT V, W, T, W c V~(W{T|W)RT V, W, T, X c (V~T)~(X|W)RT V, W, U, P c V~U|W{PRT V, W, U, Q c V{(W{U)~QRT V, W, U, R c V~(W|U{R)RT V, W, U, T c (W|V{U)~TRT V, W, U, U c V{U~U|WRT V, W, U, V c (V{U|W)~VRT V, W, U, W c V~(U|WW)RT V, W, U, X c V~(W{U|X)RT V, W, V, Q c V{W~VQRT V, W, V, R c (V{W)~(VR)RT V, W, V, S c V~(W|V{S)RT V, W, V, T c V~(W|V)~TRT V, W, V, U c (V~V)|(W{U)RT V, W, W, S c V~(WW{S)RT V, W, W, T c (V{W|W)~TRT V, W, W, U c V~(U|WW)RT V, W, X, Q c V~(X|WQ)RT V, W, X, R c V~(W|XR)RT V, W, X, S c V~(X|W{S)RT V, W, X, T c V~(X|W)~TRT V, W, X, U c V~(W{U|X)RT V, X, O, S c V~(X{O|S)RT V, X, O, T c (V{X~O)~TRT V, X, P, Q c V~(X{P)QRT V, X, P, R c V~(X|P|R)RT V, X, P, S c V~(X|P~S)RT V, X, P, T c V~(X{P|T)RT V, X, Q, P c V~(X{P)QRT V, X, Q, Q c V~(X|Q|Q)RT V, X, Q, R c (V{X)~Q{RRT V, X, Q, S c V{(X|Q)~SRT V, X, Q, T c V{(X{T)~QRT V, X, Q, U c V~(X{Q|U)RT V, X, Q, V c (V{X~V)QRT V, X, Q, W c V~(X|WQ)RT V, X, R, P c V{X~R{PRT V, X, R, Q c V~(XR{Q)RT V, X, R, T c V~R{X{TRT V, X, R, U c V~(X{U)RRT V, X, R, V c V~(X{R|V)RT V, X, R, W c V~(W|XR)RT V, X, S, O c V~(X|S){ORT V, X, S, P c V~(X|S)~PRT V, X, S, Q c V{(X|Q)~SRT V, X, S, S c (V{S)~S|XRT V, X, S, U c X~S|V{URT V, X, S, V c V~X|S~VRT V, X, S, W c V{X~S|WRT V, X, S, X c V~(XX{S)RT V, X, T, O c (V{X~O)~TRT V, X, T, P c V~(X|T{P)RT V, X, T, Q c V{(X{T)~QRT V, X, T, R c V~R{X{TRT V, X, T, T c (X|V{T)~TRT V, X, T, V c V{(X|T)~VRT V, X, T, W c V~(X|W)~TRT V, X, T, X c V~(X{T|X)RT V, X, U, Q c V~(X|U{Q)RT V, X, U, R c V~(X{U)RRT V, X, U, S c X~S|V{URT V, X, U, W c V~(U{W|X)RT V, X, U, X c V~(U|XX)RT V, X, V, Q c (V{X~V)QRT V, X, V, R c V~(X|V{R)RT V, X, V, S c V~X|V~SRT V, X, V, T c V{(X|T)~VRT V, X, V, V c (V{V|X)~VRT V, X, W, Q c V~(X|WQ)RT V, X, W, R c V~(W|XR)RT V, X, W, S c V~(X|W{S)RT V, X, W, T c V~(X|W)~TRT V, X, W, U c V~(W{U|X)RT V, X, X, S c V~(XX{S)RT V, X, X, T c (V{X|X)~TRT V, X, X, U c V~(U|XX)RT W, O, P, T c (W{O|P)~TRT W, O, R, S c (W{O)~S{RRT W, O, R, V c (W{O|R)~VRT W, O, R, X c W{O{R~XRT W, O, S, R c (W{O)~S{RRT W, O, T, P c (W{O|P)~TRT W, O, T, T c (W{O)~T|TRT W, O, T, V c W~O{T~VRT W, O, V, R c (W{O|R)~VRT W, O, V, T c W~O{V~TRT W, O, X, R c W{O{X~RRT W, P, O, T c (W|P{O)~TRT W, P, P, S c (W|P)~(P{S)RT W, P, P, T c (W|P)~(P~T)RT W, P, P, U c (W|P)~(U|P)RT W, P, Q, R c (W|P)~(Q{R)RT W, P, Q, S c W~S{P{QRT W, P, Q, T c (W{P|Q)~TRT W, P, Q, U c (W|Q)~U|PRT W, P, Q, V c (W|P|Q)~VRT W, P, Q, X c W{(P{Q)~XRT W, P, R, Q c (W|P)~(R{Q)RT W, P, R, R c W~(P{R){RRT W, P, R, S c W~P~S{RRT W, P, R, T c W~(T|P){RRT W, P, R, U c (W|R)~(P{U)RT W, P, R, V c (W|P~R)~VRT W, P, R, W c (W{P)~R{WRT W, P, R, X c W{P~R~XRT W, P, S, P c (W{P)~S|PRT W, P, S, Q c W~S{P{QRT W, P, S, R c W~P~S{RRT W, P, S, S c W~S|P{SRT W, P, S, T c W~(P{S)|TRT W, P, S, V c (W{P|S)~VRT W, P, S, X c (W|P)~(X|S)RT W, P, T, O c (W|P)~(T{O)RT W, P, T, P c (W|P)~(T~P)RT W, P, T, Q c (W{P|Q)~TRT W, P, T, R c W~(T|P){RRT W, P, T, S c W~(P{S)|TRT W, P, T, T c W~P~T|TRT W, P, T, U c W~T{P|URT W, P, T, V c T(WV|P)RT W, P, U, P c (W|P)~(U|P)RT W, P, U, Q c (W|Q)~U|PRT W, P, U, R c (W|R)~(P{U)RT W, P, U, T c W~(U|P)|TRT W, P, U, V c (W|P)~U|VRT W, P, V, Q c (W|P)~(V|Q)RT W, P, V, R c (W|P~R)~VRT W, P, V, S c W|P{V~SRT W, P, V, T c T(WV|P)RT W, P, V, U c (W|P)~U|VRT W, P, W, R c W{(P{W)~RRT W, P, X, Q c W{(P{Q)~XRT W, P, X, R c W{P~X~RRT W, P, X, S c (W|P)~(X|S)RT W, Q, P, R c (W|P)~(Q{R)RT W, Q, P, S c W~S{Q{PRT W, Q, P, T c (W|Q{P)~TRT W, Q, P, U c (W|Q)~U|PRT W, Q, P, V c (W|Q|P)~VRT W, Q, P, X c W{(Q{P)~XRT W, Q, Q, R c W~(Q{Q){RRT W, Q, Q, T c (W|QQ)~TRT W, Q, Q, V c (W{Q)Q~VRT W, Q, Q, X c (W~X|Q)QRT W, Q, R, P c (W|P)~(Q{R)RT W, Q, R, Q c W~(Q{Q){RRT W, Q, R, R c (W{R)~R{QRT W, Q, R, T c (W{Q|R)~TRT W, Q, R, U c W~(U|Q){RRT W, Q, R, V c W{(Q{V)~RRT W, Q, R, W c WQ~W{RRT W, Q, R, X c W~R{Q{XRT W, Q, S, P c W~S{Q{PRT W, Q, S, T c (W{Q)~S|TRT W, Q, S, U c W~S{UQRT W, Q, S, X c S~(X|QW)RT W, Q, T, P c (W|Q{P)~TRT W, Q, T, Q c (W|QQ)~TRT W, Q, T, R c (W{Q|R)~TRT W, Q, T, S c (W{Q)~S|TRT W, Q, T, T c W{Q{T~TRT W, Q, T, U c (W{U)Q~TRT W, Q, T, V c (W{Q|T)~VRT W, Q, T, X c (W~Q|X)~TRT W, Q, U, P c (W|Q)~U|PRT W, Q, U, R c W~(U|Q){RRT W, Q, U, S c W~S{UQRT W, Q, U, T c (W{U)Q~TRT W, Q, U, V c (W{U)~Q{VRT W, Q, U, W c (W~W{U)QRT W, Q, U, X c W{UQ~XRT W, Q, V, P c (W|Q|P)~VRT W, Q, V, Q c (W{Q)~(VQ)RT W, Q, V, R c W{(Q{V)~RRT W, Q, V, T c (W{Q|T)~VRT W, Q, V, U c (W{U)~Q{VRT W, Q, V, V c (W|Q)~V|VRT W, Q, V, X c V~(X|WQ)RT W, Q, W, R c WQ~W{RRT W, Q, W, U c (W~W{U)QRT W, Q, X, P c WQ~X|PRT W, Q, X, Q c (W~X|Q)QRT W, Q, X, R c W~R{Q{XRT W, Q, X, S c (X|QW)~SRT W, Q, X, T c (W~Q|X)~TRT W, Q, X, U c W{XQ~URT W, Q, X, V c (X|WQ)~VRT W, Q, X, X c W{Q~X{XRT W, R, O, S c (W{O)~S{RRT W, R, O, V c (W|R{O)~VRT W, R, O, X c W{(R{O)~XRT W, R, P, Q c (W|P)~(R{Q)RT W, R, P, R c W~(R{P){RRT W, R, P, S c W~P~S{RRT W, R, P, T c W~(T|P){RRT W, R, P, U c (W|R)~(P{U)RT W, R, P, V c (W|R)~(P~V)RT W, R, P, W c W{R~(P{W)RT W, R, P, X c W{R~P~XRT W, R, Q, P c (W|P)~(R{Q)RT W, R, Q, Q c W~(Q{Q){RRT W, R, Q, R c (W{R)~R{QRT W, R, Q, T c (W|R{Q)~TRT W, R, Q, U c W~(U|Q){RRT W, R, Q, V c W{R~(Q{V)RT W, R, Q, W c WQ~W{RRT W, R, Q, X c W~R{Q{XRT W, R, R, P c W~(R{P){RRT W, R, R, Q c (W{R)~R{QRT W, R, R, R c W{R~R~RRT W, R, R, S c (W|R)~(R{S)RT W, R, R, T c (W|RR)~TRT W, R, R, U c W{R~(R{U)RT W, R, R, V c W~(V|R){RRT W, R, R, W c W{R{R~WRT W, R, R, X c (WR{X)~RRT W, R, S, O c W~S{R{ORT W, R, S, P c (W{S)~R|PRT W, R, S, R c (W|R)~(S{R)RT W, R, S, S c (W{RS)~SRT W, R, S, T c (W{R|S)~TRT W, R, S, U c W{R{S~URT W, R, S, V c W~R{S{VRT W, R, S, W c W~(RW{S)RT W, R, S, X c (W{R)~S|XRT W, R, T, P c W~(T|P){RRT W, R, T, Q c (W|R)~(T{Q)RT W, R, T, R c (W|RR)~TRT W, R, T, S c W{R~(T{S)RT W, R, T, T c (R~T|W)~TRT W, R, T, U c W|R{T~URT W, R, T, W c (W|R)~W|TRT W, R, T, X c W~(X|T){RRT W, R, U, P c (W|R)~(U{P)RT W, R, U, Q c W~(U|Q){RRT W, R, U, R c W{(R{U)~RRT W, R, U, S c W{R{U~SRT W, R, U, T c W|R{U~TRT W, R, U, V c (W{R|U)~VRT W, R, U, X c W{R~U{XRT W, R, V, O c (W|R)~(V{O)RT W, R, V, P c (W|R)~(V~P)RT W, R, V, Q c W{R~(V{Q)RT W, R, V, R c W~(V|R){RRT W, R, V, S c W~R{V{SRT W, R, V, U c W{R~V{URT W, R, V, V c (W{V)R~VRT W, R, V, X c (W|XR)~VRT W, R, W, P c W{R~(W{P)RT W, R, W, Q c (W{W)~Q{RRT W, R, W, R c W{R{W~RRT W, R, W, S c W~(RW{S)RT W, R, W, T c (W|R)~W|TRT W, R, X, O c W{R~X{ORT W, R, X, P c W{R~X~PRT W, R, X, Q c (W|R)~(X|Q)RT W, R, X, R c (WR{X)~RRT W, R, X, S c (W{R)~S|XRT W, R, X, T c W~(X|T){RRT W, R, X, U c W{R~U{XRT W, R, X, V c (W|XR)~VRT W, R, X, X c W{XR~XRT W, S, O, R c W~S{O{RRT W, S, P, P c (W{P)~S|PRT W, S, P, Q c W~S{P{QRT W, S, P, R c W~S{P~RRT W, S, P, S c W~S|P{SRT W, S, P, T c W~(S{P)|TRT W, S, P, V c (W|S{P)~VRT W, S, P, X c W{(S|P)~XRT W, S, Q, P c W~S{Q{PRT W, S, Q, T c W~S|Q{TRT W, S, Q, U c W~S{UQRT W, S, Q, X c S~(X|QW)RT W, S, R, O c W~S{R{ORT W, S, R, P c (W{S)~R|PRT W, S, R, R c (W|R)~(S{R)RT W, S, R, S c (W{RS)~SRT W, S, R, T c (W|S{R)~TRT W, S, R, U c W~S|R{URT W, S, R, V c (WS{R)~VRT W, S, R, W c W~(S{RW)RT W, S, R, X c W~S{XRRT W, S, S, P c W~S{S|PRT W, S, S, R c (W{RS)~SRT W, S, S, T c (W|SS)~TRT W, S, S, V c W~S|S{VRT W, S, T, P c W~(S{P)|TRT W, S, T, Q c W~S{T|QRT W, S, T, R c W{(S{T)~RRT W, S, T, S c (W|SS)~TRT W, S, T, T c (W{S|T)~TRT W, S, T, V c W{S~T{VRT W, S, T, W c W~S|T{WRT W, S, T, X c W~T{S|XRT W, S, U, Q c W~S{UQRT W, S, U, R c W{S~U{RRT W, S, U, W c (W{UW)~SRT W, S, U, X c W~S|U{XRT W, S, V, P c W{S~V|PRT W, S, V, R c (WS{R)~VRT W, S, V, S c W~S{V|SRT W, S, V, T c W{S~T{VRT W, S, V, V c (W{S|V)~VRT W, S, V, W c (WW{S)~VRT W, S, V, X c W{(V|S)~XRT W, S, W, R c (W|S)~W{RRT W, S, W, T c W{S~W|TRT W, S, W, U c (W{UW)~SRT W, S, W, V c (WW{S)~VRT W, S, W, X c S~X|WWRT W, S, X, P c (W|S)~X|PRT W, S, X, Q c S~(X|QW)RT W, S, X, R c W~S{XRRT W, S, X, T c W~(X|S)|TRT W, S, X, U c W~S{X|URT W, S, X, V c W{X~(V|S)RT W, S, X, W c S~X|WWRT W, S, X, X c W{S~X|XRT W, T, O, P c (W{O|P)~TRT W, T, O, T c W~T{O|TRT W, T, O, V c W~O{T~VRT W, T, P, O c (W|P)~(T{O)RT W, T, P, P c (W|P)~(T~P)RT W, T, P, Q c (W{P|Q)~TRT W, T, P, R c W~(T|P){RRT W, T, P, S c (W~T)|(P{S)RT W, T, P, T c W~T|P~TRT W, T, P, U c W~T{P|URT W, T, P, V c T(WV|P)RT W, T, Q, P c (W|Q{P)~TRT W, T, Q, Q c (W|QQ)~TRT W, T, Q, R c (W~T)|(Q{R)RT W, T, Q, S c (W{Q)~S|TRT W, T, Q, T c W{T~T{QRT W, T, Q, U c (W{U)~(TQ)RT W, T, Q, V c (W|T{Q)~VRT W, T, Q, X c W{(T|Q)~XRT W, T, R, P c W~(T|P){RRT W, T, R, Q c (W~T)|(R{Q)RT W, T, R, R c (W|RR)~TRT W, T, R, S c (W{T)~R|SRT W, T, R, T c (T~R|W)~TRT W, T, R, U c W{T~U|RRT W, T, R, W c W~T{R|WRT W, T, R, X c W~(X|T){RRT W, T, S, P c (W~T)|(S{P)RT W, T, S, Q c W~S{T|QRT W, T, S, R c W{(T{S)~RRT W, T, S, S c (W|SS)~TRT W, T, S, T c (W|T{S)~TRT W, T, S, V c W{T~S{VRT W, T, S, W c W|T{S~WRT W, T, S, X c W~T{S|XRT W, T, T, O c W~T|T{ORT W, T, T, P c W~T|T~PRT W, T, T, Q c W{T~T{QRT W, T, T, R c T~(T~R|W)RT W, T, T, S c (W|T{S)~TRT W, T, T, T c (W|TT)~TRT W, T, T, U c (W{T|U)~TRT W, T, T, W c W~(T|TW)RT W, T, U, P c W~T|U{PRT W, T, U, Q c (W{U)~(TQ)RT W, T, U, R c W{T~U|RRT W, T, U, T c (W{T|U)~TRT W, T, U, U c (W|UU)~TRT W, T, U, V c (W{U|V)~TRT W, T, U, W c (W~U)|(T{W)RT W, T, U, X c T~(U{X|W)RT W, T, V, O c W~O{T~VRT W, T, V, P c T(WV|P)RT W, T, V, Q c W~T|V{QRT W, T, V, S c W{T~S{VRT W, T, V, U c (W|V{U)~TRT W, T, V, V c (W|V)~(T~V)RT W, T, V, W c W{T~V|WRT W, T, V, X c (T~V)~(X|W)RT W, T, W, R c W~T|W{RRT W, T, W, S c W|T{W~SRT W, T, W, T c W~(T|TW)RT W, T, W, U c (WW{U)~TRT W, T, W, V c (W{T|W)~VRT W, T, W, W c (W|WW)~TRT W, T, W, X c (W|T)~X{WRT W, T, X, Q c W{(T|Q)~XRT W, T, X, R c W~(X|T){RRT W, T, X, S c W~T|X{SRT W, T, X, U c T~(X|W{U)RT W, T, X, V c T~(X|W)~VRT W, T, X, W c (W|T)~X{WRT W, T, X, X c (W|XX)~TRT W, U, P, P c (W|P)~(U|P)RT W, U, P, Q c (W|Q)~U|PRT W, U, P, R c (W|R)~(U{P)RT W, U, P, T c W~(U|P)|TRT W, U, P, V c (W|P)~U|VRT W, U, Q, P c (W|Q)~U|PRT W, U, Q, R c W~(U|Q){RRT W, U, Q, S c W~S{UQRT W, U, Q, T c (W{U)Q~TRT W, U, Q, V c (W{U)~Q{VRT W, U, Q, W c (W~W{U)QRT W, U, Q, X c W{UQ~XRT W, U, R, P c (W|R)~(U{P)RT W, U, R, Q c W~(U|Q){RRT W, U, R, R c W{(U{R)~RRT W, U, R, S c W{U~S{RRT W, U, R, T c W{U~T|RRT W, U, R, V c W{U{R~VRT W, U, R, X c W{(U|R)~XRT W, U, S, Q c W~S{UQRT W, U, S, R c W{U~S{RRT W, U, S, W c (W{UW)~SRT W, U, S, X c (W~U)|(S{X)RT W, U, T, P c W~(U|P)|TRT W, U, T, Q c (W{U)~(TQ)RT W, U, T, R c W{U~T|RRT W, U, T, T c (W|U{T)~TRT W, U, T, U c (W|UU)~TRT W, U, T, V c (W{U|V)~TRT W, U, T, W c (W~U)|(T{W)RT W, U, T, X c (U{X|W)~TRT W, U, U, T c (W|UU)~TRT W, U, U, V c (W~U)|(U{V)RT W, U, U, W c U~U|WWRT W, U, U, X c W{U~U|XRT W, U, V, P c (W|P)~U|VRT W, U, V, Q c (W{U)~Q{VRT W, U, V, R c W{U{V~RRT W, U, V, T c (W{U|V)~TRT W, U, V, U c (W~U)|(V{U)RT W, U, V, V c (U{V|W)~VRT W, U, V, W c (U|WW)~VRT W, U, V, X c (W{U|X)~VRT W, U, W, Q c (W~W{U)QRT W, U, W, S c (W{UW)~SRT W, U, W, T c (W~U)|(W{T)RT W, U, W, U c U~U|WWRT W, U, W, V c (U|WW)~VRT W, U, X, Q c W{U~XQRT W, U, X, R c W{(U|R)~XRT W, U, X, S c (W~U)|(X{S)RT W, U, X, T c (U{X|W)~TRT W, U, X, U c W{U~U|XRT W, U, X, V c (W{U|X)~VRT W, U, X, X c W{(X|U)~XRT W, V, O, R c (W{O|R)~VRT W, V, O, T c W~O{V~TRT W, V, P, Q c (W|P)~(V|Q)RT W, V, P, R c (W|P~R)~VRT W, V, P, S c W{V~S|PRT W, V, P, T c T(WV|P)RT W, V, P, U c (W|P)~U|VRT W, V, Q, P c (W|Q|P)~VRT W, V, Q, Q c (W{Q)~(VQ)RT W, V, Q, R c W{(V{Q)~RRT W, V, Q, T c (W{V)~Q{TRT W, V, Q, U c (W{U)~Q{VRT W, V, Q, V c W~VQ{VRT W, V, Q, X c V~(X|WQ)RT W, V, R, O c (W|R)~(V{O)RT W, V, R, P c (W|R)~(V~P)RT W, V, R, Q c W{(V{Q)~RRT W, V, R, R c W~(V|R){RRT W, V, R, S c W~R{V{SRT W, V, R, U c W{V~R{URT W, V, R, V c (W{V)R~VRT W, V, R, X c (W|XR)~VRT W, V, S, P c W{V~S|PRT W, V, S, R c (WS{R)~VRT W, V, S, S c W~S{V|SRT W, V, S, T c W{V{S~TRT W, V, S, V c (W|V{S)~VRT W, V, S, W c (WW{S)~VRT W, V, S, X c W{(V|S)~XRT W, V, T, O c W~O{V~TRT W, V, T, P c T(WV|P)RT W, V, T, Q c (W{V)~Q{TRT W, V, T, S c W{V{T~SRT W, V, T, U c (W|V{U)~TRT W, V, T, V c (W|V)~(T~V)RT W, V, T, W c W{V~T|WRT W, V, T, X c (V~T)~(X|W)RT W, V, U, P c (W|P)~U|VRT W, V, U, Q c (W{U)~Q{VRT W, V, U, R c W{V~R{URT W, V, U, T c (W|V{U)~TRT W, V, U, U c (W~U)|(V{U)RT W, V, U, V c (V{U|W)~VRT W, V, U, W c V~(U|WW)RT W, V, U, X c (W{U|X)~VRT W, V, V, Q c W~VQ{VRT W, V, V, R c (W{V)~(VR)RT W, V, V, S c (W|V{S)~VRT W, V, V, T c (W|V)~(V~T)RT W, V, V, U c (V~V)|(W{U)RT W, V, W, S c (WW{S)~VRT W, V, W, T c (W{V|W)~TRT W, V, W, U c V~(U|WW)RT W, V, X, Q c V~(X|WQ)RT W, V, X, R c (W|XR)~VRT W, V, X, S c W{(V|S)~XRT W, V, X, T c V~(X|W)~TRT W, V, X, U c (W{U|X)~VRT W, W, P, R c W{(W{P)~RRT W, W, Q, R c (W{W)~Q{RRT W, W, Q, U c (W~W{U)QRT W, W, R, P c W{(W{P)~RRT W, W, R, Q c (W{W)~Q{RRT W, W, R, R c W{W~R{RRT W, W, R, S c W~(W|S){RRT W, W, R, T c W~(W|R)|TRT W, W, S, R c W~(W|S){RRT W, W, S, T c W{W~S|TRT W, W, S, U c (W{UW)~SRT W, W, S, V c (WW{S)~VRT W, W, S, X c S~X|WWRT W, W, T, R c W~(W|R)|TRT W, W, T, S c W{W~S|TRT W, W, T, T c W~(T|TW)RT W, W, T, U c (WW{U)~TRT W, W, T, V c W|W{T~VRT W, W, T, W c (W|WW)~TRT W, W, T, X c W{(W|T)~XRT W, W, U, Q c (W~W{U)QRT W, W, U, S c (W{UW)~SRT W, W, U, T c (WW{U)~TRT W, W, U, U c U~U|WWRT W, W, U, V c (U|WW)~VRT W, W, V, S c (WW{S)~VRT W, W, V, T c W|W{V~TRT W, W, V, U c V~(U|WW)RT W, W, W, T c (W|WW)~TRT W, W, X, S c X~S|WWRT W, W, X, T c (W{W|X)~TRT W, X, O, R c W{(X{O)~RRT W, X, P, Q c W{X~(P{Q)RT W, X, P, R c W{X~P~RRT W, X, P, S c W{X~(S|P)RT W, X, Q, P c (W{X)~Q{PRT W, X, Q, Q c (W~X|Q)QRT W, X, Q, R c (W|R)~(X|Q)RT W, X, Q, S c (X|QW)~SRT W, X, Q, T c W{X~(T|Q)RT W, X, Q, U c W{XQ~URT W, X, Q, V c (X|WQ)~VRT W, X, Q, X c W{X{Q~XRT W, X, R, O c W{X~R{ORT W, X, R, P c W{X~R~PRT W, X, R, Q c (W|R)~(X|Q)RT W, X, R, R c (WR{X)~RRT W, X, R, S c (W{R)~S|XRT W, X, R, T c W~(X|T){RRT W, X, R, U c W{X{R~URT W, X, R, V c (W|XR)~VRT W, X, R, X c W{XR~XRT W, X, S, P c W{X~(S|P)RT W, X, S, Q c (X|QW)~SRT W, X, S, R c W~S{XRRT W, X, S, T c W~(X|S)|TRT W, X, S, U c W~S{X|URT W, X, S, V c W{X~(V|S)RT W, X, S, W c X~S|WWRT W, X, S, X c W{X~S|XRT W, X, T, Q c W{X~(T|Q)RT W, X, T, R c W~(X|T){RRT W, X, T, S c W~(X|S)|TRT W, X, T, U c (X|W{U)~TRT W, X, T, V c (X|W)~(T~V)RT W, X, T, W c W{X~(W|T)RT W, X, T, X c (W|XX)~TRT W, X, U, Q c W{X~UQRT W, X, U, R c W{X{U~RRT W, X, U, S c (W~U)|(X{S)RT W, X, U, T c (X|W{U)~TRT W, X, U, U c W{U~U|XRT W, X, U, V c (W{U|X)~VRT W, X, U, X c W{(X|U)~XRT W, X, V, Q c (X|WQ)~VRT W, X, V, R c (W|XR)~VRT W, X, V, S c W{X~(V|S)RT W, X, V, T c (X|W)~(V~T)RT W, X, V, U c (W{U|X)~VRT W, X, W, S c X~S|WWRT W, X, W, T c W{X~(W|T)RT W, X, X, Q c W{X{X~QRT W, X, X, R c W{X~XRRT W, X, X, S c W{X~S|XRT W, X, X, T c (W|XX)~TRT W, X, X, U c W{X~(X|U)RT W, X, X, X c W{X{X{XRT X, O, P, S c (X{O)~S|PRT X, O, Q, T c (X{O|Q)~TRT X, O, R, W c (X{O)~R{WRT X, O, S, P c (X{O)~S|PRT X, O, S, V c (X{O|S)~VRT X, O, T, Q c (X{O|Q)~TRT X, O, T, V c X~O{T~VRT X, O, V, S c (X{O|S)~VRT X, O, V, T c X~O{V~TRT X, O, W, R c (X{O)~R{WRT X, P, O, S c (X{O)~S|PRT X, P, P, R c X~(P{R)|PRT X, P, P, S c X~P~S|PRT X, P, P, T c (X|P|P)~TRT X, P, Q, Q c X~(Q{Q)|PRT X, P, Q, S c (X|Q)~(P{S)RT X, P, Q, T c (X|P~Q)~TRT X, P, Q, U c (X|Q)~(U|P)RT X, P, Q, V c (X{P)Q~VRT X, P, Q, W c X~(P{Q){WRT X, P, Q, X c (X{X)~Q|PRT X, P, R, P c X~(P{R)|PRT X, P, R, R c (X{R)~R|PRT X, P, R, S c (X|P)~S{RRT X, P, R, T c (X{P|R)~TRT X, P, R, U c (X|R)~U|PRT X, P, R, V c (X|P|R)~VRT X, P, R, W c X~P~R{WRT X, P, R, X c X|P{R~XRT X, P, S, O c X~S|P{ORT X, P, S, P c X~P~S|PRT X, P, S, Q c X~S{P|QRT X, P, S, R c (X|P)~S{RRT X, P, S, S c (X|PS)~SRT X, P, S, T c (X{P)~S|TRT X, P, S, U c (X|S)~(P{U)RT X, P, S, V c (X|P~S)~VRT X, P, S, W c X~(S|P){WRT X, P, S, X c X~(S|PX)RT X, P, T, P c (X|P|P)~TRT X, P, T, Q c (X|P~Q)~TRT X, P, T, R c (X{P|R)~TRT X, P, T, S c (X{P)~S|TRT X, P, T, T c X{P{T~TRT X, P, T, V c (X{P|T)~VRT X, P, T, X c (X~T)|(P{X)RT X, P, U, Q c X~(U|Q)|PRT X, P, U, R c (X|R)~U|PRT X, P, U, S c (X|S)~(P{U)RT X, P, V, Q c (X{P)~(VQ)RT X, P, V, R c (X|P|R)~VRT X, P, V, S c (X|P~S)~VRT X, P, V, T c (X{P|T)~VRT X, P, W, Q c X~(P{Q){WRT X, P, W, R c X~P~R{WRT X, P, W, S c X~(W|S)|PRT X, P, X, Q c (X{X)~Q|PRT X, P, X, R c X|P{X~RRT X, P, X, S c X~(S|PX)RT X, P, X, T c X~(X|T)|PRT X, Q, O, T c (X|Q{O)~TRT X, Q, P, Q c X~(Q{Q)|PRT X, Q, P, S c (X|Q)~(P{S)RT X, Q, P, T c (X|Q)~(P~T)RT X, Q, P, U c (X|Q)~(U|P)RT X, Q, P, V c (X{P)Q~VRT X, Q, P, W c X~(Q{P){WRT X, Q, P, X c (X{X)~Q|PRT X, Q, Q, P c X~(Q{Q)|PRT X, Q, Q, R c (X|Q)~(Q{R)RT X, Q, Q, S c X~S|QQRT X, Q, Q, V c (X|Q|Q)~VRT X, Q, Q, W c (X~W|Q)QRT X, Q, R, Q c (X{Q)~R{QRT X, Q, R, S c X~R{Q~SRT X, Q, R, U c X~R{Q{URT X, Q, R, V c (XR{Q)~VRT X, Q, R, W c X{Q{R~WRT X, Q, S, P c (X|Q)~(S{P)RT X, Q, S, Q c X~S|QQRT X, Q, S, R c X~S{Q|RRT X, Q, S, T c (X{Q|S)~TRT X, Q, S, U c X{Q{S~URT X, Q, S, V c X|Q{S~VRT X, Q, S, W c (X|QW)~SRT X, Q, S, X c X{Q~(S{X)RT X, Q, T, O c (X|Q)~(T{O)RT X, Q, T, P c (X|Q)~(T~P)RT X, Q, T, S c (X{Q|S)~TRT X, Q, T, T c (X{T)Q~TRT X, Q, T, U c (X{U)~Q{TRT X, Q, T, V c (X{T)~Q{VRT X, Q, T, W c X{Q~(T{W)RT X, Q, U, P c (X|Q)~(U|P)RT X, Q, U, R c X~R{Q{URT X, Q, U, S c X{Q{U~SRT X, Q, U, T c (X{U)~Q{TRT X, Q, U, V c (X{Q|U)~VRT X, Q, U, W c XQ~U{WRT X, Q, V, P c (X{P)Q~VRT X, Q, V, Q c (X|Q)~(V|Q)RT X, Q, V, R c (X{V)~Q{RRT X, Q, V, S c X|Q{V~SRT X, Q, V, T c (X{T)~Q{VRT X, Q, V, U c X{Q~(V{U)RT X, Q, V, V c (X~V{V)QRT X, Q, V, W c (X|WQ)~VRT X, Q, W, P c XQ~W|PRT X, Q, W, Q c (X~W|Q)QRT X, Q, W, R c X{Q{W~RRT X, Q, W, S c (X|QW)~SRT X, Q, W, T c X{Q~(W{T)RT X, Q, W, U c XQ~U{WRT X, Q, W, V c (X|WQ)~VRT X, Q, W, X c X~Q{W{XRT X, Q, X, P c (X{X)~Q|PRT X, Q, X, S c X{Q~(X{S)RT X, Q, X, W c X{Q~X{WRT X, R, O, W c X~R{O{WRT X, R, P, P c X~(R{P)|PRT X, R, P, R c (X{R)~R|PRT X, R, P, S c (X|P)~S{RRT X, R, P, T c (X|R{P)~TRT X, R, P, U c (X|R)~U|PRT X, R, P, V c (X|R|P)~VRT X, R, P, W c X~R{P~WRT X, R, P, X c X~R|P{XRT X, R, Q, Q c (X{Q)~R{QRT X, R, Q, S c X~R{Q~SRT X, R, Q, U c X~R{Q{URT X, R, Q, V c (XR{Q)~VRT X, R, Q, W c X{R~W{QRT X, R, R, P c (X{R)~R|PRT X, R, R, S c X~S|RRRT X, R, R, T c X~R{R{TRT X, R, R, W c (X{WR)~RRT X, R, S, P c (X|P)~S{RRT X, R, S, Q c X~R{S~QRT X, R, S, R c X~S|RRRT X, R, S, S c X~R{S{SRT X, R, S, T c (XR{S)~TRT X, R, S, W c XR{S~WRT X, R, T, P c (X|R{P)~TRT X, R, T, R c X~R{T{RRT X, R, T, S c (XR{S)~TRT X, R, T, T c (X{R|T)~TRT X, R, T, U c (X|UR)~TRT X, R, T, V c X{R~V{TRT X, R, T, W c (X|T)~W{RRT X, R, U, P c (X|R)~U|PRT X, R, U, Q c X~R{U{QRT X, R, U, T c (X|UR)~TRT X, R, U, V c (X{U)R~VRT X, R, U, W c X{R~U{WRT X, R, V, P c X~R{V{PRT X, R, V, Q c (XR{Q)~VRT X, R, V, T c X{R~V{TRT X, R, V, U c (X{U)R~VRT X, R, V, V c (X{R|V)~VRT X, R, V, W c V~(W|XR)RT X, R, W, O c X~R{W{ORT X, R, W, P c X~R{W~PRT X, R, W, Q c X{R~W{QRT X, R, W, R c (X{WR)~RRT X, R, W, S c XR{W~SRT X, R, W, T c (X|T)~W{RRT X, R, W, U c X{R~U{WRT X, R, W, V c (W|XR)~VRT X, R, W, X c X~(R{WX)RT X, R, X, P c X{R~X|PRT X, R, X, W c XR~X{WRT X, S, O, P c X~S{O|PRT X, S, O, V c (X|S{O)~VRT X, S, P, O c X~S|P{ORT X, S, P, P c X~S|P~PRT X, S, P, Q c X~S{P|QRT X, S, P, R c (X|P)~S{RRT X, S, P, S c (X|PS)~SRT X, S, P, T c (X{P)~S|TRT X, S, P, U c (X|S)~(P{U)RT X, S, P, V c (X|S)~(P~V)RT X, S, P, W c X~(S|P){WRT X, S, P, X c X~(S|PX)RT X, S, Q, P c X~S|Q{PRT X, S, Q, Q c X~S|QQRT X, S, Q, R c X~S{Q|RRT X, S, Q, T c (X|S{Q)~TRT X, S, Q, U c X{S~U{QRT X, S, Q, V c X{S~V|QRT X, S, Q, W c (X|QW)~SRT X, S, Q, X c (X{S)~Q{XRT X, S, R, P c (X|P)~S{RRT X, S, R, Q c X~S|R{QRT X, S, R, R c X~S|RRRT X, S, R, S c (X{S)~R|SRT X, S, R, T c (XR{S)~TRT X, S, R, W c XR{S~WRT X, S, S, P c (X|PS)~SRT X, S, S, R c (X|S)~(S{R)RT X, S, S, S c X~S|SSRT X, S, S, T c X~S{S|TRT X, S, S, V c S~(S{V)|XRT X, S, T, P c (X{P)~S|TRT X, S, T, Q c (X|S)~(T{Q)RT X, S, T, R c (XR{S)~TRT X, S, T, S c X~S|T{SRT X, S, T, T c X~S|TTRT X, S, T, U c X{S~T{URT X, S, T, W c (X|S)~W|TRT X, S, U, P c (X|S)~(U{P)RT X, S, U, Q c X{S~U{QRT X, S, U, T c (X{S|U)~TRT X, S, U, U c X~S|UURT X, S, U, V c X~S{U|VRT X, S, U, W c X{S~W|URT X, S, V, O c (X|S)~(V{O)RT X, S, V, P c (X|S)~(V~P)RT X, S, V, Q c X{S~V|QRT X, S, V, S c (S{V)~S|XRT X, S, V, U c X~S|V{URT X, S, V, V c X~S|VVRT X, S, V, W c X~S{V|WRT X, S, V, X c (XX{S)~VRT X, S, W, P c (X|S)~(W|P)RT X, S, W, Q c (X|QW)~SRT X, S, W, R c XR{S~WRT X, S, W, T c (X|S)~W|TRT X, S, W, U c X{S~W|URT X, S, W, V c (X{S|W)~VRT X, S, W, W c X~S|WWRT X, S, W, X c X~S{W|XRT X, S, X, P c X~(S|PX)RT X, S, X, Q c X{(S{X)~QRT X, S, X, V c (XX{S)~VRT X, S, X, W c X~S|X{WRT X, S, X, X c X~S|XXRT X, T, O, Q c (X{O|Q)~TRT X, T, O, V c X~O{T~VRT X, T, P, P c X~(T|P)|PRT X, T, P, Q c (X|P~Q)~TRT X, T, P, R c (X{P|R)~TRT X, T, P, S c (X{P)~S|TRT X, T, P, T c X{T~T{PRT X, T, P, V c (X|T{P)~VRT X, T, P, X c (X~T)|(P{X)RT X, T, Q, O c (X|Q)~(T{O)RT X, T, Q, P c (X|Q)~(T~P)RT X, T, Q, S c (X{Q|S)~TRT X, T, Q, T c (X{T)Q~TRT X, T, Q, U c (X{U)~Q{TRT X, T, Q, V c (X{T)~Q{VRT X, T, Q, W c (X~T)|(Q{W)RT X, T, R, P c (X|R{P)~TRT X, T, R, R c X~R{T{RRT X, T, R, S c (XR{S)~TRT X, T, R, T c (X|T{R)~TRT X, T, R, U c (X|UR)~TRT X, T, R, V c X{T{R~VRT X, T, R, W c (X|T)~W{RRT X, T, S, P c (X{P)~S|TRT X, T, S, Q c (X|S)~(T{Q)RT X, T, S, R c (XR{S)~TRT X, T, S, S c X~S|T{SRT X, T, S, T c X~S|TTRT X, T, S, U c X{T~S{URT X, T, S, W c (X|S)~W|TRT X, T, T, P c X{T~T{PRT X, T, T, Q c (X{T)~(TQ)RT X, T, T, R c (X|T{R)~TRT X, T, T, S c X~S|TTRT X, T, T, T c (X~T)|(T{T)RT X, T, T, V c (X{T|V)~TRT X, T, U, Q c (X{U)~Q{TRT X, T, U, R c (X|UR)~TRT X, T, U, S c X{T~U|SRT X, T, U, W c (X{U|W)~TRT X, T, U, X c (XX{U)~TRT X, T, V, O c X~O{T~VRT X, T, V, P c (X|T{P)~VRT X, T, V, Q c (X{T)~Q{VRT X, T, V, R c X{T{V~RRT X, T, V, T c (X{T|V)~TRT X, T, V, V c (X|T)~V{VRT X, T, V, W c (X|W)~(T~V)RT X, T, V, X c X{T~V|XRT X, T, W, Q c X{(T{W)~QRT X, T, W, R c (X|T)~W{RRT X, T, W, S c (X|WS)~TRT X, T, W, U c (X|W{U)~TRT X, T, W, V c (X|W)~(T~V)RT X, T, W, W c X~(W|T){WRT X, T, W, X c T~(W|XX)RT X, T, X, P c (X|T)~X|PRT X, T, X, U c (XX{U)~TRT X, T, X, V c (X{T|X)~VRT X, T, X, W c T~(W|XX)RT X, U, P, Q c X~(U|Q)|PRT X, U, P, R c (X|R)~U|PRT X, U, P, S c (X|S)~(U{P)RT X, U, Q, P c X~(U|Q)|PRT X, U, Q, R c X~R{U{QRT X, U, Q, S c X{U~S{QRT X, U, Q, T c (X{U)~Q{TRT X, U, Q, V c (X|U{Q)~VRT X, U, Q, W c X~UQ{WRT X, U, R, P c (X|R)~U|PRT X, U, R, Q c X~R{U{QRT X, U, R, T c (X|UR)~TRT X, U, R, V c (X{U)R~VRT X, U, R, W c X{U~R{WRT X, U, S, P c (X|S)~(U{P)RT X, U, S, Q c X{U~S{QRT X, U, S, T c X{U{S~TRT X, U, S, U c X~S|UURT X, U, S, V c X~S{U|VRT X, U, S, W c X|U{S~WRT X, U, T, Q c (X{U)~Q{TRT X, U, T, R c (X|UR)~TRT X, U, T, S c X{U{T~SRT X, U, T, W c (X{U|W)~TRT X, U, T, X c (XX{U)~TRT X, U, U, S c X~S|UURT X, U, U, W c U~U|X{WRT X, U, U, X c U~U|XXRT X, U, V, Q c X{(U{V)~QRT X, U, V, R c (X{U)~(VR)RT X, U, V, S c X~S{U|VRT X, U, V, W c (U{W|X)~VRT X, U, V, X c (U|XX)~VRT X, U, W, Q c X~UQ{WRT X, U, W, R c X{U~R{WRT X, U, W, S c X|U{W~SRT X, U, W, T c (X{U|W)~TRT X, U, W, U c U~U|X{WRT X, U, W, V c (U{W|X)~VRT X, U, W, X c (X|U)~X{WRT X, U, X, T c (XX{U)~TRT X, U, X, U c U~U|XXRT X, U, X, V c (U|XX)~VRT X, U, X, W c (X|U)~X{WRT X, V, O, S c (X{O|S)~VRT X, V, O, T c X~O{V~TRT X, V, P, Q c (X{P)~(VQ)RT X, V, P, R c X~(V|R)|PRT X, V, P, S c (X|P~S)~VRT X, V, P, T c (X{P|T)~VRT X, V, Q, P c (X{P)~(VQ)RT X, V, Q, Q c (X|Q)~(V|Q)RT X, V, Q, R c (X{V)~Q{RRT X, V, Q, S c X{V~S|QRT X, V, Q, T c (X{T)~Q{VRT X, V, Q, U c X{(V{U)~QRT X, V, Q, V c (X~V{V)QRT X, V, Q, W c (X|WQ)~VRT X, V, R, P c X~(V|R)|PRT X, V, R, Q c (X{V)~Q{RRT X, V, R, T c X{V~R{TRT X, V, R, U c (X{U)~(VR)RT X, V, R, V c (X|V{R)~VRT X, V, R, W c V~(W|XR)RT X, V, S, O c (X|S)~(V{O)RT X, V, S, P c (X|S)~(V~P)RT X, V, S, Q c X{V~S|QRT X, V, S, S c (V{S)~S|XRT X, V, S, U c X~S|V{URT X, V, S, V c X~V|S~VRT X, V, S, W c X~(V|S){WRT X, V, S, X c (XX{S)~VRT X, V, T, O c X~O{V~TRT X, V, T, P c (X|T{P)~VRT X, V, T, Q c (X{T)~Q{VRT X, V, T, R c X{V~R{TRT X, V, T, T c (X|V{T)~TRT X, V, T, V c (X|T)~V{VRT X, V, T, W c (X|W)~(V~T)RT X, V, T, X c X{V~T|XRT X, V, U, Q c X{(V{U)~QRT X, V, U, R c (X{U)~(VR)RT X, V, U, S c X~S|V{URT X, V, U, W c V~(U{W|X)RT X, V, U, X c V~(U|XX)RT X, V, V, Q c (X~V{V)QRT X, V, V, R c (X|V{R)~VRT X, V, V, S c X~V|V~SRT X, V, V, T c (X|T)~V{VRT X, V, V, V c (V{V|X)~VRT X, V, W, Q c (X|WQ)~VRT X, V, W, R c V~(W|XR)RT X, V, W, S c X~(V|S){WRT X, V, W, T c (X|W)~(V~T)RT X, V, W, U c V~(W{U|X)RT X, V, X, S c (XX{S)~VRT X, V, X, T c (X{V|X)~TRT X, V, X, U c V~(U|XX)RT X, W, O, R c (X{O)~R{WRT X, W, P, Q c (X{W)~Q{PRT X, W, P, R c X~P~R{WRT X, W, P, S c X~(W|S)|PRT X, W, Q, P c (X{W)~Q{PRT X, W, Q, Q c (X~W|Q)QRT X, W, Q, R c X{W~R{QRT X, W, Q, S c (X|QW)~SRT X, W, Q, T c X{(W{T)~QRT X, W, Q, U c XQ~U{WRT X, W, Q, V c (X|WQ)~VRT X, W, Q, X c X{W{Q~XRT X, W, R, O c X~R{W{ORT X, W, R, P c X~R{W~PRT X, W, R, Q c X{W~R{QRT X, W, R, R c (X{WR)~RRT X, W, R, S c XR{W~SRT X, W, R, T c (X|T)~W{RRT X, W, R, U c X{W{R~URT X, W, R, V c (W|XR)~VRT X, W, R, X c X~(WX{R)RT X, W, S, P c X~(W|S)|PRT X, W, S, Q c (X|QW)~SRT X, W, S, R c XR{W~SRT X, W, S, T c (X|WS)~TRT X, W, S, U c X{W~S|URT X, W, S, V c (X|W{S)~VRT X, W, S, W c X~S|WWRT X, W, S, X c X~S{W|XRT X, W, T, Q c X{(W{T)~QRT X, W, T, R c (X|T)~W{RRT X, W, T, S c (X|WS)~TRT X, W, T, U c (X|W{U)~TRT X, W, T, V c (X|W)~(T~V)RT X, W, T, W c X~(W|T){WRT X, W, T, X c (W|XX)~TRT X, W, U, Q c X~UQ{WRT X, W, U, R c X{W{U~RRT X, W, U, S c X{W~S|URT X, W, U, T c (X|W{U)~TRT X, W, U, U c W{U~U|XRT X, W, U, V c (W{U|X)~VRT X, W, U, X c (X|U)~X{WRT X, W, V, Q c (X|WQ)~VRT X, W, V, R c (W|XR)~VRT X, W, V, S c (X|W{S)~VRT X, W, V, T c (X|W)~(V~T)RT X, W, V, U c (W{U|X)~VRT X, W, W, S c X~S|WWRT X, W, W, T c X~(W|T){WRT X, W, X, Q c X{W{X~QRT X, W, X, R c X~(WX{R)RT X, W, X, S c X~S{W|XRT X, W, X, T c (W|XX)~TRT X, W, X, U c X~(X|U){WRT X, W, X, X c X{W{X{XRT X, X, P, Q c (X{X)~Q|PRT X, X, P, R c X{X~R|PRT X, X, P, S c X~(S|PX)RT X, X, P, T c X~(X|T)|PRT X, X, Q, P c (X{X)~Q|PRT X, X, Q, S c X{(X{S)~QRT X, X, Q, W c X{X~Q{WRT X, X, R, P c X{X~R|PRT X, X, R, W c X~XR{WRT X, X, S, P c X~(S|PX)RT X, X, S, Q c X{(X{S)~QRT X, X, S, V c (XX{S)~VRT X, X, S, W c X~S|X{WRT X, X, S, X c X~S|XXRT X, X, T, P c X~(X|T)|PRT X, X, T, U c (XX{U)~TRT X, X, T, V c X|X{T~VRT X, X, T, W c T~(W|XX)RT X, X, U, T c (XX{U)~TRT X, X, U, U c U~U|XXRT X, X, U, V c (U|XX)~VRT X, X, U, W c X~(X|U){WRT X, X, V, S c (XX{S)~VRT X, X, V, T c X|X{V~TRT X, X, V, U c V~(U|XX)RT X, X, W, Q c X{X~Q{WRT X, X, W, R c X~XR{WRT X, X, W, S c X~S|X{WRT X, X, W, T c (W|XX)~TRT X, X, W, U c X~(X|U){WRT X, X, W, X c X{X{W{XRT X, X, X, S c X~S|XXRT X, X, X, W c X{X{X{WRT