P, Q, U, W c P{Q~U~WXV P, Q, V, V c Q~V~V|PXV P, Q, W, U c P{Q~W~UXV P, R, S, W c P{R~S~WXV P, R, W, S c P{R~W~SXV P, R, W, X c P{(R{X)~WXV P, R, X, W c P{(R{X)~WXV P, S, R, W c P{S~R~WXV P, S, S, U c P{S~S~UXV P, S, U, S c P{S~U~SXV P, S, W, R c P{S~W~RXV P, S, W, W c P{(S{W)~WXV P, T, V, W c P{(T{V)~WXV P, T, V, X c (T{X)~V|PXV P, T, W, V c P{(T{V)~WXV P, T, X, V c (T{X)~V|PXV P, U, Q, W c P{U~Q~WXV P, U, S, S c P{U~S~SXV P, U, U, W c P{(U{U)~WXV P, U, V, W c (U{W)~V|PXV P, U, V, X c P{U~(V{X)XV P, U, W, Q c P{U~W~QXV P, U, W, U c P{(U{U)~WXV P, U, W, V c (U{W)~V|PXV P, U, W, W c P{U~(W{W)XV P, U, X, V c P{U~(X{V)XV P, V, Q, V c V~Q~V|PXV P, V, T, W c P{(V{T)~WXV P, V, T, X c V~(T{X)|PXV P, V, U, W c V~(U{W)|PXV P, V, U, X c P{(V{X)~UXV P, V, V, Q c V~V~Q|PXV P, V, V, V c (V{V)~V|PXV P, V, W, T c P{(V{T)~WXV P, V, W, U c V~(W{U)|PXV P, V, X, T c V~(X{T)|PXV P, V, X, U c P{(V{X)~UXV P, V, X, X c (P{X)~X{VXV P, W, Q, U c P{W~Q~UXV P, W, R, S c P{W~R~SXV P, W, R, X c P{W~(R{X)XV P, W, S, R c P{W~S~RXV P, W, S, W c P{(W{S)~WXV P, W, T, V c P{W~(T{V)XV P, W, U, Q c P{W~U~QXV P, W, U, U c P{W~(U{U)XV P, W, U, V c (W{U)~V|PXV P, W, U, W c P{(W{W)~UXV P, W, V, T c P{W~(V{T)XV P, W, V, U c (W{U)~V|PXV P, W, W, S c P{W~(W{S)XV P, W, W, U c P{(W{W)~UXV P, W, X, R c P{W~(X{R)XV P, X, R, W c P{(X{R)~WXV P, X, T, V c (X{T)~V|PXV P, X, U, V c P{(X{V)~UXV P, X, V, T c (X{T)~V|PXV P, X, V, U c P{(X{V)~UXV P, X, V, X c (P{X)~X{VXV P, X, W, R c P{(X{R)~WXV P, X, X, V c (P{X)~X{VXV Q, P, U, W c Q~U~W{PXV Q, P, V, V c Q~V~V|PXV Q, P, W, U c Q~W~U{PXV Q, Q, X, X c (Q{X)~X|QXV Q, R, W, X c (R{W)~X|QXV Q, R, X, W c (R{W)~X|QXV Q, S, V, X c (S{V)~X|QXV Q, S, X, V c (S{V)~X|QXV Q, T, U, X c (T{U)~X|QXV Q, T, V, X c Q~T~X{VXV Q, T, X, U c (T{U)~X|QXV Q, T, X, V c Q~T~X{VXV Q, U, P, W c Q~U~W{PXV Q, U, T, X c (U{T)~X|QXV Q, U, W, P c Q~U~W{PXV Q, U, X, T c (U{T)~X|QXV Q, V, P, V c Q~V~V|PXV Q, V, S, X c (V{S)~X|QXV Q, V, T, X c Q~T~X{VXV Q, V, V, P c Q~V~V|PXV Q, V, W, X c (Q{W)~X{VXV Q, V, X, S c (V{S)~X|QXV Q, V, X, T c Q~X~T{VXV Q, V, X, W c (Q{W)~X{VXV Q, W, P, U c Q~W~U{PXV Q, W, R, X c (W{R)~X|QXV Q, W, U, P c Q~W~U{PXV Q, W, V, X c (Q{W)~X{VXV Q, W, X, R c (W{R)~X|QXV Q, W, X, V c (Q{W)~X{VXV Q, W, X, X c Q~W{X~XXV Q, X, Q, X c (Q{X)~X|QXV Q, X, R, W c X~(R{W)|QXV Q, X, S, V c X~(S{V)|QXV Q, X, T, U c X~(T{U)|QXV Q, X, T, V c Q~X~T{VXV Q, X, U, T c X~(U{T)|QXV Q, X, V, S c X~(V{S)|QXV Q, X, V, T c Q~X~T{VXV Q, X, V, W c (Q{W)~X{VXV Q, X, W, R c X~(W{R)|QXV Q, X, W, V c (Q{W)~X{VXV Q, X, W, X c (Q{X)~W{XXV Q, X, X, Q c (Q{X)~X|QXV Q, X, X, W c (Q{X)~W{XXV R, P, S, W c R~S~W{PXV R, P, W, S c R~W~S{PXV R, P, W, X c (R{X)~W{PXV R, P, X, W c (R{X)~W{PXV R, Q, W, X c (R{W)~X|QXV R, Q, X, W c (R{W)~X|QXV R, S, P, W c R~S~W{PXV R, S, T, T c S~T~T|RXV R, S, W, P c R~S~W{PXV R, T, S, T c T~S~T|RXV R, T, T, S c T~T~S|RXV R, T, U, V c R~T~U{VXV R, T, V, U c R~T~U{VXV R, T, V, W c R~T~V|WXV R, T, W, V c R~T~V|WXV R, U, T, V c R~U~T{VXV R, U, V, T c R~U~T{VXV R, V, T, U c R~T~U{VXV R, V, T, W c R~V~T|WXV R, V, U, T c R~U~T{VXV R, V, V, X c (R{V)~X{VXV R, V, W, T c R~V~T|WXV R, V, X, V c (R{V)~X{VXV R, W, P, S c R~W~S{PXV R, W, P, X c (R{X)~W{PXV R, W, Q, X c (R{W)~X|QXV R, W, S, P c R~W~S{PXV R, W, T, V c R~T~V|WXV R, W, V, T c R~V~T|WXV R, W, W, X c (R{W)~W{XXV R, W, X, P c (R{X)~W{PXV R, W, X, Q c (R{W)~X|QXV R, W, X, W c (R{W)~W{XXV R, X, P, W c (R{X)~W{PXV R, X, Q, W c (R{W)~X|QXV R, X, V, V c (R{V)~X{VXV R, X, W, P c (R{X)~W{PXV R, X, W, Q c (R{W)~X|QXV R, X, W, W c (R{W)~W{XXV S, P, R, W c S~R~W{PXV S, P, S, U c S~S~U{PXV S, P, U, S c S~U~S{PXV S, P, W, R c S~W~R{PXV S, P, W, W c (S{W)~W{PXV S, Q, V, X c (S{V)~X|QXV S, Q, X, V c (S{V)~X|QXV S, R, P, W c S~R~W{PXV S, R, T, T c S~T~T|RXV S, R, W, P c S~R~W{PXV S, S, P, U c S~S~U{PXV S, S, U, P c S~S~U{PXV S, S, X, X c S~S{X~XXV S, T, R, T c S~T~T|RXV S, T, T, R c S~T~T|RXV S, U, P, S c S~U~S{PXV S, U, S, P c S~U~S{PXV S, U, V, X c (S{U)~X{VXV S, U, X, V c (S{U)~X{VXV S, V, Q, X c (S{V)~X|QXV S, V, U, X c (S{U)~X{VXV S, V, W, X c (S{V)~W{XXV S, V, X, Q c (S{V)~X|QXV S, V, X, U c (S{X)~V{UXV S, V, X, W c (S{V)~W{XXV S, W, P, R c S~W~R{PXV S, W, P, W c (S{W)~W{PXV S, W, R, P c S~W~R{PXV S, W, V, X c (S{V)~W{XXV S, W, W, P c (S{W)~W{PXV S, W, X, V c (S{X)~W|VXV S, X, Q, V c (S{V)~X|QXV S, X, S, X c S~S{X~XXV S, X, U, V c (S{X)~V{UXV S, X, V, Q c (S{V)~X|QXV S, X, V, U c (S{X)~V{UXV S, X, V, W c (S{X)~W|VXV S, X, W, V c (S{X)~W|VXV S, X, X, S c S~S{X~XXV T, P, V, W c (T{V)~W{PXV T, P, V, X c (T{X)~V|PXV T, P, W, V c (T{V)~W{PXV T, P, X, V c (T{X)~V|PXV T, Q, U, X c (T{U)~X|QXV T, Q, V, X c T~Q~X{VXV T, Q, X, U c (T{U)~X|QXV T, Q, X, V c T~Q~X{VXV T, R, S, T c T~S~T|RXV T, R, T, S c T~T~S|RXV T, R, U, V c T~R~U{VXV T, R, V, U c T~R~U{VXV T, R, V, W c T~R~V|WXV T, R, W, V c T~R~V|WXV T, S, R, T c T~S~T|RXV T, S, T, R c T~S~T|RXV T, T, R, S c T~T~S|RXV T, T, S, R c T~T~S|RXV T, T, V, X c (T{T)~X{VXV T, T, W, X c T~T{W~XXV T, T, X, V c (T{T)~X{VXV T, T, X, W c T~T{X~WXV T, U, Q, X c (T{U)~X|QXV T, U, R, V c T~U~R{VXV T, U, V, R c T~U~R{VXV T, U, V, W c (T{W)~V{UXV T, U, W, V c (T{W)~V{UXV T, U, W, X c (T{U)~W{XXV T, U, X, Q c (T{U)~X|QXV T, U, X, W c (T{U)~W{XXV T, V, P, W c (T{V)~W{PXV T, V, P, X c (T{X)~V|PXV T, V, Q, X c T~Q~X{VXV T, V, R, U c T~R~U{VXV T, V, R, W c T~V~R|WXV T, V, T, X c (T{T)~X{VXV T, V, U, R c T~U~R{VXV T, V, U, W c (T{W)~V{UXV T, V, W, P c (T{V)~W{PXV T, V, W, R c T~V~R|WXV T, V, W, U c (T{W)~V{UXV T, V, W, W c (T{W)~W|VXV T, V, X, P c (T{X)~V|PXV T, V, X, Q c T~X~Q{VXV T, V, X, T c (T{T)~X{VXV T, V, X, X c T~(X{X){VXV T, W, P, V c (T{V)~W{PXV T, W, R, V c T~R~V|WXV T, W, T, X c T~T{W~XXV T, W, U, V c (T{W)~V{UXV T, W, U, X c (T{U)~W{XXV T, W, V, P c (T{V)~W{PXV T, W, V, R c T~V~R|WXV T, W, V, U c (T{W)~V{UXV T, W, V, W c (T{W)~W|VXV T, W, W, V c (T{W)~W|VXV T, W, X, T c T~T{W~XXV T, W, X, U c (T{U)~W{XXV T, X, P, V c (T{X)~V|PXV T, X, Q, U c (T{U)~X|QXV T, X, Q, V c T~X~Q{VXV T, X, T, V c (T{T)~X{VXV T, X, T, W c T~T{X~WXV T, X, U, Q c (T{U)~X|QXV T, X, U, W c (T{U)~W{XXV T, X, V, P c (T{X)~V|PXV T, X, V, Q c T~X~Q{VXV T, X, V, T c (T{T)~X{VXV T, X, V, X c T~(X{X){VXV T, X, W, T c T~T{X~WXV T, X, W, U c (T{U)~W{XXV T, X, X, V c T~(X{X){VXV U, P, Q, W c U~Q~W{PXV U, P, S, S c U~S~S{PXV U, P, U, W c (U{U)~W{PXV U, P, V, W c (U{W)~V|PXV U, P, V, X c U~(V{X){PXV U, P, W, Q c U~W~Q{PXV U, P, W, U c (U{U)~W{PXV U, P, W, V c (U{W)~V|PXV U, P, W, W c U~(W{W){PXV U, P, X, V c U~(X{V){PXV U, Q, P, W c U~Q~W{PXV U, Q, T, X c (U{T)~X|QXV U, Q, W, P c U~Q~W{PXV U, Q, X, T c (U{T)~X|QXV U, R, T, V c U~R~T{VXV U, R, V, T c U~R~T{VXV U, S, P, S c U~S~S{PXV U, S, S, P c U~S~S{PXV U, S, V, X c U{(S{X)~VXV U, S, X, V c U{(S{X)~VXV U, T, Q, X c (U{T)~X|QXV U, T, R, V c U~T~R{VXV U, T, V, R c U~T~R{VXV U, T, V, W c U{(T{W)~VXV U, T, W, V c U{(T{W)~VXV U, T, W, X c (U{T)~W{XXV U, T, X, Q c (U{T)~X|QXV U, T, X, W c (U{T)~W{XXV U, U, P, W c (U{U)~W{PXV U, U, V, V c U{(U{V)~VXV U, U, V, X c U~(U{X){VXV U, U, W, P c (U{U)~W{PXV U, U, X, V c U~(U{X){VXV U, V, P, W c (U{W)~V|PXV U, V, P, X c U~(V{X){PXV U, V, R, T c U~R~T{VXV U, V, S, X c U{V~(S{X)XV U, V, T, R c U~T~R{VXV U, V, T, W c U{V~(T{W)XV U, V, U, V c U{(V{U)~VXV U, V, U, X c U~(U{X){VXV U, V, V, U c (U{V)~V{UXV U, V, V, W c (U{V)~W|VXV U, V, W, P c (U{W)~V|PXV U, V, W, T c U{V~(W{T)XV U, V, W, V c (U{V)~W|VXV U, V, W, X c (U{X)~V|WXV U, V, X, P c U~(V{X){PXV U, V, X, S c U{V~(X{S)XV U, V, X, U c (U{X)~U{VXV U, V, X, W c (U{X)~V|WXV U, W, P, Q c U~W~Q{PXV U, W, P, U c (U{U)~W{PXV U, W, P, V c (U{W)~V|PXV U, W, P, W c U~(W{W){PXV U, W, Q, P c U~W~Q{PXV U, W, T, V c U{(W{T)~VXV U, W, T, X c U~(W{X)|TXV U, W, U, P c (U{U)~W{PXV U, W, V, P c (U{W)~V|PXV U, W, V, T c U{(W{T)~VXV U, W, V, V c U~(W{V){VXV U, W, V, X c (U{X)~V|WXV U, W, W, P c U~(W{W){PXV U, W, X, T c U~(W{X)|TXV U, W, X, V c (U{X)~V|WXV U, X, P, V c U~(X{V){PXV U, X, Q, T c (U{T)~X|QXV U, X, S, V c U{(X{S)~VXV U, X, T, Q c (U{T)~X|QXV U, X, T, W c U~(X{W)|TXV U, X, U, V c (U{X)~U{VXV U, X, V, P c U~(X{V){PXV U, X, V, S c U{(X{S)~VXV U, X, V, U c (U{X)~U{VXV U, X, V, W c (U{X)~V|WXV U, X, W, T c U~(X{W)|TXV U, X, W, V c (U{X)~V|WXV V, P, Q, V c V~Q~V|PXV V, P, T, W c (V{T)~W{PXV V, P, T, X c V~(T{X)|PXV V, P, U, W c V~(U{W)|PXV V, P, U, X c (V{X)~U{PXV V, P, V, Q c V~V~Q|PXV V, P, V, V c (V{V)~V|PXV V, P, W, T c (V{T)~W{PXV V, P, W, U c V~(W{U)|PXV V, P, X, T c V~(X{T)|PXV V, P, X, U c (V{X)~U{PXV V, P, X, X c V{(P{X)~XXV V, Q, P, V c V~Q~V|PXV V, Q, S, X c (V{S)~X|QXV V, Q, T, X c V{Q~T~XXV V, Q, V, P c V~Q~V|PXV V, Q, W, X c V{(Q{W)~XXV V, Q, X, S c (V{S)~X|QXV V, Q, X, T c V{Q~X~TXV V, Q, X, W c V{(Q{W)~XXV V, R, T, U c V{R~T~UXV V, R, T, W c V~R~T|WXV V, R, U, T c V{R~U~TXV V, R, V, X c V{(R{V)~XXV V, R, W, T c V~R~T|WXV V, R, X, V c (V{R)~X{VXV V, S, Q, X c (V{S)~X|QXV V, S, U, X c V{(S{U)~XXV V, S, W, X c (V{S)~W{XXV V, S, X, Q c (V{S)~X|QXV V, S, X, U c V~(S{X){UXV V, S, X, W c (V{S)~W{XXV V, T, P, W c (V{T)~W{PXV V, T, P, X c V~(T{X)|PXV V, T, Q, X c V{T~Q~XXV V, T, R, U c V{T~R~UXV V, T, R, W c V~T~R|WXV V, T, T, X c V{(T{T)~XXV V, T, U, R c V{T~U~RXV V, T, U, W c V~(T{W){UXV V, T, W, P c (V{T)~W{PXV V, T, W, R c V~T~R|WXV V, T, W, U c V~(T{W){UXV V, T, W, W c (T{W)~W|VXV V, T, X, P c V~(T{X)|PXV V, T, X, Q c V{T~X~QXV V, T, X, T c V{(T{T)~XXV V, T, X, X c V{T~(X{X)XV V, U, P, W c V~(U{W)|PXV V, U, P, X c (V{X)~U{PXV V, U, R, T c V{U~R~TXV V, U, S, X c V{(U{S)~XXV V, U, T, R c V{U~T~RXV V, U, T, W c V~(T{W){UXV V, U, U, V c (V{U)~V{UXV V, U, U, X c V{U~(U{X)XV V, U, V, U c (V{U)~V{UXV V, U, V, W c V{U~(V{W)XV V, U, W, P c V~(U{W)|PXV V, U, W, T c V~(W{T){UXV V, U, W, V c V{U~(W{V)XV V, U, W, X c V~(U{X)|WXV V, U, X, P c (V{X)~U{PXV V, U, X, S c V{(U{S)~XXV V, U, X, U c V{(U{X)~UXV V, U, X, W c V~(U{X)|WXV V, V, P, Q c V~V~Q|PXV V, V, P, V c (V{V)~V|PXV V, V, Q, P c V~V~Q|PXV V, V, R, X c V{(V{R)~XXV V, V, U, U c V~(V{U){UXV V, V, U, W c V~V{U~WXV V, V, V, P c (V{V)~V|PXV V, V, W, U c V{(V{W)~UXV V, V, W, W c V~(V{W)|WXV V, V, X, R c V{(V{R)~XXV V, W, P, T c (V{T)~W{PXV V, W, P, U c V~(W{U)|PXV V, W, Q, X c V{(W{Q)~XXV V, W, R, T c V~R~T|WXV V, W, S, X c (V{S)~W{XXV V, W, T, P c (V{T)~W{PXV V, W, T, R c V~T~R|WXV V, W, T, U c V~(W{T){UXV V, W, T, W c (W{T)~W|VXV V, W, U, P c V~(W{U)|PXV V, W, U, T c V~(W{T){UXV V, W, U, V c (V{W)~U{VXV V, W, U, X c V~(U{X)|WXV V, W, V, U c V{(W{V)~UXV V, W, V, W c (V{W)~V|WXV V, W, W, T c W~(W{T)|VXV V, W, W, V c (V{W)~V|WXV V, W, X, Q c V{(W{Q)~XXV V, W, X, S c (V{S)~W{XXV V, W, X, U c V~(X{U)|WXV V, X, P, T c V~(X{T)|PXV V, X, P, U c (V{X)~U{PXV V, X, P, X c V{(X{P)~XXV V, X, Q, S c (V{S)~X|QXV V, X, Q, T c V{X~Q~TXV V, X, Q, W c V{X~(Q{W)XV V, X, R, V c V{X~(R{V)XV V, X, S, Q c (V{S)~X|QXV V, X, S, U c V{X~(S{U)XV V, X, S, W c (V{S)~W{XXV V, X, T, P c V~(X{T)|PXV V, X, T, Q c V{X~T~QXV V, X, T, T c V{X~(T{T)XV V, X, T, X c V{(X{X)~TXV V, X, U, P c (V{X)~U{PXV V, X, U, S c V{X~(U{S)XV V, X, U, U c V{(X{U)~UXV V, X, U, W c V~(X{U)|WXV V, X, V, R c V{X~(V{R)XV V, X, W, Q c V{X~(W{Q)XV V, X, W, S c (V{S)~W{XXV V, X, W, U c V~(X{U)|WXV V, X, X, P c V{X~(X{P)XV V, X, X, T c V{(X{X)~TXV V, X, X, X c V{X{X~XXV W, P, Q, U c W~Q~U{PXV W, P, R, S c W~R~S{PXV W, P, R, X c W~(R{X){PXV W, P, S, R c W~S~R{PXV W, P, S, W c (W{S)~W{PXV W, P, T, V c W~(T{V){PXV W, P, U, Q c W~U~Q{PXV W, P, U, U c W~(U{U){PXV W, P, U, V c (W{U)~V|PXV W, P, U, W c (W{W)~U{PXV W, P, V, T c W~(V{T){PXV W, P, V, U c (W{U)~V|PXV W, P, W, S c W~(W{S){PXV W, P, W, U c (W{W)~U{PXV W, P, X, R c W~(X{R){PXV W, Q, P, U c W~Q~U{PXV W, Q, R, X c (W{R)~X|QXV W, Q, U, P c W~Q~U{PXV W, Q, V, X c (W{Q)~X{VXV W, Q, X, R c (W{R)~X|QXV W, Q, X, V c (W{Q)~X{VXV W, Q, X, X c W~(Q{X){XXV W, R, P, S c W~R~S{PXV W, R, P, X c W~(R{X){PXV W, R, Q, X c (W{R)~X|QXV W, R, S, P c W~R~S{PXV W, R, T, V c R~T~V|WXV W, R, V, T c R~V~T|WXV W, R, W, X c (W{R)~W{XXV W, R, X, P c W~(R{X){PXV W, R, X, Q c (W{R)~X|QXV W, R, X, W c (W{R)~W{XXV W, S, P, R c W~S~R{PXV W, S, P, W c (W{S)~W{PXV W, S, R, P c W~S~R{PXV W, S, V, X c W~(S{V){XXV W, S, W, P c (W{S)~W{PXV W, S, X, V c W~(S{X)|VXV W, T, P, V c W~(T{V){PXV W, T, R, V c T~R~V|WXV W, T, T, X c W~X{T~TXV W, T, U, V c (W{T)~V{UXV W, T, U, X c W~(T{U){XXV W, T, V, P c W~(T{V){PXV W, T, V, R c T~V~R|WXV W, T, V, U c (W{T)~V{UXV W, T, V, W c (W{T)~W|VXV W, T, W, V c (W{T)~W|VXV W, T, X, T c W~X{T~TXV W, T, X, U c W~(T{U){XXV W, U, P, Q c W~U~Q{PXV W, U, P, U c W~(U{U){PXV W, U, P, V c (W{U)~V|PXV W, U, P, W c (W{W)~U{PXV W, U, Q, P c W~U~Q{PXV W, U, T, V c (W{T)~V{UXV W, U, T, X c W~(U{T){XXV W, U, U, P c W~(U{U){PXV W, U, V, P c (W{U)~V|PXV W, U, V, T c (W{T)~V{UXV W, U, V, V c W~(U{V)|VXV W, U, V, X c (U{X)~V|WXV W, U, W, P c (W{W)~U{PXV W, U, X, T c W~(U{T){XXV W, U, X, V c (U{X)~V|WXV W, V, P, T c W~(V{T){PXV W, V, P, U c (W{U)~V|PXV W, V, Q, X c (W{Q)~X{VXV W, V, R, T c V~R~T|WXV W, V, S, X c W~(V{S){XXV W, V, T, P c W~(V{T){PXV W, V, T, R c V~T~R|WXV W, V, T, U c (W{T)~V{UXV W, V, T, W c (W{T)~W|VXV W, V, U, P c (W{U)~V|PXV W, V, U, T c (W{T)~V{UXV W, V, U, V c (W{V)~U{VXV W, V, U, X c V~(U{X)|WXV W, V, V, U c (W{V)~U{VXV W, V, V, W c (W{V)~V|WXV W, V, W, T c W~(W{T)|VXV W, V, W, V c (W{V)~V|WXV W, V, X, Q c (W{Q)~X{VXV W, V, X, S c W~(V{S){XXV W, V, X, U c V~(X{U)|WXV W, W, P, S c W~(W{S){PXV W, W, P, U c (W{W)~U{PXV W, W, R, X c W~(W{R){XXV W, W, S, P c W~(W{S){PXV W, W, T, V c W~(W{T)|VXV W, W, U, P c (W{W)~U{PXV W, W, V, T c W~(W{T)|VXV W, W, V, V c (W{V)~V|WXV W, W, X, R c W~(W{R){XXV W, W, X, X c W{W{X~XXV W, X, P, R c W~(X{R){PXV W, X, Q, R c (W{R)~X|QXV W, X, Q, V c (W{Q)~X{VXV W, X, Q, X c W~(X{Q){XXV W, X, R, P c W~(X{R){PXV W, X, R, Q c (W{R)~X|QXV W, X, R, W c (W{R)~W{XXV W, X, S, V c W~(X{S)|VXV W, X, T, T c W~X{T~TXV W, X, T, U c (W{X)~U|TXV W, X, U, T c (W{X)~U|TXV W, X, U, V c (X{U)~V|WXV W, X, V, Q c (W{Q)~X{VXV W, X, V, S c W~(X{S)|VXV W, X, V, U c (X{U)~V|WXV W, X, W, R c W~(W{R){XXV W, X, W, X c W{X~X{WXV W, X, X, Q c W~(X{Q){XXV W, X, X, W c W{X~X{WXV X, P, R, W c (X{R)~W{PXV X, P, T, V c (X{T)~V|PXV X, P, U, V c (X{V)~U{PXV X, P, V, T c (X{T)~V|PXV X, P, V, U c (X{V)~U{PXV X, P, V, X c (X{P)~X{VXV X, P, W, R c (X{R)~W{PXV X, P, X, V c (X{P)~X{VXV X, Q, Q, X c (X{Q)~X|QXV X, Q, R, W c X~(R{W)|QXV X, Q, S, V c X~(S{V)|QXV X, Q, T, U c X~(T{U)|QXV X, Q, T, V c X~Q~T{VXV X, Q, U, T c X~(U{T)|QXV X, Q, V, S c X~(V{S)|QXV X, Q, V, T c X~Q~T{VXV X, Q, V, W c X~(Q{W){VXV X, Q, W, R c X~(W{R)|QXV X, Q, W, V c X~(Q{W){VXV X, Q, W, X c (X{Q)~W{XXV X, Q, X, Q c (X{Q)~X|QXV X, Q, X, W c X{(Q{X)~WXV X, R, P, W c (X{R)~W{PXV X, R, Q, W c X~(R{W)|QXV X, R, V, V c X~(R{V){VXV X, R, W, P c (X{R)~W{PXV X, R, W, Q c X~(R{W)|QXV X, R, W, W c X{(R{W)~WXV X, S, Q, V c X~(S{V)|QXV X, S, S, X c X~X{S~SXV X, S, U, V c X~(S{U){VXV X, S, V, Q c X~(S{V)|QXV X, S, V, U c (X{S)~V{UXV X, S, V, W c X{(S{V)~WXV X, S, W, V c (X{S)~W|VXV X, S, X, S c X~X{S~SXV X, T, P, V c (X{T)~V|PXV X, T, Q, U c X~(T{U)|QXV X, T, Q, V c X~T~Q{VXV X, T, T, V c X~(T{T){VXV X, T, T, W c X~W{T~TXV X, T, U, Q c X~(T{U)|QXV X, T, U, W c X{(T{U)~WXV X, T, V, P c (X{T)~V|PXV X, T, V, Q c X~T~Q{VXV X, T, V, T c X~(T{T){VXV X, T, V, X c (X{X)~T{VXV X, T, W, T c X~W{T~TXV X, T, W, U c X{(T{U)~WXV X, T, X, V c (X{X)~T{VXV X, U, P, V c (X{V)~U{PXV X, U, Q, T c X~(U{T)|QXV X, U, S, V c X~(U{S){VXV X, U, T, Q c X~(U{T)|QXV X, U, T, W c X{(U{T)~WXV X, U, U, V c (X{U)~U{VXV X, U, V, P c (X{V)~U{PXV X, U, V, S c X~(U{S){VXV X, U, V, U c (X{U)~U{VXV X, U, V, W c (X{U)~V|WXV X, U, W, T c X{(U{T)~WXV X, U, W, V c (X{U)~V|WXV X, V, P, T c (X{T)~V|PXV X, V, P, U c (X{V)~U{PXV X, V, P, X c (X{P)~X{VXV X, V, Q, S c X~(V{S)|QXV X, V, Q, T c X~Q~T{VXV X, V, Q, W c X~(Q{W){VXV X, V, R, V c X~(V{R){VXV X, V, S, Q c X~(V{S)|QXV X, V, S, U c (X{S)~V{UXV X, V, S, W c X{(V{S)~WXV X, V, T, P c (X{T)~V|PXV X, V, T, Q c X~T~Q{VXV X, V, T, T c X~(T{T){VXV X, V, T, X c (X{X)~T{VXV X, V, U, P c (X{V)~U{PXV X, V, U, S c X~(U{S){VXV X, V, U, U c (X{U)~U{VXV X, V, U, W c (X{U)~V|WXV X, V, V, R c X~(V{R){VXV X, V, W, Q c X~(W{Q){VXV X, V, W, S c X{(V{S)~WXV X, V, W, U c (X{U)~V|WXV X, V, X, P c X~(X{P){VXV X, V, X, T c (X{X)~T{VXV X, V, X, X c X{V{X~XXV X, W, P, R c (X{R)~W{PXV X, W, Q, R c X~(W{R)|QXV X, W, Q, V c X~(W{Q){VXV X, W, Q, X c X{W~(Q{X)XV X, W, R, P c (X{R)~W{PXV X, W, R, Q c X~(W{R)|QXV X, W, R, W c X{(W{R)~WXV X, W, S, V c X{W~(S{V)XV X, W, T, T c X~W{T~TXV X, W, T, U c X{W~(T{U)XV X, W, U, T c X{W~(U{T)XV X, W, U, V c (X{U)~V|WXV X, W, V, Q c X~(W{Q){VXV X, W, V, S c X{W~(V{S)XV X, W, V, U c (X{U)~V|WXV X, W, W, R c X{W~(W{R)XV X, W, W, X c X~X{W{WXV X, W, X, Q c X{W~(X{Q)XV X, W, X, W c X~X{W{WXV X, X, P, V c X~(X{P){VXV X, X, Q, Q c X~(X{Q)|QXV X, X, Q, W c X{(X{Q)~WXV X, X, S, S c X~X{S~SXV X, X, T, V c (X{X)~T{VXV X, X, V, P c X~(X{P){VXV X, X, V, T c (X{X)~T{VXV X, X, V, X c X~X{V{XXV X, X, W, Q c X~X{W~QXV X, X, W, W c X~X{W{WXV X, X, X, V c X{X~X{VXV