O, P, S, X c O{P{S~XRV O, P, U, U c O{P{U~URV O, P, X, S c O{P{X~SRV O, Q, T, V c O{Q{T~VRV O, Q, V, T c O{Q{V~TRV O, R, T, W c O{T~W|RRV O, R, W, T c O{W~T|RRV O, S, P, X c O{S~X{PRV O, S, T, W c O{S~W{TRV O, S, V, X c O{S~V{XRV O, S, W, T c O{S~W{TRV O, S, X, P c O{S~X{PRV O, S, X, V c O{S~V{XRV O, T, Q, V c O{T~V{QRV O, T, R, W c O{T~W|RRV O, T, S, W c O{T{S~WRV O, T, U, V c O{T~U{VRV O, T, V, Q c O{T~V{QRV O, T, V, U c O{T~U{VRV O, T, W, R c O{T~W|RRV O, T, W, S c O{T{W~SRV O, T, W, X c O{T~X|WRV O, T, X, W c O{T~X|WRV O, U, P, U c O{U~U{PRV O, U, T, V c O{U~T{VRV O, U, U, P c O{U~U{PRV O, U, V, T c O{U~V|TRV O, V, Q, T c O{V~T{QRV O, V, S, X c O{V~S{XRV O, V, T, Q c O{V~T{QRV O, V, T, U c O{V{T~URV O, V, U, T c O{V{U~TRV O, V, X, S c O{V~S{XRV O, W, R, T c O{W~T|RRV O, W, S, T c O{W~S{TRV O, W, T, R c O{W~T|RRV O, W, T, S c O{W~S{TRV O, W, T, X c O{T~X|WRV O, W, X, T c O{X~T|WRV O, X, P, S c O{X~S{PRV O, X, S, P c O{X~S{PRV O, X, S, V c O{X{S~VRV O, X, T, W c O{X~T|WRV O, X, V, S c O{X{V~SRV O, X, W, T c O{X~T|WRV P, O, S, X c P{O{S~XRV P, O, U, U c P{O{U~URV P, O, X, S c P{O{X~SRV P, P, R, X c P{(P{R)~XRV P, P, S, W c P{(P{W)~SRV P, P, S, X c P{P~S~XRV P, P, T, U c P{(P{T)~URV P, P, T, V c P{P{T~VRV P, P, T, X c P{(T|P)~XRV P, P, U, T c P{(P{T)~URV P, P, U, U c P{P~U~URV P, P, U, V c P{U~(V|P)RV P, P, V, T c P{P{V~TRV P, P, V, U c P{(V|P)~URV P, P, W, S c P{(P{W)~SRV P, P, X, R c P{(P{R)~XRV P, P, X, S c P{P~X~SRV P, P, X, T c P{X~(T|P)RV P, Q, Q, X c P{(Q{Q)~XRV P, Q, R, U c P{Q~R~URV P, Q, S, U c P{(Q{S)~URV P, Q, S, V c P{(Q{V)~SRV P, Q, S, X c Q|P{S~XRV P, Q, T, U c (P{U)~T{QRV P, Q, T, V c P~Q{T~VRV P, Q, T, W c Q{T~(W|P)RV P, Q, U, R c P{Q~U~RRV P, Q, U, S c P{(Q{S)~URV P, Q, U, T c (P{U)~T{QRV P, Q, U, U c Q|P{U~URV P, Q, U, V c Q{(U|P)~VRV P, Q, U, W c P{U~(W|Q)RV P, Q, U, X c P{(U|Q)~XRV P, Q, V, S c P{(Q{V)~SRV P, Q, V, T c P~Q{V~TRV P, Q, V, U c Q{V~(U|P)RV P, Q, W, T c Q{(W|P)~TRV P, Q, W, U c P{(W|Q)~URV P, Q, W, X c P{WQ~XRV P, Q, X, Q c P{Q~X~QRV P, Q, X, S c Q|P{X~SRV P, Q, X, U c P{X~(U|Q)RV P, Q, X, W c P{XQ~WRV P, Q, X, X c P{Q~(X{X)RV P, R, P, X c P{(R{P)~XRV P, R, Q, U c P{R~Q~URV P, R, R, S c P{R~R~SRV P, R, R, U c P{(R{R)~URV P, R, R, X c P{R~(R{X)RV P, R, S, R c P{R~S~RRV P, R, S, U c P{(R{U)~SRV P, R, S, W c P{R~(S{W)RV P, R, S, X c (P{X)~S|RRV P, R, T, V c P{R~(T{V)RV P, R, T, W c (P{R)~W{TRV P, R, T, X c T~(X|P)|RRV P, R, U, Q c P{R~U~QRV P, R, U, R c P{(R{R)~URV P, R, U, S c P{(R{U)~SRV P, R, U, U c P{R~(U{U)RV P, R, U, W c (U|P)~W|RRV P, R, U, X c P{U~(X|R)RV P, R, V, T c P{R~(V{T)RV P, R, V, X c (P{R)~V{XRV P, R, W, S c P{R~(W{S)RV P, R, W, T c (P{R)~W{TRV P, R, W, U c W~(U|P)|RRV P, R, X, P c (P{R)~X{PRV P, R, X, R c P{(R{X)~RRV P, R, X, S c (P{X)~S|RRV P, R, X, T c (X|P)~T|RRV P, R, X, U c P{(X|R)~URV P, R, X, V c (P{R)~V{XRV P, R, X, X c P{R~X{XRV P, S, O, X c P{(S{O)~XRV P, S, P, W c P{S~(P{W)RV P, S, P, X c P{S~P~XRV P, S, Q, U c P{(S{Q)~URV P, S, Q, V c P{S~(Q{V)RV P, S, Q, X c S~X|P{QRV P, S, R, R c P{S~R~RRV P, S, R, U c P{S~(R{U)RV P, S, R, W c P{(S{W)~RRV P, S, R, X c (P{X)~S|RRV P, S, S, T c P{S~(S{T)RV P, S, S, W c P{S{S~WRV P, S, S, X c (PS{X)~SRV P, S, T, S c P{(S{T)~SRV P, S, T, V c (P{V)~S{TRV P, S, T, W c P~S~W{TRV P, S, T, X c S~(X|P){TRV P, S, U, Q c P{(S{Q)~URV P, S, U, R c P{S~(U{R)RV P, S, U, V c (P{S)~U{VRV P, S, U, W c S~W|P{URV P, S, U, X c (P{U)~S{XRV P, S, V, Q c (P{S)~V{QRV P, S, V, T c (P{V)~S{TRV P, S, V, U c (P{S)~U{VRV P, S, V, W c P{S~V{WRV P, S, V, X c P~S~V{XRV P, S, W, P c P{S~(W{P)RV P, S, W, R c P{(S{W)~RRV P, S, W, S c P{S{W~SRV P, S, W, T c P~S~W{TRV P, S, W, U c S~W|P{URV P, S, W, V c P{S~V{WRV P, S, W, X c (P{S)~X|WRV P, S, X, O c P{S~X{ORV P, S, X, P c P{S~X~PRV P, S, X, Q c S~X|P{QRV P, S, X, R c (P{X)~S|RRV P, S, X, S c (PS{X)~SRV P, S, X, T c S~(X|P){TRV P, S, X, U c (P{U)~S{XRV P, S, X, V c P~S~V{XRV P, S, X, W c (P{S)~X|WRV P, S, X, X c (PX{S)~XRV P, T, P, U c P{(T{P)~URV P, T, P, V c P{T~V{PRV P, T, P, X c P{(T|P)~XRV P, T, Q, U c (P{U)~T{QRV P, T, Q, V c P~T~V{QRV P, T, Q, W c (T~W)|(P{Q)RV P, T, R, V c P{(T{V)~RRV P, T, R, W c P~T~W|RRV P, T, R, X c T~(X|P)|RRV P, T, S, S c P{(T{S)~SRV P, T, S, V c (P{V)~S{TRV P, T, S, W c P~T{S~WRV P, T, S, X c T{S~(X|P)RV P, T, T, V c (P{T)~T{VRV P, T, T, W c (T|P)~W{TRV P, T, U, P c (P{T)~U{PRV P, T, U, Q c (P{U)~T{QRV P, T, U, U c P{T~U{URV P, T, U, V c P~T~U{VRV P, T, U, W c T~U|P{WRV P, T, V, P c P{T~V{PRV P, T, V, Q c P~T~V{QRV P, T, V, R c P{(T{V)~RRV P, T, V, S c (P{V)~S{TRV P, T, V, T c (P{T)~V|TRV P, T, V, U c P~T~U{VRV P, T, V, V c T~(V|P){VRV P, T, V, X c (T|P)~V{XRV P, T, W, Q c (T~W)|(P{Q)RV P, T, W, R c P~T~W|RRV P, T, W, S c P{T~W|SRV P, T, W, T c (T|P)~W{TRV P, T, W, U c T~U|P{WRV P, T, W, W c (P{W)~T|WRV P, T, W, X c P~T~X|WRV P, T, X, P c P{(T|P)~XRV P, T, X, R c T~(X|P)|RRV P, T, X, S c T{(X|P)~SRV P, T, X, V c (T|P)~V{XRV P, T, X, W c P~T~X|WRV P, T, X, X c P{T~X|XRV P, U, O, U c P{(U{O)~URV P, U, P, T c P{U~(P{T)RV P, U, P, U c P{U~P~URV P, U, P, V c P{U~(V|P)RV P, U, Q, R c P{U~Q~RRV P, U, Q, S c P{U~(Q{S)RV P, U, Q, T c (P{U)~T{QRV P, U, Q, U c U~U|P{QRV P, U, Q, V c (U|P)~V{QRV P, U, Q, W c P{U~(W|Q)RV P, U, Q, X c P{(U|Q)~XRV P, U, R, Q c P{U~R~QRV P, U, R, R c P{U~(R{R)RV P, U, R, S c P{(U{R)~SRV P, U, R, U c P{(U{U)~RRV P, U, R, W c (U|P)~W|RRV P, U, R, X c P{U~(X|R)RV P, U, S, Q c P{U~(S{Q)RV P, U, S, R c P{(U{R)~SRV P, U, S, V c (P{S)~U{VRV P, U, S, W c U|P{S~WRV P, U, S, X c (P{U)~S{XRV P, U, T, P c P{U~(T{P)RV P, U, T, Q c (P{U)~T{QRV P, U, T, U c P{U{T~URV P, U, T, V c P~U~T{VRV P, U, T, W c U~T|P{WRV P, U, U, O c P{U~U{ORV P, U, U, P c P{U~U~PRV P, U, U, Q c U~U|P{QRV P, U, U, R c P{(U{U)~RRV P, U, U, T c P{U{U~TRV P, U, U, U c (PU{U)~URV P, U, U, V c P{U~V|URV P, U, V, P c P{U~(V|P)RV P, U, V, Q c (U|P)~V{QRV P, U, V, S c (P{S)~U{VRV P, U, V, T c P~U~V|TRV P, U, V, U c P{U~V|URV P, U, W, Q c P{U~(W|Q)RV P, U, W, R c (U|P)~W|RRV P, U, W, S c U|P{W~SRV P, U, W, T c U~(W|P)|TRV P, U, W, X c (U|P)~X|WRV P, U, X, Q c P{(U|Q)~XRV P, U, X, R c P{U~(X|R)RV P, U, X, S c (P{U)~S{XRV P, U, X, W c (U|P)~X|WRV P, V, P, T c P{V~T{PRV P, V, P, U c P{(V|P)~URV P, V, Q, S c P{(V{Q)~SRV P, V, Q, T c P~V~T{QRV P, V, Q, U c V~(U|P){QRV P, V, R, T c P{(V{T)~RRV P, V, R, X c P{(V|R)~XRV P, V, S, Q c P{(V{Q)~SRV P, V, S, T c (P{V)~S{TRV P, V, S, U c (P{S)~U{VRV P, V, S, W c P{V~S{WRV P, V, S, X c P~V~S{XRV P, V, T, P c P{V~T{PRV P, V, T, Q c P~V~T{QRV P, V, T, R c P{(V{T)~RRV P, V, T, S c (P{V)~S{TRV P, V, T, T c (P{T)~V|TRV P, V, T, U c P~V{T~URV P, V, T, V c (V|P)~T{VRV P, V, T, X c V~(T|P){XRV P, V, U, P c P{(V|P)~URV P, V, U, Q c V~(U|P){QRV P, V, U, S c (P{S)~U{VRV P, V, U, T c P~V{U~TRV P, V, U, U c P{V~U|URV P, V, V, T c (V|P)~V|TRV P, V, W, S c P{V~S{WRV P, V, X, R c P{(V|R)~XRV P, V, X, S c P~V~S{XRV P, V, X, T c V~(T|P){XRV P, W, P, S c P{(W{P)~SRV P, W, Q, T c (W|P)~T{QRV P, W, Q, U c P{(W|Q)~URV P, W, Q, X c P{WQ~XRV P, W, R, S c P{(W{S)~RRV P, W, R, T c P~W~T|RRV P, W, R, U c W~(U|P)|RRV P, W, S, P c (P{W)~S{PRV P, W, S, R c P{(W{S)~RRV P, W, S, S c P{W~S{SRV P, W, S, T c P~W~S{TRV P, W, S, U c W~S|P{URV P, W, S, V c P{W{S~VRV P, W, S, X c P{(W|S)~XRV P, W, T, Q c (W|P)~T{QRV P, W, T, R c P~W~T|RRV P, W, T, S c P{W~T|SRV P, W, T, T c W~(T|P){TRV P, W, T, U c W|P{T~URV P, W, T, W c (P{W)~T|WRV P, W, T, X c P~T~X|WRV P, W, U, Q c P{(W|Q)~URV P, W, U, R c W~(U|P)|RRV P, W, U, S c W~S|P{URV P, W, U, T c W|P{U~TRV P, W, U, X c (U|P)~X|WRV P, W, V, S c P{W{V~SRV P, W, W, T c (P{W)~T|WRV P, W, X, Q c P{W~XQRV P, W, X, S c P{(W|S)~XRV P, W, X, T c P~X~T|WRV P, W, X, U c X~(U|P)|WRV P, X, O, S c P{(X{O)~SRV P, X, P, R c P{X~(P{R)RV P, X, P, S c P{X~P~SRV P, X, P, T c P{X~(T|P)RV P, X, Q, Q c P{X~(Q{Q)RV P, X, Q, S c X~S|P{QRV P, X, Q, U c P{X~(U|Q)RV P, X, Q, W c P{XQ~WRV P, X, Q, X c P{(X{X)~QRV P, X, R, P c P{X~(R{P)RV P, X, R, R c P{(X{R)~RRV P, X, R, S c (P{X)~S|RRV P, X, R, T c (X|P)~T|RRV P, X, R, U c P{(X|R)~URV P, X, R, V c (P{X)~R{VRV P, X, R, X c P{X{R~XRV P, X, S, O c P{X~S{ORV P, X, S, P c P{X~S~PRV P, X, S, Q c X~S|P{QRV P, X, S, R c (P{X)~S|RRV P, X, S, S c (PS{X)~SRV P, X, S, T c (X|P)~S{TRV P, X, S, U c (P{U)~S{XRV P, X, S, V c P~X{S~VRV P, X, S, W c P{X~(W|S)RV P, X, S, X c (PX{S)~XRV P, X, T, P c P{X~(T|P)RV P, X, T, R c (X|P)~T|RRV P, X, T, S c (X|P)~S{TRV P, X, T, V c X{(T|P)~VRV P, X, T, W c P~X~T|WRV P, X, T, X c P{(X|T)~XRV P, X, U, Q c P{X~(U|Q)RV P, X, U, R c P{(X|R)~URV P, X, U, S c (P{U)~S{XRV P, X, U, W c X~(U|P)|WRV P, X, V, R c P{X~(V|R)RV P, X, V, S c P~X{V~SRV P, X, V, T c X{V~(T|P)RV P, X, W, Q c P{X~WQRV P, X, W, S c P{X~(W|S)RV P, X, W, T c P~X~T|WRV P, X, W, U c X~(U|P)|WRV P, X, X, Q c P{(X{X)~QRV P, X, X, R c P{X{X~RRV P, X, X, S c (PX{S)~XRV P, X, X, T c P{X~(X|T)RV Q, O, T, V c Q{O{T~VRV Q, O, V, T c Q{O{V~TRV Q, P, Q, X c (Q{Q)~X{PRV Q, P, R, U c Q~R~U{PRV Q, P, S, U c (Q{S)~U{PRV Q, P, S, V c Q{(P{S)~VRV Q, P, S, X c Q|P{S~XRV Q, P, T, U c Q{(P{U)~TRV Q, P, T, V c Q{P~T~VRV Q, P, T, W c Q{T~(W|P)RV Q, P, U, R c Q~U~R{PRV Q, P, U, S c (Q{S)~U{PRV Q, P, U, T c Q{(P{U)~TRV Q, P, U, U c Q|P{U~URV Q, P, U, V c Q{(U|P)~VRV Q, P, U, W c P{U~(W|Q)RV Q, P, U, X c P{(U|Q)~XRV Q, P, V, S c Q{(P{S)~VRV Q, P, V, T c Q{P~V~TRV Q, P, V, U c Q{V~(U|P)RV Q, P, W, T c Q{(W|P)~TRV Q, P, W, U c P{(W|Q)~URV Q, P, W, X c P{WQ~XRV Q, P, X, Q c Q~X~Q{PRV Q, P, X, S c Q|P{X~SRV Q, P, X, U c P{X~(U|Q)RV Q, P, X, W c P{XQ~WRV Q, P, X, X c Q~(X{X){PRV Q, Q, P, X c (Q{Q)~X{PRV Q, Q, R, V c Q{(Q{R)~VRV Q, Q, S, X c QQ{S~XRV Q, Q, T, T c Q{(Q{T)~TRV Q, Q, T, W c (Q{Q)~W{TRV Q, Q, T, X c Q{T~(X|Q)RV Q, Q, U, U c QQ{U~URV Q, Q, V, R c Q{(Q{R)~VRV Q, Q, V, V c Q{(V|Q)~VRV Q, Q, V, X c (Q{Q)~V{XRV Q, Q, W, T c (Q{Q)~W{TRV Q, Q, W, X c (Q{W~X)QRV Q, Q, X, P c (Q{Q)~X{PRV Q, Q, X, S c QQ{X~SRV Q, Q, X, T c Q{(X|Q)~TRV Q, Q, X, V c (Q{Q)~V{XRV Q, Q, X, W c (Q{X~W)QRV Q, R, P, U c Q~R~U{PRV Q, R, Q, V c Q{(R{Q)~VRV Q, R, R, W c (Q{R)~W|RRV Q, R, S, T c Q{(R{S)~TRV Q, R, S, W c Q{R{S~WRV Q, R, S, X c (Q{X)~R{SRV Q, R, T, S c Q{(R{S)~TRV Q, R, T, U c (Q{U)~T|RRV Q, R, T, V c Q~R~T{VRV Q, R, T, W c R~(T{W)|QRV Q, R, T, X c Q~T{R~XRV Q, R, U, P c Q~R~U{PRV Q, R, U, T c (Q{U)~T|RRV Q, R, U, U c R|Q{U~URV Q, R, U, V c (Q{R)~U{VRV Q, R, V, Q c (Q{R)~V{QRV Q, R, V, T c Q~R~V|TRV Q, R, V, U c (Q{R)~U{VRV Q, R, V, W c Q{V~(W|R)RV Q, R, W, R c (Q{R)~W|RRV Q, R, W, S c Q{R{W~SRV Q, R, W, T c R~(W{T)|QRV Q, R, W, V c Q{(W|R)~VRV Q, R, W, X c Q{R~X{WRV Q, R, X, S c (Q{X)~R{SRV Q, R, X, T c Q~T{R~XRV Q, R, X, W c Q{R~X{WRV Q, S, P, U c (Q{S)~U{PRV Q, S, P, V c Q{(S{P)~VRV Q, S, P, X c Q{S~X|PRV Q, S, Q, X c QQ{S~XRV Q, S, R, T c Q{(S{R)~TRV Q, S, R, W c Q{S~W{RRV Q, S, R, X c (Q{X)~R{SRV Q, S, S, T c Q~S~S{TRV Q, S, T, R c Q~S~T|RRV Q, S, T, S c Q~S~S{TRV Q, S, T, U c (Q{U)~S{TRV Q, S, T, V c (Q{S)~T{VRV Q, S, T, X c (Q{T)~S{XRV Q, S, U, P c (Q{S)~U{PRV Q, S, U, T c (Q{U)~S{TRV Q, S, V, P c Q{(S{P)~VRV Q, S, V, T c (Q{S)~V|TRV Q, S, V, V c Q{S~V{VRV Q, S, V, W c S~W|Q{VRV Q, S, V, X c Q{V~(X|S)RV Q, S, W, R c Q{S~W{RRV Q, S, W, V c S~W|Q{VRV Q, S, W, X c (QW{X)~SRV Q, S, X, P c Q{S~X|PRV Q, S, X, Q c QQ{S~XRV Q, S, X, R c (Q{X)~R{SRV Q, S, X, T c (Q{T)~S{XRV Q, S, X, V c Q{(X|S)~VRV Q, S, X, W c (QW{X)~SRV Q, S, X, X c S~(X|Q){XRV Q, T, O, V c Q{(T{O)~VRV Q, T, P, U c Q{T~(P{U)RV Q, T, P, V c Q{T~P~VRV Q, T, P, W c Q{T~(W|P)RV Q, T, Q, T c Q{(T{Q)~TRV Q, T, Q, W c (Q{Q)~W{TRV Q, T, Q, X c Q{T~(X|Q)RV Q, T, R, S c Q{T~(R{S)RV Q, T, R, U c (Q{U)~T|RRV Q, T, R, V c Q~T~R{VRV Q, T, R, W c (T{W)~R|QRV Q, T, R, X c Q~T{R~XRV Q, T, S, R c Q{T~(S{R)RV Q, T, S, S c Q~S~S{TRV Q, T, S, U c (Q{U)~S{TRV Q, T, S, V c (Q{S)~T{VRV Q, T, S, X c (Q{T)~S{XRV Q, T, T, Q c (Q{T)~T{QRV Q, T, T, U c Q{T{T~URV Q, T, T, V c (QT{V)~TRV Q, T, T, W c Q{T~W|TRV Q, T, U, P c Q{T~(U{P)RV Q, T, U, R c (Q{U)~T|RRV Q, T, U, S c (Q{U)~S{TRV Q, T, U, T c Q{T{U~TRV Q, T, U, W c T{(U|Q)~WRV Q, T, U, X c T~U|Q{XRV Q, T, V, O c Q{T~V{ORV Q, T, V, P c Q{T~V~PRV Q, T, V, R c Q~T~R{VRV Q, T, V, S c (Q{S)~T{VRV Q, T, V, T c (QT{V)~TRV Q, T, V, V c (QV{T)~VRV Q, T, V, W c (Q{V)~T|WRV Q, T, V, X c Q~(V{X){TRV Q, T, W, P c Q{T~(W|P)RV Q, T, W, Q c Q~W~Q{TRV Q, T, W, R c (T{W)~R|QRV Q, T, W, T c Q{T~W|TRV Q, T, W, U c T{W~(U|Q)RV Q, T, W, V c (Q{V)~T|WRV Q, T, W, W c Q~(W{W){TRV Q, T, X, Q c Q{T~(X|Q)RV Q, T, X, R c Q~T{X~RRV Q, T, X, S c (Q{T)~S{XRV Q, T, X, U c (T~X)|(Q{U)RV Q, T, X, V c Q~(X{V){TRV Q, T, X, X c Q~(T{X){XRV Q, U, P, R c Q~U~R{PRV Q, U, P, S c (Q{S)~U{PRV Q, U, P, T c Q{(U{P)~TRV Q, U, P, U c Q{U~U|PRV Q, U, P, V c Q{(U|P)~VRV Q, U, P, W c U~(W|Q){PRV Q, U, P, X c (U|Q)~X{PRV Q, U, Q, U c QQ{U~URV Q, U, R, P c Q~U~R{PRV Q, U, R, T c (Q{U)~T|RRV Q, U, R, U c U~U|Q{RRV Q, U, R, V c (Q{R)~U{VRV Q, U, S, P c (Q{S)~U{PRV Q, U, S, T c (Q{U)~S{TRV Q, U, T, P c Q{(U{P)~TRV Q, U, T, R c (Q{U)~T|RRV Q, U, T, S c (Q{U)~S{TRV Q, U, T, T c Q{U~T{TRV Q, U, T, W c (U|Q)~W{TRV Q, U, T, X c U~T|Q{XRV Q, U, U, P c Q{U~U|PRV Q, U, U, Q c QQ{U~URV Q, U, U, R c U~U|Q{RRV Q, U, V, P c Q{(U|P)~VRV Q, U, V, R c (Q{R)~U{VRV Q, U, V, V c Q{U~V|VRV Q, U, V, X c Q~(U{X){VRV Q, U, W, P c U~(W|Q){PRV Q, U, W, T c (U|Q)~W{TRV Q, U, W, X c Q~(U{W){XRV Q, U, X, P c (U|Q)~X{PRV Q, U, X, T c U~(X|Q)|TRV Q, U, X, V c Q~(U{X){VRV Q, U, X, W c Q~(U{W){XRV Q, V, O, T c Q{(V{O)~TRV Q, V, P, S c Q{V~(P{S)RV Q, V, P, T c Q{V~P~TRV Q, V, P, U c Q{V~(U|P)RV Q, V, Q, R c Q{V~(Q{R)RV Q, V, Q, V c Q{(V|Q)~VRV Q, V, Q, X c Q~V~Q{XRV Q, V, R, Q c Q{V~(R{Q)RV Q, V, R, T c Q~V~R|TRV Q, V, R, U c (Q{R)~U{VRV Q, V, R, W c Q{V~(W|R)RV Q, V, S, P c (Q{V)~S{PRV Q, V, S, T c (Q{S)~V|TRV Q, V, S, V c Q{V{S~VRV Q, V, S, W c V|Q{S~WRV Q, V, S, X c Q{V~(X|S)RV Q, V, T, O c Q{V~T{ORV Q, V, T, P c Q{V~T~PRV Q, V, T, R c Q~V~R|TRV Q, V, T, S c (Q{S)~V|TRV Q, V, T, T c (QT{V)~TRV Q, V, T, V c (QV{T)~VRV Q, V, T, W c (Q{V)~T|WRV Q, V, T, X c Q~(V{X){TRV Q, V, U, P c Q{V~(U|P)RV Q, V, U, R c (Q{R)~U{VRV Q, V, U, V c Q{V~U|VRV Q, V, U, X c Q~(U{X){VRV Q, V, V, Q c Q{V~(V|Q)RV Q, V, V, S c Q{V{V~SRV Q, V, V, T c (QV{T)~VRV Q, V, V, U c Q{V~U|VRV Q, V, V, W c Q~(V{W){VRV Q, V, V, X c Q~(V{V){XRV Q, V, W, R c Q{V~(W|R)RV Q, V, W, S c V|Q{W~SRV Q, V, W, T c (Q{V)~T|WRV Q, V, W, V c Q~(V{W){VRV Q, V, W, X c VQ~W{XRV Q, V, X, Q c Q~V~Q{XRV Q, V, X, S c Q{V~(X|S)RV Q, V, X, T c Q~(V{X){TRV Q, V, X, U c Q~(X{U){VRV Q, V, X, V c Q~(V{V){XRV Q, V, X, W c (V|Q)~X|WRV Q, V, X, X c (X~X|V)QRV Q, W, P, T c Q{(W|P)~TRV Q, W, P, U c (W|Q)~U{PRV Q, W, P, X c WQ~X{PRV Q, W, Q, T c Q~W~Q{TRV Q, W, Q, X c (Q{W~X)QRV Q, W, R, R c (Q{R)~W|RRV Q, W, R, S c Q{W~S{RRV Q, W, R, T c (W{T)~R|QRV Q, W, R, V c Q{(W|R)~VRV Q, W, R, X c Q{W{R~XRV Q, W, S, R c Q{W~S{RRV Q, W, S, V c W~S|Q{VRV Q, W, S, X c (QW{X)~SRV Q, W, T, P c Q{(W|P)~TRV Q, W, T, Q c Q~W~Q{TRV Q, W, T, R c (W{T)~R|QRV Q, W, T, T c Q{W~T|TRV Q, W, T, U c W~T|UQRV Q, W, T, V c (Q{V)~T|WRV Q, W, T, W c Q~(W{W){TRV Q, W, U, P c (W|Q)~U{PRV Q, W, U, T c W~(U|Q){TRV Q, W, U, X c Q~(W{U){XRV Q, W, V, R c Q~W{V~RRV Q, W, V, S c W~S|Q{VRV Q, W, V, T c (Q{V)~T|WRV Q, W, V, V c Q~(W{V){VRV Q, W, V, X c WQ~V{XRV Q, W, W, T c Q~(W{W){TRV Q, W, X, P c WQ~X{PRV Q, W, X, Q c (Q{W~X)QRV Q, W, X, R c Q{W{X~RRV Q, W, X, S c (QW{X)~SRV Q, W, X, U c Q~(W{U){XRV Q, W, X, V c WQ~V{XRV Q, X, P, Q c Q~X~Q{PRV Q, X, P, S c Q{X~S|PRV Q, X, P, U c X~(U|Q){PRV Q, X, P, W c XQ~W{PRV Q, X, P, X c Q~(X{X){PRV Q, X, Q, P c Q~X~Q{PRV Q, X, Q, S c QQ{X~SRV Q, X, Q, T c Q{(X|Q)~TRV Q, X, Q, V c (Q{Q)~V{XRV Q, X, Q, W c (Q{X~W)QRV Q, X, R, S c (Q{X)~R{SRV Q, X, R, T c Q~T{X~RRV Q, X, R, W c Q{X~R{WRV Q, X, S, P c Q{X~S|PRV Q, X, S, Q c QQ{X~SRV Q, X, S, R c (Q{X)~R{SRV Q, X, S, T c (Q{T)~S{XRV Q, X, S, V c Q{(X|S)~VRV Q, X, S, W c (QW{X)~SRV Q, X, S, X c (X|Q)~S{XRV Q, X, T, Q c Q{(X|Q)~TRV Q, X, T, R c Q~T{X~RRV Q, X, T, S c (Q{T)~S{XRV Q, X, T, U c X|Q{T~URV Q, X, T, V c Q~(X{V){TRV Q, X, T, X c Q~(X{T){XRV Q, X, U, P c X~(U|Q){PRV Q, X, U, T c X|Q{U~TRV Q, X, U, V c Q~(X{U){VRV Q, X, U, W c Q~(U{W){XRV Q, X, V, Q c Q~V~Q{XRV Q, X, V, S c Q{(X|S)~VRV Q, X, V, T c Q~(X{V){TRV Q, X, V, U c Q~(X{U){VRV Q, X, V, V c Q~(V{V){XRV Q, X, V, W c X{VQ~WRV Q, X, V, X c (X~X|V)QRV Q, X, W, P c XQ~W{PRV Q, X, W, Q c (Q{X~W)QRV Q, X, W, R c Q~(X{W){RRV Q, X, W, S c (QW{X)~SRV Q, X, W, U c Q~(W{U){XRV Q, X, W, V c X{WQ~VRV Q, X, X, P c Q~(X{X){PRV Q, X, X, S c (X|Q)~S{XRV Q, X, X, T c Q~(X{T){XRV Q, X, X, V c (X~X|V)QRV R, O, T, W c O{T~W|RRV R, O, W, T c O{W~T|RRV R, P, P, X c (R{P)~X{PRV R, P, Q, U c R~Q~U{PRV R, P, R, S c R~R~S{PRV R, P, R, U c (R{R)~U{PRV R, P, R, X c R~(R{X){PRV R, P, S, R c R~S~R{PRV R, P, S, U c (R{U)~S{PRV R, P, S, W c R~(S{W){PRV R, P, S, X c (P{X)~S|RRV R, P, T, V c R|P{T~VRV R, P, T, W c (R{P)~W{TRV R, P, T, X c T~(X|P)|RRV R, P, U, Q c R~U~Q{PRV R, P, U, R c (R{R)~U{PRV R, P, U, S c (R{U)~S{PRV R, P, U, U c R~(U{U){PRV R, P, U, W c (U|P)~W|RRV R, P, U, X c P{U~(X|R)RV R, P, V, T c R|P{V~TRV R, P, V, X c (R{P)~V{XRV R, P, W, S c R~(W{S){PRV R, P, W, T c (R{P)~W{TRV R, P, W, U c W~(U|P)|RRV R, P, X, P c (R{P)~X{PRV R, P, X, R c (R{X)~R{PRV R, P, X, S c (P{X)~S|RRV R, P, X, T c (X|P)~T|RRV R, P, X, U c P{(X|R)~URV R, P, X, V c R~(P{X){VRV R, P, X, X c R~X{P{XRV R, Q, P, U c R~Q~U{PRV R, Q, Q, V c (R{Q)~V{QRV R, Q, R, W c (R{Q)~W|RRV R, Q, S, T c (R{S)~T{QRV R, Q, S, W c R{Q{S~WRV R, Q, S, X c R|Q{S~XRV R, Q, T, S c (R{S)~T{QRV R, Q, T, U c (Q{U)~T|RRV R, Q, T, V c R~Q~T{VRV R, Q, T, W c R~(T{W)|QRV R, Q, T, X c R~X{Q~TRV R, Q, U, P c R~Q~U{PRV R, Q, U, T c (Q{U)~T|RRV R, Q, U, U c R|Q{U~URV R, Q, U, V c (R{Q)~U{VRV R, Q, V, Q c (R{Q)~V{QRV R, Q, V, T c R~Q~V|TRV R, Q, V, U c (R{Q)~U{VRV R, Q, V, W c R~(Q{W){VRV R, Q, W, R c (R{Q)~W|RRV R, Q, W, S c R{Q{W~SRV R, Q, W, T c R~(W{T)|QRV R, Q, W, V c R~(Q{W){VRV R, Q, W, X c R{Q~(W{X)RV R, Q, X, S c R|Q{X~SRV R, Q, X, T c R~X{Q~TRV R, Q, X, W c R{Q~(X{W)RV R, R, P, S c R~R~S{PRV R, R, P, U c (R{R)~U{PRV R, R, P, X c R~(R{X){PRV R, R, Q, W c (R{Q)~W|RRV R, R, S, P c R~R~S{PRV R, R, S, V c R~R{S~VRV R, R, S, W c R~(R{W){SRV R, R, S, X c RR{S~XRV R, R, T, T c (R{T)~T|RRV R, R, T, V c (R{R)~T{VRV R, R, T, W c R~R~T|WRV R, R, U, P c (R{R)~U{PRV R, R, U, U c RR{U~URV R, R, V, S c R~R{V~SRV R, R, V, T c (R{R)~V|TRV R, R, V, V c R~(R{V){VRV R, R, V, X c R{R~X{VRV R, R, W, Q c (R{Q)~W|RRV R, R, W, S c R~(R{W){SRV R, R, W, T c R~R~T|WRV R, R, W, W c (W|R)~W|RRV R, R, X, P c R~(R{X){PRV R, R, X, S c RR{X~SRV R, R, X, V c R{R~X{VRV R, S, P, R c R~S~R{PRV R, S, P, U c (R{U)~S{PRV R, S, P, W c R~(S{W){PRV R, S, P, X c S~(P{X)|RRV R, S, Q, T c (R{S)~T{QRV R, S, Q, W c R{S~W{QRV R, S, Q, X c R{S~X|QRV R, S, R, P c R~S~R{PRV R, S, R, V c R~R{S~VRV R, S, R, W c R~(R{W){SRV R, S, R, X c RR{S~XRV R, S, S, T c (S{S)~T|RRV R, S, S, U c S~(S{U)|RRV R, S, S, V c R~(S{V){SRV R, S, S, X c (R{S)~S{XRV R, S, T, Q c (R{S)~T{QRV R, S, T, S c (S{S)~T|RRV R, S, T, T c R~S{T~TRV R, S, T, U c R{S{T~URV R, S, U, P c (R{U)~S{PRV R, S, U, S c (S{U)~S|RRV R, S, U, T c R{S{U~TRV R, S, U, U c S|R{U~URV R, S, U, V c R~(S{U){VRV R, S, U, X c R~X{S{URV R, S, V, R c (R{V)~S|RRV R, S, V, S c R~(S{V){SRV R, S, V, U c R{S~V{URV R, S, V, V c V~V|R~SRV R, S, V, W c (R{W)~S|VRV R, S, W, P c R~(S{W){PRV R, S, W, Q c R{S~W{QRV R, S, W, R c (R{W)~R{SRV R, S, W, V c (R{W)~S|VRV R, S, W, W c S~W|R{WRV R, S, W, X c R~W{S{XRV R, S, X, P c S~(X{P)|RRV R, S, X, Q c R{S~X|QRV R, S, X, R c RR{S~XRV R, S, X, S c (R{S)~S{XRV R, S, X, U c R~X{S{URV R, S, X, W c R~W{S{XRV R, T, O, W c (T{O)~W|RRV R, T, P, V c R{T~V|PRV R, T, P, W c (R{P)~W{TRV R, T, P, X c T~(X|P)|RRV R, T, Q, S c (R{S)~T{QRV R, T, Q, U c T~(Q{U)|RRV R, T, Q, V c R~T~Q{VRV R, T, Q, W c R~(T{W)|QRV R, T, Q, X c R~X{T~QRV R, T, R, T c (R{T)~T|RRV R, T, R, V c (R{R)~T{VRV R, T, R, W c R~T~R|WRV R, T, S, Q c (R{S)~T{QRV R, T, S, S c T~(S{S)|RRV R, T, S, T c (R{T)~S{TRV R, T, S, U c R{T~U{SRV R, T, T, R c (R{T)~T|RRV R, T, T, S c (R{T)~S{TRV R, T, T, V c R~(T{T){VRV R, T, T, W c T~(W|RT)RV R, T, T, X c R{T~T{XRV R, T, U, Q c T~(U{Q)|RRV R, T, U, S c R{T~U{SRV R, T, U, V c T~V{URRV R, T, U, W c R{T~W|URV R, T, V, P c R{T~V|PRV R, T, V, Q c R~T~Q{VRV R, T, V, R c (R{R)~T{VRV R, T, V, T c R~(T{T){VRV R, T, V, U c T~V{URRV R, T, V, V c R~(V{V)|TRV R, T, V, W c T{(V|R)~WRV R, T, V, X c T~(X|R){VRV R, T, W, O c T~W|R{ORV R, T, W, P c (R{P)~W{TRV R, T, W, Q c R~(T{W)|QRV R, T, W, R c R~T~R|WRV R, T, W, T c T~(W|RT)RV R, T, W, U c R{T~W|URV R, T, W, V c T{W~(V|R)RV R, T, W, W c R~W{T{WRV R, T, W, X c T~W|XRRV R, T, X, P c T~(X|P)|RRV R, T, X, Q c R~X{T~QRV R, T, X, T c R~(T{X)|TRV R, T, X, V c T~(X|R){VRV R, T, X, W c T~W|XRRV R, U, P, Q c R~U~Q{PRV R, U, P, R c (R{R)~U{PRV R, U, P, S c (R{U)~S{PRV R, U, P, U c R~(U{U){PRV R, U, P, W c (U|P)~W|RRV R, U, P, X c U~(X|R){PRV R, U, Q, P c R~U~Q{PRV R, U, Q, T c (U{Q)~T|RRV R, U, Q, U c R{U~U|QRV R, U, Q, V c R~(U{V)|QRV R, U, R, P c (R{R)~U{PRV R, U, R, U c RR{U~URV R, U, S, P c (R{U)~S{PRV R, U, S, S c (U{S)~S|RRV R, U, S, T c R{U~T{SRV R, U, S, U c U~U|R{SRV R, U, S, V c R{U{S~VRV R, U, S, X c R~X{U{SRV R, U, T, Q c (U{Q)~T|RRV R, U, T, S c R{U~T{SRV R, U, T, V c UR{T~VRV R, U, T, W c (R{U)~T|WRV R, U, U, P c R~(U{U){PRV R, U, U, Q c R{U~U|QRV R, U, U, R c RR{U~URV R, U, U, S c U~U|R{SRV R, U, V, Q c R~(U{V)|QRV R, U, V, S c R{U{V~SRV R, U, V, T c UR{V~TRV R, U, V, W c R{U~V|WRV R, U, W, P c (U|P)~W|RRV R, U, W, T c R~(U{W)|TRV R, U, W, V c R{U~V|WRV R, U, W, W c (U~W)|(R{W)RV R, U, W, X c R~(U{X)|WRV R, U, X, P c U~(X|R){PRV R, U, X, S c R~X{U{SRV R, U, X, W c R~(U{X)|WRV R, V, P, T c R{V~T|PRV R, V, P, X c (R{P)~V{XRV R, V, Q, Q c (R{Q)~V{QRV R, V, Q, T c R~V~Q|TRV R, V, Q, U c R~(V{U)|QRV R, V, Q, W c R~V{Q~WRV R, V, R, S c (R{V)~S|RRV R, V, R, T c (R{R)~V|TRV R, V, R, V c (R{V)~R{VRV R, V, R, X c R{V{R~XRV R, V, S, R c (R{V)~S|RRV R, V, S, S c R~(V{S){SRV R, V, S, U c R{V~S{URV R, V, S, V c V~V|R~SRV R, V, S, W c (R{W)~S|VRV R, V, T, P c R{V~T|PRV R, V, T, Q c R~V~Q|TRV R, V, T, R c (R{R)~V|TRV R, V, T, T c R~(T{T){VRV R, V, T, U c V~T{URRV R, V, T, V c R~(V{V)|TRV R, V, T, W c (V|R)~W{TRV R, V, T, X c V{T~(X|R)RV R, V, U, Q c R~(V{U)|QRV R, V, U, S c R{V~S{URV R, V, U, T c V~T{URRV R, V, U, W c R{V~U|WRV R, V, V, R c (R{V)~R{VRV R, V, V, S c V~V|R~SRV R, V, V, T c R~(V{V)|TRV R, V, V, X c R~V{V{XRV R, V, W, Q c R~V{W~QRV R, V, W, S c (R{W)~S|VRV R, V, W, T c (V|R)~W{TRV R, V, W, U c R{V~U|WRV R, V, W, W c R~V{W{WRV R, V, X, P c R~(X{P){VRV R, V, X, R c R{V{X~RRV R, V, X, T c V{(X|R)~TRV R, V, X, V c R~V{X{VRV R, W, O, T c (W{O)~T|RRV R, W, P, S c R~(W{S){PRV R, W, P, T c (R{P)~W{TRV R, W, P, U c W~(U|P)|RRV R, W, Q, R c (R{Q)~W|RRV R, W, Q, S c R{W~S{QRV R, W, Q, T c R~(W{T)|QRV R, W, Q, V c R~(W{Q){VRV R, W, Q, X c R{(W{X)~QRV R, W, R, Q c (R{Q)~W|RRV R, W, R, S c (R{W)~R{SRV R, W, R, T c R~R~T|WRV R, W, R, W c (W|R)~W|RRV R, W, S, P c R~(W{S){PRV R, W, S, Q c R{W~S{QRV R, W, S, R c (R{W)~R{SRV R, W, S, V c (R{W)~S|VRV R, W, S, W c W|R{S~WRV R, W, S, X c R~W{S{XRV R, W, T, O c W~T|R{ORV R, W, T, P c (R{P)~W{TRV R, W, T, Q c R~(W{T)|QRV R, W, T, R c R~T~R|WRV R, W, T, T c (W|RT)~TRV R, W, T, U c R{W~T|URV R, W, T, V c W~(V|R){TRV R, W, T, W c R~W{T{WRV R, W, T, X c W~T|XRRV R, W, U, P c W~(U|P)|RRV R, W, U, T c R~(W{U)|TRV R, W, U, V c R~W{U{VRV R, W, U, W c (W~U)|(R{W)RV R, W, U, X c R~(U{X)|WRV R, W, V, Q c R~(W{Q){VRV R, W, V, S c (R{W)~S|VRV R, W, V, T c W~(V|R){TRV R, W, V, U c R~W{V{URV R, W, V, W c R~(W{V)|WRV R, W, W, R c (W|R)~W|RRV R, W, W, S c W|R{W~SRV R, W, W, T c R~W{W{TRV R, W, W, U c (W~U)|(R{W)RV R, W, W, V c R~(W{V)|WRV R, W, W, X c (W|R)~X|WRV R, W, X, Q c R{(W{X)~QRV R, W, X, S c R~W{X{SRV R, W, X, T c W~T|XRRV R, W, X, U c R~(X{U)|WRV R, W, X, W c (W|R)~X|WRV R, X, P, P c (R{P)~X{PRV R, X, P, R c (R{X)~R{PRV R, X, P, S c (X{P)~S|RRV R, X, P, T c (X|P)~T|RRV R, X, P, U c (X|R)~U{PRV R, X, P, V c R~(X{P){VRV R, X, P, X c R~X{P{XRV R, X, Q, S c R~(X{Q){SRV R, X, Q, T c R~X{Q~TRV R, X, Q, W c R~X{Q{WRV R, X, R, P c (R{X)~R{PRV R, X, R, S c RR{X~SRV R, X, R, V c R{X~R{VRV R, X, S, P c (X{P)~S|RRV R, X, S, Q c R{X~S|QRV R, X, S, R c RR{X~SRV R, X, S, S c (R{S)~S{XRV R, X, S, U c R~X{S{URV R, X, S, W c R~W{X{SRV R, X, T, P c (X|P)~T|RRV R, X, T, Q c R~X{T~QRV R, X, T, T c R{X{T~TRV R, X, T, V c (X|R)~T{VRV R, X, T, W c T~W|XRRV R, X, U, P c (X|R)~U{PRV R, X, U, S c R~X{U{SRV R, X, U, W c R~(X{U)|WRV R, X, V, P c R~(X{P){VRV R, X, V, R c R~X{V{RRV R, X, V, T c (X|R)~V|TRV R, X, V, V c R~V{X{VRV R, X, W, Q c R{(X{W)~QRV R, X, W, S c R~W{X{SRV R, X, W, T c W~T|XRRV R, X, W, U c R~(X{U)|WRV R, X, W, W c X~(W|R)|WRV R, X, X, P c R~X{X{PRV S, O, P, X c (S{O)~X{PRV S, O, T, W c (S{O)~W{TRV S, O, V, X c (S{O)~V{XRV S, O, W, T c (S{O)~W{TRV S, O, X, P c (S{O)~X{PRV S, O, X, V c (S{O)~V{XRV S, P, O, X c (S{O)~X{PRV S, P, P, W c S~(P{W){PRV S, P, P, X c S~P~X{PRV S, P, Q, U c (S{Q)~U{PRV S, P, Q, V c (S{P)~V{QRV S, P, Q, X c S~X|P{QRV S, P, R, R c S~R~R{PRV S, P, R, U c S~(R{U){PRV S, P, R, W c (S{P)~W|RRV S, P, R, X c S~(P{X)|RRV S, P, S, T c S~(S{T){PRV S, P, S, W c S{P{S~WRV S, P, S, X c S~(PS{X)RV S, P, T, S c (S{T)~S{PRV S, P, T, V c S~(P{V){TRV S, P, T, W c S~P~W{TRV S, P, T, X c S~(X|P){TRV S, P, U, Q c (S{Q)~U{PRV S, P, U, R c S~(U{R){PRV S, P, U, V c (S{P)~U{VRV S, P, U, W c S~W|P{URV S, P, U, X c S~(P{U){XRV S, P, V, Q c (S{P)~V{QRV S, P, V, T c S~(P{V){TRV S, P, V, U c (S{P)~U{VRV S, P, V, W c S~V{P{WRV S, P, V, X c S~P~V{XRV S, P, W, P c S~(P{W){PRV S, P, W, R c (S{P)~W|RRV S, P, W, S c S{P{W~SRV S, P, W, T c S~P~W{TRV S, P, W, U c S~W|P{URV S, P, W, V c S~V{P{WRV S, P, W, X c (S{P)~X|WRV S, P, X, O c S~X{P{ORV S, P, X, P c S~P~X{PRV S, P, X, Q c S~X|P{QRV S, P, X, R c S~(P{X)|RRV S, P, X, S c S~(PS{X)RV S, P, X, T c S~(X|P){TRV S, P, X, U c S~(P{U){XRV S, P, X, V c S~P~V{XRV S, P, X, W c (S{P)~X|WRV S, P, X, X c (S{PX)~XRV S, Q, P, U c (S{Q)~U{PRV S, Q, P, V c S~(Q{V){PRV S, Q, P, X c S~X{Q|PRV S, Q, Q, X c S~X{QQRV S, Q, R, T c S~Q~T|RRV S, Q, R, W c S~(Q{W)|RRV S, Q, R, X c S{(Q{X)~RRV S, Q, S, T c S~Q~S{TRV S, Q, T, R c S~Q~T|RRV S, Q, T, S c S~Q~S{TRV S, Q, T, U c S~(Q{U){TRV S, Q, T, V c (S{Q)~T{VRV S, Q, T, X c S~(Q{T){XRV S, Q, U, P c (S{Q)~U{PRV S, Q, U, T c S~(Q{U){TRV S, Q, V, P c S~(Q{V){PRV S, Q, V, T c (S{Q)~V|TRV S, Q, V, V c S~V{Q{VRV S, Q, V, W c S~W|Q{VRV S, Q, V, X c S~(Q{X)|VRV S, Q, W, R c S~(Q{W)|RRV S, Q, W, V c S~W|Q{VRV S, Q, W, X c S~(QW{X)RV S, Q, X, P c S~X{Q|PRV S, Q, X, Q c S~X{QQRV S, Q, X, R c S{(Q{X)~RRV S, Q, X, T c S~(Q{T){XRV S, Q, X, V c S~(Q{X)|VRV S, Q, X, W c S~(QW{X)RV S, Q, X, X c S~(X|Q){XRV S, R, P, R c S~R~R{PRV S, R, P, U c S~(R{U){PRV S, R, P, W c (S{P)~W|RRV S, R, P, X c S~(P{X)|RRV S, R, Q, T c (S{R)~T{QRV S, R, Q, W c S~(Q{W)|RRV S, R, Q, X c S{R~(Q{X)RV S, R, R, P c S~R~R{PRV S, R, R, V c S~(R{V)|RRV S, R, R, W c S{R~(R{W)RV S, R, R, X c S~X{RRRV S, R, S, T c (S{S)~T|RRV S, R, S, U c S~(S{U)|RRV S, R, S, V c S{R~(S{V)RV S, R, S, X c (S{R)~S{XRV S, R, T, Q c (S{R)~T{QRV S, R, T, S c (S{S)~T|RRV S, R, T, T c S~(R{T){TRV S, R, T, U c S{R{T~URV S, R, U, P c S~(R{U){PRV S, R, U, S c (S{U)~S|RRV S, R, U, T c S{R{U~TRV S, R, U, U c S|R{U~URV S, R, U, V c (S{U)~R{VRV S, R, U, X c S{R~X{URV S, R, V, R c S~(R{V)|RRV S, R, V, S c S{R~(V{S)RV S, R, V, U c S~V{R{URV S, R, V, V c V~V|S~RRV S, R, V, W c S~(R{W)|VRV S, R, W, P c (S{W)~R{PRV S, R, W, Q c S~W{R{QRV S, R, W, R c S{(R{W)~RRV S, R, W, V c S~(R{W)|VRV S, R, W, W c S~W|R{WRV S, R, W, X c S{R~W{XRV S, R, X, P c S~(X{P)|RRV S, R, X, Q c S{R~(X{Q)RV S, R, X, R c S~X{RRRV S, R, X, S c S|R{X~SRV S, R, X, U c S{R~X{URV S, R, X, W c S{R~W{XRV S, S, P, T c S~(S{T){PRV S, S, P, W c S{S~W{PRV S, S, P, X c S~(PS{X)RV S, S, Q, T c S~S~Q{TRV S, S, R, T c (S{S)~T|RRV S, S, R, U c S~(S{U)|RRV S, S, R, V c S~S{R~VRV S, S, R, X c S~(S{R){XRV S, S, S, T c (S{S)~S{TRV S, S, S, X c SS{S~XRV S, S, T, P c S~(S{T){PRV S, S, T, Q c S~S~Q{TRV S, S, T, R c (S{S)~T|RRV S, S, T, S c (S{S)~S{TRV S, S, T, V c S{S~V{TRV S, S, T, W c S~(TS{W)RV S, S, T, X c S~X|S{TRV S, S, U, R c S~(S{U)|RRV S, S, U, U c SS{U~URV S, S, U, X c S{S~U{XRV S, S, V, R c S{(S{V)~RRV S, S, V, T c S{S~V{TRV S, S, V, V c S~(S{V)|VRV S, S, V, X c S~(V{XS)RV S, S, W, P c S{S~W{PRV S, S, W, T c S~(W{TS)RV S, S, W, X c S~W|S{XRV S, S, X, P c S~(X{PS)RV S, S, X, R c S{S~X|RRV S, S, X, S c SS{X~SRV S, S, X, T c S~X|S{TRV S, S, X, U c S{S~U{XRV S, S, X, V c S~(XS{V)RV S, S, X, W c S~W|S{XRV S, T, O, W c (S{O)~W{TRV S, T, P, S c (S{T)~S{PRV S, T, P, V c S~(P{V){TRV S, T, P, W c S~P~W{TRV S, T, P, X c S~(X|P){TRV S, T, Q, R c S~T~Q|RRV S, T, Q, S c S~Q~S{TRV S, T, Q, U c S~(Q{U){TRV S, T, Q, V c S{T~V|QRV S, T, Q, X c S~(T{Q){XRV S, T, R, Q c S~T~Q|RRV S, T, R, S c (S{S)~T|RRV S, T, R, T c S~(T{R){TRV S, T, R, U c S{(T{U)~RRV S, T, S, P c (S{T)~S{PRV S, T, S, Q c S~S~Q{TRV S, T, S, R c (S{S)~T|RRV S, T, S, S c (S{S)~S{TRV S, T, S, V c S{T{S~VRV S, T, S, W c S~(TS{W)RV S, T, S, X c S~X{T|SRV S, T, T, R c S~(T{T)|RRV S, T, T, W c S{T~T{WRV S, T, T, X c S~X{TTRV S, T, U, Q c S~(U{Q){TRV S, T, U, R c S{(T{U)~RRV S, T, U, U c T|S{U~URV S, T, U, V c S~(T{U)|VRV S, T, U, W c S~U{T{WRV S, T, U, X c S~X|T{URV S, T, V, P c S~(V{P){TRV S, T, V, Q c S{T~V|QRV S, T, V, S c S{T{V~SRV S, T, V, U c S~(T{U)|VRV S, T, V, W c S{T~W|VRV S, T, W, O c S~W{T{ORV S, T, W, P c S~W{T~PRV S, T, W, S c S~(TS{W)RV S, T, W, T c S{T~T{WRV S, T, W, U c S~U{T{WRV S, T, W, V c S{T~W|VRV S, T, W, W c (S{TW)~WRV S, T, W, X c S~T{W{XRV S, T, X, P c S~(X|P){TRV S, T, X, Q c S~(T{Q){XRV S, T, X, S c S~X{T|SRV S, T, X, T c S~X{TTRV S, T, X, U c S~X|T{URV S, T, X, W c S~T{X{WRV S, U, P, Q c (S{Q)~U{PRV S, U, P, R c S~(U{R){PRV S, U, P, V c (S{P)~U{VRV S, U, P, W c S~W{U|PRV S, U, P, X c S~(U{P){XRV S, U, Q, P c (S{Q)~U{PRV S, U, Q, T c S~(U{Q){TRV S, U, R, P c S~(U{R){PRV S, U, R, S c (S{U)~S|RRV S, U, R, T c S{(U{T)~RRV S, U, R, U c S{U~U|RRV S, U, R, V c (S{U)~R{VRV S, U, R, X c S{U{R~XRV S, U, S, R c (S{U)~S|RRV S, U, S, U c SS{U~URV S, U, S, X c S{U~S{XRV S, U, T, Q c S~(U{Q){TRV S, U, T, R c S{(U{T)~RRV S, U, T, U c U~U|S{TRV S, U, T, V c S~(U{T)|VRV S, U, T, W c S~U{T{WRV S, U, T, X c S~X{U|TRV S, U, U, R c S{U~U|RRV S, U, U, S c SS{U~URV S, U, U, T c U~U|S{TRV S, U, U, V c S~U{U{VRV S, U, U, X c S~X{UURV S, U, V, P c (S{P)~U{VRV S, U, V, R c (S{U)~R{VRV S, U, V, T c S~(U{T)|VRV S, U, V, U c S~U{V{URV S, U, V, W c (U~W)|(S{V)RV S, U, V, X c S{U~V|XRV S, U, W, P c S~W{U|PRV S, U, W, T c S~U{W{TRV S, U, W, V c (U~W)|(S{V)RV S, U, X, P c S~(U{P){XRV S, U, X, R c S{U{X~RRV S, U, X, S c S~U{X{SRV S, U, X, T c S~X{U|TRV S, U, X, U c S~X{UURV S, U, X, V c S{U~V|XRV S, V, O, X c S~V{O{XRV S, V, P, Q c S~(V{Q){PRV S, V, P, T c S~(V{P){TRV S, V, P, U c (S{P)~U{VRV S, V, P, W c S~V{P{WRV S, V, P, X c S~V{P~XRV S, V, Q, P c S~(V{Q){PRV S, V, Q, T c S{V~T|QRV S, V, Q, V c S~V{Q{VRV S, V, Q, W c S~W{V|QRV S, V, Q, X c S~(Q{X)|VRV S, V, R, R c S~(V{R)|RRV S, V, R, S c (S{V)~R{SRV S, V, R, U c S~V{R{URV S, V, R, V c V~V|S~RRV S, V, R, W c S~(R{W)|VRV S, V, S, R c S{(V{S)~RRV S, V, S, T c S{V~S{TRV S, V, S, V c (S{V)~S|VRV S, V, S, X c S~(V{XS)RV S, V, T, P c S~(V{P){TRV S, V, T, Q c S{V~T|QRV S, V, T, S c S~V{T{SRV S, V, T, U c S~(T{U)|VRV S, V, T, W c S{T~W|VRV S, V, U, P c (S{P)~U{VRV S, V, U, R c S~V{U{RRV S, V, U, T c S~(U{T)|VRV S, V, U, U c S~U{V{URV S, V, U, W c (U~W)|(S{V)RV S, V, U, X c S{V~U|XRV S, V, V, Q c S~V{V{QRV S, V, V, R c V~V|S~RRV S, V, V, S c (S{V)~S|VRV S, V, V, W c (V~V)|(S{W)RV S, V, V, X c (S{XV)~VRV S, V, W, P c S~V{W{PRV S, V, W, Q c S~W{V|QRV S, V, W, R c S~(W{R)|VRV S, V, W, T c S{W~T|VRV S, V, W, U c (W~U)|(S{V)RV S, V, W, V c (V~V)|(S{W)RV S, V, W, X c S~X|V{WRV S, V, X, O c S~V{X{ORV S, V, X, P c S~V{X~PRV S, V, X, Q c S~(X{Q)|VRV S, V, X, S c S~(V{XS)RV S, V, X, U c S{V~U|XRV S, V, X, V c (S{XV)~VRV S, V, X, W c S~X|V{WRV S, W, O, T c S~W{O{TRV S, W, P, P c S~(W{P){PRV S, W, P, R c (S{W)~R{PRV S, W, P, S c S~W{P{SRV S, W, P, T c S~W{P~TRV S, W, P, U c S~W|P{URV S, W, P, V c S~V{W{PRV S, W, P, X c S~(W|P){XRV S, W, Q, R c S~W{Q{RRV S, W, Q, V c S~W|Q{VRV S, W, Q, X c S~(QW{X)RV S, W, R, P c (S{W)~R{PRV S, W, R, Q c S~W{R{QRV S, W, R, R c S{(W{R)~RRV S, W, R, V c S~(W{R)|VRV S, W, R, W c S~W|R{WRV S, W, R, X c S{W~R{XRV S, W, S, P c S{W~S{PRV S, W, S, T c S~(W{TS)RV S, W, S, X c S~W|S{XRV S, W, T, O c S~W{T{ORV S, W, T, P c S~W{T~PRV S, W, T, S c S~(W{TS)RV S, W, T, T c S{W{T~TRV S, W, T, U c S~U{W{TRV S, W, T, V c S{W~T|VRV S, W, T, W c (S{TW)~WRV S, W, T, X c S~T{W{XRV S, W, U, P c S~W{U|PRV S, W, U, T c S~U{W{TRV S, W, U, V c (W~U)|(S{V)RV S, W, V, P c S~V{W{PRV S, W, V, Q c S~W{V|QRV S, W, V, R c S~(W{R)|VRV S, W, V, T c S{W~T|VRV S, W, V, U c (W~U)|(S{V)RV S, W, V, V c (V~V)|(S{W)RV S, W, V, X c S~X{W|VRV S, W, W, R c S~W{W|RRV S, W, W, T c (S{TW)~WRV S, W, W, X c S~X{WWRV S, W, X, P c S~(W|P){XRV S, W, X, Q c S~(X{QW)RV S, W, X, R c S{W~R{XRV S, W, X, S c S~W{X|SRV S, W, X, T c S~T{W{XRV S, W, X, V c S~X{W|VRV S, W, X, W c S~X{WWRV S, W, X, X c S~X|W{XRV S, X, O, P c S~X{O{PRV S, X, O, V c (S{O)~V{XRV S, X, P, O c S~X{P{ORV S, X, P, P c S~X{P~PRV S, X, P, Q c S~X|P{QRV S, X, P, R c S~(X{P)|RRV S, X, P, S c S~(X{PS)RV S, X, P, T c S~(X|P){TRV S, X, P, U c S~(P{U){XRV S, X, P, V c S~P~V{XRV S, X, P, W c (S{P)~X|WRV S, X, P, X c (S{PX)~XRV S, X, Q, P c S~X{Q|PRV S, X, Q, Q c S~X{QQRV S, X, Q, R c S{(X{Q)~RRV S, X, Q, T c S~(Q{T){XRV S, X, Q, V c S~(X{Q)|VRV S, X, Q, W c S~(X{QW)RV S, X, Q, X c S~(X|Q){XRV S, X, R, P c S~(X{P)|RRV S, X, R, Q c (S{X)~R|QRV S, X, R, R c S~X{RRRV S, X, R, S c S~X|R{SRV S, X, R, U c S{X~R{URV S, X, R, W c S{X{R~WRV S, X, S, P c S~(X{PS)RV S, X, S, R c S{X~S|RRV S, X, S, S c S~X{SSRV S, X, S, T c S~X|S{TRV S, X, S, U c S{X{S~URV S, X, S, V c S~(XS{V)RV S, X, S, W c S~W{X|SRV S, X, T, P c S~(X|P){TRV S, X, T, Q c S~(T{Q){XRV S, X, T, S c S~X{T|SRV S, X, T, T c S~X{TTRV S, X, T, U c S~X|T{URV S, X, T, W c S~T{X{WRV S, X, U, P c S~(U{P){XRV S, X, U, R c S{X~R{URV S, X, U, S c S{X{U~SRV S, X, U, T c S~X{U|TRV S, X, U, U c S~X{UURV S, X, U, V c S~X|U{VRV S, X, V, O c S~V{X{ORV S, X, V, P c S~V{X~PRV S, X, V, Q c S~(X{Q)|VRV S, X, V, S c S~(XS{V)RV S, X, V, U c S~X{V|URV S, X, V, V c (S{XV)~VRV S, X, V, W c S~X|V{WRV S, X, W, P c S~(W|P){XRV S, X, W, Q c S~(X{QW)RV S, X, W, R c S{X{W~RRV S, X, W, S c S~W{X|SRV S, X, W, T c S~T{X{WRV S, X, W, V c S~X{W|VRV S, X, W, W c S~X{WWRV S, X, W, X c S~X|W{XRV S, X, X, P c (S{PX)~XRV S, X, X, Q c S~(X|Q){XRV S, X, X, W c S~X{X|WRV S, X, X, X c S~X{XXRV T, O, Q, V c (T{O)~V{QRV T, O, R, W c (T{O)~W|RRV T, O, S, W c T{O{S~WRV T, O, U, V c (T{O)~U{VRV T, O, V, Q c (T{O)~V{QRV T, O, V, U c (T{O)~U{VRV T, O, W, R c (T{O)~W|RRV T, O, W, S c T{O{W~SRV T, O, W, X c (T{O)~X|WRV T, O, X, W c (T{O)~X|WRV T, P, P, U c (T{P)~U{PRV T, P, P, V c T~V{P{PRV T, P, P, X c (T|P)~X{PRV T, P, Q, U c T~(P{U){QRV T, P, Q, V c T~P~V{QRV T, P, Q, W c (T~W)|(P{Q)RV T, P, R, V c T~(P{V)|RRV T, P, R, W c T{(P{R)~WRV T, P, R, X c T~(X|P)|RRV T, P, S, S c (T{S)~S{PRV T, P, S, V c T{(P{V)~SRV T, P, S, W c T{P~S~WRV T, P, S, X c T{S~(X|P)RV T, P, T, V c (T{P)~T{VRV T, P, T, W c (T|P)~W{TRV T, P, U, P c (T{P)~U{PRV T, P, U, Q c T~(P{U){QRV T, P, U, U c T~U{P{URV T, P, U, V c T~P~U{VRV T, P, U, W c T~U|P{WRV T, P, V, P c T~V{P{PRV T, P, V, Q c T~P~V{QRV T, P, V, R c T~(P{V)|RRV T, P, V, S c T{(P{V)~SRV T, P, V, T c (T{P)~V|TRV T, P, V, U c T~P~U{VRV T, P, V, V c T~(V|P){VRV T, P, V, X c (T|P)~V{XRV T, P, W, Q c (T~W)|(P{Q)RV T, P, W, R c T~P~W|RRV T, P, W, S c T{P~W~SRV T, P, W, T c (T|P)~W{TRV T, P, W, U c T~U|P{WRV T, P, W, W c T~(P{W)|WRV T, P, W, X c T~P~X|WRV T, P, X, P c (T|P)~X{PRV T, P, X, R c T~(X|P)|RRV T, P, X, S c T{(X|P)~SRV T, P, X, V c (T|P)~V{XRV T, P, X, W c T~P~X|WRV T, P, X, X c T~X{P|XRV T, Q, O, V c (T{O)~V{QRV T, Q, P, U c T~(P{U){QRV T, Q, P, V c T~P~V{QRV T, Q, P, W c (T~W)|(Q{P)RV T, Q, Q, T c (T{Q)~T{QRV T, Q, Q, W c T{(Q{Q)~WRV T, Q, Q, X c T~(X|Q){QRV T, Q, R, S c T~Q~S|RRV T, Q, R, U c T~(Q{U)|RRV T, Q, R, V c T~Q~R{VRV T, Q, R, W c (T{W)~R|QRV T, Q, R, X c T~Q{R~XRV T, Q, S, R c T~Q~S|RRV T, Q, S, S c T{Q~S~SRV T, Q, S, U c T{(Q{U)~SRV T, Q, S, V c T~(Q{S){VRV T, Q, S, X c (T{Q)~S{XRV T, Q, T, Q c (T{Q)~T{QRV T, Q, T, U c T{Q{T~URV T, Q, T, V c T~(QT{V)RV T, Q, T, W c T~W{Q|TRV T, Q, U, P c T~(U{P){QRV T, Q, U, R c T~(Q{U)|RRV T, Q, U, S c T{(Q{U)~SRV T, Q, U, T c T{Q{U~TRV T, Q, U, W c T{(U|Q)~WRV T, Q, U, X c T~U|Q{XRV T, Q, V, O c T~V{Q{ORV T, Q, V, P c T~V{Q~PRV T, Q, V, R c T~Q~R{VRV T, Q, V, S c T~(Q{S){VRV T, Q, V, T c T~(QT{V)RV T, Q, V, V c (T{QV)~VRV T, Q, V, W c T~(Q{V)|WRV T, Q, V, X c T{Q~(V{X)RV T, Q, W, P c (T~W)|(Q{P)RV T, Q, W, Q c T{Q~W~QRV T, Q, W, R c (T{W)~R|QRV T, Q, W, T c T~W{Q|TRV T, Q, W, U c T{W~(U|Q)RV T, Q, W, V c T~(Q{V)|WRV T, Q, W, W c T{Q~(W{W)RV T, Q, X, Q c T~(X|Q){QRV T, Q, X, R c T~Q{X~RRV T, Q, X, S c (T{Q)~S{XRV T, Q, X, U c (T~X)|(Q{U)RV T, Q, X, V c T{Q~(X{V)RV T, Q, X, X c (T{X)~Q{XRV T, R, O, W c (T{O)~W|RRV T, R, P, V c T~(P{V)|RRV T, R, P, W c T{(R{P)~WRV T, R, P, X c T~(X|P)|RRV T, R, Q, S c T~(R{S){QRV T, R, Q, U c T~(Q{U)|RRV T, R, Q, V c T~R~Q{VRV T, R, Q, W c (T{W)~R|QRV T, R, Q, X c T~Q{R~XRV T, R, R, T c (T{R)~T|RRV T, R, R, V c T~(R{R){VRV T, R, R, W c T~R~R|WRV T, R, S, Q c T~(R{S){QRV T, R, S, S c T~(S{S)|RRV T, R, S, T c (T{R)~S{TRV T, R, S, U c (T{U)~R{SRV T, R, T, R c (T{R)~T|RRV T, R, T, S c T{(R{T)~SRV T, R, T, V c T|R{T~VRV T, R, T, W c T~(W|RT)RV T, R, T, X c T{R~X{TRV T, R, U, Q c T~(U{Q)|RRV T, R, U, S c (T{U)~R{SRV T, R, U, V c T~V{URRV T, R, U, W c T~(R{U)|WRV T, R, V, P c (T{V)~R{PRV T, R, V, Q c T~R~Q{VRV T, R, V, R c T~(R{R){VRV T, R, V, T c T|R{V~TRV T, R, V, U c T~V{URRV T, R, V, V c R~(V{V)|TRV T, R, V, W c T{(V|R)~WRV T, R, V, X c T~(X|R){VRV T, R, W, O c T~W|R{ORV T, R, W, P c T{(R{P)~WRV T, R, W, Q c (T{W)~R|QRV T, R, W, R c T~R~R|WRV T, R, W, T c T~(W|RT)RV T, R, W, U c T~(R{U)|WRV T, R, W, V c T{W~(V|R)RV T, R, W, W c T{R~W{WRV T, R, W, X c T~W|XRRV T, R, X, P c T~(X|P)|RRV T, R, X, Q c T~Q{R~XRV T, R, X, T c T{R~X{TRV T, R, X, V c T~(X|R){VRV T, R, X, W c T~W|XRRV T, S, O, W c T{(S{O)~WRV T, S, P, S c (T{S)~S{PRV T, S, P, V c T{S~(P{V)RV T, S, P, W c T{S~P~WRV T, S, P, X c T{S~(X|P)RV T, S, Q, R c T~S~Q|RRV T, S, Q, S c T{S~Q~SRV T, S, Q, U c T{S~(Q{U)RV T, S, Q, V c T~(S{Q){VRV T, S, Q, X c (T{Q)~S{XRV T, S, R, Q c T~(S{R){QRV T, S, R, S c T~(S{S)|RRV T, S, R, T c T{S~(R{T)RV T, S, R, U c T~U{S{RRV T, S, S, P c (T{S)~S{PRV T, S, S, Q c T{S~S~QRV T, S, S, R c T~(S{S)|RRV T, S, S, S c T{(S{S)~SRV T, S, S, V c T{S{S~VRV T, S, S, W c (TS{W)~SRV T, S, S, X c T|S{S~XRV T, S, T, R c T{S~(T{R)RV T, S, T, W c (T{S)~T|WRV T, S, T, X c TT{S~XRV T, S, U, Q c T{S~(U{Q)RV T, S, U, R c T~U{S{RRV T, S, U, U c T|S{U~URV T, S, U, V c (T{U)~S|VRV T, S, U, W c T{S~U{WRV T, S, U, X c S~X|T{URV T, S, V, P c T{S~(V{P)RV T, S, V, Q c T~(S{Q){VRV T, S, V, S c T{S{V~SRV T, S, V, U c T~V|S{URV T, S, V, W c T~V{WSRV T, S, W, O c T{S~W{ORV T, S, W, P c T{S~W~PRV T, S, W, S c (TS{W)~SRV T, S, W, T c (T{S)~T|WRV T, S, W, U c T{S~U{WRV T, S, W, V c T~W{S|VRV T, S, W, W c T{(W|S)~WRV T, S, W, X c T~S{W{XRV T, S, X, P c T{S~(X|P)RV T, S, X, Q c T~X|S~QRV T, S, X, S c T{S~X|SRV T, S, X, T c TT{S~XRV T, S, X, U c S~X|T{URV T, S, X, W c T~S{X{WRV T, T, P, V c T~(T{P){VRV T, T, P, W c T{(T|P)~WRV T, T, Q, Q c T~(T{Q){QRV T, T, Q, U c T~T{Q~URV T, T, Q, V c T~(QT{V)RV T, T, Q, W c T~W|T{QRV T, T, R, R c T~(T{R)|RRV T, T, R, S c T{(T{R)~SRV T, T, R, V c (T{T)~R{VRV T, T, R, W c T~(W|RT)RV T, T, R, X c T{T{R~XRV T, T, S, R c (T{T)~S|RRV T, T, S, W c T~T{S{WRV T, T, S, X c TT{S~XRV T, T, T, V c T{T~T{VRV T, T, U, Q c T{T~U{QRV T, T, U, U c T~T{U{URV T, T, U, V c T~(U{VT)RV T, T, V, P c T~(T{P){VRV T, T, V, Q c T~(V{QT)RV T, T, V, R c T{T~V|RRV T, T, V, T c T~T{V{TRV T, T, V, U c T~(VT{U)RV T, T, V, V c T~V|T{VRV T, T, W, P c T{(T|P)~WRV T, T, W, Q c T~W|T{QRV T, T, W, R c T~(W|RT)RV T, T, W, S c T~T{W{SRV T, T, W, W c T{T~W|WRV T, T, W, X c T{W~(X|T)RV T, T, X, R c T{T{X~RRV T, T, X, S c TT{X~SRV T, T, X, W c T{(X|T)~WRV T, U, O, V c T~U{O{VRV T, U, P, P c (T{P)~U{PRV T, U, P, Q c T~(U{P){QRV T, U, P, U c T~U{P{URV T, U, P, V c T~U{P~VRV T, U, P, W c T~U|P{WRV T, U, Q, P c T~(U{P){QRV T, U, Q, R c T~(U{Q)|RRV T, U, Q, S c T{(U{Q)~SRV T, U, Q, T c T~U{Q{TRV T, U, Q, W c T{(U|Q)~WRV T, U, Q, X c T~U|Q{XRV T, U, R, Q c T~(U{Q)|RRV T, U, R, S c (T{U)~R{SRV T, U, R, V c T~V{URRV T, U, R, W c T~(U{R)|WRV T, U, S, Q c T{(U{Q)~SRV T, U, S, R c T~U{S{RRV T, U, S, U c T{U~U|SRV T, U, S, V c (T{U)~S|VRV T, U, S, W c T{U~S{WRV T, U, S, X c U|T{S~XRV T, U, T, Q c T{U~T{QRV T, U, T, U c T~T{U{URV T, U, T, V c T~(U{VT)RV T, U, U, P c T~U{U{PRV T, U, U, S c T{U~U|SRV T, U, U, T c T~T{U{URV T, U, U, U c U|T{U~URV T, U, U, V c (T{VU)~URV T, U, U, W c (U~W)|(T{U)RV T, U, V, O c T~U{V{ORV T, U, V, P c T~U{V~PRV T, U, V, R c T~V{URRV T, U, V, S c (T{U)~S|VRV T, U, V, T c T~(U{VT)RV T, U, V, U c (T{VU)~URV T, U, V, V c (U|TV)~VRV T, U, V, W c T~V|U{WRV T, U, W, P c T~U{W|PRV T, U, W, Q c T{(U|Q)~WRV T, U, W, R c T~(U{R)|WRV T, U, W, S c T{U~S{WRV T, U, W, U c (U~W)|(T{U)RV T, U, W, V c T~V|U{WRV T, U, W, X c T~W{U|XRV T, U, X, Q c T~U{X|QRV T, U, X, S c U|T{X~SRV T, U, X, W c T~W{U|XRV T, V, O, Q c T~V{O{QRV T, V, O, U c (T{O)~U{VRV T, V, P, P c T~V{P{PRV T, V, P, Q c T~V{P~QRV T, V, P, R c T~(V{P)|RRV T, V, P, S c T{(V{P)~SRV T, V, P, T c (T{P)~V|TRV T, V, P, U c T~P~U{VRV T, V, P, V c T~(V|P){VRV T, V, P, X c (T|P)~V{XRV T, V, Q, O c T~V{Q{ORV T, V, Q, P c T~V{Q~PRV T, V, Q, R c T~Q~R{VRV T, V, Q, S c T~V|Q{SRV T, V, Q, T c T~(V{QT)RV T, V, Q, V c (T{QV)~VRV T, V, Q, W c T~(V{Q)|WRV T, V, Q, X c T{(V{X)~QRV T, V, R, P c (T{V)~R{PRV T, V, R, Q c T~R~Q{VRV T, V, R, R c T~(R{R){VRV T, V, R, T c T~V|R{TRV T, V, R, U c T~V{URRV T, V, R, V c (V{V)~R|TRV T, V, R, W c T{(V|R)~WRV T, V, R, X c T~(X|R){VRV T, V, S, P c T{(V{P)~SRV T, V, S, Q c T~V{S|QRV T, V, S, S c T{V~S{SRV T, V, S, U c T~V|S{URV T, V, S, W c T~V{WSRV T, V, T, P c T~(T{P){VRV T, V, T, Q c T~(V{QT)RV T, V, T, R c T{V~T|RRV T, V, T, T c T{V{T~TRV T, V, T, U c T~(VT{U)RV T, V, T, V c T~V|T{VRV T, V, U, O c T~U{V{ORV T, V, U, P c T~U{V~PRV T, V, U, R c T~V{URRV T, V, U, S c T~V{U|SRV T, V, U, T c T~(VT{U)RV T, V, U, U c (T{VU)~URV T, V, U, V c V~(U|TV)RV T, V, U, W c T~V|U{WRV T, V, V, P c T~(V|P){VRV T, V, V, Q c (T{QV)~VRV T, V, V, R c (V{V)~R|TRV T, V, V, T c T~V{V|TRV T, V, V, U c V~(U|TV)RV T, V, V, V c (V~V)|(T{V)RV T, V, V, X c T~V|V{XRV T, V, W, Q c T~(V{Q)|WRV T, V, W, R c T{(V|R)~WRV T, V, W, S c T~V{WSRV T, V, W, U c T~V{W|URV T, V, W, X c W~X|T~VRV T, V, X, P c (T~X)|(V{P)RV T, V, X, Q c T{(V{X)~QRV T, V, X, R c T~(X|R){VRV T, V, X, V c T~V{X|VRV T, V, X, W c X~W|T~VRV T, V, X, X c V~(X|T){XRV T, W, O, R c T~W{O|RRV T, W, O, S c T{(W{O)~SRV T, W, O, X c (T{O)~X|WRV T, W, P, Q c (T~W)|(P{Q)RV T, W, P, R c T{W~(P{R)RV T, W, P, S c T{W~P~SRV T, W, P, T c T{W~(T|P)RV T, W, P, U c T~U{W|PRV T, W, P, W c T~(W{P)|WRV T, W, P, X c T~P~X|WRV T, W, Q, P c (T~W)|(Q{P)RV T, W, Q, Q c T{W~(Q{Q)RV T, W, Q, R c (T{W)~R|QRV T, W, Q, T c T~W{Q|TRV T, W, Q, U c T{W~(U|Q)RV T, W, Q, V c T~(W|Q){VRV T, W, Q, W c T{WQ~WRV T, W, R, O c T~W|R{ORV T, W, R, P c T{W~(R{P)RV T, W, R, Q c (T{W)~R|QRV T, W, R, R c T~R~R|WRV T, W, R, T c T~(W|RT)RV T, W, R, U c T~W{R|URV T, W, R, V c T{W~(V|R)RV T, W, R, W c T{W{R~WRV T, W, R, X c T~W|XRRV T, W, S, O c T{W~S{ORV T, W, S, P c T{W~S~PRV T, W, S, S c (TS{W)~SRV T, W, S, T c (T{S)~T|WRV T, W, S, U c T{W{S~URV T, W, S, V c T~W{S|VRV T, W, S, W c T{(W|S)~WRV T, W, S, X c T~S{W{XRV T, W, T, P c T{W~(T|P)RV T, W, T, Q c T~W|T{QRV T, W, T, R c T~(W|RT)RV T, W, T, S c T~T{W{SRV T, W, T, W c T{W~T|WRV T, W, T, X c T{W~(X|T)RV T, W, U, P c T~U{W|PRV T, W, U, Q c T{W~(U|Q)RV T, W, U, R c T~W|U{RRV T, W, U, S c T{W{U~SRV T, W, U, U c (W~U)|(T{U)RV T, W, U, V c T~V{W|URV T, W, U, X c T~W{U|XRV T, W, V, Q c T~(W|Q){VRV T, W, V, R c T{W~(V|R)RV T, W, V, S c T~W|V{SRV T, W, V, U c T~V{W|URV T, W, V, X c W~X|T~VRV T, W, W, P c T~(W{P)|WRV T, W, W, Q c T{(W{W)~QRV T, W, W, R c T{W{W~RRV T, W, W, S c T{W~(W|S)RV T, W, W, T c T~W|W{TRV T, W, X, O c T~X|W{ORV T, W, X, P c T~X|W~PRV T, W, X, R c T~W|XRRV T, W, X, S c T~S{W{XRV T, W, X, T c T{W~(X|T)RV T, W, X, U c T~W|X{URV T, W, X, V c W~X|T~VRV T, W, X, X c (T|WX)~XRV T, X, O, W c T~X{O|WRV T, X, P, P c (T|P)~X{PRV T, X, P, R c T~(X|P)|RRV T, X, P, S c T{(X|P)~SRV T, X, P, V c (T~X)|(P{V)RV T, X, P, W c T~X|P~WRV T, X, P, X c T~X{P|XRV T, X, Q, Q c T~(X|Q){QRV T, X, Q, R c T~Q{X~RRV T, X, Q, S c T~X|Q~SRV T, X, Q, U c (T~X)|(Q{U)RV T, X, Q, V c T{(X{V)~QRV T, X, Q, X c (T{X)~Q{XRV T, X, R, P c T~(X|P)|RRV T, X, R, Q c T~Q{X~RRV T, X, R, T c T{X~R{TRV T, X, R, V c T~(X|R){VRV T, X, R, W c T~W|XRRV T, X, S, P c T{(X|P)~SRV T, X, S, Q c T~X|S~QRV T, X, S, S c T{X~S|SRV T, X, S, T c TT{X~SRV T, X, S, U c X~S|T{URV T, X, S, W c T~S{X{WRV T, X, T, R c (T~X)|(T{R)RV T, X, T, S c TT{X~SRV T, X, T, W c T{(X|T)~WRV T, X, U, Q c (T~X)|(U{Q)RV T, X, U, S c X~S|T{URV T, X, U, W c T~W|X{URV T, X, V, P c (T~X)|(V{P)RV T, X, V, Q c T{(X{V)~QRV T, X, V, R c T~(X|R){VRV T, X, V, V c T~V{X|VRV T, X, V, W c X~W|T~VRV T, X, V, X c (X|T)~V{XRV T, X, W, O c T~X|W{ORV T, X, W, P c T~X|W~PRV T, X, W, R c T~W|XRRV T, X, W, S c T~S{X{WRV T, X, W, T c T~(X|WT)RV T, X, W, U c T~W|X{URV T, X, W, V c X~W|T~VRV T, X, W, X c (T|WX)~XRV T, X, X, P c T~X|X{PRV T, X, X, Q c (T{X)~Q{XRV T, X, X, V c (X|T)~V{XRV T, X, X, W c (T|WX)~XRV U, O, P, U c (U{O)~U{PRV U, O, T, V c (U{O)~T{VRV U, O, U, P c (U{O)~U{PRV U, O, V, T c (U{O)~V|TRV U, P, O, U c (U{O)~U{PRV U, P, P, T c U~(P{T){PRV U, P, P, U c U~P~U{PRV U, P, P, V c U~(V|P){PRV U, P, Q, R c U~Q~R{PRV U, P, Q, S c U~(Q{S){PRV U, P, Q, T c (U{P)~T{QRV U, P, Q, U c U~U|P{QRV U, P, Q, V c (U|P)~V{QRV U, P, Q, W c U~(W|Q){PRV U, P, Q, X c (U|Q)~X{PRV U, P, R, Q c U~R~Q{PRV U, P, R, R c U~(R{R){PRV U, P, R, S c (U{R)~S{PRV U, P, R, U c (U{U)~R{PRV U, P, R, W c (U|P)~W|RRV U, P, R, X c U~(X|R){PRV U, P, S, Q c U~(S{Q){PRV U, P, S, R c (U{R)~S{PRV U, P, S, V c U~(P{S){VRV U, P, S, W c U|P{S~WRV U, P, S, X c (U{P)~S{XRV U, P, T, P c U~(P{T){PRV U, P, T, Q c (U{P)~T{QRV U, P, T, U c U{P{T~URV U, P, T, V c U~P~T{VRV U, P, T, W c U~T|P{WRV U, P, U, O c U~U{P{ORV U, P, U, P c U~P~U{PRV U, P, U, Q c U~U|P{QRV U, P, U, R c (U{U)~R{PRV U, P, U, T c U{P{U~TRV U, P, U, U c (U{PU)~URV U, P, U, V c (U|P)~U{VRV U, P, V, P c U~(V|P){PRV U, P, V, Q c (U|P)~V{QRV U, P, V, S c U~(P{S){VRV U, P, V, T c U~P~V|TRV U, P, V, U c (U|P)~U{VRV U, P, W, Q c U~(W|Q){PRV U, P, W, R c (U|P)~W|RRV U, P, W, S c U|P{W~SRV U, P, W, T c U~(W|P)|TRV U, P, W, X c (U|P)~X|WRV U, P, X, Q c (U|Q)~X{PRV U, P, X, R c U~(X|R){PRV U, P, X, S c (U{P)~S{XRV U, P, X, W c (U|P)~X|WRV U, Q, P, R c U~Q~R{PRV U, Q, P, S c U~(Q{S){PRV U, Q, P, T c (U{P)~T{QRV U, Q, P, U c U~U{Q|PRV U, Q, P, V c (U|P)~V{QRV U, Q, P, W c U~(W|Q){PRV U, Q, P, X c (U|Q)~X{PRV U, Q, Q, U c U~U{QQRV U, Q, R, P c U~Q~R{PRV U, Q, R, T c (U{Q)~T|RRV U, Q, R, U c U~U|Q{RRV U, Q, R, V c U~(Q{R){VRV U, Q, S, P c U~(Q{S){PRV U, Q, S, T c (U{Q)~S{TRV U, Q, T, P c (U{P)~T{QRV U, Q, T, R c (U{Q)~T|RRV U, Q, T, S c (U{Q)~S{TRV U, Q, T, T c U~(Q{T)|TRV U, Q, T, W c (U|Q)~W{TRV U, Q, T, X c U~T|Q{XRV U, Q, U, P c U~U{Q|PRV U, Q, U, Q c U~U{QQRV U, Q, U, R c U~U|Q{RRV U, Q, V, P c (U|P)~V{QRV U, Q, V, R c U~(Q{R){VRV U, Q, V, V c U~V{Q|VRV U, Q, V, X c (U|Q)~V{XRV U, Q, W, P c U~(W|Q){PRV U, Q, W, T c (U|Q)~W{TRV U, Q, W, X c (U{W)~Q{XRV U, Q, X, P c (U|Q)~X{PRV U, Q, X, T c U~(X|Q)|TRV U, Q, X, V c (U|Q)~V{XRV U, Q, X, W c (U{W)~Q{XRV U, R, P, Q c U~R~Q{PRV U, R, P, R c U~(R{R){PRV U, R, P, S c (U{R)~S{PRV U, R, P, U c (U{U)~R{PRV U, R, P, W c (U|P)~W|RRV U, R, P, X c U~(X|R){PRV U, R, Q, P c U~R~Q{PRV U, R, Q, T c (U{Q)~T|RRV U, R, Q, U c U~U{R|QRV U, R, Q, V c U~(R{Q){VRV U, R, R, P c U~(R{R){PRV U, R, R, U c U~U{RRRV U, R, S, P c (U{R)~S{PRV U, R, S, S c (U{S)~S|RRV U, R, S, T c U~(R{S)|TRV U, R, S, U c U~U|R{SRV U, R, S, V c U{R{S~VRV U, R, S, X c U{R~X{SRV U, R, T, Q c (U{Q)~T|RRV U, R, T, S c U~(R{S)|TRV U, R, T, V c UR{T~VRV U, R, T, W c (U{R)~T|WRV U, R, U, P c (U{U)~R{PRV U, R, U, Q c U~U{R|QRV U, R, U, R c U~U{RRRV U, R, U, S c U~U|R{SRV U, R, V, Q c U~(R{Q){VRV U, R, V, S c U{R{V~SRV U, R, V, T c UR{V~TRV U, R, V, W c U{R~W{VRV U, R, W, P c (U|P)~W|RRV U, R, W, T c (U{R)~T|WRV U, R, W, V c U{R~W{VRV U, R, W, W c (U~W)|(R{W)RV U, R, W, X c (U{X)~R|WRV U, R, X, P c U~(X|R){PRV U, R, X, S c U{R~X{SRV U, R, X, W c (U{X)~R|WRV U, S, P, Q c U~(S{Q){PRV U, S, P, R c (U{R)~S{PRV U, S, P, V c U~(S{P){VRV U, S, P, W c U{S~W|PRV U, S, P, X c (U{P)~S{XRV U, S, Q, P c U~(S{Q){PRV U, S, Q, T c (U{Q)~S{TRV U, S, R, P c (U{R)~S{PRV U, S, R, S c (U{S)~S|RRV U, S, R, T c U~(S{R)|TRV U, S, R, U c U~U{S|RRV U, S, R, V c (U{S)~R{VRV U, S, R, X c U{S{R~XRV U, S, S, R c (U{S)~S|RRV U, S, S, U c U~U{SSRV U, S, S, X c U~S{S{XRV U, S, T, Q c (U{Q)~S{TRV U, S, T, R c U~(S{R)|TRV U, S, T, U c U~U|S{TRV U, S, T, V c U|S{T~VRV U, S, T, W c U~S{T{WRV U, S, T, X c U{S~X|TRV U, S, U, R c U~U{S|RRV U, S, U, S c U~U{SSRV U, S, U, T c U~U|S{TRV U, S, U, V c U{S~U{VRV U, S, U, X c UU{S~XRV U, S, V, P c U~(S{P){VRV U, S, V, R c U{S~V{RRV U, S, V, T c U|S{V~TRV U, S, V, U c U~S{V{URV U, S, V, W c (U~W)|(S{V)RV U, S, V, X c U~V{S|XRV U, S, W, P c U{S~W|PRV U, S, W, T c U~S{W{TRV U, S, W, V c (U~W)|(S{V)RV U, S, X, P c (U{P)~S{XRV U, S, X, R c U{S{X~RRV U, S, X, S c U~S{X{SRV U, S, X, T c U{S~X|TRV U, S, X, U c UU{S~XRV U, S, X, V c U~(X|S){VRV U, T, O, V c U~T{O{VRV U, T, P, P c U~(T{P){PRV U, T, P, Q c (U{P)~T{QRV U, T, P, U c U~T{P{URV U, T, P, V c U~T{P~VRV U, T, P, W c U~T|P{WRV U, T, Q, P c (U{P)~T{QRV U, T, Q, R c (U{Q)~T|RRV U, T, Q, S c (U{Q)~S{TRV U, T, Q, T c U~T{Q{TRV U, T, Q, W c (U|Q)~W{TRV U, T, Q, X c U~T|Q{XRV U, T, R, Q c (U{Q)~T|RRV U, T, R, S c (U{T)~R{SRV U, T, R, V c UR{T~VRV U, T, R, W c (U{R)~T|WRV U, T, S, Q c (U{Q)~S{TRV U, T, S, R c U~T{S{RRV U, T, S, U c U~U{T|SRV U, T, S, V c (U{T)~S|VRV U, T, S, W c U~S{T{WRV U, T, S, X c U|T{S~XRV U, T, T, Q c U~T{T{QRV U, T, T, U c U{T~T{URV U, T, T, V c (U{VT)~TRV U, T, U, P c U{T~U{PRV U, T, U, S c U~U{T|SRV U, T, U, T c U{T~T{URV U, T, U, U c U|T{U~URV U, T, U, V c U~(T{VU)RV U, T, U, W c (U~W)|(T{U)RV U, T, V, O c U~T{V{ORV U, T, V, P c U~T{V~PRV U, T, V, R c UR{T~VRV U, T, V, S c U{T~V|SRV U, T, V, T c (U{VT)~TRV U, T, V, U c U~(T{VU)RV U, T, V, V c (U|TV)~VRV U, T, V, W c T~V|U{WRV U, T, W, P c U~T{W|PRV U, T, W, Q c (U|Q)~W{TRV U, T, W, R c (U{W)~R|TRV U, T, W, S c U~S{T{WRV U, T, W, U c (U~W)|(T{U)RV U, T, W, V c T~V|U{WRV U, T, W, X c U{T~W|XRV U, T, X, Q c U~T{X|QRV U, T, X, S c U|T{X~SRV U, T, X, W c U{T~W|XRV U, U, O, P c U~U{O{PRV U, U, P, O c U~U{P{ORV U, U, P, P c U~U{P~PRV U, U, P, Q c U~U|P{QRV U, U, P, R c (U{U)~R{PRV U, U, P, T c U~(U{P)|TRV U, U, P, U c U~(U{PU)RV U, U, P, V c U~(U|P){VRV U, U, Q, P c U~U{Q|PRV U, U, Q, Q c U~U{QQRV U, U, Q, R c U~U|Q{RRV U, U, R, P c (U{U)~R{PRV U, U, R, Q c U~U{R|QRV U, U, R, R c U~U{RRRV U, U, R, S c U~U|R{SRV U, U, S, R c U~U{S|RRV U, U, S, S c U~U{SSRV U, U, S, T c U~U|S{TRV U, U, S, V c U{U~S{VRV U, U, S, X c UU{S~XRV U, U, T, P c U{U~T{PRV U, U, T, S c U~U{T|SRV U, U, T, T c U{U{T~TRV U, U, T, U c U~U|T{URV U, U, T, V c U~(T{VU)RV U, U, T, W c (U~W)|(U{T)RV U, U, U, P c U~(U{PU)RV U, U, U, T c U{U~U|TRV U, U, U, U c U~U{UURV U, U, U, V c U~U|U{VRV U, U, V, P c U~(U|P){VRV U, U, V, S c U{U~S{VRV U, U, V, T c U~(VU{T)RV U, U, V, U c U~U{V|URV U, U, V, V c U~U{VVRV U, U, V, W c U~U|V{WRV U, U, W, T c (U~W)|(U{T)RV U, U, W, V c U~U{W|VRV U, U, W, W c U~U{WWRV U, U, W, X c U~U|W{XRV U, U, X, S c UU{X~SRV U, U, X, W c U~U{X|WRV U, U, X, X c U~U{XXRV U, V, O, T c U~V{O|TRV U, V, P, P c U~(V|P){PRV U, V, P, Q c (U|P)~V{QRV U, V, P, S c (U~V)|(P{S)RV U, V, P, T c U~V|P~TRV U, V, P, U c U~V{P|URV U, V, Q, P c (U|P)~V{QRV U, V, Q, R c (U~V)|(Q{R)RV U, V, Q, V c U~V{Q|VRV U, V, Q, X c (U|Q)~V{XRV U, V, R, Q c (U{V)~R|QRV U, V, R, S c U{V~S{RRV U, V, R, T c UR{V~TRV U, V, R, W c U{V{R~WRV U, V, S, P c (U~V)|(S{P)RV U, V, S, R c U{V~S{RRV U, V, S, T c U{V~T|SRV U, V, S, U c U{V{S~URV U, V, S, W c (U~W)|(V{S)RV U, V, S, X c U~V{S|XRV U, V, T, O c U~V|T{ORV U, V, T, P c U~V|T~PRV U, V, T, R c UR{V~TRV U, V, T, S c U{V~T|SRV U, V, T, T c (U{VT)~TRV U, V, T, U c U~(V|TU)RV U, V, T, V c (U|TV)~VRV U, V, T, W c V~T|U{WRV U, V, U, P c U~V|U{PRV U, V, U, S c U{V{U~SRV U, V, U, T c U~(VU{T)RV U, V, U, U c U~U{V|URV U, V, U, V c U~U{VVRV U, V, U, W c U~U|V{WRV U, V, V, Q c U~V|V{QRV U, V, V, T c (U|TV)~VRV U, V, V, U c U~U{VVRV U, V, W, R c U{V{W~RRV U, V, W, S c (U~W)|(V{S)RV U, V, W, T c V~T|U{WRV U, V, W, U c U~U|V{WRV U, V, X, Q c (U{X)~Q{VRV U, V, X, S c U~V|X{SRV U, W, P, Q c U~(W|Q){PRV U, W, P, R c (U|P)~W|RRV U, W, P, S c U{W~S|PRV U, W, P, T c U~(W|P)|TRV U, W, P, X c (U|P)~X|WRV U, W, Q, P c U~(W|Q){PRV U, W, Q, T c (U|Q)~W{TRV U, W, Q, X c (U{W)~Q{XRV U, W, R, P c (U|P)~W|RRV U, W, R, T c (U{W)~R|TRV U, W, R, V c U{W~R{VRV U, W, R, W c (U~W)|(R{W)RV U, W, R, X c (U{X)~R|WRV U, W, S, P c U{W~S|PRV U, W, S, T c U~S{W{TRV U, W, S, V c (U~W)|(S{V)RV U, W, T, P c U~(W|P)|TRV U, W, T, Q c (U|Q)~W{TRV U, W, T, R c (U{W)~R|TRV U, W, T, S c U~S{W{TRV U, W, T, U c (U~W)|(T{U)RV U, W, T, V c W|U{T~VRV U, W, T, X c U{W~T|XRV U, W, U, T c (U~W)|(U{T)RV U, W, U, V c U~U{W|VRV U, W, U, W c U~U{WWRV U, W, U, X c U~U|W{XRV U, W, V, R c U{W~R{VRV U, W, V, S c (U~W)|(V{S)RV U, W, V, T c W|U{V~TRV U, W, V, U c U~U{W|VRV U, W, W, R c (U~W)|(W{R)RV U, W, W, U c U~U{WWRV U, W, X, P c (U|P)~X|WRV U, W, X, Q c (U~W)|(X{Q)RV U, W, X, R c (U{X)~R|WRV U, W, X, T c U{W~T|XRV U, W, X, U c U~U|W{XRV U, W, X, X c (U~X)|(W{X)RV U, X, P, Q c (U|Q)~X{PRV U, X, P, R c U~(X|R){PRV U, X, P, S c (U{P)~S{XRV U, X, P, W c (U|P)~X|WRV U, X, Q, P c (U|Q)~X{PRV U, X, Q, T c U~(X|Q)|TRV U, X, Q, V c (U{X)~Q{VRV U, X, Q, W c (U~W)|(X{Q)RV U, X, R, P c U~(X|R){PRV U, X, R, S c U{X~R{SRV U, X, R, W c (U{X)~R|WRV U, X, S, P c (U{P)~S{XRV U, X, S, R c U{X~R{SRV U, X, S, S c U~S{X{SRV U, X, S, T c U{X~S|TRV U, X, S, U c UU{X~SRV U, X, S, V c U~(X|S){VRV U, X, T, Q c U~(X|Q)|TRV U, X, T, S c U{X~S|TRV U, X, T, W c U{T~W|XRV U, X, U, S c UU{X~SRV U, X, U, W c U~U{X|WRV U, X, U, X c U~U{XXRV U, X, V, Q c (U{X)~Q{VRV U, X, V, S c U~(X|S){VRV U, X, W, P c (U|P)~X|WRV U, X, W, Q c (U~W)|(X{Q)RV U, X, W, R c (U{X)~R|WRV U, X, W, T c U{W~T|XRV U, X, W, U c U~U{X|WRV U, X, W, X c (U~X)|(W{X)RV U, X, X, U c U~U{XXRV U, X, X, W c (U~X)|(X{W)RV V, O, Q, T c (V{O)~T{QRV V, O, S, X c (V{O)~S{XRV V, O, T, Q c (V{O)~T{QRV V, O, T, U c V{O{T~URV V, O, U, T c V{O{U~TRV V, O, X, S c (V{O)~S{XRV V, P, P, T c V~T{P{PRV V, P, P, U c (V|P)~U{PRV V, P, Q, S c V~(P{S){QRV V, P, Q, T c V~P~T{QRV V, P, Q, U c V~(U|P){QRV V, P, R, T c (V{P)~T|RRV V, P, R, X c V~(P{R){XRV V, P, S, Q c V~(P{S){QRV V, P, S, T c (V{P)~S{TRV V, P, S, U c V{(P{S)~URV V, P, S, W c V~S{P{WRV V, P, S, X c V~P~S{XRV V, P, T, P c V~T{P{PRV V, P, T, Q c V~P~T{QRV V, P, T, R c (V{P)~T|RRV V, P, T, S c (V{P)~S{TRV V, P, T, T c V{(P{T)~TRV V, P, T, U c V{P~T~URV V, P, T, V c (V|P)~T{VRV V, P, T, X c V~(T|P){XRV V, P, U, P c (V|P)~U{PRV V, P, U, Q c V~(U|P){QRV V, P, U, S c V{(P{S)~URV V, P, U, T c V{P~U~TRV V, P, U, U c V{(U|P)~URV V, P, V, T c (V|P)~V|TRV V, P, W, S c V~S{P{WRV V, P, X, R c V{(P{X)~RRV V, P, X, S c V~P~S{XRV V, P, X, T c V~(T|P){XRV V, Q, O, T c (V{O)~T{QRV V, Q, P, S c (V{Q)~S{PRV V, Q, P, T c V~P~T{QRV V, Q, P, U c V~(U|P){QRV V, Q, Q, R c V~(Q{R){QRV V, Q, Q, V c (V|Q)~V{QRV V, Q, Q, X c V~(Q{Q){XRV V, Q, R, Q c V~(Q{R){QRV V, Q, R, T c V{Q~R~TRV V, Q, R, U c V{(Q{R)~URV V, Q, R, W c V{(Q{W)~RRV V, Q, S, P c (V{Q)~S{PRV V, Q, S, T c V{(Q{S)~TRV V, Q, S, V c V{Q{S~VRV V, Q, S, W c V|Q{S~WRV V, Q, S, X c V~(X|S){QRV V, Q, T, O c V~T{Q{ORV V, Q, T, P c V~T{Q~PRV V, Q, T, R c V{Q~T~RRV V, Q, T, S c V{(Q{S)~TRV V, Q, T, T c (V{QT)~TRV V, Q, T, V c V~(QV{T)RV V, Q, T, W c (V{Q)~T|WRV V, Q, T, X c (V{X)~Q{TRV V, Q, U, P c V~(U|P){QRV V, Q, U, R c V{(Q{R)~URV V, Q, U, V c (V|Q)~U{VRV V, Q, U, X c V{Q~(U{X)RV V, Q, V, Q c (V|Q)~V{QRV V, Q, V, S c V{Q{V~SRV V, Q, V, T c V~(QV{T)RV V, Q, V, U c (V|Q)~U{VRV V, Q, V, W c V{Q~(V{W)RV V, Q, V, X c (V{V)~Q{XRV V, Q, W, R c V{(Q{W)~RRV V, Q, W, S c V|Q{W~SRV V, Q, W, T c (V{Q)~T|WRV V, Q, W, V c V{Q~(W{V)RV V, Q, W, X c VQ~W{XRV V, Q, X, Q c V~(Q{Q){XRV V, Q, X, S c V~(X|S){QRV V, Q, X, T c (V{X)~Q{TRV V, Q, X, U c V{Q~(X{U)RV V, Q, X, V c (V{V)~Q{XRV V, Q, X, W c (V|Q)~X|WRV V, Q, X, X c (X~X|V)QRV V, R, P, T c (V{P)~T|RRV V, R, P, X c V{R~(P{X)RV V, R, Q, Q c V~(R{Q){QRV V, R, Q, T c V{R~Q~TRV V, R, Q, U c V{(R{Q)~URV V, R, Q, W c V{R~(Q{W)RV V, R, R, S c (V{R)~S|RRV V, R, R, T c V{(R{R)~TRV V, R, R, V c (V{R)~R{VRV V, R, R, X c V{R{R~XRV V, R, S, R c (V{R)~S|RRV V, R, S, S c V~R{S~SRV V, R, S, U c V{R~(S{U)RV V, R, S, V c V~V|R~SRV V, R, S, W c (R{W)~S|VRV V, R, T, P c (V{T)~R{PRV V, R, T, Q c V{R~T~QRV V, R, T, R c V{(R{R)~TRV V, R, T, T c V{R~(T{T)RV V, R, T, U c V~T{URRV V, R, T, V c (V{V)~R|TRV V, R, T, W c (V|R)~W{TRV V, R, T, X c V{T~(X|R)RV V, R, U, Q c V{(R{Q)~URV V, R, U, S c V{R~(U{S)RV V, R, U, T c V~T{URRV V, R, U, W c V{R~W{URV V, R, V, R c V{(R{V)~RRV V, R, V, S c V~V|R~SRV V, R, V, T c (V{V)~R|TRV V, R, V, X c V{R~V{XRV V, R, W, Q c V{R~(W{Q)RV V, R, W, S c (R{W)~S|VRV V, R, W, T c (V|R)~W{TRV V, R, W, U c V{R~W{URV V, R, W, W c V~R{W{WRV V, R, X, P c V{R~(X{P)RV V, R, X, R c V{R{X~RRV V, R, X, T c V{(X|R)~TRV V, R, X, V c V~R{X{VRV V, S, O, X c V~S{O{XRV V, S, P, Q c V~(S{P){QRV V, S, P, T c (V{P)~S{TRV V, S, P, U c V{(S{P)~URV V, S, P, W c V~S{P{WRV V, S, P, X c V~S{P~XRV V, S, Q, P c V~(S{P){QRV V, S, Q, T c V{(S{Q)~TRV V, S, Q, V c V~S{Q{VRV V, S, Q, W c V{S~W|QRV V, S, Q, X c V~(X|S){QRV V, S, R, R c V~S{R~RRV V, S, R, S c (V{S)~R{SRV V, S, R, U c V~S{R{URV V, S, R, V c V~V|S~RRV V, S, R, W c S~(R{W)|VRV V, S, S, R c (V{S)~R{SRV V, S, S, T c V~S{S{TRV V, S, S, V c (V{S)~S|VRV V, S, S, X c (V{XS)~SRV V, S, T, P c (V{P)~S{TRV V, S, T, Q c V{(S{Q)~TRV V, S, T, S c V~S{T{SRV V, S, T, U c V~T|S{URV V, S, T, W c V~T{WSRV V, S, U, P c V{(S{P)~URV V, S, U, R c V{(S{U)~RRV V, S, U, T c V~T|S{URV V, S, U, U c V{S~U{URV V, S, U, W c (U~W)|(V{S)RV V, S, U, X c V{S~X|URV V, S, V, Q c V{S~V{QRV V, S, V, R c V~V|S~RRV V, S, V, S c (V{S)~S|VRV V, S, V, W c (V~V)|(S{W)RV V, S, V, X c V~(S{XV)RV V, S, W, P c V~S{W{PRV V, S, W, Q c V{S~W|QRV V, S, W, R c S~(W{R)|VRV V, S, W, T c V~T{WSRV V, S, W, U c (W~U)|(V{S)RV V, S, W, V c (V~V)|(S{W)RV V, S, W, X c V~(W|S){XRV V, S, X, O c V~S{X{ORV V, S, X, P c V~S{X~PRV V, S, X, Q c V~(X|S){QRV V, S, X, S c (V{XS)~SRV V, S, X, U c V{S~X|URV V, S, X, V c V~(S{XV)RV V, S, X, W c V~(W|S){XRV V, T, O, Q c V~T{O{QRV V, T, O, U c V{(T{O)~URV V, T, P, P c V~T{P{PRV V, T, P, Q c V~T{P~QRV V, T, P, R c V~T|P{RRV V, T, P, S c (V{P)~S{TRV V, T, P, T c V{(T{P)~TRV V, T, P, U c V{T~P~URV V, T, P, V c V{T~(V|P)RV V, T, P, X c V~(T|P){XRV V, T, Q, O c V~T{Q{ORV V, T, Q, P c V~T{Q~PRV V, T, Q, R c V{T~Q~RRV V, T, Q, S c V{T~(Q{S)RV V, T, Q, T c (V{QT)~TRV V, T, Q, V c V~(T{QV)RV V, T, Q, W c V{T~(W|Q)RV V, T, Q, X c (V{X)~Q{TRV V, T, R, P c (V{T)~R{PRV V, T, R, Q c V{T~R~QRV V, T, R, R c V{T~(R{R)RV V, T, R, T c V~T|R{TRV V, T, R, U c V~T{URRV V, T, R, V c (V{V)~R|TRV V, T, R, W c (V|R)~W{TRV V, T, R, X c V{T~(X|R)RV V, T, S, P c (V{P)~S{TRV V, T, S, Q c V{T~(S{Q)RV V, T, S, S c V~S{T{SRV V, T, S, U c V~T|S{URV V, T, S, W c V~T{WSRV V, T, T, P c V{T~(T{P)RV V, T, T, Q c (V{QT)~TRV V, T, T, R c V{(T{T)~RRV V, T, T, T c V{T{T~TRV V, T, T, U c (VT{U)~TRV V, T, T, V c V|T{T~VRV V, T, U, O c V{T~U{ORV V, T, U, P c V{T~U~PRV V, T, U, R c V~T{URRV V, T, U, S c V~T{U|SRV V, T, U, T c (VT{U)~TRV V, T, U, U c (V|TU)~URV V, T, U, V c V~(U|TV)RV V, T, U, W c V~T|U{WRV V, T, V, P c V{T~(V|P)RV V, T, V, Q c V~(T{QV)RV V, T, V, R c (V{V)~R|TRV V, T, V, T c V{T~V|TRV V, T, V, U c V~(U|TV)RV V, T, V, V c (V~V)|(T{V)RV V, T, V, X c V~T|V{XRV V, T, W, Q c V{T~(W|Q)RV V, T, W, R c (V|R)~W{TRV V, T, W, S c V~T{WSRV V, T, W, U c V~T{W|URV V, T, W, X c W~X|V~TRV V, T, X, P c V~(T|P){XRV V, T, X, Q c (V{X)~Q{TRV V, T, X, R c V{T~(X|R)RV V, T, X, V c V~T{X|VRV V, T, X, W c X~W|V~TRV V, T, X, X c V~(X|T){XRV V, U, O, T c V{(U{O)~TRV V, U, P, P c (V|P)~U{PRV V, U, P, Q c V~(U|P){QRV V, U, P, S c V{U~(P{S)RV V, U, P, T c V{U~P~TRV V, U, P, U c V{(U|P)~URV V, U, Q, P c V~(U|P){QRV V, U, Q, R c V{U~(Q{R)RV V, U, Q, V c V~U{Q|VRV V, U, Q, X c V~(U|Q){XRV V, U, R, Q c V{U~(R{Q)RV V, U, R, S c V{(U{S)~RRV V, U, R, T c V~T{URRV V, U, R, W c V{U{R~WRV V, U, S, P c V{U~(S{P)RV V, U, S, R c V{(U{S)~RRV V, U, S, T c V~T{U|SRV V, U, S, U c V{U{S~URV V, U, S, W c (U~W)|(V{S)RV V, U, S, X c V|U{S~XRV V, U, T, O c V{U~T{ORV V, U, T, P c V{U~T~PRV V, U, T, R c V~T{URRV V, U, T, S c V~T{U|SRV V, U, T, T c (VT{U)~TRV V, U, T, U c (VU{T)~URV V, U, T, V c V~(U|TV)RV V, U, T, W c V~T|U{WRV V, U, U, P c V{U~(U|P)RV V, U, U, S c V{U{U~SRV V, U, U, T c (VU{T)~URV V, U, U, U c V{U~U|URV V, U, U, V c (V~V)|(U{U)RV V, U, U, W c U~U|V{WRV V, U, V, Q c V{U~(V|Q)RV V, U, V, T c V~(U|TV)RV V, U, V, U c (V~V)|(U{U)RV V, U, W, R c V{U{W~RRV V, U, W, S c (U~W)|(V{S)RV V, U, W, T c V~T|U{WRV V, U, W, U c U~U|V{WRV V, U, X, Q c V{(U{X)~QRV V, U, X, S c V{U~(X|S)RV V, V, P, T c V{(V|P)~TRV V, V, Q, Q c V~(V|Q){QRV V, V, Q, S c V{V~S{QRV V, V, Q, T c V~(QV{T)RV V, V, Q, U c V{(V|Q)~URV V, V, Q, W c V{(V{W)~QRV V, V, Q, X c (V{V)~Q{XRV V, V, R, R c V{(V{R)~RRV V, V, R, S c V~V|R~SRV V, V, R, T c (V{V)~R|TRV V, V, R, X c V{V~R{XRV V, V, S, Q c V{V~S{QRV V, V, S, R c V~V|S~RRV V, V, S, S c (V{S)~S|VRV V, V, S, W c (V~V)|(S{W)RV V, V, S, X c VV{S~XRV V, V, T, P c V{(V|P)~TRV V, V, T, Q c V~(T{QV)RV V, V, T, R c (V{V)~R|TRV V, V, T, T c V{V~T|TRV V, V, T, U c V~(U|TV)RV V, V, T, V c (V~V)|(T{V)RV V, V, T, X c V~T|V{XRV V, V, U, Q c V~V|U~QRV V, V, U, T c V~(U|TV)RV V, V, U, U c (V~V)|(U{U)RV V, V, V, T c (V~V)|(V{T)RV V, V, W, Q c V{(V{W)~QRV V, V, W, S c (V~V)|(W{S)RV V, V, X, Q c (V{V)~Q{XRV V, V, X, R c (V~V)|(X{R)RV V, V, X, S c VV{X~SRV V, V, X, T c V~T|V{XRV V, W, P, S c V~S{W{PRV V, W, Q, R c V{(W{Q)~RRV V, W, Q, S c V{W~S|QRV V, W, Q, T c V{(W|Q)~TRV V, W, Q, V c (V{W)~Q{VRV V, W, Q, X c V~WQ{XRV V, W, R, Q c V~(W|R){QRV V, W, R, S c (W{R)~S|VRV V, W, R, T c (V|R)~W{TRV V, W, R, U c V{(W|R)~URV V, W, R, W c (V{W)~R|WRV V, W, S, P c V~S{W{PRV V, W, S, Q c V{W~S|QRV V, W, S, R c (W{R)~S|VRV V, W, S, T c V~T{WSRV V, W, S, U c (W~U)|(V{S)RV V, W, S, V c (V~V)|(W{S)RV V, W, S, X c V~(W|S){XRV V, W, T, Q c V{(W|Q)~TRV V, W, T, R c (V|R)~W{TRV V, W, T, S c V~T{WSRV V, W, T, U c V~T{W|URV V, W, T, X c W~X|V~TRV V, W, U, R c V{(W|R)~URV V, W, U, S c (W~U)|(V{S)RV V, W, U, T c V~T{W|URV V, W, U, U c W|V{U~URV V, W, V, Q c V{(W{V)~QRV V, W, V, S c (V~V)|(W{S)RV V, W, W, R c (V{W)~R|WRV V, W, X, Q c V~WQ{XRV V, W, X, S c V~(W|S){XRV V, W, X, T c W~X|V~TRV V, X, O, S c (V{O)~S{XRV V, X, P, R c V{(X{P)~RRV V, X, P, S c V~P~S{XRV V, X, P, T c V~(T|P){XRV V, X, Q, Q c V~(Q{Q){XRV V, X, Q, S c V~(X|S){QRV V, X, Q, T c (V{X)~Q{TRV V, X, Q, U c V{(X{U)~QRV V, X, Q, V c (V{V)~Q{XRV V, X, Q, W c (V|Q)~X|WRV V, X, Q, X c (X~X|V)QRV V, X, R, P c V{(X{P)~RRV V, X, R, R c V{X~R{RRV V, X, R, T c V{(X|R)~TRV V, X, R, V c V{X{R~VRV V, X, S, O c V~S{X{ORV V, X, S, P c V~S{X~PRV V, X, S, Q c V~(X|S){QRV V, X, S, S c (V{XS)~SRV V, X, S, U c V{(X|S)~URV V, X, S, V c V~(XV{S)RV V, X, S, W c V~(W|S){XRV V, X, T, P c V~(T|P){XRV V, X, T, Q c (V{X)~Q{TRV V, X, T, R c V{(X|R)~TRV V, X, T, V c V~T{X|VRV V, X, T, W c X~W|V~TRV V, X, T, X c V~(X|T){XRV V, X, U, Q c V{(X{U)~QRV V, X, U, S c V{(X|S)~URV V, X, V, Q c (V{V)~Q{XRV V, X, V, R c V{X{V~RRV V, X, V, S c V~(XV{S)RV V, X, V, T c V~T{X|VRV V, X, W, Q c V~WQ{XRV V, X, W, S c V~(W|S){XRV V, X, W, T c X~W|V~TRV V, X, X, Q c (X~X|V)QRV V, X, X, T c V~(X|T){XRV W, O, R, T c (W{O)~T|RRV W, O, S, T c (W{O)~S{TRV W, O, T, R c (W{O)~T|RRV W, O, T, S c (W{O)~S{TRV W, O, T, X c O{T~X|WRV W, O, X, T c O{X~T|WRV W, P, P, S c (W{P)~S{PRV W, P, Q, T c (W|P)~T{QRV W, P, Q, U c (W|Q)~U{PRV W, P, Q, X c WQ~X{PRV W, P, R, S c W~(P{S)|RRV W, P, R, T c W~(P{R){TRV W, P, R, U c W~(U|P)|RRV W, P, S, P c (W{P)~S{PRV W, P, S, R c W~(P{S)|RRV W, P, S, S c W~S{P{SRV W, P, S, T c W~P~S{TRV W, P, S, U c W~S|P{URV W, P, S, V c W{P{S~VRV W, P, S, X c (W|P)~S{XRV W, P, T, Q c (W|P)~T{QRV W, P, T, R c W~P~T|RRV W, P, T, S c W~P~S{TRV W, P, T, T c W~(T|P){TRV W, P, T, U c W|P{T~URV W, P, T, W c (W{P)~T|WRV W, P, T, X c P~T~X|WRV W, P, U, Q c (W|Q)~U{PRV W, P, U, R c W~(U|P)|RRV W, P, U, S c W~S|P{URV W, P, U, T c W|P{U~TRV W, P, U, X c (U|P)~X|WRV W, P, V, S c W{P{V~SRV W, P, W, T c (W{P)~T|WRV W, P, X, Q c W~XQ{PRV W, P, X, S c (W|P)~S{XRV W, P, X, T c P~X~T|WRV W, P, X, U c X~(U|P)|WRV W, Q, P, T c (W|P)~T{QRV W, Q, P, U c (W|Q)~U{PRV W, Q, P, X c WQ~X{PRV W, Q, Q, T c W~(Q{Q){TRV W, Q, Q, X c (W~X{Q)QRV W, Q, R, R c W~(Q{R)|RRV W, Q, R, S c (W{Q)~S|RRV W, Q, R, T c (W{T)~R|QRV W, Q, R, V c (W{Q)~R{VRV W, Q, R, X c W{Q{R~XRV W, Q, S, R c (W{Q)~S|RRV W, Q, S, V c W~S|Q{VRV W, Q, S, X c (QW{X)~SRV W, Q, T, P c (W~T)|(Q{P)RV W, Q, T, Q c W~(Q{Q){TRV W, Q, T, R c (W{T)~R|QRV W, Q, T, T c W~T{Q|TRV W, Q, T, U c W~T|UQRV W, Q, T, V c (W|Q)~T{VRV W, Q, T, W c WQ~W{TRV W, Q, U, P c (W|Q)~U{PRV W, Q, U, T c W~(U|Q){TRV W, Q, U, X c (W{U)~Q{XRV W, Q, V, R c W~Q{V~RRV W, Q, V, S c W~S|Q{VRV W, Q, V, T c (W|Q)~V|TRV W, Q, V, V c (W{V)~Q{VRV W, Q, V, X c WQ~V{XRV W, Q, W, T c WQ~W{TRV W, Q, X, P c WQ~X{PRV W, Q, X, Q c (W~X{Q)QRV W, Q, X, R c W{Q{X~RRV W, Q, X, S c (QW{X)~SRV W, Q, X, U c (W{U)~Q{XRV W, Q, X, V c WQ~V{XRV W, R, O, T c (W{O)~T|RRV W, R, P, S c W~(P{S)|RRV W, R, P, T c W~(R{P){TRV W, R, P, U c W~(U|P)|RRV W, R, Q, R c W~(R{Q)|RRV W, R, Q, S c (W{Q)~S|RRV W, R, Q, T c (W{T)~R|QRV W, R, Q, V c (W|R)~V{QRV W, R, Q, X c W{R~X{QRV W, R, R, Q c W~(R{Q)|RRV W, R, R, S c (W{R)~R{SRV W, R, R, T c R~R~T|WRV W, R, R, W c (W|R)~W|RRV W, R, S, P c (W{S)~R{PRV W, R, S, Q c W~S{R{QRV W, R, S, R c (W{R)~R{SRV W, R, S, V c (W{R)~S|VRV W, R, S, W c W|R{S~WRV W, R, S, X c W~R{S{XRV W, R, T, O c W~T|R{ORV W, R, T, P c W~(R{P){TRV W, R, T, Q c (W{T)~R|QRV W, R, T, R c R~T~R|WRV W, R, T, T c (W|RT)~TRV W, R, T, U c W~T{R|URV W, R, T, V c W~(V|R){TRV W, R, T, W c W~R{T{WRV W, R, T, X c W~T|XRRV W, R, U, P c W~(U|P)|RRV W, R, U, T c (W{U)~R|TRV W, R, U, V c (W|R)~U{VRV W, R, U, W c (W~U)|(R{W)RV W, R, U, X c R~(U{X)|WRV W, R, V, Q c (W|R)~V{QRV W, R, V, S c (W{R)~S|VRV W, R, V, T c W~(V|R){TRV W, R, V, U c W~R{V{URV W, R, V, W c W{R~V{WRV W, R, W, R c (W|R)~W|RRV W, R, W, S c W|R{W~SRV W, R, W, T c W{R~W{TRV W, R, W, U c (W~U)|(R{W)RV W, R, W, V c W{R~V{WRV W, R, W, X c (W|R)~X|WRV W, R, X, Q c W{R~X{QRV W, R, X, S c W~R{X{SRV W, R, X, T c W~T|XRRV W, R, X, U c R~(X{U)|WRV W, R, X, W c (W|R)~X|WRV W, S, O, T c W~S{O{TRV W, S, P, P c (W{P)~S{PRV W, S, P, R c W~(S{P)|RRV W, S, P, S c W~S{P{SRV W, S, P, T c W~S{P~TRV W, S, P, U c W~S|P{URV W, S, P, V c W{S~V{PRV W, S, P, X c (W|S)~X{PRV W, S, Q, R c W~S{Q{RRV W, S, Q, V c W~S|Q{VRV W, S, Q, X c S~(QW{X)RV W, S, R, P c (W{S)~R{PRV W, S, R, Q c W~S{R{QRV W, S, R, R c (W{R)~R{SRV W, S, R, V c (W{R)~S|VRV W, S, R, W c W~S|R{WRV W, S, R, X c W~R{S{XRV W, S, S, P c W~S{S{PRV W, S, S, T c (W{TS)~SRV W, S, S, X c W~S|S{XRV W, S, T, O c W~S{T{ORV W, S, T, P c W~S{T~PRV W, S, T, S c (W{TS)~SRV W, S, T, T c W{S{T~TRV W, S, T, U c W{S~U{TRV W, S, T, V c WS{T~VRV W, S, T, W c W~(S{TW)RV W, S, T, X c W{S~T{XRV W, S, U, P c W~S{U|PRV W, S, U, T c W{S~U{TRV W, S, U, V c (W~U)|(S{V)RV W, S, V, P c W{S~V{PRV W, S, V, Q c W~S{V|QRV W, S, V, R c (W{R)~S|VRV W, S, V, T c WS{V~TRV W, S, V, U c (W~U)|(S{V)RV W, S, V, V c (V~V)|(W{S)RV W, S, V, X c (W|S)~V{XRV W, S, W, R c W{S~W|RRV W, S, W, T c (W|S)~W{TRV W, S, W, X c WW{S~XRV W, S, X, P c (W|S)~X{PRV W, S, X, Q c S~(X{QW)RV W, S, X, R c W~(X|S)|RRV W, S, X, S c W~S{X|SRV W, S, X, T c W{S~T{XRV W, S, X, V c W{S~X|VRV W, S, X, W c WW{S~XRV W, S, X, X c S~X|W{XRV W, T, O, R c W~T{O|RRV W, T, O, S c (W{O)~S{TRV W, T, O, X c (T{O)~X|WRV W, T, P, Q c (W~T)|(P{Q)RV W, T, P, R c W~T|P~RRV W, T, P, S c W~T{P|SRV W, T, P, T c W~(T|P){TRV W, T, P, U c W{T~U|PRV W, T, P, W c (W{P)~T|WRV W, T, P, X c T~P~X|WRV W, T, Q, P c (W~T)|(Q{P)RV W, T, Q, Q c W~(Q{Q){TRV W, T, Q, R c (W{T)~R|QRV W, T, Q, T c W~T{Q|TRV W, T, Q, U c W~T|UQRV W, T, Q, V c (W|Q)~T{VRV W, T, Q, W c WQ~W{TRV W, T, R, O c W~T|R{ORV W, T, R, P c W~T|R~PRV W, T, R, Q c (W{T)~R|QRV W, T, R, R c T~R~R|WRV W, T, R, T c (W|RT)~TRV W, T, R, U c W~T{R|URV W, T, R, V c W~(V|R){TRV W, T, R, W c W{T{R~WRV W, T, R, X c W~T|XRRV W, T, S, O c W~S{T{ORV W, T, S, P c W~T|S{PRV W, T, S, S c (W{TS)~SRV W, T, S, T c W{T~T{SRV W, T, S, U c W{T{S~URV W, T, S, V c W~T{S|VRV W, T, S, W c W~(TW{S)RV W, T, S, X c W{T~S{XRV W, T, T, P c W~(T|P){TRV W, T, T, Q c W~T|T{QRV W, T, T, R c (W|RT)~TRV W, T, T, S c W{T~T{SRV W, T, T, W c W~T{T|WRV W, T, T, X c W~(X|T){TRV W, T, U, P c W{T~U|PRV W, T, U, Q c W~T|UQRV W, T, U, R c W~T|U{RRV W, T, U, S c W{T{U~SRV W, T, U, U c (W~U)|(T{U)RV W, T, U, V c W{T~V|URV W, T, U, X c W~T{U|XRV W, T, V, Q c (W|Q)~T{VRV W, T, V, R c W~(V|R){TRV W, T, V, S c W~T|V{SRV W, T, V, U c W{T~V|URV W, T, V, X c W~X|T~VRV W, T, W, P c (W{P)~T|WRV W, T, W, Q c (W{W)~Q{TRV W, T, W, R c W{T{W~RRV W, T, W, S c W~(TW{S)RV W, T, W, T c W~T|W{TRV W, T, X, O c T~X|W{ORV W, T, X, P c T~X|W~PRV W, T, X, R c W~T|XRRV W, T, X, S c W{T~S{XRV W, T, X, T c W~(X|T){TRV W, T, X, U c W~T|X{URV W, T, X, V c W~X|T~VRV W, T, X, X c (T|WX)~XRV W, U, P, Q c (W|Q)~U{PRV W, U, P, R c W~(U|P)|RRV W, U, P, S c W~S{U|PRV W, U, P, T c W{U~T|PRV W, U, P, X c (U|P)~X|WRV W, U, Q, P c (W|Q)~U{PRV W, U, Q, T c W~(U|Q){TRV W, U, Q, X c (W{U)~Q{XRV W, U, R, P c W~(U|P)|RRV W, U, R, T c (W{U)~R|TRV W, U, R, V c (W|R)~U{VRV W, U, R, W c (W~U)|(R{W)RV W, U, R, X c (U{X)~R|WRV W, U, S, P c W~S{U|PRV W, U, S, T c W{U~S{TRV W, U, S, V c (W~U)|(S{V)RV W, U, T, P c W{U~T|PRV W, U, T, Q c W~(U|Q){TRV W, U, T, R c (W{U)~R|TRV W, U, T, S c W{U~S{TRV W, U, T, U c (W~U)|(T{U)RV W, U, T, V c W|U{T~VRV W, U, T, X c W~T{U|XRV W, U, U, T c (W~U)|(U{T)RV W, U, U, V c W{U~U|VRV W, U, U, W c WW{U~URV W, U, U, X c U~U|W{XRV W, U, V, R c (W|R)~U{VRV W, U, V, S c (W~U)|(V{S)RV W, U, V, T c W|U{V~TRV W, U, V, U c W{U~U|VRV W, U, W, R c (W~U)|(W{R)RV W, U, W, U c WW{U~URV W, U, X, P c (U|P)~X|WRV W, U, X, Q c (W~U)|(X{Q)RV W, U, X, R c (U{X)~R|WRV W, U, X, T c W~T{U|XRV W, U, X, U c U~U|W{XRV W, U, X, X c (U~X)|(W{X)RV W, V, P, S c W{V~S{PRV W, V, Q, R c W~(V|Q)|RRV W, V, Q, S c W~S{V|QRV W, V, Q, T c (W|Q)~V|TRV W, V, Q, V c (W{V)~Q{VRV W, V, Q, X c W~VQ{XRV W, V, R, Q c W~(V|Q)|RRV W, V, R, S c (W{R)~S|VRV W, V, R, T c W~(V|R){TRV W, V, R, U c W~R{V{URV W, V, R, W c W{V~R{WRV W, V, S, P c W{V~S{PRV W, V, S, Q c W~S{V|QRV W, V, S, R c (W{R)~S|VRV W, V, S, T c WS{V~TRV W, V, S, U c (W~U)|(V{S)RV W, V, S, V c (V~V)|(W{S)RV W, V, S, X c W|V{S~XRV W, V, T, Q c (W|Q)~V|TRV W, V, T, R c W~(V|R){TRV W, V, T, S c W~T|V{SRV W, V, T, U c W{V~T|URV W, V, T, X c W~X|V~TRV W, V, U, R c W~R{V{URV W, V, U, S c (W~U)|(V{S)RV W, V, U, T c W{V~T|URV W, V, U, U c W|V{U~URV W, V, V, Q c (W{V)~Q{VRV W, V, V, S c (V~V)|(W{S)RV W, V, W, R c W{V~R{WRV W, V, X, Q c W~VQ{XRV W, V, X, S c W|V{X~SRV W, V, X, T c W~X|V~TRV W, W, P, T c (W{P)~T|WRV W, W, Q, T c (W{W)~Q{TRV W, W, R, R c W~(W|R)|RRV W, W, R, S c W{W~S|RRV W, W, R, T c W{W~R{TRV W, W, R, U c (W~U)|(W{R)RV W, W, R, V c W{W{R~VRV W, W, R, X c W~W|R~XRV W, W, S, R c W{W~S|RRV W, W, S, T c W~(W|S){TRV W, W, S, X c WW{S~XRV W, W, T, P c (W{P)~T|WRV W, W, T, Q c (W{W)~Q{TRV W, W, T, R c W{W~R{TRV W, W, T, S c W~(W|S){TRV W, W, T, T c W~T|W{TRV W, W, U, R c (W~U)|(W{R)RV W, W, U, U c WW{U~URV W, W, V, R c W{W{V~RRV W, W, X, R c W~W|X~RRV W, W, X, S c WW{X~SRV W, X, O, T c (X{O)~T|WRV W, X, P, Q c W~XQ{PRV W, X, P, S c (W|P)~S{XRV W, X, P, T c X~P~T|WRV W, X, P, U c X~(U|P)|WRV W, X, Q, P c W~XQ{PRV W, X, Q, Q c (W~X{Q)QRV W, X, Q, R c (W{X)~Q{RRV W, X, Q, S c (X{QW)~SRV W, X, Q, U c (W~U)|(X{Q)RV W, X, Q, V c WQ~V{XRV W, X, R, Q c W{X~R{QRV W, X, R, S c W~(X|S)|RRV W, X, R, T c W~T|XRRV W, X, R, U c (X{U)~R|WRV W, X, R, W c (W|R)~X|WRV W, X, S, P c (W|S)~X{PRV W, X, S, Q c (X{QW)~SRV W, X, S, R c W~(X|S)|RRV W, X, S, S c W~S{X|SRV W, X, S, T c W{X{S~TRV W, X, S, V c W{X~S|VRV W, X, S, W c WW{X~SRV W, X, S, X c X|W{S~XRV W, X, T, O c X~T|W{ORV W, X, T, P c X~T|W~PRV W, X, T, R c W~T|XRRV W, X, T, S c W{X{T~SRV W, X, T, T c W~(X|T){TRV W, X, T, U c W~T|X{URV W, X, T, V c W~X|T~VRV W, X, T, X c X~(T|WX)RV W, X, U, P c X~(U|P)|WRV W, X, U, Q c (W~U)|(X{Q)RV W, X, U, R c (X{U)~R|WRV W, X, U, T c W~T|X{URV W, X, U, U c X|W{U~URV W, X, U, X c (X~U)|(W{X)RV W, X, V, Q c W~VQ{XRV W, X, V, S c W{X~S|VRV W, X, V, T c W~X|V~TRV W, X, W, R c W~W|X~RRV W, X, W, S c WW{X~SRV W, X, X, S c X|W{X~SRV W, X, X, T c X~(T|WX)RV W, X, X, U c (X~U)|(W{X)RV X, O, P, S c (X{O)~S{PRV X, O, S, P c (X{O)~S{PRV X, O, S, V c X{O{S~VRV X, O, T, W c (X{O)~T|WRV X, O, V, S c X{O{V~SRV X, O, W, T c (X{O)~T|WRV X, P, O, S c (X{O)~S{PRV X, P, P, R c X~(P{R){PRV X, P, P, S c X~P~S{PRV X, P, P, T c X~(T|P){PRV X, P, Q, Q c X~(Q{Q){PRV X, P, Q, S c X~S|P{QRV X, P, Q, U c X~(U|Q){PRV X, P, Q, W c XQ~W{PRV X, P, Q, X c (X{X)~Q{PRV X, P, R, P c X~(P{R){PRV X, P, R, R c (X{R)~R{PRV X, P, R, S c (X{P)~S|RRV X, P, R, T c (X|P)~T|RRV X, P, R, U c (X|R)~U{PRV X, P, R, V c X{(P{R)~VRV X, P, R, X c X{P{R~XRV X, P, S, O c X~S{P{ORV X, P, S, P c X~P~S{PRV X, P, S, Q c X~S|P{QRV X, P, S, R c (X{P)~S|RRV X, P, S, S c (X{PS)~SRV X, P, S, T c (X|P)~S{TRV X, P, S, U c X{(P{U)~SRV X, P, S, V c X{P~S~VRV X, P, S, W c X~(P{S)|WRV X, P, S, X c X~(PX{S)RV X, P, T, P c X~(T|P){PRV X, P, T, R c (X|P)~T|RRV X, P, T, S c (X|P)~S{TRV X, P, T, V c X{(T|P)~VRV X, P, T, W c X~P~T|WRV X, P, T, X c X~T{P|XRV X, P, U, Q c X~(U|Q){PRV X, P, U, R c (X|R)~U{PRV X, P, U, S c X{(P{U)~SRV X, P, U, W c X~(U|P)|WRV X, P, V, R c X{(P{R)~VRV X, P, V, S c X{P~V~SRV X, P, V, T c X{V~(T|P)RV X, P, W, Q c X~WQ{PRV X, P, W, S c X~(P{S)|WRV X, P, W, T c X~P~T|WRV X, P, W, U c X~(U|P)|WRV X, P, X, Q c (X{X)~Q{PRV X, P, X, R c X{P{X~RRV X, P, X, S c X~(PX{S)RV X, P, X, T c X~(X|T){PRV X, Q, P, Q c X~(Q{Q){PRV X, Q, P, S c X~S{Q|PRV X, Q, P, U c X~(U|Q){PRV X, Q, P, W c XQ~W{PRV X, Q, P, X c (X{X)~Q{PRV X, Q, Q, P c X~(Q{Q){PRV X, Q, Q, S c X~S{QQRV X, Q, Q, T c (X|Q)~T{QRV X, Q, Q, V c X{(Q{Q)~VRV X, Q, Q, W c (X~W{Q)QRV X, Q, R, S c (X{Q)~R{SRV X, Q, R, T c X~R{Q~TRV X, Q, R, W c X~(Q{R)|WRV X, Q, S, P c X~S{Q|PRV X, Q, S, Q c X~S{QQRV X, Q, S, R c (X{Q)~R{SRV X, Q, S, T c X{(Q{T)~SRV X, Q, S, V c (X{Q)~S|VRV X, Q, S, W c (X{QW)~SRV X, Q, S, X c (X|Q)~S{XRV X, Q, T, Q c (X|Q)~T{QRV X, Q, T, R c X~R{Q~TRV X, Q, T, S c X{(Q{T)~SRV X, Q, T, U c X|Q{T~URV X, Q, T, V c (X{V)~Q{TRV X, Q, T, X c X{Q~(T{X)RV X, Q, U, P c X~(U|Q){PRV X, Q, U, T c X|Q{U~TRV X, Q, U, V c X{(U|Q)~VRV X, Q, U, W c X{Q~(U{W)RV X, Q, V, Q c X{Q~V~QRV X, Q, V, S c (X{Q)~S|VRV X, Q, V, T c (X{V)~Q{TRV X, Q, V, U c X{V~(U|Q)RV X, Q, V, V c X{Q~(V{V)RV X, Q, V, W c X{VQ~WRV X, Q, V, X c (X~X|V)QRV X, Q, W, P c XQ~W{PRV X, Q, W, Q c (X~W{Q)QRV X, Q, W, R c X~(Q{R)|WRV X, Q, W, S c (X{QW)~SRV X, Q, W, U c X{Q~(W{U)RV X, Q, W, V c X{WQ~VRV X, Q, X, P c (X{X)~Q{PRV X, Q, X, S c (X|Q)~S{XRV X, Q, X, T c X{Q~(X{T)RV X, Q, X, V c (X~X|V)QRV X, R, P, P c X~(R{P){PRV X, R, P, R c (X{R)~R{PRV X, R, P, S c (X{P)~S|RRV X, R, P, T c (X|P)~T|RRV X, R, P, U c (X|R)~U{PRV X, R, P, V c X{(R{P)~VRV X, R, P, X c X~R{P{XRV X, R, Q, S c (X{Q)~R{SRV X, R, Q, T c X~R{Q~TRV X, R, Q, W c X~R{Q{WRV X, R, R, P c (X{R)~R{PRV X, R, R, S c X~S{RRRV X, R, R, V c X~R{R{VRV X, R, S, P c (X{P)~S|RRV X, R, S, Q c (X{S)~R|QRV X, R, S, R c X~S{RRRV X, R, S, S c X{(R{S)~SRV X, R, S, U c X~R{S{URV X, R, S, W c X{R~W{SRV X, R, T, P c (X|P)~T|RRV X, R, T, Q c X~R{T~QRV X, R, T, T c X{R{T~TRV X, R, T, V c (X|R)~T{VRV X, R, T, W c T~W|XRRV X, R, U, P c (X|R)~U{PRV X, R, U, S c X~R{U{SRV X, R, U, W c (X{U)~R|WRV X, R, V, P c X{(R{P)~VRV X, R, V, R c X~R{V{RRV X, R, V, T c (X|R)~V|TRV X, R, V, V c X{R~V{VRV X, R, W, Q c X~R{W{QRV X, R, W, S c X{R~W{SRV X, R, W, T c W~T|XRRV X, R, W, U c (X{U)~R|WRV X, R, W, W c X~(W|R)|WRV X, R, X, P c X{R~X{PRV X, S, O, P c X~S{O{PRV X, S, O, V c X{(S{O)~VRV X, S, P, O c X~S{P{ORV X, S, P, P c X~S{P~PRV X, S, P, Q c X~S|P{QRV X, S, P, R c (X{P)~S|RRV X, S, P, S c (X{PS)~SRV X, S, P, T c (X|P)~S{TRV X, S, P, U c X{S~(P{U)RV X, S, P, V c X{S~P~VRV X, S, P, W c X~(S{P)|WRV X, S, P, X c X~(S{PX)RV X, S, Q, P c X~S{Q|PRV X, S, Q, Q c X~S{QQRV X, S, Q, R c X~S|Q{RRV X, S, Q, T c X{S~(Q{T)RV X, S, Q, V c (X|S)~V{QRV X, S, Q, W c (X{QW)~SRV X, S, Q, X c X{S~(X|Q)RV X, S, R, P c (X{P)~S|RRV X, S, R, Q c (X{S)~R|QRV X, S, R, R c X~S{RRRV X, S, R, S c X{(S{R)~SRV X, S, R, U c X~R{S{URV X, S, R, W c X{S{R~WRV X, S, S, P c (X{PS)~SRV X, S, S, R c X{S~(S{R)RV X, S, S, S c X~S{SSRV X, S, S, T c X~S|S{TRV X, S, S, U c X{S{S~URV X, S, S, V c (XS{V)~SRV X, S, S, W c X|S{S~WRV X, S, T, P c (X|P)~S{TRV X, S, T, Q c X{S~(T{Q)RV X, S, T, S c X~S{T|SRV X, S, T, T c X~S{TTRV X, S, T, U c X~S|T{URV X, S, T, W c X{S~T{WRV X, S, U, P c X{S~(U{P)RV X, S, U, R c X~R{S{URV X, S, U, S c X{S{U~SRV X, S, U, T c X~S{U|TRV X, S, U, U c X~S{UURV X, S, U, V c (X|S)~U{VRV X, S, V, O c X{S~V{ORV X, S, V, P c X{S~V~PRV X, S, V, Q c (X|S)~V{QRV X, S, V, S c (XS{V)~SRV X, S, V, U c X~S{V|URV X, S, V, V c X~S{VVRV X, S, V, W c X~S|V{WRV X, S, W, P c X{S~(W|P)RV X, S, W, Q c (X{QW)~SRV X, S, W, R c X{S{W~RRV X, S, W, S c X{S~W|SRV X, S, W, T c X{S~T{WRV X, S, W, V c X~S{W|VRV X, S, W, W c X~S{WWRV X, S, W, X c X~S|W{XRV X, S, X, P c X~(S{PX)RV X, S, X, Q c X{S~(X|Q)RV X, S, X, W c X{S~X|WRV X, S, X, X c X~S{XXRV X, T, O, W c X~T{O|WRV X, T, P, P c X~(T|P){PRV X, T, P, R c (X|P)~T|RRV X, T, P, S c (X|P)~S{TRV X, T, P, V c X{(T|P)~VRV X, T, P, W c X~T|P~WRV X, T, P, X c X~T{P|XRV X, T, Q, Q c (X|Q)~T{QRV X, T, Q, R c X~R{T~QRV X, T, Q, S c X{(T{Q)~SRV X, T, Q, U c (X~T)|(Q{U)RV X, T, Q, V c (X{V)~Q{TRV X, T, Q, X c (X{T)~Q{XRV X, T, R, P c (X|P)~T|RRV X, T, R, Q c X~R{T~QRV X, T, R, T c (X{T)~R|TRV X, T, R, V c (X|R)~T{VRV X, T, R, W c T~W|XRRV X, T, S, P c (X|P)~S{TRV X, T, S, Q c X~T|S~QRV X, T, S, S c (X~T)|(S{S)RV X, T, S, T c X~S{TTRV X, T, S, U c X~S|T{URV X, T, S, W c X{T~S{WRV X, T, T, R c X{T~T{RRV X, T, T, S c X~S{TTRV X, T, T, W c (X|T)~W{TRV X, T, U, Q c X{T~U|QRV X, T, U, S c X~S|T{URV X, T, U, W c T~W|X{URV X, T, V, P c (X~T)|(V{P)RV X, T, V, Q c (X{V)~Q{TRV X, T, V, R c (X|R)~T{VRV X, T, V, V c X{T~V|VRV X, T, V, W c X~W|T~VRV X, T, V, X c (X|T)~V{XRV X, T, W, O c X~T|W{ORV X, T, W, P c X~T|W~PRV X, T, W, R c T~W|XRRV X, T, W, S c X{T~S{WRV X, T, W, T c (X|T)~W{TRV X, T, W, U c T~W|X{URV X, T, W, V c X~W|T~VRV X, T, W, X c X~(T|WX)RV X, T, X, P c (X|T)~X{PRV X, T, X, Q c X{(T{X)~QRV X, T, X, V c (X|T)~V{XRV X, T, X, W c X~(T|WX)RV X, U, P, Q c X~(U|Q){PRV X, U, P, R c (X|R)~U{PRV X, U, P, S c X{(U{P)~SRV X, U, P, W c X~(U|P)|WRV X, U, Q, P c X~(U|Q){PRV X, U, Q, T c X{U~T|QRV X, U, Q, V c X{(U|Q)~VRV X, U, Q, W c X{(U{W)~QRV X, U, R, P c (X|R)~U{PRV X, U, R, S c X~R{U{SRV X, U, R, W c (X{U)~R|WRV X, U, S, P c X{(U{P)~SRV X, U, S, R c X~R{U{SRV X, U, S, S c X{U~S{SRV X, U, S, T c X~S{U|TRV X, U, S, U c X~S{UURV X, U, S, V c (X|S)~U{VRV X, U, T, Q c X{U~T|QRV X, U, T, S c X~S{U|TRV X, U, T, W c U{T~W|XRV X, U, U, S c X~S{UURV X, U, U, W c X{U~U|WRV X, U, U, X c XX{U~URV X, U, V, Q c X{(U|Q)~VRV X, U, V, S c (X|S)~U{VRV X, U, W, P c X~(U|P)|WRV X, U, W, Q c X{(U{W)~QRV X, U, W, R c (X{U)~R|WRV X, U, W, T c U{W~T|XRV X, U, W, U c X{U~U|WRV X, U, W, X c (X~U)|(W{X)RV X, U, X, U c XX{U~URV X, U, X, W c (X~U)|(X{W)RV X, V, O, S c X{(V{O)~SRV X, V, P, R c X{V~(P{R)RV X, V, P, S c X{V~P~SRV X, V, P, T c X{V~(T|P)RV X, V, Q, Q c X{V~(Q{Q)RV X, V, Q, S c (X{Q)~S|VRV X, V, Q, T c (X{V)~Q{TRV X, V, Q, U c X{V~(U|Q)RV X, V, Q, V c X{(V{V)~QRV X, V, Q, W c X{VQ~WRV X, V, Q, X c (X~X|V)QRV X, V, R, P c X{V~(R{P)RV X, V, R, R c X~R{V{RRV X, V, R, T c (X|R)~V|TRV X, V, R, V c X{V{R~VRV X, V, S, O c X{V~S{ORV X, V, S, P c X{V~S~PRV X, V, S, Q c (X|S)~V{QRV X, V, S, S c (XS{V)~SRV X, V, S, U c X~S{V|URV X, V, S, V c (XV{S)~VRV X, V, S, W c X{V~(W|S)RV X, V, T, P c X{V~(T|P)RV X, V, T, Q c (X{V)~Q{TRV X, V, T, R c (X|R)~V|TRV X, V, T, V c X{V~T|VRV X, V, T, W c X~W|V~TRV X, V, T, X c X{V~(X|T)RV X, V, U, Q c X{V~(U|Q)RV X, V, U, S c X~S{V|URV X, V, V, Q c X{(V{V)~QRV X, V, V, R c X{V{V~RRV X, V, V, S c (XV{S)~VRV X, V, V, T c X|V{V~TRV X, V, W, Q c X{V~WQRV X, V, W, S c X{V~(W|S)RV X, V, W, T c X~W|V~TRV X, V, X, Q c (X~X|V)QRV X, V, X, T c X{V~(X|T)RV X, W, O, T c (X{O)~T|WRV X, W, P, Q c X~WQ{PRV X, W, P, S c X{(W|P)~SRV X, W, P, T c X~P~T|WRV X, W, P, U c X~(U|P)|WRV X, W, Q, P c X~WQ{PRV X, W, Q, Q c (X~W{Q)QRV X, W, Q, R c (X{W)~Q{RRV X, W, Q, S c (X{QW)~SRV X, W, Q, U c X{(W{U)~QRV X, W, Q, V c X{WQ~VRV X, W, R, Q c (X{W)~Q{RRV X, W, R, S c X{W~R{SRV X, W, R, T c W~T|XRRV X, W, R, U c (X{U)~R|WRV X, W, R, W c X~(W|R)|WRV X, W, S, P c X~(W|S){PRV X, W, S, Q c (X{QW)~SRV X, W, S, R c X{W~R{SRV X, W, S, S c X{W~S|SRV X, W, S, T c X{W{S~TRV X, W, S, V c X{(W|S)~VRV X, W, S, W c X~S{WWRV X, W, S, X c X|W{S~XRV X, W, T, O c X~T|W{ORV X, W, T, P c X~T|W~PRV X, W, T, R c W~T|XRRV X, W, T, S c X{W{T~SRV X, W, T, T c (X|WT)~TRV X, W, T, U c W~T|X{URV X, W, T, V c X~W|T~VRV X, W, T, X c X~(T|WX)RV X, W, U, P c X~(U|P)|WRV X, W, U, Q c X{(W{U)~QRV X, W, U, R c (X{U)~R|WRV X, W, U, T c W~T|X{URV X, W, U, U c X|W{U~URV X, W, U, X c (X~U)|(W{X)RV X, W, V, Q c X{W~VQRV X, W, V, S c X{(W|S)~VRV X, W, V, T c X~W|V~TRV X, W, W, R c X~(W|R)|WRV X, W, W, S c X~S{WWRV X, W, X, S c X|W{X~SRV X, W, X, T c X~(T|WX)RV X, W, X, U c (X~U)|(W{X)RV X, X, P, Q c (X{X)~Q{PRV X, X, P, R c X{X~R{PRV X, X, P, S c X~(PX{S)RV X, X, P, T c X~(X|T){PRV X, X, Q, P c (X{X)~Q{PRV X, X, Q, S c X{(X|Q)~SRV X, X, Q, T c X{(X{T)~QRV X, X, Q, V c (X~X|V)QRV X, X, R, P c X{X~R{PRV X, X, S, P c X~(S{PX)RV X, X, S, Q c X{(X|Q)~SRV X, X, S, W c X{X~S|WRV X, X, S, X c XX{S~XRV X, X, T, P c X~(X|T){PRV X, X, T, Q c X{(X{T)~QRV X, X, T, V c X{(X|T)~VRV X, X, T, W c X~(T|WX)RV X, X, U, U c XX{U~URV X, X, U, W c (X~U)|(X{W)RV X, X, V, Q c (X~X|V)QRV X, X, V, T c X{(X|T)~VRV X, X, W, S c X{X~S|WRV X, X, W, T c X~(T|WX)RV X, X, W, U c (X~U)|(X{W)RV X, X, X, S c XX{X~SRV