O, Q, V, X c (O{Q{X)~VVV O, Q, X, V c (O{Q{X)~VVV O, R, V, W c (O{R{W)~VVV O, R, W, V c (O{R{W)~VVV O, S, V, V c (O{S{V)~VVV O, S, X, X c O{X~X|SVV O, T, U, V c (O{T{U)~VVV O, T, V, U c (O{T{U)~VVV O, T, W, X c O{T{W~XVV O, T, X, W c O{T{X~WVV O, U, T, V c (O{U{T)~VVV O, U, V, T c (O{U{T)~VVV O, V, Q, X c (O{V)~(Q{X)VV O, V, R, W c (O{V)~(R{W)VV O, V, S, V c (O{V{S)~VVV O, V, T, U c (O{V)~(T{U)VV O, V, U, T c (O{V)~(U{T)VV O, V, V, S c (O{V)~(V{S)VV O, V, W, R c (O{V)~(W{R)VV O, V, X, Q c (O{V)~(X{Q)VV O, W, R, V c (O{W{R)~VVV O, W, T, X c O{W~X{TVV O, W, V, R c (O{W{R)~VVV O, W, X, T c O{W~X{TVV O, X, Q, V c (O{X{Q)~VVV O, X, S, X c O{X~X|SVV O, X, T, W c O{X~W{TVV O, X, V, Q c (O{X{Q)~VVV O, X, W, T c O{X~W{TVV O, X, X, S c O{X~X|SVV P, P, V, X c (P{P{X)~VVV P, P, X, V c (P{P{X)~VVV P, Q, T, V c (P{Q~T)~VVV P, Q, U, V c (Q~U|P)~VVV P, Q, U, X c (P{U)~(Q{X)VV P, Q, V, T c (P{Q~T)~VVV P, Q, V, U c (Q~U|P)~VVV P, Q, V, W c (P{Q{W)~VVV P, Q, V, X c (P~Q{X)~VVV P, Q, W, V c (P{Q{W)~VVV P, Q, W, X c (Q{X)~(W|P)VV P, Q, X, U c (P{U)~(Q{X)VV P, Q, X, V c (P~Q{X)~VVV P, Q, X, W c (Q{X)~(W|P)VV P, R, S, V c (R~S|P)~VVV P, R, U, W c (P{U)~(R{W)VV P, R, V, S c (R~S|P)~VVV P, R, V, V c (P{R{V)~VVV P, R, V, W c (P~R{W)~VVV P, R, V, X c (R|P{X)~VVV P, R, W, U c (P{U)~(R{W)VV P, R, W, V c (P~R{W)~VVV P, R, W, W c (R{W)~(W|P)VV P, R, W, X c (P{X)~W|RVV P, R, X, V c (R|P{X)~VVV P, R, X, W c (P{X)~W|RVV P, R, X, X c (X~X)|(P{R)VV P, S, R, V c (S~R|P)~VVV P, S, U, V c (P{S{U)~VVV P, S, U, X c (S{X)~U|PVV P, S, V, R c (S~R|P)~VVV P, S, V, U c (P{S{U)~VVV P, S, V, V c (P~S{V)~VVV P, S, V, W c (S|P{W)~VVV P, S, W, V c (S|P{W)~VVV P, S, W, X c P{S{W~XVV P, S, X, U c (S{X)~U|PVV P, S, X, W c P{S{X~WVV P, S, X, X c P~X~X|SVV P, T, Q, V c (P{T~Q)~VVV P, T, T, V c (P{T{T)~VVV P, T, U, U c (P{U)~(T{U)VV P, T, U, V c (P~T{U)~VVV P, T, U, W c (T{U)~(W|P)VV P, T, V, Q c (P{T~Q)~VVV P, T, V, T c (P{T{T)~VVV P, T, V, U c (P~T{U)~VVV P, T, V, V c (T|P{V)~VVV P, T, V, X c (P{V)~X{TVV P, T, W, U c (T{W)~U|PVV P, T, W, W c (P{W)~W{TVV P, T, W, X c P~T{W~XVV P, T, X, V c (P{V)~X{TVV P, T, X, W c P~T{X~WVV P, T, X, X c P{X~X|TVV P, U, Q, V c (U~Q|P)~VVV P, U, Q, X c (P{U)~(Q{X)VV P, U, R, W c (P{U)~(R{W)VV P, U, S, V c (P{U{S)~VVV P, U, S, X c U~(S{X)|PVV P, U, T, U c (P{U)~(T{U)VV P, U, T, V c (P~U{T)~VVV P, U, T, W c (U{T)~(W|P)VV P, U, U, T c (P{U)~(U{T)VV P, U, U, V c (U|P{U)~VVV P, U, V, Q c (U~Q|P)~VVV P, U, V, S c (P{U)~(V{S)VV P, U, V, T c (P~U{T)~VVV P, U, V, U c (U|P{U)~VVV P, U, W, R c (P{U)~(W{R)VV P, U, W, T c U~(W{T)|PVV P, U, W, X c U|P{W~XVV P, U, X, Q c (P{U)~(X{Q)VV P, U, X, S c U~(X{S)|PVV P, U, X, W c U|P{X~WVV P, V, P, X c (P{P{X)~VVV P, V, Q, T c (P{Q~T)~VVV P, V, Q, U c V~(Q~U|P)VV P, V, Q, W c (P{Q{W)~VVV P, V, Q, X c (P~V)~(Q{X)VV P, V, R, S c V~(R~S|P)VV P, V, R, V c (P{V{R)~VVV P, V, R, W c (P~V)~(R{W)VV P, V, R, X c V~(R|P{X)VV P, V, S, R c V~(S~R|P)VV P, V, S, U c (P{S{U)~VVV P, V, S, V c (P~V{S)~VVV P, V, S, W c V~(S|P{W)VV P, V, T, Q c (P{T~Q)~VVV P, V, T, T c (P{T{T)~VVV P, V, T, U c (P~V)~(T{U)VV P, V, T, V c (V|P{T)~VVV P, V, T, X c (P{V)~X{TVV P, V, U, Q c V~(U~Q|P)VV P, V, U, S c (P{U)~(V{S)VV P, V, U, T c (P~V)~(U{T)VV P, V, U, U c V~(U|P{U)VV P, V, V, R c (P{V{R)~VVV P, V, V, S c (P~V)~(V{S)VV P, V, V, T c (V|P{T)~VVV P, V, V, X c (P{X)~V{VVV P, V, W, Q c (P{W{Q)~VVV P, V, W, R c (P~V)~(W{R)VV P, V, W, S c V~(W|P{S)VV P, V, X, P c (P{X{P)~VVV P, V, X, Q c (P~V)~(X{Q)VV P, V, X, R c V~(X|P{R)VV P, V, X, T c (P{V)~X{TVV P, V, X, V c (P{X)~V{VVV P, W, Q, V c (P{W{Q)~VVV P, W, Q, X c (W|P)~(Q{X)VV P, W, R, U c (P{U)~(W{R)VV P, W, R, V c (P~W{R)~VVV P, W, R, W c (W|P)~(R{W)VV P, W, R, X c (P{X)~W|RVV P, W, S, V c (W|P{S)~VVV P, W, S, X c P{W~X{SVV P, W, T, U c (W|P)~(T{U)VV P, W, T, W c (P{W)~W{TVV P, W, T, X c P~W~X{TVV P, W, U, R c (P{U)~(W{R)VV P, W, U, T c (W|P)~(U{T)VV P, W, U, X c W~X|P{UVV P, W, V, Q c (P{W{Q)~VVV P, W, V, R c (P~W{R)~VVV P, W, V, S c (W|P)~(V{S)VV P, W, W, R c (W|P)~(W{R)VV P, W, W, T c (P{W)~W{TVV P, W, X, Q c (W|P)~(X{Q)VV P, W, X, R c (P{X)~W|RVV P, W, X, S c P{W~X{SVV P, W, X, T c P~W~X{TVV P, W, X, U c W~X|P{UVV P, X, P, V c (P{X{P)~VVV P, X, Q, U c (P{U)~(X{Q)VV P, X, Q, V c (P~X{Q)~VVV P, X, Q, W c (X{Q)~(W|P)VV P, X, R, V c (X|P{R)~VVV P, X, R, W c (P{X)~W|RVV P, X, R, X c (X~X)|(P{R)VV P, X, S, U c (X{S)~U|PVV P, X, S, W c P{X~W{SVV P, X, S, X c P~X~X|SVV P, X, T, V c (P{V)~X{TVV P, X, T, W c P~X~W{TVV P, X, T, X c P{X~X|TVV P, X, U, Q c (P{U)~(X{Q)VV P, X, U, S c (X{S)~U|PVV P, X, U, W c X~W|P{UVV P, X, V, P c (P{X{P)~VVV P, X, V, Q c (P~X{Q)~VVV P, X, V, R c (X|P{R)~VVV P, X, V, T c (P{V)~X{TVV P, X, V, V c (P{X)~V{VVV P, X, W, Q c (X{Q)~(W|P)VV P, X, W, R c (P{X)~W|RVV P, X, W, S c P{X~W{SVV P, X, W, T c P~X~W{TVV P, X, W, U c X~W|P{UVV P, X, X, R c (X~X)|(P{R)VV P, X, X, S c P~X~X|SVV P, X, X, T c P{X~X|TVV Q, O, V, X c (Q{O{X)~VVV Q, O, X, V c (Q{O{X)~VVV Q, P, T, V c (Q~T{P)~VVV Q, P, U, V c (Q~U|P)~VVV Q, P, U, X c (Q{X)~(P{U)VV Q, P, V, T c (Q~T{P)~VVV Q, P, V, U c (Q~U|P)~VVV Q, P, V, W c (Q{P{W)~VVV Q, P, V, X c (Q{P~X)~VVV Q, P, W, V c (Q{P{W)~VVV Q, P, W, X c (Q{X)~(W|P)VV Q, P, X, U c (Q{X)~(P{U)VV Q, P, X, V c (Q{P~X)~VVV Q, P, X, W c (Q{X)~(W|P)VV Q, Q, T, X c (Q{T)~(Q{X)VV Q, Q, V, V c (Q{Q{V)~VVV Q, Q, X, T c (Q{X)~(Q{T)VV Q, Q, X, X c (Q{X)~(X|Q)VV Q, R, R, V c (Q{R~R)~VVV Q, R, S, V c (Q~S{R)~VVV Q, R, S, X c (Q{X)~(R{S)VV Q, R, T, T c Q{R~T~TVV Q, R, T, V c (Q~R{T)~VVV Q, R, T, W c (Q{T)~(R{W)VV Q, R, U, V c (Q{R{U)~VVV Q, R, V, R c (Q{R~R)~VVV Q, R, V, S c (Q~S{R)~VVV Q, R, V, T c (Q~R{T)~VVV Q, R, V, U c (Q{R{U)~VVV Q, R, V, V c (Q~V|R)~VVV Q, R, W, T c Q~W~T|RVV Q, R, W, W c (Q{W)~W|RVV Q, R, W, X c Q{R{W~XVV Q, R, X, S c (Q{X)~(R{S)VV Q, R, X, W c Q{R{X~WVV Q, S, R, V c (Q~S{R)~VVV Q, S, R, X c (Q{X)~(S{R)VV Q, S, T, V c (Q{S{T)~VVV Q, S, T, X c Q~S~X{TVV Q, S, V, R c (Q~S{R)~VVV Q, S, V, T c (Q{S{T)~VVV Q, S, V, X c (Q{V)~X|SVV Q, S, X, R c (Q{X)~(S{R)VV Q, S, X, T c Q~S~X{TVV Q, S, X, V c (Q{V)~X|SVV Q, T, P, V c (Q~T{P)~VVV Q, T, Q, X c (Q{T)~(Q{X)VV Q, T, R, T c Q{T~R~TVV Q, T, R, V c (Q~R{T)~VVV Q, T, R, W c (Q{T)~(R{W)VV Q, T, S, V c (Q{T{S)~VVV Q, T, S, X c Q~S~X{TVV Q, T, T, R c Q{T~T~RVV Q, T, T, U c (Q{T)~(T{U)VV Q, T, U, T c (Q{T)~(U{T)VV Q, T, U, U c Q~U~U{TVV Q, T, U, X c Q{T~(U{X)VV Q, T, V, P c (Q~T{P)~VVV Q, T, V, R c (Q~R{T)~VVV Q, T, V, S c (Q{T)~(V{S)VV Q, T, V, V c Q~T~V{VVV Q, T, V, W c Q{T~(V{W)VV Q, T, W, R c (Q{T)~(W{R)VV Q, T, W, V c Q{T~(W{V)VV Q, T, X, Q c (Q{T)~(X{Q)VV Q, T, X, S c Q~X~S{TVV Q, T, X, U c Q{T~(X{U)VV Q, U, P, V c (Q~U|P)~VVV Q, U, P, X c (Q{X)~(U{P)VV Q, U, R, V c (Q{U{R)~VVV Q, U, T, T c (Q{T)~(U{T)VV Q, U, T, U c Q~U~U{TVV Q, U, T, X c Q{(U{X)~TVV Q, U, U, T c Q~U~U{TVV Q, U, V, P c (Q~U|P)~VVV Q, U, V, R c (Q{U{R)~VVV Q, U, V, V c Q~U~V|VVV Q, U, V, W c (UQ{W)~VVV Q, U, W, V c (UQ{W)~VVV Q, U, X, P c (Q{X)~(U{P)VV Q, U, X, T c Q{(U{X)~TVV Q, U, X, X c Q{X~X|UVV Q, V, O, X c (Q{O{X)~VVV Q, V, P, T c (Q~T{P)~VVV Q, V, P, U c (Q~U|P)~VVV Q, V, P, W c (Q{P{W)~VVV Q, V, P, X c (Q{P~X)~VVV Q, V, Q, V c (Q{V{Q)~VVV Q, V, R, R c (Q{R~R)~VVV Q, V, R, S c (Q~S{R)~VVV Q, V, R, T c (Q~R{T)~VVV Q, V, R, U c (Q{R{U)~VVV Q, V, R, V c (Q~V|R)~VVV Q, V, S, R c (Q~S{R)~VVV Q, V, S, T c (Q{S{T)~VVV Q, V, S, X c (Q{V)~X|SVV Q, V, T, P c (Q~T{P)~VVV Q, V, T, R c (Q~R{T)~VVV Q, V, T, S c (Q{T)~(V{S)VV Q, V, T, V c Q~V~T{VVV Q, V, T, W c Q{(V{W)~TVV Q, V, U, P c (Q~U|P)~VVV Q, V, U, R c (Q{U{R)~VVV Q, V, U, V c Q~V~U|VVV Q, V, U, W c V~(UQ{W)VV Q, V, V, Q c (Q{V{Q)~VVV Q, V, V, R c (Q~V|R)~VVV Q, V, V, T c Q~V~T{VVV Q, V, V, U c Q~V~U|VVV Q, V, V, W c (Q{W)~V{VVV Q, V, V, X c Q~V{V~XVV Q, V, W, P c (Q{W{P)~VVV Q, V, W, T c Q{(V{W)~TVV Q, V, W, U c V~(W{UQ)VV Q, V, W, V c (Q{W)~V{VVV Q, V, W, X c V|Q{W~XVV Q, V, X, O c (Q{X)~(V{O)VV Q, V, X, P c (Q{X)~(V~P)VV Q, V, X, S c (Q{V)~X|SVV Q, V, X, V c Q~V{X~VVV Q, V, X, W c V|Q{X~WVV Q, W, P, V c (Q{W{P)~VVV Q, W, P, X c (Q{X)~(W|P)VV Q, W, R, T c Q~W~T|RVV Q, W, R, W c (Q{W)~W|RVV Q, W, R, X c Q{W~X{RVV Q, W, T, R c Q~W~T|RVV Q, W, T, V c (Q~W|T)~VVV Q, W, U, V c (W{UQ)~VVV Q, W, V, P c (Q{W{P)~VVV Q, W, V, T c Q{(W{V)~TVV Q, W, V, U c (W{UQ)~VVV Q, W, V, V c (Q{W)~V{VVV Q, W, V, X c W~X|Q{VVV Q, W, W, R c (Q{W)~W|RVV Q, W, X, P c (Q{X)~(W|P)VV Q, W, X, R c Q{W~X{RVV Q, W, X, V c W~X|Q{VVV Q, W, X, X c X~X|WQVV Q, X, O, V c (Q{X{O)~VVV Q, X, P, U c (Q{X)~(P{U)VV Q, X, P, V c (Q{X)~(P~V)VV Q, X, P, W c (Q{X)~(W|P)VV Q, X, Q, T c (Q{X)~(Q{T)VV Q, X, Q, X c (Q{X)~(X|Q)VV Q, X, R, S c (Q{X)~(R{S)VV Q, X, R, W c Q{X~W{RVV Q, X, S, R c (Q{X)~(S{R)VV Q, X, S, T c Q~X~S{TVV Q, X, S, V c (Q{V)~X|SVV Q, X, T, Q c (Q{X)~(T{Q)VV Q, X, T, S c Q~X~S{TVV Q, X, T, U c Q{(X{U)~TVV Q, X, U, P c (Q{X)~(U{P)VV Q, X, U, T c Q{(X{U)~TVV Q, X, U, X c Q{X~X|UVV Q, X, V, O c (Q{X)~(V{O)VV Q, X, V, P c (Q{X)~(V~P)VV Q, X, V, S c (Q{V)~X|SVV Q, X, V, V c (Q~X|V)~VVV Q, X, V, W c X~W|Q{VVV Q, X, W, P c (Q{X)~(W|P)VV Q, X, W, R c Q{X~W{RVV Q, X, W, V c X~W|Q{VVV Q, X, W, X c X~X|WQVV Q, X, X, Q c (Q{X)~(X|Q)VV Q, X, X, U c Q{X~X|UVV Q, X, X, W c X~X|WQVV R, O, V, W c (R{O{W)~VVV R, O, W, V c (R{O{W)~VVV R, P, S, V c (R~S|P)~VVV R, P, U, W c (R{W)~(P{U)VV R, P, V, S c (R~S|P)~VVV R, P, V, V c (R{P{V)~VVV R, P, V, W c (R{P~W)~VVV R, P, V, X c (R|P{X)~VVV R, P, W, U c (R{W)~(P{U)VV R, P, W, V c (R{P~W)~VVV R, P, W, W c (R{W)~(W|P)VV R, P, W, X c (P{X)~W|RVV R, P, X, V c (R|P{X)~VVV R, P, X, W c (P{X)~W|RVV R, P, X, X c (X~X)|(R{P)VV R, Q, R, V c (R~R{Q)~VVV R, Q, S, V c (R{Q~S)~VVV R, Q, S, X c (R{S)~(Q{X)VV R, Q, T, T c R~T~T{QVV R, Q, T, V c (R~Q{T)~VVV R, Q, T, W c (R{W)~(Q{T)VV R, Q, U, V c (R{Q{U)~VVV R, Q, V, R c (R~R{Q)~VVV R, Q, V, S c (R{Q~S)~VVV R, Q, V, T c (R~Q{T)~VVV R, Q, V, U c (R{Q{U)~VVV R, Q, V, V c (Q~V|R)~VVV R, Q, W, T c (R{W)~(Q{T)VV R, Q, W, W c (Q{W)~W|RVV R, Q, W, X c R{Q{W~XVV R, Q, X, S c (R{S)~(Q{X)VV R, Q, X, W c R{Q{X~WVV R, R, Q, V c (R~R{Q)~VVV R, R, S, W c (R{S)~(R{W)VV R, R, S, X c R~R~X|SVV R, R, T, V c (R{R{T)~VVV R, R, T, W c R~R~W{TVV R, R, V, Q c (R~R{Q)~VVV R, R, V, T c (R{R{T)~VVV R, R, V, W c (R{V)~W|RVV R, R, W, S c (R{W)~(R{S)VV R, R, W, T c R~R~W{TVV R, R, W, V c (R{V)~W|RVV R, R, X, S c R~R~X|SVV R, S, P, V c (R~S|P)~VVV R, S, Q, V c (R{S~Q)~VVV R, S, Q, X c (R{S)~(Q{X)VV R, S, R, W c (R{S)~(R{W)VV R, S, R, X c R~R~X|SVV R, S, S, T c S~S~T|RVV R, S, S, V c (R{S{S)~VVV R, S, T, S c S~T~S|RVV R, S, T, U c (R{S)~(T{U)VV R, S, T, V c (R~T|S)~VVV R, S, U, T c (R{S)~(U{T)VV R, S, U, W c (S{U)~W|RVV R, S, U, X c (R{U)~X|SVV R, S, V, P c (R~S|P)~VVV R, S, V, Q c (R{S~Q)~VVV R, S, V, S c (R{S)~(V{S)VV R, S, V, T c (R~T|S)~VVV R, S, V, V c R~S~V|VVV R, S, W, R c (R{S)~(W{R)VV R, S, W, U c (S{U)~W|RVV R, S, X, Q c (R{S)~(X{Q)VV R, S, X, R c R~X~R|SVV R, S, X, U c (R{U)~X|SVV R, T, Q, T c R~T~T{QVV R, T, Q, V c (R~Q{T)~VVV R, T, Q, W c (R{W)~(T{Q)VV R, T, R, V c (R{T{R)~VVV R, T, R, W c R~R~W{TVV R, T, S, S c T~S~S|RVV R, T, S, U c (R{S)~(T{U)VV R, T, S, V c (R~T|S)~VVV R, T, T, Q c R~T~T{QVV R, T, T, W c (T{T)~W|RVV R, T, T, X c (R{T)~X{TVV R, T, U, S c R~U~S{TVV R, T, U, W c (R{U)~W{TVV R, T, U, X c (R{X)~U{TVV R, T, V, Q c (R~Q{T)~VVV R, T, V, R c (R{T{R)~VVV R, T, V, S c (R~T|S)~VVV R, T, V, X c (T|R{X)~VVV R, T, W, Q c (R{W)~(T{Q)VV R, T, W, R c R~W~R{TVV R, T, W, T c (T{T)~W|RVV R, T, W, U c (R{U)~W{TVV R, T, W, W c T~(W{W)|RVV R, T, X, T c (R{T)~X{TVV R, T, X, U c (R{X)~U{TVV R, T, X, V c (T|R{X)~VVV R, U, P, W c (R{W)~(U{P)VV R, U, Q, V c (R{U{Q)~VVV R, U, S, T c R~U~S{TVV R, U, S, W c (U{S)~W|RVV R, U, S, X c (R{U)~X|SVV R, U, T, S c R~U~S{TVV R, U, T, W c (R{U)~W{TVV R, U, T, X c (R{X)~U{TVV R, U, V, Q c (R{U{Q)~VVV R, U, V, V c (R~U|V)~VVV R, U, V, W c (U|R{W)~VVV R, U, V, X c (UR{X)~VVV R, U, W, P c (R{W)~(U{P)VV R, U, W, S c (U{S)~W|RVV R, U, W, T c (R{U)~W{TVV R, U, W, V c (U|R{W)~VVV R, U, X, S c (R{U)~X|SVV R, U, X, T c (R{X)~U{TVV R, U, X, V c (UR{X)~VVV R, V, O, W c (R{O{W)~VVV R, V, P, S c (R~S|P)~VVV R, V, P, V c (R{V{P)~VVV R, V, P, W c (R{P~W)~VVV R, V, P, X c (R|P{X)~VVV R, V, Q, R c (R~R{Q)~VVV R, V, Q, S c (R{Q~S)~VVV R, V, Q, T c (R~Q{T)~VVV R, V, Q, U c (R{Q{U)~VVV R, V, Q, V c (V~Q|R)~VVV R, V, R, Q c (R~R{Q)~VVV R, V, R, T c (R{R{T)~VVV R, V, R, W c (R{V)~W|RVV R, V, S, P c (R~S|P)~VVV R, V, S, Q c (R{S~Q)~VVV R, V, S, S c (R{S)~(V{S)VV R, V, S, T c (R~T|S)~VVV R, V, S, V c R~V~S|VVV R, V, T, Q c (R~Q{T)~VVV R, V, T, R c (R{T{R)~VVV R, V, T, S c (R~T|S)~VVV R, V, T, X c V~(T|R{X)VV R, V, U, Q c (R{U{Q)~VVV R, V, U, V c (R~U|V)~VVV R, V, U, W c V~(U|R{W)VV R, V, U, X c V~(UR{X)VV R, V, V, P c (R{V{P)~VVV R, V, V, Q c V~(V~Q|R)VV R, V, V, S c R~V~S|VVV R, V, V, U c (R~U|V)~VVV R, V, V, V c (R{V)~V{VVV R, V, V, W c R~V{V~WVV R, V, V, X c (R{X)~V|VVV R, V, W, O c (R{W)~(V{O)VV R, V, W, P c (R{W)~(V~P)VV R, V, W, R c (R{V)~W|RVV R, V, W, U c V~(W|R{U)VV R, V, W, V c R~V{W~VVV R, V, W, X c V~(W{XR)VV R, V, X, P c (R{X|P)~VVV R, V, X, T c V~(X|R{T)VV R, V, X, U c V~(X{UR)VV R, V, X, V c (R{X)~V|VVV R, V, X, W c V~(XR{W)VV R, V, X, X c R{X~X|VVV R, W, O, V c (R{W{O)~VVV R, W, P, U c (R{W)~(P{U)VV R, W, P, V c (R{W)~(P~V)VV R, W, P, W c (R{W)~(W|P)VV R, W, P, X c W~(P{X)|RVV R, W, Q, T c (R{W)~(Q{T)VV R, W, Q, W c (W{Q)~W|RVV R, W, Q, X c R{W~X{QVV R, W, R, S c (R{W)~(R{S)VV R, W, R, T c R~W~R{TVV R, W, R, V c (R{V)~W|RVV R, W, S, R c (R{W)~(S{R)VV R, W, S, U c W~(S{U)|RVV R, W, T, Q c (R{W)~(T{Q)VV R, W, T, R c R~W~R{TVV R, W, T, T c W~(T{T)|RVV R, W, T, U c (R{U)~W{TVV R, W, T, W c (W{W)~T|RVV R, W, U, P c (R{W)~(U{P)VV R, W, U, S c W~(U{S)|RVV R, W, U, T c (R{U)~W{TVV R, W, U, V c (W|R{U)~VVV R, W, V, O c (R{W)~(V{O)VV R, W, V, P c (R{W)~(V~P)VV R, W, V, R c (R{V)~W|RVV R, W, V, U c (W|R{U)~VVV R, W, V, V c R~V{W~VVV R, W, V, X c (W{XR)~VVV R, W, W, P c (R{W)~(W|P)VV R, W, W, Q c W~(W{Q)|RVV R, W, W, T c (W{W)~T|RVV R, W, W, X c W|R{W~XVV R, W, X, P c W~(X{P)|RVV R, W, X, Q c R{W~X{QVV R, W, X, V c (W{XR)~VVV R, W, X, W c W|R{X~WVV R, X, P, V c (R{X|P)~VVV R, X, P, W c (X{P)~W|RVV R, X, P, X c (X~X)|(R{P)VV R, X, Q, S c (R{S)~(X{Q)VV R, X, Q, W c R{X~W{QVV R, X, R, S c R~X~R|SVV R, X, S, Q c (R{S)~(X{Q)VV R, X, S, R c R~X~R|SVV R, X, S, U c (R{U)~X|SVV R, X, T, T c (R{T)~X{TVV R, X, T, U c (R{X)~U{TVV R, X, T, V c (X|R{T)~VVV R, X, U, S c (R{U)~X|SVV R, X, U, T c (R{X)~U{TVV R, X, U, V c (X{UR)~VVV R, X, V, P c (R{X|P)~VVV R, X, V, T c (X|R{T)~VVV R, X, V, U c (X{UR)~VVV R, X, V, V c (R{X)~V|VVV R, X, V, W c (XR{W)~VVV R, X, V, X c R{X~X|VVV R, X, W, P c (X{P)~W|RVV R, X, W, Q c R{X~W{QVV R, X, W, V c (XR{W)~VVV R, X, W, W c X~W|R{WVV R, X, X, P c (X~X)|(R{P)VV R, X, X, V c R{X~X|VVV S, O, V, V c (S{O{V)~VVV S, O, X, X c O{X~X|SVV S, P, R, V c (S~R|P)~VVV S, P, U, V c (S{P{U)~VVV S, P, U, X c (S{X)~U|PVV S, P, V, R c (S~R|P)~VVV S, P, V, U c (S{P{U)~VVV S, P, V, V c (S{P~V)~VVV S, P, V, W c (S|P{W)~VVV S, P, W, V c (S|P{W)~VVV S, P, W, X c S{P{W~XVV S, P, X, U c (S{X)~U|PVV S, P, X, W c S{P{X~WVV S, P, X, X c P~X~X|SVV S, Q, R, V c (S~Q{R)~VVV S, Q, R, X c (S{R)~(Q{X)VV S, Q, T, V c (S{Q{T)~VVV S, Q, T, X c S~Q~X{TVV S, Q, V, R c (S~Q{R)~VVV S, Q, V, T c (S{Q{T)~VVV S, Q, V, X c (S|Q{X)~VVV S, Q, X, R c (S{R)~(Q{X)VV S, Q, X, T c S~Q~X{TVV S, Q, X, V c (S|Q{X)~VVV S, R, P, V c (S~R|P)~VVV S, R, Q, V c (S~Q{R)~VVV S, R, Q, X c (S{R)~(Q{X)VV S, R, R, W c (S{R)~(R{W)VV S, R, R, X c R~R~X|SVV S, R, S, T c S~S~T|RVV S, R, S, V c (S{R{S)~VVV S, R, T, S c S~T~S|RVV S, R, T, U c (S{R)~(T{U)VV S, R, T, V c (R~T|S)~VVV S, R, U, T c (S{R)~(U{T)VV S, R, U, W c (S{U)~W|RVV S, R, U, X c (R{U)~X|SVV S, R, V, P c (S~R|P)~VVV S, R, V, Q c (S~Q{R)~VVV S, R, V, S c (S{R)~(V{S)VV S, R, V, T c (R~T|S)~VVV S, R, V, V c S~R~V|VVV S, R, W, R c (S{R)~(W{R)VV S, R, W, U c (S{U)~W|RVV S, R, X, Q c (S{R)~(X{Q)VV S, R, X, R c R~X~R|SVV S, R, X, U c (R{U)~X|SVV S, S, R, T c S~S~T|RVV S, S, R, V c (S{S{R)~VVV S, S, T, R c S~S~T|RVV S, S, T, V c (S~S|T)~VVV S, S, T, X c (S{S)~X{TVV S, S, V, R c (S{S{R)~VVV S, S, V, T c (S~S|T)~VVV S, S, X, T c (S{S)~X{TVV S, T, Q, V c (S{T{Q)~VVV S, T, Q, X c S~Q~X{TVV S, T, R, S c S~T~S|RVV S, T, R, U c (S{R)~(T{U)VV S, T, R, V c (T~R|S)~VVV S, T, S, R c S~T~S|RVV S, T, S, V c (S~S|T)~VVV S, T, S, X c (S{T)~X|SVV S, T, T, W c (S{T)~W{TVV S, T, U, R c S~U~R{TVV S, T, U, W c (S{W)~U{TVV S, T, V, Q c (S{T{Q)~VVV S, T, V, R c (T~R|S)~VVV S, T, V, S c (S~S|T)~VVV S, T, V, X c (S~T|X)~VVV S, T, W, T c (S{T)~W{TVV S, T, W, U c (S{W)~U{TVV S, T, W, X c S~W{T~XVV S, T, X, Q c S~X~Q{TVV S, T, X, S c (S{T)~X|SVV S, T, X, V c (S~T|X)~VVV S, T, X, W c S~W{T~XVV S, T, X, X c S~(X{X){TVV S, U, P, V c (S{U{P)~VVV S, U, P, X c (S{X)~U|PVV S, U, R, T c S~U~R{TVV S, U, R, W c (S{U)~W|RVV S, U, R, X c (U{R)~X|SVV S, U, T, R c S~U~R{TVV S, U, T, W c (S{W)~U{TVV S, U, V, P c (S{U{P)~VVV S, U, V, V c (S{U)~V{VVV S, U, V, X c (U|S{X)~VVV S, U, W, R c (S{U)~W|RVV S, U, W, T c (S{W)~U{TVV S, U, X, P c (S{X)~U|PVV S, U, X, R c (U{R)~X|SVV S, U, X, V c (U|S{X)~VVV S, V, O, V c (S{V{O)~VVV S, V, P, R c (S~R|P)~VVV S, V, P, U c (S{V)~(P{U)VV S, V, P, V c (S{V)~(P~V)VV S, V, P, W c (S{V)~(W|P)VV S, V, Q, R c (S~Q{R)~VVV S, V, Q, T c (S{V)~(Q{T)VV S, V, Q, X c (S{V)~(X|Q)VV S, V, R, P c (S~R|P)~VVV S, V, R, Q c (S~Q{R)~VVV S, V, R, S c (S{V)~(R{S)VV S, V, R, T c V~(R~T|S)VV S, V, R, V c S~V~R|VVV S, V, S, R c (S{V)~(S{R)VV S, V, S, T c (S~S|T)~VVV S, V, T, Q c (S{V)~(T{Q)VV S, V, T, R c V~(T~R|S)VV S, V, T, S c (S~S|T)~VVV S, V, T, X c (S~T|X)~VVV S, V, U, P c (S{V)~(U{P)VV S, V, U, V c (S{U)~V{VVV S, V, U, X c V~(U|S{X)VV S, V, V, O c (S{V)~(V{O)VV S, V, V, P c (S{V)~(V~P)VV S, V, V, R c S~V~R|VVV S, V, V, U c (S{U)~V{VVV S, V, V, V c S~V{V~VVV S, V, V, W c (S{W)~V|VVV S, V, W, P c (S{V)~(W|P)VV S, V, W, V c (S{W)~V|VVV S, V, W, X c V~(WS{X)VV S, V, X, Q c (S{V)~(X|Q)VV S, V, X, T c (S~T|X)~VVV S, V, X, U c V~(X|S{U)VV S, V, X, W c V~(X{WS)VV S, W, P, V c (S{W|P)~VVV S, W, P, X c S{W~X{PVV S, W, R, R c (S{R)~(W{R)VV S, W, R, U c (S{U)~W|RVV S, W, T, T c (S{T)~W{TVV S, W, T, U c (S{W)~U{TVV S, W, T, X c S~W{T~XVV S, W, U, R c (S{U)~W|RVV S, W, U, T c (S{W)~U{TVV S, W, V, P c (S{W|P)~VVV S, W, V, V c (S{W)~V|VVV S, W, V, X c (WS{X)~VVV S, W, W, X c S{W~W{XVV S, W, X, P c S{W~X{PVV S, W, X, T c S~W{X~TVV S, W, X, V c (WS{X)~VVV S, W, X, W c S{W~W{XVV S, W, X, X c S~(W{X){XVV S, X, O, X c (X{O)~X|SVV S, X, P, U c (S{X)~U|PVV S, X, P, W c S{X~W{PVV S, X, P, X c X~P~X|SVV S, X, Q, R c (S{R)~(X{Q)VV S, X, Q, T c S~X~Q{TVV S, X, Q, V c (S{X|Q)~VVV S, X, R, Q c (S{R)~(X{Q)VV S, X, R, R c X~R~R|SVV S, X, R, U c X~(R{U)|SVV S, X, S, T c (S{S)~X{TVV S, X, T, Q c S~X~Q{TVV S, X, T, S c (S{T)~X|SVV S, X, T, V c (S~T|X)~VVV S, X, T, W c S~W{X~TVV S, X, T, X c S~(X{X){TVV S, X, U, P c (S{X)~U|PVV S, X, U, R c X~(U{R)|SVV S, X, U, V c (X|S{U)~VVV S, X, V, Q c (S{X|Q)~VVV S, X, V, T c (S~T|X)~VVV S, X, V, U c (X|S{U)~VVV S, X, V, W c (X{WS)~VVV S, X, W, P c S{X~W{PVV S, X, W, T c S~W{X~TVV S, X, W, V c (X{WS)~VVV S, X, W, W c S{X{W~WVV S, X, W, X c S~(X{W){XVV S, X, X, O c X~X|S{OVV S, X, X, P c X~X|S~PVV S, X, X, T c S~(X{X){TVV S, X, X, W c S{X~X|WVV S, X, X, X c (X|SX)~XVV T, O, U, V c (T{O{U)~VVV T, O, V, U c (T{O{U)~VVV T, O, W, X c T{O{W~XVV T, O, X, W c T{O{X~WVV T, P, Q, V c (T~Q{P)~VVV T, P, T, V c (T{P{T)~VVV T, P, U, U c (T{U)~(P{U)VV T, P, U, V c (T{P~U)~VVV T, P, U, W c (T{U)~(W|P)VV T, P, V, Q c (T~Q{P)~VVV T, P, V, T c (T{P{T)~VVV T, P, V, U c (T{P~U)~VVV T, P, V, V c (T|P{V)~VVV T, P, V, X c T{(P{V)~XVV T, P, W, U c (T{W)~U|PVV T, P, W, W c T{(P{W)~WVV T, P, W, X c T{P~W~XVV T, P, X, V c T{(P{V)~XVV T, P, X, W c T{P~X~WVV T, P, X, X c T{(X|P)~XVV T, Q, P, V c (T~Q{P)~VVV T, Q, Q, X c (T{Q)~(Q{X)VV T, Q, R, T c T~R~T{QVV T, Q, R, V c (T{Q~R)~VVV T, Q, R, W c (T{Q)~(R{W)VV T, Q, S, V c (T{Q{S)~VVV T, Q, S, X c T{Q~S~XVV T, Q, T, R c T~T~R{QVV T, Q, T, U c (T{Q)~(T{U)VV T, Q, U, T c (T{Q)~(U{T)VV T, Q, U, U c T{Q~U~UVV T, Q, U, X c T{(Q{U)~XVV T, Q, V, P c (T~Q{P)~VVV T, Q, V, R c (T{Q~R)~VVV T, Q, V, S c (T{Q)~(V{S)VV T, Q, V, V c T~Q~V{VVV T, Q, V, W c T{(Q{V)~WVV T, Q, W, R c (T{Q)~(W{R)VV T, Q, W, V c (T|Q{W)~VVV T, Q, X, Q c (T{Q)~(X{Q)VV T, Q, X, S c T{Q~X~SVV T, Q, X, U c T{(Q{U)~XVV T, R, Q, T c T~R~T{QVV T, R, Q, V c (T{R~Q)~VVV T, R, Q, W c (T{Q)~(R{W)VV T, R, R, V c (T{R{R)~VVV T, R, R, W c T{R~R~WVV T, R, S, S c T~S~S|RVV T, R, S, U c T{R~S~UVV T, R, S, V c (T~R|S)~VVV T, R, T, Q c T~R~T{QVV T, R, T, W c (T{T)~W|RVV T, R, T, X c T{(R{T)~XVV T, R, U, S c T{R~U~SVV T, R, U, W c T{(R{U)~WVV T, R, U, X c T{(R{X)~UVV T, R, V, Q c (T{R~Q)~VVV T, R, V, R c (T{R{R)~VVV T, R, V, S c (T~R|S)~VVV T, R, V, X c (T|R{X)~VVV T, R, W, Q c T~W~Q|RVV T, R, W, R c T{R~W~RVV T, R, W, T c (T{T)~W|RVV T, R, W, U c T{(R{U)~WVV T, R, W, W c T~(W{W)|RVV T, R, X, T c (T{R)~X{TVV T, R, X, U c T{(R{X)~UVV T, R, X, V c (T|R{X)~VVV T, S, Q, V c (T{S{Q)~VVV T, S, Q, X c T{S~Q~XVV T, S, R, S c T~S~S|RVV T, S, R, U c T{S~R~UVV T, S, R, V c (T~R|S)~VVV T, S, S, R c T~S~S|RVV T, S, S, V c (S~S|T)~VVV T, S, S, X c T{(S{S)~XVV T, S, T, W c T{(S{T)~WVV T, S, U, R c T{S~U~RVV T, S, U, W c T{(S{W)~UVV T, S, V, Q c (T{S{Q)~VVV T, S, V, R c (T~R|S)~VVV T, S, V, S c (S~S|T)~VVV T, S, V, X c (T~S|X)~VVV T, S, W, T c (T{S)~W{TVV T, S, W, U c T{(S{W)~UVV T, S, W, X c T~X{S~WVV T, S, X, Q c T{S~X~QVV T, S, X, S c (T{S)~X|SVV T, S, X, V c (T~S|X)~VVV T, S, X, W c T~X{S~WVV T, S, X, X c T{S~(X{X)VV T, T, P, V c (T{T{P)~VVV T, T, Q, R c T~T~R{QVV T, T, Q, U c (T{Q)~(T{U)VV T, T, R, Q c T~T~R{QVV T, T, R, W c (T{T)~W|RVV T, T, R, X c T{(T{R)~XVV T, T, S, W c T{(T{S)~WVV T, T, U, Q c (T{U)~(T{Q)VV T, T, U, V c T{(T{V)~UVV T, T, V, P c (T{T{P)~VVV T, T, V, U c T{(T{V)~UVV T, T, V, V c (T{T)~V{VVV T, T, V, X c T~(T{X){VVV T, T, W, R c (T{T)~W|RVV T, T, W, S c T{(T{S)~WVV T, T, X, R c T{(T{R)~XVV T, T, X, V c T~(T{X){VVV T, U, O, V c (T{U{O)~VVV T, U, P, U c (T{U)~(P{U)VV T, U, P, V c (T{U)~(P~V)VV T, U, P, W c (T{U)~(W|P)VV T, U, Q, T c (T{U)~(Q{T)VV T, U, Q, U c T{U~Q~UVV T, U, Q, X c T{(U{Q)~XVV T, U, R, S c (T{U)~(R{S)VV T, U, R, W c T{(U{R)~WVV T, U, R, X c T{U~(R{X)VV T, U, S, R c (T{U)~(S{R)VV T, U, S, W c T{U~(S{W)VV T, U, T, Q c (T{U)~(T{Q)VV T, U, T, V c T{U~(T{V)VV T, U, U, P c (T{U)~(U{P)VV T, U, U, Q c T{U~U~QVV T, U, U, U c T{(U{U)~UVV T, U, V, O c (T{U)~(V{O)VV T, U, V, P c (T{U)~(V~P)VV T, U, V, T c T{U~(V{T)VV T, U, V, V c T~V{U~VVV T, U, V, W c T~(U{W){VVV T, U, V, X c (T{X)~U|VVV T, U, W, P c (T{U)~(W|P)VV T, U, W, R c T{(U{R)~WVV T, U, W, S c T{U~(W{S)VV T, U, W, V c T~(U{W){VVV T, U, X, Q c (T{U)~(X|Q)VV T, U, X, R c T{U~(X{R)VV T, U, X, V c (T{X)~U|VVV T, V, O, U c (T{O{U)~VVV T, V, P, Q c (T~Q{P)~VVV T, V, P, T c (T{P{T)~VVV T, V, P, U c (T{P~U)~VVV T, V, P, V c (T{V|P)~VVV T, V, P, X c T{(V{P)~XVV T, V, Q, P c (T~Q{P)~VVV T, V, Q, R c (T{Q~R)~VVV T, V, Q, S c (T{Q)~(V{S)VV T, V, Q, V c T~V~Q{VVV T, V, Q, W c T{(V{Q)~WVV T, V, R, Q c (T{R~Q)~VVV T, V, R, R c (T{R{R)~VVV T, V, R, S c (T~R|S)~VVV T, V, R, X c T~(V{X)|RVV T, V, S, Q c (T{S{Q)~VVV T, V, S, R c (T~R|S)~VVV T, V, S, S c V~(S~S|T)VV T, V, S, X c (T~S|X)~VVV T, V, T, P c (T{T{P)~VVV T, V, T, U c T{(V{T)~UVV T, V, T, V c (T{T)~V{VVV T, V, T, X c T~(T{X){VVV T, V, U, O c (T{U)~(V{O)VV T, V, U, P c (T{U)~(V~P)VV T, V, U, T c (T{V)~U{TVV T, V, U, V c T~V{U~VVV T, V, U, W c T~(U{W){VVV T, V, U, X c (T{X)~U|VVV T, V, V, P c (T{V|P)~VVV T, V, V, Q c T~V~Q{VVV T, V, V, T c (T{T)~V{VVV T, V, V, U c T~V{V~UVV T, V, V, V c (T{V)~V|VVV T, V, V, X c (V|T{X)~VVV T, V, W, Q c T~(V{W){QVV T, V, W, U c T~(W{U){VVV T, V, W, W c V~(W|T{W)VV T, V, X, P c T{(V{P)~XVV T, V, X, R c T~(V{X)|RVV T, V, X, S c (T~S|X)~VVV T, V, X, T c (T{X)~T{VVV T, V, X, U c (T{X)~U|VVV T, V, X, V c (V|T{X)~VVV T, V, X, X c T{V~X{XVV T, W, O, X c T{(W{O)~XVV T, W, P, U c (T{W)~U|PVV T, W, P, W c T{(W{P)~WVV T, W, P, X c T{W~P~XVV T, W, Q, R c T~W~Q|RVV T, W, Q, V c (T{W|Q)~VVV T, W, R, Q c T~W~Q|RVV T, W, R, R c T{W~R~RVV T, W, R, T c (T{T)~W|RVV T, W, R, U c T{W~(R{U)VV T, W, R, W c T~(W{W)|RVV T, W, S, T c T{W~(S{T)VV T, W, S, U c T{(W{S)~UVV T, W, S, X c T~X{W~SVV T, W, T, R c (T{T)~W|RVV T, W, T, S c T{W~(T{S)VV T, W, U, P c (T{W)~U|PVV T, W, U, R c T{W~(U{R)VV T, W, U, S c T{(W{S)~UVV T, W, U, V c T~(W{U){VVV T, W, V, Q c T{W~(V{Q)VV T, W, V, U c T~(W{U){VVV T, W, V, W c (W|T{W)~VVV T, W, W, P c T{W~(W{P)VV T, W, W, R c T~(W{W)|RVV T, W, W, V c (W|T{W)~VVV T, W, W, W c T{W{W~WVV T, W, W, X c T~(W{X)|WVV T, W, X, O c T{W~X{OVV T, W, X, P c T{W~X~PVV T, W, X, S c T~X{W~SVV T, W, X, W c T~(W{X)|WVV T, W, X, X c (TX{W)~XVV T, X, O, W c T{(X{O)~WVV T, X, P, V c T{X~(P{V)VV T, X, P, W c T{X~P~WVV T, X, P, X c T{(X|P)~XVV T, X, Q, Q c (T{Q)~(X{Q)VV T, X, Q, S c T{X~Q~SVV T, X, Q, U c T{X~(Q{U)VV T, X, R, T c T{X~(R{T)VV T, X, R, U c T{(X{R)~UVV T, X, R, V c (T{X|R)~VVV T, X, S, Q c T{X~S~QVV T, X, S, S c T{X~(S{S)VV T, X, S, V c (T~S|X)~VVV T, X, S, W c T~X{S~WVV T, X, S, X c T{(X{X)~SVV T, X, T, R c T{X~(T{R)VV T, X, T, V c (T{X)~T{VVV T, X, U, Q c T{X~(U{Q)VV T, X, U, R c T{(X{R)~UVV T, X, U, V c (T{X)~U|VVV T, X, V, P c T{X~(V{P)VV T, X, V, R c T~(X{V)|RVV T, X, V, S c (T~S|X)~VVV T, X, V, T c (T{X)~T{VVV T, X, V, U c (T{X)~U|VVV T, X, V, V c (X|T{V)~VVV T, X, V, X c T{X{V~XVV T, X, W, O c T{X~W{OVV T, X, W, P c T{X~W~PVV T, X, W, S c T~X{W~SVV T, X, W, W c T~(X{W)|WVV T, X, W, X c (TX{W)~XVV T, X, X, P c T{X~(X|P)VV T, X, X, S c T{(X{X)~SVV T, X, X, V c T{X{X~VVV T, X, X, W c (TX{W)~XVV T, X, X, X c T{X~X|XVV U, O, T, V c (U{O{T)~VVV U, O, V, T c (U{O{T)~VVV U, P, Q, V c (U~Q|P)~VVV U, P, Q, X c (U{P)~(Q{X)VV U, P, R, W c (U{P)~(R{W)VV U, P, S, V c (U{P{S)~VVV U, P, S, X c U~(S{X)|PVV U, P, T, U c (U{P)~(T{U)VV U, P, T, V c (U{P~T)~VVV U, P, T, W c (U{T)~(W|P)VV U, P, U, T c (U{P)~(U{T)VV U, P, U, V c (U|P{U)~VVV U, P, V, Q c (U~Q|P)~VVV U, P, V, S c (U{P)~(V{S)VV U, P, V, T c (U{P~T)~VVV U, P, V, U c (U|P{U)~VVV U, P, W, R c (U{P)~(W{R)VV U, P, W, T c U~(W{T)|PVV U, P, W, X c U|P{W~XVV U, P, X, Q c (U{P)~(X{Q)VV U, P, X, S c U~(X{S)|PVV U, P, X, W c U|P{X~WVV U, Q, P, V c (U~Q|P)~VVV U, Q, P, X c (U{P)~(Q{X)VV U, Q, R, V c (U{Q{R)~VVV U, Q, T, T c (U{T)~(Q{T)VV U, Q, T, U c U~Q~U{TVV U, Q, T, X c (U{Q)~X{TVV U, Q, U, T c U~Q~U{TVV U, Q, V, P c (U~Q|P)~VVV U, Q, V, R c (U{Q{R)~VVV U, Q, V, V c (U|Q{V)~VVV U, Q, V, W c (UQ{W)~VVV U, Q, W, V c (UQ{W)~VVV U, Q, X, P c (U{P)~(Q{X)VV U, Q, X, T c (U{Q)~X{TVV U, Q, X, X c Q{X~X|UVV U, R, P, W c (U{P)~(R{W)VV U, R, Q, V c (U{R{Q)~VVV U, R, S, T c U~R~S{TVV U, R, S, W c (U{S)~W|RVV U, R, S, X c (U{R)~X|SVV U, R, T, S c U~R~S{TVV U, R, T, W c (U{R)~W{TVV U, R, T, X c U~(R{X){TVV U, R, V, Q c (U{R{Q)~VVV U, R, V, V c (U~R|V)~VVV U, R, V, W c (U|R{W)~VVV U, R, V, X c (UR{X)~VVV U, R, W, P c (U{P)~(R{W)VV U, R, W, S c (U{S)~W|RVV U, R, W, T c (U{R)~W{TVV U, R, W, V c (U|R{W)~VVV U, R, X, S c (U{R)~X|SVV U, R, X, T c U~(R{X){TVV U, R, X, V c (UR{X)~VVV U, S, P, V c (U{S{P)~VVV U, S, P, X c U~(S{X)|PVV U, S, R, T c U~S~R{TVV U, S, R, W c (U{S)~W|RVV U, S, R, X c (U{R)~X|SVV U, S, T, R c U~S~R{TVV U, S, T, W c U~(S{W){TVV U, S, V, P c (U{S{P)~VVV U, S, V, V c (U{S)~V{VVV U, S, V, X c (U|S{X)~VVV U, S, W, R c (U{S)~W|RVV U, S, W, T c U~(S{W){TVV U, S, X, P c U~(S{X)|PVV U, S, X, R c (U{R)~X|SVV U, S, X, V c (U|S{X)~VVV U, T, O, V c (U{T{O)~VVV U, T, P, U c (U{T)~(P{U)VV U, T, P, V c (U{T)~(P~V)VV U, T, P, W c (U{T)~(W|P)VV U, T, Q, T c (U{T)~(Q{T)VV U, T, Q, U c U~Q~U{TVV U, T, Q, X c (U{T)~(X|Q)VV U, T, R, S c (U{T)~(R{S)VV U, T, R, W c (U{R)~W{TVV U, T, R, X c U~(R{X){TVV U, T, S, R c (U{T)~(S{R)VV U, T, S, W c U~(S{W){TVV U, T, T, Q c (U{T)~(T{Q)VV U, T, T, V c U~(T{V){TVV U, T, U, P c (U{T)~(U{P)VV U, T, U, Q c U~U~Q{TVV U, T, U, U c (U{U)~U{TVV U, T, V, O c (U{T)~(V{O)VV U, T, V, P c (U{T)~(V~P)VV U, T, V, T c U~(T{V){TVV U, T, V, V c U~V{T~VVV U, T, V, W c (U{W)~T{VVV U, T, V, X c U~(T{X)|VVV U, T, W, P c (U{T)~(W|P)VV U, T, W, R c (U{R)~W{TVV U, T, W, S c U~(W{S){TVV U, T, W, V c (U{W)~T{VVV U, T, X, Q c (U{T)~(X|Q)VV U, T, X, R c U~(X{R){TVV U, T, X, V c U~(T{X)|VVV U, U, P, T c (U{P)~(U{T)VV U, U, P, V c (U{U|P)~VVV U, U, Q, T c U~U~Q{TVV U, U, T, P c (U{T)~(U{P)VV U, U, T, Q c U~U~Q{TVV U, U, T, U c (U{U)~U{TVV U, U, U, T c (U{U)~U{TVV U, U, V, P c U~(U{V)|PVV U, U, V, V c (U{U)~V|VVV U, U, V, W c U~(U{W)|VVV U, U, W, V c U~(U{W)|VVV U, V, O, T c (U{O{T)~VVV U, V, P, Q c (U~Q|P)~VVV U, V, P, S c (U{P)~(V{S)VV U, V, P, T c (U{P~T)~VVV U, V, P, U c (U{V)~U|PVV U, V, Q, P c (U~Q|P)~VVV U, V, Q, R c (U{Q{R)~VVV U, V, Q, V c (U{V|Q)~VVV U, V, Q, W c (UQ{W)~VVV U, V, R, Q c (U{R{Q)~VVV U, V, R, V c (U~R|V)~VVV U, V, R, W c (U|R{W)~VVV U, V, R, X c (UR{X)~VVV U, V, S, P c (U{S{P)~VVV U, V, S, V c (U{S)~V{VVV U, V, S, X c (U|S{X)~VVV U, V, T, O c (U{T)~(V{O)VV U, V, T, P c (U{T)~(V~P)VV U, V, T, T c U~(V{T){TVV U, V, T, V c U~V{T~VVV U, V, T, W c (U{W)~T{VVV U, V, T, X c U~(T{X)|VVV U, V, U, P c (U{V)~U|PVV U, V, U, V c (U{U)~V|VVV U, V, U, W c U~(U{W)|VVV U, V, V, Q c (U{V|Q)~VVV U, V, V, R c (U~R|V)~VVV U, V, V, S c (U{S)~V{VVV U, V, V, T c U~V{V~TVV U, V, V, U c (U{U)~V|VVV U, V, V, V c U~(V{V)|VVV U, V, W, Q c (UQ{W)~VVV U, V, W, R c (U{W|R)~VVV U, V, W, T c (U{W)~T{VVV U, V, W, U c (U{W)~U|VVV U, V, W, W c U{V{W~WVV U, V, W, X c U{V~X{WVV U, V, X, R c (UR{X)~VVV U, V, X, S c (U{X|S)~VVV U, V, X, T c U~(X{T)|VVV U, V, X, W c U{V~X{WVV U, W, P, R c (U{P)~(W{R)VV U, W, P, T c U~(W{T)|PVV U, W, P, X c U{W~X|PVV U, W, Q, V c (UQ{W)~VVV U, W, R, P c (U{P)~(W{R)VV U, W, R, S c (U{S)~W|RVV U, W, R, T c (U{R)~W{TVV U, W, R, V c (U{W|R)~VVV U, W, S, R c (U{S)~W|RVV U, W, S, T c U~(W{S){TVV U, W, T, P c U~(W{T)|PVV U, W, T, R c (U{R)~W{TVV U, W, T, S c U~(W{S){TVV U, W, T, V c (U{W)~T{VVV U, W, U, V c (U{W)~U|VVV U, W, V, Q c (UQ{W)~VVV U, W, V, R c (U{W|R)~VVV U, W, V, T c (U{W)~T{VVV U, W, V, U c (U{W)~U|VVV U, W, V, W c U{W~W{VVV U, W, V, X c U{W{V~XVV U, W, W, V c U{W~W{VVV U, W, X, P c U{W~X|PVV U, W, X, V c U{W{X~VVV U, X, P, Q c (U{P)~(X{Q)VV U, X, P, S c U~(X{S)|PVV U, X, P, W c U{X~W|PVV U, X, Q, P c (U{P)~(X{Q)VV U, X, Q, T c (U{X)~T{QVV U, X, Q, X c X~X|U{QVV U, X, R, S c (U{R)~X|SVV U, X, R, T c U~(X{R){TVV U, X, R, V c (UR{X)~VVV U, X, S, P c U~(X{S)|PVV U, X, S, R c (U{R)~X|SVV U, X, S, V c (U{X|S)~VVV U, X, T, Q c (U{X)~T{QVV U, X, T, R c U~(X{R){TVV U, X, T, V c U~(X{T)|VVV U, X, V, R c (UR{X)~VVV U, X, V, S c (U{X|S)~VVV U, X, V, T c U~(X{T)|VVV U, X, V, W c U{X~V{WVV U, X, W, P c U{X~W|PVV U, X, W, V c U{X~V{WVV U, X, X, Q c X~X|U{QVV V, O, Q, X c (V{O)~(Q{X)VV V, O, R, W c (V{O)~(R{W)VV V, O, S, V c (V{O{S)~VVV V, O, T, U c (V{O)~(T{U)VV V, O, U, T c (V{O)~(U{T)VV V, O, V, S c (V{O)~(V{S)VV V, O, W, R c (V{O)~(W{R)VV V, O, X, Q c (V{O)~(X{Q)VV V, P, P, X c V~(P{P{X)VV V, P, Q, T c V~(P{Q~T)VV V, P, Q, U c V~(Q~U|P)VV V, P, Q, W c V~(P{Q{W)VV V, P, Q, X c (V~P)~(Q{X)VV V, P, R, S c V~(R~S|P)VV V, P, R, V c (V{P{R)~VVV V, P, R, W c (V~P)~(R{W)VV V, P, R, X c V~(R|P{X)VV V, P, S, R c V~(S~R|P)VV V, P, S, U c V~(P{S{U)VV V, P, S, V c (V{P~S)~VVV V, P, S, W c V~(S|P{W)VV V, P, T, Q c V~(P{T~Q)VV V, P, T, T c V~(P{T{T)VV V, P, T, U c (V~P)~(T{U)VV V, P, T, V c (V|P{T)~VVV V, P, T, X c (V{P)~X{TVV V, P, U, Q c V~(U~Q|P)VV V, P, U, S c V~(P{U{S)VV V, P, U, T c (V~P)~(U{T)VV V, P, U, U c V~(U|P{U)VV V, P, V, R c V~(P{V{R)VV V, P, V, S c (V~P)~(V{S)VV V, P, V, T c (V|P{T)~VVV V, P, V, X c V{(P{X)~VVV V, P, W, Q c V~(P{W{Q)VV V, P, W, R c (V~P)~(W{R)VV V, P, W, S c V~(W|P{S)VV V, P, X, P c V~(P{X{P)VV V, P, X, Q c (V~P)~(X{Q)VV V, P, X, R c V~(X|P{R)VV V, P, X, T c (V{P)~X{TVV V, P, X, V c V{(P{X)~VVV V, Q, O, X c V~(Q{O{X)VV V, Q, P, T c V~(Q~T{P)VV V, Q, P, U c V~(Q~U|P)VV V, Q, P, W c V~(Q{P{W)VV V, Q, P, X c V~(Q{P~X)VV V, Q, Q, V c (V{Q{Q)~VVV V, Q, R, R c V~(Q{R~R)VV V, Q, R, S c V~(Q~S{R)VV V, Q, R, T c V~(Q~R{T)VV V, Q, R, U c V~(Q{R{U)VV V, Q, R, V c (V~Q|R)~VVV V, Q, S, R c V~(Q~S{R)VV V, Q, S, T c V~(Q{S{T)VV V, Q, S, X c (V{Q)~X|SVV V, Q, T, P c V~(Q~T{P)VV V, Q, T, R c V~(Q~R{T)VV V, Q, T, S c V~(Q{T{S)VV V, Q, T, V c V{Q~T~VVV V, Q, T, W c (V{Q)~W{TVV V, Q, U, P c V~(Q~U|P)VV V, Q, U, R c V~(Q{U{R)VV V, Q, U, V c (V|Q{U)~VVV V, Q, U, W c V~(UQ{W)VV V, Q, V, Q c V~(Q{V{Q)VV V, Q, V, R c V~(Q~V|R)VV V, Q, V, T c V{Q~V~TVV V, Q, V, U c (V|Q{U)~VVV V, Q, V, W c V{(Q{W)~VVV V, Q, V, X c V~Q{V~XVV V, Q, W, P c V~(Q{W{P)VV V, Q, W, T c (V{Q)~W{TVV V, Q, W, U c V~(W{UQ)VV V, Q, W, V c V{(Q{W)~VVV V, Q, W, X c V|Q{W~XVV V, Q, X, O c V~(Q{X){OVV V, Q, X, P c V~(Q{X)~PVV V, Q, X, S c (V{Q)~X|SVV V, Q, X, V c V~Q{X~VVV V, Q, X, W c V|Q{X~WVV V, R, O, W c V~(R{O{W)VV V, R, P, S c V~(R~S|P)VV V, R, P, V c (V{R{P)~VVV V, R, P, W c V~(R{P~W)VV V, R, P, X c V~(R|P{X)VV V, R, Q, R c V~(R~R{Q)VV V, R, Q, S c V~(R{Q~S)VV V, R, Q, T c V~(R~Q{T)VV V, R, Q, U c V~(R{Q{U)VV V, R, Q, V c (V~Q|R)~VVV V, R, R, Q c V~(R~R{Q)VV V, R, R, T c V~(R{R{T)VV V, R, R, W c (V{R)~W|RVV V, R, S, P c V~(R~S|P)VV V, R, S, Q c V~(R{S~Q)VV V, R, S, S c V~(R{S{S)VV V, R, S, T c V~(R~T|S)VV V, R, S, V c V~R~S|VVV V, R, T, Q c V~(R~Q{T)VV V, R, T, R c V~(R{T{R)VV V, R, T, S c V~(R~T|S)VV V, R, T, X c V~(T|R{X)VV V, R, U, Q c V~(R{U{Q)VV V, R, U, V c V~(R~U|V)VV V, R, U, W c V~(U|R{W)VV V, R, U, X c V~(UR{X)VV V, R, V, P c V~(R{V{P)VV V, R, V, Q c V~(V~Q|R)VV V, R, V, S c V~R~S|VVV V, R, V, U c V~(R~U|V)VV V, R, V, V c V{(R{V)~VVV V, R, V, W c V~R{V~WVV V, R, V, X c V~(R{X)|VVV V, R, W, O c V~(R{W){OVV V, R, W, P c V~(R{W)~PVV V, R, W, R c (V{R)~W|RVV V, R, W, U c V~(W|R{U)VV V, R, W, V c V~R{W~VVV V, R, W, X c V~(W{XR)VV V, R, X, P c V~(R{X|P)VV V, R, X, T c V~(X|R{T)VV V, R, X, U c V~(X{UR)VV V, R, X, V c V~(R{X)|VVV V, R, X, W c V~(XR{W)VV V, R, X, X c R{X~X|VVV V, S, O, V c (V{S{O)~VVV V, S, P, R c V~(S~R|P)VV V, S, P, U c (V{S)~(P{U)VV V, S, P, V c (V{S)~(P~V)VV V, S, P, W c V~(S|P{W)VV V, S, Q, R c V~(S~Q{R)VV V, S, Q, T c (V{S)~(Q{T)VV V, S, Q, X c V~(S|Q{X)VV V, S, R, P c V~(S~R|P)VV V, S, R, Q c V~(S~Q{R)VV V, S, R, S c (V{S)~(R{S)VV V, S, R, T c V~(R~T|S)VV V, S, R, V c V~S~R|VVV V, S, S, R c (V{S)~(S{R)VV V, S, S, T c V~(S~S|T)VV V, S, T, Q c (V{S)~(T{Q)VV V, S, T, R c V~(T~R|S)VV V, S, T, S c V~(S~S|T)VV V, S, T, X c V~(S~T|X)VV V, S, U, P c (V{S)~(U{P)VV V, S, U, V c V{(S{U)~VVV V, S, U, X c V~(U|S{X)VV V, S, V, O c (V{S)~(V{O)VV V, S, V, P c (V{S)~(V~P)VV V, S, V, R c V~S~R|VVV V, S, V, U c V{(S{U)~VVV V, S, V, V c V~S{V~VVV V, S, V, W c (V|S{W)~VVV V, S, W, P c (V{S)~(W|P)VV V, S, W, V c (V|S{W)~VVV V, S, W, X c V~(WS{X)VV V, S, X, Q c (V{S)~(X|Q)VV V, S, X, T c V~(S~T|X)VV V, S, X, U c V~(X|S{U)VV V, S, X, W c V~(X{WS)VV V, T, O, U c V~(T{O{U)VV V, T, P, Q c V~(T~Q{P)VV V, T, P, T c V~(T{P{T)VV V, T, P, U c V~(T{P~U)VV V, T, P, V c (V{T|P)~VVV V, T, P, X c (V{P)~X{TVV V, T, Q, P c V~(T~Q{P)VV V, T, Q, R c V~(T{Q~R)VV V, T, Q, S c V~(T{Q{S)VV V, T, Q, V c V{T~Q~VVV V, T, Q, W c V~(T|Q{W)VV V, T, R, Q c V~(T{R~Q)VV V, T, R, R c V~(T{R{R)VV V, T, R, S c V~(T~R|S)VV V, T, R, X c V~(T|R{X)VV V, T, S, Q c V~(T{S{Q)VV V, T, S, R c V~(T~R|S)VV V, T, S, S c V~(S~S|T)VV V, T, S, X c V~(T~S|X)VV V, T, T, P c V~(T{T{P)VV V, T, T, U c (V{T)~U{TVV V, T, T, V c V{(T{T)~VVV V, T, T, X c V{T~(T{X)VV V, T, U, O c V~(T{U){OVV V, T, U, P c V~(T{U)~PVV V, T, U, T c (V{T)~U{TVV V, T, U, V c V~T{U~VVV V, T, U, W c V{T~(U{W)VV V, T, U, X c (T{X)~U|VVV V, T, V, P c V~(T{V|P)VV V, T, V, Q c V{T~V~QVV V, T, V, T c V{(T{T)~VVV V, T, V, U c V~T{V~UVV V, T, V, V c V{T~(V{V)VV V, T, V, X c (V|T{X)~VVV V, T, W, Q c V~(T{W|Q)VV V, T, W, U c V{T~(W{U)VV V, T, W, W c V~(W|T{W)VV V, T, X, P c (V{P)~X{TVV V, T, X, R c V~(T{X|R)VV V, T, X, S c V~(T~S|X)VV V, T, X, T c V{(T{X)~TVV V, T, X, U c (T{X)~U|VVV V, T, X, V c (V|T{X)~VVV V, T, X, X c V~X{T{XVV V, U, O, T c V~(U{O{T)VV V, U, P, Q c V~(U~Q|P)VV V, U, P, S c V~(U{P{S)VV V, U, P, T c V~(U{P~T)VV V, U, P, U c V~(U|P{U)VV V, U, Q, P c V~(U~Q|P)VV V, U, Q, R c V~(U{Q{R)VV V, U, Q, V c (V{U|Q)~VVV V, U, Q, W c V~(UQ{W)VV V, U, R, Q c V~(U{R{Q)VV V, U, R, V c V~(U~R|V)VV V, U, R, W c V~(U|R{W)VV V, U, R, X c V~(UR{X)VV V, U, S, P c V~(U{S{P)VV V, U, S, V c V{(U{S)~VVV V, U, S, X c V~(U|S{X)VV V, U, T, O c V~(U{T){OVV V, U, T, P c V~(U{T)~PVV V, U, T, T c (V{T)~U{TVV V, U, T, V c V~U{T~VVV V, U, T, W c V{(U{W)~TVV V, U, T, X c U~(T{X)|VVV V, U, U, P c (V{U)~U|PVV V, U, U, V c V~(U{U)|VVV V, U, U, W c U~(U{W)|VVV V, U, V, Q c V~(U{V|Q)VV V, U, V, R c V~(U~R|V)VV V, U, V, S c V{(U{S)~VVV V, U, V, T c V~U{V~TVV V, U, V, U c V~(U{U)|VVV V, U, V, V c (V{V)~U|VVV V, U, W, Q c V~(UQ{W)VV V, U, W, R c V~(U{W|R)VV V, U, W, T c V{(U{W)~TVV V, U, W, U c (U{W)~U|VVV V, U, W, W c V{U{W~WVV V, U, W, X c V~(W|U{X)VV V, U, X, R c V~(UR{X)VV V, U, X, S c V~(U{X|S)VV V, U, X, T c U~(X{T)|VVV V, U, X, W c V~X{U{WVV V, V, O, S c V~(V{O{S)VV V, V, P, R c V~(V{P{R)VV V, V, P, S c V~(V{P~S)VV V, V, P, T c V~(V|P{T)VV V, V, P, X c V{V~(P{X)VV V, V, Q, Q c V~(V{Q{Q)VV V, V, Q, R c V~(V~Q|R)VV V, V, Q, T c V{V~Q~TVV V, V, Q, U c V~(V|Q{U)VV V, V, Q, W c V{V~(Q{W)VV V, V, Q, X c V~Q{V~XVV V, V, R, P c V~(V{R{P)VV V, V, R, Q c V~(V~Q|R)VV V, V, R, S c V~R~S|VVV V, V, R, U c V~(R~U|V)VV V, V, R, V c V{(V{R)~VVV V, V, R, W c V~R{V~WVV V, V, R, X c V~(R{X)|VVV V, V, S, O c V~(V{S){OVV V, V, S, P c V~(V{S)~PVV V, V, S, R c V~S~R|VVV V, V, S, U c V{V~(S{U)VV V, V, S, V c V~V{S~VVV V, V, S, W c V~(V|S{W)VV V, V, T, P c V~(V{T|P)VV V, V, T, Q c V{V~T~QVV V, V, T, T c V{V~(T{T)VV V, V, T, U c V~T{V~UVV V, V, T, V c (V{V)~T{VVV V, V, T, X c V~(V|T{X)VV V, V, U, Q c V~(V{U|Q)VV V, V, U, R c V~(U~R|V)VV V, V, U, S c V{V~(U{S)VV V, V, U, T c V~U{V~TVV V, V, U, U c V~(U{U)|VVV V, V, U, V c (V{V)~U|VVV V, V, V, R c V{V~(V{R)VV V, V, V, S c V~V{V~SVV V, V, V, T c V{(V{V)~TVV V, V, V, U c (V{V)~U|VVV V, V, V, X c V{V{V~XVV V, V, W, Q c V{V~(W{Q)VV V, V, W, R c V~W{V~RVV V, V, W, S c V~(V{W|S)VV V, V, X, P c V{V~(X{P)VV V, V, X, Q c V~X{V~QVV V, V, X, R c V~(X{R)|VVV V, V, X, T c V~(V{X|T)VV V, V, X, V c V{V{X~VVV V, V, X, X c V~(X|V{X)VV V, W, O, R c V~(W{O{R)VV V, W, P, Q c V~(W{P{Q)VV V, W, P, R c V~(W{P~R)VV V, W, P, S c V~(W|P{S)VV V, W, Q, P c V~(W{Q{P)VV V, W, Q, T c V~(W|Q{T)VV V, W, Q, U c V~(W{UQ)VV V, W, Q, V c V{(W{Q)~VVV V, W, Q, X c V{W~X|QVV V, W, R, O c V~(W{R){OVV V, W, R, P c V~(W{R)~PVV V, W, R, R c (V{R)~W|RVV V, W, R, U c V~(W|R{U)VV V, W, R, V c V~W{R~VVV V, W, R, X c V~(W{XR)VV V, W, S, P c V~(W{S|P)VV V, W, S, V c (V{W|S)~VVV V, W, S, X c V~(WS{X)VV V, W, T, Q c (V{W)~T{QVV V, W, T, U c V{(W{U)~TVV V, W, T, W c V~(W|T{W)VV V, W, U, Q c V~(W{UQ)VV V, W, U, R c V~(W{U|R)VV V, W, U, T c V{(W{U)~TVV V, W, U, U c (W{U)~U|VVV V, W, U, W c V{W~W{UVV V, W, U, X c V~(W|U{X)VV V, W, V, Q c V{(W{Q)~VVV V, W, V, R c V~W{V~RVV V, W, V, S c V~(W{V|S)VV V, W, W, T c V~(W{W|T)VV V, W, W, U c V{W~W{UVV V, W, X, Q c V{W~X|QVV V, W, X, R c V~(W{XR)VV V, W, X, S c V~(WS{X)VV V, W, X, U c V~(W{X|U)VV V, X, O, Q c V~(X{O{Q)VV V, X, P, P c V~(X{P{P)VV V, X, P, Q c V~(X{P~Q)VV V, X, P, R c V~(X|P{R)VV V, X, P, T c (V{P)~X{TVV V, X, P, V c V{(X{P)~VVV V, X, Q, O c V~(X{Q){OVV V, X, Q, P c V~(X{Q)~PVV V, X, Q, S c V~(X|Q{S)VV V, X, Q, V c V~X{Q~VVV V, X, Q, W c V{X~W|QVV V, X, R, P c V~(X{R|P)VV V, X, R, T c V~(X|R{T)VV V, X, R, U c V~(X{UR)VV V, X, R, V c V~(X{R)|VVV V, X, R, W c V~(XR{W)VV V, X, R, X c X~X|V{RVV V, X, S, Q c V~(X{S|Q)VV V, X, S, T c V~(S~T|X)VV V, X, S, U c V~(X|S{U)VV V, X, S, W c V~(X{WS)VV V, X, T, P c (V{P)~X{TVV V, X, T, R c (V{X)~T|RVV V, X, T, S c V~(T~S|X)VV V, X, T, T c V{(X{T)~TVV V, X, T, U c (X{T)~U|VVV V, X, T, V c (V{X|T)~VVV V, X, T, X c V~X{T{XVV V, X, U, R c V~(X{UR)VV V, X, U, S c V~(X{U|S)VV V, X, U, T c (X{T)~U|VVV V, X, U, W c V~X{U{WVV V, X, V, P c V{(X{P)~VVV V, X, V, Q c V~X{V~QVV V, X, V, R c V~(X{R)|VVV V, X, V, T c V~(X{V|T)VV V, X, V, V c V{X~V{VVV V, X, V, X c V~(X|V{X)VV V, X, W, Q c V{X~W|QVV V, X, W, R c V~(XR{W)VV V, X, W, S c V~(X{WS)VV V, X, W, U c V~X{W{UVV V, X, X, R c X~X|V{RVV V, X, X, T c V~X{X{TVV V, X, X, V c V~(X{X|V)VV W, O, R, V c (W{O{R)~VVV W, O, T, X c (W{O)~X{TVV W, O, V, R c (W{O{R)~VVV W, O, X, T c (W{O)~X{TVV W, P, Q, V c (W{P{Q)~VVV W, P, Q, X c (W|P)~(Q{X)VV W, P, R, U c (W{R)~(P{U)VV W, P, R, V c (W{P~R)~VVV W, P, R, W c (W|P)~(R{W)VV W, P, R, X c W~(P{X)|RVV W, P, S, V c (W|P{S)~VVV W, P, S, X c (W{P)~X|SVV W, P, T, U c (W|P)~(T{U)VV W, P, T, W c (W{P)~W{TVV W, P, T, X c W~P~X{TVV W, P, U, R c (W{R)~(P{U)VV W, P, U, T c (W|P)~(U{T)VV W, P, U, X c W~X|P{UVV W, P, V, Q c (W{P{Q)~VVV W, P, V, R c (W{P~R)~VVV W, P, V, S c (W|P)~(V{S)VV W, P, W, R c (W|P)~(W{R)VV W, P, W, T c (W{P)~W{TVV W, P, X, Q c (W|P)~(X{Q)VV W, P, X, R c W~(P{X)|RVV W, P, X, S c (W{P)~X|SVV W, P, X, T c W~P~X{TVV W, P, X, U c W~X|P{UVV W, Q, P, V c (W{Q{P)~VVV W, Q, P, X c (W|P)~(Q{X)VV W, Q, R, T c W~Q~T|RVV W, Q, R, W c (W{Q)~W|RVV W, Q, R, X c (W{R)~(X|Q)VV W, Q, T, R c W~Q~T|RVV W, Q, T, V c (W|Q{T)~VVV W, Q, U, V c (W{UQ)~VVV W, Q, V, P c (W{Q{P)~VVV W, Q, V, T c W~(Q{V){TVV W, Q, V, U c (W{UQ)~VVV W, Q, V, V c (W{Q)~V{VVV W, Q, V, X c W~X|Q{VVV W, Q, W, R c (W{Q)~W|RVV W, Q, X, P c (W|P)~(Q{X)VV W, Q, X, R c W~X{Q{RVV W, Q, X, V c W~X|Q{VVV W, Q, X, X c X~X|WQVV W, R, O, V c (W{R{O)~VVV W, R, P, U c (W{R)~(P{U)VV W, R, P, V c (W{R)~(P~V)VV W, R, P, W c (W{R)~(W|P)VV W, R, P, X c W~(P{X)|RVV W, R, Q, T c (W{R)~(Q{T)VV W, R, Q, W c (W{Q)~W|RVV W, R, Q, X c (W{R)~(X|Q)VV W, R, R, S c (W{R)~(R{S)VV W, R, R, T c W~R~R{TVV W, R, R, V c W~(R{V)|RVV W, R, S, R c (W{R)~(S{R)VV W, R, S, U c W~(S{U)|RVV W, R, T, Q c (W{R)~(T{Q)VV W, R, T, R c W~R~R{TVV W, R, T, T c W~(T{T)|RVV W, R, T, U c W~(R{U){TVV W, R, T, W c (W{W)~T|RVV W, R, U, P c (W{R)~(U{P)VV W, R, U, S c W~(U{S)|RVV W, R, U, T c W~(R{U){TVV W, R, U, V c (W|R{U)~VVV W, R, V, O c (W{R)~(V{O)VV W, R, V, P c (W{R)~(V~P)VV W, R, V, R c W~(R{V)|RVV W, R, V, U c (W|R{U)~VVV W, R, V, V c W~V{R~VVV W, R, V, X c (W{XR)~VVV W, R, W, P c (W{R)~(W|P)VV W, R, W, Q c W~(W{Q)|RVV W, R, W, T c (W{W)~T|RVV W, R, W, X c W|R{W~XVV W, R, X, P c W~(X{P)|RVV W, R, X, Q c (W{R)~(X|Q)VV W, R, X, V c (W{XR)~VVV W, R, X, W c W|R{X~WVV W, S, P, V c (W{S|P)~VVV W, S, P, X c (W{P)~X|SVV W, S, R, R c (W{R)~(S{R)VV W, S, R, U c W~(S{U)|RVV W, S, T, T c W~(S{T){TVV W, S, T, U c (W{S)~U{TVV W, S, T, X c W~S{T~XVV W, S, U, R c W~(S{U)|RVV W, S, U, T c (W{S)~U{TVV W, S, V, P c (W{S|P)~VVV W, S, V, V c (W{S)~V|VVV W, S, V, X c (WS{X)~VVV W, S, W, X c W~W{S{XVV W, S, X, P c W~X{S{PVV W, S, X, T c W~S{X~TVV W, S, X, V c (WS{X)~VVV W, S, X, W c W~W{S{XVV W, S, X, X c (W{X)~S{XVV W, T, O, X c (W{O)~X{TVV W, T, P, U c (W{T)~U|PVV W, T, P, W c (W{P)~W{TVV W, T, P, X c W~P~X{TVV W, T, Q, R c W~T~Q|RVV W, T, Q, V c (W{T|Q)~VVV W, T, R, Q c W~T~Q|RVV W, T, R, R c W~R~R{TVV W, T, R, T c W~(T{T)|RVV W, T, R, U c W~(R{U){TVV W, T, R, W c (W{W)~T|RVV W, T, S, T c W~(T{S){TVV W, T, S, U c (W{S)~U{TVV W, T, S, X c W~S{T~XVV W, T, T, R c W~(T{T)|RVV W, T, T, S c W~(T{S){TVV W, T, U, P c (W{T)~U|PVV W, T, U, R c W~(U{R){TVV W, T, U, S c (W{S)~U{TVV W, T, U, V c (W{U)~T{VVV W, T, V, Q c (W{T|Q)~VVV W, T, V, U c (W{U)~T{VVV W, T, V, W c (W|T{W)~VVV W, T, W, P c W~(W{P){TVV W, T, W, R c (W{W)~T|RVV W, T, W, V c (W|T{W)~VVV W, T, W, W c W{T{W~WVV W, T, W, X c W~(TW{X)VV W, T, X, O c W~X{T{OVV W, T, X, P c W~X{T~PVV W, T, X, S c W~S{T~XVV W, T, X, W c W~(TW{X)VV W, T, X, X c (W{TX)~XVV W, U, P, R c (W{R)~(U{P)VV W, U, P, T c (W|P)~(U{T)VV W, U, P, X c W~X{U|PVV W, U, Q, V c (W{UQ)~VVV W, U, R, P c (W{R)~(U{P)VV W, U, R, S c W~(U{S)|RVV W, U, R, T c W~(U{R){TVV W, U, R, V c (W{U|R)~VVV W, U, S, R c W~(U{S)|RVV W, U, S, T c (W{S)~U{TVV W, U, T, P c (W{T)~U|PVV W, U, T, R c W~(U{R){TVV W, U, T, S c (W{S)~U{TVV W, U, T, V c (W{U)~T{VVV W, U, U, V c (W{U)~U|VVV W, U, V, Q c (W{UQ)~VVV W, U, V, R c (W{U|R)~VVV W, U, V, T c (W{U)~T{VVV W, U, V, U c (W{U)~U|VVV W, U, V, W c W~W{U{VVV W, U, V, X c W{U{V~XVV W, U, W, V c W~W{U{VVV W, U, X, P c W~X{U|PVV W, U, X, V c W{U{X~VVV W, V, O, R c (W{O{R)~VVV W, V, P, Q c (W{P{Q)~VVV W, V, P, R c (W{P~R)~VVV W, V, P, S c (W|P)~(V{S)VV W, V, Q, P c (W{Q{P)~VVV W, V, Q, T c W~(V{Q){TVV W, V, Q, U c (W{UQ)~VVV W, V, Q, V c (W{Q)~V{VVV W, V, Q, X c W~X{V|QVV W, V, R, O c (W{R)~(V{O)VV W, V, R, P c (W{R)~(V~P)VV W, V, R, R c W~(V{R)|RVV W, V, R, U c (W|R{U)~VVV W, V, R, V c W~V{R~VVV W, V, R, X c (W{XR)~VVV W, V, S, P c (W{S|P)~VVV W, V, S, V c (W{V|S)~VVV W, V, S, X c (WS{X)~VVV W, V, T, Q c (W{V)~T{QVV W, V, T, U c (W{U)~T{VVV W, V, T, W c (W|T{W)~VVV W, V, U, Q c (W{UQ)~VVV W, V, U, R c (W{U|R)~VVV W, V, U, T c (W{U)~T{VVV W, V, U, U c (W{U)~U|VVV W, V, U, W c W~W{V{UVV W, V, U, X c W{V~X{UVV W, V, V, Q c (W{Q)~V{VVV W, V, V, R c W~V{V~RVV W, V, V, S c (W{V|S)~VVV W, V, W, T c (W{W|T)~VVV W, V, W, U c W~W{V{UVV W, V, X, Q c W~X{V|QVV W, V, X, R c (W{XR)~VVV W, V, X, S c (WS{X)~VVV W, V, X, U c W{V~X{UVV W, W, P, R c (W|P)~(W{R)VV W, W, P, T c W~(W{P){TVV W, W, Q, R c W~(W{Q)|RVV W, W, R, P c (W{R)~(W|P)VV W, W, R, Q c W~(W{Q)|RVV W, W, R, T c (W{W)~T|RVV W, W, R, X c W{W~X|RVV W, W, S, X c W~W{S{XVV W, W, T, P c W~(W{P){TVV W, W, T, R c (W{W)~T|RVV W, W, T, V c (W{W|T)~VVV W, W, T, W c W~W{T{WVV W, W, T, X c W~(TW{X)VV W, W, U, V c W~W{U{VVV W, W, V, T c (W{W|T)~VVV W, W, V, U c W~W{V{UVV W, W, W, T c W{W~W{TVV W, W, X, R c W{W~X|RVV W, W, X, S c W~W{X{SVV W, W, X, T c (W{X)~T|WVV W, X, O, T c W~X{O{TVV W, X, P, Q c (W|P)~(X{Q)VV W, X, P, R c W~(X{P)|RVV W, X, P, S c W~X{P{SVV W, X, P, T c W~X{P~TVV W, X, P, U c W~X|P{UVV W, X, Q, P c (W|P)~(X{Q)VV W, X, Q, R c W~X{Q{RVV W, X, Q, V c W~X|Q{VVV W, X, Q, X c X~X|WQVV W, X, R, P c W~(X{P)|RVV W, X, R, Q c W~X{R{QVV W, X, R, V c (W{XR)~VVV W, X, R, W c W~X|R{WVV W, X, S, P c W~X{S{PVV W, X, S, T c W~S{X~TVV W, X, S, V c (WS{X)~VVV W, X, S, W c W~W{X{SVV W, X, S, X c (W{X)~S{XVV W, X, T, O c W~X{T{OVV W, X, T, P c W~X{T~PVV W, X, T, S c W~S{X~TVV W, X, T, W c (W{X)~T|WVV W, X, T, X c (W{TX)~XVV W, X, U, P c W~X{U|PVV W, X, U, V c (W{X|U)~VVV W, X, V, Q c W~X{V|QVV W, X, V, R c (W{XR)~VVV W, X, V, S c (WS{X)~VVV W, X, V, U c W{X~V{UVV W, X, W, R c W{X~W|RVV W, X, W, S c W~W{X{SVV W, X, W, T c (W{X)~T|WVV W, X, X, Q c X~X|WQVV W, X, X, S c W~X{X|SVV W, X, X, T c (W{TX)~XVV X, O, Q, V c (X{O{Q)~VVV X, O, S, X c (X{O)~X|SVV X, O, T, W c (X{O)~W{TVV X, O, V, Q c (X{O{Q)~VVV X, O, W, T c (X{O)~W{TVV X, O, X, S c (X{O)~X|SVV X, P, P, V c (X{P{P)~VVV X, P, Q, U c (X{Q)~(P{U)VV X, P, Q, V c (X{P~Q)~VVV X, P, Q, W c (X{Q)~(W|P)VV X, P, R, V c (X|P{R)~VVV X, P, R, W c (X{P)~W|RVV X, P, R, X c (X~X)|(P{R)VV X, P, S, U c (X{S)~U|PVV X, P, S, W c X~(P{W)|SVV X, P, S, X c X~P~X|SVV X, P, T, V c X~(P{V){TVV X, P, T, W c X~P~W{TVV X, P, T, X c (X|P)~X{TVV X, P, U, Q c (X{Q)~(P{U)VV X, P, U, S c (X{S)~U|PVV X, P, U, W c X~W|P{UVV X, P, V, P c (X{P{P)~VVV X, P, V, Q c (X{P~Q)~VVV X, P, V, R c (X|P{R)~VVV X, P, V, T c X~(P{V){TVV X, P, V, V c (X{P)~V{VVV X, P, W, Q c (X{Q)~(W|P)VV X, P, W, R c (X{P)~W|RVV X, P, W, S c X~(P{W)|SVV X, P, W, T c X~P~W{TVV X, P, W, U c X~W|P{UVV X, P, X, R c (X~X)|(P{R)VV X, P, X, S c X~P~X|SVV X, P, X, T c (X|P)~X{TVV X, Q, O, V c (X{Q{O)~VVV X, Q, P, U c (X{Q)~(P{U)VV X, Q, P, V c (X{Q)~(P~V)VV X, Q, P, W c (X{Q)~(W|P)VV X, Q, Q, T c (X{Q)~(Q{T)VV X, Q, Q, X c (X|Q)~(Q{X)VV X, Q, R, S c (X{Q)~(R{S)VV X, Q, R, W c (X|Q)~(R{W)VV X, Q, S, R c (X{Q)~(S{R)VV X, Q, S, T c X~Q~S{TVV X, Q, S, V c (X|Q{S)~VVV X, Q, T, Q c (X{Q)~(T{Q)VV X, Q, T, S c X~Q~S{TVV X, Q, T, U c (X|Q)~(T{U)VV X, Q, U, P c (X{Q)~(U{P)VV X, Q, U, T c (X|Q)~(U{T)VV X, Q, U, X c X~X{Q|UVV X, Q, V, O c (X{Q)~(V{O)VV X, Q, V, P c (X{Q)~(V~P)VV X, Q, V, S c (X|Q)~(V{S)VV X, Q, V, V c (X~Q|V)~VVV X, Q, V, W c X~W|Q{VVV X, Q, W, P c (X{Q)~(W|P)VV X, Q, W, R c (X|Q)~(W{R)VV X, Q, W, V c X~W|Q{VVV X, Q, W, X c X~X|WQVV X, Q, X, Q c (X{Q)~(X|Q)VV X, Q, X, U c X~X{Q|UVV X, Q, X, W c X~X|WQVV X, R, P, V c (X{R|P)~VVV X, R, P, W c (X{P)~W|RVV X, R, P, X c (X~X)|(R{P)VV X, R, Q, S c (X{Q)~(R{S)VV X, R, Q, W c (X|Q)~(R{W)VV X, R, R, S c X~R~R|SVV X, R, S, Q c (X{Q)~(R{S)VV X, R, S, R c X~R~R|SVV X, R, S, U c X~(R{U)|SVV X, R, T, T c X~(R{T){TVV X, R, T, U c (X{R)~U{TVV X, R, T, V c (X|R{T)~VVV X, R, U, S c X~(R{U)|SVV X, R, U, T c (X{R)~U{TVV X, R, U, V c (X{UR)~VVV X, R, V, P c (X{R|P)~VVV X, R, V, T c (X|R{T)~VVV X, R, V, U c (X{UR)~VVV X, R, V, V c (X{R)~V|VVV X, R, V, W c (XR{W)~VVV X, R, V, X c X~X{R|VVV X, R, W, P c (X{P)~W|RVV X, R, W, Q c X~W{R{QVV X, R, W, V c (XR{W)~VVV X, R, W, W c X~W|R{WVV X, R, X, P c (X~X)|(R{P)VV X, R, X, V c X~X{R|VVV X, S, O, X c (X{O)~X|SVV X, S, P, U c (X{S)~U|PVV X, S, P, W c X~(P{W)|SVV X, S, P, X c X~P~X|SVV X, S, Q, R c (X{Q)~(S{R)VV X, S, Q, T c X~S~Q{TVV X, S, Q, V c (X{S|Q)~VVV X, S, R, Q c (X{Q)~(S{R)VV X, S, R, R c X~R~R|SVV X, S, R, U c X~(R{U)|SVV X, S, S, T c X~(S{S){TVV X, S, T, Q c X~S~Q{TVV X, S, T, S c X~(S{T)|SVV X, S, T, V c (S~T|X)~VVV X, S, T, W c X~T{S~WVV X, S, T, X c (X{X)~S{TVV X, S, U, P c (X{S)~U|PVV X, S, U, R c X~(U{R)|SVV X, S, U, V c (X|S{U)~VVV X, S, V, Q c (X{S|Q)~VVV X, S, V, T c (S~T|X)~VVV X, S, V, U c (X|S{U)~VVV X, S, V, W c (X{WS)~VVV X, S, W, P c X~W{S{PVV X, S, W, T c X~T{S~WVV X, S, W, V c (X{WS)~VVV X, S, W, W c X{S{W~WVV X, S, W, X c X{S~(W{X)VV X, S, X, O c X~X|S{OVV X, S, X, P c X~X|S~PVV X, S, X, T c (X{X)~S{TVV X, S, X, W c X{S~(X{W)VV X, S, X, X c (X|SX)~XVV X, T, O, W c (X{O)~W{TVV X, T, P, V c X~(P{V){TVV X, T, P, W c X~P~W{TVV X, T, P, X c (X|P)~X{TVV X, T, Q, Q c (X{Q)~(T{Q)VV X, T, Q, S c X~Q~S{TVV X, T, Q, U c (X|Q)~(T{U)VV X, T, R, T c X~(T{R){TVV X, T, R, U c (X{R)~U{TVV X, T, R, V c (X{T|R)~VVV X, T, S, Q c X~S~Q{TVV X, T, S, S c X~(T{S)|SVV X, T, S, V c (T~S|X)~VVV X, T, S, W c X~T{S~WVV X, T, S, X c (X{X)~S{TVV X, T, T, R c X~(T{R){TVV X, T, T, V c (X{T)~T{VVV X, T, U, Q c (X{U)~T{QVV X, T, U, R c (X{R)~U{TVV X, T, U, V c (X{T)~U|VVV X, T, V, P c X~(V{P){TVV X, T, V, R c (X{T|R)~VVV X, T, V, S c (T~S|X)~VVV X, T, V, T c (X{T)~T{VVV X, T, V, U c (X{T)~U|VVV X, T, V, V c (X|T{V)~VVV X, T, V, X c X{T{V~XVV X, T, W, O c X~W{T{OVV X, T, W, P c X~W{T~PVV X, T, W, S c X~T{W~SVV X, T, W, W c (X{TW)~WVV X, T, W, X c X~(TX{W)VV X, T, X, P c X~X|T{PVV X, T, X, S c (X{X)~S{TVV X, T, X, V c X{T{X~VVV X, T, X, W c X~(TX{W)VV X, T, X, X c X~X{T|XVV X, U, P, Q c (X{Q)~(U{P)VV X, U, P, S c (X{S)~U|PVV X, U, P, W c X~W{U|PVV X, U, Q, P c (X{Q)~(U{P)VV X, U, Q, T c X~(U{Q){TVV X, U, Q, X c X~X|U{QVV X, U, R, S c X~(U{R)|SVV X, U, R, T c (X{R)~U{TVV X, U, R, V c (X{UR)~VVV X, U, S, P c (X{S)~U|PVV X, U, S, R c X~(U{R)|SVV X, U, S, V c (X{U|S)~VVV X, U, T, Q c (X{U)~T{QVV X, U, T, R c (X{R)~U{TVV X, U, T, V c (X{T)~U|VVV X, U, V, R c (X{UR)~VVV X, U, V, S c (X{U|S)~VVV X, U, V, T c (X{T)~U|VVV X, U, V, W c (X|U{W)~VVV X, U, W, P c X~W{U|PVV X, U, W, V c (X|U{W)~VVV X, U, X, Q c X~X|U{QVV X, V, O, Q c (X{O{Q)~VVV X, V, P, P c (X{P{P)~VVV X, V, P, Q c (X{P~Q)~VVV X, V, P, R c (X|P{R)~VVV X, V, P, T c X~(V{P){TVV X, V, P, V c (X{P)~V{VVV X, V, Q, O c (X{Q)~(V{O)VV X, V, Q, P c (X{Q)~(V~P)VV X, V, Q, S c X~(V{Q)|SVV X, V, Q, V c X~V{Q~VVV X, V, Q, W c X~W{V|QVV X, V, R, P c (X{R|P)~VVV X, V, R, T c (X{V)~T|RVV X, V, R, U c (X{UR)~VVV X, V, R, V c (X{R)~V|VVV X, V, R, W c (XR{W)~VVV X, V, R, X c X~X|V{RVV X, V, S, Q c X~(V{Q)|SVV X, V, S, T c V~(S~T|X)VV X, V, S, U c (X|S{U)~VVV X, V, S, W c (X{WS)~VVV X, V, T, P c X~(V{P){TVV X, V, T, R c (X{V)~T|RVV X, V, T, S c V~(T~S|X)VV X, V, T, T c (X{T)~T{VVV X, V, T, U c (X{T)~U|VVV X, V, T, V c (X{V|T)~VVV X, V, T, X c X~V{T{XVV X, V, U, R c (X{UR)~VVV X, V, U, S c (X{U|S)~VVV X, V, U, T c (X{T)~U|VVV X, V, U, W c X~V{U{WVV X, V, V, P c (X{P)~V{VVV X, V, V, Q c X~V{V~QVV X, V, V, R c (X{R)~V|VVV X, V, V, T c (X{V|T)~VVV X, V, V, V c X~V{V{VVV X, V, V, X c (X|V{X)~VVV X, V, W, Q c X~W{V|QVV X, V, W, R c (XR{W)~VVV X, V, W, S c (X{WS)~VVV X, V, W, U c X~V{W{UVV X, V, X, R c X~X|V{RVV X, V, X, T c X{V~X{TVV X, V, X, V c (X|V{X)~VVV X, W, O, T c X~W{O{TVV X, W, P, Q c (X{Q)~(W|P)VV X, W, P, R c (X{P)~W|RVV X, W, P, S c X~W{P{SVV X, W, P, T c X~W{P~TVV X, W, P, U c X~W|P{UVV X, W, Q, P c (X{Q)~(W|P)VV X, W, Q, R c X~W{Q{RVV X, W, Q, V c X~W|Q{VVV X, W, Q, X c X~X|WQVV X, W, R, P c (X{P)~W|RVV X, W, R, Q c X~W{R{QVV X, W, R, V c (XR{W)~VVV X, W, R, W c X~W|R{WVV X, W, S, P c X~W{S{PVV X, W, S, T c X~T{W~SVV X, W, S, V c (X{WS)~VVV X, W, S, W c X{W~W{SVV X, W, S, X c (X{W)~S{XVV X, W, T, O c X~W{T{OVV X, W, T, P c X~W{T~PVV X, W, T, S c X~T{W~SVV X, W, T, W c (X{W)~T|WVV X, W, T, X c X~(W{TX)VV X, W, U, P c X~W{U|PVV X, W, U, V c (X{W|U)~VVV X, W, V, Q c X~W{V|QVV X, W, V, R c (XR{W)~VVV X, W, V, S c (X{WS)~VVV X, W, V, U c (X{W|U)~VVV X, W, W, R c X~W{W|RVV X, W, W, S c X{W~W{SVV X, W, W, T c (X{W)~T|WVV X, W, X, Q c X~X|WQVV X, W, X, S c X{(W{X)~SVV X, W, X, T c X~(W{TX)VV X, X, O, S c X~X{O|SVV X, X, P, R c (X~X)|(P{R)VV X, X, P, S c X~X|P~SVV X, X, P, T c X~X{P|TVV X, X, Q, Q c (X~X)|(Q{Q)VV X, X, Q, U c X~X{Q|UVV X, X, Q, W c X~X|WQVV X, X, R, P c (X~X)|(R{P)VV X, X, R, V c X~X{R|VVV X, X, S, O c X~X|S{OVV X, X, S, P c X~X|S~PVV X, X, S, T c (X{X)~S{TVV X, X, S, W c X~X{S|WVV X, X, S, X c X~(X|SX)VV X, X, T, P c X~X|T{PVV X, X, T, S c (X{X)~S{TVV X, X, T, V c X{X~V{TVV X, X, T, W c X~(TX{W)VV X, X, T, X c X~X{T|XVV X, X, U, Q c X~X|U{QVV X, X, V, R c X~X|V{RVV X, X, V, T c X{X~V{TVV X, X, V, V c (X{X|V)~VVV X, X, W, Q c X~X|WQVV X, X, W, S c X{(X{W)~SVV X, X, W, T c X~(W{TX)VV X, X, X, S c X~(X|SX)VV X, X, X, T c X~X|X{TVV