O, Q, W, X c (O{Q{X)~WWW O, Q, X, W c (O{Q{X)~WWW O, R, W, W c (O{R{W)~WWW O, S, V, W c (O{S{V)~WWW O, S, W, V c (O{S{V)~WWW O, T, U, W c (O{T{U)~WWW O, T, W, U c (O{T{U)~WWW O, U, T, W c (O{U{T)~WWW O, U, W, T c (O{U{T)~WWW O, V, S, W c (O{V{S)~WWW O, V, W, S c (O{V{S)~WWW O, V, X, X c O{V{X~XWW O, W, Q, X c (O{W)~(Q{X)WW O, W, R, W c (O{W{R)~WWW O, W, S, V c (O{W)~(S{V)WW O, W, T, U c (O{W)~(T{U)WW O, W, U, T c (O{W)~(U{T)WW O, W, V, S c (O{W)~(V{S)WW O, W, W, R c (O{W)~(W{R)WW O, W, X, Q c (O{W)~(X{Q)WW O, X, Q, W c (O{X{Q)~WWW O, X, V, X c O{X~X{VWW O, X, W, Q c (O{X{Q)~WWW O, X, X, V c O{X~X{VWW P, P, W, X c (P{P{X)~WWW P, P, X, W c (P{P{X)~WWW P, Q, T, W c (P{Q~T)~WWW P, Q, T, X c Q~(T~X|P)WW P, Q, U, W c (Q~U|P)~WWW P, Q, V, X c (P{V)~(Q{X)WW P, Q, W, T c (P{Q~T)~WWW P, Q, W, U c (Q~U|P)~WWW P, Q, W, W c (P{Q{W)~WWW P, Q, W, X c (P~Q{X)~WWW P, Q, X, T c Q~(X~T|P)WW P, Q, X, V c (P{V)~(Q{X)WW P, Q, X, W c (P~Q{X)~WWW P, Q, X, X c (P{X)~X|QWW P, R, S, V c (P{R~V)~SWW P, R, S, W c (R~S|P)~WWW P, R, V, S c (P{R~V)~SWW P, R, V, W c (P{R{V)~WWW P, R, W, S c (R~S|P)~WWW P, R, W, V c (P{R{V)~WWW P, R, W, W c (P~R{W)~WWW P, R, W, X c (R|P{X)~WWW P, R, X, W c (R|P{X)~WWW P, S, R, V c (P{R~V)~SWW P, S, R, W c (S~R|P)~WWW P, S, U, W c (P{S{U)~WWW P, S, V, R c (P{V~R)~SWW P, S, V, V c (P{V)~(S{V)WW P, S, V, W c (P~S{V)~WWW P, S, V, X c (S{V)~(X|P)WW P, S, W, R c (S~R|P)~WWW P, S, W, U c (P{S{U)~WWW P, S, W, V c (P~S{V)~WWW P, S, W, W c (S|P{W)~WWW P, S, X, V c (S{V)~(X|P)WW P, T, Q, W c (P{T~Q)~WWW P, T, Q, X c (T~X|P)~QWW P, T, T, W c (P{T{T)~WWW P, T, U, V c (P{V)~(T{U)WW P, T, U, W c (P~T{U)~WWW P, T, U, X c (T{U)~(X|P)WW P, T, V, U c (P{V)~(T{U)WW P, T, V, W c (T|P{V)~WWW P, T, W, Q c (P{T~Q)~WWW P, T, W, T c (P{T{T)~WWW P, T, W, U c (P~T{U)~WWW P, T, W, V c (T|P{V)~WWW P, T, X, Q c (T~X|P)~QWW P, T, X, U c (T{U)~(X|P)WW P, U, Q, W c (U~Q|P)~WWW P, U, S, W c (P{U{S)~WWW P, U, T, V c (P{V)~(U{T)WW P, U, T, W c (P~U{T)~WWW P, U, T, X c (U{T)~(X|P)WW P, U, U, W c (U|P{U)~WWW P, U, V, T c (P{V)~(U{T)WW P, U, W, Q c (U~Q|P)~WWW P, U, W, S c (P{U{S)~WWW P, U, W, T c (P~U{T)~WWW P, U, W, U c (U|P{U)~WWW P, U, X, T c (U{T)~(X|P)WW P, U, X, X c P{U{X~XWW P, V, Q, X c (P{V)~(Q{X)WW P, V, R, S c (P{V~R)~SWW P, V, R, W c (P{V{R)~WWW P, V, S, R c (P{V~R)~SWW P, V, S, V c (P{V)~(S{V)WW P, V, S, W c (P~V{S)~WWW P, V, S, X c (V{S)~(X|P)WW P, V, T, U c (P{V)~(T{U)WW P, V, T, W c (V|P{T)~WWW P, V, U, T c (P{V)~(U{T)WW P, V, V, S c (P{V)~(V{S)WW P, V, W, R c (P{V)~(W{R)WW P, V, W, S c (P~V{S)~WWW P, V, W, T c (V|P{T)~WWW P, V, W, X c (P{W)~X{VWW P, V, X, Q c (P{V)~(X{Q)WW P, V, X, S c (V{S)~(X|P)WW P, V, X, W c (P{W)~X{VWW P, V, X, X c P~V{X~XWW P, W, P, X c (P{P{X)~WWW P, W, Q, T c (P{Q~T)~WWW P, W, Q, U c W~(Q~U|P)WW P, W, Q, W c (P{W{Q)~WWW P, W, Q, X c (P~W)~(Q{X)WW P, W, R, S c W~(R~S|P)WW P, W, R, V c (P{R{V)~WWW P, W, R, W c (P~W{R)~WWW P, W, R, X c W~(R|P{X)WW P, W, S, R c W~(S~R|P)WW P, W, S, U c (P{S{U)~WWW P, W, S, V c (P~W)~(S{V)WW P, W, S, W c (W|P{S)~WWW P, W, T, Q c (P{T~Q)~WWW P, W, T, T c (P{T{T)~WWW P, W, T, U c (P~W)~(T{U)WW P, W, T, V c W~(T|P{V)WW P, W, U, Q c W~(U~Q|P)WW P, W, U, S c (P{U{S)~WWW P, W, U, T c (P~W)~(U{T)WW P, W, U, U c W~(U|P{U)WW P, W, V, R c (P{V)~(W{R)WW P, W, V, S c (P~W)~(V{S)WW P, W, V, T c W~(V|P{T)WW P, W, V, X c (P{W)~X{VWW P, W, W, Q c (P{W{Q)~WWW P, W, W, R c (P~W)~(W{R)WW P, W, W, S c (W|P{S)~WWW P, W, W, X c (P{X)~W{WWW P, W, X, P c (P{X{P)~WWW P, W, X, Q c (P~W)~(X{Q)WW P, W, X, R c W~(X|P{R)WW P, W, X, V c (P{W)~X{VWW P, W, X, W c (P{X)~W{WWW P, W, X, X c W|P{X~XWW P, X, P, W c (P{X{P)~WWW P, X, Q, T c (X~T|P)~QWW P, X, Q, V c (P{V)~(X{Q)WW P, X, Q, W c (P~X{Q)~WWW P, X, Q, X c (P{X)~X|QWW P, X, R, W c (X|P{R)~WWW P, X, S, V c (X|P)~(S{V)WW P, X, T, Q c (X~T|P)~QWW P, X, T, U c (X|P)~(T{U)WW P, X, U, T c (X|P)~(U{T)WW P, X, U, X c P{X~X{UWW P, X, V, Q c (P{V)~(X{Q)WW P, X, V, S c (X|P)~(V{S)WW P, X, V, W c (P{W)~X{VWW P, X, V, X c P~X~X{VWW P, X, W, P c (P{X{P)~WWW P, X, W, Q c (P~X{Q)~WWW P, X, W, R c (X|P)~(W{R)WW P, X, W, V c (P{W)~X{VWW P, X, W, W c (P{X)~W{WWW P, X, W, X c X~X|P{WWW P, X, X, Q c (P{X)~X|QWW P, X, X, U c P{X~X{UWW P, X, X, V c P~X~X{VWW P, X, X, W c X~X|P{WWW Q, O, W, X c (Q{O{X)~WWW Q, O, X, W c (Q{O{X)~WWW Q, P, T, W c (Q~T{P)~WWW Q, P, T, X c Q~(T~X|P)WW Q, P, U, W c (Q~U|P)~WWW Q, P, V, X c (Q{X)~(P{V)WW Q, P, W, T c (Q~T{P)~WWW Q, P, W, U c (Q~U|P)~WWW Q, P, W, W c (Q{P{W)~WWW Q, P, W, X c (Q{P~X)~WWW Q, P, X, T c Q~(X~T|P)WW Q, P, X, V c (Q{X)~(P{V)WW Q, P, X, W c (Q{P~X)~WWW Q, P, X, X c (Q{X)~(X|P)WW Q, Q, S, X c Q~(Q{X)~SWW Q, Q, T, X c Q~T~X|QWW Q, Q, U, V c Q~(Q{U~V)WW Q, Q, U, X c (Q{U)~(Q{X)WW Q, Q, V, U c Q~(Q{V~U)WW Q, Q, V, W c (Q{Q{V)~WWW Q, Q, W, V c (Q{Q{V)~WWW Q, Q, W, X c (Q{W)~X|QWW Q, Q, X, S c Q~(Q{X)~SWW Q, Q, X, T c Q~X~T|QWW Q, Q, X, U c (Q{X)~(Q{U)WW Q, Q, X, W c (Q{W)~X|QWW Q, R, R, W c (Q{R~R)~WWW Q, R, S, W c Q~(R{W)~SWW Q, R, T, U c R~T~U|QWW Q, R, T, W c (Q~R{T)~WWW Q, R, T, X c (Q{X)~(R{T)WW Q, R, U, T c R~U~T|QWW Q, R, U, W c (Q{R{U)~WWW Q, R, V, W c (Q~V|R)~WWW Q, R, V, X c (R{V)~X|QWW Q, R, W, R c (Q{R~R)~WWW Q, R, W, S c Q~(R{W)~SWW Q, R, W, T c (Q~R{T)~WWW Q, R, W, U c (Q{R{U)~WWW Q, R, W, V c (Q~V|R)~WWW Q, R, X, T c (Q{X)~(R{T)WW Q, R, X, V c (R{V)~X|QWW Q, S, Q, X c (Q~S)~(Q{X)WW Q, S, R, W c (Q~S{R)~WWW Q, S, S, T c (Q{S~T)~SWW Q, S, S, U c S~(S~U|Q)WW Q, S, S, V c (Q~S)~(S{V)WW Q, S, S, X c (Q{X)~(S{S)WW Q, S, T, S c (Q{S~T)~SWW Q, S, T, U c (Q~S)~(T{U)WW Q, S, T, W c (Q{S{T)~WWW Q, S, U, S c (S~U|Q)~SWW Q, S, U, T c (Q~S)~(U{T)WW Q, S, U, V c (Q{U)~(S{V)WW Q, S, U, W c Q~(U~W|S)WW Q, S, U, X c (S{U)~X|QWW Q, S, V, S c Q~(S{V)~SWW Q, S, V, U c Q~V~U{SWW Q, S, V, W c (Q~V{W)~SWW Q, S, W, R c (Q~S)~(W{R)WW Q, S, W, T c Q~(S{W~T)WW Q, S, W, U c (Q~W{U)~SWW Q, S, W, V c (Q~V{W)~SWW Q, S, W, X c Q~(S~X{W)WW Q, S, X, Q c (Q~S)~(X{Q)WW Q, S, X, S c (Q{X)~(S{S)WW Q, S, X, U c (S{U)~X|QWW Q, S, X, W c Q~(S~X{W)WW Q, T, P, W c (Q~T{P)~WWW Q, T, P, X c Q~(T~X|P)WW Q, T, Q, X c Q~T~X|QWW Q, T, R, U c T~R~U|QWW Q, T, R, W c (Q~R{T)~WWW Q, T, R, X c (Q{X)~(T{R)WW Q, T, S, S c (Q{T~S)~SWW Q, T, S, U c Q~(T{U)~SWW Q, T, S, W c (Q{T{S)~WWW Q, T, T, X c (T{T)~X|QWW Q, T, U, R c T~U~R|QWW Q, T, U, S c Q~(T{U)~SWW Q, T, U, U c (Q{U)~(T{U)WW Q, T, V, V c Q~(V~V|T)WW Q, T, V, X c Q~(T~V{X)WW Q, T, W, P c (Q~T{P)~WWW Q, T, W, R c (Q~R{T)~WWW Q, T, W, S c Q~(T~W{S)WW Q, T, W, W c Q~T~W{WWW Q, T, X, P c Q~(T~X|P)WW Q, T, X, Q c Q~T~X|QWW Q, T, X, R c (Q{X)~(T{R)WW Q, T, X, T c (T{T)~X|QWW Q, T, X, V c Q~(T~V{X)WW Q, T, X, X c Q{T{X~XWW Q, U, P, W c (Q~U|P)~WWW Q, U, Q, V c (Q{U~V)~QWW Q, U, Q, X c (Q{U)~(Q{X)WW Q, U, R, T c U~R~T|QWW Q, U, R, W c (Q{U{R)~WWW Q, U, S, S c (U~S|Q)~SWW Q, U, S, T c Q~(U{T)~SWW Q, U, S, V c (Q{U)~(S{V)WW Q, U, S, W c Q~(U~W|S)WW Q, U, S, X c (U{S)~X|QWW Q, U, T, R c U~T~R|QWW Q, U, T, S c Q~(U{T)~SWW Q, U, T, U c (Q{U)~(T{U)WW Q, U, U, T c (Q{U)~(U{T)WW Q, U, U, W c Q~(U~U{W)WW Q, U, U, X c U~(U{X)|QWW Q, U, V, Q c (Q{U~V)~QWW Q, U, V, S c (Q{U)~(V{S)WW Q, U, V, W c (U|Q{V)~WWW Q, U, W, P c (Q~U|P)~WWW Q, U, W, R c (Q{U)~(W{R)WW Q, U, W, S c Q~(U~W|S)WW Q, U, W, U c Q~(U~U{W)WW Q, U, W, V c (U|Q{V)~WWW Q, U, W, W c Q~U~W|WWW Q, U, X, Q c (Q{U)~(X{Q)WW Q, U, X, S c (U{S)~X|QWW Q, U, X, U c (U{X)~U|QWW Q, V, P, X c (Q{X)~(V{P)WW Q, V, Q, U c (Q{V~U)~QWW Q, V, Q, W c (Q{V{Q)~WWW Q, V, R, W c (Q~V|R)~WWW Q, V, R, X c (V{R)~X|QWW Q, V, S, S c Q~(V{S)~SWW Q, V, S, U c Q~V~U{SWW Q, V, S, W c (Q~V{W)~SWW Q, V, T, V c Q~(V~V|T)WW Q, V, T, X c Q~(V~T{X)WW Q, V, U, Q c (Q{V~U)~QWW Q, V, U, S c Q~V~U{SWW Q, V, U, W c (V|Q{U)~WWW Q, V, V, T c Q~(V~V|T)WW Q, V, V, X c (Q{V)~X{VWW Q, V, W, Q c (Q{V{Q)~WWW Q, V, W, R c (Q~V|R)~WWW Q, V, W, S c (Q~V{W)~SWW Q, V, W, U c (V|Q{U)~WWW Q, V, W, W c (V{WQ)~WWW Q, V, W, X c (Q~X|V)~WWW Q, V, X, P c (Q{X)~(V{P)WW Q, V, X, R c (V{R)~X|QWW Q, V, X, T c Q~(V~T{X)WW Q, V, X, V c (Q{V)~X{VWW Q, V, X, W c (Q~X|V)~WWW Q, W, O, X c (Q{O{X)~WWW Q, W, P, T c (Q~T{P)~WWW Q, W, P, U c (Q~U|P)~WWW Q, W, P, W c (Q{W{P)~WWW Q, W, P, X c (Q{P~X)~WWW Q, W, Q, V c (Q{Q{V)~WWW Q, W, Q, X c (Q{W)~X|QWW Q, W, R, R c (Q{R~R)~WWW Q, W, R, S c Q~(W{R)~SWW Q, W, R, T c (Q~R{T)~WWW Q, W, R, U c (Q{R{U)~WWW Q, W, R, V c (Q~V|R)~WWW Q, W, S, R c Q~(W{R)~SWW Q, W, S, T c Q~(W~T{S)WW Q, W, S, U c (Q~W{U)~SWW Q, W, S, V c (Q~V{W)~SWW Q, W, S, X c Q~(W{S~X)WW Q, W, T, P c (Q~T{P)~WWW Q, W, T, R c (Q~R{T)~WWW Q, W, T, S c Q~(W~T{S)WW Q, W, T, W c (Q~W|T)~WWW Q, W, U, P c (Q~U|P)~WWW Q, W, U, R c (Q{U)~(W{R)WW Q, W, U, S c (Q~W{U)~SWW Q, W, U, U c Q~(W{U~U)WW Q, W, U, V c W~(U|Q{V)WW Q, W, U, W c Q~W~U|WWW Q, W, V, Q c (Q{V{Q)~WWW Q, W, V, R c (Q~V|R)~WWW Q, W, V, S c (Q~V{W)~SWW Q, W, V, U c W~(V|Q{U)WW Q, W, V, W c (WQ{V)~WWW Q, W, V, X c (Q~X|V)~WWW Q, W, W, P c (Q{W{P)~WWW Q, W, W, T c (Q~W|T)~WWW Q, W, W, U c Q~W~U|WWW Q, W, W, V c (WQ{V)~WWW Q, W, W, W c (Q{W)~W{WWW Q, W, W, X c Q~W{W~XWW Q, W, X, O c (Q{X)~(W{O)WW Q, W, X, P c (Q{X)~(W~P)WW Q, W, X, Q c (Q{W)~X|QWW Q, W, X, S c Q~(W{X~S)WW Q, W, X, V c (Q~X|V)~WWW Q, W, X, W c Q~W{X~WWW Q, X, O, W c (Q{X{O)~WWW Q, X, P, T c Q~(X~T|P)WW Q, X, P, V c (Q{X)~(P{V)WW Q, X, P, W c (Q{X)~(P~W)WW Q, X, P, X c (Q{X)~(X|P)WW Q, X, Q, S c (Q{X)~(Q~S)WW Q, X, Q, T c Q~X~T|QWW Q, X, Q, U c (Q{X)~(Q{U)WW Q, X, Q, W c (Q{W)~X|QWW Q, X, R, T c (Q{X)~(R{T)WW Q, X, R, V c X~(R{V)|QWW Q, X, S, Q c (Q{X)~(S~Q)WW Q, X, S, S c (Q{X)~(S{S)WW Q, X, S, U c X~(S{U)|QWW Q, X, S, W c Q~(X~S{W)WW Q, X, T, P c Q~(X~T|P)WW Q, X, T, Q c Q~X~T|QWW Q, X, T, R c (Q{X)~(T{R)WW Q, X, T, T c X~(T{T)|QWW Q, X, T, V c Q~(X{T~V)WW Q, X, T, X c Q{X~X{TWW Q, X, U, Q c (Q{X)~(U{Q)WW Q, X, U, S c X~(U{S)|QWW Q, X, U, U c (X{U)~U|QWW Q, X, V, P c (Q{X)~(V{P)WW Q, X, V, R c X~(V{R)|QWW Q, X, V, T c Q~(X{V~T)WW Q, X, V, V c (Q{V)~X{VWW Q, X, V, W c (Q~X|V)~WWW Q, X, W, O c (Q{X)~(W{O)WW Q, X, W, P c (Q{X)~(W~P)WW Q, X, W, Q c (Q{W)~X|QWW Q, X, W, S c Q~(X~S{W)WW Q, X, W, V c (Q~X|V)~WWW Q, X, W, W c Q~W{X~WWW Q, X, X, P c (Q{X)~(X|P)WW Q, X, X, T c Q{X~X{TWW Q, X, X, X c X|Q{X~XWW R, O, W, W c (R{O{W)~WWW R, P, S, V c (R~V{P)~SWW R, P, S, W c (R~S|P)~WWW R, P, V, S c (R~V{P)~SWW R, P, V, W c (R{P{V)~WWW R, P, W, S c (R~S|P)~WWW R, P, W, V c (R{P{V)~WWW R, P, W, W c (R{P~W)~WWW R, P, W, X c (R|P{X)~WWW R, P, X, W c (R|P{X)~WWW R, Q, R, W c (R~R{Q)~WWW R, Q, S, W c (R{Q~S)~WWW R, Q, T, U c R~T~U|QWW R, Q, T, W c (R~Q{T)~WWW R, Q, T, X c (R{T)~(Q{X)WW R, Q, U, T c R~U~T|QWW R, Q, U, W c (R{Q{U)~WWW R, Q, V, W c (Q~V|R)~WWW R, Q, V, X c (R{V)~X|QWW R, Q, W, R c (R~R{Q)~WWW R, Q, W, S c (R{Q~S)~WWW R, Q, W, T c (R~Q{T)~WWW R, Q, W, U c (R{Q{U)~WWW R, Q, W, V c (Q~V|R)~WWW R, Q, X, T c (R{T)~(Q{X)WW R, Q, X, V c (R{V)~X|QWW R, R, Q, W c (R~R{Q)~WWW R, R, T, W c (R{R{T)~WWW R, R, V, X c R~R~X{VWW R, R, W, Q c (R~R{Q)~WWW R, R, W, T c (R{R{T)~WWW R, R, X, V c R~R~X{VWW R, S, P, V c (R~V{P)~SWW R, S, P, W c (R~S|P)~WWW R, S, Q, W c (R{S~Q)~WWW R, S, S, U c (R~U{S)~SWW R, S, S, V c R~S~V{SWW R, S, S, W c (R{S{S)~WWW R, S, T, T c S~(T~T|R)WW R, S, T, V c (R{T)~(S{V)WW R, S, T, W c (R~T|S)~WWW R, S, T, X c (R~X|T)~SWW R, S, U, S c (R~U{S)~SWW R, S, V, P c (R~V{P)~SWW R, S, V, S c R~S~V{SWW R, S, V, T c (R{T)~(S{V)WW R, S, V, X c (R{X)~V{SWW R, S, W, P c (R~S|P)~WWW R, S, W, Q c (R{S~Q)~WWW R, S, W, S c (R{S{S)~WWW R, S, W, T c (R~T|S)~WWW R, S, W, W c R~S~W|WWW R, S, X, T c (R~X|T)~SWW R, S, X, V c (R{X)~V{SWW R, S, X, X c R{S{X~XWW R, T, Q, U c R~T~U|QWW R, T, Q, W c (R~Q{T)~WWW R, T, Q, X c (R{T)~(Q{X)WW R, T, R, W c (R{T{R)~WWW R, T, S, T c (T~T|R)~SWW R, T, S, V c (R{T)~(S{V)WW R, T, S, W c (R~T|S)~WWW R, T, S, X c (R~X|T)~SWW R, T, T, S c (T~T|R)~SWW R, T, T, U c (R{T)~(T{U)WW R, T, U, Q c R~T~U|QWW R, T, U, T c (R{T)~(U{T)WW R, T, V, S c (R{T)~(V{S)WW R, T, V, W c (T{W)~V|RWW R, T, W, Q c (R~Q{T)~WWW R, T, W, R c (R{T)~(W{R)WW R, T, W, S c (R~T|S)~WWW R, T, W, V c (T{W)~V|RWW R, T, W, X c R{T~(W{X)WW R, T, X, Q c (R{T)~(X{Q)WW R, T, X, S c (R~X|T)~SWW R, T, X, W c R{T~(X{W)WW R, U, Q, T c R~U~T|QWW R, U, Q, W c (R{U{Q)~WWW R, U, S, S c (R~U{S)~SWW R, U, T, Q c R~U~T|QWW R, U, T, T c (R{T)~(U{T)WW R, U, V, V c (U{V)~V|RWW R, U, V, W c (R~U|V)~WWW R, U, V, X c (R{U)~X{VWW R, U, W, Q c (R{U{Q)~WWW R, U, W, V c (R~U|V)~WWW R, U, W, W c (U|R{W)~WWW R, U, W, X c (UR{X)~WWW R, U, X, V c (R{U)~X{VWW R, U, X, W c (UR{X)~WWW R, V, P, S c (R~V{P)~SWW R, V, P, W c (R{V{P)~WWW R, V, Q, W c (V~Q|R)~WWW R, V, Q, X c (R{V)~X|QWW R, V, R, X c R~R~X{VWW R, V, S, P c (R~V{P)~SWW R, V, S, S c R~V~S{SWW R, V, S, T c (R{T)~(V{S)WW R, V, S, X c (R{X)~V{SWW R, V, T, S c (R{T)~(V{S)WW R, V, T, W c V~(T{W)|RWW R, V, U, V c (V{U)~V|RWW R, V, U, W c (R~U|V)~WWW R, V, U, X c (R{U)~X{VWW R, V, V, U c V~(V{U)|RWW R, V, V, W c (V|R{V)~WWW R, V, W, P c (R{V{P)~WWW R, V, W, Q c (V~Q|R)~WWW R, V, W, T c V~(W{T)|RWW R, V, W, U c (R~U|V)~WWW R, V, W, V c (V|R{V)~WWW R, V, W, W c (R{V)~W{WWW R, V, X, Q c (R{V)~X|QWW R, V, X, R c R~X~R{VWW R, V, X, S c (R{X)~V{SWW R, V, X, U c (R{U)~X{VWW R, W, O, W c (R{W{O)~WWW R, W, P, S c (R~S|P)~WWW R, W, P, V c (R{W)~(P{V)WW R, W, P, W c (R{W)~(P~W)WW R, W, P, X c (R{W)~(X|P)WW R, W, Q, R c (R~R{Q)~WWW R, W, Q, S c (R{W)~(Q~S)WW R, W, Q, T c (R~Q{T)~WWW R, W, Q, U c (R{W)~(Q{U)WW R, W, Q, V c W~(Q~V|R)WW R, W, R, Q c (R~R{Q)~WWW R, W, R, T c (R{W)~(R{T)WW R, W, S, P c (R~S|P)~WWW R, W, S, Q c (R{W)~(S~Q)WW R, W, S, S c (R{W)~(S{S)WW R, W, S, T c (R~T|S)~WWW R, W, S, W c R~W~S|WWW R, W, T, Q c (R~Q{T)~WWW R, W, T, R c (R{W)~(T{R)WW R, W, T, S c (R~T|S)~WWW R, W, T, V c (W{T)~V|RWW R, W, T, X c R{(W{X)~TWW R, W, U, Q c (R{W)~(U{Q)WW R, W, U, V c (R~U|V)~WWW R, W, U, W c (W|R{U)~WWW R, W, U, X c W~(UR{X)WW R, W, V, P c (R{W)~(V{P)WW R, W, V, Q c W~(V~Q|R)WW R, W, V, T c (W{T)~V|RWW R, W, V, U c (R~U|V)~WWW R, W, V, V c W~(V|R{V)WW R, W, V, W c (R{V)~W{WWW R, W, W, O c (R{W)~(W{O)WW R, W, W, P c (R{W)~(W~P)WW R, W, W, S c R~W~S|WWW R, W, W, U c (W|R{U)~WWW R, W, W, V c (R{V)~W{WWW R, W, W, W c R~W{W~WWW R, W, W, X c (R{X)~W|WWW R, W, X, P c (R{W)~(X|P)WW R, W, X, T c R{(W{X)~TWW R, W, X, U c W~(X{UR)WW R, W, X, W c (R{X)~W|WWW R, X, P, W c (R{X|P)~WWW R, X, Q, T c (R{T)~(X{Q)WW R, X, Q, V c (R{V)~X|QWW R, X, R, V c R~X~R{VWW R, X, S, T c (R~X|T)~SWW R, X, S, V c (R{X)~V{SWW R, X, S, X c R{X~X{SWW R, X, T, Q c (R{T)~(X{Q)WW R, X, T, S c (R~X|T)~SWW R, X, T, W c R{(X{W)~TWW R, X, U, V c (R{U)~X{VWW R, X, U, W c (X{UR)~WWW R, X, V, Q c (R{V)~X|QWW R, X, V, R c R~X~R{VWW R, X, V, S c (R{X)~V{SWW R, X, V, U c (R{U)~X{VWW R, X, W, P c (R{X|P)~WWW R, X, W, T c R{(X{W)~TWW R, X, W, U c (X{UR)~WWW R, X, W, W c (R{X)~W|WWW R, X, X, S c R{X~X{SWW S, O, V, W c (S{O{V)~WWW S, O, W, V c (S{O{V)~WWW S, P, R, V c S~(P{R~V)WW S, P, R, W c (S~R|P)~WWW S, P, U, W c (S{P{U)~WWW S, P, V, R c S~(P{V~R)WW S, P, V, V c (S{V)~(P{V)WW S, P, V, W c (S{P~V)~WWW S, P, V, X c (S{V)~(X|P)WW S, P, W, R c (S~R|P)~WWW S, P, W, U c (S{P{U)~WWW S, P, W, V c (S{P~V)~WWW S, P, W, W c (S|P{W)~WWW S, P, X, V c (S{V)~(X|P)WW S, Q, Q, X c (S~Q)~(Q{X)WW S, Q, R, W c (S~Q{R)~WWW S, Q, S, T c S~(Q{S~T)WW S, Q, S, U c S~(S~U|Q)WW S, Q, S, V c (S~Q)~(S{V)WW S, Q, S, X c (S{Q~X)~SWW S, Q, T, S c S~(Q{T~S)WW S, Q, T, U c (S~Q)~(T{U)WW S, Q, T, W c (S{Q{T)~WWW S, Q, U, S c (S~U|Q)~SWW S, Q, U, T c (S~Q)~(U{T)WW S, Q, U, V c S{Q~U~VWW S, Q, U, W c S~(Q~W{U)WW S, Q, U, X c (S{U)~X|QWW S, Q, V, S c (S~Q)~(V{S)WW S, Q, V, U c S{Q~V~UWW S, Q, V, W c S~(Q~V{W)WW S, Q, W, R c (S~Q)~(W{R)WW S, Q, W, T c (S{Q{T)~WWW S, Q, W, U c S~(Q~W{U)WW S, Q, W, V c S~(Q~V{W)WW S, Q, W, X c (S|Q{X)~WWW S, Q, X, Q c S~(Q{X)~QWW S, Q, X, S c (S{Q~X)~SWW S, Q, X, U c (S{U)~X|QWW S, Q, X, W c (S|Q{X)~WWW S, R, P, V c S~(R~V{P)WW S, R, P, W c (S~R|P)~WWW S, R, Q, W c S~(R{W)~QWW S, R, S, U c (S{R~U)~SWW S, R, S, V c S{R~S~VWW S, R, S, W c (S{R{S)~WWW S, R, T, T c S~(T~T|R)WW S, R, T, V c S~(R~T{V)WW S, R, T, W c (R~T|S)~WWW S, R, T, X c S~(R~X|T)WW S, R, U, S c (S{R~U)~SWW S, R, V, P c S~(R~V{P)WW S, R, V, S c S{R~V~SWW S, R, V, T c S~(R~T{V)WW S, R, V, X c S{(R{X)~VWW S, R, W, P c (S~R|P)~WWW S, R, W, Q c S~(R{W)~QWW S, R, W, S c (S{R{S)~WWW S, R, W, T c (R~T|S)~WWW S, R, W, W c S~R~W|WWW S, R, X, T c S~(R~X|T)WW S, R, X, V c S{(R{X)~VWW S, R, X, X c S{R{X~XWW S, S, Q, T c S~(S~T{Q)WW S, S, Q, U c S~(S~U|Q)WW S, S, Q, V c S~(S{V)~QWW S, S, Q, X c (S{S)~(Q{X)WW S, S, R, U c S~(S{R~U)WW S, S, R, V c S{S~R~VWW S, S, R, W c (S{S{R)~WWW S, S, S, U c S~(S~S{U)WW S, S, S, V c (S{S)~(S{V)WW S, S, T, Q c S~(S~T{Q)WW S, S, T, U c (S{S)~(T{U)WW S, S, T, W c (S~S|T)~WWW S, S, U, Q c S~(S~U|Q)WW S, S, U, R c S~(S{U~R)WW S, S, U, S c (S~S{U)~SWW S, S, U, T c (S{S)~(U{T)WW S, S, U, V c S~(S~V|U)WW S, S, U, W c S~S~U|WWW S, S, V, Q c S~(S{V)~QWW S, S, V, R c S{S~V~RWW S, S, V, S c (S{S)~(V{S)WW S, S, V, U c S~(S~V|U)WW S, S, V, W c S{(S{W)~VWW S, S, W, R c (S{S)~(W{R)WW S, S, W, T c (S~S|T)~WWW S, S, W, U c S~S~U|WWW S, S, W, V c S{(S{W)~VWW S, S, W, X c S~S{W~XWW S, S, X, Q c (S{S)~(X{Q)WW S, S, X, W c S~S{X~WWW S, S, X, X c S~(S{X{X)WW S, T, Q, S c (S~T{Q)~SWW S, T, Q, U c S~(T{U)~QWW S, T, Q, W c (S{T{Q)~WWW S, T, R, T c S~(T~T|R)WW S, T, R, V c S~(T~R{V)WW S, T, R, W c (T~R|S)~WWW S, T, R, X c S~(R~X|T)WW S, T, S, Q c S~(T~S{Q)WW S, T, S, U c (S{S)~(T{U)WW S, T, S, W c S~T~S{WWW S, T, T, R c S~(T~T|R)WW S, T, U, Q c S~(T{U)~QWW S, T, U, S c (S{S)~(T{U)WW S, T, U, W c S~(T~U|W)WW S, T, U, X c S{(T{X)~UWW S, T, V, R c S~(T~R{V)WW S, T, V, V c S{(T{V)~VWW S, T, V, X c (S{T)~X{VWW S, T, W, Q c (S{T~W)~QWW S, T, W, R c (T~R|S)~WWW S, T, W, S c S~T~S{WWW S, T, W, U c S~(T~U|W)WW S, T, W, X c S~(T{W{X)WW S, T, X, R c S~(X~R|T)WW S, T, X, U c S{(T{X)~UWW S, T, X, V c (S{T)~X{VWW S, T, X, W c S~(T{X{W)WW S, U, P, W c (S{U{P)~WWW S, U, Q, S c (S~U|Q)~SWW S, U, Q, T c S~(U{T)~QWW S, U, Q, V c S{U~Q~VWW S, U, Q, W c S~(U{Q~W)WW S, U, Q, X c (S{U)~X|QWW S, U, R, S c (S{U~R)~SWW S, U, S, Q c S~(U~S|Q)WW S, U, S, R c (S{U~R)~SWW S, U, S, S c S~(U{S~S)WW S, U, S, T c (S{S)~(U{T)WW S, U, S, V c S~(S~V|U)WW S, U, S, W c S~U~S|WWW S, U, T, Q c S~(U{T)~QWW S, U, T, S c (S{S)~(U{T)WW S, U, T, W c S~(U~T|W)WW S, U, T, X c S{U~(T{X)WW S, U, U, V c S{(U{U)~VWW S, U, U, W c S{U~(U{W)WW S, U, V, Q c S{U~V~QWW S, U, V, S c (S~V|U)~SWW S, U, V, U c S{(U{U)~VWW S, U, V, V c S{U~(V{V)WW S, U, V, X c S~(U{V{X)WW S, U, W, P c (S{U{P)~WWW S, U, W, Q c S~(U{W~Q)WW S, U, W, S c S~U~S|WWW S, U, W, T c S~(U~T|W)WW S, U, W, U c S{(U{W)~UWW S, U, W, W c (S{U)~W{WWW S, U, W, X c (U|S{X)~WWW S, U, X, Q c (S{U)~X|QWW S, U, X, T c S{U~(X{T)WW S, U, X, V c S~(U{X{V)WW S, U, X, W c (U|S{X)~WWW S, V, O, W c (S{V{O)~WWW S, V, P, R c S~(V~R{P)WW S, V, P, V c (S{V)~(P{V)WW S, V, P, W c (S{V)~(P~W)WW S, V, P, X c (S{V)~(X|P)WW S, V, Q, S c (S{V)~(Q~S)WW S, V, Q, U c (S{V)~(Q{U)WW S, V, Q, W c S~(V~Q{W)WW S, V, R, P c S~(V~R{P)WW S, V, R, S c S{V~R~SWW S, V, R, T c (S{V)~(R{T)WW S, V, R, X c S{V~(R{X)WW S, V, S, Q c (S{V)~(S~Q)WW S, V, S, R c S{V~S~RWW S, V, S, S c (S{V)~(S{S)WW S, V, S, U c S~(V~S|U)WW S, V, S, W c S{V~(S{W)WW S, V, T, R c (S{V)~(T{R)WW S, V, T, V c S{(V{T)~VWW S, V, T, X c (S{T)~X{VWW S, V, U, Q c (S{V)~(U{Q)WW S, V, U, S c (S~V|U)~SWW S, V, U, U c S{V~(U{U)WW S, V, U, V c S{(V{V)~UWW S, V, U, X c S~(V{U{X)WW S, V, V, P c (S{V)~(V{P)WW S, V, V, T c S{V~(V{T)WW S, V, V, U c S{(V{V)~UWW S, V, V, W c S~(V{V{W)WW S, V, W, O c (S{V)~(W{O)WW S, V, W, P c (S{V)~(W~P)WW S, V, W, Q c S~(V~Q{W)WW S, V, W, S c S{V~(W{S)WW S, V, W, V c S~(V{W{V)WW S, V, W, W c S~W{V~WWW S, V, X, P c (S{V)~(X|P)WW S, V, X, R c S{V~(X{R)WW S, V, X, T c (S{T)~X{VWW S, V, X, U c S~(V{X{U)WW S, W, O, V c (S{O{V)~WWW S, W, P, R c (S~R|P)~WWW S, W, P, U c (S{P{U)~WWW S, W, P, V c (S{P~V)~WWW S, W, P, W c (S{W|P)~WWW S, W, Q, R c S~(W{R)~QWW S, W, Q, T c (S{W~T)~QWW S, W, Q, U c S~(W~Q{U)WW S, W, Q, V c S~(W{Q~V)WW S, W, Q, X c (S|Q{X)~WWW S, W, R, P c (S~R|P)~WWW S, W, R, Q c S~(W{R)~QWW S, W, R, S c (S{R{S)~WWW S, W, R, T c W~(R~T|S)WW S, W, R, W c S~W~R|WWW S, W, S, R c (S{S)~(W{R)WW S, W, S, T c (S~S|T)~WWW S, W, S, U c S~S~U|WWW S, W, S, V c S{(W{S)~VWW S, W, S, X c S~S{W~XWW S, W, T, Q c (S{W~T)~QWW S, W, T, R c W~(T~R|S)WW S, W, T, S c S~T~S{WWW S, W, T, U c S~(T~U|W)WW S, W, T, X c S~(W{T{X)WW S, W, U, P c (S{U{P)~WWW S, W, U, Q c S~(W~Q{U)WW S, W, U, S c S~U~S|WWW S, W, U, T c S~(U~T|W)WW S, W, U, U c S{(W{U)~UWW S, W, U, W c S~(W{U{W)WW S, W, U, X c W~(U|S{X)WW S, W, V, O c (S{V)~(W{O)WW S, W, V, P c (S{V)~(W~P)WW S, W, V, Q c S~(W{V~Q)WW S, W, V, S c (S{W)~V{SWW S, W, V, V c S~(W{V{V)WW S, W, V, W c S~W{V~WWW S, W, W, P c (S{W|P)~WWW S, W, W, R c S~W~R|WWW S, W, W, U c S~(W{W{U)WW S, W, W, V c S~W{W~VWW S, W, W, W c (S{W)~W|WWW S, W, W, X c (WS{X)~WWW S, W, X, Q c (S~X{W)~QWW S, W, X, S c S~S{W~XWW S, W, X, T c S~(W{X{T)WW S, W, X, U c W~(X|S{U)WW S, W, X, W c (WS{X)~WWW S, X, P, V c (S{V)~(X|P)WW S, X, Q, Q c S~(X{Q)~QWW S, X, Q, S c (S{X~Q)~SWW S, X, Q, U c (S{U)~X|QWW S, X, Q, W c (S{X|Q)~WWW S, X, R, T c S~(X~R|T)WW S, X, R, V c S{(X{R)~VWW S, X, R, X c S{X~X{RWW S, X, S, Q c (S{X~Q)~SWW S, X, S, W c S~S{X~WWW S, X, S, X c S~(X{S{X)WW S, X, T, R c S~(X~R|T)WW S, X, T, U c S{(X{T)~UWW S, X, T, V c (S{T)~X{VWW S, X, T, W c S~(X{T{W)WW S, X, U, Q c (S{U)~X|QWW S, X, U, T c S{(X{T)~UWW S, X, U, V c S~(X{U{V)WW S, X, U, W c (X|S{U)~WWW S, X, V, P c (S{V)~(X|P)WW S, X, V, R c (S{X)~V|RWW S, X, V, T c (S{T)~X{VWW S, X, V, U c S~(X{V{U)WW S, X, W, Q c (S~X{W)~QWW S, X, W, S c S~S{X~WWW S, X, W, T c S~(X{W{T)WW S, X, W, U c (X|S{U)~WWW S, X, W, W c (X{WS)~WWW S, X, X, R c S{X~X{RWW S, X, X, S c (S{X{X)~SWW T, O, U, W c (T{O{U)~WWW T, O, W, U c (T{O{U)~WWW T, P, Q, W c (T~Q{P)~WWW T, P, Q, X c (T~X|P)~QWW T, P, T, W c (T{P{T)~WWW T, P, U, V c (T{U)~(P{V)WW T, P, U, W c (T{P~U)~WWW T, P, U, X c (T{U)~(X|P)WW T, P, V, U c (T{U)~(P{V)WW T, P, V, W c (T|P{V)~WWW T, P, W, Q c (T~Q{P)~WWW T, P, W, T c (T{P{T)~WWW T, P, W, U c (T{P~U)~WWW T, P, W, V c (T|P{V)~WWW T, P, X, Q c (T~X|P)~QWW T, P, X, U c (T{U)~(X|P)WW T, Q, P, W c (T~Q{P)~WWW T, Q, P, X c (T~X|P)~QWW T, Q, Q, X c T~Q~X|QWW T, Q, R, U c T~R~U|QWW T, Q, R, W c (T{Q~R)~WWW T, Q, R, X c (T{R)~(Q{X)WW T, Q, S, S c (T~S{Q)~SWW T, Q, S, U c (T{U)~(Q~S)WW T, Q, S, W c (T{Q{S)~WWW T, Q, T, X c (T{T)~X|QWW T, Q, U, R c T~U~R|QWW T, Q, U, S c (T{U)~(Q~S)WW T, Q, U, U c (T{U)~(Q{U)WW T, Q, V, V c Q~(V~V|T)WW T, Q, V, X c (T~V{X)~QWW T, Q, W, P c (T~Q{P)~WWW T, Q, W, R c (T{Q~R)~WWW T, Q, W, S c (T{Q{S)~WWW T, Q, W, W c (T|Q{W)~WWW T, Q, X, P c (T~X|P)~QWW T, Q, X, Q c T~Q~X|QWW T, Q, X, R c (T{R)~(Q{X)WW T, Q, X, T c (T{T)~X|QWW T, Q, X, V c (T~V{X)~QWW T, Q, X, X c T{Q{X~XWW T, R, Q, U c T~R~U|QWW T, R, Q, W c (T{R~Q)~WWW T, R, Q, X c (T{R)~(Q{X)WW T, R, R, W c (T{R{R)~WWW T, R, S, T c (T~T|R)~SWW T, R, S, V c (T{R)~(S{V)WW T, R, S, W c (T~R|S)~WWW T, R, S, X c (R~X|T)~SWW T, R, T, S c (T~T|R)~SWW T, R, T, U c (T{R)~(T{U)WW T, R, U, Q c T~R~U|QWW T, R, U, T c (T{R)~(U{T)WW T, R, V, S c (T{R)~(V{S)WW T, R, V, W c (T{W)~V|RWW T, R, W, Q c (T{R~Q)~WWW T, R, W, R c (T{R)~(W{R)WW T, R, W, S c (T~R|S)~WWW T, R, W, V c (T{W)~V|RWW T, R, W, X c (T|R{X)~WWW T, R, X, Q c (T{R)~(X{Q)WW T, R, X, S c (R~X|T)~SWW T, R, X, W c (T|R{X)~WWW T, S, Q, S c (T~S{Q)~SWW T, S, Q, U c (T{U)~(S~Q)WW T, S, Q, W c (T{S{Q)~WWW T, S, R, T c (T~T|R)~SWW T, S, R, V c (T{R)~(S{V)WW T, S, R, W c (T~R|S)~WWW T, S, R, X c S~(R~X|T)WW T, S, S, Q c (T~S{Q)~SWW T, S, S, U c (T{U)~(S{S)WW T, S, S, W c T~S~S{WWW T, S, T, R c (T~T|R)~SWW T, S, U, Q c (T{U)~(S~Q)WW T, S, U, S c (T{U)~(S{S)WW T, S, U, W c (T~U|W)~SWW T, S, U, X c (T{X)~U{SWW T, S, V, R c (T{R)~(S{V)WW T, S, V, V c (T{V)~V{SWW T, S, V, X c (T{S)~X{VWW T, S, W, Q c (T{S{Q)~WWW T, S, W, R c (T~R|S)~WWW T, S, W, S c T~S~S{WWW T, S, W, U c (T~U|W)~SWW T, S, W, X c (T~S|X)~WWW T, S, X, R c S~(X~R|T)WW T, S, X, U c (T{X)~U{SWW T, S, X, V c (T{S)~X{VWW T, S, X, W c (T~S|X)~WWW T, T, P, W c (T{T{P)~WWW T, T, Q, X c (T{T)~X|QWW T, T, R, S c (T~T|R)~SWW T, T, R, U c (T{R)~(T{U)WW T, T, S, R c (T~T|R)~SWW T, T, U, R c (T{U)~(T{R)WW T, T, V, X c T~T{V~XWW T, T, W, P c (T{T{P)~WWW T, T, W, W c (T{T)~W{WWW T, T, X, Q c (T{T)~X|QWW T, T, X, V c T~T{X~VWW T, U, O, W c (T{U{O)~WWW T, U, P, V c (T{U)~(P{V)WW T, U, P, W c (T{U)~(P~W)WW T, U, P, X c (T{U)~(X|P)WW T, U, Q, R c T~U~R|QWW T, U, Q, S c (T{U)~(Q~S)WW T, U, Q, U c (T{U)~(Q{U)WW T, U, R, Q c T~U~R|QWW T, U, R, T c (T{U)~(R{T)WW T, U, S, Q c (T{U)~(S~Q)WW T, U, S, S c (T{U)~(S{S)WW T, U, S, W c (T~U|W)~SWW T, U, S, X c (T{X)~U{SWW T, U, T, R c (T{U)~(T{R)WW T, U, U, Q c (T{U)~(U{Q)WW T, U, V, P c (T{U)~(V{P)WW T, U, W, O c (T{U)~(W{O)WW T, U, W, P c (T{U)~(W~P)WW T, U, W, S c (T~U|W)~SWW T, U, W, W c T~W{U~WWW T, U, X, P c (T{U)~(X|P)WW T, U, X, S c (T{X)~U{SWW T, V, P, U c (T{U)~(V{P)WW T, V, P, W c (T{V|P)~WWW T, V, Q, V c (V~V|T)~QWW T, V, Q, X c (T~V{X)~QWW T, V, R, S c (T{R)~(V{S)WW T, V, R, W c (T{W)~V|RWW T, V, S, R c (T{R)~(V{S)WW T, V, S, V c (T{V)~V{SWW T, V, S, X c (T{S)~X{VWW T, V, T, X c T~T{V~XWW T, V, U, P c (T{U)~(V{P)WW T, V, V, Q c (V~V|T)~QWW T, V, V, S c (T{V)~V{SWW T, V, W, P c (T{V|P)~WWW T, V, W, R c (T{W)~V|RWW T, V, W, W c (T{V)~W|WWW T, V, W, X c T~(V{X){WWW T, V, X, Q c (T~V{X)~QWW T, V, X, S c (T{S)~X{VWW T, V, X, T c T~T{V~XWW T, V, X, W c T~(V{X){WWW T, W, O, U c (T{O{U)~WWW T, W, P, Q c (T~Q{P)~WWW T, W, P, T c (T{P{T)~WWW T, W, P, U c (T{P~U)~WWW T, W, P, V c (T|P{V)~WWW T, W, Q, P c (T~Q{P)~WWW T, W, Q, R c (T{Q~R)~WWW T, W, Q, S c (T~W{S)~QWW T, W, Q, W c (T{W|Q)~WWW T, W, R, Q c (T{R~Q)~WWW T, W, R, R c (T{R)~(W{R)WW T, W, R, S c (T~R|S)~WWW T, W, R, V c (T{W)~V|RWW T, W, R, X c T~(W{X){RWW T, W, S, Q c (T~W{S)~QWW T, W, S, R c (T~R|S)~WWW T, W, S, S c T~S~S{WWW T, W, S, U c (T~U|W)~SWW T, W, S, X c (T{W{X)~SWW T, W, T, P c (T{T{P)~WWW T, W, T, W c (T{T)~W{WWW T, W, U, O c (T{U)~(W{O)WW T, W, U, P c (T{U)~(W~P)WW T, W, U, S c (T~U|W)~SWW T, W, U, W c T~W{U~WWW T, W, V, P c (T{V|P)~WWW T, W, V, R c (T{W)~V|RWW T, W, V, W c (T{V)~W|WWW T, W, V, X c T~(V{X){WWW T, W, W, Q c (T{W|Q)~WWW T, W, W, T c (T{T)~W{WWW T, W, W, U c T~W{W~UWW T, W, W, V c (T{V)~W|WWW T, W, W, W c T~(W{W){WWW T, W, X, R c T~(W{X){RWW T, W, X, S c (T{W{X)~SWW T, W, X, V c T~(X{V){WWW T, X, P, Q c (T~X|P)~QWW T, X, P, U c (T{U)~(X|P)WW T, X, Q, P c (T~X|P)~QWW T, X, Q, Q c T~X~Q|QWW T, X, Q, R c (T{R)~(X{Q)WW T, X, Q, T c (T{T)~X|QWW T, X, Q, V c (T~V{X)~QWW T, X, Q, X c T{X~X{QWW T, X, R, Q c (T{R)~(X{Q)WW T, X, R, S c (X~R|T)~SWW T, X, R, W c (T{X|R)~WWW T, X, S, R c (X~R|T)~SWW T, X, S, U c (T{X)~U{SWW T, X, S, V c (T{S)~X{VWW T, X, S, W c (T{X{W)~SWW T, X, T, Q c (T{T)~X|QWW T, X, T, V c T~T{X~VWW T, X, U, P c (T{U)~(X|P)WW T, X, U, S c (T{X)~U{SWW T, X, V, Q c (T~V{X)~QWW T, X, V, S c (T{S)~X{VWW T, X, V, T c T~T{X~VWW T, X, V, W c T~(X{V){WWW T, X, W, R c T~(X{W){RWW T, X, W, S c (T{X{W)~SWW T, X, W, V c T~(X{V){WWW T, X, X, Q c T{X~X{QWW U, O, T, W c (U{O{T)~WWW U, O, W, T c (U{O{T)~WWW U, P, Q, W c (U~Q|P)~WWW U, P, S, W c (U{P{S)~WWW U, P, T, V c (U{T)~(P{V)WW U, P, T, W c (U{P~T)~WWW U, P, T, X c (U{T)~(X|P)WW U, P, U, W c (U|P{U)~WWW U, P, V, T c (U{T)~(P{V)WW U, P, W, Q c (U~Q|P)~WWW U, P, W, S c (U{P{S)~WWW U, P, W, T c (U{P~T)~WWW U, P, W, U c (U|P{U)~WWW U, P, X, T c (U{T)~(X|P)WW U, P, X, X c U{P{X~XWW U, Q, P, W c (U~Q|P)~WWW U, Q, Q, V c (U~V{Q)~QWW U, Q, Q, X c (U{Q)~(Q{X)WW U, Q, R, T c U~R~T|QWW U, Q, R, W c (U{Q{R)~WWW U, Q, S, S c (U~S|Q)~SWW U, Q, S, T c (U{T)~(Q~S)WW U, Q, S, V c (U{Q)~(S{V)WW U, Q, S, W c (U{Q~W)~SWW U, Q, S, X c (U{S)~X|QWW U, Q, T, R c U~T~R|QWW U, Q, T, S c (U{T)~(Q~S)WW U, Q, T, U c (U{Q)~(T{U)WW U, Q, U, T c (U{Q)~(U{T)WW U, Q, U, W c (U~U{W)~QWW U, Q, U, X c U~(U{X)|QWW U, Q, V, Q c (U~V{Q)~QWW U, Q, V, S c (U{Q)~(V{S)WW U, Q, V, W c (U|Q{V)~WWW U, Q, W, P c (U~Q|P)~WWW U, Q, W, R c (U{Q)~(W{R)WW U, Q, W, S c (U{Q~W)~SWW U, Q, W, U c (U~U{W)~QWW U, Q, W, V c (U|Q{V)~WWW U, Q, W, W c U~Q~W|WWW U, Q, X, Q c (U{Q)~(X{Q)WW U, Q, X, S c (U{S)~X|QWW U, Q, X, U c (U{X)~U|QWW U, R, Q, T c U~R~T|QWW U, R, Q, W c (U{R{Q)~WWW U, R, S, S c (U~R{S)~SWW U, R, T, Q c U~R~T|QWW U, R, T, T c (U{T)~(R{T)WW U, R, V, V c (U{V)~V|RWW U, R, V, W c (U~R|V)~WWW U, R, V, X c (U{R)~X{VWW U, R, W, Q c (U{R{Q)~WWW U, R, W, V c (U~R|V)~WWW U, R, W, W c (U|R{W)~WWW U, R, W, X c (UR{X)~WWW U, R, X, V c (U{R)~X{VWW U, R, X, W c (UR{X)~WWW U, S, P, W c (U{S{P)~WWW U, S, Q, S c (U~S|Q)~SWW U, S, Q, T c (U{T)~(S~Q)WW U, S, Q, V c (U{Q)~(S{V)WW U, S, Q, W c (U{Q~W)~SWW U, S, Q, X c (U{S)~X|QWW U, S, R, S c (U~R{S)~SWW U, S, S, Q c (U~S|Q)~SWW U, S, S, R c (U~R{S)~SWW U, S, S, S c (U{S~S)~SWW U, S, S, T c (U{T)~(S{S)WW U, S, S, V c S~(S~V|U)WW U, S, S, W c U~S~S|WWW U, S, T, Q c (U{T)~(S~Q)WW U, S, T, S c (U{T)~(S{S)WW U, S, T, W c (U~T|W)~SWW U, S, T, X c U~(T{X){SWW U, S, U, V c (U{U)~V{SWW U, S, U, W c U~(U{W){SWW U, S, V, Q c U~V~Q{SWW U, S, V, S c (S~V|U)~SWW U, S, V, U c (U{U)~V{SWW U, S, V, V c U~(V{V){SWW U, S, V, X c (U{V{X)~SWW U, S, W, P c (U{S{P)~WWW U, S, W, Q c (U~W|S)~QWW U, S, W, S c U~S~S|WWW U, S, W, T c (U~T|W)~SWW U, S, W, U c (U{W)~U{SWW U, S, W, W c (U{S)~W{WWW U, S, W, X c (U|S{X)~WWW U, S, X, Q c (U{S)~X|QWW U, S, X, T c U~(X{T){SWW U, S, X, V c (U{X{V)~SWW U, S, X, W c (U|S{X)~WWW U, T, O, W c (U{T{O)~WWW U, T, P, V c (U{T)~(P{V)WW U, T, P, W c (U{T)~(P~W)WW U, T, P, X c (U{T)~(X|P)WW U, T, Q, R c U~T~R|QWW U, T, Q, S c (U{T)~(Q~S)WW U, T, Q, U c (U{T)~(Q{U)WW U, T, R, Q c U~T~R|QWW U, T, R, T c (U{T)~(R{T)WW U, T, S, Q c (U{T)~(S~Q)WW U, T, S, S c (U{T)~(S{S)WW U, T, S, W c (U~T|W)~SWW U, T, S, X c U~(T{X){SWW U, T, T, R c (U{T)~(T{R)WW U, T, U, Q c (U{T)~(U{Q)WW U, T, V, P c (U{T)~(V{P)WW U, T, W, O c (U{T)~(W{O)WW U, T, W, P c (U{T)~(W~P)WW U, T, W, S c (U~T|W)~SWW U, T, W, W c U~W{T~WWW U, T, X, P c (U{T)~(X|P)WW U, T, X, S c U~(T{X){SWW U, U, P, W c (U{U|P)~WWW U, U, Q, T c (U{Q)~(U{T)WW U, U, Q, W c (U~U{W)~QWW U, U, Q, X c U~(U{X)|QWW U, U, S, V c (U{U)~V{SWW U, U, S, W c U~(U{W){SWW U, U, T, Q c (U{T)~(U{Q)WW U, U, V, S c (U{U)~V{SWW U, U, W, P c (U{U|P)~WWW U, U, W, Q c (U~U{W)~QWW U, U, W, S c U~(U{W){SWW U, U, W, W c (U{U)~W|WWW U, U, X, Q c U~(U{X)|QWW U, V, P, T c (U{T)~(V{P)WW U, V, Q, Q c (U~V{Q)~QWW U, V, Q, S c U~V~Q{SWW U, V, Q, W c (U{V|Q)~WWW U, V, R, V c (U{V)~V|RWW U, V, R, W c (U~R|V)~WWW U, V, R, X c (U{R)~X{VWW U, V, S, Q c U~V~Q{SWW U, V, S, S c (V~S|U)~SWW U, V, S, U c (U{U)~V{SWW U, V, S, V c U~(V{V){SWW U, V, S, X c (U{V{X)~SWW U, V, T, P c (U{T)~(V{P)WW U, V, U, S c (U{U)~V{SWW U, V, V, R c (U{V)~V|RWW U, V, V, S c U~(V{V){SWW U, V, W, Q c U~(V{W)|QWW U, V, W, R c (U~R|V)~WWW U, V, W, X c U~(V{X)|WWW U, V, X, R c (U{R)~X{VWW U, V, X, S c (U{V{X)~SWW U, V, X, W c U~(V{X)|WWW U, W, O, T c (U{O{T)~WWW U, W, P, Q c (U~Q|P)~WWW U, W, P, S c (U{P{S)~WWW U, W, P, T c (U{P~T)~WWW U, W, P, U c (U|P{U)~WWW U, W, Q, P c (U~Q|P)~WWW U, W, Q, R c (U{Q)~(W{R)WW U, W, Q, S c (U{W~Q)~SWW U, W, Q, U c (U~U{W)~QWW U, W, Q, V c U~(W{V)|QWW U, W, Q, W c U~W~Q|WWW U, W, R, Q c (U{R{Q)~WWW U, W, R, V c (U~R|V)~WWW U, W, R, W c (U{W|R)~WWW U, W, R, X c (UR{X)~WWW U, W, S, P c (U{S{P)~WWW U, W, S, Q c (U~W|S)~QWW U, W, S, S c U~S~S|WWW U, W, S, T c (U~T|W)~SWW U, W, S, U c (U{W)~U{SWW U, W, S, W c (U{W{W)~SWW U, W, S, X c (U|S{X)~WWW U, W, T, O c (U{T)~(W{O)WW U, W, T, P c (U{T)~(W~P)WW U, W, T, S c (U~T|W)~SWW U, W, T, W c U~W{T~WWW U, W, U, P c (U{U|P)~WWW U, W, U, Q c (U~U{W)~QWW U, W, U, S c (U{W)~U{SWW U, W, U, W c (U{U)~W|WWW U, W, V, Q c U~(W{V)|QWW U, W, V, R c (U~R|V)~WWW U, W, V, X c U~(V{X)|WWW U, W, W, Q c U~W~Q|WWW U, W, W, R c (U{W|R)~WWW U, W, W, S c (U{W{W)~SWW U, W, W, T c U~W{W~TWW U, W, W, U c (U{U)~W|WWW U, W, W, W c U~(W{W)|WWW U, W, W, X c (W|U{X)~WWW U, W, X, R c (UR{X)~WWW U, W, X, S c (U{X|S)~WWW U, W, X, V c U~(X{V)|WWW U, W, X, W c (W|U{X)~WWW U, X, P, T c (U{T)~(X|P)WW U, X, P, X c U{X~X{PWW U, X, Q, Q c (U{Q)~(X{Q)WW U, X, Q, S c (U{S)~X|QWW U, X, Q, U c (U{X)~U|QWW U, X, R, V c (U{R)~X{VWW U, X, R, W c (UR{X)~WWW U, X, S, Q c (U{S)~X|QWW U, X, S, T c U~(X{T){SWW U, X, S, V c (U{X{V)~SWW U, X, S, W c (U{X|S)~WWW U, X, T, P c (U{T)~(X|P)WW U, X, T, S c U~(X{T){SWW U, X, U, Q c (U{X)~U|QWW U, X, V, R c (U{R)~X{VWW U, X, V, S c (U{X{V)~SWW U, X, V, W c U~(X{V)|WWW U, X, W, R c (UR{X)~WWW U, X, W, S c (U{X|S)~WWW U, X, W, V c U~(X{V)|WWW U, X, W, W c (X|U{W)~WWW U, X, X, P c U{X~X{PWW V, O, S, W c (V{O{S)~WWW V, O, W, S c (V{O{S)~WWW V, O, X, X c V{O{X~XWW V, P, Q, X c (V{P)~(Q{X)WW V, P, R, S c (V~R{P)~SWW V, P, R, W c (V{P{R)~WWW V, P, S, R c (V~R{P)~SWW V, P, S, V c (V{P)~(S{V)WW V, P, S, W c (V{P~S)~WWW V, P, S, X c (V{S)~(X|P)WW V, P, T, U c (V{P)~(T{U)WW V, P, T, W c (V|P{T)~WWW V, P, U, T c (V{P)~(U{T)WW V, P, V, S c (V{P)~(V{S)WW V, P, W, R c (V{P)~(W{R)WW V, P, W, S c (V{P~S)~WWW V, P, W, T c (V|P{T)~WWW V, P, W, X c V{(P{W)~XWW V, P, X, Q c (V{P)~(X{Q)WW V, P, X, S c (V{S)~(X|P)WW V, P, X, W c V{(P{W)~XWW V, P, X, X c V{P~X~XWW V, Q, P, X c (V{P)~(Q{X)WW V, Q, Q, U c (V~U{Q)~QWW V, Q, Q, W c (V{Q{Q)~WWW V, Q, R, W c (V~Q|R)~WWW V, Q, R, X c (V{R)~X|QWW V, Q, S, S c (V{S)~(Q~S)WW V, Q, S, U c V~Q~U{SWW V, Q, S, W c (V~Q{W)~SWW V, Q, T, V c (V~V|T)~QWW V, Q, T, X c (V~T{X)~QWW V, Q, U, Q c (V~U{Q)~QWW V, Q, U, S c V~Q~U{SWW V, Q, U, W c (V|Q{U)~WWW V, Q, V, T c (V~V|T)~QWW V, Q, V, X c V{(Q{V)~XWW V, Q, W, Q c (V{Q{Q)~WWW V, Q, W, R c (V~Q|R)~WWW V, Q, W, S c (V~Q{W)~SWW V, Q, W, U c (V|Q{U)~WWW V, Q, W, W c (V{WQ)~WWW V, Q, W, X c (Q~X|V)~WWW V, Q, X, P c (V{P)~(Q{X)WW V, Q, X, R c (V{R)~X|QWW V, Q, X, T c (V~T{X)~QWW V, Q, X, V c (V{Q)~X{VWW V, Q, X, W c (Q~X|V)~WWW V, R, P, S c (V~R{P)~SWW V, R, P, W c (V{R{P)~WWW V, R, Q, W c (V~Q|R)~WWW V, R, Q, X c (V{R)~X|QWW V, R, R, X c V{R~R~XWW V, R, S, P c (V~R{P)~SWW V, R, S, S c V~R~S{SWW V, R, S, T c (V{R~T)~SWW V, R, S, X c V~(R{X){SWW V, R, T, S c (V{R~T)~SWW V, R, T, W c V~(T{W)|RWW V, R, U, V c (V{U)~V|RWW V, R, U, W c (R~U|V)~WWW V, R, U, X c V{(R{U)~XWW V, R, V, U c V~(V{U)|RWW V, R, V, W c (V|R{V)~WWW V, R, W, P c (V{R{P)~WWW V, R, W, Q c (V~Q|R)~WWW V, R, W, T c V~(W{T)|RWW V, R, W, U c (R~U|V)~WWW V, R, W, V c (V|R{V)~WWW V, R, W, W c (V{R)~W{WWW V, R, X, Q c (V{R)~X|QWW V, R, X, R c V{R~X~RWW V, R, X, S c V~(R{X){SWW V, R, X, U c V{(R{U)~XWW V, S, O, W c (V{S{O)~WWW V, S, P, R c (V~R{P)~SWW V, S, P, V c (V{S)~(P{V)WW V, S, P, W c (V{S)~(P~W)WW V, S, P, X c (V{S)~(X|P)WW V, S, Q, S c (V{S)~(Q~S)WW V, S, Q, U c (V{S)~(Q{U)WW V, S, Q, W c (V~Q{W)~SWW V, S, R, P c (V~R{P)~SWW V, S, R, S c V~S~R{SWW V, S, R, T c (V{S)~(R{T)WW V, S, R, X c V~(S{X)|RWW V, S, S, Q c (V{S)~(S~Q)WW V, S, S, R c V~S~R{SWW V, S, S, S c (V{S)~(S{S)WW V, S, S, U c (V~S|U)~SWW V, S, S, W c V~(S{W){SWW V, S, T, R c (V{S)~(T{R)WW V, S, T, V c (V{T)~V{SWW V, S, T, X c V{(S{T)~XWW V, S, U, Q c (V{S)~(U{Q)WW V, S, U, S c (V~S|U)~SWW V, S, U, U c V~(U{U){SWW V, S, U, V c (V{V)~U{SWW V, S, U, X c (V{U{X)~SWW V, S, V, P c (V{S)~(V{P)WW V, S, V, T c V~(V{T){SWW V, S, V, U c (V{V)~U{SWW V, S, V, W c (V{V{W)~SWW V, S, W, O c (V{S)~(W{O)WW V, S, W, P c (V{S)~(W~P)WW V, S, W, Q c (V~Q{W)~SWW V, S, W, S c V~(S{W){SWW V, S, W, V c (V{W{V)~SWW V, S, W, W c (V|S{W)~WWW V, S, X, P c (V{S)~(X|P)WW V, S, X, R c V~(S{X)|RWW V, S, X, T c V{(S{T)~XWW V, S, X, U c (V{X{U)~SWW V, T, P, U c (V{P)~(T{U)WW V, T, P, W c (V{T|P)~WWW V, T, Q, V c (V~V|T)~QWW V, T, Q, X c (V~T{X)~QWW V, T, R, S c (V{T~R)~SWW V, T, R, W c V~(T{W)|RWW V, T, S, R c (V{T~R)~SWW V, T, S, V c (V{T)~V{SWW V, T, S, X c V{(T{S)~XWW V, T, T, X c V~X{T~TWW V, T, U, P c (V{P)~(T{U)WW V, T, V, Q c (V~V|T)~QWW V, T, V, S c (V{T)~V{SWW V, T, W, P c (V{T|P)~WWW V, T, W, R c V~(T{W)|RWW V, T, W, W c (V{T)~W|WWW V, T, W, X c (V|T{X)~WWW V, T, X, Q c (V~T{X)~QWW V, T, X, S c V{(T{S)~XWW V, T, X, T c V~X{T~TWW V, T, X, W c (V|T{X)~WWW V, U, P, T c (V{P)~(U{T)WW V, U, Q, Q c (V~U{Q)~QWW V, U, Q, S c V~U~Q{SWW V, U, Q, W c (V{U|Q)~WWW V, U, R, V c (V{U)~V|RWW V, U, R, W c (U~R|V)~WWW V, U, R, X c V{(U{R)~XWW V, U, S, Q c V~U~Q{SWW V, U, S, S c (V~S|U)~SWW V, U, S, U c V~(U{U){SWW V, U, S, V c (V{V)~U{SWW V, U, S, X c (V{U{X)~SWW V, U, T, P c (V{P)~(U{T)WW V, U, U, S c V~(U{U){SWW V, U, V, R c (V{U)~V|RWW V, U, V, S c (V{V)~U{SWW V, U, W, Q c (V{U|Q)~WWW V, U, W, R c (U~R|V)~WWW V, U, W, X c (V{X)~U|WWW V, U, X, R c V{(U{R)~XWW V, U, X, S c (V{U{X)~SWW V, U, X, W c (V{X)~U|WWW V, V, P, S c (V{P)~(V{S)WW V, V, Q, T c (V~V|T)~QWW V, V, Q, X c V{(V{Q)~XWW V, V, R, U c V~(V{U)|RWW V, V, R, W c (V{V|R)~WWW V, V, S, P c (V{S)~(V{P)WW V, V, S, T c V~(V{T){SWW V, V, S, U c (V{V)~U{SWW V, V, S, W c (V{V{W)~SWW V, V, T, Q c (V~V|T)~QWW V, V, T, S c V~(V{T){SWW V, V, U, R c V~(V{U)|RWW V, V, U, S c (V{V)~U{SWW V, V, W, R c (V{V|R)~WWW V, V, W, S c (V{V{W)~SWW V, V, X, Q c V{(V{Q)~XWW V, W, O, S c (V{O{S)~WWW V, W, P, R c (V{P)~(W{R)WW V, W, P, S c (V{P~S)~WWW V, W, P, T c (V|P{T)~WWW V, W, P, X c V{(W{P)~XWW V, W, Q, Q c (V{Q{Q)~WWW V, W, Q, R c (V~Q|R)~WWW V, W, Q, S c (V~Q{W)~SWW V, W, Q, U c (V{W)~U|QWW V, W, Q, W c (V{WQ)~WWW V, W, Q, X c W~(Q~X|V)WW V, W, R, P c (V{R{P)~WWW V, W, R, Q c (V~Q|R)~WWW V, W, R, T c V~(W{T)|RWW V, W, R, U c W~(R~U|V)WW V, W, R, V c (V|R{V)~WWW V, W, R, W c (V{R)~W{WWW V, W, S, O c (V{S)~(W{O)WW V, W, S, P c (V{S)~(W~P)WW V, W, S, Q c (V~Q{W)~SWW V, W, S, S c V~(W{S){SWW V, W, S, V c (V{W{V)~SWW V, W, S, W c (V{W|S)~WWW V, W, T, P c (V{T|P)~WWW V, W, T, R c V~(W{T)|RWW V, W, T, W c (V{T)~W|WWW V, W, T, X c (V|T{X)~WWW V, W, U, Q c (V{W)~U|QWW V, W, U, R c W~(U~R|V)WW V, W, U, X c (V{X)~U|WWW V, W, V, R c (V{V|R)~WWW V, W, V, S c (V{W{V)~SWW V, W, W, Q c (V{WQ)~WWW V, W, W, R c (V{R)~W{WWW V, W, W, S c V~W{W~SWW V, W, W, T c (V{T)~W|WWW V, W, X, P c V{(W{P)~XWW V, W, X, Q c W~(X~Q|V)WW V, W, X, T c (V{X|T)~WWW V, W, X, U c (V{X)~U|WWW V, W, X, X c V{W~X{XWW V, X, O, X c V{(X{O)~XWW V, X, P, Q c (V{P)~(X{Q)WW V, X, P, S c (V{S)~(X|P)WW V, X, P, W c V{X~(P{W)WW V, X, P, X c V{X~P~XWW V, X, Q, P c (V{P)~(X{Q)WW V, X, Q, R c (V{R)~X|QWW V, X, Q, T c (V~T{X)~QWW V, X, Q, V c V{X~(Q{V)WW V, X, Q, W c (X~Q|V)~WWW V, X, R, Q c (V{R)~X|QWW V, X, R, R c V{X~R~RWW V, X, R, S c V~(X{R){SWW V, X, R, U c V{X~(R{U)WW V, X, S, P c (V{S)~(X|P)WW V, X, S, R c V~(X{S)|RWW V, X, S, T c V{X~(S{T)WW V, X, S, U c (V{X{U)~SWW V, X, T, Q c (V~T{X)~QWW V, X, T, S c V{X~(T{S)WW V, X, T, T c V~X{T~TWW V, X, T, W c (V{X|T)~WWW V, X, U, R c V{X~(U{R)WW V, X, U, S c (V{X{U)~SWW V, X, U, W c (V{X)~U|WWW V, X, V, Q c V{X~(V{Q)WW V, X, W, P c V{X~(W{P)WW V, X, W, Q c (X~Q|V)~WWW V, X, W, T c (V{X|T)~WWW V, X, W, U c (V{X)~U|WWW V, X, W, X c V{X{W~XWW V, X, X, O c V{X~X{OWW V, X, X, P c V{X~X~PWW V, X, X, W c V{X{X~WWW V, X, X, X c (VX{X)~XWW W, O, Q, X c (W{O)~(Q{X)WW W, O, R, W c (W{O{R)~WWW W, O, S, V c (W{O)~(S{V)WW W, O, T, U c (W{O)~(T{U)WW W, O, U, T c (W{O)~(U{T)WW W, O, V, S c (W{O)~(V{S)WW W, O, W, R c (W{O)~(W{R)WW W, O, X, Q c (W{O)~(X{Q)WW W, P, P, X c W~(P{P{X)WW W, P, Q, T c W~(P{Q~T)WW W, P, Q, U c W~(Q~U|P)WW W, P, Q, W c (W{P{Q)~WWW W, P, Q, X c (W~P)~(Q{X)WW W, P, R, S c W~(R~S|P)WW W, P, R, V c W~(P{R{V)WW W, P, R, W c (W{P~R)~WWW W, P, R, X c W~(R|P{X)WW W, P, S, R c W~(S~R|P)WW W, P, S, U c W~(P{S{U)WW W, P, S, V c (W~P)~(S{V)WW W, P, S, W c (W|P{S)~WWW W, P, T, Q c W~(P{T~Q)WW W, P, T, T c W~(P{T{T)WW W, P, T, U c (W~P)~(T{U)WW W, P, T, V c W~(T|P{V)WW W, P, U, Q c W~(U~Q|P)WW W, P, U, S c W~(P{U{S)WW W, P, U, T c (W~P)~(U{T)WW W, P, U, U c W~(U|P{U)WW W, P, V, R c W~(P{V{R)WW W, P, V, S c (W~P)~(V{S)WW W, P, V, T c W~(V|P{T)WW W, P, V, X c (W{P)~X{VWW W, P, W, Q c W~(P{W{Q)WW W, P, W, R c (W~P)~(W{R)WW W, P, W, S c (W|P{S)~WWW W, P, W, X c W{(P{X)~WWW W, P, X, P c W~(P{X{P)WW W, P, X, Q c (W~P)~(X{Q)WW W, P, X, R c W~(X|P{R)WW W, P, X, V c (W{P)~X{VWW W, P, X, W c W{(P{X)~WWW W, P, X, X c W|P{X~XWW W, Q, O, X c W~(Q{O{X)WW W, Q, P, T c W~(Q~T{P)WW W, Q, P, U c W~(Q~U|P)WW W, Q, P, W c (W{Q{P)~WWW W, Q, P, X c W~(Q{P~X)WW W, Q, Q, V c W~(Q{Q{V)WW W, Q, Q, X c (W{Q)~X|QWW W, Q, R, R c W~(Q{R~R)WW W, Q, R, S c W~(Q~S{R)WW W, Q, R, T c W~(Q~R{T)WW W, Q, R, U c W~(Q{R{U)WW W, Q, R, V c W~(Q~V|R)WW W, Q, S, R c W~(Q~S{R)WW W, Q, S, T c W~(Q{S{T)WW W, Q, S, U c (W~Q{U)~SWW W, Q, S, V c (W{Q~V)~SWW W, Q, S, X c W~(S|Q{X)WW W, Q, T, P c W~(Q~T{P)WW W, Q, T, R c W~(Q~R{T)WW W, Q, T, S c W~(Q{T{S)WW W, Q, T, W c W{Q~T~WWW W, Q, U, P c W~(Q~U|P)WW W, Q, U, R c W~(Q{U{R)WW W, Q, U, S c (W~Q{U)~SWW W, Q, U, U c (W{U~U)~QWW W, Q, U, V c W~(U|Q{V)WW W, Q, U, W c W~Q~U|WWW W, Q, V, Q c W~(Q{V{Q)WW W, Q, V, R c W~(Q~V|R)WW W, Q, V, S c (W{Q~V)~SWW W, Q, V, U c W~(V|Q{U)WW W, Q, V, W c (WQ{V)~WWW W, Q, V, X c W~(Q~X|V)WW W, Q, W, P c W~(Q{W{P)WW W, Q, W, T c W{Q~W~TWW W, Q, W, U c W~Q~U|WWW W, Q, W, V c (WQ{V)~WWW W, Q, W, W c W{(Q{W)~WWW W, Q, W, X c W~Q{W~XWW W, Q, X, O c W~(Q{X){OWW W, Q, X, P c W~(Q{X)~PWW W, Q, X, Q c (W{Q)~X|QWW W, Q, X, S c W~(X|Q{S)WW W, Q, X, V c W~(Q~X|V)WW W, Q, X, W c W~Q{X~WWW W, R, O, W c (W{R{O)~WWW W, R, P, S c W~(R~S|P)WW W, R, P, V c (W{R)~(P{V)WW W, R, P, W c (W{R)~(P~W)WW W, R, P, X c W~(R|P{X)WW W, R, Q, R c W~(R~R{Q)WW W, R, Q, S c (W{R)~(Q~S)WW W, R, Q, T c W~(R~Q{T)WW W, R, Q, U c (W{R)~(Q{U)WW W, R, Q, V c W~(Q~V|R)WW W, R, R, Q c W~(R~R{Q)WW W, R, R, T c (W{R)~(R{T)WW W, R, S, P c W~(R~S|P)WW W, R, S, Q c (W{R)~(S~Q)WW W, R, S, S c (W{R)~(S{S)WW W, R, S, T c W~(R~T|S)WW W, R, S, W c W~R~S|WWW W, R, T, Q c W~(R~Q{T)WW W, R, T, R c (W{R)~(T{R)WW W, R, T, S c W~(R~T|S)WW W, R, T, V c (W{T)~V|RWW W, R, T, X c W~(T|R{X)WW W, R, U, Q c (W{R)~(U{Q)WW W, R, U, V c W~(R~U|V)WW W, R, U, W c (W|R{U)~WWW W, R, U, X c W~(UR{X)WW W, R, V, P c (W{R)~(V{P)WW W, R, V, Q c W~(V~Q|R)WW W, R, V, T c (W{T)~V|RWW W, R, V, U c W~(R~U|V)WW W, R, V, V c W~(V|R{V)WW W, R, V, W c W{(R{V)~WWW W, R, W, O c (W{R)~(W{O)WW W, R, W, P c (W{R)~(W~P)WW W, R, W, S c W~R~S|WWW W, R, W, U c (W|R{U)~WWW W, R, W, V c W{(R{V)~WWW W, R, W, W c W~R{W~WWW W, R, W, X c W~(R{X)|WWW W, R, X, P c (W{R)~(X|P)WW W, R, X, T c W~(X|R{T)WW W, R, X, U c W~(X{UR)WW W, R, X, W c W~(R{X)|WWW W, S, O, V c W~(S{O{V)WW W, S, P, R c W~(S~R|P)WW W, S, P, U c W~(S{P{U)WW W, S, P, V c W~(S{P~V)WW W, S, P, W c (W{S|P)~WWW W, S, Q, R c W~(S~Q{R)WW W, S, Q, T c W~(S{Q{T)WW W, S, Q, U c (W~Q{U)~SWW W, S, Q, V c (W{Q~V)~SWW W, S, Q, X c W~(S|Q{X)WW W, S, R, P c W~(S~R|P)WW W, S, R, Q c W~(S~Q{R)WW W, S, R, S c W~(S{R{S)WW W, S, R, T c W~(R~T|S)WW W, S, R, W c W~S~R|WWW W, S, S, R c W~(S{S{R)WW W, S, S, T c W{S~S~TWW W, S, S, U c S~S~U|WWW W, S, S, V c (W{S)~V{SWW W, S, S, X c W~X{S~SWW W, S, T, Q c W~(S{T{Q)WW W, S, T, R c W~(T~R|S)WW W, S, T, S c W{S~T~SWW W, S, T, U c S~(T~U|W)WW W, S, T, X c W~(S~T|X)WW W, S, U, P c W~(S{U{P)WW W, S, U, Q c (W~U|S)~QWW W, S, U, S c S~U~S|WWW W, S, U, T c S~(U~T|W)WW W, S, U, U c (W{U)~U{SWW W, S, U, W c W{(S{U)~WWW W, S, U, X c W~(U|S{X)WW W, S, V, O c W~(S{V){OWW W, S, V, P c W~(S{V)~PWW W, S, V, Q c (W{V~Q)~SWW W, S, V, S c (W{S)~V{SWW W, S, V, V c (W{V{V)~SWW W, S, V, W c (W|S{V)~WWW W, S, W, P c W~(S{W|P)WW W, S, W, R c W~S~R|WWW W, S, W, U c W{(S{U)~WWW W, S, W, V c W~S{W~VWW W, S, W, W c (W{S)~W|WWW W, S, W, X c (WS{X)~WWW W, S, X, Q c (W{S~X)~QWW W, S, X, S c W~X{S~SWW W, S, X, T c W~(S~T|X)WW W, S, X, U c W~(X|S{U)WW W, S, X, W c (WS{X)~WWW W, T, O, U c W~(T{O{U)WW W, T, P, Q c W~(T~Q{P)WW W, T, P, T c W~(T{P{T)WW W, T, P, U c W~(T{P~U)WW W, T, P, V c W~(T|P{V)WW W, T, Q, P c W~(T~Q{P)WW W, T, Q, R c W~(T{Q~R)WW W, T, Q, S c W~(T{Q{S)WW W, T, Q, W c (W{T|Q)~WWW W, T, R, Q c W~(T{R~Q)WW W, T, R, R c W~(T{R{R)WW W, T, R, S c W~(T~R|S)WW W, T, R, V c (W{T)~V|RWW W, T, R, X c W~(T|R{X)WW W, T, S, Q c W~(T{S{Q)WW W, T, S, R c W~(T~R|S)WW W, T, S, S c W{T~S~SWW W, T, S, U c (T~U|W)~SWW W, T, S, X c W~(T~S|X)WW W, T, T, P c W~(T{T{P)WW W, T, T, W c W{(T{T)~WWW W, T, U, O c W~(T{U){OWW W, T, U, P c W~(T{U)~PWW W, T, U, S c (T~U|W)~SWW W, T, U, W c W~T{U~WWW W, T, V, P c W~(T{V|P)WW W, T, V, R c (W{T)~V|RWW W, T, V, W c W~(T{V)|WWW W, T, V, X c W{T~(V{X)WW W, T, W, Q c W{T~W~QWW W, T, W, T c W{(T{T)~WWW W, T, W, U c W~T{W~UWW W, T, W, V c W~(T{V)|WWW W, T, W, W c W{T~(W{W)WW W, T, X, R c W~(T{X|R)WW W, T, X, S c (W{T{X)~SWW W, T, X, V c W{T~(X{V)WW W, U, O, T c W~(U{O{T)WW W, U, P, Q c W~(U~Q|P)WW W, U, P, S c W~(U{P{S)WW W, U, P, T c W~(U{P~T)WW W, U, P, U c W~(U|P{U)WW W, U, Q, P c W~(U~Q|P)WW W, U, Q, R c W~(U{Q{R)WW W, U, Q, S c (W~U|S)~QWW W, U, Q, U c (W{U~U)~QWW W, U, Q, V c W~(U|Q{V)WW W, U, Q, W c (W{UQ)~WWW W, U, R, Q c W~(U{R{Q)WW W, U, R, V c W~(U~R|V)WW W, U, R, W c (W{U|R)~WWW W, U, R, X c W~(UR{X)WW W, U, S, P c W~(U{S{P)WW W, U, S, Q c (W~U|S)~QWW W, U, S, S c U~S~S|WWW W, U, S, T c (U~T|W)~SWW W, U, S, U c (W{U)~U{SWW W, U, S, W c W{(U{S)~WWW W, U, S, X c W~(U|S{X)WW W, U, T, O c W~(U{T){OWW W, U, T, P c W~(U{T)~PWW W, U, T, S c (U~T|W)~SWW W, U, T, W c W~U{T~WWW W, U, U, P c W~(U{U|P)WW W, U, U, Q c (W{U~U)~QWW W, U, U, S c (W{U)~U{SWW W, U, U, W c W~(U{U)|WWW W, U, V, Q c W~(U{V|Q)WW W, U, V, R c W~(U~R|V)WW W, U, V, X c U~(V{X)|WWW W, U, W, Q c (W{UQ)~WWW W, U, W, R c W~(U{W|R)WW W, U, W, S c (W{U{W)~SWW W, U, W, T c W~U{W~TWW W, U, W, U c W~(U{U)|WWW W, U, W, W c (W{W)~U|WWW W, U, W, X c (W|U{X)~WWW W, U, X, R c W~(UR{X)WW W, U, X, S c W~(U{X|S)WW W, U, X, V c U~(X{V)|WWW W, U, X, W c (W|U{X)~WWW W, V, O, S c W~(V{O{S)WW W, V, P, R c W~(V{P{R)WW W, V, P, S c W~(V{P~S)WW W, V, P, T c W~(V|P{T)WW W, V, P, X c (W{P)~X{VWW W, V, Q, Q c W~(V{Q{Q)WW W, V, Q, R c W~(V~Q|R)WW W, V, Q, S c (W{V~Q)~SWW W, V, Q, U c W~(V|Q{U)WW W, V, Q, W c W~(V{WQ)WW W, V, Q, X c W~(Q~X|V)WW W, V, R, P c W~(V{R{P)WW W, V, R, Q c W~(V~Q|R)WW W, V, R, T c (W{T)~V|RWW W, V, R, U c W~(R~U|V)WW W, V, R, V c W~(V|R{V)WW W, V, R, W c W{(V{R)~WWW W, V, S, O c W~(V{S){OWW W, V, S, P c W~(V{S)~PWW W, V, S, Q c (W{V~Q)~SWW W, V, S, S c (W{S)~V{SWW W, V, S, V c (W{V{V)~SWW W, V, S, W c (W{V|S)~WWW W, V, T, P c W~(V{T|P)WW W, V, T, R c (W{T)~V|RWW W, V, T, W c W~(V{T)|WWW W, V, T, X c W~(V|T{X)WW W, V, U, Q c (W{V)~U|QWW W, V, U, R c W~(U~R|V)WW W, V, U, X c (V{X)~U|WWW W, V, V, R c W~(V{V|R)WW W, V, V, S c (W{V{V)~SWW W, V, W, Q c W~(V{WQ)WW W, V, W, R c W{(V{R)~WWW W, V, W, S c W~(V{W|S)WW W, V, W, T c W~(V{T)|WWW W, V, X, P c (W{P)~X{VWW W, V, X, Q c W~(X~Q|V)WW W, V, X, T c W{(V{X)~TWW W, V, X, U c (V{X)~U|WWW W, V, X, X c W~X{V{XWW W, W, O, R c W~(W{O{R)WW W, W, P, Q c W~(W{P{Q)WW W, W, P, R c W~(W{P~R)WW W, W, P, S c W~(W|P{S)WW W, W, P, X c W{W~(P{X)WW W, W, Q, P c W~(W{Q{P)WW W, W, Q, T c W{W~Q~TWW W, W, Q, U c W~(W{UQ)WW W, W, Q, V c W~(WQ{V)WW W, W, Q, W c W{(W{Q)~WWW W, W, Q, X c W~Q{W~XWW W, W, R, O c W~(W{R){OWW W, W, R, P c W~(W{R)~PWW W, W, R, S c W~R~S|WWW W, W, R, U c W~(W|R{U)WW W, W, R, V c W{W~(R{V)WW W, W, R, W c W~W{R~WWW W, W, R, X c W~(W{XR)WW W, W, S, P c W~(W{S|P)WW W, W, S, R c W~S~R|WWW W, W, S, U c W{W~(S{U)WW W, W, S, V c W~(W|S{V)WW W, W, S, W c W~(W{S)|WWW W, W, S, X c W~(WS{X)WW W, W, T, Q c W{W~T~QWW W, W, T, T c W{W~(T{T)WW W, W, T, U c W~T{W~UWW W, W, T, V c W~(T{V)|WWW W, W, T, W c (W{W|T)~WWW W, W, U, Q c W~(W{UQ)WW W, W, U, R c W~(W{U|R)WW W, W, U, S c (W{W{U)~SWW W, W, U, T c W~U{W~TWW W, W, U, U c W~(U{U)|WWW W, W, U, W c (W{W)~U|WWW W, W, U, X c W~(W|U{X)WW W, W, V, Q c W~(WQ{V)WW W, W, V, R c W{W~(V{R)WW W, W, V, S c W~(W{V|S)WW W, W, V, T c W~(V{T)|WWW W, W, W, Q c W{W~(W{Q)WW W, W, W, R c W~W{W~RWW W, W, W, S c W~(W{S)|WWW W, W, W, T c W{(W{W)~TWW W, W, W, U c (W{W)~U|WWW W, W, W, X c W{W{W~XWW W, W, X, P c W{W~(X{P)WW W, W, X, Q c W~X{W~QWW W, W, X, R c W~(W{XR)WW W, W, X, S c W~(WS{X)WW W, W, X, U c W~(W{X|U)WW W, W, X, W c W{W{X~WWW W, X, O, Q c W~(X{O{Q)WW W, X, P, P c W~(X{P{P)WW W, X, P, Q c W~(X{P~Q)WW W, X, P, R c W~(X|P{R)WW W, X, P, V c (W{P)~X{VWW W, X, P, W c W{(X{P)~WWW W, X, P, X c W{X~X|PWW W, X, Q, O c W~(X{Q){OWW W, X, Q, P c W~(X{Q)~PWW W, X, Q, Q c (W{Q)~X|QWW W, X, Q, S c W~(X|Q{S)WW W, X, Q, V c W~(X~Q|V)WW W, X, Q, W c W~X{Q~WWW W, X, R, P c W~(X{R|P)WW W, X, R, T c W~(X|R{T)WW W, X, R, U c W~(X{UR)WW W, X, R, W c (W{XR)~WWW W, X, S, Q c (W{X~S)~QWW W, X, S, S c W~X{S~SWW W, X, S, T c (W{X{T)~SWW W, X, S, U c W~(X|S{U)WW W, X, S, W c W~(X{WS)WW W, X, T, R c (W{X)~T{RWW W, X, T, S c (W{X{T)~SWW W, X, T, V c W~(X|T{V)WW W, X, U, R c W~(X{UR)WW W, X, U, S c W~(X{U|S)WW W, X, U, V c (X{V)~U|WWW W, X, U, W c (W{X|U)~WWW W, X, V, P c (W{P)~X{VWW W, X, V, Q c W~(X~Q|V)WW W, X, V, T c W{(X{V)~TWW W, X, V, U c (X{V)~U|WWW W, X, V, X c W~X{V{XWW W, X, W, P c W{(X{P)~WWW W, X, W, Q c W~X{W~QWW W, X, W, R c (W{XR)~WWW W, X, W, S c W~(X{WS)WW W, X, W, U c W~(X{W|U)WW W, X, W, W c W{X~W{WWW W, X, X, P c W{X~X|PWW W, X, X, V c W~X{X{VWW X, O, Q, W c (X{O{Q)~WWW X, O, V, X c (X{O)~X{VWW X, O, W, Q c (X{O{Q)~WWW X, O, X, V c (X{O)~X{VWW X, P, P, W c (X{P{P)~WWW X, P, Q, T c (X~T|P)~QWW X, P, Q, V c (X{Q)~(P{V)WW X, P, Q, W c (X{P~Q)~WWW X, P, Q, X c (X|P)~(Q{X)WW X, P, R, W c (X|P{R)~WWW X, P, S, V c (X|P)~(S{V)WW X, P, T, Q c (X~T|P)~QWW X, P, T, U c (X|P)~(T{U)WW X, P, U, T c (X|P)~(U{T)WW X, P, U, X c X~X{P{UWW X, P, V, Q c (X{Q)~(P{V)WW X, P, V, S c (X|P)~(V{S)WW X, P, V, W c X~(P{W){VWW X, P, V, X c X~P~X{VWW X, P, W, P c (X{P{P)~WWW X, P, W, Q c (X{P~Q)~WWW X, P, W, R c (X|P)~(W{R)WW X, P, W, V c X~(P{W){VWW X, P, W, W c (X{P)~W{WWW X, P, W, X c X~X|P{WWW X, P, X, Q c (X{P)~X|QWW X, P, X, U c X~X{P{UWW X, P, X, V c X~P~X{VWW X, P, X, W c X~X|P{WWW X, Q, O, W c (X{Q{O)~WWW X, Q, P, T c (X~T|P)~QWW X, Q, P, V c (X{Q)~(P{V)WW X, Q, P, W c (X{Q)~(P~W)WW X, Q, P, X c (X{Q)~(X|P)WW X, Q, Q, S c (X{Q)~(Q~S)WW X, Q, Q, T c X~Q~T|QWW X, Q, Q, U c (X{Q)~(Q{U)WW X, Q, Q, W c X~(Q{W)|QWW X, Q, R, T c (X{Q)~(R{T)WW X, Q, R, V c X~(R{V)|QWW X, Q, S, Q c (X{Q)~(S~Q)WW X, Q, S, S c (X{Q)~(S{S)WW X, Q, S, U c X~(S{U)|QWW X, Q, S, W c (X|Q{S)~WWW X, Q, T, P c (X~T|P)~QWW X, Q, T, Q c X~Q~T|QWW X, Q, T, R c (X{Q)~(T{R)WW X, Q, T, T c X~(T{T)|QWW X, Q, T, V c (X{T~V)~QWW X, Q, T, X c X~X{Q{TWW X, Q, U, Q c (X{Q)~(U{Q)WW X, Q, U, S c X~(U{S)|QWW X, Q, U, U c (X{U)~U|QWW X, Q, V, P c (X{Q)~(V{P)WW X, Q, V, R c X~(V{R)|QWW X, Q, V, T c (X{V~T)~QWW X, Q, V, V c X~(Q{V){VWW X, Q, V, W c (X~Q|V)~WWW X, Q, W, O c (X{Q)~(W{O)WW X, Q, W, P c (X{Q)~(W~P)WW X, Q, W, Q c X~(Q{W)|QWW X, Q, W, S c (X|Q{S)~WWW X, Q, W, V c (X~Q|V)~WWW X, Q, W, W c X~W{Q~WWW X, Q, X, P c (X{Q)~(X|P)WW X, Q, X, T c X~X{Q{TWW X, Q, X, X c X|Q{X~XWW X, R, P, W c (X{R|P)~WWW X, R, Q, T c (X{Q)~(R{T)WW X, R, Q, V c X~(R{V)|QWW X, R, R, V c X~R~R{VWW X, R, S, T c (X~R|T)~SWW X, R, S, V c (X{R)~V{SWW X, R, S, X c X~X{R{SWW X, R, T, Q c (X{Q)~(R{T)WW X, R, T, S c (X~R|T)~SWW X, R, T, W c (X|R{T)~WWW X, R, U, V c X~(R{U){VWW X, R, U, W c (X{UR)~WWW X, R, V, Q c X~(R{V)|QWW X, R, V, R c X~R~R{VWW X, R, V, S c (X{R)~V{SWW X, R, V, U c X~(R{U){VWW X, R, W, P c (X{R|P)~WWW X, R, W, T c (X|R{T)~WWW X, R, W, U c (X{UR)~WWW X, R, W, W c (X{R)~W|WWW X, R, X, S c X~X{R{SWW X, S, P, V c (X|P)~(S{V)WW X, S, Q, Q c (X{Q)~(S~Q)WW X, S, Q, S c (X{Q)~(S{S)WW X, S, Q, U c X~(S{U)|QWW X, S, Q, W c (X{S|Q)~WWW X, S, R, T c (X~R|T)~SWW X, S, R, V c (X{S)~V|RWW X, S, R, X c X~X{S{RWW X, S, S, Q c (X{Q)~(S{S)WW X, S, S, W c X~W{S~SWW X, S, S, X c (X{S{X)~SWW X, S, T, R c (X~R|T)~SWW X, S, T, U c (X{T)~U{SWW X, S, T, V c X~(S{T){VWW X, S, T, W c (X{T{W)~SWW X, S, U, Q c X~(S{U)|QWW X, S, U, T c (X{T)~U{SWW X, S, U, V c (X{U{V)~SWW X, S, U, W c (X|S{U)~WWW X, S, V, P c (X|P)~(S{V)WW X, S, V, R c (X{S)~V|RWW X, S, V, T c X~(S{T){VWW X, S, V, U c (X{V{U)~SWW X, S, W, Q c (X~S{W)~QWW X, S, W, S c X~W{S~SWW X, S, W, T c (X{W{T)~SWW X, S, W, U c (X|S{U)~WWW X, S, W, W c (X{WS)~WWW X, S, X, R c X~X{S{RWW X, S, X, S c (X{S{X)~SWW X, T, P, Q c (X~T|P)~QWW X, T, P, U c (X|P)~(T{U)WW X, T, Q, P c (X~T|P)~QWW X, T, Q, Q c X~T~Q|QWW X, T, Q, R c (X{Q)~(T{R)WW X, T, Q, T c X~(T{T)|QWW X, T, Q, V c (X{T~V)~QWW X, T, Q, X c (X{X)~T|QWW X, T, R, Q c (X{Q)~(T{R)WW X, T, R, S c (X~R|T)~SWW X, T, R, W c (X{T|R)~WWW X, T, S, R c (X~R|T)~SWW X, T, S, U c (X{T)~U{SWW X, T, S, V c X~(T{S){VWW X, T, S, W c (X{T{W)~SWW X, T, T, Q c X~(T{T)|QWW X, T, T, V c X~V{T~TWW X, T, U, P c (X|P)~(T{U)WW X, T, U, S c (X{T)~U{SWW X, T, V, Q c (X{T~V)~QWW X, T, V, S c X~(T{S){VWW X, T, V, T c X~V{T~TWW X, T, V, W c (X|T{V)~WWW X, T, W, R c (X{T|R)~WWW X, T, W, S c (X{T{W)~SWW X, T, W, V c (X|T{V)~WWW X, T, X, Q c (X{X)~T|QWW X, U, P, T c (X|P)~(U{T)WW X, U, P, X c X~X{U{PWW X, U, Q, Q c (X{Q)~(U{Q)WW X, U, Q, S c X~(U{S)|QWW X, U, Q, U c (X{U)~U|QWW X, U, R, V c X~(U{R){VWW X, U, R, W c (X{UR)~WWW X, U, S, Q c X~(U{S)|QWW X, U, S, T c (X{T)~U{SWW X, U, S, V c (X{U{V)~SWW X, U, S, W c (X{U|S)~WWW X, U, T, P c (X|P)~(U{T)WW X, U, T, S c (X{T)~U{SWW X, U, U, Q c (X{U)~U|QWW X, U, V, R c X~(U{R){VWW X, U, V, S c (X{U{V)~SWW X, U, V, W c (X{V)~U|WWW X, U, W, R c (X{UR)~WWW X, U, W, S c (X{U|S)~WWW X, U, W, V c (X{V)~U|WWW X, U, W, W c (X|U{W)~WWW X, U, X, P c X~X{U{PWW X, V, O, X c (X{O)~X{VWW X, V, P, Q c (X{Q)~(V{P)WW X, V, P, S c (X|P)~(V{S)WW X, V, P, W c X~(P{W){VWW X, V, P, X c X~P~X{VWW X, V, Q, P c (X{Q)~(V{P)WW X, V, Q, R c X~(V{R)|QWW X, V, Q, T c (X{V~T)~QWW X, V, Q, V c X~(V{Q){VWW X, V, Q, W c (X~Q|V)~WWW X, V, R, Q c X~(V{R)|QWW X, V, R, R c X~R~R{VWW X, V, R, S c (X{R)~V{SWW X, V, R, U c X~(R{U){VWW X, V, S, P c (X|P)~(V{S)WW X, V, S, R c (X{S)~V|RWW X, V, S, T c X~(S{T){VWW X, V, S, U c (X{V{U)~SWW X, V, T, Q c (X{V~T)~QWW X, V, T, S c X~(T{S){VWW X, V, T, T c X~V{T~TWW X, V, T, W c (X{V|T)~WWW X, V, U, R c X~(U{R){VWW X, V, U, S c (X{V{U)~SWW X, V, U, W c (X{V)~U|WWW X, V, V, Q c X~(V{Q){VWW X, V, W, P c X~(W{P){VWW X, V, W, Q c (X~Q|V)~WWW X, V, W, T c (X{V|T)~WWW X, V, W, U c (X{V)~U|WWW X, V, W, X c X{V{W~XWW X, V, X, O c X~X{V{OWW X, V, X, P c X~X{V~PWW X, V, X, W c X{V{X~WWW X, V, X, X c (X{VX)~XWW X, W, O, Q c (X{O{Q)~WWW X, W, P, P c (X{P{P)~WWW X, W, P, Q c (X{P~Q)~WWW X, W, P, R c (X|P)~(W{R)WW X, W, P, V c X~(W{P){VWW X, W, P, W c (X{P)~W{WWW X, W, P, X c X~X{W|PWW X, W, Q, O c (X{Q)~(W{O)WW X, W, Q, P c (X{Q)~(W~P)WW X, W, Q, Q c X~(W{Q)|QWW X, W, Q, S c (X|Q{S)~WWW X, W, Q, V c (X~Q|V)~WWW X, W, Q, W c X~W{Q~WWW X, W, R, P c (X{R|P)~WWW X, W, R, T c (X{W)~T{RWW X, W, R, U c (X{UR)~WWW X, W, R, W c (X{R)~W|WWW X, W, S, Q c (X~S{W)~QWW X, W, S, S c X~W{S~SWW X, W, S, T c (X{W{T)~SWW X, W, S, U c (X|S{U)~WWW X, W, S, W c (X{WS)~WWW X, W, T, R c (X{W)~T{RWW X, W, T, S c (X{W{T)~SWW X, W, T, V c (X|T{V)~WWW X, W, U, R c (X{UR)~WWW X, W, U, S c (X{U|S)~WWW X, W, U, V c (X{V)~U|WWW X, W, U, W c (X{W|U)~WWW X, W, V, P c X~(W{P){VWW X, W, V, Q c (X~Q|V)~WWW X, W, V, T c (X{V|T)~WWW X, W, V, U c (X{V)~U|WWW X, W, V, X c X~W{V{XWW X, W, W, P c (X{P)~W{WWW X, W, W, Q c X~W{W~QWW X, W, W, R c (X{R)~W|WWW X, W, W, S c (X{WS)~WWW X, W, W, U c (X{W|U)~WWW X, W, W, W c X~W{W{WWW X, W, X, P c X~X{W|PWW X, W, X, V c X{W~X{VWW X, X, O, V c X~X{O{VWW X, X, P, Q c X~(X{P)|QWW X, X, P, U c X~X{P{UWW X, X, P, V c X~X{P~VWW X, X, P, W c X~X|P{WWW X, X, Q, P c X~(X{P)|QWW X, X, Q, T c X~X{Q{TWW X, X, Q, X c X~X|Q{XWW X, X, R, S c X~X{R{SWW X, X, S, R c X~X{S{RWW X, X, S, S c (X{X{S)~SWW X, X, T, Q c (X{X)~T|QWW X, X, U, P c X~X{U{PWW X, X, V, O c X~X{V{OWW X, X, V, P c X~X{V~PWW X, X, V, W c (X{X|V)~WWW X, X, V, X c X~(X{VX)WW X, X, W, P c X~X{W|PWW X, X, W, V c X{X~W{VWW X, X, X, Q c X{X~X|QWW X, X, X, V c X~(X{VX)WW