O, O, W, W c O{O{W~WUS O, P, V, W c (O{P{V)~WUS O, P, V, X c O{P{V~XUS O, P, W, V c (O{P{V)~WUS O, P, W, W c O{P~W~WUS O, P, W, X c (O{W)~(X|P)US O, P, X, V c O{P{X~VUS O, P, X, W c (O{X|P)~WUS O, Q, S, W c O{Q~S~WUS O, Q, U, W c (O{Q{U)~WUS O, Q, W, S c O{Q~W~SUS O, Q, W, U c (O{Q{U)~WUS O, Q, W, W c O~Q{W~WUS O, R, T, W c (O{R{T)~WUS O, R, W, T c (O{R{T)~WUS O, R, W, W c O~R{W~WUS O, S, Q, W c O{S~Q~WUS O, S, S, S c O{S~S~SUS O, S, S, W c (O{S{S)~WUS O, S, V, X c (O{S)~(V{X)US O, S, W, Q c O{S~W~QUS O, S, W, S c (O{S{S)~WUS O, S, W, W c (O{S)~(W{W)US O, S, X, V c (O{S)~(X{V)US O, T, R, W c (O{T{R)~WUS O, T, W, R c (O{T{R)~WUS O, T, W, W c O~T{W~WUS O, U, Q, W c (O{U{Q)~WUS O, U, W, Q c (O{U{Q)~WUS O, U, W, W c O~U{W~WUS O, V, P, W c (O{V{P)~WUS O, V, P, X c O{V~X{PUS O, V, S, X c (O{V{X)~SUS O, V, W, P c (O{V{P)~WUS O, V, W, W c O{V~W{WUS O, V, X, P c O{V~X{PUS O, V, X, S c (O{V{X)~SUS O, W, O, W c (O{W{O)~WUS O, W, P, V c (O{W)~(P{V)US O, W, P, W c O{W~P~WUS O, W, P, X c (O{W)~(X|P)US O, W, Q, S c O{W~Q~SUS O, W, Q, U c (O{W)~(Q{U)US O, W, Q, W c O~Q{W~WUS O, W, R, T c (O{W)~(R{T)US O, W, R, W c O~R{W~WUS O, W, S, Q c O{W~S~QUS O, W, S, S c (O{W)~(S{S)US O, W, S, W c (O{W{W)~SUS O, W, T, R c (O{W)~(T{R)US O, W, T, W c O~T{W~WUS O, W, U, Q c (O{W)~(U{Q)US O, W, U, W c O~U{W~WUS O, W, V, P c (O{W)~(V{P)US O, W, V, W c O{W{V~WUS O, W, W, O c O{W~W{OUS O, W, W, P c O{W~W~PUS O, W, W, Q c O~Q{W~WUS O, W, W, R c O~R{W~WUS O, W, W, S c (O{W{W)~SUS O, W, W, T c O~T{W~WUS O, W, W, U c O~U{W~WUS O, W, W, V c O{W{W~VUS O, W, W, W c O~W{W~WUS O, W, W, X c O{W~X|WUS O, W, X, P c (O{W)~(X|P)US O, W, X, W c O{W~X|WUS O, X, P, V c O{X~V{PUS O, X, P, W c (O{X|P)~WUS O, X, S, V c (O{X{V)~SUS O, X, V, P c O{X~V{PUS O, X, V, S c (O{X{V)~SUS O, X, W, P c (O{X|P)~WUS O, X, W, W c O{X~W|WUS P, O, V, W c (P{O{V)~WUS P, O, V, X c P{O{V~XUS P, O, W, V c (P{O{V)~WUS P, O, W, W c (P{O)~(W~W)US P, O, W, X c (O{W)~(X|P)US P, O, X, V c P{O{X~VUS P, O, X, W c (O{X|P)~WUS P, P, S, W c (P{P)~(S~W)US P, P, U, W c (P{P{U)~WUS P, P, U, X c P{(P{U)~XUS P, P, V, V c (P{V)~(P{V)US P, P, V, W c (P{P~V)~WUS P, P, V, X c P{P~V~XUS P, P, W, S c (P{P)~(W~S)US P, P, W, U c (P{P{U)~WUS P, P, W, V c P{(P{W)~VUS P, P, W, W c P|P{W~WUS P, P, W, X c P{(W|P)~XUS P, P, X, U c P{(P{U)~XUS P, P, X, V c P{P~X~VUS P, P, X, W c (P~X|P)~WUS P, P, X, X c (X|P)~(X|P)US P, Q, R, W c (P{R)~(Q~W)US P, Q, S, V c (P{V)~(Q~S)US P, Q, S, W c P~Q~S~WUS P, Q, S, X c (Q~S)~(X|P)US P, Q, T, W c (P{Q{T)~WUS P, Q, T, X c P{(Q{T)~XUS P, Q, U, V c (P{V)~(Q{U)US P, Q, U, W c (P~Q{U)~WUS P, Q, U, X c (Q{U)~(X|P)US P, Q, V, S c (P{V)~(Q~S)US P, Q, V, U c (P{V)~(Q{U)US P, Q, V, V c P{(Q{V)~VUS P, Q, V, W c (Q|P{V)~WUS P, Q, V, X c Q|P{V~XUS P, Q, W, R c (P{R)~(Q~W)US P, Q, W, S c P~Q~W~SUS P, Q, W, T c (P{Q{T)~WUS P, Q, W, U c (P~Q{U)~WUS P, Q, W, V c (Q|P{V)~WUS P, Q, W, W c (Q|P)~(W~W)US P, Q, W, X c (P{X|Q)~WUS P, Q, X, S c Q~(X|P)~SUS P, Q, X, T c P{(Q{T)~XUS P, Q, X, U c (Q{U)~(X|P)US P, Q, X, V c Q|P{X~VUS P, Q, X, W c (P{X|Q)~WUS P, Q, X, X c P{(X|Q)~XUS P, R, Q, W c (P{R)~(Q~W)US P, R, R, V c P{R~R~VUS P, R, R, W c (R~R|P)~WUS P, R, S, S c (P{R)~(S~S)US P, R, S, T c (P{R~T)~SUS P, R, S, W c (P{R{S)~WUS P, R, S, X c P{(R{S)~XUS P, R, T, S c (P{R~T)~SUS P, R, T, V c (P{V)~(R{T)US P, R, T, W c (P~R{T)~WUS P, R, T, X c (R{T)~(X|P)US P, R, U, V c P{(R{U)~VUS P, R, U, W c (R|P{U)~WUS P, R, V, R c P{R~V~RUS P, R, V, T c (P{V)~(R{T)US P, R, V, U c P{(R{U)~VUS P, R, V, X c (P{R)~(V{X)US P, R, W, Q c (P{R)~(W~Q)US P, R, W, R c (R~R|P)~WUS P, R, W, S c (P{R{S)~WUS P, R, W, T c (P~R{T)~WUS P, R, W, U c (R|P{U)~WUS P, R, W, W c (P{R)~(W{W)US P, R, X, S c P{(R{S)~XUS P, R, X, T c (R{T)~(X|P)US P, R, X, V c (P{R)~(X{V)US P, S, P, W c (P{P)~(S~W)US P, S, Q, V c (P{V)~(S~Q)US P, S, Q, W c P~S~Q~WUS P, S, Q, X c (S~Q)~(X|P)US P, S, R, S c (P{R)~(S~S)US P, S, R, T c (P{R~T)~SUS P, S, R, W c (P{S{R)~WUS P, S, R, X c P{(S{R)~XUS P, S, S, R c (P{R)~(S~S)US P, S, S, S c P~S~S~SUS P, S, S, T c (S~S)~(T|P)US P, S, S, V c (P{V)~(S{S)US P, S, S, W c (P~S{S)~WUS P, S, S, X c (S{S)~(X|P)US P, S, T, R c (P{T~R)~SUS P, S, T, S c S~(T|P)~SUS P, S, T, V c P{(S{T)~VUS P, S, T, W c (S|P{T)~WUS P, S, T, X c (S{X)~T|PUS P, S, U, X c (P{U{X)~SUS P, S, V, Q c (P{V)~(S~Q)US P, S, V, S c (P{V)~(S{S)US P, S, V, T c P{(S{T)~VUS P, S, V, W c (P{V{W)~SUS P, S, V, X c (P~S)~(V{X)US P, S, W, P c (P{P)~(S~W)US P, S, W, Q c P~S~W~QUS P, S, W, R c (P{S{R)~WUS P, S, W, S c (P~S{S)~WUS P, S, W, T c (S|P{T)~WUS P, S, W, V c (P{W{V)~SUS P, S, W, W c (P~S)~(W{W)US P, S, W, X c S~(W|P{X)US P, S, X, Q c S~(X|P)~QUS P, S, X, R c P{(S{R)~XUS P, S, X, S c (S{S)~(X|P)US P, S, X, T c (S{X)~T|PUS P, S, X, U c (P{X{U)~SUS P, S, X, V c (P~S)~(X{V)US P, S, X, W c S~(X|P{W)US P, T, Q, W c (P{T{Q)~WUS P, T, Q, X c P{(T{Q)~XUS P, T, R, S c (P{T~R)~SUS P, T, R, V c (P{V)~(T{R)US P, T, R, W c (P~T{R)~WUS P, T, R, X c (T{R)~(X|P)US P, T, S, R c (P{T~R)~SUS P, T, S, S c (T|P)~(S~S)US P, T, S, V c P{(T{S)~VUS P, T, S, W c (T|P{S)~WUS P, T, S, X c T~(S{X)|PUS P, T, T, W c T~(T{W)|PUS P, T, U, V c T~(U{V)|PUS P, T, V, R c (P{V)~(T{R)US P, T, V, S c P{(T{S)~VUS P, T, V, U c T~(V{U)|PUS P, T, V, X c (T|P)~(V{X)US P, T, W, Q c (P{T{Q)~WUS P, T, W, R c (P~T{R)~WUS P, T, W, S c (T|P{S)~WUS P, T, W, T c (T{W)~T|PUS P, T, W, W c (T|P)~(W{W)US P, T, X, Q c P{(T{Q)~XUS P, T, X, R c (T{R)~(X|P)US P, T, X, S c T~(X{S)|PUS P, T, X, V c (T|P)~(X{V)US P, U, P, W c (P{U{P)~WUS P, U, P, X c P{(U{P)~XUS P, U, Q, V c (P{V)~(U{Q)US P, U, Q, W c (P~U{Q)~WUS P, U, Q, X c (U{Q)~(X|P)US P, U, R, V c P{(U{R)~VUS P, U, R, W c (U|P{R)~WUS P, U, S, X c (P{U{X)~SUS P, U, T, V c (U{V)~T|PUS P, U, V, Q c (P{V)~(U{Q)US P, U, V, R c P{(U{R)~VUS P, U, V, T c (U{V)~T|PUS P, U, V, X c (P{X)~V|UUS P, U, W, P c (P{U{P)~WUS P, U, W, Q c (P~U{Q)~WUS P, U, W, R c (U|P{R)~WUS P, U, W, W c (P{U)~W{WUS P, U, X, P c (P{U)~X{PUS P, U, X, Q c (U{Q)~(X|P)US P, U, X, S c (P{U{X)~SUS P, U, X, V c (P{X)~V|UUS P, U, X, X c P{U~X{XUS P, V, O, W c (P{V{O)~WUS P, V, O, X c P{(V{O)~XUS P, V, P, V c (P{V)~(P{V)US P, V, P, W c P{V~(P{W)US P, V, P, X c P{V~P~XUS P, V, Q, S c (P{V)~(Q~S)US P, V, Q, U c (P{V)~(Q{U)US P, V, Q, V c P{(V{Q)~VUS P, V, Q, W c (V|P{Q)~WUS P, V, Q, X c V~X|P{QUS P, V, R, R c P{V~R~RUS P, V, R, T c (P{V)~(R{T)US P, V, R, U c P{V~(R{U)US P, V, R, X c (P{R)~(V{X)US P, V, S, Q c (P{V)~(S~Q)US P, V, S, S c (P{V)~(S{S)US P, V, S, T c P{V~(S{T)US P, V, S, W c (P{V{W)~SUS P, V, S, X c (P~V{X)~SUS P, V, T, R c (P{V)~(T{R)US P, V, T, S c P{V~(T{S)US P, V, T, U c (V{U)~T|PUS P, V, T, X c (V{X)~(T|P)US P, V, U, Q c (P{V)~(U{Q)US P, V, U, R c P{V~(U{R)US P, V, U, T c (V{U)~T|PUS P, V, U, X c (P{X)~V|UUS P, V, V, P c (P{V)~(V{P)US P, V, V, Q c P{V~(V{Q)US P, V, V, W c P{V{V~WUS P, V, V, X c (PV{X)~VUS P, V, W, O c (P{V)~(W{O)US P, V, W, P c P{V~(W{P)US P, V, W, Q c (V|P{Q)~WUS P, V, W, S c (P{V{W)~SUS P, V, W, V c P{V{W~VUS P, V, W, W c P~V~W{WUS P, V, W, X c (P{V)~X|WUS P, V, X, O c P{V~X{OUS P, V, X, P c (P{V)~(X|P)US P, V, X, Q c V~X|P{QUS P, V, X, R c (P{R)~(V{X)US P, V, X, S c (P~V{X)~SUS P, V, X, T c (V{X)~(T|P)US P, V, X, U c (P{X)~V|UUS P, V, X, V c (PV{X)~VUS P, V, X, W c (P{V)~X|WUS P, V, X, X c (PX{V)~XUS P, W, O, V c (P{O{V)~WUS P, W, O, W c (P~W{O)~WUS P, W, O, X c (W{O)~(X|P)US P, W, P, S c (P{P)~(W~S)US P, W, P, U c (P{P{U)~WUS P, W, P, V c P{(W{P)~VUS P, W, P, W c (P{W|P)~WUS P, W, P, X c P{(W|P)~XUS P, W, Q, R c (P{R)~(W~Q)US P, W, Q, S c P~W~Q~SUS P, W, Q, T c (P{Q{T)~WUS P, W, Q, U c (P~W)~(Q{U)US P, W, Q, V c W~(Q|P{V)US P, W, Q, W c W~(Q|P)~WUS P, W, Q, X c (P{X|Q)~WUS P, W, R, Q c (P{R)~(W~Q)US P, W, R, R c W~(R~R|P)US P, W, R, S c (P{R{S)~WUS P, W, R, T c (P~W)~(R{T)US P, W, R, U c W~(R|P{U)US P, W, R, W c (P{R)~(W{W)US P, W, S, P c (P{P)~(W~S)US P, W, S, Q c P~W~S~QUS P, W, S, R c (P{S{R)~WUS P, W, S, S c (P~W)~(S{S)US P, W, S, T c W~(S|P{T)US P, W, S, V c (P{W{V)~SUS P, W, S, W c (P~W{W)~SUS P, W, S, X c (W|P{X)~SUS P, W, T, Q c (P{T{Q)~WUS P, W, T, R c (P~W)~(T{R)US P, W, T, S c W~(T|P{S)US P, W, T, T c (W{T)~T|PUS P, W, T, W c (W{W)~(T|P)US P, W, U, P c (P{U{P)~WUS P, W, U, Q c (P~W)~(U{Q)US P, W, U, R c W~(U|P{R)US P, W, U, W c (P{U)~W{WUS P, W, V, O c (P{V)~(W{O)US P, W, V, P c (P{W)~V{PUS P, W, V, Q c W~(V|P{Q)US P, W, V, S c (P{W{V)~SUS P, W, V, V c P{W~V{VUS P, W, V, W c P~W{V~WUS P, W, V, X c (P{V)~X|WUS P, W, W, O c P~W~W{OUS P, W, W, P c P{W~W|PUS P, W, W, Q c (W~W)~(Q|P)US P, W, W, R c (P{R)~(W{W)US P, W, W, S c (P~W{W)~SUS P, W, W, T c (W{W)~(T|P)US P, W, W, U c (P{U)~W{WUS P, W, W, V c P~W{W~VUS P, W, W, W c (P{W)~W|WUS P, W, W, X c P~W~X|WUS P, W, X, O c W~(X|P){OUS P, W, X, P c (P~W)~(X|P)US P, W, X, Q c (P{X|Q)~WUS P, W, X, S c (W|P{X)~SUS P, W, X, V c (P{V)~X|WUS P, W, X, W c P~W~X|WUS P, W, X, X c P{W~X|XUS P, X, O, V c P{(X{O)~VUS P, X, O, W c (X|P{O)~WUS P, X, P, U c P{X~(P{U)US P, X, P, V c P{X~P~VUS P, X, P, W c (P~X|P)~WUS P, X, P, X c (X|P)~(X|P)US P, X, Q, S c (X|P)~(Q~S)US P, X, Q, T c P{X~(Q{T)US P, X, Q, U c (X|P)~(Q{U)US P, X, Q, V c X~V|P{QUS P, X, Q, W c (P{X|Q)~WUS P, X, Q, X c P{(X|Q)~XUS P, X, R, S c P{X~(R{S)US P, X, R, T c (X|P)~(R{T)US P, X, R, V c (P{R)~(X{V)US P, X, S, Q c (X|P)~(S~Q)US P, X, S, R c P{X~(S{R)US P, X, S, S c (X|P)~(S{S)US P, X, S, T c (X{S)~T|PUS P, X, S, U c (P{X{U)~SUS P, X, S, V c (P~X{V)~SUS P, X, S, W c (X|P{W)~SUS P, X, T, Q c P{X~(T{Q)US P, X, T, R c (X|P)~(T{R)US P, X, T, S c (X{S)~T|PUS P, X, T, V c (X{V)~(T|P)US P, X, U, P c P{X~(U{P)US P, X, U, Q c (X|P)~(U{Q)US P, X, U, S c (P{X{U)~SUS P, X, U, V c (P{X)~V|UUS P, X, U, X c P{X{U~XUS P, X, V, O c P{X~V{OUS P, X, V, P c P{X~V~PUS P, X, V, Q c X~V|P{QUS P, X, V, R c (P{R)~(X{V)US P, X, V, S c (P~X{V)~SUS P, X, V, T c (X{V)~(T|P)US P, X, V, U c (P{X)~V|UUS P, X, V, V c (PV{X)~VUS P, X, V, W c (P{V)~X|WUS P, X, V, X c (PX{V)~XUS P, X, W, O c (X|P)~(W{O)US P, X, W, P c P{X~(W|P)US P, X, W, Q c (P{X|Q)~WUS P, X, W, S c (X|P{W)~SUS P, X, W, V c (P{V)~X|WUS P, X, W, W c P~X~W|WUS P, X, W, X c P{X~W|XUS P, X, X, P c (X|P)~(X|P)US P, X, X, Q c P{X~(X|Q)US P, X, X, U c P{X{X~UUS P, X, X, V c (PX{V)~XUS P, X, X, W c P{X~W|XUS Q, O, S, W c (Q{O)~(S~W)US Q, O, U, W c (Q{O{U)~WUS Q, O, W, S c (Q{O)~(W~S)US Q, O, W, U c (Q{O{U)~WUS Q, O, W, W c Q~O{W~WUS Q, P, R, W c Q~(P{R)~WUS Q, P, S, V c Q~(P{V)~SUS Q, P, S, W c Q~P~S~WUS Q, P, S, X c (Q~S)~(X|P)US Q, P, T, W c (Q{P{T)~WUS Q, P, T, X c (Q{T)~X{PUS Q, P, U, V c (Q{U)~(P{V)US Q, P, U, W c (Q{P~U)~WUS Q, P, U, X c (Q{U)~(X|P)US Q, P, V, S c Q~(P{V)~SUS Q, P, V, U c (Q{U)~(P{V)US Q, P, V, V c (Q{V)~V{PUS Q, P, V, W c (Q|P{V)~WUS Q, P, V, X c Q|P{V~XUS Q, P, W, R c Q~(P{R)~WUS Q, P, W, S c Q~P~W~SUS Q, P, W, T c (Q{P{T)~WUS Q, P, W, U c (Q{P~U)~WUS Q, P, W, V c (Q|P{V)~WUS Q, P, W, W c (Q|P)~(W~W)US Q, P, W, X c (P{X|Q)~WUS Q, P, X, S c Q~(X|P)~SUS Q, P, X, T c (Q{T)~X{PUS Q, P, X, U c (Q{U)~(X|P)US Q, P, X, V c Q|P{X~VUS Q, P, X, W c (P{X|Q)~WUS Q, P, X, X c P{(X|Q)~XUS Q, Q, Q, W c (Q{Q)~(Q~W)US Q, Q, R, W c (Q{Q~R)~WUS Q, Q, S, S c (Q{Q)~(S~S)US Q, Q, S, U c Q~(Q{U)~SUS Q, Q, S, V c (Q{Q~V)~SUS Q, Q, S, W c (Q{Q{S)~WUS Q, Q, S, X c (Q~X|Q)~SUS Q, Q, T, U c Q~(Q{T~U)US Q, Q, T, W c (Q~T|Q)~WUS Q, Q, U, S c Q~(Q{U)~SUS Q, Q, U, T c Q~(Q{U~T)US Q, Q, U, U c (Q{U)~(Q{U)US Q, Q, U, W c Q~(U|Q)~WUS Q, Q, U, X c (Q{X)~U|QUS Q, Q, V, S c (Q{Q~V)~SUS Q, Q, V, W c (QQ{V)~WUS Q, Q, V, X c (Q{Q)~(V{X)US Q, Q, W, Q c (Q{Q)~(W~Q)US Q, Q, W, R c (Q{Q~R)~WUS Q, Q, W, S c (Q{Q{S)~WUS Q, Q, W, T c (Q~T|Q)~WUS Q, Q, W, U c (Q~W)~(U|Q)US Q, Q, W, V c (QQ{V)~WUS Q, Q, W, W c (Q{Q)~(W{W)US Q, Q, W, X c W~(X|QQ)US Q, Q, X, S c (Q~X|Q)~SUS Q, Q, X, U c (Q{X)~U|QUS Q, Q, X, V c (Q{Q)~(X{V)US Q, Q, X, W c (X|QQ)~WUS Q, R, P, W c Q~(R{P)~WUS Q, R, Q, W c (Q{R~Q)~WUS Q, R, R, W c (Q{R{R)~WUS Q, R, S, T c Q~(R{T)~SUS Q, R, S, U c (R~U|Q)~SUS Q, R, T, S c Q~(R{T)~SUS Q, R, T, U c (Q{U)~(R{T)US Q, R, T, V c Q~(T~V|R)US Q, R, T, X c Q~(R~X{T)US Q, R, U, S c (R~U|Q)~SUS Q, R, U, T c (Q{U)~(R{T)US Q, R, U, W c (R{W)~U|QUS Q, R, V, T c Q~(V~T|R)US Q, R, V, W c Q~(V|R)~WUS Q, R, V, X c R|Q{V~XUS Q, R, W, P c Q~(R{P)~WUS Q, R, W, Q c (Q{R~Q)~WUS Q, R, W, R c (Q{R{R)~WUS Q, R, W, U c (R{W)~U|QUS Q, R, W, V c (Q~W)~(V|R)US Q, R, W, W c Q~(R~W{W)US Q, R, W, X c (Q{X|R)~WUS Q, R, X, T c Q~(R~X{T)US Q, R, X, V c R|Q{X~VUS Q, R, X, W c (Q{X|R)~WUS Q, S, O, W c (Q~S{O)~WUS Q, S, P, V c (Q~S)~(P{V)US Q, S, P, W c Q~S~P~WUS Q, S, P, X c (Q~S)~(X|P)US Q, S, Q, S c Q~S~Q~SUS Q, S, Q, U c (Q~S)~(Q{U)US Q, S, Q, V c (Q{Q~V)~SUS Q, S, Q, W c (Q{S{Q)~WUS Q, S, Q, X c (Q~X|Q)~SUS Q, S, R, T c (Q~S)~(R{T)US Q, S, R, U c S~(R~U|Q)US Q, S, S, Q c Q~S~S~QUS Q, S, S, S c Q~(S{S)~SUS Q, S, S, U c (Q{U)~(S{S)US Q, S, S, V c Q~(S{S~V)US Q, S, S, W c (Q~S{W)~SUS Q, S, S, X c Q~(S~X|S)US Q, S, T, R c (Q~S)~(T{R)US Q, S, T, U c (Q~T{U)~SUS Q, S, T, X c (Q{T{X)~SUS Q, S, U, Q c (Q~S)~(U{Q)US Q, S, U, R c S~(U~R|Q)US Q, S, U, S c (Q{U)~(S{S)US Q, S, U, T c Q~U~T{SUS Q, S, U, U c Q~(U~U|S)US Q, S, U, V c (S{V)~U|QUS Q, S, U, W c Q~(S~U{W)US Q, S, V, P c (Q~S)~(V{P)US Q, S, V, Q c (Q{V~Q)~SUS Q, S, V, S c Q~(S{V~S)US Q, S, V, U c (S{V)~U|QUS Q, S, V, V c (Q{V{V)~SUS Q, S, V, W c Q~S{V~WUS Q, S, W, O c Q~S~W{OUS Q, S, W, P c Q~S~W~PUS Q, S, W, Q c (Q{S{Q)~WUS Q, S, W, S c (Q~S{W)~SUS Q, S, W, U c Q~(S~U{W)US Q, S, W, V c Q~S{W~VUS Q, S, W, W c Q~(W|S)~WUS Q, S, W, X c Q~S~X|WUS Q, S, X, P c (Q~S)~(X|P)US Q, S, X, Q c (Q~X|Q)~SUS Q, S, X, S c Q~(S~X|S)US Q, S, X, T c (Q{X{T)~SUS Q, S, X, W c Q~S~X|WUS Q, S, X, X c S~(X|Q{X)US Q, T, P, W c (Q{T{P)~WUS Q, T, P, X c (Q{T)~X{PUS Q, T, Q, U c (Q{T~U)~QUS Q, T, Q, W c (Q~T|Q)~WUS Q, T, R, S c Q~(T{R)~SUS Q, T, R, U c (Q{U)~(T{R)US Q, T, R, V c Q~(T~V|R)US Q, T, R, X c Q~(T{R~X)US Q, T, S, R c Q~(T{R)~SUS Q, T, S, U c (Q~T{U)~SUS Q, T, S, X c (Q{T{X)~SUS Q, T, T, V c Q~(T~T{V)US Q, T, T, W c (T|Q{T)~WUS Q, T, U, Q c (Q{T~U)~QUS Q, T, U, R c (Q{U)~(T{R)US Q, T, U, S c (Q~T{U)~SUS Q, T, U, U c (T{U)~U|QUS Q, T, U, V c Q~T~V|UUS Q, T, U, W c (T{UQ)~WUS Q, T, U, X c Q~T{U~XUS Q, T, V, R c Q~(T~V|R)US Q, T, V, T c Q~(T~T{V)US Q, T, V, U c Q~T~V|UUS Q, T, W, P c (Q{T{P)~WUS Q, T, W, Q c (Q~T|Q)~WUS Q, T, W, T c (T|Q{T)~WUS Q, T, W, U c (T{UQ)~WUS Q, T, W, W c (Q{T)~W{WUS Q, T, W, X c (Q~W)~(X|T)US Q, T, X, P c (Q{T)~X{PUS Q, T, X, R c Q~(T{X~R)US Q, T, X, S c (Q{T{X)~SUS Q, T, X, U c Q~T{X~UUS Q, T, X, W c Q~(X|T)~WUS Q, T, X, X c (Q{X)~T{XUS Q, U, O, W c (Q{U{O)~WUS Q, U, P, V c (Q{U)~(P{V)US Q, U, P, W c (Q{U)~(P~W)US Q, U, P, X c (Q{U)~(X|P)US Q, U, Q, S c (Q{U)~(Q~S)US Q, U, Q, T c (Q{U~T)~QUS Q, U, Q, U c (Q{U)~(Q{U)US Q, U, Q, W c Q~(U|Q)~WUS Q, U, Q, X c (Q{X)~U|QUS Q, U, R, S c (U~R|Q)~SUS Q, U, R, T c (Q{U)~(R{T)US Q, U, R, W c U~(R{W)|QUS Q, U, S, Q c (Q{U)~(S~Q)US Q, U, S, R c (U~R|Q)~SUS Q, U, S, S c (Q{U)~(S{S)US Q, U, S, T c Q~U~T{SUS Q, U, S, U c Q~(U~U|S)US Q, U, S, V c U~(S{V)|QUS Q, U, S, W c (Q~U|S)~WUS Q, U, T, Q c (Q{U~T)~QUS Q, U, T, R c (Q{U)~(T{R)US Q, U, T, S c Q~U~T{SUS Q, U, T, U c (U{T)~U|QUS Q, U, T, V c Q~T~V|UUS Q, U, T, W c (UQ{T)~WUS Q, U, T, X c Q~T{U~XUS Q, U, U, Q c (Q{U)~(U{Q)US Q, U, U, S c Q~(U~U|S)US Q, U, U, T c U~(U{T)|QUS Q, U, U, W c Q~U~U|WUS Q, U, V, P c (Q{U)~(V{P)US Q, U, V, S c U~(V{S)|QUS Q, U, V, T c Q~V~T|UUS Q, U, V, W c Q{U{V~WUS Q, U, V, X c (U|Q)~(V{X)US Q, U, W, O c (Q{U)~(W{O)US Q, U, W, P c (Q{U)~(W~P)US Q, U, W, Q c Q~(U|Q)~WUS Q, U, W, R c U~(W{R)|QUS Q, U, W, S c (Q{U{W)~SUS Q, U, W, T c (UQ{T)~WUS Q, U, W, U c Q~U~U|WUS Q, U, W, V c Q{U{W~VUS Q, U, W, W c Q~W{U~WUS Q, U, W, X c Q{U~X{WUS Q, U, X, P c (Q{U)~(X|P)US Q, U, X, Q c (Q{X)~U|QUS Q, U, X, T c Q~T{U~XUS Q, U, X, V c (U|Q)~(X{V)US Q, U, X, W c Q{U~X{WUS Q, V, P, S c Q~(V{P)~SUS Q, V, P, U c (Q{U)~(V{P)US Q, V, P, V c (Q{V)~V{PUS Q, V, P, W c (Q{V|P)~WUS Q, V, P, X c Q{V~X|PUS Q, V, Q, S c (Q{V~Q)~SUS Q, V, Q, W c (QQ{V)~WUS Q, V, Q, X c Q~(V{X)~QUS Q, V, R, T c Q~(V~T|R)US Q, V, R, W c Q~(V|R)~WUS Q, V, R, X c V~X|Q{RUS Q, V, S, P c Q~(V{P)~SUS Q, V, S, Q c (Q{V~Q)~SUS Q, V, S, S c Q~(V~S{S)US Q, V, S, U c (V{S)~U|QUS Q, V, S, V c (Q{V{V)~SUS Q, V, S, W c Q~V~S{WUS Q, V, T, R c Q~(V~T|R)US Q, V, T, T c Q~(V{T~T)US Q, V, T, U c Q~V~T|UUS Q, V, U, P c (Q{U)~(V{P)US Q, V, U, S c (V{S)~U|QUS Q, V, U, T c Q~V~T|UUS Q, V, U, W c (Q~V|U)~WUS Q, V, U, X c (V{X)~(U|Q)US Q, V, V, P c (Q{V)~V{PUS Q, V, V, S c (Q{V{V)~SUS Q, V, W, P c (Q{V|P)~WUS Q, V, W, Q c (QQ{V)~WUS Q, V, W, R c Q~(V|R)~WUS Q, V, W, S c Q~V~S{WUS Q, V, W, U c Q{V~W{UUS Q, V, W, W c (Q{V)~W|WUS Q, V, W, X c (V{X)Q~WUS Q, V, X, P c Q{V~X|PUS Q, V, X, Q c Q~(V{X)~QUS Q, V, X, R c V~X|Q{RUS Q, V, X, U c (V{X)~(U|Q)US Q, V, X, W c (V{X)Q~WUS Q, W, O, S c (Q~W{O)~SUS Q, W, O, U c (Q{O{U)~WUS Q, W, O, W c Q~O{W~WUS Q, W, P, R c (Q~W)~(P{R)US Q, W, P, S c Q~W~P~SUS Q, W, P, T c (Q~W)~(T|P)US Q, W, P, U c (Q{P~U)~WUS Q, W, P, V c (Q|P{V)~WUS Q, W, P, W c (Q|P)~(W~W)US Q, W, P, X c W~(P{X|Q)US Q, W, Q, Q c (Q~W)~(Q{Q)US Q, W, Q, R c (Q{Q~R)~WUS Q, W, Q, S c (Q{Q{S)~WUS Q, W, Q, T c (Q~T|Q)~WUS Q, W, Q, U c (Q~W)~(U|Q)US Q, W, Q, V c (QQ{V)~WUS Q, W, Q, W c (Q{W|Q)~WUS Q, W, Q, X c W~(X|QQ)US Q, W, R, P c (Q~W)~(R{P)US Q, W, R, Q c (Q{R~Q)~WUS Q, W, R, R c (Q{R{R)~WUS Q, W, R, U c (W{R)~U|QUS Q, W, R, V c (Q~W)~(V|R)US Q, W, R, W c Q~(W{R~W)US Q, W, R, X c (Q{X|R)~WUS Q, W, S, O c Q~W~S{OUS Q, W, S, P c Q~W~S~PUS Q, W, S, Q c (Q{S{Q)~WUS Q, W, S, S c (Q~S{W)~SUS Q, W, S, U c Q~(W{S~U)US Q, W, S, V c Q~S{W~VUS Q, W, S, W c Q~(W|S)~WUS Q, W, S, X c Q~S~X|WUS Q, W, T, P c (Q~W)~(T|P)US Q, W, T, Q c (Q~T|Q)~WUS Q, W, T, T c W~(T|Q{T)US Q, W, T, U c W~(T{UQ)US Q, W, T, W c Q~(W~T|W)US Q, W, T, X c (Q~W)~(X|T)US Q, W, U, O c (Q{U)~(W{O)US Q, W, U, P c (Q{U)~(W~P)US Q, W, U, Q c (Q~W)~(U|Q)US Q, W, U, R c (W{R)~U|QUS Q, W, U, S c (Q{W{U)~SUS Q, W, U, T c W~(UQ{T)US Q, W, U, U c Q~U~U|WUS Q, W, U, V c Q{W~V{UUS Q, W, U, W c Q~W{U~WUS Q, W, U, X c Q{W{U~XUS Q, W, V, P c (Q{V|P)~WUS Q, W, V, Q c (QQ{V)~WUS Q, W, V, R c (Q~W)~(V|R)US Q, W, V, S c Q~V~S{WUS Q, W, V, U c Q{W~V{UUS Q, W, V, W c (Q{V)~W|WUS Q, W, V, X c (WQ)~(V{X)US Q, W, W, O c Q~O{W~WUS Q, W, W, P c (Q|P)~(W~W)US Q, W, W, Q c Q{W~W|QUS Q, W, W, R c Q~(W{W~R)US Q, W, W, S c (Q~W)~(W|S)US Q, W, W, T c Q~(W~T|W)US Q, W, W, U c Q~W{W~UUS Q, W, W, V c (Q{V)~W|WUS Q, W, W, W c (Q~W|W)~WUS Q, W, W, X c W{W~(X|Q)US Q, W, X, P c W~(X|Q{P)US Q, W, X, Q c W~(X|QQ)US Q, W, X, R c (Q{X|R)~WUS Q, W, X, S c Q~X~S|WUS Q, W, X, T c (Q~W)~(X|T)US Q, W, X, U c Q{W{X~UUS Q, W, X, V c (WQ)~(X{V)US Q, W, X, W c W{(X|Q)~WUS Q, X, P, S c Q~(X|P)~SUS Q, X, P, T c (Q{T)~X{PUS Q, X, P, U c (Q{U)~(X|P)US Q, X, P, V c Q{X~V|PUS Q, X, P, W c (X|Q{P)~WUS Q, X, P, X c (X|Q)~X{PUS Q, X, Q, S c (Q~X|Q)~SUS Q, X, Q, U c (Q{X)~U|QUS Q, X, Q, V c Q~(X{V)~QUS Q, X, Q, W c (X|QQ)~WUS Q, X, R, T c Q~(X~R{T)US Q, X, R, V c X~V|Q{RUS Q, X, R, W c (Q{X|R)~WUS Q, X, S, P c Q~(X|P)~SUS Q, X, S, Q c (Q~X|Q)~SUS Q, X, S, S c Q~(X~S|S)US Q, X, S, T c (Q{X{T)~SUS Q, X, S, W c Q~X~S|WUS Q, X, S, X c (X|Q{X)~SUS Q, X, T, P c (Q{T)~X{PUS Q, X, T, R c Q~(X~R{T)US Q, X, T, S c (Q{X{T)~SUS Q, X, T, U c Q~T{X~UUS Q, X, T, W c Q~(X|T)~WUS Q, X, T, X c (Q{X)~T{XUS Q, X, U, P c (Q{U)~(X|P)US Q, X, U, Q c (Q{X)~U|QUS Q, X, U, T c Q~T{X~UUS Q, X, U, V c (X{V)~(U|Q)US Q, X, U, W c Q{X~U{WUS Q, X, V, P c Q{X~V|PUS Q, X, V, Q c Q~(X{V)~QUS Q, X, V, R c X~V|Q{RUS Q, X, V, U c (X{V)~(U|Q)US Q, X, V, W c (X{V)Q~WUS Q, X, W, P c (X|Q{P)~WUS Q, X, W, Q c (X|QQ)~WUS Q, X, W, R c (Q{X|R)~WUS Q, X, W, S c Q~X~S|WUS Q, X, W, T c Q~(X|T)~WUS Q, X, W, U c Q{X~U{WUS Q, X, W, V c (X{V)Q~WUS Q, X, W, W c (X|Q)~W{WUS Q, X, X, P c (X|Q)~X{PUS Q, X, X, S c (X|Q{X)~SUS Q, X, X, T c (Q{X)~T{XUS R, O, T, W c (R{O{T)~WUS R, O, W, T c (R{O{T)~WUS R, O, W, W c R~O{W~WUS R, P, Q, W c (R{P)~(Q~W)US R, P, R, V c R~R~V{PUS R, P, R, W c (R~R|P)~WUS R, P, S, S c (R{P)~(S~S)US R, P, S, T c (R~T{P)~SUS R, P, S, W c (R{P{S)~WUS R, P, S, X c (R{S)~X{PUS R, P, T, S c (R~T{P)~SUS R, P, T, V c (R{T)~(P{V)US R, P, T, W c (R{P~T)~WUS R, P, T, X c (R{T)~(X|P)US R, P, U, V c (R{U)~V{PUS R, P, U, W c (R|P{U)~WUS R, P, V, R c R~V~R{PUS R, P, V, T c (R{T)~(P{V)US R, P, V, U c (R{U)~V{PUS R, P, V, X c (R{P)~(V{X)US R, P, W, Q c (R{P)~(W~Q)US R, P, W, R c (R~R|P)~WUS R, P, W, S c (R|P)~(W~S)US R, P, W, T c (R{P~T)~WUS R, P, W, U c (R|P{U)~WUS R, P, W, W c (R{P)~(W{W)US R, P, X, S c (R{S)~X{PUS R, P, X, T c (R{T)~(X|P)US R, P, X, V c (R{P)~(X{V)US R, Q, P, W c (R{P)~(Q~W)US R, Q, Q, W c (R~Q{Q)~WUS R, Q, R, W c (R{Q{R)~WUS R, Q, S, T c (R{T)~(Q~S)US R, Q, S, U c (R~U|Q)~SUS R, Q, T, S c (R{T)~(Q~S)US R, Q, T, U c (R{T)~(Q{U)US R, Q, T, V c Q~(T~V|R)US R, Q, T, X c (R~X{T)~QUS R, Q, U, S c (R~U|Q)~SUS R, Q, U, T c (R{T)~(Q{U)US R, Q, U, W c (R{W)~U|QUS R, Q, V, T c Q~(V~T|R)US R, Q, V, W c (R|Q{V)~WUS R, Q, V, X c R|Q{V~XUS R, Q, W, P c (R{P)~(Q~W)US R, Q, W, Q c (R~Q{Q)~WUS R, Q, W, R c (R{Q{R)~WUS R, Q, W, U c (R{W)~U|QUS R, Q, W, V c (R|Q{V)~WUS R, Q, W, W c (R|Q)~(W~W)US R, Q, W, X c (Q{X|R)~WUS R, Q, X, T c (R~X{T)~QUS R, Q, X, V c R|Q{X~VUS R, Q, X, W c (Q{X|R)~WUS R, R, P, V c R~R~V{PUS R, R, P, W c (R~R|P)~WUS R, R, Q, W c (R{R{Q)~WUS R, R, S, V c (R~R{V)~SUS R, R, T, T c (R{T)~(R{T)US R, R, V, P c R~R~V{PUS R, R, V, S c (R~R{V)~SUS R, R, V, W c (RR{V)~WUS R, R, V, X c RR{V~XUS R, R, W, P c (R~R|P)~WUS R, R, W, Q c (R{R{Q)~WUS R, R, W, V c (RR{V)~WUS R, R, W, W c R|R{W~WUS R, R, W, X c W~(X|RR)US R, R, X, V c RR{X~VUS R, R, X, W c (X|RR)~WUS R, S, P, S c (R{P)~(S~S)US R, S, P, T c (R~T{P)~SUS R, S, P, W c (R{S{P)~WUS R, S, P, X c (R{S)~X{PUS R, S, Q, T c (R{T)~(S~Q)US R, S, Q, U c (R~U|Q)~SUS R, S, R, V c (R~R{V)~SUS R, S, S, P c (R{P)~(S~S)US R, S, S, S c (R~S{S)~SUS R, S, S, T c R~S~T{SUS R, S, S, V c (S~S)~(V|R)US R, S, S, W c (R~S|S)~WUS R, S, S, X c (R{S{X)~SUS R, S, T, P c (R~T{P)~SUS R, S, T, Q c (R{T)~(S~Q)US R, S, T, S c R~S~T{SUS R, S, T, V c (R~V|T)~SUS R, S, T, W c (R{T{W)~SUS R, S, T, X c (R{X)~T{SUS R, S, U, Q c (R~U|Q)~SUS R, S, U, V c (R{U{V)~SUS R, S, U, W c R~S~U|WUS R, S, V, R c (R~R{V)~SUS R, S, V, S c S~(V|R)~SUS R, S, V, T c (R~V|T)~SUS R, S, V, U c (R{V{U)~SUS R, S, V, W c (S|R{V)~WUS R, S, V, X c S|R{V~XUS R, S, W, P c (R{S{P)~WUS R, S, W, S c (R~S|S)~WUS R, S, W, T c (R{W{T)~SUS R, S, W, U c R~S~U|WUS R, S, W, V c (S|R{V)~WUS R, S, W, W c (R{S)~W{WUS R, S, W, X c (R{X|S)~WUS R, S, X, P c (R{S)~X{PUS R, S, X, S c (R{S{X)~SUS R, S, X, T c (R{X)~T{SUS R, S, X, V c S|R{X~VUS R, S, X, W c (R{X|S)~WUS R, T, O, W c (R{T{O)~WUS R, T, P, S c (R~T{P)~SUS R, T, P, V c (R{T)~(P{V)US R, T, P, W c (R{T)~(P~W)US R, T, P, X c (R{T)~(X|P)US R, T, Q, S c (R{T)~(Q~S)US R, T, Q, U c (R{T)~(Q{U)US R, T, Q, V c (T~V|R)~QUS R, T, Q, X c (R~X{T)~QUS R, T, R, T c (R{T)~(R{T)US R, T, S, P c (R~T{P)~SUS R, T, S, Q c (R{T)~(S~Q)US R, T, S, S c (R{T)~(S{S)US R, T, S, V c (R~V|T)~SUS R, T, S, W c (R{T{W)~SUS R, T, S, X c (R{X)~T{SUS R, T, T, R c (R{T)~(T{R)US R, T, U, Q c (R{T)~(U{Q)US R, T, U, W c (T|R{U)~WUS R, T, U, X c (TR{X)~UUS R, T, V, P c (R{T)~(V{P)US R, T, V, Q c (T~V|R)~QUS R, T, V, S c (R~V|T)~SUS R, T, V, V c R~T{V~VUS R, T, V, W c R{T{V~WUS R, T, W, O c (R{T)~(W{O)US R, T, W, P c (R{T)~(W~P)US R, T, W, S c (R{T{W)~SUS R, T, W, U c (T|R{U)~WUS R, T, W, V c R{T{W~VUS R, T, W, W c R~W{T~WUS R, T, W, X c (R{T)~X|WUS R, T, X, P c (R{T)~(X|P)US R, T, X, Q c (R~X{T)~QUS R, T, X, S c (R{X)~T{SUS R, T, X, U c (TR{X)~UUS R, T, X, W c (R{T)~X|WUS R, U, P, V c (R{U)~V{PUS R, U, P, W c (R{U|P)~WUS R, U, Q, S c (R~U|Q)~SUS R, U, Q, T c (R{T)~(U{Q)US R, U, Q, W c (R{W)~U|QUS R, U, S, Q c (R~U|Q)~SUS R, U, S, V c (R{U{V)~SUS R, U, S, W c R~U~S|WUS R, U, T, Q c (R{T)~(U{Q)US R, U, T, W c (U|R{T)~WUS R, U, T, X c U~(TR{X)US R, U, U, W c (UR{U)~WUS R, U, V, P c (R{U)~V{PUS R, U, V, S c (R{U{V)~SUS R, U, V, V c (R{V)~V|UUS R, U, V, X c R{U~X{VUS R, U, W, P c (R{U|P)~WUS R, U, W, Q c (R{W)~U|QUS R, U, W, S c R~U~S|WUS R, U, W, T c (U|R{T)~WUS R, U, W, U c (UR{U)~WUS R, U, W, W c (R{U)~W|WUS R, U, W, X c (R{X)~U|WUS R, U, X, T c U~(X{TR)US R, U, X, V c R{U~X{VUS R, U, X, W c (R{X)~U|WUS R, V, P, R c R~V~R{PUS R, V, P, T c (R{T)~(V{P)US R, V, P, U c (R{U)~V{PUS R, V, P, X c (R{P)~(V{X)US R, V, Q, T c (V~T|R)~QUS R, V, Q, W c (R{V|Q)~WUS R, V, Q, X c R{V~X|QUS R, V, R, P c R~V~R{PUS R, V, R, S c (R~R{V)~SUS R, V, R, W c (RR{V)~WUS R, V, R, X c RR{V~XUS R, V, S, R c (R~R{V)~SUS R, V, S, S c (V|R)~(S~S)US R, V, S, T c (R~V|T)~SUS R, V, S, U c (R{V{U)~SUS R, V, S, W c (V|R{S)~WUS R, V, S, X c V~X|R{SUS R, V, T, P c (R{T)~(V{P)US R, V, T, Q c (V~T|R)~QUS R, V, T, S c (R~V|T)~SUS R, V, T, V c R~T{V~VUS R, V, T, W c R{V~W{TUS R, V, U, P c (R{U)~V{PUS R, V, U, S c (R{V{U)~SUS R, V, U, V c (R{V)~V|UUS R, V, U, X c R{V{U~XUS R, V, V, T c R~T{V~VUS R, V, V, U c (R{V)~V|UUS R, V, V, X c (V|R)~(V{X)US R, V, W, Q c (R{V|Q)~WUS R, V, W, R c (RR{V)~WUS R, V, W, S c (V|R{S)~WUS R, V, W, T c R{V~W{TUS R, V, W, W c (V|R)~(W{W)US R, V, X, P c (R{P)~(V{X)US R, V, X, Q c R{V~X|QUS R, V, X, R c RR{V~XUS R, V, X, S c V~X|R{SUS R, V, X, U c R{V{X~UUS R, V, X, V c (V|R)~(X{V)US R, W, O, T c (R{O{T)~WUS R, W, O, W c R~O{W~WUS R, W, P, Q c (R{P)~(W~Q)US R, W, P, R c (R~R|P)~WUS R, W, P, S c (R|P)~(W~S)US R, W, P, T c (R{P~T)~WUS R, W, P, U c (R|P{U)~WUS R, W, P, W c (R{P)~(W{W)US R, W, Q, P c (R{P)~(W~Q)US R, W, Q, Q c (R~Q{Q)~WUS R, W, Q, R c (R{Q{R)~WUS R, W, Q, U c (R{W)~U|QUS R, W, Q, V c (R|Q{V)~WUS R, W, Q, W c (R~W{W)~QUS R, W, Q, X c W~(Q{X|R)US R, W, R, P c (R~R|P)~WUS R, W, R, Q c (R{R{Q)~WUS R, W, R, V c (RR{V)~WUS R, W, R, W c (R{W|R)~WUS R, W, R, X c W~(X|RR)US R, W, S, P c (R{S{P)~WUS R, W, S, S c (R~S|S)~WUS R, W, S, T c (R{W{T)~SUS R, W, S, U c R~S~U|WUS R, W, S, V c W~(S|R{V)US R, W, S, W c (R~W|W)~SUS R, W, S, X c (R{X|S)~WUS R, W, T, O c (R{T)~(W{O)US R, W, T, P c (R{T)~(W~P)US R, W, T, S c (R{W{T)~SUS R, W, T, U c W~(T|R{U)US R, W, T, V c R{W~V{TUS R, W, T, W c R~W{T~WUS R, W, T, X c (R{W)~T{XUS R, W, U, P c (R{U|P)~WUS R, W, U, Q c (R{W)~U|QUS R, W, U, S c R~U~S|WUS R, W, U, T c W~(U|R{T)US R, W, U, U c W~(UR{U)US R, W, U, W c (R{U)~W|WUS R, W, U, X c (R{X)~U|WUS R, W, V, Q c (R{V|Q)~WUS R, W, V, R c (RR{V)~WUS R, W, V, S c W~(V|R{S)US R, W, V, T c R{W~V{TUS R, W, V, W c (W{W)~(V|R)US R, W, W, O c R~O{W~WUS R, W, W, P c (R{P)~(W{W)US R, W, W, Q c (R~W{W)~QUS R, W, W, R c R{W~W|RUS R, W, W, S c (R~W|W)~SUS R, W, W, T c R~W{W~TUS R, W, W, U c (R{U)~W|WUS R, W, W, V c (W{W)~(V|R)US R, W, X, Q c W~(X|R{Q)US R, W, X, R c W~(X|RR)US R, W, X, S c (R{X|S)~WUS R, W, X, T c (R{W)~T{XUS R, W, X, U c (R{X)~U|WUS R, X, P, S c (R{S)~X{PUS R, X, P, T c (R{T)~(X|P)US R, X, P, V c (R{P)~(X{V)US R, X, Q, T c (R~X{T)~QUS R, X, Q, V c R{X~V|QUS R, X, Q, W c (X|R{Q)~WUS R, X, R, V c RR{X~VUS R, X, R, W c (X|RR)~WUS R, X, S, P c (R{S)~X{PUS R, X, S, S c (R{X{S)~SUS R, X, S, T c (R{X)~T{SUS R, X, S, V c X~V|R{SUS R, X, S, W c (R{X|S)~WUS R, X, T, P c (R{T)~(X|P)US R, X, T, Q c (R~X{T)~QUS R, X, T, S c (R{X)~T{SUS R, X, T, U c (X{TR)~UUS R, X, T, W c (R{T)~X|WUS R, X, U, T c (X{TR)~UUS R, X, U, V c R{X~U{VUS R, X, U, W c (R{X)~U|WUS R, X, V, P c (R{P)~(X{V)US R, X, V, Q c R{X~V|QUS R, X, V, R c RR{X~VUS R, X, V, S c X~V|R{SUS R, X, V, U c R{X~U{VUS R, X, V, V c (X{V)~(V|R)US R, X, W, Q c (X|R{Q)~WUS R, X, W, R c (X|RR)~WUS R, X, W, S c (R{X|S)~WUS R, X, W, T c (R{W)~T{XUS R, X, W, U c (R{X)~U|WUS S, O, Q, W c (S{O)~(Q~W)US S, O, S, S c (S{O)~(S~S)US S, O, S, W c (S{O{S)~WUS S, O, V, X c (S{O)~(V{X)US S, O, W, Q c (S{O)~(W~Q)US S, O, W, S c (S{O{S)~WUS S, O, W, W c (S{O)~(W{W)US S, O, X, V c (S{O)~(X{V)US S, P, P, W c S~(P{P)~WUS S, P, Q, V c S~(P{V)~QUS S, P, Q, W c S~P~Q~WUS S, P, Q, X c (S~Q)~(X|P)US S, P, R, S c S~(P{R)~SUS S, P, R, T c S~(P{R~T)US S, P, R, W c (S{P{R)~WUS S, P, R, X c (S{R)~X{PUS S, P, S, R c S~(P{R)~SUS S, P, S, S c S~P~S~SUS S, P, S, T c (S~S)~(T|P)US S, P, S, V c (S{S)~(P{V)US S, P, S, W c (S{P~S)~WUS S, P, S, X c (S{S)~(X|P)US S, P, T, R c S~(P{T~R)US S, P, T, S c S~(T|P)~SUS S, P, T, V c (S{T)~V{PUS S, P, T, W c (S|P{T)~WUS S, P, T, X c (S{X)~T|PUS S, P, U, X c S~(P{U{X)US S, P, V, Q c S~(P{V)~QUS S, P, V, S c (S{S)~(P{V)US S, P, V, T c (S{T)~V{PUS S, P, V, W c S~(P{V{W)US S, P, V, X c (S~P)~(V{X)US S, P, W, P c S~(P{P)~WUS S, P, W, Q c S~P~W~QUS S, P, W, R c (S{P{R)~WUS S, P, W, S c (S{P~S)~WUS S, P, W, T c (S|P{T)~WUS S, P, W, V c S~(P{W{V)US S, P, W, W c (S~P)~(W{W)US S, P, W, X c S~(W|P{X)US S, P, X, Q c S~(X|P)~QUS S, P, X, R c (S{R)~X{PUS S, P, X, S c (S{S)~(X|P)US S, P, X, T c (S{X)~T|PUS S, P, X, U c S{(P{X)~UUS S, P, X, V c (S~P)~(X{V)US S, P, X, W c S~(X|P{W)US S, Q, O, W c (S~Q{O)~WUS S, Q, P, V c (S~Q)~(P{V)US S, Q, P, W c S~Q~P~WUS S, Q, P, X c (S~Q)~(X|P)US S, Q, Q, S c S~(Q{Q)~SUS S, Q, Q, U c (S~Q)~(Q{U)US S, Q, Q, V c S~(Q{Q~V)US S, Q, Q, W c (S{Q{Q)~WUS S, Q, Q, X c S~(Q~X|Q)US S, Q, R, T c (S~Q)~(R{T)US S, Q, R, U c S~(R~U|Q)US S, Q, S, Q c S~Q~S~QUS S, Q, S, S c (S~Q)~(S{S)US S, Q, S, U c (S{Q~U)~SUS S, Q, S, V c (S{S~V)~QUS S, Q, S, W c (S|Q)~(S~W)US S, Q, S, X c (S~X|S)~QUS S, Q, T, R c (S~Q)~(T{R)US S, Q, T, U c S{Q~T~UUS S, Q, T, X c S~(Q{T{X)US S, Q, U, Q c S~(Q{U)~QUS S, Q, U, R c S~(U~R|Q)US S, Q, U, S c (S{Q~U)~SUS S, Q, U, T c S{Q~U~TUS S, Q, U, U c Q~(U~U|S)US S, Q, U, V c (S{V)~U|QUS S, Q, U, W c (S|Q{U)~WUS S, Q, V, P c (S~Q)~(V{P)US S, Q, V, Q c S~(Q{V~Q)US S, Q, V, S c (S{V~S)~QUS S, Q, V, U c (S{V)~U|QUS S, Q, V, V c S~(Q{V{V)US S, Q, V, W c S~Q{V~WUS S, Q, W, O c S~Q~W{OUS S, Q, W, P c S~Q~W~PUS S, Q, W, Q c (S{Q{Q)~WUS S, Q, W, S c (S|Q)~(W~S)US S, Q, W, U c S{(Q{W)~UUS S, Q, W, V c S~Q{W~VUS S, Q, W, W c (S{WQ)~WUS S, Q, W, X c S~Q~X|WUS S, Q, X, P c (S~Q)~(X|P)US S, Q, X, Q c S~(Q~X|Q)US S, Q, X, S c (S~X|S)~QUS S, Q, X, T c S~(Q{X{T)US S, Q, X, W c S~Q~X|WUS S, Q, X, X c S~(X|Q{X)US S, R, P, S c S~(R{P)~SUS S, R, P, T c S~(R~T{P)US S, R, P, W c (S{R{P)~WUS S, R, P, X c (S{R)~X{PUS S, R, Q, T c S~(R{T)~QUS S, R, Q, U c S~(R~U|Q)US S, R, R, V c S~(R~R{V)US S, R, S, P c S~(R{P)~SUS S, R, S, S c (S{R~S)~SUS S, R, S, T c S{R~S~TUS S, R, S, V c (S~S)~(V|R)US S, R, S, W c (S~R|S)~WUS S, R, S, X c S~(R{S{X)US S, R, T, P c S~(R~T{P)US S, R, T, Q c S~(R{T)~QUS S, R, T, S c S{R~T~SUS S, R, T, V c S~(R~V|T)US S, R, T, W c S~(R{T{W)US S, R, T, X c S{(R{X)~TUS S, R, U, Q c S~(R~U|Q)US S, R, U, V c S~(R{U{V)US S, R, U, W c S~R~U|WUS S, R, V, R c S~(R~R{V)US S, R, V, S c S~(V|R)~SUS S, R, V, T c S~(R~V|T)US S, R, V, U c S{(R{V)~UUS S, R, V, W c (S|R{V)~WUS S, R, V, X c S|R{V~XUS S, R, W, P c (S{R{P)~WUS S, R, W, S c (S~R|S)~WUS S, R, W, T c S~(R{W{T)US S, R, W, U c SR~W~UUS S, R, W, V c (S|R{V)~WUS S, R, W, W c (S{R)~W{WUS S, R, W, X c (R{X|S)~WUS S, R, X, P c (S{R)~X{PUS S, R, X, S c (S{R{X)~SUS S, R, X, T c S{(R{X)~TUS S, R, X, V c S|R{X~VUS S, R, X, W c (R{X|S)~WUS S, S, O, S c (S~S{O)~SUS S, S, O, W c (S{S{O)~WUS S, S, P, R c (S~S)~(P{R)US S, S, P, S c S~S~P~SUS S, S, P, T c (S~S)~(T|P)US S, S, P, V c (S{S)~(P{V)US S, S, P, W c (S{S)~(P~W)US S, S, P, X c (S{S)~(X|P)US S, S, Q, Q c (S~S)~(Q{Q)US S, S, Q, S c (S{S)~(Q~S)US S, S, Q, U c (S{S)~(Q{U)US S, S, Q, V c (S{S~V)~QUS S, S, Q, W c S~(S|Q)~WUS S, S, Q, X c (S~X|S)~QUS S, S, R, P c (S~S)~(R{P)US S, S, R, S c (S{S~R)~SUS S, S, R, T c (S{S)~(R{T)US S, S, R, V c (S~S)~(V|R)US S, S, R, W c (S~R|S)~WUS S, S, R, X c S~(S{R{X)US S, S, S, O c S~S~S{OUS S, S, S, P c S~S~S~PUS S, S, S, Q c (S{S)~(S~Q)US S, S, S, R c S~(S{S~R)US S, S, S, S c (S{S)~(S{S)US S, S, S, T c S~(S~T|S)US S, S, S, W c S~(S{S{W)US S, S, T, P c (S~S)~(T|P)US S, S, T, R c (S{S)~(T{R)US S, S, T, S c S~(S~T|S)US S, S, T, V c S~(S{T{V)US S, S, T, W c S{(S{W)~TUS S, S, T, X c (S~S)~(X|T)US S, S, U, Q c (S{S)~(U{Q)US S, S, U, U c S{(S{U)~UUS S, S, U, W c S~S{U~WUS S, S, U, X c S{S~(U{X)US S, S, V, P c (S{S)~(V{P)US S, S, V, Q c (S{S~V)~QUS S, S, V, R c (S~S)~(V|R)US S, S, V, T c S~(S{V{T)US S, S, V, W c S{S{V~WUS S, S, V, X c SS{V~XUS S, S, W, O c (S{S)~(W{O)US S, S, W, P c (S{S)~(W~P)US S, S, W, Q c S~S~WQUS S, S, W, R c (S~R|S)~WUS S, S, W, S c (S{S{W)~SUS S, S, W, T c S{(S{W)~TUS S, S, W, U c S~S{W~UUS S, S, W, V c S{S{W~VUS S, S, W, W c S|S{W~WUS S, S, W, X c (S{S)~X|WUS S, S, X, P c (S{S)~(X|P)US S, S, X, Q c (S~X|S)~QUS S, S, X, R c S~(S{X{R)US S, S, X, T c (S~S)~(X|T)US S, S, X, U c S{S~(X{U)US S, S, X, V c SS{X~VUS S, S, X, W c (S{S)~X|WUS S, T, P, R c S~(T~R{P)US S, T, P, S c S~(T|P)~SUS S, T, P, V c (S{T)~V{PUS S, T, P, W c (S{T|P)~WUS S, T, P, X c (S{X)~T|PUS S, T, Q, R c S~(T{R)~QUS S, T, Q, U c S{T~Q~UUS S, T, Q, X c S~(T{Q{X)US S, T, R, P c S~(T~R{P)US S, T, R, Q c S~(T{R)~QUS S, T, R, S c S{T~R~SUS S, T, R, V c S~(R~V|T)US S, T, R, W c S~(T{R{W)US S, T, R, X c S{T~(R{X)US S, T, S, P c S~(T|P)~SUS S, T, S, R c S{T~S~RUS S, T, S, S c (S~T|S)~SUS S, T, S, V c S~(T{S{V)US S, T, S, W c S{T~(S{W)US S, T, S, X c (S~S)~(X|T)US S, T, T, U c S{(T{T)~UUS S, T, T, V c S{T~(T{V)US S, T, T, X c S~(T~T|X)US S, T, U, Q c S{T~U~QUS S, T, U, T c S~(T{U{T)US S, T, U, U c S{T~(U{U)US S, T, U, W c S~U{T~WUS S, T, V, P c (S{T)~V{PUS S, T, V, R c S~(V~R|T)US S, T, V, S c (S{T{V)~SUS S, T, V, T c S{(T{V)~TUS S, T, V, W c S~(V|T)~WUS S, T, V, X c (S{V)~T{XUS S, T, W, P c (S{T|P)~WUS S, T, W, R c S~(T{W{R)US S, T, W, S c S{T~(W{S)US S, T, W, U c S~U{T~WUS S, T, W, V c (S~W)~(V|T)US S, T, W, W c (S{T)~W|WUS S, T, W, X c S~(T{X){WUS S, T, X, P c (S{X)~T|PUS S, T, X, Q c S~(T{X{Q)US S, T, X, R c S{T~(X{R)US S, T, X, S c S~(X|T)~SUS S, T, X, T c S~(T~T|X)US S, T, X, V c (S{V)~T{XUS S, T, X, W c S~(T{X){WUS S, U, P, X c S{U~(P{X)US S, U, Q, Q c S~(U{Q)~QUS S, U, Q, R c S~(U~R|Q)US S, U, Q, S c (S{U~Q)~SUS S, U, Q, T c S{U~Q~TUS S, U, Q, U c (U~U|S)~QUS S, U, Q, V c (S{V)~U|QUS S, U, Q, W c (S{U|Q)~WUS S, U, R, Q c S~(U~R|Q)US S, U, R, V c S{U~(R{V)US S, U, R, W c S~U~R|WUS S, U, S, Q c (S{U~Q)~SUS S, U, S, U c S{(U{S)~UUS S, U, S, W c S~(U|S)~WUS S, U, S, X c S{(U{X)~SUS S, U, T, Q c S{U~T~QUS S, U, T, T c S{U~(T{T)US S, U, T, U c S{(U{U)~TUS S, U, T, W c S~U{T~WUS S, U, U, Q c (U~U|S)~QUS S, U, U, S c (S{U{U)~SUS S, U, U, T c S{(U{U)~TUS S, U, U, V c (S{U)~V|UUS S, U, U, W c (U|S{U)~WUS S, U, U, X c S{U{U~XUS S, U, V, Q c (S{V)~U|QUS S, U, V, R c S{U~(V{R)US S, U, V, U c (S{U)~V|UUS S, U, W, Q c S{U~(W{Q)US S, U, W, R c S~U~WRUS S, U, W, S c (S~U|W)~SUS S, U, W, T c S~U{W~TUS S, U, W, U c (U|S{U)~WUS S, U, W, W c S~(U{W){WUS S, U, X, P c S{U~(X{P)US S, U, X, S c S{(U{X)~SUS S, U, X, U c S{U{X~UUS S, V, O, X c S~(V{O{X)US S, V, P, Q c S~(V{P)~QUS S, V, P, S c (S{S)~(V{P)US S, V, P, T c (S{T)~V{PUS S, V, P, W c S~(V{P{W)US S, V, P, X c S~(V{P~X)US S, V, Q, P c S~(V{P)~QUS S, V, Q, Q c S~(V~Q{Q)US S, V, Q, S c (S{V~S)~QUS S, V, Q, U c (S{V)~U|QUS S, V, Q, V c S~(V{Q{V)US S, V, Q, W c S~V~Q{WUS S, V, R, R c S~(V{R~R)US S, V, R, S c S~(V|R)~SUS S, V, R, T c S~(V~R|T)US S, V, R, U c S{(V{R)~UUS S, V, R, W c (S{V|R)~WUS S, V, R, X c S{V~X|RUS S, V, S, P c (S{S)~(V{P)US S, V, S, Q c (S{V~S)~QUS S, V, S, R c S~(V|R)~SUS S, V, S, T c S~(V{S{T)US S, V, S, W c S{(V{W)~SUS S, V, S, X c S~V{S~XUS S, V, T, P c (S{T)~V{PUS S, V, T, R c S~(V~R|T)US S, V, T, S c (S{V{T)~SUS S, V, T, T c S{(V{T)~TUS S, V, T, W c S~(V|T)~WUS S, V, T, X c (S{V)~T{XUS S, V, U, Q c (S{V)~U|QUS S, V, U, R c S~(V{U{R)US S, V, U, U c S~V{U~UUS S, V, V, Q c S~(V{V{Q)US S, V, V, W c S~(V{V){WUS S, V, W, P c S~(V{W{P)US S, V, W, Q c S~V~Q{WUS S, V, W, R c (S{V|R)~WUS S, V, W, S c S{(V{W)~SUS S, V, W, T c S~(V|T)~WUS S, V, W, V c S~(V{V){WUS S, V, W, X c (S~W)~(X|V)US S, V, X, O c S~(V{X){OUS S, V, X, P c S~(V{X)~PUS S, V, X, R c S{V~X|RUS S, V, X, S c S~V{X~SUS S, V, X, T c (S{V)~T{XUS S, V, X, W c S~(X|V)~WUS S, W, O, Q c (S~W{O)~QUS S, W, O, S c (S{O{S)~WUS S, W, O, W c S~(W{O{W)US S, W, P, P c (S~W)~(P{P)US S, W, P, Q c S~W~P~QUS S, W, P, R c (S~W)~(R|P)US S, W, P, S c (S{P~S)~WUS S, W, P, T c (S|P{T)~WUS S, W, P, V c S~(W{P{V)US S, W, P, W c S~(W{P~W)US S, W, P, X c S~(W|P{X)US S, W, Q, O c S~W~Q{OUS S, W, Q, P c S~W~Q~PUS S, W, Q, Q c (S{Q{Q)~WUS S, W, Q, S c S~(W{Q~S)US S, W, Q, U c S{(W{Q)~UUS S, W, Q, V c S~Q{W~VUS S, W, Q, W c (S{WQ)~WUS S, W, Q, X c S~Q~X|WUS S, W, R, P c (S~W)~(R|P)US S, W, R, S c (S~R|S)~WUS S, W, R, T c S~(W{R{T)US S, W, R, U c S~WR~UUS S, W, R, V c (S|R{V)~WUS S, W, R, W c S~(W~R|W)US S, W, R, X c W~(R{X|S)US S, W, S, O c (S{S)~(W{O)US S, W, S, P c (S{S)~(W~P)US S, W, S, Q c S~(W{S~Q)US S, W, S, R c (S~R|S)~WUS S, W, S, S c (S{W{S)~SUS S, W, S, T c S{(W{S)~TUS S, W, S, U c (S~W)~(U|S)US S, W, S, V c S{(W{V)~SUS S, W, S, W c (S{W|S)~WUS S, W, S, X c S~(W{X)|SUS S, W, T, P c (S{T|P)~WUS S, W, T, R c S~(W{T{R)US S, W, T, S c (S{W)~T{SUS S, W, T, U c S~U{W~TUS S, W, T, V c (S~W)~(V|T)US S, W, T, W c (S{T)~W|WUS S, W, T, X c S~(T{X){WUS S, W, U, Q c S~(W{U{Q)US S, W, U, R c S~W~URUS S, W, U, S c (S~W)~(U|S)US S, W, U, T c S~U{W~TUS S, W, U, U c W~(U|S{U)US S, W, U, W c (S{W)~U|WUS S, W, V, P c S~(W{V{P)US S, W, V, Q c S~V~Q{WUS S, W, V, R c (S{V|R)~WUS S, W, V, S c S{(W{V)~SUS S, W, V, T c (S~W)~(V|T)US S, W, V, V c S~(V{V){WUS S, W, V, X c (S~W)~(X|V)US S, W, W, O c S~(W{W){OUS S, W, W, P c S~(W{W)~PUS S, W, W, Q c (S{WQ)~WUS S, W, W, R c S~(W~R|W)US S, W, W, S c S{W~W|SUS S, W, W, T c (S{T)~W|WUS S, W, W, U c (S~W)~(W|U)US S, W, W, W c (W|S)~(W{W)US S, W, X, P c S~(W{X|P)US S, W, X, Q c S~X~Q|WUS S, W, X, R c W~(X|S{R)US S, W, X, S c S~(W{X)|SUS S, W, X, T c (S{X|T)~WUS S, W, X, V c (S~W)~(X|V)US S, W, X, X c S~(X{X)|WUS S, X, O, V c S~(X{O{V)US S, X, P, Q c S~(X|P)~QUS S, X, P, R c (S{R)~X{PUS S, X, P, S c (S{S)~(X|P)US S, X, P, T c (S{X)~T|PUS S, X, P, U c S{(X{P)~UUS S, X, P, V c S~(X{P~V)US S, X, P, W c S~(X|P{W)US S, X, Q, P c S~(X|P)~QUS S, X, Q, Q c S~(X~Q|Q)US S, X, Q, S c (S~X|S)~QUS S, X, Q, T c S~(X{Q{T)US S, X, Q, W c S~X~Q|WUS S, X, Q, X c S~(X|Q{X)US S, X, R, P c (S{R)~X{PUS S, X, R, S c (S{X{R)~SUS S, X, R, T c S{(X{R)~TUS S, X, R, V c S{X~V|RUS S, X, R, W c (X|S{R)~WUS S, X, S, P c (S{S)~(X|P)US S, X, S, Q c (S~X|S)~QUS S, X, S, R c S~(X{S{R)US S, X, S, T c S~(X|T)~SUS S, X, S, U c S{(X{U)~SUS S, X, S, V c S~X{S~VUS S, X, S, W c S~(X{W)|SUS S, X, T, P c (S{X)~T|PUS S, X, T, Q c S~(X{T{Q)US S, X, T, R c S{(X{R)~TUS S, X, T, S c S~(X|T)~SUS S, X, T, T c S~(T~T|X)US S, X, T, V c (S{V)~T{XUS S, X, T, W c (S{X|T)~WUS S, X, U, P c S~(X{U{P)US S, X, U, S c S{(X{U)~SUS S, X, U, U c S{X~U{UUS S, X, V, O c S~(X{V){OUS S, X, V, P c S~(X{V)~PUS S, X, V, R c S{X~V|RUS S, X, V, S c S~X{V~SUS S, X, V, T c (S{V)~T{XUS S, X, V, W c S~(X|V)~WUS S, X, W, P c S~(X{W|P)US S, X, W, Q c S~X~Q|WUS S, X, W, R c (X|S{R)~WUS S, X, W, S c S~(X{W)|SUS S, X, W, T c (S{X|T)~WUS S, X, W, V c S~(X|V)~WUS S, X, W, X c S~(X{X)|WUS S, X, X, Q c S~(X{X|Q)US S, X, X, W c S~(X{X)|WUS T, O, R, W c (T{O{R)~WUS T, O, W, R c (T{O{R)~WUS T, O, W, W c T~O{W~WUS T, P, Q, W c (T{P{Q)~WUS T, P, Q, X c (T{Q)~X{PUS T, P, R, S c (T~R{P)~SUS T, P, R, V c (T{R)~(P{V)US T, P, R, W c (T{P~R)~WUS T, P, R, X c (T{R)~(X|P)US T, P, S, R c (T~R{P)~SUS T, P, S, S c (T|P)~(S~S)US T, P, S, V c (T{S)~V{PUS T, P, S, W c (T|P{S)~WUS T, P, S, X c T~(S{X)|PUS T, P, T, W c T~(T{W)|PUS T, P, U, V c T~(U{V)|PUS T, P, V, R c (T{R)~(P{V)US T, P, V, S c (T{S)~V{PUS T, P, V, U c T~(V{U)|PUS T, P, V, X c (T|P)~(V{X)US T, P, W, Q c (T|P)~(W~Q)US T, P, W, R c (T{P~R)~WUS T, P, W, S c (T|P{S)~WUS T, P, W, T c (T{W)~T|PUS T, P, W, W c (T|P)~(W{W)US T, P, X, Q c (T{Q)~X{PUS T, P, X, R c (T{R)~(X|P)US T, P, X, S c T~(X{S)|PUS T, P, X, V c (T|P)~(X{V)US T, Q, P, W c (T{Q{P)~WUS T, Q, P, X c (T{Q)~X{PUS T, Q, Q, U c (T~U{Q)~QUS T, Q, Q, W c (T~Q|Q)~WUS T, Q, R, S c (T{R)~(Q~S)US T, Q, R, U c (T{R)~(Q{U)US T, Q, R, V c (T~V|R)~QUS T, Q, R, X c (T{R~X)~QUS T, Q, S, R c (T{R)~(Q~S)US T, Q, S, U c (T~Q{U)~SUS T, Q, S, X c (T{Q{X)~SUS T, Q, T, V c (T~T{V)~QUS T, Q, T, W c (T|Q{T)~WUS T, Q, U, Q c (T~U{Q)~QUS T, Q, U, R c (T{R)~(Q{U)US T, Q, U, S c (T~Q{U)~SUS T, Q, U, U c (T{U)~U|QUS T, Q, U, V c T~Q~V|UUS T, Q, U, W c (T{UQ)~WUS T, Q, U, X c T~Q{U~XUS T, Q, V, R c (T~V|R)~QUS T, Q, V, T c (T~T{V)~QUS T, Q, V, U c T~Q~V|UUS T, Q, W, P c (T{Q{P)~WUS T, Q, W, Q c (T~Q|Q)~WUS T, Q, W, T c (T|Q{T)~WUS T, Q, W, U c (T{UQ)~WUS T, Q, W, W c (T{Q)~W{WUS T, Q, W, X c (Q~W)~(X|T)US T, Q, X, P c (T{Q)~X{PUS T, Q, X, R c (T{X~R)~QUS T, Q, X, S c (T{Q{X)~SUS T, Q, X, U c T~Q{X~UUS T, Q, X, W c Q~(X|T)~WUS T, Q, X, X c T~(Q{X){XUS T, R, O, W c (T{R{O)~WUS T, R, P, S c (T~R{P)~SUS T, R, P, V c (T{R)~(P{V)US T, R, P, W c (T{R)~(P~W)US T, R, P, X c (T{R)~(X|P)US T, R, Q, S c (T{R)~(Q~S)US T, R, Q, U c (T{R)~(Q{U)US T, R, Q, V c (T~V|R)~QUS T, R, Q, X c (T{R~X)~QUS T, R, R, T c (T{R)~(R{T)US T, R, S, P c (T~R{P)~SUS T, R, S, Q c (T{R)~(S~Q)US T, R, S, S c (T{R)~(S{S)US T, R, S, V c (R~V|T)~SUS T, R, S, W c (T|R)~(S~W)US T, R, S, X c T~(R{X){SUS T, R, T, R c (T{R)~(T{R)US T, R, U, Q c (T{R)~(U{Q)US T, R, U, W c (T|R{U)~WUS T, R, U, X c (TR{X)~UUS T, R, V, P c (T{R)~(V{P)US T, R, V, Q c (T~V|R)~QUS T, R, V, S c (R~V|T)~SUS T, R, V, V c T~R{V~VUS T, R, V, W c T{R{V~WUS T, R, W, O c (T{R)~(W{O)US T, R, W, P c (T{R)~(W~P)US T, R, W, S c (T{R{W)~SUS T, R, W, U c (T|R{U)~WUS T, R, W, V c T{R{W~VUS T, R, W, W c T~W{R~WUS T, R, W, X c T~(R{W){XUS T, R, X, P c (T{R)~(X|P)US T, R, X, Q c (T{R~X)~QUS T, R, X, S c T~(R{X){SUS T, R, X, U c (TR{X)~UUS T, R, X, W c (T{R)~X|WUS T, S, P, R c (T~R{P)~SUS T, S, P, S c (T|P)~(S~S)US T, S, P, V c (T{S)~V{PUS T, S, P, W c (T{S|P)~WUS T, S, P, X c T~(S{X)|PUS T, S, Q, R c (T{R)~(S~Q)US T, S, Q, U c (T~Q{U)~SUS T, S, Q, X c (T{Q{X)~SUS T, S, R, P c (T~R{P)~SUS T, S, R, Q c (T{R)~(S~Q)US T, S, R, S c T~S~R{SUS T, S, R, V c S~(R~V|T)US T, S, R, W c (T|R)~(S~W)US T, S, R, X c T~(R{X){SUS T, S, S, P c (T|P)~(S~S)US T, S, S, R c T~S~R{SUS T, S, S, S c (T~S|S)~SUS T, S, S, V c (T{S{V)~SUS T, S, S, W c T~(S{W){SUS T, S, S, X c (S~S)~(X|T)US T, S, T, U c (T{T{U)~SUS T, S, T, V c T~(T{V){SUS T, S, T, X c (T~T|X)~SUS T, S, U, Q c T~U~Q{SUS T, S, U, T c (T{U{T)~SUS T, S, U, U c T~(U{U){SUS T, S, U, W c T~W{S~UUS T, S, V, P c (T{S)~V{PUS T, S, V, R c S~(V~R|T)US T, S, V, S c (T{S{V)~SUS T, S, V, T c (T{V)~T{SUS T, S, V, W c (T|S{V)~WUS T, S, V, X c T|S{V~XUS T, S, W, P c (T{S|P)~WUS T, S, W, R c (T{W{R)~SUS T, S, W, S c T~(S{W){SUS T, S, W, U c T~W{S~UUS T, S, W, V c (T|S{V)~WUS T, S, W, W c (T{S)~W|WUS T, S, W, X c (T{X)~S{WUS T, S, X, P c T~(S{X)|PUS T, S, X, Q c (T{X{Q)~SUS T, S, X, R c T~(X{R){SUS T, S, X, S c S~(X|T)~SUS T, S, X, T c (T~T|X)~SUS T, S, X, V c T|S{X~VUS T, S, X, W c (T{X)~S{WUS T, T, P, W c T~(T{W)|PUS T, T, Q, V c (T~T{V)~QUS T, T, Q, W c (T{T|Q)~WUS T, T, R, R c (T{R)~(T{R)US T, T, S, U c (T{T{U)~SUS T, T, S, V c T~(T{V){SUS T, T, S, X c (T~T|X)~SUS T, T, U, S c (T{T{U)~SUS T, T, U, V c (T{T)~V|UUS T, T, U, X c T{T{U~XUS T, T, V, Q c (T~T{V)~QUS T, T, V, S c T~(T{V){SUS T, T, V, U c (T{T)~V|UUS T, T, V, W c (TT{V)~WUS T, T, V, X c TT{V~XUS T, T, W, P c T~(T{W)|PUS T, T, W, Q c (T{T|Q)~WUS T, T, W, V c (TT{V)~WUS T, T, W, W c T|T{W~WUS T, T, W, X c W~(X|TT)US T, T, X, S c (T~T|X)~SUS T, T, X, U c T{T{X~UUS T, T, X, V c TT{X~VUS T, T, X, W c (X|TT)~WUS T, U, P, V c T~(U{V)|PUS T, U, Q, Q c (T~U{Q)~QUS T, U, Q, R c (T{R)~(U{Q)US T, U, Q, S c T~U~Q{SUS T, U, Q, U c (T{U)~U|QUS T, U, Q, V c T~Q~V|UUS T, U, Q, W c (T{UQ)~WUS T, U, Q, X c T~Q{U~XUS T, U, R, Q c (T{R)~(U{Q)US T, U, R, W c (T{U|R)~WUS T, U, R, X c (TR{X)~UUS T, U, S, Q c T~U~Q{SUS T, U, S, T c (T{U{T)~SUS T, U, S, U c T~(U{U){SUS T, U, S, W c T~W{U~SUS T, U, T, S c (T{U{T)~SUS T, U, T, V c (T{T)~V|UUS T, U, T, X c (T{U)~T{XUS T, U, U, Q c (T{U)~U|QUS T, U, U, S c T~(U{U){SUS T, U, U, W c T~(U{W)|UUS T, U, V, P c T~(U{V)|PUS T, U, V, Q c T~V~Q|UUS T, U, V, T c (T{T)~V|UUS T, U, V, V c T~(V{V)|UUS T, U, V, W c (T{V)~U|WUS T, U, V, X c U|T{V~XUS T, U, W, Q c (T{UQ)~WUS T, U, W, R c (T{U|R)~WUS T, U, W, S c T~W{U~SUS T, U, W, U c T~(U{W)|UUS T, U, W, V c (T{V)~U|WUS T, U, W, W c (U|T)~(W~W)US T, U, W, X c (T{X|U)~WUS T, U, X, Q c T~Q{U~XUS T, U, X, R c (TR{X)~UUS T, U, X, T c T{U~X{TUS T, U, X, V c U|T{X~VUS T, U, X, W c (T{X|U)~WUS T, V, P, R c (T{R)~(V{P)US T, V, P, S c (T{S)~V{PUS T, V, P, U c T~(V{U)|PUS T, V, P, X c (T|P)~(V{X)US T, V, Q, R c (T~V|R)~QUS T, V, Q, T c (T~T{V)~QUS T, V, Q, U c T~V~Q|UUS T, V, R, P c (T{R)~(V{P)US T, V, R, Q c (T~V|R)~QUS T, V, R, S c (V~R|T)~SUS T, V, R, V c T~R{V~VUS T, V, R, W c T{V~W{RUS T, V, S, P c (T{S)~V{PUS T, V, S, R c (V~R|T)~SUS T, V, S, S c (T{V{S)~SUS T, V, S, T c (T{V)~T{SUS T, V, S, W c (T{V|S)~WUS T, V, S, X c T~(V{S){XUS T, V, T, Q c (T~T{V)~QUS T, V, T, S c (T{V)~T{SUS T, V, T, U c (T{T)~V|UUS T, V, T, W c (TT{V)~WUS T, V, T, X c TT{V~XUS T, V, U, P c T~(V{U)|PUS T, V, U, Q c T~V~Q|UUS T, V, U, T c (T{T)~V|UUS T, V, U, V c T~(V{V)|UUS T, V, U, W c (T{V)~U|WUS T, V, U, X c V~X|T{UUS T, V, V, R c T~R{V~VUS T, V, V, U c T~(V{V)|UUS T, V, W, R c T{V~W{RUS T, V, W, S c (T{V|S)~WUS T, V, W, T c (TT{V)~WUS T, V, W, U c (T{V)~U|WUS T, V, X, P c (T|P)~(V{X)US T, V, X, S c T{V~X|SUS T, V, X, T c TT{V~XUS T, V, X, U c V~X|T{UUS T, V, X, X c (V{X)~(X|T)US T, W, O, R c (T{O{R)~WUS T, W, O, W c T~O{W~WUS T, W, P, Q c (T|P)~(W~Q)US T, W, P, R c (T{P~R)~WUS T, W, P, S c (T|P{S)~WUS T, W, P, T c (T{W)~T|PUS T, W, P, W c (T|P)~(W{W)US T, W, Q, P c (T{Q{P)~WUS T, W, Q, Q c (T~Q|Q)~WUS T, W, Q, T c (T|Q{T)~WUS T, W, Q, U c (T{UQ)~WUS T, W, Q, W c (T~W|W)~QUS T, W, Q, X c (W~Q)~(X|T)US T, W, R, O c (T{R)~(W{O)US T, W, R, P c (T{R)~(W~P)US T, W, R, S c (T{W{R)~SUS T, W, R, U c (T|R{U)~WUS T, W, R, V c T{W~V{RUS T, W, R, W c T~W{R~WUS T, W, R, X c T~(W{R){XUS T, W, S, P c (T{S|P)~WUS T, W, S, R c (T{W{R)~SUS T, W, S, S c T~(W{S){SUS T, W, S, U c T~W{S~UUS T, W, S, V c (T|S{V)~WUS T, W, S, W c (T{S)~W|WUS T, W, S, X c (T{X)~S{WUS T, W, T, P c (T{W)~T|PUS T, W, T, Q c (T{T|Q)~WUS T, W, T, V c (TT{V)~WUS T, W, T, W c (T{W|T)~WUS T, W, T, X c W~(X|TT)US T, W, U, Q c (T{UQ)~WUS T, W, U, R c (T{U|R)~WUS T, W, U, S c T~W{U~SUS T, W, U, U c T~(W{U)|UUS T, W, U, V c (T{V)~U|WUS T, W, U, W c W~(U|T)~WUS T, W, U, X c (T{X|U)~WUS T, W, V, R c T{W~V{RUS T, W, V, S c (T{V|S)~WUS T, W, V, T c (TT{V)~WUS T, W, V, U c (T{V)~U|WUS T, W, W, O c T~O{W~WUS T, W, W, P c (T|P)~(W{W)US T, W, W, Q c (T~W|W)~QUS T, W, W, R c T~W{W~RUS T, W, W, S c (T{S)~W|WUS T, W, W, T c T{W~W|TUS T, W, W, U c (W~W)~(U|T)US T, W, W, X c (W{W)~(X|T)US T, W, X, Q c W~(X|T)~QUS T, W, X, R c T~(W{R){XUS T, W, X, S c (T{X)~S{WUS T, W, X, T c W~(X|TT)US T, W, X, U c (T{X|U)~WUS T, W, X, W c (W{W)~(X|T)US T, X, P, Q c (T{Q)~X{PUS T, X, P, R c (T{R)~(X|P)US T, X, P, S c T~(X{S)|PUS T, X, P, V c (T|P)~(X{V)US T, X, Q, P c (T{Q)~X{PUS T, X, Q, R c (T{X~R)~QUS T, X, Q, S c (T{X{Q)~SUS T, X, Q, U c T~Q{X~UUS T, X, Q, W c (X|T)~(Q~W)US T, X, Q, X c T~(X{Q){XUS T, X, R, P c (T{R)~(X|P)US T, X, R, Q c (T{X~R)~QUS T, X, R, S c T~(X{R){SUS T, X, R, U c (TR{X)~UUS T, X, R, W c (T{XR)~WUS T, X, S, P c T~(X{S)|PUS T, X, S, Q c (T{X{Q)~SUS T, X, S, R c T~(X{R){SUS T, X, S, S c (X|T)~(S~S)US T, X, S, T c (T~T|X)~SUS T, X, S, V c T{X~V|SUS T, X, S, W c (T{X)~S{WUS T, X, T, S c (T~T|X)~SUS T, X, T, U c (T{X)~T|UUS T, X, T, V c TT{X~VUS T, X, T, W c (X|TT)~WUS T, X, U, Q c T~Q{X~UUS T, X, U, R c (TR{X)~UUS T, X, U, T c T{X~U{TUS T, X, U, V c X~V|T{UUS T, X, U, W c (T{X|U)~WUS T, X, V, P c (T|P)~(X{V)US T, X, V, S c T{X~V|SUS T, X, V, T c TT{X~VUS T, X, V, U c X~V|T{UUS T, X, V, X c (X|T)~(V{X)US T, X, W, Q c (X|T)~(W~Q)US T, X, W, R c (T{XR)~WUS T, X, W, S c (T{X)~S{WUS T, X, W, T c (X|TT)~WUS T, X, W, U c (T{X|U)~WUS T, X, W, W c (X|T)~(W{W)US T, X, X, Q c T~(X{Q){XUS T, X, X, V c (X|T)~(X{V)US U, O, Q, W c (U{O{Q)~WUS U, O, W, Q c (U{O{Q)~WUS U, O, W, W c U~O{W~WUS U, P, P, W c (U{P{P)~WUS U, P, P, X c (U{P)~X{PUS U, P, Q, V c (U{Q)~(P{V)US U, P, Q, W c (U{P~Q)~WUS U, P, Q, X c (U{Q)~(X|P)US U, P, R, V c (U{R)~V{PUS U, P, R, W c (U|P{R)~WUS U, P, S, X c (U{P{X)~SUS U, P, T, V c (U{V)~T|PUS U, P, V, Q c (U{Q)~(P{V)US U, P, V, R c (U{R)~V{PUS U, P, V, T c (U{V)~T|PUS U, P, V, X c (P{X)~V|UUS U, P, W, P c (U{P{P)~WUS U, P, W, Q c (U{P~Q)~WUS U, P, W, R c (U|P{R)~WUS U, P, W, W c (U{P)~W{WUS U, P, X, P c (U{P)~X{PUS U, P, X, Q c (U{Q)~(X|P)US U, P, X, S c (U{P{X)~SUS U, P, X, V c (P{X)~V|UUS U, P, X, X c U~X{P{XUS U, Q, O, W c (U{Q{O)~WUS U, Q, P, V c (U{Q)~(P{V)US U, Q, P, W c (U{Q)~(P~W)US U, Q, P, X c (U{Q)~(X|P)US U, Q, Q, S c (U{Q)~(Q~S)US U, Q, Q, T c (U~T{Q)~QUS U, Q, Q, U c (U{Q)~(Q{U)US U, Q, Q, W c (U|Q)~(Q~W)US U, Q, Q, X c U~(Q{X)|QUS U, Q, R, S c (U~R|Q)~SUS U, Q, R, T c (U{Q)~(R{T)US U, Q, R, W c U~(R{W)|QUS U, Q, S, Q c (U{Q)~(S~Q)US U, Q, S, R c (U~R|Q)~SUS U, Q, S, S c (U{Q)~(S{S)US U, Q, S, T c (U{Q~T)~SUS U, Q, S, U c (U~U|S)~QUS U, Q, S, V c U~(S{V)|QUS U, Q, S, W c (U|Q{S)~WUS U, Q, T, Q c (U~T{Q)~QUS U, Q, T, R c (U{Q)~(T{R)US U, Q, T, S c (U{Q~T)~SUS U, Q, T, U c (U{T)~U|QUS U, Q, T, V c Q~T~V|UUS U, Q, T, W c (UQ{T)~WUS U, Q, T, X c U~X{Q~TUS U, Q, U, Q c (U{Q)~(U{Q)US U, Q, U, S c (U~U|S)~QUS U, Q, U, T c U~(U{T)|QUS U, Q, U, W c U~Q~U|WUS U, Q, V, P c (U{Q)~(V{P)US U, Q, V, S c U~(V{S)|QUS U, Q, V, T c Q~V~T|UUS U, Q, V, W c U{Q{V~WUS U, Q, V, X c (U|Q)~(V{X)US U, Q, W, O c (U{Q)~(W{O)US U, Q, W, P c (U{Q)~(W~P)US U, Q, W, Q c (U|Q)~(W~Q)US U, Q, W, R c U~(W{R)|QUS U, Q, W, S c (U{Q{W)~SUS U, Q, W, T c (UQ{T)~WUS U, Q, W, U c U~Q~U|WUS U, Q, W, V c U{Q{W~VUS U, Q, W, W c (U|Q)~(W{W)US U, Q, W, X c (U{Q)~X|WUS U, Q, X, P c (U{Q)~(X|P)US U, Q, X, Q c U~(Q{X)|QUS U, Q, X, T c U~X{Q~TUS U, Q, X, V c (U|Q)~(X{V)US U, Q, X, W c (U{Q)~X|WUS U, R, P, V c (U{R)~V{PUS U, R, P, W c (U{R|P)~WUS U, R, Q, S c (U~R|Q)~SUS U, R, Q, T c (U{Q)~(R{T)US U, R, Q, W c U~(R{W)|QUS U, R, S, Q c (U~R|Q)~SUS U, R, S, V c (U{R{V)~SUS U, R, S, W c U~R~S|WUS U, R, T, Q c (U{Q)~(R{T)US U, R, T, W c (U|R{T)~WUS U, R, T, X c U~(TR{X)US U, R, U, W c (UR{U)~WUS U, R, V, P c (U{R)~V{PUS U, R, V, S c (U{R{V)~SUS U, R, V, V c (R{V)~V|UUS U, R, V, X c U~X{R{VUS U, R, W, P c (U{R|P)~WUS U, R, W, Q c U~(R{W)|QUS U, R, W, S c UR~W~SUS U, R, W, T c (U|R{T)~WUS U, R, W, U c (UR{U)~WUS U, R, W, W c (U{R)~W|WUS U, R, W, X c U~(R{X)|WUS U, R, X, T c U~(X{TR)US U, R, X, V c U~X{R{VUS U, R, X, W c U~(R{X)|WUS U, S, P, X c (U{P{X)~SUS U, S, Q, Q c (U{Q)~(S~Q)US U, S, Q, R c (U~R|Q)~SUS U, S, Q, S c (U{Q)~(S{S)US U, S, Q, T c (U{Q~T)~SUS U, S, Q, U c (U~U|S)~QUS U, S, Q, V c U~(S{V)|QUS U, S, Q, W c (U{S|Q)~WUS U, S, R, Q c (U~R|Q)~SUS U, S, R, V c (U{R{V)~SUS U, S, R, W c U~S~R|WUS U, S, S, Q c (U{Q)~(S{S)US U, S, S, U c (U{S{U)~SUS U, S, S, W c (U|S)~(S~W)US U, S, S, X c (U{X)~S{SUS U, S, T, Q c (U{T~Q)~SUS U, S, T, T c (U{T{T)~SUS U, S, T, U c (U{U)~T{SUS U, S, T, W c U~S{T~WUS U, S, U, Q c (U~U|S)~QUS U, S, U, S c (U{S{U)~SUS U, S, U, T c (U{U)~T{SUS U, S, U, V c (U{S)~V|UUS U, S, U, W c (U|S{U)~WUS U, S, U, X c U{S{U~XUS U, S, V, Q c U~(S{V)|QUS U, S, V, R c (U{V{R)~SUS U, S, V, U c (U{S)~V|UUS U, S, W, Q c (U~S{W)~QUS U, S, W, R c U~S~WRUS U, S, W, S c (U|S)~(W~S)US U, S, W, T c U~S{W~TUS U, S, W, U c (U|S{U)~WUS U, S, W, W c U~(S{W)|WUS U, S, X, P c (U{X{P)~SUS U, S, X, S c (U{X)~S{SUS U, S, X, U c U{S{X~UUS U, T, P, V c (U{V)~T|PUS U, T, Q, Q c (U~T{Q)~QUS U, T, Q, R c (U{Q)~(T{R)US U, T, Q, S c (U{T~Q)~SUS U, T, Q, U c (U{T)~U|QUS U, T, Q, V c T~Q~V|UUS U, T, Q, W c (UQ{T)~WUS U, T, Q, X c U~X{T~QUS U, T, R, Q c (U{Q)~(T{R)US U, T, R, W c (U{T|R)~WUS U, T, R, X c U~(TR{X)US U, T, S, Q c (U{T~Q)~SUS U, T, S, T c (U{T{T)~SUS U, T, S, U c (U{U)~T{SUS U, T, S, W c U~S{T~WUS U, T, T, S c (U{T{T)~SUS U, T, T, V c (T{T)~V|UUS U, T, T, X c (U{T)~T{XUS U, T, U, Q c (U{T)~U|QUS U, T, U, S c (U{U)~T{SUS U, T, U, W c (U{W)~T|UUS U, T, V, P c (U{V)~T|PUS U, T, V, Q c T~V~Q|UUS U, T, V, T c (T{T)~V|UUS U, T, V, V c T~(V{V)|UUS U, T, V, W c (U|T{V)~WUS U, T, V, X c U|T{V~XUS U, T, W, Q c (UQ{T)~WUS U, T, W, R c (U{T|R)~WUS U, T, W, S c U~S{T~WUS U, T, W, U c (U{W)~T|UUS U, T, W, V c (U|T{V)~WUS U, T, W, W c (U|T)~(W~W)US U, T, W, X c (T{X|U)~WUS U, T, X, Q c U~X{T~QUS U, T, X, R c U~(TR{X)US U, T, X, T c (U{T)~T{XUS U, T, X, V c U|T{X~VUS U, T, X, W c (T{X|U)~WUS U, U, Q, Q c (U{Q)~(U{Q)US U, U, Q, S c (U~U|S)~QUS U, U, Q, T c U~(U{T)|QUS U, U, Q, W c U~U~Q|WUS U, U, R, W c (U{UR)~WUS U, U, S, Q c (U~U|S)~QUS U, U, S, S c (U{U{S)~SUS U, U, S, T c (U{U)~T{SUS U, U, S, V c U~U{S~VUS U, U, S, W c (U{U|S)~WUS U, U, S, X c U{U~X{SUS U, U, T, Q c U~(U{T)|QUS U, U, T, S c (U{U)~T{SUS U, U, T, W c (U{W)~T|UUS U, U, U, W c (U{U)~U|WUS U, U, V, S c U~U{V~SUS U, U, V, W c (UU{V)~WUS U, U, V, X c UU{V~XUS U, U, W, Q c U~U~Q|WUS U, U, W, R c (U{UR)~WUS U, U, W, S c (U{U|S)~WUS U, U, W, T c (U{W)~T|UUS U, U, W, U c (U{U)~U|WUS U, U, W, V c (UU{V)~WUS U, U, W, W c U|U{W~WUS U, U, W, X c W~(X|UU)US U, U, X, S c U{U~X{SUS U, U, X, V c UU{X~VUS U, U, X, W c (X|UU)~WUS U, V, P, Q c (U{Q)~(V{P)US U, V, P, R c (U{R)~V{PUS U, V, P, T c (U{V)~T|PUS U, V, P, X c V~(P{X)|UUS U, V, Q, P c (U{Q)~(V{P)US U, V, Q, S c U~(V{S)|QUS U, V, Q, T c V~Q~T|UUS U, V, Q, W c U{V~W{QUS U, V, Q, X c (U|Q)~(V{X)US U, V, R, P c (U{R)~V{PUS U, V, R, S c (U{V{R)~SUS U, V, R, V c (V{R)~V|UUS U, V, R, X c U~X{V{RUS U, V, S, Q c U~(V{S)|QUS U, V, S, R c (U{V{R)~SUS U, V, S, U c (U{S)~V|UUS U, V, T, P c (U{V)~T|PUS U, V, T, Q c V~T~Q|UUS U, V, T, T c V~(T{T)|UUS U, V, T, V c (V{V)~T|UUS U, V, T, W c (U{V|T)~WUS U, V, T, X c U{V~X|TUS U, V, U, S c U~U{V~SUS U, V, U, W c (UU{V)~WUS U, V, U, X c UU{V~XUS U, V, V, R c V~(V{R)|UUS U, V, V, T c (V{V)~T|UUS U, V, V, W c (V|U{V)~WUS U, V, V, X c U{V~V{XUS U, V, W, Q c U{V~W{QUS U, V, W, T c (U{V|T)~WUS U, V, W, U c (UU{V)~WUS U, V, W, V c (V|U{V)~WUS U, V, W, W c (V|U)~(W~W)US U, V, W, X c U~W{V{XUS U, V, X, P c V~(X{P)|UUS U, V, X, Q c (U|Q)~(V{X)US U, V, X, R c U~X{V{RUS U, V, X, T c U{V~X|TUS U, V, X, U c UU{V~XUS U, V, X, V c U{V~V{XUS U, V, X, W c (U{X|V)~WUS U, W, O, Q c (U{O{Q)~WUS U, W, O, W c U~O{W~WUS U, W, P, P c (U{P{P)~WUS U, W, P, Q c (U{P~Q)~WUS U, W, P, R c (U|P{R)~WUS U, W, P, W c (U{P)~W{WUS U, W, Q, O c (U{Q)~(W{O)US U, W, Q, P c (U{Q)~(W~P)US U, W, Q, Q c (U|Q)~(W~Q)US U, W, Q, R c U~(W{R)|QUS U, W, Q, S c (U{W{Q)~SUS U, W, Q, T c (UQ{T)~WUS U, W, Q, U c U~Q~U|WUS U, W, Q, V c U{W~V{QUS U, W, Q, W c U~W{Q~WUS U, W, Q, X c (U{Q)~X|WUS U, W, R, P c (U{R|P)~WUS U, W, R, Q c U~(W{R)|QUS U, W, R, S c U~WR~SUS U, W, R, T c (U|R{T)~WUS U, W, R, U c (UR{U)~WUS U, W, R, W c U~(WR{W)US U, W, R, X c U~(R{X)|WUS U, W, S, Q c (U{W{Q)~SUS U, W, S, R c U~W~SRUS U, W, S, S c U~W{S~SUS U, W, S, T c U~S{W~TUS U, W, S, U c (U|S{U)~WUS U, W, S, W c (U{W)~S{WUS U, W, T, Q c (UQ{T)~WUS U, W, T, R c (U{T|R)~WUS U, W, T, S c U~S{W~TUS U, W, T, U c (U{W)~T|UUS U, W, T, V c (U|T{V)~WUS U, W, T, W c (U|T)~(W~W)US U, W, T, X c W~(T{X|U)US U, W, U, Q c U~U~Q|WUS U, W, U, R c (U{UR)~WUS U, W, U, S c (U{U|S)~WUS U, W, U, T c (U{W)~T|UUS U, W, U, U c (U{U)~U|WUS U, W, U, V c (UU{V)~WUS U, W, U, W c (U{W|U)~WUS U, W, U, X c W~(X|UU)US U, W, V, Q c U{W~V{QUS U, W, V, T c (U{V|T)~WUS U, W, V, U c (UU{V)~WUS U, W, V, V c W~(V|U{V)US U, W, V, W c W~(V|U)~WUS U, W, V, X c U~W{V{XUS U, W, W, O c U~O{W~WUS U, W, W, P c (U{P)~W{WUS U, W, W, Q c U~W{W~QUS U, W, W, R c U~(W{WR)US U, W, W, S c (U{W)~S{WUS U, W, W, T c (U|T)~(W~W)US U, W, W, U c U{W~W|UUS U, W, W, V c (W~W)~(V|U)US U, W, W, W c U~W{W{WUS U, W, X, Q c U~X{W{QUS U, W, X, R c U~(X{R)|WUS U, W, X, T c W~(X|U{T)US U, W, X, U c W~(X|UU)US U, W, X, V c U~W{X{VUS U, X, P, P c (U{P)~X{PUS U, X, P, Q c (U{Q)~(X|P)US U, X, P, S c (U{X{P)~SUS U, X, P, V c (X{P)~V|UUS U, X, P, X c U~X{P{XUS U, X, Q, P c (U{Q)~(X|P)US U, X, Q, Q c U~(X{Q)|QUS U, X, Q, T c U~X{Q~TUS U, X, Q, V c (U|Q)~(X{V)US U, X, Q, W c U~X{Q{WUS U, X, R, T c U~(X{TR)US U, X, R, V c U~X{R{VUS U, X, R, W c U~(X{R)|WUS U, X, S, P c (U{X{P)~SUS U, X, S, S c (U{X)~S{SUS U, X, S, U c U~X{S{UUS U, X, T, Q c U~X{T~QUS U, X, T, R c U~(X{TR)US U, X, T, T c U~X{T{TUS U, X, T, V c U{X~V|TUS U, X, T, W c (X|U{T)~WUS U, X, U, S c U{X~U{SUS U, X, U, V c UU{X~VUS U, X, U, W c (X|UU)~WUS U, X, V, P c (X{P)~V|UUS U, X, V, Q c (U|Q)~(X{V)US U, X, V, R c U~X{V{RUS U, X, V, T c U{X~V|TUS U, X, V, U c UU{X~VUS U, X, V, V c U{X{V~VUS U, X, V, W c (U{X|V)~WUS U, X, W, Q c U~X{W{QUS U, X, W, R c U~(X{R)|WUS U, X, W, T c (X|U{T)~WUS U, X, W, U c (X|UU)~WUS U, X, W, V c (U{X|V)~WUS U, X, X, P c U~X{X{PUS V, O, P, W c (V{O{P)~WUS V, O, P, X c (V{O)~X{PUS V, O, S, X c (V{O{X)~SUS V, O, W, P c (V{O{P)~WUS V, O, W, W c (V{O)~W{WUS V, O, X, P c (V{O)~X{PUS V, O, X, S c (V{O{X)~SUS V, P, O, W c (V{P{O)~WUS V, P, O, X c (V{O)~X{PUS V, P, P, V c (V{P)~(P{V)US V, P, P, W c (V{P)~(P~W)US V, P, P, X c (V{P)~(X|P)US V, P, Q, S c (V{P)~(Q~S)US V, P, Q, U c (V{P)~(Q{U)US V, P, Q, V c (V{Q)~V{PUS V, P, Q, W c (V|P{Q)~WUS V, P, Q, X c V~X|P{QUS V, P, R, R c V~R~R{PUS V, P, R, T c (V{P)~(R{T)US V, P, R, U c V~(R{U){PUS V, P, R, X c (V{X)~(P{R)US V, P, S, Q c (V{P)~(S~Q)US V, P, S, S c (V{P)~(S{S)US V, P, S, T c V~(S{T){PUS V, P, S, W c (V{P{W)~SUS V, P, S, X c (V{P~X)~SUS V, P, T, R c (V{P)~(T{R)US V, P, T, S c V~(T{S){PUS V, P, T, U c (V{U)~T|PUS V, P, T, X c (V{X)~(T|P)US V, P, U, Q c (V{P)~(U{Q)US V, P, U, R c V~(U{R){PUS V, P, U, T c (V{U)~T|PUS V, P, U, X c V~(P{X)|UUS V, P, V, P c (V{P)~(V{P)US V, P, V, Q c V~(V{Q){PUS V, P, V, W c V{P{V~WUS V, P, V, X c V~(PV{X)US V, P, W, O c (V{P)~(W{O)US V, P, W, P c (V{P)~(W~P)US V, P, W, Q c (V|P{Q)~WUS V, P, W, S c (V{P{W)~SUS V, P, W, V c V{P{W~VUS V, P, W, W c V~P~W{WUS V, P, W, X c (V{P)~X|WUS V, P, X, O c V~X{P{OUS V, P, X, P c (V{P)~(X|P)US V, P, X, Q c V~X|P{QUS V, P, X, R c (V{X)~(P{R)US V, P, X, S c (V{P~X)~SUS V, P, X, T c (V{X)~(T|P)US V, P, X, U c V~(P{X)|UUS V, P, X, V c V~(PV{X)US V, P, X, W c (V{P)~X|WUS V, P, X, X c (V{PX)~XUS V, Q, P, S c (V{P)~(Q~S)US V, Q, P, U c (V{P)~(Q{U)US V, Q, P, V c (V{Q)~V{PUS V, Q, P, W c (V{Q|P)~WUS V, Q, P, X c V~X{Q|PUS V, Q, Q, S c (V~Q{Q)~SUS V, Q, Q, W c (V{QQ)~WUS V, Q, Q, X c (V{X)~(Q{Q)US V, Q, R, T c (V~T|R)~QUS V, Q, R, W c (V|Q{R)~WUS V, Q, R, X c V~X|Q{RUS V, Q, S, P c (V{P)~(Q~S)US V, Q, S, Q c (V~Q{Q)~SUS V, Q, S, S c (V~S{S)~QUS V, Q, S, U c (V{S)~U|QUS V, Q, S, V c (V{Q{V)~SUS V, Q, S, W c V~Q~S{WUS V, Q, T, R c (V~T|R)~QUS V, Q, T, T c (V{T~T)~QUS V, Q, T, U c V~Q~T|UUS V, Q, U, P c (V{P)~(Q{U)US V, Q, U, S c (V{S)~U|QUS V, Q, U, T c V~Q~T|UUS V, Q, U, W c V~(Q{U){WUS V, Q, U, X c (V{X)~(U|Q)US V, Q, V, P c (V{Q)~V{PUS V, Q, V, S c (V{Q{V)~SUS V, Q, W, P c (V{Q|P)~WUS V, Q, W, Q c (V{QQ)~WUS V, Q, W, R c (V|Q{R)~WUS V, Q, W, S c V~Q~S{WUS V, Q, W, U c V~(Q{W)|UUS V, Q, W, W c (V{Q)~W|WUS V, Q, W, X c (V{X)Q~WUS V, Q, X, P c V~X{Q|PUS V, Q, X, Q c (V{X)~(Q{Q)US V, Q, X, R c V~X|Q{RUS V, Q, X, U c (V{X)~(U|Q)US V, Q, X, W c (V{X)Q~WUS V, R, P, R c V~R~R{PUS V, R, P, T c (V{P)~(R{T)US V, R, P, U c V~(R{U){PUS V, R, P, X c (V{X)~(R{P)US V, R, Q, T c (V~T|R)~QUS V, R, Q, W c (V{R|Q)~WUS V, R, Q, X c V~X{R|QUS V, R, R, P c V~R~R{PUS V, R, R, S c (V{R~R)~SUS V, R, R, W c (V{RR)~WUS V, R, R, X c V~X{RRUS V, R, S, R c (V{R~R)~SUS V, R, S, S c (V|R)~(S~S)US V, R, S, T c (V~R|T)~SUS V, R, S, U c (V{R{U)~SUS V, R, S, W c (V|R{S)~WUS V, R, S, X c V~X|R{SUS V, R, T, P c (V{P)~(R{T)US V, R, T, Q c (V~T|R)~QUS V, R, T, S c (V~R|T)~SUS V, R, T, V c V~V{R~TUS V, R, T, W c V~(R{T){WUS V, R, U, P c V~(R{U){PUS V, R, U, S c (V{R{U)~SUS V, R, U, V c (V{R)~V|UUS V, R, U, X c V{R{U~XUS V, R, V, T c V~V{R~TUS V, R, V, U c (V{R)~V|UUS V, R, V, X c (V|R)~(V{X)US V, R, W, Q c (V|R)~(W~Q)US V, R, W, R c (V{RR)~WUS V, R, W, S c (V|R{S)~WUS V, R, W, T c V~(R{T){WUS V, R, W, W c (V|R)~(W{W)US V, R, X, P c (V{X)~(R{P)US V, R, X, Q c V~X{R|QUS V, R, X, R c V~X{RRUS V, R, X, S c V~X|R{SUS V, R, X, U c V{R{X~UUS V, R, X, V c (V|R)~(X{V)US V, S, O, X c (V{O{X)~SUS V, S, P, Q c (V{P)~(S~Q)US V, S, P, S c (V{P)~(S{S)US V, S, P, T c V~(S{T){PUS V, S, P, W c (V{P{W)~SUS V, S, P, X c (V{P~X)~SUS V, S, Q, P c (V{P)~(S~Q)US V, S, Q, Q c (V~Q{Q)~SUS V, S, Q, S c (V~S{S)~QUS V, S, Q, U c (V{S)~U|QUS V, S, Q, V c (V{Q{V)~SUS V, S, Q, W c V~S~Q{WUS V, S, R, R c (V{R~R)~SUS V, S, R, S c (V|R)~(S~S)US V, S, R, T c (V~R|T)~SUS V, S, R, U c (V{R{U)~SUS V, S, R, W c (V{S|R)~WUS V, S, R, X c V~X{S|RUS V, S, S, P c (V{P)~(S{S)US V, S, S, Q c (V~S{S)~QUS V, S, S, R c (V|R)~(S~S)US V, S, S, T c (V{S{T)~SUS V, S, S, W c (V{SS)~WUS V, S, S, X c V~S{S~XUS V, S, T, P c V~(S{T){PUS V, S, T, R c (V~R|T)~SUS V, S, T, S c (V{S{T)~SUS V, S, T, T c (V{T)~T{SUS V, S, T, W c (V|S{T)~WUS V, S, T, X c (V{S)~T{XUS V, S, U, Q c (V{S)~U|QUS V, S, U, R c (V{U{R)~SUS V, S, U, U c V~(S{U)|UUS V, S, V, Q c (V{V{Q)~SUS V, S, V, W c (V{V)~S{WUS V, S, W, P c (V{W{P)~SUS V, S, W, Q c V~S~Q{WUS V, S, W, R c (V{S|R)~WUS V, S, W, S c (V{SS)~WUS V, S, W, T c (V|S{T)~WUS V, S, W, V c (V{V)~S{WUS V, S, W, X c (V{X)~(W|S)US V, S, X, O c (V{X)~(S{O)US V, S, X, P c (V{X)~(S~P)US V, S, X, R c V~X{S|RUS V, S, X, S c V~S{X~SUS V, S, X, T c (V{S)~T{XUS V, S, X, W c (V{X)~(W|S)US V, T, P, R c (V{P)~(T{R)US V, T, P, S c V~(T{S){PUS V, T, P, U c (V{U)~T|PUS V, T, P, X c (V{X)~(T|P)US V, T, Q, R c (V~T|R)~QUS V, T, Q, T c (V{T~T)~QUS V, T, Q, U c V~T~Q|UUS V, T, R, P c (V{P)~(T{R)US V, T, R, Q c (V~T|R)~QUS V, T, R, S c (V~R|T)~SUS V, T, R, V c V~V{T~RUS V, T, R, W c V~(T{R){WUS V, T, S, P c V~(T{S){PUS V, T, S, R c (V~R|T)~SUS V, T, S, S c (V{T{S)~SUS V, T, S, T c (V{T)~T{SUS V, T, S, W c (V{T|S)~WUS V, T, S, X c (V{S)~T{XUS V, T, T, Q c (V{T~T)~QUS V, T, T, S c (V{T)~T{SUS V, T, T, U c V~(T{T)|UUS V, T, T, W c (V{TT)~WUS V, T, T, X c V~X{TTUS V, T, U, P c (V{U)~T|PUS V, T, U, Q c V~T~Q|UUS V, T, U, T c V~(T{T)|UUS V, T, U, V c (V{V)~T|UUS V, T, U, W c (V{T)~U|WUS V, T, U, X c V~X|T{UUS V, T, V, R c V~V{T~RUS V, T, V, U c (V{V)~T|UUS V, T, W, R c V~(T{R){WUS V, T, W, S c (V|T)~(W~S)US V, T, W, T c (V{TT)~WUS V, T, W, U c (V{T)~U|WUS V, T, X, P c (V{X)~(T|P)US V, T, X, S c V~X{T|SUS V, T, X, T c V~X{TTUS V, T, X, U c V~X|T{UUS V, T, X, X c (V{X)~(X|T)US V, U, P, Q c (V{P)~(U{Q)US V, U, P, R c V~(U{R){PUS V, U, P, T c (V{U)~T|PUS V, U, P, X c V~(P{X)|UUS V, U, Q, P c (V{P)~(U{Q)US V, U, Q, S c (V{S)~U|QUS V, U, Q, T c V~Q~T|UUS V, U, Q, W c V~(U{Q){WUS V, U, Q, X c (V{X)~(U|Q)US V, U, R, P c V~(U{R){PUS V, U, R, S c (V{U{R)~SUS V, U, R, V c (V{R)~V|UUS V, U, R, X c V{U~X{RUS V, U, S, Q c (V{S)~U|QUS V, U, S, R c (V{U{R)~SUS V, U, S, U c V~(U{S)|UUS V, U, T, P c (V{U)~T|PUS V, U, T, Q c V~T~Q|UUS V, U, T, T c V~(T{T)|UUS V, U, T, V c (V{V)~T|UUS V, U, T, W c (V{U|T)~WUS V, U, T, X c V~X{U|TUS V, U, U, S c V~(U{S)|UUS V, U, U, W c (V{UU)~WUS V, U, U, X c V~X{UUUS V, U, V, R c V~(V{R)|UUS V, U, V, T c (V{V)~T|UUS V, U, V, W c (V|U{V)~WUS V, U, V, X c V|U{V~XUS V, U, W, Q c V~(U{Q){WUS V, U, W, T c (V{U|T)~WUS V, U, W, U c (V{UU)~WUS V, U, W, V c (V|U{V)~WUS V, U, W, W c (V|U)~(W~W)US V, U, W, X c V{U~W{XUS V, U, X, P c V~(X{P)|UUS V, U, X, Q c (V{X)~(U|Q)US V, U, X, R c V{U~X{RUS V, U, X, T c V~X{U|TUS V, U, X, U c V~X{UUUS V, U, X, V c V|U{X~VUS V, U, X, W c V{U~W{XUS V, V, P, P c (V{P)~(V{P)US V, V, P, Q c V~(V{Q){PUS V, V, P, W c V~(V{P){WUS V, V, P, X c V~(PV{X)US V, V, Q, P c V~(V{Q){PUS V, V, Q, S c (V{V{Q)~SUS V, V, R, T c V~V{R~TUS V, V, R, U c V~(V{R)|UUS V, V, R, X c (V|R)~(V{X)US V, V, S, Q c (V{V{Q)~SUS V, V, S, W c (V{V)~S{WUS V, V, T, R c V~V{T~RUS V, V, T, U c (V{V)~T|UUS V, V, U, R c V~(V{R)|UUS V, V, U, T c (V{V)~T|UUS V, V, U, W c (V{V|U)~WUS V, V, U, X c V~V{U{XUS V, V, V, W c V{V~V{WUS V, V, V, X c VV{V~XUS V, V, W, P c V{V~W{PUS V, V, W, S c (V{V)~S{WUS V, V, W, U c (V{V|U)~WUS V, V, W, V c V~V{W{VUS V, V, W, W c V|V{W~WUS V, V, W, X c V~X|V{WUS V, V, X, P c V~(X{PV)US V, V, X, R c (V{X)~(V|R)US V, V, X, U c V{V~X|UUS V, V, X, V c VV{X~VUS V, V, X, W c V~X|V{WUS V, W, O, P c (V{O{P)~WUS V, W, O, W c V~W{O{WUS V, W, P, O c (V{P)~(W{O)US V, W, P, P c V~(W{P){PUS V, W, P, Q c (V|P{Q)~WUS V, W, P, S c (V{W{P)~SUS V, W, P, V c V~W{P{VUS V, W, P, W c V~W{P~WUS V, W, P, X c V~W|P{XUS V, W, Q, P c (V{Q|P)~WUS V, W, Q, Q c (V{QQ)~WUS V, W, Q, R c (V|Q{R)~WUS V, W, Q, S c V~W{Q~SUS V, W, Q, U c V~W{Q{UUS V, W, Q, W c (V{Q)~W|WUS V, W, Q, X c (V{X)~(WQ)US V, W, R, Q c (V|R)~(W~Q)US V, W, R, R c (V{RR)~WUS V, W, R, S c (V|R{S)~WUS V, W, R, T c V~W{R{TUS V, W, R, W c (V|R)~(W{W)US V, W, S, P c (V{W{P)~SUS V, W, S, Q c V~W{S~QUS V, W, S, R c (V{S|R)~WUS V, W, S, S c (V{W)~S{SUS V, W, S, T c (V|S{T)~WUS V, W, S, V c (V{V)~S{WUS V, W, S, X c (V{X)~(W|S)US V, W, T, R c V~W{T{RUS V, W, T, S c (V|T)~(W~S)US V, W, T, T c (V{TT)~WUS V, W, T, U c (V{T)~U|WUS V, W, U, Q c V~W{U{QUS V, W, U, T c (V{U|T)~WUS V, W, U, U c (V{UU)~WUS V, W, U, V c (V|U{V)~WUS V, W, U, W c (V|U)~(W~W)US V, W, U, X c V{W~U{XUS V, W, V, P c V{W~V{PUS V, W, V, S c (V{V)~S{WUS V, W, V, U c (V{V|U)~WUS V, W, V, V c V{W{V~VUS V, W, V, W c (V{W|V)~WUS V, W, V, X c V~X{W|VUS V, W, W, O c V~W{W{OUS V, W, W, P c V~W{W~PUS V, W, W, Q c (V{Q)~W|WUS V, W, W, R c (V|R)~(W{W)US V, W, W, U c (V|U)~(W~W)US V, W, W, V c V{W~W|VUS V, W, W, W c (V{WW)~WUS V, W, W, X c (V{X|W)~WUS V, W, X, P c V~W{X|PUS V, W, X, Q c (V{X)~(WQ)US V, W, X, S c (V{X)~(W|S)US V, W, X, U c V{W~U{XUS V, W, X, V c V~X{W|VUS V, W, X, W c (V{X|W)~WUS V, W, X, X c V~X|W{XUS V, X, O, P c V~X{O{PUS V, X, O, S c (V{X{O)~SUS V, X, P, O c V~X{P{OUS V, X, P, P c V~X{P~PUS V, X, P, Q c V~X|P{QUS V, X, P, R c (V{X)~(P{R)US V, X, P, S c (V{X)~(P~S)US V, X, P, T c (V{X)~(T|P)US V, X, P, U c V~(X{P)|UUS V, X, P, V c V~(X{PV)US V, X, P, W c V~(X|P){WUS V, X, P, X c (V{PX)~XUS V, X, Q, P c V~X{Q|PUS V, X, Q, Q c (V{X)~(Q{Q)US V, X, Q, R c V~X|Q{RUS V, X, Q, U c (V{X)~(U|Q)US V, X, Q, W c (V{X)Q~WUS V, X, R, P c (V{X)~(R{P)US V, X, R, Q c V~X{R|QUS V, X, R, R c V~X{RRUS V, X, R, S c V~X|R{SUS V, X, R, U c V{X~U{RUS V, X, R, V c (V{X)~(V|R)US V, X, S, O c (V{X)~(S{O)US V, X, S, P c (V{X)~(S~P)US V, X, S, R c V~X{S|RUS V, X, S, S c V~X{SSUS V, X, S, T c V~X|S{TUS V, X, S, W c (V{X)~(W|S)US V, X, T, P c (V{X)~(T|P)US V, X, T, S c V~X{T|SUS V, X, T, T c V~X{TTUS V, X, T, U c V~X|T{UUS V, X, T, X c (V{X)~(X|T)US V, X, U, P c V~(X{P)|UUS V, X, U, Q c (V{X)~(U|Q)US V, X, U, R c V{X~U{RUS V, X, U, T c V~X{U|TUS V, X, U, U c V~X{UUUS V, X, U, V c V~X|U{VUS V, X, U, W c V{X{U~WUS V, X, V, P c V~(X{PV)US V, X, V, R c (V{X)~(V|R)US V, X, V, U c V{X~V|UUS V, X, V, V c V~X{VVUS V, X, V, W c V~X|V{WUS V, X, W, P c V~(X|P){WUS V, X, W, Q c (V{X)~(WQ)US V, X, W, S c (V{X)~(W|S)US V, X, W, U c V{X{W~UUS V, X, W, V c V~X{W|VUS V, X, W, W c (V{X|W)~WUS V, X, W, X c V~X|W{XUS V, X, X, P c (V{PX)~XUS V, X, X, T c (V{X)~(X|T)US V, X, X, W c (V{XX)~WUS V, X, X, X c V~X{XXUS W, O, O, W c (W{O{O)~WUS W, O, P, V c (W{O)~(P{V)US W, O, P, W c (W{O)~(P~W)US W, O, P, X c (W{O)~(X|P)US W, O, Q, S c (W{O)~(Q~S)US W, O, Q, U c (W{O)~(Q{U)US W, O, Q, W c (W{O~Q)~WUS W, O, R, T c (W{O)~(R{T)US W, O, R, W c (W{O~R)~WUS W, O, S, Q c (W{O)~(S~Q)US W, O, S, S c (W{O)~(S{S)US W, O, S, W c (W{O~S)~WUS W, O, T, R c (W{O)~(T{R)US W, O, T, W c (W{O~T)~WUS W, O, U, Q c (W{O)~(U{Q)US W, O, U, W c (W{O~U)~WUS W, O, V, P c (W{O)~(V{P)US W, O, V, W c W{O{V~WUS W, O, W, O c (W{O)~(W{O)US W, O, W, P c (W{O)~(W~P)US W, O, W, Q c (W{O~Q)~WUS W, O, W, R c (W{O~R)~WUS W, O, W, S c (W{O{W)~SUS W, O, W, T c (W{O~T)~WUS W, O, W, U c (W{O~U)~WUS W, O, W, V c W{O{W~VUS W, O, W, W c (W{O~W)~WUS W, O, W, X c (W{O)~X|WUS W, O, X, P c (W{O)~(X|P)US W, O, X, W c (W{O)~X|WUS W, P, O, V c W~(P{O{V)US W, P, O, W c (W{P~O)~WUS W, P, O, X c (W{O)~(X|P)US W, P, P, S c W~(P{P)~SUS W, P, P, U c W~(P{P{U)US W, P, P, V c W~(P{P~V)US W, P, P, W c (W{P|P)~WUS W, P, P, X c (W|P)~X{PUS W, P, Q, R c W~(P{R)~QUS W, P, Q, S c W~P~Q~SUS W, P, Q, T c W~(P{Q{T)US W, P, Q, U c (W~P)~(Q{U)US W, P, Q, V c W~(Q|P{V)US W, P, Q, W c W~(Q|P)~WUS W, P, Q, X c W~(P{X|Q)US W, P, R, Q c W~(P{R)~QUS W, P, R, R c W~(R~R|P)US W, P, R, S c W~(P{R{S)US W, P, R, T c (W~P)~(R{T)US W, P, R, U c W~(R|P{U)US W, P, R, W c (W{W)~(P{R)US W, P, S, P c W~(P{P)~SUS W, P, S, Q c W~P~S~QUS W, P, S, R c W~(P{S{R)US W, P, S, S c (W~P)~(S{S)US W, P, S, T c W~(S|P{T)US W, P, S, V c (W{P{V)~SUS W, P, S, W c (W{P~W)~SUS W, P, S, X c (W|P{X)~SUS W, P, T, Q c W~(P{T{Q)US W, P, T, R c (W~P)~(T{R)US W, P, T, S c W~(T|P{S)US W, P, T, T c (W{T)~T|PUS W, P, T, W c (W{W)~(T|P)US W, P, U, P c W~(P{U{P)US W, P, U, Q c (W~P)~(U{Q)US W, P, U, R c W~(U|P{R)US W, P, U, W c W{(P{U)~WUS W, P, V, O c W~(P{V){OUS W, P, V, P c (W{P)~V{PUS W, P, V, Q c W~(V|P{Q)US W, P, V, S c (W{P{V)~SUS W, P, V, V c W{(P{V)~VUS W, P, V, W c W{P~V~WUS W, P, V, X c W~V|P{XUS W, P, W, O c W~P~W{OUS W, P, W, P c W~(P{W|P)US W, P, W, Q c (W~W)~(Q|P)US W, P, W, R c (W{W)~(P{R)US W, P, W, S c (W{P~W)~SUS W, P, W, T c (W{W)~(T|P)US W, P, W, U c W{(P{U)~WUS W, P, W, V c W{P~W~VUS W, P, W, W c (W{P)~W|WUS W, P, W, X c W~P~X|WUS W, P, X, O c W~(X|P){OUS W, P, X, P c (W|P)~X{PUS W, P, X, Q c W~(P{X|Q)US W, P, X, S c (W|P{X)~SUS W, P, X, V c W{(X|P)~VUS W, P, X, W c W~P~X|WUS W, P, X, X c W~X{P|XUS W, Q, O, S c (W~Q{O)~SUS W, Q, O, U c W~(Q{O{U)US W, Q, O, W c (W{Q~O)~WUS W, Q, P, R c (W~Q)~(P{R)US W, Q, P, S c W~Q~P~SUS W, Q, P, T c W~(Q{P{T)US W, Q, P, U c W~(Q{P~U)US W, Q, P, V c W~(Q|P{V)US W, Q, P, W c W~(Q|P)~WUS W, Q, P, X c W~(P{X|Q)US W, Q, Q, Q c W~(Q{Q)~QUS W, Q, Q, R c W~(Q{Q~R)US W, Q, Q, S c W~(Q{Q{S)US W, Q, Q, T c W~(Q~T|Q)US W, Q, Q, U c (W~Q)~(U|Q)US W, Q, Q, V c W~(QQ{V)US W, Q, Q, W c (W{Q|Q)~WUS W, Q, Q, X c W~(X|QQ)US W, Q, R, P c (W~Q)~(R{P)US W, Q, R, Q c W~(Q{R~Q)US W, Q, R, R c W~(Q{R{R)US W, Q, R, U c (W{R)~U|QUS W, Q, R, V c (W~Q)~(V|R)US W, Q, R, W c W~(R|Q)~WUS W, Q, R, X c W~(Q{X|R)US W, Q, S, O c W~Q~S{OUS W, Q, S, P c W~Q~S~PUS W, Q, S, Q c W~(Q{S{Q)US W, Q, S, S c (W{Q~S)~SUS W, Q, S, U c (W{Q{U)~SUS W, Q, S, V c W{Q~S~VUS W, Q, S, W c (WQ{S)~WUS W, Q, S, X c W~X|Q~SUS W, Q, T, P c W~(Q{T{P)US W, Q, T, Q c W~(Q~T|Q)US W, Q, T, T c W~(T|Q{T)US W, Q, T, U c W~(T{UQ)US W, Q, T, W c W{(Q{T)~WUS W, Q, T, X c (W~Q)~(X|T)US W, Q, U, O c W~(Q{U){OUS W, Q, U, P c W~(Q{U)~PUS W, Q, U, Q c (W~Q)~(U|Q)US W, Q, U, R c (W{R)~U|QUS W, Q, U, S c (W{Q{U)~SUS W, Q, U, T c W~(UQ{T)US W, Q, U, U c Q~U~U|WUS W, Q, U, V c W{(Q{U)~VUS W, Q, U, W c W~Q{U~WUS W, Q, U, X c W{Q{U~XUS W, Q, V, P c W~(Q{V|P)US W, Q, V, Q c W~(QQ{V)US W, Q, V, R c (W~Q)~(V|R)US W, Q, V, S c W{Q~V~SUS W, Q, V, U c (W{Q)~V|UUS W, Q, V, W c W~(Q{V)|WUS W, Q, V, X c (WQ)~(V{X)US W, Q, W, O c (W{Q~O)~WUS W, Q, W, P c W~(Q|P)~WUS W, Q, W, Q c W~(Q{W|Q)US W, Q, W, R c (W{W~R)~QUS W, Q, W, S c (W~Q)~(W|S)US W, Q, W, T c W{(Q{T)~WUS W, Q, W, U c W~Q{W~UUS W, Q, W, V c W~(Q{V)|WUS W, Q, W, W c (W~Q|W)~WUS W, Q, W, X c W{W~(X|Q)US W, Q, X, P c W~(X|Q{P)US W, Q, X, Q c W~(X|QQ)US W, Q, X, R c W~(Q{X|R)US W, Q, X, S c W~X|Q~SUS W, Q, X, T c (W~Q)~(X|T)US W, Q, X, U c W{Q{X~UUS W, Q, X, V c (WQ)~(X{V)US W, Q, X, W c W{(X|Q)~WUS W, R, O, T c W~(R{O{T)US W, R, O, W c (W{R~O)~WUS W, R, P, Q c W~(R{P)~QUS W, R, P, R c W~(R~R|P)US W, R, P, S c W~(R{P{S)US W, R, P, T c W~(R{P~T)US W, R, P, U c W~(R|P{U)US W, R, P, W c (W{W)~(R{P)US W, R, Q, P c W~(R{P)~QUS W, R, Q, Q c W~(R~Q{Q)US W, R, Q, R c W~(R{Q{R)US W, R, Q, U c (W{R)~U|QUS W, R, Q, V c W~(R|Q{V)US W, R, Q, W c W~(R|Q)~WUS W, R, Q, X c W~(Q{X|R)US W, R, R, P c W~(R~R|P)US W, R, R, Q c W~(R{R{Q)US W, R, R, V c W~(RR{V)US W, R, R, W c (W{R|R)~WUS W, R, R, X c W~(X|RR)US W, R, S, P c W~(R{S{P)US W, R, S, S c W~(R~S|S)US W, R, S, T c (W{R{T)~SUS W, R, S, U c WR~S~UUS W, R, S, V c W~(S|R{V)US W, R, S, W c W{(R{S)~WUS W, R, S, X c W~(R{X|S)US W, R, T, O c W~(R{T){OUS W, R, T, P c W~(R{T)~PUS W, R, T, S c (W{R{T)~SUS W, R, T, U c W~(T|R{U)US W, R, T, V c W{(R{T)~VUS W, R, T, W c W~R{T~WUS W, R, T, X c (W{R)~T{XUS W, R, U, P c W~(R{U|P)US W, R, U, Q c (W{R)~U|QUS W, R, U, S c WR~U~SUS W, R, U, T c W~(U|R{T)US W, R, U, U c W~(UR{U)US W, R, U, W c W~(R{U)|WUS W, R, U, X c (R{X)~U|WUS W, R, V, Q c W~(R{V|Q)US W, R, V, R c W~(RR{V)US W, R, V, S c W~(V|R{S)US W, R, V, T c W{(R{T)~VUS W, R, V, W c (W{W)~(V|R)US W, R, W, O c (W{R~O)~WUS W, R, W, P c (W{W)~(R{P)US W, R, W, Q c (W{R~W)~QUS W, R, W, R c W~(R{W|R)US W, R, W, S c (W~R|W)~SUS W, R, W, T c W~R{W~TUS W, R, W, U c (WR{W)~UUS W, R, W, V c (W{W)~(V|R)US W, R, X, Q c W~(X|R{Q)US W, R, X, R c W~(X|RR)US W, R, X, S c W~(R{X|S)US W, R, X, T c (W{R)~T{XUS W, R, X, U c (R{X)~U|WUS W, S, O, Q c (W~S{O)~QUS W, S, O, S c W~(S{O{S)US W, S, O, W c (W{S~O)~WUS W, S, P, P c (W~S)~(P{P)US W, S, P, Q c W~S~P~QUS W, S, P, R c W~(S{P{R)US W, S, P, S c W~(S{P~S)US W, S, P, T c W~(S|P{T)US W, S, P, V c (W{P{V)~SUS W, S, P, W c (W{P~W)~SUS W, S, P, X c (W|P{X)~SUS W, S, Q, O c W~S~Q{OUS W, S, Q, P c W~S~Q~PUS W, S, Q, Q c W~(S{Q{Q)US W, S, Q, S c (W{S~Q)~SUS W, S, Q, U c W~(S|Q{U)US W, S, Q, V c W{S~Q~VUS W, S, Q, W c (W|S)~(Q~W)US W, S, Q, X c W~X|S~QUS W, S, R, P c W~(S{R{P)US W, S, R, S c W~(S~R|S)US W, S, R, T c (W~S)~(T|R)US W, S, R, U c W~SR~UUS W, S, R, V c W~(S|R{V)US W, S, R, W c W{(S{R)~WUS W, S, R, X c W~(R{X|S)US W, S, S, O c W~(S{S){OUS W, S, S, P c W~(S{S)~PUS W, S, S, Q c (W~S)~(S|Q)US W, S, S, R c W~(S~R|S)US W, S, S, S c (W{S{S)~SUS W, S, S, T c (W{S)~T{SUS W, S, S, U c (W~S)~(U|S)US W, S, S, V c W{(S{S)~VUS W, S, S, W c (W{S|S)~WUS W, S, S, X c (W{X)~S|SUS W, S, T, P c W~(S{T|P)US W, S, T, R c (W~S)~(T|R)US W, S, T, S c (W{S)~T{SUS W, S, T, U c W~T{S~UUS W, S, T, V c (W~S)~(V|T)US W, S, T, W c W~(S{T)|WUS W, S, T, X c W{S~(T{X)US W, S, U, Q c (W{S~U)~QUS W, S, U, R c W~S~URUS W, S, U, S c (W~S)~(U|S)US W, S, U, T c W~T{S~UUS W, S, U, U c W~(U|S{U)US W, S, U, W c W{S~(U{W)US W, S, V, P c (W{V{P)~SUS W, S, V, Q c W{S~V~QUS W, S, V, R c W~(S{V|R)US W, S, V, S c W{(S{S)~VUS W, S, V, T c (W~S)~(V|T)US W, S, V, V c W{S~(V{V)US W, S, V, X c (W|S)~(V{X)US W, S, W, O c (W{S~O)~WUS W, S, W, P c (W{W)~(S~P)US W, S, W, Q c (W|S)~(W~Q)US W, S, W, R c W{(S{R)~WUS W, S, W, S c W~(S{W|S)US W, S, W, T c W~(S{T)|WUS W, S, W, U c W{S~(W{U)US W, S, W, W c (W|S)~(W{W)US W, S, X, P c (W{X|P)~SUS W, S, X, Q c W~X|S~QUS W, S, X, R c W~(X|S{R)US W, S, X, S c (W{X)~S|SUS W, S, X, T c W{S~(X{T)US W, S, X, V c (W|S)~(X{V)US W, S, X, X c S~(X{X)|WUS W, T, O, R c W~(T{O{R)US W, T, O, W c (W{T~O)~WUS W, T, P, Q c W~(T{P{Q)US W, T, P, R c W~(T{P~R)US W, T, P, S c W~(T|P{S)US W, T, P, T c (W{T)~T|PUS W, T, P, W c (W{W)~(T|P)US W, T, Q, P c W~(T{Q{P)US W, T, Q, Q c W~(T~Q|Q)US W, T, Q, T c W~(T|Q{T)US W, T, Q, U c W~(T{UQ)US W, T, Q, W c W{(T{Q)~WUS W, T, Q, X c (W~Q)~(X|T)US W, T, R, O c W~(T{R){OUS W, T, R, P c W~(T{R)~PUS W, T, R, S c (W{T{R)~SUS W, T, R, U c W~(T|R{U)US W, T, R, V c W{(T{R)~VUS W, T, R, W c W~T{R~WUS W, T, R, X c W~(T{XR)US W, T, S, P c W~(T{S|P)US W, T, S, R c (W{T{R)~SUS W, T, S, S c (W{S)~T{SUS W, T, S, U c W~T{S~UUS W, T, S, V c W~(T|S{V)US W, T, S, W c W~(T{S)|WUS W, T, S, X c W{(T{X)~SUS W, T, T, P c (W{T)~T|PUS W, T, T, Q c W~(T{T|Q)US W, T, T, V c W~(TT{V)US W, T, T, W c (W{T|T)~WUS W, T, T, X c W~(X|TT)US W, T, U, Q c W~(T{UQ)US W, T, U, R c W~(T{U|R)US W, T, U, S c W~T{U~SUS W, T, U, U c (W{U)~T|UUS W, T, U, V c W~(U|T{V)US W, T, U, W c W~(U|T)~WUS W, T, U, X c W~(T{X|U)US W, T, V, R c W{(T{R)~VUS W, T, V, S c W~(T{V|S)US W, T, V, T c W~(TT{V)US W, T, V, U c W~(V|T{U)US W, T, W, O c (W{T~O)~WUS W, T, W, P c (W{W)~(T|P)US W, T, W, Q c (W~T|W)~QUS W, T, W, R c W~T{W~RUS W, T, W, S c W~(T{S)|WUS W, T, W, T c W~(T{W|T)US W, T, W, U c (W~W)~(U|T)US W, T, W, X c (W{W)~(X|T)US W, T, X, Q c W~(X|T)~QUS W, T, X, R c W~(T{XR)US W, T, X, S c W{(T{X)~SUS W, T, X, T c W~(X|TT)US W, T, X, U c W~(T{X|U)US W, T, X, W c (W{W)~(X|T)US W, U, O, Q c W~(U{O{Q)US W, U, O, W c (W{U~O)~WUS W, U, P, P c W~(U{P{P)US W, U, P, Q c W~(U{P~Q)US W, U, P, R c W~(U|P{R)US W, U, P, W c W{(U{P)~WUS W, U, Q, O c W~(U{Q){OUS W, U, Q, P c W~(U{Q)~PUS W, U, Q, Q c W~(U|Q)~QUS W, U, Q, R c (W{R)~U|QUS W, U, Q, S c (W{U{Q)~SUS W, U, Q, T c W~(UQ{T)US W, U, Q, U c U~Q~U|WUS W, U, Q, V c W{(U{Q)~VUS W, U, Q, W c W~U{Q~WUS W, U, Q, X c W{U~X{QUS W, U, R, P c W~(U{R|P)US W, U, R, Q c (W{R)~U|QUS W, U, R, S c W~UR~SUS W, U, R, T c W~(U|R{T)US W, U, R, U c W~(UR{U)US W, U, R, W c W~(U{R)|WUS W, U, R, X c U~(R{X)|WUS W, U, S, Q c (W{U~S)~QUS W, U, S, R c W~U~SRUS W, U, S, S c W~U{S~SUS W, U, S, T c W~T{U~SUS W, U, S, U c W~(U|S{U)US W, U, S, W c (W{U)~S{WUS W, U, T, Q c W~(UQ{T)US W, U, T, R c W~(U{T|R)US W, U, T, S c W~T{U~SUS W, U, T, U c (W{U)~T|UUS W, U, T, V c W~(U|T{V)US W, U, T, W c W~(U|T)~WUS W, U, T, X c W~(T{X|U)US W, U, U, Q c U~U~Q|WUS W, U, U, R c W~(U{UR)US W, U, U, S c W~(U{U|S)US W, U, U, T c (W{U)~T|UUS W, U, U, U c (U{U)~U|WUS W, U, U, V c W~(UU{V)US W, U, U, W c (W{U|U)~WUS W, U, U, X c W~(X|UU)US W, U, V, Q c W{(U{Q)~VUS W, U, V, T c W~(U{V|T)US W, U, V, U c W~(UU{V)US W, U, V, V c W~(V|U{V)US W, U, V, W c W~(V|U)~WUS W, U, V, X c W~U{V{XUS W, U, W, O c (W{U~O)~WUS W, U, W, P c W{(U{P)~WUS W, U, W, Q c W~U{W~QUS W, U, W, R c W~(U{R)|WUS W, U, W, S c W{(U{W)~SUS W, U, W, T c W~(U|T)~WUS W, U, W, U c W~(U{W|U)US W, U, W, V c (W~W)~(V|U)US W, U, W, W c W{U~W{WUS W, U, X, Q c W{U~X{QUS W, U, X, R c U~(X{R)|WUS W, U, X, T c W~(X|U{T)US W, U, X, U c W~(X|UU)US W, U, X, V c W~U{X{VUS W, V, O, P c W~(V{O{P)US W, V, O, W c W{(V{O)~WUS W, V, P, O c W~(V{P){OUS W, V, P, P c W~(V{P)~PUS W, V, P, Q c W~(V|P{Q)US W, V, P, S c (W{V{P)~SUS W, V, P, V c W{(V{P)~VUS W, V, P, W c W{V~P~WUS W, V, P, X c W~V|P{XUS W, V, Q, P c W~(V{Q|P)US W, V, Q, Q c W~(V{QQ)US W, V, Q, R c W~(V|Q{R)US W, V, Q, S c W{V~Q~SUS W, V, Q, U c W{V~(Q{U)US W, V, Q, W c W~(V{Q)|WUS W, V, Q, X c W~(V{X)QUS W, V, R, Q c W~(V{R|Q)US W, V, R, R c W~(V{RR)US W, V, R, S c W~(V|R{S)US W, V, R, T c W{V~(R{T)US W, V, R, W c (W{W)~(V|R)US W, V, S, P c (W{V{P)~SUS W, V, S, Q c W{V~S~QUS W, V, S, R c W~(V{S|R)US W, V, S, S c (W{V)~S{SUS W, V, S, T c W~(V|S{T)US W, V, S, V c W{(V{V)~SUS W, V, S, X c (W|S)~(V{X)US W, V, T, R c W{V~(T{R)US W, V, T, S c W~(V{T|S)US W, V, T, T c W~(V{TT)US W, V, T, U c W~(V|T{U)US W, V, U, Q c W{V~(U{Q)US W, V, U, T c W~(V{U|T)US W, V, U, U c W~(V{UU)US W, V, U, V c W~(V|U{V)US W, V, U, W c W~(V|U)~WUS W, V, U, X c W~U{V{XUS W, V, V, P c W{V~(V{P)US W, V, V, S c W{(V{V)~SUS W, V, V, U c W~(V{V|U)US W, V, V, V c W{V{V~VUS W, V, V, W c (W{V|V)~WUS W, V, V, X c W|V{V~XUS W, V, W, O c W{V~W{OUS W, V, W, P c W{V~W~PUS W, V, W, Q c W~(V{Q)|WUS W, V, W, R c (W{W)~(V|R)US W, V, W, U c W~(V|U)~WUS W, V, W, V c W~(V{W|V)US W, V, W, W c (W|V)~(W~W)US W, V, W, X c W~(V{X|W)US W, V, X, P c W{V~(X|P)US W, V, X, Q c W~(V{X)QUS W, V, X, S c W~(X|V)~SUS W, V, X, U c W~(X|V{U)US W, V, X, V c W{V~X|VUS W, V, X, W c W~(V{X|W)US W, V, X, X c W~(V{XX)US W, W, O, O c W~W{O{OUS W, W, O, P c W~W{O~PUS W, W, O, Q c W~W{O~QUS W, W, O, R c W~W{O~RUS W, W, O, S c (W{W{O)~SUS W, W, O, T c W~W{O~TUS W, W, O, U c W~W{O~UUS W, W, O, V c W{(W{O)~VUS W, W, O, W c (W{W~O)~WUS W, W, O, X c W~W{O~XUS W, W, P, O c W~W{P~OUS W, W, P, P c W~W{P|PUS W, W, P, Q c (W~W)~(Q|P)US W, W, P, R c (W{W)~(P{R)US W, W, P, S c (W{W)~(P~S)US W, W, P, T c (W{W)~(T|P)US W, W, P, U c W{W~(P{U)US W, W, P, V c W{W~P~VUS W, W, P, W c W{(W|P)~WUS W, W, P, X c W~P~X|WUS W, W, Q, O c W~W{Q~OUS W, W, Q, P c (W~W)~(Q|P)US W, W, Q, Q c (W{W)~(Q{Q)US W, W, Q, R c (W{W~R)~QUS W, W, Q, S c W~(WQ{S)US W, W, Q, T c W{W~(Q{T)US W, W, Q, U c (W{W)~(U|Q)US W, W, Q, V c W~(Q{V)|WUS W, W, Q, W c (W{W)Q~WUS W, W, Q, X c W{W~(X|Q)US W, W, R, O c W~W{R~OUS W, W, R, P c (W{W)~(R{P)US W, W, R, Q c (W{W~R)~QUS W, W, R, R c W~W{R|RUS W, W, R, S c W{W~(R{S)US W, W, R, T c W~R{W~TUS W, W, R, U c (W{WR)~UUS W, W, R, V c (W{W)~(V|R)US W, W, S, O c (W{W)~(S{O)US W, W, S, P c (W{W)~(S~P)US W, W, S, Q c W~(W|S)~QUS W, W, S, R c W{W~(S{R)US W, W, S, S c W~W{S|SUS W, W, S, T c (W~W)~(T|S)US W, W, S, U c W~(WS{U)US W, W, S, W c (W{W)~(W|S)US W, W, T, O c W~W{T~OUS W, W, T, P c (W{W)~(T|P)US W, W, T, Q c W{W~(T{Q)US W, W, T, R c W~T{W~RUS W, W, T, S c (W~W)~(T|S)US W, W, T, T c W~W{T|TUS W, W, T, U c (W~W)~(U|T)US W, W, T, X c (W{W)~(X|T)US W, W, U, O c W~W{U~OUS W, W, U, P c W{W~(U{P)US W, W, U, Q c (W{W)~(U|Q)US W, W, U, R c (W{WR)~UUS W, W, U, S c W{(W{U)~SUS W, W, U, T c (W~W)~(U|T)US W, W, U, U c W~W{U|UUS W, W, U, V c (W~W)~(V|U)US W, W, U, W c W{W{U~WUS W, W, V, O c W{W~V{OUS W, W, V, P c W{W~V~PUS W, W, V, Q c W~(V{Q)|WUS W, W, V, R c (W{W)~(V|R)US W, W, V, U c (W~W)~(V|U)US W, W, V, V c (W{WV)~VUS W, W, V, W c W~(W|V)~WUS W, W, V, X c WW{V~XUS W, W, W, O c W~W{W~OUS W, W, W, P c W{W~(W|P)US W, W, W, Q c (W{W)~(WQ)US W, W, W, S c (W{W)~(W|S)US W, W, W, U c W{W{W~UUS W, W, W, V c (W~W)~(W|V)US W, W, W, W c (W{W|W)~WUS W, W, W, X c (W~W)~(X|W)US W, W, X, O c W~W{X~OUS W, W, X, P c W~X|W~PUS W, W, X, Q c W{W~(X|Q)US W, W, X, T c (W{W)~(X|T)US W, W, X, V c WW{X~VUS W, W, X, W c (W~W)~(X|W)US W, W, X, X c (W|WX)~XUS W, X, O, P c W~(X{O|P)US W, X, O, W c (W{X~O)~WUS W, X, P, O c W~(X|P){OUS W, X, P, P c W~(X|P)~PUS W, X, P, Q c W~(X{P|Q)US W, X, P, S c (W{X|P)~SUS W, X, P, V c W{(X|P)~VUS W, X, P, W c W~X|P~WUS W, X, P, X c W~X{P|XUS W, X, Q, P c W~(X|Q{P)US W, X, Q, Q c W~(X|QQ)US W, X, Q, R c W~(X{Q|R)US W, X, Q, S c W~X|Q~SUS W, X, Q, T c W~(X|T)~QUS W, X, Q, U c (W~X)|(Q{U)US W, X, Q, V c W~(X{V)QUS W, X, Q, W c W{(X|Q)~WUS W, X, R, Q c W~(X|R{Q)US W, X, R, R c W~(X|RR)US W, X, R, S c W~(X{R|S)US W, X, R, T c (W~X)|(R{T)US W, X, R, U c (X{R)~U|WUS W, X, S, P c (W{X|P)~SUS W, X, S, Q c W~X|S~QUS W, X, S, R c W~(X|S{R)US W, X, S, S c (W{X)~S|SUS W, X, S, T c W~(X{S|T)US W, X, S, V c W~(X|V)~SUS W, X, S, X c (X{X)~S|WUS W, X, T, Q c W~(X|T)~QUS W, X, T, R c (W~X)|(T{R)US W, X, T, S c W{(X{T)~SUS W, X, T, T c W~(X|TT)US W, X, T, U c W~(X{T|U)US W, X, T, W c (W{W)~(X|T)US W, X, U, Q c W{X~U{QUS W, X, U, R c (X{R)~U|WUS W, X, U, T c W~(X|U{T)US W, X, U, U c W~(X|UU)US W, X, U, V c W~(X{U|V)US W, X, V, P c (W~X)|(V{P)US W, X, V, Q c W~(X{V)QUS W, X, V, S c W~(X|V)~SUS W, X, V, U c W~(X|V{U)US W, X, V, V c W{X~V|VUS W, X, V, W c W~(X{V|W)US W, X, V, X c W~(XX{V)US W, X, W, O c W~X|W{OUS W, X, W, P c W~X|W~PUS W, X, W, Q c W{(X|Q)~WUS W, X, W, T c (W{W)~(X|T)US W, X, W, V c W~(X|W{V)US W, X, W, W c W~(X|W)~WUS W, X, W, X c W~(X{W|X)US W, X, X, P c W~X|X{PUS W, X, X, S c (X{X)~S|WUS W, X, X, V c W~(XX{V)US W, X, X, W c (W{X|X)~WUS W, X, X, X c W~(X|XX)US X, O, P, V c (X{O)~V{PUS X, O, P, W c (X{O|P)~WUS X, O, S, V c (X{O{V)~SUS X, O, V, P c (X{O)~V{PUS X, O, V, S c (X{O{V)~SUS X, O, W, P c (X{O|P)~WUS X, O, W, W c (X{O)~W|WUS X, P, O, V c (X{O)~V{PUS X, P, O, W c (X|P{O)~WUS X, P, P, U c X~(P{U){PUS X, P, P, V c (X|P)~(P{V)US X, P, P, W c (X|P)~(P~W)US X, P, P, X c (X|P)~(X|P)US X, P, Q, S c (X|P)~(Q~S)US X, P, Q, T c X~(Q{T){PUS X, P, Q, U c (X|P)~(Q{U)US X, P, Q, V c X~V|P{QUS X, P, Q, W c (X{P|Q)~WUS X, P, Q, X c (X|Q)~X{PUS X, P, R, S c X~(R{S){PUS X, P, R, T c (X|P)~(R{T)US X, P, R, V c (X{V)~(P{R)US X, P, S, Q c (X|P)~(S~Q)US X, P, S, R c X~(S{R){PUS X, P, S, S c (X|P)~(S{S)US X, P, S, T c (X{S)~T|PUS X, P, S, U c (X{P{U)~SUS X, P, S, V c (X{P~V)~SUS X, P, S, W c (X|P{W)~SUS X, P, T, Q c X~(T{Q){PUS X, P, T, R c (X|P)~(T{R)US X, P, T, S c (X{S)~T|PUS X, P, T, V c (X{V)~(T|P)US X, P, U, P c X~(P{U){PUS X, P, U, Q c (X|P)~(U{Q)US X, P, U, S c (X{P{U)~SUS X, P, U, V c (X{P)~V|UUS X, P, U, X c X{P{U~XUS X, P, V, O c X~V{P{OUS X, P, V, P c (X|P)~(V{P)US X, P, V, Q c X~V|P{QUS X, P, V, R c (X{V)~(P{R)US X, P, V, S c (X{P~V)~SUS X, P, V, T c (X{V)~(T|P)US X, P, V, U c (X{P)~V|UUS X, P, V, V c (X{PV)~VUS X, P, V, W c X|P{V~WUS X, P, V, X c X~(PX{V)US X, P, W, O c (X|P)~(W{O)US X, P, W, P c (X|P)~(W~P)US X, P, W, Q c (X{P|Q)~WUS X, P, W, S c (X|P{W)~SUS X, P, W, V c X|P{W~VUS X, P, W, W c X~P~W|WUS X, P, W, X c (X|P)~X|WUS X, P, X, P c (X|P)~(X|P)US X, P, X, Q c X~(X|Q){PUS X, P, X, U c X{P{X~UUS X, P, X, V c X~(PX{V)US X, P, X, W c (X|P)~X|WUS X, Q, P, S c (X|P)~(Q~S)US X, Q, P, T c X~(Q{T){PUS X, Q, P, U c (X|P)~(Q{U)US X, Q, P, V c X~V{Q|PUS X, Q, P, W c (X|Q{P)~WUS X, Q, P, X c (X|Q)~X{PUS X, Q, Q, S c (X~Q|Q)~SUS X, Q, Q, U c (X{Q)~U|QUS X, Q, Q, V c (X{V)~(Q{Q)US X, Q, Q, W c (X|QQ)~WUS X, Q, R, T c (X~R{T)~QUS X, Q, R, V c X~V|Q{RUS X, Q, R, W c (X{Q|R)~WUS X, Q, S, P c (X|P)~(Q~S)US X, Q, S, Q c (X~Q|Q)~SUS X, Q, S, S c (X~S|S)~QUS X, Q, S, T c (X{Q{T)~SUS X, Q, S, W c X~Q~S|WUS X, Q, S, X c (X|Q{X)~SUS X, Q, T, P c X~(Q{T){PUS X, Q, T, R c (X~R{T)~QUS X, Q, T, S c (X{Q{T)~SUS X, Q, T, U c X~U{Q~TUS X, Q, T, W c (X|T)~(Q~W)US X, Q, T, X c (X{Q)~T{XUS X, Q, U, P c (X|P)~(Q{U)US X, Q, U, Q c (X{Q)~U|QUS X, Q, U, T c X~U{Q~TUS X, Q, U, V c (X{V)~(U|Q)US X, Q, U, W c X~(Q{U)|WUS X, Q, V, P c X~V{Q|PUS X, Q, V, Q c (X{V)~(Q{Q)US X, Q, V, R c X~V|Q{RUS X, Q, V, U c (X{V)~(U|Q)US X, Q, V, W c (X{V)Q~WUS X, Q, W, P c (X|Q{P)~WUS X, Q, W, Q c (X|QQ)~WUS X, Q, W, R c (X{Q|R)~WUS X, Q, W, S c X~Q~S|WUS X, Q, W, T c (X|T)~(Q~W)US X, Q, W, U c X~(Q{U)|WUS X, Q, W, V c (X{V)Q~WUS X, Q, W, W c (X|Q)~W{WUS X, Q, X, P c (X|Q)~X{PUS X, Q, X, S c (X|Q{X)~SUS X, Q, X, T c X{(Q{X)~TUS X, R, P, S c X~(R{S){PUS X, R, P, T c (X|P)~(R{T)US X, R, P, V c (X{V)~(R{P)US X, R, Q, T c (X~R{T)~QUS X, R, Q, V c X~V{R|QUS X, R, Q, W c (X|R{Q)~WUS X, R, R, V c X~V{RRUS X, R, R, W c (X|RR)~WUS X, R, S, P c X~(R{S){PUS X, R, S, S c (X{R{S)~SUS X, R, S, T c (X{R)~T{SUS X, R, S, V c X~V|R{SUS X, R, S, W c (X{R|S)~WUS X, R, T, P c (X|P)~(R{T)US X, R, T, Q c (X~R{T)~QUS X, R, T, S c (X{R)~T{SUS X, R, T, U c (X{TR)~UUS X, R, T, W c X~(R{T)|WUS X, R, U, T c (X{TR)~UUS X, R, U, V c X~U{R{VUS X, R, U, W c (X{R)~U|WUS X, R, V, P c (X{V)~(R{P)US X, R, V, Q c X~V{R|QUS X, R, V, R c X~V{RRUS X, R, V, S c X~V|R{SUS X, R, V, U c X~U{R{VUS X, R, V, V c (X{V)~(V|R)US X, R, W, Q c (X|R{Q)~WUS X, R, W, R c (X|RR)~WUS X, R, W, S c (X{R|S)~WUS X, R, W, T c X{(R{W)~TUS X, R, W, U c (X{R)~U|WUS X, S, O, V c (X{O{V)~SUS X, S, P, Q c (X|P)~(S~Q)US X, S, P, R c X~(S{R){PUS X, S, P, S c (X|P)~(S{S)US X, S, P, T c (X{S)~T|PUS X, S, P, U c (X{P{U)~SUS X, S, P, V c (X{P~V)~SUS X, S, P, W c (X|P{W)~SUS X, S, Q, P c (X|P)~(S~Q)US X, S, Q, Q c (X~Q|Q)~SUS X, S, Q, S c (X~S|S)~QUS X, S, Q, T c (X{Q{T)~SUS X, S, Q, W c X~S~Q|WUS X, S, Q, X c (X|Q{X)~SUS X, S, R, P c X~(S{R){PUS X, S, R, S c (X{S{R)~SUS X, S, R, T c (X{R)~T{SUS X, S, R, V c X~V{S|RUS X, S, R, W c (X|S{R)~WUS X, S, S, P c (X|P)~(S{S)US X, S, S, Q c (X~S|S)~QUS X, S, S, R c (X{S{R)~SUS X, S, S, T c (X|T)~(S~S)US X, S, S, U c (X{U)~S{SUS X, S, S, V c X~S{S~VUS X, S, S, W c (X|SS)~WUS X, S, T, P c (X{S)~T|PUS X, S, T, Q c (X{T{Q)~SUS X, S, T, R c (X{R)~T{SUS X, S, T, S c (X|T)~(S~S)US X, S, T, T c S~(T~T|X)US X, S, T, V c X{(S{V)~TUS X, S, T, W c (X{S|T)~WUS X, S, U, P c (X{U{P)~SUS X, S, U, S c (X{U)~S{SUS X, S, U, U c X~U{S{UUS X, S, V, O c (X{V)~(S{O)US X, S, V, P c (X{V)~(S~P)US X, S, V, R c X~V{S|RUS X, S, V, S c X~S{V~SUS X, S, V, T c X{(S{V)~TUS X, S, V, W c (X|V)~(S~W)US X, S, W, P c (X{W|P)~SUS X, S, W, Q c X~S~Q|WUS X, S, W, R c (X|S{R)~WUS X, S, W, S c (X|SS)~WUS X, S, W, T c (X{S|T)~WUS X, S, W, V c (X|V)~(S~W)US X, S, W, X c (X{X)~S|WUS X, S, X, Q c (X{X|Q)~SUS X, S, X, W c (X{X)~S|WUS X, T, P, Q c X~(T{Q){PUS X, T, P, R c (X|P)~(T{R)US X, T, P, S c (X{S)~T|PUS X, T, P, V c (X{V)~(T|P)US X, T, Q, P c X~(T{Q){PUS X, T, Q, R c (X~R{T)~QUS X, T, Q, S c (X{T{Q)~SUS X, T, Q, U c X~U{T~QUS X, T, Q, W c (X|T)~(Q~W)US X, T, Q, X c X{T~(Q{X)US X, T, R, P c (X|P)~(T{R)US X, T, R, Q c (X~R{T)~QUS X, T, R, S c (X{R)~T{SUS X, T, R, U c (X{TR)~UUS X, T, R, W c X{T~(R{W)US X, T, S, P c (X{S)~T|PUS X, T, S, Q c (X{T{Q)~SUS X, T, S, R c (X{R)~T{SUS X, T, S, S c (X|T)~(S~S)US X, T, S, T c (T~T|X)~SUS X, T, S, V c X{T~(S{V)US X, T, S, W c (X{T)~S{WUS X, T, T, S c (T~T|X)~SUS X, T, T, U c X{T~(T{U)US X, T, T, V c X~V{TTUS X, T, T, W c (X|TT)~WUS X, T, U, Q c X~U{T~QUS X, T, U, R c (X{TR)~UUS X, T, U, T c X{(T{U)~TUS X, T, U, V c X~V|T{UUS X, T, U, W c (X{T|U)~WUS X, T, V, P c (X{V)~(T|P)US X, T, V, S c X{T~(V{S)US X, T, V, T c X~V{TTUS X, T, V, U c X~V|T{UUS X, T, V, X c (X|T)~(V{X)US X, T, W, Q c (X|T)~(W~Q)US X, T, W, R c X{T~(W{R)US X, T, W, S c (X{T)~S{WUS X, T, W, T c (X|TT)~WUS X, T, W, U c (X{T|U)~WUS X, T, W, W c (X|T)~(W{W)US X, T, X, Q c X{T~(X{Q)US X, T, X, V c (X|T)~(X{V)US X, U, P, P c X~(U{P){PUS X, U, P, Q c (X|P)~(U{Q)US X, U, P, S c (X{U{P)~SUS X, U, P, V c (X{P)~V|UUS X, U, P, X c X~U{P{XUS X, U, Q, P c (X|P)~(U{Q)US X, U, Q, Q c (X{Q)~U|QUS X, U, Q, T c X~U{Q~TUS X, U, Q, V c (X{V)~(U|Q)US X, U, Q, W c X~U{Q{WUS X, U, R, T c (X{TR)~UUS X, U, R, V c X~U{R{VUS X, U, R, W c (X{R)~U|WUS X, U, S, P c (X{U{P)~SUS X, U, S, S c (X{U)~S{SUS X, U, S, U c X~U{S{UUS X, U, T, Q c X~U{T~QUS X, U, T, R c (X{TR)~UUS X, U, T, T c X{(U{T)~TUS X, U, T, V c X~V{U|TUS X, U, T, W c (X|U{T)~WUS X, U, U, S c X~U{U{SUS X, U, U, V c X~V{UUUS X, U, U, W c (X|UU)~WUS X, U, V, P c (X{P)~V|UUS X, U, V, Q c (X{V)~(U|Q)US X, U, V, R c X~U{V{RUS X, U, V, T c X~V{U|TUS X, U, V, U c X~V{UUUS X, U, V, V c X{U{V~VUS X, U, V, W c (X{U|V)~WUS X, U, W, Q c X~U{W{QUS X, U, W, R c (X{R)~U|WUS X, U, W, T c (X|U{T)~WUS X, U, W, U c (X|UU)~WUS X, U, W, V c X{U~W{VUS X, U, X, P c X{U~X{PUS X, V, O, P c X~V{O{PUS X, V, O, S c (X{V{O)~SUS X, V, P, O c X~V{P{OUS X, V, P, P c X~V{P~PUS X, V, P, Q c X~V|P{QUS X, V, P, R c (X{V)~(P{R)US X, V, P, S c (X{V)~(P~S)US X, V, P, T c (X{V)~(T|P)US X, V, P, U c (X{P)~V|UUS X, V, P, V c (X{PV)~VUS X, V, P, W c X~(V{P)|WUS X, V, P, X c X~(V{PX)US X, V, Q, P c X~V{Q|PUS X, V, Q, Q c (X{V)~(Q{Q)US X, V, Q, R c X~V|Q{RUS X, V, Q, U c (X{V)~(U|Q)US X, V, Q, W c (X{V)Q~WUS X, V, R, P c (X{V)~(R{P)US X, V, R, Q c X~V{R|QUS X, V, R, R c X~V{RRUS X, V, R, S c X~V|R{SUS X, V, R, U c X~U{V{RUS X, V, R, V c (X{V)~(V|R)US X, V, S, O c (X{V)~(S{O)US X, V, S, P c (X{V)~(S~P)US X, V, S, R c X~V{S|RUS X, V, S, S c X~V{SSUS X, V, S, T c X{(V{S)~TUS X, V, S, W c (X|V)~(S~W)US X, V, T, P c (X{V)~(T|P)US X, V, T, S c X~V{T|SUS X, V, T, T c X~V{TTUS X, V, T, U c X~V|T{UUS X, V, T, X c (X{V)~(X|T)US X, V, U, P c (X{P)~V|UUS X, V, U, Q c (X{V)~(U|Q)US X, V, U, R c X~U{V{RUS X, V, U, T c X~V{U|TUS X, V, U, U c X~V{UUUS X, V, U, V c X~V|U{VUS X, V, U, W c X{V{U~WUS X, V, V, P c (X{PV)~VUS X, V, V, R c (X{V)~(V|R)US X, V, V, U c X{V~V{UUS X, V, V, V c X~V{VVUS X, V, V, W c (X|VV)~WUS X, V, W, P c X{V~W|PUS X, V, W, Q c (X{V)~(WQ)US X, V, W, S c (X{V)~(W|S)US X, V, W, U c X{V{W~UUS X, V, W, V c X~V{W|VUS X, V, W, W c (X{V|W)~WUS X, V, W, X c X~V|W{XUS X, V, X, P c X~(V{PX)US X, V, X, T c (X{V)~(X|T)US X, V, X, W c X{V~X|WUS X, V, X, X c X~V{XXUS X, W, O, P c (X{O|P)~WUS X, W, O, W c X~W{O|WUS X, W, P, O c (X|P)~(W{O)US X, W, P, P c X~(W|P){PUS X, W, P, Q c (X{P|Q)~WUS X, W, P, S c (X{W|P)~SUS X, W, P, V c (X~W)|(P{V)US X, W, P, W c X~W|P~WUS X, W, P, X c X~W{P|XUS X, W, Q, P c (X|Q{P)~WUS X, W, Q, Q c (X|QQ)~WUS X, W, Q, R c (X{Q|R)~WUS X, W, Q, S c X~W|Q~SUS X, W, Q, T c (X|T)~(W~Q)US X, W, Q, U c (X~W)|(Q{U)US X, W, Q, V c (X{V)~(WQ)US X, W, Q, W c (X|Q)~W{WUS X, W, R, Q c (X|R{Q)~WUS X, W, R, R c (X|RR)~WUS X, W, R, S c (X{R|S)~WUS X, W, R, T c X{(W{R)~TUS X, W, R, U c (X{R)~U|WUS X, W, S, P c (X{W|P)~SUS X, W, S, Q c X~W|S~QUS X, W, S, R c (X|S{R)~WUS X, W, S, S c (X{W)~S|SUS X, W, S, T c (X{S|T)~WUS X, W, S, V c (X{V)~(W|S)US X, W, S, X c (X{X)~S|WUS X, W, T, Q c (X|T)~(W~Q)US X, W, T, R c (X~W)|(T{R)US X, W, T, S c (X{T)~S{WUS X, W, T, T c (X|TT)~WUS X, W, T, U c (X{T|U)~WUS X, W, T, W c (X|T)~(W{W)US X, W, U, Q c (X~W)|(U{Q)US X, W, U, R c (X{R)~U|WUS X, W, U, T c (X|U{T)~WUS X, W, U, U c (X|UU)~WUS X, W, U, V c X{W~U{VUS X, W, V, P c X{W~V|PUS X, W, V, Q c (X{V)~(WQ)US X, W, V, S c (X{V)~(W|S)US X, W, V, U c X{W~U{VUS X, W, V, V c X~V{W|VUS X, W, V, W c (X|W{V)~WUS X, W, V, X c X|W{V~XUS X, W, W, O c X~W|W{OUS X, W, W, P c X~W|W~PUS X, W, W, Q c (X|Q)~W{WUS X, W, W, T c (X|T)~(W{W)US X, W, W, V c (X|W{V)~WUS X, W, W, W c (X|W)~(W~W)US X, W, W, X c X{W~W|XUS X, W, X, P c X~W|X{PUS X, W, X, S c (X{X)~S|WUS X, W, X, V c X|W{X~VUS X, W, X, W c (X{W|X)~WUS X, W, X, X c (X~X)|(W{X)US X, X, P, P c (X|P)~(X|P)US X, X, P, Q c X~(X|Q){PUS X, X, P, U c X{X~U{PUS X, X, P, V c X~(PX{V)US X, X, P, W c X~(X|P)|WUS X, X, Q, P c X~(X|Q){PUS X, X, Q, S c (X{X|Q)~SUS X, X, Q, T c X{(X{Q)~TUS X, X, S, Q c (X{X|Q)~SUS X, X, S, W c (X{X)~S|WUS X, X, T, Q c X{(X{Q)~TUS X, X, T, V c (X|T)~(X{V)US X, X, U, P c X{X~U{PUS X, X, V, P c X~(V{PX)US X, X, V, T c (X{V)~(X|T)US X, X, V, W c X{X~V|WUS X, X, V, X c XX{V~XUS X, X, W, P c X~(X|P)|WUS X, X, W, S c (X{X)~S|WUS X, X, W, V c X{X~V|WUS X, X, W, W c X|X{W~WUS X, X, W, X c (X~X)|(W{X)US X, X, X, V c XX{X~VUS X, X, X, W c (X|XX)~WUS