O, P, U, V c O{P{U~VSR O, P, V, U c O{P{V~USR O, Q, T, X c O{T~X|QSR O, Q, X, T c O{X~T|QSR O, R, T, W c O{R{T~WSR O, R, W, T c O{R{W~TSR O, S, V, X c O{S~X{VSR O, S, X, V c O{S~X{VSR O, T, Q, X c O{T~X|QSR O, T, R, W c O{T~W{RSR O, T, U, W c O{U~W|TSR O, T, V, W c O{T~V{WSR O, T, W, R c O{T~W{RSR O, T, W, U c O{W~U|TSR O, T, W, V c O{T~V{WSR O, T, X, Q c O{T~X|QSR O, U, P, V c O{U~V{PSR O, U, T, W c O{U~W|TSR O, U, U, V c O{U~U{VSR O, U, V, P c O{U~V{PSR O, U, V, U c O{U~U{VSR O, U, V, V c O{V~V|USR O, U, W, T c O{U~W|TSR O, V, P, U c O{V~U{PSR O, V, S, X c O{V{S~XSR O, V, T, W c O{V~T{WSR O, V, U, P c O{V~U{PSR O, V, U, U c O{V{U~USR O, V, U, V c O{V~V|USR O, V, V, U c O{V~V|USR O, V, W, T c O{V~T{WSR O, V, X, S c O{V{X~SSR O, W, R, T c O{W~T{RSR O, W, T, R c O{W~T{RSR O, W, T, U c O{W~U|TSR O, W, T, V c O{W{T~VSR O, W, U, T c O{W~U|TSR O, W, V, T c O{W{V~TSR O, X, Q, T c O{X~T|QSR O, X, S, V c O{X~S{VSR O, X, T, Q c O{X~T|QSR O, X, V, S c O{X~S{VSR P, O, U, V c P{O{U~VSR P, O, V, U c P{O{V~USR P, P, T, V c P{(P{T)~VSR P, P, T, X c (T~X)|(P{P)SR P, P, U, U c P{(P{U)~USR P, P, U, V c P{P~U~VSR P, P, U, W c P{U~(W|P)SR P, P, V, T c P{(P{T)~VSR P, P, V, U c P{P~V~USR P, P, V, V c P{(V|P)~VSR P, P, W, U c P{(W|P)~USR P, P, X, T c (X~T)|(P{P)SR P, Q, R, V c P{Q~R~VSR P, Q, S, V c P{(Q{S)~VSR P, Q, S, X c (P{S)~X|QSR P, Q, T, U c P{(Q{T)~USR P, Q, T, W c P{Q{T~WSR P, Q, T, X c P~T~X|QSR P, Q, U, T c P{(Q{T)~USR P, Q, U, V c Q|P{U~VSR P, Q, U, X c P{U~(X|Q)SR P, Q, V, R c P{Q~V~RSR P, Q, V, S c P{(Q{S)~VSR P, Q, V, U c Q|P{V~USR P, Q, V, W c P{V~(W|Q)SR P, Q, W, T c P{Q{W~TSR P, Q, W, V c P{(W|Q)~VSR P, Q, X, S c (P{S)~X|QSR P, Q, X, T c P~X~T|QSR P, Q, X, U c P{(X|Q)~USR P, R, Q, V c P{R~Q~VSR P, R, R, V c P{(R{R)~VSR P, R, S, U c P{(R{S)~USR P, R, S, W c (P{S)~W{RSR P, R, S, X c (P{X)~S{RSR P, R, T, V c (P{V)~T{RSR P, R, T, W c P~R{T~WSR P, R, T, X c P{R~(T{X)SR P, R, U, S c P{(R{S)~USR P, R, U, W c P{R~(U{W)SR P, R, V, Q c P{R~V~QSR P, R, V, R c P{(R{R)~VSR P, R, V, T c (P{V)~T{RSR P, R, V, V c P{R~(V{V)SR P, R, V, X c (P{R)~X{VSR P, R, W, S c (P{S)~W{RSR P, R, W, T c P~R{W~TSR P, R, W, U c P{R~(W{U)SR P, R, X, S c (P{X)~S{RSR P, R, X, T c P{R~(X{T)SR P, R, X, V c (P{R)~X{VSR P, S, Q, V c P{(S{Q)~VSR P, S, Q, X c (P{S)~X|QSR P, S, R, U c P{(S{R)~USR P, S, R, W c (P{S)~W{RSR P, S, R, X c (P{X)~S{RSR P, S, S, V c S~(S{V)|PSR P, S, T, U c S~(T{U)|PSR P, S, T, W c S|P{T~WSR P, S, U, R c P{(S{R)~USR P, S, U, T c S~(U{T)|PSR P, S, U, W c (U~W)|(P{S)SR P, S, U, X c P{S~X{USR P, S, V, Q c P{(S{Q)~VSR P, S, V, S c (S{V)~S|PSR P, S, V, W c (P{S)~V{WSR P, S, V, X c P~S~X{VSR P, S, W, R c (P{S)~W{RSR P, S, W, T c S|P{W~TSR P, S, W, U c (W~U)|(P{S)SR P, S, W, V c (P{S)~V{WSR P, S, W, X c S~X|P{WSR P, S, X, Q c (P{S)~X|QSR P, S, X, R c (P{X)~S{RSR P, S, X, U c P{S~X{USR P, S, X, V c P~S~X{VSR P, S, X, W c S~X|P{WSR P, T, P, V c P{(T{P)~VSR P, T, P, X c (T~X)|(P{P)SR P, T, Q, U c P{(T{Q)~USR P, T, Q, W c P{T~W{QSR P, T, Q, X c P~T~X|QSR P, T, R, V c (P{V)~T{RSR P, T, R, W c P~T~W{RSR P, T, R, X c P{(T{X)~RSR P, T, S, U c (T{U)~S|PSR P, T, S, W c T~W|P{SSR P, T, T, W c (P{T)~W|TSR P, T, U, Q c P{(T{Q)~USR P, T, U, S c (T{U)~S|PSR P, T, U, V c (P{T)~U{VSR P, T, U, W c (P{U)~T{WSR P, T, U, X c U~(X|P)|TSR P, T, V, P c (P{T)~V{PSR P, T, V, R c (P{V)~T{RSR P, T, V, U c (P{T)~U{VSR P, T, V, V c P{T~V{VSR P, T, V, W c P~T~V{WSR P, T, V, X c (P{X)~T|VSR P, T, W, Q c P{T~W{QSR P, T, W, R c P~T~W{RSR P, T, W, S c T~W|P{SSR P, T, W, T c (P{T)~W|TSR P, T, W, U c P~W~U|TSR P, T, W, V c P~T~V{WSR P, T, W, W c T~(W|P){WSR P, T, X, P c (T~X)|(P{P)SR P, T, X, Q c P~T~X|QSR P, T, X, R c P{(T{X)~RSR P, T, X, U c (X|P)~U|TSR P, T, X, V c (P{X)~T|VSR P, U, O, V c P{(U{O)~VSR P, U, P, U c P{(U{P)~USR P, U, P, V c P{U~P~VSR P, U, P, W c P{U~(W|P)SR P, U, Q, T c P{U~(Q{T)SR P, U, Q, V c U~V|P{QSR P, U, Q, X c P{U~(X|Q)SR P, U, R, S c P{U~(R{S)SR P, U, R, W c P{(U{W)~RSR P, U, S, R c P{U~(S{R)SR P, U, S, T c (U{T)~S|PSR P, U, S, W c (U~W)|(P{S)SR P, U, S, X c P{U{S~XSR P, U, T, Q c P{U~(T{Q)SR P, U, T, S c (U{T)~S|PSR P, U, T, V c (P{T)~U{VSR P, U, T, W c (P{U)~T{WSR P, U, T, X c U~(X|P)|TSR P, U, U, P c (P{U)~U{PSR P, U, U, U c P{U{U~USR P, U, U, V c P~U~U{VSR P, U, U, W c P{U~W|USR P, U, V, O c P{U~V{OSR P, U, V, P c P{U~V~PSR P, U, V, Q c U~V|P{QSR P, U, V, T c (P{V)~U|TSR P, U, V, U c (P{U)~V|USR P, U, V, V c (PV{U)~VSR P, U, V, W c (U|P)~V{WSR P, U, W, P c P{U~(W|P)SR P, U, W, R c P{(U{W)~RSR P, U, W, S c (U~W)|(P{S)SR P, U, W, T c P~U~W|TSR P, U, W, U c P{U~W|USR P, U, W, V c (U|P)~V{WSR P, U, X, Q c P{U~(X|Q)SR P, U, X, S c P{U{X~SSR P, U, X, T c U~(X|P)|TSR P, V, O, U c P{(V{O)~USR P, V, P, T c P{V~(P{T)SR P, V, P, U c P{V~P~USR P, V, P, V c P{(V|P)~VSR P, V, Q, R c P{V~Q~RSR P, V, Q, S c P{V~(Q{S)SR P, V, Q, U c V~U|P{QSR P, V, Q, W c P{V~(W|Q)SR P, V, R, Q c P{V~R~QSR P, V, R, R c P{V~(R{R)SR P, V, R, T c (P{V)~T{RSR P, V, R, V c P{(V{V)~RSR P, V, R, X c P{V~(X|R)SR P, V, S, Q c P{V~(S{Q)SR P, V, S, S c (V{S)~S|PSR P, V, S, W c (P{S)~V{WSR P, V, S, X c P~V{S~XSR P, V, T, P c P{V~(T{P)SR P, V, T, R c (P{V)~T{RSR P, V, T, U c (P{V)~U|TSR P, V, T, V c P{V{T~VSR P, V, T, W c P~V~T{WSR P, V, T, X c (P{X)~T|VSR P, V, U, O c P{V~U{OSR P, V, U, P c P{V~U~PSR P, V, U, Q c V~U|P{QSR P, V, U, T c (P{V)~U|TSR P, V, U, U c P~V{U~USR P, V, U, V c (PV{U)~VSR P, V, U, W c V~(U|P){WSR P, V, V, P c P{V~(V|P)SR P, V, V, R c P{(V{V)~RSR P, V, V, T c P{V{V~TSR P, V, V, U c P~V~V|USR P, V, V, V c P{V~V|VSR P, V, W, Q c P{V~(W|Q)SR P, V, W, S c (P{W)~S{VSR P, V, W, T c P~V~T{WSR P, V, W, U c V~(W|P)|USR P, V, X, R c P{V~(X|R)SR P, V, X, S c P~V{X~SSR P, V, X, T c (P{X)~T|VSR P, W, P, U c P{(W|P)~USR P, W, Q, T c P{W~T{QSR P, W, Q, V c P{(W|Q)~VSR P, W, R, S c (P{S)~W{RSR P, W, R, T c P~W~T{RSR P, W, R, U c P{(W{U)~RSR P, W, S, R c (P{S)~W{RSR P, W, S, T c W~T|P{SSR P, W, S, U c (W~U)|(P{S)SR P, W, S, V c (P{W)~S{VSR P, W, S, X c W|P{S~XSR P, W, T, Q c P{W~T{QSR P, W, T, R c P~W~T{RSR P, W, T, S c W~T|P{SSR P, W, T, T c (P{T)~W|TSR P, W, T, U c P~W~U|TSR P, W, T, V c P~W{T~VSR P, W, T, W c (W|P)~T{WSR P, W, U, P c P{(W|P)~USR P, W, U, R c P{(W{U)~RSR P, W, U, S c (W~U)|(P{S)SR P, W, U, T c P~W~U|TSR P, W, U, U c P{W~U|USR P, W, U, V c (W|P)~V|USR P, W, V, Q c P{(W|Q)~VSR P, W, V, S c (P{W)~S{VSR P, W, V, T c P~W{V~TSR P, W, V, U c (W|P)~V|USR P, W, W, T c (W|P)~T{WSR P, W, X, S c W|P{X~SSR P, X, P, T c (X~T)|(P{P)SR P, X, Q, S c (P{S)~X|QSR P, X, Q, T c P~X~T|QSR P, X, Q, U c P{(X|Q)~USR P, X, R, S c (P{X)~S{RSR P, X, R, T c P{(X{T)~RSR P, X, R, V c P{(X|R)~VSR P, X, S, Q c (P{S)~X|QSR P, X, S, R c (P{X)~S{RSR P, X, S, U c P{X~S{USR P, X, S, V c P~X~S{VSR P, X, S, W c X~S|P{WSR P, X, T, P c (X~T)|(P{P)SR P, X, T, Q c P~X~T|QSR P, X, T, R c P{(X{T)~RSR P, X, T, U c (X|P)~U|TSR P, X, T, V c (P{X)~T|VSR P, X, U, Q c P{(X|Q)~USR P, X, U, S c P{X~S{USR P, X, U, T c (X|P)~U|TSR P, X, V, R c P{(X|R)~VSR P, X, V, S c P~X~S{VSR P, X, V, T c (P{X)~T|VSR P, X, W, S c X~S|P{WSR Q, O, T, X c O{T~X|QSR Q, O, X, T c O{X~T|QSR Q, P, R, V c Q~R~V{PSR Q, P, S, V c (Q{S)~V{PSR Q, P, S, X c (Q{X)~S|PSR Q, P, T, U c (Q{T)~U{PSR Q, P, T, W c Q{P{T~WSR Q, P, T, X c P~T~X|QSR Q, P, U, T c (Q{T)~U{PSR Q, P, U, V c Q|P{U~VSR Q, P, U, X c P{U~(X|Q)SR Q, P, V, R c Q~V~R{PSR Q, P, V, S c (Q{S)~V{PSR Q, P, V, U c Q|P{V~USR Q, P, V, W c P{V~(W|Q)SR Q, P, W, T c Q{P{W~TSR Q, P, W, V c P{(W|Q)~VSR Q, P, X, S c (Q{X)~S|PSR Q, P, X, T c P~X~T|QSR Q, P, X, U c P{(X|Q)~USR Q, Q, R, X c (Q{R)~X|QSR Q, Q, T, V c (Q{V)~T|QSR Q, Q, U, V c QQ{U~VSR Q, Q, V, T c (Q{V)~T|QSR Q, Q, V, U c QQ{V~USR Q, Q, V, X c (Q{Q)~X{VSR Q, Q, X, R c (Q{R)~X|QSR Q, Q, X, V c (Q{Q)~X{VSR Q, R, P, V c Q~R~V{PSR Q, R, Q, X c (Q{R)~X|QSR Q, R, R, T c R~R~T|QSR Q, R, R, W c (Q{R)~W{RSR Q, R, S, T c Q~S~T{RSR Q, R, S, W c (Q{W)~S{RSR Q, R, T, R c R~T~R|QSR Q, R, T, S c Q~T~S{RSR Q, R, T, U c (Q{U)~T{RSR Q, R, T, W c Q~R~W|TSR Q, R, U, T c (Q{U)~T{RSR Q, R, U, V c Q~R~U{VSR Q, R, U, W c (U~W)|(Q{R)SR Q, R, U, X c R~(U{X)|QSR Q, R, V, P c Q~R~V{PSR Q, R, V, U c Q~R~U{VSR Q, R, V, V c V~V|Q~RSR Q, R, V, W c (Q{R)~V{WSR Q, R, W, R c (Q{R)~W{RSR Q, R, W, S c (Q{W)~S{RSR Q, R, W, T c Q~R~W|TSR Q, R, W, U c (W~U)|(Q{R)SR Q, R, W, V c (Q{R)~V{WSR Q, R, W, X c Q~W{R~XSR Q, R, X, Q c (Q{R)~X|QSR Q, R, X, U c R~(X{U)|QSR Q, R, X, W c Q~W{R~XSR Q, S, P, V c (Q{S)~V{PSR Q, S, P, X c (Q{X)~S|PSR Q, S, R, T c Q~S~T{RSR Q, S, R, W c (Q{W)~S{RSR Q, S, T, R c Q~S~T{RSR Q, S, T, T c (S{T)~T|QSR Q, S, T, U c Q~S~U|TSR Q, S, T, V c Q~S{T~VSR Q, S, T, W c (Q{S)~W|TSR Q, S, T, X c Q{S~X{TSR Q, S, U, T c Q~S~U|TSR Q, S, U, V c (Q{S)~U{VSR Q, S, V, P c (Q{S)~V{PSR Q, S, V, T c Q~S{V~TSR Q, S, V, U c (Q{S)~U{VSR Q, S, V, V c (Q{V)~S{VSR Q, S, W, R c (Q{W)~S{RSR Q, S, W, T c (Q{S)~W|TSR Q, S, W, X c Q{S~W{XSR Q, S, X, P c (Q{X)~S|PSR Q, S, X, T c Q{S~X{TSR Q, S, X, W c Q{S~W{XSR Q, S, X, X c S~X|Q{XSR Q, T, O, X c (T{O)~X|QSR Q, T, P, U c (Q{T)~U{PSR Q, T, P, W c Q{T~W{PSR Q, T, P, X c T~P~X|QSR Q, T, Q, V c (Q{V)~T|QSR Q, T, R, R c T~R~R|QSR Q, T, R, S c Q~T~S{RSR Q, T, R, U c (Q{U)~T{RSR Q, T, R, W c Q~R~W|TSR Q, T, S, R c Q~T~S{RSR Q, T, S, T c (T{S)~T|QSR Q, T, S, U c Q~S~U|TSR Q, T, S, V c Q~S{T~VSR Q, T, S, W c (Q{S)~W|TSR Q, T, S, X c Q{T{S~XSR Q, T, T, S c T~(T{S)|QSR Q, T, T, V c Q~T~T|VSR Q, T, T, W c (Q{T)~T{WSR Q, T, T, X c Q~X{T~TSR Q, T, U, P c (Q{T)~U{PSR Q, T, U, R c (Q{U)~T{RSR Q, T, U, S c Q~U~S|TSR Q, T, U, U c Q{T{U~USR Q, T, U, V c Q{T~V{USR Q, T, U, W c T~W{UQSR Q, T, V, Q c (Q{V)~T|QSR Q, T, V, S c Q~S{T~VSR Q, T, V, T c Q~T~T|VSR Q, T, V, U c Q{T~V{USR Q, T, V, W c (Q{W)~T|VSR Q, T, W, P c Q{T~W{PSR Q, T, W, R c Q~W~R|TSR Q, T, W, S c (Q{S)~W|TSR Q, T, W, T c (Q{T)~T{WSR Q, T, W, U c T~W{UQSR Q, T, W, V c (Q{W)~T|VSR Q, T, W, W c (W|Q)~W|TSR Q, T, W, X c T~(X|Q){WSR Q, T, X, O c T~X|Q{OSR Q, T, X, P c T~X|Q~PSR Q, T, X, S c Q{T{X~SSR Q, T, X, T c Q~X{T~TSR Q, T, X, W c T~(X|Q){WSR Q, T, X, X c (T|QX)~XSR Q, U, P, T c (Q{T)~U{PSR Q, U, P, V c Q{U~V|PSR Q, U, P, X c (U|P)~X|QSR Q, U, Q, V c QQ{U~VSR Q, U, R, T c (Q{U)~T{RSR Q, U, R, V c Q~U~R{VSR Q, U, R, W c (U~W)|(Q{R)SR Q, U, R, X c (U{X)~R|QSR Q, U, S, T c Q~U~S|TSR Q, U, S, V c (Q{S)~U{VSR Q, U, T, P c (Q{T)~U{PSR Q, U, T, R c (Q{U)~T{RSR Q, U, T, S c Q~U~S|TSR Q, U, T, U c Q{U~U{TSR Q, U, T, V c Q{U{T~VSR Q, U, T, W c UQ{T~WSR Q, U, U, T c Q{U~U{TSR Q, U, U, X c U~U|Q{XSR Q, U, V, P c Q{U~V|PSR Q, U, V, Q c QQ{U~VSR Q, U, V, R c Q~U~R{VSR Q, U, V, S c (Q{S)~U{VSR Q, U, V, T c Q{U{V~TSR Q, U, V, W c Q{U~W|VSR Q, U, V, X c (U|Q)~X{VSR Q, U, W, R c (U~W)|(Q{R)SR Q, U, W, T c UQ{W~TSR Q, U, W, V c Q{U~W|VSR Q, U, X, P c U~(X|Q){PSR Q, U, X, R c (U{X)~R|QSR Q, U, X, U c U~U|Q{XSR Q, U, X, V c (U|Q)~X{VSR Q, U, X, X c (U~X)|(Q{X)SR Q, V, P, R c Q~V~R{PSR Q, V, P, S c (Q{S)~V{PSR Q, V, P, U c Q{V~U|PSR Q, V, P, W c V~(W|Q){PSR Q, V, Q, T c (Q{V)~T|QSR Q, V, Q, U c QQ{V~USR Q, V, Q, X c (Q{Q)~X{VSR Q, V, R, P c Q~V~R{PSR Q, V, R, U c Q~R~U{VSR Q, V, R, V c V~V|Q~RSR Q, V, R, W c (Q{R)~V{WSR Q, V, S, P c (Q{S)~V{PSR Q, V, S, T c Q~S{V~TSR Q, V, S, U c (Q{S)~U{VSR Q, V, S, V c (Q{V)~S{VSR Q, V, T, Q c (Q{V)~T|QSR Q, V, T, S c Q~S{V~TSR Q, V, T, T c Q~T~T|VSR Q, V, T, U c Q{V~T{USR Q, V, T, W c (Q{W)~T|VSR Q, V, U, P c Q{V~U|PSR Q, V, U, Q c QQ{V~USR Q, V, U, R c Q~U~R{VSR Q, V, U, S c (Q{S)~U{VSR Q, V, U, T c Q{V~T{USR Q, V, U, W c Q{U~W|VSR Q, V, U, X c V{(U|Q)~XSR Q, V, V, R c V~V|Q~RSR Q, V, V, S c (Q{V)~S{VSR Q, V, V, W c Q{V~V|WSR Q, V, W, P c V~(W|Q){PSR Q, V, W, R c (Q{R)~V{WSR Q, V, W, T c (Q{W)~T|VSR Q, V, W, U c Q{W~U|VSR Q, V, W, V c Q{V~V|WSR Q, V, W, X c V{WQ~XSR Q, V, X, Q c Q~X~Q{VSR Q, V, X, U c V~(X|Q)|USR Q, V, X, W c V{XQ~WSR Q, V, X, X c Q~(X{X){VSR Q, W, P, T c Q{W~T{PSR Q, W, P, V c (W|Q)~V{PSR Q, W, R, R c (Q{R)~W{RSR Q, W, R, S c (Q{W)~S{RSR Q, W, R, T c Q~W~R|TSR Q, W, R, U c (W~U)|(Q{R)SR Q, W, R, V c (Q{R)~V{WSR Q, W, R, X c Q~W{R~XSR Q, W, S, R c (Q{W)~S{RSR Q, W, S, T c (Q{S)~W|TSR Q, W, S, X c Q{W~S{XSR Q, W, T, P c Q{W~T{PSR Q, W, T, R c Q~W~R|TSR Q, W, T, S c (Q{S)~W|TSR Q, W, T, T c (Q{T)~T{WSR Q, W, T, U c W~T{UQSR Q, W, T, V c (Q{W)~T|VSR Q, W, T, W c (W|Q)~W|TSR Q, W, T, X c W{T~(X|Q)SR Q, W, U, R c (W~U)|(Q{R)SR Q, W, U, T c W~T{UQSR Q, W, U, V c Q{W~U|VSR Q, W, V, P c (W|Q)~V{PSR Q, W, V, R c (Q{R)~V{WSR Q, W, V, T c (Q{W)~T|VSR Q, W, V, U c Q{W~U|VSR Q, W, V, V c Q{V~V|WSR Q, W, V, X c WQ~X{VSR Q, W, W, T c (W|Q)~W|TSR Q, W, X, R c Q~W{X~RSR Q, W, X, S c Q{W~S{XSR Q, W, X, T c W{(X|Q)~TSR Q, W, X, V c WQ~X{VSR Q, W, X, X c Q~(W{X){XSR Q, X, O, T c (X{O)~T|QSR Q, X, P, S c (Q{X)~S|PSR Q, X, P, T c X~P~T|QSR Q, X, P, U c (X|Q)~U{PSR Q, X, Q, R c (Q{R)~X|QSR Q, X, Q, V c Q~X~Q{VSR Q, X, R, Q c (Q{R)~X|QSR Q, X, R, U c (X{U)~R|QSR Q, X, R, W c Q~W{X~RSR Q, X, S, P c (Q{X)~S|PSR Q, X, S, T c Q{X~S{TSR Q, X, S, W c Q{X{S~WSR Q, X, S, X c X|Q{S~XSR Q, X, T, O c X~T|Q{OSR Q, X, T, P c X~T|Q~PSR Q, X, T, S c Q{X~T|SSR Q, X, T, T c Q~X{T~TSR Q, X, T, W c (X|Q)~T{WSR Q, X, T, X c X~(T|QX)SR Q, X, U, P c (X|Q)~U{PSR Q, X, U, R c (X{U)~R|QSR Q, X, U, U c X|Q{U~USR Q, X, U, V c (X|Q)~V|USR Q, X, U, X c (X~U)|(Q{X)SR Q, X, V, Q c Q~X~Q{VSR Q, X, V, U c (X|Q)~V|USR Q, X, V, W c XQ~W{VSR Q, X, V, X c Q~(X{X){VSR Q, X, W, R c Q~W{X~RSR Q, X, W, S c Q{X{W~SSR Q, X, W, T c (X|Q)~T{WSR Q, X, W, V c XQ~W{VSR Q, X, W, X c Q~(X{W){XSR Q, X, X, S c X|Q{X~SSR Q, X, X, T c (X~X{T)QSR Q, X, X, U c (X~U)|(Q{X)SR Q, X, X, V c Q~(X{X){VSR Q, X, X, W c Q~(X{W){XSR R, O, T, W c R{O{T~WSR R, O, W, T c R{O{W~TSR R, P, Q, V c R~Q~V{PSR R, P, R, V c (R{R)~V{PSR R, P, S, U c (R{S)~U{PSR R, P, S, W c R{(P{S)~WSR R, P, S, X c R{(P{X)~SSR R, P, T, V c R{(P{V)~TSR R, P, T, W c R{P~T~WSR R, P, T, X c R{T~(X|P)SR R, P, U, S c (R{S)~U{PSR R, P, U, W c R{(U|P)~WSR R, P, V, Q c R~V~Q{PSR R, P, V, R c (R{R)~V{PSR R, P, V, T c R{(P{V)~TSR R, P, V, V c R~(V{V){PSR R, P, V, X c (R{P)~X{VSR R, P, W, S c R{(P{S)~WSR R, P, W, T c R{P~W~TSR R, P, W, U c R{W~(U|P)SR R, P, X, S c R{(P{X)~SSR R, P, X, T c R{(X|P)~TSR R, P, X, V c (R{P)~X{VSR R, Q, P, V c R~Q~V{PSR R, Q, Q, X c (R{Q)~X|QSR R, Q, R, T c R~R~T|QSR R, Q, R, W c R{(Q{R)~WSR R, Q, S, T c R{Q~S~TSR R, Q, S, W c R{(Q{W)~SSR R, Q, T, R c R~T~R|QSR R, Q, T, S c R{Q~T~SSR R, Q, T, U c R{(Q{U)~TSR R, Q, T, W c R~Q~W|TSR R, Q, U, T c R{(Q{U)~TSR R, Q, U, V c R|Q{U~VSR R, Q, U, W c (U~W)|(R{Q)SR R, Q, U, X c R~(U{X)|QSR R, Q, V, P c R~Q~V{PSR R, Q, V, U c R|Q{V~USR R, Q, V, V c V~V|R~QSR R, Q, V, W c (R{Q)~V{WSR R, Q, W, R c (R{Q)~W{RSR R, Q, W, S c R{(Q{W)~SSR R, Q, W, T c R~Q~W|TSR R, Q, W, U c (W~U)|(R{Q)SR R, Q, W, V c (R{Q)~V{WSR R, Q, W, X c R~X{Q~WSR R, Q, X, Q c (R{Q)~X|QSR R, Q, X, U c R~(X{U)|QSR R, Q, X, W c R~X{Q~WSR R, R, P, V c (R{R)~V{PSR R, R, Q, T c R~R~T|QSR R, R, Q, W c R{(R{Q)~WSR R, R, S, V c R~R~S{VSR R, R, T, Q c R~R~T|QSR R, R, T, T c R{(R{T)~TSR R, R, T, W c (R{R)~W|TSR R, R, U, V c (R{R)~U{VSR R, R, V, P c (R{R)~V{PSR R, R, V, S c R{(R{V)~SSR R, R, V, U c RR{V~USR R, R, V, V c (V~V)|(R{R)SR R, R, V, X c R~(R{X){VSR R, R, W, Q c R{(R{Q)~WSR R, R, W, T c (R{R)~W|TSR R, R, W, W c R{(W|R)~WSR R, R, X, V c R~(R{X){VSR R, S, P, U c (R{S)~U{PSR R, S, P, W c R{(S{P)~WSR R, S, P, X c R{S~(P{X)SR R, S, Q, T c R{S~Q~TSR R, S, Q, W c R{S~(Q{W)SR R, S, R, V c R{S~(R{V)SR R, S, S, T c R{(S{S)~TSR R, S, S, U c R{S~(S{U)SR R, S, S, X c R{S{S~XSR R, S, T, Q c R{S~T~QSR R, S, T, S c R{(S{S)~TSR R, S, T, T c R{S~(T{T)SR R, S, T, V c R~T{S~VSR R, S, T, W c (R{S)~T{WSR R, S, T, X c (R{X)~S|TSR R, S, U, P c (R{S)~U{PSR R, S, U, S c R{(S{U)~SSR R, S, U, U c R{S{U~USR R, S, U, V c (R{S)~V|USR R, S, V, R c R{S~(V{R)SR R, S, V, T c R~T{S~VSR R, S, V, U c (R{S)~V|USR R, S, V, W c R~(S{W){VSR R, S, W, P c R{(S{P)~WSR R, S, W, Q c R{S~(W{Q)SR R, S, W, T c (R{S)~T{WSR R, S, W, V c R~(S{W){VSR R, S, W, W c R{S~W{WSR R, S, W, X c R{W~(X|S)SR R, S, X, P c R{S~(X{P)SR R, S, X, S c R{S{X~SSR R, S, X, T c (R{X)~S|TSR R, S, X, W c R{(X|S)~WSR R, T, O, W c R{(T{O)~WSR R, T, P, V c R{T~(P{V)SR R, T, P, W c R{T~P~WSR R, T, P, X c R{T~(X|P)SR R, T, Q, R c R~T~R|QSR R, T, Q, S c R{T~Q~SSR R, T, Q, U c R{T~(Q{U)SR R, T, Q, W c R~Q~W|TSR R, T, R, Q c R~T~R|QSR R, T, R, T c R{(T{R)~TSR R, T, R, W c (R{R)~W|TSR R, T, S, Q c R{T~S~QSR R, T, S, S c R{T~(S{S)SR R, T, S, T c R{(T{T)~SSR R, T, S, V c R~T{S~VSR R, T, S, W c R~(T{W){SSR R, T, S, X c (R{X)~S|TSR R, T, T, R c (R{T)~T{RSR R, T, T, S c R{(T{T)~SSR R, T, T, U c (R{T)~U|TSR R, T, T, V c R{T{T~VSR R, T, T, W c (RT{W)~TSR R, T, T, X c R{T~X|TSR R, T, U, Q c R{T~(U{Q)SR R, T, U, T c (R{T)~U|TSR R, T, U, W c T~W|R{USR R, T, U, X c T~X|URSR R, T, V, P c R{T~(V{P)SR R, T, V, S c R~T{V~SSR R, T, V, T c R{T{V~TSR R, T, V, V c R~(T{V){VSR R, T, V, X c R~(V{X)|TSR R, T, W, O c R{T~W{OSR R, T, W, P c R{T~W~PSR R, T, W, Q c R~W~Q|TSR R, T, W, R c (R{R)~W|TSR R, T, W, S c R~(T{W){SSR R, T, W, T c (RT{W)~TSR R, T, W, U c T~W|R{USR R, T, W, W c (RW{T)~WSR R, T, W, X c T~W{XRSR R, T, X, P c R{T~(X|P)SR R, T, X, S c (R{X)~S|TSR R, T, X, T c R{T~X|TSR R, T, X, U c T~X|URSR R, T, X, V c R~(X{V)|TSR R, T, X, W c T~W{XRSR R, U, P, S c (R{S)~U{PSR R, U, P, W c R{(U|P)~WSR R, U, Q, T c R{(U{Q)~TSR R, U, Q, V c R~U~Q{VSR R, U, Q, W c (U~W)|(R{Q)SR R, U, Q, X c R~(U{X)|QSR R, U, R, V c (R{R)~U{VSR R, U, S, P c (R{S)~U{PSR R, U, S, S c R{(U{S)~SSR R, U, S, U c R{U~U{SSR R, U, S, V c (R{U)~S{VSR R, U, T, Q c (R{U)~T|QSR R, U, T, T c R~U{T~TSR R, U, T, W c U|R{T~WSR R, U, T, X c T~X|URSR R, U, U, S c R{U~U{SSR R, U, U, V c R~(U{U){VSR R, U, V, Q c R{U~V|QSR R, U, V, R c (R{R)~U{VSR R, U, V, S c R~(U{V){SSR R, U, V, U c R~(U{U){VSR R, U, V, X c U~(X|R){VSR R, U, W, P c R~(U{W){PSR R, U, W, Q c (U~W)|(R{Q)SR R, U, W, T c U|R{W~TSR R, U, W, W c R{U~W|WSR R, U, W, X c (U~X)|(R{W)SR R, U, X, Q c R~(U{X)|QSR R, U, X, T c X~T|URSR R, U, X, V c U~(X|R){VSR R, U, X, W c (U~X)|(R{W)SR R, V, P, Q c R~V~Q{PSR R, V, P, R c (R{R)~V{PSR R, V, P, T c R{(V{P)~TSR R, V, P, V c R~(V{V){PSR R, V, P, X c (R{P)~X{VSR R, V, Q, P c R~V~Q{PSR R, V, Q, U c R{V~U|QSR R, V, Q, V c V~V|R~QSR R, V, Q, W c R{(V|Q)~WSR R, V, R, P c (R{R)~V{PSR R, V, R, S c R{(V{R)~SSR R, V, R, U c RR{V~USR R, V, R, V c (V~V)|(R{R)SR R, V, R, X c R~(R{X){VSR R, V, S, R c (R{V)~S{RSR R, V, S, T c R~T{V~SSR R, V, S, U c R~(V{U){SSR R, V, S, W c R~(S{W){VSR R, V, T, P c R{(V{P)~TSR R, V, T, S c R~T{V~SSR R, V, T, T c R{V~T{TSR R, V, T, V c (R{V)~T|VSR R, V, T, X c R~(V{X)|TSR R, V, U, Q c R{V~U|QSR R, V, U, R c RR{V~USR R, V, U, S c R~(V{U){SSR R, V, U, U c R~(U{U){VSR R, V, U, X c V{U~(X|R)SR R, V, V, P c R~(V{V){PSR R, V, V, Q c V~V|R~QSR R, V, V, R c (V~V)|(R{R)SR R, V, V, T c (R{V)~T|VSR R, V, V, X c R{V~V|XSR R, V, W, Q c R~(V{W)|QSR R, V, W, S c R~(W{S){VSR R, V, W, W c V~(W|R){WSR R, V, X, P c (R{P)~X{VSR R, V, X, R c (R{X)~R{VSR R, V, X, T c R~(V{X)|TSR R, V, X, U c V{(X|R)~USR R, V, X, V c R{V~V|XSR R, V, X, X c R~X{V{XSR R, W, O, T c R{(W{O)~TSR R, W, P, S c R{W~(P{S)SR R, W, P, T c R{W~P~TSR R, W, P, U c R{W~(U|P)SR R, W, Q, R c R{W~(Q{R)SR R, W, Q, S c R{(W{Q)~SSR R, W, Q, T c R~W~Q|TSR R, W, Q, U c (W~U)|(R{Q)SR R, W, Q, V c R{W~(V|Q)SR R, W, Q, X c R~X{W~QSR R, W, R, Q c R{W~(R{Q)SR R, W, R, T c (R{R)~W|TSR R, W, R, W c R{(W|R)~WSR R, W, S, P c R{W~(S{P)SR R, W, S, Q c R{(W{Q)~SSR R, W, S, T c R~(W{T){SSR R, W, S, V c R~(W{S){VSR R, W, S, W c R{W{S~WSR R, W, S, X c R{W~(X|S)SR R, W, T, O c R{W~T{OSR R, W, T, P c R{W~T~PSR R, W, T, Q c R~W~Q|TSR R, W, T, R c (R{R)~W|TSR R, W, T, S c R~(W{T){SSR R, W, T, T c (RT{W)~TSR R, W, T, U c W~T|R{USR R, W, T, W c (RW{T)~WSR R, W, T, X c W~T{XRSR R, W, U, P c R{W~(U|P)SR R, W, U, Q c (W~U)|(R{Q)SR R, W, U, T c W~T|R{USR R, W, U, W c R{W~U|WSR R, W, U, X c (U~X)|(R{W)SR R, W, V, Q c R{W~(V|Q)SR R, W, V, S c R~(W{S){VSR R, W, V, W c (W|R)~V{WSR R, W, W, R c R{W~(W|R)SR R, W, W, S c R{W{W~SSR R, W, W, T c R~(W{W)|TSR R, W, W, U c R{W~U|WSR R, W, W, V c (W|R)~V{WSR R, W, W, X c R~(W{X)|WSR R, W, X, Q c R~X{W~QSR R, W, X, S c R{W~(X|S)SR R, W, X, T c W~(X|R)|TSR R, W, X, U c (X~U)|(R{W)SR R, W, X, W c R~(W{X)|WSR R, X, P, S c R{(X{P)~SSR R, X, P, T c R{(X|P)~TSR R, X, P, V c (R{P)~X{VSR R, X, Q, Q c (R{Q)~X|QSR R, X, Q, U c R~(X{U)|QSR R, X, Q, W c R~X{Q~WSR R, X, R, V c (R{X)~R{VSR R, X, S, P c R{(X{P)~SSR R, X, S, S c R{X~S{SSR R, X, S, T c (R{X)~S|TSR R, X, S, W c R{(X|S)~WSR R, X, T, P c R~(X{T){PSR R, X, T, S c (R{X)~S|TSR R, X, T, T c R{X~T|TSR R, X, T, U c X~T|URSR R, X, T, V c R~(X{V)|TSR R, X, T, W c XR{T~WSR R, X, U, Q c R~(X{U)|QSR R, X, U, T c X~T|URSR R, X, U, V c (X|R)~U{VSR R, X, U, W c (X~U)|(R{W)SR R, X, V, P c (R{P)~X{VSR R, X, V, R c (R{X)~R{VSR R, X, V, T c R~(X{V)|TSR R, X, V, U c (X|R)~U{VSR R, X, V, V c R{V~V|XSR R, X, V, X c R~X{V{XSR R, X, W, Q c R~X{W~QSR R, X, W, S c R{(X|S)~WSR R, X, W, T c (X|R)~W|TSR R, X, W, U c (X~U)|(R{W)SR R, X, W, W c R~X{W{WSR R, X, X, V c R~X{X{VSR S, O, V, X c (S{O)~X{VSR S, O, X, V c (S{O)~X{VSR S, P, Q, V c (S{Q)~V{PSR S, P, Q, X c (S{P)~X|QSR S, P, R, U c (S{R)~U{PSR S, P, R, W c (S{P)~W{RSR S, P, R, X c S~(P{X){RSR S, P, S, V c S~(S{V)|PSR S, P, T, U c S~(T{U)|PSR S, P, T, W c S|P{T~WSR S, P, U, R c (S{R)~U{PSR S, P, U, T c S~(U{T)|PSR S, P, U, W c (U~W)|(S{P)SR S, P, U, X c S~X{P{USR S, P, V, Q c (S{Q)~V{PSR S, P, V, S c (S{V)~S|PSR S, P, V, W c (S{P)~V{WSR S, P, V, X c S~P~X{VSR S, P, W, R c (S{P)~W{RSR S, P, W, T c S|P{W~TSR S, P, W, U c (W~U)|(S{P)SR S, P, W, V c S~(P{W){VSR S, P, W, X c S~X|P{WSR S, P, X, Q c (S{P)~X|QSR S, P, X, R c S~(P{X){RSR S, P, X, U c S~X{P{USR S, P, X, V c S~P~X{VSR S, P, X, W c S~X|P{WSR S, Q, P, V c (S{Q)~V{PSR S, Q, P, X c S~(Q{X)|PSR S, Q, R, T c S~Q~T{RSR S, Q, R, W c S~(Q{W){RSR S, Q, T, R c S~Q~T{RSR S, Q, T, T c (S{T)~T|QSR S, Q, T, U c S~Q~U|TSR S, Q, T, V c S~Q{T~VSR S, Q, T, W c (S{Q)~W|TSR S, Q, T, X c S~X{Q{TSR S, Q, U, T c S~Q~U|TSR S, Q, U, V c (S{Q)~U{VSR S, Q, V, P c (S{Q)~V{PSR S, Q, V, T c S~Q{V~TSR S, Q, V, U c (S{Q)~U{VSR S, Q, V, V c S~(Q{V){VSR S, Q, W, R c S~(Q{W){RSR S, Q, W, T c (S{Q)~W|TSR S, Q, W, X c S~W{Q{XSR S, Q, X, P c S~(Q{X)|PSR S, Q, X, T c S~X{Q{TSR S, Q, X, W c S~W{Q{XSR S, Q, X, X c S~X|Q{XSR S, R, P, U c (S{R)~U{PSR S, R, P, W c S~(R{W)|PSR S, R, P, X c S~(P{X){RSR S, R, Q, T c S~Q~T{RSR S, R, Q, W c S~(Q{W){RSR S, R, R, V c S~R~R{VSR S, R, S, T c S~R~S|TSR S, R, S, U c S~(S{U){RSR S, R, S, X c S{R{S~XSR S, R, T, Q c S~T~Q{RSR S, R, T, S c S~R~S|TSR S, R, T, T c S~(T{T){RSR S, R, T, V c S~V{R~TSR S, R, T, W c (S{R)~T{WSR S, R, T, X c S~(R{X)|TSR S, R, U, P c (S{R)~U{PSR S, R, U, S c (S{U)~S{RSR S, R, U, U c S{R{U~USR S, R, U, V c S{R~(U{V)SR S, R, V, R c S~(R{V){RSR S, R, V, T c S~V{R~TSR S, R, V, U c S{R~(V{U)SR S, R, V, W c (S{W)~R{VSR S, R, W, P c S~(R{W)|PSR S, R, W, Q c S~(W{Q){RSR S, R, W, T c S{R~(W{T)SR S, R, W, V c (S{W)~R{VSR S, R, W, W c S~W{R{WSR S, R, W, X c R{W~(X|S)SR S, R, X, P c S~(X{P){RSR S, R, X, S c S{R{X~SSR S, R, X, T c S~(R{X)|TSR S, R, X, W c R{(X|S)~WSR S, S, P, V c S~(S{V)|PSR S, S, R, T c S~S~R|TSR S, S, R, U c S~(S{U){RSR S, S, R, X c S~S{R~XSR S, S, T, R c (S{S)~T{RSR S, S, T, U c (S{S)~U|TSR S, S, T, V c S{S{T~VSR S, S, T, W c S~(S{W)|TSR S, S, U, R c S~(S{U){RSR S, S, U, T c (S{S)~U|TSR S, S, U, V c SS{U~VSR S, S, V, P c S~(S{V)|PSR S, S, V, T c S{S{V~TSR S, S, V, U c SS{V~USR S, S, V, W c S{S~W{VSR S, S, V, X c S~(VS{X)SR S, S, W, T c S~(S{W)|TSR S, S, W, V c S{S~W{VSR S, S, X, R c S{(S{X)~RSR S, S, X, V c S~(X{VS)SR S, S, X, X c S~(S{X)|XSR S, T, P, U c S~(T{U)|PSR S, T, P, W c S{T~W|PSR S, T, Q, R c S~T~Q{RSR S, T, Q, T c (S{T)~T|QSR S, T, Q, U c S~Q~U|TSR S, T, Q, V c S~Q{T~VSR S, T, Q, W c (S{Q)~W|TSR S, T, Q, X c S~X{T{QSR S, T, R, Q c S~T~Q{RSR S, T, R, S c S~R~S|TSR S, T, R, T c S~(T{T){RSR S, T, R, V c S~V{T~RSR S, T, R, W c S{(T{W)~RSR S, T, R, X c S~(R{X)|TSR S, T, S, R c (S{S)~T{RSR S, T, S, U c (S{S)~U|TSR S, T, S, V c (S{T)~S{VSR S, T, S, W c S~(S{W)|TSR S, T, T, Q c (S{T)~T|QSR S, T, T, R c S~(T{T){RSR S, T, T, V c S~(T{V)|TSR S, T, U, P c S~(T{U)|PSR S, T, U, Q c S~U~Q|TSR S, T, U, S c (S{S)~U|TSR S, T, U, U c S~(U{U)|TSR S, T, U, V c (S{U)~T|VSR S, T, U, W c S~W{T{USR S, T, U, X c S{T~U{XSR S, T, V, Q c S~Q{T~VSR S, T, V, R c S~V{T~RSR S, T, V, S c S{T~V{SSR S, T, V, T c S~(T{V)|TSR S, T, V, U c (S{U)~T|VSR S, T, V, W c T~W|S{VSR S, T, V, X c V~X|S~TSR S, T, W, P c S{T~W|PSR S, T, W, Q c (S{Q)~W|TSR S, T, W, R c S{(T{W)~RSR S, T, W, S c (S{W)~S|TSR S, T, W, U c S~W{T{USR S, T, W, V c T~W|S{VSR S, T, W, X c S~(T{W)|XSR S, T, X, Q c S~X{T{QSR S, T, X, R c S~(X{R)|TSR S, T, X, U c S{T~X|USR S, T, X, V c X~V|S~TSR S, T, X, W c S~(T{W)|XSR S, U, P, R c (S{R)~U{PSR S, U, P, T c S~(U{T)|PSR S, U, P, W c (U~W)|(S{P)SR S, U, P, X c S~X{U{PSR S, U, Q, T c S~U~Q|TSR S, U, Q, V c (S{Q)~U{VSR S, U, R, P c (S{R)~U{PSR S, U, R, S c (S{U)~S{RSR S, U, R, U c S{U~U{RSR S, U, R, V c S~(U{R){VSR S, U, S, R c (S{U)~S{RSR S, U, S, T c (S{S)~U|TSR S, U, S, V c SS{U~VSR S, U, T, P c S~(U{T)|PSR S, U, T, Q c S~U~Q|TSR S, U, T, S c (S{S)~U|TSR S, U, T, U c S~(U{U)|TSR S, U, T, V c (S{U)~T|VSR S, U, T, W c S~W{U{TSR S, U, T, X c S{U~T{XSR S, U, U, R c S{U~U{RSR S, U, U, T c S~(U{U)|TSR S, U, V, Q c (S{Q)~U{VSR S, U, V, R c S{(U{V)~RSR S, U, V, S c SS{U~VSR S, U, V, T c (S{U)~T|VSR S, U, V, X c S~(U{V)|XSR S, U, W, P c (U~W)|(S{P)SR S, U, W, T c S~W{U{TSR S, U, W, X c S{U~W|XSR S, U, X, P c S~X{U{PSR S, U, X, T c S{U~T{XSR S, U, X, V c S~(U{V)|XSR S, U, X, W c S{U~W|XSR S, V, O, X c (S{O)~X{VSR S, V, P, Q c (S{Q)~V{PSR S, V, P, S c (S{V)~S|PSR S, V, P, W c (S{P)~V{WSR S, V, P, X c S~P~X{VSR S, V, Q, P c (S{Q)~V{PSR S, V, Q, T c S~Q{V~TSR S, V, Q, U c (S{Q)~U{VSR S, V, Q, V c S~(V{Q){VSR S, V, R, R c S~(V{R){RSR S, V, R, T c S~V{R~TSR S, V, R, U c S{(V{U)~RSR S, V, R, W c (S{W)~R{VSR S, V, S, P c (S{V)~S|PSR S, V, S, T c S{V~T{SSR S, V, S, U c SS{V~USR S, V, S, W c S{V{S~WSR S, V, S, X c S~(VS{X)SR S, V, T, Q c S~Q{V~TSR S, V, T, R c S~V{T~RSR S, V, T, S c S{V~T{SSR S, V, T, T c S~(V{T)|TSR S, V, T, U c (S{U)~T|VSR S, V, T, W c V|S{T~WSR S, V, T, X c V~X|S~TSR S, V, U, Q c (S{Q)~U{VSR S, V, U, R c S{(V{U)~RSR S, V, U, S c SS{V~USR S, V, U, T c (S{U)~T|VSR S, V, U, X c S~V{U{XSR S, V, V, Q c S~(V{Q){VSR S, V, V, W c S~V{V{WSR S, V, W, P c S~(W{P){VSR S, V, W, R c (S{W)~R{VSR S, V, W, S c S{V{W~SSR S, V, W, T c V|S{W~TSR S, V, W, V c S~V{W{VSR S, V, W, X c V{(W|S)~XSR S, V, X, O c S~X{V{OSR S, V, X, P c S~X{V~PSR S, V, X, S c S~(VS{X)SR S, V, X, T c V~X|S~TSR S, V, X, U c S~V{X{USR S, V, X, W c V~(X|S){WSR S, V, X, X c (S{VX)~XSR S, W, P, R c S~(W{R)|PSR S, W, P, T c S{W~T|PSR S, W, P, U c (W~U)|(S{P)SR S, W, P, V c S~(W{P){VSR S, W, P, X c S~X{W|PSR S, W, Q, R c S~(W{Q){RSR S, W, Q, T c (S{Q)~W|TSR S, W, Q, X c S~W{Q{XSR S, W, R, P c S~(W{R)|PSR S, W, R, Q c S~(W{Q){RSR S, W, R, T c S{(W{T)~RSR S, W, R, V c (S{W)~R{VSR S, W, R, W c S~W{R{WSR S, W, R, X c W~(X|S){RSR S, W, S, T c (S{W)~S|TSR S, W, S, V c S{W~S{VSR S, W, T, P c S{W~T|PSR S, W, T, Q c (S{Q)~W|TSR S, W, T, R c S{(W{T)~RSR S, W, T, S c (S{W)~S|TSR S, W, T, U c S~W{T{USR S, W, T, V c W~T|S{VSR S, W, T, X c S~(W{T)|XSR S, W, U, P c (W~U)|(S{P)SR S, W, U, T c S~W{U{TSR S, W, U, X c S{W~U|XSR S, W, V, P c S~(W{P){VSR S, W, V, R c (S{W)~R{VSR S, W, V, S c S~W{V{SSR S, W, V, T c W~T|S{VSR S, W, V, V c S~V{W{VSR S, W, V, X c (W|S)~X{VSR S, W, W, R c S~W{W{RSR S, W, X, P c S~X{W|PSR S, W, X, Q c S~W{X{QSR S, W, X, R c W~(X|S){RSR S, W, X, T c S~(W{T)|XSR S, W, X, U c S{W~U|XSR S, W, X, V c (W|S)~X{VSR S, X, O, V c S~X{O{VSR S, X, P, Q c S~(X{Q)|PSR S, X, P, R c S~(X{P){RSR S, X, P, U c S~X{P{USR S, X, P, V c S~X{P~VSR S, X, P, W c S~X|P{WSR S, X, Q, P c S~(X{Q)|PSR S, X, Q, T c S~X{Q{TSR S, X, Q, W c S~W{X{QSR S, X, Q, X c S~X|Q{XSR S, X, R, P c S~(X{P){RSR S, X, R, S c (S{X)~R{SSR S, X, R, T c S~(X{R)|TSR S, X, R, W c (X|S)~W{RSR S, X, S, R c S{(X{S)~RSR S, X, S, V c S~(X{VS)SR S, X, S, X c (S{X)~S|XSR S, X, T, Q c S~X{T{QSR S, X, T, R c S~(X{R)|TSR S, X, T, U c S{X{T~USR S, X, T, V c X~V|S~TSR S, X, T, W c S~(T{W)|XSR S, X, U, P c S~X{U{PSR S, X, U, T c S{X{U~TSR S, X, U, V c S~(U{V)|XSR S, X, U, W c S{U~W|XSR S, X, V, O c S~X{V{OSR S, X, V, P c S~X{V~PSR S, X, V, S c S~(X{VS)SR S, X, V, T c X~V|S~TSR S, X, V, U c S~V{X{USR S, X, V, W c (X|S)~V{WSR S, X, V, X c (S{VX)~XSR S, X, W, P c S~X{W|PSR S, X, W, Q c S~W{X{QSR S, X, W, R c (X|S)~W{RSR S, X, W, T c S~(W{T)|XSR S, X, W, U c S{W~U|XSR S, X, W, V c (X|S)~V{WSR S, X, X, Q c S~X{X|QSR S, X, X, S c (S{X)~S|XSR S, X, X, V c (S{VX)~XSR T, O, Q, X c (T{O)~X|QSR T, O, R, W c (T{O)~W{RSR T, O, U, W c O{U~W|TSR T, O, V, W c (T{O)~V{WSR T, O, W, R c (T{O)~W{RSR T, O, W, U c O{W~U|TSR T, O, W, V c (T{O)~V{WSR T, O, X, Q c (T{O)~X|QSR T, P, P, V c (T{P)~V{PSR T, P, P, X c (T~X)|(P{P)SR T, P, Q, U c (T{Q)~U{PSR T, P, Q, W c T~(P{W)|QSR T, P, Q, X c T~P~X|QSR T, P, R, V c T~(P{V){RSR T, P, R, W c T~P~W{RSR T, P, R, X c T~X{P|RSR T, P, S, U c (T{U)~S|PSR T, P, S, W c T~W|P{SSR T, P, T, W c (T{P)~W|TSR T, P, U, Q c (T{Q)~U{PSR T, P, U, S c (T{U)~S|PSR T, P, U, V c (T{P)~U{VSR T, P, U, W c T~(P{U){WSR T, P, U, X c U~(X|P)|TSR T, P, V, P c (T{P)~V{PSR T, P, V, R c T~(P{V){RSR T, P, V, U c (T{P)~U{VSR T, P, V, V c T~V{P{VSR T, P, V, W c T~P~V{WSR T, P, V, X c (T|P)~X{VSR T, P, W, Q c T~(P{W)|QSR T, P, W, R c T~P~W{RSR T, P, W, S c T~W|P{SSR T, P, W, T c (T{P)~W|TSR T, P, W, U c T~(P{U){WSR T, P, W, V c T~P~V{WSR T, P, W, W c T~(W|P){WSR T, P, X, P c (T~X)|(P{P)SR T, P, X, Q c T~P~X|QSR T, P, X, R c T~X{P|RSR T, P, X, U c (X|P)~U|TSR T, P, X, V c (T|P)~X{VSR T, Q, O, X c (T{O)~X|QSR T, Q, P, U c (T{Q)~U{PSR T, Q, P, W c T~(P{W)|QSR T, Q, P, X c T~P~X|QSR T, Q, Q, V c T~(Q{V)|QSR T, Q, R, R c T~R~R|QSR T, Q, R, S c T~Q~S{RSR T, Q, R, U c T~(Q{U){RSR T, Q, R, W c Q~R~W|TSR T, Q, S, R c T~Q~S{RSR T, Q, S, T c (T{S)~T|QSR T, Q, S, U c Q~S~U|TSR T, Q, S, V c T~V{Q~SSR T, Q, S, W c (Q{S)~W|TSR T, Q, S, X c T{Q{S~XSR T, Q, T, S c T~(T{S)|QSR T, Q, T, V c T~Q~T|VSR T, Q, T, W c (T{Q)~T{WSR T, Q, T, X c T~T{Q~XSR T, Q, U, P c (T{Q)~U{PSR T, Q, U, R c T~(Q{U){RSR T, Q, U, S c Q~U~S|TSR T, Q, U, U c T{Q{U~USR T, Q, U, V c (T{Q)~V|USR T, Q, U, W c T~W{UQSR T, Q, V, Q c T~(Q{V)|QSR T, Q, V, S c T~V{Q~SSR T, Q, V, T c T~Q~T|VSR T, Q, V, U c (T{Q)~V|USR T, Q, V, W c T~(Q{W)|VSR T, Q, W, P c T~W{Q{PSR T, Q, W, R c Q~W~R|TSR T, Q, W, S c (Q{S)~W|TSR T, Q, W, T c T|Q{W~TSR T, Q, W, U c T~W{UQSR T, Q, W, V c T~(Q{W)|VSR T, Q, W, W c (W|Q)~W|TSR T, Q, W, X c T~(X|Q){WSR T, Q, X, O c T~X|Q{OSR T, Q, X, P c T~X|Q~PSR T, Q, X, S c T{Q{X~SSR T, Q, X, T c T~(X|QT)SR T, Q, X, W c T~(X|Q){WSR T, Q, X, X c (T|QX)~XSR T, R, O, W c (T{O)~W{RSR T, R, P, V c T~(P{V){RSR T, R, P, W c T~P~W{RSR T, R, P, X c (T{X)~R{PSR T, R, Q, R c T~R~R|QSR T, R, Q, S c T~Q~S{RSR T, R, Q, U c T~(R{U)|QSR T, R, Q, W c R~Q~W|TSR T, R, R, Q c T~R~R|QSR T, R, R, T c (T{R)~T{RSR T, R, R, W c (R{R)~W|TSR T, R, S, Q c T~S~Q{RSR T, R, S, S c T~(S{S){RSR T, R, S, T c (T{T)~S{RSR T, R, S, V c T~R{S~VSR T, R, S, W c T~(R{S){WSR T, R, S, X c (R{X)~S|TSR T, R, T, R c (T{R)~T{RSR T, R, T, S c (T{T)~S{RSR T, R, T, U c (T{R)~U|TSR T, R, T, V c T{R{T~VSR T, R, T, W c T~(RT{W)SR T, R, T, X c T~X{R|TSR T, R, U, Q c T~(R{U)|QSR T, R, U, T c (T{R)~U|TSR T, R, U, W c T~W|R{USR T, R, U, X c T~X|URSR T, R, V, P c T~(V{P){RSR T, R, V, S c T~R{V~SSR T, R, V, T c T{R{V~TSR T, R, V, V c T~(R{V)|VSR T, R, V, X c R~(V{X)|TSR T, R, W, O c T~W{R{OSR T, R, W, P c T~W{R~PSR T, R, W, Q c R~W~Q|TSR T, R, W, R c (R{R)~W|TSR T, R, W, S c T~(R{S){WSR T, R, W, T c T~(RT{W)SR T, R, W, U c T~W|R{USR T, R, W, W c (T{RW)~WSR T, R, W, X c T~W{XRSR T, R, X, P c (T{X)~R{PSR T, R, X, S c (R{X)~S|TSR T, R, X, T c T~X{R|TSR T, R, X, U c T~X|URSR T, R, X, V c R~(X{V)|TSR T, R, X, W c T~W{XRSR T, S, P, U c (T{U)~S|PSR T, S, P, W c T~W{S|PSR T, S, Q, R c T~S~Q{RSR T, S, Q, T c (T{S)~T|QSR T, S, Q, U c S~Q~U|TSR T, S, Q, V c T~V{S~QSR T, S, Q, W c (S{Q)~W|TSR T, S, Q, X c T{S~X{QSR T, S, R, Q c T~S~Q{RSR T, S, R, S c T~(S{S){RSR T, S, R, T c (T{T)~S{RSR T, S, R, V c T~R{S~VSR T, S, R, W c T~(S{R){WSR T, S, R, X c S~(R{X)|TSR T, S, S, R c T~(S{S){RSR T, S, S, U c (S{S)~U|TSR T, S, S, V c (T{S)~S{VSR T, S, S, W c S~(S{W)|TSR T, S, T, Q c (T{S)~T|QSR T, S, T, R c (T{T)~S{RSR T, S, T, V c (T{V)~S|TSR T, S, U, P c (T{U)~S|PSR T, S, U, Q c S~U~Q|TSR T, S, U, S c (S{S)~U|TSR T, S, U, U c S~(U{U)|TSR T, S, U, V c T|S{U~VSR T, S, U, W c T{S~W{USR T, S, U, X c T~U{S{XSR T, S, V, Q c T~V{S~QSR T, S, V, R c T~R{S~VSR T, S, V, S c (T{S)~S{VSR T, S, V, T c (T{V)~S|TSR T, S, V, U c T|S{V~USR T, S, V, W c T~W|S{VSR T, S, V, X c V~X|T~SSR T, S, W, P c T~W{S|PSR T, S, W, Q c (S{Q)~W|TSR T, S, W, R c T~(S{R){WSR T, S, W, S c (S{W)~S|TSR T, S, W, U c T{S~W{USR T, S, W, V c T~W|S{VSR T, S, W, X c (T{W)~S|XSR T, S, X, Q c T{S~X{QSR T, S, X, R c S~(X{R)|TSR T, S, X, U c T~X{S|USR T, S, X, V c X~V|T~SSR T, S, X, W c T~X|WSSR T, T, P, W c (T{P)~W|TSR T, T, Q, S c T~(T{S)|QSR T, T, Q, V c T~T~Q|VSR T, T, Q, W c T~(T{Q){WSR T, T, Q, X c T~T{Q~XSR T, T, R, R c T~(T{R){RSR T, T, R, S c (T{T)~S{RSR T, T, R, U c T~T{R~USR T, T, R, V c T{T~V{RSR T, T, R, W c T~(RT{W)SR T, T, R, X c T~X|T{RSR T, T, S, Q c T~(T{S)|QSR T, T, S, R c (T{T)~S{RSR T, T, S, V c (T{V)~S|TSR T, T, T, V c (T{T)~T|VSR T, T, U, R c T~T{U~RSR T, T, U, V c TT{U~VSR T, T, U, W c T{T~U{WSR T, T, V, Q c T~T~Q|VSR T, T, V, R c T{T~V{RSR T, T, V, S c (T{V)~S|TSR T, T, V, T c (T{T)~T|VSR T, T, V, U c TT{V~USR T, T, V, W c T~(V{WT)SR T, T, V, X c T{T~X|VSR T, T, W, P c (T{P)~W|TSR T, T, W, Q c T{T~W|QSR T, T, W, R c T~(W{RT)SR T, T, W, U c T{T~U{WSR T, T, W, V c T~(WT{V)SR T, T, W, W c T~W|T{WSR T, T, X, Q c T~T{X~QSR T, T, X, R c T~X|T{RSR T, T, X, V c T{T~X|VSR T, T, X, X c T~T{X{XSR T, U, O, W c (U{O)~W|TSR T, U, P, Q c (T{Q)~U{PSR T, U, P, S c (T{U)~S|PSR T, U, P, V c (T{P)~U{VSR T, U, P, W c T~(U{P){WSR T, U, P, X c U~(X|P)|TSR T, U, Q, P c (T{Q)~U{PSR T, U, Q, R c T~(U{Q){RSR T, U, Q, S c U~Q~S|TSR T, U, Q, U c T{U~U{QSR T, U, Q, V c (T{Q)~V|USR T, U, Q, W c T~W{UQSR T, U, R, Q c T~(U{R)|QSR T, U, R, T c (T{R)~U|TSR T, U, R, W c T~W{U|RSR T, U, R, X c T~X|URSR T, U, S, P c (T{U)~S|PSR T, U, S, Q c U~S~Q|TSR T, U, S, S c U~(S{S)|TSR T, U, S, U c (U{U)~S|TSR T, U, S, V c T~(U{S)|VSR T, U, S, W c T{U{S~WSR T, U, S, X c T~U{S{XSR T, U, T, R c T~T{U~RSR T, U, T, V c TT{U~VSR T, U, T, W c T{U~T{WSR T, U, U, Q c T{U~U{QSR T, U, U, S c (U{U)~S|TSR T, U, U, V c T~U{U{VSR T, U, U, W c U~(W|TU)SR T, U, U, X c (U~X)|(T{U)SR T, U, V, P c (T{P)~U{VSR T, U, V, Q c T~V{U{QSR T, U, V, S c T{U~V|SSR T, U, V, T c TT{U~VSR T, U, V, U c T~U{V{USR T, U, W, O c U~W|T{OSR T, U, W, P c T~(U{P){WSR T, U, W, Q c T~W{UQSR T, U, W, R c T~W{U|RSR T, U, W, S c T{U{W~SSR T, U, W, T c T~U{W{TSR T, U, W, U c U~(W|TU)SR T, U, W, W c (U|TW)~WSR T, U, W, X c T~W|U{XSR T, U, X, P c U~(X|P)|TSR T, U, X, R c T~X|URSR T, U, X, S c T~U{X{SSR T, U, X, U c (U~X)|(T{U)SR T, U, X, W c T~X{U|WSR T, V, O, W c T~V{O{WSR T, V, P, P c (T{P)~V{PSR T, V, P, R c T~(V{P){RSR T, V, P, U c (T{P)~U{VSR T, V, P, V c T~V{P{VSR T, V, P, W c T~V{P~WSR T, V, P, X c T~V|P{XSR T, V, Q, Q c T~(V{Q)|QSR T, V, Q, S c T~V{Q~SSR T, V, Q, T c T~Q~T|VSR T, V, Q, U c T~V{Q{USR T, V, Q, W c T~(Q{W)|VSR T, V, R, P c T~(V{P){RSR T, V, R, S c T~R{V~SSR T, V, R, T c T~V{R{TSR T, V, R, V c (T{V)~R{VSR T, V, R, X c (V{X)~R|TSR T, V, S, Q c T~V{S~QSR T, V, S, R c T~R{V~SSR T, V, S, S c T~V{S{SSR T, V, S, T c (T{V)~S|TSR T, V, S, U c T{V~U|SSR T, V, S, W c T~W{V|SSR T, V, S, X c V~X|T~SSR T, V, T, Q c T~T~Q|VSR T, V, T, R c T{V~T{RSR T, V, T, S c (T{V)~S|TSR T, V, T, T c (T{T)~T|VSR T, V, T, U c TT{V~USR T, V, T, W c T~(V{WT)SR T, V, T, X c T{T~X|VSR T, V, U, P c (T{P)~U{VSR T, V, U, Q c T~V{U{QSR T, V, U, S c T{V~U|SSR T, V, U, T c TT{V~USR T, V, U, U c T~U{V{USR T, V, V, P c T~V{V{PSR T, V, V, R c (T{V)~R{VSR T, V, V, W c (T{WV)~VSR T, V, W, O c T~V{W{OSR T, V, W, P c T~V{W~PSR T, V, W, Q c T~(W{Q)|VSR T, V, W, S c T~W{V|SSR T, V, W, T c T~(V{WT)SR T, V, W, V c (T{WV)~VSR T, V, W, W c (V~W)|(T{W)SR T, V, X, P c T~V{X|PSR T, V, X, R c (V{X)~R|TSR T, V, X, S c V~X|T~SSR T, V, X, T c T~X|V{TSR T, V, X, X c T~X{V|XSR T, W, O, R c T~W{O{RSR T, W, O, U c (W{O)~U|TSR T, W, O, V c (T{O)~V{WSR T, W, P, Q c T~W{P{QSR T, W, P, R c T~W{P~RSR T, W, P, S c T~W|P{SSR T, W, P, T c (T{P)~W|TSR T, W, P, U c T~(P{U){WSR T, W, P, V c T~P~V{WSR T, W, P, W c T~(W|P){WSR T, W, Q, P c T~W{Q{PSR T, W, Q, R c W~Q~R|TSR T, W, Q, S c W~(Q{S)|TSR T, W, Q, T c T~W|Q{TSR T, W, Q, U c T~W{UQSR T, W, Q, V c T~(W{Q)|VSR T, W, Q, W c (W|Q)~W|TSR T, W, Q, X c T~(X|Q){WSR T, W, R, O c T~W{R{OSR T, W, R, P c T~W{R~PSR T, W, R, Q c W~R~Q|TSR T, W, R, R c W~(R{R)|TSR T, W, R, S c (T{W)~R{SSR T, W, R, T c T~(W{RT)SR T, W, R, U c T~W|R{USR T, W, R, W c (T{RW)~WSR T, W, R, X c T~W{XRSR T, W, S, P c T~W{S|PSR T, W, S, Q c W~(S{Q)|TSR T, W, S, R c (T{W)~R{SSR T, W, S, S c (W{S)~S|TSR T, W, S, U c T{W~S{USR T, W, S, V c T~W|S{VSR T, W, S, X c (T{W)~S|XSR T, W, T, P c (T{P)~W|TSR T, W, T, Q c T{W~T|QSR T, W, T, R c T~(W{RT)SR T, W, T, U c T{W{T~USR T, W, T, V c T~(WT{V)SR T, W, T, W c T~W|T{WSR T, W, U, O c W~U|T{OSR T, W, U, P c T~(U{P){WSR T, W, U, Q c T~W{UQSR T, W, U, R c T~W{U|RSR T, W, U, S c T{W~S{USR T, W, U, T c T{W{U~TSR T, W, U, U c (W|TU)~USR T, W, U, W c W~(U|TW)SR T, W, U, X c T~W|U{XSR T, W, V, O c T~V{W{OSR T, W, V, P c T~V{W~PSR T, W, V, Q c T~(W{Q)|VSR T, W, V, S c T~W{V|SSR T, W, V, T c T~(WT{V)SR T, W, V, V c (T{WV)~VSR T, W, V, W c (W~V)|(T{W)SR T, W, W, P c T~(W|P){WSR T, W, W, Q c W~(W|Q)|TSR T, W, W, R c (T{RW)~WSR T, W, W, T c T~W{W|TSR T, W, W, U c W~(U|TW)SR T, W, W, V c (W~V)|(T{W)SR T, W, X, Q c T~(X|Q){WSR T, W, X, R c T~W{XRSR T, W, X, S c (T{W)~S|XSR T, W, X, U c T~W{X|USR T, X, O, Q c T~X{O|QSR T, X, P, P c (T~X)|(P{P)SR T, X, P, Q c T~X|P~QSR T, X, P, R c T~X{P|RSR T, X, P, U c (X|P)~U|TSR T, X, P, V c T~(X{P)|VSR T, X, Q, O c T~X|Q{OSR T, X, Q, P c T~X|Q~PSR T, X, Q, S c T~X{Q|SSR T, X, Q, T c T~(X|QT)SR T, X, Q, W c T~(X|Q){WSR T, X, Q, X c (T{X~X)QSR T, X, R, P c (T{X)~R{PSR T, X, R, S c (X{R)~S|TSR T, X, R, T c T~X{R|TSR T, X, R, U c T~X|URSR T, X, R, V c (X{V)~R|TSR T, X, R, W c T~W{XRSR T, X, S, Q c T{X~S{QSR T, X, S, R c (X{R)~S|TSR T, X, S, U c T~X{S|USR T, X, S, V c X~V|T~SSR T, X, S, W c T~X|WSSR T, X, T, Q c T~(X|QT)SR T, X, T, R c T~X|T{RSR T, X, T, V c T{X~T|VSR T, X, T, X c T~T{X{XSR T, X, U, P c (X|P)~U|TSR T, X, U, R c T~X|URSR T, X, U, S c T~X|U{SSR T, X, U, U c (X~U)|(T{U)SR T, X, U, W c T~X{U|WSR T, X, V, P c T~(X{P)|VSR T, X, V, R c (X{V)~R|TSR T, X, V, S c X~V|T~SSR T, X, V, T c T~X|V{TSR T, X, V, X c T~X{V|XSR T, X, W, Q c T~(X|Q){WSR T, X, W, R c T~W{XRSR T, X, W, S c T~X|WSSR T, X, W, U c T~X|W{USR T, X, X, Q c (T{X~X)QSR T, X, X, T c T~T{X{XSR T, X, X, V c T~X|X{VSR U, O, P, V c (U{O)~V{PSR U, O, T, W c (U{O)~W|TSR U, O, U, V c (U{O)~U{VSR U, O, V, P c (U{O)~V{PSR U, O, V, U c (U{O)~U{VSR U, O, V, V c O{V~V|USR U, O, W, T c (U{O)~W|TSR U, P, O, V c (U{O)~V{PSR U, P, P, U c (U{P)~U{PSR U, P, P, V c U~P~V{PSR U, P, P, W c U~(W|P){PSR U, P, Q, T c U~(Q{T){PSR U, P, Q, V c U~V|P{QSR U, P, Q, X c (U|P)~X|QSR U, P, R, S c U~(R{S){PSR U, P, R, W c (U|P)~W{RSR U, P, S, R c U~(S{R){PSR U, P, S, T c (U{T)~S|PSR U, P, S, W c (U~W)|(P{S)SR U, P, S, X c U{P{S~XSR U, P, T, Q c U~(T{Q){PSR U, P, T, S c (U{T)~S|PSR U, P, T, V c U~(P{T){VSR U, P, T, W c (U{P)~T{WSR U, P, T, X c U~(X|P)|TSR U, P, U, P c (U{P)~U{PSR U, P, U, U c U{P{U~USR U, P, U, V c U~P~U{VSR U, P, U, W c U~U|P{WSR U, P, V, O c U~V{P{OSR U, P, V, P c U~P~V{PSR U, P, V, Q c U~V|P{QSR U, P, V, T c U~(P{V)|TSR U, P, V, U c (U{P)~V|USR U, P, V, V c (U{PV)~VSR U, P, V, W c (U|P)~V{WSR U, P, W, P c U~(W|P){PSR U, P, W, R c (U|P)~W{RSR U, P, W, S c (U~W)|(P{S)SR U, P, W, T c U~P~W|TSR U, P, W, U c U~W{P|USR U, P, W, V c (U|P)~V{WSR U, P, X, Q c (U|P)~X|QSR U, P, X, S c U{P{X~SSR U, P, X, T c U~(X|P)|TSR U, Q, P, T c U~(Q{T){PSR U, Q, P, V c U~V{Q|PSR U, Q, P, X c (U|P)~X|QSR U, Q, Q, V c U~V{QQSR U, Q, R, T c (U{Q)~T{RSR U, Q, R, V c U~Q~R{VSR U, Q, R, W c (U~W)|(Q{R)SR U, Q, R, X c (U{X)~R|QSR U, Q, S, T c U~Q~S|TSR U, Q, S, V c U~(Q{S){VSR U, Q, T, P c U~(Q{T){PSR U, Q, T, R c (U{Q)~T{RSR U, Q, T, S c U~Q~S|TSR U, Q, T, U c (U{Q)~U|TSR U, Q, T, V c U{Q{T~VSR U, Q, T, W c UQ{T~WSR U, Q, U, T c (U{Q)~U|TSR U, Q, U, X c U~U|Q{XSR U, Q, V, P c U~V{Q|PSR U, Q, V, Q c U~V{QQSR U, Q, V, R c U~Q~R{VSR U, Q, V, S c U~(Q{S){VSR U, Q, V, T c U{Q{V~TSR U, Q, V, W c U~W{Q|VSR U, Q, V, X c (U|Q)~X{VSR U, Q, W, R c (U~W)|(Q{R)SR U, Q, W, T c UQ{W~TSR U, Q, W, V c U~W{Q|VSR U, Q, X, P c U~(X|Q){PSR U, Q, X, R c (U{X)~R|QSR U, Q, X, U c U~U|Q{XSR U, Q, X, V c (U|Q)~X{VSR U, Q, X, X c (U~X)|(Q{X)SR U, R, P, S c U~(R{S){PSR U, R, P, W c (U|P)~W{RSR U, R, Q, T c (U{R)~T|QSR U, R, Q, V c U~R~Q{VSR U, R, Q, W c (U~W)|(R{Q)SR U, R, Q, X c (U{X)~R|QSR U, R, R, V c U~(R{R){VSR U, R, S, P c U~(R{S){PSR U, R, S, S c (U{S)~S{RSR U, R, S, U c U~U{R{SSR U, R, S, V c (U{R)~S{VSR U, R, T, Q c (U{R)~T|QSR U, R, T, T c U~(R{T)|TSR U, R, T, W c U|R{T~WSR U, R, T, X c T~X|URSR U, R, U, S c U~U{R{SSR U, R, U, V c (U{U)~R{VSR U, R, V, Q c U~R~Q{VSR U, R, V, R c U~(R{R){VSR U, R, V, S c (U{R)~S{VSR U, R, V, U c (U{U)~R{VSR U, R, V, X c U~(X|R){VSR U, R, W, P c (U{W)~R{PSR U, R, W, Q c (U~W)|(R{Q)SR U, R, W, T c U|R{W~TSR U, R, W, W c U~W{R|WSR U, R, W, X c (U~X)|(R{W)SR U, R, X, Q c (U{X)~R|QSR U, R, X, T c X~T|URSR U, R, X, V c U~(X|R){VSR U, R, X, W c (U~X)|(R{W)SR U, S, P, R c U~(S{R){PSR U, S, P, T c (U{T)~S|PSR U, S, P, W c (U~W)|(S{P)SR U, S, P, X c U{S~X{PSR U, S, Q, T c U~S~Q|TSR U, S, Q, V c U~(S{Q){VSR U, S, R, P c U~(S{R){PSR U, S, R, S c (U{S)~S{RSR U, S, R, U c U~U{S{RSR U, S, R, V c (U{R)~S{VSR U, S, S, R c (U{S)~S{RSR U, S, S, T c U~(S{S)|TSR U, S, S, V c U~V{SSSR U, S, T, P c (U{T)~S|PSR U, S, T, Q c U~S~Q|TSR U, S, T, S c U~(S{S)|TSR U, S, T, U c (U{U)~S|TSR U, S, T, V c (U{S)~T|VSR U, S, T, W c U{S~W{TSR U, S, T, X c U~T{S{XSR U, S, U, R c U~U{S{RSR U, S, U, T c (U{U)~S|TSR U, S, V, Q c U~(S{Q){VSR U, S, V, R c U~V{S|RSR U, S, V, S c U~V{SSSR U, S, V, T c (U{S)~T|VSR U, S, V, X c U{S~V{XSR U, S, W, P c (U~W)|(S{P)SR U, S, W, T c U{S~W{TSR U, S, W, X c U~W{S|XSR U, S, X, P c U{S~X{PSR U, S, X, T c U~T{S{XSR U, S, X, V c U{S~V{XSR U, S, X, W c U~W{S|XSR U, T, O, W c (U{O)~W|TSR U, T, P, Q c U~(T{Q){PSR U, T, P, S c (U{T)~S|PSR U, T, P, V c U~(T{P){VSR U, T, P, W c (U{P)~T{WSR U, T, P, X c U~(X|P)|TSR U, T, Q, P c U~(T{Q){PSR U, T, Q, R c (U{Q)~T{RSR U, T, Q, S c U~Q~S|TSR U, T, Q, U c (U{Q)~U|TSR U, T, Q, V c U{T~V{QSR U, T, Q, W c UQ{T~WSR U, T, R, Q c (U{R)~T|QSR U, T, R, T c U~(T{R)|TSR U, T, R, W c U{T~W|RSR U, T, R, X c T~X|URSR U, T, S, P c (U{T)~S|PSR U, T, S, Q c U~S~Q|TSR U, T, S, S c U~(S{S)|TSR U, T, S, U c (U{U)~S|TSR U, T, S, V c (U{S)~T|VSR U, T, S, W c U{T{S~WSR U, T, S, X c U~T{S{XSR U, T, T, R c U~(T{R)|TSR U, T, T, V c U~V{TTSR U, T, T, W c U~T{T{WSR U, T, U, Q c U~U{T{QSR U, T, U, S c (U{U)~S|TSR U, T, U, V c U{T~U{VSR U, T, U, W c U~(W|TU)SR U, T, U, X c (U~X)|(T{U)SR U, T, V, P c U~(T{P){VSR U, T, V, Q c U{T~V{QSR U, T, V, S c U~V{T|SSR U, T, V, T c U~V{TTSR U, T, V, U c U|T{V~USR U, T, W, O c U~W|T{OSR U, T, W, P c U~W|T~PSR U, T, W, Q c UQ{T~WSR U, T, W, R c U{T~W|RSR U, T, W, S c U{T{W~SSR U, T, W, T c U~T{W{TSR U, T, W, U c U~(W|TU)SR U, T, W, W c (U|TW)~WSR U, T, W, X c U{T~X|WSR U, T, X, P c U~(X|P)|TSR U, T, X, R c T~X|URSR U, T, X, S c U~T{X{SSR U, T, X, U c (U~X)|(T{U)SR U, T, X, W c U{T~X|WSR U, U, O, V c U~U{O{VSR U, U, P, P c U~(U{P){PSR U, U, P, U c U~U{P{USR U, U, P, V c U~U{P~VSR U, U, P, W c U~U|P{WSR U, U, Q, T c U~U{Q{TSR U, U, Q, X c U~U|Q{XSR U, U, R, S c U~U{R{SSR U, U, R, V c (U{U)~R{VSR U, U, S, R c U~U{S{RSR U, U, S, T c (U{U)~S|TSR U, U, T, Q c U~U{T{QSR U, U, T, S c (U{U)~S|TSR U, U, T, V c U{U~T{VSR U, U, T, W c U~(W|TU)SR U, U, T, X c (U~X)|(U{T)SR U, U, U, P c U{U~U{PSR U, U, U, V c UU{U~VSR U, U, V, O c U~U{V{OSR U, U, V, P c U~U{V~PSR U, U, V, R c (U{U)~R{VSR U, U, V, T c U{U~V|TSR U, U, V, U c U~(U{VU)SR U, U, V, V c U~V|U{VSR U, U, W, P c U~U{W|PSR U, U, W, T c U~(W|TU)SR U, U, X, Q c U~U{X|QSR U, U, X, T c (U~X)|(U{T)SR U, V, O, P c U~V{O{PSR U, V, O, U c (U{O)~U{VSR U, V, O, V c (V{O)~V|USR U, V, P, O c U~V{P{OSR U, V, P, P c U~V{P~PSR U, V, P, Q c U~V|P{QSR U, V, P, T c U~(V{P)|TSR U, V, P, U c U~(V{PU)SR U, V, P, V c U~(V|P){VSR U, V, P, W c (U|P)~V{WSR U, V, Q, P c U~V{Q|PSR U, V, Q, Q c U~V{QQSR U, V, Q, R c U~V|Q{RSR U, V, Q, S c U~(Q{S){VSR U, V, Q, T c U{V~T{QSR U, V, Q, W c U~W|V{QSR U, V, Q, X c (U|Q)~X{VSR U, V, R, Q c U~V{R|QSR U, V, R, R c U~V{RRSR U, V, R, S c (U{V)~R{SSR U, V, R, U c (U{U)~R{VSR U, V, R, X c U~(X|R){VSR U, V, S, Q c U~(S{Q){VSR U, V, S, R c U~V{S|RSR U, V, S, S c U~V{SSSR U, V, S, T c U~V|S{TSR U, V, S, X c U{V~S{XSR U, V, T, P c U~(V{P)|TSR U, V, T, Q c U{V~T{QSR U, V, T, S c U~V{T|SSR U, V, T, T c U~V{TTSR U, V, T, U c U{V{T~USR U, V, U, O c U~U{V{OSR U, V, U, P c U~(V{PU)SR U, V, U, R c (U{U)~R{VSR U, V, U, T c U{V{U~TSR U, V, U, U c (U{VU)~USR U, V, U, V c U~V|U{VSR U, V, V, O c V~V|U{OSR U, V, V, P c U~(V|P){VSR U, V, V, U c U~V{V|USR U, V, V, V c U~V{VVSR U, V, V, W c U~V|V{WSR U, V, W, P c (U|P)~V{WSR U, V, W, Q c U~W|V{QSR U, V, W, V c U~V{W|VSR U, V, W, W c U~V{WWSR U, V, W, X c U~V|W{XSR U, V, X, Q c (U|Q)~X{VSR U, V, X, R c U~(X|R){VSR U, V, X, S c U{V~S{XSR U, V, X, W c U~V{X|WSR U, V, X, X c U~V{XXSR U, W, O, T c U~W{O|TSR U, W, P, P c U~(W|P){PSR U, W, P, R c (U{W)~R{PSR U, W, P, S c (U~W)|(P{S)SR U, W, P, T c U~W|P~TSR U, W, P, U c U~W{P|USR U, W, P, V c (U|P)~V{WSR U, W, Q, R c (U~W)|(Q{R)SR U, W, Q, T c UQ{W~TSR U, W, Q, V c U~W{Q|VSR U, W, R, P c (U{W)~R{PSR U, W, R, Q c (U~W)|(R{Q)SR U, W, R, T c U{W~T|RSR U, W, R, W c U~W{R|WSR U, W, R, X c (U~X)|(W{R)SR U, W, S, P c (U~W)|(S{P)SR U, W, S, T c U{W~S{TSR U, W, S, X c U~W{S|XSR U, W, T, O c U~W|T{OSR U, W, T, P c U~W|T~PSR U, W, T, Q c UQ{W~TSR U, W, T, R c U{W~T|RSR U, W, T, S c U{W~S{TSR U, W, T, T c U~T{W{TSR U, W, T, U c U~(W|TU)SR U, W, T, W c (U|TW)~WSR U, W, T, X c U{T~X|WSR U, W, U, P c U~W|U{PSR U, W, U, T c U~(W|TU)SR U, W, V, P c (U|P)~V{WSR U, W, V, Q c U~W|V{QSR U, W, V, V c U~V{W|VSR U, W, V, W c U~V{WWSR U, W, V, X c U~V|W{XSR U, W, W, R c U~W|W{RSR U, W, W, T c (U|TW)~WSR U, W, W, V c U~V{WWSR U, W, X, R c (U~X)|(W{R)SR U, W, X, S c U~W|X{SSR U, W, X, T c U{X~T|WSR U, W, X, V c U~V|W{XSR U, X, P, Q c U~(X|Q){PSR U, X, P, S c U{X~S{PSR U, X, P, T c U~(X|P)|TSR U, X, Q, P c U~(X|Q){PSR U, X, Q, R c (U{X)~R|QSR U, X, Q, U c U~U{X|QSR U, X, Q, V c (U|Q)~X{VSR U, X, Q, X c (U~X)|(Q{X)SR U, X, R, Q c (U{X)~R|QSR U, X, R, T c X~T|URSR U, X, R, V c U~(X|R){VSR U, X, R, W c (U~X)|(R{W)SR U, X, S, P c U{X~S{PSR U, X, S, T c U~T{X{SSR U, X, S, V c U{X{S~VSR U, X, S, W c U~W|X{SSR U, X, T, P c U~(X|P)|TSR U, X, T, R c X~T|URSR U, X, T, S c U~T{X{SSR U, X, T, U c (U~X)|(T{U)SR U, X, T, W c U{X~T|WSR U, X, U, Q c U~U{X|QSR U, X, U, T c (U~X)|(U{T)SR U, X, V, Q c (U|Q)~X{VSR U, X, V, R c U~(X|R){VSR U, X, V, S c U{X{V~SSR U, X, V, W c U~V{X|WSR U, X, V, X c U~V{XXSR U, X, W, R c (U~X)|(W{R)SR U, X, W, S c U~W|X{SSR U, X, W, T c U{X~T|WSR U, X, W, V c U~V{X|WSR U, X, X, Q c (U~X)|(X{Q)SR U, X, X, V c U~V{XXSR V, O, P, U c (V{O)~U{PSR V, O, S, X c V{O{S~XSR V, O, T, W c (V{O)~T{WSR V, O, U, P c (V{O)~U{PSR V, O, U, U c V{O{U~USR V, O, U, V c (V{O)~V|USR V, O, V, U c (V{O)~V|USR V, O, W, T c (V{O)~T{WSR V, O, X, S c V{O{X~SSR V, P, O, U c (V{O)~U{PSR V, P, P, T c V~(P{T){PSR V, P, P, U c V~P~U{PSR V, P, P, V c (V|P)~V{PSR V, P, Q, R c V~Q~R{PSR V, P, Q, S c V~(Q{S){PSR V, P, Q, U c V~U|P{QSR V, P, Q, W c V~(W|Q){PSR V, P, R, Q c V~R~Q{PSR V, P, R, R c V~(R{R){PSR V, P, R, T c (V{P)~T{RSR V, P, R, V c (V{V)~R{PSR V, P, R, X c V{(P{R)~XSR V, P, S, Q c V~(S{Q){PSR V, P, S, S c (V{S)~S|PSR V, P, S, W c V~(P{S){WSR V, P, S, X c V{P~S~XSR V, P, T, P c V~(P{T){PSR V, P, T, R c (V{P)~T{RSR V, P, T, U c V{(P{T)~USR V, P, T, V c V{P{T~VSR V, P, T, W c V~P~T{WSR V, P, T, X c V{(T|P)~XSR V, P, U, O c V~U{P{OSR V, P, U, P c V~P~U{PSR V, P, U, Q c V~U|P{QSR V, P, U, T c (V{P)~U|TSR V, P, U, U c V{P~U~USR V, P, U, V c (V|P)~U{VSR V, P, U, W c V~(U|P){WSR V, P, V, P c (V|P)~V{PSR V, P, V, R c (V{V)~R{PSR V, P, V, T c V{P{V~TSR V, P, V, U c V~P~V|USR V, P, V, V c V~V{P|VSR V, P, W, Q c V~(W|Q){PSR V, P, W, S c V{(P{W)~SSR V, P, W, T c (V|P)~W|TSR V, P, W, U c V~(W|P)|USR V, P, X, R c V{(P{R)~XSR V, P, X, S c V{P~X~SSR V, P, X, T c V{X~(T|P)SR V, Q, P, R c V~Q~R{PSR V, Q, P, S c V~(Q{S){PSR V, Q, P, U c V~U{Q|PSR V, Q, P, W c V~(W|Q){PSR V, Q, Q, T c (V{Q)~T|QSR V, Q, Q, U c V~U{QQSR V, Q, Q, X c V{(Q{Q)~XSR V, Q, R, P c V~Q~R{PSR V, Q, R, U c V{Q~R~USR V, Q, R, V c V~V|Q~RSR V, Q, R, W c V~(Q{R){WSR V, Q, S, P c V~(Q{S){PSR V, Q, S, T c V~T{Q~SSR V, Q, S, U c V{(Q{S)~USR V, Q, S, V c (V{Q)~S{VSR V, Q, T, Q c (V{Q)~T|QSR V, Q, T, S c V~T{Q~SSR V, Q, T, T c Q~T~T|VSR V, Q, T, U c V~(Q{T)|USR V, Q, T, W c (Q{W)~T|VSR V, Q, U, P c V~U{Q|PSR V, Q, U, Q c V~U{QQSR V, Q, U, R c V{Q~U~RSR V, Q, U, S c V{(Q{S)~USR V, Q, U, T c V~(Q{T)|USR V, Q, U, W c V{U~(W|Q)SR V, Q, U, X c V{(U|Q)~XSR V, Q, V, R c V~V|Q~RSR V, Q, V, S c V{(Q{V)~SSR V, Q, V, W c (V|Q)~V{WSR V, Q, W, P c V~(W|Q){PSR V, Q, W, R c (V|Q)~W{RSR V, Q, W, T c (Q{W)~T|VSR V, Q, W, U c V{(W|Q)~USR V, Q, W, V c (V|Q)~V{WSR V, Q, W, X c V{WQ~XSR V, Q, X, Q c V{Q~X~QSR V, Q, X, U c V~(X|Q)|USR V, Q, X, W c V{XQ~WSR V, Q, X, X c V{Q~(X{X)SR V, R, P, Q c V~R~Q{PSR V, R, P, R c V~(R{R){PSR V, R, P, T c (V{P)~T{RSR V, R, P, V c (V{V)~R{PSR V, R, P, X c V{(R{P)~XSR V, R, Q, P c V~R~Q{PSR V, R, Q, U c V{R~Q~USR V, R, Q, V c V~V|R~QSR V, R, Q, W c V~(R{Q){WSR V, R, R, P c V~(R{R){PSR V, R, R, S c V{R~R~SSR V, R, R, U c V{(R{R)~USR V, R, R, V c (V~V)|(R{R)SR V, R, R, X c V{R~(R{X)SR V, R, S, R c (V{R)~S{RSR V, R, S, T c V~S{R~TSR V, R, S, U c V~(R{S)|USR V, R, S, W c V{R~(S{W)SR V, R, T, P c (V{P)~T{RSR V, R, T, S c V~S{R~TSR V, R, T, T c V~T{R{TSR V, R, T, V c V{R~(T{V)SR V, R, T, X c (V{X)~R|TSR V, R, U, Q c V{R~U~QSR V, R, U, R c V{(R{R)~USR V, R, U, S c V{(R{U)~SSR V, R, U, U c V{R~(U{U)SR V, R, U, X c V{U~(X|R)SR V, R, V, P c (V{V)~R{PSR V, R, V, Q c V~V|R~QSR V, R, V, R c (V~V)|(R{R)SR V, R, V, T c V{R~(V{T)SR V, R, V, X c (V|R)~X{VSR V, R, W, Q c V~(R{Q){WSR V, R, W, S c V{R~(W{S)SR V, R, W, W c V~(W|R){WSR V, R, X, P c V{(R{P)~XSR V, R, X, R c V{(R{X)~RSR V, R, X, T c (V{X)~R|TSR V, R, X, U c V{(X|R)~USR V, R, X, V c (V|R)~X{VSR V, R, X, X c V{R~X{XSR V, S, O, X c V{(S{O)~XSR V, S, P, Q c V~(S{Q){PSR V, S, P, S c (V{S)~S|PSR V, S, P, W c V{S~(P{W)SR V, S, P, X c V{S~P~XSR V, S, Q, P c V~(S{Q){PSR V, S, Q, T c V~T{S~QSR V, S, Q, U c V{(S{Q)~USR V, S, Q, V c V{S~(Q{V)SR V, S, R, R c V{S~R~RSR V, S, R, T c V~S{R~TSR V, S, R, U c V{S~(R{U)SR V, S, R, W c V{(S{W)~RSR V, S, S, P c (V{S)~S|PSR V, S, S, T c V{S~(S{T)SR V, S, S, U c V~U{SSSR V, S, S, W c V{S{S~WSR V, S, S, X c (VS{X)~SSR V, S, T, Q c V~T{S~QSR V, S, T, R c V~S{T~RSR V, S, T, S c V{(S{T)~SSR V, S, T, T c (V{T)~S|TSR V, S, T, U c V~U|S{TSR V, S, T, W c V|S{T~WSR V, S, T, X c V~X|S~TSR V, S, U, Q c V{(S{Q)~USR V, S, U, R c V{S~(U{R)SR V, S, U, S c V~U{SSSR V, S, U, T c V~U|S{TSR V, S, U, X c V~S{U{XSR V, S, V, Q c V{S~(V{Q)SR V, S, V, W c V{S~V{WSR V, S, W, P c V{S~(W{P)SR V, S, W, R c V{(S{W)~RSR V, S, W, S c V{S{W~SSR V, S, W, T c V|S{W~TSR V, S, W, V c V~S{W{VSR V, S, W, X c V{(W|S)~XSR V, S, X, O c V{S~X{OSR V, S, X, P c V{S~X~PSR V, S, X, S c (VS{X)~SSR V, S, X, T c V~X|S~TSR V, S, X, U c V~S{X{USR V, S, X, W c V~(X|S){WSR V, S, X, X c (VX{S)~XSR V, T, O, W c V~T{O{WSR V, T, P, P c V~(T{P){PSR V, T, P, R c (V{P)~T{RSR V, T, P, U c V{(T{P)~USR V, T, P, V c V~T{P{VSR V, T, P, W c V~T{P~WSR V, T, P, X c V{(T|P)~XSR V, T, Q, Q c (V{Q)~T|QSR V, T, Q, S c V~T{Q~SSR V, T, Q, T c T~Q~T|VSR V, T, Q, U c V~T{Q{USR V, T, Q, W c T~(Q{W)|VSR V, T, R, P c (V{P)~T{RSR V, T, R, S c V~S{T~RSR V, T, R, T c V~T{R{TSR V, T, R, V c (V{T)~R{VSR V, T, R, X c (V{X)~R|TSR V, T, S, Q c V~T{S~QSR V, T, S, R c V~S{T~RSR V, T, S, S c V{(T{S)~SSR V, T, S, T c (V{T)~S|TSR V, T, S, U c V~U{T|SSR V, T, S, W c V{T~W|SSR V, T, S, X c V~X|T~SSR V, T, T, Q c T~T~Q|VSR V, T, T, R c V~T{T{RSR V, T, T, S c (V{T)~S|TSR V, T, T, T c (T{T)~T|VSR V, T, T, U c V~U{TTSR V, T, T, W c (V{WT)~TSR V, T, T, X c T{T~X|VSR V, T, U, P c V{(T{P)~USR V, T, U, Q c V~T{U{QSR V, T, U, S c V~U{T|SSR V, T, U, T c V~U{TTSR V, T, U, U c V{T~U{USR V, T, V, P c V{T~V{PSR V, T, V, R c V{(T{V)~RSR V, T, V, W c V~(T{WV)SR V, T, W, O c V~T{W{OSR V, T, W, P c V~T{W~PSR V, T, W, Q c T~(W{Q)|VSR V, T, W, S c V{T~W|SSR V, T, W, T c (V{WT)~TSR V, T, W, V c V~(T{WV)SR V, T, W, W c (V~W)|(T{W)SR V, T, X, P c V~T{X|PSR V, T, X, R c (V{X)~R|TSR V, T, X, S c V~X|T~SSR V, T, X, T c T~X|V{TSR V, T, X, X c V{T~X|XSR V, U, O, P c V~U{O{PSR V, U, O, U c V{(U{O)~USR V, U, O, V c (V{O)~V|USR V, U, P, O c V~U{P{OSR V, U, P, P c V~U{P~PSR V, U, P, Q c V~U|P{QSR V, U, P, T c V{U~(P{T)SR V, U, P, U c V{U~P~USR V, U, P, V c V~(U{PV)SR V, U, P, W c V~(U|P){WSR V, U, Q, P c V~U{Q|PSR V, U, Q, Q c V~U{QQSR V, U, Q, R c V{U~Q~RSR V, U, Q, S c V{U~(Q{S)SR V, U, Q, T c V~(Q{T)|USR V, U, Q, W c V{U~(W|Q)SR V, U, Q, X c V{(U|Q)~XSR V, U, R, Q c V{U~R~QSR V, U, R, R c V{U~(R{R)SR V, U, R, S c V{(U{R)~SSR V, U, R, U c V{(U{U)~RSR V, U, R, X c V{U~(X|R)SR V, U, S, Q c V{U~(S{Q)SR V, U, S, R c V~U{S|RSR V, U, S, S c V~U{SSSR V, U, S, T c V~U|S{TSR V, U, S, X c (V{U)~S|XSR V, U, T, P c V{U~(T{P)SR V, U, T, Q c V~T{U{QSR V, U, T, S c V~U{T|SSR V, U, T, T c V~U{TTSR V, U, T, U c V{U{T~USR V, U, U, O c V{U~U{OSR V, U, U, P c V{U~U~PSR V, U, U, R c V{(U{U)~RSR V, U, U, T c V{U{U~TSR V, U, U, U c V~U{UUSR V, U, U, V c V|U{U~VSR V, U, V, O c V~V|U{OSR V, U, V, P c V{U~(V|P)SR V, U, V, U c V{U~V|USR V, U, V, V c (V|UV)~VSR V, U, V, W c V~U|V{WSR V, U, W, P c V~(U|P){WSR V, U, W, Q c V{U~(W|Q)SR V, U, W, V c V~U{W|VSR V, U, W, W c V~U{WWSR V, U, W, X c V~U|W{XSR V, U, X, Q c V{(U|Q)~XSR V, U, X, R c V{U~(X|R)SR V, U, X, S c (V{U)~S|XSR V, U, X, W c V~U{X|WSR V, U, X, X c V~U{XXSR V, V, O, U c V~V{O|USR V, V, P, P c V~(V|P){PSR V, V, P, R c (V{V)~R{PSR V, V, P, T c (V~V)|(P{T)SR V, V, P, U c V{(V|P)~USR V, V, P, V c V~V{P|VSR V, V, Q, R c V~V|Q~RSR V, V, Q, S c V{(V{Q)~SSR V, V, Q, W c V~V{Q|WSR V, V, R, P c (V{V)~R{PSR V, V, R, Q c V~V|R~QSR V, V, R, R c (V~V)|(R{R)SR V, V, R, T c V{(V{T)~RSR V, V, R, X c V{(V|R)~XSR V, V, S, Q c (V~V)|(S{Q)SR V, V, S, W c V{V~S{WSR V, V, T, P c V{V~T{PSR V, V, T, R c V{(V{T)~RSR V, V, T, W c V~(T{WV)SR V, V, U, O c V~V|U{OSR V, V, U, P c V~V|U~PSR V, V, U, U c V{V~U|USR V, V, U, V c V~(V|UV)SR V, V, U, W c V~U|V{WSR V, V, V, P c V~V|V{PSR V, V, V, U c VV{V~USR V, V, W, Q c V~V|W{QSR V, V, W, S c V{V~S{WSR V, V, W, T c V~(WV{T)SR V, V, W, U c (V~W)|(V{U)SR V, V, X, R c V~V|X{RSR V, W, O, T c (V{O)~T{WSR V, W, P, Q c V~(W|Q){PSR V, W, P, S c V{(W{P)~SSR V, W, P, T c (V|P)~W|TSR V, W, P, U c V~(W|P)|USR V, W, Q, P c V~(W|Q){PSR V, W, Q, R c (V{W)~R|QSR V, W, Q, T c (W{Q)~T|VSR V, W, Q, U c V{(W|Q)~USR V, W, Q, V c (V|Q)~V{WSR V, W, Q, X c V{WQ~XSR V, W, R, Q c (V{W)~R|QSR V, W, R, S c V{(W{S)~RSR V, W, R, W c V~(W|R){WSR V, W, S, P c V{(W{P)~SSR V, W, S, R c V{(W{S)~RSR V, W, S, S c V{W~S{SSR V, W, S, T c V{W~T|SSR V, W, S, V c V{W{S~VSR V, W, S, X c V{(W|S)~XSR V, W, T, O c V~T{W{OSR V, W, T, P c V~T{W~PSR V, W, T, Q c (W{Q)~T|VSR V, W, T, S c V{W~T|SSR V, W, T, T c (V{WT)~TSR V, W, T, V c V~(WV{T)SR V, W, T, W c (V~W)|(T{W)SR V, W, U, P c V~(W|P)|USR V, W, U, Q c V{(W|Q)~USR V, W, U, V c (V~W)|(U{V)SR V, W, U, W c V~U{WWSR V, W, U, X c V~U|W{XSR V, W, V, Q c V~V|W{QSR V, W, V, S c V{W{V~SSR V, W, V, T c V~(WV{T)SR V, W, V, U c (V~W)|(V{U)SR V, W, W, R c V~(W|R){WSR V, W, W, T c (V~W)|(W{T)SR V, W, W, U c V~U{WWSR V, W, X, Q c V{W~XQSR V, W, X, S c (V~W)|(X{S)SR V, W, X, U c V~U|W{XSR V, X, O, S c V{(X{O)~SSR V, X, P, R c V{X~(P{R)SR V, X, P, S c V{X~P~SSR V, X, P, T c V{X~(T|P)SR V, X, Q, Q c V{X~(Q{Q)SR V, X, Q, U c V~(X|Q)|USR V, X, Q, W c V{XQ~WSR V, X, Q, X c V{(X{X)~QSR V, X, R, P c V{X~(R{P)SR V, X, R, R c V{(X{R)~RSR V, X, R, T c (V{X)~R|TSR V, X, R, U c V{(X|R)~USR V, X, R, V c V{X~(V|R)SR V, X, R, X c V{X{R~XSR V, X, S, O c V{X~S{OSR V, X, S, P c V{X~S~PSR V, X, S, S c (VS{X)~SSR V, X, S, T c V~X|S~TSR V, X, S, U c V~S{X{USR V, X, S, W c V~(X|S){WSR V, X, S, X c (VX{S)~XSR V, X, T, P c V{X~(T|P)SR V, X, T, R c (V{X)~R|TSR V, X, T, S c V~X|T~SSR V, X, T, T c X~T|V{TSR V, X, T, X c V{(X|T)~XSR V, X, U, Q c V{X~(U|Q)SR V, X, U, R c V{(X|R)~USR V, X, U, S c (V{U)~S|XSR V, X, U, W c V~U{X|WSR V, X, U, X c V~U{XXSR V, X, V, R c V{X~(V|R)SR V, X, W, Q c V{X~WQSR V, X, W, S c V{X~(W|S)SR V, X, W, U c V~U{X|WSR V, X, X, Q c V{(X{X)~QSR V, X, X, R c V{X{X~RSR V, X, X, S c (VX{S)~XSR V, X, X, T c V{X~(X|T)SR V, X, X, U c V~U{XXSR W, O, R, T c (W{O)~T{RSR W, O, T, R c (W{O)~T{RSR W, O, T, U c (W{O)~U|TSR W, O, T, V c W{O{T~VSR W, O, U, T c (W{O)~U|TSR W, O, V, T c W{O{V~TSR W, P, P, U c (W|P)~U{PSR W, P, Q, T c (W{P)~T|QSR W, P, Q, V c (W|Q)~V{PSR W, P, R, S c W~(P{S){RSR W, P, R, T c W~P~T{RSR W, P, R, U c W~(U|P){RSR W, P, S, R c W~(P{S){RSR W, P, S, T c W~T|P{SSR W, P, S, U c (W~U)|(P{S)SR W, P, S, V c W{(P{S)~VSR W, P, S, X c W|P{S~XSR W, P, T, Q c (W{P)~T|QSR W, P, T, R c W~P~T{RSR W, P, T, S c W~T|P{SSR W, P, T, T c W~(P{T)|TSR W, P, T, U c W{(P{U)~TSR W, P, T, V c W{P~T~VSR W, P, T, W c (W|P)~T{WSR W, P, U, P c (W|P)~U{PSR W, P, U, R c W~(U|P){RSR W, P, U, S c (W~U)|(P{S)SR W, P, U, T c W{(P{U)~TSR W, P, U, U c W|P{U~USR W, P, U, V c (W|P)~V|USR W, P, V, Q c (W|Q)~V{PSR W, P, V, S c W{(P{S)~VSR W, P, V, T c W{P~V~TSR W, P, V, U c (W|P)~V|USR W, P, W, T c (W|P)~T{WSR W, P, X, S c W|P{X~SSR W, Q, P, T c (W{P)~T|QSR W, Q, P, V c (W|Q)~V{PSR W, Q, R, R c W~(Q{R){RSR W, Q, R, S c (W{Q)~S{RSR W, Q, R, T c W~Q~R|TSR W, Q, R, U c (W~U)|(Q{R)SR W, Q, R, V c W{(Q{R)~VSR W, Q, R, X c W~Q{R~XSR W, Q, S, R c (W{Q)~S{RSR W, Q, S, T c W~(Q{S)|TSR W, Q, S, X c W~S{Q{XSR W, Q, T, P c W~T{Q{PSR W, Q, T, R c W~Q~R|TSR W, Q, T, S c W~(Q{S)|TSR W, Q, T, T c W{(Q{T)~TSR W, Q, T, U c W~T{UQSR W, Q, T, V c (W{Q)~T|VSR W, Q, T, W c (W|Q)~W|TSR W, Q, T, X c W{T~(X|Q)SR W, Q, U, R c (W~U)|(Q{R)SR W, Q, U, T c W~T{UQSR W, Q, U, V c (W|Q)~U{VSR W, Q, V, P c (W|Q)~V{PSR W, Q, V, R c W{(Q{R)~VSR W, Q, V, T c (W{Q)~T|VSR W, Q, V, U c (W|Q)~U{VSR W, Q, V, V c W{(V|Q)~VSR W, Q, V, X c WQ~X{VSR W, Q, W, T c (W|Q)~W|TSR W, Q, X, R c W~Q{X~RSR W, Q, X, S c W~S{Q{XSR W, Q, X, T c W{(X|Q)~TSR W, Q, X, V c WQ~X{VSR W, Q, X, X c (W{X)~Q{XSR W, R, O, T c (W{O)~T{RSR W, R, P, S c (W{R)~S|PSR W, R, P, T c W~P~T{RSR W, R, P, U c (W{U)~R{PSR W, R, Q, R c W~(R{Q){RSR W, R, Q, S c (W{Q)~S{RSR W, R, Q, T c W~R~Q|TSR W, R, Q, U c (W~U)|(R{Q)SR W, R, Q, V c W{(R{Q)~VSR W, R, Q, X c (W|R)~X|QSR W, R, R, Q c W~(R{Q){RSR W, R, R, T c W~(R{R)|TSR W, R, R, W c (W|R)~W{RSR W, R, S, P c (W{R)~S|PSR W, R, S, Q c (W{Q)~S{RSR W, R, S, T c W{(R{S)~TSR W, R, S, V c (W{S)~R{VSR W, R, S, W c W{R{S~WSR W, R, S, X c W~(X|S){RSR W, R, T, O c W~T{R{OSR W, R, T, P c W~T{R~PSR W, R, T, Q c W~R~Q|TSR W, R, T, R c W~(R{R)|TSR W, R, T, S c W{(R{S)~TSR W, R, T, T c (W{RT)~TSR W, R, T, U c W~T|R{USR W, R, T, W c W~(RW{T)SR W, R, T, X c W~T{XRSR W, R, U, P c (W{U)~R{PSR W, R, U, Q c (W~U)|(R{Q)SR W, R, U, T c W~T|R{USR W, R, U, W c W~U{R|WSR W, R, U, X c (U~X)|(W{R)SR W, R, V, Q c W{(R{Q)~VSR W, R, V, S c (W{S)~R{VSR W, R, V, W c (W|R)~V{WSR W, R, W, R c (W|R)~W{RSR W, R, W, S c W{R{W~SSR W, R, W, T c W~(RW{T)SR W, R, W, U c W~U{R|WSR W, R, W, V c (W|R)~V{WSR W, R, W, X c W{R~X{WSR W, R, X, Q c (W|R)~X|QSR W, R, X, S c W~(X|S){RSR W, R, X, T c W~(X|R)|TSR W, R, X, U c (X~U)|(W{R)SR W, R, X, W c W{R~X{WSR W, S, P, R c W~(S{P){RSR W, S, P, T c W~T{S|PSR W, S, P, U c (W~U)|(S{P)SR W, S, P, V c W{(S{P)~VSR W, S, P, X c W{S~X|PSR W, S, Q, R c (W{Q)~S{RSR W, S, Q, T c W~(S{Q)|TSR W, S, Q, X c W~S{Q{XSR W, S, R, P c W~(S{P){RSR W, S, R, Q c (W{Q)~S{RSR W, S, R, T c W{(S{R)~TSR W, S, R, V c (W{S)~R{VSR W, S, R, W c W~S{R{WSR W, S, R, X c W~(X|S){RSR W, S, S, T c (W{S)~S|TSR W, S, S, V c W~S{S{VSR W, S, T, P c W~T{S|PSR W, S, T, Q c W~(S{Q)|TSR W, S, T, R c W{(S{R)~TSR W, S, T, S c (W{S)~S|TSR W, S, T, U c W~S{T{USR W, S, T, V c W~T|S{VSR W, S, T, X c (W{T)~S|XSR W, S, U, P c (W~U)|(S{P)SR W, S, U, T c W~S{U{TSR W, S, U, X c W~U{S|XSR W, S, V, P c W{(S{P)~VSR W, S, V, R c (W{S)~R{VSR W, S, V, S c W~S{V{SSR W, S, V, T c W~T|S{VSR W, S, V, V c W{S~V{VSR W, S, V, X c (W|S)~X{VSR W, S, W, R c W{S~W{RSR W, S, X, P c W{S~X|PSR W, S, X, Q c W~S{X{QSR W, S, X, R c W~(X|S){RSR W, S, X, T c (W{T)~S|XSR W, S, X, U c W~U{S|XSR W, S, X, V c (W|S)~X{VSR W, T, O, R c W~T{O{RSR W, T, O, U c (W{O)~U|TSR W, T, O, V c W{(T{O)~VSR W, T, P, Q c W~T{P{QSR W, T, P, R c W~T{P~RSR W, T, P, S c W~T|P{SSR W, T, P, T c W~(T{P)|TSR W, T, P, U c W{T~(P{U)SR W, T, P, V c W{T~P~VSR W, T, P, W c W{T~(W|P)SR W, T, Q, P c W~T{Q{PSR W, T, Q, R c W~Q~R|TSR W, T, Q, S c W~(Q{S)|TSR W, T, Q, T c W{(T{Q)~TSR W, T, Q, U c W~T{UQSR W, T, Q, V c (W{Q)~T|VSR W, T, Q, W c (W|Q)~W|TSR W, T, Q, X c W{T~(X|Q)SR W, T, R, O c W~T{R{OSR W, T, R, P c W~T{R~PSR W, T, R, Q c W~R~Q|TSR W, T, R, R c W~(R{R)|TSR W, T, R, S c (W{T)~R{SSR W, T, R, T c (W{RT)~TSR W, T, R, U c W~T|R{USR W, T, R, W c W~(T{RW)SR W, T, R, X c W~T{XRSR W, T, S, P c W~T{S|PSR W, T, S, Q c W~(S{Q)|TSR W, T, S, R c W{T~(S{R)SR W, T, S, S c (W{S)~S|TSR W, T, S, U c W~S{T{USR W, T, S, V c W~T|S{VSR W, T, S, X c (W{T)~S|XSR W, T, T, P c W~(T{P)|TSR W, T, T, Q c W{T~(T{Q)SR W, T, T, R c (W{RT)~TSR W, T, T, U c W{T{T~USR W, T, T, V c (WT{V)~TSR W, T, T, W c W|T{T~WSR W, T, U, O c W~U|T{OSR W, T, U, P c W{T~(U{P)SR W, T, U, Q c W~T{UQSR W, T, U, R c W~T{U|RSR W, T, U, S c W~S{T{USR W, T, U, T c W{T{U~TSR W, T, U, U c (W|TU)~USR W, T, U, W c W~(U|TW)SR W, T, U, X c W~T|U{XSR W, T, V, O c W{T~V{OSR W, T, V, P c W{T~V~PSR W, T, V, Q c (W{Q)~T|VSR W, T, V, S c W~T{V|SSR W, T, V, T c (WT{V)~TSR W, T, V, V c (WV{T)~VSR W, T, V, W c (W~V)|(T{W)SR W, T, W, P c W{T~(W|P)SR W, T, W, Q c W~(W|Q)|TSR W, T, W, R c W~(T{RW)SR W, T, W, T c W{T~W|TSR W, T, W, U c W~(U|TW)SR W, T, W, V c (W~V)|(T{W)SR W, T, X, Q c W{T~(X|Q)SR W, T, X, R c W~T{XRSR W, T, X, S c (W{T)~S|XSR W, T, X, U c W~T{X|USR W, U, O, T c W~U{O|TSR W, U, P, P c (W|P)~U{PSR W, U, P, R c W~(U|P){RSR W, U, P, S c (W~U)|(P{S)SR W, U, P, T c W{(U{P)~TSR W, U, P, U c W~U{P|USR W, U, P, V c W{(U|P)~VSR W, U, Q, R c (W~U)|(Q{R)SR W, U, Q, T c W~T{UQSR W, U, Q, V c W~U{Q|VSR W, U, R, P c (W{U)~R{PSR W, U, R, Q c (W~U)|(R{Q)SR W, U, R, T c W~T{U|RSR W, U, R, W c W~U{R|WSR W, U, R, X c (U~X)|(W{R)SR W, U, S, P c (W~U)|(S{P)SR W, U, S, T c W~S{U{TSR W, U, S, X c W~U{S|XSR W, U, T, O c W~U|T{OSR W, U, T, P c W~U|T~PSR W, U, T, Q c W~T{UQSR W, U, T, R c W~T{U|RSR W, U, T, S c W~S{U{TSR W, U, T, T c W{U~T{TSR W, U, T, U c (W|TU)~USR W, U, T, W c W~(U|TW)SR W, U, T, X c W~T|U{XSR W, U, U, P c W{U~U|PSR W, U, U, T c (W|TU)~USR W, U, V, P c W{(U|P)~VSR W, U, V, Q c W~U|V{QSR W, U, V, V c W{U~V|VSR W, U, V, W c WW{U~VSR W, U, V, X c U~V|W{XSR W, U, W, R c W~U|W{RSR W, U, W, T c W~(U|TW)SR W, U, W, V c WW{U~VSR W, U, X, R c (U~X)|(W{R)SR W, U, X, S c W~U|X{SSR W, U, X, T c W~T|U{XSR W, U, X, V c U~V|W{XSR W, V, O, T c W{(V{O)~TSR W, V, P, Q c (W|Q)~V{PSR W, V, P, S c W{V~(P{S)SR W, V, P, T c W{V~P~TSR W, V, P, U c W{V~(U|P)SR W, V, Q, P c (W|Q)~V{PSR W, V, Q, R c W{V~(Q{R)SR W, V, Q, T c (W{Q)~T|VSR W, V, Q, U c (W|Q)~U{VSR W, V, Q, V c W{(V|Q)~VSR W, V, Q, X c WQ~X{VSR W, V, R, Q c W{V~(R{Q)SR W, V, R, S c (W{S)~R{VSR W, V, R, W c W{V~(W|R)SR W, V, S, P c W{V~(S{P)SR W, V, S, R c (W{S)~R{VSR W, V, S, S c W~S{V{SSR W, V, S, T c W~T{V|SSR W, V, S, V c W{V{S~VSR W, V, S, X c (W~V)|(S{X)SR W, V, T, O c W{V~T{OSR W, V, T, P c W{V~T~PSR W, V, T, Q c (W{Q)~T|VSR W, V, T, S c W~T{V|SSR W, V, T, T c (WT{V)~TSR W, V, T, V c (WV{T)~VSR W, V, T, W c (W~V)|(T{W)SR W, V, U, P c W{V~(U|P)SR W, V, U, Q c W~U|V{QSR W, V, U, V c W{V~U|VSR W, V, U, W c WW{V~USR W, V, U, X c V~U|W{XSR W, V, V, Q c W{V~(V|Q)SR W, V, V, S c W{V{V~SSR W, V, V, T c (WV{T)~VSR W, V, V, U c W|V{V~USR W, V, W, R c W{V~(W|R)SR W, V, W, T c (W~V)|(W{T)SR W, V, W, U c WW{V~USR W, V, X, Q c W~XQ{VSR W, V, X, S c W{V~(X|S)SR W, V, X, U c V~U|W{XSR W, W, P, T c W{(W|P)~TSR W, W, Q, T c W~(W|Q)|TSR W, W, R, R c W~(W|R){RSR W, W, R, S c W{W~S{RSR W, W, R, T c (W{W)~R|TSR W, W, R, U c W~U|W{RSR W, W, R, V c W{(W|R)~VSR W, W, R, X c W{W{R~XSR W, W, S, R c W{W~S{RSR W, W, T, P c W{(W|P)~TSR W, W, T, Q c W~(W|Q)|TSR W, W, T, R c (W{W)~R|TSR W, W, T, T c W{W~T|TSR W, W, T, U c W~(U|TW)SR W, W, T, V c (W~V)|(W{T)SR W, W, U, R c W~U|W{RSR W, W, U, T c W~(U|TW)SR W, W, U, V c WW{U~VSR W, W, V, R c W~W|V~RSR W, W, V, T c (W~V)|(W{T)SR W, W, V, U c WW{V~USR W, W, X, R c W{W{X~RSR W, X, P, S c W{X~S|PSR W, X, Q, R c W~Q{X~RSR W, X, Q, S c W~S{X{QSR W, X, Q, T c W{(X|Q)~TSR W, X, Q, V c W~XQ{VSR W, X, Q, X c (W{X)~Q{XSR W, X, R, Q c (W|R)~X|QSR W, X, R, S c W~(X|S){RSR W, X, R, T c W~(X|R)|TSR W, X, R, U c (X~U)|(W{R)SR W, X, R, W c W{X~R{WSR W, X, S, P c W{X~S|PSR W, X, S, Q c W~S{X{QSR W, X, S, R c W~(X|S){RSR W, X, S, T c (W{T)~S|XSR W, X, S, U c W~U|X{SSR W, X, S, V c W{(X|S)~VSR W, X, T, Q c W{(X|Q)~TSR W, X, T, R c W~(X|R)|TSR W, X, T, S c (W{T)~S|XSR W, X, T, U c W~T{X|USR W, X, U, R c (X~U)|(W{R)SR W, X, U, S c W~U|X{SSR W, X, U, T c W~T{X|USR W, X, U, V c X|W{U~VSR W, X, V, Q c W~XQ{VSR W, X, V, S c W{(X|S)~VSR W, X, V, U c X|W{V~USR W, X, W, R c W{X~R{WSR W, X, X, Q c (W{X)~Q{XSR X, O, Q, T c (X{O)~T|QSR X, O, S, V c (X{O)~S{VSR X, O, T, Q c (X{O)~T|QSR X, O, V, S c (X{O)~S{VSR X, P, P, T c (X~T)|(P{P)SR X, P, Q, S c X~(P{S)|QSR X, P, Q, T c X~P~T|QSR X, P, Q, U c (X|Q)~U{PSR X, P, R, S c (X{P)~S{RSR X, P, R, T c (X|P)~T{RSR X, P, R, V c X~(P{R){VSR X, P, S, Q c X~(P{S)|QSR X, P, S, R c (X{P)~S{RSR X, P, S, U c X~S{P{USR X, P, S, V c X~P~S{VSR X, P, S, W c X~S|P{WSR X, P, T, P c (X~T)|(P{P)SR X, P, T, Q c X~P~T|QSR X, P, T, R c (X|P)~T{RSR X, P, T, U c (X|P)~U|TSR X, P, T, V c (X{P)~T|VSR X, P, U, Q c X~(U|P)|QSR X, P, U, S c X~S{P{USR X, P, U, T c (X|P)~U|TSR X, P, V, R c X~(P{R){VSR X, P, V, S c X~P~S{VSR X, P, V, T c X|P{V~TSR X, P, W, S c X~S|P{WSR X, Q, O, T c (X{O)~T|QSR X, Q, P, S c (X{Q)~S|PSR X, Q, P, T c X~P~T|QSR X, Q, P, U c (X|Q)~U{PSR X, Q, Q, R c X~(Q{R)|QSR X, Q, Q, V c X~(Q{Q){VSR X, Q, R, Q c X~(Q{R)|QSR X, Q, R, U c (X{U)~R|QSR X, Q, R, W c X~R{Q~WSR X, Q, S, P c (X{Q)~S|PSR X, Q, S, T c X~S{Q{TSR X, Q, S, W c X{Q{S~WSR X, Q, S, X c X|Q{S~XSR X, Q, T, O c X~T|Q{OSR X, Q, T, P c X~T|Q~PSR X, Q, T, S c X~T{Q|SSR X, Q, T, T c (X|QT)~TSR X, Q, T, W c (X|Q)~T{WSR X, Q, T, X c X~(T|QX)SR X, Q, U, P c (X|Q)~U{PSR X, Q, U, R c (X{U)~R|QSR X, Q, U, U c X|Q{U~USR X, Q, U, V c (X|Q)~V|USR X, Q, U, X c (X~U)|(Q{X)SR X, Q, V, Q c X~(Q{Q){VSR X, Q, V, U c (X|Q)~V|USR X, Q, V, W c XQ~W{VSR X, Q, V, X c (X{X)~Q{VSR X, Q, W, R c X~(W|R)|QSR X, Q, W, S c X{Q{W~SSR X, Q, W, T c (X|Q)~T{WSR X, Q, W, V c XQ~W{VSR X, Q, W, X c X{Q~(W{X)SR X, Q, X, S c X|Q{X~SSR X, Q, X, T c (X~X{T)QSR X, Q, X, U c (X~U)|(Q{X)SR X, Q, X, V c (X{X)~Q{VSR X, Q, X, W c X{Q~(X{W)SR X, R, P, S c (X{P)~S{RSR X, R, P, T c (X|P)~T{RSR X, R, P, V c X~(R{P){VSR X, R, Q, Q c X~(R{Q)|QSR X, R, Q, U c (X{U)~R|QSR X, R, Q, W c X~R{Q~WSR X, R, R, V c (X{R)~R{VSR X, R, S, P c (X{P)~S{RSR X, R, S, S c X~R{S~SSR X, R, S, T c (X{R)~S|TSR X, R, S, W c (X|S)~W{RSR X, R, T, P c (X{T)~R{PSR X, R, T, S c (X{R)~S|TSR X, R, T, T c X~T{R|TSR X, R, T, U c X~T|URSR X, R, T, V c (X{V)~R|TSR X, R, T, W c XR{T~WSR X, R, U, Q c (X{U)~R|QSR X, R, U, T c X~T|URSR X, R, U, V c (X|R)~U{VSR X, R, U, W c (X~U)|(R{W)SR X, R, V, P c (X|R)~V{PSR X, R, V, R c (X{R)~R{VSR X, R, V, T c (X{V)~R|TSR X, R, V, U c (X|R)~U{VSR X, R, V, V c X~(V|R){VSR X, R, V, X c X~R{V{XSR X, R, W, Q c X~R{W~QSR X, R, W, S c (X|S)~W{RSR X, R, W, T c (X|R)~W|TSR X, R, W, U c (X~U)|(R{W)SR X, R, W, W c X~R{W{WSR X, R, X, V c X{R~X{VSR X, S, O, V c X~S{O{VSR X, S, P, Q c X~(S{P)|QSR X, S, P, R c (X{P)~S{RSR X, S, P, U c X~S{P{USR X, S, P, V c X~S{P~VSR X, S, P, W c X~S|P{WSR X, S, Q, P c X~(S{P)|QSR X, S, Q, T c X~S{Q{TSR X, S, Q, W c X{S~W{QSR X, S, Q, X c X~S|Q{XSR X, S, R, P c (X{P)~S{RSR X, S, R, S c (X{S)~R{SSR X, S, R, T c (X{R)~S|TSR X, S, R, W c (X|S)~W{RSR X, S, S, R c X~S{S{RSR X, S, S, V c (X{VS)~SSR X, S, S, X c (X{S)~S|XSR X, S, T, Q c X~S{T{QSR X, S, T, R c (X{R)~S|TSR X, S, T, U c X{S{T~USR X, S, T, V c X~V|S~TSR X, S, T, W c X~T|WSSR X, S, U, P c X~S{U{PSR X, S, U, T c X{S{U~TSR X, S, U, V c X{S~V{USR X, S, U, W c S{U~W|XSR X, S, V, O c X~S{V{OSR X, S, V, P c X~S{V~PSR X, S, V, S c (X{VS)~SSR X, S, V, T c X~V|S~TSR X, S, V, U c X{S~V{USR X, S, V, W c (X|S)~V{WSR X, S, V, X c X~(S{VX)SR X, S, W, P c X~S{W|PSR X, S, W, Q c X{S~W{QSR X, S, W, R c (X|S)~W{RSR X, S, W, T c X~T|WSSR X, S, W, U c S{W~U|XSR X, S, W, V c (X|S)~V{WSR X, S, X, Q c X{S~X|QSR X, S, X, S c (X{S)~S|XSR X, S, X, V c X~(S{VX)SR X, T, O, Q c X~T{O|QSR X, T, P, P c (X~T)|(P{P)SR X, T, P, Q c X~T|P~QSR X, T, P, R c X~T{P|RSR X, T, P, U c (X|P)~U|TSR X, T, P, V c X~(T|P){VSR X, T, Q, O c X~T|Q{OSR X, T, Q, P c X~T|Q~PSR X, T, Q, S c X~T{Q|SSR X, T, Q, T c (X|QT)~TSR X, T, Q, W c (X|Q)~T{WSR X, T, Q, X c X~(T|QX)SR X, T, R, P c (X{T)~R{PSR X, T, R, S c (X{R)~S|TSR X, T, R, T c X~T{R|TSR X, T, R, U c X~T|URSR X, T, R, V c (X{V)~R|TSR X, T, R, W c XR{T~WSR X, T, S, Q c X~T|S{QSR X, T, S, R c (X{R)~S|TSR X, T, S, U c X~T{S|USR X, T, S, V c X~V|T~SSR X, T, S, W c X~T|WSSR X, T, T, Q c (X|QT)~TSR X, T, T, R c X~T|T{RSR X, T, T, V c X~T{T|VSR X, T, T, X c X{T~T{XSR X, T, U, P c (X|P)~U|TSR X, T, U, R c X~T|URSR X, T, U, S c X{T~U{SSR X, T, U, U c (X~U)|(T{U)SR X, T, U, W c X~T{U|WSR X, T, V, P c X{T~V|PSR X, T, V, R c (X{V)~R|TSR X, T, V, S c X~V|T~SSR X, T, V, T c X~T|V{TSR X, T, V, X c X~T{V|XSR X, T, W, Q c (X|Q)~T{WSR X, T, W, R c XR{T~WSR X, T, W, S c X~T|WSSR X, T, W, U c X{T~W|USR X, T, X, Q c X~(T|QX)SR X, T, X, T c X{T~T{XSR X, T, X, V c (X|T)~X{VSR X, U, P, Q c X~(U|P)|QSR X, U, P, S c X~S{U{PSR X, U, P, T c (X|P)~U|TSR X, U, Q, P c X~(U|P)|QSR X, U, Q, R c (X{U)~R|QSR X, U, Q, U c X{U~U|QSR X, U, Q, V c X~(U|Q){VSR X, U, Q, X c (X~U)|(Q{X)SR X, U, R, Q c (X{U)~R|QSR X, U, R, T c X~T|URSR X, U, R, V c (X|R)~U{VSR X, U, R, W c (X~U)|(R{W)SR X, U, S, P c X~S{U{PSR X, U, S, T c X{U~T{SSR X, U, S, V c X{U{S~VSR X, U, S, W c U~W|X{SSR X, U, T, P c (X|P)~U|TSR X, U, T, R c X~T|URSR X, U, T, S c X{U~T{SSR X, U, T, U c (X~U)|(T{U)SR X, U, T, W c X|U{T~WSR X, U, U, Q c X{U~U|QSR X, U, U, T c (X~U)|(U{T)SR X, U, V, Q c X~(U|Q){VSR X, U, V, R c (X|R)~U{VSR X, U, V, S c X{U{V~SSR X, U, V, W c X{U~V|WSR X, U, V, X c XX{U~VSR X, U, W, R c (X~U)|(W{R)SR X, U, W, S c U~W|X{SSR X, U, W, T c X|U{W~TSR X, U, W, V c X{U~V|WSR X, U, X, Q c (X~U)|(X{Q)SR X, U, X, V c XX{U~VSR X, V, O, S c (X{O)~S{VSR X, V, P, R c X~(P{R){VSR X, V, P, S c X~P~S{VSR X, V, P, T c X{V~T|PSR X, V, Q, Q c X~(V|Q)|QSR X, V, Q, U c (X|Q)~V|USR X, V, Q, W c XQ~W{VSR X, V, Q, X c (X{X)~Q{VSR X, V, R, P c (X|R)~V{PSR X, V, R, R c (X{R)~R{VSR X, V, R, T c (X{V)~R|TSR X, V, R, U c (X|R)~U{VSR X, V, R, V c X~(V|R){VSR X, V, R, X c X{V{R~XSR X, V, S, O c X~S{V{OSR X, V, S, P c X~S{V~PSR X, V, S, S c (X{VS)~SSR X, V, S, T c X~V|S~TSR X, V, S, U c X{V~S{USR X, V, S, W c (X|S)~V{WSR X, V, S, X c X~(VX{S)SR X, V, T, P c X{V~T|PSR X, V, T, R c (X{V)~R|TSR X, V, T, S c X~V|T~SSR X, V, T, T c X~T|V{TSR X, V, T, X c X~T{V|XSR X, V, U, Q c X~(U|Q){VSR X, V, U, R c (X|R)~U{VSR X, V, U, S c X{V~S{USR X, V, U, W c X{V~U|WSR X, V, U, X c XX{V~USR X, V, V, R c X~(V|R){VSR X, V, W, Q c X~WQ{VSR X, V, W, S c X~(W|S){VSR X, V, W, U c X{V~U|WSR X, V, X, Q c (X{X)~Q{VSR X, V, X, R c X{V{X~RSR X, V, X, S c X~(VX{S)SR X, V, X, T c X~(X|T){VSR X, V, X, U c XX{V~USR X, W, P, S c X~S{W|PSR X, W, Q, R c X~(W|R)|QSR X, W, Q, S c X{W~S{QSR X, W, Q, T c (X|Q)~T{WSR X, W, Q, V c X~WQ{VSR X, W, Q, X c (X{W)~Q{XSR X, W, R, Q c X~(W|R)|QSR X, W, R, S c (X|S)~W{RSR X, W, R, T c (X|R)~W|TSR X, W, R, U c (X~U)|(W{R)SR X, W, R, W c (X{W)~R|WSR X, W, S, P c X~S{W|PSR X, W, S, Q c X{W~S{QSR X, W, S, R c (X|S)~W{RSR X, W, S, T c X~T|WSSR X, W, S, U c W~U|X{SSR X, W, S, V c X~(W|S){VSR X, W, T, Q c (X|Q)~T{WSR X, W, T, R c (X|R)~W|TSR X, W, T, S c X~T|WSSR X, W, T, U c X{W~T|USR X, W, U, R c (X~U)|(W{R)SR X, W, U, S c W~U|X{SSR X, W, U, T c X{W~T|USR X, W, U, V c X|W{U~VSR X, W, V, Q c X~WQ{VSR X, W, V, S c X~(W|S){VSR X, W, V, U c X|W{V~USR X, W, W, R c (X{W)~R|WSR X, W, X, Q c X{(W{X)~QSR X, X, Q, S c X{X~S|QSR X, X, Q, T c (X~X{T)QSR X, X, Q, U c (X~U)|(X{Q)SR X, X, Q, V c (X{X)~Q{VSR X, X, Q, W c X{(X{W)~QSR X, X, R, V c X{X~R{VSR X, X, S, Q c X{X~S|QSR X, X, S, S c (X{S)~S|XSR X, X, S, V c X~(S{VX)SR X, X, T, Q c (X~X{T)QSR X, X, T, T c X{X{T~TSR X, X, T, V c X~(X|T){VSR X, X, U, Q c (X~U)|(X{Q)SR X, X, U, V c XX{U~VSR X, X, V, Q c (X{X)~Q{VSR X, X, V, R c X{X~R{VSR X, X, V, S c X~(VX{S)SR X, X, V, T c X~(X|T){VSR X, X, V, U c XX{V~USR X, X, W, Q c X{(X{W)~QSR