O, O, X, X c O{O{X~XWP O, P, W, X c (O{P{W)~XWP O, P, X, W c (O{P{W)~XWP O, P, X, X c O{P~X~XWP O, Q, V, X c (O{Q{V)~XWP O, Q, X, V c (O{Q{V)~XWP O, Q, X, X c O~Q{X~XWP O, R, R, X c O{R~R~XWP O, R, U, X c (O{R{U)~XWP O, R, X, R c O{R~X~RWP O, R, X, U c (O{R{U)~XWP O, R, X, X c O~R{X~XWP O, S, T, X c (O{S{T)~XWP O, S, X, T c (O{S{T)~XWP O, S, X, X c O~S{X~XWP O, T, S, X c (O{T{S)~XWP O, T, X, S c (O{T{S)~XWP O, T, X, X c O~T{X~XWP O, U, R, X c (O{U{R)~XWP O, U, X, R c (O{U{R)~XWP O, U, X, X c O~U{X~XWP O, V, Q, X c (O{V{Q)~XWP O, V, X, Q c (O{V{Q)~XWP O, V, X, X c O~V{X~XWP O, W, P, X c (O{W{P)~XWP O, W, X, P c (O{W{P)~XWP O, W, X, X c O{W~X{XWP O, X, O, X c (O{X{O)~XWP O, X, P, W c (O{X)~(P{W)WP O, X, P, X c O{X~P~XWP O, X, Q, V c (O{X)~(Q{V)WP O, X, Q, X c O~Q{X~XWP O, X, R, R c O{X~R~RWP O, X, R, U c (O{X)~(R{U)WP O, X, R, X c O~R{X~XWP O, X, S, T c (O{X)~(S{T)WP O, X, S, X c O~S{X~XWP O, X, T, S c (O{X)~(T{S)WP O, X, T, X c O~T{X~XWP O, X, U, R c (O{X)~(U{R)WP O, X, U, X c O~U{X~XWP O, X, V, Q c (O{X)~(V{Q)WP O, X, V, X c O~V{X~XWP O, X, W, P c (O{X)~(W{P)WP O, X, W, X c O{X{W~XWP O, X, X, O c O{X~X{OWP O, X, X, P c O{X~X~PWP O, X, X, Q c O~Q{X~XWP O, X, X, R c O~R{X~XWP O, X, X, S c O~S{X~XWP O, X, X, T c O~T{X~XWP O, X, X, U c O~U{X~XWP O, X, X, V c O~V{X~XWP O, X, X, W c O{X{X~WWP O, X, X, X c O~X{X~XWP P, O, W, X c (P{O{W)~XWP P, O, X, W c (P{O{W)~XWP P, O, X, X c (P{O)~(X~X)WP P, P, V, X c (P{P{V)~XWP P, P, W, W c (P{W)~(P{W)WP P, P, W, X c (P{P~W)~XWP P, P, X, V c (P{P{V)~XWP P, P, X, W c P{(P{X)~WWP P, P, X, X c P|P{X~XWP P, Q, R, X c (P{Q)~(R~X)WP P, Q, S, X c (P{Q~S)~XWP P, Q, T, W c P{Q~T~WWP P, Q, T, X c (Q~T|P)~XWP P, Q, U, X c (P{Q{U)~XWP P, Q, V, W c (P{W)~(Q{V)WP P, Q, V, X c (P~Q{V)~XWP P, Q, W, T c P{Q~W~TWP P, Q, W, V c (P{W)~(Q{V)WP P, Q, W, W c P{(Q{W)~WWP P, Q, W, X c (Q|P{W)~XWP P, Q, X, R c (P{Q)~(X~R)WP P, Q, X, S c (P{Q~S)~XWP P, Q, X, T c (Q~T|P)~XWP P, Q, X, U c (P{Q{U)~XWP P, Q, X, V c (P~Q{V)~XWP P, Q, X, W c (Q|P{W)~XWP P, Q, X, X c (Q|P)~(X~X)WP P, R, Q, X c (P{Q)~(R~X)WP P, R, R, W c (P{W)~(R~R)WP P, R, R, X c P~R~R~XWP P, R, S, V c R~(S~V|P)WP P, R, S, X c R~(S|P)~XWP P, R, T, X c (P{R{T)~XWP P, R, U, W c (P{W)~(R{U)WP P, R, U, X c (P~R{U)~XWP P, R, V, S c R~(V~S|P)WP P, R, V, W c P{(R{V)~WWP P, R, V, X c (R|P{V)~XWP P, R, W, R c (P{W)~(R~R)WP P, R, W, U c (P{W)~(R{U)WP P, R, W, V c P{(R{V)~WWP P, R, X, Q c (P{Q)~(R~X)WP P, R, X, R c P~R~X~RWP P, R, X, S c (R~X)~(S|P)WP P, R, X, T c (P{R{T)~XWP P, R, X, U c (P~R{U)~XWP P, R, X, V c (R|P{V)~XWP P, S, Q, X c (P{S~Q)~XWP P, S, R, V c (S~V|P)~RWP P, S, R, X c (S|P)~(R~X)WP P, S, S, T c P{S~S~TWP P, S, S, X c (P{S{S)~XWP P, S, T, S c P{S~T~SWP P, S, T, W c (P{W)~(S{T)WP P, S, T, X c (P~S{T)~XWP P, S, U, W c P{(S{U)~WWP P, S, U, X c (S|P{U)~XWP P, S, V, R c (S~V|P)~RWP P, S, W, T c (P{W)~(S{T)WP P, S, W, U c P{(S{U)~WWP P, S, X, Q c (P{S~Q)~XWP P, S, X, R c (S|P)~(X~R)WP P, S, X, S c (P{S{S)~XWP P, S, X, T c (P~S{T)~XWP P, S, X, U c (S|P{U)~XWP P, T, Q, W c P{T~Q~WWP P, T, Q, X c (T~Q|P)~XWP P, T, R, X c (P{T{R)~XWP P, T, S, S c P{T~S~SWP P, T, S, W c (P{W)~(T{S)WP P, T, S, X c (P~T{S)~XWP P, T, T, W c P{(T{T)~WWP P, T, T, X c (T|P{T)~XWP P, T, V, X c P{T~(V{X)WP P, T, W, Q c P{T~W~QWP P, T, W, S c (P{W)~(T{S)WP P, T, W, T c P{(T{T)~WWP P, T, W, W c P{T~(W{W)WP P, T, X, Q c (T~Q|P)~XWP P, T, X, R c (P{T{R)~XWP P, T, X, S c (P~T{S)~XWP P, T, X, T c (T|P{T)~XWP P, T, X, V c P{T~(X{V)WP P, U, Q, X c (P{U{Q)~XWP P, U, R, W c (P{W)~(U{R)WP P, U, R, X c (P~U{R)~XWP P, U, S, W c P{(U{S)~WWP P, U, S, X c (U|P{S)~XWP P, U, W, R c (P{W)~(U{R)WP P, U, W, S c P{(U{S)~WWP P, U, X, Q c (P{U{Q)~XWP P, U, X, R c (P~U{R)~XWP P, U, X, S c (U|P{S)~XWP P, V, P, X c (P{V{P)~XWP P, V, Q, W c (P{W)~(V{Q)WP P, V, Q, X c (P~V{Q)~XWP P, V, R, S c (V~S|P)~RWP P, V, R, W c P{(V{R)~WWP P, V, R, X c (V|P{R)~XWP P, V, S, R c (V~S|P)~RWP P, V, T, X c P{(V{X)~TWP P, V, W, Q c (P{W)~(V{Q)WP P, V, W, R c P{(V{R)~WWP P, V, X, P c (P{V{P)~XWP P, V, X, Q c (P~V{Q)~XWP P, V, X, R c (V|P{R)~XWP P, V, X, T c P{(V{X)~TWP P, V, X, X c (P{V)~X{XWP P, W, O, X c (P{W{O)~XWP P, W, P, W c (P{W)~(P{W)WP P, W, P, X c P{W~(P{X)WP P, W, Q, T c P{W~Q~TWP P, W, Q, V c (P{W)~(Q{V)WP P, W, Q, W c P{(W{Q)~WWP P, W, Q, X c (W|P{Q)~XWP P, W, R, R c (P{W)~(R~R)WP P, W, R, U c (P{W)~(R{U)WP P, W, R, V c P{W~(R{V)WP P, W, S, T c (P{W)~(S{T)WP P, W, S, U c P{W~(S{U)WP P, W, T, Q c P{W~T~QWP P, W, T, S c (P{W)~(T{S)WP P, W, T, T c P{W~(T{T)WP P, W, T, W c P{(W{W)~TWP P, W, U, R c (P{W)~(U{R)WP P, W, U, S c P{W~(U{S)WP P, W, V, Q c (P{W)~(V{Q)WP P, W, V, R c P{W~(V{R)WP P, W, W, P c (P{W)~(W{P)WP P, W, W, Q c P{W~(W{Q)WP P, W, W, T c P{(W{W)~TWP P, W, W, X c P{W{W~XWP P, W, X, O c (P{W)~(X{O)WP P, W, X, P c P{W~(X{P)WP P, W, X, Q c (W|P{Q)~XWP P, W, X, W c P{W{X~WWP P, W, X, X c P~W~X{XWP P, X, O, W c (P{O{W)~XWP P, X, O, X c (P~X{O)~XWP P, X, P, V c (P{P{V)~XWP P, X, P, W c P{(X{P)~WWP P, X, P, X c (P{X|P)~XWP P, X, Q, R c (P{Q)~(X~R)WP P, X, Q, S c (P{Q~S)~XWP P, X, Q, T c X~(Q~T|P)WP P, X, Q, U c (P{Q{U)~XWP P, X, Q, V c (P~X)~(Q{V)WP P, X, Q, W c X~(Q|P{W)WP P, X, Q, X c X~(Q|P)~XWP P, X, R, Q c (P{Q)~(X~R)WP P, X, R, R c P~X~R~RWP P, X, R, S c (X~R)~(S|P)WP P, X, R, T c (P{R{T)~XWP P, X, R, U c (P~X)~(R{U)WP P, X, R, V c X~(R|P{V)WP P, X, S, Q c (P{S~Q)~XWP P, X, S, R c X~(S|P)~RWP P, X, S, S c (P{S{S)~XWP P, X, S, T c (P~X)~(S{T)WP P, X, S, U c X~(S|P{U)WP P, X, T, Q c X~(T~Q|P)WP P, X, T, R c (P{T{R)~XWP P, X, T, S c (P~X)~(T{S)WP P, X, T, T c X~(T|P{T)WP P, X, T, V c P{(X{V)~TWP P, X, U, Q c (P{U{Q)~XWP P, X, U, R c (P~X)~(U{R)WP P, X, U, S c X~(U|P{S)WP P, X, V, P c (P{V{P)~XWP P, X, V, Q c (P~X)~(V{Q)WP P, X, V, R c X~(V|P{R)WP P, X, V, T c P{(X{V)~TWP P, X, V, X c (P{V)~X{XWP P, X, W, O c (P{W)~(X{O)WP P, X, W, P c (P{X)~W{PWP P, X, W, Q c X~(W|P{Q)WP P, X, W, W c P{X~W{WWP P, X, W, X c P~X{W~XWP P, X, X, O c P~X~X{OWP P, X, X, P c P{X~X|PWP P, X, X, Q c (X~X)~(Q|P)WP P, X, X, V c (P{V)~X{XWP P, X, X, W c P~X{X~WWP P, X, X, X c (P{X)~X|XWP Q, O, V, X c (Q{O{V)~XWP Q, O, X, V c (Q{O{V)~XWP Q, O, X, X c Q~O{X~XWP Q, P, R, X c (Q{P)~(R~X)WP Q, P, S, X c (Q~S{P)~XWP Q, P, T, W c Q~T~W{PWP Q, P, T, X c (Q~T|P)~XWP Q, P, U, X c (Q{P{U)~XWP Q, P, V, W c (Q{V)~(P{W)WP Q, P, V, X c (Q{P~V)~XWP Q, P, W, T c Q~W~T{PWP Q, P, W, V c (Q{V)~(P{W)WP Q, P, W, W c (Q{W)~W{PWP Q, P, W, X c (Q|P{W)~XWP Q, P, X, R c (Q{P)~(X~R)WP Q, P, X, S c (Q~S{P)~XWP Q, P, X, T c (Q~T|P)~XWP Q, P, X, U c (Q{P{U)~XWP Q, P, X, V c (Q{P~V)~XWP Q, P, X, W c (Q|P{W)~XWP Q, P, X, X c (Q|P)~(X~X)WP Q, Q, T, X c (Q{Q{T)~XWP Q, Q, V, V c (Q{V)~(Q{V)WP Q, Q, W, X c (QQ{W)~XWP Q, Q, X, T c (Q{Q{T)~XWP Q, Q, X, W c (QQ{W)~XWP Q, Q, X, X c Q|Q{X~XWP Q, R, P, X c (Q{P)~(R~X)WP Q, R, R, V c (Q{V)~(R~R)WP Q, R, R, X c (Q~R{R)~XWP Q, R, S, X c (Q{R{S)~XWP Q, R, T, T c (Q{T~T)~RWP Q, R, T, X c R~(T|Q)~XWP Q, R, U, V c Q~U~V|RWP Q, R, U, X c (Q~U|R)~XWP Q, R, V, R c (Q{V)~(R~R)WP Q, R, V, U c (Q{V)~(R{U)WP Q, R, W, X c (R|Q{W)~XWP Q, R, X, P c (Q{P)~(R~X)WP Q, R, X, R c (Q~R{R)~XWP Q, R, X, S c (Q{R{S)~XWP Q, R, X, T c (R~X)~(T|Q)WP Q, R, X, U c (Q~U|R)~XWP Q, R, X, W c (R|Q{W)~XWP Q, R, X, X c (Q~X{X)~RWP Q, S, P, X c (Q~S{P)~XWP Q, S, R, X c (Q{S{R)~XWP Q, S, T, V c (Q{V)~(S{T)WP Q, S, V, T c (Q{V)~(S{T)WP Q, S, V, X c (Q{X)~V{SWP Q, S, X, P c (Q~S{P)~XWP Q, S, X, R c (Q{S{R)~XWP Q, S, X, V c (Q{X)~V{SWP Q, S, X, X c Q~S~X{XWP Q, T, P, W c Q~T~W{PWP Q, T, P, X c (Q~T|P)~XWP Q, T, Q, X c (Q{T{Q)~XWP Q, T, R, T c (Q{T~T)~RWP Q, T, R, X c (T|Q)~(R~X)WP Q, T, S, V c (Q{V)~(T{S)WP Q, T, T, R c (Q{T~T)~RWP Q, T, U, X c (T|Q{U)~XWP Q, T, V, S c (Q{V)~(T{S)WP Q, T, V, X c (Q~V|T)~XWP Q, T, W, P c Q~T~W{PWP Q, T, W, X c (T{WQ)~XWP Q, T, X, P c (Q~T|P)~XWP Q, T, X, Q c (Q{T{Q)~XWP Q, T, X, R c (T|Q)~(X~R)WP Q, T, X, U c (T|Q{U)~XWP Q, T, X, V c (Q~V|T)~XWP Q, T, X, W c (T{WQ)~XWP Q, T, X, X c Q~T~X|XWP Q, U, P, X c (Q{U{P)~XWP Q, U, R, V c Q~U~V|RWP Q, U, R, X c (Q~U|R)~XWP Q, U, T, X c (U|Q{T)~XWP Q, U, U, X c Q~U~U{XWP Q, U, V, R c Q~U~V|RWP Q, U, X, P c (Q{U{P)~XWP Q, U, X, R c (Q~U|R)~XWP Q, U, X, T c (U|Q{T)~XWP Q, U, X, U c Q~U~U{XWP Q, U, X, X c (Q{U)~X{XWP Q, V, O, X c (Q{V{O)~XWP Q, V, P, W c (Q{V)~(P{W)WP Q, V, P, X c (Q{V)~(P~X)WP Q, V, Q, V c (Q{V)~(Q{V)WP Q, V, R, R c (Q{V)~(R~R)WP Q, V, R, U c (Q{V)~(R{U)WP Q, V, S, T c (Q{V)~(S{T)WP Q, V, S, X c (Q{X)~V{SWP Q, V, T, S c (Q{V)~(T{S)WP Q, V, T, X c (Q~V|T)~XWP Q, V, U, R c (Q{V)~(U{R)WP Q, V, V, Q c (Q{V)~(V{Q)WP Q, V, W, P c (Q{V)~(W{P)WP Q, V, W, X c Q{V{W~XWP Q, V, X, O c (Q{V)~(X{O)WP Q, V, X, P c (Q{V)~(X~P)WP Q, V, X, S c (Q{X)~V{SWP Q, V, X, T c (Q~V|T)~XWP Q, V, X, W c Q{V{X~WWP Q, V, X, X c Q~X{V~XWP Q, W, P, T c Q~W~T{PWP Q, W, P, V c (Q{V)~(W{P)WP Q, W, P, W c (Q{W)~W{PWP Q, W, P, X c (Q{W|P)~XWP Q, W, Q, X c (QQ{W)~XWP Q, W, R, X c (W|Q{R)~XWP Q, W, T, P c Q~W~T{PWP Q, W, T, X c (WQ{T)~XWP Q, W, V, P c (Q{V)~(W{P)WP Q, W, V, X c (Q~W|V)~XWP Q, W, W, P c (Q{W)~W{PWP Q, W, X, P c (Q{W|P)~XWP Q, W, X, Q c (QQ{W)~XWP Q, W, X, R c (W|Q{R)~XWP Q, W, X, T c (WQ{T)~XWP Q, W, X, V c Q{W~X{VWP Q, W, X, X c (Q{W)~X|XWP Q, X, O, V c (Q{O{V)~XWP Q, X, O, X c Q~O{X~XWP Q, X, P, R c (Q{P)~(X~R)WP Q, X, P, S c (Q~S{P)~XWP Q, X, P, T c (Q~T|P)~XWP Q, X, P, U c (Q{P{U)~XWP Q, X, P, V c (Q{P~V)~XWP Q, X, P, W c (Q|P{W)~XWP Q, X, P, X c (Q|P)~(X~X)WP Q, X, Q, T c (Q{Q{T)~XWP Q, X, Q, W c (QQ{W)~XWP Q, X, Q, X c (Q{X|Q)~XWP Q, X, R, P c (Q{P)~(X~R)WP Q, X, R, R c (Q~R{R)~XWP Q, X, R, S c (Q{R{S)~XWP Q, X, R, T c (X~R)~(T|Q)WP Q, X, R, U c (Q~U|R)~XWP Q, X, R, W c X~(R|Q{W)WP Q, X, R, X c (Q~X{X)~RWP Q, X, S, P c (Q~S{P)~XWP Q, X, S, R c (Q{S{R)~XWP Q, X, S, V c (Q{X)~V{SWP Q, X, S, X c Q~X~S{XWP Q, X, T, P c (Q~T|P)~XWP Q, X, T, Q c (Q{T{Q)~XWP Q, X, T, R c X~(T|Q)~RWP Q, X, T, U c X~(T|Q{U)WP Q, X, T, V c (Q~V|T)~XWP Q, X, T, W c X~(T{WQ)WP Q, X, T, X c Q~X~T|XWP Q, X, U, P c (Q{U{P)~XWP Q, X, U, R c (Q~U|R)~XWP Q, X, U, T c X~(U|Q{T)WP Q, X, U, U c Q~U~U{XWP Q, X, U, X c (Q{U)~X{XWP Q, X, V, O c (Q{V)~(X{O)WP Q, X, V, P c (Q{V)~(X~P)WP Q, X, V, S c (Q{X)~V{SWP Q, X, V, T c (Q~V|T)~XWP Q, X, V, W c Q{X~W{VWP Q, X, V, X c Q~X{V~XWP Q, X, W, P c (Q{W|P)~XWP Q, X, W, Q c (QQ{W)~XWP Q, X, W, R c X~(W|Q{R)WP Q, X, W, T c X~(WQ{T)WP Q, X, W, V c Q{X~W{VWP Q, X, W, X c (Q{W)~X|XWP Q, X, X, O c Q~O{X~XWP Q, X, X, P c (Q|P)~(X~X)WP Q, X, X, Q c Q{X~X|QWP Q, X, X, R c (Q~X{X)~RWP Q, X, X, S c Q~X~S{XWP Q, X, X, T c Q~X~T|XWP Q, X, X, U c (Q{U)~X{XWP Q, X, X, V c Q~X{X~VWP Q, X, X, W c (Q{W)~X|XWP Q, X, X, X c (Q~X|X)~XWP R, O, R, X c (R{O)~(R~X)WP R, O, U, X c (R{O{U)~XWP R, O, X, R c (R{O)~(X~R)WP R, O, X, U c (R{O{U)~XWP R, O, X, X c R~O{X~XWP R, P, Q, X c R~(P{Q)~XWP R, P, R, W c R~(P{W)~RWP R, P, R, X c R~P~R~XWP R, P, S, V c R~(S~V|P)WP R, P, S, X c R~(S|P)~XWP R, P, T, X c (R{P{T)~XWP R, P, U, W c (R{U)~(P{W)WP R, P, U, X c (R{P~U)~XWP R, P, V, S c R~(V~S|P)WP R, P, V, W c (R{V)~W{PWP R, P, V, X c (R|P{V)~XWP R, P, W, R c R~(P{W)~RWP R, P, W, U c (R{U)~(P{W)WP R, P, W, V c (R{V)~W{PWP R, P, X, Q c R~(P{Q)~XWP R, P, X, R c R~P~X~RWP R, P, X, S c (R~X)~(S|P)WP R, P, X, T c (R{P{T)~XWP R, P, X, U c (R{P~U)~XWP R, P, X, V c (R|P{V)~XWP R, Q, P, X c R~(Q{P)~XWP R, Q, R, V c R~(Q{V)~RWP R, Q, R, X c (R{Q~R)~XWP R, Q, S, X c (R{Q{S)~XWP R, Q, T, T c R~(Q{T~T)WP R, Q, T, X c R~(T|Q)~XWP R, Q, U, V c (R{U)~(Q{V)WP R, Q, U, X c RQ~U~XWP R, Q, V, R c R~(Q{V)~RWP R, Q, V, U c (R{U)~(Q{V)WP R, Q, W, X c (R|Q{W)~XWP R, Q, X, P c R~(Q{P)~XWP R, Q, X, R c (R{Q~R)~XWP R, Q, X, S c (R{Q{S)~XWP R, Q, X, T c (R~X)~(T|Q)WP R, Q, X, U c RQ~X~UWP R, Q, X, W c (R|Q{W)~XWP R, Q, X, X c (R|Q)~(X~X)WP R, R, O, X c (R~R{O)~XWP R, R, P, W c (R~R)~(P{W)WP R, R, P, X c R~R~P~XWP R, R, Q, V c (R~R)~(Q{V)WP R, R, Q, X c (R{R~Q)~XWP R, R, R, R c R~R~R~RWP R, R, R, U c (R~R)~(R{U)WP R, R, R, W c R~(R{R~W)WP R, R, R, X c (R{R{R)~XWP R, R, S, T c (R~R)~(S{T)WP R, R, S, U c R~(R{S~U)WP R, R, S, V c R~S~V|RWP R, R, S, X c (R~S|R)~XWP R, R, T, S c (R~R)~(T{S)WP R, R, T, U c R~(T~U|R)WP R, R, U, R c R~(R{U)~RWP R, R, U, S c R~(R{U~S)WP R, R, U, T c R~(U~T|R)WP R, R, U, U c (R{U)~(R{U)WP R, R, U, V c R~(R~V{U)WP R, R, U, X c R~(R~U{X)WP R, R, V, Q c (R~R)~(V{Q)WP R, R, V, S c R~V~S|RWP R, R, V, U c R~(R~V{U)WP R, R, V, X c (R{X)~V|RWP R, R, W, P c (R~R)~(W{P)WP R, R, W, R c (R{R~W)~RWP R, R, W, X c R~R{W~XWP R, R, X, O c R~R~X{OWP R, R, X, P c R~R~X~PWP R, R, X, Q c (R{R~Q)~XWP R, R, X, R c (R{R{R)~XWP R, R, X, S c (R~S|R)~XWP R, R, X, U c R~(R~U{X)WP R, R, X, V c (R{X)~V|RWP R, R, X, W c R~R{X~WWP R, R, X, X c R|R{X~XWP R, S, P, V c R~(S~V|P)WP R, S, P, X c R~(S|P)~XWP R, S, Q, X c (R{S{Q)~XWP R, S, R, T c R~(S{T)~RWP R, S, R, U c (R{S~U)~RWP R, S, R, V c R~S~V|RWP R, S, R, X c (R~S|R)~XWP R, S, T, R c R~(S{T)~RWP R, S, T, U c (R{U)~(S{T)WP R, S, T, V c R~(S~T{V)WP R, S, T, W c R~(S~W|T)WP R, S, U, R c (R{S~U)~RWP R, S, U, T c (R{U)~(S{T)WP R, S, U, X c R~S~U{XWP R, S, V, P c R~(S~V|P)WP R, S, V, R c R~S~V|RWP R, S, V, T c R~(S~T{V)WP R, S, V, W c (R{W)~V{SWP R, S, V, X c R~(V|S)~XWP R, S, W, T c R~(S~W|T)WP R, S, W, V c (R{W)~V{SWP R, S, W, X c (S|R{W)~XWP R, S, X, P c R~(S|P)~XWP R, S, X, Q c (R{S{Q)~XWP R, S, X, R c (R~S|R)~XWP R, S, X, U c R{(S{X)~UWP R, S, X, V c (R~X)~(V|S)WP R, S, X, W c (S|R{W)~XWP R, S, X, X c R~(S~X|X)WP R, T, P, X c (R{T{P)~XWP R, T, Q, T c R~(T~T{Q)WP R, T, Q, X c R~(T|Q)~XWP R, T, R, S c R~(T{S)~RWP R, T, R, U c R~(T~U|R)WP R, T, S, R c R~(T{S)~RWP R, T, S, U c (R{U)~(T{S)WP R, T, S, V c R~(T~S{V)WP R, T, S, W c R~(S~W|T)WP R, T, T, Q c R~(T~T{Q)WP R, T, T, U c R~T~T{UWP R, T, U, R c R~(T~U|R)WP R, T, U, S c (R{U)~(T{S)WP R, T, U, T c R~T~T{UWP R, T, U, W c R{(T{W)~UWP R, T, U, X c (R~T|U)~XWP R, T, V, S c R~(T~S{V)WP R, T, V, V c (T{V)~V|RWP R, T, V, W c R~(T~V|W)WP R, T, V, X c (T|R{V)~XWP R, T, W, S c R~(W~S|T)WP R, T, W, U c R{(T{W)~UWP R, T, W, V c R~(T~V|W)WP R, T, W, X c R~(W|T)~XWP R, T, X, P c (R{T{P)~XWP R, T, X, Q c R~(T|Q)~XWP R, T, X, U c (R~T|U)~XWP R, T, X, V c (T|R{V)~XWP R, T, X, W c (R~X)~(W|T)WP R, T, X, X c (R{T)~X{XWP R, U, O, X c (R{U{O)~XWP R, U, P, W c (R{U)~(P{W)WP R, U, P, X c (R{U)~(P~X)WP R, U, Q, V c (R{U)~(Q{V)WP R, U, Q, X c R~UQ~XWP R, U, R, R c (R{U)~(R~R)WP R, U, R, S c (R{U~S)~RWP R, U, R, T c R~(U~T|R)WP R, U, R, U c (R{U)~(R{U)WP R, U, R, V c R~(U{R~V)WP R, U, R, X c R~(U|R)~XWP R, U, S, R c (R{U~S)~RWP R, U, S, T c (R{U)~(S{T)WP R, U, S, X c R{U~(S{X)WP R, U, T, R c R~(U~T|R)WP R, U, T, S c (R{U)~(T{S)WP R, U, T, T c R~T~T{UWP R, U, T, W c R{U~(T{W)WP R, U, T, X c R~U~T|XWP R, U, U, R c (R{U)~(U{R)WP R, U, U, V c R{U~(U{V)WP R, U, U, W c U~(U{W)|RWP R, U, U, X c R~(U~U|X)WP R, U, V, Q c (R{U)~(V{Q)WP R, U, V, R c R~(U{V~R)WP R, U, V, U c R{(U{V)~UWP R, U, V, V c U~(V{V)|RWP R, U, V, X c R~U{V~XWP R, U, W, P c (R{U)~(W{P)WP R, U, W, T c R{U~(W{T)WP R, U, W, U c (U{W)~U|RWP R, U, W, X c R{U{W~XWP R, U, X, O c (R{U)~(X{O)WP R, U, X, P c (R{U)~(X~P)WP R, U, X, Q c R~U~XQWP R, U, X, R c (R~U{X)~RWP R, U, X, S c R{U~(X{S)WP R, U, X, T c R~U~T|XWP R, U, X, U c R~(U~U|X)WP R, U, X, V c R~U{X~VWP R, U, X, W c R{U{X~WWP R, U, X, X c (R~U|X)~XWP R, V, P, S c R~(V~S|P)WP R, V, P, W c (R{V)~W{PWP R, V, P, X c (R{V|P)~XWP R, V, Q, R c R~(V{Q)~RWP R, V, Q, U c (R{U)~(V{Q)WP R, V, R, Q c R~(V{Q)~RWP R, V, R, S c R~V~S|RWP R, V, R, U c R~(V~R{U)WP R, V, R, X c (R{X)~V|RWP R, V, S, P c R~(V~S|P)WP R, V, S, R c R~V~S|RWP R, V, S, T c R~(V{S~T)WP R, V, S, W c (R{W)~V{SWP R, V, S, X c R~(V|S)~XWP R, V, T, S c R~(V{T~S)WP R, V, T, V c (V{T)~V|RWP R, V, T, W c R~(V~T|W)WP R, V, T, X c (V|R{T)~XWP R, V, U, Q c (R{U)~(V{Q)WP R, V, U, R c (R~V{U)~RWP R, V, U, U c R{(V{U)~UWP R, V, U, V c (V{V)~U|RWP R, V, U, X c R~U{V~XWP R, V, V, T c V~(V{T)|RWP R, V, V, U c (V{V)~U|RWP R, V, W, P c (R{V)~W{PWP R, V, W, S c (R{W)~V{SWP R, V, W, T c R~(V~T|W)WP R, V, W, W c (R{W)~W|VWP R, V, X, P c (R{V|P)~XWP R, V, X, R c (R{X)~V|RWP R, V, X, S c R~(V|S)~XWP R, V, X, T c (V|R{T)~XWP R, V, X, U c R~U{V~XWP R, V, X, X c (R{V)~X|XWP R, W, P, R c R~(W{P)~RWP R, W, P, U c (R{U)~(W{P)WP R, W, P, V c (R{V)~W{PWP R, W, Q, X c (R{W|Q)~XWP R, W, R, P c R~(W{P)~RWP R, W, R, R c (R{W~R)~RWP R, W, R, X c R~W~R{XWP R, W, S, T c R~(W~S|T)WP R, W, S, V c (R{W)~V{SWP R, W, S, X c (W|R{S)~XWP R, W, T, S c R~(W~S|T)WP R, W, T, U c R{(W{T)~UWP R, W, T, V c R~(T~V|W)WP R, W, T, X c R~(W|T)~XWP R, W, U, P c (R{U)~(W{P)WP R, W, U, T c R{(W{T)~UWP R, W, U, U c (W{U)~U|RWP R, W, U, X c R{W~X{UWP R, W, V, P c (R{V)~W{PWP R, W, V, S c (R{W)~V{SWP R, W, V, T c R~(V~T|W)WP R, W, V, W c (R{W)~W|VWP R, W, W, V c (R{W)~W|VWP R, W, X, Q c (R{W|Q)~XWP R, W, X, R c R~W~R{XWP R, W, X, S c (W|R{S)~XWP R, W, X, T c R~(W|T)~XWP R, W, X, U c R{W~X{UWP R, X, O, R c (R~X{O)~RWP R, X, O, U c (R{O{U)~XWP R, X, O, X c R~O{X~XWP R, X, P, Q c (R~X)~(P{Q)WP R, X, P, R c R~X~P~RWP R, X, P, S c (R~X)~(S|P)WP R, X, P, T c (R{P{T)~XWP R, X, P, U c (R{P~U)~XWP R, X, P, V c (R|P{V)~XWP R, X, Q, P c (R~X)~(Q{P)WP R, X, Q, R c (R{Q~R)~XWP R, X, Q, S c (R{Q{S)~XWP R, X, Q, T c (R~X)~(T|Q)WP R, X, Q, U c R~XQ~UWP R, X, Q, W c (R|Q{W)~XWP R, X, Q, X c R~(X{Q~X)WP R, X, R, O c R~X~R{OWP R, X, R, P c R~X~R~PWP R, X, R, Q c (R{R~Q)~XWP R, X, R, R c (R{R{R)~XWP R, X, R, S c (R~S|R)~XWP R, X, R, U c R~(X{R~U)WP R, X, R, V c (R{X)~V|RWP R, X, R, W c R~R{X~WWP R, X, R, X c (R{X|R)~XWP R, X, S, P c (R~X)~(S|P)WP R, X, S, Q c (R{S{Q)~XWP R, X, S, R c (R~S|R)~XWP R, X, S, U c R{(X{S)~UWP R, X, S, V c (R~X)~(V|S)WP R, X, S, W c X~(S|R{W)WP R, X, S, X c R~(X~S|X)WP R, X, T, P c (R{T{P)~XWP R, X, T, Q c (R~X)~(T|Q)WP R, X, T, U c (R~T|U)~XWP R, X, T, V c X~(T|R{V)WP R, X, T, W c (R~X)~(W|T)WP R, X, T, X c (R{T)~X{XWP R, X, U, O c (R{U)~(X{O)WP R, X, U, P c (R{U)~(X~P)WP R, X, U, Q c R~X~UQWP R, X, U, R c R~(X{U~R)WP R, X, U, S c R{(X{S)~UWP R, X, U, T c R~U~T|XWP R, X, U, U c R~(U~U|X)WP R, X, U, V c R~U{X~VWP R, X, U, W c R{X~W{UWP R, X, U, X c (R{X)~U{XWP R, X, V, P c (R{V|P)~XWP R, X, V, R c (R{X)~V|RWP R, X, V, S c (R~X)~(V|S)WP R, X, V, T c X~(V|R{T)WP R, X, V, U c R~U{X~VWP R, X, V, X c (R{V)~X|XWP R, X, W, Q c (R{W|Q)~XWP R, X, W, R c R~W~R{XWP R, X, W, S c X~(W|R{S)WP R, X, W, T c (R~X)~(W|T)WP R, X, W, U c R{X~W{UWP R, X, X, O c R~O{X~XWP R, X, X, Q c R~(X{X~Q)WP R, X, X, R c R{X~X|RWP R, X, X, S c R~(X~S|X)WP R, X, X, T c (R{T)~X{XWP R, X, X, U c R~X{X~UWP R, X, X, V c (R{V)~X|XWP R, X, X, X c R~(X{X{X)WP S, O, T, X c (S{O{T)~XWP S, O, X, T c (S{O{T)~XWP S, O, X, X c S~O{X~XWP S, P, Q, X c (S~Q{P)~XWP S, P, R, V c (S~V|P)~RWP S, P, R, X c (S|P)~(R~X)WP S, P, S, T c S~S~T{PWP S, P, S, X c (S{P{S)~XWP S, P, T, S c S~T~S{PWP S, P, T, W c (S{T)~(P{W)WP S, P, T, X c (S{P~T)~XWP S, P, U, W c (S{U)~W{PWP S, P, U, X c (S|P{U)~XWP S, P, V, R c (S~V|P)~RWP S, P, W, T c (S{T)~(P{W)WP S, P, W, U c (S{U)~W{PWP S, P, X, Q c (S~Q{P)~XWP S, P, X, R c (S|P)~(X~R)WP S, P, X, S c (S{P{S)~XWP S, P, X, T c (S{P~T)~XWP S, P, X, U c (S|P{U)~XWP S, Q, P, X c (S~Q{P)~XWP S, Q, R, X c (S{Q{R)~XWP S, Q, T, V c (S{T)~(Q{V)WP S, Q, V, T c (S{T)~(Q{V)WP S, Q, V, X c (S|Q{V)~XWP S, Q, X, P c (S~Q{P)~XWP S, Q, X, R c (S{Q{R)~XWP S, Q, X, V c S{(Q{X)~VWP S, Q, X, X c S~Q~X{XWP S, R, P, V c (S~V|P)~RWP S, R, P, X c (S|P)~(R~X)WP S, R, Q, X c (S{R{Q)~XWP S, R, R, T c (S{T)~(R~R)WP S, R, R, U c (S~U{R)~RWP S, R, R, V c S~R~V|RWP S, R, R, X c (S~R|R)~XWP S, R, T, R c (S{T)~(R~R)WP S, R, T, U c (S{T)~(R{U)WP S, R, T, V c (S~T{V)~RWP S, R, T, W c (S~W|T)~RWP S, R, U, R c (S~U{R)~RWP S, R, U, T c (S{T)~(R{U)WP S, R, U, X c S~R~U{XWP S, R, V, P c (S~V|P)~RWP S, R, V, R c S~R~V|RWP S, R, V, T c (S~T{V)~RWP S, R, V, W c S{(R{W)~VWP S, R, V, X c R~(V|S)~XWP S, R, W, T c (S~W|T)~RWP S, R, W, V c S{(R{W)~VWP S, R, W, X c (S|R{W)~XWP S, R, X, P c (S|P)~(R~X)WP S, R, X, Q c (S{R{Q)~XWP S, R, X, R c (S~R|R)~XWP S, R, X, U c S~R~U{XWP S, R, X, V c (R~X)~(V|S)WP S, R, X, W c (S|R{W)~XWP S, R, X, X c (S|R)~(X~X)WP S, S, P, T c S~S~T{PWP S, S, P, X c (S{S{P)~XWP S, S, T, P c S~S~T{PWP S, S, T, T c (S{T)~(S{T)WP S, S, V, V c S{(S{V)~VWP S, S, V, X c (S~S|V)~XWP S, S, W, X c (SS{W)~XWP S, S, X, P c (S{S{P)~XWP S, S, X, V c (S~S|V)~XWP S, S, X, W c (SS{W)~XWP S, S, X, X c (S{S)~X{XWP S, T, O, X c (S{T{O)~XWP S, T, P, S c S~T~S{PWP S, T, P, W c (S{T)~(P{W)WP S, T, P, X c (S{T)~(P~X)WP S, T, Q, V c (S{T)~(Q{V)WP S, T, R, R c (S{T)~(R~R)WP S, T, R, U c (S{T)~(R{U)WP S, T, R, V c (S~T{V)~RWP S, T, R, W c (S~W|T)~RWP S, T, S, P c S~T~S{PWP S, T, S, T c (S{T)~(S{T)WP S, T, T, S c (S{T)~(T{S)WP S, T, U, R c (S{T)~(U{R)WP S, T, U, V c S{(T{U)~VWP S, T, V, Q c (S{T)~(V{Q)WP S, T, V, R c (S~T{V)~RWP S, T, V, U c S{(T{U)~VWP S, T, W, P c (S{T)~(W{P)WP S, T, W, R c (S~W|T)~RWP S, T, W, X c S{T{W~XWP S, T, X, O c (S{T)~(X{O)WP S, T, X, P c (S{T)~(X~P)WP S, T, X, W c S{T{X~WWP S, T, X, X c S~X{T~XWP S, U, P, W c (S{U)~W{PWP S, U, P, X c (S{U|P)~XWP S, U, R, R c (S~U{R)~RWP S, U, R, T c (S{T)~(U{R)WP S, U, R, X c S~U~R{XWP S, U, T, R c (S{T)~(U{R)WP S, U, T, V c S{(U{T)~VWP S, U, U, X c US~U~XWP S, U, V, T c S{(U{T)~VWP S, U, V, X c (U|S{V)~XWP S, U, W, P c (S{U)~W{PWP S, U, W, X c (S{W)~U{XWP S, U, X, P c (S{U|P)~XWP S, U, X, R c S~U~R{XWP S, U, X, U c US~X~UWP S, U, X, V c (U|S{V)~XWP S, U, X, W c (S{W)~U{XWP S, U, X, X c (S{U)~X|XWP S, V, P, R c (S~V|P)~RWP S, V, Q, T c (S{T)~(V{Q)WP S, V, Q, X c (S{V|Q)~XWP S, V, R, P c (S~V|P)~RWP S, V, R, R c S~V~R|RWP S, V, R, T c (S~T{V)~RWP S, V, R, W c S{V~(R{W)WP S, V, R, X c (V|S)~(R~X)WP S, V, S, V c S{(V{S)~VWP S, V, S, X c (S~S|V)~XWP S, V, T, Q c (S{T)~(V{Q)WP S, V, T, R c (S~T{V)~RWP S, V, T, U c S{V~(T{U)WP S, V, U, T c S{V~(U{T)WP S, V, U, X c (V|S{U)~XWP S, V, V, S c (S{V)~V{SWP S, V, V, W c (S{V)~W|VWP S, V, W, R c S{V~(W{R)WP S, V, W, V c (S{V)~W|VWP S, V, W, X c (V{WS)~XWP S, V, X, Q c S{V~(X{Q)WP S, V, X, R c (V|S)~(X~R)WP S, V, X, S c (S~S|V)~XWP S, V, X, U c (V|S{U)~XWP S, V, X, W c (V{WS)~XWP S, W, P, T c (S{T)~(W{P)WP S, W, P, U c (S{U)~W{PWP S, W, R, T c (S~W|T)~RWP S, W, R, V c S{(W{R)~VWP S, W, R, X c (S{W|R)~XWP S, W, S, X c (SS{W)~XWP S, W, T, P c (S{T)~(W{P)WP S, W, T, R c (S~W|T)~RWP S, W, T, X c S{W~X{TWP S, W, U, P c (S{U)~W{PWP S, W, U, X c (S{W)~U{XWP S, W, V, R c (S{W)~V|RWP S, W, V, V c S~W{V~VWP S, W, V, X c (WS{V)~XWP S, W, X, R c (S{W|R)~XWP S, W, X, S c (SS{W)~XWP S, W, X, T c S{W~X{TWP S, W, X, U c (S{W)~U{XWP S, W, X, V c (WS{V)~XWP S, X, O, T c (S{O{T)~XWP S, X, O, X c S~O{X~XWP S, X, P, Q c (S~Q{P)~XWP S, X, P, R c (S|P)~(X~R)WP S, X, P, S c (S{P{S)~XWP S, X, P, T c (S{P~T)~XWP S, X, P, U c (S|P{U)~XWP S, X, Q, P c (S~Q{P)~XWP S, X, Q, R c (S{Q{R)~XWP S, X, Q, V c S{(X{Q)~VWP S, X, Q, X c S~X~Q{XWP S, X, R, P c (S|P)~(X~R)WP S, X, R, Q c (S{R{Q)~XWP S, X, R, R c (S~R|R)~XWP S, X, R, U c (S{X)~U{RWP S, X, R, V c (X~R)~(V|S)WP S, X, R, W c (S|R{W)~XWP S, X, R, X c (S~X|X)~RWP S, X, S, P c (S{S{P)~XWP S, X, S, V c (S~S|V)~XWP S, X, S, W c (SS{W)~XWP S, X, S, X c (S{X|S)~XWP S, X, T, O c (S{T)~(X{O)WP S, X, T, P c (S{T)~(X~P)WP S, X, T, W c S{X~W{TWP S, X, T, X c S~X{T~XWP S, X, U, P c (S{U|P)~XWP S, X, U, R c (S{X)~U{RWP S, X, U, U c XS~U~UWP S, X, U, V c X~(U|S{V)WP S, X, U, W c (S{W)~U{XWP S, X, U, X c (S{U)~X|XWP S, X, V, Q c S{(X{Q)~VWP S, X, V, R c X~(V|S)~RWP S, X, V, S c (S~S|V)~XWP S, X, V, U c X~(V|S{U)WP S, X, V, W c X~(V{WS)WP S, X, W, R c (S{W|R)~XWP S, X, W, S c (SS{W)~XWP S, X, W, T c S{X~W{TWP S, X, W, U c (S{W)~U{XWP S, X, W, V c X~(WS{V)WP S, X, X, O c S~O{X~XWP S, X, X, Q c S~X~Q{XWP S, X, X, R c (S~X|X)~RWP S, X, X, S c S{X~X|SWP S, X, X, T c S~X{X~TWP S, X, X, U c (S{U)~X|XWP S, X, X, X c S~(X{X){XWP T, O, S, X c (T{O{S)~XWP T, O, X, S c (T{O{S)~XWP T, O, X, X c T~O{X~XWP T, P, Q, W c T~Q~W{PWP T, P, Q, X c (T~Q|P)~XWP T, P, R, X c (T{P{R)~XWP T, P, S, S c T~S~S{PWP T, P, S, W c (T{S)~(P{W)WP T, P, S, X c (T{P~S)~XWP T, P, T, W c (T{T)~W{PWP T, P, T, X c (T|P{T)~XWP T, P, V, X c T~(V{X){PWP T, P, W, Q c T~W~Q{PWP T, P, W, S c (T{S)~(P{W)WP T, P, W, T c (T{T)~W{PWP T, P, W, W c T~(W{W){PWP T, P, X, Q c (T~Q|P)~XWP T, P, X, R c (T{P{R)~XWP T, P, X, S c (T{P~S)~XWP T, P, X, T c (T|P{T)~XWP T, P, X, V c T~(X{V){PWP T, Q, P, W c T~Q~W{PWP T, Q, P, X c (T~Q|P)~XWP T, Q, Q, X c (T{Q{Q)~XWP T, Q, R, T c (T~T{Q)~RWP T, Q, R, X c (T|Q)~(R~X)WP T, Q, S, V c (T{S)~(Q{V)WP T, Q, T, R c (T~T{Q)~RWP T, Q, U, X c (T|Q{U)~XWP T, Q, V, S c (T{S)~(Q{V)WP T, Q, V, X c (Q~V|T)~XWP T, Q, W, P c T~Q~W{PWP T, Q, W, X c (T{WQ)~XWP T, Q, X, P c (T~Q|P)~XWP T, Q, X, Q c (T{Q{Q)~XWP T, Q, X, R c (T|Q)~(X~R)WP T, Q, X, U c (T|Q{U)~XWP T, Q, X, V c (Q~V|T)~XWP T, Q, X, W c (T{WQ)~XWP T, Q, X, X c T~Q~X|XWP T, R, P, X c (T{R{P)~XWP T, R, Q, T c (T~T{Q)~RWP T, R, Q, X c (T|Q)~(R~X)WP T, R, R, S c (T{S)~(R~R)WP T, R, R, U c (T~U|R)~RWP T, R, S, R c (T{S)~(R~R)WP T, R, S, U c (T{S)~(R{U)WP T, R, S, V c (T~S{V)~RWP T, R, S, W c R~(S~W|T)WP T, R, T, Q c (T~T{Q)~RWP T, R, T, U c T~R~T{UWP T, R, U, R c (T~U|R)~RWP T, R, U, S c (T{S)~(R{U)WP T, R, U, T c T~R~T{UWP T, R, U, W c (T{W)~U{RWP T, R, U, X c (T~R|U)~XWP T, R, V, S c (T~S{V)~RWP T, R, V, V c (T{V)~V|RWP T, R, V, W c (T~V|W)~RWP T, R, V, X c (T|R{V)~XWP T, R, W, S c R~(W~S|T)WP T, R, W, U c (T{W)~U{RWP T, R, W, V c (T~V|W)~RWP T, R, W, X c R~(W|T)~XWP T, R, X, P c (T{R{P)~XWP T, R, X, Q c (T|Q)~(R~X)WP T, R, X, U c (T~R|U)~XWP T, R, X, V c (T|R{V)~XWP T, R, X, W c (R~X)~(W|T)WP T, R, X, X c (T{R)~X{XWP T, S, O, X c (T{S{O)~XWP T, S, P, S c T~S~S{PWP T, S, P, W c (T{S)~(P{W)WP T, S, P, X c (T{S)~(P~X)WP T, S, Q, V c (T{S)~(Q{V)WP T, S, R, R c (T{S)~(R~R)WP T, S, R, U c (T{S)~(R{U)WP T, S, R, V c (T~S{V)~RWP T, S, R, W c (S~W|T)~RWP T, S, S, P c T~S~S{PWP T, S, S, T c (T{S)~(S{T)WP T, S, T, S c (T{S)~(T{S)WP T, S, U, R c (T{S)~(U{R)WP T, S, U, V c (T{U)~V{SWP T, S, V, Q c (T{S)~(V{Q)WP T, S, V, R c (T~S{V)~RWP T, S, V, U c (T{U)~V{SWP T, S, W, P c (T{S)~(W{P)WP T, S, W, R c (S~W|T)~RWP T, S, W, X c T{S{W~XWP T, S, X, O c (T{S)~(X{O)WP T, S, X, P c (T{S)~(X~P)WP T, S, X, W c T{S{X~WWP T, S, X, X c (T|S)~(X~X)WP T, T, P, W c (T{T)~W{PWP T, T, P, X c (T{T|P)~XWP T, T, Q, R c (T~T{Q)~RWP T, T, R, Q c (T~T{Q)~RWP T, T, R, U c T~T~R{UWP T, T, S, S c (T{S)~(T{S)WP T, T, U, R c T~T~R{UWP T, T, V, W c T~T{V~WWP T, T, W, P c (T{T)~W{PWP T, T, W, V c T~T{W~VWP T, T, W, X c (TT{W)~XWP T, T, X, P c (T{T|P)~XWP T, T, X, W c (TT{W)~XWP T, T, X, X c (T{T)~X|XWP T, U, Q, X c (T{U|Q)~XWP T, U, R, R c (T~U|R)~RWP T, U, R, S c (T{S)~(U{R)WP T, U, R, T c T~R~T{UWP T, U, R, W c (T{W)~U{RWP T, U, R, X c T~U~R|XWP T, U, S, R c (T{S)~(U{R)WP T, U, S, V c (T{U)~V{SWP T, U, T, R c T~T~R{UWP T, U, U, X c T~(U{X){UWP T, U, V, S c (T{U)~V{SWP T, U, V, W c (T{U)~W|VWP T, U, V, X c (T{V)~U{XWP T, U, W, R c (T{W)~U{RWP T, U, W, V c (T{U)~W|VWP T, U, W, X c (U|T{W)~XWP T, U, X, Q c (T{U|Q)~XWP T, U, X, R c T~U~R|XWP T, U, X, U c T~(U{X){UWP T, U, X, V c (T{V)~U{XWP T, U, X, W c (U|T{W)~XWP T, U, X, X c (U|T)~(X~X)WP T, V, P, X c T~(V{X){PWP T, V, Q, S c (T{S)~(V{Q)WP T, V, Q, X c (V~Q|T)~XWP T, V, R, S c (T~S{V)~RWP T, V, R, V c (T{V)~V|RWP T, V, R, W c (T~V|W)~RWP T, V, R, X c (T{V|R)~XWP T, V, S, Q c (T{S)~(V{Q)WP T, V, S, R c (T~S{V)~RWP T, V, S, U c (T{U)~V{SWP T, V, T, W c T~T{V~WWP T, V, U, S c (T{U)~V{SWP T, V, U, W c T~(V{W){UWP T, V, U, X c (T{V)~U{XWP T, V, V, R c (T{V)~V|RWP T, V, V, X c (V|T{V)~XWP T, V, W, R c (T~V|W)~RWP T, V, W, T c T~T{V~WWP T, V, W, U c T~(V{W){UWP T, V, X, P c T~(V{X){PWP T, V, X, Q c (V~Q|T)~XWP T, V, X, R c (T{V|R)~XWP T, V, X, U c (T{V)~U{XWP T, V, X, V c (V|T{V)~XWP T, W, P, Q c T~W~Q{PWP T, W, P, S c (T{S)~(W{P)WP T, W, P, T c (T{T)~W{PWP T, W, P, W c T~(W{W){PWP T, W, Q, P c T~W~Q{PWP T, W, Q, X c (T{WQ)~XWP T, W, R, S c (W~S|T)~RWP T, W, R, U c (T{W)~U{RWP T, W, R, V c (T~V|W)~RWP T, W, R, X c (W|T)~(R~X)WP T, W, S, P c (T{S)~(W{P)WP T, W, S, R c (W~S|T)~RWP T, W, S, X c (T{W|S)~XWP T, W, T, P c (T{T)~W{PWP T, W, T, V c T~T{W~VWP T, W, T, X c (TT{W)~XWP T, W, U, R c (T{W)~U{RWP T, W, U, V c T~(W{V){UWP T, W, U, X c (W|T{U)~XWP T, W, V, R c (T~V|W)~RWP T, W, V, T c T~T{W~VWP T, W, V, U c T~(W{V){UWP T, W, W, P c T~(W{W){PWP T, W, X, Q c (T{WQ)~XWP T, W, X, R c (W|T)~(X~R)WP T, W, X, S c T{W~X{SWP T, W, X, T c (TT{W)~XWP T, W, X, U c (W|T{U)~XWP T, X, O, S c (T{O{S)~XWP T, X, O, X c T~O{X~XWP T, X, P, Q c (T~Q|P)~XWP T, X, P, R c (T{P{R)~XWP T, X, P, S c (T{P~S)~XWP T, X, P, T c (T|P{T)~XWP T, X, P, V c T~(X{V){PWP T, X, Q, P c (T~Q|P)~XWP T, X, Q, Q c (T{Q{Q)~XWP T, X, Q, R c (T|Q)~(X~R)WP T, X, Q, U c (T|Q{U)~XWP T, X, Q, V c X~(Q~V|T)WP T, X, Q, W c (T{WQ)~XWP T, X, Q, X c T~X~Q|XWP T, X, R, P c (T{R{P)~XWP T, X, R, Q c (T|Q)~(X~R)WP T, X, R, U c (T{X)~U|RWP T, X, R, V c (T|R{V)~XWP T, X, R, W c (X~R)~(W|T)WP T, X, R, X c (T{R)~X{XWP T, X, S, O c (T{S)~(X{O)WP T, X, S, P c (T{S)~(X~P)WP T, X, S, W c T{X~W{SWP T, X, S, X c T~X{S~XWP T, X, T, P c (T{T|P)~XWP T, X, T, W c (TT{W)~XWP T, X, T, X c (T{X|T)~XWP T, X, U, Q c (T{U|Q)~XWP T, X, U, R c (T{X)~U|RWP T, X, U, U c T~(X{U){UWP T, X, U, V c (T{V)~U{XWP T, X, U, W c X~(U|T{W)WP T, X, U, X c X~(U|T)~XWP T, X, V, P c T~(X{V){PWP T, X, V, Q c X~(V~Q|T)WP T, X, V, R c (T{V|R)~XWP T, X, V, U c (T{V)~U{XWP T, X, V, V c X~(V|T{V)WP T, X, W, Q c (T{WQ)~XWP T, X, W, R c X~(W|T)~RWP T, X, W, S c T{X~W{SWP T, X, W, T c (TT{W)~XWP T, X, W, U c X~(W|T{U)WP T, X, X, O c T~O{X~XWP T, X, X, Q c T~X~Q|XWP T, X, X, R c (T{R)~X{XWP T, X, X, S c T~X{X~SWP T, X, X, T c T{X~X|TWP T, X, X, U c (X~X)~(U|T)WP T, X, X, X c T~(X{X)|XWP U, O, R, X c (U{O{R)~XWP U, O, X, R c (U{O{R)~XWP U, O, X, X c U~O{X~XWP U, P, Q, X c (U{P{Q)~XWP U, P, R, W c (U{R)~(P{W)WP U, P, R, X c (U{P~R)~XWP U, P, S, W c (U{S)~W{PWP U, P, S, X c (U|P{S)~XWP U, P, W, R c (U{R)~(P{W)WP U, P, W, S c (U{S)~W{PWP U, P, X, Q c (U{P{Q)~XWP U, P, X, R c (U{P~R)~XWP U, P, X, S c (U|P{S)~XWP U, Q, P, X c (U{Q{P)~XWP U, Q, R, V c U~Q~V|RWP U, Q, R, X c (U~Q|R)~XWP U, Q, T, X c (U|Q{T)~XWP U, Q, U, X c U~Q~U{XWP U, Q, V, R c U~Q~V|RWP U, Q, X, P c (U{Q{P)~XWP U, Q, X, R c UQ~X~RWP U, Q, X, T c (U|Q{T)~XWP U, Q, X, U c U~Q~U{XWP U, Q, X, X c (U{Q)~X{XWP U, R, O, X c (U{R{O)~XWP U, R, P, W c (U{R)~(P{W)WP U, R, P, X c (U{R)~(P~X)WP U, R, Q, V c (U{R)~(Q{V)WP U, R, Q, X c U~RQ~XWP U, R, R, R c (U{R)~(R~R)WP U, R, R, S c (U~S{R)~RWP U, R, R, T c (U~T|R)~RWP U, R, R, U c (U{R)~(R{U)WP U, R, R, V c (U{R~V)~RWP U, R, R, X c (U|R)~(R~X)WP U, R, S, R c (U~S{R)~RWP U, R, S, T c (U{R)~(S{T)WP U, R, S, X c U~R~S{XWP U, R, T, R c (U~T|R)~RWP U, R, T, S c (U{R)~(T{S)WP U, R, T, T c U{R~T~TWP U, R, T, W c U~(T{W){RWP U, R, T, X c U~R~T|XWP U, R, U, R c (U{R)~(U{R)WP U, R, U, V c (U{U)~V|RWP U, R, U, W c U~(U{W)|RWP U, R, U, X c (U|R{U)~XWP U, R, V, Q c (U{R)~(V{Q)WP U, R, V, R c (U{R~V)~RWP U, R, V, U c (U{V)~U{RWP U, R, V, V c U~(V{V)|RWP U, R, V, X c U~R{V~XWP U, R, W, P c (U{R)~(W{P)WP U, R, W, T c U~(W{T){RWP U, R, W, U c (U{W)~U|RWP U, R, W, X c U{R{W~XWP U, R, X, O c (U{R)~(X{O)WP U, R, X, P c (U{R)~(X~P)WP U, R, X, Q c U~R~XQWP U, R, X, R c (U|R)~(X~R)WP U, R, X, S c U~R~S{XWP U, R, X, T c U~R~T|XWP U, R, X, U c (U|R{U)~XWP U, R, X, V c U~R{X~VWP U, R, X, W c U{R{X~WWP U, R, X, X c U~(R{X){XWP U, S, P, W c (U{S)~W{PWP U, S, P, X c (U{S|P)~XWP U, S, R, R c (U~S{R)~RWP U, S, R, T c (U{R)~(S{T)WP U, S, R, X c U~S~R{XWP U, S, T, R c (U{R)~(S{T)WP U, S, T, V c (U{T)~V{SWP U, S, U, X c US~U~XWP U, S, V, T c (U{T)~V{SWP U, S, V, X c (U|S{V)~XWP U, S, W, P c (U{S)~W{PWP U, S, W, X c U~(S{W){XWP U, S, X, P c (U{S|P)~XWP U, S, X, R c U~(S{X){RWP U, S, X, U c US~X~UWP U, S, X, V c (U|S{V)~XWP U, S, X, W c U~(S{W){XWP U, S, X, X c (U{S)~X|XWP U, T, Q, X c (U{T|Q)~XWP U, T, R, R c (U~T|R)~RWP U, T, R, S c (U{R)~(T{S)WP U, T, R, T c U{T~R~TWP U, T, R, W c U~(T{W){RWP U, T, R, X c U~T~R|XWP U, T, S, R c (U{R)~(T{S)WP U, T, S, V c (U{T)~V{SWP U, T, T, R c U{T~T~RWP U, T, U, X c U{T~(U{X)WP U, T, V, S c (U{T)~V{SWP U, T, V, W c U{T~(V{W)WP U, T, V, X c U~(T{V){XWP U, T, W, R c U~(T{W){RWP U, T, W, V c U{T~(W{V)WP U, T, W, X c (U|T{W)~XWP U, T, X, Q c (U{T|Q)~XWP U, T, X, R c U~(T{X)|RWP U, T, X, U c U{T~(X{U)WP U, T, X, V c U~(T{V){XWP U, T, X, W c (U|T{W)~XWP U, T, X, X c (U|T)~(X~X)WP U, U, Q, X c (U{UQ)~XWP U, U, R, R c (U{R)~(U{R)WP U, U, R, V c (U{U)~V|RWP U, U, R, W c U~(U{W)|RWP U, U, R, X c (U{U|R)~XWP U, U, S, X c U~US~XWP U, U, T, X c U~U{T~XWP U, U, U, X c (U{U)~U{XWP U, U, V, R c (U{U)~V|RWP U, U, W, R c U~(U{W)|RWP U, U, W, X c (UU{W)~XWP U, U, X, Q c (U{UQ)~XWP U, U, X, R c (U~U|X)~RWP U, U, X, S c U~U~XSWP U, U, X, T c U{(U{X)~TWP U, U, X, U c (U{U)~U{XWP U, U, X, W c (UU{W)~XWP U, U, X, X c U|U{X~XWP U, V, Q, R c U~V~Q|RWP U, V, R, Q c U~V~Q|RWP U, V, R, R c (U{V~R)~RWP U, V, R, U c (U{V)~U{RWP U, V, R, V c U~(V{V)|RWP U, V, R, X c U~R{V~XWP U, V, S, T c (U{T)~V{SWP U, V, S, X c (U{V|S)~XWP U, V, T, S c (U{T)~V{SWP U, V, T, W c U{(V{W)~TWP U, V, T, X c U~(V{T){XWP U, V, U, R c (U{V)~U{RWP U, V, V, R c U~(V{V)|RWP U, V, W, T c U{(V{W)~TWP U, V, W, X c U~(V{W)|XWP U, V, X, R c U~R{V~XWP U, V, X, S c (U{V|S)~XWP U, V, X, T c U~(V{T){XWP U, V, X, W c U~(V{W)|XWP U, V, X, X c (V|U)~(X~X)WP U, W, P, R c (U{R)~(W{P)WP U, W, P, S c (U{S)~W{PWP U, W, R, P c (U{R)~(W{P)WP U, W, R, T c U~(W{T){RWP U, W, R, U c (U{W)~U|RWP U, W, R, X c U{W~X{RWP U, W, S, P c (U{S)~W{PWP U, W, S, X c U~(W{S){XWP U, W, T, R c U~(W{T){RWP U, W, T, V c U{(W{V)~TWP U, W, T, X c (U{W|T)~XWP U, W, U, R c (U{W)~U|RWP U, W, U, X c (UU{W)~XWP U, W, V, T c U{(W{V)~TWP U, W, V, X c U~(W{V)|XWP U, W, X, R c U{W~X{RWP U, W, X, S c U~(W{S){XWP U, W, X, T c (U{W|T)~XWP U, W, X, U c (UU{W)~XWP U, W, X, V c U~(W{V)|XWP U, X, O, R c (U{O{R)~XWP U, X, O, X c U~O{X~XWP U, X, P, Q c (U{P{Q)~XWP U, X, P, R c (U{P~R)~XWP U, X, P, S c (U|P{S)~XWP U, X, Q, P c (U{Q{P)~XWP U, X, Q, R c U~XQ~RWP U, X, Q, T c (U|Q{T)~XWP U, X, Q, U c U~Q~U{XWP U, X, Q, X c U~(XQ{X)WP U, X, R, O c (U{R)~(X{O)WP U, X, R, P c (U{R)~(X~P)WP U, X, R, Q c U~X~RQWP U, X, R, R c (U|R)~(X~R)WP U, X, R, S c U~(X{S){RWP U, X, R, T c U~(X{T)|RWP U, X, R, U c (U|R{U)~XWP U, X, R, V c U~R{X~VWP U, X, R, W c U{X~W{RWP U, X, R, X c (U{XR)~XWP U, X, S, P c (U{S|P)~XWP U, X, S, R c U~(X{S){RWP U, X, S, U c U~XS~UWP U, X, S, V c (U|S{V)~XWP U, X, S, W c U~(S{W){XWP U, X, S, X c (U{S)~X|XWP U, X, T, Q c (U{T|Q)~XWP U, X, T, R c U~(X{T)|RWP U, X, T, U c (U{X)~T{UWP U, X, T, V c U~(T{V){XWP U, X, T, W c (U|T{W)~XWP U, X, T, X c (U|T)~(X~X)WP U, X, U, Q c (U{UQ)~XWP U, X, U, R c (U~U|X)~RWP U, X, U, S c U~X~USWP U, X, U, T c U{(X{U)~TWP U, X, U, U c (U{U)~U{XWP U, X, U, W c (UU{W)~XWP U, X, U, X c (U{X|U)~XWP U, X, V, R c U~R{X~VWP U, X, V, S c (U{V|S)~XWP U, X, V, T c U~(V{T){XWP U, X, V, W c U~(V{W)|XWP U, X, V, X c X~(V|U)~XWP U, X, W, R c U{X~W{RWP U, X, W, S c U~(W{S){XWP U, X, W, T c (U{W|T)~XWP U, X, W, U c (UU{W)~XWP U, X, W, V c U~(W{V)|XWP U, X, X, O c U~O{X~XWP U, X, X, Q c U~(X{XQ)WP U, X, X, R c U~X{X~RWP U, X, X, S c (U{S)~X|XWP U, X, X, T c (U|T)~(X~X)WP U, X, X, U c U{X~X|UWP U, X, X, V c (X~X)~(V|U)WP V, O, Q, X c (V{O{Q)~XWP V, O, X, Q c (V{O{Q)~XWP V, O, X, X c V~O{X~XWP V, P, P, X c (V{P{P)~XWP V, P, Q, W c (V{Q)~(P{W)WP V, P, Q, X c (V{P~Q)~XWP V, P, R, S c (V~S|P)~RWP V, P, R, W c (V{R)~W{PWP V, P, R, X c (V|P{R)~XWP V, P, S, R c (V~S|P)~RWP V, P, T, X c (V{X)~T{PWP V, P, W, Q c (V{Q)~(P{W)WP V, P, W, R c (V{R)~W{PWP V, P, X, P c (V{P{P)~XWP V, P, X, Q c (V{P~Q)~XWP V, P, X, R c (V|P{R)~XWP V, P, X, T c (V{X)~T{PWP V, P, X, X c (V{P)~X{XWP V, Q, O, X c (V{Q{O)~XWP V, Q, P, W c (V{Q)~(P{W)WP V, Q, P, X c (V{Q)~(P~X)WP V, Q, Q, V c (V{Q)~(Q{V)WP V, Q, R, R c (V{Q)~(R~R)WP V, Q, R, U c (V{Q)~(R{U)WP V, Q, S, T c (V{Q)~(S{T)WP V, Q, S, X c (V|Q{S)~XWP V, Q, T, S c (V{Q)~(T{S)WP V, Q, T, X c (V~Q|T)~XWP V, Q, U, R c (V{Q)~(U{R)WP V, Q, V, Q c (V{Q)~(V{Q)WP V, Q, W, P c (V{Q)~(W{P)WP V, Q, W, X c V{Q{W~XWP V, Q, X, O c (V{Q)~(X{O)WP V, Q, X, P c (V{Q)~(X~P)WP V, Q, X, S c V~(Q{X){SWP V, Q, X, T c (V~Q|T)~XWP V, Q, X, W c V{Q{X~WWP V, Q, X, X c V~X{Q~XWP V, R, P, S c (V~S|P)~RWP V, R, P, W c (V{R)~W{PWP V, R, P, X c (V{R|P)~XWP V, R, Q, R c (V{Q)~(R~R)WP V, R, Q, U c (V{Q)~(R{U)WP V, R, R, Q c (V{Q)~(R~R)WP V, R, R, S c V~R~S|RWP V, R, R, U c (V~R{U)~RWP V, R, R, X c V~(R{X)|RWP V, R, S, P c (V~S|P)~RWP V, R, S, R c V~R~S|RWP V, R, S, T c (V{S~T)~RWP V, R, S, W c V~(R{W){SWP V, R, S, X c (V|S)~(R~X)WP V, R, T, S c (V{T~S)~RWP V, R, T, V c (V{T)~V|RWP V, R, T, W c (V~T|W)~RWP V, R, T, X c (V|R{T)~XWP V, R, U, Q c V~U~Q|RWP V, R, U, R c (V~R{U)~RWP V, R, U, U c (V{U)~U{RWP V, R, U, V c (V{V)~U|RWP V, R, U, X c (V{UR)~XWP V, R, V, T c V~(V{T)|RWP V, R, V, U c (V{V)~U|RWP V, R, W, P c (V{R)~W{PWP V, R, W, S c V~(R{W){SWP V, R, W, T c (V~T|W)~RWP V, R, W, W c (R{W)~W|VWP V, R, X, P c (V{R|P)~XWP V, R, X, R c V~(R{X)|RWP V, R, X, S c (V|S)~(R~X)WP V, R, X, T c (V|R{T)~XWP V, R, X, U c V~X{R~UWP V, R, X, X c (V{R)~X|XWP V, S, P, R c (V~S|P)~RWP V, S, Q, T c (V{Q)~(S{T)WP V, S, Q, X c (V{S|Q)~XWP V, S, R, P c (V~S|P)~RWP V, S, R, R c V~S~R|RWP V, S, R, T c (V{S~T)~RWP V, S, R, W c V~(S{W)|RWP V, S, R, X c (V|S)~(R~X)WP V, S, S, V c (V{S)~V{SWP V, S, S, X c (S~S|V)~XWP V, S, T, Q c (V{Q)~(S{T)WP V, S, T, R c (V{S~T)~RWP V, S, T, U c V~(T{U){SWP V, S, U, T c V~(U{T){SWP V, S, U, X c (V|S{U)~XWP V, S, V, S c (V{S)~V{SWP V, S, V, W c (V{S)~W|VWP V, S, W, R c V~(S{W)|RWP V, S, W, V c (V{S)~W|VWP V, S, W, X c (V{WS)~XWP V, S, X, Q c (V{S|Q)~XWP V, S, X, R c (V|S)~(X~R)WP V, S, X, S c (S~S|V)~XWP V, S, X, U c (V|S{U)~XWP V, S, X, W c (V{WS)~XWP V, T, P, X c (V{X)~T{PWP V, T, Q, S c (V{Q)~(T{S)WP V, T, Q, X c (V~Q|T)~XWP V, T, R, S c (V{T~S)~RWP V, T, R, V c (V{T)~V|RWP V, T, R, W c (V~T|W)~RWP V, T, R, X c (V{T|R)~XWP V, T, S, Q c (V{Q)~(T{S)WP V, T, S, R c (V{T~S)~RWP V, T, S, U c V~(T{U){SWP V, T, T, W c V~W{T~TWP V, T, U, S c V~(T{U){SWP V, T, U, W c (V{W)~T{UWP V, T, U, X c (V{T)~U{XWP V, T, V, R c (V{T)~V|RWP V, T, V, X c (V|T{V)~XWP V, T, W, R c (V~T|W)~RWP V, T, W, T c V~W{T~TWP V, T, W, U c (V{W)~T{UWP V, T, X, P c (V{X)~T{PWP V, T, X, Q c (V~Q|T)~XWP V, T, X, R c (V{T|R)~XWP V, T, X, U c (V{T)~U{XWP V, T, X, V c (V|T{V)~XWP V, U, Q, R c V~U~Q|RWP V, U, R, Q c V~U~Q|RWP V, U, R, R c (V~R{U)~RWP V, U, R, U c (V{U)~U{RWP V, U, R, V c (V{V)~U|RWP V, U, R, X c (V{UR)~XWP V, U, S, T c V~(U{T){SWP V, U, S, X c (V{U|S)~XWP V, U, T, S c V~(U{T){SWP V, U, T, W c (V{W)~T{UWP V, U, T, X c (V{T)~U{XWP V, U, U, R c (V{U)~U{RWP V, U, V, R c (V{V)~U|RWP V, U, W, T c (V{W)~T{UWP V, U, W, X c (V|U{W)~XWP V, U, X, R c (V{UR)~XWP V, U, X, S c (V{U|S)~XWP V, U, X, T c (V{T)~U{XWP V, U, X, W c (V|U{W)~XWP V, U, X, X c (V|U)~(X~X)WP V, V, Q, Q c (V{Q)~(V{Q)WP V, V, R, T c V~(V{T)|RWP V, V, R, U c (V{V)~U|RWP V, V, S, S c V~(V{S){SWP V, V, S, W c V~V{S~WWP V, V, T, R c V~(V{T)|RWP V, V, T, X c (V{V|T)~XWP V, V, U, R c (V{V)~U|RWP V, V, W, S c V~V{W~SWP V, V, W, X c (VV{W)~XWP V, V, X, T c (V{V|T)~XWP V, V, X, W c (VV{W)~XWP V, V, X, X c V|V{X~XWP V, W, P, Q c (V{Q)~(W{P)WP V, W, P, R c (V{R)~W{PWP V, W, Q, P c (V{Q)~(W{P)WP V, W, Q, X c V{W~X{QWP V, W, R, P c (V{R)~W{PWP V, W, R, S c V~(W{R){SWP V, W, R, T c (V~T|W)~RWP V, W, R, W c (W{R)~W|VWP V, W, S, R c V~(W{S)|RWP V, W, S, V c (V{S)~W|VWP V, W, S, X c (V{WS)~XWP V, W, T, R c (V~T|W)~RWP V, W, T, T c V~W{T~TWP V, W, T, U c (V{W)~T{UWP V, W, U, T c (V{W)~T{UWP V, W, U, X c (V{W|U)~XWP V, W, V, S c V~V{W~SWP V, W, V, X c (VV{W)~XWP V, W, W, R c W~(W{R)|VWP V, W, W, X c (W|V{W)~XWP V, W, X, Q c V{W~X{QWP V, W, X, S c (V{WS)~XWP V, W, X, U c (V{W|U)~XWP V, W, X, V c (VV{W)~XWP V, W, X, W c (W|V{W)~XWP V, W, X, X c (W|V)~(X~X)WP V, X, O, Q c (V{O{Q)~XWP V, X, O, X c V~O{X~XWP V, X, P, P c (V{P{P)~XWP V, X, P, Q c (V{P~Q)~XWP V, X, P, R c (V|P{R)~XWP V, X, P, T c (V{X)~T{PWP V, X, P, X c (V{P)~X{XWP V, X, Q, O c (V{Q)~(X{O)WP V, X, Q, P c (V{Q)~(X~P)WP V, X, Q, S c V~(X{Q){SWP V, X, Q, T c (V~Q|T)~XWP V, X, Q, W c V{X~W{QWP V, X, Q, X c V~X{Q~XWP V, X, R, P c (V{R|P)~XWP V, X, R, R c V~(X{R)|RWP V, X, R, S c (V|S)~(X~R)WP V, X, R, T c (V|R{T)~XWP V, X, R, U c V~X{R~UWP V, X, R, X c (V{R)~X|XWP V, X, S, Q c V~(X{Q){SWP V, X, S, R c (V|S)~(X~R)WP V, X, S, S c X~(S~S|V)WP V, X, S, U c (V|S{U)~XWP V, X, S, W c (V{WS)~XWP V, X, T, P c (V{X)~T{PWP V, X, T, Q c (V~Q|T)~XWP V, X, T, R c (V{T|R)~XWP V, X, T, U c (V{T)~U{XWP V, X, T, V c (V|T{V)~XWP V, X, U, R c V~X{U~RWP V, X, U, S c (V{U|S)~XWP V, X, U, T c (V{T)~U{XWP V, X, U, W c (V|U{W)~XWP V, X, U, X c (V|U)~(X~X)WP V, X, V, T c (V{V|T)~XWP V, X, V, W c (VV{W)~XWP V, X, V, X c (V{X|V)~XWP V, X, W, Q c V{X~W{QWP V, X, W, S c (V{WS)~XWP V, X, W, U c (V{W|U)~XWP V, X, W, V c (VV{W)~XWP V, X, W, W c X~(W|V{W)WP V, X, W, X c X~(W|V)~XWP V, X, X, O c V~O{X~XWP V, X, X, P c (V{P)~X{XWP V, X, X, Q c V~X{X~QWP V, X, X, R c (V{R)~X|XWP V, X, X, U c (V|U)~(X~X)WP V, X, X, V c V{X~X|VWP V, X, X, W c (X~X)~(W|V)WP V, X, X, X c V~X{X{XWP W, O, P, X c (W{O{P)~XWP W, O, X, P c (W{O{P)~XWP W, O, X, X c (W{O)~X{XWP W, P, O, X c (W{P{O)~XWP W, P, P, W c (W{P)~(P{W)WP W, P, P, X c (W{P)~(P~X)WP W, P, Q, T c W~Q~T{PWP W, P, Q, V c (W{P)~(Q{V)WP W, P, Q, W c (W{Q)~W{PWP W, P, Q, X c (W|P{Q)~XWP W, P, R, R c (W{P)~(R~R)WP W, P, R, U c (W{P)~(R{U)WP W, P, R, V c W~(R{V){PWP W, P, S, T c (W{P)~(S{T)WP W, P, S, U c W~(S{U){PWP W, P, T, Q c W~T~Q{PWP W, P, T, S c (W{P)~(T{S)WP W, P, T, T c W~(T{T){PWP W, P, T, W c (W{W)~T{PWP W, P, U, R c (W{P)~(U{R)WP W, P, U, S c W~(U{S){PWP W, P, V, Q c (W{P)~(V{Q)WP W, P, V, R c W~(V{R){PWP W, P, W, P c (W{P)~(W{P)WP W, P, W, Q c W~(W{Q){PWP W, P, W, T c (W{W)~T{PWP W, P, W, X c W{P{W~XWP W, P, X, O c (W{P)~(X{O)WP W, P, X, P c (W{P)~(X~P)WP W, P, X, Q c (W|P{Q)~XWP W, P, X, W c W{P{X~WWP W, P, X, X c W~P~X{XWP W, Q, P, T c W~Q~T{PWP W, Q, P, V c (W{P)~(Q{V)WP W, Q, P, W c (W{Q)~W{PWP W, Q, P, X c (W{Q|P)~XWP W, Q, Q, X c (W{QQ)~XWP W, Q, R, X c (W|Q{R)~XWP W, Q, T, P c W~Q~T{PWP W, Q, T, X c (WQ{T)~XWP W, Q, V, P c (W{P)~(Q{V)WP W, Q, V, X c W~(Q{V){XWP W, Q, W, P c (W{Q)~W{PWP W, Q, X, P c (W{Q|P)~XWP W, Q, X, Q c (W{QQ)~XWP W, Q, X, R c (W|Q{R)~XWP W, Q, X, T c (WQ{T)~XWP W, Q, X, V c W~(Q{X)|VWP W, Q, X, X c (W{Q)~X|XWP W, R, P, R c (W{P)~(R~R)WP W, R, P, U c (W{P)~(R{U)WP W, R, P, V c W~(R{V){PWP W, R, Q, X c (W{R|Q)~XWP W, R, R, P c (W{P)~(R~R)WP W, R, R, R c (W~R{R)~RWP W, R, R, X c (W{RR)~XWP W, R, S, T c (W~S|T)~RWP W, R, S, V c (W{R)~V{SWP W, R, S, X c (W|R{S)~XWP W, R, T, S c (W~S|T)~RWP W, R, T, U c (W{T)~U{RWP W, R, T, V c R~(T~V|W)WP W, R, T, X c (W|T)~(R~X)WP W, R, U, P c (W{P)~(R{U)WP W, R, U, T c (W{T)~U{RWP W, R, U, U c (W{U)~U|RWP W, R, U, X c W~(R{U){XWP W, R, V, P c W~(R{V){PWP W, R, V, S c (W{R)~V{SWP W, R, V, T c R~(V~T|W)WP W, R, V, W c (W{R)~W|VWP W, R, W, V c (W{R)~W|VWP W, R, X, Q c (W{R|Q)~XWP W, R, X, R c (W{RR)~XWP W, R, X, S c (W|R{S)~XWP W, R, X, T c (W|T)~(R~X)WP W, R, X, U c W~(R{U){XWP W, S, P, T c (W{P)~(S{T)WP W, S, P, U c W~(S{U){PWP W, S, R, T c (W~S|T)~RWP W, S, R, V c (W{S)~V|RWP W, S, R, X c (W{S|R)~XWP W, S, S, X c (W{SS)~XWP W, S, T, P c (W{P)~(S{T)WP W, S, T, R c (W~S|T)~RWP W, S, T, X c (W|S{T)~XWP W, S, U, P c W~(S{U){PWP W, S, U, X c (W{S)~U{XWP W, S, V, R c (W{S)~V|RWP W, S, V, V c W~(S{V)|VWP W, S, V, X c (WS{V)~XWP W, S, X, R c (W{S|R)~XWP W, S, X, S c (W{SS)~XWP W, S, X, T c (W|S{T)~XWP W, S, X, U c (W{S)~U{XWP W, S, X, V c (WS{V)~XWP W, T, P, Q c W~T~Q{PWP W, T, P, S c (W{P)~(T{S)WP W, T, P, T c W~(T{T){PWP W, T, P, W c (W{W)~T{PWP W, T, Q, P c W~T~Q{PWP W, T, Q, X c (WQ{T)~XWP W, T, R, S c (W~S|T)~RWP W, T, R, U c (W{T)~U{RWP W, T, R, V c (T~V|W)~RWP W, T, R, X c (W|T)~(R~X)WP W, T, S, P c (W{P)~(T{S)WP W, T, S, R c (W~S|T)~RWP W, T, S, X c (W{T|S)~XWP W, T, T, P c W~(T{T){PWP W, T, T, V c W~V{T~TWP W, T, T, X c (W{TT)~XWP W, T, U, R c (W{T)~U{RWP W, T, U, V c W~(T{U)|VWP W, T, U, X c (W|T{U)~XWP W, T, V, R c (T~V|W)~RWP W, T, V, T c W~V{T~TWP W, T, V, U c W~(T{U)|VWP W, T, W, P c (W{W)~T{PWP W, T, X, Q c (WQ{T)~XWP W, T, X, R c (W|T)~(X~R)WP W, T, X, S c (W{T|S)~XWP W, T, X, T c (W{TT)~XWP W, T, X, U c (W|T{U)~XWP W, U, P, R c (W{P)~(U{R)WP W, U, P, S c W~(U{S){PWP W, U, R, P c (W{P)~(U{R)WP W, U, R, T c (W{T)~U{RWP W, U, R, U c (W{U)~U|RWP W, U, R, X c W~(U{R){XWP W, U, S, P c W~(U{S){PWP W, U, S, X c (W{S)~U{XWP W, U, T, R c (W{T)~U{RWP W, U, T, V c W~(U{T)|VWP W, U, T, X c (W{U|T)~XWP W, U, U, R c (W{U)~U|RWP W, U, U, X c (W{UU)~XWP W, U, V, T c W~(U{T)|VWP W, U, V, X c (W|U{V)~XWP W, U, X, R c W~(U{R){XWP W, U, X, S c (W{S)~U{XWP W, U, X, T c (W{U|T)~XWP W, U, X, U c (W{UU)~XWP W, U, X, V c (W|U{V)~XWP W, V, P, Q c (W{P)~(V{Q)WP W, V, P, R c W~(V{R){PWP W, V, Q, P c (W{P)~(V{Q)WP W, V, Q, X c W~(V{Q){XWP W, V, R, P c W~(V{R){PWP W, V, R, S c (W{R)~V{SWP W, V, R, T c (V~T|W)~RWP W, V, R, W c (W{R)~W|VWP W, V, S, R c (W{S)~V|RWP W, V, S, V c W~(V{S)|VWP W, V, S, X c (WS{V)~XWP W, V, T, R c (V~T|W)~RWP W, V, T, T c W~V{T~TWP W, V, T, U c (W{V)~T{UWP W, V, U, T c (W{V)~T{UWP W, V, U, X c (W{V|U)~XWP W, V, V, S c W~(V{S)|VWP W, V, V, X c (W{VV)~XWP W, V, W, R c W~(W{R)|VWP W, V, W, X c (W|V{W)~XWP W, V, X, Q c W~(V{Q){XWP W, V, X, S c (WS{V)~XWP W, V, X, U c (W{V|U)~XWP W, V, X, V c (W{VV)~XWP W, V, X, W c (W|V{W)~XWP W, V, X, X c (W|V)~(X~X)WP W, W, P, P c (W{P)~(W{P)WP W, W, P, Q c W~(W{Q){PWP W, W, P, T c (W{W)~T{PWP W, W, P, X c W~(W{P){XWP W, W, Q, P c W~(W{Q){PWP W, W, R, V c W~(W{R)|VWP W, W, T, P c (W{W)~T{PWP W, W, V, R c W~(W{R)|VWP W, W, V, X c (W{W|V)~XWP W, W, W, X c W{W~W{XWP W, W, X, P c W{W~X{PWP W, W, X, V c (W{W|V)~XWP W, W, X, W c W~W{X{WWP W, W, X, X c W|W{X~XWP W, X, O, P c (W{O{P)~XWP W, X, O, X c W~X{O{XWP W, X, P, O c (W{P)~(X{O)WP W, X, P, P c W~(X{P){PWP W, X, P, Q c (W|P{Q)~XWP W, X, P, W c W~X{P{WWP W, X, P, X c W~X{P~XWP W, X, Q, P c (W{Q|P)~XWP W, X, Q, Q c (W{QQ)~XWP W, X, Q, R c (W|Q{R)~XWP W, X, Q, T c (WQ{T)~XWP W, X, Q, V c W~X{Q{VWP W, X, Q, X c (W{Q)~X|XWP W, X, R, Q c (W{R|Q)~XWP W, X, R, R c W~X{R~RWP W, X, R, S c (W|R{S)~XWP W, X, R, T c (W|T)~(X~R)WP W, X, R, U c W~X{R{UWP W, X, S, R c (W{S|R)~XWP W, X, S, S c (W{SS)~XWP W, X, S, T c W~X{S{TWP W, X, S, U c (W{S)~U{XWP W, X, S, V c (WS{V)~XWP W, X, T, Q c (WQ{T)~XWP W, X, T, R c (W|T)~(X~R)WP W, X, T, S c (W{X)~T|SWP W, X, T, T c (W{TT)~XWP W, X, T, U c (W|T{U)~XWP W, X, U, R c W~X{U{RWP W, X, U, S c (W{S)~U{XWP W, X, U, T c (W{U|T)~XWP W, X, U, U c (W{UU)~XWP W, X, U, V c (W|U{V)~XWP W, X, V, Q c W~X{V{QWP W, X, V, S c (WS{V)~XWP W, X, V, U c (W{V|U)~XWP W, X, V, V c (W{VV)~XWP W, X, V, W c (W|V{W)~XWP W, X, V, X c (W|V)~(X~X)WP W, X, W, P c W{X~W{PWP W, X, W, V c (W{W|V)~XWP W, X, W, W c W{X{W~WWP W, X, W, X c (W{X|W)~XWP W, X, X, O c W~X{X{OWP W, X, X, P c W~X{X~PWP W, X, X, Q c (W{Q)~X|XWP W, X, X, V c (W|V)~(X~X)WP W, X, X, W c W{X~X|WWP W, X, X, X c (W{XX)~XWP X, O, O, X c (X{O{O)~XWP X, O, P, W c (X{O)~(P{W)WP X, O, P, X c (X{O)~(P~X)WP X, O, Q, V c (X{O)~(Q{V)WP X, O, Q, X c (X{O~Q)~XWP X, O, R, R c (X{O)~(R~R)WP X, O, R, U c (X{O)~(R{U)WP X, O, R, X c (X{O~R)~XWP X, O, S, T c (X{O)~(S{T)WP X, O, S, X c (X{O~S)~XWP X, O, T, S c (X{O)~(T{S)WP X, O, T, X c (X{O~T)~XWP X, O, U, R c (X{O)~(U{R)WP X, O, U, X c (X{O~U)~XWP X, O, V, Q c (X{O)~(V{Q)WP X, O, V, X c (X{O~V)~XWP X, O, W, P c (X{O)~(W{P)WP X, O, W, X c X{O{W~XWP X, O, X, O c (X{O)~(X{O)WP X, O, X, P c (X{O)~(X~P)WP X, O, X, Q c (X{O~Q)~XWP X, O, X, R c (X{O~R)~XWP X, O, X, S c (X{O~S)~XWP X, O, X, T c (X{O~T)~XWP X, O, X, U c (X{O~U)~XWP X, O, X, V c (X{O~V)~XWP X, O, X, W c X{O{X~WWP X, O, X, X c (X{O~X)~XWP X, P, O, W c X~(P{O{W)WP X, P, O, X c (X{P~O)~XWP X, P, P, V c X~(P{P{V)WP X, P, P, W c X~(P{P~W)WP X, P, P, X c (X{P|P)~XWP X, P, Q, R c X~(P{Q)~RWP X, P, Q, S c X~(P{Q~S)WP X, P, Q, T c X~(Q~T|P)WP X, P, Q, U c X~(P{Q{U)WP X, P, Q, V c (X~P)~(Q{V)WP X, P, Q, W c X~(Q|P{W)WP X, P, Q, X c X~(Q|P)~XWP X, P, R, Q c X~(P{Q)~RWP X, P, R, R c X~P~R~RWP X, P, R, S c (X~R)~(S|P)WP X, P, R, T c X~(P{R{T)WP X, P, R, U c (X~P)~(R{U)WP X, P, R, V c X~(R|P{V)WP X, P, S, Q c X~(P{S~Q)WP X, P, S, R c X~(S|P)~RWP X, P, S, S c X~(P{S{S)WP X, P, S, T c (X~P)~(S{T)WP X, P, S, U c X~(S|P{U)WP X, P, T, Q c X~(T~Q|P)WP X, P, T, R c X~(P{T{R)WP X, P, T, S c (X~P)~(T{S)WP X, P, T, T c X~(T|P{T)WP X, P, T, V c (X{V)~T{PWP X, P, U, Q c X~(P{U{Q)WP X, P, U, R c (X~P)~(U{R)WP X, P, U, S c X~(U|P{S)WP X, P, V, P c X~(P{V{P)WP X, P, V, Q c (X~P)~(V{Q)WP X, P, V, R c X~(V|P{R)WP X, P, V, T c (X{V)~T{PWP X, P, V, X c X{(P{V)~XWP X, P, W, O c X~(P{W){OWP X, P, W, P c (X{P)~W{PWP X, P, W, Q c X~(W|P{Q)WP X, P, W, W c X{(P{W)~WWP X, P, W, X c X{P~W~XWP X, P, X, O c X~P~X{OWP X, P, X, P c X~(P{X|P)WP X, P, X, Q c (X~X)~(Q|P)WP X, P, X, V c X{(P{V)~XWP X, P, X, W c X{P~X~WWP X, P, X, X c (X{P)~X|XWP X, Q, O, V c X~(Q{O{V)WP X, Q, O, X c (X{Q~O)~XWP X, Q, P, R c X~(Q{P)~RWP X, Q, P, S c X~(Q~S{P)WP X, Q, P, T c X~(Q~T|P)WP X, Q, P, U c X~(Q{P{U)WP X, Q, P, V c X~(Q{P~V)WP X, Q, P, W c X~(Q|P{W)WP X, Q, P, X c X~(Q|P)~XWP X, Q, Q, T c X~(Q{Q{T)WP X, Q, Q, W c X~(QQ{W)WP X, Q, Q, X c (X{Q|Q)~XWP X, Q, R, P c X~(Q{P)~RWP X, Q, R, R c X~(Q~R{R)WP X, Q, R, S c X~(Q{R{S)WP X, Q, R, T c (X~R)~(T|Q)WP X, Q, R, U c XQ~R~UWP X, Q, R, W c X~(R|Q{W)WP X, Q, R, X c (X{Q~X)~RWP X, Q, S, P c X~(Q~S{P)WP X, Q, S, R c X~(Q{S{R)WP X, Q, S, V c (X{Q)~V{SWP X, Q, S, X c X{Q~S~XWP X, Q, T, P c X~(Q~T|P)WP X, Q, T, Q c X~(Q{T{Q)WP X, Q, T, R c X~(T|Q)~RWP X, Q, T, U c X~(T|Q{U)WP X, Q, T, V c X~(Q~V|T)WP X, Q, T, W c X~(T{WQ)WP X, Q, T, X c X~Q~T|XWP X, Q, U, P c X~(Q{U{P)WP X, Q, U, R c X~(Q~U|R)WP X, Q, U, T c X~(U|Q{T)WP X, Q, U, U c X{Q~U~UWP X, Q, U, X c X{(Q{U)~XWP X, Q, V, O c X~(Q{V){OWP X, Q, V, P c X~(Q{V)~PWP X, Q, V, S c (X{Q)~V{SWP X, Q, V, T c X~(Q~V|T)WP X, Q, V, W c X{(Q{V)~WWP X, Q, V, X c X~Q{V~XWP X, Q, W, P c X~(Q{W|P)WP X, Q, W, Q c X~(QQ{W)WP X, Q, W, R c X~(W|Q{R)WP X, Q, W, T c X~(WQ{T)WP X, Q, W, V c (X{Q)~W|VWP X, Q, W, X c X~(Q{W)|XWP X, Q, X, O c (X{Q~O)~XWP X, Q, X, P c X~(Q|P)~XWP X, Q, X, Q c X~(Q{X|Q)WP X, Q, X, R c (X{Q~X)~RWP X, Q, X, S c X{Q~X~SWP X, Q, X, T c X~Q~T|XWP X, Q, X, U c (XQ{X)~UWP X, Q, X, V c X~Q{X~VWP X, Q, X, W c X~(Q{W)|XWP X, Q, X, X c (X~Q|X)~XWP X, R, O, R c (X~R{O)~RWP X, R, O, U c X~(R{O{U)WP X, R, O, X c (X{R~O)~XWP X, R, P, Q c (X~R)~(P{Q)WP X, R, P, R c X~R~P~RWP X, R, P, S c (X~R)~(S|P)WP X, R, P, T c X~(R{P{T)WP X, R, P, U c X~(R{P~U)WP X, R, P, V c X~(R|P{V)WP X, R, Q, P c (X~R)~(Q{P)WP X, R, Q, R c X~(R{Q~R)WP X, R, Q, S c X~(R{Q{S)WP X, R, Q, T c (X~R)~(T|Q)WP X, R, Q, U c X~RQ~UWP X, R, Q, W c X~(R|Q{W)WP X, R, Q, X c X~(R|Q)~XWP X, R, R, O c X~R~R{OWP X, R, R, P c X~R~R~PWP X, R, R, Q c X~(R{R~Q)WP X, R, R, R c X~(R{R{R)WP X, R, R, S c X~(R~S|R)WP X, R, R, U c (X{R~U)~RWP X, R, R, V c (X{R)~V|RWP X, R, R, W c X{R~R~WWP X, R, R, X c (X{R|R)~XWP X, R, S, P c (X~R)~(S|P)WP X, R, S, Q c X~(R{S{Q)WP X, R, S, R c X~(R~S|R)WP X, R, S, U c X{R~S~UWP X, R, S, V c (X~R)~(V|S)WP X, R, S, W c X~(S|R{W)WP X, R, S, X c X~(S|R)~XWP X, R, T, P c X~(R{T{P)WP X, R, T, Q c (X~R)~(T|Q)WP X, R, T, U c X~(R~T|U)WP X, R, T, V c X~(T|R{V)WP X, R, T, W c (X~R)~(W|T)WP X, R, T, X c X{(R{T)~XWP X, R, U, O c X~(R{U){OWP X, R, U, P c X~(R{U)~PWP X, R, U, Q c X~R~UQWP X, R, U, R c (X{R~U)~RWP X, R, U, S c X{R~U~SWP X, R, U, T c X~(R~T|U)WP X, R, U, U c X~(U|R{U)WP X, R, U, V c X~(UR{V)WP X, R, U, W c X{(R{U)~WWP X, R, U, X c (X{R)~U{XWP X, R, V, P c X~(R{V|P)WP X, R, V, R c (X{R)~V|RWP X, R, V, S c (X~R)~(V|S)WP X, R, V, T c X~(V|R{T)WP X, R, V, U c X~V{R~UWP X, R, V, X c X~(R{V)|XWP X, R, W, Q c X~(R{W|Q)WP X, R, W, R c X{R~W~RWP X, R, W, S c X~(W|R{S)WP X, R, W, T c (X~R)~(W|T)WP X, R, W, U c X{(R{U)~WWP X, R, X, O c (X{R~O)~XWP X, R, X, Q c X~(R|Q)~XWP X, R, X, R c X~(R{X|R)WP X, R, X, S c (X~X)~(S|R)WP X, R, X, T c X{(R{T)~XWP X, R, X, U c X{(R{X)~UWP X, R, X, V c X~(R{V)|XWP X, R, X, X c (X{X{X)~RWP X, S, O, T c X~(S{O{T)WP X, S, O, X c (X{S~O)~XWP X, S, P, Q c X~(S~Q{P)WP X, S, P, R c X~(S|P)~RWP X, S, P, S c X~(S{P{S)WP X, S, P, T c X~(S{P~T)WP X, S, P, U c X~(S|P{U)WP X, S, Q, P c X~(S~Q{P)WP X, S, Q, R c X~(S{Q{R)WP X, S, Q, V c X~(S|Q{V)WP X, S, Q, X c X{S~Q~XWP X, S, R, P c X~(S|P)~RWP X, S, R, Q c X~(S{R{Q)WP X, S, R, R c X~(S~R|R)WP X, S, R, U c X{S~R~UWP X, S, R, V c (X~R)~(V|S)WP X, S, R, W c X~(S|R{W)WP X, S, R, X c X~(S|R)~XWP X, S, S, P c X~(S{S{P)WP X, S, S, V c X~(S~S|V)WP X, S, S, W c X~(SS{W)WP X, S, S, X c X{(S{S)~XWP X, S, T, O c X~(S{T){OWP X, S, T, P c X~(S{T)~PWP X, S, T, W c X{(S{T)~WWP X, S, T, X c X~S{T~XWP X, S, U, P c X~(S{U|P)WP X, S, U, R c (X{S)~U{RWP X, S, U, U c XS~U~UWP X, S, U, V c X~(U|S{V)WP X, S, U, W c X{(S{W)~UWP X, S, U, X c X~(S{U)|XWP X, S, V, Q c X~(S{V|Q)WP X, S, V, R c X~(V|S)~RWP X, S, V, S c X~(S~S|V)WP X, S, V, U c X~(V|S{U)WP X, S, V, W c X~(V{WS)WP X, S, W, R c X~(S{W|R)WP X, S, W, S c X~(SS{W)WP X, S, W, T c X{(S{T)~WWP X, S, W, U c X{(S{W)~UWP X, S, W, V c X~(WS{V)WP X, S, X, O c (X{S~O)~XWP X, S, X, Q c X{S~X~QWP X, S, X, R c (X~S|X)~RWP X, S, X, S c X~(S{X|S)WP X, S, X, T c X~S{X~TWP X, S, X, U c X~(S{U)|XWP X, S, X, X c X{S~(X{X)WP X, T, O, S c X~(T{O{S)WP X, T, O, X c (X{T~O)~XWP X, T, P, Q c X~(T~Q|P)WP X, T, P, R c X~(T{P{R)WP X, T, P, S c X~(T{P~S)WP X, T, P, T c X~(T|P{T)WP X, T, P, V c (X{V)~T{PWP X, T, Q, P c X~(T~Q|P)WP X, T, Q, Q c X~(T{Q{Q)WP X, T, Q, R c X~(T|Q)~RWP X, T, Q, U c X~(T|Q{U)WP X, T, Q, V c X~(Q~V|T)WP X, T, Q, W c X~(T{WQ)WP X, T, Q, X c X~T~Q|XWP X, T, R, P c X~(T{R{P)WP X, T, R, Q c X~(T|Q)~RWP X, T, R, U c X~(T~R|U)WP X, T, R, V c X~(T|R{V)WP X, T, R, W c (X~R)~(W|T)WP X, T, R, X c X{(T{R)~XWP X, T, S, O c X~(T{S){OWP X, T, S, P c X~(T{S)~PWP X, T, S, W c X{(T{S)~WWP X, T, S, X c X~T{S~XWP X, T, T, P c X~(T{T|P)WP X, T, T, W c X~(TT{W)WP X, T, T, X c (X{T|T)~XWP X, T, U, Q c X~(T{U|Q)WP X, T, U, R c (X{T)~U|RWP X, T, U, U c X~T{U~UWP X, T, U, V c X{(T{V)~UWP X, T, U, W c X~(U|T{W)WP X, T, U, X c X~(U|T)~XWP X, T, V, P c (X{V)~T{PWP X, T, V, Q c X~(V~Q|T)WP X, T, V, R c X~(T{V|R)WP X, T, V, U c X{(T{V)~UWP X, T, V, V c X~(V|T{V)WP X, T, W, Q c X~(T{WQ)WP X, T, W, R c X~(W|T)~RWP X, T, W, S c X~(T{W|S)WP X, T, W, T c X~(TT{W)WP X, T, W, U c X~(W|T{U)WP X, T, X, O c (X{T~O)~XWP X, T, X, Q c X~T~Q|XWP X, T, X, R c X{(T{R)~XWP X, T, X, S c X~T{X~SWP X, T, X, T c X~(T{X|T)WP X, T, X, U c (X~X)~(U|T)WP X, T, X, X c (X{X)~T|XWP X, U, O, R c X~(U{O{R)WP X, U, O, X c (X{U~O)~XWP X, U, P, Q c X~(U{P{Q)WP X, U, P, R c X~(U{P~R)WP X, U, P, S c X~(U|P{S)WP X, U, Q, P c X~(U{Q{P)WP X, U, Q, R c X~(U~Q|R)WP X, U, Q, T c X~(U|Q{T)WP X, U, Q, U c X{U~Q~UWP X, U, Q, X c X{(U{Q)~XWP X, U, R, O c X~(U{R){OWP X, U, R, P c X~(U{R)~PWP X, U, R, Q c X~U~RQWP X, U, R, R c (X{U~R)~RWP X, U, R, S c X{U~R~SWP X, U, R, T c X~(R~T|U)WP X, U, R, U c X~(U|R{U)WP X, U, R, V c X~(UR{V)WP X, U, R, W c X{(U{R)~WWP X, U, R, X c X{U~(R{X)WP X, U, S, P c X~(U{S|P)WP X, U, S, R c X{U~S~RWP X, U, S, U c X~US~UWP X, U, S, V c X~(U|S{V)WP X, U, S, W c X{U~(S{W)WP X, U, S, X c X~(U{S)|XWP X, U, T, Q c X~(U{T|Q)WP X, U, T, R c (X{T)~U|RWP X, U, T, U c (X{U)~T{UWP X, U, T, V c X{U~(T{V)WP X, U, T, W c X~(U|T{W)WP X, U, T, X c X~(U|T)~XWP X, U, U, Q c X{U~U~QWP X, U, U, R c X~(U{U|R)WP X, U, U, S c X~U~USWP X, U, U, T c (X{U)~T{UWP X, U, U, U c X{(U{U)~UWP X, U, U, W c X~(UU{W)WP X, U, U, X c (X{U|U)~XWP X, U, V, R c X~(UR{V)WP X, U, V, S c X~(U{V|S)WP X, U, V, T c X{U~(V{T)WP X, U, V, W c X~(V|U{W)WP X, U, V, X c X~(V|U)~XWP X, U, W, R c X{(U{R)~WWP X, U, W, S c X{U~(W{S)WP X, U, W, T c X~(U{W|T)WP X, U, W, U c X~(UU{W)WP X, U, W, V c X~(W|U{V)WP X, U, X, O c (X{U~O)~XWP X, U, X, Q c X{(U{Q)~XWP X, U, X, R c X{U~(X{R)WP X, U, X, S c X~(U{S)|XWP X, U, X, T c X~(U|T)~XWP X, U, X, U c X~(U{X|U)WP X, U, X, V c (X~X)~(V|U)WP X, V, O, Q c X~(V{O{Q)WP X, V, O, X c (X{V~O)~XWP X, V, P, P c X~(V{P{P)WP X, V, P, Q c X~(V{P~Q)WP X, V, P, R c X~(V|P{R)WP X, V, P, T c (X{V)~T{PWP X, V, P, X c X{(V{P)~XWP X, V, Q, O c X~(V{Q){OWP X, V, Q, P c X~(V{Q)~PWP X, V, Q, S c X~(V|Q{S)WP X, V, Q, T c X~(V~Q|T)WP X, V, Q, W c X{(V{Q)~WWP X, V, Q, X c X~V{Q~XWP X, V, R, P c X~(V{R|P)WP X, V, R, R c (X{R)~V|RWP X, V, R, S c X~(V|S)~RWP X, V, R, T c X~(V|R{T)WP X, V, R, U c X~V{R~UWP X, V, R, X c X~(V{R)|XWP X, V, S, Q c X~(V{S|Q)WP X, V, S, R c X~(V|S)~RWP X, V, S, S c X~(S~S|V)WP X, V, S, U c X~(V|S{U)WP X, V, S, W c X~(V{WS)WP X, V, T, P c (X{V)~T{PWP X, V, T, Q c X~(V~Q|T)WP X, V, T, R c X~(V{T|R)WP X, V, T, U c X{(V{T)~UWP X, V, T, V c X~(V|T{V)WP X, V, U, R c X~V{U~RWP X, V, U, S c X~(V{U|S)WP X, V, U, T c X{(V{T)~UWP X, V, U, W c X~(V|U{W)WP X, V, U, X c X~(V|U)~XWP X, V, V, T c X~(V{V|T)WP X, V, V, W c X~(VV{W)WP X, V, V, X c (X{V|V)~XWP X, V, W, Q c X{(V{Q)~WWP X, V, W, S c X~(V{WS)WP X, V, W, U c X~(V{W|U)WP X, V, W, V c X~(VV{W)WP X, V, W, W c X~(W|V{W)WP X, V, W, X c X~(W|V)~XWP X, V, X, O c (X{V~O)~XWP X, V, X, P c X{(V{P)~XWP X, V, X, Q c X~V{X~QWP X, V, X, R c X~(V{R)|XWP X, V, X, U c X~(V|U)~XWP X, V, X, V c X~(V{X|V)WP X, V, X, W c (X~X)~(W|V)WP X, V, X, X c X{V~X{XWP X, W, O, P c X~(W{O{P)WP X, W, O, X c X{(W{O)~XWP X, W, P, O c X~(W{P){OWP X, W, P, P c X~(W{P)~PWP X, W, P, Q c X~(W|P{Q)WP X, W, P, W c X{(W{P)~WWP X, W, P, X c X{W~P~XWP X, W, Q, P c X~(W{Q|P)WP X, W, Q, Q c X~(W{QQ)WP X, W, Q, R c X~(W|Q{R)WP X, W, Q, T c X~(WQ{T)WP X, W, Q, V c X{W~(Q{V)WP X, W, Q, X c X~(W{Q)|XWP X, W, R, Q c X~(W{R|Q)WP X, W, R, R c X{W~R~RWP X, W, R, S c X~(W|R{S)WP X, W, R, T c X~(W|T)~RWP X, W, R, U c X{W~(R{U)WP X, W, S, R c X~(W{S|R)WP X, W, S, S c X~(W{SS)WP X, W, S, T c X{W~(S{T)WP X, W, S, U c X{(W{S)~UWP X, W, S, V c X~(WS{V)WP X, W, T, Q c X~(WQ{T)WP X, W, T, R c X~(W|T)~RWP X, W, T, S c X{W~(T{S)WP X, W, T, T c X~(W{TT)WP X, W, T, U c X~(W|T{U)WP X, W, U, R c X{W~(U{R)WP X, W, U, S c X{(W{S)~UWP X, W, U, T c X~(W{U|T)WP X, W, U, U c X~(W{UU)WP X, W, U, V c X~(W|U{V)WP X, W, V, Q c X{W~(V{Q)WP X, W, V, S c X~(WS{V)WP X, W, V, U c X~(W{V|U)WP X, W, V, V c X~(W{VV)WP X, W, V, W c X~(W|V{W)WP X, W, V, X c X~(W|V)~XWP X, W, W, P c X{W~(W{P)WP X, W, W, V c X~(W{W|V)WP X, W, W, W c X{W{W~WWP X, W, W, X c (X{W|W)~XWP X, W, X, O c X{W~X{OWP X, W, X, P c X{W~X~PWP X, W, X, Q c X~(W{Q)|XWP X, W, X, V c X~(W|V)~XWP X, W, X, W c X~(W{X|W)WP X, W, X, X c (X|W)~(X~X)WP X, X, O, O c X~X{O{OWP X, X, O, P c X~X{O~PWP X, X, O, Q c X~X{O~QWP X, X, O, R c X~X{O~RWP X, X, O, S c X~X{O~SWP X, X, O, T c X~X{O~TWP X, X, O, U c X~X{O~UWP X, X, O, V c X~X{O~VWP X, X, O, W c X{(X{O)~WWP X, X, O, X c (X{X~O)~XWP X, X, P, O c X~X{P~OWP X, X, P, P c X~X{P|PWP X, X, P, Q c (X~X)~(Q|P)WP X, X, P, V c X{X~(P{V)WP X, X, P, W c X{X~P~WWP X, X, P, X c X{(X|P)~XWP X, X, Q, O c X~X{Q~OWP X, X, Q, P c (X~X)~(Q|P)WP X, X, Q, Q c X~X{Q|QWP X, X, Q, R c (X{X~Q)~RWP X, X, Q, S c X{X~Q~SWP X, X, Q, T c X~Q~T|XWP X, X, Q, U c X{X~(Q{U)WP X, X, Q, V c X~Q{X~VWP X, X, Q, W c X~(Q{W)|XWP X, X, Q, X c (X{X)Q~XWP X, X, R, O c X~X{R~OWP X, X, R, Q c (X~X)~(R|Q)WP X, X, R, R c X~X{R|RWP X, X, R, S c (X~X)~(S|R)WP X, X, R, T c X{X~(R{T)WP X, X, R, U c X{(X{R)~UWP X, X, R, V c X~(R{V)|XWP X, X, R, X c (X{X{X)~RWP X, X, S, O c X~X{S~OWP X, X, S, Q c X{X~S~QWP X, X, S, R c (X~X)~(S|R)WP X, X, S, S c X{X~(S{S)WP X, X, S, T c (X~X)~(T|S)WP X, X, S, U c X~(S{U)|XWP X, X, S, X c (X{X)~S{XWP X, X, T, O c X~X{T~OWP X, X, T, Q c X~T~Q|XWP X, X, T, R c X{X~(T{R)WP X, X, T, S c (X~X)~(T|S)WP X, X, T, T c X~X{T|TWP X, X, T, U c (X~X)~(U|T)WP X, X, T, X c (X{X)~T|XWP X, X, U, O c X~X{U~OWP X, X, U, Q c X{X~(U{Q)WP X, X, U, R c X~(X|U)~RWP X, X, U, S c X~(U{S)|XWP X, X, U, T c (X~X)~(U|T)WP X, X, U, U c X~X{U|UWP X, X, U, V c (X~X)~(V|U)WP X, X, V, O c X~X{V~OWP X, X, V, P c X{X~(V{P)WP X, X, V, Q c X~V{X~QWP X, X, V, R c X~(V{R)|XWP X, X, V, U c (X~X)~(V|U)WP X, X, V, V c X~X{V|VWP X, X, V, W c (X~X)~(W|V)WP X, X, V, X c X{X{V~XWP X, X, W, O c X{X~W{OWP X, X, W, P c X{X~W~PWP X, X, W, Q c X~(W{Q)|XWP X, X, W, V c (X~X)~(W|V)WP X, X, W, W c (X{XW)~WWP X, X, W, X c X~(X|W)~XWP X, X, X, O c X~X{X~OWP X, X, X, P c X{X~(X|P)WP X, X, X, Q c (X{X)~(XQ)WP X, X, X, R c (X{X{X)~RWP X, X, X, S c X{(X{X)~SWP X, X, X, T c (X{X)~T|XWP X, X, X, V c X{X{X~VWP X, X, X, W c (X~X)~(X|W)WP X, X, X, X c (X{X|X)~XWP