O, Q, S, X c O{Q{S~XRW O, Q, T, W c O{T~W|QRW O, Q, U, U c O{Q{U~URW O, Q, W, T c O{W~T|QRW O, Q, X, S c O{Q{X~SRW O, R, T, V c O{R{T~VRW O, R, V, T c O{R{V~TRW O, S, Q, X c O{S~X{QRW O, S, U, V c O{U~V|SRW O, S, U, W c O{S~W{URW O, S, V, U c O{V~U|SRW O, S, W, U c O{S~W{URW O, S, X, Q c O{S~X{QRW O, T, Q, W c O{T~W|QRW O, T, R, V c O{T~V{RRW O, T, U, W c O{T~U{WRW O, T, V, R c O{T~V{RRW O, T, V, X c O{T~X|VRW O, T, W, Q c O{T~W|QRW O, T, W, U c O{T~U{WRW O, T, X, V c O{T~X|VRW O, U, Q, U c O{U~U{QRW O, U, S, V c O{U~V|SRW O, U, S, W c O{U{S~WRW O, U, T, W c O{U~T{WRW O, U, U, Q c O{U~U{QRW O, U, V, S c O{U~V|SRW O, U, W, S c O{U{W~SRW O, U, W, T c O{U~T{WRW O, V, R, T c O{V~T{RRW O, V, S, U c O{V~U|SRW O, V, T, R c O{V~T{RRW O, V, T, X c O{T~X|VRW O, V, U, S c O{V~U|SRW O, V, X, T c O{X~T|VRW O, W, Q, T c O{W~T|QRW O, W, S, U c O{W~S{URW O, W, T, Q c O{W~T|QRW O, W, T, U c O{W{T~URW O, W, U, S c O{W~S{URW O, W, U, T c O{W{U~TRW O, X, Q, S c O{X~S{QRW O, X, S, Q c O{X~S{QRW O, X, T, V c O{X~T|VRW O, X, V, T c O{X~T|VRW P, P, S, X c P{P{S~XRW P, P, T, W c (T~W)|(P{P)RW P, P, U, U c P{P{U~URW P, P, W, T c (W~T)|(P{P)RW P, P, X, S c P{P{X~SRW P, Q, Q, X c (P{Q~X)~QRW P, Q, R, U c (P{R~U)~QRW P, Q, R, X c (P{R)~X{QRW P, Q, S, T c Q~(S~T|P)RW P, Q, S, W c (P{S)~W|QRW P, Q, S, X c P~Q{S~XRW P, Q, T, S c Q~(T~S|P)RW P, Q, T, U c (P{T)~U{QRW P, Q, T, V c P{Q{T~VRW P, Q, T, W c P~T~W|QRW P, Q, T, X c Q{(T|P)~XRW P, Q, U, R c (P{U~R)~QRW P, Q, U, T c (P{T)~U{QRW P, Q, U, U c P~Q{U~URW P, Q, U, V c Q{U~(V|P)RW P, Q, U, W c (U|P)~W|QRW P, Q, V, T c P{Q{V~TRW P, Q, V, U c Q{(V|P)~URW P, Q, W, S c (P{W)~S{QRW P, Q, W, T c P~W~T|QRW P, Q, W, U c W~(U|P)|QRW P, Q, X, Q c (P{Q~X)~QRW P, Q, X, R c (P{R)~X{QRW P, Q, X, S c P~Q{X~SRW P, Q, X, T c Q{X~(T|P)RW P, Q, X, X c (P{X{X)~QRW P, R, Q, U c (P{R~U)~QRW P, R, Q, X c (P{R)~X{QRW P, R, S, V c (P{S)~V{RRW P, R, S, X c R|P{S~XRW P, R, T, U c (P{U)~T{RRW P, R, T, V c P~R{T~VRW P, R, T, W c P{T~W|RRW P, R, U, Q c (P{R~U)~QRW P, R, U, T c (P{U)~T{RRW P, R, U, U c (PR{U)~URW P, R, U, V c R{(U|P)~VRW P, R, U, W c (P{R)~W{URW P, R, V, S c (P{S)~V{RRW P, R, V, T c P~R{V~TRW P, R, V, U c R{V~(U|P)RW P, R, W, T c P{W~T|RRW P, R, W, U c (P{R)~W{URW P, R, W, X c (P{X)~R{WRW P, R, X, Q c (P{R)~X{QRW P, R, X, S c R|P{X~SRW P, R, X, W c (P{X)~R{WRW P, S, P, X c P{S~X{PRW P, S, Q, T c (S~T|P)~QRW P, S, Q, W c (P{S)~W|QRW P, S, Q, X c P~S~X{QRW P, S, R, V c (P{S)~V{RRW P, S, R, X c S~X|P{RRW P, S, T, Q c (S~T|P)~QRW P, S, T, V c (P{T)~V|SRW P, S, T, W c P{S~W{TRW P, S, U, U c (P{U)~U|SRW P, S, U, V c P~U~V|SRW P, S, U, W c (P{S)~U{WRW P, S, U, X c S~(X|P){URW P, S, V, R c (P{S)~V{RRW P, S, V, T c (P{T)~V|SRW P, S, V, U c (P{V)~S{URW P, S, V, V c (V|P)~V|SRW P, S, V, W c S~W|P{VRW P, S, V, X c P{S~V{XRW P, S, W, Q c (P{S)~W|QRW P, S, W, T c P{S~W{TRW P, S, W, U c P~S~W{URW P, S, W, V c S~W|P{VRW P, S, X, P c P{S~X{PRW P, S, X, Q c P~S~X{QRW P, S, X, R c S~X|P{RRW P, S, X, U c S~(X|P){URW P, S, X, V c (P{S)~X|VRW P, T, P, W c (T~W)|(P{P)RW P, T, Q, S c (T~S|P)~QRW P, T, Q, U c (P{T)~U{QRW P, T, Q, V c P{T~V{QRW P, T, Q, W c P~T~W|QRW P, T, Q, X c (T|P)~X{QRW P, T, R, U c (P{U)~T{RRW P, T, R, V c P~T~V{RRW P, T, R, W c P{T~W|RRW P, T, S, Q c (T~S|P)~QRW P, T, S, V c (P{T)~V|SRW P, T, S, W c P{T{S~WRW P, T, T, W c (P{T)~T{WRW P, T, U, Q c (P{T)~U{QRW P, T, U, R c (P{U)~T{RRW P, T, U, V c P{T~U{VRW P, T, U, W c P~T~U{WRW P, T, U, X c T~U|P{XRW P, T, V, Q c P{T~V{QRW P, T, V, R c P~T~V{RRW P, T, V, S c (P{T)~V|SRW P, T, V, U c P{T~U{VRW P, T, V, W c (P{W)~T|VRW P, T, V, X c P~T~X|VRW P, T, W, P c (T~W)|(P{P)RW P, T, W, Q c P~T~W|QRW P, T, W, R c P{T~W|RRW P, T, W, S c P{T{W~SRW P, T, W, T c (P{T)~T{WRW P, T, W, U c P~T~U{WRW P, T, W, V c (P{W)~T|VRW P, T, W, X c P{T~X|WRW P, T, X, Q c (T|P)~X{QRW P, T, X, U c (T~X)|(P{U)RW P, T, X, V c P~T~X|VRW P, T, X, W c P{T~X|WRW P, U, P, U c P{U~U{PRW P, U, Q, R c (P{U~R)~QRW P, U, Q, T c (P{T)~U{QRW P, U, Q, U c P~U~U{QRW P, U, Q, V c U~(V|P){QRW P, U, Q, W c (U|P)~W|QRW P, U, R, Q c (P{U~R)~QRW P, U, R, T c (P{U)~T{RRW P, U, R, U c (PR{U)~URW P, U, R, V c (U|P)~V{RRW P, U, R, W c (P{R)~W{URW P, U, S, U c (P{U)~U|SRW P, U, S, V c P~U~V|SRW P, U, S, W c P~U{S~WRW P, U, S, X c U{S~(X|P)RW P, U, T, Q c (P{T)~U{QRW P, U, T, R c (P{U)~T{RRW P, U, T, V c P{U~T{VRW P, U, T, W c P~U~T{WRW P, U, T, X c U~T|P{XRW P, U, U, P c P{U~U{PRW P, U, U, Q c P~U~U{QRW P, U, U, R c (PR{U)~URW P, U, U, S c (P{U)~U|SRW P, U, U, W c (U|P)~U{WRW P, U, V, Q c U~(V|P){QRW P, U, V, R c (U|P)~V{RRW P, U, V, S c P~U~V|SRW P, U, V, T c P{U~V|TRW P, U, V, X c (U|P)~X|VRW P, U, W, Q c (U|P)~W|QRW P, U, W, R c (P{R)~W{URW P, U, W, S c P~U{W~SRW P, U, W, T c P~U~T{WRW P, U, W, U c (U|P)~U{WRW P, U, W, X c (U~W)|(P{X)RW P, U, X, S c U{(X|P)~SRW P, U, X, T c U~T|P{XRW P, U, X, V c (U|P)~X|VRW P, U, X, W c (U~W)|(P{X)RW P, V, Q, T c P{V~T{QRW P, V, Q, U c (V|P)~U{QRW P, V, R, S c (P{S)~V{RRW P, V, R, T c P~V~T{RRW P, V, R, U c (V~U)|(P{R)RW P, V, S, R c (P{S)~V{RRW P, V, S, T c (P{T)~V|SRW P, V, S, U c (P{V)~S{URW P, V, S, V c (V|P)~V|SRW P, V, S, W c V|P{S~WRW P, V, S, X c P{V~S{XRW P, V, T, Q c P{V~T{QRW P, V, T, R c P~V~T{RRW P, V, T, S c (P{T)~V|SRW P, V, T, U c P{V{T~URW P, V, T, W c (P{W)~T|VRW P, V, T, X c P~T~X|VRW P, V, U, Q c (V|P)~U{QRW P, V, U, R c (V~U)|(P{R)RW P, V, U, S c P~V~U|SRW P, V, U, T c P{V{U~TRW P, V, U, X c (U|P)~X|VRW P, V, V, S c (V|P)~V|SRW P, V, W, S c V|P{W~SRW P, V, W, T c (P{W)~T|VRW P, V, X, S c P{V~S{XRW P, V, X, T c P~X~T|VRW P, V, X, U c X~(U|P)|VRW P, W, P, T c (W~T)|(P{P)RW P, W, Q, S c (P{W)~S{QRW P, W, Q, T c P~W~T|QRW P, W, Q, U c W~(U|P)|QRW P, W, R, T c P{W~T|RRW P, W, R, U c (P{R)~W{URW P, W, R, X c (P{X)~R{WRW P, W, S, Q c (P{W)~S{QRW P, W, S, T c P{W~S{TRW P, W, S, U c P~W~S{URW P, W, S, V c W~S|P{VRW P, W, T, P c (W~T)|(P{P)RW P, W, T, Q c P~W~T|QRW P, W, T, R c P{W~T|RRW P, W, T, S c P{W~S{TRW P, W, T, T c (P{T)~T{WRW P, W, T, U c P~W{T~URW P, W, T, V c (P{W)~T|VRW P, W, T, X c P{T~X|WRW P, W, U, Q c W~(U|P)|QRW P, W, U, R c (P{R)~W{URW P, W, U, S c P~W~S{URW P, W, U, T c P~W{U~TRW P, W, U, U c W{(U|P)~URW P, W, U, X c (W~U)|(P{X)RW P, W, V, S c W~S|P{VRW P, W, V, T c (P{W)~T|VRW P, W, X, R c (P{X)~R{WRW P, W, X, T c P{X~T|WRW P, W, X, U c (W~U)|(P{X)RW P, X, P, S c P{X~S{PRW P, X, Q, Q c (P{X~Q)~QRW P, X, Q, R c (P{R)~X{QRW P, X, Q, S c (P{X)~S|QRW P, X, Q, T c (X|P)~T|QRW P, X, Q, X c (P{X{X)~QRW P, X, R, Q c (P{R)~X{QRW P, X, R, S c X~S|P{RRW P, X, R, W c (P{X)~R{WRW P, X, S, P c P{X~S{PRW P, X, S, Q c (P{X)~S|QRW P, X, S, R c X~S|P{RRW P, X, S, U c (X|P)~S{URW P, X, S, V c P{X{S~VRW P, X, T, Q c (X|P)~T|QRW P, X, T, U c X|P{T~URW P, X, T, V c P~X~T|VRW P, X, T, W c P{X~T|WRW P, X, U, S c (X|P)~S{URW P, X, U, T c X|P{U~TRW P, X, U, V c X~(U|P)|VRW P, X, U, W c (U~W)|(P{X)RW P, X, V, S c P{X{V~SRW P, X, V, T c P~X~T|VRW P, X, V, U c X~(U|P)|VRW P, X, W, R c (P{X)~R{WRW P, X, W, T c P{X~T|WRW P, X, W, U c (W~U)|(P{X)RW P, X, X, Q c (P{X{X)~QRW Q, O, S, X c Q{O{S~XRW Q, O, T, W c O{T~W|QRW Q, O, U, U c Q{O{U~URW Q, O, W, T c O{W~T|QRW Q, O, X, S c Q{O{X~SRW Q, P, Q, X c Q~(P{Q~X)RW Q, P, R, U c Q~(P{R~U)RW Q, P, R, X c Q{(P{R)~XRW Q, P, S, T c Q~(S~T|P)RW Q, P, S, W c Q{(P{W)~SRW Q, P, S, X c Q{P~S~XRW Q, P, T, S c Q~(T~S|P)RW Q, P, T, U c Q{(P{T)~URW Q, P, T, V c Q{P{T~VRW Q, P, T, W c P~T~W|QRW Q, P, T, X c Q{(T|P)~XRW Q, P, U, R c Q~(P{U~R)RW Q, P, U, T c Q{(P{T)~URW Q, P, U, U c Q{P~U~URW Q, P, U, V c Q{U~(V|P)RW Q, P, U, W c (U|P)~W|QRW Q, P, V, T c Q{P{V~TRW Q, P, V, U c Q{(V|P)~URW Q, P, W, S c Q{(P{W)~SRW Q, P, W, T c P~W~T|QRW Q, P, W, U c W~(U|P)|QRW Q, P, X, Q c Q~(P{X~Q)RW Q, P, X, R c Q{(P{R)~XRW Q, P, X, S c Q{P~X~SRW Q, P, X, T c Q{X~(T|P)RW Q, P, X, X c Q~(P{X{X)RW Q, Q, P, X c Q~(Q~X{P)RW Q, Q, Q, X c Q{(Q{Q)~XRW Q, Q, R, U c Q{Q~R~URW Q, Q, R, V c Q~(R~V|Q)RW Q, Q, R, W c Q~(Q~W{R)RW Q, Q, S, T c Q~S~T|QRW Q, Q, S, U c Q{(Q{S)~URW Q, Q, S, V c Q{(Q{V)~SRW Q, Q, S, W c (Q{W)~S|QRW Q, Q, T, S c Q~T~S|QRW Q, Q, T, U c (Q{U)~T|QRW Q, Q, T, V c Q~(Q~V{T)RW Q, Q, T, X c Q~(Q~T{X)RW Q, Q, U, R c Q{Q~U~RRW Q, Q, U, S c Q{(Q{S)~URW Q, Q, U, T c (Q{U)~T|QRW Q, Q, U, V c Q~(Q~U{V)RW Q, Q, U, W c (Q{Q)~W{URW Q, Q, U, X c Q{(U|Q)~XRW Q, Q, V, R c Q~(V~R|Q)RW Q, Q, V, S c Q{(Q{V)~SRW Q, Q, V, T c Q~(Q~V{T)RW Q, Q, V, U c Q~(Q~U{V)RW Q, Q, V, W c (V|Q)~W|QRW Q, Q, W, R c Q~(Q~W{R)RW Q, Q, W, S c (Q{W)~S|QRW Q, Q, W, U c (Q{Q)~W{URW Q, Q, W, V c W~(V|Q)|QRW Q, Q, W, X c Q~(Q{W{X)RW Q, Q, X, P c Q~(Q~X{P)RW Q, Q, X, Q c (Q{Q)~X{QRW Q, Q, X, T c Q~(Q~T{X)RW Q, Q, X, U c Q{X~(U|Q)RW Q, Q, X, W c Q~(Q{X{W)RW Q, Q, X, X c Q{Q~(X{X)RW Q, R, P, U c Q~(R~U{P)RW Q, R, P, X c Q{(R{P)~XRW Q, R, Q, U c Q{R~Q~URW Q, R, Q, V c Q~(R~V|Q)RW Q, R, Q, W c Q~(R{Q~W)RW Q, R, R, S c Q{R~R~SRW Q, R, R, U c Q{(R{R)~URW Q, R, R, V c (Q{R)~V{RRW Q, R, R, X c Q{R~(R{X)RW Q, R, S, R c Q{R~S~RRW Q, R, S, S c Q~(R{S~S)RW Q, R, S, T c Q~(R~T{S)RW Q, R, S, U c Q{(R{U)~SRW Q, R, S, V c Q~(R~S{V)RW Q, R, S, W c Q{R~(S{W)RW Q, R, T, S c Q~(R~T{S)RW Q, R, T, T c (Q{T)~T{RRW Q, R, T, V c Q{R~(T{V)RW Q, R, T, W c Q~R~T{WRW Q, R, T, X c (Q{X)~R{TRW Q, R, U, P c Q~(R~U{P)RW Q, R, U, Q c Q{R~U~QRW Q, R, U, R c Q{(R{R)~URW Q, R, U, S c Q{(R{U)~SRW Q, R, U, U c Q{R~(U{U)RW Q, R, U, V c U~(V|QR)RW Q, R, U, W c (Q{R)~U{WRW Q, R, U, X c Q{U~(X|R)RW Q, R, V, Q c Q~(R~V|Q)RW Q, R, V, R c (Q{R)~V{RRW Q, R, V, S c Q~R~V|SRW Q, R, V, T c Q{R~(V{T)RW Q, R, V, U c (V|QR)~URW Q, R, V, V c R{(V|Q)~VRW Q, R, V, W c Q~V{R~WRW Q, R, V, X c Q~(R{V{X)RW Q, R, W, Q c (Q{R)~W|QRW Q, R, W, S c Q{R~(W{S)RW Q, R, W, T c Q~(R~W|T)RW Q, R, W, U c (Q{R)~U{WRW Q, R, W, V c Q~V{R~WRW Q, R, W, W c Q~(R{W{W)RW Q, R, W, X c Q~(R~X|W)RW Q, R, X, P c Q{(R{P)~XRW Q, R, X, R c Q{(R{X)~RRW Q, R, X, T c (Q{X)~R{TRW Q, R, X, U c Q{(X|R)~URW Q, R, X, V c (Q{R)~X|VRW Q, R, X, W c Q~(R~X|W)RW Q, R, X, X c Q{R~X{XRW Q, S, O, X c Q{(S{O)~XRW Q, S, P, T c Q~(S~T|P)RW Q, S, P, W c Q{S~(P{W)RW Q, S, P, X c Q{S~P~XRW Q, S, Q, T c Q~S~T|QRW Q, S, Q, U c Q{(S{Q)~URW Q, S, Q, V c Q{S~(Q{V)RW Q, S, Q, W c (Q{W)~S|QRW Q, S, R, R c Q{S~R~RRW Q, S, R, S c Q~(S~S{R)RW Q, S, R, T c Q~(S{R~T)RW Q, S, R, U c Q{S~(R{U)RW Q, S, R, V c Q~(S~R{V)RW Q, S, R, W c Q{(S{W)~RRW Q, S, S, R c Q~(S~S{R)RW Q, S, S, T c Q{S~(S{T)RW Q, S, S, U c Q~S~S{URW Q, S, S, V c (Q{S)~V|SRW Q, S, S, W c Q{S{S~WRW Q, S, S, X c (QS{X)~SRW Q, S, T, P c Q~(S~T|P)RW Q, S, T, Q c Q~S~T|QRW Q, S, T, R c Q~(S{T~R)RW Q, S, T, S c Q{(S{T)~SRW Q, S, T, T c S~(T{T)|QRW Q, S, T, U c Q~S{T~URW Q, S, T, V c Q~T{S~VRW Q, S, T, W c (Q{S)~T{WRW Q, S, T, X c Q~X{S~TRW Q, S, U, Q c (Q{S)~U{QRW Q, S, U, R c Q{S~(U{R)RW Q, S, U, S c Q~S~S{URW Q, S, U, T c Q~S{U~TRW Q, S, U, U c (Q{U)~S{URW Q, S, U, V c Q~V{S~URW Q, S, U, X c Q~(S{U{X)RW Q, S, V, Q c Q{S~(V{Q)RW Q, S, V, R c Q~(S~R{V)RW Q, S, V, S c (Q{S)~V|SRW Q, S, V, T c Q~T{S~VRW Q, S, V, U c Q~V{S~URW Q, S, V, W c Q{S~V{WRW Q, S, V, X c Q~(S~V|X)RW Q, S, W, P c Q{S~(W{P)RW Q, S, W, Q c (Q{W)~S|QRW Q, S, W, R c Q{(S{W)~RRW Q, S, W, S c Q{S{W~SRW Q, S, W, T c (Q{S)~T{WRW Q, S, W, V c Q~(S{W{V)RW Q, S, W, W c S~W|Q{WRW Q, S, W, X c Q{(W|S)~XRW Q, S, X, O c Q{S~X{ORW Q, S, X, P c Q{S~X~PRW Q, S, X, S c (QS{X)~SRW Q, S, X, T c Q~X{S~TRW Q, S, X, U c Q~(S{X{U)RW Q, S, X, V c Q~(S~V|X)RW Q, S, X, W c Q{X~(W|S)RW Q, S, X, X c (QX{S)~XRW Q, T, O, W c (T{O)~W|QRW Q, T, P, S c Q~(T~S|P)RW Q, T, P, U c Q{(T{P)~URW Q, T, P, V c Q{T~V{PRW Q, T, P, W c T~P~W|QRW Q, T, P, X c Q{(T|P)~XRW Q, T, Q, S c Q~T~S|QRW Q, T, Q, U c (Q{U)~T|QRW Q, T, Q, V c Q~(T{Q~V)RW Q, T, Q, X c Q~(T~Q{X)RW Q, T, R, S c Q~(T~R{S)RW Q, T, R, T c (Q{T)~T{RRW Q, T, R, V c Q{(T{V)~RRW Q, T, R, W c Q~T~R{WRW Q, T, R, X c (Q{X)~R{TRW Q, T, S, P c Q~(T~S|P)RW Q, T, S, Q c Q~T~S|QRW Q, T, S, R c Q~(T~R{S)RW Q, T, S, S c Q{(T{S)~SRW Q, T, S, T c (T{T)~S|QRW Q, T, S, U c (Q{T)~U|SRW Q, T, S, V c Q~T{S~VRW Q, T, S, W c Q{T~W|SRW Q, T, S, X c Q~X{T~SRW Q, T, T, R c (Q{T)~T{RRW Q, T, T, S c (T{T)~S|QRW Q, T, T, U c Q~(T~T|U)RW Q, T, T, V c T|Q{T~VRW Q, T, T, W c T~(W|QT)RW Q, T, T, X c Q~(T{T{X)RW Q, T, U, P c Q{(T{P)~URW Q, T, U, Q c (Q{U)~T|QRW Q, T, U, S c (Q{T)~U|SRW Q, T, U, T c Q~(T~T|U)RW Q, T, U, U c Q{T~U{URW Q, T, U, V c T~V{UQRW Q, T, U, W c Q~(T{U{W)RW Q, T, V, P c Q{T~V{PRW Q, T, V, Q c Q~(T{V~Q)RW Q, T, V, R c Q{(T{V)~RRW Q, T, V, S c Q~T{V~SRW Q, T, V, T c T|Q{V~TRW Q, T, V, U c T~V{UQRW Q, T, V, V c Q~(T{V{V)RW Q, T, W, O c T~W|Q{ORW Q, T, W, P c T~W|Q~PRW Q, T, W, R c Q~T~R{WRW Q, T, W, S c Q{T~W|SRW Q, T, W, T c T~(W|QT)RW Q, T, W, U c Q~(T{W{U)RW Q, T, W, W c (T|QW)~WRW Q, T, X, P c Q{(T|P)~XRW Q, T, X, Q c (Q~T{X)~QRW Q, T, X, R c (Q{X)~R{TRW Q, T, X, S c Q~X{T~SRW Q, T, X, T c Q~(T{X{T)RW Q, T, X, X c Q{T~X|XRW Q, U, O, U c Q{(U{O)~URW Q, U, P, R c Q~(U~R{P)RW Q, U, P, T c Q{U~(P{T)RW Q, U, P, U c Q{U~P~URW Q, U, P, V c Q{U~(V|P)RW Q, U, P, W c (U|P)~W|QRW Q, U, Q, R c Q{U~Q~RRW Q, U, Q, S c Q{U~(Q{S)RW Q, U, Q, T c (Q{U)~T|QRW Q, U, Q, V c Q~(U~Q{V)RW Q, U, Q, W c Q{U~(W|Q)RW Q, U, Q, X c Q{(U|Q)~XRW Q, U, R, P c Q~(U~R{P)RW Q, U, R, Q c Q{U~R~QRW Q, U, R, R c Q{U~(R{R)RW Q, U, R, S c Q{(U{R)~SRW Q, U, R, U c Q{(U{U)~RRW Q, U, R, V c U~(V|QR)RW Q, U, R, W c (Q{R)~U{WRW Q, U, R, X c Q{U~(X|R)RW Q, U, S, Q c Q{U~(S{Q)RW Q, U, S, R c Q{(U{R)~SRW Q, U, S, S c Q~S~S{URW Q, U, S, T c Q~(U~S|T)RW Q, U, S, U c (Q{U)~S{URW Q, U, S, V c Q~V{U~SRW Q, U, S, X c Q~(U{S{X)RW Q, U, T, P c Q{U~(T{P)RW Q, U, T, Q c (Q{U)~T|QRW Q, U, T, S c Q~(U~S|T)RW Q, U, T, T c Q~(T~T|U)RW Q, U, T, U c Q{U{T~URW Q, U, T, V c UQ{T~VRW Q, U, T, W c Q~(U{T{W)RW Q, U, U, O c Q{U~U{ORW Q, U, U, P c Q{U~U~PRW Q, U, U, R c Q{(U{U)~RRW Q, U, U, S c (Q{U)~S{URW Q, U, U, T c Q{U{U~TRW Q, U, U, U c (QU{U)~URW Q, U, U, V c Q~(U{U{V)RW Q, U, U, W c (U|Q)~W{URW Q, U, V, P c Q{U~(V|P)RW Q, U, V, Q c (Q~U{V)~QRW Q, U, V, R c U~(V|QR)RW Q, U, V, S c Q~V{U~SRW Q, U, V, T c UQ{V~TRW Q, U, V, U c Q{U~V|URW Q, U, V, W c U~(V|Q){WRW Q, U, V, X c Q~(V{X){URW Q, U, W, P c (U|P)~W|QRW Q, U, W, Q c Q{U~(W|Q)RW Q, U, W, R c (Q{R)~U{WRW Q, U, W, T c Q~(U{W{T)RW Q, U, W, U c (U|Q)~W{URW Q, U, W, V c U~(V|Q){WRW Q, U, W, W c Q~(W{W){URW Q, U, W, X c Q~(U{X){WRW Q, U, X, Q c Q{(U|Q)~XRW Q, U, X, R c Q{U~(X|R)RW Q, U, X, S c Q~(U{X{S)RW Q, U, X, V c Q~(X{V){URW Q, U, X, W c Q~(U{X){WRW Q, V, P, T c Q{V~T{PRW Q, V, P, U c Q{(V|P)~URW Q, V, Q, R c Q~(V~R|Q)RW Q, V, Q, S c Q{(V{Q)~SRW Q, V, Q, T c Q~(V~Q{T)RW Q, V, Q, U c Q~(V{Q~U)RW Q, V, Q, W c (V|Q)~W|QRW Q, V, R, Q c Q~(V~R|Q)RW Q, V, R, R c (Q{R)~V{RRW Q, V, R, S c Q~(V{R~S)RW Q, V, R, T c Q{(V{T)~RRW Q, V, R, U c (V|QR)~URW Q, V, R, V c (V|Q)~V{RRW Q, V, R, W c Q~V{R~WRW Q, V, R, X c Q{(V|R)~XRW Q, V, S, Q c (Q{V)~S{QRW Q, V, S, R c Q~(V{S~R)RW Q, V, S, S c (Q{S)~V|SRW Q, V, S, T c Q~T{V~SRW Q, V, S, U c Q~V{S~URW Q, V, S, W c Q{V~S{WRW Q, V, S, X c Q~(V~S|X)RW Q, V, T, P c Q{V~T{PRW Q, V, T, Q c (Q~V{T)~QRW Q, V, T, R c Q{(V{T)~RRW Q, V, T, S c Q~T{V~SRW Q, V, T, T c V~T|Q{TRW Q, V, T, U c V~T{UQRW Q, V, T, V c (Q{V)~T|VRW Q, V, U, P c Q{(V|P)~URW Q, V, U, Q c Q~(V{U~Q)RW Q, V, U, R c (V|QR)~URW Q, V, U, S c Q~V{U~SRW Q, V, U, T c V~T{UQRW Q, V, U, U c Q{V~U|URW Q, V, U, W c (V|Q)~U{WRW Q, V, U, X c Q~(V{X){URW Q, V, V, R c (V|Q)~V{RRW Q, V, V, T c Q~(V{V{T)RW Q, V, V, X c (V|Q)~X|VRW Q, V, W, Q c (V|Q)~W|QRW Q, V, W, R c Q~V{W~RRW Q, V, W, S c Q~(V{W{S)RW Q, V, W, U c (V|Q)~U{WRW Q, V, W, W c Q~(V{W){WRW Q, V, W, X c V~W|Q~XRW Q, V, X, R c Q~(V{X{R)RW Q, V, X, S c Q~(V~S|X)RW Q, V, X, U c Q~(V{X){URW Q, V, X, V c (V|Q)~X|VRW Q, V, X, W c V~W|Q~XRW Q, W, O, T c (W{O)~T|QRW Q, W, P, S c Q{(W{P)~SRW Q, W, P, T c W~P~T|QRW Q, W, P, U c W~(U|P)|QRW Q, W, Q, R c Q~(W~Q{R)RW Q, W, Q, S c (Q{W)~S|QRW Q, W, Q, U c Q{(W|Q)~URW Q, W, Q, V c W~(V|Q)|QRW Q, W, Q, X c Q{WQ~XRW Q, W, R, Q c (Q~W{R)~QRW Q, W, R, S c Q{(W{S)~RRW Q, W, R, T c Q~(W~R|T)RW Q, W, R, U c (Q{R)~U{WRW Q, W, R, V c Q~V{W~RRW Q, W, R, W c (Q{W)~R{WRW Q, W, R, X c Q~(R~X|W)RW Q, W, S, P c Q{(W{P)~SRW Q, W, S, Q c (Q{W)~S|QRW Q, W, S, R c Q{(W{S)~RRW Q, W, S, S c Q{W~S{SRW Q, W, S, T c Q{W~T|SRW Q, W, S, V c Q{W{S~VRW Q, W, S, W c W|Q{S~WRW Q, W, S, X c Q{(W|S)~XRW Q, W, T, O c W~T|Q{ORW Q, W, T, P c W~T|Q~PRW Q, W, T, R c Q~(W~R|T)RW Q, W, T, S c Q{W~T|SRW Q, W, T, T c (W|QT)~TRW Q, W, T, U c Q~(W{T{U)RW Q, W, T, W c (W|Q)~T{WRW Q, W, U, P c W~(U|P)|QRW Q, W, U, Q c Q{(W|Q)~URW Q, W, U, R c (Q{R)~U{WRW Q, W, U, T c Q~(W{U{T)RW Q, W, U, U c W~(U|Q){URW Q, W, U, V c W{U~(V|Q)RW Q, W, U, W c Q~(W{W){URW Q, W, U, X c Q~(U{X){WRW Q, W, V, Q c W~(V|Q)|QRW Q, W, V, R c Q~V{W~RRW Q, W, V, S c Q{W{V~SRW Q, W, V, U c W{(V|Q)~URW Q, W, V, W c Q~(W{V){WRW Q, W, V, X c W~V|Q~XRW Q, W, W, R c Q~(W{W{R)RW Q, W, W, S c W|Q{W~SRW Q, W, W, T c (W|Q)~T{WRW Q, W, W, U c Q~(W{W){URW Q, W, W, V c Q~(W{V){WRW Q, W, X, Q c (Q{W{X)~QRW Q, W, X, R c Q~(X~R|W)RW Q, W, X, S c Q~(W{X){SRW Q, W, X, U c Q~(X{U){WRW Q, W, X, V c W~V|Q~XRW Q, X, O, S c Q{(X{O)~SRW Q, X, P, Q c (Q~X{P)~QRW Q, X, P, R c Q{X~(P{R)RW Q, X, P, S c Q{X~P~SRW Q, X, P, T c Q{X~(T|P)RW Q, X, P, X c Q~(X{P{X)RW Q, X, Q, P c Q~(X~Q{P)RW Q, X, Q, Q c Q{X~(Q{Q)RW Q, X, Q, T c Q~(X{Q~T)RW Q, X, Q, U c Q{X~(U|Q)RW Q, X, Q, W c Q{XQ~WRW Q, X, Q, X c Q{(X{X)~QRW Q, X, R, P c Q{X~(R{P)RW Q, X, R, R c Q{(X{R)~RRW Q, X, R, T c (Q{X)~R{TRW Q, X, R, U c Q{(X|R)~URW Q, X, R, V c Q~(X{R{V)RW Q, X, R, W c Q~(X~R|W)RW Q, X, R, X c Q{X{R~XRW Q, X, S, O c Q{X~S{ORW Q, X, S, P c Q{X~S~PRW Q, X, S, S c (QS{X)~SRW Q, X, S, T c Q~X{S~TRW Q, X, S, U c (Q{X)~S|URW Q, X, S, V c Q~(S~V|X)RW Q, X, S, W c Q{X~(W|S)RW Q, X, S, X c (QX{S)~XRW Q, X, T, P c Q{X~(T|P)RW Q, X, T, Q c Q~(X{T~Q)RW Q, X, T, R c (Q{X)~R{TRW Q, X, T, S c Q~X{T~SRW Q, X, T, T c Q~(X{T{T)RW Q, X, T, X c Q{(X|T)~XRW Q, X, U, Q c Q{X~(U|Q)RW Q, X, U, R c Q{(X|R)~URW Q, X, U, S c Q~(X{U{S)RW Q, X, U, V c Q~(X{V){URW Q, X, U, W c Q~(X{U){WRW Q, X, V, R c Q{X~(V|R)RW Q, X, V, S c Q~(V~S|X)RW Q, X, V, U c Q~(X{V){URW Q, X, V, V c X~(V|Q)|VRW Q, X, V, W c V~W|Q~XRW Q, X, W, Q c (Q{X{W)~QRW Q, X, W, R c Q~(X~R|W)RW Q, X, W, S c Q{X~(W|S)RW Q, X, W, U c Q~(X{U){WRW Q, X, W, V c W~V|Q~XRW Q, X, X, P c Q~(X{X{P)RW Q, X, X, Q c Q{(X{X)~QRW Q, X, X, R c Q{X{X~RRW Q, X, X, S c (QX{S)~XRW Q, X, X, T c Q{X~(X|T)RW R, O, T, V c R{O{T~VRW R, O, V, T c R{O{V~TRW R, P, Q, U c (R~U{P)~QRW R, P, Q, X c (R{P)~X{QRW R, P, S, V c R{(P{S)~VRW R, P, S, X c R|P{S~XRW R, P, T, U c R{(P{U)~TRW R, P, T, V c R{P~T~VRW R, P, T, W c R{T~(W|P)RW R, P, U, Q c (R~U{P)~QRW R, P, U, T c R{(P{U)~TRW R, P, U, U c R|P{U~URW R, P, U, V c R{(U|P)~VRW R, P, U, W c (R{P)~W{URW R, P, V, S c R{(P{S)~VRW R, P, V, T c R{P~V~TRW R, P, V, U c R{V~(U|P)RW R, P, W, T c R{(W|P)~TRW R, P, W, U c (R{P)~W{URW R, P, W, X c R~(P{X){WRW R, P, X, Q c (R{P)~X{QRW R, P, X, S c R|P{X~SRW R, P, X, W c R~(P{X){WRW R, Q, P, U c (R~U{P)~QRW R, Q, P, X c (R{P)~X{QRW R, Q, Q, U c R~Q~U{QRW R, Q, Q, V c (R~V|Q)~QRW R, Q, Q, W c (R{Q)~W|QRW R, Q, R, S c R~R~S{QRW R, Q, R, U c (R{R)~U{QRW R, Q, R, V c R{(Q{R)~VRW R, Q, R, X c R~(R{X){QRW R, Q, S, R c R~S~R{QRW R, Q, S, S c (R{S~S)~QRW R, Q, S, T c (R~T{S)~QRW R, Q, S, U c (R{U)~S{QRW R, Q, S, V c R~Q~V|SRW R, Q, S, W c R~Q{S~WRW R, Q, T, S c (R~T{S)~QRW R, Q, T, T c R{(Q{T)~TRW R, Q, T, V c R~(T{V){QRW R, Q, T, W c R~Q~T{WRW R, Q, T, X c R~(Q{X){TRW R, Q, U, P c (R~U{P)~QRW R, Q, U, Q c R~Q~U{QRW R, Q, U, R c (R{R)~U{QRW R, Q, U, S c (R{U)~S{QRW R, Q, U, U c R~(U{U){QRW R, Q, U, V c U~(V|QR)RW R, Q, U, W c (R{Q)~U{WRW R, Q, U, X c Q{U~(X|R)RW R, Q, V, Q c (R~V|Q)~QRW R, Q, V, R c (R{Q)~V{RRW R, Q, V, S c R~Q~V|SRW R, Q, V, T c R~(V{T){QRW R, Q, V, U c (V|QR)~URW R, Q, V, V c R{(V|Q)~VRW R, Q, V, W c R~W{Q~VRW R, Q, V, X c (R{Q)~X|VRW R, Q, W, Q c (R{Q)~W|QRW R, Q, W, S c R~Q{W~SRW R, Q, W, T c R~Q~T{WRW R, Q, W, U c (R{Q)~U{WRW R, Q, W, V c R~W{Q~VRW R, Q, W, W c R~(Q{W){WRW R, Q, W, X c (R~X|W)~QRW R, Q, X, P c (R{P)~X{QRW R, Q, X, R c (R{X)~R{QRW R, Q, X, T c R~(Q{X){TRW R, Q, X, U c Q{(X|R)~URW R, Q, X, V c (R{Q)~X|VRW R, Q, X, W c (R~X|W)~QRW R, Q, X, X c R~X{Q{XRW R, R, Q, S c R~R~S{QRW R, R, Q, U c (R{R)~U{QRW R, R, Q, V c R{(R{Q)~VRW R, R, Q, X c R~(R{X){QRW R, R, S, Q c R~R~S{QRW R, R, S, T c R{(R{S)~TRW R, R, S, V c (R{R)~V|SRW R, R, S, W c R{R{S~WRW R, R, T, S c R{(R{S)~TRW R, R, T, V c R~R~T|VRW R, R, T, W c (R{R)~T{WRW R, R, U, Q c (R{R)~U{QRW R, R, V, Q c R{(R{Q)~VRW R, R, V, S c (R{R)~V|SRW R, R, V, T c R~R~T|VRW R, R, V, W c R~(R{V){WRW R, R, W, S c R{R{W~SRW R, R, W, T c R~(R{W){TRW R, R, W, V c R~(R{V){WRW R, R, W, X c R{R~X{WRW R, R, X, Q c R~(R{X){QRW R, R, X, W c R{R~X{WRW R, S, P, V c R{(S{P)~VRW R, S, P, X c R{S~X|PRW R, S, Q, R c R~S~R{QRW R, S, Q, S c (R{S~S)~QRW R, S, Q, T c (R~T{S)~QRW R, S, Q, U c (R{U)~S{QRW R, S, Q, V c (R~S{V)~QRW R, S, Q, W c R~(S{W){QRW R, S, R, Q c R~S~R{QRW R, S, R, T c R{(S{R)~TRW R, S, R, V c (R{R)~V|SRW R, S, R, W c R{S~W{RRW R, S, S, Q c (R{S~S)~QRW R, S, S, U c (R{S)~U|SRW R, S, S, W c (RS{S)~WRW R, S, T, Q c (R~T{S)~QRW R, S, T, R c (R{S)~T{RRW R, S, T, U c (R{T)~S{URW R, S, T, V c R~(S{V){TRW R, S, T, X c R~(T{X)|SRW R, S, U, Q c (R{U)~S{QRW R, S, U, S c (R{S)~U|SRW R, S, U, T c R~U{S~TRW R, S, U, V c (S{VR)~URW R, S, U, W c R~(S{U){WRW R, S, U, X c (RU{X)~SRW R, S, V, P c R{(S{P)~VRW R, S, V, Q c (R~S{V)~QRW R, S, V, R c (R{R)~V|SRW R, S, V, T c R~(S{V){TRW R, S, V, U c (S{VR)~URW R, S, V, V c R{S~V{VRW R, S, V, W c (R{VS)~WRW R, S, V, X c R{V~(X|S)RW R, S, W, Q c R~(S{W){QRW R, S, W, R c R{S~W{RRW R, S, W, S c (RS{S)~WRW R, S, W, U c R~(S{U){WRW R, S, W, V c (R{VS)~WRW R, S, W, X c S~W|R{XRW R, S, X, P c R{S~X|PRW R, S, X, T c R~(X{T)|SRW R, S, X, U c (RU{X)~SRW R, S, X, V c R{(X|S)~VRW R, S, X, W c S~W|R{XRW R, T, O, V c R{(T{O)~VRW R, T, P, U c R{T~(P{U)RW R, T, P, V c R{T~P~VRW R, T, P, W c R{T~(W|P)RW R, T, Q, S c (R~T{S)~QRW R, T, Q, T c R{(T{Q)~TRW R, T, Q, V c R~(T{V){QRW R, T, Q, W c R~T~Q{WRW R, T, Q, X c R{T~(X|Q)RW R, T, R, S c R{T~(R{S)RW R, T, R, V c R~T~R|VRW R, T, R, W c (R{R)~T{WRW R, T, S, Q c (R~T{S)~QRW R, T, S, R c R{T~(S{R)RW R, T, S, U c (R{T)~S{URW R, T, S, V c R~(S{V){TRW R, T, S, X c R~(T{X)|SRW R, T, T, Q c R{T~(T{Q)RW R, T, T, U c R{T{T~URW R, T, T, V c (RT{V)~TRW R, T, T, W c R~(T{T){WRW R, T, U, P c R{T~(U{P)RW R, T, U, S c (R{T)~S{URW R, T, U, T c R{T{U~TRW R, T, U, U c T|R{U~URW R, T, U, V c (R{U)~T|VRW R, T, U, W c T~W|URRW R, T, U, X c R~X{T{URW R, T, V, O c R{T~V{ORW R, T, V, P c R{T~V~PRW R, T, V, Q c R~(T{V){QRW R, T, V, R c R~T~R|VRW R, T, V, S c R~(V{S){TRW R, T, V, T c (RT{V)~TRW R, T, V, U c (R{U)~T|VRW R, T, V, V c (RV{T)~VRW R, T, V, X c T~V{XRRW R, T, W, P c R{T~(W|P)RW R, T, W, Q c R~T~Q{WRW R, T, W, R c (R{W)~R{TRW R, T, W, T c R{T~W|TRW R, T, W, U c T~W|URRW R, T, W, X c R~W{T{XRW R, T, X, Q c R{T~(X|Q)RW R, T, X, S c R~(T{X)|SRW R, T, X, U c R~X{T{URW R, T, X, V c T~V{XRRW R, T, X, W c R~W{T{XRW R, U, P, Q c (R~U{P)~QRW R, U, P, T c R{(U{P)~TRW R, U, P, U c R{U~U|PRW R, U, P, V c R{(U|P)~VRW R, U, P, W c (R{P)~W{URW R, U, Q, P c (R~U{P)~QRW R, U, Q, Q c R~U~Q{QRW R, U, Q, R c (R{R)~U{QRW R, U, Q, S c (R{U)~S{QRW R, U, Q, U c R~(U{U){QRW R, U, Q, V c U~(V|QR)RW R, U, Q, W c (R{Q)~U{WRW R, U, Q, X c U~(X|R){QRW R, U, R, Q c (R{R)~U{QRW R, U, S, Q c (R{U)~S{QRW R, U, S, S c (R{S)~U|SRW R, U, S, T c R~U{S~TRW R, U, S, V c U~(S{VR)RW R, U, S, W c R~(U{S){WRW R, U, S, X c (RU{X)~SRW R, U, T, P c R{(U{P)~TRW R, U, T, S c R~U{T~SRW R, U, T, T c R{U~T{TRW R, U, T, U c U~U|R{TRW R, U, T, V c (R{U)~T|VRW R, U, T, W c U~(W|TR)RW R, U, T, X c R~X{U{TRW R, U, U, P c R{U~U|PRW R, U, U, Q c R~(U{U){QRW R, U, U, T c U~U|R{TRW R, U, U, U c UR{U~URW R, U, U, X c (RX{U)~URW R, U, V, P c R~(U{V)|PRW R, U, V, Q c U~(V|QR)RW R, U, V, S c U~(VR{S)RW R, U, V, T c (R{U)~T|VRW R, U, V, V c R{U~V|VRW R, U, V, W c U{(V|R)~WRW R, U, V, X c R~(U{X)|VRW R, U, W, P c (R{P)~W{URW R, U, W, Q c (R{Q)~U{WRW R, U, W, S c R~(U{W)|SRW R, U, W, T c U~(W|TR)RW R, U, W, V c (U~W)|(R{V)RW R, U, W, W c R~W{U{WRW R, U, W, X c U~(X|WR)RW R, U, X, Q c U~(X|R){QRW R, U, X, S c (RU{X)~SRW R, U, X, T c R~X{U{TRW R, U, X, U c (RX{U)~URW R, U, X, V c R~(U{X)|VRW R, U, X, W c U~(X|WR)RW R, V, O, T c R{(V{O)~TRW R, V, P, S c R{V~(P{S)RW R, V, P, T c R{V~P~TRW R, V, P, U c R{V~(U|P)RW R, V, Q, Q c (R~V|Q)~QRW R, V, Q, R c R{V~(Q{R)RW R, V, Q, S c R~V~Q|SRW R, V, Q, T c R~(V{T){QRW R, V, Q, U c (V|QR)~URW R, V, Q, V c R{(V|Q)~VRW R, V, Q, W c R~W{V~QRW R, V, Q, X c (R{V{X)~QRW R, V, R, Q c R{V~(R{Q)RW R, V, R, S c (R{R)~V|SRW R, V, R, T c R~R~T|VRW R, V, R, W c (R{V)~R{WRW R, V, S, P c R{V~(S{P)RW R, V, S, Q c (R{V)~S|QRW R, V, S, R c (R{R)~V|SRW R, V, S, T c R~(V{S){TRW R, V, S, U c (VR{S)~URW R, V, S, V c R{V{S~VRW R, V, S, W c (R{VS)~WRW R, V, S, X c R{V~(X|S)RW R, V, T, O c R{V~T{ORW R, V, T, P c R{V~T~PRW R, V, T, Q c R~(V{T){QRW R, V, T, R c R~T~R|VRW R, V, T, S c R~(V{S){TRW R, V, T, T c (RT{V)~TRW R, V, T, U c (R{U)~T|VRW R, V, T, V c (RV{T)~VRW R, V, T, X c V~T{XRRW R, V, U, P c R{V~(U|P)RW R, V, U, Q c (V|QR)~URW R, V, U, S c (VR{S)~URW R, V, U, T c (R{U)~T|VRW R, V, U, V c R{V~U|VRW R, V, U, W c (V|R)~W{URW R, V, U, X c R~(U{X)|VRW R, V, V, Q c R{V~(V|Q)RW R, V, V, S c R{V{V~SRW R, V, V, T c (RV{T)~VRW R, V, V, U c R{V~U|VRW R, V, V, W c R~(V{W)|VRW R, V, W, Q c R~W{V~QRW R, V, W, R c R{V~(W|R)RW R, V, W, S c (R{VS)~WRW R, V, W, U c (V|R)~W{URW R, V, W, V c R~(V{W)|VRW R, V, W, X c R~V{W{XRW R, V, X, Q c (R{V{X)~QRW R, V, X, S c R{V~(X|S)RW R, V, X, T c V~T{XRRW R, V, X, U c R~(X{U)|VRW R, V, X, W c R~V{X{WRW R, W, P, T c R{(W|P)~TRW R, W, P, U c (R{P)~W{URW R, W, P, X c R~(P{X){WRW R, W, Q, Q c (R{W~Q)~QRW R, W, Q, S c R~(W{S){QRW R, W, Q, T c (R~W|T)~QRW R, W, Q, U c (R{Q)~U{WRW R, W, Q, V c R~W{Q~VRW R, W, Q, W c R~(W{Q){WRW R, W, Q, X c (R~X|W)~QRW R, W, R, S c R{W~S{RRW R, W, R, T c (R{W)~R{TRW R, W, R, V c R{(W|R)~VRW R, W, R, X c R{W{R~XRW R, W, S, Q c R~(W{S){QRW R, W, S, R c R{W~S{RRW R, W, S, S c (RS{S)~WRW R, W, S, U c (R{W)~S|URW R, W, S, V c (R{VS)~WRW R, W, S, X c W~S|R{XRW R, W, T, P c R~(W{T)|PRW R, W, T, Q c (R~W|T)~QRW R, W, T, R c (R{W)~R{TRW R, W, T, T c R{W~T|TRW R, W, T, U c (W|TR)~URW R, W, T, X c R~W{T{XRW R, W, U, P c (R{P)~W{URW R, W, U, Q c (R{Q)~U{WRW R, W, U, S c R~(W{U)|SRW R, W, U, T c (W|TR)~URW R, W, U, V c (W~U)|(R{V)RW R, W, U, W c R~W{U{WRW R, W, U, X c U~(X|WR)RW R, W, V, Q c R~W{V~QRW R, W, V, R c R{(W|R)~VRW R, W, V, S c (R{VS)~WRW R, W, V, U c W~(V|R){URW R, W, V, V c R~W{V{VRW R, W, V, X c R~V{W{XRW R, W, W, Q c (R{W{W)~QRW R, W, W, U c R~W{W{URW R, W, X, P c R~(X{P){WRW R, W, X, Q c (R~X|W)~QRW R, W, X, R c R{W{X~RRW R, W, X, S c W~S|R{XRW R, W, X, T c R~W{X{TRW R, W, X, U c (X|WR)~URW R, W, X, V c R~V{W{XRW R, X, P, Q c (R{P)~X{QRW R, X, P, S c R{X~S|PRW R, X, P, W c R~(X{P){WRW R, X, Q, P c (R{P)~X{QRW R, X, Q, R c (R{X)~R{QRW R, X, Q, T c R{(X|Q)~TRW R, X, Q, U c (X|R)~U{QRW R, X, Q, V c (R{X{V)~QRW R, X, Q, W c (R~X|W)~QRW R, X, Q, X c R~X{Q{XRW R, X, R, Q c (R{X)~R{QRW R, X, R, W c R{X~R{WRW R, X, S, P c R{X~S|PRW R, X, S, T c R~(X{T)|SRW R, X, S, U c (RU{X)~SRW R, X, S, V c R{(X|S)~VRW R, X, S, W c X|R{S~WRW R, X, T, Q c R{(X|Q)~TRW R, X, T, S c R~(X{T)|SRW R, X, T, U c R~X{T{URW R, X, T, V c XR{T~VRW R, X, T, W c R~W{X{TRW R, X, U, Q c (X|R)~U{QRW R, X, U, S c (RU{X)~SRW R, X, U, T c R~X{U{TRW R, X, U, U c (RX{U)~URW R, X, U, V c R~(X{U)|VRW R, X, U, W c (X|WR)~URW R, X, V, Q c (R{X{V)~QRW R, X, V, S c R~X{V{SRW R, X, V, T c XR{V~TRW R, X, V, U c R~(X{U)|VRW R, X, V, W c R~V{X{WRW R, X, W, P c R~(X{P){WRW R, X, W, Q c (R~X|W)~QRW R, X, W, R c R~X{W{RRW R, X, W, S c X|R{W~SRW R, X, W, T c R~W{X{TRW R, X, W, U c (X|WR)~URW R, X, W, V c R~V{X{WRW R, X, X, Q c R~X{X{QRW S, O, Q, X c (S{O)~X{QRW S, O, U, V c O{U~V|SRW S, O, U, W c (S{O)~W{URW S, O, V, U c O{V~U|SRW S, O, W, U c (S{O)~W{URW S, O, X, Q c (S{O)~X{QRW S, P, P, X c S~X{P{PRW S, P, Q, T c (S~T|P)~QRW S, P, Q, W c (S{P)~W|QRW S, P, Q, X c S~(PQ{X)RW S, P, R, V c (S{P)~V{RRW S, P, R, X c S~X|P{RRW S, P, T, Q c (S~T|P)~QRW S, P, T, V c S|P{T~VRW S, P, T, W c S~W{P{TRW S, P, U, U c (P{U)~U|SRW S, P, U, V c S~(P{V){URW S, P, U, W c (S{P)~U{WRW S, P, U, X c S~(X|P){URW S, P, V, R c (S{P)~V{RRW S, P, V, T c S|P{V~TRW S, P, V, U c S~(P{V){URW S, P, V, V c (V|P)~V|SRW S, P, V, W c S~W|P{VRW S, P, V, X c (S{P)~X|VRW S, P, W, Q c (S{P)~W|QRW S, P, W, T c S~W{P{TRW S, P, W, U c S~P~W{URW S, P, W, V c S~W|P{VRW S, P, X, P c S~X{P{PRW S, P, X, Q c S~(P{X)|QRW S, P, X, R c S~X|P{RRW S, P, X, U c S~(X|P){URW S, P, X, V c (S{P)~X|VRW S, Q, O, X c (S{O)~X{QRW S, Q, P, T c (S~T|P)~QRW S, Q, P, W c (S{P)~W|QRW S, Q, P, X c S~(PQ{X)RW S, Q, Q, T c S~Q~T|QRW S, Q, Q, U c (S{Q)~U{QRW S, Q, Q, V c S~(Q{V){QRW S, Q, Q, W c S~(Q{W)|QRW S, Q, R, R c S~R~R{QRW S, Q, R, S c (S~S{R)~QRW S, Q, R, T c (S{R~T)~QRW S, Q, R, U c S~(R{U){QRW S, Q, R, V c S~(R{V)|QRW S, Q, R, W c S~(RQ{W)RW S, Q, S, R c (S~S{R)~QRW S, Q, S, T c (S{S)~T|QRW S, Q, S, U c S~Q~S{URW S, Q, S, V c (S{Q)~V|SRW S, Q, S, W c S{Q{S~WRW S, Q, S, X c S|Q{S~XRW S, Q, T, P c (S~T|P)~QRW S, Q, T, Q c S~Q~T|QRW S, Q, T, R c (S{T~R)~QRW S, Q, T, S c (S{T)~S{QRW S, Q, T, T c S~(T{T)|QRW S, Q, T, U c S~Q{T~URW S, Q, T, V c S~(TQ{V)RW S, Q, T, W c (S{Q)~T{WRW S, Q, T, X c S~T{Q~XRW S, Q, U, Q c (S{Q)~U{QRW S, Q, U, R c S~(U{R){QRW S, Q, U, S c S~Q~S{URW S, Q, U, T c S~Q{U~TRW S, Q, U, U c S|Q{U~URW S, Q, U, V c S~U{Q~VRW S, Q, U, X c S~(Q{X)|URW S, Q, V, Q c S~(Q{V){QRW S, Q, V, R c S~(V{R)|QRW S, Q, V, S c (S{Q)~V|SRW S, Q, V, T c S~V{Q~TRW S, Q, V, U c S~(VQ{U)RW S, Q, V, W c S~V{Q{WRW S, Q, V, X c (S~V|X)~QRW S, Q, W, P c S~(W{P){QRW S, Q, W, Q c S~(Q{W)|QRW S, Q, W, R c S~W{Q~RRW S, Q, W, S c S{Q{W~SRW S, Q, W, T c (S{Q)~T{WRW S, Q, W, V c (S{W{V)~QRW S, Q, W, W c S~W|Q{WRW S, Q, W, X c S{Q~(W{X)RW S, Q, X, O c S~X{Q{ORW S, Q, X, P c S~X{Q~PRW S, Q, X, S c S|Q{X~SRW S, Q, X, T c S~(XQ{T)RW S, Q, X, U c S~(Q{X)|URW S, Q, X, V c (S~V|X)~QRW S, Q, X, W c S{Q~(X{W)RW S, Q, X, X c (S{QX)~XRW S, R, P, V c (S{P)~V{RRW S, R, P, X c (S{X)~R|PRW S, R, Q, R c S~R~R{QRW S, R, Q, S c (S~S{R)~QRW S, R, Q, T c (S{R~T)~QRW S, R, Q, U c S~(R{U){QRW S, R, Q, V c S~(R{V)|QRW S, R, Q, W c S~(RQ{W)RW S, R, R, Q c S~R~R{QRW S, R, R, T c (S{R)~T{RRW S, R, R, V c (R{R)~V|SRW S, R, R, W c S~W{R{RRW S, R, S, Q c (S~S{R)~QRW S, R, S, U c (S{R)~U|SRW S, R, S, W c (S{RS)~WRW S, R, T, Q c (S{R~T)~QRW S, R, T, R c (S{R)~T{RRW S, R, T, U c S~(R{T){URW S, R, T, V c (S{V)~R{TRW S, R, T, X c S~X|R{TRW S, R, U, Q c S~(R{U){QRW S, R, U, S c (S{R)~U|SRW S, R, U, T c S~(R{T){URW S, R, U, V c (S{VR)~URW S, R, U, W c S~(R{W)|URW S, R, U, X c S~(RU{X)RW S, R, V, P c (S{P)~V{RRW S, R, V, Q c S~(R{V)|QRW S, R, V, R c (R{R)~V|SRW S, R, V, T c (S{V)~R{TRW S, R, V, U c (S{VR)~URW S, R, V, V c S~V{R{VRW S, R, V, W c (R{VS)~WRW S, R, V, X c S{R~X{VRW S, R, W, Q c S~(RQ{W)RW S, R, W, R c S~W{R{RRW S, R, W, S c (S{RS)~WRW S, R, W, U c S~(R{W)|URW S, R, W, V c (R{VS)~WRW S, R, W, X c S~W|R{XRW S, R, X, P c (S{X)~R|PRW S, R, X, T c S~X|R{TRW S, R, X, U c S~(RU{X)RW S, R, X, V c S{R~X{VRW S, R, X, W c S~W|R{XRW S, S, Q, R c (S~S{R)~QRW S, S, Q, T c (S{S)~T|QRW S, S, Q, U c S~S~Q{URW S, S, Q, V c (S{Q)~V|SRW S, S, Q, W c S{S~W{QRW S, S, Q, X c S{S~X|QRW S, S, R, Q c (S~S{R)~QRW S, S, R, U c (S{R)~U|SRW S, S, R, W c (S{RS)~WRW S, S, S, U c (S{S)~S{URW S, S, T, Q c (S{S)~T|QRW S, S, T, U c S{S{T~URW S, S, U, Q c S~(S{U)|QRW S, S, U, R c (S{R)~U|SRW S, S, U, S c (S{S)~S{URW S, S, U, T c S{S{U~TRW S, S, U, V c S{S~V{URW S, S, U, W c S~(US{W)RW S, S, U, X c S~X|S{URW S, S, V, Q c (S{Q)~V|SRW S, S, V, U c S{S~V{URW S, S, W, Q c S{S~W{QRW S, S, W, R c (S{RS)~WRW S, S, W, U c S~(W{US)RW S, S, W, X c S~(SW{X)RW S, S, X, Q c S{S~X|QRW S, S, X, U c S~X|S{URW S, S, X, W c S~(SW{X)RW S, T, P, Q c (S~T|P)~QRW S, T, P, V c S{T~V|PRW S, T, P, W c S~W{T{PRW S, T, Q, P c (S~T|P)~QRW S, T, Q, Q c S~T~Q|QRW S, T, Q, R c (S{T~R)~QRW S, T, Q, S c (S{T)~S{QRW S, T, Q, T c S~(T{T)|QRW S, T, Q, U c S~Q{T~URW S, T, Q, V c S~(TQ{V)RW S, T, Q, W c (S{Q)~T{WRW S, T, Q, X c S~T{Q~XRW S, T, R, Q c (S{T~R)~QRW S, T, R, R c (S{R)~T{RRW S, T, R, U c S~(T{R){URW S, T, R, V c (S{V)~R{TRW S, T, R, X c S~X{T|RRW S, T, S, Q c (S{T)~S{QRW S, T, S, U c S{T~U{SRW S, T, T, Q c S~(T{T)|QRW S, T, T, V c (S{T)~T|VRW S, T, T, X c S{T~T{XRW S, T, U, Q c (S~U|T)~QRW S, T, U, R c S~T{U~RRW S, T, U, S c S{T~U{SRW S, T, U, U c S~(T{U)|URW S, T, U, W c S{T~W|URW S, T, U, X c S~U{T{XRW S, T, V, P c S{T~V|PRW S, T, V, Q c S~(TQ{V)RW S, T, V, R c (S{V)~R{TRW S, T, V, T c (S{T)~T|VRW S, T, V, V c T~V|S{VRW S, T, V, X c S~X|T{VRW S, T, W, P c S~W{T{PRW S, T, W, Q c (S{Q)~T{WRW S, T, W, U c S{T~W|URW S, T, W, W c T~W|WSRW S, T, X, Q c S~T{X~QRW S, T, X, R c S~X{T|RRW S, T, X, T c S{T~T{XRW S, T, X, U c S~U{T{XRW S, T, X, V c S~X|T{VRW S, T, X, X c S~T{X{XRW S, U, O, V c (U{O)~V|SRW S, U, O, W c (S{O)~W{URW S, U, P, U c (U{P)~U|SRW S, U, P, V c S~(P{V){URW S, U, P, W c (S{P)~U{WRW S, U, P, X c S~(X|P){URW S, U, Q, Q c (S{Q)~U{QRW S, U, Q, R c S~(U{R){QRW S, U, Q, S c (S{U)~S|QRW S, U, Q, T c (S~U|T)~QRW S, U, Q, U c S~(U{Q){URW S, U, Q, V c S~U{Q~VRW S, U, Q, X c (S{U{X)~QRW S, U, R, Q c S~(U{R){QRW S, U, R, S c (S{R)~U|SRW S, U, R, T c S~(R{T){URW S, U, R, V c (S{VR)~URW S, U, R, W c (S{U)~R{WRW S, U, R, X c S~(RU{X)RW S, U, S, Q c (S{U)~S|QRW S, U, S, R c (S{R)~U|SRW S, U, S, S c (S{S)~S{URW S, U, S, T c S{U~T{SRW S, U, S, V c S{U{S~VRW S, U, S, W c S~(US{W)RW S, U, S, X c S~X{U|SRW S, U, T, Q c (S~U|T)~QRW S, U, T, R c S~T{U~RRW S, U, T, S c S{U~T{SRW S, U, T, U c S~(U{T)|URW S, U, T, W c S{T~W|URW S, U, T, X c S~U{T{XRW S, U, U, P c U~(U{P)|SRW S, U, U, Q c S{U~U|QRW S, U, U, T c S~(U{T)|URW S, U, U, U c U|S{U~URW S, U, U, V c U~(V|SU)RW S, U, U, W c S~U{U{WRW S, U, V, O c U~V|S{ORW S, U, V, P c S~(V{P){URW S, U, V, Q c S~U{V~QRW S, U, V, R c (S{VR)~URW S, U, V, S c S{U{V~SRW S, U, V, U c U~(V|SU)RW S, U, V, V c S~U{V{VRW S, U, V, W c S{U~V|WRW S, U, W, O c S~W{U{ORW S, U, W, P c S~W{U~PRW S, U, W, R c (S{U)~R{WRW S, U, W, S c S~(US{W)RW S, U, W, T c S{W~T|URW S, U, W, U c S~U{W{URW S, U, W, V c S{U~V|WRW S, U, W, W c (S{UW)~WRW S, U, W, X c S~(W{XU)RW S, U, X, P c S~(X|P){URW S, U, X, Q c (S{U{X)~QRW S, U, X, R c S~X{URRW S, U, X, S c S~X{U|SRW S, U, X, T c S~U{X{TRW S, U, X, W c S~X|U{WRW S, V, O, U c (V{O)~U|SRW S, V, P, R c (S{P)~V{RRW S, V, P, T c S{V~T|PRW S, V, P, U c S~(V{P){URW S, V, P, V c (V|P)~V|SRW S, V, P, W c S~W{V|PRW S, V, P, X c S~V{P{XRW S, V, Q, Q c S~(V{Q){QRW S, V, Q, R c S~(V{R)|QRW S, V, Q, S c (S{Q)~V|SRW S, V, Q, T c S~V{Q~TRW S, V, Q, U c S~(VQ{U)RW S, V, Q, W c S~V{Q{WRW S, V, Q, X c (S~V|X)~QRW S, V, R, P c (S{P)~V{RRW S, V, R, Q c S~(V{R)|QRW S, V, R, R c V~(R{R)|SRW S, V, R, T c (S{V)~R{TRW S, V, R, U c (S{VR)~URW S, V, R, V c S~V{R{VRW S, V, R, W c (VS{R)~WRW S, V, R, X c S{V{R~XRW S, V, S, Q c (S{Q)~V|SRW S, V, S, U c S{V~S{URW S, V, T, P c S{V~T|PRW S, V, T, Q c S~V{T~QRW S, V, T, R c (S{V)~R{TRW S, V, T, T c S~V{T{TRW S, V, T, V c V|S{T~VRW S, V, T, X c S~X{V|TRW S, V, U, O c V~U|S{ORW S, V, U, P c S~(V{P){URW S, V, U, Q c S~(VQ{U)RW S, V, U, R c (S{VR)~URW S, V, U, S c S~V{U{SRW S, V, U, U c (V|SU)~URW S, V, U, V c S~U{V{VRW S, V, U, W c S{V~U|WRW S, V, V, P c V~(V|P)|SRW S, V, V, R c S~V{V{RRW S, V, V, T c V|S{V~TRW S, V, V, U c S~U{V{VRW S, V, V, V c (V~V)|(S{V)RW S, V, W, P c S~W{V|PRW S, V, W, Q c (S{V{W)~QRW S, V, W, R c (VS{R)~WRW S, V, W, U c S{V~U|WRW S, V, W, X c (V|XS)~WRW S, V, X, P c S~V{X{PRW S, V, X, Q c (S~V|X)~QRW S, V, X, R c S{V{X~RRW S, V, X, T c S~X{V|TRW S, V, X, W c (V|XS)~WRW S, V, X, X c S~X|V{XRW S, W, O, U c S~W{O{URW S, W, P, Q c S~(W{P){QRW S, W, P, T c S~W{P{TRW S, W, P, U c S~W{P~URW S, W, P, V c S~W|P{VRW S, W, Q, P c S~(W{P){QRW S, W, Q, Q c S~(W{Q)|QRW S, W, Q, R c S~W{Q~RRW S, W, Q, S c S~W{Q{SRW S, W, Q, T c (S{Q)~T{WRW S, W, Q, V c (S{W{V)~QRW S, W, Q, W c S~W|Q{WRW S, W, Q, X c S{(W{X)~QRW S, W, R, Q c (S{W)~R{QRW S, W, R, R c S~W{R{RRW S, W, R, S c (S{RS)~WRW S, W, R, U c S~(W{R)|URW S, W, R, V c W~(R{VS)RW S, W, R, X c S~W|R{XRW S, W, S, Q c S{W~S{QRW S, W, S, R c (S{RS)~WRW S, W, S, U c S~(W{US)RW S, W, S, X c (SW{X)~SRW S, W, T, P c S~W{T{PRW S, W, T, Q c (S{Q)~T{WRW S, W, T, U c S{W~T|URW S, W, T, W c W~T|WSRW S, W, U, O c S~W{U{ORW S, W, U, P c S~W{U~PRW S, W, U, R c S~(W{R)|URW S, W, U, S c S~(W{US)RW S, W, U, T c S{W~T|URW S, W, U, U c S~U{W{URW S, W, U, V c S{U~V|WRW S, W, U, W c (S{UW)~WRW S, W, U, X c S~(W{XU)RW S, W, V, P c S~W{V|PRW S, W, V, Q c (S{W{V)~QRW S, W, V, R c W~(VS{R)RW S, W, V, U c S{V~U|WRW S, W, V, X c W~(V|XS)RW S, W, W, Q c S~W{W|QRW S, W, W, T c W~T|WSRW S, W, W, U c (S{UW)~WRW S, W, X, Q c S{(W{X)~QRW S, W, X, R c S~W{X|RRW S, W, X, S c (SW{X)~SRW S, W, X, U c S~(W{XU)RW S, W, X, V c W~(V|XS)RW S, X, O, Q c S~X{O{QRW S, X, P, P c S~X{P{PRW S, X, P, Q c S~(X{P)|QRW S, X, P, R c S~X|P{RRW S, X, P, U c S~(X|P){URW S, X, P, V c (S{P)~X|VRW S, X, Q, O c S~X{Q{ORW S, X, Q, P c S~X{Q~PRW S, X, Q, S c S~(X{QS)RW S, X, Q, T c S~(XQ{T)RW S, X, Q, U c S~(X{Q)|URW S, X, Q, V c (S~V|X)~QRW S, X, Q, W c S{(X{W)~QRW S, X, Q, X c (S{QX)~XRW S, X, R, P c (S{X)~R|PRW S, X, R, T c S~X|R{TRW S, X, R, U c S~(X{RU)RW S, X, R, V c S{X~R{VRW S, X, R, W c S~W{X|RRW S, X, S, Q c S{X~S|QRW S, X, S, U c S~X|S{URW S, X, S, W c S~(X{SW)RW S, X, T, Q c S~(XQ{T)RW S, X, T, R c S~X{T|RRW S, X, T, T c S{X{T~TRW S, X, T, U c S~U{X{TRW S, X, T, V c S~X|T{VRW S, X, T, X c S~T{X{XRW S, X, U, P c S~(X|P){URW S, X, U, Q c (S{X{U)~QRW S, X, U, R c S~X{URRW S, X, U, S c S~X{U|SRW S, X, U, T c S~U{X{TRW S, X, U, W c S~X|U{WRW S, X, V, P c S~V{X{PRW S, X, V, Q c (S~V|X)~QRW S, X, V, R c S{X~R{VRW S, X, V, T c S~X{V|TRW S, X, V, W c (V|XS)~WRW S, X, V, X c S~X|V{XRW S, X, W, Q c S{(X{W)~QRW S, X, W, R c S~W{X|RRW S, X, W, S c S~X{WSRW S, X, W, U c S~X{W|URW S, X, W, V c W~(V|XS)RW S, X, X, Q c (S{QX)~XRW S, X, X, T c S~T{X{XRW S, X, X, V c S~X{X|VRW T, O, Q, W c (T{O)~W|QRW T, O, R, V c (T{O)~V{RRW T, O, U, W c (T{O)~U{WRW T, O, V, R c (T{O)~V{RRW T, O, V, X c (T{O)~X|VRW T, O, W, Q c (T{O)~W|QRW T, O, W, U c (T{O)~U{WRW T, O, X, V c (T{O)~X|VRW T, P, P, W c (T~W)|(P{P)RW T, P, Q, S c (T~S|P)~QRW T, P, Q, U c (T{P)~U{QRW T, P, Q, V c T~(P{V)|QRW T, P, Q, W c T~P~W|QRW T, P, Q, X c (T|P)~X{QRW T, P, R, U c T~(P{U){RRW T, P, R, V c T~P~V{RRW T, P, R, W c T~W{P|RRW T, P, S, Q c (T~S|P)~QRW T, P, S, V c (T{P)~V|SRW T, P, S, W c T{P{S~WRW T, P, T, W c (T{P)~T{WRW T, P, U, Q c (T{P)~U{QRW T, P, U, R c T~(P{U){RRW T, P, U, V c T~U{P{VRW T, P, U, W c T~P~U{WRW T, P, U, X c T~U|P{XRW T, P, V, Q c T~(P{V)|QRW T, P, V, R c T~P~V{RRW T, P, V, S c (T{P)~V|SRW T, P, V, U c T~U{P{VRW T, P, V, W c T~(P{W)|VRW T, P, V, X c T~P~X|VRW T, P, W, P c (T~W)|(P{P)RW T, P, W, Q c T~P~W|QRW T, P, W, R c T~W{P|RRW T, P, W, S c T{P{W~SRW T, P, W, T c (T{P)~T{WRW T, P, W, U c (T|P)~W{URW T, P, W, V c T~(P{W)|VRW T, P, W, X c T~X{P|WRW T, P, X, Q c (T|P)~X{QRW T, P, X, U c (T~X)|(P{U)RW T, P, X, V c T~P~X|VRW T, P, X, W c T~X{P|WRW T, Q, O, W c (T{O)~W|QRW T, Q, P, S c (T~S|P)~QRW T, Q, P, U c (T{P)~U{QRW T, Q, P, V c T~(P{V)|QRW T, Q, P, W c T~P~W|QRW T, Q, P, X c (T|P)~X{QRW T, Q, Q, S c T~Q~S|QRW T, Q, Q, U c T~(Q{U)|QRW T, Q, Q, V c (T{Q~V)~QRW T, Q, Q, X c (T~Q{X)~QRW T, Q, R, S c (T~R{S)~QRW T, Q, R, T c (T{Q)~T{RRW T, Q, R, V c (T{V)~R{QRW T, Q, R, W c T~Q~R{WRW T, Q, R, X c T{(Q{X)~RRW T, Q, S, P c (T~S|P)~QRW T, Q, S, Q c T~Q~S|QRW T, Q, S, R c (T~R{S)~QRW T, Q, S, S c (T{S)~S{QRW T, Q, S, T c (T{T)~S|QRW T, Q, S, U c (T{Q)~U|SRW T, Q, S, V c T~Q{S~VRW T, Q, S, W c T~(Q{S){WRW T, Q, S, X c T~S{Q~XRW T, Q, T, R c (T{Q)~T{RRW T, Q, T, S c (T{T)~S|QRW T, Q, T, U c (T~T|U)~QRW T, Q, T, V c T|Q{T~VRW T, Q, T, W c T~(W|QT)RW T, Q, T, X c (T{T{X)~QRW T, Q, U, P c (T{P)~U{QRW T, Q, U, Q c T~(Q{U)|QRW T, Q, U, S c (T{Q)~U|SRW T, Q, U, T c (T~T|U)~QRW T, Q, U, U c T~U{Q{URW T, Q, U, V c T~V{UQRW T, Q, U, W c (T{U{W)~QRW T, Q, V, P c T~V{Q{PRW T, Q, V, Q c (T{Q~V)~QRW T, Q, V, R c (T{V)~R{QRW T, Q, V, S c T~Q{V~SRW T, Q, V, T c T|Q{V~TRW T, Q, V, U c T~V{UQRW T, Q, V, V c T~(Q{V)|VRW T, Q, W, O c T~W|Q{ORW T, Q, W, P c T~W|Q~PRW T, Q, W, R c T~Q~R{WRW T, Q, W, S c T~(Q{S){WRW T, Q, W, T c T~(W|QT)RW T, Q, W, U c (T{W{U)~QRW T, Q, W, W c (T|QW)~WRW T, Q, X, P c T~(X|P)|QRW T, Q, X, Q c (T~Q{X)~QRW T, Q, X, R c T{(Q{X)~RRW T, Q, X, S c (T{XQ)~SRW T, Q, X, T c (T~X)|(Q{T)RW T, Q, X, X c T~X{Q|XRW T, R, O, V c (T{O)~V{RRW T, R, P, U c T~(P{U){RRW T, R, P, V c T~P~V{RRW T, R, P, W c (T{W)~R|PRW T, R, Q, S c (T~R{S)~QRW T, R, Q, T c (T{R)~T|QRW T, R, Q, V c (T{V)~R{QRW T, R, Q, W c T~R~Q{WRW T, R, Q, X c T{R~(Q{X)RW T, R, R, S c T~(R{S){RRW T, R, R, V c T~R~R|VRW T, R, R, W c T{R~(R{W)RW T, R, S, Q c (T~R{S)~QRW T, R, S, R c T~(R{S){RRW T, R, S, U c (T{R)~S{URW T, R, S, V c T{R~(S{V)RW T, R, S, X c T|R{S~XRW T, R, T, Q c (T{R)~T|QRW T, R, T, U c T{R{T~URW T, R, T, V c T~(RT{V)RW T, R, T, W c (T{T)~R{WRW T, R, U, P c T~(U{P){RRW T, R, U, S c (T{R)~S{URW T, R, U, T c T{R{U~TRW T, R, U, U c T|R{U~URW T, R, U, V c T~(R{U)|VRW T, R, U, W c T~W|URRW T, R, U, X c T{R~X{URW T, R, V, O c T~V{R{ORW T, R, V, P c T~V{R~PRW T, R, V, Q c (T{V)~R{QRW T, R, V, R c T~R~R|VRW T, R, V, S c T{R~(V{S)RW T, R, V, T c T~(RT{V)RW T, R, V, U c T~(R{U)|VRW T, R, V, V c (T{RV)~VRW T, R, V, X c T~V{XRRW T, R, W, P c (T{W)~R|PRW T, R, W, Q c T~R~Q{WRW T, R, W, R c T{(R{W)~RRW T, R, W, T c T~W{R|TRW T, R, W, U c T~W|URRW T, R, W, X c T{R~W{XRW T, R, X, Q c T{R~(X{Q)RW T, R, X, S c T|R{X~SRW T, R, X, U c T{R~X{URW T, R, X, V c T~V{XRRW T, R, X, W c T{R~W{XRW T, S, P, Q c (T~S|P)~QRW T, S, P, V c (T{P)~V|SRW T, S, P, W c T{S~W{PRW T, S, Q, P c (T~S|P)~QRW T, S, Q, Q c T~S~Q|QRW T, S, Q, R c (T~R{S)~QRW T, S, Q, S c (T{S)~S{QRW T, S, Q, T c (T{T)~S|QRW T, S, Q, U c (T{Q)~U|SRW T, S, Q, V c T~Q{S~VRW T, S, Q, W c T~(S{Q){WRW T, S, Q, X c T~S{Q~XRW T, S, R, Q c (T~R{S)~QRW T, S, R, R c T~(S{R){RRW T, S, R, U c (T{SR)~URW T, S, R, V c T{(S{V)~RRW T, S, R, X c T{S~X|RRW T, S, S, Q c (T{S)~S{QRW T, S, S, U c T~U{S{SRW T, S, T, Q c (T{T)~S|QRW T, S, T, V c (T{S)~T|VRW T, S, T, X c T~T{S{XRW T, S, U, Q c T~U{S~QRW T, S, U, R c T~S{U~RRW T, S, U, S c T~U{S{SRW T, S, U, U c (T{U)~S|URW T, S, U, W c T~W{S|URW T, S, U, X c T{S~U{XRW T, S, V, P c T~V{S|PRW T, S, V, Q c T~Q{S~VRW T, S, V, R c T{(S{V)~RRW T, S, V, T c T{S~V{TRW T, S, V, V c T~V|S{VRW T, S, V, X c S~X|T{VRW T, S, W, P c T{S~W{PRW T, S, W, Q c T~(S{Q){WRW T, S, W, U c T~W{S|URW T, S, W, W c T~W|WSRW T, S, X, Q c T~S{X~QRW T, S, X, R c T{S~X|RRW T, S, X, T c T~T{S{XRW T, S, X, U c T{S~U{XRW T, S, X, V c S~X|T{VRW T, S, X, X c T~S{X{XRW T, T, P, W c T~(T{P){WRW T, T, Q, R c T~(T{Q){RRW T, T, Q, S c (T{T)~S|QRW T, T, Q, U c (T~T|U)~QRW T, T, Q, V c T{T~V|QRW T, T, Q, W c T~(W|QT)RW T, T, Q, X c (T{T{X)~QRW T, T, R, Q c T~(T{R)|QRW T, T, R, U c T{(T{U)~RRW T, T, R, V c T~(RT{V)RW T, T, R, W c (T{T)~R{WRW T, T, S, Q c (T{T)~S|QRW T, T, S, V c T{T{S~VRW T, T, S, X c T~T{S{XRW T, T, T, W c T{T~T{WRW T, T, U, Q c (T~T|U)~QRW T, T, U, R c T{(T{U)~RRW T, T, U, V c T~T{U{VRW T, T, U, W c T~(U{WT)RW T, T, V, Q c T{T~V|QRW T, T, V, R c T~(V{RT)RW T, T, V, S c T{T{V~SRW T, T, V, U c T~T{V{URW T, T, V, W c T{T~W|VRW T, T, V, X c T~(X|VT)RW T, T, W, P c T~(T{P){WRW T, T, W, Q c T~(W|QT)RW T, T, W, R c (T{T)~R{WRW T, T, W, T c T~T{W{TRW T, T, W, U c T~(WT{U)RW T, T, W, V c T{T~W|VRW T, T, X, Q c (T{T{X)~QRW T, T, X, S c T~T{X{SRW T, T, X, V c T~(X|VT)RW T, U, O, W c T~U{O{WRW T, U, P, Q c (T{P)~U{QRW T, U, P, R c T~(U{P){RRW T, U, P, V c T~U{P{VRW T, U, P, W c T~U{P~WRW T, U, P, X c T~U|P{XRW T, U, Q, P c (T{P)~U{QRW T, U, Q, Q c T~(U{Q)|QRW T, U, Q, S c T~U{Q~SRW T, U, Q, T c (T~T|U)~QRW T, U, Q, U c T~U{Q{URW T, U, Q, V c T~V{UQRW T, U, Q, W c (T{U{W)~QRW T, U, R, P c T~(U{P){RRW T, U, R, S c (T{R)~S{URW T, U, R, T c (T{U)~R{TRW T, U, R, U c T{U~U|RRW T, U, R, V c T~(U{R)|VRW T, U, R, W c T~W|URRW T, U, R, X c T{U{R~XRW T, U, S, Q c T~U{S~QRW T, U, S, R c T~S{U~RRW T, U, S, S c T~U{S{SRW T, U, S, U c (T{U)~S|URW T, U, S, W c T~W|U{SRW T, U, S, X c T{U~S{XRW T, U, T, Q c (T~T|U)~QRW T, U, T, R c T{(U{T)~RRW T, U, T, V c T~T{U{VRW T, U, T, W c T~(U{WT)RW T, U, U, Q c T~U{U{QRW T, U, U, R c T{U~U|RRW T, U, U, S c (T{U)~S|URW T, U, U, V c U~U|T{VRW T, U, U, W c (T{WU)~URW T, U, V, P c T~U{V{PRW T, U, V, Q c T~V{UQRW T, U, V, R c T~(U{R)|VRW T, U, V, T c T~T{U{VRW T, U, V, U c U~U|T{VRW T, U, V, V c (V~V)|(T{U)RW T, U, V, X c T{U~V|XRW T, U, W, O c T~U{W{ORW T, U, W, P c T~U{W~PRW T, U, W, Q c (T{U{W)~QRW T, U, W, R c T~W|URRW T, U, W, S c T~W|U{SRW T, U, W, T c T~(U{WT)RW T, U, W, U c (T{WU)~URW T, U, W, W c T~W{U|WRW T, U, W, X c U{W~(X|T)RW T, U, X, P c T~U{X|PRW T, U, X, R c T{U{X~RRW T, U, X, S c T{U~S{XRW T, U, X, V c T{U~V|XRW T, U, X, W c U{(X|T)~WRW T, V, O, R c T~V{O{RRW T, V, O, X c (T{O)~X|VRW T, V, P, Q c T~V{P{QRW T, V, P, R c T~V{P~RRW T, V, P, S c T~V|P{SRW T, V, P, U c T~U{V{PRW T, V, P, W c T~(V|P){WRW T, V, P, X c T~P~X|VRW T, V, Q, P c T~V{Q{PRW T, V, Q, Q c (T{V~Q)~QRW T, V, Q, R c (T{V)~R{QRW T, V, Q, S c T~Q{V~SRW T, V, Q, T c T~V|Q{TRW T, V, Q, U c T~V{UQRW T, V, Q, V c T~(V{Q)|VRW T, V, R, O c T~V{R{ORW T, V, R, P c T~V{R~PRW T, V, R, Q c (T{V)~R{QRW T, V, R, R c T~R~R|VRW T, V, R, S c T{(V{S)~RRW T, V, R, T c T~(V{RT)RW T, V, R, U c T~V|R{URW T, V, R, V c (T{RV)~VRW T, V, R, X c T~V{XRRW T, V, S, P c T~V{S|PRW T, V, S, Q c T~Q{V~SRW T, V, S, R c T{(V{S)~RRW T, V, S, T c T{V~S{TRW T, V, S, V c T~V|S{VRW T, V, S, X c V|T{S~XRW T, V, T, Q c T{V~T|QRW T, V, T, R c T~(V{RT)RW T, V, T, S c T{V~S{TRW T, V, T, U c T~T{V{URW T, V, T, W c T~V|T{WRW T, V, T, X c T~(X|VT)RW T, V, U, P c T~U{V{PRW T, V, U, Q c T~V{UQRW T, V, U, R c T~V{U|RRW T, V, U, T c T~T{V{URW T, V, U, U c V|T{U~URW T, V, U, V c (V~V)|(T{U)RW T, V, U, X c T{V~U|XRW T, V, V, Q c (T{V{V)~QRW T, V, V, R c (T{RV)~VRW T, V, V, S c T~V{V|SRW T, V, V, U c (V~V)|(T{U)RW T, V, W, P c T~(V|P){WRW T, V, W, T c T~V{W|TRW T, V, W, X c T~W{V|XRW T, V, X, O c T~X|V{ORW T, V, X, P c T~X|V~PRW T, V, X, R c T~V{XRRW T, V, X, S c V|T{X~SRW T, V, X, T c T~(X|VT)RW T, V, X, U c T~V{X|URW T, V, X, W c T~W{V|XRW T, V, X, X c (T|VX)~XRW T, W, O, Q c T~W{O|QRW T, W, O, U c (T{O)~U{WRW T, W, P, P c (T~W)|(P{P)RW T, W, P, Q c T~W|P~QRW T, W, P, R c T~W{P|RRW T, W, P, S c T{W~S{PRW T, W, P, T c (T{P)~T{WRW T, W, P, U c (T|P)~W{URW T, W, P, V c T~(W{P)|VRW T, W, P, X c T~X|W{PRW T, W, Q, O c T~W|Q{ORW T, W, Q, P c T~W|Q~PRW T, W, Q, R c T~Q~R{WRW T, W, Q, S c T~W{Q|SRW T, W, Q, T c T~(W|QT)RW T, W, Q, U c (T{W{U)~QRW T, W, Q, W c T~(W|Q){WRW T, W, R, P c (T{W)~R|PRW T, W, R, Q c T~R~Q{WRW T, W, R, R c T{(W{R)~RRW T, W, R, T c T~W{R|TRW T, W, R, U c T~W|URRW T, W, R, X c T{W~R{XRW T, W, S, P c T{W~S{PRW T, W, S, Q c T~W|S{QRW T, W, S, U c T~W{S|URW T, W, S, W c T~W|WSRW T, W, T, P c T~(T{P){WRW T, W, T, Q c T~(W|QT)RW T, W, T, R c T~W|T{RRW T, W, T, T c T{W{T~TRW T, W, T, U c T~(WT{U)RW T, W, T, V c T{W~T|VRW T, W, U, O c T~U{W{ORW T, W, U, P c T~U{W~PRW T, W, U, Q c (T{W{U)~QRW T, W, U, R c T~W|URRW T, W, U, S c T~W|U{SRW T, W, U, T c T~(WT{U)RW T, W, U, U c (T{WU)~URW T, W, U, W c T~W{U|WRW T, W, U, X c W~(X|T){URW T, W, V, P c T~(W{P)|VRW T, W, V, T c T~W|V{TRW T, W, V, X c T~W{V|XRW T, W, W, Q c T~(W|Q){WRW T, W, W, S c T~W|WSRW T, W, W, U c T~W|W{URW T, W, X, P c T~X|W{PRW T, W, X, R c T{W~R{XRW T, W, X, U c W~(X|T){URW T, W, X, V c T~W|X{VRW T, X, O, V c T~X{O|VRW T, X, P, Q c T~(X|P)|QRW T, X, P, U c (T~X)|(P{U)RW T, X, P, V c T~X|P~VRW T, X, P, W c T~X{P|WRW T, X, Q, P c T~(X|P)|QRW T, X, Q, Q c (T~Q{X)~QRW T, X, Q, R c T{(X{Q)~RRW T, X, Q, S c (T{XQ)~SRW T, X, Q, T c (T~X)|(Q{T)RW T, X, Q, X c T~X{Q|XRW T, X, R, Q c T{(X{Q)~RRW T, X, R, S c (T{X)~R|SRW T, X, R, U c T{X~R{URW T, X, R, V c T~V{XRRW T, X, R, W c T{X{R~WRW T, X, S, Q c (T{XQ)~SRW T, X, S, R c T{X~S|RRW T, X, S, T c T~T{X{SRW T, X, S, U c T{X{S~URW T, X, S, V c X~S|T{VRW T, X, S, X c T~S{X{XRW T, X, T, Q c (T{X{T)~QRW T, X, T, S c T~T{X{SRW T, X, T, V c T~(X|VT)RW T, X, U, P c (T~X)|(U{P)RW T, X, U, R c T{X~R{URW T, X, U, S c T{X{U~SRW T, X, U, V c T{U~V|XRW T, X, U, W c (X|T)~W{URW T, X, V, O c T~X|V{ORW T, X, V, P c T~X|V~PRW T, X, V, R c T~V{XRRW T, X, V, S c X~S|T{VRW T, X, V, T c T~(X|VT)RW T, X, V, U c T~V{X|URW T, X, V, W c T~W|X{VRW T, X, V, X c (T|VX)~XRW T, X, W, P c T~X|W{PRW T, X, W, R c T{X{W~RRW T, X, W, U c (X|T)~W{URW T, X, W, V c T~W|X{VRW T, X, X, Q c T~X|X{QRW T, X, X, S c T~S{X{XRW T, X, X, V c (T|VX)~XRW U, O, Q, U c (U{O)~U{QRW U, O, S, V c (U{O)~V|SRW U, O, S, W c U{O{S~WRW U, O, T, W c (U{O)~T{WRW U, O, U, Q c (U{O)~U{QRW U, O, V, S c (U{O)~V|SRW U, O, W, S c U{O{W~SRW U, O, W, T c (U{O)~T{WRW U, P, P, U c U~U{P{PRW U, P, Q, R c (U~R{P)~QRW U, P, Q, T c U~(P{T){QRW U, P, Q, U c U~P~U{QRW U, P, Q, V c U~(V|P){QRW U, P, Q, W c (U|P)~W|QRW U, P, R, Q c (U~R{P)~QRW U, P, R, T c (U{P)~T{RRW U, P, R, U c (U{PR)~URW U, P, R, V c (U|P)~V{RRW U, P, R, W c U{(P{R)~WRW U, P, S, U c (U{P)~U|SRW U, P, S, V c U{(P{V)~SRW U, P, S, W c U{P~S~WRW U, P, S, X c U{S~(X|P)RW U, P, T, Q c U~(P{T){QRW U, P, T, R c (U{P)~T{RRW U, P, T, V c U~T{P{VRW U, P, T, W c U~P~T{WRW U, P, T, X c U~T|P{XRW U, P, U, P c U~U{P{PRW U, P, U, Q c U~P~U{QRW U, P, U, R c (U{PR)~URW U, P, U, S c (U{P)~U|SRW U, P, U, W c (U|P)~U{WRW U, P, V, Q c U~(V|P){QRW U, P, V, R c (U|P)~V{RRW U, P, V, S c U{(P{V)~SRW U, P, V, T c U~V{P|TRW U, P, V, X c (U|P)~X|VRW U, P, W, Q c (U|P)~W|QRW U, P, W, R c U{(P{R)~WRW U, P, W, S c U{P~W~SRW U, P, W, T c U~P~T{WRW U, P, W, U c (U|P)~U{WRW U, P, W, X c (U~W)|(P{X)RW U, P, X, S c U{(X|P)~SRW U, P, X, T c U~T|P{XRW U, P, X, V c (U|P)~X|VRW U, P, X, W c (U~W)|(P{X)RW U, Q, O, U c (U{O)~U{QRW U, Q, P, R c (U~R{P)~QRW U, Q, P, T c U~(P{T){QRW U, Q, P, U c U~P~U{QRW U, Q, P, V c U~(V|P){QRW U, Q, P, W c (U|P)~W|QRW U, Q, Q, R c U~Q~R{QRW U, Q, Q, S c U~(Q{S){QRW U, Q, Q, T c (U{Q)~T|QRW U, Q, Q, V c (U~Q{V)~QRW U, Q, Q, W c U{(Q{Q)~WRW U, Q, Q, X c (U|Q)~X{QRW U, Q, R, P c (U~R{P)~QRW U, Q, R, Q c U~Q~R{QRW U, Q, R, R c U~(R{R){QRW U, Q, R, S c (U{R)~S{QRW U, Q, R, U c (U{U)~R{QRW U, Q, R, V c U~(V|QR)RW U, Q, R, W c U~(Q{R){WRW U, Q, R, X c U~(X|R){QRW U, Q, S, Q c U~(Q{S){QRW U, Q, S, R c (U{R)~S{QRW U, Q, S, S c U{Q~S~SRW U, Q, S, T c U~(Q{T)|SRW U, Q, S, U c (U{Q)~S{URW U, Q, S, V c U~S{Q~VRW U, Q, S, X c (U{S{X)~QRW U, Q, T, P c U~(T{P){QRW U, Q, T, Q c (U{Q)~T|QRW U, Q, T, S c U~(Q{T)|SRW U, Q, T, T c Q~(T~T|U)RW U, Q, T, U c U{Q{T~URW U, Q, T, V c UQ{T~VRW U, Q, T, W c (U{T{W)~QRW U, Q, U, O c U~U{Q{ORW U, Q, U, P c U~U{Q~PRW U, Q, U, R c (U{U)~R{QRW U, Q, U, S c U{(Q{U)~SRW U, Q, U, T c U{Q{U~TRW U, Q, U, U c (U{QU)~URW U, Q, U, V c (U{U{V)~QRW U, Q, U, W c (U|Q)~W{URW U, Q, V, P c U~(V|P){QRW U, Q, V, Q c (U~Q{V)~QRW U, Q, V, R c U~(V|QR)RW U, Q, V, S c (U{VQ)~SRW U, Q, V, T c UQ{V~TRW U, Q, V, U c U~V{Q|URW U, Q, V, W c U~(V|Q){WRW U, Q, V, X c U{Q~(V{X)RW U, Q, W, P c (U|P)~W|QRW U, Q, W, Q c U{Q~W~QRW U, Q, W, R c U~(Q{R){WRW U, Q, W, T c U~W|Q~TRW U, Q, W, U c (U|Q)~W{URW U, Q, W, V c U~(V|Q){WRW U, Q, W, W c U{Q~(W{W)RW U, Q, W, X c (U{X)~Q{WRW U, Q, X, Q c (U|Q)~X{QRW U, Q, X, R c U~(X|R){QRW U, Q, X, S c U~(X|Q)|SRW U, Q, X, V c U{Q~(X{V)RW U, Q, X, W c (U{X)~Q{WRW U, R, P, Q c (U~R{P)~QRW U, R, P, T c (U{P)~T{RRW U, R, P, U c (U{PR)~URW U, R, P, V c (U|P)~V{RRW U, R, P, W c U{(R{P)~WRW U, R, Q, P c (U~R{P)~QRW U, R, Q, Q c U~R~Q{QRW U, R, Q, R c U~(R{R){QRW U, R, Q, S c (U{R)~S{QRW U, R, Q, U c (U{U)~R{QRW U, R, Q, V c U~(V|QR)RW U, R, Q, W c U~(R{Q){WRW U, R, Q, X c U~(X|R){QRW U, R, R, Q c U~(R{R){QRW U, R, S, Q c (U{R)~S{QRW U, R, S, S c U~(R{S)|SRW U, R, S, T c U~R{S~TRW U, R, S, V c U~(S{VR)RW U, R, S, W c (U{S)~R{WRW U, R, S, X c UR{S~XRW U, R, T, P c (U{P)~T{RRW U, R, T, S c U{(R{T)~SRW U, R, T, T c (U{T)~R{TRW U, R, T, U c U~U|R{TRW U, R, T, V c (U{R)~T|VRW U, R, T, W c U~(W|TR)RW U, R, T, X c U{R~X{TRW U, R, U, P c U~U{R|PRW U, R, U, Q c (U{U)~R{QRW U, R, U, T c U~U|R{TRW U, R, U, U c UR{U~URW U, R, U, X c (U{RX)~URW U, R, V, P c (U{V)~R|PRW U, R, V, Q c U~(V|QR)RW U, R, V, S c U~(VR{S)RW U, R, V, T c U|R{V~TRW U, R, V, V c U~V{R|VRW U, R, V, W c U{(V|R)~WRW U, R, V, X c (U{X)~R|VRW U, R, W, P c U{(R{P)~WRW U, R, W, Q c U~(R{Q){WRW U, R, W, S c (U{W)~R|SRW U, R, W, T c U~(W|TR)RW U, R, W, V c (U~W)|(R{V)RW U, R, W, W c U{R~W{WRW U, R, W, X c U~(X|WR)RW U, R, X, Q c U~(X|R){QRW U, R, X, S c UR{X~SRW U, R, X, T c U{R~X{TRW U, R, X, U c (U{RX)~URW U, R, X, V c (U{X)~R|VRW U, R, X, W c U~(X|WR)RW U, S, O, V c (U{O)~V|SRW U, S, O, W c U{(S{O)~WRW U, S, P, U c (U{P)~U|SRW U, S, P, V c U{S~(P{V)RW U, S, P, W c U{S~P~WRW U, S, P, X c U{S~(X|P)RW U, S, Q, Q c U~(S{Q){QRW U, S, Q, R c (U{R)~S{QRW U, S, Q, S c U{S~Q~SRW U, S, Q, T c (U~S|T)~QRW U, S, Q, U c U{S~(Q{U)RW U, S, Q, V c U~S{Q~VRW U, S, Q, X c (U{S{X)~QRW U, S, R, Q c (U{R)~S{QRW U, S, R, S c U~(S{R)|SRW U, S, R, T c U{S~(R{T)RW U, S, R, V c U~(S{VR)RW U, S, R, W c (U{S)~R{WRW U, S, R, X c UR{S~XRW U, S, S, Q c (U{S)~S|QRW U, S, S, R c U~(S{R)|SRW U, S, S, S c U{(S{S)~SRW U, S, S, T c U~T{S{SRW U, S, S, V c U{S{S~VRW U, S, S, W c (US{W)~SRW U, S, S, X c U|S{S~XRW U, S, T, Q c (U~S|T)~QRW U, S, T, R c U{S~(T{R)RW U, S, T, S c U~T{S{SRW U, S, T, U c (U{T)~S|URW U, S, T, W c (U|TS)~WRW U, S, T, X c U~S{T{XRW U, S, U, P c U~(U{P)|SRW U, S, U, Q c U{S~(U{Q)RW U, S, U, T c (U{T)~S|URW U, S, U, U c U|S{U~URW U, S, U, V c U~(V|SU)RW U, S, U, W c U{S~U{WRW U, S, V, O c U~V|S{ORW U, S, V, P c U{S~(V{P)RW U, S, V, Q c U~S{V~QRW U, S, V, R c U~(S{VR)RW U, S, V, S c U{S{V~SRW U, S, V, U c U~(V|SU)RW U, S, V, V c (U|SV)~VRW U, S, V, W c U~V{S|WRW U, S, W, O c U{S~W{ORW U, S, W, P c U{S~W~PRW U, S, W, R c (U{S)~R{WRW U, S, W, S c (US{W)~SRW U, S, W, T c (U|TS)~WRW U, S, W, U c U~S{W{URW U, S, W, V c U~V{S|WRW U, S, W, W c U{(W|S)~WRW U, S, W, X c U~(X|S){WRW U, S, X, P c U{S~(X|P)RW U, S, X, Q c (U{S{X)~QRW U, S, X, R c UR{S~XRW U, S, X, S c U{S~X|SRW U, S, X, T c U~S{X{TRW U, S, X, W c U~(X|S){WRW U, T, O, W c U~T{O{WRW U, T, P, Q c U~(T{P){QRW U, T, P, R c (U{P)~T{RRW U, T, P, V c U~T{P{VRW U, T, P, W c U{(T|P)~WRW U, T, P, X c U~T|P{XRW U, T, Q, P c U~(T{P){QRW U, T, Q, Q c (U{Q)~T|QRW U, T, Q, S c U~(T{Q)|SRW U, T, Q, T c (T~T|U)~QRW U, T, Q, U c U~T{Q{URW U, T, Q, V c UQ{T~VRW U, T, Q, W c (U{T{W)~QRW U, T, R, P c (U{P)~T{RRW U, T, R, S c U{(T{R)~SRW U, T, R, T c (U{T)~R{TRW U, T, R, U c U~U{T|RRW U, T, R, V c U{T~V|RRW U, T, R, W c U~(W|TR)RW U, T, R, X c U{T{R~XRW U, T, S, Q c U~T{S~QRW U, T, S, R c U~(T{SR)RW U, T, S, S c U~T{S{SRW U, T, S, U c (U{T)~S|URW U, T, S, W c (U|TS)~WRW U, T, S, X c U~S{T{XRW U, T, T, Q c (T~T|U)~QRW U, T, T, R c U~T{T{RRW U, T, T, V c U{T~T{VRW U, T, T, W c (U{WT)~TRW U, T, U, Q c U{T~U{QRW U, T, U, R c U~U{T|RRW U, T, U, S c (U{T)~S|URW U, T, U, V c U~U|T{VRW U, T, U, W c U~(T{WU)RW U, T, V, P c U~T{V{PRW U, T, V, Q c UQ{T~VRW U, T, V, R c U{T~V|RRW U, T, V, T c U{T~T{VRW U, T, V, U c U~U|T{VRW U, T, V, V c (V~V)|(U{T)RW U, T, V, X c U~V{T|XRW U, T, W, O c U~T{W{ORW U, T, W, P c U~T{W~PRW U, T, W, Q c (U{T{W)~QRW U, T, W, R c U~(W|TR)RW U, T, W, S c (U|TS)~WRW U, T, W, T c (U{WT)~TRW U, T, W, U c U~(T{WU)RW U, T, W, W c U{T~W|WRW U, T, W, X c U{W~(X|T)RW U, T, X, P c U~T{X|PRW U, T, X, R c U{T{X~RRW U, T, X, S c U~S{T{XRW U, T, X, V c U~V{T|XRW U, T, X, W c U{(X|T)~WRW U, U, O, Q c U~U{O{QRW U, U, P, P c U~U{P{PRW U, U, P, Q c U~U{P~QRW U, U, P, R c U~(U{PR)RW U, U, P, S c U~(U{P)|SRW U, U, P, W c U~(U|P){WRW U, U, Q, O c U~U{Q{ORW U, U, Q, P c U~U{Q~PRW U, U, Q, R c (U{U)~R{QRW U, U, Q, S c U{(U{Q)~SRW U, U, Q, T c U{U~T{QRW U, U, Q, U c U~(U{QU)RW U, U, Q, V c (U{U{V)~QRW U, U, Q, W c U{(U|Q)~WRW U, U, R, P c U~U{R|PRW U, U, R, Q c (U{U)~R{QRW U, U, R, T c U~U|R{TRW U, U, R, U c U~U{URRW U, U, R, X c U~(U{RX)RW U, U, S, P c U~(U{P)|SRW U, U, S, Q c U~U{S|QRW U, U, S, T c (U{T)~S|URW U, U, S, U c U~U|S{URW U, U, S, V c U~(V|SU)RW U, U, S, W c U{U~S{WRW U, U, T, Q c U{U~T{QRW U, U, T, R c U~U{T|RRW U, U, T, S c (U{T)~S|URW U, U, T, V c U~U|T{VRW U, U, T, W c U~(T{WU)RW U, U, U, Q c U~(U{QU)RW U, U, U, R c U~U{URRW U, U, U, S c U{U~U|SRW U, U, U, W c U~U|U{WRW U, U, V, Q c (U{U{V)~QRW U, U, V, S c U~(V|SU)RW U, U, V, T c U~U{V|TRW U, U, V, X c U~U|V{XRW U, U, W, P c U~(U|P){WRW U, U, W, Q c U{(U|Q)~WRW U, U, W, S c U~U{WSRW U, U, W, T c U~(WU{T)RW U, U, W, U c U~U{W|URW U, U, X, R c U~(U{RX)RW U, U, X, V c U~U{X|VRW U, V, O, S c U~V{O|SRW U, V, P, Q c U~(V|P){QRW U, V, P, R c (U~V)|(P{R)RW U, V, P, S c U{(V{P)~SRW U, V, P, T c U~V{P|TRW U, V, P, X c (U|P)~X|VRW U, V, Q, P c U~(V|P){QRW U, V, Q, Q c (U~V)|(Q{Q)RW U, V, Q, R c U~(V|QR)RW U, V, Q, S c (U{VQ)~SRW U, V, Q, T c UQ{V~TRW U, V, Q, U c U~V{Q|URW U, V, Q, W c U~(V|Q){WRW U, V, Q, X c U{(V{X)~QRW U, V, R, P c (U{V)~R|PRW U, V, R, Q c U~(V|QR)RW U, V, R, S c U~(VR{S)RW U, V, R, T c U{V~T|RRW U, V, R, V c U~V{R|VRW U, V, R, W c U{(V|R)~WRW U, V, R, X c (U{X)~R|VRW U, V, S, O c U~V|S{ORW U, V, S, P c U~V|S~PRW U, V, S, Q c (U{VQ)~SRW U, V, S, R c U~(VR{S)RW U, V, S, S c U{V~S{SRW U, V, S, U c U~(V|SU)RW U, V, S, V c (U|SV)~VRW U, V, S, W c U~V{S|WRW U, V, T, P c U~V|T{PRW U, V, T, Q c UQ{V~TRW U, V, T, R c U{V~T|RRW U, V, T, T c U{V{T~TRW U, V, T, U c U~U{V|TRW U, V, T, V c (V~V)|(U{T)RW U, V, T, X c U~V{T|XRW U, V, U, Q c (U{V{U)~QRW U, V, U, S c U~(V|SU)RW U, V, U, T c U~U{V|TRW U, V, U, X c U~(V|UX)RW U, V, V, R c U~V|V{RRW U, V, V, S c (U|SV)~VRW U, V, V, T c (V~V)|(U{T)RW U, V, W, Q c U~V|WQRW U, V, W, R c U{(V|R)~WRW U, V, W, S c U~V|W{SRW U, V, X, P c (U|P)~X|VRW U, V, X, Q c U{(V{X)~QRW U, V, X, R c (U{X)~R|VRW U, V, X, T c U~V|X{TRW U, V, X, U c U~(V|UX)RW U, V, X, X c (U~X)|(V{X)RW U, W, O, S c U{(W{O)~SRW U, W, O, T c (U{O)~T{WRW U, W, P, Q c (U|P)~W|QRW U, W, P, R c U{W~(P{R)RW U, W, P, S c U{W~P~SRW U, W, P, T c U{W~(T|P)RW U, W, P, U c (U|P)~U{WRW U, W, P, X c (U~W)|(P{X)RW U, W, Q, P c (U|P)~W|QRW U, W, Q, Q c U{W~(Q{Q)RW U, W, Q, R c U~(Q{R){WRW U, W, Q, T c U~W|Q~TRW U, W, Q, U c U{W~(U|Q)RW U, W, Q, V c U~V|WQRW U, W, Q, W c U{WQ~WRW U, W, Q, X c U~X|W~QRW U, W, R, P c U{W~(R{P)RW U, W, R, Q c U~(R{Q){WRW U, W, R, S c (U{W)~R|SRW U, W, R, T c U~(W|TR)RW U, W, R, V c (U~W)|(R{V)RW U, W, R, W c U{W{R~WRW U, W, R, X c U~(X|WR)RW U, W, S, O c U{W~S{ORW U, W, S, P c U{W~S~PRW U, W, S, R c (U{W)~R|SRW U, W, S, S c (US{W)~SRW U, W, S, T c (U|TS)~WRW U, W, S, U c U{W{S~URW U, W, S, V c U~V|W{SRW U, W, S, W c U{(W|S)~WRW U, W, S, X c U~(X|S){WRW U, W, T, O c U~T{W{ORW U, W, T, P c U{W~(T|P)RW U, W, T, Q c (U{W{T)~QRW U, W, T, R c U~(W|TR)RW U, W, T, S c (U|TS)~WRW U, W, T, T c (U{WT)~TRW U, W, T, U c U~(WU{T)RW U, W, T, W c U{W~T|WRW U, W, T, X c U{W~(X|T)RW U, W, U, P c U~(U|P){WRW U, W, U, Q c U{W~(U|Q)RW U, W, U, S c U{W{U~SRW U, W, U, T c U~(WU{T)RW U, W, U, U c U~U{W|URW U, W, V, Q c U~V|WQRW U, W, V, R c U{W~(V|R)RW U, W, V, S c U~V|W{SRW U, W, W, Q c U{(W{W)~QRW U, W, W, R c U{W{W~RRW U, W, W, S c U{W~(W|S)RW U, W, W, T c U{W~T|WRW U, W, W, X c (U~X)|(W{W)RW U, W, X, P c (U~W)|(X{P)RW U, W, X, Q c U~X|W~QRW U, W, X, R c U~(X|WR)RW U, W, X, S c U~(X|S){WRW U, W, X, T c U{W~(X|T)RW U, W, X, W c (U~X)|(W{W)RW U, X, P, S c U{(X|P)~SRW U, X, P, T c U~T{X|PRW U, X, P, V c (U|P)~X|VRW U, X, P, W c (U~W)|(X{P)RW U, X, Q, Q c (U|Q)~X{QRW U, X, Q, R c U~(X|R){QRW U, X, Q, S c U~(X|Q)|SRW U, X, Q, V c U{(X{V)~QRW U, X, Q, W c (U{X)~Q{WRW U, X, R, Q c U~(X|R){QRW U, X, R, S c UR{X~SRW U, X, R, T c U{X~R{TRW U, X, R, U c (U{RX)~URW U, X, R, V c (U{X)~R|VRW U, X, R, W c U~(X|WR)RW U, X, S, P c U{(X|P)~SRW U, X, S, Q c (U{X{S)~QRW U, X, S, R c UR{X~SRW U, X, S, S c U{X~S|SRW U, X, S, T c U~S{X{TRW U, X, S, W c U~(X|S){WRW U, X, T, P c U~T{X|PRW U, X, T, R c U{X~R{TRW U, X, T, S c U~S{X{TRW U, X, T, V c U~V|X{TRW U, X, T, W c U{(X|T)~WRW U, X, U, R c U~(U{RX)RW U, X, U, V c U~U{X|VRW U, X, V, P c (U|P)~X|VRW U, X, V, Q c U{(X{V)~QRW U, X, V, R c (U{X)~R|VRW U, X, V, T c U~V|X{TRW U, X, V, U c U~(V|UX)RW U, X, V, X c (U~X)|(V{X)RW U, X, W, P c (U~W)|(X{P)RW U, X, W, Q c U~X|W~QRW U, X, W, R c U~(X|WR)RW U, X, W, S c U~(X|S){WRW U, X, W, T c U{(X|T)~WRW U, X, W, W c (U~X)|(W{W)RW U, X, X, V c (U~X)|(X{V)RW V, O, R, T c (V{O)~T{RRW V, O, S, U c (V{O)~U|SRW V, O, T, R c (V{O)~T{RRW V, O, T, X c O{T~X|VRW V, O, U, S c (V{O)~U|SRW V, O, X, T c O{X~T|VRW V, P, Q, T c (V{P)~T|QRW V, P, Q, U c (V|P)~U{QRW V, P, R, S c V~(P{S){RRW V, P, R, T c V~P~T{RRW V, P, R, U c (V~U)|(P{R)RW V, P, S, R c V~(P{S){RRW V, P, S, T c V~(P{T)|SRW V, P, S, U c (V{P)~S{URW V, P, S, V c (V|P)~V|SRW V, P, S, W c V|P{S~WRW V, P, S, X c V~S{P{XRW V, P, T, Q c (V{P)~T|QRW V, P, T, R c V~P~T{RRW V, P, T, S c V~(P{T)|SRW V, P, T, U c V{P{T~URW V, P, T, W c (V|P)~T{WRW V, P, T, X c P~T~X|VRW V, P, U, Q c (V|P)~U{QRW V, P, U, R c (V~U)|(P{R)RW V, P, U, S c V~P~U|SRW V, P, U, T c V{P{U~TRW V, P, U, X c (U|P)~X|VRW V, P, V, S c (V|P)~V|SRW V, P, W, S c V|P{W~SRW V, P, W, T c (V|P)~T{WRW V, P, X, S c V~S{P{XRW V, P, X, T c P~X~T|VRW V, P, X, U c X~(U|P)|VRW V, Q, P, T c (V{P)~T|QRW V, Q, P, U c (V|P)~U{QRW V, Q, Q, R c (V~R|Q)~QRW V, Q, Q, S c (V{Q)~S{QRW V, Q, Q, T c (V~Q{T)~QRW V, Q, Q, U c (V{Q~U)~QRW V, Q, Q, W c (V|Q)~W|QRW V, Q, R, Q c (V~R|Q)~QRW V, Q, R, R c V~(Q{R){RRW V, Q, R, S c V~Q~R|SRW V, Q, R, T c (V{T)~R{QRW V, Q, R, U c (V|QR)~URW V, Q, R, V c (V|Q)~V{RRW V, Q, R, W c V~Q{R~WRW V, Q, R, X c (V{R{X)~QRW V, Q, S, Q c (V{Q)~S{QRW V, Q, S, R c V~Q~R|SRW V, Q, S, S c V~(Q{S)|SRW V, Q, S, T c V~S{Q~TRW V, Q, S, U c V~Q{S~URW V, Q, S, W c V~S{Q{WRW V, Q, S, X c (V~S|X)~QRW V, Q, T, P c V~T{Q{PRW V, Q, T, Q c (V~Q{T)~QRW V, Q, T, R c (V{T)~R{QRW V, Q, T, S c (V{TQ)~SRW V, Q, T, T c V~T|Q{TRW V, Q, T, U c V~T{UQRW V, Q, T, V c (V{Q)~T|VRW V, Q, U, P c (V|P)~U{QRW V, Q, U, Q c (V{Q~U)~QRW V, Q, U, R c (V|QR)~URW V, Q, U, S c V~Q{U~SRW V, Q, U, T c V~T{UQRW V, Q, U, U c V~U{Q|URW V, Q, U, W c (V|Q)~U{WRW V, Q, U, X c (V{X)~Q{URW V, Q, V, R c (V|Q)~V{RRW V, Q, V, T c (V{Q)~T|VRW V, Q, V, X c (V|Q)~X|VRW V, Q, W, Q c (V|Q)~W|QRW V, Q, W, R c V~Q{W~RRW V, Q, W, S c V~(W|Q)|SRW V, Q, W, U c (V|Q)~U{WRW V, Q, W, W c (V{W)~Q{WRW V, Q, W, X c V~W|Q~XRW V, Q, X, R c (V{X{R)~QRW V, Q, X, S c (V~S|X)~QRW V, Q, X, U c (V{X)~Q{URW V, Q, X, V c (V|Q)~X|VRW V, Q, X, W c V~W|Q~XRW V, R, O, T c (V{O)~T{RRW V, R, P, S c V~(P{S){RRW V, R, P, T c V~P~T{RRW V, R, P, U c (V{U)~R|PRW V, R, Q, Q c (V~R|Q)~QRW V, R, Q, R c V~(R{Q){RRW V, R, Q, S c V~R~Q|SRW V, R, Q, T c (V{T)~R{QRW V, R, Q, U c (V|QR)~URW V, R, Q, V c (V|Q)~V{RRW V, R, Q, W c V~Q{R~WRW V, R, Q, X c (V{R{X)~QRW V, R, R, Q c V~(R{Q){RRW V, R, R, S c V~(R{R)|SRW V, R, R, T c R~R~T|VRW V, R, R, W c (V{R)~R{WRW V, R, S, P c V~(S{P){RRW V, R, S, Q c (V{R)~S|QRW V, R, S, R c V~(R{R)|SRW V, R, S, T c (V{S)~R{TRW V, R, S, U c (VR{S)~URW V, R, S, V c V{R{S~VRW V, R, S, W c (VS{R)~WRW V, R, S, X c V{R~X{SRW V, R, T, O c V~T{R{ORW V, R, T, P c V~T{R~PRW V, R, T, Q c (V{T)~R{QRW V, R, T, R c R~T~R|VRW V, R, T, S c (V{S)~R{TRW V, R, T, T c (V{RT)~TRW V, R, T, U c V~T|R{URW V, R, T, V c V~(RV{T)RW V, R, T, X c V~T{XRRW V, R, U, P c (V{U)~R|PRW V, R, U, Q c (V|QR)~URW V, R, U, S c (VR{S)~URW V, R, U, T c V~T|R{URW V, R, U, V c V~U{R|VRW V, R, U, W c (V|R)~W{URW V, R, U, X c R~(U{X)|VRW V, R, V, Q c V~(V|Q){RRW V, R, V, S c V{R{V~SRW V, R, V, T c V~(RV{T)RW V, R, V, U c V~U{R|VRW V, R, V, W c V{R~W{VRW V, R, W, Q c V~Q{R~WRW V, R, W, R c (V{R)~R{WRW V, R, W, S c (VS{R)~WRW V, R, W, U c (V|R)~W{URW V, R, W, V c V{R~W{VRW V, R, W, X c V~R{W{XRW V, R, X, Q c (V{R{X)~QRW V, R, X, S c V{R~X{SRW V, R, X, T c V~T{XRRW V, R, X, U c R~(X{U)|VRW V, R, X, W c V~R{X{WRW V, S, O, U c (V{O)~U|SRW V, S, P, R c V~(S{P){RRW V, S, P, T c V~(P{T)|SRW V, S, P, U c (V{P)~S{URW V, S, P, V c (V|P)~V|SRW V, S, P, W c V{S~W|PRW V, S, P, X c V~S{P{XRW V, S, Q, Q c (V{Q)~S{QRW V, S, Q, R c (V{S~R)~QRW V, S, Q, S c V~(S{Q)|SRW V, S, Q, T c V~S{Q~TRW V, S, Q, U c V~Q{S~URW V, S, Q, W c V~S{Q{WRW V, S, Q, X c (V~S|X)~QRW V, S, R, P c V~(S{P){RRW V, S, R, Q c (V{S~R)~QRW V, S, R, R c V~(R{R)|SRW V, S, R, T c (V{S)~R{TRW V, S, R, U c (VR{S)~URW V, S, R, V c V~S{R{VRW V, S, R, W c (VS{R)~WRW V, S, R, X c V{S{R~XRW V, S, S, Q c V~(S{Q)|SRW V, S, S, U c (V{S)~S|URW V, S, T, P c V~T{S|PRW V, S, T, Q c V~S{T~QRW V, S, T, R c (V{S)~R{TRW V, S, T, T c V~S{T{TRW V, S, T, V c V|S{T~VRW V, S, T, X c V{S~X|TRW V, S, U, O c V~U|S{ORW V, S, U, P c V~U|S~PRW V, S, U, Q c V~Q{S~URW V, S, U, R c (VR{S)~URW V, S, U, S c V~S{U{SRW V, S, U, U c (V|SU)~URW V, S, U, V c V{S~U{VRW V, S, U, W c V~U{S|WRW V, S, V, P c V~(V|P)|SRW V, S, V, R c V{S~V{RRW V, S, V, T c V|S{V~TRW V, S, V, U c V{S~U{VRW V, S, V, V c (V~V)|(S{V)RW V, S, W, P c V{S~W|PRW V, S, W, Q c (V{S{W)~QRW V, S, W, R c (VS{R)~WRW V, S, W, U c V~U{S|WRW V, S, W, X c (V|XS)~WRW V, S, X, P c V~S{X{PRW V, S, X, Q c (V~S|X)~QRW V, S, X, R c V{S{X~RRW V, S, X, T c V{S~X|TRW V, S, X, W c (V|XS)~WRW V, S, X, X c S~X|V{XRW V, T, O, R c V~T{O{RRW V, T, O, X c (T{O)~X|VRW V, T, P, Q c V~T{P{QRW V, T, P, R c V~T{P~RRW V, T, P, S c V~(T{P)|SRW V, T, P, U c V{T~U{PRW V, T, P, W c (V|P)~T{WRW V, T, P, X c T~P~X|VRW V, T, Q, P c V~T{Q{PRW V, T, Q, Q c (V~Q{T)~QRW V, T, Q, R c (V{T)~R{QRW V, T, Q, S c (V{TQ)~SRW V, T, Q, T c V~T|Q{TRW V, T, Q, U c V~T{UQRW V, T, Q, V c (V{T{V)~QRW V, T, R, O c V~T{R{ORW V, T, R, P c V~T{R~PRW V, T, R, Q c (V{T)~R{QRW V, T, R, R c T~R~R|VRW V, T, R, S c (V{S)~R{TRW V, T, R, T c (V{RT)~TRW V, T, R, U c V~T|R{URW V, T, R, V c V~(T{RV)RW V, T, R, X c V~T{XRRW V, T, S, P c V~T{S|PRW V, T, S, Q c (V{TQ)~SRW V, T, S, R c (V{S)~R{TRW V, T, S, T c V~S{T{TRW V, T, S, V c V~T|S{VRW V, T, S, X c V|T{S~XRW V, T, T, Q c V~T{T|QRW V, T, T, R c (V{RT)~TRW V, T, T, S c V~S{T{TRW V, T, T, U c V{T~T{URW V, T, T, W c V~T|T{WRW V, T, T, X c V~X|T~TRW V, T, U, P c V{T~U{PRW V, T, U, Q c V~T{UQRW V, T, U, R c V~T{U|RRW V, T, U, T c V{T~T{URW V, T, U, U c V|T{U~URW V, T, U, V c (V~V)|(T{U)RW V, T, U, X c V~T|U{XRW V, T, V, Q c (V{T{V)~QRW V, T, V, R c V~(T{RV)RW V, T, V, S c V{T~V|SRW V, T, V, U c (V~V)|(T{U)RW V, T, W, P c (V|P)~T{WRW V, T, W, T c V~T{W|TRW V, T, W, X c V{T~W|XRW V, T, X, O c T~X|V{ORW V, T, X, P c T~X|V~PRW V, T, X, R c V~T{XRRW V, T, X, S c V|T{X~SRW V, T, X, T c V~X|T~TRW V, T, X, U c V~T{X|URW V, T, X, W c V{T~W|XRW V, T, X, X c (T|VX)~XRW V, U, O, S c V~U{O|SRW V, U, P, Q c (V|P)~U{QRW V, U, P, R c (V~U)|(P{R)RW V, U, P, S c V~U|P~SRW V, U, P, T c V~U{P|TRW V, U, P, X c (U|P)~X|VRW V, U, Q, P c (V|P)~U{QRW V, U, Q, Q c (V{U~Q)~QRW V, U, Q, R c (V|QR)~URW V, U, Q, S c V~Q{U~SRW V, U, Q, T c V~T{UQRW V, U, Q, U c V~U{Q|URW V, U, Q, W c V~U|WQRW V, U, Q, X c (V{X)~Q{URW V, U, R, P c (V{U)~R|PRW V, U, R, Q c (V|QR)~URW V, U, R, S c (VR{S)~URW V, U, R, T c V~T{U|RRW V, U, R, V c V~U{R|VRW V, U, R, W c (V|R)~W{URW V, U, R, X c (U{X)~R|VRW V, U, S, O c V~U|S{ORW V, U, S, P c V~U|S~PRW V, U, S, Q c V~Q{U~SRW V, U, S, R c (VR{S)~URW V, U, S, S c V~S{U{SRW V, U, S, U c (V|SU)~URW V, U, S, V c V{U~S{VRW V, U, S, W c V~U{S|WRW V, U, T, P c V{U~T{PRW V, U, T, Q c V~T{UQRW V, U, T, R c V~T{U|RRW V, U, T, T c V{U{T~TRW V, U, T, U c V{U~U|TRW V, U, T, V c (V~V)|(U{T)RW V, U, T, X c V~U{T|XRW V, U, U, Q c (V{U{U)~QRW V, U, U, S c (V|SU)~URW V, U, U, T c V{U~U|TRW V, U, U, X c (V|UX)~URW V, U, V, R c V~U|V{RRW V, U, V, S c V{U~S{VRW V, U, V, T c (V~V)|(U{T)RW V, U, W, Q c V~U|WQRW V, U, W, R c V~W|U~RRW V, U, W, S c V~U|W{SRW V, U, X, P c (U|P)~X|VRW V, U, X, Q c (V{X)~Q{URW V, U, X, R c (U{X)~R|VRW V, U, X, T c V~U|X{TRW V, U, X, U c (V|UX)~URW V, U, X, X c (U~X)|(V{X)RW V, V, P, S c V~(V|P)|SRW V, V, Q, R c V~(V|Q){RRW V, V, Q, T c (V{V{T)~QRW V, V, Q, X c (V~V)|(Q{X)RW V, V, R, Q c V~(V|Q){RRW V, V, R, S c (V{V)~R|SRW V, V, R, T c V~(RV{T)RW V, V, R, U c V~U|V{RRW V, V, R, W c V{V{R~WRW V, V, S, P c V~(V|P)|SRW V, V, S, R c V{V~S{RRW V, V, S, T c V{V~T|SRW V, V, S, U c V{V{S~URW V, V, S, V c (V~V)|(S{V)RW V, V, T, Q c (V{V{T)~QRW V, V, T, R c V~(T{RV)RW V, V, T, S c V{V~T|SRW V, V, T, U c (V~V)|(T{U)RW V, V, U, R c V~U|V{RRW V, V, U, S c V{V{U~SRW V, V, U, T c (V~V)|(U{T)RW V, V, V, S c (V~V)|(V{S)RW V, V, W, R c V{V{W~RRW V, V, X, Q c (V~V)|(X{Q)RW V, W, P, S c V{W~S|PRW V, W, P, T c (V|P)~T{WRW V, W, Q, Q c (V|Q)~W|QRW V, W, Q, R c V~Q{W~RRW V, W, Q, S c V~(W|Q)|SRW V, W, Q, U c (V|Q)~U{WRW V, W, Q, W c (V{W)~Q{WRW V, W, Q, X c V~W|Q~XRW V, W, R, Q c V~Q{W~RRW V, W, R, R c V~(W|R){RRW V, W, R, S c (VS{R)~WRW V, W, R, U c V~W|R~URW V, W, R, V c V{W~R{VRW V, W, R, X c V~R{W{XRW V, W, S, P c V{W~S|PRW V, W, S, Q c (V{W{S)~QRW V, W, S, R c (VS{R)~WRW V, W, S, U c V~U|W{SRW V, W, S, X c (V|XS)~WRW V, W, T, P c (V|P)~T{WRW V, W, T, T c V~T{W|TRW V, W, T, X c V{W~T|XRW V, W, U, Q c V~U|WQRW V, W, U, R c V~W|U~RRW V, W, U, S c V~U|W{SRW V, W, V, R c V{W~R{VRW V, W, W, Q c (V{W)~Q{WRW V, W, X, Q c V~W|X~QRW V, W, X, R c V~R{W{XRW V, W, X, S c (V|XS)~WRW V, W, X, T c V{W~T|XRW V, W, X, X c (V~W)|(X{X)RW V, X, O, T c (X{O)~T|VRW V, X, P, S c V~S{X{PRW V, X, P, T c X~P~T|VRW V, X, P, U c X~(U|P)|VRW V, X, Q, R c (V{X{R)~QRW V, X, Q, S c (V~S|X)~QRW V, X, Q, U c (V{X)~Q{URW V, X, Q, V c (V|Q)~X|VRW V, X, Q, W c V~W|X~QRW V, X, R, Q c (V{X{R)~QRW V, X, R, S c V{X~R{SRW V, X, R, T c V~T{XRRW V, X, R, U c (X{U)~R|VRW V, X, R, W c V~R{X{WRW V, X, S, P c V~S{X{PRW V, X, S, Q c (V~S|X)~QRW V, X, S, R c V~(X|S){RRW V, X, S, T c V{X~S|TRW V, X, S, W c (V|XS)~WRW V, X, S, X c X|V{S~XRW V, X, T, O c X~T|V{ORW V, X, T, P c X~T|V~PRW V, X, T, R c V~T{XRRW V, X, T, S c V{X~S|TRW V, X, T, T c V~X|T~TRW V, X, T, U c V~T{X|URW V, X, T, W c V{T~W|XRW V, X, T, X c X~(T|VX)RW V, X, U, P c X~(U|P)|VRW V, X, U, Q c (V{X)~Q{URW V, X, U, R c (X{U)~R|VRW V, X, U, T c V~U|X{TRW V, X, U, U c (V|UX)~URW V, X, U, X c (X~U)|(V{X)RW V, X, V, Q c (V~V)|(X{Q)RW V, X, W, Q c V~W|X~QRW V, X, W, R c V~R{X{WRW V, X, W, S c (V|XS)~WRW V, X, W, T c V{W~T|XRW V, X, W, X c (V~W)|(X{X)RW V, X, X, S c X|V{X~SRW V, X, X, T c X~(T|VX)RW V, X, X, U c (X~U)|(V{X)RW V, X, X, W c (V~W)|(X{X)RW W, O, Q, T c (W{O)~T|QRW W, O, S, U c (W{O)~S{URW W, O, T, Q c (W{O)~T|QRW W, O, T, U c W{O{T~URW W, O, U, S c (W{O)~S{URW W, O, U, T c W{O{U~TRW W, P, P, T c (W~T)|(P{P)RW W, P, Q, S c (W{P)~S{QRW W, P, Q, T c W~P~T|QRW W, P, Q, U c W~(U|P)|QRW W, P, R, T c (W|P)~T{RRW W, P, R, U c W~(P{R){URW W, P, R, X c W{(P{X)~RRW W, P, S, Q c (W{P)~S{QRW W, P, S, T c W~S{P{TRW W, P, S, U c W{(P{S)~URW W, P, S, V c W~S|P{VRW W, P, T, P c (W~T)|(P{P)RW W, P, T, Q c W~P~T|QRW W, P, T, R c (W|P)~T{RRW W, P, T, S c W~(T|PS)RW W, P, T, T c W{(P{T)~TRW W, P, T, U c W{P~T~URW W, P, T, V c (W{P)~T|VRW W, P, T, X c P{T~X|WRW W, P, U, Q c W~(U|P)|QRW W, P, U, R c W~(P{R){URW W, P, U, S c (W|P)~U|SRW W, P, U, T c W{P~U~TRW W, P, U, U c W{(U|P)~URW W, P, U, X c (W~U)|(P{X)RW W, P, V, S c W~S|P{VRW W, P, V, T c (W{P)~T|VRW W, P, X, R c W{(P{X)~RRW W, P, X, T c P{X~T|WRW W, P, X, U c (W~U)|(P{X)RW W, Q, O, T c (W{O)~T|QRW W, Q, P, S c (W{P)~S{QRW W, Q, P, T c W~P~T|QRW W, Q, P, U c W~(U|P)|QRW W, Q, Q, R c W~(Q{R)|QRW W, Q, Q, S c (W{Q)~S|QRW W, Q, Q, U c W~(Q{Q){URW W, Q, Q, V c W~(V|Q)|QRW W, Q, Q, X c (W{Q{X)~QRW W, Q, R, Q c W~(Q{R)|QRW W, Q, R, S c (W{RQ)~SRW W, Q, R, T c W{Q~R~TRW W, Q, R, U c W{(Q{R)~URW W, Q, R, V c W~R{Q~VRW W, Q, R, W c (W{Q)~R{WRW W, Q, R, X c Q~(R~X|W)RW W, Q, S, P c W~(S{P)|QRW W, Q, S, Q c (W{Q)~S|QRW W, Q, S, R c W~S{Q~RRW W, Q, S, S c W~S{Q{SRW W, Q, S, T c W{(Q{S)~TRW W, Q, S, V c W{Q{S~VRW W, Q, S, W c W|Q{S~WRW W, Q, S, X c (W|S)~X{QRW W, Q, T, O c W~T|Q{ORW W, Q, T, P c W~T|Q~PRW W, Q, T, R c W{Q~T~RRW W, Q, T, S c W{(Q{S)~TRW W, Q, T, T c (W|QT)~TRW W, Q, T, U c (W{T{U)~QRW W, Q, T, W c (W|Q)~T{WRW W, Q, U, P c W~(U|P)|QRW W, Q, U, Q c (W|Q)~U{QRW W, Q, U, R c W{(Q{R)~URW W, Q, U, T c W~U|Q~TRW W, Q, U, U c W~(U|Q){URW W, Q, U, V c W{U~(V|Q)RW W, Q, U, W c WQ~W{URW W, Q, U, X c W{Q~(U{X)RW W, Q, V, Q c W~(V|Q)|QRW W, Q, V, R c W~R{Q~VRW W, Q, V, S c W{Q{V~SRW W, Q, V, U c W{(V|Q)~URW W, Q, V, W c W{Q~(V{W)RW W, Q, V, X c W~V|Q~XRW W, Q, W, R c W{(Q{W)~RRW W, Q, W, S c W|Q{W~SRW W, Q, W, T c (W|Q)~T{WRW W, Q, W, U c WQ~W{URW W, Q, W, V c W{Q~(W{V)RW W, Q, X, Q c (W{Q{X)~QRW W, Q, X, R c Q~(X~R|W)RW W, Q, X, S c (W{X)~Q{SRW W, Q, X, U c W{Q~(X{U)RW W, Q, X, V c W~V|Q~XRW W, R, P, T c (W|P)~T{RRW W, R, P, U c W~(R{P){URW W, R, P, X c W{R~(P{X)RW W, R, Q, Q c W~(R{Q)|QRW W, R, Q, S c (W{RQ)~SRW W, R, Q, T c W{R~Q~TRW W, R, Q, U c W{(R{Q)~URW W, R, Q, V c W~R{Q~VRW W, R, Q, W c W{R~(Q{W)RW W, R, Q, X c (R~X|W)~QRW W, R, R, S c W~S{R{RRW W, R, R, T c W{(R{R)~TRW W, R, R, V c W{R~(R{V)RW W, R, R, X c W{R{R~XRW W, R, S, Q c (W{RQ)~SRW W, R, S, R c W~S{R{RRW W, R, S, S c W~(RS{S)RW W, R, S, U c W{R~(S{U)RW W, R, S, V c W~(R{VS)RW W, R, S, X c W~S|R{XRW W, R, T, P c (W{T)~R|PRW W, R, T, Q c W{R~T~QRW W, R, T, R c W{(R{R)~TRW W, R, T, T c W{R~(T{T)RW W, R, T, U c (W|TR)~URW W, R, T, X c W~R{T{XRW W, R, U, P c W~(R{P){URW W, R, U, Q c W{(R{Q)~URW W, R, U, S c W{R~(U{S)RW W, R, U, T c (W|TR)~URW W, R, U, V c (W~U)|(R{V)RW W, R, U, W c (W|R)~U{WRW W, R, U, X c U~(X|WR)RW W, R, V, Q c W~R{V~QRW W, R, V, R c W{(R{V)~RRW W, R, V, S c W~(R{VS)RW W, R, V, U c W~(V|R){URW W, R, V, V c W~R{V{VRW W, R, V, X c W{R~V{XRW W, R, W, Q c (W{R{W)~QRW W, R, W, U c W{R~W{URW W, R, X, P c W{R~(X{P)RW W, R, X, Q c (R~X|W)~QRW W, R, X, R c W{R{X~RRW W, R, X, S c W~S|R{XRW W, R, X, T c W~R{X{TRW W, R, X, U c (X|WR)~URW W, R, X, V c (W|R)~X|VRW W, S, O, U c W~S{O{URW W, S, P, Q c W~(S{P)|QRW W, S, P, T c W~S{P{TRW W, S, P, U c W{(S{P)~URW W, S, P, V c W~S|P{VRW W, S, Q, P c W~(S{P)|QRW W, S, Q, Q c (W{Q)~S|QRW W, S, Q, R c W~S{Q~RRW W, S, Q, S c W~S{Q{SRW W, S, Q, T c W{(S{Q)~TRW W, S, Q, V c (W{S{V)~QRW W, S, Q, W c W~S|Q{WRW W, S, Q, X c (W|S)~X{QRW W, S, R, Q c (W{S)~R{QRW W, S, R, R c W~S{R{RRW W, S, R, S c W~(S{RS)RW W, S, R, U c W{(S{U)~RRW W, S, R, V c W~(R{VS)RW W, S, R, X c W~S|R{XRW W, S, S, Q c W~S{S{QRW W, S, S, R c W~(S{RS)RW W, S, S, U c (W{US)~SRW W, S, S, X c WS{S~XRW W, S, T, P c W~S{T{PRW W, S, T, Q c W{(S{Q)~TRW W, S, T, U c W~T{S|URW W, S, T, W c W~T|WSRW W, S, U, O c W~S{U{ORW W, S, U, P c W~S{U~PRW W, S, U, R c W{(S{U)~RRW W, S, U, S c (W{US)~SRW W, S, U, T c W~(U|TS)RW W, S, U, U c W{S~U{URW W, S, U, V c S{U~V|WRW W, S, U, W c W~(S{UW)RW W, S, U, X c W{S~X|URW W, S, V, P c W~S{V|PRW W, S, V, Q c (W{S{V)~QRW W, S, V, R c W~(VS{R)RW W, S, V, U c S{V~U|WRW W, S, V, X c W~(V|XS)RW W, S, W, Q c W{S~W|QRW W, S, W, T c W~T|WSRW W, S, W, U c (W|S)~W{URW W, S, X, Q c (W|S)~X{QRW W, S, X, R c W~S{X|RRW W, S, X, S c WS{X~SRW W, S, X, U c W{S~X|URW W, S, X, V c W~(V|XS)RW W, T, O, Q c W~T{O|QRW W, T, O, U c W{(T{O)~URW W, T, P, P c (W~T)|(P{P)RW W, T, P, Q c W~T|P~QRW W, T, P, R c W~T{P|RRW W, T, P, S c W~(T|PS)RW W, T, P, T c W{(T{P)~TRW W, T, P, U c W{T~P~URW W, T, P, V c W{T~(V|P)RW W, T, P, X c T~X|W{PRW W, T, Q, O c W~T|Q{ORW W, T, Q, P c W~T|Q~PRW W, T, Q, R c W{T~Q~RRW W, T, Q, S c W{T~(Q{S)RW W, T, Q, T c (W|QT)~TRW W, T, Q, U c (W{T{U)~QRW W, T, Q, W c W~(T|QW)RW W, T, R, P c (W{T)~R|PRW W, T, R, Q c W{T~R~QRW W, T, R, R c W{T~(R{R)RW W, T, R, T c W~T{R|TRW W, T, R, U c (W|TR)~URW W, T, R, X c W{T~(X|R)RW W, T, S, P c W~(T|PS)RW W, T, S, Q c W{T~(S{Q)RW W, T, S, U c W~T{S|URW W, T, S, W c W~T|WSRW W, T, T, P c W{T~(T{P)RW W, T, T, Q c (W|QT)~TRW W, T, T, R c W{(T{T)~RRW W, T, T, T c W{T{T~TRW W, T, T, U c (WT{U)~TRW W, T, T, V c W|T{T~VRW W, T, U, O c W{T~U{ORW W, T, U, P c W{T~U~PRW W, T, U, Q c (W{T{U)~QRW W, T, U, R c W~T|URRW W, T, U, S c W~T|U{SRW W, T, U, T c (WT{U)~TRW W, T, U, U c (WU{T)~URW W, T, U, W c W~T{U|WRW W, T, U, X c W~(X|T){URW W, T, V, P c W{T~(V|P)RW W, T, V, T c W{T~V|TRW W, T, V, X c W~T{V|XRW W, T, W, Q c W{T~(W|Q)RW W, T, W, S c W~T|WSRW W, T, W, U c W~T|W{URW W, T, X, P c T~X|W{PRW W, T, X, R c W{T~(X|R)RW W, T, X, U c W~(X|T){URW W, T, X, V c W~T|X{VRW W, U, O, S c (W{O)~S{URW W, U, O, T c W{(U{O)~TRW W, U, P, Q c W~(U|P)|QRW W, U, P, R c W~(P{R){URW W, U, P, S c W{U~(P{S)RW W, U, P, T c W{U~P~TRW W, U, P, U c W{(U|P)~URW W, U, P, X c (W~U)|(P{X)RW W, U, Q, P c W~(U|P)|QRW W, U, Q, Q c (W|Q)~U{QRW W, U, Q, R c W{U~(Q{R)RW W, U, Q, T c W~U|Q~TRW W, U, Q, U c W~(U|Q){URW W, U, Q, V c W{U~(V|Q)RW W, U, Q, W c (W~U)|(Q{W)RW W, U, Q, X c W{(U{X)~QRW W, U, R, P c W~(R{P){URW W, U, R, Q c W{U~(R{Q)RW W, U, R, S c (W{U)~R|SRW W, U, R, T c W~T|URRW W, U, R, V c (W~U)|(R{V)RW W, U, R, W c W{U{R~WRW W, U, R, X c U~(X|WR)RW W, U, S, O c W~S{U{ORW W, U, S, P c W{U~(S{P)RW W, U, S, R c W{(U{S)~RRW W, U, S, S c (W{US)~SRW W, U, S, T c W~(U|TS)RW W, U, S, U c W{U{S~URW W, U, S, V c U~V|W{SRW W, U, S, W c W~(UW{S)RW W, U, S, X c W|U{S~XRW W, U, T, O c W{U~T{ORW W, U, T, P c W{U~T~PRW W, U, T, Q c (W{U{T)~QRW W, U, T, R c W~T|URRW W, U, T, S c W~(U|TS)RW W, U, T, T c (W~U)|(T{T)RW W, U, T, U c (WU{T)~URW W, U, T, W c W~T{U|WRW W, U, T, X c W~(X|T){URW W, U, U, P c W{U~(U|P)RW W, U, U, Q c W~(U|Q){URW W, U, U, S c W{U{U~SRW W, U, U, T c (WU{T)~URW W, U, U, U c W{U~U|URW W, U, V, Q c W{U~(V|Q)RW W, U, V, R c (W~U)|(V{R)RW W, U, V, S c U~V|W{SRW W, U, W, Q c (W~U)|(W{Q)RW W, U, W, R c W{U{W~RRW W, U, W, S c W~(UW{S)RW W, U, W, T c W~T{U|WRW W, U, W, X c (U~X)|(W{W)RW W, U, X, P c (W~U)|(X{P)RW W, U, X, Q c W{(U{X)~QRW W, U, X, R c U~(X|WR)RW W, U, X, S c W{U~(X|S)RW W, U, X, T c W~(X|T){URW W, U, X, W c (U~X)|(W{W)RW W, V, P, S c W~S{V|PRW W, V, P, T c W{(V|P)~TRW W, V, Q, Q c W~(V|Q)|QRW W, V, Q, R c W~R{V~QRW W, V, Q, S c (W{V{S)~QRW W, V, Q, U c W{(V|Q)~URW W, V, Q, W c (W{V)~Q{WRW W, V, Q, X c W~V|Q~XRW W, V, R, Q c W~R{V~QRW W, V, R, R c W{(V{R)~RRW W, V, R, S c W~(VS{R)RW W, V, R, U c W~(V|R){URW W, V, R, V c (W{V)~R|VRW W, V, R, X c W{V~R{XRW W, V, S, P c W~S{V|PRW W, V, S, Q c (W{V{S)~QRW W, V, S, R c W~(VS{R)RW W, V, S, U c V~U|W{SRW W, V, S, X c W~(V|XS)RW W, V, T, P c W{(V|P)~TRW W, V, T, T c W{V~T|TRW W, V, T, X c W~T{V|XRW W, V, U, Q c W{(V|Q)~URW W, V, U, R c W~V|U~RRW W, V, U, S c V~U|W{SRW W, V, V, R c (W{V)~R|VRW W, V, W, Q c W{(V{W)~QRW W, V, X, Q c W~V|X~QRW W, V, X, R c W{V~R{XRW W, V, X, S c W~(V|XS)RW W, V, X, T c W~T{V|XRW W, V, X, X c (W~V)|(X{X)RW W, W, Q, R c W{(W{Q)~RRW W, W, Q, S c W{W~S|QRW W, W, Q, T c W{(W|Q)~TRW W, W, Q, U c (W{W)~Q{URW W, W, Q, V c W{(W{V)~QRW W, W, R, Q c (W{W{R)~QRW W, W, R, U c W{(W|R)~URW W, W, S, Q c W{W~S|QRW W, W, S, T c W~T|WSRW W, W, S, U c W~(W|S){URW W, W, T, Q c W{(W|Q)~TRW W, W, T, S c W~T|WSRW W, W, T, U c W~T|W{URW W, W, U, Q c (W{W)~Q{URW W, W, U, R c W{(W|R)~URW W, W, U, S c W~(W|S){URW W, W, U, T c W~T|W{URW W, W, U, X c (U~X)|(W{W)RW W, W, V, Q c W{(W{V)~QRW W, W, X, U c (X~U)|(W{W)RW W, X, P, R c W{(X{P)~RRW W, X, P, T c X~T|W{PRW W, X, P, U c (W~U)|(X{P)RW W, X, Q, Q c (W{X{Q)~QRW W, X, Q, R c (X~R|W)~QRW W, X, Q, S c (W{X)~Q{SRW W, X, Q, U c W{(X{U)~QRW W, X, Q, V c W~V|X~QRW W, X, R, P c W{(X{P)~RRW W, X, R, Q c (X~R|W)~QRW W, X, R, R c W{X~R{RRW W, X, R, S c W~S{X|RRW W, X, R, T c W{(X|R)~TRW W, X, R, U c (X|WR)~URW W, X, R, V c W{X{R~VRW W, X, S, Q c (W~X{S)QRW W, X, S, R c W~S{X|RRW W, X, S, S c WS{X~SRW W, X, S, U c W{(X|S)~URW W, X, S, V c W~(V|XS)RW W, X, T, P c X~T|W{PRW W, X, T, R c W{(X|R)~TRW W, X, T, U c W~(X|T){URW W, X, T, V c W~T|X{VRW W, X, U, P c (W~U)|(X{P)RW W, X, U, Q c W{(X{U)~QRW W, X, U, R c (X|WR)~URW W, X, U, S c (W{XU)~SRW W, X, U, T c W~(X|T){URW W, X, U, W c (X~U)|(W{W)RW W, X, V, Q c W~V|X~QRW W, X, V, R c W{X{V~RRW W, X, V, S c W~(V|XS)RW W, X, V, T c W~T|X{VRW W, X, V, X c (W~V)|(X{X)RW W, X, W, U c (X~U)|(W{W)RW W, X, X, V c (W~V)|(X{X)RW X, O, Q, S c (X{O)~S{QRW X, O, S, Q c (X{O)~S{QRW X, O, T, V c (X{O)~T|VRW X, O, V, T c (X{O)~T|VRW X, P, P, S c X~S{P{PRW X, P, Q, Q c (X~Q{P)~QRW X, P, Q, R c X~(P{R){QRW X, P, Q, S c (X{PQ)~SRW X, P, Q, T c (X|P)~T|QRW X, P, Q, X c (X{P{X)~QRW X, P, R, Q c X~(P{R){QRW X, P, R, S c X~S|P{RRW X, P, R, W c (X{P)~R{WRW X, P, S, P c X~S{P{PRW X, P, S, Q c (X{P)~S|QRW X, P, S, R c X~S|P{RRW X, P, S, U c (X|P)~S{URW X, P, S, V c X{P{S~VRW X, P, T, Q c (X|P)~T|QRW X, P, T, U c X|P{T~URW X, P, T, V c X~P~T|VRW X, P, T, W c X~T{P|WRW X, P, U, S c (X|P)~S{URW X, P, U, T c X|P{U~TRW X, P, U, V c X~(U|P)|VRW X, P, U, W c (U~W)|(X{P)RW X, P, V, S c X{P{V~SRW X, P, V, T c X~P~T|VRW X, P, V, U c X~(U|P)|VRW X, P, W, R c (X{P)~R{WRW X, P, W, T c X~T{P|WRW X, P, W, U c (W~U)|(X{P)RW X, P, X, Q c (X{P{X)~QRW X, Q, O, S c (X{O)~S{QRW X, Q, P, Q c (X~Q{P)~QRW X, Q, P, R c X~(P{R){QRW X, Q, P, S c (X{PQ)~SRW X, Q, P, T c (X|P)~T|QRW X, Q, P, X c (X{P{X)~QRW X, Q, Q, P c (X~Q{P)~QRW X, Q, Q, Q c X~(Q{Q){QRW X, Q, Q, T c (X{Q~T)~QRW X, Q, Q, U c X~(U|Q){QRW X, Q, Q, W c (X{Q{W)~QRW X, Q, Q, X c (X{X)~Q{QRW X, Q, R, P c X~(R{P){QRW X, Q, R, R c (X{R)~R{QRW X, Q, R, T c (X{Q)~R{TRW X, Q, R, U c (X|R)~U{QRW X, Q, R, V c X~(Q{R)|VRW X, Q, R, W c (X~R|W)~QRW X, Q, R, X c X{Q{R~XRW X, Q, S, O c X~S{Q{ORW X, Q, S, P c X~S{Q~PRW X, Q, S, S c (X{QS)~SRW X, Q, S, T c X~Q{S~TRW X, Q, S, U c (X{Q)~S|URW X, Q, S, V c Q~(S~V|X)RW X, Q, S, W c (X|S)~W|QRW X, Q, S, X c X~(QX{S)RW X, Q, T, P c X~(T|P){QRW X, Q, T, Q c (X{Q~T)~QRW X, Q, T, R c (X|Q)~T{RRW X, Q, T, S c X~Q{T~SRW X, Q, T, T c (X~T)|(Q{T)RW X, Q, T, X c X~T{Q|XRW X, Q, U, Q c X~(U|Q){QRW X, Q, U, R c (X|R)~U{QRW X, Q, U, S c (X|Q)~U|SRW X, Q, U, V c (X{V)~Q{URW X, Q, U, W c (X{U)~Q{WRW X, Q, V, R c X~(Q{R)|VRW X, Q, V, S c Q~(V~S|X)RW X, Q, V, U c (X{V)~Q{URW X, Q, V, V c X~(V|Q)|VRW X, Q, V, W c V~W|X~QRW X, Q, W, Q c (X{Q{W)~QRW X, Q, W, R c (X~R|W)~QRW X, Q, W, S c (X{W)~Q{SRW X, Q, W, U c (X{U)~Q{WRW X, Q, W, V c W~V|X~QRW X, Q, X, P c (X{X{P)~QRW X, Q, X, Q c (X{X)~Q{QRW X, Q, X, R c X{Q{X~RRW X, Q, X, S c X~(QX{S)RW X, Q, X, T c X~(X|T){QRW X, R, P, Q c X~(R{P){QRW X, R, P, S c (X{S)~R|PRW X, R, P, W c (X{P)~R{WRW X, R, Q, P c X~(R{P){QRW X, R, Q, R c (X{R)~R{QRW X, R, Q, T c (X{Q)~R{TRW X, R, Q, U c (X|R)~U{QRW X, R, Q, V c X~(R{Q)|VRW X, R, Q, W c (X~R|W)~QRW X, R, Q, X c X~R{Q{XRW X, R, R, Q c (X{R)~R{QRW X, R, R, W c X~R{R{WRW X, R, S, P c (X{S)~R|PRW X, R, S, T c X~S|R{TRW X, R, S, U c (X{RU)~SRW X, R, S, V c X~R{S{VRW X, R, S, W c X|R{S~WRW X, R, T, Q c (X{Q)~R{TRW X, R, T, S c (X{T)~R|SRW X, R, T, U c X~R{T{URW X, R, T, V c XR{T~VRW X, R, T, W c (X|R)~T{WRW X, R, U, Q c (X|R)~U{QRW X, R, U, S c (X{RU)~SRW X, R, U, T c X~R{U{TRW X, R, U, U c (RX{U)~URW X, R, U, V c (X{U)~R|VRW X, R, U, W c (X|WR)~URW X, R, V, Q c (X{R{V)~QRW X, R, V, S c (X|R)~V|SRW X, R, V, T c XR{V~TRW X, R, V, U c (X{U)~R|VRW X, R, V, W c X{R~V{WRW X, R, W, P c (X{P)~R{WRW X, R, W, Q c (X~R|W)~QRW X, R, W, R c X~R{W{RRW X, R, W, S c X|R{W~SRW X, R, W, T c X{R~W{TRW X, R, W, U c (X|WR)~URW X, R, W, V c X{R~V{WRW X, R, X, Q c X{R~X{QRW X, S, O, Q c X~S{O{QRW X, S, P, P c X~S{P{PRW X, S, P, Q c X~S{P~QRW X, S, P, R c X~S|P{RRW X, S, P, U c (X|P)~S{URW X, S, P, V c X~(S{P)|VRW X, S, Q, O c X~S{Q{ORW X, S, Q, P c X~S{Q~PRW X, S, Q, S c X~S|Q{SRW X, S, Q, T c X~Q{S~TRW X, S, Q, U c (X{S{U)~QRW X, S, Q, V c (S~V|X)~QRW X, S, Q, W c (X|S)~W|QRW X, S, Q, X c X~(S{QX)RW X, S, R, P c (X{S)~R|PRW X, S, R, T c X~S|R{TRW X, S, R, U c X~S{URRW X, S, R, V c (X|S)~V{RRW X, S, R, W c X{S~W|RRW X, S, S, Q c X~S{S|QRW X, S, S, U c X~S|S{URW X, S, S, W c (X{SW)~SRW X, S, T, Q c X~Q{S~TRW X, S, T, R c X~S{T|RRW X, S, T, T c X{S{T~TRW X, S, T, U c X{S~U{TRW X, S, T, V c X~S|T{VRW X, S, T, X c X{S~T{XRW X, S, U, P c (X|P)~S{URW X, S, U, Q c (X{S{U)~QRW X, S, U, R c X~S{URRW X, S, U, S c X~S{U|SRW X, S, U, T c X{S~U{TRW X, S, U, W c (X|S)~U{WRW X, S, V, P c X{S~V{PRW X, S, V, Q c (S~V|X)~QRW X, S, V, R c (X|S)~V{RRW X, S, V, T c X~S{V|TRW X, S, V, W c (V|XS)~WRW X, S, V, X c X~S|V{XRW X, S, W, Q c (X|S)~W|QRW X, S, W, R c X{S~W|RRW X, S, W, S c (X{SW)~SRW X, S, W, U c X~S{W|URW X, S, W, V c W~(V|XS)RW X, S, X, Q c X~(S{QX)RW X, S, X, T c X{S~T{XRW X, S, X, V c X{S~X|VRW X, T, O, V c X~T{O|VRW X, T, P, Q c X~(T|P){QRW X, T, P, U c (X~T)|(P{U)RW X, T, P, V c X~T|P~VRW X, T, P, W c X~T{P|WRW X, T, Q, P c X~(T|P){QRW X, T, Q, Q c (X{T~Q)~QRW X, T, Q, R c (X|Q)~T{RRW X, T, Q, S c X~Q{T~SRW X, T, Q, T c (X~T)|(Q{T)RW X, T, Q, X c X~T{Q|XRW X, T, R, Q c (X|Q)~T{RRW X, T, R, S c (X{T)~R|SRW X, T, R, U c X~R{T{URW X, T, R, V c XR{T~VRW X, T, R, W c X{T{R~WRW X, T, S, Q c X~Q{T~SRW X, T, S, R c (X~T)|(S{R)RW X, T, S, T c X{T~T{SRW X, T, S, U c X{T{S~URW X, T, S, V c X~S|T{VRW X, T, S, X c X{T~S{XRW X, T, T, Q c (X{T{T)~QRW X, T, T, S c X{T~T{SRW X, T, T, V c (X|VT)~TRW X, T, U, P c X{T~U|PRW X, T, U, R c X~R{T{URW X, T, U, S c X{T{U~SRW X, T, U, V c X{T~V|URW X, T, U, W c (X|T)~W{URW X, T, V, O c X~T|V{ORW X, T, V, P c X~T|V~PRW X, T, V, R c XR{T~VRW X, T, V, S c X~S|T{VRW X, T, V, T c (X|VT)~TRW X, T, V, U c X{T~V|URW X, T, V, W c T~W|X{VRW X, T, V, X c X~(T|VX)RW X, T, W, P c X~T|W{PRW X, T, W, R c X{T{W~RRW X, T, W, U c (X|T)~W{URW X, T, W, V c T~W|X{VRW X, T, X, Q c (X|T)~X{QRW X, T, X, S c X{T~S{XRW X, T, X, V c X~(T|VX)RW X, U, P, S c (X|P)~S{URW X, U, P, T c X{U~T|PRW X, U, P, V c X~(U|P)|VRW X, U, P, W c (U~W)|(X{P)RW X, U, Q, Q c X~(U|Q){QRW X, U, Q, R c (X|R)~U{QRW X, U, Q, S c (X{U{S)~QRW X, U, Q, V c (X{V)~Q{URW X, U, Q, W c (X{U)~Q{WRW X, U, R, Q c (X|R)~U{QRW X, U, R, S c (X{RU)~SRW X, U, R, T c X~R{U{TRW X, U, R, U c (U{RX)~URW X, U, R, V c (X{U)~R|VRW X, U, R, W c (X|WR)~URW X, U, S, P c (X|P)~S{URW X, U, S, Q c (X{U{S)~QRW X, U, S, R c X~S{URRW X, U, S, S c X~U|S~SRW X, U, S, T c X{U~S{TRW X, U, S, W c (XU{W)~SRW X, U, T, P c X{U~T|PRW X, U, T, R c X~R{U{TRW X, U, T, S c X{U~S{TRW X, U, T, V c X|U{T~VRW X, U, T, W c (X|T)~W{URW X, U, U, R c U~(U{RX)RW X, U, U, V c X{U~U|VRW X, U, V, P c X~(U|P)|VRW X, U, V, Q c (X{V)~Q{URW X, U, V, R c (X{U)~R|VRW X, U, V, T c X|U{V~TRW X, U, V, U c X{U~U|VRW X, U, V, X c (X~U)|(V{X)RW X, U, W, P c (U~W)|(X{P)RW X, U, W, Q c X~U|W~QRW X, U, W, R c (X|WR)~URW X, U, W, S c (XU{W)~SRW X, U, W, T c (X|T)~W{URW X, U, W, W c (X~U)|(W{W)RW X, U, X, V c (X~U)|(X{V)RW X, V, O, T c (X{O)~T|VRW X, V, P, S c X{V~S{PRW X, V, P, T c X~P~T|VRW X, V, P, U c X~(U|P)|VRW X, V, Q, R c (X{V{R)~QRW X, V, Q, S c (V~S|X)~QRW X, V, Q, U c (X{V)~Q{URW X, V, Q, V c X~(V|Q)|VRW X, V, Q, W c V~W|X~QRW X, V, R, Q c (X{V{R)~QRW X, V, R, S c (X|R)~V|SRW X, V, R, T c XR{V~TRW X, V, R, U c (X{U)~R|VRW X, V, R, W c X{V~R{WRW X, V, S, P c X{V~S{PRW X, V, S, Q c (V~S|X)~QRW X, V, S, R c (X|S)~V{RRW X, V, S, T c X~S{V|TRW X, V, S, W c (V|XS)~WRW X, V, S, X c X|V{S~XRW X, V, T, O c X~T|V{ORW X, V, T, P c X~T|V~PRW X, V, T, R c XR{V~TRW X, V, T, S c X~S{V|TRW X, V, T, T c (X|VT)~TRW X, V, T, U c X{V~T|URW X, V, T, W c V{T~W|XRW X, V, T, X c X~(T|VX)RW X, V, U, P c X~(U|P)|VRW X, V, U, Q c (X{V)~Q{URW X, V, U, R c (X{U)~R|VRW X, V, U, T c X{V~T|URW X, V, U, U c X|V{U~URW X, V, U, X c (X~U)|(V{X)RW X, V, V, Q c X~(V|Q)|VRW X, V, W, Q c V~W|X~QRW X, V, W, R c X{V~R{WRW X, V, W, S c (V|XS)~WRW X, V, W, T c V{W~T|XRW X, V, W, X c (V~W)|(X{X)RW X, V, X, S c X|V{X~SRW X, V, X, T c X~(T|VX)RW X, V, X, U c (X~U)|(V{X)RW X, V, X, W c (V~W)|(X{X)RW X, W, P, R c (X{P)~R{WRW X, W, P, T c X~T|W{PRW X, W, P, U c (W~U)|(X{P)RW X, W, Q, Q c (X{W{Q)~QRW X, W, Q, R c (X~R|W)~QRW X, W, Q, S c (X{W)~Q{SRW X, W, Q, U c X~U|W~QRW X, W, Q, V c W~V|X~QRW X, W, R, P c (X{P)~R{WRW X, W, R, Q c (X~R|W)~QRW X, W, R, R c X~R{W{RRW X, W, R, S c X{W~S|RRW X, W, R, T c X{W~R{TRW X, W, R, U c (X|WR)~URW X, W, R, V c X{W{R~VRW X, W, S, Q c (X~W{S)QRW X, W, S, R c X{W~S|RRW X, W, S, S c (X{SW)~SRW X, W, S, U c X~S{W|URW X, W, S, V c W~(V|XS)RW X, W, T, P c X~T|W{PRW X, W, T, R c X{W~R{TRW X, W, T, U c (X|T)~W{URW X, W, T, V c W~T|X{VRW X, W, U, P c (W~U)|(X{P)RW X, W, U, Q c X~U|W~QRW X, W, U, R c (X|WR)~URW X, W, U, S c (XU{W)~SRW X, W, U, T c (X|T)~W{URW X, W, U, W c (X~U)|(W{W)RW X, W, V, Q c W~V|X~QRW X, W, V, R c X{W{V~RRW X, W, V, S c W~(V|XS)RW X, W, V, T c W~T|X{VRW X, W, V, X c (W~V)|(X{X)RW X, W, W, U c (X~U)|(W{W)RW X, W, X, V c (W~V)|(X{X)RW X, X, P, Q c (X{X{P)~QRW X, X, Q, P c (X{X{P)~QRW X, X, Q, Q c (X{X)~Q{QRW X, X, Q, R c X{X~R{QRW X, X, Q, S c X~(QX{S)RW X, X, Q, T c X~(X|T){QRW X, X, R, Q c X{X~R{QRW X, X, S, Q c X~(S{QX)RW X, X, S, T c X{X{S~TRW X, X, S, V c X{X~S|VRW X, X, T, Q c X~(X|T){QRW X, X, T, S c X{X{T~SRW X, X, T, V c X~(T|VX)RW X, X, U, V c (X~U)|(X{V)RW X, X, V, S c X{X~S|VRW X, X, V, T c X~(T|VX)RW X, X, V, U c (X~U)|(X{V)RW X, X, V, W c (V~W)|(X{X)RW X, X, W, V c (W~V)|(X{X)RW