O, T, X, X c O{T{X~XWU O, X, T, X c O{X~X{TWU O, X, X, T c O{X~X{TWU P, Q, U, V c (P{U~V)~QWU P, Q, V, U c (P{V~U)~QWU P, S, X, X c P{S{X~XWU P, T, W, X c P{T~(W{X)WU P, T, X, W c P{T~(X{W)WU P, T, X, X c P~T{X~XWU P, U, Q, V c (P{U~V)~QWU P, U, V, Q c (P{U~V)~QWU P, U, W, X c (P{X)~W{UWU P, U, X, W c (P{X)~W{UWU P, U, X, X c U|P{X~XWU P, V, Q, U c (P{V~U)~QWU P, V, U, Q c (P{V~U)~QWU P, W, T, X c P{(W{X)~TWU P, W, U, X c (P{X)~W{UWU P, W, X, T c P{(W{X)~TWU P, W, X, U c (P{X)~W{UWU P, X, S, X c P{X~X{SWU P, X, T, W c P{(X{W)~TWU P, X, T, X c P~X~X{TWU P, X, U, W c (P{X)~W{UWU P, X, U, X c X~X|P{UWU P, X, W, T c P{(X{W)~TWU P, X, W, U c (P{X)~W{UWU P, X, X, S c P{X~X{SWU P, X, X, T c P~X~X{TWU P, X, X, U c X~X|P{UWU Q, P, U, V c Q~(P{U~V)WU Q, P, V, U c Q~(P{V~U)WU Q, Q, T, X c Q~(T~X|Q)WU Q, Q, U, V c Q{Q~U~VWU Q, Q, V, U c Q{Q~V~UWU Q, Q, W, X c (Q{X)~W|QWU Q, Q, X, T c Q~(X~T|Q)WU Q, Q, X, W c (Q{X)~W|QWU Q, R, S, V c Q{R~S~VWU Q, R, T, W c Q~(R{T~W)WU Q, R, V, S c Q{R~V~SWU Q, R, V, X c Q{(R{X)~VWU Q, R, W, T c Q~(R{W~T)WU Q, R, W, W c (R{W)~W|QWU Q, R, X, V c Q{(R{X)~VWU Q, R, X, X c Q{R{X~XWU Q, S, R, V c Q{S~R~VWU Q, S, T, X c Q~T~X|SWU Q, S, V, R c Q{S~V~RWU Q, S, V, W c Q{(S{W)~VWU Q, S, V, X c Q~(S~X{V)WU Q, S, W, V c Q{(S{W)~VWU Q, S, W, X c (Q{W)~X|SWU Q, S, X, T c Q~X~T|SWU Q, S, X, V c Q~(S~X{V)WU Q, S, X, W c (Q{W)~X|SWU Q, T, Q, X c Q~(T~X|Q)WU Q, T, R, W c Q~(T~W{R)WU Q, T, S, X c Q~T~X|SWU Q, T, U, W c Q~T~W{UWU Q, T, U, X c Q{(T{X)~UWU Q, T, V, V c Q{(T{V)~VWU Q, T, V, W c Q~(T~V{W)WU Q, T, V, X c (Q{V)~X{TWU Q, T, W, R c Q~(T~W{R)WU Q, T, W, U c Q~T~W{UWU Q, T, W, V c Q~(T~V{W)WU Q, T, X, Q c Q~(T~X|Q)WU Q, T, X, S c Q~T~X|SWU Q, T, X, U c Q{(T{X)~UWU Q, T, X, V c (Q{V)~X{TWU Q, U, P, V c Q~(U~V{P)WU Q, U, Q, V c Q{U~Q~VWU Q, U, T, W c Q~(U~W|T)WU Q, U, T, X c Q{U~(T{X)WU Q, U, U, V c Q{(U{U)~VWU Q, U, U, W c Q{U~(U{W)WU Q, U, V, P c Q~(U~V{P)WU Q, U, V, Q c Q{U~V~QWU Q, U, V, U c Q{(U{U)~VWU Q, U, V, V c Q{U~(V{V)WU Q, U, W, T c Q~(U~W|T)WU Q, U, W, U c Q{(U{W)~UWU Q, U, W, W c (Q{W)~W{UWU Q, U, X, T c Q{U~(X{T)WU Q, V, P, U c Q~(V~U{P)WU Q, V, Q, U c Q{V~Q~UWU Q, V, R, S c Q{V~R~SWU Q, V, R, X c Q{V~(R{X)WU Q, V, S, R c Q{V~S~RWU Q, V, S, W c Q{V~(S{W)WU Q, V, S, X c Q~(V{S~X)WU Q, V, T, V c Q{(V{T)~VWU Q, V, T, W c Q~(V~T{W)WU Q, V, T, X c (Q{V)~X{TWU Q, V, U, P c Q~(V~U{P)WU Q, V, U, Q c Q{V~U~QWU Q, V, U, U c Q{V~(U{U)WU Q, V, U, V c Q{(V{V)~UWU Q, V, V, T c Q{V~(V{T)WU Q, V, V, U c Q{(V{V)~UWU Q, V, W, S c Q{V~(W{S)WU Q, V, W, T c Q~(V~T{W)WU Q, V, W, X c Q~V{W~XWU Q, V, X, R c Q{V~(X{R)WU Q, V, X, S c Q~(V{X~S)WU Q, V, X, T c (Q{V)~X{TWU Q, V, X, W c Q~V{X~WWU Q, V, X, X c (Q{X)~V{XWU Q, W, Q, X c (Q{X)~W|QWU Q, W, R, T c Q~(W~T{R)WU Q, W, R, W c (W{R)~W|QWU Q, W, S, V c Q{(W{S)~VWU Q, W, S, X c (Q{W)~X|SWU Q, W, T, R c Q~(W~T{R)WU Q, W, T, U c Q~W~T{UWU Q, W, T, V c Q~(W{T~V)WU Q, W, U, T c Q~(W~U|T)WU Q, W, U, U c Q{(W{U)~UWU Q, W, U, W c (Q{W)~W{UWU Q, W, V, S c Q{(W{S)~VWU Q, W, V, T c Q~(W{V~T)WU Q, W, V, X c Q~V{W~XWU Q, W, W, R c W~(W{R)|QWU Q, W, W, U c (Q{W)~W{UWU Q, W, X, Q c (Q{X)~W|QWU Q, W, X, S c (Q{W)~X|SWU Q, W, X, V c Q~V{W~XWU Q, X, Q, T c Q~(X~T|Q)WU Q, X, Q, W c (Q{X)~W|QWU Q, X, R, V c Q{(X{R)~VWU Q, X, R, X c Q{X~X{RWU Q, X, S, T c Q~X~T|SWU Q, X, S, V c Q~(X~S{V)WU Q, X, S, W c (Q{W)~X|SWU Q, X, T, Q c Q~(X~T|Q)WU Q, X, T, S c Q~X~T|SWU Q, X, T, U c Q{(X{T)~UWU Q, X, T, V c (Q{V)~X{TWU Q, X, U, T c Q{(X{T)~UWU Q, X, V, R c Q{(X{R)~VWU Q, X, V, S c Q~(X~S{V)WU Q, X, V, T c (Q{V)~X{TWU Q, X, V, W c Q~V{X~WWU Q, X, V, X c (Q{X)~V{XWU Q, X, W, Q c (Q{X)~W|QWU Q, X, W, S c (Q{W)~X|SWU Q, X, W, V c Q~V{X~WWU Q, X, X, R c Q{X~X{RWU Q, X, X, V c (Q{X)~V{XWU R, Q, S, V c R~S~V{QWU R, Q, T, W c (R{T~W)~QWU R, Q, V, S c R~V~S{QWU R, Q, V, X c (R{X)~V{QWU R, Q, W, T c (R{W~T)~QWU R, Q, W, W c (R{W)~W|QWU R, Q, X, V c (R{X)~V{QWU R, Q, X, X c R{Q{X~XWU R, R, T, X c R~R~X{TWU R, R, X, T c R~R~X{TWU R, S, Q, V c R~S~V{QWU R, S, T, U c R~T~U|SWU R, S, U, T c R~U~T|SWU R, S, V, Q c R~S~V{QWU R, S, V, X c (R{V)~X|SWU R, S, X, V c (R{V)~X|SWU R, T, Q, W c (R{T~W)~QWU R, T, R, X c R~R~X{TWU R, T, S, U c R~T~U|SWU R, T, U, S c R~T~U|SWU R, T, U, X c (R{U)~X{TWU R, T, W, Q c (R{T~W)~QWU R, T, X, R c R~X~R{TWU R, T, X, U c (R{U)~X{TWU R, U, S, T c R~U~T|SWU R, U, T, S c R~U~T|SWU R, U, T, X c (R{U)~X{TWU R, U, V, W c (R{V)~W{UWU R, U, W, V c (R{V)~W{UWU R, U, X, T c (R{U)~X{TWU R, V, Q, S c R~V~S{QWU R, V, Q, X c (R{X)~V{QWU R, V, S, Q c R~V~S{QWU R, V, S, X c (R{V)~X|SWU R, V, U, W c (R{V)~W{UWU R, V, W, U c (R{V)~W{UWU R, V, W, X c (R{W)~V{XWU R, V, X, Q c (R{X)~V{QWU R, V, X, S c (R{V)~X|SWU R, V, X, W c (R{W)~V{XWU R, W, Q, T c (R{W~T)~QWU R, W, Q, W c (R{W)~W|QWU R, W, T, Q c (R{W~T)~QWU R, W, U, V c (R{V)~W{UWU R, W, V, U c (R{V)~W{UWU R, W, V, X c (R{W)~V{XWU R, W, W, Q c (R{W)~W|QWU R, W, X, V c (R{W)~V{XWU R, W, X, X c W|R{X~XWU R, X, Q, V c (R{X)~V{QWU R, X, Q, X c R{X~X{QWU R, X, R, T c R~X~R{TWU R, X, S, V c (R{V)~X|SWU R, X, T, R c R~X~R{TWU R, X, T, U c (R{U)~X{TWU R, X, U, T c (R{U)~X{TWU R, X, V, Q c (R{X)~V{QWU R, X, V, S c (R{V)~X|SWU R, X, V, W c (R{W)~V{XWU R, X, W, V c (R{W)~V{XWU R, X, W, X c X~X|R{WWU R, X, X, Q c R{X~X{QWU R, X, X, W c X~X|R{WWU S, P, X, X c S{P{X~XWU S, Q, R, V c S~R~V{QWU S, Q, T, X c Q~T~X|SWU S, Q, V, R c S~V~R{QWU S, Q, V, W c (S{V)~W|QWU S, Q, V, X c (S~X{V)~QWU S, Q, W, V c (S{W)~V{QWU S, Q, W, X c (Q{W)~X|SWU S, Q, X, T c Q~X~T|SWU S, Q, X, V c (S~X{V)~QWU S, Q, X, W c (Q{W)~X|SWU S, R, Q, V c S~R~V{QWU S, R, T, U c R~T~U|SWU S, R, U, T c R~U~T|SWU S, R, V, Q c S~R~V{QWU S, R, V, X c (R{V)~X|SWU S, R, X, V c (R{V)~X|SWU S, S, T, U c S~S~T{UWU S, S, U, T c S~S~T{UWU S, S, U, X c (S{U)~X|SWU S, S, X, U c (S{U)~X|SWU S, T, Q, X c T~Q~X|SWU S, T, R, U c T~R~U|SWU S, T, S, U c S~T~S{UWU S, T, T, X c (S{T)~X{TWU S, T, U, R c T~U~R|SWU S, T, U, S c S~T~S{UWU S, T, V, X c (S{X)~V|TWU S, T, X, Q c T~X~Q|SWU S, T, X, T c (S{T)~X{TWU S, T, X, V c (S{X)~V|TWU S, T, X, X c T~(X{X)|SWU S, U, R, T c U~R~T|SWU S, U, S, T c S~S~T{UWU S, U, S, X c (S{U)~X|SWU S, U, T, R c U~T~R|SWU S, U, T, S c S~T~S{UWU S, U, U, W c (S{U)~W{UWU S, U, U, X c U~(U{X)|SWU S, U, V, W c U~(V{W)|SWU S, U, W, U c (S{U)~W{UWU S, U, W, V c U~(W{V)|SWU S, U, W, X c S~W{U~XWU S, U, X, S c (S{U)~X|SWU S, U, X, U c (U{X)~U|SWU S, U, X, W c (S{X)~U{WWU S, V, Q, R c S~V~R{QWU S, V, Q, W c (S{V)~W|QWU S, V, Q, X c (S~X{V)~QWU S, V, R, Q c S~V~R{QWU S, V, R, X c (V{R)~X|SWU S, V, T, X c (S{X)~V|TWU S, V, U, W c (V{W)~U|SWU S, V, V, X c (S{V)~V{XWU S, V, W, Q c (S{V)~W|QWU S, V, W, U c (V{W)~U|SWU S, V, W, X c (VS{X)~WWU S, V, X, Q c (S~X{V)~QWU S, V, X, R c (V{R)~X|SWU S, V, X, T c (S{X)~V|TWU S, V, X, V c (S{V)~V{XWU S, V, X, W c (VS{X)~WWU S, W, Q, V c (S{W)~V{QWU S, W, Q, X c (W{Q)~X|SWU S, W, U, U c (S{U)~W{UWU S, W, U, V c (W{V)~U|SWU S, W, U, X c S~W{U~XWU S, W, V, Q c (S{W)~V{QWU S, W, V, U c (W{V)~U|SWU S, W, V, X c W~(VS{X)WU S, W, X, Q c (W{Q)~X|SWU S, W, X, U c S~W{X~UWU S, W, X, V c W~(X{VS)WU S, X, P, X c S{X~X{PWU S, X, Q, T c X~Q~T|SWU S, X, Q, V c (S~X{V)~QWU S, X, Q, W c X~(Q{W)|SWU S, X, R, V c X~(R{V)|SWU S, X, S, U c (S{U)~X|SWU S, X, T, Q c X~T~Q|SWU S, X, T, T c (S{T)~X{TWU S, X, T, V c (S{X)~V|TWU S, X, T, X c (X{X)~T|SWU S, X, U, S c (S{U)~X|SWU S, X, U, U c (X{U)~U|SWU S, X, U, W c (S{X)~U{WWU S, X, V, Q c (S~X{V)~QWU S, X, V, R c X~(V{R)|SWU S, X, V, T c (S{X)~V|TWU S, X, V, V c (S{V)~V{XWU S, X, V, W c (X{VS)~WWU S, X, W, Q c X~(W{Q)|SWU S, X, W, U c (S{X)~U{WWU S, X, W, V c (X{VS)~WWU S, X, X, P c S{X~X{PWU S, X, X, T c (X{X)~T|SWU S, X, X, X c X|S{X~XWU T, O, X, X c T{O{X~XWU T, P, W, X c T{(P{W)~XWU T, P, X, W c T{(P{W)~XWU T, P, X, X c T{P~X~XWU T, Q, Q, X c (T~X|Q)~QWU T, Q, R, W c (T~W{R)~QWU T, Q, S, X c T~Q~X|SWU T, Q, U, W c T~Q~W{UWU T, Q, U, X c (T{X)~U{QWU T, Q, V, V c (T{V)~V{QWU T, Q, V, W c (T~V{W)~QWU T, Q, V, X c T{(Q{V)~XWU T, Q, W, R c (T~W{R)~QWU T, Q, W, U c T~Q~W{UWU T, Q, W, V c (T~V{W)~QWU T, Q, X, Q c (T~X|Q)~QWU T, Q, X, S c T~Q~X|SWU T, Q, X, U c (T{X)~U{QWU T, Q, X, V c T{(Q{V)~XWU T, R, Q, W c (T~W{R)~QWU T, R, R, X c T{R~R~XWU T, R, S, U c T~R~U|SWU T, R, U, S c T~R~U|SWU T, R, U, X c T{(R{U)~XWU T, R, W, Q c (T~W{R)~QWU T, R, X, R c T{R~X~RWU T, R, X, U c T{(R{U)~XWU T, S, Q, X c T~Q~X|SWU T, S, R, U c T~R~U|SWU T, S, S, U c T~S~S{UWU T, S, T, X c T{(S{T)~XWU T, S, U, R c T~U~R|SWU T, S, U, S c T~S~S{UWU T, S, V, X c (S{X)~V|TWU T, S, X, Q c T~X~Q|SWU T, S, X, T c (T{S)~X{TWU T, S, X, V c (S{X)~V|TWU T, S, X, X c T~(X{X)|SWU T, T, S, X c T{(T{S)~XWU T, T, U, W c (T{T)~W{UWU T, T, V, W c (T{W)~V|TWU T, T, W, U c (T{T)~W{UWU T, T, W, V c (T{W)~V|TWU T, T, X, S c (T{T)~X|SWU T, U, Q, W c (T{U)~W|QWU T, U, Q, X c (T{X)~U{QWU T, U, R, S c T~U~R|SWU T, U, R, X c T{(U{R)~XWU T, U, S, R c T~U~R|SWU T, U, S, S c T~S~S{UWU T, U, T, W c (T{T)~W{UWU T, U, V, V c (U{V)~V|TWU T, U, V, W c T~U{V~WWU T, U, V, X c (T{U)~V{XWU T, U, W, Q c (T{U)~W|QWU T, U, W, T c (T{T)~W{UWU T, U, W, V c T~U{W~VWU T, U, W, W c (T{W)~U{WWU T, U, X, Q c (T{X)~U{QWU T, U, X, R c T{(U{R)~XWU T, U, X, V c (T{U)~V{XWU T, V, Q, V c (T{V)~V{QWU T, V, Q, W c (T~V{W)~QWU T, V, Q, X c T{(V{Q)~XWU T, V, S, X c V~(S{X)|TWU T, V, T, W c (T{W)~V|TWU T, V, U, V c (V{U)~V|TWU T, V, U, W c T~U{V~WWU T, V, U, X c T~(V{X){UWU T, V, V, Q c (T{V)~V{QWU T, V, V, U c V~(V{U)|TWU T, V, W, Q c (T~V{W)~QWU T, V, W, T c (T{W)~V|TWU T, V, W, U c T~U{V~WWU T, V, X, Q c T{(V{Q)~XWU T, V, X, S c V~(X{S)|TWU T, V, X, U c T~(V{X){UWU T, W, P, X c T{(W{P)~XWU T, W, Q, R c (T~W{R)~QWU T, W, Q, U c T~W~Q{UWU T, W, Q, V c (T~V{W)~QWU T, W, R, Q c (T~W{R)~QWU T, W, T, U c (T{T)~W{UWU T, W, T, V c (T{W)~V|TWU T, W, U, Q c T~W~Q{UWU T, W, U, T c (T{T)~W{UWU T, W, U, V c T~U{W~VWU T, W, U, W c (T{W)~U{WWU T, W, V, Q c (T~V{W)~QWU T, W, V, T c (T{W)~V|TWU T, W, V, U c T~U{W~VWU T, W, W, U c T~(W{W){UWU T, W, X, P c T~(W{X){PWU T, W, X, X c T{W~X{XWU T, X, O, X c T{(X{O)~XWU T, X, P, W c T{X~(P{W)WU T, X, P, X c T{X~P~XWU T, X, Q, Q c (T~X|Q)~QWU T, X, Q, S c T~X~Q|SWU T, X, Q, U c (T{X)~U{QWU T, X, Q, V c T{X~(Q{V)WU T, X, R, R c T{X~R~RWU T, X, R, U c T{X~(R{U)WU T, X, S, Q c T~X~Q|SWU T, X, S, T c T{X~(S{T)WU T, X, S, V c (X{S)~V|TWU T, X, S, X c T~(X{X)|SWU T, X, T, S c T{X~(T{S)WU T, X, U, Q c (T{X)~U{QWU T, X, U, R c T{X~(U{R)WU T, X, U, V c T~(X{V){UWU T, X, V, Q c T{X~(V{Q)WU T, X, V, S c (X{S)~V|TWU T, X, V, U c T~(X{V){UWU T, X, W, P c T{X~(W{P)WU T, X, W, X c T{X{W~XWU T, X, X, O c T{X~X{OWU T, X, X, P c T{X~X~PWU T, X, X, S c T~(X{X)|SWU T, X, X, W c T{X{X~WWU T, X, X, X c (TX{X)~XWU U, P, Q, V c (U~V{P)~QWU U, P, V, Q c (U~V{P)~QWU U, P, W, X c U{(P{X)~WWU U, P, X, W c U{(P{X)~WWU U, P, X, X c U|P{X~XWU U, Q, P, V c (U~V{P)~QWU U, Q, Q, V c U~Q~V{QWU U, Q, T, W c U{Q~T~WWU U, Q, T, X c U~(T{X){QWU U, Q, U, V c (U{U)~V{QWU U, Q, U, W c U~(U{W){QWU U, Q, V, P c (U~V{P)~QWU U, Q, V, Q c U~Q~V{QWU U, Q, V, U c (U{U)~V{QWU U, Q, V, V c U~(V{V){QWU U, Q, W, T c U{Q~W~TWU U, Q, W, U c (U{W)~U{QWU U, Q, W, W c U{(Q{W)~WWU U, Q, X, T c U~(X{T){QWU U, R, S, T c U~R~T|SWU U, R, T, S c U~R~T|SWU U, R, T, X c (U{R)~X{TWU U, R, V, W c U{(R{V)~WWU U, R, W, V c U{(R{V)~WWU U, R, X, T c (U{R)~X{TWU U, S, R, T c U~R~T|SWU U, S, S, T c U{S~S~TWU U, S, S, X c (U{S)~X|SWU U, S, T, R c U~T~R|SWU U, S, T, S c U{S~T~SWU U, S, U, W c U{(S{U)~WWU U, S, U, X c U~(U{X)|SWU U, S, V, W c U~(V{W)|SWU U, S, W, U c (U{S)~W{UWU U, S, W, V c U~(W{V)|SWU U, S, W, X c U~(S{X){WWU U, S, X, S c (U{S)~X|SWU U, S, X, U c (U{X)~U|SWU U, S, X, W c U~(S{X){WWU U, T, Q, W c U{T~Q~WWU U, T, Q, X c U~(T{X){QWU U, T, R, S c U~T~R|SWU U, T, R, X c (U{R)~X{TWU U, T, S, R c U~T~R|SWU U, T, S, S c U{T~S~SWU U, T, T, W c U{(T{T)~WWU U, T, V, V c (U{V)~V|TWU U, T, V, W c U~T{V~WWU U, T, V, X c (U{T)~V{XWU U, T, W, Q c (U{T)~W|QWU U, T, W, T c U{(T{T)~WWU U, T, W, V c U~T{W~VWU U, T, W, W c U{T~(W{W)WU U, T, X, Q c U~(T{X){QWU U, T, X, R c (U{R)~X{TWU U, T, X, V c U{T~(X{V)WU U, U, Q, V c (U{U)~V{QWU U, U, Q, W c U~(U{W){QWU U, U, S, W c U{(U{S)~WWU U, U, S, X c U~(U{X)|SWU U, U, V, Q c (U{U)~V{QWU U, U, V, W c U~(U{V){WWU U, U, W, Q c U~(U{W){QWU U, U, W, S c U{(U{S)~WWU U, U, W, V c U~(U{V){WWU U, U, X, S c U~(U{X)|SWU U, V, P, Q c (U~V{P)~QWU U, V, Q, P c (U~V{P)~QWU U, V, Q, Q c U~V~Q{QWU U, V, Q, U c (U{U)~V{QWU U, V, Q, V c U~(V{V){QWU U, V, R, W c U{(V{R)~WWU U, V, S, W c U~(V{W)|SWU U, V, T, V c (U{V)~V|TWU U, V, T, W c U~T{V~WWU U, V, T, X c U{(V{X)~TWU U, V, U, Q c (U{U)~V{QWU U, V, U, W c (U{V)~U{WWU U, V, V, Q c U~(V{V){QWU U, V, V, T c (U{V)~V|TWU U, V, W, R c U{(V{R)~WWU U, V, W, S c U~(V{W)|SWU U, V, W, T c U~T{V~WWU U, V, W, U c (U{V)~U{WWU U, V, X, T c U{(V{X)~TWU U, W, P, X c U{W~(P{X)WU U, W, Q, T c U{W~Q~TWU U, W, Q, U c (U{W)~U{QWU U, W, Q, W c U{(W{Q)~WWU U, W, R, V c U{W~(R{V)WU U, W, S, U c U{W~(S{U)WU U, W, S, V c U~(W{V)|SWU U, W, S, X c U~(S{X){WWU U, W, T, Q c U{W~T~QWU U, W, T, T c U{W~(T{T)WU U, W, T, V c U~T{W~VWU U, W, T, W c U~(W{T){WWU U, W, U, Q c (U{W)~U{QWU U, W, U, S c U{W~(U{S)WU U, W, U, V c U~(U{V){WWU U, W, V, R c U{W~(V{R)WU U, W, V, S c U~(W{V)|SWU U, W, V, T c U~T{W~VWU U, W, V, U c (U{V)~U{WWU U, W, W, Q c U{W~(W{Q)WU U, W, W, T c U{(W{W)~TWU U, W, W, X c U{W{W~XWU U, W, X, P c U{W~(X{P)WU U, W, X, S c U~X{W~SWU U, W, X, W c U{W{X~WWU U, X, P, W c U{(X{P)~WWU U, X, P, X c U{X~X|PWU U, X, Q, T c U~(X{T){QWU U, X, R, T c (U{R)~X{TWU U, X, S, S c (U{S)~X|SWU U, X, S, U c (U{X)~U|SWU U, X, S, W c U~(X{S){WWU U, X, T, Q c U~(X{T){QWU U, X, T, R c (U{R)~X{TWU U, X, T, V c U{(X{V)~TWU U, X, U, S c (U{X)~U|SWU U, X, V, T c U{(X{V)~TWU U, X, W, P c U{(X{P)~WWU U, X, W, S c U~X{W~SWU U, X, W, W c U{X~W{WWU U, X, X, P c U{X~X|PWU V, P, Q, U c (V~U{P)~QWU V, P, U, Q c (V~U{P)~QWU V, Q, P, U c (V~U{P)~QWU V, Q, Q, U c V~Q~U{QWU V, Q, R, S c V~R~S{QWU V, Q, R, X c V~(R{X){QWU V, Q, S, R c V~S~R{QWU V, Q, S, W c (V{S)~W|QWU V, Q, S, X c (V{S~X)~QWU V, Q, T, V c (V{T)~V{QWU V, Q, T, W c (V~T{W)~QWU V, Q, T, X c (V{Q)~X{TWU V, Q, U, P c (V~U{P)~QWU V, Q, U, Q c V~Q~U{QWU V, Q, U, U c (V{U~U)~QWU V, Q, U, V c (V{V)~U{QWU V, Q, V, T c V~(V{T){QWU V, Q, V, U c (V{V)~U{QWU V, Q, W, S c V~(W{S){QWU V, Q, W, T c (V~T{W)~QWU V, Q, W, X c V~Q{W~XWU V, Q, X, R c V~(X{R){QWU V, Q, X, S c (V{X~S)~QWU V, Q, X, T c (V{Q)~X{TWU V, Q, X, W c V~Q{X~WWU V, Q, X, X c V|Q{X~XWU V, R, Q, S c V~R~S{QWU V, R, Q, X c V~(R{X){QWU V, R, S, Q c V~R~S{QWU V, R, S, X c (V{R)~X|SWU V, R, U, W c (V{R)~W{UWU V, R, W, U c (V{R)~W{UWU V, R, W, X c V~(R{W){XWU V, R, X, Q c V~(R{X){QWU V, R, X, S c (V{R)~X|SWU V, R, X, W c V~(R{W){XWU V, S, Q, R c V~S~R{QWU V, S, Q, W c (V{S)~W|QWU V, S, Q, X c (V{S~X)~QWU V, S, R, Q c V~S~R{QWU V, S, R, X c (V{R)~X|SWU V, S, T, X c V~(S{X)|TWU V, S, U, W c (V{W)~U|SWU V, S, V, X c (V{S)~V{XWU V, S, W, Q c (V{S)~W|QWU V, S, W, U c (V{W)~U|SWU V, S, W, X c (VS{X)~WWU V, S, X, Q c (V{S~X)~QWU V, S, X, R c (V{R)~X|SWU V, S, X, T c V~(S{X)|TWU V, S, X, V c (V{S)~V{XWU V, S, X, W c (VS{X)~WWU V, T, Q, V c (V{T)~V{QWU V, T, Q, W c (V~T{W)~QWU V, T, Q, X c (V{Q)~X{TWU V, T, S, X c V~(S{X)|TWU V, T, T, W c V~(T{W)|TWU V, T, U, V c (V{U)~V|TWU V, T, U, W c V~W{T~UWU V, T, U, X c V~(T{U){XWU V, T, V, Q c (V{T)~V{QWU V, T, V, U c V~(V{U)|TWU V, T, W, Q c (V~T{W)~QWU V, T, W, T c V~(T{W)|TWU V, T, W, U c V~W{T~UWU V, T, X, Q c (V{Q)~X{TWU V, T, X, S c V~(X{S)|TWU V, T, X, U c V~(T{U){XWU V, U, P, Q c (V~U{P)~QWU V, U, Q, P c (V~U{P)~QWU V, U, Q, Q c V~U~Q{QWU V, U, Q, U c (V{U~U)~QWU V, U, Q, V c (V{V)~U{QWU V, U, R, W c (V{R)~W{UWU V, U, S, W c (V{W)~U|SWU V, U, T, V c (V{U)~V|TWU V, U, T, W c V~W{U~TWU V, U, T, X c V~(U{T){XWU V, U, U, Q c (V{U~U)~QWU V, U, U, W c (V{U)~U{WWU V, U, V, Q c (V{V)~U{QWU V, U, V, T c (V{U)~V|TWU V, U, W, R c (V{R)~W{UWU V, U, W, S c (V{W)~U|SWU V, U, W, T c V~W{U~TWU V, U, W, U c (V{U)~U{WWU V, U, X, T c V~(U{T){XWU V, V, Q, T c V~(V{T){QWU V, V, Q, U c (V{V)~U{QWU V, V, S, X c V~(V{S){XWU V, V, T, Q c V~(V{T){QWU V, V, T, U c V~(V{U)|TWU V, V, U, Q c (V{V)~U{QWU V, V, U, T c V~(V{U)|TWU V, V, W, X c V{V{W~XWU V, V, X, S c V~(V{S){XWU V, V, X, W c V{V{X~WWU V, W, Q, S c V~(W{S){QWU V, W, Q, T c (V~T{W)~QWU V, W, Q, X c V~Q{W~XWU V, W, R, U c (V{R)~W{UWU V, W, R, X c V~(W{R){XWU V, W, S, Q c V~(W{S){QWU V, W, S, U c (V{W)~U|SWU V, W, S, X c (VS{X)~WWU V, W, T, Q c (V~T{W)~QWU V, W, T, T c V~(W{T)|TWU V, W, T, U c V~W{T~UWU V, W, U, R c (V{R)~W{UWU V, W, U, S c (V{W)~U|SWU V, W, U, T c V~W{U~TWU V, W, U, U c (V{U)~U{WWU V, W, V, X c V{W~X{VWU V, W, X, Q c V~Q{W~XWU V, W, X, R c V~(W{R){XWU V, W, X, S c (VS{X)~WWU V, W, X, V c V{W~X{VWU V, X, Q, R c V~(X{R){QWU V, X, Q, S c (V{X~S)~QWU V, X, Q, T c (V{Q)~X{TWU V, X, Q, W c V~Q{X~WWU V, X, Q, X c V~(X{Q){XWU V, X, R, Q c V~(X{R){QWU V, X, R, S c (V{R)~X|SWU V, X, R, W c V~(R{W){XWU V, X, S, Q c (V{X~S)~QWU V, X, S, R c (V{R)~X|SWU V, X, S, T c V~(X{S)|TWU V, X, S, V c (V{S)~V{XWU V, X, S, W c (VS{X)~WWU V, X, T, Q c (V{Q)~X{TWU V, X, T, S c V~(X{S)|TWU V, X, T, U c (V{X)~T{UWU V, X, U, T c (V{X)~T{UWU V, X, V, S c V~(V{S){XWU V, X, V, W c V{X~W{VWU V, X, W, Q c V~Q{X~WWU V, X, W, R c V~(W{R){XWU V, X, W, S c (VS{X)~WWU V, X, W, V c V{X~W{VWU V, X, X, Q c V{X~X|QWU W, P, T, X c (W{P)~X{TWU W, P, U, X c W~(P{X){UWU W, P, X, T c (W{P)~X{TWU W, P, X, U c W~(P{X){UWU W, Q, Q, X c W~(Q{X)|QWU W, Q, R, T c (W~T{R)~QWU W, Q, R, W c (W{R)~W|QWU W, Q, S, V c (W{S)~V{QWU W, Q, S, X c (W{Q)~X|SWU W, Q, T, R c (W~T{R)~QWU W, Q, T, U c W~Q~T{UWU W, Q, T, V c (W{T~V)~QWU W, Q, U, T c W~Q~T{UWU W, Q, U, U c (W{U)~U{QWU W, Q, U, W c (W{Q)~W{UWU W, Q, V, S c W~(V{S)|QWU W, Q, V, T c (W{V~T)~QWU W, Q, V, X c W~X{Q~VWU W, Q, W, R c W~(W{R)|QWU W, Q, W, U c (W{Q)~W{UWU W, Q, X, Q c W~(Q{X)|QWU W, Q, X, S c (W{Q)~X|SWU W, Q, X, V c W~X{Q~VWU W, R, Q, T c (W~T{R)~QWU W, R, Q, W c (W{R)~W|QWU W, R, T, Q c (W~T{R)~QWU W, R, U, V c W~(R{V){UWU W, R, V, U c W~(R{V){UWU W, R, V, X c (W{R)~V{XWU W, R, W, Q c (W{R)~W|QWU W, R, X, V c (W{R)~V{XWU W, R, X, X c W|R{X~XWU W, S, Q, V c (W{S)~V{QWU W, S, Q, X c (W{Q)~X|SWU W, S, U, U c W~(S{U){UWU W, S, U, V c (W{V)~U|SWU W, S, U, X c W~S{U~XWU W, S, V, Q c (W{S)~V{QWU W, S, V, U c (W{V)~U|SWU W, S, V, X c W~(VS{X)WU W, S, X, Q c (W{Q)~X|SWU W, S, X, U c W{(S{X)~UWU W, S, X, V c W~(X{VS)WU W, T, P, X c (W{P)~X{TWU W, T, Q, R c (W~T{R)~QWU W, T, Q, U c W~T~Q{UWU W, T, Q, V c (W{T~V)~QWU W, T, R, Q c (W~T{R)~QWU W, T, T, U c W~(T{T){UWU W, T, T, V c (W{T)~V|TWU W, T, U, Q c W~(T{U)|QWU W, T, U, T c W~(T{T){UWU W, T, U, V c W~V{T~UWU W, T, U, W c (W{T)~U{WWU W, T, V, Q c (W{T~V)~QWU W, T, V, T c (W{T)~V|TWU W, T, V, U c W~V{T~UWU W, T, W, U c W{(T{W)~UWU W, T, X, P c (W{X)~T{PWU W, T, X, X c W~X{T{XWU W, U, P, X c W~(P{X){UWU W, U, Q, T c W~(U{T)|QWU W, U, Q, U c (W{U)~U{QWU W, U, Q, W c (W{Q)~W{UWU W, U, R, V c W~(R{V){UWU W, U, S, U c W~(U{S){UWU W, U, S, V c (W{V)~U|SWU W, U, S, X c W{U~(S{X)WU W, U, T, Q c W~(U{T)|QWU W, U, T, T c W~(T{T){UWU W, U, T, V c W~V{U~TWU W, U, T, W c W{U~(T{W)WU W, U, U, Q c (W{U)~U{QWU W, U, U, S c W~(U{S){UWU W, U, U, V c W{U~(U{V)WU W, U, V, R c W~(V{R){UWU W, U, V, S c (W{V)~U|SWU W, U, V, T c W~V{U~TWU W, U, V, U c W{(U{V)~UWU W, U, W, Q c W~(W{Q){UWU W, U, W, T c W{U~(W{T)WU W, U, W, X c W{U{W~XWU W, U, X, P c W~(X{P){UWU W, U, X, S c W{U~(X{S)WU W, U, X, W c W{U{X~WWU W, V, Q, S c W~(V{S)|QWU W, V, Q, T c (W{V~T)~QWU W, V, Q, X c W~X{V~QWU W, V, R, U c W~(V{R){UWU W, V, R, X c (W{R)~V{XWU W, V, S, Q c W~(V{S)|QWU W, V, S, U c (W{V)~U|SWU W, V, S, X c W~(VS{X)WU W, V, T, Q c (W{V~T)~QWU W, V, T, T c (W{T)~V|TWU W, V, T, U c W~V{T~UWU W, V, U, R c W~(V{R){UWU W, V, U, S c (W{V)~U|SWU W, V, U, T c W~V{U~TWU W, V, U, U c W{(V{U)~UWU W, V, V, X c W~X{V{VWU W, V, X, Q c W~X{V~QWU W, V, X, R c (W{R)~V{XWU W, V, X, S c W~(VS{X)WU W, V, X, V c W~X{V{VWU W, W, Q, R c W~(W{R)|QWU W, W, Q, U c W~(W{Q){UWU W, W, R, Q c W~(W{R)|QWU W, W, T, U c W{(W{T)~UWU W, W, U, Q c W~(W{Q){UWU W, W, U, T c W{(W{T)~UWU W, W, U, X c W{W~X{UWU W, W, X, U c W{W~X{UWU W, X, P, T c (W{X)~T{PWU W, X, P, U c W~(X{P){UWU W, X, Q, Q c W~(X{Q)|QWU W, X, Q, S c (W{Q)~X|SWU W, X, Q, V c W~X{Q~VWU W, X, R, V c (W{R)~V{XWU W, X, R, X c W{X~X|RWU W, X, S, Q c (W{Q)~X|SWU W, X, S, U c W{(X{S)~UWU W, X, S, V c W~(X{VS)WU W, X, T, P c (W{X)~T{PWU W, X, T, X c W~X{T{XWU W, X, U, P c W~(X{P){UWU W, X, U, S c W{(X{S)~UWU W, X, U, W c W~X{U{WWU W, X, V, Q c W~X{V~QWU W, X, V, R c (W{R)~V{XWU W, X, V, S c W~(X{VS)WU W, X, V, V c W~X{V{VWU W, X, W, U c W{X~W{UWU W, X, X, R c W{X~X|RWU W, X, X, T c W~X{X{TWU X, O, T, X c (X{O)~X{TWU X, O, X, T c (X{O)~X{TWU X, P, S, X c (X{P)~X|SWU X, P, T, W c X~(P{W){TWU X, P, T, X c X~P~X{TWU X, P, U, W c (X{P)~W{UWU X, P, U, X c X~X|P{UWU X, P, W, T c X~(P{W){TWU X, P, W, U c (X{P)~W{UWU X, P, X, S c (X{P)~X|SWU X, P, X, T c X~P~X{TWU X, P, X, U c X~X|P{UWU X, Q, Q, T c (X~T|Q)~QWU X, Q, Q, W c (X{Q)~W|QWU X, Q, R, V c (X{R)~V{QWU X, Q, R, X c X~X{Q{RWU X, Q, S, T c X~Q~T|SWU X, Q, S, V c (X~S{V)~QWU X, Q, S, W c X~(Q{W)|SWU X, Q, T, Q c (X~T|Q)~QWU X, Q, T, S c X~Q~T|SWU X, Q, T, U c (X{T)~U{QWU X, Q, T, V c X~(Q{V){TWU X, Q, U, T c (X{T)~U{QWU X, Q, V, R c (X{R)~V{QWU X, Q, V, S c (X~S{V)~QWU X, Q, V, T c X~(Q{V){TWU X, Q, V, W c X~W{Q~VWU X, Q, V, X c (X{Q)~V{XWU X, Q, W, Q c (X{Q)~W|QWU X, Q, W, S c X~(Q{W)|SWU X, Q, W, V c X~W{Q~VWU X, Q, X, R c X~X{Q{RWU X, Q, X, V c X{(Q{X)~VWU X, R, Q, V c (X{R)~V{QWU X, R, Q, X c X~X{R{QWU X, R, R, T c X~R~R{TWU X, R, S, V c X~(R{V)|SWU X, R, T, R c X~R~R{TWU X, R, T, U c X~(R{U){TWU X, R, U, T c X~(R{U){TWU X, R, V, Q c (X{R)~V{QWU X, R, V, S c X~(R{V)|SWU X, R, V, W c X{(R{W)~VWU X, R, W, V c X{(R{W)~VWU X, R, W, X c X~X|R{WWU X, R, X, Q c X~X{R{QWU X, R, X, W c X~X|R{WWU X, S, P, X c (X{P)~X|SWU X, S, Q, T c X~Q~T|SWU X, S, Q, V c (X~S{V)~QWU X, S, Q, W c X~(Q{W)|SWU X, S, R, V c X~(R{V)|SWU X, S, S, U c X~(S{U)|SWU X, S, T, Q c X~T~Q|SWU X, S, T, T c X~(S{T){TWU X, S, T, V c (X{S)~V|TWU X, S, T, X c (X{X)~T|SWU X, S, U, S c X~(S{U)|SWU X, S, U, U c (X{U)~U|SWU X, S, U, W c (X{S)~U{WWU X, S, V, Q c (X~S{V)~QWU X, S, V, R c X~(V{R)|SWU X, S, V, T c (X{S)~V|TWU X, S, V, V c X{(S{V)~VWU X, S, V, W c (X{VS)~WWU X, S, W, Q c X~(W{Q)|SWU X, S, W, U c (X{S)~U{WWU X, S, W, V c (X{VS)~WWU X, S, X, P c X~X{S{PWU X, S, X, T c (X{X)~T|SWU X, S, X, X c X|S{X~XWU X, T, O, X c (X{O)~X{TWU X, T, P, W c X~(P{W){TWU X, T, P, X c X~P~X{TWU X, T, Q, Q c (X~T|Q)~QWU X, T, Q, S c X~T~Q|SWU X, T, Q, U c (X{T)~U{QWU X, T, Q, V c X~(Q{V){TWU X, T, R, R c X~R~R{TWU X, T, R, U c X~(R{U){TWU X, T, S, Q c X~T~Q|SWU X, T, S, T c X~(T{S){TWU X, T, S, V c (X{S)~V|TWU X, T, S, X c (X{X)~T|SWU X, T, T, S c X~(T{T)|SWU X, T, U, Q c (X{T)~U{QWU X, T, U, R c X~(U{R){TWU X, T, U, V c X{(T{U)~VWU X, T, V, Q c X~(V{Q){TWU X, T, V, S c (X{S)~V|TWU X, T, V, U c X{(T{U)~VWU X, T, W, P c (X{W)~T{PWU X, T, W, X c X{T{W~XWU X, T, X, O c X~X{T{OWU X, T, X, P c X~X{T~PWU X, T, X, S c (X{X)~T|SWU X, T, X, W c X{T{X~WWU X, T, X, X c (X{TX)~XWU X, U, P, W c (X{P)~W{UWU X, U, P, X c X~X{U|PWU X, U, Q, T c (X{T)~U{QWU X, U, R, T c X~(U{R){TWU X, U, S, S c X~(U{S)|SWU X, U, S, U c (X{U)~U|SWU X, U, S, W c X~U{S~WWU X, U, T, Q c (X{T)~U{QWU X, U, T, R c X~(U{R){TWU X, U, T, V c X{(U{T)~VWU X, U, U, S c (X{U)~U|SWU X, U, V, T c X{(U{T)~VWU X, U, W, P c (X{P)~W{UWU X, U, W, S c X~U{W~SWU X, U, W, W c X~W{U{WWU X, U, X, P c X~X{U|PWU X, V, Q, R c (X{R)~V{QWU X, V, Q, S c (X~S{V)~QWU X, V, Q, T c X~(V{Q){TWU X, V, Q, W c X~W{V~QWU X, V, Q, X c X{V~(Q{X)WU X, V, R, Q c (X{R)~V{QWU X, V, R, S c X~(V{R)|SWU X, V, R, W c X{V~(R{W)WU X, V, S, Q c (X~S{V)~QWU X, V, S, R c X~(V{R)|SWU X, V, S, T c (X{S)~V|TWU X, V, S, V c X{(V{S)~VWU X, V, S, W c (X{VS)~WWU X, V, T, Q c X~(V{Q){TWU X, V, T, S c (X{S)~V|TWU X, V, T, U c (X{V)~T{UWU X, V, U, T c X{V~(U{T)WU X, V, V, S c X{V~(V{S)WU X, V, V, W c X~W{V{VWU X, V, W, Q c X~W{V~QWU X, V, W, R c X{V~(W{R)WU X, V, W, S c (X{VS)~WWU X, V, W, V c X~W{V{VWU X, V, X, Q c X{V~(X{Q)WU X, W, P, T c X~(W{P){TWU X, W, P, U c (X{P)~W{UWU X, W, Q, Q c (X{Q)~W|QWU X, W, Q, S c X~(W{Q)|SWU X, W, Q, V c X~W{Q~VWU X, W, R, V c X{(W{R)~VWU X, W, R, X c X~X{W|RWU X, W, S, Q c X~(W{Q)|SWU X, W, S, U c (X{S)~U{WWU X, W, S, V c (X{VS)~WWU X, W, T, P c (X{W)~T{PWU X, W, T, X c X~W{T{XWU X, W, U, P c (X{P)~W{UWU X, W, U, S c X~U{W~SWU X, W, U, W c X~W{U{WWU X, W, V, Q c X~W{V~QWU X, W, V, R c X{(W{R)~VWU X, W, V, S c (X{VS)~WWU X, W, V, V c X~W{V{VWU X, W, W, U c X~W{W{UWU X, W, X, R c X~X{W|RWU X, W, X, T c X{W~X{TWU X, X, O, T c X~X{O{TWU X, X, P, S c X~X{P{SWU X, X, P, T c X~X{P~TWU X, X, P, U c X~X|P{UWU X, X, Q, R c X~X{Q{RWU X, X, Q, V c X{(X{Q)~VWU X, X, R, Q c X~X{R{QWU X, X, R, W c X~X|R{WWU X, X, S, P c X~X{S{PWU X, X, S, T c (X{X)~T|SWU X, X, S, X c X~X|S{XWU X, X, T, O c X~X{T{OWU X, X, T, P c X~X{T~PWU X, X, T, S c (X{X)~T|SWU X, X, T, W c X{X~W{TWU X, X, T, X c X~(X{TX)WU X, X, U, P c X~X{U|PWU X, X, V, Q c X~X{V|QWU X, X, W, R c X~X{W|RWU X, X, W, T c X{X~W{TWU X, X, X, S c X{X~X|SWU X, X, X, T c X~(X{TX)WU