O, P, T, W c O{T~W|PRX O, P, W, T c O{W~T|PRX O, R, S, X c O{R{S~XRX O, R, T, W c (O{R)~(T{W)RX O, R, U, U c O{R{U~URX O, R, U, V c (O{R)~(U{V)RX O, R, V, U c (O{R)~(V{U)RX O, R, W, T c (O{R)~(W{T)RX O, R, X, S c O{R{X~SRX O, S, R, X c (O{S{X)~RRX O, S, T, V c O{S{T~VRX O, S, V, T c O{S{V~TRX O, S, V, W c O{S~W{VRX O, S, W, V c O{S~W{VRX O, S, X, R c (O{S{X)~RRX O, T, P, W c O{T~W|PRX O, T, R, W c (O{T{W)~RRX O, T, S, V c O{T~V{SRX O, T, U, X c O{T~U{XRX O, T, V, S c O{T~V{SRX O, T, W, P c O{T~W|PRX O, T, W, R c (O{T{W)~RRX O, T, X, U c O{T~X|URX O, U, R, U c O{U~U{RRX O, U, R, V c (O{U{V)~RRX O, U, T, X c O{U~T{XRX O, U, U, R c O{U~U{RRX O, U, V, R c (O{U{V)~RRX O, U, W, X c O{U~W|XRX O, U, X, T c O{U~T{XRX O, U, X, W c O{U~W|XRX O, V, R, U c (O{V{U)~RRX O, V, S, T c O{V~T{SRX O, V, S, W c O{V{S~WRX O, V, T, S c O{V~T{SRX O, V, U, R c (O{V{U)~RRX O, V, W, S c O{V{W~SRX O, W, P, T c O{W~T|PRX O, W, R, T c (O{W{T)~RRX O, W, S, V c O{W~S{VRX O, W, T, P c O{W~T|PRX O, W, T, R c (O{W{T)~RRX O, W, U, X c O{W~U|XRX O, W, V, S c O{W~S{VRX O, W, X, U c O{W~U|XRX O, X, R, S c (O{X{S)~RRX O, X, S, R c (O{X{S)~RRX O, X, T, U c O{X{T~URX O, X, U, T c O{X{U~TRX O, X, U, W c O{U~W|XRX O, X, W, U c O{W~U|XRX P, O, T, W c O{T~W|PRX P, O, W, T c O{W~T|PRX P, P, S, W c (P{S)~W|PRX P, P, S, X c (P{X)~S|PRX P, P, T, V c (P{V)~T|PRX P, P, T, W c P~T~W|PRX P, P, T, X c T~(X|P)|PRX P, P, U, W c (U|P)~W|PRX P, P, V, T c (P{V)~T|PRX P, P, W, S c (P{S)~W|PRX P, P, W, T c P~W~T|PRX P, P, W, U c W~(U|P)|PRX P, P, X, S c (P{X)~S|PRX P, P, X, T c (X|P)~T|PRX P, Q, R, U c (P{Q~U)~RRX P, Q, R, V c (Q~V|P)~RRX P, Q, R, W c (Q{R)~W|PRX P, Q, S, T c Q~S~T|PRX P, Q, S, W c (Q{W)~S|PRX P, Q, S, X c P{Q{S~XRX P, Q, T, S c Q~T~S|PRX P, Q, T, U c (Q{U)~T|PRX P, Q, T, W c (P{Q)~(T{W)RX P, Q, U, R c (P{Q~U)~RRX P, Q, U, T c (Q{U)~T|PRX P, Q, U, U c P{Q{U~URX P, Q, U, V c (P{Q)~(U{V)RX P, Q, V, R c (Q~V|P)~RRX P, Q, V, U c (P{Q)~(V{U)RX P, Q, V, W c (V|Q)~W|PRX P, Q, W, R c (Q{R)~W|PRX P, Q, W, S c (Q{W)~S|PRX P, Q, W, T c (P{Q)~(W{T)RX P, Q, W, V c W~(V|Q)|PRX P, Q, X, S c P{Q{X~SRX P, R, Q, U c (P{Q~U)~RRX P, R, Q, V c R~(Q~V|P)RX P, R, Q, W c (R{Q)~W|PRX P, R, R, S c (P{R~S)~RRX P, R, R, X c (P{R{X)~RRX P, R, S, R c (P{R~S)~RRX P, R, S, V c (R{V)~S|PRX P, R, S, W c (P{S{W)~RRX P, R, S, X c P~R{S~XRX P, R, T, T c (R{T)~T|PRX P, R, T, U c (P{T)~U{RRX P, R, T, V c P{R{T~VRX P, R, T, W c (P~R)~(T{W)RX P, R, T, X c R{(T|P)~XRX P, R, U, Q c (P{U~Q)~RRX P, R, U, T c (P{T)~U{RRX P, R, U, U c P~R{U~URX P, R, U, V c (P~R)~(U{V)RX P, R, U, W c R~(U|P{W)RX P, R, V, Q c R~(V~Q|P)RX P, R, V, S c (R{V)~S|PRX P, R, V, T c P{R{V~TRX P, R, V, U c (P~R)~(V{U)RX P, R, V, V c R~(V|P{V)RX P, R, V, W c (P{R)~W{VRX P, R, W, Q c (R{Q)~W|PRX P, R, W, S c (P{W{S)~RRX P, R, W, T c (P~R)~(W{T)RX P, R, W, U c R~(W|P{U)RX P, R, W, V c (P{R)~W{VRX P, R, W, W c (W|R)~W|PRX P, R, X, R c (P{R{X)~RRX P, R, X, S c P~R{X~SRX P, R, X, T c R~(X|P{T)RX P, R, X, X c (P{X)~R{XRX P, S, P, W c (P{S)~W|PRX P, S, P, X c (P{X)~S|PRX P, S, Q, T c S~Q~T|PRX P, S, Q, W c S~(Q{W)|PRX P, S, Q, X c P{S~X{QRX P, S, R, R c (P{S~R)~RRX P, S, R, V c S~(R{V)|PRX P, S, R, W c (P{S{W)~RRX P, S, R, X c (P~S{X)~RRX P, S, S, T c (S{S)~T|PRX P, S, S, U c S~(S{U)|PRX P, S, S, V c (P{S)~V{SRX P, S, S, X c S|P{S~XRX P, S, T, Q c S~T~Q|PRX P, S, T, S c (S{S)~T|PRX P, S, T, T c S~(T{T)|PRX P, S, T, U c (P{U)~T{SRX P, S, T, V c P~S{T~VRX P, S, T, W c (S|P)~(T{W)RX P, S, U, S c (S{U)~S|PRX P, S, U, T c (P{U)~T{SRX P, S, U, U c S|P{U~URX P, S, U, V c P{U~V|SRX P, S, U, W c P{S~W{URX P, S, U, X c (P{S)~U{XRX P, S, V, R c S~(V{R)|PRX P, S, V, S c (P{S)~V{SRX P, S, V, T c P~S{V~TRX P, S, V, U c P{V~U|SRX P, S, V, V c (P{V)~S{VRX P, S, V, W c P~S~W{VRX P, S, V, X c S~(X|P){VRX P, S, W, P c (P{S)~W|PRX P, S, W, Q c S~(W{Q)|PRX P, S, W, R c (P{S{W)~RRX P, S, W, T c (S|P)~(W{T)RX P, S, W, U c P{S~W{URX P, S, W, V c P~S~W{VRX P, S, W, W c S~W|P{WRX P, S, W, X c W~(X|S)|PRX P, S, X, P c (P{X)~S|PRX P, S, X, Q c P{S~X{QRX P, S, X, R c (P~S{X)~RRX P, S, X, S c S|P{X~SRX P, S, X, U c (P{S)~X|URX P, S, X, V c S~(X|P){VRX P, S, X, W c (X|S)~W|PRX P, T, O, W c (T{O)~W|PRX P, T, P, V c (P{V)~T|PRX P, T, P, W c P~T~W|PRX P, T, P, X c T~(X|P)|PRX P, T, Q, S c T~Q~S|PRX P, T, Q, U c T~(Q{U)|PRX P, T, Q, W c P{T~W|QRX P, T, R, T c (T{R)~T|PRX P, T, R, U c (P{T)~U{RRX P, T, R, V c (P{T{V)~RRX P, T, R, W c (P~T{W)~RRX P, T, R, X c (T|P{X)~RRX P, T, S, Q c T~S~Q|PRX P, T, S, S c T~(S{S)|PRX P, T, S, T c (T{T)~S|PRX P, T, S, U c (P{U)~T{SRX P, T, S, V c P~T~V{SRX P, T, S, W c T~(W|P){SRX P, T, T, R c T~(T{R)|PRX P, T, T, S c (T{T)~S|PRX P, T, T, V c T|P{T~VRX P, T, T, W c T~(W|PT)RX P, T, T, X c (P{T)~T{XRX P, T, U, Q c T~(U{Q)|PRX P, T, U, R c (P{T)~U{RRX P, T, U, S c (P{U)~T{SRX P, T, U, W c P{T~U{WRX P, T, U, X c P~T~U{XRX P, T, V, P c (P{V)~T|PRX P, T, V, R c (P{T{V)~RRX P, T, V, S c P~T~V{SRX P, T, V, T c T|P{V~TRX P, T, V, W c (T|P)~W{VRX P, T, V, X c P{T~X|VRX P, T, W, O c T~W|P{ORX P, T, W, P c P~T~W|PRX P, T, W, Q c P{T~W|QRX P, T, W, R c (P~T{W)~RRX P, T, W, S c T~(W|P){SRX P, T, W, T c T~(W|PT)RX P, T, W, U c P{T~U{WRX P, T, W, V c (T|P)~W{VRX P, T, W, W c (T|PW)~WRX P, T, W, X c (P{T)~W|XRX P, T, X, P c T~(X|P)|PRX P, T, X, R c (T|P{X)~RRX P, T, X, T c (P{T)~T{XRX P, T, X, U c P~T~X|URX P, T, X, V c P{T~X|VRX P, T, X, W c (P{T)~W|XRX P, U, P, W c (U|P)~W|PRX P, U, Q, R c (P{U~Q)~RRX P, U, Q, T c (U{Q)~T|PRX P, U, Q, U c P{U~U{QRX P, U, Q, V c (P{Q)~(U{V)RX P, U, R, Q c (P{U~Q)~RRX P, U, R, T c (P{T)~U{RRX P, U, R, U c (P{U{U)~RRX P, U, R, V c (P~U{V)~RRX P, U, R, W c (U|P{W)~RRX P, U, S, S c (U{S)~S|PRX P, U, S, T c (P{U)~T{SRX P, U, S, U c U~U|P{SRX P, U, S, V c P{U~V|SRX P, U, S, W c P{U{S~WRX P, U, S, X c (P{S)~U{XRX P, U, T, Q c (U{Q)~T|PRX P, U, T, R c (P{T)~U{RRX P, U, T, S c (P{U)~T{SRX P, U, T, W c P{U~T{WRX P, U, T, X c P~U~T{XRX P, U, U, Q c P{U~U{QRX P, U, U, R c (P{U{U)~RRX P, U, U, S c U~U|P{SRX P, U, U, X c (U|P)~U{XRX P, U, V, Q c (P{Q)~(U{V)RX P, U, V, R c (P~U{V)~RRX P, U, V, S c P{U~V|SRX P, U, V, X c (P{V)~U|XRX P, U, W, P c (U|P)~W|PRX P, U, W, R c (U|P{W)~RRX P, U, W, S c P{U{W~SRX P, U, W, T c P{U~T{WRX P, U, W, W c (U~W)|(P{W)RX P, U, W, X c P~U~W|XRX P, U, X, S c (P{S)~U{XRX P, U, X, T c P~U~T{XRX P, U, X, U c (U|P)~X|URX P, U, X, V c (P{V)~U|XRX P, U, X, W c P~U~W|XRX P, U, X, X c U~(X|P)|XRX P, V, P, T c (P{V)~T|PRX P, V, Q, R c (V~Q|P)~RRX P, V, Q, U c (P{Q)~(V{U)RX P, V, Q, W c (V|Q)~W|PRX P, V, R, Q c (V~Q|P)~RRX P, V, R, S c (V{R)~S|PRX P, V, R, T c (P{V{T)~RRX P, V, R, U c (P~V{U)~RRX P, V, R, V c (V|P{V)~RRX P, V, R, W c (P{R)~W{VRX P, V, S, R c (V{R)~S|PRX P, V, S, S c (P{S)~V{SRX P, V, S, T c P~V~T{SRX P, V, S, U c P{V~U|SRX P, V, S, V c (P{V)~S{VRX P, V, S, W c P~V{S~WRX P, V, S, X c V{S~(X|P)RX P, V, T, P c (P{V)~T|PRX P, V, T, R c (P{V{T)~RRX P, V, T, S c P~V~T{SRX P, V, T, T c V~T|P{TRX P, V, T, W c V{(T|P)~WRX P, V, T, X c P{T~X|VRX P, V, U, Q c (P{Q)~(V{U)RX P, V, U, R c (P~V{U)~RRX P, V, U, S c P{V~U|SRX P, V, U, X c (P{V)~U|XRX P, V, V, R c (V|P{V)~RRX P, V, V, S c (P{V)~S{VRX P, V, V, X c (V~V)|(P{X)RX P, V, W, Q c (V|Q)~W|PRX P, V, W, R c (P{R)~W{VRX P, V, W, S c P~V{W~SRX P, V, W, T c V{W~(T|P)RX P, V, W, X c (V|P)~W|XRX P, V, X, S c V{(X|P)~SRX P, V, X, T c P{X~T|VRX P, V, X, U c (P{V)~U|XRX P, V, X, V c (V~V)|(P{X)RX P, V, X, W c (V|P)~W|XRX P, W, O, T c (W{O)~T|PRX P, W, P, S c (P{S)~W|PRX P, W, P, T c P~W~T|PRX P, W, P, U c W~(U|P)|PRX P, W, Q, R c W~(Q{R)|PRX P, W, Q, S c (W{Q)~S|PRX P, W, Q, T c P{W~T|QRX P, W, Q, V c W~(V|Q)|PRX P, W, R, Q c W~(R{Q)|PRX P, W, R, S c (P{W{S)~RRX P, W, R, T c (P~W{T)~RRX P, W, R, U c (W|P{U)~RRX P, W, R, V c (P{R)~W{VRX P, W, R, W c (W|R)~W|PRX P, W, S, P c (P{S)~W|PRX P, W, S, Q c (W{Q)~S|PRX P, W, S, R c (P{W{S)~RRX P, W, S, T c (W|P)~T{SRX P, W, S, U c P{W~S{URX P, W, S, V c P~W~S{VRX P, W, S, W c W|P{S~WRX P, W, S, X c W~(X|S)|PRX P, W, T, O c W~T|P{ORX P, W, T, P c P~W~T|PRX P, W, T, Q c P{W~T|QRX P, W, T, R c (P~W{T)~RRX P, W, T, S c (W|P)~T{SRX P, W, T, T c (W|PT)~TRX P, W, T, U c P{W{T~URX P, W, T, V c W~(T|P){VRX P, W, T, W c W~(T|PW)RX P, W, T, X c (P{T)~W|XRX P, W, U, P c W~(U|P)|PRX P, W, U, R c (W|P{U)~RRX P, W, U, S c P{W~S{URX P, W, U, T c P{W{U~TRX P, W, U, W c (W~U)|(P{W)RX P, W, U, X c P~W~U|XRX P, W, V, Q c W~(V|Q)|PRX P, W, V, R c (P{R)~W{VRX P, W, V, S c P~W~S{VRX P, W, V, T c W~(T|P){VRX P, W, V, X c W~(V|P)|XRX P, W, W, R c W~(W|R)|PRX P, W, W, S c W|P{W~SRX P, W, W, T c W~(T|PW)RX P, W, W, U c (W~U)|(P{W)RX P, W, X, S c W~(X|S)|PRX P, W, X, T c (P{T)~W|XRX P, W, X, U c P~W~U|XRX P, W, X, V c W~(V|P)|XRX P, X, P, S c (P{X)~S|PRX P, X, P, T c (X|P)~T|PRX P, X, Q, S c P{X~S{QRX P, X, R, R c (P{X{R)~RRX P, X, R, S c (P~X{S)~RRX P, X, R, T c (X|P{T)~RRX P, X, R, X c (P{X)~R{XRX P, X, S, P c (P{X)~S|PRX P, X, S, Q c P{X~S{QRX P, X, S, R c (P~X{S)~RRX P, X, S, S c X~S|P{SRX P, X, S, U c (P{S)~X|URX P, X, S, V c (X|P)~S{VRX P, X, S, W c (X|S)~W|PRX P, X, T, P c (X|P)~T|PRX P, X, T, R c (X|P{T)~RRX P, X, T, T c (P{T)~T{XRX P, X, T, U c P~X{T~URX P, X, T, V c P{X~T|VRX P, X, T, W c (P{T)~W|XRX P, X, U, S c (P{S)~X|URX P, X, U, T c P~X{U~TRX P, X, U, U c X{(U|P)~URX P, X, U, V c (P{V)~U|XRX P, X, U, W c P~U~W|XRX P, X, U, X c (X|P)~U|XRX P, X, V, S c (X|P)~S{VRX P, X, V, T c P{X~T|VRX P, X, V, U c (P{V)~U|XRX P, X, V, V c (V~V)|(P{X)RX P, X, V, W c (V|P)~W|XRX P, X, W, S c (X|S)~W|PRX P, X, W, T c (P{T)~W|XRX P, X, W, U c P~W~U|XRX P, X, W, V c W~(V|P)|XRX P, X, X, R c (P{X)~R{XRX P, X, X, U c (X|P)~U|XRX Q, P, R, U c (Q~U{P)~RRX Q, P, R, V c (Q~V|P)~RRX Q, P, R, W c (Q{R)~W|PRX Q, P, S, T c Q~S~T|PRX Q, P, S, W c (Q{W)~S|PRX Q, P, S, X c Q{P{S~XRX Q, P, T, S c Q~T~S|PRX Q, P, T, U c (Q{U)~T|PRX Q, P, T, W c (Q{P)~(T{W)RX Q, P, U, R c (Q~U{P)~RRX Q, P, U, T c (Q{U)~T|PRX Q, P, U, U c Q{P{U~URX Q, P, U, V c (Q{P)~(U{V)RX Q, P, V, R c (Q~V|P)~RRX Q, P, V, U c (Q{P)~(V{U)RX Q, P, V, W c (V|Q)~W|PRX Q, P, W, R c (Q{R)~W|PRX Q, P, W, S c (Q{W)~S|PRX Q, P, W, T c (Q{P)~(W{T)RX Q, P, W, V c W~(V|Q)|PRX Q, P, X, S c Q{P{X~SRX Q, Q, R, X c (Q{Q{X)~RRX Q, Q, T, V c Q{Q{T~VRX Q, Q, T, W c T~W|QQRX Q, Q, U, X c (Q{XQ)~URX Q, Q, V, T c Q{Q{V~TRX Q, Q, V, W c (Q{Q)~W{VRX Q, Q, W, T c W~T|QQRX Q, Q, W, V c (Q{Q)~W{VRX Q, Q, X, R c (Q{Q{X)~RRX Q, Q, X, U c (Q{XQ)~URX Q, R, P, U c (Q~U{P)~RRX Q, R, P, V c (Q~V|P)~RRX Q, R, P, W c (Q{R)~W|PRX Q, R, Q, X c (Q{Q{X)~RRX Q, R, R, T c (Q~T{R)~RRX Q, R, R, U c Q~R~U{RRX Q, R, R, V c (Q~R{V)~RRX Q, R, R, W c (Q{R{W)~RRX Q, R, S, T c (Q~S{T)~RRX Q, R, S, U c (Q{S)~U{RRX Q, R, S, V c (Q{R)~V{SRX Q, R, T, R c (Q~T{R)~RRX Q, R, T, S c (Q~S{T)~RRX Q, R, T, U c (Q{T{U)~RRX Q, R, T, W c Q{T~W|RRX Q, R, T, X c Q~R~T{XRX Q, R, U, P c (Q~U{P)~RRX Q, R, U, R c Q~R~U{RRX Q, R, U, S c (Q{S)~U{RRX Q, R, U, T c (Q{U{T)~RRX Q, R, U, V c (R{VQ)~URX Q, R, U, W c R{U~(W|Q)RX Q, R, U, X c (Q{R)~U{XRX Q, R, V, P c (Q~V|P)~RRX Q, R, V, R c (Q~R{V)~RRX Q, R, V, S c (Q{R)~V{SRX Q, R, V, U c (R{VQ)~URX Q, R, V, W c R~(V|Q{W)RX Q, R, V, X c (Q{VR)~XRX Q, R, W, P c (Q{R)~W|PRX Q, R, W, R c (Q{R{W)~RRX Q, R, W, T c Q{W~T|RRX Q, R, W, U c R{(W|Q)~URX Q, R, W, V c R~(W|Q{V)RX Q, R, W, X c Q~R~W|XRX Q, R, X, Q c (Q{X{Q)~RRX Q, R, X, T c Q~R~T{XRX Q, R, X, U c (Q{R)~X|URX Q, R, X, V c Q~X{R~VRX Q, R, X, W c Q~R~W|XRX Q, R, X, X c Q~(X{X){RRX Q, S, P, T c Q~S~T|PRX Q, S, P, W c (Q{W)~S|PRX Q, S, P, X c Q{S~X{PRX Q, S, R, T c (Q~S{T)~RRX Q, S, R, U c (Q{S)~U{RRX Q, S, R, V c (Q{S{V)~RRX Q, S, S, V c Q~S~S{VRX Q, S, T, P c Q~S~T|PRX Q, S, T, R c (Q~S{T)~RRX Q, S, T, T c (Q{T)~T{SRX Q, S, T, U c (S{TQ)~URX Q, S, T, W c Q{S~W{TRX Q, S, T, X c (Q{S)~T{XRX Q, S, U, R c (Q{S)~U{RRX Q, S, U, T c (S{TQ)~URX Q, S, U, U c (QS{U)~URX Q, S, U, V c (Q{U)~S{VRX Q, S, U, X c Q~S~U|XRX Q, S, V, R c (Q{S{V)~RRX Q, S, V, S c Q~S~S{VRX Q, S, V, U c (Q{U)~S{VRX Q, S, V, V c S{(V|Q)~VRX Q, S, V, X c Q{S~V{XRX Q, S, W, P c (Q{W)~S|PRX Q, S, W, T c Q{S~W{TRX Q, S, W, X c (Q{S)~W|XRX Q, S, X, P c Q{S~X{PRX Q, S, X, T c (Q{S)~T{XRX Q, S, X, U c Q~S~U|XRX Q, S, X, V c Q{S~V{XRX Q, S, X, W c (Q{S)~W|XRX Q, T, P, S c Q~T~S|PRX Q, T, P, U c (Q{U)~T|PRX Q, T, P, W c (Q{P)~(T{W)RX Q, T, Q, V c Q{T~V{QRX Q, T, Q, W c T~W|QQRX Q, T, R, R c (Q~T{R)~RRX Q, T, R, S c (Q~S{T)~RRX Q, T, R, U c (Q{T{U)~RRX Q, T, R, W c Q{T~W|RRX Q, T, R, X c Q~T~R{XRX Q, T, S, P c Q~T~S|PRX Q, T, S, R c (Q~S{T)~RRX Q, T, S, T c (Q{T)~T{SRX Q, T, S, U c (TQ{S)~URX Q, T, S, W c Q{T{S~WRX Q, T, S, X c (Q{S)~T{XRX Q, T, T, S c (Q{T)~T{SRX Q, T, T, V c Q~V{T~TRX Q, T, T, W c (T|Q)~(T{W)RX Q, T, U, P c (Q{U)~T|PRX Q, T, U, R c (Q{T{U)~RRX Q, T, U, S c (TQ{S)~URX Q, T, U, U c T|Q{U~URX Q, T, U, V c Q{T~U{VRX Q, T, U, W c (T{W)Q~URX Q, T, U, X c U~(X|TQ)RX Q, T, V, Q c Q{T~V{QRX Q, T, V, T c Q~V{T~TRX Q, T, V, U c Q{T~U{VRX Q, T, V, V c V~V|Q~TRX Q, T, V, W c T~V{WQRX Q, T, W, P c (Q{P)~(T{W)RX Q, T, W, Q c T~W|QQRX Q, T, W, R c Q{T~W|RRX Q, T, W, S c Q{T{W~SRX Q, T, W, T c (T|Q)~(W{T)RX Q, T, W, U c (T{W)Q~URX Q, T, W, V c T~V{WQRX Q, T, W, X c Q{T~X|WRX Q, T, X, R c Q~T~R{XRX Q, T, X, S c (Q{X)~S|TRX Q, T, X, U c (X|TQ)~URX Q, T, X, W c Q{T~X|WRX Q, U, P, R c (Q~U{P)~RRX Q, U, P, T c (Q{U)~T|PRX Q, U, P, U c Q{U~U{PRX Q, U, P, V c (Q{P)~(U{V)RX Q, U, Q, X c (Q{XQ)~URX Q, U, R, P c (Q~U{P)~RRX Q, U, R, R c Q~U~R{RRX Q, U, R, S c (Q{S)~U{RRX Q, U, R, T c (Q{U{T)~RRX Q, U, R, V c U~(R{VQ)RX Q, U, R, W c U~(W|Q){RRX Q, U, R, X c Q~U{R~XRX Q, U, S, R c (Q{S)~U{RRX Q, U, S, T c U~(S{TQ)RX Q, U, S, U c (QS{U)~URX Q, U, S, V c (Q{U)~S{VRX Q, U, S, X c Q~U~S|XRX Q, U, T, P c (Q{U)~T|PRX Q, U, T, R c (Q{U{T)~RRX Q, U, T, S c U~(TQ{S)RX Q, U, T, U c U~U|Q{TRX Q, U, T, V c Q{U~T{VRX Q, U, T, W c (UQ)~(T{W)RX Q, U, T, X c U~(X|TQ)RX Q, U, U, P c Q{U~U{PRX Q, U, U, S c (QS{U)~URX Q, U, U, T c U~U|Q{TRX Q, U, U, U c UQ{U~URX Q, U, U, V c (UQ)~(U{V)RX Q, U, U, X c (Q{U)~U|XRX Q, U, V, P c (Q{P)~(U{V)RX Q, U, V, R c U~(VQ{R)RX Q, U, V, S c (Q{U)~S{VRX Q, U, V, T c Q{U~V|TRX Q, U, V, U c (UQ)~(V{U)RX Q, U, V, W c (U|Q)~W{VRX Q, U, V, X c U~(V|Q){XRX Q, U, W, R c U~(W|Q){RRX Q, U, W, T c (UQ)~(W{T)RX Q, U, W, V c (U|Q)~W{VRX Q, U, W, X c (U{W~X)QRX Q, U, X, Q c (Q{XQ)~URX Q, U, X, R c Q~U{X~RRX Q, U, X, S c Q~U~S|XRX Q, U, X, T c U~(X|TQ)RX Q, U, X, U c (Q{U)~U|XRX Q, U, X, V c U~(V|Q){XRX Q, U, X, W c (U{X~W)QRX Q, U, X, X c Q~(U{X){XRX Q, V, P, R c (Q~V|P)~RRX Q, V, P, U c (Q{P)~(V{U)RX Q, V, P, W c (V|Q)~W|PRX Q, V, Q, T c Q{V~T{QRX Q, V, Q, W c (Q{Q)~W{VRX Q, V, R, P c (Q~V|P)~RRX Q, V, R, R c Q~V~R|RRX Q, V, R, S c (Q{V{S)~RRX Q, V, R, U c (VQ{R)~URX Q, V, R, W c (V|Q{W)~RRX Q, V, R, X c (Q{VR)~XRX Q, V, S, R c (Q{V{S)~RRX Q, V, S, S c Q~S~S{VRX Q, V, S, U c (Q{U)~S{VRX Q, V, S, V c (V|Q)~V{SRX Q, V, S, X c Q{V~S{XRX Q, V, T, Q c Q{V~T{QRX Q, V, T, T c Q~V{T~TRX Q, V, T, U c Q{V{T~URX Q, V, T, V c V~V|Q~TRX Q, V, T, W c V~T{WQRX Q, V, U, P c (Q{P)~(V{U)RX Q, V, U, R c (VQ{R)~URX Q, V, U, S c (Q{U)~S{VRX Q, V, U, T c Q{V{U~TRX Q, V, U, U c (V{U)Q~URX Q, V, U, W c V{(U|Q)~WRX Q, V, U, X c (V|Q)~U{XRX Q, V, V, S c (V|Q)~V{SRX Q, V, V, T c V~V|Q~TRX Q, V, V, W c (V~V)|(Q{W)RX Q, V, V, X c Q~(V{X){VRX Q, V, W, P c (V|Q)~W|PRX Q, V, W, Q c Q~W~Q{VRX Q, V, W, R c (V|Q{W)~RRX Q, V, W, T c V~T{WQRX Q, V, W, U c V{W~(U|Q)RX Q, V, W, V c (V~V)|(Q{W)RX Q, V, W, W c Q~(W{W){VRX Q, V, W, X c Q~(V{W){XRX Q, V, X, R c (Q{VR)~XRX Q, V, X, S c Q{V~S{XRX Q, V, X, U c (V|Q)~X|URX Q, V, X, V c Q~(V{X){VRX Q, V, X, W c Q~(V{W){XRX Q, W, P, R c (Q{R)~W|PRX Q, W, P, S c (Q{W)~S|PRX Q, W, P, T c (Q{P)~(W{T)RX Q, W, P, V c W~(V|Q)|PRX Q, W, Q, T c W~T|QQRX Q, W, Q, V c Q~W~Q{VRX Q, W, R, P c (Q{R)~W|PRX Q, W, R, R c (Q{W{R)~RRX Q, W, R, T c Q{W~T|RRX Q, W, R, U c (W|Q)~U{RRX Q, W, R, V c (W|Q{V)~RRX Q, W, R, X c (Q{W)~R{XRX Q, W, S, P c (Q{W)~S|PRX Q, W, S, T c Q{W~S{TRX Q, W, S, X c (Q{S)~W|XRX Q, W, T, P c (Q{P)~(W{T)RX Q, W, T, Q c W~T|QQRX Q, W, T, R c Q{W~T|RRX Q, W, T, S c Q{W~S{TRX Q, W, T, T c (W{T)~(T|Q)RX Q, W, T, U c (W{T)Q~URX Q, W, T, V c WQ{T~VRX Q, W, T, X c Q~(W{X){TRX Q, W, U, R c (W|Q)~U{RRX Q, W, U, T c (W{T)Q~URX Q, W, U, V c (W~U)|(Q{V)RX Q, W, U, X c (W~X{U)QRX Q, W, V, P c W~(V|Q)|PRX Q, W, V, Q c Q~W~Q{VRX Q, W, V, R c (W|Q{V)~RRX Q, W, V, T c WQ{V~TRX Q, W, V, U c (W~U)|(Q{V)RX Q, W, V, V c (V~V)|(Q{W)RX Q, W, V, W c Q~(W{W){VRX Q, W, V, X c Q~(W{V){XRX Q, W, W, V c Q~(W{W){VRX Q, W, W, X c (W|Q)~W|XRX Q, W, X, R c (Q{W)~R{XRX Q, W, X, S c (Q{S)~W|XRX Q, W, X, T c Q~(W{X){TRX Q, W, X, U c (W~X{U)QRX Q, W, X, V c Q~(W{V){XRX Q, W, X, W c (W|Q)~W|XRX Q, X, P, S c Q{X~S{PRX Q, X, Q, R c (Q{X{Q)~RRX Q, X, Q, U c (Q{XQ)~URX Q, X, R, Q c (Q{X{Q)~RRX Q, X, R, T c (Q~X|T)~RRX Q, X, R, U c (Q{X)~R{URX Q, X, R, V c Q~X{R~VRX Q, X, R, W c Q~R~W|XRX Q, X, R, X c Q~(X{X){RRX Q, X, S, P c Q{X~S{PRX Q, X, S, T c (Q{X)~S|TRX Q, X, S, U c Q~S~U|XRX Q, X, S, V c Q{X{S~VRX Q, X, S, W c (Q{S)~W|XRX Q, X, T, R c (Q~X|T)~RRX Q, X, T, S c (Q{X)~S|TRX Q, X, T, U c (X|TQ)~URX Q, X, T, W c Q{X~T|WRX Q, X, U, Q c (Q{XQ)~URX Q, X, U, R c (Q{X)~R{URX Q, X, U, S c Q~U~S|XRX Q, X, U, T c (X|TQ)~URX Q, X, U, U c (Q{U)~U|XRX Q, X, U, V c X{U~(V|Q)RX Q, X, U, W c (X~W{U)QRX Q, X, U, X c Q~(X{U){XRX Q, X, V, R c Q~X{V~RRX Q, X, V, S c Q{X{V~SRX Q, X, V, U c X{(V|Q)~URX Q, X, V, V c Q~(X{V){VRX Q, X, V, W c Q~(V{W){XRX Q, X, W, R c (Q{W)~R{XRX Q, X, W, S c (Q{S)~W|XRX Q, X, W, T c Q~(X{W){TRX Q, X, W, U c (X~W{U)QRX Q, X, W, V c Q~(W{V){XRX Q, X, W, W c (W|Q)~W|XRX Q, X, X, R c Q~(X{X){RRX Q, X, X, U c Q~(X{U){XRX R, O, S, X c R{O{S~XRX R, O, T, W c (R{O)~(T{W)RX R, O, U, U c R{O{U~URX R, O, U, V c (R{O)~(U{V)RX R, O, V, U c (R{O)~(V{U)RX R, O, W, T c (R{O)~(W{T)RX R, O, X, S c R{O{X~SRX R, P, Q, U c R~(P{Q~U)RX R, P, Q, V c R~(Q~V|P)RX R, P, Q, W c (R{Q)~W|PRX R, P, R, S c R~(P{R~S)RX R, P, R, X c R{(P{R)~XRX R, P, S, R c R~(P{S~R)RX R, P, S, V c (R{V)~S|PRX R, P, S, W c R~(P{S{W)RX R, P, S, X c R{P~S~XRX R, P, T, T c (R{T)~T|PRX R, P, T, U c R{(P{T)~URX R, P, T, V c R{P{T~VRX R, P, T, W c (R~P)~(T{W)RX R, P, T, X c R{(T|P)~XRX R, P, U, Q c R~(P{U~Q)RX R, P, U, T c R{(P{T)~URX R, P, U, U c R{P~U~URX R, P, U, V c (R~P)~(U{V)RX R, P, U, W c R~(U|P{W)RX R, P, V, Q c R~(V~Q|P)RX R, P, V, S c (R{V)~S|PRX R, P, V, T c R{P{V~TRX R, P, V, U c (R~P)~(V{U)RX R, P, V, V c R~(V|P{V)RX R, P, V, W c (R{P)~W{VRX R, P, W, Q c (R{Q)~W|PRX R, P, W, S c R{(P{W)~SRX R, P, W, T c (R~P)~(W{T)RX R, P, W, U c R~(W|P{U)RX R, P, W, V c (R{P)~W{VRX R, P, W, W c (W|R)~W|PRX R, P, X, R c (R{P{X)~RRX R, P, X, S c R{P~X~SRX R, P, X, T c R~(X|P{T)RX R, P, X, X c R~(P{X){XRX R, Q, P, U c R~(Q~U{P)RX R, Q, P, V c R~(Q~V|P)RX R, Q, P, W c (R{Q)~W|PRX R, Q, Q, X c R{(Q{Q)~XRX R, Q, R, T c (R{Q~T)~RRX R, Q, R, U c R{Q~R~URX R, Q, R, V c R~(Q~R{V)RX R, Q, R, W c R~(Q{R{W)RX R, Q, S, T c R~(Q~S{T)RX R, Q, S, U c R{(Q{S)~URX R, Q, S, V c R~(Q{S{V)RX R, Q, T, R c (R{Q~T)~RRX R, Q, T, S c R~(Q~S{T)RX R, Q, T, U c R~(Q{T{U)RX R, Q, T, W c Q{T~W|RRX R, Q, T, X c R~Q~T{XRX R, Q, U, P c R~(Q~U{P)RX R, Q, U, R c R{Q~U~RRX R, Q, U, S c R{(Q{S)~URX R, Q, U, T c R~(Q{U{T)RX R, Q, U, V c (R{VQ)~URX R, Q, U, W c R{U~(W|Q)RX R, Q, U, X c (R{Q)~U{XRX R, Q, V, P c R~(Q~V|P)RX R, Q, V, R c (R~Q{V)~RRX R, Q, V, S c R{(Q{V)~SRX R, Q, V, U c (R{VQ)~URX R, Q, V, W c R~(V|Q{W)RX R, Q, V, X c R~V{Q~XRX R, Q, W, P c (R{Q)~W|PRX R, Q, W, R c (R{Q{W)~RRX R, Q, W, T c Q{W~T|RRX R, Q, W, U c R{(W|Q)~URX R, Q, W, V c R~(W|Q{V)RX R, Q, W, X c R~(Q{W){XRX R, Q, X, Q c R{Q~X~QRX R, Q, X, T c R~(Q~X|T)RX R, Q, X, U c (R{Q)~X|URX R, Q, X, V c R~V{Q~XRX R, Q, X, W c R~(Q{W){XRX R, Q, X, X c R{Q~(X{X)RX R, R, P, S c R~(R~S{P)RX R, R, P, X c R{(R{P)~XRX R, R, Q, T c R~(R{Q~T)RX R, R, Q, U c R{R~Q~URX R, R, Q, V c R~(R~Q{V)RX R, R, Q, W c R~(R{Q{W)RX R, R, R, S c R{R~R~SRX R, R, R, U c R{(R{R)~URX R, R, R, V c R~(R{R{V)RX R, R, R, X c R{R~(R{X)RX R, R, S, P c R~(R~S{P)RX R, R, S, R c R{R~S~RRX R, R, S, S c R~(S~S|R)RX R, R, S, U c R~(R{S{U)RX R, R, S, W c R{R~(S{W)RX R, R, S, X c (R{SR)~XRX R, R, T, Q c R~(R{T~Q)RX R, R, T, T c R~(R{T{T)RX R, R, T, U c R~R{T~URX R, R, T, V c R{R~(T{V)RX R, R, T, W c R~T{R~WRX R, R, T, X c (R{R)~T{XRX R, R, U, Q c R{R~U~QRX R, R, U, R c (R{R)~U{RRX R, R, U, S c R{(R{U)~SRX R, R, U, T c R~R{U~TRX R, R, U, U c R{R~(U{U)RX R, R, U, V c R~U{R~VRX R, R, U, W c R~(R{W){URX R, R, U, X c R{U~(X|R)RX R, R, V, Q c R~(R~Q{V)RX R, R, V, R c (R{R{V)~RRX R, R, V, T c R{R~(V{T)RX R, R, V, U c R~V{R~URX R, R, V, V c R~(V{V)|RRX R, R, V, W c R~(R~V|W)RX R, R, V, X c R~(R{V){XRX R, R, W, Q c R~(R{W{Q)RX R, R, W, S c R{R~(W{S)RX R, R, W, T c R~W{R~TRX R, R, W, U c R~(R{W){URX R, R, W, V c R~(R~V|W)RX R, R, W, W c R~(W|R{W)RX R, R, W, X c (R{R)~W|XRX R, R, X, P c R~(R{X{P)RX R, R, X, R c R{(R{X)~RRX R, R, X, S c R~X{R~SRX R, R, X, T c (R{R)~T{XRX R, R, X, U c R{(X|R)~URX R, R, X, V c R~(R{V){XRX R, R, X, W c (R{R)~W|XRX R, R, X, X c R{R~X{XRX R, S, O, X c R{(S{O)~XRX R, S, P, R c (R~S{P)~RRX R, S, P, V c (R{V)~S|PRX R, S, P, W c R{S~(P{W)RX R, S, P, X c R{S~P~XRX R, S, Q, T c R~(S~Q{T)RX R, S, Q, U c R{(S{Q)~URX R, S, Q, V c R{S~(Q{V)RX R, S, R, P c R~(S~R{P)RX R, S, R, R c R{S~R~RRX R, S, R, S c R~(S~S|R)RX R, S, R, U c R{S~(R{U)RX R, S, R, W c R{(S{W)~RRX R, S, R, X c (R{SR)~XRX R, S, S, R c R~(S~S|R)RX R, S, S, T c R{S~(S{T)RX R, S, S, W c R{S{S~WRX R, S, S, X c R~S~S|XRX R, S, T, Q c R~(S~Q{T)RX R, S, T, S c R{(S{T)~SRX R, S, T, U c R~T{S~URX R, S, T, V c R~(S~T|V)RX R, S, T, W c R{T~W|SRX R, S, U, Q c R{(S{Q)~URX R, S, U, R c (R{S{U)~RRX R, S, U, T c R~T{S~URX R, S, U, V c R~(S{V){URX R, S, U, X c R~(S{U){XRX R, S, V, P c (R{V)~S|PRX R, S, V, Q c R{S~(V{Q)RX R, S, V, T c R~(S~T|V)RX R, S, V, U c R~(S{V){URX R, S, V, W c R{S~V{WRX R, S, W, P c R{S~(W{P)RX R, S, W, R c R{(S{W)~RRX R, S, W, S c R{S{W~SRX R, S, W, T c (R{W)~S|TRX R, S, W, V c R{S~V{WRX R, S, W, X c R{(W|S)~XRX R, S, X, O c R{S~X{ORX R, S, X, P c R{S~X~PRX R, S, X, R c R~S{X~RRX R, S, X, S c (RS{X)~SRX R, S, X, U c R~(S{U){XRX R, S, X, W c R~X{S{WRX R, S, X, X c (R{X)~S|XRX R, T, O, W c R~(T{O{W)RX R, T, P, T c (R{T)~T|PRX R, T, P, U c R{(T{P)~URX R, T, P, V c R~(T{P{V)RX R, T, P, W c R~(T{P~W)RX R, T, P, X c R{(T|P)~XRX R, T, Q, R c (R{T~Q)~RRX R, T, Q, S c R~(T{Q~S)RX R, T, Q, U c R~(T{Q{U)RX R, T, Q, W c T~W|R{QRX R, T, Q, X c R~T~Q{XRX R, T, R, Q c R~(T~R|Q)RX R, T, R, T c R~(T{R{T)RX R, T, R, U c R~T~R|URX R, T, R, V c R{(T{V)~RRX R, T, R, W c R~T{R~WRX R, T, R, X c R~(T{X)|RRX R, T, S, Q c R~(T{S~Q)RX R, T, S, S c R{(T{S)~SRX R, T, S, U c R~T{S~URX R, T, S, V c (R{T)~S{VRX R, T, S, W c R{T~W|SRX R, T, T, P c (R{T)~T|PRX R, T, T, R c (R{T{T)~RRX R, T, T, X c R~(T{T){XRX R, T, U, P c R{(T{P)~URX R, T, U, Q c R~(T{U{Q)RX R, T, U, R c R~T~R|URX R, T, U, S c R~T{U~SRX R, T, U, U c R{T~U{URX R, T, U, W c (T{W)~(U|R)RX R, T, U, X c (R{T)~U|XRX R, T, V, P c R{T~V{PRX R, T, V, R c R{(T{V)~RRX R, T, V, S c (R{T)~S{VRX R, T, V, V c T~V|R{VRX R, T, V, X c R~X{T{VRX R, T, W, O c R~(T{W){ORX R, T, W, P c R~(T{W)~PRX R, T, W, Q c T~W|R{QRX R, T, W, R c R~T{W~RRX R, T, W, S c R{T~W|SRX R, T, W, U c (T{W)~(U|R)RX R, T, W, X c (T{W)R~XRX R, T, X, P c R~(T{X|P)RX R, T, X, Q c R~T~Q{XRX R, T, X, R c R~(T{X)|RRX R, T, X, T c R~(T{T){XRX R, T, X, U c (R{T)~U|XRX R, T, X, V c R~X{T{VRX R, T, X, W c (T{W)R~XRX R, T, X, X c R{T~X|XRX R, U, O, U c R{(U{O)~URX R, U, O, V c R~(U{O{V)RX R, U, P, Q c R~(U~Q{P)RX R, U, P, T c R{U~(P{T)RX R, U, P, U c R{U~P~URX R, U, P, V c R~(U{P~V)RX R, U, P, W c R~(U|P{W)RX R, U, Q, P c R~(U~Q{P)RX R, U, Q, R c R{U~Q~RRX R, U, Q, S c R{U~(Q{S)RX R, U, Q, T c R~(U{Q{T)RX R, U, Q, V c (R{VQ)~URX R, U, Q, W c R{U~(W|Q)RX R, U, Q, X c R{(U|Q)~XRX R, U, R, Q c R{U~R~QRX R, U, R, R c R{U~(R{R)RX R, U, R, S c R{(U{R)~SRX R, U, R, T c R~(U~R|T)RX R, U, R, U c R{(U{U)~RRX R, U, R, V c R~U{R~VRX R, U, R, W c R~(U{W)|RRX R, U, R, X c R{U~(X|R)RX R, U, S, Q c R{U~(S{Q)RX R, U, S, R c (R{U{S)~RRX R, U, S, T c R~T{U~SRX R, U, S, V c R~(S{V){URX R, U, S, X c R~(U{S){XRX R, U, T, P c R{U~(T{P)RX R, U, T, Q c R~(U{T{Q)RX R, U, T, R c (R~U|T)~RRX R, U, T, S c R~T{U~SRX R, U, T, U c R{U{T~URX R, U, T, W c (U|R)~(T{W)RX R, U, T, X c (R{T)~U|XRX R, U, U, O c R{U~U{ORX R, U, U, P c R{U~U~PRX R, U, U, R c R{(U{U)~RRX R, U, U, T c R{U{U~TRX R, U, U, U c (RU{U)~URX R, U, U, V c R{U~V|URX R, U, U, W c (U~W)|(R{U)RX R, U, U, X c R~(U{X)|URX R, U, V, O c R~(U{V){ORX R, U, V, P c R{U~(V|P)RX R, U, V, Q c (R{VQ)~URX R, U, V, R c R~U{V~RRX R, U, V, S c R~(V{S){URX R, U, V, U c R{U~V|URX R, U, V, V c (U|RV)~VRX R, U, V, W c R~(V{W)|URX R, U, V, X c (U{V)R~XRX R, U, W, P c R~(U{W|P)RX R, U, W, Q c R{U~(W|Q)RX R, U, W, R c R~(U{W)|RRX R, U, W, T c (U|R)~(W{T)RX R, U, W, U c (U~W)|(R{U)RX R, U, W, V c R~(W{V)|URX R, U, W, X c (R{WU)~XRX R, U, X, Q c R~(U{X|Q)RX R, U, X, R c R{U~(X|R)RX R, U, X, S c R~(U{S){XRX R, U, X, T c (R{T)~U|XRX R, U, X, U c R~(U{X)|URX R, U, X, V c (U{V)R~XRX R, U, X, W c (R{WU)~XRX R, V, O, U c R~(V{O{U)RX R, V, P, Q c R~(V~Q|P)RX R, V, P, S c (R{V)~S|PRX R, V, P, T c R~(V{P{T)RX R, V, P, U c R{(V|P)~URX R, V, P, V c R~(V|P{V)RX R, V, P, W c (R{P)~W{VRX R, V, Q, P c R~(V~Q|P)RX R, V, Q, R c R~(V{Q~R)RX R, V, Q, S c R{(V{Q)~SRX R, V, Q, U c (R{VQ)~URX R, V, Q, W c R~(V|Q{W)RX R, V, Q, X c R~V{Q~XRX R, V, R, Q c R~(V{R~Q)RX R, V, R, R c (R{V{R)~RRX R, V, R, T c R{(V{T)~RRX R, V, R, U c R~V{R~URX R, V, R, V c R~(V{V)|RRX R, V, R, W c R~(V~R|W)RX R, V, R, X c R{(V|R)~XRX R, V, S, P c (R{V)~S|PRX R, V, S, Q c R~(V{S{Q)RX R, V, S, T c R~(S~T|V)RX R, V, S, U c R~(V{S){URX R, V, S, W c R{V~S{WRX R, V, T, P c R{V~T{PRX R, V, T, R c R{(V{T)~RRX R, V, T, S c (R{T)~S{VRX R, V, T, V c V|R{T~VRX R, V, T, X c R~X{V{TRX R, V, U, O c R~(V{U){ORX R, V, U, P c R~(V{U)~PRX R, V, U, Q c (R{VQ)~URX R, V, U, R c R~V{U~RRX R, V, U, S c R~(V{S){URX R, V, U, U c R{V~U|URX R, V, U, V c V~(U|RV)RX R, V, U, W c R~(V{W)|URX R, V, U, X c (V{U)R~XRX R, V, V, P c R~(V{V|P)RX R, V, V, R c R~(V{V)|RRX R, V, V, T c V|R{V~TRX R, V, V, U c V~(U|RV)RX R, V, V, V c (V~V)|(R{V)RX R, V, V, W c (V|R)~W{VRX R, V, W, P c (R{P)~W{VRX R, V, W, Q c R~(V{W|Q)RX R, V, W, R c (R~V|W)~RRX R, V, W, S c R{V~S{WRX R, V, W, U c R~(V{W)|URX R, V, W, V c (V|R)~W{VRX R, V, W, W c R~W{V{WRX R, V, W, X c (V|WR)~XRX R, V, X, Q c R~V{X~QRX R, V, X, R c R~(V{X|R)RX R, V, X, T c R~X{V{TRX R, V, X, U c (V{U)R~XRX R, V, X, W c V~X|R~WRX R, V, X, X c R~V{X{XRX R, W, O, T c R~(W{O{T)RX R, W, P, Q c (R{Q)~W|PRX R, W, P, S c R{(W{P)~SRX R, W, P, T c R~(W{P~T)RX R, W, P, U c R~(W|P{U)RX R, W, P, V c (R{P)~W{VRX R, W, P, W c (W|R)~W|PRX R, W, Q, P c (R{Q)~W|PRX R, W, Q, R c (R{W{Q)~RRX R, W, Q, T c W~T|R{QRX R, W, Q, U c R{(W|Q)~URX R, W, Q, V c R~(W|Q{V)RX R, W, Q, X c R{WQ~XRX R, W, R, Q c R~(W{R{Q)RX R, W, R, S c R{(W{S)~RRX R, W, R, T c R~W{R~TRX R, W, R, U c (R{W)~R{URX R, W, R, V c R~(R~V|W)RX R, W, R, W c R~(W|R{W)RX R, W, R, X c (R{R)~W|XRX R, W, S, P c R~(W{S{P)RX R, W, S, R c R{(W{S)~RRX R, W, S, S c R{W~S{SRX R, W, S, T c (R{W)~S|TRX R, W, S, V c R{W{S~VRX R, W, S, X c R{(W|S)~XRX R, W, T, O c R~(W{T){ORX R, W, T, P c R~(W{T)~PRX R, W, T, Q c W~T|R{QRX R, W, T, R c R~W{T~RRX R, W, T, S c R{W~T|SRX R, W, T, U c (W{T)~(U|R)RX R, W, T, X c (W{T)R~XRX R, W, U, P c R~(W{U|P)RX R, W, U, Q c R{(W|Q)~URX R, W, U, R c R~(W{U)|RRX R, W, U, T c (W{T)~(U|R)RX R, W, U, U c (W~U)|(R{U)RX R, W, U, V c R~(W{V)|URX R, W, U, X c (R{WU)~XRX R, W, V, P c (R{P)~W{VRX R, W, V, Q c R~(W{V|Q)RX R, W, V, R c (R~V|W)~RRX R, W, V, S c R{W{V~SRX R, W, V, U c R~(W{V)|URX R, W, V, V c W~(V|R){VRX R, W, V, W c R~W{V{WRX R, W, V, X c (V|WR)~XRX R, W, W, P c (W|R)~W|PRX R, W, W, R c R~(W{W|R)RX R, W, W, V c R~W{W{VRX R, W, W, X c R~(W{W)|XRX R, W, X, Q c R{W~XQRX R, W, X, R c (R{R)~W|XRX R, W, X, S c R~(W{X|S)RX R, W, X, T c (W{T)R~XRX R, W, X, U c R~W{X{URX R, W, X, V c X~V|R~WRX R, W, X, W c R~(W{W)|XRX R, W, X, X c W~(X|R)|XRX R, X, O, S c R{(X{O)~SRX R, X, P, R c (R{X{P)~RRX R, X, P, S c R{X~P~SRX R, X, P, T c R~(X|P{T)RX R, X, P, X c R~(X{P){XRX R, X, Q, Q c R{X~(Q{Q)RX R, X, Q, T c R~(X~Q|T)RX R, X, Q, U c R~(X{Q){URX R, X, Q, V c R~V{X~QRX R, X, Q, W c R{XQ~WRX R, X, Q, X c R{(X{X)~QRX R, X, R, P c R{X~(R{P)RX R, X, R, R c R{(X{R)~RRX R, X, R, S c R~X{R~SRX R, X, R, T c R~(X{T)|RRX R, X, R, U c R{(X|R)~URX R, X, R, V c R~(X|R{V)RX R, X, R, W c (R{R)~W|XRX R, X, R, X c R{X{R~XRX R, X, S, O c R{X~S{ORX R, X, S, P c R{X~S~PRX R, X, S, R c R~X{S~RRX R, X, S, S c (RS{X)~SRX R, X, S, U c R~(S{U){XRX R, X, S, W c R~X{S{WRX R, X, S, X c (R{X)~S|XRX R, X, T, P c R{X~(T|P)RX R, X, T, Q c R~(X~Q|T)RX R, X, T, R c R~(X{T)|RRX R, X, T, T c R~(T{T){XRX R, X, T, U c (R{T)~U|XRX R, X, T, V c R~X{T{VRX R, X, T, W c (XR)~(T{W)RX R, X, T, X c R{(X|T)~XRX R, X, U, Q c R{X~(U|Q)RX R, X, U, R c R{(X|R)~URX R, X, U, S c R~(U{S){XRX R, X, U, T c (R{T)~U|XRX R, X, U, U c R~X{U{URX R, X, U, V c (XR)~(U{V)RX R, X, U, W c R~W{X{URX R, X, V, Q c R~V{X~QRX R, X, V, R c R{X~(V|R)RX R, X, V, T c R~X{V{TRX R, X, V, U c (XR)~(V{U)RX R, X, V, W c X~V|R~WRX R, X, V, X c R~(X{V)|XRX R, X, W, Q c R{X~WQRX R, X, W, R c (R{R)~W|XRX R, X, W, S c R{X~(W|S)RX R, X, W, T c (XR)~(W{T)RX R, X, W, U c R~W{X{URX R, X, W, V c X~V|R~WRX R, X, W, W c R~(W{W)|XRX R, X, W, X c (X|R)~W|XRX R, X, X, P c R~(X{P){XRX R, X, X, Q c R{(X{X)~QRX R, X, X, R c R{X{X~RRX R, X, X, S c (R{X)~S|XRX R, X, X, T c R{X~(X|T)RX R, X, X, V c R~(X{V)|XRX R, X, X, W c (X|R)~W|XRX S, O, R, X c (S{O{X)~RRX S, O, T, V c S{O{T~VRX S, O, V, T c S{O{V~TRX S, O, V, W c (S{O)~W{VRX S, O, W, V c (S{O)~W{VRX S, O, X, R c (S{O{X)~RRX S, P, P, W c (S{P)~W|PRX S, P, P, X c S~(P{X)|PRX S, P, Q, T c S~Q~T|PRX S, P, Q, W c S~(Q{W)|PRX S, P, Q, X c (S{X)~(P{Q)RX S, P, R, R c (S~R{P)~RRX S, P, R, V c S~(R{V)|PRX S, P, R, W c (S{P{W)~RRX S, P, R, X c (S{PR)~XRX S, P, S, T c (S{S)~T|PRX S, P, S, U c S~(S{U)|PRX S, P, S, V c S{(P{S)~VRX S, P, S, X c S|P{S~XRX S, P, T, Q c S~T~Q|PRX S, P, T, S c (S{S)~T|PRX S, P, T, T c S~(T{T)|PRX S, P, T, U c S{(P{U)~TRX S, P, T, V c S{P~T~VRX S, P, T, W c (S|P)~(T{W)RX S, P, U, S c (S{U)~S|PRX S, P, U, T c S{(P{U)~TRX S, P, U, U c S|P{U~URX S, P, U, V c (S|P)~(U{V)RX S, P, U, W c S~W{P{URX S, P, U, X c (S{P)~U{XRX S, P, V, R c S~(V{R)|PRX S, P, V, S c (S{P)~V{SRX S, P, V, T c S{P~V~TRX S, P, V, U c (S|P)~(V{U)RX S, P, V, V c S~(P{V){VRX S, P, V, W c S~P~W{VRX S, P, V, X c S~(X|P){VRX S, P, W, P c (S{P)~W|PRX S, P, W, Q c S~(W{Q)|PRX S, P, W, R c (S{P{W)~RRX S, P, W, T c (S|P)~(W{T)RX S, P, W, U c S~W{P{URX S, P, W, V c S~P~W{VRX S, P, W, W c S~W|P{WRX S, P, W, X c W~(X|S)|PRX S, P, X, P c S~(P{X)|PRX S, P, X, Q c (S{X)~(P{Q)RX S, P, X, R c (S{P~X)~RRX S, P, X, S c S|P{X~SRX S, P, X, U c (S{P)~X|URX S, P, X, V c S~(X|P){VRX S, P, X, W c (X|S)~W|PRX S, Q, P, T c S~Q~T|PRX S, Q, P, W c S~(Q{W)|PRX S, Q, P, X c (S{X)~(Q{P)RX S, Q, R, T c (S~Q{T)~RRX S, Q, R, U c (S{Q)~U{RRX S, Q, R, V c S{(Q{R)~VRX S, Q, S, V c S~Q~S{VRX S, Q, T, P c S~Q~T|PRX S, Q, T, R c (S~Q{T)~RRX S, Q, T, T c S{(Q{T)~TRX S, Q, T, U c (S{TQ)~URX S, Q, T, W c S~W{Q{TRX S, Q, T, X c (S{Q)~T{XRX S, Q, U, R c (S{Q)~U{RRX S, Q, U, T c (S{TQ)~URX S, Q, U, U c (QS{U)~URX S, Q, U, V c S~(Q{U){VRX S, Q, U, X c (S{QU)~XRX S, Q, V, R c (S{Q{V)~RRX S, Q, V, S c S~Q~S{VRX S, Q, V, U c S~(Q{U){VRX S, Q, V, V c S{(V|Q)~VRX S, Q, V, X c S~V{Q{XRX S, Q, W, P c S~(Q{W)|PRX S, Q, W, T c S~W{Q{TRX S, Q, W, X c (S{Q)~W|XRX S, Q, X, P c (S{X)~(Q{P)RX S, Q, X, T c S~(Q{X)|TRX S, Q, X, U c (S{QU)~XRX S, Q, X, V c S~V{Q{XRX S, Q, X, W c (S{Q)~W|XRX S, R, O, X c (S{O{X)~RRX S, R, P, R c (S~R{P)~RRX S, R, P, V c S~(R{V)|PRX S, R, P, W c (S{P{W)~RRX S, R, P, X c (S{PR)~XRX S, R, Q, T c (S~Q{T)~RRX S, R, Q, U c (S{Q)~U{RRX S, R, Q, V c S{(R{Q)~VRX S, R, R, P c (S~R{P)~RRX S, R, R, R c (S{R~R)~RRX S, R, R, S c (S~S|R)~RRX S, R, R, U c (S{R{U)~RRX S, R, R, W c (S{W)~R{RRX S, R, R, X c S~R{R~XRX S, R, S, R c (S~S|R)~RRX S, R, S, T c S{(R{S)~TRX S, R, S, W c S{R{S~WRX S, R, S, X c S~R~S|XRX S, R, T, Q c (S~Q{T)~RRX S, R, T, S c (S{R)~T{SRX S, R, T, U c S~U{R~TRX S, R, T, V c S~(R{T){VRX S, R, T, W c S~(R{W)|TRX S, R, U, Q c (S{Q)~U{RRX S, R, U, R c (S{R{U)~RRX S, R, U, T c S~U{R~TRX S, R, U, V c (S{V)~R{URX S, R, U, X c (S{U)~R{XRX S, R, V, P c S~(R{V)|PRX S, R, V, Q c S{(R{Q)~VRX S, R, V, T c S~(R{T){VRX S, R, V, U c (S{V)~R{URX S, R, V, W c S~V{R{WRX S, R, W, P c (S{W{P)~RRX S, R, W, R c (S{W)~R{RRX S, R, W, S c S{R{W~SRX S, R, W, T c S~(R{W)|TRX S, R, W, V c S{(W|R)~VRX S, R, W, X c S{R~X{WRX S, R, X, O c (S{X)~(R{O)RX S, R, X, P c (S{X)~(R~P)RX S, R, X, R c S~R{X~RRX S, R, X, S c S~R~S|XRX S, R, X, U c S~X|R{URX S, R, X, W c S{R~X{WRX S, R, X, X c (S{RX)~XRX S, S, P, T c (S{S)~T|PRX S, S, P, U c S~(S{U)|PRX S, S, P, V c S{(S{P)~VRX S, S, P, X c S{S~X|PRX S, S, Q, V c S~S~Q{VRX S, S, R, R c (S~S|R)~RRX S, S, R, T c S{(S{R)~TRX S, S, R, W c S{S~W{RRX S, S, R, X c S~S~R|XRX S, S, S, V c (S{S)~S{VRX S, S, T, P c (S{S)~T|PRX S, S, T, R c (S{S{T)~RRX S, S, T, V c S~(S{V)|TRX S, S, T, W c T~W|SSRX S, S, U, P c S~(S{U)|PRX S, S, U, X c (S{S)~U|XRX S, S, V, P c S{(S{P)~VRX S, S, V, Q c S~S~Q{VRX S, S, V, S c (S{S)~S{VRX S, S, V, T c S~(S{V)|TRX S, S, V, V c S{S~V{VRX S, S, V, W c S~(VS{W)RX S, S, V, X c S{V~(X|S)RX S, S, W, R c S{S~W{RRX S, S, W, T c W~T|SSRX S, S, W, V c S~(W{VS)RX S, S, W, X c S~(S{W)|XRX S, S, X, P c S{S~X|PRX S, S, X, R c S~S~R|XRX S, S, X, U c (S{S)~U|XRX S, S, X, V c S{(X|S)~VRX S, S, X, W c S~(S{W)|XRX S, T, O, V c S{(T{O)~VRX S, T, P, Q c S~T~Q|PRX S, T, P, S c (S{S)~T|PRX S, T, P, T c S~(T{T)|PRX S, T, P, U c S{T~(P{U)RX S, T, P, V c S{T~P~VRX S, T, P, W c S{T~(W|P)RX S, T, Q, P c S~T~Q|PRX S, T, Q, R c (S~Q{T)~RRX S, T, Q, T c S{(T{Q)~TRX S, T, Q, U c (S{TQ)~URX S, T, Q, W c S~W{T{QRX S, T, Q, X c S{T~(X|Q)RX S, T, R, Q c (S~Q{T)~RRX S, T, R, S c S{T~(R{S)RX S, T, R, U c S~U{T~RRX S, T, R, V c S~(T{R){VRX S, T, R, W c S~(R{W)|TRX S, T, S, P c (S{S)~T|PRX S, T, S, R c (S{T{S)~RRX S, T, S, V c S~(S{V)|TRX S, T, S, W c T~W|SSRX S, T, T, P c S~(T{T)|PRX S, T, T, Q c S{T~(T{Q)RX S, T, T, U c S{T{T~URX S, T, T, V c (ST{V)~TRX S, T, T, W c S{T~W|TRX S, T, U, P c S{T~(U{P)RX S, T, U, Q c (S{TQ)~URX S, T, U, R c S~U{T~RRX S, T, U, T c S{T{U~TRX S, T, U, U c (T{US)~URX S, T, U, V c S~V{T{URX S, T, U, W c (U~W)|(S{T)RX S, T, U, X c (T|SU)~XRX S, T, V, O c S{T~V{ORX S, T, V, P c S{T~V~PRX S, T, V, R c (S~T|V)~RRX S, T, V, S c (S{V)~S|TRX S, T, V, T c (ST{V)~TRX S, T, V, U c S~V{T{URX S, T, V, V c (SV{T)~VRX S, T, V, W c T~V|S{WRX S, T, V, X c S~(T{V)|XRX S, T, W, P c S{T~(W|P)RX S, T, W, Q c S~W{T{QRX S, T, W, R c S~(W{R)|TRX S, T, W, S c T~W|SSRX S, T, W, T c S{T~W|TRX S, T, W, U c (W~U)|(S{T)RX S, T, W, V c (T{W)~(V|S)RX S, T, W, X c S~X|T{WRX S, T, X, Q c S{T~(X|Q)RX S, T, X, U c (T|SU)~XRX S, T, X, V c S~(T{V)|XRX S, T, X, W c S~X|T{WRX S, U, P, S c (S{U)~S|PRX S, U, P, T c S{(U{P)~TRX S, U, P, U c S{U~U|PRX S, U, P, V c S{(U|P)~VRX S, U, P, W c S~W{U{PRX S, U, P, X c (S{P)~U{XRX S, U, Q, R c (S{Q)~U{RRX S, U, Q, T c (S{TQ)~URX S, U, Q, U c (U{QS)~URX S, U, Q, V c S~(U{Q){VRX S, U, Q, X c S~U~Q|XRX S, U, R, Q c (S{Q)~U{RRX S, U, R, R c (S{U{R)~RRX S, U, R, T c S~U{R~TRX S, U, R, V c (S{V)~R{URX S, U, R, X c (S{U)~R{XRX S, U, S, P c (S{U)~S|PRX S, U, S, X c (S{S)~U|XRX S, U, T, P c S{(U{P)~TRX S, U, T, Q c (S{TQ)~URX S, U, T, R c S~U{T~RRX S, U, T, T c S{U~T{TRX S, U, T, U c (US{T)~URX S, U, T, V c S~V{U{TRX S, U, T, W c (U~W)|(S{T)RX S, U, T, X c (T|SU)~XRX S, U, U, P c S{U~U|PRX S, U, U, Q c U~(U{QS)RX S, U, U, T c (US{T)~URX S, U, U, V c U~U|S{VRX S, U, U, W c (SW{U)~URX S, U, U, X c S~U{U{XRX S, U, V, P c S{(U|P)~VRX S, U, V, Q c S~(U{Q){VRX S, U, V, R c (S{V)~R{URX S, U, V, T c S~V{U{TRX S, U, V, U c U~U|S{VRX S, U, V, V c S{U~V|VRX S, U, V, W c S~U{V{WRX S, U, V, X c V~X|S~URX S, U, W, P c S~W{U{PRX S, U, W, T c (U~W)|(S{T)RX S, U, W, U c (SW{U)~URX S, U, W, V c S~U{W{VRX S, U, W, X c S~(UW{X)RX S, U, X, P c (S{P)~U{XRX S, U, X, Q c S~U~Q|XRX S, U, X, R c (S{U)~R{XRX S, U, X, S c (S{S)~U|XRX S, U, X, T c X~(T|SU)RX S, U, X, U c S~U{X{URX S, U, X, V c X~V|S~URX S, U, X, W c S~(UW{X)RX S, U, X, X c S~X|U{XRX S, V, O, T c S{(V{O)~TRX S, V, O, W c (S{O)~W{VRX S, V, P, R c S~(V{R)|PRX S, V, P, S c S{V~(P{S)RX S, V, P, T c S{V~P~TRX S, V, P, U c S{V~(U|P)RX S, V, P, V c S~(V{P){VRX S, V, P, W c S~P~W{VRX S, V, P, X c S~(X|P){VRX S, V, Q, R c (S{V{Q)~RRX S, V, Q, S c S~Q~S{VRX S, V, Q, U c S~(Q{U){VRX S, V, Q, V c S{(V|Q)~VRX S, V, Q, X c S~V{Q{XRX S, V, R, P c S~(V{R)|PRX S, V, R, Q c S{V~(R{Q)RX S, V, R, T c S~(R{T){VRX S, V, R, U c (S{V)~R{URX S, V, R, W c S~V{R{WRX S, V, S, P c S{V~(S{P)RX S, V, S, Q c S~S~Q{VRX S, V, S, S c (S{S)~S{VRX S, V, S, T c (S{V)~S|TRX S, V, S, V c S{V{S~VRX S, V, S, W c S~(VS{W)RX S, V, S, X c S{V~(X|S)RX S, V, T, O c S{V~T{ORX S, V, T, P c S{V~T~PRX S, V, T, R c (S~T|V)~RRX S, V, T, S c (S{V)~S|TRX S, V, T, T c (ST{V)~TRX S, V, T, U c S~V{T{URX S, V, T, V c (SV{T)~VRX S, V, T, W c (V|S)~(T{W)RX S, V, T, X c S~(V{T)|XRX S, V, U, P c S{V~(U|P)RX S, V, U, Q c S~(U{Q){VRX S, V, U, R c (S{V)~R{URX S, V, U, T c S~V{U{TRX S, V, U, U c V|S{U~URX S, V, U, V c S{V~U|VRX S, V, U, W c S~U{V{WRX S, V, U, X c V~X|S~URX S, V, V, P c S~(V{P){VRX S, V, V, Q c S{V~(V|Q)RX S, V, V, S c S{V{V~SRX S, V, V, T c (SV{T)~VRX S, V, V, U c S{V~U|VRX S, V, W, O c S~W{V{ORX S, V, W, P c S~W{V~PRX S, V, W, R c S{V~(W|R)RX S, V, W, S c S~(VS{W)RX S, V, W, T c (V|S)~(W{T)RX S, V, W, U c S~U{V{WRX S, V, W, W c (S{VW)~WRX S, V, X, P c S~(X|P){VRX S, V, X, Q c S~V{X{QRX S, V, X, S c S{V~(X|S)RX S, V, X, T c S~(V{T)|XRX S, V, X, U c V~X|S~URX S, W, O, V c S~W{O{VRX S, W, P, P c (S{P)~W|PRX S, W, P, Q c S~(W{Q)|PRX S, W, P, R c (S{W{P)~RRX S, W, P, T c S{(W|P)~TRX S, W, P, U c S~W{P{URX S, W, P, V c S~W{P~VRX S, W, P, W c S~W|P{WRX S, W, P, X c W~(X|S)|PRX S, W, Q, P c S~(W{Q)|PRX S, W, Q, T c S~W{Q{TRX S, W, Q, X c S~W|Q{XRX S, W, R, P c (S{W{P)~RRX S, W, R, R c (S{W)~R{RRX S, W, R, S c S~W{R{SRX S, W, R, T c S~(W{R)|TRX S, W, R, V c S{(W|R)~VRX S, W, R, X c S{W{R~XRX S, W, S, R c S{W~S{RRX S, W, S, T c W~T|SSRX S, W, S, V c S~(W{VS)RX S, W, S, X c (S{W)~S|XRX S, W, T, P c S{(W|P)~TRX S, W, T, Q c S~W{T{QRX S, W, T, R c S~(W{R)|TRX S, W, T, S c W~T|SSRX S, W, T, T c S{W~T|TRX S, W, T, U c (W~U)|(S{T)RX S, W, T, V c W|S{T~VRX S, W, T, X c (S{X)~(W|T)RX S, W, U, P c S~W{U{PRX S, W, U, T c (W~U)|(S{T)RX S, W, U, U c (SW{U)~URX S, W, U, V c S~U{W{VRX S, W, U, X c S~(UW{X)RX S, W, V, O c S~W{V{ORX S, W, V, P c S~W{V~PRX S, W, V, R c S{(W|R)~VRX S, W, V, S c S~(W{VS)RX S, W, V, T c W|S{V~TRX S, W, V, U c S~U{W{VRX S, W, V, W c (S{VW)~WRX S, W, W, P c S~W{W|PRX S, W, W, V c (S{VW)~WRX S, W, X, P c W~(X|S)|PRX S, W, X, Q c S~W{X|QRX S, W, X, R c S{W{X~RRX S, W, X, S c (S{W)~S|XRX S, W, X, T c (S{X)~(W|T)RX S, W, X, U c S~(X{UW)RX S, X, O, R c (S{X{O)~RRX S, X, P, P c S~(X{P)|PRX S, X, P, Q c (S{X)~(P{Q)RX S, X, P, R c (S{X)~(P~R)RX S, X, P, S c S~X|P{SRX S, X, P, U c (S{P)~X|URX S, X, P, V c S~(X|P){VRX S, X, P, W c (X|S)~W|PRX S, X, Q, P c (S{X)~(Q{P)RX S, X, Q, T c S{(X|Q)~TRX S, X, Q, U c (S{X)Q~URX S, X, Q, V c S~V{X{QRX S, X, Q, W c (S{Q)~W|XRX S, X, R, O c (S{X)~(R{O)RX S, X, R, P c (S{X)~(R~P)RX S, X, R, R c S~R{X~RRX S, X, R, S c S~(X{RS)RX S, X, R, U c S~X|R{URX S, X, R, W c S{X~R{WRX S, X, R, X c (S{X)R~XRX S, X, S, P c S{X~S|PRX S, X, S, R c S~(X{RS)RX S, X, S, U c (S{S)~U|XRX S, X, S, V c S{(X|S)~VRX S, X, S, W c S~(S{W)|XRX S, X, T, Q c (S{X)~(T|Q)RX S, X, T, U c X~(T|SU)RX S, X, T, V c S~(T{V)|XRX S, X, T, W c S~X|T{WRX S, X, U, P c (S{P)~X|URX S, X, U, Q c (S{X)~(UQ)RX S, X, U, R c (S{X)~(U|R)RX S, X, U, S c (S{S)~U|XRX S, X, U, T c X~(T|SU)RX S, X, U, U c S~U{X{URX S, X, U, V c X~V|S~URX S, X, U, W c S~(X{UW)RX S, X, U, X c S~X|U{XRX S, X, V, P c S~(X|P){VRX S, X, V, Q c S~V{X{QRX S, X, V, S c (S{X)~(V|S)RX S, X, V, T c S~(V{T)|XRX S, X, V, U c X~V|S~URX S, X, W, P c (X|S)~W|PRX S, X, W, Q c S~W{X|QRX S, X, W, R c S{X~R{WRX S, X, W, S c (S{W)~S|XRX S, X, W, T c (S{X)~(W|T)RX S, X, W, U c S~(X{UW)RX S, X, X, R c (S{X)~(XR)RX S, X, X, U c (S{X)~(X|U)RX T, O, P, W c (T{O)~W|PRX T, O, R, W c (T{O{W)~RRX T, O, S, V c (T{O)~V{SRX T, O, U, X c (T{O)~U{XRX T, O, V, S c (T{O)~V{SRX T, O, W, P c (T{O)~W|PRX T, O, W, R c (T{O{W)~RRX T, O, X, U c (T{O)~X|URX T, P, O, W c (T{O)~W|PRX T, P, P, V c T~(P{V)|PRX T, P, P, W c T~P~W|PRX T, P, P, X c T~(X|P)|PRX T, P, Q, S c T~Q~S|PRX T, P, Q, U c T~(Q{U)|PRX T, P, Q, W c (T{W)~(P{Q)RX T, P, R, T c (T{R)~T|PRX T, P, R, U c (T{P)~U{RRX T, P, R, V c (T{P{V)~RRX T, P, R, W c (T{P~W)~RRX T, P, R, X c (T|P{X)~RRX T, P, S, Q c T~S~Q|PRX T, P, S, S c T~(S{S)|PRX T, P, S, T c (T{T)~S|PRX T, P, S, U c T~(P{U){SRX T, P, S, V c T~P~V{SRX T, P, S, W c T~(W|P){SRX T, P, T, R c T~(T{R)|PRX T, P, T, S c (T{T)~S|PRX T, P, T, V c T|P{T~VRX T, P, T, W c T~(W|PT)RX T, P, T, X c (T{P)~T{XRX T, P, U, Q c T~(U{Q)|PRX T, P, U, R c (T{P)~U{RRX T, P, U, S c T~(P{U){SRX T, P, U, W c T~(P{W)|URX T, P, U, X c T~P~U{XRX T, P, V, P c T~(P{V)|PRX T, P, V, R c (T{P{V)~RRX T, P, V, S c T~P~V{SRX T, P, V, T c T|P{V~TRX T, P, V, W c (T|P)~W{VRX T, P, V, X c T~(V|P){XRX T, P, W, O c T~W|P{ORX T, P, W, P c T~P~W|PRX T, P, W, Q c (T{W)~(P{Q)RX T, P, W, R c (T{P~W)~RRX T, P, W, S c T~(W|P){SRX T, P, W, T c T~(W|PT)RX T, P, W, U c T~(P{W)|URX T, P, W, V c (T|P)~W{VRX T, P, W, W c (T|PW)~WRX T, P, W, X c (T{P)~W|XRX T, P, X, P c T~(X|P)|PRX T, P, X, R c (T|P{X)~RRX T, P, X, T c (T{P)~T{XRX T, P, X, U c T~P~X|URX T, P, X, V c T~X{P|VRX T, P, X, W c (T{P)~W|XRX T, Q, P, S c T~Q~S|PRX T, Q, P, U c T~(Q{U)|PRX T, Q, P, W c (T{W)~(Q{P)RX T, Q, Q, V c T~V{Q{QRX T, Q, Q, W c T~W|QQRX T, Q, R, R c (T~Q{R)~RRX T, Q, R, S c (T{Q~S)~RRX T, Q, R, U c (T{Q{U)~RRX T, Q, R, W c T~W{Q|RRX T, Q, R, X c (T|QR)~XRX T, Q, S, P c T~Q~S|PRX T, Q, S, R c (T{Q~S)~RRX T, Q, S, T c (T{Q)~T{SRX T, Q, S, U c (TQ{S)~URX T, Q, S, W c T{Q{S~WRX T, Q, S, X c T|Q{S~XRX T, Q, T, S c (T{Q)~T{SRX T, Q, T, V c T~T{Q~VRX T, Q, T, W c (T|Q)~(T{W)RX T, Q, U, P c T~(Q{U)|PRX T, Q, U, R c (T{Q{U)~RRX T, Q, U, S c (TQ{S)~URX T, Q, U, U c T|Q{U~URX T, Q, U, V c (T|Q)~(U{V)RX T, Q, U, W c (T{W)Q~URX T, Q, U, X c U~(X|TQ)RX T, Q, V, Q c T~V{Q{QRX T, Q, V, T c T~T{Q~VRX T, Q, V, U c (T|Q)~(V{U)RX T, Q, V, V c V~V|T~QRX T, Q, V, W c T~V{WQRX T, Q, W, P c (T{W)~(Q{P)RX T, Q, W, Q c T~W|QQRX T, Q, W, R c T~W{Q|RRX T, Q, W, S c T{Q{W~SRX T, Q, W, T c (T|Q)~(W{T)RX T, Q, W, U c (T{W)Q~URX T, Q, W, V c T~V{WQRX T, Q, W, X c T{Q~(W{X)RX T, Q, X, R c (T|QR)~XRX T, Q, X, S c T|Q{X~SRX T, Q, X, U c (X|TQ)~URX T, Q, X, W c T{Q~(X{W)RX T, R, O, W c (T{O{W)~RRX T, R, P, T c (T{R)~T|PRX T, R, P, U c (T{P)~U{RRX T, R, P, V c (T{P{V)~RRX T, R, P, W c (T{P~W)~RRX T, R, P, X c (T|P{X)~RRX T, R, Q, R c (T~R|Q)~RRX T, R, Q, S c (T{Q~S)~RRX T, R, Q, U c (T{RQ)~URX T, R, Q, W c T~W|R{QRX T, R, Q, X c T~R~Q{XRX T, R, R, Q c (T~R|Q)~RRX T, R, R, T c (T{R{T)~RRX T, R, R, U c T~R~R|URX T, R, R, V c (T{V)~R{RRX T, R, R, W c T~R{R~WRX T, R, R, X c T~(R{R){XRX T, R, S, Q c (T{S~Q)~RRX T, R, S, S c T~(R{S){SRX T, R, S, U c T~R{S~URX T, R, S, V c (T{R)~S{VRX T, R, S, W c T~W{R|SRX T, R, T, P c (T{R)~T|PRX T, R, T, R c (T{R{T)~RRX T, R, T, X c (T{T)~R{XRX T, R, U, P c (T{P)~U{RRX T, R, U, Q c (T{RQ)~URX T, R, U, R c T~R~R|URX T, R, U, S c T~R{U~SRX T, R, U, U c T~(R{U)|URX T, R, U, W c (T{W)~(U|R)RX T, R, U, X c (T{R)~U|XRX T, R, V, P c T~V{R{PRX T, R, V, R c (T{V)~R{RRX T, R, V, S c (T{R)~S{VRX T, R, V, V c T~V|R{VRX T, R, V, X c T{R~X{VRX T, R, W, O c (T{W)~(R{O)RX T, R, W, P c (T{W)~(R~P)RX T, R, W, Q c T~W|R{QRX T, R, W, R c T~R{W~RRX T, R, W, S c T~W{R|SRX T, R, W, U c (T{W)~(U|R)RX T, R, W, X c (T{W)R~XRX T, R, X, P c (T{X|P)~RRX T, R, X, Q c T~R~Q{XRX T, R, X, R c T~(R{R){XRX T, R, X, T c (T{T)~R{XRX T, R, X, U c (T{R)~U|XRX T, R, X, V c T{R~X{VRX T, R, X, W c (T{W)R~XRX T, R, X, X c T~X{R|XRX T, S, O, V c (T{O)~V{SRX T, S, P, Q c T~S~Q|PRX T, S, P, S c T~(S{S)|PRX T, S, P, T c (T{T)~S|PRX T, S, P, U c T~(P{U){SRX T, S, P, V c T~P~V{SRX T, S, P, W c (T{W)~(S|P)RX T, S, Q, P c T~S~Q|PRX T, S, Q, R c (T{S~Q)~RRX T, S, Q, T c (T{Q)~T{SRX T, S, Q, U c (TQ{S)~URX T, S, Q, W c T{S~W{QRX T, S, Q, X c T~(S{Q){XRX T, S, R, Q c (T{S~Q)~RRX T, S, R, S c T~(S{R){SRX T, S, R, U c T~R{S~URX T, S, R, V c (T~S|V)~RRX T, S, R, W c T~W|S{RRX T, S, S, P c T~(S{S)|PRX T, S, S, R c (T{S{S)~RRX T, S, S, V c S~(S{V)|TRX T, S, S, W c T~W|SSRX T, S, T, P c (T{T)~S|PRX T, S, T, Q c T~(T{Q){SRX T, S, T, U c T{S{T~URX T, S, T, V c T~(ST{V)RX T, S, T, W c T~W{S|TRX T, S, U, P c T~(U{P){SRX T, S, U, Q c (TQ{S)~URX T, S, U, R c T~R{S~URX T, S, U, T c T{S{U~TRX T, S, U, U c (T{US)~URX T, S, U, V c T{S~V{URX T, S, U, W c (U~W)|(T{S)RX T, S, U, X c (T|SU)~XRX T, S, V, O c T~V{S{ORX T, S, V, P c T~V{S~PRX T, S, V, R c (T~S|V)~RRX T, S, V, S c (S{V)~S|TRX T, S, V, T c T~(ST{V)RX T, S, V, U c T{S~V{URX T, S, V, V c (T{SV)~VRX T, S, V, W c T~V|S{WRX T, S, V, X c (T{V)~S|XRX T, S, W, P c (T{W)~(S|P)RX T, S, W, Q c T{S~W{QRX T, S, W, R c T~W|S{RRX T, S, W, S c T~W|SSRX T, S, W, T c T~W{S|TRX T, S, W, U c (W~U)|(T{S)RX T, S, W, V c (T{W)~(V|S)RX T, S, W, X c S~X|T{WRX T, S, X, Q c T{S~X|QRX T, S, X, U c (T|SU)~XRX T, S, X, V c (T{V)~S|XRX T, S, X, W c S~X|T{WRX T, T, P, R c T~(T{R)|PRX T, T, P, S c (T{T)~S|PRX T, T, P, V c T{T~V|PRX T, T, P, W c T~(W|PT)RX T, T, P, X c T~(T{P){XRX T, T, Q, S c T~(T{Q){SRX T, T, Q, V c T~T{Q~VRX T, T, Q, W c (T|Q)~(T{W)RX T, T, R, P c T~(T{R)|PRX T, T, R, R c (T{T{R)~RRX T, T, R, X c (T{T)~R{XRX T, T, S, P c (T{T)~S|PRX T, T, S, Q c T~(T{Q){SRX T, T, S, U c T~(T{S)|URX T, T, S, V c T~(ST{V)RX T, T, S, W c T~W|T{SRX T, T, T, W c T~W|TTRX T, T, T, X c T{T~T{XRX T, T, U, S c T{T~U{SRX T, T, U, W c T~T{U{WRX T, T, U, X c T~(U{XT)RX T, T, V, P c T{T~V|PRX T, T, V, Q c T~T{V~QRX T, T, V, S c T~(V{ST)RX T, T, V, V c T~T{V{VRX T, T, V, X c T~V|T{XRX T, T, W, P c T~(W|PT)RX T, T, W, Q c (T{W)~(T|Q)RX T, T, W, S c T~W|T{SRX T, T, W, T c T~W|TTRX T, T, W, U c T{T~W|URX T, T, W, W c (T{W)~(W|T)RX T, T, X, P c T~(T{P){XRX T, T, X, R c (T{T)~R{XRX T, T, X, T c T~T{X{TRX T, T, X, U c T~(XT{U)RX T, T, X, V c T~V|T{XRX T, U, O, X c T~U{O{XRX T, U, P, Q c T~(U{Q)|PRX T, U, P, R c (T{P)~U{RRX T, U, P, S c T~(U{P){SRX T, U, P, W c T~U{P{WRX T, U, P, X c T~U{P~XRX T, U, Q, P c T~(U{Q)|PRX T, U, Q, R c (T{U{Q)~RRX T, U, Q, S c (TQ{S)~URX T, U, Q, U c T{U~U|QRX T, U, Q, V c T~U{Q{VRX T, U, Q, W c (T{W)~(UQ)RX T, U, Q, X c U~(X|TQ)RX T, U, R, P c (T{P)~U{RRX T, U, R, Q c (T{U{Q)~RRX T, U, R, R c T~U{R~RRX T, U, R, S c T~R{U~SRX T, U, R, U c (T{U)~R{URX T, U, R, W c (T{W)~(U|R)RX T, U, R, X c (T{R)~U|XRX T, U, S, P c T~(U{P){SRX T, U, S, Q c (TQ{S)~URX T, U, S, R c T~R{U~SRX T, U, S, T c (T{U)~S|TRX T, U, S, U c (T{US)~URX T, U, S, V c T{U{S~VRX T, U, S, W c (U~W)|(T{S)RX T, U, S, X c (T|SU)~XRX T, U, T, S c T{U~T{SRX T, U, T, W c T~T{U{WRX T, U, T, X c T~(U{XT)RX T, U, U, Q c T{U~U|QRX T, U, U, R c T~U{U{RRX T, U, U, S c (T{US)~URX T, U, U, W c T~W|UURX T, U, U, X c (T{XU)~URX T, U, V, Q c T~U{V{QRX T, U, V, S c T{U{V~SRX T, U, V, W c T{U~V|WRX T, U, W, P c T~U{W{PRX T, U, W, Q c (T{W)~(UQ)RX T, U, W, R c (T{W)~(U|R)RX T, U, W, S c (U~W)|(T{S)RX T, U, W, T c T~W|U{TRX T, U, W, U c T~W|UURX T, U, W, V c T{U~V|WRX T, U, W, X c (T{W)~(X|U)RX T, U, X, O c T~U{X{ORX T, U, X, P c T~U{X~PRX T, U, X, Q c U~(X|TQ)RX T, U, X, R c (T{R)~U|XRX T, U, X, S c (T|SU)~XRX T, U, X, T c T~(U{XT)RX T, U, X, U c (T{XU)~URX T, U, X, W c (T{W)~(X|U)RX T, U, X, X c (T|UX)~XRX T, V, O, S c T~V{O{SRX T, V, P, P c T~(V{P)|PRX T, V, P, R c (T{V{P)~RRX T, V, P, S c T~V{P~SRX T, V, P, T c T~V|P{TRX T, V, P, W c (T|P)~W{VRX T, V, P, X c T~(V|P){XRX T, V, Q, Q c T~V{Q{QRX T, V, Q, T c T~T{V~QRX T, V, Q, U c T~(V{Q)|URX T, V, Q, V c V~V|T~QRX T, V, Q, W c T~V{WQRX T, V, R, P c T~V{R{PRX T, V, R, R c (T{V)~R{RRX T, V, R, S c (T{R)~S{VRX T, V, R, V c T~V|R{VRX T, V, R, X c T{V{R~XRX T, V, S, O c T~V{S{ORX T, V, S, P c T~V{S~PRX T, V, S, R c (T~S|V)~RRX T, V, S, S c (V{S)~S|TRX T, V, S, T c T~(V{ST)RX T, V, S, U c T{V~S{URX T, V, S, V c (T{SV)~VRX T, V, S, W c T~V|S{WRX T, V, S, X c (T{V)~S|XRX T, V, T, P c T{V~T|PRX T, V, T, Q c T~T{V~QRX T, V, T, S c T~(V{ST)RX T, V, T, V c T~T{V{VRX T, V, T, X c T~V|T{XRX T, V, U, Q c T~V{U|QRX T, V, U, S c T{V~S{URX T, V, U, W c T{V~U|WRX T, V, V, Q c V~V|T~QRX T, V, V, R c T~V{V|RRX T, V, V, S c (T{SV)~VRX T, V, V, T c T~T{V{VRX T, V, V, W c T~W|VVRX T, V, W, P c (T|P)~W{VRX T, V, W, Q c T~V{WQRX T, V, W, S c T~V{W|SRX T, V, W, U c T{V~U|WRX T, V, W, V c T~W|VVRX T, V, W, W c T~W{V|WRX T, V, W, X c V{W~(X|T)RX T, V, X, P c T~(V|P){XRX T, V, X, R c T{V{X~RRX T, V, X, S c (T{V)~S|XRX T, V, X, T c T~V{X|TRX T, V, X, W c V{(X|T)~WRX T, W, O, P c T~W{O|PRX T, W, O, R c (T{W{O)~RRX T, W, P, O c T~W|P{ORX T, W, P, P c T~W|P~PRX T, W, P, Q c (T{W)~(P{Q)RX T, W, P, R c (T{W)~(P~R)RX T, W, P, S c T~(W|P){SRX T, W, P, T c T~(W|PT)RX T, W, P, U c T~(W{P)|URX T, W, P, V c (T|P)~W{VRX T, W, P, W c (T|PW)~WRX T, W, P, X c (T{P)~W|XRX T, W, Q, P c (T{W)~(Q{P)RX T, W, Q, Q c T~W|QQRX T, W, Q, R c T~W{Q|RRX T, W, Q, S c T{W~S{QRX T, W, Q, T c (T{W)~(T|Q)RX T, W, Q, U c (T{W)Q~URX T, W, Q, V c T~V{WQRX T, W, Q, X c T~(W|Q){XRX T, W, R, O c (T{W)~(R{O)RX T, W, R, P c (T{W)~(R~P)RX T, W, R, Q c T~W|R{QRX T, W, R, R c T~W|RRRX T, W, R, S c T~W{R|SRX T, W, R, U c (T{W)~(U|R)RX T, W, R, X c (T{W)R~XRX T, W, S, P c (T{W)~(S|P)RX T, W, S, Q c T{W~S{QRX T, W, S, R c T~W|S{RRX T, W, S, S c T~W|SSRX T, W, S, T c T~W{S|TRX T, W, S, U c (W~U)|(T{S)RX T, W, S, V c (T{W)~(V|S)RX T, W, S, X c W|T{S~XRX T, W, T, P c T~(W|PT)RX T, W, T, Q c (T{W)~(T|Q)RX T, W, T, S c T~W|T{SRX T, W, T, T c T~W|TTRX T, W, T, U c T{W~T|URX T, W, T, W c (T{W)~(W|T)RX T, W, U, P c T~(W{P)|URX T, W, U, Q c (T{W)~(UQ)RX T, W, U, R c (T{W)~(U|R)RX T, W, U, S c (W~U)|(T{S)RX T, W, U, T c T~W|U{TRX T, W, U, U c T~W|UURX T, W, U, V c T~W{U|VRX T, W, U, X c (T{W)~(X|U)RX T, W, V, P c (T|P)~W{VRX T, W, V, Q c T~V{WQRX T, W, V, S c (T{W)~(V|S)RX T, W, V, U c T~W|V{URX T, W, V, V c T~W|VVRX T, W, V, W c T~W{V|WRX T, W, V, X c W~(X|T){VRX T, W, W, P c (T|PW)~WRX T, W, W, T c (T{W)~(W|T)RX T, W, W, V c T~W|W{VRX T, W, W, W c T~W|WWRX T, W, W, X c T~W{W|XRX T, W, X, P c (T{P)~W|XRX T, W, X, Q c T{(W{X)~QRX T, W, X, R c (T{W)~(XR)RX T, W, X, S c W|T{X~SRX T, W, X, U c (T{W)~(X|U)RX T, W, X, V c W~(X|T){VRX T, W, X, W c T~W|X{WRX T, W, X, X c T~W|XXRX T, X, O, U c T~X{O|URX T, X, P, P c T~(X|P)|PRX T, X, P, R c (T{X|P)~RRX T, X, P, T c (T~X)|(P{T)RX T, X, P, U c T~X|P~URX T, X, P, V c T~X{P|VRX T, X, P, W c (T{P)~W|XRX T, X, Q, R c T~X|Q~RRX T, X, Q, S c (T~X)|(Q{S)RX T, X, Q, U c (X|TQ)~URX T, X, Q, W c T~X{Q|WRX T, X, R, P c (T{X|P)~RRX T, X, R, Q c T~X|R~QRX T, X, R, R c (T{X)~R|RRX T, X, R, T c (T{T)~R{XRX T, X, R, U c (T{R)~U|XRX T, X, R, V c T{X~R{VRX T, X, R, W c (T{W)~(XR)RX T, X, R, X c T~X{R|XRX T, X, S, Q c T{X~S|QRX T, X, S, U c (T|SU)~XRX T, X, S, V c (T{V)~S|XRX T, X, S, W c X~S|T{WRX T, X, T, P c (T~X)|(T{P)RX T, X, T, R c (T{T)~R{XRX T, X, T, T c T{X{T~TRX T, X, T, U c T~(XT{U)RX T, X, T, V c T~V{X|TRX T, X, U, O c T~X|U{ORX T, X, U, P c T~X|U~PRX T, X, U, Q c (X|TQ)~URX T, X, U, R c (T{R)~U|XRX T, X, U, S c (T|SU)~XRX T, X, U, T c T~(X|UT)RX T, X, U, U c (T{XU)~URX T, X, U, W c (T{W)~(X|U)RX T, X, U, X c (T|UX)~XRX T, X, V, P c T~X|V{PRX T, X, V, R c T{X~R{VRX T, X, V, S c (T{V)~S|XRX T, X, V, T c T~V{X|TRX T, X, V, W c (X|T)~W{VRX T, X, W, P c (T{P)~W|XRX T, X, W, Q c T{(X{W)~QRX T, X, W, R c (T{W)~(XR)RX T, X, W, S c X~S|T{WRX T, X, W, U c (T{W)~(X|U)RX T, X, W, V c (X|T)~W{VRX T, X, W, W c T~W|X{WRX T, X, W, X c T~W|XXRX T, X, X, R c T~X|X{RRX T, X, X, U c (T|UX)~XRX T, X, X, W c T~W|XXRX U, O, R, U c (U{O)~U{RRX U, O, R, V c (U{O{V)~RRX U, O, T, X c (U{O)~T{XRX U, O, U, R c (U{O)~U{RRX U, O, V, R c (U{O{V)~RRX U, O, W, X c (U{O)~W|XRX U, O, X, T c (U{O)~T{XRX U, O, X, W c (U{O)~W|XRX U, P, P, W c (U|P)~W|PRX U, P, Q, R c (U~Q{P)~RRX U, P, Q, T c (U{Q)~T|PRX U, P, Q, U c (U{PQ)~URX U, P, Q, V c (U{V)~(P{Q)RX U, P, R, Q c (U~Q{P)~RRX U, P, R, T c U~(P{T){RRX U, P, R, U c (U{P{U)~RRX U, P, R, V c (U{P~V)~RRX U, P, R, W c (U|P{W)~RRX U, P, S, S c (U{S)~S|PRX U, P, S, T c (U{P)~T{SRX U, P, S, U c U~U|P{SRX U, P, S, V c (U|P)~V{SRX U, P, S, W c U{P{S~WRX U, P, S, X c U~(P{S){XRX U, P, T, Q c (U{Q)~T|PRX U, P, T, R c U~(P{T){RRX U, P, T, S c (U{P)~T{SRX U, P, T, W c U~T{P{WRX U, P, T, X c U~P~T{XRX U, P, U, Q c (U{PQ)~URX U, P, U, R c (U{P{U)~RRX U, P, U, S c U~U|P{SRX U, P, U, X c (U|P)~U{XRX U, P, V, Q c (U{V)~(P{Q)RX U, P, V, R c (U{P~V)~RRX U, P, V, S c (U|P)~V{SRX U, P, V, X c U~(P{V)|XRX U, P, W, P c (U|P)~W|PRX U, P, W, R c (U|P{W)~RRX U, P, W, S c U{P{W~SRX U, P, W, T c U~T{P{WRX U, P, W, W c (U~W)|(P{W)RX U, P, W, X c U~P~W|XRX U, P, X, S c U~(P{S){XRX U, P, X, T c U~P~T{XRX U, P, X, U c (U|P)~X|URX U, P, X, V c U~(P{V)|XRX U, P, X, W c U~P~W|XRX U, P, X, X c U~(X|P)|XRX U, Q, P, R c (U~Q{P)~RRX U, Q, P, T c (U{Q)~T|PRX U, Q, P, U c (U{PQ)~URX U, Q, P, V c (U{V)~(Q{P)RX U, Q, Q, X c U~(Q{XQ)RX U, Q, R, P c (U~Q{P)~RRX U, Q, R, R c U~Q~R{RRX U, Q, R, S c U~(Q{S){RRX U, Q, R, T c (U{Q{T)~RRX U, Q, R, V c U~(R{VQ)RX U, Q, R, W c U~(W|Q){RRX U, Q, R, X c U~(Q{R){XRX U, Q, S, R c U~(Q{S){RRX U, Q, S, T c U~(S{TQ)RX U, Q, S, U c (U{QS)~URX U, Q, S, V c (U{Q)~S{VRX U, Q, S, X c U~Q~S|XRX U, Q, T, P c (U{Q)~T|PRX U, Q, T, R c (U{Q{T)~RRX U, Q, T, S c U~(TQ{S)RX U, Q, T, U c U~U|Q{TRX U, Q, T, V c U|Q{T~VRX U, Q, T, W c (UQ)~(T{W)RX U, Q, T, X c U~(X|TQ)RX U, Q, U, P c U~U{Q{PRX U, Q, U, S c (U{QS)~URX U, Q, U, T c U~U|Q{TRX U, Q, U, U c UQ{U~URX U, Q, U, V c (UQ)~(U{V)RX U, Q, U, X c (U{Q)~U|XRX U, Q, V, P c (U{V)~(Q{P)RX U, Q, V, R c U~(VQ{R)RX U, Q, V, S c (U{Q)~S{VRX U, Q, V, T c U|Q{V~TRX U, Q, V, U c (UQ)~(V{U)RX U, Q, V, W c (U|Q)~W{VRX U, Q, V, X c U~(V|Q){XRX U, Q, W, R c U~(W|Q){RRX U, Q, W, T c (UQ)~(W{T)RX U, Q, W, V c (U|Q)~W{VRX U, Q, W, X c (U{W~X)QRX U, Q, X, Q c U~(Q{XQ)RX U, Q, X, R c U{(Q{X)~RRX U, Q, X, S c UQ{X~SRX U, Q, X, T c U~(X|TQ)RX U, Q, X, U c (U{Q)~U|XRX U, Q, X, V c U~(V|Q){XRX U, Q, X, W c (U{X~W)QRX U, Q, X, X c (U{X)~Q{XRX U, R, O, U c (U{O)~U{RRX U, R, O, V c (U{O{V)~RRX U, R, P, Q c (U~Q{P)~RRX U, R, P, T c U~(P{T){RRX U, R, P, U c (U{P{U)~RRX U, R, P, V c (U{P~V)~RRX U, R, P, W c (U|P{W)~RRX U, R, Q, P c (U~Q{P)~RRX U, R, Q, R c U~R~Q{RRX U, R, Q, S c U~(Q{S){RRX U, R, Q, T c U~(RQ{T)RX U, R, Q, V c U~(R{VQ)RX U, R, Q, W c U~(W|RQ)RX U, R, Q, X c U{R~(Q{X)RX U, R, R, Q c U~R~Q{RRX U, R, R, R c U~(R{R){RRX U, R, R, S c (U{R{S)~RRX U, R, R, T c (U~R|T)~RRX U, R, R, U c (U{U)~R{RRX U, R, R, V c U~R{R~VRX U, R, R, W c U{R~(R{W)RX U, R, R, X c U~(X|R){RRX U, R, S, Q c U~(S{Q){RRX U, R, S, R c (U{R{S)~RRX U, R, S, T c U~S{R~TRX U, R, S, V c U{R~(S{V)RX U, R, S, X c U|R{S~XRX U, R, T, P c U~(T{P){RRX U, R, T, Q c U~(RQ{T)RX U, R, T, R c (U~R|T)~RRX U, R, T, S c U~S{R~TRX U, R, T, U c U{R{T~URX U, R, T, W c (U|R)~(T{W)RX U, R, T, X c U~(R{T)|XRX U, R, U, O c U~U{R{ORX U, R, U, P c U~U{R~PRX U, R, U, R c (U{U)~R{RRX U, R, U, T c U{R{U~TRX U, R, U, U c (U{RU)~URX U, R, U, V c (U|R)~(U{V)RX U, R, U, W c (U~W)|(R{U)RX U, R, U, X c U{R~X{URX U, R, V, O c (U{V)~(R{O)RX U, R, V, P c (U{V)~(R~P)RX U, R, V, Q c U~(R{VQ)RX U, R, V, R c U~R{V~RRX U, R, V, S c U{R~(V{S)RX U, R, V, U c (U|R)~(V{U)RX U, R, V, V c (U|RV)~VRX U, R, V, W c R~(V{W)|URX U, R, V, X c (U{V)R~XRX U, R, W, P c (U{W|P)~RRX U, R, W, Q c U~(W|RQ)RX U, R, W, R c U{(R{W)~RRX U, R, W, T c (U|R)~(W{T)RX U, R, W, U c (U~W)|(R{U)RX U, R, W, V c R~(W{V)|URX U, R, W, X c U{R~W{XRX U, R, X, Q c U{R~(X{Q)RX U, R, X, R c U~(X|R){RRX U, R, X, S c U|R{X~SRX U, R, X, T c U~(R{T)|XRX U, R, X, U c U{R~X{URX U, R, X, V c (U{V)R~XRX U, R, X, W c U{R~W{XRX U, S, P, S c (U{S)~S|PRX U, S, P, T c (U{P)~T{SRX U, S, P, U c U~U{S|PRX U, S, P, V c (U|P)~V{SRX U, S, P, W c U{S~W{PRX U, S, P, X c U~(S{P){XRX U, S, Q, R c U~(S{Q){RRX U, S, Q, T c U~(S{TQ)RX U, S, Q, U c (U{QS)~URX U, S, Q, V c (U{Q)~S{VRX U, S, Q, X c U~S~Q|XRX U, S, R, Q c U~(S{Q){RRX U, S, R, R c (U{S{R)~RRX U, S, R, T c U~S{R~TRX U, S, R, V c U{(S{V)~RRX U, S, R, X c (U{S)~R{XRX U, S, S, P c (U{S)~S|PRX U, S, S, X c U~(S{S)|XRX U, S, T, P c (U{P)~T{SRX U, S, T, Q c U~(S{TQ)RX U, S, T, R c U~S{T~RRX U, S, T, T c (U{T)~S|TRX U, S, T, U c (US{T)~URX U, S, T, V c U{S~V{TRX U, S, T, W c (U~W)|(S{T)RX U, S, T, X c (T|SU)~XRX U, S, U, P c U~U{S|PRX U, S, U, Q c U~(U{QS)RX U, S, U, T c (US{T)~URX U, S, U, V c U~U|S{VRX U, S, U, W c (U{SW)~URX U, S, U, X c U{S~U{XRX U, S, V, P c (U{V)~(S|P)RX U, S, V, Q c U~(V|QS)RX U, S, V, R c U{(S{V)~RRX U, S, V, T c U{S~V{TRX U, S, V, U c U~U|S{VRX U, S, V, V c U~V{S|VRX U, S, V, W c U~S{V{WRX U, S, V, X c V~X|U~SRX U, S, W, P c U{S~W{PRX U, S, W, T c (U~W)|(S{T)RX U, S, W, U c (U{SW)~URX U, S, W, V c U~S{W{VRX U, S, W, X c (UW{X)~SRX U, S, X, P c U~(S{P){XRX U, S, X, Q c U~(S{X)QRX U, S, X, R c U{S~X|RRX U, S, X, S c U~(S{S)|XRX U, S, X, T c X~(T|SU)RX U, S, X, U c U~S{X{URX U, S, X, V c X~V|U~SRX U, S, X, W c (UW{X)~SRX U, S, X, X c U~(X|S){XRX U, T, O, X c U~T{O{XRX U, T, P, Q c (U{Q)~T|PRX U, T, P, R c U~(T{P){RRX U, T, P, S c (U{P)~T{SRX U, T, P, W c U~T{P{WRX U, T, P, X c U~T{P~XRX U, T, Q, P c (U{Q)~T|PRX U, T, Q, R c (U{T{Q)~RRX U, T, Q, S c U~(TQ{S)RX U, T, Q, U c U~U{T|QRX U, T, Q, V c U~T{Q{VRX U, T, Q, W c U~(T{W)QRX U, T, Q, X c U~(X|TQ)RX U, T, R, P c U~(T{P){RRX U, T, R, Q c U~(T{RQ)RX U, T, R, R c U~T{R~RRX U, T, R, S c U~S{T~RRX U, T, R, U c (U{T)~R{URX U, T, R, W c (U|R)~(T{W)RX U, T, R, X c (U|TR)~XRX U, T, S, P c (U{P)~T{SRX U, T, S, Q c U~(TQ{S)RX U, T, S, R c U~S{T~RRX U, T, S, T c (U{T)~S|TRX U, T, S, U c U~(T{US)RX U, T, S, V c U{T{S~VRX U, T, S, W c (U~W)|(T{S)RX U, T, S, X c (T|SU)~XRX U, T, T, S c U~T{T{SRX U, T, T, W c U{T~T{WRX U, T, T, X c (U{XT)~TRX U, T, U, Q c U~U{T|QRX U, T, U, R c U{(T{U)~RRX U, T, U, S c U~(T{US)RX U, T, U, W c U~U|T{WRX U, T, U, X c U~(T{XU)RX U, T, V, Q c U{T~V|QRX U, T, V, S c U{T{V~SRX U, T, V, W c U{T~W|VRX U, T, W, P c U~T{W{PRX U, T, W, Q c U~(T{W)QRX U, T, W, R c (U|R)~(T{W)RX U, T, W, S c (U~W)|(T{S)RX U, T, W, T c U{T~T{WRX U, T, W, U c U~U|T{WRX U, T, W, V c U{T~W|VRX U, T, W, X c (T{W)~(X|U)RX U, T, X, O c U~T{X{ORX U, T, X, P c U~T{X~PRX U, T, X, Q c U~(X|TQ)RX U, T, X, R c (U|TR)~XRX U, T, X, S c (T|SU)~XRX U, T, X, T c (U{XT)~TRX U, T, X, U c U~(T{XU)RX U, T, X, W c (T{W)~(X|U)RX U, T, X, X c (T|UX)~XRX U, U, O, R c U~U{O{RRX U, U, P, Q c U~U{P{QRX U, U, P, R c (U{U{P)~RRX U, U, P, S c U~U|P{SRX U, U, P, X c U~(U|P){XRX U, U, Q, P c U~U{Q{PRX U, U, Q, S c U~(U{QS)RX U, U, Q, T c U~U|Q{TRX U, U, Q, U c U~U{UQRX U, U, Q, V c U~(U{V)QRX U, U, Q, X c U~(U{Q)|XRX U, U, R, O c U~U{R{ORX U, U, R, P c U~U{R~PRX U, U, R, R c (U{U)~R{RRX U, U, R, T c U{(U{T)~RRX U, U, R, U c U~(U{RU)RX U, U, R, V c (U|R)~(U{V)RX U, U, R, W c (U~W)|(U{R)RX U, U, R, X c U{U{R~XRX U, U, S, P c U~U{S|PRX U, U, S, Q c U~(U{QS)RX U, U, S, T c U~(US{T)RX U, U, S, V c U~U|S{VRX U, U, S, W c U~(U{SW)RX U, U, S, X c U{U~S{XRX U, U, T, Q c U~U{T|QRX U, U, T, R c U{(U{T)~RRX U, U, T, S c U~(US{T)RX U, U, T, W c U~U|T{WRX U, U, T, X c U~(T{XU)RX U, U, U, Q c U~U{UQRX U, U, U, R c U{U~U|RRX U, U, U, X c U~U|U{XRX U, U, V, Q c U~(U{V)QRX U, U, V, R c (U{V)~(U|R)RX U, U, V, S c U~U{V|SRX U, U, V, X c U{U~V|XRX U, U, W, R c (U~W)|(U{R)RX U, U, W, S c U~(U{SW)RX U, U, W, T c U~U{W|TRX U, U, W, X c U~(W|XU)RX U, U, X, P c U~(U|P){XRX U, U, X, Q c U~(U{Q)|XRX U, U, X, R c U{U{X~RRX U, U, X, S c U{U~S{XRX U, U, X, T c U~(XU{T)RX U, U, X, U c U~U{X|URX U, U, X, V c U{U~V|XRX U, U, X, W c U~(W|XU)RX U, U, X, X c (U~X)|(U{X)RX U, V, O, R c (U{V{O)~RRX U, V, P, Q c (U{V)~(P{Q)RX U, V, P, R c (U{V)~(P~R)RX U, V, P, S c U~V{P|SRX U, V, P, X c U~(V{P)|XRX U, V, Q, P c (U{V)~(Q{P)RX U, V, Q, R c U~(VQ{R)RX U, V, Q, S c U~(V|QS)RX U, V, Q, T c U~V{Q|TRX U, V, Q, U c (U{V)Q~URX U, V, Q, W c (U|Q)~W{VRX U, V, Q, X c U~(V|Q){XRX U, V, R, O c (U{V)~(R{O)RX U, V, R, P c (U{V)~(R~P)RX U, V, R, Q c U~(VQ{R)RX U, V, R, R c U~R{V~RRX U, V, R, S c U{(V{S)~RRX U, V, R, U c U~V{R|URX U, V, R, V c (U|RV)~VRX U, V, R, W c (V{W)~R|URX U, V, R, X c (U{V)R~XRX U, V, S, P c (U{V)~(S|P)RX U, V, S, Q c U~(V|QS)RX U, V, S, R c U{(V{S)~RRX U, V, S, T c U{V~S{TRX U, V, S, U c U~U{V|SRX U, V, S, V c U~V{S|VRX U, V, S, W c U~(V|SW)RX U, V, S, X c V~X|U~SRX U, V, T, Q c U{V~T|QRX U, V, T, S c U{V~S{TRX U, V, T, W c U~V{T|WRX U, V, U, Q c (U{V)~(UQ)RX U, V, U, R c (U{V)~(U|R)RX U, V, U, S c U~U{V|SRX U, V, U, X c U{V~U|XRX U, V, V, R c (U|RV)~VRX U, V, V, S c (U{V)~(V|S)RX U, V, W, Q c (U~W)|(V{Q)RX U, V, W, R c (V{W)~R|URX U, V, W, S c U~(V|SW)RX U, V, W, T c (U{V)~(W|T)RX U, V, W, X c (U~X)|(V{W)RX U, V, X, P c U~(V{P)|XRX U, V, X, Q c U~(V|Q){XRX U, V, X, R c (U{V)~(XR)RX U, V, X, S c V~X|U~SRX U, V, X, U c (U{V)~(X|U)RX U, V, X, W c (U~X)|(V{W)RX U, V, X, X c X~X|U~VRX U, W, O, X c U~W{O|XRX U, W, P, P c (U|P)~W|PRX U, W, P, R c (U{W|P)~RRX U, W, P, S c U{W~S{PRX U, W, P, T c U~T{W{PRX U, W, P, W c (U~W)|(P{W)RX U, W, P, X c U~W|P~XRX U, W, Q, R c U~(W|Q){RRX U, W, Q, T c U~(W{T)QRX U, W, Q, V c (U~W)|(Q{V)RX U, W, Q, X c (U{W~X)QRX U, W, R, P c (U{W|P)~RRX U, W, R, Q c U~(W|RQ)RX U, W, R, R c U{(W{R)~RRX U, W, R, T c (U|R)~(W{T)RX U, W, R, U c (U~W)|(R{U)RX U, W, R, V c (W{V)~R|URX U, W, R, X c U{W~R{XRX U, W, S, P c U{W~S{PRX U, W, S, T c (U~W)|(S{T)RX U, W, S, U c U~(W|US)RX U, W, S, V c U~S{W{VRX U, W, S, X c (UW{X)~SRX U, W, T, P c U~T{W{PRX U, W, T, Q c U~(W{T)QRX U, W, T, R c (U|R)~(W{T)RX U, W, T, S c (U~W)|(T{S)RX U, W, T, T c U{W{T~TRX U, W, T, U c U~U{W|TRX U, W, T, V c U{W~T|VRX U, W, T, X c (W{T)~(X|U)RX U, W, U, R c (U~W)|(U{R)RX U, W, U, S c U~(W|US)RX U, W, U, T c U~U{W|TRX U, W, U, X c U~(W|XU)RX U, W, V, Q c (U~W)|(V{Q)RX U, W, V, R c (W{V)~R|URX U, W, V, S c U~(V|SW)RX U, W, V, T c U{W~T|VRX U, W, V, X c (U~X)|(W{V)RX U, W, W, P c (U~W)|(W{P)RX U, W, W, X c (U|XW)~WRX U, W, X, O c U~W|X{ORX U, W, X, P c U~W|X~PRX U, W, X, Q c (U{W~X)QRX U, W, X, R c U{W~R{XRX U, W, X, S c (UW{X)~SRX U, W, X, T c (W{T)~(X|U)RX U, W, X, U c U~(W|XU)RX U, W, X, V c (U~X)|(W{V)RX U, W, X, W c (U|XW)~WRX U, X, O, T c (U{O)~T{XRX U, X, O, W c (U{O)~W|XRX U, X, P, S c U~(P{S){XRX U, X, P, T c U~P~T{XRX U, X, P, U c (U|P)~X|URX U, X, P, V c U~(P{V)|XRX U, X, P, W c U~P~W|XRX U, X, P, X c U~(X|P)|XRX U, X, Q, Q c U~(XQ{Q)RX U, X, Q, R c U{(X{Q)~RRX U, X, Q, S c U~(X{S)QRX U, X, Q, T c U~(X|TQ)RX U, X, Q, U c (U{Q)~U|XRX U, X, Q, V c U~(V|Q){XRX U, X, Q, W c (U{X~W)QRX U, X, Q, X c (U{X)~Q{XRX U, X, R, Q c U{(X{Q)~RRX U, X, R, R c U~(X|R){RRX U, X, R, S c U{X~S|RRX U, X, R, T c U~X|R~TRX U, X, R, U c U{X~R{URX U, X, R, V c (U{V)~(XR)RX U, X, R, W c U{X{R~WRX U, X, S, P c U~(S{P){XRX U, X, S, Q c U~(X{S)QRX U, X, S, R c U{X~S|RRX U, X, S, S c U~(S{S)|XRX U, X, S, T c X~(T|SU)RX U, X, S, U c U{X{S~URX U, X, S, V c X~V|U~SRX U, X, S, W c (UW{X)~SRX U, X, S, X c U~(X|S){XRX U, X, T, O c U~T{X{ORX U, X, T, P c U~T{X~PRX U, X, T, Q c U~(X|TQ)RX U, X, T, R c U~X|T~RRX U, X, T, S c X~(T|SU)RX U, X, T, T c (U{XT)~TRX U, X, T, U c U~(XU{T)RX U, X, T, W c (X|U)~(T{W)RX U, X, T, X c X~(T|UX)RX U, X, U, P c U~(U|P){XRX U, X, U, Q c U~(U{Q)|XRX U, X, U, R c U{X~R{URX U, X, U, S c U{X{U~SRX U, X, U, T c U~(XU{T)RX U, X, U, U c U~U{X|URX U, X, U, V c U{U~V|XRX U, X, U, W c U~(W|XU)RX U, X, U, X c (U~X)|(U{X)RX U, X, V, P c U~(V{P)|XRX U, X, V, Q c U~(V|Q){XRX U, X, V, R c (U{V)~(XR)RX U, X, V, S c X~V|U~SRX U, X, V, U c (U{V)~(X|U)RX U, X, V, W c (U~X)|(V{W)RX U, X, V, X c X~X|U~VRX U, X, W, O c U~W|X{ORX U, X, W, P c U~W|X~PRX U, X, W, Q c (U{X~W)QRX U, X, W, R c U{X{W~RRX U, X, W, S c (UW{X)~SRX U, X, W, T c (X|U)~(W{T)RX U, X, W, U c U~(W|XU)RX U, X, W, V c (U~X)|(W{V)RX U, X, W, W c (U|XW)~WRX U, X, X, P c U~(X|P)|XRX U, X, X, Q c (U{X)~Q{XRX U, X, X, S c U~(X|S){XRX U, X, X, T c X~(T|UX)RX U, X, X, U c (U~X)|(X{U)RX U, X, X, V c X~X|U~VRX V, O, R, U c (V{O{U)~RRX V, O, S, T c (V{O)~T{SRX V, O, S, W c V{O{S~WRX V, O, T, S c (V{O)~T{SRX V, O, U, R c (V{O{U)~RRX V, O, W, S c V{O{W~SRX V, P, P, T c (V{P)~T|PRX V, P, Q, R c (V~Q|P)~RRX V, P, Q, U c (V|PQ)~URX V, P, Q, W c (V|Q)~W|PRX V, P, R, Q c (V~Q|P)~RRX V, P, R, S c (V{R)~S|PRX V, P, R, T c (V{P{T)~RRX V, P, R, U c (V{P~U)~RRX V, P, R, V c (V|P{V)~RRX V, P, R, W c V{(P{R)~WRX V, P, S, R c (V{R)~S|PRX V, P, S, S c V~(P{S){SRX V, P, S, T c V~P~T{SRX V, P, S, U c V~U{P|SRX V, P, S, V c (V{P)~S{VRX V, P, S, W c V{P~S~WRX V, P, S, X c V{S~(X|P)RX V, P, T, P c (V{P)~T|PRX V, P, T, R c (V{P{T)~RRX V, P, T, S c V~P~T{SRX V, P, T, T c V~T|P{TRX V, P, T, W c V{(T|P)~WRX V, P, T, X c (V|P)~T{XRX V, P, U, Q c (V|PQ)~URX V, P, U, R c (V{P~U)~RRX V, P, U, S c V~U{P|SRX V, P, U, X c (V{P)~U|XRX V, P, V, R c (V|P{V)~RRX V, P, V, S c V{(P{V)~SRX V, P, V, X c (V~V)|(P{X)RX V, P, W, Q c (V|Q)~W|PRX V, P, W, R c V{(P{R)~WRX V, P, W, S c V{P~W~SRX V, P, W, T c V{W~(T|P)RX V, P, W, X c (V|P)~W|XRX V, P, X, S c V{(X|P)~SRX V, P, X, T c (V|P)~T{XRX V, P, X, U c (V{P)~U|XRX V, P, X, V c (V~V)|(P{X)RX V, P, X, W c (V|P)~W|XRX V, Q, P, R c (V~Q|P)~RRX V, Q, P, U c (V|PQ)~URX V, Q, P, W c (V|Q)~W|PRX V, Q, Q, T c V~T{Q{QRX V, Q, Q, W c V{(Q{Q)~WRX V, Q, R, P c (V~Q|P)~RRX V, Q, R, R c (V{Q~R)~RRX V, Q, R, S c V~(Q{R){SRX V, Q, R, U c (VQ{R)~URX V, Q, R, W c (V|Q{W)~RRX V, Q, R, X c V~R{Q~XRX V, Q, S, R c (V{Q{S)~RRX V, Q, S, S c V{Q~S~SRX V, Q, S, U c (V|QS)~URX V, Q, S, V c (V|Q)~V{SRX V, Q, S, X c V~S{Q{XRX V, Q, T, Q c V~T{Q{QRX V, Q, T, T c V~Q{T~TRX V, Q, T, U c V{Q{T~URX V, Q, T, V c V~V|Q~TRX V, Q, T, W c V~T{WQRX V, Q, U, P c (V{U)~(Q{P)RX V, Q, U, R c (VQ{R)~URX V, Q, U, S c V{(Q{U)~SRX V, Q, U, T c V{Q{U~TRX V, Q, U, U c (V{U)Q~URX V, Q, U, W c V{(U|Q)~WRX V, Q, U, X c (V|Q)~U{XRX V, Q, V, S c (V|Q)~V{SRX V, Q, V, T c V~V|Q~TRX V, Q, V, W c (V~V)|(Q{W)RX V, Q, V, X c V{Q~(V{X)RX V, Q, W, P c (V|Q)~W|PRX V, Q, W, Q c V{Q~W~QRX V, Q, W, R c (V|Q{W)~RRX V, Q, W, T c V~T{WQRX V, Q, W, U c V{W~(U|Q)RX V, Q, W, V c (V~V)|(Q{W)RX V, Q, W, W c V{Q~(W{W)RX V, Q, W, X c (V{W)~Q{XRX V, Q, X, R c V~R{Q~XRX V, Q, X, S c V~S{Q{XRX V, Q, X, U c (V|Q)~X|URX V, Q, X, V c V{Q~(X{V)RX V, Q, X, W c (V{W)~Q{XRX V, R, O, U c (V{O{U)~RRX V, R, P, Q c (V~Q|P)~RRX V, R, P, S c (V{R)~S|PRX V, R, P, T c (V{P{T)~RRX V, R, P, U c (V{P~U)~RRX V, R, P, V c (V|P{V)~RRX V, R, P, W c V{(R{P)~WRX V, R, Q, P c (V~Q|P)~RRX V, R, Q, R c (V{R~Q)~RRX V, R, Q, S c V~(R{Q){SRX V, R, Q, U c (VQ{R)~URX V, R, Q, W c (V|Q{W)~RRX V, R, Q, X c V~R{Q~XRX V, R, R, Q c (V{R~Q)~RRX V, R, R, R c (V{R{R)~RRX V, R, R, T c (V{T)~R{RRX V, R, R, U c V~R{R~URX V, R, R, V c (V{V)~R|RRX V, R, R, W c (V~R|W)~RRX V, R, R, X c (V{R)~R{XRX V, R, S, P c (V{R)~S|PRX V, R, S, Q c V~(R{Q){SRX V, R, S, T c V{(R{T)~SRX V, R, S, U c (V{S)~R{URX V, R, S, W c V~S{R{WRX V, R, T, P c V~T{R{PRX V, R, T, R c (V{T)~R{RRX V, R, T, S c V{(R{T)~SRX V, R, T, V c V|R{T~VRX V, R, T, X c V{R~X{TRX V, R, U, O c (V{U)~(R{O)RX V, R, U, P c (V{U)~(R~P)RX V, R, U, Q c (VQ{R)~URX V, R, U, R c V~R{U~RRX V, R, U, S c (V{S)~R{URX V, R, U, U c (V|RU)~URX V, R, U, V c V~(U|RV)RX V, R, U, W c (V{W)~R|URX V, R, U, X c (V{U)R~XRX V, R, V, P c (V{V|P)~RRX V, R, V, R c (V{V)~R|RRX V, R, V, T c V|R{V~TRX V, R, V, U c V~(U|RV)RX V, R, V, V c (V~V)|(R{V)RX V, R, V, W c (V|R)~W{VRX V, R, W, P c V{(R{P)~WRX V, R, W, Q c (V{W|Q)~RRX V, R, W, R c (V~R|W)~RRX V, R, W, S c V~(W|R){SRX V, R, W, U c (V{W)~R|URX V, R, W, V c (V|R)~W{VRX V, R, W, W c V{R~W{WRX V, R, W, X c (V|WR)~XRX V, R, X, Q c V~R{X~QRX V, R, X, R c (V|R{X)~RRX V, R, X, T c V{R~X{TRX V, R, X, U c (V{U)R~XRX V, R, X, W c V~X|R~WRX V, R, X, X c V~R{X{XRX V, S, O, T c (V{O)~T{SRX V, S, O, W c V{(S{O)~WRX V, S, P, R c (V{R)~S|PRX V, S, P, S c V~(S{P){SRX V, S, P, T c V~P~T{SRX V, S, P, U c (V{U)~(S|P)RX V, S, P, V c V{S~(P{V)RX V, S, P, W c V{S~P~WRX V, S, P, X c V{S~(X|P)RX V, S, Q, R c (V{S{Q)~RRX V, S, Q, S c V{S~Q~SRX V, S, Q, U c V{S~(Q{U)RX V, S, Q, V c (V|Q)~V{SRX V, S, Q, X c V~S{Q{XRX V, S, R, P c (V{R)~S|PRX V, S, R, Q c (V{S{Q)~RRX V, S, R, T c V{S~(R{T)RX V, S, R, U c (V{S)~R{URX V, S, R, W c V~S{R{WRX V, S, S, P c V~(S{P){SRX V, S, S, Q c V{S~S~QRX V, S, S, S c V{(S{S)~SRX V, S, S, T c (V{S)~S|TRX V, S, S, V c V{S{S~VRX V, S, S, W c (VS{W)~SRX V, S, S, X c V|S{S~XRX V, S, T, O c V~T{S{ORX V, S, T, P c V~T{S~PRX V, S, T, R c V{S~(T{R)RX V, S, T, S c (V{S)~S|TRX V, S, T, T c (V{ST)~TRX V, S, T, U c V~S{T{URX V, S, T, V c V~(SV{T)RX V, S, T, W c (V|S)~(T{W)RX V, S, T, X c (V{T)~S|XRX V, S, U, P c (V{U)~(S|P)RX V, S, U, Q c V{S~(U{Q)RX V, S, U, R c (V{S)~R{URX V, S, U, T c V~S{U{TRX V, S, U, U c V|S{U~URX V, S, U, V c (V|S)~(U{V)RX V, S, U, W c V{S~U{WRX V, S, U, X c V~X|S~URX V, S, V, P c V{S~(V{P)RX V, S, V, Q c V~(V|Q){SRX V, S, V, S c V{S{V~SRX V, S, V, T c V~(SV{T)RX V, S, V, U c (V|S)~(V{U)RX V, S, W, O c V{S~W{ORX V, S, W, P c V{S~W~PRX V, S, W, R c V~S{W{RRX V, S, W, S c (VS{W)~SRX V, S, W, T c (V|S)~(W{T)RX V, S, W, U c (V|SW)~URX V, S, W, W c V{(W|S)~WRX V, S, X, P c V{S~(X|P)RX V, S, X, Q c V~S{X{QRX V, S, X, S c V{S~X|SRX V, S, X, T c (V{T)~S|XRX V, S, X, U c V~X|S~URX V, T, O, S c V~T{O{SRX V, T, P, P c (V{P)~T|PRX V, T, P, R c (V{T{P)~RRX V, T, P, S c V~T{P~SRX V, T, P, T c V~T|P{TRX V, T, P, W c V{(T|P)~WRX V, T, P, X c (V|P)~T{XRX V, T, Q, Q c V~T{Q{QRX V, T, Q, T c V~Q{T~TRX V, T, Q, U c V~T|Q{URX V, T, Q, V c V~V|T~QRX V, T, Q, W c V~T{WQRX V, T, R, P c V~T{R{PRX V, T, R, R c (V{T)~R{RRX V, T, R, S c V{(T{R)~SRX V, T, R, V c V~T|R{VRX V, T, R, X c V{T{R~XRX V, T, S, O c V~T{S{ORX V, T, S, P c V~T{S~PRX V, T, S, R c V{(T{R)~SRX V, T, S, S c (V{S)~S|TRX V, T, S, T c (V{ST)~TRX V, T, S, U c V~S{T{URX V, T, S, V c V~(T{SV)RX V, T, S, W c V~T|S{WRX V, T, S, X c (V{T)~S|XRX V, T, T, P c V~T{T|PRX V, T, T, Q c V~Q{T~TRX V, T, T, S c (V{ST)~TRX V, T, T, V c V{T~T{VRX V, T, T, X c V~T|T{XRX V, T, U, Q c V{T~U{QRX V, T, U, S c V~S{T{URX V, T, U, W c V~U{T|WRX V, T, V, Q c V~V|T~QRX V, T, V, R c V{T~V|RRX V, T, V, S c V~(T{SV)RX V, T, V, T c V{T~T{VRX V, T, V, W c T~W|VVRX V, T, W, P c V{(T|P)~WRX V, T, W, Q c V~T{WQRX V, T, W, S c V~T{W|SRX V, T, W, U c V~U{T|WRX V, T, W, V c T~W|VVRX V, T, W, W c V{T~W|WRX V, T, W, X c V{W~(X|T)RX V, T, X, P c (V|P)~T{XRX V, T, X, R c V{T{X~RRX V, T, X, S c (V{T)~S|XRX V, T, X, T c V~T{X|TRX V, T, X, W c V{(X|T)~WRX V, U, O, R c (V{U{O)~RRX V, U, P, Q c (V{U)~(P{Q)RX V, U, P, R c (V{U)~(P~R)RX V, U, P, S c V~U{P|SRX V, U, P, X c (V{P)~U|XRX V, U, Q, P c (V{U)~(Q{P)RX V, U, Q, R c (VQ{R)~URX V, U, Q, S c V{(U{Q)~SRX V, U, Q, T c V~U{Q|TRX V, U, Q, U c (V{U)Q~URX V, U, Q, W c V{(U|Q)~WRX V, U, Q, X c (V|Q)~U{XRX V, U, R, O c (V{U)~(R{O)RX V, U, R, P c (V{U)~(R~P)RX V, U, R, Q c (VQ{R)~URX V, U, R, R c V~R{U~RRX V, U, R, S c (V{S)~R{URX V, U, R, U c V~U{R|URX V, U, R, V c V~(U|RV)RX V, U, R, W c (V{W)~R|URX V, U, R, X c (V{U)R~XRX V, U, S, P c (V{U)~(S|P)RX V, U, S, Q c V{(U{Q)~SRX V, U, S, R c (V{S)~R{URX V, U, S, T c V~S{U{TRX V, U, S, U c V{U~U|SRX V, U, S, V c V~U{S|VRX V, U, S, W c V{U~S{WRX V, U, S, X c V~X|U~SRX V, U, T, Q c V{U~T{QRX V, U, T, S c V~S{U{TRX V, U, T, W c V~U{T|WRX V, U, U, Q c (V{U)~(UQ)RX V, U, U, R c (V{U)~(U|R)RX V, U, U, S c V{U~U|SRX V, U, U, X c V~U{U|XRX V, U, V, R c V~(U|RV)RX V, U, V, S c (V{U)~(V|S)RX V, U, W, Q c V{(U|Q)~WRX V, U, W, R c (V{W)~R|URX V, U, W, S c V{U~S{WRX V, U, W, T c (V{U)~(W|T)RX V, U, W, X c (U~X)|(V{W)RX V, U, X, P c (V{P)~U|XRX V, U, X, Q c (V|Q)~U{XRX V, U, X, R c (V{U)~(XR)RX V, U, X, S c V~X|U~SRX V, U, X, U c (V{U)~(X|U)RX V, U, X, W c (U~X)|(V{W)RX V, U, X, X c X~X|V~URX V, V, P, R c (V{V|P)~RRX V, V, P, S c V{(V{P)~SRX V, V, P, X c (V~V)|(P{X)RX V, V, Q, S c V~(V|Q){SRX V, V, Q, T c V~V|Q~TRX V, V, Q, W c (V~V)|(Q{W)RX V, V, Q, X c V{(V{X)~QRX V, V, R, P c (V{V|P)~RRX V, V, R, R c (V{V)~R|RRX V, V, R, T c V{V~T|RRX V, V, R, U c V~(U|RV)RX V, V, R, V c (V~V)|(R{V)RX V, V, R, W c V{(V|R)~WRX V, V, S, P c V{(V{P)~SRX V, V, S, Q c V~(V|Q){SRX V, V, S, S c V{V~S{SRX V, V, S, T c V~(SV{T)RX V, V, S, U c (V~V)|(S{U)RX V, V, T, Q c V~V|T~QRX V, V, T, R c V{V~T|RRX V, V, T, S c V~(T{SV)RX V, V, T, T c V{V{T~TRX V, V, T, W c T~W|VVRX V, V, U, R c V~(U|RV)RX V, V, U, S c (V~V)|(U{S)RX V, V, V, R c (V~V)|(V{R)RX V, V, W, Q c (V~V)|(W{Q)RX V, V, W, R c V{(V|R)~WRX V, V, W, T c W~T|VVRX V, V, X, P c (V~V)|(X{P)RX V, V, X, Q c V{(V{X)~QRX V, W, O, S c V{(W{O)~SRX V, W, P, Q c (V|Q)~W|PRX V, W, P, R c V{W~(P{R)RX V, W, P, S c V{W~P~SRX V, W, P, T c V{W~(T|P)RX V, W, P, X c (V|P)~W|XRX V, W, Q, P c (V|Q)~W|PRX V, W, Q, Q c V{W~(Q{Q)RX V, W, Q, R c (V{W|Q)~RRX V, W, Q, T c V~T{WQRX V, W, Q, U c V{W~(U|Q)RX V, W, Q, V c (V~V)|(W{Q)RX V, W, Q, W c V{WQ~WRX V, W, Q, X c (V{W)~Q{XRX V, W, R, P c V{W~(R{P)RX V, W, R, Q c (V{W|Q)~RRX V, W, R, R c (V~R|W)~RRX V, W, R, S c V~(W|R){SRX V, W, R, U c (V{W)~R|URX V, W, R, V c V{W~(V|R)RX V, W, R, W c V{W{R~WRX V, W, R, X c (V|WR)~XRX V, W, S, O c V{W~S{ORX V, W, S, P c V{W~S~PRX V, W, S, R c V~(W|R){SRX V, W, S, S c (VS{W)~SRX V, W, S, T c (V|S)~(W{T)RX V, W, S, U c V{W{S~URX V, W, S, W c V{(W|S)~WRX V, W, T, P c V{W~(T|P)RX V, W, T, Q c V~T{WQRX V, W, T, S c V~T{W|SRX V, W, T, U c (V{U)~(W|T)RX V, W, T, V c W~T|VVRX V, W, T, W c V{W~T|WRX V, W, T, X c V{W~(X|T)RX V, W, U, Q c V{W~(U|Q)RX V, W, U, R c (V{W)~R|URX V, W, U, S c V{W{U~SRX V, W, U, T c (V{U)~(W|T)RX V, W, U, X c (U~X)|(V{W)RX V, W, V, Q c (V~V)|(W{Q)RX V, W, V, R c V{W~(V|R)RX V, W, V, T c W~T|VVRX V, W, W, Q c V{(W{W)~QRX V, W, W, R c V{W{W~RRX V, W, W, S c V{W~(W|S)RX V, W, W, T c V{W~T|WRX V, W, W, X c (V~W)|(W{X)RX V, W, X, P c (V|P)~W|XRX V, W, X, Q c (V{W)~Q{XRX V, W, X, R c (V|WR)~XRX V, W, X, T c V{W~(X|T)RX V, W, X, U c (X~U)|(V{W)RX V, W, X, W c (V~W)|(X{W)RX V, X, P, S c V{(X|P)~SRX V, X, P, T c (V|P)~T{XRX V, X, P, U c (V{P)~U|XRX V, X, P, V c (V~V)|(X{P)RX V, X, P, W c (V|P)~W|XRX V, X, Q, R c V~R{X~QRX V, X, Q, S c V~S{X{QRX V, X, Q, U c (V|Q)~X|URX V, X, Q, V c (V{X)~Q{VRX V, X, Q, W c (V{W)~Q{XRX V, X, R, Q c V~R{X~QRX V, X, R, R c (V{X|R)~RRX V, X, R, T c V{X~R{TRX V, X, R, U c (V{U)~(XR)RX V, X, R, W c V~X|R~WRX V, X, R, X c (V{X)~R|XRX V, X, S, P c V{(X|P)~SRX V, X, S, Q c V~S{X{QRX V, X, S, S c V{X~S|SRX V, X, S, T c (V{T)~S|XRX V, X, S, U c V~X|S~URX V, X, T, P c (V|P)~T{XRX V, X, T, R c V{X~R{TRX V, X, T, S c (V{T)~S|XRX V, X, T, T c V~T{X|TRX V, X, T, W c V{(X|T)~WRX V, X, U, P c (V{P)~U|XRX V, X, U, Q c (V|Q)~X|URX V, X, U, R c (V{U)~(XR)RX V, X, U, S c V~X|U~SRX V, X, U, U c (V{U)~(X|U)RX V, X, U, W c (X~U)|(V{W)RX V, X, U, X c X~X|V~URX V, X, V, P c (V~V)|(X{P)RX V, X, V, Q c V{(X{V)~QRX V, X, W, P c (V|P)~W|XRX V, X, W, Q c (V{W)~Q{XRX V, X, W, R c V~X|W~RRX V, X, W, T c V{(X|T)~WRX V, X, W, U c (X~U)|(V{W)RX V, X, W, W c (V~W)|(X{W)RX V, X, X, R c (V{X)~R|XRX V, X, X, U c X~X|V~URX W, O, P, T c (W{O)~T|PRX W, O, R, T c (W{O{T)~RRX W, O, S, V c (W{O)~S{VRX W, O, T, P c (W{O)~T|PRX W, O, T, R c (W{O{T)~RRX W, O, U, X c (W{O)~U|XRX W, O, V, S c (W{O)~S{VRX W, O, X, U c (W{O)~U|XRX W, P, O, T c (W{O)~T|PRX W, P, P, S c W~(P{S)|PRX W, P, P, T c W~P~T|PRX W, P, P, U c W~(U|P)|PRX W, P, Q, R c W~(Q{R)|PRX W, P, Q, S c (W{Q)~S|PRX W, P, Q, T c (W{T)~(P{Q)RX W, P, Q, V c W~(V|Q)|PRX W, P, R, Q c W~(R{Q)|PRX W, P, R, S c (W{P{S)~RRX W, P, R, T c (W{P~T)~RRX W, P, R, U c (W|P{U)~RRX W, P, R, V c W~(P{R){VRX W, P, R, W c (W|R)~W|PRX W, P, S, P c W~(P{S)|PRX W, P, S, Q c (W{Q)~S|PRX W, P, S, R c (W{P{S)~RRX W, P, S, T c (W|P)~T{SRX W, P, S, U c W~S{P{URX W, P, S, V c W~P~S{VRX W, P, S, W c W|P{S~WRX W, P, S, X c W~(X|S)|PRX W, P, T, O c W~T|P{ORX W, P, T, P c W~P~T|PRX W, P, T, Q c (W{T)~(P{Q)RX W, P, T, R c (W{P~T)~RRX W, P, T, S c (W|P)~T{SRX W, P, T, T c (W|PT)~TRX W, P, T, U c W{P{T~URX W, P, T, V c W~(T|P){VRX W, P, T, W c W~(T|PW)RX W, P, T, X c W~(P{T)|XRX W, P, U, P c W~(U|P)|PRX W, P, U, R c (W|P{U)~RRX W, P, U, S c W~S{P{URX W, P, U, T c W{P{U~TRX W, P, U, W c (W~U)|(P{W)RX W, P, U, X c W~P~U|XRX W, P, V, Q c W~(V|Q)|PRX W, P, V, R c W~(P{R){VRX W, P, V, S c W~P~S{VRX W, P, V, T c W~(T|P){VRX W, P, V, X c W~(V|P)|XRX W, P, W, R c W~(W|R)|PRX W, P, W, S c W|P{W~SRX W, P, W, T c W~(T|PW)RX W, P, W, U c (W~U)|(P{W)RX W, P, X, S c W~(X|S)|PRX W, P, X, T c W~(P{T)|XRX W, P, X, U c W~P~U|XRX W, P, X, V c W~(V|P)|XRX W, Q, P, R c W~(Q{R)|PRX W, Q, P, S c (W{Q)~S|PRX W, Q, P, T c (W{T)~(Q{P)RX W, Q, P, V c W~(V|Q)|PRX W, Q, Q, T c W~T|QQRX W, Q, Q, V c W~(Q{Q){VRX W, Q, R, P c W~(Q{R)|PRX W, Q, R, R c (W{Q{R)~RRX W, Q, R, T c W~T{Q|RRX W, Q, R, U c (W|Q)~U{RRX W, Q, R, V c (W|Q{V)~RRX W, Q, R, X c (W{Q)~R{XRX W, Q, S, P c (W{Q)~S|PRX W, Q, S, T c W~S{Q{TRX W, Q, S, X c W~(Q{S)|XRX W, Q, T, P c (W{T)~(Q{P)RX W, Q, T, Q c W~T|QQRX W, Q, T, R c W~T{Q|RRX W, Q, T, S c W~S{Q{TRX W, Q, T, T c (W{T)~(T|Q)RX W, Q, T, U c (W{T)Q~URX W, Q, T, V c WQ{T~VRX W, Q, T, X c (W|Q)~T{XRX W, Q, U, R c (W|Q)~U{RRX W, Q, U, T c (W{T)Q~URX W, Q, U, V c (W~U)|(Q{V)RX W, Q, U, X c (W~X{U)QRX W, Q, V, P c W~(V|Q)|PRX W, Q, V, Q c W~(Q{Q){VRX W, Q, V, R c (W|Q{V)~RRX W, Q, V, T c WQ{V~TRX W, Q, V, U c (W~U)|(Q{V)RX W, Q, V, V c (V~V)|(W{Q)RX W, Q, V, W c WQ~W{VRX W, Q, V, X c (W{V)~Q{XRX W, Q, W, V c WQ~W{VRX W, Q, W, X c (W|Q)~W|XRX W, Q, X, R c (WQ{X)~RRX W, Q, X, S c W~(Q{S)|XRX W, Q, X, T c (W|Q)~T{XRX W, Q, X, U c (W~X{U)QRX W, Q, X, V c (W{V)~Q{XRX W, Q, X, W c (W|Q)~W|XRX W, R, O, T c (W{O{T)~RRX W, R, P, Q c W~(R{Q)|PRX W, R, P, S c (W{P{S)~RRX W, R, P, T c (W{P~T)~RRX W, R, P, U c (W|P{U)~RRX W, R, P, V c W~(R{P){VRX W, R, P, W c (W|R)~W|PRX W, R, Q, P c W~(R{Q)|PRX W, R, Q, R c (W{R{Q)~RRX W, R, Q, T c W~T|R{QRX W, R, Q, U c (W|RQ)~URX W, R, Q, V c (W|Q{V)~RRX W, R, Q, X c W~R~Q|XRX W, R, R, Q c (W{R{Q)~RRX W, R, R, S c (W{S)~R{RRX W, R, R, T c W~R{R~TRX W, R, R, U c (W{R)~R{URX W, R, R, V c R~(R~V|W)RX W, R, R, W c (W|R{W)~RRX W, R, R, X c W~(R{R)|XRX W, R, S, P c (W{S{P)~RRX W, R, S, R c (W{S)~R{RRX W, R, S, S c W~S{R{SRX W, R, S, T c (W{R)~S|TRX W, R, S, V c W{R{S~VRX W, R, S, X c W{R~X{SRX W, R, T, O c (W{T)~(R{O)RX W, R, T, P c (W{T)~(R~P)RX W, R, T, Q c W~T|R{QRX W, R, T, R c W~R{T~RRX W, R, T, S c (W{R)~S|TRX W, R, T, U c (W{T)~(U|R)RX W, R, T, X c (W{T)R~XRX W, R, U, P c (W{U|P)~RRX W, R, U, Q c (W|RQ)~URX W, R, U, R c (W{R)~R{URX W, R, U, T c (W{T)~(U|R)RX W, R, U, U c (W~U)|(R{U)RX W, R, U, V c (W{V)~R|URX W, R, U, X c (W|R)~U{XRX W, R, V, P c W~(R{P){VRX W, R, V, Q c (W{V|Q)~RRX W, R, V, R c (R~V|W)~RRX W, R, V, S c W{R{V~SRX W, R, V, U c (W{V)~R|URX W, R, V, V c W~(V|R){VRX W, R, V, W c W~R{V{WRX W, R, V, X c (V|WR)~XRX W, R, W, P c (W|R)~W|PRX W, R, W, R c (W|R{W)~RRX W, R, W, V c W{R~W{VRX W, R, W, X c (W{W)~R|XRX W, R, X, Q c W~R~Q|XRX W, R, X, R c W~(R{R)|XRX W, R, X, S c W{R~X{SRX W, R, X, T c (W{T)R~XRX W, R, X, U c (W|R)~X|URX W, R, X, V c X~V|W~RRX W, R, X, W c (W{W)~R|XRX W, R, X, X c W~(X|R)|XRX W, S, O, V c W~S{O{VRX W, S, P, P c W~(S{P)|PRX W, S, P, Q c (W{Q)~S|PRX W, S, P, R c (W{S{P)~RRX W, S, P, T c (W|P)~T{SRX W, S, P, U c W~S{P{URX W, S, P, V c W~S{P~VRX W, S, P, W c W~S|P{WRX W, S, P, X c W~(X|S)|PRX W, S, Q, P c (W{Q)~S|PRX W, S, Q, T c W~S{Q{TRX W, S, Q, X c W~(S{Q)|XRX W, S, R, P c (W{S{P)~RRX W, S, R, R c (W{S)~R{RRX W, S, R, S c W~S{R{SRX W, S, R, T c (W{R)~S|TRX W, S, R, V c W{S~V{RRX W, S, R, X c W{S{R~XRX W, S, S, R c W~S{S{RRX W, S, S, T c W~T|SSRX W, S, S, V c (W{VS)~SRX W, S, S, X c (W{S)~S|XRX W, S, T, P c (W{T)~(S|P)RX W, S, T, Q c W~S{T{QRX W, S, T, R c W~T|S{RRX W, S, T, S c W~T|SSRX W, S, T, T c W~T{S|TRX W, S, T, U c (W~U)|(S{T)RX W, S, T, V c W|S{T~VRX W, S, T, X c W{S~X|TRX W, S, U, P c W~S{U{PRX W, S, U, T c (W~U)|(S{T)RX W, S, U, U c (W|US)~URX W, S, U, V c W{S~U{VRX W, S, U, X c S~(UW{X)RX W, S, V, O c W~S{V{ORX W, S, V, P c W~S{V~PRX W, S, V, R c W{S~V{RRX W, S, V, S c (W{VS)~SRX W, S, V, T c W|S{V~TRX W, S, V, U c W{S~U{VRX W, S, V, W c W~(S{VW)RX W, S, W, P c W{S~W|PRX W, S, W, V c (W|S)~W{VRX W, S, X, P c W~(X|S)|PRX W, S, X, Q c W~S{X|QRX W, S, X, R c W{S{X~RRX W, S, X, S c (W{S)~S|XRX W, S, X, T c W{S~X|TRX W, S, X, U c S~(X{UW)RX W, T, O, P c W~T{O|PRX W, T, O, R c (W{T{O)~RRX W, T, P, O c W~T|P{ORX W, T, P, P c W~T|P~PRX W, T, P, Q c (W{T)~(P{Q)RX W, T, P, R c (W{T)~(P~R)RX W, T, P, S c (W{T)~(S|P)RX W, T, P, T c (W|PT)~TRX W, T, P, U c W{T~U{PRX W, T, P, V c W~(T|P){VRX W, T, P, W c W~(T|PW)RX W, T, P, X c W~(T{P)|XRX W, T, Q, P c (W{T)~(Q{P)RX W, T, Q, Q c W~T|QQRX W, T, Q, R c W~T{Q|RRX W, T, Q, S c W~S{T{QRX W, T, Q, T c (W{T)~(T|Q)RX W, T, Q, U c (W{T)Q~URX W, T, Q, V c WQ{T~VRX W, T, Q, X c (W|Q)~T{XRX W, T, R, O c (W{T)~(R{O)RX W, T, R, P c (W{T)~(R~P)RX W, T, R, Q c W~T|R{QRX W, T, R, R c W~T|RRRX W, T, R, S c W~T{R|SRX W, T, R, U c (W{T)~(U|R)RX W, T, R, X c (W{T)R~XRX W, T, S, P c (W{T)~(S|P)RX W, T, S, Q c W~S{T{QRX W, T, S, R c W~T|S{RRX W, T, S, S c W~T|SSRX W, T, S, T c W~T{S|TRX W, T, S, U c (W~U)|(T{S)RX W, T, S, V c W{T~V|SRX W, T, S, X c W|T{S~XRX W, T, T, P c (W|PT)~TRX W, T, T, Q c (W{T)~(T|Q)RX W, T, T, S c W~T|T{SRX W, T, T, T c W~T|TTRX W, T, T, U c W{T~T{URX W, T, T, W c (W|T)~(T{W)RX W, T, U, P c W{T~U{PRX W, T, U, Q c (W{T)~(UQ)RX W, T, U, R c (W{T)~(U|R)RX W, T, U, S c (W~U)|(T{S)RX W, T, U, T c W~T|U{TRX W, T, U, U c W|T{U~URX W, T, U, V c (W|T)~(U{V)RX W, T, U, X c (W{T)~(X|U)RX W, T, V, P c W~(T|P){VRX W, T, V, Q c WQ{T~VRX W, T, V, S c W{T~V|SRX W, T, V, U c (W|T)~(V{U)RX W, T, V, V c W~T|VVRX W, T, V, W c W~T{V|WRX W, T, V, X c W~(X|T){VRX W, T, W, P c W~(T|PW)RX W, T, W, T c (W{T)~(W|T)RX W, T, W, V c W~T|W{VRX W, T, W, W c W~T|WWRX W, T, W, X c W{T~W|XRX W, T, X, P c W~(T{P)|XRX W, T, X, Q c (W{X)~Q{TRX W, T, X, R c (W{T)~(XR)RX W, T, X, S c W|T{X~SRX W, T, X, U c (W{T)~(X|U)RX W, T, X, V c W~(X|T){VRX W, T, X, W c W~T|X{WRX W, T, X, X c W~T|XXRX W, U, O, X c W~U{O|XRX W, U, P, P c W~(U|P)|PRX W, U, P, R c (W{U|P)~RRX W, U, P, S c W~S{U{PRX W, U, P, T c W{U~T{PRX W, U, P, W c (W~U)|(P{W)RX W, U, P, X c W~U|P~XRX W, U, Q, R c (W|Q)~U{RRX W, U, Q, T c (W{T)~(UQ)RX W, U, Q, V c (W~U)|(Q{V)RX W, U, Q, X c (W~X{U)QRX W, U, R, P c (W{U|P)~RRX W, U, R, Q c (W|RQ)~URX W, U, R, R c (W{U)~R|RRX W, U, R, T c (W{T)~(U|R)RX W, U, R, U c (W~U)|(R{U)RX W, U, R, V c (W{V)~R|URX W, U, R, X c (WU{R)~XRX W, U, S, P c W~S{U{PRX W, U, S, T c (W~U)|(S{T)RX W, U, S, U c (W|US)~URX W, U, S, V c W{U~S{VRX W, U, S, X c (UW{X)~SRX W, U, T, P c W{U~T{PRX W, U, T, Q c (W{T)~(UQ)RX W, U, T, R c (W{T)~(U|R)RX W, U, T, S c (W~U)|(T{S)RX W, U, T, T c W{U{T~TRX W, U, T, U c W{U~U|TRX W, U, T, V c (W|T)~(U{V)RX W, U, T, X c (W{T)~(X|U)RX W, U, U, R c (W~U)|(U{R)RX W, U, U, S c (W|US)~URX W, U, U, T c W{U~U|TRX W, U, U, X c (W|XU)~URX W, U, V, Q c (W~U)|(V{Q)RX W, U, V, R c (W{V)~R|URX W, U, V, S c W{U~S{VRX W, U, V, T c (W|T)~(U{V)RX W, U, V, X c (U~X)|(W{V)RX W, U, W, P c (W~U)|(W{P)RX W, U, W, X c W~(U|XW)RX W, U, X, O c W~U|X{ORX W, U, X, P c W~U|X~PRX W, U, X, Q c (W~X{U)QRX W, U, X, R c (WU{R)~XRX W, U, X, S c (UW{X)~SRX W, U, X, T c (W{T)~(X|U)RX W, U, X, U c (W|XU)~URX W, U, X, V c (U~X)|(W{V)RX W, U, X, W c W~(U|XW)RX W, V, O, S c (W{O)~S{VRX W, V, P, Q c W~(V|Q)|PRX W, V, P, R c W~(P{R){VRX W, V, P, S c W~P~S{VRX W, V, P, T c W~(T|P){VRX W, V, P, X c W~(V|P)|XRX W, V, Q, P c W~(V|Q)|PRX W, V, Q, Q c W~(Q{Q){VRX W, V, Q, R c (W{V|Q)~RRX W, V, Q, T c WQ{V~TRX W, V, Q, U c (W~U)|(V{Q)RX W, V, Q, V c (V~V)|(W{Q)RX W, V, Q, W c WQ~W{VRX W, V, Q, X c (W{V)~Q{XRX W, V, R, P c W~(R{P){VRX W, V, R, Q c (W{V|Q)~RRX W, V, R, R c (V~R|W)~RRX W, V, R, S c W{V~S{RRX W, V, R, U c (W{V)~R|URX W, V, R, V c W~(V|R){VRX W, V, R, W c W{V{R~WRX W, V, R, X c (V|WR)~XRX W, V, S, O c W~S{V{ORX W, V, S, P c W~S{V~PRX W, V, S, R c W{V~S{RRX W, V, S, S c (W{VS)~SRX W, V, S, T c W{V~T|SRX W, V, S, U c W{V{S~URX W, V, S, W c W~(VW{S)RX W, V, T, P c W~(T|P){VRX W, V, T, Q c WQ{V~TRX W, V, T, S c W{V~T|SRX W, V, T, U c (W|T)~(V{U)RX W, V, T, V c W~T|VVRX W, V, T, W c W~T{V|WRX W, V, T, X c W~(X|T){VRX W, V, U, Q c (W~U)|(V{Q)RX W, V, U, R c (W{V)~R|URX W, V, U, S c W{V{U~SRX W, V, U, T c (W|T)~(V{U)RX W, V, U, X c (U~X)|(W{V)RX W, V, V, Q c (V~V)|(W{Q)RX W, V, V, R c W~(V|R){VRX W, V, V, T c W~T|VVRX W, V, W, Q c (W{W)~Q{VRX W, V, W, R c W{V{W~RRX W, V, W, S c W~(VW{S)RX W, V, W, T c W~T{V|WRX W, V, W, X c (W~V)|(W{X)RX W, V, X, P c W~(V|P)|XRX W, V, X, Q c (W{V)~Q{XRX W, V, X, R c (V|WR)~XRX W, V, X, T c W~(X|T){VRX W, V, X, U c (X~U)|(W{V)RX W, V, X, W c (W~V)|(X{W)RX W, W, P, R c W~(W|R)|PRX W, W, P, S c W{W~S|PRX W, W, P, T c W~(T|PW)RX W, W, P, U c (W~U)|(W{P)RX W, W, Q, V c (W{W)~Q{VRX W, W, Q, X c W~(W|Q)|XRX W, W, R, P c W~(W|R)|PRX W, W, R, R c (W{W|R)~RRX W, W, R, V c W{W~R{VRX W, W, R, X c (W{W)~R|XRX W, W, S, P c W{W~S|PRX W, W, S, V c W~(W|S){VRX W, W, T, P c W~(T|PW)RX W, W, T, T c W~W|T~TRX W, W, T, V c W~T|W{VRX W, W, T, W c W~T|WWRX W, W, T, X c W{W~T|XRX W, W, U, P c (W~U)|(W{P)RX W, W, U, X c W~(U|XW)RX W, W, V, Q c (W{W)~Q{VRX W, W, V, R c W{W~R{VRX W, W, V, S c W~(W|S){VRX W, W, V, T c W~T|W{VRX W, W, V, X c (W~V)|(W{X)RX W, W, W, T c W~T|WWRX W, W, X, Q c W~(W|Q)|XRX W, W, X, R c (W{W)~R|XRX W, W, X, T c W{W~T|XRX W, W, X, U c W~(U|XW)RX W, W, X, V c (W~V)|(W{X)RX W, X, O, U c (W{O)~U|XRX W, X, P, S c W~(X|S)|PRX W, X, P, T c W~(P{T)|XRX W, X, P, U c W~P~U|XRX W, X, P, V c W~(V|P)|XRX W, X, Q, R c W~XQ{RRX W, X, Q, S c W~(Q{S)|XRX W, X, Q, T c (W{X)~Q{TRX W, X, Q, U c (W~X{U)QRX W, X, Q, V c (W{V)~Q{XRX W, X, Q, W c (W|Q)~W|XRX W, X, R, Q c W~XQ{RRX W, X, R, R c W~(R{R)|XRX W, X, R, S c W{X~R{SRX W, X, R, T c (W{T)~(XR)RX W, X, R, U c (W|R)~X|URX W, X, R, V c X~V|W~RRX W, X, R, W c (W{W)~R|XRX W, X, R, X c W~(X|R)|XRX W, X, S, P c W~(X|S)|PRX W, X, S, Q c W~S{X|QRX W, X, S, R c (W{X|S)~RRX W, X, S, S c (W{S)~S|XRX W, X, S, T c W{X~S|TRX W, X, S, U c (X{UW)~SRX W, X, T, P c W~(T{P)|XRX W, X, T, Q c (W{X)~Q{TRX W, X, T, R c (W{T)~(XR)RX W, X, T, S c W{X~S|TRX W, X, T, U c (W{T)~(X|U)RX W, X, T, V c W~(X|T){VRX W, X, T, W c W~T|X{WRX W, X, T, X c W~T|XXRX W, X, U, O c W~U|X{ORX W, X, U, P c W~U|X~PRX W, X, U, Q c (W~X{U)QRX W, X, U, R c (WU{R)~XRX W, X, U, S c (X{UW)~SRX W, X, U, T c (W{T)~(X|U)RX W, X, U, U c (W|XU)~URX W, X, U, V c (X~U)|(W{V)RX W, X, U, W c W~(U|XW)RX W, X, V, P c W~(V|P)|XRX W, X, V, Q c (W{V)~Q{XRX W, X, V, R c X~V|W~RRX W, X, V, T c W~(X|T){VRX W, X, V, U c (X~U)|(W{V)RX W, X, V, W c (W~V)|(X{W)RX W, X, W, Q c W~(W|Q)|XRX W, X, W, R c (W{W)~R|XRX W, X, W, T c W{W~T|XRX W, X, W, U c W~(U|XW)RX W, X, W, V c (W~V)|(X{W)RX W, X, X, R c W~(X|R)|XRX W, X, X, T c W~T|XXRX X, O, R, S c (X{O{S)~RRX X, O, S, R c (X{O{S)~RRX X, O, T, U c X{O{T~URX X, O, U, T c X{O{U~TRX X, O, U, W c O{U~W|XRX X, O, W, U c O{W~U|XRX X, P, P, S c (X{P)~S|PRX X, P, P, T c (X|P)~T|PRX X, P, Q, S c (X{S)~(P{Q)RX X, P, R, R c (X{P{R)~RRX X, P, R, S c X~(PR{S)RX X, P, R, T c (X|P{T)~RRX X, P, R, X c (X{P)~R{XRX X, P, S, P c (X{P)~S|PRX X, P, S, Q c (X{S)~(P{Q)RX X, P, S, R c (X{P~S)~RRX X, P, S, S c X~S|P{SRX X, P, S, U c X{(P{S)~URX X, P, S, V c (X|P)~S{VRX X, P, S, W c (X|S)~W|PRX X, P, T, P c (X|P)~T|PRX X, P, T, R c (X|P{T)~RRX X, P, T, T c X{(P{T)~TRX X, P, T, U c X{P~T~URX X, P, T, V c X~T{P|VRX X, P, T, W c (P{T)~W|XRX X, P, U, S c X{(P{S)~URX X, P, U, T c X{P~U~TRX X, P, U, U c X{(U|P)~URX X, P, U, V c (P{V)~U|XRX X, P, U, W c P~U~W|XRX X, P, U, X c (X|P)~U|XRX X, P, V, S c (X|P)~S{VRX X, P, V, T c X{(V|P)~TRX X, P, V, U c (P{V)~U|XRX X, P, V, V c (V~V)|(X{P)RX X, P, V, W c (V|P)~W|XRX X, P, W, S c (X|S)~W|PRX X, P, W, T c (P{T)~W|XRX X, P, W, U c P~W~U|XRX X, P, W, V c W~(V|P)|XRX X, P, X, R c X{(P{X)~RRX X, P, X, U c (X|P)~U|XRX X, Q, P, S c (X{S)~(Q{P)RX X, Q, Q, R c (X{Q{Q)~RRX X, Q, Q, U c (XQ{Q)~URX X, Q, R, Q c (X{Q{Q)~RRX X, Q, R, T c X{Q~R~TRX X, Q, R, U c X{(Q{R)~URX X, Q, R, V c X~Q{R~VRX X, Q, R, W c X{(Q{W)~RRX X, Q, R, X c (X{X)~Q{RRX X, Q, S, P c (X{S)~(Q{P)RX X, Q, S, T c X{(Q{S)~TRX X, Q, S, U c X~(QU{S)RX X, Q, S, V c X{Q{S~VRX X, Q, S, W c X|Q{S~WRX X, Q, T, R c X{Q~T~RRX X, Q, T, S c (X|Q)~T{SRX X, Q, T, U c (X|TQ)~URX X, Q, T, W c X~T{Q|WRX X, Q, U, Q c (XQ{Q)~URX X, Q, U, R c (X|Q{U)~RRX X, Q, U, S c X~(QU{S)RX X, Q, U, T c (X|TQ)~URX X, Q, U, U c (Q{U)~U|XRX X, Q, U, V c X{U~(V|Q)RX X, Q, U, W c (X~W{U)QRX X, Q, U, X c X{Q~(U{X)RX X, Q, V, R c X~Q{V~RRX X, Q, V, S c X{Q{V~SRX X, Q, V, U c X{(V|Q)~URX X, Q, V, V c (X{V)~Q{VRX X, Q, V, W c X{Q~(V{W)RX X, Q, W, R c X{(Q{W)~RRX X, Q, W, S c X|Q{W~SRX X, Q, W, T c X{(W|Q)~TRX X, Q, W, U c (X~W{U)QRX X, Q, W, V c X{Q~(W{V)RX X, Q, W, W c (W|Q)~W|XRX X, Q, X, R c (X{X)~Q{RRX X, Q, X, U c X{Q~(X{U)RX X, R, O, S c (X{O{S)~RRX X, R, P, R c (X{R{P)~RRX X, R, P, S c X~(PR{S)RX X, R, P, T c (X|P{T)~RRX X, R, P, X c X{R~(P{X)RX X, R, Q, Q c (X{Q{Q)~RRX X, R, Q, T c X{R~Q~TRX X, R, Q, U c X{(R{Q)~URX X, R, Q, V c X~Q{R~VRX X, R, Q, W c X{R~(Q{W)RX X, R, Q, X c (X~X|R)QRX X, R, R, P c (X{R{P)~RRX X, R, R, R c (X{R)~R{RRX X, R, R, S c X~R{R~SRX X, R, R, T c X{(R{R)~TRX X, R, R, U c (X|R)~U{RRX X, R, R, V c X{R~(R{V)RX X, R, R, W c (R{R)~W|XRX X, R, R, X c X{R{R~XRX X, R, S, O c (X{S)~(R{O)RX X, R, S, P c (X{S)~(R~P)RX X, R, S, R c X~R{S~RRX X, R, S, S c (X{RS)~SRX X, R, S, U c X{R~(S{U)RX X, R, S, W c X~R{S{WRX X, R, S, X c (X{R)~S|XRX X, R, T, P c (X{T|P)~RRX X, R, T, Q c X{R~T~QRX X, R, T, R c X{(R{R)~TRX X, R, T, T c X{R~(T{T)RX X, R, T, U c X~U|R~TRX X, R, T, V c X~R{T{VRX X, R, T, W c (XR)~(T{W)RX X, R, T, X c (X|R)~T{XRX X, R, U, Q c X~R{U~QRX X, R, U, R c (X|R)~U{RRX X, R, U, S c X{R~(U{S)RX X, R, U, T c X~U|R~TRX X, R, U, U c X~R{U{URX X, R, U, V c (XR)~(U{V)RX X, R, U, W c X{R~W{URX X, R, V, Q c X~(VR{Q)RX X, R, V, R c X{(R{V)~RRX X, R, V, T c X~R{V{TRX X, R, V, U c (XR)~(V{U)RX X, R, V, W c X~V|R~WRX X, R, V, X c X{R~V{XRX X, R, W, Q c X{R~(W{Q)RX X, R, W, R c (R{R)~W|XRX X, R, W, S c X~R{W{SRX X, R, W, T c (XR)~(W{T)RX X, R, W, U c X{R~W{URX X, R, W, V c X~V|R~WRX X, R, W, W c R~(W{W)|XRX X, R, W, X c (X|R)~W|XRX X, R, X, P c X{R~(X{P)RX X, R, X, Q c (X~X|R)QRX X, R, X, R c X{R{X~RRX X, R, X, S c X~(RX{S)RX X, R, X, T c (X|R)~T{XRX X, R, X, V c X{R~V{XRX X, R, X, W c (X|R)~W|XRX X, S, O, R c (X{S{O)~RRX X, S, P, P c (X{P)~S|PRX X, S, P, Q c (X{S)~(P{Q)RX X, S, P, R c (X{S)~(P~R)RX X, S, P, S c X~S|P{SRX X, S, P, U c X{(S{P)~URX X, S, P, V c (X|P)~S{VRX X, S, P, W c (X|S)~W|PRX X, S, Q, P c (X{S)~(Q{P)RX X, S, Q, T c X{(S{Q)~TRX X, S, Q, U c (X{S)Q~URX X, S, Q, V c X{S~V{QRX X, S, Q, W c X{S~W|QRX X, S, R, O c (X{S)~(R{O)RX X, S, R, P c (X{S)~(R~P)RX X, S, R, R c X~(SR{R)RX X, S, R, S c (X{RS)~SRX X, S, R, U c X~S|R{URX X, S, R, W c (X|S{W)~RRX X, S, R, X c (X{S)R~XRX X, S, S, P c (X{S)~(S|P)RX X, S, S, R c (X{RS)~SRX X, S, S, U c (S{S)~U|XRX X, S, S, V c X~S|S{VRX X, S, S, W c S~(S{W)|XRX X, S, T, Q c (X{S)~(T|Q)RX X, S, T, U c X~(T|SU)RX X, S, T, V c S~(T{V)|XRX X, S, T, W c X~S|T{WRX X, S, U, P c X{(S{P)~URX X, S, U, Q c (X{S)~(UQ)RX X, S, U, R c X{(S{U)~RRX X, S, U, S c (S{S)~U|XRX X, S, U, T c X~(T|SU)RX X, S, U, U c X{S~U{URX X, S, U, V c X~V|S~URX X, S, U, W c (X{UW)~SRX X, S, U, X c (X|S)~U{XRX X, S, V, P c (X|P)~S{VRX X, S, V, Q c X{S~V{QRX X, S, V, S c (X{S)~(V|S)RX X, S, V, T c S~(V{T)|XRX X, S, V, U c X~V|S~URX X, S, W, P c (X|S)~W|PRX X, S, W, Q c X{S~W|QRX X, S, W, R c (X|S{W)~RRX X, S, W, S c (S{W)~S|XRX X, S, W, T c (X{S)~(W|T)RX X, S, W, U c (X{UW)~SRX X, S, X, R c (X{S)~(XR)RX X, S, X, U c X{S~X|URX X, T, O, U c X{(T{O)~URX X, T, P, P c (X|P)~T|PRX X, T, P, R c (X{T|P)~RRX X, T, P, T c X{(T{P)~TRX X, T, P, U c X{T~P~URX X, T, P, V c X~T{P|VRX X, T, P, W c (T{P)~W|XRX X, T, Q, R c X{T~Q~RRX X, T, Q, S c X{T~(Q{S)RX X, T, Q, U c (X|TQ)~URX X, T, Q, W c X~T{Q|WRX X, T, R, P c (X{T|P)~RRX X, T, R, Q c X{T~R~QRX X, T, R, R c X{T~(R{R)RX X, T, R, T c X{(T{T)~RRX X, T, R, U c X~U|T~RRX X, T, R, V c X~R{T{VRX X, T, R, W c X~(T{W)RRX X, T, R, X c X~T{R|XRX X, T, S, Q c X{T~(S{Q)RX X, T, S, U c X~(T|SU)RX X, T, S, V c (T{V)~S|XRX X, T, S, W c X~S|T{WRX X, T, T, P c X{T~(T{P)RX X, T, T, R c X{(T{T)~RRX X, T, T, T c X{T{T~TRX X, T, T, U c (XT{U)~TRX X, T, T, V c X|T{T~VRX X, T, U, O c X{T~U{ORX X, T, U, P c X{T~U~PRX X, T, U, Q c (X|TQ)~URX X, T, U, R c X~U|T~RRX X, T, U, S c X~(T|SU)RX X, T, U, T c (XT{U)~TRX X, T, U, U c (XU{T)~URX X, T, U, W c (X|U)~(T{W)RX X, T, U, X c X~(T|UX)RX X, T, V, P c X{T~(V|P)RX X, T, V, R c X~R{T{VRX X, T, V, S c (T{V)~S|XRX X, T, V, T c X{T~V|TRX X, T, V, W c (X|T)~W{VRX X, T, W, P c (T{P)~W|XRX X, T, W, Q c X{T~(W|Q)RX X, T, W, R c X~(T{W)RRX X, T, W, S c X~S|T{WRX X, T, W, U c (X|U)~(T{W)RX X, T, W, V c (X|T)~W{VRX X, T, W, W c T~W|X{WRX X, T, W, X c T~W|XXRX X, T, X, R c X{T~(X|R)RX X, T, X, U c X~(T|UX)RX X, T, X, W c T~W|XXRX X, U, O, T c X{(U{O)~TRX X, U, O, W c (U{O)~W|XRX X, U, P, S c X{U~(P{S)RX X, U, P, T c X{U~P~TRX X, U, P, U c X{(U|P)~URX X, U, P, V c U~(P{V)|XRX X, U, P, W c U~P~W|XRX X, U, P, X c (X|P)~U|XRX X, U, Q, Q c (XQ{Q)~URX X, U, Q, R c (X{U|Q)~RRX X, U, Q, S c X~(QU{S)RX X, U, Q, T c (X|TQ)~URX X, U, Q, U c (U{Q)~U|XRX X, U, Q, V c X{U~(V|Q)RX X, U, Q, W c (X~W{U)QRX X, U, Q, X c (X{U)~Q{XRX X, U, R, Q c X{U~(R{Q)RX X, U, R, R c (X|R)~U{RRX X, U, R, S c X{(U{S)~RRX X, U, R, T c X~U|R~TRX X, U, R, U c (X{U)~R|URX X, U, R, V c X~(U{V)RRX X, U, R, W c X{U{R~WRX X, U, S, P c X{U~(S{P)RX X, U, S, Q c (X{S)~(UQ)RX X, U, S, R c X{(U{S)~RRX X, U, S, S c U~(S{S)|XRX X, U, S, T c X~(T|SU)RX X, U, S, U c X{U{S~URX X, U, S, V c X~V|U~SRX X, U, S, W c (X{UW)~SRX X, U, S, X c X|U{S~XRX X, U, T, O c X{U~T{ORX X, U, T, P c X{U~T~PRX X, U, T, Q c (X|TQ)~URX X, U, T, R c X~U|T~RRX X, U, T, S c X~(T|SU)RX X, U, T, T c (X|UT)~TRX X, U, T, U c (XU{T)~URX X, U, T, W c (X|U)~(T{W)RX X, U, T, X c X~(T|UX)RX X, U, U, P c X{U~(U|P)RX X, U, U, Q c U~(U{Q)|XRX X, U, U, R c (X{U)~R|URX X, U, U, S c X{U{U~SRX X, U, U, T c (XU{T)~URX X, U, U, U c X{U~U|URX X, U, U, V c (X|U)~(U{V)RX X, U, U, W c U~(W|XU)RX X, U, U, X c (X~U)|(U{X)RX X, U, V, P c U~(V{P)|XRX X, U, V, Q c X{U~(V|Q)RX X, U, V, R c X~(U{V)RRX X, U, V, S c X~V|U~SRX X, U, V, U c (X|U)~(V{U)RX X, U, V, W c (X~U)|(V{W)RX X, U, V, X c X~X|U~VRX X, U, W, O c U~W|X{ORX X, U, W, P c U~W|X~PRX X, U, W, Q c (X~W{U)QRX X, U, W, R c X{U{W~RRX X, U, W, S c (X{UW)~SRX X, U, W, T c (X|U)~(W{T)RX X, U, W, U c U~(W|XU)RX X, U, W, V c (X~U)|(W{V)RX X, U, W, W c (U|XW)~WRX X, U, X, P c (X|P)~U|XRX X, U, X, Q c X{(U{X)~QRX X, U, X, S c X{U~(X|S)RX X, U, X, T c X~(T|UX)RX X, U, X, U c (X~U)|(X{U)RX X, U, X, V c X~X|U~VRX X, V, P, S c (X|P)~S{VRX X, V, P, T c X{(V|P)~TRX X, V, P, U c (V{P)~U|XRX X, V, P, V c (V~V)|(X{P)RX X, V, P, W c (V|P)~W|XRX X, V, Q, R c X~(VR{Q)RX X, V, Q, S c X{V~S{QRX X, V, Q, U c X{(V|Q)~URX X, V, Q, V c (X{V)~Q{VRX X, V, Q, W c X{(V{W)~QRX X, V, R, Q c X~(VR{Q)RX X, V, R, R c X{(V{R)~RRX X, V, R, T c X~R{V{TRX X, V, R, U c X~(V{U)RRX X, V, R, W c X~V|R~WRX X, V, R, X c X{V~R{XRX X, V, S, P c (X|P)~S{VRX X, V, S, Q c X{V~S{QRX X, V, S, S c (X{S)~(V|S)RX X, V, S, T c (V{T)~S|XRX X, V, S, U c X~V|S~URX X, V, T, P c X{(V|P)~TRX X, V, T, R c X~R{V{TRX X, V, T, S c (V{T)~S|XRX X, V, T, T c X{V~T|TRX X, V, T, W c (X|T)~W{VRX X, V, U, P c (V{P)~U|XRX X, V, U, Q c X{(V|Q)~URX X, V, U, R c X~(V{U)RRX X, V, U, S c X~V|U~SRX X, V, U, U c (X|U)~(V{U)RX X, V, U, W c (X~U)|(V{W)RX X, V, U, X c X~X|V~URX X, V, V, P c (V~V)|(X{P)RX X, V, V, Q c (X{V)~Q{VRX X, V, W, P c (V|P)~W|XRX X, V, W, Q c X{(V{W)~QRX X, V, W, R c X~V|W~RRX X, V, W, T c (X|T)~W{VRX X, V, W, U c (X~U)|(V{W)RX X, V, W, W c (V~W)|(X{W)RX X, V, X, R c X{V~R{XRX X, V, X, U c X~X|V~URX X, W, O, U c (W{O)~U|XRX X, W, P, S c (X|S)~W|PRX X, W, P, T c W~(P{T)|XRX X, W, P, U c W~P~U|XRX X, W, P, V c W~(V|P)|XRX X, W, Q, R c X{(W{Q)~RRX X, W, Q, S c X{W~S|QRX X, W, Q, T c X{(W|Q)~TRX X, W, Q, U c (X~W{U)QRX X, W, Q, V c X{(W{V)~QRX X, W, Q, W c (W|Q)~W|XRX X, W, R, Q c X{(W{Q)~RRX X, W, R, R c W~(R{R)|XRX X, W, R, S c (X{W|S)~RRX X, W, R, T c X~(W{T)RRX X, W, R, U c X{(W|R)~URX X, W, R, V c X~V|W~RRX X, W, R, W c (W{W)~R|XRX X, W, R, X c (X|R)~W|XRX X, W, S, P c (X|S)~W|PRX X, W, S, Q c X{W~S|QRX X, W, S, R c (X{W|S)~RRX X, W, S, S c (W{S)~S|XRX X, W, S, T c (X{S)~(W|T)RX X, W, S, U c (X{UW)~SRX X, W, T, P c W~(T{P)|XRX X, W, T, Q c X{(W|Q)~TRX X, W, T, R c X~(W{T)RRX X, W, T, S c (X{S)~(W|T)RX X, W, T, U c (X|U)~(W{T)RX X, W, T, V c (X|T)~W{VRX X, W, T, W c W~T|X{WRX X, W, T, X c W~T|XXRX X, W, U, O c W~U|X{ORX X, W, U, P c W~U|X~PRX X, W, U, Q c (X~W{U)QRX X, W, U, R c X~(WU{R)RX X, W, U, S c (X{UW)~SRX X, W, U, T c (X|U)~(W{T)RX X, W, U, U c (W|XU)~URX X, W, U, V c (X~U)|(W{V)RX X, W, U, W c W~(U|XW)RX X, W, V, P c W~(V|P)|XRX X, W, V, Q c X{(W{V)~QRX X, W, V, R c X~V|W~RRX X, W, V, T c (X|T)~W{VRX X, W, V, U c (X~U)|(W{V)RX X, W, V, W c (W~V)|(X{W)RX X, W, W, Q c W~(W|Q)|XRX X, W, W, R c (W{W)~R|XRX X, W, W, T c W{W~T|XRX X, W, W, U c W~(U|XW)RX X, W, W, V c (W~V)|(X{W)RX X, W, X, R c (X|R)~W|XRX X, W, X, T c W~T|XXRX X, X, P, R c X{(X{P)~RRX X, X, P, U c (X|P)~U|XRX X, X, Q, R c (X{X)~Q{RRX X, X, Q, U c X{(X{U)~QRX X, X, R, P c X{(X{P)~RRX X, X, R, Q c (X~X|R)QRX X, X, R, R c X{X~R{RRX X, X, R, S c X~(X{S)RRX X, X, R, T c X{(X|R)~TRX X, X, R, V c X{X{R~VRX X, X, R, W c (X|R)~W|XRX X, X, S, R c X~(X{S)RRX X, X, S, U c X{(X|S)~URX X, X, T, R c (X{X|T)~RRX X, X, T, U c X~(T|UX)RX X, X, T, W c T~W|XXRX X, X, U, P c (X|P)~U|XRX X, X, U, Q c X{(X{U)~QRX X, X, U, S c X{(X|S)~URX X, X, U, T c X~(T|UX)RX X, X, U, U c (X~U)|(X{U)RX X, X, U, V c X~X|U~VRX X, X, V, R c X{X{V~RRX X, X, V, U c X~X|V~URX X, X, W, R c (X|R)~W|XRX X, X, W, T c W~T|XXRX