O, Q, V, V c O{Q{V~VTP O, R, U, W c O{R{U~WTP O, R, U, X c O{U~X|RTP O, R, W, U c O{R{W~UTP O, R, W, X c (O{R)~(W{X)TP O, R, X, U c O{X~U|RTP O, R, X, W c (O{R)~(X{W)TP O, T, U, X c O{T~X{UTP O, T, V, W c O{V~W|TTP O, T, W, V c O{W~V|TTP O, T, X, U c O{T~X{UTP O, U, R, W c O{U~W{RTP O, U, R, X c O{U~X|RTP O, U, T, X c O{U{T~XTP O, U, V, X c O{U~V{XTP O, U, W, R c O{U~W{RTP O, U, X, R c O{U~X|RTP O, U, X, T c O{U{X~TTP O, U, X, V c O{U~V{XTP O, V, Q, V c O{V~V{QTP O, V, T, W c O{V~W|TTP O, V, U, X c O{V~U{XTP O, V, V, Q c O{V~V{QTP O, V, W, T c O{V~W|TTP O, V, X, U c O{V~U{XTP O, W, R, U c O{W~U{RTP O, W, R, X c (O{W{X)~RTP O, W, T, V c O{W~V|TTP O, W, U, R c O{W~U{RTP O, W, V, T c O{W~V|TTP O, W, X, R c (O{W{X)~RTP O, X, R, U c O{X~U|RTP O, X, R, W c (O{X{W)~RTP O, X, T, U c O{X~T{UTP O, X, U, R c O{X~U|RTP O, X, U, T c O{X~T{UTP O, X, U, V c O{X{U~VTP O, X, V, U c O{X{V~UTP O, X, W, R c (O{X{W)~RTP P, P, T, X c P{(P{X)~TTP P, P, V, V c P{P{V~VTP P, P, X, T c P{(P{X)~TTP P, Q, R, W c (P{Q~W)~RTP P, Q, R, X c (Q~X|P)~RTP P, Q, T, T c P{Q~T~TTP P, Q, T, W c P{(Q{W)~TTP P, Q, U, V c (P{U)~V{QTP P, Q, U, W c P{Q{U~WTP P, Q, U, X c (U~X)|(P{Q)TP P, Q, V, U c (P{U)~V{QTP P, Q, V, V c P~Q{V~VTP P, Q, V, W c Q{V~(W|P)TP P, Q, W, R c (P{Q~W)~RTP P, Q, W, T c P{(Q{W)~TTP P, Q, W, U c P{Q{W~UTP P, Q, W, V c Q{(W|P)~VTP P, Q, W, X c (P{Q)~(W{X)TP P, Q, X, R c (Q~X|P)~RTP P, Q, X, U c (X|PQ)~UTP P, Q, X, W c (P{Q)~(X{W)TP P, R, Q, W c (P{Q~W)~RTP P, R, Q, X c R~(Q~X|P)TP P, R, R, U c R~(R~U|P)TP P, R, S, S c (P{S~S)~RTP P, R, T, V c P{(R{V)~TTP P, R, T, W c (P{T)~W{RTP P, R, T, X c (P{T)~X|RTP P, R, U, R c (R~U|P)~RTP P, R, U, V c (P{V)~U{RTP P, R, U, W c P~R{U~WTP P, R, U, X c P~U~X|RTP P, R, V, T c P{(R{V)~TTP P, R, V, U c (P{V)~U{RTP P, R, V, V c R|P{V~VTP P, R, V, W c R{(V|P)~WTP P, R, V, X c (P{V{X)~RTP P, R, W, Q c (P{W~Q)~RTP P, R, W, T c (P{T)~W{RTP P, R, W, U c P~R{W~UTP P, R, W, V c R{W~(V|P)TP P, R, W, W c (P{W{W)~RTP P, R, W, X c (P~R)~(W{X)TP P, R, X, Q c R~(X~Q|P)TP P, R, X, T c (P{T)~X|RTP P, R, X, U c P~X~U|RTP P, R, X, V c (P{X{V)~RTP P, R, X, W c (P~R)~(X{W)TP P, R, X, X c R~(X|P{X)TP P, S, R, S c (P{S~S)~RTP P, S, S, R c (P{S~S)~RTP P, S, S, X c S~(S{X)|PTP P, S, T, U c P{(S{U)~TTP P, S, T, W c S~(T{W)|PTP P, S, U, T c P{(S{U)~TTP P, S, U, V c S~(U{V)|PTP P, S, U, W c S|P{U~WTP P, S, U, X c (P{S)~X{UTP P, S, V, U c S~(V{U)|PTP P, S, V, W c (V~W)|(P{S)TP P, S, W, T c S~(W{T)|PTP P, S, W, U c S|P{W~UTP P, S, W, V c (W~V)|(P{S)TP P, S, W, X c (S|P)~(W{X)TP P, S, X, S c (S{X)~S|PTP P, S, X, U c (P{S)~X{UTP P, S, X, W c (S|P)~(X{W)TP P, T, P, X c P{T~(P{X)TP P, T, Q, T c P{T~Q~TTP P, T, Q, W c P{T~(Q{W)TP P, T, R, V c P{T~(R{V)TP P, T, R, W c (P{T)~W{RTP P, T, R, X c (P{T)~X|RTP P, T, S, U c P{T~(S{U)TP P, T, S, W c (T{W)~S|PTP P, T, T, Q c P{T~T~QTP P, T, T, T c P{(T{T)~TTP P, T, T, X c P{T{T~XTP P, T, U, S c P{T~(U{S)TP P, T, U, W c (P{U)~W|TTP P, T, U, X c P~T~X{UTP P, T, V, R c P{T~(V{R)TP P, T, V, V c (P{V)~V|TTP P, T, V, W c P~V~W|TTP P, T, V, X c (P{T)~V{XTP P, T, W, Q c P{T~(W{Q)TP P, T, W, R c (P{T)~W{RTP P, T, W, S c (T{W)~S|PTP P, T, W, U c (P{W)~T{UTP P, T, W, V c P~W~V|TTP P, T, W, W c (W|P)~W|TTP P, T, X, P c P{T~(X{P)TP P, T, X, R c (P{T)~X|RTP P, T, X, T c P{T{X~TTP P, T, X, U c P~T~X{UTP P, T, X, V c (P{T)~V{XTP P, U, Q, V c (P{U)~V{QTP P, U, Q, W c P{U~W{QTP P, U, Q, X c (U~X)|(P{Q)TP P, U, R, R c (U~R|P)~RTP P, U, R, V c (P{V)~U{RTP P, U, R, W c P~U~W{RTP P, U, R, X c P~U~X|RTP P, U, S, T c P{(U{S)~TTP P, U, S, V c (U{V)~S|PTP P, U, S, W c U~W|P{STP P, U, S, X c P{U~X|STP P, U, T, S c P{(U{S)~TTP P, U, T, W c (P{U)~W|TTP P, U, T, X c P~U{T~XTP P, U, U, X c (P{U)~U{XTP P, U, V, Q c (P{U)~V{QTP P, U, V, R c (P{V)~U{RTP P, U, V, S c (U{V)~S|PTP P, U, V, W c P{U~V{WTP P, U, V, X c P~U~V{XTP P, U, W, Q c P{U~W{QTP P, U, W, R c P~U~W{RTP P, U, W, S c U~W|P{STP P, U, W, T c (P{U)~W|TTP P, U, W, V c P{U~V{WTP P, U, W, X c U~(W|P){XTP P, U, X, Q c (U~X)|(P{Q)TP P, U, X, R c P~U~X|RTP P, U, X, S c P{U~X|STP P, U, X, T c P~U{X~TTP P, U, X, U c (P{U)~U{XTP P, U, X, V c P~U~V{XTP P, U, X, W c U~(W|P){XTP P, U, X, X c (P{X)~U|XTP P, V, P, V c P{V~V{PTP P, V, Q, U c (P{U)~V{QTP P, V, Q, V c P~V~V{QTP P, V, Q, W c V~(W|P){QTP P, V, R, T c P{(V{R)~TTP P, V, R, U c (P{V)~U{RTP P, V, R, V c V~V|P{RTP P, V, R, W c (V|P)~W{RTP P, V, R, X c (P{V{X)~RTP P, V, S, U c (V{U)~S|PTP P, V, S, W c (V~W)|(P{S)TP P, V, T, R c P{(V{R)~TTP P, V, T, V c (P{V)~V|TTP P, V, T, W c P~V~W|TTP P, V, T, X c (P{T)~V{XTP P, V, U, Q c (P{U)~V{QTP P, V, U, R c (P{V)~U{RTP P, V, U, S c (V{U)~S|PTP P, V, U, W c P{V~U{WTP P, V, U, X c P~V~U{XTP P, V, V, P c P{V~V{PTP P, V, V, Q c P~V~V{QTP P, V, V, R c V~V|P{RTP P, V, V, T c (P{V)~V|TTP P, V, V, X c (V|P)~V{XTP P, V, W, Q c V~(W|P){QTP P, V, W, R c (V|P)~W{RTP P, V, W, S c (V~W)|(P{S)TP P, V, W, T c P~V~W|TTP P, V, W, U c P{V~W|UTP P, V, X, R c (P{V{X)~RTP P, V, X, T c (P{T)~V{XTP P, V, X, U c P~V~U{XTP P, V, X, V c (V|P)~V{XTP P, W, Q, R c (P{W~Q)~RTP P, W, Q, T c P{(W{Q)~TTP P, W, Q, U c P{W~U{QTP P, W, Q, V c (W|P)~V{QTP P, W, Q, X c (P{Q)~(W{X)TP P, W, R, Q c (P{W~Q)~RTP P, W, R, T c (P{T)~W{RTP P, W, R, U c (P{W)~U|RTP P, W, R, V c W~(V|P){RTP P, W, R, W c (P{W{W)~RTP P, W, R, X c (P~W{X)~RTP P, W, S, T c (W{T)~S|PTP P, W, S, U c W~U|P{STP P, W, S, V c (W~V)|(P{S)TP P, W, S, X c (W{X)~(S|P)TP P, W, T, Q c P{(W{Q)~TTP P, W, T, R c (P{T)~W{RTP P, W, T, S c (W{T)~S|PTP P, W, T, U c (P{W)~T{UTP P, W, T, V c P~W~V|TTP P, W, T, W c (W|P)~W|TTP P, W, U, Q c P{W~U{QTP P, W, U, R c (P{W)~U|RTP P, W, U, S c W~U|P{STP P, W, U, T c (P{W)~T{UTP P, W, U, V c P{W{U~VTP P, W, U, X c (W|P)~U{XTP P, W, V, Q c (W|P)~V{QTP P, W, V, R c W~(V|P){RTP P, W, V, S c (W~V)|(P{S)TP P, W, V, T c P~W~V|TTP P, W, V, U c P{W{V~UTP P, W, W, R c (P{W{W)~RTP P, W, W, T c (W|P)~W|TTP P, W, X, Q c (P{Q)~(W{X)TP P, W, X, R c (P~W{X)~RTP P, W, X, S c (W{X)~(S|P)TP P, W, X, U c (W|P)~U{XTP P, X, P, T c P{(X{P)~TTP P, X, Q, R c (X~Q|P)~RTP P, X, Q, U c (X|PQ)~UTP P, X, Q, W c (P{Q)~(X{W)TP P, X, R, Q c (X~Q|P)~RTP P, X, R, T c (P{T)~X|RTP P, X, R, U c P~X~U|RTP P, X, R, V c (P{X{V)~RTP P, X, R, W c (P~X{W)~RTP P, X, R, X c (X|P{X)~RTP P, X, S, S c (X{S)~S|PTP P, X, S, U c P{X~U|STP P, X, S, W c (X{W)~(S|P)TP P, X, T, P c (P{X)~T{PTP P, X, T, R c (P{T)~X|RTP P, X, T, T c P{X~T{TTP P, X, T, U c P~X~T{UTP P, X, T, V c (P{T)~V{XTP P, X, U, Q c (X|PQ)~UTP P, X, U, R c P~X~U|RTP P, X, U, S c P{X~U|STP P, X, U, T c P~X~T{UTP P, X, U, U c (P{U)~U{XTP P, X, U, V c P~X{U~VTP P, X, U, W c X{U~(W|P)TP P, X, U, X c (P{X)~U|XTP P, X, V, R c (P{X{V)~RTP P, X, V, T c (P{T)~V{XTP P, X, V, U c P~X{V~UTP P, X, V, V c X{(V|P)~VTP P, X, W, Q c (P{Q)~(X{W)TP P, X, W, R c (P~X{W)~RTP P, X, W, S c (X{W)~(S|P)TP P, X, W, U c X{(W|P)~UTP P, X, X, R c (X|P{X)~RTP P, X, X, U c (P{X)~U|XTP Q, O, V, V c Q{O{V~VTP Q, P, R, W c (Q~W{P)~RTP Q, P, R, X c (Q~X|P)~RTP Q, P, T, T c Q~T~T{PTP Q, P, T, W c (Q{W)~T{PTP Q, P, U, V c Q{(P{U)~VTP Q, P, U, W c Q{P{U~WTP Q, P, U, X c (U~X)|(Q{P)TP Q, P, V, U c Q{(P{U)~VTP Q, P, V, V c Q{P~V~VTP Q, P, V, W c Q{V~(W|P)TP Q, P, W, R c (Q~W{P)~RTP Q, P, W, T c (Q{W)~T{PTP Q, P, W, U c Q{P{W~UTP Q, P, W, V c Q{(W|P)~VTP Q, P, W, X c (Q{P)~(W{X)TP Q, P, X, R c (Q~X|P)~RTP Q, P, X, U c (X|PQ)~UTP Q, P, X, W c (Q{P)~(X{W)TP Q, Q, T, V c Q{(Q{T)~VTP Q, Q, V, T c Q{(Q{T)~VTP Q, Q, V, X c Q{V~(X|Q)TP Q, Q, X, V c Q{(X|Q)~VTP Q, R, P, W c (Q~W{P)~RTP Q, R, P, X c (Q~X|P)~RTP Q, R, R, T c (Q{R~T)~RTP Q, R, R, V c (Q~V{R)~RTP Q, R, R, W c Q~R~W{RTP Q, R, R, X c Q~R~X|RTP Q, R, S, U c Q~S~U{RTP Q, R, S, V c Q{(R{S)~VTP Q, R, S, W c (Q{S)~W{RTP Q, R, S, X c (Q{S)~X|RTP Q, R, T, R c (Q{R~T)~RTP Q, R, T, U c (Q~U{T)~RTP Q, R, T, V c (Q~T{V)~RTP Q, R, T, X c Q~R{T~XTP Q, R, U, S c Q~U~S{RTP Q, R, U, T c (Q~U{T)~RTP Q, R, U, U c (Q{U)~U{RTP Q, R, U, V c (Q{V)~U|RTP Q, R, U, X c (Q{R)~X{UTP Q, R, V, R c (Q~V{R)~RTP Q, R, V, S c Q{(R{S)~VTP Q, R, V, T c (Q~T{V)~RTP Q, R, V, U c (Q{V)~U|RTP Q, R, V, W c (Q{V{W)~RTP Q, R, V, X c Q~R~V{XTP Q, R, W, P c (Q~W{P)~RTP Q, R, W, R c Q~R~W{RTP Q, R, W, S c (Q{S)~W{RTP Q, R, W, V c (Q{W{V)~RTP Q, R, W, W c R{(W|Q)~WTP Q, R, W, X c (W|Q)~X|RTP Q, R, X, P c (Q~X|P)~RTP Q, R, X, R c Q~R~X|RTP Q, R, X, S c (Q{S)~X|RTP Q, R, X, T c Q~R{X~TTP Q, R, X, U c (Q{R)~X{UTP Q, R, X, V c Q~R~V{XTP Q, R, X, W c X~(W|Q)|RTP Q, S, R, U c Q~S~U{RTP Q, S, R, V c Q{(S{R)~VTP Q, S, R, W c (Q{S)~W{RTP Q, S, R, X c (Q{S)~X|RTP Q, S, T, V c Q~S~V|TTP Q, S, T, X c Q{S{T~XTP Q, S, U, R c Q~S~U{RTP Q, S, U, W c (QS{W)~UTP Q, S, U, X c (S{XQ)~UTP Q, S, V, R c Q{(S{R)~VTP Q, S, V, T c Q~S~V|TTP Q, S, V, V c S|Q{V~VTP Q, S, V, X c (Q{S)~V{XTP Q, S, W, R c (Q{S)~W{RTP Q, S, W, U c (QS{W)~UTP Q, S, X, R c (Q{S)~X|RTP Q, S, X, T c Q{S{X~TTP Q, S, X, U c (S{XQ)~UTP Q, S, X, V c (Q{S)~V{XTP Q, T, P, T c Q~T~T{PTP Q, T, P, W c (Q{W)~T{PTP Q, T, Q, V c Q{(T{Q)~VTP Q, T, R, R c (Q{T~R)~RTP Q, T, R, U c (Q~U{T)~RTP Q, T, R, V c (Q~T{V)~RTP Q, T, R, X c Q~R{T~XTP Q, T, S, V c Q~S~V|TTP Q, T, S, X c Q{T~X{STP Q, T, T, P c Q~T~T{PTP Q, T, T, W c (Q{T)~W|TTP Q, T, U, R c (Q~U{T)~RTP Q, T, U, U c (TQ{U)~UTP Q, T, U, V c (Q{U)~V|TTP Q, T, U, W c T|Q{U~WTP Q, T, U, X c (Q{T)~U{XTP Q, T, V, Q c (Q{T)~V{QTP Q, T, V, R c (Q~T{V)~RTP Q, T, V, S c Q~V~S|TTP Q, T, V, U c (Q{V)~T{UTP Q, T, V, W c Q~W{T~VTP Q, T, W, P c (Q{W)~T{PTP Q, T, W, T c (Q{T)~W|TTP Q, T, W, U c T|Q{W~UTP Q, T, W, V c Q~W{T~VTP Q, T, W, X c Q{T~W{XTP Q, T, X, R c Q~R{T~XTP Q, T, X, S c Q{T~X{STP Q, T, X, U c (Q{T)~U{XTP Q, T, X, W c Q{T~W{XTP Q, U, P, V c Q{(U{P)~VTP Q, U, P, W c Q{U~W{PTP Q, U, P, X c (U~X)|(Q{P)TP Q, U, R, S c Q~U~S{RTP Q, U, R, T c (Q~U{T)~RTP Q, U, R, U c (Q{U)~U{RTP Q, U, R, V c (Q{V)~U|RTP Q, U, R, X c (Q{U{X)~RTP Q, U, S, R c Q~U~S{RTP Q, U, S, W c (QS{W)~UTP Q, U, S, X c U~(S{XQ)TP Q, U, T, R c (Q~U{T)~RTP Q, U, T, U c (U{TQ)~UTP Q, U, T, V c (Q{U)~V|TTP Q, U, T, W c U~W|Q{TTP Q, U, T, X c Q~U~T|XTP Q, U, U, R c (Q{U)~U{RTP Q, U, U, T c U~(U{TQ)TP Q, U, U, W c UQ{U~WTP Q, U, U, X c (U|QU)~XTP Q, U, V, P c Q{(U{P)~VTP Q, U, V, R c (Q{V)~U|RTP Q, U, V, T c (Q{U)~V|TTP Q, U, V, V c Q{U~V{VTP Q, U, V, X c U{(V|Q)~XTP Q, U, W, P c Q{U~W{PTP Q, U, W, S c (QS{W)~UTP Q, U, W, T c U~W|Q{TTP Q, U, W, U c UQ{W~UTP Q, U, W, X c (Q{W)~U|XTP Q, U, X, P c (U~X)|(Q{P)TP Q, U, X, R c (Q{U{X)~RTP Q, U, X, S c U~(X|QS)TP Q, U, X, T c Q{U~X|TTP Q, U, X, U c (U|QU)~XTP Q, U, X, V c U{X~(V|Q)TP Q, U, X, W c (Q{W)~U|XTP Q, U, X, X c U~(X|Q){XTP Q, V, O, V c Q{(V{O)~VTP Q, V, P, U c Q{V~(P{U)TP Q, V, P, V c Q{V~P~VTP Q, V, P, W c Q{V~(W|P)TP Q, V, Q, T c Q{V~(Q{T)TP Q, V, Q, X c Q{V~(X|Q)TP Q, V, R, R c (Q~V{R)~RTP Q, V, R, S c Q{V~(R{S)TP Q, V, R, T c (Q~T{V)~RTP Q, V, R, U c (Q{V)~U|RTP Q, V, R, W c (Q{V{W)~RTP Q, V, R, X c Q~V~R{XTP Q, V, S, R c Q{V~(S{R)TP Q, V, S, T c Q~V~S|TTP Q, V, S, V c V~V|Q{STP Q, V, S, X c (Q{S)~V{XTP Q, V, T, Q c Q{V~(T{Q)TP Q, V, T, R c (Q~T{V)~RTP Q, V, T, S c Q~V~S|TTP Q, V, T, U c (Q{V)~T{UTP Q, V, T, W c Q~W{V~TTP Q, V, U, P c Q{V~(U{P)TP Q, V, U, R c (Q{V)~U|RTP Q, V, U, T c (Q{V)~T{UTP Q, V, U, V c Q{V{U~VTP Q, V, U, X c (V|Q)~X{UTP Q, V, V, O c Q{V~V{OTP Q, V, V, P c Q{V~V~PTP Q, V, V, S c V~V|Q{STP Q, V, V, U c Q{V{V~UTP Q, V, V, V c (QV{V)~VTP Q, V, V, W c Q{V~W|VTP Q, V, W, P c Q{V~(W|P)TP Q, V, W, R c (Q{V{W)~RTP Q, V, W, T c Q~W{V~TTP Q, V, W, V c Q{V~W|VTP Q, V, W, X c V~(W|Q){XTP Q, V, X, Q c Q{V~(X|Q)TP Q, V, X, R c Q~V~R{XTP Q, V, X, S c (Q{X)~S{VTP Q, V, X, U c (V|Q)~X{UTP Q, V, X, W c V~(W|Q){XTP Q, W, P, R c (Q~W{P)~RTP Q, W, P, T c (Q{W)~T{PTP Q, W, P, U c Q{W~U{PTP Q, W, P, V c Q{(W|P)~VTP Q, W, P, X c (Q{P)~(W{X)TP Q, W, R, P c (Q~W{P)~RTP Q, W, R, R c Q~W~R{RTP Q, W, R, S c (Q{S)~W{RTP Q, W, R, V c (Q{W{V)~RTP Q, W, R, W c (W|Q)~W{RTP Q, W, R, X c (W|Q)~X|RTP Q, W, S, R c (Q{S)~W{RTP Q, W, S, U c (QS{W)~UTP Q, W, T, P c (Q{W)~T{PTP Q, W, T, T c (Q{T)~W|TTP Q, W, T, U c W~U|Q{TTP Q, W, T, V c Q~W{T~VTP Q, W, T, X c Q{W~T{XTP Q, W, U, P c Q{W~U{PTP Q, W, U, S c (QS{W)~UTP Q, W, U, T c W~U|Q{TTP Q, W, U, U c W~U{UQTP Q, W, U, X c (Q{W)~U|XTP Q, W, V, P c Q{(W|P)~VTP Q, W, V, R c (Q{W{V)~RTP Q, W, V, T c Q~W{V~TTP Q, W, V, V c Q{W~V|VTP Q, W, V, X c (W|Q)~V{XTP Q, W, W, R c (W|Q)~W{RTP Q, W, X, P c (Q{P)~(W{X)TP Q, W, X, R c (W|Q)~X|RTP Q, W, X, T c Q{W~T{XTP Q, W, X, U c (Q{W)~U|XTP Q, W, X, V c (W|Q)~V{XTP Q, X, P, R c (Q~X|P)~RTP Q, X, P, U c (X|PQ)~UTP Q, X, P, W c (Q{P)~(X{W)TP Q, X, Q, V c Q{(X|Q)~VTP Q, X, R, P c (Q~X|P)~RTP Q, X, R, R c Q~X~R|RTP Q, X, R, S c (Q{S)~X|RTP Q, X, R, T c Q~R{X~TTP Q, X, R, U c (Q{X{U)~RTP Q, X, R, V c Q~R~V{XTP Q, X, R, W c X~(W|Q)|RTP Q, X, S, R c (Q{S)~X|RTP Q, X, S, T c Q{X~T{STP Q, X, S, U c (X|QS)~UTP Q, X, S, V c (Q{X)~S{VTP Q, X, T, R c Q~R{X~TTP Q, X, T, S c Q{X~T{STP Q, X, T, U c Q{X~U|TTP Q, X, T, W c Q{X{T~WTP Q, X, U, P c (X~U)|(Q{P)TP Q, X, U, R c (Q{X{U)~RTP Q, X, U, S c (X|QS)~UTP Q, X, U, T c Q{X~U|TTP Q, X, U, U c X~(U|QU)TP Q, X, U, V c X~(V|Q){UTP Q, X, U, W c (Q{W)~U|XTP Q, X, U, X c (X|Q)~U{XTP Q, X, V, Q c Q{(X|Q)~VTP Q, X, V, R c Q~V~R{XTP Q, X, V, S c (Q{X)~S{VTP Q, X, V, U c X~(V|Q){UTP Q, X, V, W c X{V~(W|Q)TP Q, X, W, P c (Q{P)~(X{W)TP Q, X, W, R c X~(W|Q)|RTP Q, X, W, T c Q{X{W~TTP Q, X, W, U c (Q{W)~U|XTP Q, X, W, V c X{(W|Q)~VTP Q, X, X, U c (X|Q)~U{XTP R, O, U, W c R{O{U~WTP R, O, U, X c O{U~X|RTP R, O, W, U c R{O{W~UTP R, O, W, X c (R{O)~(W{X)TP R, O, X, U c O{X~U|RTP R, O, X, W c (R{O)~(X{W)TP R, P, Q, W c R~(P{Q~W)TP R, P, Q, X c R~(Q~X|P)TP R, P, R, U c R~(R~U|P)TP R, P, S, S c R~(P{S~S)TP R, P, T, V c (R{V)~T{PTP R, P, T, W c R{(P{T)~WTP R, P, T, X c (P{T)~X|RTP R, P, U, R c (R~U|P)~RTP R, P, U, V c R{(P{V)~UTP R, P, U, W c R{P~U~WTP R, P, U, X c R{U~(X|P)TP R, P, V, T c (R{V)~T{PTP R, P, V, U c R{(P{V)~UTP R, P, V, V c R|P{V~VTP R, P, V, W c R{(V|P)~WTP R, P, V, X c R~(P{V{X)TP R, P, W, Q c R~(P{W~Q)TP R, P, W, T c R{(P{T)~WTP R, P, W, U c R{P~W~UTP R, P, W, V c R{W~(V|P)TP R, P, W, W c R~(P{W{W)TP R, P, W, X c (R~P)~(W{X)TP R, P, X, Q c R~(X~Q|P)TP R, P, X, T c (P{T)~X|RTP R, P, X, U c R{(X|P)~UTP R, P, X, V c R~(P{X{V)TP R, P, X, W c (R~P)~(X{W)TP R, P, X, X c R~(X|P{X)TP R, Q, P, W c R~(Q~W{P)TP R, Q, P, X c R~(Q~X|P)TP R, Q, R, T c R~(Q{R~T)TP R, Q, R, V c (R{Q~V)~RTP R, Q, R, W c R{Q~R~WTP R, Q, R, X c R~Q~X|RTP R, Q, S, U c R{Q~S~UTP R, Q, S, V c (R{S)~V{QTP R, Q, S, W c R{(Q{S)~WTP R, Q, S, X c R~(Q~S{X)TP R, Q, T, R c R~(Q{T~R)TP R, Q, T, U c R~(Q~U{T)TP R, Q, T, V c R~(Q~T{V)TP R, Q, T, X c R~Q{T~XTP R, Q, U, S c R{Q~U~STP R, Q, U, T c R~(Q~U{T)TP R, Q, U, U c R{(Q{U)~UTP R, Q, U, V c (RQ{V)~UTP R, Q, U, X c R~(Q{U{X)TP R, Q, V, R c (R{Q~V)~RTP R, Q, V, S c (R{S)~V{QTP R, Q, V, T c R~(Q~T{V)TP R, Q, V, U c (RQ{V)~UTP R, Q, V, W c R~(Q{V{W)TP R, Q, V, X c R~Q~V{XTP R, Q, W, P c R~(Q~W{P)TP R, Q, W, R c R{Q~W~RTP R, Q, W, S c R{(Q{S)~WTP R, Q, W, V c R~(Q{W{V)TP R, Q, W, W c R{(W|Q)~WTP R, Q, W, X c (W|Q)~X|RTP R, Q, X, P c R~(Q~X|P)TP R, Q, X, R c R~Q~X|RTP R, Q, X, S c R~(Q~S{X)TP R, Q, X, T c R~Q{X~TTP R, Q, X, U c (R{Q)~X{UTP R, Q, X, V c R~Q~V{XTP R, Q, X, W c X~(W|Q)|RTP R, R, P, U c R~(R~U|P)TP R, R, Q, T c R~(R~T{Q)TP R, R, Q, V c R~(R{Q~V)TP R, R, Q, W c R{R~Q~WTP R, R, Q, X c R~Q~X|RTP R, R, R, U c R~R~U|RTP R, R, R, W c R{(R{R)~WTP R, R, R, X c (R{R)~X|RTP R, R, S, S c R{R~S~STP R, R, S, T c R~(R~S{T)TP R, R, S, V c R~(R~V|S)TP R, R, S, X c R{(R{X)~STP R, R, T, Q c R~(R~T{Q)TP R, R, T, S c R~(R~S{T)TP R, R, T, U c R{(R{T)~UTP R, R, T, X c R{R{T~XTP R, R, U, P c R~(R~U|P)TP R, R, U, R c R~R~U|RTP R, R, U, T c R{(R{T)~UTP R, R, U, U c (R{U)~U|RTP R, R, U, V c R~R{U~VTP R, R, U, W c R~(R{U{W)TP R, R, V, Q c R~(R{V~Q)TP R, R, V, S c R~(R~V|S)TP R, R, V, U c R~R{V~UTP R, R, V, V c R~(R{V{V)TP R, R, V, W c R~(R~W|V)TP R, R, V, X c (R{R)~V{XTP R, R, W, Q c R{R~W~QTP R, R, W, R c (R{R)~W{RTP R, R, W, U c R~(R{W{U)TP R, R, W, V c R~(R~W|V)TP R, R, W, W c R{R~(W{W)TP R, R, W, X c (R{WR)~XTP R, R, X, Q c R~X~Q|RTP R, R, X, R c (R{R)~X|RTP R, R, X, S c R{(R{X)~STP R, R, X, T c R{R{X~TTP R, R, X, V c R{R~(X{V)TP R, R, X, W c R{(X|R)~WTP R, R, X, X c R~(X{X)|RTP R, S, P, S c R~(S~S{P)TP R, S, Q, U c R{S~Q~UTP R, S, Q, V c (R{S)~V{QTP R, S, Q, W c R{(S{Q)~WTP R, S, Q, X c R~(S~Q{X)TP R, S, R, S c R{S~R~STP R, S, R, T c R~(S~R{T)TP R, S, R, V c R~(R~V|S)TP R, S, R, X c R{S~(R{X)TP R, S, S, P c R~(S~S{P)TP R, S, S, R c R{S~S~RTP R, S, S, U c R{(S{S)~UTP R, S, S, W c R{S~(S{W)TP R, S, S, X c R~(S{S{X)TP R, S, T, R c (R~S{T)~RTP R, S, T, U c (S{T)~U|RTP R, S, T, V c R{S~(T{V)TP R, S, T, W c R~(S{T{W)TP R, S, T, X c R~S~T|XTP R, S, U, Q c R{S~U~QTP R, S, U, S c R{(S{S)~UTP R, S, U, T c (S{T)~U|RTP R, S, U, U c R{S~(U{U)TP R, S, U, V c R~(S{U{V)TP R, S, U, X c (R{S)~U{XTP R, S, V, Q c (R{S)~V{QTP R, S, V, R c (R~V|S)~RTP R, S, V, T c R{S~(V{T)TP R, S, V, U c R~(S{V{U)TP R, S, V, W c (R{W)~S{VTP R, S, V, X c (V|SR)~XTP R, S, W, Q c R{(S{Q)~WTP R, S, W, S c R{(S{W)~STP R, S, W, T c (R{S)~W|TTP R, S, W, V c (R{W)~S{VTP R, S, X, Q c R~(S~Q{X)TP R, S, X, R c R{S~(X{R)TP R, S, X, S c R~(S{X{S)TP R, S, X, T c R~S~T|XTP R, S, X, U c (R{S)~U{XTP R, S, X, V c X~V|R~STP R, T, P, V c (R{V)~T{PTP R, T, P, W c R{(T{P)~WTP R, T, P, X c (T{P)~X|RTP R, T, Q, R c (R~T{Q)~RTP R, T, Q, U c R~(T{Q~U)TP R, T, Q, V c R~(T~Q{V)TP R, T, Q, X c R~Q{T~XTP R, T, R, Q c R~(T~R{Q)TP R, T, R, S c R~(T{R~S)TP R, T, R, U c R{(T{R)~UTP R, T, R, X c R~(T{R{X)TP R, T, S, R c R~(T{S~R)TP R, T, S, U c (T{S)~U|RTP R, T, S, V c R{(T{V)~STP R, T, S, W c R~(T{S{W)TP R, T, S, X c R~T{S~XTP R, T, T, V c R~(T{T{V)TP R, T, T, W c R~(T~T|W)TP R, T, U, Q c R~(T{U~Q)TP R, T, U, R c (R{T)~U{RTP R, T, U, S c (T{S)~U|RTP R, T, U, U c R~(T{U{U)TP R, T, U, V c R~V{T~UTP R, T, V, P c (R{V)~T{PTP R, T, V, Q c R~(T~Q{V)TP R, T, V, S c R{(T{V)~STP R, T, V, T c (R{T)~V|TTP R, T, V, U c R~V{T~UTP R, T, V, V c T|R{V~VTP R, T, W, P c R{(T{P)~WTP R, T, W, S c R~(T{W{S)TP R, T, W, T c R~(T~T|W)TP R, T, W, W c R{T~W{WTP R, T, X, P c (T{P)~X|RTP R, T, X, Q c R~Q{T~XTP R, T, X, R c (R{T{X)~RTP R, T, X, S c R~T{X~STP R, T, X, X c R~(T{X){XTP R, U, O, W c R{(U{O)~WTP R, U, O, X c (U{O)~X|RTP R, U, P, R c (R~U|P)~RTP R, U, P, V c R{U~(P{V)TP R, U, P, W c R{U~P~WTP R, U, P, X c R{U~(X|P)TP R, U, Q, S c R{U~Q~STP R, U, Q, T c R~(U~Q{T)TP R, U, Q, U c R{(U{Q)~UTP R, U, Q, V c (RQ{V)~UTP R, U, Q, X c R~(U{Q{X)TP R, U, R, P c R~(U~R|P)TP R, U, R, R c R~U~R|RTP R, U, R, T c R{U~(R{T)TP R, U, R, U c (R{U)~U|RTP R, U, R, V c R~R{U~VTP R, U, R, W c R~(U{R{W)TP R, U, S, Q c R{U~S~QTP R, U, S, S c R{U~(S{S)TP R, U, S, T c U~(S{T)|RTP R, U, S, U c R{(U{U)~STP R, U, S, V c R~(U{S{V)TP R, U, S, X c (R{S)~U{XTP R, U, T, Q c R~(U~Q{T)TP R, U, T, R c R{U~(T{R)TP R, U, T, S c U~(T{S)|RTP R, U, T, U c (R{U)~T{UTP R, U, T, V c R~V{U~TTP R, U, U, Q c R{U~(U{Q)TP R, U, U, R c (R{U)~U|RTP R, U, U, S c R{(U{U)~STP R, U, U, T c R~(U{U{T)TP R, U, U, V c R{U{U~VTP R, U, U, W c (RU{W)~UTP R, U, U, X c R{U~X|UTP R, U, V, P c R{U~(V{P)TP R, U, V, Q c (RQ{V)~UTP R, U, V, R c R~R{U~VTP R, U, V, S c R~(U{V{S)TP R, U, V, T c R~V{U~TTP R, U, V, U c R{U{V~UTP R, U, V, V c UR{V~VTP R, U, V, W c R~(V{W){UTP R, U, V, X c (R{V)~U|XTP R, U, W, O c R{U~W{OTP R, U, W, P c R{U~W~PTP R, U, W, R c (R{U{W)~RTP R, U, W, U c (RU{W)~UTP R, U, W, V c R~(W{V){UTP R, U, W, W c (RW{U)~WTP R, U, W, X c R~(U{W){XTP R, U, X, O c U~X|R{OTP R, U, X, P c R{U~(X|P)TP R, U, X, Q c R~(U{X{Q)TP R, U, X, S c R~X{U~STP R, U, X, U c R{U~X|UTP R, U, X, V c (R{V)~U|XTP R, U, X, W c R~(U{W){XTP R, U, X, X c (U|RX)~XTP R, V, P, T c (R{V)~T{PTP R, V, P, U c R{(V{P)~UTP R, V, P, V c R{V~V|PTP R, V, P, W c R{(V|P)~WTP R, V, P, X c R~(V{P{X)TP R, V, Q, R c (R{V~Q)~RTP R, V, Q, S c (R{S)~V{QTP R, V, Q, T c R~(V{Q~T)TP R, V, Q, U c (RQ{V)~UTP R, V, Q, W c R~(V{Q{W)TP R, V, Q, X c R~V~Q{XTP R, V, R, Q c (R{V~Q)~RTP R, V, R, S c R~(V~R|S)TP R, V, R, U c R~R{V~UTP R, V, R, V c R~(V{R{V)TP R, V, R, W c R~(R~W|V)TP R, V, R, X c R{(V{X)~RTP R, V, S, Q c (R{S)~V{QTP R, V, S, R c (R~V|S)~RTP R, V, S, T c R{(V{T)~STP R, V, S, U c R~(V{S{U)TP R, V, S, W c (R{W)~S{VTP R, V, S, X c (V|SR)~XTP R, V, T, P c (R{V)~T{PTP R, V, T, Q c R~(V{T~Q)TP R, V, T, S c R{(V{T)~STP R, V, T, T c R~(V{T{T)TP R, V, T, U c R~V{T~UTP R, V, T, V c V~V|R{TTP R, V, U, P c R{(V{P)~UTP R, V, U, Q c (RQ{V)~UTP R, V, U, R c R~R{V~UTP R, V, U, S c R~(V{U{S)TP R, V, U, T c R~V{U~TTP R, V, U, U c R{V~U{UTP R, V, U, V c V~V{URTP R, V, U, W c R~(V{W){UTP R, V, U, X c (R{V)~U|XTP R, V, V, P c R{V~V|PTP R, V, V, R c (R{V{V)~RTP R, V, V, T c V~V|R{TTP R, V, V, U c V~V{URTP R, V, V, X c R~(V{V){XTP R, V, W, P c R{(V|P)~WTP R, V, W, Q c R~(V{W{Q)TP R, V, W, R c (R~W|V)~RTP R, V, W, S c (R{W)~S{VTP R, V, W, U c R~(V{W){UTP R, V, W, W c R{V~W|WTP R, V, W, X c (W|VR)~XTP R, V, X, P c R~(V{X{P)TP R, V, X, Q c R~V~Q{XTP R, V, X, R c R{(V{X)~RTP R, V, X, S c V~X|R~STP R, V, X, U c (R{V)~U|XTP R, V, X, V c R~(V{V){XTP R, V, X, W c X~W|R~VTP R, V, X, X c (V~X)|(R{X)TP R, W, O, U c R{(W{O)~UTP R, W, O, X c R~(W{O{X)TP R, W, P, Q c R~(W~Q{P)TP R, W, P, T c R{W~(P{T)TP R, W, P, U c R{W~P~UTP R, W, P, V c R{W~(V|P)TP R, W, P, W c R~(W{P{W)TP R, W, P, X c R~(W{P~X)TP R, W, Q, P c R~(W~Q{P)TP R, W, Q, R c R{W~Q~RTP R, W, Q, S c R{W~(Q{S)TP R, W, Q, V c R~(W{Q{V)TP R, W, Q, W c R{(W|Q)~WTP R, W, Q, X c (W|Q)~X|RTP R, W, R, Q c R{W~R~QTP R, W, R, R c R{W~(R{R)TP R, W, R, U c R~(W{R{U)TP R, W, R, V c R~(W~R|V)TP R, W, R, W c R{(W{W)~RTP R, W, R, X c (R{WR)~XTP R, W, S, Q c R{W~(S{Q)TP R, W, S, S c R{(W{S)~STP R, W, S, T c R~(W{S{T)TP R, W, S, V c (R{W)~S{VTP R, W, T, P c R{W~(T{P)TP R, W, T, S c (R{W)~T|STP R, W, T, T c R~(T~T|W)TP R, W, T, W c R{W{T~WTP R, W, U, O c R{W~U{OTP R, W, U, P c R{W~U~PTP R, W, U, R c (R{W{U)~RTP R, W, U, U c (RU{W)~UTP R, W, U, V c R~(W{V){UTP R, W, U, W c (RW{U)~WTP R, W, U, X c R~(W{U){XTP R, W, V, P c R{W~(V|P)TP R, W, V, Q c R~(W{V{Q)TP R, W, V, R c (R~W|V)~RTP R, W, V, S c (R{W)~S{VTP R, W, V, U c R~(W{V){UTP R, W, V, W c R{W~V|WTP R, W, V, X c (W|VR)~XTP R, W, W, P c R~(W{W{P)TP R, W, W, Q c R{W~(W|Q)TP R, W, W, R c R{(W{W)~RTP R, W, W, T c R{W{W~TTP R, W, W, U c (RW{U)~WTP R, W, W, V c R{W~V|WTP R, W, X, O c R~(W{X){OTP R, W, X, P c R~(W{X)~PTP R, W, X, Q c (W|Q)~X|RTP R, W, X, R c R{W~(X|R)TP R, W, X, U c R~(W{U){XTP R, W, X, V c W~X|R~VTP R, W, X, X c (W{X)R~XTP R, X, O, U c (X{O)~U|RTP R, X, O, W c R~(X{O{W)TP R, X, P, Q c R~(X~Q|P)TP R, X, P, T c X~(P{T)|RTP R, X, P, U c R{(X|P)~UTP R, X, P, V c R~(X{P{V)TP R, X, P, W c R~(X{P~W)TP R, X, P, X c R~(X|P{X)TP R, X, Q, P c R~(X~Q|P)TP R, X, Q, R c R~X~Q|RTP R, X, Q, S c R~(X{Q~S)TP R, X, Q, T c R~Q{X~TTP R, X, Q, U c R~(X{Q{U)TP R, X, Q, V c R~Q~V{XTP R, X, Q, W c X~(W|Q)|RTP R, X, R, Q c R~X~Q|RTP R, X, R, R c (R{R)~X|RTP R, X, R, S c R{(X{R)~STP R, X, R, T c R~(X{R{T)TP R, X, R, V c R{(X{V)~RTP R, X, R, W c R{(X|R)~WTP R, X, R, X c R~(X{X)|RTP R, X, S, Q c R~(X{S~Q)TP R, X, S, R c (R{X)~S{RTP R, X, S, S c R~(X{S{S)TP R, X, S, T c R~S~T|XTP R, X, S, U c R~X{S~UTP R, X, S, V c X~V|R~STP R, X, T, P c X~(T{P)|RTP R, X, T, Q c R~Q{X~TTP R, X, T, R c (R{X{T)~RTP R, X, T, S c R~T{X~STP R, X, T, X c (R{X)~T|XTP R, X, U, O c X~U|R{OTP R, X, U, P c R{(X|P)~UTP R, X, U, Q c R~(X{U{Q)TP R, X, U, S c R~X{U~STP R, X, U, U c R{X~U|UTP R, X, U, V c (R{V)~U|XTP R, X, U, W c R~(U{W){XTP R, X, U, X c X~(U|RX)TP R, X, V, P c R~(X{V{P)TP R, X, V, Q c R~V~Q{XTP R, X, V, R c R{(X{V)~RTP R, X, V, S c X~V|R~STP R, X, V, U c (R{V)~U|XTP R, X, V, V c R~(V{V){XTP R, X, V, W c X~W|R~VTP R, X, V, X c (X|R)~V{XTP R, X, W, O c R~(X{W){OTP R, X, W, P c R~(X{W)~PTP R, X, W, Q c X~(W|Q)|RTP R, X, W, R c R~X{W~RTP R, X, W, U c R~(W{U){XTP R, X, W, V c X~W|R~VTP R, X, W, X c (XR)~(W{X)TP R, X, X, P c R~(X{X|P)TP R, X, X, R c R~(X{X)|RTP R, X, X, T c (R{X)~T|XTP R, X, X, U c X~(U|RX)TP R, X, X, V c (X|R)~V{XTP R, X, X, W c (XR)~(X{W)TP S, P, R, S c (S~S{P)~RTP S, P, S, R c (S~S{P)~RTP S, P, S, X c S~(S{X)|PTP S, P, T, U c (S{U)~T{PTP S, P, T, W c S~(T{W)|PTP S, P, U, T c (S{U)~T{PTP S, P, U, V c S~(U{V)|PTP S, P, U, W c S|P{U~WTP S, P, U, X c (S{P)~X{UTP S, P, V, U c S~(V{U)|PTP S, P, V, W c (V~W)|(S{P)TP S, P, W, T c S~(W{T)|PTP S, P, W, U c S|P{W~UTP S, P, W, V c (W~V)|(S{P)TP S, P, W, X c (S|P)~(W{X)TP S, P, X, S c (S{X)~S|PTP S, P, X, U c (S{P)~X{UTP S, P, X, W c (S|P)~(X{W)TP S, Q, R, U c S~Q~U{RTP S, Q, R, V c (S{R)~V{QTP S, Q, R, W c (S{Q)~W{RTP S, Q, R, X c (S{Q)~X|RTP S, Q, T, V c S~Q~V|TTP S, Q, T, X c S{Q{T~XTP S, Q, U, R c S~Q~U{RTP S, Q, U, W c (QS{W)~UTP S, Q, U, X c (S{XQ)~UTP S, Q, V, R c (S{R)~V{QTP S, Q, V, T c S~Q~V|TTP S, Q, V, V c S|Q{V~VTP S, Q, V, X c (S{Q)~V{XTP S, Q, W, R c (S{Q)~W{RTP S, Q, W, U c (QS{W)~UTP S, Q, X, R c (S{Q)~X|RTP S, Q, X, T c S{Q{X~TTP S, Q, X, U c (S{XQ)~UTP S, Q, X, V c S~(Q{X){VTP S, R, P, S c (S~S{P)~RTP S, R, Q, U c S~Q~U{RTP S, R, Q, V c (S{R)~V{QTP S, R, Q, W c (S{Q)~W{RTP S, R, Q, X c (S{Q)~X|RTP S, R, R, S c S~R~S{RTP S, R, R, T c (S~R{T)~RTP S, R, R, V c R~(R~V|S)TP S, R, R, X c S~(R{X){RTP S, R, S, P c (S~S{P)~RTP S, R, S, R c S~R~S{RTP S, R, S, U c (S{S)~U{RTP S, R, S, W c S~(S{W){RTP S, R, S, X c (S{S{X)~RTP S, R, T, R c (S~R{T)~RTP S, R, T, U c (S{T)~U|RTP S, R, T, V c S~(T{V){RTP S, R, T, W c (S{R)~W|TTP S, R, T, X c S~R~T|XTP S, R, U, Q c S~U~Q{RTP S, R, U, S c (S{S)~U{RTP S, R, U, T c (S{T)~U|RTP S, R, U, U c S~(U{U){RTP S, R, U, V c (S{U{V)~RTP S, R, U, X c (S{R)~U{XTP S, R, V, Q c (S{R)~V{QTP S, R, V, R c (R~V|S)~RTP S, R, V, T c S~(V{T){RTP S, R, V, U c (S{V{U)~RTP S, R, V, W c S~(R{W){VTP S, R, V, X c (V|SR)~XTP S, R, W, Q c (S{Q)~W{RTP S, R, W, S c (S{W)~S{RTP S, R, W, T c (S{R)~W|TTP S, R, W, V c S~(R{W){VTP S, R, X, Q c (S{Q)~X|RTP S, R, X, R c S~(R{X){RTP S, R, X, S c (S{X{S)~RTP S, R, X, T c S~R~T|XTP S, R, X, U c (S{R)~U{XTP S, R, X, V c X~V|S~RTP S, S, P, R c (S~S{P)~RTP S, S, P, X c S~(S{X)|PTP S, S, R, P c (S~S{P)~RTP S, S, R, R c S~S~R{RTP S, S, R, U c (S{S)~U{RTP S, S, R, W c S~(S{W){RTP S, S, R, X c (S{S{X)~RTP S, S, T, V c S~S{T~VTP S, S, U, R c (S{S)~U{RTP S, S, V, T c (S{S)~V|TTP S, S, V, V c S~(S{V){VTP S, S, W, R c S~(S{W){RTP S, S, X, P c S~(S{X)|PTP S, S, X, R c (S{S{X)~RTP S, T, P, U c (S{U)~T{PTP S, T, P, W c S~(T{W)|PTP S, T, Q, V c S~Q~V|TTP S, T, Q, X c S{T~X{QTP S, T, R, R c (S~T|R)~RTP S, T, R, U c (S{T)~U|RTP S, T, R, V c S~(T{V){RTP S, T, R, W c (S{T{W)~RTP S, T, R, X c (S{TR)~XTP S, T, S, V c S~S{T~VTP S, T, T, U c (S{T)~T{UTP S, T, T, X c S~(T{X)|TTP S, T, U, P c (S{U)~T{PTP S, T, U, R c (S{T)~U|RTP S, T, U, T c (S{T)~T{UTP S, T, U, V c S{T{U~VTP S, T, U, W c S~(U{W)|TTP S, T, U, X c (SU{T)~XTP S, T, V, Q c S~V~Q|TTP S, T, V, R c S~(T{V){RTP S, T, V, S c (S{V)~T|STP S, T, V, U c S{T{V~UTP S, T, V, V c S~(V{V)|TTP S, T, V, W c S{T~W{VTP S, T, W, P c S~(T{W)|PTP S, T, W, R c (S{T{W)~RTP S, T, W, U c S~(W{U)|TTP S, T, W, V c S{T~W{VTP S, T, W, X c (S{W)~T|XTP S, T, X, Q c S{T~X{QTP S, T, X, R c (S{TR)~XTP S, T, X, T c S~(T{X)|TTP S, T, X, U c (SU{T)~XTP S, T, X, W c (S{W)~T|XTP S, U, P, T c (S{U)~T{PTP S, U, P, V c S~(U{V)|PTP S, U, P, W c S{U~W|PTP S, U, P, X c (S{P)~X{UTP S, U, Q, R c S~U~Q{RTP S, U, Q, W c U~(QS{W)TP S, U, Q, X c (S{XQ)~UTP S, U, R, Q c S~U~Q{RTP S, U, R, S c (S{S)~U{RTP S, U, R, T c (S{T)~U|RTP S, U, R, U c S~(U{U){RTP S, U, R, V c (S{U{V)~RTP S, U, R, X c S~U{R~XTP S, U, S, R c (S{S)~U{RTP S, U, T, P c (S{U)~T{PTP S, U, T, R c (S{T)~U|RTP S, U, T, T c (S{T)~T{UTP S, U, T, V c S~(U{T){VTP S, U, T, W c S~(U{W)|TTP S, U, T, X c (SU{T)~XTP S, U, U, R c S~(U{U){RTP S, U, U, V c (US{V)~UTP S, U, U, X c (S{U)~U|XTP S, U, V, P c S~(U{V)|PTP S, U, V, R c (S{U{V)~RTP S, U, V, T c S{U~V{TTP S, U, V, U c (US{V)~UTP S, U, V, V c U|S{V~VTP S, U, V, W c U~W|S{VTP S, U, V, X c S{U~X|VTP S, U, W, P c S{U~W|PTP S, U, W, Q c U~(W{QS)TP S, U, W, T c S~(U{W)|TTP S, U, W, V c U~W|S{VTP S, U, W, W c (SW{W)~UTP S, U, W, X c U~(X|SW)TP S, U, X, P c (S{P)~X{UTP S, U, X, Q c (S{XQ)~UTP S, U, X, R c S~U{X~RTP S, U, X, T c (SU{T)~XTP S, U, X, U c (S{U)~U|XTP S, U, X, V c S{U~X|VTP S, U, X, W c U~(X|SW)TP S, U, X, X c S~(U{X)|XTP S, V, P, U c S~(V{U)|PTP S, V, P, W c (V~W)|(S{P)TP S, V, Q, R c (S{R)~V{QTP S, V, Q, T c S~V~Q|TTP S, V, Q, V c S{V~V|QTP S, V, Q, X c (S{Q)~V{XTP S, V, R, Q c (S{R)~V{QTP S, V, R, R c (V~R|S)~RTP S, V, R, T c S~(V{T){RTP S, V, R, U c (S{V{U)~RTP S, V, R, W c S~(R{W){VTP S, V, R, X c (V|SR)~XTP S, V, S, T c (S{V)~T|STP S, V, S, V c (S{V)~S{VTP S, V, T, Q c S~V~Q|TTP S, V, T, R c S~(V{T){RTP S, V, T, S c (S{V)~T|STP S, V, T, U c S{V~U{TTP S, V, T, V c S~(V{V)|TTP S, V, T, W c S{V{T~WTP S, V, U, P c S~(V{U)|PTP S, V, U, R c (S{V{U)~RTP S, V, U, T c S{V~U{TTP S, V, U, U c (V{US)~UTP S, V, U, V c V~V|S{UTP S, V, U, W c V|S{U~WTP S, V, U, X c S{U~X|VTP S, V, V, Q c S{V~V|QTP S, V, V, S c (S{V)~S{VTP S, V, V, T c S~(V{V)|TTP S, V, V, U c V~V|S{UTP S, V, V, W c V~V{WSTP S, V, W, P c (V~W)|(S{P)TP S, V, W, R c S~(W{R){VTP S, V, W, T c S{V{W~TTP S, V, W, U c V|S{W~UTP S, V, W, V c V~V{WSTP S, V, W, X c S{V~W|XTP S, V, X, Q c S~(X{Q){VTP S, V, X, R c (V|SR)~XTP S, V, X, U c S{X~U|VTP S, V, X, W c S{V~W|XTP S, W, P, T c S~(W{T)|PTP S, W, P, U c S{W~U|PTP S, W, P, V c (W~V)|(S{P)TP S, W, P, X c (S|P)~(W{X)TP S, W, Q, R c (S{Q)~W{RTP S, W, Q, U c (W{QS)~UTP S, W, R, Q c (S{Q)~W{RTP S, W, R, S c (S{W)~S{RTP S, W, R, T c (S{W{T)~RTP S, W, R, V c S~(W{R){VTP S, W, S, R c (S{W)~S{RTP S, W, T, P c S~(W{T)|PTP S, W, T, R c (S{W{T)~RTP S, W, T, U c S~(W{U)|TTP S, W, T, V c S{W~T{VTP S, W, T, X c (S{W)~T|XTP S, W, U, P c S{W~U|PTP S, W, U, Q c (W{QS)~UTP S, W, U, T c S~(W{U)|TTP S, W, U, V c W~U|S{VTP S, W, U, W c (SW{W)~UTP S, W, U, X c U~(X|SW)TP S, W, V, P c (W~V)|(S{P)TP S, W, V, R c S~(W{R){VTP S, W, V, T c S{W~T{VTP S, W, V, U c W~U|S{VTP S, W, V, V c WS{V~VTP S, W, V, X c S{W~V|XTP S, W, W, U c (SW{W)~UTP S, W, W, X c (W~W)|(S{X)TP S, W, X, P c (S|P)~(W{X)TP S, W, X, T c (S{W)~T|XTP S, W, X, U c (X|SW)~UTP S, W, X, V c S{W~V|XTP S, W, X, W c (W~W)|(S{X)TP S, X, P, S c (S{X)~S|PTP S, X, P, U c (S{P)~X{UTP S, X, P, W c (S|P)~(X{W)TP S, X, Q, R c (S{Q)~X|RTP S, X, Q, T c S{X~T{QTP S, X, Q, U c (S{XQ)~UTP S, X, Q, V c S~(X{Q){VTP S, X, R, Q c (S{Q)~X|RTP S, X, R, R c S~(X{R){RTP S, X, R, S c (S{X{S)~RTP S, X, R, T c S~X{R~TTP S, X, R, U c (S{R)~U{XTP S, X, R, V c X~V|S~RTP S, X, S, P c (S{X)~S|PTP S, X, S, R c (S{X{S)~RTP S, X, T, Q c S{X~T{QTP S, X, T, R c S~X{T~RTP S, X, T, T c S~(X{T)|TTP S, X, T, U c (SU{T)~XTP S, X, T, W c (S{W)~T|XTP S, X, U, P c (S{P)~X{UTP S, X, U, Q c (S{XQ)~UTP S, X, U, R c S~U{X~RTP S, X, U, T c (SU{T)~XTP S, X, U, U c (S{U)~U|XTP S, X, U, V c S{X~U|VTP S, X, U, W c (X|SW)~UTP S, X, U, X c S~X{U{XTP S, X, V, Q c S~(X{Q){VTP S, X, V, R c X~V|S~RTP S, X, V, U c S{X~U|VTP S, X, V, W c S~X{V{WTP S, X, W, P c (S|P)~(X{W)TP S, X, W, T c (S{W)~T|XTP S, X, W, U c (X|SW)~UTP S, X, W, V c S~X{W{VTP S, X, W, W c (W~W)|(S{X)TP S, X, X, U c S~X{X{UTP T, O, U, X c (T{O)~X{UTP T, O, V, W c O{V~W|TTP T, O, W, V c O{W~V|TTP T, O, X, U c (T{O)~X{UTP T, P, P, X c T~(P{X){PTP T, P, Q, T c T~Q~T{PTP T, P, Q, W c T~(Q{W){PTP T, P, R, V c T~(R{V){PTP T, P, R, W c (T{P)~W{RTP T, P, R, X c (T{P)~X|RTP T, P, S, U c T~(S{U){PTP T, P, S, W c (T{W)~S|PTP T, P, T, Q c T~T~Q{PTP T, P, T, T c (T{T)~T{PTP T, P, T, X c T{P{T~XTP T, P, U, S c T~(U{S){PTP T, P, U, W c T~(P{W){UTP T, P, U, X c T~P~X{UTP T, P, V, R c T~(V{R){PTP T, P, V, V c (P{V)~V|TTP T, P, V, W c P~V~W|TTP T, P, V, X c (T{P)~V{XTP T, P, W, Q c T~(W{Q){PTP T, P, W, R c (T{P)~W{RTP T, P, W, S c (T{W)~S|PTP T, P, W, U c T~(P{W){UTP T, P, W, V c P~W~V|TTP T, P, W, W c (W|P)~W|TTP T, P, X, P c T~(P{X){PTP T, P, X, R c (T{P)~X|RTP T, P, X, T c T{P{X~TTP T, P, X, U c T~P~X{UTP T, P, X, V c (T{P)~V{XTP T, Q, P, T c T~Q~T{PTP T, Q, P, W c T~(Q{W){PTP T, Q, Q, V c (T{Q)~V{QTP T, Q, R, R c (T~R{Q)~RTP T, Q, R, U c (T{Q~U)~RTP T, Q, R, V c (T~Q{V)~RTP T, Q, R, X c (T{QR)~XTP T, Q, S, V c Q~S~V|TTP T, Q, S, X c T~(Q{X)|STP T, Q, T, P c T~Q~T{PTP T, Q, T, W c (T{Q)~W|TTP T, Q, U, R c (T{Q~U)~RTP T, Q, U, U c (TQ{U)~UTP T, Q, U, V c T~(Q{V){UTP T, Q, U, W c T|Q{U~WTP T, Q, U, X c (T{Q)~U{XTP T, Q, V, Q c (T{Q)~V{QTP T, Q, V, R c (T~Q{V)~RTP T, Q, V, S c Q~V~S|TTP T, Q, V, U c T~(Q{V){UTP T, Q, V, W c T~V{Q~WTP T, Q, W, P c T~(Q{W){PTP T, Q, W, T c (T{Q)~W|TTP T, Q, W, U c T|Q{W~UTP T, Q, W, V c T~V{Q~WTP T, Q, W, X c (T|Q)~(W{X)TP T, Q, X, R c (T{QR)~XTP T, Q, X, S c T~(Q{X)|STP T, Q, X, U c (T{Q)~U{XTP T, Q, X, W c (T|Q)~(X{W)TP T, R, P, V c T~(R{V){PTP T, R, P, W c (T{P)~W{RTP T, R, P, X c (T{P)~X|RTP T, R, Q, R c (T~R{Q)~RTP T, R, Q, U c (T{Q~U)~RTP T, R, Q, V c (T~Q{V)~RTP T, R, Q, X c (T{QR)~XTP T, R, R, Q c (T~R{Q)~RTP T, R, R, S c (T{R~S)~RTP T, R, R, U c T~R~R{UTP T, R, R, X c (T{R{X)~RTP T, R, S, R c (T{R~S)~RTP T, R, S, U c (T{S)~U|RTP T, R, S, V c (T{V)~S{RTP T, R, S, W c T~(R{W)|STP T, R, S, X c T~R{S~XTP T, R, T, V c (T{R)~V|TTP T, R, T, W c (T~T|W)~RTP T, R, U, Q c (T{U~Q)~RTP T, R, U, R c (T{R)~U{RTP T, R, U, S c (T{S)~U|RTP T, R, U, U c T~(R{U){UTP T, R, U, V c T~U{R~VTP T, R, V, P c T~(R{V){PTP T, R, V, Q c (T~Q{V)~RTP T, R, V, S c (T{V)~S{RTP T, R, V, T c (T{R)~V|TTP T, R, V, U c T~U{R~VTP T, R, V, V c T|R{V~VTP T, R, W, P c (T{P)~W{RTP T, R, W, S c T~(R{W)|STP T, R, W, T c (T~T|W)~RTP T, R, W, W c T~W{R{WTP T, R, X, P c (T{P)~X|RTP T, R, X, Q c T~X{R~QTP T, R, X, R c (T{R{X)~RTP T, R, X, S c T~R{X~STP T, R, X, X c T~(R{X)|XTP T, S, P, U c T~(S{U){PTP T, S, P, W c (T{W)~S|PTP T, S, Q, V c S~Q~V|TTP T, S, Q, X c T~(Q{X)|STP T, S, R, R c (T{S~R)~RTP T, S, R, U c (T{S)~U|RTP T, S, R, V c (T{V)~S{RTP T, S, R, W c (T{S{W)~RTP T, S, R, X c T~S~R|XTP T, S, S, V c T~(S{V)|STP T, S, T, U c (T{S)~T{UTP T, S, T, X c (T{X)~S|TTP T, S, U, P c T~(S{U){PTP T, S, U, R c (T{S)~U|RTP T, S, U, T c (T{S)~T{UTP T, S, U, V c T{S{U~VTP T, S, U, W c S~(U{W)|TTP T, S, U, X c (T{SU)~XTP T, S, V, Q c S~V~Q|TTP T, S, V, R c (T{V)~S{RTP T, S, V, S c T~(S{V)|STP T, S, V, U c T{S{V~UTP T, S, V, V c S~(V{V)|TTP T, S, V, W c T~W{S{VTP T, S, W, P c (T{W)~S|PTP T, S, W, R c (T{S{W)~RTP T, S, W, U c S~(W{U)|TTP T, S, W, V c T~W{S{VTP T, S, W, X c T~(S{W)|XTP T, S, X, Q c T~X{S{QTP T, S, X, R c T~S~R|XTP T, S, X, T c (T{X)~S|TTP T, S, X, U c (T{SU)~XTP T, S, X, W c T~(S{W)|XTP T, T, P, Q c T~T~Q{PTP T, T, P, T c (T{T)~T{PTP T, T, P, X c T{T~X{PTP T, T, Q, P c T~T~Q{PTP T, T, Q, W c (T{Q)~W|TTP T, T, R, V c (T{T{V)~RTP T, T, R, W c (T~T|W)~RTP T, T, S, U c T~(T{S){UTP T, T, S, X c (T{X)~S|TTP T, T, T, P c (T{T)~T{PTP T, T, U, S c T~(T{U)|STP T, T, U, W c T{T~W{UTP T, T, U, X c (T{T)~U|XTP T, T, V, R c (T{T{V)~RTP T, T, V, X c T~(T{V)|XTP T, T, W, Q c (T{Q)~W|TTP T, T, W, R c (T~T|W)~RTP T, T, W, U c T{T~W{UTP T, T, X, P c T{T~X{PTP T, T, X, S c (T{X)~S|TTP T, T, X, U c (T{T)~U|XTP T, T, X, V c T~(T{V)|XTP T, U, O, X c (T{O)~X{UTP T, U, P, S c T~(U{S){PTP T, U, P, W c T~(P{W){UTP T, U, P, X c T~P~X{UTP T, U, Q, R c (T{U~Q)~RTP T, U, Q, U c (TQ{U)~UTP T, U, Q, V c T~(Q{V){UTP T, U, Q, W c T{U~W|QTP T, U, Q, X c T~U~Q|XTP T, U, R, Q c (T{U~Q)~RTP T, U, R, R c (T{R)~U{RTP T, U, R, S c (T{S)~U|RTP T, U, R, U c T~(U{R){UTP T, U, R, V c T~U{R~VTP T, U, S, P c T~(U{S){PTP T, U, S, R c (T{S)~U|RTP T, U, S, T c (T{U)~T|STP T, U, S, V c (T{U)~S{VTP T, U, S, W c (U{W)~S|TTP T, U, S, X c (T{SU)~XTP T, U, T, S c (T{U)~T|STP T, U, T, W c T{U{T~WTP T, U, T, X c T~(UT{X)TP T, U, U, Q c (TQ{U)~UTP T, U, U, R c (T{U{U)~RTP T, U, U, X c T~(U{U)|XTP T, U, V, Q c (T{VQ)~UTP T, U, V, R c T~U{V~RTP T, U, V, S c T{U~V{STP T, U, W, P c T~(W{P){UTP T, U, W, Q c T{U~W|QTP T, U, W, S c (U{W)~S|TTP T, U, W, T c T{U{W~TTP T, U, W, W c U~W|T{WTP T, U, W, X c T{U~X|WTP T, U, X, O c T~X{U{OTP T, U, X, P c T~X{U~PTP T, U, X, Q c T~U~Q|XTP T, U, X, S c (T{SU)~XTP T, U, X, T c T~(UT{X)TP T, U, X, U c T~(U{U)|XTP T, U, X, W c T{U~X|WTP T, U, X, X c (T{UX)~XTP T, V, O, W c (V{O)~W|TTP T, V, P, R c T~(V{R){PTP T, V, P, V c (V{P)~V|TTP T, V, P, W c V~P~W|TTP T, V, P, X c (T{P)~V{XTP T, V, Q, Q c (T{Q)~V{QTP T, V, Q, R c (T~Q{V)~RTP T, V, Q, S c V~Q~S|TTP T, V, Q, U c (T{VQ)~UTP T, V, Q, W c T~V{Q~WTP T, V, R, P c T~(V{R){PTP T, V, R, Q c (T~Q{V)~RTP T, V, R, S c (T{V)~S{RTP T, V, R, T c (T{V{T)~RTP T, V, R, U c T~U{V~RTP T, V, R, V c T{V~V|RTP T, V, S, Q c V~S~Q|TTP T, V, S, R c (T{V)~S{RTP T, V, S, S c T~(V{S)|STP T, V, S, U c T{V~U{STP T, V, S, V c (V{V)~S|TTP T, V, S, W c T~W{V{STP T, V, T, R c (T{V{T)~RTP T, V, T, X c (T{V)~T|XTP T, V, U, Q c (T{VQ)~UTP T, V, U, R c T~U{V~RTP T, V, U, S c T{V~U{STP T, V, V, P c V~(V{P)|TTP T, V, V, R c T{V~V|RTP T, V, V, S c (V{V)~S|TTP T, V, V, V c V|T{V~VTP T, V, V, W c V~(W|TV)TP T, V, V, X c T~V{V{XTP T, V, W, O c V~W|T{OTP T, V, W, P c V~W|T~PTP T, V, W, Q c T~V{W~QTP T, V, W, S c T~W{V{STP T, V, W, V c V~(W|TV)TP T, V, W, W c T~V{W{WTP T, V, X, P c T~X{V|PTP T, V, X, T c (T{V)~T|XTP T, V, X, V c T~V{X{VTP T, W, O, V c (W{O)~V|TTP T, W, P, Q c T~(W{Q){PTP T, W, P, R c (T{P)~W{RTP T, W, P, S c (T{W)~S|PTP T, W, P, U c T~(W{P){UTP T, W, P, V c W~P~V|TTP T, W, P, W c (W|P)~W|TTP T, W, Q, P c T~(W{Q){PTP T, W, Q, T c (T{Q)~W|TTP T, W, Q, U c T{W~U|QTP T, W, Q, V c T~V{W~QTP T, W, Q, X c T~W{Q{XTP T, W, R, P c (T{P)~W{RTP T, W, R, S c T~(W{R)|STP T, W, R, T c (T~T|W)~RTP T, W, R, W c T~W{R{WTP T, W, S, P c (T{W)~S|PTP T, W, S, R c (T{W{S)~RTP T, W, S, U c (W{U)~S|TTP T, W, S, V c T~W{S{VTP T, W, S, X c T~(W{S)|XTP T, W, T, Q c (T{Q)~W|TTP T, W, T, R c (T~T|W)~RTP T, W, T, U c T{W~T{UTP T, W, U, P c T~(W{P){UTP T, W, U, Q c T{W~U|QTP T, W, U, S c (W{U)~S|TTP T, W, U, T c T~W{U{TTP T, W, U, W c W|T{U~WTP T, W, U, X c T{U~X|WTP T, W, V, O c W~V|T{OTP T, W, V, P c W~V|T~PTP T, W, V, Q c T~V{W~QTP T, W, V, S c T~W{V{STP T, W, V, V c (W|TV)~VTP T, W, V, W c T~V{W{WTP T, W, W, P c W~(W|P)|TTP T, W, W, R c T~W{W{RTP T, W, W, U c W|T{W~UTP T, W, W, V c T~V{W{WTP T, W, W, W c (W~W)|(T{W)TP T, W, W, X c (W|T)~(W{X)TP T, W, X, Q c T~W{X{QTP T, W, X, S c T~(W{S)|XTP T, W, X, U c T{X~U|WTP T, W, X, W c (W|T)~(X{W)TP T, X, O, U c T~X{O{UTP T, X, P, P c T~(X{P){PTP T, X, P, R c (T{P)~X|RTP T, X, P, T c T~X{P{TTP T, X, P, U c T~X{P~UTP T, X, P, V c T~X|P{VTP T, X, Q, R c T~X{Q~RTP T, X, Q, S c T~X{Q{STP T, X, Q, U c (T{Q)~U{XTP T, X, Q, W c T~X|Q{WTP T, X, R, P c (T{P)~X|RTP T, X, R, Q c T~X{R~QTP T, X, R, R c (T{X{R)~RTP T, X, R, S c T~R{X~STP T, X, R, X c (T{X)~R{XTP T, X, S, Q c T~X{S{QTP T, X, S, R c T~S~R|XTP T, X, S, T c (T{X)~S|TTP T, X, S, U c (T{SU)~XTP T, X, S, W c T~(S{W)|XTP T, X, T, P c T{X~T{PTP T, X, T, S c (T{X)~S|TTP T, X, T, U c T~(X{UT)TP T, X, T, V c T~(T{V)|XTP T, X, U, O c T~X{U{OTP T, X, U, P c T~X{U~PTP T, X, U, Q c T~U~Q|XTP T, X, U, S c (T{SU)~XTP T, X, U, T c T~(X{UT)TP T, X, U, U c T~(U{U)|XTP T, X, U, W c T{X~U|WTP T, X, U, X c (T{UX)~XTP T, X, V, P c T~X{V|PTP T, X, V, T c (T{V)~T|XTP T, X, V, V c T~V{X{VTP T, X, W, Q c T~X{W|QTP T, X, W, S c T~(W{S)|XTP T, X, W, U c T{X~U|WTP T, X, W, W c (X{W)~(W|T)TP T, X, X, R c T~X{X|RTP T, X, X, U c (T{UX)~XTP U, O, R, W c (U{O)~W{RTP U, O, R, X c (U{O)~X|RTP U, O, T, X c U{O{T~XTP U, O, V, X c (U{O)~V{XTP U, O, W, R c (U{O)~W{RTP U, O, X, R c (U{O)~X|RTP U, O, X, T c U{O{X~TTP U, O, X, V c (U{O)~V{XTP U, P, Q, V c (U{P)~V{QTP U, P, Q, W c U~(PQ{W)TP U, P, Q, X c (U~X)|(P{Q)TP U, P, R, R c (U~R|P)~RTP U, P, R, V c U~(P{V){RTP U, P, R, W c U~(P{W)|RTP U, P, R, X c (U|PR)~XTP U, P, S, T c (U{S)~T{PTP U, P, S, V c (U{V)~S|PTP U, P, S, W c U~W|P{STP U, P, S, X c U{(P{S)~XTP U, P, T, S c (U{S)~T{PTP U, P, T, W c U{(P{W)~TTP U, P, T, X c U{P~T~XTP U, P, U, X c (U{P)~U{XTP U, P, V, Q c (U{P)~V{QTP U, P, V, R c U~(P{V){RTP U, P, V, S c (U{V)~S|PTP U, P, V, W c U~V{P{WTP U, P, V, X c U~P~V{XTP U, P, W, Q c U~(PQ{W)TP U, P, W, R c U~(P{W)|RTP U, P, W, S c U~W|P{STP U, P, W, T c U{(P{W)~TTP U, P, W, V c U~V{P{WTP U, P, W, X c U~(W|P){XTP U, P, X, Q c (U~X)|(P{Q)TP U, P, X, R c U~P~X|RTP U, P, X, S c U{(P{S)~XTP U, P, X, T c U{P~X~TTP U, P, X, U c (U|P)~X{UTP U, P, X, V c U~P~V{XTP U, P, X, W c U~(W|P){XTP U, P, X, X c U~(P{X)|XTP U, Q, P, V c (U{P)~V{QTP U, Q, P, W c U~(PQ{W)TP U, Q, P, X c (U~X)|(Q{P)TP U, Q, R, S c U~Q~S{RTP U, Q, R, T c (U~Q{T)~RTP U, Q, R, U c (U{Q)~U{RTP U, Q, R, V c U~(Q{V)|RTP U, Q, R, X c U{(Q{R)~XTP U, Q, S, R c U~Q~S{RTP U, Q, S, W c U~(QS{W)TP U, Q, S, X c U~(S{XQ)TP U, Q, T, R c (U~Q{T)~RTP U, Q, T, U c (U{TQ)~UTP U, Q, T, V c U{(Q{V)~TTP U, Q, T, W c U~W|Q{TTP U, Q, T, X c U~(Q{T){XTP U, Q, U, R c (U{Q)~U{RTP U, Q, U, T c U~(U{TQ)TP U, Q, U, W c UQ{U~WTP U, Q, U, X c (U|QU)~XTP U, Q, V, P c (U{P)~V{QTP U, Q, V, R c U~(Q{V)|RTP U, Q, V, T c U{(Q{V)~TTP U, Q, V, V c U~V{Q{VTP U, Q, V, X c U{(V|Q)~XTP U, Q, W, P c U~W{Q{PTP U, Q, W, S c U~(QS{W)TP U, Q, W, T c U~W|Q{TTP U, Q, W, U c UQ{W~UTP U, Q, W, X c U~(Q{W)|XTP U, Q, X, P c (U~X)|(Q{P)TP U, Q, X, R c (U{Q{X)~RTP U, Q, X, S c U~(X|QS)TP U, Q, X, T c U~(Q{T){XTP U, Q, X, U c (U|QU)~XTP U, Q, X, V c U{X~(V|Q)TP U, Q, X, W c (UQ)~(X{W)TP U, Q, X, X c U~(X|Q){XTP U, R, O, W c (U{O)~W{RTP U, R, O, X c (U{O)~X|RTP U, R, P, R c (U~R|P)~RTP U, R, P, V c U~(P{V){RTP U, R, P, W c U~(P{W)|RTP U, R, P, X c (U|PR)~XTP U, R, Q, S c U~Q~S{RTP U, R, Q, T c (U~Q{T)~RTP U, R, Q, U c (U{Q)~U{RTP U, R, Q, V c U~(RQ{V)TP U, R, Q, X c U{(R{Q)~XTP U, R, R, P c (U~R|P)~RTP U, R, R, R c U~R~R|RTP U, R, R, T c U{R~R~TTP U, R, R, U c (U{R)~U|RTP U, R, R, V c U~V{R~RTP U, R, R, W c (U{R{W)~RTP U, R, S, Q c U~S~Q{RTP U, R, S, S c U~(S{S){RTP U, R, S, T c U~(S{T)|RTP U, R, S, U c (U{U)~S{RTP U, R, S, V c (U{S{V)~RTP U, R, S, X c U~(R{S){XTP U, R, T, Q c (U~Q{T)~RTP U, R, T, R c U{R~T~RTP U, R, T, S c U~(T{S)|RTP U, R, T, U c (U{R)~T{UTP U, R, T, V c U~T{R~VTP U, R, U, Q c U~(U{Q){RTP U, R, U, R c (U{R)~U|RTP U, R, U, S c (U{U)~S{RTP U, R, U, T c U{(R{U)~TTP U, R, U, V c U{R{U~VTP U, R, U, W c U|R{U~WTP U, R, U, X c U{R~(U{X)TP U, R, V, P c U~(V{P){RTP U, R, V, Q c U~(RQ{V)TP U, R, V, R c U~V{R~RTP U, R, V, S c (U{V{S)~RTP U, R, V, T c U~T{R~VTP U, R, V, U c U{R{V~UTP U, R, V, V c UR{V~VTP U, R, V, W c U{R~(V{W)TP U, R, V, X c U~(R{V)|XTP U, R, W, O c U~W{R{OTP U, R, W, P c U~W{R~PTP U, R, W, R c (U{R{W)~RTP U, R, W, U c U|R{W~UTP U, R, W, V c U{R~(W{V)TP U, R, W, W c (U{RW)~WTP U, R, W, X c (U|R)~(W{X)TP U, R, X, O c U~X|R{OTP U, R, X, P c U~X|R~PTP U, R, X, Q c U{(R{Q)~XTP U, R, X, S c U~(R{S){XTP U, R, X, U c U{R~(X{U)TP U, R, X, V c U~(R{V)|XTP U, R, X, W c (U|R)~(X{W)TP U, R, X, X c (U|RX)~XTP U, S, P, T c (U{S)~T{PTP U, S, P, V c (U{V)~S|PTP U, S, P, W c U~W{S|PTP U, S, P, X c U{(S{P)~XTP U, S, Q, R c U~S~Q{RTP U, S, Q, W c U~(QS{W)TP U, S, Q, X c U~(S{XQ)TP U, S, R, Q c U~S~Q{RTP U, S, R, S c U~(S{S){RTP U, S, R, T c U~(S{T)|RTP U, S, R, U c (U{U)~S{RTP U, S, R, V c (U{S{V)~RTP U, S, R, X c U~(S{R){XTP U, S, S, R c U~(S{S){RTP U, S, T, P c (U{S)~T{PTP U, S, T, R c U~(S{T)|RTP U, S, T, T c U{(S{T)~TTP U, S, T, V c (U{T)~S{VTP U, S, T, W c (U{W)~S|TTP U, S, T, X c (SU{T)~XTP U, S, U, R c (U{U)~S{RTP U, S, U, V c (US{V)~UTP U, S, U, X c (U{S)~U|XTP U, S, V, P c (U{V)~S|PTP U, S, V, R c (U{S{V)~RTP U, S, V, T c U~V{S{TTP U, S, V, U c (US{V)~UTP U, S, V, V c U|S{V~VTP U, S, V, W c U~W|S{VTP U, S, V, X c U~X{S|VTP U, S, W, P c U~W{S|PTP U, S, W, Q c U~(W{QS)TP U, S, W, T c (U{W)~S|TTP U, S, W, V c U~W|S{VTP U, S, W, W c U~(SW{W)TP U, S, W, X c U~(X|SW)TP U, S, X, P c U{(S{P)~XTP U, S, X, Q c U~(S{XQ)TP U, S, X, R c U~S{X~RTP U, S, X, T c (SU{T)~XTP U, S, X, U c (U{S)~U|XTP U, S, X, V c U~X{S|VTP U, S, X, W c U~(X|SW)TP U, S, X, X c U{S~X{XTP U, T, O, X c U{(T{O)~XTP U, T, P, S c (U{S)~T{PTP U, T, P, W c U{T~(P{W)TP U, T, P, X c U{T~P~XTP U, T, Q, R c (U~Q{T)~RTP U, T, Q, U c (U{TQ)~UTP U, T, Q, V c U{T~(Q{V)TP U, T, Q, W c U~W{T|QTP U, T, Q, X c U~(T{Q){XTP U, T, R, Q c (U~Q{T)~RTP U, T, R, R c U{T~R~RTP U, T, R, S c U~(T{S)|RTP U, T, R, U c U{T~(R{U)TP U, T, R, V c U~T{R~VTP U, T, S, P c (U{S)~T{PTP U, T, S, R c U~(T{S)|RTP U, T, S, T c U{(T{S)~TTP U, T, S, V c (U{T)~S{VTP U, T, S, W c (U{W)~S|TTP U, T, S, X c (T{SU)~XTP U, T, T, S c U{T~(T{S)TP U, T, T, W c U{T{T~WTP U, T, T, X c U~(T{T)|XTP U, T, U, Q c (U{TQ)~UTP U, T, U, R c (U{T{U)~RTP U, T, U, X c (U{U)~T|XTP U, T, V, Q c U{T~(V{Q)TP U, T, V, R c U~T{V~RTP U, T, V, S c (U{T)~S{VTP U, T, W, P c U{T~(W{P)TP U, T, W, Q c U~W{T|QTP U, T, W, S c (U{W)~S|TTP U, T, W, T c U{T{W~TTP U, T, W, W c U~W|T{WTP U, T, W, X c U~X{T|WTP U, T, X, O c U{T~X{OTP U, T, X, P c U{T~X~PTP U, T, X, Q c U~(T{Q){XTP U, T, X, S c (T{SU)~XTP U, T, X, T c (UT{X)~TTP U, T, X, U c (U{U)~T|XTP U, T, X, W c U~X{T|WTP U, T, X, X c (UX{T)~XTP U, U, P, X c U{(U|P)~XTP U, U, Q, R c U~(U{Q){RTP U, U, Q, T c U~(U{TQ)TP U, U, Q, W c UQ{U~WTP U, U, Q, X c (U|QU)~XTP U, U, R, Q c U~(U{Q){RTP U, U, R, R c U~(U{R)|RTP U, U, R, S c (U{U)~S{RTP U, U, R, T c U{(U{R)~TTP U, U, R, V c U{U~V{RTP U, U, R, W c U{U~W|RTP U, U, R, X c U{(U{X)~RTP U, U, S, R c (U{U)~S{RTP U, U, S, V c U~(US{V)TP U, U, S, X c U~(U{S)|XTP U, U, T, Q c U~(U{TQ)TP U, U, T, R c (U{U{T)~RTP U, U, T, X c (U{U)~T|XTP U, U, U, X c U{U~U{XTP U, U, V, R c U{U~V{RTP U, U, V, S c U~(US{V)TP U, U, V, W c U~U{V{WTP U, U, V, X c U~(V{XU)TP U, U, W, Q c U~W{UQTP U, U, W, R c U{U~W|RTP U, U, W, V c U~U{W{VTP U, U, W, X c U~W|U{XTP U, U, X, P c U{(U|P)~XTP U, U, X, Q c U~X|UQTP U, U, X, R c U{(U{X)~RTP U, U, X, S c U~(U{S)|XTP U, U, X, T c (U{U)~T|XTP U, U, X, U c U~U{X{UTP U, U, X, V c U~(XU{V)TP U, U, X, W c U~W|U{XTP U, U, X, X c U{U~X|XTP U, V, O, X c U~V{O{XTP U, V, P, Q c (U{P)~V{QTP U, V, P, R c U~(V{P){RTP U, V, P, S c (U{V)~S|PTP U, V, P, W c U~V{P{WTP U, V, P, X c U~V{P~XTP U, V, Q, P c (U{P)~V{QTP U, V, Q, R c U~(V{Q)|RTP U, V, Q, T c U{(V{Q)~TTP U, V, Q, V c U~V{Q{VTP U, V, Q, X c U{(V|Q)~XTP U, V, R, P c U~(V{P){RTP U, V, R, Q c U~(V{RQ)TP U, V, R, R c U~V{R~RTP U, V, R, S c (U{V{S)~RTP U, V, R, T c U~T{V~RTP U, V, R, U c U~V{R{UTP U, V, R, V c UR{V~VTP U, V, R, W c U{(V{W)~RTP U, V, R, X c U~(V{R)|XTP U, V, S, P c (U{V)~S|PTP U, V, S, R c (U{V{S)~RTP U, V, S, T c U~V{S{TTP U, V, S, U c U~(V{US)TP U, V, S, V c U{V~V|STP U, V, S, W c U~W{V|STP U, V, S, X c U~X|V{STP U, V, T, Q c U{(V{Q)~TTP U, V, T, R c U~T{V~RTP U, V, T, S c U~V{T{STP U, V, U, R c U{V~U{RTP U, V, U, S c U~(V{US)TP U, V, U, W c U~U{V{WTP U, V, U, X c U~(V{XU)TP U, V, V, Q c U~V{V{QTP U, V, V, R c UR{V~VTP U, V, V, S c U{V~V|STP U, V, V, W c V~V|U{WTP U, V, V, X c (U{XV)~VTP U, V, W, P c U~V{W{PTP U, V, W, R c U{(V{W)~RTP U, V, W, S c U~W{V|STP U, V, W, U c U~U{V{WTP U, V, W, V c V~V|U{WTP U, V, W, W c (W~W)|(U{V)TP U, V, W, X c (V|WU)~XTP U, V, X, O c U~V{X{OTP U, V, X, P c U~V{X~PTP U, V, X, Q c U{(V|Q)~XTP U, V, X, R c U~(V{R)|XTP U, V, X, S c U~X|V{STP U, V, X, U c U~(V{XU)TP U, V, X, V c (U{XV)~VTP U, V, X, W c (V|WU)~XTP U, W, O, R c U~W{O{RTP U, W, P, Q c U~W{P{QTP U, W, P, R c U~(W{P)|RTP U, W, P, S c U~W|P{STP U, W, P, T c U{(W{P)~TTP U, W, P, V c U~V{W{PTP U, W, P, X c U~(W|P){XTP U, W, Q, P c U~W{Q{PTP U, W, Q, S c U~(W{QS)TP U, W, Q, T c U~W|Q{TTP U, W, Q, U c U~W{UQTP U, W, Q, X c U~(W{Q)|XTP U, W, R, O c U~W{R{OTP U, W, R, P c U~W{R~PTP U, W, R, R c (U{W{R)~RTP U, W, R, U c U~(W{RU)TP U, W, R, V c U{(W{V)~RTP U, W, R, W c (U{RW)~WTP U, W, R, X c U{(W|R)~XTP U, W, S, P c U~W{S|PTP U, W, S, Q c U~(W{QS)TP U, W, S, T c (U{W)~S|TTP U, W, S, V c U~W|S{VTP U, W, S, W c U~(W{SW)TP U, W, S, X c U~(X|SW)TP U, W, T, P c U{(W{P)~TTP U, W, T, Q c U~W{T|QTP U, W, T, S c (U{W)~S|TTP U, W, T, T c U{W~T{TTP U, W, T, W c U~W|T{WTP U, W, T, X c U~X|W{TTP U, W, U, Q c U~W{UQTP U, W, U, R c U{W~U|RTP U, W, U, V c U~U{W{VTP U, W, U, X c U~W|U{XTP U, W, V, P c U~V{W{PTP U, W, V, R c U{(W{V)~RTP U, W, V, S c U~W{V|STP U, W, V, U c U~U{W{VTP U, W, V, V c W|U{V~VTP U, W, V, W c (W~W)|(U{V)TP U, W, V, X c (V|WU)~XTP U, W, W, R c (U{RW)~WTP U, W, W, S c U~(W{SW)TP U, W, W, T c U~W{W|TTP U, W, W, V c (W~W)|(U{V)TP U, W, X, P c U~(W|P){XTP U, W, X, Q c U~(W{X)QTP U, W, X, R c U~W{XRTP U, W, X, S c U~(X|SW)TP U, W, X, T c U~X|W{TTP U, W, X, U c U~W{X|UTP U, W, X, V c X~(V|WU)TP U, W, X, X c (W{X)~(X|U)TP U, X, O, R c U~X{O|RTP U, X, O, T c U{(X{O)~TTP U, X, O, V c (U{O)~V{XTP U, X, P, Q c (U~X)|(P{Q)TP U, X, P, R c U~(X|P){RTP U, X, P, S c U{X~(P{S)TP U, X, P, T c U{X~P~TTP U, X, P, U c U{X~(U|P)TP U, X, P, V c U~P~V{XTP U, X, P, W c U~(W|P){XTP U, X, P, X c U~(X{P)|XTP U, X, Q, P c (U~X)|(Q{P)TP U, X, Q, R c (U{X{Q)~RTP U, X, Q, S c U~(X|QS)TP U, X, Q, T c U~X{Q|TTP U, X, Q, U c U~X|UQTP U, X, Q, V c U{X~(V|Q)TP U, X, Q, W c U~(X{W)QTP U, X, Q, X c U~(X|Q){XTP U, X, R, O c U~X|R{OTP U, X, R, P c U~X|R~PTP U, X, R, Q c U{X~(R{Q)TP U, X, R, S c U~(R{S){XTP U, X, R, U c (U{X)~R{UTP U, X, R, V c U~(R{V)|XTP U, X, R, W c U{X~(W|R)TP U, X, R, X c U~X|XRTP U, X, S, P c U{X~(S{P)TP U, X, S, Q c U~(X|QS)TP U, X, S, R c U~S{X~RTP U, X, S, T c X~(SU{T)TP U, X, S, U c (U{S)~U|XTP U, X, S, V c U~X{S|VTP U, X, S, W c U~(X|SW)TP U, X, S, X c U{X{S~XTP U, X, T, O c U{X~T{OTP U, X, T, P c U{X~T~PTP U, X, T, Q c U~X|T{QTP U, X, T, S c X~(T{SU)TP U, X, T, T c (UT{X)~TTP U, X, T, U c (U{U)~T|XTP U, X, T, W c U~X{T|WTP U, X, T, X c (UX{T)~XTP U, X, U, P c U{X~(U|P)TP U, X, U, Q c U~X|UQTP U, X, U, R c U{(X{U)~RTP U, X, U, S c U~(U{S)|XTP U, X, U, T c (U{U)~T|XTP U, X, U, U c U{X{U~UTP U, X, U, V c U~(XU{V)TP U, X, U, W c U~W{X|UTP U, X, U, X c U{X~U|XTP U, X, V, O c U~V{X{OTP U, X, V, P c U~V{X~PTP U, X, V, Q c U{X~(V|Q)TP U, X, V, R c U~(V{R)|XTP U, X, V, S c U~X|V{STP U, X, V, U c U~(XU{V)TP U, X, V, V c (U{XV)~VTP U, X, V, W c X~(V|WU)TP U, X, W, P c U~(W|P){XTP U, X, W, Q c U~(X{W)QTP U, X, W, R c U{X~(W|R)TP U, X, W, S c U~(X|SW)TP U, X, W, T c U~X|W{TTP U, X, W, U c U~W{X|UTP U, X, W, V c X~(V|WU)TP U, X, W, X c (X|U)~(W{X)TP U, X, X, P c U~(X{P)|XTP U, X, X, Q c U~(X|Q){XTP U, X, X, R c U~X|XRTP U, X, X, S c U{X{X~STP U, X, X, T c (UX{T)~XTP U, X, X, U c U~X|X{UTP U, X, X, W c (X|U)~(X{W)TP V, O, Q, V c (V{O)~V{QTP V, O, T, W c (V{O)~W|TTP V, O, U, X c (V{O)~U{XTP V, O, V, Q c (V{O)~V{QTP V, O, W, T c (V{O)~W|TTP V, O, X, U c (V{O)~U{XTP V, P, P, V c V~V{P{PTP V, P, Q, U c V~(P{U){QTP V, P, Q, V c V~P~V{QTP V, P, Q, W c V~(W|P){QTP V, P, R, T c (V{R)~T{PTP V, P, R, U c (V{P)~U{RTP V, P, R, V c V~V|P{RTP V, P, R, W c (V|P)~W{RTP V, P, R, X c (V{P{X)~RTP V, P, S, U c (V{U)~S|PTP V, P, S, W c (V~W)|(P{S)TP V, P, T, R c (V{R)~T{PTP V, P, T, V c (V{P)~V|TTP V, P, T, W c V~P~W|TTP V, P, T, X c V|P{T~XTP V, P, U, Q c V~(P{U){QTP V, P, U, R c (V{P)~U{RTP V, P, U, S c (V{U)~S|PTP V, P, U, W c V~U{P{WTP V, P, U, X c V~P~U{XTP V, P, V, P c V~V{P{PTP V, P, V, Q c V~P~V{QTP V, P, V, R c V~V|P{RTP V, P, V, T c (V{P)~V|TTP V, P, V, X c (V|P)~V{XTP V, P, W, Q c V~(W|P){QTP V, P, W, R c (V|P)~W{RTP V, P, W, S c (V~W)|(P{S)TP V, P, W, T c V~P~W|TTP V, P, W, U c V~W{P|UTP V, P, X, R c (V{P{X)~RTP V, P, X, T c V|P{X~TTP V, P, X, U c V~P~U{XTP V, P, X, V c (V|P)~V{XTP V, Q, O, V c (V{O)~V{QTP V, Q, P, U c V~(P{U){QTP V, Q, P, V c V~P~V{QTP V, Q, P, W c V~(W|P){QTP V, Q, Q, T c V~(Q{T){QTP V, Q, Q, X c V~(X|Q){QTP V, Q, R, R c (V~Q{R)~RTP V, Q, R, S c V~(R{S){QTP V, Q, R, T c (V{Q~T)~RTP V, Q, R, U c (V{Q)~U|RTP V, Q, R, W c (V{Q{W)~RTP V, Q, R, X c V~Q~R{XTP V, Q, S, R c V~(S{R){QTP V, Q, S, T c V~Q~S|TTP V, Q, S, V c V~V|Q{STP V, Q, S, X c V~(Q{S){XTP V, Q, T, Q c V~(Q{T){QTP V, Q, T, R c (V{Q~T)~RTP V, Q, T, S c V~Q~S|TTP V, Q, T, U c (V{Q)~T{UTP V, Q, T, W c V~T{Q~WTP V, Q, U, P c V~(U{P){QTP V, Q, U, R c (V{Q)~U|RTP V, Q, U, T c V~(Q{U)|TTP V, Q, U, V c V{Q{U~VTP V, Q, U, X c (V|Q)~X{UTP V, Q, V, O c V~V{Q{OTP V, Q, V, P c V~V{Q~PTP V, Q, V, S c V~V|Q{STP V, Q, V, U c V{Q{V~UTP V, Q, V, V c (V{QV)~VTP V, Q, V, W c V~W{Q|VTP V, Q, W, P c V~(W|P){QTP V, Q, W, R c (V{Q{W)~RTP V, Q, W, T c V~T{Q~WTP V, Q, W, V c V~W{Q|VTP V, Q, W, X c V~(W|Q){XTP V, Q, X, Q c V~(X|Q){QTP V, Q, X, R c V~Q~R{XTP V, Q, X, S c V{(Q{X)~STP V, Q, X, U c (V|Q)~X{UTP V, Q, X, W c V~(W|Q){XTP V, R, P, T c (V{R)~T{PTP V, R, P, U c (V{P)~U{RTP V, R, P, V c V~V{R|PTP V, R, P, W c (V|P)~W{RTP V, R, P, X c (V{P{X)~RTP V, R, Q, R c (V~Q{R)~RTP V, R, Q, S c V~(R{S){QTP V, R, Q, T c (V{Q~T)~RTP V, R, Q, U c (V{RQ)~UTP V, R, Q, W c (V{Q{W)~RTP V, R, Q, X c V~R~Q{XTP V, R, R, Q c (V~Q{R)~RTP V, R, R, S c (V~R|S)~RTP V, R, R, U c V~U{R~RTP V, R, R, V c (V{R{V)~RTP V, R, R, W c R~(R~W|V)TP V, R, R, X c V~(R{R){XTP V, R, S, Q c V~(R{S){QTP V, R, S, R c (V~R|S)~RTP V, R, S, T c (V{T)~S{RTP V, R, S, U c (V{S{U)~RTP V, R, S, W c V{(R{W)~STP V, R, S, X c (V|SR)~XTP V, R, T, P c (V{R)~T{PTP V, R, T, Q c (V{T~Q)~RTP V, R, T, S c (V{T)~S{RTP V, R, T, T c V~(R{T)|TTP V, R, T, U c V~R{T~UTP V, R, T, V c V~V|R{TTP V, R, U, P c (V{P)~U{RTP V, R, U, Q c (V{RQ)~UTP V, R, U, R c V~U{R~RTP V, R, U, S c (V{U{S)~RTP V, R, U, T c V~R{U~TTP V, R, U, U c V~U{R{UTP V, R, U, V c V~V{URTP V, R, U, W c (V{W)~R{UTP V, R, U, X c (V{R)~U|XTP V, R, V, P c V~V{R|PTP V, R, V, R c (V{R{V)~RTP V, R, V, T c V~V|R{TTP V, R, V, U c V~V{URTP V, R, V, X c (V{V)~R{XTP V, R, W, P c (V|P)~W{RTP V, R, W, Q c (V~W)|(R{Q)TP V, R, W, R c (R~W|V)~RTP V, R, W, S c V{(R{W)~STP V, R, W, U c (V{W)~R{UTP V, R, W, W c V~W{R|WTP V, R, W, X c (W|VR)~XTP V, R, X, P c (V{X{P)~RTP V, R, X, Q c V~R~Q{XTP V, R, X, R c V~(R{R){XTP V, R, X, S c V~X|R~STP V, R, X, U c (V{R)~U|XTP V, R, X, V c (V{V)~R{XTP V, R, X, W c X~W|V~RTP V, R, X, X c (V~X)|(R{X)TP V, S, P, U c (V{U)~S|PTP V, S, P, W c (V~W)|(S{P)TP V, S, Q, R c V~(S{R){QTP V, S, Q, T c V~S~Q|TTP V, S, Q, V c V~V{S|QTP V, S, Q, X c V{S~(Q{X)TP V, S, R, Q c V~(S{R){QTP V, S, R, R c (V~R|S)~RTP V, S, R, T c (V{T)~S{RTP V, S, R, U c (V{S{U)~RTP V, S, R, W c V{S~(R{W)TP V, S, R, X c (V|SR)~XTP V, S, S, T c V~(S{S)|TTP V, S, S, V c (V{S)~S{VTP V, S, T, Q c V~S~Q|TTP V, S, T, R c (V{T)~S{RTP V, S, T, S c (V{S)~T|STP V, S, T, U c V{S~(T{U)TP V, S, T, V c (V{V)~S|TTP V, S, T, W c V{S{T~WTP V, S, U, P c (V{U)~S|PTP V, S, U, R c (V{S{U)~RTP V, S, U, T c V{S~(U{T)TP V, S, U, U c (V{US)~UTP V, S, U, V c V~V|S{UTP V, S, U, W c V|S{U~WTP V, S, U, X c S{U~X|VTP V, S, V, Q c V~V{S|QTP V, S, V, S c V{(S{V)~STP V, S, V, T c (V{V)~S|TTP V, S, V, U c V~V|S{UTP V, S, V, W c V~V{WSTP V, S, W, P c (V~W)|(S{P)TP V, S, W, R c V{S~(W{R)TP V, S, W, T c V{S{W~TTP V, S, W, U c V|S{W~UTP V, S, W, V c V~V{WSTP V, S, W, X c (V|S)~(W{X)TP V, S, X, Q c V{S~(X{Q)TP V, S, X, R c (V|SR)~XTP V, S, X, U c S{X~U|VTP V, S, X, W c V{S~X{WTP V, T, O, W c (V{O)~W|TTP V, T, P, R c (V{R)~T{PTP V, T, P, V c (V{P)~V|TTP V, T, P, W c V~P~W|TTP V, T, P, X c V~(T{P){XTP V, T, Q, Q c V~(T{Q){QTP V, T, Q, R c (V{T~Q)~RTP V, T, Q, S c V~Q~S|TTP V, T, Q, U c (V{Q)~T{UTP V, T, Q, W c V~T{Q~WTP V, T, R, P c (V{R)~T{PTP V, T, R, Q c (V{T~Q)~RTP V, T, R, S c (V{T)~S{RTP V, T, R, T c V~(T{R)|TTP V, T, R, U c V~R{T~UTP V, T, R, V c V~V{T|RTP V, T, S, Q c V~S~Q|TTP V, T, S, R c (V{T)~S{RTP V, T, S, S c V~T{S~STP V, T, S, U c V{(T{U)~STP V, T, S, V c (V{V)~S|TTP V, T, S, W c V{T~W{STP V, T, T, R c (V{T{T)~RTP V, T, T, X c (V{T)~T|XTP V, T, U, Q c V~(U{Q)|TTP V, T, U, R c V~R{T~UTP V, T, U, S c V{(T{U)~STP V, T, V, P c V~(V{P)|TTP V, T, V, R c V~V{T|RTP V, T, V, S c (V{V)~S|TTP V, T, V, V c V|T{V~VTP V, T, V, W c V~(W|TV)TP V, T, V, X c V{T~V{XTP V, T, W, O c V~W|T{OTP V, T, W, P c V~W|T~PTP V, T, W, Q c V~T{W~QTP V, T, W, S c V{T~W{STP V, T, W, V c V~(W|TV)TP V, T, W, W c (V|TW)~WTP V, T, X, P c V{T~X|PTP V, T, X, T c (V{T)~T|XTP V, T, X, V c V~T{X{VTP V, U, O, X c V~U{O{XTP V, U, P, Q c V~(U{P){QTP V, U, P, R c (V{P)~U{RTP V, U, P, S c (V{U)~S|PTP V, U, P, W c V~U{P{WTP V, U, P, X c V~U{P~XTP V, U, Q, P c V~(U{P){QTP V, U, Q, R c (V{Q)~U|RTP V, U, Q, T c V~(U{Q)|TTP V, U, Q, V c V~U{Q{VTP V, U, Q, X c (V|Q)~X{UTP V, U, R, P c (V{P)~U{RTP V, U, R, Q c (V{RQ)~UTP V, U, R, R c V~U{R~RTP V, U, R, S c (V{U{S)~RTP V, U, R, T c V~R{U~TTP V, U, R, U c V~U{R{UTP V, U, R, V c V~V{URTP V, U, R, W c (V{W)~R{UTP V, U, R, X c (V{R)~U|XTP V, U, S, P c (V{U)~S|PTP V, U, S, R c (V{U{S)~RTP V, U, S, T c V~U{S{TTP V, U, S, U c (V{US)~UTP V, U, S, V c V~V{U|STP V, U, S, W c V{U~W|STP V, U, S, X c U~X|V{STP V, U, T, Q c V~(U{Q)|TTP V, U, T, R c V~R{U~TTP V, U, T, S c V{(U{T)~STP V, U, U, R c V~U{U{RTP V, U, U, S c (V{US)~UTP V, U, U, W c V{U~U{WTP V, U, U, X c (V{XU)~UTP V, U, V, Q c V{U~V{QTP V, U, V, R c V~V{URTP V, U, V, S c V~V{U|STP V, U, V, W c V~V|U{WTP V, U, V, X c V~(U{XV)TP V, U, W, P c V~U{W{PTP V, U, W, R c (V{W)~R{UTP V, U, W, S c V{U~W|STP V, U, W, U c V{U~U{WTP V, U, W, V c V~V|U{WTP V, U, W, W c (W~W)|(V{U)TP V, U, W, X c (V|WU)~XTP V, U, X, O c V~U{X{OTP V, U, X, P c V~U{X~PTP V, U, X, Q c V~X|U~QTP V, U, X, R c (V{R)~U|XTP V, U, X, S c U~X|V{STP V, U, X, U c (V{XU)~UTP V, U, X, V c V~(U{XV)TP V, U, X, W c (V|WU)~XTP V, V, O, Q c V~V{O{QTP V, V, P, P c V~V{P{PTP V, V, P, Q c V~V{P~QTP V, V, P, R c V~V|P{RTP V, V, P, T c V~(V{P)|TTP V, V, P, X c V~(V|P){XTP V, V, Q, O c V~V{Q{OTP V, V, Q, P c V~V{Q~PTP V, V, Q, S c V~V|Q{STP V, V, Q, U c V{V~U{QTP V, V, Q, V c V~(V{QV)TP V, V, Q, W c V~W|V{QTP V, V, R, P c V~V{R|PTP V, V, R, R c (V{V{R)~RTP V, V, R, T c V~V|R{TTP V, V, R, U c V~V{URTP V, V, R, X c (V{V)~R{XTP V, V, S, Q c V~V{S|QTP V, V, S, S c V{(V{S)~STP V, V, S, T c (V{V)~S|TTP V, V, S, U c V~V|S{UTP V, V, S, W c V~V{WSTP V, V, T, P c V~(V{P)|TTP V, V, T, R c V~V{T|RTP V, V, T, S c (V{V)~S|TTP V, V, T, V c V~V|T{VTP V, V, T, W c V~(W|TV)TP V, V, T, X c V{V~T{XTP V, V, U, Q c V{V~U{QTP V, V, U, R c V~V{URTP V, V, U, S c V~V{U|STP V, V, U, W c V~V|U{WTP V, V, U, X c V~(U{XV)TP V, V, V, Q c V~(V{QV)TP V, V, V, T c V{V~V|TTP V, V, V, X c V~V|V{XTP V, V, W, Q c V~W|V{QTP V, V, W, S c V~V{WSTP V, V, W, T c V~(W|TV)TP V, V, W, U c V~V{W|UTP V, V, X, P c V~(V|P){XTP V, V, X, R c (V{V)~R{XTP V, V, X, T c V{V~T{XTP V, V, X, U c V~(XV{U)TP V, V, X, V c V~V{X|VTP V, W, O, T c V~W{O|TTP V, W, P, Q c V~(W|P){QTP V, W, P, R c (V|P)~W{RTP V, W, P, S c (V~W)|(P{S)TP V, W, P, T c V~W|P~TTP V, W, P, U c V~W{P|UTP V, W, Q, P c V~(W|P){QTP V, W, Q, R c (V{W{Q)~RTP V, W, Q, T c V~T{W~QTP V, W, Q, V c V~W{Q|VTP V, W, Q, X c V~(W|Q){XTP V, W, R, P c (V|P)~W{RTP V, W, R, Q c (V~W)|(R{Q)TP V, W, R, R c (W~R|V)~RTP V, W, R, S c V{(W{R)~STP V, W, R, U c (V{W)~R{UTP V, W, R, W c V~W{R|WTP V, W, R, X c (W|VR)~XTP V, W, S, P c (V~W)|(S{P)TP V, W, S, R c V{(W{R)~STP V, W, S, T c V{W~T{STP V, W, S, U c V{W~U|STP V, W, S, V c V~V{WSTP V, W, S, X c V{W{S~XTP V, W, T, O c V~W|T{OTP V, W, T, P c V~W|T~PTP V, W, T, Q c V~T{W~QTP V, W, T, S c V{W~T{STP V, W, T, V c V~(W|TV)TP V, W, T, W c (V|TW)~WTP V, W, U, P c V~W|U{PTP V, W, U, R c (V{W)~R{UTP V, W, U, S c V{W~U|STP V, W, U, U c V{W{U~UTP V, W, U, V c V~V{W|UTP V, W, U, W c (W~W)|(V{U)TP V, W, U, X c (V|WU)~XTP V, W, V, Q c V~W|V{QTP V, W, V, S c V~V{WSTP V, W, V, T c V~(W|TV)TP V, W, V, U c V~V{W|UTP V, W, W, R c V~W|W{RTP V, W, W, T c (V|TW)~WTP V, W, W, U c (W~W)|(V{U)TP V, W, X, Q c V~(W|Q){XTP V, W, X, R c (W|VR)~XTP V, W, X, S c V{W{X~STP V, W, X, U c (V|WU)~XTP V, X, O, U c (V{O)~U{XTP V, X, P, R c (V{X{P)~RTP V, X, P, T c V~(X|P)|TTP V, X, P, U c V~P~U{XTP V, X, P, V c (V|P)~V{XTP V, X, Q, Q c V~(X|Q){QTP V, X, Q, R c V~Q~R{XTP V, X, Q, S c V{(X{Q)~STP V, X, Q, U c V~X|Q~UTP V, X, Q, W c V~(W|Q){XTP V, X, R, P c (V{X{P)~RTP V, X, R, Q c V~R~Q{XTP V, X, R, R c (V{X)~R{RTP V, X, R, S c V~X|R~STP V, X, R, U c (V{R)~U|XTP V, X, R, V c (V{V)~R{XTP V, X, R, W c X~W|V~RTP V, X, R, X c (V~X)|(R{X)TP V, X, S, Q c V{(X{Q)~STP V, X, S, R c V~X|S~RTP V, X, S, U c X~U|V{STP V, X, S, W c V{X~S{WTP V, X, T, P c V{X~T|PTP V, X, T, T c (V{T)~T|XTP V, X, T, V c V{X{T~VTP V, X, U, O c V~U{X{OTP V, X, U, P c V~U{X~PTP V, X, U, Q c V~X|U~QTP V, X, U, R c (V{R)~U|XTP V, X, U, S c X~U|V{STP V, X, U, U c (V{XU)~UTP V, X, U, V c V~(XV{U)TP V, X, U, W c (V|WU)~XTP V, X, V, P c V~(V|P){XTP V, X, V, R c (V{V)~R{XTP V, X, V, T c V{X{V~TTP V, X, V, U c V~(XV{U)TP V, X, V, V c V~V{X|VTP V, X, W, Q c V~(W|Q){XTP V, X, W, R c X~W|V~RTP V, X, W, S c (V~X)|(W{S)TP V, X, W, U c (V|WU)~XTP V, X, X, R c (V~X)|(X{R)TP W, O, R, U c (W{O)~U{RTP W, O, R, X c (W{O{X)~RTP W, O, T, V c (W{O)~V|TTP W, O, U, R c (W{O)~U{RTP W, O, V, T c (W{O)~V|TTP W, O, X, R c (W{O{X)~RTP W, P, Q, R c (W~Q{P)~RTP W, P, Q, T c (W{Q)~T{PTP W, P, Q, U c (W{PQ)~UTP W, P, Q, V c (W|P)~V{QTP W, P, Q, X c (W{X)~(P{Q)TP W, P, R, Q c (W~Q{P)~RTP W, P, R, T c W~(P{T){RTP W, P, R, U c (W{P)~U|RTP W, P, R, V c W~(V|P){RTP W, P, R, W c (W{P{W)~RTP W, P, R, X c (W{P~X)~RTP W, P, S, T c (W{T)~S|PTP W, P, S, U c W~U|P{STP W, P, S, V c (W~V)|(P{S)TP W, P, S, X c (W{X)~(S|P)TP W, P, T, Q c (W{Q)~T{PTP W, P, T, R c W~(P{T){RTP W, P, T, S c (W{T)~S|PTP W, P, T, U c (W{P)~T{UTP W, P, T, V c W~P~V|TTP W, P, T, W c (W|P)~W|TTP W, P, U, Q c (W{PQ)~UTP W, P, U, R c (W{P)~U|RTP W, P, U, S c W~U|P{STP W, P, U, T c W~(P{U)|TTP W, P, U, V c W{P{U~VTP W, P, U, X c (W|P)~U{XTP W, P, V, Q c (W|P)~V{QTP W, P, V, R c W~(V|P){RTP W, P, V, S c (W~V)|(P{S)TP W, P, V, T c W~P~V|TTP W, P, V, U c W{P{V~UTP W, P, W, R c (W{P{W)~RTP W, P, W, T c (W|P)~W|TTP W, P, X, Q c (W{X)~(P{Q)TP W, P, X, R c (W{P~X)~RTP W, P, X, S c (W{X)~(S|P)TP W, P, X, U c (W|P)~U{XTP W, Q, P, R c (W~Q{P)~RTP W, Q, P, T c (W{Q)~T{PTP W, Q, P, U c (W{PQ)~UTP W, Q, P, V c (W|P)~V{QTP W, Q, P, X c (W{X)~(Q{P)TP W, Q, R, P c (W~Q{P)~RTP W, Q, R, R c W~Q~R{RTP W, Q, R, S c W~(Q{S){RTP W, Q, R, V c (W{Q{V)~RTP W, Q, R, W c (W|Q)~W{RTP W, Q, R, X c (W|Q)~X|RTP W, Q, S, R c W~(Q{S){RTP W, Q, S, U c (W{QS)~UTP W, Q, T, P c (W{Q)~T{PTP W, Q, T, T c W~(Q{T)|TTP W, Q, T, U c W~U|Q{TTP W, Q, T, V c W~Q{T~VTP W, Q, T, X c W|Q{T~XTP W, Q, U, P c W~U{Q{PTP W, Q, U, S c (W{QS)~UTP W, Q, U, T c W~U|Q{TTP W, Q, U, U c W~U{UQTP W, Q, U, X c (W{Q)~U|XTP W, Q, V, P c (W|P)~V{QTP W, Q, V, R c (W{Q{V)~RTP W, Q, V, T c W~Q{V~TTP W, Q, V, V c W~V{Q|VTP W, Q, V, X c (W|Q)~V{XTP W, Q, W, R c (W|Q)~W{RTP W, Q, X, P c (W{X)~(Q{P)TP W, Q, X, R c (W|Q)~X|RTP W, Q, X, T c W|Q{X~TTP W, Q, X, U c (W{Q)~U|XTP W, Q, X, V c (W|Q)~V{XTP W, R, O, U c (W{O)~U{RTP W, R, O, X c (W{O{X)~RTP W, R, P, Q c (W~Q{P)~RTP W, R, P, T c W~(P{T){RTP W, R, P, U c (W{P)~U|RTP W, R, P, V c W~(V|P){RTP W, R, P, W c (W{P{W)~RTP W, R, P, X c (W{P~X)~RTP W, R, Q, P c (W~Q{P)~RTP W, R, Q, R c W~R~Q{RTP W, R, Q, S c W~(Q{S){RTP W, R, Q, V c (W{Q{V)~RTP W, R, Q, W c (W|Q)~W{RTP W, R, Q, X c (W|Q)~X|RTP W, R, R, Q c W~R~Q{RTP W, R, R, R c (W{R~R)~RTP W, R, R, U c (W{R{U)~RTP W, R, R, V c (W~R|V)~RTP W, R, R, W c (W{W)~R{RTP W, R, R, X c W~R{R~XTP W, R, S, Q c W~(S{Q){RTP W, R, S, S c (W{S)~S{RTP W, R, S, T c W~(R{S)|TTP W, R, S, V c (W{R)~S{VTP W, R, T, P c W~(T{P){RTP W, R, T, S c (W{R)~T|STP W, R, T, T c R~(T~T|W)TP W, R, T, W c W{R{T~WTP W, R, U, O c W~U{R{OTP W, R, U, P c W~U{R~PTP W, R, U, R c (W{R{U)~RTP W, R, U, U c (W{RU)~UTP W, R, U, V c (W{V)~R{UTP W, R, U, W c W~(RW{U)TP W, R, U, X c (W|R)~X{UTP W, R, V, P c W~(V|P){RTP W, R, V, Q c (W~V)|(R{Q)TP W, R, V, R c (W~R|V)~RTP W, R, V, S c (W{R)~S{VTP W, R, V, U c (W{V)~R{UTP W, R, V, W c W~V{R|WTP W, R, V, X c (W|VR)~XTP W, R, W, P c (W{W{P)~RTP W, R, W, Q c W~(W|Q){RTP W, R, W, R c (W{W)~R{RTP W, R, W, T c W{R{W~TTP W, R, W, U c W~(RW{U)TP W, R, W, V c W~V{R|WTP W, R, X, O c (W{X)~(R{O)TP W, R, X, P c (W{X)~(R~P)TP W, R, X, Q c (W|Q)~X|RTP W, R, X, R c W~R{X~RTP W, R, X, U c (W|R)~X{UTP W, R, X, V c W~X|R~VTP W, R, X, X c (W{X)R~XTP W, S, P, T c (W{T)~S|PTP W, S, P, U c W~U{S|PTP W, S, P, V c (W~V)|(S{P)TP W, S, P, X c (W{X)~(S|P)TP W, S, Q, R c W~(S{Q){RTP W, S, Q, U c (W{QS)~UTP W, S, R, Q c W~(S{Q){RTP W, S, R, S c (W{S)~S{RTP W, S, R, T c W~(S{R)|TTP W, S, R, V c (W{R)~S{VTP W, S, S, R c (W{S)~S{RTP W, S, T, P c (W{T)~S|PTP W, S, T, R c (W{S{T)~RTP W, S, T, U c (W{U)~S|TTP W, S, T, V c W~T{S{VTP W, S, T, X c (W{S)~T|XTP W, S, U, P c W~U{S|PTP W, S, U, Q c (W{QS)~UTP W, S, U, T c (W{U)~S|TTP W, S, U, V c W~U|S{VTP W, S, U, W c (W{SW)~UTP W, S, U, X c U~(X|SW)TP W, S, V, P c (W~V)|(S{P)TP W, S, V, R c (W{R)~S{VTP W, S, V, T c W~T{S{VTP W, S, V, U c W~U|S{VTP W, S, V, V c WS{V~VTP W, S, V, X c W{S~X{VTP W, S, W, U c (W{SW)~UTP W, S, W, X c (W~W)|(S{X)TP W, S, X, P c (W{X)~(S|P)TP W, S, X, T c (W{S)~T|XTP W, S, X, U c (X|SW)~UTP W, S, X, V c W{S~X{VTP W, S, X, W c (W~W)|(S{X)TP W, T, O, V c (W{O)~V|TTP W, T, P, Q c (W{Q)~T{PTP W, T, P, R c W~(T{P){RTP W, T, P, S c (W{T)~S|PTP W, T, P, U c (W{P)~T{UTP W, T, P, V c W~P~V|TTP W, T, P, W c (W|P)~W|TTP W, T, Q, P c (W{Q)~T{PTP W, T, Q, T c W~(T{Q)|TTP W, T, Q, U c W~U{T|QTP W, T, Q, V c W~Q{T~VTP W, T, Q, X c W~T{Q{XTP W, T, R, P c W~(T{P){RTP W, T, R, S c (W{T{S)~RTP W, T, R, T c (T~T|W)~RTP W, T, R, W c W~T{R{WTP W, T, S, P c (W{T)~S|PTP W, T, S, R c (W{T{S)~RTP W, T, S, U c (W{U)~S|TTP W, T, S, V c W~T{S{VTP W, T, S, X c (W{S)~T|XTP W, T, T, Q c W~(T{Q)|TTP W, T, T, R c (T~T|W)~RTP W, T, T, U c W~T{T{UTP W, T, U, P c W~(U{P)|TTP W, T, U, Q c W~U{T|QTP W, T, U, S c (W{U)~S|TTP W, T, U, T c W~T{U{TTP W, T, U, W c W|T{U~WTP W, T, U, X c T{U~X|WTP W, T, V, O c W~V|T{OTP W, T, V, P c W~V|T~PTP W, T, V, Q c W~Q{T~VTP W, T, V, S c W~T{V{STP W, T, V, V c (W|TV)~VTP W, T, V, W c W{T~V{WTP W, T, W, P c W~(W|P)|TTP W, T, W, R c W{T~W{RTP W, T, W, U c W|T{W~UTP W, T, W, V c W{T~V{WTP W, T, W, W c (W~W)|(T{W)TP W, T, W, X c (W|T)~(W{X)TP W, T, X, Q c W{T~X|QTP W, T, X, S c (W{S)~T|XTP W, T, X, U c T{X~U|WTP W, T, X, W c (W|T)~(X{W)TP W, U, O, R c W~U{O{RTP W, U, P, Q c W~U{P{QTP W, U, P, R c W~U{P~RTP W, U, P, S c W~U|P{STP W, U, P, T c W~(U{P)|TTP W, U, P, V c W{U~V{PTP W, U, P, X c (W|P)~U{XTP W, U, Q, P c W~U{Q{PTP W, U, Q, S c (W{QS)~UTP W, U, Q, T c W~U|Q{TTP W, U, Q, U c W~U{UQTP W, U, Q, X c (W{Q)~U|XTP W, U, R, O c W~U{R{OTP W, U, R, P c W~U{R~PTP W, U, R, R c (W{U{R)~RTP W, U, R, U c W~U|R{UTP W, U, R, V c (W{V)~R{UTP W, U, R, W c W~(U{RW)TP W, U, R, X c (W{U)~R{XTP W, U, S, P c W~U{S|PTP W, U, S, Q c (W{QS)~UTP W, U, S, T c (W{U)~S|TTP W, U, S, V c W~U|S{VTP W, U, S, W c (W{SW)~UTP W, U, S, X c U~(X|SW)TP W, U, T, P c W~(U{P)|TTP W, U, T, Q c W~U{T|QTP W, U, T, S c (W{U)~S|TTP W, U, T, T c W~T{U{TTP W, U, T, W c W~U|T{WTP W, U, T, X c U~X|W{TTP W, U, U, Q c W~U{UQTP W, U, U, R c W~U{U|RTP W, U, U, V c W{U~U{VTP W, U, U, X c W~U|U{XTP W, U, V, P c W{U~V{PTP W, U, V, R c (W{V)~R{UTP W, U, V, S c W~U{V|STP W, U, V, U c W{U~U{VTP W, U, V, V c W|U{V~VTP W, U, V, W c (W~W)|(U{V)TP W, U, V, X c (V|WU)~XTP W, U, W, R c W~(U{RW)TP W, U, W, S c (W{SW)~UTP W, U, W, T c W{U~W|TTP W, U, W, V c (W~W)|(U{V)TP W, U, X, P c (W|P)~U{XTP W, U, X, Q c (W{X)~(UQ)TP W, U, X, R c W~U{XRTP W, U, X, S c U~(X|SW)TP W, U, X, T c U~X|W{TTP W, U, X, U c W~U{X|UTP W, U, X, V c X~(V|WU)TP W, U, X, X c (W{X)~(X|U)TP W, V, O, T c W~V{O|TTP W, V, P, Q c (W|P)~V{QTP W, V, P, R c W~(V|P){RTP W, V, P, S c (W~V)|(P{S)TP W, V, P, T c W~V|P~TTP W, V, P, U c W~V{P|UTP W, V, Q, P c (W|P)~V{QTP W, V, Q, R c (W{V{Q)~RTP W, V, Q, T c W~Q{V~TTP W, V, Q, V c W~V{Q|VTP W, V, Q, X c (W|Q)~V{XTP W, V, R, P c W~(V|P){RTP W, V, R, Q c (W~V)|(R{Q)TP W, V, R, R c (W~R|V)~RTP W, V, R, S c (W{R)~S{VTP W, V, R, U c (W{V)~R{UTP W, V, R, W c W~V{R|WTP W, V, R, X c (W|VR)~XTP W, V, S, P c (W~V)|(S{P)TP W, V, S, R c (W{R)~S{VTP W, V, S, T c W~T{V{STP W, V, S, U c W~U{V|STP W, V, S, V c WS{V~VTP W, V, S, X c W{V{S~XTP W, V, T, O c W~V|T{OTP W, V, T, P c W~V|T~PTP W, V, T, Q c W~Q{V~TTP W, V, T, S c W~T{V{STP W, V, T, V c (W|TV)~VTP W, V, T, W c W{V~T{WTP W, V, U, P c W{V~U{PTP W, V, U, R c (W{V)~R{UTP W, V, U, S c W~U{V|STP W, V, U, U c W{V{U~UTP W, V, U, V c W{V~V|UTP W, V, U, W c (W~W)|(V{U)TP W, V, U, X c (V|WU)~XTP W, V, V, Q c W~V|V{QTP W, V, V, S c WS{V~VTP W, V, V, T c (W|TV)~VTP W, V, V, U c W{V~V|UTP W, V, W, R c W~V|W{RTP W, V, W, T c W{V~T{WTP W, V, W, U c (W~W)|(V{U)TP W, V, X, Q c (W|Q)~V{XTP W, V, X, R c (W|VR)~XTP W, V, X, S c W{V{X~STP W, V, X, U c (V|WU)~XTP W, W, P, R c (W{W{P)~RTP W, W, P, T c W~(W|P)|TTP W, W, Q, R c W~(W|Q){RTP W, W, R, P c (W{W{P)~RTP W, W, R, Q c W~(W|Q){RTP W, W, R, R c (W{W)~R{RTP W, W, R, T c W{W~T{RTP W, W, R, U c W~(RW{U)TP W, W, R, V c W~V|W{RTP W, W, S, U c (W{SW)~UTP W, W, S, X c (W~W)|(S{X)TP W, W, T, P c W~(W|P)|TTP W, W, T, R c W{W~T{RTP W, W, T, U c W{W~U|TTP W, W, T, V c W{W{T~VTP W, W, T, W c (W~W)|(T{W)TP W, W, T, X c (W|T)~(W{X)TP W, W, U, R c W~(U{RW)TP W, W, U, S c (W{SW)~UTP W, W, U, T c W{W~U|TTP W, W, U, V c (W~W)|(U{V)TP W, W, V, R c W~V|W{RTP W, W, V, T c W{W{V~TTP W, W, V, U c (W~W)|(V{U)TP W, W, W, T c (W~W)|(W{T)TP W, W, X, S c (W~W)|(X{S)TP W, W, X, T c (W{X)~(W|T)TP W, X, O, R c (W{X{O)~RTP W, X, P, Q c (W{X)~(P{Q)TP W, X, P, R c (W{X)~(P~R)TP W, X, P, S c (W{X)~(S|P)TP W, X, P, U c (W|P)~U{XTP W, X, Q, P c (W{X)~(Q{P)TP W, X, Q, R c (W|Q)~X|RTP W, X, Q, T c W~(X|Q)|TTP W, X, Q, U c (W{X)Q~UTP W, X, Q, V c (W|Q)~V{XTP W, X, R, O c (W{X)~(R{O)TP W, X, R, P c (W{X)~(R~P)TP W, X, R, Q c (W|Q)~X|RTP W, X, R, R c W~(X|R){RTP W, X, R, U c (W{X)~(U|R)TP W, X, R, V c W~X|R~VTP W, X, R, X c (W{X)R~XTP W, X, S, P c (W{X)~(S|P)TP W, X, S, T c (W{S)~T|XTP W, X, S, U c (X|SW)~UTP W, X, S, V c W{X~S{VTP W, X, S, W c (W~W)|(X{S)TP W, X, T, Q c W{X~T|QTP W, X, T, S c (W{S)~T|XTP W, X, T, U c X~U|W{TTP W, X, T, W c (W{X)~(W|T)TP W, X, U, P c (W|P)~U{XTP W, X, U, Q c (W{X)~(UQ)TP W, X, U, R c (W{X)~(U|R)TP W, X, U, S c (X|SW)~UTP W, X, U, T c X~U|W{TTP W, X, U, U c W~U{X|UTP W, X, U, V c X~(V|WU)TP W, X, U, X c (W{X)~(X|U)TP W, X, V, Q c (W|Q)~V{XTP W, X, V, R c W~X|V~RTP W, X, V, S c (W{X)~(V|S)TP W, X, V, U c X~(V|WU)TP W, X, W, S c (W~W)|(X{S)TP W, X, W, T c (W{X)~(W|T)TP W, X, X, R c (W{X)~(XR)TP W, X, X, U c (W{X)~(X|U)TP X, O, R, U c (X{O)~U|RTP X, O, R, W c (X{O{W)~RTP X, O, T, U c (X{O)~T{UTP X, O, U, R c (X{O)~U|RTP X, O, U, T c (X{O)~T{UTP X, O, U, V c X{O{U~VTP X, O, V, U c X{O{V~UTP X, O, W, R c (X{O{W)~RTP X, P, P, T c (X{P)~T{PTP X, P, Q, R c (X~Q|P)~RTP X, P, Q, U c (X|PQ)~UTP X, P, Q, W c (X{W)~(P{Q)TP X, P, R, Q c (X~Q|P)~RTP X, P, R, T c X~(P{T)|RTP X, P, R, U c (X|P)~U{RTP X, P, R, V c (X{P{V)~RTP X, P, R, W c (X{P~W)~RTP X, P, R, X c (X|P{X)~RTP X, P, S, S c (X{S)~S|PTP X, P, S, U c X~(P{S){UTP X, P, S, W c (X{W)~(S|P)TP X, P, T, P c (X{P)~T{PTP X, P, T, R c X~(P{T)|RTP X, P, T, T c X~T{P{TTP X, P, T, U c X~P~T{UTP X, P, T, V c X{(P{T)~VTP X, P, U, Q c (X|PQ)~UTP X, P, U, R c (X|P)~U{RTP X, P, U, S c X~(P{S){UTP X, P, U, T c X~P~T{UTP X, P, U, U c X{(P{U)~UTP X, P, U, V c X{P~U~VTP X, P, U, W c X{U~(W|P)TP X, P, U, X c (X{P)~U|XTP X, P, V, R c (X{P{V)~RTP X, P, V, T c (X|P)~V|TTP X, P, V, U c X{P~V~UTP X, P, V, V c X{(V|P)~VTP X, P, W, Q c (X{W)~(P{Q)TP X, P, W, R c (X{P~W)~RTP X, P, W, S c (X{W)~(S|P)TP X, P, W, U c X{(W|P)~UTP X, P, X, R c (X|P{X)~RTP X, P, X, U c (X{P)~U|XTP X, Q, P, R c (X~Q|P)~RTP X, Q, P, U c (X|PQ)~UTP X, Q, P, W c (X{W)~(Q{P)TP X, Q, Q, V c (X|Q)~V{QTP X, Q, R, P c (X~Q|P)~RTP X, Q, R, R c X~Q~R|RTP X, Q, R, S c (X{Q~S)~RTP X, Q, R, T c X~(QR{T)TP X, Q, R, U c X~(Q{R){UTP X, Q, R, V c X{Q~R~VTP X, Q, R, W c X~(W|Q)|RTP X, Q, S, R c (X{Q~S)~RTP X, Q, S, T c (X{Q)~T|STP X, Q, S, U c (X|QS)~UTP X, Q, S, V c X{(Q{S)~VTP X, Q, T, R c X~(QR{T)TP X, Q, T, S c (X{Q)~T|STP X, Q, T, U c X{(Q{T)~UTP X, Q, T, W c X{Q{T~WTP X, Q, U, P c (X~U)|(Q{P)TP X, Q, U, R c (X{Q{U)~RTP X, Q, U, S c (X|QS)~UTP X, Q, U, T c X{(Q{T)~UTP X, Q, U, U c X~(U|QU)TP X, Q, U, V c X~(V|Q){UTP X, Q, U, W c (X{W)Q~UTP X, Q, U, X c (X|Q)~U{XTP X, Q, V, Q c (X|Q)~V{QTP X, Q, V, R c X{Q~V~RTP X, Q, V, S c X{(Q{S)~VTP X, Q, V, U c X~(V|Q){UTP X, Q, V, W c X{V~(W|Q)TP X, Q, W, P c (X{W)~(Q{P)TP X, Q, W, R c X~(W|Q)|RTP X, Q, W, T c X{Q{W~TTP X, Q, W, U c (X{W)Q~UTP X, Q, W, V c X{(W|Q)~VTP X, Q, X, U c (X|Q)~U{XTP X, R, O, U c (X{O)~U|RTP X, R, O, W c (X{O{W)~RTP X, R, P, Q c (X~Q|P)~RTP X, R, P, T c X~(P{T)|RTP X, R, P, U c (X|P)~U{RTP X, R, P, V c (X{P{V)~RTP X, R, P, W c (X{P~W)~RTP X, R, P, X c (X|P{X)~RTP X, R, Q, P c (X~Q|P)~RTP X, R, Q, R c X~R~Q|RTP X, R, Q, S c (X{Q~S)~RTP X, R, Q, T c X~(QR{T)TP X, R, Q, U c X~(R{Q){UTP X, R, Q, V c X{R~Q~VTP X, R, Q, W c X~(W|Q)|RTP X, R, R, Q c X~R~Q|RTP X, R, R, R c X~(R{R)|RTP X, R, R, S c (X{R)~S{RTP X, R, R, T c (X{R{T)~RTP X, R, R, V c X{(R{R)~VTP X, R, R, W c X~R{R~WTP X, R, R, X c (X|R)~X|RTP X, R, S, Q c (X{S~Q)~RTP X, R, S, R c (X{R)~S{RTP X, R, S, S c (X{S{S)~RTP X, R, S, T c X~S{R~TTP X, R, S, U c X{(R{S)~UTP X, R, S, V c X~V|R~STP X, R, T, P c X~(T{P)|RTP X, R, T, Q c X~T{R~QTP X, R, T, R c (X{R{T)~RTP X, R, T, S c X~(TR{S)TP X, R, T, X c X{R~(T{X)TP X, R, U, O c X~U|R{OTP X, R, U, P c X~U|R~PTP X, R, U, Q c X~(R{Q){UTP X, R, U, S c X~R{U~STP X, R, U, U c (X|RU)~UTP X, R, U, V c (R{V)~U|XTP X, R, U, W c X{R~(U{W)TP X, R, U, X c X~(U|RX)TP X, R, V, P c (X{V{P)~RTP X, R, V, Q c X{R~V~QTP X, R, V, R c X{(R{R)~VTP X, R, V, S c X~V|R~STP X, R, V, U c (R{V)~U|XTP X, R, V, V c X{R~(V{V)TP X, R, V, W c X~W|R~VTP X, R, V, X c (X|R)~V{XTP X, R, W, O c (X{W)~(R{O)TP X, R, W, P c (X{W)~(R~P)TP X, R, W, Q c X~(W|Q)|RTP X, R, W, R c (X|R)~W{RTP X, R, W, U c X{R~(W{U)TP X, R, W, V c X~W|R~VTP X, R, W, X c (XR)~(W{X)TP X, R, X, P c (X{X|P)~RTP X, R, X, R c (X|R)~X|RTP X, R, X, T c X{R~(X{T)TP X, R, X, U c X~(U|RX)TP X, R, X, V c (X|R)~V{XTP X, R, X, W c (XR)~(X{W)TP X, S, P, S c (X{S)~S|PTP X, S, P, U c X~(S{P){UTP X, S, P, W c (X{W)~(S|P)TP X, S, Q, R c (X{S~Q)~RTP X, S, Q, T c (X{Q)~T|STP X, S, Q, U c (X|QS)~UTP X, S, Q, V c X{(S{Q)~VTP X, S, R, Q c (X{S~Q)~RTP X, S, R, R c (X{R)~S{RTP X, S, R, S c (X{S{S)~RTP X, S, R, T c X~S{R~TTP X, S, R, U c X{(S{R)~UTP X, S, R, V c X~V|S~RTP X, S, S, P c (X{S)~S|PTP X, S, S, R c (X{S{S)~RTP X, S, T, Q c X~T{S{QTP X, S, T, R c X~S{T~RTP X, S, T, T c (X{T)~S|TTP X, S, T, U c X~(SU{T)TP X, S, T, W c (S{W)~T|XTP X, S, U, P c X~(S{P){UTP X, S, U, Q c (X|QS)~UTP X, S, U, R c X{(S{R)~UTP X, S, U, T c X~(SU{T)TP X, S, U, U c (S{U)~U|XTP X, S, U, V c X~U{S|VTP X, S, U, W c (X|SW)~UTP X, S, U, X c X~S{U{XTP X, S, V, Q c X{(S{Q)~VTP X, S, V, R c X~V|S~RTP X, S, V, U c X~U{S|VTP X, S, V, W c X~S{V{WTP X, S, W, P c (X{W)~(S|P)TP X, S, W, T c (S{W)~T|XTP X, S, W, U c (X|SW)~UTP X, S, W, V c X~S{W{VTP X, S, W, W c (W~W)|(X{S)TP X, S, X, U c X{S~X{UTP X, T, O, U c X~T{O{UTP X, T, P, P c (X{P)~T{PTP X, T, P, R c X~(T{P)|RTP X, T, P, T c X~T{P{TTP X, T, P, U c X~T{P~UTP X, T, P, V c X{(T{P)~VTP X, T, Q, R c X~T{Q~RTP X, T, Q, S c X~T{Q{STP X, T, Q, U c X{(T{Q)~UTP X, T, Q, W c X~T|Q{WTP X, T, R, P c X~(T{P)|RTP X, T, R, Q c X~T{R~QTP X, T, R, R c (X{T{R)~RTP X, T, R, S c X~(TR{S)TP X, T, R, X c (X{T)~R{XTP X, T, S, Q c X~T{S{QTP X, T, S, R c X~(TR{S)TP X, T, S, T c (X{T)~S|TTP X, T, S, U c X~(T{SU)TP X, T, S, W c T~(S{W)|XTP X, T, T, P c X~T{T{PTP X, T, T, S c (X{T)~S|TTP X, T, T, U c (X{UT)~TTP X, T, T, V c T~(T{V)|XTP X, T, U, O c X~T{U{OTP X, T, U, P c X~T{U~PTP X, T, U, Q c X{(T{Q)~UTP X, T, U, S c X~(T{SU)TP X, T, U, T c (X{UT)~TTP X, T, U, U c T~(U{U)|XTP X, T, U, W c X~U{T|WTP X, T, U, X c X~(T{UX)TP X, T, V, P c X~T{V|PTP X, T, V, T c (T{V)~T|XTP X, T, V, V c X{T~V{VTP X, T, W, Q c X{T~W{QTP X, T, W, S c T~(W{S)|XTP X, T, W, U c X~U{T|WTP X, T, W, W c (X{W)~(W|T)TP X, T, X, R c X{(T{X)~RTP X, T, X, U c X~(T{UX)TP X, U, O, R c X~U{O|RTP X, U, O, T c (X{O)~T{UTP X, U, O, V c X{(U{O)~VTP X, U, P, Q c (X~U)|(P{Q)TP X, U, P, R c X~U|P~RTP X, U, P, S c X~U{P|STP X, U, P, T c X~P~T{UTP X, U, P, U c X{(U{P)~UTP X, U, P, V c X{U~P~VTP X, U, P, W c X{U~(W|P)TP X, U, P, X c (X{P)~U|XTP X, U, Q, P c (X~U)|(Q{P)TP X, U, Q, R c (X{U{Q)~RTP X, U, Q, S c (X|QS)~UTP X, U, Q, T c X{U~(Q{T)TP X, U, Q, U c X~(U|QU)TP X, U, Q, V c X~V|U~QTP X, U, Q, W c (X{W)~(UQ)TP X, U, Q, X c X{U~(X|Q)TP X, U, R, O c X~U|R{OTP X, U, R, P c X~U|R~PTP X, U, R, Q c (X{U{Q)~RTP X, U, R, S c X{U~(R{S)TP X, U, R, U c (X{U)~R{UTP X, U, R, V c U~(R{V)|XTP X, U, R, W c X{(U{W)~RTP X, U, R, X c X~(U|RX)TP X, U, S, P c X~U|S{PTP X, U, S, Q c (X|QS)~UTP X, U, S, R c X{U~(S{R)TP X, U, S, T c X~(SU{T)TP X, U, S, U c (U{S)~U|XTP X, U, S, V c X~U{S|VTP X, U, S, W c (X|SW)~UTP X, U, S, X c X{U{S~XTP X, U, T, O c X~T{U{OTP X, U, T, P c X~T{U~PTP X, U, T, Q c X{U~(T{Q)TP X, U, T, S c X~(T{SU)TP X, U, T, T c (X{UT)~TTP X, U, T, U c (U{U)~T|XTP X, U, T, W c X~U{T|WTP X, U, T, X c X~(UX{T)TP X, U, U, P c X{U~(U{P)TP X, U, U, Q c X~U|UQTP X, U, U, R c X~U|U{RTP X, U, U, S c U~(U{S)|XTP X, U, U, T c (U{U)~T|XTP X, U, U, U c X{U{U~UTP X, U, U, V c (XU{V)~UTP X, U, U, W c X|U{U~WTP X, U, U, X c X~U{U|XTP X, U, V, O c X{U~V{OTP X, U, V, P c X{U~V~PTP X, U, V, Q c X~V|U~QTP X, U, V, R c U~(V{R)|XTP X, U, V, S c X~U|V{STP X, U, V, U c (XU{V)~UTP X, U, V, V c (XV{U)~VTP X, U, V, W c X~(V|WU)TP X, U, W, P c X{U~(W|P)TP X, U, W, Q c (X{W)~(UQ)TP X, U, W, R c X{(U{W)~RTP X, U, W, S c (X|SW)~UTP X, U, W, T c X~U|W{TTP X, U, W, U c X{U~W|UTP X, U, W, V c X~(V|WU)TP X, U, W, X c (X|U)~(W{X)TP X, U, X, P c (X{P)~U|XTP X, U, X, Q c X{U~(X|Q)TP X, U, X, R c X~U|XRTP X, U, X, S c X{U{X~STP X, U, X, T c X~(UX{T)TP X, U, X, U c X~U|X{UTP X, U, X, W c (X|U)~(X{W)TP X, V, O, U c X{(V{O)~UTP X, V, P, R c (X{V{P)~RTP X, V, P, T c X{V~(P{T)TP X, V, P, U c X{V~P~UTP X, V, P, V c X{(V|P)~VTP X, V, Q, Q c (X|Q)~V{QTP X, V, Q, R c X{V~Q~RTP X, V, Q, S c X{V~(Q{S)TP X, V, Q, U c X~(V|Q){UTP X, V, Q, W c X{V~(W|Q)TP X, V, R, P c (X{V{P)~RTP X, V, R, Q c X{V~R~QTP X, V, R, R c (X{V)~R{RTP X, V, R, S c X~V|R~STP X, V, R, U c (V{R)~U|XTP X, V, R, V c X{(V{V)~RTP X, V, R, W c X~W|V~RTP X, V, R, X c (X~V)|(R{X)TP X, V, S, Q c X{V~(S{Q)TP X, V, S, R c X~V|S~RTP X, V, S, U c X~U|V{STP X, V, S, W c (X~V)|(S{W)TP X, V, T, P c X{V~(T{P)TP X, V, T, T c (V{T)~T|XTP X, V, T, V c X{V{T~VTP X, V, U, O c X{V~U{OTP X, V, U, P c X{V~U~PTP X, V, U, Q c X~V|U~QTP X, V, U, R c (V{R)~U|XTP X, V, U, S c X~U|V{STP X, V, U, U c (X~V)|(U{U)TP X, V, U, V c (XV{U)~VTP X, V, U, W c X~(V|WU)TP X, V, V, P c X{V~(V|P)TP X, V, V, R c X{(V{V)~RTP X, V, V, T c X{V{V~TTP X, V, V, U c (XV{U)~VTP X, V, V, V c X{V~V|VTP X, V, W, Q c X{V~(W|Q)TP X, V, W, R c X~W|V~RTP X, V, W, S c (X~V)|(W{S)TP X, V, W, U c X~(V|WU)TP X, V, X, R c X{V~(X|R)TP X, W, O, R c (X{W{O)~RTP X, W, P, Q c (X{W)~(P{Q)TP X, W, P, R c (X{W)~(P~R)TP X, W, P, S c (X{W)~(S|P)TP X, W, P, U c X{(W|P)~UTP X, W, Q, P c (X{W)~(Q{P)TP X, W, Q, R c X~(W|Q)|RTP X, W, Q, T c X{W~T{QTP X, W, Q, U c (X{W)Q~UTP X, W, Q, V c X{(W|Q)~VTP X, W, R, O c (X{W)~(R{O)TP X, W, R, P c (X{W)~(R~P)TP X, W, R, Q c X~(W|Q)|RTP X, W, R, R c X~(WR{R)TP X, W, R, U c X~(W|R){UTP X, W, R, V c X~W|R~VTP X, W, R, X c (X{W)R~XTP X, W, S, P c (X{W)~(S|P)TP X, W, S, T c (W{S)~T|XTP X, W, S, U c (X|SW)~UTP X, W, S, V c (X{W)~(V|S)TP X, W, S, W c (W~W)|(X{S)TP X, W, T, Q c X{W~T{QTP X, W, T, S c (W{S)~T|XTP X, W, T, U c X~U|W{TTP X, W, T, W c (X{W)~(W|T)TP X, W, U, P c X{(W|P)~UTP X, W, U, Q c (X{W)~(UQ)TP X, W, U, R c X{(W{U)~RTP X, W, U, S c (X|SW)~UTP X, W, U, T c X~U|W{TTP X, W, U, U c X{W~U|UTP X, W, U, V c X~(V|WU)TP X, W, U, X c (X{W)~(X|U)TP X, W, V, Q c X{(W|Q)~VTP X, W, V, R c X~W|V~RTP X, W, V, S c (X{W)~(V|S)TP X, W, V, U c X~(V|WU)TP X, W, W, S c (W~W)|(X{S)TP X, W, W, T c (X{W)~(W|T)TP X, W, X, R c (X{W)~(XR)TP X, W, X, U c (X{W)~(X|U)TP X, X, P, R c (X{X|P)~RTP X, X, P, U c (X{P)~U|XTP X, X, Q, U c X{(X|Q)~UTP X, X, R, P c (X{X|P)~RTP X, X, R, R c (X{X)~R|RTP X, X, R, T c X{(X{T)~RTP X, X, R, U c X~U|XRTP X, X, R, V c X{(X|R)~VTP X, X, R, W c X~(X{W)RTP X, X, S, U c X{X~S{UTP X, X, T, R c X{(X{T)~RTP X, X, T, U c X~X|T~UTP X, X, U, P c (X{P)~U|XTP X, X, U, Q c X{(X|Q)~UTP X, X, U, R c X~U|XRTP X, X, U, S c X{X~S{UTP X, X, U, T c X~X|U~TTP X, X, U, U c X~U|X{UTP X, X, U, W c (X|U)~(X{W)TP X, X, V, R c X{(X|R)~VTP X, X, W, R c X~(X{W)RTP X, X, W, U c (X{W)~(X|U)TP