O, P, X, X c (O{P{X)~XXO O, Q, T, X c O{Q~T~XXO O, Q, W, X c (O{Q{W)~XXO O, Q, X, T c O{Q~X~TXO O, Q, X, W c (O{Q{W)~XXO O, R, T, U c O{R~T~UXO O, R, U, T c O{R~U~TXO O, R, V, X c (O{R{V)~XXO O, R, X, V c (O{R{V)~XXO O, S, U, X c (O{S{U)~XXO O, S, X, U c (O{S{U)~XXO O, T, Q, X c O{T~Q~XXO O, T, R, U c O{T~R~UXO O, T, T, X c (O{T{T)~XXO O, T, U, R c O{T~U~RXO O, T, X, Q c O{T~X~QXO O, T, X, T c (O{T{T)~XXO O, T, X, X c (O{T)~(X{X)XO O, U, R, T c O{U~R~TXO O, U, S, X c (O{U{S)~XXO O, U, T, R c O{U~T~RXO O, U, U, X c (O{U)~(U{X)XO O, U, V, W c (O{U)~(V{W)XO O, U, W, V c (O{U)~(W{V)XO O, U, X, S c (O{U{S)~XXO O, U, X, U c (O{U{X)~UXO O, V, R, X c (O{V{R)~XXO O, V, U, W c (O{V{W)~UXO O, V, W, U c (O{V{W)~UXO O, V, X, R c (O{V{R)~XXO O, W, Q, X c (O{W{Q)~XXO O, W, U, V c (O{W{V)~UXO O, W, V, U c (O{W{V)~UXO O, W, X, Q c (O{W{Q)~XXO O, X, P, X c (O{X{P)~XXO O, X, Q, T c O{X~Q~TXO O, X, Q, W c (O{X)~(Q{W)XO O, X, R, V c (O{X)~(R{V)XO O, X, S, U c (O{X)~(S{U)XO O, X, T, Q c O{X~T~QXO O, X, T, T c (O{X)~(T{T)XO O, X, T, X c (O{X{X)~TXO O, X, U, S c (O{X)~(U{S)XO O, X, U, U c (O{X{U)~UXO O, X, V, R c (O{X)~(V{R)XO O, X, W, Q c (O{X)~(W{Q)XO O, X, X, P c (O{X)~(X{P)XO O, X, X, T c (O{X{X)~TXO O, X, X, X c O{X{X~XXO P, O, X, X c (P{O{X)~XXO P, P, T, X c (P{P)~(T~X)XO P, P, W, X c (P{P{W)~XXO P, P, X, T c (P{P)~(X~T)XO P, P, X, W c (P{P{W)~XXO P, P, X, X c (P{P~X)~XXO P, Q, S, X c (P{S)~(Q~X)XO P, Q, T, U c (P{Q)~(T~U)XO P, Q, T, W c (P{W)~(Q~T)XO P, Q, T, X c P~Q~T~XXO P, Q, U, T c (P{Q)~(U~T)XO P, Q, U, V c (P{Q~V)~UXO P, Q, U, W c (Q~W|P)~UXO P, Q, U, X c Q~(U|P)~XXO P, Q, V, U c (P{Q~V)~UXO P, Q, V, X c (P{Q{V)~XXO P, Q, W, T c (P{W)~(Q~T)XO P, Q, W, U c (Q~W|P)~UXO P, Q, W, W c (P{W)~(Q{W)XO P, Q, W, X c (P~Q{W)~XXO P, Q, X, S c (P{S)~(Q~X)XO P, Q, X, T c P~Q~X~TXO P, Q, X, U c (Q~X)~(U|P)XO P, Q, X, V c (P{Q{V)~XXO P, Q, X, W c (P~Q{W)~XXO P, Q, X, X c (Q|P{X)~XXO P, R, R, X c (P{R~R)~XXO P, R, S, U c (P{S)~(R~U)XO P, R, T, T c (P{T)~(R~T)XO P, R, T, U c P~R~T~UXO P, R, T, V c (R~T)~(V|P)XO P, R, T, X c (R|P)~(T~X)XO P, R, U, S c (P{S)~(R~U)XO P, R, U, T c P~R~U~TXO P, R, U, U c R~(U|P)~UXO P, R, U, X c (P{R{U)~XXO P, R, V, T c R~(V|P)~TXO P, R, V, W c (P{W)~(R{V)XO P, R, V, X c (P~R{V)~XXO P, R, W, V c (P{W)~(R{V)XO P, R, W, X c (R|P{W)~XXO P, R, X, R c (P{R~R)~XXO P, R, X, T c (R|P)~(X~T)XO P, R, X, U c (P{R{U)~XXO P, R, X, V c (P~R{V)~XXO P, R, X, W c (R|P{W)~XXO P, S, Q, X c (P{S)~(Q~X)XO P, S, R, U c (P{S)~(R~U)XO P, S, S, U c (S~S|P)~UXO P, S, T, U c (S|P)~(T~U)XO P, S, T, X c (P{S{T)~XXO P, S, U, R c (P{S)~(U~R)XO P, S, U, S c (S~S|P)~UXO P, S, U, T c (S|P)~(U~T)XO P, S, U, W c (P{W)~(S{U)XO P, S, U, X c (P~S{U)~XXO P, S, V, X c (S|P{V)~XXO P, S, W, U c (P{W)~(S{U)XO P, S, X, Q c (P{S)~(X~Q)XO P, S, X, T c (P{S{T)~XXO P, S, X, U c (P~S{U)~XXO P, S, X, V c (S|P{V)~XXO P, S, X, X c (P{S)~(X{X)XO P, T, P, X c (P{P)~(T~X)XO P, T, Q, U c (P{Q)~(T~U)XO P, T, Q, W c (P{W)~(T~Q)XO P, T, Q, X c P~T~Q~XXO P, T, R, T c (P{T)~(R~T)XO P, T, R, U c P~T~R~UXO P, T, R, V c (T~R)~(V|P)XO P, T, R, X c T~(R|P)~XXO P, T, S, U c T~(S|P)~UXO P, T, S, X c (P{T{S)~XXO P, T, T, R c (P{T)~(T~R)XO P, T, T, W c (P{W)~(T{T)XO P, T, T, X c (P~T{T)~XXO P, T, U, Q c (P{Q)~(T~U)XO P, T, U, R c P~T~U~RXO P, T, U, S c (T~U)~(S|P)XO P, T, U, X c (P{T)~(U{X)XO P, T, V, R c T~(V|P)~RXO P, T, V, W c (P{T)~(V{W)XO P, T, W, Q c (P{W)~(T~Q)XO P, T, W, T c (P{W)~(T{T)XO P, T, W, V c (P{T)~(W{V)XO P, T, W, X c (P{W{X)~TXO P, T, X, P c (P{P)~(T~X)XO P, T, X, Q c P~T~X~QXO P, T, X, R c (T~X)~(R|P)XO P, T, X, S c (P{T{S)~XXO P, T, X, T c (P~T{T)~XXO P, T, X, U c (P{T{X)~UXO P, T, X, W c (P{X{W)~TXO P, T, X, X c (P~T)~(X{X)XO P, U, Q, T c (P{Q)~(U~T)XO P, U, Q, V c (P{Q~V)~UXO P, U, Q, W c U~(Q~W|P)XO P, U, Q, X c (U|P)~(Q~X)XO P, U, R, S c (P{S)~(U~R)XO P, U, R, T c P~U~R~TXO P, U, R, U c (U|P)~(R~U)XO P, U, R, X c (P{U{R)~XXO P, U, S, R c (P{S)~(U~R)XO P, U, S, S c U~(S~S|P)XO P, U, S, T c U~(S|P)~TXO P, U, S, W c (P{W)~(U{S)XO P, U, S, X c (P~U{S)~XXO P, U, T, Q c (P{Q)~(U~T)XO P, U, T, R c P~U~T~RXO P, U, T, S c (U~T)~(S|P)XO P, U, T, X c (P{T)~(U{X)XO P, U, U, R c (U|P)~(U~R)XO P, U, U, W c (P{U{W)~UXO P, U, U, X c (P~U)~(U{X)XO P, U, V, Q c (P{V~Q)~UXO P, U, V, V c (P{V{V)~UXO P, U, V, W c (P~U)~(V{W)XO P, U, V, X c U~(V|P{X)XO P, U, W, Q c U~(W~Q|P)XO P, U, W, S c (P{W)~(U{S)XO P, U, W, U c (P{U{W)~UXO P, U, W, V c (P~U)~(W{V)XO P, U, W, W c U~(W|P{W)XO P, U, X, Q c (U|P)~(X~Q)XO P, U, X, R c (P{U{R)~XXO P, U, X, S c (P~U{S)~XXO P, U, X, T c (P{X{T)~UXO P, U, X, U c (P~U{X)~UXO P, U, X, V c U~(X|P{V)XO P, U, X, X c (U|P)~(X{X)XO P, V, Q, U c (P{V~Q)~UXO P, V, Q, X c (P{V{Q)~XXO P, V, R, T c (V|P)~(R~T)XO P, V, R, W c (P{W)~(V{R)XO P, V, R, X c (P~V{R)~XXO P, V, S, X c (V|P{S)~XXO P, V, T, R c (V|P)~(T~R)XO P, V, T, W c (P{T)~(V{W)XO P, V, U, Q c (P{V~Q)~UXO P, V, U, V c (P{V{V)~UXO P, V, U, W c (P~V{W)~UXO P, V, U, X c (V|P)~(U{X)XO P, V, V, U c (P{V{V)~UXO P, V, V, W c (V|P)~(V{W)XO P, V, W, R c (P{W)~(V{R)XO P, V, W, T c (P{T)~(V{W)XO P, V, W, U c (P~V{W)~UXO P, V, W, V c (V|P)~(W{V)XO P, V, X, Q c (P{V{Q)~XXO P, V, X, R c (P~V{R)~XXO P, V, X, S c (V|P{S)~XXO P, V, X, U c (V|P{X)~UXO P, W, P, X c (P{W{P)~XXO P, W, Q, T c (P{W)~(Q~T)XO P, W, Q, U c (W~Q|P)~UXO P, W, Q, W c (P{W)~(Q{W)XO P, W, Q, X c (P~W{Q)~XXO P, W, R, V c (P{W)~(R{V)XO P, W, R, X c (W|P{R)~XXO P, W, S, U c (P{W)~(S{U)XO P, W, T, Q c (P{W)~(T~Q)XO P, W, T, T c (P{W)~(T{T)XO P, W, T, V c (P{T)~(W{V)XO P, W, T, X c (P{W{X)~TXO P, W, U, Q c (W~Q|P)~UXO P, W, U, S c (P{W)~(U{S)XO P, W, U, U c (P{W{U)~UXO P, W, U, V c (P~W{V)~UXO P, W, U, W c (W|P{W)~UXO P, W, V, R c (P{W)~(V{R)XO P, W, V, T c (P{T)~(W{V)XO P, W, V, U c (P~W{V)~UXO P, W, V, V c (W{V)~(V|P)XO P, W, W, Q c (P{W)~(W{Q)XO P, W, W, U c (W|P{W)~UXO P, W, X, P c (P{W)~(X{P)XO P, W, X, Q c (P~W{Q)~XXO P, W, X, R c (W|P{R)~XXO P, W, X, T c (P{W{X)~TXO P, W, X, X c P{W{X~XXO P, X, O, X c (P{X{O)~XXO P, X, P, T c (P{P)~(X~T)XO P, X, P, W c (P{X)~(P{W)XO P, X, P, X c (P{X)~(P~X)XO P, X, Q, S c (P{S)~(X~Q)XO P, X, Q, T c P~X~Q~TXO P, X, Q, U c (X~Q)~(U|P)XO P, X, Q, V c (P{X)~(Q{V)XO P, X, Q, W c (P~X)~(Q{W)XO P, X, Q, X c (X|P{Q)~XXO P, X, R, R c (P{X)~(R~R)XO P, X, R, T c X~(R|P)~TXO P, X, R, U c (P{X)~(R{U)XO P, X, R, V c (P~X)~(R{V)XO P, X, R, W c X~(R|P{W)XO P, X, S, Q c (P{S)~(X~Q)XO P, X, S, T c (P{X)~(S{T)XO P, X, S, U c (P~X)~(S{U)XO P, X, S, V c X~(S|P{V)XO P, X, S, X c (P{S)~(X{X)XO P, X, T, P c (P{P)~(X~T)XO P, X, T, Q c P~X~T~QXO P, X, T, R c (X~T)~(R|P)XO P, X, T, S c (P{X)~(T{S)XO P, X, T, T c (P~X)~(T{T)XO P, X, T, U c (P{X{T)~UXO P, X, T, W c (P{X{W)~TXO P, X, T, X c (P~X{X)~TXO P, X, U, Q c X~(U|P)~QXO P, X, U, R c (P{X)~(U{R)XO P, X, U, S c (P~X)~(U{S)XO P, X, U, T c (P{X{T)~UXO P, X, U, U c (P~X{U)~UXO P, X, U, V c (X|P{V)~UXO P, X, U, X c (X{X)~(U|P)XO P, X, V, Q c (P{X)~(V{Q)XO P, X, V, R c (P~X)~(V{R)XO P, X, V, S c X~(V|P{S)XO P, X, V, U c (X|P{V)~UXO P, X, W, P c (P{X)~(W{P)XO P, X, W, Q c (P~X)~(W{Q)XO P, X, W, R c X~(W|P{R)XO P, X, W, T c (P{X{W)~TXO P, X, W, X c P{X~X{WXO P, X, X, O c (P{X)~(X{O)XO P, X, X, P c (P{X)~(X~P)XO P, X, X, Q c (X|P{Q)~XXO P, X, X, S c (P{S)~(X{X)XO P, X, X, T c (P~X{X)~TXO P, X, X, U c (X{X)~(U|P)XO P, X, X, W c P{X~X{WXO P, X, X, X c P~X{X~XXO Q, O, T, X c (Q{O)~(T~X)XO Q, O, W, X c (Q{O{W)~XXO Q, O, X, T c (Q{O)~(X~T)XO Q, O, X, W c (Q{O{W)~XXO Q, P, S, X c Q~(P{S)~XXO Q, P, T, U c (Q{P)~(T~U)XO Q, P, T, W c Q~(P{W)~TXO Q, P, T, X c Q~P~T~XXO Q, P, U, T c (Q{P)~(U~T)XO Q, P, U, V c (Q~V{P)~UXO Q, P, U, W c (Q~W|P)~UXO Q, P, U, X c Q~(U|P)~XXO Q, P, V, U c (Q~V{P)~UXO Q, P, V, X c (Q{P{V)~XXO Q, P, W, T c Q~(P{W)~TXO Q, P, W, U c (Q~W|P)~UXO Q, P, W, W c (Q{W)~(P{W)XO Q, P, W, X c (Q{P~W)~XXO Q, P, X, S c Q~(P{S)~XXO Q, P, X, T c Q~P~X~TXO Q, P, X, U c (Q~X)~(U|P)XO Q, P, X, V c (Q{P{V)~XXO Q, P, X, W c (Q{P~W)~XXO Q, P, X, X c (Q|P{X)~XXO Q, Q, R, X c Q~(Q{R)~XXO Q, Q, S, X c (Q{Q~S)~XXO Q, Q, T, V c Q~(Q{V)~TXO Q, Q, T, W c (Q{Q~W)~TXO Q, Q, U, X c (Q{Q{U)~XXO Q, Q, V, T c Q~(Q{V)~TXO Q, Q, V, W c (Q{V)~(Q{W)XO Q, Q, V, X c Q~(V|Q)~XXO Q, Q, W, T c (Q{Q~W)~TXO Q, Q, W, V c (Q{W)~(Q{V)XO Q, Q, W, X c Q{(Q{X)~WXO Q, Q, X, R c Q~(Q{R)~XXO Q, Q, X, S c (Q{Q~S)~XXO Q, Q, X, U c (Q{Q{U)~XXO Q, Q, X, V c (Q~X)~(V|Q)XO Q, Q, X, W c Q{(Q{X)~WXO Q, Q, X, X c (QQ{X)~XXO Q, R, Q, X c (Q{R)~(Q~X)XO Q, R, R, T c Q~R~R~TXO Q, R, R, U c (Q{R)~(R~U)XO Q, R, R, W c (Q{W)~(R~R)XO Q, R, S, T c (Q{S)~(R~T)XO Q, R, S, V c (Q{S~V)~RXO Q, R, S, W c R~(S~W|Q)XO Q, R, S, X c (Q~R{S)~XXO Q, R, T, R c Q~R~T~RXO Q, R, T, S c (Q{S)~(R~T)XO Q, R, T, U c Q~(R{U)~TXO Q, R, T, W c (R~T)~(W|Q)XO Q, R, T, X c (Q{R{T)~XXO Q, R, U, R c (Q{R)~(U~R)XO Q, R, U, T c Q~(R{U)~TXO Q, R, U, U c (Q~U{R)~UXO Q, R, U, V c Q~(R{U~V)XO Q, R, U, W c Q~(U~W|R)XO Q, R, U, X c (Q~R)~(U{X)XO Q, R, V, S c (Q{V~S)~RXO Q, R, V, U c Q~(R{V~U)XO Q, R, V, V c (Q{V)~(R{V)XO Q, R, V, W c (Q~R)~(V{W)XO Q, R, W, R c (Q{W)~(R~R)XO Q, R, W, S c R~(W~S|Q)XO Q, R, W, T c R~(W|Q)~TXO Q, R, W, U c (Q{W)~(R{U)XO Q, R, W, V c (Q~R)~(W{V)XO Q, R, W, W c Q{(R{W)~WXO Q, R, W, X c Q~(W|R)~XXO Q, R, X, Q c (Q{R)~(X~Q)XO Q, R, X, S c (Q~R{S)~XXO Q, R, X, T c (Q{R{T)~XXO Q, R, X, U c (Q~R{X)~UXO Q, R, X, W c (Q~X)~(W|R)XO Q, R, X, X c (Q{R)~(X{X)XO Q, S, P, X c Q~(S{P)~XXO Q, S, Q, X c (Q{S~Q)~XXO Q, S, R, T c (Q{S)~(R~T)XO Q, S, R, V c (Q{S~V)~RXO Q, S, R, W c (S~W|Q)~RXO Q, S, R, X c (Q~R{S)~XXO Q, S, S, T c (Q{S~S)~TXO Q, S, S, X c (Q{S{S)~XXO Q, S, T, R c (Q{S)~(T~R)XO Q, S, T, S c (Q{S~S)~TXO Q, S, T, T c Q~(S{T)~TXO Q, S, T, V c (Q~V{S)~TXO Q, S, T, W c (Q{W)~(S{T)XO Q, S, T, X c (S|Q)~(T~X)XO Q, S, U, V c (Q~S{V)~UXO Q, S, U, X c (Q{S)~(U{X)XO Q, S, V, R c (Q{S~V)~RXO Q, S, V, T c (Q~V{S)~TXO Q, S, V, U c (Q~S{V)~UXO Q, S, V, V c Q~(V~V|S)XO Q, S, V, W c Q{(S{V)~WXO Q, S, V, X c (Q~V|S)~XXO Q, S, W, R c (S~W|Q)~RXO Q, S, W, T c (Q{W)~(S{T)XO Q, S, W, V c (Q{S)~(W{V)XO Q, S, W, X c (S|Q{W)~XXO Q, S, X, P c Q~(S{P)~XXO Q, S, X, Q c (Q{S~Q)~XXO Q, S, X, R c (Q~R{S)~XXO Q, S, X, S c (Q{S{S)~XXO Q, S, X, T c (S|Q)~(X~T)XO Q, S, X, U c (Q{S{X)~UXO Q, S, X, V c (Q~V|S)~XXO Q, S, X, W c (S|Q{W)~XXO Q, S, X, X c Q~(S~X{X)XO Q, T, O, X c (Q~T{O)~XXO Q, T, P, U c (Q{P)~(T~U)XO Q, T, P, W c (Q~T)~(P{W)XO Q, T, P, X c Q~T~P~XXO Q, T, Q, V c (Q~T)~(Q{V)XO Q, T, Q, W c (Q{Q~W)~TXO Q, T, R, R c Q~T~R~RXO Q, T, R, S c (Q{S)~(T~R)XO Q, T, R, U c (Q~T)~(R{U)XO Q, T, R, W c (T~R)~(W|Q)XO Q, T, R, X c (Q{T{R)~XXO Q, T, S, R c (Q{S)~(T~R)XO Q, T, S, S c (Q{S~S)~TXO Q, T, S, T c Q~(T{S)~TXO Q, T, S, V c (Q~V{S)~TXO Q, T, S, W c (Q{W)~(T{S)XO Q, T, S, X c TQ~S~XXO Q, T, T, S c (Q~T)~(T{S)XO Q, T, T, U c (Q~T{T)~UXO Q, T, T, V c (Q{V)~(T{T)XO Q, T, T, W c Q~(T{T~W)XO Q, T, U, P c (Q{P)~(T~U)XO Q, T, U, R c (Q~T)~(U{R)XO Q, T, U, T c (Q~T{T)~UXO Q, T, U, U c (Q~U{U)~TXO Q, T, U, W c Q{(T{U)~WXO Q, T, V, Q c (Q~T)~(V{Q)XO Q, T, V, S c (Q~V{S)~TXO Q, T, V, T c (Q{V)~(T{T)XO Q, T, V, X c (Q{V{X)~TXO Q, T, W, P c (Q~T)~(W{P)XO Q, T, W, Q c (Q{W~Q)~TXO Q, T, W, R c T~(W|Q)~RXO Q, T, W, S c (Q{W)~(T{S)XO Q, T, W, T c (Q~T{W)~TXO Q, T, W, U c (Q{T{W)~UXO Q, T, W, W c (Q{W{W)~TXO Q, T, X, O c Q~T~X{OXO Q, T, X, P c Q~T~X~PXO Q, T, X, R c (Q{T{R)~XXO Q, T, X, S c TQ~X~SXO Q, T, X, V c (Q{X{V)~TXO Q, U, P, T c (Q{P)~(U~T)XO Q, U, P, V c (Q~V{P)~UXO Q, U, P, W c (Q~W|P)~UXO Q, U, P, X c Q~(U|P)~XXO Q, U, Q, X c (Q{U{Q)~XXO Q, U, R, R c (Q{R)~(U~R)XO Q, U, R, T c Q~(U{R)~TXO Q, U, R, U c (Q~U{R)~UXO Q, U, R, V c Q~(U~V{R)XO Q, U, R, W c Q~(U~W|R)XO Q, U, R, X c Q~(U{X)~RXO Q, U, S, V c (Q~S{V)~UXO Q, U, S, X c (Q{S)~(U{X)XO Q, U, T, P c (Q{P)~(U~T)XO Q, U, T, R c Q~(U{R)~TXO Q, U, T, T c (Q~T{T)~UXO Q, U, T, U c (Q~U{U)~TXO Q, U, T, W c Q{(U{T)~WXO Q, U, U, R c (Q~U{R)~UXO Q, U, U, T c (Q~U{U)~TXO Q, U, U, V c (Q{U{V)~UXO Q, U, U, W c Q~U~W|UXO Q, U, U, X c Q~(U~U{X)XO Q, U, V, P c (Q~V{P)~UXO Q, U, V, R c Q~(U~V{R)XO Q, U, V, S c (Q{V)~(U{S)XO Q, U, V, U c (Q{U{V)~UXO Q, U, V, X c (UQ{V)~XXO Q, U, W, P c (Q~W|P)~UXO Q, U, W, R c Q~(U~W|R)XO Q, U, W, T c Q{(U{T)~WXO Q, U, W, U c Q~U~W|UXO Q, U, W, X c (Q~W|U)~XXO Q, U, X, P c Q~(U|P)~XXO Q, U, X, Q c (Q{U{Q)~XXO Q, U, X, R c Q~(U{X)~RXO Q, U, X, S c (Q{X{S)~UXO Q, U, X, U c Q~(U~U{X)XO Q, U, X, V c (UQ{V)~XXO Q, U, X, W c (Q~W|U)~XXO Q, U, X, X c Q~(U~X|X)XO Q, V, P, U c (Q~V{P)~UXO Q, V, P, X c (Q{V{P)~XXO Q, V, Q, T c (Q{V)~(Q~T)XO Q, V, Q, W c (Q{V)~(Q{W)XO Q, V, Q, X c Q~(V|Q)~XXO Q, V, R, S c (Q{V~S)~RXO Q, V, R, U c Q~(V~U{R)XO Q, V, R, V c (Q{V)~(R{V)XO Q, V, R, W c Q~(V{W)~RXO Q, V, S, R c (Q{V~S)~RXO Q, V, S, T c (Q~V{S)~TXO Q, V, S, U c (Q{V)~(S{U)XO Q, V, S, V c Q~(V~V|S)XO Q, V, S, W c Q{(V{S)~WXO Q, V, S, X c (Q~V|S)~XXO Q, V, T, Q c (Q{V)~(T~Q)XO Q, V, T, S c (Q~V{S)~TXO Q, V, T, T c (Q{V)~(T{T)XO Q, V, T, X c (Q{V{X)~TXO Q, V, U, P c (Q~V{P)~UXO Q, V, U, R c Q~(V~U{R)XO Q, V, U, S c (Q{V)~(U{S)XO Q, V, U, U c (Q{V{U)~UXO Q, V, U, X c (V{UQ)~XXO Q, V, V, R c (Q{V)~(V{R)XO Q, V, V, S c Q~(V~V|S)XO Q, V, V, W c Q~V~V|WXO Q, V, W, Q c (Q{V)~(W{Q)XO Q, V, W, R c Q~(V{W)~RXO Q, V, W, S c Q{(V{S)~WXO Q, V, W, V c Q~V~V|WXO Q, V, W, W c (V{W)~(W|Q)XO Q, V, X, P c (Q{V)~(X{P)XO Q, V, X, Q c Q~(V|Q)~XXO Q, V, X, S c (Q~V|S)~XXO Q, V, X, T c (Q{V{X)~TXO Q, V, X, U c (V{UQ)~XXO Q, V, X, X c Q{V{X~XXO Q, W, O, X c (Q{W{O)~XXO Q, W, P, T c Q~(W{P)~TXO Q, W, P, U c (Q~W|P)~UXO Q, W, P, W c (Q{W)~(P{W)XO Q, W, P, X c (Q{W)~(P~X)XO Q, W, Q, T c (Q{W~Q)~TXO Q, W, Q, V c (Q{W)~(Q{V)XO Q, W, Q, X c Q{W~(Q{X)XO Q, W, R, R c (Q{W)~(R~R)XO Q, W, R, S c (W~S|Q)~RXO Q, W, R, T c (W|Q)~(R~T)XO Q, W, R, U c (Q{W)~(R{U)XO Q, W, R, V c Q~(W{V)~RXO Q, W, R, W c Q{(W{R)~WXO Q, W, R, X c Q~(W|R)~XXO Q, W, S, R c (W~S|Q)~RXO Q, W, S, T c (Q{W)~(S{T)XO Q, W, S, V c Q{W~(S{V)XO Q, W, S, X c (W|Q{S)~XXO Q, W, T, P c Q~(W{P)~TXO Q, W, T, Q c (Q{W~Q)~TXO Q, W, T, R c (W|Q)~(T~R)XO Q, W, T, S c (Q{W)~(T{S)XO Q, W, T, T c Q~(W~T{T)XO Q, W, T, U c (Q{W{T)~UXO Q, W, T, W c (Q{W{W)~TXO Q, W, U, P c (Q~W|P)~UXO Q, W, U, R c (Q{W)~(U{R)XO Q, W, U, T c Q{W~(U{T)XO Q, W, U, U c Q~W~U|UXO Q, W, U, X c (Q~W|U)~XXO Q, W, V, Q c (Q{W)~(V{Q)XO Q, W, V, R c Q~(W{V)~RXO Q, W, V, S c Q{W~(V{S)XO Q, W, V, V c Q~V~V|WXO Q, W, V, W c (W|Q)~(V{W)XO Q, W, W, P c (Q{W)~(W{P)XO Q, W, W, R c Q{W~(W{R)XO Q, W, W, T c (Q{W{W)~TXO Q, W, W, V c (W|Q)~(W{V)XO Q, W, X, O c (Q{W)~(X{O)XO Q, W, X, P c (Q{W)~(X~P)XO Q, W, X, Q c Q{W~(X{Q)XO Q, W, X, R c Q~(W|R)~XXO Q, W, X, S c (W|Q{S)~XXO Q, W, X, U c (Q~W|U)~XXO Q, W, X, X c Q~X{W~XXO Q, X, O, T c (Q~X{O)~TXO Q, X, O, W c (Q{O{W)~XXO Q, X, P, S c (Q~X)~(P{S)XO Q, X, P, T c Q~X~P~TXO Q, X, P, U c (Q~X)~(U|P)XO Q, X, P, V c (Q{P{V)~XXO Q, X, P, W c (Q{P~W)~XXO Q, X, P, X c (Q{X|P)~XXO Q, X, Q, R c (Q~X)~(Q{R)XO Q, X, Q, S c (Q{Q~S)~XXO Q, X, Q, U c (Q{Q{U)~XXO Q, X, Q, V c (Q~X)~(V|Q)XO Q, X, Q, W c Q{(X{Q)~WXO Q, X, Q, X c (QQ{X)~XXO Q, X, R, Q c (Q~X)~(R{Q)XO Q, X, R, S c (Q~R{S)~XXO Q, X, R, T c (Q{R{T)~XXO Q, X, R, U c (Q~X|R)~UXO Q, X, R, W c (Q~X)~(W|R)XO Q, X, R, X c (Q{R)~(X{X)XO Q, X, S, P c (Q~X)~(S{P)XO Q, X, S, Q c (Q{S~Q)~XXO Q, X, S, R c (Q~R{S)~XXO Q, X, S, S c (Q{S{S)~XXO Q, X, S, T c XQ~S~TXO Q, X, S, U c (Q{X{S)~UXO Q, X, S, V c (Q~V|S)~XXO Q, X, S, W c X~(S|Q{W)XO Q, X, S, X c Q~(X{S~X)XO Q, X, T, O c Q~X~T{OXO Q, X, T, P c Q~X~T~PXO Q, X, T, R c (Q{T{R)~XXO Q, X, T, S c XQ~T~SXO Q, X, T, V c (Q{X{V)~TXO Q, X, U, P c (Q~X)~(U|P)XO Q, X, U, Q c (Q{U{Q)~XXO Q, X, U, R c Q~(X{U)~RXO Q, X, U, S c (Q{X{S)~UXO Q, X, U, U c Q~(X{U~U)XO Q, X, U, V c X~(UQ{V)XO Q, X, U, W c (Q~W|U)~XXO Q, X, U, X c Q~(X~U|X)XO Q, X, V, P c (Q{V)~(X{P)XO Q, X, V, Q c (Q~X)~(V|Q)XO Q, X, V, S c (Q~V|S)~XXO Q, X, V, T c (Q{X{V)~TXO Q, X, V, U c X~(V{UQ)XO Q, X, V, X c Q{X~X{VXO Q, X, W, O c (Q{W)~(X{O)XO Q, X, W, P c (Q{W)~(X~P)XO Q, X, W, Q c (Q{X)~W{QXO Q, X, W, R c (Q~X)~(W|R)XO Q, X, W, S c X~(W|Q{S)XO Q, X, W, U c (Q~W|U)~XXO Q, X, W, X c Q~X{W~XXO Q, X, X, P c (Q{X|P)~XXO Q, X, X, Q c (QQ{X)~XXO Q, X, X, R c (Q{R)~(X{X)XO Q, X, X, S c Q~(X{X~S)XO Q, X, X, U c Q~(X~U|X)XO Q, X, X, V c Q{X~X{VXO Q, X, X, W c Q~X{X~WXO Q, X, X, X c (Q{X)~X|XXO R, O, T, U c (R{O)~(T~U)XO R, O, U, T c (R{O)~(U~T)XO R, O, V, X c (R{O{V)~XXO R, O, X, V c (R{O{V)~XXO R, P, R, X c R~(P{X)~RXO R, P, S, U c R~(P{S)~UXO R, P, T, T c R~(P{T)~TXO R, P, T, U c R~P~T~UXO R, P, T, V c (R~T)~(V|P)XO R, P, T, X c (R|P)~(T~X)XO R, P, U, S c R~(P{S)~UXO R, P, U, T c R~P~U~TXO R, P, U, U c R~(U|P)~UXO R, P, U, X c (R{P{U)~XXO R, P, V, T c R~(V|P)~TXO R, P, V, W c (R{V)~(P{W)XO R, P, V, X c (R{P~V)~XXO R, P, W, V c (R{V)~(P{W)XO R, P, W, X c (R|P{W)~XXO R, P, X, R c R~(P{X)~RXO R, P, X, T c (R|P)~(X~T)XO R, P, X, U c (R{P{U)~XXO R, P, X, V c (R{P~V)~XXO R, P, X, W c (R|P{W)~XXO R, Q, Q, X c (R{Q)~(Q~X)XO R, Q, R, T c R~Q~R~TXO R, Q, R, U c (R{Q)~(R~U)XO R, Q, R, W c R~(Q{W)~RXO R, Q, S, T c R~(Q{S)~TXO R, Q, S, V c R~(Q{S~V)XO R, Q, S, W c R~(S~W|Q)XO R, Q, S, X c (R~Q{S)~XXO R, Q, T, R c R~Q~T~RXO R, Q, T, S c R~(Q{S)~TXO R, Q, T, U c (R{U)~(Q~T)XO R, Q, T, W c (R~T)~(W|Q)XO R, Q, T, X c (R{Q{T)~XXO R, Q, U, R c (R{Q)~(U~R)XO R, Q, U, T c (R{U)~(Q~T)XO R, Q, U, U c (R{Q~U)~UXO R, Q, U, V c (R{U~V)~QXO R, Q, U, W c (R{U)~(Q{W)XO R, Q, U, X c (R~Q)~(U{X)XO R, Q, V, S c R~(Q{V~S)XO R, Q, V, U c R~(V|Q)~UXO R, Q, V, V c (R{V)~(Q{V)XO R, Q, V, W c (R~Q)~(V{W)XO R, Q, W, R c R~(Q{W)~RXO R, Q, W, S c R~(W~S|Q)XO R, Q, W, T c R~(W|Q)~TXO R, Q, W, U c (R{U)~(Q{W)XO R, Q, W, V c (R~Q)~(W{V)XO R, Q, W, W c (R{W)~W{QXO R, Q, W, X c Q~(W|R)~XXO R, Q, X, Q c (R{Q)~(X~Q)XO R, Q, X, S c (R~Q{S)~XXO R, Q, X, T c (R{Q{T)~XXO R, Q, X, U c (R~Q{X)~UXO R, Q, X, W c (Q~X)~(W|R)XO R, Q, X, X c (R{Q)~(X{X)XO R, R, P, X c (R~R{P)~XXO R, R, Q, T c R~R~Q~TXO R, R, Q, U c R~(R{Q)~UXO R, R, Q, W c (R~R)~(Q{W)XO R, R, R, T c (R{R)~(R~T)XO R, R, R, V c (R~R)~(R{V)XO R, R, R, X c R~(R{R~X)XO R, R, S, U c (R{R~S)~UXO R, R, S, X c (R{R{S)~XXO R, R, T, Q c R~R~T~QXO R, R, T, R c (R{R)~(T~R)XO R, R, T, T c (R{R~T)~TXO R, R, T, V c (R~V|R)~TXO R, R, T, X c (R~R{X)~TXO R, R, U, Q c R~(R{Q)~UXO R, R, U, S c (R~R)~(U{S)XO R, R, U, U c (R~R{U)~UXO R, R, U, V c (R{U)~(R{V)XO R, R, U, W c R~(R~W{U)XO R, R, U, X c (R{R)~(U{X)XO R, R, V, R c R~(R{V)~RXO R, R, V, T c (R~V|R)~TXO R, R, V, U c (R{V)~(R{U)XO R, R, V, W c (R{R)~(V{W)XO R, R, V, X c R~(R~V{X)XO R, R, W, Q c (R~R)~(W{Q)XO R, R, W, U c R~(R~W{U)XO R, R, W, V c (R{R)~(W{V)XO R, R, X, P c (R~R)~(X{P)XO R, R, X, R c (R{R~X)~RXO R, R, X, S c (R{R{S)~XXO R, R, X, T c (R~R{X)~TXO R, R, X, U c (R{R{X)~UXO R, R, X, V c R~(R~V{X)XO R, R, X, X c R~R{X~XXO R, S, P, U c R~(S{P)~UXO R, S, Q, T c R~(S{Q)~TXO R, S, Q, V c R~(S~V{Q)XO R, S, Q, W c R~(S~W|Q)XO R, S, Q, X c (R~S|Q)~XXO R, S, R, U c (R{S~R)~UXO R, S, R, X c (R{S{R)~XXO R, S, T, Q c R~(S{Q)~TXO R, S, T, U c (R~S{U)~TXO R, S, T, V c (R{V)~(S{T)XO R, S, U, P c R~(S{P)~UXO R, S, U, R c R~(S{U)~RXO R, S, U, T c (R~S{U)~TXO R, S, U, U c R~(S~U{U)XO R, S, U, V c R~S~V{UXO R, S, U, W c (R{S{W)~UXO R, S, U, X c R~(S~X|U)XO R, S, V, Q c R~(S~V{Q)XO R, S, V, T c (R{V)~(S{T)XO R, S, V, U c R~S~V{UXO R, S, W, Q c R~(S~W|Q)XO R, S, W, U c (R{S{W)~UXO R, S, X, Q c (R~S|Q)~XXO R, S, X, R c (R{S{R)~XXO R, S, X, U c R~(S~X|U)XO R, S, X, X c (S|R{X)~XXO R, T, O, U c (R~T{O)~UXO R, T, P, T c R~(T{P)~TXO R, T, P, U c R~T~P~UXO R, T, P, V c (R~T)~(V|P)XO R, T, P, X c (R|P)~(T~X)XO R, T, Q, R c R~T~Q~RXO R, T, Q, S c (R~T)~(Q{S)XO R, T, Q, U c (R{U)~(T~Q)XO R, T, Q, W c (R~T)~(W|Q)XO R, T, Q, X c (R{T{Q)~XXO R, T, R, Q c R~T~R~QXO R, T, R, R c (R~T)~(R{R)XO R, T, R, T c (R{T~R)~TXO R, T, R, V c (R~V|R)~TXO R, T, R, X c (R~T)~(X|R)XO R, T, S, Q c (R~T)~(S{Q)XO R, T, S, U c (R~S{U)~TXO R, T, S, V c (R{V)~(T{S)XO R, T, T, P c (R~T)~(T{P)XO R, T, T, R c R~(T{T)~RXO R, T, T, T c R~(T{T~T)XO R, T, T, U c (R{U)~(T{T)XO R, T, T, V c R~(T~V|T)XO R, T, T, X c (R~T|T)~XXO R, T, U, O c R~T~U{OXO R, T, U, P c R~T~U~PXO R, T, U, Q c (R{U)~(T~Q)XO R, T, U, S c (R~S{U)~TXO R, T, U, T c (R{U)~(T{T)XO R, T, U, U c T~(U|R)~UXO R, T, U, V c (R{T{V)~UXO R, T, U, W c (R~W|U)~TXO R, T, U, X c (R{U{X)~TXO R, T, V, P c (R~T)~(V|P)XO R, T, V, R c (R~V|R)~TXO R, T, V, S c (R{V)~(T{S)XO R, T, V, T c R~(T~V|T)XO R, T, V, U c (R{T{V)~UXO R, T, V, W c (R{V{W)~TXO R, T, W, Q c (R~T)~(W|Q)XO R, T, W, U c (R~W|U)~TXO R, T, W, V c (R{W{V)~TXO R, T, W, X c (T|R{W)~XXO R, T, X, P c (R|P)~(T~X)XO R, T, X, Q c (R{T{Q)~XXO R, T, X, R c (R~T)~(X|R)XO R, T, X, T c (R~T|T)~XXO R, T, X, U c (R{X{U)~TXO R, T, X, W c (T|R{W)~XXO R, T, X, X c (R~X|X)~TXO R, U, O, T c (R~U{O)~TXO R, U, P, S c (R~U)~(P{S)XO R, U, P, T c R~U~P~TXO R, U, P, U c R~(U|P)~UXO R, U, P, X c (R{U{P)~XXO R, U, Q, R c (R~U)~(Q{R)XO R, U, Q, T c (R{U)~(Q~T)XO R, U, Q, U c (R{U~Q)~UXO R, U, Q, V c (R{U~V)~QXO R, U, Q, W c (R{U)~(Q{W)XO R, U, Q, X c R~(U{X)~QXO R, U, R, Q c (R~U)~(R{Q)XO R, U, R, S c R~(U{S)~RXO R, U, R, U c (R~U|R)~UXO R, U, R, V c (R{U)~(R{V)XO R, U, R, W c R~(U{R~W)XO R, U, R, X c (R{R)~(U{X)XO R, U, S, P c (R~U)~(S{P)XO R, U, S, R c R~(U{S)~RXO R, U, S, T c (R~S{U)~TXO R, U, S, U c (R{U)~(S{U)XO R, U, S, V c R~S~V{UXO R, U, S, W c (R{S{W)~UXO R, U, S, X c (R~U)~(X|S)XO R, U, T, O c R~U~T{OXO R, U, T, P c R~U~T~PXO R, U, T, Q c (R{U)~(T~Q)XO R, U, T, S c (R~S{U)~TXO R, U, T, T c (R{U)~(T{T)XO R, U, T, U c (U|R)~(T~U)XO R, U, T, V c (R{T{V)~UXO R, U, T, W c (R~W|U)~TXO R, U, T, X c (R{U{X)~TXO R, U, U, P c (R~U)~(U|P)XO R, U, U, Q c (R{U~Q)~UXO R, U, U, R c (R~U|R)~UXO R, U, U, S c (R{U)~(U{S)XO R, U, U, T c (U|R)~(U~T)XO R, U, U, U c (R{U{U)~UXO R, U, U, V c (R~V|U)~UXO R, U, V, Q c (R{U~V)~QXO R, U, V, R c (R{U)~(V{R)XO R, U, V, S c R~V~S{UXO R, U, V, T c (R{V{T)~UXO R, U, V, U c (R~V|U)~UXO R, U, V, X c (R{X)~V{UXO R, U, W, Q c (R{U)~(W{Q)XO R, U, W, R c R~(U{W~R)XO R, U, W, S c (R{W{S)~UXO R, U, W, T c (R~W|U)~TXO R, U, W, X c R~U{W~XXO R, U, X, P c (R{U)~(X{P)XO R, U, X, Q c R~(U{X)~QXO R, U, X, R c (R{X{R)~UXO R, U, X, S c (R~U)~(X|S)XO R, U, X, T c (R{U{X)~TXO R, U, X, V c (R{X)~V{UXO R, U, X, W c R~U{X~WXO R, U, X, X c R{U{X~XXO R, V, O, X c (R{V{O)~XXO R, V, P, T c R~(V|P)~TXO R, V, P, W c (R{V)~(P{W)XO R, V, P, X c (R{V)~(P~X)XO R, V, Q, S c R~(V~S{Q)XO R, V, Q, U c R~(V|Q)~UXO R, V, Q, V c (R{V)~(Q{V)XO R, V, Q, W c R~(V{W)~QXO R, V, R, R c (R{V)~(R~R)XO R, V, R, T c (R~V|R)~TXO R, V, R, U c (R{V)~(R{U)XO R, V, R, W c (R{R)~(V{W)XO R, V, R, X c R~(V~R{X)XO R, V, S, Q c R~(V~S{Q)XO R, V, S, T c (R{V)~(S{T)XO R, V, S, U c R~V~S{UXO R, V, T, P c R~(V|P)~TXO R, V, T, R c (R~V|R)~TXO R, V, T, S c (R{V)~(T{S)XO R, V, T, T c R~(V~T|T)XO R, V, T, U c (R{V{T)~UXO R, V, T, W c (R{V{W)~TXO R, V, U, Q c (R{V~U)~QXO R, V, U, R c (R{V)~(U{R)XO R, V, U, S c R~V~S{UXO R, V, U, T c (R{V{T)~UXO R, V, U, U c (R~V|U)~UXO R, V, U, X c (R{X)~V{UXO R, V, V, Q c (R{V)~(V{Q)XO R, V, W, P c (R{V)~(W{P)XO R, V, W, Q c R~(V{W)~QXO R, V, W, R c (R{R)~(V{W)XO R, V, W, T c (R{V{W)~TXO R, V, W, X c (V{W)~(X|R)XO R, V, X, O c (R{V)~(X{O)XO R, V, X, P c (R{V)~(X~P)XO R, V, X, R c (R~V{X)~RXO R, V, X, U c (R{X)~V{UXO R, V, X, W c (V{W)~(X|R)XO R, V, X, X c R~X{V~XXO R, W, P, V c (R{V)~(W{P)XO R, W, P, X c (R{W|P)~XXO R, W, Q, R c R~(W{Q)~RXO R, W, Q, S c R~(W~S|Q)XO R, W, Q, T c R~(W|Q)~TXO R, W, Q, U c (R{U)~(W{Q)XO R, W, Q, V c R~(W{V)~QXO R, W, Q, W c (R{W)~W{QXO R, W, Q, X c (W|R)~(Q~X)XO R, W, R, Q c R~(W{Q)~RXO R, W, R, U c R~(W|R)~UXO R, W, R, V c (R{R)~(W{V)XO R, W, S, Q c R~(W~S|Q)XO R, W, S, U c (R{W{S)~UXO R, W, T, Q c R~(W|Q)~TXO R, W, T, U c (R~W|U)~TXO R, W, T, V c (R{W{V)~TXO R, W, T, X c (W|R{T)~XXO R, W, U, Q c (R{U)~(W{Q)XO R, W, U, R c (R~W{U)~RXO R, W, U, S c (R{W{S)~UXO R, W, U, T c (R~W|U)~TXO R, W, U, X c (R~W|X)~UXO R, W, V, P c (R{V)~(W{P)XO R, W, V, Q c R~(W{V)~QXO R, W, V, R c (R{R)~(W{V)XO R, W, V, T c (R{W{V)~TXO R, W, V, X c (W{V)~(X|R)XO R, W, W, Q c (R{W)~W{QXO R, W, X, P c (R{W|P)~XXO R, W, X, Q c (W|R)~(X~Q)XO R, W, X, T c (W|R{T)~XXO R, W, X, U c (R~W|X)~UXO R, W, X, V c (W{V)~(X|R)XO R, W, X, X c (R{W)~X|XXO R, X, O, V c (R{O{V)~XXO R, X, P, R c R~(X{P)~RXO R, X, P, T c (R|P)~(X~T)XO R, X, P, U c (R{P{U)~XXO R, X, P, V c (R{P~V)~XXO R, X, P, W c (R|P{W)~XXO R, X, Q, Q c (R{Q)~(X~Q)XO R, X, Q, S c (R~Q{S)~XXO R, X, Q, T c (R{Q{T)~XXO R, X, Q, U c R~(X{U)~QXO R, X, Q, W c (X~Q)~(W|R)XO R, X, Q, X c (R{X|Q)~XXO R, X, R, P c R~(X{P)~RXO R, X, R, R c (R{X~R)~RXO R, X, R, S c (R{R{S)~XXO R, X, R, T c R~(X|R)~TXO R, X, R, U c (R{X{R)~UXO R, X, R, V c R~(X{R~V)XO R, X, R, X c R~X~R{XXO R, X, S, Q c (R~S|Q)~XXO R, X, S, R c (R{S{R)~XXO R, X, S, U c R~(X|S)~UXO R, X, S, X c (X|R{S)~XXO R, X, T, P c (R|P)~(X~T)XO R, X, T, Q c (R{T{Q)~XXO R, X, T, R c R~(X|R)~TXO R, X, T, T c (R~T|T)~XXO R, X, T, U c (R{X{U)~TXO R, X, T, W c X~(T|R{W)XO R, X, T, X c (R~X|X)~TXO R, X, U, P c (R{U)~(X{P)XO R, X, U, Q c R~(X{U)~QXO R, X, U, R c (R{X{R)~UXO R, X, U, S c R~(X|S)~UXO R, X, U, T c (R{X{U)~TXO R, X, U, V c (R{X)~V{UXO R, X, U, W c (R{X)~W|UXO R, X, U, X c R{X~X{UXO R, X, V, O c (R{V)~(X{O)XO R, X, V, P c (R{V)~(X~P)XO R, X, V, R c R~(X{V~R)XO R, X, V, U c (R{X)~V{UXO R, X, V, W c (X|R)~(V{W)XO R, X, V, X c R~X{V~XXO R, X, W, P c (R{W|P)~XXO R, X, W, Q c X~(W|R)~QXO R, X, W, T c X~(W|R{T)XO R, X, W, U c (R{X)~W|UXO R, X, W, V c (X|R)~(W{V)XO R, X, W, X c (R{W)~X|XXO R, X, X, Q c (R{X|Q)~XXO R, X, X, R c R~X~R{XXO R, X, X, S c (X|R{S)~XXO R, X, X, T c (R~X|X)~TXO R, X, X, U c R{X~X{UXO R, X, X, V c R~X{X~VXO R, X, X, W c (R{W)~X|XXO S, O, U, X c (S{O{U)~XXO S, O, X, U c (S{O{U)~XXO S, P, Q, X c (S{P)~(Q~X)XO S, P, R, U c (S{P)~(R~U)XO S, P, S, U c (S~S|P)~UXO S, P, T, U c (S|P)~(T~U)XO S, P, T, X c (S{P{T)~XXO S, P, U, R c (S{P)~(U~R)XO S, P, U, S c (S~S|P)~UXO S, P, U, T c (S|P)~(U~T)XO S, P, U, W c (S{U)~(P{W)XO S, P, U, X c (S{P~U)~XXO S, P, V, X c (S|P{V)~XXO S, P, W, U c (S{U)~(P{W)XO S, P, X, Q c (S{P)~(X~Q)XO S, P, X, T c (S{P{T)~XXO S, P, X, U c (S{P~U)~XXO S, P, X, V c (S|P{V)~XXO S, P, X, X c (S{P)~(X{X)XO S, Q, P, X c (S{P)~(Q~X)XO S, Q, Q, X c (S~Q{Q)~XXO S, Q, R, T c (S{Q)~(R~T)XO S, Q, R, V c (S~V{Q)~RXO S, Q, R, W c (S~W|Q)~RXO S, Q, R, X c (S{Q~R)~XXO S, Q, S, T c (S~S{Q)~TXO S, Q, S, X c (S{Q{S)~XXO S, Q, T, R c (S{Q)~(T~R)XO S, Q, T, S c (S~S{Q)~TXO S, Q, T, T c (S{T)~(Q~T)XO S, Q, T, V c (S{Q~V)~TXO S, Q, T, W c (S{T)~(Q{W)XO S, Q, T, X c (S|Q)~(T~X)XO S, Q, U, V c (S~Q{V)~UXO S, Q, U, X c (S{Q)~(U{X)XO S, Q, V, R c (S~V{Q)~RXO S, Q, V, T c (S{Q~V)~TXO S, Q, V, U c (S~Q{V)~UXO S, Q, V, V c Q~(V~V|S)XO S, Q, V, W c (S{Q)~(V{W)XO S, Q, V, X c (Q~V|S)~XXO S, Q, W, R c (S~W|Q)~RXO S, Q, W, T c (S{T)~(Q{W)XO S, Q, W, V c (S{Q)~(W{V)XO S, Q, W, X c (S|Q{W)~XXO S, Q, X, P c (S{P)~(Q~X)XO S, Q, X, Q c (S~Q{Q)~XXO S, Q, X, R c (S{Q~R)~XXO S, Q, X, S c (S{Q{S)~XXO S, Q, X, T c (S|Q)~(X~T)XO S, Q, X, U c (S{Q{X)~UXO S, Q, X, V c (Q~V|S)~XXO S, Q, X, W c (S|Q{W)~XXO S, Q, X, X c (S~X{X)~QXO S, R, P, U c (S{P)~(R~U)XO S, R, Q, T c (S{Q)~(R~T)XO S, R, Q, V c (S~V{Q)~RXO S, R, Q, W c (S~W|Q)~RXO S, R, Q, X c (S{R~Q)~XXO S, R, R, U c (S~R{R)~UXO S, R, R, X c (S{R{R)~XXO S, R, T, Q c (S{Q)~(R~T)XO S, R, T, U c (S~R{U)~TXO S, R, T, V c (S{T)~(R{V)XO S, R, U, P c (S{P)~(R~U)XO S, R, U, R c (S~R{R)~UXO S, R, U, T c (S~R{U)~TXO S, R, U, U c (S{U)~(R{U)XO S, R, U, V c S~R~V{UXO S, R, U, W c (S{R{W)~UXO S, R, U, X c (S~X|U)~RXO S, R, V, Q c (S~V{Q)~RXO S, R, V, T c (S{T)~(R{V)XO S, R, V, U c S~R~V{UXO S, R, W, Q c (S~W|Q)~RXO S, R, W, U c (S{R{W)~UXO S, R, X, Q c (S{R~Q)~XXO S, R, X, R c (S{R{R)~XXO S, R, X, U c (S~X|U)~RXO S, R, X, X c (S|R{X)~XXO S, S, P, U c (S~S|P)~UXO S, S, Q, T c (S~S{Q)~TXO S, S, Q, X c (S{S{Q)~XXO S, S, T, Q c (S~S{Q)~TXO S, S, T, U c (S{T)~(S{U)XO S, S, U, P c (S~S|P)~UXO S, S, U, T c (S{U)~(S{T)XO S, S, U, U c S~S~U|UXO S, S, U, V c (S{S{V)~UXO S, S, U, X c (S~S|U)~XXO S, S, V, U c (S{S{V)~UXO S, S, X, Q c (S{S{Q)~XXO S, S, X, U c (S~S|U)~XXO S, S, X, X c (SS{X)~XXO S, T, P, U c (S|P)~(T~U)XO S, T, P, X c (S{T{P)~XXO S, T, Q, R c (S{Q)~(T~R)XO S, T, Q, S c (S~S{Q)~TXO S, T, Q, T c (S{T)~(Q~T)XO S, T, Q, V c (S{Q~V)~TXO S, T, Q, W c (S{T)~(Q{W)XO S, T, Q, X c S~TQ~XXO S, T, R, Q c (S{Q)~(T~R)XO S, T, R, U c (S~R{U)~TXO S, T, R, V c (S{T)~(R{V)XO S, T, S, Q c (S~S{Q)~TXO S, T, S, U c (S{T)~(S{U)XO S, T, T, Q c (S{T)~(T~Q)XO S, T, T, T c (S{T)~(T{T)XO S, T, T, U c (S~T|T)~UXO S, T, T, X c (S{T{X)~TXO S, T, U, P c (S|P)~(T~U)XO S, T, U, R c (S~R{U)~TXO S, T, U, S c (S{T)~(U{S)XO S, T, U, T c (S~T|T)~UXO S, T, U, U c (S{T{U)~UXO S, T, U, V c (T~U)~(V|S)XO S, T, U, W c (S{U{W)~TXO S, T, U, X c T~(U|S)~XXO S, T, V, Q c (S{V~Q)~TXO S, T, V, R c (S{T)~(V{R)XO S, T, V, U c T~(V|S)~UXO S, T, V, V c (S{V{V)~TXO S, T, W, Q c (S{T)~(W{Q)XO S, T, W, U c (S{W{U)~TXO S, T, W, X c TS~W~XXO S, T, X, P c (S{T)~(X{P)XO S, T, X, Q c S~T~XQXO S, T, X, T c (S{T{X)~TXO S, T, X, U c (T~X)~(U|S)XO S, T, X, W c TS~X~WXO S, T, X, X c S{T{X~XXO S, U, O, X c (S{U{O)~XXO S, U, P, R c (S{P)~(U~R)XO S, U, P, S c (S~S|P)~UXO S, U, P, T c (S|P)~(U~T)XO S, U, P, W c (S{U)~(P{W)XO S, U, P, X c (S{U)~(P~X)XO S, U, Q, V c (S{U)~(Q{V)XO S, U, Q, X c (S{Q)~(U{X)XO S, U, R, P c (S{P)~(U~R)XO S, U, R, R c (S{U)~(R~R)XO S, U, R, T c (S~R{U)~TXO S, U, R, U c (S{U)~(R{U)XO S, U, R, V c S~R~V{UXO S, U, R, W c (S{R{W)~UXO S, U, R, X c (S~X|U)~RXO S, U, S, P c (S~S|P)~UXO S, U, S, T c (S{U)~(S{T)XO S, U, S, U c S~U~S|UXO S, U, S, V c (S{S{V)~UXO S, U, S, X c (S~S|U)~XXO S, U, T, P c (S|P)~(U~T)XO S, U, T, R c (S~R{U)~TXO S, U, T, S c (S{U)~(T{S)XO S, U, T, T c (S~T|T)~UXO S, U, T, U c (S{U{T)~UXO S, U, T, V c (U~T)~(V|S)XO S, U, T, W c (S{U{W)~TXO S, U, T, X c (U|S)~(T~X)XO S, U, U, R c (S{U)~(U{R)XO S, U, U, S c S~U~S|UXO S, U, U, T c (S~U|U)~TXO S, U, U, X c (S~U|X)~UXO S, U, V, Q c (S{U)~(V{Q)XO S, U, V, R c S~V~R{UXO S, U, V, S c (S{V{S)~UXO S, U, V, T c U~(V|S)~TXO S, U, V, W c (S{W)~V{UXO S, U, W, P c (S{U)~(W{P)XO S, U, W, R c (S{W{R)~UXO S, U, W, T c (S{U{W)~TXO S, U, W, V c (S{W)~V{UXO S, U, W, W c (S{W)~W|UXO S, U, W, X c (U|S{W)~XXO S, U, X, O c (S{U)~(X{O)XO S, U, X, P c (S{U)~(X~P)XO S, U, X, Q c (S{X{Q)~UXO S, U, X, R c (S~X|U)~RXO S, U, X, S c (S~S|U)~XXO S, U, X, T c (U|S)~(X~T)XO S, U, X, U c (S~U|X)~UXO S, U, X, W c (U|S{W)~XXO S, U, X, X c S~X{U~XXO S, V, P, X c (S{V|P)~XXO S, V, Q, R c (S~V{Q)~RXO S, V, Q, T c (S{V~Q)~TXO S, V, Q, U c (S~Q{V)~UXO S, V, Q, V c (V~V|S)~QXO S, V, Q, W c (S{V)~W{QXO S, V, Q, X c (V~Q|S)~XXO S, V, R, Q c (S~V{Q)~RXO S, V, R, T c (S{T)~(V{R)XO S, V, R, U c S~V~R{UXO S, V, S, U c (S{V{S)~UXO S, V, T, Q c (S{V~Q)~TXO S, V, T, R c (S{T)~(V{R)XO S, V, T, U c (V|S)~(T~U)XO S, V, T, V c (S{V{V)~TXO S, V, U, Q c (S{U)~(V{Q)XO S, V, U, R c S~V~R{UXO S, V, U, S c (S{V{S)~UXO S, V, U, T c (V|S)~(U~T)XO S, V, U, W c (S{W)~V{UXO S, V, V, Q c (V~V|S)~QXO S, V, V, T c (S{V{V)~TXO S, V, V, X c (V|S{V)~XXO S, V, W, Q c (S{V)~W{QXO S, V, W, U c (S{W)~V{UXO S, V, X, P c (S{V|P)~XXO S, V, X, Q c (V~Q|S)~XXO S, V, X, V c (V|S{V)~XXO S, V, X, X c (S{V)~X|XXO S, W, P, U c (S{U)~(W{P)XO S, W, Q, R c (S~W|Q)~RXO S, W, Q, T c (S{T)~(W{Q)XO S, W, Q, V c (S{Q)~(W{V)XO S, W, Q, X c (S{W|Q)~XXO S, W, R, Q c (S~W|Q)~RXO S, W, R, U c (S{W{R)~UXO S, W, T, Q c (S{T)~(W{Q)XO S, W, T, U c (S{W{U)~TXO S, W, T, X c WS~T~XXO S, W, U, P c (S{U)~(W{P)XO S, W, U, R c (S{W{R)~UXO S, W, U, T c (S{W{U)~TXO S, W, U, V c (S{W)~V{UXO S, W, U, W c (S{W)~W|UXO S, W, U, X c (W|S{U)~XXO S, W, V, Q c (S{V)~W{QXO S, W, V, U c (S{W)~V{UXO S, W, W, U c (S{W)~W|UXO S, W, W, X c (WS{W)~XXO S, W, X, Q c (S{W|Q)~XXO S, W, X, T c WS~X~TXO S, W, X, U c (W|S{U)~XXO S, W, X, W c (WS{W)~XXO S, W, X, X c W~(XS{X)XO S, X, O, U c (S{O{U)~XXO S, X, P, Q c (S{P)~(X~Q)XO S, X, P, T c (S{P{T)~XXO S, X, P, U c (S{P~U)~XXO S, X, P, V c (S{X)~V|PXO S, X, P, X c (S{P)~(X{X)XO S, X, Q, P c (S{P)~(X~Q)XO S, X, Q, Q c (S~Q{Q)~XXO S, X, Q, R c (S{Q~R)~XXO S, X, Q, S c (S{Q{S)~XXO S, X, Q, T c S~XQ~TXO S, X, Q, U c (S{X{Q)~UXO S, X, Q, V c X~(Q~V|S)XO S, X, Q, W c (S|Q{W)~XXO S, X, Q, X c (S~X{X)~QXO S, X, R, Q c (S{R~Q)~XXO S, X, R, R c (S{R{R)~XXO S, X, R, U c (S~X|U)~RXO S, X, R, X c (S{X|R)~XXO S, X, S, Q c (S{S{Q)~XXO S, X, S, U c (S~S|U)~XXO S, X, S, X c (SS{X)~XXO S, X, T, P c (S{T)~(X{P)XO S, X, T, Q c S~X~TQXO S, X, T, T c (S{X{T)~TXO S, X, T, U c (X~T)~(U|S)XO S, X, T, W c XS~T~WXO S, X, T, X c S{X~X{TXO S, X, U, O c (S{U)~(X{O)XO S, X, U, P c (S{U)~(X~P)XO S, X, U, Q c (S{X{Q)~UXO S, X, U, R c (S~X|U)~RXO S, X, U, S c (S~S|U)~XXO S, X, U, T c X~(U|S)~TXO S, X, U, U c (S~U|X)~UXO S, X, U, W c X~(U|S{W)XO S, X, U, X c S~X{U~XXO S, X, V, P c (S{X)~V|PXO S, X, V, Q c X~(V~Q|S)XO S, X, V, V c X~(V|S{V)XO S, X, V, X c (S{V)~X|XXO S, X, W, Q c (S{W|Q)~XXO S, X, W, T c XS~W~TXO S, X, W, U c X~(W|S{U)XO S, X, W, W c X~(WS{W)XO S, X, W, X c (XS{X)~WXO S, X, X, P c (S{P)~(X{X)XO S, X, X, Q c (S~X{X)~QXO S, X, X, R c (S{X|R)~XXO S, X, X, S c (SS{X)~XXO S, X, X, T c S{X~X{TXO S, X, X, U c S~X{X~UXO S, X, X, V c (S{V)~X|XXO S, X, X, W c (XS{X)~WXO S, X, X, X c (X|S)~(X{X)XO T, O, Q, X c (T{O)~(Q~X)XO T, O, R, U c (T{O)~(R~U)XO T, O, T, X c (T{O{T)~XXO T, O, U, R c (T{O)~(U~R)XO T, O, X, Q c (T{O)~(X~Q)XO T, O, X, T c (T{O{T)~XXO T, O, X, X c (T{O)~(X{X)XO T, P, P, X c T~(P{P)~XXO T, P, Q, U c T~(P{Q)~UXO T, P, Q, W c T~(P{W)~QXO T, P, Q, X c T~P~Q~XXO T, P, R, T c (T{P)~(R~T)XO T, P, R, U c T~P~R~UXO T, P, R, V c (T~R)~(V|P)XO T, P, R, X c T~(R|P)~XXO T, P, S, U c T~(S|P)~UXO T, P, S, X c (T{P{S)~XXO T, P, T, R c (T{P)~(T~R)XO T, P, T, W c (T{T)~(P{W)XO T, P, T, X c (T{P~T)~XXO T, P, U, Q c T~(P{Q)~UXO T, P, U, R c T~P~U~RXO T, P, U, S c (T~U)~(S|P)XO T, P, U, X c (T{P)~(U{X)XO T, P, V, R c T~(V|P)~RXO T, P, V, W c (T{P)~(V{W)XO T, P, W, Q c T~(P{W)~QXO T, P, W, T c (T{T)~(P{W)XO T, P, W, V c (T{P)~(W{V)XO T, P, W, X c T~(P{W{X)XO T, P, X, P c T~(P{P)~XXO T, P, X, Q c T~P~X~QXO T, P, X, R c (T~X)~(R|P)XO T, P, X, S c (T{P{S)~XXO T, P, X, T c (T{P~T)~XXO T, P, X, U c (T{P{X)~UXO T, P, X, W c T~(P{X{W)XO T, P, X, X c (T~P)~(X{X)XO T, Q, O, X c (T~Q{O)~XXO T, Q, P, U c T~(Q{P)~UXO T, Q, P, W c (T~Q)~(P{W)XO T, Q, P, X c T~Q~P~XXO T, Q, Q, V c (T~Q)~(Q{V)XO T, Q, Q, W c T~(Q{Q~W)XO T, Q, R, R c T~Q~R~RXO T, Q, R, S c T~(Q{S)~RXO T, Q, R, U c (T~Q)~(R{U)XO T, Q, R, W c (T~R)~(W|Q)XO T, Q, R, X c (T{Q{R)~XXO T, Q, S, R c T~(Q{S)~RXO T, Q, S, S c T~(Q{S~S)XO T, Q, S, T c (T~Q)~(S{T)XO T, Q, S, V c T~(Q~V{S)XO T, Q, S, W c (T{S)~(Q{W)XO T, Q, S, X c TQ~S~XXO T, Q, T, S c (T~Q)~(T{S)XO T, Q, T, U c (T{Q~T)~UXO T, Q, T, V c (T{T)~(Q{V)XO T, Q, T, W c T~(Q~T{W)XO T, Q, U, P c T~(Q{P)~UXO T, Q, U, R c (T~Q)~(U{R)XO T, Q, U, T c (T|Q)~(U~T)XO T, Q, U, U c T~(Q~U{U)XO T, Q, U, W c (T{Q{W)~UXO T, Q, V, Q c T~(Q{V)~QXO T, Q, V, S c T~(Q~V{S)XO T, Q, V, T c (T{T)~(Q{V)XO T, Q, V, X c (T|Q{V)~XXO T, Q, W, P c (T~Q)~(W{P)XO T, Q, W, Q c T~(Q{W~Q)XO T, Q, W, R c T~(W|Q)~RXO T, Q, W, S c (T{S)~(Q{W)XO T, Q, W, T c (T~Q{W)~TXO T, Q, W, U c (T{Q{W)~UXO T, Q, W, W c T~(Q{W{W)XO T, Q, X, O c T~Q~X{OXO T, Q, X, P c T~Q~X~PXO T, Q, X, R c (T{Q{R)~XXO T, Q, X, S c TQ~X~SXO T, Q, X, V c T~(Q{X{V)XO T, R, O, U c (T~R{O)~UXO T, R, P, T c (T~R)~(P{T)XO T, R, P, U c T~R~P~UXO T, R, P, V c (T~R)~(V|P)XO T, R, P, X c T~(R|P)~XXO T, R, Q, R c T~R~Q~RXO T, R, Q, S c (T~R)~(Q{S)XO T, R, Q, U c T~(R{U)~QXO T, R, Q, W c (T~R)~(W|Q)XO T, R, Q, X c (T{R{Q)~XXO T, R, R, Q c T~R~R~QXO T, R, R, R c T~(R{R)~RXO T, R, R, T c (T~R{R)~TXO T, R, R, V c T~(R~V|R)XO T, R, R, X c T~(R~R{X)XO T, R, S, Q c (T~R)~(S{Q)XO T, R, S, U c T~(R~S{U)XO T, R, S, V c (T{S)~(R{V)XO T, R, T, P c (T~R)~(T{P)XO T, R, T, R c T~(R{T~R)XO T, R, T, T c (T{T~T)~RXO T, R, T, U c (T{T)~(R{U)XO T, R, T, V c (T~V|T)~RXO T, R, T, X c (T|R)~(T~X)XO T, R, U, O c T~R~U{OXO T, R, U, P c T~R~U~PXO T, R, U, Q c T~(R{U)~QXO T, R, U, S c T~(R~S{U)XO T, R, U, T c (T{T)~(R{U)XO T, R, U, U c T~(U|R)~UXO T, R, U, V c (T{R{V)~UXO T, R, U, W c T~(R~W|U)XO T, R, U, X c T~(R{U{X)XO T, R, V, P c (T~R)~(V|P)XO T, R, V, R c T~(R~V|R)XO T, R, V, S c (T{S)~(R{V)XO T, R, V, T c (T~V|T)~RXO T, R, V, U c (T{R{V)~UXO T, R, V, W c T~(R{V{W)XO T, R, W, Q c (T~R)~(W|Q)XO T, R, W, U c T~(R~W|U)XO T, R, W, V c T~(R{W{V)XO T, R, W, X c (T|R{W)~XXO T, R, X, P c T~(R|P)~XXO T, R, X, Q c (T{R{Q)~XXO T, R, X, R c (T~R)~(X|R)XO T, R, X, T c (T|R)~(X~T)XO T, R, X, U c T~(R{X{U)XO T, R, X, W c (T|R{W)~XXO T, R, X, X c T~(R~X|X)XO T, S, P, U c T~(S|P)~UXO T, S, P, X c (T{S{P)~XXO T, S, Q, R c T~(S{Q)~RXO T, S, Q, S c T~(S~S{Q)XO T, S, Q, T c (T{S)~(Q~T)XO T, S, Q, V c T~(S{Q~V)XO T, S, Q, W c (T{S)~(Q{W)XO T, S, Q, X c T~(S|Q)~XXO T, S, R, Q c T~(S{Q)~RXO T, S, R, U c T~(S~R{U)XO T, S, R, V c (T{S)~(R{V)XO T, S, S, Q c T~(S~S{Q)XO T, S, S, U c (T{S)~(S{U)XO T, S, T, Q c (T{S)~(T~Q)XO T, S, T, T c (T{S)~(T{T)XO T, S, T, U c (T~S|T)~UXO T, S, T, X c T~(S{T{X)XO T, S, U, P c T~(S|P)~UXO T, S, U, R c T~(S~R{U)XO T, S, U, S c (T{S)~(U{S)XO T, S, U, T c (T~S|T)~UXO T, S, U, U c (T{S{U)~UXO T, S, U, V c (T~U)~(V|S)XO T, S, U, W c T~(S{U{W)XO T, S, U, X c T~(U|S)~XXO T, S, V, Q c T~(S{V~Q)XO T, S, V, R c (T{S)~(V{R)XO T, S, V, U c T~(V|S)~UXO T, S, V, V c T~(S{V{V)XO T, S, W, Q c (T{S)~(W{Q)XO T, S, W, U c T~(S{W{U)XO T, S, W, X c TS~W~XXO T, S, X, P c (T{S)~(X{P)XO T, S, X, Q c T~S~XQXO T, S, X, T c (T{S{X)~TXO T, S, X, U c (T~X)~(U|S)XO T, S, X, W c TS~X~WXO T, S, X, X c T{S{X~XXO T, T, O, X c (T{T{O)~XXO T, T, P, R c T~(T{P)~RXO T, T, P, W c (T{T)~(P{W)XO T, T, P, X c (T{T)~(P~X)XO T, T, Q, S c T~(T{S)~QXO T, T, Q, U c (T{T~Q)~UXO T, T, Q, V c (T{T)~(Q{V)XO T, T, Q, W c T~(T~Q{W)XO T, T, R, P c T~(T{P)~RXO T, T, R, R c (T{T)~(R~R)XO T, T, R, T c (T{T~T)~RXO T, T, R, U c (T{T)~(R{U)XO T, T, R, V c (T~V|T)~RXO T, T, R, X c T~(T|R)~XXO T, T, S, Q c T~(T{S)~QXO T, T, S, T c (T{T)~(S{T)XO T, T, S, U c (T~S|T)~UXO T, T, S, X c T~(T{S{X)XO T, T, T, R c (T{T~T)~RXO T, T, T, S c (T{T)~(T{S)XO T, T, T, U c (T{T{T)~UXO T, T, T, V c T~(T~T|V)XO T, T, T, W c T~(T{T{W)XO T, T, U, Q c (T{T~Q)~UXO T, T, U, R c (T{T)~(U{R)XO T, T, U, S c (T~S|T)~UXO T, T, U, T c (T{T{T)~UXO T, T, U, V c T~(T{U{V)XO T, T, U, W c (T~U)~(W|T)XO T, T, V, Q c (T{T)~(V{Q)XO T, T, V, R c (T~V|T)~RXO T, T, V, T c (T~T|V)~TXO T, T, V, U c T~(T{V{U)XO T, T, V, X c T~(V|T)~XXO T, T, W, P c (T{T)~(W{P)XO T, T, W, Q c (T{T~W)~QXO T, T, W, T c (T{T{W)~TXO T, T, W, U c T~(W|T)~UXO T, T, W, X c T{T~(W{X)XO T, T, X, O c (T{T)~(X{O)XO T, T, X, P c (T{T)~(X~P)XO T, T, X, R c T~(T|R)~XXO T, T, X, S c T~(T{X{S)XO T, T, X, V c (T~X)~(V|T)XO T, T, X, W c T{T~(X{W)XO T, T, X, X c (TT{X)~XXO T, U, O, R c (T~U{O)~RXO T, U, P, Q c (T~U)~(P{Q)XO T, U, P, R c T~U~P~RXO T, U, P, S c (T~U)~(S|P)XO T, U, P, X c (T{U|P)~XXO T, U, Q, P c (T~U)~(Q{P)XO T, U, Q, R c T~(U{R)~QXO T, U, Q, T c (T~U)~(T|Q)XO T, U, Q, U c T~(U{Q~U)XO T, U, Q, W c (T{U)~W{QXO T, U, R, O c T~U~R{OXO T, U, R, P c T~U~R~PXO T, U, R, Q c T~(U{R)~QXO T, U, R, S c T~(U{R~S)XO T, U, R, T c (T{T)~(U{R)XO T, U, R, U c T~(U|R)~UXO T, U, R, V c (T{R{V)~UXO T, U, R, W c T~(R~W|U)XO T, U, R, X c T~(U{R{X)XO T, U, S, P c (T~U)~(S|P)XO T, U, S, R c T~(U{S~R)XO T, U, S, S c (T{S)~(U{S)XO T, U, S, T c (T~S|T)~UXO T, U, S, U c (T{U{S)~UXO T, U, S, V c (T~U)~(V|S)XO T, U, S, W c T~(U{S{W)XO T, U, S, X c T~(U|S)~XXO T, U, T, Q c (T~U)~(T|Q)XO T, U, T, R c (T{T)~(U{R)XO T, U, T, S c (T~S|T)~UXO T, U, T, T c (T{T{T)~UXO T, U, T, V c T~(U{T{V)XO T, U, T, W c (T~U)~(W|T)XO T, U, U, Q c T~(U{U~Q)XO T, U, U, R c (T~U)~(U|R)XO T, U, U, S c (T{U{S)~UXO T, U, U, U c T~(U{U{U)XO T, U, U, X c (T~U)~(X|U)XO T, U, V, R c (T{V{R)~UXO T, U, V, S c (T~U)~(V|S)XO T, U, V, T c (T{U{V)~TXO T, U, V, V c (T{V)~V{UXO T, U, V, W c (T{V)~W|UXO T, U, W, Q c (T{U)~W{QXO T, U, W, R c T~(W~R|U)XO T, U, W, S c T~(U{W{S)XO T, U, W, T c (T~U)~(W|T)XO T, U, W, V c (T{V)~W|UXO T, U, W, X c T~(W|U)~XXO T, U, X, P c (T{U|P)~XXO T, U, X, R c T~(U{X{R)XO T, U, X, S c T~(U|S)~XXO T, U, X, U c (T~U)~(X|U)XO T, U, X, W c (T~X)~(W|U)XO T, U, X, X c (T{U)~X|XXO T, V, P, R c T~(V|P)~RXO T, V, P, W c (T{P)~(V{W)XO T, V, Q, Q c T~(V{Q)~QXO T, V, Q, S c T~(V~Q{S)XO T, V, Q, T c (T{T)~(V{Q)XO T, V, Q, X c (T{V|Q)~XXO T, V, R, P c T~(V|P)~RXO T, V, R, R c T~(V~R|R)XO T, V, R, S c (T{S)~(V{R)XO T, V, R, T c (T~V|T)~RXO T, V, R, U c (T{V{R)~UXO T, V, R, W c T~(V{R{W)XO T, V, S, Q c T~(V~Q{S)XO T, V, S, R c (T{S)~(V{R)XO T, V, S, U c T~(V|S)~UXO T, V, S, V c T~(V{S{V)XO T, V, T, Q c (T{T)~(V{Q)XO T, V, T, R c (T~V|T)~RXO T, V, T, T c (T~T|V)~TXO T, V, T, U c T~(V{T{U)XO T, V, T, X c T~(V|T)~XXO T, V, U, R c (T{V{R)~UXO T, V, U, S c T~(V|S)~UXO T, V, U, T c (T{V{U)~TXO T, V, U, V c (T{V)~V{UXO T, V, U, W c (T{V)~W|UXO T, V, V, S c T~(V{V{S)XO T, V, V, U c (T{V)~V{UXO T, V, W, P c (T{W)~V|PXO T, V, W, R c T~(V{W{R)XO T, V, W, U c (T{V)~W|UXO T, V, W, X c (T{X)~V|WXO T, V, X, Q c T~(V{X{Q)XO T, V, X, T c T~(V|T)~XXO T, V, X, W c (T{X)~V|WXO T, V, X, X c T~(X|V)~XXO T, W, P, Q c T~(W{P)~QXO T, W, P, T c (T{T)~(W{P)XO T, W, P, V c (T{W)~V|PXO T, W, P, X c T~(W{P{X)XO T, W, Q, P c T~(W{P)~QXO T, W, Q, Q c T~(W~Q{Q)XO T, W, Q, R c T~(W|Q)~RXO T, W, Q, S c (T{S)~(W{Q)XO T, W, Q, T c T~(W{Q~T)XO T, W, Q, U c (T{W{Q)~UXO T, W, Q, W c T~(W{Q{W)XO T, W, R, Q c T~(W|Q)~RXO T, W, R, U c T~(W~R|U)XO T, W, R, V c T~(W{R{V)XO T, W, R, X c (T{W|R)~XXO T, W, S, Q c (T{S)~(W{Q)XO T, W, S, U c T~(W{S{U)XO T, W, S, X c T~WS~XXO T, W, T, P c (T{T)~(W{P)XO T, W, T, Q c (T{W~T)~QXO T, W, T, T c (T{W{T)~TXO T, W, T, U c T~(W|T)~UXO T, W, T, X c T{(W{X)~TXO T, W, U, Q c (T{W{Q)~UXO T, W, U, R c T~(W~R|U)XO T, W, U, S c T~(W{U{S)XO T, W, U, T c T~(W|T)~UXO T, W, U, V c (T{V)~W|UXO T, W, U, X c T~(W|U)~XXO T, W, V, P c (T{W)~V|PXO T, W, V, R c T~(W{V{R)XO T, W, V, U c (T{V)~W|UXO T, W, V, X c (T{X)~V|WXO T, W, W, Q c T~(W{W{Q)XO T, W, X, P c T~(W{X{P)XO T, W, X, R c (T{W|R)~XXO T, W, X, S c T~W~XSXO T, W, X, T c T{(W{X)~TXO T, W, X, U c T~(W|U)~XXO T, W, X, V c (T{X)~V|WXO T, X, O, Q c (T~X{O)~QXO T, X, O, T c (T{O{T)~XXO T, X, O, X c T~(X{O{X)XO T, X, P, P c (T~X)~(P{P)XO T, X, P, Q c T~X~P~QXO T, X, P, R c (T~X)~(R|P)XO T, X, P, S c (T{P{S)~XXO T, X, P, T c (T{P~T)~XXO T, X, P, U c (T{X{P)~UXO T, X, P, W c T~(X{P{W)XO T, X, P, X c T~(X{P~X)XO T, X, Q, O c T~X~Q{OXO T, X, Q, P c T~X~Q~PXO T, X, Q, R c (T{Q{R)~XXO T, X, Q, S c T~XQ~SXO T, X, Q, V c T~(X{Q{V)XO T, X, R, P c (T~X)~(R|P)XO T, X, R, Q c (T{R{Q)~XXO T, X, R, R c T~(X{R~R)XO T, X, R, T c (T~X)~(T|R)XO T, X, R, U c T~(X{R{U)XO T, X, R, W c (T|R{W)~XXO T, X, R, X c T~(X~R|X)XO T, X, S, P c (T{S)~(X{P)XO T, X, S, Q c (T~X)~(S|Q)XO T, X, S, T c (T{X{S)~TXO T, X, S, U c (T~X)~(U|S)XO T, X, S, W c T~XS~WXO T, X, S, X c (T{X|S)~XXO T, X, T, O c (T{T)~(X{O)XO T, X, T, P c (T{T)~(X~P)XO T, X, T, R c (T~X)~(T|R)XO T, X, T, S c T~(X{T{S)XO T, X, T, V c (T~X)~(V|T)XO T, X, T, W c T{(X{W)~TXO T, X, T, X c T~X{T~XXO T, X, U, P c (T{X{P)~UXO T, X, U, R c T~(X{U{R)XO T, X, U, S c (T~X)~(U|S)XO T, X, U, U c (T{X)~U{UXO T, X, U, W c (T~X)~(W|U)XO T, X, U, X c (T{U)~X|XXO T, X, V, Q c T~(X{V{Q)XO T, X, V, T c (T~X)~(V|T)XO T, X, V, W c (T{X)~V|WXO T, X, V, X c T~(X|V)~XXO T, X, W, P c T~(X{W{P)XO T, X, W, R c (T{W|R)~XXO T, X, W, S c T~X~WSXO T, X, W, T c T{(X{W)~TXO T, X, W, U c (T~X)~(W|U)XO T, X, W, V c (T{X)~V|WXO T, X, X, O c T~(X{X){OXO T, X, X, P c T~(X{X)~PXO T, X, X, R c T~(X~R|X)XO T, X, X, S c T{X~X{SXO T, X, X, T c T~X{X~TXO T, X, X, U c (T{U)~X|XXO T, X, X, V c (T~X)~(X|V)XO U, O, R, T c (U{O)~(R~T)XO U, O, S, X c (U{O{S)~XXO U, O, T, R c (U{O)~(T~R)XO U, O, U, X c (U{O)~(U{X)XO U, O, V, W c (U{O)~(V{W)XO U, O, W, V c (U{O)~(W{V)XO U, O, X, S c (U{O{S)~XXO U, O, X, U c (U{O{X)~UXO U, P, Q, T c U~(P{Q)~TXO U, P, Q, V c U~(P{Q~V)XO U, P, Q, W c U~(Q~W|P)XO U, P, Q, X c (U|P)~(Q~X)XO U, P, R, S c U~(P{S)~RXO U, P, R, T c U~P~R~TXO U, P, R, U c (U|P)~(R~U)XO U, P, R, X c (U{P{R)~XXO U, P, S, R c U~(P{S)~RXO U, P, S, S c U~(S~S|P)XO U, P, S, T c U~(S|P)~TXO U, P, S, W c (U{S)~(P{W)XO U, P, S, X c (U{P~S)~XXO U, P, T, Q c U~(P{Q)~TXO U, P, T, R c U~P~T~RXO U, P, T, S c (U~T)~(S|P)XO U, P, T, X c (U|P{T)~XXO U, P, U, R c (U|P)~(U~R)XO U, P, U, W c U~(P{U{W)XO U, P, U, X c (U~P)~(U{X)XO U, P, V, Q c U~(P{V~Q)XO U, P, V, V c U~(P{V{V)XO U, P, V, W c (U~P)~(V{W)XO U, P, V, X c U~(V|P{X)XO U, P, W, Q c U~(W~Q|P)XO U, P, W, S c (U{S)~(P{W)XO U, P, W, U c (U{P{W)~UXO U, P, W, V c (U~P)~(W{V)XO U, P, W, W c U~(W|P{W)XO U, P, X, Q c (U|P)~(X~Q)XO U, P, X, R c (U{P{R)~XXO U, P, X, S c (U{P~S)~XXO U, P, X, T c U~(P{X{T)XO U, P, X, U c (U{P~X)~UXO U, P, X, V c U~(X|P{V)XO U, P, X, X c (U|P)~(X{X)XO U, Q, P, T c U~(Q{P)~TXO U, Q, P, V c U~(Q~V{P)XO U, Q, P, W c U~(Q~W|P)XO U, Q, P, X c (U|P)~(Q~X)XO U, Q, Q, X c (U{Q{Q)~XXO U, Q, R, R c U~(Q{R)~RXO U, Q, R, T c (U{R)~(Q~T)XO U, Q, R, U c (U~Q{R)~UXO U, Q, R, V c (U~R)~(V|Q)XO U, Q, R, W c (U{R)~(Q{W)XO U, Q, R, X c U~(Q~R{X)XO U, Q, S, V c U~(Q~S{V)XO U, Q, S, X c U~(Q{S{X)XO U, Q, T, P c U~(Q{P)~TXO U, Q, T, R c (U{R)~(Q~T)XO U, Q, T, T c U~(Q~T{T)XO U, Q, T, U c UQ~T~UXO U, Q, T, W c U~(Q{T{W)XO U, Q, U, R c U~(Q~U{R)XO U, Q, U, T c (U{Q~U)~TXO U, Q, U, V c U{Q~U~VXO U, Q, U, W c U~Q~W|UXO U, Q, U, X c (U|Q{U)~XXO U, Q, V, P c U~(Q~V{P)XO U, Q, V, R c U~(V|Q)~RXO U, Q, V, S c U~(Q~S{V)XO U, Q, V, U c (U{Q{V)~UXO U, Q, V, X c (UQ{V)~XXO U, Q, W, P c U~(Q~W|P)XO U, Q, W, R c (U~W|R)~QXO U, Q, W, T c U~(Q{W{T)XO U, Q, W, U c U~Q~W|UXO U, Q, W, X c (U{WQ)~XXO U, Q, X, P c (U|P)~(Q~X)XO U, Q, X, Q c (U{Q{Q)~XXO U, Q, X, R c U~(Q~X|R)XO U, Q, X, S c U~(Q{X{S)XO U, Q, X, U c (U|Q{U)~XXO U, Q, X, V c (UQ{V)~XXO U, Q, X, W c U~(X|Q{W)XO U, Q, X, X c (U~X|X)~QXO U, R, O, T c (U~R{O)~TXO U, R, P, S c (U~R)~(P{S)XO U, R, P, T c U~R~P~TXO U, R, P, U c (U~R)~(U|P)XO U, R, P, X c (U{R{P)~XXO U, R, Q, R c U~(R{Q)~RXO U, R, Q, T c (U{R)~(Q~T)XO U, R, Q, U c U~(R{Q~U)XO U, R, Q, V c (U~R)~(V|Q)XO U, R, Q, W c (U{R)~(Q{W)XO U, R, Q, X c U~(R~Q{X)XO U, R, R, Q c (U~R)~(R{Q)XO U, R, R, S c U~(R{R~S)XO U, R, R, U c (U{R~R)~UXO U, R, R, V c (U{R)~(R{V)XO U, R, R, W c (U{R~W)~RXO U, R, R, X c U~(R{R{X)XO U, R, S, P c (U~R)~(S{P)XO U, R, S, R c U~(R{S~R)XO U, R, S, T c (U{R~S)~TXO U, R, S, U c (U{R)~(S{U)XO U, R, S, V c U{R~S~VXO U, R, S, W c U~(R{S{W)XO U, R, S, X c (U~R)~(X|S)XO U, R, T, O c U~R~T{OXO U, R, T, P c U~R~T~PXO U, R, T, Q c (U{R)~(T~Q)XO U, R, T, S c (U{R~S)~TXO U, R, T, T c (U{R)~(T{T)XO U, R, T, U c (U|R)~(T~U)XO U, R, T, V c U~(R{T{V)XO U, R, T, W c (R~W|U)~TXO U, R, T, X c UR~T~XXO U, R, U, P c (U~R)~(U|P)XO U, R, U, Q c U~(R{U~Q)XO U, R, U, R c U~(R~U|R)XO U, R, U, S c (U{R)~(U{S)XO U, R, U, T c (U|R)~(U~T)XO U, R, U, U c (U{R{U)~UXO U, R, U, V c U~(R~V|U)XO U, R, V, Q c (U~R)~(V|Q)XO U, R, V, R c (U{R)~(V{R)XO U, R, V, S c U{R~V~SXO U, R, V, T c U~(R{V{T)XO U, R, V, U c U~(R~V|U)XO U, R, V, X c (U|R{V)~XXO U, R, W, Q c (U{R)~(W{Q)XO U, R, W, R c (U{R~W)~RXO U, R, W, S c U~(R{W{S)XO U, R, W, T c (R~W|U)~TXO U, R, W, X c U~R{W~XXO U, R, X, P c (U{R)~(X{P)XO U, R, X, Q c U~(R~Q{X)XO U, R, X, R c U~(R{X{R)XO U, R, X, S c (U~R)~(X|S)XO U, R, X, T c (U{R{X)~TXO U, R, X, V c U{(R{X)~VXO U, R, X, W c U~R{X~WXO U, R, X, X c U{R{X~XXO U, S, O, X c (U{S{O)~XXO U, S, P, R c U~(S{P)~RXO U, S, P, S c U~(S~S|P)XO U, S, P, T c U~(S|P)~TXO U, S, P, W c (U{S)~(P{W)XO U, S, P, X c (U{S)~(P~X)XO U, S, Q, V c (U{S)~(Q{V)XO U, S, Q, X c U~(S{Q{X)XO U, S, R, P c U~(S{P)~RXO U, S, R, R c (U{S)~(R~R)XO U, S, R, T c (U{S~R)~TXO U, S, R, U c (U{S)~(R{U)XO U, S, R, V c U{S~R~VXO U, S, R, W c U~(S{R{W)XO U, S, R, X c (U~R)~(X|S)XO U, S, S, P c U~(S~S|P)XO U, S, S, T c (U{S)~(S{T)XO U, S, S, U c U~S~S|UXO U, S, S, V c U~(S{S{V)XO U, S, S, X c (S~S|U)~XXO U, S, T, P c U~(S|P)~TXO U, S, T, R c (U{S~R)~TXO U, S, T, S c (U{S)~(T{S)XO U, S, T, T c U~(S~T|T)XO U, S, T, U c (U{S{T)~UXO U, S, T, V c (U~T)~(V|S)XO U, S, T, W c (U{S{W)~TXO U, S, T, X c (U|S)~(T~X)XO U, S, U, R c (U{S)~(U{R)XO U, S, U, S c U~S~S|UXO U, S, U, T c U~(S{U{T)XO U, S, U, X c U~(S~U|X)XO U, S, V, Q c (U{S)~(V{Q)XO U, S, V, R c U{S~V~RXO U, S, V, S c U~(S{V{S)XO U, S, V, T c U~(V|S)~TXO U, S, V, W c U{(S{W)~VXO U, S, W, P c (U{S)~(W{P)XO U, S, W, R c U~(S{W{R)XO U, S, W, T c (U{S{W)~TXO U, S, W, V c U{(S{W)~VXO U, S, W, W c (S{W)~W|UXO U, S, W, X c (U|S{W)~XXO U, S, X, O c (U{S)~(X{O)XO U, S, X, P c (U{S)~(X~P)XO U, S, X, Q c U~(S{X{Q)XO U, S, X, R c U~(X|S)~RXO U, S, X, S c (S~S|U)~XXO U, S, X, T c (U|S)~(X~T)XO U, S, X, U c (U~S|X)~UXO U, S, X, W c (U|S{W)~XXO U, S, X, X c U~X{S~XXO U, T, O, R c (U~T{O)~RXO U, T, P, Q c (U~T)~(P{Q)XO U, T, P, R c U~T~P~RXO U, T, P, S c (U~T)~(S|P)XO U, T, P, X c (U{T|P)~XXO U, T, Q, P c (U~T)~(Q{P)XO U, T, Q, R c (U{R)~(T~Q)XO U, T, Q, T c U~(T{Q~T)XO U, T, Q, U c U~TQ~UXO U, T, Q, W c U~(T{Q{W)XO U, T, R, O c U~T~R{OXO U, T, R, P c U~T~R~PXO U, T, R, Q c (U{R)~(T~Q)XO U, T, R, S c (U{R~S)~TXO U, T, R, T c (U{R)~(T{T)XO U, T, R, U c (U~T)~(U|R)XO U, T, R, V c U~(T{R{V)XO U, T, R, W c T~(R~W|U)XO U, T, R, X c U~TR~XXO U, T, S, P c (U~T)~(S|P)XO U, T, S, R c (U{S~R)~TXO U, T, S, S c (U{S)~(T{S)XO U, T, S, T c U~(T~S|T)XO U, T, S, U c (U{T{S)~UXO U, T, S, V c (U~T)~(V|S)XO U, T, S, W c (U{S{W)~TXO U, T, S, X c (U|S)~(T~X)XO U, T, T, Q c U~(T{T~Q)XO U, T, T, R c (U{R)~(T{T)XO U, T, T, S c U~(T~S|T)XO U, T, T, T c U~(T{T{T)XO U, T, T, V c (U{T{V)~TXO U, T, T, W c (U~T)~(W|T)XO U, T, U, Q c U~T~UQXO U, T, U, R c (U~T)~(U|R)XO U, T, U, S c U~(T{U{S)XO U, T, U, U c (U{U{U)~TXO U, T, U, X c U{(T{X)~UXO U, T, V, R c U~(T{V{R)XO U, T, V, S c (U~T)~(V|S)XO U, T, V, T c (U{T{V)~TXO U, T, V, V c U{(T{V)~VXO U, T, V, W c (T{V)~W|UXO U, T, W, Q c (U{T)~W{QXO U, T, W, R c T~(W~R|U)XO U, T, W, S c (U{W{S)~TXO U, T, W, T c (U~T)~(W|T)XO U, T, W, V c (T{V)~W|UXO U, T, W, X c T~(W|U)~XXO U, T, X, P c U~(T{X{P)XO U, T, X, R c U~T~XRXO U, T, X, S c (U|S)~(T~X)XO U, T, X, U c U{(T{X)~UXO U, T, X, W c (T~X)~(W|U)XO U, T, X, X c (U{T)~X|XXO U, U, O, X c U~(U{O{X)XO U, U, P, R c U~(U|P)~RXO U, U, P, W c U~(U{P{W)XO U, U, P, X c U~(U{P~X)XO U, U, Q, R c U~(U~Q{R)XO U, U, Q, T c (U{U~Q)~TXO U, U, Q, V c U{U~Q~VXO U, U, Q, W c U~Q~W|UXO U, U, Q, X c (U{U|Q)~XXO U, U, R, P c U~(U|P)~RXO U, U, R, Q c U~(U~Q{R)XO U, U, R, R c U~(U{R~R)XO U, U, R, S c (U{U~S)~RXO U, U, R, T c U~(U|R)~TXO U, U, R, U c (U{U{R)~UXO U, U, R, V c U~(R~V|U)XO U, U, S, R c (U{U~S)~RXO U, U, S, S c U~S~S|UXO U, U, S, T c U~(U{S{T)XO U, U, S, X c U~(U~S|X)XO U, U, T, Q c U~U~TQXO U, U, T, R c U~(U|R)~TXO U, U, T, S c U~(U{T{S)XO U, U, T, U c (U{U{U)~TXO U, U, T, X c U{U~(T{X)XO U, U, U, R c U~(U{U{R)XO U, U, U, T c (U{U{U)~TXO U, U, U, V c U{(U{U)~VXO U, U, U, W c U{U~(U{W)XO U, U, U, X c U~U{U~XXO U, U, V, Q c U{U~V~QXO U, U, V, R c U~(V~R|U)XO U, U, V, U c (U{U)~V{UXO U, U, V, V c U{U~(V{V)XO U, U, V, W c U~V{U~WXO U, U, V, X c U~(V{X)|UXO U, U, W, P c U~(U{W{P)XO U, U, W, Q c U~W~Q|UXO U, U, W, U c U{(U{W)~UXO U, U, W, V c U~W{U~VXO U, U, W, W c U~(W{W)|UXO U, U, X, O c U~(U{X){OXO U, U, X, P c U~(U{X)~PXO U, U, X, Q c (U~U{X)~QXO U, U, X, S c U~(U~S|X)XO U, U, X, T c U{U~(X{T)XO U, U, X, U c U~U{X~UXO U, U, X, V c U~(X{V)|UXO U, U, X, X c (UU{X)~XXO U, V, O, W c U~(V{O{W)XO U, V, P, Q c U~(V~Q{P)XO U, V, P, V c U~(V{P{V)XO U, V, P, W c U~(V{P~W)XO U, V, P, X c U~(V|P{X)XO U, V, Q, P c U~(V~Q{P)XO U, V, Q, R c U~(V|Q)~RXO U, V, Q, S c U~(V{Q~S)XO U, V, Q, U c (U{V{Q)~UXO U, V, Q, X c (UQ{V)~XXO U, V, R, Q c (U~V{R)~QXO U, V, R, R c (U{R)~(V{R)XO U, V, R, S c U{V~R~SXO U, V, R, T c U~(V{R{T)XO U, V, R, U c U~(V~R|U)XO U, V, R, X c (U{V|R)~XXO U, V, S, Q c U~(V{S~Q)XO U, V, S, R c U{V~S~RXO U, V, S, S c U~(V{S{S)XO U, V, S, T c U~(V|S)~TXO U, V, S, W c U{V~(S{W)XO U, V, T, R c U~(V{T{R)XO U, V, T, S c U~(V|S)~TXO U, V, T, T c (U{V{T)~TXO U, V, T, V c U{(V{T)~VXO U, V, T, W c (V{T)~W|UXO U, V, U, Q c U{V~U~QXO U, V, U, R c U~(V~R|U)XO U, V, U, U c U{V~(U{U)XO U, V, U, V c U{(V{V)~UXO U, V, U, W c U~V{U~WXO U, V, U, X c U~(V{X)|UXO U, V, V, P c (U{V)~V|PXO U, V, V, T c U{V~(V{T)XO U, V, V, U c U{(V{V)~UXO U, V, W, O c U~(V{W){OXO U, V, W, P c U~(V{W)~PXO U, V, W, S c U{V~(W{S)XO U, V, W, T c (V{T)~W|UXO U, V, W, U c U~V{W~UXO U, V, W, W c (U{W)~V|WXO U, V, X, P c U~(V{X|P)XO U, V, X, Q c (UQ{V)~XXO U, V, X, R c U{V~(X{R)XO U, V, X, U c U~(V{X)|UXO U, V, X, X c (V|U{X)~XXO U, W, O, V c U~(W{O{V)XO U, W, P, Q c U~(W~Q|P)XO U, W, P, S c (U{S)~(W{P)XO U, W, P, U c (U{W{P)~UXO U, W, P, V c U~(W{P~V)XO U, W, P, W c U~(W|P{W)XO U, W, Q, P c U~(W~Q|P)XO U, W, Q, R c (U~W|R)~QXO U, W, Q, T c U~(W{Q{T)XO U, W, Q, U c U~W~Q|UXO U, W, Q, X c (U{WQ)~XXO U, W, R, Q c (U~W|R)~QXO U, W, R, R c (U{W~R)~RXO U, W, R, S c U~(W{R{S)XO U, W, R, T c (W~R|U)~TXO U, W, R, X c U~(W~R|X)XO U, W, S, P c (U{S)~(W{P)XO U, W, S, R c U~(W{S{R)XO U, W, S, T c (U{W{S)~TXO U, W, S, V c U{(W{S)~VXO U, W, S, W c (W{S)~W|UXO U, W, S, X c (U{W|S)~XXO U, W, T, Q c U~(W{T{Q)XO U, W, T, R c (W~R|U)~TXO U, W, T, S c (U{W{S)~TXO U, W, T, T c U~(W|T)~TXO U, W, T, V c W~(T{V)|UXO U, W, T, X c (W|U)~(T~X)XO U, W, U, P c U~(W{U{P)XO U, W, U, Q c U~W~Q|UXO U, W, U, U c U{(W{U)~UXO U, W, U, V c U~W{U~VXO U, W, U, W c U~(W{W)|UXO U, W, V, O c U~(W{V){OXO U, W, V, P c U~(W{V)~PXO U, W, V, S c U{(W{S)~VXO U, W, V, T c W~(V{T)|UXO U, W, V, U c U~W{V~UXO U, W, V, W c (U{W)~V|WXO U, W, W, P c U~(W{W|P)XO U, W, W, S c W~(W{S)|UXO U, W, W, U c U~(W{W)|UXO U, W, W, V c (U{W)~V|WXO U, W, W, X c (W|U{W)~XXO U, W, X, Q c U~(W{X|Q)XO U, W, X, R c U~(W~R|X)XO U, W, X, S c (U{W|S)~XXO U, W, X, T c (W|U)~(X~T)XO U, W, X, W c (W|U{W)~XXO U, X, O, S c (U{O{S)~XXO U, X, O, U c (U{X{O)~UXO U, X, P, Q c (U|P)~(X~Q)XO U, X, P, R c (U{P{R)~XXO U, X, P, S c (U{P~S)~XXO U, X, P, T c (U{X)~(P{T)XO U, X, P, U c (U{X)~(P~U)XO U, X, P, V c U~(X|P{V)XO U, X, P, X c (U|P)~(X{X)XO U, X, Q, P c (U|P)~(X~Q)XO U, X, Q, Q c (U{Q{Q)~XXO U, X, Q, R c (U{X)~(Q~R)XO U, X, Q, S c (U{X)~(Q{S)XO U, X, Q, U c (U|Q{U)~XXO U, X, Q, V c (UQ{V)~XXO U, X, Q, W c U~(X|Q{W)XO U, X, Q, X c (U~X|X)~QXO U, X, R, P c (U{R)~(X{P)XO U, X, R, Q c (U{X)~(R~Q)XO U, X, R, R c (U{X)~(R{R)XO U, X, R, S c U~(X|S)~RXO U, X, R, T c (U{X{R)~TXO U, X, R, V c U{(X{R)~VXO U, X, R, W c U~R{X~WXO U, X, R, X c U~(X|R{X)XO U, X, S, O c (U{S)~(X{O)XO U, X, S, P c (U{S)~(X~P)XO U, X, S, Q c (U{X)~(S{Q)XO U, X, S, R c U~(X|S)~RXO U, X, S, S c X~(S~S|U)XO U, X, S, T c (U|S)~(X~T)XO U, X, S, U c (U~S|X)~UXO U, X, S, W c (U|S{W)~XXO U, X, S, X c U~X{S~XXO U, X, T, P c (U{X)~(T{P)XO U, X, T, R c U~X~TRXO U, X, T, S c (U|S)~(X~T)XO U, X, T, U c U{(X{T)~UXO U, X, T, W c (X~T)~(W|U)XO U, X, T, X c (U{X|T)~XXO U, X, U, O c (U{X)~(U{O)XO U, X, U, P c (U{X)~(U~P)XO U, X, U, Q c (U~U{X)~QXO U, X, U, S c U~(U~S|X)XO U, X, U, T c U~(X|U)~TXO U, X, U, U c U~X{U~UXO U, X, U, V c U~(X{V)|UXO U, X, U, X c (UU{X)~XXO U, X, V, P c (U{X)~(V|P)XO U, X, V, Q c (UQ{V)~XXO U, X, V, R c U{(X{R)~VXO U, X, V, U c U~(X{V)|UXO U, X, V, X c (X|U{V)~XXO U, X, W, Q c (U{X)~(W|Q)XO U, X, W, R c U~(W~R|X)XO U, X, W, S c (U{W|S)~XXO U, X, W, T c X~(W|U)~TXO U, X, W, W c X~(W|U{W)XO U, X, X, P c (U|P)~(X{X)XO U, X, X, Q c (U~X|X)~QXO U, X, X, R c U{X~X{RXO U, X, X, S c U~X{X~SXO U, X, X, T c (U{X|T)~XXO U, X, X, U c (UU{X)~XXO U, X, X, V c (X|U{V)~XXO V, O, R, X c (V{O{R)~XXO V, O, U, W c (V{O{W)~UXO V, O, W, U c (V{O{W)~UXO V, O, X, R c (V{O{R)~XXO V, P, Q, U c (V~Q{P)~UXO V, P, Q, X c (V{P{Q)~XXO V, P, R, T c (V|P)~(R~T)XO V, P, R, W c (V{R)~(P{W)XO V, P, R, X c (V{P~R)~XXO V, P, S, X c (V|P{S)~XXO V, P, T, R c (V|P)~(T~R)XO V, P, T, W c V~(T{W)|PXO V, P, U, Q c (V~Q{P)~UXO V, P, U, V c (V{P{V)~UXO V, P, U, W c (V{P~W)~UXO V, P, U, X c (V|P)~(U{X)XO V, P, V, U c (V{P{V)~UXO V, P, V, W c (V|P)~(V{W)XO V, P, W, R c (V{R)~(P{W)XO V, P, W, T c (V{W)~(P{T)XO V, P, W, U c (V{P~W)~UXO V, P, W, V c (V|P)~(W{V)XO V, P, X, Q c (V{P{Q)~XXO V, P, X, R c (V{P~R)~XXO V, P, X, S c (V|P{S)~XXO V, P, X, U c (V|P{X)~UXO V, Q, P, U c (V~Q{P)~UXO V, Q, P, X c (V{Q{P)~XXO V, Q, Q, T c (V{Q)~(Q~T)XO V, Q, Q, W c (V{Q)~(Q{W)XO V, Q, Q, X c (V|Q)~(Q~X)XO V, Q, R, S c (V~S{Q)~RXO V, Q, R, U c (V|Q)~(R~U)XO V, Q, R, V c (V{Q)~(R{V)XO V, Q, R, W c (V{W)~(Q~R)XO V, Q, S, R c (V~S{Q)~RXO V, Q, S, T c (V~Q{S)~TXO V, Q, S, U c (V{Q)~(S{U)XO V, Q, S, V c (V~V|S)~QXO V, Q, S, W c (V{S)~W{QXO V, Q, S, X c (V~Q|S)~XXO V, Q, T, Q c (V{Q)~(T~Q)XO V, Q, T, S c (V~Q{S)~TXO V, Q, T, T c (V{Q)~(T{T)XO V, Q, T, X c (V|Q{T)~XXO V, Q, U, P c (V~Q{P)~UXO V, Q, U, R c (V|Q)~(U~R)XO V, Q, U, S c (V{Q)~(U{S)XO V, Q, U, U c (V{Q{U)~UXO V, Q, U, X c (V{UQ)~XXO V, Q, V, R c (V{Q)~(V{R)XO V, Q, V, S c (V~V|S)~QXO V, Q, V, W c V~Q~V|WXO V, Q, W, Q c (V{Q)~(W{Q)XO V, Q, W, R c (V{W)~(Q~R)XO V, Q, W, S c (V{W)~(Q{S)XO V, Q, W, V c V~Q~V|WXO V, Q, W, W c (V{W)~(W|Q)XO V, Q, X, P c (V{Q)~(X{P)XO V, Q, X, Q c (V|Q)~(X~Q)XO V, Q, X, S c (V~Q|S)~XXO V, Q, X, T c (V{Q{X)~TXO V, Q, X, U c (V{UQ)~XXO V, Q, X, X c V{Q{X~XXO V, R, O, X c (V{R{O)~XXO V, R, P, T c (V|P)~(R~T)XO V, R, P, W c (V{R)~(P{W)XO V, R, P, X c (V{R)~(P~X)XO V, R, Q, S c (V~S{Q)~RXO V, R, Q, U c (V|Q)~(R~U)XO V, R, Q, V c (V{R)~(Q{V)XO V, R, Q, W c (V{W)~(R~Q)XO V, R, R, R c (V{R)~(R~R)XO V, R, R, T c (V~R|R)~TXO V, R, R, U c (V{R)~(R{U)XO V, R, R, W c (V{W)~(R{R)XO V, R, R, X c (V~R{X)~RXO V, R, S, Q c (V~S{Q)~RXO V, R, S, T c (V{R)~(S{T)XO V, R, S, U c V~R~S{UXO V, R, T, P c (V|P)~(R~T)XO V, R, T, R c (V~R|R)~TXO V, R, T, S c (V{R)~(T{S)XO V, R, T, T c (V~T|T)~RXO V, R, T, U c (V{R{T)~UXO V, R, T, W c (V{R{W)~TXO V, R, U, Q c (V~U{R)~QXO V, R, U, R c (V{R)~(U{R)XO V, R, U, S c V~R~S{UXO V, R, U, T c (V{R{T)~UXO V, R, U, U c (V~R|U)~UXO V, R, U, X c (V|R{U)~XXO V, R, V, Q c (V{R)~(V{Q)XO V, R, W, P c (V{R)~(W{P)XO V, R, W, Q c (V{W)~(R~Q)XO V, R, W, R c (V{W)~(R{R)XO V, R, W, T c (V{R{W)~TXO V, R, W, X c (V{W)~(X|R)XO V, R, X, O c (V{R)~(X{O)XO V, R, X, P c (V{R)~(X~P)XO V, R, X, R c (V~R{X)~RXO V, R, X, U c V~(R{X){UXO V, R, X, W c (V{W)~(X|R)XO V, R, X, X c (V{XR)~XXO V, S, P, X c (V{S|P)~XXO V, S, Q, R c (V~S{Q)~RXO V, S, Q, T c (V~Q{S)~TXO V, S, Q, U c (V{S~Q)~UXO V, S, Q, V c (V~V|S)~QXO V, S, Q, W c (V{S)~W{QXO V, S, Q, X c (V~Q|S)~XXO V, S, R, Q c (V~S{Q)~RXO V, S, R, T c (V{R)~(S{T)XO V, S, R, U c V~S~R{UXO V, S, S, U c (V{S{S)~UXO V, S, T, Q c (V~Q{S)~TXO V, S, T, R c (V{R)~(S{T)XO V, S, T, U c (V|S)~(T~U)XO V, S, T, V c (V{S{V)~TXO V, S, U, Q c (V{S~Q)~UXO V, S, U, R c V~S~R{UXO V, S, U, S c (V{S{S)~UXO V, S, U, T c (V|S)~(U~T)XO V, S, U, W c V~(S{W){UXO V, S, V, Q c (V~V|S)~QXO V, S, V, T c (V{S{V)~TXO V, S, V, X c (V|S{V)~XXO V, S, W, Q c (V{S)~W{QXO V, S, W, U c V~(S{W){UXO V, S, X, P c V~(S{X)|PXO V, S, X, Q c (V~Q|S)~XXO V, S, X, V c (V|S{V)~XXO V, S, X, X c (V{S)~X|XXO V, T, P, R c (V|P)~(T~R)XO V, T, P, W c V~(T{W)|PXO V, T, Q, Q c (V{Q)~(T~Q)XO V, T, Q, S c (V~Q{S)~TXO V, T, Q, T c (V{Q)~(T{T)XO V, T, Q, X c (V{T|Q)~XXO V, T, R, P c (V|P)~(T~R)XO V, T, R, R c (V~R|R)~TXO V, T, R, S c (V{R)~(T{S)XO V, T, R, T c (V~T|T)~RXO V, T, R, U c (V{T{R)~UXO V, T, R, W c (V{R{W)~TXO V, T, S, Q c (V~Q{S)~TXO V, T, S, R c (V{R)~(T{S)XO V, T, S, U c (V|S)~(T~U)XO V, T, S, V c (V{S{V)~TXO V, T, T, Q c (V{Q)~(T{T)XO V, T, T, R c (V~T|T)~RXO V, T, T, T c (T~T|V)~TXO V, T, T, U c (V{T{U)~TXO V, T, T, X c (V|T)~(T~X)XO V, T, U, R c (V{T{R)~UXO V, T, U, S c (V|S)~(T~U)XO V, T, U, T c (V{T{U)~TXO V, T, U, V c (V{T)~V{UXO V, T, U, W c (V{T)~W|UXO V, T, V, S c (V{V{S)~TXO V, T, V, U c (V{T)~V{UXO V, T, W, P c V~(T{W)|PXO V, T, W, R c (V{W{R)~TXO V, T, W, U c (V{T)~W|UXO V, T, W, X c (V|T{W)~XXO V, T, X, Q c (V{T|Q)~XXO V, T, X, T c (V|T)~(X~T)XO V, T, X, W c V~(T{X)|WXO V, T, X, X c T~(X|V)~XXO V, U, O, W c (V{O{W)~UXO V, U, P, Q c (V~Q{P)~UXO V, U, P, V c (V{U)~V|PXO V, U, P, W c (V{P~W)~UXO V, U, P, X c (V|P)~(U{X)XO V, U, Q, P c (V~Q{P)~UXO V, U, Q, R c (V~U{R)~QXO V, U, Q, S c (V{Q)~(U{S)XO V, U, Q, U c (V{U{Q)~UXO V, U, Q, X c (V{UQ)~XXO V, U, R, Q c (V~U{R)~QXO V, U, R, R c (V{R)~(U{R)XO V, U, R, S c V~R~S{UXO V, U, R, T c (V{R{T)~UXO V, U, R, U c (V~R|U)~UXO V, U, R, X c (V{U|R)~XXO V, U, S, Q c (V{S~Q)~UXO V, U, S, R c V~S~R{UXO V, U, S, S c (V{S{S)~UXO V, U, S, T c (V|S)~(U~T)XO V, U, S, W c V~(S{W){UXO V, U, T, R c (V{T{R)~UXO V, U, T, S c (V|S)~(U~T)XO V, U, T, T c (V{U{T)~TXO V, U, T, V c (V{T)~V{UXO V, U, T, W c (V{T)~W|UXO V, U, U, Q c (V{U{Q)~UXO V, U, U, R c (V~R|U)~UXO V, U, U, U c V~(U{U){UXO V, U, U, V c (V{V)~U{UXO V, U, U, W c V~U{U~WXO V, U, U, X c (V{X)~U|UXO V, U, V, P c (V{U)~V|PXO V, U, V, T c V~(V{T){UXO V, U, V, U c (V{V)~U{UXO V, U, W, O c (V{W)~(U{O)XO V, U, W, P c (V{W)~(U~P)XO V, U, W, S c V~(W{S){UXO V, U, W, T c (V{T)~W|UXO V, U, W, U c V~U{W~UXO V, U, W, W c V~(U{W)|WXO V, U, X, P c (V{X|P)~UXO V, U, X, Q c (V{UQ)~XXO V, U, X, R c (V{U|R)~XXO V, U, X, U c (V{X)~U|UXO V, U, X, X c (V|U{X)~XXO V, V, P, U c (V{V{P)~UXO V, V, P, W c (V|P)~(V{W)XO V, V, Q, R c (V{Q)~(V{R)XO V, V, Q, S c (V~V|S)~QXO V, V, Q, W c V~V~Q|WXO V, V, R, Q c (V{R)~(V{Q)XO V, V, S, Q c (V~V|S)~QXO V, V, S, T c (V{V{S)~TXO V, V, S, X c (V{V|S)~XXO V, V, T, S c (V{V{S)~TXO V, V, T, U c V~(V{T){UXO V, V, U, P c V~(V{U)|PXO V, V, U, T c V~(V{T){UXO V, V, U, U c (V{V)~U{UXO V, V, V, W c (V{V)~V|WXO V, V, W, P c (V{W)~(V|P)XO V, V, W, Q c V~V~Q|WXO V, V, W, V c (V{V)~V|WXO V, V, X, S c (V{V|S)~XXO V, V, X, X c (VV{X)~XXO V, W, O, U c (V{W{O)~UXO V, W, P, R c (V{R)~(W{P)XO V, W, P, T c (V{W)~(P{T)XO V, W, P, U c (V{W)~(P~U)XO V, W, P, V c (V{W)~(V|P)XO V, W, Q, Q c (V{Q)~(W{Q)XO V, W, Q, R c (V{W)~(Q~R)XO V, W, Q, S c (V{W)~(Q{S)XO V, W, Q, V c V~Q~V|WXO V, W, Q, W c (V{W)~(W|Q)XO V, W, R, P c (V{R)~(W{P)XO V, W, R, Q c (V{W)~(R~Q)XO V, W, R, R c (V{W)~(R{R)XO V, W, R, T c (V{W{R)~TXO V, W, R, X c (V{W)~(X|R)XO V, W, S, Q c (V{W)~(S{Q)XO V, W, S, U c V~(W{S){UXO V, W, T, P c (V{W)~(T{P)XO V, W, T, R c (V{W{R)~TXO V, W, T, U c (V{T)~W|UXO V, W, T, X c (V{W|T)~XXO V, W, U, O c (V{W)~(U{O)XO V, W, U, P c (V{W)~(U~P)XO V, W, U, S c V~(W{S){UXO V, W, U, T c (V{T)~W|UXO V, W, U, U c V~U{W~UXO V, W, U, W c V~(W{U)|WXO V, W, V, P c (V{W)~(V|P)XO V, W, V, Q c V~V~Q|WXO V, W, V, V c (V{V)~V|WXO V, W, W, Q c (V{W)~(W|Q)XO V, W, W, U c V~(W{U)|WXO V, W, X, R c (V{W)~(X|R)XO V, W, X, T c (V{W|T)~XXO V, W, X, X c (W|V{X)~XXO V, X, O, R c (V{O{R)~XXO V, X, P, Q c (V{P{Q)~XXO V, X, P, R c (V{P~R)~XXO V, X, P, S c V~(X{S)|PXO V, X, P, U c (V{X|P)~UXO V, X, Q, P c (V{Q)~(X{P)XO V, X, Q, Q c (V|Q)~(X~Q)XO V, X, Q, S c (V~Q|S)~XXO V, X, Q, T c (V{X{Q)~TXO V, X, Q, U c (V{UQ)~XXO V, X, Q, X c V{X~X{QXO V, X, R, O c (V{R)~(X{O)XO V, X, R, P c (V{R)~(X~P)XO V, X, R, R c (V~R{X)~RXO V, X, R, U c V~(X{R){UXO V, X, R, W c (V{W)~(X|R)XO V, X, R, X c (V{XR)~XXO V, X, S, P c V~(X{S)|PXO V, X, S, Q c (V~Q|S)~XXO V, X, S, V c (V|S{V)~XXO V, X, S, X c (V{S)~X|XXO V, X, T, Q c (V{X{Q)~TXO V, X, T, T c (V|T)~(X~T)XO V, X, T, W c V~(X{T)|WXO V, X, T, X c (X|V)~(T~X)XO V, X, U, P c (V{X|P)~UXO V, X, U, Q c (V{UQ)~XXO V, X, U, R c V~(X{R){UXO V, X, U, U c (V{X)~U|UXO V, X, U, X c (V{X|U)~XXO V, X, V, S c (V{V|S)~XXO V, X, V, X c (VV{X)~XXO V, X, W, R c (V{W)~(X|R)XO V, X, W, T c V~(X{T)|WXO V, X, W, X c (X|V{W)~XXO V, X, X, Q c V{X~X{QXO V, X, X, R c V~X{X~RXO V, X, X, S c (V{S)~X|XXO V, X, X, T c (X|V)~(X~T)XO V, X, X, U c (V{X|U)~XXO V, X, X, V c (VV{X)~XXO V, X, X, W c (X|V{W)~XXO W, O, Q, X c (W{O{Q)~XXO W, O, U, V c (W{O{V)~UXO W, O, V, U c (W{O{V)~UXO W, O, X, Q c (W{O{Q)~XXO W, P, P, X c (W{P{P)~XXO W, P, Q, T c (W{P)~(Q~T)XO W, P, Q, U c (W~Q|P)~UXO W, P, Q, W c (W{P)~(Q{W)XO W, P, Q, X c (W{P~Q)~XXO W, P, R, V c (W{P)~(R{V)XO W, P, R, X c (W|P{R)~XXO W, P, S, U c (W{P)~(S{U)XO W, P, T, Q c (W{P)~(T~Q)XO W, P, T, T c (W{P)~(T{T)XO W, P, T, V c (W{T)~V|PXO W, P, T, X c (W{P{X)~TXO W, P, U, Q c (W~Q|P)~UXO W, P, U, S c (W{P)~(U{S)XO W, P, U, U c (W{P{U)~UXO W, P, U, V c (W{P~V)~UXO W, P, U, W c (W|P{W)~UXO W, P, V, R c (W{P)~(V{R)XO W, P, V, T c (W{V)~(P{T)XO W, P, V, U c (W{P~V)~UXO W, P, V, V c (W{V)~(V|P)XO W, P, W, Q c (W{P)~(W{Q)XO W, P, W, U c (W|P{W)~UXO W, P, X, P c (W{P)~(X{P)XO W, P, X, Q c (W{P~Q)~XXO W, P, X, R c (W|P{R)~XXO W, P, X, T c (W{P{X)~TXO W, P, X, X c W{P{X~XXO W, Q, O, X c (W{Q{O)~XXO W, Q, P, T c (W{P)~(Q~T)XO W, Q, P, U c (W~Q|P)~UXO W, Q, P, W c (W{Q)~(P{W)XO W, Q, P, X c (W{Q)~(P~X)XO W, Q, Q, T c (W~Q{Q)~TXO W, Q, Q, V c (W{Q)~(Q{V)XO W, Q, Q, X c W~(Q{X){QXO W, Q, R, R c (W{Q)~(R~R)XO W, Q, R, S c (W~S|Q)~RXO W, Q, R, T c (W|Q)~(R~T)XO W, Q, R, U c (W{Q)~(R{U)XO W, Q, R, V c (W{V)~(Q~R)XO W, Q, R, W c (W{R)~W{QXO W, Q, R, X c (W|R)~(Q~X)XO W, Q, S, R c (W~S|Q)~RXO W, Q, S, T c (W{Q)~(S{T)XO W, Q, S, V c W~(S{V){QXO W, Q, S, X c (W|Q{S)~XXO W, Q, T, P c (W{P)~(Q~T)XO W, Q, T, Q c (W~Q{Q)~TXO W, Q, T, R c (W|Q)~(T~R)XO W, Q, T, S c (W{Q)~(T{S)XO W, Q, T, T c (W{Q~T)~TXO W, Q, T, U c (W{Q{T)~UXO W, Q, T, W c (W{Q{W)~TXO W, Q, U, P c (W~Q|P)~UXO W, Q, U, R c (W{Q)~(U{R)XO W, Q, U, T c (W{Q{T)~UXO W, Q, U, U c W~Q~U|UXO W, Q, U, X c (W|Q)~(U{X)XO W, Q, V, Q c (W{Q)~(V{Q)XO W, Q, V, R c (W{V)~(Q~R)XO W, Q, V, S c (W{V)~(Q{S)XO W, Q, V, V c Q~V~V|WXO W, Q, V, W c (W|Q)~(V{W)XO W, Q, W, P c (W{Q)~(W{P)XO W, Q, W, R c W~(W{R){QXO W, Q, W, T c (W{Q{W)~TXO W, Q, W, V c (W|Q)~(W{V)XO W, Q, X, O c (W{Q)~(X{O)XO W, Q, X, P c (W{Q)~(X~P)XO W, Q, X, Q c W~(Q{X){QXO W, Q, X, R c (W|R)~(Q~X)XO W, Q, X, S c (W|Q{S)~XXO W, Q, X, U c (W|Q{X)~UXO W, Q, X, X c W~X{Q~XXO W, R, P, V c (W{P)~(R{V)XO W, R, P, X c (W{R|P)~XXO W, R, Q, R c (W{Q)~(R~R)XO W, R, Q, S c (W~S|Q)~RXO W, R, Q, T c (W|Q)~(R~T)XO W, R, Q, U c (W{Q)~(R{U)XO W, R, Q, V c (W{V)~(R~Q)XO W, R, Q, W c (W{R)~W{QXO W, R, Q, X c (W|R)~(Q~X)XO W, R, R, Q c (W{Q)~(R~R)XO W, R, R, U c (W|R)~(R~U)XO W, R, R, V c (W{V)~(R{R)XO W, R, S, Q c (W~S|Q)~RXO W, R, S, U c (W{R{S)~UXO W, R, T, Q c (W|Q)~(R~T)XO W, R, T, U c (W~R|U)~TXO W, R, T, V c (W{R{V)~TXO W, R, T, X c (W|R{T)~XXO W, R, U, Q c (W~U|R)~QXO W, R, U, R c (W|R)~(U~R)XO W, R, U, S c (W{R{S)~UXO W, R, U, T c (W~R|U)~TXO W, R, U, X c W~(R{X)|UXO W, R, V, P c (W{P)~(R{V)XO W, R, V, Q c (W{V)~(R~Q)XO W, R, V, R c (W{V)~(R{R)XO W, R, V, T c (W{R{V)~TXO W, R, V, X c (W{V)~(X|R)XO W, R, W, Q c (W{R)~W{QXO W, R, X, P c (W{R|P)~XXO W, R, X, Q c (W|R)~(X~Q)XO W, R, X, T c (W|R{T)~XXO W, R, X, U c W~(R{X)|UXO W, R, X, V c (W{V)~(X|R)XO W, R, X, X c (W{R)~X|XXO W, S, P, U c (W{P)~(S{U)XO W, S, Q, R c (W~S|Q)~RXO W, S, Q, T c (W{Q)~(S{T)XO W, S, Q, V c W~(S{V){QXO W, S, Q, X c (W{S|Q)~XXO W, S, R, Q c (W~S|Q)~RXO W, S, R, U c (W{S{R)~UXO W, S, T, Q c (W{Q)~(S{T)XO W, S, T, U c (W{S{U)~TXO W, S, T, X c WS~T~XXO W, S, U, P c (W{P)~(S{U)XO W, S, U, R c (W{S{R)~UXO W, S, U, T c (W{S{U)~TXO W, S, U, V c (W{S)~V{UXO W, S, U, W c (W{S)~W|UXO W, S, U, X c (W|S{U)~XXO W, S, V, Q c W~(S{V){QXO W, S, V, U c (W{S)~V{UXO W, S, W, U c (W{S)~W|UXO W, S, W, X c (WS{W)~XXO W, S, X, Q c (W{S|Q)~XXO W, S, X, T c WS~X~TXO W, S, X, U c (W|S{U)~XXO W, S, X, W c (WS{W)~XXO W, S, X, X c W~(XS{X)XO W, T, P, Q c (W{P)~(T~Q)XO W, T, P, T c (W{P)~(T{T)XO W, T, P, V c (W{T)~V|PXO W, T, P, X c (W{P{X)~TXO W, T, Q, P c (W{P)~(T~Q)XO W, T, Q, Q c (W~Q{Q)~TXO W, T, Q, R c (W|Q)~(T~R)XO W, T, Q, S c (W{Q)~(T{S)XO W, T, Q, T c (W{T~Q)~TXO W, T, Q, U c (W{T{Q)~UXO W, T, Q, W c (W{Q{W)~TXO W, T, R, Q c (W|Q)~(T~R)XO W, T, R, U c (W~R|U)~TXO W, T, R, V c (W{R{V)~TXO W, T, R, X c (W{T|R)~XXO W, T, S, Q c (W{Q)~(T{S)XO W, T, S, U c (W{S{U)~TXO W, T, S, X c W~TS~XXO W, T, T, P c (W{P)~(T{T)XO W, T, T, Q c (W~T{T)~QXO W, T, T, T c (W{T{T)~TXO W, T, T, U c (W|T)~(T~U)XO W, T, T, X c (W{X)~T{TXO W, T, U, Q c W~(T{U){QXO W, T, U, R c (W~R|U)~TXO W, T, U, S c (W{U{S)~TXO W, T, U, T c (W|T)~(U~T)XO W, T, U, V c W~(T{V)|UXO W, T, U, X c (W|U)~(T~X)XO W, T, V, P c (W{T)~V|PXO W, T, V, R c (W{V{R)~TXO W, T, V, U c W~(T{V)|UXO W, T, V, X c (W|T{V)~XXO W, T, W, Q c (W{W{Q)~TXO W, T, X, P c (W{X{P)~TXO W, T, X, R c (W{T|R)~XXO W, T, X, S c W~T~XSXO W, T, X, T c (W{X)~T{TXO W, T, X, U c (W|U)~(T~X)XO W, T, X, V c (W|T{V)~XXO W, U, O, V c (W{O{V)~UXO W, U, P, Q c (W~Q|P)~UXO W, U, P, S c (W{P)~(U{S)XO W, U, P, U c (W{U{P)~UXO W, U, P, V c (W{P~V)~UXO W, U, P, W c (W|P{W)~UXO W, U, Q, P c (W~Q|P)~UXO W, U, Q, R c (W~U|R)~QXO W, U, Q, T c W~(U{T){QXO W, U, Q, U c W~U~Q|UXO W, U, Q, X c (W|Q)~(U{X)XO W, U, R, Q c (W~U|R)~QXO W, U, R, R c (W|R)~(U~R)XO W, U, R, S c (W{R{S)~UXO W, U, R, T c (W~R|U)~TXO W, U, R, X c (W{UR)~XXO W, U, S, P c (W{P)~(U{S)XO W, U, S, R c (W{S{R)~UXO W, U, S, T c (W{U{S)~TXO W, U, S, V c (W{S)~V{UXO W, U, S, W c (W{S)~W|UXO W, U, S, X c (W{U|S)~XXO W, U, T, Q c W~(U{T){QXO W, U, T, R c (W~R|U)~TXO W, U, T, S c (W{U{S)~TXO W, U, T, T c (W|T)~(U~T)XO W, U, T, V c W~(T{V)|UXO W, U, T, X c (W|U)~(T~X)XO W, U, U, P c (W{U{P)~UXO W, U, U, Q c W~U~Q|UXO W, U, U, U c (W{U)~U{UXO W, U, U, V c W~U{U~VXO W, U, U, W c (W{W)~U|UXO W, U, V, O c (W{V)~(U{O)XO W, U, V, P c (W{V)~(U~P)XO W, U, V, S c (W{S)~V{UXO W, U, V, T c W~(V{T)|UXO W, U, V, U c W~U{V~UXO W, U, V, W c (W{U)~V|WXO W, U, W, P c (W{W|P)~UXO W, U, W, S c W~(W{S)|UXO W, U, W, U c (W{W)~U|UXO W, U, W, V c (W{U)~V|WXO W, U, W, X c (W|U{W)~XXO W, U, X, Q c (W{X|Q)~UXO W, U, X, R c (W{UR)~XXO W, U, X, S c (W{U|S)~XXO W, U, X, T c (W|U)~(X~T)XO W, U, X, W c (W|U{W)~XXO W, V, O, U c (W{V{O)~UXO W, V, P, R c (W{P)~(V{R)XO W, V, P, T c (W{V)~(P{T)XO W, V, P, U c (W{V)~(P~U)XO W, V, P, V c (W{V)~(V|P)XO W, V, Q, Q c (W{Q)~(V{Q)XO W, V, Q, R c (W{V)~(Q~R)XO W, V, Q, S c (W{V)~(Q{S)XO W, V, Q, V c V~Q~V|WXO W, V, Q, W c (W{V)~(W|Q)XO W, V, R, P c (W{P)~(V{R)XO W, V, R, Q c (W{V)~(R~Q)XO W, V, R, R c (W{V)~(R{R)XO W, V, R, T c (W{V{R)~TXO W, V, R, X c (W{V)~(X|R)XO W, V, S, Q c (W{V)~(S{Q)XO W, V, S, U c (W{S)~V{UXO W, V, T, P c (W{V)~(T{P)XO W, V, T, R c (W{V{R)~TXO W, V, T, U c W~(V{T)|UXO W, V, T, X c (W{V|T)~XXO W, V, U, O c (W{V)~(U{O)XO W, V, U, P c (W{V)~(U~P)XO W, V, U, S c (W{S)~V{UXO W, V, U, T c W~(V{T)|UXO W, V, U, U c W~U{V~UXO W, V, U, W c (W{U)~V|WXO W, V, V, P c (W{V)~(V|P)XO W, V, V, Q c V~V~Q|WXO W, V, V, V c (V{V)~V|WXO W, V, W, Q c (W{V)~(W|Q)XO W, V, W, U c (W{U)~V|WXO W, V, X, R c (W{V)~(X|R)XO W, V, X, T c (W{V|T)~XXO W, V, X, X c (W|V{X)~XXO W, W, P, Q c (W{P)~(W{Q)XO W, W, P, U c (W{W|P)~UXO W, W, Q, P c (W{Q)~(W{P)XO W, W, Q, R c W~(W{R){QXO W, W, Q, T c (W{W{Q)~TXO W, W, Q, V c (W|Q)~(W{V)XO W, W, R, Q c W~(W{R){QXO W, W, S, U c W~(W{S)|UXO W, W, S, X c (W{WS)~XXO W, W, T, Q c (W{W{Q)~TXO W, W, U, P c (W{W|P)~UXO W, W, U, S c W~(W{S)|UXO W, W, U, U c (W{W)~U|UXO W, W, U, V c (W{U)~V|WXO W, W, U, X c (W{W|U)~XXO W, W, V, Q c (W{V)~(W|Q)XO W, W, V, U c (W{U)~V|WXO W, W, X, S c (W{WS)~XXO W, W, X, U c (W{W|U)~XXO W, W, X, X c (WW{X)~XXO W, X, O, Q c (W{O{Q)~XXO W, X, P, P c (W{P)~(X{P)XO W, X, P, Q c (W{P~Q)~XXO W, X, P, R c (W|P{R)~XXO W, X, P, T c (W{X{P)~TXO W, X, P, X c W{X~X{PXO W, X, Q, O c (W{Q)~(X{O)XO W, X, Q, P c (W{Q)~(X~P)XO W, X, Q, Q c W~(X{Q){QXO W, X, Q, R c (W|R)~(X~Q)XO W, X, Q, S c (W|Q{S)~XXO W, X, Q, U c (W{X|Q)~UXO W, X, Q, X c W~X{Q~XXO W, X, R, P c (W{R|P)~XXO W, X, R, Q c (W|R)~(X~Q)XO W, X, R, T c (W|R{T)~XXO W, X, R, U c W~(X{R)|UXO W, X, R, V c (W{V)~(X|R)XO W, X, R, X c (W{R)~X|XXO W, X, S, Q c (W{S|Q)~XXO W, X, S, T c W~XS~TXO W, X, S, U c (W|S{U)~XXO W, X, S, W c (WS{W)~XXO W, X, S, X c W~(XS{X)XO W, X, T, P c (W{X{P)~TXO W, X, T, R c (W{T|R)~XXO W, X, T, S c W~X~TSXO W, X, T, T c (W{X)~T{TXO W, X, T, U c (W|U)~(X~T)XO W, X, T, V c (W|T{V)~XXO W, X, U, Q c (W{X|Q)~UXO W, X, U, R c W~X{U~RXO W, X, U, S c (W{U|S)~XXO W, X, U, T c (W|U)~(X~T)XO W, X, U, W c (W|U{W)~XXO W, X, V, R c (W{V)~(X|R)XO W, X, V, T c (W{V|T)~XXO W, X, V, X c (W{X|V)~XXO W, X, W, S c (W{WS)~XXO W, X, W, U c (W{W|U)~XXO W, X, W, X c (WW{X)~XXO W, X, X, P c W{X~X{PXO W, X, X, Q c W~X{X~QXO W, X, X, R c (W{R)~X|XXO W, X, X, S c W~(X{XS)XO W, X, X, V c (W{X|V)~XXO W, X, X, W c (WW{X)~XXO W, X, X, X c W~X{X{XXO X, O, P, X c (X{O{P)~XXO X, O, Q, T c (X{O)~(Q~T)XO X, O, Q, W c (X{O)~(Q{W)XO X, O, R, V c (X{O)~(R{V)XO X, O, S, U c (X{O)~(S{U)XO X, O, T, Q c (X{O)~(T~Q)XO X, O, T, T c (X{O)~(T{T)XO X, O, T, X c (X{O{X)~TXO X, O, U, S c (X{O)~(U{S)XO X, O, U, U c (X{O{U)~UXO X, O, V, R c (X{O)~(V{R)XO X, O, W, Q c (X{O)~(W{Q)XO X, O, X, P c (X{O)~(X{P)XO X, O, X, T c (X{O{X)~TXO X, O, X, X c X{O{X~XXO X, P, O, X c (X{P{O)~XXO X, P, P, T c X~(P{P)~TXO X, P, P, W c (X{P)~(P{W)XO X, P, P, X c (X{P)~(P~X)XO X, P, Q, S c X~(P{S)~QXO X, P, Q, T c X~P~Q~TXO X, P, Q, U c (X~Q)~(U|P)XO X, P, Q, V c (X{P)~(Q{V)XO X, P, Q, W c (X~P)~(Q{W)XO X, P, Q, X c (X|P{Q)~XXO X, P, R, R c (X{P)~(R~R)XO X, P, R, T c X~(R|P)~TXO X, P, R, U c (X{P)~(R{U)XO X, P, R, V c (X~P)~(R{V)XO X, P, R, W c X~(R|P{W)XO X, P, S, Q c X~(P{S)~QXO X, P, S, T c (X{P)~(S{T)XO X, P, S, U c (X~P)~(S{U)XO X, P, S, V c X~(S|P{V)XO X, P, S, X c (X{X)~(P{S)XO X, P, T, P c X~(P{P)~TXO X, P, T, Q c X~P~T~QXO X, P, T, R c (X~T)~(R|P)XO X, P, T, S c (X{P)~(T{S)XO X, P, T, T c (X~P)~(T{T)XO X, P, T, U c (X{P{T)~UXO X, P, T, W c (X{P{W)~TXO X, P, T, X c (X{P~X)~TXO X, P, U, Q c X~(U|P)~QXO X, P, U, R c (X{P)~(U{R)XO X, P, U, S c (X~P)~(U{S)XO X, P, U, T c (X{P{T)~UXO X, P, U, U c (X{P~U)~UXO X, P, U, V c (X|P{V)~UXO X, P, U, X c (X{X)~(U|P)XO X, P, V, Q c (X{P)~(V{Q)XO X, P, V, R c (X~P)~(V{R)XO X, P, V, S c X~(V|P{S)XO X, P, V, U c (X|P{V)~UXO X, P, W, P c (X{P)~(W{P)XO X, P, W, Q c (X~P)~(W{Q)XO X, P, W, R c X~(W|P{R)XO X, P, W, T c (X{P{W)~TXO X, P, W, X c X{(P{W)~XXO X, P, X, O c (X{P)~(X{O)XO X, P, X, P c (X{P)~(X~P)XO X, P, X, Q c (X|P{Q)~XXO X, P, X, S c (X{X)~(P{S)XO X, P, X, T c (X{P~X)~TXO X, P, X, U c (X{X)~(U|P)XO X, P, X, W c X{(P{W)~XXO X, P, X, X c X{P~X~XXO X, Q, O, T c (X~Q{O)~TXO X, Q, O, W c X~(Q{O{W)XO X, Q, P, S c (X~Q)~(P{S)XO X, Q, P, T c X~Q~P~TXO X, Q, P, U c (X~Q)~(U|P)XO X, Q, P, V c X~(Q{P{V)XO X, Q, P, W c X~(Q{P~W)XO X, Q, P, X c (X{Q|P)~XXO X, Q, Q, R c (X~Q)~(Q{R)XO X, Q, Q, S c X~(Q{Q~S)XO X, Q, Q, U c X~(Q{Q{U)XO X, Q, Q, V c (X~Q)~(V|Q)XO X, Q, Q, W c (X{Q)~W{QXO X, Q, Q, X c (X{QQ)~XXO X, Q, R, Q c X~(Q{R)~QXO X, Q, R, S c X~(Q~R{S)XO X, Q, R, T c X~(Q{R{T)XO X, Q, R, U c (X{Q~R)~UXO X, Q, R, W c (X~Q)~(W|R)XO X, Q, R, X c (X|Q{R)~XXO X, Q, S, P c (X~Q)~(S{P)XO X, Q, S, Q c X~(Q{S~Q)XO X, Q, S, R c X~(Q~R{S)XO X, Q, S, S c X~(Q{S{S)XO X, Q, S, T c XQ~S~TXO X, Q, S, U c (X{Q{S)~UXO X, Q, S, V c X~(Q~V|S)XO X, Q, S, W c X~(S|Q{W)XO X, Q, S, X c (X~Q)~(X|S)XO X, Q, T, O c X~Q~T{OXO X, Q, T, P c X~Q~T~PXO X, Q, T, R c X~(Q{T{R)XO X, Q, T, S c XQ~T~SXO X, Q, T, V c (X{Q{V)~TXO X, Q, U, P c (X~Q)~(U|P)XO X, Q, U, Q c X~(Q{U{Q)XO X, Q, U, R c (X{Q~R)~UXO X, Q, U, S c (X{Q{S)~UXO X, Q, U, U c X~(U|Q{U)XO X, Q, U, V c X~(UQ{V)XO X, Q, U, W c (X|Q{W)~UXO X, Q, U, X c (X~U|X)~QXO X, Q, V, P c X~(Q{V{P)XO X, Q, V, Q c (X~Q)~(V|Q)XO X, Q, V, S c X~(Q~V|S)XO X, Q, V, T c (X{Q{V)~TXO X, Q, V, U c X~(V{UQ)XO X, Q, V, X c X{(Q{V)~XXO X, Q, W, O c X~(Q{W){OXO X, Q, W, P c X~(Q{W)~PXO X, Q, W, Q c (X{Q)~W{QXO X, Q, W, R c (X~Q)~(W|R)XO X, Q, W, S c X~(W|Q{S)XO X, Q, W, U c (X|Q{W)~UXO X, Q, W, X c X~Q{W~XXO X, Q, X, P c X~(Q{X|P)XO X, Q, X, Q c (X{QQ)~XXO X, Q, X, R c (X|Q{R)~XXO X, Q, X, S c (X~Q)~(X|S)XO X, Q, X, U c (X~U|X)~QXO X, Q, X, V c X{(Q{V)~XXO X, Q, X, W c X~Q{X~WXO X, Q, X, X c (X{Q)~X|XXO X, R, O, V c X~(R{O{V)XO X, R, P, R c X~(R~R{P)XO X, R, P, T c X~(R|P)~TXO X, R, P, U c X~(R{P{U)XO X, R, P, V c X~(R{P~V)XO X, R, P, W c X~(R|P{W)XO X, R, Q, Q c X~(R{Q)~QXO X, R, Q, S c X~(R~Q{S)XO X, R, Q, T c X~(R{Q{T)XO X, R, Q, U c (X{R~Q)~UXO X, R, Q, W c (X~Q)~(W|R)XO X, R, Q, X c (X{R|Q)~XXO X, R, R, P c X~(R~R{P)XO X, R, R, R c (X~R{R)~RXO X, R, R, S c X~(R{R{S)XO X, R, R, T c (X{R~R)~TXO X, R, R, U c (X{R{R)~UXO X, R, R, V c (X{R~V)~RXO X, R, R, X c X{R~R~XXO X, R, S, Q c X~(R~S|Q)XO X, R, S, R c X~(R{S{R)XO X, R, S, U c (X|S)~(R~U)XO X, R, S, X c (X|R{S)~XXO X, R, T, P c X~(R|P)~TXO X, R, T, Q c X~(R{T{Q)XO X, R, T, R c (X|R)~(T~R)XO X, R, T, T c X~(R~T|T)XO X, R, T, U c XR~T~UXO X, R, T, W c X~(T|R{W)XO X, R, T, X c (X~R|X)~TXO X, R, U, P c X~(R{U{P)XO X, R, U, Q c (X{R~Q)~UXO X, R, U, R c (X{R{R)~UXO X, R, U, S c (X|S)~(R~U)XO X, R, U, T c (X{R{U)~TXO X, R, U, V c (X{R)~V{UXO X, R, U, W c X~(R~U|W)XO X, R, U, X c X{(R{U)~XXO X, R, V, O c X~(R{V){OXO X, R, V, P c X~(R{V)~PXO X, R, V, R c (X{R~V)~RXO X, R, V, U c (X{R)~V{UXO X, R, V, W c (X|R)~(V{W)XO X, R, V, X c X~R{V~XXO X, R, W, P c X~(R{W|P)XO X, R, W, Q c X~(W|R)~QXO X, R, W, T c X~(W|R{T)XO X, R, W, U c (X{R)~W|UXO X, R, W, V c (X|R)~(W{V)XO X, R, W, X c X~(R{W)|XXO X, R, X, Q c X~(R{X|Q)XO X, R, X, R c X{R~X~RXO X, R, X, S c (X|R{S)~XXO X, R, X, T c (X~R|X)~TXO X, R, X, U c (X|R{X)~UXO X, R, X, V c X~R{X~VXO X, R, X, W c X~(R{W)|XXO X, S, O, U c X~(S{O{U)XO X, S, P, Q c X~(S{P)~QXO X, S, P, T c X~(S{P{T)XO X, S, P, U c X~(S{P~U)XO X, S, P, V c X~(S|P{V)XO X, S, P, X c (X{X)~(S{P)XO X, S, Q, P c X~(S{P)~QXO X, S, Q, Q c X~(S~Q{Q)XO X, S, Q, R c X~(S{Q~R)XO X, S, Q, S c X~(S{Q{S)XO X, S, Q, T c X~(S|Q)~TXO X, S, Q, U c (X{S{Q)~UXO X, S, Q, V c X~(Q~V|S)XO X, S, Q, W c X~(S|Q{W)XO X, S, Q, X c (X|S)~(Q~X)XO X, S, R, Q c X~(S{R~Q)XO X, S, R, R c X~(S{R{R)XO X, S, R, U c (X|S)~(R~U)XO X, S, R, X c (X{S|R)~XXO X, S, S, Q c X~(S{S{Q)XO X, S, S, U c X~(S~S|U)XO X, S, S, X c (X{SS)~XXO X, S, T, P c X~(S{T{P)XO X, S, T, Q c X~S~TQXO X, S, T, T c (X{S{T)~TXO X, S, T, U c (X~T)~(U|S)XO X, S, T, W c XS~T~WXO X, S, T, X c X{(S{T)~XXO X, S, U, O c X~(S{U){OXO X, S, U, P c X~(S{U)~PXO X, S, U, Q c (X{S{Q)~UXO X, S, U, R c (X|S)~(U~R)XO X, S, U, S c X~(S~S|U)XO X, S, U, T c X~(U|S)~TXO X, S, U, U c (S~U|X)~UXO X, S, U, W c X~(U|S{W)XO X, S, U, X c X~S{U~XXO X, S, V, P c (X{S)~V|PXO X, S, V, Q c X~(V~Q|S)XO X, S, V, V c X~(V|S{V)XO X, S, V, X c X~(S{V)|XXO X, S, W, Q c X~(S{W|Q)XO X, S, W, T c XS~W~TXO X, S, W, U c X~(W|S{U)XO X, S, W, W c X~(WS{W)XO X, S, W, X c (XS{X)~WXO X, S, X, P c (X{X)~(S{P)XO X, S, X, Q c (X{S~X)~QXO X, S, X, R c X~(S{X|R)XO X, S, X, S c (X{SS)~XXO X, S, X, T c X{(S{T)~XXO X, S, X, U c X~S{X~UXO X, S, X, V c X~(S{V)|XXO X, S, X, W c (XS{X)~WXO X, S, X, X c (X|S)~(X{X)XO X, T, O, Q c (X~T{O)~QXO X, T, O, T c X~(T{O{T)XO X, T, O, X c (X{O{X)~TXO X, T, P, P c (X~T)~(P{P)XO X, T, P, Q c X~T~P~QXO X, T, P, R c (X~T)~(R|P)XO X, T, P, S c X~(T{P{S)XO X, T, P, T c X~(T{P~T)XO X, T, P, U c (X{T{P)~UXO X, T, P, W c (X{P{W)~TXO X, T, P, X c (X{P~X)~TXO X, T, Q, O c X~T~Q{OXO X, T, Q, P c X~T~Q~PXO X, T, Q, R c X~(T{Q{R)XO X, T, Q, S c X~TQ~SXO X, T, Q, V c X~(T|Q{V)XO X, T, R, P c (X~T)~(R|P)XO X, T, R, Q c X~(T{R{Q)XO X, T, R, R c (X|R)~(T~R)XO X, T, R, T c X~(T|R)~TXO X, T, R, U c X~TR~UXO X, T, R, W c X~(T|R{W)XO X, T, R, X c (X~R|X)~TXO X, T, S, P c X~(T{S{P)XO X, T, S, Q c (X~T)~(S|Q)XO X, T, S, T c (X{T{S)~TXO X, T, S, U c (X~T)~(U|S)XO X, T, S, W c X~TS~WXO X, T, S, X c X{(T{S)~XXO X, T, T, O c X~(T{T){OXO X, T, T, P c X~(T{T)~PXO X, T, T, R c (X~T)~(T|R)XO X, T, T, S c (X{T{S)~TXO X, T, T, V c (X~T)~(V|T)XO X, T, T, W c (X{W)~T{TXO X, T, T, X c (X{TT)~XXO X, T, U, P c X~(T{U|P)XO X, T, U, R c X~T~URXO X, T, U, S c (X~T)~(U|S)XO X, T, U, U c (X{T)~U{UXO X, T, U, W c (X~T)~(W|U)XO X, T, U, X c (X|T{U)~XXO X, T, V, Q c X~(T{V|Q)XO X, T, V, T c (X~T)~(V|T)XO X, T, V, W c (X{T)~V|WXO X, T, V, X c (X~T)~(X|V)XO X, T, W, P c (X{W{P)~TXO X, T, W, R c X~(T{W|R)XO X, T, W, S c X~T~WSXO X, T, W, T c (X{W)~T{TXO X, T, W, U c (X~T)~(W|U)XO X, T, W, V c (X{T)~V|WXO X, T, X, O c (X{X)~(T{O)XO X, T, X, P c (X{X)~(T~P)XO X, T, X, R c (X~R|X)~TXO X, T, X, S c X~(T{X|S)XO X, T, X, T c X~T{X~TXO X, T, X, U c (X|T{U)~XXO X, T, X, V c (X~T)~(X|V)XO X, U, O, S c X~(U{O{S)XO X, U, O, U c (X{U{O)~UXO X, U, P, Q c X~(U|P)~QXO X, U, P, R c X~(U{P{R)XO X, U, P, S c X~(U{P~S)XO X, U, P, T c (X{U)~(P{T)XO X, U, P, U c (X{U)~(P~U)XO X, U, P, V c (X{U)~(V|P)XO X, U, P, X c (X{X)~(U|P)XO X, U, Q, P c X~(U|P)~QXO X, U, Q, Q c X~(U{Q{Q)XO X, U, Q, R c (X{U)~(Q~R)XO X, U, Q, S c (X{U)~(Q{S)XO X, U, Q, U c X~(U|Q{U)XO X, U, Q, V c X~(UQ{V)XO X, U, Q, W c (X{U)~(W|Q)XO X, U, Q, X c (X~U|X)~QXO X, U, R, P c X~(U{R{P)XO X, U, R, Q c (X{U)~(R~Q)XO X, U, R, R c (X{U)~(R{R)XO X, U, R, S c (X|S)~(U~R)XO X, U, R, T c (X{U{R)~TXO X, U, R, V c X~(U|R{V)XO X, U, R, W c X~(U~R|W)XO X, U, R, X c X{(U{R)~XXO X, U, S, O c X~(U{S){OXO X, U, S, P c X~(U{S)~PXO X, U, S, Q c (X{U)~(S{Q)XO X, U, S, R c (X|S)~(U~R)XO X, U, S, S c X~(S~S|U)XO X, U, S, T c X~(U|S)~TXO X, U, S, U c (U~S|X)~UXO X, U, S, W c X~(U|S{W)XO X, U, S, X c X~U{S~XXO X, U, T, P c (X{U)~(T{P)XO X, U, T, R c X~U~TRXO X, U, T, S c X~(U|S)~TXO X, U, T, U c (X|U)~(T~U)XO X, U, T, W c (X~T)~(W|U)XO X, U, T, X c (X{U|T)~XXO X, U, U, O c (X{U)~(U{O)XO X, U, U, P c (X{U)~(U~P)XO X, U, U, Q c (X{U~U)~QXO X, U, U, S c U~(U~S|X)XO X, U, U, T c (X|U)~(U~T)XO X, U, U, U c X~U{U~UXO X, U, U, V c (X{V)~U|UXO X, U, U, X c (X{UU)~XXO X, U, V, P c (X{U)~(V|P)XO X, U, V, Q c X~(UQ{V)XO X, U, V, R c X~(U{V|R)XO X, U, V, U c (X{V)~U|UXO X, U, V, X c (X|U{V)~XXO X, U, W, Q c (X{U)~(W|Q)XO X, U, W, R c X~(U~R|W)XO X, U, W, S c X~(U{W|S)XO X, U, W, T c X~(W|U)~TXO X, U, W, W c X~(W|U{W)XO X, U, X, P c (X{X)~(U|P)XO X, U, X, Q c (X~U|X)~QXO X, U, X, R c (X{U)~(X|R)XO X, U, X, S c X~U{X~SXO X, U, X, T c X~(U{X|T)XO X, U, X, U c (X{UU)~XXO X, U, X, V c (X|U{V)~XXO X, V, O, R c X~(V{O{R)XO X, V, P, Q c X~(V{P{Q)XO X, V, P, R c X~(V{P~R)XO X, V, P, S c X~(V|P{S)XO X, V, P, U c (X{V|P)~UXO X, V, Q, P c X~(V{Q{P)XO X, V, Q, Q c X~(V|Q)~QXO X, V, Q, S c X~(V~Q|S)XO X, V, Q, T c (X{V{Q)~TXO X, V, Q, U c X~(V{UQ)XO X, V, Q, X c X{(V{Q)~XXO X, V, R, O c X~(V{R){OXO X, V, R, P c X~(V{R)~PXO X, V, R, R c (X{V~R)~RXO X, V, R, U c X~(V|R{U)XO X, V, R, W c (X|R)~(V{W)XO X, V, R, X c X~V{R~XXO X, V, S, P c X~(V{S|P)XO X, V, S, Q c X~(V~Q|S)XO X, V, S, V c X~(V|S{V)XO X, V, S, X c X~(V{S)|XXO X, V, T, Q c X~(V{T|Q)XO X, V, T, T c X~(V|T)~TXO X, V, T, W c X~(V|T{W)XO X, V, T, X c (X|V)~(T~X)XO X, V, U, P c (X{V|P)~UXO X, V, U, Q c X~(V{UQ)XO X, V, U, R c X~(V{U|R)XO X, V, U, U c (X{V)~U|UXO X, V, U, X c (X{V|U)~XXO X, V, V, S c X~(V{V|S)XO X, V, V, X c (X{VV)~XXO X, V, W, R c (X|R)~(V{W)XO X, V, W, T c X~(V{W|T)XO X, V, W, X c (X|V{W)~XXO X, V, X, Q c X{(V{Q)~XXO X, V, X, R c X~V{X~RXO X, V, X, S c X~(V{S)|XXO X, V, X, T c (X|V)~(X~T)XO X, V, X, U c X~(V{X|U)XO X, V, X, V c (X{VV)~XXO X, V, X, W c (X|V{W)~XXO X, W, O, Q c X~(W{O{Q)XO X, W, P, P c X~(W{P{P)XO X, W, P, Q c X~(W{P~Q)XO X, W, P, R c X~(W|P{R)XO X, W, P, T c (X{W{P)~TXO X, W, P, X c X{(W{P)~XXO X, W, Q, O c X~(W{Q){OXO X, W, Q, P c X~(W{Q)~PXO X, W, Q, Q c (X{Q)~W{QXO X, W, Q, R c X~(W|R)~QXO X, W, Q, S c X~(W|Q{S)XO X, W, Q, U c (X{W|Q)~UXO X, W, Q, X c X~W{Q~XXO X, W, R, P c X~(W{R|P)XO X, W, R, Q c X~(W|R)~QXO X, W, R, T c X~(W|R{T)XO X, W, R, U c X~W{R~UXO X, W, R, V c (X|R)~(W{V)XO X, W, R, X c X~(W{R)|XXO X, W, S, Q c X~(W{S|Q)XO X, W, S, T c X~WS~TXO X, W, S, U c X~(W|S{U)XO X, W, S, W c X~(WS{W)XO X, W, S, X c (XS{X)~WXO X, W, T, P c (X{W{P)~TXO X, W, T, R c X~(W{T|R)XO X, W, T, S c X~W~TSXO X, W, T, T c (X{W)~T{TXO X, W, T, U c X~(W|U)~TXO X, W, T, V c X~(W|T{V)XO X, W, U, Q c (X{W|Q)~UXO X, W, U, R c X~W{U~RXO X, W, U, S c X~(W{U|S)XO X, W, U, T c X~(W|U)~TXO X, W, U, W c X~(W|U{W)XO X, W, V, R c (X|R)~(W{V)XO X, W, V, T c X~(W{V|T)XO X, W, V, X c (X{W|V)~XXO X, W, W, S c X~(W{WS)XO X, W, W, U c X~(W{W|U)XO X, W, W, X c (X{WW)~XXO X, W, X, P c X{(W{P)~XXO X, W, X, Q c X~W{X~QXO X, W, X, R c X~(W{R)|XXO X, W, X, S c (X{XS)~WXO X, W, X, V c X~(W{X|V)XO X, W, X, W c (X{WW)~XXO X, W, X, X c X{W~X{XXO X, X, O, P c X~(X{O{P)XO X, X, O, T c (X{X{O)~TXO X, X, O, X c X{(X{O)~XXO X, X, P, O c X~(X{P){OXO X, X, P, P c X~(X{P)~PXO X, X, P, Q c X~(X|P{Q)XO X, X, P, S c (X{X)~(P{S)XO X, X, P, T c (X{X)~(P~T)XO X, X, P, U c (X{X)~(U|P)XO X, X, P, W c X{X~(P{W)XO X, X, P, X c X{X~P~XXO X, X, Q, P c X~(X{Q|P)XO X, X, Q, Q c X~(X{QQ)XO X, X, Q, R c (X{X)~(Q{R)XO X, X, Q, S c (X{X~S)~QXO X, X, Q, U c (X~U|X)~QXO X, X, Q, V c X{X~(Q{V)XO X, X, Q, W c X~(X~Q|W)XO X, X, Q, X c X~(X{Q)|XXO X, X, R, Q c (X{X)~(R{Q)XO X, X, R, R c X{X~R~RXO X, X, R, S c X~(X|R{S)XO X, X, R, T c (X~R|X)~TXO X, X, R, U c (X{X|R)~UXO X, X, R, V c X~(XR{V)XO X, X, R, W c (X{X)~(W|R)XO X, X, S, P c (X{X)~(S{P)XO X, X, S, Q c (X{X~S)~QXO X, X, S, R c X~(X{S|R)XO X, X, S, S c X~(X{SS)XO X, X, S, T c X{X~(S{T)XO X, X, S, U c X~S{X~UXO X, X, S, V c X~(S{V)|XXO X, X, S, W c (X{XS)~WXO X, X, S, X c (X{X)~(X|S)XO X, X, T, O c (X{X)~(T{O)XO X, X, T, P c (X{X)~(T~P)XO X, X, T, R c (X~R|X)~TXO X, X, T, S c X{X~(T{S)XO X, X, T, T c X~(X{TT)XO X, X, T, U c X~(X|T{U)XO X, X, T, V c X~(X|V)~TXO X, X, U, P c (X{X)~(U|P)XO X, X, U, Q c (X~U|X)~QXO X, X, U, R c X{X~(U{R)XO X, X, U, S c X~U{X~SXO X, X, U, T c X~(X{U|T)XO X, X, U, U c X~(X{UU)XO X, X, U, V c X~(X|U{V)XO X, X, V, Q c X{X~(V{Q)XO X, X, V, R c X~(XR{V)XO X, X, V, S c X~(V{S)|XXO X, X, V, T c X~(X|V)~TXO X, X, V, U c X~(X{V|U)XO X, X, V, V c X~(X{VV)XO X, X, V, W c X~(X|V{W)XO X, X, W, P c X{X~(W{P)XO X, X, W, Q c X~(X~Q|W)XO X, X, W, R c (X{X)~(W|R)XO X, X, W, S c (X{XS)~WXO X, X, W, V c X~(X{W|V)XO X, X, W, W c X~(X{WW)XO X, X, W, X c X{X{W~XXO X, X, X, O c X{X~X{OXO X, X, X, P c X{X~X~PXO X, X, X, Q c X~(X{Q)|XXO X, X, X, S c (X{X)~(X|S)XO X, X, X, W c X{X{X~WXO X, X, X, X c (X{XX)~XXO