O, P, T, X c (O{P{X)~TTO O, P, V, V c O{P{V~VTO O, P, X, T c (O{P{X)~TTO O, Q, T, T c O{Q~T~TTO O, Q, T, W c (O{Q{W)~TTO O, Q, U, W c O{Q{U~WTO O, Q, W, T c (O{Q{W)~TTO O, Q, W, U c O{Q{W~UTO O, R, T, V c (O{R{V)~TTO O, R, V, T c (O{R{V)~TTO O, S, T, U c (O{S{U)~TTO O, S, U, T c (O{S{U)~TTO O, S, U, X c O{U~X|STO O, S, X, U c O{X~U|STO O, T, P, X c (O{T)~(P{X)TO O, T, Q, T c O{T~Q~TTO O, T, Q, W c (O{T)~(Q{W)TO O, T, R, V c (O{T)~(R{V)TO O, T, S, U c (O{T)~(S{U)TO O, T, T, Q c O{T~T~QTO O, T, T, T c (O{T{T)~TTO O, T, T, X c O{T{T~XTO O, T, U, S c (O{T)~(U{S)TO O, T, V, R c (O{T)~(V{R)TO O, T, W, Q c (O{T)~(W{Q)TO O, T, X, P c (O{T)~(X{P)TO O, T, X, T c O{T{X~TTO O, U, Q, W c O{U~W{QTO O, U, S, T c (O{U{S)~TTO O, U, S, X c O{U~X|STO O, U, T, S c (O{U{S)~TTO O, U, V, W c O{U~V{WTO O, U, W, Q c O{U~W{QTO O, U, W, V c O{U~V{WTO O, U, X, S c O{U~X|STO O, V, P, V c O{V~V{PTO O, V, R, T c (O{V{R)~TTO O, V, T, R c (O{V{R)~TTO O, V, U, W c O{V~U{WTO O, V, V, P c O{V~V{PTO O, V, W, U c O{V~W|UTO O, W, Q, T c (O{W{Q)~TTO O, W, Q, U c O{W~U{QTO O, W, T, Q c (O{W{Q)~TTO O, W, U, Q c O{W~U{QTO O, W, U, V c O{W{U~VTO O, W, V, U c O{W{V~UTO O, X, P, T c (O{X{P)~TTO O, X, S, U c O{X~U|STO O, X, T, P c (O{X{P)~TTO O, X, T, T c O{X~T{TTO O, X, U, S c O{X~U|STO P, O, T, X c (P{O{X)~TTO P, O, V, V c P{O{V~VTO P, O, X, T c (P{O{X)~TTO P, P, S, X c (P{S)~(P{X)TO P, P, T, T c (P{P)~(T~T)TO P, P, T, W c (P{P{W)~TTO P, P, T, X c (P{P~X)~TTO P, P, U, V c P{(P{U)~VTO P, P, U, W c P{P{U~WTO P, P, U, X c (P{X)~(U|P)TO P, P, V, U c P{(P{U)~VTO P, P, V, V c P{P~V~VTO P, P, V, W c P{V~(W|P)TO P, P, W, T c (P{P{W)~TTO P, P, W, U c P{P{W~UTO P, P, W, V c P{(W|P)~VTO P, P, X, S c (P{X)~(P{S)TO P, P, X, T c (P{P~X)~TTO P, P, X, U c (P{X)~(U|P)TO P, Q, R, W c (P{R~W)~QTO P, Q, R, X c (P{X)~(Q{R)TO P, Q, S, T c (P{S)~(Q~T)TO P, Q, S, U c (P{S~U)~QTO P, Q, S, W c (P{S)~(Q{W)TO P, Q, T, S c (P{S)~(Q~T)TO P, Q, T, T c P~Q~T~TTO P, Q, T, U c (Q~T)~(U|P)TO P, Q, T, V c P{(Q{T)~VTO P, Q, T, W c (P~Q{W)~TTO P, Q, T, X c (Q|P{X)~TTO P, Q, U, S c (P{U~S)~QTO P, Q, U, T c Q~(U|P)~TTO P, Q, U, V c (P{V)~U{QTO P, Q, U, W c P~Q{U~WTO P, Q, U, X c Q{U~(X|P)TO P, Q, V, T c (P{Q{V)~TTO P, Q, V, U c (P{V)~U{QTO P, Q, V, V c Q|P{V~VTO P, Q, V, W c Q{(V|P)~WTO P, Q, V, X c P{V~(X|Q)TO P, Q, W, R c (P{W~R)~QTO P, Q, W, S c (P{S)~(Q{W)TO P, Q, W, T c (P~Q{W)~TTO P, Q, W, U c P~Q{W~UTO P, Q, W, V c Q{W~(V|P)TO P, Q, X, R c (P{X)~(Q{R)TO P, Q, X, T c (Q|P{X)~TTO P, Q, X, U c Q{(X|P)~UTO P, Q, X, V c P{(X|Q)~VTO P, R, Q, W c (P{R~W)~QTO P, R, Q, X c (P{X)~(R{Q)TO P, R, R, T c (P{R~R)~TTO P, R, S, V c P{(R{S)~VTO P, R, T, R c (P{R~R)~TTO P, R, T, T c (R|P)~(T~T)TO P, R, T, U c (P{R{U)~TTO P, R, T, V c (P~R{V)~TTO P, R, T, W c (R|P{W)~TTO P, R, U, T c (P{R{U)~TTO P, R, U, V c (R{V)~(U|P)TO P, R, U, W c (PR{W)~UTO P, R, U, X c (U~X)|(P{R)TO P, R, V, S c P{(R{S)~VTO P, R, V, T c (P~R{V)~TTO P, R, V, U c (R{V)~(U|P)TO P, R, W, Q c (P{R~W)~QTO P, R, W, T c (R|P{W)~TTO P, R, W, U c (PR{W)~UTO P, R, W, X c (P{X)~(W|R)TO P, R, X, Q c (P{X)~(R{Q)TO P, R, X, U c (X~U)|(P{R)TO P, R, X, W c (P{X)~(W|R)TO P, S, P, X c (P{S)~(P{X)TO P, S, Q, T c (P{S)~(Q~T)TO P, S, Q, U c (P{S~U)~QTO P, S, Q, W c (P{S)~(Q{W)TO P, S, R, V c P{(S{R)~VTO P, S, S, U c (P{S)~(S{U)TO P, S, T, Q c (P{S)~(T~Q)TO P, S, T, T c (P{S{T)~TTO P, S, T, U c (P~S{U)~TTO P, S, T, V c (S|P{V)~TTO P, S, T, X c P{S{T~XTO P, S, U, Q c (P{S~U)~QTO P, S, U, S c (P{S)~(U{S)TO P, S, U, T c (P~S{U)~TTO P, S, U, U c (S{U)~(U|P)TO P, S, U, W c (PS{U)~WTO P, S, U, X c P~U~X|STO P, S, V, R c (P{S)~(V{R)TO P, S, V, T c (S|P{V)~TTO P, S, V, X c (V|P)~X|STO P, S, W, Q c (P{S)~(W{Q)TO P, S, W, U c (PS{U)~WTO P, S, X, P c (P{S)~(X{P)TO P, S, X, T c P{S{X~TTO P, S, X, U c P~X~U|STO P, S, X, V c X~(V|P)|STO P, S, X, X c (P{X)~(X|S)TO P, T, O, X c (P{O{X)~TTO P, T, P, T c (P{P)~(T~T)TO P, T, P, W c (P{P{W)~TTO P, T, P, X c (P~T)~(P{X)TO P, T, Q, S c (P{S)~(T~Q)TO P, T, Q, T c P~T~Q~TTO P, T, Q, U c (T~Q)~(U|P)TO P, T, Q, V c P{(T{Q)~VTO P, T, Q, W c (P~T)~(Q{W)TO P, T, Q, X c T~(Q|P{X)TO P, T, R, R c (P{R~R)~TTO P, T, R, T c T~(R|P)~TTO P, T, R, U c (P{R{U)~TTO P, T, R, V c (P~T)~(R{V)TO P, T, R, W c T~(R|P{W)TO P, T, S, Q c (P{S)~(T~Q)TO P, T, S, T c (P{T{S)~TTO P, T, S, U c (P~T)~(S{U)TO P, T, S, V c T~(S|P{V)TO P, T, S, X c P{T~X{STO P, T, T, P c (P{P)~(T~T)TO P, T, T, Q c P~T~T~QTO P, T, T, R c (T~T)~(R|P)TO P, T, T, S c (P{T{S)~TTO P, T, T, T c (P~T{T)~TTO P, T, T, U c (T|P{U)~TTO P, T, T, W c (P{W)~T{TTO P, T, T, X c P~T{T~XTO P, T, U, Q c T~(U|P)~QTO P, T, U, R c (P{U{R)~TTO P, T, U, S c (P~T)~(U{S)TO P, T, U, T c (T|P{U)~TTO P, T, U, X c P{U~X|TTO P, T, V, Q c P{(T{Q)~VTO P, T, V, R c (P~T)~(V{R)TO P, T, V, S c T~(V|P{S)TO P, T, V, W c (P{T)~V{WTO P, T, W, P c (P{W{P)~TTO P, T, W, Q c (P{T)~W{QTO P, T, W, R c T~(W|P{R)TO P, T, W, T c (P{W)~T{TTO P, T, W, V c (P{T)~V{WTO P, T, W, X c P{T~W{XTO P, T, X, O c (P{X)~(T{O)TO P, T, X, P c (P~T)~(X{P)TO P, T, X, Q c T~(X|P{Q)TO P, T, X, S c P{T~X{STO P, T, X, T c P~T{X~TTO P, T, X, U c P{X~U|TTO P, T, X, W c P{T~W{XTO P, U, P, V c P{(U{P)~VTO P, U, P, W c P{U~W{PTO P, U, P, X c (P{X)~(U|P)TO P, U, Q, S c (P{U~S)~QTO P, U, Q, T c (U|P)~(Q~T)TO P, U, Q, V c (P{V)~U{QTO P, U, Q, W c P~U~W{QTO P, U, Q, X c U~(X|P){QTO P, U, R, T c (P{U{R)~TTO P, U, R, V c (U|P)~(R{V)TO P, U, R, W c (PR{W)~UTO P, U, R, X c (U~X)|(P{R)TO P, U, S, Q c (P{U~S)~QTO P, U, S, S c (P{S)~(U{S)TO P, U, S, T c (P~U{S)~TTO P, U, S, U c (U|P)~(S{U)TO P, U, S, W c (PS{U)~WTO P, U, S, X c P~U~X|STO P, U, T, Q c (U|P)~(T~Q)TO P, U, T, R c (P{U{R)~TTO P, U, T, S c (P~U{S)~TTO P, U, T, T c (U|P{T)~TTO P, U, T, X c P{U~X|TTO P, U, U, S c (U|P)~(U{S)TO P, U, U, W c (P{U)~U{WTO P, U, V, P c (P{U)~V{PTO P, U, V, Q c (P{V)~U{QTO P, U, V, R c (U|P)~(V{R)TO P, U, V, V c P{U~V{VTO P, U, V, W c P~U~V{WTO P, U, V, X c U~V|P{XTO P, U, W, P c P{U~W{PTO P, U, W, Q c P~U~W{QTO P, U, W, R c (PR{W)~UTO P, U, W, S c (P{W)~U|STO P, U, W, U c (P{U)~W|UTO P, U, W, V c P~U~V{WTO P, U, W, W c U~(W|P){WTO P, U, X, P c (P{X)~(U|P)TO P, U, X, Q c U~(X|P){QTO P, U, X, R c (U~X)|(P{R)TO P, U, X, S c P~U~X|STO P, U, X, T c P{U~X|TTO P, U, X, V c U~V|P{XTO P, V, O, V c P{(V{O)~VTO P, V, P, U c P{V~(P{U)TO P, V, P, V c P{V~P~VTO P, V, P, W c P{V~(W|P)TO P, V, Q, T c (P{V{Q)~TTO P, V, Q, U c (P{V)~U{QTO P, V, Q, V c V~V|P{QTO P, V, Q, W c (V|P)~W{QTO P, V, Q, X c P{V~(X|Q)TO P, V, R, S c P{V~(R{S)TO P, V, R, T c (P~V{R)~TTO P, V, R, U c (V{R)~(U|P)TO P, V, S, R c P{V~(S{R)TO P, V, S, T c (V|P{S)~TTO P, V, S, X c (V|P)~X|STO P, V, T, Q c P{V~(T{Q)TO P, V, T, R c (P~V{R)~TTO P, V, T, S c (V|P{S)~TTO P, V, T, W c (P{T)~V{WTO P, V, U, P c P{V~(U{P)TO P, V, U, Q c (P{V)~U{QTO P, V, U, R c (V{R)~(U|P)TO P, V, U, V c P{V{U~VTO P, V, U, W c P~V~U{WTO P, V, U, X c V~U|P{XTO P, V, V, O c P{V~V{OTO P, V, V, P c P{V~V~PTO P, V, V, Q c V~V|P{QTO P, V, V, U c P{V{V~UTO P, V, V, V c (PV{V)~VTO P, V, V, W c P{V~W|VTO P, V, W, P c P{V~(W|P)TO P, V, W, Q c (V|P)~W{QTO P, V, W, T c (P{T)~V{WTO P, V, W, U c P~V~W|UTO P, V, W, V c P{V~W|VTO P, V, X, Q c P{V~(X|Q)TO P, V, X, S c (V|P)~X|STO P, V, X, U c V~(X|P)|UTO P, W, P, T c (P{W{P)~TTO P, W, P, U c P{W~U{PTO P, W, P, V c P{(W|P)~VTO P, W, Q, R c (P{W~R)~QTO P, W, Q, S c (P{S)~(W{Q)TO P, W, Q, T c (P~W{Q)~TTO P, W, Q, U c P~W~U{QTO P, W, Q, V c W~(V|P){QTO P, W, R, Q c (P{W~R)~QTO P, W, R, T c (W|P{R)~TTO P, W, R, U c (PR{W)~UTO P, W, R, X c (P{X)~(W|R)TO P, W, S, Q c (P{S)~(W{Q)TO P, W, S, U c (P{W)~U|STO P, W, T, P c (P{W{P)~TTO P, W, T, Q c (P~W{Q)~TTO P, W, T, R c (W|P{R)~TTO P, W, T, T c (P{W)~T{TTO P, W, T, V c (P{T)~V{WTO P, W, T, X c P{W~T{XTO P, W, U, P c P{W~U{PTO P, W, U, Q c P~W~U{QTO P, W, U, R c (PR{W)~UTO P, W, U, S c (P{W)~U|STO P, W, U, U c (P{U)~W|UTO P, W, U, V c P~W{U~VTO P, W, U, W c (W|P)~U{WTO P, W, V, P c P{(W|P)~VTO P, W, V, Q c W~(V|P){QTO P, W, V, T c (P{T)~V{WTO P, W, V, U c P~W{V~UTO P, W, V, V c P{W~V|VTO P, W, W, U c (W|P)~W|UTO P, W, X, R c (P{X)~(W|R)TO P, W, X, T c P{W~T{XTO P, X, O, T c (P{X{O)~TTO P, X, P, S c (P{X)~(P{S)TO P, X, P, T c (P{X)~(P~T)TO P, X, P, U c (P{X)~(U|P)TO P, X, Q, R c (P{X)~(Q{R)TO P, X, Q, T c (X|P{Q)~TTO P, X, Q, U c (X|P)~U{QTO P, X, Q, V c P{(X|Q)~VTO P, X, R, Q c (P{X)~(R{Q)TO P, X, R, U c (X~U)|(P{R)TO P, X, R, W c (P{X)~(W|R)TO P, X, S, P c (P{X)~(S{P)TO P, X, S, T c P{X~T{STO P, X, S, U c P~X~U|STO P, X, S, V c X~(V|P)|STO P, X, S, X c (P{X)~(X|S)TO P, X, T, O c (P{X)~(T{O)TO P, X, T, P c (P{X)~(T~P)TO P, X, T, Q c (X|P{Q)~TTO P, X, T, S c P{X~T{STO P, X, T, T c P~X~T{TTO P, X, T, U c P{X~U|TTO P, X, T, W c P{X{T~WTO P, X, U, P c (P{X)~(U|P)TO P, X, U, Q c (X|P)~U{QTO P, X, U, R c (X~U)|(P{R)TO P, X, U, S c P~X~U|STO P, X, U, T c P{X~U|TTO P, X, U, V c X|P{U~VTO P, X, V, Q c (P{X)~(V|Q)TO P, X, V, S c X~(V|P)|STO P, X, V, U c X|P{V~UTO P, X, W, R c (P{X)~(W|R)TO P, X, W, T c P{X{W~TTO P, X, X, S c (P{X)~(X|S)TO Q, O, T, T c (Q{O)~(T~T)TO Q, O, T, W c (Q{O{W)~TTO Q, O, U, W c Q{O{U~WTO Q, O, W, T c (Q{O{W)~TTO Q, O, W, U c Q{O{W~UTO Q, P, R, W c Q~(P{R~W)TO Q, P, R, X c (Q{R)~(P{X)TO Q, P, S, T c Q~(P{S)~TTO Q, P, S, U c Q~(P{S~U)TO Q, P, S, W c (Q{W)~(P{S)TO Q, P, T, S c Q~(P{S)~TTO Q, P, T, T c Q~P~T~TTO Q, P, T, U c (Q~T)~(U|P)TO Q, P, T, V c (Q{P{V)~TTO Q, P, T, W c Q{(P{T)~WTO Q, P, T, X c (Q|P{X)~TTO Q, P, U, S c Q~(P{U~S)TO Q, P, U, T c Q~(U|P)~TTO Q, P, U, V c Q{(P{V)~UTO Q, P, U, W c Q{P~U~WTO Q, P, U, X c Q{U~(X|P)TO Q, P, V, T c (Q{P{V)~TTO Q, P, V, U c Q{(P{V)~UTO Q, P, V, V c Q|P{V~VTO Q, P, V, W c Q{(V|P)~WTO Q, P, V, X c P{V~(X|Q)TO Q, P, W, R c Q~(P{W~R)TO Q, P, W, S c (Q{W)~(P{S)TO Q, P, W, T c (Q{P~W)~TTO Q, P, W, U c Q{P~W~UTO Q, P, W, V c Q{W~(V|P)TO Q, P, X, R c (Q{R)~(P{X)TO Q, P, X, T c (Q|P{X)~TTO Q, P, X, U c Q{(X|P)~UTO Q, P, X, V c P{(X|Q)~VTO Q, Q, R, T c Q~(Q{R)~TTO Q, Q, R, W c Q{Q~R~WTO Q, Q, R, X c Q~(R~X|Q)TO Q, Q, S, T c (Q{Q~S)~TTO Q, Q, S, U c Q{Q~S~UTO Q, Q, S, W c Q{(Q{S)~WTO Q, Q, T, R c Q~(Q{R)~TTO Q, Q, T, S c (Q{Q~S)~TTO Q, Q, T, U c (Q{Q{U)~TTO Q, Q, T, V c (Q~T)~(V|Q)TO Q, Q, T, X c (QQ{X)~TTO Q, Q, U, S c Q{Q~U~STO Q, Q, U, T c (Q{Q{U)~TTO Q, Q, U, U c Q{(Q{U)~UTO Q, Q, U, X c (U~X)|(Q{Q)TO Q, Q, V, T c Q~(V|Q)~TTO Q, Q, V, V c QQ{V~VTO Q, Q, V, W c (Q{W)~(V|Q)TO Q, Q, V, X c Q~(Q~X{V)TO Q, Q, W, R c Q{Q~W~RTO Q, Q, W, S c Q{(Q{S)~WTO Q, Q, W, V c (Q{W)~(V|Q)TO Q, Q, W, W c Q{(W|Q)~WTO Q, Q, W, X c Q~(Q~W{X)TO Q, Q, X, R c Q~(X~R|Q)TO Q, Q, X, T c (QQ{X)~TTO Q, Q, X, U c (X~U)|(Q{Q)TO Q, Q, X, V c Q~(Q~X{V)TO Q, Q, X, W c Q~(Q~W{X)TO Q, R, P, W c Q~(R~W{P)TO Q, R, P, X c (Q{R)~(P{X)TO Q, R, Q, T c (Q{R)~(Q~T)TO Q, R, Q, W c (Q{R)~(Q{W)TO Q, R, Q, X c Q~(R~X|Q)TO Q, R, R, V c (Q{R)~(R{V)TO Q, R, R, W c Q{(R{R)~WTO Q, R, S, S c Q{R~S~STO Q, R, S, T c (Q~R{S)~TTO Q, R, S, U c (Q{R)~(S{U)TO Q, R, S, V c Q~(R~V{S)TO Q, R, S, X c Q{(R{X)~STO Q, R, T, Q c (Q{R)~(T~Q)TO Q, R, T, S c (Q~R{S)~TTO Q, R, T, T c (Q{R{T)~TTO Q, R, T, U c Q{(R{T)~UTO Q, R, T, W c (Q~T)~(W|R)TO Q, R, T, X c Q{R{T~XTO Q, R, U, S c (Q{R)~(U{S)TO Q, R, U, T c Q{(R{T)~UTO Q, R, U, V c Q~(R~U{V)TO Q, R, U, X c U~(X|QR)TO Q, R, V, R c (Q{R)~(V{R)TO Q, R, V, S c Q~(R~V{S)TO Q, R, V, U c Q~(R~U{V)TO Q, R, V, V c R|Q{V~VTO Q, R, V, W c Q~R~V{WTO Q, R, V, X c Q{R~(V{X)TO Q, R, W, P c Q~(R~W{P)TO Q, R, W, Q c (Q{R)~(W{Q)TO Q, R, W, R c Q{(R{R)~WTO Q, R, W, T c Q~(W|R)~TTO Q, R, W, V c Q~R~V{WTO Q, R, W, W c Q{R~(W{W)TO Q, R, W, X c Q{W~(X|R)TO Q, R, X, P c (Q{R)~(X{P)TO Q, R, X, Q c Q~(R~X|Q)TO Q, R, X, S c Q{(R{X)~STO Q, R, X, T c Q{R{X~TTO Q, R, X, U c (X|QR)~UTO Q, R, X, V c Q{R~(X{V)TO Q, R, X, W c Q{(X|R)~WTO Q, S, P, T c Q~(S{P)~TTO Q, S, P, U c Q~(S~U{P)TO Q, S, P, W c (Q{W)~(S{P)TO Q, S, Q, T c (Q{S~Q)~TTO Q, S, Q, U c Q{S~Q~UTO Q, S, Q, W c Q{(S{Q)~WTO Q, S, R, S c Q{S~R~STO Q, S, R, T c (Q~R{S)~TTO Q, S, R, U c (Q{R)~(S{U)TO Q, S, R, V c Q~(S{R~V)TO Q, S, R, X c Q{S~(R{X)TO Q, S, S, R c Q{S~S~RTO Q, S, S, T c (Q{S{S)~TTO Q, S, S, U c Q{(S{S)~UTO Q, S, S, W c Q{S~(S{W)TO Q, S, S, X c Q~(S~S{X)TO Q, S, T, P c Q~(S{P)~TTO Q, S, T, Q c (Q{S~Q)~TTO Q, S, T, R c (Q~R{S)~TTO Q, S, T, S c (Q{S{S)~TTO Q, S, T, T c Q~(S~T{T)TO Q, S, T, V c Q{S~(T{V)TO Q, S, T, W c (S|Q{W)~TTO Q, S, T, X c (Q~T)~(X|S)TO Q, S, U, P c Q~(S~U{P)TO Q, S, U, Q c Q{S~U~QTO Q, S, U, R c (Q{R)~(S{U)TO Q, S, U, S c Q{(S{S)~UTO Q, S, U, U c Q{S~(U{U)TO Q, S, U, V c Q~S{U~VTO Q, S, U, W c S|Q{U~WTO Q, S, U, X c (Q{X)~S{UTO Q, S, V, R c Q~(S{V~R)TO Q, S, V, T c Q{S~(V{T)TO Q, S, V, U c Q~S{V~UTO Q, S, V, W c (Q{S)~V{WTO Q, S, V, X c Q~V{S~XTO Q, S, W, P c (Q{W)~(S{P)TO Q, S, W, Q c (Q{S)~W{QTO Q, S, W, S c Q{(S{W)~STO Q, S, W, T c (S|Q{W)~TTO Q, S, W, U c S|Q{W~UTO Q, S, W, V c Q~(S~W|V)TO Q, S, W, X c (Q{W)~(X|S)TO Q, S, X, R c Q{S~(X{R)TO Q, S, X, S c (Q{S)~X|STO Q, S, X, T c Q~(X|S)~TTO Q, S, X, U c (Q{X)~S{UTO Q, S, X, V c Q~V{S~XTO Q, S, X, W c Q~X{S~WTO Q, T, O, T c (Q~T{O)~TTO Q, T, O, W c (Q{O{W)~TTO Q, T, P, S c (Q~T)~(P{S)TO Q, T, P, T c Q~T~P~TTO Q, T, P, U c (Q~T)~(U|P)TO Q, T, P, V c (Q{T)~V{PTO Q, T, P, W c Q{(T{P)~WTO Q, T, P, X c (Q|P{X)~TTO Q, T, Q, R c (Q~T)~(Q{R)TO Q, T, Q, S c (Q{Q~S)~TTO Q, T, Q, U c (Q{Q{U)~TTO Q, T, Q, V c (Q~T)~(V|Q)TO Q, T, Q, X c (QQ{X)~TTO Q, T, R, Q c (Q~T)~(R{Q)TO Q, T, R, S c (Q~R{S)~TTO Q, T, R, T c (Q{T{R)~TTO Q, T, R, U c Q{(T{R)~UTO Q, T, R, W c (Q~T)~(W|R)TO Q, T, R, X c Q{T~X{RTO Q, T, S, P c (Q~T)~(S{P)TO Q, T, S, Q c (Q{S~Q)~TTO Q, T, S, R c (Q~R{S)~TTO Q, T, S, S c (Q{S{S)~TTO Q, T, S, T c Q~(T{S~T)TO Q, T, S, V c Q{(T{V)~STO Q, T, S, W c T~(S|Q{W)TO Q, T, S, X c (Q~T)~(X|S)TO Q, T, T, O c Q~T~T{OTO Q, T, T, P c Q~T~T~PTO Q, T, T, R c (Q{T{R)~TTO Q, T, T, S c Q~(T{T~S)TO Q, T, T, U c Q~(T~U|T)TO Q, T, T, V c (Q{V)~T{TTO Q, T, T, W c Q~T{T~WTO Q, T, T, X c (Q{X)~T|TTO Q, T, U, P c (Q~T)~(U|P)TO Q, T, U, Q c (Q{U{Q)~TTO Q, T, U, R c Q{(T{R)~UTO Q, T, U, T c Q~(T~U|T)TO Q, T, U, U c T~(U|Q{U)TO Q, T, U, V c T~(UQ{V)TO Q, T, U, W c (Q{T)~U{WTO Q, T, V, P c (Q{T)~V{PTO Q, T, V, Q c (Q~T)~(V|Q)TO Q, T, V, S c Q{(T{V)~STO Q, T, V, T c (Q{V)~T{TTO Q, T, V, U c T~(V{UQ)TO Q, T, V, X c T{(V|Q)~XTO Q, T, W, O c (Q{W)~(T{O)TO Q, T, W, P c Q{(T{P)~WTO Q, T, W, R c (Q~T)~(W|R)TO Q, T, W, S c T~(W|Q{S)TO Q, T, W, T c Q~T{W~TTO Q, T, W, U c (Q{T)~W|UTO Q, T, W, W c Q{T~W{WTO Q, T, W, X c (Q~X|W)~TTO Q, T, X, P c (Q{X|P)~TTO Q, T, X, Q c (QQ{X)~TTO Q, T, X, R c Q{T~X{RTO Q, T, X, S c (Q~T)~(X|S)TO Q, T, X, T c (Q{X)~T|TTO Q, T, X, V c T~X|Q{VTO Q, T, X, W c (Q~X|W)~TTO Q, U, O, W c Q{(U{O)~WTO Q, U, P, S c Q~(U~S{P)TO Q, U, P, T c Q~(U|P)~TTO Q, U, P, V c Q{U~(P{V)TO Q, U, P, W c Q{U~P~WTO Q, U, P, X c Q{U~(X|P)TO Q, U, Q, S c Q{U~Q~STO Q, U, Q, T c (Q{U{Q)~TTO Q, U, Q, U c Q{(U{Q)~UTO Q, U, Q, X c (U~X)|(Q{Q)TO Q, U, R, S c (Q{R)~(U{S)TO Q, U, R, T c Q{U~(R{T)TO Q, U, R, V c Q~(U~R{V)TO Q, U, R, X c U~(X|QR)TO Q, U, S, P c Q~(U~S{P)TO Q, U, S, Q c Q{U~S~QTO Q, U, S, R c (Q{R)~(U{S)TO Q, U, S, S c Q{U~(S{S)TO Q, U, S, U c Q{(U{U)~STO Q, U, S, V c Q~S{U~VTO Q, U, S, W c U~W|Q{STO Q, U, S, X c (Q{X)~S{UTO Q, U, T, P c Q~(U|P)~TTO Q, U, T, Q c (Q{U{Q)~TTO Q, U, T, R c Q{U~(T{R)TO Q, U, T, T c Q~(U~T|T)TO Q, U, T, U c (U|Q{U)~TTO Q, U, T, V c (UQ{V)~TTO Q, U, T, W c (Q{T)~U{WTO Q, U, U, Q c (Q{U)~U{QTO Q, U, U, S c Q{(U{U)~STO Q, U, U, T c (U|Q{U)~TTO Q, U, U, V c Q{U{U~VTO Q, U, U, W c (QU{W)~UTO Q, U, U, X c Q{U~X|UTO Q, U, V, P c Q{U~(V{P)TO Q, U, V, R c Q~(U~R{V)TO Q, U, V, S c (Q{V)~U|STO Q, U, V, T c (UQ{V)~TTO Q, U, V, U c Q{U{V~UTO Q, U, W, O c Q{U~W{OTO Q, U, W, P c Q{U~W~PTO Q, U, W, S c U~W|Q{STO Q, U, W, T c (Q~W|U)~TTO Q, U, W, U c (QU{W)~UTO Q, U, W, W c (QW{U)~WTO Q, U, W, X c U~(X|Q){WTO Q, U, X, P c Q{U~(X|P)TO Q, U, X, Q c (U~X)|(Q{Q)TO Q, U, X, R c U~(X|QR)TO Q, U, X, S c (Q{X)~S{UTO Q, U, X, U c Q{U~X|UTO Q, U, X, W c U~(X|Q){WTO Q, V, P, T c (Q{V{P)~TTO Q, V, P, U c Q{(V{P)~UTO Q, V, P, V c Q{V~V|PTO Q, V, P, W c Q{(V|P)~WTO Q, V, P, X c (V|Q)~(P{X)TO Q, V, Q, T c Q~(V|Q)~TTO Q, V, Q, V c QQ{V~VTO Q, V, Q, W c (Q{W)~(V|Q)TO Q, V, Q, X c Q~(V{Q~X)TO Q, V, R, R c (Q{R)~(V{R)TO Q, V, R, S c Q~(V~R{S)TO Q, V, R, U c Q~(V{R~U)TO Q, V, R, V c (V|Q)~(R{V)TO Q, V, R, W c Q~V~R{WTO Q, V, R, X c Q{(V{X)~RTO Q, V, S, R c Q~(V~S|R)TO Q, V, S, T c (Q~V|S)~TTO Q, V, S, U c Q~V~S|UTO Q, V, S, W c (Q{S)~V{WTO Q, V, S, X c Q~V{S~XTO Q, V, T, P c (Q{V{P)~TTO Q, V, T, Q c Q~(V|Q)~TTO Q, V, T, S c Q{(V{T)~STO Q, V, T, T c (Q{V)~T{TTO Q, V, T, U c (V{UQ)~TTO Q, V, T, X c V|Q{T~XTO Q, V, U, P c Q{(V{P)~UTO Q, V, U, R c Q~(V{U~R)TO Q, V, U, S c (Q{V)~U|STO Q, V, U, T c (V{UQ)~TTO Q, V, U, U c Q{V~U{UTO Q, V, V, P c Q{V~V|PTO Q, V, V, Q c QQ{V~VTO Q, V, V, R c (V|Q)~(V{R)TO Q, V, W, P c Q{(V|P)~WTO Q, V, W, Q c (Q{W)~(V|Q)TO Q, V, W, R c Q~V~R{WTO Q, V, W, S c Q~(W~S|V)TO Q, V, W, W c Q{V~W|WTO Q, V, X, P c (V|Q)~(X{P)TO Q, V, X, Q c Q~(V{X~Q)TO Q, V, X, R c Q{(V{X)~RTO Q, V, X, S c Q~V{X~STO Q, V, X, T c V|Q{X~TTO Q, V, X, X c Q~(V{X{X)TO Q, W, O, T c (Q{W{O)~TTO Q, W, O, U c Q{(W{O)~UTO Q, W, P, R c Q~(W~R{P)TO Q, W, P, S c (Q{W)~(P{S)TO Q, W, P, T c Q{W~(P{T)TO Q, W, P, U c Q{W~P~UTO Q, W, P, V c Q{W~(V|P)TO Q, W, Q, R c (Q{W)~(Q{R)TO Q, W, Q, S c Q{W~(Q{S)TO Q, W, Q, V c (Q{W)~(V|Q)TO Q, W, Q, W c Q{(W|Q)~WTO Q, W, Q, X c Q~(W~Q{X)TO Q, W, R, P c Q~(W~R{P)TO Q, W, R, Q c (Q{W)~(R{Q)TO Q, W, R, R c Q{W~(R{R)TO Q, W, R, T c Q~(W|R)~TTO Q, W, R, V c Q~R~V{WTO Q, W, R, W c Q{(W{W)~RTO Q, W, R, X c Q{W~(X|R)TO Q, W, S, P c (Q{W)~(S{P)TO Q, W, S, Q c Q{W~(S{Q)TO Q, W, S, S c Q{(W{S)~STO Q, W, S, T c (W|Q{S)~TTO Q, W, S, U c W~U|Q{STO Q, W, S, V c Q~(W~S|V)TO Q, W, S, X c (Q{W)~(X|S)TO Q, W, T, O c (Q{W)~(T{O)TO Q, W, T, P c Q{W~(T{P)TO Q, W, T, R c Q~(W|R)~TTO Q, W, T, S c (W|Q{S)~TTO Q, W, T, T c Q~T{W~TTO Q, W, T, U c (Q~W|U)~TTO Q, W, T, W c Q{W{T~WTO Q, W, T, X c (Q~X|W)~TTO Q, W, U, O c Q{W~U{OTO Q, W, U, P c (Q{W)~(U|P)TO Q, W, U, S c W~U|Q{STO Q, W, U, T c (Q~W|U)~TTO Q, W, U, U c (QU{W)~UTO Q, W, U, W c (QW{U)~WTO Q, W, U, X c W{U~(X|Q)TO Q, W, V, P c Q{W~(V|P)TO Q, W, V, Q c (Q{W)~(V|Q)TO Q, W, V, R c Q~V~R{WTO Q, W, V, S c Q~(W~S|V)TO Q, W, V, W c Q{W~V|WTO Q, W, W, Q c Q{W~(W|Q)TO Q, W, W, R c Q{(W{W)~RTO Q, W, W, T c Q{W{W~TTO Q, W, W, U c (QW{U)~WTO Q, W, W, V c Q{W~V|WTO Q, W, W, X c Q~(W{W{X)TO Q, W, X, Q c (Q~W{X)~QTO Q, W, X, R c Q{W~(X|R)TO Q, W, X, S c (Q{W)~(X|S)TO Q, W, X, T c (Q~X|W)~TTO Q, W, X, U c W{(X|Q)~UTO Q, W, X, W c Q~(W{X{W)TO Q, X, P, R c (Q{R)~(X{P)TO Q, X, P, T c (Q{X|P)~TTO Q, X, P, U c Q{(X|P)~UTO Q, X, P, V c (X|Q)~V{PTO Q, X, Q, R c Q~(X~R|Q)TO Q, X, Q, T c (QQ{X)~TTO Q, X, Q, U c (X~U)|(Q{Q)TO Q, X, Q, V c Q~(X~Q{V)TO Q, X, Q, W c Q~(X{Q~W)TO Q, X, R, P c (Q{R)~(X{P)TO Q, X, R, Q c Q~(X~R|Q)TO Q, X, R, S c Q{(X{R)~STO Q, X, R, T c Q{X~T{RTO Q, X, R, U c (X|QR)~UTO Q, X, R, V c Q{(X{V)~RTO Q, X, R, W c Q{(X|R)~WTO Q, X, S, R c Q{(X{R)~STO Q, X, S, S c Q~(X{S~S)TO Q, X, S, T c Q~(X|S)~TTO Q, X, S, U c (Q{X)~S{UTO Q, X, S, V c Q~V{X~STO Q, X, S, W c Q~X{S~WTO Q, X, T, P c (Q{X|P)~TTO Q, X, T, Q c (QQ{X)~TTO Q, X, T, R c Q{X~T{RTO Q, X, T, S c Q~(X|S)~TTO Q, X, T, T c (Q{X)~T|TTO Q, X, T, V c X~T|Q{VTO Q, X, T, W c (Q~X|W)~TTO Q, X, U, P c Q{(X|P)~UTO Q, X, U, Q c (X~U)|(Q{Q)TO Q, X, U, R c (X|QR)~UTO Q, X, U, S c (Q{X)~S{UTO Q, X, U, U c Q{X~U|UTO Q, X, U, W c (X|Q)~U{WTO Q, X, V, P c (X|Q)~V{PTO Q, X, V, Q c (Q~X{V)~QTO Q, X, V, R c Q{(X{V)~RTO Q, X, V, S c Q~V{X~STO Q, X, V, T c X~(V|Q){TTO Q, X, V, X c Q~(X{V{X)TO Q, X, W, Q c Q~(X{W~Q)TO Q, X, W, R c Q{(X|R)~WTO Q, X, W, S c Q~X{W~STO Q, X, W, T c (Q~X|W)~TTO Q, X, W, U c (X|Q)~W|UTO Q, X, W, W c Q~(X{W{W)TO Q, X, X, V c Q~(X{X{V)TO R, O, T, V c (R{O{V)~TTO R, O, V, T c (R{O{V)~TTO R, P, Q, W c (R~W{P)~QTO R, P, Q, X c (R{Q)~(P{X)TO R, P, R, T c (R~R{P)~TTO R, P, S, V c (R{S)~V{PTO R, P, T, R c (R~R{P)~TTO R, P, T, T c (R|P)~(T~T)TO R, P, T, U c (R{P{U)~TTO R, P, T, V c (R{P~V)~TTO R, P, T, W c (R|P{W)~TTO R, P, U, T c (R{P{U)~TTO R, P, U, V c (R{V)~(U|P)TO R, P, U, W c R|P{U~WTO R, P, U, X c (U~X)|(R{P)TO R, P, V, S c (R{V)~(P{S)TO R, P, V, T c (R{P~V)~TTO R, P, V, U c (R{V)~(U|P)TO R, P, W, Q c (R~W{P)~QTO R, P, W, T c (R|P{W)~TTO R, P, W, U c R|P{W~UTO R, P, W, X c R~(W{X)|PTO R, P, X, Q c (R{Q)~(P{X)TO R, P, X, U c (X~U)|(R{P)TO R, P, X, W c R~(X{W)|PTO R, Q, P, W c (R~W{P)~QTO R, Q, P, X c (R{Q)~(P{X)TO R, Q, Q, T c (R{Q)~(Q~T)TO R, Q, Q, W c (R{Q)~(Q{W)TO R, Q, Q, X c (R~X|Q)~QTO R, Q, R, V c (R{Q)~(R{V)TO R, Q, R, W c (R{R)~W{QTO R, Q, S, S c R~S~S{QTO R, Q, S, T c (R~Q{S)~TTO R, Q, S, U c (R{Q)~(S{U)TO R, Q, S, V c (R~V{S)~QTO R, Q, S, X c R~Q~X|STO R, Q, T, Q c (R{Q)~(T~Q)TO R, Q, T, S c (R~Q{S)~TTO R, Q, T, T c (R{Q{T)~TTO R, Q, T, U c (R{T)~U{QTO R, Q, T, W c (Q~T)~(W|R)TO R, Q, T, X c R{Q{T~XTO R, Q, U, S c (R{Q)~(U{S)TO R, Q, U, T c (R{T)~U{QTO R, Q, U, V c (R~U{V)~QTO R, Q, U, X c U~(X|QR)TO R, Q, V, R c (R{Q)~(V{R)TO R, Q, V, S c (R~V{S)~QTO R, Q, V, U c (R~U{V)~QTO R, Q, V, V c R|Q{V~VTO R, Q, V, W c R~Q~V{WTO R, Q, V, X c R~(V{X){QTO R, Q, W, P c (R~W{P)~QTO R, Q, W, Q c (R{Q)~(W{Q)TO R, Q, W, R c (R{R)~W{QTO R, Q, W, T c Q~(W|R)~TTO R, Q, W, V c R~Q~V{WTO R, Q, W, W c R~(W{W){QTO R, Q, W, X c Q{W~(X|R)TO R, Q, X, P c (R{Q)~(X{P)TO R, Q, X, Q c (R~X|Q)~QTO R, Q, X, S c R~Q~X|STO R, Q, X, T c R{Q{X~TTO R, Q, X, U c (X|QR)~UTO R, Q, X, V c R~(X{V){QTO R, Q, X, W c Q{(X|R)~WTO R, R, P, T c (R~R{P)~TTO R, R, Q, V c (R{Q)~(R{V)TO R, R, Q, W c (R{R)~W{QTO R, R, S, T c (R{R{S)~TTO R, R, S, U c R~R~U|STO R, R, S, X c (R{R)~X|STO R, R, T, P c (R~R{P)~TTO R, R, T, S c (R{R{S)~TTO R, R, T, T c R~R~T{TTO R, R, T, X c (RR{X)~TTO R, R, U, S c R~R~U|STO R, R, V, Q c (R{V)~(R{Q)TO R, R, V, V c RR{V~VTO R, R, V, W c (R{R)~V{WTO R, R, W, Q c (R{R)~W{QTO R, R, W, V c (R{R)~V{WTO R, R, X, S c (R{R)~X|STO R, R, X, T c (RR{X)~TTO R, S, P, V c (R{S)~V{PTO R, S, Q, S c R~S~S{QTO R, S, Q, T c (R~S|Q)~TTO R, S, Q, U c (R{Q)~(S{U)TO R, S, Q, V c (R~V{S)~QTO R, S, Q, X c R~Q~X|STO R, S, R, T c (R{S{R)~TTO R, S, R, U c R~R~U|STO R, S, R, X c (R{R)~X|STO R, S, S, Q c R~S~S{QTO R, S, T, Q c (R~S|Q)~TTO R, S, T, R c (R{S{R)~TTO R, S, T, X c (S|R{X)~TTO R, S, U, Q c (R{Q)~(S{U)TO R, S, U, R c R~U~R|STO R, S, U, U c (R{U)~U|STO R, S, U, V c (SR{V)~UTO R, S, U, W c (R{S)~U{WTO R, S, V, P c (R{S)~V{PTO R, S, V, Q c (R~V{S)~QTO R, S, V, U c (SR{V)~UTO R, S, V, V c S|R{V~VTO R, S, V, W c (V|RS)~WTO R, S, V, X c (R{V)~(X|S)TO R, S, W, U c (R{S)~W|UTO R, S, W, V c W~(V|RS)TO R, S, X, Q c (R{X)~S{QTO R, S, X, R c (R{R)~X|STO R, S, X, T c (S|R{X)~TTO R, S, X, V c (R{V)~(X|S)TO R, S, X, X c R~(X{X)|STO R, T, O, V c (R{O{V)~TTO R, T, P, R c (R~R{P)~TTO R, T, P, T c (R|P)~(T~T)TO R, T, P, U c (R{P{U)~TTO R, T, P, V c (R{P~V)~TTO R, T, P, W c (R|P{W)~TTO R, T, Q, Q c (R{Q)~(T~Q)TO R, T, Q, S c (R~Q{S)~TTO R, T, Q, T c (R{T{Q)~TTO R, T, Q, U c (R{T)~U{QTO R, T, Q, W c (T~Q)~(W|R)TO R, T, Q, X c R{T~X{QTO R, T, R, P c (R~R{P)~TTO R, T, R, S c (R{R{S)~TTO R, T, R, T c R~T~R{TTO R, T, R, X c (RR{X)~TTO R, T, S, Q c (R~S|Q)~TTO R, T, S, R c (R{S{R)~TTO R, T, S, X c T~(S|R{X)TO R, T, T, P c (R|P)~(T~T)TO R, T, T, Q c (R{T{Q)~TTO R, T, T, R c R~T~R{TTO R, T, T, T c (R~T|T)~TTO R, T, T, U c (R{U)~T{TTO R, T, T, V c R~T{T~VTO R, T, T, W c (R{W)~T|TTO R, T, U, P c (R{U{P)~TTO R, T, U, Q c (R{T)~U{QTO R, T, U, T c (R{U)~T{TTO R, T, U, V c R{T{U~VTO R, T, U, W c (R~U|W)~TTO R, T, U, X c R~(U{X){TTO R, T, V, O c (R{V)~(T{O)TO R, T, V, P c (R{V)~(T~P)TO R, T, V, T c R~T{V~TTO R, T, V, U c R{T{V~UTO R, T, V, W c R{T~W{VTO R, T, V, X c T~(V{XR)TO R, T, W, P c (R{W|P)~TTO R, T, W, Q c T~(W|R)~QTO R, T, W, T c (R{W)~T|TTO R, T, W, U c (R~U|W)~TTO R, T, W, V c R{T~W{VTO R, T, W, X c R~(T{X){WTO R, T, X, Q c R{T~X{QTO R, T, X, R c (RR{X)~TTO R, T, X, S c T~(X|R{S)TO R, T, X, U c R~(X{U){TTO R, T, X, V c T~(XR{V)TO R, T, X, W c R~(T{X){WTO R, U, P, T c (R{U{P)~TTO R, U, P, V c (R{V)~(U|P)TO R, U, P, W c R{U~W|PTO R, U, P, X c (U~X)|(R{P)TO R, U, Q, S c (R{Q)~(U{S)TO R, U, Q, T c (R{T)~U{QTO R, U, Q, V c (R~U{V)~QTO R, U, Q, X c U~(X|QR)TO R, U, R, S c R~U~R|STO R, U, S, Q c (R{Q)~(U{S)TO R, U, S, R c R~U~R|STO R, U, S, U c (R{U)~U|STO R, U, S, V c U~(SR{V)TO R, U, S, W c R~U{S~WTO R, U, T, P c (R{U{P)~TTO R, U, T, Q c (R{T)~U{QTO R, U, T, T c (R{U)~T{TTO R, U, T, V c R{U~V{TTO R, U, T, W c (R~U|W)~TTO R, U, T, X c R~(U{X){TTO R, U, U, S c (R{U)~U|STO R, U, U, V c U~(U{VR)TO R, U, U, W c UR{U~WTO R, U, V, P c (R{V)~(U|P)TO R, U, V, Q c (R~U{V)~QTO R, U, V, S c U~(V{SR)TO R, U, V, T c R{U~V{TTO R, U, V, U c (U{VR)~UTO R, U, V, X c R{U~X|VTO R, U, W, P c R{U~W|PTO R, U, W, S c R~U{W~STO R, U, W, T c (R~U|W)~TTO R, U, W, U c UR{W~UTO R, U, W, W c R~(U{W){WTO R, U, W, X c (RX{W)~UTO R, U, X, P c (U~X)|(R{P)TO R, U, X, Q c U~(X|QR)TO R, U, X, T c R~(U{X){TTO R, U, X, V c R{U~X|VTO R, U, X, W c (RX{W)~UTO R, V, O, T c (R{V{O)~TTO R, V, P, S c (R{V)~(P{S)TO R, V, P, T c (R{V)~(P~T)TO R, V, P, U c (R{V)~(U|P)TO R, V, Q, R c (R{V)~(Q{R)TO R, V, Q, S c (R~V{S)~QTO R, V, Q, U c (R~U{V)~QTO R, V, Q, V c R{V~V|QTO R, V, Q, W c R~V~Q{WTO R, V, Q, X c R~(V{X){QTO R, V, R, Q c (R{V)~(R{Q)TO R, V, R, V c RR{V~VTO R, V, R, W c (R{V)~(W|R)TO R, V, S, P c (R{V)~(S{P)TO R, V, S, Q c (R~V{S)~QTO R, V, S, U c (V{SR)~UTO R, V, S, V c V~V|R{STO R, V, S, W c (V|RS)~WTO R, V, S, X c (R{V)~(X|S)TO R, V, T, O c (R{V)~(T{O)TO R, V, T, P c (R{V)~(T~P)TO R, V, T, T c R~T{V~TTO R, V, T, U c R{V~U{TTO R, V, T, W c R{V{T~WTO R, V, T, X c (V{XR)~TTO R, V, U, P c (R{V)~(U|P)TO R, V, U, Q c (R~U{V)~QTO R, V, U, S c (V{SR)~UTO R, V, U, T c R{V~U{TTO R, V, U, U c (VR{U)~UTO R, V, U, X c R{U~X|VTO R, V, V, Q c R{V~V|QTO R, V, V, R c RR{V~VTO R, V, V, S c V~V|R{STO R, V, V, W c R~(V{V){WTO R, V, W, Q c R~V~Q{WTO R, V, W, R c (R{V)~(W|R)TO R, V, W, S c (V|RS)~WTO R, V, W, T c R{V{W~TTO R, V, W, V c R~(V{V){WTO R, V, W, X c R{V~W|XTO R, V, X, Q c R~(V{X){QTO R, V, X, S c (R{V)~(X|S)TO R, V, X, T c (V{XR)~TTO R, V, X, U c R{X~U|VTO R, V, X, W c R{V~W|XTO R, W, P, Q c (R~W{P)~QTO R, W, P, T c (R{W|P)~TTO R, W, P, U c R{W~U|PTO R, W, P, X c R~(W{X)|PTO R, W, Q, P c (R~W{P)~QTO R, W, Q, Q c R~W~Q{QTO R, W, Q, R c (R{R)~W{QTO R, W, Q, T c (W|R)~(Q~T)TO R, W, Q, V c R~Q~V{WTO R, W, Q, W c R~(W{W){QTO R, W, Q, X c W~(X|R){QTO R, W, R, Q c (R{R)~W{QTO R, W, R, V c (R{R)~V{WTO R, W, S, U c (R{W)~S{UTO R, W, S, V c W~(V|RS)TO R, W, T, P c (R{W|P)~TTO R, W, T, Q c (W|R)~(T~Q)TO R, W, T, T c (R{W)~T|TTO R, W, T, U c (R~U|W)~TTO R, W, T, V c R{W~T{VTO R, W, T, X c R~(T{X){WTO R, W, U, P c R{W~U|PTO R, W, U, S c (R{W)~S{UTO R, W, U, T c (R~U|W)~TTO R, W, U, U c W~U{URTO R, W, U, W c R~(W{U){WTO R, W, U, X c (RX{W)~UTO R, W, V, Q c R~V~Q{WTO R, W, V, R c (R{V)~(W|R)TO R, W, V, S c W~(V|RS)TO R, W, V, T c R~(W{V){TTO R, W, V, V c R~(V{V){WTO R, W, V, X c R{W~V|XTO R, W, W, Q c R~(W{W){QTO R, W, W, U c R~(W{U){WTO R, W, X, P c R~(W{X)|PTO R, W, X, Q c W~(X|R){QTO R, W, X, T c R~(X{T){WTO R, W, X, U c (RX{W)~UTO R, W, X, V c R{W~V|XTO R, X, P, Q c (R{Q)~(X{P)TO R, X, P, U c (X~U)|(R{P)TO R, X, P, W c R~(X{W)|PTO R, X, Q, P c (R{Q)~(X{P)TO R, X, Q, Q c (R~X|Q)~QTO R, X, Q, S c R~X~Q|STO R, X, Q, T c (R{X|Q)~TTO R, X, Q, U c (X|QR)~UTO R, X, Q, V c R~(X{V){QTO R, X, Q, W c (X|R)~W{QTO R, X, R, S c (R{R)~X|STO R, X, R, T c (RR{X)~TTO R, X, S, Q c (R{X)~S{QTO R, X, S, R c (R{R)~X|STO R, X, S, T c (X|R{S)~TTO R, X, S, V c (R{V)~(X|S)TO R, X, S, X c R~(X{X)|STO R, X, T, Q c R{X~T{QTO R, X, T, R c (RR{X)~TTO R, X, T, S c (X|R{S)~TTO R, X, T, U c R~(X{U){TTO R, X, T, V c (XR{V)~TTO R, X, T, W c R~(X{T){WTO R, X, U, P c (X~U)|(R{P)TO R, X, U, Q c (X|QR)~UTO R, X, U, T c R~(X{U){TTO R, X, U, V c R{X~U|VTO R, X, U, W c (RX{W)~UTO R, X, V, Q c R~(X{V){QTO R, X, V, S c (R{V)~(X|S)TO R, X, V, T c (XR{V)~TTO R, X, V, U c R{X~U|VTO R, X, V, W c R{V~W|XTO R, X, W, P c R~(X{W)|PTO R, X, W, Q c (X|R)~W{QTO R, X, W, T c R~(X{T){WTO R, X, W, U c (RX{W)~UTO R, X, W, V c R{W~V|XTO R, X, X, S c R~(X{X)|STO S, O, T, U c (S{O{U)~TTO S, O, U, T c (S{O{U)~TTO S, O, U, X c O{U~X|STO S, O, X, U c O{X~U|STO S, P, P, X c (S{P)~(P{X)TO S, P, Q, T c (S{P)~(Q~T)TO S, P, Q, U c (S~U{P)~QTO S, P, Q, W c (S{P)~(Q{W)TO S, P, R, V c (S{P)~(R{V)TO S, P, S, U c (S{P)~(S{U)TO S, P, T, Q c (S{P)~(T~Q)TO S, P, T, T c (S{P{T)~TTO S, P, T, U c (S{P~U)~TTO S, P, T, V c (S|P{V)~TTO S, P, T, X c S{P{T~XTO S, P, U, Q c (S~U{P)~QTO S, P, U, S c (S{P)~(U{S)TO S, P, U, T c (S{P~U)~TTO S, P, U, U c (S{U)~(U|P)TO S, P, U, W c (PS{U)~WTO S, P, U, X c P~U~X|STO S, P, V, R c (S{P)~(V{R)TO S, P, V, T c (S|P{V)~TTO S, P, V, X c (V|P)~X|STO S, P, W, Q c (S{P)~(W{Q)TO S, P, W, U c (PS{U)~WTO S, P, X, P c (S{P)~(X{P)TO S, P, X, T c S{P{X~TTO S, P, X, U c P~X~U|STO S, P, X, V c X~(V|P)|STO S, P, X, X c (P{X)~(X|S)TO S, Q, P, T c (S{P)~(Q~T)TO S, Q, P, U c (S~U{P)~QTO S, Q, P, W c (S{P)~(Q{W)TO S, Q, Q, T c (S~Q{Q)~TTO S, Q, Q, U c S~Q~U{QTO S, Q, Q, W c (S{Q)~W{QTO S, Q, R, S c S~R~S{QTO S, Q, R, T c (S{Q~R)~TTO S, Q, R, U c (S{U)~(Q{R)TO S, Q, R, V c (S{R~V)~QTO S, Q, R, X c S~(R{X){QTO S, Q, S, R c S~S~R{QTO S, Q, S, T c (S{Q{S)~TTO S, Q, S, U c (S{S)~U{QTO S, Q, S, W c S~(S{W){QTO S, Q, S, X c (S{Q)~X|STO S, Q, T, P c (S{P)~(Q~T)TO S, Q, T, Q c (S~Q{Q)~TTO S, Q, T, R c (S{Q~R)~TTO S, Q, T, S c (S{Q{S)~TTO S, Q, T, T c (S|Q)~(T~T)TO S, Q, T, V c S~(T{V){QTO S, Q, T, W c (S|Q{W)~TTO S, Q, T, X c (Q~T)~(X|S)TO S, Q, U, P c (S~U{P)~QTO S, Q, U, Q c S~Q~U{QTO S, Q, U, R c (S{U)~(Q{R)TO S, Q, U, S c (S{S)~U{QTO S, Q, U, U c S~(U{U){QTO S, Q, U, V c S~Q{U~VTO S, Q, U, W c S|Q{U~WTO S, Q, U, X c S~(Q{X){UTO S, Q, V, R c (S{V~R)~QTO S, Q, V, T c S~(V{T){QTO S, Q, V, U c S~Q{V~UTO S, Q, V, W c (S{Q)~V{WTO S, Q, V, X c S~(VQ{X)TO S, Q, W, P c (S{P)~(Q{W)TO S, Q, W, Q c (S{Q)~W{QTO S, Q, W, S c (S{W)~S{QTO S, Q, W, T c (S|Q{W)~TTO S, Q, W, U c S|Q{W~UTO S, Q, W, V c (S{Q)~V{WTO S, Q, W, X c S~W{Q~XTO S, Q, X, R c S~(X{R){QTO S, Q, X, S c (S{Q)~X|STO S, Q, X, T c Q~(X|S)~TTO S, Q, X, U c S~(Q{X){UTO S, Q, X, V c S~X{Q~VTO S, Q, X, W c S~(XQ{W)TO S, R, P, V c (S{R)~V{PTO S, R, Q, S c S~R~S{QTO S, R, Q, T c (S{R~Q)~TTO S, R, Q, U c (S{U)~(R{Q)TO S, R, Q, V c (S{R~V)~QTO S, R, Q, X c S~(R{X){QTO S, R, R, T c (S{R{R)~TTO S, R, R, U c R~R~U|STO S, R, R, X c (R{R)~X|STO S, R, S, Q c S~R~S{QTO S, R, T, Q c (S{R~Q)~TTO S, R, T, R c (S{R{R)~TTO S, R, T, X c (S|R{X)~TTO S, R, U, Q c (S{U)~(R{Q)TO S, R, U, R c R~U~R|STO S, R, U, U c (R{U)~U|STO S, R, U, V c (SR{V)~UTO S, R, U, W c (S{R)~U{WTO S, R, V, P c (S{R)~V{PTO S, R, V, Q c (S{R~V)~QTO S, R, V, U c (SR{V)~UTO S, R, V, V c S|R{V~VTO S, R, V, W c (V|RS)~WTO S, R, V, X c (R{V)~(X|S)TO S, R, W, U c (S{R)~W|UTO S, R, W, V c W~(V|RS)TO S, R, X, Q c S~(R{X){QTO S, R, X, R c (R{R)~X|STO S, R, X, T c (S|R{X)~TTO S, R, X, V c (R{V)~(X|S)TO S, R, X, X c R~(X{X)|STO S, S, P, U c (S{P)~(S{U)TO S, S, Q, R c S~S~R{QTO S, S, Q, T c (S{S{Q)~TTO S, S, Q, U c (S{S)~U{QTO S, S, Q, W c S~(S{W){QTO S, S, Q, X c S~(S{X)|QTO S, S, R, Q c S~S~R{QTO S, S, T, Q c (S{S{Q)~TTO S, S, T, U c (S~S|U)~TTO S, S, T, X c (SS{X)~TTO S, S, U, P c (S{U)~(S{P)TO S, S, U, Q c (S{S)~U{QTO S, S, U, T c (S~S|U)~TTO S, S, U, V c S{S{U~VTO S, S, U, X c (S{U)~(X|S)TO S, S, V, U c S{S{V~UTO S, S, V, V c SS{V~VTO S, S, W, Q c S~(S{W){QTO S, S, W, X c (S{XS)~WTO S, S, X, Q c S~(S{X)|QTO S, S, X, T c (SS{X)~TTO S, S, X, U c (S{U)~(X|S)TO S, S, X, W c (S{XS)~WTO S, T, O, U c (S{O{U)~TTO S, T, P, Q c (S{P)~(T~Q)TO S, T, P, T c (S{T{P)~TTO S, T, P, U c (S{P~U)~TTO S, T, P, V c (S|P{V)~TTO S, T, P, X c S{T~X{PTO S, T, Q, P c (S{P)~(T~Q)TO S, T, Q, Q c (S~Q{Q)~TTO S, T, Q, R c (S{Q~R)~TTO S, T, Q, S c (S{Q{S)~TTO S, T, Q, T c S~TQ~TTO S, T, Q, V c S~(T{V){QTO S, T, Q, W c S~(T{W)|QTO S, T, Q, X c (T~Q)~(X|S)TO S, T, R, Q c (S{R~Q)~TTO S, T, R, R c (S{R{R)~TTO S, T, R, X c (S|R{X)~TTO S, T, S, Q c (S{S{Q)~TTO S, T, S, U c (S{T)~U|STO S, T, S, X c (SS{X)~TTO S, T, T, P c (S{T{P)~TTO S, T, T, Q c (S~T{T)~QTO S, T, T, T c (S{T)~T{TTO S, T, T, U c S~T{T~UTO S, T, T, V c (S{V)~T|TTO S, T, T, W c (TS{T)~WTO S, T, T, X c (T|S{X)~TTO S, T, U, O c (S{U)~(T{O)TO S, T, U, P c (S{U)~(T~P)TO S, T, U, S c (S{T)~U|STO S, T, U, T c S~T{U~TTO S, T, U, U c S~(T{U){UTO S, T, U, W c S{T~W{UTO S, T, U, X c S~(T{X)|UTO S, T, V, P c (S{V|P)~TTO S, T, V, Q c S~(T{V){QTO S, T, V, T c (S{V)~T|TTO S, T, V, V c T|S{V~VTO S, T, W, Q c S~(T{W)|QTO S, T, W, T c TS~W~TTO S, T, W, U c S{T~W{UTO S, T, W, W c T~(WS{W)TO S, T, X, P c S{T~X{PTO S, T, X, Q c T~(X|S)~QTO S, T, X, R c (S{X|R)~TTO S, T, X, S c (SS{X)~TTO S, T, X, T c (T|S{X)~TTO S, T, X, U c S~(T{X)|UTO S, T, X, X c S~X{T{XTO S, U, O, T c (S{U{O)~TTO S, U, O, X c (U{O)~X|STO S, U, P, Q c (S~U{P)~QTO S, U, P, S c (S{U)~(P{S)TO S, U, P, T c (S{U)~(P~T)TO S, U, P, U c (S{U)~(U|P)TO S, U, P, W c (U{PS)~WTO S, U, P, X c U~P~X|STO S, U, Q, P c (S~U{P)~QTO S, U, Q, Q c S~U~Q{QTO S, U, Q, R c (S{U)~(Q{R)TO S, U, Q, S c (S{S)~U{QTO S, U, Q, U c S~(U{U){QTO S, U, Q, V c (S{U)~(V|Q)TO S, U, Q, W c S{U~W|QTO S, U, Q, X c S~(Q{X){UTO S, U, R, Q c (S{U)~(R{Q)TO S, U, R, R c U~R~R|STO S, U, R, U c (U{R)~U|STO S, U, R, V c (SR{V)~UTO S, U, R, W c (S{U)~(W|R)TO S, U, S, P c (S{U)~(S{P)TO S, U, S, Q c (S{S)~U{QTO S, U, S, T c (S~S|U)~TTO S, U, S, V c S{U~V{STO S, U, S, X c (S{U)~(X|S)TO S, U, T, O c (S{U)~(T{O)TO S, U, T, P c (S{U)~(T~P)TO S, U, T, S c (S{T)~U|STO S, U, T, T c S~T{U~TTO S, U, T, U c S~(U{T){UTO S, U, T, W c S{U{T~WTO S, U, T, X c S~(T{X)|UTO S, U, U, P c (S{U)~(U|P)TO S, U, U, Q c S~(U{U){QTO S, U, U, R c U~(U{R)|STO S, U, U, T c S~(U{T){UTO S, U, U, W c S~(U{W)|UTO S, U, U, X c U~(X|SU)TO S, U, V, Q c (S{U)~(V|Q)TO S, U, V, R c (SR{V)~UTO S, U, V, S c S{U~V{STO S, U, V, V c S~(V{V)|UTO S, U, W, P c U~(W{P)|STO S, U, W, Q c S{U~W|QTO S, U, W, R c (S{U)~(W|R)TO S, U, W, T c S{U{W~TTO S, U, W, U c S~(U{W)|UTO S, U, W, W c U~W{WSTO S, U, W, X c S{U~X|WTO S, U, X, O c U~X|S{OTO S, U, X, P c U~X|S~PTO S, U, X, Q c S~(X{Q){UTO S, U, X, S c (S{U)~(X|S)TO S, U, X, T c S~(X{T)|UTO S, U, X, U c U~(X|SU)TO S, U, X, W c S{U~X|WTO S, U, X, X c (U|SX)~XTO S, V, P, R c (S{P)~(V{R)TO S, V, P, T c (S{V|P)~TTO S, V, P, X c (V|P)~X|STO S, V, Q, R c (S{V~R)~QTO S, V, Q, T c S~(V{T){QTO S, V, Q, U c S~V~Q|UTO S, V, Q, W c (S{Q)~V{WTO S, V, Q, X c S~(VQ{X)TO S, V, R, P c (S{R)~V{PTO S, V, R, Q c (S{V~R)~QTO S, V, R, U c (SR{V)~UTO S, V, R, V c S{V~V|RTO S, V, R, W c (V|RS)~WTO S, V, R, X c (V{R)~(X|S)TO S, V, S, U c (S{V)~S{UTO S, V, S, V c SS{V~VTO S, V, T, P c (S{V|P)~TTO S, V, T, Q c S~(V{T){QTO S, V, T, T c (S{V)~T|TTO S, V, T, V c (V|S{V)~TTO S, V, U, Q c S~(V{U)|QTO S, V, U, R c (SR{V)~UTO S, V, U, S c S{V~U{STO S, V, U, V c S~(V{V)|UTO S, V, V, R c S{V~V|RTO S, V, V, S c SS{V~VTO S, V, V, T c (V|S{V)~TTO S, V, V, U c S~(V{V)|UTO S, V, V, X c S~X{V{VTO S, V, W, Q c (S~W|V)~QTO S, V, W, R c (V|RS)~WTO S, V, W, W c (W|VS)~WTO S, V, X, P c (V|P)~X|STO S, V, X, Q c S~(VQ{X)TO S, V, X, R c (V{R)~(X|S)TO S, V, X, V c S~X{V{VTO S, V, X, X c (V~X)|(S{X)TO S, W, P, Q c (S{P)~(W{Q)TO S, W, P, U c W~(PS{U)TO S, W, Q, P c (S{P)~(W{Q)TO S, W, Q, Q c (S{Q)~W{QTO S, W, Q, S c (S{W)~S{QTO S, W, Q, T c (S{W|Q)~TTO S, W, Q, U c S{W~U|QTO S, W, Q, V c (S~W|V)~QTO S, W, Q, X c S~W{Q~XTO S, W, R, U c S~(W{R){UTO S, W, R, V c W~(V|RS)TO S, W, S, Q c (S{W)~S{QTO S, W, S, X c (S{XS)~WTO S, W, T, Q c S~(W{T)|QTO S, W, T, T c WS~T~TTO S, W, T, U c S{W~T{UTO S, W, T, W c (WS{W)~TTO S, W, U, P c W~(U{PS)TO S, W, U, Q c S{W~U|QTO S, W, U, R c S~W{U~RTO S, W, U, T c S{W~T{UTO S, W, U, U c S~(W{U)|UTO S, W, U, W c WS{U~WTO S, W, U, X c S{U~X|WTO S, W, V, Q c (S~W|V)~QTO S, W, V, R c W~(V|RS)TO S, W, V, W c (W|VS)~WTO S, W, W, T c (WS{W)~TTO S, W, W, U c WS{W~UTO S, W, W, V c W~(W|VS)TO S, W, X, Q c S~W{X~QTO S, W, X, S c (S{XS)~WTO S, W, X, U c S~X{W{UTO S, W, X, X c S~W{X{XTO S, X, O, U c (X{O)~U|STO S, X, P, P c (S{P)~(X{P)TO S, X, P, T c S{X~T{PTO S, X, P, U c X~P~U|STO S, X, P, V c X~(V|P)|STO S, X, P, X c (X|S)~(P{X)TO S, X, Q, R c S~(X{R){QTO S, X, Q, S c (S{X)~S|QTO S, X, Q, T c (X|S)~(Q~T)TO S, X, Q, U c S~(X{Q){UTO S, X, Q, V c S~X{Q~VTO S, X, Q, W c S~(XQ{W)TO S, X, R, Q c S~(X{R){QTO S, X, R, R c X~(R{R)|STO S, X, R, T c (S{X|R)~TTO S, X, R, V c (X|S)~(R{V)TO S, X, R, X c (X|R)~X|STO S, X, S, Q c (S{X)~S|QTO S, X, S, T c (SS{X)~TTO S, X, S, U c (S{U)~(X|S)TO S, X, S, W c (S{XS)~WTO S, X, T, P c S{X~T{PTO S, X, T, Q c (X|S)~(T~Q)TO S, X, T, R c (S{X|R)~TTO S, X, T, S c (SS{X)~TTO S, X, T, T c (X|S{T)~TTO S, X, T, U c S~(X{T)|UTO S, X, T, X c S~X{T{XTO S, X, U, O c X~U|S{OTO S, X, U, P c X~U|S~PTO S, X, U, Q c S~(X{Q){UTO S, X, U, S c (S{U)~(X|S)TO S, X, U, T c S~(X{T)|UTO S, X, U, U c (X|SU)~UTO S, X, U, W c S{X~U|WTO S, X, U, X c X~(U|SX)TO S, X, V, P c X~(V|P)|STO S, X, V, Q c S~X{V~QTO S, X, V, R c (X|S)~(V{R)TO S, X, V, V c S~X{V{VTO S, X, V, X c (X~V)|(S{X)TO S, X, W, Q c S~(XQ{W)TO S, X, W, S c (S{XS)~WTO S, X, W, U c S~X{W{UTO S, X, W, X c S~W{X{XTO S, X, X, P c (X|S)~(X{P)TO S, X, X, R c (X{X)~R|STO S, X, X, T c S~X{X{TTO S, X, X, U c X~(U|SX)TO S, X, X, V c (X~V)|(S{X)TO S, X, X, W c S~W{X{XTO T, O, P, X c (T{O)~(P{X)TO T, O, Q, T c (T{O)~(Q~T)TO T, O, Q, W c (T{O)~(Q{W)TO T, O, R, V c (T{O)~(R{V)TO T, O, S, U c (T{O)~(S{U)TO T, O, T, Q c (T{O)~(T~Q)TO T, O, T, T c (T{O{T)~TTO T, O, T, X c T{O{T~XTO T, O, U, S c (T{O)~(U{S)TO T, O, V, R c (T{O)~(V{R)TO T, O, W, Q c (T{O)~(W{Q)TO T, O, X, P c (T{O)~(X{P)TO T, O, X, T c T{O{X~TTO T, P, O, X c T~(P{O{X)TO T, P, P, T c T~(P{P)~TTO T, P, P, W c T~(P{P{W)TO T, P, P, X c T~(P{P~X)TO T, P, Q, S c T~(P{S)~QTO T, P, Q, T c T~P~Q~TTO T, P, Q, U c (T~Q)~(U|P)TO T, P, Q, V c T~(P{Q{V)TO T, P, Q, W c (T~P)~(Q{W)TO T, P, Q, X c T~(Q|P{X)TO T, P, R, R c T~(P{R~R)TO T, P, R, T c T~(R|P)~TTO T, P, R, U c T~(P{R{U)TO T, P, R, V c (T~P)~(R{V)TO T, P, R, W c T~(R|P{W)TO T, P, S, Q c T~(P{S)~QTO T, P, S, T c (T{P{S)~TTO T, P, S, U c (T~P)~(S{U)TO T, P, S, V c T~(S|P{V)TO T, P, S, X c T{(P{S)~XTO T, P, T, P c T~(P{P)~TTO T, P, T, Q c T~P~T~QTO T, P, T, R c (T~T)~(R|P)TO T, P, T, S c T~(P{T{S)TO T, P, T, T c (T{P~T)~TTO T, P, T, U c (T|P{U)~TTO T, P, T, W c T{(P{W)~TTO T, P, T, X c T{P~T~XTO T, P, U, Q c T~(U|P)~QTO T, P, U, R c T~(P{U{R)TO T, P, U, S c (T~P)~(U{S)TO T, P, U, T c (T|P{U)~TTO T, P, U, X c T{(U|P)~XTO T, P, V, Q c T~(P{V{Q)TO T, P, V, R c (T~P)~(V{R)TO T, P, V, S c T~(V|P{S)TO T, P, V, W c (T{P)~V{WTO T, P, W, P c T~(P{W{P)TO T, P, W, Q c (T{P)~W{QTO T, P, W, R c T~(W|P{R)TO T, P, W, T c T{(P{W)~TTO T, P, W, V c (T{P)~V{WTO T, P, W, X c T~W{P{XTO T, P, X, O c T~(P{X){OTO T, P, X, P c T~(P{X)~PTO T, P, X, Q c T~(X|P{Q)TO T, P, X, S c (T{P)~X|STO T, P, X, T c T{P~X~TTO T, P, X, U c T~X|P{UTO T, P, X, W c T~W{P{XTO T, Q, O, T c (T~Q{O)~TTO T, Q, O, W c T~(Q{O{W)TO T, Q, P, S c (T~Q)~(P{S)TO T, Q, P, T c T~Q~P~TTO T, Q, P, U c (T~Q)~(U|P)TO T, Q, P, V c T~(Q{P{V)TO T, Q, P, W c T~(Q{P~W)TO T, Q, P, X c T~(Q|P{X)TO T, Q, Q, R c (T~Q)~(Q{R)TO T, Q, Q, S c T~(Q{Q~S)TO T, Q, Q, U c T~(Q{Q{U)TO T, Q, Q, V c (T~Q)~(V|Q)TO T, Q, Q, X c T~(QQ{X)TO T, Q, R, Q c T~(Q{R)~QTO T, Q, R, S c T~(Q~R{S)TO T, Q, R, T c (T{Q{R)~TTO T, Q, R, U c (T{R)~U{QTO T, Q, R, W c (T~Q)~(W|R)TO T, Q, R, X c T{(Q{R)~XTO T, Q, S, P c (T~Q)~(S{P)TO T, Q, S, Q c T~(Q{S~Q)TO T, Q, S, R c T~(Q~R{S)TO T, Q, S, S c T~(Q{S{S)TO T, Q, S, T c TQ~S~TTO T, Q, S, V c T~(Q~V|S)TO T, Q, S, W c T~(S|Q{W)TO T, Q, S, X c (T~Q)~(X|S)TO T, Q, T, O c T~Q~T{OTO T, Q, T, P c T~Q~T~PTO T, Q, T, R c T~(Q{T{R)TO T, Q, T, S c TQ~T~STO T, Q, T, U c (T~U|T)~QTO T, Q, T, V c T{(Q{V)~TTO T, Q, T, W c T~Q{T~WTO T, Q, T, X c T~(Q{X)|TTO T, Q, U, P c (T~Q)~(U|P)TO T, Q, U, Q c T~(Q{U{Q)TO T, Q, U, R c (T{R)~U{QTO T, Q, U, T c (T~U|T)~QTO T, Q, U, U c T~(U|Q{U)TO T, Q, U, V c T~(UQ{V)TO T, Q, U, W c (T{Q)~U{WTO T, Q, V, P c (T{Q)~V{PTO T, Q, V, Q c (T~Q)~(V|Q)TO T, Q, V, S c T~(Q~V|S)TO T, Q, V, T c T{(Q{V)~TTO T, Q, V, U c T~(V{UQ)TO T, Q, V, X c T{(V|Q)~XTO T, Q, W, O c T~(Q{W){OTO T, Q, W, P c T~(Q{W)~PTO T, Q, W, R c (T~Q)~(W|R)TO T, Q, W, S c T~(W|Q{S)TO T, Q, W, T c T~Q{W~TTO T, Q, W, U c (T{Q)~W|UTO T, Q, W, W c T~W{Q{WTO T, Q, W, X c T~(Q~X|W)TO T, Q, X, P c T~(Q{X|P)TO T, Q, X, Q c T~(QQ{X)TO T, Q, X, R c T{(Q{R)~XTO T, Q, X, S c (T~Q)~(X|S)TO T, Q, X, T c T~(Q{X)|TTO T, Q, X, V c T~X|Q{VTO T, Q, X, W c T~(Q~X|W)TO T, R, O, V c T~(R{O{V)TO T, R, P, R c T~(R~R{P)TO T, R, P, T c T~(R|P)~TTO T, R, P, U c T~(R{P{U)TO T, R, P, V c T~(R{P~V)TO T, R, P, W c T~(R|P{W)TO T, R, Q, Q c T~(R{Q)~QTO T, R, Q, S c T~(R~Q{S)TO T, R, Q, T c (T{R{Q)~TTO T, R, Q, U c (T{R)~U{QTO T, R, Q, W c (T~Q)~(W|R)TO T, R, Q, X c T{(R{Q)~XTO T, R, R, P c T~(R~R{P)TO T, R, R, S c T~(R{R{S)TO T, R, R, T c T{R~R~TTO T, R, R, X c T~(RR{X)TO T, R, S, Q c T~(R~S|Q)TO T, R, S, R c T~(R{S{R)TO T, R, S, X c T~(S|R{X)TO T, R, T, P c T~(R|P)~TTO T, R, T, Q c T~(R{T{Q)TO T, R, T, R c T{R~T~RTO T, R, T, T c (T|R)~(T~T)TO T, R, T, U c TR~T~UTO T, R, T, V c T~R{T~VTO T, R, T, W c (T|R{W)~TTO T, R, U, P c T~(R{U{P)TO T, R, U, Q c (T{R)~U{QTO T, R, U, T c T{(R{U)~TTO T, R, U, V c T{R{U~VTO T, R, U, W c T|R{U~WTO T, R, U, X c T{R~(U{X)TO T, R, V, O c T~(R{V){OTO T, R, V, P c T~(R{V)~PTO T, R, V, T c T~R{V~TTO T, R, V, U c T{R{V~UTO T, R, V, W c T{R~(V{W)TO T, R, V, X c T~(V{XR)TO T, R, W, P c T~(R{W|P)TO T, R, W, Q c T~(W|R)~QTO T, R, W, T c (T|R{W)~TTO T, R, W, U c T|R{W~UTO T, R, W, V c T{R~(W{V)TO T, R, W, X c T{(W|R)~XTO T, R, X, Q c T~(R{X|Q)TO T, R, X, R c T~(RR{X)TO T, R, X, S c T~(X|R{S)TO T, R, X, U c T{R~(X{U)TO T, R, X, V c T~(XR{V)TO T, R, X, W c (T{X)~R{WTO T, S, O, U c T~(S{O{U)TO T, S, P, Q c T~(S{P)~QTO T, S, P, T c (T{S{P)~TTO T, S, P, U c T~(S{P~U)TO T, S, P, V c T~(S|P{V)TO T, S, P, X c T{(S{P)~XTO T, S, Q, P c T~(S{P)~QTO T, S, Q, Q c T~(S~Q{Q)TO T, S, Q, R c T~(S{Q~R)TO T, S, Q, S c T~(S{Q{S)TO T, S, Q, T c T~(S|Q)~TTO T, S, Q, V c T~(Q~V|S)TO T, S, Q, W c T~(S|Q{W)TO T, S, Q, X c (T~Q)~(X|S)TO T, S, R, Q c T~(S{R~Q)TO T, S, R, R c T~(S{R{R)TO T, S, R, X c T~(S|R{X)TO T, S, S, Q c T~(S{S{Q)TO T, S, S, U c T~(S~S|U)TO T, S, S, X c T~(SS{X)TO T, S, T, P c T~(S{T{P)TO T, S, T, Q c (T{S~T)~QTO T, S, T, T c T{(S{T)~TTO T, S, T, U c T~S{T~UTO T, S, T, V c T~(S{V)|TTO T, S, T, W c (TS{T)~WTO T, S, T, X c (T|S{X)~TTO T, S, U, O c T~(S{U){OTO T, S, U, P c T~(S{U)~PTO T, S, U, S c (T{S)~U|STO T, S, U, T c T~S{U~TTO T, S, U, U c (T{U)~S{UTO T, S, U, W c T~(U|S{W)TO T, S, U, X c (T{X)~S|UTO T, S, V, P c T~(S{V|P)TO T, S, V, Q c (T{V)~S{QTO T, S, V, T c T~(S{V)|TTO T, S, V, V c T|S{V~VTO T, S, W, Q c T~(S{W|Q)TO T, S, W, T c TS~W~TTO T, S, W, U c T~W{S{UTO T, S, W, W c T~(WS{W)TO T, S, X, P c T{(S{P)~XTO T, S, X, Q c T~(X|S)~QTO T, S, X, R c T~(S{X|R)TO T, S, X, S c T~(SS{X)TO T, S, X, T c (T|S{X)~TTO T, S, X, U c (T{X)~S|UTO T, S, X, X c T{S~X{XTO T, T, O, Q c (T~T{O)~QTO T, T, O, T c (T{T{O)~TTO T, T, O, X c T{(T{O)~XTO T, T, P, P c (T~T)~(P{P)TO T, T, P, Q c T~T~P~QTO T, T, P, R c (T~T)~(R|P)TO T, T, P, S c (T{T)~(P{S)TO T, T, P, T c (T{T)~(P~T)TO T, T, P, U c T~(T|P{U)TO T, T, P, W c T{T~(P{W)TO T, T, P, X c T{T~P~XTO T, T, Q, O c T~T~Q{OTO T, T, Q, P c T~T~Q~PTO T, T, Q, R c (T{T)~(Q{R)TO T, T, Q, S c T~TQ~STO T, T, Q, U c (T~U|T)~QTO T, T, Q, V c T{T~(Q{V)TO T, T, Q, W c T~Q{T~WTO T, T, Q, X c T~(Q{X)|TTO T, T, R, P c (T~T)~(R|P)TO T, T, R, Q c (T{T)~(R{Q)TO T, T, R, R c T{T~R~RTO T, T, R, T c T~(T|R)~TTO T, T, R, U c T{T~(R{U)TO T, T, R, V c T~R{T~VTO T, T, R, W c T~(T|R{W)TO T, T, S, P c (T{T)~(S{P)TO T, T, S, Q c (T{T~S)~QTO T, T, S, T c T{(T{S)~TTO T, T, S, U c (T~T)~(U|S)TO T, T, S, V c T~(S{V)|TTO T, T, S, W c (T{TS)~WTO T, T, S, X c T~(T|S{X)TO T, T, T, O c (T{T)~(T{O)TO T, T, T, P c (T{T)~(T~P)TO T, T, T, R c (T~T)~(T|R)TO T, T, T, S c T{T~(T{S)TO T, T, T, T c T~T{T~TTO T, T, T, U c T~(T{U)|TTO T, T, T, V c (T~T)~(V|T)TO T, T, T, W c T{T{T~WTO T, T, T, X c T~(TT{X)TO T, T, U, P c (T{T)~(U|P)TO T, T, U, Q c (T~U|T)~QTO T, T, U, R c T{T~(U{R)TO T, T, U, S c (T~T)~(U|S)TO T, T, U, T c T~(T{U)|TTO T, T, U, W c (T~T)~(W|U)TO T, T, U, X c T~(U|T{X)TO T, T, V, Q c T{T~(V{Q)TO T, T, V, R c T~V{T~RTO T, T, V, S c T~(V{S)|TTO T, T, V, T c (T~T)~(V|T)TO T, T, V, V c TT{V~VTO T, T, V, W c T~(V|T{W)TO T, T, V, X c (T~T)~(X|V)TO T, T, W, P c T{T~(W{P)TO T, T, W, Q c T~W{T~QTO T, T, W, R c (T{T)~(W|R)TO T, T, W, S c T~T~WSTO T, T, W, T c T{T{W~TTO T, T, W, U c (T~T)~(W|U)TO T, T, W, V c T~(W|T{V)TO T, T, X, O c T{T~X{OTO T, T, X, P c T{T~X~PTO T, T, X, Q c T~(X{Q)|TTO T, T, X, S c (T{T)~(X|S)TO T, T, X, T c (TT{X)~TTO T, T, X, U c T~(X|T{U)TO T, T, X, V c (T~T)~(X|V)TO T, T, X, X c (T{TX)~XTO T, U, O, S c T~(U{O{S)TO T, U, P, Q c T~(U|P)~QTO T, U, P, R c T~(U{P{R)TO T, U, P, S c T~(U{P~S)TO T, U, P, T c (T{U|P)~TTO T, U, P, X c T{(U|P)~XTO T, U, Q, P c T~(U|P)~QTO T, U, Q, Q c T~(U{Q{Q)TO T, U, Q, R c (T{R)~U{QTO T, U, Q, T c (T~U|T)~QTO T, U, Q, U c T~(U|Q{U)TO T, U, Q, V c T~(UQ{V)TO T, U, Q, W c T~(U{WQ)TO T, U, R, P c T~(U{R{P)TO T, U, R, Q c (T{R)~U{QTO T, U, R, T c T{(U{R)~TTO T, U, R, V c T~(U|R{V)TO T, U, R, W c T~(U~R|W)TO T, U, R, X c T{(U{X)~RTO T, U, S, O c T~(U{S){OTO T, U, S, P c T~(U{S)~PTO T, U, S, S c (T{S)~U|STO T, U, S, T c T~U{S~TTO T, U, S, U c (T{U)~S{UTO T, U, S, W c T~(U|S{W)TO T, U, S, X c (T{X)~S|UTO T, U, T, P c T~(U{T|P)TO T, U, T, Q c (T~U|T)~QTO T, U, T, R c T~U~TRTO T, U, T, S c T~U{T~STO T, U, T, T c (T{U)~T|TTO T, U, T, W c (T~T)~(W|U)TO T, U, T, X c T~(U|T{X)TO T, U, U, Q c T~(U{U|Q)TO T, U, U, S c (T{U)~S{UTO T, U, U, X c T{U~U{XTO T, U, V, Q c T~(UQ{V)TO T, U, V, R c T{U~V{RTO T, U, V, V c U|T{V~VTO T, U, V, W c U~W|T{VTO T, U, V, X c T~V{U{XTO T, U, W, Q c T~(U{WQ)TO T, U, W, R c T{U~W|RTO T, U, W, S c T~(U{W|S)TO T, U, W, T c T~(W|U)~TTO T, U, W, V c U~W|T{VTO T, U, W, W c T~(W|U{W)TO T, U, X, P c T{(U|P)~XTO T, U, X, R c T{(U{X)~RTO T, U, X, S c (T{X)~S|UTO T, U, X, T c T~(U{X|T)TO T, U, X, U c T{U~U{XTO T, U, X, V c T~(X|U{V)TO T, U, X, X c T{U~X|XTO T, V, O, R c T~(V{O{R)TO T, V, P, Q c T~(V{P{Q)TO T, V, P, R c T~(V{P~R)TO T, V, P, S c T~(V|P{S)TO T, V, P, W c (T{P)~V{WTO T, V, Q, P c T~(V{Q{P)TO T, V, Q, Q c T~(V|Q)~QTO T, V, Q, S c T~(V~Q|S)TO T, V, Q, T c T{(V{Q)~TTO T, V, Q, U c T~(V{UQ)TO T, V, Q, X c T{(V|Q)~XTO T, V, R, O c T~(V{R){OTO T, V, R, P c T~(V{R)~PTO T, V, R, T c T~V{R~TTO T, V, R, U c T~(V|R{U)TO T, V, R, W c T{(V{W)~RTO T, V, R, X c T~(V{XR)TO T, V, S, P c T~(V{S|P)TO T, V, S, Q c (T{V)~S{QTO T, V, S, T c T~(V{S)|TTO T, V, S, V c T~(V|S{V)TO T, V, T, Q c T~(V{T|Q)TO T, V, T, R c T~V{T~RTO T, V, T, S c T~(V{S)|TTO T, V, T, T c T~(V|T)~TTO T, V, T, V c TT{V~VTO T, V, T, W c T~(V|T{W)TO T, V, T, X c (T~T)~(X|V)TO T, V, U, Q c T~(V{UQ)TO T, V, U, R c T{V~U{RTO T, V, U, V c V~V|T{UTO T, V, U, W c V|T{U~WTO T, V, U, X c T~V{U{XTO T, V, V, S c T{V~V|STO T, V, V, T c TT{V~VTO T, V, V, U c V~V|T{UTO T, V, V, W c T~V{V{WTO T, V, V, X c T~(VV{X)TO T, V, W, P c (T{P)~V{WTO T, V, W, R c T{(V{W)~RTO T, V, W, T c T~(V{W|T)TO T, V, W, U c V|T{W~UTO T, V, W, V c T~V{W{VTO T, V, W, X c T~(W|V{X)TO T, V, X, Q c T{(V|Q)~XTO T, V, X, R c T~(V{XR)TO T, V, X, T c T~(X|V)~TTO T, V, X, U c T~V{X{UTO T, V, X, V c T~(VV{X)TO T, V, X, W c T~(X|V{W)TO T, W, O, Q c T~(W{O{Q)TO T, W, P, P c T~(W{P{P)TO T, W, P, Q c T~(W{P~Q)TO T, W, P, R c T~(W|P{R)TO T, W, P, T c T{(W{P)~TTO T, W, P, V c (T{P)~V{WTO T, W, P, X c T~W{P{XTO T, W, Q, O c T~(W{Q){OTO T, W, Q, P c T~(W{Q)~PTO T, W, Q, R c T~(W|R)~QTO T, W, Q, S c T~(W|Q{S)TO T, W, Q, T c T~W{Q~TTO T, W, Q, U c T~(W~Q|U)TO T, W, Q, W c T~W{Q{WTO T, W, Q, X c T~(Q~X|W)TO T, W, R, P c T~(W{R|P)TO T, W, R, Q c T~(W|R)~QTO T, W, R, T c (T{W|R)~TTO T, W, R, U c T{W~U|RTO T, W, R, V c T~W{R{VTO T, W, R, X c T{(W|R)~XTO T, W, S, Q c (T{W)~S|QTO T, W, S, T c T~WS~TTO T, W, S, U c T~W{S{UTO T, W, S, W c T~(WS{W)TO T, W, T, P c T{(W{P)~TTO T, W, T, Q c T~W{T~QTO T, W, T, R c T~(W{T|R)TO T, W, T, S c T~W~TSTO T, W, T, T c T{W~T{TTO T, W, T, U c T~(W|U)~TTO T, W, T, V c T~(W|T{V)TO T, W, U, Q c T~(W~Q|U)TO T, W, U, R c T{W~U|RTO T, W, U, S c T~W{U{STO T, W, U, T c T~(W|U)~TTO T, W, U, V c W~U|T{VTO T, W, U, W c T~(W|U{W)TO T, W, V, P c (T{P)~V{WTO T, W, V, R c T{(W{V)~RTO T, W, V, T c T~(W{V|T)TO T, W, V, U c W~U|T{VTO T, W, V, V c T~V{W{VTO T, W, V, X c T~(W|V{X)TO T, W, W, Q c T~W{W{QTO T, W, W, S c T~(W{WS)TO T, W, W, U c T~(W{W|U)TO T, W, W, X c T~(WW{X)TO T, W, X, P c T~W{X{PTO T, W, X, Q c T~(X~Q|W)TO T, W, X, R c T{(W|R)~XTO T, W, X, V c T~(W{X|V)TO T, W, X, W c T~(WW{X)TO T, W, X, X c T~(X|W{X)TO T, X, O, P c T~(X{O{P)TO T, X, O, T c T{(X{O)~TTO T, X, P, O c T~(X{P){OTO T, X, P, P c T~(X{P)~PTO T, X, P, Q c T~(X|P{Q)TO T, X, P, S c T{X~(P{S)TO T, X, P, T c T{X~P~TTO T, X, P, U c T~X|P{UTO T, X, P, W c T~W{X{PTO T, X, Q, P c T~(X{Q|P)TO T, X, Q, Q c T~(X{QQ)TO T, X, Q, R c T{X~(Q{R)TO T, X, Q, S c T~(X|S)~QTO T, X, Q, T c T~(X{Q)|TTO T, X, Q, V c T~X|Q{VTO T, X, Q, W c T~(X~Q|W)TO T, X, R, Q c T{X~(R{Q)TO T, X, R, R c T~(X{RR)TO T, X, R, S c T~(X|R{S)TO T, X, R, U c T{(X{U)~RTO T, X, R, V c T~(XR{V)TO T, X, R, W c (T{X)~R{WTO T, X, S, P c T{X~(S{P)TO T, X, S, Q c T~(X|S)~QTO T, X, S, R c T~(X{S|R)TO T, X, S, S c T~(X{SS)TO T, X, S, T c (T{X|S)~TTO T, X, S, U c (T{X)~S|UTO T, X, S, X c T{X{S~XTO T, X, T, O c T{X~T{OTO T, X, T, P c T{X~T~PTO T, X, T, Q c T~(X{Q)|TTO T, X, T, S c T~(X{T|S)TO T, X, T, T c T~(X{TT)TO T, X, T, U c T~(X|T{U)TO T, X, T, V c T~(X|V)~TTO T, X, T, X c (TX{T)~XTO T, X, U, P c T{X~(U|P)TO T, X, U, R c T{(X{U)~RTO T, X, U, S c (T{X)~S|UTO T, X, U, T c T~(X{U|T)TO T, X, U, U c T{X{U~UTO T, X, U, V c T~(X|U{V)TO T, X, U, X c T{X~U|XTO T, X, V, Q c T{X~(V|Q)TO T, X, V, R c T~(XR{V)TO T, X, V, T c T~(X|V)~TTO T, X, V, U c T~(X{V|U)TO T, X, V, V c T~(X{VV)TO T, X, V, W c T~(X|V{W)TO T, X, W, P c T~W{X{PTO T, X, W, Q c T~(X~Q|W)TO T, X, W, R c T{X~(W|R)TO T, X, W, V c T~(X{W|V)TO T, X, W, W c T~(X{WW)TO T, X, W, X c T~(X|W{X)TO T, X, X, S c T{X{X~STO T, X, X, T c (TX{T)~XTO T, X, X, U c T{X~U|XTO T, X, X, W c T~(X{X|W)TO T, X, X, X c T~(X{XX)TO U, O, Q, W c (U{O)~W{QTO U, O, S, T c (U{O{S)~TTO U, O, S, X c (U{O)~X|STO U, O, T, S c (U{O{S)~TTO U, O, V, W c (U{O)~V{WTO U, O, W, Q c (U{O)~W{QTO U, O, W, V c (U{O)~V{WTO U, O, X, S c (U{O)~X|STO U, P, P, V c (U{P)~V{PTO U, P, P, W c U~W{P{PTO U, P, P, X c (U|P)~(P{X)TO U, P, Q, S c (U~S{P)~QTO U, P, Q, T c (U|P)~(Q~T)TO U, P, Q, V c U~(P{V){QTO U, P, Q, W c (U|P)~(Q{W)TO U, P, Q, X c U~(X|P){QTO U, P, R, T c (U{P{R)~TTO U, P, R, V c (U|P)~(R{V)TO U, P, R, W c U~(PR{W)TO U, P, R, X c (U~X)|(P{R)TO U, P, S, Q c (U~S{P)~QTO U, P, S, S c (U{S)~(P{S)TO U, P, S, T c (U{P~S)~TTO U, P, S, U c (U|P)~(S{U)TO U, P, S, W c (U{PS)~WTO U, P, S, X c U~P~X|STO U, P, T, Q c (U|P)~(T~Q)TO U, P, T, R c (U{P{R)~TTO U, P, T, S c (U{P~S)~TTO U, P, T, T c (U|P{T)~TTO U, P, T, X c U|P{T~XTO U, P, U, S c (U|P)~(U{S)TO U, P, U, W c (U{P)~U{WTO U, P, V, P c (U{P)~V{PTO U, P, V, Q c U~(P{V){QTO U, P, V, R c (U|P)~(V{R)TO U, P, V, V c U~V{P{VTO U, P, V, W c U~P~V{WTO U, P, V, X c U~V|P{XTO U, P, W, P c U~W{P{PTO U, P, W, Q c (U|P)~(W{Q)TO U, P, W, R c U~(PR{W)TO U, P, W, S c U~(P{W)|STO U, P, W, U c (U{P)~W|UTO U, P, W, V c U~P~V{WTO U, P, W, W c U~(W|P){WTO U, P, X, P c (U|P)~(X{P)TO U, P, X, Q c U~(X|P){QTO U, P, X, R c (U~X)|(P{R)TO U, P, X, S c U~P~X|STO U, P, X, T c U|P{X~TTO U, P, X, V c U~V|P{XTO U, Q, O, W c (U{O)~W{QTO U, Q, P, S c (U~S{P)~QTO U, Q, P, T c (U|P)~(Q~T)TO U, Q, P, V c U~(P{V){QTO U, Q, P, W c (U|P)~(Q{W)TO U, Q, P, X c U~(X|P){QTO U, Q, Q, S c U~Q~S{QTO U, Q, Q, T c (U{Q{Q)~TTO U, Q, Q, U c (U{Q)~U{QTO U, Q, Q, X c (U~X)|(Q{Q)TO U, Q, R, S c (U{S)~(Q{R)TO U, Q, R, T c U~(R{T){QTO U, Q, R, V c (U~R{V)~QTO U, Q, R, X c U~(X|QR)TO U, Q, S, P c (U~S{P)~QTO U, Q, S, Q c U~Q~S{QTO U, Q, S, R c (U{S)~(Q{R)TO U, Q, S, S c U~(S{S){QTO U, Q, S, U c (U{U)~S{QTO U, Q, S, V c U~(Q{V)|STO U, Q, S, W c U~W|Q{STO U, Q, S, X c U{(Q{X)~STO U, Q, T, P c (U|P)~(Q~T)TO U, Q, T, Q c (U{Q{Q)~TTO U, Q, T, R c U~(T{R){QTO U, Q, T, T c (U~T|T)~QTO U, Q, T, U c (U|Q{U)~TTO U, Q, T, V c (UQ{V)~TTO U, Q, T, W c U~(Q{T){WTO U, Q, U, Q c (U{Q)~U{QTO U, Q, U, S c (U{U)~S{QTO U, Q, U, T c (U|Q{U)~TTO U, Q, U, V c U{Q{U~VTO U, Q, U, W c U~(QU{W)TO U, Q, U, X c U~X{Q|UTO U, Q, V, P c U~(V{P){QTO U, Q, V, R c (U~R{V)~QTO U, Q, V, S c U~(Q{V)|STO U, Q, V, T c (UQ{V)~TTO U, Q, V, U c U{Q{V~UTO U, Q, W, O c U~W{Q{OTO U, Q, W, P c U~W{Q~PTO U, Q, W, S c U~W|Q{STO U, Q, W, T c U~(Q{T){WTO U, Q, W, U c U~(QU{W)TO U, Q, W, W c (U{QW)~WTO U, Q, W, X c U~(X|Q){WTO U, Q, X, P c U~(X|P){QTO U, Q, X, Q c (U~X)|(Q{Q)TO U, Q, X, R c U~(X|QR)TO U, Q, X, S c U{(Q{X)~STO U, Q, X, U c U~X{Q|UTO U, Q, X, W c U~(X|Q){WTO U, R, P, T c (U{R{P)~TTO U, R, P, V c (U|P)~(R{V)TO U, R, P, W c U~(PR{W)TO U, R, P, X c (U~X)|(R{P)TO U, R, Q, S c (U{S)~(R{Q)TO U, R, Q, T c U~(R{T){QTO U, R, Q, V c (U~R{V)~QTO U, R, Q, X c U~(X|QR)TO U, R, R, S c U~R~R|STO U, R, S, Q c (U{S)~(R{Q)TO U, R, S, R c U~R~R|STO U, R, S, U c (U{R)~U|STO U, R, S, V c U~(SR{V)TO U, R, S, W c U~(R{S){WTO U, R, T, P c (U{R{P)~TTO U, R, T, Q c U~(R{T){QTO U, R, T, T c (U{R)~T{TTO U, R, T, V c (U|R{V)~TTO U, R, T, W c (U~R|W)~TTO U, R, T, X c (U{X)~R{TTO U, R, U, S c (U{R)~U|STO U, R, U, V c U~(U{VR)TO U, R, U, W c UR{U~WTO U, R, V, P c (U|P)~(R{V)TO U, R, V, Q c (U~R{V)~QTO U, R, V, S c U~(V{SR)TO U, R, V, T c (U|R{V)~TTO U, R, V, U c (U{VR)~UTO U, R, V, X c U~X{R|VTO U, R, W, P c U~W{R|PTO U, R, W, S c U{(R{W)~STO U, R, W, T c (U~R|W)~TTO U, R, W, U c UR{W~UTO U, R, W, W c (U{W)~R{WTO U, R, W, X c U~(RX{W)TO U, R, X, P c (U~X)|(R{P)TO U, R, X, Q c U~(X|QR)TO U, R, X, T c (U{X)~R{TTO U, R, X, V c U~X{R|VTO U, R, X, W c U~(RX{W)TO U, S, O, T c (U{S{O)~TTO U, S, O, X c (U{O)~X|STO U, S, P, Q c (U~S{P)~QTO U, S, P, S c (U{S)~(P{S)TO U, S, P, T c (U{S)~(P~T)TO U, S, P, U c (U{S)~(U|P)TO U, S, P, W c (U{PS)~WTO U, S, P, X c U~P~X|STO U, S, Q, P c (U~S{P)~QTO U, S, Q, Q c U~S~Q{QTO U, S, Q, R c (U{S)~(Q{R)TO U, S, Q, S c U~(S{S){QTO U, S, Q, U c (U{U)~S{QTO U, S, Q, V c (U{S)~(V|Q)TO U, S, Q, W c U~W{S|QTO U, S, Q, X c U{S~(Q{X)TO U, S, R, Q c (U{S)~(R{Q)TO U, S, R, R c U~R~R|STO U, S, R, U c (U{R)~U|STO U, S, R, V c U~(SR{V)TO U, S, R, W c U{S~(R{W)TO U, S, S, P c (U{S)~(S{P)TO U, S, S, Q c U~(S{S){QTO U, S, S, T c U~(S{T)|STO U, S, S, V c U{S~(S{V)TO U, S, S, X c (U{S)~(X|S)TO U, S, T, O c (U{S)~(T{O)TO U, S, T, P c (U{S)~(T~P)TO U, S, T, S c U~(S{T)|STO U, S, T, T c (U|S)~(T~T)TO U, S, T, U c U{S~(T{U)TO U, S, T, W c U{S{T~WTO U, S, T, X c S~(T{X)|UTO U, S, U, P c (U{S)~(U|P)TO U, S, U, Q c (U{U)~S{QTO U, S, U, R c U~(U{R)|STO U, S, U, T c U{S~(U{T)TO U, S, U, W c U|S{U~WTO U, S, U, X c U~(X|SU)TO U, S, V, Q c (U{S)~(V|Q)TO U, S, V, R c U~(SR{V)TO U, S, V, S c U{(S{V)~STO U, S, V, V c S~(V{V)|UTO U, S, W, P c U~(W{P)|STO U, S, W, Q c U~W{S|QTO U, S, W, R c U{S~(W{R)TO U, S, W, T c U{S{W~TTO U, S, W, U c U|S{W~UTO U, S, W, W c U~W{WSTO U, S, W, X c U{S~X{WTO U, S, X, O c U~X|S{OTO U, S, X, P c U~X|S~PTO U, S, X, Q c U{S~(X{Q)TO U, S, X, S c (U{S)~(X|S)TO U, S, X, T c S~(X{T)|UTO U, S, X, U c U~(X|SU)TO U, S, X, W c U{S~X{WTO U, S, X, X c (U|SX)~XTO U, T, O, S c (U{O{S)~TTO U, T, P, Q c (U|P)~(T~Q)TO U, T, P, R c (U{P{R)~TTO U, T, P, S c (U{P~S)~TTO U, T, P, T c (U{T|P)~TTO U, T, P, X c U{T~X|PTO U, T, Q, P c (U|P)~(T~Q)TO U, T, Q, Q c (U{Q{Q)~TTO U, T, Q, R c U~(T{R){QTO U, T, Q, T c (U~T|T)~QTO U, T, Q, U c (U|Q{U)~TTO U, T, Q, V c (UQ{V)~TTO U, T, Q, W c U~(T{Q){WTO U, T, R, P c (U{R{P)~TTO U, T, R, Q c U~(T{R){QTO U, T, R, T c U~TR~TTO U, T, R, V c (U|R{V)~TTO U, T, R, W c (U~R|W)~TTO U, T, R, X c (U{X)~R{TTO U, T, S, O c (U{S)~(T{O)TO U, T, S, P c (U{S)~(T~P)TO U, T, S, S c U~(T{S)|STO U, T, S, T c U~T{S~TTO U, T, S, U c (U{T)~S{UTO U, T, S, W c U{T~W{STO U, T, S, X c (T{X)~S|UTO U, T, T, P c (U{T|P)~TTO U, T, T, Q c (U~T|T)~QTO U, T, T, R c U~T~TRTO U, T, T, S c U~T{T~STO U, T, T, T c (U{T)~T|TTO U, T, T, W c (T~T)~(W|U)TO U, T, T, X c (U|T{X)~TTO U, T, U, Q c (U{U|Q)~TTO U, T, U, S c U{(T{U)~STO U, T, U, X c U~U{T{XTO U, T, V, Q c (UQ{V)~TTO U, T, V, R c U~V{T{RTO U, T, V, V c U|T{V~VTO U, T, V, W c U~W|T{VTO U, T, V, X c U{T~V{XTO U, T, W, Q c U~(T{Q){WTO U, T, W, R c U~W{T|RTO U, T, W, S c U{T~W{STO U, T, W, T c T~(W|U)~TTO U, T, W, V c U~W|T{VTO U, T, W, W c T~(W|U{W)TO U, T, X, P c U{T~X|PTO U, T, X, R c (U{X)~R{TTO U, T, X, S c (T{X)~S|UTO U, T, X, T c (U|T{X)~TTO U, T, X, U c U~U{T{XTO U, T, X, V c U{T~V{XTO U, T, X, X c U~X{T|XTO U, U, P, S c (U|P)~(U{S)TO U, U, P, W c U~(U{P){WTO U, U, Q, Q c U~(U{Q){QTO U, U, Q, S c (U{U)~S{QTO U, U, Q, T c (U{U|Q)~TTO U, U, Q, V c U~U{Q~VTO U, U, Q, W c U~(QU{W)TO U, U, Q, X c U~X|U{QTO U, U, R, S c U~(U{R)|STO U, U, R, V c U~(U{VR)TO U, U, R, W c UR{U~WTO U, U, S, P c (U{S)~(U|P)TO U, U, S, Q c (U{U)~S{QTO U, U, S, R c U~(U{R)|STO U, U, S, T c U{(U{T)~STO U, U, S, W c U{U~W|STO U, U, S, X c U~(X|SU)TO U, U, T, Q c (U{U|Q)~TTO U, U, T, S c U{(U{T)~STO U, U, T, X c U~U{T{XTO U, U, U, W c U{U~U{WTO U, U, V, Q c U{U~V{QTO U, U, V, R c U~(U{VR)TO U, U, V, V c U~U{V{VTO U, U, V, W c U~(V{WU)TO U, U, W, P c U~(U{P){WTO U, U, W, Q c U~(W{QU)TO U, U, W, R c U~W{URTO U, U, W, S c U{U~W|STO U, U, W, U c U~U{W{UTO U, U, W, V c U~(WU{V)TO U, U, W, W c U~W|U{WTO U, U, X, Q c U~X|U{QTO U, U, X, S c U~(X|SU)TO U, U, X, T c U~U{X{TTO U, U, X, X c U~(X|UX)TO U, V, O, W c U~V{O{WTO U, V, P, P c (U{P)~V{PTO U, V, P, Q c U~(V{P){QTO U, V, P, R c (U|P)~(V{R)TO U, V, P, V c U~V{P{VTO U, V, P, W c U~V{P~WTO U, V, P, X c U~V|P{XTO U, V, Q, P c U~(V{P){QTO U, V, Q, R c (U~R{V)~QTO U, V, Q, S c U~(V{Q)|STO U, V, Q, T c (UQ{V)~TTO U, V, Q, U c U~V{Q{UTO U, V, R, P c (U|P)~(V{R)TO U, V, R, Q c (U~R{V)~QTO U, V, R, S c U~(V{SR)TO U, V, R, T c (U{V|R)~TTO U, V, R, U c (U{VR)~UTO U, V, R, X c U~X|V{RTO U, V, S, Q c (U{V)~S|QTO U, V, S, R c U~(V{SR)TO U, V, S, S c U{(V{S)~STO U, V, S, V c (V{V)~S|UTO U, V, T, Q c (UQ{V)~TTO U, V, T, R c U~V{T{RTO U, V, T, V c U{V~V|TTO U, V, T, W c U~W{V|TTO U, V, T, X c U{V~T{XTO U, V, U, Q c U{V~U{QTO U, V, U, R c (U{VR)~UTO U, V, U, V c U~U{V{VTO U, V, U, W c U~(V{WU)TO U, V, V, P c U~V{V{PTO U, V, V, S c (V{V)~S|UTO U, V, V, T c U{V~V|TTO U, V, V, U c U~U{V{VTO U, V, V, V c V|U{V~VTO U, V, V, W c (U{WV)~VTO U, V, V, X c (V~X)|(U{V)TO U, V, W, O c U~V{W{OTO U, V, W, P c U~V{W~PTO U, V, W, T c U~W{V|TTO U, V, W, U c U~(V{WU)TO U, V, W, V c (U{WV)~VTO U, V, W, W c (V|UW)~WTO U, V, W, X c U~W|V{XTO U, V, X, P c U~V{X|PTO U, V, X, R c U~X|V{RTO U, V, X, T c U{V~T{XTO U, V, X, V c (V~X)|(U{V)TO U, V, X, W c U~W|V{XTO U, W, O, Q c U~W{O{QTO U, W, O, V c (U{O)~V{WTO U, W, P, P c U~W{P{PTO U, W, P, Q c U~W{P~QTO U, W, P, R c U~(W{PR)TO U, W, P, S c U~(W{P)|STO U, W, P, U c (U{P)~W|UTO U, W, P, V c U~P~V{WTO U, W, P, W c U~(W|P){WTO U, W, Q, O c U~W{Q{OTO U, W, Q, P c U~W{Q~PTO U, W, Q, S c U~W|Q{STO U, W, Q, T c (U{WQ)~TTO U, W, Q, U c U~(W{QU)TO U, W, Q, W c (U{QW)~WTO U, W, Q, X c U~X|WQTO U, W, R, P c U~W{R|PTO U, W, R, S c U{(W{R)~STO U, W, R, T c U~W|R{TTO U, W, R, U c U~W{URTO U, W, R, W c (U{W)~R{WTO U, W, R, X c U~(W{RX)TO U, W, S, P c U~(W{P)|STO U, W, S, Q c U~W{S|QTO U, W, S, R c U{(W{R)~STO U, W, S, T c (U{W|S)~TTO U, W, S, U c (U{W)~S|UTO U, W, S, W c U~W{WSTO U, W, S, X c U{W{S~XTO U, W, T, Q c (U{WQ)~TTO U, W, T, R c U~W{T|RTO U, W, T, S c U{W~T{STO U, W, T, T c (W|U)~(T~T)TO U, W, T, V c U~W|T{VTO U, W, T, W c (W|U{W)~TTO U, W, U, P c U~(U{P){WTO U, W, U, Q c U~(W{QU)TO U, W, U, R c U~W{URTO U, W, U, S c U{W~U|STO U, W, U, U c U{W{U~UTO U, W, U, V c U~(WU{V)TO U, W, U, W c U~W|U{WTO U, W, V, O c U~V{W{OTO U, W, V, P c U~V{W~PTO U, W, V, T c U~W{V|TTO U, W, V, U c U~(WU{V)TO U, W, V, V c (U{WV)~VTO U, W, V, W c W~(V|UW)TO U, W, V, X c U~W|V{XTO U, W, W, P c U~(W|P){WTO U, W, W, Q c (U{QW)~WTO U, W, W, R c (U{W)~R{WTO U, W, W, S c U~W{WSTO U, W, W, T c (W|U{W)~TTO U, W, W, U c U~W{W|UTO U, W, W, V c W~(V|UW)TO U, W, W, W c (W~W)|(U{W)TO U, W, X, Q c U~X|WQTO U, W, X, R c U~(W{RX)TO U, W, X, S c U{W{X~STO U, W, X, V c U~W{X|VTO U, X, O, S c U~X{O|STO U, X, P, P c (U|P)~(X{P)TO U, X, P, Q c U~(X|P){QTO U, X, P, R c (U~X)|(P{R)TO U, X, P, S c U~X|P~STO U, X, P, T c U~X{P|TTO U, X, P, V c U~V{X|PTO U, X, Q, P c U~(X|P){QTO U, X, Q, Q c (U~X)|(Q{Q)TO U, X, Q, R c U~(X|QR)TO U, X, Q, S c U{(X{Q)~STO U, X, Q, U c U~X{Q|UTO U, X, Q, W c U~(X|Q){WTO U, X, R, P c (U~X)|(R{P)TO U, X, R, Q c U~(X|QR)TO U, X, R, T c (U{X)~R{TTO U, X, R, V c U~X{R|VTO U, X, R, W c U~(RX{W)TO U, X, S, O c U~X|S{OTO U, X, S, P c U~X|S~PTO U, X, S, Q c U{(X{Q)~STO U, X, S, S c (U{S)~(X|S)TO U, X, S, T c (X{T)~S|UTO U, X, S, U c U~(X|SU)TO U, X, S, W c U{X~S{WTO U, X, S, X c (U|SX)~XTO U, X, T, P c U{X~T|PTO U, X, T, R c (U{X)~R{TTO U, X, T, S c (X{T)~S|UTO U, X, T, T c (U{X|T)~TTO U, X, T, U c U~U{X{TTO U, X, T, V c U{X{T~VTO U, X, T, X c U~X{T|XTO U, X, U, Q c U~X|U{QTO U, X, U, S c U~(X|SU)TO U, X, U, T c U~U{X{TTO U, X, U, X c U~(X|UX)TO U, X, V, P c U~V{X|PTO U, X, V, R c U~X|V{RTO U, X, V, T c U{X{V~TTO U, X, V, V c (X~V)|(U{V)TO U, X, V, W c U~W{X|VTO U, X, W, Q c U~X|WQTO U, X, W, R c U~(W{RX)TO U, X, W, S c U~X|W{STO U, X, W, V c U~W{X|VTO U, X, X, S c (U|SX)~XTO U, X, X, T c U~X|X{TTO U, X, X, U c U~(X|UX)TO V, O, P, V c (V{O)~V{PTO V, O, R, T c (V{O{R)~TTO V, O, T, R c (V{O{R)~TTO V, O, U, W c (V{O)~U{WTO V, O, V, P c (V{O)~V{PTO V, O, W, U c (V{O)~W|UTO V, P, O, V c (V{O)~V{PTO V, P, P, U c V~(P{U){PTO V, P, P, V c V~P~V{PTO V, P, P, W c V~(W|P){PTO V, P, Q, T c (V{P{Q)~TTO V, P, Q, U c (V{P)~U{QTO V, P, Q, V c V~V|P{QTO V, P, Q, W c (V|P)~W{QTO V, P, Q, X c (V|Q)~(P{X)TO V, P, R, S c (V{R)~(P{S)TO V, P, R, T c (V{P~R)~TTO V, P, R, U c (V{R)~(U|P)TO V, P, S, R c V~(S{R){PTO V, P, S, T c (V|P{S)~TTO V, P, S, X c (V|P)~X|STO V, P, T, Q c (V{P{Q)~TTO V, P, T, R c (V{P~R)~TTO V, P, T, S c (V|P{S)~TTO V, P, T, W c V~(P{T){WTO V, P, U, P c V~(P{U){PTO V, P, U, Q c (V{P)~U{QTO V, P, U, R c (V{R)~(U|P)TO V, P, U, V c V{P{U~VTO V, P, U, W c V~P~U{WTO V, P, U, X c V~U|P{XTO V, P, V, O c V~V{P{OTO V, P, V, P c V~P~V{PTO V, P, V, Q c V~V|P{QTO V, P, V, U c V{P{V~UTO V, P, V, V c (V{PV)~VTO V, P, V, W c (V|P)~V{WTO V, P, W, P c V~(W|P){PTO V, P, W, Q c (V|P)~W{QTO V, P, W, T c V~(P{T){WTO V, P, W, U c V~P~W|UTO V, P, W, V c (V|P)~V{WTO V, P, X, Q c V~(X|Q){PTO V, P, X, S c (V|P)~X|STO V, P, X, U c V~(X|P)|UTO V, Q, P, T c (V{Q{P)~TTO V, Q, P, U c (V{P)~U{QTO V, Q, P, V c V~V{Q|PTO V, Q, P, W c (V|P)~W{QTO V, Q, P, X c (V|Q)~(P{X)TO V, Q, Q, T c (V|Q)~(Q~T)TO V, Q, Q, V c V~V{QQTO V, Q, Q, W c (V|Q)~(Q{W)TO V, Q, Q, X c (V{Q~X)~QTO V, Q, R, R c (V{R)~(Q{R)TO V, Q, R, S c (V~R{S)~QTO V, Q, R, U c (V{R~U)~QTO V, Q, R, V c (V|Q)~(R{V)TO V, Q, R, W c V~Q~R{WTO V, Q, R, X c (V{X)~R{QTO V, Q, S, R c (V~S|R)~QTO V, Q, S, T c (V~Q|S)~TTO V, Q, S, U c (V|Q)~(S{U)TO V, Q, S, W c V~(Q{S){WTO V, Q, S, X c V~Q{S~XTO V, Q, T, P c V~(Q{T){PTO V, Q, T, Q c (V|Q)~(T~Q)TO V, Q, T, S c (V~Q|S)~TTO V, Q, T, T c (V{Q)~T{TTO V, Q, T, U c (V{UQ)~TTO V, Q, T, X c V|Q{T~XTO V, Q, U, P c (V{P)~U{QTO V, Q, U, R c (V{U~R)~QTO V, Q, U, S c (V{Q)~U|STO V, Q, U, T c (V{UQ)~TTO V, Q, U, U c V~(Q{U)|UTO V, Q, V, P c V~V{Q|PTO V, Q, V, Q c V~V{QQTO V, Q, V, R c (V|Q)~(V{R)TO V, Q, W, P c (V|P)~W{QTO V, Q, W, Q c (V|Q)~(W{Q)TO V, Q, W, R c V~Q~R{WTO V, Q, W, S c V~(Q{S){WTO V, Q, W, W c V~W{Q|WTO V, Q, X, P c (V|Q)~(X{P)TO V, Q, X, Q c (V{Q~X)~QTO V, Q, X, R c (V{X)~R{QTO V, Q, X, S c V~Q{X~STO V, Q, X, T c V|Q{X~TTO V, Q, X, X c (V{X{X)~QTO V, R, O, T c (V{R{O)~TTO V, R, P, S c (V{R)~(P{S)TO V, R, P, T c (V{R)~(P~T)TO V, R, P, U c (V{R)~(U|P)TO V, R, Q, R c (V{R)~(Q{R)TO V, R, Q, S c (V~R{S)~QTO V, R, Q, U c (V{R~U)~QTO V, R, Q, V c (V{R)~(V|Q)TO V, R, Q, W c V~R~Q{WTO V, R, Q, X c (V{X)~R{QTO V, R, R, Q c (V{R)~(R{Q)TO V, R, R, V c V~V{RRTO V, R, R, W c V~(R{R){WTO V, R, S, P c (V{R)~(S{P)TO V, R, S, Q c (V~R{S)~QTO V, R, S, U c (V{SR)~UTO V, R, S, V c V~V|R{STO V, R, S, W c (V|RS)~WTO V, R, S, X c (V{R)~(X|S)TO V, R, T, O c (V{R)~(T{O)TO V, R, T, P c (V{R)~(T~P)TO V, R, T, T c V~T{R~TTO V, R, T, U c V~(R{T)|UTO V, R, T, W c V{R{T~WTO V, R, T, X c (V{XR)~TTO V, R, U, P c (V{R)~(U|P)TO V, R, U, Q c (V{R~U)~QTO V, R, U, S c (V{SR)~UTO V, R, U, T c (V|R{U)~TTO V, R, U, U c (VR{U)~UTO V, R, U, X c R{U~X|VTO V, R, V, Q c (V{R)~(V|Q)TO V, R, V, R c V~V{RRTO V, R, V, S c V~V|R{STO V, R, V, W c (V{V)~R{WTO V, R, W, Q c V~R~Q{WTO V, R, W, R c (V{R)~(W|R)TO V, R, W, S c (V|RS)~WTO V, R, W, T c V{R{W~TTO V, R, W, V c (V{V)~R{WTO V, R, W, X c V~W{R|XTO V, R, X, Q c (V{X)~R{QTO V, R, X, S c (V{R)~(X|S)TO V, R, X, T c (V{XR)~TTO V, R, X, U c R{X~U|VTO V, R, X, W c V~(X|R){WTO V, S, P, R c V~(S{R){PTO V, S, P, T c (V{S|P)~TTO V, S, P, X c (V|P)~X|STO V, S, Q, R c (V~S|R)~QTO V, S, Q, T c (V~Q|S)~TTO V, S, Q, U c V~S~Q|UTO V, S, Q, W c V~(S{Q){WTO V, S, Q, X c V~Q{S~XTO V, S, R, P c V~(S{R){PTO V, S, R, Q c (V~S|R)~QTO V, S, R, U c (V{SR)~UTO V, S, R, V c V~V{S|RTO V, S, R, W c (V|RS)~WTO V, S, R, X c (V{R)~(X|S)TO V, S, S, U c (V{S)~S{UTO V, S, S, V c V~V{SSTO V, S, T, P c (V{S|P)~TTO V, S, T, Q c (V{T)~S{QTO V, S, T, T c (V{S)~T|TTO V, S, T, V c (V|S{V)~TTO V, S, U, Q c V~S~Q|UTO V, S, U, R c (V{SR)~UTO V, S, U, S c (V{S)~S{UTO V, S, U, V c (V{V)~S|UTO V, S, V, R c V~V{S|RTO V, S, V, S c V~V{SSTO V, S, V, T c (V|S{V)~TTO V, S, V, U c (V{V)~S|UTO V, S, V, X c V{S~X{VTO V, S, W, Q c V~(S{Q){WTO V, S, W, R c (V|RS)~WTO V, S, W, W c (W|VS)~WTO V, S, X, P c (V|P)~X|STO V, S, X, Q c V~Q{S~XTO V, S, X, R c (V{R)~(X|S)TO V, S, X, V c V{S~X{VTO V, S, X, X c (V~X)|(S{X)TO V, T, O, R c (V{O{R)~TTO V, T, P, Q c V~(T{Q){PTO V, T, P, R c (V{P~R)~TTO V, T, P, S c (V|P{S)~TTO V, T, P, W c V~(T{P){WTO V, T, Q, P c V~(T{Q){PTO V, T, Q, Q c (V|Q)~(T~Q)TO V, T, Q, S c (V{T)~S{QTO V, T, Q, T c (V{T|Q)~TTO V, T, Q, U c (V{UQ)~TTO V, T, Q, X c V{T~X|QTO V, T, R, O c (V{R)~(T{O)TO V, T, R, P c (V{R)~(T~P)TO V, T, R, T c V~T{R~TTO V, T, R, U c V~(T{R)|UTO V, T, R, W c V{T~W{RTO V, T, R, X c (V{XR)~TTO V, T, S, P c (V{S|P)~TTO V, T, S, Q c (V{T)~S{QTO V, T, S, T c (V{S)~T|TTO V, T, S, V c (V|S{V)~TTO V, T, T, Q c (V{T|Q)~TTO V, T, T, R c V~T{T~RTO V, T, T, S c (V{S)~T|TTO V, T, T, T c (V|T)~(T~T)TO V, T, T, V c V~V{TTTO V, T, T, W c (V|T{W)~TTO V, T, T, X c (T~T)~(X|V)TO V, T, U, Q c (V{UQ)~TTO V, T, U, R c V~(T{R)|UTO V, T, U, V c V~V|T{UTO V, T, U, W c V|T{U~WTO V, T, U, X c V~T{U{XTO V, T, V, S c V~V{T|STO V, T, V, T c V~V{TTTO V, T, V, U c V~V|T{UTO V, T, V, W c V{T~V{WTO V, T, V, X c (VV{X)~TTO V, T, W, P c V~(T{P){WTO V, T, W, R c V{T~W{RTO V, T, W, T c (V|T{W)~TTO V, T, W, U c V|T{W~UTO V, T, W, V c V~T{W{VTO V, T, W, X c (V~X)|(T{W)TO V, T, X, Q c V{T~X|QTO V, T, X, R c (V{XR)~TTO V, T, X, T c T~(X|V)~TTO V, T, X, U c V~T{X{UTO V, T, X, V c (VV{X)~TTO V, T, X, W c (V~X)|(T{W)TO V, U, O, W c V~U{O{WTO V, U, P, P c V~(U{P){PTO V, U, P, Q c (V{P)~U{QTO V, U, P, R c (V{R)~(U|P)TO V, U, P, V c V~U{P{VTO V, U, P, W c V~U{P~WTO V, U, P, X c V~U|P{XTO V, U, Q, P c (V{P)~U{QTO V, U, Q, R c (V{U~R)~QTO V, U, Q, S c V~U{Q~STO V, U, Q, T c (V{UQ)~TTO V, U, Q, U c V~U{Q{UTO V, U, R, P c (V{R)~(U|P)TO V, U, R, Q c (V{U~R)~QTO V, U, R, S c (V{SR)~UTO V, U, R, T c (V{U|R)~TTO V, U, R, U c (VR{U)~UTO V, U, R, X c U~X|V{RTO V, U, S, Q c (V{U)~S|QTO V, U, S, R c (V{SR)~UTO V, U, S, S c V~U{S{STO V, U, S, V c (V{V)~S|UTO V, U, T, Q c (V{UQ)~TTO V, U, T, R c V~U{T{RTO V, U, T, V c V~V{U|TTO V, U, T, W c V{U~W|TTO V, U, T, X c (V|U{X)~TTO V, U, U, Q c V~U{U{QTO V, U, U, R c (VR{U)~UTO V, U, U, V c V{U~U{VTO V, U, U, W c (V{WU)~UTO V, U, V, P c V{U~V{PTO V, U, V, S c (V{V)~S|UTO V, U, V, T c V~V{U|TTO V, U, V, U c V{U~U{VTO V, U, V, V c V|U{V~VTO V, U, V, W c V~(U{WV)TO V, U, V, X c (V~X)|(U{V)TO V, U, W, O c V~U{W{OTO V, U, W, P c V~U{W~PTO V, U, W, T c V{U~W|TTO V, U, W, U c (V{WU)~UTO V, U, W, V c V~(U{WV)TO V, U, W, W c (V|UW)~WTO V, U, W, X c U~W|V{XTO V, U, X, P c V~U{X|PTO V, U, X, R c U~X|V{RTO V, U, X, T c (V|U{X)~TTO V, U, X, V c (V~X)|(U{V)TO V, U, X, W c U~W|V{XTO V, V, O, P c V~V{O{PTO V, V, P, O c V~V{P{OTO V, V, P, P c V~V{P~PTO V, V, P, Q c V~V|P{QTO V, V, P, U c V~(V{P)|UTO V, V, P, V c V~(V{PV)TO V, V, P, W c V~(V|P){WTO V, V, Q, P c V~V{Q|PTO V, V, Q, Q c V~V{QQTO V, V, Q, R c V~V|Q{RTO V, V, R, Q c V~V{R|QTO V, V, R, R c V~V{RRTO V, V, R, S c V~V|R{STO V, V, R, W c (V{V)~R{WTO V, V, S, R c V~V{S|RTO V, V, S, S c V~V{SSTO V, V, S, T c (V{V|S)~TTO V, V, S, U c (V{V)~S|UTO V, V, S, X c V{V{S~XTO V, V, T, S c V~V{T|STO V, V, T, T c V~V{TTTO V, V, T, U c V~V|T{UTO V, V, T, W c V{V~T{WTO V, V, T, X c (VV{X)~TTO V, V, U, P c V{V~U{PTO V, V, U, S c (V{V)~S|UTO V, V, U, T c V~V{U|TTO V, V, U, U c V{V{U~UTO V, V, U, V c V~V|U{VTO V, V, U, W c V~(U{WV)TO V, V, U, X c (V~X)|(V{U)TO V, V, V, P c V~(V{PV)TO V, V, V, U c V{V~V|UTO V, V, V, V c V~V{VVTO V, V, V, W c V~V|V{WTO V, V, W, P c V~(V|P){WTO V, V, W, R c (V{V)~R{WTO V, V, W, T c V{V~T{WTO V, V, W, U c V~(WV{U)TO V, V, W, V c V~V{W|VTO V, V, W, W c V~V{WWTO V, V, W, X c V~V|W{XTO V, V, X, S c V{V{X~STO V, V, X, T c (VV{X)~TTO V, V, X, U c (V~X)|(V{U)TO V, V, X, W c V~V{X|WTO V, V, X, X c V~V{XXTO V, W, O, U c V~W{O|UTO V, W, P, P c V~(W|P){PTO V, W, P, Q c (V|P)~W{QTO V, W, P, T c (V~W)|(P{T)TO V, W, P, U c V~W|P~UTO V, W, P, V c V~W{P|VTO V, W, Q, P c (V|P)~W{QTO V, W, Q, Q c (V|Q)~(W{Q)TO V, W, Q, R c V~W|Q~RTO V, W, Q, S c (V~W)|(Q{S)TO V, W, Q, W c V~W{Q|WTO V, W, R, Q c V~W|R~QTO V, W, R, R c (V~W)|(R{R)TO V, W, R, S c (V|RS)~WTO V, W, R, T c (V{W)~R{TTO V, W, R, V c (V{V)~R{WTO V, W, R, X c V~W{R|XTO V, W, S, Q c (V~W)|(S{Q)TO V, W, S, R c (V|RS)~WTO V, W, S, W c (W|VS)~WTO V, W, T, P c (V~W)|(T{P)TO V, W, T, R c V{W~T{RTO V, W, T, T c (V{W|T)~TTO V, W, T, U c V{W~U|TTO V, W, T, V c V{W{T~VTO V, W, T, X c (V~X)|(W{T)TO V, W, U, O c V~W|U{OTO V, W, U, P c V~W|U~PTO V, W, U, T c V{W~U|TTO V, W, U, U c (V{WU)~UTO V, W, U, V c V~(W|UV)TO V, W, U, W c (V|UW)~WTO V, W, U, X c W~U|V{XTO V, W, V, P c V~W|V{PTO V, W, V, R c (V{V)~R{WTO V, W, V, T c V{W{V~TTO V, W, V, U c V~(WV{U)TO V, W, V, V c V~V{W|VTO V, W, V, W c V~V{WWTO V, W, V, X c V~V|W{XTO V, W, W, Q c V~W|W{QTO V, W, W, S c (W|VS)~WTO V, W, W, U c (V|UW)~WTO V, W, W, V c V~V{WWTO V, W, X, R c V~W|X{RTO V, W, X, T c (V~X)|(W{T)TO V, W, X, U c W~U|V{XTO V, W, X, V c V~V|W{XTO V, X, P, Q c V~(X|Q){PTO V, X, P, S c (V|P)~X|STO V, X, P, U c V~(X|P)|UTO V, X, Q, P c V~(X|Q){PTO V, X, Q, Q c (V{X~Q)~QTO V, X, Q, R c (V{X)~R{QTO V, X, Q, S c V~Q{X~STO V, X, Q, T c V{X~T|QTO V, X, Q, X c (V{X{X)~QTO V, X, R, Q c (V{X)~R{QTO V, X, R, S c (V{R)~(X|S)TO V, X, R, T c (V{XR)~TTO V, X, R, U c X~U|V{RTO V, X, R, W c V~(X|R){WTO V, X, S, P c (V|P)~X|STO V, X, S, Q c V~Q{X~STO V, X, S, R c (V{R)~(X|S)TO V, X, S, V c V{X~S{VTO V, X, S, X c (V~X)|(S{X)TO V, X, T, Q c V{X~T|QTO V, X, T, R c (V{XR)~TTO V, X, T, T c (X|V)~(T~T)TO V, X, T, U c (V{X|U)~TTO V, X, T, V c (VV{X)~TTO V, X, T, W c (V~X)|(T{W)TO V, X, U, P c V~(X|P)|UTO V, X, U, R c X~U|V{RTO V, X, U, T c (V{X|U)~TTO V, X, U, V c (V~X)|(U{V)TO V, X, U, W c X|V{U~WTO V, X, V, S c V{X~S{VTO V, X, V, T c (VV{X)~TTO V, X, V, U c (V~X)|(V{U)TO V, X, V, W c V~V{X|WTO V, X, V, X c V~V{XXTO V, X, W, R c V~(X|R){WTO V, X, W, T c (V~X)|(W{T)TO V, X, W, U c X|V{W~UTO V, X, W, V c V~V{X|WTO V, X, X, Q c (V{X{X)~QTO V, X, X, S c (V~X)|(X{S)TO V, X, X, V c V~V{XXTO W, O, Q, T c (W{O{Q)~TTO W, O, Q, U c (W{O)~U{QTO W, O, T, Q c (W{O{Q)~TTO W, O, U, Q c (W{O)~U{QTO W, O, U, V c W{O{U~VTO W, O, V, U c W{O{V~UTO W, P, P, T c (W{P{P)~TTO W, P, P, U c W~U{P{PTO W, P, P, V c (W|P)~V{PTO W, P, Q, R c (W~R{P)~QTO W, P, Q, S c (W{Q)~(P{S)TO W, P, Q, T c (W{P~Q)~TTO W, P, Q, U c W~P~U{QTO W, P, Q, V c W~(V|P){QTO W, P, R, Q c (W~R{P)~QTO W, P, R, T c (W|P{R)~TTO W, P, R, U c (W{PR)~UTO W, P, R, X c (W|R)~(P{X)TO W, P, S, Q c (W{Q)~(P{S)TO W, P, S, U c W~(PS{U)TO W, P, T, P c (W{P{P)~TTO W, P, T, Q c W~(P{T){QTO W, P, T, R c (W|P{R)~TTO W, P, T, T c (W{P)~T{TTO W, P, T, V c W{(P{T)~VTO W, P, T, X c W~T{P{XTO W, P, U, P c W~U{P{PTO W, P, U, Q c W~P~U{QTO W, P, U, R c (W{PR)~UTO W, P, U, S c (W{P)~U|STO W, P, U, U c W{(P{U)~UTO W, P, U, V c W{P~U~VTO W, P, U, W c (W|P)~U{WTO W, P, V, P c (W|P)~V{PTO W, P, V, Q c W~(V|P){QTO W, P, V, T c W{(P{T)~VTO W, P, V, U c W{P~V~UTO W, P, V, V c W{(V|P)~VTO W, P, W, U c (W|P)~W|UTO W, P, X, R c (W{X)~R|PTO W, P, X, T c W~T{P{XTO W, Q, O, T c (W{Q{O)~TTO W, Q, O, U c (W{O)~U{QTO W, Q, P, R c (W~R{P)~QTO W, Q, P, S c (W{Q)~(P{S)TO W, Q, P, T c (W{Q)~(P~T)TO W, Q, P, U c (W{Q)~(U|P)TO W, Q, P, V c W~(V|P){QTO W, Q, Q, R c (W{Q)~(Q{R)TO W, Q, Q, S c W~(Q{S){QTO W, Q, Q, V c (W{Q)~(V|Q)TO W, Q, Q, W c (W|Q)~W{QTO W, Q, Q, X c (W~Q{X)~QTO W, Q, R, P c (W~R{P)~QTO W, Q, R, Q c (W{Q)~(R{Q)TO W, Q, R, R c W~(R{R){QTO W, Q, R, T c (W|R)~(Q~T)TO W, Q, R, V c W{Q~R~VTO W, Q, R, W c (W{Q)~(W|R)TO W, Q, R, X c W~(X|R){QTO W, Q, S, P c (W{Q)~(S{P)TO W, Q, S, Q c W~(Q{S){QTO W, Q, S, S c (W{S)~S{QTO W, Q, S, T c (W|Q{S)~TTO W, Q, S, U c W~U|Q{STO W, Q, S, V c W{(Q{S)~VTO W, Q, S, X c (W{Q)~(X|S)TO W, Q, T, O c (W{Q)~(T{O)TO W, Q, T, P c (W{Q)~(T~P)TO W, Q, T, R c (W|R)~(Q~T)TO W, Q, T, S c (W|Q{S)~TTO W, Q, T, T c W~T{Q~TTO W, Q, T, U c W{(Q{T)~UTO W, Q, T, W c W{Q{T~WTO W, Q, T, X c (Q~X|W)~TTO W, Q, U, O c W~U{Q{OTO W, Q, U, P c (W{Q)~(U|P)TO W, Q, U, S c W~U|Q{STO W, Q, U, T c (W~Q|U)~TTO W, Q, U, U c (W{QU)~UTO W, Q, U, W c W~(QW{U)TO W, Q, U, X c W{U~(X|Q)TO W, Q, V, P c W~(V|P){QTO W, Q, V, Q c (W{Q)~(V|Q)TO W, Q, V, R c W{Q~V~RTO W, Q, V, S c W{(Q{S)~VTO W, Q, V, W c (W|Q)~V{WTO W, Q, W, Q c (W|Q)~W{QTO W, Q, W, R c (W{Q)~(W|R)TO W, Q, W, T c W{Q{W~TTO W, Q, W, U c W~(QW{U)TO W, Q, W, V c (W|Q)~V{WTO W, Q, W, X c (W{W{X)~QTO W, Q, X, Q c (W~Q{X)~QTO W, Q, X, R c W~(X|R){QTO W, Q, X, S c (W{Q)~(X|S)TO W, Q, X, T c (Q~X|W)~TTO W, Q, X, U c W{(X|Q)~UTO W, Q, X, W c (W{X{W)~QTO W, R, P, Q c (W~R{P)~QTO W, R, P, T c (W{R|P)~TTO W, R, P, U c (W{PR)~UTO W, R, P, X c (W|R)~(P{X)TO W, R, Q, P c (W~R{P)~QTO W, R, Q, Q c W~R~Q{QTO W, R, Q, R c W~(R{R){QTO W, R, Q, T c (W|R)~(Q~T)TO W, R, Q, V c W{R~Q~VTO W, R, Q, W c (W|R)~(Q{W)TO W, R, Q, X c W~(X|R){QTO W, R, R, Q c W~(R{R){QTO W, R, R, V c W{(R{R)~VTO W, R, S, U c W{(R{S)~UTO W, R, S, V c W~(V|RS)TO W, R, T, P c (W{R|P)~TTO W, R, T, Q c (W|R)~(T~Q)TO W, R, T, T c (W{R)~T|TTO W, R, T, U c (W{UR)~TTO W, R, T, V c W~T{R{VTO W, R, T, X c W{R~(T{X)TO W, R, U, P c W~U{R|PTO W, R, U, S c (W|R)~(U{S)TO W, R, U, T c (W{UR)~TTO W, R, U, U c W~U{URTO W, R, U, W c W{R~(U{W)TO W, R, U, X c (W{RX)~UTO W, R, V, Q c W{R~V~QTO W, R, V, R c (W|R)~(V{R)TO W, R, V, S c W~(V|RS)TO W, R, V, T c (W{V)~R{TTO W, R, V, V c W{R~(V{V)TO W, R, V, X c W~V{R|XTO W, R, W, Q c (W|R)~(W{Q)TO W, R, W, U c W{R~(W{U)TO W, R, X, P c (W|R)~(X{P)TO W, R, X, Q c W~(X|R){QTO W, R, X, T c W{R~(X{T)TO W, R, X, U c (W{RX)~UTO W, R, X, V c W{(X|R)~VTO W, S, P, Q c (W{Q)~(S{P)TO W, S, P, U c W~(PS{U)TO W, S, Q, P c (W{Q)~(S{P)TO W, S, Q, Q c W~(S{Q){QTO W, S, Q, S c (W{S)~S{QTO W, S, Q, T c (W{S|Q)~TTO W, S, Q, U c W~U{S|QTO W, S, Q, V c W{(S{Q)~VTO W, S, Q, X c W~S{Q~XTO W, S, R, U c W{(S{R)~UTO W, S, R, V c W~(V|RS)TO W, S, S, Q c (W{S)~S{QTO W, S, S, X c W~(S{XS)TO W, S, T, Q c (W{S|Q)~TTO W, S, T, T c WS~T~TTO W, S, T, U c (W|S{U)~TTO W, S, T, W c (WS{W)~TTO W, S, U, P c W~(U{PS)TO W, S, U, Q c W~U{S|QTO W, S, U, R c W~S{U~RTO W, S, U, T c (W|S{U)~TTO W, S, U, U c (W{U)~S|UTO W, S, U, W c WS{U~WTO W, S, U, X c W{S~X{UTO W, S, V, Q c (W~S|V)~QTO W, S, V, R c W~(V|RS)TO W, S, V, W c (W|VS)~WTO W, S, W, T c (WS{W)~TTO W, S, W, U c WS{W~UTO W, S, W, V c W~(W|VS)TO W, S, X, Q c W~S{X~QTO W, S, X, S c W~(S{XS)TO W, S, X, U c W{S~X{UTO W, S, X, X c W~S{X{XTO W, T, O, Q c (W{O{Q)~TTO W, T, P, P c (W{P{P)~TTO W, T, P, Q c W~(T{P){QTO W, T, P, R c (W|P{R)~TTO W, T, P, T c (W{P)~T{TTO W, T, P, V c W{(T{P)~VTO W, T, P, X c W~T{P{XTO W, T, Q, O c (W{Q)~(T{O)TO W, T, Q, P c W~(T{P){QTO W, T, Q, R c (W|R)~(T~Q)TO W, T, Q, S c (W{T)~S|QTO W, T, Q, T c W~T{Q~TTO W, T, Q, U c W{(T{Q)~UTO W, T, Q, W c W~T{Q{WTO W, T, Q, X c T~(Q~X|W)TO W, T, R, P c (W{R|P)~TTO W, T, R, Q c (W|R)~(T~Q)TO W, T, R, T c (W{T|R)~TTO W, T, R, U c W~U{T|RTO W, T, R, V c W~T{R{VTO W, T, R, X c W{(T{X)~RTO W, T, S, Q c (W{T)~S|QTO W, T, S, T c W~(TS{T)TO W, T, S, U c W~T{S{UTO W, T, S, W c (WS{W)~TTO W, T, T, P c (W{P)~T{TTO W, T, T, Q c W~T{T~QTO W, T, T, R c (W{T|R)~TTO W, T, T, S c W~(T{TS)TO W, T, T, T c W~T{T{TTO W, T, T, U c (W|U)~(T~T)TO W, T, T, V c (W|T{V)~TTO W, T, U, Q c W{(T{Q)~UTO W, T, U, R c W~U{T|RTO W, T, U, S c W~T{U{STO W, T, U, T c (W|U)~(T~T)TO W, T, U, V c W~U|T{VTO W, T, U, W c (W|U{W)~TTO W, T, V, P c W{(T{P)~VTO W, T, V, R c W~T{V{RTO W, T, V, T c (W|T{V)~TTO W, T, V, U c W~U|T{VTO W, T, V, V c W{T~V{VTO W, T, V, X c (W|V{X)~TTO W, T, W, Q c W{T~W{QTO W, T, W, S c (W{WS)~TTO W, T, W, U c (W{W|U)~TTO W, T, W, X c (W~W)|(T{X)TO W, T, X, P c W~T{X{PTO W, T, X, Q c T~(X~Q|W)TO W, T, X, R c W{(T{X)~RTO W, T, X, V c (W{X|V)~TTO W, T, X, W c (W~W)|(T{X)TO W, T, X, X c T~(X|W{X)TO W, U, O, Q c W~U{O{QTO W, U, O, V c W{(U{O)~VTO W, U, P, P c W~U{P{PTO W, U, P, Q c W~U{P~QTO W, U, P, R c W~U|P{RTO W, U, P, S c W~(U{PS)TO W, U, P, U c W{(U{P)~UTO W, U, P, V c W{U~P~VTO W, U, P, W c W{U~(W|P)TO W, U, Q, O c W~U{Q{OTO W, U, Q, P c W~U{Q~PTO W, U, Q, S c W~U|Q{STO W, U, Q, T c W{U~(Q{T)TO W, U, Q, U c (W{QU)~UTO W, U, Q, W c W~(U{QW)TO W, U, Q, X c W{U~(X|Q)TO W, U, R, P c W~U{R|PTO W, U, R, S c W{U~(R{S)TO W, U, R, T c (W{UR)~TTO W, U, R, U c W~U{URTO W, U, R, W c (W{U)~R{WTO W, U, R, X c (W{RX)~UTO W, U, S, P c W~(U{PS)TO W, U, S, Q c W~U{S|QTO W, U, S, R c W{U~(S{R)TO W, U, S, T c (W{U|S)~TTO W, U, S, U c (W{U)~S|UTO W, U, S, W c W~U{WSTO W, U, S, X c W{U{S~XTO W, U, T, Q c W{U~(T{Q)TO W, U, T, R c W~U{T|RTO W, U, T, S c (W{U|S)~TTO W, U, T, T c (W|U)~(T~T)TO W, U, T, V c W~U|T{VTO W, U, T, W c (W|U{W)~TTO W, U, U, P c W{U~(U{P)TO W, U, U, Q c (W{QU)~UTO W, U, U, R c W~U{URTO W, U, U, S c W~U{U|STO W, U, U, U c W{U{U~UTO W, U, U, V c (WU{V)~UTO W, U, U, W c W|U{U~WTO W, U, V, O c W{U~V{OTO W, U, V, P c W{U~V~PTO W, U, V, T c W~U{V|TTO W, U, V, U c (WU{V)~UTO W, U, V, V c (W|UV)~VTO W, U, V, W c W~(V|UW)TO W, U, V, X c W~U|V{XTO W, U, W, P c W{U~(W|P)TO W, U, W, Q c W~(U{QW)TO W, U, W, R c W{(U{W)~RTO W, U, W, S c W~U{WSTO W, U, W, T c (W|U{W)~TTO W, U, W, U c W{U~W|UTO W, U, W, V c W~(V|UW)TO W, U, W, W c (W~W)|(U{W)TO W, U, X, Q c W{U~(X|Q)TO W, U, X, R c (W{RX)~UTO W, U, X, S c W{U{X~STO W, U, X, V c W~U{X|VTO W, V, O, U c W{(V{O)~UTO W, V, P, P c (W|P)~V{PTO W, V, P, Q c W~(V|P){QTO W, V, P, T c W{V~(P{T)TO W, V, P, U c W{V~P~UTO W, V, P, V c W{(V|P)~VTO W, V, Q, P c W~(V|P){QTO W, V, Q, Q c (W{Q)~(V|Q)TO W, V, Q, R c W{V~Q~RTO W, V, Q, S c W{V~(Q{S)TO W, V, Q, W c W~V{Q|WTO W, V, R, Q c W{V~R~QTO W, V, R, R c W{V~(R{R)TO W, V, R, S c W~(V|RS)TO W, V, R, T c (W{V)~R{TTO W, V, R, V c W{(V{V)~RTO W, V, R, X c W~V{R|XTO W, V, S, Q c W{V~(S{Q)TO W, V, S, R c W~(V|RS)TO W, V, S, W c (W|VS)~WTO W, V, T, P c W{V~(T{P)TO W, V, T, R c (W{V)~R{TTO W, V, T, T c (W{V|T)~TTO W, V, T, U c W~U{V|TTO W, V, T, V c W{V{T~VTO W, V, T, X c (W|V{X)~TTO W, V, U, O c W{V~U{OTO W, V, U, P c W{V~U~PTO W, V, U, T c W~U{V|TTO W, V, U, U c (WU{V)~UTO W, V, U, V c (WV{U)~VTO W, V, U, W c W~(V|UW)TO W, V, U, X c W~U|V{XTO W, V, V, P c W{V~(V|P)TO W, V, V, R c W{(V{V)~RTO W, V, V, T c W{V{V~TTO W, V, V, U c (WV{U)~VTO W, V, V, V c W{V~V|VTO W, V, V, W c (W~W)|(V{V)TO W, V, V, X c V~V|W{XTO W, V, W, Q c W{V~(W|Q)TO W, V, W, S c (W|VS)~WTO W, V, W, U c W~(V|UW)TO W, V, W, V c (W~W)|(V{V)TO W, V, X, R c W{V~(X|R)TO W, V, X, T c (W|V{X)~TTO W, V, X, U c W~U|V{XTO W, V, X, V c V~V|W{XTO W, W, P, U c W{(W|P)~UTO W, W, Q, Q c W~(W|Q){QTO W, W, Q, R c (W{W)~R{QTO W, W, Q, T c W{W~T{QTO W, W, Q, U c W~(QW{U)TO W, W, Q, V c W{(W|Q)~VTO W, W, Q, X c (W{W{X)~QTO W, W, R, Q c (W{W)~R{QTO W, W, R, U c W{(W{U)~RTO W, W, S, T c (W{WS)~TTO W, W, S, U c WS{W~UTO W, W, S, V c W~(W|VS)TO W, W, T, Q c W{W~T{QTO W, W, T, S c (W{WS)~TTO W, W, T, U c (W{W|U)~TTO W, W, T, X c (W~W)|(T{X)TO W, W, U, P c W{(W|P)~UTO W, W, U, Q c W~(U{QW)TO W, W, U, R c W{(W{U)~RTO W, W, U, S c W~U{WSTO W, W, U, T c (W{W|U)~TTO W, W, U, U c W{W~U|UTO W, W, U, V c W~(V|UW)TO W, W, U, W c (W~W)|(U{W)TO W, W, V, Q c W~W|V~QTO W, W, V, S c W~(W|VS)TO W, W, V, U c W~(V|UW)TO W, W, V, V c (W~W)|(V{V)TO W, W, W, U c (W~W)|(W{U)TO W, W, X, Q c (W{W{X)~QTO W, W, X, T c (W~W)|(X{T)TO W, X, P, R c (W{X)~R|PTO W, X, P, T c W~T{X{PTO W, X, Q, Q c (W~Q{X)~QTO W, X, Q, R c W~(X|R){QTO W, X, Q, S c (W{XQ)~STO W, X, Q, T c (X~Q|W)~TTO W, X, Q, U c W{(X|Q)~UTO W, X, Q, W c (W{X{W)~QTO W, X, R, P c (W{X)~R|PTO W, X, R, Q c W~(X|R){QTO W, X, R, T c W{(X{T)~RTO W, X, R, U c (W{RX)~UTO W, X, R, V c W{(X|R)~VTO W, X, S, Q c (W{XQ)~STO W, X, S, S c W~(XS{S)TO W, X, S, U c W{X~S{UTO W, X, S, X c W~S{X{XTO W, X, T, P c W~T{X{PTO W, X, T, Q c (X~Q|W)~TTO W, X, T, R c W{(X{T)~RTO W, X, T, V c (W{X|V)~TTO W, X, T, W c (W~W)|(X{T)TO W, X, T, X c (X|W{X)~TTO W, X, U, Q c W{(X|Q)~UTO W, X, U, R c (W{RX)~UTO W, X, U, S c W{X~S{UTO W, X, U, V c W~U{X|VTO W, X, V, R c W{(X|R)~VTO W, X, V, T c (W{X|V)~TTO W, X, V, U c W~U{X|VTO W, X, V, V c X|W{V~VTO W, X, W, Q c (W{X{W)~QTO W, X, W, T c (W~W)|(X{T)TO W, X, X, S c W~S{X{XTO W, X, X, T c (X|W{X)~TTO X, O, P, T c (X{O{P)~TTO X, O, S, U c (X{O)~U|STO X, O, T, P c (X{O{P)~TTO X, O, T, T c (X{O)~T{TTO X, O, U, S c (X{O)~U|STO X, P, O, T c (X{P{O)~TTO X, P, P, S c (X{P)~(P{S)TO X, P, P, T c (X{P)~(P~T)TO X, P, P, U c (X{P)~(U|P)TO X, P, Q, R c (X{P)~(Q{R)TO X, P, Q, T c (X|P{Q)~TTO X, P, Q, U c (X|P)~U{QTO X, P, Q, V c (X{P)~(V|Q)TO X, P, R, Q c (X{P)~(R{Q)TO X, P, R, U c (X~U)|(P{R)TO X, P, R, W c (X{P)~(W|R)TO X, P, S, P c (X{P)~(S{P)TO X, P, S, T c X~(P{S){TTO X, P, S, U c X~P~U|STO X, P, S, V c X~(V|P)|STO X, P, S, X c (X{P)~(X|S)TO X, P, T, O c (X{P)~(T{O)TO X, P, T, P c (X{P)~(T~P)TO X, P, T, Q c (X|P{Q)~TTO X, P, T, S c X~(P{T)|STO X, P, T, T c X~P~T{TTO X, P, T, U c X~T|P{UTO X, P, T, W c X{P{T~WTO X, P, U, P c (X{P)~(U|P)TO X, P, U, Q c (X|P)~U{QTO X, P, U, R c (X~U)|(P{R)TO X, P, U, S c X~P~U|STO X, P, U, T c X~U{P|TTO X, P, U, V c X|P{U~VTO X, P, V, Q c (X{P)~(V|Q)TO X, P, V, S c X~(V|P)|STO X, P, V, U c X|P{V~UTO X, P, W, R c (X{P)~(W|R)TO X, P, W, T c X{P{W~TTO X, P, X, S c (X{P)~(X|S)TO X, Q, P, R c (X{P)~(Q{R)TO X, Q, P, T c (X{Q|P)~TTO X, Q, P, U c (X|P)~U{QTO X, Q, P, V c (X|Q)~V{PTO X, Q, Q, R c (X~R|Q)~QTO X, Q, Q, T c (X{QQ)~TTO X, Q, Q, U c (X~U)|(Q{Q)TO X, Q, Q, V c (X~Q{V)~QTO X, Q, Q, W c (X{Q~W)~QTO X, Q, R, P c (X{P)~(Q{R)TO X, Q, R, Q c (X~R|Q)~QTO X, Q, R, S c X~Q~R|STO X, Q, R, T c (X|Q{R)~TTO X, Q, R, U c (X|QR)~UTO X, Q, R, V c (X{V)~R{QTO X, Q, R, W c (X|R)~W{QTO X, Q, S, R c X~Q~R|STO X, Q, S, S c X~(Q{S)|STO X, Q, S, T c (X|S)~(Q~T)TO X, Q, S, U c (X{Q)~S{UTO X, Q, S, V c X~S{Q~VTO X, Q, S, W c X~Q{S~WTO X, Q, T, P c (X{Q|P)~TTO X, Q, T, Q c (X{QQ)~TTO X, Q, T, R c (X|Q{R)~TTO X, Q, T, S c (X|S)~(Q~T)TO X, Q, T, T c (X{Q)~T|TTO X, Q, T, V c X~T|Q{VTO X, Q, T, W c (X~Q|W)~TTO X, Q, U, P c (X|P)~U{QTO X, Q, U, Q c (X~U)|(Q{Q)TO X, Q, U, R c (X|QR)~UTO X, Q, U, S c (X{Q)~S{UTO X, Q, U, U c X~U{Q|UTO X, Q, U, W c (X|Q)~U{WTO X, Q, V, P c (X|Q)~V{PTO X, Q, V, Q c (X~Q{V)~QTO X, Q, V, R c (X{V)~R{QTO X, Q, V, S c (X{VQ)~STO X, Q, V, T c X~(V|Q){TTO X, Q, V, X c (X{V{X)~QTO X, Q, W, Q c (X{Q~W)~QTO X, Q, W, R c (X|R)~W{QTO X, Q, W, S c X~Q{W~STO X, Q, W, T c (X~Q|W)~TTO X, Q, W, U c (X|Q)~W|UTO X, Q, W, W c (X{W{W)~QTO X, Q, X, V c (X{X{V)~QTO X, R, P, Q c (X{P)~(R{Q)TO X, R, P, U c (X~U)|(R{P)TO X, R, P, W c (X{P)~(W|R)TO X, R, Q, P c (X{P)~(R{Q)TO X, R, Q, Q c (X~R|Q)~QTO X, R, Q, S c X~R~Q|STO X, R, Q, T c (X{R|Q)~TTO X, R, Q, U c (X|QR)~UTO X, R, Q, V c (X{V)~R{QTO X, R, Q, W c (X|R)~W{QTO X, R, R, S c X~(R{R)|STO X, R, R, T c (X{RR)~TTO X, R, S, Q c (X{R)~S{QTO X, R, S, R c X~(R{R)|STO X, R, S, T c (X|R{S)~TTO X, R, S, V c (X|S)~(R{V)TO X, R, S, X c (X|R)~X|STO X, R, T, Q c (X{R|Q)~TTO X, R, T, R c (X{RR)~TTO X, R, T, S c (X|R{S)~TTO X, R, T, U c (X{U)~R{TTO X, R, T, V c (XR{V)~TTO X, R, T, W c (X{T)~R{WTO X, R, U, P c (X~U)|(R{P)TO X, R, U, Q c (X|QR)~UTO X, R, U, T c (X{U)~R{TTO X, R, U, V c X~U{R|VTO X, R, U, W c (RX{W)~UTO X, R, V, Q c (X{V)~R{QTO X, R, V, S c (X|S)~(R{V)TO X, R, V, T c (XR{V)~TTO X, R, V, U c X~U{R|VTO X, R, V, W c (X|R)~V{WTO X, R, W, P c (X{W)~R|PTO X, R, W, Q c (X|R)~W{QTO X, R, W, T c X~(W|R){TTO X, R, W, U c (RX{W)~UTO X, R, W, V c (X|R)~V{WTO X, R, X, S c (X|R)~X|STO X, S, O, U c (X{O)~U|STO X, S, P, P c (X{P)~(S{P)TO X, S, P, T c X~(S{P){TTO X, S, P, U c X~P~U|STO X, S, P, V c X~(V|P)|STO X, S, P, X c (X|S)~(P{X)TO X, S, Q, R c X~Q~R|STO X, S, Q, S c X~(S{Q)|STO X, S, Q, T c (X|S)~(Q~T)TO X, S, Q, U c (X{Q)~S{UTO X, S, Q, V c X~S{Q~VTO X, S, Q, W c (X|S)~(Q{W)TO X, S, R, Q c (X{R)~S{QTO X, S, R, R c X~(R{R)|STO X, S, R, T c (X{S|R)~TTO X, S, R, V c (X|S)~(R{V)TO X, S, R, X c (X|R)~X|STO X, S, S, Q c (X{S)~S|QTO X, S, S, T c (X{SS)~TTO X, S, S, U c (X|S)~(S{U)TO X, S, S, W c (XS{S)~WTO X, S, T, P c X~(S{P){TTO X, S, T, Q c (X|S)~(T~Q)TO X, S, T, R c (X{S|R)~TTO X, S, T, S c (X{SS)~TTO X, S, T, T c (X|S{T)~TTO X, S, T, U c (X{T)~S|UTO X, S, T, X c X|S{T~XTO X, S, U, O c X~U|S{OTO X, S, U, P c X~U|S~PTO X, S, U, Q c (X{Q)~S{UTO X, S, U, S c (X|S)~(U{S)TO X, S, U, T c (X{T)~S|UTO X, S, U, U c (X|SU)~UTO X, S, U, W c X~S{U{WTO X, S, U, X c X~(U|SX)TO X, S, V, P c X~(V|P)|STO X, S, V, Q c X~S{V~QTO X, S, V, R c (X|S)~(V{R)TO X, S, V, V c X~S{V{VTO X, S, V, X c (X~V)|(S{X)TO X, S, W, Q c (X|S)~(W{Q)TO X, S, W, S c (XS{S)~WTO X, S, W, U c X~S{W{UTO X, S, W, X c X{S~W{XTO X, S, X, P c (X|S)~(X{P)TO X, S, X, R c (X{X)~R|STO X, S, X, T c X{S~X{TTO X, S, X, U c X~(U|SX)TO X, S, X, V c (X~V)|(S{X)TO X, S, X, W c X{S~W{XTO X, T, O, P c (X{O{P)~TTO X, T, O, T c X~T{O{TTO X, T, P, O c (X{P)~(T{O)TO X, T, P, P c (X{P)~(T~P)TO X, T, P, Q c (X|P{Q)~TTO X, T, P, S c X~T{P{STO X, T, P, T c X~T{P~TTO X, T, P, U c X~T|P{UTO X, T, P, W c X{T~W{PTO X, T, Q, P c (X{Q|P)~TTO X, T, Q, Q c (X{QQ)~TTO X, T, Q, R c X~T{Q{RTO X, T, Q, S c (X|S)~(T~Q)TO X, T, Q, T c (X{Q)~T|TTO X, T, Q, V c X~T|Q{VTO X, T, Q, W c (X~Q|W)~TTO X, T, R, Q c X~T{R{QTO X, T, R, R c (X{RR)~TTO X, T, R, S c (X|R{S)~TTO X, T, R, U c (X{U)~R{TTO X, T, R, V c (XR{V)~TTO X, T, R, W c (X{T)~R{WTO X, T, S, P c X~T{S{PTO X, T, S, Q c (X|S)~(T~Q)TO X, T, S, R c (X{S|R)~TTO X, T, S, S c (X{SS)~TTO X, T, S, T c (X{T|S)~TTO X, T, S, U c (X{T)~S|UTO X, T, S, X c X{T{S~XTO X, T, T, O c X~T{T{OTO X, T, T, P c X~T{T~PTO X, T, T, Q c (X{Q)~T|TTO X, T, T, S c (X{T|S)~TTO X, T, T, T c (X{TT)~TTO X, T, T, U c (X|T{U)~TTO X, T, T, V c (X|V)~(T~T)TO X, T, T, X c X~(T{TX)TO X, T, U, P c X~T{U|PTO X, T, U, R c (X{U)~R{TTO X, T, U, S c (X{T)~S|UTO X, T, U, T c (X|T{U)~TTO X, T, U, U c X{T{U~UTO X, T, U, V c X{T~V{UTO X, T, U, X c X~U{T|XTO X, T, V, Q c X~T{V|QTO X, T, V, R c (XR{V)~TTO X, T, V, T c (X|V)~(T~T)TO X, T, V, U c X{T~V{UTO X, T, V, V c (X{VV)~TTO X, T, V, W c (X~V)|(T{W)TO X, T, W, P c X{T~W{PTO X, T, W, Q c (X~Q|W)~TTO X, T, W, R c X~T{W|RTO X, T, W, V c (X{W|V)~TTO X, T, W, W c (X{WW)~TTO X, T, W, X c (X|W{X)~TTO X, T, X, S c X{T{X~STO X, T, X, T c X~(TX{T)TO X, T, X, U c X~U{T|XTO X, T, X, W c (X{X|W)~TTO X, T, X, X c (X{XX)~TTO X, U, O, S c X~U{O|STO X, U, P, P c (X{P)~(U|P)TO X, U, P, Q c (X|P)~U{QTO X, U, P, R c (X~U)|(P{R)TO X, U, P, S c X~U|P~STO X, U, P, T c X~U{P|TTO X, U, P, V c X{U~V|PTO X, U, Q, P c (X|P)~U{QTO X, U, Q, Q c (X~U)|(Q{Q)TO X, U, Q, R c (X|QR)~UTO X, U, Q, S c (X{Q)~S{UTO X, U, Q, U c X~U{Q|UTO X, U, Q, W c X~U|WQTO X, U, R, P c (X~U)|(R{P)TO X, U, R, Q c (X|QR)~UTO X, U, R, T c (X{U)~R{TTO X, U, R, V c X~U{R|VTO X, U, R, W c U~(RX{W)TO X, U, S, O c X~U|S{OTO X, U, S, P c X~U|S~PTO X, U, S, Q c (X{Q)~S{UTO X, U, S, S c (X|S)~(U{S)TO X, U, S, T c (X{T)~S|UTO X, U, S, U c (X|SU)~UTO X, U, S, W c X~U{S|WTO X, U, S, X c X~(U|SX)TO X, U, T, P c X~U|T{PTO X, U, T, R c (X{U)~R{TTO X, U, T, S c (X{T)~S|UTO X, U, T, T c (X{U|T)~TTO X, U, T, U c X{U~U{TTO X, U, T, V c X{U{T~VTO X, U, T, X c X~U{T|XTO X, U, U, Q c X~U|U{QTO X, U, U, S c (X|SU)~UTO X, U, U, T c X{U~U{TTO X, U, U, X c (X|UX)~UTO X, U, V, P c X{U~V|PTO X, U, V, R c X~U|V{RTO X, U, V, T c X{U{V~TTO X, U, V, V c (X~V)|(U{V)TO X, U, V, W c X{U~W|VTO X, U, W, Q c X~U|WQTO X, U, W, R c U~(W{RX)TO X, U, W, S c X~U|W{STO X, U, W, V c X{U~W|VTO X, U, X, S c X~(U|SX)TO X, U, X, T c X~U|X{TTO X, U, X, U c (X|UX)~UTO X, V, P, Q c (X{P)~(V|Q)TO X, V, P, S c X~(V|P)|STO X, V, P, U c X{V~U|PTO X, V, Q, P c (X|Q)~V{PTO X, V, Q, Q c (X~Q{V)~QTO X, V, Q, R c (X{V)~R{QTO X, V, Q, S c (X{VQ)~STO X, V, Q, T c X~(V|Q){TTO X, V, Q, X c (X{V{X)~QTO X, V, R, Q c (X{V)~R{QTO X, V, R, S c (X|S)~(V{R)TO X, V, R, T c (XR{V)~TTO X, V, R, U c X~U|V{RTO X, V, R, W c (X|R)~V{WTO X, V, S, P c X~(V|P)|STO X, V, S, Q c (X{VQ)~STO X, V, S, R c (X|S)~(V{R)TO X, V, S, V c X~S{V{VTO X, V, S, X c (X~V)|(S{X)TO X, V, T, Q c X~(V|Q){TTO X, V, T, R c (XR{V)~TTO X, V, T, T c (X|V)~(T~T)TO X, V, T, U c X{V~T{UTO X, V, T, V c (X{VV)~TTO X, V, T, W c (X~V)|(T{W)TO X, V, U, P c X{V~U|PTO X, V, U, R c X~U|V{RTO X, V, U, T c (X{V|U)~TTO X, V, U, V c (X~V)|(U{V)TO X, V, U, W c X|V{U~WTO X, V, V, S c X~S{V{VTO X, V, V, T c (X{VV)~TTO X, V, V, U c (X~V)|(V{U)TO X, V, V, W c X{V~V|WTO X, V, V, X c XX{V~VTO X, V, W, R c (X|R)~V{WTO X, V, W, T c (X|V{W)~TTO X, V, W, U c X|V{W~UTO X, V, W, V c X{V~V|WTO X, V, X, Q c (X{V{X)~QTO X, V, X, S c (X~V)|(X{S)TO X, V, X, V c XX{V~VTO X, W, P, R c (X{W)~R|PTO X, W, P, T c X{W~T{PTO X, W, Q, Q c (X{W~Q)~QTO X, W, Q, R c (X|R)~W{QTO X, W, Q, S c X~(W|Q)|STO X, W, Q, T c (X~Q|W)~TTO X, W, Q, U c (X|Q)~W|UTO X, W, Q, W c (X{W{W)~QTO X, W, R, P c (X{W)~R|PTO X, W, R, Q c (X|R)~W{QTO X, W, R, T c X~(W|R){TTO X, W, R, U c (W{RX)~UTO X, W, R, V c (X|R)~V{WTO X, W, S, Q c X~(W|Q)|STO X, W, S, S c (XS{S)~WTO X, W, S, U c X~S{W{UTO X, W, S, X c X{W~S{XTO X, W, T, P c X{W~T{PTO X, W, T, Q c (X~Q|W)~TTO X, W, T, R c X~(W|R){TTO X, W, T, V c (X{W|V)~TTO X, W, T, W c (X{WW)~TTO X, W, T, X c (X|W{X)~TTO X, W, U, Q c X~U|WQTO X, W, U, R c (W{RX)~UTO X, W, U, S c X~U|W{STO X, W, U, V c X{W~U|VTO X, W, V, R c (X|R)~V{WTO X, W, V, T c (X{W|V)~TTO X, W, V, U c X{W~U|VTO X, W, V, V c X|W{V~VTO X, W, W, Q c (X{W{W)~QTO X, W, W, T c (X{WW)~TTO X, W, X, S c X{W~S{XTO X, W, X, T c (X|W{X)~TTO X, X, P, S c (X{P)~(X|S)TO X, X, Q, V c (X{X{V)~QTO X, X, R, S c (X{X)~R|STO X, X, S, P c (X|S)~(X{P)TO X, X, S, R c (X{X)~R|STO X, X, S, T c X{X~S{TTO X, X, S, U c X~(U|SX)TO X, X, S, V c (X~V)|(X{S)TO X, X, S, W c X{X{S~WTO X, X, T, S c X{X~T|STO X, X, T, T c X~(TX{T)TO X, X, T, U c X~U|X{TTO X, X, T, W c (X{X|W)~TTO X, X, T, X c (X{XX)~TTO X, X, U, S c X~(U|SX)TO X, X, U, T c X~U|X{TTO X, X, U, U c (X|UX)~UTO X, X, V, Q c (X{X{V)~QTO X, X, V, S c (X~V)|(X{S)TO X, X, V, V c XX{V~VTO X, X, W, S c X{X{W~STO X, X, W, T c (X{X|W)~TTO X, X, X, T c (X{XX)~TTO