P, Q, T, X c (P{T~X)~QXQ P, Q, X, T c (P{X~T)~QXQ P, Q, X, X c (P{X)~X{QXQ P, R, S, W c (R~W|P)~SXQ P, R, W, S c (R~W|P)~SXQ P, S, R, W c S~(R~W|P)XQ P, S, S, U c S~(S~U|P)XQ P, S, U, S c (S~U|P)~SXQ P, S, V, X c P{(S{X)~VXQ P, S, W, R c S~(W~R|P)XQ P, S, X, V c P{(S{X)~VXQ P, T, Q, X c (P{T~X)~QXQ P, T, V, W c P{(T{W)~VXQ P, T, W, V c P{(T{W)~VXQ P, T, X, Q c (P{T~X)~QXQ P, U, S, S c (U~S|P)~SXQ P, U, V, V c P{(U{V)~VXQ P, V, S, X c P{V~(S{X)XQ P, V, T, W c P{V~(T{W)XQ P, V, U, V c P{(V{U)~VXQ P, V, V, U c P{V~(V{U)XQ P, V, W, T c P{V~(W{T)XQ P, V, X, S c P{V~(X{S)XQ P, W, R, S c (W~R|P)~SXQ P, W, S, R c (W~R|P)~SXQ P, W, T, V c P{(W{T)~VXQ P, W, V, T c P{(W{T)~VXQ P, X, Q, T c (P{X~T)~QXQ P, X, Q, X c (P{X)~X{QXQ P, X, S, V c P{(X{S)~VXQ P, X, T, Q c (P{X~T)~QXQ P, X, V, S c P{(X{S)~VXQ P, X, X, Q c (P{X)~X{QXQ Q, P, T, X c Q~(P{T~X)XQ Q, P, X, T c Q~(P{X~T)XQ Q, P, X, X c Q{(P{X)~XXQ Q, Q, T, X c Q{Q~T~XXQ Q, Q, U, W c Q~(U~W|Q)XQ Q, Q, W, U c Q~(W~U|Q)XQ Q, Q, W, X c Q{(Q{W)~XXQ Q, Q, X, T c Q{Q~X~TXQ Q, Q, X, W c Q{(Q{W)~XXQ Q, R, S, V c (Q{R~V)~SXQ Q, R, T, U c Q{R~T~UXQ Q, R, U, T c Q{R~U~TXQ Q, R, V, S c (Q{R~V)~SXQ Q, R, V, V c Q~(V~V|R)XQ Q, R, V, X c Q{(R{V)~XXQ Q, R, X, V c Q{(R{V)~XXQ Q, S, R, V c (Q{R~V)~SXQ Q, S, T, T c S~(T~T|Q)XQ Q, S, T, X c (Q~X{T)~SXQ Q, S, U, V c Q~(S{U~V)XQ Q, S, U, W c Q~U~W|SXQ Q, S, U, X c Q{(S{U)~XXQ Q, S, V, R c (Q{V~R)~SXQ Q, S, V, U c Q~(S{V~U)XQ Q, S, V, W c (Q~W{V)~SXQ Q, S, V, X c (Q~V{X)~SXQ Q, S, W, U c Q~W~U|SXQ Q, S, W, V c (Q~W{V)~SXQ Q, S, W, X c (Q{X)~W{SXQ Q, S, X, T c (Q~X{T)~SXQ Q, S, X, U c Q{(S{U)~XXQ Q, S, X, V c (Q~V{X)~SXQ Q, S, X, W c (Q{X)~W{SXQ Q, T, P, X c Q~(T~X{P)XQ Q, T, Q, X c Q{T~Q~XXQ Q, T, R, U c Q{T~R~UXQ Q, T, S, T c (T~T|Q)~SXQ Q, T, S, X c (Q~X{T)~SXQ Q, T, T, S c (T~T|Q)~SXQ Q, T, T, X c Q{(T{T)~XXQ Q, T, U, R c Q{T~U~RXQ Q, T, U, W c Q~(T~W{U)XQ Q, T, W, U c Q~(T~W{U)XQ Q, T, W, X c (TQ{X)~WXQ Q, T, X, P c Q~(T~X{P)XQ Q, T, X, Q c Q{T~X~QXQ Q, T, X, S c (Q~X{T)~SXQ Q, T, X, T c Q{(T{T)~XXQ Q, T, X, W c (TQ{X)~WXQ Q, T, X, X c Q{T~(X{X)XQ Q, U, Q, W c Q~(U~W|Q)XQ Q, U, R, T c Q{U~R~TXQ Q, U, S, V c Q~(U~V{S)XQ Q, U, S, W c Q~U~W|SXQ Q, U, S, X c Q{(U{S)~XXQ Q, U, T, R c Q{U~T~RXQ Q, U, T, W c Q~(U{T~W)XQ Q, U, U, X c Q{U~(U{X)XQ Q, U, V, S c Q~(U~V{S)XQ Q, U, V, V c Q~V~V|UXQ Q, U, V, W c Q{U~(V{W)XQ Q, U, W, Q c Q~(U~W|Q)XQ Q, U, W, S c Q~U~W|SXQ Q, U, W, T c Q~(U{W~T)XQ Q, U, W, V c Q{U~(W{V)XQ Q, U, W, X c Q~(U~X|W)XQ Q, U, X, S c Q{(U{S)~XXQ Q, U, X, U c Q{(U{X)~UXQ Q, U, X, W c Q~(U~X|W)XQ Q, V, R, S c (Q{V~R)~SXQ Q, V, R, V c Q~(V~V|R)XQ Q, V, R, X c Q{(V{R)~XXQ Q, V, S, R c (Q{V~R)~SXQ Q, V, S, U c Q~(V~U{S)XQ Q, V, S, W c (Q~W{V)~SXQ Q, V, S, X c (Q~V{X)~SXQ Q, V, U, S c Q~(V~U{S)XQ Q, V, U, V c Q~V~V|UXQ Q, V, U, W c Q~V~U{WXQ Q, V, V, R c Q~(V~V|R)XQ Q, V, V, U c Q~V~V|UXQ Q, V, W, S c (Q~W{V)~SXQ Q, V, W, U c Q{(V{W)~UXQ Q, V, W, W c (VQ{W)~WXQ Q, V, W, X c (V{XQ)~WXQ Q, V, X, R c Q{(V{R)~XXQ Q, V, X, S c (Q~V{X)~SXQ Q, V, X, W c (V{XQ)~WXQ Q, V, X, X c (Q{X)~X|VXQ Q, W, Q, U c Q~(W~U|Q)XQ Q, W, Q, X c Q{(W{Q)~XXQ Q, W, S, U c Q~W~U|SXQ Q, W, S, V c (Q~W{V)~SXQ Q, W, S, X c (Q{X)~W{SXQ Q, W, T, U c Q~(W~T{U)XQ Q, W, T, X c W~(TQ{X)XQ Q, W, U, Q c Q~(W~U|Q)XQ Q, W, U, S c Q~W~U|SXQ Q, W, U, T c Q~(W~T{U)XQ Q, W, U, V c Q{(W{V)~UXQ Q, W, U, X c Q~(U~X|W)XQ Q, W, V, S c (Q~W{V)~SXQ Q, W, V, U c Q{(W{V)~UXQ Q, W, V, W c (W{VQ)~WXQ Q, W, V, X c W~(V{XQ)XQ Q, W, W, V c W~(W{VQ)XQ Q, W, X, Q c (Q{W)~X{QXQ Q, W, X, S c (Q{X)~W{SXQ Q, W, X, T c W~(X{TQ)XQ Q, W, X, U c Q~(X~U|W)XQ Q, W, X, V c W~(XQ{V)XQ Q, X, P, T c Q~(X~T{P)XQ Q, X, P, X c Q{(X{P)~XXQ Q, X, Q, T c Q{X~Q~TXQ Q, X, Q, W c Q{X~(Q{W)XQ Q, X, R, V c Q{X~(R{V)XQ Q, X, S, T c (Q~X{T)~SXQ Q, X, S, U c Q{X~(S{U)XQ Q, X, S, V c (Q~V{X)~SXQ Q, X, S, W c (Q{X)~W{SXQ Q, X, T, P c Q~(X~T{P)XQ Q, X, T, Q c Q{X~T~QXQ Q, X, T, S c (Q~X{T)~SXQ Q, X, T, T c Q{X~(T{T)XQ Q, X, T, W c (X{TQ)~WXQ Q, X, T, X c Q{(X{X)~TXQ Q, X, U, S c Q{X~(U{S)XQ Q, X, U, U c Q{(X{U)~UXQ Q, X, U, W c Q~(X~U|W)XQ Q, X, V, R c Q{X~(V{R)XQ Q, X, V, S c (Q~V{X)~SXQ Q, X, V, W c (XQ{V)~WXQ Q, X, V, X c (Q{X)~X|VXQ Q, X, W, Q c Q{X~(W{Q)XQ Q, X, W, S c (Q{X)~W{SXQ Q, X, W, T c (X{TQ)~WXQ Q, X, W, U c Q~(X~U|W)XQ Q, X, W, V c (XQ{V)~WXQ Q, X, X, P c Q{X~(X{P)XQ Q, X, X, T c Q{(X{X)~TXQ Q, X, X, V c (Q{X)~X|VXQ Q, X, X, X c Q{X{X~XXQ R, P, S, W c (R~W|P)~SXQ R, P, W, S c (R~W|P)~SXQ R, Q, S, V c (R~V{Q)~SXQ R, Q, T, U c R~T~U{QXQ R, Q, U, T c R~U~T{QXQ R, Q, V, S c (R~V{Q)~SXQ R, Q, V, V c Q~(V~V|R)XQ R, Q, V, X c (R{V)~X{QXQ R, Q, X, V c (R{V)~X{QXQ R, S, P, W c (R~W|P)~SXQ R, S, Q, V c (R~V{Q)~SXQ R, S, S, T c (R{S~T)~SXQ R, S, S, W c R~S~W|SXQ R, S, S, X c (R~X|S)~SXQ R, S, T, S c (R{S~T)~SXQ R, S, T, U c (R~U{T)~SXQ R, S, T, W c (R~T{W)~SXQ R, S, U, T c (R~U{T)~SXQ R, S, V, Q c (R~V{Q)~SXQ R, S, V, W c R~S~V{WXQ R, S, W, P c (R~W|P)~SXQ R, S, W, S c R~S~W|SXQ R, S, W, T c (R~T{W)~SXQ R, S, W, V c R~S~V{WXQ R, S, W, W c (R{W)~W{SXQ R, S, W, X c (R{X)~W|SXQ R, S, X, S c (R~X|S)~SXQ R, S, X, W c (R{X)~W|SXQ R, T, Q, U c R~T~U{QXQ R, T, S, S c (R{T~S)~SXQ R, T, S, U c (R~U{T)~SXQ R, T, S, W c (R~T{W)~SXQ R, T, U, Q c R~T~U{QXQ R, T, U, S c (R~U{T)~SXQ R, T, W, S c (R~T{W)~SXQ R, U, Q, T c R~U~T{QXQ R, U, S, T c (R~U{T)~SXQ R, U, T, Q c R~U~T{QXQ R, U, T, S c (R~U{T)~SXQ R, V, Q, S c (R~V{Q)~SXQ R, V, Q, V c (V~V|R)~QXQ R, V, Q, X c (R{V)~X{QXQ R, V, S, Q c (R~V{Q)~SXQ R, V, S, W c R~V~S{WXQ R, V, V, Q c (V~V|R)~QXQ R, V, W, S c R~V~S{WXQ R, V, W, X c (R{W)~X|VXQ R, V, X, Q c (R{V)~X{QXQ R, V, X, W c (R{X)~V{WXQ R, W, P, S c (R~W|P)~SXQ R, W, S, P c (R~W|P)~SXQ R, W, S, S c R~W~S|SXQ R, W, S, T c (R~T{W)~SXQ R, W, S, V c R~S~V{WXQ R, W, S, W c (R{W)~W{SXQ R, W, S, X c (R{X)~W|SXQ R, W, T, S c (R~T{W)~SXQ R, W, V, S c R~V~S{WXQ R, W, V, X c (R{W)~X|VXQ R, W, W, S c (R{W)~W{SXQ R, W, X, S c (R{X)~W|SXQ R, W, X, V c (R{W)~X|VXQ R, W, X, X c R{W{X~XXQ R, X, Q, V c (R{V)~X{QXQ R, X, S, S c (R~X|S)~SXQ R, X, S, W c (R{X)~W|SXQ R, X, V, Q c (R{V)~X{QXQ R, X, V, W c (R{X)~V{WXQ R, X, W, S c (R{X)~W|SXQ R, X, W, V c (R{X)~V{WXQ R, X, W, X c R{X~X{WXQ R, X, X, W c R{X~X{WXQ S, P, R, W c S~(R~W|P)XQ S, P, S, U c S~(S~U|P)XQ S, P, U, S c (S~U|P)~SXQ S, P, V, X c (S{X)~V{PXQ S, P, W, R c S~(W~R|P)XQ S, P, X, V c (S{X)~V{PXQ S, Q, R, V c S~(Q{R~V)XQ S, Q, T, T c S~(T~T|Q)XQ S, Q, T, X c S~(Q~X{T)XQ S, Q, U, V c (S{U~V)~QXQ S, Q, U, W c Q~U~W|SXQ S, Q, U, X c (S{U)~X{QXQ S, Q, V, R c S~(Q{V~R)XQ S, Q, V, U c (S{V~U)~QXQ S, Q, V, W c S~(Q~W{V)XQ S, Q, V, X c S~(Q~V{X)XQ S, Q, W, U c Q~W~U|SXQ S, Q, W, V c S~(Q~W{V)XQ S, Q, W, X c S{(Q{X)~WXQ S, Q, X, T c S~(Q~X{T)XQ S, Q, X, U c (S{U)~X{QXQ S, Q, X, V c S~(Q~V{X)XQ S, Q, X, W c S{(Q{X)~WXQ S, R, P, W c S~(R~W|P)XQ S, R, Q, V c S~(R~V{Q)XQ S, R, S, T c S~(R{S~T)XQ S, R, S, W c S~R~W|SXQ S, R, S, X c S~(R~X|S)XQ S, R, T, S c S~(R{T~S)XQ S, R, T, U c S~(R~U{T)XQ S, R, T, W c S~(R~T{W)XQ S, R, U, T c S~(R~U{T)XQ S, R, V, Q c S~(R~V{Q)XQ S, R, V, W c S~R~V{WXQ S, R, W, P c S~(R~W|P)XQ S, R, W, S c S~R~W|SXQ S, R, W, T c S~(R~T{W)XQ S, R, W, V c S~R~V{WXQ S, R, W, W c S{(R{W)~WXQ S, R, W, X c (R{X)~W|SXQ S, R, X, S c S~(R~X|S)XQ S, R, X, W c (R{X)~W|SXQ S, S, P, U c S~(S~U|P)XQ S, S, R, T c S~(S~T{R)XQ S, S, R, W c S~R~W|SXQ S, S, R, X c S~(R~X|S)XQ S, S, S, U c S~S~U|SXQ S, S, S, V c S~(S~S{V)XQ S, S, T, R c S~(S~T{R)XQ S, S, T, V c S~(S~V|T)XQ S, S, U, P c S~(S~U|P)XQ S, S, U, S c S~S~U|SXQ S, S, V, S c (S~S{V)~SXQ S, S, V, T c S~(S~V|T)XQ S, S, V, W c S{(S{V)~WXQ S, S, W, R c S~W~R|SXQ S, S, W, V c S{(S{V)~WXQ S, S, W, W c (S{W)~W|SXQ S, S, W, X c S~(S~W|X)XQ S, S, X, R c S~(X~R|S)XQ S, S, X, W c S~(S~W|X)XQ S, T, Q, T c S~(T~T|Q)XQ S, T, Q, X c S~(T{Q~X)XQ S, T, R, S c (S~T{R)~SXQ S, T, R, U c S~(T{R~U)XQ S, T, R, W c S~(T~R{W)XQ S, T, S, R c S~(T~S{R)XQ S, T, S, V c S~(S~V|T)XQ S, T, T, Q c S~(T~T|Q)XQ S, T, T, W c S~T~T|WXQ S, T, U, R c S~(T{U~R)XQ S, T, U, V c S~(T~U|V)XQ S, T, U, W c S{(T{U)~WXQ S, T, V, S c (S~V|T)~SXQ S, T, V, U c S~(T~U|V)XQ S, T, V, W c (T{V)~W|SXQ S, T, W, R c S~(T~R{W)XQ S, T, W, T c S~T~T|WXQ S, T, W, U c S{(T{U)~WXQ S, T, W, V c (T{V)~W|SXQ S, T, W, X c S~T{W~XXQ S, T, X, Q c S~(T{X~Q)XQ S, T, X, W c S~T{X~WXQ S, T, X, X c S~(T{X{X)XQ S, U, P, S c (S~U|P)~SXQ S, U, Q, V c (S{U~V)~QXQ S, U, Q, W c U~Q~W|SXQ S, U, Q, X c (S{U)~X{QXQ S, U, R, T c S~(U~R{T)XQ S, U, S, P c S~(U~S|P)XQ S, U, S, S c S~U~S|SXQ S, U, T, R c S~(U~R{T)XQ S, U, T, V c S~(U~T|V)XQ S, U, T, W c S{(U{T)~WXQ S, U, U, W c (U{U)~W|SXQ S, U, V, Q c (S{U~V)~QXQ S, U, V, T c S~(U~T|V)XQ S, U, V, X c U~(V{X)|SXQ S, U, W, Q c U~W~Q|SXQ S, U, W, T c S{(U{T)~WXQ S, U, W, U c (U{U)~W|SXQ S, U, W, W c U~(W{W)|SXQ S, U, W, X c S~(U{W{X)XQ S, U, X, Q c (S{U)~X{QXQ S, U, X, V c U~(X{V)|SXQ S, U, X, W c S~(U{X{W)XQ S, V, P, X c (S{X)~V{PXQ S, V, Q, R c S~(V~R{Q)XQ S, V, Q, U c (S{V~U)~QXQ S, V, Q, W c S~(V{Q~W)XQ S, V, Q, X c S~(V~Q{X)XQ S, V, R, Q c S~(V~R{Q)XQ S, V, R, W c S~V~R{WXQ S, V, S, S c S~(V{S~S)XQ S, V, S, T c S~(V~S|T)XQ S, V, S, W c S{(V{S)~WXQ S, V, T, S c (S~V|T)~SXQ S, V, T, U c S~(T~U|V)XQ S, V, T, W c (V{T)~W|SXQ S, V, U, Q c (S{V~U)~QXQ S, V, U, T c S~(U~T|V)XQ S, V, U, X c (V{X)~U|SXQ S, V, V, X c S~(V{V{X)XQ S, V, W, Q c S~(V{W~Q)XQ S, V, W, R c S~V~R{WXQ S, V, W, S c (S{V)~W{SXQ S, V, W, T c (V{T)~W|SXQ S, V, W, W c S~(V{W{W)XQ S, V, W, X c S~X{V~WXQ S, V, X, P c (S{X)~V{PXQ S, V, X, Q c S~(V~Q{X)XQ S, V, X, U c (V{X)~U|SXQ S, V, X, V c (S{V)~X|VXQ S, V, X, W c S~X{V~WXQ S, V, X, X c S{V{X~XXQ S, W, P, R c S~(W~R|P)XQ S, W, Q, U c W~Q~U|SXQ S, W, Q, V c S~(W~Q{V)XQ S, W, Q, X c S{W~(Q{X)XQ S, W, R, P c S~(W~R|P)XQ S, W, R, S c S~W~R|SXQ S, W, R, T c S~(W{R~T)XQ S, W, R, V c S~R~V{WXQ S, W, R, W c S{(W{R)~WXQ S, W, R, X c W~(R{X)|SXQ S, W, S, R c S~W~R|SXQ S, W, S, V c S{W~(S{V)XQ S, W, S, W c (S{W)~W|SXQ S, W, S, X c S~(W~S|X)XQ S, W, T, R c S~(W{T~R)XQ S, W, T, T c S~T~T|WXQ S, W, T, U c S{W~(T{U)XQ S, W, T, V c W~(T{V)|SXQ S, W, T, X c S~T{W~XXQ S, W, U, Q c W~U~Q|SXQ S, W, U, T c S{W~(U{T)XQ S, W, U, U c W~(U{U)|SXQ S, W, U, W c (W{W)~U|SXQ S, W, U, X c S~(W{U{X)XQ S, W, V, Q c S~(W~Q{V)XQ S, W, V, R c S~V~R{WXQ S, W, V, S c S{W~(V{S)XQ S, W, V, T c W~(V{T)|SXQ S, W, V, W c (S{W)~V{WXQ S, W, V, X c S~X{W~VXQ S, W, W, R c S{W~(W{R)XQ S, W, W, S c (S{W)~W|SXQ S, W, W, U c (W{W)~U|SXQ S, W, W, V c S~(W{W{V)XQ S, W, X, Q c S{W~(X{Q)XQ S, W, X, R c W~(X{R)|SXQ S, W, X, S c (S~W|X)~SXQ S, W, X, T c S~T{W~XXQ S, W, X, U c S~(W{X{U)XQ S, W, X, V c S~X{W~VXQ S, X, P, V c (S{X)~V{PXQ S, X, Q, T c S~(X~Q{T)XQ S, X, Q, U c (S{U)~X{QXQ S, X, Q, V c S~(X{Q~V)XQ S, X, Q, W c S{(X{Q)~WXQ S, X, R, S c S~(X~R|S)XQ S, X, R, W c (X{R)~W|SXQ S, X, S, R c S~(X~R|S)XQ S, X, S, W c S~(S~W|X)XQ S, X, T, Q c S~(X~Q{T)XQ S, X, T, W c S~T{X~WXQ S, X, T, X c S~(X{T{X)XQ S, X, U, Q c (S{U)~X{QXQ S, X, U, V c (X{V)~U|SXQ S, X, U, W c S~(X{U{W)XQ S, X, V, P c (S{X)~V{PXQ S, X, V, Q c S~(X{V~Q)XQ S, X, V, U c (X{V)~U|SXQ S, X, V, V c S~(X{V{V)XQ S, X, V, W c S~X{V~WXQ S, X, V, X c S{X~X{VXQ S, X, W, Q c S{(X{Q)~WXQ S, X, W, R c (X{R)~W|SXQ S, X, W, S c (S~W|X)~SXQ S, X, W, T c S~T{X~WXQ S, X, W, U c S~(X{W{U)XQ S, X, W, V c S~X{W~VXQ S, X, X, T c S~(X{X{T)XQ S, X, X, V c S{X~X{VXQ T, P, Q, X c (T~X{P)~QXQ T, P, V, W c (T{W)~V{PXQ T, P, W, V c (T{W)~V{PXQ T, P, X, Q c (T~X{P)~QXQ T, Q, P, X c (T~X{P)~QXQ T, Q, Q, X c T~Q~X{QXQ T, Q, R, U c T~R~U{QXQ T, Q, S, T c (T~T|Q)~SXQ T, Q, S, X c (T{Q~X)~SXQ T, Q, T, S c (T~T|Q)~SXQ T, Q, T, X c (T{T)~X{QXQ T, Q, U, R c T~U~R{QXQ T, Q, U, W c (T~W{U)~QXQ T, Q, W, U c (T~W{U)~QXQ T, Q, W, X c (TQ{X)~WXQ T, Q, X, P c (T~X{P)~QXQ T, Q, X, Q c T~Q~X{QXQ T, Q, X, S c (T{Q~X)~SXQ T, Q, X, T c (T{T)~X{QXQ T, Q, X, W c (TQ{X)~WXQ T, Q, X, X c T~(X{X){QXQ T, R, Q, U c T~R~U{QXQ T, R, S, S c (T~S{R)~SXQ T, R, S, U c (T{R~U)~SXQ T, R, S, W c (T~R{W)~SXQ T, R, U, Q c T~R~U{QXQ T, R, U, S c (T{R~U)~SXQ T, R, W, S c (T~R{W)~SXQ T, S, Q, T c (T~T|Q)~SXQ T, S, Q, X c (T{Q~X)~SXQ T, S, R, S c (T~S{R)~SXQ T, S, R, U c (T{R~U)~SXQ T, S, R, W c (T~R{W)~SXQ T, S, S, R c (T~S{R)~SXQ T, S, S, V c S~(S~V|T)XQ T, S, T, Q c (T~T|Q)~SXQ T, S, T, W c T~S~T|WXQ T, S, U, R c (T{U~R)~SXQ T, S, U, V c (T~U|V)~SXQ T, S, U, W c (T{U)~W{SXQ T, S, V, S c (S~V|T)~SXQ T, S, V, U c (T~U|V)~SXQ T, S, V, W c (T{V)~W|SXQ T, S, W, R c (T~R{W)~SXQ T, S, W, T c T~S~T|WXQ T, S, W, U c (T{U)~W{SXQ T, S, W, V c (T{V)~W|SXQ T, S, W, X c T~S{W~XXQ T, S, X, Q c (T{X~Q)~SXQ T, S, X, W c T~S{X~WXQ T, S, X, X c (T{X{X)~SXQ T, T, Q, S c (T~T|Q)~SXQ T, T, Q, X c (T{T)~X{QXQ T, T, S, Q c (T~T|Q)~SXQ T, T, S, W c T~T~S|WXQ T, T, W, S c T~T~S|WXQ T, T, X, Q c (T{T)~X{QXQ T, U, Q, R c T~U~R{QXQ T, U, Q, W c (T~W{U)~QXQ T, U, R, Q c T~U~R{QXQ T, U, R, S c (T{U~R)~SXQ T, U, S, R c (T{U~R)~SXQ T, U, S, V c (T~U|V)~SXQ T, U, S, W c (T{U)~W{SXQ T, U, V, S c (T~U|V)~SXQ T, U, V, X c (T{U)~X|VXQ T, U, W, Q c (T~W{U)~QXQ T, U, W, S c (T{U)~W{SXQ T, U, W, X c (T{X)~U{WXQ T, U, X, V c (T{U)~X|VXQ T, U, X, W c (T{X)~U{WXQ T, U, X, X c T{U{X~XXQ T, V, P, W c (T{W)~V{PXQ T, V, S, S c (V~S|T)~SXQ T, V, S, U c (T~U|V)~SXQ T, V, S, W c (T{V)~W|SXQ T, V, U, S c (T~U|V)~SXQ T, V, U, X c (T{U)~X|VXQ T, V, V, W c (T{V)~V{WXQ T, V, W, P c (T{W)~V{PXQ T, V, W, S c (T{V)~W|SXQ T, V, W, V c (T{V)~V{WXQ T, V, W, X c T~(W{X){VXQ T, V, X, U c (T{X)~V|UXQ T, V, X, W c T~(X{W){VXQ T, W, P, V c (T{W)~V{PXQ T, W, Q, U c (T~W{U)~QXQ T, W, Q, X c (TQ{X)~WXQ T, W, R, S c (T~R{W)~SXQ T, W, S, R c (T~R{W)~SXQ T, W, S, T c T~S~T|WXQ T, W, S, U c (T{U)~W{SXQ T, W, S, V c (T{V)~W|SXQ T, W, S, X c T~S{W~XXQ T, W, T, S c T~T~S|WXQ T, W, U, Q c (T~W{U)~QXQ T, W, U, S c (T{U)~W{SXQ T, W, U, X c (T{X)~U{WXQ T, W, V, P c (T{W)~V{PXQ T, W, V, S c (T{V)~W|SXQ T, W, V, V c (T{V)~V{WXQ T, W, V, X c T~(W{X){VXQ T, W, X, Q c (TQ{X)~WXQ T, W, X, S c T~S{W~XXQ T, W, X, U c (T{X)~U{WXQ T, W, X, V c T~(W{X){VXQ T, X, P, Q c (T~X{P)~QXQ T, X, Q, P c (T~X{P)~QXQ T, X, Q, Q c T~X~Q{QXQ T, X, Q, S c (T{X~Q)~SXQ T, X, Q, T c (T{T)~X{QXQ T, X, Q, W c (TQ{X)~WXQ T, X, Q, X c T~(X{X){QXQ T, X, S, Q c (T{X~Q)~SXQ T, X, S, W c T~S{X~WXQ T, X, S, X c (T{X{X)~SXQ T, X, T, Q c (T{T)~X{QXQ T, X, U, V c (T{X)~V|UXQ T, X, U, W c (T{X)~U{WXQ T, X, U, X c T{X~X{UXQ T, X, V, U c (T{X)~V|UXQ T, X, V, W c T~(X{W){VXQ T, X, W, Q c (TQ{X)~WXQ T, X, W, S c T~S{X~WXQ T, X, W, U c (T{X)~U{WXQ T, X, W, V c T~(X{W){VXQ T, X, X, Q c T~(X{X){QXQ T, X, X, S c (T{X{X)~SXQ T, X, X, U c T{X~X{UXQ U, P, S, S c (U~S|P)~SXQ U, P, V, V c (U{V)~V{PXQ U, Q, Q, W c (U~W|Q)~QXQ U, Q, R, T c U~R~T{QXQ U, Q, S, V c (U~V{S)~QXQ U, Q, S, W c U~Q~W|SXQ U, Q, S, X c (U{S)~X{QXQ U, Q, T, R c U~T~R{QXQ U, Q, T, W c (U{T~W)~QXQ U, Q, U, X c U~(U{X){QXQ U, Q, V, S c (U~V{S)~QXQ U, Q, V, V c Q~V~V|UXQ U, Q, V, W c U~Q~V{WXQ U, Q, W, Q c (U~W|Q)~QXQ U, Q, W, S c U~Q~W|SXQ U, Q, W, T c (U{W~T)~QXQ U, Q, W, V c U~Q~V{WXQ U, Q, W, X c (U~X|W)~QXQ U, Q, X, S c (U{S)~X{QXQ U, Q, X, U c (U{X)~U{QXQ U, Q, X, W c (U~X|W)~QXQ U, R, Q, T c U~R~T{QXQ U, R, S, T c (U~R{T)~SXQ U, R, T, Q c U~R~T{QXQ U, R, T, S c (U~R{T)~SXQ U, S, P, S c (U~S|P)~SXQ U, S, Q, V c (U~V{S)~QXQ U, S, Q, W c U~Q~W|SXQ U, S, Q, X c (U{S)~X{QXQ U, S, R, T c (U~R{T)~SXQ U, S, S, P c (U~S|P)~SXQ U, S, S, S c U~S~S|SXQ U, S, T, R c (U~R{T)~SXQ U, S, T, V c (U~T|V)~SXQ U, S, T, W c (U{T)~W{SXQ U, S, U, W c (U{U)~W|SXQ U, S, V, Q c (U~V{S)~QXQ U, S, V, T c (U~T|V)~SXQ U, S, V, X c U~(V{X)|SXQ U, S, W, Q c U~W~Q|SXQ U, S, W, T c (U{T)~W{SXQ U, S, W, U c (U{U)~W|SXQ U, S, W, W c U~(W{W)|SXQ U, S, W, X c (U{W{X)~SXQ U, S, X, Q c (U{S)~X{QXQ U, S, X, V c U~(X{V)|SXQ U, S, X, W c (U{X{W)~SXQ U, T, Q, R c U~T~R{QXQ U, T, Q, W c (U{T~W)~QXQ U, T, R, Q c U~T~R{QXQ U, T, R, S c (U~R{T)~SXQ U, T, S, R c (U~R{T)~SXQ U, T, S, V c (U~T|V)~SXQ U, T, S, W c (U{T)~W{SXQ U, T, V, S c (U~T|V)~SXQ U, T, V, X c (U{T)~X|VXQ U, T, W, Q c (U{T~W)~QXQ U, T, W, S c (U{T)~W{SXQ U, T, W, X c U~(T{X){WXQ U, T, X, V c (U{T)~X|VXQ U, T, X, W c U~(T{X){WXQ U, T, X, X c U{T{X~XXQ U, U, Q, X c U~(U{X){QXQ U, U, S, W c (U{U)~W|SXQ U, U, V, W c (U{U)~V{WXQ U, U, W, S c (U{U)~W|SXQ U, U, W, V c U~U{W~VXQ U, U, W, W c U~(U{W){WXQ U, U, X, Q c U~(U{X){QXQ U, V, P, V c (U{V)~V{PXQ U, V, Q, S c (U~V{S)~QXQ U, V, Q, V c V~Q~V|UXQ U, V, Q, W c U~V~Q{WXQ U, V, S, Q c (U~V{S)~QXQ U, V, S, T c (U~T|V)~SXQ U, V, S, X c U~(V{X)|SXQ U, V, T, S c (U~T|V)~SXQ U, V, T, X c (U{T)~X|VXQ U, V, U, W c (U{U)~V{WXQ U, V, V, P c (U{V)~V{PXQ U, V, V, Q c V~V~Q|UXQ U, V, V, V c (V{V)~V|UXQ U, V, V, W c U~(V{V){WXQ U, V, W, Q c U~(V{W){QXQ U, V, W, U c (U{W)~V|UXQ U, V, W, V c U~(V{V){WXQ U, V, X, S c U~(V{X)|SXQ U, V, X, T c (U{T)~X|VXQ U, W, Q, Q c (U~W|Q)~QXQ U, W, Q, S c U~W~Q|SXQ U, W, Q, T c (U{W~T)~QXQ U, W, Q, V c U~(W{V){QXQ U, W, Q, X c (U~X|W)~QXQ U, W, S, Q c U~W~Q|SXQ U, W, S, T c (U{T)~W{SXQ U, W, S, U c (U{U)~W|SXQ U, W, S, W c U~(W{W)|SXQ U, W, S, X c (U{W{X)~SXQ U, W, T, Q c (U{W~T)~QXQ U, W, T, S c (U{T)~W{SXQ U, W, T, X c U~(T{X){WXQ U, W, U, S c (U{U)~W|SXQ U, W, U, V c (U{W)~V|UXQ U, W, U, W c (U{W)~U{WXQ U, W, V, Q c U~(W{V){QXQ U, W, V, U c (U{W)~V|UXQ U, W, V, V c U~(V{V){WXQ U, W, W, S c U~(W{W)|SXQ U, W, W, U c (U{W)~U{WXQ U, W, X, Q c (U~X|W)~QXQ U, W, X, S c (U{W{X)~SXQ U, W, X, T c U~(X{T){WXQ U, X, Q, S c (U{S)~X{QXQ U, X, Q, U c (U{X)~U{QXQ U, X, Q, W c (U~X|W)~QXQ U, X, S, Q c (U{S)~X{QXQ U, X, S, V c U~(X{V)|SXQ U, X, S, W c (U{X{W)~SXQ U, X, T, V c (U{T)~X|VXQ U, X, T, W c U~(X{T){WXQ U, X, T, X c U{X~X{TXQ U, X, U, Q c (U{X)~U{QXQ U, X, V, S c U~(X{V)|SXQ U, X, V, T c (U{T)~X|VXQ U, X, W, Q c (U~X|W)~QXQ U, X, W, S c (U{X{W)~SXQ U, X, W, T c U~(X{T){WXQ U, X, X, T c U{X~X{TXQ V, P, S, X c V~(S{X){PXQ V, P, T, W c V~(T{W){PXQ V, P, U, V c (V{U)~V{PXQ V, P, V, U c V~(V{U){PXQ V, P, W, T c V~(W{T){PXQ V, P, X, S c V~(X{S){PXQ V, Q, R, S c (V~R{Q)~SXQ V, Q, R, V c (V~V|R)~QXQ V, Q, R, X c (V{R)~X{QXQ V, Q, S, R c (V~R{Q)~SXQ V, Q, S, U c (V~U{S)~QXQ V, Q, S, W c (V{Q~W)~SXQ V, Q, S, X c (V~Q{X)~SXQ V, Q, U, S c (V~U{S)~QXQ V, Q, U, V c V~Q~V|UXQ V, Q, U, W c V~Q~U{WXQ V, Q, V, R c (V~V|R)~QXQ V, Q, V, U c V~Q~V|UXQ V, Q, W, S c (V{Q~W)~SXQ V, Q, W, U c V~Q~U{WXQ V, Q, W, W c (VQ{W)~WXQ V, Q, W, X c (V{XQ)~WXQ V, Q, X, R c (V{R)~X{QXQ V, Q, X, S c (V~Q{X)~SXQ V, Q, X, W c (V{XQ)~WXQ V, Q, X, X c (Q{X)~X|VXQ V, R, Q, S c (V~R{Q)~SXQ V, R, Q, V c (V~V|R)~QXQ V, R, Q, X c (V{R)~X{QXQ V, R, S, Q c (V~R{Q)~SXQ V, R, S, W c V~R~S{WXQ V, R, V, Q c (V~V|R)~QXQ V, R, W, S c V~R~S{WXQ V, R, W, X c V~(R{X){WXQ V, R, X, Q c (V{R)~X{QXQ V, R, X, W c V~(R{X){WXQ V, S, P, X c V~(S{X){PXQ V, S, Q, R c (V~R{Q)~SXQ V, S, Q, U c (V~U{S)~QXQ V, S, Q, W c (V{Q~W)~SXQ V, S, Q, X c (V~Q{X)~SXQ V, S, R, Q c (V~R{Q)~SXQ V, S, R, W c V~S~R{WXQ V, S, S, S c (V{S~S)~SXQ V, S, S, T c (V~S|T)~SXQ V, S, S, W c (V{S)~W{SXQ V, S, T, S c (V~S|T)~SXQ V, S, T, U c S~(T~U|V)XQ V, S, T, W c (V{T)~W|SXQ V, S, U, Q c (V~U{S)~QXQ V, S, U, T c S~(U~T|V)XQ V, S, U, X c (V{X)~U|SXQ V, S, V, X c (V{S)~X|VXQ V, S, W, Q c (V{W~Q)~SXQ V, S, W, R c V~S~R{WXQ V, S, W, S c (V{S)~W{SXQ V, S, W, T c (V{T)~W|SXQ V, S, W, W c V~(S{W){WXQ V, S, W, X c V~W{S~XXQ V, S, X, P c V~(S{X){PXQ V, S, X, Q c (V~Q{X)~SXQ V, S, X, U c (V{X)~U|SXQ V, S, X, V c (V{S)~X|VXQ V, S, X, W c V~W{S~XXQ V, S, X, X c V{S{X~XXQ V, T, P, W c V~(T{W){PXQ V, T, S, S c (V~S|T)~SXQ V, T, S, U c (T~U|V)~SXQ V, T, S, W c (V{T)~W|SXQ V, T, U, S c (T~U|V)~SXQ V, T, U, X c V~(T{X)|UXQ V, T, V, W c (V{T)~V{WXQ V, T, W, P c V~(T{W){PXQ V, T, W, S c (V{T)~W|SXQ V, T, W, V c (V{T)~V{WXQ V, T, W, X c V{T~(W{X)XQ V, T, X, U c V~(T{X)|UXQ V, T, X, W c V{T~(X{W)XQ V, U, P, V c (V{U)~V{PXQ V, U, Q, S c (V~U{S)~QXQ V, U, Q, V c V~Q~V|UXQ V, U, Q, W c V~U~Q{WXQ V, U, S, Q c (V~U{S)~QXQ V, U, S, T c (U~T|V)~SXQ V, U, S, X c (V{X)~U|SXQ V, U, T, S c (U~T|V)~SXQ V, U, T, X c V~(T{X)|UXQ V, U, U, W c V~(U{U){WXQ V, U, V, P c (V{U)~V{PXQ V, U, V, Q c V~V~Q|UXQ V, U, V, V c (V{V)~V|UXQ V, U, V, W c (V{V)~U{WXQ V, U, W, Q c V~U~Q{WXQ V, U, W, U c V~(U{W)|UXQ V, U, W, V c (V{V)~U{WXQ V, U, X, S c (V{X)~U|SXQ V, U, X, T c V~(X{T)|UXQ V, V, P, U c V~(V{U){PXQ V, V, Q, R c (V~V|R)~QXQ V, V, Q, U c V~V~Q|UXQ V, V, R, Q c (V~V|R)~QXQ V, V, S, X c (V{V{X)~SXQ V, V, T, W c V~(V{T){WXQ V, V, U, P c V~(V{U){PXQ V, V, U, Q c V~V~Q|UXQ V, V, U, V c (V{V)~V|UXQ V, V, U, W c (V{V)~U{WXQ V, V, V, U c (V{V)~V|UXQ V, V, W, T c V~(V{T){WXQ V, V, W, U c (V{V)~U{WXQ V, V, X, S c (V{V{X)~SXQ V, W, P, T c V~(W{T){PXQ V, W, Q, S c (V{W~Q)~SXQ V, W, Q, U c (V{W)~U{QXQ V, W, Q, W c (VQ{W)~WXQ V, W, Q, X c (V{XQ)~WXQ V, W, R, S c V~R~S{WXQ V, W, R, X c V~(R{X){WXQ V, W, S, Q c (V{W~Q)~SXQ V, W, S, R c V~S~R{WXQ V, W, S, S c (V{S)~W{SXQ V, W, S, T c (V{T)~W|SXQ V, W, S, W c V~(W{S){WXQ V, W, S, X c V~W{S~XXQ V, W, T, P c V~(W{T){PXQ V, W, T, S c (V{T)~W|SXQ V, W, T, V c (V{T)~V{WXQ V, W, T, X c V{(W{X)~TXQ V, W, U, Q c (V{W)~U{QXQ V, W, U, U c V~(W{U)|UXQ V, W, U, V c (V{V)~U{WXQ V, W, V, T c V~(V{T){WXQ V, W, V, U c (V{V)~U{WXQ V, W, W, Q c (VQ{W)~WXQ V, W, W, S c (V{W{W)~SXQ V, W, X, Q c (V{XQ)~WXQ V, W, X, R c V~(X{R){WXQ V, W, X, S c V~W{X~SXQ V, W, X, T c V{(W{X)~TXQ V, X, P, S c V~(X{S){PXQ V, X, Q, R c (V{R)~X{QXQ V, X, Q, S c (V~Q{X)~SXQ V, X, Q, W c (V{XQ)~WXQ V, X, Q, X c (X{Q)~X|VXQ V, X, R, Q c (V{R)~X{QXQ V, X, R, W c V~(X{R){WXQ V, X, S, P c V~(X{S){PXQ V, X, S, Q c (V~Q{X)~SXQ V, X, S, U c (V{X)~U|SXQ V, X, S, V c (V{X{V)~SXQ V, X, S, W c V~W{X~SXQ V, X, S, X c V{X~X{SXQ V, X, T, U c V~(X{T)|UXQ V, X, T, W c V{(X{W)~TXQ V, X, U, S c (V{X)~U|SXQ V, X, U, T c V~(X{T)|UXQ V, X, V, S c (V{X{V)~SXQ V, X, W, Q c (V{XQ)~WXQ V, X, W, R c V~(X{R){WXQ V, X, W, S c V~W{X~SXQ V, X, W, T c V{(X{W)~TXQ V, X, X, Q c X~(X{Q)|VXQ V, X, X, S c V{X~X{SXQ W, P, R, S c (W~R|P)~SXQ W, P, S, R c (W~R|P)~SXQ W, P, T, V c (W{T)~V{PXQ W, P, V, T c (W{T)~V{PXQ W, Q, Q, U c (W~U|Q)~QXQ W, Q, Q, X c (W{Q)~X{QXQ W, Q, S, U c W~Q~U|SXQ W, Q, S, V c (W~Q{V)~SXQ W, Q, S, X c W~(Q{X){SXQ W, Q, T, U c (W~T{U)~QXQ W, Q, T, X c W~(TQ{X)XQ W, Q, U, Q c (W~U|Q)~QXQ W, Q, U, S c W~Q~U|SXQ W, Q, U, T c (W~T{U)~QXQ W, Q, U, V c W{Q~U~VXQ W, Q, U, X c Q~(U~X|W)XQ W, Q, V, S c (W~Q{V)~SXQ W, Q, V, U c W{Q~V~UXQ W, Q, V, W c (W{VQ)~WXQ W, Q, V, X c W~(V{XQ)XQ W, Q, W, V c W~(W{VQ)XQ W, Q, X, Q c (W{Q)~X{QXQ W, Q, X, S c W~(Q{X){SXQ W, Q, X, T c W~(X{TQ)XQ W, Q, X, U c Q~(X~U|W)XQ W, Q, X, V c W~(XQ{V)XQ W, R, P, S c (W~R|P)~SXQ W, R, S, P c (W~R|P)~SXQ W, R, S, S c W~R~S|SXQ W, R, S, T c (W{R~T)~SXQ W, R, S, V c W{R~S~VXQ W, R, S, W c (W{R)~W{SXQ W, R, S, X c W~(R{X)|SXQ W, R, T, S c (W{R~T)~SXQ W, R, V, S c W{R~V~SXQ W, R, V, X c W{(R{X)~VXQ W, R, W, S c (W{R)~W{SXQ W, R, X, S c W~(R{X)|SXQ W, R, X, V c W{(R{X)~VXQ W, R, X, X c W{R{X~XXQ W, S, P, R c (W~R|P)~SXQ W, S, Q, U c W~Q~U|SXQ W, S, Q, V c (W~Q{V)~SXQ W, S, Q, X c W~(Q{X){SXQ W, S, R, P c (W~R|P)~SXQ W, S, R, S c W~S~R|SXQ W, S, R, T c (W{R~T)~SXQ W, S, R, V c W{S~R~VXQ W, S, R, W c (W{R)~W{SXQ W, S, R, X c W~(R{X)|SXQ W, S, S, R c W~S~R|SXQ W, S, S, V c W~(S{V){SXQ W, S, S, W c (W{S)~W|SXQ W, S, S, X c (W~S|X)~SXQ W, S, T, R c (W{T~R)~SXQ W, S, T, T c S~T~T|WXQ W, S, T, U c W~(T{U){SXQ W, S, T, V c W~(T{V)|SXQ W, S, T, X c W~X{S~TXQ W, S, U, Q c W~U~Q|SXQ W, S, U, T c W~(U{T){SXQ W, S, U, U c W~(U{U)|SXQ W, S, U, W c (W{W)~U|SXQ W, S, U, X c (W{U{X)~SXQ W, S, V, Q c (W~Q{V)~SXQ W, S, V, R c W{S~V~RXQ W, S, V, S c W~(S{V){SXQ W, S, V, T c W~(V{T)|SXQ W, S, V, W c (W{S)~V{WXQ W, S, V, X c W~V{S~XXQ W, S, W, R c W~(W{R){SXQ W, S, W, S c (W{S)~W|SXQ W, S, W, U c (W{W)~U|SXQ W, S, W, V c W{(S{W)~VXQ W, S, X, Q c W~(X{Q){SXQ W, S, X, R c W~(X{R)|SXQ W, S, X, S c (W~S|X)~SXQ W, S, X, T c W~X{S~TXQ W, S, X, U c (W{X{U)~SXQ W, S, X, V c W~V{S~XXQ W, T, P, V c (W{T)~V{PXQ W, T, Q, U c (W~T{U)~QXQ W, T, Q, X c W~(TQ{X)XQ W, T, R, S c (W{T~R)~SXQ W, T, S, R c (W{T~R)~SXQ W, T, S, T c T~S~T|WXQ W, T, S, U c W~(T{U){SXQ W, T, S, V c W~(T{V)|SXQ W, T, S, X c W~X{T~SXQ W, T, T, S c T~T~S|WXQ W, T, U, Q c (W~T{U)~QXQ W, T, U, S c W~(T{U){SXQ W, T, U, X c W{(T{X)~UXQ W, T, V, P c (W{T)~V{PXQ W, T, V, S c W~(T{V)|SXQ W, T, V, V c W{(T{V)~VXQ W, T, V, X c (W{X)~T{VXQ W, T, X, Q c W~(TQ{X)XQ W, T, X, S c W~X{T~SXQ W, T, X, U c W{(T{X)~UXQ W, T, X, V c (W{X)~T{VXQ W, U, Q, Q c (W~U|Q)~QXQ W, U, Q, S c W~U~Q|SXQ W, U, Q, T c (W~T{U)~QXQ W, U, Q, V c W{U~Q~VXQ W, U, Q, X c (U~X|W)~QXQ W, U, S, Q c W~U~Q|SXQ W, U, S, T c W~(U{T){SXQ W, U, S, U c W~(U{U)|SXQ W, U, S, W c (W{W)~U|SXQ W, U, S, X c (W{U{X)~SXQ W, U, T, Q c (W~T{U)~QXQ W, U, T, S c W~(U{T){SXQ W, U, T, X c W{U~(T{X)XQ W, U, U, S c W~(U{U)|SXQ W, U, U, V c W{(U{U)~VXQ W, U, U, W c (W{U)~U{WXQ W, U, V, Q c W{U~V~QXQ W, U, V, U c (W{U)~V|UXQ W, U, V, V c W{U~(V{V)XQ W, U, W, S c (W{W)~U|SXQ W, U, W, U c W{(U{W)~UXQ W, U, X, Q c (U~X|W)~QXQ W, U, X, S c (W{U{X)~SXQ W, U, X, T c W{U~(X{T)XQ W, V, P, T c (W{T)~V{PXQ W, V, Q, S c (W~Q{V)~SXQ W, V, Q, U c W{V~Q~UXQ W, V, Q, W c (W{VQ)~WXQ W, V, Q, X c W~(V{XQ)XQ W, V, R, S c W{V~R~SXQ W, V, R, X c W{V~(R{X)XQ W, V, S, Q c (W~Q{V)~SXQ W, V, S, R c W{V~S~RXQ W, V, S, S c W~(V{S){SXQ W, V, S, T c W~(V{T)|SXQ W, V, S, W c W{V~(S{W)XQ W, V, S, X c W~V{S~XXQ W, V, T, P c (W{T)~V{PXQ W, V, T, S c W~(V{T)|SXQ W, V, T, V c W{(V{T)~VXQ W, V, T, X c (W{X)~T{VXQ W, V, U, Q c (W{V)~U{QXQ W, V, U, U c W{V~(U{U)XQ W, V, U, V c W{(V{V)~UXQ W, V, V, T c W{V~(V{T)XQ W, V, V, U c W{(V{V)~UXQ W, V, W, Q c (W{VQ)~WXQ W, V, W, S c (W{V{W)~SXQ W, V, X, Q c W~(V{XQ)XQ W, V, X, R c W{V~(X{R)XQ W, V, X, S c W~V{X~SXQ W, V, X, T c (W{X)~T{VXQ W, W, Q, V c W~(W{VQ)XQ W, W, R, S c W~(W{R){SXQ W, W, S, R c W~(W{R){SXQ W, W, S, S c W~(W{S)|SXQ W, W, S, U c (W{W)~U|SXQ W, W, S, V c W{(W{S)~VXQ W, W, U, S c (W{W)~U|SXQ W, W, U, U c W{(W{U)~UXQ W, W, V, Q c W~(W{VQ)XQ W, W, V, S c (W{W{V)~SXQ W, X, Q, Q c (W{Q)~X{QXQ W, X, Q, S c W~(X{Q){SXQ W, X, Q, T c W~(X{TQ)XQ W, X, Q, U c (X~U|W)~QXQ W, X, Q, V c W~(XQ{V)XQ W, X, R, S c W~(X{R)|SXQ W, X, R, V c W{(X{R)~VXQ W, X, R, X c W{X~X{RXQ W, X, S, Q c W~(X{Q){SXQ W, X, S, R c W~(X{R)|SXQ W, X, S, S c (W~S|X)~SXQ W, X, S, T c W~X{S~TXQ W, X, S, U c (W{X{U)~SXQ W, X, S, V c W~V{X~SXQ W, X, T, Q c W~(X{TQ)XQ W, X, T, S c W~X{T~SXQ W, X, T, U c W{(X{T)~UXQ W, X, T, V c (W{X)~T{VXQ W, X, U, Q c (X~U|W)~QXQ W, X, U, S c (W{X{U)~SXQ W, X, U, T c W{(X{T)~UXQ W, X, V, Q c W~(XQ{V)XQ W, X, V, R c W{(X{R)~VXQ W, X, V, S c W~V{X~SXQ W, X, V, T c (W{X)~T{VXQ W, X, X, R c W{X~X{RXQ X, P, Q, T c (X~T{P)~QXQ X, P, Q, X c (X{P)~X{QXQ X, P, S, V c (X{S)~V{PXQ X, P, T, Q c (X~T{P)~QXQ X, P, V, S c (X{S)~V{PXQ X, P, X, Q c (X{P)~X{QXQ X, Q, P, T c (X~T{P)~QXQ X, Q, P, X c (X{P)~X{QXQ X, Q, Q, T c X~Q~T{QXQ X, Q, Q, W c X~(Q{W){QXQ X, Q, R, V c X~(R{V){QXQ X, Q, S, T c (X~Q{T)~SXQ X, Q, S, U c X~(S{U){QXQ X, Q, S, V c (X{Q~V)~SXQ X, Q, S, W c (X{Q)~W{SXQ X, Q, T, P c (X~T{P)~QXQ X, Q, T, Q c X~Q~T{QXQ X, Q, T, S c (X~Q{T)~SXQ X, Q, T, T c X~(T{T){QXQ X, Q, T, W c (X{TQ)~WXQ X, Q, T, X c (X{X)~T{QXQ X, Q, U, S c X~(U{S){QXQ X, Q, U, U c (X{U)~U{QXQ X, Q, U, W c (X~U|W)~QXQ X, Q, V, R c X~(V{R){QXQ X, Q, V, S c (X{Q~V)~SXQ X, Q, V, W c (XQ{V)~WXQ X, Q, V, X c (X{Q)~X|VXQ X, Q, W, Q c X~(Q{W){QXQ X, Q, W, S c (X{Q)~W{SXQ X, Q, W, T c (X{TQ)~WXQ X, Q, W, U c (X~U|W)~QXQ X, Q, W, V c (XQ{V)~WXQ X, Q, X, P c X~(X{P){QXQ X, Q, X, T c (X{X)~T{QXQ X, Q, X, V c (X{Q)~X|VXQ X, Q, X, X c X{Q{X~XXQ X, R, Q, V c X~(R{V){QXQ X, R, S, S c (X~R|S)~SXQ X, R, S, W c (X{R)~W|SXQ X, R, V, Q c X~(R{V){QXQ X, R, V, W c (X{R)~V{WXQ X, R, W, S c (X{R)~W|SXQ X, R, W, V c X~(R{W)|VXQ X, R, W, X c X~X{R{WXQ X, R, X, W c X~X{R{WXQ X, S, P, V c (X{S)~V{PXQ X, S, Q, T c (X~Q{T)~SXQ X, S, Q, U c X~(S{U){QXQ X, S, Q, V c (X{Q~V)~SXQ X, S, Q, W c (X{Q)~W{SXQ X, S, R, S c (X~R|S)~SXQ X, S, R, W c (X{R)~W|SXQ X, S, S, R c (X~R|S)~SXQ X, S, S, W c S~(S~W|X)XQ X, S, T, Q c (X~Q{T)~SXQ X, S, T, W c X~W{S~TXQ X, S, T, X c (X{T{X)~SXQ X, S, U, Q c X~(S{U){QXQ X, S, U, V c (X{V)~U|SXQ X, S, U, W c (X{U{W)~SXQ X, S, V, P c (X{S)~V{PXQ X, S, V, Q c (X{V~Q)~SXQ X, S, V, U c (X{V)~U|SXQ X, S, V, V c X~(S{V)|VXQ X, S, V, W c X~S{V~WXQ X, S, V, X c X~X{S{VXQ X, S, W, Q c (X{Q)~W{SXQ X, S, W, R c (X{R)~W|SXQ X, S, W, S c (S~W|X)~SXQ X, S, W, T c X~W{S~TXQ X, S, W, U c (X{W{U)~SXQ X, S, W, V c X~S{W~VXQ X, S, X, T c (X{X{T)~SXQ X, S, X, V c X~X{S{VXQ X, T, P, Q c (X~T{P)~QXQ X, T, Q, P c (X~T{P)~QXQ X, T, Q, Q c X~T~Q{QXQ X, T, Q, S c (X~Q{T)~SXQ X, T, Q, T c X~(T{T){QXQ X, T, Q, W c (X{TQ)~WXQ X, T, Q, X c (X{X)~T{QXQ X, T, S, Q c (X~Q{T)~SXQ X, T, S, W c X~W{T~SXQ X, T, S, X c (X{T{X)~SXQ X, T, T, Q c X~(T{T){QXQ X, T, U, V c X~(T{U)|VXQ X, T, U, W c (X{T)~U{WXQ X, T, U, X c X~X{T{UXQ X, T, V, U c (X{T)~V|UXQ X, T, V, W c (X{W)~T{VXQ X, T, W, Q c (X{TQ)~WXQ X, T, W, S c X~W{T~SXQ X, T, W, U c (X{T)~U{WXQ X, T, W, V c (X{W)~T{VXQ X, T, X, Q c (X{X)~T{QXQ X, T, X, S c (X{T{X)~SXQ X, T, X, U c X~X{T{UXQ X, U, Q, S c X~(U{S){QXQ X, U, Q, U c (X{U)~U{QXQ X, U, Q, W c (X~U|W)~QXQ X, U, S, Q c X~(U{S){QXQ X, U, S, V c (X{V)~U|SXQ X, U, S, W c (X{U{W)~SXQ X, U, T, V c X~(U{T)|VXQ X, U, T, W c (X{T)~U{WXQ X, U, T, X c X~X{U{TXQ X, U, U, Q c (X{U)~U{QXQ X, U, V, S c (X{V)~U|SXQ X, U, V, T c X~(U{T)|VXQ X, U, W, Q c (X~U|W)~QXQ X, U, W, S c (X{U{W)~SXQ X, U, W, T c (X{T)~U{WXQ X, U, X, T c X~X{U{TXQ X, V, P, S c (X{S)~V{PXQ X, V, Q, R c X~(V{R){QXQ X, V, Q, S c (X{V~Q)~SXQ X, V, Q, W c (XQ{V)~WXQ X, V, Q, X c (X{Q)~X|VXQ X, V, R, Q c X~(V{R){QXQ X, V, R, W c (X{R)~V{WXQ X, V, S, P c (X{S)~V{PXQ X, V, S, Q c (X{V~Q)~SXQ X, V, S, U c (X{V)~U|SXQ X, V, S, V c X~(V{S)|VXQ X, V, S, W c X~S{V~WXQ X, V, S, X c X~X{V{SXQ X, V, T, U c (X{T)~V|UXQ X, V, T, W c (X{W)~T{VXQ X, V, U, S c (X{V)~U|SXQ X, V, U, T c X~(U{T)|VXQ X, V, V, S c (X{V{V)~SXQ X, V, W, Q c (XQ{V)~WXQ X, V, W, R c X~(W{R)|VXQ X, V, W, S c X~S{V~WXQ X, V, W, T c (X{W)~T{VXQ X, V, X, Q c X~(X{Q)|VXQ X, V, X, S c X~X{V{SXQ X, W, Q, Q c X~(W{Q){QXQ X, W, Q, S c (X{Q)~W{SXQ X, W, Q, T c (X{TQ)~WXQ X, W, Q, U c (X~U|W)~QXQ X, W, Q, V c (XQ{V)~WXQ X, W, R, S c (X{R)~W|SXQ X, W, R, V c X~(W{R)|VXQ X, W, R, X c X~X{W{RXQ X, W, S, Q c (X{Q)~W{SXQ X, W, S, R c (X{R)~W|SXQ X, W, S, S c (W~S|X)~SXQ X, W, S, T c X~W{S~TXQ X, W, S, U c (X{W{U)~SXQ X, W, S, V c X~S{W~VXQ X, W, T, Q c (X{TQ)~WXQ X, W, T, S c X~W{T~SXQ X, W, T, U c (X{T)~U{WXQ X, W, T, V c (X{W)~T{VXQ X, W, U, Q c (X~U|W)~QXQ X, W, U, S c (X{W{U)~SXQ X, W, U, T c (X{T)~U{WXQ X, W, V, Q c (XQ{V)~WXQ X, W, V, R c X~(W{R)|VXQ X, W, V, S c X~S{W~VXQ X, W, V, T c (X{W)~T{VXQ X, W, X, R c X~X{W{RXQ X, X, P, Q c X~(X{P){QXQ X, X, Q, P c X~(X{P){QXQ X, X, Q, T c (X{X)~T{QXQ X, X, Q, V c X~(X{Q)|VXQ X, X, Q, X c X~X{Q{XXQ X, X, R, W c X~X{R{WXQ X, X, S, T c (X{X{T)~SXQ X, X, S, V c X~X{S{VXQ X, X, T, Q c (X{X)~T{QXQ X, X, T, S c (X{X{T)~SXQ X, X, T, U c X~X{T{UXQ X, X, U, T c X~X{U{TXQ X, X, V, Q c X~(X{Q)|VXQ X, X, V, S c X~X{V{SXQ X, X, W, R c X~X{W{RXQ X, X, X, Q c X{X~X{QXQ