O, S, V, X c (O{S{X)~VXP O, S, X, V c (O{S{X)~VXP O, T, V, W c (O{T{W)~VXP O, T, W, V c (O{T{W)~VXP O, U, V, V c (O{U{V)~VXP O, V, S, X c (O{V)~(S{X)XP O, V, T, W c (O{V)~(T{W)XP O, V, U, V c (O{V{U)~VXP O, V, V, U c (O{V)~(V{U)XP O, V, W, T c (O{V)~(W{T)XP O, V, X, S c (O{V)~(X{S)XP O, W, T, V c (O{W{T)~VXP O, W, V, T c (O{W{T)~VXP O, X, S, V c (O{X{S)~VXP O, X, V, S c (O{X{S)~VXP P, P, X, X c P{(P{X)~XXP P, Q, T, X c P{Q~T~XXP P, Q, U, V c (P{Q~U)~VXP P, Q, V, U c (P{Q~U)~VXP P, Q, V, V c (Q~V|P)~VXP P, Q, W, X c P{(Q{W)~XXP P, Q, X, T c P{Q~X~TXP P, Q, X, W c P{(Q{W)~XXP P, R, S, V c (P{R~S)~VXP P, R, T, U c P{R~T~UXP P, R, U, T c P{R~U~TXP P, R, V, S c (P{R~S)~VXP P, R, V, X c P{(R{V)~XXP P, R, X, V c (P{R{X)~VXP P, S, R, V c (P{S~R)~VXP P, S, U, X c P{(S{U)~XXP P, S, V, R c (P{S~R)~VXP P, S, V, W c (P{S{W)~VXP P, S, V, X c (P~S{X)~VXP P, S, W, V c (P{S{W)~VXP P, S, W, X c (S{X)~(W|P)XP P, S, X, U c P{(S{U)~XXP P, S, X, V c (P~S{X)~VXP P, S, X, W c (S{X)~(W|P)XP P, T, Q, X c P{T~Q~XXP P, T, R, U c P{T~R~UXP P, T, T, X c P{(T{T)~XXP P, T, U, R c P{T~U~RXP P, T, U, W c (P{U)~(T{W)XP P, T, V, V c (P{T{V)~VXP P, T, V, W c (P~T{W)~VXP P, T, V, X c (T|P{X)~VXP P, T, W, U c (P{U)~(T{W)XP P, T, W, V c (P~T{W)~VXP P, T, W, W c (T{W)~(W|P)XP P, T, X, Q c P{T~X~QXP P, T, X, T c P{(T{T)~XXP P, T, X, V c (T|P{X)~VXP P, T, X, X c P{T~(X{X)XP P, U, Q, V c (P{U~Q)~VXP P, U, R, T c P{U~R~TXP P, U, S, X c P{(U{S)~XXP P, U, T, R c P{U~T~RXP P, U, T, W c (P{U)~(T{W)XP P, U, U, V c (P{U{U)~VXP P, U, U, X c P{U~(U{X)XP P, U, V, Q c (P{U~Q)~VXP P, U, V, U c (P{U)~(V{U)XP P, U, V, V c (P~U{V)~VXP P, U, V, W c P{U~(V{W)XP P, U, W, T c (P{U)~(W{T)XP P, U, W, V c P{U~(W{V)XP P, U, X, S c (P{U)~(X{S)XP P, U, X, U c P{(U{X)~UXP P, V, Q, U c (P{Q~U)~VXP P, V, Q, V c (V~Q|P)~VXP P, V, R, S c (P{R~S)~VXP P, V, R, X c P{(V{R)~XXP P, V, S, R c (P{S~R)~VXP P, V, S, W c (P{S{W)~VXP P, V, S, X c (P~V)~(S{X)XP P, V, T, V c (P{V{T)~VXP P, V, T, W c (P~V)~(T{W)XP P, V, T, X c V~(T|P{X)XP P, V, U, Q c (P{U~Q)~VXP P, V, U, U c (P{U)~(V{U)XP P, V, U, V c (P~V{U)~VXP P, V, U, W c P{(V{W)~UXP P, V, V, Q c V~(V~Q|P)XP P, V, V, T c (P{V{T)~VXP P, V, V, U c (P~V)~(V{U)XP P, V, V, V c (V|P{V)~VXP P, V, W, S c (P{W{S)~VXP P, V, W, T c (P~V)~(W{T)XP P, V, W, U c P{(V{W)~UXP P, V, X, R c P{(V{R)~XXP P, V, X, S c (P~V)~(X{S)XP P, V, X, T c V~(X|P{T)XP P, W, Q, X c P{(W{Q)~XXP P, W, S, V c (P{W{S)~VXP P, W, S, X c (W|P)~(S{X)XP P, W, T, U c (P{U)~(W{T)XP P, W, T, V c (P~W{T)~VXP P, W, T, W c (W|P)~(T{W)XP P, W, U, T c (P{U)~(W{T)XP P, W, U, V c P{(W{V)~UXP P, W, V, S c (P{W{S)~VXP P, W, V, T c (P~W{T)~VXP P, W, V, U c P{(W{V)~UXP P, W, W, T c (W|P)~(W{T)XP P, W, X, Q c P{(W{Q)~XXP P, W, X, S c (W|P)~(X{S)XP P, X, P, X c P{(X{P)~XXP P, X, Q, T c P{X~Q~TXP P, X, Q, W c P{X~(Q{W)XP P, X, R, V c (P{X{R)~VXP P, X, S, U c P{X~(S{U)XP P, X, S, V c (P~X{S)~VXP P, X, S, W c (X{S)~(W|P)XP P, X, T, Q c P{X~T~QXP P, X, T, T c P{X~(T{T)XP P, X, T, V c (X|P{T)~VXP P, X, T, X c P{(X{X)~TXP P, X, U, S c P{X~(U{S)XP P, X, U, U c P{(X{U)~UXP P, X, V, R c P{X~(V{R)XP P, X, V, S c (P~X{S)~VXP P, X, V, T c (X|P{T)~VXP P, X, W, Q c P{X~(W{Q)XP P, X, W, S c (X{S)~(W|P)XP P, X, X, P c (P{X)~X{PXP P, X, X, T c P{(X{X)~TXP P, X, X, X c P{X{X~XXP Q, P, T, X c Q~T~X{PXP Q, P, U, V c (Q~U{P)~VXP Q, P, V, U c (Q~U{P)~VXP Q, P, V, V c (Q~V|P)~VXP Q, P, W, X c (Q{W)~X{PXP Q, P, X, T c Q~X~T{PXP Q, P, X, W c (Q{W)~X{PXP Q, Q, V, X c (Q{Q{X)~VXP Q, Q, X, V c (Q{Q{X)~VXP Q, R, T, V c (Q~T{R)~VXP Q, R, V, T c (Q~T{R)~VXP Q, R, V, V c (Q~R{V)~VXP Q, R, V, W c (Q{R{W)~VXP Q, R, W, V c (Q{R{W)~VXP Q, R, W, X c (Q{X)~W{RXP Q, R, X, W c (Q{X)~W{RXP Q, S, T, V c (Q~S{T)~VXP Q, S, T, X c (Q{T)~(S{X)XP Q, S, V, T c (Q~S{T)~VXP Q, S, V, V c (Q{S{V)~VXP Q, S, X, T c (Q{T)~(S{X)XP Q, S, X, X c (S{X)~(X|Q)XP Q, T, P, X c Q~T~X{PXP Q, T, R, V c (Q~T{R)~VXP Q, T, S, V c (Q~S{T)~VXP Q, T, S, X c (Q{T)~(S{X)XP Q, T, T, W c (Q{T)~(T{W)XP Q, T, U, V c (Q{T{U)~VXP Q, T, U, W c Q~U~W|TXP Q, T, V, R c (Q~T{R)~VXP Q, T, V, S c (Q~S{T)~VXP Q, T, V, U c (Q{T)~(V{U)XP Q, T, V, X c (Q~X|T)~VXP Q, T, W, T c (Q{T)~(W{T)XP Q, T, W, U c Q~W~U|TXP Q, T, W, X c (T{W)~(X|Q)XP Q, T, X, P c Q~T~X{PXP Q, T, X, S c (Q{T)~(X{S)XP Q, T, X, V c (Q~X|T)~VXP Q, T, X, W c (T{W)~(X|Q)XP Q, T, X, X c Q~T{X~XXP Q, U, P, V c (Q~U{P)~VXP Q, U, T, V c (Q{U{T)~VXP Q, U, T, W c Q~U~W|TXP Q, U, V, P c (Q~U{P)~VXP Q, U, V, T c (Q{U{T)~VXP Q, U, V, V c Q~U~V{VXP Q, U, V, X c (U|Q{X)~VXP Q, U, W, T c Q~U~W|TXP Q, U, X, V c (U|Q{X)~VXP Q, V, P, U c (Q~U{P)~VXP Q, V, P, V c (Q~V|P)~VXP Q, V, Q, X c (Q{Q{X)~VXP Q, V, R, T c (Q~T{R)~VXP Q, V, R, V c (Q~R{V)~VXP Q, V, R, W c (Q{R{W)~VXP Q, V, S, T c (Q~S{T)~VXP Q, V, S, V c (Q{V{S)~VXP Q, V, T, R c (Q~T{R)~VXP Q, V, T, S c (Q~S{T)~VXP Q, V, T, U c (Q{T)~(V{U)XP Q, V, T, X c (Q~X|T)~VXP Q, V, U, P c (Q~U{P)~VXP Q, V, U, T c (Q{U{T)~VXP Q, V, U, V c Q~V~U{VXP Q, V, U, X c V~(U|Q{X)XP Q, V, V, P c (Q~V|P)~VXP Q, V, V, R c (Q~R{V)~VXP Q, V, V, S c (Q{V{S)~VXP Q, V, V, U c Q~V~U{VXP Q, V, V, V c Q~V~V|VXP Q, V, V, W c (V|Q{W)~VXP Q, V, W, R c (Q{W{R)~VXP Q, V, W, V c (V|Q{W)~VXP Q, V, W, X c V~(WQ{X)XP Q, V, X, Q c (Q{X{Q)~VXP Q, V, X, T c (Q~X|T)~VXP Q, V, X, U c V~(X|Q{U)XP Q, V, X, W c V~(X{WQ)XP Q, W, P, X c (Q{W)~X{PXP Q, W, R, V c (Q{W{R)~VXP Q, W, R, X c (Q{X)~W{RXP Q, W, T, T c (Q{T)~(W{T)XP Q, W, T, U c Q~W~U|TXP Q, W, T, X c (W{T)~(X|Q)XP Q, W, U, T c Q~W~U|TXP Q, W, V, R c (Q{W{R)~VXP Q, W, V, V c (W|Q{V)~VXP Q, W, V, X c (WQ{X)~VXP Q, W, X, P c (Q{W)~X{PXP Q, W, X, R c (Q{X)~W{RXP Q, W, X, T c (W{T)~(X|Q)XP Q, W, X, V c (WQ{X)~VXP Q, W, X, X c Q{W{X~XXP Q, X, P, T c Q~X~T{PXP Q, X, P, W c (Q{W)~X{PXP Q, X, Q, V c (Q{X{Q)~VXP Q, X, R, W c (Q{X)~W{RXP Q, X, S, T c (Q{T)~(X{S)XP Q, X, S, X c (X|Q)~(S{X)XP Q, X, T, P c Q~X~T{PXP Q, X, T, S c (Q{T)~(X{S)XP Q, X, T, V c (Q~X|T)~VXP Q, X, T, W c (X|Q)~(T{W)XP Q, X, T, X c Q~T{X~XXP Q, X, U, V c (X|Q{U)~VXP Q, X, V, Q c (Q{X{Q)~VXP Q, X, V, T c (Q~X|T)~VXP Q, X, V, U c (X|Q)~(V{U)XP Q, X, V, W c (X{WQ)~VXP Q, X, W, P c (Q{W)~X{PXP Q, X, W, R c (Q{X)~W{RXP Q, X, W, T c (X|Q)~(W{T)XP Q, X, W, V c (X{WQ)~VXP Q, X, W, X c Q{X~X{WXP Q, X, X, S c (X|Q)~(X{S)XP Q, X, X, T c Q~T{X~XXP Q, X, X, W c Q{X~X{WXP R, P, S, V c (R~S{P)~VXP R, P, T, U c R~T~U{PXP R, P, U, T c R~U~T{PXP R, P, V, S c (R~S{P)~VXP R, P, V, X c (R{P{X)~VXP R, P, X, V c (R{P{X)~VXP R, Q, T, V c (R{Q~T)~VXP R, Q, V, T c (R{Q~T)~VXP R, Q, V, V c (R~Q{V)~VXP R, Q, V, W c (R{Q{W)~VXP R, Q, W, V c (R{Q{W)~VXP R, Q, W, X c R{(Q{X)~WXP R, Q, X, W c R{(Q{X)~WXP R, R, S, V c (R~R{S)~VXP R, R, V, S c (R~R{S)~VXP R, R, V, V c (R{R{V)~VXP R, R, W, W c R{(R{W)~WXP R, S, P, V c (R~S{P)~VXP R, S, R, V c (R~R{S)~VXP R, S, S, V c (S~S|R)~VXP R, S, S, X c (R{S)~(S{X)XP R, S, T, W c (R{S)~(T{W)XP R, S, U, V c (R{S{U)~VXP R, S, V, P c (R~S{P)~VXP R, S, V, R c (R~R{S)~VXP R, S, V, S c (S~S|R)~VXP R, S, V, U c (R{S)~(V{U)XP R, S, V, V c R~S~V{VXP R, S, V, W c R{(S{V)~WXP R, S, W, T c (R{S)~(W{T)XP R, S, W, V c R{(S{V)~WXP R, S, X, S c (R{S)~(X{S)XP R, T, P, U c R~T~U{PXP R, T, Q, V c (R{T~Q)~VXP R, T, S, W c (R{S)~(T{W)XP R, T, T, V c (R{T{T)~VXP R, T, U, P c R~T~U{PXP R, T, U, V c (R~U|T)~VXP R, T, U, W c R{(T{U)~WXP R, T, V, Q c (R{T~Q)~VXP R, T, V, T c (R{T{T)~VXP R, T, V, U c (R~U|T)~VXP R, T, W, S c R~W~S|TXP R, T, W, U c R{(T{U)~WXP R, T, W, X c (R{X)~W|TXP R, T, X, W c (R{X)~W|TXP R, U, P, T c R~U~T{PXP R, U, S, V c (R{U{S)~VXP R, U, T, P c R~U~T{PXP R, U, T, V c (R~U|T)~VXP R, U, T, W c R{(U{T)~WXP R, U, V, S c (R{U{S)~VXP R, U, V, T c (R~U|T)~VXP R, U, W, T c R{(U{T)~WXP R, V, P, S c (R~S{P)~VXP R, V, P, X c (R{V)~X{PXP R, V, Q, T c (R{Q~T)~VXP R, V, Q, V c (R~Q{V)~VXP R, V, Q, W c (R{Q{W)~VXP R, V, R, S c (R~R{S)~VXP R, V, R, V c (R{V{R)~VXP R, V, S, P c (R~S{P)~VXP R, V, S, R c (R~R{S)~VXP R, V, S, S c V~(S~S|R)XP R, V, S, U c (R{S)~(V{U)XP R, V, S, V c R~V~S{VXP R, V, S, W c R{(V{S)~WXP R, V, T, Q c (R{T~Q)~VXP R, V, T, T c (R{T{T)~VXP R, V, T, U c (R~U|T)~VXP R, V, U, S c (R{U{S)~VXP R, V, U, T c (R~U|T)~VXP R, V, V, Q c (R~Q{V)~VXP R, V, V, R c (R{V{R)~VXP R, V, V, S c R~V~S{VXP R, V, V, W c (R~V|W)~VXP R, V, V, X c (R{X)~V{VXP R, V, W, Q c (R{W{Q)~VXP R, V, W, S c R{(V{S)~WXP R, V, W, V c (R~V|W)~VXP R, V, W, W c V~(W|R{W)XP R, V, X, P c (R{V)~X{PXP R, V, X, V c (R{X)~V{VXP R, V, X, X c R{V{X~XXP R, W, Q, V c (R{W{Q)~VXP R, W, Q, X c R{W~(Q{X)XP R, W, R, W c R{(W{R)~WXP R, W, S, T c R~W~S|TXP R, W, S, V c R{W~(S{V)XP R, W, T, S c R~W~S|TXP R, W, T, U c R{W~(T{U)XP R, W, T, X c (R{X)~W|TXP R, W, U, T c R{W~(U{T)XP R, W, V, Q c (R{W{Q)~VXP R, W, V, S c R{W~(V{S)XP R, W, V, V c (R~V|W)~VXP R, W, V, W c (W|R{W)~VXP R, W, W, R c (R{W)~W{RXP R, W, W, V c (W|R{W)~VXP R, W, W, X c (R{W)~X|WXP R, W, X, Q c R{W~(X{Q)XP R, W, X, T c (R{X)~W|TXP R, W, X, W c (R{W)~X|WXP R, X, P, V c (R{X{P)~VXP R, X, Q, W c R{(X{Q)~WXP R, X, S, S c (R{S)~(X{S)XP R, X, T, W c (R{X)~W|TXP R, X, V, P c (R{X{P)~VXP R, X, V, V c (R{X)~V{VXP R, X, V, X c R{X~X{VXP R, X, W, Q c R{(X{Q)~WXP R, X, W, T c (R{X)~W|TXP R, X, W, W c R~X{W~WXP R, X, X, V c R{X~X{VXP S, O, V, X c (S{O{X)~VXP S, O, X, V c (S{O{X)~VXP S, P, R, V c (S~R{P)~VXP S, P, U, X c (S{U)~X{PXP S, P, V, R c (S~R{P)~VXP S, P, V, W c (S{P{W)~VXP S, P, V, X c (S{P~X)~VXP S, P, W, V c (S{P{W)~VXP S, P, W, X c (S{X)~(W|P)XP S, P, X, U c (S{X)~(P{U)XP S, P, X, V c (S{P~X)~VXP S, P, X, W c (S{X)~(W|P)XP S, Q, T, V c (S~Q{T)~VXP S, Q, T, X c (S{X)~(Q{T)XP S, Q, V, T c (S~Q{T)~VXP S, Q, V, V c (S{Q{V)~VXP S, Q, X, T c (S{X)~(Q{T)XP S, Q, X, X c (S{X)~(X|Q)XP S, R, P, V c (S~R{P)~VXP S, R, R, V c (S{R~R)~VXP S, R, S, V c (S~S|R)~VXP S, R, S, X c (S{R)~(S{X)XP S, R, T, W c (S{R)~(T{W)XP S, R, U, V c (S{R{U)~VXP S, R, V, P c (S~R{P)~VXP S, R, V, R c (S{R~R)~VXP S, R, V, S c (S~S|R)~VXP S, R, V, U c (S{R)~(V{U)XP S, R, V, V c S~R~V{VXP S, R, V, W c (S{V)~W{RXP S, R, W, T c (S{R)~(W{T)XP S, R, W, V c (S{V)~W{RXP S, R, X, S c (S{R)~(X{S)XP S, S, R, V c (S~S|R)~VXP S, S, R, X c (S{R)~(S{X)XP S, S, T, U c S~S~U|TXP S, S, T, V c (S{S{T)~VXP S, S, U, T c S~S~U|TXP S, S, V, R c (S~S|R)~VXP S, S, V, T c (S{S{T)~VXP S, S, X, R c (S{X)~(S{R)XP S, T, Q, V c (S~Q{T)~VXP S, T, Q, X c (S{X)~(T{Q)XP S, T, R, W c (S{R)~(T{W)XP S, T, S, U c S~S~U|TXP S, T, S, V c (S{T{S)~VXP S, T, T, X c S~T~T|XXP S, T, U, S c S~U~S|TXP S, T, V, Q c (S~Q{T)~VXP S, T, V, S c (S{T{S)~VXP S, T, V, V c (S~T|V)~VXP S, T, W, R c S~W~R|TXP S, T, W, W c (S{W)~W|TXP S, T, X, Q c (S{X)~(T{Q)XP S, T, X, T c S~T~T|XXP S, U, P, X c (S{U)~X{PXP S, U, R, V c (S{U{R)~VXP S, U, S, T c S~U~S|TXP S, U, T, S c S~U~S|TXP S, U, V, R c (S{U{R)~VXP S, U, X, P c (S{U)~X{PXP S, U, X, X c S{U{X~XXP S, V, O, X c (S{O{X)~VXP S, V, P, R c (S~R{P)~VXP S, V, P, W c (S{P{W)~VXP S, V, P, X c (S{P~X)~VXP S, V, Q, T c (S~Q{T)~VXP S, V, Q, V c (S{V{Q)~VXP S, V, R, P c (S~R{P)~VXP S, V, R, R c (S{R~R)~VXP S, V, R, S c (S~S|R)~VXP S, V, R, U c (S{R)~(V{U)XP S, V, R, V c S~V~R{VXP S, V, R, W c (S{V)~W{RXP S, V, S, R c (S~S|R)~VXP S, V, S, T c (S{S{T)~VXP S, V, T, Q c (S~Q{T)~VXP S, V, T, S c (S{T{S)~VXP S, V, T, V c (S~T|V)~VXP S, V, U, R c (S{U{R)~VXP S, V, V, Q c (S{V{Q)~VXP S, V, V, R c S~V~R{VXP S, V, V, T c (S~T|V)~VXP S, V, V, W c (S{W)~V{VXP S, V, V, X c S~V{V~XXP S, V, W, P c (S{W{P)~VXP S, V, W, R c (S{V)~W{RXP S, V, W, V c (S{W)~V{VXP S, V, W, X c (S{V)~X|WXP S, V, X, O c (S{X)~(V{O)XP S, V, X, P c (S{X)~(V~P)XP S, V, X, V c S~V{X~VXP S, V, X, W c (S{V)~X|WXP S, W, P, V c (S{W{P)~VXP S, W, P, X c (S{X)~(W|P)XP S, W, R, T c S~W~R|TXP S, W, R, V c (S{V)~W{RXP S, W, T, R c S~W~R|TXP S, W, T, W c (S{W)~W|TXP S, W, V, P c (S{W{P)~VXP S, W, V, R c (S{V)~W{RXP S, W, V, V c (S{W)~V{VXP S, W, V, X c (S{V)~X|WXP S, W, W, T c (S{W)~W|TXP S, W, X, P c (S{X)~(W|P)XP S, W, X, V c (S{V)~X|WXP S, X, O, V c (S{X{O)~VXP S, X, P, U c (S{X)~(P{U)XP S, X, P, V c (S{X)~(P~V)XP S, X, P, W c (S{X)~(W|P)XP S, X, Q, T c (S{X)~(Q{T)XP S, X, Q, X c (S{X)~(X|Q)XP S, X, R, S c (S{X)~(R{S)XP S, X, S, R c (S{X)~(S{R)XP S, X, T, Q c (S{X)~(T{Q)XP S, X, T, T c S~T~T|XXP S, X, U, P c (S{X)~(U{P)XP S, X, U, X c S{X~X{UXP S, X, V, O c (S{X)~(V{O)XP S, X, V, P c (S{X)~(V~P)XP S, X, V, V c S~V{X~VXP S, X, V, W c (S{V)~X|WXP S, X, W, P c (S{X)~(W|P)XP S, X, W, V c (S{V)~X|WXP S, X, X, Q c (S{X)~(X|Q)XP S, X, X, U c S{X~X{UXP T, O, V, W c (T{O{W)~VXP T, O, W, V c (T{O{W)~VXP T, P, Q, X c T~Q~X{PXP T, P, R, U c T~R~U{PXP T, P, T, X c (T{T)~X{PXP T, P, U, R c T~U~R{PXP T, P, U, W c (T{W)~(P{U)XP T, P, V, V c (T{P{V)~VXP T, P, V, W c (T{P~W)~VXP T, P, V, X c (T|P{X)~VXP T, P, W, U c (T{W)~(P{U)XP T, P, W, V c (T{P~W)~VXP T, P, W, W c (T{W)~(W|P)XP T, P, X, Q c T~X~Q{PXP T, P, X, T c (T{T)~X{PXP T, P, X, V c (T|P{X)~VXP T, P, X, X c T~(X{X){PXP T, Q, P, X c T~Q~X{PXP T, Q, R, V c (T~Q{R)~VXP T, Q, S, V c (T{Q~S)~VXP T, Q, S, X c (T{Q)~(S{X)XP T, Q, T, W c (T{Q)~(T{W)XP T, Q, U, V c (T{Q{U)~VXP T, Q, U, W c Q~U~W|TXP T, Q, V, R c (T~Q{R)~VXP T, Q, V, S c (T{Q~S)~VXP T, Q, V, U c (T{Q)~(V{U)XP T, Q, V, X c (Q~X|T)~VXP T, Q, W, T c (T{Q)~(W{T)XP T, Q, W, U c Q~W~U|TXP T, Q, W, X c (T{W)~(X|Q)XP T, Q, X, P c T~Q~X{PXP T, Q, X, S c (T{Q)~(X{S)XP T, Q, X, V c (Q~X|T)~VXP T, Q, X, W c (T{W)~(X|Q)XP T, Q, X, X c T~Q{X~XXP T, R, P, U c T~R~U{PXP T, R, Q, V c (T~R|Q)~VXP T, R, S, W c (T{W)~(R{S)XP T, R, T, V c (T{R{T)~VXP T, R, U, P c T~R~U{PXP T, R, U, V c (R~U|T)~VXP T, R, U, W c (T{U)~W{RXP T, R, V, Q c (T~R|Q)~VXP T, R, V, T c (T{R{T)~VXP T, R, V, U c (R~U|T)~VXP T, R, W, S c (T{W)~(R{S)XP T, R, W, U c (T{U)~W{RXP T, R, W, X c (R{X)~W|TXP T, R, X, W c (R{X)~W|TXP T, S, Q, V c (T{S~Q)~VXP T, S, Q, X c (T{Q)~(S{X)XP T, S, R, W c (T{W)~(S{R)XP T, S, S, U c S~S~U|TXP T, S, S, V c (T{S{S)~VXP T, S, T, X c T~S~T|XXP T, S, U, S c S~U~S|TXP T, S, V, Q c (T{S~Q)~VXP T, S, V, S c (T{S{S)~VXP T, S, V, V c (T~S|V)~VXP T, S, W, R c (T{W)~(S{R)XP T, S, W, W c (S{W)~W|TXP T, S, X, Q c (T{Q)~(S{X)XP T, S, X, T c T~S~T|XXP T, T, P, X c (T{T)~X{PXP T, T, Q, W c (T{Q)~(T{W)XP T, T, R, V c (T{T{R)~VXP T, T, S, X c T~T~S|XXP T, T, V, R c (T{T{R)~VXP T, T, V, W c (T{V)~W|TXP T, T, W, Q c (T{W)~(T{Q)XP T, T, W, V c (T{V)~W|TXP T, T, X, P c (T{T)~X{PXP T, T, X, S c T~T~S|XXP T, T, X, X c T{T{X~XXP T, U, P, R c T~U~R{PXP T, U, P, W c (T{W)~(U{P)XP T, U, Q, V c (T{U{Q)~VXP T, U, Q, W c U~Q~W|TXP T, U, R, P c T~U~R{PXP T, U, R, V c (U~R|T)~VXP T, U, R, W c (T{U)~W{RXP T, U, S, S c U~S~S|TXP T, U, U, W c (U{U)~W|TXP T, U, V, Q c (T{U{Q)~VXP T, U, V, R c (U~R|T)~VXP T, U, V, X c (T{X)~U{VXP T, U, W, P c (T{W)~(U{P)XP T, U, W, Q c U~W~Q|TXP T, U, W, R c (T{U)~W{RXP T, U, W, U c (U{U)~W|TXP T, U, W, W c U~(W{W)|TXP T, U, W, X c (T{U)~X|WXP T, U, X, V c (T{X)~U{VXP T, U, X, W c (T{U)~X|WXP T, V, O, W c (T{O{W)~VXP T, V, P, V c (T{V{P)~VXP T, V, P, W c (T{P~W)~VXP T, V, P, X c (T|P{X)~VXP T, V, Q, R c (T~Q{R)~VXP T, V, Q, S c (T{Q~S)~VXP T, V, Q, U c (T{Q)~(V{U)XP T, V, Q, X c V~(Q~X|T)XP T, V, R, Q c (T~R|Q)~VXP T, V, R, T c (T{R{T)~VXP T, V, R, U c V~(R~U|T)XP T, V, S, Q c (T{S~Q)~VXP T, V, S, S c (T{S{S)~VXP T, V, S, V c (T~S|V)~VXP T, V, T, R c (T{T{R)~VXP T, V, T, W c (T{V)~W|TXP T, V, U, Q c (T{U{Q)~VXP T, V, U, R c V~(U~R|T)XP T, V, U, X c (T{X)~U{VXP T, V, V, P c (T{V{P)~VXP T, V, V, S c (T~S|V)~VXP T, V, V, V c (T{V)~V{VXP T, V, V, W c T~V{V~WXP T, V, V, X c (T{X)~V|VXP T, V, W, O c (T{W)~(V{O)XP T, V, W, P c (T{W)~(V~P)XP T, V, W, T c (T{V)~W|TXP T, V, W, V c T~V{W~VXP T, V, X, P c (T{X|P)~VXP T, V, X, Q c V~(X~Q|T)XP T, V, X, U c (T{X)~U{VXP T, V, X, V c (T{X)~V|VXP T, V, X, X c V~(X|T{X)XP T, W, O, V c (T{W{O)~VXP T, W, P, U c (T{W)~(P{U)XP T, W, P, V c (T{W)~(P~V)XP T, W, P, W c (T{W)~(W|P)XP T, W, Q, T c (T{W)~(Q{T)XP T, W, Q, U c W~Q~U|TXP T, W, Q, X c (T{W)~(X|Q)XP T, W, R, S c (T{W)~(R{S)XP T, W, R, U c (T{U)~W{RXP T, W, R, X c W~(R{X)|TXP T, W, S, R c (T{W)~(S{R)XP T, W, S, W c (W{S)~W|TXP T, W, T, Q c (T{W)~(T{Q)XP T, W, T, V c (T{V)~W|TXP T, W, U, P c (T{W)~(U{P)XP T, W, U, Q c W~U~Q|TXP T, W, U, R c (T{U)~W{RXP T, W, U, U c W~(U{U)|TXP T, W, U, W c (W{W)~U|TXP T, W, U, X c T~(W{X){UXP T, W, V, O c (T{W)~(V{O)XP T, W, V, P c (T{W)~(V~P)XP T, W, V, T c (T{V)~W|TXP T, W, V, V c T~V{W~VXP T, W, W, P c (T{W)~(W|P)XP T, W, W, S c W~(W{S)|TXP T, W, W, U c (W{W)~U|TXP T, W, X, Q c (T{W)~(X|Q)XP T, W, X, R c W~(X{R)|TXP T, W, X, U c T~(W{X){UXP T, X, P, Q c T~X~Q{PXP T, X, P, T c (T{T)~X{PXP T, X, P, V c (T{X|P)~VXP T, X, P, X c T~(X{X){PXP T, X, Q, P c T~X~Q{PXP T, X, Q, S c (T{Q)~(X{S)XP T, X, Q, V c (X~Q|T)~VXP T, X, Q, W c (T{W)~(X|Q)XP T, X, Q, X c T~Q{X~XXP T, X, R, W c (X{R)~W|TXP T, X, S, Q c (T{Q)~(X{S)XP T, X, S, T c T~S~T|XXP T, X, T, P c (T{T)~X{PXP T, X, T, S c T~T~S|XXP T, X, T, X c T{X~X{TXP T, X, U, V c (T{X)~U{VXP T, X, U, W c T~(X{W){UXP T, X, V, P c (T{X|P)~VXP T, X, V, Q c (X~Q|T)~VXP T, X, V, U c (T{X)~U{VXP T, X, V, V c (T{X)~V|VXP T, X, V, X c (X|T{X)~VXP T, X, W, Q c (T{W)~(X|Q)XP T, X, W, R c (X{R)~W|TXP T, X, W, U c T~(X{W){UXP T, X, X, P c T~(X{X){PXP T, X, X, Q c T~Q{X~XXP T, X, X, T c T{X~X{TXP T, X, X, V c (X|T{X)~VXP U, O, V, V c (U{O{V)~VXP U, P, Q, V c (U~Q{P)~VXP U, P, R, T c U~R~T{PXP U, P, S, X c (U{P)~(S{X)XP U, P, T, R c U~T~R{PXP U, P, T, W c (U{P)~(T{W)XP U, P, U, V c (U{P{U)~VXP U, P, U, X c U~(U{X){PXP U, P, V, Q c (U~Q{P)~VXP U, P, V, U c (U{P)~(V{U)XP U, P, V, V c (U{P~V)~VXP U, P, V, W c (U|P{W)~VXP U, P, W, T c (U{P)~(W{T)XP U, P, W, V c (U|P{W)~VXP U, P, X, S c (U{P)~(X{S)XP U, P, X, U c (U{X)~U{PXP U, Q, P, V c (U~Q{P)~VXP U, Q, T, V c (U{Q{T)~VXP U, Q, T, W c U~Q~W|TXP U, Q, V, P c (U~Q{P)~VXP U, Q, V, T c (U{Q{T)~VXP U, Q, V, V c U~Q~V{VXP U, Q, V, X c (U|Q{X)~VXP U, Q, W, T c U~Q~W|TXP U, Q, X, V c (U|Q{X)~VXP U, R, P, T c U~R~T{PXP U, R, S, V c (U{R{S)~VXP U, R, T, P c U~R~T{PXP U, R, T, V c (U~R|T)~VXP U, R, T, W c (U{T)~W{RXP U, R, V, S c (U{R{S)~VXP U, R, V, T c (U~R|T)~VXP U, R, W, T c (U{T)~W{RXP U, S, P, X c (U{S)~X{PXP U, S, R, V c (U{S{R)~VXP U, S, S, T c U~S~S|TXP U, S, T, S c U~S~S|TXP U, S, V, R c (U{S{R)~VXP U, S, X, P c (U{S)~X{PXP U, S, X, X c U{S{X~XXP U, T, P, R c U~T~R{PXP U, T, P, W c (U{P)~(T{W)XP U, T, Q, V c (U{T{Q)~VXP U, T, Q, W c U~Q~W|TXP U, T, R, P c U~T~R{PXP U, T, R, V c (U~R|T)~VXP U, T, R, W c (U{T)~W{RXP U, T, S, S c U~S~S|TXP U, T, U, W c (U{U)~W|TXP U, T, V, Q c (U{T{Q)~VXP U, T, V, R c (U~R|T)~VXP U, T, V, X c U~(T{X){VXP U, T, W, P c (U{P)~(T{W)XP U, T, W, Q c U~W~Q|TXP U, T, W, R c (U{T)~W{RXP U, T, W, U c (U{U)~W|TXP U, T, W, W c U~(W{W)|TXP U, T, W, X c U{T~(W{X)XP U, T, X, V c U~(T{X){VXP U, T, X, W c U{T~(X{W)XP U, U, P, V c (U{U{P)~VXP U, U, P, X c U~(U{X){PXP U, U, T, W c (U{U)~W|TXP U, U, V, P c (U{U{P)~VXP U, U, V, V c (U{U)~V{VXP U, U, V, W c U~(U{W){VXP U, U, W, T c (U{U)~W|TXP U, U, W, V c U~(U{W){VXP U, U, X, P c U~(U{X){PXP U, V, O, V c (U{V{O)~VXP U, V, P, Q c (U~Q{P)~VXP U, V, P, U c (U{V)~(P{U)XP U, V, P, V c (U{V)~(P~V)XP U, V, P, W c (U{V)~(W|P)XP U, V, Q, P c (U~Q{P)~VXP U, V, Q, T c (U{V)~(Q{T)XP U, V, Q, V c U~V~Q{VXP U, V, Q, X c (U{V)~(X|Q)XP U, V, R, S c (U{V)~(R{S)XP U, V, R, T c (U~R|T)~VXP U, V, S, R c (U{V)~(S{R)XP U, V, T, Q c (U{V)~(T{Q)XP U, V, T, R c (U~R|T)~VXP U, V, T, X c U~(V{X)|TXP U, V, U, P c (U{V)~(U{P)XP U, V, U, V c (U{U)~V{VXP U, V, U, W c U~(U{W){VXP U, V, V, O c (U{V)~(V{O)XP U, V, V, P c (U{V)~(V~P)XP U, V, V, Q c U~V~Q{VXP U, V, V, U c (U{U)~V{VXP U, V, V, V c U~(V{V){VXP U, V, V, W c (U{W)~V|VXP U, V, W, P c (U{V)~(W|P)XP U, V, W, U c (U{W)~U{VXP U, V, W, V c (U{W)~V|VXP U, V, X, Q c (U{V)~(X|Q)XP U, V, X, T c U~(V{X)|TXP U, W, P, T c (U{P)~(W{T)XP U, W, P, V c (U{W|P)~VXP U, W, Q, T c U~W~Q|TXP U, W, R, T c (U{T)~W{RXP U, W, T, P c (U{P)~(W{T)XP U, W, T, Q c U~W~Q|TXP U, W, T, R c (U{T)~W{RXP U, W, T, U c (U{U)~W|TXP U, W, T, W c U~(W{W)|TXP U, W, T, X c U{(W{X)~TXP U, W, U, T c (U{U)~W|TXP U, W, U, V c (U{W)~U{VXP U, W, V, P c U~(W{V){PXP U, W, V, U c (U{W)~U{VXP U, W, V, V c (U{W)~V|VXP U, W, W, T c U~(W{W)|TXP U, W, X, T c U{(W{X)~TXP U, X, P, S c (U{P)~(X{S)XP U, X, P, U c (U{X)~U{PXP U, X, Q, V c (U{X|Q)~VXP U, X, S, P c (U{S)~X{PXP U, X, S, X c U{X~X{SXP U, X, T, V c U~(X{T){VXP U, X, T, W c U{(X{W)~TXP U, X, U, P c (U{X)~U{PXP U, X, V, Q c (U{X|Q)~VXP U, X, V, T c U~(X{V)|TXP U, X, W, T c U{(X{W)~TXP U, X, X, S c U{X~X{SXP V, O, S, X c (V{O)~(S{X)XP V, O, T, W c (V{O)~(T{W)XP V, O, U, V c (V{O{U)~VXP V, O, V, U c (V{O)~(V{U)XP V, O, W, T c (V{O)~(W{T)XP V, O, X, S c (V{O)~(X{S)XP V, P, Q, U c V~(P{Q~U)XP V, P, Q, V c (V~Q|P)~VXP V, P, R, S c V~(P{R~S)XP V, P, R, X c V~(P{R{X)XP V, P, S, R c V~(P{S~R)XP V, P, S, W c V~(P{S{W)XP V, P, S, X c (V~P)~(S{X)XP V, P, T, V c (V{P{T)~VXP V, P, T, W c (V~P)~(T{W)XP V, P, T, X c V~(T|P{X)XP V, P, U, Q c V~(P{U~Q)XP V, P, U, U c V~(P{U{U)XP V, P, U, V c (V{P~U)~VXP V, P, U, W c V~(U|P{W)XP V, P, V, Q c V~(V~Q|P)XP V, P, V, T c V~(P{V{T)XP V, P, V, U c (V~P)~(V{U)XP V, P, V, V c (V|P{V)~VXP V, P, W, S c V~(P{W{S)XP V, P, W, T c (V~P)~(W{T)XP V, P, W, U c V~(W|P{U)XP V, P, X, R c V~(P{X{R)XP V, P, X, S c (V~P)~(X{S)XP V, P, X, T c V~(X|P{T)XP V, Q, P, U c V~(Q~U{P)XP V, Q, P, V c (V~Q|P)~VXP V, Q, Q, X c V~(Q{Q{X)XP V, Q, R, T c V~(Q~T{R)XP V, Q, R, V c (V{Q~R)~VXP V, Q, R, W c V~(Q{R{W)XP V, Q, S, T c V~(Q~S{T)XP V, Q, S, V c (V{Q{S)~VXP V, Q, T, R c V~(Q~T{R)XP V, Q, T, S c V~(Q~S{T)XP V, Q, T, U c V~(Q{T{U)XP V, Q, T, X c V~(Q~X|T)XP V, Q, U, P c V~(Q~U{P)XP V, Q, U, T c V~(Q{U{T)XP V, Q, U, V c V{Q~U~VXP V, Q, U, X c V~(U|Q{X)XP V, Q, V, P c V~(Q~V|P)XP V, Q, V, R c (V{Q~R)~VXP V, Q, V, S c V~(Q{V{S)XP V, Q, V, U c V{Q~V~UXP V, Q, V, V c V~Q~V|VXP V, Q, V, W c (V|Q{W)~VXP V, Q, W, R c V~(Q{W{R)XP V, Q, W, V c (V|Q{W)~VXP V, Q, W, X c V~(WQ{X)XP V, Q, X, Q c V~(Q{X{Q)XP V, Q, X, T c V~(Q~X|T)XP V, Q, X, U c V~(X|Q{U)XP V, Q, X, W c V~(X{WQ)XP V, R, P, S c V~(R~S{P)XP V, R, P, X c V~(R{P{X)XP V, R, Q, T c V~(R{Q~T)XP V, R, Q, V c (V{R~Q)~VXP V, R, Q, W c V~(R{Q{W)XP V, R, R, S c V~(R~R{S)XP V, R, R, V c (V{R{R)~VXP V, R, S, P c V~(R~S{P)XP V, R, S, R c V~(R~R{S)XP V, R, S, S c V~(S~S|R)XP V, R, S, U c V~(R{S{U)XP V, R, S, V c V{R~S~VXP V, R, S, W c (V{S)~W{RXP V, R, T, Q c V~(R{T~Q)XP V, R, T, T c V~(R{T{T)XP V, R, T, U c V~(R~U|T)XP V, R, U, S c V~(R{U{S)XP V, R, U, T c V~(R~U|T)XP V, R, V, Q c (V{R~Q)~VXP V, R, V, R c V~(R{V{R)XP V, R, V, S c V{R~V~SXP V, R, V, W c V~(R~V|W)XP V, R, V, X c V{(R{X)~VXP V, R, W, Q c V~(R{W{Q)XP V, R, W, S c (V{S)~W{RXP V, R, W, V c (V~R|W)~VXP V, R, W, W c V~(W|R{W)XP V, R, X, P c (V{R)~X{PXP V, R, X, V c V{(R{X)~VXP V, R, X, X c V{R{X~XXP V, S, O, X c V~(S{O{X)XP V, S, P, R c V~(S~R{P)XP V, S, P, W c V~(S{P{W)XP V, S, P, X c V~(S{P~X)XP V, S, Q, T c V~(S~Q{T)XP V, S, Q, V c (V{S{Q)~VXP V, S, R, P c V~(S~R{P)XP V, S, R, R c V~(S{R~R)XP V, S, R, S c V~(S~S|R)XP V, S, R, U c V~(S{R{U)XP V, S, R, V c V{S~R~VXP V, S, R, W c (V{S)~W{RXP V, S, S, R c V~(S~S|R)XP V, S, S, T c V~(S{S{T)XP V, S, T, Q c V~(S~Q{T)XP V, S, T, S c V~(S{T{S)XP V, S, T, V c V~(S~T|V)XP V, S, U, R c V~(S{U{R)XP V, S, V, Q c V~(S{V{Q)XP V, S, V, R c V{S~V~RXP V, S, V, T c V~(S~T|V)XP V, S, V, W c V{(S{W)~VXP V, S, V, X c V~S{V~XXP V, S, W, P c V~(S{W{P)XP V, S, W, R c (V{S)~W{RXP V, S, W, V c V{(S{W)~VXP V, S, W, X c (V{S)~X|WXP V, S, X, O c V~(S{X){OXP V, S, X, P c V~(S{X)~PXP V, S, X, V c V~S{X~VXP V, S, X, W c (V{S)~X|WXP V, T, O, W c V~(T{O{W)XP V, T, P, V c (V{T{P)~VXP V, T, P, W c V~(T{P~W)XP V, T, P, X c V~(T|P{X)XP V, T, Q, R c V~(T~Q{R)XP V, T, Q, S c V~(T{Q~S)XP V, T, Q, U c V~(T{Q{U)XP V, T, Q, X c V~(Q~X|T)XP V, T, R, Q c V~(T~R|Q)XP V, T, R, T c V~(T{R{T)XP V, T, R, U c V~(R~U|T)XP V, T, S, Q c V~(T{S~Q)XP V, T, S, S c V~(T{S{S)XP V, T, S, V c V~(T~S|V)XP V, T, T, R c V~(T{T{R)XP V, T, T, W c (V{T)~W|TXP V, T, U, Q c V~(T{U{Q)XP V, T, U, R c V~(U~R|T)XP V, T, U, X c V{(T{X)~UXP V, T, V, P c V~(T{V{P)XP V, T, V, S c V~(T~S|V)XP V, T, V, V c V{(T{V)~VXP V, T, V, W c V~T{V~WXP V, T, V, X c V~(T{X)|VXP V, T, W, O c V~(T{W){OXP V, T, W, P c V~(T{W)~PXP V, T, W, T c (V{T)~W|TXP V, T, W, V c V~T{W~VXP V, T, X, P c V~(T{X|P)XP V, T, X, Q c V~(X~Q|T)XP V, T, X, U c V{(T{X)~UXP V, T, X, V c V~(T{X)|VXP V, T, X, X c V~(X|T{X)XP V, U, O, V c (V{U{O)~VXP V, U, P, Q c V~(U~Q{P)XP V, U, P, U c (V{U)~(P{U)XP V, U, P, V c (V{U)~(P~V)XP V, U, P, W c V~(U|P{W)XP V, U, Q, P c V~(U~Q{P)XP V, U, Q, T c (V{U)~(Q{T)XP V, U, Q, V c V{U~Q~VXP V, U, Q, X c V~(U|Q{X)XP V, U, R, S c (V{U)~(R{S)XP V, U, R, T c V~(U~R|T)XP V, U, S, R c (V{U)~(S{R)XP V, U, T, Q c (V{U)~(T{Q)XP V, U, T, R c V~(U~R|T)XP V, U, T, X c V{U~(T{X)XP V, U, U, P c (V{U)~(U{P)XP V, U, U, V c V{(U{U)~VXP V, U, U, W c V{U~(U{W)XP V, U, V, O c (V{U)~(V{O)XP V, U, V, P c (V{U)~(V~P)XP V, U, V, Q c V{U~V~QXP V, U, V, U c V{(U{U)~VXP V, U, V, V c V{U~(V{V)XP V, U, V, W c V~(U{W)|VXP V, U, W, P c (V{U)~(W|P)XP V, U, W, U c V{(U{W)~UXP V, U, W, V c V~(U{W)|VXP V, U, X, Q c (V{U)~(X|Q)XP V, U, X, T c V{U~(X{T)XP V, V, O, U c V~(V{O{U)XP V, V, P, Q c V~(V~Q|P)XP V, V, P, T c V~(V{P{T)XP V, V, P, U c V~(V{P~U)XP V, V, P, V c (V{V|P)~VXP V, V, Q, P c V~(V~Q|P)XP V, V, Q, R c V~(V{Q~R)XP V, V, Q, S c V~(V{Q{S)XP V, V, Q, U c V{V~Q~UXP V, V, Q, V c V~V~Q|VXP V, V, Q, W c V~(V|Q{W)XP V, V, R, Q c V~(V{R~Q)XP V, V, R, R c V~(V{R{R)XP V, V, R, S c V{V~R~SXP V, V, R, W c V~(V~R|W)XP V, V, R, X c V{V~(R{X)XP V, V, S, Q c V~(V{S{Q)XP V, V, S, R c V{V~S~RXP V, V, S, T c V~(S~T|V)XP V, V, S, W c V{V~(S{W)XP V, V, S, X c V~S{V~XXP V, V, T, P c V~(V{T{P)XP V, V, T, S c V~(T~S|V)XP V, V, T, V c V{(V{T)~VXP V, V, T, W c V~T{V~WXP V, V, T, X c V~(T{X)|VXP V, V, U, O c V~(V{U){OXP V, V, U, P c V~(V{U)~PXP V, V, U, Q c V{V~U~QXP V, V, U, U c V{V~(U{U)XP V, V, U, V c (V{V)~U{VXP V, V, U, W c V~(U{W)|VXP V, V, V, P c V~(V{V|P)XP V, V, V, Q c V~V~Q|VXP V, V, V, T c V{V~(V{T)XP V, V, V, U c V{(V{V)~UXP V, V, V, V c (V{V)~V|VXP V, V, W, Q c V~(V{W|Q)XP V, V, W, R c V~(V~R|W)XP V, V, W, S c V{V~(W{S)XP V, V, W, T c V~W{V~TXP V, V, W, U c V~(W{U)|VXP V, V, X, R c V{V~(X{R)XP V, V, X, S c V~X{V~SXP V, V, X, T c V~(X{T)|VXP V, W, O, T c V~(W{O{T)XP V, W, P, S c V~(W{P{S)XP V, W, P, T c V~(W{P~T)XP V, W, P, U c V~(W|P{U)XP V, W, Q, R c V~(W{Q{R)XP V, W, Q, V c (V{W|Q)~VXP V, W, Q, X c V~(WQ{X)XP V, W, R, Q c V~(W{R{Q)XP V, W, R, S c (V{S)~W{RXP V, W, R, V c (V~R|W)~VXP V, W, R, W c V~(W|R{W)XP V, W, S, P c V~(W{S{P)XP V, W, S, R c (V{S)~W{RXP V, W, S, V c V{(W{S)~VXP V, W, S, X c V~(W|S{X)XP V, W, T, O c V~(W{T){OXP V, W, T, P c V~(W{T)~PXP V, W, T, T c (V{T)~W|TXP V, W, T, V c V~W{T~VXP V, W, U, P c (V{W)~U{PXP V, W, U, U c V{(W{U)~UXP V, W, U, V c V~(W{U)|VXP V, W, V, Q c V~(W{V|Q)XP V, W, V, R c V~(V~R|W)XP V, W, V, S c V{(W{S)~VXP V, W, V, T c V~W{V~TXP V, W, V, U c V~(W{U)|VXP V, W, W, R c V~(W{W|R)XP V, W, X, Q c V~(WQ{X)XP V, W, X, S c V~(W{X|S)XP V, X, O, S c V~(X{O{S)XP V, X, P, R c V~(X{P{R)XP V, X, P, S c V~(X{P~S)XP V, X, P, T c V~(X|P{T)XP V, X, Q, Q c V~(X{Q{Q)XP V, X, Q, T c V~(X~Q|T)XP V, X, Q, U c V~(X|Q{U)XP V, X, Q, W c V~(X{WQ)XP V, X, R, P c V~(X{R{P)XP V, X, R, V c V{(X{R)~VXP V, X, R, X c V{X~X{RXP V, X, S, O c V~(X{S){OXP V, X, S, P c V~(X{S)~PXP V, X, S, V c V~X{S~VXP V, X, S, W c V~(X|S{W)XP V, X, T, P c V~(X{T|P)XP V, X, T, Q c V~(X~Q|T)XP V, X, T, U c V{(X{T)~UXP V, X, T, V c V~(X{T)|VXP V, X, T, X c V~(X|T{X)XP V, X, U, Q c V~(X{U|Q)XP V, X, U, T c (V{X)~U|TXP V, X, V, R c V~(X{V|R)XP V, X, V, S c V~X{V~SXP V, X, V, T c V~(X{T)|VXP V, X, W, Q c V~(X{WQ)XP V, X, W, S c V~(X{W|S)XP V, X, X, R c V{X~X{RXP V, X, X, T c V~(X{X|T)XP W, O, T, V c (W{O{T)~VXP W, O, V, T c (W{O{T)~VXP W, P, Q, X c (W{Q)~X{PXP W, P, S, V c (W{P{S)~VXP W, P, S, X c (W|P)~(S{X)XP W, P, T, U c (W{T)~(P{U)XP W, P, T, V c (W{P~T)~VXP W, P, T, W c (W|P)~(T{W)XP W, P, U, T c (W{T)~(P{U)XP W, P, U, V c (W|P{U)~VXP W, P, V, S c (W{P{S)~VXP W, P, V, T c (W{P~T)~VXP W, P, V, U c (W|P)~(V{U)XP W, P, W, T c (W|P)~(W{T)XP W, P, X, Q c (W{Q)~X{PXP W, P, X, S c (W|P)~(X{S)XP W, Q, P, X c (W{Q)~X{PXP W, Q, R, V c (W{Q{R)~VXP W, Q, R, X c W~(Q{X){RXP W, Q, T, T c (W{T)~(Q{T)XP W, Q, T, U c W~Q~U|TXP W, Q, T, X c (W{T)~(X|Q)XP W, Q, U, T c W~Q~U|TXP W, Q, V, R c (W{Q{R)~VXP W, Q, V, V c (W|Q{V)~VXP W, Q, V, X c (WQ{X)~VXP W, Q, X, P c (W{Q)~X{PXP W, Q, X, R c W~(Q{X){RXP W, Q, X, T c (W{T)~(X|Q)XP W, Q, X, V c (WQ{X)~VXP W, Q, X, X c W{Q{X~XXP W, R, Q, V c (W{R{Q)~VXP W, R, Q, X c W~(Q{X){RXP W, R, R, W c (W{R)~W{RXP W, R, S, T c W~R~S|TXP W, R, S, V c W~(S{V){RXP W, R, T, S c W~R~S|TXP W, R, T, U c W~(T{U){RXP W, R, T, X c W~(R{X)|TXP W, R, U, T c W~(U{T){RXP W, R, V, Q c (W{R{Q)~VXP W, R, V, S c W~(V{S){RXP W, R, V, V c (R~V|W)~VXP W, R, V, W c (W|R{W)~VXP W, R, W, R c (W{R)~W{RXP W, R, W, V c (W|R{W)~VXP W, R, W, X c (W{R)~X|WXP W, R, X, Q c W~(X{Q){RXP W, R, X, T c W~(R{X)|TXP W, R, X, W c (W{R)~X|WXP W, S, P, V c (W{S{P)~VXP W, S, P, X c (W|P)~(S{X)XP W, S, R, T c W~S~R|TXP W, S, R, V c W~(S{V){RXP W, S, T, R c W~S~R|TXP W, S, T, W c (W{S)~W|TXP W, S, V, P c (W{S{P)~VXP W, S, V, R c W~(S{V){RXP W, S, V, V c (W{S)~V{VXP W, S, V, X c (W|S{X)~VXP W, S, W, T c (W{S)~W|TXP W, S, X, P c (W|P)~(S{X)XP W, S, X, V c (W|S{X)~VXP W, T, O, V c (W{T{O)~VXP W, T, P, U c (W{T)~(P{U)XP W, T, P, V c (W{T)~(P~V)XP W, T, P, W c (W{T)~(W|P)XP W, T, Q, T c (W{T)~(Q{T)XP W, T, Q, U c W~Q~U|TXP W, T, Q, X c (W{T)~(X|Q)XP W, T, R, S c (W{T)~(R{S)XP W, T, R, U c W~(T{U){RXP W, T, R, X c W~(R{X)|TXP W, T, S, R c (W{T)~(S{R)XP W, T, S, W c (W{S)~W|TXP W, T, T, Q c (W{T)~(T{Q)XP W, T, T, V c W~(T{V)|TXP W, T, U, P c (W{T)~(U{P)XP W, T, U, Q c W~U~Q|TXP W, T, U, R c W~(T{U){RXP W, T, U, U c W~(U{U)|TXP W, T, U, W c (W{W)~U|TXP W, T, U, X c (W{X)~T{UXP W, T, V, O c (W{T)~(V{O)XP W, T, V, P c (W{T)~(V~P)XP W, T, V, T c W~(T{V)|TXP W, T, V, V c W~V{T~VXP W, T, W, P c (W{T)~(W|P)XP W, T, W, S c W~(W{S)|TXP W, T, W, U c (W{W)~U|TXP W, T, X, Q c (W{T)~(X|Q)XP W, T, X, R c W~(X{R)|TXP W, T, X, U c (W{X)~T{UXP W, U, P, T c (W{T)~(U{P)XP W, U, P, V c (W{U|P)~VXP W, U, Q, T c W~U~Q|TXP W, U, R, T c W~(U{T){RXP W, U, T, P c (W{T)~(U{P)XP W, U, T, Q c W~U~Q|TXP W, U, T, R c W~(U{T){RXP W, U, T, U c W~(U{U)|TXP W, U, T, W c (W{W)~U|TXP W, U, T, X c (W{X)~T{UXP W, U, U, T c W~(U{U)|TXP W, U, U, V c (W{U)~U{VXP W, U, V, P c (W{U|P)~VXP W, U, V, U c (W{U)~U{VXP W, U, V, V c (W{U)~V|VXP W, U, W, T c (W{W)~U|TXP W, U, X, T c (W{X)~T{UXP W, V, O, T c (W{O{T)~VXP W, V, P, S c (W{P{S)~VXP W, V, P, T c (W{P~T)~VXP W, V, P, U c (W{V)~U{PXP W, V, Q, R c (W{Q{R)~VXP W, V, Q, V c (W{V|Q)~VXP W, V, Q, X c (WQ{X)~VXP W, V, R, Q c (W{R{Q)~VXP W, V, R, S c W~(V{S){RXP W, V, R, V c (V~R|W)~VXP W, V, R, W c (W|R{W)~VXP W, V, S, P c (W{S{P)~VXP W, V, S, R c W~(V{S){RXP W, V, S, V c (W{S)~V{VXP W, V, S, X c (W|S{X)~VXP W, V, T, O c (W{T)~(V{O)XP W, V, T, P c (W{T)~(V~P)XP W, V, T, T c W~(V{T)|TXP W, V, T, V c W~V{T~VXP W, V, U, P c (W{V)~U{PXP W, V, U, U c (W{U)~U{VXP W, V, U, V c (W{U)~V|VXP W, V, V, Q c (W{V|Q)~VXP W, V, V, R c V~(V~R|W)XP W, V, V, S c (W{S)~V{VXP W, V, V, T c W~V{V~TXP W, V, V, U c (W{U)~V|VXP W, V, W, R c (W{W|R)~VXP W, V, X, Q c (WQ{X)~VXP W, V, X, S c (W{X|S)~VXP W, W, P, T c (W|P)~(W{T)XP W, W, R, R c W~(W{R){RXP W, W, R, V c (W{W|R)~VXP W, W, R, X c W~W{R~XXP W, W, S, T c W~(W{S)|TXP W, W, T, P c (W{T)~(W|P)XP W, W, T, S c W~(W{S)|TXP W, W, T, U c (W{W)~U|TXP W, W, U, T c (W{W)~U|TXP W, W, V, R c (W{W|R)~VXP W, W, X, R c W~W{X~RXP W, X, P, Q c (W{Q)~X{PXP W, X, P, S c (W|P)~(X{S)XP W, X, Q, P c (W{Q)~X{PXP W, X, Q, R c W~(X{Q){RXP W, X, Q, T c (W{T)~(X|Q)XP W, X, Q, V c (WQ{X)~VXP W, X, Q, X c W{X~X{QXP W, X, R, Q c W~(X{Q){RXP W, X, R, T c W~(X{R)|TXP W, X, R, W c (W{R)~X|WXP W, X, S, P c (W|P)~(X{S)XP W, X, S, V c (W{X|S)~VXP W, X, T, Q c (W{T)~(X|Q)XP W, X, T, R c W~(X{R)|TXP W, X, T, U c (W{X)~T{UXP W, X, U, T c (W{X)~T{UXP W, X, V, Q c (WQ{X)~VXP W, X, V, S c (W{X|S)~VXP W, X, W, R c W~W{X~RXP W, X, X, Q c W{X~X{QXP X, O, S, V c (X{O{S)~VXP X, O, V, S c (X{O{S)~VXP X, P, P, X c (X{P)~X{PXP X, P, Q, T c X~Q~T{PXP X, P, Q, W c X~(Q{W){PXP X, P, R, V c (X{P{R)~VXP X, P, S, U c (X{S)~(P{U)XP X, P, S, V c (X{P~S)~VXP X, P, S, W c (X{S)~(W|P)XP X, P, T, Q c X~T~Q{PXP X, P, T, T c X~(T{T){PXP X, P, T, V c (X|P{T)~VXP X, P, T, X c (X{X)~T{PXP X, P, U, S c X~(U{S){PXP X, P, U, U c (X{U)~U{PXP X, P, V, R c (X{P{R)~VXP X, P, V, S c (X{P~S)~VXP X, P, V, T c (X|P{T)~VXP X, P, W, Q c X~(W{Q){PXP X, P, W, S c (X{S)~(W|P)XP X, P, X, P c (X{P)~X{PXP X, P, X, T c (X{X)~T{PXP X, P, X, X c X{P{X~XXP X, Q, P, T c X~Q~T{PXP X, Q, P, W c X~(Q{W){PXP X, Q, Q, V c (X{Q{Q)~VXP X, Q, R, W c (X{Q)~W{RXP X, Q, S, T c (X{S)~(Q{T)XP X, Q, S, X c (X|Q)~(S{X)XP X, Q, T, P c X~Q~T{PXP X, Q, T, S c (X{S)~(Q{T)XP X, Q, T, V c (X~Q|T)~VXP X, Q, T, W c (X|Q)~(T{W)XP X, Q, T, X c X~X{Q~TXP X, Q, U, V c (X|Q{U)~VXP X, Q, V, Q c (X{Q{Q)~VXP X, Q, V, T c (X~Q|T)~VXP X, Q, V, U c (X|Q)~(V{U)XP X, Q, V, W c (X{WQ)~VXP X, Q, W, P c X~(Q{W){PXP X, Q, W, R c (X{Q)~W{RXP X, Q, W, T c (X|Q)~(W{T)XP X, Q, W, V c (X{WQ)~VXP X, Q, W, X c (X{Q)~X|WXP X, Q, X, S c (X|Q)~(X{S)XP X, Q, X, T c X~X{Q~TXP X, Q, X, W c (X{Q)~X|WXP X, R, P, V c (X{R{P)~VXP X, R, Q, W c (X{Q)~W{RXP X, R, S, S c (X{S)~(R{S)XP X, R, T, W c (X{R)~W|TXP X, R, V, P c X~(R{V){PXP X, R, V, V c (X{R)~V{VXP X, R, V, X c X~X{R{VXP X, R, W, Q c (X{Q)~W{RXP X, R, W, T c (X{R)~W|TXP X, R, W, W c X~(R{W)|WXP X, R, X, V c X~X{R{VXP X, S, O, V c (X{S{O)~VXP X, S, P, U c (X{S)~(P{U)XP X, S, P, V c (X{S)~(P~V)XP X, S, P, W c (X{S)~(W|P)XP X, S, Q, T c (X{S)~(Q{T)XP X, S, Q, X c (X{S)~(X|Q)XP X, S, R, S c (X{S)~(R{S)XP X, S, S, R c (X{S)~(S{R)XP X, S, T, Q c (X{S)~(T{Q)XP X, S, T, T c S~T~T|XXP X, S, U, P c (X{S)~(U{P)XP X, S, U, X c X~X{S{UXP X, S, V, O c (X{S)~(V{O)XP X, S, V, P c (X{S)~(V~P)XP X, S, V, V c X~V{S~VXP X, S, V, W c X~(S{V)|WXP X, S, W, P c (X{S)~(W|P)XP X, S, W, V c (X|S{W)~VXP X, S, X, Q c (X{S)~(X|Q)XP X, S, X, U c X~X{S{UXP X, T, P, Q c X~T~Q{PXP X, T, P, T c X~(T{T){PXP X, T, P, V c (X{T|P)~VXP X, T, P, X c (X{X)~T{PXP X, T, Q, P c X~T~Q{PXP X, T, Q, S c (X{S)~(T{Q)XP X, T, Q, V c (X~Q|T)~VXP X, T, Q, W c (X|Q)~(T{W)XP X, T, Q, X c X~X{T~QXP X, T, R, W c (X{R)~W|TXP X, T, S, Q c (X{S)~(T{Q)XP X, T, S, T c T~S~T|XXP X, T, T, P c X~(T{T){PXP X, T, T, S c T~T~S|XXP X, T, T, X c X~X{T{TXP X, T, U, V c (X{T)~U{VXP X, T, U, W c X~(T{U)|WXP X, T, V, P c (X{T|P)~VXP X, T, V, Q c (X~Q|T)~VXP X, T, V, U c (X{T)~U{VXP X, T, V, V c (X{T)~V|VXP X, T, V, X c (X|T{X)~VXP X, T, W, Q c (X|Q)~(T{W)XP X, T, W, R c (X{R)~W|TXP X, T, W, U c X~(T{U)|WXP X, T, X, P c (X{X)~T{PXP X, T, X, Q c X~X{T~QXP X, T, X, T c X~X{T{TXP X, T, X, V c (X|T{X)~VXP X, U, P, S c X~(U{S){PXP X, U, P, U c (X{U)~U{PXP X, U, Q, V c (X{U|Q)~VXP X, U, S, P c X~(U{S){PXP X, U, S, X c X~X{U{SXP X, U, T, V c (X{T)~U{VXP X, U, T, W c X~(U{T)|WXP X, U, U, P c (X{U)~U{PXP X, U, V, Q c (X{U|Q)~VXP X, U, V, T c (X{V)~U|TXP X, U, W, T c X~(U{T)|WXP X, U, X, S c X~X{U{SXP X, V, O, S c (X{O{S)~VXP X, V, P, R c X~(V{R){PXP X, V, P, S c (X{P~S)~VXP X, V, P, T c (X|P{T)~VXP X, V, Q, Q c (X{Q{Q)~VXP X, V, Q, T c (X~Q|T)~VXP X, V, Q, U c (X|Q)~(V{U)XP X, V, Q, W c (X{WQ)~VXP X, V, R, P c X~(V{R){PXP X, V, R, V c (X{V|R)~VXP X, V, R, X c X~X{V{RXP X, V, S, O c (X{S)~(V{O)XP X, V, S, P c (X{S)~(V~P)XP X, V, S, V c X~V{S~VXP X, V, S, W c X~(V{S)|WXP X, V, T, P c (X{T|P)~VXP X, V, T, Q c (X~Q|T)~VXP X, V, T, U c (X{V)~U|TXP X, V, T, V c (X{T)~V|VXP X, V, T, X c (X|T{X)~VXP X, V, U, Q c (X{U|Q)~VXP X, V, U, T c (X{V)~U|TXP X, V, V, R c (X{V|R)~VXP X, V, V, S c X~V{V~SXP X, V, V, T c (X{T)~V|VXP X, V, W, Q c (X{WQ)~VXP X, V, W, S c X~(V{S)|WXP X, V, X, R c X~X{V{RXP X, V, X, T c (X{X|T)~VXP X, W, P, Q c X~(W{Q){PXP X, W, P, S c (X{S)~(W|P)XP X, W, Q, P c X~(W{Q){PXP X, W, Q, R c (X{Q)~W{RXP X, W, Q, T c (X|Q)~(W{T)XP X, W, Q, V c (X{WQ)~VXP X, W, Q, X c (X{Q)~X|WXP X, W, R, Q c (X{Q)~W{RXP X, W, R, T c (X{R)~W|TXP X, W, R, W c X~(W{R)|WXP X, W, S, P c (X{S)~(W|P)XP X, W, S, V c (X{W|S)~VXP X, W, T, Q c (X|Q)~(W{T)XP X, W, T, R c (X{R)~W|TXP X, W, T, U c (X{W)~T{UXP X, W, U, T c (X{W)~T{UXP X, W, V, Q c (X{WQ)~VXP X, W, V, S c (X{W|S)~VXP X, W, W, R c X~(W{R)|WXP X, W, X, Q c X~X{W{QXP X, X, P, P c X~(X{P){PXP X, X, P, T c (X{X)~T{PXP X, X, P, X c X~X{P{XXP X, X, Q, S c (X|Q)~(X{S)XP X, X, Q, T c X~X{Q~TXP X, X, Q, W c X~X{Q{WXP X, X, R, V c X~X{R{VXP X, X, S, Q c (X{S)~(X|Q)XP X, X, S, U c X~X{S{UXP X, X, T, P c (X{X)~T{PXP X, X, T, Q c X~X{T~QXP X, X, T, T c X~X{T{TXP X, X, T, V c (X{X|T)~VXP X, X, U, S c X~X{U{SXP X, X, V, R c X~X{V{RXP X, X, V, T c (X{X|T)~VXP X, X, W, Q c X~X{W{QXP X, X, X, P c X{X~X{PXP