O, P, X, X c O{P{X~XWQ O, X, P, X c O{X~X{PWQ O, X, X, P c O{X~X{PWQ P, O, X, X c P{O{X~XWQ P, P, W, X c P{(P{W)~XWQ P, P, X, W c P{(P{W)~XWQ P, P, X, X c P{P~X~XWQ P, Q, T, W c (P{T~W)~QWQ P, Q, U, V c Q~(U~V|P)WQ P, Q, V, U c Q~(V~U|P)WQ P, Q, V, X c P{(Q{V)~XWQ P, Q, W, T c (P{W~T)~QWQ P, Q, W, X c (P{X)~W{QWQ P, Q, X, V c P{(Q{V)~XWQ P, Q, X, W c (P{X)~W{QWQ P, Q, X, X c Q|P{X~XWQ P, R, R, X c P{R~R~XWQ P, R, U, X c P{(R{U)~XWQ P, R, X, R c P{R~X~RWQ P, R, X, U c P{(R{U)~XWQ P, S, T, X c P{(S{T)~XWQ P, S, X, T c P{(S{T)~XWQ P, T, Q, W c (P{T~W)~QWQ P, T, S, X c P{(T{S)~XWQ P, T, W, Q c (P{T~W)~QWQ P, T, X, S c P{(T{S)~XWQ P, U, Q, V c (U~V|P)~QWQ P, U, R, X c P{(U{R)~XWQ P, U, V, Q c (U~V|P)~QWQ P, U, X, R c P{(U{R)~XWQ P, V, Q, U c (V~U|P)~QWQ P, V, Q, X c P{(V{Q)~XWQ P, V, U, Q c (V~U|P)~QWQ P, V, X, Q c P{(V{Q)~XWQ P, W, P, X c P{(W{P)~XWQ P, W, Q, T c (P{W~T)~QWQ P, W, Q, X c (P{X)~W{QWQ P, W, T, Q c (P{W~T)~QWQ P, W, X, P c (P{W)~X{PWQ P, W, X, Q c (P{X)~W{QWQ P, W, X, X c P{W~X{XWQ P, X, O, X c P{(X{O)~XWQ P, X, P, W c P{X~(P{W)WQ P, X, P, X c P{X~P~XWQ P, X, Q, V c P{X~(Q{V)WQ P, X, Q, W c (P{X)~W{QWQ P, X, Q, X c X~X|P{QWQ P, X, R, R c P{X~R~RWQ P, X, R, U c P{X~(R{U)WQ P, X, S, T c P{X~(S{T)WQ P, X, T, S c P{X~(T{S)WQ P, X, U, R c P{X~(U{R)WQ P, X, V, Q c P{X~(V{Q)WQ P, X, W, P c P{X~(W{P)WQ P, X, W, Q c (P{X)~W{QWQ P, X, W, X c P{X{W~XWQ P, X, X, O c P{X~X{OWQ P, X, X, P c P{X~X~PWQ P, X, X, Q c X~X|P{QWQ P, X, X, W c P{X{X~WWQ P, X, X, X c (PX{X)~XWQ Q, P, T, W c Q~(P{T~W)WQ Q, P, U, V c Q~(U~V|P)WQ Q, P, V, U c Q~(V~U|P)WQ Q, P, V, X c (Q{V)~X{PWQ Q, P, W, T c Q~(P{W~T)WQ Q, P, W, X c Q{(P{X)~WWQ Q, P, X, V c (Q{V)~X{PWQ Q, P, X, W c Q{(P{X)~WWQ Q, P, X, X c Q|P{X~XWQ Q, Q, T, W c Q{Q~T~WWQ Q, Q, U, V c Q~U~V|QWQ Q, Q, V, U c Q~V~U|QWQ Q, Q, W, T c Q{Q~W~TWQ Q, Q, W, W c Q{(Q{W)~WWQ Q, Q, X, X c QQ{X~XWQ Q, R, S, V c R~S~V|QWQ Q, R, V, S c R~V~S|QWQ Q, R, V, W c Q{(R{V)~WWQ Q, R, V, X c (R{X)~V|QWQ Q, R, W, V c Q{(R{V)~WWQ Q, R, X, V c (R{X)~V|QWQ Q, R, X, X c R|Q{X~XWQ Q, S, R, V c S~R~V|QWQ Q, S, S, T c Q{S~S~TWQ Q, S, T, S c Q{S~T~SWQ Q, S, T, X c Q~(S~X{T)WQ Q, S, U, W c Q{(S{U)~WWQ Q, S, V, R c S~V~R|QWQ Q, S, V, W c (S{W)~V|QWQ Q, S, W, U c Q{(S{U)~WWQ Q, S, W, V c (S{W)~V|QWQ Q, S, W, X c Q~(S~W{X)WQ Q, S, X, T c Q~(S~X{T)WQ Q, S, X, W c Q~(S~W{X)WQ Q, T, P, W c Q~(T~W{P)WQ Q, T, Q, W c Q{T~Q~WWQ Q, T, S, S c Q{T~S~SWQ Q, T, S, X c Q~(T{S~X)WQ Q, T, T, W c Q{(T{T)~WWQ Q, T, U, U c Q~(T{U~U)WQ Q, T, U, V c Q~(T~V{U)WQ Q, T, U, X c (T{X)~U|QWQ Q, T, V, U c Q~(T~V{U)WQ Q, T, V, V c (T{V)~V|QWQ Q, T, V, X c Q{T~(V{X)WQ Q, T, W, P c Q~(T~W{P)WQ Q, T, W, Q c Q{T~W~QWQ Q, T, W, T c Q{(T{T)~WWQ Q, T, W, W c Q{T~(W{W)WQ Q, T, W, X c Q~T{W~XWQ Q, T, X, S c Q~(T{X~S)WQ Q, T, X, U c (T{X)~U|QWQ Q, T, X, V c Q{T~(X{V)WQ Q, T, X, W c Q~T{X~WWQ Q, U, P, V c Q~(U~V|P)WQ Q, U, Q, V c Q~U~V|QWQ Q, U, S, W c Q{(U{S)~WWQ Q, U, T, U c Q~(U~U{T)WQ Q, U, T, V c Q~(U{T~V)WQ Q, U, T, X c U~(T{X)|QWQ Q, U, U, T c Q~(U~U{T)WQ Q, U, U, V c (U{U)~V|QWQ Q, U, U, W c U~(U{W)|QWQ Q, U, V, P c Q~(U~V|P)WQ Q, U, V, Q c Q~U~V|QWQ Q, U, V, T c Q~(U{V~T)WQ Q, U, V, U c (U{U)~V|QWQ Q, U, V, V c U~(V{V)|QWQ Q, U, V, W c Q~(U~W|V)WQ Q, U, W, S c Q{(U{S)~WWQ Q, U, W, U c (U{W)~U|QWQ Q, U, W, V c Q~(U~W|V)WQ Q, U, W, X c (Q{X)~W|UWQ Q, U, X, T c U~(X{T)|QWQ Q, U, X, W c (Q{X)~W|UWQ Q, V, P, U c Q~(V~U|P)WQ Q, V, P, X c (Q{V)~X{PWQ Q, V, Q, U c Q~V~U|QWQ Q, V, R, S c V~R~S|QWQ Q, V, R, W c Q{(V{R)~WWQ Q, V, R, X c V~(R{X)|QWQ Q, V, S, R c V~S~R|QWQ Q, V, S, W c V~(S{W)|QWQ Q, V, T, U c Q~(V~T{U)WQ Q, V, T, V c (V{T)~V|QWQ Q, V, T, X c Q{(V{X)~TWQ Q, V, U, P c Q~(V~U|P)WQ Q, V, U, Q c Q~V~U|QWQ Q, V, U, T c Q~(V~T{U)WQ Q, V, U, U c V~(U{U)|QWQ Q, V, U, V c (V{V)~U|QWQ Q, V, U, W c Q~(U~W|V)WQ Q, V, V, T c V~(V{T)|QWQ Q, V, V, U c (V{V)~U|QWQ Q, V, V, W c Q~(V~V|W)WQ Q, V, W, R c Q{(V{R)~WWQ Q, V, W, S c V~(W{S)|QWQ Q, V, W, U c Q~(W~U|V)WQ Q, V, W, V c Q~(V~V|W)WQ Q, V, X, P c (Q{V)~X{PWQ Q, V, X, R c V~(X{R)|QWQ Q, V, X, T c Q{(V{X)~TWQ Q, W, P, T c Q~(W~T{P)WQ Q, W, P, X c Q{W~(P{X)WQ Q, W, Q, T c Q{W~Q~TWQ Q, W, Q, W c Q{(W{Q)~WWQ Q, W, R, V c Q{W~(R{V)WQ Q, W, S, U c Q{W~(S{U)WQ Q, W, S, V c (W{S)~V|QWQ Q, W, S, X c Q~(W~S{X)WQ Q, W, T, P c Q~(W~T{P)WQ Q, W, T, Q c Q{W~T~QWQ Q, W, T, T c Q{W~(T{T)WQ Q, W, T, W c Q{(W{W)~TWQ Q, W, T, X c Q~T{W~XWQ Q, W, U, S c Q{W~(U{S)WQ Q, W, U, U c (W{U)~U|QWQ Q, W, U, V c Q~(W~U|V)WQ Q, W, U, X c (Q{X)~W|UWQ Q, W, V, R c Q{W~(V{R)WQ Q, W, V, S c (W{S)~V|QWQ Q, W, V, U c Q~(W~U|V)WQ Q, W, V, V c Q~(V~V|W)WQ Q, W, W, Q c (Q{W)~W{QWQ Q, W, W, T c Q{(W{W)~TWQ Q, W, W, X c Q{W{W~XWQ Q, W, X, P c Q{W~(X{P)WQ Q, W, X, S c Q~(W~S{X)WQ Q, W, X, T c Q~X~T|WWQ Q, W, X, U c (Q{X)~W|UWQ Q, W, X, W c Q{W{X~WWQ Q, X, P, V c (Q{V)~X{PWQ Q, X, P, W c Q{(X{P)~WWQ Q, X, P, X c Q{X~X|PWQ Q, X, Q, X c QQ{X~XWQ Q, X, R, V c (X{R)~V|QWQ Q, X, R, X c X~X|Q{RWQ Q, X, S, T c Q~(X~S{T)WQ Q, X, S, W c Q~(X{S~W)WQ Q, X, T, S c Q~(X~T|S)WQ Q, X, T, U c (X{T)~U|QWQ Q, X, T, V c Q{(X{V)~TWQ Q, X, T, W c Q~X~T|WWQ Q, X, U, T c (X{T)~U|QWQ Q, X, U, W c (Q{X)~W|UWQ Q, X, V, P c (Q{V)~X{PWQ Q, X, V, R c (X{R)~V|QWQ Q, X, V, T c Q{(X{V)~TWQ Q, X, W, P c Q{(X{P)~WWQ Q, X, W, S c Q~(X{W~S)WQ Q, X, W, T c Q~X~T|WWQ Q, X, W, U c (Q{X)~W|UWQ Q, X, W, W c Q{X~W{WWQ Q, X, X, P c Q{X~X|PWQ Q, X, X, Q c QQ{X~XWQ Q, X, X, R c X~X|Q{RWQ R, P, R, X c R~R~X{PWQ R, P, U, X c (R{U)~X{PWQ R, P, X, R c R~X~R{PWQ R, P, X, U c (R{U)~X{PWQ R, Q, S, V c R~S~V|QWQ R, Q, V, S c R~V~S|QWQ R, Q, V, W c (R{V)~W{QWQ R, Q, V, X c (R{X)~V|QWQ R, Q, W, V c (R{V)~W{QWQ R, Q, X, V c (R{X)~V|QWQ R, Q, X, X c R|Q{X~XWQ R, R, P, X c R~R~X{PWQ R, R, X, P c R~R~X{PWQ R, R, X, X c RR{X~XWQ R, S, Q, V c R~S~V|QWQ R, S, V, Q c R~S~V|QWQ R, S, X, X c S|R{X~XWQ R, T, T, V c R~T~T{VWQ R, T, U, W c R~T~U|WWQ R, T, V, T c R~T~T{VWQ R, T, V, W c (R{W)~V{TWQ R, T, W, U c R~T~U|WWQ R, T, W, V c (R{W)~V{TWQ R, T, W, X c T~(W{X)|RWQ R, T, X, W c T~(X{W)|RWQ R, U, P, X c (R{U)~X{PWQ R, U, T, W c R~U~T|WWQ R, U, W, T c R~U~T|WWQ R, U, W, W c R~U{W~WWQ R, U, X, P c (R{U)~X{PWQ R, V, Q, S c R~V~S|QWQ R, V, Q, W c (R{V)~W{QWQ R, V, Q, X c (R{X)~V|QWQ R, V, S, Q c R~V~S|QWQ R, V, T, T c R~T~T{VWQ R, V, T, W c (R{W)~V{TWQ R, V, W, Q c (R{V)~W{QWQ R, V, W, T c (R{W)~V{TWQ R, V, W, X c R{V{W~XWQ R, V, X, Q c (R{X)~V|QWQ R, V, X, W c R{V{X~WWQ R, W, Q, V c (R{V)~W{QWQ R, W, T, U c R~T~U|WWQ R, W, T, V c (R{W)~V{TWQ R, W, T, X c (W{X)~T|RWQ R, W, U, T c R~U~T|WWQ R, W, U, W c (R{W)~W|UWQ R, W, V, Q c (R{V)~W{QWQ R, W, V, T c (R{W)~V{TWQ R, W, V, X c R{W~X{VWQ R, W, W, U c (R{W)~W|UWQ R, W, X, T c (W{X)~T|RWQ R, W, X, V c R{W~X{VWQ R, X, P, R c R~X~R{PWQ R, X, P, U c (R{U)~X{PWQ R, X, Q, V c (R{X)~V|QWQ R, X, Q, X c R{X~X|QWQ R, X, R, P c R~X~R{PWQ R, X, R, X c RR{X~XWQ R, X, S, X c X~X|R{SWQ R, X, T, W c (X{W)~T|RWQ R, X, U, P c (R{U)~X{PWQ R, X, V, Q c (R{X)~V|QWQ R, X, V, W c R{X~W{VWQ R, X, W, T c (X{W)~T|RWQ R, X, W, V c R{X~W{VWQ R, X, X, Q c R{X~X|QWQ R, X, X, R c RR{X~XWQ R, X, X, S c X~X|R{SWQ S, P, T, X c (S{T)~X{PWQ S, P, X, T c (S{T)~X{PWQ S, Q, R, V c S~R~V|QWQ S, Q, S, T c S~S~T{QWQ S, Q, T, S c S~T~S{QWQ S, Q, T, X c (S~X{T)~QWQ S, Q, U, W c (S{U)~W{QWQ S, Q, V, R c S~V~R|QWQ S, Q, V, W c (S{W)~V|QWQ S, Q, W, U c (S{U)~W{QWQ S, Q, W, V c (S{W)~V|QWQ S, Q, W, X c (S~W{X)~QWQ S, Q, X, T c (S~X{T)~QWQ S, Q, X, W c (S~W{X)~QWQ S, R, Q, V c S~R~V|QWQ S, R, V, Q c S~R~V|QWQ S, R, X, X c S|R{X~XWQ S, S, Q, T c S~S~T{QWQ S, S, T, Q c S~S~T{QWQ S, S, U, X c S{(S{X)~UWQ S, S, X, U c S{(S{X)~UWQ S, S, X, X c SS{X~XWQ S, T, P, X c (S{T)~X{PWQ S, T, Q, S c S~T~S{QWQ S, T, Q, X c (S~X{T)~QWQ S, T, S, Q c S~T~S{QWQ S, T, U, W c S{(T{W)~UWQ S, T, V, V c (S{V)~V{TWQ S, T, W, U c S{(T{W)~UWQ S, T, W, X c (TS{X)~WWQ S, T, X, P c (S{T)~X{PWQ S, T, X, Q c (S~X{T)~QWQ S, T, X, W c (TS{X)~WWQ S, T, X, X c T|S{X~XWQ S, U, Q, W c (S{U)~W{QWQ S, U, S, X c S{U~(S{X)WQ S, U, T, W c S{U~(T{W)WQ S, U, U, V c S{U~(U{V)WQ S, U, V, U c S{(U{V)~UWQ S, U, V, W c (S{V)~W|UWQ S, U, V, X c S~V{U~XWQ S, U, W, Q c (S{U)~W{QWQ S, U, W, T c S{U~(W{T)WQ S, U, W, V c (S{V)~W|UWQ S, U, W, X c S{U{W~XWQ S, U, X, S c S{U~(X{S)WQ S, U, X, V c S~V{U~XWQ S, U, X, W c S{U{X~WWQ S, V, Q, R c S~V~R|QWQ S, V, Q, W c (S{W)~V|QWQ S, V, R, Q c S~V~R|QWQ S, V, T, V c (S{V)~V{TWQ S, V, U, U c S{(V{U)~UWQ S, V, U, W c (S{V)~W|UWQ S, V, U, X c S~V{U~XWQ S, V, V, T c (S{V)~V{TWQ S, V, W, Q c (S{W)~V|QWQ S, V, W, U c (S{V)~W|UWQ S, V, X, U c S~V{X~UWQ S, V, X, X c (S{X)~V|XWQ S, W, Q, U c (S{U)~W{QWQ S, W, Q, V c (S{W)~V|QWQ S, W, Q, X c (S~W{X)~QWQ S, W, T, U c S{(W{T)~UWQ S, W, T, X c W~(TS{X)WQ S, W, U, Q c (S{U)~W{QWQ S, W, U, T c S{(W{T)~UWQ S, W, U, V c (S{V)~W|UWQ S, W, U, X c S{W~X{UWQ S, W, V, Q c (S{W)~V|QWQ S, W, V, U c (S{V)~W|UWQ S, W, W, X c W~(W{XS)WQ S, W, X, Q c (S~W{X)~QWQ S, W, X, T c W~(X{TS)WQ S, W, X, U c S{W~X{UWQ S, W, X, W c (W{XS)~WWQ S, X, P, T c (S{T)~X{PWQ S, X, Q, T c (S~X{T)~QWQ S, X, Q, W c (S~W{X)~QWQ S, X, R, X c S{X~X|RWQ S, X, S, U c S{(X{S)~UWQ S, X, S, X c SS{X~XWQ S, X, T, P c (S{T)~X{PWQ S, X, T, Q c (S~X{T)~QWQ S, X, T, W c (X{TS)~WWQ S, X, T, X c X~X|S{TWQ S, X, U, S c (S{X)~U{SWQ S, X, U, V c S~V{X~UWQ S, X, U, W c S{X~W{UWQ S, X, V, U c S~V{X~UWQ S, X, V, X c (S{X)~V|XWQ S, X, W, Q c (S~W{X)~QWQ S, X, W, T c (X{TS)~WWQ S, X, W, U c S{X~W{UWQ S, X, W, W c (XS{W)~WWQ S, X, X, R c S{X~X|RWQ S, X, X, S c SS{X~XWQ S, X, X, T c X~X|S{TWQ S, X, X, V c (S{X)~V|XWQ T, P, Q, W c (T~W{P)~QWQ T, P, S, X c (T{S)~X{PWQ T, P, W, Q c (T~W{P)~QWQ T, P, X, S c (T{S)~X{PWQ T, Q, P, W c (T~W{P)~QWQ T, Q, Q, W c T~Q~W{QWQ T, Q, S, S c T~S~S{QWQ T, Q, S, X c (T{S~X)~QWQ T, Q, T, W c (T{T)~W{QWQ T, Q, U, U c (T{U~U)~QWQ T, Q, U, V c (T~V{U)~QWQ T, Q, U, X c (T{X)~U|QWQ T, Q, V, U c (T~V{U)~QWQ T, Q, V, V c (T{V)~V|QWQ T, Q, V, X c T{(Q{X)~VWQ T, Q, W, P c (T~W{P)~QWQ T, Q, W, Q c T~Q~W{QWQ T, Q, W, T c (T{T)~W{QWQ T, Q, W, W c T~(W{W){QWQ T, Q, W, X c T~Q{W~XWQ T, Q, X, S c (T{X~S)~QWQ T, Q, X, U c (T{X)~U|QWQ T, Q, X, V c T{(Q{X)~VWQ T, Q, X, W c T~Q{X~WWQ T, R, T, V c T~R~T{VWQ T, R, U, W c T~R~U|WWQ T, R, V, T c T~R~T{VWQ T, R, V, W c T{(R{W)~VWQ T, R, W, U c T~R~U|WWQ T, R, W, V c T{(R{W)~VWQ T, R, W, X c T~(W{X)|RWQ T, R, X, W c T~(X{W)|RWQ T, S, P, X c (T{S)~X{PWQ T, S, Q, S c T~S~S{QWQ T, S, Q, X c (T{S~X)~QWQ T, S, S, Q c T~S~S{QWQ T, S, U, W c (T{W)~U{SWQ T, S, V, V c T{(S{V)~VWQ T, S, W, U c (T{W)~U{SWQ T, S, W, X c (TS{X)~WWQ T, S, X, P c (T{S)~X{PWQ T, S, X, Q c (T{S~X)~QWQ T, S, X, W c (TS{X)~WWQ T, S, X, X c T|S{X~XWQ T, T, Q, W c (T{T)~W{QWQ T, T, R, V c T~T~R{VWQ T, T, U, V c T{(T{U)~VWQ T, T, V, R c T~T~R{VWQ T, T, V, U c T{(T{U)~VWQ T, T, W, Q c (T{T)~W{QWQ T, T, W, X c T{T{W~XWQ T, T, X, W c T{T{X~WWQ T, T, X, X c TT{X~XWQ T, U, Q, U c (T{U~U)~QWQ T, U, Q, V c (T~V{U)~QWQ T, U, Q, X c (T{X)~U|QWQ T, U, R, W c T~U~R|WWQ T, U, S, W c (T{W)~U{SWQ T, U, T, V c T{(U{T)~VWQ T, U, U, Q c (T{U~U)~QWQ T, U, U, W c (T{U)~W|UWQ T, U, V, Q c (T~V{U)~QWQ T, U, V, T c (T{U)~V{TWQ T, U, V, W c T~W{U~VWQ T, U, V, X c T~(U{X){VWQ T, U, W, R c T~U~R|WWQ T, U, W, S c (T{W)~U{SWQ T, U, W, U c (T{U)~W|UWQ T, U, W, V c T~W{U~VWQ T, U, X, Q c (T{X)~U|QWQ T, U, X, V c T~(U{X){VWQ T, U, X, X c U|T{X~XWQ T, V, Q, U c (T~V{U)~QWQ T, V, Q, V c (T{V)~V|QWQ T, V, Q, X c T{V~(Q{X)WQ T, V, R, T c T~R~T{VWQ T, V, R, W c T{V~(R{W)WQ T, V, S, V c T{(V{S)~VWQ T, V, T, R c T~T~R{VWQ T, V, T, U c T{V~(T{U)WQ T, V, U, Q c (T~V{U)~QWQ T, V, U, T c T{V~(U{T)WQ T, V, U, W c T~W{V~UWQ T, V, U, X c T~(U{X){VWQ T, V, V, Q c (T{V)~V|QWQ T, V, V, S c T{V~(V{S)WQ T, V, V, W c T~(V{W){VWQ T, V, W, R c T{V~(W{R)WQ T, V, W, U c T~W{V~UWQ T, V, W, V c T~(V{W){VWQ T, V, W, X c (T{W)~V|XWQ T, V, X, Q c T{V~(X{Q)WQ T, V, X, U c T~(X{U){VWQ T, V, X, W c (T{W)~V|XWQ T, W, P, Q c (T~W{P)~QWQ T, W, Q, P c (T~W{P)~QWQ T, W, Q, Q c T~W~Q{QWQ T, W, Q, T c (T{T)~W{QWQ T, W, Q, W c T~(W{W){QWQ T, W, Q, X c T~Q{W~XWQ T, W, R, U c T~R~U|WWQ T, W, R, V c T{(W{R)~VWQ T, W, R, X c T~(W{X)|RWQ T, W, S, U c (T{W)~U{SWQ T, W, S, X c (TS{X)~WWQ T, W, T, Q c (T{T)~W{QWQ T, W, T, X c T{W~X{TWQ T, W, U, R c T~U~R|WWQ T, W, U, S c (T{W)~U{SWQ T, W, U, U c (T{U)~W|UWQ T, W, U, V c T~W{U~VWQ T, W, V, R c T{(W{R)~VWQ T, W, V, U c T~W{V~UWQ T, W, V, V c T~(W{V){VWQ T, W, V, X c (T{W)~V|XWQ T, W, W, Q c T~(W{W){QWQ T, W, X, Q c T~X~Q|WWQ T, W, X, R c T~(W{X)|RWQ T, W, X, S c (TS{X)~WWQ T, W, X, T c T{W~X{TWQ T, W, X, V c (T{W)~V|XWQ T, W, X, X c T~(X{X)|WWQ T, X, P, S c (T{S)~X{PWQ T, X, Q, S c (T{X~S)~QWQ T, X, Q, U c (T{X)~U|QWQ T, X, Q, V c T{(X{Q)~VWQ T, X, Q, W c T~X~Q|WWQ T, X, R, W c T~(X{W)|RWQ T, X, S, P c (T{S)~X{PWQ T, X, S, Q c (T{X~S)~QWQ T, X, S, W c (TS{X)~WWQ T, X, S, X c T{X~X|SWQ T, X, T, W c T{X~W{TWQ T, X, T, X c TT{X~XWQ T, X, U, Q c (T{X)~U|QWQ T, X, U, V c T~(X{U){VWQ T, X, U, X c X~X|T{UWQ T, X, V, Q c T~(X{V){QWQ T, X, V, U c T~(X{U){VWQ T, X, V, W c (T{W)~V|XWQ T, X, W, Q c T~X~Q|WWQ T, X, W, R c T~(X{W)|RWQ T, X, W, S c (TS{X)~WWQ T, X, W, T c T{X~W{TWQ T, X, W, V c (T{W)~V|XWQ T, X, W, X c T~(X{X)|WWQ T, X, X, S c T{X~X|SWQ T, X, X, T c TT{X~XWQ T, X, X, U c X~X|T{UWQ T, X, X, W c T~(X{X)|WWQ U, P, Q, V c (U~V|P)~QWQ U, P, R, X c (U{R)~X{PWQ U, P, V, Q c (U~V|P)~QWQ U, P, X, R c (U{R)~X{PWQ U, Q, P, V c (U~V|P)~QWQ U, Q, Q, V c U~Q~V|QWQ U, Q, S, W c (U{S)~W{QWQ U, Q, T, U c (U~U{T)~QWQ U, Q, T, V c (U{T~V)~QWQ U, Q, T, X c U~(T{X)|QWQ U, Q, U, T c (U~U{T)~QWQ U, Q, U, V c (U{U)~V|QWQ U, Q, U, W c U~(U{W)|QWQ U, Q, V, P c (U~V|P)~QWQ U, Q, V, Q c U~Q~V|QWQ U, Q, V, T c (U{V~T)~QWQ U, Q, V, U c (U{U)~V|QWQ U, Q, V, V c U~(V{V)|QWQ U, Q, V, W c (U~W|V)~QWQ U, Q, W, S c (U{S)~W{QWQ U, Q, W, U c (U{W)~U|QWQ U, Q, W, V c (U~W|V)~QWQ U, Q, W, X c (Q{X)~W|UWQ U, Q, X, T c U~(X{T)|QWQ U, Q, X, W c (Q{X)~W|UWQ U, R, P, X c (U{R)~X{PWQ U, R, T, W c U~R~T|WWQ U, R, W, T c U~R~T|WWQ U, R, W, W c U~R{W~WWQ U, R, X, P c (U{R)~X{PWQ U, S, Q, W c (U{S)~W{QWQ U, S, S, X c U~(S{X){SWQ U, S, T, W c U~(T{W){SWQ U, S, U, V c U~(U{V){SWQ U, S, V, U c (U{V)~U{SWQ U, S, V, W c (S{V)~W|UWQ U, S, V, X c U~X{S~VWQ U, S, W, Q c (U{S)~W{QWQ U, S, W, T c U~(W{T){SWQ U, S, W, V c (S{V)~W|UWQ U, S, W, X c U{S{W~XWQ U, S, X, S c U~(S{X){SWQ U, S, X, V c U~X{S~VWQ U, S, X, W c U{S{X~WWQ U, T, Q, U c (U~U{T)~QWQ U, T, Q, V c (U{T~V)~QWQ U, T, Q, X c U~(T{X)|QWQ U, T, R, W c U~T~R|WWQ U, T, S, W c U~(T{W){SWQ U, T, T, V c (U{T)~V{TWQ U, T, U, Q c (U~U{T)~QWQ U, T, U, W c (U{T)~W|UWQ U, T, V, Q c (U{T~V)~QWQ U, T, V, T c (U{T)~V{TWQ U, T, V, W c U~V{T~WWQ U, T, V, X c (U{X)~T{VWQ U, T, W, R c U~T~R|WWQ U, T, W, S c U~(T{W){SWQ U, T, W, U c (U{T)~W|UWQ U, T, W, V c U~V{T~WWQ U, T, X, Q c U~(T{X)|QWQ U, T, X, V c (U{X)~T{VWQ U, T, X, X c U|T{X~XWQ U, U, Q, T c (U~U{T)~QWQ U, U, Q, V c (U{U)~V|QWQ U, U, Q, W c U~(U{W)|QWQ U, U, S, V c U~(U{V){SWQ U, U, T, Q c (U~U{T)~QWQ U, U, T, W c (U{T)~W|UWQ U, U, V, Q c (U{U)~V|QWQ U, U, V, S c U~(U{V){SWQ U, U, W, Q c U~(U{W)|QWQ U, U, W, T c (U{T)~W|UWQ U, U, W, X c U~(U{X)|WWQ U, U, X, W c U~(U{X)|WWQ U, U, X, X c UU{X~XWQ U, V, P, Q c (U~V|P)~QWQ U, V, Q, P c (U~V|P)~QWQ U, V, Q, Q c U~V~Q|QWQ U, V, Q, T c (U{V~T)~QWQ U, V, Q, U c (U{U)~V|QWQ U, V, Q, V c U~(V{V)|QWQ U, V, Q, W c (U~W|V)~QWQ U, V, S, U c (U{V)~U{SWQ U, V, S, W c (V{S)~W|UWQ U, V, S, X c U~X{V~SWQ U, V, T, Q c (U{V~T)~QWQ U, V, T, T c (U{T)~V{TWQ U, V, T, W c U~V{T~WWQ U, V, T, X c (U{X)~T{VWQ U, V, U, Q c (U{U)~V|QWQ U, V, U, S c (U{V)~U{SWQ U, V, V, Q c U~(V{V)|QWQ U, V, V, X c (U{V)~V|XWQ U, V, W, Q c (U~W|V)~QWQ U, V, W, S c (V{S)~W|UWQ U, V, W, T c U~V{W~TWQ U, V, W, W c U~(V{W)|WWQ U, V, X, S c U~X{V~SWQ U, V, X, T c (U{X)~T{VWQ U, V, X, V c (U{V)~V|XWQ U, V, X, X c V|U{X~XWQ U, W, Q, S c (U{S)~W{QWQ U, W, Q, U c (U{W)~U|QWQ U, W, Q, V c (U~W|V)~QWQ U, W, Q, X c W~(Q{X)|UWQ U, W, R, T c U~R~T|WWQ U, W, R, W c U~R{W~WWQ U, W, S, Q c (U{S)~W{QWQ U, W, S, T c U~(W{T){SWQ U, W, S, V c W~(S{V)|UWQ U, W, S, X c U{W~X{SWQ U, W, T, R c U~T~R|WWQ U, W, T, S c U~(W{T){SWQ U, W, T, U c (U{T)~W|UWQ U, W, T, V c U~V{W~TWQ U, W, U, Q c (U{W)~U|QWQ U, W, U, T c (U{T)~W|UWQ U, W, U, X c U~(U{X)|WWQ U, W, V, Q c (U~W|V)~QWQ U, W, V, S c W~(V{S)|UWQ U, W, V, T c U~V{W~TWQ U, W, V, W c U~(W{V)|WWQ U, W, W, R c U~R{W~WWQ U, W, W, V c U~(W{V)|WWQ U, W, X, Q c W~(X{Q)|UWQ U, W, X, S c U{W~X{SWQ U, W, X, U c (U{X)~U|WWQ U, X, P, R c (U{R)~X{PWQ U, X, Q, T c U~(X{T)|QWQ U, X, Q, W c (X{Q)~W|UWQ U, X, R, P c (U{R)~X{PWQ U, X, S, S c U~(X{S){SWQ U, X, S, V c U~X{S~VWQ U, X, S, W c U{X~W{SWQ U, X, T, Q c U~(X{T)|QWQ U, X, T, V c (U{X)~T{VWQ U, X, T, X c U{X~X|TWQ U, X, U, W c (U{X)~U|WWQ U, X, U, X c UU{X~XWQ U, X, V, S c U~X{V~SWQ U, X, V, T c (U{X)~T{VWQ U, X, V, V c (U{V)~V|XWQ U, X, V, X c X~X|U{VWQ U, X, W, Q c (X{Q)~W|UWQ U, X, W, S c U{X~W{SWQ U, X, W, U c (U{X)~U|WWQ U, X, X, T c U{X~X|TWQ U, X, X, U c UU{X~XWQ U, X, X, V c X~X|U{VWQ V, P, Q, U c (V~U|P)~QWQ V, P, Q, X c (V{Q)~X{PWQ V, P, U, Q c (V~U|P)~QWQ V, P, X, Q c (V{Q)~X{PWQ V, Q, P, U c (V~U|P)~QWQ V, Q, P, X c (V{Q)~X{PWQ V, Q, Q, U c V~Q~U|QWQ V, Q, R, S c V~R~S|QWQ V, Q, R, W c (V{R)~W{QWQ V, Q, R, X c V~(R{X)|QWQ V, Q, S, R c V~S~R|QWQ V, Q, S, W c V~(S{W)|QWQ V, Q, T, U c (V~T{U)~QWQ V, Q, T, V c (V{T)~V|QWQ V, Q, T, X c V~(Q{X){TWQ V, Q, U, P c (V~U|P)~QWQ V, Q, U, Q c V~Q~U|QWQ V, Q, U, T c (V~T{U)~QWQ V, Q, U, U c V~(U{U)|QWQ V, Q, U, V c (V{V)~U|QWQ V, Q, U, W c Q~(U~W|V)WQ V, Q, V, T c V~(V{T)|QWQ V, Q, V, U c (V{V)~U|QWQ V, Q, V, W c (V~V|W)~QWQ V, Q, W, R c (V{R)~W{QWQ V, Q, W, S c V~(W{S)|QWQ V, Q, W, U c Q~(W~U|V)WQ V, Q, W, V c (V~V|W)~QWQ V, Q, X, P c (V{Q)~X{PWQ V, Q, X, R c V~(X{R)|QWQ V, Q, X, T c V~(Q{X){TWQ V, R, Q, S c V~R~S|QWQ V, R, Q, W c (V{R)~W{QWQ V, R, Q, X c V~(R{X)|QWQ V, R, S, Q c V~R~S|QWQ V, R, T, T c V{R~T~TWQ V, R, T, W c V~(R{W){TWQ V, R, W, Q c (V{R)~W{QWQ V, R, W, T c V~(R{W){TWQ V, R, W, X c V{R{W~XWQ V, R, X, Q c V~(R{X)|QWQ V, R, X, W c V{R{X~WWQ V, S, Q, R c V~S~R|QWQ V, S, Q, W c V~(S{W)|QWQ V, S, R, Q c V~S~R|QWQ V, S, T, V c (V{S)~V{TWQ V, S, U, U c (V{U)~U{SWQ V, S, U, W c (V{S)~W|UWQ V, S, U, X c V~S{U~XWQ V, S, V, T c (V{S)~V{TWQ V, S, W, Q c V~(S{W)|QWQ V, S, W, U c (V{S)~W|UWQ V, S, X, U c V~S{X~UWQ V, S, X, X c V~(S{X)|XWQ V, T, Q, U c (V~T{U)~QWQ V, T, Q, V c (V{T)~V|QWQ V, T, Q, X c V~(Q{X){TWQ V, T, R, T c V{T~R~TWQ V, T, R, W c V~(R{W){TWQ V, T, S, V c (V{S)~V{TWQ V, T, T, R c V{T~T~RWQ V, T, T, U c V~(T{U){TWQ V, T, U, Q c (V~T{U)~QWQ V, T, U, T c V~(T{U){TWQ V, T, U, W c V~U{T~WWQ V, T, U, X c V{T~(U{X)WQ V, T, V, Q c (V{T)~V|QWQ V, T, V, S c V~(V{S){TWQ V, T, V, W c V{T~(V{W)WQ V, T, W, R c V~(W{R){TWQ V, T, W, U c V~U{T~WWQ V, T, W, V c V{T~(W{V)WQ V, T, W, X c V~(T{W)|XWQ V, T, X, Q c (V{X)~T{QWQ V, T, X, U c V{T~(X{U)WQ V, T, X, W c V~(T{W)|XWQ V, U, P, Q c (V~U|P)~QWQ V, U, Q, P c (V~U|P)~QWQ V, U, Q, Q c V~U~Q|QWQ V, U, Q, T c (V~T{U)~QWQ V, U, Q, U c V~(U{U)|QWQ V, U, Q, V c (V{V)~U|QWQ V, U, Q, W c (U~W|V)~QWQ V, U, S, U c (V{U)~U{SWQ V, U, S, W c (V{S)~W|UWQ V, U, S, X c V~S{U~XWQ V, U, T, Q c (V~T{U)~QWQ V, U, T, T c V~(U{T){TWQ V, U, T, W c V~U{T~WWQ V, U, T, X c V{(U{X)~TWQ V, U, U, Q c V~(U{U)|QWQ V, U, U, S c (V{U)~U{SWQ V, U, V, Q c (V{V)~U|QWQ V, U, V, X c (V{U)~V|XWQ V, U, W, Q c (U~W|V)~QWQ V, U, W, S c (V{S)~W|UWQ V, U, W, T c V~U{W~TWQ V, U, W, W c (V{W)~U|WWQ V, U, X, S c V~S{U~XWQ V, U, X, T c V{(U{X)~TWQ V, U, X, V c (V{U)~V|XWQ V, U, X, X c V|U{X~XWQ V, V, Q, T c V~(V{T)|QWQ V, V, Q, U c (V{V)~U|QWQ V, V, Q, W c (V~V|W)~QWQ V, V, S, T c V~(V{S){TWQ V, V, T, Q c V~(V{T)|QWQ V, V, T, S c V~(V{S){TWQ V, V, T, W c V{(V{W)~TWQ V, V, U, Q c (V{V)~U|QWQ V, V, U, X c V~(V{U)|XWQ V, V, W, Q c (V~V|W)~QWQ V, V, W, T c V{(V{W)~TWQ V, V, X, U c V~(V{U)|XWQ V, V, X, X c VV{X~XWQ V, W, Q, R c (V{R)~W{QWQ V, W, Q, S c V~(W{S)|QWQ V, W, Q, U c (W~U|V)~QWQ V, W, Q, V c (V~V|W)~QWQ V, W, R, Q c (V{R)~W{QWQ V, W, R, T c V~(W{R){TWQ V, W, R, X c V{W~X{RWQ V, W, S, Q c V~(W{S)|QWQ V, W, S, U c (V{S)~W|UWQ V, W, T, R c V~(W{R){TWQ V, W, T, U c V~U{W~TWQ V, W, T, V c (V{W)~T{VWQ V, W, T, X c V~(W{T)|XWQ V, W, U, Q c (W~U|V)~QWQ V, W, U, S c (V{S)~W|UWQ V, W, U, T c V~U{W~TWQ V, W, U, W c (V{W)~U|WWQ V, W, V, Q c (V~V|W)~QWQ V, W, V, T c V{(W{V)~TWQ V, W, W, U c (V{W)~U|WWQ V, W, X, R c V{W~X{RWQ V, W, X, T c V~(W{T)|XWQ V, W, X, X c W|V{X~XWQ V, X, P, Q c (V{Q)~X{PWQ V, X, Q, P c (V{Q)~X{PWQ V, X, Q, R c V~(X{R)|QWQ V, X, Q, T c V~(X{Q){TWQ V, X, R, Q c V~(X{R)|QWQ V, X, R, W c V{X~W{RWQ V, X, S, U c V~S{X~UWQ V, X, S, X c V~(X{S)|XWQ V, X, T, Q c (V{X)~T{QWQ V, X, T, U c V{(X{U)~TWQ V, X, T, W c V~(T{W)|XWQ V, X, U, S c V~S{X~UWQ V, X, U, T c V{(X{U)~TWQ V, X, U, V c (V{U)~V|XWQ V, X, U, X c V{X~X|UWQ V, X, V, U c V~(V{U)|XWQ V, X, V, X c VV{X~XWQ V, X, W, R c V{X~W{RWQ V, X, W, T c V~(W{T)|XWQ V, X, W, X c X~X|V{WWQ V, X, X, S c V~(X{S)|XWQ V, X, X, U c V{X~X|UWQ V, X, X, V c VV{X~XWQ V, X, X, W c X~X|V{WWQ W, P, P, X c (W{P)~X{PWQ W, P, Q, T c (W~T{P)~QWQ W, P, Q, X c W~(P{X){QWQ W, P, T, Q c (W~T{P)~QWQ W, P, X, P c (W{P)~X{PWQ W, P, X, Q c W~(P{X){QWQ W, P, X, X c W~X{P{XWQ W, Q, P, T c (W~T{P)~QWQ W, Q, P, X c W~(P{X){QWQ W, Q, Q, T c W~Q~T{QWQ W, Q, Q, W c (W{Q)~W{QWQ W, Q, R, V c W~(R{V){QWQ W, Q, S, U c W~(S{U){QWQ W, Q, S, V c (W{S)~V|QWQ W, Q, S, X c (W~S{X)~QWQ W, Q, T, P c (W~T{P)~QWQ W, Q, T, Q c W~Q~T{QWQ W, Q, T, T c W~(T{T){QWQ W, Q, T, W c (W{W)~T{QWQ W, Q, T, X c W~X{Q~TWQ W, Q, U, S c W~(U{S){QWQ W, Q, U, U c (W{U)~U|QWQ W, Q, U, V c (W~U|V)~QWQ W, Q, U, X c W~(Q{X)|UWQ W, Q, V, R c W~(V{R){QWQ W, Q, V, S c (W{S)~V|QWQ W, Q, V, U c (W~U|V)~QWQ W, Q, V, V c Q~(V~V|W)WQ W, Q, W, Q c (W{Q)~W{QWQ W, Q, W, T c (W{W)~T{QWQ W, Q, W, X c W{Q{W~XWQ W, Q, X, P c W~(X{P){QWQ W, Q, X, S c (W~S{X)~QWQ W, Q, X, T c W~X{Q~TWQ W, Q, X, U c W~(Q{X)|UWQ W, Q, X, W c W{Q{X~WWQ W, R, Q, V c W~(R{V){QWQ W, R, T, U c R~T~U|WWQ W, R, T, V c (W{R)~V{TWQ W, R, T, X c (W{X)~T|RWQ W, R, U, T c R~U~T|WWQ W, R, U, W c (W{R)~W|UWQ W, R, V, Q c W~(R{V){QWQ W, R, V, T c (W{R)~V{TWQ W, R, V, X c W~X{R{VWQ W, R, W, U c (W{R)~W|UWQ W, R, X, T c (W{X)~T|RWQ W, R, X, V c W~X{R{VWQ W, S, Q, U c W~(S{U){QWQ W, S, Q, V c (W{S)~V|QWQ W, S, Q, X c (W~S{X)~QWQ W, S, T, U c (W{T)~U{SWQ W, S, T, X c W~(TS{X)WQ W, S, U, Q c W~(S{U){QWQ W, S, U, T c (W{T)~U{SWQ W, S, U, V c W~(S{V)|UWQ W, S, U, X c W~X{S{UWQ W, S, V, Q c (W{S)~V|QWQ W, S, V, U c W~(S{V)|UWQ W, S, W, X c W~(W{XS)WQ W, S, X, Q c (W~S{X)~QWQ W, S, X, T c W~(X{TS)WQ W, S, X, U c W~X{S{UWQ W, S, X, W c (W{XS)~WWQ W, T, P, Q c (W~T{P)~QWQ W, T, Q, P c (W~T{P)~QWQ W, T, Q, Q c W~T~Q{QWQ W, T, Q, T c W~(T{T){QWQ W, T, Q, W c (W{W)~T{QWQ W, T, Q, X c W~X{T~QWQ W, T, R, U c T~R~U|WWQ W, T, R, V c (W{R)~V{TWQ W, T, R, X c (W{X)~T|RWQ W, T, S, U c (W{T)~U{SWQ W, T, S, X c W~(TS{X)WQ W, T, T, Q c W~(T{T){QWQ W, T, T, X c W~X{T{TWQ W, T, U, R c T~U~R|WWQ W, T, U, S c (W{T)~U{SWQ W, T, U, U c W~(T{U)|UWQ W, T, U, V c W~T{U~VWQ W, T, V, R c (W{R)~V{TWQ W, T, V, U c W~T{V~UWQ W, T, V, V c (W{V)~T{VWQ W, T, V, X c (W{T)~V|XWQ W, T, W, Q c (W{W)~T{QWQ W, T, X, Q c W~X{T~QWQ W, T, X, R c (W{X)~T|RWQ W, T, X, S c W~(TS{X)WQ W, T, X, T c W~X{T{TWQ W, T, X, V c (W{T)~V|XWQ W, T, X, X c T~(X{X)|WWQ W, U, Q, S c W~(U{S){QWQ W, U, Q, U c (W{U)~U|QWQ W, U, Q, V c (W~U|V)~QWQ W, U, Q, X c W~(Q{X)|UWQ W, U, R, T c U~R~T|WWQ W, U, R, W c (W{R)~W|UWQ W, U, S, Q c W~(U{S){QWQ W, U, S, T c (W{T)~U{SWQ W, U, S, V c W~(S{V)|UWQ W, U, S, X c W~X{U{SWQ W, U, T, R c U~T~R|WWQ W, U, T, S c (W{T)~U{SWQ W, U, T, U c W~(U{T)|UWQ W, U, T, V c W~T{U~VWQ W, U, U, Q c (W{U)~U|QWQ W, U, U, T c W~(U{T)|UWQ W, U, U, X c U~(U{X)|WWQ W, U, V, Q c (W~U|V)~QWQ W, U, V, S c W~(V{S)|UWQ W, U, V, T c W~T{U~VWQ W, U, V, W c (W{V)~U|WWQ W, U, W, R c W~W{U~RWQ W, U, W, V c (W{V)~U|WWQ W, U, X, Q c W~(X{Q)|UWQ W, U, X, S c W~X{U{SWQ W, U, X, U c (U{X)~U|WWQ W, V, Q, R c W~(V{R){QWQ W, V, Q, S c (W{S)~V|QWQ W, V, Q, U c (W~U|V)~QWQ W, V, Q, V c (V~V|W)~QWQ W, V, R, Q c W~(V{R){QWQ W, V, R, T c (W{R)~V{TWQ W, V, R, X c W~X{V{RWQ W, V, S, Q c (W{S)~V|QWQ W, V, S, U c W~(V{S)|UWQ W, V, T, R c (W{R)~V{TWQ W, V, T, U c W~T{V~UWQ W, V, T, V c (W{V)~T{VWQ W, V, T, X c (W{T)~V|XWQ W, V, U, Q c (W~U|V)~QWQ W, V, U, S c W~(V{S)|UWQ W, V, U, T c W~T{V~UWQ W, V, U, W c (W{V)~U|WWQ W, V, V, Q c (V~V|W)~QWQ W, V, V, T c (W{V)~T{VWQ W, V, W, U c (W{V)~U|WWQ W, V, X, R c W~X{V{RWQ W, V, X, T c (W{T)~V|XWQ W, V, X, X c W|V{X~XWQ W, W, Q, Q c W~(W{Q){QWQ W, W, Q, T c (W{W)~T{QWQ W, W, Q, X c W~W{Q~XWQ W, W, R, U c W~(W{R)|UWQ W, W, S, X c W~(W{XS)WQ W, W, T, Q c (W{W)~T{QWQ W, W, U, R c W~W{U~RWQ W, W, U, V c (W{V)~U|WWQ W, W, V, U c (W{V)~U|WWQ W, W, X, Q c W{W~X{QWQ W, W, X, S c W~(W{XS)WQ W, W, X, X c W~W{X{XWQ W, X, P, P c (W{P)~X{PWQ W, X, P, Q c W~(X{P){QWQ W, X, P, X c W~X{P{XWQ W, X, Q, P c W~(X{P){QWQ W, X, Q, S c (W~S{X)~QWQ W, X, Q, T c W~X{Q~TWQ W, X, Q, U c W~(X{Q)|UWQ W, X, Q, W c W~X{Q{WWQ W, X, R, T c (W{X)~T|RWQ W, X, R, V c W~X{R{VWQ W, X, S, Q c (W~S{X)~QWQ W, X, S, T c W~(X{TS)WQ W, X, S, U c W~X{S{UWQ W, X, S, W c (W{XS)~WWQ W, X, T, Q c W~X{T~QWQ W, X, T, R c (W{X)~T|RWQ W, X, T, S c W~(X{TS)WQ W, X, T, T c W~X{T{TWQ W, X, T, V c (W{T)~V|XWQ W, X, T, X c (X{X)~T|WWQ W, X, U, Q c W~(X{Q)|UWQ W, X, U, S c W~X{U{SWQ W, X, U, U c (X{U)~U|WWQ W, X, V, R c W~X{V{RWQ W, X, V, T c (W{T)~V|XWQ W, X, V, X c W{X~X|VWQ W, X, W, Q c W{X~W{QWQ W, X, W, S c (W{XS)~WWQ W, X, W, X c W~W{X{XWQ W, X, X, P c W~X{X{PWQ W, X, X, T c (X{X)~T|WWQ W, X, X, V c W{X~X|VWQ W, X, X, W c W~W{X{XWQ W, X, X, X c X|W{X~XWQ X, O, P, X c (X{O)~X{PWQ X, O, X, P c (X{O)~X{PWQ X, P, O, X c (X{O)~X{PWQ X, P, P, W c X~(P{W){PWQ X, P, P, X c X~P~X{PWQ X, P, Q, V c X~(Q{V){PWQ X, P, Q, W c (X{P)~W{QWQ X, P, Q, X c X~X|P{QWQ X, P, R, R c X~R~R{PWQ X, P, R, U c X~(R{U){PWQ X, P, S, T c X~(S{T){PWQ X, P, T, S c X~(T{S){PWQ X, P, U, R c X~(U{R){PWQ X, P, V, Q c X~(V{Q){PWQ X, P, W, P c X~(P{W){PWQ X, P, W, Q c (X{P)~W{QWQ X, P, W, X c X{P{W~XWQ X, P, X, O c X~X{P{OWQ X, P, X, P c X~P~X{PWQ X, P, X, Q c X~X|P{QWQ X, P, X, W c X{P{X~WWQ X, P, X, X c (X{PX)~XWQ X, Q, P, V c X~(Q{V){PWQ X, Q, P, W c (X{P)~W{QWQ X, Q, P, X c X~X{Q|PWQ X, Q, Q, X c X~X{QQWQ X, Q, R, V c (X{R)~V|QWQ X, Q, R, X c X~X|Q{RWQ X, Q, S, T c (X~S{T)~QWQ X, Q, S, W c (X{S~W)~QWQ X, Q, T, S c (X~T|S)~QWQ X, Q, T, U c (X{T)~U|QWQ X, Q, T, V c (X{Q)~V{TWQ X, Q, T, W c X~Q~T|WWQ X, Q, U, T c (X{T)~U|QWQ X, Q, U, W c (X{Q)~W|UWQ X, Q, V, P c X~(Q{V){PWQ X, Q, V, R c (X{R)~V|QWQ X, Q, V, T c (X{Q)~V{TWQ X, Q, W, P c (X{P)~W{QWQ X, Q, W, S c (X{W~S)~QWQ X, Q, W, T c X~Q~T|WWQ X, Q, W, U c (X{Q)~W|UWQ X, Q, W, W c X~(Q{W)|WWQ X, Q, X, P c X~X{Q|PWQ X, Q, X, Q c X~X{QQWQ X, Q, X, R c X~X|Q{RWQ X, R, P, R c X~R~R{PWQ X, R, P, U c X~(R{U){PWQ X, R, Q, V c (X{R)~V|QWQ X, R, Q, X c X~X{R|QWQ X, R, R, P c X~R~R{PWQ X, R, R, X c X~X{RRWQ X, R, S, X c X~X|R{SWQ X, R, T, W c (X{W)~T|RWQ X, R, U, P c X~(R{U){PWQ X, R, V, Q c (X{R)~V|QWQ X, R, V, W c X~(R{V)|WWQ X, R, W, T c (X{W)~T|RWQ X, R, W, V c X~(R{V)|WWQ X, R, X, Q c X~X{R|QWQ X, R, X, R c X~X{RRWQ X, R, X, S c X~X|R{SWQ X, S, P, T c X~(S{T){PWQ X, S, Q, T c (X~S{T)~QWQ X, S, Q, W c (X{S~W)~QWQ X, S, R, X c X~X{S|RWQ X, S, S, U c (X{S)~U{SWQ X, S, S, X c X~X{SSWQ X, S, T, P c X~(S{T){PWQ X, S, T, Q c (X~S{T)~QWQ X, S, T, W c (X{TS)~WWQ X, S, T, X c X~X|S{TWQ X, S, U, S c (X{S)~U{SWQ X, S, U, V c X~U{S~VWQ X, S, U, W c X~(S{U)|WWQ X, S, V, U c X~U{S~VWQ X, S, V, X c (X{S)~V|XWQ X, S, W, Q c (X{S~W)~QWQ X, S, W, T c (X{TS)~WWQ X, S, W, U c X~(S{U)|WWQ X, S, W, W c (XS{W)~WWQ X, S, X, R c X~X{S|RWQ X, S, X, S c X~X{SSWQ X, S, X, T c X~X|S{TWQ X, S, X, V c (X{S)~V|XWQ X, T, P, S c X~(T{S){PWQ X, T, Q, S c (X~T|S)~QWQ X, T, Q, U c (X{T)~U|QWQ X, T, Q, V c (X{Q)~V{TWQ X, T, Q, W c X~T~Q|WWQ X, T, R, W c (X{W)~T|RWQ X, T, S, P c X~(T{S){PWQ X, T, S, Q c (X~T|S)~QWQ X, T, S, W c (X{TS)~WWQ X, T, S, X c X~X{T|SWQ X, T, T, W c X~(T{T)|WWQ X, T, T, X c X~X{TTWQ X, T, U, Q c (X{T)~U|QWQ X, T, U, V c (X{U)~T{VWQ X, T, U, X c X~X|T{UWQ X, T, V, Q c (X{V)~T{QWQ X, T, V, U c (X{U)~T{VWQ X, T, V, W c (T{W)~V|XWQ X, T, W, Q c X~T~Q|WWQ X, T, W, R c (X{W)~T|RWQ X, T, W, S c (X{TS)~WWQ X, T, W, T c X~(T{T)|WWQ X, T, W, V c (T{W)~V|XWQ X, T, W, X c (X{X)~T|WWQ X, T, X, S c X~X{T|SWQ X, T, X, T c X~X{TTWQ X, T, X, U c X~X|T{UWQ X, T, X, W c (X{X)~T|WWQ X, U, P, R c X~(U{R){PWQ X, U, Q, T c (X{T)~U|QWQ X, U, Q, W c (X{Q)~W|UWQ X, U, R, P c X~(U{R){PWQ X, U, S, S c (X{S)~U{SWQ X, U, S, V c X~U{S~VWQ X, U, S, W c X~(U{S)|WWQ X, U, T, Q c (X{T)~U|QWQ X, U, T, V c (X{U)~T{VWQ X, U, T, X c X~X{U|TWQ X, U, U, W c (X{U)~U|WWQ X, U, U, X c X~X{UUWQ X, U, V, S c X~U{V~SWQ X, U, V, T c (X{U)~T{VWQ X, U, V, V c (U{V)~V|XWQ X, U, V, X c X~X|U{VWQ X, U, W, Q c (X{Q)~W|UWQ X, U, W, S c X~(U{S)|WWQ X, U, W, U c (X{U)~U|WWQ X, U, X, T c X~X{U|TWQ X, U, X, U c X~X{UUWQ X, U, X, V c X~X|U{VWQ X, V, P, Q c X~(V{Q){PWQ X, V, Q, P c X~(V{Q){PWQ X, V, Q, R c (X{R)~V|QWQ X, V, Q, T c (X{V)~T{QWQ X, V, R, Q c (X{R)~V|QWQ X, V, R, W c X~(V{R)|WWQ X, V, S, U c X~U{V~SWQ X, V, S, X c (X{S)~V|XWQ X, V, T, Q c (X{V)~T{QWQ X, V, T, U c (X{U)~T{VWQ X, V, T, W c V~(T{W)|XWQ X, V, U, S c X~U{V~SWQ X, V, U, T c (X{U)~T{VWQ X, V, U, V c (V{U)~V|XWQ X, V, U, X c X~X{V|UWQ X, V, V, U c V~(V{U)|XWQ X, V, V, X c X~X{VVWQ X, V, W, R c X~(V{R)|WWQ X, V, W, T c V~(W{T)|XWQ X, V, W, X c X~X|V{WWQ X, V, X, S c (X{S)~V|XWQ X, V, X, U c X~X{V|UWQ X, V, X, V c X~X{VVWQ X, V, X, W c X~X|V{WWQ X, W, P, P c X~(W{P){PWQ X, W, P, Q c (X{P)~W{QWQ X, W, P, X c X~W{P{XWQ X, W, Q, P c (X{P)~W{QWQ X, W, Q, S c (X{W~S)~QWQ X, W, Q, T c X~W{Q~TWQ X, W, Q, U c (X{Q)~W|UWQ X, W, Q, W c X~W{Q{WWQ X, W, R, T c (X{W)~T|RWQ X, W, R, V c X~W{R{VWQ X, W, S, Q c (X{W~S)~QWQ X, W, S, T c (X{TS)~WWQ X, W, S, U c X~W{S{UWQ X, W, S, W c (XS{W)~WWQ X, W, T, Q c X~W{T~QWQ X, W, T, R c (X{W)~T|RWQ X, W, T, S c (X{TS)~WWQ X, W, T, T c X~W{T{TWQ X, W, T, V c (W{T)~V|XWQ X, W, T, X c (X{X)~T|WWQ X, W, U, Q c (X{Q)~W|UWQ X, W, U, S c X~W{U{SWQ X, W, U, U c (X{U)~U|WWQ X, W, V, R c X~W{V{RWQ X, W, V, T c (W{T)~V|XWQ X, W, V, X c X~X{W|VWQ X, W, W, Q c X~W{W{QWQ X, W, W, S c (XS{W)~WWQ X, W, W, X c X{W~W{XWQ X, W, X, P c X{W~X{PWQ X, W, X, T c (X{X)~T|WWQ X, W, X, V c X~X{W|VWQ X, W, X, W c X{W~W{XWQ X, W, X, X c X|W{X~XWQ X, X, O, P c X~X{O{PWQ X, X, P, O c X~X{P{OWQ X, X, P, P c X~X{P~PWQ X, X, P, Q c X~X|P{QWQ X, X, P, W c X~(X{P)|WWQ X, X, P, X c X~(X{PX)WQ X, X, Q, P c X~X{Q|PWQ X, X, Q, Q c X~X{QQWQ X, X, Q, R c X~X|Q{RWQ X, X, R, Q c X~X{R|QWQ X, X, R, R c X~X{RRWQ X, X, R, S c X~X|R{SWQ X, X, S, R c X~X{S|RWQ X, X, S, S c X~X{SSWQ X, X, S, T c X~X|S{TWQ X, X, S, V c (X{S)~V|XWQ X, X, T, S c X~X{T|SWQ X, X, T, T c X~X{TTWQ X, X, T, U c X~X|T{UWQ X, X, T, W c (X{X)~T|WWQ X, X, U, T c X~X{U|TWQ X, X, U, U c X~X{UUWQ X, X, U, V c X~X|U{VWQ X, X, V, S c (X{S)~V|XWQ X, X, V, U c X~X{V|UWQ X, X, V, V c X~X{VVWQ X, X, V, W c X~X|V{WWQ X, X, W, P c X{X~W{PWQ X, X, W, T c (X{X)~T|WWQ X, X, W, V c X~X{W|VWQ X, X, W, W c X{X{W~WWQ X, X, W, X c X~X|W{XWQ X, X, X, P c X~(X{PX)WQ X, X, X, W c X{X~X|WWQ X, X, X, X c X~X{XXWQ