O, P, S, W c O{P{S~WRR O, P, W, S c O{P{W~SRR O, Q, R, X c (O{Q{X)~RRR O, Q, T, V c O{T~V|QRR O, Q, V, T c O{V~T|QRR O, Q, X, R c (O{Q{X)~RRR O, R, Q, X c (O{R)~(Q{X)RR O, R, R, W c (O{R)~(R{W)RR O, R, S, V c (O{R)~(S{V)RR O, R, S, X c O{S~X|RRR O, R, T, U c O{R{T~URR O, R, U, T c O{R{U~TRR O, R, U, U c O{U~U|RRR O, R, U, X c O{R~X{URR O, R, V, S c (O{R)~(V{S)RR O, R, W, R c (O{R{W)~RRR O, R, W, X c O{R~W{XRR O, R, X, Q c (O{R)~(X{Q)RR O, R, X, S c O{X~S|RRR O, R, X, U c O{R~X{URR O, R, X, W c O{R~W{XRR O, S, P, W c O{S~W{PRR O, S, R, V c (O{S{V)~RRR O, S, R, X c O{S~X|RRR O, S, T, V c O{S~V{TRR O, S, U, X c O{S~U{XRR O, S, V, R c (O{S{V)~RRR O, S, V, T c O{S~V{TRR O, S, W, P c O{S~W{PRR O, S, X, R c O{S~X|RRR O, S, X, U c O{S~U{XRR O, T, Q, V c O{T~V|QRR O, T, R, U c (O{T{U)~RRR O, T, S, V c O{T{S~VRR O, T, T, W c O{T~T{WRR O, T, U, R c (O{T{U)~RRR O, T, V, Q c O{T~V|QRR O, T, V, S c O{T{V~SRR O, T, V, W c O{T~W|VRR O, T, W, T c O{T~T{WRR O, T, W, V c O{T~W|VRR O, U, R, T c (O{U{T)~RRR O, U, R, U c O{U~U|RRR O, U, R, X c O{U{R~XRR O, U, S, X c O{U~S{XRR O, U, T, R c (O{U{T)~RRR O, U, U, R c O{U~U|RRR O, U, V, X c O{U~V|XRR O, U, X, R c O{U{X~RRR O, U, X, S c O{U~S{XRR O, U, X, V c O{U~V|XRR O, V, Q, T c O{V~T|QRR O, V, R, S c (O{V{S)~RRR O, V, S, R c (O{V{S)~RRR O, V, S, T c O{V~S{TRR O, V, T, Q c O{V~T|QRR O, V, T, S c O{V~S{TRR O, V, T, W c O{T~W|VRR O, V, U, X c O{V~U|XRR O, V, W, T c O{W~T|VRR O, V, X, U c O{V~U|XRR O, W, P, S c O{W~S{PRR O, W, R, R c (O{W{R)~RRR O, W, R, X c O{W~R{XRR O, W, S, P c O{W~S{PRR O, W, T, T c O{W{T~TRR O, W, T, V c O{W~T|VRR O, W, V, T c O{W~T|VRR O, W, X, R c O{W~R{XRR O, X, Q, R c (O{X{Q)~RRR O, X, R, Q c (O{X{Q)~RRR O, X, R, S c O{X~S|RRR O, X, R, U c O{X~R{URR O, X, R, W c O{X{R~WRR O, X, S, R c O{X~S|RRR O, X, S, U c O{X{S~URR O, X, U, R c O{X~R{URR O, X, U, S c O{X{U~SRR O, X, U, V c O{U~V|XRR O, X, V, U c O{V~U|XRR O, X, W, R c O{X{W~RRR P, O, S, W c P{O{S~WRR P, O, W, S c P{O{W~SRR P, P, R, W c P{(P{R)~WRR P, P, R, X c (P{P{X)~RRR P, P, S, V c P{(P{V)~SRR P, P, S, W c P{P~S~WRR P, P, S, X c P{S~(X|P)RR P, P, T, V c (T~V)|(P{P)RR P, P, T, W c P{(T|P)~WRR P, P, V, S c P{(P{V)~SRR P, P, V, T c (V~T)|(P{P)RR P, P, W, R c P{(P{R)~WRR P, P, W, S c P{P~W~SRR P, P, W, T c P{W~(T|P)RR P, P, X, R c (P{P{X)~RRR P, P, X, S c P{(X|P)~SRR P, Q, Q, W c P{(Q{Q)~WRR P, Q, Q, X c (P{Q)~(Q{X)RR P, Q, R, T c (P{Q~T)~RRR P, Q, R, U c (Q~U|P)~RRR P, Q, R, W c (P{Q)~(R{W)RR P, Q, R, X c (P~Q{X)~RRR P, Q, S, S c P{Q~S~SRR P, Q, S, U c P{(Q{U)~SRR P, Q, S, V c (P{Q)~(S{V)RR P, Q, S, W c Q|P{S~WRR P, Q, S, X c (Q{X)~(S|P)RR P, Q, T, R c (P{Q~T)~RRR P, Q, T, U c P{Q{T~URR P, Q, T, V c P~T~V|QRR P, Q, T, W c T~(W|P)|QRR P, Q, U, R c (Q~U|P)~RRR P, Q, U, S c P{(Q{U)~SRR P, Q, U, T c P{Q{U~TRR P, Q, U, U c (U|PQ)~URR P, Q, U, V c (U|P)~V|QRR P, Q, U, W c P{(U|Q)~WRR P, Q, U, X c (P{Q)~X{URR P, Q, V, S c (P{Q)~(V{S)RR P, Q, V, T c P~V~T|QRR P, Q, V, U c V~(U|P)|QRR P, Q, V, X c P{Q~(V{X)RR P, Q, W, Q c P{Q~W~QRR P, Q, W, R c (P{Q{W)~RRR P, Q, W, S c Q|P{W~SRR P, Q, W, T c (W|P)~T|QRR P, Q, W, U c P{W~(U|Q)RR P, Q, W, W c P{Q~(W{W)RR P, Q, W, X c (P{Q)~W{XRR P, Q, X, Q c (P{Q)~(X{Q)RR P, Q, X, R c (P~Q{X)~RRR P, Q, X, S c (Q{X)~(S|P)RR P, Q, X, U c (P{Q)~X{URR P, Q, X, V c P{Q~(X{V)RR P, Q, X, W c (P{Q)~W{XRR P, R, P, W c P{(R{P)~WRR P, R, P, X c (P{P{X)~RRR P, R, Q, T c (P{Q~T)~RRR P, R, Q, U c R~(Q~U|P)RR P, R, Q, W c (P{Q)~(R{W)RR P, R, Q, X c (P~R)~(Q{X)RR P, R, R, S c R~(R~S|P)RR P, R, R, V c (P{R{V)~RRR P, R, R, W c (P~R)~(R{W)RR P, R, R, X c (P{R)~X|RRR P, R, S, R c (R~S|P)~RRR P, R, S, T c P{(R{T)~SRR P, R, S, U c (P{S{U)~RRR P, R, S, V c (P~R)~(S{V)RR P, R, S, W c (P{W)~S|RRR P, R, S, X c P~S~X|RRR P, R, T, Q c (P{T~Q)~RRR P, R, T, S c P{(R{T)~SRR P, R, T, T c (P{T{T)~RRR P, R, T, U c P~R{T~URR P, R, T, V c (P{R)~V{TRR P, R, T, X c P{R~X{TRR P, R, U, Q c R~(U~Q|P)RR P, R, U, S c (P{U{S)~RRR P, R, U, T c P~R{U~TRR P, R, U, U c P~U~U|RRR P, R, U, V c U~(V|P)|RRR P, R, U, W c (P{W)~R{URR P, R, U, X c (P{R)~U{XRR P, R, V, R c (P{R{V)~RRR P, R, V, S c (P~R)~(V{S)RR P, R, V, T c (P{R)~V{TRR P, R, V, U c (V|P)~U|RRR P, R, V, W c P{(V|R)~WRR P, R, V, X c (P{V)~R{XRR P, R, W, P c (P{R)~W{PRR P, R, W, Q c (P{W{Q)~RRR P, R, W, R c (P~R{W)~RRR P, R, W, S c (P{W)~S|RRR P, R, W, U c (P{W)~R{URR P, R, W, V c P{W~(V|R)RR P, R, W, W c P{R~W{WRR P, R, W, X c P~R~W{XRR P, R, X, P c (P{X{P)~RRR P, R, X, Q c (P~R)~(X{Q)RR P, R, X, R c (P{R)~X|RRR P, R, X, S c P~X~S|RRR P, R, X, T c P{R~X{TRR P, R, X, U c P~R~X{URR P, R, X, V c (P{V)~R{XRR P, R, X, W c P~R~W{XRR P, R, X, X c R~(X|P){XRR P, S, O, W c P{(S{O)~WRR P, S, P, V c P{S~(P{V)RR P, S, P, W c P{S~P~WRR P, S, P, X c P{S~(X|P)RR P, S, Q, S c P{S~Q~SRR P, S, Q, U c P{S~(Q{U)RR P, S, Q, V c (P{S)~V|QRR P, S, Q, W c S~W|P{QRR P, S, Q, X c (S|P)~(Q{X)RR P, S, R, R c (S~R|P)~RRR P, S, R, T c P{S~(R{T)RR P, S, R, U c (P{S{U)~RRR P, S, R, V c (P~S{V)~RRR P, S, R, W c (P{W)~S|RRR P, S, R, X c P~S~X|RRR P, S, S, Q c P{S~S~QRR P, S, S, S c P{(S{S)~SRR P, S, S, V c P{S{S~VRR P, S, S, W c (PS{W)~SRR P, S, S, X c P{S~X|SRR P, S, T, R c P{S~(T{R)RR P, S, T, U c (P{U)~S{TRR P, S, T, V c P~S~V{TRR P, S, T, W c (P{S)~T{WRR P, S, T, X c (P{T)~S{XRR P, S, U, Q c P{S~(U{Q)RR P, S, U, R c (P{S{U)~RRR P, S, U, T c (P{U)~S{TRR P, S, U, U c P{U~U|SRR P, S, U, V c S~V|P{URR P, S, U, W c P{S~U{WRR P, S, U, X c P~S~U{XRR P, S, V, P c P{S~(V{P)RR P, S, V, Q c (P{S)~V|QRR P, S, V, R c (P~S{V)~RRR P, S, V, S c P{S{V~SRR P, S, V, T c P~S~V{TRR P, S, V, U c S~V|P{URR P, S, V, W c (P{S)~W|VRR P, S, V, X c (P{X)~S|VRR P, S, W, O c P{S~W{ORR P, S, W, P c P{S~W~PRR P, S, W, Q c S~W|P{QRR P, S, W, R c (P{W)~S|RRR P, S, W, S c (PS{W)~SRR P, S, W, T c (P{S)~T{WRR P, S, W, U c P{S~U{WRR P, S, W, V c (P{S)~W|VRR P, S, W, W c P{(W|S)~WRR P, S, W, X c (S|P)~W{XRR P, S, X, P c P{S~(X|P)RR P, S, X, Q c (S|P)~(X{Q)RR P, S, X, R c P~S~X|RRR P, S, X, S c P{S~X|SRR P, S, X, T c (P{T)~S{XRR P, S, X, U c P~S~U{XRR P, S, X, V c (P{X)~S|VRR P, S, X, W c (S|P)~W{XRR P, T, P, V c (T~V)|(P{P)RR P, T, P, W c P{(T|P)~WRR P, T, Q, R c (P{T~Q)~RRR P, T, Q, U c P{T~U{QRR P, T, Q, V c P~T~V|QRR P, T, Q, W c T~(W|P)|QRR P, T, R, Q c (P{T~Q)~RRR P, T, R, S c P{(T{R)~SRR P, T, R, T c (P{T{T)~RRR P, T, R, U c (P{T)~U|RRR P, T, R, V c P{T~V|RRR P, T, R, X c P{T{R~XRR P, T, S, R c P{(T{R)~SRR P, T, S, U c (P{U)~S{TRR P, T, S, V c P~T{S~VRR P, T, S, W c (P{S)~T{WRR P, T, S, X c (P{T)~S{XRR P, T, T, R c (P{T{T)~RRR P, T, T, V c P{T~T{VRR P, T, T, W c P~T~T{WRR P, T, T, X c T~T|P{XRR P, T, U, Q c P{T~U{QRR P, T, U, R c (P{T)~U|RRR P, T, U, S c (P{U)~S{TRR P, T, U, W c T~(U|P){WRR P, T, U, X c (T|P)~U{XRR P, T, V, P c (T~V)|(P{P)RR P, T, V, Q c P~T~V|QRR P, T, V, R c P{T~V|RRR P, T, V, S c P~T{V~SRR P, T, V, T c P{T~T{VRR P, T, V, V c (P{V)~T|VRR P, T, V, W c P~T~W|VRR P, T, V, X c (P{T)~V|XRR P, T, W, P c P{(T|P)~WRR P, T, W, Q c T~(W|P)|QRR P, T, W, S c (P{S)~T{WRR P, T, W, T c P~T~T{WRR P, T, W, U c (T~W)|(P{U)RR P, T, W, V c P~T~W|VRR P, T, W, W c P{T~W|WRR P, T, W, X c P{W~(X|T)RR P, T, X, R c P{T{X~RRR P, T, X, S c (P{T)~S{XRR P, T, X, T c T~T|P{XRR P, T, X, U c (T|P)~U{XRR P, T, X, V c (P{T)~V|XRR P, T, X, W c P{(X|T)~WRR P, U, Q, R c (U~Q|P)~RRR P, U, Q, S c P{(U{Q)~SRR P, U, Q, T c P{U~T{QRR P, U, Q, U c (U|PQ)~URR P, U, Q, V c (U|P)~V|QRR P, U, Q, W c P{(U|Q)~WRR P, U, Q, X c (P{Q)~X{URR P, U, R, Q c (U~Q|P)~RRR P, U, R, S c (P{U{S)~RRR P, U, R, T c (P~U{T)~RRR P, U, R, U c P~U~U|RRR P, U, R, V c U~(V|P)|RRR P, U, R, W c (P{W)~R{URR P, U, R, X c P~U{R~XRR P, U, S, Q c P{(U{Q)~SRR P, U, S, R c (P{U{S)~RRR P, U, S, T c (P{U)~S{TRR P, U, S, U c P{U~U|SRR P, U, S, V c U|P{S~VRR P, U, S, W c P{U~S{WRR P, U, S, X c P~U~S{XRR P, U, T, Q c P{U~T{QRR P, U, T, R c (P~U{T)~RRR P, U, T, S c (P{U)~S{TRR P, U, T, W c (U|P)~T{WRR P, U, T, X c U~(T|P){XRR P, U, U, Q c (U|PQ)~URR P, U, U, R c P~U~U|RRR P, U, U, S c P{U~U|SRR P, U, U, X c (P{U)~U|XRR P, U, V, Q c (U|P)~V|QRR P, U, V, R c U~(V|P)|RRR P, U, V, S c U|P{V~SRR P, U, V, W c (U|P)~W|VRR P, U, V, X c P~U~V|XRR P, U, W, Q c P{(U|Q)~WRR P, U, W, R c (P{W)~R{URR P, U, W, S c P{U~S{WRR P, U, W, T c (U|P)~T{WRR P, U, W, V c (U|P)~W|VRR P, U, W, X c U~(W|P)|XRR P, U, X, Q c (P{XQ)~URR P, U, X, R c P~U{X~RRR P, U, X, S c P~U~S{XRR P, U, X, T c U~(T|P){XRR P, U, X, U c (P{U)~U|XRR P, U, X, V c P~U~V|XRR P, U, X, W c U~(W|P)|XRR P, V, P, S c P{(V{P)~SRR P, V, P, T c (V~T)|(P{P)RR P, V, Q, S c (P{Q)~(V{S)RR P, V, Q, T c P~V~T|QRR P, V, Q, U c V~(U|P)|QRR P, V, Q, X c P{(V{X)~QRR P, V, R, R c (P{V{R)~RRR P, V, R, S c (P~V{S)~RRR P, V, R, T c P{V~T|RRR P, V, R, U c (V|P)~U|RRR P, V, R, W c P{(V|R)~WRR P, V, R, X c (P{V)~R{XRR P, V, S, P c (P{V)~S{PRR P, V, S, Q c (P{S)~V|QRR P, V, S, R c (P~V{S)~RRR P, V, S, S c P{V~S{SRR P, V, S, T c P~V~S{TRR P, V, S, U c V~S|P{URR P, V, S, W c (P{S)~W|VRR P, V, S, X c (P{X)~S|VRR P, V, T, P c (V~T)|(P{P)RR P, V, T, Q c P~V~T|QRR P, V, T, R c P{V~T|RRR P, V, T, S c P~V~S{TRR P, V, T, T c P{V{T~TRR P, V, T, V c (P{V)~T|VRR P, V, T, W c P~T~W|VRR P, V, T, X c (P{T)~V|XRR P, V, U, Q c V~(U|P)|QRR P, V, U, R c (V|P)~U|RRR P, V, U, S c V~S|P{URR P, V, U, W c (V~U)|(P{W)RR P, V, U, X c P~V~U|XRR P, V, V, T c (P{V)~T|VRR P, V, V, X c (V|P)~V|XRR P, V, W, R c P{(V|R)~WRR P, V, W, S c (P{S)~W|VRR P, V, W, T c P~W~T|VRR P, V, W, U c (V~U)|(P{W)RR P, V, X, Q c P{(V{X)~QRR P, V, X, R c (P{V)~R{XRR P, V, X, S c (P{X)~S|VRR P, V, X, T c (P{T)~V|XRR P, V, X, U c P~V~U|XRR P, V, X, V c (V|P)~V|XRR P, W, O, S c P{(W{O)~SRR P, W, P, R c P{W~(P{R)RR P, W, P, S c P{W~P~SRR P, W, P, T c P{W~(T|P)RR P, W, Q, Q c P{W~(Q{Q)RR P, W, Q, R c (P{W{Q)~RRR P, W, Q, S c W~S|P{QRR P, W, Q, T c (W|P)~T|QRR P, W, Q, U c P{W~(U|Q)RR P, W, Q, W c P{WQ~WRR P, W, Q, X c (P{Q)~W{XRR P, W, R, P c P{W~(R{P)RR P, W, R, Q c (P{W{Q)~RRR P, W, R, R c (P~W{R)~RRR P, W, R, S c (P{W)~S|RRR P, W, R, U c (P{W)~R{URR P, W, R, V c P{W~(V|R)RR P, W, R, W c P{W{R~WRR P, W, R, X c (P{WR)~XRR P, W, S, O c P{W~S{ORR P, W, S, P c P{W~S~PRR P, W, S, Q c W~S|P{QRR P, W, S, R c (P{W)~S|RRR P, W, S, S c (PS{W)~SRR P, W, S, T c (P{S)~T{WRR P, W, S, U c P{W{S~URR P, W, S, V c (P{S)~W|VRR P, W, S, W c P{(W|S)~WRR P, W, S, X c W~(S|P){XRR P, W, T, P c P{W~(T|P)RR P, W, T, Q c (W|P)~T|QRR P, W, T, S c (P{S)~T{WRR P, W, T, T c P~W{T~TRR P, W, T, U c (W~T)|(P{U)RR P, W, T, V c P~W~T|VRR P, W, T, W c P{W~T|WRR P, W, T, X c P{W~(X|T)RR P, W, U, Q c P{W~(U|Q)RR P, W, U, R c (P{W)~R{URR P, W, U, S c P{W{U~SRR P, W, U, T c W{(U|P)~TRR P, W, U, V c W~(U|P)|VRR P, W, U, X c (W|P)~U|XRR P, W, V, R c P{W~(V|R)RR P, W, V, S c (P{S)~W|VRR P, W, V, T c P~W~T|VRR P, W, V, U c W~(U|P)|VRR P, W, W, Q c P{(W{W)~QRR P, W, W, R c P{W{W~RRR P, W, W, S c P{W~(W|S)RR P, W, W, T c P{W~T|WRR P, W, X, Q c (P{Q)~W{XRR P, W, X, R c (P{WR)~XRR P, W, X, S c W~(S|P){XRR P, W, X, T c P{W~(X|T)RR P, W, X, U c (W|P)~U|XRR P, X, P, R c (P{X{P)~RRR P, X, P, S c P{(X|P)~SRR P, X, Q, Q c (P{Q)~(X{Q)RR P, X, Q, R c (P~X{Q)~RRR P, X, Q, S c (X{Q)~(S|P)RR P, X, Q, U c (P{XQ)~URR P, X, Q, V c P{(X{V)~QRR P, X, Q, W c (P{Q)~W{XRR P, X, R, P c (P{X{P)~RRR P, X, R, Q c (P~X{Q)~RRR P, X, R, R c (P{X)~R{RRR P, X, R, S c P~X~S|RRR P, X, R, T c P{X~R{TRR P, X, R, U c P~X~R{URR P, X, R, V c (P{V)~R{XRR P, X, R, W c P~X{R~WRR P, X, R, X c (X|P)~R{XRR P, X, S, P c P{(X|P)~SRR P, X, S, Q c (X~S)|(P{Q)RR P, X, S, R c P~X~S|RRR P, X, S, S c P{X~S|SRR P, X, S, T c (P{T)~S{XRR P, X, S, U c P~X{S~URR P, X, S, V c (P{X)~S|VRR P, X, S, W c X{(S|P)~WRR P, X, T, R c P{X~R{TRR P, X, T, S c (P{T)~S{XRR P, X, T, T c X|P{T~TRR P, X, T, U c X{(T|P)~URR P, X, T, V c (P{T)~V|XRR P, X, T, W c P{(X|T)~WRR P, X, U, Q c (P{XQ)~URR P, X, U, R c P~X~R{URR P, X, U, S c P~X{U~SRR P, X, U, T c X{U~(T|P)RR P, X, U, U c (P{U)~U|XRR P, X, U, V c P~U~V|XRR P, X, U, W c U~(W|P)|XRR P, X, V, Q c P{(X{V)~QRR P, X, V, R c (P{V)~R{XRR P, X, V, S c (P{X)~S|VRR P, X, V, T c (P{T)~V|XRR P, X, V, U c P~V~U|XRR P, X, V, V c (V|P)~V|XRR P, X, W, Q c (P{Q)~W{XRR P, X, W, R c P~X{W~RRR P, X, W, S c X{W~(S|P)RR P, X, W, T c P{(X|T)~WRR P, X, W, U c (W|P)~U|XRR P, X, X, R c (X|P)~R{XRR Q, O, R, X c (Q{O{X)~RRR Q, O, T, V c O{T~V|QRR Q, O, V, T c O{V~T|QRR Q, O, X, R c (Q{O{X)~RRR Q, P, Q, W c (Q{Q)~W{PRR Q, P, Q, X c (Q{P)~(Q{X)RR Q, P, R, T c (Q~T{P)~RRR Q, P, R, U c (Q~U|P)~RRR Q, P, R, W c (Q{P)~(R{W)RR Q, P, R, X c (Q{P~X)~RRR Q, P, S, S c Q~S~S{PRR Q, P, S, U c (Q{U)~S{PRR Q, P, S, V c (Q{P)~(S{V)RR Q, P, S, W c Q|P{S~WRR Q, P, S, X c (Q{X)~(S|P)RR Q, P, T, R c (Q~T{P)~RRR Q, P, T, U c Q{P{T~URR Q, P, T, V c P~T~V|QRR Q, P, T, W c T~(W|P)|QRR Q, P, U, R c (Q~U|P)~RRR Q, P, U, S c (Q{U)~S{PRR Q, P, U, T c Q{P{U~TRR Q, P, U, U c (U|PQ)~URR Q, P, U, V c (U|P)~V|QRR Q, P, U, W c P{(U|Q)~WRR Q, P, U, X c (Q{P)~X{URR Q, P, V, S c (Q{P)~(V{S)RR Q, P, V, T c P~V~T|QRR Q, P, V, U c V~(U|P)|QRR Q, P, V, X c Q~(V{X){PRR Q, P, W, Q c Q~W~Q{PRR Q, P, W, R c (Q{P{W)~RRR Q, P, W, S c Q|P{W~SRR Q, P, W, T c (W|P)~T|QRR Q, P, W, U c P{W~(U|Q)RR Q, P, W, W c Q~(W{W){PRR Q, P, W, X c (Q{P)~W{XRR Q, P, X, Q c (Q{P)~(X{Q)RR Q, P, X, R c (Q{P~X)~RRR Q, P, X, S c (Q{X)~(S|P)RR Q, P, X, U c (Q{P)~X{URR Q, P, X, V c Q~(X{V){PRR Q, P, X, W c (Q{P)~W{XRR Q, Q, P, W c (Q{Q)~W{PRR Q, Q, P, X c (Q{P)~(Q{X)RR Q, Q, R, V c (Q{Q{V)~RRR Q, Q, R, X c (Q{Q)~X|RRR Q, Q, S, W c QQ{S~WRR Q, Q, T, T c (Q{T)~T|QRR Q, Q, T, V c (Q{Q)~V{TRR Q, Q, T, X c (Q{X)~(T|Q)RR Q, Q, U, V c (Q{VQ)~URR Q, Q, U, X c (Q{Q)~U{XRR Q, Q, V, R c (Q{Q{V)~RRR Q, Q, V, T c (Q{Q)~V{TRR Q, Q, V, U c (Q{VQ)~URR Q, Q, V, V c (V|Q)~V|QRR Q, Q, W, P c (Q{Q)~W{PRR Q, Q, W, S c QQ{W~SRR Q, Q, W, W c (Q{W~W)QRR Q, Q, X, P c (Q{X)~(Q{P)RR Q, Q, X, R c (Q{Q)~X|RRR Q, Q, X, T c (Q{X)~(T|Q)RR Q, Q, X, U c (Q{Q)~U{XRR Q, R, O, X c (Q{O{X)~RRR Q, R, P, T c (Q~T{P)~RRR Q, R, P, U c (Q~U|P)~RRR Q, R, P, W c (Q{P)~(R{W)RR Q, R, P, X c (Q{P~X)~RRR Q, R, Q, V c (Q{R)~V|QRR Q, R, Q, X c (Q{Q)~X|RRR Q, R, R, R c (Q{R~R)~RRR Q, R, R, S c (Q~S{R)~RRR Q, R, R, T c (Q~R{T)~RRR Q, R, R, U c (Q{R{U)~RRR Q, R, R, V c (Q~V|R)~RRR Q, R, R, W c (Q{W)~R{RRR Q, R, R, X c Q~R{R~XRR Q, R, S, R c (Q~S{R)~RRR Q, R, S, T c (Q{S{T)~RRR Q, R, S, U c (Q{S)~U|RRR Q, R, S, V c Q{R{S~VRR Q, R, S, W c R|Q{S~WRR Q, R, S, X c Q~R~S{XRR Q, R, T, P c (Q~T{P)~RRR Q, R, T, R c (Q~R{T)~RRR Q, R, T, S c (Q{T{S)~RRR Q, R, T, U c (R{TQ)~URR Q, R, T, W c (Q{R)~T{WRR Q, R, T, X c (Q{TR)~XRR Q, R, U, P c (Q~U|P)~RRR Q, R, U, R c (Q{R{U)~RRR Q, R, U, S c (Q{S)~U|RRR Q, R, U, T c (R{TQ)~URR Q, R, U, V c Q~U{R~VRR Q, R, U, W c R~(UQ{W)RR Q, R, U, X c (Q{U)~R{XRR Q, R, V, Q c (Q{R)~V|QRR Q, R, V, R c (Q~V|R)~RRR Q, R, V, S c Q{R{V~SRR Q, R, V, U c (Q{V)~R{URR Q, R, V, W c Q{R~W{VRR Q, R, V, X c Q~R~V|XRR Q, R, W, P c (Q{W{P)~RRR Q, R, W, R c (Q{W)~R{RRR Q, R, W, S c R|Q{W~SRR Q, R, W, T c (Q{R)~T{WRR Q, R, W, U c (R{W)Q~URR Q, R, W, V c Q{R~W{VRR Q, R, W, X c R~X|Q{WRR Q, R, X, O c (Q{X)~(R{O)RR Q, R, X, P c (Q{X)~(R~P)RR Q, R, X, Q c Q~X~Q|RRR Q, R, X, R c Q~R{X~RRR Q, R, X, S c Q{R~X{SRR Q, R, X, T c Q~X{R~TRR Q, R, X, U c (Q{X)~(U|R)RR Q, R, X, V c Q~R~V|XRR Q, R, X, W c R~X|Q{WRR Q, R, X, X c Q~(R{X){XRR Q, S, P, S c Q~S~S{PRR Q, S, P, U c (Q{U)~S{PRR Q, S, P, V c (Q{P)~(S{V)RR Q, S, P, W c Q{S~W|PRR Q, S, P, X c (Q{X)~(S|P)RR Q, S, Q, W c QQ{S~WRR Q, S, R, R c (Q~S{R)~RRR Q, S, R, T c (Q{S{T)~RRR Q, S, R, U c (Q{S)~U|RRR Q, S, R, V c Q{S~V{RRR Q, S, R, W c S~W|Q{RRR Q, S, R, X c Q{S{R~XRR Q, S, S, P c Q~S~S{PRR Q, S, S, X c (Q{S)~S{XRR Q, S, T, R c (Q{S{T)~RRR Q, S, T, T c Q~S{T~TRR Q, S, T, U c (QS{T)~URR Q, S, T, V c Q~S~T|VRR Q, S, T, X c Q{S~X|TRR Q, S, U, P c (Q{U)~S{PRR Q, S, U, R c (Q{S)~U|RRR Q, S, U, T c (QS{T)~URR Q, S, U, U c (U|QS)~URR Q, S, U, V c Q{S~U{VRR Q, S, U, X c (S|QU)~XRR Q, S, V, P c (Q{P)~(S{V)RR Q, S, V, R c Q{S~V{RRR Q, S, V, T c Q~S~T|VRR Q, S, V, U c Q{S~U{VRR Q, S, V, V c S~V|Q{VRR Q, S, V, W c (Q{W)~S|VRR Q, S, V, X c (Q{S)~V|XRR Q, S, W, P c Q{S~W|PRR Q, S, W, Q c QQ{S~WRR Q, S, W, R c S~W|Q{RRR Q, S, W, V c (Q{W)~S|VRR Q, S, W, W c (QW{W)~SRR Q, S, W, X c Q~(S{W){XRR Q, S, X, P c (Q{X)~(S|P)RR Q, S, X, R c Q{S{X~RRR Q, S, X, S c (Q{S)~S{XRR Q, S, X, T c Q{S~X|TRR Q, S, X, U c (S|QU)~XRR Q, S, X, V c Q~(S{X){VRR Q, S, X, W c Q~(S{W){XRR Q, T, O, V c (T{O)~V|QRR Q, T, P, R c (Q~T{P)~RRR Q, T, P, U c Q{T~U{PRR Q, T, P, V c T~P~V|QRR Q, T, P, W c T~(W|P)|QRR Q, T, Q, T c (Q{T)~T|QRR Q, T, Q, V c (Q{Q)~V{TRR Q, T, Q, X c (Q{X)~(T|Q)RR Q, T, R, P c (Q~T{P)~RRR Q, T, R, R c Q~T~R{RRR Q, T, R, S c (Q{T{S)~RRR Q, T, R, U c (TQ{R)~URR Q, T, R, W c (Q{R)~T{WRR Q, T, R, X c (Q{TR)~XRR Q, T, S, R c (Q{T{S)~RRR Q, T, S, T c (Q{T)~S{TRR Q, T, S, U c (QS{T)~URR Q, T, S, V c Q~T~S|VRR Q, T, S, X c Q{S~X|TRR Q, T, T, Q c (Q{T)~T|QRR Q, T, T, S c (Q{T)~S{TRR Q, T, T, U c Q{T~T{URR Q, T, T, V c T~(V|QT)RR Q, T, T, W c (T~W)|(Q{T)RR Q, T, T, X c Q~(T{X){TRR Q, T, U, P c Q{T~U{PRR Q, T, U, R c (TQ{R)~URR Q, T, U, S c (QS{T)~URR Q, T, U, T c Q{T~T{URR Q, T, U, U c Q{U~U|TRR Q, T, U, V c (Q{U)~T|VRR Q, T, U, W c Q~(U{W){TRR Q, T, U, X c (Q{T)~U|XRR Q, T, V, O c T~V|Q{ORR Q, T, V, P c T~V|Q~PRR Q, T, V, Q c Q~V~Q{TRR Q, T, V, S c Q{T~V|SRR Q, T, V, T c T~(V|QT)RR Q, T, V, U c (Q{U)~T|VRR Q, T, V, V c Q~(V{V){TRR Q, T, V, W c Q~(T{W){VRR Q, T, V, X c Q~(T{V){XRR Q, T, W, P c T~(W|P)|QRR Q, T, W, R c (Q~W|T)~RRR Q, T, W, T c (T~W)|(Q{T)RR Q, T, W, U c Q~(W{U){TRR Q, T, W, V c Q~(T{W){VRR Q, T, W, X c Q{T~W|XRR Q, T, X, Q c (Q{X)~(T|Q)RR Q, T, X, R c (Q{TR)~XRR Q, T, X, S c Q{X~S|TRR Q, T, X, T c Q~(T{X){TRR Q, T, X, U c (Q{T)~U|XRR Q, T, X, V c Q~(T{V){XRR Q, T, X, W c Q{T~W|XRR Q, U, P, R c (Q~U|P)~RRR Q, U, P, S c (Q{U)~S{PRR Q, U, P, T c Q{U~T{PRR Q, U, P, U c (U|PQ)~URR Q, U, P, V c (U|P)~V|QRR Q, U, P, W c (U|Q)~W{PRR Q, U, P, X c (Q{P)~X{URR Q, U, Q, V c (Q{VQ)~URR Q, U, Q, X c Q~U~Q{XRR Q, U, R, P c (Q~U|P)~RRR Q, U, R, R c (Q{U{R)~RRR Q, U, R, S c (Q{S)~U|RRR Q, U, R, T c U~(R{TQ)RR Q, U, R, V c Q~U{R~VRR Q, U, R, W c (UQ)~(R{W)RR Q, U, R, X c (Q{U)~R{XRR Q, U, S, P c (Q{U)~S{PRR Q, U, S, R c (Q{S)~U|RRR Q, U, S, T c (QS{T)~URR Q, U, S, U c (U|QS)~URR Q, U, S, V c Q{U~S{VRR Q, U, S, X c (S|QU)~XRR Q, U, T, P c Q{U~T{PRR Q, U, T, R c U~(TQ{R)RR Q, U, T, S c (QS{T)~URR Q, U, T, T c Q{U{T~TRR Q, U, T, U c Q{U~U|TRR Q, U, T, V c (Q{U)~T|VRR Q, U, T, W c Q~(U{W){TRR Q, U, T, X c (Q{T)~U|XRR Q, U, U, P c (U~U)|(Q{P)RR Q, U, U, S c (U|QS)~URR Q, U, U, T c Q{U~U|TRR Q, U, U, U c U~U|UQRR Q, U, U, X c Q~(U{U){XRR Q, U, V, P c (U|P)~V|QRR Q, U, V, Q c (Q{VQ)~URR Q, U, V, R c Q~U{V~RRR Q, U, V, S c Q{U~S{VRR Q, U, V, T c (Q{U)~T|VRR Q, U, V, V c Q~(U{V){VRR Q, U, V, X c U~(X|VQ)RR Q, U, W, P c (U|Q)~W{PRR Q, U, W, R c (UQ{W)~RRR Q, U, W, T c Q~(U{W){TRR Q, U, W, X c UQ~W{XRR Q, U, X, P c (Q{P)~X{URR Q, U, X, Q c Q~U~Q{XRR Q, U, X, R c Q~(U{X){RRR Q, U, X, S c X~(S|QU)RR Q, U, X, T c (Q{T)~U|XRR Q, U, X, U c Q~(U{U){XRR Q, U, X, V c U~(X|VQ)RR Q, U, X, W c UQ~W{XRR Q, U, X, X c Q~X{U{XRR Q, V, O, T c (V{O)~T|QRR Q, V, P, S c (Q{P)~(V{S)RR Q, V, P, T c V~P~T|QRR Q, V, P, U c V~(U|P)|QRR Q, V, P, X c Q~(V{X){PRR Q, V, Q, R c (Q{V{Q)~RRR Q, V, Q, T c Q~V~Q{TRR Q, V, Q, U c (Q{VQ)~URR Q, V, Q, V c (V|Q)~V|QRR Q, V, R, Q c (Q{V{Q)~RRR Q, V, R, R c (Q~V|R)~RRR Q, V, R, S c Q{V~S{RRR Q, V, R, U c (Q{V)~R{URR Q, V, R, W c Q{V{R~WRR Q, V, R, X c Q~V~R|XRR Q, V, S, P c (Q{P)~(V{S)RR Q, V, S, R c Q{V~S{RRR Q, V, S, T c Q{V~T|SRR Q, V, S, U c Q{V{S~URR Q, V, S, V c V|Q{S~VRR Q, V, S, W c (Q{W)~S|VRR Q, V, S, X c (Q{S)~V|XRR Q, V, T, O c V~T|Q{ORR Q, V, T, P c V~T|Q~PRR Q, V, T, Q c Q~V~Q{TRR Q, V, T, S c Q{V~T|SRR Q, V, T, T c (V|QT)~TRR Q, V, T, U c (Q{U)~T|VRR Q, V, T, V c Q~(V{V){TRR Q, V, T, W c Q~(T{W){VRR Q, V, T, X c Q~(V{T){XRR Q, V, U, P c V~(U|P)|QRR Q, V, U, Q c (Q{VQ)~URR Q, V, U, R c (Q{V)~R{URR Q, V, U, S c Q{V{U~SRR Q, V, U, T c (Q{U)~T|VRR Q, V, U, V c Q~(V{U){VRR Q, V, U, X c U~(X|VQ)RR Q, V, V, Q c (V|Q)~V|QRR Q, V, V, S c V|Q{V~SRR Q, V, V, T c Q~(V{V){TRR Q, V, V, U c Q~(V{U){VRR Q, V, V, W c (V|Q)~W|VRR Q, V, W, R c Q{V{W~RRR Q, V, W, S c (Q{W)~S|VRR Q, V, W, T c Q~(W{T){VRR Q, V, W, V c (V|Q)~W|VRR Q, V, W, X c Q~X{V{WRR Q, V, X, P c Q~(V{X){PRR Q, V, X, R c Q~V~R|XRR Q, V, X, S c (Q{X)~(V|S)RR Q, V, X, T c Q~(V{T){XRR Q, V, X, U c (X|VQ)~URR Q, V, X, W c Q~X{V{WRR Q, W, P, Q c Q~W~Q{PRR Q, W, P, R c (Q{W{P)~RRR Q, W, P, S c Q{W~S|PRR Q, W, P, T c (W|P)~T|QRR Q, W, P, U c W~(U|Q){PRR Q, W, P, W c Q~(W{W){PRR Q, W, P, X c Q~(W{X)|PRR Q, W, Q, P c Q~W~Q{PRR Q, W, Q, S c QQ{W~SRR Q, W, Q, W c (Q{W~W)QRR Q, W, R, P c (Q{W{P)~RRR Q, W, R, R c (Q{W)~R{RRR Q, W, R, S c W~S|Q{RRR Q, W, R, T c (Q~W|T)~RRR Q, W, R, U c (W|Q)~U|RRR Q, W, R, V c Q{W~R{VRR Q, W, R, X c W|Q{R~XRR Q, W, S, P c Q{W~S|PRR Q, W, S, Q c QQ{W~SRR Q, W, S, R c W~S|Q{RRR Q, W, S, V c (Q{W)~S|VRR Q, W, S, W c (QW{W)~SRR Q, W, S, X c Q~(W{S){XRR Q, W, T, P c (W|P)~T|QRR Q, W, T, R c (Q~W|T)~RRR Q, W, T, T c (W~T)|(Q{T)RR Q, W, T, U c Q~(W{U){TRR Q, W, T, V c Q~(W{T){VRR Q, W, T, X c Q{W~T|XRR Q, W, U, P c W~(U|Q){PRR Q, W, U, R c (W|Q)~U|RRR Q, W, U, T c Q~(W{U){TRR Q, W, U, X c WQ~U{XRR Q, W, V, R c Q~(W{V){RRR Q, W, V, S c (Q{W)~S|VRR Q, W, V, T c Q~(W{T){VRR Q, W, V, V c W~(V|Q)|VRR Q, W, V, X c Q~X{W{VRR Q, W, W, P c Q~(W{W){PRR Q, W, W, Q c (Q{W~W)QRR Q, W, W, S c (QW{W)~SRR Q, W, W, X c Q~W{W{XRR Q, W, X, P c Q~(W{X)|PRR Q, W, X, R c W|Q{X~RRR Q, W, X, S c Q~(W{S){XRR Q, W, X, T c Q{W~T|XRR Q, W, X, U c WQ~U{XRR Q, W, X, V c Q~X{W{VRR Q, W, X, W c Q~W{X{WRR Q, X, O, R c (Q{X{O)~RRR Q, X, P, Q c (Q{X)~(P{Q)RR Q, X, P, R c (Q{X)~(P~R)RR Q, X, P, S c (Q{X)~(S|P)RR Q, X, P, U c (Q{P)~X{URR Q, X, P, V c Q~(X{V){PRR Q, X, P, W c Q~(X{W)|PRR Q, X, Q, P c (Q{X)~(Q{P)RR Q, X, Q, R c Q~X~Q|RRR Q, X, Q, T c (Q{X)~(T|Q)RR Q, X, Q, U c (Q{X)Q~URR Q, X, R, O c (Q{X)~(R{O)RR Q, X, R, P c (Q{X)~(R~P)RR Q, X, R, Q c Q~X~Q|RRR Q, X, R, R c Q~R{X~RRR Q, X, R, S c Q{X~R{SRR Q, X, R, T c Q~X{R~TRR Q, X, R, U c (Q{X)~(U|R)RR Q, X, R, V c (Q~X|V)~RRR Q, X, R, W c XQ~W|RRR Q, X, R, X c (Q{X)R~XRR Q, X, S, P c (Q{X)~(S|P)RR Q, X, S, R c Q{X~R{SRR Q, X, S, S c (Q{S)~S{XRR Q, X, S, T c Q{X~S|TRR Q, X, S, U c X~(S|QU)RR Q, X, S, V c Q~(X{S){VRR Q, X, S, W c Q~(S{W){XRR Q, X, T, Q c (Q{X)~(T|Q)RR Q, X, T, R c Q~X{T~RRR Q, X, T, S c Q{X~S|TRR Q, X, T, T c Q~(X{T){TRR Q, X, T, U c (Q{T)~U|XRR Q, X, T, V c Q~(T{V){XRR Q, X, T, W c (Q{X)~(W|T)RR Q, X, U, P c (Q{P)~X{URR Q, X, U, Q c (Q{X)~(UQ)RR Q, X, U, R c (Q{X)~(U|R)RR Q, X, U, S c X~(S|QU)RR Q, X, U, T c (Q{T)~U|XRR Q, X, U, U c Q~(U{U){XRR Q, X, U, V c (X|VQ)~URR Q, X, U, W c X{UQ~WRR Q, X, U, X c Q~X{U{XRR Q, X, V, P c Q~(X{V){PRR Q, X, V, R c (Q~X|V)~RRR Q, X, V, S c (Q{X)~(V|S)RR Q, X, V, T c Q~(V{T){XRR Q, X, V, U c (X|VQ)~URR Q, X, V, W c Q~X{V{WRR Q, X, W, P c Q~(X{W)|PRR Q, X, W, R c XQ~W|RRR Q, X, W, S c Q~(W{S){XRR Q, X, W, T c (Q{X)~(W|T)RR Q, X, W, U c X{WQ~URR Q, X, W, V c Q~X{W{VRR Q, X, W, W c Q~W{X{WRR Q, X, X, R c (Q{X)~(XR)RR Q, X, X, U c (Q{X)~(X|U)RR R, O, Q, X c (R{O)~(Q{X)RR R, O, R, W c (R{O)~(R{W)RR R, O, S, V c (R{O)~(S{V)RR R, O, S, X c O{S~X|RRR R, O, T, U c R{O{T~URR R, O, U, T c R{O{U~TRR R, O, U, U c O{U~U|RRR R, O, U, X c (R{O)~X{URR R, O, V, S c (R{O)~(V{S)RR R, O, W, R c (R{O{W)~RRR R, O, W, X c (R{O)~W{XRR R, O, X, Q c (R{O)~(X{Q)RR R, O, X, S c O{X~S|RRR R, O, X, U c (R{O)~X{URR R, O, X, W c (R{O)~W{XRR R, P, P, W c (R{P)~W{PRR R, P, P, X c R~(P{P{X)RR R, P, Q, T c R~(P{Q~T)RR R, P, Q, U c R~(Q~U|P)RR R, P, Q, W c R~(P{Q{W)RR R, P, Q, X c (R~P)~(Q{X)RR R, P, R, S c R~(R~S|P)RR R, P, R, V c R~(P{R{V)RR R, P, R, W c (R~P)~(R{W)RR R, P, R, X c R{(P{X)~RRR R, P, S, R c (R~S|P)~RRR R, P, S, T c (R{T)~S{PRR R, P, S, U c R{(P{S)~URR R, P, S, V c (R~P)~(S{V)RR R, P, S, W c R~(S|P{W)RR R, P, S, X c P~S~X|RRR R, P, T, Q c R~(P{T~Q)RR R, P, T, S c (R{T)~S{PRR R, P, T, T c R{(P{T)~TRR R, P, T, U c R{P~T~URR R, P, T, V c (R{P)~V{TRR R, P, T, X c R~X{P{TRR R, P, U, Q c R~(U~Q|P)RR R, P, U, S c R~(P{U{S)RR R, P, U, T c R{P~U~TRR R, P, U, U c R{(U|P)~URR R, P, U, V c U~(V|P)|RRR R, P, U, W c R~(P{W){URR R, P, U, X c (R{P)~U{XRR R, P, V, R c (R{P{V)~RRR R, P, V, S c (R~P)~(V{S)RR R, P, V, T c (R{P)~V{TRR R, P, V, U c (V|P)~U|RRR R, P, V, W c P{(V|R)~WRR R, P, V, X c R~(P{V){XRR R, P, W, P c (R{P)~W{PRR R, P, W, Q c R~(P{W{Q)RR R, P, W, R c (R{P~W)~RRR R, P, W, S c R~(W|P{S)RR R, P, W, U c R~(P{W){URR R, P, W, V c P{W~(V|R)RR R, P, W, W c R~W{P{WRR R, P, W, X c R~P~W{XRR R, P, X, P c R~(P{X{P)RR R, P, X, Q c (R~P)~(X{Q)RR R, P, X, R c R{(P{X)~RRR R, P, X, S c P~X~S|RRR R, P, X, T c R~X{P{TRR R, P, X, U c R~P~X{URR R, P, X, V c R~(P{V){XRR R, P, X, W c R~P~W{XRR R, P, X, X c R~(X|P){XRR R, Q, O, X c R~(Q{O{X)RR R, Q, P, T c R~(Q~T{P)RR R, Q, P, U c R~(Q~U|P)RR R, Q, P, W c R~(Q{P{W)RR R, Q, P, X c R~(Q{P~X)RR R, Q, Q, V c R~(Q{Q{V)RR R, Q, Q, X c (Q{Q)~X|RRR R, Q, R, R c R~(Q{R~R)RR R, Q, R, S c (R{Q~S)~RRR R, Q, R, T c R{Q~R~TRR R, Q, R, U c R{(Q{R)~URR R, Q, R, V c R~(Q~V|R)RR R, Q, R, W c R{(Q{W)~RRR R, Q, R, X c (R{QR)~XRR R, Q, S, R c (R{Q~S)~RRR R, Q, S, T c R{(Q{S)~TRR R, Q, S, U c (RQ{S)~URR R, Q, S, V c R{Q{S~VRR R, Q, S, W c R|Q{S~WRR R, Q, S, X c R~Q~S{XRR R, Q, T, P c R~(Q~T{P)RR R, Q, T, R c R{Q~T~RRR R, Q, T, S c R~(Q{T{S)RR R, Q, T, U c (R{TQ)~URR R, Q, T, W c (R{Q)~T{WRR R, Q, T, X c R~T{Q~XRR R, Q, U, P c R~(Q~U|P)RR R, Q, U, R c (R{Q{U)~RRR R, Q, U, S c (RQ{S)~URR R, Q, U, T c (R{TQ)~URR R, Q, U, V c R~(Q{V){URR R, Q, U, W c R~(UQ{W)RR R, Q, U, X c R{Q~(U{X)RR R, Q, V, Q c (R{Q)~V|QRR R, Q, V, R c R~(Q~V|R)RR R, Q, V, S c R{Q{V~SRR R, Q, V, U c R~(Q{V){URR R, Q, V, W c R{Q~(V{W)RR R, Q, V, X c R~Q~V|XRR R, Q, W, P c R~(Q{W{P)RR R, Q, W, R c R{(Q{W)~RRR R, Q, W, S c R|Q{W~SRR R, Q, W, T c R~(Q~W|T)RR R, Q, W, U c (R{W)Q~URR R, Q, W, V c R{Q~(W{V)RR R, Q, W, X c R~X|Q{WRR R, Q, X, O c R~(Q{X){ORR R, Q, X, P c R~(Q{X)~PRR R, Q, X, Q c Q~X~Q|RRR R, Q, X, R c R~Q{X~RRR R, Q, X, S c R~Q~S{XRR R, Q, X, T c R~T{Q~XRR R, Q, X, U c R{Q~(X{U)RR R, Q, X, V c R~(Q~X|V)RR R, Q, X, W c R~X|Q{WRR R, Q, X, X c (R{X)~Q{XRR R, R, O, W c R~(R{O{W)RR R, R, P, S c R~(R~S|P)RR R, R, P, V c R~(R{P{V)RR R, R, P, W c R~(R{P~W)RR R, R, P, X c R{R~(P{X)RR R, R, Q, R c (R~R{Q)~RRR R, R, Q, S c R~(R{Q~S)RR R, R, Q, T c R{R~Q~TRR R, R, Q, U c R{(R{Q)~URR R, R, Q, V c R~(Q~V|R)RR R, R, Q, W c R{R~(Q{W)RR R, R, Q, X c (R{QR)~XRR R, R, R, Q c R~(R~R{Q)RR R, R, R, S c R~R~S|RRR R, R, R, T c R{(R{R)~TRR R, R, R, U c R~R~R{URR R, R, R, V c R{R~(R{V)RR R, R, R, W c R~R{R~WRR R, R, R, X c R{R{R~XRR R, R, S, P c R~(R~S|P)RR R, R, S, Q c R~(R{S~Q)RR R, R, S, R c R~R~S|RRR R, R, S, S c R~(R{S{S)RR R, R, S, T c R~(R~T|S)RR R, R, S, U c R{R~(S{U)RR R, R, S, V c R~S{R~VRR R, R, S, W c RR{S~WRR R, R, S, X c (R{R)~S{XRR R, R, T, Q c R{R~T~QRR R, R, T, R c (R{R{T)~RRR R, R, T, S c R~(R~T|S)RR R, R, T, T c R{R~(T{T)RR R, R, T, U c R~T{R~URR R, R, T, V c R~(T{V)|RRR R, R, T, X c R~(R{T){XRR R, R, U, Q c R~(R{U{Q)RR R, R, U, R c (R{R)~U|RRR R, R, U, S c R{R~(U{S)RR R, R, U, T c R~U{R~TRR R, R, U, U c R~(R{U){URR R, R, U, V c R~(R~U|V)RR R, R, U, W c R{R~W{URR R, R, U, X c R~(UR{X)RR R, R, V, P c R~(R{V{P)RR R, R, V, Q c R~(V~Q|R)RR R, R, V, R c R{(R{V)~RRR R, R, V, S c R~V{R~SRR R, R, V, T c R~(V{T)|RRR R, R, V, U c R~(R~U|V)RR R, R, V, V c R~(V|R{V)RR R, R, V, X c R{R~V{XRR R, R, W, O c R~(R{W){ORR R, R, W, P c R~(R{W)~PRR R, R, W, Q c R{R~(W{Q)RR R, R, W, R c R~R{W~RRR R, R, W, S c RR{W~SRR R, R, W, U c R{R~W{URR R, R, W, X c (R{W)R~XRR R, R, X, P c R{R~(X{P)RR R, R, X, Q c R~X{R~QRR R, R, X, R c R{R{X~RRR R, R, X, S c (R{R)~S{XRR R, R, X, T c R~(R{T){XRR R, R, X, U c R~(X{UR)RR R, R, X, V c R{R~V{XRR R, R, X, W c R~(XR{W)RR R, R, X, X c R~X|R{XRR R, S, O, V c R~(S{O{V)RR R, S, O, X c (S{O)~X|RRR R, S, P, R c (R~S|P)~RRR R, S, P, T c (R{T)~S{PRR R, S, P, U c R{(S{P)~URR R, S, P, V c R~(S{P~V)RR R, S, P, W c R~(S|P{W)RR R, S, P, X c (S|PR)~XRR R, S, Q, R c (R{S~Q)~RRR R, S, Q, T c R{(S{Q)~TRR R, S, Q, U c (RQ{S)~URR R, S, Q, V c R{S~V{QRR R, S, Q, W c R{S~W|QRR R, S, Q, X c R~(S|Q{X)RR R, S, R, P c R~(S~R|P)RR R, S, R, Q c (R{S~Q)~RRR R, S, R, R c R~S~R|RRR R, S, R, S c R~(S{R{S)RR R, S, R, T c R~(R~T|S)RR R, S, R, U c R{(S{U)~RRR R, S, R, V c R~S{R~VRR R, S, R, W c R~(S{W)|RRR R, S, R, X c (R{R)~S{XRR R, S, S, R c (R{S{S)~RRR R, S, S, T c (R{S)~S{TRR R, S, S, W c S|R{S~WRR R, S, S, X c R~(S{S){XRR R, S, T, P c (R{T)~S{PRR R, S, T, Q c (R{S)~T|QRR R, S, T, R c (R~T|S)~RRR R, S, T, S c (R{S)~S{TRR R, S, T, U c R~(S{T){URR R, S, T, W c R~W{S{TRR R, S, T, X c R~(S~T|X)RR R, S, U, P c R~(S{U{P)RR R, S, U, Q c (RQ{S)~URR R, S, U, R c R{(S{U)~RRR R, S, U, T c R~(S{T){URR R, S, U, U c R{S~U{URR R, S, U, V c (S{V)~(U|R)RR R, S, U, X c (R{S)~U|XRR R, S, V, O c R~(S{V){ORR R, S, V, P c R~(S{V)~PRR R, S, V, Q c R{S~V{QRR R, S, V, R c R~S{V~RRR R, S, V, U c (S{V)~(U|R)RR R, S, V, V c (R{V)~S|VRR R, S, V, W c R~V{S{WRR R, S, V, X c (S{V)R~XRR R, S, W, P c R~(S{W|P)RR R, S, W, Q c R{S~W|QRR R, S, W, R c R~(S{W)|RRR R, S, W, S c S|R{W~SRR R, S, W, T c R~W{S{TRR R, S, W, V c R~(W|S{V)RR R, S, W, X c R~(WS{X)RR R, S, X, O c S~X|R{ORR R, S, X, P c S~X|R~PRR R, S, X, Q c R~(S{X|Q)RR R, S, X, R c (R{R)~S{XRR R, S, X, S c R~(S{S){XRR R, S, X, T c R~(S~T|X)RR R, S, X, U c R{S~X|URR R, S, X, V c (S{V)R~XRR R, S, X, W c R~(X{WS)RR R, S, X, X c (S|RX)~XRR R, T, O, U c R{(T{O)~URR R, T, P, Q c R~(T~Q{P)RR R, T, P, S c (R{T)~S{PRR R, T, P, T c R{(T{P)~TRR R, T, P, U c R{T~P~URR R, T, P, V c R~(T|P{V)RR R, T, P, X c R~X{T{PRR R, T, Q, P c R~(T~Q{P)RR R, T, Q, R c R{T~Q~RRR R, T, Q, S c R{T~(Q{S)RR R, T, Q, U c (R{TQ)~URR R, T, Q, W c R~(T|Q{W)RR R, T, Q, X c R~T{Q~XRR R, T, R, Q c R{T~R~QRR R, T, R, R c (R{T{R)~RRR R, T, R, S c R~(T~R|S)RR R, T, R, T c R{(T{T)~RRR R, T, R, U c R~T{R~URR R, T, R, V c R~(T{V)|RRR R, T, R, X c (R{T)~R{XRR R, T, S, P c (R{T)~S{PRR R, T, S, Q c R{T~(S{Q)RR R, T, S, R c (R~T|S)~RRR R, T, S, S c (R{S)~S{TRR R, T, S, U c R~(T{S){URR R, T, S, W c R~W{T{SRR R, T, S, X c R~(T~S|X)RR R, T, T, P c R{T~(T{P)RR R, T, T, R c R{(T{T)~RRR R, T, T, T c R{T{T~TRR R, T, T, U c (RT{U)~TRR R, T, T, V c (R{T)~T|VRR R, T, U, O c R{T~U{ORR R, T, U, P c R{T~U~PRR R, T, U, Q c (R{TQ)~URR R, T, U, R c R~T{U~RRR R, T, U, S c R~(T{S){URR R, T, U, T c (RT{U)~TRR R, T, U, U c (RU{T)~URR R, T, U, V c T~V|URRR R, T, U, W c R~(T{W)|URR R, T, U, X c (T{U)R~XRR R, T, V, P c R{T~(V|P)RR R, T, V, R c R~(T{V)|RRR R, T, V, T c R{T~V|TRR R, T, V, U c T~V|URRR R, T, V, V c R~V{T{VRR R, T, V, X c R~(V|T{X)RR R, T, W, Q c R{T~(W|Q)RR R, T, W, S c R~W{T{SRR R, T, W, U c R~(T{W)|URR R, T, W, W c R~(W|T{W)RR R, T, X, P c R~X{T{PRR R, T, X, Q c R~T{X~QRR R, T, X, R c R{T~(X|R)RR R, T, X, S c R~(T~S|X)RR R, T, X, U c (T{U)R~XRR R, T, X, V c R~(X|T{V)RR R, T, X, X c R~T{X{XRR R, U, O, T c R{(U{O)~TRR R, U, O, U c (U{O)~U|RRR R, U, O, X c (R{O)~X{URR R, U, P, Q c R~(U~Q|P)RR R, U, P, S c R{U~(P{S)RR R, U, P, T c R{U~P~TRR R, U, P, U c R{(U|P)~URR R, U, P, V c U~(V|P)|RRR R, U, P, W c R~(P{W){URR R, U, P, X c (R{P)~U{XRR R, U, Q, P c R~(U~Q|P)RR R, U, Q, R c (R{U{Q)~RRR R, U, Q, S c (RQ{S)~URR R, U, Q, T c (R{TQ)~URR R, U, Q, V c R~(U|Q{V)RR R, U, Q, W c R~(UQ{W)RR R, U, Q, X c R~(U{Q){XRR R, U, R, Q c R{U~(R{Q)RR R, U, R, R c (R{R)~U|RRR R, U, R, S c R{(U{S)~RRR R, U, R, T c R~U{R~TRR R, U, R, U c (R{U)~R{URR R, U, R, V c R~(U~R|V)RR R, U, R, W c R{U{R~WRR R, U, R, X c R~(UR{X)RR R, U, S, P c R{U~(S{P)RR R, U, S, Q c (RQ{S)~URR R, U, S, R c R{(U{S)~RRR R, U, S, T c R~(S{T){URR R, U, S, U c R{U{S~URR R, U, S, V c (U|R)~(S{V)RR R, U, S, X c R~(U|S{X)RR R, U, T, O c R{U~T{ORR R, U, T, P c R{U~T~PRR R, U, T, Q c (R{TQ)~URR R, U, T, R c R~U{T~RRR R, U, T, S c R~(T{S){URR R, U, T, T c (RT{U)~TRR R, U, T, U c (RU{T)~URR R, U, T, V c T~V|URRR R, U, T, W c R~(T{W)|URR R, U, T, X c (U{T)R~XRR R, U, U, O c U~U|R{ORR R, U, U, P c R{U~(U|P)RR R, U, U, R c R~(U{U)|RRR R, U, U, S c R{U{U~SRR R, U, U, T c (RU{T)~URR R, U, U, U c R{U~U|URR R, U, U, V c R~(U{V)|URR R, U, U, X c R~U{U{XRR R, U, V, P c U~(V|P)|RRR R, U, V, Q c R{U~(V|Q)RR R, U, V, R c (R~U|V)~RRR R, U, V, S c (U|R)~(V{S)RR R, U, V, T c V~T|URRR R, U, V, U c R~(U{V)|URR R, U, V, W c R~U{V{WRR R, U, V, X c (U|VR)~XRR R, U, W, P c R~(W{P){URR R, U, W, Q c R~(UQ{W)RR R, U, W, R c R{U{W~RRR R, U, W, T c R~(W{T)|URR R, U, W, V c R~U{W{VRR R, U, W, X c R~(U{W)|XRR R, U, X, O c R~X{U{ORR R, U, X, P c R~X{U~PRR R, U, X, Q c R{(U{X)~QRR R, U, X, R c R~(UR{X)RR R, U, X, S c R{U~(X|S)RR R, U, X, T c (U{T)R~XRR R, U, X, U c R~U{X{URR R, U, X, V c U~X|R~VRR R, U, X, W c R~(U{W)|XRR R, U, X, X c (R{UX)~XRR R, V, O, S c R~(V{O{S)RR R, V, P, R c (R{V{P)~RRR R, V, P, S c R~(V{P~S)RR R, V, P, T c R{(V|P)~TRR R, V, P, U c (V|P)~U|RRR R, V, P, W c (V|R)~W{PRR R, V, P, X c R~(V{P){XRR R, V, Q, Q c R~(V{Q{Q)RR R, V, Q, R c R~(V~Q|R)RR R, V, Q, S c R{V~S{QRR R, V, Q, U c R{(V|Q)~URR R, V, Q, W c R{(V{W)~QRR R, V, Q, X c R~V~Q|XRR R, V, R, P c R~(V{R{P)RR R, V, R, Q c R~(V~Q|R)RR R, V, R, R c R{(V{R)~RRR R, V, R, S c R~V{R~SRR R, V, R, T c R~(V{T)|RRR R, V, R, U c R~(R~U|V)RR R, V, R, V c R~(V|R{V)RR R, V, R, X c R{V~R{XRR R, V, S, O c R~(V{S){ORR R, V, S, P c R~(V{S)~PRR R, V, S, Q c R{V~S{QRR R, V, S, R c R~V{S~RRR R, V, S, U c (V{S)~(U|R)RR R, V, S, V c (R{V)~S|VRR R, V, S, W c R~V{S{WRR R, V, S, X c (V{S)R~XRR R, V, T, P c R~(V{T|P)RR R, V, T, R c R~(V{T)|RRR R, V, T, T c R{V~T|TRR R, V, T, U c V~T|URRR R, V, T, V c R~V{T{VRR R, V, T, X c R~(V|T{X)RR R, V, U, P c (V|P)~U|RRR R, V, U, Q c R~(V{U|Q)RR R, V, U, R c (R~U|V)~RRR R, V, U, S c (V{S)~(U|R)RR R, V, U, T c V~T|URRR R, V, U, U c R~V{U{URR R, V, U, W c R~U{V{WRR R, V, U, X c (V|R)~U{XRR R, V, V, R c R~(V{V|R)RR R, V, V, S c (R{V)~S|VRR R, V, V, T c R~V{V{TRR R, V, V, X c R~(V{V)|XRR R, V, W, P c (V|R)~W{PRR R, V, W, Q c R{(V{W)~QRR R, V, W, S c R~V{W{SRR R, V, W, U c R~U{V{WRR R, V, W, W c (W|R)~W|VRR R, V, X, P c R~(V{P){XRR R, V, X, Q c (R{V~X)QRR R, V, X, R c R~V{X{RRR R, V, X, S c (V{S)R~XRR R, V, X, T c R~(V{X|T)RR R, V, X, U c (V|R)~U{XRR R, V, X, V c R~(V{V)|XRR R, V, X, X c R~(X|V{X)RR R, W, O, R c (R{W{O)~RRR R, W, O, X c R~W{O{XRR R, W, P, P c (R{P)~W{PRR R, W, P, Q c (R{W)~(P{Q)RR R, W, P, R c (R{W)~(P~R)RR R, W, P, S c R~(W|P{S)RR R, W, P, U c R~(W{P){URR R, W, P, V c W~(V|R){PRR R, W, P, W c R~W{P{WRR R, W, P, X c R~W{P~XRR R, W, Q, P c (R{W)~(Q{P)RR R, W, Q, R c R{(W{Q)~RRR R, W, Q, S c R{W~S|QRR R, W, Q, T c R{(W|Q)~TRR R, W, Q, U c (R{W)Q~URR R, W, Q, V c R~W{Q{VRR R, W, Q, X c R~X{W|QRR R, W, R, O c (R{W)~(R{O)RR R, W, R, P c (R{W)~(R~P)RR R, W, R, Q c R{(W{Q)~RRR R, W, R, R c R~W{R~RRR R, W, R, S c R~(W{S)|RRR R, W, R, U c R{(W|R)~URR R, W, R, X c (R{W)R~XRR R, W, S, P c (R{W)~(S|P)RR R, W, S, Q c R{W~S|QRR R, W, S, R c R~(W{S)|RRR R, W, S, S c W~S|R{SRR R, W, S, T c R~W{S{TRR R, W, S, V c R~(W|S{V)RR R, W, S, X c R~(WS{X)RR R, W, T, Q c (R{W)~(T|Q)RR R, W, T, S c R~W{T{SRR R, W, T, U c R~(W{T)|URR R, W, T, W c R~(W|T{W)RR R, W, U, P c R~(W{P){URR R, W, U, Q c (R{W)~(UQ)RR R, W, U, R c (R{W)~(U|R)RR R, W, U, T c R~(W{T)|URR R, W, U, V c R~U{W{VRR R, W, U, X c R~(W{U)|XRR R, W, V, P c W~(V|R){PRR R, W, V, Q c R{(W{V)~QRR R, W, V, S c (R{W)~(V|S)RR R, W, V, U c R~U{W{VRR R, W, V, W c (W|R)~W|VRR R, W, W, P c R~W{W{PRR R, W, W, T c (R{W)~(W|T)RR R, W, W, V c (W|R)~W|VRR R, W, W, X c (R{XW)~WRR R, W, X, O c R~W{X{ORR R, W, X, P c R~W{X~PRR R, W, X, Q c R~X{W|QRR R, W, X, R c (R{W)~(XR)RR R, W, X, S c R~(WS{X)RR R, W, X, U c (R{W)~(X|U)RR R, W, X, W c (R{XW)~WRR R, W, X, X c WR~X{XRR R, X, O, Q c R~(X{O{Q)RR R, X, O, S c (X{O)~S|RRR R, X, O, U c R~X{O{URR R, X, O, W c (R{O)~W{XRR R, X, P, P c R~(X{P{P)RR R, X, P, Q c R~(X{P~Q)RR R, X, P, R c R{(X{P)~RRR R, X, P, S c X~P~S|RRR R, X, P, T c R~X{P{TRR R, X, P, U c R~X{P~URR R, X, P, V c R~X|P{VRR R, X, P, W c R~P~W{XRR R, X, P, X c R~(X|P){XRR R, X, Q, O c R~(X{Q){ORR R, X, Q, P c R~(X{Q)~PRR R, X, Q, Q c X~(Q{Q)|RRR R, X, Q, R c R~X{Q~RRR R, X, Q, S c R~X{Q{SRR R, X, Q, T c R~T{X~QRR R, X, Q, U c R{(X{U)~QRR R, X, Q, V c R~(X~Q|V)RR R, X, Q, W c R~X|Q{WRR R, X, Q, X c (R{X)~Q{XRR R, X, R, P c R~(X{R|P)RR R, X, R, Q c R~X{R~QRR R, X, R, R c R{X~R{RRR R, X, R, S c (R{R)~S{XRR R, X, R, T c R{(X|R)~TRR R, X, R, U c R~(X{UR)RR R, X, R, V c R{X{R~VRR R, X, R, W c R~(XR{W)RR R, X, R, X c R~X|R{XRR R, X, S, O c X~S|R{ORR R, X, S, P c X~S|R~PRR R, X, S, Q c R~X{S{QRR R, X, S, R c (R{R)~S{XRR R, X, S, S c R~(S{S){XRR R, X, S, T c R~(S~T|X)RR R, X, S, U c R{(X|S)~URR R, X, S, V c (XR)~(S{V)RR R, X, S, W c R~(X{WS)RR R, X, S, X c (X|R)~S{XRR R, X, T, P c R~X{T{PRR R, X, T, Q c R~T{X~QRR R, X, T, R c R~(X{T|R)RR R, X, T, S c R~(T~S|X)RR R, X, T, U c XR{T~URR R, X, T, V c R~(X|T{V)RR R, X, T, X c R~(X{T)|XRR R, X, U, O c R~X{U{ORR R, X, U, P c R~X{U~PRR R, X, U, Q c R{(X{U)~QRR R, X, U, R c R~(X{UR)RR R, X, U, S c R~(X{U|S)RR R, X, U, T c XR{U~TRR R, X, U, U c R~U{X{URR R, X, U, V c X~U|R~VRR R, X, U, W c R~(X|U{W)RR R, X, U, X c (R{UX)~XRR R, X, V, P c R~X{V|PRR R, X, V, Q c (R{X~V)QRR R, X, V, R c R{X{V~RRR R, X, V, S c (XR)~(V{S)RR R, X, V, T c R~(X{V|T)RR R, X, V, U c X{(V|R)~URR R, X, V, V c R~(V{V)|XRR R, X, V, X c R~(X|V{X)RR R, X, W, O c R~W{X{ORR R, X, W, P c R~W{X~PRR R, X, W, Q c R~X{W|QRR R, X, W, R c R~(XR{W)RR R, X, W, S c R~(X{WS)RR R, X, W, U c R~(X{W|U)RR R, X, W, W c (R{XW)~WRR R, X, W, X c XR~W{XRR R, X, X, P c R~(X|P){XRR R, X, X, Q c (R{X)~Q{XRR R, X, X, R c R~X{X|RRR R, X, X, S c (X|R)~S{XRR R, X, X, T c R~(X{T)|XRR R, X, X, U c (R{UX)~XRR R, X, X, V c R~(X{X|V)RR R, X, X, W c XR~W{XRR S, O, P, W c (S{O)~W{PRR S, O, R, V c (S{O{V)~RRR S, O, R, X c (S{O)~X|RRR S, O, T, V c (S{O)~V{TRR S, O, U, X c (S{O)~U{XRR S, O, V, R c (S{O{V)~RRR S, O, V, T c (S{O)~V{TRR S, O, W, P c (S{O)~W{PRR S, O, X, R c (S{O)~X|RRR S, O, X, U c (S{O)~U{XRR S, P, O, W c (S{O)~W{PRR S, P, P, V c S~(P{V){PRR S, P, P, W c S~P~W{PRR S, P, P, X c S~(X|P){PRR S, P, Q, S c S~Q~S{PRR S, P, Q, U c S~(Q{U){PRR S, P, Q, V c (S{P)~V|QRR S, P, Q, W c S~W|P{QRR S, P, Q, X c (S|P)~(Q{X)RR S, P, R, R c (S~R|P)~RRR S, P, R, T c S~(R{T){PRR S, P, R, U c (S{P{U)~RRR S, P, R, V c (S{P~V)~RRR S, P, R, W c (S|P)~(R{W)RR S, P, R, X c (S|PR)~XRR S, P, S, Q c S~S~Q{PRR S, P, S, S c (S{S)~S{PRR S, P, S, V c S{P{S~VRR S, P, S, W c S~(PS{W)RR S, P, S, X c S~X{P|SRR S, P, T, R c S~(T{R){PRR S, P, T, U c S|P{T~URR S, P, T, V c S~P~V{TRR S, P, T, W c (S{P)~T{WRR S, P, T, X c S~(P{T){XRR S, P, U, Q c S~(U{Q){PRR S, P, U, R c (S{P{U)~RRR S, P, U, T c S|P{U~TRR S, P, U, U c P{U~U|SRR S, P, U, V c S~V|P{URR S, P, U, W c S~U{P{WRR S, P, U, X c S~P~U{XRR S, P, V, P c S~(P{V){PRR S, P, V, Q c (S{P)~V|QRR S, P, V, R c (S{P~V)~RRR S, P, V, S c S{P{V~SRR S, P, V, T c S~P~V{TRR S, P, V, U c S~V|P{URR S, P, V, W c (S{P)~W|VRR S, P, V, X c S~(P{X)|VRR S, P, W, O c S~W{P{ORR S, P, W, P c S~P~W{PRR S, P, W, Q c S~W|P{QRR S, P, W, R c (S|P{W)~RRR S, P, W, S c S~(PS{W)RR S, P, W, T c (S{P)~T{WRR S, P, W, U c S~U{P{WRR S, P, W, V c (S{P)~W|VRR S, P, W, W c (S{PW)~WRR S, P, W, X c (S|P)~W{XRR S, P, X, P c S~(X|P){PRR S, P, X, Q c (S|P)~(X{Q)RR S, P, X, R c S~P~X|RRR S, P, X, S c S~X{P|SRR S, P, X, T c S~(P{T){XRR S, P, X, U c (S|P)~X{URR S, P, X, V c S~(P{X)|VRR S, P, X, W c (S|P)~W{XRR S, Q, P, S c S~Q~S{PRR S, Q, P, U c S~(Q{U){PRR S, Q, P, V c (S{P)~V|QRR S, Q, P, W c S~W{Q|PRR S, Q, P, X c (S|P)~(Q{X)RR S, Q, Q, W c S~W{QQRR S, Q, R, R c (S~Q{R)~RRR S, Q, R, T c (S{Q{T)~RRR S, Q, R, U c (S{Q)~U|RRR S, Q, R, V c S~(Q{V)|RRR S, Q, R, W c S~W|Q{RRR S, Q, R, X c S{Q{R~XRR S, Q, S, P c S~Q~S{PRR S, Q, S, X c (S{Q)~S{XRR S, Q, T, R c (S{Q{T)~RRR S, Q, T, T c S~(Q{T){TRR S, Q, T, U c (QS{T)~URR S, Q, T, V c S~Q~T|VRR S, Q, T, X c S~X{Q|TRR S, Q, U, P c S~(Q{U){PRR S, Q, U, R c (S{Q)~U|RRR S, Q, U, T c (QS{T)~URR S, Q, U, U c (U|QS)~URR S, Q, U, V c S~U{Q{VRR S, Q, U, X c (S|QU)~XRR S, Q, V, P c (S{V)~(Q{P)RR S, Q, V, R c S~(Q{V)|RRR S, Q, V, T c S~Q~T|VRR S, Q, V, U c (S{V)Q~URR S, Q, V, V c S~V|Q{VRR S, Q, V, W c S~(Q{W)|VRR S, Q, V, X c (S{Q)~V|XRR S, Q, W, P c S~W{Q|PRR S, Q, W, Q c S~W{QQRR S, Q, W, R c S~W|Q{RRR S, Q, W, V c S~(Q{W)|VRR S, Q, W, W c S~(QW{W)RR S, Q, W, X c (S{W)~Q{XRR S, Q, X, P c (S~X)|(Q{P)RR S, Q, X, R c S{Q{X~RRR S, Q, X, S c (S{Q)~S{XRR S, Q, X, T c S~X{Q|TRR S, Q, X, U c (S|QU)~XRR S, Q, X, V c (S{Q)~V|XRR S, Q, X, W c (S{W)~Q{XRR S, R, O, V c (S{O{V)~RRR S, R, O, X c (S{O)~X|RRR S, R, P, R c (S~R|P)~RRR S, R, P, T c S~(R{T){PRR S, R, P, U c (S{P{U)~RRR S, R, P, V c (S{P~V)~RRR S, R, P, W c (S|P)~(R{W)RR S, R, P, X c (S|PR)~XRR S, R, Q, R c (S~Q{R)~RRR S, R, Q, T c (S{R)~T|QRR S, R, Q, U c (S{RQ)~URR S, R, Q, V c S~(Q{V)|RRR S, R, Q, W c S~W{R|QRR S, R, Q, X c S~R~Q{XRR S, R, R, P c (S~R|P)~RRR S, R, R, Q c (S~Q{R)~RRR S, R, R, R c S~R~R|RRR S, R, R, S c (S{R{S)~RRR S, R, R, T c R~(R~T|S)RR S, R, R, U c S~(R{U)|RRR S, R, R, V c S~R{R~VRR S, R, R, W c (S{W)~R|RRR S, R, R, X c S~(R{R){XRR S, R, S, R c (S{R{S)~RRR S, R, S, T c (S{R)~S{TRR S, R, S, W c S|R{S~WRR S, R, S, X c (S{S)~R{XRR S, R, T, P c S~(R{T){PRR S, R, T, Q c (S{R)~T|QRR S, R, T, R c (R~T|S)~RRR S, R, T, S c (S{R)~S{TRR S, R, T, U c (S{T)~R{URR S, R, T, W c S{R~W{TRR S, R, T, X c (S~T|X)~RRR S, R, U, P c (S{U{P)~RRR S, R, U, Q c (S{RQ)~URR S, R, U, R c S~(R{U)|RRR S, R, U, T c (S{T)~R{URR S, R, U, U c S~U{R{URR S, R, U, V c (S{V)~(U|R)RR S, R, U, X c (S{R)~U|XRR S, R, V, O c (S{V)~(R{O)RR S, R, V, P c (S{V)~(R~P)RR S, R, V, Q c S~V{R{QRR S, R, V, R c S~R{V~RRR S, R, V, U c (S{V)~(U|R)RR S, R, V, V c S~(R{V)|VRR S, R, V, W c S{R~V{WRR S, R, V, X c (S{V)R~XRR S, R, W, P c (S{W|P)~RRR S, R, W, Q c S~W{R|QRR S, R, W, R c (S{W)~R|RRR S, R, W, S c S|R{W~SRR S, R, W, T c S{R~W{TRR S, R, W, V c S{R~V{WRR S, R, W, X c R~(WS{X)RR S, R, X, O c S~X|R{ORR S, R, X, P c S~X|R~PRR S, R, X, Q c S{R~X{QRR S, R, X, R c S~(R{R){XRR S, R, X, S c S~(X|RS)RR S, R, X, T c (S~T|X)~RRR S, R, X, U c (S{R)~U|XRR S, R, X, V c (S{V)R~XRR S, R, X, W c R~(X{WS)RR S, R, X, X c (S|RX)~XRR S, S, P, Q c S~S~Q{PRR S, S, P, S c (S{S)~S{PRR S, S, P, V c S{S~V{PRR S, S, P, W c S~(PS{W)RR S, S, P, X c S~X|S{PRR S, S, Q, P c S~S~Q{PRR S, S, Q, X c S~(S{Q){XRR S, S, R, R c (S{S{R)~RRR S, S, R, T c S~(S{R){TRR S, S, R, W c S{S~W|RRR S, S, R, X c (S{S)~R{XRR S, S, S, P c (S{S)~S{PRR S, S, S, W c SS{S~WRR S, S, T, R c S~(S{T)|RRR S, S, T, T c S{S{T~TRR S, S, T, U c S{S~U{TRR S, S, T, V c (S{S)~T|VRR S, S, T, W c S~W|S{TRR S, S, T, X c S{S~T{XRR S, S, U, T c S{S~U{TRR S, S, U, U c (S{US)~URR S, S, U, V c S~(S{U)|VRR S, S, U, X c S~(U{XS)RR S, S, V, P c S{S~V{PRR S, S, V, T c (S{S)~T|VRR S, S, V, U c S~(S{U)|VRR S, S, V, V c (S{V)~(V|S)RR S, S, V, X c S{S~X|VRR S, S, W, P c S~(W{PS)RR S, S, W, R c S{S~W|RRR S, S, W, S c SS{W~SRR S, S, W, T c S~W|S{TRR S, S, W, X c S~S{W{XRR S, S, X, P c S~X|S{PRR S, S, X, Q c S~(S{Q){XRR S, S, X, R c (S{S)~R{XRR S, S, X, T c S{S~T{XRR S, S, X, U c S~(XS{U)RR S, S, X, V c S{S~X|VRR S, S, X, W c S~S{X{WRR S, T, O, V c (S{O)~V{TRR S, T, P, R c S~(T{R){PRR S, T, P, U c S{T~U|PRR S, T, P, V c S~P~V{TRR S, T, P, W c (S{P)~T{WRR S, T, P, X c S~(T{P){XRR S, T, Q, R c (S{T{Q)~RRR S, T, Q, T c S~(T{Q){TRR S, T, Q, U c (T{QS)~URR S, T, Q, V c S~T~Q|VRR S, T, Q, X c S~X|T{QRR S, T, R, P c S~(T{R){PRR S, T, R, Q c (S{T{Q)~RRR S, T, R, R c (T~R|S)~RRR S, T, R, S c (S{T)~S|RRR S, T, R, U c (S{T)~R{URR S, T, R, W c S{T{R~WRR S, T, R, X c (S~T|X)~RRR S, T, S, R c (S{T)~S|RRR S, T, S, T c S{T~T{SRR S, T, S, U c S{T{S~URR S, T, S, V c S~(TS{V)RR S, T, S, W c S~W{T|SRR S, T, S, X c S{T~S{XRR S, T, T, Q c S~(T{Q){TRR S, T, T, S c S{T~T{SRR S, T, T, V c S~(T{T)|VRR S, T, T, W c S~T{T{WRR S, T, U, P c S{T~U|PRR S, T, U, Q c (T{QS)~URR S, T, U, R c (S{T)~R{URR S, T, U, S c S{T{U~SRR S, T, U, V c S~T{U{VRR S, T, U, W c S~W|T{URR S, T, V, O c S~V{T{ORR S, T, V, P c S~V{T~PRR S, T, V, Q c S~T~Q|VRR S, T, V, S c S~(TS{V)RR S, T, V, T c S~(T{T)|VRR S, T, V, U c S{T~V|URR S, T, V, V c (S{TV)~VRR S, T, V, W c (S{V)~(W|T)RR S, T, W, P c S~(W|P){TRR S, T, W, R c S{T{W~RRR S, T, W, S c S~W{T|SRR S, T, W, T c S~T{W{TRR S, T, W, U c S~W|T{URR S, T, W, V c (S{V)~(W|T)RR S, T, W, X c S~X{T|WRR S, T, X, P c S~(T{P){XRR S, T, X, Q c S~X|T{QRR S, T, X, R c (S~T|X)~RRR S, T, X, S c S~T{X{SRR S, T, X, W c S~X{T|WRR S, U, O, X c S~U{O{XRR S, U, P, Q c S~(U{Q){PRR S, U, P, R c (S{U{P)~RRR S, U, P, T c S~(U{P){TRR S, U, P, U c U~U|S{PRR S, U, P, V c S~V{U|PRR S, U, P, W c S~U{P{WRR S, U, P, X c S~U{P~XRR S, U, Q, P c S~(U{Q){PRR S, U, Q, R c (S{Q)~U|RRR S, U, Q, T c U~(QS{T)RR S, U, Q, U c (U|QS)~URR S, U, Q, V c S~U{Q{VRR S, U, Q, X c (S|QU)~XRR S, U, R, P c (S{U{P)~RRR S, U, R, Q c (S{RQ)~URR S, U, R, R c (S{U)~R{RRR S, U, R, T c (S{T)~R{URR S, U, R, U c S~U{R{URR S, U, R, V c (S{V)~(U|R)RR S, U, R, X c (SU{R)~XRR S, U, S, T c S{U~S{TRR S, U, S, U c (S{US)~URR S, U, S, V c (S{U)~S|VRR S, U, S, X c S~(U{XS)RR S, U, T, P c S{U~T|PRR S, U, T, Q c U~(T{QS)RR S, U, T, R c (S{T)~R{URR S, U, T, S c S~U{T{SRR S, U, T, V c S~T{U{VRR S, U, T, W c S~W{U|TRR S, U, U, P c U~U|S{PRR S, U, U, Q c U~(U|QS)RR S, U, U, R c S~U{U{RRR S, U, U, S c (S{US)~URR S, U, U, V c S{U~U|VRR S, U, U, W c S~W{UURR S, U, U, X c (S{XU)~URR S, U, V, P c S~V{U|PRR S, U, V, Q c S~U{V{QRR S, U, V, R c (S{V)~(U|R)RR S, U, V, S c (S{U)~S|VRR S, U, V, T c S{V~T|URR S, U, V, U c S{U~U|VRR S, U, V, W c S~W|U{VRR S, U, V, X c (S{V)~(X|U)RR S, U, W, P c S~U{W{PRR S, U, W, T c S~W{U|TRR S, U, W, U c S~W{UURR S, U, W, V c S~W|U{VRR S, U, W, X c S~(X|UW)RR S, U, X, O c S~U{X{ORR S, U, X, P c S~U{X~PRR S, U, X, Q c S~X|UQRR S, U, X, R c (SU{R)~XRR S, U, X, S c S~(U{XS)RR S, U, X, U c (S{XU)~URR S, U, X, V c (S{V)~(X|U)RR S, U, X, W c S~(X|UW)RR S, U, X, X c S~X{U|XRR S, V, O, R c (S{V{O)~RRR S, V, O, T c S~V{O{TRR S, V, P, P c S~(V{P){PRR S, V, P, Q c (S{V)~(P{Q)RR S, V, P, R c (S{V)~(P~R)RR S, V, P, S c S~V{P{SRR S, V, P, T c S~V{P~TRR S, V, P, U c S~V|P{URR S, V, P, W c (S{P)~W|VRR S, V, P, X c S~(V|P){XRR S, V, Q, P c (S{V)~(Q{P)RR S, V, Q, R c S~V{Q{RRR S, V, Q, T c (S{V)~(T|Q)RR S, V, Q, U c (S{V)Q~URR S, V, Q, V c S~V|Q{VRR S, V, Q, W c S~(Q{W)|VRR S, V, Q, X c (S{Q)~V|XRR S, V, R, O c (S{V)~(R{O)RR S, V, R, P c (S{V)~(R~P)RR S, V, R, Q c S~V{R{QRR S, V, R, R c S~R{V~RRR S, V, R, U c (S{V)~(U|R)RR S, V, R, V c S~(V{R)|VRR S, V, R, W c S{V~R{WRR S, V, R, X c (S{V)R~XRR S, V, S, P c S{V~S{PRR S, V, S, T c S~(V{TS)RR S, V, S, U c S~(S{U)|VRR S, V, S, V c (S{V)~(V|S)RR S, V, S, X c S~V|S{XRR S, V, T, O c S~V{T{ORR S, V, T, P c S~V{T~PRR S, V, T, Q c (S{V)~(T|Q)RR S, V, T, S c S~(V{TS)RR S, V, T, T c S~(T{T)|VRR S, V, T, U c S{V~T|URR S, V, T, V c (S{TV)~VRR S, V, T, W c (S{V)~(W|T)RR S, V, U, P c S~V{U|PRR S, V, U, Q c (S{V)~(UQ)RR S, V, U, R c (S{V)~(U|R)RR S, V, U, S c (S{U)~S|VRR S, V, U, T c S{V~T|URR S, V, U, U c S{U~U|VRR S, V, U, W c S~W{V|URR S, V, U, X c (S{V)~(X|U)RR S, V, V, Q c S~V{V|QRR S, V, V, R c S~(V{R)|VRR S, V, V, S c (S{V)~(V|S)RR S, V, V, T c (S{TV)~VRR S, V, V, W c S~W{VVRR S, V, W, P c (S{P)~W|VRR S, V, W, Q c S~(W{Q)|VRR S, V, W, R c S~V{W|RRR S, V, W, T c (S{V)~(W|T)RR S, V, W, U c S~W{V|URR S, V, W, V c S~W{VVRR S, V, W, W c S~W|V{WRR S, V, W, X c (V|S)~W{XRR S, V, X, P c S~(V|P){XRR S, V, X, Q c (S{X)~Q{VRR S, V, X, R c (S{V)~(XR)RR S, V, X, S c S~V{X|SRR S, V, X, U c (S{V)~(X|U)RR S, V, X, W c (V|S)~W{XRR S, W, O, P c S~W{O{PRR S, W, P, O c S~W{P{ORR S, W, P, P c S~W{P~PRR S, W, P, Q c S~W|P{QRR S, W, P, R c (S{W|P)~RRR S, W, P, S c S~(W{PS)RR S, W, P, T c S~(W|P){TRR S, W, P, U c S~U{W{PRR S, W, P, V c (S{P)~W|VRR S, W, P, W c (S{PW)~WRR S, W, P, X c (S|P)~W{XRR S, W, Q, P c S~W{Q|PRR S, W, Q, Q c S~W{QQRR S, W, Q, R c S~W|Q{RRR S, W, Q, V c S~(W{Q)|VRR S, W, Q, W c S~(W{QW)RR S, W, Q, X c (S{W)~Q{XRR S, W, R, P c (S{W|P)~RRR S, W, R, Q c S~W{R|QRR S, W, R, R c (S{W)~R|RRR S, W, R, S c S~W|R{SRR S, W, R, T c S{W~R{TRR S, W, R, V c S{W{R~VRR S, W, R, X c (W|S)~X|RRR S, W, S, P c S~(W{PS)RR S, W, S, R c S{W~S|RRR S, W, S, S c S~W{SSRR S, W, S, T c S~W|S{TRR S, W, S, X c S~S{W{XRR S, W, T, P c S~(W|P){TRR S, W, T, R c S{W~R{TRR S, W, T, S c S~W{T|SRR S, W, T, T c S~W{TTRR S, W, T, U c S~W|T{URR S, W, T, V c (S{V)~(W|T)RR S, W, T, X c S~X|W{TRR S, W, U, P c S~U{W{PRR S, W, U, T c S~W{U|TRR S, W, U, U c S~W{UURR S, W, U, V c S~W|U{VRR S, W, U, X c S~(X|UW)RR S, W, V, P c (S{P)~W|VRR S, W, V, Q c S~(W{Q)|VRR S, W, V, R c S{W{V~RRR S, W, V, T c (S{V)~(W|T)RR S, W, V, U c S~W{V|URR S, W, V, V c S~W{VVRR S, W, V, W c S~W|V{WRR S, W, V, X c W~(V|S){XRR S, W, W, P c (S{PW)~WRR S, W, W, Q c S~(W{QW)RR S, W, W, V c S~W{W|VRR S, W, W, W c S~W{WWRR S, W, W, X c S~W|W{XRR S, W, X, P c (S|P)~W{XRR S, W, X, Q c (S{W)~Q{XRR S, W, X, R c (W|S)~X|RRR S, W, X, S c S~S{W{XRR S, W, X, T c S~X|W{TRR S, W, X, U c S~(X|UW)RR S, W, X, V c W~(X|S)|VRR S, W, X, W c S~W{X|WRR S, W, X, X c S~W{XXRR S, X, O, R c S~X{O|RRR S, X, O, U c (S{O)~U{XRR S, X, P, P c S~(X|P){PRR S, X, P, Q c (S~X)|(P{Q)RR S, X, P, R c S~X|P~RRR S, X, P, S c S~X{P|SRR S, X, P, T c S~(P{T){XRR S, X, P, U c (S|P)~X{URR S, X, P, V c S~(X{P)|VRR S, X, P, W c (S|P)~W{XRR S, X, Q, P c (S~X)|(Q{P)RR S, X, Q, R c (S{X|Q)~RRR S, X, Q, S c (S{Q)~S{XRR S, X, Q, T c S~X{Q|TRR S, X, Q, U c S~X|UQRR S, X, Q, V c (S{X)~Q{VRR S, X, Q, W c (S{W)~Q{XRR S, X, R, O c S~X|R{ORR S, X, R, P c S~X|R~PRR S, X, R, Q c S{X~R{QRR S, X, R, R c S~(R{R){XRR S, X, R, S c S~(X|RS)RR S, X, R, T c (S~T|X)~RRR S, X, R, U c (S{X)~R|URR S, X, R, V c (S{V)~(XR)RR S, X, R, W c (X{WS)~RRR S, X, R, X c S~(X|R){XRR S, X, S, P c S~X|S{PRR S, X, S, Q c S~(S{Q){XRR S, X, S, R c S~(X|RS)RR S, X, S, T c S{X{S~TRR S, X, S, U c S~(XS{U)RR S, X, S, V c S{X~S|VRR S, X, S, W c S~S{X{WRR S, X, T, P c S~(T{P){XRR S, X, T, Q c S~X|T{QRR S, X, T, R c (S~T|X)~RRR S, X, T, S c S{X{T~SRR S, X, T, W c S~X{T|WRR S, X, U, O c S~U{X{ORR S, X, U, P c S~U{X~PRR S, X, U, Q c S~X|UQRR S, X, U, R c S~X|U{RRR S, X, U, S c S~(XS{U)RR S, X, U, U c (S{XU)~URR S, X, U, V c (S{V)~(X|U)RR S, X, U, W c S~(X|UW)RR S, X, U, X c S~X{U|XRR S, X, V, P c S~(X{P)|VRR S, X, V, Q c (S{X)~Q{VRR S, X, V, R c (S{V)~(XR)RR S, X, V, S c S~X|V{SRR S, X, V, U c (S{V)~(X|U)RR S, X, V, W c (X|S)~W|VRR S, X, W, P c (S|P)~W{XRR S, X, W, Q c (S{W)~Q{XRR S, X, W, R c (X{WS)~RRR S, X, W, S c S~S{X{WRR S, X, W, T c S~X|W{TRR S, X, W, U c S~(X|UW)RR S, X, W, V c (X|S)~W|VRR S, X, W, W c S~W{X|WRR S, X, W, X c S~W{XXRR S, X, X, R c S~X|XRRR S, X, X, U c S~X|X{URR S, X, X, W c S~W{XXRR T, O, Q, V c (T{O)~V|QRR T, O, R, U c (T{O{U)~RRR T, O, S, V c T{O{S~VRR T, O, T, W c (T{O)~T{WRR T, O, U, R c (T{O{U)~RRR T, O, V, Q c (T{O)~V|QRR T, O, V, S c T{O{V~SRR T, O, V, W c (T{O)~W|VRR T, O, W, T c (T{O)~T{WRR T, O, W, V c (T{O)~W|VRR T, P, P, V c (T~V)|(P{P)RR T, P, P, W c (T|P)~W{PRR T, P, Q, R c (T~Q{P)~RRR T, P, Q, U c (T{PQ)~URR T, P, Q, V c T~P~V|QRR T, P, Q, W c T~(W|P)|QRR T, P, R, Q c (T~Q{P)~RRR T, P, R, S c (T{R)~S{PRR T, P, R, T c (T{P{T)~RRR T, P, R, U c (T{P)~U|RRR T, P, R, V c T{(P{R)~VRR T, P, R, X c T{P{R~XRR T, P, S, R c (T{R)~S{PRR T, P, S, U c T{(P{U)~SRR T, P, S, V c T{P~S~VRR T, P, S, W c T~(P{S){WRR T, P, S, X c (T{P)~S{XRR T, P, T, R c (T{P{T)~RRR T, P, T, V c (T|P)~V{TRR T, P, T, W c T~P~T{WRR T, P, T, X c T~T|P{XRR T, P, U, Q c T~(P{U)|QRR T, P, U, R c (T{P)~U|RRR T, P, U, S c T{(P{U)~SRR T, P, U, W c T~(U|P){WRR T, P, U, X c (T|P)~U{XRR T, P, V, P c (T~V)|(P{P)RR T, P, V, Q c T~P~V|QRR T, P, V, R c (T|P{V)~RRR T, P, V, S c T{P~V~SRR T, P, V, T c (T|P)~V{TRR T, P, V, V c T~(P{V)|VRR T, P, V, W c T~P~W|VRR T, P, V, X c (T{P)~V|XRR T, P, W, P c (T|P)~W{PRR T, P, W, Q c T~(W|P)|QRR T, P, W, S c T~(P{S){WRR T, P, W, T c T~P~T{WRR T, P, W, U c (T~W)|(P{U)RR T, P, W, V c T~P~W|VRR T, P, W, W c T~W{P|WRR T, P, W, X c P{W~(X|T)RR T, P, X, R c T{P{X~RRR T, P, X, S c (T{P)~S{XRR T, P, X, T c T~T|P{XRR T, P, X, U c (T|P)~U{XRR T, P, X, V c (T{P)~V|XRR T, P, X, W c P{(X|T)~WRR T, Q, O, V c (T{O)~V|QRR T, Q, P, R c (T~Q{P)~RRR T, Q, P, U c (T{PQ)~URR T, Q, P, V c T~P~V|QRR T, Q, P, W c T~(W|P)|QRR T, Q, Q, T c (T{Q)~T|QRR T, Q, Q, V c T{(Q{Q)~VRR T, Q, Q, X c (T|Q)~(Q{X)RR T, Q, R, P c (T~Q{P)~RRR T, Q, R, R c (T{Q~R)~RRR T, Q, R, S c (T{Q{S)~RRR T, Q, R, U c (TQ{R)~URR T, Q, R, W c (T|Q)~(R{W)RR T, Q, R, X c T~R{Q~XRR T, Q, S, R c (T{Q{S)~RRR T, Q, S, T c (T{Q)~S{TRR T, Q, S, U c (T{QS)~URR T, Q, S, V c (T|Q)~(S{V)RR T, Q, S, X c T{S~(X|Q)RR T, Q, T, Q c (T{Q)~T|QRR T, Q, T, S c T{(Q{T)~SRR T, Q, T, U c T|Q{T~URR T, Q, T, V c T~(V|QT)RR T, Q, T, W c (T~W)|(Q{T)RR T, Q, T, X c T{Q~(T{X)RR T, Q, U, P c (T{U)~(Q{P)RR T, Q, U, R c (TQ{R)~URR T, Q, U, S c (T{QS)~URR T, Q, U, T c T|Q{U~TRR T, Q, U, U c (T{U)Q~URR T, Q, U, V c T~(Q{U)|VRR T, Q, U, W c T{Q~(U{W)RR T, Q, U, X c (T{Q)~U|XRR T, Q, V, O c T~V|Q{ORR T, Q, V, P c T~V|Q~PRR T, Q, V, Q c T{Q~V~QRR T, Q, V, S c (T|Q)~(V{S)RR T, Q, V, T c T~(V|QT)RR T, Q, V, U c T~(Q{U)|VRR T, Q, V, V c T{Q~(V{V)RR T, Q, V, W c T{VQ~WRR T, Q, V, X c (T{V)~Q{XRR T, Q, W, P c T~(W|P)|QRR T, Q, W, R c (T|Q{W)~RRR T, Q, W, T c (T~W)|(Q{T)RR T, Q, W, U c T{Q~(W{U)RR T, Q, W, V c (T{W)~Q{VRR T, Q, W, X c (T|Q)~W{XRR T, Q, X, Q c (T|Q)~(X{Q)RR T, Q, X, R c T~R{Q~XRR T, Q, X, S c T{(X|Q)~SRR T, Q, X, T c T{Q~(X{T)RR T, Q, X, U c (T|Q)~X{URR T, Q, X, V c (T{V)~Q{XRR T, Q, X, W c (T|Q)~W{XRR T, R, O, U c (T{O{U)~RRR T, R, P, Q c (T~Q{P)~RRR T, R, P, S c (T{R)~S{PRR T, R, P, T c (T{P{T)~RRR T, R, P, U c (T{P)~U|RRR T, R, P, V c T{(R{P)~VRR T, R, P, X c T{R~X{PRR T, R, Q, P c (T~Q{P)~RRR T, R, Q, R c (T{R~Q)~RRR T, R, Q, S c T~(R{S)|QRR T, R, Q, U c (TQ{R)~URR T, R, Q, W c T~(R{Q){WRR T, R, Q, X c T~R{Q~XRR T, R, R, Q c (T{R~Q)~RRR T, R, R, R c (T{R{R)~RRR T, R, R, S c (T~R|S)~RRR T, R, R, T c (T{T)~R{RRR T, R, R, U c T~R{R~URR T, R, R, V c (T{V)~R|RRR T, R, R, X c (T{R)~R{XRR T, R, S, P c (T{R)~S{PRR T, R, S, Q c T~(R{S)|QRR T, R, S, R c (T~R|S)~RRR T, R, S, S c T{(R{S)~SRR T, R, S, U c (T{S)~R{URR T, R, S, W c T{R~W{SRR T, R, S, X c (T|SR)~XRR T, R, T, P c (T{T{P)~RRR T, R, T, R c (T{T)~R{RRR T, R, T, T c T{R{T~TRR T, R, T, U c T~(RT{U)RR T, R, T, V c (T{R)~T|VRR T, R, U, O c (T{U)~(R{O)RR T, R, U, P c (T{U)~(R~P)RR T, R, U, Q c (TQ{R)~URR T, R, U, R c T~R{U~RRR T, R, U, S c (T{S)~R{URR T, R, U, T c T~(RT{U)RR T, R, U, U c (T{RU)~URR T, R, U, V c T~V|URRR T, R, U, W c (T{W)~R|URR T, R, U, X c (T{U)R~XRR T, R, V, P c T{(R{P)~VRR T, R, V, R c (T{V)~R|RRR T, R, V, T c (T{R)~T|VRR T, R, V, U c T~V|URRR T, R, V, V c T{R~V{VRR T, R, V, X c R~(V|T{X)RR T, R, W, Q c T~(R{Q){WRR T, R, W, S c T{R~W{SRR T, R, W, U c (T{W)~R|URR T, R, W, W c T~(W|R){WRR T, R, X, P c T{R~X{PRR T, R, X, Q c T~R{X~QRR T, R, X, R c (T|R{X)~RRR T, R, X, S c T~X|R~SRR T, R, X, U c (T{U)R~XRR T, R, X, V c R~(X|T{V)RR T, R, X, X c T~R{X{XRR T, S, O, V c T{(S{O)~VRR T, S, P, R c (T{R)~S{PRR T, S, P, U c T{S~(P{U)RR T, S, P, V c T{S~P~VRR T, S, P, W c T~(S{P){WRR T, S, P, X c (T{P)~S{XRR T, S, Q, R c (T{S{Q)~RRR T, S, Q, T c T{S~(Q{T)RR T, S, Q, U c (T{QS)~URR T, S, Q, V c T~S~Q|VRR T, S, Q, X c T{S~(X|Q)RR T, S, R, P c (T{R)~S{PRR T, S, R, Q c T~(S{R)|QRR T, S, R, R c (T~R|S)~RRR T, S, R, S c T{(S{R)~SRR T, S, R, U c (T{S)~R{URR T, S, R, W c T{S{R~WRR T, S, R, X c (T|SR)~XRR T, S, S, R c T{S~(S{R)RR T, S, S, T c T~T{S{SRR T, S, S, U c T{S{S~URR T, S, S, V c T~(S{S)|VRR T, S, S, W c T|S{S~WRR T, S, S, X c T~S{S{XRR T, S, T, Q c T{S~(T{Q)RR T, S, T, S c T~T{S{SRR T, S, T, V c (T{T)~S|VRR T, S, T, W c T{S~T{WRR T, S, U, P c T{S~(U{P)RR T, S, U, Q c (T{QS)~URR T, S, U, R c (T{S)~R{URR T, S, U, S c T{S{U~SRR T, S, U, V c T~S{U{VRR T, S, U, W c (T{SW)~URR T, S, V, O c T{S~V{ORR T, S, V, P c T{S~V~PRR T, S, V, Q c T~S~Q|VRR T, S, V, S c (TS{V)~SRR T, S, V, T c (T{T)~S|VRR T, S, V, U c T~S{V{URR T, S, V, V c (TV{S)~VRR T, S, V, W c T{V~(W|S)RR T, S, W, P c T{S~(W|P)RR T, S, W, R c T{S{W~RRR T, S, W, S c T{S~W|SRR T, S, W, T c T~S{W{TRR T, S, W, U c (T{SW)~URR T, S, W, V c T{(W|S)~VRR T, S, W, X c T{S~X|WRR T, S, X, P c (T{P)~S{XRR T, S, X, Q c T{S~(X|Q)RR T, S, X, R c (T~S|X)~RRR T, S, X, S c T~S{X{SRR T, S, X, W c T{S~X|WRR T, T, O, W c T~T{O{WRR T, T, P, R c (T{T{P)~RRR T, T, P, V c T{(T|P)~VRR T, T, P, W c T~T{P~WRR T, T, P, X c T~T|P{XRR T, T, Q, Q c T~(T{Q)|QRR T, T, Q, S c T{(T{Q)~SRR T, T, Q, U c T~T{Q{URR T, T, Q, V c T~(V|QT)RR T, T, Q, W c (T~W)|(T{Q)RR T, T, Q, X c T{(T{X)~QRR T, T, R, P c (T{T{P)~RRR T, T, R, R c (T{T)~R{RRR T, T, R, T c T~T{R{TRR T, T, R, U c T~(RT{U)RR T, T, R, V c T~(T{R)|VRR T, T, S, Q c T~T{S~QRR T, T, S, S c T~T{S{SRR T, T, S, V c (T{T)~S|VRR T, T, S, W c T{T~S{WRR T, T, T, R c T{T~T{RRR T, T, T, W c T~(T{WT)RR T, T, U, Q c T{T~U|QRR T, T, U, R c T~(U{RT)RR T, T, U, W c T~U|T{WRR T, T, V, P c T~T{V{PRR T, T, V, Q c T~(V|QT)RR T, T, V, R c T~(T{R)|VRR T, T, V, S c (T{T)~S|VRR T, T, V, V c T{T~V|VRR T, T, V, W c T~(W|VT)RR T, T, V, X c T{V~(X|T)RR T, T, W, O c T~T{W{ORR T, T, W, P c T~T{W~PRR T, T, W, Q c (T~W)|(T{Q)RR T, T, W, S c TT{W~SRR T, T, W, T c T~(T{WT)RR T, T, W, U c T~U|T{WRR T, T, W, V c T~(W|VT)RR T, T, X, P c T~T{X|PRR T, T, X, Q c T{(T{X)~QRR T, T, X, V c T{(X|T)~VRR T, U, O, R c (T{U{O)~RRR T, U, P, Q c (T{U)~(P{Q)RR T, U, P, R c (T{U)~(P~R)RR T, U, P, S c T{(U{P)~SRR T, U, P, W c T~(U|P){WRR T, U, P, X c (T|P)~U{XRR T, U, Q, P c (T{U)~(Q{P)RR T, U, Q, R c (TQ{R)~URR T, U, Q, S c (T{QS)~URR T, U, Q, T c T~U|Q{TRR T, U, Q, U c (T{U)Q~URR T, U, Q, V c T{(U|Q)~VRR T, U, Q, W c T{(U{W)~QRR T, U, Q, X c (T{Q)~U|XRR T, U, R, O c (T{U)~(R{O)RR T, U, R, P c (T{U)~(R~P)RR T, U, R, Q c (TQ{R)~URR T, U, R, R c T~R{U~RRR T, U, R, S c (T{S)~R{URR T, U, R, T c T~(U{RT)RR T, U, R, U c T~U|R{URR T, U, R, V c T~V|URRR T, U, R, W c (T{W)~R|URR T, U, R, X c (T{U)R~XRR T, U, S, P c (T{U)~(S|P)RR T, U, S, Q c (T{QS)~URR T, U, S, R c (T{S)~R{URR T, U, S, S c T{U~S{SRR T, U, S, V c T~U|S{VRR T, U, S, W c (T{SW)~URR T, U, T, Q c T{U~T|QRR T, U, T, R c T~(U{RT)RR T, U, T, W c T~U|T{WRR T, U, U, Q c (T{U)~(UQ)RR T, U, U, R c (T{U)~(U|R)RR T, U, U, W c T{U~U|WRR T, U, U, X c T~U|U{XRR T, U, V, Q c T{(U|Q)~VRR T, U, V, R c T~V|URRR T, U, V, S c (T{U)~(V|S)RR T, U, V, W c T~V{U|WRR T, U, V, X c V~X|T~URR T, U, W, P c T~(U|P){WRR T, U, W, Q c T{(U{W)~QRR T, U, W, R c (T{W)~R|URR T, U, W, S c (T{SW)~URR T, U, W, T c (T{U)~(W|T)RR T, U, W, U c T{U~U|WRR T, U, W, V c T~V{U|WRR T, U, W, X c (T|WU)~XRR T, U, X, P c (T|P)~U{XRR T, U, X, Q c T~X|U~QRR T, U, X, R c (T{U)~(XR)RR T, U, X, U c (T{U)~(X|U)RR T, U, X, V c X~V|T~URR T, U, X, W c (T|WU)~XRR T, U, X, X c U~(X|T){XRR T, V, O, Q c T~V{O|QRR T, V, O, S c T{(V{O)~SRR T, V, O, W c (T{O)~W|VRR T, V, P, P c (T~V)|(P{P)RR T, V, P, Q c T~V|P~QRR T, V, P, R c (T{V|P)~RRR T, V, P, S c T{V~P~SRR T, V, P, T c T{V~(T|P)RR T, V, P, V c T~(V{P)|VRR T, V, P, W c T~P~W|VRR T, V, P, X c (T{P)~V|XRR T, V, Q, O c T~V|Q{ORR T, V, Q, P c T~V|Q~PRR T, V, Q, Q c T{V~(Q{Q)RR T, V, Q, S c T~V{Q|SRR T, V, Q, T c T~(V|QT)RR T, V, Q, U c T{V~(U|Q)RR T, V, Q, V c T{(V{V)~QRR T, V, Q, W c T{VQ~WRR T, V, Q, X c (T{V)~Q{XRR T, V, R, P c T{V~(R{P)RR T, V, R, R c (T{V)~R|RRR T, V, R, T c T~V{R|TRR T, V, R, U c T~V|URRR T, V, R, V c T{V{R~VRR T, V, R, X c (V|T{X)~RRR T, V, S, O c T{V~S{ORR T, V, S, P c T{V~S~PRR T, V, S, Q c T~V|S{QRR T, V, S, S c (TS{V)~SRR T, V, S, T c (T{T)~S|VRR T, V, S, U c T~V{S|URR T, V, S, V c (TV{S)~VRR T, V, S, W c T{V~(W|S)RR T, V, T, P c T{V~(T|P)RR T, V, T, Q c T~(V|QT)RR T, V, T, R c T~V|T{RRR T, V, T, S c (T{T)~S|VRR T, V, T, V c T{V~T|VRR T, V, T, W c T~(W|VT)RR T, V, T, X c T{V~(X|T)RR T, V, U, Q c T{V~(U|Q)RR T, V, U, R c T~V|URRR T, V, U, S c T~V|U{SRR T, V, U, W c T~V{U|WRR T, V, U, X c V~X|T~URR T, V, V, P c T~(V{P)|VRR T, V, V, Q c T{(V{V)~QRR T, V, V, R c T{V{V~RRR T, V, V, S c (TV{S)~VRR T, V, V, T c T~V|V{TRR T, V, V, X c T~V{V|XRR T, V, W, O c T~W|V{ORR T, V, W, P c T~W|V~PRR T, V, W, Q c T{V~WQRR T, V, W, S c T{V~(W|S)RR T, V, W, T c T~(W|VT)RR T, V, W, U c T~V|W{URR T, V, W, W c (T|VW)~WRR T, V, X, P c T~(X|P)|VRR T, V, X, Q c (T{V)~Q{XRR T, V, X, R c (V|T{X)~RRR T, V, X, T c T{V~(X|T)RR T, V, X, U c V~X|T~URR T, V, X, V c T~V|X{VRR T, W, O, T c (T{O)~T{WRR T, W, O, V c T~W{O|VRR T, W, P, P c (T|P)~W{PRR T, W, P, Q c T~(W|P)|QRR T, W, P, S c T{(W|P)~SRR T, W, P, T c T~P~T{WRR T, W, P, U c (T~W)|(P{U)RR T, W, P, V c T~W|P~VRR T, W, P, W c T~W{P|WRR T, W, P, X c W~(X|T){PRR T, W, Q, P c T~(W|P)|QRR T, W, Q, R c (T{W|Q)~RRR T, W, Q, T c (T~W)|(Q{T)RR T, W, Q, U c T{(W{U)~QRR T, W, Q, V c (T{W)~Q{VRR T, W, Q, X c T~W{Q|XRR T, W, R, Q c (T{W|Q)~RRR T, W, R, S c T{W~R{SRR T, W, R, U c (T{W)~R|URR T, W, R, W c T~(W|R){WRR T, W, S, P c T{(W|P)~SRR T, W, S, R c (T~W)|(S{R)RR T, W, S, S c T{W~S|SRR T, W, S, T c T{W{S~TRR T, W, S, U c (T{SW)~URR T, W, S, V c T{(W|S)~VRR T, W, S, X c T{S~X|WRR T, W, T, O c T~T{W{ORR T, W, T, P c T~T{W~PRR T, W, T, Q c (T~W)|(T{Q)RR T, W, T, S c T{W{T~SRR T, W, T, T c (T{WT)~TRR T, W, T, U c (T{U)~(W|T)RR T, W, T, V c T~(W|VT)RR T, W, U, P c (T~W)|(U{P)RR T, W, U, Q c T{(W{U)~QRR T, W, U, R c (T{W)~R|URR T, W, U, S c (T{SW)~URR T, W, U, T c (T{U)~(W|T)RR T, W, U, U c T{U~U|WRR T, W, U, V c T~V|W{URR T, W, U, X c (T|WU)~XRR T, W, V, O c T~W|V{ORR T, W, V, P c T~W|V~PRR T, W, V, Q c T{W~VQRR T, W, V, S c T{(W|S)~VRR T, W, V, T c T~(W|VT)RR T, W, V, U c T~V|W{URR T, W, V, W c (T|VW)~WRR T, W, W, P c T~W|W{PRR T, W, W, R c T~(W|R){WRR T, W, W, V c (T|VW)~WRR T, W, W, X c (W|T)~W{XRR T, W, X, P c W~(X|T){PRR T, W, X, Q c T~W|X{QRR T, W, X, S c (T~X)|(W{S)RR T, W, X, U c (T|WU)~XRR T, W, X, W c (W|T)~W{XRR T, X, P, R c T{X~R{PRR T, X, P, S c (T{P)~S{XRR T, X, P, T c T~T{X|PRR T, X, P, U c (T|P)~U{XRR T, X, P, V c T~(X|P)|VRR T, X, P, W c (X|T)~W{PRR T, X, Q, Q c T~(X|Q)|QRR T, X, Q, R c T~R{X~QRR T, X, Q, S c T{(X|Q)~SRR T, X, Q, T c (T{X)~Q{TRR T, X, Q, U c T~X|Q~URR T, X, Q, V c (T{V)~Q{XRR T, X, Q, W c (T|Q)~W{XRR T, X, R, P c T{X~R{PRR T, X, R, Q c T~R{X~QRR T, X, R, R c (T{X|R)~RRR T, X, R, S c T~X|R~SRR T, X, R, U c (T{U)~(XR)RR T, X, R, V c (X|T{V)~RRR T, X, R, X c (T{X)~R|XRR T, X, S, P c (T{P)~S{XRR T, X, S, Q c T{(X|Q)~SRR T, X, S, R c T~X|S~RRR T, X, S, S c T~S{X{SRR T, X, S, W c T{X~S|WRR T, X, T, P c T~T{X|PRR T, X, T, Q c T{(X{T)~QRR T, X, T, V c T{(X|T)~VRR T, X, U, P c (T|P)~U{XRR T, X, U, Q c T~X|U~QRR T, X, U, R c (T{U)~(XR)RR T, X, U, U c (T~X)|(U{U)RR T, X, U, V c X~V|T~URR T, X, U, W c (T|WU)~XRR T, X, U, X c (X|T)~U{XRR T, X, V, P c T~(X|P)|VRR T, X, V, Q c (T{V)~Q{XRR T, X, V, R c (X|T{V)~RRR T, X, V, T c (T~X)|(V{T)RR T, X, V, U c X~V|T~URR T, X, V, V c T~V|X{VRR T, X, W, P c (X|T)~W{PRR T, X, W, Q c T~W|X{QRR T, X, W, S c (T~X)|(W{S)RR T, X, W, U c (T|WU)~XRR T, X, W, W c X{(W|T)~WRR T, X, X, R c (T~X)|(X{R)RR T, X, X, U c (X|T)~U{XRR U, O, R, T c (U{O{T)~RRR U, O, R, U c (U{O)~U|RRR U, O, R, X c U{O{R~XRR U, O, S, X c (U{O)~S{XRR U, O, T, R c (U{O{T)~RRR U, O, U, R c (U{O)~U|RRR U, O, V, X c (U{O)~V|XRR U, O, X, R c U{O{X~RRR U, O, X, S c (U{O)~S{XRR U, O, X, V c (U{O)~V|XRR U, P, Q, R c (U~Q|P)~RRR U, P, Q, S c (U{Q)~S{PRR U, P, Q, T c U~(PQ{T)RR U, P, Q, U c (U|PQ)~URR U, P, Q, V c (U|P)~V|QRR U, P, Q, W c (U|Q)~W{PRR U, P, Q, X c U{(P{Q)~XRR U, P, R, Q c (U~Q|P)~RRR U, P, R, S c (U{P{S)~RRR U, P, R, T c (U{P~T)~RRR U, P, R, U c (U|P{U)~RRR U, P, R, V c U~(V|P)|RRR U, P, R, W c U{(P{W)~RRR U, P, R, X c U{P~R~XRR U, P, S, Q c (U{Q)~S{PRR U, P, S, R c (U{P{S)~RRR U, P, S, T c (U{P)~S{TRR U, P, S, U c U~U{P|SRR U, P, S, V c U|P{S~VRR U, P, S, W c U~S{P{WRR U, P, S, X c U~P~S{XRR U, P, T, Q c (U{P)~T|QRR U, P, T, R c (U{P~T)~RRR U, P, T, S c (U{P)~S{TRR U, P, T, W c (U|P)~T{WRR U, P, T, X c U~(T|P){XRR U, P, U, Q c (U|PQ)~URR U, P, U, R c (U|P{U)~RRR U, P, U, S c U~U{P|SRR U, P, U, X c (U{P)~U|XRR U, P, V, Q c (U|P)~V|QRR U, P, V, R c U~(V|P)|RRR U, P, V, S c U|P{V~SRR U, P, V, W c (U|P)~W|VRR U, P, V, X c U~P~V|XRR U, P, W, Q c (U|Q)~W{PRR U, P, W, R c U{(P{W)~RRR U, P, W, S c U~S{P{WRR U, P, W, T c (U|P)~T{WRR U, P, W, V c (U|P)~W|VRR U, P, W, X c U~(W|P)|XRR U, P, X, Q c U~(P{XQ)RR U, P, X, R c U{P~X~RRR U, P, X, S c U~P~S{XRR U, P, X, T c U~(T|P){XRR U, P, X, U c (U{P)~U|XRR U, P, X, V c U~P~V|XRR U, P, X, W c U~(W|P)|XRR U, Q, P, R c (U~Q|P)~RRR U, Q, P, S c (U{Q)~S{PRR U, Q, P, T c U~(PQ{T)RR U, Q, P, U c (U|PQ)~URR U, Q, P, V c (U|P)~V|QRR U, Q, P, W c (U|Q)~W{PRR U, Q, P, X c U{(Q{P)~XRR U, Q, Q, V c U~(Q{VQ)RR U, Q, Q, X c U~(Q{Q){XRR U, Q, R, P c (U~Q|P)~RRR U, Q, R, R c (U{Q{R)~RRR U, Q, R, S c U~(Q{S)|RRR U, Q, R, T c U~(R{TQ)RR U, Q, R, V c U~Q{R~VRR U, Q, R, W c (UQ)~(R{W)RR U, Q, R, X c (U{Q)~R{XRR U, Q, S, P c (U{Q)~S{PRR U, Q, S, R c U~(Q{S)|RRR U, Q, S, T c U~(QS{T)RR U, Q, S, U c (U|QS)~URR U, Q, S, V c (UQ)~(S{V)RR U, Q, S, X c (S|QU)~XRR U, Q, T, P c (U{T)~(Q{P)RR U, Q, T, R c U~(TQ{R)RR U, Q, T, S c U~(QS{T)RR U, Q, T, T c U{Q{T~TRR U, Q, T, U c UQ{T~URR U, Q, T, V c (U{Q)~T|VRR U, Q, T, W c (U{W)~Q{TRR U, Q, T, X c U~(Q{T)|XRR U, Q, U, P c (U~U)|(Q{P)RR U, Q, U, S c (U|QS)~URR U, Q, U, T c UQ{U~TRR U, Q, U, U c U~U|UQRR U, Q, U, X c (U|Q)~U{XRR U, Q, V, P c (U|P)~V|QRR U, Q, V, Q c U~(Q{VQ)RR U, Q, V, R c U{(Q{V)~RRR U, Q, V, S c (UQ)~(V{S)RR U, Q, V, T c (U|Q)~V{TRR U, Q, V, V c (U{V)~Q{VRR U, Q, V, X c U~(X|VQ)RR U, Q, W, P c (U|Q)~W{PRR U, Q, W, R c (UQ{W)~RRR U, Q, W, T c (U{W)~Q{TRR U, Q, W, X c UQ~W{XRR U, Q, X, P c U{(Q{P)~XRR U, Q, X, Q c U~(Q{X)QRR U, Q, X, R c (U|Q)~X|RRR U, Q, X, S c X~S|UQRR U, Q, X, T c U~(Q{T)|XRR U, Q, X, U c UQ~X{URR U, Q, X, V c U~(X|VQ)RR U, Q, X, W c UQ~W{XRR U, Q, X, X c U{Q~X{XRR U, R, O, T c (U{O{T)~RRR U, R, O, U c (U{O)~U|RRR U, R, O, X c U{(R{O)~XRR U, R, P, Q c (U~Q|P)~RRR U, R, P, S c (U{P{S)~RRR U, R, P, T c (U{P~T)~RRR U, R, P, U c (U|P{U)~RRR U, R, P, V c U~(V|P)|RRR U, R, P, W c U{R~(P{W)RR U, R, P, X c U{R~P~XRR U, R, Q, P c (U~Q|P)~RRR U, R, Q, R c (U{R{Q)~RRR U, R, Q, S c U~(RQ{S)RR U, R, Q, T c U~(R{TQ)RR U, R, Q, V c U{R~(Q{V)RR U, R, Q, W c U~(R{W)QRR U, R, Q, X c (U|R)~(Q{X)RR U, R, R, Q c (U{R{Q)~RRR U, R, R, R c U{R~R~RRR U, R, R, S c (U{R)~S|RRR U, R, R, T c U~R{R~TRR U, R, R, U c (U{R)~R{URR U, R, R, V c (U~R|V)~RRR U, R, R, W c U{R{R~WRR U, R, R, X c (UR{X)~RRR U, R, S, P c (U{S{P)~RRR U, R, S, Q c U~(RQ{S)RR U, R, S, R c (U{R)~S|RRR U, R, S, T c U{R~(S{T)RR U, R, S, U c U{R{S~URR U, R, S, V c (U|R)~(S{V)RR U, R, S, X c U~(R{S)|XRR U, R, T, O c (U{T)~(R{O)RR U, R, T, P c (U{T)~(R~P)RR U, R, T, Q c U~(R{TQ)RR U, R, T, R c U~R{T~RRR U, R, T, S c U{R~(T{S)RR U, R, T, T c (U{RT)~TRR U, R, T, U c U|R{T~URR U, R, T, V c T~V|URRR U, R, T, W c U~W|R~TRR U, R, T, X c (U{T)R~XRR U, R, U, O c U~U|R{ORR U, R, U, P c U~U|R~PRR U, R, U, R c U{(R{U)~RRR U, R, U, S c U{R{U~SRR U, R, U, T c U|R{U~TRR U, R, U, U c (U|RU)~URR U, R, U, V c U{R~V{URR U, R, U, X c U{R~U{XRR U, R, V, P c U~(V|P)|RRR U, R, V, Q c U{R~(V{Q)RR U, R, V, R c (U~R|V)~RRR U, R, V, S c (U|R)~(V{S)RR U, R, V, T c V~T|URRR U, R, V, U c U{R~V{URR U, R, V, W c U~R{V{WRR U, R, V, X c (U|VR)~XRR U, R, W, P c U{R~(W{P)RR U, R, W, Q c U~(R{W)QRR U, R, W, R c U{R{W~RRR U, R, W, T c U~W|R~TRR U, R, W, V c U~R{W{VRR U, R, W, X c (U|R)~W{XRR U, R, X, O c U{R~X{ORR U, R, X, P c U{R~X~PRR U, R, X, Q c (U|R)~(X{Q)RR U, R, X, R c (UR{X)~RRR U, R, X, S c U~(R{S)|XRR U, R, X, T c (U{T)R~XRR U, R, X, U c (U|R)~X{URR U, R, X, V c U~X|R~VRR U, R, X, W c (U|R)~W{XRR U, R, X, X c U{XR~XRR U, S, O, X c U~S{O{XRR U, S, P, Q c (U{Q)~S{PRR U, S, P, R c (U{S{P)~RRR U, S, P, T c (U{P)~S{TRR U, S, P, U c U~U|S{PRR U, S, P, V c U{S~V|PRR U, S, P, W c U~S{P{WRR U, S, P, X c U{(S|P)~XRR U, S, Q, P c (U{Q)~S{PRR U, S, Q, R c U~(S{Q)|RRR U, S, Q, T c U~(QS{T)RR U, S, Q, U c (U|QS)~URR U, S, Q, V c U~S{Q{VRR U, S, Q, X c (S|QU)~XRR U, S, R, P c (U{S{P)~RRR U, S, R, Q c U~(S{RQ)RR U, S, R, R c (U{S)~R{RRR U, S, R, T c U{(S{T)~RRR U, S, R, U c U~S{R{URR U, S, R, V c (U|R)~(S{V)RR U, S, R, X c U~(S{R)|XRR U, S, S, T c U~S{S{TRR U, S, S, U c (US{S)~URR U, S, S, V c (U{S)~S|VRR U, S, S, X c (U{XS)~SRR U, S, T, P c (U{T)~(S|P)RR U, S, T, Q c U~(T{QS)RR U, S, T, R c U{(S{T)~RRR U, S, T, S c U~S{T{SRR U, S, T, V c U{S~T{VRR U, S, T, W c U{S~W|TRR U, S, U, P c U~U|S{PRR U, S, U, Q c U~(U|QS)RR U, S, U, R c U{S~U{RRR U, S, U, S c U~(S{US)RR U, S, U, V c U~U{S|VRR U, S, U, W c (U|SW)~URR U, S, U, X c U~(S{XU)RR U, S, V, P c U{S~V|PRR U, S, V, Q c U~S{V{QRR U, S, V, R c (U|R)~(S{V)RR U, S, V, S c (U{S)~S|VRR U, S, V, T c U{S~T{VRR U, S, V, U c U~(V|US)RR U, S, V, W c S~W|U{VRR U, S, V, X c U{(V|S)~XRR U, S, W, P c U~S{W{PRR U, S, W, T c U{S~W|TRR U, S, W, U c (U|SW)~URR U, S, W, V c S~W|U{VRR U, S, W, X c U~(W|S){XRR U, S, X, O c U~S{X{ORR U, S, X, P c U~S{X~PRR U, S, X, Q c S~X|UQRR U, S, X, R c (U|S{X)~RRR U, S, X, S c (U{XS)~SRR U, S, X, U c U~(S{XU)RR U, S, X, V c U{X~(V|S)RR U, S, X, W c U~(W|S){XRR U, S, X, X c U{S~X|XRR U, T, O, R c (U{T{O)~RRR U, T, P, Q c (U{T)~(P{Q)RR U, T, P, R c (U{T)~(P~R)RR U, T, P, S c U~T|P{SRR U, T, P, W c (U|P)~T{WRR U, T, P, X c U~(T|P){XRR U, T, Q, P c (U{T)~(Q{P)RR U, T, Q, R c U~(TQ{R)RR U, T, Q, S c U~(T{QS)RR U, T, Q, T c U~T|Q{TRR U, T, Q, U c (U{T)Q~URR U, T, Q, V c (U{Q)~T|VRR U, T, Q, W c U~(W|TQ)RR U, T, Q, X c U{(T|Q)~XRR U, T, R, O c (U{T)~(R{O)RR U, T, R, P c (U{T)~(R~P)RR U, T, R, Q c U~(TQ{R)RR U, T, R, R c U~R{T~RRR U, T, R, S c U{(T{S)~RRR U, T, R, T c (U{RT)~TRR U, T, R, U c U~(T{RU)RR U, T, R, V c T~V|URRR U, T, R, W c U~W|T~RRR U, T, R, X c (U{T)R~XRR U, T, S, P c (U{T)~(S|P)RR U, T, S, Q c U~(T{QS)RR U, T, S, R c U{(T{S)~RRR U, T, S, S c U~S{T{SRR U, T, S, V c U{T~S{VRR U, T, S, W c U|T{S~WRR U, T, T, Q c U{T~T{QRR U, T, T, R c (U{RT)~TRR U, T, T, W c U~T|T{WRR U, T, U, Q c (U{T)~(UQ)RR U, T, U, R c U{T~U|RRR U, T, U, W c U~U{T|WRR U, T, U, X c U~T|U{XRR U, T, V, Q c (U{Q)~T|VRR U, T, V, R c T~V|URRR U, T, V, S c (U{T)~(V|S)RR U, T, V, W c U{T~V|WRR U, T, V, X c V~X|U~TRR U, T, W, P c (U|P)~T{WRR U, T, W, Q c U~(W|TQ)RR U, T, W, R c U~W|T~RRR U, T, W, S c U|T{W~SRR U, T, W, T c (U{T)~(W|T)RR U, T, W, U c U~U{T|WRR U, T, W, V c U{T~V|WRR U, T, W, X c U{(W|T)~XRR U, T, X, P c U~(T|P){XRR U, T, X, Q c U{(T|Q)~XRR U, T, X, R c (U{T)~(XR)RR U, T, X, U c (U{T)~(X|U)RR U, T, X, V c X~V|U~TRR U, T, X, W c U{X~(W|T)RR U, T, X, X c U~(X|T){XRR U, U, O, R c U~U{O|RRR U, U, P, Q c (U~U)|(P{Q)RR U, U, P, R c (U{U|P)~RRR U, U, P, S c U~U{P|SRR U, U, P, X c U~(U{P)|XRR U, U, Q, P c (U~U)|(Q{P)RR U, U, Q, S c U~(U|QS)RR U, U, Q, T c U~U{Q|TRR U, U, Q, U c U~U|UQRR U, U, Q, X c (U{U)~Q{XRR U, U, R, O c U~U|R{ORR U, U, R, P c U~U|R~PRR U, U, R, R c U{(U{R)~RRR U, U, R, S c U{U~S{RRR U, U, R, T c U{U~T|RRR U, U, R, U c U~U{R|URR U, U, R, V c U{U{R~VRR U, U, R, X c U{(U|R)~XRR U, U, S, P c U~U|S{PRR U, U, S, Q c U~(U|QS)RR U, U, S, R c U{U~S{RRR U, U, S, S c U~(US{S)RR U, U, S, V c U~U{S|VRR U, U, S, W c U~(U|SW)RR U, U, S, X c U~(S{XU)RR U, U, T, Q c U~(U{T)QRR U, U, T, R c U{U~T|RRR U, U, T, W c U~U{T|WRR U, U, T, X c U~T|U{XRR U, U, U, Q c U~U|UQRR U, U, U, R c U~U|U{RRR U, U, U, X c U{U~U|XRR U, U, V, R c U{U{V~RRR U, U, V, S c U~U|V{SRR U, U, V, X c U~(V|XU)RR U, U, W, S c UU{W~SRR U, U, W, T c U~U|W{TRR U, U, W, X c (U~W)|(U{X)RR U, U, X, P c U~(U{P)|XRR U, U, X, Q c U{U~XQRR U, U, X, R c U~U|XRRR U, U, X, S c U~(XU{S)RR U, U, X, T c U~T|U{XRR U, U, X, U c U~U|X{URR U, U, X, V c U~(V|XU)RR U, U, X, W c (U~W)|(U{X)RR U, U, X, X c U{(X|U)~XRR U, V, O, X c U~V{O|XRR U, V, P, Q c (U|P)~V|QRR U, V, P, R c U~(V|P)|RRR U, V, P, S c U{V~S|PRR U, V, P, W c (U~V)|(P{W)RR U, V, P, X c U~V|P~XRR U, V, Q, P c (U|P)~V|QRR U, V, Q, Q c U~(VQ{Q)RR U, V, Q, R c U{(V{Q)~RRR U, V, Q, S c U~(V{S)QRR U, V, Q, T c (U|Q)~V{TRR U, V, Q, V c (U{V)~Q{VRR U, V, Q, X c U~(X|VQ)RR U, V, R, P c U~(V|P)|RRR U, V, R, Q c U~(V|RQ)RR U, V, R, R c U~V|R~RRR U, V, R, S c (U|R)~(V{S)RR U, V, R, T c V~T|URRR U, V, R, U c U{V~R{URR U, V, R, W c U~R{V{WRR U, V, R, X c (U|VR)~XRR U, V, S, P c U{V~S|PRR U, V, S, Q c U~(V{S)QRR U, V, S, R c (U|R)~(V{S)RR U, V, S, S c (U{S)~S|VRR U, V, S, T c U{V{S~TRR U, V, S, U c U~(V|US)RR U, V, S, W c V|U{S~WRR U, V, S, X c U{(V|S)~XRR U, V, T, Q c (U|Q)~V{TRR U, V, T, R c V~T|URRR U, V, T, S c U{V{T~SRR U, V, T, W c U{V~T|WRR U, V, T, X c V~X|U~TRR U, V, U, R c (U~V)|(U{R)RR U, V, U, S c U~(V|US)RR U, V, U, X c U~(V|XU)RR U, V, V, Q c (U~V)|(V{Q)RR U, V, V, X c (U|XV)~VRR U, V, W, P c (U~V)|(W{P)RR U, V, W, R c U~R{V{WRR U, V, W, S c V|U{W~SRR U, V, W, T c U{V~T|WRR U, V, W, W c (U~W)|(V{W)RR U, V, X, O c U~V|X{ORR U, V, X, P c U~V|X~PRR U, V, X, Q c U~(X|VQ)RR U, V, X, R c (U|VR)~XRR U, V, X, S c U{(V|S)~XRR U, V, X, T c V~X|U~TRR U, V, X, U c U~(V|XU)RR U, V, X, V c (U|XV)~VRR U, W, P, Q c (U|Q)~W{PRR U, W, P, R c U{(W{P)~RRR U, W, P, S c U~S{W{PRR U, W, P, T c (U|P)~T{WRR U, W, P, V c (U|P)~W|VRR U, W, P, X c U~(W|P)|XRR U, W, Q, P c (U|Q)~W{PRR U, W, Q, R c U~(W|Q)|RRR U, W, Q, T c (U{W)~Q{TRR U, W, Q, X c U~WQ{XRR U, W, R, P c U{(W{P)~RRR U, W, R, Q c U~(W{R)QRR U, W, R, R c (U{W|R)~RRR U, W, R, T c U~W|R~TRR U, W, R, V c U~R{W{VRR U, W, R, X c (U{W)~R|XRR U, W, S, P c U~S{W{PRR U, W, S, T c U{W~S|TRR U, W, S, U c (U|SW)~URR U, W, S, V c W~S|U{VRR U, W, S, X c U~(W|S){XRR U, W, T, P c (U|P)~T{WRR U, W, T, Q c U~(W|TQ)RR U, W, T, R c U~W|T~RRR U, W, T, S c U{W~S|TRR U, W, T, T c (U{T)~(W|T)RR U, W, T, U c U~U|W{TRR U, W, T, V c U{T~V|WRR U, W, T, X c U{(W|T)~XRR U, W, U, S c UU{W~SRR U, W, U, T c U~U|W{TRR U, W, U, X c (U~W)|(U{X)RR U, W, V, P c (U~V)|(W{P)RR U, W, V, R c U~R{W{VRR U, W, V, S c W~S|U{VRR U, W, V, T c U{V~T|WRR U, W, V, W c (U~W)|(V{W)RR U, W, W, V c (U~W)|(W{V)RR U, W, X, P c U~(W|P)|XRR U, W, X, Q c U~WQ{XRR U, W, X, R c (U{W)~R|XRR U, W, X, S c U~(W|S){XRR U, W, X, T c U{(W|T)~XRR U, W, X, U c (U~W)|(X{U)RR U, W, X, X c W~(X|U){XRR U, X, O, R c U{(X{O)~RRR U, X, O, S c (U{O)~S{XRR U, X, O, V c (U{O)~V|XRR U, X, P, Q c U{X~(P{Q)RR U, X, P, R c U{X~P~RRR U, X, P, S c U{X~(S|P)RR U, X, P, T c U~(T|P){XRR U, X, P, U c (U{P)~U|XRR U, X, P, V c U~P~V|XRR U, X, P, W c U~(W|P)|XRR U, X, Q, P c U{X~(Q{P)RR U, X, Q, Q c U~(X{Q)QRR U, X, Q, R c (U{X)~Q{RRR U, X, Q, S c X~S|UQRR U, X, Q, T c U{X~(T|Q)RR U, X, Q, U c U{XQ~URR U, X, Q, V c U~(X|VQ)RR U, X, Q, W c UQ~W{XRR U, X, Q, X c U{X{Q~XRR U, X, R, O c U{X~R{ORR U, X, R, P c U{X~R~PRR U, X, R, Q c (U{X)~Q{RRR U, X, R, R c U~(X|R)|RRR U, X, R, S c (U{X|S)~RRR U, X, R, T c (U{T)~(XR)RR U, X, R, U c U{X{R~URR U, X, R, V c U~X|R~VRR U, X, R, W c (U|R)~W{XRR U, X, R, X c U{XR~XRR U, X, S, O c U~S{X{ORR U, X, S, P c U{X~(S|P)RR U, X, S, Q c X~S|UQRR U, X, S, R c (U{X|S)~RRR U, X, S, S c (U{XS)~SRR U, X, S, U c U~(XU{S)RR U, X, S, V c U{X~(V|S)RR U, X, S, W c U~(W|S){XRR U, X, S, X c U{X~S|XRR U, X, T, P c U~(T|P){XRR U, X, T, Q c U{X~(T|Q)RR U, X, T, R c (U{T)~(XR)RR U, X, T, U c (U{T)~(X|U)RR U, X, T, V c X~V|U~TRR U, X, T, W c U{X~(W|T)RR U, X, T, X c U~(X|T){XRR U, X, U, P c U~(U{P)|XRR U, X, U, Q c U{X~UQRR U, X, U, R c U{X{U~RRR U, X, U, S c U~(XU{S)RR U, X, U, T c (U{T)~(X|U)RR U, X, U, U c U~U|X{URR U, X, U, V c U~(V|XU)RR U, X, U, W c (U~W)|(X{U)RR U, X, U, X c U{(X|U)~XRR U, X, V, O c U~V|X{ORR U, X, V, P c U~V|X~PRR U, X, V, Q c U~(X|VQ)RR U, X, V, R c U~X|V~RRR U, X, V, S c U{X~(V|S)RR U, X, V, T c X~V|U~TRR U, X, V, U c U~(V|XU)RR U, X, V, V c (U|XV)~VRR U, X, W, P c U~(W|P)|XRR U, X, W, Q c U~WQ{XRR U, X, W, R c (U{W)~R|XRR U, X, W, S c U~(W|S){XRR U, X, W, T c U{X~(W|T)RR U, X, W, U c (U~W)|(X{U)RR U, X, W, X c (X|U)~W{XRR U, X, X, Q c U{X{X~QRR U, X, X, R c U{X~XRRR U, X, X, S c U{X~S|XRR U, X, X, T c U~(X|T){XRR U, X, X, U c U{X~(X|U)RR U, X, X, W c (X|U)~W{XRR U, X, X, X c U{X{X{XRR V, O, Q, T c (V{O)~T|QRR V, O, R, S c (V{O{S)~RRR V, O, S, R c (V{O{S)~RRR V, O, S, T c (V{O)~S{TRR V, O, T, Q c (V{O)~T|QRR V, O, T, S c (V{O)~S{TRR V, O, T, W c O{T~W|VRR V, O, U, X c (V{O)~U|XRR V, O, W, T c O{W~T|VRR V, O, X, U c (V{O)~U|XRR V, P, P, S c (V{P)~S{PRR V, P, P, T c (V~T)|(P{P)RR V, P, Q, S c V~(P{S)|QRR V, P, Q, T c V~P~T|QRR V, P, Q, U c V~(U|P)|QRR V, P, Q, X c (V{X)~Q{PRR V, P, R, R c (V{P{R)~RRR V, P, R, S c (V{P~S)~RRR V, P, R, T c V~(P{R){TRR V, P, R, U c (V|P)~U|RRR V, P, R, W c (V|R)~W{PRR V, P, R, X c (V{P)~R{XRR V, P, S, P c (V{P)~S{PRR V, P, S, Q c V~(P{S)|QRR V, P, S, R c (V{P~S)~RRR V, P, S, S c V~S{P{SRR V, P, S, T c V~P~S{TRR V, P, S, U c V~S|P{URR V, P, S, W c (P{S)~W|VRR V, P, S, X c (V|P)~S{XRR V, P, T, P c (V~T)|(P{P)RR V, P, T, Q c V~P~T|QRR V, P, T, R c (V|P{T)~RRR V, P, T, S c V~P~S{TRR V, P, T, T c V{P{T~TRR V, P, T, V c (V{P)~T|VRR V, P, T, W c P~T~W|VRR V, P, T, X c V~(P{T)|XRR V, P, U, Q c V~(U|P)|QRR V, P, U, R c (V|P)~U|RRR V, P, U, S c V~S|P{URR V, P, U, W c (V~U)|(P{W)RR V, P, U, X c V~P~U|XRR V, P, V, T c (V{P)~T|VRR V, P, V, X c (V|P)~V|XRR V, P, W, R c (V|R)~W{PRR V, P, W, S c (P{S)~W|VRR V, P, W, T c P~W~T|VRR V, P, W, U c (V~U)|(P{W)RR V, P, X, Q c (V{X)~Q{PRR V, P, X, R c V|P{X~RRR V, P, X, S c (V|P)~S{XRR V, P, X, T c V~(P{T)|XRR V, P, X, U c V~P~U|XRR V, P, X, V c (V|P)~V|XRR V, Q, O, T c (V{O)~T|QRR V, Q, P, S c V~(P{S)|QRR V, Q, P, T c V~P~T|QRR V, Q, P, U c V~(U|P)|QRR V, Q, P, X c (V{X)~Q{PRR V, Q, Q, R c (V{Q{Q)~RRR V, Q, Q, T c V~(Q{Q){TRR V, Q, Q, U c (VQ{Q)~URR V, Q, Q, V c (V|Q)~V|QRR V, Q, R, Q c V~(Q{R)|QRR V, Q, R, R c (V~Q|R)~RRR V, Q, R, S c (V{Q)~S|RRR V, Q, R, U c (V{Q)~R{URR V, Q, R, W c V{Q{R~WRR V, Q, R, X c V~Q~R|XRR V, Q, S, P c (V{S)~(Q{P)RR V, Q, S, R c (V{Q)~S|RRR V, Q, S, T c (V{S)~(T|Q)RR V, Q, S, U c V{Q{S~URR V, Q, S, V c V|Q{S~VRR V, Q, S, W c (Q{W)~S|VRR V, Q, S, X c V{Q~(S{X)RR V, Q, T, O c V~T|Q{ORR V, Q, T, P c V~T|Q~PRR V, Q, T, Q c V~(Q{Q){TRR V, Q, T, S c V~T{Q|SRR V, Q, T, T c (V|QT)~TRR V, Q, T, U c V~(U|Q){TRR V, Q, T, V c V~(T|QV)RR V, Q, T, W c V{Q~(T{W)RR V, Q, T, X c (V{T)~Q{XRR V, Q, U, P c V~(U|P)|QRR V, Q, U, Q c (VQ{Q)~URR V, Q, U, R c (V|Q{U)~RRR V, Q, U, S c V{Q{U~SRR V, Q, U, T c V~(U|Q){TRR V, Q, U, V c V{Q~(U{V)RR V, Q, U, X c U~(X|VQ)RR V, Q, V, Q c (V|Q)~V|QRR V, Q, V, S c V|Q{V~SRR V, Q, V, T c (V{V)~Q{TRR V, Q, V, U c V{Q~(V{U)RR V, Q, V, W c (V|Q)~W|VRR V, Q, W, R c V{Q{W~RRR V, Q, W, S c (Q{W)~S|VRR V, Q, W, T c V{Q~(W{T)RR V, Q, W, V c (V|Q)~W|VRR V, Q, W, X c V{Q~X{WRR V, Q, X, P c (V{X)~Q{PRR V, Q, X, R c V~Q~R|XRR V, Q, X, S c V{Q~(X{S)RR V, Q, X, T c (V{T)~Q{XRR V, Q, X, U c (X|VQ)~URR V, Q, X, W c V{Q~X{WRR V, R, O, S c (V{O{S)~RRR V, R, P, R c (V{R{P)~RRR V, R, P, S c (V{P~S)~RRR V, R, P, T c V~(R{P){TRR V, R, P, U c (V|P)~U|RRR V, R, P, W c (V|R)~W{PRR V, R, P, X c V{R~X|PRR V, R, Q, Q c V~(R{Q)|QRR V, R, Q, R c (V~Q|R)~RRR V, R, Q, S c (V{Q)~S|RRR V, R, Q, U c (V|RQ)~URR V, R, Q, W c V{R~W{QRR V, R, Q, X c V~R~Q|XRR V, R, R, P c (V{R{P)~RRR V, R, R, Q c (V~Q|R)~RRR V, R, R, R c (V{R)~R{RRR V, R, R, S c V~R{R~SRR V, R, R, T c (V{T)~R|RRR V, R, R, U c V~U|R~RRR V, R, R, V c (V|R{V)~RRR V, R, R, X c V~R{R{XRR V, R, S, O c (V{S)~(R{O)RR V, R, S, P c (V{S)~(R~P)RR V, R, S, Q c V~S{R{QRR V, R, S, R c V~R{S~RRR V, R, S, U c (V{S)~(U|R)RR V, R, S, V c (V{R)~S|VRR V, R, S, W c V~R{S{WRR V, R, S, X c (V{S)R~XRR V, R, T, P c V~(R{P){TRR V, R, T, R c (V{T)~R|RRR V, R, T, T c V~T{R|TRR V, R, T, U c V~T|URRR V, R, T, V c V~R{T{VRR V, R, T, X c (V|T{X)~RRR V, R, U, P c (V|P)~U|RRR V, R, U, Q c V~R{U~QRR V, R, U, R c V~U|R~RRR V, R, U, S c (V{S)~(U|R)RR V, R, U, T c V~T|URRR V, R, U, U c V~R{U{URR V, R, U, W c V{R~U{WRR V, R, U, X c (V|R)~U{XRR V, R, V, R c (V|R{V)~RRR V, R, V, S c (V{R)~S|VRR V, R, V, T c V{R~V{TRR V, R, V, X c (V{V)~R|XRR V, R, W, P c (V|R)~W{PRR V, R, W, Q c V{R~W{QRR V, R, W, S c V~R{W{SRR V, R, W, U c V{R~U{WRR V, R, W, W c (W|R)~W|VRR V, R, X, P c V{R~X|PRR V, R, X, Q c V~R~Q|XRR V, R, X, R c (V|R)~X|RRR V, R, X, S c (V{S)R~XRR V, R, X, T c (V{X|T)~RRR V, R, X, U c (V|R)~U{XRR V, R, X, V c (V{V)~R|XRR V, R, X, X c V~(X|R)|XRR V, S, O, R c (V{S{O)~RRR V, S, O, T c V~S{O{TRR V, S, P, P c (V{P)~S{PRR V, S, P, Q c (V{S)~(P{Q)RR V, S, P, R c (V{S)~(P~R)RR V, S, P, S c V~S{P{SRR V, S, P, T c V~S{P~TRR V, S, P, U c V~S|P{URR V, S, P, W c (S{P)~W|VRR V, S, P, X c (V|P)~S{XRR V, S, Q, P c (V{S)~(Q{P)RR V, S, Q, R c V~S{Q{RRR V, S, Q, T c (V{S)~(T|Q)RR V, S, Q, U c (V{S)Q~URR V, S, Q, V c V~S|Q{VRR V, S, Q, W c S~(Q{W)|VRR V, S, Q, X c (V|S)~(Q{X)RR V, S, R, O c (V{S)~(R{O)RR V, S, R, P c (V{S)~(R~P)RR V, S, R, Q c V~S{R{QRR V, S, R, R c V~R{S~RRR V, S, R, U c (V{S)~(U|R)RR V, S, R, V c (V{R)~S|VRR V, S, R, W c (V|S)~(R{W)RR V, S, R, X c (V{S)R~XRR V, S, S, P c (V{S)~(S|P)RR V, S, S, T c (V{TS)~SRR V, S, S, U c S~(S{U)|VRR V, S, S, V c (V|S)~(S{V)RR V, S, S, X c V~S|S{XRR V, S, T, O c V~S{T{ORR V, S, T, P c V~S{T~PRR V, S, T, Q c (V{S)~(T|Q)RR V, S, T, S c (V{TS)~SRR V, S, T, T c S~(T{T)|VRR V, S, T, U c V{S~T{URR V, S, T, V c V~(S{TV)RR V, S, T, W c (V{S)~(W|T)RR V, S, U, P c V~S{U|PRR V, S, U, Q c V{S~U{QRR V, S, U, R c (V{S)~(U|R)RR V, S, U, S c (S{U)~S|VRR V, S, U, T c V|S{U~TRR V, S, U, U c (V|US)~URR V, S, U, W c V{S~W|URR V, S, U, X c (V{S)~(X|U)RR V, S, V, Q c V{S~V|QRR V, S, V, R c (V{R)~S|VRR V, S, V, S c (V{S)~(V|S)RR V, S, V, T c V~(S{TV)RR V, S, V, W c VV{S~WRR V, S, W, P c (S{P)~W|VRR V, S, W, Q c S~(W{Q)|VRR V, S, W, R c (V|S{W)~RRR V, S, W, T c (V{S)~(W|T)RR V, S, W, U c V{S~W|URR V, S, W, V c VV{S~WRR V, S, W, W c S~W|V{WRR V, S, W, X c (V|S)~W{XRR V, S, X, P c (V|P)~S{XRR V, S, X, Q c V{(S{X)~QRR V, S, X, R c (V{S)~(XR)RR V, S, X, S c V~S{X|SRR V, S, X, U c (V{S)~(X|U)RR V, S, X, W c (V|S)~W{XRR V, T, O, Q c V~T{O|QRR V, T, O, S c (V{O)~S{TRR V, T, O, W c (T{O)~W|VRR V, T, P, P c (V~T)|(P{P)RR V, T, P, Q c V~T|P~QRR V, T, P, R c (V{T|P)~RRR V, T, P, S c V~P~S{TRR V, T, P, T c V~(T|P){TRR V, T, P, V c (V{P)~T|VRR V, T, P, W c T~P~W|VRR V, T, P, X c V~(T{P)|XRR V, T, Q, O c V~T|Q{ORR V, T, Q, P c V~T|Q~PRR V, T, Q, Q c V~(Q{Q){TRR V, T, Q, S c V~T{Q|SRR V, T, Q, T c (V|QT)~TRR V, T, Q, U c V~(U|Q){TRR V, T, Q, V c V~(T|QV)RR V, T, Q, W c V{(T{W)~QRR V, T, Q, X c (V{T)~Q{XRR V, T, R, P c V~T|R{PRR V, T, R, R c (V{T)~R|RRR V, T, R, T c V~T{R|TRR V, T, R, U c V~T|URRR V, T, R, V c V{T{R~VRR V, T, R, X c (V|T{X)~RRR V, T, S, O c V~S{T{ORR V, T, S, P c V~S{T~PRR V, T, S, Q c V~T|S{QRR V, T, S, S c (V{TS)~SRR V, T, S, T c (T{T)~S|VRR V, T, S, U c V{T~S{URR V, T, S, V c V~(TV{S)RR V, T, S, W c V~T|WSRR V, T, T, P c V{T~T{PRR V, T, T, Q c (V|QT)~TRR V, T, T, R c V~T|T{RRR V, T, T, S c (T{T)~S|VRR V, T, T, V c V~T{T|VRR V, T, T, W c T~(W|VT)RR V, T, T, X c V~(X|T){TRR V, T, U, Q c V~(U|Q){TRR V, T, U, R c V~T|URRR V, T, U, S c V{T~U|SRR V, T, U, W c V~T{U|WRR V, T, U, X c V~X|T~URR V, T, V, P c (V{P)~T|VRR V, T, V, Q c V~(T|QV)RR V, T, V, R c V{T{V~RRR V, T, V, S c V~(TV{S)RR V, T, V, T c V~T|V{TRR V, T, V, X c V{T~V|XRR V, T, W, O c T~W|V{ORR V, T, W, P c T~W|V~PRR V, T, W, Q c V{(T{W)~QRR V, T, W, S c V~T|WSRR V, T, W, T c T~(W|VT)RR V, T, W, U c V~T|W{URR V, T, W, W c (T|VW)~WRR V, T, X, P c V~(T{P)|XRR V, T, X, Q c (V{T)~Q{XRR V, T, X, R c (V|T{X)~RRR V, T, X, T c V~(X|T){TRR V, T, X, U c V~X|T~URR V, T, X, V c V~T|X{VRR V, U, O, X c V~U{O|XRR V, U, P, Q c V~(U|P)|QRR V, U, P, R c (V|P)~U|RRR V, U, P, S c V~S{U|PRR V, U, P, W c (V~U)|(P{W)RR V, U, P, X c V~U|P~XRR V, U, Q, P c V~(U|P)|QRR V, U, Q, Q c (VQ{Q)~URR V, U, Q, R c (V{U|Q)~RRR V, U, Q, S c V{U~S{QRR V, U, Q, T c V~(U|Q){TRR V, U, Q, V c (V{U)~Q{VRR V, U, Q, X c U~(X|VQ)RR V, U, R, P c (V|P)~U|RRR V, U, R, Q c (V{U|Q)~RRR V, U, R, R c V~U|R~RRR V, U, R, S c (V{S)~(U|R)RR V, U, R, T c V~T|URRR V, U, R, U c (V{U)~R|URR V, U, R, W c V{U~R{WRR V, U, R, X c (V|R)~U{XRR V, U, S, P c V~S{U|PRR V, U, S, Q c V{U~S{QRR V, U, S, R c (V{S)~(U|R)RR V, U, S, S c (U{S)~S|VRR V, U, S, T c V{U{S~TRR V, U, S, U c (V|US)~URR V, U, S, W c V|U{S~WRR V, U, S, X c (V{S)~(X|U)RR V, U, T, Q c V~(U|Q){TRR V, U, T, R c V~T|URRR V, U, T, S c V{U{T~SRR V, U, T, W c V~T{U|WRR V, U, T, X c V~X|U~TRR V, U, U, R c (V~U)|(U{R)RR V, U, U, S c (V|US)~URR V, U, U, X c (V|XU)~URR V, U, V, Q c V{(U{V)~QRR V, U, V, X c V~(U|XV)RR V, U, W, P c (V~U)|(W{P)RR V, U, W, R c V{U~R{WRR V, U, W, S c V|U{W~SRR V, U, W, T c V~T{U|WRR V, U, W, W c (U~W)|(V{W)RR V, U, X, O c V~U|X{ORR V, U, X, P c V~U|X~PRR V, U, X, Q c U~(X|VQ)RR V, U, X, R c (V|R)~U{XRR V, U, X, S c (V{S)~(X|U)RR V, U, X, T c V~X|U~TRR V, U, X, U c (V|XU)~URR V, U, X, V c V~(U|XV)RR V, V, P, T c (V{P)~T|VRR V, V, P, X c V~(V|P)|XRR V, V, Q, Q c V~(V|Q)|QRR V, V, Q, S c V{V~S|QRR V, V, Q, T c (V{V)~Q{TRR V, V, Q, U c V{(V{U)~QRR V, V, Q, W c V~V|Q~WRR V, V, R, R c (V{V|R)~RRR V, V, R, S c (V{R)~S|VRR V, V, R, T c V{V~R{TRR V, V, R, X c (V{V)~R|XRR V, V, S, Q c V{V~S|QRR V, V, S, R c (V{R)~S|VRR V, V, S, S c V~V|S~SRR V, V, S, T c V~(S{TV)RR V, V, S, W c VV{S~WRR V, V, T, P c (V{P)~T|VRR V, V, T, Q c (V{V)~Q{TRR V, V, T, R c V{V~R{TRR V, V, T, S c V~(TV{S)RR V, V, T, T c V~T|V{TRR V, V, T, X c V{V~T|XRR V, V, U, Q c V{(V{U)~QRR V, V, U, X c V~(U|XV)RR V, V, V, X c (V~V)|(V{X)RR V, V, W, Q c V~V|W~QRR V, V, W, S c VV{W~SRR V, V, W, W c (V~V)|(W{W)RR V, V, X, P c V~(V|P)|XRR V, V, X, R c (V{V)~R|XRR V, V, X, T c V{V~T|XRR V, V, X, U c V~(U|XV)RR V, V, X, V c (V~V)|(X{V)RR V, W, O, T c (W{O)~T|VRR V, W, P, R c (V|R)~W{PRR V, W, P, S c W~(P{S)|VRR V, W, P, T c W~P~T|VRR V, W, P, U c (V~U)|(W{P)RR V, W, Q, R c (V{W)~Q{RRR V, W, Q, S c (W{Q)~S|VRR V, W, Q, T c V~WQ{TRR V, W, Q, V c (V|Q)~W|VRR V, W, Q, X c V{W{Q~XRR V, W, R, P c (V|R)~W{PRR V, W, R, Q c V{W~R{QRR V, W, R, S c (V{W|S)~RRR V, W, R, U c V{W{R~URR V, W, R, W c (W|R)~W|VRR V, W, S, P c W~(S{P)|VRR V, W, S, Q c (W{Q)~S|VRR V, W, S, R c (V{W|S)~RRR V, W, S, T c V~(W|S){TRR V, W, S, U c V{W~S|URR V, W, S, V c VV{W~SRR V, W, S, W c W|V{S~WRR V, W, S, X c (V|S)~W{XRR V, W, T, O c W~T|V{ORR V, W, T, P c W~T|V~PRR V, W, T, Q c V{(W{T)~QRR V, W, T, S c V~(W|S){TRR V, W, T, T c (W|VT)~TRR V, W, T, U c V~T|W{URR V, W, T, W c W~(T|VW)RR V, W, U, P c (V~U)|(W{P)RR V, W, U, R c V{W{U~RRR V, W, U, S c V{W~S|URR V, W, U, T c V~T|W{URR V, W, U, W c (W~U)|(V{W)RR V, W, V, Q c V~V|W~QRR V, W, V, S c VV{W~SRR V, W, V, W c (V~V)|(W{W)RR V, W, W, R c W~(W|R)|VRR V, W, W, S c W|V{W~SRR V, W, W, T c W~(T|VW)RR V, W, W, U c (W~U)|(V{W)RR V, W, W, V c (V~V)|(W{W)RR V, W, X, Q c V{W{X~QRR V, W, X, S c (V|S)~W{XRR V, W, X, X c V{W{X{XRR V, X, O, U c (V{O)~U|XRR V, X, P, Q c (V{X)~Q{PRR V, X, P, R c V{X~R|PRR V, X, P, S c (V|P)~S{XRR V, X, P, T c V~(P{T)|XRR V, X, P, U c V~P~U|XRR V, X, P, V c (V|P)~V|XRR V, X, Q, P c (V{X)~Q{PRR V, X, Q, R c (V~X{R)QRR V, X, Q, S c V{(X{S)~QRR V, X, Q, T c (V{T)~Q{XRR V, X, Q, U c (X|VQ)~URR V, X, Q, W c V{X~Q{WRR V, X, R, P c V{X~R|PRR V, X, R, Q c (V~X{R)QRR V, X, R, R c (V|R)~X|RRR V, X, R, S c (V{S)~(XR)RR V, X, R, T c (V{X|T)~RRR V, X, R, U c (V|R)~U{XRR V, X, R, V c (V{V)~R|XRR V, X, R, X c V~(X|R)|XRR V, X, S, P c (V|P)~S{XRR V, X, S, Q c V{(X{S)~QRR V, X, S, R c (V{S)~(XR)RR V, X, S, S c V~S{X|SRR V, X, S, U c (V{S)~(X|U)RR V, X, S, W c (V|S)~W{XRR V, X, T, P c V~(T{P)|XRR V, X, T, Q c (V{T)~Q{XRR V, X, T, R c (V{X|T)~RRR V, X, T, T c V~(X|T){TRR V, X, T, U c V~X|T~URR V, X, T, V c V~T|X{VRR V, X, U, O c V~U|X{ORR V, X, U, P c V~U|X~PRR V, X, U, Q c (X|VQ)~URR V, X, U, R c (V|R)~U{XRR V, X, U, S c (V{S)~(X|U)RR V, X, U, T c V~X|U~TRR V, X, U, U c (V|XU)~URR V, X, U, V c V~(U|XV)RR V, X, V, P c V~(V|P)|XRR V, X, V, R c (V{V)~R|XRR V, X, V, T c V{V~T|XRR V, X, V, U c V~(U|XV)RR V, X, V, V c (V~V)|(X{V)RR V, X, W, Q c V{X~Q{WRR V, X, W, S c (V|S)~W{XRR V, X, W, X c V{X{W{XRR V, X, X, R c V~(X|R)|XRR V, X, X, W c V{X{X{WRR W, O, P, S c (W{O)~S{PRR W, O, R, R c (W{O{R)~RRR W, O, R, X c (W{O)~R{XRR W, O, S, P c (W{O)~S{PRR W, O, T, T c W{O{T~TRR W, O, T, V c (W{O)~T|VRR W, O, V, T c (W{O)~T|VRR W, O, X, R c (W{O)~R{XRR W, P, O, S c (W{O)~S{PRR W, P, P, R c W~(P{R){PRR W, P, P, S c W~P~S{PRR W, P, P, T c W~(T|P){PRR W, P, Q, Q c W~(Q{Q){PRR W, P, Q, R c (W{P{Q)~RRR W, P, Q, S c W~S|P{QRR W, P, Q, T c (W|P)~T|QRR W, P, Q, U c W~(U|Q){PRR W, P, Q, W c WQ~W{PRR W, P, Q, X c W~(P{Q){XRR W, P, R, P c W~(P{R){PRR W, P, R, Q c (W{P{Q)~RRR W, P, R, R c (W{P~R)~RRR W, P, R, S c (W{P)~S|RRR W, P, R, U c (W{P)~R{URR W, P, R, V c W~(V|R){PRR W, P, R, W c W{P{R~WRR W, P, R, X c W~P~R{XRR W, P, S, O c W~S{P{ORR W, P, S, P c W~P~S{PRR W, P, S, Q c W~S|P{QRR W, P, S, R c (W{P)~S|RRR W, P, S, S c (W{PS)~SRR W, P, S, T c W{(P{S)~TRR W, P, S, U c W{P{S~URR W, P, S, V c W~(P{S)|VRR W, P, S, W c W~(PW{S)RR W, P, S, X c W~(S|P){XRR W, P, T, P c W~(T|P){PRR W, P, T, Q c (W|P)~T|QRR W, P, T, S c W{(P{S)~TRR W, P, T, T c W{P~T~TRR W, P, T, U c (W~T)|(P{U)RR W, P, T, V c W~P~T|VRR W, P, T, W c W~T{P|WRR W, P, T, X c W~(X|T){PRR W, P, U, Q c W~(U|Q){PRR W, P, U, R c (W{P)~R{URR W, P, U, S c W{P{U~SRR W, P, U, T c W{(U|P)~TRR W, P, U, V c W~(U|P)|VRR W, P, U, X c (W|P)~U|XRR W, P, V, R c W~(V|R){PRR W, P, V, S c W~(P{S)|VRR W, P, V, T c W~P~T|VRR W, P, V, U c W~(U|P)|VRR W, P, W, Q c (W{W)~Q{PRR W, P, W, R c W{P{W~RRR W, P, W, S c W~(PW{S)RR W, P, W, T c W~T{P|WRR W, P, X, Q c W~(P{Q){XRR W, P, X, R c W~P~R{XRR W, P, X, S c W~(S|P){XRR W, P, X, T c W~(X|T){PRR W, P, X, U c (W|P)~U|XRR W, Q, P, Q c W~(Q{Q){PRR W, Q, P, R c (W{Q{P)~RRR W, Q, P, S c W~S{Q|PRR W, Q, P, T c (W|P)~T|QRR W, Q, P, U c W~(U|Q){PRR W, Q, P, W c WQ~W{PRR W, Q, P, X c W~(Q{P){XRR W, Q, Q, P c W~(Q{Q){PRR W, Q, Q, S c W~S{QQRR W, Q, Q, W c (W~W{Q)QRR W, Q, R, P c (W{Q{P)~RRR W, Q, R, R c (W{Q)~R{RRR W, Q, R, S c W~S|Q{RRR W, Q, R, T c W{(Q{R)~TRR W, Q, R, U c (W|Q)~U|RRR W, Q, R, V c W~(Q{R)|VRR W, Q, R, X c W|Q{R~XRR W, Q, S, P c W~S{Q|PRR W, Q, S, Q c W~S{QQRR W, Q, S, R c W~S|Q{RRR W, Q, S, V c (W{Q)~S|VRR W, Q, S, W c (W{QW)~SRR W, Q, S, X c (W|Q)~S{XRR W, Q, T, P c (W|P)~T|QRR W, Q, T, R c (W|Q{T)~RRR W, Q, T, T c (W~T)|(Q{T)RR W, Q, T, U c (W|TQ)~URR W, Q, T, V c WQ~V{TRR W, Q, T, X c (W|T)~(Q{X)RR W, Q, U, P c W~(U|Q){PRR W, Q, U, R c (W|Q)~U|RRR W, Q, U, T c (W{U)~Q{TRR W, Q, U, X c WQ~U{XRR W, Q, V, R c (WQ{V)~RRR W, Q, V, S c (W{Q)~S|VRR W, Q, V, T c WQ~V{TRR W, Q, V, V c W~(V|Q)|VRR W, Q, V, X c (W|Q)~V|XRR W, Q, W, P c WQ~W{PRR W, Q, W, Q c (W~W{Q)QRR W, Q, W, S c (W{QW)~SRR W, Q, W, X c W{Q~W{XRR W, Q, X, P c W~(Q{P){XRR W, Q, X, R c W|Q{X~RRR W, Q, X, S c (W|Q)~S{XRR W, Q, X, T c (W|T)~(Q{X)RR W, Q, X, U c WQ~U{XRR W, Q, X, V c W{Q~X{VRR W, Q, X, W c W~Q{X{WRR W, R, O, R c (W{R{O)~RRR W, R, O, X c W~R{O{XRR W, R, P, P c W~(R{P){PRR W, R, P, Q c (W{R)~(P{Q)RR W, R, P, R c (W{R)~(P~R)RR W, R, P, S c (W{R)~(S|P)RR W, R, P, U c (W{P)~R{URR W, R, P, V c W~(V|R){PRR W, R, P, W c W~R{P{WRR W, R, P, X c W~R{P~XRR W, R, Q, P c (W{R)~(Q{P)RR W, R, Q, R c (W{Q)~R{RRR W, R, Q, S c W~S{R|QRR W, R, Q, T c W{(R{Q)~TRR W, R, Q, U c (W{R)Q~URR W, R, Q, V c W~R{Q{VRR W, R, Q, X c W{R~X|QRR W, R, R, O c (W{R)~(R{O)RR W, R, R, P c (W{R)~(R~P)RR W, R, R, Q c (W{Q)~R{RRR W, R, R, R c W~R{R~RRR W, R, R, S c (W{S)~R|RRR W, R, R, U c W~R{R{URR W, R, R, X c (W{R)R~XRR W, R, S, P c (W{R)~(S|P)RR W, R, S, Q c W~S{R|QRR W, R, S, R c (W{S)~R|RRR W, R, S, S c W~S|R{SRR W, R, S, T c W~R{S{TRR W, R, S, V c W|R{S~VRR W, R, S, X c (W|S)~X|RRR W, R, T, Q c (W{R)~(T|Q)RR W, R, T, S c W~R{T{SRR W, R, T, U c (W{T)~R|URR W, R, T, W c (W|R)~T{WRR W, R, U, P c (W{P)~R{URR W, R, U, Q c (W{R)~(UQ)RR W, R, U, R c (W{R)~(U|R)RR W, R, U, T c W~U|R~TRR W, R, U, V c W{R~U{VRR W, R, U, X c (W{R)~(X|U)RR W, R, V, P c W~(V|R){PRR W, R, V, Q c (W|R)~V|QRR W, R, V, S c W{R~V{SRR W, R, V, U c W{R~U{VRR W, R, V, W c (W|R)~W|VRR W, R, W, P c W{R~W{PRR W, R, W, T c (W{R)~(W|T)RR W, R, W, V c (W|R)~W|VRR W, R, W, X c W~(R{XW)RR W, R, X, O c W~R{X{ORR W, R, X, P c W~R{X~PRR W, R, X, Q c W{R~X|QRR W, R, X, R c (W{R)~(XR)RR W, R, X, S c (W|S)~X|RRR W, R, X, U c (W{R)~(X|U)RR W, R, X, W c W~(R{XW)RR W, R, X, X c WR~X{XRR W, S, O, P c W~S{O{PRR W, S, P, O c W~S{P{ORR W, S, P, P c W~S{P~PRR W, S, P, Q c W~S|P{QRR W, S, P, R c (W{S|P)~RRR W, S, P, S c (W{PS)~SRR W, S, P, T c W{(S{P)~TRR W, S, P, U c W{S~U{PRR W, S, P, V c W~(S{P)|VRR W, S, P, W c W~(S{PW)RR W, S, P, X c W~(S|P){XRR W, S, Q, P c W~S{Q|PRR W, S, Q, Q c W~S{QQRR W, S, Q, R c W~S|Q{RRR W, S, Q, V c (W{Q)~S|VRR W, S, Q, W c (W{QW)~SRR W, S, Q, X c (W{S)~Q{XRR W, S, R, P c (W{S|P)~RRR W, S, R, Q c W~S{R|QRR W, S, R, R c (W{S)~R|RRR W, S, R, S c W~S|R{SRR W, S, R, T c W~R{S{TRR W, S, R, V c W{S{R~VRR W, S, R, X c (W|S)~X|RRR W, S, S, P c (W{PS)~SRR W, S, S, R c W~S{S|RRR W, S, S, S c W~S{SSRR W, S, S, T c W~S|S{TRR W, S, S, X c W{S~S{XRR W, S, T, P c W{(S{P)~TRR W, S, T, R c (W~T)|(S{R)RR W, S, T, S c W~S{T|SRR W, S, T, T c W{S~T{TRR W, S, T, U c W~S|T{URR W, S, T, V c (W|S)~V{TRR W, S, T, X c W{T~(X|S)RR W, S, U, P c W{S~U{PRR W, S, U, T c W~S{U|TRR W, S, U, U c W~S{UURR W, S, U, V c W~S|U{VRR W, S, U, X c (W|S)~U{XRR W, S, V, P c W~(S{P)|VRR W, S, V, Q c (W{Q)~S|VRR W, S, V, R c W{S{V~RRR W, S, V, T c (W|S)~V{TRR W, S, V, U c W~S{V|URR W, S, V, V c W~S{VVRR W, S, V, W c W~S|V{WRR W, S, V, X c W~(V|S){XRR W, S, W, P c (W|S)~W{PRR W, S, W, Q c (W{QW)~SRR W, S, W, V c W{S~W|VRR W, S, W, W c W~S{WWRR W, S, W, X c W~S|W{XRR W, S, X, P c W~(S|P){XRR W, S, X, Q c (W{S)~Q{XRR W, S, X, R c (W|S)~X|RRR W, S, X, S c W{S~S{XRR W, S, X, T c W{(X|S)~TRR W, S, X, U c (W|S)~U{XRR W, S, X, V c W~(X|S)|VRR W, S, X, W c W~S{X|WRR W, S, X, X c W~S{XXRR W, T, O, T c W{(T{O)~TRR W, T, O, V c W~T{O|VRR W, T, P, P c W~(T|P){PRR W, T, P, Q c (W|P)~T|QRR W, T, P, S c W{T~(P{S)RR W, T, P, T c W{T~P~TRR W, T, P, U c (W~T)|(P{U)RR W, T, P, V c W~T|P~VRR W, T, P, W c W~T{P|WRR W, T, P, X c W~(X|T){PRR W, T, Q, P c (W|P)~T|QRR W, T, Q, R c (W{T|Q)~RRR W, T, Q, T c (W~T)|(Q{T)RR W, T, Q, U c (W|TQ)~URR W, T, Q, V c (W{T)~Q{VRR W, T, Q, X c (W|T)~(Q{X)RR W, T, R, Q c W{T~(R{Q)RR W, T, R, S c (W~T)|(R{S)RR W, T, R, U c (W{T)~R|URR W, T, R, W c (W|T)~(R{W)RR W, T, S, P c W{T~(S{P)RR W, T, S, R c (W~T)|(S{R)RR W, T, S, S c W~S{T|SRR W, T, S, T c W{T{S~TRR W, T, S, U c W~S|T{URR W, T, S, V c (W|T)~(S{V)RR W, T, S, X c W{T~(X|S)RR W, T, T, O c W{T~T{ORR W, T, T, P c W{T~T~PRR W, T, T, Q c (W~T)|(T{Q)RR W, T, T, S c W{T{T~SRR W, T, T, T c (WT{T)~TRR W, T, T, U c W|T{T~URR W, T, T, V c (W|VT)~TRR W, T, U, P c W{T~(U|P)RR W, T, U, Q c (W|TQ)~URR W, T, U, R c (W{T)~R|URR W, T, U, S c W~S|T{URR W, T, U, T c W{T~U|TRR W, T, U, U c T{U~U|WRR W, T, U, V c T~V|W{URR W, T, U, X c (W|T)~X{URR W, T, V, O c W~T|V{ORR W, T, V, P c W~T|V~PRR W, T, V, Q c W{T~(V|Q)RR W, T, V, S c (W|T)~(V{S)RR W, T, V, T c (W|VT)~TRR W, T, V, U c T~V|W{URR W, T, V, W c W~(T|VW)RR W, T, W, P c W~T|W{PRR W, T, W, R c W{T~(W|R)RR W, T, W, V c W~(T|VW)RR W, T, W, X c (W|T)~W{XRR W, T, X, P c W~(X|T){PRR W, T, X, Q c (W|T)~(X{Q)RR W, T, X, S c W{T~(X|S)RR W, T, X, U c (W|T)~X{URR W, T, X, W c (W|T)~W{XRR W, U, P, Q c W~(U|Q){PRR W, U, P, R c (W{P)~R{URR W, U, P, S c W{U~S{PRR W, U, P, T c W{(U|P)~TRR W, U, P, V c W~(U|P)|VRR W, U, P, X c (W|P)~U|XRR W, U, Q, P c W~(U|Q){PRR W, U, Q, R c (W{UQ)~RRR W, U, Q, T c (W{U)~Q{TRR W, U, Q, X c W~UQ{XRR W, U, R, P c (W{P)~R{URR W, U, R, Q c (W{UQ)~RRR W, U, R, R c (W{U|R)~RRR W, U, R, T c W~U|R~TRR W, U, R, V c W{U~R{VRR W, U, R, X c (W{U)~R|XRR W, U, S, P c W{U~S{PRR W, U, S, T c W~S{U|TRR W, U, S, U c W~S{UURR W, U, S, V c W~S|U{VRR W, U, S, X c (W|S)~U{XRR W, U, T, P c W{(U|P)~TRR W, U, T, Q c (W{U)~Q{TRR W, U, T, R c W~U|T~RRR W, U, T, S c W~S{U|TRR W, U, T, T c W{U~T|TRR W, U, T, U c U~U|W{TRR W, U, T, V c U{T~V|WRR W, U, T, X c (W|T)~X{URR W, U, U, S c W~S{UURR W, U, U, T c U~U|W{TRR W, U, U, X c (W~U)|(U{X)RR W, U, V, P c W~(U|P)|VRR W, U, V, R c W{U~R{VRR W, U, V, S c W~S|U{VRR W, U, V, T c U{V~T|WRR W, U, V, W c (W~U)|(V{W)RR W, U, W, V c (W~U)|(W{V)RR W, U, X, P c (W|P)~U|XRR W, U, X, Q c W~UQ{XRR W, U, X, R c (W|U{X)~RRR W, U, X, S c (W|S)~U{XRR W, U, X, T c (W|T)~X{URR W, U, X, U c (W~U)|(X{U)RR W, U, X, X c W~(X|U){XRR W, V, O, T c (W{O)~T|VRR W, V, P, R c W~(V|R){PRR W, V, P, S c W~(P{S)|VRR W, V, P, T c W~P~T|VRR W, V, P, U c W~(U|P)|VRR W, V, Q, R c (W{V)~Q{RRR W, V, Q, S c (W{Q)~S|VRR W, V, Q, T c W{(V|Q)~TRR W, V, Q, V c W~(V|Q)|VRR W, V, Q, X c W{V{Q~XRR W, V, R, P c W~(V|R){PRR W, V, R, Q c (W{V)~Q{RRR W, V, R, S c W{V~R{SRR W, V, R, U c W{V{R~URR W, V, R, W c (W|R)~W|VRR W, V, S, P c W~(S{P)|VRR W, V, S, Q c (W{Q)~S|VRR W, V, S, R c (W{V|S)~RRR W, V, S, T c (W|S)~V{TRR W, V, S, U c W~S{V|URR W, V, S, V c W~S{VVRR W, V, S, W c W|V{S~WRR W, V, S, X c W~(V|S){XRR W, V, T, O c W~T|V{ORR W, V, T, P c W~T|V~PRR W, V, T, Q c W{(V|Q)~TRR W, V, T, S c (W|T)~(V{S)RR W, V, T, T c (W|VT)~TRR W, V, T, U c V~T|W{URR W, V, T, W c W~(T|VW)RR W, V, U, P c W~(U|P)|VRR W, V, U, R c W{V{U~RRR W, V, U, S c W~S{V|URR W, V, U, T c V~T|W{URR W, V, U, W c (W~U)|(V{W)RR W, V, V, Q c W~(V|Q)|VRR W, V, V, S c W~S{VVRR W, V, V, W c (V~V)|(W{W)RR W, V, W, R c W~(W|R)|VRR W, V, W, S c W|V{W~SRR W, V, W, T c W~(T|VW)RR W, V, W, U c (W~U)|(V{W)RR W, V, W, V c (V~V)|(W{W)RR W, V, X, Q c W{V{X~QRR W, V, X, S c W~(V|S){XRR W, V, X, X c W{V{X{XRR W, W, P, Q c (W{W)~Q{PRR W, W, P, R c W{W~R{PRR W, W, P, S c W~(W|S){PRR W, W, P, T c W~T|W{PRR W, W, Q, P c (W{W)~Q{PRR W, W, Q, Q c (W~W{Q)QRR W, W, Q, S c (W{QW)~SRR W, W, Q, X c W{W~Q{XRR W, W, R, P c W{W~R{PRR W, W, R, T c W{(W|R)~TRR W, W, R, V c W~(W|R)|VRR W, W, R, X c W~(R{XW)RR W, W, S, P c W~(W|S){PRR W, W, S, Q c (W{QW)~SRR W, W, S, V c W{W~S|VRR W, W, S, W c WW{S~WRR W, W, S, X c W~S|W{XRR W, W, T, P c W~T|W{PRR W, W, T, R c (W{W|T)~RRR W, W, T, V c W~(T|VW)RR W, W, T, X c W~(W|T){XRR W, W, U, V c (W~U)|(W{V)RR W, W, V, R c W~(W|R)|VRR W, W, V, S c W{W~S|VRR W, W, V, T c W~(T|VW)RR W, W, V, U c (W~U)|(W{V)RR W, W, V, V c (V~V)|(W{W)RR W, W, W, S c WW{W~SRR W, W, W, X c W{W{W{XRR W, W, X, Q c W{W~Q{XRR W, W, X, R c W~(XW{R)RR W, W, X, S c W~S|W{XRR W, W, X, T c W~(W|T){XRR W, W, X, W c W{W{X{WRR W, X, O, R c (W{O)~R{XRR W, X, P, Q c (W{X)~Q|PRR W, X, P, R c W~P~R{XRR W, X, P, S c W~(S|P){XRR W, X, P, T c W~(X|T){PRR W, X, P, U c (W|P)~U|XRR W, X, Q, P c (W{X)~Q|PRR W, X, Q, R c W~XQ|RRR W, X, Q, S c (W|Q)~S{XRR W, X, Q, T c (W|T)~(X{Q)RR W, X, Q, U c (W~X|U)QRR W, X, Q, V c W{X~Q{VRR W, X, Q, W c W{X{Q~WRR W, X, R, O c W~R{X{ORR W, X, R, P c W~R{X~PRR W, X, R, Q c W{X~R|QRR W, X, R, R c (W{XR)~RRR W, X, R, S c (W|S)~X|RRR W, X, R, U c (W{X|U)~RRR W, X, R, W c W~(XW{R)RR W, X, R, X c W~XR{XRR W, X, S, P c W~(S|P){XRR W, X, S, Q c (W{S)~Q{XRR W, X, S, R c (W|S)~X|RRR W, X, S, S c W{X{S~SRR W, X, S, T c W{(X|S)~TRR W, X, S, U c (W|S)~U{XRR W, X, S, V c W~(X|S)|VRR W, X, S, W c W~S{X|WRR W, X, S, X c W~S{XXRR W, X, T, P c W~(X|T){PRR W, X, T, Q c (W|T)~(X{Q)RR W, X, T, S c W{(X|S)~TRR W, X, T, U c (W|T)~X{URR W, X, T, W c (W|T)~W{XRR W, X, U, P c (W|P)~U|XRR W, X, U, Q c (W~X|U)QRR W, X, U, R c (W{X|U)~RRR W, X, U, S c (W|S)~U{XRR W, X, U, T c (W|T)~X{URR W, X, U, U c (W~U)|(X{U)RR W, X, U, X c W~(X|U){XRR W, X, V, Q c W{X~Q{VRR W, X, V, S c W~(X|S)|VRR W, X, V, X c W{X{V{XRR W, X, W, Q c W{X{W~QRR W, X, W, R c W~(XW{R)RR W, X, W, S c W~S{X|WRR W, X, W, T c W~(W|T){XRR W, X, W, W c W{X{W{WRR W, X, X, R c W~XR{XRR W, X, X, S c W~S{XXRR W, X, X, U c W~(X|U){XRR W, X, X, V c W{X{X{VRR X, O, Q, R c (X{O{Q)~RRR X, O, R, Q c (X{O{Q)~RRR X, O, R, S c (X{O)~S|RRR X, O, R, U c (X{O)~R{URR X, O, R, W c X{O{R~WRR X, O, S, R c (X{O)~S|RRR X, O, S, U c X{O{S~URR X, O, U, R c (X{O)~R{URR X, O, U, S c X{O{U~SRR X, O, U, V c O{U~V|XRR X, O, V, U c O{V~U|XRR X, O, W, R c X{O{W~RRR X, P, P, R c (X{P{P)~RRR X, P, P, S c (X|P)~S{PRR X, P, Q, Q c (X{Q)~(P{Q)RR X, P, Q, R c (X{P~Q)~RRR X, P, Q, S c (X{Q)~(S|P)RR X, P, Q, U c X~(P{Q){URR X, P, Q, V c (X{V)~Q{PRR X, P, Q, W c X{(P{Q)~WRR X, P, R, P c (X{P{P)~RRR X, P, R, Q c (X{P~Q)~RRR X, P, R, R c (X{P)~R{RRR X, P, R, S c X~P~S|RRR X, P, R, T c X~R{P{TRR X, P, R, U c X{(P{R)~URR X, P, R, V c X{(P{V)~RRR X, P, R, W c X{P~R~WRR X, P, R, X c (X|P)~R{XRR X, P, S, P c (X|P)~S{PRR X, P, S, Q c (X~S)|(P{Q)RR X, P, S, R c X~P~S|RRR X, P, S, S c X~S{P|SRR X, P, S, T c X{(P{T)~SRR X, P, S, U c X{P~S~URR X, P, S, V c (X{P)~S|VRR X, P, S, W c X{(S|P)~WRR X, P, T, R c X~(T|P)|RRR X, P, T, S c X{(P{T)~SRR X, P, T, T c X|P{T~TRR X, P, T, U c X{(T|P)~URR X, P, T, V c (X|P)~T|VRR X, P, T, W c (X|T)~W{PRR X, P, U, Q c X~(P{Q){URR X, P, U, R c X{(P{R)~URR X, P, U, S c X{P~U~SRR X, P, U, T c X{U~(T|P)RR X, P, U, U c (P{U)~U|XRR X, P, U, V c P~U~V|XRR X, P, U, W c U~(W|P)|XRR X, P, V, Q c (X{V)~Q{PRR X, P, V, R c X{(P{V)~RRR X, P, V, S c (X{P)~S|VRR X, P, V, T c (X|P)~T|VRR X, P, V, U c P~V~U|XRR X, P, V, V c (V|P)~V|XRR X, P, W, Q c X{(P{Q)~WRR X, P, W, R c X{P~W~RRR X, P, W, S c X{W~(S|P)RR X, P, W, T c (X|T)~W{PRR X, P, W, U c (W|P)~U|XRR X, P, X, R c (X|P)~R{XRR X, Q, O, R c (X{Q{O)~RRR X, Q, P, Q c (X{Q)~(P{Q)RR X, Q, P, R c (X{Q)~(P~R)RR X, Q, P, S c (X{Q)~(S|P)RR X, Q, P, U c X~(Q{P){URR X, Q, P, V c (X{V)~Q{PRR X, Q, P, W c X{(Q{P)~WRR X, Q, Q, P c (X{Q)~(Q{P)RR X, Q, Q, R c X~(Q{Q)|RRR X, Q, Q, T c (X{Q)~(T|Q)RR X, Q, Q, U c X{(Q{Q)~URR X, Q, R, O c (X{Q)~(R{O)RR X, Q, R, P c (X{Q)~(R~P)RR X, Q, R, Q c X~(Q{Q)|RRR X, Q, R, R c X~(QR{R)RR X, Q, R, S c X{Q~R~SRR X, Q, R, T c X~Q{R~TRR X, Q, R, U c X{(Q{U)~RRR X, Q, R, V c (X~Q|V)~RRR X, Q, R, W c XQ~W|RRR X, Q, R, X c X{Q~(R{X)RR X, Q, S, P c (X{Q)~(S|P)RR X, Q, S, R c X{Q~S~RRR X, Q, S, S c X{(Q{S)~SRR X, Q, S, T c (X|Q)~S{TRR X, Q, S, U c X~(S|QU)RR X, Q, S, V c (X{Q)~(V|S)RR X, Q, S, W c X{Q~(S{W)RR X, Q, T, Q c (X{Q)~(T|Q)RR X, Q, T, R c X~Q{T~RRR X, Q, T, S c (X|Q)~S{TRR X, Q, T, T c (X{T)~Q{TRR X, Q, T, U c X~(T|Q){URR X, Q, T, V c X{Q~(T{V)RR X, Q, T, W c (X{Q)~(W|T)RR X, Q, U, P c X~(Q{P){URR X, Q, U, Q c X{Q~U~QRR X, Q, U, R c X{(Q{U)~RRR X, Q, U, S c X~(S|QU)RR X, Q, U, T c X~(T|Q){URR X, Q, U, U c X{Q~(U{U)RR X, Q, U, V c (X|VQ)~URR X, Q, U, W c X{UQ~WRR X, Q, U, X c (X|Q)~U|XRR X, Q, V, P c (X{V)~Q{PRR X, Q, V, R c (X~Q|V)~RRR X, Q, V, S c (X{Q)~(V|S)RR X, Q, V, T c X{Q~(V{T)RR X, Q, V, U c (X|VQ)~URR X, Q, V, W c X~Q{V{WRR X, Q, W, P c X{(Q{P)~WRR X, Q, W, R c XQ~W|RRR X, Q, W, S c X{Q~(W{S)RR X, Q, W, T c (X{Q)~(W|T)RR X, Q, W, U c X{WQ~URR X, Q, W, V c X~Q{W{VRR X, Q, W, W c X{Q~W{WRR X, Q, X, R c X{Q~(X{R)RR X, Q, X, U c X{Q~X{URR X, R, O, Q c (X{O{Q)~RRR X, R, O, S c (X{O)~S|RRR X, R, O, U c X~R{O{URR X, R, O, W c X{(R{O)~WRR X, R, P, P c (X{P{P)~RRR X, R, P, Q c (X{P~Q)~RRR X, R, P, R c (X{R|P)~RRR X, R, P, S c X~P~S|RRR X, R, P, T c X~R{P{TRR X, R, P, U c X{(R{P)~URR X, R, P, V c X{R~(P{V)RR X, R, P, W c X{R~P~WRR X, R, P, X c X{R~(X|P)RR X, R, Q, O c (X{Q)~(R{O)RR X, R, Q, P c (X{Q)~(R~P)RR X, R, Q, Q c X~(Q{Q)|RRR X, R, Q, R c X~R{Q~RRR X, R, Q, S c X{R~Q~SRR X, R, Q, T c X~Q{R~TRR X, R, Q, U c X{R~(Q{U)RR X, R, Q, V c (X~Q|V)~RRR X, R, Q, W c X~R|Q{WRR X, R, Q, X c (X{R)~Q{XRR X, R, R, P c (X{R|P)~RRR X, R, R, Q c X~R{R~QRR X, R, R, R c (X{R)~R|RRR X, R, R, S c X{(R{R)~SRR X, R, R, T c X{R~(R{T)RR X, R, R, U c (X|R)~U|RRR X, R, R, V c X{R{R~VRR X, R, R, W c (XR)~(R{W)RR X, R, R, X c X|R{R~XRR X, R, S, O c X~S|R{ORR X, R, S, P c X~S|R~PRR X, R, S, Q c X{R~S~QRR X, R, S, R c X{(R{R)~SRR X, R, S, S c X{R~(S{S)RR X, R, S, T c X~T|R~SRR X, R, S, U c X~(R{SU)RR X, R, S, V c (XR)~(S{V)RR X, R, S, W c (X{WS)~RRR X, R, S, X c (X|R)~S{XRR X, R, T, P c X~R{T{PRR X, R, T, Q c X~(TR{Q)RR X, R, T, R c X{(R{T)~RRR X, R, T, S c X~T|R~SRR X, R, T, U c XR{T~URR X, R, T, V c (X|T{V)~RRR X, R, T, X c X{R~T{XRR X, R, U, O c X~R{U{ORR X, R, U, P c X~R{U~PRR X, R, U, Q c X{R~(U{Q)RR X, R, U, R c (X|R)~U|RRR X, R, U, S c X~(R{SU)RR X, R, U, T c XR{U~TRR X, R, U, U c X{R~U{URR X, R, U, V c X~U|R~VRR X, R, U, W c X{(U|R)~WRR X, R, U, X c X~(R{UX)RR X, R, V, P c X{R~(V{P)RR X, R, V, Q c (X~V{R)QRR X, R, V, R c X{R{V~RRR X, R, V, S c (XR)~(V{S)RR X, R, V, T c (X{V|T)~RRR X, R, V, U c X{(V|R)~URR X, R, V, V c R~(V{V)|XRR X, R, V, X c (X|R)~V|XRR X, R, W, O c X{R~W{ORR X, R, W, P c X{R~W~PRR X, R, W, Q c X~R{W|QRR X, R, W, R c X~(R{W)RRR X, R, W, S c (X{WS)~RRR X, R, W, U c (X{W|U)~RRR X, R, W, W c (XW{R)~WRR X, R, W, X c XR~W{XRR X, R, X, P c X{R~(X|P)RR X, R, X, Q c X{(R{X)~QRR X, R, X, R c X{R~X|RRR X, R, X, S c (X|R)~S{XRR X, R, X, T c X{R~T{XRR X, R, X, U c XR~X{URR X, R, X, V c (X|R)~V|XRR X, R, X, W c XR~W{XRR X, S, O, R c X~S{O|RRR X, S, O, U c X{(S{O)~URR X, S, P, P c (X|P)~S{PRR X, S, P, Q c (X~S)|(P{Q)RR X, S, P, R c X~S|P~RRR X, S, P, S c X~S{P|SRR X, S, P, T c X{S~(P{T)RR X, S, P, U c X{S~P~URR X, S, P, V c X{S~(V|P)RR X, S, P, W c X{(S|P)~WRR X, S, Q, P c (X~S)|(Q{P)RR X, S, Q, R c (X{S|Q)~RRR X, S, Q, S c X{(S{Q)~SRR X, S, Q, T c X~S{Q|TRR X, S, Q, U c X~(S|QU)RR X, S, Q, V c (X{S)~Q{VRR X, S, Q, W c X{(S{W)~QRR X, S, R, O c X~S|R{ORR X, S, R, P c X~S|R~PRR X, S, R, Q c X{S~R~QRR X, S, R, R c X{S~(R{R)RR X, S, R, S c X{(S{S)~RRR X, S, R, T c X~T|S~RRR X, S, R, U c (X{S)~R|URR X, S, R, V c X~(S{V)RRR X, S, R, W c (X{WS)~RRR X, S, R, X c X~(S|RX)RR X, S, S, P c X~S|S{PRR X, S, S, Q c X{S~(S{Q)RR X, S, S, R c X{(S{S)~RRR X, S, S, T c X{S{S~TRR X, S, S, U c (XS{U)~SRR X, S, S, V c X|S{S~VRR X, S, S, W c X{S~S{WRR X, S, T, P c X{S~(T{P)RR X, S, T, Q c X~S|T{QRR X, S, T, R c X~T|S~RRR X, S, T, S c X{S{T~SRR X, S, T, W c (X|S)~T{WRR X, S, U, O c X{S~U{ORR X, S, U, P c X{S~U~PRR X, S, U, Q c X~S|UQRR X, S, U, R c (X|S{U)~RRR X, S, U, S c (XS{U)~SRR X, S, U, U c (XU{S)~URR X, S, U, V c (X|U)~(S{V)RR X, S, U, W c X{U~(W|S)RR X, S, U, X c X~S{U|XRR X, S, V, P c X{S~(V|P)RR X, S, V, Q c (X|S)~V|QRR X, S, V, R c X~(S{V)RRR X, S, V, S c X{S~V|SRR X, S, V, U c X~(V|S){URR X, S, V, W c (X|S)~W|VRR X, S, W, P c X{(S|P)~WRR X, S, W, Q c X{(S{W)~QRR X, S, W, R c (X{WS)~RRR X, S, W, S c X{S~S{WRR X, S, W, T c X~S|W{TRR X, S, W, U c X{(W|S)~URR X, S, W, V c (X|S)~W|VRR X, S, W, W c X{S~W|WRR X, S, W, X c XX{S~WRR X, S, X, R c X{S~(X|R)RR X, S, X, U c X~S|X{URR X, S, X, W c XX{S~WRR X, T, P, R c X~(T|P)|RRR X, T, P, S c X{(T{P)~SRR X, T, P, T c X{T~T|PRR X, T, P, U c X{(T|P)~URR X, T, P, V c (X|P)~T|VRR X, T, P, W c (X|T)~W{PRR X, T, Q, Q c (X{Q)~(T|Q)RR X, T, Q, R c X~(TR{Q)RR X, T, Q, S c (X|Q)~S{TRR X, T, Q, T c (X{T)~Q{TRR X, T, Q, U c X~(T|Q){URR X, T, Q, V c X{(T{V)~QRR X, T, Q, W c X{(T|Q)~WRR X, T, R, P c X~(T|P)|RRR X, T, R, Q c X~(TR{Q)RR X, T, R, R c X{(T{R)~RRR X, T, R, S c X~T|R~SRR X, T, R, U c X~(T{U)RRR X, T, R, V c (X|T{V)~RRR X, T, R, X c X{T~R{XRR X, T, S, P c X{(T{P)~SRR X, T, S, Q c X~S|T{QRR X, T, S, R c X~T|S~RRR X, T, S, S c X{T~S{SRR X, T, S, W c (X~T)|(S{W)RR X, T, T, P c X{T~T|PRR X, T, T, Q c (X{T)~Q{TRR X, T, T, V c (X~T)|(T{V)RR X, T, U, P c X{(T|P)~URR X, T, U, Q c X~T|U~QRR X, T, U, R c X~(T{U)RRR X, T, U, U c X{T~U|URR X, T, U, V c X~V|T~URR X, T, U, W c X~(T|WU)RR X, T, U, X c (X|T)~U{XRR X, T, V, P c (X|P)~T|VRR X, T, V, Q c X{(T{V)~QRR X, T, V, R c (X|T{V)~RRR X, T, V, T c (X|T)~V{TRR X, T, V, U c X~V|T~URR X, T, V, V c T~V|X{VRR X, T, W, P c (X|T)~W{PRR X, T, W, Q c X{(T|Q)~WRR X, T, W, S c (X~T)|(W{S)RR X, T, W, U c X~(T|WU)RR X, T, W, W c X{(W|T)~WRR X, T, X, R c (X|T)~X|RRR X, T, X, U c (X|T)~U{XRR X, U, O, R c (X{O)~R{URR X, U, O, S c X{(U{O)~SRR X, U, O, V c (U{O)~V|XRR X, U, P, Q c X~(P{Q){URR X, U, P, R c X{U~(P{R)RR X, U, P, S c X{U~P~SRR X, U, P, T c X{U~(T|P)RR X, U, P, U c (U{P)~U|XRR X, U, P, V c U~P~V|XRR X, U, P, W c U~(W|P)|XRR X, U, Q, P c X~(Q{P){URR X, U, Q, Q c X{U~(Q{Q)RR X, U, Q, R c X{(U{Q)~RRR X, U, Q, S c X~S|UQRR X, U, Q, T c X~T|U~QRR X, U, Q, U c X{(U|Q)~URR X, U, Q, V c (X|VQ)~URR X, U, Q, W c X{UQ~WRR X, U, Q, X c X{U{Q~XRR X, U, R, O c X~R{U{ORR X, U, R, P c X{U~(R{P)RR X, U, R, Q c X{(U{Q)~RRR X, U, R, R c (X{UR)~RRR X, U, R, S c (X{U|S)~RRR X, U, R, T c X~(U{T)RRR X, U, R, U c X{U{R~URR X, U, R, V c X~U|R~VRR X, U, R, W c X{(U|R)~WRR X, U, R, X c X~(UX{R)RR X, U, S, O c X{U~S{ORR X, U, S, P c X{U~S~PRR X, U, S, Q c X~S|UQRR X, U, S, R c (X{U|S)~RRR X, U, S, S c (XS{U)~SRR X, U, S, U c (XU{S)~URR X, U, S, V c (X|U)~(S{V)RR X, U, S, W c X{U~(W|S)RR X, U, S, X c X~S{U|XRR X, U, T, P c X{U~(T|P)RR X, U, T, Q c X~T|U~QRR X, U, T, R c X~(U{T)RRR X, U, T, U c X{U~T|URR X, U, T, V c X~V|U~TRR X, U, T, W c X~(T|WU)RR X, U, T, X c X{U~(X|T)RR X, U, U, P c U~(U{P)|XRR X, U, U, Q c X{(U{U)~QRR X, U, U, R c X{U{U~RRR X, U, U, S c (XU{S)~URR X, U, U, T c X|U{U~TRR X, U, U, U c U~U|X{URR X, U, U, V c U~(V|XU)RR X, U, U, W c (U~W)|(X{U)RR X, U, U, X c (X|U)~X{URR X, U, V, O c U~V|X{ORR X, U, V, P c U~V|X~PRR X, U, V, Q c (X|VQ)~URR X, U, V, R c X{U~(V|R)RR X, U, V, S c (X|U)~(V{S)RR X, U, V, T c X~V|U~TRR X, U, V, U c U~(V|XU)RR X, U, V, V c (U|XV)~VRR X, U, W, P c U~(W|P)|XRR X, U, W, Q c X{U~WQRR X, U, W, R c (X|U{W)~RRR X, U, W, S c X{U~(W|S)RR X, U, W, T c X~(W|T){URR X, U, W, U c (U~W)|(X{U)RR X, U, W, X c (X|U)~W{XRR X, U, X, Q c X{U{X~QRR X, U, X, R c X~(UX{R)RR X, U, X, S c X~S{U|XRR X, U, X, T c X{U~(X|T)RR X, U, X, U c (X|U)~X{URR X, U, X, W c (X|U)~W{XRR X, U, X, X c X{U{X{XRR X, V, O, U c (V{O)~U|XRR X, V, P, Q c (X{V)~Q{PRR X, V, P, R c X{(V{P)~RRR X, V, P, S c X{(V|P)~SRR X, V, P, T c (X|P)~T|VRR X, V, P, U c V~P~U|XRR X, V, P, V c (V|P)~V|XRR X, V, Q, P c (X{V)~Q{PRR X, V, Q, R c (X~V{R)QRR X, V, Q, S c (X{Q)~(V|S)RR X, V, Q, T c X{(V{T)~QRR X, V, Q, U c (X|VQ)~URR X, V, Q, W c X~Q{V{WRR X, V, R, P c X{(V{P)~RRR X, V, R, Q c (X~V{R)QRR X, V, R, R c X{V~R{RRR X, V, R, S c X~(V{S)RRR X, V, R, T c (X{V|T)~RRR X, V, R, U c X{(V|R)~URR X, V, R, V c (V{V)~R|XRR X, V, R, X c (X|V{X)~RRR X, V, S, P c X{(V|P)~SRR X, V, S, Q c (X|S)~V|QRR X, V, S, R c X~(V{S)RRR X, V, S, S c X{V~S|SRR X, V, S, U c X~(V|S){URR X, V, S, W c X{(V|S)~WRR X, V, T, P c (X|P)~T|VRR X, V, T, Q c X{(V{T)~QRR X, V, T, R c (X{V|T)~RRR X, V, T, T c (X|T)~V{TRR X, V, T, U c X~V|T~URR X, V, T, V c V~T|X{VRR X, V, U, O c V~U|X{ORR X, V, U, P c V~U|X~PRR X, V, U, Q c (X|VQ)~URR X, V, U, R c X{(V|R)~URR X, V, U, S c X~(V|S){URR X, V, U, T c X~V|U~TRR X, V, U, U c (V|XU)~URR X, V, U, V c V~(U|XV)RR X, V, V, P c V~(V|P)|XRR X, V, V, R c (V{V)~R|XRR X, V, V, T c V{V~T|XRR X, V, V, U c V~(U|XV)RR X, V, V, V c (V~V)|(X{V)RR X, V, W, Q c X~Q{V{WRR X, V, W, S c X{(V|S)~WRR X, V, W, X c X{V{W{XRR X, V, X, R c (X|V{X)~RRR X, V, X, W c X{V{X{WRR X, W, O, R c X{(W{O)~RRR X, W, P, Q c X{W~(P{Q)RR X, W, P, R c X{W~P~RRR X, W, P, S c X{W~(S|P)RR X, W, P, T c (X|T)~W{PRR X, W, P, U c (W|P)~U|XRR X, W, Q, P c X{W~(Q{P)RR X, W, Q, R c X~WQ|RRR X, W, Q, S c X{(W|Q)~SRR X, W, Q, T c X{W~(T|Q)RR X, W, Q, U c X{WQ~URR X, W, Q, V c X~Q{W{VRR X, W, Q, W c X{W{Q~WRR X, W, R, O c X{W~R{ORR X, W, R, P c X{W~R~PRR X, W, R, Q c X~WQ|RRR X, W, R, R c X~(W{R)RRR X, W, R, S c (X{WS)~RRR X, W, R, U c (X{W|U)~RRR X, W, R, W c (XW{R)~WRR X, W, R, X c X{WR~XRR X, W, S, P c X{W~(S|P)RR X, W, S, Q c X{(W{S)~QRR X, W, S, R c (X{WS)~RRR X, W, S, S c X{W{S~SRR X, W, S, T c X~S|W{TRR X, W, S, U c X{(W|S)~URR X, W, S, V c X{W~(V|S)RR X, W, S, W c X{W~S|WRR X, W, S, X c XX{W~SRR X, W, T, P c (X|T)~W{PRR X, W, T, Q c X{W~(T|Q)RR X, W, T, S c (X~T)|(W{S)RR X, W, T, U c X~(W|T){URR X, W, T, W c X{(W|T)~WRR X, W, U, P c (W|P)~U|XRR X, W, U, Q c X{W~UQRR X, W, U, R c (X{W|U)~RRR X, W, U, S c X{(W|S)~URR X, W, U, T c X~(W|T){URR X, W, U, U c (W~U)|(X{U)RR X, W, U, X c X{W~(X|U)RR X, W, V, Q c X~Q{W{VRR X, W, V, S c X{W~(V|S)RR X, W, V, X c X{W{V{XRR X, W, W, Q c X{W{W~QRR X, W, W, R c (XW{R)~WRR X, W, W, S c X|W{W~SRR X, W, W, T c X{W~(W|T)RR X, W, W, W c X{W{W{WRR X, W, X, R c X{W~XRRR X, W, X, S c XX{W~SRR X, W, X, U c X{W~(X|U)RR X, W, X, V c X{W{X{VRR X, X, P, R c X{(X|P)~RRR X, X, Q, R c (X{X)~Q|RRR X, X, Q, U c X{X~Q{URR X, X, R, P c X{(X|P)~RRR X, X, R, Q c X{(X{R)~QRR X, X, R, R c X{X~R|RRR X, X, R, S c X{(X|R)~SRR X, X, R, T c X{X{R~TRR X, X, R, U c X~XR{URR X, X, R, V c (X{X|V)~RRR X, X, R, W c X{XR~WRR X, X, S, R c X{(X|R)~SRR X, X, S, U c X~S|X{URR X, X, S, W c XX{S~WRR X, X, T, R c X{X{T~RRR X, X, T, U c X{(X|T)~URR X, X, U, Q c X{X~Q{URR X, X, U, R c X~XR{URR X, X, U, S c X~S|X{URR X, X, U, T c X{(X|T)~URR X, X, U, U c X~(X|U){URR X, X, U, W c X{(X|U)~WRR X, X, U, X c X{X{U{XRR X, X, V, R c (X{X|V)~RRR X, X, V, W c X{X{V{WRR X, X, W, R c X{X~WRRR X, X, W, S c XX{W~SRR X, X, W, U c X~X|W~URR X, X, W, V c X{X{W{VRR X, X, X, U c X{X{X{URR