O, S, X, X c O{S{X~XWT O, T, W, X c (O{T)~(W{X)WT O, T, X, W c (O{T)~(X{W)WT O, W, T, X c (O{W{X)~TWT O, W, X, T c (O{W{X)~TWT O, X, S, X c O{X~X{SWT O, X, T, W c (O{X{W)~TWT O, X, W, T c (O{X{W)~TWT O, X, X, S c O{X~X{SWT P, Q, T, W c (P{Q~W)~TWT P, Q, T, X c (Q~X|P)~TWT P, Q, U, V c P{Q~U~VWT P, Q, V, U c P{Q~V~UWT P, Q, W, T c (P{Q~W)~TWT P, Q, X, T c (Q~X|P)~TWT P, R, S, V c P{R~S~VWT P, R, T, U c (R~U|P)~TWT P, R, U, T c (R~U|P)~TWT P, R, V, S c P{R~V~SWT P, R, V, X c P{(R{X)~VWT P, R, X, V c P{(R{X)~VWT P, R, X, X c P{R{X~XWT P, S, R, V c P{S~R~VWT P, S, S, T c (P{S~S)~TWT P, S, T, S c (P{S~S)~TWT P, S, V, R c P{S~V~RWT P, S, V, W c P{(S{W)~VWT P, S, W, V c P{(S{W)~VWT P, S, W, X c (P{S)~(W{X)WT P, S, X, W c (P{S)~(X{W)WT P, S, X, X c P~S{X~XWT P, T, Q, W c (P{Q~W)~TWT P, T, Q, X c T~(Q~X|P)WT P, T, R, U c T~(R~U|P)WT P, T, S, S c (P{S~S)~TWT P, T, U, R c T~(U~R|P)WT P, T, U, X c P{(T{X)~UWT P, T, V, V c P{(T{V)~VWT P, T, V, X c (P{V{X)~TWT P, T, W, Q c (P{W~Q)~TWT P, T, W, W c (P{W{W)~TWT P, T, W, X c (P~T)~(W{X)WT P, T, X, Q c T~(X~Q|P)WT P, T, X, U c P{(T{X)~UWT P, T, X, V c (P{X{V)~TWT P, T, X, W c (P~T)~(X{W)WT P, T, X, X c (P{X)~X|TWT P, U, Q, V c P{U~Q~VWT P, U, R, T c (U~R|P)~TWT P, U, T, R c (U~R|P)~TWT P, U, T, X c P{U~(T{X)WT P, U, U, V c P{(U{U)~VWT P, U, U, W c P{U~(U{W)WT P, U, V, Q c P{U~V~QWT P, U, V, U c P{(U{U)~VWT P, U, V, V c P{U~(V{V)WT P, U, W, U c P{(U{W)~UWT P, U, W, X c (U|P)~(W{X)WT P, U, X, T c P{U~(X{T)WT P, U, X, W c (U|P)~(X{W)WT P, V, Q, U c P{V~Q~UWT P, V, R, S c P{V~R~SWT P, V, R, X c P{V~(R{X)WT P, V, S, R c P{V~S~RWT P, V, S, W c P{V~(S{W)WT P, V, T, V c P{(V{T)~VWT P, V, T, X c (P{V{X)~TWT P, V, U, Q c P{V~U~QWT P, V, U, U c P{V~(U{U)WT P, V, U, V c P{(V{V)~UWT P, V, V, T c P{V~(V{T)WT P, V, V, U c P{(V{V)~UWT P, V, W, S c P{V~(W{S)WT P, V, X, R c P{V~(X{R)WT P, V, X, T c (P{V{X)~TWT P, W, Q, T c (P{W~Q)~TWT P, W, S, V c P{(W{S)~VWT P, W, S, X c (P{W)~X{SWT P, W, T, Q c (P{W~Q)~TWT P, W, T, W c (P{W{W)~TWT P, W, T, X c (P~W{X)~TWT P, W, U, U c P{(W{U)~UWT P, W, U, X c (W{X)~(U|P)WT P, W, V, S c P{(W{S)~VWT P, W, W, T c (P{W{W)~TWT P, W, X, S c (P{W)~X{SWT P, W, X, T c (P~W{X)~TWT P, W, X, U c (W{X)~(U|P)WT P, X, Q, T c (X~Q|P)~TWT P, X, R, V c P{(X{R)~VWT P, X, R, X c P{X~X{RWT P, X, S, W c (P{S)~(X{W)WT P, X, S, X c P~X~X{SWT P, X, T, Q c (X~Q|P)~TWT P, X, T, U c P{(X{T)~UWT P, X, T, V c (P{X{V)~TWT P, X, T, W c (P{X)~W{TWT P, X, T, X c (P{X)~X|TWT P, X, U, T c P{(X{T)~UWT P, X, U, W c (X{W)~(U|P)WT P, X, V, R c P{(X{R)~VWT P, X, V, T c (P{X{V)~TWT P, X, W, S c (P{W)~X{SWT P, X, W, T c (P{X)~W{TWT P, X, W, U c (X{W)~(U|P)WT P, X, X, R c P{X~X{RWT P, X, X, S c P~X~X{SWT P, X, X, T c (P{X)~X|TWT Q, P, T, W c (Q~W{P)~TWT Q, P, T, X c (Q~X|P)~TWT Q, P, U, V c Q~U~V{PWT Q, P, V, U c Q~V~U{PWT Q, P, W, T c (Q~W{P)~TWT Q, P, X, T c (Q~X|P)~TWT Q, Q, X, X c Q{Q{X~XWT Q, R, T, T c (Q{R~T)~TWT Q, R, T, V c (Q~V{R)~TWT Q, R, V, T c (Q~V{R)~TWT Q, R, W, X c (Q{R)~(W{X)WT Q, R, X, W c (Q{R)~(X{W)WT Q, S, T, X c (Q~S{X)~TWT Q, S, V, X c (Q{V)~X{SWT Q, S, X, T c (Q~S{X)~TWT Q, S, X, V c (Q{V)~X{SWT Q, T, P, W c (Q~W{P)~TWT Q, T, P, X c (Q~X|P)~TWT Q, T, R, T c (Q{T~R)~TWT Q, T, R, V c (Q~V{R)~TWT Q, T, S, X c (Q~S{X)~TWT Q, T, T, R c (Q{T~R)~TWT Q, T, T, U c (Q~U{T)~TWT Q, T, T, V c (Q~T{V)~TWT Q, T, T, W c Q~T~W{TWT Q, T, T, X c Q~T~X|TWT Q, T, U, T c (Q~U{T)~TWT Q, T, U, X c (Q{U{X)~TWT Q, T, V, R c (Q~V{R)~TWT Q, T, V, T c (Q~T{V)~TWT Q, T, V, W c (Q{V{W)~TWT Q, T, W, P c (Q~W{P)~TWT Q, T, W, T c Q~T~W{TWT Q, T, W, V c (Q{W{V)~TWT Q, T, W, W c (Q{W)~W{TWT Q, T, W, X c (Q{W)~X|TWT Q, T, X, P c (Q~X|P)~TWT Q, T, X, S c (Q~S{X)~TWT Q, T, X, T c Q~T~X|TWT Q, T, X, U c (Q{X{U)~TWT Q, T, X, W c (Q{W)~X|TWT Q, U, P, V c Q~U~V{PWT Q, U, T, T c (Q~U{T)~TWT Q, U, T, X c (Q{U{X)~TWT Q, U, V, P c Q~U~V{PWT Q, U, X, T c (Q{U{X)~TWT Q, U, X, X c U|Q{X~XWT Q, V, P, U c Q~V~U{PWT Q, V, R, T c (Q~V{R)~TWT Q, V, S, X c (Q{V)~X{SWT Q, V, T, R c (Q~V{R)~TWT Q, V, T, T c (Q~T{V)~TWT Q, V, T, W c (Q{V{W)~TWT Q, V, U, P c Q~V~U{PWT Q, V, W, T c (Q{V{W)~TWT Q, V, W, X c (Q{X)~V{WWT Q, V, X, S c (Q{V)~X{SWT Q, V, X, W c (Q{X)~V{WWT Q, W, P, T c (Q~W{P)~TWT Q, W, R, X c (Q{R)~(W{X)WT Q, W, T, P c (Q~W{P)~TWT Q, W, T, T c Q~W~T{TWT Q, W, T, V c (Q{W{V)~TWT Q, W, T, W c (Q{W)~W{TWT Q, W, T, X c (Q{W)~X|TWT Q, W, V, T c (Q{W{V)~TWT Q, W, V, X c (Q{X)~V{WWT Q, W, W, T c (Q{W)~W{TWT Q, W, X, R c (Q{X)~W|RWT Q, W, X, T c (Q{W)~X|TWT Q, W, X, V c (Q{X)~V{WWT Q, W, X, X c WQ{X~XWT Q, X, P, T c (Q~X|P)~TWT Q, X, Q, X c Q{X~X{QWT Q, X, R, W c (Q{X)~W|RWT Q, X, S, T c (Q~S{X)~TWT Q, X, S, V c (Q{V)~X{SWT Q, X, T, P c (Q~X|P)~TWT Q, X, T, S c (Q~S{X)~TWT Q, X, T, T c Q~X~T|TWT Q, X, T, U c (Q{X{U)~TWT Q, X, T, W c (Q{W)~X|TWT Q, X, U, T c (Q{X{U)~TWT Q, X, U, X c X~X|Q{UWT Q, X, V, S c (Q{V)~X{SWT Q, X, V, W c (Q{X)~V{WWT Q, X, W, R c (Q{X)~W|RWT Q, X, W, T c (Q{W)~X|TWT Q, X, W, V c (Q{X)~V{WWT Q, X, W, X c X~X{WQWT Q, X, X, Q c Q{X~X{QWT Q, X, X, U c X~X|Q{UWT Q, X, X, W c X~X{WQWT R, P, S, V c R~S~V{PWT R, P, T, U c (R~U|P)~TWT R, P, U, T c (R~U|P)~TWT R, P, V, S c R~V~S{PWT R, P, V, X c (R{X)~V{PWT R, P, X, V c (R{X)~V{PWT R, P, X, X c R{P{X~XWT R, Q, T, T c (R~T{Q)~TWT R, Q, T, V c (R{Q~V)~TWT R, Q, V, T c (R{Q~V)~TWT R, Q, W, X c (R{Q)~(W{X)WT R, Q, X, W c (R{Q)~(X{W)WT R, R, S, X c R~R~X{SWT R, R, T, W c (R~R{W)~TWT R, R, W, T c (R~R{W)~TWT R, R, W, W c (R{W)~W|RWT R, R, X, S c R~R~X{SWT R, S, P, V c R~S~V{PWT R, S, R, X c R~R~X{SWT R, S, T, T c (R~S{T)~TWT R, S, T, V c (R~V|S)~TWT R, S, U, X c (R{U)~X{SWT R, S, V, P c R~S~V{PWT R, S, V, T c (R~V|S)~TWT R, S, V, W c (S{V)~W|RWT R, S, W, V c (S{V)~W|RWT R, S, X, R c R~X~R{SWT R, S, X, U c (R{U)~X{SWT R, T, P, U c (R~U|P)~TWT R, T, Q, T c (R~T{Q)~TWT R, T, Q, V c (R{Q~V)~TWT R, T, R, W c (R~R{W)~TWT R, T, S, T c (R~S{T)~TWT R, T, S, V c (R~V|S)~TWT R, T, T, Q c (R~T{Q)~TWT R, T, T, S c (R~S{T)~TWT R, T, T, U c R~T~U|TWT R, T, T, X c (R{T{X)~TWT R, T, U, P c (R~U|P)~TWT R, T, U, T c R~T~U|TWT R, T, U, W c (R{U{W)~TWT R, T, V, Q c (R{V~Q)~TWT R, T, V, S c (R~V|S)~TWT R, T, V, V c (R{V{V)~TWT R, T, V, W c (R{V)~W{TWT R, T, V, X c (R{V)~X|TWT R, T, W, R c (R~R{W)~TWT R, T, W, U c (R{W{U)~TWT R, T, W, V c (R~W|V)~TWT R, T, X, T c (R{T{X)~TWT R, T, X, V c (R{V)~X|TWT R, U, P, T c (R~U|P)~TWT R, U, S, X c (R{U)~X{SWT R, U, T, P c (R~U|P)~TWT R, U, T, T c R~U~T|TWT R, U, T, W c (R{U{W)~TWT R, U, W, T c (R{U{W)~TWT R, U, X, S c (R{U)~X{SWT R, V, P, S c R~V~S{PWT R, V, P, X c (R{X)~V{PWT R, V, Q, T c (R{V~Q)~TWT R, V, S, P c R~V~S{PWT R, V, S, T c (R~V|S)~TWT R, V, S, W c (V{S)~W|RWT R, V, T, Q c (R{V~Q)~TWT R, V, T, S c (R~V|S)~TWT R, V, T, V c (R{V{V)~TWT R, V, T, W c (R{V)~W{TWT R, V, T, X c (R{V)~X|TWT R, V, V, T c (R{V{V)~TWT R, V, W, S c (V{S)~W|RWT R, V, W, T c (R{V)~W{TWT R, V, W, W c R~V{W~WWT R, V, X, P c (R{X)~V{PWT R, V, X, T c (R{V)~X|TWT R, V, X, X c V|R{X~XWT R, W, Q, X c (R{Q)~(W{X)WT R, W, R, T c (R~R{W)~TWT R, W, R, W c (R{W)~W|RWT R, W, S, V c W~(S{V)|RWT R, W, T, R c (R~R{W)~TWT R, W, T, U c (R{W{U)~TWT R, W, T, V c (R~W|V)~TWT R, W, U, T c (R{W{U)~TWT R, W, V, S c W~(V{S)|RWT R, W, V, T c (R~W|V)~TWT R, W, V, W c (R{W)~V{WWT R, W, W, R c (R{W)~W|RWT R, W, W, V c (R{W)~V{WWT R, W, W, X c (W|R)~(W{X)WT R, W, X, Q c (R{Q)~(W{X)WT R, W, X, W c (W|R)~(X{W)WT R, X, P, V c (R{X)~V{PWT R, X, P, X c R{X~X{PWT R, X, Q, W c (R{Q)~(X{W)WT R, X, R, S c R~X~R{SWT R, X, S, R c R~X~R{SWT R, X, S, U c (R{U)~X{SWT R, X, T, T c (R{X{T)~TWT R, X, T, V c (R{V)~X|TWT R, X, U, S c (R{U)~X{SWT R, X, V, P c (R{X)~V{PWT R, X, V, T c (R{V)~X|TWT R, X, V, X c X~X|R{VWT R, X, W, Q c (R{Q)~(X{W)WT R, X, W, W c (X{W)~(W|R)WT R, X, X, P c R{X~X{PWT R, X, X, V c X~X|R{VWT S, O, X, X c S{O{X~XWT S, P, R, V c S~R~V{PWT S, P, S, T c (S~S{P)~TWT S, P, T, S c (S~S{P)~TWT S, P, V, R c S~V~R{PWT S, P, V, W c (S{W)~V{PWT S, P, W, V c (S{W)~V{PWT S, P, W, X c S{(P{W)~XWT S, P, X, W c (S{P)~(X{W)WT S, P, X, X c S{P~X~XWT S, Q, T, X c (S~Q{X)~TWT S, Q, V, X c S{(Q{V)~XWT S, Q, X, T c (S~Q{X)~TWT S, Q, X, V c S{(Q{V)~XWT S, R, P, V c S~R~V{PWT S, R, R, X c S{R~R~XWT S, R, T, T c (S~R{T)~TWT S, R, T, V c (R~V|S)~TWT S, R, U, X c S{(R{U)~XWT S, R, V, P c S~R~V{PWT S, R, V, T c (R~V|S)~TWT S, R, V, W c (S{V)~W|RWT S, R, W, V c (S{V)~W|RWT S, R, X, R c S{R~X~RWT S, R, X, U c S{(R{U)~XWT S, S, P, T c (S~S{P)~TWT S, S, T, P c (S~S{P)~TWT S, S, T, T c S~S~T{TWT S, S, T, X c S{(S{T)~XWT S, S, X, T c (S{S{X)~TWT S, T, P, S c (S~S{P)~TWT S, T, Q, X c (S~Q{X)~TWT S, T, R, T c (S~T|R)~TWT S, T, R, V c T~(R~V|S)WT S, T, S, P c (S~S{P)~TWT S, T, S, T c S~T~S{TWT S, T, S, X c S{(T{S)~XWT S, T, T, R c (S~T|R)~TWT S, T, T, S c S~T~S{TWT S, T, T, W c (S{T{W)~TWT S, T, U, V c (S{U{V)~TWT S, T, U, W c (S{U)~W{TWT S, T, U, X c (S{U)~X|TWT S, T, V, R c T~(V~R|S)WT S, T, V, U c (S{V{U)~TWT S, T, W, T c (S{T{W)~TWT S, T, W, U c (S{U)~W{TWT S, T, X, Q c (S~Q{X)~TWT S, T, X, S c (S{T)~X{SWT S, T, X, U c (S{U)~X|TWT S, U, R, X c S{(U{R)~XWT S, U, T, V c (S{U{V)~TWT S, U, T, W c (S{U)~W{TWT S, U, T, X c (S{U)~X|TWT S, U, V, T c (S{U{V)~TWT S, U, V, X c (S{X)~U{VWT S, U, W, T c (S{U)~W{TWT S, U, X, R c S{(U{R)~XWT S, U, X, T c (S{U)~X|TWT S, U, X, V c (S{X)~U{VWT S, V, P, R c S~V~R{PWT S, V, P, W c (S{W)~V{PWT S, V, Q, X c S{(V{Q)~XWT S, V, R, P c S~V~R{PWT S, V, R, T c (V~R|S)~TWT S, V, R, W c (S{V)~W|RWT S, V, T, R c (V~R|S)~TWT S, V, T, U c (S{V{U)~TWT S, V, U, T c (S{V{U)~TWT S, V, U, X c (S{X)~V|UWT S, V, V, W c (S{V)~V{WWT S, V, V, X c S~X{V~VWT S, V, W, P c (S{W)~V{PWT S, V, W, R c (S{V)~W|RWT S, V, W, V c (S{V)~V{WWT S, V, X, Q c S{(V{Q)~XWT S, V, X, U c (S{X)~V|UWT S, V, X, V c S~X{V~VWT S, W, P, V c (S{W)~V{PWT S, W, P, X c S{(W{P)~XWT S, W, R, V c (S{V)~W|RWT S, W, T, T c (S{W{T)~TWT S, W, T, U c (S{U)~W{TWT S, W, U, T c (S{U)~W{TWT S, W, V, P c (S{W)~V{PWT S, W, V, R c (S{V)~W|RWT S, W, V, V c (S{V)~V{WWT S, W, X, P c S{(W{P)~XWT S, W, X, X c S{W~X{XWT S, X, O, X c S{(X{O)~XWT S, X, P, W c S{X~(P{W)WT S, X, P, X c S{X~P~XWT S, X, Q, T c (S~Q{X)~TWT S, X, Q, V c S{X~(Q{V)WT S, X, R, R c S{X~R~RWT S, X, R, U c S{X~(R{U)WT S, X, S, T c (S{X{S)~TWT S, X, T, Q c (S~Q{X)~TWT S, X, T, S c S{X~(T{S)WT S, X, T, U c (S{U)~X|TWT S, X, U, R c S{X~(U{R)WT S, X, U, T c (S{U)~X|TWT S, X, U, V c (S{X)~U{VWT S, X, V, Q c S{X~(V{Q)WT S, X, V, U c (S{X)~V|UWT S, X, V, V c S~X{V~VWT S, X, W, P c S{X~(W{P)WT S, X, W, X c S{X{W~XWT S, X, X, O c S{X~X{OWT S, X, X, P c S{X~X~PWT S, X, X, W c S{X{X~WWT S, X, X, X c (SX{X)~XWT T, O, W, X c (T{O)~(W{X)WT T, O, X, W c (T{O)~(X{W)WT T, P, Q, W c T~(P{Q~W)WT T, P, Q, X c T~(Q~X|P)WT T, P, R, U c T~(R~U|P)WT T, P, S, S c T~(P{S~S)WT T, P, U, R c T~(U~R|P)WT T, P, U, X c (T{X)~U{PWT T, P, V, V c (T{V)~V{PWT T, P, V, X c T~(P{V{X)WT T, P, W, Q c T~(P{W~Q)WT T, P, W, W c T~(P{W{W)WT T, P, W, X c (T~P)~(W{X)WT T, P, X, Q c T~(X~Q|P)WT T, P, X, U c (T{X)~U{PWT T, P, X, V c T~(P{X{V)WT T, P, X, W c T{(P{X)~WWT T, P, X, X c T|P{X~XWT T, Q, P, W c T~(Q~W{P)WT T, Q, P, X c T~(Q~X|P)WT T, Q, R, T c T~(Q{R~T)WT T, Q, R, V c T~(Q~V{R)WT T, Q, S, X c T~(Q~S{X)WT T, Q, T, R c T~(Q{T~R)WT T, Q, T, U c (T{Q~U)~TWT T, Q, T, V c T~(Q~T{V)WT T, Q, T, W c T{Q~T~WWT T, Q, T, X c T~Q~X|TWT T, Q, U, T c (T{Q~U)~TWT T, Q, U, X c T~(Q{U{X)WT T, Q, V, R c T~(Q~V{R)WT T, Q, V, T c (T~Q{V)~TWT T, Q, V, W c T~(Q{V{W)WT T, Q, W, P c T~(Q~W{P)WT T, Q, W, T c T{Q~W~TWT T, Q, W, V c T~(Q{W{V)WT T, Q, W, W c T{(Q{W)~WWT T, Q, W, X c (Q{W)~X|TWT T, Q, X, P c T~(Q~X|P)WT T, Q, X, S c T~(Q~S{X)WT T, Q, X, T c T~Q~X|TWT T, Q, X, U c T~(Q{X{U)WT T, Q, X, W c (Q{W)~X|TWT T, R, P, U c T~(R~U|P)WT T, R, Q, T c (T~R{Q)~TWT T, R, Q, V c T~(R{Q~V)WT T, R, R, W c T~(R~R{W)WT T, R, S, T c (T{R~S)~TWT T, R, S, V c T~(R~V|S)WT T, R, T, Q c T~(R~T{Q)WT T, R, T, S c (T{R~S)~TWT T, R, T, U c T~R~U|TWT T, R, T, X c T~(R{T{X)WT T, R, U, P c T~(R~U|P)WT T, R, U, T c T~R~U|TWT T, R, U, W c T~(R{U{W)WT T, R, V, Q c T~(R{V~Q)WT T, R, V, S c T~(R~V|S)WT T, R, V, V c T~(R{V{V)WT T, R, V, W c T{(R{V)~WWT T, R, V, X c (R{V)~X|TWT T, R, W, R c T~(R~R{W)WT T, R, W, U c T~(R{W{U)WT T, R, W, V c T~(R~W|V)WT T, R, X, T c (T{R{X)~TWT T, R, X, V c (R{V)~X|TWT T, S, P, S c T~(S~S{P)WT T, S, Q, X c T~(S~Q{X)WT T, S, R, T c (T{S~R)~TWT T, S, R, V c T~(R~V|S)WT T, S, S, P c T~(S~S{P)WT T, S, S, T c T{S~S~TWT T, S, S, X c T~(S{S{X)WT T, S, T, R c T~(S~T|R)WT T, S, T, S c T{S~T~SWT T, S, T, W c T~(S{T{W)WT T, S, U, V c T~(S{U{V)WT T, S, U, W c T{(S{U)~WWT T, S, U, X c (S{U)~X|TWT T, S, V, R c T~(V~R|S)WT T, S, V, U c T~(S{V{U)WT T, S, W, T c (T{S{W)~TWT T, S, W, U c T{(S{U)~WWT T, S, X, Q c T~(S~Q{X)WT T, S, X, S c (T{S)~X{SWT T, S, X, U c (S{U)~X|TWT T, T, Q, R c T~(T~R{Q)WT T, T, Q, U c T~(T{Q~U)WT T, T, Q, V c T~(T~Q{V)WT T, T, Q, W c T{T~Q~WWT T, T, Q, X c T~Q~X|TWT T, T, R, Q c T~(T~R{Q)WT T, T, R, S c T~(T{R~S)WT T, T, R, U c T~R~U|TWT T, T, R, X c T~(T{R{X)WT T, T, S, R c T~(T{S~R)WT T, T, S, S c T{T~S~SWT T, T, S, W c T~(T{S{W)WT T, T, T, V c T~(T{T{V)WT T, T, T, W c T{(T{T)~WWT T, T, T, X c (T{T)~X|TWT T, T, U, Q c T~(T{U~Q)WT T, T, U, R c T~U~R|TWT T, T, U, U c T~(T{U{U)WT T, T, V, Q c T~(T~Q{V)WT T, T, V, T c (T{T{V)~TWT T, T, V, X c T{T~(V{X)WT T, T, W, Q c T{T~W~QWT T, T, W, S c T~(T{W{S)WT T, T, W, T c (T{T)~W{TWT T, T, W, W c T{T~(W{W)WT T, T, W, X c T~W{T~XWT T, T, X, Q c T~X~Q|TWT T, T, X, R c T~(T{X{R)WT T, T, X, T c (T{T)~X|TWT T, T, X, V c T{T~(X{V)WT T, T, X, W c T~X{T~WWT T, T, X, X c T~(X{X)|TWT T, U, P, R c T~(U~R|P)WT T, U, P, X c (T{X)~U{PWT T, U, Q, T c (T{U~Q)~TWT T, U, Q, X c T~(U{Q{X)WT T, U, R, P c T~(U~R|P)WT T, U, R, T c T~U~R|TWT T, U, R, W c T~(U{R{W)WT T, U, S, V c T~(U{S{V)WT T, U, S, W c T{(U{S)~WWT T, U, S, X c (U{S)~X|TWT T, U, T, Q c (T{U~Q)~TWT T, U, T, R c T~U~R|TWT T, U, T, U c T~(U{T{U)WT T, U, U, T c (T{U{U)~TWT T, U, U, X c U~(U{X)|TWT T, U, V, S c T~(U{V{S)WT T, U, V, W c (T{U)~V{WWT T, U, W, R c (T{U)~W|RWT T, U, W, S c T{(U{S)~WWT T, U, W, V c (T{U)~V{WWT T, U, X, P c (T{X)~U{PWT T, U, X, Q c T~(U{X{Q)WT T, U, X, S c (U{S)~X|TWT T, U, X, U c (U{X)~U|TWT T, V, P, V c (T{V)~V{PWT T, V, P, X c T~(V{P{X)WT T, V, Q, R c T~(V~Q{R)WT T, V, Q, T c T~(V{Q~T)WT T, V, Q, W c T~(V{Q{W)WT T, V, R, Q c T~(V~Q{R)WT T, V, R, S c T~(V~R|S)WT T, V, R, V c T~(V{R{V)WT T, V, R, W c T{(V{R)~WWT T, V, R, X c (V{R)~X|TWT T, V, S, R c T~(V~R|S)WT T, V, S, U c T~(V{S{U)WT T, V, T, Q c T~(V{T~Q)WT T, V, T, T c (T{V{T)~TWT T, V, T, X c T{(V{X)~TWT T, V, U, S c T~(V{U{S)WT T, V, U, W c (T{U)~V{WWT T, V, V, P c (T{V)~V{PWT T, V, V, R c T~(V{V{R)WT T, V, W, Q c T~(V{W{Q)WT T, V, W, R c T{(V{R)~WWT T, V, W, U c (T{W)~V|UWT T, V, X, P c T~(V{X{P)WT T, V, X, R c (V{R)~X|TWT T, V, X, T c T{(V{X)~TWT T, W, O, X c T~(W{O{X)WT T, W, P, Q c T~(W~Q{P)WT T, W, P, W c T~(W{P{W)WT T, W, P, X c T{W~(P{X)WT T, W, Q, P c T~(W~Q{P)WT T, W, Q, T c T{W~Q~TWT T, W, Q, V c T~(W{Q{V)WT T, W, Q, W c T{(W{Q)~WWT T, W, Q, X c (W{Q)~X|TWT T, W, R, R c T~(W{R~R)WT T, W, R, U c T~(W{R{U)WT T, W, R, V c T{W~(R{V)WT T, W, S, T c (T{W{S)~TWT T, W, S, U c T{W~(S{U)WT T, W, T, Q c T{W~T~QWT T, W, T, S c T~(W{T{S)WT T, W, T, T c T{W~(T{T)WT T, W, T, W c T{(W{W)~TWT T, W, T, X c T~W{T~XWT T, W, U, R c T~(W{U{R)WT T, W, U, S c T{W~(U{S)WT T, W, U, V c (T{W)~U{VWT T, W, V, Q c T~(W{V{Q)WT T, W, V, R c T{W~(V{R)WT T, W, V, U c (T{W)~V|UWT T, W, W, P c T~(W{W{P)WT T, W, W, Q c T{W~(W{Q)WT T, W, W, T c T{(W{W)~TWT T, W, W, X c T{W{W~XWT T, W, X, O c T~(W{X){OWT T, W, X, P c T{W~(X{P)WT T, W, X, Q c (W{Q)~X|TWT T, W, X, T c T~W{X~TWT T, W, X, W c T{W{X~WWT T, X, O, W c T~(X{O{W)WT T, X, P, Q c T~(X~Q|P)WT T, X, P, U c (T{X)~U{PWT T, X, P, V c T~(X{P{V)WT T, X, P, W c T{(X{P)~WWT T, X, P, X c T~(X|P{X)WT T, X, Q, P c T~(X~Q|P)WT T, X, Q, S c T~(X{Q~S)WT T, X, Q, T c T~X~Q|TWT T, X, Q, U c T~(X{Q{U)WT T, X, Q, W c X~(Q{W)|TWT T, X, R, T c (T{X{R)~TWT T, X, R, V c X~(R{V)|TWT T, X, S, Q c T~(X{S~Q)WT T, X, S, S c T~(X{S{S)WT T, X, S, U c X~(S{U)|TWT T, X, T, Q c T~X~Q|TWT T, X, T, R c T~(X{T{R)WT T, X, T, T c (T{T)~X|TWT T, X, T, V c T{(X{V)~TWT T, X, T, W c T~X{T~WWT T, X, T, X c T~(X{X)|TWT T, X, U, P c (T{X)~U{PWT T, X, U, Q c T~(X{U{Q)WT T, X, U, S c X~(U{S)|TWT T, X, U, U c (X{U)~U|TWT T, X, V, P c T~(X{V{P)WT T, X, V, R c X~(V{R)|TWT T, X, V, T c T{(X{V)~TWT T, X, W, O c T~(X{W){OWT T, X, W, P c T~(X{W)~PWT T, X, W, Q c X~(W{Q)|TWT T, X, W, T c T~X{W~TWT T, X, W, W c T{X~W{WWT T, X, X, P c T{X~X|PWT T, X, X, T c T~(X{X)|TWT T, X, X, X c X|T{X~XWT U, P, Q, V c U~Q~V{PWT U, P, R, T c (U~R|P)~TWT U, P, T, R c (U~R|P)~TWT U, P, T, X c U~(T{X){PWT U, P, U, V c (U{U)~V{PWT U, P, U, W c U~(U{W){PWT U, P, V, Q c U~V~Q{PWT U, P, V, U c (U{U)~V{PWT U, P, V, V c U~(V{V){PWT U, P, W, U c (U{W)~U{PWT U, P, W, X c (U|P)~(W{X)WT U, P, X, T c U~(X{T){PWT U, P, X, W c (U|P)~(X{W)WT U, Q, P, V c U~Q~V{PWT U, Q, T, T c (U~Q{T)~TWT U, Q, T, X c (U{Q{X)~TWT U, Q, V, P c U~Q~V{PWT U, Q, X, T c (U{Q{X)~TWT U, Q, X, X c U|Q{X~XWT U, R, P, T c (U~R|P)~TWT U, R, S, X c (U{R)~X{SWT U, R, T, P c (U~R|P)~TWT U, R, T, T c U~R~T|TWT U, R, T, W c (U{R{W)~TWT U, R, W, T c (U{R{W)~TWT U, R, X, S c (U{R)~X{SWT U, S, R, X c (U{R)~X{SWT U, S, T, V c (U{S{V)~TWT U, S, T, W c (U{S)~W{TWT U, S, T, X c (U{S)~X|TWT U, S, V, T c (U{S{V)~TWT U, S, V, X c U~(S{X){VWT U, S, W, T c (U{S)~W{TWT U, S, X, R c (U{R)~X{SWT U, S, X, T c (U{S)~X|TWT U, S, X, V c U~(S{X){VWT U, T, P, R c (U~R|P)~TWT U, T, P, X c U~(T{X){PWT U, T, Q, T c (U~Q{T)~TWT U, T, Q, X c (U{Q{X)~TWT U, T, R, P c (U~R|P)~TWT U, T, R, T c U~T~R|TWT U, T, R, W c (U{T)~W|RWT U, T, S, V c (U{S{V)~TWT U, T, S, W c (U{S)~W{TWT U, T, S, X c (U{S)~X|TWT U, T, T, Q c (U~Q{T)~TWT U, T, T, R c U~T~R|TWT U, T, T, U c (U{T{U)~TWT U, T, U, T c (U{T{U)~TWT U, T, U, X c U~(U{X)|TWT U, T, V, S c (U{V{S)~TWT U, T, V, W c (U{T)~V{WWT U, T, W, R c (U{T)~W|RWT U, T, W, S c (U{S)~W{TWT U, T, W, V c U~(T{W){VWT U, T, X, P c U~(T{X){PWT U, T, X, Q c (U{X{Q)~TWT U, T, X, S c (U{S)~X|TWT U, T, X, U c (U{X)~U|TWT U, U, P, V c (U{U)~V{PWT U, U, P, W c U~(U{W){PWT U, U, T, T c (U{U{T)~TWT U, U, T, X c U~(U{X)|TWT U, U, V, P c (U{U)~V{PWT U, U, V, V c U~(U{V){VWT U, U, W, P c U~(U{W){PWT U, U, X, T c U~(U{X)|TWT U, V, P, Q c U~V~Q{PWT U, V, P, U c (U{U)~V{PWT U, V, P, V c U~(V{V){PWT U, V, Q, P c U~V~Q{PWT U, V, S, T c (U{V{S)~TWT U, V, S, X c U~(S{X){VWT U, V, T, S c (U{V{S)~TWT U, V, T, W c U~(V{W)|TWT U, V, U, P c (U{U)~V{PWT U, V, U, V c (U{V)~U{VWT U, V, V, P c U~(V{V){PWT U, V, V, U c (U{V)~V|UWT U, V, W, T c U~(V{W)|TWT U, V, W, X c U{V{W~XWT U, V, X, S c U~(X{S){VWT U, V, X, W c U{V{X~WWT U, W, P, U c (U{W)~U{PWT U, W, P, X c (U|P)~(W{X)WT U, W, R, T c (U{W{R)~TWT U, W, S, T c (U{S)~W{TWT U, W, T, R c (U{W{R)~TWT U, W, T, S c (U{S)~W{TWT U, W, T, V c U~(W{T){VWT U, W, U, P c (U{W)~U{PWT U, W, V, T c U~(W{V)|TWT U, W, V, X c U{W~X{VWT U, W, X, P c (U|P)~(W{X)WT U, W, X, V c U{W~X{VWT U, X, P, T c U~(X{T){PWT U, X, P, W c (U|P)~(X{W)WT U, X, Q, T c (U{X{Q)~TWT U, X, Q, X c U{X~X|QWT U, X, R, S c (U{R)~X{SWT U, X, S, R c (U{R)~X{SWT U, X, S, T c (U{S)~X|TWT U, X, S, V c U~(X{S){VWT U, X, T, P c U~(X{T){PWT U, X, T, Q c (U{X{Q)~TWT U, X, T, S c (U{S)~X|TWT U, X, T, U c (U{X)~U|TWT U, X, U, T c (U{X)~U|TWT U, X, V, S c U~(X{S){VWT U, X, V, W c U{X~W{VWT U, X, W, P c (U|P)~(X{W)WT U, X, W, V c U{X~W{VWT U, X, X, Q c U{X~X|QWT V, P, Q, U c V~Q~U{PWT V, P, R, S c V~R~S{PWT V, P, R, X c V~(R{X){PWT V, P, S, R c V~S~R{PWT V, P, S, W c V~(S{W){PWT V, P, T, V c (V{T)~V{PWT V, P, T, X c (V{P{X)~TWT V, P, U, Q c V~U~Q{PWT V, P, U, U c V~(U{U){PWT V, P, U, V c (V{V)~U{PWT V, P, V, T c V~(V{T){PWT V, P, V, U c (V{V)~U{PWT V, P, W, S c V~(W{S){PWT V, P, X, R c V~(X{R){PWT V, P, X, T c (V{P{X)~TWT V, Q, P, U c V~Q~U{PWT V, Q, R, T c (V~Q{R)~TWT V, Q, S, X c (V{Q)~X{SWT V, Q, T, R c (V~Q{R)~TWT V, Q, T, T c (V{Q~T)~TWT V, Q, T, W c (V{Q{W)~TWT V, Q, U, P c V~Q~U{PWT V, Q, W, T c (V{Q{W)~TWT V, Q, W, X c (V|Q)~(W{X)WT V, Q, X, S c (V{Q)~X{SWT V, Q, X, W c (V|Q)~(X{W)WT V, R, P, S c V~R~S{PWT V, R, P, X c V~(R{X){PWT V, R, Q, T c (V~Q{R)~TWT V, R, S, P c V~R~S{PWT V, R, S, T c (V~R|S)~TWT V, R, S, W c (V{S)~W|RWT V, R, T, Q c (V~Q{R)~TWT V, R, T, S c (V~R|S)~TWT V, R, T, V c (V{R{V)~TWT V, R, T, W c (V{R)~W{TWT V, R, T, X c (V{R)~X|TWT V, R, V, T c (V{R{V)~TWT V, R, W, S c (V{S)~W|RWT V, R, W, T c (V{R)~W{TWT V, R, W, W c V~(R{W){WWT V, R, X, P c V~(R{X){PWT V, R, X, T c (V{R)~X|TWT V, R, X, X c V|R{X~XWT V, S, P, R c V~S~R{PWT V, S, P, W c V~(S{W){PWT V, S, Q, X c (V{Q)~X{SWT V, S, R, P c V~S~R{PWT V, S, R, T c (V~R|S)~TWT V, S, R, W c (V{S)~W|RWT V, S, T, R c (V~R|S)~TWT V, S, T, U c (V{S{U)~TWT V, S, U, T c (V{S{U)~TWT V, S, U, X c V{(S{X)~UWT V, S, V, W c (V{S)~V{WWT V, S, V, X c V~V{S~XWT V, S, W, P c V~(S{W){PWT V, S, W, R c (V{S)~W|RWT V, S, W, V c (V{S)~V{WWT V, S, X, Q c (V{Q)~X{SWT V, S, X, U c V{(S{X)~UWT V, S, X, V c V~V{S~XWT V, T, P, V c (V{T)~V{PWT V, T, P, X c (V{P{X)~TWT V, T, Q, R c (V~Q{R)~TWT V, T, Q, T c (V{T~Q)~TWT V, T, Q, W c (V{Q{W)~TWT V, T, R, Q c (V~Q{R)~TWT V, T, R, S c (V~R|S)~TWT V, T, R, V c (V{R{V)~TWT V, T, R, W c (V{R)~W{TWT V, T, R, X c (V{R)~X|TWT V, T, S, R c (V~R|S)~TWT V, T, S, U c (V{S{U)~TWT V, T, T, Q c (V{T~Q)~TWT V, T, T, T c (V{T{T)~TWT V, T, T, X c (V{X)~T{TWT V, T, U, S c (V{U{S)~TWT V, T, U, W c V~(T{U){WWT V, T, V, P c (V{T)~V{PWT V, T, V, R c (V{V{R)~TWT V, T, W, Q c (V{W{Q)~TWT V, T, W, R c (V{R)~W{TWT V, T, W, U c V{(T{W)~UWT V, T, X, P c (V{X{P)~TWT V, T, X, R c (V{R)~X|TWT V, T, X, T c (V{X)~T{TWT V, U, P, Q c V~U~Q{PWT V, U, P, U c V~(U{U){PWT V, U, P, V c (V{V)~U{PWT V, U, Q, P c V~U~Q{PWT V, U, S, T c (V{U{S)~TWT V, U, S, X c V{U~(S{X)WT V, U, T, S c (V{U{S)~TWT V, U, T, W c V{U~(T{W)WT V, U, U, P c V~(U{U){PWT V, U, U, V c (V{U)~U{VWT V, U, V, P c (V{V)~U{PWT V, U, V, U c V{(U{V)~UWT V, U, W, T c V{U~(W{T)WT V, U, W, X c V{U{W~XWT V, U, X, S c V{U~(X{S)WT V, U, X, W c V{U{X~WWT V, V, P, T c V~(V{T){PWT V, V, P, U c (V{V)~U{PWT V, V, R, T c (V{V{R)~TWT V, V, S, W c V~(V{S){WWT V, V, S, X c V~V{S~XWT V, V, T, P c V~(V{T){PWT V, V, T, R c (V{V{R)~TWT V, V, U, P c (V{V)~U{PWT V, V, U, U c V{(V{U)~UWT V, V, W, S c V~(V{S){WWT V, V, X, S c V~V{X~SWT V, W, P, S c V~(W{S){PWT V, W, Q, T c (V{W{Q)~TWT V, W, Q, X c (V|Q)~(W{X)WT V, W, R, S c (V{S)~W|RWT V, W, R, T c (V{R)~W{TWT V, W, R, W c V~(W{R){WWT V, W, S, P c V~(W{S){PWT V, W, S, R c (V{S)~W|RWT V, W, S, V c (V{S)~V{WWT V, W, T, Q c (V{W{Q)~TWT V, W, T, R c (V{R)~W{TWT V, W, T, U c V{(W{T)~UWT V, W, U, T c (V{W)~U|TWT V, W, U, X c V{W~X{UWT V, W, V, S c V~(V{S){WWT V, W, W, R c V~(W{R){WWT V, W, X, Q c V~(X{Q){WWT V, W, X, U c V{W~X{UWT V, X, P, R c V~(X{R){PWT V, X, P, T c (V{X{P)~TWT V, X, Q, S c (V{Q)~X{SWT V, X, Q, W c V~(X{Q){WWT V, X, R, P c V~(X{R){PWT V, X, R, T c (V{R)~X|TWT V, X, R, X c V{X~X|RWT V, X, S, Q c (V{Q)~X{SWT V, X, S, U c V{(X{S)~UWT V, X, S, V c V~V{X~SWT V, X, T, P c (V{X{P)~TWT V, X, T, R c (V{R)~X|TWT V, X, T, T c (V{X)~T{TWT V, X, U, S c V{(X{S)~UWT V, X, U, W c V{X~W{UWT V, X, V, S c V~V{X~SWT V, X, W, Q c V~(X{Q){WWT V, X, W, U c V{X~W{UWT V, X, X, R c V{X~X|RWT W, O, T, X c (W{O{X)~TWT W, O, X, T c (W{O{X)~TWT W, P, Q, T c (W~Q{P)~TWT W, P, S, V c (W{S)~V{PWT W, P, S, X c (W{P)~X{SWT W, P, T, Q c (W~Q{P)~TWT W, P, T, W c (W{P{W)~TWT W, P, T, X c (W{P~X)~TWT W, P, U, U c (W{U)~U{PWT W, P, U, X c (W{X)~(U|P)WT W, P, V, S c (W{S)~V{PWT W, P, W, T c (W{P{W)~TWT W, P, X, S c (W{P)~X{SWT W, P, X, T c (W{P~X)~TWT W, P, X, U c (W{X)~(U|P)WT W, Q, P, T c (W~Q{P)~TWT W, Q, R, X c W~(Q{X)|RWT W, Q, T, P c (W~Q{P)~TWT W, Q, T, T c W~Q~T{TWT W, Q, T, V c (W{Q{V)~TWT W, Q, T, W c (W{Q)~W{TWT W, Q, T, X c (W{Q)~X|TWT W, Q, V, T c (W{Q{V)~TWT W, Q, V, X c W{(Q{X)~VWT W, Q, W, T c (W{Q)~W{TWT W, Q, X, R c W~(Q{X)|RWT W, Q, X, T c (W{Q)~X|TWT W, Q, X, V c W{(Q{X)~VWT W, Q, X, X c WQ{X~XWT W, R, Q, X c W~(Q{X)|RWT W, R, R, T c (W{R~R)~TWT W, R, R, W c (W{R)~W|RWT W, R, S, V c W~(S{V)|RWT W, R, T, R c (W{R~R)~TWT W, R, T, U c (W{R{U)~TWT W, R, T, V c W~(R{V){TWT W, R, U, T c (W{R{U)~TWT W, R, V, S c W~(V{S)|RWT W, R, V, T c W~(R{V){TWT W, R, V, W c (W{R)~V{WWT W, R, W, R c (W{R)~W|RWT W, R, W, V c W{(R{W)~VWT W, R, W, X c (W|R)~(W{X)WT W, R, X, Q c (W{X)~(R{Q)WT W, R, X, W c (W|R)~(X{W)WT W, S, P, V c (W{S)~V{PWT W, S, P, X c (W{P)~X{SWT W, S, R, V c W~(S{V)|RWT W, S, T, T c (W{S{T)~TWT W, S, T, U c W~(S{U){TWT W, S, U, T c W~(S{U){TWT W, S, V, P c (W{S)~V{PWT W, S, V, R c W~(S{V)|RWT W, S, V, V c W{(S{V)~VWT W, S, X, P c (W{X)~(S{P)WT W, S, X, X c W|S{X~XWT W, T, O, X c (W{O{X)~TWT W, T, P, Q c (W~Q{P)~TWT W, T, P, W c (W{P{W)~TWT W, T, P, X c (W{P~X)~TWT W, T, Q, P c (W~Q{P)~TWT W, T, Q, T c W~T~Q{TWT W, T, Q, V c (W{Q{V)~TWT W, T, Q, W c (W{Q)~W{TWT W, T, Q, X c (W{Q)~X|TWT W, T, R, R c (W{R~R)~TWT W, T, R, U c W~(T{U)|RWT W, T, R, V c W~(R{V){TWT W, T, S, T c (W{T{S)~TWT W, T, S, U c W~(S{U){TWT W, T, T, Q c W~T~Q{TWT W, T, T, S c (W{T{S)~TWT W, T, T, T c W~(T{T){TWT W, T, T, W c (W{W)~T{TWT W, T, T, X c W~T{T~XWT W, T, U, R c W~(T{U)|RWT W, T, U, S c W~(U{S){TWT W, T, U, V c W{(T{U)~VWT W, T, V, Q c (W{V{Q)~TWT W, T, V, R c W~(V{R){TWT W, T, V, U c (W{T)~V|UWT W, T, W, P c (W{W{P)~TWT W, T, W, Q c W~(W{Q){TWT W, T, W, T c (W{W)~T{TWT W, T, W, X c W{T{W~XWT W, T, X, O c (W{X)~(T{O)WT W, T, X, P c (W{X)~(T~P)WT W, T, X, Q c (W{Q)~X|TWT W, T, X, T c W~T{X~TWT W, T, X, W c W{T{X~WWT W, U, P, U c (W{U)~U{PWT W, U, P, X c (W{X)~(U|P)WT W, U, R, T c (W{U{R)~TWT W, U, S, T c W~(U{S){TWT W, U, T, R c W~(U{T)|RWT W, U, T, S c W~(U{S){TWT W, U, T, V c W{(U{T)~VWT W, U, U, P c (W{U)~U{PWT W, U, V, T c W{(U{T)~VWT W, U, V, X c W~X{U{VWT W, U, X, P c (W{X)~(U|P)WT W, U, X, V c W~X{U{VWT W, V, P, S c (W{S)~V{PWT W, V, Q, T c (W{V{Q)~TWT W, V, Q, X c W{V~(Q{X)WT W, V, R, S c W~(V{S)|RWT W, V, R, T c W~(V{R){TWT W, V, R, W c W{V~(R{W)WT W, V, S, P c (W{S)~V{PWT W, V, S, R c W~(V{S)|RWT W, V, S, V c W{(V{S)~VWT W, V, T, Q c (W{V{Q)~TWT W, V, T, R c W~(V{R){TWT W, V, T, U c W{V~(T{U)WT W, V, U, T c W{V~(U{T)WT W, V, U, X c W~X{V{UWT W, V, V, S c W{V~(V{S)WT W, V, W, R c W{V~(W{R)WT W, V, X, Q c W{V~(X{Q)WT W, V, X, U c W~X{V{UWT W, W, P, T c (W{W{P)~TWT W, W, Q, T c W~(W{Q){TWT W, W, R, R c W~(W{R)|RWT W, W, R, V c W{(W{R)~VWT W, W, R, X c (W|R)~(W{X)WT W, W, T, P c (W{W{P)~TWT W, W, T, Q c W~(W{Q){TWT W, W, T, T c (W{W)~T{TWT W, W, T, X c W{W~X{TWT W, W, V, R c W~W{V~RWT W, W, X, R c (W{X)~(W|R)WT W, W, X, T c W{W~X{TWT W, X, O, T c (W{X{O)~TWT W, X, P, S c (W{X)~(P{S)WT W, X, P, T c (W{X)~(P~T)WT W, X, P, U c (W{X)~(U|P)WT W, X, Q, R c (W{X)~(Q{R)WT W, X, Q, T c (W{Q)~X|TWT W, X, Q, V c W{(X{Q)~VWT W, X, Q, X c WQ{X~XWT W, X, R, Q c (W{X)~(R{Q)WT W, X, R, W c (W{X)~(W|R)WT W, X, S, P c (W{X)~(S{P)WT W, X, S, X c W~X{S{XWT W, X, T, O c (W{X)~(T{O)WT W, X, T, P c (W{X)~(T~P)WT W, X, T, Q c (W{Q)~X|TWT W, X, T, T c W~T{X~TWT W, X, T, W c W~X{T{WWT W, X, U, P c (W{X)~(U|P)WT W, X, U, V c W~X{U{VWT W, X, V, Q c (W{X)~(V|Q)WT W, X, V, U c W~X{V{UWT W, X, W, R c (W{X)~(W|R)WT W, X, W, T c W{X~W{TWT W, X, X, Q c WQ{X~XWT W, X, X, S c W{X~X|SWT X, O, S, X c (X{O)~X{SWT X, O, T, W c (X{O{W)~TWT X, O, W, T c (X{O{W)~TWT X, O, X, S c (X{O)~X{SWT X, P, Q, T c (X~Q|P)~TWT X, P, R, V c (X{R)~V{PWT X, P, R, X c X~X{P{RWT X, P, S, W c X~(P{W){SWT X, P, S, X c X~P~X{SWT X, P, T, Q c (X~Q|P)~TWT X, P, T, U c (X{T)~U{PWT X, P, T, V c (X{P{V)~TWT X, P, T, W c (X{P)~W{TWT X, P, T, X c (X{P)~X|TWT X, P, U, T c (X{T)~U{PWT X, P, U, W c (X{W)~(U|P)WT X, P, V, R c (X{R)~V{PWT X, P, V, T c (X{P{V)~TWT X, P, W, S c X~(P{W){SWT X, P, W, T c (X{P)~W{TWT X, P, W, U c (X{W)~(U|P)WT X, P, X, R c X~X{P{RWT X, P, X, S c X~P~X{SWT X, P, X, T c (X{P)~X|TWT X, Q, P, T c (X~Q|P)~TWT X, Q, Q, X c X~X{Q{QWT X, Q, R, W c (X{Q)~W|RWT X, Q, S, T c (X{Q~S)~TWT X, Q, S, V c X~(Q{V){SWT X, Q, T, P c (X~Q|P)~TWT X, Q, T, S c (X{Q~S)~TWT X, Q, T, T c X~Q~T|TWT X, Q, T, U c (X{Q{U)~TWT X, Q, T, W c X~(Q{W)|TWT X, Q, U, T c (X{Q{U)~TWT X, Q, U, X c X~X|Q{UWT X, Q, V, S c X~(Q{V){SWT X, Q, V, W c (X{Q)~V{WWT X, Q, W, R c (X{Q)~W|RWT X, Q, W, T c X~(Q{W)|TWT X, Q, W, V c (X{Q)~V{WWT X, Q, W, X c X~X{WQWT X, Q, X, Q c X~X{Q{QWT X, Q, X, U c X~X|Q{UWT X, Q, X, W c X~X{WQWT X, R, P, V c (X{R)~V{PWT X, R, P, X c X~X{R{PWT X, R, Q, W c (X{Q)~W|RWT X, R, R, S c X~R~R{SWT X, R, S, R c X~R~R{SWT X, R, S, U c X~(R{U){SWT X, R, T, T c (X{R{T)~TWT X, R, T, V c X~(R{V)|TWT X, R, U, S c X~(R{U){SWT X, R, V, P c (X{R)~V{PWT X, R, V, T c X~(R{V)|TWT X, R, V, X c X~X|R{VWT X, R, W, Q c (X{W)~(R{Q)WT X, R, W, W c (X{W)~(W|R)WT X, R, X, P c X~X{R{PWT X, R, X, V c X~X|R{VWT X, S, O, X c (X{O)~X{SWT X, S, P, W c X~(P{W){SWT X, S, P, X c X~P~X{SWT X, S, Q, T c (X{S~Q)~TWT X, S, Q, V c X~(Q{V){SWT X, S, R, R c X~R~R{SWT X, S, R, U c X~(R{U){SWT X, S, S, T c (X{S{S)~TWT X, S, T, Q c (X{S~Q)~TWT X, S, T, S c X~(S{T){SWT X, S, T, U c X~(S{U)|TWT X, S, U, R c X~(U{R){SWT X, S, U, T c X~(S{U)|TWT X, S, U, V c (X{S)~U{VWT X, S, V, Q c X~(V{Q){SWT X, S, V, U c (X{S)~V|UWT X, S, V, V c X~S{V~VWT X, S, W, P c (X{W)~(S{P)WT X, S, W, X c X{S{W~XWT X, S, X, O c X~X{S{OWT X, S, X, P c X~X{S~PWT X, S, X, W c X{S{X~WWT X, S, X, X c (X{SX)~XWT X, T, O, W c (X{O{W)~TWT X, T, P, Q c (X~Q|P)~TWT X, T, P, U c (X{T)~U{PWT X, T, P, V c (X{P{V)~TWT X, T, P, W c (X{P)~W{TWT X, T, P, X c (X{P)~X|TWT X, T, Q, P c (X~Q|P)~TWT X, T, Q, S c (X{Q~S)~TWT X, T, Q, T c X~T~Q|TWT X, T, Q, U c (X{Q{U)~TWT X, T, Q, W c X~(Q{W)|TWT X, T, R, T c (X{T{R)~TWT X, T, R, V c X~(R{V)|TWT X, T, S, Q c (X{S~Q)~TWT X, T, S, S c X~(T{S){SWT X, T, S, U c X~(S{U)|TWT X, T, T, Q c X~T~Q|TWT X, T, T, R c (X{T{R)~TWT X, T, T, T c X~(T{T)|TWT X, T, T, V c (X{V)~T{TWT X, T, T, W c X~T{T~WWT X, T, T, X c (X{X)~T|TWT X, T, U, P c (X{T)~U{PWT X, T, U, Q c (X{U{Q)~TWT X, T, U, S c X~(U{S)|TWT X, T, U, U c (X{U)~U|TWT X, T, V, P c (X{V{P)~TWT X, T, V, R c X~(V{R)|TWT X, T, V, T c (X{V)~T{TWT X, T, W, O c (X{W)~(T{O)WT X, T, W, P c (X{W)~(T~P)WT X, T, W, Q c X~(W{Q)|TWT X, T, W, T c X~T{W~TWT X, T, W, W c X~W{T{WWT X, T, X, P c X~X{T|PWT X, T, X, T c (X{X)~T|TWT X, T, X, X c X|T{X~XWT X, U, P, T c (X{T)~U{PWT X, U, P, W c (X{W)~(U|P)WT X, U, Q, T c (X{U{Q)~TWT X, U, Q, X c X~X{U|QWT X, U, R, S c X~(U{R){SWT X, U, S, R c X~(U{R){SWT X, U, S, T c X~(U{S)|TWT X, U, S, V c (X{S)~U{VWT X, U, T, P c (X{T)~U{PWT X, U, T, Q c (X{U{Q)~TWT X, U, T, S c X~(U{S)|TWT X, U, T, U c (X{U)~U|TWT X, U, U, T c (X{U)~U|TWT X, U, V, S c (X{S)~U{VWT X, U, V, W c X~W{U{VWT X, U, W, P c (X{W)~(U|P)WT X, U, W, V c X~W{U{VWT X, U, X, Q c X~X{U|QWT X, V, P, R c (X{R)~V{PWT X, V, P, T c (X{V{P)~TWT X, V, Q, S c X~(V{Q){SWT X, V, Q, W c (X{Q)~V{WWT X, V, R, P c (X{R)~V{PWT X, V, R, T c X~(V{R)|TWT X, V, R, X c X~X{V|RWT X, V, S, Q c X~(V{Q){SWT X, V, S, U c (X{S)~V|UWT X, V, S, V c X~S{V~VWT X, V, T, P c (X{V{P)~TWT X, V, T, R c X~(V{R)|TWT X, V, T, T c (X{V)~T{TWT X, V, U, S c (X{S)~V|UWT X, V, U, W c X~W{V{UWT X, V, V, S c X~S{V~VWT X, V, W, Q c (X{W)~(V|Q)WT X, V, W, U c X~W{V{UWT X, V, X, R c X~X{V|RWT X, W, O, T c (X{W{O)~TWT X, W, P, S c (X{W)~(P{S)WT X, W, P, T c (X{W)~(P~T)WT X, W, P, U c (X{W)~(U|P)WT X, W, Q, R c (X{W)~(Q{R)WT X, W, Q, T c X~(W{Q)|TWT X, W, Q, V c (X{W)~(V|Q)WT X, W, Q, X c X~X{WQWT X, W, R, Q c (X{W)~(R{Q)WT X, W, R, W c (X{W)~(W|R)WT X, W, S, P c (X{W)~(S{P)WT X, W, S, X c X~W{S{XWT X, W, T, O c (X{W)~(T{O)WT X, W, T, P c (X{W)~(T~P)WT X, W, T, Q c X~(W{Q)|TWT X, W, T, T c X~T{W~TWT X, W, T, W c X~W{T{WWT X, W, U, P c (X{W)~(U|P)WT X, W, U, V c X~W{U{VWT X, W, V, Q c (X{W)~(V|Q)WT X, W, V, U c X~W{V{UWT X, W, W, R c (X{W)~(W|R)WT X, W, W, T c X~W{W{TWT X, W, X, Q c X~X{WQWT X, W, X, S c X{W~X{SWT X, X, O, S c X~X{O{SWT X, X, P, R c X~X{P{RWT X, X, P, S c X~X{P~SWT X, X, P, T c (X{X|P)~TWT X, X, Q, Q c X~X{Q{QWT X, X, Q, U c X~X|Q{UWT X, X, Q, W c X~X{WQWT X, X, R, P c X~X{R{PWT X, X, R, V c X~X|R{VWT X, X, S, O c X~X{S{OWT X, X, S, P c X~X{S~PWT X, X, S, W c X~X|S{WWT X, X, S, X c X~(X{SX)WT X, X, T, P c X~X{T|PWT X, X, T, T c (X{X)~T|TWT X, X, T, X c X~X|T{XWT X, X, U, Q c X~X{U|QWT X, X, V, R c X~X{V|RWT X, X, W, Q c X~X{WQWT X, X, W, S c X{X~W{SWT X, X, X, S c X~(X{SX)WT X, X, X, T c X{X~X|TWT