O, P, W, W c O{P{W~WUT O, Q, V, X c O{Q{V~XUT O, Q, X, V c O{Q{X~VUT O, S, T, X c (O{S{X)~TUT O, S, X, T c (O{S{X)~TUT O, T, S, X c (O{T)~(S{X)UT O, T, T, W c (O{T)~(T{W)UT O, T, U, V c (O{T)~(U{V)UT O, T, V, U c (O{T)~(V{U)UT O, T, W, T c (O{T{W)~TUT O, T, X, S c (O{T)~(X{S)UT O, U, T, V c (O{U{V)~TUT O, U, V, T c (O{U{V)~TUT O, V, Q, X c O{V~X{QUT O, V, T, U c (O{V{U)~TUT O, V, U, T c (O{V{U)~TUT O, V, W, X c O{V~W{XUT O, V, X, Q c O{V~X{QUT O, V, X, W c O{V~W{XUT O, W, P, W c O{W~W{PUT O, W, T, T c (O{W{T)~TUT O, W, V, X c O{W~V{XUT O, W, W, P c O{W~W{PUT O, W, X, V c O{W~X|VUT O, X, Q, V c O{X~V{QUT O, X, S, T c (O{X{S)~TUT O, X, T, S c (O{X{S)~TUT O, X, V, Q c O{X~V{QUT O, X, V, W c O{X{V~WUT O, X, W, V c O{X{W~VUT P, O, W, W c P{O{W~WUT P, P, V, W c P{(P{V)~WUT P, P, V, X c P{P{V~XUT P, P, W, V c P{(P{V)~WUT P, P, W, W c P{P~W~WUT P, P, W, X c P{W~(X|P)UT P, P, X, V c P{P{X~VUT P, P, X, W c P{(X|P)~WUT P, Q, S, W c P{Q~S~WUT P, Q, T, U c (P{Q~U)~TUT P, Q, T, V c (Q~V|P)~TUT P, Q, U, T c (P{Q~U)~TUT P, Q, U, W c P{(Q{U)~WUT P, Q, U, X c (P{U)~X{QUT P, Q, V, T c (Q~V|P)~TUT P, Q, V, W c (P{W)~V{QUT P, Q, V, X c P~Q{V~XUT P, Q, W, S c P{Q~W~SUT P, Q, W, U c P{(Q{U)~WUT P, Q, W, V c (P{W)~V{QUT P, Q, W, W c Q|P{W~WUT P, Q, W, X c Q{(W|P)~XUT P, Q, X, U c (P{U)~X{QUT P, Q, X, V c P~Q{X~VUT P, Q, X, W c Q{X~(W|P)UT P, R, S, T c (P{R~S)~TUT P, R, T, S c (P{R~S)~TUT P, R, T, W c P{(R{T)~WUT P, R, T, X c (P{R{X)~TUT P, R, U, W c (R{W)~U|PUT P, R, V, X c R|P{V~XUT P, R, W, T c P{(R{T)~WUT P, R, W, U c (R{W)~U|PUT P, R, X, T c (P{R{X)~TUT P, R, X, V c R|P{X~VUT P, S, Q, W c P{S~Q~WUT P, S, R, T c (P{S~R)~TUT P, S, S, S c P{S~S~SUT P, S, S, W c P{(S{S)~WUT P, S, S, X c (P{S)~(S{X)UT P, S, T, R c (P{S~R)~TUT P, S, T, W c (P{S)~(T{W)UT P, S, T, X c (P~S{X)~TUT P, S, U, V c (P{S)~(U{V)UT P, S, U, X c (S{X)~(U|P)UT P, S, V, U c (P{S)~(V{U)UT P, S, V, X c P{S~(V{X)UT P, S, W, Q c P{S~W~QUT P, S, W, S c P{(S{S)~WUT P, S, W, T c (P{S{W)~TUT P, S, W, W c P{S~(W{W)UT P, S, X, S c (P{S)~(X{S)UT P, S, X, T c (P~S{X)~TUT P, S, X, U c (S{X)~(U|P)UT P, S, X, V c P{S~(X{V)UT P, T, Q, U c (P{Q~U)~TUT P, T, Q, V c T~(Q~V|P)UT P, T, R, S c (P{R~S)~TUT P, T, R, W c P{(T{R)~WUT P, T, R, X c (P{R{X)~TUT P, T, S, R c (P{S~R)~TUT P, T, S, W c (P{S)~(T{W)UT P, T, S, X c (P~T)~(S{X)UT P, T, T, V c (P{T{V)~TUT P, T, T, W c (P~T)~(T{W)UT P, T, T, X c (T|P{X)~TUT P, T, U, Q c (P{U~Q)~TUT P, T, U, U c (P{U{U)~TUT P, T, U, V c (P~T)~(U{V)UT P, T, U, W c T~(U|P{W)UT P, T, U, X c (P{X)~U{TUT P, T, V, Q c T~(V~Q|P)UT P, T, V, T c (P{T{V)~TUT P, T, V, U c (P~T)~(V{U)UT P, T, V, V c T~(V|P{V)UT P, T, V, X c (P{X)~V|TUT P, T, W, R c P{(T{R)~WUT P, T, W, S c (P{W{S)~TUT P, T, W, T c (P~T{W)~TUT P, T, W, U c T~(W|P{U)UT P, T, X, R c (P{X{R)~TUT P, T, X, S c (P~T)~(X{S)UT P, T, X, T c (T|P{X)~TUT P, T, X, U c (P{X)~U{TUT P, T, X, V c (P{X)~V|TUT P, U, Q, T c (P{U~Q)~TUT P, U, Q, W c P{(U{Q)~WUT P, U, Q, X c (P{U)~X{QUT P, U, R, W c U~(R{W)|PUT P, U, S, V c (P{S)~(U{V)UT P, U, S, X c (U|P)~(S{X)UT P, U, T, Q c (P{U~Q)~TUT P, U, T, U c (P{U{U)~TUT P, U, T, V c (P~U{V)~TUT P, U, T, W c (U|P)~(T{W)UT P, U, T, X c (P{X)~U{TUT P, U, U, T c (P{U{U)~TUT P, U, U, V c (U|P)~(U{V)UT P, U, V, S c (P{S)~(U{V)UT P, U, V, T c (P~U{V)~TUT P, U, V, U c (U|P)~(V{U)UT P, U, W, Q c P{(U{Q)~WUT P, U, W, R c U~(W{R)|PUT P, U, W, T c (U|P{W)~TUT P, U, W, X c (P{U)~W{XUT P, U, X, Q c (P{U)~X{QUT P, U, X, S c (U|P)~(X{S)UT P, U, X, T c (P{X)~U{TUT P, U, X, W c (P{U)~W{XUT P, V, P, W c P{(V{P)~WUT P, V, P, X c P{V~X{PUT P, V, Q, T c (V~Q|P)~TUT P, V, Q, W c (P{W)~V{QUT P, V, Q, X c P~V~X{QUT P, V, R, X c V~X|P{RUT P, V, S, U c (P{S)~(V{U)UT P, V, S, X c P{(V{X)~SUT P, V, T, Q c (V~Q|P)~TUT P, V, T, T c (P{V{T)~TUT P, V, T, U c (P~V{U)~TUT P, V, T, V c (V|P{V)~TUT P, V, T, X c (P{X)~V|TUT P, V, U, S c (P{S)~(V{U)UT P, V, U, T c (P~V{U)~TUT P, V, U, U c (V{U)~(U|P)UT P, V, V, T c (V|P{V)~TUT P, V, V, X c (P{V)~V{XUT P, V, W, P c (P{V)~W{PUT P, V, W, Q c (P{W)~V{QUT P, V, W, W c P{V~W{WUT P, V, W, X c P~V~W{XUT P, V, X, P c P{V~X{PUT P, V, X, Q c P~V~X{QUT P, V, X, R c V~X|P{RUT P, V, X, S c P{(V{X)~SUT P, V, X, T c (P{X)~V|TUT P, V, X, V c (P{V)~X|VUT P, V, X, W c P~V~W{XUT P, V, X, X c V~(X|P){XUT P, W, O, W c P{(W{O)~WUT P, W, P, V c P{W~(P{V)UT P, W, P, W c P{W~P~WUT P, W, P, X c P{W~(X|P)UT P, W, Q, S c P{W~Q~SUT P, W, Q, U c P{W~(Q{U)UT P, W, Q, V c (P{W)~V{QUT P, W, Q, W c W~W|P{QUT P, W, Q, X c (W|P)~X{QUT P, W, R, T c P{W~(R{T)UT P, W, R, U c (W{R)~U|PUT P, W, S, Q c P{W~S~QUT P, W, S, S c P{W~(S{S)UT P, W, S, T c (P{W{S)~TUT P, W, S, W c P{(W{W)~SUT P, W, T, R c P{W~(T{R)UT P, W, T, S c (P{W{S)~TUT P, W, T, T c (P~W{T)~TUT P, W, T, U c (W|P{U)~TUT P, W, U, Q c P{W~(U{Q)UT P, W, U, R c (W{R)~U|PUT P, W, U, T c (W|P{U)~TUT P, W, U, X c (P{U)~W{XUT P, W, V, P c P{W~(V{P)UT P, W, V, Q c (P{W)~V{QUT P, W, V, W c P{W{V~WUT P, W, V, X c P~W~V{XUT P, W, W, O c P{W~W{OUT P, W, W, P c P{W~W~PUT P, W, W, Q c W~W|P{QUT P, W, W, S c P{(W{W)~SUT P, W, W, V c P{W{W~VUT P, W, W, W c (PW{W)~WUT P, W, W, X c P{W~X|WUT P, W, X, P c P{W~(X|P)UT P, W, X, Q c (W|P)~X{QUT P, W, X, U c (P{U)~W{XUT P, W, X, V c P~W~X|VUT P, W, X, W c P{W~X|WUT P, X, P, V c P{X~V{PUT P, X, P, W c P{(X|P)~WUT P, X, Q, U c (P{U)~X{QUT P, X, Q, V c P~X~V{QUT P, X, Q, W c X~(W|P){QUT P, X, R, T c (P{X{R)~TUT P, X, R, V c X~V|P{RUT P, X, S, S c (P{S)~(X{S)UT P, X, S, T c (P~X{S)~TUT P, X, S, U c (X{S)~(U|P)UT P, X, S, V c P{(X{V)~SUT P, X, T, R c (P{X{R)~TUT P, X, T, S c (P~X{S)~TUT P, X, T, T c (X|P{T)~TUT P, X, T, U c (P{X)~U{TUT P, X, T, V c (P{X)~V|TUT P, X, U, Q c (P{U)~X{QUT P, X, U, S c (X{S)~(U|P)UT P, X, U, T c (P{X)~U{TUT P, X, U, W c (P{U)~W{XUT P, X, V, P c P{X~V{PUT P, X, V, Q c P~X~V{QUT P, X, V, R c X~V|P{RUT P, X, V, S c P{(X{V)~SUT P, X, V, T c (P{X)~V|TUT P, X, V, V c (P{V)~X|VUT P, X, V, W c P~X{V~WUT P, X, V, X c (X|P)~V{XUT P, X, W, P c P{(X|P)~WUT P, X, W, Q c X~(W|P){QUT P, X, W, U c (P{U)~W{XUT P, X, W, V c P~X{W~VUT P, X, W, W c P{X~W|WUT P, X, X, V c (X|P)~X|VUT Q, O, V, X c Q{O{V~XUT Q, O, X, V c Q{O{X~VUT Q, P, S, W c Q~S~W{PUT Q, P, T, U c (Q~U{P)~TUT Q, P, T, V c (Q~V|P)~TUT Q, P, U, T c (Q~U{P)~TUT Q, P, U, W c (Q{U)~W{PUT Q, P, U, X c Q{(P{U)~XUT Q, P, V, T c (Q~V|P)~TUT Q, P, V, W c Q{(P{W)~VUT Q, P, V, X c Q{P~V~XUT Q, P, W, S c Q~W~S{PUT Q, P, W, U c (Q{U)~W{PUT Q, P, W, V c Q{(P{W)~VUT Q, P, W, W c Q|P{W~WUT Q, P, W, X c Q{(W|P)~XUT Q, P, X, U c Q{(P{U)~XUT Q, P, X, V c Q{P~X~VUT Q, P, X, W c Q{X~(W|P)UT Q, Q, T, X c Q{(Q{T)~XUT Q, Q, V, V c Q{(Q{V)~VUT Q, Q, W, W c QQ{W~WUT Q, Q, X, T c (Q{Q{X)~TUT Q, Q, X, X c Q{(X|Q)~XUT Q, R, R, V c Q{R~R~VUT Q, R, S, X c Q{(R{S)~XUT Q, R, T, T c (Q~T{R)~TUT Q, R, T, V c (Q~R{V)~TUT Q, R, T, W c (Q{R)~(T{W)UT Q, R, U, V c Q{(R{U)~VUT Q, R, V, R c Q{R~V~RUT Q, R, V, T c (Q~R{V)~TUT Q, R, V, U c (Q{R)~(V{U)UT Q, R, W, T c (Q{R{W)~TUT Q, R, W, W c R|Q{W~WUT Q, R, X, S c (Q{R)~(X{S)UT Q, S, P, W c Q~S~W{PUT Q, S, R, X c Q{(S{R)~XUT Q, S, T, T c (Q~S{T)~TUT Q, S, T, V c Q{(S{T)~VUT Q, S, V, T c (Q{S{V)~TUT Q, S, V, X c Q~S~V{XUT Q, S, W, P c Q~S~W{PUT Q, S, X, R c Q{(S{R)~XUT Q, S, X, V c Q~S~X|VUT Q, T, P, U c (Q~U{P)~TUT Q, T, P, V c (Q~V|P)~TUT Q, T, Q, X c Q{(T{Q)~XUT Q, T, R, T c (Q~T{R)~TUT Q, T, R, V c (Q~R{V)~TUT Q, T, R, W c (Q{R)~(T{W)UT Q, T, S, T c (Q~S{T)~TUT Q, T, S, V c Q{(T{S)~VUT Q, T, T, R c (Q~T{R)~TUT Q, T, T, S c (Q~S{T)~TUT Q, T, T, U c (Q{T{U)~TUT Q, T, T, V c Q~T~V|TUT Q, T, T, X c (Q~X|T)~TUT Q, T, U, P c (Q~U{P)~TUT Q, T, U, T c (Q{T{U)~TUT Q, T, U, W c (Q{W)~U{TUT Q, T, U, X c T~(U|Q{X)UT Q, T, V, P c (Q~V|P)~TUT Q, T, V, R c (Q~R{V)~TUT Q, T, V, S c Q{(T{S)~VUT Q, T, V, T c Q~T~V|TUT Q, T, V, W c (Q{W)~V|TUT Q, T, W, R c (Q{W{R)~TUT Q, T, W, U c (Q{W)~U{TUT Q, T, W, V c (Q{W)~V|TUT Q, T, W, X c (Q{T)~W{XUT Q, T, X, Q c (Q{T)~X{QUT Q, T, X, T c (Q~X|T)~TUT Q, T, X, U c T~(X|Q{U)UT Q, T, X, W c (Q{T)~W{XUT Q, U, P, T c (Q~U{P)~TUT Q, U, P, W c (Q{U)~W{PUT Q, U, P, X c Q{(U{P)~XUT Q, U, R, V c Q{(U{R)~VUT Q, U, T, P c (Q~U{P)~TUT Q, U, T, T c (Q{U{T)~TUT Q, U, T, W c (Q{W)~U{TUT Q, U, T, X c (U|Q{X)~TUT Q, U, U, V c Q~U~U|VUT Q, U, V, R c Q{(U{R)~VUT Q, U, V, U c Q~U~U|VUT Q, U, V, V c (U{V)~(V|Q)UT Q, U, V, X c (Q{U)~V{XUT Q, U, W, P c (Q{U)~W{PUT Q, U, W, T c (Q{W)~U{TUT Q, U, X, P c Q{(U{P)~XUT Q, U, X, T c (U|Q{X)~TUT Q, U, X, V c (Q{U)~X|VUT Q, U, X, X c Q{U~X{XUT Q, V, O, X c Q{(V{O)~XUT Q, V, P, T c (Q~V|P)~TUT Q, V, P, W c Q{V~(P{W)UT Q, V, P, X c Q{V~P~XUT Q, V, Q, V c Q{(V{Q)~VUT Q, V, R, R c Q{V~R~RUT Q, V, R, T c (Q~R{V)~TUT Q, V, R, U c Q{V~(R{U)UT Q, V, S, T c (Q{V{S)~TUT Q, V, S, X c Q~V~S{XUT Q, V, T, P c (Q~V|P)~TUT Q, V, T, R c (Q~R{V)~TUT Q, V, T, S c Q{V~(T{S)UT Q, V, T, T c Q~V~T|TUT Q, V, T, W c (Q{W)~V|TUT Q, V, U, R c Q{V~(U{R)UT Q, V, U, U c Q~U~U|VUT Q, V, U, V c (V|Q)~(U{V)UT Q, V, U, X c (Q{U)~V{XUT Q, V, V, Q c (Q{V)~V{QUT Q, V, V, U c (V|Q)~(V{U)UT Q, V, V, W c Q{V{V~WUT Q, V, V, X c (QV{X)~VUT Q, V, W, P c Q{V~(W{P)UT Q, V, W, T c (Q{W)~V|TUT Q, V, W, V c Q{V{W~VUT Q, V, X, O c Q{V~X{OUT Q, V, X, P c Q{V~X~PUT Q, V, X, S c Q~V~S{XUT Q, V, X, U c (Q{U)~V{XUT Q, V, X, V c (QV{X)~VUT Q, V, X, X c (QX{V)~XUT Q, W, P, S c Q~W~S{PUT Q, W, P, U c (Q{U)~W{PUT Q, W, P, V c Q{(W{P)~VUT Q, W, P, W c Q{W~W|PUT Q, W, P, X c Q{(W|P)~XUT Q, W, Q, W c QQ{W~WUT Q, W, R, T c (Q{W{R)~TUT Q, W, R, W c W~W|Q{RUT Q, W, S, P c Q~W~S{PUT Q, W, T, R c (Q{W{R)~TUT Q, W, T, U c (Q{W)~U{TUT Q, W, T, V c (Q{W)~V|TUT Q, W, T, X c (Q{T)~W{XUT Q, W, U, P c (Q{U)~W{PUT Q, W, U, T c (Q{W)~U{TUT Q, W, V, P c Q{(W{P)~VUT Q, W, V, T c (Q{W)~V|TUT Q, W, V, V c Q{W~V{VUT Q, W, W, P c Q{W~W|PUT Q, W, W, Q c QQ{W~WUT Q, W, W, R c W~W|Q{RUT Q, W, X, P c Q{(W|P)~XUT Q, W, X, T c (Q{T)~W{XUT Q, W, X, X c Q{W~X|XUT Q, X, O, V c Q{(X{O)~VUT Q, X, P, U c Q{X~(P{U)UT Q, X, P, V c Q{X~P~VUT Q, X, P, W c Q{X~(W|P)UT Q, X, Q, T c (Q{X{Q)~TUT Q, X, Q, X c Q{(X|Q)~XUT Q, X, R, S c Q{X~(R{S)UT Q, X, S, R c Q{X~(S{R)UT Q, X, S, V c Q~X~S|VUT Q, X, T, Q c Q{X~(T{Q)UT Q, X, T, T c (Q~X|T)~TUT Q, X, T, U c (X|Q{U)~TUT Q, X, T, W c (Q{T)~W{XUT Q, X, U, P c Q{X~(U{P)UT Q, X, U, T c (X|Q{U)~TUT Q, X, U, V c (Q{U)~X|VUT Q, X, U, X c Q{X{U~XUT Q, X, V, O c Q{X~V{OUT Q, X, V, P c Q{X~V~PUT Q, X, V, S c Q~X~S|VUT Q, X, V, U c (Q{U)~X|VUT Q, X, V, V c (QV{X)~VUT Q, X, V, X c (QX{V)~XUT Q, X, W, P c Q{X~(W|P)UT Q, X, W, T c (Q{T)~W{XUT Q, X, W, X c Q{X~W|XUT Q, X, X, Q c Q{X~(X|Q)UT Q, X, X, U c Q{X{X~UUT Q, X, X, V c (QX{V)~XUT Q, X, X, W c Q{X~W|XUT R, P, S, T c (R~S{P)~TUT R, P, T, S c (R~S{P)~TUT R, P, T, W c (R{T)~W{PUT R, P, T, X c (R{P{X)~TUT R, P, U, W c (R{W)~U|PUT R, P, V, X c R|P{V~XUT R, P, W, T c (R{T)~W{PUT R, P, W, U c (R{W)~U|PUT R, P, X, T c (R{P{X)~TUT R, P, X, V c R|P{X~VUT R, Q, R, V c R~R~V{QUT R, Q, S, X c (R{Q)~(S{X)UT R, Q, T, T c (R{Q~T)~TUT R, Q, T, V c (R~Q{V)~TUT R, Q, T, W c (R{Q)~(T{W)UT R, Q, U, V c (R{Q)~(U{V)UT R, Q, V, R c R~V~R{QUT R, Q, V, T c (R~Q{V)~TUT R, Q, V, U c (R{Q)~(V{U)UT R, Q, W, T c (R{Q{W)~TUT R, Q, W, W c R|Q{W~WUT R, Q, X, S c (R{Q)~(X{S)UT R, R, Q, V c R~R~V{QUT R, R, S, T c (R~R{S)~TUT R, R, T, S c (R~R{S)~TUT R, R, T, V c (R{R{V)~TUT R, R, V, Q c R~R~V{QUT R, R, V, T c (R{R{V)~TUT R, R, V, W c R~R{V~WUT R, R, W, V c R~R{W~VUT R, R, W, W c RR{W~WUT R, S, P, T c (R~S{P)~TUT R, S, Q, X c (R{S)~X{QUT R, S, R, T c (R~R{S)~TUT R, S, S, T c (S~S|R)~TUT R, S, T, P c (R~S{P)~TUT R, S, T, R c (R~R{S)~TUT R, S, T, S c (S~S|R)~TUT R, S, T, T c R~S~T{TUT R, S, T, U c (R{S{U)~TUT R, S, U, T c (R{S{U)~TUT R, S, U, V c R~S~U|VUT R, S, V, U c R~S~U|VUT R, S, W, W c S|R{W~WUT R, S, W, X c (R{S)~W{XUT R, S, X, Q c (R{S)~X{QUT R, S, X, W c (R{S)~W{XUT R, T, P, S c (R~S{P)~TUT R, T, P, W c (R{T)~W{PUT R, T, P, X c (R{P{X)~TUT R, T, Q, T c (R{T~Q)~TUT R, T, Q, V c (R~Q{V)~TUT R, T, Q, W c (R{Q)~(T{W)UT R, T, R, S c (R~R{S)~TUT R, T, R, V c (R{R{V)~TUT R, T, S, P c (R~S{P)~TUT R, T, S, R c (R~R{S)~TUT R, T, S, S c T~(S~S|R)UT R, T, S, T c R~T~S{TUT R, T, S, U c (R{S{U)~TUT R, T, T, Q c (R{T~Q)~TUT R, T, T, S c R~T~S{TUT R, T, T, T c (R{T{T)~TUT R, T, T, U c (R~U|T)~TUT R, T, T, X c (R{X)~T{TUT R, T, U, S c (R{U{S)~TUT R, T, U, T c (R~U|T)~TUT R, T, U, V c (R{V)~U{TUT R, T, V, Q c (R~Q{V)~TUT R, T, V, R c (R{V{R)~TUT R, T, V, U c (R{V)~U{TUT R, T, V, V c (R{V)~V|TUT R, T, V, W c (R~V|W)~TUT R, T, V, X c (R{T)~V{XUT R, T, W, P c (R{T)~W{PUT R, T, W, Q c (R{W{Q)~TUT R, T, W, V c (R~V|W)~TUT R, T, W, W c T~(W|R{W)UT R, T, X, P c (R{X{P)~TUT R, T, X, T c (R{X)~T{TUT R, T, X, V c (R{T)~X|VUT R, U, P, W c (R{W)~U|PUT R, U, Q, V c (R{U)~V{QUT R, U, S, T c (R{U{S)~TUT R, U, S, V c R~U~S|VUT R, U, T, S c (R{U{S)~TUT R, U, T, T c (R~U|T)~TUT R, U, T, V c (R{V)~U{TUT R, U, V, Q c (R{U)~V{QUT R, U, V, S c R~U~S|VUT R, U, V, T c (R{V)~U{TUT R, U, V, W c R{U{V~WUT R, U, V, X c (R{X)~U|VUT R, U, W, P c (R{W)~U|PUT R, U, W, V c R{U{W~VUT R, U, W, X c R{U~X{WUT R, U, X, V c (R{X)~U|VUT R, U, X, W c R{U~X{WUT R, V, P, X c R{V~X|PUT R, V, Q, R c R~V~R{QUT R, V, Q, T c (R~Q{V)~TUT R, V, Q, U c (R{Q)~(V{U)UT R, V, R, Q c R~V~R{QUT R, V, R, T c (R{V{R)~TUT R, V, R, W c R~R{V~WUT R, V, S, U c R~S~U|VUT R, V, T, Q c (R~Q{V)~TUT R, V, T, R c (R{V{R)~TUT R, V, T, U c (R{V)~U{TUT R, V, T, V c (R{V)~V|TUT R, V, T, W c (R~V|W)~TUT R, V, T, X c (R{T)~V{XUT R, V, U, Q c (R{U)~V{QUT R, V, U, S c R~U~S|VUT R, V, U, T c (R{V)~U{TUT R, V, U, W c R{V~W{UUT R, V, U, X c (R{X)~U|VUT R, V, V, T c (R{V)~V|TUT R, V, W, R c R~W~R|VUT R, V, W, T c (R~V|W)~TUT R, V, W, U c R{V~W{UUT R, V, X, P c R{V~X|PUT R, V, X, T c (R{T)~V{XUT R, V, X, U c (R{X)~U|VUT R, W, P, T c (R{T)~W{PUT R, W, P, U c (R{W)~U|PUT R, W, Q, T c (R{W{Q)~TUT R, W, Q, W c R{W~W|QUT R, W, R, V c R~W~R|VUT R, W, R, W c RR{W~WUT R, W, S, W c W~W|R{SUT R, W, S, X c (R{S)~W{XUT R, W, T, P c (R{T)~W{PUT R, W, T, Q c (R{W{Q)~TUT R, W, T, V c (R~V|W)~TUT R, W, T, W c (W|R)~(T{W)UT R, W, U, P c (R{W)~U|PUT R, W, U, V c R{W~V{UUT R, W, U, X c R{W{U~XUT R, W, V, R c R~W~R|VUT R, W, V, T c (R~V|W)~TUT R, W, V, U c R{W~V{UUT R, W, W, Q c R{W~W|QUT R, W, W, R c RR{W~WUT R, W, W, S c W~W|R{SUT R, W, W, T c (W|R{W)~TUT R, W, X, S c (R{S)~W{XUT R, W, X, U c R{W{X~UUT R, X, P, T c (R{X{P)~TUT R, X, P, V c R{X~V|PUT R, X, Q, S c (R{Q)~(X{S)UT R, X, S, Q c (R{S)~X{QUT R, X, S, W c (R{S)~W{XUT R, X, T, P c (R{X{P)~TUT R, X, T, T c (R{X)~T{TUT R, X, T, V c (R{T)~X|VUT R, X, U, V c (R{X)~U|VUT R, X, U, W c R{X~U{WUT R, X, V, P c R{X~V|PUT R, X, V, T c (R{T)~X|VUT R, X, V, U c (R{X)~U|VUT R, X, W, S c (R{S)~W{XUT R, X, W, U c R{X~U{WUT S, O, T, X c (S{O{X)~TUT S, O, X, T c (S{O{X)~TUT S, P, Q, W c S~Q~W{PUT S, P, R, T c (S~R{P)~TUT S, P, S, S c S~S~S{PUT S, P, S, W c (S{S)~W{PUT S, P, S, X c (S{P)~(S{X)UT S, P, T, R c (S~R{P)~TUT S, P, T, W c (S{P)~(T{W)UT S, P, T, X c (S{P~X)~TUT S, P, U, V c (S{P)~(U{V)UT S, P, U, X c (S{X)~(U|P)UT S, P, V, U c (S{P)~(V{U)UT S, P, V, X c S~(V{X){PUT S, P, W, Q c S~W~Q{PUT S, P, W, S c (S{S)~W{PUT S, P, W, T c (S{P{W)~TUT S, P, W, W c S~(W{W){PUT S, P, X, S c (S{P)~(X{S)UT S, P, X, T c (S{P~X)~TUT S, P, X, U c (S{X)~(U|P)UT S, P, X, V c S~(X{V){PUT S, Q, P, W c S~Q~W{PUT S, Q, R, X c (S{R)~X{QUT S, Q, T, T c (S~Q{T)~TUT S, Q, T, V c (S{Q{V)~TUT S, Q, V, T c (S{Q{V)~TUT S, Q, V, X c S|Q{V~XUT S, Q, W, P c S~Q~W{PUT S, Q, X, R c (S{X)~(Q{R)UT S, Q, X, V c S|Q{X~VUT S, R, P, T c (S~R{P)~TUT S, R, Q, X c (S{R)~X{QUT S, R, R, T c (S{R~R)~TUT S, R, S, T c (S~S|R)~TUT S, R, T, P c (S~R{P)~TUT S, R, T, R c (S{R~R)~TUT S, R, T, S c (S~S|R)~TUT S, R, T, T c S~R~T{TUT S, R, T, U c (S{R{U)~TUT S, R, U, T c (S{R{U)~TUT S, R, U, V c S~R~U|VUT S, R, V, U c S~R~U|VUT S, R, W, W c S|R{W~WUT S, R, W, X c (S{R)~W{XUT S, R, X, Q c (S{R)~X{QUT S, R, X, W c (S{R)~W{XUT S, S, P, S c S~S~S{PUT S, S, P, W c (S{S)~W{PUT S, S, P, X c (S{P)~(S{X)UT S, S, R, T c (S~S|R)~TUT S, S, S, P c S~S~S{PUT S, S, T, R c (S~S|R)~TUT S, S, T, T c (S{S{T)~TUT S, S, V, V c S~S{V~VUT S, S, V, X c (S{S)~V{XUT S, S, W, P c (S{S)~W{PUT S, S, W, W c SS{W~WUT S, S, X, P c (S{X)~(S{P)UT S, S, X, V c (S{S)~X|VUT S, S, X, X c (S{X)~(X|S)UT S, T, O, X c (S{O{X)~TUT S, T, P, R c (S~R{P)~TUT S, T, P, W c (S{P)~(T{W)UT S, T, P, X c (S{P~X)~TUT S, T, Q, T c (S~Q{T)~TUT S, T, Q, V c (S{T)~V{QUT S, T, R, P c (S~R{P)~TUT S, T, R, R c (S{R~R)~TUT S, T, R, S c (S~S|R)~TUT S, T, R, T c S~T~R{TUT S, T, R, U c (S{R{U)~TUT S, T, S, R c (S~S|R)~TUT S, T, S, T c (S{T{S)~TUT S, T, T, Q c (S~Q{T)~TUT S, T, T, R c S~T~R{TUT S, T, T, S c (S{T{S)~TUT S, T, T, V c (S~T|V)~TUT S, T, T, W c (S{W)~T{TUT S, T, T, X c S~T{T~XUT S, T, U, R c (S{U{R)~TUT S, T, U, U c (S{U)~U{TUT S, T, U, V c (S{U)~V|TUT S, T, U, X c S~(U{X){TUT S, T, V, Q c (S{T)~V{QUT S, T, V, T c (S~T|V)~TUT S, T, V, U c (S{U)~V|TUT S, T, V, W c S{T{V~WUT S, T, W, P c (S{W{P)~TUT S, T, W, T c (S{W)~T{TUT S, T, W, V c S{T{W~VUT S, T, W, W c T|S{W~WUT S, T, W, X c T~(W|S{X)UT S, T, X, O c (S{X)~(T{O)UT S, T, X, P c (S{X)~(T~P)UT S, T, X, T c S~T{X~TUT S, T, X, U c S~(X{U){TUT S, T, X, W c T~(X|S{W)UT S, T, X, X c S~(T{X){XUT S, U, P, V c (S{P)~(U{V)UT S, U, P, X c (S{X)~(U|P)UT S, U, R, T c (S{U{R)~TUT S, U, R, V c S~U~R|VUT S, U, T, R c (S{U{R)~TUT S, U, T, U c (S{U)~U{TUT S, U, T, V c (S{U)~V|TUT S, U, T, X c S~(U{X){TUT S, U, U, T c (S{U)~U{TUT S, U, V, P c (S{V)~U|PUT S, U, V, R c S~U~R|VUT S, U, V, T c (S{U)~V|TUT S, U, V, W c (S{W)~U|VUT S, U, V, X c S{U~X{VUT S, U, W, V c (S{W)~U|VUT S, U, W, X c S~(U{W){XUT S, U, X, P c (S{X)~(U|P)UT S, U, X, T c S~(U{X){TUT S, U, X, V c S{U~X{VUT S, U, X, W c S~(U{W){XUT S, V, P, U c (S{V)~U|PUT S, V, P, X c S~(V{X){PUT S, V, Q, T c (S{V{Q)~TUT S, V, Q, X c S~V~Q{XUT S, V, R, U c S~R~U|VUT S, V, S, V c S~S{V~VUT S, V, S, X c (S{S)~V{XUT S, V, T, Q c (S{V{Q)~TUT S, V, T, T c (S~T|V)~TUT S, V, T, U c (S{U)~V|TUT S, V, T, W c S{V~W{TUT S, V, U, P c (S{V)~U|PUT S, V, U, R c S~U~R|VUT S, V, U, T c (S{U)~V|TUT S, V, U, W c (S{W)~U|VUT S, V, U, X c S{V{U~XUT S, V, V, S c S~S{V~VUT S, V, V, X c S~(V{V){XUT S, V, W, T c S{V~W{TUT S, V, W, U c (S{W)~U|VUT S, V, W, X c V~X{WSUT S, V, X, P c S~(V{X){PUT S, V, X, Q c S{V~X|QUT S, V, X, S c (S{S)~V{XUT S, V, X, U c S{V{X~UUT S, V, X, V c S~(V{V){XUT S, V, X, W c V~X{WSUT S, V, X, X c S~(X{X)|VUT S, W, P, Q c S~W~Q{PUT S, W, P, S c (S{S)~W{PUT S, W, P, T c (S{W{P)~TUT S, W, P, W c S~(W{W){PUT S, W, Q, P c S~W~Q{PUT S, W, R, W c S{W~W|RUT S, W, R, X c S~(W{X)|RUT S, W, S, P c (S{S)~W{PUT S, W, S, W c SS{W~WUT S, W, T, P c (S{W{P)~TUT S, W, T, T c (S{W)~T{TUT S, W, T, V c S{W~V{TUT S, W, T, W c W~W|S{TUT S, W, T, X c (W|S{X)~TUT S, W, U, V c (S{W)~U|VUT S, W, U, X c S~(W{U){XUT S, W, V, T c S{W~V{TUT S, W, V, U c (S{W)~U|VUT S, W, V, X c WS{V~XUT S, W, W, P c S~(W{W){PUT S, W, W, R c S{W~W|RUT S, W, W, S c SS{W~WUT S, W, W, T c W~W|S{TUT S, W, X, R c S~(W{X)|RUT S, W, X, T c (W|S{X)~TUT S, W, X, U c S~(W{U){XUT S, W, X, V c WS{X~VUT S, X, O, T c (S{X{O)~TUT S, X, P, S c (S{X)~(P{S)UT S, X, P, T c (S{X)~(P~T)UT S, X, P, U c (S{X)~(U|P)UT S, X, P, V c S~(X{V){PUT S, X, Q, R c (S{X)~(Q{R)UT S, X, Q, V c S~X~Q|VUT S, X, R, Q c (S{X)~(R{Q)UT S, X, R, W c (S{X)~(W|R)UT S, X, S, P c (S{X)~(S{P)UT S, X, S, V c (S{S)~X|VUT S, X, S, X c (S{X)~(X|S)UT S, X, T, O c (S{X)~(T{O)UT S, X, T, P c (S{X)~(T~P)UT S, X, T, T c S~T{X~TUT S, X, T, U c S~(X{U){TUT S, X, T, W c (X|S)~(T{W)UT S, X, T, X c S~(X{T){XUT S, X, U, P c (S{X)~(U|P)UT S, X, U, T c S~(X{U){TUT S, X, U, V c S{X~U{VUT S, X, U, W c S~(U{W){XUT S, X, V, P c S~(X{V){PUT S, X, V, Q c S{X~V|QUT S, X, V, S c (S{S)~X|VUT S, X, V, U c S{X~U{VUT S, X, V, V c S~(V{V){XUT S, X, V, W c X~V{WSUT S, X, V, X c S~(X{X)|VUT S, X, W, R c (S{X)~(W|R)UT S, X, W, T c (X|S{W)~TUT S, X, W, U c S~(W{U){XUT S, X, W, V c X~V{WSUT S, X, X, S c (S{X)~(X|S)UT S, X, X, T c S~(X{T){XUT S, X, X, V c S~(X{X)|VUT T, O, S, X c (T{O)~(S{X)UT T, O, T, W c (T{O)~(T{W)UT T, O, U, V c (T{O)~(U{V)UT T, O, V, U c (T{O)~(V{U)UT T, O, W, T c (T{O{W)~TUT T, O, X, S c (T{O)~(X{S)UT T, P, Q, U c T~(P{Q~U)UT T, P, Q, V c T~(Q~V|P)UT T, P, R, S c T~(P{R~S)UT T, P, R, W c (T{R)~W{PUT T, P, R, X c T~(P{R{X)UT T, P, S, R c T~(P{S~R)UT T, P, S, W c T~(P{S{W)UT T, P, S, X c (T~P)~(S{X)UT T, P, T, V c T~(P{T{V)UT T, P, T, W c (T~P)~(T{W)UT T, P, T, X c (T|P{X)~TUT T, P, U, Q c T~(P{U~Q)UT T, P, U, U c T~(P{U{U)UT T, P, U, V c (T~P)~(U{V)UT T, P, U, W c T~(U|P{W)UT T, P, U, X c T{(P{X)~UUT T, P, V, Q c T~(V~Q|P)UT T, P, V, T c (T{P{V)~TUT T, P, V, U c (T~P)~(V{U)UT T, P, V, V c T~(V|P{V)UT T, P, V, X c (P{X)~V|TUT T, P, W, R c (T{R)~W{PUT T, P, W, S c T~(P{W{S)UT T, P, W, T c (T{P~W)~TUT T, P, W, U c T~(W|P{U)UT T, P, X, R c T~(P{X{R)UT T, P, X, S c (T~P)~(X{S)UT T, P, X, T c (T|P{X)~TUT T, P, X, U c T{(P{X)~UUT T, P, X, V c (P{X)~V|TUT T, Q, P, U c T~(Q~U{P)UT T, Q, P, V c T~(Q~V|P)UT T, Q, Q, X c T~(Q{Q{X)UT T, Q, R, T c (T~Q{R)~TUT T, Q, R, V c T~(Q~R{V)UT T, Q, R, W c T~(Q{R{W)UT T, Q, S, T c (T{Q~S)~TUT T, Q, S, V c T~(Q{S{V)UT T, Q, T, R c T~(Q~T{R)UT T, Q, T, S c (T{Q~S)~TUT T, Q, T, U c T{Q~T~UUT T, Q, T, V c T~Q~V|TUT T, Q, T, X c T~(Q~X|T)UT T, Q, U, P c T~(Q~U{P)UT T, Q, U, T c (T{Q{U)~TUT T, Q, U, W c T{(Q{W)~UUT T, Q, U, X c T~(U|Q{X)UT T, Q, V, P c T~(Q~V|P)UT T, Q, V, R c T~(Q~R{V)UT T, Q, V, S c T~(Q{V{S)UT T, Q, V, T c T~Q~V|TUT T, Q, V, W c T~(V|Q{W)UT T, Q, W, R c T~(Q{W{R)UT T, Q, W, U c T{(Q{W)~UUT T, Q, W, V c T~(W|Q{V)UT T, Q, W, X c (T{Q)~W{XUT T, Q, X, Q c (T{Q)~X{QUT T, Q, X, T c T~(Q~X|T)UT T, Q, X, U c T~(X|Q{U)UT T, Q, X, W c (T{Q)~W{XUT T, R, P, S c T~(R~S{P)UT T, R, P, W c (T{R)~W{PUT T, R, P, X c T~(R{P{X)UT T, R, Q, T c T~(R{Q~T)UT T, R, Q, V c T~(R~Q{V)UT T, R, Q, W c T~(R{Q{W)UT T, R, R, S c T~(R~R{S)UT T, R, R, V c T~(R{R{V)UT T, R, S, P c T~(R~S{P)UT T, R, S, R c T~(R~R{S)UT T, R, S, S c T~(S~S|R)UT T, R, S, T c T{R~S~TUT T, R, S, U c T~(R{S{U)UT T, R, T, Q c T~(R{T~Q)UT T, R, T, S c T{R~T~SUT T, R, T, T c (T{R{T)~TUT T, R, T, U c T~(R~U|T)UT T, R, T, X c T{(R{X)~TUT T, R, U, S c T~(R{U{S)UT T, R, U, T c T~(R~U|T)UT T, R, U, V c T{(R{V)~UUT T, R, V, Q c T~(R~Q{V)UT T, R, V, R c T~(R{V{R)UT T, R, V, U c T{(R{V)~UUT T, R, V, V c (R{V)~V|TUT T, R, V, W c T~(R~V|W)UT T, R, V, X c (T{R)~V{XUT T, R, W, P c (T{R)~W{PUT T, R, W, Q c T~(R{W{Q)UT T, R, W, V c T~(R~V|W)UT T, R, W, W c T~(W|R{W)UT T, R, X, P c T~(R{X{P)UT T, R, X, T c T{(R{X)~TUT T, R, X, V c (T{R)~X|VUT T, S, O, X c T~(S{O{X)UT T, S, P, R c T~(S~R{P)UT T, S, P, W c T~(S{P{W)UT T, S, P, X c T~(S{P~X)UT T, S, Q, T c (T{S~Q)~TUT T, S, Q, V c T~(S{Q{V)UT T, S, R, P c T~(S~R{P)UT T, S, R, R c T~(S{R~R)UT T, S, R, S c T~(S~S|R)UT T, S, R, T c T{S~R~TUT T, S, R, U c T~(S{R{U)UT T, S, S, R c T~(S~S|R)UT T, S, S, T c (T{S{S)~TUT T, S, T, Q c (T{S~Q)~TUT T, S, T, R c T{S~T~RUT T, S, T, S c T~(S{T{S)UT T, S, T, V c T~(S~T|V)UT T, S, T, W c T{(S{W)~TUT T, S, T, X c T~S{T~XUT T, S, U, R c T~(S{U{R)UT T, S, U, U c T{(S{U)~UUT T, S, U, V c (S{U)~V|TUT T, S, U, X c T{S~(U{X)UT T, S, V, Q c (T{S)~V{QUT T, S, V, T c (T~S|V)~TUT T, S, V, U c (S{U)~V|TUT T, S, V, W c T{S{V~WUT T, S, W, P c T~(S{W{P)UT T, S, W, T c T{(S{W)~TUT T, S, W, V c T{S{W~VUT T, S, W, W c T|S{W~WUT T, S, W, X c T~(W|S{X)UT T, S, X, O c T~(S{X){OUT T, S, X, P c T~(S{X)~PUT T, S, X, T c T~S{X~TUT T, S, X, U c T{S~(X{U)UT T, S, X, W c T~(X|S{W)UT T, S, X, X c (T{X)~S{XUT T, T, O, W c T~(T{O{W)UT T, T, P, V c T~(T{P{V)UT T, T, P, W c T~(T{P~W)UT T, T, P, X c T~(T|P{X)UT T, T, Q, R c T~(T~Q{R)UT T, T, Q, S c T~(T{Q~S)UT T, T, Q, U c T{T~Q~UUT T, T, Q, V c T~Q~V|TUT T, T, Q, X c T~(Q~X|T)UT T, T, R, Q c T~(T~R|Q)UT T, T, R, S c T{T~R~SUT T, T, R, T c (T{T{R)~TUT T, T, R, U c T~(R~U|T)UT T, T, R, X c T{T~(R{X)UT T, T, S, Q c T~(T{S~Q)UT T, T, S, R c T{T~S~RUT T, T, S, S c T~(T{S{S)UT T, T, S, V c T~(T~S|V)UT T, T, S, W c T{T~(S{W)UT T, T, S, X c T~S{T~XUT T, T, T, R c T~(T{T{R)UT T, T, T, U c T{(T{T)~UUT T, T, T, V c T{T~(T{V)UT T, T, T, W c T~T{T~WUT T, T, T, X c T~(T{X)|TUT T, T, U, Q c T{T~U~QUT T, T, U, R c T~(U~R|T)UT T, T, U, T c (T{T)~U{TUT T, T, U, U c T{T~(U{U)UT T, T, U, V c T~U{T~VUT T, T, U, W c T~(U{W)|TUT T, T, V, P c T~(T{V{P)UT T, T, V, Q c T~V~Q|TUT T, T, V, S c T~(T~S|V)UT T, T, V, T c T{(T{V)~TUT T, T, V, U c T~V{T~UUT T, T, V, V c T~(V{V)|TUT T, T, W, O c T~(T{W){OUT T, T, W, P c T~(T{W)~PUT T, T, W, S c T{T~(W{S)UT T, T, W, T c T~T{W~TUT T, T, W, U c T~(W{U)|TUT T, T, W, W c TT{W~WUT T, T, X, P c T~(T{X|P)UT T, T, X, Q c T~(X~Q|T)UT T, T, X, R c T{T~(X{R)UT T, T, X, S c T~X{T~SUT T, T, X, T c T~(T{X)|TUT T, T, X, X c T~(X|T{X)UT T, U, O, V c T~(U{O{V)UT T, U, P, Q c T~(U~Q{P)UT T, U, P, U c T~(U{P{U)UT T, U, P, V c T~(U{P~V)UT T, U, P, W c T~(U|P{W)UT T, U, P, X c T{U~(P{X)UT T, U, Q, P c T~(U~Q{P)UT T, U, Q, T c (T{U{Q)~TUT T, U, Q, W c T{U~(Q{W)UT T, U, Q, X c T~(U|Q{X)UT T, U, R, S c T~(U{R{S)UT T, U, R, T c T~(U~R|T)UT T, U, R, V c T{U~(R{V)UT T, U, S, R c T~(U{S{R)UT T, U, S, U c T{(U{S)~UUT T, U, S, V c (U{S)~V|TUT T, U, S, X c T{(U{X)~SUT T, U, T, Q c T{U~T~QUT T, U, T, R c T~(U~R|T)UT T, U, T, T c T{U~(T{T)UT T, U, T, U c T{(U{U)~TUT T, U, T, V c T~U{T~VUT T, U, T, W c T~(U{W)|TUT T, U, U, P c (T{U)~U|PUT T, U, U, S c T{U~(U{S)UT T, U, U, T c T{(U{U)~TUT T, U, U, X c T{U{U~XUT T, U, V, O c T~(U{V){OUT T, U, V, P c T~(U{V)~PUT T, U, V, R c T{U~(V{R)UT T, U, V, S c (U{S)~V|TUT T, U, V, T c T~U{V~TUT T, U, V, V c (T{V)~U|VUT T, U, W, P c T~(U{W|P)UT T, U, W, Q c T{U~(W{Q)UT T, U, W, T c T~(U{W)|TUT T, U, W, W c U|T{W~WUT T, U, X, P c T{U~(X{P)UT T, U, X, Q c T~(U{X|Q)UT T, U, X, S c T{(U{X)~SUT T, U, X, U c T{U{X~UUT T, V, O, U c T~(V{O{U)UT T, V, P, Q c T~(V~Q|P)UT T, V, P, T c (T{V{P)~TUT T, V, P, U c T~(V{P~U)UT T, V, P, V c T~(V|P{V)UT T, V, P, X c V~(P{X)|TUT T, V, Q, P c T~(V~Q|P)UT T, V, Q, R c T~(V{Q~R)UT T, V, Q, S c T~(V{Q{S)UT T, V, Q, T c T~V~Q|TUT T, V, Q, W c T~(V|Q{W)UT T, V, R, Q c T~(V{R~Q)UT T, V, R, R c T~(V{R{R)UT T, V, R, U c T{(V{R)~UUT T, V, R, V c (V{R)~V|TUT T, V, R, W c T~(V~R|W)UT T, V, R, X c T~(V|R{X)UT T, V, S, Q c T~(V{S{Q)UT T, V, S, T c (T~S|V)~TUT T, V, S, U c V~(S{U)|TUT T, V, S, W c T{(V{W)~SUT T, V, T, P c T~(V{T{P)UT T, V, T, Q c T~V~Q|TUT T, V, T, S c T~(T~S|V)UT T, V, T, T c T{(V{T)~TUT T, V, T, U c T~V{T~UUT T, V, T, V c T~(V{V)|TUT T, V, U, O c T~(V{U){OUT T, V, U, P c T~(V{U)~PUT T, V, U, R c T{(V{R)~UUT T, V, U, S c V~(U{S)|TUT T, V, U, T c T~V{U~TUT T, V, U, V c (T{V)~U|VUT T, V, V, P c T~(V{V|P)UT T, V, V, R c V~(V{R)|TUT T, V, V, T c T~(V{V)|TUT T, V, V, U c (T{V)~U|VUT T, V, V, X c V|T{V~XUT T, V, W, Q c T~(V{W|Q)UT T, V, W, R c T~(V~R|W)UT T, V, W, S c T{(V{W)~SUT T, V, X, P c V~(X{P)|TUT T, V, X, R c T{V~X|RUT T, V, X, V c V|T{X~VUT T, W, O, T c (T{W{O)~TUT T, W, P, R c (T{R)~W{PUT T, W, P, S c (T{W)~(P{S)UT T, W, P, T c (T{W)~(P~T)UT T, W, P, U c T~(W|P{U)UT T, W, Q, R c (T{W)~(Q{R)UT T, W, Q, U c T{(W{Q)~UUT T, W, Q, V c T~(W|Q{V)UT T, W, Q, X c T~(WQ{X)UT T, W, R, P c (T{R)~W{PUT T, W, R, Q c (T{W)~(R{Q)UT T, W, R, V c T~(R~V|W)UT T, W, R, W c T~(W|R{W)UT T, W, S, P c (T{W)~(S{P)UT T, W, S, T c T{(W{S)~TUT T, W, S, V c T{(W{V)~SUT T, W, S, W c T{W~W|SUT T, W, S, X c T~(W|S{X)UT T, W, T, O c (T{W)~(T{O)UT T, W, T, P c (T{W)~(T~P)UT T, W, T, S c T{(W{S)~TUT T, W, T, T c T~W{T~TUT T, W, T, U c T~(W{U)|TUT T, W, T, W c TT{W~WUT T, W, U, P c (T{W)~(U|P)UT T, W, U, Q c T{(W{Q)~UUT T, W, U, T c T~(W{U)|TUT T, W, U, W c W~W|T{UUT T, W, V, Q c (T{W)~(V|Q)UT T, W, V, R c T~(V~R|W)UT T, W, V, S c T{(W{V)~SUT T, W, W, R c (T{W)~(W|R)UT T, W, W, S c T{W~W|SUT T, W, W, T c TT{W~WUT T, W, W, U c W~W|T{UUT T, W, X, Q c T~(WQ{X)UT T, W, X, S c (T{W)~(X|S)UT T, X, O, S c T~(X{O{S)UT T, X, P, R c T~(X{P{R)UT T, X, P, S c T~(X{P~S)UT T, X, P, T c (T{X|P)~TUT T, X, P, U c T{(X{P)~UUT T, X, P, V c (X{P)~V|TUT T, X, Q, Q c T~(X{Q{Q)UT T, X, Q, T c T~(X~Q|T)UT T, X, Q, U c T~(X|Q{U)UT T, X, Q, W c T~(X{WQ)UT T, X, R, P c T~(X{R{P)UT T, X, R, T c T{(X{R)~TUT T, X, R, V c T~(X|R{V)UT T, X, S, O c T~(X{S){OUT T, X, S, P c T~(X{S)~PUT T, X, S, T c T~X{S~TUT T, X, S, U c T{(X{U)~SUT T, X, S, W c T~(X|S{W)UT T, X, S, X c (T{X)~S{XUT T, X, T, P c T~(X{T|P)UT T, X, T, Q c T~(X~Q|T)UT T, X, T, R c T{(X{R)~TUT T, X, T, S c T~X{T~SUT T, X, T, T c (T{X)~T|TUT T, X, T, X c T~(X|T{X)UT T, X, U, P c T{(X{P)~UUT T, X, U, Q c T~(X{U|Q)UT T, X, U, S c T{(X{U)~SUT T, X, U, U c T{X~U{UUT T, X, V, P c (X{P)~V|TUT T, X, V, R c T{X~V|RUT T, X, V, V c X~V|T{VUT T, X, W, Q c T~(X{WQ)UT T, X, W, S c T~(X{W|S)UT T, X, X, S c (T{X)~S{XUT T, X, X, T c T~(X{X|T)UT U, O, T, V c (U{O{V)~TUT U, O, V, T c (U{O{V)~TUT U, P, Q, T c (U~Q{P)~TUT U, P, Q, W c (U{Q)~W{PUT U, P, Q, X c (U{P)~X{QUT U, P, R, W c U~(R{W)|PUT U, P, S, V c U~(S{V)|PUT U, P, S, X c (U|P)~(S{X)UT U, P, T, Q c (U~Q{P)~TUT U, P, T, U c (U{P{U)~TUT U, P, T, V c (U{P~V)~TUT U, P, T, W c (U|P)~(T{W)UT U, P, T, X c U~(P{X){TUT U, P, U, T c (U{P{U)~TUT U, P, U, V c (U|P)~(U{V)UT U, P, V, S c (U{V)~(P{S)UT U, P, V, T c (U{P~V)~TUT U, P, V, U c (U|P)~(V{U)UT U, P, W, Q c (U{Q)~W{PUT U, P, W, R c U~(W{R)|PUT U, P, W, T c (U|P{W)~TUT U, P, W, X c (U{P)~W{XUT U, P, X, Q c (U{P)~X{QUT U, P, X, S c (U|P)~(X{S)UT U, P, X, T c U~(P{X){TUT U, P, X, W c (U{P)~W{XUT U, Q, P, T c (U~Q{P)~TUT U, Q, P, W c (U{Q)~W{PUT U, Q, P, X c U~(Q{X)|PUT U, Q, R, V c (U{R)~V{QUT U, Q, T, P c (U~Q{P)~TUT U, Q, T, T c (U{Q{T)~TUT U, Q, T, W c U~(Q{W){TUT U, Q, T, X c (U|Q{X)~TUT U, Q, U, V c U~Q~U|VUT U, Q, V, R c (U{V)~(Q{R)UT U, Q, V, U c U~Q~U|VUT U, Q, V, V c (U{V)~(V|Q)UT U, Q, V, X c (U{Q)~V{XUT U, Q, W, P c (U{Q)~W{PUT U, Q, W, T c U~(Q{W){TUT U, Q, X, P c U~(Q{X)|PUT U, Q, X, T c (U|Q{X)~TUT U, Q, X, V c (U{Q)~X|VUT U, Q, X, X c U~X{Q{XUT U, R, P, W c U~(R{W)|PUT U, R, Q, V c (U{R)~V{QUT U, R, S, T c (U{R{S)~TUT U, R, S, V c U~R~S|VUT U, R, T, S c (U{R{S)~TUT U, R, T, T c (U~R|T)~TUT U, R, T, V c U~(R{V){TUT U, R, V, Q c (U{R)~V{QUT U, R, V, S c U~R~S|VUT U, R, V, T c U~(R{V){TUT U, R, V, W c U{R{V~WUT U, R, V, X c UR{V~XUT U, R, W, P c U~(R{W)|PUT U, R, W, V c U{R{W~VUT U, R, W, X c U~X{R{WUT U, R, X, V c U~(R{X)|VUT U, R, X, W c U~X{R{WUT U, S, P, V c U~(S{V)|PUT U, S, P, X c (U|P)~(S{X)UT U, S, R, T c (U{S{R)~TUT U, S, R, V c U~S~R|VUT U, S, T, R c (U{S{R)~TUT U, S, T, U c (U{S)~U{TUT U, S, T, V c (U{S)~V|TUT U, S, T, X c (U{X)~S{TUT U, S, U, T c (U{S)~U{TUT U, S, V, P c U~(S{V)|PUT U, S, V, R c U~S~R|VUT U, S, V, T c (U{S)~V|TUT U, S, V, W c U~(S{W)|VUT U, S, V, X c U|S{V~XUT U, S, W, V c U~(S{W)|VUT U, S, W, X c (U{W)~S{XUT U, S, X, P c (U|P)~(S{X)UT U, S, X, T c (U{X)~S{TUT U, S, X, V c U|S{X~VUT U, S, X, W c (U{W)~S{XUT U, T, O, V c (U{O{V)~TUT U, T, P, Q c (U~Q{P)~TUT U, T, P, U c (U{T)~U|PUT U, T, P, V c (U{P~V)~TUT U, T, P, W c (U|P)~(T{W)UT U, T, P, X c U~(P{X){TUT U, T, Q, P c (U~Q{P)~TUT U, T, Q, T c (U{T{Q)~TUT U, T, Q, W c U~(Q{W){TUT U, T, Q, X c (U|Q{X)~TUT U, T, R, S c (U{R{S)~TUT U, T, R, T c (U~R|T)~TUT U, T, R, V c U~(R{V){TUT U, T, S, R c (U{S{R)~TUT U, T, S, U c (U{S)~U{TUT U, T, S, V c (U{S)~V|TUT U, T, S, X c (U{X)~S{TUT U, T, T, Q c (U{T{Q)~TUT U, T, T, R c (U~R|T)~TUT U, T, T, T c U~(T{T){TUT U, T, T, U c (U{U)~T{TUT U, T, T, V c U~T{T~VUT U, T, T, W c (U{W)~T|TUT U, T, U, P c (U{T)~U|PUT U, T, U, S c U~(U{S){TUT U, T, U, T c (U{U)~T{TUT U, T, U, X c U{T{U~XUT U, T, V, O c (U{V)~(T{O)UT U, T, V, P c (U{V)~(T~P)UT U, T, V, R c U~(V{R){TUT U, T, V, S c (U{S)~V|TUT U, T, V, T c U~T{V~TUT U, T, V, V c U~(T{V)|VUT U, T, W, P c (U{W|P)~TUT U, T, W, Q c U~(W{Q){TUT U, T, W, T c (U{W)~T|TUT U, T, W, W c U|T{W~WUT U, T, X, P c U~(X{P){TUT U, T, X, Q c (U{X|Q)~TUT U, T, X, S c (U{X)~S{TUT U, T, X, U c U{T{X~UUT U, U, P, T c (U{U{P)~TUT U, U, P, V c (U|P)~(U{V)UT U, U, Q, V c U~U~Q|VUT U, U, S, T c U~(U{S){TUT U, U, T, P c U~(U{T)|PUT U, U, T, S c U~(U{S){TUT U, U, T, T c (U{U)~T{TUT U, U, T, X c U{U~X{TUT U, U, U, V c (U{U)~U|VUT U, U, V, P c (U{V)~(U|P)UT U, U, V, Q c U~U~Q|VUT U, U, V, U c (U{U)~U|VUT U, U, W, W c UU{W~WUT U, U, X, T c U{U~X{TUT U, V, O, T c (U{V{O)~TUT U, V, P, S c (U{V)~(P{S)UT U, V, P, T c (U{V)~(P~T)UT U, V, P, U c (U{V)~(U|P)UT U, V, Q, R c (U{V)~(Q{R)UT U, V, Q, U c U~Q~U|VUT U, V, Q, V c (U{V)~(V|Q)UT U, V, Q, X c (U{Q)~V{XUT U, V, R, Q c (U{V)~(R{Q)UT U, V, R, S c U~R~S|VUT U, V, R, T c U~(V{R){TUT U, V, R, W c U{V~W{RUT U, V, R, X c UR{V~XUT U, V, S, P c (U{V)~(S{P)UT U, V, S, R c U~S~R|VUT U, V, S, T c (U{S)~V|TUT U, V, S, W c U~(S{W)|VUT U, V, S, X c U{V~X|SUT U, V, T, O c (U{V)~(T{O)UT U, V, T, P c (U{V)~(T~P)UT U, V, T, R c U~(V{R){TUT U, V, T, S c (U{S)~V|TUT U, V, T, T c U~T{V~TUT U, V, T, V c U~(V{T)|VUT U, V, U, P c (U{V)~(U|P)UT U, V, U, Q c U~U~Q|VUT U, V, U, U c (U{U)~U|VUT U, V, V, Q c (U{V)~(V|Q)UT U, V, V, T c U~(V{T)|VUT U, V, W, R c U{V~W{RUT U, V, W, S c U~(W{S)|VUT U, V, W, W c V|U{W~WUT U, V, W, X c V~X|U{WUT U, V, X, Q c (U{Q)~V{XUT U, V, X, R c U~(X{R)|VUT U, V, X, S c U{V~X|SUT U, V, X, W c V~X|U{WUT U, W, P, Q c (U{Q)~W{PUT U, W, P, R c U~(W{R)|PUT U, W, P, T c (U{W|P)~TUT U, W, P, X c (U{P)~W{XUT U, W, Q, P c (U{Q)~W{PUT U, W, Q, T c U~(W{Q){TUT U, W, R, P c U~(W{R)|PUT U, W, R, V c U{W~V{RUT U, W, R, X c U~X{W{RUT U, W, S, V c U~(W{S)|VUT U, W, S, X c (U{W)~S{XUT U, W, T, P c (U{W|P)~TUT U, W, T, Q c U~(W{Q){TUT U, W, T, T c (U{W)~T|TUT U, W, T, W c U{W~W|TUT U, W, U, W c UU{W~WUT U, W, V, R c U{W~V{RUT U, W, V, S c U~(W{S)|VUT U, W, V, W c W~W|U{VUT U, W, V, X c W|U{V~XUT U, W, W, T c U{W~W|TUT U, W, W, U c UU{W~WUT U, W, W, V c W~W|U{VUT U, W, W, X c U~W{W{XUT U, W, X, P c (U{P)~W{XUT U, W, X, R c U~X{W{RUT U, W, X, S c (U{W)~S{XUT U, W, X, V c W|U{X~VUT U, W, X, W c U~W{X{WUT U, X, P, Q c U~(X{Q)|PUT U, X, P, S c (U|P)~(X{S)UT U, X, P, T c U~(X{P){TUT U, X, P, W c (U{P)~W{XUT U, X, Q, P c U~(X{Q)|PUT U, X, Q, T c (U{X|Q)~TUT U, X, Q, V c (U{Q)~X|VUT U, X, Q, X c U~X{Q{XUT U, X, R, V c U~(X{R)|VUT U, X, R, W c U~X{R{WUT U, X, S, P c (U|P)~(X{S)UT U, X, S, T c (U{X)~S{TUT U, X, S, V c U~X{S{VUT U, X, S, W c (U{W)~S{XUT U, X, T, P c U~(X{P){TUT U, X, T, Q c (U{X|Q)~TUT U, X, T, S c (U{X)~S{TUT U, X, T, U c U~X{T{UUT U, X, U, T c U{X~U{TUT U, X, V, Q c (U{Q)~X|VUT U, X, V, R c U~(X{R)|VUT U, X, V, S c U{X~V|SUT U, X, V, W c X~V|U{WUT U, X, W, P c (U{P)~W{XUT U, X, W, R c U~X{W{RUT U, X, W, S c (U{W)~S{XUT U, X, W, V c X~V|U{WUT U, X, W, W c U~W{X{WUT U, X, X, Q c U~X{X{QUT V, O, Q, X c (V{O)~X{QUT V, O, T, U c (V{O{U)~TUT V, O, U, T c (V{O{U)~TUT V, O, W, X c (V{O)~W{XUT V, O, X, Q c (V{O)~X{QUT V, O, X, W c (V{O)~W{XUT V, P, P, W c (V{P)~W{PUT V, P, P, X c V~X{P{PUT V, P, Q, T c (V~Q|P)~TUT V, P, Q, W c V~(P{W){QUT V, P, Q, X c V~P~X{QUT V, P, R, X c V~X|P{RUT V, P, S, U c (V{S)~U|PUT V, P, S, X c (V{X)~S{PUT V, P, T, Q c (V~Q|P)~TUT V, P, T, T c (V{P{T)~TUT V, P, T, U c (V{P~U)~TUT V, P, T, V c (V|P{V)~TUT V, P, T, X c V~(P{X)|TUT V, P, U, S c (V{U)~(P{S)UT V, P, U, T c (V{P~U)~TUT V, P, U, U c (V{U)~(U|P)UT V, P, V, T c (V|P{V)~TUT V, P, V, X c (V{P)~V{XUT V, P, W, P c (V{P)~W{PUT V, P, W, Q c V~(P{W){QUT V, P, W, W c V~W{P{WUT V, P, W, X c V~P~W{XUT V, P, X, P c V~X{P{PUT V, P, X, Q c V~P~X{QUT V, P, X, R c V~X|P{RUT V, P, X, S c (V{X)~S{PUT V, P, X, T c V~(P{X)|TUT V, P, X, V c (V{P)~X|VUT V, P, X, W c V~P~W{XUT V, P, X, X c V~(X|P){XUT V, Q, O, X c (V{O)~X{QUT V, Q, P, T c (V~Q|P)~TUT V, Q, P, W c V~(P{W){QUT V, Q, P, X c V~P~X{QUT V, Q, Q, V c (V{Q)~V{QUT V, Q, R, R c V~R~R{QUT V, Q, R, T c (V{Q~R)~TUT V, Q, R, U c V~(R{U){QUT V, Q, S, T c (V{Q{S)~TUT V, Q, S, X c (V|Q)~(S{X)UT V, Q, T, P c (V~Q|P)~TUT V, Q, T, R c (V{Q~R)~TUT V, Q, T, S c (V{Q{S)~TUT V, Q, T, T c V~Q~T|TUT V, Q, T, W c (V|Q)~(T{W)UT V, Q, U, R c (V{U)~(Q{R)UT V, Q, U, U c Q~U~U|VUT V, Q, U, V c (V|Q)~(U{V)UT V, Q, U, X c V~(Q{U){XUT V, Q, V, Q c (V{Q)~V{QUT V, Q, V, U c (V|Q)~(V{U)UT V, Q, V, W c V{Q{V~WUT V, Q, V, X c V~(QV{X)UT V, Q, W, P c V~(W{P){QUT V, Q, W, T c (V|Q{W)~TUT V, Q, W, V c V{Q{W~VUT V, Q, X, O c V~X{Q{OUT V, Q, X, P c V~X{Q~PUT V, Q, X, S c (V|Q)~(X{S)UT V, Q, X, U c V~(Q{U){XUT V, Q, X, V c V~(QV{X)UT V, Q, X, X c (V{QX)~XUT V, R, P, X c V~X{R|PUT V, R, Q, R c V~R~R{QUT V, R, Q, T c (V{R~Q)~TUT V, R, Q, U c V~(R{U){QUT V, R, R, Q c V~R~R{QUT V, R, R, T c (V{R{R)~TUT V, R, R, W c V~W{R~RUT V, R, S, U c R~S~U|VUT V, R, T, Q c (V{R~Q)~TUT V, R, T, R c (V{R{R)~TUT V, R, T, U c (V{R)~U{TUT V, R, T, V c (V{R)~V|TUT V, R, T, W c (V~R|W)~TUT V, R, T, X c V~(R{T){XUT V, R, U, Q c V~(R{U){QUT V, R, U, S c R~U~S|VUT V, R, U, T c (V{R)~U{TUT V, R, U, W c (V{U)~(W|R)UT V, R, U, X c V~X{URUT V, R, V, T c (V{R)~V|TUT V, R, W, R c V~W{R~RUT V, R, W, T c (V~R|W)~TUT V, R, W, U c V~W{R{UUT V, R, X, P c V~X{R|PUT V, R, X, T c (V|R{X)~TUT V, R, X, U c V~X{URUT V, S, P, U c (V{S)~U|PUT V, S, P, X c (V{X)~S{PUT V, S, Q, T c (V{S{Q)~TUT V, S, Q, X c V~S~Q{XUT V, S, R, U c S~R~U|VUT V, S, S, V c V~V{S~SUT V, S, S, X c V~(S{S){XUT V, S, T, Q c V~(S{T){QUT V, S, T, T c (S~T|V)~TUT V, S, T, U c V~(S{U)|TUT V, S, T, W c (V{W)~S{TUT V, S, U, P c (V{S)~U|PUT V, S, U, R c S~U~R|VUT V, S, U, T c V~(S{U)|TUT V, S, U, W c (S{W)~U|VUT V, S, U, X c V{S{U~XUT V, S, V, S c V~V{S~SUT V, S, V, X c (V{V)~S{XUT V, S, W, T c (V{W)~S{TUT V, S, W, U c (S{W)~U|VUT V, S, W, X c V~X{WSUT V, S, X, P c (V{X)~S{PUT V, S, X, Q c V~S~Q{XUT V, S, X, S c V~(S{S){XUT V, S, X, U c V{S{X~UUT V, S, X, V c (V{V)~S{XUT V, S, X, W c V~X{WSUT V, S, X, X c S~(X{X)|VUT V, T, O, U c (V{O{U)~TUT V, T, P, Q c (V~Q|P)~TUT V, T, P, T c (V{T{P)~TUT V, T, P, U c (V{P~U)~TUT V, T, P, V c (V|P{V)~TUT V, T, P, X c V~(P{X)|TUT V, T, Q, P c (V~Q|P)~TUT V, T, Q, R c (V{Q~R)~TUT V, T, Q, S c V~(T{S){QUT V, T, Q, T c V~T~Q|TUT V, T, Q, W c (V|Q)~(T{W)UT V, T, R, Q c (V{R~Q)~TUT V, T, R, R c (V{R{R)~TUT V, T, R, U c (V{R)~U{TUT V, T, R, V c (V{R)~V|TUT V, T, R, W c (V~R|W)~TUT V, T, R, X c V~(T{R){XUT V, T, S, Q c V~(T{S){QUT V, T, S, T c (T~S|V)~TUT V, T, S, U c V~(S{U)|TUT V, T, S, W c V~W{T{SUT V, T, T, P c (V{T{P)~TUT V, T, T, Q c V~T~Q|TUT V, T, T, S c T~(T~S|V)UT V, T, T, T c (V{T)~T{TUT V, T, T, U c V~T{T~UUT V, T, T, V c (V{V)~T|TUT V, T, U, O c (V{U)~(T{O)UT V, T, U, P c (V{U)~(T~P)UT V, T, U, R c (V{R)~U{TUT V, T, U, S c V~(U{S)|TUT V, T, U, T c V~T{U~TUT V, T, U, V c (V{T)~U|VUT V, T, V, P c (V{V|P)~TUT V, T, V, R c V~(V{R)|TUT V, T, V, T c (V{V)~T|TUT V, T, V, U c (V{T)~U|VUT V, T, V, X c V|T{V~XUT V, T, W, Q c (V{W|Q)~TUT V, T, W, R c (V~R|W)~TUT V, T, W, S c V~W{T{SUT V, T, X, P c V~(X{P)|TUT V, T, X, R c V~(T{R){XUT V, T, X, V c V|T{X~VUT V, U, O, T c (V{U{O)~TUT V, U, P, S c (V{U)~(P{S)UT V, U, P, T c (V{U)~(P~T)UT V, U, P, U c (V{U)~(U|P)UT V, U, Q, R c (V{U)~(Q{R)UT V, U, Q, U c U~Q~U|VUT V, U, Q, V c (V{U)~(V|Q)UT V, U, Q, X c V~(U{Q){XUT V, U, R, Q c (V{U)~(R{Q)UT V, U, R, S c U~R~S|VUT V, U, R, T c (V{R)~U{TUT V, U, R, W c (V{U)~(W|R)UT V, U, R, X c V~X{URUT V, U, S, P c (V{U)~(S{P)UT V, U, S, R c U~S~R|VUT V, U, S, T c V~(U{S)|TUT V, U, S, W c U~(S{W)|VUT V, U, S, X c V{U~X{SUT V, U, T, O c (V{U)~(T{O)UT V, U, T, P c (V{U)~(T~P)UT V, U, T, R c (V{R)~U{TUT V, U, T, S c V~(U{S)|TUT V, U, T, T c V~T{U~TUT V, U, T, V c (V{T)~U|VUT V, U, U, P c (V{U)~(U|P)UT V, U, U, Q c U~U~Q|VUT V, U, U, U c (U{U)~U|VUT V, U, V, Q c (V{U)~(V|Q)UT V, U, V, T c (V{T)~U|VUT V, U, W, R c (V{U)~(W|R)UT V, U, W, S c U~(W{S)|VUT V, U, W, W c V|U{W~WUT V, U, W, X c V~X|U{WUT V, U, X, Q c V~(U{Q){XUT V, U, X, R c V~X{URUT V, U, X, S c V{U~X{SUT V, U, X, W c V~X|U{WUT V, V, P, T c (V{V|P)~TUT V, V, P, X c V~(V{P){XUT V, V, Q, Q c V~(V{Q){QUT V, V, Q, U c (V|Q)~(V{U)UT V, V, Q, W c V~V{Q~WUT V, V, Q, X c V~(QV{X)UT V, V, R, T c V~(V{R)|TUT V, V, S, S c V~V{S~SUT V, V, S, X c (V{V)~S{XUT V, V, T, P c (V{V|P)~TUT V, V, T, R c V~(V{R)|TUT V, V, T, T c (V{V)~T|TUT V, V, T, U c (V{T)~U|VUT V, V, T, X c V{V~X|TUT V, V, U, Q c (V{U)~(V|Q)UT V, V, U, T c (V{T)~U|VUT V, V, V, X c V{V~V{XUT V, V, W, Q c V{V~W{QUT V, V, W, W c V~V{W{WUT V, V, W, X c V~(W{XV)UT V, V, X, P c V~(V{P){XUT V, V, X, Q c V~(X{QV)UT V, V, X, S c (V{V)~S{XUT V, V, X, T c V{V~X|TUT V, V, X, V c V~V{X{VUT V, V, X, W c V~(XV{W)UT V, V, X, X c V~X|V{XUT V, W, O, X c V~W{O{XUT V, W, P, P c (V{P)~W{PUT V, W, P, Q c V~(W{P){QUT V, W, P, W c V~W{P{WUT V, W, P, X c V~W{P~XUT V, W, Q, P c V~(W{P){QUT V, W, Q, T c (V{W|Q)~TUT V, W, Q, V c V~W{Q{VUT V, W, R, R c V~W{R~RUT V, W, R, T c (V~R|W)~TUT V, W, R, U c V~W{R{UUT V, W, S, T c (V{W)~S{TUT V, W, S, U c (W{S)~U|VUT V, W, S, X c V~X{WSUT V, W, T, Q c (V{W|Q)~TUT V, W, T, R c (V~R|W)~TUT V, W, T, S c V~W{T{SUT V, W, U, R c V~W{U{RUT V, W, U, S c (W{S)~U|VUT V, W, U, W c V{W~W|UUT V, W, U, X c V~X{W|UUT V, W, V, Q c V{W~V{QUT V, W, V, W c V~V{W{WUT V, W, V, X c V~(W{XV)UT V, W, W, P c V~W{W{PUT V, W, W, U c V{W~W|UUT V, W, W, V c V~V{W{WUT V, W, W, W c W|V{W~WUT V, W, W, X c (V{XW)~WUT V, W, X, O c V~W{X{OUT V, W, X, P c V~W{X~PUT V, W, X, S c V~X{WSUT V, W, X, U c V~X{W|UUT V, W, X, V c V~(W{XV)UT V, W, X, W c (V{XW)~WUT V, W, X, X c (W|VX)~XUT V, X, O, Q c V~X{O{QUT V, X, O, W c (V{O)~W{XUT V, X, P, P c V~X{P{PUT V, X, P, Q c V~X{P~QUT V, X, P, R c V~X|P{RUT V, X, P, S c (V{X)~S{PUT V, X, P, T c V~(X{P)|TUT V, X, P, V c (V{P)~X|VUT V, X, P, W c V~P~W{XUT V, X, P, X c V~(X|P){XUT V, X, Q, O c V~X{Q{OUT V, X, Q, P c V~X{Q~PUT V, X, Q, S c V~X|Q{SUT V, X, Q, U c V~(Q{U){XUT V, X, Q, V c V~(X{QV)UT V, X, Q, X c (V{QX)~XUT V, X, R, P c V~X{R|PUT V, X, R, T c (V{X|R)~TUT V, X, R, U c V~X{URUT V, X, S, P c (V{X)~S{PUT V, X, S, Q c V~X{S|QUT V, X, S, S c V~(S{S){XUT V, X, S, U c V~X|S{UUT V, X, S, V c (V{V)~S{XUT V, X, S, W c V~X{WSUT V, X, S, X c (X{X)~S|VUT V, X, T, P c V~(X{P)|TUT V, X, T, R c V~X{T|RUT V, X, T, V c V~X|T{VUT V, X, U, Q c V~(U{Q){XUT V, X, U, R c V~X{URUT V, X, U, S c V{X~U{SUT V, X, U, W c V~X|U{WUT V, X, V, P c V~(V{P){XUT V, X, V, Q c V~(X{QV)UT V, X, V, S c (V{V)~S{XUT V, X, V, T c V{X~V|TUT V, X, V, V c V{X{V~VUT V, X, V, W c V~(XV{W)UT V, X, V, X c V~X|V{XUT V, X, W, O c V~W{X{OUT V, X, W, P c V~W{X~PUT V, X, W, S c V~X{WSUT V, X, W, U c V~X{W|UUT V, X, W, V c V~(XV{W)UT V, X, W, W c (V{XW)~WUT V, X, W, X c X~(W|VX)UT V, X, X, P c V~(X|P){XUT V, X, X, Q c (V{QX)~XUT V, X, X, S c (X{X)~S|VUT V, X, X, V c V~X{X|VUT V, X, X, W c X~(W|VX)UT V, X, X, X c (X~X)|(V{X)UT W, O, P, W c (W{O)~W{PUT W, O, T, T c (W{O{T)~TUT W, O, V, X c (W{O)~V{XUT W, O, W, P c (W{O)~W{PUT W, O, X, V c (W{O)~X|VUT W, P, O, W c (W{O)~W{PUT W, P, P, V c W~(P{V){PUT W, P, P, W c W~P~W{PUT W, P, P, X c W~(X|P){PUT W, P, Q, S c W~Q~S{PUT W, P, Q, U c W~(Q{U){PUT W, P, Q, V c (W{P)~V{QUT W, P, Q, W c W~W|P{QUT W, P, Q, X c (W|P)~X{QUT W, P, R, T c W~(R{T){PUT W, P, R, U c (W{R)~U|PUT W, P, S, Q c W~S~Q{PUT W, P, S, S c W~(S{S){PUT W, P, S, T c (W{P{S)~TUT W, P, S, W c (W{W)~S{PUT W, P, T, R c W~(T{R){PUT W, P, T, S c (W{P{S)~TUT W, P, T, T c (W{P~T)~TUT W, P, T, U c (W|P{U)~TUT W, P, U, Q c W~(U{Q){PUT W, P, U, R c (W{R)~U|PUT W, P, U, T c (W|P{U)~TUT W, P, U, X c W~(P{U){XUT W, P, V, P c W~(P{V){PUT W, P, V, Q c (W{P)~V{QUT W, P, V, W c W{P{V~WUT W, P, V, X c W~P~V{XUT W, P, W, O c W~W{P{OUT W, P, W, P c W~P~W{PUT W, P, W, Q c W~W|P{QUT W, P, W, S c (W{W)~S{PUT W, P, W, V c W{P{W~VUT W, P, W, W c (W{PW)~WUT W, P, W, X c (W|P)~W{XUT W, P, X, P c W~(X|P){PUT W, P, X, Q c (W|P)~X{QUT W, P, X, U c W~(P{U){XUT W, P, X, V c W~P~X|VUT W, P, X, W c (W|P)~W{XUT W, Q, P, S c W~Q~S{PUT W, Q, P, U c W~(Q{U){PUT W, Q, P, V c (W{P)~V{QUT W, Q, P, W c W~W{Q|PUT W, Q, P, X c (W|P)~X{QUT W, Q, Q, W c W~W{QQUT W, Q, R, T c (W{Q{R)~TUT W, Q, R, W c W~W|Q{RUT W, Q, S, P c W~Q~S{PUT W, Q, T, R c (W{Q{R)~TUT W, Q, T, U c (W{Q)~U{TUT W, Q, T, V c (W{Q)~V|TUT W, Q, T, X c W~(Q{T){XUT W, Q, U, P c W~(Q{U){PUT W, Q, U, T c (W{Q)~U{TUT W, Q, V, P c (W{P)~V{QUT W, Q, V, T c (W{Q)~V|TUT W, Q, V, V c W~(Q{V)|VUT W, Q, W, P c W~W{Q|PUT W, Q, W, Q c W~W{QQUT W, Q, W, R c W~W|Q{RUT W, Q, X, P c (W|P)~X{QUT W, Q, X, T c (WQ{X)~TUT W, Q, X, X c W~X{Q|XUT W, R, P, T c W~(R{T){PUT W, R, P, U c (W{R)~U|PUT W, R, Q, T c (W{R{Q)~TUT W, R, Q, W c W~W{R|QUT W, R, R, V c W~R~R|VUT W, R, R, W c W~W{RRUT W, R, S, W c W~W|R{SUT W, R, S, X c (W|R)~(S{X)UT W, R, T, P c W~(R{T){PUT W, R, T, Q c (W{R{Q)~TUT W, R, T, V c (R~V|W)~TUT W, R, T, W c (W|R)~(T{W)UT W, R, U, P c (W{R)~U|PUT W, R, U, V c (W|R)~(U{V)UT W, R, U, X c W{R{U~XUT W, R, V, R c W~R~R|VUT W, R, V, T c (R~V|W)~TUT W, R, V, U c (W|R)~(V{U)UT W, R, W, Q c W~W{R|QUT W, R, W, R c W~W{RRUT W, R, W, S c W~W|R{SUT W, R, W, T c (W|R{W)~TUT W, R, X, S c (W|R)~(X{S)UT W, R, X, U c W{R{X~UUT W, S, P, Q c W~S~Q{PUT W, S, P, S c W~(S{S){PUT W, S, P, T c (W{S{P)~TUT W, S, P, W c (W{W)~S{PUT W, S, Q, P c W~S~Q{PUT W, S, R, W c W~W{S|RUT W, S, R, X c W~(S{R){XUT W, S, S, P c W~(S{S){PUT W, S, S, W c W~W{SSUT W, S, T, P c (W{S{P)~TUT W, S, T, T c (W{S)~T{TUT W, S, T, V c W~(S{T)|VUT W, S, T, W c W~W|S{TUT W, S, T, X c (W|S{X)~TUT W, S, U, V c (W{S)~U|VUT W, S, U, X c (W{U)~S{XUT W, S, V, T c W~(S{T)|VUT W, S, V, U c (W{S)~U|VUT W, S, V, X c WS{V~XUT W, S, W, P c (W{W)~S{PUT W, S, W, R c W~W{S|RUT W, S, W, S c W~W{SSUT W, S, W, T c W~W|S{TUT W, S, X, R c W~(S{R){XUT W, S, X, T c (W|S{X)~TUT W, S, X, U c (W{U)~S{XUT W, S, X, V c WS{X~VUT W, T, O, T c (W{T{O)~TUT W, T, P, R c W~(T{R){PUT W, T, P, S c (W{T)~(P{S)UT W, T, P, T c (W{T)~(P~T)UT W, T, P, U c (W{T)~(U|P)UT W, T, Q, R c (W{T)~(Q{R)UT W, T, Q, U c (W{Q)~U{TUT W, T, Q, V c (W{T)~(V|Q)UT W, T, Q, X c W~(T{Q){XUT W, T, R, P c W~(T{R){PUT W, T, R, Q c (W{T)~(R{Q)UT W, T, R, V c T~(R~V|W)UT W, T, R, W c (W{T)~(W|R)UT W, T, S, P c (W{T)~(S{P)UT W, T, S, T c (W{S)~T{TUT W, T, S, V c W~(T{S)|VUT W, T, S, W c W~W{T|SUT W, T, S, X c (W{T)~(X|S)UT W, T, T, O c (W{T)~(T{O)UT W, T, T, P c (W{T)~(T~P)UT W, T, T, S c (W{S)~T{TUT W, T, T, T c W~T{T~TUT W, T, T, U c (W{U)~T|TUT W, T, T, W c W~W{TTUT W, T, U, P c (W{T)~(U|P)UT W, T, U, Q c (W{Q)~U{TUT W, T, U, T c (W{U)~T|TUT W, T, U, W c W~W|T{UUT W, T, V, Q c (W{T)~(V|Q)UT W, T, V, R c T~(V~R|W)UT W, T, V, S c W~(T{S)|VUT W, T, W, R c (W{T)~(W|R)UT W, T, W, S c W~W{T|SUT W, T, W, T c W~W{TTUT W, T, W, U c W~W|T{UUT W, T, X, Q c W~(T{Q){XUT W, T, X, S c (W{T)~(X|S)UT W, U, P, Q c W~(U{Q){PUT W, U, P, R c (W{R)~U|PUT W, U, P, T c (W{U|P)~TUT W, U, P, X c W~(U{P){XUT W, U, Q, P c W~(U{Q){PUT W, U, Q, T c (W{Q)~U{TUT W, U, R, P c (W{R)~U|PUT W, U, R, V c W~(U{R)|VUT W, U, R, X c W{U~X{RUT W, U, S, V c (W{S)~U|VUT W, U, S, X c (W{U)~S{XUT W, U, T, P c (W{U|P)~TUT W, U, T, Q c (W{Q)~U{TUT W, U, T, T c (W{U)~T|TUT W, U, T, W c W~W{U|TUT W, U, U, W c W~W{UUUT W, U, V, R c W~(U{R)|VUT W, U, V, S c (W{S)~U|VUT W, U, V, W c W~W|U{VUT W, U, V, X c W|U{V~XUT W, U, W, T c W~W{U|TUT W, U, W, U c W~W{UUUT W, U, W, V c W~W|U{VUT W, U, W, X c W{U~W{XUT W, U, X, P c W~(U{P){XUT W, U, X, R c W{U~X{RUT W, U, X, S c (W{U)~S{XUT W, U, X, V c W|U{X~VUT W, U, X, W c W~U{X{WUT W, V, O, X c W~V{O{XUT W, V, P, P c W~(V{P){PUT W, V, P, Q c (W{P)~V{QUT W, V, P, W c W~V{P{WUT W, V, P, X c W~V{P~XUT W, V, Q, P c (W{P)~V{QUT W, V, Q, T c (W{V|Q)~TUT W, V, Q, V c W~V{Q{VUT W, V, R, R c W~V{R~RUT W, V, R, T c (V~R|W)~TUT W, V, R, U c W~V{R{UUT W, V, S, T c (W{V)~S{TUT W, V, S, U c (W{S)~U|VUT W, V, S, X c WS{V~XUT W, V, T, Q c (W{V|Q)~TUT W, V, T, R c (V~R|W)~TUT W, V, T, S c W~V{T{SUT W, V, U, R c W~V{U{RUT W, V, U, S c (W{S)~U|VUT W, V, U, W c W~W{V|UUT W, V, U, X c W{V~X|UUT W, V, V, Q c W~V{V{QUT W, V, V, W c W{V~V{WUT W, V, V, X c (W{XV)~VUT W, V, W, P c W{V~W{PUT W, V, W, U c W~W{V|UUT W, V, W, V c W{V~V{WUT W, V, W, W c W|V{W~WUT W, V, W, X c W~(V{XW)UT W, V, X, O c W~V{X{OUT W, V, X, P c W~V{X~PUT W, V, X, S c WS{V~XUT W, V, X, U c W{V~X|UUT W, V, X, V c (W{XV)~VUT W, V, X, W c W~(V{XW)UT W, V, X, X c (W|VX)~XUT W, W, O, P c W~W{O{PUT W, W, P, O c W~W{P{OUT W, W, P, P c W~W{P~PUT W, W, P, Q c W~W|P{QUT W, W, P, S c (W{W)~S{PUT W, W, P, V c W~(W{P)|VUT W, W, P, W c W~(W{PW)UT W, W, P, X c W~(W|P){XUT W, W, Q, P c W~W{Q|PUT W, W, Q, Q c W~W{QQUT W, W, Q, R c W~W|Q{RUT W, W, R, Q c W~W{R|QUT W, W, R, R c W~W{RRUT W, W, R, S c W~W|R{SUT W, W, R, T c (W{W|R)~TUT W, W, S, P c (W{W)~S{PUT W, W, S, R c W~W{S|RUT W, W, S, S c W~W{SSUT W, W, S, T c W~W|S{TUT W, W, T, R c (W{W|R)~TUT W, W, T, S c W~W{T|SUT W, W, T, T c W~W{TTUT W, W, T, U c W~W|T{UUT W, W, U, T c W~W{U|TUT W, W, U, U c W~W{UUUT W, W, U, V c W~W|U{VUT W, W, U, X c W{W~U{XUT W, W, V, P c W{W~V{PUT W, W, V, U c W~W{V|UUT W, W, V, V c W{W{V~VUT W, W, V, W c W~W|V{WUT W, W, V, X c W~(V{XW)UT W, W, W, P c W~(W{PW)UT W, W, W, V c W{W~W|VUT W, W, W, W c W~W{WWUT W, W, W, X c W~W|W{XUT W, W, X, P c W~(W|P){XUT W, W, X, U c W{W~U{XUT W, W, X, V c W~(XW{V)UT W, W, X, W c W~W{X|WUT W, W, X, X c W~W{XXUT W, X, O, V c W~X{O|VUT W, X, P, P c W~(X|P){PUT W, X, P, Q c (W|P)~X{QUT W, X, P, U c (W~X)|(P{U)UT W, X, P, V c W~X|P~VUT W, X, P, W c W~X{P|WUT W, X, Q, P c (W|P)~X{QUT W, X, Q, T c (W~X)|(Q{T)UT W, X, Q, X c W~X{Q|XUT W, X, R, S c (W~X)|(R{S)UT W, X, R, U c W{X~U{RUT W, X, S, R c (W{X)~S|RUT W, X, S, T c (W{X|S)~TUT W, X, S, U c (W{U)~S{XUT W, X, S, V c WS{X~VUT W, X, T, Q c (W~X)|(T{Q)UT W, X, T, S c (W{X|S)~TUT W, X, U, P c (W~X)|(U{P)UT W, X, U, R c W{X~U{RUT W, X, U, S c (W{U)~S{XUT W, X, U, V c W{X~V|UUT W, X, U, W c W{X{U~WUT W, X, V, O c W~X|V{OUT W, X, V, P c W~X|V~PUT W, X, V, S c WS{X~VUT W, X, V, U c W{X~V|UUT W, X, V, V c (W{XV)~VUT W, X, V, W c W~(X|VW)UT W, X, V, X c (W|VX)~XUT W, X, W, P c W~X|W{PUT W, X, W, U c W{X{W~UUT W, X, W, V c W~(XW{V)UT W, X, W, W c W~W{X|WUT W, X, W, X c W~W{XXUT W, X, X, Q c W~X|X{QUT W, X, X, V c (W|VX)~XUT W, X, X, W c W~W{XXUT X, O, Q, V c (X{O)~V{QUT X, O, S, T c (X{O{S)~TUT X, O, T, S c (X{O{S)~TUT X, O, V, Q c (X{O)~V{QUT X, O, V, W c X{O{V~WUT X, O, W, V c X{O{W~VUT X, P, P, V c X~V{P{PUT X, P, P, W c (X|P)~W{PUT X, P, Q, U c X~(P{U){QUT X, P, Q, V c X~P~V{QUT X, P, Q, W c X~(W|P){QUT X, P, R, T c (X{P{R)~TUT X, P, R, V c X~V|P{RUT X, P, S, S c (X{S)~(P{S)UT X, P, S, T c (X{P~S)~TUT X, P, S, U c (X{S)~(U|P)UT X, P, S, V c (X{V)~S{PUT X, P, T, R c (X{P{R)~TUT X, P, T, S c (X{P~S)~TUT X, P, T, T c (X|P{T)~TUT X, P, T, U c (X{P)~U{TUT X, P, T, V c (X{P)~V|TUT X, P, U, Q c X~(P{U){QUT X, P, U, S c (X{S)~(U|P)UT X, P, U, T c (X{P)~U{TUT X, P, U, W c X{(P{U)~WUT X, P, V, P c X~V{P{PUT X, P, V, Q c X~P~V{QUT X, P, V, R c X~V|P{RUT X, P, V, S c (X{V)~S{PUT X, P, V, T c (X{P)~V|TUT X, P, V, V c X{(P{V)~VUT X, P, V, W c X{P~V~WUT X, P, V, X c (X|P)~V{XUT X, P, W, P c (X|P)~W{PUT X, P, W, Q c X~(W|P){QUT X, P, W, U c X{(P{U)~WUT X, P, W, V c X{P~W~VUT X, P, W, W c X{(W|P)~WUT X, P, X, V c (X|P)~X|VUT X, Q, O, V c (X{O)~V{QUT X, Q, P, U c (X{Q)~U|PUT X, Q, P, V c X~P~V{QUT X, Q, P, W c X~(W|P){QUT X, Q, Q, T c (X{Q{Q)~TUT X, Q, Q, X c (X|Q)~X{QUT X, Q, R, S c X~(R{S){QUT X, Q, S, R c (X{S)~(Q{R)UT X, Q, S, V c X{Q~S~VUT X, Q, T, Q c X~(Q{T){QUT X, Q, T, T c (X~Q|T)~TUT X, Q, T, U c (X|Q{U)~TUT X, Q, T, W c X{(Q{T)~WUT X, Q, U, P c (X{Q)~U|PUT X, Q, U, T c (X|Q{U)~TUT X, Q, U, V c X{(Q{U)~VUT X, Q, U, X c X{Q{U~XUT X, Q, V, O c X~V{Q{OUT X, Q, V, P c X~V{Q~PUT X, Q, V, S c X{Q~V~SUT X, Q, V, U c X{(Q{U)~VUT X, Q, V, V c (X{QV)~VUT X, Q, V, X c X~(QX{V)UT X, Q, W, P c X~(W|P){QUT X, Q, W, T c X{(Q{T)~WUT X, Q, W, X c (X|Q)~W{XUT X, Q, X, Q c (X|Q)~X{QUT X, Q, X, U c X{Q{X~UUT X, Q, X, V c X~(QX{V)UT X, Q, X, W c (X|Q)~W{XUT X, R, P, T c (X{R{P)~TUT X, R, P, V c X~V{R|PUT X, R, Q, S c X~(R{S){QUT X, R, S, Q c X~(R{S){QUT X, R, S, W c X{(R{S)~WUT X, R, T, P c (X{R{P)~TUT X, R, T, T c (X{R)~T{TUT X, R, T, V c X{(R{T)~VUT X, R, U, V c (X{R)~U|VUT X, R, U, W c X~U{R{WUT X, R, V, P c X~V{R|PUT X, R, V, T c (X|R{V)~TUT X, R, V, U c (X{R)~U|VUT X, R, W, S c X{(R{S)~WUT X, R, W, U c X~U{R{WUT X, S, O, T c (X{S{O)~TUT X, S, P, S c (X{S)~(P{S)UT X, S, P, T c (X{S)~(P~T)UT X, S, P, U c (X{S)~(U|P)UT X, S, P, V c (X{V)~S{PUT X, S, Q, R c (X{S)~(Q{R)UT X, S, Q, V c X{S~Q~VUT X, S, R, Q c (X{S)~(R{Q)UT X, S, R, W c X{(S{R)~WUT X, S, S, P c (X{S)~(S{P)UT X, S, S, V c X{(S{S)~VUT X, S, S, X c (X|S)~(S{X)UT X, S, T, O c (X{S)~(T{O)UT X, S, T, P c (X{S)~(T~P)UT X, S, T, T c X~T{S~TUT X, S, T, U c (X{U)~S{TUT X, S, T, W c (X|S)~(T{W)UT X, S, T, X c X{S~(T{X)UT X, S, U, P c (X{S)~(U|P)UT X, S, U, T c (X{U)~S{TUT X, S, U, V c (X|S)~(U{V)UT X, S, U, W c X{S~(U{W)UT X, S, V, P c (X{V)~S{PUT X, S, V, Q c (X{S)~(V|Q)UT X, S, V, S c X{(S{S)~VUT X, S, V, U c (X|S)~(V{U)UT X, S, V, V c X{S~(V{V)UT X, S, V, W c X~V{WSUT X, S, V, X c (X{X)~S|VUT X, S, W, R c (X{S)~(W|R)UT X, S, W, T c (X|S{W)~TUT X, S, W, U c X{S~(W{U)UT X, S, W, V c X~V{WSUT X, S, X, S c (X{S)~(X|S)UT X, S, X, T c X{S~(X{T)UT X, S, X, V c (X{X)~S|VUT X, T, O, S c (X{O{S)~TUT X, T, P, R c (X{P{R)~TUT X, T, P, S c (X{P~S)~TUT X, T, P, T c (X{T|P)~TUT X, T, P, U c (X{P)~U{TUT X, T, P, V c (X{P)~V|TUT X, T, Q, Q c X~(T{Q){QUT X, T, Q, T c (X~Q|T)~TUT X, T, Q, U c (X|Q{U)~TUT X, T, Q, W c X{(T{Q)~WUT X, T, R, P c (X{R{P)~TUT X, T, R, T c (X{R)~T{TUT X, T, R, V c X{(T{R)~VUT X, T, S, O c (X{S)~(T{O)UT X, T, S, P c (X{S)~(T~P)UT X, T, S, T c X~T{S~TUT X, T, S, U c (X{U)~S{TUT X, T, S, W c (X|S)~(T{W)UT X, T, S, X c (X{T)~S{XUT X, T, T, P c (X{T|P)~TUT X, T, T, Q c (X~Q|T)~TUT X, T, T, R c (X{R)~T{TUT X, T, T, S c X~T{T~SUT X, T, T, T c (X{T)~T|TUT X, T, T, X c (X|T{X)~TUT X, T, U, P c (X{P)~U{TUT X, T, U, Q c (X{U|Q)~TUT X, T, U, S c (X{U)~S{TUT X, T, U, U c X~U{T{UUT X, T, V, P c (X{P)~V|TUT X, T, V, R c X{(T{R)~VUT X, T, V, V c X~V|T{VUT X, T, W, Q c X{(T{Q)~WUT X, T, W, S c (X{W|S)~TUT X, T, X, S c X{(T{X)~SUT X, T, X, T c (X|T{X)~TUT X, U, P, Q c X~(U{P){QUT X, U, P, S c (X{S)~(U|P)UT X, U, P, T c (X{P)~U{TUT X, U, P, W c X{(U{P)~WUT X, U, Q, P c X~(U{P){QUT X, U, Q, T c (X{U|Q)~TUT X, U, Q, V c X{(U{Q)~VUT X, U, Q, X c X~U{Q{XUT X, U, R, V c (X{R)~U|VUT X, U, R, W c X~U{R{WUT X, U, S, P c (X{S)~(U|P)UT X, U, S, T c (X{U)~S{TUT X, U, S, V c X~U{S{VUT X, U, S, W c X{(U{W)~SUT X, U, T, P c (X{P)~U{TUT X, U, T, Q c (X{U|Q)~TUT X, U, T, S c (X{U)~S{TUT X, U, T, U c X~U{T{UUT X, U, U, T c X~U{U{TUT X, U, V, Q c X{(U{Q)~VUT X, U, V, R c X~V{URUT X, U, V, S c X~U{V{SUT X, U, V, W c X~V|U{WUT X, U, W, P c X{(U{P)~WUT X, U, W, R c X~U{W{RUT X, U, W, S c X{(U{W)~SUT X, U, W, V c X~V|U{WUT X, U, W, W c X{U~W{WUT X, U, X, Q c X{U~X{QUT X, V, O, Q c X~V{O{QUT X, V, O, W c X{(V{O)~WUT X, V, P, P c X~V{P{PUT X, V, P, Q c X~V{P~QUT X, V, P, R c X~V|P{RUT X, V, P, S c (X{V)~S{PUT X, V, P, T c (X{P)~V|TUT X, V, P, V c X{(V{P)~VUT X, V, P, W c X{V~P~WUT X, V, P, X c X{V~(X|P)UT X, V, Q, O c X~V{Q{OUT X, V, Q, P c X~V{Q~PUT X, V, Q, S c X{V~Q~SUT X, V, Q, U c X{V~(Q{U)UT X, V, Q, V c (X{QV)~VUT X, V, Q, X c X~(V{QX)UT X, V, R, P c X~V{R|PUT X, V, R, T c (X{V|R)~TUT X, V, R, U c X~V{URUT X, V, S, P c (X{V)~S{PUT X, V, S, Q c X{V~S~QUT X, V, S, S c X{V~(S{S)UT X, V, S, U c X~V|S{UUT X, V, S, V c X{(V{V)~SUT X, V, S, W c X~V{WSUT X, V, S, X c (X{X)~S|VUT X, V, T, P c (X{P)~V|TUT X, V, T, R c X{V~(T{R)UT X, V, T, V c X~V|T{VUT X, V, U, Q c X{V~(U{Q)UT X, V, U, R c X~V{URUT X, V, U, S c X~V{U|SUT X, V, U, W c X~V|U{WUT X, V, V, P c X{V~(V{P)UT X, V, V, Q c (X{QV)~VUT X, V, V, S c X{(V{V)~SUT X, V, V, T c X~V{V|TUT X, V, V, V c X{V{V~VUT X, V, V, W c (XV{W)~VUT X, V, V, X c X|V{V~XUT X, V, W, O c X{V~W{OUT X, V, W, P c X{V~W~PUT X, V, W, S c X~V{WSUT X, V, W, U c X~V{W|UUT X, V, W, V c (XV{W)~VUT X, V, W, W c (X|VW)~WUT X, V, W, X c X~(W|VX)UT X, V, X, P c X{V~(X|P)UT X, V, X, Q c X~(V{QX)UT X, V, X, S c (X{X)~S|VUT X, V, X, V c X{V~X|VUT X, V, X, W c X~(W|VX)UT X, V, X, X c (X~X)|(V{X)UT X, W, O, V c X{(W{O)~VUT X, W, P, P c (X|P)~W{PUT X, W, P, Q c X~(W|P){QUT X, W, P, U c X{W~(P{U)UT X, W, P, V c X{W~P~VUT X, W, P, W c X{(W|P)~WUT X, W, Q, P c X~(W|P){QUT X, W, Q, T c X{W~(Q{T)UT X, W, Q, X c X~W{Q|XUT X, W, R, S c X{W~(R{S)UT X, W, R, U c X~U{W{RUT X, W, S, R c X{W~(S{R)UT X, W, S, T c (X{W|S)~TUT X, W, S, U c X{(W{U)~SUT X, W, S, V c X~V{WSUT X, W, T, Q c X{W~(T{Q)UT X, W, T, S c (X{W|S)~TUT X, W, U, P c X{W~(U{P)UT X, W, U, R c X~U{W{RUT X, W, U, S c X{(W{U)~SUT X, W, U, V c X~V{W|UUT X, W, U, W c X{W{U~WUT X, W, V, O c X{W~V{OUT X, W, V, P c X{W~V~PUT X, W, V, S c X~V{WSUT X, W, V, U c X~V{W|UUT X, W, V, V c (XV{W)~VUT X, W, V, W c (XW{V)~WUT X, W, V, X c X~(W|VX)UT X, W, W, P c X{W~(W|P)UT X, W, W, U c X{W{W~UUT X, W, W, V c (XW{V)~WUT X, W, W, W c X{W~W|WUT X, W, W, X c (X~X)|(W{W)UT X, W, X, Q c X{W~(X|Q)UT X, W, X, V c X~(W|VX)UT X, W, X, W c (X~X)|(W{W)UT X, X, P, V c X{(X|P)~VUT X, X, Q, Q c X~(X|Q){QUT X, X, Q, U c X{X~U{QUT X, X, Q, V c X~(QX{V)UT X, X, Q, W c X{(X|Q)~WUT X, X, S, S c X~X|S~SUT X, X, S, T c X{(X{T)~SUT X, X, S, V c (X{X)~S|VUT X, X, T, S c X{(X{T)~SUT X, X, T, T c (X{X|T)~TUT X, X, U, Q c X{X~U{QUT X, X, V, P c X{(X|P)~VUT X, X, V, Q c X~(V{QX)UT X, X, V, S c (X{X)~S|VUT X, X, V, V c X{X~V|VUT X, X, V, W c X~(W|VX)UT X, X, V, X c (X~X)|(V{X)UT X, X, W, Q c X~X|W~QUT X, X, W, V c X~(W|VX)UT X, X, W, W c (X~X)|(W{W)UT X, X, X, V c (X~X)|(X{V)UT