O, Q, X, X c (O{Q{X)~XXX O, R, W, X c (O{R{W)~XXX O, R, X, W c (O{R{W)~XXX O, S, V, X c (O{S{V)~XXX O, S, X, V c (O{S{V)~XXX O, T, U, X c (O{T{U)~XXX O, T, X, U c (O{T{U)~XXX O, U, T, X c (O{U{T)~XXX O, U, X, T c (O{U{T)~XXX O, V, S, X c (O{V{S)~XXX O, V, X, S c (O{V{S)~XXX O, W, R, X c (O{W{R)~XXX O, W, X, R c (O{W{R)~XXX O, X, Q, X c (O{X{Q)~XXX O, X, R, W c (O{X)~(R{W)XX O, X, S, V c (O{X)~(S{V)XX O, X, T, U c (O{X)~(T{U)XX O, X, U, T c (O{X)~(U{T)XX O, X, V, S c (O{X)~(V{S)XX O, X, W, R c (O{X)~(W{R)XX O, X, X, Q c (O{X)~(X{Q)XX P, P, X, X c (P{P{X)~XXX P, Q, T, X c (P{Q~T)~XXX P, Q, U, X c (Q~U|P)~XXX P, Q, V, V c P{Q~V~VXX P, Q, W, X c (P{Q{W)~XXX P, Q, X, T c (P{Q~T)~XXX P, Q, X, U c (Q~U|P)~XXX P, Q, X, W c (P{Q{W)~XXX P, Q, X, X c (P~Q{X)~XXX P, R, S, W c (P{S~W)~RXX P, R, S, X c (R~S|P)~XXX P, R, V, X c (P{R{V)~XXX P, R, W, S c (P{W~S)~RXX P, R, W, W c (P{W)~(R{W)XX P, R, W, X c (P~R{W)~XXX P, R, X, S c (R~S|P)~XXX P, R, X, V c (P{R{V)~XXX P, R, X, W c (P~R{W)~XXX P, R, X, X c (R|P{X)~XXX P, S, R, W c (P{S~W)~RXX P, S, R, X c (S~R|P)~XXX P, S, T, T c S~T~T|PXX P, S, U, X c (P{S{U)~XXX P, S, V, W c (P{W)~(S{V)XX P, S, V, X c (P~S{V)~XXX P, S, W, R c (P{S~W)~RXX P, S, W, V c (P{W)~(S{V)XX P, S, W, X c (S|P{W)~XXX P, S, X, R c (S~R|P)~XXX P, S, X, U c (P{S{U)~XXX P, S, X, V c (P~S{V)~XXX P, S, X, W c (S|P{W)~XXX P, T, Q, X c (P{T~Q)~XXX P, T, S, T c T~S~T|PXX P, T, T, S c T~T~S|PXX P, T, T, X c (P{T{T)~XXX P, T, U, W c (P{W)~(T{U)XX P, T, U, X c (P~T{U)~XXX P, T, V, X c P{(T{X)~VXX P, T, W, U c (P{W)~(T{U)XX P, T, X, Q c (P{T~Q)~XXX P, T, X, T c (P{T{T)~XXX P, T, X, U c (P~T{U)~XXX P, T, X, V c P{(T{X)~VXX P, U, Q, X c (U~Q|P)~XXX P, U, S, X c (P{U{S)~XXX P, U, T, W c (P{W)~(U{T)XX P, U, T, X c (P~U{T)~XXX P, U, U, X c (U|P{U)~XXX P, U, V, W c P{(U{W)~VXX P, U, W, T c (P{W)~(U{T)XX P, U, W, V c P{(U{W)~VXX P, U, X, Q c (U~Q|P)~XXX P, U, X, S c (P{U{S)~XXX P, U, X, T c (P~U{T)~XXX P, U, X, U c (U|P{U)~XXX P, V, Q, V c P{V~Q~VXX P, V, R, X c (P{V{R)~XXX P, V, S, W c (P{W)~(V{S)XX P, V, S, X c (P~V{S)~XXX P, V, T, X c P{V~(T{X)XX P, V, U, W c P{V~(U{W)XX P, V, V, Q c P{V~V~QXX P, V, V, V c P{(V{V)~VXX P, V, W, S c (P{W)~(V{S)XX P, V, W, U c P{V~(W{U)XX P, V, X, R c (P{V{R)~XXX P, V, X, S c (P~V{S)~XXX P, V, X, T c P{V~(X{T)XX P, W, Q, X c (P{W{Q)~XXX P, W, R, S c (P{W~S)~RXX P, W, R, W c (P{W)~(R{W)XX P, W, R, X c (P~W{R)~XXX P, W, S, R c (P{W~S)~RXX P, W, S, V c (P{W)~(S{V)XX P, W, S, X c (W|P{S)~XXX P, W, T, U c (P{W)~(T{U)XX P, W, U, T c (P{W)~(U{T)XX P, W, U, V c P{(W{U)~VXX P, W, V, S c (P{W)~(V{S)XX P, W, V, U c P{(W{U)~VXX P, W, W, R c (P{W)~(W{R)XX P, W, X, Q c (P{W)~(X{Q)XX P, W, X, R c (P~W{R)~XXX P, W, X, S c (W|P{S)~XXX P, X, P, X c (P{X{P)~XXX P, X, Q, T c (P{Q~T)~XXX P, X, Q, U c X~(Q~U|P)XX P, X, Q, W c (P{Q{W)~XXX P, X, Q, X c (P~X{Q)~XXX P, X, R, S c X~(R~S|P)XX P, X, R, V c (P{R{V)~XXX P, X, R, W c (P~X)~(R{W)XX P, X, R, X c (X|P{R)~XXX P, X, S, R c X~(S~R|P)XX P, X, S, U c (P{S{U)~XXX P, X, S, V c (P~X)~(S{V)XX P, X, S, W c X~(S|P{W)XX P, X, T, Q c (P{T~Q)~XXX P, X, T, T c (P{T{T)~XXX P, X, T, U c (P~X)~(T{U)XX P, X, T, V c P{(X{T)~VXX P, X, U, Q c X~(U~Q|P)XX P, X, U, S c (P{U{S)~XXX P, X, U, T c (P~X)~(U{T)XX P, X, U, U c X~(U|P{U)XX P, X, V, R c (P{V{R)~XXX P, X, V, S c (P~X)~(V{S)XX P, X, V, T c P{(X{T)~VXX P, X, W, Q c (P{W)~(X{Q)XX P, X, W, R c (P~X)~(W{R)XX P, X, W, S c X~(W|P{S)XX P, X, X, P c (P{X{P)~XXX P, X, X, Q c (P~X)~(X{Q)XX P, X, X, R c (X|P{R)~XXX P, X, X, X c (P{X)~X{XXX Q, O, X, X c (Q{O{X)~XXX Q, P, T, X c (Q~T{P)~XXX Q, P, U, X c (Q~U|P)~XXX Q, P, V, V c Q~V~V{PXX Q, P, W, X c (Q{P{W)~XXX Q, P, X, T c (Q~T{P)~XXX Q, P, X, U c (Q~U|P)~XXX Q, P, X, W c (Q{P{W)~XXX Q, P, X, X c (Q{P~X)~XXX Q, Q, V, X c (Q{Q{V)~XXX Q, Q, X, V c (Q{Q{V)~XXX Q, R, R, X c (Q{R~R)~XXX Q, R, S, X c (Q~S{R)~XXX Q, R, T, V c R~(T~V|Q)XX Q, R, T, X c (Q~R{T)~XXX Q, R, U, W c Q~U~W{RXX Q, R, U, X c (Q{R{U)~XXX Q, R, V, T c R~(V~T|Q)XX Q, R, V, W c (Q{V)~(R{W)XX Q, R, V, X c (Q~V|R)~XXX Q, R, W, U c Q~W~U{RXX Q, R, W, V c (Q{V)~(R{W)XX Q, R, X, R c (Q{R~R)~XXX Q, R, X, S c (Q~S{R)~XXX Q, R, X, T c (Q~R{T)~XXX Q, R, X, U c (Q{R{U)~XXX Q, R, X, V c (Q~V|R)~XXX Q, S, R, X c (Q~S{R)~XXX Q, S, T, X c (Q{S{T)~XXX Q, S, V, V c (Q{V)~(S{V)XX Q, S, X, R c (Q~S{R)~XXX Q, S, X, T c (Q{S{T)~XXX Q, S, X, X c (S|Q{X)~XXX Q, T, P, X c (Q~T{P)~XXX Q, T, R, V c (T~V|Q)~RXX Q, T, R, X c (Q~R{T)~XXX Q, T, S, X c (Q{T{S)~XXX Q, T, U, V c (Q{V)~(T{U)XX Q, T, V, R c (T~V|Q)~RXX Q, T, V, U c (Q{V)~(T{U)XX Q, T, W, X c (Q~W|T)~XXX Q, T, X, P c (Q~T{P)~XXX Q, T, X, R c (Q~R{T)~XXX Q, T, X, S c (Q{T{S)~XXX Q, T, X, W c (Q~W|T)~XXX Q, T, X, X c Q~T~X{XXX Q, U, P, X c (Q~U|P)~XXX Q, U, R, W c Q~U~W{RXX Q, U, R, X c (Q{U{R)~XXX Q, U, T, V c (Q{V)~(U{T)XX Q, U, V, T c (Q{V)~(U{T)XX Q, U, V, X c (U|Q{V)~XXX Q, U, W, R c Q~U~W{RXX Q, U, W, X c (UQ{W)~XXX Q, U, X, P c (Q~U|P)~XXX Q, U, X, R c (Q{U{R)~XXX Q, U, X, V c (U|Q{V)~XXX Q, U, X, W c (UQ{W)~XXX Q, U, X, X c Q~U~X|XXX Q, V, P, V c Q~V~V{PXX Q, V, Q, X c (Q{V{Q)~XXX Q, V, R, T c (V~T|Q)~RXX Q, V, R, W c (Q{V)~(R{W)XX Q, V, R, X c (Q~V|R)~XXX Q, V, S, V c (Q{V)~(S{V)XX Q, V, T, R c (V~T|Q)~RXX Q, V, T, U c (Q{V)~(T{U)XX Q, V, U, T c (Q{V)~(U{T)XX Q, V, U, X c (V|Q{U)~XXX Q, V, V, P c Q~V~V{PXX Q, V, V, S c (Q{V)~(V{S)XX Q, V, W, R c (Q{V)~(W{R)XX Q, V, W, X c (V{WQ)~XXX Q, V, X, Q c (Q{V)~(X{Q)XX Q, V, X, R c (Q~V|R)~XXX Q, V, X, U c (V|Q{U)~XXX Q, V, X, W c (V{WQ)~XXX Q, V, X, X c (Q~X|V)~XXX Q, W, P, X c (Q{W{P)~XXX Q, W, R, U c Q~W~U{RXX Q, W, R, V c (Q{V)~(W{R)XX Q, W, T, X c (Q~W|T)~XXX Q, W, U, R c Q~W~U{RXX Q, W, U, X c (W{UQ)~XXX Q, W, V, R c (Q{V)~(W{R)XX Q, W, V, X c (WQ{V)~XXX Q, W, X, P c (Q{W{P)~XXX Q, W, X, T c (Q~W|T)~XXX Q, W, X, U c (W{UQ)~XXX Q, W, X, V c (WQ{V)~XXX Q, W, X, X c (Q{W)~X{XXX Q, X, O, X c (Q{X{O)~XXX Q, X, P, T c (Q~T{P)~XXX Q, X, P, U c (Q~U|P)~XXX Q, X, P, W c (Q{X)~(P{W)XX Q, X, P, X c (Q{X)~(P~X)XX Q, X, Q, V c (Q{X)~(Q{V)XX Q, X, R, R c (Q{X)~(R~R)XX Q, X, R, S c (Q~S{R)~XXX Q, X, R, T c (Q~R{T)~XXX Q, X, R, U c (Q{X)~(R{U)XX Q, X, R, V c (Q~V|R)~XXX Q, X, S, R c (Q~S{R)~XXX Q, X, S, T c (Q{X)~(S{T)XX Q, X, S, X c (X|Q{S)~XXX Q, X, T, P c (Q~T{P)~XXX Q, X, T, R c (Q~R{T)~XXX Q, X, T, S c (Q{X)~(T{S)XX Q, X, T, W c (Q~W|T)~XXX Q, X, T, X c Q~X~T{XXX Q, X, U, P c (Q~U|P)~XXX Q, X, U, R c (Q{X)~(U{R)XX Q, X, U, V c X~(U|Q{V)XX Q, X, U, W c X~(UQ{W)XX Q, X, U, X c Q~X~U|XXX Q, X, V, Q c (Q{X)~(V{Q)XX Q, X, V, R c (Q~V|R)~XXX Q, X, V, U c X~(V|Q{U)XX Q, X, V, W c X~(V{WQ)XX Q, X, V, X c (Q~X|V)~XXX Q, X, W, P c (Q{X)~(W{P)XX Q, X, W, T c (Q~W|T)~XXX Q, X, W, U c X~(W{UQ)XX Q, X, W, V c X~(WQ{V)XX Q, X, W, X c (Q{W)~X{XXX Q, X, X, O c (Q{X)~(X{O)XX Q, X, X, P c (Q{X)~(X~P)XX Q, X, X, S c (X|Q{S)~XXX Q, X, X, T c Q~X~T{XXX Q, X, X, U c Q~X~U|XXX Q, X, X, V c (Q~X|V)~XXX Q, X, X, W c (Q{W)~X{XXX Q, X, X, X c Q~X{X~XXX R, O, W, X c (R{O{W)~XXX R, O, X, W c (R{O{W)~XXX R, P, S, W c R~(P{S~W)XX R, P, S, X c (R~S|P)~XXX R, P, V, X c (R{P{V)~XXX R, P, W, S c R~(P{W~S)XX R, P, W, W c (R{W)~(P{W)XX R, P, W, X c (R{P~W)~XXX R, P, X, S c (R~S|P)~XXX R, P, X, V c (R{P{V)~XXX R, P, X, W c (R{P~W)~XXX R, P, X, X c (R|P{X)~XXX R, Q, R, X c R~(Q{X)~RXX R, Q, S, X c (R{Q~S)~XXX R, Q, T, V c R~(T~V|Q)XX R, Q, T, X c (R~Q{T)~XXX R, Q, U, W c R{Q~U~WXX R, Q, U, X c (R{Q{U)~XXX R, Q, V, T c R~(V~T|Q)XX R, Q, V, W c (R{W)~(Q{V)XX R, Q, V, X c (Q~V|R)~XXX R, Q, W, U c R{Q~W~UXX R, Q, W, V c (R{W)~(Q{V)XX R, Q, X, R c R~(Q{X)~RXX R, Q, X, S c (R{Q~S)~XXX R, Q, X, T c (R~Q{T)~XXX R, Q, X, U c (R{Q{U)~XXX R, Q, X, V c (Q~V|R)~XXX R, R, Q, X c (R~R{Q)~XXX R, R, R, W c (R~R)~(R{W)XX R, R, S, V c (R~R)~(S{V)XX R, R, S, W c R{R~S~WXX R, R, S, X c R~(S~X|R)XX R, R, T, U c R~(R{T~U)XX R, R, T, X c (R{R{T)~XXX R, R, U, T c R~(R{U~T)XX R, R, U, U c R~(U~U|R)XX R, R, U, W c (R{U)~(R{W)XX R, R, U, X c R~(R~X{U)XX R, R, V, S c (R~R)~(V{S)XX R, R, W, R c R~(R{W)~RXX R, R, W, S c R{R~W~SXX R, R, W, U c (R{W)~(R{U)XX R, R, W, X c R~(R~W{X)XX R, R, X, Q c (R~R)~(X{Q)XX R, R, X, S c R~(X~S|R)XX R, R, X, T c (R{R{T)~XXX R, R, X, U c R~(R~X{U)XX R, R, X, W c R{(R{X)~WXX R, S, P, W c R~(S~W{P)XX R, S, P, X c (R~S|P)~XXX R, S, Q, X c (R{S~Q)~XXX R, S, R, V c R~(S{V)~RXX R, S, R, W c R{S~R~WXX R, S, R, X c R~(S~X|R)XX R, S, S, U c R{S~S~UXX R, S, S, X c (R{S{S)~XXX R, S, T, V c R~(S~V{T)XX R, S, T, W c (R{W)~(S{T)XX R, S, T, X c (R~T|S)~XXX R, S, U, S c R{S~U~SXX R, S, U, V c (R{U)~(S{V)XX R, S, U, X c R~(S~U{X)XX R, S, V, R c R~(S{V)~RXX R, S, V, T c R~(S~V{T)XX R, S, V, U c (R{U)~(S{V)XX R, S, W, P c R~(S~W{P)XX R, S, W, R c R{S~W~RXX R, S, W, T c (R{W)~(S{T)XX R, S, W, W c R{(S{W)~WXX R, S, X, P c (R~S|P)~XXX R, S, X, Q c (R{S~Q)~XXX R, S, X, R c R~(S~X|R)XX R, S, X, S c (R{S{S)~XXX R, S, X, T c (R~T|S)~XXX R, S, X, U c R~(S~U{X)XX R, S, X, X c R~S~X|XXX R, T, Q, V c R~(T~V|Q)XX R, T, Q, X c (R~Q{T)~XXX R, T, R, U c (R{T~U)~RXX R, T, R, X c (R{T{R)~XXX R, T, S, V c R~(T{S~V)XX R, T, S, W c (R{W)~(T{S)XX R, T, S, X c (R~T|S)~XXX R, T, T, W c R~(T~T{W)XX R, T, U, R c (R{T~U)~RXX R, T, U, U c (R{U)~(T{U)XX R, T, U, V c R~T~V|UXX R, T, U, X c R~T~U{XXX R, T, V, Q c R~(T~V|Q)XX R, T, V, S c R~(T{V~S)XX R, T, V, U c R~T~V|UXX R, T, V, W c R{(T{V)~WXX R, T, W, S c (R{W)~(T{S)XX R, T, W, T c R~(T~T{W)XX R, T, W, V c R~(T~W|V)XX R, T, X, Q c (R~Q{T)~XXX R, T, X, R c (R{T{R)~XXX R, T, X, S c (R~T|S)~XXX R, T, X, U c R~T~U{XXX R, T, X, X c (T|R{X)~XXX R, U, Q, W c R{U~Q~WXX R, U, Q, X c (R{U{Q)~XXX R, U, R, T c (R{U~T)~RXX R, U, R, U c R~(U~U|R)XX R, U, R, W c (R{U)~(R{W)XX R, U, R, X c R~(U{R~X)XX R, U, S, S c R{U~S~SXX R, U, S, V c (R{U)~(S{V)XX R, U, S, X c R~(U~S{X)XX R, U, T, R c (R{U~T)~RXX R, U, T, U c (R{U)~(T{U)XX R, U, T, V c R~T~V|UXX R, U, T, X c R~U~T{XXX R, U, U, R c R~(U~U|R)XX R, U, U, T c (R{U)~(U{T)XX R, U, U, W c R{(U{U)~WXX R, U, U, X c R~U~U|XXX R, U, V, S c (R{U)~(V{S)XX R, U, V, T c R~V~T|UXX R, U, V, X c R{U~(V{X)XX R, U, W, Q c R{U~W~QXX R, U, W, R c (R{U)~(W{R)XX R, U, W, U c R{(U{U)~WXX R, U, W, W c R{U~(W{W)XX R, U, W, X c (U|R{W)~XXX R, U, X, Q c (R{U)~(X{Q)XX R, U, X, R c R~(U{X~R)XX R, U, X, S c R~(U~S{X)XX R, U, X, T c R~U~T{XXX R, U, X, U c R~U~U|XXX R, U, X, V c R{U~(X{V)XX R, U, X, W c (U|R{W)~XXX R, U, X, X c R~U{X~XXX R, V, P, X c (R{V{P)~XXX R, V, Q, T c R~(V~T|Q)XX R, V, Q, W c (R{W)~(V{Q)XX R, V, Q, X c (V~Q|R)~XXX R, V, R, S c R~(V{S)~RXX R, V, S, R c R~(V{S)~RXX R, V, S, T c R~(V~S{T)XX R, V, S, U c (R{U)~(V{S)XX R, V, T, Q c R~(V~T|Q)XX R, V, T, S c R~(V~S{T)XX R, V, T, U c R~V~T|UXX R, V, T, W c R{(V{T)~WXX R, V, U, S c (R{U)~(V{S)XX R, V, U, T c R~V~T|UXX R, V, U, X c R~(V~U|X)XX R, V, V, X c (V|R{V)~XXX R, V, W, Q c (R{W)~(V{Q)XX R, V, W, T c R{(V{T)~WXX R, V, X, P c (R{V{P)~XXX R, V, X, Q c (V~Q|R)~XXX R, V, X, U c R{(V{X)~UXX R, V, X, V c (V|R{V)~XXX R, V, X, X c (R{V)~X{XXX R, W, O, X c (R{W{O)~XXX R, W, P, S c R~(W~S{P)XX R, W, P, W c (R{W)~(P{W)XX R, W, P, X c (R{W)~(P~X)XX R, W, Q, U c R{W~Q~UXX R, W, Q, V c (R{W)~(Q{V)XX R, W, R, R c (R{W)~(R~R)XX R, W, R, S c R{W~R~SXX R, W, R, U c (R{W)~(R{U)XX R, W, R, X c R{W~(R{X)XX R, W, S, P c R~(W~S{P)XX R, W, S, R c R{W~S~RXX R, W, S, T c (R{W)~(S{T)XX R, W, S, W c R{(W{S)~WXX R, W, T, S c (R{W)~(T{S)XX R, W, T, T c R~(W{T~T)XX R, W, T, V c R{W~(T{V)XX R, W, U, Q c R{W~U~QXX R, W, U, R c (R{W)~(U{R)XX R, W, U, U c R{W~(U{U)XX R, W, U, W c R{(W{W)~UXX R, W, U, X c (W|R{U)~XXX R, W, V, Q c (R{W)~(V{Q)XX R, W, V, T c R{W~(V{T)XX R, W, W, P c (R{W)~(W{P)XX R, W, W, S c R{W~(W{S)XX R, W, W, U c R{(W{W)~UXX R, W, X, O c (R{W)~(X{O)XX R, W, X, P c (R{W)~(X~P)XX R, W, X, R c R{W~(X{R)XX R, W, X, U c (W|R{U)~XXX R, W, X, X c R~X{W~XXX R, X, O, W c (R{O{W)~XXX R, X, P, S c (R~S|P)~XXX R, X, P, V c (R{P{V)~XXX R, X, P, W c (R{P~W)~XXX R, X, P, X c (R{X|P)~XXX R, X, Q, R c R~(X{Q)~RXX R, X, Q, S c (R{Q~S)~XXX R, X, Q, T c (R~Q{T)~XXX R, X, Q, U c (R{Q{U)~XXX R, X, Q, V c X~(Q~V|R)XX R, X, R, Q c R~(X{Q)~RXX R, X, R, S c R~(X~S|R)XX R, X, R, T c (R{R{T)~XXX R, X, R, U c R~(X~R{U)XX R, X, R, W c R{(X{R)~WXX R, X, S, P c (R~S|P)~XXX R, X, S, Q c (R{S~Q)~XXX R, X, S, R c R~(X~S|R)XX R, X, S, S c (R{S{S)~XXX R, X, S, T c (R~T|S)~XXX R, X, S, U c R~(X{S~U)XX R, X, S, X c R~X~S|XXX R, X, T, Q c (R~Q{T)~XXX R, X, T, R c (R{T{R)~XXX R, X, T, S c (R~T|S)~XXX R, X, T, U c R~T~U{XXX R, X, T, X c (X|R{T)~XXX R, X, U, Q c (R{U)~(X{Q)XX R, X, U, R c (R~X{U)~RXX R, X, U, S c R~(X{U~S)XX R, X, U, T c R~U~T{XXX R, X, U, U c R~U~U|XXX R, X, U, V c R{(X{V)~UXX R, X, U, W c X~(U|R{W)XX R, X, U, X c R~U{X~XXX R, X, V, P c (R{V{P)~XXX R, X, V, Q c X~(V~Q|R)XX R, X, V, U c R{(X{V)~UXX R, X, V, V c X~(V|R{V)XX R, X, V, X c (R{V)~X{XXX R, X, W, O c (R{W)~(X{O)XX R, X, W, P c (R{W)~(X~P)XX R, X, W, R c (R{X)~W{RXX R, X, W, U c X~(W|R{U)XX R, X, W, X c R~X{W~XXX R, X, X, P c (R{X|P)~XXX R, X, X, S c R~X~S|XXX R, X, X, T c (X|R{T)~XXX R, X, X, U c R~U{X~XXX R, X, X, V c (R{V)~X{XXX R, X, X, W c R~X{X~WXX R, X, X, X c (R{X)~X|XXX S, O, V, X c (S{O{V)~XXX S, O, X, V c (S{O{V)~XXX S, P, R, W c (S~W{P)~RXX S, P, R, X c (S~R|P)~XXX S, P, T, T c S~T~T|PXX S, P, U, X c (S{P{U)~XXX S, P, V, W c (S{V)~(P{W)XX S, P, V, X c (S{P~V)~XXX S, P, W, R c (S~W{P)~RXX S, P, W, V c (S{V)~(P{W)XX S, P, W, X c (S|P{W)~XXX S, P, X, R c (S~R|P)~XXX S, P, X, U c (S{P{U)~XXX S, P, X, V c (S{P~V)~XXX S, P, X, W c (S|P{W)~XXX S, Q, R, X c (S~Q{R)~XXX S, Q, T, X c (S{Q{T)~XXX S, Q, V, V c (S{V)~(Q{V)XX S, Q, X, R c (S~Q{R)~XXX S, Q, X, T c (S{Q{T)~XXX S, Q, X, X c (S|Q{X)~XXX S, R, P, W c (S~W{P)~RXX S, R, P, X c (S~R|P)~XXX S, R, Q, X c (S~Q{R)~XXX S, R, R, V c (S{V)~(R~R)XX S, R, R, W c S~R~W{RXX S, R, R, X c (S~X|R)~RXX S, R, S, U c S~S~U{RXX S, R, S, X c (S{R{S)~XXX S, R, T, V c (S~V{T)~RXX S, R, T, W c (S{T)~(R{W)XX S, R, T, X c (R~T|S)~XXX S, R, U, S c S~U~S{RXX S, R, U, V c (S{V)~(R{U)XX S, R, U, X c (S~U{X)~RXX S, R, V, R c (S{V)~(R~R)XX S, R, V, T c (S~V{T)~RXX S, R, V, U c (S{V)~(R{U)XX S, R, W, P c (S~W{P)~RXX S, R, W, R c S~R~W{RXX S, R, W, T c (S{T)~(R{W)XX S, R, W, W c (S{W)~W{RXX S, R, X, P c (S~R|P)~XXX S, R, X, Q c (S~Q{R)~XXX S, R, X, R c (S~X|R)~RXX S, R, X, S c (S{R{S)~XXX S, R, X, T c (R~T|S)~XXX S, R, X, U c (S~U{X)~RXX S, R, X, X c S~R~X|XXX S, S, R, U c S~S~U{RXX S, S, R, X c (S{S{R)~XXX S, S, T, V c (S{T)~(S{V)XX S, S, T, X c (S~S|T)~XXX S, S, U, R c S~S~U{RXX S, S, V, T c (S{V)~(S{T)XX S, S, X, R c (S{S{R)~XXX S, S, X, T c (S~S|T)~XXX S, T, P, T c S~T~T|PXX S, T, Q, X c (S{T{Q)~XXX S, T, R, V c (S~V{T)~RXX S, T, R, W c (S{T)~(R{W)XX S, T, R, X c (T~R|S)~XXX S, T, S, V c (S{T)~(S{V)XX S, T, S, X c (S~S|T)~XXX S, T, T, P c S~T~T|PXX S, T, T, U c (S{T)~(T{U)XX S, T, U, T c (S{T)~(U{T)XX S, T, V, R c (S~V{T)~RXX S, T, V, S c (S{T)~(V{S)XX S, T, W, R c (S{T)~(W{R)XX S, T, W, X c (S{X)~W|TXX S, T, X, Q c (S{T)~(X{Q)XX S, T, X, R c (T~R|S)~XXX S, T, X, S c (S~S|T)~XXX S, T, X, W c (S{X)~W|TXX S, T, X, X c (S~T|X)~XXX S, U, P, X c (S{U{P)~XXX S, U, R, S c S~U~S{RXX S, U, R, V c (S{V)~(U{R)XX S, U, R, X c (S~U{X)~RXX S, U, S, R c S~U~S{RXX S, U, T, T c (S{T)~(U{T)XX S, U, V, R c (S{V)~(U{R)XX S, U, X, P c (S{U{P)~XXX S, U, X, R c (S~U{X)~RXX S, U, X, X c (S{U)~X{XXX S, V, O, X c (S{V{O)~XXX S, V, P, W c (S{V)~(P{W)XX S, V, P, X c (S{V)~(P~X)XX S, V, Q, V c (S{V)~(Q{V)XX S, V, R, R c (S{V)~(R~R)XX S, V, R, T c (S~V{T)~RXX S, V, R, U c (S{V)~(R{U)XX S, V, S, T c (S{V)~(S{T)XX S, V, T, R c (S~V{T)~RXX S, V, T, S c (S{V)~(T{S)XX S, V, U, R c (S{V)~(U{R)XX S, V, V, Q c (S{V)~(V{Q)XX S, V, W, P c (S{V)~(W{P)XX S, V, W, X c (S{X)~V{WXX S, V, X, O c (S{V)~(X{O)XX S, V, X, P c (S{V)~(X~P)XX S, V, X, W c (S{X)~V{WXX S, V, X, X c S~X{V~XXX S, W, P, R c (S~W{P)~RXX S, W, P, V c (S{V)~(W{P)XX S, W, P, X c (S{W|P)~XXX S, W, R, P c (S~W{P)~RXX S, W, R, R c S~W~R{RXX S, W, R, T c (S{T)~(W{R)XX S, W, R, W c (S{W)~W{RXX S, W, T, R c (S{T)~(W{R)XX S, W, T, X c (S{X)~W|TXX S, W, V, P c (S{V)~(W{P)XX S, W, V, X c (S{X)~V{WXX S, W, W, R c (S{W)~W{RXX S, W, X, P c (S{W|P)~XXX S, W, X, T c (S{X)~W|TXX S, W, X, V c (S{X)~V{WXX S, W, X, X c (S{W)~X|XXX S, X, O, V c (S{O{V)~XXX S, X, P, R c (S~R|P)~XXX S, X, P, U c (S{P{U)~XXX S, X, P, V c (S{P~V)~XXX S, X, P, W c (S|P{W)~XXX S, X, Q, R c (S~Q{R)~XXX S, X, Q, T c (S{Q{T)~XXX S, X, Q, X c (S{X|Q)~XXX S, X, R, P c (S~R|P)~XXX S, X, R, Q c (S~Q{R)~XXX S, X, R, R c (S~X|R)~RXX S, X, R, S c (S{R{S)~XXX S, X, R, T c X~(R~T|S)XX S, X, R, U c (S~U{X)~RXX S, X, R, X c S~X~R|XXX S, X, S, R c (S{S{R)~XXX S, X, S, T c (S~S|T)~XXX S, X, T, Q c (S{T)~(X{Q)XX S, X, T, R c X~(T~R|S)XX S, X, T, S c (S~S|T)~XXX S, X, T, W c (S{X)~W|TXX S, X, T, X c (S~T|X)~XXX S, X, U, P c (S{U{P)~XXX S, X, U, R c (S~U{X)~RXX S, X, U, X c (S{U)~X{XXX S, X, V, O c (S{V)~(X{O)XX S, X, V, P c (S{V)~(X~P)XX S, X, V, W c (S{X)~V{WXX S, X, V, X c S~X{V~XXX S, X, W, P c (S{W|P)~XXX S, X, W, T c (S{X)~W|TXX S, X, W, V c (S{X)~V{WXX S, X, W, X c (S{W)~X|XXX S, X, X, Q c (S{X|Q)~XXX S, X, X, R c S~X~R|XXX S, X, X, T c (S~T|X)~XXX S, X, X, U c (S{U)~X{XXX S, X, X, V c S~X{X~VXX S, X, X, W c (S{W)~X|XXX T, O, U, X c (T{O{U)~XXX T, O, X, U c (T{O{U)~XXX T, P, Q, X c (T~Q{P)~XXX T, P, S, T c T~S~T|PXX T, P, T, S c T~T~S|PXX T, P, T, X c (T{P{T)~XXX T, P, U, W c (T{U)~(P{W)XX T, P, U, X c (T{P~U)~XXX T, P, V, X c (T|P{V)~XXX T, P, W, U c (T{U)~(P{W)XX T, P, X, Q c (T~Q{P)~XXX T, P, X, T c (T{P{T)~XXX T, P, X, U c (T{P~U)~XXX T, P, X, V c (T|P{V)~XXX T, Q, P, X c (T~Q{P)~XXX T, Q, R, V c (T~V|Q)~RXX T, Q, R, X c (T{Q~R)~XXX T, Q, S, X c (T{Q{S)~XXX T, Q, U, V c (T{U)~(Q{V)XX T, Q, V, R c (T~V|Q)~RXX T, Q, V, U c (T{U)~(Q{V)XX T, Q, W, X c (T|Q{W)~XXX T, Q, X, P c (T~Q{P)~XXX T, Q, X, R c (T{Q~R)~XXX T, Q, X, S c (T{Q{S)~XXX T, Q, X, W c (T|Q{W)~XXX T, Q, X, X c T~Q~X{XXX T, R, Q, V c (T~V|Q)~RXX T, R, Q, X c (T{R~Q)~XXX T, R, R, U c (T{U)~(R~R)XX T, R, R, X c (T{R{R)~XXX T, R, S, V c (T{S~V)~RXX T, R, S, W c (T{S)~(R{W)XX T, R, S, X c (T~R|S)~XXX T, R, T, W c (T~T{W)~RXX T, R, U, R c (T{U)~(R~R)XX T, R, U, U c (T{U)~(R{U)XX T, R, U, V c T~R~V|UXX T, R, U, X c T~R~U{XXX T, R, V, Q c (T~V|Q)~RXX T, R, V, S c (T{V~S)~RXX T, R, V, U c T~R~V|UXX T, R, V, W c (T{V)~W{RXX T, R, W, S c (T{S)~(R{W)XX T, R, W, T c (T~T{W)~RXX T, R, W, V c (T~W|V)~RXX T, R, X, Q c (T{R~Q)~XXX T, R, X, R c (T{R{R)~XXX T, R, X, S c (T~R|S)~XXX T, R, X, U c T~R~U{XXX T, R, X, X c (T|R{X)~XXX T, S, P, T c T~S~T|PXX T, S, Q, X c (T{S{Q)~XXX T, S, R, V c (T{S~V)~RXX T, S, R, W c (T{S)~(R{W)XX T, S, R, X c (T~R|S)~XXX T, S, S, V c (T{S)~(S{V)XX T, S, S, X c (S~S|T)~XXX T, S, T, P c T~S~T|PXX T, S, T, U c (T{S)~(T{U)XX T, S, U, T c (T{S)~(U{T)XX T, S, V, R c (T{S~V)~RXX T, S, V, S c (T{S)~(V{S)XX T, S, W, R c (T{S)~(W{R)XX T, S, W, X c (S{X)~W|TXX T, S, X, Q c (T{S)~(X{Q)XX T, S, X, R c (T~R|S)~XXX T, S, X, S c (S~S|T)~XXX T, S, X, W c (S{X)~W|TXX T, S, X, X c (T~S|X)~XXX T, T, P, S c T~T~S|PXX T, T, P, X c (T{T{P)~XXX T, T, R, W c (T~T{W)~RXX T, T, S, P c T~T~S|PXX T, T, S, U c (T{S)~(T{U)XX T, T, U, S c (T{U)~(T{S)XX T, T, W, R c (T~T{W)~RXX T, T, W, W c (T{W)~W|TXX T, T, X, P c (T{T{P)~XXX T, T, X, X c (T{T)~X{XXX T, U, O, X c (T{U{O)~XXX T, U, P, W c (T{U)~(P{W)XX T, U, P, X c (T{U)~(P~X)XX T, U, Q, V c (T{U)~(Q{V)XX T, U, R, R c (T{U)~(R~R)XX T, U, R, U c (T{U)~(R{U)XX T, U, R, V c T~R~V|UXX T, U, R, X c T~U~R{XXX T, U, S, T c (T{U)~(S{T)XX T, U, T, S c (T{U)~(T{S)XX T, U, U, R c (T{U)~(U{R)XX T, U, V, Q c (T{U)~(V{Q)XX T, U, V, R c T~V~R|UXX T, U, V, W c (U{V)~W|TXX T, U, W, P c (T{U)~(W{P)XX T, U, W, V c (U{V)~W|TXX T, U, X, O c (T{U)~(X{O)XX T, U, X, P c (T{U)~(X~P)XX T, U, X, R c T~U~R{XXX T, U, X, X c T~X{U~XXX T, V, P, X c (T{V|P)~XXX T, V, Q, R c (T~V|Q)~RXX T, V, Q, U c (T{U)~(V{Q)XX T, V, R, Q c (T~V|Q)~RXX T, V, R, S c (T{V~S)~RXX T, V, R, U c T~V~R|UXX T, V, R, W c (T{V)~W{RXX T, V, S, R c (T{V~S)~RXX T, V, S, S c (T{S)~(V{S)XX T, V, U, Q c (T{U)~(V{Q)XX T, V, U, R c T~V~R|UXX T, V, U, W c (V{U)~W|TXX T, V, W, R c (T{V)~W{RXX T, V, W, U c (V{U)~W|TXX T, V, W, W c T~V{W~WXX T, V, X, P c (T{V|P)~XXX T, V, X, X c (T{V)~X|XXX T, W, P, U c (T{U)~(W{P)XX T, W, Q, X c (T{W|Q)~XXX T, W, R, S c (T{S)~(W{R)XX T, W, R, T c (T~T{W)~RXX T, W, R, V c (T~W|V)~RXX T, W, S, R c (T{S)~(W{R)XX T, W, S, X c W~(S{X)|TXX T, W, T, R c (T~T{W)~RXX T, W, T, W c (T{W)~W|TXX T, W, U, P c (T{U)~(W{P)XX T, W, U, V c W~(U{V)|TXX T, W, V, R c (T~W|V)~RXX T, W, V, U c W~(V{U)|TXX T, W, V, W c (T{W)~V{WXX T, W, W, T c (T{W)~W|TXX T, W, W, V c (T{W)~V{WXX T, W, W, X c (W|T{W)~XXX T, W, X, Q c (T{W|Q)~XXX T, W, X, S c W~(X{S)|TXX T, W, X, W c (W|T{W)~XXX T, X, O, U c (T{O{U)~XXX T, X, P, Q c (T~Q{P)~XXX T, X, P, T c (T{P{T)~XXX T, X, P, U c (T{P~U)~XXX T, X, P, V c (T{X)~V{PXX T, X, Q, P c (T~Q{P)~XXX T, X, Q, R c (T{Q~R)~XXX T, X, Q, S c (T{Q{S)~XXX T, X, Q, W c (T|Q{W)~XXX T, X, Q, X c T~X~Q{XXX T, X, R, Q c (T{R~Q)~XXX T, X, R, R c (T{R{R)~XXX T, X, R, S c (T~R|S)~XXX T, X, R, U c T~R~U{XXX T, X, R, X c (T{X|R)~XXX T, X, S, Q c (T{S)~(X{Q)XX T, X, S, R c (T~R|S)~XXX T, X, S, S c X~(S~S|T)XX T, X, S, W c (X{S)~W|TXX T, X, S, X c (T~S|X)~XXX T, X, T, P c (T{T{P)~XXX T, X, T, X c (T{T)~X{XXX T, X, U, O c (T{U)~(X{O)XX T, X, U, P c (T{U)~(X~P)XX T, X, U, R c T~U~R{XXX T, X, U, X c T~X{U~XXX T, X, V, P c (T{X)~V{PXX T, X, V, X c (T{V)~X|XXX T, X, W, Q c (T{W|Q)~XXX T, X, W, S c (X{S)~W|TXX T, X, W, W c X~(W|T{W)XX T, X, X, Q c T~X~Q{XXX T, X, X, R c (T{X|R)~XXX T, X, X, S c (T~S|X)~XXX T, X, X, T c (T{T)~X{XXX T, X, X, U c T~X{X~UXX T, X, X, V c (T{V)~X|XXX T, X, X, X c T~(X{X){XXX U, O, T, X c (U{O{T)~XXX U, O, X, T c (U{O{T)~XXX U, P, Q, X c (U~Q|P)~XXX U, P, S, X c (U{P{S)~XXX U, P, T, W c (U{T)~(P{W)XX U, P, T, X c (U{P~T)~XXX U, P, U, X c (U|P{U)~XXX U, P, V, W c (U{W)~V{PXX U, P, W, T c (U{T)~(P{W)XX U, P, W, V c (U{W)~V{PXX U, P, X, Q c (U~Q|P)~XXX U, P, X, S c (U{P{S)~XXX U, P, X, T c (U{P~T)~XXX U, P, X, U c (U|P{U)~XXX U, Q, P, X c (U~Q|P)~XXX U, Q, R, W c U~Q~W{RXX U, Q, R, X c (U{Q{R)~XXX U, Q, T, V c (U{T)~(Q{V)XX U, Q, V, T c (U{T)~(Q{V)XX U, Q, V, X c (U|Q{V)~XXX U, Q, W, R c U~Q~W{RXX U, Q, W, X c (UQ{W)~XXX U, Q, X, P c (U~Q|P)~XXX U, Q, X, R c (U{Q{R)~XXX U, Q, X, V c (U|Q{V)~XXX U, Q, X, W c (UQ{W)~XXX U, Q, X, X c U~Q~X|XXX U, R, Q, W c U~Q~W{RXX U, R, Q, X c (U{R{Q)~XXX U, R, R, T c (U{T)~(R~R)XX U, R, R, U c (U~U|R)~RXX U, R, R, W c (U{R)~(R{W)XX U, R, R, X c (U{R~X)~RXX U, R, S, S c U~S~S{RXX U, R, S, V c (U{R)~(S{V)XX U, R, S, X c (U~S{X)~RXX U, R, T, R c (U{T)~(R~R)XX U, R, T, U c (U{R)~(T{U)XX U, R, T, V c R~T~V|UXX U, R, T, X c U~R~T{XXX U, R, U, R c (U~U|R)~RXX U, R, U, T c (U{R)~(U{T)XX U, R, U, W c (U{U)~W{RXX U, R, U, X c U~R~U|XXX U, R, V, S c (U{R)~(V{S)XX U, R, V, T c R~V~T|UXX U, R, V, X c (U~R|V)~XXX U, R, W, Q c U~W~Q{RXX U, R, W, R c (U{R)~(W{R)XX U, R, W, U c (U{U)~W{RXX U, R, W, W c U~(W{W){RXX U, R, W, X c (U|R{W)~XXX U, R, X, Q c (U{R)~(X{Q)XX U, R, X, R c (U{R~X)~RXX U, R, X, S c (U~S{X)~RXX U, R, X, T c U~R~T{XXX U, R, X, U c U~R~U|XXX U, R, X, V c (U~R|V)~XXX U, R, X, W c (U|R{W)~XXX U, R, X, X c U~R{X~XXX U, S, P, X c (U{S{P)~XXX U, S, R, S c U~S~S{RXX U, S, R, V c (U{R)~(S{V)XX U, S, R, X c (U~S{X)~RXX U, S, S, R c U~S~S{RXX U, S, T, T c (U{T)~(S{T)XX U, S, V, R c (U{R)~(S{V)XX U, S, X, P c (U{S{P)~XXX U, S, X, R c (U~S{X)~RXX U, S, X, X c (U{S)~X{XXX U, T, O, X c (U{T{O)~XXX U, T, P, W c (U{T)~(P{W)XX U, T, P, X c (U{T)~(P~X)XX U, T, Q, V c (U{T)~(Q{V)XX U, T, R, R c (U{T)~(R~R)XX U, T, R, U c (U{T)~(R{U)XX U, T, R, V c T~R~V|UXX U, T, R, X c U~T~R{XXX U, T, S, T c (U{T)~(S{T)XX U, T, T, S c (U{T)~(T{S)XX U, T, U, R c (U{T)~(U{R)XX U, T, V, Q c (U{T)~(V{Q)XX U, T, V, R c T~V~R|UXX U, T, V, W c (U{V)~W|TXX U, T, W, P c (U{T)~(W{P)XX U, T, W, V c (U{V)~W|TXX U, T, X, O c (U{T)~(X{O)XX U, T, X, P c (U{T)~(X~P)XX U, T, X, R c U~T~R{XXX U, T, X, X c U~X{T~XXX U, U, P, X c (U{U|P)~XXX U, U, R, R c (U~U|R)~RXX U, U, R, T c (U{R)~(U{T)XX U, U, R, W c (U{U)~W{RXX U, U, R, X c U~U~R|XXX U, U, T, R c (U{T)~(U{R)XX U, U, V, X c U~U{V~XXX U, U, W, R c (U{U)~W{RXX U, U, X, P c (U{U|P)~XXX U, U, X, R c U~U~R|XXX U, U, X, V c U~U{X~VXX U, U, X, X c (U{U)~X|XXX U, V, P, W c (U{W)~V{PXX U, V, Q, T c (U{T)~(V{Q)XX U, V, Q, X c (U{V|Q)~XXX U, V, R, S c (U{R)~(V{S)XX U, V, R, T c V~R~T|UXX U, V, R, X c U~(V{X){RXX U, V, S, R c (U{R)~(V{S)XX U, V, T, Q c (U{T)~(V{Q)XX U, V, T, R c V~T~R|UXX U, V, T, W c (U{V)~W|TXX U, V, U, X c U~U{V~XXX U, V, V, W c (U{V)~V{WXX U, V, W, P c (U{W)~V{PXX U, V, W, T c (U{V)~W|TXX U, V, W, V c (U{V)~V{WXX U, V, W, X c U~(V{W){XXX U, V, X, Q c (U{V|Q)~XXX U, V, X, R c U~(V{X){RXX U, V, X, U c (U{X)~V|UXX U, V, X, W c U~(V{W){XXX U, W, P, T c (U{T)~(W{P)XX U, W, P, V c (U{W)~V{PXX U, W, Q, R c U~W~Q{RXX U, W, Q, X c (UQ{W)~XXX U, W, R, Q c U~W~Q{RXX U, W, R, R c (U{R)~(W{R)XX U, W, R, U c (U{U)~W{RXX U, W, R, W c U~(W{W){RXX U, W, R, X c (U{W|R)~XXX U, W, T, P c (U{T)~(W{P)XX U, W, T, V c (U{V)~W|TXX U, W, U, R c (U{U)~W{RXX U, W, V, P c (U{W)~V{PXX U, W, V, T c (U{V)~W|TXX U, W, V, V c (U{V)~V{WXX U, W, V, X c U~(W{V){XXX U, W, W, R c U~(W{W){RXX U, W, X, Q c (UQ{W)~XXX U, W, X, R c U~(W{X)|RXX U, W, X, V c U~(W{V){XXX U, W, X, X c (W|U{X)~XXX U, X, O, T c (U{O{T)~XXX U, X, P, Q c (U~Q|P)~XXX U, X, P, S c (U{P{S)~XXX U, X, P, T c (U{P~T)~XXX U, X, P, U c (U|P{U)~XXX U, X, Q, P c (U~Q|P)~XXX U, X, Q, R c (U{Q{R)~XXX U, X, Q, V c (U|Q{V)~XXX U, X, Q, W c (UQ{W)~XXX U, X, Q, X c U~X~Q|XXX U, X, R, Q c (U{R)~(X{Q)XX U, X, R, R c (U{X~R)~RXX U, X, R, S c (U~S{X)~RXX U, X, R, T c U~R~T{XXX U, X, R, U c U~R~U|XXX U, X, R, V c U~(X{V){RXX U, X, R, W c U~(X{W)|RXX U, X, R, X c U~R{X~XXX U, X, S, P c (U{S{P)~XXX U, X, S, R c (U~S{X)~RXX U, X, S, X c (U{X|S)~XXX U, X, T, O c (U{T)~(X{O)XX U, X, T, P c (U{T)~(X~P)XX U, X, T, R c U~T~R{XXX U, X, T, X c U~X{T~XXX U, X, U, P c (U{U|P)~XXX U, X, U, R c U~U~R|XXX U, X, U, V c (U{X)~V|UXX U, X, U, X c (U{X)~U{XXX U, X, V, Q c (U{V|Q)~XXX U, X, V, R c U~(X{V){RXX U, X, V, U c (U{X)~V|UXX U, X, V, W c U~(V{W){XXX U, X, W, Q c (UQ{W)~XXX U, X, W, R c U~(X{W)|RXX U, X, W, V c U~(W{V){XXX U, X, W, X c (X|U{W)~XXX U, X, X, Q c U~X~Q|XXX U, X, X, R c U~R{X~XXX U, X, X, S c (U{X|S)~XXX U, X, X, T c U~X{X~TXX U, X, X, U c (U{X)~U{XXX U, X, X, W c (X|U{W)~XXX U, X, X, X c U~(X{X)|XXX V, O, S, X c (V{O{S)~XXX V, O, X, S c (V{O{S)~XXX V, P, Q, V c V~Q~V{PXX V, P, R, X c (V{P{R)~XXX V, P, S, W c (V{S)~(P{W)XX V, P, S, X c (V{P~S)~XXX V, P, T, X c (V|P{T)~XXX V, P, U, W c V~(U{W){PXX V, P, V, Q c V~V~Q{PXX V, P, V, V c (V{V)~V{PXX V, P, W, S c (V{S)~(P{W)XX V, P, W, U c V~(W{U){PXX V, P, X, R c (V{P{R)~XXX V, P, X, S c (V{P~S)~XXX V, P, X, T c (V|P{T)~XXX V, Q, P, V c V~Q~V{PXX V, Q, Q, X c (V{Q{Q)~XXX V, Q, R, T c (V~T|Q)~RXX V, Q, R, W c (V{Q)~(R{W)XX V, Q, R, X c (V~Q|R)~XXX V, Q, S, V c (V{Q)~(S{V)XX V, Q, T, R c (V~T|Q)~RXX V, Q, T, U c (V{Q)~(T{U)XX V, Q, U, T c (V{Q)~(U{T)XX V, Q, U, X c (V|Q{U)~XXX V, Q, V, P c V~Q~V{PXX V, Q, V, S c (V{Q)~(V{S)XX V, Q, W, R c (V{Q)~(W{R)XX V, Q, W, X c (V{WQ)~XXX V, Q, X, Q c (V{Q)~(X{Q)XX V, Q, X, R c (V~Q|R)~XXX V, Q, X, U c (V|Q{U)~XXX V, Q, X, W c (V{WQ)~XXX V, Q, X, X c (Q~X|V)~XXX V, R, P, X c (V{R{P)~XXX V, R, Q, T c (V~T|Q)~RXX V, R, Q, W c (V{Q)~(R{W)XX V, R, Q, X c (V~Q|R)~XXX V, R, R, S c (V{S)~(R~R)XX V, R, S, R c (V{S)~(R~R)XX V, R, S, T c (V~S{T)~RXX V, R, S, U c (V{S)~(R{U)XX V, R, T, Q c (V~T|Q)~RXX V, R, T, S c (V~S{T)~RXX V, R, T, U c V~R~T|UXX V, R, T, W c (V{T)~W{RXX V, R, U, S c (V{S)~(R{U)XX V, R, U, T c V~R~T|UXX V, R, U, X c (V~U|X)~RXX V, R, V, X c (V|R{V)~XXX V, R, W, Q c (V{Q)~(R{W)XX V, R, W, T c (V{T)~W{RXX V, R, X, P c (V{R{P)~XXX V, R, X, Q c (V~Q|R)~XXX V, R, X, U c (V{X)~U{RXX V, R, X, V c (V|R{V)~XXX V, R, X, X c (V{R)~X{XXX V, S, O, X c (V{S{O)~XXX V, S, P, W c (V{S)~(P{W)XX V, S, P, X c (V{S)~(P~X)XX V, S, Q, V c (V{S)~(Q{V)XX V, S, R, R c (V{S)~(R~R)XX V, S, R, T c (V~S{T)~RXX V, S, R, U c (V{S)~(R{U)XX V, S, S, T c (V{S)~(S{T)XX V, S, T, R c (V~S{T)~RXX V, S, T, S c (V{S)~(T{S)XX V, S, U, R c (V{S)~(U{R)XX V, S, V, Q c (V{S)~(V{Q)XX V, S, W, P c (V{S)~(W{P)XX V, S, W, X c (V|S{W)~XXX V, S, X, O c (V{S)~(X{O)XX V, S, X, P c (V{S)~(X~P)XX V, S, X, W c V~(S{X){WXX V, S, X, X c V~X{S~XXX V, T, P, X c (V{T|P)~XXX V, T, Q, R c (V~T|Q)~RXX V, T, Q, U c (V{Q)~(T{U)XX V, T, R, Q c (V~T|Q)~RXX V, T, R, S c (V~S{T)~RXX V, T, R, U c V~T~R|UXX V, T, R, W c (V{T)~W{RXX V, T, S, R c (V~S{T)~RXX V, T, S, S c (V{S)~(T{S)XX V, T, U, Q c (V{Q)~(T{U)XX V, T, U, R c V~T~R|UXX V, T, U, W c (V{U)~W|TXX V, T, W, R c (V{T)~W{RXX V, T, W, U c (V{U)~W|TXX V, T, W, W c V~(T{W){WXX V, T, X, P c V~(T{X){PXX V, T, X, X c (V{T)~X|XXX V, U, P, W c V~(U{W){PXX V, U, Q, T c (V{Q)~(U{T)XX V, U, Q, X c (V{U|Q)~XXX V, U, R, S c (V{S)~(U{R)XX V, U, R, T c V~R~T|UXX V, U, R, X c (V~U|X)~RXX V, U, S, R c (V{S)~(U{R)XX V, U, T, Q c (V{Q)~(U{T)XX V, U, T, R c V~T~R|UXX V, U, T, W c (V{U)~W|TXX V, U, U, X c V~(U{X)|UXX V, U, V, W c (V{U)~V{WXX V, U, W, P c V~(U{W){PXX V, U, W, T c (V{U)~W|TXX V, U, W, V c (V{U)~V{WXX V, U, W, X c (V{W)~U{XXX V, U, X, Q c (V{U|Q)~XXX V, U, X, R c (V~U|X)~RXX V, U, X, U c V~(U{X)|UXX V, U, X, W c (V{W)~U{XXX V, V, P, Q c V~V~Q{PXX V, V, P, V c (V{V)~V{PXX V, V, Q, P c V~V~Q{PXX V, V, Q, S c (V{Q)~(V{S)XX V, V, R, X c (V{V|R)~XXX V, V, S, Q c (V{S)~(V{Q)XX V, V, U, W c V~(V{U){WXX V, V, V, P c (V{V)~V{PXX V, V, W, U c V~(V{W)|UXX V, V, X, R c (V{V|R)~XXX V, W, P, S c (V{S)~(W{P)XX V, W, P, U c V~(W{U){PXX V, W, Q, R c (V{Q)~(W{R)XX V, W, Q, X c (V{WQ)~XXX V, W, R, Q c (V{Q)~(W{R)XX V, W, R, T c (V{T)~W{RXX V, W, S, P c (V{S)~(W{P)XX V, W, S, X c (V{W|S)~XXX V, W, T, R c (V{T)~W{RXX V, W, T, U c (V{U)~W|TXX V, W, T, W c V~(W{T){WXX V, W, U, P c V~(W{U){PXX V, W, U, T c (V{U)~W|TXX V, W, U, V c (V{W)~V|UXX V, W, U, X c (V{W)~U{XXX V, W, V, U c (V{W)~V|UXX V, W, W, T c V~(W{T){WXX V, W, X, Q c (V{WQ)~XXX V, W, X, S c (V{W|S)~XXX V, W, X, U c (V{W)~U{XXX V, X, O, S c (V{O{S)~XXX V, X, P, R c (V{P{R)~XXX V, X, P, S c (V{P~S)~XXX V, X, P, T c V~(X{T){PXX V, X, Q, Q c (V{Q)~(X{Q)XX V, X, Q, R c (V~Q|R)~XXX V, X, Q, U c (V|Q{U)~XXX V, X, Q, W c (V{WQ)~XXX V, X, Q, X c (X~Q|V)~XXX V, X, R, P c (V{R{P)~XXX V, X, R, Q c (V~Q|R)~XXX V, X, R, U c (V{X)~U{RXX V, X, R, V c (V|R{V)~XXX V, X, R, X c (V{R)~X{XXX V, X, S, O c (V{S)~(X{O)XX V, X, S, P c (V{S)~(X~P)XX V, X, S, W c V~(X{S){WXX V, X, S, X c V~X{S~XXX V, X, T, P c V~(X{T){PXX V, X, T, X c (V{X|T)~XXX V, X, U, Q c (V{U|Q)~XXX V, X, U, R c (V{X)~U{RXX V, X, U, U c V~(X{U)|UXX V, X, U, W c (V{W)~U{XXX V, X, V, R c (V{V|R)~XXX V, X, W, Q c (V{WQ)~XXX V, X, W, S c V~(X{S){WXX V, X, W, U c (V{W)~U{XXX V, X, X, Q c X~(X~Q|V)XX V, X, X, R c (V{R)~X{XXX V, X, X, S c V~X{X~SXX V, X, X, T c (V{X|T)~XXX V, X, X, X c (X|V{X)~XXX W, O, R, X c (W{O{R)~XXX W, O, X, R c (W{O{R)~XXX W, P, Q, X c (W{P{Q)~XXX W, P, R, S c (W~S{P)~RXX W, P, R, W c (W{P)~(R{W)XX W, P, R, X c (W{P~R)~XXX W, P, S, R c (W~S{P)~RXX W, P, S, V c (W{P)~(S{V)XX W, P, S, X c (W|P{S)~XXX W, P, T, U c (W{P)~(T{U)XX W, P, U, T c (W{P)~(U{T)XX W, P, U, V c (W{U)~V{PXX W, P, V, S c (W{P)~(V{S)XX W, P, V, U c (W{U)~V{PXX W, P, W, R c (W{P)~(W{R)XX W, P, X, Q c (W{P)~(X{Q)XX W, P, X, R c (W{P~R)~XXX W, P, X, S c (W|P{S)~XXX W, Q, P, X c (W{Q{P)~XXX W, Q, R, U c W~Q~U{RXX W, Q, R, V c (W{R)~(Q{V)XX W, Q, T, X c (W|Q{T)~XXX W, Q, U, R c W~Q~U{RXX W, Q, U, X c (W{UQ)~XXX W, Q, V, R c (W{R)~(Q{V)XX W, Q, V, X c (WQ{V)~XXX W, Q, X, P c (W{Q{P)~XXX W, Q, X, T c (W|Q{T)~XXX W, Q, X, U c (W{UQ)~XXX W, Q, X, V c (WQ{V)~XXX W, Q, X, X c (W{Q)~X{XXX W, R, O, X c (W{R{O)~XXX W, R, P, S c (W~S{P)~RXX W, R, P, W c (W{R)~(P{W)XX W, R, P, X c (W{R)~(P~X)XX W, R, Q, U c W~Q~U{RXX W, R, Q, V c (W{R)~(Q{V)XX W, R, R, R c (W{R)~(R~R)XX W, R, R, S c W~R~S{RXX W, R, R, U c (W{R)~(R{U)XX W, R, R, X c W~(R{X){RXX W, R, S, P c (W~S{P)~RXX W, R, S, R c W~R~S{RXX W, R, S, T c (W{R)~(S{T)XX W, R, S, W c (W{S)~W{RXX W, R, T, S c (W{R)~(T{S)XX W, R, T, T c (W{T~T)~RXX W, R, T, V c W~(T{V){RXX W, R, U, Q c W~U~Q{RXX W, R, U, R c (W{R)~(U{R)XX W, R, U, U c W~(U{U){RXX W, R, U, W c (W{W)~U{RXX W, R, U, X c (W|R{U)~XXX W, R, V, Q c (W{R)~(V{Q)XX W, R, V, T c W~(V{T){RXX W, R, W, P c (W{R)~(W{P)XX W, R, W, S c W~(W{S){RXX W, R, W, U c (W{W)~U{RXX W, R, X, O c (W{R)~(X{O)XX W, R, X, P c (W{R)~(X~P)XX W, R, X, R c W~(R{X){RXX W, R, X, U c (W|R{U)~XXX W, R, X, X c (W{XR)~XXX W, S, P, R c (W~S{P)~RXX W, S, P, V c (W{P)~(S{V)XX W, S, P, X c (W{S|P)~XXX W, S, R, P c (W~S{P)~RXX W, S, R, R c W~S~R{RXX W, S, R, T c (W{R)~(S{T)XX W, S, R, W c (W{S)~W{RXX W, S, T, R c (W{R)~(S{T)XX W, S, T, X c W~(S{X)|TXX W, S, V, P c (W{P)~(S{V)XX W, S, V, X c (W|S{V)~XXX W, S, W, R c (W{S)~W{RXX W, S, X, P c (W{S|P)~XXX W, S, X, T c W~(S{X)|TXX W, S, X, V c W{(S{X)~VXX W, S, X, X c (W{S)~X|XXX W, T, P, U c (W{P)~(T{U)XX W, T, Q, X c (W{T|Q)~XXX W, T, R, S c (W{R)~(T{S)XX W, T, R, T c (W{T~T)~RXX W, T, R, V c W~(T{V){RXX W, T, S, R c (W{R)~(T{S)XX W, T, S, X c W~(S{X)|TXX W, T, T, R c (W{T~T)~RXX W, T, T, W c (W{T)~W|TXX W, T, U, P c (W{P)~(T{U)XX W, T, U, V c W~(U{V)|TXX W, T, V, R c W~(T{V){RXX W, T, V, U c W~(V{U)|TXX W, T, V, W c (W{T)~V{WXX W, T, W, T c (W{T)~W|TXX W, T, W, V c W{(T{W)~VXX W, T, W, X c (W|T{W)~XXX W, T, X, Q c (W{T|Q)~XXX W, T, X, S c W~(X{S)|TXX W, T, X, W c (W|T{W)~XXX W, U, P, T c (W{P)~(U{T)XX W, U, P, V c (W{U)~V{PXX W, U, Q, R c W~U~Q{RXX W, U, Q, X c (W{UQ)~XXX W, U, R, Q c W~U~Q{RXX W, U, R, R c (W{R)~(U{R)XX W, U, R, U c W~(U{U){RXX W, U, R, W c (W{W)~U{RXX W, U, R, X c (W{U|R)~XXX W, U, T, P c (W{P)~(U{T)XX W, U, T, V c W~(U{V)|TXX W, U, U, R c W~(U{U){RXX W, U, V, P c (W{U)~V{PXX W, U, V, T c W~(U{V)|TXX W, U, V, V c W{(U{V)~VXX W, U, V, X c (W{V)~U{XXX W, U, W, R c (W{W)~U{RXX W, U, X, Q c (W{UQ)~XXX W, U, X, R c (W{U|R)~XXX W, U, X, V c (W{V)~U{XXX W, U, X, X c (W|U{X)~XXX W, V, P, S c (W{P)~(V{S)XX W, V, P, U c (W{U)~V{PXX W, V, Q, R c (W{R)~(V{Q)XX W, V, Q, X c (WQ{V)~XXX W, V, R, Q c (W{R)~(V{Q)XX W, V, R, T c W~(V{T){RXX W, V, S, P c (W{P)~(V{S)XX W, V, S, X c (W{V|S)~XXX W, V, T, R c W~(V{T){RXX W, V, T, U c W~(V{U)|TXX W, V, T, W c W{V~(T{W)XX W, V, U, P c (W{U)~V{PXX W, V, U, T c W~(V{U)|TXX W, V, U, V c W{(V{U)~VXX W, V, U, X c (W{V)~U{XXX W, V, V, U c W{V~(V{U)XX W, V, W, T c W{V~(W{T)XX W, V, X, Q c (WQ{V)~XXX W, V, X, S c W{V~(X{S)XX W, V, X, U c (W{V)~U{XXX W, W, P, R c (W{P)~(W{R)XX W, W, R, P c (W{R)~(W{P)XX W, W, R, S c W~(W{S){RXX W, W, R, U c (W{W)~U{RXX W, W, S, R c W~(W{S){RXX W, W, T, T c W~(W{T)|TXX W, W, T, V c W{(W{T)~VXX W, W, T, X c (W{W|T)~XXX W, W, U, R c (W{W)~U{RXX W, W, V, T c W~W{V~TXX W, W, X, T c (W{W|T)~XXX W, X, O, R c (W{O{R)~XXX W, X, P, Q c (W{P)~(X{Q)XX W, X, P, R c (W{P~R)~XXX W, X, P, S c (W|P{S)~XXX W, X, Q, P c (W{Q{P)~XXX W, X, Q, T c (W|Q{T)~XXX W, X, Q, U c (W{UQ)~XXX W, X, Q, V c (WQ{V)~XXX W, X, Q, X c (W{Q)~X{XXX W, X, R, O c (W{R)~(X{O)XX W, X, R, P c (W{R)~(X~P)XX W, X, R, R c W~(X{R){RXX W, X, R, U c (W{X)~U|RXX W, X, R, X c (W{XR)~XXX W, X, S, P c (W{S|P)~XXX W, X, S, T c W~(X{S)|TXX W, X, S, V c W{(X{S)~VXX W, X, S, X c (W{S)~X|XXX W, X, T, Q c (W{T|Q)~XXX W, X, T, S c W~(X{S)|TXX W, X, T, W c (W|T{W)~XXX W, X, U, Q c (W{UQ)~XXX W, X, U, R c (W{X)~U|RXX W, X, U, V c (W{V)~U{XXX W, X, U, X c (W{X|U)~XXX W, X, V, Q c (WQ{V)~XXX W, X, V, S c W{(X{S)~VXX W, X, V, U c (W{V)~U{XXX W, X, W, T c (W{W|T)~XXX W, X, X, Q c (W{Q)~X{XXX W, X, X, R c W~X{X~RXX W, X, X, S c (W{S)~X|XXX W, X, X, U c (W{X|U)~XXX X, O, Q, X c (X{O{Q)~XXX X, O, R, W c (X{O)~(R{W)XX X, O, S, V c (X{O)~(S{V)XX X, O, T, U c (X{O)~(T{U)XX X, O, U, T c (X{O)~(U{T)XX X, O, V, S c (X{O)~(V{S)XX X, O, W, R c (X{O)~(W{R)XX X, O, X, Q c (X{O)~(X{Q)XX X, P, P, X c (X{P{P)~XXX X, P, Q, T c X~(P{Q~T)XX X, P, Q, U c X~(Q~U|P)XX X, P, Q, W c X~(P{Q{W)XX X, P, Q, X c (X{P~Q)~XXX X, P, R, S c X~(R~S|P)XX X, P, R, V c X~(P{R{V)XX X, P, R, W c (X~P)~(R{W)XX X, P, R, X c (X|P{R)~XXX X, P, S, R c X~(S~R|P)XX X, P, S, U c X~(P{S{U)XX X, P, S, V c (X~P)~(S{V)XX X, P, S, W c X~(S|P{W)XX X, P, T, Q c X~(P{T~Q)XX X, P, T, T c X~(P{T{T)XX X, P, T, U c (X~P)~(T{U)XX X, P, T, V c X~(T|P{V)XX X, P, U, Q c X~(U~Q|P)XX X, P, U, S c X~(P{U{S)XX X, P, U, T c (X~P)~(U{T)XX X, P, U, U c X~(U|P{U)XX X, P, V, R c X~(P{V{R)XX X, P, V, S c (X~P)~(V{S)XX X, P, V, T c X~(V|P{T)XX X, P, W, Q c X~(P{W{Q)XX X, P, W, R c (X~P)~(W{R)XX X, P, W, S c X~(W|P{S)XX X, P, X, P c X~(P{X{P)XX X, P, X, Q c (X~P)~(X{Q)XX X, P, X, R c (X|P{R)~XXX X, P, X, X c X{(P{X)~XXX X, Q, O, X c (X{Q{O)~XXX X, Q, P, T c X~(Q~T{P)XX X, Q, P, U c X~(Q~U|P)XX X, Q, P, W c (X{Q)~(P{W)XX X, Q, P, X c (X{Q)~(P~X)XX X, Q, Q, V c (X{Q)~(Q{V)XX X, Q, R, R c (X{Q)~(R~R)XX X, Q, R, S c X~(Q~S{R)XX X, Q, R, T c X~(Q~R{T)XX X, Q, R, U c (X{Q)~(R{U)XX X, Q, R, V c X~(Q~V|R)XX X, Q, S, R c X~(Q~S{R)XX X, Q, S, T c (X{Q)~(S{T)XX X, Q, S, X c (X|Q{S)~XXX X, Q, T, P c X~(Q~T{P)XX X, Q, T, R c X~(Q~R{T)XX X, Q, T, S c (X{Q)~(T{S)XX X, Q, T, W c X~(Q~W|T)XX X, Q, T, X c X{Q~T~XXX X, Q, U, P c X~(Q~U|P)XX X, Q, U, R c (X{Q)~(U{R)XX X, Q, U, V c X~(U|Q{V)XX X, Q, U, W c X~(UQ{W)XX X, Q, U, X c X~Q~U|XXX X, Q, V, Q c (X{Q)~(V{Q)XX X, Q, V, R c X~(Q~V|R)XX X, Q, V, U c X~(V|Q{U)XX X, Q, V, W c X~(V{WQ)XX X, Q, V, X c (X~Q|V)~XXX X, Q, W, P c (X{Q)~(W{P)XX X, Q, W, T c X~(Q~W|T)XX X, Q, W, U c X~(W{UQ)XX X, Q, W, V c X~(WQ{V)XX X, Q, W, X c X{(Q{W)~XXX X, Q, X, O c (X{Q)~(X{O)XX X, Q, X, P c (X{Q)~(X~P)XX X, Q, X, S c (X|Q{S)~XXX X, Q, X, T c X{Q~X~TXX X, Q, X, U c X~Q~U|XXX X, Q, X, V c X~(Q~X|V)XX X, Q, X, W c X{(Q{W)~XXX X, Q, X, X c X~Q{X~XXX X, R, O, W c X~(R{O{W)XX X, R, P, S c X~(R~S|P)XX X, R, P, V c X~(R{P{V)XX X, R, P, W c X~(R{P~W)XX X, R, P, X c (X{R|P)~XXX X, R, Q, R c X~(R~R{Q)XX X, R, Q, S c X~(R{Q~S)XX X, R, Q, T c X~(R~Q{T)XX X, R, Q, U c X~(R{Q{U)XX X, R, Q, V c X~(Q~V|R)XX X, R, R, Q c X~(R~R{Q)XX X, R, R, S c (X~S|R)~RXX X, R, R, T c X~(R{R{T)XX X, R, R, U c (X~R{U)~RXX X, R, R, W c (X{R)~W{RXX X, R, S, P c X~(R~S|P)XX X, R, S, Q c X~(R{S~Q)XX X, R, S, R c (X~S|R)~RXX X, R, S, S c X~(R{S{S)XX X, R, S, T c X~(R~T|S)XX X, R, S, U c (X{S~U)~RXX X, R, S, X c X~R~S|XXX X, R, T, Q c X~(R~Q{T)XX X, R, T, R c X~(R{T{R)XX X, R, T, S c X~(R~T|S)XX X, R, T, U c X{R~T~UXX X, R, T, X c (X|R{T)~XXX X, R, U, Q c X~(R{U{Q)XX X, R, U, R c (X~R{U)~RXX X, R, U, S c (X{U~S)~RXX X, R, U, T c X{R~U~TXX X, R, U, U c R~U~U|XXX X, R, U, V c X~(R~U|V)XX X, R, U, W c X~(U|R{W)XX X, R, U, X c (X{UR)~XXX X, R, V, P c X~(R{V{P)XX X, R, V, Q c X~(V~Q|R)XX X, R, V, U c X~(R~U|V)XX X, R, V, V c X~(V|R{V)XX X, R, V, X c X{(R{V)~XXX X, R, W, O c X~(R{W){OXX X, R, W, P c X~(R{W)~PXX X, R, W, R c (X{R)~W{RXX X, R, W, U c X~(W|R{U)XX X, R, W, X c X~R{W~XXX X, R, X, P c X~(R{X|P)XX X, R, X, S c X~R~S|XXX X, R, X, T c (X|R{T)~XXX X, R, X, U c X~X{R~UXX X, R, X, V c X{(R{V)~XXX X, R, X, W c X~R{X~WXX X, R, X, X c (X{R)~X|XXX X, S, O, V c X~(S{O{V)XX X, S, P, R c X~(S~R|P)XX X, S, P, U c X~(S{P{U)XX X, S, P, V c X~(S{P~V)XX X, S, P, W c X~(S|P{W)XX X, S, Q, R c X~(S~Q{R)XX X, S, Q, T c X~(S{Q{T)XX X, S, Q, X c (X{S|Q)~XXX X, S, R, P c X~(S~R|P)XX X, S, R, Q c X~(S~Q{R)XX X, S, R, R c (X~S|R)~RXX X, S, R, S c X~(S{R{S)XX X, S, R, T c X~(R~T|S)XX X, S, R, U c (X{S~U)~RXX X, S, R, X c X~S~R|XXX X, S, S, R c X~(S{S{R)XX X, S, S, T c X~(S~S|T)XX X, S, T, Q c X~(S{T{Q)XX X, S, T, R c X~(T~R|S)XX X, S, T, S c X~(S~S|T)XX X, S, T, W c (X{S)~W|TXX X, S, T, X c X~(S~T|X)XX X, S, U, P c X~(S{U{P)XX X, S, U, R c (X{S~U)~RXX X, S, U, X c X{(S{U)~XXX X, S, V, O c X~(S{V){OXX X, S, V, P c X~(S{V)~PXX X, S, V, W c (X{S)~V{WXX X, S, V, X c X~S{V~XXX X, S, W, P c X~(S{W|P)XX X, S, W, T c (X{S)~W|TXX X, S, W, V c (X{S)~V{WXX X, S, W, X c X~(S{W)|XXX X, S, X, Q c X~(S{X|Q)XX X, S, X, R c X~S~R|XXX X, S, X, T c X~(S~T|X)XX X, S, X, U c X{(S{U)~XXX X, S, X, V c X~S{X~VXX X, S, X, W c X~(S{W)|XXX X, T, O, U c X~(T{O{U)XX X, T, P, Q c X~(T~Q{P)XX X, T, P, T c X~(T{P{T)XX X, T, P, U c X~(T{P~U)XX X, T, P, V c X~(T|P{V)XX X, T, Q, P c X~(T~Q{P)XX X, T, Q, R c X~(T{Q~R)XX X, T, Q, S c X~(T{Q{S)XX X, T, Q, W c X~(T|Q{W)XX X, T, Q, X c X{T~Q~XXX X, T, R, Q c X~(T{R~Q)XX X, T, R, R c X~(T{R{R)XX X, T, R, S c X~(T~R|S)XX X, T, R, U c X{T~R~UXX X, T, R, X c (X{T|R)~XXX X, T, S, Q c X~(T{S{Q)XX X, T, S, R c X~(T~R|S)XX X, T, S, S c X~(S~S|T)XX X, T, S, W c (X{S)~W|TXX X, T, S, X c X~(T~S|X)XX X, T, T, P c X~(T{T{P)XX X, T, T, X c X{(T{T)~XXX X, T, U, O c X~(T{U){OXX X, T, U, P c X~(T{U)~PXX X, T, U, R c X{T~U~RXX X, T, U, X c X~T{U~XXX X, T, V, P c (X{T)~V{PXX X, T, V, X c (X|T{V)~XXX X, T, W, Q c X~(T{W|Q)XX X, T, W, S c (X{S)~W|TXX X, T, W, W c X~(W|T{W)XX X, T, X, Q c X{T~X~QXX X, T, X, R c X~(T{X|R)XX X, T, X, S c X~(T~S|X)XX X, T, X, T c X{(T{T)~XXX X, T, X, U c X~T{X~UXX X, T, X, V c (X|T{V)~XXX X, T, X, X c X{T~(X{X)XX X, U, O, T c X~(U{O{T)XX X, U, P, Q c X~(U~Q|P)XX X, U, P, S c X~(U{P{S)XX X, U, P, T c X~(U{P~T)XX X, U, P, U c X~(U|P{U)XX X, U, Q, P c X~(U~Q|P)XX X, U, Q, R c X~(U{Q{R)XX X, U, Q, V c X~(U|Q{V)XX X, U, Q, W c X~(UQ{W)XX X, U, Q, X c X~U~Q|XXX X, U, R, Q c X~(U{R{Q)XX X, U, R, R c (X~R{U)~RXX X, U, R, S c (X{U~S)~RXX X, U, R, T c X{U~R~TXX X, U, R, U c U~R~U|XXX X, U, R, V c X~(U~R|V)XX X, U, R, W c X~(U|R{W)XX X, U, R, X c (X{UR)~XXX X, U, S, P c X~(U{S{P)XX X, U, S, R c (X{U~S)~RXX X, U, S, X c X{(U{S)~XXX X, U, T, O c X~(U{T){OXX X, U, T, P c X~(U{T)~PXX X, U, T, R c X{U~T~RXX X, U, T, X c X~U{T~XXX X, U, U, P c X~(U{U|P)XX X, U, U, R c U~U~R|XXX X, U, U, V c (X{U)~V|UXX X, U, U, X c (X{U)~U{XXX X, U, V, Q c X~(U{V|Q)XX X, U, V, R c X~(U~R|V)XX X, U, V, U c (X{U)~V|UXX X, U, V, W c X{U~(V{W)XX X, U, W, Q c X~(UQ{W)XX X, U, W, R c X~(U{W|R)XX X, U, W, V c X{U~(W{V)XX X, U, W, X c (X|U{W)~XXX X, U, X, Q c X~U~Q|XXX X, U, X, R c (X{UR)~XXX X, U, X, S c X~(U{X|S)XX X, U, X, T c X~U{X~TXX X, U, X, U c X{(U{X)~UXX X, U, X, W c (X|U{W)~XXX X, U, X, X c (X{X)~U|XXX X, V, O, S c X~(V{O{S)XX X, V, P, R c X~(V{P{R)XX X, V, P, S c X~(V{P~S)XX X, V, P, T c X~(V|P{T)XX X, V, Q, Q c X~(V{Q{Q)XX X, V, Q, R c X~(V~Q|R)XX X, V, Q, U c X~(V|Q{U)XX X, V, Q, W c X~(V{WQ)XX X, V, Q, X c (X~Q|V)~XXX X, V, R, P c X~(V{R{P)XX X, V, R, Q c X~(V~Q|R)XX X, V, R, U c (X{V)~U{RXX X, V, R, V c X~(V|R{V)XX X, V, R, X c X{(V{R)~XXX X, V, S, O c X~(V{S){OXX X, V, S, P c X~(V{S)~PXX X, V, S, W c X~(V|S{W)XX X, V, S, X c X~V{S~XXX X, V, T, P c X~(V{T|P)XX X, V, T, X c (X{V|T)~XXX X, V, U, Q c X~(V{U|Q)XX X, V, U, R c (X{V)~U{RXX X, V, U, U c X~V{U~UXX X, V, U, W c X{(V{W)~UXX X, V, V, R c X~(V{V|R)XX X, V, W, Q c X~(V{WQ)XX X, V, W, S c X~(V{W|S)XX X, V, W, U c X{(V{W)~UXX X, V, X, Q c X~(X~Q|V)XX X, V, X, R c X{(V{R)~XXX X, V, X, S c X~V{X~SXX X, V, X, T c X~(V{X|T)XX X, V, X, X c (X|V{X)~XXX X, W, O, R c X~(W{O{R)XX X, W, P, Q c X~(W{P{Q)XX X, W, P, R c X~(W{P~R)XX X, W, P, S c X~(W|P{S)XX X, W, Q, P c X~(W{Q{P)XX X, W, Q, T c X~(W|Q{T)XX X, W, Q, U c X~(W{UQ)XX X, W, Q, V c X~(WQ{V)XX X, W, Q, X c X{(W{Q)~XXX X, W, R, O c X~(W{R){OXX X, W, R, P c X~(W{R)~PXX X, W, R, R c (X{W~R)~RXX X, W, R, U c X~(W|R{U)XX X, W, R, X c X~W{R~XXX X, W, S, P c X~(W{S|P)XX X, W, S, T c (X{S)~W|TXX X, W, S, V c X~(W|S{V)XX X, W, S, X c (X{WS)~XXX X, W, T, Q c X~(W{T|Q)XX X, W, T, S c (X{S)~W|TXX X, W, T, W c X~(W|T{W)XX X, W, U, Q c X~(W{UQ)XX X, W, U, R c (X{W)~U|RXX X, W, U, V c X{(W{V)~UXX X, W, U, X c (X{W|U)~XXX X, W, V, Q c X~(WQ{V)XX X, W, V, S c X~(W{V|S)XX X, W, V, U c X{(W{V)~UXX X, W, W, T c X~(W{W|T)XX X, W, X, Q c X{(W{Q)~XXX X, W, X, R c X~W{X~RXX X, W, X, S c (X{WS)~XXX X, W, X, U c X~(W{X|U)XX X, X, O, Q c X~(X{O{Q)XX X, X, P, P c X~(X{P{P)XX X, X, P, Q c X~(X{P~Q)XX X, X, P, R c X~(X|P{R)XX X, X, P, X c X{(X{P)~XXX X, X, Q, O c X~(X{Q){OXX X, X, Q, P c X~(X{Q)~PXX X, X, Q, S c X~(X|Q{S)XX X, X, Q, T c X{X~Q~TXX X, X, Q, U c X~Q~U|XXX X, X, Q, V c X~(X~Q|V)XX X, X, Q, W c X{X~(Q{W)XX X, X, Q, X c X~X{Q~XXX X, X, R, P c X~(X{R|P)XX X, X, R, S c X~R~S|XXX X, X, R, T c X~(X|R{T)XX X, X, R, U c X~X{R~UXX X, X, R, V c X{X~(R{V)XX X, X, R, W c X~(XR{W)XX X, X, R, X c X~(X{R)|XXX X, X, S, Q c X~(X{S|Q)XX X, X, S, R c X~S~R|XXX X, X, S, T c X~(S~T|X)XX X, X, S, U c X{X~(S{U)XX X, X, S, V c X~S{X~VXX X, X, S, W c X~(X{WS)XX X, X, T, Q c X{X~T~QXX X, X, T, R c X~(X{T|R)XX X, X, T, S c X~(T~S|X)XX X, X, T, T c X{X~(T{T)XX X, X, T, U c X~T{X~UXX X, X, T, V c X~(X|T{V)XX X, X, T, X c (X{X)~T{XXX X, X, U, Q c X~U~Q|XXX X, X, U, R c X~X{U~RXX X, X, U, S c X{X~(U{S)XX X, X, U, T c X~U{X~TXX X, X, U, U c X{(X{U)~UXX X, X, U, W c X~(X|U{W)XX X, X, U, X c (X{X)~U|XXX X, X, V, Q c X~(X~Q|V)XX X, X, V, R c X{X~(V{R)XX X, X, V, S c X~V{X~SXX X, X, V, T c X~(X{V|T)XX X, X, V, X c (X{X|V)~XXX X, X, W, Q c X{X~(W{Q)XX X, X, W, R c X~(XR{W)XX X, X, W, S c X~(X{WS)XX X, X, W, U c X~(X{W|U)XX X, X, X, P c X{X~(X{P)XX X, X, X, Q c X~X{X~QXX X, X, X, R c X~(X{R)|XXX X, X, X, T c X{(X{X)~TXX X, X, X, U c (X{X)~U|XXX X, X, X, V c X~(X{X|V)XX X, X, X, X c X{X{X~XXX