O, W, X, X c O{W{X~XWX O, X, W, X c O{X~X{WWX O, X, X, W c O{X~X{WWX P, P, X, X c (P{X)~X|PWX P, Q, T, X c Q~T~X|PWX P, Q, W, X c P{(Q{X)~WWX P, Q, X, T c Q~X~T|PWX P, Q, X, W c P{(Q{X)~WWX P, R, T, U c R~T~U|PWX P, R, U, T c R~U~T|PWX P, R, V, X c (R{V)~X|PWX P, R, W, W c P{(R{W)~WWX P, R, X, V c (R{V)~X|PWX P, S, U, X c (S{U)~X|PWX P, S, V, W c P{(S{V)~WWX P, S, W, V c P{(S{V)~WWX P, S, X, U c (S{U)~X|PWX P, T, Q, X c T~Q~X|PWX P, T, R, U c T~R~U|PWX P, T, T, X c (T{T)~X|PWX P, T, U, R c T~U~R|PWX P, T, U, W c P{(T{U)~WWX P, T, W, U c P{(T{U)~WWX P, T, X, Q c T~X~Q|PWX P, T, X, T c (T{T)~X|PWX P, T, X, X c T~(X{X)|PWX P, U, R, T c U~R~T|PWX P, U, S, X c (U{S)~X|PWX P, U, T, R c U~T~R|PWX P, U, T, W c P{(U{T)~WWX P, U, U, X c U~(U{X)|PWX P, U, V, W c U~(V{W)|PWX P, U, W, T c P{(U{T)~WWX P, U, W, V c U~(W{V)|PWX P, U, X, S c (U{S)~X|PWX P, U, X, U c (U{X)~U|PWX P, V, R, X c (V{R)~X|PWX P, V, S, W c P{(V{S)~WWX P, V, U, W c (V{W)~U|PWX P, V, W, S c P{(V{S)~WWX P, V, W, U c (V{W)~U|PWX P, V, X, R c (V{R)~X|PWX P, V, X, X c P{V{X~XWX P, W, Q, X c P{W~(Q{X)WX P, W, R, W c P{(W{R)~WWX P, W, S, V c P{W~(S{V)WX P, W, T, U c P{W~(T{U)WX P, W, U, T c P{W~(U{T)WX P, W, U, V c (W{V)~U|PWX P, W, V, S c P{W~(V{S)WX P, W, V, U c (W{V)~U|PWX P, W, W, R c P{W~(W{R)WX P, W, W, X c (P{W)~X{WWX P, W, X, Q c P{W~(X{Q)WX P, W, X, W c (P{W)~X{WWX P, W, X, X c P~W{X~XWX P, X, P, X c (P{X)~X|PWX P, X, Q, T c X~Q~T|PWX P, X, Q, W c P{(X{Q)~WWX P, X, R, V c X~(R{V)|PWX P, X, S, U c X~(S{U)|PWX P, X, T, Q c X~T~Q|PWX P, X, T, T c X~(T{T)|PWX P, X, T, X c (X{X)~T|PWX P, X, U, S c X~(U{S)|PWX P, X, U, U c (X{U)~U|PWX P, X, V, R c X~(V{R)|PWX P, X, V, X c P{X~X{VWX P, X, W, Q c P{(X{Q)~WWX P, X, W, W c (P{W)~X{WWX P, X, W, X c (P{X)~W{XWX P, X, X, P c (P{X)~X|PWX P, X, X, T c (X{X)~T|PWX P, X, X, V c P{X~X{VWX P, X, X, W c P~X~X{WWX P, X, X, X c X|P{X~XWX Q, P, T, X c Q~T~X|PWX Q, P, W, X c (Q{W)~X|PWX Q, P, X, T c Q~X~T|PWX Q, P, X, W c (Q{X)~W{PWX Q, S, V, X c (S{X)~V|QWX Q, S, X, V c (S{X)~V|QWX Q, S, X, X c Q~S{X~XWX Q, T, P, X c Q~T~X|PWX Q, T, U, V c Q~U~V{TWX Q, T, V, U c Q~V~U{TWX Q, T, V, W c (T{W)~V|QWX Q, T, W, V c (T{W)~V|QWX Q, T, W, X c Q~T~W{XWX Q, T, X, P c Q~T~X|PWX Q, T, X, W c Q~T~W{XWX Q, U, T, V c Q~U~V{TWX Q, U, V, T c Q~U~V{TWX Q, U, V, V c (U{V)~V|QWX Q, U, V, W c Q~U~W|VWX Q, U, W, V c Q~U~W|VWX Q, U, X, X c Q{U{X~XWX Q, V, S, X c V~(S{X)|QWX Q, V, T, U c Q~V~U{TWX Q, V, T, W c V~(T{W)|QWX Q, V, U, T c Q~V~U{TWX Q, V, U, V c (V{U)~V|QWX Q, V, U, W c Q~U~W|VWX Q, V, V, U c V~(V{U)|QWX Q, V, V, X c Q~V~V|XWX Q, V, W, T c V~(W{T)|QWX Q, V, W, U c Q~W~U|VWX Q, V, W, X c (Q{V)~X{WWX Q, V, X, S c V~(X{S)|QWX Q, V, X, V c Q~V~V|XWX Q, V, X, W c (Q{V)~X{WWX Q, W, P, X c (Q{W)~X|PWX Q, W, T, V c (W{T)~V|QWX Q, W, T, X c Q~W~T{XWX Q, W, U, V c Q~W~U|VWX Q, W, V, T c (W{T)~V|QWX Q, W, V, U c Q~W~U|VWX Q, W, V, X c (Q{V)~X{WWX Q, W, W, X c (Q{W)~W{XWX Q, W, X, P c (Q{W)~X|PWX Q, W, X, T c Q~W~T{XWX Q, W, X, V c (Q{V)~X{WWX Q, W, X, W c (Q{W)~W{XWX Q, X, P, T c Q~X~T|PWX Q, X, P, W c (Q{X)~W{PWX Q, X, S, V c (X{S)~V|QWX Q, X, S, X c Q~S{X~XWX Q, X, T, P c Q~X~T|PWX Q, X, T, W c Q~T~W{XWX Q, X, U, X c Q{X~X{UWX Q, X, V, S c (X{S)~V|QWX Q, X, V, V c Q~V~V|XWX Q, X, V, W c (Q{V)~X{WWX Q, X, W, P c (Q{X)~W{PWX Q, X, W, T c Q~W~T{XWX Q, X, W, V c (Q{V)~X{WWX Q, X, W, W c (Q{W)~W{XWX Q, X, X, S c Q~S{X~XWX Q, X, X, U c Q{X~X{UWX R, P, T, U c R~T~U|PWX R, P, U, T c R~U~T|PWX R, P, V, X c (R{V)~X|PWX R, P, W, W c (R{W)~W{PWX R, P, X, V c (R{V)~X|PWX R, R, W, X c R~R~X{WWX R, R, X, W c R~R~X{WWX R, S, T, V c R~S~V{TWX R, S, V, T c R~S~V{TWX R, S, V, W c R~S~W|VWX R, S, W, V c R~S~W|VWX R, T, P, U c R~T~U|PWX R, T, S, V c R~S~V{TWX R, T, U, P c R~T~U|PWX R, T, V, S c R~V~S{TWX R, T, V, X c (R{X)~V{TWX R, T, X, V c (R{X)~V{TWX R, T, X, X c R{T{X~XWX R, U, P, T c R~U~T|PWX R, U, T, P c R~U~T|PWX R, U, W, X c (R{U)~X{WWX R, U, X, W c (R{U)~X{WWX R, V, P, X c (R{V)~X|PWX R, V, S, T c R~V~S{TWX R, V, S, W c R~S~W|VWX R, V, T, S c R~V~S{TWX R, V, T, X c (R{X)~V{TWX R, V, W, S c R~W~S|VWX R, V, W, X c (R{V)~W{XWX R, V, X, P c (R{V)~X|PWX R, V, X, T c (R{X)~V{TWX R, V, X, W c (R{V)~W{XWX R, W, P, W c (R{W)~W{PWX R, W, R, X c R~R~X{WWX R, W, S, V c R~W~S|VWX R, W, U, X c (R{U)~X{WWX R, W, V, S c R~W~S|VWX R, W, V, X c (R{V)~W{XWX R, W, W, P c (R{W)~W{PWX R, W, X, R c R~X~R{WWX R, W, X, U c (R{U)~X{WWX R, W, X, V c (R{X)~W|VWX R, X, P, V c (R{V)~X|PWX R, X, R, W c R~X~R{WWX R, X, T, V c (R{X)~V{TWX R, X, T, X c R{X~X{TWX R, X, U, W c (R{U)~X{WWX R, X, V, P c (R{V)~X|PWX R, X, V, T c (R{X)~V{TWX R, X, V, W c (R{X)~W|VWX R, X, W, R c R~X~R{WWX R, X, W, U c (R{U)~X{WWX R, X, W, V c (R{X)~W|VWX R, X, X, T c R{X~X{TWX S, P, U, X c (S{U)~X|PWX S, P, V, W c (S{V)~W{PWX S, P, W, V c (S{V)~W{PWX S, P, X, U c (S{U)~X|PWX S, Q, V, X c (S{X)~V|QWX S, Q, X, V c (S{X)~V|QWX S, Q, X, X c S~Q{X~XWX S, R, T, V c S~R~V{TWX S, R, V, T c S~R~V{TWX S, R, V, W c S~R~W|VWX S, R, W, V c S~R~W|VWX S, S, T, X c S~S~T{XWX S, S, U, V c S~S~U|VWX S, S, V, U c S~S~U|VWX S, S, X, T c S~S~T{XWX S, S, X, X c S{S{X~XWX S, T, R, V c S~R~V{TWX S, T, S, X c S~T~S{XWX S, T, V, R c S~V~R{TWX S, T, V, W c (S{W)~V{TWX S, T, W, V c (S{W)~V{TWX S, T, W, X c S{T~(W{X)WX S, T, X, S c S~T~S{XWX S, T, X, W c (S{T)~X{WWX S, U, P, X c (S{U)~X|PWX S, U, S, V c S~U~S|VWX S, U, V, S c S~U~S|VWX S, U, W, X c (S{U)~W{XWX S, U, X, P c (S{U)~X|PWX S, U, X, W c (S{U)~W{XWX S, V, P, W c (S{V)~W{PWX S, V, Q, X c (S{X)~V|QWX S, V, R, T c S~V~R{TWX S, V, R, W c S~R~W|VWX S, V, S, U c S~S~U|VWX S, V, T, R c S~V~R{TWX S, V, T, W c (S{W)~V{TWX S, V, U, S c S~U~S|VWX S, V, W, P c (S{V)~W{PWX S, V, W, R c S~W~R|VWX S, V, W, T c (S{W)~V{TWX S, V, W, W c (S{W)~W|VWX S, V, X, Q c (S{X)~V|QWX S, W, P, V c (S{V)~W{PWX S, W, R, V c S~W~R|VWX S, W, T, V c (S{W)~V{TWX S, W, T, X c S{(W{X)~TWX S, W, U, X c (S{U)~W{XWX S, W, V, P c (S{V)~W{PWX S, W, V, R c S~W~R|VWX S, W, V, T c (S{W)~V{TWX S, W, V, W c (S{W)~W|VWX S, W, W, V c (S{W)~W|VWX S, W, X, T c S{(W{X)~TWX S, W, X, U c (S{U)~W{XWX S, X, P, U c (S{U)~X|PWX S, X, Q, V c (S{X)~V|QWX S, X, Q, X c S~Q{X~XWX S, X, S, T c S~S~T{XWX S, X, S, X c S{X~X{SWX S, X, T, S c S~T~S{XWX S, X, T, W c S{(X{W)~TWX S, X, U, P c (S{U)~X|PWX S, X, U, W c (S{U)~W{XWX S, X, V, Q c (S{X)~V|QWX S, X, W, T c S{(X{W)~TWX S, X, W, U c (S{U)~W{XWX S, X, X, Q c S~Q{X~XWX S, X, X, S c S{X~X{SWX T, P, Q, X c T~Q~X|PWX T, P, R, U c T~R~U|PWX T, P, T, X c (T{T)~X|PWX T, P, U, R c T~U~R|PWX T, P, U, W c (T{U)~W{PWX T, P, W, U c (T{U)~W{PWX T, P, X, Q c T~X~Q|PWX T, P, X, T c (T{T)~X|PWX T, P, X, X c T~(X{X)|PWX T, Q, P, X c T~Q~X|PWX T, Q, U, V c T{Q~U~VWX T, Q, V, U c T{Q~V~UWX T, Q, V, W c (T{W)~V|QWX T, Q, W, V c (T{W)~V|QWX T, Q, W, X c T~Q~W{XWX T, Q, X, P c T~Q~X|PWX T, Q, X, W c T~Q~W{XWX T, R, P, U c T~R~U|PWX T, R, S, V c T{R~S~VWX T, R, U, P c T~R~U|PWX T, R, V, S c T{R~V~SWX T, R, V, X c T{(R{X)~VWX T, R, X, V c T{(R{X)~VWX T, R, X, X c T{R{X~XWX T, S, R, V c T{S~R~VWX T, S, S, X c T~S~S{XWX T, S, V, R c T{S~V~RWX T, S, V, W c T{(S{W)~VWX T, S, W, V c T{(S{W)~VWX T, S, W, X c (T{S)~X{WWX T, S, X, S c T~S~S{XWX T, S, X, W c (T{S)~X{WWX T, T, P, X c (T{T)~X|PWX T, T, U, X c T{(T{X)~UWX T, T, V, V c T{(T{V)~VWX T, T, W, W c T~T{W~WWX T, T, W, X c (T{T)~W{XWX T, T, X, P c (T{T)~X|PWX T, T, X, U c T{(T{X)~UWX T, T, X, W c (T{T)~W{XWX T, U, P, R c T~U~R|PWX T, U, P, W c (T{U)~W{PWX T, U, Q, V c T{U~Q~VWX T, U, R, P c T~U~R|PWX T, U, T, X c T{U~(T{X)WX T, U, U, V c T{(U{U)~VWX T, U, U, W c T{U~(U{W)WX T, U, V, Q c T{U~V~QWX T, U, V, U c T{(U{U)~VWX T, U, V, V c T{U~(V{V)WX T, U, V, X c T~V{U~XWX T, U, W, P c (T{U)~W{PWX T, U, W, U c T{(U{W)~UWX T, U, X, T c T{U~(X{T)WX T, U, X, V c T~V{U~XWX T, V, Q, U c T{V~Q~UWX T, V, Q, W c (T{W)~V|QWX T, V, R, S c T{V~R~SWX T, V, R, X c T{V~(R{X)WX T, V, S, R c T{V~S~RWX T, V, S, W c T{V~(S{W)WX T, V, T, V c T{(V{T)~VWX T, V, U, Q c T{V~U~QWX T, V, U, U c T{V~(U{U)WX T, V, U, V c T{(V{V)~UWX T, V, U, X c T~V{U~XWX T, V, V, T c (T{V)~V{TWX T, V, V, U c T{(V{V)~UWX T, V, V, W c (T{V)~W|VWX T, V, W, Q c (T{W)~V|QWX T, V, W, S c T{V~(W{S)WX T, V, W, V c (T{V)~W|VWX T, V, X, R c T{V~(X{R)WX T, V, X, U c T~V{X~UWX T, V, X, X c T~(V{X){XWX T, W, P, U c (T{U)~W{PWX T, W, Q, V c (T{W)~V|QWX T, W, Q, X c T~W~Q{XWX T, W, S, V c T{(W{S)~VWX T, W, S, X c T~(W{X){SWX T, W, T, W c T~T{W~WWX T, W, T, X c (T{T)~W{XWX T, W, U, P c (T{U)~W{PWX T, W, U, U c T{(W{U)~UWX T, W, V, Q c (T{W)~V|QWX T, W, V, S c T{(W{S)~VWX T, W, V, V c T~W{V~VWX T, W, W, T c T~T{W~WWX T, W, W, X c T~(W{W){XWX T, W, X, Q c T~W~Q{XWX T, W, X, S c T~(W{X){SWX T, W, X, T c (T{T)~W{XWX T, W, X, W c T~(W{W){XWX T, X, P, Q c T~X~Q|PWX T, X, P, T c (T{T)~X|PWX T, X, P, X c T~(X{X)|PWX T, X, Q, P c T~X~Q|PWX T, X, Q, W c T~Q~W{XWX T, X, R, V c T{(X{R)~VWX T, X, R, X c T{X~X{RWX T, X, S, S c T~S~S{XWX T, X, S, W c T~(X{W){SWX T, X, T, P c (T{T)~X|PWX T, X, T, U c T{(X{T)~UWX T, X, T, W c (T{T)~W{XWX T, X, U, T c (T{X)~U{TWX T, X, U, V c T~V{X~UWX T, X, V, R c T{(X{R)~VWX T, X, V, U c T~V{X~UWX T, X, V, X c (T{X)~V|XWX T, X, W, Q c T~W~Q{XWX T, X, W, S c T~(X{W){SWX T, X, W, T c (T{T)~W{XWX T, X, W, W c T~(W{W){XWX T, X, X, P c T~(X{X)|PWX T, X, X, R c T{X~X{RWX T, X, X, V c (T{X)~V|XWX U, P, R, T c U~R~T|PWX U, P, S, X c (U{S)~X|PWX U, P, T, R c U~T~R|PWX U, P, T, W c (U{T)~W{PWX U, P, U, X c U~(U{X)|PWX U, P, V, W c U~(V{W)|PWX U, P, W, T c (U{T)~W{PWX U, P, W, V c U~(W{V)|PWX U, P, X, S c (U{S)~X|PWX U, P, X, U c (U{X)~U|PWX U, Q, T, V c U~Q~V{TWX U, Q, V, T c U~Q~V{TWX U, Q, V, V c (U{V)~V|QWX U, Q, V, W c U~Q~W|VWX U, Q, W, V c U~Q~W|VWX U, Q, X, X c U{Q{X~XWX U, R, P, T c U~R~T|PWX U, R, T, P c U~R~T|PWX U, R, W, X c (U{R)~X{WWX U, R, X, W c (U{R)~X{WWX U, S, P, X c (U{S)~X|PWX U, S, S, V c U~S~S|VWX U, S, V, S c U~S~S|VWX U, S, W, X c (U{S)~W{XWX U, S, X, P c (U{S)~X|PWX U, S, X, W c (U{S)~W{XWX U, T, P, R c U~T~R|PWX U, T, P, W c (U{T)~W{PWX U, T, Q, V c U~Q~V{TWX U, T, R, P c U~T~R|PWX U, T, T, X c U~(T{X){TWX U, T, U, V c (U{U)~V{TWX U, T, U, W c U~(U{W){TWX U, T, V, Q c U~V~Q{TWX U, T, V, U c (U{U)~V{TWX U, T, V, V c U~(V{V){TWX U, T, V, X c U~X{T~VWX U, T, W, P c (U{T)~W{PWX U, T, W, U c (U{W)~U{TWX U, T, X, T c U~(T{X){TWX U, T, X, V c U~X{T~VWX U, U, P, X c U~(U{X)|PWX U, U, T, V c (U{U)~V{TWX U, U, T, W c U~(U{W){TWX U, U, V, T c (U{U)~V{TWX U, U, V, W c (U{U)~W|VWX U, U, W, T c U~(U{W){TWX U, U, W, V c (U{U)~W|VWX U, U, X, P c U~(U{X)|PWX U, V, P, W c U~(V{W)|PWX U, V, Q, T c U~V~Q{TWX U, V, Q, V c (U{V)~V|QWX U, V, Q, W c U~Q~W|VWX U, V, S, S c U~S~S|VWX U, V, T, Q c U~V~Q{TWX U, V, T, U c (U{U)~V{TWX U, V, T, V c U~(V{V){TWX U, V, T, X c U~X{V~TWX U, V, U, T c (U{U)~V{TWX U, V, U, W c (U{U)~W|VWX U, V, V, Q c (U{V)~V|QWX U, V, V, T c U~(V{V){TWX U, V, V, X c U~(V{X)|VWX U, V, W, P c U~(V{W)|PWX U, V, W, Q c U~W~Q|VWX U, V, W, U c (U{U)~W|VWX U, V, W, W c U~(W{W)|VWX U, V, W, X c (U{W)~V|XWX U, V, X, T c U~X{V~TWX U, V, X, V c U~(V{X)|VWX U, V, X, W c (U{W)~V|XWX U, W, P, T c (U{T)~W{PWX U, W, P, V c U~(W{V)|PWX U, W, Q, V c U~W~Q|VWX U, W, R, X c (U{R)~X{WWX U, W, S, X c (U{S)~W{XWX U, W, T, P c (U{T)~W{PWX U, W, T, U c (U{W)~U{TWX U, W, U, T c (U{W)~U{TWX U, W, U, V c (U{U)~W|VWX U, W, V, P c U~(W{V)|PWX U, W, V, Q c U~W~Q|VWX U, W, V, U c (U{U)~W|VWX U, W, V, W c U~(W{W)|VWX U, W, V, X c (U{W)~V|XWX U, W, W, V c U~(W{W)|VWX U, W, X, R c (U{R)~X{WWX U, W, X, S c (U{S)~W{XWX U, W, X, V c (U{W)~V|XWX U, X, P, S c (U{S)~X|PWX U, X, P, U c (U{X)~U|PWX U, X, Q, X c U{X~X{QWX U, X, R, W c (U{R)~X{WWX U, X, S, P c (U{S)~X|PWX U, X, S, W c (U{S)~W{XWX U, X, T, T c U~(X{T){TWX U, X, T, V c U~X{T~VWX U, X, U, P c (U{X)~U|PWX U, X, V, T c U~X{V~TWX U, X, V, V c U~(X{V)|VWX U, X, V, W c (U{W)~V|XWX U, X, W, R c (U{R)~X{WWX U, X, W, S c (U{S)~W{XWX U, X, W, V c (U{W)~V|XWX U, X, X, Q c U{X~X{QWX V, P, R, X c (V{R)~X|PWX V, P, S, W c (V{S)~W{PWX V, P, U, W c (V{W)~U|PWX V, P, W, S c (V{S)~W{PWX V, P, W, U c (V{W)~U|PWX V, P, X, R c (V{R)~X|PWX V, P, X, X c V{P{X~XWX V, Q, S, X c V~(S{X)|QWX V, Q, T, U c V~Q~U{TWX V, Q, T, W c V~(T{W)|QWX V, Q, U, T c V~Q~U{TWX V, Q, U, V c (V{U)~V|QWX V, Q, U, W c Q~U~W|VWX V, Q, V, U c V~(V{U)|QWX V, Q, V, X c V~Q~V|XWX V, Q, W, T c V~(W{T)|QWX V, Q, W, U c Q~W~U|VWX V, Q, W, X c (V{Q)~X{WWX V, Q, X, S c V~(X{S)|QWX V, Q, X, V c V~Q~V|XWX V, Q, X, W c (V{Q)~X{WWX V, R, P, X c (V{R)~X|PWX V, R, S, T c V~R~S{TWX V, R, S, W c R~S~W|VWX V, R, T, S c V~R~S{TWX V, R, T, X c V~(R{X){TWX V, R, W, S c R~W~S|VWX V, R, W, X c (V{R)~W{XWX V, R, X, P c (V{R)~X|PWX V, R, X, T c V~(R{X){TWX V, R, X, W c (V{R)~W{XWX V, S, P, W c (V{S)~W{PWX V, S, Q, X c V~(S{X)|QWX V, S, R, T c V~S~R{TWX V, S, R, W c S~R~W|VWX V, S, S, U c S~S~U|VWX V, S, T, R c V~S~R{TWX V, S, T, W c V~(S{W){TWX V, S, U, S c S~U~S|VWX V, S, W, P c (V{S)~W{PWX V, S, W, R c S~W~R|VWX V, S, W, T c V~(S{W){TWX V, S, W, W c (S{W)~W|VWX V, S, X, Q c V~(S{X)|QWX V, T, Q, U c V~Q~U{TWX V, T, Q, W c V~(T{W)|QWX V, T, R, S c V~R~S{TWX V, T, R, X c V~(R{X){TWX V, T, S, R c V~S~R{TWX V, T, S, W c V~(S{W){TWX V, T, T, V c (V{T)~V{TWX V, T, U, Q c V~U~Q{TWX V, T, U, U c V~(U{U){TWX V, T, U, V c (V{V)~U{TWX V, T, U, X c V~T{U~XWX V, T, V, T c (V{T)~V{TWX V, T, V, U c (V{V)~U{TWX V, T, V, W c (V{T)~W|VWX V, T, W, Q c V~(T{W)|QWX V, T, W, S c V~(W{S){TWX V, T, W, V c (V{T)~W|VWX V, T, X, R c V~(X{R){TWX V, T, X, U c V~T{X~UWX V, T, X, X c V~(T{X)|XWX V, U, P, W c (V{W)~U|PWX V, U, Q, T c V~U~Q{TWX V, U, Q, V c (V{U)~V|QWX V, U, Q, W c U~Q~W|VWX V, U, S, S c U~S~S|VWX V, U, T, Q c V~U~Q{TWX V, U, T, U c V~(U{U){TWX V, U, T, V c (V{V)~U{TWX V, U, T, X c V~T{U~XWX V, U, U, T c V~(U{U){TWX V, U, U, W c (U{U)~W|VWX V, U, V, Q c (V{U)~V|QWX V, U, V, T c (V{V)~U{TWX V, U, V, X c (V{X)~U|VWX V, U, W, P c (V{W)~U|PWX V, U, W, Q c U~W~Q|VWX V, U, W, U c (U{U)~W|VWX V, U, W, W c U~(W{W)|VWX V, U, W, X c V~(U{W)|XWX V, U, X, T c V~T{U~XWX V, U, X, V c (V{X)~U|VWX V, U, X, W c V~(U{W)|XWX V, V, Q, U c V~(V{U)|QWX V, V, Q, X c V~V~Q|XWX V, V, T, T c V~(V{T){TWX V, V, T, U c (V{V)~U{TWX V, V, T, W c V~V{T~WWX V, V, U, Q c V~(V{U)|QWX V, V, U, T c (V{V)~U{TWX V, V, U, X c (V{X)~U|VWX V, V, V, X c (V{V)~V|XWX V, V, W, T c V~V{W~TWX V, V, X, Q c V~V~Q|XWX V, V, X, U c (V{X)~U|VWX V, V, X, V c (V{V)~V|XWX V, W, P, S c (V{S)~W{PWX V, W, P, U c (V{W)~U|PWX V, W, Q, T c V~(W{T)|QWX V, W, Q, U c W~Q~U|VWX V, W, Q, X c (V{Q)~X{WWX V, W, R, S c W~R~S|VWX V, W, R, X c (V{R)~W{XWX V, W, S, P c (V{S)~W{PWX V, W, S, R c W~S~R|VWX V, W, S, T c V~(W{S){TWX V, W, S, W c (W{S)~W|VWX V, W, T, Q c V~(W{T)|QWX V, W, T, S c V~(W{S){TWX V, W, T, V c (V{T)~W|VWX V, W, U, P c (V{W)~U|PWX V, W, U, Q c W~U~Q|VWX V, W, U, U c W~(U{U)|VWX V, W, U, W c (W{W)~U|VWX V, W, U, X c V~(W{U)|XWX V, W, V, T c V~V{W~TWX V, W, W, S c W~(W{S)|VWX V, W, W, U c (W{W)~U|VWX V, W, X, Q c (V{Q)~X{WWX V, W, X, R c (V{R)~W{XWX V, W, X, U c V~(W{U)|XWX V, X, P, R c (V{R)~X|PWX V, X, P, X c V{X~X{PWX V, X, Q, S c V~(X{S)|QWX V, X, Q, V c V~Q~V|XWX V, X, Q, W c (V{Q)~X{WWX V, X, R, P c (V{R)~X|PWX V, X, R, T c V~(X{R){TWX V, X, R, W c (V{R)~W{XWX V, X, S, Q c V~(X{S)|QWX V, X, T, R c V~(X{R){TWX V, X, T, U c V~T{X~UWX V, X, T, X c (V{X)~T{XWX V, X, U, T c V~T{X~UWX V, X, U, V c (V{X)~U|VWX V, X, U, W c V~(U{W)|XWX V, X, V, Q c V~V~Q|XWX V, X, V, U c (V{X)~U|VWX V, X, V, V c (V{V)~V|XWX V, X, W, Q c (V{Q)~X{WWX V, X, W, R c (V{R)~W{XWX V, X, W, U c V~(W{U)|XWX V, X, X, P c V{X~X{PWX V, X, X, T c (V{X)~T{XWX W, O, X, X c W{O{X~XWX W, P, Q, X c (W{Q)~X|PWX W, P, R, W c (W{R)~W{PWX W, P, S, V c W~(S{V){PWX W, P, T, U c W~(T{U){PWX W, P, U, T c W~(U{T){PWX W, P, U, V c (W{V)~U|PWX W, P, V, S c W~(V{S){PWX W, P, V, U c (W{V)~U|PWX W, P, W, R c W~(W{R){PWX W, P, W, X c W{(P{W)~XWX W, P, X, Q c W~(X{Q){PWX W, P, X, W c (W{P)~X{WWX W, P, X, X c W{P~X~XWX W, Q, P, X c (W{Q)~X|PWX W, Q, T, V c (W{T)~V|QWX W, Q, T, X c W~Q~T{XWX W, Q, U, V c W~Q~U|VWX W, Q, V, T c (W{T)~V|QWX W, Q, V, U c W~Q~U|VWX W, Q, V, X c W{(Q{V)~XWX W, Q, W, X c (W{Q)~W{XWX W, Q, X, P c (W{Q)~X|PWX W, Q, X, T c W~Q~T{XWX W, Q, X, V c W{(Q{V)~XWX W, Q, X, W c (W{Q)~W{XWX W, R, P, W c (W{R)~W{PWX W, R, R, X c W{R~R~XWX W, R, S, V c W~R~S|VWX W, R, U, X c W{(R{U)~XWX W, R, V, S c W~R~S|VWX W, R, V, X c W~(R{V){XWX W, R, W, P c (W{R)~W{PWX W, R, X, R c W{R~X~RWX W, R, X, U c W{(R{U)~XWX W, R, X, V c W~(R{X)|VWX W, S, P, V c W~(S{V){PWX W, S, R, V c W~S~R|VWX W, S, T, V c (W{S)~V{TWX W, S, T, X c W{(S{T)~XWX W, S, U, X c W~(S{U){XWX W, S, V, P c W~(S{V){PWX W, S, V, R c W~S~R|VWX W, S, V, T c (W{S)~V{TWX W, S, V, W c (W{S)~W|VWX W, S, W, V c (W{S)~W|VWX W, S, X, T c W{(S{T)~XWX W, S, X, U c W~(S{U){XWX W, T, P, U c W~(T{U){PWX W, T, Q, V c (W{T)~V|QWX W, T, Q, X c W~T~Q{XWX W, T, S, V c (W{S)~V{TWX W, T, S, X c W{(T{S)~XWX W, T, T, W c W~W{T~TWX W, T, T, X c W~(T{T){XWX W, T, U, P c W~(T{U){PWX W, T, U, U c (W{U)~U{TWX W, T, V, Q c (W{T)~V|QWX W, T, V, S c (W{S)~V{TWX W, T, V, V c W~(T{V)|VWX W, T, W, T c W~W{T~TWX W, T, W, X c (W{W)~T{XWX W, T, X, Q c W~T~Q{XWX W, T, X, S c W{(T{S)~XWX W, T, X, T c W~(T{T){XWX W, T, X, W c (W{W)~T{XWX W, U, P, T c W~(U{T){PWX W, U, P, V c (W{V)~U|PWX W, U, Q, V c W~U~Q|VWX W, U, R, X c W{(U{R)~XWX W, U, S, X c W~(U{S){XWX W, U, T, P c W~(U{T){PWX W, U, T, U c (W{U)~U{TWX W, U, U, T c (W{U)~U{TWX W, U, U, V c W~(U{U)|VWX W, U, V, P c (W{V)~U|PWX W, U, V, Q c W~U~Q|VWX W, U, V, U c W~(U{U)|VWX W, U, V, W c (W{W)~U|VWX W, U, V, X c (W{U)~V|XWX W, U, W, V c (W{W)~U|VWX W, U, X, R c W{(U{R)~XWX W, U, X, S c W~(U{S){XWX W, U, X, V c (W{U)~V|XWX W, V, P, S c W~(V{S){PWX W, V, P, U c (W{V)~U|PWX W, V, Q, T c (W{T)~V|QWX W, V, Q, U c W~Q~U|VWX W, V, Q, X c W{(V{Q)~XWX W, V, R, S c W~R~S|VWX W, V, R, X c W~(V{R){XWX W, V, S, P c W~(V{S){PWX W, V, S, R c W~S~R|VWX W, V, S, T c (W{S)~V{TWX W, V, S, W c (W{S)~W|VWX W, V, T, Q c (W{T)~V|QWX W, V, T, S c (W{S)~V{TWX W, V, T, V c W~(V{T)|VWX W, V, U, P c (W{V)~U|PWX W, V, U, Q c W~U~Q|VWX W, V, U, U c W~(U{U)|VWX W, V, U, W c (W{W)~U|VWX W, V, U, X c (W{U)~V|XWX W, V, V, T c W~(V{T)|VWX W, V, W, S c W~(W{S)|VWX W, V, W, U c (W{W)~U|VWX W, V, X, Q c W{(V{Q)~XWX W, V, X, R c W~(V{R){XWX W, V, X, U c (W{U)~V|XWX W, W, P, R c W~(W{R){PWX W, W, P, X c W{(W{P)~XWX W, W, Q, X c W~(W{Q){XWX W, W, R, P c W~(W{R){PWX W, W, S, V c W~(W{S)|VWX W, W, T, T c W~W{T~TWX W, W, T, X c (W{W)~T{XWX W, W, U, V c (W{W)~U|VWX W, W, V, S c W~(W{S)|VWX W, W, V, U c (W{W)~U|VWX W, W, X, P c W{(W{P)~XWX W, W, X, Q c W~(W{Q){XWX W, W, X, T c (W{W)~T{XWX W, W, X, X c W{W~X{XWX W, X, O, X c W{(X{O)~XWX W, X, P, Q c W~(X{Q){PWX W, X, P, W c W{X~(P{W)WX W, X, P, X c W{X~P~XWX W, X, Q, P c W~(X{Q){PWX W, X, Q, T c W~Q~T{XWX W, X, Q, V c W{X~(Q{V)WX W, X, Q, W c (W{Q)~W{XWX W, X, R, R c W{X~R~RWX W, X, R, U c W{X~(R{U)WX W, X, R, V c W~(X{R)|VWX W, X, S, T c W{X~(S{T)WX W, X, S, U c W~(S{U){XWX W, X, T, Q c W~T~Q{XWX W, X, T, S c (W{X)~T{SWX W, X, T, T c W~(T{T){XWX W, X, T, W c (W{W)~T{XWX W, X, U, R c W{X~(U{R)WX W, X, U, S c W~(U{S){XWX W, X, U, V c (W{U)~V|XWX W, X, V, Q c W{X~(V{Q)WX W, X, V, R c W~(X{R)|VWX W, X, V, U c (W{U)~V|XWX W, X, W, P c W{X~(W{P)WX W, X, W, Q c W~(W{Q){XWX W, X, W, T c (W{W)~T{XWX W, X, W, X c W{X{W~XWX W, X, X, O c W{X~X{OWX W, X, X, P c W{X~X~PWX W, X, X, W c W{X{X~WWX W, X, X, X c (WX{X)~XWX X, O, W, X c (X{O)~X{WWX X, O, X, W c (X{O)~X{WWX X, P, P, X c (X{P)~X|PWX X, P, Q, T c X~Q~T|PWX X, P, Q, W c (X{Q)~W{PWX X, P, R, V c X~(R{V)|PWX X, P, S, U c X~(S{U)|PWX X, P, T, Q c X~T~Q|PWX X, P, T, T c X~(T{T)|PWX X, P, T, X c (X{X)~T|PWX X, P, U, S c X~(U{S)|PWX X, P, U, U c (X{U)~U|PWX X, P, V, R c X~(V{R)|PWX X, P, V, X c X~X{P{VWX X, P, W, Q c X~(W{Q)|PWX X, P, W, W c X~(P{W){WWX X, P, W, X c (X{P)~W{XWX X, P, X, P c (X{P)~X|PWX X, P, X, T c (X{X)~T|PWX X, P, X, V c X~X{P{VWX X, P, X, W c X{(P{X)~WWX X, P, X, X c X|P{X~XWX X, Q, P, T c X~Q~T|PWX X, Q, P, W c (X{Q)~W{PWX X, Q, S, V c (X{S)~V|QWX X, Q, S, X c X~X{Q~SWX X, Q, T, P c X~Q~T|PWX X, Q, T, W c X{Q~T~WWX X, Q, U, X c X~X{Q{UWX X, Q, V, S c (X{S)~V|QWX X, Q, V, V c Q~V~V|XWX X, Q, V, W c X~(Q{V){WWX X, Q, W, P c (X{Q)~W{PWX X, Q, W, T c X{Q~W~TWX X, Q, W, V c X~(Q{V){WWX X, Q, W, W c X{(Q{W)~WWX X, Q, X, S c X~X{Q~SWX X, Q, X, U c X~X{Q{UWX X, R, P, V c X~(R{V)|PWX X, R, R, W c X~R~R{WWX X, R, T, V c (X{R)~V{TWX X, R, T, X c X~X{R{TWX X, R, U, W c X~(R{U){WWX X, R, V, P c X~(R{V)|PWX X, R, V, T c (X{R)~V{TWX X, R, V, W c X{(R{V)~WWX X, R, W, R c X~R~R{WWX X, R, W, U c X~(R{U){WWX X, R, W, V c (X{R)~W|VWX X, R, X, T c X~X{R{TWX X, S, P, U c X~(S{U)|PWX X, S, Q, V c (X{S)~V|QWX X, S, Q, X c X~X{S~QWX X, S, S, T c X{S~S~TWX X, S, S, X c X~X{S{SWX X, S, T, S c X{S~T~SWX X, S, T, W c X~(S{T){WWX X, S, U, P c X~(S{U)|PWX X, S, U, W c X{(S{U)~WWX X, S, V, Q c (X{S)~V|QWX X, S, W, T c X~(S{T){WWX X, S, W, U c X{(S{U)~WWX X, S, X, Q c X~X{S~QWX X, S, X, S c X~X{S{SWX X, T, P, Q c X~T~Q|PWX X, T, P, T c X~(T{T)|PWX X, T, P, X c (X{X)~T|PWX X, T, Q, P c X~T~Q|PWX X, T, Q, W c X{T~Q~WWX X, T, R, V c (X{R)~V{TWX X, T, R, X c X~X{T{RWX X, T, S, S c X{T~S~SWX X, T, S, W c X~(T{S){WWX X, T, T, P c X~(T{T)|PWX X, T, T, U c (X{T)~U{TWX X, T, T, W c X{(T{T)~WWX X, T, U, T c (X{T)~U{TWX X, T, U, V c X~U{T~VWX X, T, V, R c (X{R)~V{TWX X, T, V, U c X~U{T~VWX X, T, V, X c X{T~(V{X)WX X, T, W, Q c X{T~W~QWX X, T, W, S c X~(T{S){WWX X, T, W, T c X{(T{T)~WWX X, T, W, W c X{T~(W{W)WX X, T, X, P c (X{X)~T|PWX X, T, X, R c X~X{T{RWX X, T, X, V c X{T~(X{V)WX X, U, P, S c X~(U{S)|PWX X, U, P, U c (X{U)~U|PWX X, U, Q, X c X~X{U{QWX X, U, R, W c X~(U{R){WWX X, U, S, P c X~(U{S)|PWX X, U, S, W c X{(U{S)~WWX X, U, T, T c (X{T)~U{TWX X, U, T, V c X~U{T~VWX X, U, U, P c (X{U)~U|PWX X, U, V, T c X~U{V~TWX X, U, V, V c (X{V)~U|VWX X, U, V, W c (U{W)~V|XWX X, U, W, R c X~(U{R){WWX X, U, W, S c X{(U{S)~WWX X, U, W, V c (U{W)~V|XWX X, U, X, Q c X~X{U{QWX X, V, P, R c X~(V{R)|PWX X, V, P, X c X~X{V{PWX X, V, Q, S c (X{S)~V|QWX X, V, Q, V c V~Q~V|XWX X, V, Q, W c X~(V{Q){WWX X, V, R, P c X~(V{R)|PWX X, V, R, T c (X{R)~V{TWX X, V, R, W c X{(V{R)~WWX X, V, S, Q c (X{S)~V|QWX X, V, T, R c (X{R)~V{TWX X, V, T, U c X~U{V~TWX X, V, T, X c (X{V)~T{XWX X, V, U, T c X~U{V~TWX X, V, U, V c (X{V)~U|VWX X, V, U, W c V~(U{W)|XWX X, V, V, Q c V~V~Q|XWX X, V, V, U c (X{V)~U|VWX X, V, V, V c (V{V)~V|XWX X, V, W, Q c X~(V{Q){WWX X, V, W, R c X{(V{R)~WWX X, V, W, U c V~(W{U)|XWX X, V, X, P c X~X{V{PWX X, V, X, T c X{(V{X)~TWX X, W, O, X c (X{O)~X{WWX X, W, P, Q c X~(W{Q)|PWX X, W, P, W c X~(W{P){WWX X, W, P, X c X{W~(P{X)WX X, W, Q, P c X~(W{Q)|PWX X, W, Q, T c X{W~Q~TWX X, W, Q, V c X~(Q{V){WWX X, W, Q, W c X{(W{Q)~WWX X, W, R, R c X~R~R{WWX X, W, R, U c X~(R{U){WWX X, W, R, V c X{W~(R{V)WX X, W, S, T c (X{W)~T{SWX X, W, S, U c X{W~(S{U)WX X, W, T, Q c X{W~T~QWX X, W, T, S c (X{W)~T{SWX X, W, T, T c X{W~(T{T)WX X, W, T, W c X{(W{W)~TWX X, W, U, R c X~(U{R){WWX X, W, U, S c X{W~(U{S)WX X, W, U, V c (W{U)~V|XWX X, W, V, Q c X~(V{Q){WWX X, W, V, R c X{W~(V{R)WX X, W, V, U c (W{U)~V|XWX X, W, W, P c X~(W{P){WWX X, W, W, Q c X{W~(W{Q)WX X, W, W, T c X{(W{W)~TWX X, W, W, X c X{W{W~XWX X, W, X, O c X~X{W{OWX X, W, X, P c X{W~(X{P)WX X, W, X, W c X{W{X~WWX X, W, X, X c (X{WX)~XWX X, X, O, W c X~X{O{WWX X, X, P, P c X~(X{P)|PWX X, X, P, T c (X{X)~T|PWX X, X, P, V c X~X{P{VWX X, X, P, W c X{(X{P)~WWX X, X, P, X c X~X|P{XWX X, X, Q, S c X~X{Q~SWX X, X, Q, U c X~X{Q{UWX X, X, R, T c X~X{R{TWX X, X, S, Q c X~X{S~QWX X, X, S, S c X~X{S{SWX X, X, T, P c (X{X)~T|PWX X, X, T, R c X~X{T{RWX X, X, T, V c X{(X{V)~TWX X, X, U, Q c X~X{U{QWX X, X, V, P c X~X{V{PWX X, X, V, T c X{(X{V)~TWX X, X, W, O c X~X{W{OWX X, X, W, P c X~X{W~PWX X, X, W, W c X{X~W{WWX X, X, W, X c X~(X{WX)WX X, X, X, P c X{X~X|PWX X, X, X, W c X~(X{WX)WX