P, Q, U, W c Q~(U~W|P)XS P, Q, W, U c Q~(W~U|P)XS P, S, X, X c (P{X)~X{SXS P, U, Q, W c (U~W|P)~QXS P, U, W, Q c (U~W|P)~QXS P, W, Q, U c (W~U|P)~QXS P, W, U, Q c (W~U|P)~QXS P, X, S, X c (P{X)~X{SXS P, X, X, S c (P{X)~X{SXS Q, P, U, W c Q~(U~W|P)XS Q, P, W, U c Q~(W~U|P)XS Q, Q, T, X c Q~(Q{T~X)XS Q, Q, U, W c Q~U~W|QXS Q, Q, V, V c Q~(V~V|Q)XS Q, Q, W, U c Q~W~U|QXS Q, Q, X, T c Q~(Q{X~T)XS Q, R, S, W c R~S~W|QXS Q, R, W, S c R~W~S|QXS Q, R, W, X c (R{X)~W|QXS Q, R, X, W c (R{X)~W|QXS Q, S, R, W c S~R~W|QXS Q, S, S, U c S~S~U|QXS Q, S, T, X c Q~T~X{SXS Q, S, U, S c S~U~S|QXS Q, S, V, V c Q~V~V|SXS Q, S, W, R c S~W~R|QXS Q, S, W, W c (S{W)~W|QXS Q, S, W, X c (Q{W)~X{SXS Q, S, X, T c Q~X~T{SXS Q, S, X, W c (Q{W)~X{SXS Q, T, Q, X c (Q{T~X)~QXS Q, T, S, X c Q~T~X{SXS Q, T, U, V c Q~(T{U~V)XS Q, T, V, U c Q~(T{V~U)XS Q, T, V, W c Q~(T~W{V)XS Q, T, W, V c Q~(T~W{V)XS Q, T, X, Q c (Q{T~X)~QXS Q, T, X, S c Q~T~X{SXS Q, T, X, X c (Q{X)~X|TXS Q, U, P, W c Q~(U~W|P)XS Q, U, Q, W c Q~U~W|QXS Q, U, S, S c U~S~S|QXS Q, U, T, V c Q~(U~V{T)XS Q, U, U, W c (U{U)~W|QXS Q, U, V, T c Q~(U~V{T)XS Q, U, V, X c Q~(U~X|V)XS Q, U, W, P c Q~(U~W|P)XS Q, U, W, Q c Q~U~W|QXS Q, U, W, U c (U{U)~W|QXS Q, U, W, W c U~(W{W)|QXS Q, U, W, X c (Q{X)~W{UXS Q, U, X, V c Q~(U~X|V)XS Q, U, X, W c (Q{X)~W{UXS Q, V, Q, V c Q~(V~V|Q)XS Q, V, S, V c Q~V~V|SXS Q, V, T, U c Q~(V~U{T)XS Q, V, T, W c Q~(V{T~W)XS Q, V, U, T c Q~(V~U{T)XS Q, V, U, X c Q~(U~X|V)XS Q, V, V, Q c Q~(V~V|Q)XS Q, V, V, S c Q~V~V|SXS Q, V, W, T c Q~(V{W~T)XS Q, V, W, X c Q~(V~W|X)XS Q, V, X, U c Q~(X~U|V)XS Q, V, X, W c Q~(V~W|X)XS Q, W, P, U c Q~(W~U|P)XS Q, W, Q, U c Q~W~U|QXS Q, W, R, S c W~R~S|QXS Q, W, R, X c W~(R{X)|QXS Q, W, S, R c W~S~R|QXS Q, W, S, W c (W{S)~W|QXS Q, W, S, X c (Q{W)~X{SXS Q, W, T, V c Q~(W~T{V)XS Q, W, U, P c Q~(W~U|P)XS Q, W, U, Q c Q~W~U|QXS Q, W, U, U c W~(U{U)|QXS Q, W, U, W c (W{W)~U|QXS Q, W, U, X c (Q{X)~W{UXS Q, W, V, T c Q~(W~T{V)XS Q, W, V, X c Q~(W~V|X)XS Q, W, W, S c W~(W{S)|QXS Q, W, W, U c (W{W)~U|QXS Q, W, X, R c W~(X{R)|QXS Q, W, X, S c (Q{W)~X{SXS Q, W, X, U c (Q{X)~W{UXS Q, W, X, V c Q~(W~V|X)XS Q, X, Q, T c (Q{X~T)~QXS Q, X, R, W c (X{R)~W|QXS Q, X, S, T c Q~X~T{SXS Q, X, S, W c (Q{W)~X{SXS Q, X, T, Q c (Q{X~T)~QXS Q, X, T, S c Q~X~T{SXS Q, X, T, X c (Q{X)~X|TXS Q, X, U, V c Q~(X~U|V)XS Q, X, U, W c (Q{X)~W{UXS Q, X, V, U c Q~(X~U|V)XS Q, X, V, W c Q~(V~W|X)XS Q, X, W, R c (X{R)~W|QXS Q, X, W, S c (Q{W)~X{SXS Q, X, W, U c (Q{X)~W{UXS Q, X, W, V c Q~(W~V|X)XS Q, X, X, T c (Q{X)~X|TXS R, Q, S, W c R~S~W|QXS R, Q, W, S c R~W~S|QXS R, Q, W, X c (R{X)~W|QXS R, Q, X, W c (R{X)~W|QXS R, S, Q, W c R~S~W|QXS R, S, T, U c R~T~U{SXS R, S, U, T c R~U~T{SXS R, S, V, X c R{(S{X)~VXS R, S, W, Q c R~S~W|QXS R, S, X, V c R{(S{X)~VXS R, T, S, U c R~T~U{SXS R, T, U, S c R~T~U{SXS R, T, V, W c R{(T{W)~VXS R, T, W, V c R{(T{W)~VXS R, T, W, X c (R{W)~X|TXS R, T, X, W c (R{W)~X|TXS R, U, S, T c R~U~T{SXS R, U, T, S c R~U~T{SXS R, U, V, V c R{(U{V)~VXS R, U, W, W c (R{W)~W{UXS R, V, S, X c R{V~(S{X)XS R, V, T, W c R{V~(T{W)XS R, V, U, V c R{(V{U)~VXS R, V, V, U c R{V~(V{U)XS R, V, W, T c R{V~(W{T)XS R, V, X, S c (R{V)~X{SXS R, W, Q, S c R~W~S|QXS R, W, Q, X c (R{X)~W|QXS R, W, S, Q c R~W~S|QXS R, W, T, V c R{(W{T)~VXS R, W, T, X c (R{W)~X|TXS R, W, U, W c (R{W)~W{UXS R, W, V, T c R{(W{T)~VXS R, W, W, U c (R{W)~W{UXS R, W, X, Q c (R{X)~W|QXS R, W, X, T c (R{W)~X|TXS R, X, Q, W c (R{X)~W|QXS R, X, S, V c R{(X{S)~VXS R, X, T, W c (R{W)~X|TXS R, X, V, S c R{(X{S)~VXS R, X, W, Q c (R{X)~W|QXS R, X, W, T c (R{W)~X|TXS S, P, X, X c S{(P{X)~XXS S, Q, R, W c S~R~W|QXS S, Q, S, U c S~S~U|QXS S, Q, T, X c S{Q~T~XXS S, Q, U, S c S~U~S|QXS S, Q, V, V c Q~V~V|SXS S, Q, W, R c S~W~R|QXS S, Q, W, W c (S{W)~W|QXS S, Q, W, X c S{(Q{W)~XXS S, Q, X, T c S{Q~X~TXS S, Q, X, W c S{(Q{W)~XXS S, R, Q, W c S~R~W|QXS S, R, T, U c S{R~T~UXS S, R, U, T c S{R~U~TXS S, R, V, X c S{(R{V)~XXS S, R, W, Q c S~R~W|QXS S, R, X, V c S{(R{V)~XXS S, S, Q, U c S~S~U|QXS S, S, U, Q c S~S~U|QXS S, S, U, X c S{(S{U)~XXS S, S, X, U c S{(S{U)~XXS S, T, Q, X c S{T~Q~XXS S, T, R, U c S{T~R~UXS S, T, T, U c S~T~T|UXS S, T, T, X c S{(T{T)~XXS S, T, U, R c S{T~U~RXS S, T, U, T c S~T~T|UXS S, T, V, X c (S{V)~X|TXS S, T, X, Q c S{T~X~QXS S, T, X, T c S{(T{T)~XXS S, T, X, V c (S{V)~X|TXS S, T, X, X c S{T~(X{X)XS S, U, Q, S c S~U~S|QXS S, U, R, T c S{U~R~TXS S, U, S, Q c S~U~S|QXS S, U, S, X c S{(U{S)~XXS S, U, T, R c S{U~T~RXS S, U, T, T c S~T~T|UXS S, U, U, X c S{U~(U{X)XS S, U, V, W c S{U~(V{W)XS S, U, W, V c S{U~(W{V)XS S, U, X, S c (S{U)~X{SXS S, U, X, U c S{(U{X)~UXS S, V, Q, V c V~Q~V|SXS S, V, R, X c S{(V{R)~XXS S, V, T, X c (S{V)~X|TXS S, V, U, W c S{(V{W)~UXS S, V, V, Q c V~V~Q|SXS S, V, V, V c (V{V)~V|SXS S, V, W, U c S{(V{W)~UXS S, V, X, R c S{(V{R)~XXS S, V, X, T c (S{V)~X|TXS S, W, Q, R c S~W~R|QXS S, W, Q, W c (S{W)~W|QXS S, W, Q, X c S{(W{Q)~XXS S, W, R, Q c S~W~R|QXS S, W, U, V c S{(W{V)~UXS S, W, V, U c S{(W{V)~UXS S, W, W, Q c (S{W)~W|QXS S, W, X, Q c S{(W{Q)~XXS S, X, P, X c S{(X{P)~XXS S, X, Q, T c S{X~Q~TXS S, X, Q, W c S{X~(Q{W)XS S, X, R, V c S{X~(R{V)XS S, X, S, U c S{X~(S{U)XS S, X, T, Q c S{X~T~QXS S, X, T, T c S{X~(T{T)XS S, X, T, V c (S{V)~X|TXS S, X, T, X c S{(X{X)~TXS S, X, U, S c S{X~(U{S)XS S, X, U, U c S{(X{U)~UXS S, X, V, R c (S{X)~V{RXS S, X, V, T c (S{V)~X|TXS S, X, W, Q c S{X~(W{Q)XS S, X, X, P c S{X~(X{P)XS S, X, X, T c S{(X{X)~TXS S, X, X, X c S{X{X~XXS T, Q, Q, X c (T~X{Q)~QXS T, Q, S, X c T~Q~X{SXS T, Q, U, V c (T{U~V)~QXS T, Q, V, U c (T{V~U)~QXS T, Q, V, W c (T{V)~W|QXS T, Q, W, V c (T~W{V)~QXS T, Q, X, Q c (T~X{Q)~QXS T, Q, X, S c T~Q~X{SXS T, Q, X, X c (Q{X)~X|TXS T, R, S, U c T~R~U{SXS T, R, U, S c T~R~U{SXS T, R, V, W c (T{W)~V{RXS T, R, W, V c (T{W)~V{RXS T, R, W, X c (R{W)~X|TXS T, R, X, W c (R{W)~X|TXS T, S, Q, X c T~Q~X{SXS T, S, R, U c T~R~U{SXS T, S, T, U c T~S~T|UXS T, S, T, X c (T{T)~X{SXS T, S, U, R c T~U~R{SXS T, S, U, T c T~S~T|UXS T, S, V, X c (T{X)~V|SXS T, S, X, Q c T~X~Q{SXS T, S, X, T c (T{T)~X{SXS T, S, X, V c (T{X)~V|SXS T, S, X, X c T~(X{X){SXS T, T, S, U c T~T~S|UXS T, T, S, X c (T{T)~X{SXS T, T, U, S c T~T~S|UXS T, T, U, X c (T{U)~X|TXS T, T, X, S c (T{T)~X{SXS T, T, X, U c (T{U)~X|TXS T, U, Q, V c (T{U~V)~QXS T, U, R, S c T~U~R{SXS T, U, S, R c T~U~R{SXS T, U, S, T c T~S~T|UXS T, U, T, S c T~T~S|UXS T, U, T, X c (T{U)~X|TXS T, U, U, W c (T{U)~W{UXS T, U, V, Q c (T{U~V)~QXS T, U, W, U c (T{U)~W{UXS T, U, W, W c T~U{W~WXS T, U, W, X c T~W{U~XXS T, U, X, T c (T{U)~X|TXS T, U, X, W c T~W{U~XXS T, V, Q, U c (T{V~U)~QXS T, V, Q, W c (T{V)~W|QXS T, V, R, W c (T{W)~V{RXS T, V, S, X c (T{X)~V|SXS T, V, U, Q c (T{V~U)~QXS T, V, V, X c T~X{V~VXS T, V, W, Q c (T{V)~W|QXS T, V, W, R c (T{W)~V{RXS T, V, X, S c (T{X)~V|SXS T, V, X, V c T~X{V~VXS T, W, Q, V c (T~W{V)~QXS T, W, R, V c (T{W)~V{RXS T, W, R, X c (W{R)~X|TXS T, W, U, U c (T{U)~W{UXS T, W, U, W c T~U{W~WXS T, W, U, X c T~W{U~XXS T, W, V, Q c (T~W{V)~QXS T, W, V, R c (T{W)~V{RXS T, W, W, U c T~U{W~WXS T, W, X, R c (W{R)~X|TXS T, W, X, U c T~W{X~UXS T, W, X, X c T{W{X~XXS T, X, Q, Q c (T~X{Q)~QXS T, X, Q, S c T~X~Q{SXS T, X, Q, X c (X{Q)~X|TXS T, X, R, W c X~(R{W)|TXS T, X, S, Q c T~X~Q{SXS T, X, S, T c (T{T)~X{SXS T, X, S, V c (T{X)~V|SXS T, X, S, X c T~(X{X){SXS T, X, T, S c (T{T)~X{SXS T, X, T, U c (T{U)~X|TXS T, X, U, T c (T{U)~X|TXS T, X, U, W c T~W{X~UXS T, X, V, S c (T{X)~V|SXS T, X, V, V c T~X{V~VXS T, X, W, R c X~(W{R)|TXS T, X, W, U c T~W{X~UXS T, X, W, X c T~(X{W){XXS T, X, X, Q c X~(X{Q)|TXS T, X, X, S c T~(X{X){SXS T, X, X, W c T{X~X{WXS U, P, Q, W c (U~W|P)~QXS U, P, W, Q c (U~W|P)~QXS U, Q, P, W c (U~W|P)~QXS U, Q, Q, W c U~Q~W|QXS U, Q, S, S c U~S~S|QXS U, Q, T, V c (U~V{T)~QXS U, Q, U, W c (U{U)~W|QXS U, Q, V, T c (U~V{T)~QXS U, Q, V, X c U~(V{X)|QXS U, Q, W, P c (U~W|P)~QXS U, Q, W, Q c U~Q~W|QXS U, Q, W, U c (U{U)~W|QXS U, Q, W, W c U~(W{W)|QXS U, Q, W, X c U{(Q{X)~WXS U, Q, X, V c U~(X{V)|QXS U, Q, X, W c U{(Q{X)~WXS U, R, S, T c U~R~T{SXS U, R, T, S c U~R~T{SXS U, R, V, V c (U{V)~V{RXS U, R, W, W c U{(R{W)~WXS U, S, Q, S c U~S~S|QXS U, S, R, T c U~R~T{SXS U, S, S, Q c U~S~S|QXS U, S, S, X c (U{S)~X{SXS U, S, T, R c U~T~R{SXS U, S, T, T c S~T~T|UXS U, S, U, X c U~(U{X){SXS U, S, V, W c U{(S{V)~WXS U, S, W, V c U{(S{V)~WXS U, S, X, S c (U{S)~X{SXS U, S, X, U c (U{X)~U{SXS U, T, Q, V c (U~V{T)~QXS U, T, R, S c U~T~R{SXS U, T, S, R c U~T~R{SXS U, T, S, T c T~S~T|UXS U, T, T, S c T~T~S|UXS U, T, T, X c (U{T)~X|TXS U, T, U, W c U{(T{U)~WXS U, T, V, Q c (U~V{T)~QXS U, T, W, U c (U{T)~W{UXS U, T, W, W c U~T{W~WXS U, T, W, X c U~X{T~WXS U, T, X, T c (U{T)~X|TXS U, T, X, W c U~X{T~WXS U, U, Q, W c (U{U)~W|QXS U, U, S, X c U~(U{X){SXS U, U, T, W c U{(U{T)~WXS U, U, W, Q c (U{U)~W|QXS U, U, W, T c U{(U{T)~WXS U, U, X, S c U~(U{X){SXS U, V, Q, T c (U~V{T)~QXS U, V, Q, X c U~(V{X)|QXS U, V, R, V c (U{V)~V{RXS U, V, S, W c U{(V{S)~WXS U, V, T, Q c (U~V{T)~QXS U, V, V, R c (U{V)~V{RXS U, V, W, S c U~(V{W){SXS U, V, X, Q c U~(V{X)|QXS U, V, X, X c U{V{X~XXS U, W, P, Q c (U~W|P)~QXS U, W, Q, P c (U~W|P)~QXS U, W, Q, Q c U~W~Q|QXS U, W, Q, U c (U{U)~W|QXS U, W, Q, W c U~(W{W)|QXS U, W, Q, X c U{W~(Q{X)XS U, W, R, W c U{(W{R)~WXS U, W, S, V c U{W~(S{V)XS U, W, T, U c U{W~(T{U)XS U, W, T, W c U~T{W~WXS U, W, T, X c U~X{W~TXS U, W, U, Q c (U{U)~W|QXS U, W, U, T c U{W~(U{T)XS U, W, V, S c U{W~(V{S)XS U, W, W, Q c U~(W{W)|QXS U, W, W, R c U{W~(W{R)XS U, W, W, T c U~T{W~WXS U, W, W, X c U~(W{X)|WXS U, W, X, Q c U{W~(X{Q)XS U, W, X, T c U~X{W~TXS U, W, X, W c U~(W{X)|WXS U, X, Q, V c U~(X{V)|QXS U, X, Q, W c U{(X{Q)~WXS U, X, S, S c (U{S)~X{SXS U, X, S, U c (U{X)~U{SXS U, X, T, T c (U{T)~X|TXS U, X, T, W c U~X{T~WXS U, X, U, S c (U{X)~U{SXS U, X, V, Q c U~(X{V)|QXS U, X, V, X c U{X~X{VXS U, X, W, Q c U{(X{Q)~WXS U, X, W, T c U~X{W~TXS U, X, W, W c U~(X{W)|WXS U, X, X, V c U{X~X{VXS V, Q, Q, V c (V~V|Q)~QXS V, Q, S, V c V~Q~V|SXS V, Q, T, U c (V~U{T)~QXS V, Q, T, W c (V{T)~W|QXS V, Q, U, T c (V~U{T)~QXS V, Q, U, X c (V{X)~U|QXS V, Q, V, Q c (V~V|Q)~QXS V, Q, V, S c V~Q~V|SXS V, Q, W, T c (V{W~T)~QXS V, Q, W, X c (V~W|X)~QXS V, Q, X, U c (V{X)~U|QXS V, Q, X, W c (V~W|X)~QXS V, R, S, X c (V{R)~X{SXS V, R, T, W c V~(T{W){RXS V, R, U, V c (V{U)~V{RXS V, R, V, U c V~(V{U){RXS V, R, W, T c V~(W{T){RXS V, R, X, S c (V{R)~X{SXS V, S, Q, V c V~Q~V|SXS V, S, R, X c V~(S{X){RXS V, S, T, X c (V{S)~X|TXS V, S, U, W c (V{S)~W{UXS V, S, V, Q c V~V~Q|SXS V, S, V, V c (V{V)~V|SXS V, S, W, U c (V{S)~W{UXS V, S, X, R c V~(S{X){RXS V, S, X, T c (V{S)~X|TXS V, T, Q, U c (V~U{T)~QXS V, T, Q, W c (V{T)~W|QXS V, T, R, W c V~(T{W){RXS V, T, S, X c V~(T{X)|SXS V, T, U, Q c (V~U{T)~QXS V, T, V, X c V~V{T~XXS V, T, W, Q c (V{T)~W|QXS V, T, W, R c V~(T{W){RXS V, T, X, S c V~(T{X)|SXS V, T, X, V c V~V{T~XXS V, U, Q, T c (V~U{T)~QXS V, U, Q, X c (V{X)~U|QXS V, U, R, V c (V{U)~V{RXS V, U, S, W c V~(U{W)|SXS V, U, T, Q c (V~U{T)~QXS V, U, V, R c (V{U)~V{RXS V, U, W, S c V~(U{W)|SXS V, U, X, Q c (V{X)~U|QXS V, U, X, X c V{U{X~XXS V, V, Q, Q c (V~V|Q)~QXS V, V, Q, S c V~V~Q|SXS V, V, R, U c V~(V{U){RXS V, V, S, Q c V~V~Q|SXS V, V, S, V c (V{V)~V|SXS V, V, T, X c V~V{T~XXS V, V, U, R c V~(V{U){RXS V, V, V, S c (V{V)~V|SXS V, V, X, T c V~V{X~TXS V, W, Q, T c (V{W~T)~QXS V, W, Q, X c (V~W|X)~QXS V, W, R, T c V~(W{T){RXS V, W, S, U c (V{W)~U{SXS V, W, T, Q c (V{W~T)~QXS V, W, T, R c V~(W{T){RXS V, W, U, S c (V{W)~U{SXS V, W, X, Q c (V~W|X)~QXS V, X, Q, U c (V{X)~U|QXS V, X, Q, W c (V~W|X)~QXS V, X, R, S c V~(X{S){RXS V, X, S, R c V~(X{S){RXS V, X, S, T c V~(X{T)|SXS V, X, T, S c V~(X{T)|SXS V, X, T, V c V~V{X~TXS V, X, U, Q c (V{X)~U|QXS V, X, U, X c V{X~X{UXS V, X, V, T c V~V{X~TXS V, X, W, Q c (V~W|X)~QXS V, X, X, U c V{X~X{UXS W, P, Q, U c (W~U|P)~QXS W, P, U, Q c (W~U|P)~QXS W, Q, P, U c (W~U|P)~QXS W, Q, Q, U c W~Q~U|QXS W, Q, R, S c W~R~S|QXS W, Q, R, X c W~(R{X)|QXS W, Q, S, R c W~S~R|QXS W, Q, S, W c (W{S)~W|QXS W, Q, S, X c (W{Q)~X{SXS W, Q, T, V c W~(T{V)|QXS W, Q, U, P c (W~U|P)~QXS W, Q, U, Q c W~Q~U|QXS W, Q, U, U c W~(U{U)|QXS W, Q, U, W c (W{W)~U|QXS W, Q, U, X c W~(Q{X){UXS W, Q, V, T c W~(V{T)|QXS W, Q, V, X c (W~V|X)~QXS W, Q, W, S c W~(W{S)|QXS W, Q, W, U c (W{W)~U|QXS W, Q, X, R c W~(X{R)|QXS W, Q, X, S c (W{Q)~X{SXS W, Q, X, U c W~(Q{X){UXS W, Q, X, V c (W~V|X)~QXS W, R, Q, S c W~R~S|QXS W, R, Q, X c W~(R{X)|QXS W, R, S, Q c W~R~S|QXS W, R, T, V c (W{T)~V{RXS W, R, T, X c (W{R)~X|TXS W, R, U, W c (W{R)~W{UXS W, R, V, T c (W{T)~V{RXS W, R, W, U c (W{R)~W{UXS W, R, X, Q c W~(R{X)|QXS W, R, X, T c (W{R)~X|TXS W, S, Q, R c W~S~R|QXS W, S, Q, W c (W{S)~W|QXS W, S, Q, X c (W{Q)~X{SXS W, S, R, Q c W~S~R|QXS W, S, U, V c W~(S{V){UXS W, S, V, U c W~(S{V){UXS W, S, W, Q c (W{S)~W|QXS W, S, X, Q c (W{Q)~X{SXS W, T, Q, V c W~(T{V)|QXS W, T, R, V c (W{T)~V{RXS W, T, R, X c (W{R)~X|TXS W, T, U, U c W~(T{U){UXS W, T, U, W c W~W{T~UXS W, T, U, X c W~T{U~XXS W, T, V, Q c W~(T{V)|QXS W, T, V, R c (W{T)~V{RXS W, T, W, U c W~W{T~UXS W, T, X, R c (W{R)~X|TXS W, T, X, U c W~T{X~UXS W, T, X, X c W{T{X~XXS W, U, P, Q c (W~U|P)~QXS W, U, Q, P c (W~U|P)~QXS W, U, Q, Q c W~U~Q|QXS W, U, Q, U c W~(U{U)|QXS W, U, Q, W c (W{W)~U|QXS W, U, Q, X c W~(Q{X){UXS W, U, R, W c (W{R)~W{UXS W, U, S, V c (W{U)~V|SXS W, U, T, U c W~(U{T){UXS W, U, T, W c W~W{U~TXS W, U, T, X c W~T{U~XXS W, U, U, Q c W~(U{U)|QXS W, U, U, T c W~(U{T){UXS W, U, V, S c (W{U)~V|SXS W, U, W, Q c (W{W)~U|QXS W, U, W, R c W~(W{R){UXS W, U, W, T c W~W{U~TXS W, U, W, X c (W{X)~U|WXS W, U, X, Q c W~(X{Q){UXS W, U, X, T c W~T{U~XXS W, U, X, W c (W{X)~U|WXS W, V, Q, T c W~(V{T)|QXS W, V, Q, X c (W~V|X)~QXS W, V, R, T c (W{T)~V{RXS W, V, S, U c W~(V{S){UXS W, V, T, Q c W~(V{T)|QXS W, V, T, R c (W{T)~V{RXS W, V, U, S c (W{V)~U{SXS W, V, X, Q c (W~V|X)~QXS W, W, Q, S c W~(W{S)|QXS W, W, Q, U c (W{W)~U|QXS W, W, R, U c W~(W{R){UXS W, W, S, Q c W~(W{S)|QXS W, W, T, U c W~W{T~UXS W, W, U, Q c (W{W)~U|QXS W, W, U, R c W~(W{R){UXS W, W, U, T c W~W{U~TXS W, W, U, X c (W{X)~U|WXS W, W, X, U c (W{X)~U|WXS W, X, Q, R c W~(X{R)|QXS W, X, Q, S c (W{Q)~X{SXS W, X, Q, U c W~(X{Q){UXS W, X, Q, V c (W~V|X)~QXS W, X, R, Q c W~(X{R)|QXS W, X, R, T c (W{R)~X|TXS W, X, S, Q c (W{Q)~X{SXS W, X, T, R c (W{R)~X|TXS W, X, T, U c W~T{X~UXS W, X, T, X c (W{X)~T{XXS W, X, U, Q c W~(X{Q){UXS W, X, U, T c W~T{X~UXS W, X, U, W c (W{X)~U|WXS W, X, V, Q c (W~V|X)~QXS W, X, W, U c (W{X)~U|WXS W, X, X, T c W{X~X{TXS X, P, S, X c (X{P)~X{SXS X, P, X, S c (X{P)~X{SXS X, Q, Q, T c (X~T{Q)~QXS X, Q, R, W c (X{R)~W|QXS X, Q, S, T c X~Q~T{SXS X, Q, S, W c X~(Q{W){SXS X, Q, T, Q c (X~T{Q)~QXS X, Q, T, S c X~Q~T{SXS X, Q, T, X c (X{Q)~X|TXS X, Q, U, V c (X~U|V)~QXS X, Q, U, W c (X{Q)~W{UXS X, Q, V, U c (X{V)~U|QXS X, Q, V, W c Q~(V~W|X)XS X, Q, W, R c (X{R)~W|QXS X, Q, W, S c X~(Q{W){SXS X, Q, W, U c (X{Q)~W{UXS X, Q, W, V c Q~(W~V|X)XS X, Q, X, T c (X{Q)~X|TXS X, R, Q, W c (X{R)~W|QXS X, R, S, V c X~(R{V){SXS X, R, T, W c X~(R{W)|TXS X, R, V, S c X~(R{V){SXS X, R, W, Q c (X{R)~W|QXS X, R, W, T c X~(R{W)|TXS X, S, P, X c (X{P)~X{SXS X, S, Q, T c X~Q~T{SXS X, S, Q, W c X~(Q{W){SXS X, S, R, V c (X{S)~V{RXS X, S, S, U c X~(S{U){SXS X, S, T, Q c X~T~Q{SXS X, S, T, T c X~(T{T){SXS X, S, T, V c X~(S{V)|TXS X, S, T, X c (X{X)~T{SXS X, S, U, S c X~(S{U){SXS X, S, U, U c (X{U)~U{SXS X, S, V, R c (X{S)~V{RXS X, S, V, T c X~(S{V)|TXS X, S, W, Q c X~(W{Q){SXS X, S, X, P c X~(X{P){SXS X, S, X, T c (X{X)~T{SXS X, S, X, X c X{S{X~XXS X, T, Q, Q c (X~T{Q)~QXS X, T, Q, S c X~T~Q{SXS X, T, Q, X c (X{Q)~X|TXS X, T, R, W c X~(R{W)|TXS X, T, S, Q c X~T~Q{SXS X, T, S, T c X~(T{T){SXS X, T, S, V c (X{T)~V|SXS X, T, S, X c (X{X)~T{SXS X, T, T, S c X~(T{T){SXS X, T, T, U c X~(T{U)|TXS X, T, U, T c X~(T{U)|TXS X, T, U, W c X~U{T~WXS X, T, V, S c (X{T)~V|SXS X, T, V, V c X~T{V~VXS X, T, W, R c X~(W{R)|TXS X, T, W, U c X~U{T~WXS X, T, W, X c X{T~(W{X)XS X, T, X, Q c X~(X{Q)|TXS X, T, X, S c (X{X)~T{SXS X, T, X, W c X{T~(X{W)XS X, U, Q, V c (X~U|V)~QXS X, U, Q, W c (X{Q)~W{UXS X, U, S, S c X~(U{S){SXS X, U, S, U c (X{U)~U{SXS X, U, T, T c X~(U{T)|TXS X, U, T, W c X~U{T~WXS X, U, U, S c (X{U)~U{SXS X, U, V, Q c (X~U|V)~QXS X, U, V, X c X~X{U{VXS X, U, W, Q c (X{Q)~W{UXS X, U, W, T c X~U{W~TXS X, U, W, W c (X{W)~U|WXS X, U, X, V c X~X{U{VXS X, V, Q, U c (X{V)~U|QXS X, V, Q, W c (V~W|X)~QXS X, V, R, S c X~(V{R){SXS X, V, S, R c X~(V{R){SXS X, V, S, T c X~(V{S)|TXS X, V, T, S c X~(V{S)|TXS X, V, T, V c X~T{V~VXS X, V, U, Q c (X{V)~U|QXS X, V, U, X c X~X{V{UXS X, V, V, T c X~T{V~VXS X, V, W, Q c (V~W|X)~QXS X, V, X, U c X~X{V{UXS X, W, Q, R c (X{R)~W|QXS X, W, Q, S c X~(W{Q){SXS X, W, Q, U c (X{Q)~W{UXS X, W, Q, V c (W~V|X)~QXS X, W, R, Q c (X{R)~W|QXS X, W, R, T c X~(W{R)|TXS X, W, S, Q c X~(W{Q){SXS X, W, T, R c X~(W{R)|TXS X, W, T, U c X~U{W~TXS X, W, T, X c (X{W)~T{XXS X, W, U, Q c (X{Q)~W{UXS X, W, U, T c X~U{W~TXS X, W, U, W c (X{W)~U|WXS X, W, V, Q c (W~V|X)~QXS X, W, W, U c (X{W)~U|WXS X, W, X, T c X{(W{X)~TXS X, X, P, S c X~(X{P){SXS X, X, Q, T c X~(X{Q)|TXS X, X, S, P c X~(X{P){SXS X, X, S, T c (X{X)~T{SXS X, X, S, X c X~X{S{XXS X, X, T, Q c X~(X{Q)|TXS X, X, T, S c (X{X)~T{SXS X, X, T, W c X~X{T{WXS X, X, U, V c X~X{U{VXS X, X, V, U c X~X{V{UXS X, X, W, T c X{(X{W)~TXS X, X, X, S c X{X~X{SXS