O, Q, U, X c O{U~X|QTQ O, Q, X, U c O{X~U|QTQ O, R, V, V c O{R{V~VTQ O, S, S, X c (O{S)~(S{X)TQ O, S, T, W c (O{S)~(T{W)TQ O, S, U, V c (O{S)~(U{V)TQ O, S, U, W c O{S{U~WTQ O, S, V, U c (O{S)~(V{U)TQ O, S, V, W c O{V~W|STQ O, S, W, T c (O{S)~(W{T)TQ O, S, W, U c O{S{W~UTQ O, S, W, V c O{W~V|STQ O, S, X, S c (O{S{X)~STQ O, T, S, W c (O{T{W)~STQ O, T, V, X c O{T~X{VTQ O, T, W, S c (O{T{W)~STQ O, T, X, V c O{T~X{VTQ O, U, Q, X c O{U~X|QTQ O, U, S, V c (O{U{V)~STQ O, U, S, W c O{U~W{STQ O, U, V, S c (O{U{V)~STQ O, U, W, S c O{U~W{STQ O, U, X, Q c O{U~X|QTQ O, V, R, V c O{V~V{RTQ O, V, S, U c (O{V{U)~STQ O, V, S, W c O{V~W|STQ O, V, T, X c O{V{T~XTQ O, V, U, S c (O{V{U)~STQ O, V, V, R c O{V~V{RTQ O, V, W, S c O{V~W|STQ O, V, X, T c O{V{X~TTQ O, W, S, T c (O{W{T)~STQ O, W, S, U c O{W~U{STQ O, W, S, V c O{W~V|STQ O, W, T, S c (O{W{T)~STQ O, W, U, S c O{W~U{STQ O, W, V, S c O{W~V|STQ O, X, Q, U c O{X~U|QTQ O, X, S, S c (O{X{S)~STQ O, X, T, V c O{X~T{VTQ O, X, U, Q c O{X~U|QTQ O, X, V, T c O{X~T{VTQ P, P, U, X c (U~X)|(P{P)TQ P, P, X, U c (X~U)|(P{P)TQ P, Q, R, X c Q~(R~X|P)TQ P, Q, S, U c (P{Q~U)~STQ P, Q, S, V c (Q~V|P)~STQ P, Q, T, T c (P{T~T)~QTQ P, Q, T, X c (P{T)~X|QTQ P, Q, U, S c (P{Q~U)~STQ P, Q, U, W c (PQ{U)~WTQ P, Q, U, X c P~U~X|QTQ P, Q, V, S c (Q~V|P)~STQ P, Q, V, V c P{Q{V~VTQ P, Q, V, W c (V|PQ)~WTQ P, Q, V, X c (V|P)~X|QTQ P, Q, W, U c (PQ{U)~WTQ P, Q, W, V c W~(V|PQ)TQ P, Q, X, R c Q~(X~R|P)TQ P, Q, X, T c (P{X)~T{QTQ P, Q, X, U c P~X~U|QTQ P, Q, X, V c X~(V|P)|QTQ P, R, Q, X c (R~X|P)~QTQ P, R, S, S c (P{R~S)~STQ P, R, S, X c (P{R)~(S{X)TQ P, R, T, W c (P{R)~(T{W)TQ P, R, U, V c (P{R)~(U{V)TQ P, R, U, W c P{R{U~WTQ P, R, U, X c P{U~X|RTQ P, R, V, U c (P{R)~(V{U)TQ P, R, V, V c P~R{V~VTQ P, R, V, W c R{V~(W|P)TQ P, R, W, T c (P{R)~(W{T)TQ P, R, W, U c P{R{W~UTQ P, R, W, V c R{(W|P)~VTQ P, R, W, X c P{R~(W{X)TQ P, R, X, Q c (R~X|P)~QTQ P, R, X, S c (P{R{X)~STQ P, R, X, U c P{X~U|RTQ P, R, X, W c P{R~(X{W)TQ P, S, Q, U c (P{Q~U)~STQ P, S, Q, V c S~(Q~V|P)TQ P, S, R, S c (P{S~R)~STQ P, S, R, X c (P{R)~(S{X)TQ P, S, S, R c (P{S~R)~STQ P, S, S, W c (P{S{W)~STQ P, S, S, X c (P~S)~(S{X)TQ P, S, T, V c (P{T{V)~STQ P, S, T, W c (P~S)~(T{W)TQ P, S, T, X c S~(T|P{X)TQ P, S, U, Q c (P{U~Q)~STQ P, S, U, U c (P{U{U)~STQ P, S, U, V c (P~S)~(U{V)TQ P, S, U, W c P~S{U~WTQ P, S, U, X c S{U~(X|P)TQ P, S, V, Q c S~(V~Q|P)TQ P, S, V, T c (P{V{T)~STQ P, S, V, U c (P~S)~(V{U)TQ P, S, V, V c (P{V)~V|STQ P, S, V, W c P~V~W|STQ P, S, V, X c (P{S)~X{VTQ P, S, W, S c (P{S{W)~STQ P, S, W, T c (P~S)~(W{T)TQ P, S, W, U c P~S{W~UTQ P, S, W, V c P~W~V|STQ P, S, W, W c (W|P)~W|STQ P, S, X, R c (P{X{R)~STQ P, S, X, S c (P~S{X)~STQ P, S, X, T c S~(X|P{T)TQ P, S, X, U c S{(X|P)~UTQ P, S, X, V c (P{S)~X{VTQ P, T, Q, T c (P{T~T)~QTQ P, T, Q, X c (P{T)~X|QTQ P, T, R, W c (P{R)~(T{W)TQ P, T, S, V c (P{T{V)~STQ P, T, S, W c (P{T)~W{STQ P, T, S, X c (T|P)~(S{X)TQ P, T, T, Q c (P{T~T)~QTQ P, T, T, W c (T|P)~(T{W)TQ P, T, U, V c (T|P)~(U{V)TQ P, T, U, W c T|P{U~WTQ P, T, U, X c P{T~X{UTQ P, T, V, S c (P{T{V)~STQ P, T, V, U c (T|P)~(V{U)TQ P, T, V, W c P{V~W|TTQ P, T, V, X c P~T~X{VTQ P, T, W, R c (P{R)~(T{W)TQ P, T, W, S c (P{T)~W{STQ P, T, W, T c (T|P)~(W{T)TQ P, T, W, U c T|P{W~UTQ P, T, W, V c (P{W)~T{VTQ P, T, W, X c T~X|P{WTQ P, T, X, Q c (P{T)~X|QTQ P, T, X, S c (T|P{X)~STQ P, T, X, U c P{T~X{UTQ P, T, X, V c P~T~X{VTQ P, T, X, W c T~X|P{WTQ P, U, P, X c (U~X)|(P{P)TQ P, U, Q, S c (P{U~Q)~STQ P, U, Q, W c (PQ{U)~WTQ P, U, Q, X c P~U~X|QTQ P, U, R, V c (P{U)~V{RTQ P, U, R, W c P{U~W{RTQ P, U, R, X c P{U~X|RTQ P, U, S, Q c (P{U~Q)~STQ P, U, S, U c (P{U{U)~STQ P, U, S, V c (P~U{V)~STQ P, U, S, W c (P{U)~W|STQ P, U, S, X c U~(X|P){STQ P, U, T, V c (U{V)~(T|P)TQ P, U, T, W c U~W|P{TTQ P, U, T, X c P{U{T~XTQ P, U, U, S c (P{U{U)~STQ P, U, V, R c (P{U)~V{RTQ P, U, V, S c (P~U{V)~STQ P, U, V, T c (U{V)~(T|P)TQ P, U, V, X c P{U~V{XTQ P, U, W, Q c (P{W)~U|QTQ P, U, W, R c P{U~W{RTQ P, U, W, S c (P{U)~W|STQ P, U, W, T c U~W|P{TTQ P, U, W, X c (P{X)~U|WTQ P, U, X, P c (U~X)|(P{P)TQ P, U, X, Q c P~U~X|QTQ P, U, X, R c P{U~X|RTQ P, U, X, S c U~(X|P){STQ P, U, X, T c P{U{X~TTQ P, U, X, V c P{U~V{XTQ P, U, X, W c (P{X)~U|WTQ P, V, Q, S c (V~Q|P)~STQ P, V, Q, V c P{V~V{QTQ P, V, Q, W c (V|PQ)~WTQ P, V, Q, X c (V|P)~X|QTQ P, V, R, U c (P{R)~(V{U)TQ P, V, R, V c P~V~V{RTQ P, V, R, W c (V~W)|(P{R)TQ P, V, S, Q c (V~Q|P)~STQ P, V, S, T c (P{V{T)~STQ P, V, S, U c (P{V)~U{STQ P, V, S, V c (P{V)~V|STQ P, V, S, W c P~V~W|STQ P, V, S, X c (P{S)~X{VTQ P, V, T, S c (P{V{T)~STQ P, V, T, U c (V{U)~(T|P)TQ P, V, T, W c P{V~W|TTQ P, V, T, X c P~V{T~XTQ P, V, U, R c (P{U)~V{RTQ P, V, U, S c (P{V)~U{STQ P, V, U, T c (V{U)~(T|P)TQ P, V, U, X c P{V~U{XTQ P, V, V, Q c P{V~V{QTQ P, V, V, R c P~V~V{RTQ P, V, V, S c (P{V)~V|STQ P, V, W, Q c (V|PQ)~WTQ P, V, W, R c (V~W)|(P{R)TQ P, V, W, S c P~V~W|STQ P, V, W, T c P{V~W|TTQ P, V, X, Q c (V|P)~X|QTQ P, V, X, S c (P{S)~X{VTQ P, V, X, T c P~V{X~TTQ P, V, X, U c P{V~U{XTQ P, W, Q, U c (P{W)~U|QTQ P, W, Q, V c W~(V|PQ)TQ P, W, R, T c (P{R)~(W{T)TQ P, W, R, U c P{W~U{RTQ P, W, R, V c (W|P)~V{RTQ P, W, R, X c P{(W{X)~RTQ P, W, S, S c (P{W{S)~STQ P, W, S, T c (P~W{T)~STQ P, W, S, U c P~W~U{STQ P, W, S, V c P~W~V|STQ P, W, S, W c (W|P)~W|STQ P, W, T, R c (P{R)~(W{T)TQ P, W, T, S c (P~W{T)~STQ P, W, T, T c (W{T)~(T|P)TQ P, W, T, U c W~U|P{TTQ P, W, T, V c (P{W)~T{VTQ P, W, T, X c W|P{T~XTQ P, W, U, Q c (P{W)~U|QTQ P, W, U, R c P{W~U{RTQ P, W, U, S c P~W~U{STQ P, W, U, T c W~U|P{TTQ P, W, U, X c (P{X)~U|WTQ P, W, V, Q c W~(V|PQ)TQ P, W, V, R c (W|P)~V{RTQ P, W, V, S c P~W~V|STQ P, W, V, T c P{W~V|TTQ P, W, W, S c (W|P)~W|STQ P, W, X, R c P{(W{X)~RTQ P, W, X, T c W|P{X~TTQ P, W, X, U c (P{X)~U|WTQ P, X, P, U c (X~U)|(P{P)TQ P, X, Q, R c (X~R|P)~QTQ P, X, Q, T c (P{X)~T{QTQ P, X, Q, U c P~X~U|QTQ P, X, Q, V c X~(V|P)|QTQ P, X, R, Q c (X~R|P)~QTQ P, X, R, S c (P{X{R)~STQ P, X, R, U c P{X~U|RTQ P, X, R, W c P{(X{W)~RTQ P, X, S, R c (P{X{R)~STQ P, X, S, S c (P~X{S)~STQ P, X, S, T c (X|P{T)~STQ P, X, S, U c (X|P)~U{STQ P, X, S, V c (P{S)~X{VTQ P, X, T, Q c (P{X)~T{QTQ P, X, T, S c (X|P{T)~STQ P, X, T, U c P{X~T{UTQ P, X, T, V c P~X~T{VTQ P, X, T, W c X~T|P{WTQ P, X, U, P c (X~U)|(P{P)TQ P, X, U, Q c P~X~U|QTQ P, X, U, R c P{X~U|RTQ P, X, U, S c (X|P)~U{STQ P, X, U, T c P{X~T{UTQ P, X, U, V c P{X{U~VTQ P, X, U, W c (P{X)~U|WTQ P, X, V, Q c X~(V|P)|QTQ P, X, V, S c (P{S)~X{VTQ P, X, V, T c P~X~T{VTQ P, X, V, U c P{X{V~UTQ P, X, W, R c P{(X{W)~RTQ P, X, W, T c X~T|P{WTQ P, X, W, U c (P{X)~U|WTQ Q, O, U, X c O{U~X|QTQ Q, O, X, U c O{X~U|QTQ Q, P, R, X c Q~(R~X|P)TQ Q, P, S, U c (Q~U{P)~STQ Q, P, S, V c (Q~V|P)~STQ Q, P, T, T c Q~(P{T~T)TQ Q, P, T, X c Q{(P{X)~TTQ Q, P, U, S c (Q~U{P)~STQ Q, P, U, W c (PQ{U)~WTQ Q, P, U, X c P~U~X|QTQ Q, P, V, S c (Q~V|P)~STQ Q, P, V, V c Q{P{V~VTQ Q, P, V, W c (V|PQ)~WTQ Q, P, V, X c (V|P)~X|QTQ Q, P, W, U c (PQ{U)~WTQ Q, P, W, V c W~(V|PQ)TQ Q, P, X, R c Q~(X~R|P)TQ Q, P, X, T c Q{(P{X)~TTQ Q, P, X, U c P~X~U|QTQ Q, P, X, V c X~(V|P)|QTQ Q, Q, R, W c Q~(Q{R~W)TQ Q, Q, R, X c Q~R~X|QTQ Q, Q, S, U c Q~(Q{S~U)TQ Q, Q, S, V c Q~(S~V|Q)TQ Q, Q, S, X c (Q{Q)~(S{X)TQ Q, Q, T, T c Q{Q~T~TTQ Q, Q, T, W c (Q{Q)~(T{W)TQ Q, Q, U, S c Q~(Q{U~S)TQ Q, Q, U, V c (Q{Q)~(U{V)TQ Q, Q, U, W c Q{Q{U~WTQ Q, Q, V, S c Q~(V~S|Q)TQ Q, Q, V, U c (Q{Q)~(V{U)TQ Q, Q, V, W c (V~W)|(Q{Q)TQ Q, Q, W, R c Q~(Q{W~R)TQ Q, Q, W, T c Q{(Q{W)~TTQ Q, Q, W, U c Q{Q{W~UTQ Q, Q, W, V c (W~V)|(Q{Q)TQ Q, Q, W, X c Q~(Q~X{W)TQ Q, Q, X, R c Q~X~R|QTQ Q, Q, X, S c (Q{Q{X)~STQ Q, Q, X, W c Q~(Q~X{W)TQ Q, R, P, X c Q~(R~X|P)TQ Q, R, Q, W c (Q{R~W)~QTQ Q, R, Q, X c Q~R~X|QTQ Q, R, R, U c R~R~U|QTQ Q, R, R, X c (R{R)~X|QTQ Q, R, S, T c (Q~T{R)~STQ Q, R, S, V c (Q~R{V)~STQ Q, R, S, W c (Q{R{W)~STQ Q, R, T, S c (Q~T{R)~STQ Q, R, T, V c Q{(R{V)~TTQ Q, R, T, W c (RQ{T)~WTQ Q, R, T, X c (Q{X)~T|RTQ Q, R, U, R c R~U~R|QTQ Q, R, U, U c (R{U)~U|QTQ Q, R, U, W c Q~(R~U{W)TQ Q, R, V, S c (Q~R{V)~STQ Q, R, V, T c Q{(R{V)~TTQ Q, R, V, W c (R{VQ)~WTQ Q, R, V, X c (Q{R)~X{VTQ Q, R, W, Q c (Q{R~W)~QTQ Q, R, W, S c (Q{R{W)~STQ Q, R, W, T c (RQ{T)~WTQ Q, R, W, U c (QR{W)~UTQ Q, R, W, V c (R{VQ)~WTQ Q, R, W, W c (W|RQ)~WTQ Q, R, X, P c Q~(R~X|P)TQ Q, R, X, Q c Q~R~X|QTQ Q, R, X, R c (R{R)~X|QTQ Q, R, X, T c (Q{X)~T|RTQ Q, R, X, V c (Q{R)~X{VTQ Q, R, X, X c R~(X{X)|QTQ Q, S, P, U c (Q~U{P)~STQ Q, S, P, V c (Q~V|P)~STQ Q, S, Q, U c (Q{S~U)~QTQ Q, S, Q, V c Q~(S~V|Q)TQ Q, S, Q, X c (Q{S)~X|QTQ Q, S, R, T c (Q~T{R)~STQ Q, S, R, V c (Q~R{V)~STQ Q, S, R, W c (Q{R{W)~STQ Q, S, S, T c (Q~S{T)~STQ Q, S, S, U c Q~S~U{STQ Q, S, S, V c (Q{S{V)~STQ Q, S, S, W c (Q{S)~W{STQ Q, S, T, R c (Q~T{R)~STQ Q, S, T, S c (Q~S{T)~STQ Q, S, T, U c Q~(S~T{U)TQ Q, S, T, W c (Q{T)~W|STQ Q, S, T, X c (Q~X|T)~STQ Q, S, U, P c (Q~U{P)~STQ Q, S, U, Q c (Q{S~U)~QTQ Q, S, U, S c Q~S~U{STQ Q, S, U, T c Q{(S{U)~TTQ Q, S, U, U c (Q{U)~U{STQ Q, S, U, V c (Q{U)~V|STQ Q, S, U, W c (QS{U)~WTQ Q, S, U, X c Q{U~X|STQ Q, S, V, P c (Q~V|P)~STQ Q, S, V, Q c Q~(S~V|Q)TQ Q, S, V, R c (Q~R{V)~STQ Q, S, V, S c (Q{S{V)~STQ Q, S, V, U c (Q{U)~V|STQ Q, S, V, W c S~(V|Q{W)TQ Q, S, W, R c (Q{W{R)~STQ Q, S, W, S c (Q{S)~W{STQ Q, S, W, T c (Q{T)~W|STQ Q, S, W, U c Q~(S~W|U)TQ Q, S, W, V c S~(W|Q{V)TQ Q, S, W, W c S{(W|Q)~WTQ Q, S, W, X c Q~W{S~XTQ Q, S, X, Q c (Q{S)~X|QTQ Q, S, X, T c (Q~X|T)~STQ Q, S, X, U c Q{X~U|STQ Q, S, X, W c (Q{X)~S{WTQ Q, T, P, T c Q~(T~T{P)TQ Q, T, P, X c Q{T~(P{X)TQ Q, T, Q, T c Q{T~Q~TTQ Q, T, Q, W c Q{T~(Q{W)TQ Q, T, R, S c (Q~T{R)~STQ Q, T, R, V c Q{T~(R{V)TQ Q, T, R, W c (T{RQ)~WTQ Q, T, R, X c (Q{X)~T|RTQ Q, T, S, R c (Q~T{R)~STQ Q, T, S, S c (Q~S{T)~STQ Q, T, S, U c Q{T~(S{U)TQ Q, T, S, W c (Q{T)~W|STQ Q, T, S, X c (Q~X|T)~STQ Q, T, T, P c Q~(T~T{P)TQ Q, T, T, Q c Q{T~T~QTQ Q, T, T, T c Q{(T{T)~TTQ Q, T, T, X c Q{T{T~XTQ Q, T, U, S c (Q{T{U)~STQ Q, T, U, V c Q~T{U~VTQ Q, T, U, W c Q~T~U|WTQ Q, T, V, R c (Q{T)~V{RTQ Q, T, V, U c Q~T{V~UTQ Q, T, V, V c (Q{V)~T{VTQ Q, T, V, X c Q~(T~V|X)TQ Q, T, W, Q c Q{T~(W{Q)TQ Q, T, W, R c (T{RQ)~WTQ Q, T, W, S c (Q{T)~W|STQ Q, T, W, U c Q~T~U|WTQ Q, T, W, W c (T{W)Q~WTQ Q, T, W, X c W~(X|TQ)TQ Q, T, X, P c Q{T~(X{P)TQ Q, T, X, R c (Q{X)~T|RTQ Q, T, X, S c (Q~X|T)~STQ Q, T, X, T c Q{T{X~TTQ Q, T, X, V c Q~(T~V|X)TQ Q, T, X, W c (X|TQ)~WTQ Q, T, X, X c T~X|Q{XTQ Q, U, O, X c (U{O)~X|QTQ Q, U, P, S c (Q~U{P)~STQ Q, U, P, W c (U{PQ)~WTQ Q, U, P, X c U~P~X|QTQ Q, U, Q, S c (Q{U~S)~QTQ Q, U, Q, V c Q~(U{V)~QTQ Q, U, Q, W c Q{U~W{QTQ Q, U, R, R c U~R~R|QTQ Q, U, R, U c (U{R)~U|QTQ Q, U, R, W c Q~(U~R{W)TQ Q, U, S, P c (Q~U{P)~STQ Q, U, S, Q c (Q{U~S)~QTQ Q, U, S, S c Q~U~S{STQ Q, U, S, T c Q{(U{S)~TTQ Q, U, S, U c (Q{U)~U{STQ Q, U, S, V c (Q{U)~V|STQ Q, U, S, W c (QS{U)~WTQ Q, U, S, X c Q{U~X|STQ Q, U, T, S c (Q{U{T)~STQ Q, U, T, V c Q~T{U~VTQ Q, U, T, W c Q~U{T~WTQ Q, U, U, R c U~(U{R)|QTQ Q, U, U, S c (Q{U)~U{STQ Q, U, U, V c (U|Q)~(U{V)TQ Q, U, U, W c Q~W{U~UTQ Q, U, U, X c U~(X|QU)TQ Q, U, V, Q c Q~(U{V)~QTQ Q, U, V, S c (Q{U)~V|STQ Q, U, V, T c Q~T{U~VTQ Q, U, V, U c (U|Q)~(V{U)TQ Q, U, V, V c UQ{V~VTQ Q, U, V, W c Q{U~V{WTQ Q, U, W, P c U~(W{P)|QTQ Q, U, W, Q c Q{U~W{QTQ Q, U, W, R c Q~(U~R{W)TQ Q, U, W, S c Q~(W~S|U)TQ Q, U, W, T c Q~U{W~TTQ Q, U, W, U c Q~W{U~UTQ Q, U, W, V c Q{U~V{WTQ Q, U, W, W c (Q{W)~U|WTQ Q, U, X, O c U~X|Q{OTQ Q, U, X, P c U~X|Q~PTQ Q, U, X, S c Q{U~X|STQ Q, U, X, U c U~(X|QU)TQ Q, U, X, X c (U|QX)~XTQ Q, V, P, S c (Q~V|P)~STQ Q, V, P, V c Q{V~V{PTQ Q, V, P, W c (V|PQ)~WTQ Q, V, P, X c (V|P)~X|QTQ Q, V, Q, S c Q~(V~S|Q)TQ Q, V, Q, U c (Q{V)~U|QTQ Q, V, Q, W c (V~W)|(Q{Q)TQ Q, V, R, S c (Q~R{V)~STQ Q, V, R, T c Q{(V{R)~TTQ Q, V, R, W c (VQ{R)~WTQ Q, V, R, X c (Q{R)~X{VTQ Q, V, S, P c (Q~V|P)~STQ Q, V, S, Q c Q~(V~S|Q)TQ Q, V, S, R c (Q~R{V)~STQ Q, V, S, S c (Q{V{S)~STQ Q, V, S, U c (Q{U)~V|STQ Q, V, S, W c (V|QS)~WTQ Q, V, T, R c Q{(V{R)~TTQ Q, V, T, U c Q~T{V~UTQ Q, V, T, V c (Q{V)~T{VTQ Q, V, T, X c Q~(V~T|X)TQ Q, V, U, Q c (Q{V)~U|QTQ Q, V, U, S c (Q{U)~V|STQ Q, V, U, T c Q~T{V~UTQ Q, V, U, U c (V{U)~(U|Q)TQ Q, V, U, V c V~V{UQTQ Q, V, U, W c Q{V~U{WTQ Q, V, V, P c Q{V~V{PTQ Q, V, V, T c (Q{V)~T{VTQ Q, V, V, U c V~V{UQTQ Q, V, V, X c (V|Q)~X{VTQ Q, V, W, P c (V|PQ)~WTQ Q, V, W, Q c (V~W)|(Q{Q)TQ Q, V, W, R c (VQ{R)~WTQ Q, V, W, S c (V|Q{W)~STQ Q, V, W, U c Q{V~W|UTQ Q, V, W, W c V~W|WQTQ Q, V, X, P c (V|P)~X|QTQ Q, V, X, R c (Q{R)~X{VTQ Q, V, X, T c Q~(V~T|X)TQ Q, V, X, V c (V|Q)~X{VTQ Q, V, X, X c (V~X)|(Q{X)TQ Q, W, P, U c W~(PQ{U)TQ Q, W, P, V c W~(V|PQ)TQ Q, W, Q, R c (Q{W~R)~QTQ Q, W, Q, T c Q{(W{Q)~TTQ Q, W, Q, U c Q{W~U{QTQ Q, W, Q, V c (W~V)|(Q{Q)TQ Q, W, Q, X c Q~(W{Q~X)TQ Q, W, R, Q c (Q{W~R)~QTQ Q, W, R, S c (Q{W{R)~STQ Q, W, R, T c W~(RQ{T)TQ Q, W, R, U c Q~(W{R~U)TQ Q, W, R, V c W~(R{VQ)TQ Q, W, R, W c (W|RQ)~WTQ Q, W, S, R c (Q{W{R)~STQ Q, W, S, S c (Q{S)~W{STQ Q, W, S, T c (Q{T)~W|STQ Q, W, S, U c Q~(W~S|U)TQ Q, W, S, V c (W|Q{V)~STQ Q, W, S, W c (W|Q)~W{STQ Q, W, S, X c Q~W{S~XTQ Q, W, T, Q c (Q{W)~T{QTQ Q, W, T, R c W~(T{RQ)TQ Q, W, T, S c (Q{T)~W|STQ Q, W, T, U c Q~T~U|WTQ Q, W, T, W c (WQ)~(T{W)TQ Q, W, T, X c W~(X|TQ)TQ Q, W, U, P c W~(U{PQ)TQ Q, W, U, Q c Q{W~U{QTQ Q, W, U, R c Q~(W{U~R)TQ Q, W, U, S c Q~(W~S|U)TQ Q, W, U, T c Q~U{W~TTQ Q, W, U, U c Q~W{U~UTQ Q, W, U, V c Q{W{U~VTQ Q, W, U, W c (Q{W)~U|WTQ Q, W, V, P c W~(V|PQ)TQ Q, W, V, Q c (W~V)|(Q{Q)TQ Q, W, V, R c W~(VQ{R)TQ Q, W, V, S c (W|Q{V)~STQ Q, W, V, U c Q{W{V~UTQ Q, W, V, W c W~V|WQTQ Q, W, W, R c W~(W|RQ)TQ Q, W, W, S c (W|Q)~W{STQ Q, W, W, T c (WQ)~(W{T)TQ Q, W, W, U c (Q{W)~U|WTQ Q, W, W, V c W~V|WQTQ Q, W, X, Q c Q~(W{X~Q)TQ Q, W, X, S c Q~W{X~STQ Q, W, X, T c W~(X|TQ)TQ Q, W, X, X c Q~(W{X{X)TQ Q, X, O, U c (X{O)~U|QTQ Q, X, P, R c Q~(X~R|P)TQ Q, X, P, T c Q{(X{P)~TTQ Q, X, P, U c X~P~U|QTQ Q, X, P, V c X~(V|P)|QTQ Q, X, Q, R c Q~X~R|QTQ Q, X, Q, S c (Q{X{Q)~STQ Q, X, Q, W c (Q{XQ)~WTQ Q, X, R, P c Q~(X~R|P)TQ Q, X, R, Q c Q~X~R|QTQ Q, X, R, R c X~(R{R)|QTQ Q, X, R, T c (Q{X)~T|RTQ Q, X, R, V c (Q{R)~X{VTQ Q, X, R, X c (X|R)~X|QTQ Q, X, S, Q c Q~(X{S)~QTQ Q, X, S, T c (Q~X|T)~STQ Q, X, S, U c Q{X~U|STQ Q, X, S, W c (Q{X)~S{WTQ Q, X, T, P c Q{(X{P)~TTQ Q, X, T, R c (Q{X)~T|RTQ Q, X, T, S c (Q~X|T)~STQ Q, X, T, T c Q{X~T{TTQ Q, X, T, V c Q~(T~V|X)TQ Q, X, T, W c (X|TQ)~WTQ Q, X, T, X c X|Q{T~XTQ Q, X, U, O c X~U|Q{OTQ Q, X, U, P c X~U|Q~PTQ Q, X, U, S c Q{X~U|STQ Q, X, U, U c (X|QU)~UTQ Q, X, U, X c X~(U|QX)TQ Q, X, V, P c X~(V|P)|QTQ Q, X, V, R c (Q{R)~X{VTQ Q, X, V, T c Q~(V~T|X)TQ Q, X, V, V c X~(V|Q){VTQ Q, X, V, X c (X~V)|(Q{X)TQ Q, X, W, Q c (Q~X{W)~QTQ Q, X, W, S c (Q{X)~S{WTQ Q, X, W, T c (X|TQ)~WTQ Q, X, W, X c Q~(X{W{X)TQ Q, X, X, R c (X{X)~R|QTQ Q, X, X, T c X|Q{X~TTQ Q, X, X, U c X~(U|QX)TQ Q, X, X, V c (X~V)|(Q{X)TQ Q, X, X, W c Q~(X{X{W)TQ R, O, V, V c R{O{V~VTQ R, P, Q, X c (R~X|P)~QTQ R, P, S, S c (R~S{P)~STQ R, P, S, X c (R{P)~(S{X)TQ R, P, T, W c (R{P)~(T{W)TQ R, P, U, V c R{(P{U)~VTQ R, P, U, W c R{P{U~WTQ R, P, U, X c P{U~X|RTQ R, P, V, U c (R{P)~(V{U)TQ R, P, V, V c R{P~V~VTQ R, P, V, W c R{V~(W|P)TQ R, P, W, T c (R{P)~(W{T)TQ R, P, W, U c R{P{W~UTQ R, P, W, V c R{(W|P)~VTQ R, P, W, X c R~(W{X){PTQ R, P, X, Q c (R~X|P)~QTQ R, P, X, S c (R{P{X)~STQ R, P, X, U c P{X~U|RTQ R, P, X, W c R~(X{W){PTQ R, Q, P, X c (R~X|P)~QTQ R, Q, Q, W c (R~W{Q)~QTQ R, Q, Q, X c R~Q~X|QTQ R, Q, R, U c R~R~U|QTQ R, Q, R, X c (R{R)~X|QTQ R, Q, S, T c (R{Q~T)~STQ R, Q, S, V c (R~Q{V)~STQ R, Q, S, W c (R{Q{W)~STQ R, Q, T, S c (R{Q~T)~STQ R, Q, T, V c R{(Q{T)~VTQ R, Q, T, W c (RQ{T)~WTQ R, Q, T, X c (Q{X)~T|RTQ R, Q, U, R c R~U~R|QTQ R, Q, U, U c (R{U)~U|QTQ R, Q, U, W c (R~U{W)~QTQ R, Q, V, S c (R~Q{V)~STQ R, Q, V, T c R{(Q{T)~VTQ R, Q, V, W c (R{VQ)~WTQ R, Q, V, X c (R{Q)~X{VTQ R, Q, W, Q c (R~W{Q)~QTQ R, Q, W, S c (R{Q{W)~STQ R, Q, W, T c (RQ{T)~WTQ R, Q, W, U c (R~U{W)~QTQ R, Q, W, V c (R{VQ)~WTQ R, Q, W, W c (W|RQ)~WTQ R, Q, X, P c (R~X|P)~QTQ R, Q, X, Q c R~Q~X|QTQ R, Q, X, R c (R{R)~X|QTQ R, Q, X, T c (Q{X)~T|RTQ R, Q, X, V c (R{Q)~X{VTQ R, Q, X, X c R~(X{X)|QTQ R, R, Q, U c R~R~U|QTQ R, R, Q, X c (R{R)~X|QTQ R, R, S, S c (R~R{S)~STQ R, R, S, V c R{(R{S)~VTQ R, R, S, W c (R{R)~W{STQ R, R, T, V c R~R~T{VTQ R, R, T, W c (R{W)~T|RTQ R, R, U, Q c R~R~U|QTQ R, R, V, S c (R{R{V)~STQ R, R, V, T c R~R~T{VTQ R, R, W, S c (R{R)~W{STQ R, R, W, T c (R{W)~T|RTQ R, R, X, Q c (R{R)~X|QTQ R, S, P, S c (R~S{P)~STQ R, S, P, X c (R{P)~(S{X)TQ R, S, Q, T c (R{Q~T)~STQ R, S, Q, V c (R~Q{V)~STQ R, S, Q, W c (R{Q{W)~STQ R, S, R, S c (R~R{S)~STQ R, S, R, V c R{(S{R)~VTQ R, S, R, W c (R{R)~W{STQ R, S, S, P c (R~S{P)~STQ R, S, S, R c (R~R{S)~STQ R, S, S, S c R~S~S{STQ R, S, S, U c (R{S{U)~STQ R, S, S, W c (R{S)~W|STQ R, S, S, X c (R{X)~S{STQ R, S, T, Q c (R{T~Q)~STQ R, S, T, T c (R{T{T)~STQ R, S, T, U c (R{T)~U{STQ R, S, T, V c (R{T)~V|STQ R, S, T, W c R~S{T~WTQ R, S, T, X c R{S{T~XTQ R, S, U, S c (R{S{U)~STQ R, S, U, T c (R~U|T)~STQ R, S, V, Q c (R~Q{V)~STQ R, S, V, R c (R{S)~V{RTQ R, S, V, T c (R{T)~V|STQ R, S, V, W c (R~V|W)~STQ R, S, V, X c R~(V{X){STQ R, S, W, Q c (R{W{Q)~STQ R, S, W, R c (R{R)~W{STQ R, S, W, S c (R{S)~W|STQ R, S, W, T c R~S{W~TTQ R, S, W, V c R~W{S~VTQ R, S, W, W c (R{W)~S{WTQ R, S, W, X c S{W~(X|R)TQ R, S, X, P c (R{X{P)~STQ R, S, X, S c (R{X)~S{STQ R, S, X, T c R{S{X~TTQ R, S, X, V c R~(X{V){STQ R, S, X, W c S{(X|R)~WTQ R, T, P, W c (R{P)~(T{W)TQ R, T, Q, S c (R{T~Q)~STQ R, T, Q, V c R{(T{Q)~VTQ R, T, Q, W c (RQ{T)~WTQ R, T, Q, X c T~(Q{X)|RTQ R, T, R, V c R~T~R{VTQ R, T, R, W c (R{W)~T|RTQ R, T, S, Q c (R{T~Q)~STQ R, T, S, T c (R{T{T)~STQ R, T, S, U c (R{T)~U{STQ R, T, S, V c (R{T)~V|STQ R, T, S, W c R~T~S|WTQ R, T, S, X c R{T~X{STQ R, T, T, S c (R{T{T)~STQ R, T, T, U c T~(T{U)|RTQ R, T, T, X c R~X{T~TTQ R, T, U, S c (R{T)~U{STQ R, T, U, T c (T{U)~T|RTQ R, T, U, V c (R{U)~T{VTQ R, T, U, X c R{U~X|TTQ R, T, V, Q c R{(T{Q)~VTQ R, T, V, R c R~T~R{VTQ R, T, V, S c (R{T)~V|STQ R, T, V, U c (R{U)~T{VTQ R, T, V, W c (T{W)~(V|R)TQ R, T, W, P c (R{P)~(T{W)TQ R, T, W, Q c (RQ{T)~WTQ R, T, W, R c (R{W)~T|RTQ R, T, W, S c R~T~S|WTQ R, T, W, V c (T{W)~(V|R)TQ R, T, W, X c R{T~W{XTQ R, T, X, Q c T~(X{Q)|RTQ R, T, X, S c R{T~X{STQ R, T, X, T c R~X{T~TTQ R, T, X, U c R{X~U|TTQ R, T, X, W c R{T~W{XTQ R, U, P, V c R{(U{P)~VTQ R, U, P, W c R{U~W{PTQ R, U, P, X c U~X|R{PTQ R, U, Q, R c R~U~R|QTQ R, U, Q, U c (R{U)~U|QTQ R, U, Q, W c (R~U{W)~QTQ R, U, R, Q c R~U~R|QTQ R, U, S, S c (R{U{S)~STQ R, U, S, T c (R~U|T)~STQ R, U, T, S c (R~U|T)~STQ R, U, T, T c (U{T)~T|RTQ R, U, T, V c (R{U)~T{VTQ R, U, T, X c R{U~X|TTQ R, U, U, Q c (R{U)~U|QTQ R, U, U, W c (RU{U)~WTQ R, U, U, X c U~X|URTQ R, U, V, P c R{(U{P)~VTQ R, U, V, T c (R{U)~T{VTQ R, U, V, V c R{U~V{VTQ R, U, V, W c (R{V)~U|WTQ R, U, V, X c R~(U{X){VTQ R, U, W, P c R{U~W{PTQ R, U, W, Q c (R~U{W)~QTQ R, U, W, U c (RU{U)~WTQ R, U, W, V c (R{V)~U|WTQ R, U, X, P c U~X|R{PTQ R, U, X, T c R{U~X|TTQ R, U, X, U c U~X|URTQ R, U, X, V c R~(U{X){VTQ R, U, X, X c U~(X|RX)TQ R, V, O, V c R{(V{O)~VTQ R, V, P, U c R{V~(P{U)TQ R, V, P, V c R{V~P~VTQ R, V, P, W c R{V~(W|P)TQ R, V, Q, S c (R~Q{V)~STQ R, V, Q, T c R{V~(Q{T)TQ R, V, Q, W c (R{VQ)~WTQ R, V, Q, X c R{V~(X|Q)TQ R, V, R, S c (R{V{R)~STQ R, V, R, T c R~R~T{VTQ R, V, S, Q c (R~Q{V)~STQ R, V, S, R c R{V~(S{R)TQ R, V, S, T c (R{T)~V|STQ R, V, S, W c (R~V|W)~STQ R, V, S, X c R~(V{X){STQ R, V, T, Q c (R{V)~T{QTQ R, V, T, R c R~T~R{VTQ R, V, T, S c (R{T)~V|STQ R, V, T, U c (R{U)~T{VTQ R, V, T, W c (V|R)~(T{W)TQ R, V, U, P c R{V~(U{P)TQ R, V, U, T c (R{U)~T{VTQ R, V, U, V c R{V{U~VTQ R, V, U, W c (R{V)~U|WTQ R, V, U, X c R~(U{X){VTQ R, V, V, O c R{V~V{OTQ R, V, V, P c R{V~V~PTQ R, V, V, U c R{V{V~UTQ R, V, V, V c (RV{V)~VTQ R, V, V, W c R{V~W|VTQ R, V, V, X c V~V{XRTQ R, V, W, P c R{V~(W|P)TQ R, V, W, Q c (R{VQ)~WTQ R, V, W, S c (R~V|W)~STQ R, V, W, T c (V|R)~(W{T)TQ R, V, W, U c (R{V)~U|WTQ R, V, W, V c R{V~W|VTQ R, V, W, X c V{(W|R)~XTQ R, V, X, Q c R{V~(X|Q)TQ R, V, X, S c R~(V{X){STQ R, V, X, U c R~(X{U){VTQ R, V, X, V c V~V{XRTQ R, V, X, W c (V~X)|(R{W)TQ R, W, P, T c (R{P)~(W{T)TQ R, W, P, U c R{W~U{PTQ R, W, P, V c R{(W|P)~VTQ R, W, P, X c R~(W{X){PTQ R, W, Q, Q c (R~W{Q)~QTQ R, W, Q, S c (R{W{Q)~STQ R, W, Q, T c (RQ{T)~WTQ R, W, Q, U c (R~U{W)~QTQ R, W, Q, V c (R{VQ)~WTQ R, W, Q, W c (W|RQ)~WTQ R, W, R, S c (R{R)~W{STQ R, W, R, T c (R{W)~T|RTQ R, W, S, Q c (R{W{Q)~STQ R, W, S, R c (R{R)~W{STQ R, W, S, S c (R{S)~W|STQ R, W, S, T c R~S{W~TTQ R, W, S, V c R~W{S~VTQ R, W, S, W c (R{W)~S{WTQ R, W, S, X c W~(X|R){STQ R, W, T, P c (R{P)~(W{T)TQ R, W, T, Q c (RQ{T)~WTQ R, W, T, R c (R{W)~T|RTQ R, W, T, S c R~T~S|WTQ R, W, T, V c (W{T)~(V|R)TQ R, W, T, X c R{W~T{XTQ R, W, U, P c R{W~U{PTQ R, W, U, Q c (R~U{W)~QTQ R, W, U, U c (RU{U)~WTQ R, W, U, V c (R{V)~U|WTQ R, W, V, P c R{(W|P)~VTQ R, W, V, Q c (R{VQ)~WTQ R, W, V, S c R~W{V~STQ R, W, V, T c (W{T)~(V|R)TQ R, W, V, U c (R{V)~U|WTQ R, W, V, V c R{W~V|VTQ R, W, V, X c (W|R)~X{VTQ R, W, W, Q c (W|RQ)~WTQ R, W, W, S c R~(W{W){STQ R, W, W, X c (W~W)|(R{X)TQ R, W, X, P c R~(W{X){PTQ R, W, X, S c W~(X|R){STQ R, W, X, T c R{W~T{XTQ R, W, X, V c (W|R)~X{VTQ R, W, X, W c (W~W)|(R{X)TQ R, X, P, Q c (R~X|P)~QTQ R, X, P, S c (R{X{P)~STQ R, X, P, U c (X|PR)~UTQ R, X, P, W c R~(X{W){PTQ R, X, Q, P c (R~X|P)~QTQ R, X, Q, Q c R~X~Q|QTQ R, X, Q, R c (R{R)~X|QTQ R, X, Q, T c (X{Q)~T|RTQ R, X, Q, V c R{(X|Q)~VTQ R, X, Q, X c R~(X{X)|QTQ R, X, R, Q c (R{R)~X|QTQ R, X, S, P c (R{X{P)~STQ R, X, S, S c (R{X)~S{STQ R, X, S, T c R{X~T{STQ R, X, S, V c R~(X{V){STQ R, X, S, W c (X|R)~W{STQ R, X, T, Q c (X{Q)~T|RTQ R, X, T, S c R{X~T{STQ R, X, T, T c R~X{T~TTQ R, X, T, U c R{X~U|TTQ R, X, T, W c R{X{T~WTQ R, X, U, P c X~U|R{PTQ R, X, U, T c R{X~U|TTQ R, X, U, U c X~U|URTQ R, X, U, V c R~(X{U){VTQ R, X, U, X c (X|RX)~UTQ R, X, V, Q c R{(X|Q)~VTQ R, X, V, S c R~(X{V){STQ R, X, V, U c R~(X{U){VTQ R, X, V, V c XR{V~VTQ R, X, V, W c (X~V)|(R{W)TQ R, X, W, P c R~(X{W){PTQ R, X, W, S c (X|R)~W{STQ R, X, W, T c R{X{W~TTQ R, X, W, V c X~(W|R){VTQ R, X, W, W c (W~W)|(R{X)TQ R, X, X, Q c R~(X{X)|QTQ R, X, X, U c (X|RX)~UTQ S, O, S, X c (S{O)~(S{X)TQ S, O, T, W c (S{O)~(T{W)TQ S, O, U, V c (S{O)~(U{V)TQ S, O, U, W c S{O{U~WTQ S, O, V, U c (S{O)~(V{U)TQ S, O, V, W c O{V~W|STQ S, O, W, T c (S{O)~(W{T)TQ S, O, W, U c S{O{W~UTQ S, O, W, V c O{W~V|STQ S, O, X, S c (S{O{X)~STQ S, P, Q, U c S~(P{Q~U)TQ S, P, Q, V c S~(Q~V|P)TQ S, P, R, S c S~(P{R~S)TQ S, P, R, X c S~(P{R{X)TQ S, P, S, R c S~(P{S~R)TQ S, P, S, W c S~(P{S{W)TQ S, P, S, X c (S~P)~(S{X)TQ S, P, T, V c S~(P{T{V)TQ S, P, T, W c S{(P{T)~WTQ S, P, T, X c S~(T|P{X)TQ S, P, U, Q c S~(P{U~Q)TQ S, P, U, U c S~(P{U{U)TQ S, P, U, V c (S~P)~(U{V)TQ S, P, U, W c S{P~U~WTQ S, P, U, X c S{U~(X|P)TQ S, P, V, Q c S~(V~Q|P)TQ S, P, V, T c S~(P{V{T)TQ S, P, V, U c S{(P{V)~UTQ S, P, V, V c S|P{V~VTQ S, P, V, W c S{(V|P)~WTQ S, P, V, X c (S{P)~X{VTQ S, P, W, S c (S{P{W)~STQ S, P, W, T c (S~P)~(W{T)TQ S, P, W, U c S{P~W~UTQ S, P, W, V c S{W~(V|P)TQ S, P, W, W c (W|P)~W|STQ S, P, X, R c S~(P{X{R)TQ S, P, X, S c (S{P~X)~STQ S, P, X, T c S~(X|P{T)TQ S, P, X, U c S{(X|P)~UTQ S, P, X, V c (S{P)~X{VTQ S, Q, P, U c S~(Q~U{P)TQ S, Q, P, V c S~(Q~V|P)TQ S, Q, Q, U c (S~U{Q)~QTQ S, Q, Q, V c (S~V|Q)~QTQ S, Q, Q, X c S~(Q{Q{X)TQ S, Q, R, T c S~(Q~T{R)TQ S, Q, R, V c S~(Q~R{V)TQ S, Q, R, W c S{Q~R~WTQ S, Q, S, T c S~(Q~S{T)TQ S, Q, S, U c S{Q~S~UTQ S, Q, S, V c S~(Q{S{V)TQ S, Q, S, W c S{(Q{S)~WTQ S, Q, T, R c S~(Q~T{R)TQ S, Q, T, S c (S~Q{T)~STQ S, Q, T, U c S~(Q{T{U)TQ S, Q, T, W c (S{TQ)~WTQ S, Q, T, X c S~(Q~X|T)TQ S, Q, U, P c S~(Q~U{P)TQ S, Q, U, Q c (S~U{Q)~QTQ S, Q, U, S c S{Q~U~STQ S, Q, U, T c S~(Q{U{T)TQ S, Q, U, U c S{(Q{U)~UTQ S, Q, U, V c (Q{U)~V|STQ S, Q, U, W c (S~W|U)~QTQ S, Q, U, X c S~(U|Q{X)TQ S, Q, V, P c S~(Q~V|P)TQ S, Q, V, Q c (S~V|Q)~QTQ S, Q, V, R c S~(Q~R{V)TQ S, Q, V, S c (S{Q{V)~STQ S, Q, V, U c (Q{U)~V|STQ S, Q, V, W c S~(V|Q{W)TQ S, Q, W, R c S{Q~W~RTQ S, Q, W, S c (S{Q)~W{STQ S, Q, W, T c (S{TQ)~WTQ S, Q, W, U c (S~W|U)~QTQ S, Q, W, V c S~(W|Q{V)TQ S, Q, W, W c S{(W|Q)~WTQ S, Q, W, X c S~(Q{X){WTQ S, Q, X, Q c (S{Q)~X|QTQ S, Q, X, T c S~(Q~X|T)TQ S, Q, X, U c S~(X|Q{U)TQ S, Q, X, W c S~(Q{X){WTQ S, R, P, S c (S~R{P)~STQ S, R, P, X c S~(R{P{X)TQ S, R, Q, T c S~(R{Q~T)TQ S, R, Q, V c S~(R~Q{V)TQ S, R, Q, W c S{R~Q~WTQ S, R, R, S c (S{R~R)~STQ S, R, R, V c S~(R{R{V)TQ S, R, R, W c S{(R{R)~WTQ S, R, S, P c S~(R~S{P)TQ S, R, S, R c (S{R~R)~STQ S, R, S, S c S{R~S~STQ S, R, S, U c S~(R{S{U)TQ S, R, S, W c (S{R)~W|STQ S, R, S, X c S{(R{X)~STQ S, R, T, Q c S~(R{T~Q)TQ S, R, T, T c S~(R{T{T)TQ S, R, T, U c S{(R{T)~UTQ S, R, T, V c (S{V)~T|RTQ S, R, T, W c S~R{T~WTQ S, R, T, X c S{R{T~XTQ S, R, U, S c (S{R{U)~STQ S, R, U, T c S~(R~U|T)TQ S, R, V, Q c S~(R~Q{V)TQ S, R, V, R c (S{R)~V{RTQ S, R, V, T c (S{V)~T|RTQ S, R, V, W c S~(R~V|W)TQ S, R, V, X c S{R~(V{X)TQ S, R, W, Q c S{R~W~QTQ S, R, W, R c S{(R{R)~WTQ S, R, W, S c (S{R)~W|STQ S, R, W, T c S~R{W~TTQ S, R, W, V c S~(R~V|W)TQ S, R, W, W c S{R~(W{W)TQ S, R, W, X c S{W~(X|R)TQ S, R, X, P c S~(R{X{P)TQ S, R, X, S c S{(R{X)~STQ S, R, X, T c S{R{X~TTQ S, R, X, V c S{R~(X{V)TQ S, R, X, W c S{(X|R)~WTQ S, S, O, X c S~(S{O{X)TQ S, S, P, R c S~(S~R{P)TQ S, S, P, W c S~(S{P{W)TQ S, S, P, X c S~(S{P~X)TQ S, S, Q, T c S~(S~Q{T)TQ S, S, Q, U c S{S~Q~UTQ S, S, Q, V c S~(S{Q{V)TQ S, S, Q, W c S{(S{Q)~WTQ S, S, R, P c S~(S~R{P)TQ S, S, R, R c S~(S{R~R)TQ S, S, R, S c S{S~R~STQ S, S, R, U c S~(S{R{U)TQ S, S, R, W c (S{R)~W|STQ S, S, R, X c S{S~(R{X)TQ S, S, S, R c S{S~S~RTQ S, S, S, T c S~(S{S{T)TQ S, S, S, U c S{(S{S)~UTQ S, S, S, V c (S{S)~V|STQ S, S, S, W c S{S~(S{W)TQ S, S, S, X c S~S{S~XTQ S, S, T, Q c S~(S~Q{T)TQ S, S, T, S c (S{S{T)~STQ S, S, T, V c S{S~(T{V)TQ S, S, T, W c S~T{S~WTQ S, S, T, X c S~(T{X)|STQ S, S, U, Q c S{S~U~QTQ S, S, U, R c S~(S{U{R)TQ S, S, U, S c (S{S)~U{STQ S, S, U, U c S{S~(U{U)TQ S, S, U, V c S~U{S~VTQ S, S, U, W c S~(U{W)|STQ S, S, V, Q c S~(S{V{Q)TQ S, S, V, S c (S{S)~V|STQ S, S, V, T c S{S~(V{T)TQ S, S, V, U c S~V{S~UTQ S, S, V, V c S~(V{V)|STQ S, S, V, W c S~(S{V){WTQ S, S, W, P c S~(S{W{P)TQ S, S, W, Q c S{(S{Q)~WTQ S, S, W, R c (S{R)~W|STQ S, S, W, S c S{(S{W)~STQ S, S, W, T c S~W{S~TTQ S, S, W, U c S~(W{U)|STQ S, S, W, V c S~(S{V){WTQ S, S, W, X c S~(W|S{X)TQ S, S, X, O c S~(S{X){OTQ S, S, X, P c S~(S{X)~PTQ S, S, X, R c S{S~(X{R)TQ S, S, X, S c S~S{X~STQ S, S, X, T c S~(X{T)|STQ S, S, X, W c S~(X|S{W)TQ S, T, O, W c S~(T{O{W)TQ S, T, P, V c S~(T{P{V)TQ S, T, P, W c S{(T{P)~WTQ S, T, P, X c S~(T|P{X)TQ S, T, Q, R c S~(T~Q{R)TQ S, T, Q, S c S~(T{Q~S)TQ S, T, Q, U c S~(T{Q{U)TQ S, T, Q, W c (S{TQ)~WTQ S, T, Q, X c S~(Q~X|T)TQ S, T, R, Q c S~(T~R|Q)TQ S, T, R, T c S~(T{R{T)TQ S, T, R, U c S{(T{R)~UTQ S, T, R, V c (S{V)~T|RTQ S, T, R, W c S~T~R|WTQ S, T, R, X c S{T~X{RTQ S, T, S, Q c S~(T{S~Q)TQ S, T, S, S c (S{T{S)~STQ S, T, S, V c S~(T~S|V)TQ S, T, S, W c S~T{S~WTQ S, T, S, X c S~(T{X)|STQ S, T, T, R c S~(T{T{R)TQ S, T, T, V c (S{T)~T{VTQ S, T, U, Q c (S{T)~U|QTQ S, T, U, R c S{(T{R)~UTQ S, T, U, W c S~(T{U){WTQ S, T, V, P c S~(T{V{P)TQ S, T, V, R c (S{V)~T|RTQ S, T, V, S c S{(T{V)~STQ S, T, V, T c (S{T)~T{VTQ S, T, W, O c S~(T{W){OTQ S, T, W, P c S~(T{W)~PTQ S, T, W, Q c (S{TQ)~WTQ S, T, W, R c S~T~R|WTQ S, T, W, S c S~T{W~STQ S, T, W, U c S~(T{U){WTQ S, T, W, W c S{T~W{WTQ S, T, W, X c W~X|S~TTQ S, T, X, P c S~(T{X|P)TQ S, T, X, Q c S~(X~Q|T)TQ S, T, X, R c S{T~X{RTQ S, T, X, S c S~(T{X)|STQ S, T, X, W c X~W|S~TTQ S, T, X, X c S~(X|T{X)TQ S, U, O, V c S~(U{O{V)TQ S, U, O, W c S{(U{O)~WTQ S, U, P, Q c S~(U~Q{P)TQ S, U, P, U c S~(U{P{U)TQ S, U, P, V c S{U~(P{V)TQ S, U, P, W c S{U~P~WTQ S, U, P, X c S{U~(X|P)TQ S, U, Q, P c S~(U~Q{P)TQ S, U, Q, Q c (S~U{Q)~QTQ S, U, Q, S c S{U~Q~STQ S, U, Q, T c S~(U{Q{T)TQ S, U, Q, U c S{(U{Q)~UTQ S, U, Q, V c (U{Q)~V|STQ S, U, Q, W c (S~W|U)~QTQ S, U, Q, X c S~(U|Q{X)TQ S, U, R, S c (S{U{R)~STQ S, U, R, T c S{U~(R{T)TQ S, U, S, Q c S{U~S~QTQ S, U, S, R c S~(U{S{R)TQ S, U, S, S c S{U~(S{S)TQ S, U, S, U c S{(U{U)~STQ S, U, S, V c S~U{S~VTQ S, U, S, W c S~(U{W)|STQ S, U, T, Q c (S{U)~T{QTQ S, U, T, R c S{U~(T{R)TQ S, U, T, W c S~(U{T){WTQ S, U, U, P c S~(U{U{P)TQ S, U, U, Q c S{U~(U{Q)TQ S, U, U, S c S{(U{U)~STQ S, U, U, V c S{U{U~VTQ S, U, U, W c (S{U)~U|WTQ S, U, U, X c S{U~X|UTQ S, U, V, O c S~(U{V){OTQ S, U, V, P c S{U~(V{P)TQ S, U, V, Q c (U{Q)~V|STQ S, U, V, S c S~U{V~STQ S, U, V, U c S{U{V~UTQ S, U, V, W c (U{V)~(W|S)TQ S, U, W, O c S{U~W{OTQ S, U, W, P c S{U~W~PTQ S, U, W, Q c (S~W|U)~QTQ S, U, W, S c S~(U{W)|STQ S, U, W, T c S~(U{T){WTQ S, U, W, U c (SU{W)~UTQ S, U, W, V c (U{V)~(W|S)TQ S, U, W, W c (SW{U)~WTQ S, U, W, X c S~(U{X)|WTQ S, U, X, P c S{U~(X|P)TQ S, U, X, Q c S~(U{X|Q)TQ S, U, X, U c S{U~X|UTQ S, U, X, W c S~(U{X)|WTQ S, V, O, U c S~(V{O{U)TQ S, V, O, W c (V{O)~W|STQ S, V, P, Q c S~(V~Q|P)TQ S, V, P, T c S~(V{P{T)TQ S, V, P, U c S{(V{P)~UTQ S, V, P, V c S~(V|P{V)TQ S, V, P, W c S{(V|P)~WTQ S, V, P, X c (S{P)~X{VTQ S, V, Q, P c S~(V~Q|P)TQ S, V, Q, Q c (S~V|Q)~QTQ S, V, Q, R c S~(V{Q~R)TQ S, V, Q, S c (S{V{Q)~STQ S, V, Q, U c V~(Q{U)|STQ S, V, Q, W c S~(V|Q{W)TQ S, V, R, Q c S~(V{R~Q)TQ S, V, R, R c S~(V{R{R)TQ S, V, R, T c (S{V)~T|RTQ S, V, R, W c S~V{R~WTQ S, V, R, X c S~(V|R{X)TQ S, V, S, Q c S~(V{S{Q)TQ S, V, S, S c (S{S)~V|STQ S, V, S, T c S{(V{T)~STQ S, V, S, U c S~V{S~UTQ S, V, S, V c S~(V{V)|STQ S, V, S, W c (S{V)~S{WTQ S, V, T, P c S~(V{T{P)TQ S, V, T, R c (S{V)~T|RTQ S, V, T, S c S{(V{T)~STQ S, V, T, T c (S{T)~T{VTQ S, V, U, O c S~(V{U){OTQ S, V, U, P c S~(V{U)~PTQ S, V, U, Q c V~(U{Q)|STQ S, V, U, S c S~V{U~STQ S, V, U, U c S{V~U{UTQ S, V, U, W c (V{U)~(W|S)TQ S, V, V, P c S{V~V|PTQ S, V, V, S c S~(V{V)|STQ S, V, V, V c V|S{V~VTQ S, V, V, W c V~(W|SV)TQ S, V, V, X c (V~X)|(S{V)TQ S, V, W, O c V~W|S{OTQ S, V, W, P c S{(V|P)~WTQ S, V, W, Q c S~(V{W|Q)TQ S, V, W, R c S~V{W~RTQ S, V, W, S c (S{V)~S{WTQ S, V, W, U c (V{U)~(W|S)TQ S, V, W, V c V~(W|SV)TQ S, V, W, W c S{V~W|WTQ S, V, X, P c (S{P)~X{VTQ S, V, X, R c S{(V{X)~RTQ S, V, X, V c (V~X)|(S{V)TQ S, V, X, X c S~X{V{XTQ S, W, O, T c S~(W{O{T)TQ S, W, O, U c S{(W{O)~UTQ S, W, O, V c (W{O)~V|STQ S, W, P, S c (S{W{P)~STQ S, W, P, T c S{W~(P{T)TQ S, W, P, U c S{W~P~UTQ S, W, P, V c S{W~(V|P)TQ S, W, P, W c (W|P)~W|STQ S, W, Q, R c S{W~Q~RTQ S, W, Q, S c S{W~(Q{S)TQ S, W, Q, T c (S{TQ)~WTQ S, W, Q, U c (S~W|U)~QTQ S, W, Q, V c S~(W|Q{V)TQ S, W, Q, W c S{(W|Q)~WTQ S, W, Q, X c S~(WQ{X)TQ S, W, R, Q c S{W~R~QTQ S, W, R, R c S{W~(R{R)TQ S, W, R, S c (S{R)~W|STQ S, W, R, T c S~R{W~TTQ S, W, R, V c S~(R~V|W)TQ S, W, R, W c S~(W{R){WTQ S, W, R, X c S{W~(X|R)TQ S, W, S, P c S~(W{S{P)TQ S, W, S, Q c S{W~(S{Q)TQ S, W, S, R c (S{R)~W|STQ S, W, S, S c S{(W{S)~STQ S, W, S, T c S~W{S~TTQ S, W, S, U c S~(W{U)|STQ S, W, S, V c S~(S{V){WTQ S, W, S, X c S~(W|S{X)TQ S, W, T, O c S~(W{T){OTQ S, W, T, P c S{W~(T{P)TQ S, W, T, Q c (S{TQ)~WTQ S, W, T, R c S~T~R|WTQ S, W, T, S c S~W{T~STQ S, W, T, U c S~(T{U){WTQ S, W, T, W c S{W{T~WTQ S, W, T, X c W~X|S~TTQ S, W, U, O c S{W~U{OTQ S, W, U, P c S{W~U~PTQ S, W, U, Q c (S~W|U)~QTQ S, W, U, S c S~(W{U)|STQ S, W, U, T c S~(U{T){WTQ S, W, U, U c (SU{W)~UTQ S, W, U, V c (W|S)~(U{V)TQ S, W, U, W c (SW{U)~WTQ S, W, U, X c S~(U{X)|WTQ S, W, V, O c W~V|S{OTQ S, W, V, P c S{W~(V|P)TQ S, W, V, Q c S~(W{V|Q)TQ S, W, V, R c S~V{W~RTQ S, W, V, S c (S{V)~S{WTQ S, W, V, U c (W|S)~(V{U)TQ S, W, V, V c (W|SV)~VTQ S, W, V, W c S{W~V|WTQ S, W, W, P c W~(W|P)|STQ S, W, W, Q c S{W~(W|Q)TQ S, W, W, R c S{(W{W)~RTQ S, W, W, T c S{W{W~TTQ S, W, W, U c (SW{U)~WTQ S, W, W, V c S{W~V|WTQ S, W, W, W c (W~W)|(S{W)TQ S, W, W, X c S~X{W{WTQ S, W, X, Q c S~(WQ{X)TQ S, W, X, R c S{W~(X|R)TQ S, W, X, S c S~(W{X|S)TQ S, W, X, T c W~X|S~TTQ S, W, X, U c S~(X{U)|WTQ S, W, X, W c S~X{W{WTQ S, X, O, S c (S{X{O)~STQ S, X, P, R c (S{X)~(P{R)TQ S, X, P, S c (S{X)~(P~S)TQ S, X, P, T c S~(X|P{T)TQ S, X, P, U c S{(X|P)~UTQ S, X, P, V c (S{P)~X{VTQ S, X, Q, Q c (S{X)~(Q{Q)TQ S, X, Q, T c S~(X~Q|T)TQ S, X, Q, U c S~(X|Q{U)TQ S, X, Q, W c (S{X)Q~WTQ S, X, R, P c (S{X)~(R{P)TQ S, X, R, S c S{(X{R)~STQ S, X, R, T c S{X~T{RTQ S, X, R, V c S~(X|R{V)TQ S, X, R, W c S{(X|R)~WTQ S, X, S, O c (S{X)~(S{O)TQ S, X, S, P c (S{X)~(S~P)TQ S, X, S, R c S{(X{R)~STQ S, X, S, S c S~X{S~STQ S, X, S, T c S~(X{T)|STQ S, X, S, W c S~(X|S{W)TQ S, X, T, P c (S{X)~(T|P)TQ S, X, T, Q c S~(X~Q|T)TQ S, X, T, R c S{X~T{RTQ S, X, T, S c S~(X{T)|STQ S, X, T, W c X~W|S~TTQ S, X, T, X c S~(X|T{X)TQ S, X, U, P c S{(X|P)~UTQ S, X, U, Q c (S{X)~(U|Q)TQ S, X, U, U c S{X~U|UTQ S, X, U, W c S~(X{U)|WTQ S, X, V, P c (S{P)~X{VTQ S, X, V, R c S{(X{V)~RTQ S, X, V, V c (X~V)|(S{V)TQ S, X, V, X c S~X{V{XTQ S, X, W, Q c (S{X)~(WQ)TQ S, X, W, R c S{(X|R)~WTQ S, X, W, S c (S{X)~(W|S)TQ S, X, W, T c X~W|S~TTQ S, X, W, U c S~(X{U)|WTQ S, X, W, W c S~X{W{WTQ S, X, X, T c (S{X)~(X|T)TQ S, X, X, V c S~X{X{VTQ T, O, S, W c (T{O{W)~STQ T, O, V, X c (T{O)~X{VTQ T, O, W, S c (T{O{W)~STQ T, O, X, V c (T{O)~X{VTQ T, P, Q, T c (T~T{P)~QTQ T, P, Q, X c (T{P)~X|QTQ T, P, R, W c (T{W)~(P{R)TQ T, P, S, V c (T{P{V)~STQ T, P, S, W c (T{P)~W{STQ T, P, S, X c (T|P)~(S{X)TQ T, P, T, Q c (T~T{P)~QTQ T, P, T, W c (T|P)~(T{W)TQ T, P, U, V c (T|P)~(U{V)TQ T, P, U, W c T|P{U~WTQ T, P, U, X c T~X{P{UTQ T, P, V, S c (T{P{V)~STQ T, P, V, U c (T|P)~(V{U)TQ T, P, V, W c T~(P{W){VTQ T, P, V, X c T~P~X{VTQ T, P, W, R c (T{W)~(P{R)TQ T, P, W, S c (T{P)~W{STQ T, P, W, T c (T|P)~(W{T)TQ T, P, W, U c T|P{W~UTQ T, P, W, V c T~(P{W){VTQ T, P, W, X c T~X|P{WTQ T, P, X, Q c (T{P)~X|QTQ T, P, X, S c (T|P{X)~STQ T, P, X, U c T~X{P{UTQ T, P, X, V c T~P~X{VTQ T, P, X, W c T~X|P{WTQ T, Q, P, T c (T~T{P)~QTQ T, Q, P, X c (T{P)~X|QTQ T, Q, Q, T c T~Q~T{QTQ T, Q, Q, W c T~(Q{W){QTQ T, Q, R, S c (T~Q{R)~STQ T, Q, R, V c (T{Q)~V{RTQ T, Q, R, W c (T{RQ)~WTQ T, Q, R, X c T~(Q{X)|RTQ T, Q, S, R c (T~Q{R)~STQ T, Q, S, S c (T{Q~S)~STQ T, Q, S, U c (T{Q{U)~STQ T, Q, S, W c (TQ{S)~WTQ T, Q, S, X c (Q~X|T)~STQ T, Q, T, P c (T~T{P)~QTQ T, Q, T, Q c T~Q~T{QTQ T, Q, T, T c (T{T)~T{QTQ T, Q, T, X c T{Q{T~XTQ T, Q, U, S c (T{Q{U)~STQ T, Q, U, V c T~Q{U~VTQ T, Q, U, W c T~Q~U|WTQ T, Q, V, R c (T{Q)~V{RTQ T, Q, V, U c T~Q{V~UTQ T, Q, V, V c T|Q{V~VTQ T, Q, V, X c (T~V|X)~QTQ T, Q, W, Q c T~(Q{W){QTQ T, Q, W, R c (T{RQ)~WTQ T, Q, W, S c (T{Q)~W|STQ T, Q, W, U c T~Q~U|WTQ T, Q, W, W c (T{W)Q~WTQ T, Q, W, X c W~(X|TQ)TQ T, Q, X, P c T~(X{P){QTQ T, Q, X, R c T~(Q{X)|RTQ T, Q, X, S c (Q~X|T)~STQ T, Q, X, T c T{Q{X~TTQ T, Q, X, V c (T~V|X)~QTQ T, Q, X, W c (X|TQ)~WTQ T, Q, X, X c T~X|Q{XTQ T, R, P, W c (T{W)~(R{P)TQ T, R, Q, S c (T~R|Q)~STQ T, R, Q, V c (T{R~V)~QTQ T, R, Q, W c (T{RQ)~WTQ T, R, Q, X c T~(Q{X)|RTQ T, R, R, V c T~R~R{VTQ T, R, R, W c T~(R{W)|RTQ T, R, S, Q c (T~R|Q)~STQ T, R, S, T c (T{R{T)~STQ T, R, S, U c (T{R)~U{STQ T, R, S, V c (T{R)~V|STQ T, R, S, W c T~R~S|WTQ T, R, S, X c T~X{R{STQ T, R, T, S c (T{R{T)~STQ T, R, T, U c T~(T{U)|RTQ T, R, T, X c T~T{R~XTQ T, R, U, S c (T{R)~U{STQ T, R, U, T c (T{U)~T|RTQ T, R, U, V c T~(R{U){VTQ T, R, U, X c R{U~X|TTQ T, R, V, Q c (T{R~V)~QTQ T, R, V, R c T~R~R{VTQ T, R, V, S c (T{R)~V|STQ T, R, V, U c (TR{V)~UTQ T, R, V, W c (T{W)~(V|R)TQ T, R, W, P c (T{W)~(R{P)TQ T, R, W, Q c (T{RQ)~WTQ T, R, W, R c T~(R{W)|RTQ T, R, W, S c T~R~S|WTQ T, R, W, V c (T{W)~(V|R)TQ T, R, W, X c T~(R{X)|WTQ T, R, X, Q c T~(X{Q)|RTQ T, R, X, S c T~X{R{STQ T, R, X, T c T~T{R~XTQ T, R, X, U c R{X~U|TTQ T, R, X, W c T~(R{X)|WTQ T, S, O, W c (T{O{W)~STQ T, S, P, V c (T{P{V)~STQ T, S, P, W c (T{P)~W{STQ T, S, P, X c (T|P)~(S{X)TQ T, S, Q, R c (T~Q{R)~STQ T, S, Q, S c (T{S~Q)~STQ T, S, Q, U c (T{S)~U|QTQ T, S, Q, W c (TQ{S)~WTQ T, S, Q, X c S~(Q~X|T)TQ T, S, R, Q c (T~R|Q)~STQ T, S, R, T c (T{R{T)~STQ T, S, R, U c (T{R)~U{STQ T, S, R, V c T~(S{V)|RTQ T, S, R, W c T~S~R|WTQ T, S, R, X c T~X{S{RTQ T, S, S, Q c (T{S~Q)~STQ T, S, S, S c (T{S{S)~STQ T, S, S, V c (T~S|V)~STQ T, S, S, W c T~S{S~WTQ T, S, S, X c (T{X)~S|STQ T, S, T, R c (T{T{R)~STQ T, S, T, V c (T{S)~T{VTQ T, S, U, Q c (T{S)~U|QTQ T, S, U, R c (T{R)~U{STQ T, S, U, W c (T{U)~S{WTQ T, S, V, P c (T{V{P)~STQ T, S, V, R c T~(S{V)|RTQ T, S, V, S c (T~S|V)~STQ T, S, V, T c (T{S)~T{VTQ T, S, W, O c (T{W)~(S{O)TQ T, S, W, P c (T{W)~(S~P)TQ T, S, W, Q c (TQ{S)~WTQ T, S, W, R c T~S~R|WTQ T, S, W, S c T~S{W~STQ T, S, W, U c (T{U)~S{WTQ T, S, W, W c T~(S{W)|WTQ T, S, W, X c W~X|T~STQ T, S, X, P c (T{X|P)~STQ T, S, X, Q c S~(X~Q|T)TQ T, S, X, R c T~X{S{RTQ T, S, X, S c (T{X)~S|STQ T, S, X, W c X~W|T~STQ T, S, X, X c S~(X|T{X)TQ T, T, P, Q c (T~T{P)~QTQ T, T, P, W c (T|P)~(T{W)TQ T, T, Q, P c (T~T{P)~QTQ T, T, Q, Q c T~T~Q{QTQ T, T, Q, T c (T{T)~T{QTQ T, T, Q, X c T{T~X{QTQ T, T, R, S c (T{T{R)~STQ T, T, R, U c T~(T{U)|RTQ T, T, R, X c T~T{R~XTQ T, T, S, R c (T{T{R)~STQ T, T, S, V c T~(T{S){VTQ T, T, T, Q c (T{T)~T{QTQ T, T, U, R c T~(T{U)|RTQ T, T, U, V c T{T{U~VTQ T, T, U, W c (T{T)~U|WTQ T, T, V, S c T~(T{S){VTQ T, T, V, U c T{T{V~UTQ T, T, V, W c T~(T{V)|WTQ T, T, V, X c T~(VT{X)TQ T, T, W, P c (T{W)~(T|P)TQ T, T, W, U c (T{T)~U|WTQ T, T, W, V c T{T~W{VTQ T, T, W, X c (T{W)~(X|T)TQ T, T, X, Q c T{T~X{QTQ T, T, X, R c T~T{X~RTQ T, T, X, V c T~(X{VT)TQ T, T, X, W c (T{W)~(X|T)TQ T, U, P, V c (T|P)~(U{V)TQ T, U, P, W c T{U~W|PTQ T, U, P, X c T~X{U{PTQ T, U, Q, S c (T{U{Q)~STQ T, U, Q, V c T~Q{U~VTQ T, U, Q, W c T~U~Q|WTQ T, U, R, S c (T{R)~U{STQ T, U, R, T c (T{U)~T|RTQ T, U, R, V c T~(U{R){VTQ T, U, R, X c U~X|T{RTQ T, U, S, Q c T~(U{S){QTQ T, U, S, R c (T{R)~U{STQ T, U, S, W c (T{U)~S{WTQ T, U, T, R c (T{U)~T|RTQ T, U, T, V c T{U~V{TTQ T, U, T, W c (T{T)~U|WTQ T, U, U, W c T~(U{U)|WTQ T, U, V, P c (T|P)~(U{V)TQ T, U, V, Q c T~Q{U~VTQ T, U, V, R c T~(U{R){VTQ T, U, V, T c T{U~V{TTQ T, U, V, X c T{U~X|VTQ T, U, W, P c T{U~W|PTQ T, U, W, Q c T~U~Q|WTQ T, U, W, S c (T{U)~S{WTQ T, U, W, T c (T{T)~U|WTQ T, U, W, U c T~(U{U)|WTQ T, U, W, X c (T{XU)~WTQ T, U, X, P c T~X{U{PTQ T, U, X, R c U~X|T{RTQ T, U, X, V c T{U~X|VTQ T, U, X, W c (T{XU)~WTQ T, V, O, X c (T{O)~X{VTQ T, V, P, S c (T{V{P)~STQ T, V, P, U c (T|P)~(V{U)TQ T, V, P, W c T~(P{W){VTQ T, V, P, X c T~P~X{VTQ T, V, Q, R c (T{V~R)~QTQ T, V, Q, U c T~Q{V~UTQ T, V, Q, V c T~(V{Q){VTQ T, V, Q, X c (T~V|X)~QTQ T, V, R, Q c (T{V~R)~QTQ T, V, R, R c T~R~R{VTQ T, V, R, S c T~(V{S)|RTQ T, V, R, U c (TR{V)~UTQ T, V, R, W c (T{W)~(V|R)TQ T, V, S, P c (T{V{P)~STQ T, V, S, R c T~(V{S)|RTQ T, V, S, S c (T{V)~S{STQ T, V, S, T c (T{S)~T{VTQ T, V, T, S c T~(T{S){VTQ T, V, T, U c T{V~U{TTQ T, V, T, W c T{V{T~WTQ T, V, T, X c T~(VT{X)TQ T, V, U, P c (T|P)~(V{U)TQ T, V, U, Q c T~Q{V~UTQ T, V, U, R c T~(U{R){VTQ T, V, U, T c T{V~U{TTQ T, V, U, X c T{U~X|VTQ T, V, V, Q c T{V~V|QTQ T, V, V, W c V~V|T{WTQ T, V, W, P c T~(W{P){VTQ T, V, W, R c (T{W)~(V|R)TQ T, V, W, T c T{V{W~TTQ T, V, W, V c V~V|T{WTQ T, V, W, W c (W~W)|(T{V)TQ T, V, W, X c T{V~W|XTQ T, V, X, O c T~X{V{OTQ T, V, X, P c T~X{V~PTQ T, V, X, Q c (T~V|X)~QTQ T, V, X, T c T~(VT{X)TQ T, V, X, U c T{X~U|VTQ T, V, X, W c T~V{X{WTQ T, V, X, X c (T{VX)~XTQ T, W, O, S c (T{W{O)~STQ T, W, P, R c (T{W)~(P{R)TQ T, W, P, S c (T{W)~(P~S)TQ T, W, P, T c (T{W)~(T|P)TQ T, W, P, U c T{W~U|PTQ T, W, P, V c T~(W{P){VTQ T, W, P, X c T~X{W|PTQ T, W, Q, Q c (T{W)~(Q{Q)TQ T, W, Q, R c (T{RQ)~WTQ T, W, Q, S c (T{Q)~W|STQ T, W, Q, U c T~W{Q~UTQ T, W, Q, W c (T{W)Q~WTQ T, W, Q, X c W~(X|TQ)TQ T, W, R, P c (T{W)~(R{P)TQ T, W, R, Q c (T{RQ)~WTQ T, W, R, R c T~(W{R)|RTQ T, W, R, S c T~W{R~STQ T, W, R, V c (T{W)~(V|R)TQ T, W, R, X c T~W{R{XTQ T, W, S, O c (T{W)~(S{O)TQ T, W, S, P c (T{W)~(S~P)TQ T, W, S, Q c (T{Q)~W|STQ T, W, S, R c T~W{S~RTQ T, W, S, S c T~S{W~STQ T, W, S, U c (T{U)~S{WTQ T, W, S, W c T~W{S{WTQ T, W, S, X c W~X|T~STQ T, W, T, P c (T{W)~(T|P)TQ T, W, T, U c (T{T)~U|WTQ T, W, T, V c T{W~T{VTQ T, W, T, X c (T{W)~(X|T)TQ T, W, U, P c T{W~U|PTQ T, W, U, Q c (T{W)~(U|Q)TQ T, W, U, S c (T{U)~S{WTQ T, W, U, T c (T{T)~U|WTQ T, W, U, U c T~W{U{UTQ T, W, U, X c (T{XU)~WTQ T, W, V, P c T~(W{P){VTQ T, W, V, R c (T{W)~(V|R)TQ T, W, V, T c T~W{V{TTQ T, W, V, V c W|T{V~VTQ T, W, V, W c (W~W)|(T{V)TQ T, W, V, X c T{W~V|XTQ T, W, W, Q c (T{W)~(WQ)TQ T, W, W, S c (T{W)~(W|S)TQ T, W, W, V c (W~W)|(T{V)TQ T, W, X, P c T~X{W|PTQ T, W, X, Q c W~(X|TQ)TQ T, W, X, R c T~W{X{RTQ T, W, X, S c W~X|T~STQ T, W, X, T c (T{W)~(X|T)TQ T, W, X, U c (T{XU)~WTQ T, W, X, V c T{W~V|XTQ T, X, O, V c T~X{O{VTQ T, X, P, Q c T~(X{P){QTQ T, X, P, S c (T{X|P)~STQ T, X, P, U c T~X{P{UTQ T, X, P, V c T~X{P~VTQ T, X, P, W c T~X|P{WTQ T, X, Q, P c T~(X{P){QTQ T, X, Q, R c T~(X{Q)|RTQ T, X, Q, S c (X~Q|T)~STQ T, X, Q, T c T~X{Q{TTQ T, X, Q, V c (T~V|X)~QTQ T, X, Q, W c (X|TQ)~WTQ T, X, Q, X c T~X|Q{XTQ T, X, R, Q c T~(X{Q)|RTQ T, X, R, S c T~X{R{STQ T, X, R, T c T~T{X~RTQ T, X, R, U c X~U|T{RTQ T, X, R, W c T~(X{R)|WTQ T, X, S, P c (T{X|P)~STQ T, X, S, Q c (X~Q|T)~STQ T, X, S, R c T~X{S{RTQ T, X, S, S c (T{X)~S|STQ T, X, S, W c X~W|T~STQ T, X, S, X c (X|T)~(S{X)TQ T, X, T, Q c T{X~T{QTQ T, X, T, R c T~T{X~RTQ T, X, T, V c T~(X{VT)TQ T, X, T, W c (T{W)~(X|T)TQ T, X, U, P c T~X{U{PTQ T, X, U, R c X~U|T{RTQ T, X, U, V c T{X~U|VTQ T, X, U, W c (T{XU)~WTQ T, X, V, O c T~X{V{OTQ T, X, V, P c T~X{V~PTQ T, X, V, Q c (T~V|X)~QTQ T, X, V, T c T~(X{VT)TQ T, X, V, U c T{X~U|VTQ T, X, V, W c T~V{X{WTQ T, X, V, X c (T{VX)~XTQ T, X, W, P c T~X{W|PTQ T, X, W, Q c (X|TQ)~WTQ T, X, W, R c T~(X{R)|WTQ T, X, W, S c X~W|T~STQ T, X, W, T c (T{W)~(X|T)TQ T, X, W, U c (T{XU)~WTQ T, X, W, V c T{W~V|XTQ T, X, X, Q c T~X{X|QTQ T, X, X, S c (X|T{X)~STQ T, X, X, V c (T{VX)~XTQ U, O, Q, X c (U{O)~X|QTQ U, O, S, V c (U{O{V)~STQ U, O, S, W c (U{O)~W{STQ U, O, V, S c (U{O{V)~STQ U, O, W, S c (U{O)~W{STQ U, O, X, Q c (U{O)~X|QTQ U, P, P, X c (U~X)|(P{P)TQ U, P, Q, S c (U~Q{P)~STQ U, P, Q, W c (U{PQ)~WTQ U, P, Q, X c U~P~X|QTQ U, P, R, V c (U{P)~V{RTQ U, P, R, W c U~W{P{RTQ U, P, R, X c U~X{P|RTQ U, P, S, Q c (U~Q{P)~STQ U, P, S, U c (U{P{U)~STQ U, P, S, V c (U{P~V)~STQ U, P, S, W c (U{P)~W|STQ U, P, S, X c U~(X|P){STQ U, P, T, V c (U{V)~(T|P)TQ U, P, T, W c U~W|P{TTQ U, P, T, X c U{P{T~XTQ U, P, U, S c (U{P{U)~STQ U, P, V, R c (U{P)~V{RTQ U, P, V, S c (U{P~V)~STQ U, P, V, T c (U{V)~(T|P)TQ U, P, V, X c (U|P)~X{VTQ U, P, W, Q c U~(P{W)|QTQ U, P, W, R c U~W{P{RTQ U, P, W, S c (U{P)~W|STQ U, P, W, T c U~W|P{TTQ U, P, W, X c U~(P{X)|WTQ U, P, X, P c (U~X)|(P{P)TQ U, P, X, Q c U~P~X|QTQ U, P, X, R c U~X{P|RTQ U, P, X, S c U~(X|P){STQ U, P, X, T c U{P{X~TTQ U, P, X, V c (U|P)~X{VTQ U, P, X, W c U~(P{X)|WTQ U, Q, O, X c (U{O)~X|QTQ U, Q, P, S c (U~Q{P)~STQ U, Q, P, W c (U{PQ)~WTQ U, Q, P, X c U~P~X|QTQ U, Q, Q, S c (U~S{Q)~QTQ U, Q, Q, V c U~(Q{V)|QTQ U, Q, Q, W c U~W{Q{QTQ U, Q, R, R c U~R~R|QTQ U, Q, R, U c (U{R)~U|QTQ U, Q, R, W c U~(QR{W)TQ U, Q, S, P c (U~Q{P)~STQ U, Q, S, Q c (U~S{Q)~QTQ U, Q, S, S c U~Q~S{STQ U, Q, S, T c (U{Q{T)~STQ U, Q, S, U c (U{Q)~U{STQ U, Q, S, V c (U{Q)~V|STQ U, Q, S, W c (U{QS)~WTQ U, Q, S, X c (U|Q)~(S{X)TQ U, Q, T, S c (U{Q{T)~STQ U, Q, T, V c U~V{Q~TTQ U, Q, T, W c (U|Q)~(T{W)TQ U, Q, U, R c U~(U{R)|QTQ U, Q, U, S c (U{Q)~U{STQ U, Q, U, V c (U|Q)~(U{V)TQ U, Q, U, W c U|Q{U~WTQ U, Q, U, X c U~(X|QU)TQ U, Q, V, Q c U~(Q{V)|QTQ U, Q, V, S c (U{Q)~V|STQ U, Q, V, T c U~V{Q~TTQ U, Q, V, U c (U|Q)~(V{U)TQ U, Q, V, V c UQ{V~VTQ U, Q, V, W c (U{V)Q~WTQ U, Q, W, P c U~(W{P)|QTQ U, Q, W, Q c U~W{Q{QTQ U, Q, W, R c U~(QR{W)TQ U, Q, W, S c (U{QS)~WTQ U, Q, W, T c (U|Q)~(W{T)TQ U, Q, W, U c U|Q{W~UTQ U, Q, W, V c (U{V)Q~WTQ U, Q, W, W c U~(Q{W)|WTQ U, Q, X, O c U~X|Q{OTQ U, Q, X, P c U~X|Q~PTQ U, Q, X, S c (U|Q{X)~STQ U, Q, X, U c U~(X|QU)TQ U, Q, X, X c (U|QX)~XTQ U, R, P, V c (U{P)~V{RTQ U, R, P, W c U~W{R{PTQ U, R, P, X c U~X|R{PTQ U, R, Q, R c U~R~R|QTQ U, R, Q, U c (U{R)~U|QTQ U, R, Q, W c (U~R{W)~QTQ U, R, R, Q c U~R~R|QTQ U, R, S, S c (U{R{S)~STQ U, R, S, T c U~(R{T){STQ U, R, T, S c U~(R{T){STQ U, R, T, T c (U{T)~T|RTQ U, R, T, V c (U{R)~T{VTQ U, R, T, X c U~X{R|TTQ U, R, U, Q c (U{R)~U|QTQ U, R, U, W c (U{RU)~WTQ U, R, U, X c U~X|URTQ U, R, V, P c (U{V)~(R{P)TQ U, R, V, T c (U{R)~T{VTQ U, R, V, V c U|R{V~VTQ U, R, V, W c U~(R{V)|WTQ U, R, V, X c (U{X)~R{VTQ U, R, W, P c U~W{R{PTQ U, R, W, Q c (U~R{W)~QTQ U, R, W, U c (U{RU)~WTQ U, R, W, V c U~(R{V)|WTQ U, R, X, P c U~X|R{PTQ U, R, X, T c U~X{R|TTQ U, R, X, U c U~X|URTQ U, R, X, V c (U{X)~R{VTQ U, R, X, X c U~(X|RX)TQ U, S, O, V c (U{O{V)~STQ U, S, O, W c (U{O)~W{STQ U, S, P, Q c (U~Q{P)~STQ U, S, P, U c (U{P{U)~STQ U, S, P, V c (U{P~V)~STQ U, S, P, W c (U{P)~W|STQ U, S, P, X c U~(X|P){STQ U, S, Q, P c (U~Q{P)~STQ U, S, Q, Q c (U~S{Q)~QTQ U, S, Q, S c U~S~Q{STQ U, S, Q, T c (U{S)~T{QTQ U, S, Q, U c (U{Q)~U{STQ U, S, Q, V c (U{Q)~V|STQ U, S, Q, W c (U{QS)~WTQ U, S, Q, X c (U|Q)~(S{X)TQ U, S, R, S c (U{S{R)~STQ U, S, R, T c U~(R{T){STQ U, S, S, Q c U~S~Q{STQ U, S, S, R c (U{S{R)~STQ U, S, S, S c U~(S{S){STQ U, S, S, U c (U{U)~S{STQ U, S, S, V c U~S{S~VTQ U, S, S, W c (U{W)~S|STQ U, S, T, Q c (U{S)~T{QTQ U, S, T, R c U~(T{R){STQ U, S, T, W c (US{T)~WTQ U, S, U, P c (U{U{P)~STQ U, S, U, Q c U~(U{Q){STQ U, S, U, S c (U{U)~S{STQ U, S, U, V c U{S{U~VTQ U, S, U, W c (U{S)~U|WTQ U, S, U, X c U~X{S|UTQ U, S, V, O c (U{V)~(S{O)TQ U, S, V, P c (U{V)~(S~P)TQ U, S, V, Q c (U{Q)~V|STQ U, S, V, S c U~S{V~STQ U, S, V, U c U{S{V~UTQ U, S, V, W c (U{V)~(W|S)TQ U, S, W, O c U~W{S{OTQ U, S, W, P c U~W{S~PTQ U, S, W, Q c (U{QS)~WTQ U, S, W, S c (U{W)~S|STQ U, S, W, T c (US{T)~WTQ U, S, W, U c (U{S)~U|WTQ U, S, W, V c (U{V)~(W|S)TQ U, S, W, W c (U{SW)~WTQ U, S, W, X c (U{X)~S|WTQ U, S, X, P c U~(X|P){STQ U, S, X, Q c U~X|S{QTQ U, S, X, U c U~X{S|UTQ U, S, X, W c (U{X)~S|WTQ U, T, P, V c (U{V)~(T|P)TQ U, T, P, W c U~W{T|PTQ U, T, P, X c U{T~X{PTQ U, T, Q, S c (U{T{Q)~STQ U, T, Q, V c U~V{T~QTQ U, T, Q, W c U~T~Q|WTQ U, T, R, S c U~(T{R){STQ U, T, R, T c (U{T)~T|RTQ U, T, R, V c U~(TR{V)TQ U, T, R, X c U~X|T{RTQ U, T, S, Q c (U{T~S)~QTQ U, T, S, R c U~(T{R){STQ U, T, S, W c (U{T)~S{WTQ U, T, T, R c (U{T)~T|RTQ U, T, T, V c U~V{T{TTQ U, T, T, W c U~(T{T)|WTQ U, T, U, W c U{T~W{UTQ U, T, V, P c (U{V)~(T|P)TQ U, T, V, Q c U~V{T~QTQ U, T, V, R c U~(TR{V)TQ U, T, V, T c U~V{T{TTQ U, T, V, X c (U{V)~(X|T)TQ U, T, W, P c U~W{T|PTQ U, T, W, Q c U~T~Q|WTQ U, T, W, S c (U{T)~S{WTQ U, T, W, T c U~(T{T)|WTQ U, T, W, U c U{T~W{UTQ U, T, W, X c U~W|T{XTQ U, T, X, P c U{T~X{PTQ U, T, X, R c U~X|T{RTQ U, T, X, V c U~X{T|VTQ U, T, X, W c U~W|T{XTQ U, U, P, S c (U{U{P)~STQ U, U, Q, R c U~(U{R)|QTQ U, U, Q, S c U~(U{Q){STQ U, U, Q, V c (U|Q)~(U{V)TQ U, U, Q, W c U~U{Q~WTQ U, U, Q, X c U~(X|QU)TQ U, U, R, Q c U~(U{R)|QTQ U, U, R, W c U~(U{WR)TQ U, U, R, X c U~X|URTQ U, U, S, P c (U{U{P)~STQ U, U, S, Q c U~(U{Q){STQ U, U, S, S c (U{U)~S{STQ U, U, S, V c U{U~V{STQ U, U, S, W c U~(U{S)|WTQ U, U, S, X c U~X|U{STQ U, U, T, W c U{U{T~WTQ U, U, V, Q c (U{V)~(U|Q)TQ U, U, V, S c U{U~V{STQ U, U, V, X c U~U{V{XTQ U, U, W, Q c U{U~W|QTQ U, U, W, R c U~(U{WR)TQ U, U, W, S c U~(U{S)|WTQ U, U, W, T c U{U{W~TTQ U, U, W, W c U~U{W{WTQ U, U, W, X c U{U~X|WTQ U, U, X, Q c U~(X|QU)TQ U, U, X, R c U~X|URTQ U, U, X, S c U~X|U{STQ U, U, X, V c U~U{X{VTQ U, U, X, W c U{U~X|WTQ U, V, O, S c (U{V{O)~STQ U, V, P, R c (U{V)~(P{R)TQ U, V, P, S c (U{V)~(P~S)TQ U, V, P, T c (U{V)~(T|P)TQ U, V, P, X c U~V{P{XTQ U, V, Q, Q c (U{V)~(Q{Q)TQ U, V, Q, S c (U{Q)~V|STQ U, V, Q, T c U~V{Q~TTQ U, V, Q, U c (U{V)~(U|Q)TQ U, V, Q, V c UQ{V~VTQ U, V, Q, W c (U{V)Q~WTQ U, V, R, P c (U{V)~(R{P)TQ U, V, R, T c U~(V{TR)TQ U, V, R, V c U~V{R{VTQ U, V, R, W c U~(V{R)|WTQ U, V, R, X c (U{X)~R{VTQ U, V, S, O c (U{V)~(S{O)TQ U, V, S, P c (U{V)~(S~P)TQ U, V, S, Q c (U{Q)~V|STQ U, V, S, S c U~S{V~STQ U, V, S, U c U~V{S{UTQ U, V, S, W c (U{V)~(W|S)TQ U, V, T, P c (U{V)~(T|P)TQ U, V, T, Q c U~V{T~QTQ U, V, T, R c U~(V{TR)TQ U, V, T, T c U~V{T{TTQ U, V, T, X c (U{V)~(X|T)TQ U, V, U, Q c (U{V)~(U|Q)TQ U, V, U, S c U{V~U{STQ U, V, U, X c U~U{V{XTQ U, V, V, Q c UQ{V~VTQ U, V, V, R c U{V~V|RTQ U, V, V, X c V~V|U{XTQ U, V, W, Q c (U{V)~(WQ)TQ U, V, W, R c U~(V{R)|WTQ U, V, W, S c (U{V)~(W|S)TQ U, V, X, P c U~V{X{PTQ U, V, X, R c (U{X)~R{VTQ U, V, X, T c (U{V)~(X|T)TQ U, V, X, U c U~U{V{XTQ U, V, X, V c V~V|U{XTQ U, V, X, X c U~X{V|XTQ U, W, O, S c U~W{O{STQ U, W, P, Q c U~(W{P)|QTQ U, W, P, R c U~W{P{RTQ U, W, P, S c (U{W|P)~STQ U, W, P, T c U~W|P{TTQ U, W, P, X c U~(P{X)|WTQ U, W, Q, P c U~(W{P)|QTQ U, W, Q, Q c U~W{Q{QTQ U, W, Q, R c U~(W{QR)TQ U, W, Q, S c (U{QS)~WTQ U, W, Q, T c (U|Q)~(W{T)TQ U, W, Q, U c U~W|Q{UTQ U, W, Q, V c (U{V)~(WQ)TQ U, W, Q, W c U~(W{Q)|WTQ U, W, R, P c U~W{R{PTQ U, W, R, Q c U~(W{QR)TQ U, W, R, U c (U{WR)~UTQ U, W, R, V c U~W|R{VTQ U, W, S, O c U~W{S{OTQ U, W, S, P c U~W{S~PTQ U, W, S, Q c (U{QS)~WTQ U, W, S, S c (U{W)~S|STQ U, W, S, T c (US{T)~WTQ U, W, S, U c U~(W{SU)TQ U, W, S, V c (U{V)~(W|S)TQ U, W, S, W c U~W|S{WTQ U, W, S, X c U~X|WSTQ U, W, T, P c U~W{T|PTQ U, W, T, Q c U~T~Q|WTQ U, W, T, S c (U{T)~S{WTQ U, W, T, T c U~(T{T)|WTQ U, W, T, U c U{W~T{UTQ U, W, T, X c U~W|T{XTQ U, W, U, Q c U{W~U|QTQ U, W, U, R c (U{WR)~UTQ U, W, U, S c U~(W{SU)TQ U, W, U, T c U{W~T{UTQ U, W, U, W c U~U{W{WTQ U, W, U, X c U~(W{UX)TQ U, W, V, Q c (U{V)~(WQ)TQ U, W, V, R c U~W{V|RTQ U, W, V, S c (U{V)~(W|S)TQ U, W, W, Q c U~W{WQTQ U, W, W, S c U~W{W|STQ U, W, W, U c U~U{W{WTQ U, W, W, X c W~(W|XU)TQ U, W, X, P c U~(X{P)|WTQ U, W, X, S c U~X|WSTQ U, W, X, T c U~W{X|TTQ U, W, X, U c U~(W{UX)TQ U, W, X, W c (W|XU)~WTQ U, X, O, Q c U~X{O|QTQ U, X, P, P c (U~X)|(P{P)TQ U, X, P, Q c U~X|P~QTQ U, X, P, R c U~X{P|RTQ U, X, P, S c U~(X|P){STQ U, X, P, T c U{X~T{PTQ U, X, P, V c (U|P)~X{VTQ U, X, P, W c U~(X{P)|WTQ U, X, Q, O c U~X|Q{OTQ U, X, Q, P c U~X|Q~PTQ U, X, Q, S c (U{X|Q)~STQ U, X, Q, U c U~(X|QU)TQ U, X, Q, X c (U|QX)~XTQ U, X, R, P c U~X|R{PTQ U, X, R, T c U~X{R|TTQ U, X, R, U c U~X|URTQ U, X, R, V c (U{X)~R{VTQ U, X, R, X c U~(X|RX)TQ U, X, S, P c U~(X|P){STQ U, X, S, Q c U~X|S{QTQ U, X, S, U c U~X{S|UTQ U, X, S, W c (U{X)~S|WTQ U, X, T, P c U{X~T{PTQ U, X, T, R c U~X|T{RTQ U, X, T, V c U~X{T|VTQ U, X, T, W c U~W{X|TTQ U, X, U, Q c U~(X|QU)TQ U, X, U, R c U~X|URTQ U, X, U, S c U~X|U{STQ U, X, U, V c U~U{X{VTQ U, X, U, W c U{X~U|WTQ U, X, V, P c U~V{X{PTQ U, X, V, R c (U{X)~R{VTQ U, X, V, T c U~X|V{TTQ U, X, V, U c U~U{X{VTQ U, X, V, V c X|U{V~VTQ U, X, V, X c U~X{V|XTQ U, X, W, P c U~(X{P)|WTQ U, X, W, S c U~X|WSTQ U, X, W, T c U~W{X|TTQ U, X, W, U c U~X|W{UTQ U, X, W, W c (W|XU)~WTQ U, X, X, Q c (U|QX)~XTQ U, X, X, R c U~(X|RX)TQ U, X, X, V c U~X|X{VTQ V, O, R, V c (V{O)~V{RTQ V, O, S, U c (V{O{U)~STQ V, O, S, W c (V{O)~W|STQ V, O, T, X c V{O{T~XTQ V, O, U, S c (V{O{U)~STQ V, O, V, R c (V{O)~V{RTQ V, O, W, S c (V{O)~W|STQ V, O, X, T c V{O{X~TTQ V, P, Q, S c (V~Q|P)~STQ V, P, Q, V c V~V{P{QTQ V, P, Q, W c (V|PQ)~WTQ V, P, Q, X c (V|P)~X|QTQ V, P, R, U c V~(P{U){RTQ V, P, R, V c V~P~V{RTQ V, P, R, W c (V~W)|(P{R)TQ V, P, S, Q c (V~Q|P)~STQ V, P, S, T c (V{P{T)~STQ V, P, S, U c (V{P)~U{STQ V, P, S, V c (V{P)~V|STQ V, P, S, W c (V|P)~W{STQ V, P, S, X c V{(P{S)~XTQ V, P, T, S c (V{P{T)~STQ V, P, T, U c (V{U)~(T|P)TQ V, P, T, W c V{(P{W)~TTQ V, P, T, X c V{P~T~XTQ V, P, U, R c V~(P{U){RTQ V, P, U, S c (V{P)~U{STQ V, P, U, T c (V{U)~(T|P)TQ V, P, U, X c V{(U|P)~XTQ V, P, V, Q c V~V{P{QTQ V, P, V, R c V~P~V{RTQ V, P, V, S c (V{P)~V|STQ V, P, W, Q c (V|PQ)~WTQ V, P, W, R c (V~W)|(P{R)TQ V, P, W, S c (V|P)~W{STQ V, P, W, T c V{(P{W)~TTQ V, P, X, Q c (V|P)~X|QTQ V, P, X, S c V{(P{S)~XTQ V, P, X, T c V{P~X~TTQ V, P, X, U c V{X~(U|P)TQ V, Q, P, S c (V~Q|P)~STQ V, Q, P, V c V~V{Q{PTQ V, Q, P, W c (V|PQ)~WTQ V, Q, P, X c (V|P)~X|QTQ V, Q, Q, S c (V~S|Q)~QTQ V, Q, Q, U c (V{Q)~U|QTQ V, Q, Q, W c (V~W)|(Q{Q)TQ V, Q, R, S c (V{Q~R)~STQ V, Q, R, T c V~(Q{T){RTQ V, Q, R, W c (VQ{R)~WTQ V, Q, R, X c V{(Q{R)~XTQ V, Q, S, P c (V~Q|P)~STQ V, Q, S, Q c (V~S|Q)~QTQ V, Q, S, R c (V{Q~R)~STQ V, Q, S, S c (V{Q{S)~STQ V, Q, S, U c V~(Q{U)|STQ V, Q, S, W c (V|QS)~WTQ V, Q, T, R c V~(Q{T){RTQ V, Q, T, U c V~U{Q~TTQ V, Q, T, V c (V{Q)~T{VTQ V, Q, T, X c (V~T|X)~QTQ V, Q, U, Q c (V{Q)~U|QTQ V, Q, U, S c V~(Q{U)|STQ V, Q, U, T c V~U{Q~TTQ V, Q, U, U c (V{U)~(U|Q)TQ V, Q, U, V c V~V{UQTQ V, Q, U, W c (V{U)Q~WTQ V, Q, V, P c V~V{Q{PTQ V, Q, V, T c V{(Q{V)~TTQ V, Q, V, U c V~V{UQTQ V, Q, V, X c (V|Q)~X{VTQ V, Q, W, P c (V|PQ)~WTQ V, Q, W, Q c (V~W)|(Q{Q)TQ V, Q, W, R c (VQ{R)~WTQ V, Q, W, S c (V|Q{W)~STQ V, Q, W, U c V~W{Q|UTQ V, Q, W, W c V~W|WQTQ V, Q, X, P c (V|P)~X|QTQ V, Q, X, R c V{(Q{R)~XTQ V, Q, X, T c (V~T|X)~QTQ V, Q, X, V c (V|Q)~X{VTQ V, Q, X, X c (V~X)|(Q{X)TQ V, R, O, V c (V{O)~V{RTQ V, R, P, U c V~(P{U){RTQ V, R, P, V c V~P~V{RTQ V, R, P, W c (V~W)|(R{P)TQ V, R, Q, S c (V{R~Q)~STQ V, R, Q, T c (V{R)~T{QTQ V, R, Q, W c (VQ{R)~WTQ V, R, Q, X c V{(R{Q)~XTQ V, R, R, S c (V{R{R)~STQ V, R, R, T c V{R~R~TTQ V, R, S, Q c (V{R~Q)~STQ V, R, S, R c V~(R{S){RTQ V, R, S, T c V~(R{T)|STQ V, R, S, W c (V~R|W)~STQ V, R, S, X c (V|R)~(S{X)TQ V, R, T, Q c (V{R)~T{QTQ V, R, T, R c V{R~T~RTQ V, R, T, S c V~(R{T)|STQ V, R, T, U c V{(R{U)~TTQ V, R, T, W c (V|R)~(T{W)TQ V, R, U, P c (V{U)~(R{P)TQ V, R, U, T c V{(R{U)~TTQ V, R, U, V c V{R{U~VTQ V, R, U, W c (V{R)~U|WTQ V, R, U, X c V{R~(U{X)TQ V, R, V, O c V~V{R{OTQ V, R, V, P c V~V{R~PTQ V, R, V, U c V{R{V~UTQ V, R, V, V c (V{RV)~VTQ V, R, V, W c V{R~(V{W)TQ V, R, V, X c V~V{XRTQ V, R, W, P c (V~W)|(R{P)TQ V, R, W, Q c (VQ{R)~WTQ V, R, W, S c (V~R|W)~STQ V, R, W, T c (V|R)~(W{T)TQ V, R, W, U c V|R{W~UTQ V, R, W, V c V{R~(W{V)TQ V, R, W, X c V{(W|R)~XTQ V, R, X, Q c V{(R{Q)~XTQ V, R, X, S c (V|R{X)~STQ V, R, X, U c V{R~(X{U)TQ V, R, X, V c V~V{XRTQ V, R, X, W c (V~X)|(R{W)TQ V, S, O, U c (V{O{U)~STQ V, S, O, W c (V{O)~W|STQ V, S, P, Q c (V~Q|P)~STQ V, S, P, T c (V{P{T)~STQ V, S, P, U c (V{P)~U{STQ V, S, P, V c (V{P)~V|STQ V, S, P, W c (V|P)~W{STQ V, S, P, X c V{(S{P)~XTQ V, S, Q, P c (V~Q|P)~STQ V, S, Q, Q c (V~S|Q)~QTQ V, S, Q, R c (V{Q~R)~STQ V, S, Q, S c (V{S{Q)~STQ V, S, Q, U c V~(Q{U)|STQ V, S, Q, W c (V|QS)~WTQ V, S, R, Q c (V{R~Q)~STQ V, S, R, R c V~(S{R){RTQ V, S, R, T c (V{S)~T|RTQ V, S, R, W c V~S{R~WTQ V, S, R, X c (V|R)~(S{X)TQ V, S, S, Q c (V{S{Q)~STQ V, S, S, S c V~(S{S)|STQ V, S, S, T c (V{T)~S{STQ V, S, S, U c V~S{S~UTQ V, S, S, V c (V{V)~S|STQ V, S, S, W c (V{S)~S{WTQ V, S, T, P c (V{T{P)~STQ V, S, T, R c (V{S)~T|RTQ V, S, T, S c (V{T)~S{STQ V, S, T, T c V{(S{T)~TTQ V, S, U, O c (V{U)~(S{O)TQ V, S, U, P c (V{U)~(S~P)TQ V, S, U, Q c V~(U{Q)|STQ V, S, U, S c V~S{U~STQ V, S, U, U c V~U{S{UTQ V, S, U, W c (V{U)~(W|S)TQ V, S, V, P c V~V{S|PTQ V, S, V, S c (V{V)~S|STQ V, S, V, V c V|S{V~VTQ V, S, V, W c V~(W|SV)TQ V, S, V, X c (V~X)|(S{V)TQ V, S, W, O c V~W|S{OTQ V, S, W, P c V~W|S~PTQ V, S, W, Q c (V{W|Q)~STQ V, S, W, R c V~S{W~RTQ V, S, W, S c (V{S)~S{WTQ V, S, W, U c (V{U)~(W|S)TQ V, S, W, V c V~(W|SV)TQ V, S, W, W c (V|SW)~WTQ V, S, X, P c V{(S{P)~XTQ V, S, X, R c (V{X|R)~STQ V, S, X, V c (V~X)|(S{V)TQ V, S, X, X c V{S~X{XTQ V, T, O, X c V{(T{O)~XTQ V, T, P, S c (V{T{P)~STQ V, T, P, U c (V{U)~(T|P)TQ V, T, P, W c V{T~(P{W)TQ V, T, P, X c V{T~P~XTQ V, T, Q, R c V~(T{Q){RTQ V, T, Q, U c V~U{T~QTQ V, T, Q, V c V{T~(Q{V)TQ V, T, Q, X c (V~T|X)~QTQ V, T, R, Q c V~(T{Q){RTQ V, T, R, R c V{T~R~RTQ V, T, R, S c V~(T{R)|STQ V, T, R, U c V{T~(R{U)TQ V, T, R, W c (V|R)~(T{W)TQ V, T, S, P c (V{T{P)~STQ V, T, S, R c V~(T{R)|STQ V, T, S, S c (V{T)~S{STQ V, T, S, T c V{(T{S)~TTQ V, T, T, S c V{T~(T{S)TQ V, T, T, U c V~U{T{TTQ V, T, T, W c V{T{T~WTQ V, T, T, X c (VT{X)~TTQ V, T, U, P c (V{U)~(T|P)TQ V, T, U, Q c V~U{T~QTQ V, T, U, R c V{T~(U{R)TQ V, T, U, T c V~U{T{TTQ V, T, U, X c (V{U)~(X|T)TQ V, T, V, Q c V{T~(V{Q)TQ V, T, V, W c V~V|T{WTQ V, T, W, P c V{T~(W{P)TQ V, T, W, R c (V|R)~(T{W)TQ V, T, W, T c V{T{W~TTQ V, T, W, V c V~V|T{WTQ V, T, W, W c (W~W)|(V{T)TQ V, T, W, X c V~T{W{XTQ V, T, X, O c V{T~X{OTQ V, T, X, P c V{T~X~PTQ V, T, X, Q c (V~T|X)~QTQ V, T, X, T c (VT{X)~TTQ V, T, X, U c (V~X)|(T{U)TQ V, T, X, W c V~T{X{WTQ V, T, X, X c (VX{T)~XTQ V, U, O, S c (V{U{O)~STQ V, U, P, R c (V{U)~(P{R)TQ V, U, P, S c (V{U)~(P~S)TQ V, U, P, T c (V{U)~(T|P)TQ V, U, P, X c V{(U|P)~XTQ V, U, Q, Q c (V{U)~(Q{Q)TQ V, U, Q, S c V~(U{Q)|STQ V, U, Q, T c V~U{Q~TTQ V, U, Q, U c (V{U)~(U|Q)TQ V, U, Q, V c V~V{UQTQ V, U, Q, W c (V{U)Q~WTQ V, U, R, P c (V{U)~(R{P)TQ V, U, R, T c V{(U{R)~TTQ V, U, R, V c V~U{R{VTQ V, U, R, W c V{U~W|RTQ V, U, R, X c V{(U{X)~RTQ V, U, S, O c (V{U)~(S{O)TQ V, U, S, P c (V{U)~(S~P)TQ V, U, S, Q c V~(U{Q)|STQ V, U, S, S c V~S{U~STQ V, U, S, U c V~U{S{UTQ V, U, S, W c (V{U)~(W|S)TQ V, U, T, P c (V{U)~(T|P)TQ V, U, T, Q c V~U{T~QTQ V, U, T, R c V{(U{R)~TTQ V, U, T, T c V~U{T{TTQ V, U, T, X c (V{U)~(X|T)TQ V, U, U, Q c (V{U)~(U|Q)TQ V, U, U, S c V~U{U{STQ V, U, U, X c V{U~U{XTQ V, U, V, Q c V~V{UQTQ V, U, V, R c V{U~V{RTQ V, U, V, X c V~V|U{XTQ V, U, W, Q c (V{U)~(WQ)TQ V, U, W, R c V{U~W|RTQ V, U, W, S c (V{U)~(W|S)TQ V, U, X, P c V~U{X{PTQ V, U, X, R c V{(U{X)~RTQ V, U, X, T c (V{U)~(X|T)TQ V, U, X, U c V{U~U{XTQ V, U, X, V c V~V|U{XTQ V, U, X, X c V{U~X|XTQ V, V, O, R c V~V{O{RTQ V, V, P, Q c V~V{P{QTQ V, V, P, R c V~V{P~RTQ V, V, P, S c (V{V|P)~STQ V, V, Q, P c V~V{Q{PTQ V, V, Q, T c V{(V{Q)~TTQ V, V, Q, U c V~V{UQTQ V, V, Q, X c V{(V|Q)~XTQ V, V, R, O c V~V{R{OTQ V, V, R, P c V~V{R~PTQ V, V, R, U c V~V|R{UTQ V, V, R, V c V~(V{RV)TQ V, V, R, W c V{(V{W)~RTQ V, V, R, X c V~V{XRTQ V, V, S, P c V~V{S|PTQ V, V, S, S c (V{V)~S|STQ V, V, S, V c V~V|S{VTQ V, V, S, W c V~(W|SV)TQ V, V, S, X c (V~X)|(V{S)TQ V, V, T, Q c V~V{T|QTQ V, V, T, W c V~V|T{WTQ V, V, U, Q c V~V{UQTQ V, V, U, R c V{V~U{RTQ V, V, U, X c V~V|U{XTQ V, V, V, R c V~(V{RV)TQ V, V, V, S c V{V~V|STQ V, V, W, R c V{(V{W)~RTQ V, V, W, S c V~(W|SV)TQ V, V, W, T c V~V{W|TTQ V, V, X, Q c V{(V|Q)~XTQ V, V, X, R c V~V{XRTQ V, V, X, S c (V~X)|(V{S)TQ V, V, X, U c V~V{X|UTQ V, W, O, S c V~W{O|STQ V, W, P, Q c (V|PQ)~WTQ V, W, P, R c (V~W)|(P{R)TQ V, W, P, S c V~W|P~STQ V, W, P, T c V{(W{P)~TTQ V, W, Q, P c (V|PQ)~WTQ V, W, Q, Q c (V~W)|(Q{Q)TQ V, W, Q, R c (VQ{R)~WTQ V, W, Q, S c (V{W|Q)~STQ V, W, Q, U c V~W{Q|UTQ V, W, Q, W c V~W|WQTQ V, W, R, P c (V~W)|(R{P)TQ V, W, R, Q c (VQ{R)~WTQ V, W, R, S c (V~R|W)~STQ V, W, R, T c (V|R)~(W{T)TQ V, W, R, U c V{W~U|RTQ V, W, R, V c (V{W)~R{VTQ V, W, R, X c V{(W|R)~XTQ V, W, S, O c V~W|S{OTQ V, W, S, P c V~W|S~PTQ V, W, S, Q c (V{W|Q)~STQ V, W, S, R c V~S{W~RTQ V, W, S, S c (V{S)~S{WTQ V, W, S, U c (V{U)~(W|S)TQ V, W, S, V c V~(W|SV)TQ V, W, S, W c (V{W)~S|WTQ V, W, T, P c V~W|T{PTQ V, W, T, R c (V|R)~(W{T)TQ V, W, T, T c V{W~T{TTQ V, W, T, V c V~V{W|TTQ V, W, T, W c (W~W)|(V{T)TQ V, W, T, X c V~W{T|XTQ V, W, U, Q c V~W|U{QTQ V, W, U, R c V{W~U|RTQ V, W, U, S c (V{U)~(W|S)TQ V, W, V, R c V{(W{V)~RTQ V, W, V, S c V~(W|SV)TQ V, W, V, T c V~V{W|TTQ V, W, W, Q c V~W|WQTQ V, W, W, S c V~W|W{STQ V, W, W, T c (W~W)|(V{T)TQ V, W, X, R c V{(W|R)~XTQ V, W, X, T c V~W|X{TTQ V, X, O, T c V{(X{O)~TTQ V, X, P, Q c (V|P)~X|QTQ V, X, P, S c V{X~(P{S)TQ V, X, P, T c V{X~P~TTQ V, X, P, U c V{X~(U|P)TQ V, X, Q, P c (V|P)~X|QTQ V, X, Q, R c V{X~(Q{R)TQ V, X, Q, T c (V~T|X)~QTQ V, X, Q, V c V{X~(V|Q)TQ V, X, Q, X c (V~X)|(Q{X)TQ V, X, R, Q c V{X~(R{Q)TQ V, X, R, S c (V{X|R)~STQ V, X, R, U c V{(X{U)~RTQ V, X, R, V c V~V{XRTQ V, X, R, W c (V~X)|(R{W)TQ V, X, S, P c V{X~(S{P)TQ V, X, S, R c (V{X|R)~STQ V, X, S, V c (V~X)|(S{V)TQ V, X, S, X c V{X{S~XTQ V, X, T, O c V{X~T{OTQ V, X, T, P c V{X~T~PTQ V, X, T, Q c (V~T|X)~QTQ V, X, T, T c (VT{X)~TTQ V, X, T, U c (V~X)|(T{U)TQ V, X, T, W c V~T{X{WTQ V, X, T, X c (VX{T)~XTQ V, X, U, P c V{X~(U|P)TQ V, X, U, R c V{(X{U)~RTQ V, X, U, T c (V~X)|(U{T)TQ V, X, U, U c V{X{U~UTQ V, X, U, V c V~V{X|UTQ V, X, U, X c V{X~U|XTQ V, X, V, Q c V{X~(V|Q)TQ V, X, V, R c V~V{XRTQ V, X, V, S c (V~X)|(V{S)TQ V, X, V, U c V~V{X|UTQ V, X, W, R c V{X~(W|R)TQ V, X, W, T c V~W|X{TTQ V, X, X, Q c (V~X)|(X{Q)TQ V, X, X, S c V{X{X~STQ V, X, X, T c (VX{T)~XTQ V, X, X, U c V{X~U|XTQ W, O, S, T c (W{O{T)~STQ W, O, S, U c (W{O)~U{STQ W, O, S, V c (W{O)~V|STQ W, O, T, S c (W{O{T)~STQ W, O, U, S c (W{O)~U{STQ W, O, V, S c (W{O)~V|STQ W, P, Q, U c W~(PQ{U)TQ W, P, Q, V c W~(V|PQ)TQ W, P, R, T c (W{T)~(P{R)TQ W, P, R, U c W~U{P{RTQ W, P, R, V c (W|P)~V{RTQ W, P, R, X c (W{X)~R{PTQ W, P, S, S c (W{P{S)~STQ W, P, S, T c (W{P~T)~STQ W, P, S, U c (W|P{U)~STQ W, P, S, V c W~P~V|STQ W, P, S, W c (W|P)~W|STQ W, P, T, R c (W{T)~(P{R)TQ W, P, T, S c (W{P~T)~STQ W, P, T, T c (W{T)~(T|P)TQ W, P, T, U c W~U|P{TTQ W, P, T, V c (W{P)~T{VTQ W, P, T, X c W|P{T~XTQ W, P, U, Q c (W{P)~U|QTQ W, P, U, R c W~U{P{RTQ W, P, U, S c (W|P{U)~STQ W, P, U, T c W~U|P{TTQ W, P, U, X c (P{X)~U|WTQ W, P, V, Q c W~(V|PQ)TQ W, P, V, R c (W|P)~V{RTQ W, P, V, S c W~P~V|STQ W, P, V, T c (W{P)~T{VTQ W, P, W, S c (W|P)~W|STQ W, P, X, R c (W{X)~R{PTQ W, P, X, T c W|P{X~TTQ W, P, X, U c (P{X)~U|WTQ W, Q, P, U c W~(PQ{U)TQ W, Q, P, V c W~(V|PQ)TQ W, Q, Q, R c (W~R{Q)~QTQ W, Q, Q, T c (W{Q)~T{QTQ W, Q, Q, U c W~U{Q{QTQ W, Q, Q, V c (W~V)|(Q{Q)TQ W, Q, Q, X c (W{Q~X)~QTQ W, Q, R, Q c (W~R{Q)~QTQ W, Q, R, S c (W{Q{R)~STQ W, Q, R, T c W~(RQ{T)TQ W, Q, R, U c (W{QR)~UTQ W, Q, R, V c W~(R{VQ)TQ W, Q, R, W c (W|RQ)~WTQ W, Q, S, R c (W{Q{R)~STQ W, Q, S, S c W~(Q{S){STQ W, Q, S, T c W~(Q{T)|STQ W, Q, S, U c W~(QS{U)TQ W, Q, S, V c (W|Q{V)~STQ W, Q, S, W c (W|Q)~W{STQ W, Q, S, X c W~Q{S~XTQ W, Q, T, Q c (W{Q)~T{QTQ W, Q, T, R c W~(T{RQ)TQ W, Q, T, S c W~(Q{T)|STQ W, Q, T, U c W~T{Q~UTQ W, Q, T, W c (WQ)~(T{W)TQ W, Q, T, X c W~(X|TQ)TQ W, Q, U, P c W~(U{PQ)TQ W, Q, U, Q c W~U{Q{QTQ W, Q, U, R c (W{QR)~UTQ W, Q, U, S c W~(QS{U)TQ W, Q, U, T c W~T{Q~UTQ W, Q, U, U c W~Q{U~UTQ W, Q, U, V c W{Q{U~VTQ W, Q, U, W c (W{Q)~U|WTQ W, Q, V, P c W~(V|PQ)TQ W, Q, V, Q c (W~V)|(Q{Q)TQ W, Q, V, R c W~(VQ{R)TQ W, Q, V, S c (W|Q{V)~STQ W, Q, V, U c W{Q{V~UTQ W, Q, V, W c W~V|WQTQ W, Q, W, R c W~(W|RQ)TQ W, Q, W, S c (W|Q)~W{STQ W, Q, W, T c (WQ)~(W{T)TQ W, Q, W, U c WQ{W~UTQ W, Q, W, V c W~V|WQTQ W, Q, X, Q c (W{Q~X)~QTQ W, Q, X, S c W{(Q{X)~STQ W, Q, X, T c W~(X|TQ)TQ W, Q, X, X c (W{X{X)~QTQ W, R, P, T c (W{T)~(R{P)TQ W, R, P, U c W~U{R{PTQ W, R, P, V c (W|P)~V{RTQ W, R, P, X c (W{X)~R{PTQ W, R, Q, Q c (W~R{Q)~QTQ W, R, Q, S c (W{R{Q)~STQ W, R, Q, T c W~(RQ{T)TQ W, R, Q, U c (W{R~U)~QTQ W, R, Q, V c W~(R{VQ)TQ W, R, Q, W c (W|RQ)~WTQ W, R, R, S c W~(R{R){STQ W, R, R, T c (W{R)~T|RTQ W, R, S, Q c (W{R{Q)~STQ W, R, S, R c W~(R{R){STQ W, R, S, S c W~(R{S)|STQ W, R, S, T c W~T{R~STQ W, R, S, V c W~R{S~VTQ W, R, S, W c (W{R)~S{WTQ W, R, S, X c W~(X|R){STQ W, R, T, P c (W{T)~(R{P)TQ W, R, T, Q c W~(RQ{T)TQ W, R, T, R c (W{R)~T|RTQ W, R, T, S c W~T{R~STQ W, R, T, V c (W{T)~(V|R)TQ W, R, T, X c W~T{R{XTQ W, R, U, P c W~U{R{PTQ W, R, U, Q c (W{R~U)~QTQ W, R, U, U c W~(RU{U)TQ W, R, U, V c W~U|R{VTQ W, R, V, P c (W~V)|(R{P)TQ W, R, V, Q c W~(R{VQ)TQ W, R, V, S c W~R{V~STQ W, R, V, T c (W{T)~(V|R)TQ W, R, V, U c W~(V|RU)TQ W, R, V, V c (W{V)~R{VTQ W, R, V, X c (W|R)~X{VTQ W, R, W, Q c (W|RQ)~WTQ W, R, W, S c W{(R{W)~STQ W, R, W, X c (W~W)|(R{X)TQ W, R, X, P c (W{X)~R{PTQ W, R, X, S c W~(X|R){STQ W, R, X, T c W~T{R{XTQ W, R, X, V c (W|R)~X{VTQ W, R, X, W c (W~W)|(R{X)TQ W, S, O, T c (W{O{T)~STQ W, S, O, U c (W{O)~U{STQ W, S, O, V c (W{O)~V|STQ W, S, P, S c (W{S{P)~STQ W, S, P, T c (W{P~T)~STQ W, S, P, U c (W|P{U)~STQ W, S, P, V c W~P~V|STQ W, S, P, W c (W|P)~W|STQ W, S, Q, R c (W{Q{R)~STQ W, S, Q, S c W~(S{Q){STQ W, S, Q, T c W~(S{TQ)TQ W, S, Q, U c (W~S|U)~QTQ W, S, Q, V c (W|Q{V)~STQ W, S, Q, W c (W|Q)~W{STQ W, S, Q, X c W{S~(Q{X)TQ W, S, R, Q c (W{R{Q)~STQ W, S, R, R c W~(R{R){STQ W, S, R, S c W~(S{R)|STQ W, S, R, T c W~T{S~RTQ W, S, R, V c W~R{S~VTQ W, S, R, W c W{S~(R{W)TQ W, S, R, X c W~(X|R){STQ W, S, S, P c (W{S{P)~STQ W, S, S, Q c W~(S{Q){STQ W, S, S, R c W~(S{R)|STQ W, S, S, S c (W{S)~S{STQ W, S, S, T c W~S{S~TTQ W, S, S, U c (W{U)~S|STQ W, S, S, V c W{S~(S{V)TQ W, S, S, X c (W|S)~(S{X)TQ W, S, T, O c (W{T)~(S{O)TQ W, S, T, P c (W{T)~(S~P)TQ W, S, T, Q c W~(S{TQ)TQ W, S, T, R c W~T{S~RTQ W, S, T, S c W~S{T~STQ W, S, T, U c W{S~(T{U)TQ W, S, T, W c W{S{T~WTQ W, S, T, X c W~X|S~TTQ W, S, U, O c W~U{S{OTQ W, S, U, P c W~U{S~PTQ W, S, U, Q c (W~S|U)~QTQ W, S, U, S c (W{U)~S|STQ W, S, U, T c W{S~(U{T)TQ W, S, U, U c (W{SU)~UTQ W, S, U, V c (W|S)~(U{V)TQ W, S, U, W c W|S{U~WTQ W, S, U, X c S~(U{X)|WTQ W, S, V, O c W~V|S{OTQ W, S, V, P c W~V|S~PTQ W, S, V, Q c (W{V|Q)~STQ W, S, V, R c W~R{S~VTQ W, S, V, S c W{(S{V)~STQ W, S, V, U c (W|S)~(V{U)TQ W, S, V, V c (W|SV)~VTQ W, S, V, W c (W{V)~S|WTQ W, S, W, P c W~(W|P)|STQ W, S, W, Q c W~(W|Q){STQ W, S, W, R c W{S~(W{R)TQ W, S, W, T c W{S{W~TTQ W, S, W, U c W|S{W~UTQ W, S, W, V c (W{V)~S|WTQ W, S, W, W c (W~W)|(S{W)TQ W, S, W, X c W{S~X{WTQ W, S, X, Q c W{S~(X{Q)TQ W, S, X, R c W~(X|R){STQ W, S, X, S c (W|S{X)~STQ W, S, X, T c W~X|S~TTQ W, S, X, U c S~(X{U)|WTQ W, S, X, W c W{S~X{WTQ W, T, O, S c (W{T{O)~STQ W, T, P, R c (W{T)~(P{R)TQ W, T, P, S c (W{T)~(P~S)TQ W, T, P, T c (W{T)~(T|P)TQ W, T, P, U c W~U{T|PTQ W, T, P, V c (W{P)~T{VTQ W, T, P, X c W{T~X|PTQ W, T, Q, Q c (W{T)~(Q{Q)TQ W, T, Q, R c W~(T{RQ)TQ W, T, Q, S c W~(T{Q)|STQ W, T, Q, U c W~T{Q~UTQ W, T, Q, W c (W{T)Q~WTQ W, T, Q, X c W~(X|TQ)TQ W, T, R, P c (W{T)~(R{P)TQ W, T, R, Q c W~(T{RQ)TQ W, T, R, R c (W{R)~T|RTQ W, T, R, S c W~T{R~STQ W, T, R, V c (W{T)~(V|R)TQ W, T, R, X c W~T{R{XTQ W, T, S, O c (W{T)~(S{O)TQ W, T, S, P c (W{T)~(S~P)TQ W, T, S, Q c W~(T{Q)|STQ W, T, S, R c W~T{S~RTQ W, T, S, S c W~S{T~STQ W, T, S, U c W{(T{U)~STQ W, T, S, W c W~T{S{WTQ W, T, S, X c W~X|T~STQ W, T, T, P c (W{T)~(T|P)TQ W, T, T, U c (T{T)~U|WTQ W, T, T, V c W~T{T{VTQ W, T, T, X c (W{T)~(X|T)TQ W, T, U, P c W~U{T|PTQ W, T, U, Q c (W{T)~(U|Q)TQ W, T, U, S c W{(T{U)~STQ W, T, U, T c (T{T)~U|WTQ W, T, U, U c W~T{U{UTQ W, T, U, X c W~(T{XU)TQ W, T, V, P c W~V|T{PTQ W, T, V, R c (W{T)~(V|R)TQ W, T, V, T c W~T{V{TTQ W, T, V, V c W|T{V~VTQ W, T, V, W c (W~W)|(T{V)TQ W, T, V, X c W{T~V{XTQ W, T, W, Q c (W{T)~(WQ)TQ W, T, W, S c W{T~W{STQ W, T, W, V c (W~W)|(T{V)TQ W, T, X, P c W{T~X|PTQ W, T, X, Q c W~(X|TQ)TQ W, T, X, R c W~T{X{RTQ W, T, X, S c W~X|T~STQ W, T, X, T c (W{T)~(X|T)TQ W, T, X, U c W~(T{XU)TQ W, T, X, V c W{T~V{XTQ W, U, O, S c W~U{O{STQ W, U, P, Q c W~(U{PQ)TQ W, U, P, R c W~U{P{RTQ W, U, P, S c (W{U|P)~STQ W, U, P, T c W~U|P{TTQ W, U, P, X c U~(P{X)|WTQ W, U, Q, P c W~(U{PQ)TQ W, U, Q, Q c W~U{Q{QTQ W, U, Q, R c (W{U~R)~QTQ W, U, Q, S c W~(U{QS)TQ W, U, Q, T c (W{T)~(U|Q)TQ W, U, Q, U c W~U|Q{UTQ W, U, Q, V c W{U~V{QTQ W, U, Q, W c W~U{WQTQ W, U, R, P c W~U{R{PTQ W, U, R, Q c (W{U~R)~QTQ W, U, R, U c W~(U{RU)TQ W, U, R, V c W~U|R{VTQ W, U, S, O c W~U{S{OTQ W, U, S, P c W~U{S~PTQ W, U, S, Q c W~(U{QS)TQ W, U, S, S c (W{U)~S|STQ W, U, S, T c W~(US{T)TQ W, U, S, U c (W{SU)~UTQ W, U, S, V c (W|S)~(U{V)TQ W, U, S, W c (W|US)~WTQ W, U, S, X c U~X|WSTQ W, U, T, P c W~U{T|PTQ W, U, T, Q c (W{T)~(U|Q)TQ W, U, T, S c W{(U{T)~STQ W, U, T, T c U~(T{T)|WTQ W, U, T, U c W~T{U{UTQ W, U, T, X c W~U|T{XTQ W, U, U, Q c W~U{U|QTQ W, U, U, R c W~(U{RU)TQ W, U, U, S c (W{SU)~UTQ W, U, U, T c W~T{U{UTQ W, U, U, W c W{U~U{WTQ W, U, U, X c (W{UX)~UTQ W, U, V, Q c W{U~V{QTQ W, U, V, R c W~U{V|RTQ W, U, V, S c (W|S)~(U{V)TQ W, U, W, Q c W~U{WQTQ W, U, W, S c W{U~W|STQ W, U, W, U c W{U~U{WTQ W, U, W, X c W~(W|XU)TQ W, U, X, P c U~(X{P)|WTQ W, U, X, S c U~X|WSTQ W, U, X, T c W~U{X|TTQ W, U, X, U c (W{UX)~UTQ W, U, X, W c (W|XU)~WTQ W, V, O, S c W~V{O|STQ W, V, P, Q c W~(V|PQ)TQ W, V, P, R c (W~V)|(P{R)TQ W, V, P, S c W~(V|P){STQ W, V, P, T c W~V{P|TTQ W, V, Q, P c W~(V|PQ)TQ W, V, Q, Q c (W~V)|(Q{Q)TQ W, V, Q, R c W~(VQ{R)TQ W, V, Q, S c (W{V|Q)~STQ W, V, Q, U c W~V{Q|UTQ W, V, Q, W c W~V|WQTQ W, V, R, P c (W~V)|(R{P)TQ W, V, R, Q c W~(VQ{R)TQ W, V, R, S c W~R{V~STQ W, V, R, T c (W{T)~(V|R)TQ W, V, R, U c W~(V|RU)TQ W, V, R, V c (W{V)~R{VTQ W, V, R, X c (W|R)~X{VTQ W, V, S, O c W~V|S{OTQ W, V, S, P c W~V|S~PTQ W, V, S, Q c (W{V|Q)~STQ W, V, S, R c W~R{V~STQ W, V, S, S c W{(V{S)~STQ W, V, S, U c (W|S)~(V{U)TQ W, V, S, V c (W|SV)~VTQ W, V, S, W c (W{V)~S|WTQ W, V, T, P c W~V|T{PTQ W, V, T, R c (W{T)~(V|R)TQ W, V, T, T c W~T{V{TTQ W, V, T, V c W{V~V|TTQ W, V, T, W c (W~W)|(V{T)TQ W, V, T, X c W{V~T{XTQ W, V, U, Q c W{V~U{QTQ W, V, U, R c W~(V|RU)TQ W, V, U, S c (W|S)~(V{U)TQ W, V, V, R c W~V|V{RTQ W, V, V, S c (W|SV)~VTQ W, V, V, T c W{V~V|TTQ W, V, W, Q c W~V|WQTQ W, V, W, S c W~V|W{STQ W, V, W, T c (W~W)|(V{T)TQ W, V, X, R c (W|R)~X{VTQ W, V, X, T c W~V|X{TTQ W, W, P, S c W~(W|P)|STQ W, W, Q, R c W~(W|RQ)TQ W, W, Q, S c W~(W|Q){STQ W, W, Q, T c W~(W{T)QTQ W, W, Q, U c W~W|Q~UTQ W, W, Q, V c W~V|WQTQ W, W, R, Q c W~(W|RQ)TQ W, W, R, S c W{(W{R)~STQ W, W, R, X c (W~W)|(R{X)TQ W, W, S, P c W~(W|P)|STQ W, W, S, Q c W~(W|Q){STQ W, W, S, R c W~W|S~RTQ W, W, S, T c W{W~T{STQ W, W, S, U c W{W~U|STQ W, W, S, V c W~V|W{STQ W, W, S, W c (W~W)|(S{W)TQ W, W, S, X c W{W{S~XTQ W, W, T, Q c W~(W{T)QTQ W, W, T, S c W{W~T{STQ W, W, T, V c (W~W)|(T{V)TQ W, W, U, Q c W~W|U~QTQ W, W, U, S c W{W~U|STQ W, W, U, U c W{W{U~UTQ W, W, U, X c W~(W|XU)TQ W, W, V, Q c W~V|WQTQ W, W, V, S c W~V|W{STQ W, W, V, T c (W~W)|(V{T)TQ W, W, W, S c (W~W)|(W{S)TQ W, W, X, R c (W~W)|(X{R)TQ W, W, X, S c W{W{X~STQ W, W, X, U c W~(W|XU)TQ W, X, P, R c (W{X)~R{PTQ W, X, P, T c W{X~T|PTQ W, X, P, U c (X{P)~U|WTQ W, X, Q, Q c (W{X~Q)~QTQ W, X, Q, S c W{(X{Q)~STQ W, X, Q, T c W~(X|TQ)TQ W, X, Q, X c (W{X{X)~QTQ W, X, R, P c (W{X)~R{PTQ W, X, R, S c W~(X|R){STQ W, X, R, T c W~T{X{RTQ W, X, R, V c (W|R)~X{VTQ W, X, R, W c (W~W)|(X{R)TQ W, X, S, Q c W~(X{S)QTQ W, X, S, R c W~(X|R){STQ W, X, S, S c (W{X|S)~STQ W, X, S, T c W~X|S~TTQ W, X, S, U c X~U|WSTQ W, X, S, W c W{X~S{WTQ W, X, T, P c W{X~T|PTQ W, X, T, Q c W~(X|TQ)TQ W, X, T, R c W~T{X{RTQ W, X, T, S c W~X|T~STQ W, X, T, T c (W{T)~(X|T)TQ W, X, T, U c W~(XU{T)TQ W, X, T, V c W{X{T~VTQ W, X, U, P c (X{P)~U|WTQ W, X, U, S c X~U|WSTQ W, X, U, T c W~(XU{T)TQ W, X, U, U c (W{UX)~UTQ W, X, U, W c (W|XU)~WTQ W, X, V, R c (W|R)~X{VTQ W, X, V, T c W{X{V~TTQ W, X, W, R c (W~W)|(X{R)TQ W, X, W, S c W{X~S{WTQ W, X, W, U c (W|XU)~WTQ W, X, X, Q c (W{X{X)~QTQ X, O, Q, U c (X{O)~U|QTQ X, O, S, S c (X{O{S)~STQ X, O, T, V c (X{O)~T{VTQ X, O, U, Q c (X{O)~U|QTQ X, O, V, T c (X{O)~T{VTQ X, P, P, U c (X~U)|(P{P)TQ X, P, Q, R c (X~R|P)~QTQ X, P, Q, T c (X{P)~T{QTQ X, P, Q, U c X~P~U|QTQ X, P, Q, V c X~(V|P)|QTQ X, P, R, Q c (X~R|P)~QTQ X, P, R, S c (X{P{R)~STQ X, P, R, U c (X|PR)~UTQ X, P, R, W c (X{W)~R{PTQ X, P, S, R c (X{P{R)~STQ X, P, S, S c (X{P~S)~STQ X, P, S, T c (X|P{T)~STQ X, P, S, U c (X|P)~U{STQ X, P, S, V c X~(P{S){VTQ X, P, T, Q c (X{P)~T{QTQ X, P, T, S c (X|P{T)~STQ X, P, T, U c X~T{P{UTQ X, P, T, V c X~P~T{VTQ X, P, T, W c X~T|P{WTQ X, P, U, P c (X~U)|(P{P)TQ X, P, U, Q c X~P~U|QTQ X, P, U, R c (X|PR)~UTQ X, P, U, S c (X|P)~U{STQ X, P, U, T c X~T{P{UTQ X, P, U, V c X{P{U~VTQ X, P, U, W c (X{P)~U|WTQ X, P, V, Q c X~(V|P)|QTQ X, P, V, S c (X|P)~V|STQ X, P, V, T c X~P~T{VTQ X, P, V, U c X{P{V~UTQ X, P, W, R c (X{W)~R{PTQ X, P, W, T c X~T|P{WTQ X, P, W, U c (X{P)~U|WTQ X, Q, O, U c (X{O)~U|QTQ X, Q, P, R c (X~R|P)~QTQ X, Q, P, T c (X{P)~T{QTQ X, Q, P, U c X~P~U|QTQ X, Q, P, V c X~(V|P)|QTQ X, Q, Q, R c X~Q~R|QTQ X, Q, Q, S c (X{Q{Q)~STQ X, Q, Q, W c (XQ{Q)~WTQ X, Q, R, P c (X~R|P)~QTQ X, Q, R, Q c X~Q~R|QTQ X, Q, R, R c X~(R{R)|QTQ X, Q, R, T c (X{Q)~T|RTQ X, Q, R, V c X~(Q{R){VTQ X, Q, R, X c (X|R)~X|QTQ X, Q, S, Q c X~(Q{S)|QTQ X, Q, S, T c (X~Q|T)~STQ X, Q, S, U c (X|Q{U)~STQ X, Q, S, W c (X{Q)~S{WTQ X, Q, T, P c X~(T{P)|QTQ X, Q, T, R c (X{Q)~T|RTQ X, Q, T, S c (X~Q|T)~STQ X, Q, T, T c X~T{Q{TTQ X, Q, T, V c Q~(T~V|X)TQ X, Q, T, W c (X|TQ)~WTQ X, Q, T, X c X|Q{T~XTQ X, Q, U, O c X~U|Q{OTQ X, Q, U, P c X~U|Q~PTQ X, Q, U, S c (X|Q{U)~STQ X, Q, U, U c (X|QU)~UTQ X, Q, U, X c X~(U|QX)TQ X, Q, V, P c X~(V|P)|QTQ X, Q, V, R c (X|Q)~V{RTQ X, Q, V, T c Q~(V~T|X)TQ X, Q, V, V c X~(V|Q){VTQ X, Q, V, X c (X~V)|(Q{X)TQ X, Q, W, Q c (X~Q{W)~QTQ X, Q, W, S c (X|Q)~W|STQ X, Q, W, T c (X|TQ)~WTQ X, Q, W, X c (X{W{X)~QTQ X, Q, X, R c (X{X)~R|QTQ X, Q, X, T c X|Q{X~TTQ X, Q, X, U c X~(U|QX)TQ X, Q, X, V c (X~V)|(Q{X)TQ X, Q, X, W c (X{X{W)~QTQ X, R, P, Q c (X~R|P)~QTQ X, R, P, S c (X{R{P)~STQ X, R, P, U c (X|PR)~UTQ X, R, P, W c (X{W)~R{PTQ X, R, Q, P c (X~R|P)~QTQ X, R, Q, Q c X~R~Q|QTQ X, R, Q, R c X~(R{R)|QTQ X, R, Q, T c (X{Q)~T|RTQ X, R, Q, V c X~(R{Q){VTQ X, R, Q, X c (X|R)~X|QTQ X, R, R, Q c X~(R{R)|QTQ X, R, S, P c (X{R{P)~STQ X, R, S, S c (X{R)~S{STQ X, R, S, T c X~T{R{STQ X, R, S, V c (X|R{V)~STQ X, R, S, W c (X|R)~W{STQ X, R, T, Q c (X{Q)~T|RTQ X, R, T, S c X~T{R{STQ X, R, T, T c X~R{T~TTQ X, R, T, U c X~U{R|TTQ X, R, T, W c X{R{T~WTQ X, R, U, P c X~U|R{PTQ X, R, U, T c X~U{R|TTQ X, R, U, U c X~U|URTQ X, R, U, V c (X{U)~R{VTQ X, R, U, X c (X|RX)~UTQ X, R, V, Q c X~(R{Q){VTQ X, R, V, S c (X|R{V)~STQ X, R, V, U c (X{U)~R{VTQ X, R, V, V c XR{V~VTQ X, R, V, W c (X~V)|(R{W)TQ X, R, W, P c (X{W)~R{PTQ X, R, W, S c (X|R)~W{STQ X, R, W, T c X{R{W~TTQ X, R, W, V c X~(W|R){VTQ X, R, W, W c (W~W)|(X{R)TQ X, R, X, Q c (X|R)~X|QTQ X, R, X, U c (X|RX)~UTQ X, S, O, S c (X{S{O)~STQ X, S, P, R c (X{S)~(P{R)TQ X, S, P, S c (X{S)~(P~S)TQ X, S, P, T c (X{S)~(T|P)TQ X, S, P, U c (X|P)~U{STQ X, S, P, V c X~(S{P){VTQ X, S, Q, Q c (X{S)~(Q{Q)TQ X, S, Q, T c (X~Q|T)~STQ X, S, Q, U c (X{S)~(U|Q)TQ X, S, Q, W c (X{S)Q~WTQ X, S, R, P c (X{S)~(R{P)TQ X, S, R, S c (X{R)~S{STQ X, S, R, T c X~T{S{RTQ X, S, R, V c (X{S)~(V|R)TQ X, S, R, W c (X|R)~W{STQ X, S, S, O c (X{S)~(S{O)TQ X, S, S, P c (X{S)~(S~P)TQ X, S, S, R c (X{R)~S{STQ X, S, S, S c X~S{S~STQ X, S, S, T c (X{T)~S|STQ X, S, S, W c (X{S)~(W|S)TQ X, S, T, P c (X{S)~(T|P)TQ X, S, T, Q c (X~Q|T)~STQ X, S, T, R c X~T{S{RTQ X, S, T, S c (X{T)~S|STQ X, S, T, W c X~W|S~TTQ X, S, T, X c (X{S)~(X|T)TQ X, S, U, P c (X|P)~U{STQ X, S, U, Q c (X{S)~(U|Q)TQ X, S, U, U c X~U{S|UTQ X, S, U, W c (X{U)~S|WTQ X, S, V, P c X~(S{P){VTQ X, S, V, R c (X{S)~(V|R)TQ X, S, V, V c (X~V)|(S{V)TQ X, S, V, X c X~S{V{XTQ X, S, W, Q c (X{S)~(WQ)TQ X, S, W, R c (X|R)~W{STQ X, S, W, S c (X{S)~(W|S)TQ X, S, W, T c X~W|S~TTQ X, S, W, U c (X{U)~S|WTQ X, S, W, W c X~S{W{WTQ X, S, X, T c (X{S)~(X|T)TQ X, S, X, V c X{S~X{VTQ X, T, O, V c X~T{O{VTQ X, T, P, Q c X~(T{P)|QTQ X, T, P, S c (X{T|P)~STQ X, T, P, U c X~T{P{UTQ X, T, P, V c X~T{P~VTQ X, T, P, W c X~T|P{WTQ X, T, Q, P c X~(T{P)|QTQ X, T, Q, R c (X{Q)~T|RTQ X, T, Q, S c (X~Q|T)~STQ X, T, Q, T c X~T{Q{TTQ X, T, Q, V c (T~V|X)~QTQ X, T, Q, W c (X|TQ)~WTQ X, T, Q, X c X~T|Q{XTQ X, T, R, Q c (X{Q)~T|RTQ X, T, R, S c X~T{R{STQ X, T, R, T c X~R{T~TTQ X, T, R, U c X~U|T{RTQ X, T, R, W c X{T~W{RTQ X, T, S, P c (X{T|P)~STQ X, T, S, Q c (X~Q|T)~STQ X, T, S, R c X~T{S{RTQ X, T, S, S c (X{T)~S|STQ X, T, S, W c X~W|T~STQ X, T, S, X c (X|T)~(S{X)TQ X, T, T, Q c X~T{T{QTQ X, T, T, R c X~R{T~TTQ X, T, T, V c (X{VT)~TTQ X, T, T, W c (X|T)~(T{W)TQ X, T, U, P c X~T{U{PTQ X, T, U, R c X~U|T{RTQ X, T, U, V c (X|T)~(U{V)TQ X, T, U, W c X|T{U~WTQ X, T, V, O c X~T{V{OTQ X, T, V, P c X~T{V~PTQ X, T, V, Q c (T~V|X)~QTQ X, T, V, T c (X{VT)~TTQ X, T, V, U c (X|T)~(V{U)TQ X, T, V, W c X{T~V{WTQ X, T, V, X c X~(T{VX)TQ X, T, W, P c X~T{W|PTQ X, T, W, Q c (X|TQ)~WTQ X, T, W, R c X{T~W{RTQ X, T, W, S c X~W|T~STQ X, T, W, T c (X|T)~(W{T)TQ X, T, W, U c X|T{W~UTQ X, T, W, V c X{T~V{WTQ X, T, X, Q c X{T~X|QTQ X, T, X, S c (X|T{X)~STQ X, T, X, V c X~(T{VX)TQ X, U, O, Q c X~U{O|QTQ X, U, P, P c (X~U)|(P{P)TQ X, U, P, Q c X~U|P~QTQ X, U, P, R c X~U{P|RTQ X, U, P, S c (X|P)~U{STQ X, U, P, T c X~T{U{PTQ X, U, P, V c X~(U|P){VTQ X, U, P, W c (X{P)~U|WTQ X, U, Q, O c X~U|Q{OTQ X, U, Q, P c X~U|Q~PTQ X, U, Q, S c (X{U|Q)~STQ X, U, Q, U c (X|QU)~UTQ X, U, Q, X c X~(U|QX)TQ X, U, R, P c X~U|R{PTQ X, U, R, T c X~U{R|TTQ X, U, R, U c X~U|URTQ X, U, R, V c (X{U)~R{VTQ X, U, R, X c (X|RX)~UTQ X, U, S, P c (X|P)~U{STQ X, U, S, Q c X~U|S{QTQ X, U, S, U c X~U{S|UTQ X, U, S, W c (X{U)~S|WTQ X, U, T, P c X~T{U{PTQ X, U, T, R c X~U|T{RTQ X, U, T, V c X~U{T|VTQ X, U, T, W c (XU{T)~WTQ X, U, U, Q c (X|QU)~UTQ X, U, U, R c X~U|URTQ X, U, U, S c X~U|U{STQ X, U, U, V c X{U~U{VTQ X, U, U, W c X~U{U|WTQ X, U, V, P c X{U~V{PTQ X, U, V, R c (X{U)~R{VTQ X, U, V, T c X~U|V{TTQ X, U, V, U c X{U~U{VTQ X, U, V, V c X|U{V~VTQ X, U, V, X c X~U{V|XTQ X, U, W, P c (X{P)~U|WTQ X, U, W, S c X~U|WSTQ X, U, W, T c X{U~W|TTQ X, U, W, U c X~U|W{UTQ X, U, W, W c (W|XU)~WTQ X, U, X, Q c X~(U|QX)TQ X, U, X, R c (X|RX)~UTQ X, U, X, V c X~U|X{VTQ X, V, O, T c (X{O)~T{VTQ X, V, P, Q c X~(V|P)|QTQ X, V, P, S c (X|P)~V|STQ X, V, P, T c X~P~T{VTQ X, V, P, U c X{V~U{PTQ X, V, Q, P c X~(V|P)|QTQ X, V, Q, R c (X|Q)~V{RTQ X, V, Q, T c (V~T|X)~QTQ X, V, Q, V c X~(V|Q){VTQ X, V, Q, X c (X~V)|(Q{X)TQ X, V, R, Q c X~(R{Q){VTQ X, V, R, S c (X{V|R)~STQ X, V, R, U c (X{U)~R{VTQ X, V, R, V c XR{V~VTQ X, V, R, W c (X~V)|(R{W)TQ X, V, S, P c X~(S{P){VTQ X, V, S, R c (X{V|R)~STQ X, V, S, V c (X~V)|(S{V)TQ X, V, S, X c X{V{S~XTQ X, V, T, O c X~T{V{OTQ X, V, T, P c X~T{V~PTQ X, V, T, Q c (V~T|X)~QTQ X, V, T, T c (X{VT)~TTQ X, V, T, U c (X~V)|(T{U)TQ X, V, T, W c X{V~T{WTQ X, V, T, X c X~(VX{T)TQ X, V, U, P c X{V~U{PTQ X, V, U, R c (X{U)~R{VTQ X, V, U, T c (X~V)|(U{T)TQ X, V, U, U c X{V{U~UTQ X, V, U, V c X{V~V|UTQ X, V, U, X c X~U{V|XTQ X, V, V, Q c X~(V|Q){VTQ X, V, V, R c XR{V~VTQ X, V, V, S c (X~V)|(V{S)TQ X, V, V, U c X{V~V|UTQ X, V, W, R c (X~V)|(W{R)TQ X, V, W, T c X{V~T{WTQ X, V, X, Q c (X~V)|(X{Q)TQ X, V, X, S c X{V{X~STQ X, V, X, T c X~(VX{T)TQ X, V, X, U c X~U{V|XTQ X, W, P, R c (X{W)~R{PTQ X, W, P, T c X~T{W|PTQ X, W, P, U c (X{P)~U|WTQ X, W, Q, Q c X~(W|Q)|QTQ X, W, Q, S c (X{WQ)~STQ X, W, Q, T c (X|TQ)~WTQ X, W, Q, X c (X{W{X)~QTQ X, W, R, P c (X{W)~R{PTQ X, W, R, S c (X|R)~W{STQ X, W, R, T c X{W~T{RTQ X, W, R, V c X~(W|R){VTQ X, W, R, W c (W~W)|(X{R)TQ X, W, S, Q c (X{WQ)~STQ X, W, S, R c (X|R)~W{STQ X, W, S, S c (X{W|S)~STQ X, W, S, T c X~W|S~TTQ X, W, S, U c X~U|WSTQ X, W, S, W c X~S{W{WTQ X, W, T, P c X~T{W|PTQ X, W, T, Q c (X|TQ)~WTQ X, W, T, R c X{W~T{RTQ X, W, T, S c X~W|T~STQ X, W, T, T c (X|T)~(W{T)TQ X, W, T, U c X{W~U|TTQ X, W, T, V c X{W{T~VTQ X, W, U, P c (X{P)~U|WTQ X, W, U, S c X~U|WSTQ X, W, U, T c X{W~U|TTQ X, W, U, U c X~U|W{UTQ X, W, U, W c (W|XU)~WTQ X, W, V, R c X~(W|R){VTQ X, W, V, T c X{W{V~TTQ X, W, W, R c (W~W)|(X{R)TQ X, W, W, S c X~S{W{WTQ X, W, W, U c (W|XU)~WTQ X, W, X, Q c (X{W{X)~QTQ X, X, Q, R c (X{X)~R|QTQ X, X, Q, T c X{X~T|QTQ X, X, Q, U c X~(U|QX)TQ X, X, Q, V c (X~V)|(X{Q)TQ X, X, Q, W c (X{X{W)~QTQ X, X, R, Q c (X{X)~R|QTQ X, X, R, U c (X|RX)~UTQ X, X, S, T c (X{X|T)~STQ X, X, S, V c X{X~S{VTQ X, X, T, Q c X{X~T|QTQ X, X, T, S c (X{X|T)~STQ X, X, T, V c X~(T{VX)TQ X, X, U, Q c X~(U|QX)TQ X, X, U, R c (X|RX)~UTQ X, X, U, V c X~U|X{VTQ X, X, V, Q c (X~V)|(X{Q)TQ X, X, V, S c X{X~S{VTQ X, X, V, T c X~(VX{T)TQ X, X, V, U c X~U|X{VTQ X, X, W, Q c (X{X{W)~QTQ