O, P, U, X c O{P{U~XTT O, P, V, W c O{V~W|PTT O, P, W, V c O{W~V|PTT O, P, X, U c O{P{X~UTT O, Q, T, X c (O{Q{X)~TTT O, Q, X, T c (O{Q{X)~TTT O, R, T, W c (O{R{W)~TTT O, R, W, T c (O{R{W)~TTT O, S, T, V c (O{S{V)~TTT O, S, V, T c (O{S{V)~TTT O, T, Q, X c (O{T)~(Q{X)TT O, T, R, W c (O{T)~(R{W)TT O, T, S, V c (O{T)~(S{V)TT O, T, T, U c (O{T)~(T{U)TT O, T, U, T c (O{T{U)~TTT O, T, V, S c (O{T)~(V{S)TT O, T, W, R c (O{T)~(W{R)TT O, T, X, Q c (O{T)~(X{Q)TT O, U, P, X c O{U~X{PTT O, U, T, T c (O{U{T)~TTT O, U, V, V c O{U{V~VTT O, U, V, W c O{U~W{VTT O, U, W, V c O{U~W{VTT O, U, X, P c O{U~X{PTT O, V, P, W c O{V~W|PTT O, V, S, T c (O{V{S)~TTT O, V, T, S c (O{V{S)~TTT O, V, U, V c O{V~V{UTT O, V, U, W c O{V{U~WTT O, V, V, U c O{V~V{UTT O, V, W, P c O{V~W|PTT O, V, W, U c O{V{W~UTT O, V, W, X c O{V~X|WTT O, V, X, W c O{V~X|WTT O, W, P, V c O{W~V|PTT O, W, R, T c (O{W{R)~TTT O, W, T, R c (O{W{R)~TTT O, W, U, V c O{W~U{VTT O, W, V, P c O{W~V|PTT O, W, V, U c O{W~U{VTT O, W, V, X c O{V~X|WTT O, W, W, X c O{W~W|XTT O, W, X, V c O{X~V|WTT O, W, X, W c O{W~W|XTT O, X, P, U c O{X~U{PTT O, X, Q, T c (O{X{Q)~TTT O, X, T, Q c (O{X{Q)~TTT O, X, U, P c O{X~U{PTT O, X, V, W c O{X~V|WTT O, X, W, V c O{X~V|WTT O, X, W, W c O{W~W|XTT P, O, U, X c P{O{U~XTT P, O, V, W c O{V~W|PTT P, O, W, V c O{W~V|PTT P, O, X, U c P{O{X~UTT P, P, T, X c P{(P{T)~XTT P, P, U, W c P{(P{W)~UTT P, P, U, X c P{P~U~XTT P, P, V, V c (P{V)~V|PTT P, P, V, W c P~V~W|PTT P, P, V, X c P{(V|P)~XTT P, P, W, U c P{(P{W)~UTT P, P, W, V c P~W~V|PTT P, P, W, W c (W|P)~W|PTT P, P, X, T c (P{P{X)~TTT P, P, X, U c P{P~X~UTT P, P, X, V c P{X~(V|P)TT P, Q, R, X c P{Q~R~XTT P, Q, S, V c Q~S~V|PTT P, Q, S, X c P{(Q{S)~XTT P, Q, T, T c (P{Q~T)~TTT P, Q, T, U c (Q~U|P)~TTT P, Q, T, W c (P{Q{W)~TTT P, Q, T, X c (P~Q{X)~TTT P, Q, U, T c (Q~U|P)~TTT P, Q, U, V c P{(Q{V)~UTT P, Q, U, X c Q|P{U~XTT P, Q, V, S c Q~V~S|PTT P, Q, V, U c P{(Q{V)~UTT P, Q, V, W c P{V~W|QTT P, Q, W, T c (P{Q{W)~TTT P, Q, W, V c P{W~V|QTT P, Q, W, X c P{(W|Q)~XTT P, Q, X, R c P{Q~X~RTT P, Q, X, S c P{(Q{S)~XTT P, Q, X, T c (P~Q{X)~TTT P, Q, X, U c Q|P{X~UTT P, Q, X, W c P{X~(W|Q)TT P, R, Q, X c P{R~Q~XTT P, R, R, U c P{R~R~UTT P, R, R, X c P{(R{R)~XTT P, R, S, T c (R~S|P)~TTT P, R, S, W c (P{S)~(R{W)TT P, R, T, S c (R~S|P)~TTT P, R, T, V c (P{R{V)~TTT P, R, T, W c (P~R{W)~TTT P, R, T, X c (R|P{X)~TTT P, R, U, R c P{R~U~RTT P, R, U, U c P{(R{U)~UTT P, R, U, W c (R{W)~(U|P)TT P, R, V, T c (P{R{V)~TTT P, R, W, S c (P{S)~(R{W)TT P, R, W, T c (P~R{W)~TTT P, R, W, U c (R{W)~(U|P)TT P, R, X, Q c P{R~X~QTT P, R, X, R c P{(R{R)~XTT P, R, X, T c (R|P{X)~TTT P, R, X, X c P{R~(X{X)TT P, S, Q, V c S~Q~V|PTT P, S, Q, X c P{(S{Q)~XTT P, S, R, T c (S~R|P)~TTT P, S, R, W c (P{S)~(R{W)TT P, S, S, V c (P{S)~(S{V)TT P, S, T, R c (S~R|P)~TTT P, S, T, U c P{(S{T)~UTT P, S, T, V c (P~S{V)~TTT P, S, T, W c (S|P{W)~TTT P, S, T, X c S~(T{X)|PTT P, S, U, T c (P{S{U)~TTT P, S, U, V c (S{V)~(U|P)TT P, S, U, W c S~(U{W)|PTT P, S, V, Q c S~V~Q|PTT P, S, V, S c (P{S)~(V{S)TT P, S, V, T c (P~S{V)~TTT P, S, V, U c (S{V)~(U|P)TT P, S, V, V c S~(V{V)|PTT P, S, W, R c (P{S)~(W{R)TT P, S, W, T c (S|P{W)~TTT P, S, W, U c S~(W{U)|PTT P, S, X, Q c (P{S)~(X{Q)TT P, S, X, T c S~(X{T)|PTT P, T, P, X c P{(T{P)~XTT P, T, Q, T c (P{T~Q)~TTT P, T, Q, U c T~(Q~U|P)TT P, T, Q, W c (P{Q{W)~TTT P, T, Q, X c (P~T)~(Q{X)TT P, T, R, S c T~(R~S|P)TT P, T, R, V c (P{R{V)~TTT P, T, R, W c (P~T)~(R{W)TT P, T, R, X c T~(R|P{X)TT P, T, S, R c T~(S~R|P)TT P, T, S, U c P{(T{S)~UTT P, T, S, V c (P~T)~(S{V)TT P, T, S, W c T~(S|P{W)TT P, T, S, X c (T{X)~S|PTT P, T, T, Q c (P{T~Q)~TTT P, T, T, T c (P{T{T)~TTT P, T, T, U c (P~T)~(T{U)TT P, T, T, V c (T|P{V)~TTT P, T, T, X c (P{X)~T{TTT P, T, U, Q c T~(U~Q|P)TT P, T, U, S c P{(T{S)~UTT P, T, U, T c (P~T{U)~TTT P, T, U, U c T~(U|P{U)TT P, T, U, X c (P{X)~U|TTT P, T, V, R c (P{V{R)~TTT P, T, V, S c (P~T)~(V{S)TT P, T, V, T c (T|P{V)~TTT P, T, V, V c P{T{V~VTT P, T, V, W c (P{T)~W{VTT P, T, W, Q c (P{W{Q)~TTT P, T, W, R c (P~T)~(W{R)TT P, T, W, S c T~(W|P{S)TT P, T, W, V c (P{T)~W{VTT P, T, X, P c (P{T)~X{PTT P, T, X, Q c (P~T)~(X{Q)TT P, T, X, R c T~(X|P{R)TT P, T, X, S c (T{X)~S|PTT P, T, X, T c (P{X)~T{TTT P, T, X, U c (P{X)~U|TTT P, T, X, X c P{T~X{XTT P, U, O, X c P{(U{O)~XTT P, U, P, W c P{U~(P{W)TT P, U, P, X c P{U~P~XTT P, U, Q, T c (U~Q|P)~TTT P, U, Q, V c P{U~(Q{V)TT P, U, Q, X c (U|P)~(Q{X)TT P, U, R, R c P{U~R~RTT P, U, R, U c P{(U{R)~UTT P, U, R, W c (U|P)~(R{W)TT P, U, S, T c (P{U{S)~TTT P, U, S, V c (U|P)~(S{V)TT P, U, S, W c (U{W)~S|PTT P, U, T, Q c (U~Q|P)~TTT P, U, T, S c P{U~(T{S)TT P, U, T, T c (P~U{T)~TTT P, U, T, U c (U|P)~(T{U)TT P, U, T, X c (P{X)~U|TTT P, U, U, R c P{U~(U{R)TT P, U, U, T c (U|P{U)~TTT P, U, U, V c (P{U)~V{UTT P, U, U, W c P{U{U~WTT P, U, U, X c (PU{X)~UTT P, U, V, Q c P{U~(V{Q)TT P, U, V, S c (U|P)~(V{S)TT P, U, V, U c (P{U)~V{UTT P, U, V, V c P~U{V~VTT P, U, V, W c P~U~W{VTT P, U, V, X c U~(X|P){VTT P, U, W, P c P{U~(W{P)TT P, U, W, R c (U|P)~(W{R)TT P, U, W, S c (U{W)~S|PTT P, U, W, U c P{U{W~UTT P, U, W, V c P~U~W{VTT P, U, W, W c U~W|P{WTT P, U, W, X c (P{U)~X|WTT P, U, X, O c P{U~X{OTT P, U, X, P c P{U~X~PTT P, U, X, Q c (U|P)~(X{Q)TT P, U, X, T c (P{X)~U|TTT P, U, X, U c (PU{X)~UTT P, U, X, V c U~(X|P){VTT P, U, X, W c (P{U)~X|WTT P, U, X, X c (PX{U)~XTT P, V, O, W c (V{O)~W|PTT P, V, P, V c (P{V)~V|PTT P, V, P, W c P~V~W|PTT P, V, P, X c P{(V|P)~XTT P, V, Q, S c V~Q~S|PTT P, V, Q, U c P{(V{Q)~UTT P, V, Q, W c P{V~W|QTT P, V, R, T c (P{V{R)~TTT P, V, S, Q c V~S~Q|PTT P, V, S, S c (P{S)~(V{S)TT P, V, S, T c (P~V{S)~TTT P, V, S, U c (V{S)~(U|P)TT P, V, S, V c (V{V)~S|PTT P, V, T, R c (P{V{R)~TTT P, V, T, S c (P~V{S)~TTT P, V, T, T c (V|P{T)~TTT P, V, T, V c P{V~V{TTT P, V, T, W c (P{T)~W{VTT P, V, U, Q c P{(V{Q)~UTT P, V, U, S c (V{S)~(U|P)TT P, V, U, U c (P{U)~V{UTT P, V, U, V c (P{V)~U{VTT P, V, U, W c P~V{U~WTT P, V, U, X c V{U~(X|P)TT P, V, V, P c (P{V)~V|PTT P, V, V, S c (V{V)~S|PTT P, V, V, T c P{V~V{TTT P, V, V, U c P~V~V{UTT P, V, V, V c V|P{V~VTT P, V, V, W c (V|P)~W{VTT P, V, V, X c (V~X)|(P{V)TT P, V, W, O c V~W|P{OTT P, V, W, P c P~V~W|PTT P, V, W, Q c P{V~W|QTT P, V, W, T c (P{T)~W{VTT P, V, W, U c P~V{W~UTT P, V, W, V c (V|P)~W{VTT P, V, W, W c (P{W)~V|WTT P, V, W, X c (P{V)~W|XTT P, V, X, P c P{(V|P)~XTT P, V, X, U c V{(X|P)~UTT P, V, X, V c (V~X)|(P{V)TT P, V, X, W c P~V~X|WTT P, V, X, X c P{V~X|XTT P, W, O, V c (W{O)~V|PTT P, W, P, U c P{(W{P)~UTT P, W, P, V c P~W~V|PTT P, W, P, W c (W|P)~W|PTT P, W, Q, T c (P{W{Q)~TTT P, W, Q, V c P{W~V|QTT P, W, Q, X c P{(W|Q)~XTT P, W, R, S c (P{S)~(W{R)TT P, W, R, T c (P~W{R)~TTT P, W, R, U c (W{R)~(U|P)TT P, W, S, R c (P{S)~(W{R)TT P, W, S, T c (W|P{S)~TTT P, W, S, U c (W{U)~S|PTT P, W, T, Q c (P{W{Q)~TTT P, W, T, R c (P~W{R)~TTT P, W, T, S c (W|P{S)~TTT P, W, T, V c (P{T)~W{VTT P, W, U, P c (P{W)~U{PTT P, W, U, R c (W{R)~(U|P)TT P, W, U, S c (W{U)~S|PTT P, W, U, U c P{W~U{UTT P, W, U, V c P~W~U{VTT P, W, U, W c W|P{U~WTT P, W, U, X c (P{U)~X|WTT P, W, V, O c W~V|P{OTT P, W, V, P c P~W~V|PTT P, W, V, Q c P{W~V|QTT P, W, V, T c (P{T)~W{VTT P, W, V, U c P~W~U{VTT P, W, V, V c (W|PV)~VTT P, W, V, W c (P{W)~V|WTT P, W, V, X c (P{V)~W|XTT P, W, W, P c (W|P)~W|PTT P, W, W, U c W|P{W~UTT P, W, W, V c (P{W)~V|WTT P, W, W, W c (W~W)|(P{W)TT P, W, W, X c P~W~W|XTT P, W, X, Q c P{(W|Q)~XTT P, W, X, U c (P{U)~X|WTT P, W, X, V c P~X~V|WTT P, W, X, W c P~W~W|XTT P, W, X, X c W~(X|P)|XTT P, X, O, U c P{(X{O)~UTT P, X, P, T c (P{X{P)~TTT P, X, P, U c P{X~P~UTT P, X, P, V c P{X~(V|P)TT P, X, Q, R c P{X~Q~RTT P, X, Q, S c P{X~(Q{S)TT P, X, Q, T c (P~X{Q)~TTT P, X, Q, U c (X{Q)~(U|P)TT P, X, Q, W c P{X~(W|Q)TT P, X, R, Q c P{X~R~QTT P, X, R, R c P{X~(R{R)TT P, X, R, T c (X|P{R)~TTT P, X, R, X c P{(X|R)~XTT P, X, S, Q c P{X~(S{Q)TT P, X, S, T c (X{T)~S|PTT P, X, T, P c P{X~(T{P)TT P, X, T, Q c (P~X{Q)~TTT P, X, T, R c (X|P{R)~TTT P, X, T, S c (X{T)~S|PTT P, X, T, T c (P{X)~T{TTT P, X, T, U c (P{X)~U|TTT P, X, T, X c P{X{T~XTT P, X, U, O c P{X~U{OTT P, X, U, P c P{X~U~PTT P, X, U, Q c X~U|P{QTT P, X, U, T c (P{X)~U|TTT P, X, U, U c (PU{X)~UTT P, X, U, V c (X|P)~U{VTT P, X, U, W c (P{U)~X|WTT P, X, U, X c (PX{U)~XTT P, X, V, P c P{X~(V|P)TT P, X, V, U c (X|P)~U{VTT P, X, V, V c (X~V)|(P{V)TT P, X, V, W c P~X~V|WTT P, X, V, X c P{X~V|XTT P, X, W, Q c P{X~(W|Q)TT P, X, W, U c (P{U)~X|WTT P, X, W, V c P~X~V|WTT P, X, W, W c P~W~W|XTT P, X, W, X c (X|P)~W|XTT P, X, X, R c P{(X{X)~RTT P, X, X, T c P{X{X~TTT P, X, X, U c (PX{U)~XTT P, X, X, V c P{X~V|XTT P, X, X, W c (X|P)~W|XTT Q, O, T, X c (Q{O{X)~TTT Q, O, X, T c (Q{O{X)~TTT Q, P, R, X c Q~R~X{PTT Q, P, S, V c Q~S~V|PTT Q, P, S, X c (Q{S)~X{PTT Q, P, T, T c (Q~T{P)~TTT Q, P, T, U c (Q~U|P)~TTT Q, P, T, W c (Q{P{W)~TTT Q, P, T, X c (Q{P~X)~TTT Q, P, U, T c (Q~U|P)~TTT Q, P, U, V c (Q{U)~V|PTT Q, P, U, X c Q|P{U~XTT Q, P, V, S c Q~V~S|PTT Q, P, V, U c (Q{V)~U{PTT Q, P, V, W c P{V~W|QTT Q, P, W, T c (Q{P{W)~TTT Q, P, W, V c P{W~V|QTT Q, P, W, X c P{(W|Q)~XTT Q, P, X, R c Q~X~R{PTT Q, P, X, S c (Q{X)~(P{S)TT Q, P, X, T c (Q{P~X)~TTT Q, P, X, U c Q|P{X~UTT Q, P, X, W c P{X~(W|Q)TT Q, Q, R, X c (Q{R)~(Q{X)TT Q, Q, T, V c (Q{Q{V)~TTT Q, Q, U, X c QQ{U~XTT Q, Q, V, T c (Q{Q{V)~TTT Q, Q, V, W c V~W|QQTT Q, Q, V, X c (Q{X)~(V|Q)TT Q, Q, W, V c W~V|QQTT Q, Q, X, R c (Q{X)~(Q{R)TT Q, Q, X, U c QQ{X~UTT Q, Q, X, V c (Q{X)~(V|Q)TT Q, R, P, X c Q~R~X{PTT Q, R, Q, X c (Q{R)~(Q{X)TT Q, R, R, T c (Q{R~R)~TTT Q, R, R, W c (Q{R)~(R{W)TT Q, R, S, T c (Q~S{R)~TTT Q, R, S, V c (Q{R)~(S{V)TT Q, R, T, R c (Q{R~R)~TTT Q, R, T, S c (Q~S{R)~TTT Q, R, T, T c (Q~R{T)~TTT Q, R, T, U c (Q{R)~(T{U)TT Q, R, T, V c (Q~V|R)~TTT Q, R, U, T c (Q{R{U)~TTT Q, R, U, X c R|Q{U~XTT Q, R, V, S c (Q{R)~(V{S)TT Q, R, V, T c (Q~V|R)~TTT Q, R, V, V c Q~R{V~VTT Q, R, V, W c Q~R~W{VTT Q, R, W, R c (Q{R)~(W{R)TT Q, R, W, V c Q~R~W{VTT Q, R, W, X c (Q{X)~(W|R)TT Q, R, X, P c Q~R~X{PTT Q, R, X, Q c (Q{R)~(X{Q)TT Q, R, X, U c R|Q{X~UTT Q, R, X, W c (Q{X)~(W|R)TT Q, S, P, V c Q~S~V|PTT Q, S, P, X c (Q{S)~X{PTT Q, S, R, T c (Q~S{R)~TTT Q, S, R, V c (Q{R)~(S{V)TT Q, S, T, R c (Q~S{R)~TTT Q, S, T, T c (Q{S{T)~TTT Q, S, T, X c (S|Q{X)~TTT Q, S, U, V c Q~S~U{VTT Q, S, V, P c Q~S~V|PTT Q, S, V, R c (Q{R)~(S{V)TT Q, S, V, U c Q~S~U{VTT Q, S, V, V c Q{S{V~VTT Q, S, V, W c (Q{S)~W{VTT Q, S, V, X c V~X|Q~STT Q, S, W, V c (Q{S)~W{VTT Q, S, W, X c Q~S~W|XTT Q, S, X, P c (Q{S)~X{PTT Q, S, X, T c (S|Q{X)~TTT Q, S, X, V c X~V|Q~STT Q, S, X, W c Q~S~W|XTT Q, S, X, X c (Q{X)~(X|S)TT Q, T, O, X c (Q{O{X)~TTT Q, T, P, T c (Q~T{P)~TTT Q, T, P, U c (Q~U|P)~TTT Q, T, P, W c (Q{T)~W|PTT Q, T, P, X c (Q{P~X)~TTT Q, T, Q, V c (Q{Q{V)~TTT Q, T, R, R c (Q{R~R)~TTT Q, T, R, S c (Q~S{R)~TTT Q, T, R, T c (Q~R{T)~TTT Q, T, R, U c (Q{R)~(T{U)TT Q, T, R, V c (Q~V|R)~TTT Q, T, S, R c (Q~S{R)~TTT Q, T, S, T c (Q{T{S)~TTT Q, T, S, X c T~(S|Q{X)TT Q, T, T, P c (Q~T{P)~TTT Q, T, T, R c (Q~R{T)~TTT Q, T, T, S c (Q{T{S)~TTT Q, T, T, T c Q~T~T{TTT Q, T, T, U c Q~T~U|TTT Q, T, T, W c (Q{W)~T{TTT Q, T, T, X c Q~T{T~XTT Q, T, U, P c (Q~U|P)~TTT Q, T, U, R c (Q{U{R)~TTT Q, T, U, T c Q~T~U|TTT Q, T, U, V c (Q{T)~V{UTT Q, T, U, W c Q{T{U~WTT Q, T, V, Q c (Q{V{Q)~TTT Q, T, V, R c (Q~V|R)~TTT Q, T, V, U c (Q{T)~V{UTT Q, T, V, W c T~(V{WQ)TT Q, T, V, X c (Q~X|V)~TTT Q, T, W, P c (Q{T)~W|PTT Q, T, W, T c (Q{W)~T{TTT Q, T, W, U c Q{T{W~UTT Q, T, W, V c T~(WQ{V)TT Q, T, W, X c Q{T~X{WTT Q, T, X, O c (Q{X)~(T{O)TT Q, T, X, P c (Q{X)~(T~P)TT Q, T, X, S c T~(X|Q{S)TT Q, T, X, T c Q~T{X~TTT Q, T, X, V c (Q~X|V)~TTT Q, T, X, W c Q{T~X{WTT Q, U, P, T c (Q~U|P)~TTT Q, U, P, V c (Q{U)~V|PTT Q, U, P, X c Q{U~X|PTT Q, U, Q, X c QQ{U~XTT Q, U, R, T c (Q{U{R)~TTT Q, U, R, X c U~X|Q{RTT Q, U, S, V c Q~U~S{VTT Q, U, T, P c (Q~U|P)~TTT Q, U, T, R c (Q{U{R)~TTT Q, U, T, T c Q~U~T|TTT Q, U, T, V c (Q{T)~V{UTT Q, U, T, W c Q{U~W{TTT Q, U, U, V c (Q{U)~U{VTT Q, U, V, P c (Q{U)~V|PTT Q, U, V, S c Q~U~S{VTT Q, U, V, T c (Q{T)~V{UTT Q, U, V, U c (Q{U)~U{VTT Q, U, V, X c U{V~(X|Q)TT Q, U, W, T c Q{U~W{TTT Q, U, W, X c (Q{U)~W|XTT Q, U, X, P c Q{U~X|PTT Q, U, X, Q c QQ{U~XTT Q, U, X, R c U~X|Q{RTT Q, U, X, V c U{(X|Q)~VTT Q, U, X, W c (Q{U)~W|XTT Q, V, P, S c Q~V~S|PTT Q, V, P, U c (Q{V)~U{PTT Q, V, P, W c V~W|Q{PTT Q, V, Q, T c (Q{V{Q)~TTT Q, V, Q, W c V~W|QQTT Q, V, Q, X c (Q{X)~(V|Q)TT Q, V, R, S c (Q{R)~(V{S)TT Q, V, R, T c (Q~V|R)~TTT Q, V, R, V c Q~R{V~VTT Q, V, R, W c Q{V~W|RTT Q, V, S, P c Q~V~S|PTT Q, V, S, R c (Q{R)~(V{S)TT Q, V, S, U c Q~S~U{VTT Q, V, S, V c Q{V~V{STT Q, V, S, W c (Q{S)~W{VTT Q, V, S, X c V~X|Q~STT Q, V, T, Q c (Q{V{Q)~TTT Q, V, T, R c (Q~V|R)~TTT Q, V, T, U c (Q{T)~V{UTT Q, V, T, W c (V{WQ)~TTT Q, V, T, X c (Q~X|V)~TTT Q, V, U, P c (Q{V)~U{PTT Q, V, U, S c Q~U~S{VTT Q, V, U, T c (Q{T)~V{UTT Q, V, U, U c (Q{U)~U{VTT Q, V, U, X c (V~X)|(Q{U)TT Q, V, V, R c Q~R{V~VTT Q, V, V, S c Q{V~V{STT Q, V, V, W c (Q{V)~V|WTT Q, V, W, P c V~W|Q{PTT Q, V, W, Q c V~W|QQTT Q, V, W, R c Q{V~W|RTT Q, V, W, S c (Q{S)~W{VTT Q, V, W, T c (V{WQ)~TTT Q, V, W, V c (Q{V)~V|WTT Q, V, W, W c V{(W|Q)~WTT Q, V, X, Q c (Q{X)~(V|Q)TT Q, V, X, S c V~X|Q~STT Q, V, X, T c (Q~X|V)~TTT Q, V, X, U c (V~X)|(Q{U)TT Q, W, P, T c (Q{W{P)~TTT Q, W, P, V c W~V|Q{PTT Q, W, P, X c (W|Q)~X{PTT Q, W, Q, V c W~V|QQTT Q, W, R, R c (Q{R)~(W{R)TT Q, W, R, V c Q~W~R{VTT Q, W, R, X c (Q{X)~(W|R)TT Q, W, S, V c (Q{S)~W{VTT Q, W, S, X c Q~W~S|XTT Q, W, T, P c (Q{W{P)~TTT Q, W, T, T c (Q{W)~T{TTT Q, W, T, U c Q{W~U{TTT Q, W, T, V c (WQ{V)~TTT Q, W, T, X c Q{W{T~XTT Q, W, U, T c Q{W~U{TTT Q, W, U, X c (Q{U)~W|XTT Q, W, V, P c W~V|Q{PTT Q, W, V, Q c W~V|QQTT Q, W, V, R c Q{W~V|RTT Q, W, V, S c (Q{S)~W{VTT Q, W, V, T c (WQ{V)~TTT Q, W, V, V c (Q{V)~V|WTT Q, W, V, W c (W|Q)~W{VTT Q, W, W, V c (W|Q)~W{VTT Q, W, X, P c (W|Q)~X{PTT Q, W, X, R c (Q{X)~(W|R)TT Q, W, X, S c Q~W~S|XTT Q, W, X, T c Q{W{X~TTT Q, W, X, U c (Q{U)~W|XTT Q, W, X, X c (X|Q)~X|WTT Q, X, O, T c (Q{X{O)~TTT Q, X, P, R c Q~X~R{PTT Q, X, P, S c (Q{X)~(P{S)TT Q, X, P, T c (Q{X)~(P~T)TT Q, X, P, U c Q{X~U|PTT Q, X, P, W c (X|Q)~W|PTT Q, X, Q, R c (Q{X)~(Q{R)TT Q, X, Q, U c QQ{X~UTT Q, X, Q, V c (Q{X)~(V|Q)TT Q, X, R, P c Q~X~R{PTT Q, X, R, Q c (Q{X)~(R{Q)TT Q, X, R, U c X~U|Q{RTT Q, X, R, W c (Q{X)~(W|R)TT Q, X, S, P c (Q{X)~(S{P)TT Q, X, S, T c (X|Q{S)~TTT Q, X, S, V c X~V|Q~STT Q, X, S, W c Q~S~W|XTT Q, X, S, X c (Q{X)~(X|S)TT Q, X, T, O c (Q{X)~(T{O)TT Q, X, T, P c (Q{X)~(T~P)TT Q, X, T, S c (X|Q{S)~TTT Q, X, T, T c Q~T{X~TTT Q, X, T, V c (Q~X|V)~TTT Q, X, T, W c Q{X~T{WTT Q, X, U, P c Q{X~U|PTT Q, X, U, Q c QQ{X~UTT Q, X, U, R c X~U|Q{RTT Q, X, U, V c (X|Q)~V{UTT Q, X, U, W c (Q{U)~W|XTT Q, X, V, Q c (Q{X)~(V|Q)TT Q, X, V, S c X~V|Q~STT Q, X, V, T c (Q~X|V)~TTT Q, X, V, U c (X|Q)~V{UTT Q, X, W, P c (X|Q)~W|PTT Q, X, W, R c (Q{X)~(W|R)TT Q, X, W, S c Q~W~S|XTT Q, X, W, T c Q{X~T{WTT Q, X, W, U c (Q{U)~W|XTT Q, X, W, X c (X|Q)~X|WTT Q, X, X, S c (Q{X)~(X|S)TT Q, X, X, W c (X|Q)~X|WTT R, O, T, W c (R{O{W)~TTT R, O, W, T c (R{O{W)~TTT R, P, Q, X c R~Q~X{PTT R, P, R, U c R~R~U{PTT R, P, R, X c (R{R)~X{PTT R, P, S, T c (R~S|P)~TTT R, P, S, W c (R{S)~W|PTT R, P, T, S c (R~S|P)~TTT R, P, T, V c (R{P{V)~TTT R, P, T, W c (R{P~W)~TTT R, P, T, X c (R|P{X)~TTT R, P, U, R c R~U~R{PTT R, P, U, U c (R{U)~U{PTT R, P, U, W c (R{W)~(U|P)TT R, P, V, T c (R{P{V)~TTT R, P, W, S c (R{W)~(P{S)TT R, P, W, T c (R{P~W)~TTT R, P, W, U c (R{W)~(U|P)TT R, P, X, Q c R~X~Q{PTT R, P, X, R c (R{R)~X{PTT R, P, X, T c (R|P{X)~TTT R, P, X, X c R~(X{X){PTT R, Q, P, X c R~Q~X{PTT R, Q, Q, X c (R{Q)~(Q{X)TT R, Q, R, T c (R~R{Q)~TTT R, Q, R, W c (R{Q)~(R{W)TT R, Q, S, T c (R{Q~S)~TTT R, Q, S, V c (R{Q)~(S{V)TT R, Q, T, R c (R~R{Q)~TTT R, Q, T, S c (R{Q~S)~TTT R, Q, T, T c (R~Q{T)~TTT R, Q, T, U c (R{Q)~(T{U)TT R, Q, T, V c (Q~V|R)~TTT R, Q, U, T c (R{Q{U)~TTT R, Q, U, X c R|Q{U~XTT R, Q, V, S c (R{Q)~(V{S)TT R, Q, V, T c (Q~V|R)~TTT R, Q, V, V c R~Q{V~VTT R, Q, V, W c R~Q~W{VTT R, Q, W, R c (R{Q)~(W{R)TT R, Q, W, V c R~Q~W{VTT R, Q, W, X c (Q{X)~(W|R)TT R, Q, X, P c R~Q~X{PTT R, Q, X, Q c (R{Q)~(X{Q)TT R, Q, X, U c R|Q{X~UTT R, Q, X, W c (Q{X)~(W|R)TT R, R, P, U c R~R~U{PTT R, R, P, X c (R{R)~X{PTT R, R, Q, T c (R~R{Q)~TTT R, R, Q, W c (R{Q)~(R{W)TT R, R, T, Q c (R~R{Q)~TTT R, R, T, T c (R{R{T)~TTT R, R, U, P c R~R~U{PTT R, R, U, X c RR{U~XTT R, R, V, V c R{R{V~VTT R, R, V, W c R~R~V|WTT R, R, W, Q c (R{W)~(R{Q)TT R, R, W, V c (R{R)~W{VTT R, R, W, W c (R{W)~(W|R)TT R, R, X, P c (R{R)~X{PTT R, R, X, U c RR{X~UTT R, S, P, T c (R~S|P)~TTT R, S, P, W c (R{S)~W|PTT R, S, Q, T c (R{S~Q)~TTT R, S, Q, V c (R{Q)~(S{V)TT R, S, S, T c (R{S{S)~TTT R, S, S, V c R~S~S{VTT R, S, S, X c R{S~(S{X)TT R, S, T, P c (R~S|P)~TTT R, S, T, Q c (R{S~Q)~TTT R, S, T, S c (R{S{S)~TTT R, S, T, T c R~S~T|TTT R, S, T, W c R{S~(T{W)TT R, S, U, V c R{S~(U{V)TT R, S, U, W c R{S{U~WTT R, S, U, X c S|R{U~XTT R, S, V, Q c (R{Q)~(S{V)TT R, S, V, S c R~S~S{VTT R, S, V, U c (R{S)~V{UTT R, S, V, W c R{V~W|STT R, S, V, X c (R{X)~S{VTT R, S, W, P c (R{S)~W|PTT R, S, W, T c R{S~(W{T)TT R, S, W, U c R{S{W~UTT R, S, W, V c R{W~V|STT R, S, W, X c (R{S)~X|WTT R, S, X, S c R{(S{X)~STT R, S, X, U c S|R{X~UTT R, S, X, V c (R{X)~S{VTT R, S, X, W c (R{S)~X|WTT R, T, O, W c (R{O{W)~TTT R, T, P, S c (R~S|P)~TTT R, T, P, V c (R{T)~V|PTT R, T, P, W c (R{P~W)~TTT R, T, P, X c (R|P{X)~TTT R, T, Q, R c (R~R{Q)~TTT R, T, Q, S c (R{Q~S)~TTT R, T, Q, T c (R~Q{T)~TTT R, T, Q, U c (R{Q)~(T{U)TT R, T, Q, V c T~(Q~V|R)TT R, T, R, Q c (R~R{Q)~TTT R, T, R, T c (R{T{R)~TTT R, T, S, P c (R~S|P)~TTT R, T, S, Q c (R{S~Q)~TTT R, T, S, S c (R{S{S)~TTT R, T, S, T c (R~T|S)~TTT R, T, S, W c R{(T{W)~STT R, T, T, Q c (R~Q{T)~TTT R, T, T, R c (R{T{R)~TTT R, T, T, S c (R~T|S)~TTT R, T, T, V c (R{V)~T{TTT R, T, T, W c R~T{T~WTT R, T, T, X c (R{X)~T|TTT R, T, U, Q c (R{U{Q)~TTT R, T, U, V c (R{T)~U{VTT R, T, U, W c T~(U|R{W)TT R, T, U, X c T~(UR{X)TT R, T, V, P c (R{T)~V|PTT R, T, V, Q c T~(V~Q|R)TT R, T, V, T c (R{V)~T{TTT R, T, V, U c (R{T)~U{VTT R, T, V, V c T~(V|R{V)TT R, T, V, X c R{T~X{VTT R, T, W, O c (R{W)~(T{O)TT R, T, W, P c (R{W)~(T~P)TT R, T, W, S c R{(T{W)~STT R, T, W, T c R~T{W~TTT R, T, W, U c T~(W|R{U)TT R, T, W, X c (R{T)~W|XTT R, T, X, P c (R{X|P)~TTT R, T, X, T c (R{X)~T|TTT R, T, X, U c T~(X{UR)TT R, T, X, V c R{T~X{VTT R, T, X, W c (R{T)~W|XTT R, U, P, R c R~U~R{PTT R, U, P, U c (R{U)~U{PTT R, U, P, W c (R{W)~(U|P)TT R, U, Q, T c (R{U{Q)~TTT R, U, Q, X c R{U~X|QTT R, U, R, P c R~U~R{PTT R, U, R, X c RR{U~XTT R, U, S, V c R{(U{V)~STT R, U, S, W c R{U~W{STT R, U, S, X c U~X|R{STT R, U, T, Q c (R{U{Q)~TTT R, U, T, V c (R~U|V)~TTT R, U, T, W c (U|R{W)~TTT R, U, T, X c (UR{X)~TTT R, U, U, P c (R{U)~U{PTT R, U, V, S c R{(U{V)~STT R, U, V, T c (R~U|V)~TTT R, U, V, W c (R{U)~V|WTT R, U, W, P c (R{W)~(U|P)TT R, U, W, S c R{U~W{STT R, U, W, T c (U|R{W)~TTT R, U, W, V c (R{U)~V|WTT R, U, W, W c (W~W)|(R{U)TT R, U, X, Q c R{U~X|QTT R, U, X, R c RR{U~XTT R, U, X, S c U~X|R{STT R, U, X, T c (UR{X)~TTT R, V, P, T c (R{V{P)~TTT R, V, Q, S c (R{Q)~(V{S)TT R, V, Q, T c (V~Q|R)~TTT R, V, Q, V c R~Q{V~VTT R, V, Q, W c R~Q~W{VTT R, V, R, V c R{V~V{RTT R, V, R, W c R~V~R|WTT R, V, S, Q c (R{Q)~(V{S)TT R, V, S, S c R~S~S{VTT R, V, S, U c R{(V{U)~STT R, V, S, W c R{V~W|STT R, V, S, X c R~X{V~STT R, V, T, P c (R{V{P)~TTT R, V, T, Q c (V~Q|R)~TTT R, V, T, T c (R{V)~T{TTT R, V, T, U c (R{V)~U|TTT R, V, T, V c (V|R{V)~TTT R, V, T, X c R{V{T~XTT R, V, U, S c R{(V{U)~STT R, V, U, T c (R{V)~U|TTT R, V, U, W c (R{U)~V|WTT R, V, V, Q c R~Q{V~VTT R, V, V, R c R{V~V{RTT R, V, V, T c (V|R{V)~TTT R, V, V, X c R~(V{X){VTT R, V, W, Q c (R{W)~(V|Q)TT R, V, W, R c R~V~R|WTT R, V, W, S c R{V~W|STT R, V, W, U c (R{U)~V|WTT R, V, W, W c R~(W{W){VTT R, V, W, X c V{W~(X|R)TT R, V, X, S c R~X{V~STT R, V, X, T c R{V{X~TTT R, V, X, V c R~(V{X){VTT R, V, X, W c V{(X|R)~WTT R, W, O, T c (R{W{O)~TTT R, W, P, S c (R{W)~(P{S)TT R, W, P, T c (R{W)~(P~T)TT R, W, P, U c (R{W)~(U|P)TT R, W, Q, R c (R{W)~(Q{R)TT R, W, Q, V c R~W~Q{VTT R, W, Q, X c (W|R)~(Q{X)TT R, W, R, Q c (R{W)~(R{Q)TT R, W, R, V c (R{R)~W{VTT R, W, R, W c (R{W)~(W|R)TT R, W, S, P c (R{W)~(S{P)TT R, W, S, T c R{(W{T)~STT R, W, S, U c R{W~U{STT R, W, S, V c R{W~V|STT R, W, S, X c (R{W)~(X|S)TT R, W, T, O c (R{W)~(T{O)TT R, W, T, P c (R{W)~(T~P)TT R, W, T, S c R{(W{T)~STT R, W, T, T c R~T{W~TTT R, W, T, U c (W|R)~(T{U)TT R, W, T, X c (R{T)~W|XTT R, W, U, P c (R{W)~(U|P)TT R, W, U, S c R{W~U{STT R, W, U, T c (W|R{U)~TTT R, W, U, V c (R{U)~V|WTT R, W, U, W c (W~W)|(R{U)TT R, W, V, Q c (R{W)~(V|Q)TT R, W, V, R c R~V~R|WTT R, W, V, S c R{W~V|STT R, W, V, U c (R{U)~V|WTT R, W, V, W c R~(W{W){VTT R, W, V, X c W~(X|R){VTT R, W, W, R c (R{W)~(W|R)TT R, W, W, U c (W~W)|(R{U)TT R, W, W, V c R~(W{W){VTT R, W, X, Q c (W|R)~(X{Q)TT R, W, X, S c (R{W)~(X|S)TT R, W, X, T c (R{T)~W|XTT R, W, X, V c W~(X|R){VTT R, X, P, Q c R~X~Q{PTT R, X, P, R c (R{R)~X{PTT R, X, P, T c (R{X|P)~TTT R, X, P, X c R~(X{X){PTT R, X, Q, P c R~X~Q{PTT R, X, Q, Q c (R{Q)~(X{Q)TT R, X, Q, U c R{X~U|QTT R, X, Q, W c (X{Q)~(W|R)TT R, X, R, P c (R{R)~X{PTT R, X, R, U c RR{X~UTT R, X, S, S c R{(X{S)~STT R, X, S, U c X~U|R{STT R, X, S, V c (R{X)~S{VTT R, X, S, W c R~(X{W){STT R, X, T, P c (R{X|P)~TTT R, X, T, T c (R{X)~T|TTT R, X, T, U c (X{UR)~TTT R, X, T, V c R{X~T{VTT R, X, T, W c (R{T)~W|XTT R, X, U, Q c R{X~U|QTT R, X, U, R c RR{X~UTT R, X, U, S c X~U|R{STT R, X, U, T c (X{UR)~TTT R, X, V, S c R~X{V~STT R, X, V, T c R{X~T{VTT R, X, V, V c R~(X{V){VTT R, X, V, W c (X|R)~W{VTT R, X, W, Q c (X{Q)~(W|R)TT R, X, W, S c R~(X{W){STT R, X, W, T c (R{T)~W|XTT R, X, W, V c (X|R)~W{VTT R, X, X, P c R~(X{X){PTT S, O, T, V c (S{O{V)~TTT S, O, V, T c (S{O{V)~TTT S, P, Q, V c S~Q~V|PTT S, P, Q, X c (S{P)~(Q{X)TT S, P, R, T c (S~R|P)~TTT S, P, R, W c (S{P)~(R{W)TT S, P, S, V c (S{P)~(S{V)TT S, P, T, R c (S~R|P)~TTT S, P, T, U c (S{P)~(T{U)TT S, P, T, V c (S{P~V)~TTT S, P, T, W c (S|P{W)~TTT S, P, T, X c S~(T{X)|PTT S, P, U, T c (S{P{U)~TTT S, P, U, V c (S{V)~(U|P)TT S, P, U, W c S~(U{W)|PTT S, P, V, Q c S~V~Q|PTT S, P, V, S c (S{P)~(V{S)TT S, P, V, T c (S{P~V)~TTT S, P, V, U c (S{V)~(U|P)TT S, P, V, V c S~(V{V)|PTT S, P, W, R c (S{P)~(W{R)TT S, P, W, T c (S|P{W)~TTT S, P, W, U c S~(W{U)|PTT S, P, X, Q c (S{P)~(X{Q)TT S, P, X, T c S~(X{T)|PTT S, Q, P, V c S~Q~V|PTT S, Q, P, X c (S{Q)~X{PTT S, Q, R, T c (S~Q{R)~TTT S, Q, R, V c (S{V)~(Q{R)TT S, Q, T, R c (S~Q{R)~TTT S, Q, T, T c (S{Q{T)~TTT S, Q, T, X c (S|Q{X)~TTT S, Q, U, V c S~Q~U{VTT S, Q, V, P c S~Q~V|PTT S, Q, V, R c (S{V)~(Q{R)TT S, Q, V, U c S~Q~U{VTT S, Q, V, V c S{Q{V~VTT S, Q, V, W c (S{Q)~W{VTT S, Q, V, X c V~X|S~QTT S, Q, W, V c (S{Q)~W{VTT S, Q, W, X c S~Q~W|XTT S, Q, X, P c (S{Q)~X{PTT S, Q, X, T c (S|Q{X)~TTT S, Q, X, V c X~V|S~QTT S, Q, X, W c S~Q~W|XTT S, Q, X, X c (Q{X)~(X|S)TT S, R, P, T c (S~R|P)~TTT S, R, P, W c (S{R)~W|PTT S, R, Q, T c (S~Q{R)~TTT S, R, Q, V c (S{V)~(R{Q)TT S, R, S, T c (S{R{S)~TTT S, R, S, V c S~R~S{VTT S, R, S, X c S~(S{X){RTT S, R, T, P c (S~R|P)~TTT S, R, T, Q c (S~Q{R)~TTT S, R, T, S c (S{R{S)~TTT S, R, T, T c S~R~T|TTT S, R, T, W c S~(T{W){RTT S, R, U, V c (S{R)~V{UTT S, R, U, W c S{R{U~WTT S, R, U, X c S|R{U~XTT S, R, V, Q c (S{V)~(R{Q)TT S, R, V, S c S~R~S{VTT S, R, V, U c (S{R)~V{UTT S, R, V, W c (S{V)~(W|R)TT S, R, V, X c S~(R{X){VTT S, R, W, P c (S{R)~W|PTT S, R, W, T c S~(W{T){RTT S, R, W, U c S{R{W~UTT S, R, W, V c (S{V)~(W|R)TT S, R, W, X c S{R~(W{X)TT S, R, X, S c (S{X)~S{RTT S, R, X, U c S|R{X~UTT S, R, X, V c S~(R{X){VTT S, R, X, W c S{R~(X{W)TT S, S, P, V c (S{S)~V|PTT S, S, R, T c (S{S{R)~TTT S, S, R, V c S~S~R{VTT S, S, R, X c S~(S{X){RTT S, S, S, X c S~S~S|XTT S, S, T, R c (S{S{R)~TTT S, S, T, T c (S~S|T)~TTT S, S, U, V c (S{S)~U{VTT S, S, U, X c SS{U~XTT S, S, V, P c (S{S)~V|PTT S, S, V, R c S~S~R{VTT S, S, V, U c (S{S)~U{VTT S, S, V, W c S~(S{W){VTT S, S, V, X c (S{V)~(X|S)TT S, S, W, V c S~(S{W){VTT S, S, W, X c (S{S)~W|XTT S, S, X, R c S~(S{X){RTT S, S, X, S c S~S~S|XTT S, S, X, U c SS{X~UTT S, S, X, V c (S{V)~(X|S)TT S, S, X, W c (S{S)~W|XTT S, T, O, V c (S{O{V)~TTT S, T, P, R c (S~R|P)~TTT S, T, P, U c (S{T)~U{PTT S, T, P, V c (S{P~V)~TTT S, T, P, W c (S|P{W)~TTT S, T, P, X c S~(T{X)|PTT S, T, Q, R c (S~Q{R)~TTT S, T, Q, T c (S{T{Q)~TTT S, T, Q, X c (S|Q{X)~TTT S, T, R, P c (S~R|P)~TTT S, T, R, Q c (S~Q{R)~TTT S, T, R, S c (S{R{S)~TTT S, T, R, T c S~T~R|TTT S, T, R, W c S~(T{W){RTT S, T, S, R c (S{S{R)~TTT S, T, S, T c (S~S|T)~TTT S, T, T, Q c (S{T{Q)~TTT S, T, T, R c S~T~R|TTT S, T, T, S c (S~S|T)~TTT S, T, T, U c (S{U)~T{TTT S, T, T, V c S~T{T~VTT S, T, T, W c (S{W)~T|TTT S, T, T, X c (S~T|X)~TTT S, T, U, P c (S{T)~U{PTT S, T, U, T c (S{U)~T{TTT S, T, U, U c (S{U)~U|TTT S, T, U, X c S{T~X{UTT S, T, V, O c (S{V)~(T{O)TT S, T, V, P c (S{V)~(T~P)TT S, T, V, T c S~T{V~TTT S, T, V, V c S~(T{V){VTT S, T, V, W c (S{T)~V|WTT S, T, W, P c (S{W|P)~TTT S, T, W, R c S~(T{W){RTT S, T, W, T c (S{W)~T|TTT S, T, W, V c (S{T)~V|WTT S, T, W, W c (W~W)|(S{T)TT S, T, W, X c T~(WS{X)TT S, T, X, P c S~(T{X)|PTT S, T, X, Q c (S{X|Q)~TTT S, T, X, T c (S~T|X)~TTT S, T, X, U c S{T~X{UTT S, T, X, W c T~(X{WS)TT S, U, P, T c (S{U{P)~TTT S, U, P, V c (S{V)~(U|P)TT S, U, P, W c S~(U{W)|PTT S, U, Q, V c S~U~Q{VTT S, U, R, V c S~(U{V){RTT S, U, R, W c S{U~W{RTT S, U, R, X c S{U~X|RTT S, U, S, V c (S{S)~U{VTT S, U, S, X c SS{U~XTT S, U, T, P c (S{U{P)~TTT S, U, T, T c (S{U)~T{TTT S, U, T, U c (S{U)~U|TTT S, U, T, X c S{U{T~XTT S, U, U, T c (S{U)~U|TTT S, U, U, V c S~(U{U){VTT S, U, V, P c (S{V)~(U|P)TT S, U, V, Q c S~U~Q{VTT S, U, V, R c S~(U{V){RTT S, U, V, S c (S{S)~U{VTT S, U, V, U c S~(U{U){VTT S, U, V, X c S{U~V{XTT S, U, W, P c S~(U{W)|PTT S, U, W, R c S{U~W{RTT S, U, X, R c S{U~X|RTT S, U, X, S c SS{U~XTT S, U, X, T c S{U{X~TTT S, U, X, V c S{U~V{XTT S, V, O, T c (S{V{O)~TTT S, V, P, Q c S~V~Q|PTT S, V, P, S c (S{V)~(P{S)TT S, V, P, T c (S{V)~(P~T)TT S, V, P, U c (S{V)~(U|P)TT S, V, P, V c S~(V{V)|PTT S, V, Q, P c S~V~Q|PTT S, V, Q, R c (S{V)~(Q{R)TT S, V, Q, U c S~Q~U{VTT S, V, Q, V c S{V~V{QTT S, V, Q, W c (S{Q)~W{VTT S, V, Q, X c V~X|S~QTT S, V, R, Q c (S{V)~(R{Q)TT S, V, R, S c S~R~S{VTT S, V, R, U c S~(V{U){RTT S, V, R, W c (S{V)~(W|R)TT S, V, R, X c S~V{R~XTT S, V, S, P c (S{V)~(S{P)TT S, V, S, R c S~S~R{VTT S, V, S, U c (S{S)~U{VTT S, V, S, W c S~(S{W){VTT S, V, S, X c (S{V)~(X|S)TT S, V, T, O c (S{V)~(T{O)TT S, V, T, P c (S{V)~(T~P)TT S, V, T, T c S~T{V~TTT S, V, T, V c S~(V{T){VTT S, V, T, W c S{V~W|TTT S, V, U, P c (S{V)~(U|P)TT S, V, U, Q c S~U~Q{VTT S, V, U, R c S~(V{U){RTT S, V, U, S c (S{S)~U{VTT S, V, U, U c S~(U{U){VTT S, V, U, X c S{V~U{XTT S, V, V, P c S~(V{V)|PTT S, V, V, Q c S{V~V{QTT S, V, V, T c S~(V{T){VTT S, V, W, Q c (S{Q)~W{VTT S, V, W, R c (S{V)~(W|R)TT S, V, W, S c (S{W)~S{VTT S, V, W, T c S{V~W|TTT S, V, X, Q c V~X|S~QTT S, V, X, R c S~V{X~RTT S, V, X, S c (S{V)~(X|S)TT S, V, X, U c S{V~U{XTT S, V, X, X c S~(V{X)|XTT S, W, P, R c (S{P)~(W{R)TT S, W, P, T c (S{W|P)~TTT S, W, P, U c S~(W{U)|PTT S, W, Q, V c (S{Q)~W{VTT S, W, Q, X c S~W~Q|XTT S, W, R, P c (S{R)~W|PTT S, W, R, T c S~(W{T){RTT S, W, R, U c S{W~U{RTT S, W, R, V c (S{V)~(W|R)TT S, W, R, X c S{(W{X)~RTT S, W, S, V c (S{W)~S{VTT S, W, S, X c (S{S)~W|XTT S, W, T, P c (S{W|P)~TTT S, W, T, R c S~(W{T){RTT S, W, T, T c (S{W)~T|TTT S, W, T, V c S{W~V|TTT S, W, T, W c (W~W)|(S{T)TT S, W, T, X c (WS{X)~TTT S, W, U, P c S~(W{U)|PTT S, W, U, R c S{W~U{RTT S, W, V, Q c (S{Q)~W{VTT S, W, V, R c (S{V)~(W|R)TT S, W, V, S c (S{W)~S{VTT S, W, V, T c S{W~V|TTT S, W, W, T c (W~W)|(S{T)TT S, W, W, X c S~(W{W)|XTT S, W, X, Q c S~W~Q|XTT S, W, X, R c S{(W{X)~RTT S, W, X, S c (S{S)~W|XTT S, W, X, T c (WS{X)~TTT S, W, X, W c S~(W{W)|XTT S, X, P, Q c (S{P)~(X{Q)TT S, X, P, T c S~(X{T)|PTT S, X, Q, P c (S{Q)~X{PTT S, X, Q, T c (S{X|Q)~TTT S, X, Q, V c X~V|S~QTT S, X, Q, W c S~Q~W|XTT S, X, Q, X c (X|S)~(Q{X)TT S, X, R, S c (S{X)~S{RTT S, X, R, U c S{X~U|RTT S, X, R, V c S~(X{R){VTT S, X, R, W c S{(X{W)~RTT S, X, S, R c (S{X)~S{RTT S, X, S, S c S~S~S|XTT S, X, S, U c SS{X~UTT S, X, S, V c (S{V)~(X|S)TT S, X, S, W c (S{S)~W|XTT S, X, T, P c S~(X{T)|PTT S, X, T, Q c (S{X|Q)~TTT S, X, T, T c (S~T|X)~TTT S, X, T, U c S{X~T{UTT S, X, T, W c (X{WS)~TTT S, X, U, R c S{X~U|RTT S, X, U, S c SS{X~UTT S, X, U, T c S~(X{U)|TTT S, X, U, V c S{X{U~VTT S, X, V, Q c X~V|S~QTT S, X, V, R c S~(X{R){VTT S, X, V, S c (S{V)~(X|S)TT S, X, V, U c S{X{V~UTT S, X, V, X c S~(X{V)|XTT S, X, W, Q c S~W~Q|XTT S, X, W, R c S{(X{W)~RTT S, X, W, S c (S{S)~W|XTT S, X, W, T c (X{WS)~TTT S, X, W, W c S~(W{W)|XTT S, X, X, Q c (X|S)~(X{Q)TT S, X, X, V c S~(X{V)|XTT T, O, Q, X c (T{O)~(Q{X)TT T, O, R, W c (T{O)~(R{W)TT T, O, S, V c (T{O)~(S{V)TT T, O, T, U c (T{O)~(T{U)TT T, O, U, T c (T{O{U)~TTT T, O, V, S c (T{O)~(V{S)TT T, O, W, R c (T{O)~(W{R)TT T, O, X, Q c (T{O)~(X{Q)TT T, P, P, X c T~(P{P{X)TT T, P, Q, T c T~(P{Q~T)TT T, P, Q, U c T~(Q~U|P)TT T, P, Q, W c T~(P{Q{W)TT T, P, Q, X c (T~P)~(Q{X)TT T, P, R, S c T~(R~S|P)TT T, P, R, V c T~(P{R{V)TT T, P, R, W c (T~P)~(R{W)TT T, P, R, X c T~(R|P{X)TT T, P, S, R c T~(S~R|P)TT T, P, S, U c T~(P{S{U)TT T, P, S, V c (T~P)~(S{V)TT T, P, S, W c T~(S|P{W)TT T, P, S, X c (T{X)~S|PTT T, P, T, Q c T~(P{T~Q)TT T, P, T, T c (T{P{T)~TTT T, P, T, U c (T~P)~(T{U)TT T, P, T, V c (T|P{V)~TTT T, P, T, X c T{(P{X)~TTT T, P, U, Q c T~(U~Q|P)TT T, P, U, S c T~(P{U{S)TT T, P, U, T c (T{P~U)~TTT T, P, U, U c T~(U|P{U)TT T, P, U, X c (P{X)~U|TTT T, P, V, R c T~(P{V{R)TT T, P, V, S c (T~P)~(V{S)TT T, P, V, T c (T|P{V)~TTT T, P, V, V c T{P{V~VTT T, P, V, W c (T{P)~W{VTT T, P, W, Q c T~(P{W{Q)TT T, P, W, R c (T~P)~(W{R)TT T, P, W, S c T~(W|P{S)TT T, P, W, V c (T{P)~W{VTT T, P, X, P c (T{P)~X{PTT T, P, X, Q c (T~P)~(X{Q)TT T, P, X, R c T~(X|P{R)TT T, P, X, S c (T{X)~S|PTT T, P, X, T c T{(P{X)~TTT T, P, X, U c (P{X)~U|TTT T, P, X, X c T~X{P{XTT T, Q, O, X c T~(Q{O{X)TT T, Q, P, T c (T~Q{P)~TTT T, Q, P, U c T~(Q~U|P)TT T, Q, P, W c T~(Q{P{W)TT T, Q, P, X c T~(Q{P~X)TT T, Q, Q, V c T~(Q{Q{V)TT T, Q, R, R c T~(Q{R~R)TT T, Q, R, S c T~(Q~S{R)TT T, Q, R, T c (T{Q~R)~TTT T, Q, R, U c T~(Q{R{U)TT T, Q, R, V c T~(Q~V|R)TT T, Q, S, R c T~(Q~S{R)TT T, Q, S, T c (T{Q{S)~TTT T, Q, S, X c T~(S|Q{X)TT T, Q, T, P c T~(Q~T{P)TT T, Q, T, R c (T{Q~R)~TTT T, Q, T, S c T~(Q{T{S)TT T, Q, T, T c T{Q~T~TTT T, Q, T, U c T~Q~U|TTT T, Q, T, W c T{(Q{W)~TTT T, Q, T, X c T~Q{T~XTT T, Q, U, P c T~(Q~U|P)TT T, Q, U, R c T~(Q{U{R)TT T, Q, U, T c T~Q~U|TTT T, Q, U, V c (T{Q)~V{UTT T, Q, U, W c T{Q{U~WTT T, Q, V, Q c T~(Q{V{Q)TT T, Q, V, R c T~(Q~V|R)TT T, Q, V, U c (T{Q)~V{UTT T, Q, V, W c T~(V{WQ)TT T, Q, V, X c T~(Q~X|V)TT T, Q, W, P c (T{Q)~W|PTT T, Q, W, T c T{(Q{W)~TTT T, Q, W, U c T{Q{W~UTT T, Q, W, V c T~(WQ{V)TT T, Q, W, X c (T{Q)~X|WTT T, Q, X, O c T~(Q{X){OTT T, Q, X, P c T~(Q{X)~PTT T, Q, X, S c T~(X|Q{S)TT T, Q, X, T c T~Q{X~TTT T, Q, X, V c T~(Q~X|V)TT T, Q, X, W c (T{Q)~X|WTT T, R, O, W c T~(R{O{W)TT T, R, P, S c T~(R~S|P)TT T, R, P, V c T~(R{P{V)TT T, R, P, W c T~(R{P~W)TT T, R, P, X c T~(R|P{X)TT T, R, Q, R c T~(R~R{Q)TT T, R, Q, S c T~(R{Q~S)TT T, R, Q, T c (T{R~Q)~TTT T, R, Q, U c T~(R{Q{U)TT T, R, Q, V c T~(Q~V|R)TT T, R, R, Q c T~(R~R{Q)TT T, R, R, T c (T{R{R)~TTT T, R, S, P c T~(R~S|P)TT T, R, S, Q c T~(R{S~Q)TT T, R, S, S c T~(R{S{S)TT T, R, S, T c (T~R|S)~TTT T, R, S, W c (T{W)~S{RTT T, R, T, Q c (T{R~Q)~TTT T, R, T, R c T~(R{T{R)TT T, R, T, S c T~(R~T|S)TT T, R, T, V c T{(R{V)~TTT T, R, T, W c T~R{T~WTT T, R, T, X c (T|R{X)~TTT T, R, U, Q c T~(R{U{Q)TT T, R, U, V c (T{R)~U{VTT T, R, U, W c T~(U|R{W)TT T, R, U, X c T~(UR{X)TT T, R, V, P c (T{R)~V|PTT T, R, V, Q c T~(V~Q|R)TT T, R, V, T c T{(R{V)~TTT T, R, V, U c (T{R)~U{VTT T, R, V, V c T~(V|R{V)TT T, R, V, X c T~X{R{VTT T, R, W, O c T~(R{W){OTT T, R, W, P c T~(R{W)~PTT T, R, W, S c (T{W)~S{RTT T, R, W, T c T~R{W~TTT T, R, W, U c T~(W|R{U)TT T, R, W, X c (T{R)~W|XTT T, R, X, P c T~(R{X|P)TT T, R, X, T c (T|R{X)~TTT T, R, X, U c T~(X{UR)TT T, R, X, V c T~X{R{VTT T, R, X, W c (T{R)~W|XTT T, S, O, V c T~(S{O{V)TT T, S, P, R c T~(S~R|P)TT T, S, P, U c T~(S{P{U)TT T, S, P, V c T~(S{P~V)TT T, S, P, W c T~(S|P{W)TT T, S, P, X c (T{X)~S|PTT T, S, Q, R c T~(S~Q{R)TT T, S, Q, T c (T{S{Q)~TTT T, S, Q, X c T~(S|Q{X)TT T, S, R, P c T~(S~R|P)TT T, S, R, Q c T~(S~Q{R)TT T, S, R, S c T~(S{R{S)TT T, S, R, T c T~S~R|TTT T, S, R, W c (T{W)~S{RTT T, S, S, R c T~(S{S{R)TT T, S, S, T c T~(S~S|T)TT T, S, T, Q c T~(S{T{Q)TT T, S, T, R c T~S~R|TTT T, S, T, S c T~(S~S|T)TT T, S, T, U c T{(S{U)~TTT T, S, T, V c T~S{T~VTT T, S, T, W c T~(S{W)|TTT T, S, T, X c T~(S~T|X)TT T, S, U, P c (T{S)~U{PTT T, S, U, T c T{(S{U)~TTT T, S, U, U c (S{U)~U|TTT T, S, U, X c T|S{U~XTT T, S, V, O c T~(S{V){OTT T, S, V, P c T~(S{V)~PTT T, S, V, T c T~S{V~TTT T, S, V, V c (T{V)~S{VTT T, S, V, W c (T{S)~V|WTT T, S, W, P c T~(S{W|P)TT T, S, W, R c (T{W)~S{RTT T, S, W, T c T~(S{W)|TTT T, S, W, V c (T{S)~V|WTT T, S, W, W c (W~W)|(T{S)TT T, S, W, X c T~(WS{X)TT T, S, X, P c (T{X)~S|PTT T, S, X, Q c T~(S{X|Q)TT T, S, X, T c (T~S|X)~TTT T, S, X, U c T|S{X~UTT T, S, X, W c T~(X{WS)TT T, T, O, U c T~(T{O{U)TT T, T, P, Q c T~(T~Q{P)TT T, T, P, T c (T{T{P)~TTT T, T, P, U c T~(T{P~U)TT T, T, P, V c T~(T|P{V)TT T, T, P, X c T{T~(P{X)TT T, T, Q, P c T~(T~Q{P)TT T, T, Q, R c T~(T{Q~R)TT T, T, Q, S c T~(T{Q{S)TT T, T, Q, T c T{T~Q~TTT T, T, Q, U c T~Q~U|TTT T, T, Q, W c T{T~(Q{W)TT T, T, Q, X c T~Q{T~XTT T, T, R, Q c T~(T{R~Q)TT T, T, R, R c T~(T{R{R)TT T, T, R, S c T~(T~R|S)TT T, T, R, V c T{T~(R{V)TT T, T, R, W c T~R{T~WTT T, T, R, X c T~(T|R{X)TT T, T, S, Q c T~(T{S{Q)TT T, T, S, R c T~(T~R|S)TT T, T, S, S c T~(S~S|T)TT T, T, S, U c T{T~(S{U)TT T, T, S, V c T~S{T~VTT T, T, S, W c T~(S{W)|TTT T, T, S, X c T~(T~S|X)TT T, T, T, P c T~(T{T{P)TT T, T, T, Q c T{T~T~QTT T, T, T, T c T{(T{T)~TTT T, T, T, U c T~T{T~UTT T, T, T, V c T~(T{V)|TTT T, T, T, X c T{T{T~XTT T, T, U, O c T~(T{U){OTT T, T, U, P c T~(T{U)~PTT T, T, U, Q c T~U~Q|TTT T, T, U, S c T{T~(U{S)TT T, T, U, T c (T{T)~U|TTT T, T, U, U c T~(U{U)|TTT T, T, U, X c TT{U~XTT T, T, V, P c T~(T{V|P)TT T, T, V, R c T{T~(V{R)TT T, T, V, S c T~V{T~STT T, T, V, T c T~(T{V)|TTT T, T, V, W c V~W|TTTT T, T, V, X c T~(V|T{X)TT T, T, W, Q c T{T~(W{Q)TT T, T, W, R c T~W{T~RTT T, T, W, S c T~(W{S)|TTT T, T, W, V c W~V|TTTT T, T, W, W c T~(W|T{W)TT T, T, X, P c T{T~(X{P)TT T, T, X, Q c T~X{T~QTT T, T, X, R c T~(T{X|R)TT T, T, X, S c T~(T~S|X)TT T, T, X, T c T{T{X~TTT T, T, X, U c TT{X~UTT T, T, X, V c T~(X|T{V)TT T, U, O, T c (T{U{O)~TTT T, U, P, Q c T~(U~Q|P)TT T, U, P, S c (T{U)~(P{S)TT T, U, P, T c (T{U)~(P~T)TT T, U, P, U c T~(U|P{U)TT T, U, P, X c U~(P{X)|TTT T, U, Q, P c T~(U~Q|P)TT T, U, Q, R c (T{U)~(Q{R)TT T, U, Q, T c T~U~Q|TTT T, U, Q, V c T~(U|Q{V)TT T, U, Q, W c T~(UQ{W)TT T, U, R, Q c (T{U)~(R{Q)TT T, U, R, V c T~(U~R|V)TT T, U, R, W c T~(U|R{W)TT T, U, R, X c T~(UR{X)TT T, U, S, P c (T{U)~(S{P)TT T, U, S, T c T{(U{S)~TTT T, U, S, U c (U{S)~U|TTT T, U, S, X c T~(U|S{X)TT T, U, T, O c (T{U)~(T{O)TT T, U, T, P c (T{U)~(T~P)TT T, U, T, Q c T~U~Q|TTT T, U, T, S c T{(U{S)~TTT T, U, T, T c T~U{T~TTT T, U, T, U c T~(U{U)|TTT T, U, T, X c TT{U~XTT T, U, U, P c (T{U)~(U|P)TT T, U, U, S c U~(U{S)|TTT T, U, U, T c T~(U{U)|TTT T, U, U, X c U|T{U~XTT T, U, V, Q c (T{U)~(V|Q)TT T, U, V, R c T~(U~R|V)TT T, U, V, W c T{U~V{WTT T, U, W, Q c T{U~W{QTT T, U, W, R c (T{U)~(W|R)TT T, U, W, V c T{U~V{WTT T, U, W, X c T~W{U{XTT T, U, X, P c U~(X{P)|TTT T, U, X, R c T~(UR{X)TT T, U, X, S c T{U~X|STT T, U, X, T c TT{U~XTT T, U, X, U c U|T{X~UTT T, U, X, W c T~(X|U{W)TT T, V, O, S c T~(V{O{S)TT T, V, P, R c T~(V{P{R)TT T, V, P, S c T~(V{P~S)TT T, V, P, T c (T{V|P)~TTT T, V, P, V c T{V~V{PTT T, V, P, W c (T{P)~W{VTT T, V, Q, Q c T~(V{Q{Q)TT T, V, Q, R c T~(V~Q|R)TT T, V, Q, U c T~(V|Q{U)TT T, V, Q, W c T~(V{WQ)TT T, V, Q, X c T~(Q~X|V)TT T, V, R, P c T~(V{R{P)TT T, V, R, Q c T~(V~Q|R)TT T, V, R, T c T{(V{R)~TTT T, V, R, U c (T{R)~U{VTT T, V, R, V c T~(V|R{V)TT T, V, R, X c T~X{V{RTT T, V, S, O c T~(V{S){OTT T, V, S, P c T~(V{S)~PTT T, V, S, T c T~V{S~TTT T, V, S, V c (T{V)~S{VTT T, V, S, W c T~(V|S{W)TT T, V, T, P c T~(V{T|P)TT T, V, T, R c T{(V{R)~TTT T, V, T, S c T~V{T~STT T, V, T, T c (T{V)~T|TTT T, V, T, W c V~W|TTTT T, V, T, X c T~(V|T{X)TT T, V, U, Q c T~(V{U|Q)TT T, V, U, R c T~(U~R|V)TT T, V, U, W c T{V~U{WTT T, V, V, P c T{V~V{PTT T, V, V, R c T~(V{V|R)TT T, V, V, S c (T{V)~S{VTT T, V, W, P c (T{P)~W{VTT T, V, W, Q c T~(V{WQ)TT T, V, W, S c T~(V{W|S)TT T, V, W, T c V~W|TTTT T, V, W, U c T{V~W|UTT T, V, W, W c T~W{V{WTT T, V, X, Q c T~(X~Q|V)TT T, V, X, R c T~X{V{RTT T, V, X, T c T~(V{X|T)TT T, V, X, X c T~(X|V{X)TT T, W, O, R c T~(W{O{R)TT T, W, P, Q c T~(W{P{Q)TT T, W, P, R c T~(W{P~R)TT T, W, P, S c T~(W|P{S)TT T, W, P, V c (T{P)~W{VTT T, W, Q, P c T~(W{Q{P)TT T, W, Q, T c T{(W{Q)~TTT T, W, Q, U c T{W~U{QTT T, W, Q, V c T~(WQ{V)TT T, W, Q, X c (T{Q)~X|WTT T, W, R, O c T~(W{R){OTT T, W, R, P c T~(W{R)~PTT T, W, R, S c (T{W)~S{RTT T, W, R, T c T~W{R~TTT T, W, R, U c T~(W|R{U)TT T, W, R, X c T~(W{XR)TT T, W, S, P c T~(W{S|P)TT T, W, S, R c (T{W)~S{RTT T, W, S, T c T~(W{S)|TTT T, W, S, V c T~(W|S{V)TT T, W, S, W c (W~W)|(T{S)TT T, W, S, X c T~(WS{X)TT T, W, T, Q c T~(W{T|Q)TT T, W, T, R c T~W{T~RTT T, W, T, S c T~(W{S)|TTT T, W, T, V c W~V|TTTT T, W, T, W c T~(W|T{W)TT T, W, U, Q c T{W~U{QTT T, W, U, R c T~(W{U|R)TT T, W, U, V c T{W{U~VTT T, W, U, X c T~W{U{XTT T, W, V, P c (T{P)~W{VTT T, W, V, Q c T~(WQ{V)TT T, W, V, S c T~(W{V|S)TT T, W, V, T c W~V|TTTT T, W, V, U c T{W{V~UTT T, W, V, W c T~W{V{WTT T, W, W, S c (W~W)|(T{S)TT T, W, W, T c T~(W{W|T)TT T, W, W, V c T~W{W{VTT T, W, X, Q c T~X{W{QTT T, W, X, R c T~(W{XR)TT T, W, X, S c T~(WS{X)TT T, W, X, U c T~W{X{UTT T, X, O, Q c T~(X{O{Q)TT T, X, P, P c T~(X{P{P)TT T, X, P, Q c T~(X{P~Q)TT T, X, P, R c T~(X|P{R)TT T, X, P, S c (T{X)~S|PTT T, X, P, T c T{(X{P)~TTT T, X, P, U c (X{P)~U|TTT T, X, P, X c T~X{P{XTT T, X, Q, O c T~(X{Q){OTT T, X, Q, P c T~(X{Q)~PTT T, X, Q, S c T~(X|Q{S)TT T, X, Q, T c T~X{Q~TTT T, X, Q, V c T~(X~Q|V)TT T, X, Q, W c T~X{Q{WTT T, X, R, P c T~(X{R|P)TT T, X, R, T c (T{X|R)~TTT T, X, R, U c T~(X{UR)TT T, X, R, V c T~X{R{VTT T, X, R, W c T~(XR{W)TT T, X, S, P c (T{X)~S|PTT T, X, S, Q c T~(X{S|Q)TT T, X, S, T c (T~S|X)~TTT T, X, S, U c T~X{S{UTT T, X, S, W c T~(X{WS)TT T, X, T, P c T{(X{P)~TTT T, X, T, Q c T~X{T~QTT T, X, T, R c T~(X{T|R)TT T, X, T, S c T~(T~S|X)TT T, X, T, T c T{X~T{TTT T, X, T, U c TT{X~UTT T, X, T, V c T~(X|T{V)TT T, X, U, P c (X{P)~U|TTT T, X, U, R c T~(X{UR)TT T, X, U, S c T{X~U|STT T, X, U, T c TT{X~UTT T, X, U, U c X~U|T{UTT T, X, U, W c T~(X|U{W)TT T, X, V, Q c T~(X~Q|V)TT T, X, V, R c T~X{V{RTT T, X, V, T c T~(X{V|T)TT T, X, V, X c T~(X|V{X)TT T, X, W, Q c T~X{W{QTT T, X, W, R c T~(XR{W)TT T, X, W, S c T~(X{WS)TT T, X, W, U c T~(X{W|U)TT T, X, X, P c T~X{X{PTT T, X, X, V c T~(X{X|V)TT U, O, P, X c (U{O)~X{PTT U, O, T, T c (U{O{T)~TTT U, O, V, V c U{O{V~VTT U, O, V, W c (U{O)~W{VTT U, O, W, V c (U{O)~W{VTT U, O, X, P c (U{O)~X{PTT U, P, O, X c (U{O)~X{PTT U, P, P, W c (U{P)~W|PTT U, P, P, X c U~P~X{PTT U, P, Q, T c (U~Q|P)~TTT U, P, Q, V c (U{Q)~V|PTT U, P, Q, X c (U|P)~(Q{X)TT U, P, R, R c U~R~R{PTT U, P, R, U c (U{R)~U{PTT U, P, R, W c (U|P)~(R{W)TT U, P, S, T c (U{P{S)~TTT U, P, S, V c (U|P)~(S{V)TT U, P, S, W c (U{W)~S|PTT U, P, T, Q c (U~Q|P)~TTT U, P, T, S c (U{P{S)~TTT U, P, T, T c (U{P~T)~TTT U, P, T, U c (U|P)~(T{U)TT U, P, T, X c U~(P{X)|TTT U, P, U, R c U~(U{R){PTT U, P, U, T c (U|P{U)~TTT U, P, U, V c U{(P{U)~VTT U, P, U, W c U{P{U~WTT U, P, U, X c U~(PU{X)TT U, P, V, Q c U~(V{Q){PTT U, P, V, S c (U|P)~(V{S)TT U, P, V, U c (U{P)~V{UTT U, P, V, V c U{P~V~VTT U, P, V, W c U~P~W{VTT U, P, V, X c U~(X|P){VTT U, P, W, P c (U{P)~W|PTT U, P, W, R c (U|P)~(W{R)TT U, P, W, S c (U{W)~S|PTT U, P, W, U c U{P{W~UTT U, P, W, V c U~P~W{VTT U, P, W, W c U~W|P{WTT U, P, W, X c (U{P)~X|WTT U, P, X, O c U~X{P{OTT U, P, X, P c U~P~X{PTT U, P, X, Q c (U|P)~(X{Q)TT U, P, X, T c U~(P{X)|TTT U, P, X, U c U~(PU{X)TT U, P, X, V c U~(X|P){VTT U, P, X, W c (U{P)~X|WTT U, P, X, X c (U{PX)~XTT U, Q, P, T c (U~Q|P)~TTT U, Q, P, V c (U{Q)~V|PTT U, Q, P, X c (U|P)~(Q{X)TT U, Q, Q, X c U~X{QQTT U, Q, R, T c (U{Q{R)~TTT U, Q, R, X c U~X|Q{RTT U, Q, S, V c U~Q~S{VTT U, Q, T, P c (U~Q|P)~TTT U, Q, T, R c (U{Q{R)~TTT U, Q, T, T c U~Q~T|TTT U, Q, T, V c U{(Q{T)~VTT U, Q, T, W c U~(Q{W)|TTT U, Q, U, V c (U{Q)~U{VTT U, Q, V, P c (U{Q)~V|PTT U, Q, V, S c U~Q~S{VTT U, Q, V, T c (U|Q{V)~TTT U, Q, V, U c (U{Q)~U{VTT U, Q, V, X c U{V~(X|Q)TT U, Q, W, T c U~(Q{W)|TTT U, Q, W, X c (U{Q)~W|XTT U, Q, X, P c U~X{Q|PTT U, Q, X, Q c U~X{QQTT U, Q, X, R c U~X|Q{RTT U, Q, X, V c U{(X|Q)~VTT U, Q, X, W c (U{Q)~W|XTT U, R, P, R c U~R~R{PTT U, R, P, U c (U{R)~U{PTT U, R, P, W c (U|P)~(R{W)TT U, R, Q, T c (U{R{Q)~TTT U, R, Q, X c U~X{R|QTT U, R, R, P c U~R~R{PTT U, R, R, X c U~X{RRTT U, R, S, V c U{(R{S)~VTT U, R, S, W c U~W{R{STT U, R, S, X c U~X|R{STT U, R, T, Q c (U{R{Q)~TTT U, R, T, V c U~(R{T){VTT U, R, T, W c (U|R{W)~TTT U, R, T, X c (UR{X)~TTT U, R, U, P c (U{R)~U{PTT U, R, V, S c U{(R{S)~VTT U, R, V, T c U~(R{V)|TTT U, R, V, W c (U{R)~V|WTT U, R, W, P c (U|P)~(R{W)TT U, R, W, S c U~W{R{STT U, R, W, T c (U|R{W)~TTT U, R, W, V c (U{R)~V|WTT U, R, W, W c (W~W)|(U{R)TT U, R, X, Q c U~X{R|QTT U, R, X, R c U~X{RRTT U, R, X, S c U~X|R{STT U, R, X, T c (UR{X)~TTT U, S, P, T c (U{S{P)~TTT U, S, P, V c (U|P)~(S{V)TT U, S, P, W c (U{W)~S|PTT U, S, Q, V c U~S~Q{VTT U, S, R, V c U{(S{R)~VTT U, S, R, W c U~W{S{RTT U, S, R, X c U~X{S|RTT U, S, S, V c U~(S{S){VTT U, S, S, X c U~X{SSTT U, S, T, P c U~(S{T){PTT U, S, T, T c (U{S)~T{TTT U, S, T, U c (U{S)~U|TTT U, S, T, X c U{S{T~XTT U, S, U, T c (U{S)~U|TTT U, S, U, V c (U{U)~S{VTT U, S, V, P c (U|P)~(S{V)TT U, S, V, Q c U~S~Q{VTT U, S, V, R c U{(S{R)~VTT U, S, V, S c U~(S{S){VTT U, S, V, U c (U{U)~S{VTT U, S, V, X c U~V{S{XTT U, S, W, P c (U{W)~S|PTT U, S, W, R c U~W{S{RTT U, S, X, R c U~X{S|RTT U, S, X, S c U~X{SSTT U, S, X, T c U{S{X~TTT U, S, X, V c U~V{S{XTT U, T, O, T c (U{T{O)~TTT U, T, P, Q c (U~Q|P)~TTT U, T, P, S c (U{T)~(P{S)TT U, T, P, T c (U{T)~(P~T)TT U, T, P, U c (U{T)~(U|P)TT U, T, P, X c U~(P{X)|TTT U, T, Q, P c (U~Q|P)~TTT U, T, Q, R c (U{T)~(Q{R)TT U, T, Q, T c U~T~Q|TTT U, T, Q, V c U{(T{Q)~VTT U, T, Q, W c U~(Q{W)|TTT U, T, R, Q c (U{T)~(R{Q)TT U, T, R, V c U~(T{R){VTT U, T, R, W c (U{T)~(W|R)TT U, T, R, X c (UR{X)~TTT U, T, S, P c (U{T)~(S{P)TT U, T, S, T c (U{S)~T{TTT U, T, S, U c (U{S)~U|TTT U, T, S, X c U{T~X{STT U, T, T, O c (U{T)~(T{O)TT U, T, T, P c (U{T)~(T~P)TT U, T, T, Q c U~T~Q|TTT U, T, T, S c (U{S)~T{TTT U, T, T, T c U~(T{T)|TTT U, T, T, U c (U{U)~T|TTT U, T, T, X c U~X{TTTT U, T, U, P c (U{T)~(U|P)TT U, T, U, S c U~(U{S)|TTT U, T, U, T c (U{U)~T|TTT U, T, U, X c U|T{U~XTT U, T, V, Q c (U{T)~(V|Q)TT U, T, V, R c U~(T{R){VTT U, T, V, W c U~V{T{WTT U, T, W, Q c U~W{T{QTT U, T, W, R c (U{T)~(W|R)TT U, T, W, V c U~V{T{WTT U, T, W, X c U{T~W{XTT U, T, X, P c U~(X{P)|TTT U, T, X, R c (UR{X)~TTT U, T, X, S c U{T~X{STT U, T, X, T c U~X{TTTT U, T, X, U c U|T{X~UTT U, T, X, W c U{T~W{XTT U, U, P, R c U~(U{R){PTT U, U, P, T c (U{U|P)~TTT U, U, P, V c U{(U{P)~VTT U, U, P, W c U{U~W{PTT U, U, P, X c U~(PU{X)TT U, U, Q, V c U~(U{Q){VTT U, U, R, P c U~(U{R){PTT U, U, S, T c U~(U{S)|TTT U, U, S, V c (U{U)~S{VTT U, U, T, P c (U{U|P)~TTT U, U, T, S c U~(U{S)|TTT U, U, T, T c (U{U)~T|TTT U, U, T, X c U{U~X|TTT U, U, U, X c UU{U~XTT U, U, V, P c U{(U{P)~VTT U, U, V, Q c U~(U{Q){VTT U, U, V, S c (U{U)~S{VTT U, U, V, V c U{U~V{VTT U, U, V, W c U~(VU{W)TT U, U, V, X c U~X|U{VTT U, U, W, P c U{U~W{PTT U, U, W, V c U~(W{VU)TT U, U, X, P c U~(X{PU)TT U, U, X, T c U{U~X|TTT U, U, X, U c UU{X~UTT U, U, X, V c U~X|U{VTT U, V, O, V c U{(V{O)~VTT U, V, O, W c (U{O)~W{VTT U, V, P, Q c U~(V{Q){PTT U, V, P, S c (U|P)~(V{S)TT U, V, P, U c U{V~(P{U)TT U, V, P, V c U{V~P~VTT U, V, P, W c U{V~(W|P)TT U, V, P, X c U~(X|P){VTT U, V, Q, P c U~(V{Q){PTT U, V, Q, S c U~Q~S{VTT U, V, Q, T c (U{V|Q)~TTT U, V, Q, U c (U{Q)~U{VTT U, V, Q, X c U{V~(X|Q)TT U, V, R, S c U{V~(R{S)TT U, V, R, T c U~(V{R)|TTT U, V, R, W c (U{R)~V|WTT U, V, S, P c (U|P)~(V{S)TT U, V, S, Q c U~S~Q{VTT U, V, S, R c (U{V)~S{RTT U, V, S, S c U~(S{S){VTT U, V, S, U c (U{U)~S{VTT U, V, S, X c U~V{S{XTT U, V, T, Q c U{V~(T{Q)TT U, V, T, R c U~(V{R)|TTT U, V, T, W c U~V{T{WTT U, V, U, P c U{V~(U{P)TT U, V, U, Q c U~(U{Q){VTT U, V, U, S c (U{U)~S{VTT U, V, U, V c U{V{U~VTT U, V, U, W c U~(VU{W)TT U, V, U, X c U~X{V|UTT U, V, V, O c U{V~V{OTT U, V, V, P c U{V~V~PTT U, V, V, U c U{V{V~UTT U, V, V, V c (UV{V)~VTT U, V, V, W c U{V~W|VTT U, V, V, X c U~X{VVTT U, V, W, O c U~W{V{OTT U, V, W, P c U{V~(W|P)TT U, V, W, R c (U{R)~V|WTT U, V, W, T c U~V{W{TTT U, V, W, U c U~(VU{W)TT U, V, W, V c U{V~W|VTT U, V, W, W c (U{VW)~WTT U, V, W, X c U~X|V{WTT U, V, X, P c U~(X|P){VTT U, V, X, Q c U{V~(X|Q)TT U, V, X, S c U~V{X{STT U, V, X, U c U~X{V|UTT U, V, X, V c U~X{VVTT U, V, X, W c U~X|V{WTT U, W, O, V c U~W{O{VTT U, W, P, P c U~(W{P){PTT U, W, P, R c (U|P)~(W{R)TT U, W, P, S c (U{W)~S|PTT U, W, P, U c U~W{P{UTT U, W, P, V c U{(W|P)~VTT U, W, P, W c U~W|P{WTT U, W, P, X c (U{P)~X|WTT U, W, Q, T c U~W{Q{TTT U, W, Q, X c U~W|Q{XTT U, W, R, P c (U|P)~(W{R)TT U, W, R, S c U~W{R{STT U, W, R, T c (U{W|R)~TTT U, W, R, V c (U{R)~V|WTT U, W, R, W c (W~W)|(U{R)TT U, W, S, P c (U{W)~S|PTT U, W, S, R c U~W{S{RTT U, W, T, Q c U~W{T{QTT U, W, T, R c (U{W|R)~TTT U, W, T, V c U~V{W{TTT U, W, T, X c U{W~T{XTT U, W, U, P c U{W~U{PTT U, W, U, V c U~(W{VU)TT U, W, V, O c U~W{V{OTT U, W, V, P c U~W{V~PTT U, W, V, R c (U{R)~V|WTT U, W, V, T c U~V{W{TTT U, W, V, U c U~(W{VU)TT U, W, V, V c U{W~V|VTT U, W, V, W c (U{VW)~WTT U, W, V, X c U~X{W|VTT U, W, W, P c U~W{W|PTT U, W, W, R c (W~W)|(U{R)TT U, W, W, V c (U{VW)~WTT U, W, W, X c U~X{WWTT U, W, X, P c (U{P)~X|WTT U, W, X, Q c U~W{X|QTT U, W, X, T c U{W~T{XTT U, W, X, V c U~X{W|VTT U, W, X, W c U~X{WWTT U, W, X, X c U~X|W{XTT U, X, O, P c U~X{O{PTT U, X, P, O c U~X{P{OTT U, X, P, P c U~X{P~PTT U, X, P, Q c U~X|P{QTT U, X, P, T c U~(X{P)|TTT U, X, P, U c U~(X{PU)TT U, X, P, V c U~(X|P){VTT U, X, P, W c (U{P)~X|WTT U, X, P, X c (U{PX)~XTT U, X, Q, P c U~X{Q|PTT U, X, Q, Q c U~X{QQTT U, X, Q, R c U~X|Q{RTT U, X, Q, V c U{(X|Q)~VTT U, X, Q, W c (U{Q)~W|XTT U, X, R, Q c U~X{R|QTT U, X, R, R c U~X{RRTT U, X, R, S c U~X|R{STT U, X, R, T c (UR{X)~TTT U, X, S, R c U~X{S|RTT U, X, S, S c U~X{SSTT U, X, S, T c (U{X|S)~TTT U, X, S, V c U~V{X{STT U, X, T, P c U~(X{P)|TTT U, X, T, R c (UR{X)~TTT U, X, T, S c U{X~T{STT U, X, T, T c U~X{TTTT U, X, T, U c U~X|T{UTT U, X, T, W c U{X{T~WTT U, X, U, P c U~(X{PU)TT U, X, U, T c U{X~U|TTT U, X, U, U c U~X{UUTT U, X, U, V c U~X|U{VTT U, X, V, P c U~(X|P){VTT U, X, V, Q c U{(X|Q)~VTT U, X, V, S c U~V{X{STT U, X, V, U c U~X{V|UTT U, X, V, V c U~X{VVTT U, X, V, W c U~X|V{WTT U, X, W, P c (U{P)~X|WTT U, X, W, Q c U~W{X|QTT U, X, W, T c U{X{W~TTT U, X, W, V c U~X{W|VTT U, X, W, W c U~X{WWTT U, X, W, X c U~X|W{XTT U, X, X, P c (U{PX)~XTT U, X, X, W c U~X{X|WTT U, X, X, X c U~X{XXTT V, O, P, W c (V{O)~W|PTT V, O, S, T c (V{O{S)~TTT V, O, T, S c (V{O{S)~TTT V, O, U, V c (V{O)~V{UTT V, O, U, W c V{O{U~WTT V, O, V, U c (V{O)~V{UTT V, O, W, P c (V{O)~W|PTT V, O, W, U c V{O{W~UTT V, O, W, X c (V{O)~X|WTT V, O, X, W c (V{O)~X|WTT V, P, O, W c (V{O)~W|PTT V, P, P, V c (V{P)~V|PTT V, P, P, W c V~P~W|PTT V, P, P, X c (V|P)~X{PTT V, P, Q, S c V~Q~S|PTT V, P, Q, U c (V{Q)~U{PTT V, P, Q, W c V~W{P|QTT V, P, R, T c (V{P{R)~TTT V, P, S, Q c V~S~Q|PTT V, P, S, S c (V{S)~(P{S)TT V, P, S, T c (V{P~S)~TTT V, P, S, U c (V{S)~(U|P)TT V, P, S, V c (V{V)~S|PTT V, P, T, R c (V{P{R)~TTT V, P, T, S c (V{P~S)~TTT V, P, T, T c (V|P{T)~TTT V, P, T, V c V~V{P{TTT V, P, T, W c V{(P{T)~WTT V, P, U, Q c V~(U{Q)|PTT V, P, U, S c (V{S)~(U|P)TT V, P, U, U c V~(P{U){UTT V, P, U, V c (V{P)~U{VTT V, P, U, W c V{P~U~WTT V, P, U, X c V{U~(X|P)TT V, P, V, P c (V{P)~V|PTT V, P, V, S c (V{V)~S|PTT V, P, V, T c V~V{P{TTT V, P, V, U c V{(P{V)~UTT V, P, V, V c V|P{V~VTT V, P, V, W c (V|P)~W{VTT V, P, V, X c (V~X)|(P{V)TT V, P, W, O c V~W|P{OTT V, P, W, P c V~P~W|PTT V, P, W, Q c V~W{P|QTT V, P, W, T c V{(P{T)~WTT V, P, W, U c V{P~W~UTT V, P, W, V c (V|P)~W{VTT V, P, W, W c (V|PW)~WTT V, P, W, X c (V{P)~W|XTT V, P, X, P c (V|P)~X{PTT V, P, X, U c V{(X|P)~UTT V, P, X, V c (V~X)|(P{V)TT V, P, X, W c V~P~X|WTT V, P, X, X c V~X{P|XTT V, Q, P, S c V~Q~S|PTT V, Q, P, U c (V{Q)~U{PTT V, Q, P, W c V~W|Q{PTT V, Q, Q, T c (V{Q{Q)~TTT V, Q, Q, W c V~W|QQTT V, Q, Q, X c (V|Q)~(Q{X)TT V, Q, R, S c (V{S)~(Q{R)TT V, Q, R, T c (V~Q|R)~TTT V, Q, R, V c V~V{Q~RTT V, Q, R, W c V{Q~R~WTT V, Q, S, P c V~Q~S|PTT V, Q, S, R c (V{S)~(Q{R)TT V, Q, S, U c V{Q~S~UTT V, Q, S, V c (V|Q)~(S{V)TT V, Q, S, W c V{(Q{S)~WTT V, Q, S, X c V~X|Q~STT V, Q, T, Q c (V{Q{Q)~TTT V, Q, T, R c (V~Q|R)~TTT V, Q, T, U c (V|Q)~(T{U)TT V, Q, T, W c (V{WQ)~TTT V, Q, T, X c (Q~X|V)~TTT V, Q, U, P c (V{Q)~U{PTT V, Q, U, S c V{Q~U~STT V, Q, U, T c (V|Q{U)~TTT V, Q, U, U c V{(Q{U)~UTT V, Q, U, X c (V~X)|(Q{U)TT V, Q, V, R c V~V{Q~RTT V, Q, V, S c (V|Q)~(V{S)TT V, Q, V, W c (V{Q)~V|WTT V, Q, W, P c V~W|Q{PTT V, Q, W, Q c V~W|QQTT V, Q, W, R c V{Q~W~RTT V, Q, W, S c V{(Q{S)~WTT V, Q, W, T c (V{WQ)~TTT V, Q, W, V c (V{Q)~V|WTT V, Q, W, W c V{(W|Q)~WTT V, Q, X, Q c (V|Q)~(X{Q)TT V, Q, X, S c V~X|Q~STT V, Q, X, T c (Q~X|V)~TTT V, Q, X, U c (V~X)|(Q{U)TT V, R, P, T c (V{R{P)~TTT V, R, Q, S c (V{S)~(R{Q)TT V, R, Q, T c (V~Q|R)~TTT V, R, Q, V c V~V{R~QTT V, R, Q, W c V{R~Q~WTT V, R, R, V c V~V{R{RTT V, R, R, W c V{(R{R)~WTT V, R, S, Q c (V{S)~(R{Q)TT V, R, S, S c V{R~S~STT V, R, S, U c V~(R{S){UTT V, R, S, W c (V{S)~(W|R)TT V, R, S, X c V{(R{X)~STT V, R, T, P c V~(R{T)|PTT V, R, T, Q c (V~Q|R)~TTT V, R, T, T c (V{R)~T{TTT V, R, T, U c V{(R{T)~UTT V, R, T, V c (V|R{V)~TTT V, R, T, X c V{R{T~XTT V, R, U, S c V~(R{S){UTT V, R, U, T c (V{R)~U|TTT V, R, U, W c V~(R{U)|WTT V, R, V, Q c V~V{R~QTT V, R, V, R c V~V{R{RTT V, R, V, T c (V|R{V)~TTT V, R, V, X c V{R~(V{X)TT V, R, W, Q c V{R~W~QTT V, R, W, R c V{(R{R)~WTT V, R, W, S c V~W{R|STT V, R, W, U c V~(R{U)|WTT V, R, W, W c V{R~(W{W)TT V, R, W, X c V{W~(X|R)TT V, R, X, S c V{(R{X)~STT V, R, X, T c V{R{X~TTT V, R, X, V c V{R~(X{V)TT V, R, X, W c V{(X|R)~WTT V, S, O, T c (V{S{O)~TTT V, S, P, Q c V~S~Q|PTT V, S, P, S c (V{S)~(P{S)TT V, S, P, T c (V{S)~(P~T)TT V, S, P, U c (V{S)~(U|P)TT V, S, P, V c (V{V)~S|PTT V, S, Q, P c V~S~Q|PTT V, S, Q, R c (V{S)~(Q{R)TT V, S, Q, U c V{S~Q~UTT V, S, Q, V c (V{S)~(V|Q)TT V, S, Q, W c V{(S{Q)~WTT V, S, Q, X c V~X|S~QTT V, S, R, Q c (V{S)~(R{Q)TT V, S, R, S c V{S~R~STT V, S, R, U c V~(S{R){UTT V, S, R, W c (V{S)~(W|R)TT V, S, R, X c V{S~(R{X)TT V, S, S, P c (V{S)~(S{P)TT V, S, S, R c V{S~S~RTT V, S, S, U c V{(S{S)~UTT V, S, S, W c V{S~(S{W)TT V, S, S, X c (V{S)~(X|S)TT V, S, T, O c (V{S)~(T{O)TT V, S, T, P c (V{S)~(T~P)TT V, S, T, T c V~T{S~TTT V, S, T, V c V{S~(T{V)TT V, S, T, W c V~(S{T)|WTT V, S, U, P c (V{S)~(U|P)TT V, S, U, Q c V{S~U~QTT V, S, U, R c V~(S{R){UTT V, S, U, S c V{(S{S)~UTT V, S, U, U c V{S~(U{U)TT V, S, U, X c V~U{S{XTT V, S, V, P c (V{V)~S|PTT V, S, V, Q c (V{S)~(V|Q)TT V, S, V, T c V{S~(V{T)TT V, S, W, Q c V{(S{Q)~WTT V, S, W, R c (V{S)~(W|R)TT V, S, W, S c V{(S{W)~STT V, S, W, T c (V|S{W)~TTT V, S, X, Q c V~X|S~QTT V, S, X, R c V{S~(X{R)TT V, S, X, S c (V{S)~(X|S)TT V, S, X, U c V~U{S{XTT V, S, X, X c (V{X)~S|XTT V, T, O, S c (V{O{S)~TTT V, T, P, R c V~(T{R)|PTT V, T, P, S c (V{P~S)~TTT V, T, P, T c (V{T|P)~TTT V, T, P, V c V~V{T{PTT V, T, P, W c V{(T{P)~WTT V, T, Q, Q c (V{Q{Q)~TTT V, T, Q, R c (V~Q|R)~TTT V, T, Q, U c V~(T{Q){UTT V, T, Q, W c (V{WQ)~TTT V, T, Q, X c T~(Q~X|V)TT V, T, R, P c V~(T{R)|PTT V, T, R, Q c (V~Q|R)~TTT V, T, R, T c (V{R)~T{TTT V, T, R, U c V{(T{R)~UTT V, T, R, V c (V|R{V)~TTT V, T, R, X c V{T~X{RTT V, T, S, O c (V{S)~(T{O)TT V, T, S, P c (V{S)~(T~P)TT V, T, S, T c V~T{S~TTT V, T, S, V c (V{T)~S{VTT V, T, S, W c V~(T{S)|WTT V, T, T, P c (V{T|P)~TTT V, T, T, R c (V{R)~T{TTT V, T, T, S c V~T{T~STT V, T, T, T c (V{T)~T|TTT V, T, T, W c V~W|TTTT V, T, T, X c (V|T{X)~TTT V, T, U, Q c V~(T{Q){UTT V, T, U, R c V{(T{R)~UTT V, T, U, W c V~U{T{WTT V, T, V, P c V~V{T{PTT V, T, V, R c (V{V|R)~TTT V, T, V, S c V{(T{V)~STT V, T, W, P c V{(T{P)~WTT V, T, W, Q c (V{WQ)~TTT V, T, W, S c V~(T{S)|WTT V, T, W, T c V~W|TTTT V, T, W, U c V~W{T|UTT V, T, W, W c V{T~W{WTT V, T, X, Q c T~(X~Q|V)TT V, T, X, R c V{T~X{RTT V, T, X, T c (V|T{X)~TTT V, T, X, X c T~(X|V{X)TT V, U, O, V c (V{O)~V{UTT V, U, O, W c V{(U{O)~WTT V, U, P, Q c V~(U{Q)|PTT V, U, P, S c (V{S)~(U|P)TT V, U, P, U c V~(U{P){UTT V, U, P, V c V{U~(P{V)TT V, U, P, W c V{U~P~WTT V, U, P, X c V{U~(X|P)TT V, U, Q, P c V~(U{Q)|PTT V, U, Q, S c V{U~Q~STT V, U, Q, T c (V{U|Q)~TTT V, U, Q, U c V{(U{Q)~UTT V, U, Q, X c (V~X)|(U{Q)TT V, U, R, S c (V{U)~S{RTT V, U, R, T c V{U~(R{T)TT V, U, R, W c V~(U{R)|WTT V, U, S, P c (V{S)~(U|P)TT V, U, S, Q c V{U~S~QTT V, U, S, R c (V{U)~S{RTT V, U, S, S c V{U~(S{S)TT V, U, S, U c V{(U{U)~STT V, U, S, X c V~U{S{XTT V, U, T, Q c (V{U|Q)~TTT V, U, T, R c V{U~(T{R)TT V, U, T, W c V~U{T{WTT V, U, U, P c V~(U{P){UTT V, U, U, Q c V{U~(U{Q)TT V, U, U, S c V{(U{U)~STT V, U, U, V c V{U{U~VTT V, U, U, W c (VU{W)~UTT V, U, U, X c V|U{U~XTT V, U, V, O c V~V{U{OTT V, U, V, P c V{U~(V{P)TT V, U, V, U c V{U{V~UTT V, U, V, V c (V{UV)~VTT V, U, V, W c V~W{U|VTT V, U, V, X c VV{U~XTT V, U, W, O c V{U~W{OTT V, U, W, P c V{U~W~PTT V, U, W, R c V~(U{R)|WTT V, U, W, T c V~U{W{TTT V, U, W, U c (VU{W)~UTT V, U, W, V c V~W{U|VTT V, U, W, W c (VW{U)~WTT V, U, W, X c U~X|V{WTT V, U, X, P c V{U~(X|P)TT V, U, X, Q c (V~X)|(U{Q)TT V, U, X, S c V~U{X{STT V, U, X, U c V{U~X|UTT V, U, X, V c VV{U~XTT V, U, X, W c U~X|V{WTT V, V, O, U c V~V{O{UTT V, V, P, P c V~(V{P)|PTT V, V, P, S c (V{V)~S|PTT V, V, P, T c V~V{P{TTT V, V, P, U c V{(V{P)~UTT V, V, P, V c V~V|P{VTT V, V, P, W c V{(V|P)~WTT V, V, P, X c (V~X)|(V{P)TT V, V, Q, R c V~V{Q~RTT V, V, Q, S c V~V{Q{STT V, V, Q, W c V~(V{Q)|WTT V, V, R, Q c V~V{R~QTT V, V, R, R c V~V{R{RTT V, V, R, T c (V{V|R)~TTT V, V, R, X c V~V|R{XTT V, V, S, P c (V{V)~S|PTT V, V, S, Q c V~V{S{QTT V, V, S, T c V{(V{T)~STT V, V, T, P c V~V{T{PTT V, V, T, R c (V{V|R)~TTT V, V, T, S c V{(V{T)~STT V, V, U, O c V~V{U{OTT V, V, U, P c V~V{U~PTT V, V, U, U c V{V~U{UTT V, V, U, V c V~(V{UV)TT V, V, U, W c V~W|V{UTT V, V, U, X c VV{U~XTT V, V, V, P c V{V~V|PTT V, V, V, U c V~(V{UV)TT V, V, V, W c V~W|VVTT V, V, W, P c V{(V|P)~WTT V, V, W, Q c V~V{W|QTT V, V, W, U c V~W|V{UTT V, V, W, V c V~W|VVTT V, V, W, W c V{V~W|WTT V, V, W, X c V~(X|WV)TT V, V, X, P c (V~X)|(V{P)TT V, V, X, R c V{(V{X)~RTT V, V, X, U c VV{X~UTT V, V, X, W c V~(X|WV)TT V, W, O, P c V~W{O|PTT V, W, O, U c V{(W{O)~UTT V, W, O, X c (V{O)~X|WTT V, W, P, O c V~W|P{OTT V, W, P, P c V~W|P~PTT V, W, P, Q c V~W{P|QTT V, W, P, T c V{W~(P{T)TT V, W, P, U c V{W~P~UTT V, W, P, V c V~(W|PV)TT V, W, P, W c V~(W{P)|WTT V, W, P, X c (V{P)~W|XTT V, W, Q, P c V~W|Q{PTT V, W, Q, Q c V~W|QQTT V, W, Q, R c V{W~Q~RTT V, W, Q, S c V{W~(Q{S)TT V, W, Q, T c (V{WQ)~TTT V, W, Q, V c (V{Q)~V|WTT V, W, Q, W c V{(W|Q)~WTT V, W, R, Q c V{W~R~QTT V, W, R, R c V{W~(R{R)TT V, W, R, S c V~W{R|STT V, W, R, U c V~(R{U)|WTT V, W, R, W c V{(W{W)~RTT V, W, R, X c V{W~(X|R)TT V, W, S, Q c V{W~(S{Q)TT V, W, S, R c V~W|S{RTT V, W, S, S c V{(W{S)~STT V, W, S, T c (V{W|S)~TTT V, W, T, P c V{W~(T{P)TT V, W, T, Q c (V{WQ)~TTT V, W, T, S c V~W|T{STT V, W, T, T c V~W|TTTT V, W, T, U c V~W{T|UTT V, W, T, W c V{W{T~WTT V, W, U, O c V{W~U{OTT V, W, U, P c V{W~U~PTT V, W, U, R c V~(U{R)|WTT V, W, U, T c V~W|U{TTT V, W, U, U c V~W|UUTT V, W, U, V c V~W{U|VTT V, W, U, W c (VW{U)~WTT V, W, U, X c W|V{U~XTT V, W, V, P c V{W~(V|P)TT V, W, V, Q c V~V{W|QTT V, W, V, U c V~W|V{UTT V, W, V, V c V~W|VVTT V, W, V, W c V{W~V|WTT V, W, V, X c V~(X|WV)TT V, W, W, P c V~(W{P)|WTT V, W, W, Q c V{W~(W|Q)TT V, W, W, R c V{(W{W)~RTT V, W, W, T c V{W{W~TTT V, W, W, U c (VW{U)~WTT V, W, W, V c V~W|W{VTT V, W, W, W c V~W|WWTT V, W, W, X c V~W{W|XTT V, W, X, O c V~X|W{OTT V, W, X, P c V~X|W~PTT V, W, X, R c V{W~(X|R)TT V, W, X, U c W|V{X~UTT V, W, X, V c V~(X|WV)TT V, W, X, W c V~W|X{WTT V, W, X, X c (V|WX)~XTT V, X, O, W c V~X{O|WTT V, X, P, P c V~(X|P)|PTT V, X, P, U c V{(X|P)~UTT V, X, P, V c (V~X)|(P{V)TT V, X, P, W c V~X|P~WTT V, X, P, X c V~X{P|XTT V, X, Q, Q c (V|Q)~(X{Q)TT V, X, Q, S c V~X|Q~STT V, X, Q, T c (X~Q|V)~TTT V, X, Q, U c (V~X)|(Q{U)TT V, X, R, S c V{(X{R)~STT V, X, R, T c (V~X)|(R{T)TT V, X, R, V c (V{X)~R{VTT V, X, R, W c V{(X|R)~WTT V, X, S, Q c V~X|S~QTT V, X, S, R c V{(X{R)~STT V, X, S, S c (V~X)|(S{S)TT V, X, S, U c V~U{X{STT V, X, S, X c (V{X)~S|XTT V, X, T, Q c (X~Q|V)~TTT V, X, T, R c V{X~T{RTT V, X, T, T c (V{X|T)~TTT V, X, T, X c (X|V{X)~TTT V, X, U, P c V{(X|P)~UTT V, X, U, Q c (V~X)|(U{Q)TT V, X, U, S c V~U{X{STT V, X, U, U c V{X~U|UTT V, X, U, V c VV{X~UTT V, X, U, W c X~U|V{WTT V, X, V, P c (V~X)|(V{P)TT V, X, V, R c V{(X{V)~RTT V, X, V, U c VV{X~UTT V, X, V, W c V~(X|WV)TT V, X, W, O c V~X|W{OTT V, X, W, P c V~X|W~PTT V, X, W, R c V{(X|R)~WTT V, X, W, U c X~U|V{WTT V, X, W, V c V~(X|WV)TT V, X, W, W c V~W|X{WTT V, X, W, X c (V|WX)~XTT V, X, X, P c V~X|X{PTT V, X, X, S c (V{X)~S|XTT V, X, X, T c (X|V{X)~TTT V, X, X, W c (V|WX)~XTT W, O, P, V c (W{O)~V|PTT W, O, R, T c (W{O{R)~TTT W, O, T, R c (W{O{R)~TTT W, O, U, V c (W{O)~U{VTT W, O, V, P c (W{O)~V|PTT W, O, V, U c (W{O)~U{VTT W, O, V, X c O{V~X|WTT W, O, W, X c (W{O)~W|XTT W, O, X, V c O{X~V|WTT W, O, X, W c (W{O)~W|XTT W, P, O, V c (W{O)~V|PTT W, P, P, U c (W{P)~U{PTT W, P, P, V c W~P~V|PTT W, P, P, W c (W|P)~W|PTT W, P, Q, T c (W{P{Q)~TTT W, P, Q, V c W~V{P|QTT W, P, Q, X c (W|Q)~X{PTT W, P, R, S c (W{R)~(P{S)TT W, P, R, T c (W{P~R)~TTT W, P, R, U c (W{R)~(U|P)TT W, P, S, R c W~(S{R)|PTT W, P, S, T c (W|P{S)~TTT W, P, S, U c (W{U)~S|PTT W, P, T, Q c (W{P{Q)~TTT W, P, T, R c (W{P~R)~TTT W, P, T, S c (W|P{S)~TTT W, P, T, V c W~(P{T){VTT W, P, U, P c (W{P)~U{PTT W, P, U, R c (W{R)~(U|P)TT W, P, U, S c (W{U)~S|PTT W, P, U, U c W~U{P{UTT W, P, U, V c W~P~U{VTT W, P, U, W c W|P{U~WTT W, P, U, X c (P{U)~X|WTT W, P, V, O c W~V|P{OTT W, P, V, P c W~P~V|PTT W, P, V, Q c W~V{P|QTT W, P, V, T c W~(P{T){VTT W, P, V, U c (W|P)~V{UTT W, P, V, V c (W|PV)~VTT W, P, V, W c (W{P)~V|WTT W, P, V, X c W~(P{V)|XTT W, P, W, P c (W|P)~W|PTT W, P, W, U c W|P{W~UTT W, P, W, V c (W{P)~V|WTT W, P, W, W c (W~W)|(P{W)TT W, P, W, X c W~P~W|XTT W, P, X, Q c W~(X|Q)|PTT W, P, X, U c (P{U)~X|WTT W, P, X, V c W~(P{V)|XTT W, P, X, W c (W|P)~X|WTT W, P, X, X c W~(X|P)|XTT W, Q, P, T c (W{Q{P)~TTT W, Q, P, V c W~V|Q{PTT W, Q, P, X c (W|Q)~X{PTT W, Q, Q, V c W~V|QQTT W, Q, R, R c (W{R)~(Q{R)TT W, Q, R, V c W~Q~R{VTT W, Q, R, X c (W|R)~(Q{X)TT W, Q, S, V c W~(Q{S){VTT W, Q, S, X c W~Q~S|XTT W, Q, T, P c W~(Q{T)|PTT W, Q, T, T c (W{Q)~T{TTT W, Q, T, U c (W{Q)~U|TTT W, Q, T, V c (WQ{V)~TTT W, Q, T, X c W{Q{T~XTT W, Q, U, T c (W{Q)~U|TTT W, Q, U, X c W~(Q{U)|XTT W, Q, V, P c W~V|Q{PTT W, Q, V, Q c W~V|QQTT W, Q, V, R c W~Q~R{VTT W, Q, V, S c W~(Q{S){VTT W, Q, V, T c (WQ{V)~TTT W, Q, V, V c W|Q{V~VTT W, Q, V, W c (W|Q)~W{VTT W, Q, W, V c (W|Q)~W{VTT W, Q, X, P c (W|Q)~X{PTT W, Q, X, R c (W|R)~(Q{X)TT W, Q, X, S c W~Q~S|XTT W, Q, X, T c W{Q{X~TTT W, Q, X, U c W~(Q{U)|XTT W, Q, X, X c (X|Q)~X|WTT W, R, O, T c (W{R{O)~TTT W, R, P, S c (W{R)~(P{S)TT W, R, P, T c (W{R)~(P~T)TT W, R, P, U c (W{R)~(U|P)TT W, R, Q, R c (W{R)~(Q{R)TT W, R, Q, V c W~R~Q{VTT W, R, Q, X c (W|R)~(Q{X)TT W, R, R, Q c (W{R)~(R{Q)TT W, R, R, V c W~(R{R){VTT W, R, R, W c (W|R)~(R{W)TT W, R, S, P c (W{R)~(S{P)TT W, R, S, T c (W{T)~S{RTT W, R, S, U c W~U{R{STT W, R, S, V c (W|R)~(S{V)TT W, R, S, X c (W{R)~(X|S)TT W, R, T, O c (W{R)~(T{O)TT W, R, T, P c (W{R)~(T~P)TT W, R, T, S c (W{T)~S{RTT W, R, T, T c W~T{R~TTT W, R, T, U c (W|R)~(T{U)TT W, R, T, X c W~(R{T)|XTT W, R, U, P c (W{R)~(U|P)TT W, R, U, S c W~U{R{STT W, R, U, T c (W|R{U)~TTT W, R, U, V c (R{U)~V|WTT W, R, U, W c (W~W)|(R{U)TT W, R, V, Q c (W{R)~(V|Q)TT W, R, V, R c W~(R{R){VTT W, R, V, S c (W|R)~(V{S)TT W, R, V, U c (R{U)~V|WTT W, R, V, W c (W{W)~R{VTT W, R, V, X c W~(X|R){VTT W, R, W, R c (W{R)~(W|R)TT W, R, W, U c (W~W)|(R{U)TT W, R, W, V c (W{W)~R{VTT W, R, X, Q c (W|R)~(X{Q)TT W, R, X, S c (W{R)~(X|S)TT W, R, X, T c W~(R{T)|XTT W, R, X, V c W~(X|R){VTT W, S, P, R c W~(S{R)|PTT W, S, P, T c (W{S|P)~TTT W, S, P, U c (W{U)~S|PTT W, S, Q, V c W~(S{Q){VTT W, S, Q, X c W~S~Q|XTT W, S, R, P c W~(S{R)|PTT W, S, R, T c (W{T)~S{RTT W, S, R, U c W~U{S{RTT W, S, R, V c (W|R)~(S{V)TT W, S, R, X c (W{R)~(X|S)TT W, S, S, V c (W{S)~S{VTT W, S, S, X c W~(S{S)|XTT W, S, T, P c (W{S|P)~TTT W, S, T, R c (W{T)~S{RTT W, S, T, T c (W{S)~T|TTT W, S, T, V c (W|S{V)~TTT W, S, T, W c (W~W)|(S{T)TT W, S, T, X c (WS{X)~TTT W, S, U, P c (W{U)~S|PTT W, S, U, R c W~U{S{RTT W, S, V, Q c W~(S{Q){VTT W, S, V, R c W~V|S{RTT W, S, V, S c (W{S)~S{VTT W, S, V, T c (W|S{V)~TTT W, S, W, T c (W~W)|(S{T)TT W, S, W, X c (W{W)~S|XTT W, S, X, Q c W~S~Q|XTT W, S, X, R c (W{X)~R{STT W, S, X, S c W~(S{S)|XTT W, S, X, T c (WS{X)~TTT W, S, X, W c (W{W)~S|XTT W, T, O, R c (W{O{R)~TTT W, T, P, Q c W~(T{Q)|PTT W, T, P, R c (W{P~R)~TTT W, T, P, S c (W|P{S)~TTT W, T, P, V c W~(T{P){VTT W, T, Q, P c W~(T{Q)|PTT W, T, Q, T c (W{T|Q)~TTT W, T, Q, U c (W{Q)~U|TTT W, T, Q, V c (WQ{V)~TTT W, T, Q, X c W{T~X{QTT W, T, R, O c (W{R)~(T{O)TT W, T, R, P c (W{R)~(T~P)TT W, T, R, S c (W{T)~S{RTT W, T, R, T c W~T{R~TTT W, T, R, U c (W|R)~(T{U)TT W, T, R, X c W~(T{R)|XTT W, T, S, P c (W{S|P)~TTT W, T, S, R c (W{T)~S{RTT W, T, S, T c (W{S)~T|TTT W, T, S, V c (W|S{V)~TTT W, T, S, W c (W~W)|(T{S)TT W, T, S, X c (WS{X)~TTT W, T, T, Q c (W{T|Q)~TTT W, T, T, R c W~T{T~RTT W, T, T, S c (W{S)~T|TTT W, T, T, V c W~V|TTTT W, T, T, W c (W|T{W)~TTT W, T, U, Q c W~U{T{QTT W, T, U, R c (W{U|R)~TTT W, T, U, V c W{T{U~VTT W, T, U, X c W~T{U{XTT W, T, V, P c W~(T{P){VTT W, T, V, Q c (WQ{V)~TTT W, T, V, S c W~V|T{STT W, T, V, T c W~V|TTTT W, T, V, U c W{T{V~UTT W, T, V, W c W~T{V{WTT W, T, W, S c (W~W)|(T{S)TT W, T, W, T c (W|T{W)~TTT W, T, W, V c W{T~W{VTT W, T, X, Q c W{T~X{QTT W, T, X, R c W~(T{R)|XTT W, T, X, S c (WS{X)~TTT W, T, X, U c W~T{X{UTT W, U, O, V c W~U{O{VTT W, U, P, P c W~(U{P)|PTT W, U, P, R c (W{R)~(U|P)TT W, U, P, S c (W{U)~S|PTT W, U, P, U c W~U{P{UTT W, U, P, V c W~U{P~VTT W, U, P, W c W~U|P{WTT W, U, P, X c (U{P)~X|WTT W, U, Q, T c (W{UQ)~TTT W, U, Q, X c W~(U{Q)|XTT W, U, R, P c (W{R)~(U|P)TT W, U, R, S c W~U{R{STT W, U, R, T c (W{U|R)~TTT W, U, R, V c (U{R)~V|WTT W, U, R, W c (W~W)|(U{R)TT W, U, S, P c (W{U)~S|PTT W, U, S, R c W~U{S{RTT W, U, T, Q c W~U{T{QTT W, U, T, R c (W{U|R)~TTT W, U, T, V c W{U~V{TTT W, U, T, X c (W|U{X)~TTT W, U, U, P c W~U{U{PTT W, U, U, V c (W{VU)~UTT W, U, V, O c W~U{V{OTT W, U, V, P c W~U{V~PTT W, U, V, R c (U{R)~V|WTT W, U, V, T c W{U~V{TTT W, U, V, U c (W{VU)~UTT W, U, V, V c W~V{U|VTT W, U, V, W c W~(U{VW)TT W, U, V, X c W{U~X|VTT W, U, W, P c W{U~W|PTT W, U, W, R c (W~W)|(U{R)TT W, U, W, V c W~(U{VW)TT W, U, W, X c WW{U~XTT W, U, X, P c (U{P)~X|WTT W, U, X, Q c W~U{X|QTT W, U, X, T c (W|U{X)~TTT W, U, X, V c W{U~X|VTT W, U, X, W c WW{U~XTT W, U, X, X c U~X|W{XTT W, V, O, P c W~V{O|PTT W, V, O, U c (W{O)~U{VTT W, V, O, X c (V{O)~X|WTT W, V, P, O c W~V|P{OTT W, V, P, P c W~V|P~PTT W, V, P, Q c W~V{P|QTT W, V, P, T c W~(P{T){VTT W, V, P, U c (W|P)~V{UTT W, V, P, V c W~(V|P){VTT W, V, P, W c W~(V|PW)TT W, V, P, X c W~(V{P)|XTT W, V, Q, P c W~V|Q{PTT W, V, Q, Q c W~V|QQTT W, V, Q, R c W~V{Q|RTT W, V, Q, S c W~(Q{S){VTT W, V, Q, T c (WQ{V)~TTT W, V, Q, V c W{V~V|QTT W, V, Q, W c (W|Q)~W{VTT W, V, R, Q c W~V|R{QTT W, V, R, R c W~V|RRTT W, V, R, S c W~V{R|STT W, V, R, U c V~(R{U)|WTT W, V, R, W c (W{W)~R{VTT W, V, R, X c W~(X|R){VTT W, V, S, Q c W~(S{Q){VTT W, V, S, R c W~V|S{RTT W, V, S, S c W~V|SSTT W, V, S, T c (W{V|S)~TTT W, V, T, P c W~(T{P){VTT W, V, T, Q c (WQ{V)~TTT W, V, T, S c W~V|T{STT W, V, T, T c W~V|TTTT W, V, T, U c W~V{T|UTT W, V, T, W c W{V{T~WTT W, V, U, O c W~U{V{OTT W, V, U, P c W~U{V~PTT W, V, U, R c V~(U{R)|WTT W, V, U, T c W{V~U{TTT W, V, U, U c (W{VU)~UTT W, V, U, V c W~V{U|VTT W, V, U, W c W~(VW{U)TT W, V, U, X c W|V{U~XTT W, V, V, P c W~(V|P){VTT W, V, V, Q c W{V~V|QTT W, V, V, U c W~V|V{UTT W, V, V, V c W~V|VVTT W, V, V, W c W~V{V|WTT W, V, V, X c V~(X|WV)TT W, V, W, P c W~(V|PW)TT W, V, W, Q c (W~W)|(V{Q)TT W, V, W, R c (W{W)~R{VTT W, V, W, T c W{V{W~TTT W, V, W, U c W~(VW{U)TT W, V, W, V c W~V|W{VTT W, V, W, W c W~V|WWTT W, V, W, X c W{V~W|XTT W, V, X, O c V~X|W{OTT W, V, X, P c W~(V{P)|XTT W, V, X, R c W~(X|R){VTT W, V, X, U c W|V{X~UTT W, V, X, V c V~(X|WV)TT W, V, X, W c W~V|X{WTT W, V, X, X c W~V|XXTT W, W, O, X c W~W{O|XTT W, W, P, P c W~(W|P)|PTT W, W, P, U c W{W~U|PTT W, W, P, V c (W{P)~V|WTT W, W, P, W c (W~W)|(P{W)TT W, W, P, X c W~W|P~XTT W, W, Q, V c (W~W)|(Q{V)TT W, W, R, R c W~W|R~RTT W, W, R, U c (W~W)|(R{U)TT W, W, R, V c (W{W)~R{VTT W, W, S, T c (W~W)|(S{T)TT W, W, S, X c (W{W)~S|XTT W, W, T, S c (W~W)|(T{S)TT W, W, T, T c (W{W|T)~TTT W, W, T, V c W{W~T{VTT W, W, U, P c W{W~U|PTT W, W, U, R c (W~W)|(U{R)TT W, W, U, V c W~(U{VW)TT W, W, U, X c WW{U~XTT W, W, V, P c W~(V|PW)TT W, W, V, Q c (W~W)|(V{Q)TT W, W, V, R c (W{W)~R{VTT W, W, V, T c W{W~T{VTT W, W, V, U c W~(VW{U)TT W, W, V, V c W~V|W{VTT W, W, V, W c W~V|WWTT W, W, V, X c W{W~V|XTT W, W, W, P c (W~W)|(W{P)TT W, W, W, V c W~V|WWTT W, W, W, X c W~(W|XW)TT W, W, X, O c W~W|X{OTT W, W, X, P c W~W|X~PTT W, W, X, S c (W{W)~S|XTT W, W, X, U c WW{X~UTT W, W, X, V c W{W~V|XTT W, W, X, W c W~(W|XW)TT W, W, X, X c (W~X)|(W{X)TT W, X, O, V c (X{O)~V|WTT W, X, O, W c (W{O)~W|XTT W, X, P, Q c W~(X|Q)|PTT W, X, P, U c X~(P{U)|WTT W, X, P, V c W~(P{V)|XTT W, X, P, W c (W|P)~X|WTT W, X, P, X c W~(X|P)|XTT W, X, Q, P c W~(X|Q)|PTT W, X, Q, R c (W|R)~(X{Q)TT W, X, Q, S c W~Q~S|XTT W, X, Q, T c W{X~T{QTT W, X, Q, U c W~(Q{U)|XTT W, X, Q, X c (X|Q)~X|WTT W, X, R, Q c (W|R)~(X{Q)TT W, X, R, S c (W{X)~R{STT W, X, R, T c (W{XR)~TTT W, X, R, V c W~(X|R){VTT W, X, S, Q c W~S~Q|XTT W, X, S, R c (W{X)~R{STT W, X, S, S c W~(S{S)|XTT W, X, S, T c (WS{X)~TTT W, X, S, W c (W{W)~S|XTT W, X, T, Q c W{X~T{QTT W, X, T, R c (W{XR)~TTT W, X, T, S c (WS{X)~TTT W, X, T, U c (W{X|U)~TTT W, X, U, P c X~(U{P)|WTT W, X, U, Q c W~U{X|QTT W, X, U, T c (W{X|U)~TTT W, X, U, V c W{X~U|VTT W, X, U, W c WW{X~UTT W, X, U, X c X|W{U~XTT W, X, V, O c X~V|W{OTT W, X, V, P c W~(V{P)|XTT W, X, V, R c W~(X|R){VTT W, X, V, U c W{X~U|VTT W, X, V, V c (X|WV)~VTT W, X, V, W c W~V|X{WTT W, X, V, X c W~V|XXTT W, X, W, O c W~W|X{OTT W, X, W, P c W~W|X~PTT W, X, W, S c (W{W)~S|XTT W, X, W, U c WW{X~UTT W, X, W, V c W{W~V|XTT W, X, W, W c (W|XW)~WTT W, X, W, X c (W~X)|(W{X)TT W, X, X, P c W~(X|P)|XTT W, X, X, Q c X~(X|Q)|WTT W, X, X, U c X|W{X~UTT W, X, X, V c W~V|XXTT W, X, X, W c (W~X)|(X{W)TT X, O, P, U c (X{O)~U{PTT X, O, Q, T c (X{O{Q)~TTT X, O, T, Q c (X{O{Q)~TTT X, O, U, P c (X{O)~U{PTT X, O, V, W c (X{O)~V|WTT X, O, W, V c (X{O)~V|WTT X, O, W, W c O{W~W|XTT X, P, O, U c (X{O)~U{PTT X, P, P, T c (X{P{P)~TTT X, P, P, U c X~P~U{PTT X, P, P, V c (X|P)~V|PTT X, P, Q, R c X~Q~R{PTT X, P, Q, S c (X{Q)~(P{S)TT X, P, Q, T c (X{P~Q)~TTT X, P, Q, U c (X{Q)~(U|P)TT X, P, Q, W c (X|Q)~W|PTT X, P, R, Q c X~R~Q{PTT X, P, R, R c X~(R{R){PTT X, P, R, T c (X|P{R)~TTT X, P, R, X c (X|R)~X{PTT X, P, S, Q c X~(S{Q){PTT X, P, S, T c (X{T)~S|PTT X, P, T, P c X~(P{T){PTT X, P, T, Q c (X{P~Q)~TTT X, P, T, R c (X|P{R)~TTT X, P, T, S c (X{T)~S|PTT X, P, T, T c (X{P)~T{TTT X, P, T, U c (X{P)~U|TTT X, P, T, X c X{P{T~XTT X, P, U, O c X~U{P{OTT X, P, U, P c X~P~U{PTT X, P, U, Q c X~U|P{QTT X, P, U, T c (X{P)~U|TTT X, P, U, U c (X{PU)~UTT X, P, U, V c (X|P)~U{VTT X, P, U, W c X~(P{U)|WTT X, P, U, X c X~(PX{U)TT X, P, V, P c (X|P)~V|PTT X, P, V, U c (X|P)~U{VTT X, P, V, V c (X~V)|(P{V)TT X, P, V, W c X~P~V|WTT X, P, V, X c X~V{P|XTT X, P, W, Q c X~(W|Q){PTT X, P, W, U c X~(P{U)|WTT X, P, W, V c X~P~V|WTT X, P, W, W c X~(W|P)|WTT X, P, W, X c (X|P)~W|XTT X, P, X, R c (X{X)~R{PTT X, P, X, T c X{P{X~TTT X, P, X, U c X~(PX{U)TT X, P, X, V c X~V{P|XTT X, P, X, W c (X|P)~W|XTT X, Q, O, T c (X{Q{O)~TTT X, Q, P, R c X~Q~R{PTT X, Q, P, S c (X{Q)~(P{S)TT X, Q, P, T c (X{Q)~(P~T)TT X, Q, P, U c (X{Q)~(U|P)TT X, Q, P, W c (X|Q)~W|PTT X, Q, Q, R c (X{Q)~(Q{R)TT X, Q, Q, U c X~U{QQTT X, Q, Q, V c (X{Q)~(V|Q)TT X, Q, R, P c X~Q~R{PTT X, Q, R, Q c (X{Q)~(R{Q)TT X, Q, R, U c X~U|Q{RTT X, Q, R, W c (X{Q)~(W|R)TT X, Q, S, P c (X{Q)~(S{P)TT X, Q, S, T c (X|Q{S)~TTT X, Q, S, V c X~V|Q~STT X, Q, S, W c Q~S~W|XTT X, Q, S, X c (X{Q)~(X|S)TT X, Q, T, O c (X{Q)~(T{O)TT X, Q, T, P c (X{Q)~(T~P)TT X, Q, T, S c (X|Q{S)~TTT X, Q, T, T c X~T{Q~TTT X, Q, T, V c (X~Q|V)~TTT X, Q, T, W c X~(Q{T)|WTT X, Q, U, P c (X{Q)~(U|P)TT X, Q, U, Q c X~U{QQTT X, Q, U, R c X~U|Q{RTT X, Q, U, V c (X|Q)~V{UTT X, Q, U, W c X|Q{U~WTT X, Q, V, Q c (X{Q)~(V|Q)TT X, Q, V, S c X~V|Q~STT X, Q, V, T c (X~Q|V)~TTT X, Q, V, U c (X|Q)~V{UTT X, Q, W, P c (X|Q)~W|PTT X, Q, W, R c (X{Q)~(W|R)TT X, Q, W, S c Q~W~S|XTT X, Q, W, T c X~(Q{T)|WTT X, Q, W, U c X|Q{W~UTT X, Q, W, X c (X|Q)~X|WTT X, Q, X, S c (X{Q)~(X|S)TT X, Q, X, W c (X|Q)~X|WTT X, R, P, Q c X~R~Q{PTT X, R, P, R c X~(R{R){PTT X, R, P, T c (X{R|P)~TTT X, R, P, X c (X|R)~X{PTT X, R, Q, P c X~R~Q{PTT X, R, Q, Q c (X{Q)~(R{Q)TT X, R, Q, U c X~U{R|QTT X, R, Q, W c (X{Q)~(W|R)TT X, R, R, P c X~(R{R){PTT X, R, R, U c X~U{RRTT X, R, S, S c (X{S)~S{RTT X, R, S, U c X~U|R{STT X, R, S, V c (X{R)~S{VTT X, R, S, W c X~(R{S)|WTT X, R, T, P c (X{R|P)~TTT X, R, T, T c (X{R)~T|TTT X, R, T, U c (X{UR)~TTT X, R, T, V c X~T{R{VTT X, R, T, W c (XR{W)~TTT X, R, U, Q c X~U{R|QTT X, R, U, R c X~U{RRTT X, R, U, S c X~U|R{STT X, R, U, T c (X{UR)~TTT X, R, V, S c X~R{V~STT X, R, V, T c (X~V)|(R{T)TT X, R, V, V c X|R{V~VTT X, R, V, W c (X|R)~W{VTT X, R, W, Q c (X{Q)~(W|R)TT X, R, W, S c X~(R{S)|WTT X, R, W, T c (XR{W)~TTT X, R, W, V c (X|R)~W{VTT X, R, X, P c (X|R)~X{PTT X, S, P, Q c X~(S{Q){PTT X, S, P, T c (X{T)~S|PTT X, S, Q, P c X~(S{Q){PTT X, S, Q, T c (X{S|Q)~TTT X, S, Q, V c X~V|S~QTT X, S, Q, W c S~Q~W|XTT X, S, Q, X c (X|S)~(Q{X)TT X, S, R, S c (X{S)~S{RTT X, S, R, U c X~U{S|RTT X, S, R, V c (X{R)~S{VTT X, S, R, W c (X|S)~(R{W)TT X, S, S, R c (X{S)~S{RTT X, S, S, S c S~S~S|XTT X, S, S, U c X~U{SSTT X, S, S, V c (X|S)~(S{V)TT X, S, S, W c (S{S)~W|XTT X, S, T, P c (X{T)~S|PTT X, S, T, Q c (X{S|Q)~TTT X, S, T, T c (S~T|X)~TTT X, S, T, U c (X|S)~(T{U)TT X, S, T, W c (X{WS)~TTT X, S, U, R c X~U{S|RTT X, S, U, S c X~U{SSTT X, S, U, T c (X|S{U)~TTT X, S, U, V c X{S{U~VTT X, S, V, Q c X~V|S~QTT X, S, V, R c (X{R)~S{VTT X, S, V, S c (X|S)~(V{S)TT X, S, V, U c X{S{V~UTT X, S, V, X c (X{V)~S|XTT X, S, W, Q c S~W~Q|XTT X, S, W, R c (X|S)~(W{R)TT X, S, W, S c (S{S)~W|XTT X, S, W, T c (X{WS)~TTT X, S, W, W c S~(W{W)|XTT X, S, X, Q c (X|S)~(X{Q)TT X, S, X, V c (X{V)~S|XTT X, T, O, Q c (X{O{Q)~TTT X, T, P, P c X~(T{P){PTT X, T, P, Q c (X{P~Q)~TTT X, T, P, R c (X|P{R)~TTT X, T, P, S c (X{T)~S|PTT X, T, P, T c (X{P)~T{TTT X, T, P, U c (X{P)~U|TTT X, T, P, X c X~T{P{XTT X, T, Q, O c (X{Q)~(T{O)TT X, T, Q, P c (X{Q)~(T~P)TT X, T, Q, S c (X|Q{S)~TTT X, T, Q, T c X~T{Q~TTT X, T, Q, V c (X~Q|V)~TTT X, T, Q, W c X~T{Q{WTT X, T, R, P c (X{R|P)~TTT X, T, R, T c (X{T|R)~TTT X, T, R, U c (X{UR)~TTT X, T, R, V c X~T{R{VTT X, T, R, W c (XR{W)~TTT X, T, S, P c (X{T)~S|PTT X, T, S, Q c (X{S|Q)~TTT X, T, S, T c (T~S|X)~TTT X, T, S, U c X~T{S{UTT X, T, S, W c (X{WS)~TTT X, T, T, P c (X{P)~T{TTT X, T, T, Q c X~T{T~QTT X, T, T, R c (X{T|R)~TTT X, T, T, S c T~(T~S|X)TT X, T, T, T c X~T{T{TTT X, T, T, U c X~U{TTTT X, T, T, V c (X|T{V)~TTT X, T, U, P c (X{P)~U|TTT X, T, U, R c (X{UR)~TTT X, T, U, S c X~T{U{STT X, T, U, T c X~U{TTTT X, T, U, U c X~U|T{UTT X, T, U, W c X{T~W{UTT X, T, V, Q c (X~Q|V)~TTT X, T, V, R c X~T{V{RTT X, T, V, T c (X|T{V)~TTT X, T, V, X c (X|V{X)~TTT X, T, W, Q c X~T{W{QTT X, T, W, R c (XR{W)~TTT X, T, W, S c (X{WS)~TTT X, T, W, U c X{T~W{UTT X, T, X, P c X{T~X{PTT X, T, X, V c (X{X|V)~TTT X, U, O, P c X~U{O{PTT X, U, P, O c X~U{P{OTT X, U, P, P c X~U{P~PTT X, U, P, Q c X~U|P{QTT X, U, P, T c (X{P)~U|TTT X, U, P, U c (X{PU)~UTT X, U, P, V c (X|P)~U{VTT X, U, P, W c X~(U{P)|WTT X, U, P, X c X~(U{PX)TT X, U, Q, P c X~U{Q|PTT X, U, Q, Q c X~U{QQTT X, U, Q, R c X~U|Q{RTT X, U, Q, V c (X|Q)~V{UTT X, U, Q, W c X{U~W|QTT X, U, R, Q c X~U{R|QTT X, U, R, R c X~U{RRTT X, U, R, S c X~U|R{STT X, U, R, T c (X{UR)~TTT X, U, S, R c X~U{S|RTT X, U, S, S c X~U{SSTT X, U, S, T c (X{U|S)~TTT X, U, S, V c X{U~V{STT X, U, T, P c (X{P)~U|TTT X, U, T, R c (X{UR)~TTT X, U, T, S c X~U{T|STT X, U, T, T c X~U{TTTT X, U, T, U c X~U|T{UTT X, U, T, W c X{U{T~WTT X, U, U, P c (X{PU)~UTT X, U, U, T c X~U{U|TTT X, U, U, U c X~U{UUTT X, U, U, V c X~U|U{VTT X, U, V, P c (X|P)~U{VTT X, U, V, Q c (X~V)|(U{Q)TT X, U, V, S c X{U~V{STT X, U, V, U c X~U{V|UTT X, U, V, V c X~U{VVTT X, U, V, W c X~U|V{WTT X, U, W, P c X~(U{P)|WTT X, U, W, Q c X{U~W|QTT X, U, W, T c X{U{W~TTT X, U, W, V c X~U{W|VTT X, U, W, W c X~U{WWTT X, U, W, X c X~U|W{XTT X, U, X, P c X~(U{PX)TT X, U, X, W c X{U~X|WTT X, U, X, X c X~U{XXTT X, V, O, W c X~V{O|WTT X, V, P, P c X~(V|P){PTT X, V, P, U c (X|P)~U{VTT X, V, P, V c (X~V)|(P{V)TT X, V, P, W c X~V|P~WTT X, V, P, X c X~V{P|XTT X, V, Q, Q c (X{Q)~(V|Q)TT X, V, Q, S c X~V|Q~STT X, V, Q, T c (X~Q|V)~TTT X, V, Q, U c (X~V)|(Q{U)TT X, V, R, S c X~R{V~STT X, V, R, T c (X~V)|(R{T)TT X, V, R, V c (X{V)~R{VTT X, V, R, W c (X|R)~W{VTT X, V, S, Q c X~V|S~QTT X, V, S, R c X~R{V~STT X, V, S, S c (X~V)|(S{S)TT X, V, S, U c X{V~U{STT X, V, S, X c (X{V)~S|XTT X, V, T, Q c (X~Q|V)~TTT X, V, T, R c (X~V)|(T{R)TT X, V, T, T c (X{V|T)~TTT X, V, T, X c (X|V{X)~TTT X, V, U, P c (X|P)~U{VTT X, V, U, Q c (X~V)|(U{Q)TT X, V, U, S c X{V~U{STT X, V, U, U c X~U{V|UTT X, V, U, V c X~U{VVTT X, V, U, W c X~U|V{WTT X, V, V, P c (X~V)|(V{P)TT X, V, V, R c X{V~V|RTT X, V, V, U c X~U{VVTT X, V, V, W c (X|WV)~VTT X, V, W, O c X~V|W{OTT X, V, W, P c X~V|W~PTT X, V, W, R c (X|R)~W{VTT X, V, W, U c X~U|V{WTT X, V, W, V c (X|WV)~VTT X, V, W, W c V~W|X{WTT X, V, W, X c X~(V|WX)TT X, V, X, P c X~V|X{PTT X, V, X, S c (X{V)~S|XTT X, V, X, T c (X|V{X)~TTT X, V, X, W c X~(V|WX)TT X, W, O, V c (X{O)~V|WTT X, W, O, W c (W{O)~W|XTT X, W, P, Q c X~(W|Q){PTT X, W, P, U c X~(P{U)|WTT X, W, P, V c X~P~V|WTT X, W, P, W c X~(W|P)|WTT X, W, P, X c (X|P)~W|XTT X, W, Q, P c X~(W|Q){PTT X, W, Q, R c (X{Q)~(W|R)TT X, W, Q, S c W~Q~S|XTT X, W, Q, T c X~(Q{T)|WTT X, W, Q, U c X{W~U|QTT X, W, Q, X c (X|Q)~X|WTT X, W, R, Q c (X{Q)~(W|R)TT X, W, R, S c (X{W)~R{STT X, W, R, T c (XR{W)~TTT X, W, R, V c (X|R)~W{VTT X, W, S, Q c W~S~Q|XTT X, W, S, R c (X{W)~R{STT X, W, S, S c W~(S{S)|XTT X, W, S, T c (X{WS)~TTT X, W, S, W c (W{W)~S|XTT X, W, T, Q c X~T{W{QTT X, W, T, R c (XR{W)~TTT X, W, T, S c (X{WS)~TTT X, W, T, U c X{W~T{UTT X, W, U, P c X~(U{P)|WTT X, W, U, Q c X{W~U|QTT X, W, U, T c (X{W|U)~TTT X, W, U, V c X~U{W|VTT X, W, U, W c X~U{WWTT X, W, U, X c X|W{U~XTT X, W, V, O c X~V|W{OTT X, W, V, P c X~V|W~PTT X, W, V, R c (X|R)~W{VTT X, W, V, U c X~U{W|VTT X, W, V, V c (X|WV)~VTT X, W, V, W c W~V|X{WTT X, W, V, X c X~(V|WX)TT X, W, W, O c W~W|X{OTT X, W, W, P c X~(W|P)|WTT X, W, W, S c (W{W)~S|XTT X, W, W, U c X~U{WWTT X, W, W, V c W{W~V|XTT X, W, W, W c (W|XW)~WTT X, W, W, X c (X~W)|(W{X)TT X, W, X, P c (X|P)~W|XTT X, W, X, Q c X~(X|Q)|WTT X, W, X, U c X|W{X~UTT X, W, X, V c X~(V|WX)TT X, W, X, W c (X~W)|(X{W)TT X, X, P, R c (X{X)~R{PTT X, X, P, T c X{X~T{PTT X, X, P, U c X~(PX{U)TT X, X, P, V c X~V|X{PTT X, X, P, W c (X|P)~W|XTT X, X, Q, S c (X{Q)~(X|S)TT X, X, Q, W c X~(X|Q)|WTT X, X, R, P c (X{X)~R{PTT X, X, S, Q c (X|S)~(X{Q)TT X, X, S, V c (X{V)~S|XTT X, X, T, P c X{X~T{PTT X, X, T, V c (X{X|V)~TTT X, X, U, P c X~(U{PX)TT X, X, U, W c X{X~U|WTT X, X, U, X c XX{U~XTT X, X, V, P c X~V|X{PTT X, X, V, S c (X{V)~S|XTT X, X, V, T c (X{X|V)~TTT X, X, V, W c X~(V|WX)TT X, X, W, P c (X|P)~W|XTT X, X, W, Q c X~(X|Q)|WTT X, X, W, U c X{X~U|WTT X, X, W, V c X~(V|WX)TT X, X, W, W c (X~W)|(X{W)TT X, X, X, U c XX{X~UTT