O, P, V, X c (O{P{X)~VVO O, P, X, V c (O{P{X)~VVO O, Q, T, V c O{Q~T~VVO O, Q, V, T c O{Q~V~TVO O, Q, V, W c (O{Q{W)~VVO O, Q, W, V c (O{Q{W)~VVO O, Q, W, X c O{W~X|QVO O, Q, X, W c O{X~W|QVO O, R, V, V c (O{R{V)~VVO O, S, U, V c (O{S{U)~VVO O, S, V, U c (O{S{U)~VVO O, T, Q, V c O{T~Q~VVO O, T, T, V c (O{T{T)~VVO O, T, T, X c (O{T)~(T{X)VO O, T, U, W c (O{T)~(U{W)VO O, T, V, Q c O{T~V~QVO O, T, V, T c (O{T{T)~VVO O, T, V, V c (O{T)~(V{V)VO O, T, W, U c (O{T)~(W{U)VO O, T, X, T c (O{T{X)~TVO O, U, S, V c (O{U{S)~VVO O, U, T, W c (O{U{W)~TVO O, U, V, S c (O{U{S)~VVO O, U, W, T c (O{U{W)~TVO O, U, W, W c O{U{W~WVO O, V, P, X c (O{V)~(P{X)VO O, V, Q, T c O{V~Q~TVO O, V, Q, W c (O{V)~(Q{W)VO O, V, R, V c (O{V{R)~VVO O, V, S, U c (O{V)~(S{U)VO O, V, T, Q c O{V~T~QVO O, V, T, T c (O{V)~(T{T)VO O, V, T, V c (O{V{V)~TVO O, V, U, S c (O{V)~(U{S)VO O, V, V, R c (O{V)~(V{R)VO O, V, V, T c (O{V{V)~TVO O, V, V, X c O{V{V~XVO O, V, W, Q c (O{V)~(W{Q)VO O, V, X, P c (O{V)~(X{P)VO O, V, X, V c O{V{X~VVO O, W, Q, V c (O{W{Q)~VVO O, W, Q, X c O{W~X|QVO O, W, T, U c (O{W{U)~TVO O, W, U, T c (O{W{U)~TVO O, W, U, W c O{W~W{UVO O, W, V, Q c (O{W{Q)~VVO O, W, W, U c O{W~W{UVO O, W, X, Q c O{W~X|QVO O, X, P, V c (O{X{P)~VVO O, X, Q, W c O{X~W|QVO O, X, T, T c (O{X{T)~TVO O, X, V, P c (O{X{P)~VVO O, X, V, V c O{X~V{VVO O, X, W, Q c O{X~W|QVO P, O, V, X c (P{O{X)~VVO P, O, X, V c (P{O{X)~VVO P, P, T, V c (P{P)~(T~V)VO P, P, U, X c (P{U)~(P{X)VO P, P, V, T c (P{P)~(V~T)VO P, P, V, W c (P{P{W)~VVO P, P, V, X c (P{P~X)~VVO P, P, W, V c (P{P{W)~VVO P, P, W, X c (P{X)~(W|P)VO P, P, X, U c (P{X)~(P{U)VO P, P, X, V c (P{P~X)~VVO P, P, X, W c (P{X)~(W|P)VO P, Q, S, V c (P{S)~(Q~V)VO P, Q, S, X c Q~(S~X|P)VO P, Q, T, U c (P{U)~(Q~T)VO P, Q, T, V c P~Q~T~VVO P, Q, T, W c (Q~T)~(W|P)VO P, Q, T, X c (P{X)~(Q{T)VO P, Q, U, T c (P{U)~(Q~T)VO P, Q, U, U c Q~(U~U|P)VO P, Q, U, V c Q~(U|P)~VVO P, Q, U, W c (P{U)~(Q{W)VO P, Q, V, S c (P{S)~(Q~V)VO P, Q, V, T c P~Q~V~TVO P, Q, V, U c (Q~V)~(U|P)VO P, Q, V, V c (P{Q{V)~VVO P, Q, V, W c (P~Q{W)~VVO P, Q, V, X c (P{V)~X|QVO P, Q, W, T c Q~(W|P)~TVO P, Q, W, U c (P{U)~(Q{W)VO P, Q, W, V c (P~Q{W)~VVO P, Q, W, W c (P{W)~W|QVO P, Q, W, X c P~W~X|QVO P, Q, X, S c Q~(X~S|P)VO P, Q, X, T c (P{X)~(Q{T)VO P, Q, X, V c (P{V)~X|QVO P, Q, X, W c P~X~W|QVO P, Q, X, X c (P{X)~(X|Q)VO P, R, R, V c (P{R~R)~VVO P, R, S, X c (P{X)~(R{S)VO P, R, T, T c (R~T|P)~TVO P, R, T, V c (R|P)~(T~V)VO P, R, U, V c (P{R{U)~VVO P, R, V, R c (P{R~R)~VVO P, R, V, T c (R|P)~(V~T)VO P, R, V, U c (P{R{U)~VVO P, R, V, V c (P~R{V)~VVO P, R, V, W c (R|P{W)~VVO P, R, W, V c (R|P{W)~VVO P, R, W, X c P{W~X|RVO P, R, X, S c (P{X)~(R{S)VO P, R, X, W c P{X~W|RVO P, S, Q, V c (P{S)~(Q~V)VO P, S, Q, X c (S~X|P)~QVO P, S, R, X c (P{X)~(S{R)VO P, S, T, V c (P{S{T)~VVO P, S, T, X c (P{S)~(T{X)VO P, S, U, U c (P{U)~(S{U)VO P, S, U, V c (P~S{U)~VVO P, S, U, W c (P{S)~(U{W)VO P, S, V, Q c (P{S)~(V~Q)VO P, S, V, T c (P{S{T)~VVO P, S, V, U c (P~S{U)~VVO P, S, V, V c (P{S)~(V{V)VO P, S, W, U c (P{S)~(W{U)VO P, S, W, X c W~(X|PS)VO P, S, X, Q c (S~X|P)~QVO P, S, X, R c (P{X)~(S{R)VO P, S, X, T c (P{S{X)~TVO P, S, X, W c (X|PS)~WVO P, T, P, V c (P{P)~(T~V)VO P, T, Q, U c (P{U)~(T~Q)VO P, T, Q, V c P~T~Q~VVO P, T, Q, W c (T~Q)~(W|P)VO P, T, Q, X c (P{X)~(T{Q)VO P, T, R, T c (T~R|P)~TVO P, T, R, V c T~(R|P)~VVO P, T, S, V c (P{T{S)~VVO P, T, S, X c (P{S)~(T{X)VO P, T, T, R c T~(T~R|P)VO P, T, T, U c (P{U)~(T{T)VO P, T, T, V c (P~T{T)~VVO P, T, T, W c (P{T{W)~TVO P, T, T, X c (P~T)~(T{X)VO P, T, U, Q c (P{U)~(T~Q)VO P, T, U, T c (P{U)~(T{T)VO P, T, U, V c (P{U{V)~TVO P, T, U, W c (P~T)~(U{W)VO P, T, U, X c T~(U|P{X)VO P, T, V, P c (P{P)~(T~V)VO P, T, V, Q c P~T~V~QVO P, T, V, R c (T~V)~(R|P)VO P, T, V, S c (P{T{S)~VVO P, T, V, T c (P~T{T)~VVO P, T, V, U c (P{V{U)~TVO P, T, V, V c (P~T)~(V{V)VO P, T, V, W c T~(V|P{W)VO P, T, W, Q c T~(W|P)~QVO P, T, W, T c (P{T{W)~TVO P, T, W, U c (P~T)~(W{U)VO P, T, W, V c T~(W|P{V)VO P, T, W, W c P{T{W~WVO P, T, X, Q c (P{X)~(T{Q)VO P, T, X, S c (P{X{S)~TVO P, T, X, T c (P~T{X)~TVO P, T, X, U c T~(X|P{U)VO P, U, P, X c (P{U)~(P{X)VO P, U, Q, T c (P{U)~(Q~T)VO P, U, Q, U c (U~U|P)~QVO P, U, Q, V c (U|P)~(Q~V)VO P, U, Q, W c (P{U)~(Q{W)VO P, U, R, V c (P{U{R)~VVO P, U, S, U c (P{U)~(S{U)VO P, U, S, V c (P~U{S)~VVO P, U, S, W c (P{S)~(U{W)VO P, U, T, Q c (P{U)~(T~Q)VO P, U, T, T c (P{U)~(T{T)VO P, U, T, V c (P{U{V)~TVO P, U, T, W c (P~U{W)~TVO P, U, T, X c (U|P)~(T{X)VO P, U, U, Q c (U~U|P)~QVO P, U, U, S c (P{U)~(U{S)VO P, U, U, W c (U|P)~(U{W)VO P, U, V, Q c (U|P)~(V~Q)VO P, U, V, R c (P{U)~(V{R)VO P, U, V, S c (P~U{S)~VVO P, U, V, T c (P{U{V)~TVO P, U, V, V c (U|P)~(V{V)VO P, U, V, W c (P{V)~W{UVO P, U, V, X c P{U{V~XVO P, U, W, Q c (P{U)~(W{Q)VO P, U, W, S c (P{S)~(U{W)VO P, U, W, T c (P~U{W)~TVO P, U, W, U c (U|P)~(W{U)VO P, U, W, V c (P{V)~W{UVO P, U, W, W c P~U{W~WVO P, U, W, X c U{W~(X|P)VO P, U, X, P c (P{U)~(X{P)VO P, U, X, T c (U|P{X)~TVO P, U, X, V c P{U{X~VVO P, U, X, W c U{(X|P)~WVO P, V, O, X c (P{O{X)~VVO P, V, P, T c (P{P)~(V~T)VO P, V, P, W c (P{P{W)~VVO P, V, P, X c (P~V)~(P{X)VO P, V, Q, S c (P{S)~(V~Q)VO P, V, Q, T c P~V~Q~TVO P, V, Q, U c (V~Q)~(U|P)VO P, V, Q, V c (P{V{Q)~VVO P, V, Q, W c (P~V)~(Q{W)VO P, V, Q, X c (P{V)~X|QVO P, V, R, R c (P{R~R)~VVO P, V, R, T c V~(R|P)~TVO P, V, R, U c (P{R{U)~VVO P, V, R, V c (P~V{R)~VVO P, V, R, W c V~(R|P{W)VO P, V, S, Q c (P{S)~(V~Q)VO P, V, S, T c (P{S{T)~VVO P, V, S, U c (P~V)~(S{U)VO P, V, S, V c (P{S)~(V{V)VO P, V, T, P c (P{P)~(V~T)VO P, V, T, Q c P~V~T~QVO P, V, T, R c (V~T)~(R|P)VO P, V, T, S c (P{T{S)~VVO P, V, T, T c (P~V)~(T{T)VO P, V, T, U c (P{V{U)~TVO P, V, T, V c (P~V{V)~TVO P, V, T, W c (V|P{W)~TVO P, V, U, Q c V~(U|P)~QVO P, V, U, R c (P{U)~(V{R)VO P, V, U, S c (P~V)~(U{S)VO P, V, U, T c (P{V{U)~TVO P, V, U, V c (V{V)~(U|P)VO P, V, U, W c (P{V)~W{UVO P, V, U, X c P{V~X{UVO P, V, V, Q c (P{V{Q)~VVO P, V, V, R c (P~V)~(V{R)VO P, V, V, S c (P{S)~(V{V)VO P, V, V, T c (P~V{V)~TVO P, V, V, U c (V{V)~(U|P)VO P, V, V, W c (P{W)~V{VVO P, V, V, X c P~V{V~XVO P, V, W, P c (P{W{P)~VVO P, V, W, Q c (P~V)~(W{Q)VO P, V, W, R c V~(W|P{R)VO P, V, W, T c (V|P{W)~TVO P, V, W, U c (P{V)~W{UVO P, V, W, V c (P{W)~V{VVO P, V, W, W c V|P{W~WVO P, V, W, X c V{(W|P)~XVO P, V, X, O c (P{X)~(V{O)VO P, V, X, P c (P~V)~(X{P)VO P, V, X, Q c (P{V)~X|QVO P, V, X, U c P{V~X{UVO P, V, X, V c P~V{X~VVO P, V, X, W c V~X|P{WVO P, W, P, V c (P{W{P)~VVO P, W, P, X c (P{X)~(W|P)VO P, W, Q, T c (W|P)~(Q~T)VO P, W, Q, U c (P{U)~(W{Q)VO P, W, Q, V c (P~W{Q)~VVO P, W, Q, W c (P{W)~W|QVO P, W, Q, X c P~W~X|QVO P, W, R, V c (W|P{R)~VVO P, W, R, X c P{W~X|RVO P, W, S, U c (P{S)~(W{U)VO P, W, S, X c W~(X|PS)VO P, W, T, Q c (W|P)~(T~Q)VO P, W, T, T c (P{W{T)~TVO P, W, T, U c (P~W{U)~TVO P, W, T, V c (W|P{V)~TVO P, W, T, W c P{W~W{TVO P, W, U, Q c (P{U)~(W{Q)VO P, W, U, S c (P{S)~(W{U)VO P, W, U, T c (P~W{U)~TVO P, W, U, U c (W{U)~(U|P)VO P, W, U, V c (P{V)~W{UVO P, W, U, W c P~W~W{UVO P, W, U, X c W~(X|P){UVO P, W, V, P c (P{W{P)~VVO P, W, V, Q c (P~W{Q)~VVO P, W, V, R c (W|P)~(V{R)VO P, W, V, T c (W|P{V)~TVO P, W, V, U c (P{V)~W{UVO P, W, V, V c (P{W)~V{VVO P, W, V, W c W~W|P{VVO P, W, V, X c W|P{V~XVO P, W, W, Q c (P{W)~W|QVO P, W, W, T c P{W~W{TVO P, W, W, U c P~W~W{UVO P, W, W, V c W~W|P{VVO P, W, X, P c (P{X)~(W|P)VO P, W, X, Q c P~W~X|QVO P, W, X, R c P{W~X|RVO P, W, X, S c W~(X|PS)VO P, W, X, U c W~(X|P){UVO P, W, X, V c W|P{X~VVO P, X, O, V c (P{X{O)~VVO P, X, P, U c (P{X)~(P{U)VO P, X, P, V c (P{X)~(P~V)VO P, X, P, W c (P{X)~(W|P)VO P, X, Q, S c (X~S|P)~QVO P, X, Q, T c (P{X)~(Q{T)VO P, X, Q, V c (P{V)~X|QVO P, X, Q, W c P~X~W|QVO P, X, Q, X c (P{X)~(X|Q)VO P, X, R, S c (P{X)~(R{S)VO P, X, R, W c P{X~W|RVO P, X, S, Q c (X~S|P)~QVO P, X, S, R c (P{X)~(S{R)VO P, X, S, T c (P{X{S)~TVO P, X, S, W c (X|PS)~WVO P, X, T, Q c (P{X)~(T{Q)VO P, X, T, S c (P{X{S)~TVO P, X, T, T c (P~X{T)~TVO P, X, T, U c (X|P{U)~TVO P, X, U, P c (P{X)~(U{P)VO P, X, U, T c (X|P{U)~TVO P, X, U, V c P{X~V{UVO P, X, U, W c (X|P)~W{UVO P, X, V, O c (P{X)~(V{O)VO P, X, V, P c (P{X)~(V~P)VO P, X, V, Q c (P{V)~X|QVO P, X, V, U c P{X~V{UVO P, X, V, V c P~X~V{VVO P, X, V, W c X~V|P{WVO P, X, W, P c (P{X)~(W|P)VO P, X, W, Q c P~X~W|QVO P, X, W, R c P{X~W|RVO P, X, W, S c (X|PS)~WVO P, X, W, U c (X|P)~W{UVO P, X, W, V c X~(W|P){VVO P, X, X, Q c (P{X)~(X|Q)VO Q, O, T, V c (Q{O)~(T~V)VO Q, O, V, T c (Q{O)~(V~T)VO Q, O, V, W c (Q{O{W)~VVO Q, O, W, V c (Q{O{W)~VVO Q, O, W, X c O{W~X|QVO Q, O, X, W c O{X~W|QVO Q, P, S, V c Q~(P{S)~VVO Q, P, S, X c Q~(S~X|P)VO Q, P, T, U c Q~(P{U)~TVO Q, P, T, V c Q~P~T~VVO Q, P, T, W c (Q~T)~(W|P)VO Q, P, T, X c (Q{T)~(P{X)VO Q, P, U, T c Q~(P{U)~TVO Q, P, U, U c Q~(U~U|P)VO Q, P, U, V c Q~(U|P)~VVO Q, P, U, W c (Q{W)~(P{U)VO Q, P, V, S c Q~(P{S)~VVO Q, P, V, T c Q~P~V~TVO Q, P, V, U c (Q~V)~(U|P)VO Q, P, V, V c (Q{P{V)~VVO Q, P, V, W c (Q{P~W)~VVO Q, P, V, X c (Q|P{X)~VVO Q, P, W, T c Q~(W|P)~TVO Q, P, W, U c (Q{W)~(P{U)VO Q, P, W, V c (Q{P~W)~VVO Q, P, W, W c (Q{W)~(W|P)VO Q, P, W, X c P~W~X|QVO Q, P, X, S c Q~(X~S|P)VO Q, P, X, T c (Q{T)~(P{X)VO Q, P, X, V c (Q|P{X)~VVO Q, P, X, W c P~X~W|QVO Q, P, X, X c (P{X)~(X|Q)VO Q, Q, R, V c Q~(Q{R)~VVO Q, Q, S, V c (Q{Q~S)~VVO Q, Q, S, X c Q~S~X|QVO Q, Q, T, T c Q~(Q{T)~TVO Q, Q, T, U c (Q{Q~U)~TVO Q, Q, T, W c (Q{T)~(Q{W)VO Q, Q, T, X c (Q~T)~(X|Q)VO Q, Q, U, T c (Q{Q~U)~TVO Q, Q, U, U c Q~U~U|QVO Q, Q, U, V c (Q{Q{U)~VVO Q, Q, U, X c (Q{U)~X|QVO Q, Q, V, R c Q~(Q{R)~VVO Q, Q, V, S c (Q{Q~S)~VVO Q, Q, V, U c (Q{Q{U)~VVO Q, Q, V, V c Q~(V|Q)~VVO Q, Q, V, W c (Q{V)~W|QVO Q, Q, V, X c (QQ{X)~VVO Q, Q, W, T c (Q{W)~(Q{T)VO Q, Q, W, V c (Q{V)~W|QVO Q, Q, W, X c (Q{W)~(X|Q)VO Q, Q, X, S c Q~X~S|QVO Q, Q, X, T c Q~(X|Q)~TVO Q, Q, X, U c (Q{U)~X|QVO Q, Q, X, V c (QQ{X)~VVO Q, Q, X, W c (Q{W)~(X|Q)VO Q, R, Q, V c (Q{R)~(Q~V)VO Q, R, R, W c R~R~W|QVO Q, R, S, T c (Q{R~S)~TVO Q, R, S, U c R~S~U|QVO Q, R, S, V c (Q~R{S)~VVO Q, R, S, W c Q~(R{S~W)VO Q, R, T, S c (Q{R~S)~TVO Q, R, T, V c (Q{R{T)~VVO Q, R, T, W c (Q~R{W)~TVO Q, R, T, X c (Q{R)~(T{X)VO Q, R, U, S c R~U~S|QVO Q, R, U, W c (Q{R)~(U{W)VO Q, R, U, X c (R{X)~U|QVO Q, R, V, Q c (Q{R)~(V~Q)VO Q, R, V, S c (Q~R{S)~VVO Q, R, V, T c (Q{R{T)~VVO Q, R, V, V c (Q{R)~(V{V)VO Q, R, V, W c (Q~V)~(W|R)VO Q, R, V, X c (R|Q{X)~VVO Q, R, W, R c R~W~R|QVO Q, R, W, S c Q~(R{W~S)VO Q, R, W, T c (Q~R{W)~TVO Q, R, W, U c (Q{R)~(W{U)VO Q, R, W, V c Q~(W|R)~VVO Q, R, W, W c Q~R{W~WVO Q, R, W, X c Q~(R~X{W)VO Q, R, X, T c (Q{R{X)~TVO Q, R, X, U c (R{X)~U|QVO Q, R, X, V c (R|Q{X)~VVO Q, R, X, W c Q~(R~X{W)VO Q, S, P, V c Q~(S{P)~VVO Q, S, P, X c Q~(S~X|P)VO Q, S, Q, V c (Q{S~Q)~VVO Q, S, Q, X c Q~S~X|QVO Q, S, R, T c (Q{S~R)~TVO Q, S, R, U c S~R~U|QVO Q, S, R, V c (Q~R{S)~VVO Q, S, R, W c Q~(S~W{R)VO Q, S, S, T c (S~S|Q)~TVO Q, S, S, V c (Q{S{S)~VVO Q, S, S, X c (S{S)~X|QVO Q, S, T, R c (Q{S~R)~TVO Q, S, T, S c (S~S|Q)~TVO Q, S, T, T c (Q~T{S)~TVO Q, S, T, U c (Q~S{U)~TVO Q, S, T, V c (S|Q)~(T~V)VO Q, S, T, W c (Q{S{W)~TVO Q, S, T, X c (Q~X|S)~TVO Q, S, U, R c S~U~R|QVO Q, S, U, T c (Q~S{U)~TVO Q, S, U, W c Q~S~W{UVO Q, S, U, X c (Q{X)~U{SVO Q, S, V, P c Q~(S{P)~VVO Q, S, V, Q c (Q{S~Q)~VVO Q, S, V, R c (Q~R{S)~VVO Q, S, V, S c (Q{S{S)~VVO Q, S, V, T c (S|Q)~(V~T)VO Q, S, V, V c Q~(S~V{V)VO Q, S, V, W c (S|Q{W)~VVO Q, S, V, X c (Q~V)~(X|S)VO Q, S, W, R c Q~(S~W{R)VO Q, S, W, T c (Q{S{W)~TVO Q, S, W, U c Q~S~W{UVO Q, S, W, V c (S|Q{W)~VVO Q, S, W, W c Q{S{W~WVO Q, S, W, X c Q{S~(W{X)VO Q, S, X, P c Q~(S~X|P)VO Q, S, X, Q c Q~S~X|QVO Q, S, X, S c (S{S)~X|QVO Q, S, X, T c (Q~X|S)~TVO Q, S, X, U c (Q{X)~U{SVO Q, S, X, V c Q~(X|S)~VVO Q, S, X, W c Q{S~(X{W)VO Q, S, X, X c S~(X{X)|QVO Q, T, O, V c (Q~T{O)~VVO Q, T, P, U c (Q~T)~(P{U)VO Q, T, P, V c Q~T~P~VVO Q, T, P, W c (Q~T)~(W|P)VO Q, T, P, X c (Q{T)~(P{X)VO Q, T, Q, T c (Q{T)~(Q~T)VO Q, T, Q, U c (Q{Q~U)~TVO Q, T, Q, W c (Q{T)~(Q{W)VO Q, T, Q, X c (Q~T)~(X|Q)VO Q, T, R, S c (Q~T)~(R{S)VO Q, T, R, V c (Q{T{R)~VVO Q, T, R, W c (Q~R{W)~TVO Q, T, R, X c (Q{R)~(T{X)VO Q, T, S, R c (Q~T)~(S{R)VO Q, T, S, S c T~(S~S|Q)VO Q, T, S, T c (Q~T{S)~TVO Q, T, S, U c (Q{T)~(S{U)VO Q, T, S, V c TQ~S~VVO Q, T, S, W c (Q{S{W)~TVO Q, T, S, X c (Q~X|S)~TVO Q, T, T, Q c (Q{T)~(T~Q)VO Q, T, T, S c (Q~T{S)~TVO Q, T, T, T c (Q{T)~(T{T)VO Q, T, T, U c Q~(T{T~U)VO Q, T, T, V c (Q{T{V)~TVO Q, T, T, W c Q~(T~W|T)VO Q, T, T, X c (T{T)~(X|Q)VO Q, T, U, P c (Q~T)~(U{P)VO Q, T, U, Q c (Q{U~Q)~TVO Q, T, U, S c (Q{T)~(U{S)VO Q, T, U, T c Q~(T{U~T)VO Q, T, U, U c (Q{U{U)~TVO Q, T, U, V c (T{V)~U|QVO Q, T, V, O c Q~T~V{OVO Q, T, V, P c Q~T~V~PVO Q, T, V, R c (Q{T)~(V{R)VO Q, T, V, S c TQ~V~SVO Q, T, V, T c (Q{T{V)~TVO Q, T, V, U c (T{V)~U|QVO Q, T, V, V c (T|Q{V)~VVO Q, T, V, X c Q{T{V~XVO Q, T, W, P c (Q~T)~(W|P)VO Q, T, W, Q c (Q{T)~(W{Q)VO Q, T, W, R c (Q~R{W)~TVO Q, T, W, S c (Q{W{S)~TVO Q, T, W, T c Q~(T~W|T)VO Q, T, W, W c T~(W|Q{W)VO Q, T, X, P c (Q{T)~(X{P)VO Q, T, X, Q c (Q~T)~(X|Q)VO Q, T, X, R c (Q{X{R)~TVO Q, T, X, S c (Q~X|S)~TVO Q, T, X, T c (T{T)~(X|Q)VO Q, T, X, V c Q{T{X~VVO Q, U, P, T c Q~(U{P)~TVO Q, U, P, U c Q~(U~U|P)VO Q, U, P, V c Q~(U|P)~VVO Q, U, P, W c (Q{W)~(U{P)VO Q, U, Q, T c (Q{U~Q)~TVO Q, U, Q, U c Q~U~U|QVO Q, U, Q, V c (Q{U{Q)~VVO Q, U, Q, X c (Q{U)~X|QVO Q, U, R, S c U~R~S|QVO Q, U, R, W c (Q{R)~(U{W)VO Q, U, R, X c U~(R{X)|QVO Q, U, S, R c U~S~R|QVO Q, U, S, T c (Q~S{U)~TVO Q, U, S, W c Q~S~W{UVO Q, U, S, X c (Q{X)~U{SVO Q, U, T, P c Q~(U{P)~TVO Q, U, T, Q c (Q{U~Q)~TVO Q, U, T, S c (Q{T)~(U{S)VO Q, U, T, T c Q~(U~T{T)VO Q, U, T, U c (Q{U{U)~TVO Q, U, T, V c U~(T{V)|QVO Q, U, U, P c Q~(U~U|P)VO Q, U, U, Q c Q~U~U|QVO Q, U, U, T c (Q{U{U)~TVO Q, U, U, U c (U{U)~U|QVO Q, U, U, V c (U|Q{U)~VVO Q, U, U, W c (Q{U)~W{UVO Q, U, V, P c Q~(U|P)~VVO Q, U, V, Q c (Q{U{Q)~VVO Q, U, V, T c U~(V{T)|QVO Q, U, V, U c (U|Q{U)~VVO Q, U, V, V c Q~(U~V|V)VO Q, U, V, W c (Q~W|U)~VVO Q, U, W, P c (Q{W)~(U{P)VO Q, U, W, R c (Q{R)~(U{W)VO Q, U, W, S c Q~W~S{UVO Q, U, W, U c (Q{U)~W{UVO Q, U, W, V c (Q~W|U)~VVO Q, U, W, X c Q~W{U~XVO Q, U, X, Q c (Q{U)~X|QVO Q, U, X, R c U~(X{R)|QVO Q, U, X, S c (Q{X)~U{SVO Q, U, X, W c Q~W{U~XVO Q, V, O, T c (Q~V{O)~TVO Q, V, O, W c (Q{O{W)~VVO Q, V, P, S c (Q~V)~(P{S)VO Q, V, P, T c Q~V~P~TVO Q, V, P, U c (Q~V)~(U|P)VO Q, V, P, V c (Q{V{P)~VVO Q, V, P, W c (Q{P~W)~VVO Q, V, P, X c (Q|P{X)~VVO Q, V, Q, R c (Q~V)~(Q{R)VO Q, V, Q, S c (Q{Q~S)~VVO Q, V, Q, U c (Q{Q{U)~VVO Q, V, Q, V c Q~(V|Q)~VVO Q, V, Q, W c (Q{V)~W|QVO Q, V, Q, X c (QQ{X)~VVO Q, V, R, Q c (Q~V)~(R{Q)VO Q, V, R, S c (Q~R{S)~VVO Q, V, R, T c (Q{R{T)~VVO Q, V, R, V c (Q{R)~(V{V)VO Q, V, R, W c (Q~V)~(W|R)VO Q, V, R, X c V~(R|Q{X)VO Q, V, S, P c (Q~V)~(S{P)VO Q, V, S, Q c (Q{S~Q)~VVO Q, V, S, R c (Q~R{S)~VVO Q, V, S, S c (Q{S{S)~VVO Q, V, S, T c VQ~S~TVO Q, V, S, V c Q~(V{S~V)VO Q, V, S, W c V~(S|Q{W)VO Q, V, S, X c (Q~V)~(X|S)VO Q, V, T, O c Q~V~T{OVO Q, V, T, P c Q~V~T~PVO Q, V, T, R c (Q{T)~(V{R)VO Q, V, T, S c VQ~T~SVO Q, V, T, T c (Q{V{T)~TVO Q, V, T, U c (V{T)~U|QVO Q, V, T, V c (V|Q{T)~VVO Q, V, T, X c Q{V~X{TVO Q, V, U, P c (Q~V)~(U|P)VO Q, V, U, Q c (Q{U{Q)~VVO Q, V, U, T c (V{T)~U|QVO Q, V, U, U c V~(U|Q{U)VO Q, V, U, V c Q~(V~U|V)VO Q, V, U, W c (Q~W|U)~VVO Q, V, V, P c (Q{V{P)~VVO Q, V, V, Q c (Q~V)~(V|Q)VO Q, V, V, R c (Q{R)~(V{V)VO Q, V, V, S c Q~(V{V~S)VO Q, V, V, T c (V|Q{T)~VVO Q, V, V, U c Q~(V~U|V)VO Q, V, V, V c (Q{V)~V{VVO Q, V, V, W c Q~V{V~WVO Q, V, V, X c (Q{X)~V|VVO Q, V, W, O c (Q{W)~(V{O)VO Q, V, W, P c (Q{W)~(V~P)VO Q, V, W, Q c (Q{V)~W|QVO Q, V, W, R c (Q~V)~(W|R)VO Q, V, W, S c V~(W|Q{S)VO Q, V, W, U c (Q~W|U)~VVO Q, V, W, V c Q~V{W~VVO Q, V, W, X c (Q~X|W)~VVO Q, V, X, P c (Q{X|P)~VVO Q, V, X, Q c (QQ{X)~VVO Q, V, X, R c V~(X|Q{R)VO Q, V, X, S c (Q~V)~(X|S)VO Q, V, X, T c Q{V~X{TVO Q, V, X, V c (Q{X)~V|VVO Q, V, X, W c (Q~X|W)~VVO Q, V, X, X c V{(X|Q)~XVO Q, W, O, V c (Q{W{O)~VVO Q, W, O, X c (W{O)~X|QVO Q, W, P, T c Q~(W|P)~TVO Q, W, P, U c (Q{W)~(P{U)VO Q, W, P, V c (Q{W)~(P~V)VO Q, W, P, W c (Q{W)~(W|P)VO Q, W, P, X c W~P~X|QVO Q, W, Q, T c (Q{W)~(Q{T)VO Q, W, Q, V c (Q{V)~W|QVO Q, W, Q, X c (Q{W)~(X|Q)VO Q, W, R, R c W~R~R|QVO Q, W, R, S c (Q{W)~(R{S)VO Q, W, R, T c (Q~R{W)~TVO Q, W, R, U c (Q{R)~(W{U)VO Q, W, R, V c Q~(W|R)~VVO Q, W, R, W c Q~R{W~WVO Q, W, R, X c Q~(W{R~X)VO Q, W, S, R c (Q{W)~(S{R)VO Q, W, S, T c (Q{W{S)~TVO Q, W, S, U c Q~W~S{UVO Q, W, S, V c (W|Q{S)~VVO Q, W, S, W c Q{W~W{SVO Q, W, S, X c Q{(W{X)~SVO Q, W, T, P c Q~(W|P)~TVO Q, W, T, Q c (Q{W)~(T{Q)VO Q, W, T, R c (Q~R{W)~TVO Q, W, T, S c (Q{W{S)~TVO Q, W, T, T c Q~(W~T|T)VO Q, W, T, W c (W|Q{W)~TVO Q, W, U, P c (Q{W)~(U{P)VO Q, W, U, R c (Q{R)~(W{U)VO Q, W, U, S c Q~W~S{UVO Q, W, U, U c (Q{U)~W{UVO Q, W, U, V c (Q~W|U)~VVO Q, W, U, X c Q~W{U~XVO Q, W, V, O c (Q{W)~(V{O)VO Q, W, V, P c (Q{W)~(V~P)VO Q, W, V, Q c (Q{V)~W|QVO Q, W, V, R c Q~(W|R)~VVO Q, W, V, S c (W|Q{S)~VVO Q, W, V, U c (Q~W|U)~VVO Q, W, V, V c Q~V{W~VVO Q, W, V, X c (Q~X|W)~VVO Q, W, W, P c (Q{W)~(W|P)VO Q, W, W, R c Q~R{W~WVO Q, W, W, S c Q{W~W{SVO Q, W, W, T c (W|Q{W)~TVO Q, W, W, W c W|Q{W~WVO Q, W, W, X c W~(X|QW)VO Q, W, X, O c W~X|Q{OVO Q, W, X, P c W~X|Q~PVO Q, W, X, Q c (Q{W)~(X|Q)VO Q, W, X, R c Q~(W{X~R)VO Q, W, X, S c Q{(W{X)~SVO Q, W, X, U c Q~W{X~UVO Q, W, X, V c (Q~X|W)~VVO Q, W, X, W c W~(X|QW)VO Q, W, X, X c (W|QX)~XVO Q, X, O, W c (X{O)~W|QVO Q, X, P, S c Q~(X~S|P)VO Q, X, P, T c (Q{T)~(X{P)VO Q, X, P, V c (Q{X|P)~VVO Q, X, P, W c X~P~W|QVO Q, X, P, X c (X|Q)~(P{X)VO Q, X, Q, S c Q~X~S|QVO Q, X, Q, T c Q~(X|Q)~TVO Q, X, Q, U c (Q{U)~X|QVO Q, X, Q, V c (QQ{X)~VVO Q, X, Q, W c (Q{W)~(X|Q)VO Q, X, R, T c (Q{X{R)~TVO Q, X, R, U c (X{R)~U|QVO Q, X, R, V c (X|Q{R)~VVO Q, X, R, W c Q~(X~R{W)VO Q, X, S, P c Q~(X~S|P)VO Q, X, S, Q c Q~X~S|QVO Q, X, S, S c X~(S{S)|QVO Q, X, S, T c (Q~X|S)~TVO Q, X, S, U c (Q{X)~U{SVO Q, X, S, V c Q~(X|S)~VVO Q, X, S, W c Q{(X{W)~SVO Q, X, S, X c (X{X)~S|QVO Q, X, T, P c (Q{T)~(X{P)VO Q, X, T, Q c Q~(X|Q)~TVO Q, X, T, R c (Q{X{R)~TVO Q, X, T, S c (Q~X|S)~TVO Q, X, T, T c (X|Q)~(T{T)VO Q, X, T, V c Q{X~V{TVO Q, X, U, Q c (Q{U)~X|QVO Q, X, U, R c (X{R)~U|QVO Q, X, U, S c (Q{X)~U{SVO Q, X, U, W c Q~W{X~UVO Q, X, V, P c (Q{X|P)~VVO Q, X, V, Q c (QQ{X)~VVO Q, X, V, R c (X|Q)~(V{R)VO Q, X, V, S c Q~(X|S)~VVO Q, X, V, T c Q{X~V{TVO Q, X, V, V c (Q{X)~V|VVO Q, X, V, W c (Q~X|W)~VVO Q, X, V, X c X|Q{V~XVO Q, X, W, O c X~W|Q{OVO Q, X, W, P c X~W|Q~PVO Q, X, W, Q c (Q{W)~(X|Q)VO Q, X, W, R c Q~(X~R{W)VO Q, X, W, S c Q{(X{W)~SVO Q, X, W, U c Q~W{X~UVO Q, X, W, V c (Q~X|W)~VVO Q, X, W, W c (X|QW)~WVO Q, X, W, X c X~(W|QX)VO Q, X, X, P c (X|Q)~(X{P)VO Q, X, X, S c (X{X)~S|QVO Q, X, X, V c X|Q{X~VVO Q, X, X, W c X~(W|QX)VO Q, X, X, X c (X~X)|(Q{X)VO R, O, V, V c (R{O{V)~VVO R, P, R, V c (R~R{P)~VVO R, P, S, X c (R{S)~(P{X)VO R, P, T, T c (R~T|P)~TVO R, P, T, V c (R|P)~(T~V)VO R, P, U, V c (R{P{U)~VVO R, P, V, R c (R~R{P)~VVO R, P, V, T c (R|P)~(V~T)VO R, P, V, U c (R{P{U)~VVO R, P, V, V c (R{P~V)~VVO R, P, V, W c (R|P{W)~VVO R, P, W, V c (R|P{W)~VVO R, P, W, X c P{W~X|RVO R, P, X, S c (R{S)~(P{X)VO R, P, X, W c P{X~W|RVO R, Q, Q, V c (R{Q)~(Q~V)VO R, Q, R, W c R~R~W|QVO R, Q, S, T c (R{S)~(Q~T)VO R, Q, S, U c R~S~U|QVO R, Q, S, V c (R~Q{S)~VVO R, Q, S, W c (R{S)~(Q{W)VO R, Q, T, S c (R{S)~(Q~T)VO R, Q, T, V c (R{Q{T)~VVO R, Q, T, W c (R~Q{W)~TVO R, Q, T, X c (R{Q)~(T{X)VO R, Q, U, S c R~U~S|QVO R, Q, U, W c (R{Q)~(U{W)VO R, Q, U, X c (R{X)~U|QVO R, Q, V, Q c (R{Q)~(V~Q)VO R, Q, V, S c (R~Q{S)~VVO R, Q, V, T c (R{Q{T)~VVO R, Q, V, V c (R{Q)~(V{V)VO R, Q, V, W c (Q~V)~(W|R)VO R, Q, V, X c (R|Q{X)~VVO R, Q, W, R c R~W~R|QVO R, Q, W, S c (R{W~S)~QVO R, Q, W, T c (R~Q{W)~TVO R, Q, W, U c (R{Q)~(W{U)VO R, Q, W, V c Q~(W|R)~VVO R, Q, W, W c R~Q{W~WVO R, Q, W, X c (R~X{W)~QVO R, Q, X, T c (R{Q{X)~TVO R, Q, X, U c (R{X)~U|QVO R, Q, X, V c (R|Q{X)~VVO R, Q, X, W c (R~X{W)~QVO R, R, P, V c (R~R{P)~VVO R, R, Q, W c R~R~W|QVO R, R, S, V c (R{R{S)~VVO R, R, T, T c (R~R{T)~TVO R, R, T, W c (R{R{W)~TVO R, R, V, P c (R~R{P)~VVO R, R, V, S c (R{R{S)~VVO R, R, V, V c R~R~V{VVO R, R, V, X c (RR{X)~VVO R, R, W, Q c R~R~W|QVO R, R, W, T c (R{R{W)~TVO R, R, W, W c R{R{W~WVO R, R, X, V c (RR{X)~VVO R, S, P, X c (R{S)~(P{X)VO R, S, Q, T c (R{S)~(Q~T)VO R, S, Q, U c R~S~U|QVO R, S, Q, V c (R~S|Q)~VVO R, S, Q, W c (R{S)~(Q{W)VO R, S, R, V c (R{S{R)~VVO R, S, S, U c (R{S)~(S{U)VO R, S, T, Q c (R{S)~(T~Q)VO R, S, T, T c (R{S)~(T{T)VO R, S, T, U c (R~U|S)~TVO R, S, T, V c (R{S{V)~TVO R, S, U, Q c R~S~U|QVO R, S, U, S c (R{S)~(U{S)VO R, S, U, T c (R~U|S)~TVO R, S, U, W c (R{W)~U{SVO R, S, V, Q c (R~S|Q)~VVO R, S, V, R c (R{S)~(V{R)VO R, S, V, T c (R{S{V)~TVO R, S, V, X c R{S{V~XVO R, S, W, Q c (R{S)~(W{Q)VO R, S, W, U c (R{W)~U{SVO R, S, W, W c (RS{W)~WVO R, S, X, P c (R{S)~(X{P)VO R, S, X, V c R{S{X~VVO R, T, P, T c (R~T|P)~TVO R, T, P, V c (R|P)~(T~V)VO R, T, Q, S c (R{S)~(T~Q)VO R, T, Q, V c (R{T{Q)~VVO R, T, Q, W c (R~Q{W)~TVO R, T, Q, X c (R{T)~X|QVO R, T, R, T c (R~R{T)~TVO R, T, R, W c (R{R{W)~TVO R, T, S, Q c (R{S)~(T~Q)VO R, T, S, T c (R{S)~(T{T)VO R, T, S, U c (R~U|S)~TVO R, T, S, V c (R{S{V)~TVO R, T, T, P c (R~T|P)~TVO R, T, T, R c (R~R{T)~TVO R, T, T, S c (R{S)~(T{T)VO R, T, T, T c R~T~T|TVO R, T, T, U c (R{T{U)~TVO R, T, T, V c (R~T|T)~VVO R, T, U, S c (R~U|S)~TVO R, T, U, T c (R{T{U)~TVO R, T, U, V c TR~U~VVO R, T, U, W c (R{T)~W{UVO R, T, V, P c (R|P)~(T~V)VO R, T, V, Q c (R{T{Q)~VVO R, T, V, S c (R{V{S)~TVO R, T, V, T c (R~T|T)~VVO R, T, V, U c TR~V~UVO R, T, V, V c (R~V|V)~TVO R, T, V, W c (T|R{W)~VVO R, T, W, Q c (R~Q{W)~TVO R, T, W, R c (R{W{R)~TVO R, T, W, U c (R{T)~W{UVO R, T, W, V c (T|R{W)~VVO R, T, W, X c R{W~X|TVO R, T, X, Q c (R{T)~X|QVO R, T, X, W c R{X~W|TVO R, U, P, V c (R{U{P)~VVO R, U, Q, S c R~U~S|QVO R, U, Q, W c (R{U)~W|QVO R, U, Q, X c (R{X)~U|QVO R, U, S, Q c R~U~S|QVO R, U, S, S c (R{S)~(U{S)VO R, U, S, T c (R~U|S)~TVO R, U, S, W c (R{W)~U{SVO R, U, T, S c (R~U|S)~TVO R, U, T, T c (R{U{T)~TVO R, U, T, V c UR~T~VVO R, U, T, W c (R{T)~W{UVO R, U, V, P c (R{U{P)~VVO R, U, V, T c UR~V~TVO R, U, V, V c (R{U)~V{VVO R, U, V, W c (R~U|W)~VVO R, U, W, Q c (R{U)~W|QVO R, U, W, S c (R{W)~U{SVO R, U, W, T c (R{T)~W{UVO R, U, W, V c (R~U|W)~VVO R, U, W, W c (U{W)~(W|R)VO R, U, W, X c U~(WR{X)VO R, U, X, Q c (R{X)~U|QVO R, U, X, W c U~(X{WR)VO R, V, O, V c (R{V{O)~VVO R, V, P, R c (R~R{P)~VVO R, V, P, T c (R|P)~(V~T)VO R, V, P, U c (R{V)~(P{U)VO R, V, P, V c (R{V)~(P~V)VO R, V, P, W c (R{V)~(W|P)VO R, V, Q, Q c (R{Q)~(V~Q)VO R, V, Q, S c (R~Q{S)~VVO R, V, Q, T c (R{V)~(Q{T)VO R, V, Q, V c (R{Q)~(V{V)VO R, V, Q, W c (V~Q)~(W|R)VO R, V, Q, X c (R{V)~(X|Q)VO R, V, R, P c (R~R{P)~VVO R, V, R, S c (R{V)~(R{S)VO R, V, R, V c R~V~R{VVO R, V, R, X c (RR{X)~VVO R, V, S, Q c (R~S|Q)~VVO R, V, S, R c (R{V)~(S{R)VO R, V, S, T c (R{V{S)~TVO R, V, S, X c R{V~X{SVO R, V, T, P c (R|P)~(V~T)VO R, V, T, Q c (R{V)~(T{Q)VO R, V, T, S c (R{V{S)~TVO R, V, T, T c (R~T|T)~VVO R, V, T, U c VR~T~UVO R, V, T, V c (R~V|V)~TVO R, V, T, W c V~(T|R{W)VO R, V, U, P c (R{V)~(U{P)VO R, V, U, T c VR~U~TVO R, V, U, V c (R{U)~V{VVO R, V, U, W c (R~U|W)~VVO R, V, V, O c (R{V)~(V{O)VO R, V, V, P c (R{V)~(V~P)VO R, V, V, Q c (R{Q)~(V{V)VO R, V, V, R c R~V~R{VVO R, V, V, T c (R~V|V)~TVO R, V, V, U c (R{U)~V{VVO R, V, V, V c R~V{V~VVO R, V, V, W c (R{W)~V|VVO R, V, V, X c V~(V{XR)VO R, V, W, P c (R{V)~(W|P)VO R, V, W, Q c V~(W|R)~QVO R, V, W, T c V~(W|R{T)VO R, V, W, U c (R~U|W)~VVO R, V, W, V c (R{W)~V|VVO R, V, X, Q c (R{V)~(X|Q)VO R, V, X, R c (RR{X)~VVO R, V, X, S c R{V~X{SVO R, V, X, V c (V{XR)~VVO R, W, P, V c (R{W|P)~VVO R, W, P, X c W~X|R{PVO R, W, Q, R c R~W~R|QVO R, W, Q, S c (R{W~S)~QVO R, W, Q, T c (R~Q{W)~TVO R, W, Q, U c (R{Q)~(W{U)VO R, W, Q, V c (W|R)~(Q~V)VO R, W, Q, W c R~Q{W~WVO R, W, Q, X c (R~X{W)~QVO R, W, R, Q c R~W~R|QVO R, W, R, T c (R{W{R)~TVO R, W, R, W c R{W~W{RVO R, W, S, Q c (R{W~S)~QVO R, W, S, U c (R{W)~U{SVO R, W, S, W c (RS{W)~WVO R, W, T, Q c (R~Q{W)~TVO R, W, T, R c (R{W{R)~TVO R, W, T, U c (R{T)~W{UVO R, W, T, V c (W|R{T)~VVO R, W, T, X c R{W~X|TVO R, W, U, Q c (R{U)~W|QVO R, W, U, S c (R{W)~U{SVO R, W, U, T c (R{T)~W{UVO R, W, U, V c (R~U|W)~VVO R, W, U, W c (W|R)~(U{W)VO R, W, U, X c (WR{X)~UVO R, W, V, P c (R{W|P)~VVO R, W, V, Q c (W|R)~(V~Q)VO R, W, V, T c (W|R{T)~VVO R, W, V, U c (R~U|W)~VVO R, W, V, V c (R{W)~V|VVO R, W, W, Q c R~Q{W~WVO R, W, W, R c R{W~W{RVO R, W, W, S c (RS{W)~WVO R, W, W, U c (W|R)~(W{U)VO R, W, W, X c W~W|R{XVO R, W, X, P c W~X|R{PVO R, W, X, Q c (R~X{W)~QVO R, W, X, T c R{W~X|TVO R, W, X, U c (WR{X)~UVO R, W, X, W c W~W|R{XVO R, W, X, X c (X~X)|(R{W)VO R, X, P, S c (R{S)~(X{P)VO R, X, P, W c X~W|R{PVO R, X, Q, T c (R{X{Q)~TVO R, X, Q, U c (R{X)~U|QVO R, X, Q, V c (R{X|Q)~VVO R, X, Q, W c (R~X{W)~QVO R, X, R, V c (RR{X)~VVO R, X, S, P c (R{S)~(X{P)VO R, X, S, V c R{X~V{SVO R, X, T, Q c (R{X{Q)~TVO R, X, T, W c R{X~W|TVO R, X, U, Q c (R{X)~U|QVO R, X, U, W c (X{WR)~UVO R, X, V, Q c (R{X|Q)~VVO R, X, V, R c (RR{X)~VVO R, X, V, S c R{X~V{SVO R, X, V, V c (XR{V)~VVO R, X, W, P c X~W|R{PVO R, X, W, Q c (R~X{W)~QVO R, X, W, T c R{X~W|TVO R, X, W, U c (X{WR)~UVO R, X, W, W c X|R{W~WVO R, X, W, X c (X~X)|(R{W)VO R, X, X, W c (X~X)|(R{W)VO S, O, U, V c (S{O{U)~VVO S, O, V, U c (S{O{U)~VVO S, P, Q, V c (S{P)~(Q~V)VO S, P, Q, X c (S~X|P)~QVO S, P, R, X c (S{R)~(P{X)VO S, P, T, V c (S{P{T)~VVO S, P, T, X c (S{P)~(T{X)VO S, P, U, U c (S{U)~(P{U)VO S, P, U, V c (S{P~U)~VVO S, P, U, W c (S{P)~(U{W)VO S, P, V, Q c (S{P)~(V~Q)VO S, P, V, T c (S{P{T)~VVO S, P, V, U c (S{P~U)~VVO S, P, V, V c (S{P)~(V{V)VO S, P, W, U c (S{P)~(W{U)VO S, P, W, X c W~(X|PS)VO S, P, X, Q c (S~X|P)~QVO S, P, X, R c (S{R)~(P{X)VO S, P, X, T c (S{P{X)~TVO S, P, X, W c (X|PS)~WVO S, Q, P, V c (S{P)~(Q~V)VO S, Q, P, X c (S~X|P)~QVO S, Q, Q, V c (S~Q{Q)~VVO S, Q, Q, X c S~Q~X|QVO S, Q, R, T c (S{R)~(Q~T)VO S, Q, R, U c S~R~U|QVO S, Q, R, V c (S{Q~R)~VVO S, Q, R, W c (S{R)~(Q{W)VO S, Q, S, T c (S~S|Q)~TVO S, Q, S, V c (S{Q{S)~VVO S, Q, S, X c (S{S)~X|QVO S, Q, T, R c (S{R)~(Q~T)VO S, Q, T, S c (S~S|Q)~TVO S, Q, T, T c (S{Q~T)~TVO S, Q, T, U c (S~Q{U)~TVO S, Q, T, V c (S|Q)~(T~V)VO S, Q, T, W c (S{Q{W)~TVO S, Q, T, X c (Q~X|S)~TVO S, Q, U, R c S~U~R|QVO S, Q, U, T c (S~Q{U)~TVO S, Q, U, W c S~Q~W{UVO S, Q, U, X c S{(Q{X)~UVO S, Q, V, P c (S{P)~(Q~V)VO S, Q, V, Q c (S~Q{Q)~VVO S, Q, V, R c (S{Q~R)~VVO S, Q, V, S c (S{Q{S)~VVO S, Q, V, T c (S|Q)~(V~T)VO S, Q, V, V c (S~V{V)~QVO S, Q, V, W c (S|Q{W)~VVO S, Q, V, X c (Q~V)~(X|S)VO S, Q, W, R c (S~W{R)~QVO S, Q, W, T c (S{Q{W)~TVO S, Q, W, U c S~Q~W{UVO S, Q, W, V c (S|Q{W)~VVO S, Q, W, W c S{Q{W~WVO S, Q, W, X c S~(W{X){QVO S, Q, X, P c (S~X|P)~QVO S, Q, X, Q c S~Q~X|QVO S, Q, X, S c (S{S)~X|QVO S, Q, X, T c (Q~X|S)~TVO S, Q, X, U c S{(Q{X)~UVO S, Q, X, V c Q~(X|S)~VVO S, Q, X, W c S~(X{W){QVO S, Q, X, X c S~(X{X)|QVO S, R, P, X c (S{R)~(P{X)VO S, R, Q, T c (S{R)~(Q~T)VO S, R, Q, U c S~R~U|QVO S, R, Q, V c (S{R~Q)~VVO S, R, Q, W c (S{R)~(Q{W)VO S, R, R, V c (S{R{R)~VVO S, R, S, U c (S{R)~(S{U)VO S, R, T, Q c (S{R)~(T~Q)VO S, R, T, T c (S{R)~(T{T)VO S, R, T, U c (R~U|S)~TVO S, R, T, V c (S{R{V)~TVO S, R, U, Q c S~R~U|QVO S, R, U, S c (S{R)~(U{S)VO S, R, U, T c (R~U|S)~TVO S, R, U, W c S{(R{W)~UVO S, R, V, Q c (S{R~Q)~VVO S, R, V, R c (S{R)~(V{R)VO S, R, V, T c (S{R{V)~TVO S, R, V, X c S{R{V~XVO S, R, W, Q c (S{R)~(W{Q)VO S, R, W, U c S{(R{W)~UVO S, R, W, W c (RS{W)~WVO S, R, X, P c (S{R)~(X{P)VO S, R, X, V c S{R{X~VVO S, S, Q, T c (S~S|Q)~TVO S, S, Q, V c (S{S{Q)~VVO S, S, Q, X c (S{S)~X|QVO S, S, R, U c (S{R)~(S{U)VO S, S, S, U c S~S~S{UVO S, S, T, Q c (S~S|Q)~TVO S, S, T, U c (S{S{U)~TVO S, S, U, R c (S{U)~(S{R)VO S, S, U, S c S~S~S{UVO S, S, U, T c (S{S{U)~TVO S, S, U, V c (S~S|U)~VVO S, S, U, W c (S{S)~W{UVO S, S, U, X c S~S{U~XVO S, S, V, Q c (S{S{Q)~VVO S, S, V, U c S{(S{V)~UVO S, S, V, X c (SS{X)~VVO S, S, W, U c (S{S)~W{UVO S, S, X, Q c (S{S)~X|QVO S, S, X, U c S~S{X~UVO S, S, X, V c (SS{X)~VVO S, T, P, V c (S{T{P)~VVO S, T, P, X c (S{P)~(T{X)VO S, T, Q, R c (S{R)~(T~Q)VO S, T, Q, S c (S~S|Q)~TVO S, T, Q, T c (S{T~Q)~TVO S, T, Q, U c (S~Q{U)~TVO S, T, Q, V c S~TQ~VVO S, T, Q, W c (S{T)~W|QVO S, T, Q, X c T~(Q~X|S)VO S, T, R, Q c (S{R)~(T~Q)VO S, T, R, T c (S{R)~(T{T)VO S, T, R, U c T~(R~U|S)VO S, T, R, V c (S{R{V)~TVO S, T, S, Q c (S~S|Q)~TVO S, T, S, U c (S{S{U)~TVO S, T, T, Q c (S{T~Q)~TVO S, T, T, R c (S{R)~(T{T)VO S, T, T, T c (S{T{T)~TVO S, T, T, U c (S~T|U)~TVO S, T, T, X c (S{X)~T{TVO S, T, U, Q c (S{U)~(T{Q)VO S, T, U, R c T~(U~R|S)VO S, T, U, S c (S{U{S)~TVO S, T, U, T c (S~T|U)~TVO S, T, U, U c S{(T{U)~UVO S, T, U, V c T~(U|S)~VVO S, T, V, P c (S{T{P)~VVO S, T, V, Q c S~T~VQVO S, T, V, R c (S{V{R)~TVO S, T, V, U c (T~V)~(U|S)VO S, T, V, V c (S{T)~V{VVO S, T, V, W c TS~V~WVO S, T, V, X c (T|S{X)~VVO S, T, W, Q c (S{T)~W|QVO S, T, W, V c TS~W~VVO S, T, X, P c (S{X{P)~TVO S, T, X, Q c T~(X~Q|S)VO S, T, X, T c (S{X)~T{TVO S, T, X, V c (T|S{X)~VVO S, T, X, X c T~(X|S{X)VO S, U, O, V c (S{U{O)~VVO S, U, P, U c (S{U)~(P{U)VO S, U, P, V c (S{U)~(P~V)VO S, U, P, W c (S{U)~(W|P)VO S, U, Q, R c S~U~R|QVO S, U, Q, T c (S{U)~(Q{T)VO S, U, Q, W c S~Q~W{UVO S, U, Q, X c S{U~(Q{X)VO S, U, R, Q c S~U~R|QVO S, U, R, S c (S{U)~(R{S)VO S, U, R, T c (U~R|S)~TVO S, U, R, W c S{U~(R{W)VO S, U, S, R c (S{U)~(S{R)VO S, U, S, S c S~S~S{UVO S, U, S, T c (S{U{S)~TVO S, U, S, V c S{U~(S{V)VO S, U, S, W c (S{S)~W{UVO S, U, S, X c S~S{U~XVO S, U, T, Q c (S{U)~(T{Q)VO S, U, T, R c (U~R|S)~TVO S, U, T, S c (S{U{S)~TVO S, U, T, T c (S~T|U)~TVO S, U, T, U c S{(U{T)~UVO S, U, T, V c (U|S)~(T~V)VO S, U, U, P c (S{U)~(U{P)VO S, U, U, T c S{U~(U{T)VO S, U, V, O c (S{U)~(V{O)VO S, U, V, P c (S{U)~(V~P)VO S, U, V, S c S{U~(V{S)VO S, U, V, T c (U|S)~(V~T)VO S, U, V, V c S~V{U~VVO S, U, V, W c (U|S{W)~VVO S, U, V, X c S~(V{X){UVO S, U, W, P c (S{U)~(W|P)VO S, U, W, Q c (S{W)~U|QVO S, U, W, R c S{U~(W{R)VO S, U, W, S c (S{S)~W{UVO S, U, W, V c (U|S{W)~VVO S, U, W, W c S~(W{W){UVO S, U, W, X c S{W~X|UVO S, U, X, Q c S{U~(X{Q)VO S, U, X, S c S~S{U~XVO S, U, X, V c S~(X{V){UVO S, U, X, W c (S{X)~U|WVO S, V, O, U c (S{O{U)~VVO S, V, P, Q c (S{P)~(V~Q)VO S, V, P, T c (S{P{T)~VVO S, V, P, U c (S{P~U)~VVO S, V, P, V c (S{V|P)~VVO S, V, Q, P c (S{P)~(V~Q)VO S, V, Q, Q c (S~Q{Q)~VVO S, V, Q, R c (S{Q~R)~VVO S, V, Q, S c (S{Q{S)~VVO S, V, Q, T c S~VQ~TVO S, V, Q, V c (S~V{V)~QVO S, V, Q, W c (S|Q{W)~VVO S, V, Q, X c (V~Q)~(X|S)VO S, V, R, Q c (S{R~Q)~VVO S, V, R, R c (S{R)~(V{R)VO S, V, R, T c (S{V{R)~TVO S, V, R, X c S{V~X{RVO S, V, S, Q c (S{S{Q)~VVO S, V, S, U c S{(V{S)~UVO S, V, S, X c (SS{X)~VVO S, V, T, P c (S{T{P)~VVO S, V, T, Q c S~V~TQVO S, V, T, R c (S{V{R)~TVO S, V, T, U c (V~T)~(U|S)VO S, V, T, V c (S{T)~V{VVO S, V, T, W c VS~T~WVO S, V, T, X c V~(T|S{X)VO S, V, U, O c (S{U)~(V{O)VO S, V, U, P c (S{U)~(V~P)VO S, V, U, S c (S{V)~U{SVO S, V, U, T c V~(U|S)~TVO S, V, U, V c S~V{U~VVO S, V, U, W c V~(U|S{W)VO S, V, U, X c S~(V{X){UVO S, V, V, P c (S{V|P)~VVO S, V, V, Q c (S~V{V)~QVO S, V, V, T c (S{T)~V{VVO S, V, V, U c S~V{V~UVO S, V, V, V c (S{V)~V|VVO S, V, V, W c (VS{V)~WVO S, V, V, X c (V{V)~(X|S)VO S, V, W, Q c (S{W|Q)~VVO S, V, W, T c VS~W~TVO S, V, W, U c V~(W|S{U)VO S, V, W, V c (VS{V)~WVO S, V, W, W c V~(WS{W)VO S, V, X, Q c V~(X|S)~QVO S, V, X, R c S{V~X{RVO S, V, X, S c (SS{X)~VVO S, V, X, T c V~(X|S{T)VO S, V, X, U c S~(V{X){UVO S, V, X, V c (V{V)~(X|S)VO S, V, X, X c (X~X)|(S{V)VO S, W, P, U c (S{P)~(W{U)VO S, W, P, X c W~(X|PS)VO S, W, Q, R c (S~W{R)~QVO S, W, Q, T c (S{W{Q)~TVO S, W, Q, U c S~W~Q{UVO S, W, Q, V c (S{W|Q)~VVO S, W, Q, W c S{W~W{QVO S, W, Q, X c S~(W{X){QVO S, W, R, Q c (S~W{R)~QVO S, W, R, U c S{(W{R)~UVO S, W, R, W c (W{RS)~WVO S, W, S, U c (S{S)~W{UVO S, W, T, Q c (S{W{Q)~TVO S, W, T, V c WS~T~VVO S, W, U, P c (S{U)~(W|P)VO S, W, U, Q c (S{W)~U|QVO S, W, U, R c S{(W{R)~UVO S, W, U, S c (S{S)~W{UVO S, W, U, V c (W|S{U)~VVO S, W, U, W c S~(W{W){UVO S, W, U, X c S{W~X|UVO S, W, V, Q c (S{W|Q)~VVO S, W, V, T c WS~V~TVO S, W, V, U c (W|S{U)~VVO S, W, V, V c W~(VS{V)VO S, W, V, W c (WS{W)~VVO S, W, W, Q c S{W~W{QVO S, W, W, R c W~(W{RS)VO S, W, W, U c S~(W{W){UVO S, W, W, V c (WS{W)~VVO S, W, W, X c W~X|WSVO S, W, X, P c W~(X|PS)VO S, W, X, Q c S~(W{X){QVO S, W, X, U c S{W~X|UVO S, W, X, W c W~X|WSVO S, X, P, Q c (S~X|P)~QVO S, X, P, R c (S{R)~(X{P)VO S, X, P, T c (S{X{P)~TVO S, X, P, W c (X|PS)~WVO S, X, Q, P c (S~X|P)~QVO S, X, Q, Q c S~X~Q|QVO S, X, Q, S c (S{S)~X|QVO S, X, Q, T c (X~Q|S)~TVO S, X, Q, U c S{(X{Q)~UVO S, X, Q, V c (X|S)~(Q~V)VO S, X, Q, W c S~(X{W){QVO S, X, Q, X c S~(X{X)|QVO S, X, R, P c (S{R)~(X{P)VO S, X, R, V c (S{X|R)~VVO S, X, S, Q c (S{S)~X|QVO S, X, S, U c S~S{X~UVO S, X, S, V c (SS{X)~VVO S, X, T, P c (S{X{P)~TVO S, X, T, Q c (X~Q|S)~TVO S, X, T, T c (S{X)~T{TVO S, X, T, V c (X|S{T)~VVO S, X, T, X c (X|S)~(T{X)VO S, X, U, Q c S{(X{Q)~UVO S, X, U, S c S~S{X~UVO S, X, U, V c S~(X{V){UVO S, X, U, W c (S{X)~U|WVO S, X, V, Q c (X|S)~(V~Q)VO S, X, V, R c S{X~V{RVO S, X, V, S c (SS{X)~VVO S, X, V, T c (X|S{T)~VVO S, X, V, U c S~(X{V){UVO S, X, V, V c (X|S)~(V{V)VO S, X, V, X c (X~X)|(S{V)VO S, X, W, P c (X|PS)~WVO S, X, W, Q c S~(X{W){QVO S, X, W, U c S{X~W|UVO S, X, W, W c X~W|WSVO S, X, X, Q c S~(X{X)|QVO S, X, X, T c (X|S{X)~TVO S, X, X, V c (X~X)|(S{V)VO T, O, Q, V c (T{O)~(Q~V)VO T, O, T, V c (T{O{T)~VVO T, O, T, X c (T{O)~(T{X)VO T, O, U, W c (T{O)~(U{W)VO T, O, V, Q c (T{O)~(V~Q)VO T, O, V, T c (T{O{T)~VVO T, O, V, V c (T{O)~(V{V)VO T, O, W, U c (T{O)~(W{U)VO T, O, X, T c (T{O{X)~TVO T, P, P, V c T~(P{P)~VVO T, P, Q, U c T~(P{U)~QVO T, P, Q, V c T~P~Q~VVO T, P, Q, W c (T~Q)~(W|P)VO T, P, Q, X c (T{Q)~(P{X)VO T, P, R, T c (T~R|P)~TVO T, P, R, V c T~(R|P)~VVO T, P, S, V c (T{P{S)~VVO T, P, S, X c T~(P{S{X)VO T, P, T, R c T~(T~R|P)VO T, P, T, U c (T{T)~(P{U)VO T, P, T, V c (T{P~T)~VVO T, P, T, W c T~(P{T{W)VO T, P, T, X c (T~P)~(T{X)VO T, P, U, Q c T~(P{U)~QVO T, P, U, T c (T{T)~(P{U)VO T, P, U, V c (T|P{U)~VVO T, P, U, W c (T~P)~(U{W)VO T, P, U, X c T~(U|P{X)VO T, P, V, P c T~(P{P)~VVO T, P, V, Q c T~P~V~QVO T, P, V, R c (T~V)~(R|P)VO T, P, V, S c (T{P{S)~VVO T, P, V, T c (T{P~T)~VVO T, P, V, U c T~(P{V{U)VO T, P, V, V c (T~P)~(V{V)VO T, P, V, W c T~(V|P{W)VO T, P, W, Q c T~(W|P)~QVO T, P, W, T c (T{P{W)~TVO T, P, W, U c (T~P)~(W{U)VO T, P, W, V c T~(W|P{V)VO T, P, W, W c T{P{W~WVO T, P, X, Q c (T{Q)~(P{X)VO T, P, X, S c T~(P{X{S)VO T, P, X, T c (T{P~X)~TVO T, P, X, U c T~(X|P{U)VO T, Q, O, V c (T~Q{O)~VVO T, Q, P, U c (T~Q)~(P{U)VO T, Q, P, V c T~Q~P~VVO T, Q, P, W c (T~Q)~(W|P)VO T, Q, P, X c (T{Q)~(P{X)VO T, Q, Q, T c (T{Q)~(Q~T)VO T, Q, Q, U c T~(Q{Q~U)VO T, Q, Q, W c (T{Q)~(Q{W)VO T, Q, Q, X c (T~Q)~(X|Q)VO T, Q, R, S c T~(Q{R~S)VO T, Q, R, V c (T{Q{R)~VVO T, Q, R, W c T~(Q~R{W)VO T, Q, R, X c T~(Q{R{X)VO T, Q, S, R c T~(Q{S~R)VO T, Q, S, S c T~(S~S|Q)VO T, Q, S, T c (T~Q{S)~TVO T, Q, S, U c (T{Q)~(S{U)VO T, Q, S, V c TQ~S~VVO T, Q, S, W c T~(Q{S{W)VO T, Q, S, X c T~(Q~X|S)VO T, Q, T, Q c (T{Q)~(T~Q)VO T, Q, T, S c T~(Q~T{S)VO T, Q, T, T c (T{Q)~(T{T)VO T, Q, T, U c (T{T~U)~QVO T, Q, T, V c T~(Q{T{V)VO T, Q, T, W c (T~W|T)~QVO T, Q, T, X c (T{T)~(X|Q)VO T, Q, U, P c (T~Q)~(U{P)VO T, Q, U, Q c T~(Q{U~Q)VO T, Q, U, S c (T{Q)~(U{S)VO T, Q, U, T c (T{U~T)~QVO T, Q, U, U c T~(Q{U{U)VO T, Q, U, V c (T{V)~U|QVO T, Q, V, O c T~Q~V{OVO T, Q, V, P c T~Q~V~PVO T, Q, V, R c (T{Q)~(V{R)VO T, Q, V, S c TQ~V~SVO T, Q, V, T c (T{Q{V)~TVO T, Q, V, U c (T{V)~U|QVO T, Q, V, V c (T|Q{V)~VVO T, Q, V, X c T{Q{V~XVO T, Q, W, P c (T~Q)~(W|P)VO T, Q, W, Q c (T{Q)~(W{Q)VO T, Q, W, R c T~(Q~R{W)VO T, Q, W, S c T~(Q{W{S)VO T, Q, W, T c (T~W|T)~QVO T, Q, W, W c T~(W|Q{W)VO T, Q, X, P c (T{Q)~(X{P)VO T, Q, X, Q c (T~Q)~(X|Q)VO T, Q, X, R c T~(Q{X{R)VO T, Q, X, S c T~(Q~X|S)VO T, Q, X, T c (T{T)~(X|Q)VO T, Q, X, V c T{Q{X~VVO T, R, P, T c (T~R|P)~TVO T, R, P, V c T~(R|P)~VVO T, R, Q, S c T~(R{S)~QVO T, R, Q, V c (T{R{Q)~VVO T, R, Q, W c T~(R~Q{W)VO T, R, Q, X c T~(R{Q{X)VO T, R, R, T c (T{R~R)~TVO T, R, R, W c T~(R{R{W)VO T, R, S, Q c T~(R{S)~QVO T, R, S, T c (T{T)~(R{S)VO T, R, S, U c T~(R~U|S)VO T, R, S, V c T~(R{S{V)VO T, R, T, P c T~(R~T|P)VO T, R, T, R c (T{R~R)~TVO T, R, T, S c (T{T)~(R{S)VO T, R, T, T c T~R~T|TVO T, R, T, U c T~(R{T{U)VO T, R, T, V c (T|R)~(T~V)VO T, R, U, S c T~(R~U|S)VO T, R, U, T c (T{R{U)~TVO T, R, U, V c TR~U~VVO T, R, U, W c (T{R)~W{UVO T, R, V, P c T~(R|P)~VVO T, R, V, Q c (T{R{Q)~VVO T, R, V, S c T~(R{V{S)VO T, R, V, T c (T|R)~(V~T)VO T, R, V, U c TR~V~UVO T, R, V, V c T~(R~V|V)VO T, R, V, W c (T|R{W)~VVO T, R, W, Q c T~(R~Q{W)VO T, R, W, R c T~(R{W{R)VO T, R, W, U c (T{R)~W{UVO T, R, W, V c (T|R{W)~VVO T, R, W, X c T~(W|R{X)VO T, R, X, Q c (T{R)~X|QVO T, R, X, W c T~(X|R{W)VO T, S, P, V c (T{S{P)~VVO T, S, P, X c T~(S{P{X)VO T, S, Q, R c T~(S{R)~QVO T, S, Q, S c T~(S~S|Q)VO T, S, Q, T c T~(S{Q~T)VO T, S, Q, U c T~(S~Q{U)VO T, S, Q, V c T~(S|Q)~VVO T, S, Q, W c T~(S{Q{W)VO T, S, Q, X c T~(Q~X|S)VO T, S, R, Q c T~(S{R)~QVO T, S, R, T c (T{T)~(S{R)VO T, S, R, U c T~(R~U|S)VO T, S, R, V c T~(S{R{V)VO T, S, S, Q c T~(S~S|Q)VO T, S, S, U c T~(S{S{U)VO T, S, T, Q c T~(S{T~Q)VO T, S, T, R c (T{T)~(S{R)VO T, S, T, T c (T{S{T)~TVO T, S, T, U c T~(S~T|U)VO T, S, T, X c T{(S{X)~TVO T, S, U, Q c T~(S~Q{U)VO T, S, U, R c T~(U~R|S)VO T, S, U, S c T~(S{U{S)VO T, S, U, T c (T~S|U)~TVO T, S, U, U c (T{U)~U{SVO T, S, U, V c T~(U|S)~VVO T, S, V, P c (T{S{P)~VVO T, S, V, Q c T~S~VQVO T, S, V, R c T~(S{V{R)VO T, S, V, U c (T~V)~(U|S)VO T, S, V, V c (T{S)~V{VVO T, S, V, W c TS~V~WVO T, S, V, X c (T|S{X)~VVO T, S, W, Q c (T{S)~W|QVO T, S, W, V c TS~W~VVO T, S, X, P c T~(S{X{P)VO T, S, X, Q c T~(X~Q|S)VO T, S, X, T c T{(S{X)~TVO T, S, X, V c (T|S{X)~VVO T, S, X, X c T~(X|S{X)VO T, T, O, V c (T{T{O)~VVO T, T, O, X c T~(T{O{X)VO T, T, P, R c T~(T~R|P)VO T, T, P, U c (T{T)~(P{U)VO T, T, P, V c (T{T)~(P~V)VO T, T, P, W c T~(T{P{W)VO T, T, P, X c T~(T{P~X)VO T, T, Q, Q c T~(T{Q)~QVO T, T, Q, S c T~(T~Q{S)VO T, T, Q, T c (T{T)~(Q{T)VO T, T, Q, U c (T{T~U)~QVO T, T, Q, V c T~(T{Q{V)VO T, T, Q, W c (T~W|T)~QVO T, T, Q, X c (T{T)~(X|Q)VO T, T, R, P c T~(T~R|P)VO T, T, R, R c T~(T{R~R)VO T, T, R, S c (T{T)~(R{S)VO T, T, R, T c T~T~R|TVO T, T, R, U c T~(T{R{U)VO T, T, R, V c T~(T|R)~VVO T, T, S, Q c T~(T~Q{S)VO T, T, S, R c (T{T)~(S{R)VO T, T, S, T c (T{T{S)~TVO T, T, S, U c T~(T~S|U)VO T, T, S, X c T{T~(S{X)VO T, T, T, Q c (T{T)~(T{Q)VO T, T, T, R c T~T~R|TVO T, T, T, S c T~(T{T{S)VO T, T, T, W c T{T~(T{W)VO T, T, T, X c T~T{T~XVO T, T, U, P c (T{T)~(U{P)VO T, T, U, Q c (T{T~U)~QVO T, T, U, R c T~(T{U{R)VO T, T, U, S c T~(T~S|U)VO T, T, U, V c T{T~(U{V)VO T, T, U, W c T~U{T~WVO T, T, U, X c T~(U{X)|TVO T, T, V, O c (T{T)~(V{O)VO T, T, V, P c (T{T)~(V~P)VO T, T, V, Q c T~(T{V{Q)VO T, T, V, R c T~(T|R)~VVO T, T, V, U c T{T~(V{U)VO T, T, V, V c T~V{T~VVO T, T, V, W c T~(V{W)|TVO T, T, V, X c (TT{X)~VVO T, T, W, P c (T{T)~(W|P)VO T, T, W, Q c (T~W|T)~QVO T, T, W, T c T{(T{W)~TVO T, T, W, U c T~W{T~UVO T, T, W, V c T~(W{V)|TVO T, T, X, O c T~(T{X){OVO T, T, X, P c T~(T{X)~PVO T, T, X, Q c (T{T)~(X|Q)VO T, T, X, S c T{T~(X{S)VO T, T, X, T c T~T{X~TVO T, T, X, U c T~(X{U)|TVO T, T, X, V c (TT{X)~VVO T, U, O, W c T~(U{O{W)VO T, U, P, Q c T~(U{P)~QVO T, U, P, T c (T{T)~(U{P)VO T, U, P, V c (T{U|P)~VVO T, U, P, W c T~(U{P~W)VO T, U, P, X c T~(U|P{X)VO T, U, Q, P c T~(U{P)~QVO T, U, Q, Q c T~(U~Q{Q)VO T, U, Q, S c T~(U{Q~S)VO T, U, Q, T c (T{U~T)~QVO T, U, Q, U c T~(U{Q{U)VO T, U, Q, V c (T{V)~U|QVO T, U, R, S c T~(U~R|S)VO T, U, R, T c (T{U{R)~TVO T, U, R, V c T~UR~VVO T, U, R, W c (T{R)~W{UVO T, U, S, Q c T~(U{S~Q)VO T, U, S, R c T~(U~R|S)VO T, U, S, S c T~(U{S{S)VO T, U, S, T c (T~S|U)~TVO T, U, S, U c (T{U)~U{SVO T, U, S, V c T~(U|S)~VVO T, U, T, P c (T{T)~(U{P)VO T, U, T, Q c (T{U~T)~QVO T, U, T, R c T~(U{T{R)VO T, U, T, S c T~(T~S|U)VO T, U, T, V c T{(U{V)~TVO T, U, T, W c T~U{T~WVO T, U, T, X c T~(U{X)|TVO T, U, U, Q c T~(U{U{Q)VO T, U, U, S c (T{U)~U{SVO T, U, V, P c T~(U{V{P)VO T, U, V, Q c (T{V)~U|QVO T, U, V, R c T~U~VRVO T, U, V, S c T~(U|S)~VVO T, U, V, T c T{(U{V)~TVO T, U, V, V c (T{U)~V|VVO T, U, V, W c (T~V)~(W|U)VO T, U, V, X c (U|T{X)~VVO T, U, W, O c T~(U{W){OVO T, U, W, P c T~(U{W)~PVO T, U, W, R c (T{R)~W{UVO T, U, W, T c T~U{W~TVO T, U, W, V c T~(W|U)~VVO T, U, W, W c (T{W)~U|WVO T, U, X, P c T~(U{X|P)VO T, U, X, T c T~(U{X)|TVO T, U, X, V c (U|T{X)~VVO T, U, X, X c (X~X)|(T{U)VO T, V, O, Q c (T~V{O)~QVO T, V, O, T c (T{O{T)~VVO T, V, O, V c T~(V{O{V)VO T, V, P, P c (T~V)~(P{P)VO T, V, P, Q c T~V~P~QVO T, V, P, R c (T~V)~(R|P)VO T, V, P, S c (T{P{S)~VVO T, V, P, T c (T{P~T)~VVO T, V, P, U c T~(V{P{U)VO T, V, P, V c T~(V{P~V)VO T, V, P, W c T~(V|P{W)VO T, V, Q, O c T~V~Q{OVO T, V, Q, P c T~V~Q~PVO T, V, Q, R c (T{Q)~(V{R)VO T, V, Q, S c T~VQ~SVO T, V, Q, T c (T{V{Q)~TVO T, V, Q, U c (T{V)~U|QVO T, V, Q, V c (T{V|Q)~VVO T, V, Q, X c T~(V|Q{X)VO T, V, R, P c (T~V)~(R|P)VO T, V, R, Q c (T{R{Q)~VVO T, V, R, S c T~(V{R{S)VO T, V, R, T c (T~V)~(T|R)VO T, V, R, U c T~VR~UVO T, V, R, V c T~(V~R|V)VO T, V, R, W c (T|R{W)~VVO T, V, S, P c (T{S{P)~VVO T, V, S, Q c (T~V)~(S|Q)VO T, V, S, R c T~(V{S{R)VO T, V, S, U c (T~V)~(U|S)VO T, V, S, V c (T{S)~V{VVO T, V, S, W c T~VS~WVO T, V, S, X c (T|S{X)~VVO T, V, T, O c (T{T)~(V{O)VO T, V, T, P c (T{T)~(V~P)VO T, V, T, Q c T~(V{T{Q)VO T, V, T, R c (T~V)~(T|R)VO T, V, T, U c T{(V{U)~TVO T, V, T, V c T~V{T~VVO T, V, T, W c T~(V{W)|TVO T, V, T, X c (TT{X)~VVO T, V, U, P c T~(V{U{P)VO T, V, U, Q c (T{V)~U|QVO T, V, U, R c T~V~URVO T, V, U, S c (T~V)~(U|S)VO T, V, U, T c T{(V{U)~TVO T, V, U, V c (T{U)~V|VVO T, V, U, W c (T~V)~(W|U)VO T, V, U, X c V~(U|T{X)VO T, V, V, O c T~(V{V){OVO T, V, V, P c T~(V{V)~PVO T, V, V, Q c (T{V|Q)~VVO T, V, V, R c T~(V~R|V)VO T, V, V, S c (T{S)~V{VVO T, V, V, T c T~V{V~TVO T, V, V, U c (T{U)~V|VVO T, V, V, W c (V|T{W)~VVO T, V, V, X c (T~V)~(X|V)VO T, V, W, P c T~(V{W|P)VO T, V, W, R c (T{W|R)~VVO T, V, W, S c T~V~WSVO T, V, W, T c T~(V{W)|TVO T, V, W, U c (T~V)~(W|U)VO T, V, W, V c (V|T{W)~VVO T, V, W, X c T{V~W{XVO T, V, X, Q c T{V~X{QVO T, V, X, S c (T{X|S)~VVO T, V, X, T c (TT{X)~VVO T, V, X, U c V~(X|T{U)VO T, V, X, V c (T~V)~(X|V)VO T, V, X, W c T{V~W{XVO T, W, O, U c T~(W{O{U)VO T, W, P, Q c T~(W|P)~QVO T, W, P, T c (T{W{P)~TVO T, W, P, U c T~(W{P~U)VO T, W, P, V c T~(W|P{V)VO T, W, P, W c T{W~W{PVO T, W, Q, P c T~(W|P)~QVO T, W, Q, Q c T~(W~Q|Q)VO T, W, Q, R c T~(W{Q~R)VO T, W, Q, S c T~(W{Q{S)VO T, W, Q, T c (T~W|T)~QVO T, W, Q, W c T~(W|Q{W)VO T, W, R, Q c T~(W{R~Q)VO T, W, R, R c T~(W{R{R)VO T, W, R, U c (T{R)~W{UVO T, W, R, V c (T{W|R)~VVO T, W, R, X c T~(W|R{X)VO T, W, S, Q c T~(W{S{Q)VO T, W, S, V c T~WS~VVO T, W, T, P c T~(W{T{P)VO T, W, T, Q c (T~W|T)~QVO T, W, T, T c T{(W{T)~TVO T, W, T, U c T~W{T~UVO T, W, T, V c T~(W{V)|TVO T, W, U, O c T~(W{U){OVO T, W, U, P c T~(W{U)~PVO T, W, U, R c (T{R)~W{UVO T, W, U, T c T~W{U~TVO T, W, U, V c T~(W|U)~VVO T, W, U, W c (T{W)~U|WVO T, W, V, P c T~(W{V|P)VO T, W, V, R c (T{W|R)~VVO T, W, V, S c T~W~VSVO T, W, V, T c T~(W{V)|TVO T, W, V, U c T~(W|U)~VVO T, W, V, V c (W|T{V)~VVO T, W, V, X c T{W~V{XVO T, W, W, P c T{W~W{PVO T, W, W, Q c T~(W{W|Q)VO T, W, W, U c (T{W)~U|WVO T, W, X, R c T~(W{X|R)VO T, W, X, V c T{W~X|VVO T, X, O, T c (T{X{O)~TVO T, X, P, Q c (T{Q)~(X{P)VO T, X, P, S c (T{X)~(P{S)VO T, X, P, T c (T{X)~(P~T)VO T, X, P, U c T~(X|P{U)VO T, X, Q, P c (T{Q)~(X{P)VO T, X, Q, Q c T~(X|Q)~QVO T, X, Q, R c (T{X)~(Q{R)VO T, X, Q, S c T~(X~Q|S)VO T, X, Q, T c (T{T)~(X|Q)VO T, X, Q, V c T~(X|Q{V)VO T, X, R, Q c (T{X)~(R{Q)VO T, X, R, W c T~(X|R{W)VO T, X, S, P c (T{X)~(S{P)VO T, X, S, Q c T~(X~Q|S)VO T, X, S, T c T{(X{S)~TVO T, X, S, V c (T{X|S)~VVO T, X, S, X c T~(X|S{X)VO T, X, T, O c (T{X)~(T{O)VO T, X, T, P c (T{X)~(T~P)VO T, X, T, Q c (T{T)~(X|Q)VO T, X, T, S c T{(X{S)~TVO T, X, T, T c T~X{T~TVO T, X, T, U c T~(X{U)|TVO T, X, T, V c (TT{X)~VVO T, X, U, P c (T{X)~(U|P)VO T, X, U, T c T~(X{U)|TVO T, X, U, V c (X|T{U)~VVO T, X, U, X c (X~X)|(T{U)VO T, X, V, Q c T{X~V{QVO T, X, V, S c (T{X|S)~VVO T, X, V, T c (TT{X)~VVO T, X, V, U c (X|T{U)~VVO T, X, V, V c T~(X|V)~VVO T, X, V, W c T{X{V~WVO T, X, W, R c (T{X)~(W|R)VO T, X, W, V c T{X{W~VVO T, X, X, S c (T{X)~(X|S)VO T, X, X, U c (X~X)|(T{U)VO U, O, S, V c (U{O{S)~VVO U, O, T, W c (U{O{W)~TVO U, O, V, S c (U{O{S)~VVO U, O, W, T c (U{O{W)~TVO U, O, W, W c U{O{W~WVO U, P, P, X c (U{P)~(P{X)VO U, P, Q, T c (U{P)~(Q~T)VO U, P, Q, U c (U~U|P)~QVO U, P, Q, V c (U|P)~(Q~V)VO U, P, Q, W c (U{P)~(Q{W)VO U, P, R, V c (U{P{R)~VVO U, P, S, U c (U{P)~(S{U)VO U, P, S, V c (U{P~S)~VVO U, P, S, W c (U{S)~(W|P)VO U, P, T, Q c (U{P)~(T~Q)VO U, P, T, T c (U{P)~(T{T)VO U, P, T, V c (U|P{T)~VVO U, P, T, W c (U{P~W)~TVO U, P, T, X c (U|P)~(T{X)VO U, P, U, Q c (U~U|P)~QVO U, P, U, S c (U{P)~(U{S)VO U, P, U, W c (U|P)~(U{W)VO U, P, V, Q c (U|P)~(V~Q)VO U, P, V, R c (U{P)~(V{R)VO U, P, V, S c (U{P~S)~VVO U, P, V, T c (U{P{V)~TVO U, P, V, V c (U|P)~(V{V)VO U, P, V, W c U{(P{V)~WVO U, P, V, X c U{P{V~XVO U, P, W, Q c (U{P)~(W{Q)VO U, P, W, S c (U{W)~(P{S)VO U, P, W, T c (U{P~W)~TVO U, P, W, U c (U|P)~(W{U)VO U, P, W, V c U{(P{V)~WVO U, P, W, W c U{P~W~WVO U, P, W, X c U{W~(X|P)VO U, P, X, P c (U{P)~(X{P)VO U, P, X, T c (U|P{X)~TVO U, P, X, V c U{P{X~VVO U, P, X, W c U{(X|P)~WVO U, Q, P, T c (U{P)~(Q~T)VO U, Q, P, U c (U~U|P)~QVO U, Q, P, V c (U|P)~(Q~V)VO U, Q, P, W c (U{P)~(Q{W)VO U, Q, Q, T c (U~Q{Q)~TVO U, Q, Q, U c U~Q~U|QVO U, Q, Q, V c (U{Q{Q)~VVO U, Q, Q, X c (U{Q)~X|QVO U, Q, R, S c U~R~S|QVO U, Q, R, W c (U{R)~W|QVO U, Q, R, X c U~(R{X)|QVO U, Q, S, R c U~S~R|QVO U, Q, S, T c (U{Q~S)~TVO U, Q, S, W c U{Q~S~WVO U, Q, S, X c U~(Q{X){SVO U, Q, T, P c (U{P)~(Q~T)VO U, Q, T, Q c (U~Q{Q)~TVO U, Q, T, S c (U{Q~S)~TVO U, Q, T, T c (U~T{T)~QVO U, Q, T, U c (U{Q{U)~TVO U, Q, T, V c U~(T{V)|QVO U, Q, U, P c (U~U|P)~QVO U, Q, U, Q c U~Q~U|QVO U, Q, U, T c (U{Q{U)~TVO U, Q, U, U c (U{U)~U|QVO U, Q, U, V c (U|Q{U)~VVO U, Q, U, W c U{(Q{U)~WVO U, Q, V, P c (U|P)~(Q~V)VO U, Q, V, Q c (U{Q{Q)~VVO U, Q, V, T c U~(V{T)|QVO U, Q, V, U c (U|Q{U)~VVO U, Q, V, V c (UQ{V)~VVO U, Q, V, W c (U{WQ)~VVO U, Q, W, P c (U{P)~(Q{W)VO U, Q, W, R c (U{W)~(Q{R)VO U, Q, W, S c U{Q~W~SVO U, Q, W, U c (U{Q)~W{UVO U, Q, W, V c (U{WQ)~VVO U, Q, W, X c U~X{Q~WVO U, Q, X, Q c (U{Q)~X|QVO U, Q, X, R c U~(X{R)|QVO U, Q, X, S c U~(Q{X){SVO U, Q, X, W c U~X{Q~WVO U, R, P, V c (U{R{P)~VVO U, R, Q, S c U~R~S|QVO U, R, Q, W c (U{R)~W|QVO U, R, Q, X c U~(R{X)|QVO U, R, S, Q c U~R~S|QVO U, R, S, S c (U{S)~(R{S)VO U, R, S, T c (U~R|S)~TVO U, R, S, W c U~(R{W){SVO U, R, T, S c (U~R|S)~TVO U, R, T, T c (U{R{T)~TVO U, R, T, V c UR~T~VVO U, R, T, W c U{(R{T)~WVO U, R, V, P c (U{R{P)~VVO U, R, V, T c UR~V~TVO U, R, V, V c (U{R)~V{VVO U, R, V, W c (U~R|W)~VVO U, R, W, Q c (U{R)~W|QVO U, R, W, S c U~(R{W){SVO U, R, W, T c U{(R{T)~WVO U, R, W, V c (U~R|W)~VVO U, R, W, W c (U{W)~(W|R)VO U, R, W, X c U~(WR{X)VO U, R, X, Q c U~(R{X)|QVO U, R, X, W c U~(X{WR)VO U, S, O, V c (U{S{O)~VVO U, S, P, U c (U{S)~(P{U)VO U, S, P, V c (U{S)~(P~V)VO U, S, P, W c (U{S)~(W|P)VO U, S, Q, R c U~S~R|QVO U, S, Q, T c (U{S)~(Q{T)VO U, S, Q, W c U{S~Q~WVO U, S, Q, X c (U{S)~(X|Q)VO U, S, R, Q c U~S~R|QVO U, S, R, S c (U{S)~(R{S)VO U, S, R, T c (U~R|S)~TVO U, S, R, W c U~(R{W){SVO U, S, S, R c (U{S)~(S{R)VO U, S, S, S c U{S~S~SVO U, S, S, T c (U{S{S)~TVO U, S, S, V c U~(S{V){SVO U, S, S, W c U{(S{S)~WVO U, S, S, X c U~X{S~SVO U, S, T, Q c (U{S)~(T{Q)VO U, S, T, R c (U~R|S)~TVO U, S, T, S c (U{S{S)~TVO U, S, T, T c (S~T|U)~TVO U, S, T, U c (U{T)~U{SVO U, S, T, V c (U|S)~(T~V)VO U, S, U, P c (U{S)~(U{P)VO U, S, U, T c U~(U{T){SVO U, S, V, O c (U{S)~(V{O)VO U, S, V, P c (U{S)~(V~P)VO U, S, V, S c U~(S{V){SVO U, S, V, T c (U|S)~(V~T)VO U, S, V, V c U~V{S~VVO U, S, V, W c (U|S{W)~VVO U, S, V, X c U{S~(V{X)VO U, S, W, P c (U{S)~(W|P)VO U, S, W, Q c U{S~W~QVO U, S, W, R c U~(W{R){SVO U, S, W, S c U{(S{S)~WVO U, S, W, V c (U|S{W)~VVO U, S, W, W c U{S~(W{W)VO U, S, W, X c U~(S{X)|WVO U, S, X, Q c (U{S)~(X|Q)VO U, S, X, S c U~X{S~SVO U, S, X, V c U{S~(X{V)VO U, S, X, W c U~(S{X)|WVO U, T, O, W c (U{O{W)~TVO U, T, P, Q c (U{P)~(T~Q)VO U, T, P, T c (U{P)~(T{T)VO U, T, P, V c (U{T|P)~VVO U, T, P, W c (U{P~W)~TVO U, T, P, X c (U|P)~(T{X)VO U, T, Q, P c (U{P)~(T~Q)VO U, T, Q, Q c (U~Q{Q)~TVO U, T, Q, S c (U{Q~S)~TVO U, T, Q, T c (U~T{T)~QVO U, T, Q, U c (U{Q{U)~TVO U, T, Q, V c U~(T{V)|QVO U, T, R, S c (U~R|S)~TVO U, T, R, T c (U{T{R)~TVO U, T, R, V c U~TR~VVO U, T, R, W c U{(T{R)~WVO U, T, S, Q c (U{S)~(T{Q)VO U, T, S, R c (U~R|S)~TVO U, T, S, S c (U{S{S)~TVO U, T, S, T c (T~S|U)~TVO U, T, S, U c (U{T)~U{SVO U, T, S, V c (U|S)~(T~V)VO U, T, T, P c (U{P)~(T{T)VO U, T, T, Q c (U~T{T)~QVO U, T, T, R c (U{T{R)~TVO U, T, T, S c T~(T~S|U)VO U, T, T, V c (U{V)~T{TVO U, T, T, W c U~T{T~WVO U, T, T, X c (U{X)~T|TVO U, T, U, Q c (U{U{Q)~TVO U, T, U, S c (U{T)~U{SVO U, T, V, P c (U{T|P)~VVO U, T, V, Q c U~(T{V)|QVO U, T, V, R c U~T~VRVO U, T, V, S c (U|S)~(T~V)VO U, T, V, T c (U{V)~T{TVO U, T, V, V c (U{T)~V|VVO U, T, V, W c (T~V)~(W|U)VO U, T, V, X c (U|T{X)~VVO U, T, W, O c (U{W)~(T{O)VO U, T, W, P c (U{W)~(T~P)VO U, T, W, R c U{(T{R)~WVO U, T, W, T c U~T{W~TVO U, T, W, V c T~(W|U)~VVO U, T, W, W c U~(T{W)|WVO U, T, X, P c (U{X|P)~TVO U, T, X, T c (U{X)~T|TVO U, T, X, V c (U|T{X)~VVO U, T, X, X c (X~X)|(U{T)VO U, U, P, Q c (U~U|P)~QVO U, U, P, S c (U{P)~(U{S)VO U, U, P, W c (U|P)~(U{W)VO U, U, Q, P c (U~U|P)~QVO U, U, Q, Q c U~U~Q|QVO U, U, Q, T c (U{U{Q)~TVO U, U, Q, U c (U{U)~U|QVO U, U, Q, V c (U{U|Q)~VVO U, U, Q, W c U{(U{Q)~WVO U, U, S, P c (U{S)~(U{P)VO U, U, S, T c U~(U{T){SVO U, U, T, Q c (U{U{Q)~TVO U, U, T, S c U~(U{T){SVO U, U, U, Q c (U{U)~U|QVO U, U, V, Q c (U{U|Q)~VVO U, U, V, W c U~(U{V)|WVO U, U, V, X c (UU{X)~VVO U, U, W, P c (U{W)~(U|P)VO U, U, W, Q c U{(U{Q)~WVO U, U, W, V c U~(U{V)|WVO U, U, X, V c (UU{X)~VVO U, V, O, S c (U{O{S)~VVO U, V, P, Q c (U|P)~(V~Q)VO U, V, P, R c (U{P)~(V{R)VO U, V, P, S c (U{P~S)~VVO U, V, P, T c (U{V{P)~TVO U, V, P, V c (U|P)~(V{V)VO U, V, P, W c U{(V{P)~WVO U, V, P, X c U{V~X{PVO U, V, Q, P c (U|P)~(V~Q)VO U, V, Q, Q c (U{Q{Q)~VVO U, V, Q, T c U~(V{T)|QVO U, V, Q, U c (U|Q{U)~VVO U, V, Q, V c (U~V|V)~QVO U, V, Q, W c (U{W)~(V|Q)VO U, V, R, P c (U{R{P)~VVO U, V, R, T c U~VR~TVO U, V, R, V c (U{V|R)~VVO U, V, R, W c (U~R|W)~VVO U, V, S, O c (U{S)~(V{O)VO U, V, S, P c (U{S)~(V~P)VO U, V, S, S c U~(V{S){SVO U, V, S, T c (U|S)~(V~T)VO U, V, S, V c U~V{S~VVO U, V, S, W c (U|S{W)~VVO U, V, S, X c U{(V{X)~SVO U, V, T, P c (U{V{P)~TVO U, V, T, Q c U~(V{T)|QVO U, V, T, R c U~V~TRVO U, V, T, S c (U|S)~(V~T)VO U, V, T, T c (U{V)~T{TVO U, V, T, V c (U{T)~V|VVO U, V, T, W c (V~T)~(W|U)VO U, V, T, X c (U|T{X)~VVO U, V, U, Q c (U{U|Q)~VVO U, V, U, W c (U{V)~U|WVO U, V, U, X c (UU{X)~VVO U, V, V, P c (U|P)~(V{V)VO U, V, V, Q c (U~V|V)~QVO U, V, V, R c (U{V|R)~VVO U, V, V, S c U~V{V~SVO U, V, V, T c (U{T)~V|VVO U, V, V, X c (V|U{X)~VVO U, V, W, P c U{(V{P)~WVO U, V, W, Q c (U{W)~(V|Q)VO U, V, W, R c (U~R|W)~VVO U, V, W, S c (U{W|S)~VVO U, V, W, T c V~(W|U)~TVO U, V, W, U c (U{V)~U|WVO U, V, W, W c U{V~W{WVO U, V, X, P c U{V~X{PVO U, V, X, S c U{(V{X)~SVO U, V, X, T c (U{X|T)~VVO U, V, X, U c (UU{X)~VVO U, V, X, V c (V|U{X)~VVO U, V, X, X c U~X{V{XVO U, W, O, T c (U{W{O)~TVO U, W, O, W c U{(W{O)~WVO U, W, P, Q c (U{P)~(W{Q)VO U, W, P, S c (U{W)~(P{S)VO U, W, P, T c (U{W)~(P~T)VO U, W, P, U c (U{W)~(U|P)VO U, W, P, V c U{W~(P{V)VO U, W, P, W c U{W~P~WVO U, W, P, X c U{W~(X|P)VO U, W, Q, P c (U{P)~(W{Q)VO U, W, Q, R c (U{W)~(Q{R)VO U, W, Q, S c U{W~Q~SVO U, W, Q, U c U{W~(Q{U)VO U, W, Q, V c (U{WQ)~VVO U, W, Q, X c U~X{W~QVO U, W, R, Q c (U{W)~(R{Q)VO U, W, R, S c U~(W{R){SVO U, W, R, T c U{W~(R{T)VO U, W, R, V c (U~R|W)~VVO U, W, R, W c (U{W)~(W|R)VO U, W, R, X c U~(WR{X)VO U, W, S, P c (U{W)~(S{P)VO U, W, S, Q c U{W~S~QVO U, W, S, R c U~(W{R){SVO U, W, S, S c U{W~(S{S)VO U, W, S, V c (U{W|S)~VVO U, W, S, W c U{(W{W)~SVO U, W, S, X c (U{W)~(X|S)VO U, W, T, O c (U{W)~(T{O)VO U, W, T, P c (U{W)~(T~P)VO U, W, T, R c U{W~(T{R)VO U, W, T, T c U~T{W~TVO U, W, T, V c (W|U)~(T~V)VO U, W, T, W c U~(W{T)|WVO U, W, U, P c (U{W)~(U|P)VO U, W, U, Q c U{W~(U{Q)VO U, W, U, V c U~(U{V)|WVO U, W, V, P c U{W~(V{P)VO U, W, V, Q c (U{W)~(V|Q)VO U, W, V, R c (U~R|W)~VVO U, W, V, S c (U{W|S)~VVO U, W, V, T c (W|U)~(V~T)VO U, W, V, U c (U{V)~U|WVO U, W, V, W c U{W{V~WVO U, W, W, O c U{W~W{OVO U, W, W, P c U{W~W~PVO U, W, W, R c (U{W)~(W|R)VO U, W, W, S c U{(W{W)~SVO U, W, W, T c U~(W{T)|WVO U, W, W, V c U{W{W~VVO U, W, W, W c (UW{W)~WVO U, W, W, X c U{W~X|WVO U, W, X, P c U{W~(X|P)VO U, W, X, Q c U~X{W~QVO U, W, X, R c U~(WR{X)VO U, W, X, S c (U{W)~(X|S)VO U, W, X, W c U{W~X|WVO U, X, P, P c (U{P)~(X{P)VO U, X, P, T c (U{X|P)~TVO U, X, P, V c U{X~V{PVO U, X, P, W c U{(X|P)~WVO U, X, Q, Q c (U{Q)~X|QVO U, X, Q, R c U~(X{R)|QVO U, X, Q, S c U~(X{Q){SVO U, X, Q, W c U~X{Q~WVO U, X, R, Q c U~(X{R)|QVO U, X, R, W c U~(X{WR)VO U, X, S, Q c U~(X{Q){SVO U, X, S, S c U~X{S~SVO U, X, S, V c U{(X{V)~SVO U, X, S, W c U~(X{S)|WVO U, X, T, P c (U{X|P)~TVO U, X, T, T c (U{X)~T|TVO U, X, T, V c (U{X|T)~VVO U, X, T, X c (X~X)|(U{T)VO U, X, U, V c (UU{X)~VVO U, X, V, P c U{X~V{PVO U, X, V, S c U{(X{V)~SVO U, X, V, T c (U{X|T)~VVO U, X, V, U c (UU{X)~VVO U, X, V, V c (X|U{V)~VVO U, X, V, X c U~X{V{XVO U, X, W, P c U{(X|P)~WVO U, X, W, Q c U~X{W~QVO U, X, W, R c U~(X{WR)VO U, X, W, S c U~(X{S)|WVO U, X, W, W c U{X~W|WVO U, X, X, T c (X~X)|(U{T)VO U, X, X, V c U~X{X{VVO V, O, P, X c (V{O)~(P{X)VO V, O, Q, T c (V{O)~(Q~T)VO V, O, Q, W c (V{O)~(Q{W)VO V, O, R, V c (V{O{R)~VVO V, O, S, U c (V{O)~(S{U)VO V, O, T, Q c (V{O)~(T~Q)VO V, O, T, T c (V{O)~(T{T)VO V, O, T, V c (V{O{V)~TVO V, O, U, S c (V{O)~(U{S)VO V, O, V, R c (V{O)~(V{R)VO V, O, V, T c (V{O{V)~TVO V, O, V, X c V{O{V~XVO V, O, W, Q c (V{O)~(W{Q)VO V, O, X, P c (V{O)~(X{P)VO V, O, X, V c V{O{X~VVO V, P, O, X c V~(P{O{X)VO V, P, P, T c V~(P{P)~TVO V, P, P, W c V~(P{P{W)VO V, P, P, X c V~(P{P~X)VO V, P, Q, S c V~(P{S)~QVO V, P, Q, T c V~P~Q~TVO V, P, Q, U c (V~Q)~(U|P)VO V, P, Q, V c (V{P{Q)~VVO V, P, Q, W c (V~P)~(Q{W)VO V, P, Q, X c (V{P)~X|QVO V, P, R, R c V~(P{R~R)VO V, P, R, T c V~(R|P)~TVO V, P, R, U c V~(P{R{U)VO V, P, R, V c (V{P~R)~VVO V, P, R, W c V~(R|P{W)VO V, P, S, Q c V~(P{S)~QVO V, P, S, T c V~(P{S{T)VO V, P, S, U c (V~P)~(S{U)VO V, P, S, V c (V|P{S)~VVO V, P, T, P c V~(P{P)~TVO V, P, T, Q c V~P~T~QVO V, P, T, R c (V~T)~(R|P)VO V, P, T, S c V~(P{T{S)VO V, P, T, T c (V~P)~(T{T)VO V, P, T, U c (V{P{U)~TVO V, P, T, V c (V{P~V)~TVO V, P, T, W c (V|P{W)~TVO V, P, U, Q c V~(U|P)~QVO V, P, U, R c V~(P{U{R)VO V, P, U, S c (V~P)~(U{S)VO V, P, U, T c (V{P{U)~TVO V, P, U, V c (V{V)~(U|P)VO V, P, U, W c (V{P)~W{UVO V, P, U, X c V{(P{U)~XVO V, P, V, Q c V~(P{V{Q)VO V, P, V, R c (V~P)~(V{R)VO V, P, V, S c (V|P{S)~VVO V, P, V, T c (V{P~V)~TVO V, P, V, U c (V{V)~(U|P)VO V, P, V, W c V{(P{W)~VVO V, P, V, X c V{P~V~XVO V, P, W, P c V~(P{W{P)VO V, P, W, Q c (V~P)~(W{Q)VO V, P, W, R c V~(W|P{R)VO V, P, W, T c (V|P{W)~TVO V, P, W, U c (V{P)~W{UVO V, P, W, V c V{(P{W)~VVO V, P, W, W c V|P{W~WVO V, P, W, X c V{(W|P)~XVO V, P, X, O c V~(P{X){OVO V, P, X, P c V~(P{X)~PVO V, P, X, Q c (V{P)~X|QVO V, P, X, U c V{(P{U)~XVO V, P, X, V c V{P~X~VVO V, P, X, W c V~X|P{WVO V, Q, O, T c (V~Q{O)~TVO V, Q, O, W c V~(Q{O{W)VO V, Q, P, S c (V~Q)~(P{S)VO V, Q, P, T c V~Q~P~TVO V, Q, P, U c (V~Q)~(U|P)VO V, Q, P, V c (V{Q{P)~VVO V, Q, P, W c V~(Q{P~W)VO V, Q, P, X c V~(Q|P{X)VO V, Q, Q, R c (V~Q)~(Q{R)VO V, Q, Q, S c V~(Q{Q~S)VO V, Q, Q, U c V~(Q{Q{U)VO V, Q, Q, V c (V|Q)~(Q~V)VO V, Q, Q, W c (V{Q)~W|QVO V, Q, Q, X c V~(QQ{X)VO V, Q, R, Q c V~(Q{R)~QVO V, Q, R, S c V~(Q~R{S)VO V, Q, R, T c V~(Q{R{T)VO V, Q, R, V c (V{V)~(Q{R)VO V, Q, R, W c (V~Q)~(W|R)VO V, Q, R, X c V~(R|Q{X)VO V, Q, S, P c (V~Q)~(S{P)VO V, Q, S, Q c V~(Q{S~Q)VO V, Q, S, R c V~(Q~R{S)VO V, Q, S, S c V~(Q{S{S)VO V, Q, S, T c VQ~S~TVO V, Q, S, V c (V~Q|S)~VVO V, Q, S, W c V~(S|Q{W)VO V, Q, S, X c (V~Q)~(X|S)VO V, Q, T, O c V~Q~T{OVO V, Q, T, P c V~Q~T~PVO V, Q, T, R c V~(Q{T{R)VO V, Q, T, S c VQ~T~SVO V, Q, T, T c (V{Q{T)~TVO V, Q, T, U c (V{T)~U|QVO V, Q, T, V c (V|Q{T)~VVO V, Q, T, X c V{(Q{T)~XVO V, Q, U, P c (V~Q)~(U|P)VO V, Q, U, Q c V~(Q{U{Q)VO V, Q, U, T c (V{T)~U|QVO V, Q, U, U c V~(U|Q{U)VO V, Q, U, V c (V{UQ)~VVO V, Q, U, W c (V|Q)~(U{W)VO V, Q, V, P c V~(Q{V{P)VO V, Q, V, Q c (V|Q)~(V~Q)VO V, Q, V, R c (V{V)~(Q{R)VO V, Q, V, S c V~(Q~V|S)VO V, Q, V, T c (V|Q{T)~VVO V, Q, V, U c V~(V{UQ)VO V, Q, V, V c V{(Q{V)~VVO V, Q, V, W c V~Q{V~WVO V, Q, V, X c V~(Q{X)|VVO V, Q, W, O c V~(Q{W){OVO V, Q, W, P c V~(Q{W)~PVO V, Q, W, Q c (V{Q)~W|QVO V, Q, W, R c (V~Q)~(W|R)VO V, Q, W, S c V~(W|Q{S)VO V, Q, W, U c (V|Q)~(W{U)VO V, Q, W, V c V~Q{W~VVO V, Q, W, X c V~(Q~X|W)VO V, Q, X, P c V~(Q{X|P)VO V, Q, X, Q c V~(QQ{X)VO V, Q, X, R c V~(X|Q{R)VO V, Q, X, S c (V~Q)~(X|S)VO V, Q, X, T c (V|Q{X)~TVO V, Q, X, V c V~(Q{X)|VVO V, Q, X, W c V~(Q~X|W)VO V, Q, X, X c V{(X|Q)~XVO V, R, O, V c (V{R{O)~VVO V, R, P, R c V~(R~R{P)VO V, R, P, T c V~(R|P)~TVO V, R, P, U c (V{R)~(P{U)VO V, R, P, V c (V{R)~(P~V)VO V, R, P, W c V~(R|P{W)VO V, R, Q, Q c V~(R{Q)~QVO V, R, Q, S c V~(R~Q{S)VO V, R, Q, T c (V{R)~(Q{T)VO V, R, Q, V c (V{V)~(R{Q)VO V, R, Q, W c (V~Q)~(W|R)VO V, R, Q, X c V~(R|Q{X)VO V, R, R, P c V~(R~R{P)VO V, R, R, S c (V{R)~(R{S)VO V, R, R, V c V{R~R~VVO V, R, R, X c V~(RR{X)VO V, R, S, Q c V~(R~S|Q)VO V, R, S, R c (V{R)~(S{R)VO V, R, S, T c (V{R{S)~TVO V, R, S, X c V{(R{S)~XVO V, R, T, P c V~(R|P)~TVO V, R, T, Q c (V{R)~(T{Q)VO V, R, T, S c (V{R{S)~TVO V, R, T, T c V~(R~T|T)VO V, R, T, U c VR~T~UVO V, R, T, V c (V~R|V)~TVO V, R, T, W c V~(T|R{W)VO V, R, U, P c (V{R)~(U{P)VO V, R, U, T c VR~U~TVO V, R, U, V c V{(R{U)~VVO V, R, U, W c V~(R~U|W)VO V, R, V, O c (V{R)~(V{O)VO V, R, V, P c (V{R)~(V~P)VO V, R, V, Q c (V{V)~(R{Q)VO V, R, V, R c V{R~V~RVO V, R, V, T c (V~R|V)~TVO V, R, V, U c V{(R{U)~VVO V, R, V, V c V~R{V~VVO V, R, V, W c V~(R{W)|VVO V, R, V, X c V~(V{XR)VO V, R, W, P c (V{R)~(W|P)VO V, R, W, Q c V~(W|R)~QVO V, R, W, T c V~(W|R{T)VO V, R, W, U c V~(R~U|W)VO V, R, W, V c V~(R{W)|VVO V, R, X, Q c (V{R)~(X|Q)VO V, R, X, R c V~(RR{X)VO V, R, X, S c V{(R{S)~XVO V, R, X, V c (V{XR)~VVO V, S, O, U c V~(S{O{U)VO V, S, P, Q c V~(S{P)~QVO V, S, P, T c V~(S{P{T)VO V, S, P, U c V~(S{P~U)VO V, S, P, V c (V{S|P)~VVO V, S, Q, P c V~(S{P)~QVO V, S, Q, Q c V~(S~Q{Q)VO V, S, Q, R c V~(S{Q~R)VO V, S, Q, S c V~(S{Q{S)VO V, S, Q, T c V~(S|Q)~TVO V, S, Q, V c (V{S~V)~QVO V, S, Q, W c V~(S|Q{W)VO V, S, Q, X c (V~Q)~(X|S)VO V, S, R, Q c V~(S{R~Q)VO V, S, R, R c V~(S{R{R)VO V, S, R, T c (V{S{R)~TVO V, S, R, X c V{(S{R)~XVO V, S, S, Q c V~(S{S{Q)VO V, S, S, U c V~(S~S|U)VO V, S, S, X c V~(SS{X)VO V, S, T, P c V~(S{T{P)VO V, S, T, Q c V~S~TQVO V, S, T, R c (V{S{R)~TVO V, S, T, U c (V~T)~(U|S)VO V, S, T, V c V{(S{T)~VVO V, S, T, W c VS~T~WVO V, S, T, X c V~(T|S{X)VO V, S, U, O c V~(S{U){OVO V, S, U, P c V~(S{U)~PVO V, S, U, S c (V{S)~U{SVO V, S, U, T c V~(U|S)~TVO V, S, U, V c V~S{U~VVO V, S, U, W c V~(U|S{W)VO V, S, U, X c (V{X)~S{UVO V, S, V, P c V~(S{V|P)VO V, S, V, Q c (V{S~V)~QVO V, S, V, T c V{(S{T)~VVO V, S, V, U c V~S{V~UVO V, S, V, V c (V{S)~V|VVO V, S, V, W c (VS{V)~WVO V, S, V, X c (V{V)~(X|S)VO V, S, W, Q c V~(S{W|Q)VO V, S, W, T c VS~W~TVO V, S, W, U c V~(W|S{U)VO V, S, W, V c (VS{V)~WVO V, S, W, W c V~(WS{W)VO V, S, X, Q c V~(X|S)~QVO V, S, X, R c V~(S{X|R)VO V, S, X, S c V~(SS{X)VO V, S, X, T c V~(X|S{T)VO V, S, X, U c (V{X)~S{UVO V, S, X, V c (V{V)~(X|S)VO V, S, X, X c (X~X)|(V{S)VO V, T, O, Q c (V~T{O)~QVO V, T, O, T c V~(T{O{T)VO V, T, O, V c (V{O{V)~TVO V, T, P, P c (V~T)~(P{P)VO V, T, P, Q c V~T~P~QVO V, T, P, R c (V~T)~(R|P)VO V, T, P, S c V~(T{P{S)VO V, T, P, T c V~(T{P~T)VO V, T, P, U c V~(T|P{U)VO V, T, P, V c (V{P~V)~TVO V, T, P, W c (V|P{W)~TVO V, T, Q, O c V~T~Q{OVO V, T, Q, P c V~T~Q~PVO V, T, Q, R c V~(T{Q{R)VO V, T, Q, S c V~TQ~SVO V, T, Q, T c (V{T{Q)~TVO V, T, Q, U c (V{T)~U|QVO V, T, Q, V c (V{T|Q)~VVO V, T, Q, X c V{(T{Q)~XVO V, T, R, P c (V~T)~(R|P)VO V, T, R, Q c V~(T{R{Q)VO V, T, R, S c (V{R{S)~TVO V, T, R, T c V~(T|R)~TVO V, T, R, U c V~TR~UVO V, T, R, V c (V~R|V)~TVO V, T, R, W c V~(T|R{W)VO V, T, S, P c V~(T{S{P)VO V, T, S, Q c (V~T)~(S|Q)VO V, T, S, R c (V{S{R)~TVO V, T, S, U c (V~T)~(U|S)VO V, T, S, V c V{(T{S)~VVO V, T, S, W c V~TS~WVO V, T, S, X c V~(T|S{X)VO V, T, T, O c V~(T{T){OVO V, T, T, P c V~(T{T)~PVO V, T, T, Q c (V{T{Q)~TVO V, T, T, R c (V~T)~(T|R)VO V, T, T, U c (V{U)~T{TVO V, T, T, V c (V|T)~(T~V)VO V, T, T, W c (V{W)~T|TVO V, T, T, X c V~(TT{X)VO V, T, U, P c V~(T{U|P)VO V, T, U, Q c (V{T)~U|QVO V, T, U, R c V~T~URVO V, T, U, S c (V~T)~(U|S)VO V, T, U, T c (V{U)~T{TVO V, T, U, V c V~(T{U)|VVO V, T, U, W c (V~T)~(W|U)VO V, T, U, X c V~(U|T{X)VO V, T, V, O c (V{V)~(T{O)VO V, T, V, P c (V{V)~(T~P)VO V, T, V, Q c V~(T{V|Q)VO V, T, V, R c (V~R|V)~TVO V, T, V, S c V{(T{S)~VVO V, T, V, T c (V|T)~(V~T)VO V, T, V, U c V~(T{U)|VVO V, T, V, W c (V|T{W)~VVO V, T, V, X c (V~T)~(X|V)VO V, T, W, P c (V{W|P)~TVO V, T, W, R c V~(T{W|R)VO V, T, W, S c V~T~WSVO V, T, W, T c (V{W)~T|TVO V, T, W, U c (V~T)~(W|U)VO V, T, W, V c (V|T{W)~VVO V, T, W, X c V~W{T{XVO V, T, X, Q c V{(T{Q)~XVO V, T, X, S c V~(T{X|S)VO V, T, X, T c V~(TT{X)VO V, T, X, U c V~(X|T{U)VO V, T, X, V c (V~T)~(X|V)VO V, T, X, W c V~W{T{XVO V, U, O, S c V~(U{O{S)VO V, U, P, Q c V~(U|P)~QVO V, U, P, R c V~(U{P{R)VO V, U, P, S c V~(U{P~S)VO V, U, P, T c (V{U{P)~TVO V, U, P, V c (V{V)~(U|P)VO V, U, P, W c (V{P)~W{UVO V, U, P, X c V{(U{P)~XVO V, U, Q, P c V~(U|P)~QVO V, U, Q, Q c V~(U{Q{Q)VO V, U, Q, T c (V{T)~U|QVO V, U, Q, U c V~(U|Q{U)VO V, U, Q, V c (V{UQ)~VVO V, U, Q, W c V~(U{WQ)VO V, U, R, P c V~(U{R{P)VO V, U, R, T c V~UR~TVO V, U, R, V c V{(U{R)~VVO V, U, R, W c V~(U~R|W)VO V, U, S, O c V~(U{S){OVO V, U, S, P c V~(U{S)~PVO V, U, S, S c (V{S)~U{SVO V, U, S, T c V~(U|S)~TVO V, U, S, V c V~U{S~VVO V, U, S, W c V~(U|S{W)VO V, U, S, X c (V{X)~S{UVO V, U, T, P c V~(U{T|P)VO V, U, T, Q c (V{T)~U|QVO V, U, T, R c V~U~TRVO V, U, T, S c V~(U|S)~TVO V, U, T, T c (V{U)~T{TVO V, U, T, V c V~(U{T)|VVO V, U, T, W c (V~T)~(W|U)VO V, U, T, X c V~(U|T{X)VO V, U, U, Q c V~(U{U|Q)VO V, U, U, W c (V{U)~U|WVO V, U, U, X c V~(UU{X)VO V, U, V, P c (V{V)~(U|P)VO V, U, V, Q c (V~U|V)~QVO V, U, V, R c V~(U{V|R)VO V, U, V, S c V~U{V~SVO V, U, V, T c V~(U{T)|VVO V, U, V, X c (V|U{X)~VVO V, U, W, P c (V{P)~W{UVO V, U, W, Q c V~(U{WQ)VO V, U, W, R c V~(U~R|W)VO V, U, W, S c V~(U{W|S)VO V, U, W, T c V~(W|U)~TVO V, U, W, U c (V{U)~U|WVO V, U, W, W c V~W{U{WVO V, U, X, P c V{(U{P)~XVO V, U, X, S c (V{X)~S{UVO V, U, X, T c V~(U{X|T)VO V, U, X, U c V~(UU{X)VO V, U, X, V c (V|U{X)~VVO V, U, X, X c V{U~X{XVO V, V, O, R c V~(V{O{R)VO V, V, O, T c (V{V{O)~TVO V, V, O, X c V{(V{O)~XVO V, V, P, Q c V~(V{P{Q)VO V, V, P, R c V~(V{P~R)VO V, V, P, S c (V{V)~(P{S)VO V, V, P, T c (V{V)~(P~T)VO V, V, P, U c (V{V)~(U|P)VO V, V, P, W c V{V~(P{W)VO V, V, P, X c V{V~P~XVO V, V, Q, P c V~(V{Q{P)VO V, V, Q, Q c V~(V|Q)~QVO V, V, Q, R c (V{V)~(Q{R)VO V, V, Q, S c V~(V~Q|S)VO V, V, Q, T c V~(V|Q{T)VO V, V, Q, U c V~(V{UQ)VO V, V, Q, V c V{(V{Q)~VVO V, V, Q, W c V~Q{V~WVO V, V, Q, X c V~(Q{X)|VVO V, V, R, O c V~(V{R){OVO V, V, R, P c V~(V{R)~PVO V, V, R, Q c (V{V)~(R{Q)VO V, V, R, R c V{V~R~RVO V, V, R, T c (V~R|V)~TVO V, V, R, U c V{V~(R{U)VO V, V, R, V c V~V{R~VVO V, V, R, W c (V{V)~(W|R)VO V, V, R, X c V~(V{XR)VO V, V, S, P c (V{V)~(S{P)VO V, V, S, Q c (V{V~S)~QVO V, V, S, T c V{V~(S{T)VO V, V, S, U c V~S{V~UVO V, V, S, V c (V{V|S)~VVO V, V, S, W c (V{VS)~WVO V, V, S, X c (V{V)~(X|S)VO V, V, T, O c (V{V)~(T{O)VO V, V, T, P c (V{V)~(T~P)VO V, V, T, Q c V~(V{T|Q)VO V, V, T, R c (V~R|V)~TVO V, V, T, S c V{V~(T{S)VO V, V, T, T c V~(V|T)~TVO V, V, T, U c V~(T{U)|VVO V, V, T, W c V~(V|T{W)VO V, V, T, X c (V~T)~(X|V)VO V, V, U, P c (V{V)~(U|P)VO V, V, U, Q c V~(V{UQ)VO V, V, U, R c V{V~(U{R)VO V, V, U, S c V~U{V~SVO V, V, U, T c V~(U{T)|VVO V, V, U, X c V~(V|U{X)VO V, V, V, Q c V{V~(V{Q)VO V, V, V, R c V~V{V~RVO V, V, V, S c V~(V{V|S)VO V, V, V, W c V{V{V~WVO V, V, V, X c V~(VV{X)VO V, V, W, P c V{V~(W{P)VO V, V, W, Q c V~W{V~QVO V, V, W, R c (V{V)~(W|R)VO V, V, W, S c (V{VS)~WVO V, V, W, T c V~(V{W|T)VO V, V, W, V c V{V{W~VVO V, V, W, X c V~(W|V{X)VO V, V, X, O c V{V~X{OVO V, V, X, P c V{V~X~PVO V, V, X, Q c V~(X{Q)|VVO V, V, X, R c V~(V{XR)VO V, V, X, S c (V{V)~(X|S)VO V, V, X, T c V~(X|V)~TVO V, V, X, U c V~(V{X|U)VO V, V, X, V c (VV{X)~VVO V, V, X, W c V~(X|V{W)VO V, V, X, X c (V{VX)~XVO V, W, O, Q c V~(W{O{Q)VO V, W, P, P c V~(W{P{P)VO V, W, P, Q c V~(W{P~Q)VO V, W, P, R c V~(W|P{R)VO V, W, P, T c (V{W|P)~TVO V, W, P, U c (V{P)~W{UVO V, W, P, V c V{(W{P)~VVO V, W, P, W c V{W~W|PVO V, W, P, X c V{(W|P)~XVO V, W, Q, O c V~(W{Q){OVO V, W, Q, P c V~(W{Q)~PVO V, W, Q, Q c (V{Q)~W|QVO V, W, Q, R c V~(W|R)~QVO V, W, Q, S c V~(W|Q{S)VO V, W, Q, U c V~(W~Q|U)VO V, W, Q, V c V~W{Q~VVO V, W, Q, X c V~(Q~X|W)VO V, W, R, P c V~(W{R|P)VO V, W, R, Q c V~(W|R)~QVO V, W, R, T c V~(W|R{T)VO V, W, R, U c V~(W{UR)VO V, W, R, V c V~(W{R)|VVO V, W, S, Q c V~(W{S|Q)VO V, W, S, T c V~WS~TVO V, W, S, U c V~(W|S{U)VO V, W, S, V c (VS{V)~WVO V, W, S, W c V~(WS{W)VO V, W, T, P c (V{W|P)~TVO V, W, T, R c V~(W{T|R)VO V, W, T, S c V~W~TSVO V, W, T, T c (V{W)~T|TVO V, W, T, U c V~(W|U)~TVO V, W, T, V c (V{W|T)~VVO V, W, T, X c V~W{T{XVO V, W, U, P c (V{P)~W{UVO V, W, U, Q c V~(W~Q|U)VO V, W, U, R c V~(W{UR)VO V, W, U, S c V~(W{U|S)VO V, W, U, T c V~(W|U)~TVO V, W, U, U c (V{U)~U|WVO V, W, U, W c V~W{U{WVO V, W, V, P c V{(W{P)~VVO V, W, V, Q c V~W{V~QVO V, W, V, R c V~(W{R)|VVO V, W, V, S c (V{VS)~WVO V, W, V, T c V~(W{V|T)VO V, W, V, V c V{W~V{VVO V, W, V, X c V~(W|V{X)VO V, W, W, P c V{W~W|PVO V, W, W, S c V~(W{WS)VO V, W, W, U c V~W{W{UVO V, W, W, X c V~(WW{X)VO V, W, X, P c V{(W|P)~XVO V, W, X, Q c V~(X~Q|W)VO V, W, X, T c V~W{X{TVO V, W, X, V c V~(W{X|V)VO V, W, X, W c V~(WW{X)VO V, W, X, X c V{W~X|XVO V, X, O, P c V~(X{O{P)VO V, X, O, V c V{(X{O)~VVO V, X, P, O c V~(X{P){OVO V, X, P, P c V~(X{P)~PVO V, X, P, Q c V~(X|P{Q)VO V, X, P, U c V{X~(P{U)VO V, X, P, V c V{X~P~VVO V, X, P, W c V~X|P{WVO V, X, Q, P c V~(X{Q|P)VO V, X, Q, Q c V~(X{QQ)VO V, X, Q, R c V~(X|Q{R)VO V, X, Q, S c V~(X|S)~QVO V, X, Q, T c (V{X|Q)~TVO V, X, Q, V c V~(X{Q)|VVO V, X, Q, W c V~(X~Q|W)VO V, X, Q, X c V{(X|Q)~XVO V, X, R, Q c V~(X{R|Q)VO V, X, R, R c V~(X{RR)VO V, X, R, S c V{X~(R{S)VO V, X, R, V c (V{XR)~VVO V, X, S, Q c V~(X|S)~QVO V, X, S, R c V{X~(S{R)VO V, X, S, S c V~(X{SS)VO V, X, S, T c V~(X|S{T)VO V, X, S, U c (V{X)~S{UVO V, X, S, V c (V{V)~(X|S)VO V, X, S, X c (X~X)|(V{S)VO V, X, T, Q c V{X~(T{Q)VO V, X, T, S c V~(X{T|S)VO V, X, T, T c V~(X{TT)VO V, X, T, U c V~(X|T{U)VO V, X, T, V c V~(X|V)~TVO V, X, T, W c V~W{X{TVO V, X, U, P c V{X~(U{P)VO V, X, U, S c (V{X)~S{UVO V, X, U, T c V~(X{U|T)VO V, X, U, U c V~(X{UU)VO V, X, U, V c (V{X|U)~VVO V, X, U, X c V{X{U~XVO V, X, V, O c V{X~V{OVO V, X, V, P c V{X~V~PVO V, X, V, Q c V~(X{Q)|VVO V, X, V, R c (V{XR)~VVO V, X, V, S c (V{V)~(X|S)VO V, X, V, T c V~(X|V)~TVO V, X, V, U c V~(X{V|U)VO V, X, V, V c V~(X{VV)VO V, X, V, W c V~(X|V{W)VO V, X, V, X c (VX{V)~XVO V, X, W, P c V{X~(W|P)VO V, X, W, Q c V~(X~Q|W)VO V, X, W, T c V~W{X{TVO V, X, W, V c V~(X{W|V)VO V, X, W, W c V~(X{WW)VO V, X, W, X c V{X~W|XVO V, X, X, Q c V{X~(X|Q)VO V, X, X, S c (X~X)|(V{S)VO V, X, X, U c V{X{X~UVO V, X, X, V c (VX{V)~XVO V, X, X, W c V~(X{X|W)VO V, X, X, X c V~(X{XX)VO W, O, Q, V c (W{O{Q)~VVO W, O, Q, X c (W{O)~X|QVO W, O, T, U c (W{O{U)~TVO W, O, U, T c (W{O{U)~TVO W, O, U, W c (W{O)~W{UVO W, O, V, Q c (W{O{Q)~VVO W, O, W, U c (W{O)~W{UVO W, O, X, Q c (W{O)~X|QVO W, P, P, V c (W{P{P)~VVO W, P, P, X c (W|P)~(P{X)VO W, P, Q, T c (W|P)~(Q~T)VO W, P, Q, U c (W{Q)~(P{U)VO W, P, Q, V c (W{P~Q)~VVO W, P, Q, W c (W|P)~(Q{W)VO W, P, Q, X c W~P~X|QVO W, P, R, V c (W|P{R)~VVO W, P, R, X c W~X{P|RVO W, P, S, U c (W|P)~(S{U)VO W, P, S, X c W~(X|PS)VO W, P, T, Q c (W|P)~(T~Q)VO W, P, T, T c (W{P{T)~TVO W, P, T, U c (W{P~U)~TVO W, P, T, V c (W|P{V)~TVO W, P, T, W c W~W{P{TVO W, P, U, Q c (W{Q)~(P{U)VO W, P, U, S c (W|P)~(U{S)VO W, P, U, T c (W{P~U)~TVO W, P, U, U c (W{U)~(U|P)VO W, P, U, V c W~(P{V){UVO W, P, U, W c W~P~W{UVO W, P, U, X c W~(X|P){UVO W, P, V, P c (W{P{P)~VVO W, P, V, Q c (W{P~Q)~VVO W, P, V, R c (W|P)~(V{R)VO W, P, V, T c (W|P{V)~TVO W, P, V, U c W~(P{V){UVO W, P, V, V c (W{P)~V{VVO W, P, V, W c W~W|P{VVO W, P, V, X c W|P{V~XVO W, P, W, Q c (W{P)~W|QVO W, P, W, T c W~W{P{TVO W, P, W, U c W~P~W{UVO W, P, W, V c W~W|P{VVO W, P, X, P c (W|P)~(X{P)VO W, P, X, Q c W~P~X|QVO W, P, X, R c W~X{P|RVO W, P, X, S c W~(X|PS)VO W, P, X, U c W~(X|P){UVO W, P, X, V c W|P{X~VVO W, Q, O, V c (W{Q{O)~VVO W, Q, O, X c (W{O)~X|QVO W, Q, P, T c (W|P)~(Q~T)VO W, Q, P, U c (W{Q)~(P{U)VO W, Q, P, V c (W{Q)~(P~V)VO W, Q, P, W c (W{Q)~(W|P)VO W, Q, P, X c W~P~X|QVO W, Q, Q, T c (W{Q)~(Q{T)VO W, Q, Q, V c W~(Q{V)|QVO W, Q, Q, X c (W{Q)~(X|Q)VO W, Q, R, R c W~R~R|QVO W, Q, R, S c (W{Q)~(R{S)VO W, Q, R, T c (W{Q~R)~TVO W, Q, R, U c W~(R{U)|QVO W, Q, R, V c (W|R)~(Q~V)VO W, Q, R, W c W~W{Q~RVO W, Q, R, X c (W{R~X)~QVO W, Q, S, R c (W{Q)~(S{R)VO W, Q, S, T c (W{Q{S)~TVO W, Q, S, U c W~Q~S{UVO W, Q, S, V c (W|Q{S)~VVO W, Q, S, W c W~W{Q{SVO W, Q, S, X c W~X{Q|SVO W, Q, T, P c (W|P)~(Q~T)VO W, Q, T, Q c (W{Q)~(T{Q)VO W, Q, T, R c (W{Q~R)~TVO W, Q, T, S c (W{Q{S)~TVO W, Q, T, T c (W~T|T)~QVO W, Q, T, W c (W|Q{W)~TVO W, Q, U, P c (W{Q)~(U{P)VO W, Q, U, R c (W{U)~(Q{R)VO W, Q, U, S c W~Q~S{UVO W, Q, U, U c W~(Q{U){UVO W, Q, U, V c (W~Q|U)~VVO W, Q, U, X c W~Q{U~XVO W, Q, V, O c (W{Q)~(V{O)VO W, Q, V, P c (W{Q)~(V~P)VO W, Q, V, Q c W~(Q{V)|QVO W, Q, V, R c (W|R)~(Q~V)VO W, Q, V, S c (W|Q{S)~VVO W, Q, V, U c (W~Q|U)~VVO W, Q, V, V c W~V{Q~VVO W, Q, V, X c (Q~X|W)~VVO W, Q, W, P c (W{Q)~(W|P)VO W, Q, W, R c W~W{Q~RVO W, Q, W, S c W~W{Q{SVO W, Q, W, T c (W|Q{W)~TVO W, Q, W, W c W|Q{W~WVO W, Q, W, X c W~(X|QW)VO W, Q, X, O c W~X|Q{OVO W, Q, X, P c W~X|Q~PVO W, Q, X, Q c (W{Q)~(X|Q)VO W, Q, X, R c (W{X~R)~QVO W, Q, X, S c W~X{Q|SVO W, Q, X, U c W~Q{X~UVO W, Q, X, V c (Q~X|W)~VVO W, Q, X, W c W~(X|QW)VO W, Q, X, X c (W|QX)~XVO W, R, P, V c (W{R|P)~VVO W, R, P, X c W~X|R{PVO W, R, Q, R c W~R~R|QVO W, R, Q, S c (W{Q)~(R{S)VO W, R, Q, T c (W{R~Q)~TVO W, R, Q, U c W~(R{U)|QVO W, R, Q, V c (W|R)~(Q~V)VO W, R, Q, W c W~W{R~QVO W, R, Q, X c (W{R~X)~QVO W, R, R, Q c W~R~R|QVO W, R, R, T c (W{R{R)~TVO W, R, R, W c W~W{R{RVO W, R, S, Q c (W~S{R)~QVO W, R, S, U c (W{R)~U{SVO W, R, S, W c (W{RS)~WVO W, R, T, Q c (W{R~Q)~TVO W, R, T, R c (W{R{R)~TVO W, R, T, U c W~(R{T){UVO W, R, T, V c (W|R{T)~VVO W, R, T, X c (W|R)~(T{X)VO W, R, U, Q c W~(R{U)|QVO W, R, U, S c (W{R)~U{SVO W, R, U, T c W~(R{T){UVO W, R, U, V c (W{UR)~VVO W, R, U, W c (W|R)~(U{W)VO W, R, U, X c (WR{X)~UVO W, R, V, P c (W{R|P)~VVO W, R, V, Q c (W|R)~(V~Q)VO W, R, V, T c (W|R{T)~VVO W, R, V, U c (W{UR)~VVO W, R, V, V c (W{R)~V|VVO W, R, W, Q c W~W{R~QVO W, R, W, R c W~W{R{RVO W, R, W, S c (W{RS)~WVO W, R, W, U c (W|R)~(W{U)VO W, R, W, X c W~W|R{XVO W, R, X, P c W~X|R{PVO W, R, X, Q c (W{R~X)~QVO W, R, X, T c (W|R{X)~TVO W, R, X, U c (WR{X)~UVO W, R, X, W c W~W|R{XVO W, R, X, X c (X~X)|(W{R)VO W, S, P, U c (W|P)~(S{U)VO W, S, P, X c W~(X|PS)VO W, S, Q, R c (W~S{R)~QVO W, S, Q, T c (W{S{Q)~TVO W, S, Q, U c W~S~Q{UVO W, S, Q, V c (W{S|Q)~VVO W, S, Q, W c W~W{S{QVO W, S, Q, X c (W{X)~S{QVO W, S, R, Q c (W~S{R)~QVO W, S, R, U c (W{R)~U{SVO W, S, R, W c (W{RS)~WVO W, S, S, U c W~(S{S){UVO W, S, T, Q c W~(S{T)|QVO W, S, T, V c WS~T~VVO W, S, U, P c (W{U)~(S{P)VO W, S, U, Q c (W{S)~U|QVO W, S, U, R c (W{R)~U{SVO W, S, U, S c W~(S{S){UVO W, S, U, V c (W|S{U)~VVO W, S, U, W c (W{W)~S{UVO W, S, U, X c (W{U)~(X|S)VO W, S, V, Q c (W{S|Q)~VVO W, S, V, T c WS~V~TVO W, S, V, U c (W|S{U)~VVO W, S, V, V c W~(VS{V)VO W, S, V, W c (WS{W)~VVO W, S, W, Q c W~W{S{QVO W, S, W, R c W~(W{RS)VO W, S, W, U c (W{W)~S{UVO W, S, W, V c (WS{W)~VVO W, S, W, X c W~X|WSVO W, S, X, P c W~(X|PS)VO W, S, X, Q c (W{X)~S{QVO W, S, X, U c W~X{S|UVO W, S, X, W c W~X|WSVO W, T, O, U c (W{O{U)~TVO W, T, P, Q c (W|P)~(T~Q)VO W, T, P, T c (W{T{P)~TVO W, T, P, U c (W{P~U)~TVO W, T, P, V c (W|P{V)~TVO W, T, P, W c W~W{T{PVO W, T, Q, P c (W|P)~(T~Q)VO W, T, Q, Q c (W{Q)~(T{Q)VO W, T, Q, R c (W{Q~R)~TVO W, T, Q, S c W~(T{S)|QVO W, T, Q, T c (W~T|T)~QVO W, T, Q, W c (W|Q{W)~TVO W, T, R, Q c (W{R~Q)~TVO W, T, R, R c (W{R{R)~TVO W, T, R, U c W~(T{R){UVO W, T, R, V c (W{T|R)~VVO W, T, R, X c (W|R)~(T{X)VO W, T, S, Q c W~(T{S)|QVO W, T, S, V c W~TS~VVO W, T, T, P c (W{T{P)~TVO W, T, T, Q c (W~T|T)~QVO W, T, T, T c (W{T)~T{TVO W, T, T, U c W~T{T~UVO W, T, T, V c (W{V)~T|TVO W, T, U, O c (W{U)~(T{O)VO W, T, U, P c (W{U)~(T~P)VO W, T, U, R c W~(T{R){UVO W, T, U, T c W~T{U~TVO W, T, U, V c (W|U)~(T~V)VO W, T, U, W c (W{T)~U|WVO W, T, V, P c (W{V|P)~TVO W, T, V, R c (W{T|R)~VVO W, T, V, S c W~T~VSVO W, T, V, T c (W{V)~T|TVO W, T, V, U c (W|U)~(T~V)VO W, T, V, V c (W|T{V)~VVO W, T, V, X c W~V{T{XVO W, T, W, P c W~W{T{PVO W, T, W, Q c (W{W|Q)~TVO W, T, W, U c (W{T)~U|WVO W, T, X, R c W~X|T{RVO W, T, X, V c W~X{T|VVO W, U, O, T c (W{U{O)~TVO W, U, O, W c (W{O)~W{UVO W, U, P, Q c (W{Q)~(U{P)VO W, U, P, S c (W{U)~(P{S)VO W, U, P, T c (W{U)~(P~T)VO W, U, P, U c (W{U)~(U|P)VO W, U, P, V c W~(P{V){UVO W, U, P, W c W~P~W{UVO W, U, P, X c W~(X|P){UVO W, U, Q, P c (W{Q)~(U{P)VO W, U, Q, R c (W{U)~(Q{R)VO W, U, Q, S c W~Q~S{UVO W, U, Q, U c W~(U{Q){UVO W, U, Q, V c (W{U)~(V|Q)VO W, U, Q, X c W~Q{U~XVO W, U, R, Q c (W{U)~(R{Q)VO W, U, R, S c (W{R)~U{SVO W, U, R, T c W~(R{T){UVO W, U, R, V c (W{UR)~VVO W, U, R, W c (W{U)~(W|R)VO W, U, R, X c (WR{X)~UVO W, U, S, P c (W{U)~(S{P)VO W, U, S, Q c (W{S)~U|QVO W, U, S, R c (W{R)~U{SVO W, U, S, S c W~(S{S){UVO W, U, S, V c (W{U|S)~VVO W, U, S, W c (W{W)~S{UVO W, U, S, X c (W{U)~(X|S)VO W, U, T, O c (W{U)~(T{O)VO W, U, T, P c (W{U)~(T~P)VO W, U, T, R c W~(T{R){UVO W, U, T, T c W~T{U~TVO W, U, T, V c (W|U)~(T~V)VO W, U, T, W c (W{T)~U|WVO W, U, U, P c (W{U)~(U|P)VO W, U, U, Q c W~(U{Q){UVO W, U, U, V c U~(U{V)|WVO W, U, V, P c W~(V{P){UVO W, U, V, Q c (W{U)~(V|Q)VO W, U, V, R c (W{UR)~VVO W, U, V, S c (W{U|S)~VVO W, U, V, T c (W|U)~(V~T)VO W, U, V, U c (U{V)~U|WVO W, U, V, W c W{U{V~WVO W, U, W, O c W~W{U{OVO W, U, W, P c W~W{U~PVO W, U, W, R c (W{U)~(W|R)VO W, U, W, S c (W{W)~S{UVO W, U, W, T c (W{T)~U|WVO W, U, W, V c W{U{W~VVO W, U, W, W c (W{UW)~WVO W, U, W, X c W{U~X{WVO W, U, X, P c W~(X|P){UVO W, U, X, Q c W~Q{U~XVO W, U, X, R c W~X|URVO W, U, X, S c (W{U)~(X|S)VO W, U, X, W c W{U~X{WVO W, V, O, Q c (W{O{Q)~VVO W, V, P, P c (W{P{P)~VVO W, V, P, Q c (W{P~Q)~VVO W, V, P, R c (W|P)~(V{R)VO W, V, P, T c (W{V|P)~TVO W, V, P, U c W~(V{P){UVO W, V, P, V c (W{P)~V{VVO W, V, P, W c W~W{V|PVO W, V, P, X c W{V~X|PVO W, V, Q, O c (W{Q)~(V{O)VO W, V, Q, P c (W{Q)~(V~P)VO W, V, Q, Q c W~(V{Q)|QVO W, V, Q, R c (W|R)~(V~Q)VO W, V, Q, S c (W|Q{S)~VVO W, V, Q, U c (W~Q|U)~VVO W, V, Q, V c W~V{Q~VVO W, V, Q, X c V~(Q~X|W)VO W, V, R, P c (W{R|P)~VVO W, V, R, Q c (W|R)~(V~Q)VO W, V, R, T c (W|R{T)~VVO W, V, R, U c (W{UR)~VVO W, V, R, V c (W{R)~V|VVO W, V, S, Q c (W{S|Q)~VVO W, V, S, T c W~VS~TVO W, V, S, U c (W|S{U)~VVO W, V, S, V c W~(VS{V)VO W, V, S, W c (WS{W)~VVO W, V, T, P c (W{V|P)~TVO W, V, T, R c (W{T|R)~VVO W, V, T, S c W~V~TSVO W, V, T, T c (W{V)~T|TVO W, V, T, U c (W|U)~(V~T)VO W, V, T, V c (W{V|T)~VVO W, V, T, X c W~V{T{XVO W, V, U, P c W~(V{P){UVO W, V, U, Q c (W{U)~(V|Q)VO W, V, U, R c (W{UR)~VVO W, V, U, S c (W{U|S)~VVO W, V, U, T c (W|U)~(V~T)VO W, V, U, U c (V{U)~U|WVO W, V, U, W c W~V{U{WVO W, V, V, P c (W{P)~V{VVO W, V, V, Q c W~V{V~QVO W, V, V, R c (W{R)~V|VVO W, V, V, S c W~(V{VS)VO W, V, V, T c (W{V|T)~VVO W, V, V, V c W~V{V{VVO W, V, V, X c (W|V{X)~VVO W, V, W, P c W~W{V|PVO W, V, W, S c (W{WS)~VVO W, V, W, U c W{V~W{UVO W, V, W, X c (WW{X)~VVO W, V, X, P c W{V~X|PVO W, V, X, Q c V~(X~Q|W)VO W, V, X, T c W~V{X{TVO W, V, X, V c (W|V{X)~VVO W, V, X, W c (WW{X)~VVO W, V, X, X c W~X{V|XVO W, W, O, U c W~W{O{UVO W, W, P, Q c W~(W{P)|QVO W, W, P, T c W~W{P{TVO W, W, P, U c W~W{P~UVO W, W, P, V c W~W|P{VVO W, W, Q, P c W~(W{P)|QVO W, W, Q, R c W~W{Q~RVO W, W, Q, S c W~W{Q{SVO W, W, Q, T c (W{W|Q)~TVO W, W, Q, W c W~W|Q{WVO W, W, Q, X c W~(X|QW)VO W, W, R, Q c W~W{R~QVO W, W, R, R c W~W{R{RVO W, W, R, S c W~(W{RS)VO W, W, R, U c (W|R)~(W{U)VO W, W, R, X c W~W|R{XVO W, W, S, Q c W~W{S{QVO W, W, S, R c W~(W{RS)VO W, W, S, U c (W{W)~S{UVO W, W, S, V c (W{WS)~VVO W, W, S, X c W~X|WSVO W, W, T, P c W~W{T{PVO W, W, T, Q c (W{W|Q)~TVO W, W, T, U c (W{T)~U|WVO W, W, U, O c W~W{U{OVO W, W, U, P c W~W{U~PVO W, W, U, R c (W{U)~(W|R)VO W, W, U, S c (W{W)~S{UVO W, W, U, T c (W{T)~U|WVO W, W, U, V c (W{W|U)~VVO W, W, U, W c W~(W{UW)VO W, W, U, X c W{W{U~XVO W, W, V, P c W~W{V|PVO W, W, V, S c (W{WS)~VVO W, W, V, U c W{W~V{UVO W, W, V, X c (WW{X)~VVO W, W, W, Q c W{W~W|QVO W, W, W, U c W~(W{UW)VO W, W, X, Q c W~(X|QW)VO W, W, X, R c W~W{X|RVO W, W, X, S c W~X|WSVO W, W, X, U c W{W{X~UVO W, W, X, V c (WW{X)~VVO W, X, O, Q c W~X{O|QVO W, X, P, P c (W~X)|(P{P)VO W, X, P, Q c W~X|P~QVO W, X, P, R c W~X{P|RVO W, X, P, S c W~(X|PS)VO W, X, P, U c W~(X|P){UVO W, X, P, V c W{X~V|PVO W, X, Q, O c W~X|Q{OVO W, X, Q, P c W~X|Q~PVO W, X, Q, Q c (W{Q)~(X|Q)VO W, X, Q, R c (W{X~R)~QVO W, X, Q, S c W~X{Q|SVO W, X, Q, U c W~Q{X~UVO W, X, Q, V c (X~Q|W)~VVO W, X, Q, W c W~(X|QW)VO W, X, Q, X c (W|QX)~XVO W, X, R, P c W~X|R{PVO W, X, R, Q c (W{X~R)~QVO W, X, R, T c (W{X|R)~TVO W, X, R, U c W~X|URVO W, X, R, W c W~W{X|RVO W, X, R, X c (X~X)|(W{R)VO W, X, S, P c W~(X|PS)VO W, X, S, Q c (W{X)~S{QVO W, X, S, U c W~X{S|UVO W, X, S, W c W~X|WSVO W, X, T, R c W~X|T{RVO W, X, T, V c W~X{T|VVO W, X, U, P c W~(X|P){UVO W, X, U, Q c W~Q{X~UVO W, X, U, R c W~X|URVO W, X, U, S c W~X|U{SVO W, X, U, W c W{X~U{WVO W, X, V, P c W{X~V|PVO W, X, V, Q c (X~Q|W)~VVO W, X, V, T c W~X|V{TVO W, X, V, V c (W{X|V)~VVO W, X, V, W c (WW{X)~VVO W, X, V, X c W~X{V|XVO W, X, W, Q c W~(X|QW)VO W, X, W, R c W~W{X|RVO W, X, W, S c W~X|WSVO W, X, W, U c W~X|W{UVO W, X, W, V c (WW{X)~VVO W, X, X, Q c (W|QX)~XVO W, X, X, R c (X~X)|(W{R)VO W, X, X, V c W~X|X{VVO X, O, P, V c (X{O{P)~VVO X, O, Q, W c (X{O)~W|QVO X, O, T, T c (X{O{T)~TVO X, O, V, P c (X{O{P)~VVO X, O, V, V c (X{O)~V{VVO X, O, W, Q c (X{O)~W|QVO X, P, O, V c (X{P{O)~VVO X, P, P, U c (X{P)~(P{U)VO X, P, P, V c (X{P)~(P~V)VO X, P, P, W c (X{P)~(W|P)VO X, P, Q, S c (X~S|P)~QVO X, P, Q, T c (X{P)~(Q{T)VO X, P, Q, V c (X|P{Q)~VVO X, P, Q, W c X~P~W|QVO X, P, Q, X c (X{P)~(X|Q)VO X, P, R, S c (X{P)~(R{S)VO X, P, R, W c X~W{P|RVO X, P, S, Q c (X~S|P)~QVO X, P, S, R c (X{P)~(S{R)VO X, P, S, T c (X{P{S)~TVO X, P, S, W c (X|PS)~WVO X, P, T, Q c (X{P)~(T{Q)VO X, P, T, S c (X{P{S)~TVO X, P, T, T c (X{P~T)~TVO X, P, T, U c (X|P{U)~TVO X, P, U, P c (X{P)~(U{P)VO X, P, U, T c (X|P{U)~TVO X, P, U, V c X~(P{U){VVO X, P, U, W c (X|P)~W{UVO X, P, V, O c (X{P)~(V{O)VO X, P, V, P c (X{P)~(V~P)VO X, P, V, Q c X~(P{V)|QVO X, P, V, U c X~(P{U){VVO X, P, V, V c X~P~V{VVO X, P, V, W c X~V|P{WVO X, P, W, P c (X{P)~(W|P)VO X, P, W, Q c X~P~W|QVO X, P, W, R c X~W{P|RVO X, P, W, S c (X|PS)~WVO X, P, W, U c (X|P)~W{UVO X, P, W, V c X~(W|P){VVO X, P, X, Q c (X{P)~(X|Q)VO X, Q, O, W c (X{O)~W|QVO X, Q, P, S c (X~S|P)~QVO X, Q, P, T c (X{P)~(Q{T)VO X, Q, P, V c (X{Q|P)~VVO X, Q, P, W c X~P~W|QVO X, Q, P, X c (X|Q)~(P{X)VO X, Q, Q, S c X~Q~S|QVO X, Q, Q, T c (X|Q)~(Q~T)VO X, Q, Q, U c X~(Q{U)|QVO X, Q, Q, V c (X{QQ)~VVO X, Q, Q, W c (X|Q)~(Q{W)VO X, Q, R, T c (X{Q{R)~TVO X, Q, R, U c (X{R)~U|QVO X, Q, R, V c (X|Q{R)~VVO X, Q, R, W c (X~R{W)~QVO X, Q, S, P c (X~S|P)~QVO X, Q, S, Q c X~Q~S|QVO X, Q, S, S c X~(S{S)|QVO X, Q, S, T c (X~Q|S)~TVO X, Q, S, U c (X|Q)~(S{U)VO X, Q, S, V c (X|S)~(Q~V)VO X, Q, S, W c X~W{Q|SVO X, Q, S, X c (X{X)~S|QVO X, Q, T, P c (X{P)~(Q{T)VO X, Q, T, Q c (X|Q)~(T~Q)VO X, Q, T, R c (X{Q{R)~TVO X, Q, T, S c (X~Q|S)~TVO X, Q, T, T c (X|Q)~(T{T)VO X, Q, T, V c X~(Q{T){VVO X, Q, U, Q c X~(Q{U)|QVO X, Q, U, R c (X{R)~U|QVO X, Q, U, S c (X{Q)~U{SVO X, Q, U, W c X~U{Q~WVO X, Q, V, P c (X{Q|P)~VVO X, Q, V, Q c (X{QQ)~VVO X, Q, V, R c (X|Q)~(V{R)VO X, Q, V, S c (X|S)~(Q~V)VO X, Q, V, T c (X|Q{V)~TVO X, Q, V, V c (X{Q)~V|VVO X, Q, V, W c (X~Q|W)~VVO X, Q, V, X c X|Q{V~XVO X, Q, W, O c X~W|Q{OVO X, Q, W, P c X~W|Q~PVO X, Q, W, Q c (X|Q)~(W{Q)VO X, Q, W, R c (X~R{W)~QVO X, Q, W, S c X~W{Q|SVO X, Q, W, U c X~U{Q~WVO X, Q, W, V c (X~Q|W)~VVO X, Q, W, W c (X|QW)~WVO X, Q, W, X c X~(W|QX)VO X, Q, X, P c (X|Q)~(X{P)VO X, Q, X, S c (X{X)~S|QVO X, Q, X, V c X|Q{X~VVO X, Q, X, W c X~(W|QX)VO X, Q, X, X c (X~X)|(Q{X)VO X, R, P, S c (X{P)~(R{S)VO X, R, P, W c X~W|R{PVO X, R, Q, T c (X{R{Q)~TVO X, R, Q, U c (X{R)~U|QVO X, R, Q, V c (X{R|Q)~VVO X, R, Q, W c (X~R{W)~QVO X, R, R, V c (X{RR)~VVO X, R, S, P c (X{P)~(R{S)VO X, R, S, V c (X|R{S)~VVO X, R, T, Q c X~(R{T)|QVO X, R, T, W c (X|R{W)~TVO X, R, U, Q c (X{R)~U|QVO X, R, U, W c (X{WR)~UVO X, R, V, Q c (X{R|Q)~VVO X, R, V, R c (X{RR)~VVO X, R, V, S c (X|R{S)~VVO X, R, V, V c (XR{V)~VVO X, R, W, P c X~W|R{PVO X, R, W, Q c (X~R{W)~QVO X, R, W, T c (X|R{W)~TVO X, R, W, U c (X{WR)~UVO X, R, W, W c X|R{W~WVO X, R, W, X c (X~X)|(R{W)VO X, R, X, W c (X~X)|(R{W)VO X, S, P, Q c (X~S|P)~QVO X, S, P, R c (X{P)~(S{R)VO X, S, P, T c (X{S{P)~TVO X, S, P, W c (X|PS)~WVO X, S, Q, P c (X~S|P)~QVO X, S, Q, Q c X~S~Q|QVO X, S, Q, S c X~(S{S)|QVO X, S, Q, T c (X~Q|S)~TVO X, S, Q, U c (X|Q)~(S{U)VO X, S, Q, V c (X|S)~(Q~V)VO X, S, Q, W c (X{W)~S{QVO X, S, Q, X c (X{X)~S|QVO X, S, R, P c (X{P)~(S{R)VO X, S, R, V c (X{S|R)~VVO X, S, S, Q c X~(S{S)|QVO X, S, S, U c X~U{S~SVO X, S, S, V c (X{SS)~VVO X, S, T, P c (X{S{P)~TVO X, S, T, Q c (X~Q|S)~TVO X, S, T, T c (X{S)~T{TVO X, S, T, V c (X|S{T)~VVO X, S, T, X c (X|S)~(T{X)VO X, S, U, Q c (X|Q)~(S{U)VO X, S, U, S c X~U{S~SVO X, S, U, V c (X{V)~S{UVO X, S, U, W c (X{S)~U|WVO X, S, V, Q c (X|S)~(V~Q)VO X, S, V, R c (X{S|R)~VVO X, S, V, S c (X{SS)~VVO X, S, V, T c (X|S{T)~VVO X, S, V, U c (X{V)~S{UVO X, S, V, V c (X|S)~(V{V)VO X, S, V, X c (X~X)|(S{V)VO X, S, W, P c (X|PS)~WVO X, S, W, Q c (X{W)~S{QVO X, S, W, U c (X|S)~(W{U)VO X, S, W, W c X~W|WSVO X, S, X, Q c (X{X)~S|QVO X, S, X, T c (X|S{X)~TVO X, S, X, V c (X~X)|(S{V)VO X, T, O, T c (X{T{O)~TVO X, T, P, Q c (X{P)~(T{Q)VO X, T, P, S c (X{T)~(P{S)VO X, T, P, T c (X{T)~(P~T)VO X, T, P, U c (X{T)~(U|P)VO X, T, Q, P c (X{P)~(T{Q)VO X, T, Q, Q c (X|Q)~(T~Q)VO X, T, Q, R c (X{T)~(Q{R)VO X, T, Q, S c (X~Q|S)~TVO X, T, Q, T c (X|Q)~(T{T)VO X, T, Q, V c X~(T{Q){VVO X, T, R, Q c (X{T)~(R{Q)VO X, T, R, W c (X{T)~(W|R)VO X, T, S, P c (X{T)~(S{P)VO X, T, S, Q c (X~Q|S)~TVO X, T, S, T c (X{S)~T{TVO X, T, S, V c (X{T|S)~VVO X, T, S, X c (X{T)~(X|S)VO X, T, T, O c (X{T)~(T{O)VO X, T, T, P c (X{T)~(T~P)VO X, T, T, Q c (X|Q)~(T{T)VO X, T, T, S c (X{S)~T{TVO X, T, T, T c X~T{T~TVO X, T, T, U c (X{U)~T|TVO X, T, T, V c (X{TT)~VVO X, T, U, P c (X{T)~(U|P)VO X, T, U, T c (X{U)~T|TVO X, T, U, V c (X|T{U)~VVO X, T, U, X c (X~X)|(T{U)VO X, T, V, Q c (X{T)~(V|Q)VO X, T, V, S c (X{T|S)~VVO X, T, V, T c (X{TT)~VVO X, T, V, U c (X|T{U)~VVO X, T, V, V c (X|V)~(T~V)VO X, T, V, W c X{T{V~WVO X, T, W, R c (X{T)~(W|R)VO X, T, W, V c X{T{W~VVO X, T, X, S c (X{T)~(X|S)VO X, T, X, U c (X~X)|(T{U)VO X, U, P, P c (X{P)~(U{P)VO X, U, P, T c (X{U|P)~TVO X, U, P, V c X~(U{P){VVO X, U, P, W c (X|P)~W{UVO X, U, Q, Q c X~(U{Q)|QVO X, U, Q, R c (X{R)~U|QVO X, U, Q, S c (X{Q)~U{SVO X, U, Q, W c X~U{Q~WVO X, U, R, Q c (X{R)~U|QVO X, U, R, W c X~W|URVO X, U, S, Q c (X{Q)~U{SVO X, U, S, S c X~U{S~SVO X, U, S, V c (X{V)~S{UVO X, U, S, W c (X{S)~U|WVO X, U, T, P c (X{U|P)~TVO X, U, T, T c (X{U)~T|TVO X, U, T, V c (X{U|T)~VVO X, U, T, X c (X~X)|(U{T)VO X, U, U, V c (X{UU)~VVO X, U, V, P c X~(U{P){VVO X, U, V, S c (X{V)~S{UVO X, U, V, T c (X{U|T)~VVO X, U, V, U c (X{UU)~VVO X, U, V, V c (X|U{V)~VVO X, U, V, X c X~U{V{XVO X, U, W, P c (X|P)~W{UVO X, U, W, Q c X~U{W~QVO X, U, W, R c X~W|URVO X, U, W, S c X~W|U{SVO X, U, W, W c X~U{W{WVO X, U, X, T c (X~X)|(U{T)VO X, U, X, V c X{U~X{VVO X, V, O, P c (X{O{P)~VVO X, V, O, V c X~V{O{VVO X, V, P, O c (X{P)~(V{O)VO X, V, P, P c (X{P)~(V~P)VO X, V, P, Q c X~(V{P)|QVO X, V, P, U c X~V{P{UVO X, V, P, V c X~V{P~VVO X, V, P, W c X~V|P{WVO X, V, Q, P c X~(V{P)|QVO X, V, Q, Q c (X{QQ)~VVO X, V, Q, R c (X|Q)~(V{R)VO X, V, Q, S c (X|S)~(V~Q)VO X, V, Q, T c (X{V|Q)~TVO X, V, Q, V c (X{Q)~V|VVO X, V, Q, W c (X~Q|W)~VVO X, V, Q, X c X~V|Q{XVO X, V, R, Q c (X{R|Q)~VVO X, V, R, R c (X{RR)~VVO X, V, R, S c X~V{R{SVO X, V, R, V c (XR{V)~VVO X, V, S, Q c (X|S)~(V~Q)VO X, V, S, R c X~V{S{RVO X, V, S, S c (X{SS)~VVO X, V, S, T c (X|S{T)~VVO X, V, S, U c (X{V)~S{UVO X, V, S, V c (X|S)~(V{V)VO X, V, S, X c (X~X)|(V{S)VO X, V, T, Q c X~V{T{QVO X, V, T, S c (X{T|S)~VVO X, V, T, T c (X{TT)~VVO X, V, T, U c (X|T{U)~VVO X, V, T, V c (X|V)~(T~V)VO X, V, T, W c X{V~W{TVO X, V, U, P c X~V{U{PVO X, V, U, S c (X{V)~S{UVO X, V, U, T c (X{U|T)~VVO X, V, U, U c (X{UU)~VVO X, V, U, V c (X{V|U)~VVO X, V, U, X c X{V{U~XVO X, V, V, O c X~V{V{OVO X, V, V, P c X~V{V~PVO X, V, V, Q c (X{Q)~V|VVO X, V, V, R c (XR{V)~VVO X, V, V, S c (X|S)~(V{V)VO X, V, V, T c (X|V)~(V~T)VO X, V, V, U c (X{V|U)~VVO X, V, V, V c (X{VV)~VVO X, V, V, W c (X|V{W)~VVO X, V, V, X c X~(V{VX)VO X, V, W, P c X~V{W|PVO X, V, W, Q c (X~Q|W)~VVO X, V, W, T c X{V~W{TVO X, V, W, V c (X|V{W)~VVO X, V, W, W c (X{WW)~VVO X, V, W, X c X~W{V|XVO X, V, X, Q c X{V~X|QVO X, V, X, S c (X~X)|(V{S)VO X, V, X, U c X{V{X~UVO X, V, X, V c X~(VX{V)VO X, V, X, W c (X{X|W)~VVO X, V, X, X c (X{XX)~VVO X, W, O, Q c X~W{O|QVO X, W, P, P c (X~W)|(P{P)VO X, W, P, Q c X~W|P~QVO X, W, P, R c X~W{P|RVO X, W, P, S c (X|PS)~WVO X, W, P, U c (X|P)~W{UVO X, W, P, V c X~(W|P){VVO X, W, Q, O c X~W|Q{OVO X, W, Q, P c X~W|Q~PVO X, W, Q, Q c (X|Q)~(W{Q)VO X, W, Q, R c (X~R{W)~QVO X, W, Q, S c X~W{Q|SVO X, W, Q, U c X~U{W~QVO X, W, Q, V c (X~Q|W)~VVO X, W, Q, W c (X|QW)~WVO X, W, Q, X c X~(W|QX)VO X, W, R, P c X~W|R{PVO X, W, R, Q c (X~R{W)~QVO X, W, R, T c (X{W|R)~TVO X, W, R, U c (X{WR)~UVO X, W, R, W c X{W~W|RVO X, W, R, X c (X~X)|(W{R)VO X, W, S, P c (X|PS)~WVO X, W, S, Q c (X{W)~S{QVO X, W, S, U c X~W{S|UVO X, W, S, W c X~W|WSVO X, W, T, R c X~W|T{RVO X, W, T, V c X~W{T|VVO X, W, U, P c (X|P)~W{UVO X, W, U, Q c X~U{W~QVO X, W, U, R c X~W|URVO X, W, U, S c X~W|U{SVO X, W, U, W c X~W{U|WVO X, W, V, P c X~(W|P){VVO X, W, V, Q c (X~Q|W)~VVO X, W, V, T c X{W~V{TVO X, W, V, V c (X{W|V)~VVO X, W, V, W c (X{WW)~VVO X, W, V, X c X~W{V|XVO X, W, W, Q c (X|QW)~WVO X, W, W, R c X{W~W|RVO X, W, W, S c X~W|WSVO X, W, W, U c X~W|W{UVO X, W, W, V c (X{WW)~VVO X, W, X, Q c X~(W|QX)VO X, W, X, R c (X~X)|(W{R)VO X, W, X, V c (X|W{X)~VVO X, X, P, Q c X~(X|P)|QVO X, X, Q, P c X~(X|P)|QVO X, X, Q, S c (X{X)~S|QVO X, X, Q, V c X~(X|Q){VVO X, X, Q, W c X~(W|QX)VO X, X, Q, X c (X~X)|(Q{X)VO X, X, R, W c (X~X)|(R{W)VO X, X, S, Q c (X{X)~S|QVO X, X, S, T c (X{X|S)~TVO X, X, S, V c (X~X)|(S{V)VO X, X, T, S c (X{X|S)~TVO X, X, T, U c (X~X)|(T{U)VO X, X, U, T c (X~X)|(U{T)VO X, X, U, V c X{X~U{VVO X, X, V, Q c X{X~V|QVO X, X, V, S c (X~X)|(V{S)VO X, X, V, U c X{X~U{VVO X, X, V, V c X~(VX{V)VO X, X, V, W c (X{X|W)~VVO X, X, V, X c (X{XX)~VVO X, X, W, Q c X~(W|QX)VO X, X, W, R c (X~X)|(W{R)VO X, X, W, V c (X{X|W)~VVO X, X, X, Q c (X~X)|(X{Q)VO X, X, X, V c (X{XX)~VVO