./004075100001440000013000000000000610737175300121065ustar00hwolkowinone00000400000025./apr6curr010060000001440000455000000335450574076520400145070ustar00hwolkowieveryone00000400000025%======================= main.tex =========================================== \documentstyle{slides} %\input psfig \newtheorem{exam}{Example} \newtheorem{prop}{Proposition} \newtheorem{lem}{Lemma} \newtheorem{thm}{Theorem} \newtheorem{cor}{Corollary} \newcommand{\Diag}{{\rm Diag\,}} \newcommand{\diag}{{\rm diag\,}} \newcommand{\tr}{{\rm trace\,}} \newcommand{\trace}{{\rm trace\,}} \pagestyle{plain} \begin{document} \blackandwhite{example} \begin{slide}{} %This is slide 1 \begin{center} {\bf A General Framework\\ for\\ Trust Region Subproblems\\ with \\ Applications to Large Scale Minimization} \end{center} and\\ Semidefinite Programming\\ (Linear Programming for the 90's and 00's) ~~\\ ~~\\ ~~\\ ~~\\ ~~\\ ~~\\ Henry Wolkowicz\\ University of Waterloo (work with Franz Rendl, Univ. of Graz) \end{slide} \begin{slide}{} %%This is slide 2. {\bf The Trust Region Subproblem:} Let \[ q(x):= x^tAx - 2a^tx, \] \begin{eqnarray*} (TRS)~~~~~ \mu^* := &\min& q(x)\\ &\mbox{s.t.}& x^tx = s^2~~(\leq s^2). \end{eqnarray*} where $A=A^t$, not neccessarily semidefinite\\ $a \in \Re^n$, $s>0.$ ~~\\ (application: quadratic model for unconstrained minimization) ~~\\ ~~\\ Main Result: an algorithm that solves TRS using only matrix-vector multiplication; therefore exploits sparsity \end{slide} \begin{slide}{} %%This is slide 3 {\bf Semidefinite Programming Framework} (linear programming for the 90's and 00's) \[ (SDP) \begin{array}{cc} \max & \trace CZ\\ \mbox{s.t.} & L(Z) = B\\ & Z \succeq 0 \end{array} \] $Z \succeq 0$ denotes positive semidefinite\\ $L$ is a linear operator \end{slide} \begin{slide}{} %%This is slide 4 Applications: e.g. combinatorial optimization \[ \begin{array}{cc} \max & x^tQx=\trace Qxx^t\\ \mbox{s.t.} & x_i = \pm 1,~ x^2_i=1~\forall i \end{array} \] equivalently (with $X \equiv xx^t$) \[ (SDP) \begin{array}{cc} \max & \trace QX\\ \mbox{s.t.} & \diag (X) = e\\ & X \succeq 0 \end{array} \] rank($X$)=1 ~~(missing constraint - relaxation) ~~\\ ~~\\ ~~\\ Other Applications:\\ Control theory (Lyapunov stability, Ricatti equations), structural computational complexity theory, min-max eigenvalue problems, graph theory \end{slide} \begin{slide}{} %%This is slide 5 Back to TRS: \begin{eqnarray*} (TRS)~~~~~ \mu^* := &\min& q(x)\\ &\mbox{s.t.}& x^tx = s^2~~(\leq s^2). \end{eqnarray*} nonlinear least squares, Levenberg 1944, Marquadt 1963 Applications to general minimization, Goldfeld, Quandt and Trotter 1966 Early theoretical results, Forsythe and Golub 1965 Hebden 1973, Reinsch 1967 efficient numerics, Gay 1981 state of the art algorithm, More-Sorenson 1983 \end{slide} %\begin{slide}{} %% start figure 1 % \begin{figure}[htb] % \centering % \centerline{\ %\psfig{figure=trpic.ps,height=4in,width=5.9in}} % \label{fig1} % \ecfigure{Geometric Graph with Bisection} %% end figure 1 %\end{slide} \begin{slide}{} %%This is slide 5 Currently: strong Lagrangian Duality, Stern and Wolkowicz 1993 polynomial time, Ye 1992 at most one local-nonglobal, Martinez 1993 two trust regions, CDT 1984 multiple trust regions: Shor, Ramana, Wolkowicz Lanczos-eigenvalue approach: Sorensen 1994,\\ (with SDP) Rendl and Wolkowicz 1994 \end{slide} \begin{slide}{} %%This is slide 7 \[ L(x,\lambda) = q(x) - \lambda(x^tx-s^2) \] {\bf Theorem}(Stern and Wolkowicz, 1993)\\ (i) Strong duality holds for TRS, i.e. \[ \mu^* = \min_x \max_\lambda L(x,\lambda) = \max_\lambda \min_x L(x,\lambda). \] Moreover, attainment holds for $x$ and uniquely for $\lambda$.\\ (ii) A dual problem for TRS, without a duality gap, is \[ (D) \begin{array}{c} \max_{A-\lambda I \succeq 0} h(\lambda), \end{array} \] where \[h(\lambda) = \lambda s^2 - a^t(A-\lambda I)^\dagger a, ~(\mbox{concave}) \] and $\cdot^\dagger$ denotes the Moore-Penrose generalized inverse. \end{slide} \begin{slide}{} %%This is slide 8 {\bf Proof} \begin{eqnarray*} \mu^* & = & \min\limits_{||x||=s} q(x) \nonumber\\ & \geq & \max_\lambda \min_{x} L(x,\lambda) \nonumber\\ & =& \max\limits_{A-\lambda I \succeq 0} \min_{x} L(x,\lambda), \end{eqnarray*} hidden constraints - Hessian $\succeq 0$ and stationarity global minimum of the Lagrangian is \[ x_\lambda := (A-\lambda I)^\dagger a, \] Therefore, the right hand side of the above is equal to \begin{eqnarray*} & =& \max\limits_{A-\lambda I \succeq 0} \lambda s^2 -a^t(A-\lambda I)^\dagger a\\ & =& \max\limits_{A-\lambda I \succeq 0} h(\lambda), \end{eqnarray*} This functional is strictly concave and coercive.\\ $h^\prime = 0$ feasibility \end{slide} \begin{slide}{} %%This is slide 9 {\bf Example} (hard case) Let \[ A = \left[ \begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right],~a=(1~0)^t,~s=1. \] $A-\lambda I \succeq 0,$ implies $\lambda \leq -1$ $\lambda^* = -1$, $\mu^* = -1.5 = h(\lambda^*)$ $x_\lambda = (A-\lambda I)^{\dagger} a = (.5 ~ 0)^t$ $q(x_\lambda) = -.75 > \mu^*$ $||x_\lambda|| < 1$ complementary slackness fails zero duality gap but no primal attainment \end{slide} \begin{slide}{} %%This is slide 10 {\bf Nonlinear Primal-Dual Pair} The dual problem is \[ \begin{array}{c} \max_{A-\lambda I \succeq 0} h(\lambda) \end{array} ~~~(D) \] where \[h(\lambda) = \lambda s^2 - a^t(A-\lambda I)^\dagger a \] dual of the dual: \[ \begin{array}{cc} \min & h(\lambda)+ \tr Z(A-\lambda I) \\ \mbox{s.t.} & s^2-||(A-\lambda I)^\dagger a ||^2 -\trace Z = 0 \\ & Z \succeq 0. \end{array}~~~ (DD) \] For feasible pair $Z,\lambda$, the duality gap is: \[\tr Z(A-\lambda I)~ \] complementary slackness \end{slide} \begin{slide}{} %%%This is slide 11 {\bf Gale and More-Sorenson Algorithm\\ explained by SDP Framework} maintain 2nd order cond. $(A-\lambda I) \succ 0$\\ maximize the dual function $h(\lambda)$\\ ~~ (Newton's method) solve $0=h^\prime (\lambda)=s^2-||x_\lambda||^2$\\ better solve $0=\frac 1s - \frac 1{||x_\lambda||}$\\ (almost linear, convex) Cholesky factoriz: $R^tR=A-\lambda I$ \\ ~~~~~~~~~~~(safeguard positive def.)\\ Solve~~~~~~~~~~~~~~: $R^tRp=a$\\ Solve~~~~~~~~~~~~~~: $R^tq=p$\\ iterate~~~~~~~~~~~~: $\lambda \leftarrow \lambda + \left( \frac {||p||}{||q||}\right)^2 \left( \frac {||p||-s}{s}\right) $ \end{slide} \begin{slide}{} %%This is slide 12 {\bf Hard Case} indicated by $0 < s^2-||x_\lambda||^2$ ~~inside TR\\ DD feasible \[s^2-||(A-\lambda I)^\dagger a ||^2 -\trace Z = 0 \] so take a primal step to boundary and try to minimize the duality gap with \[ Z=zz^t,~\trace Z = ||z||^2\] \[\min \trace Z(A-\lambda I) = z^t(A-\lambda I)z\] (eigenvalue problem) \end{slide} \begin{slide}{} %%This is slide 13 Another approach:\\ {\bf Homogenization of TRS} \begin{eqnarray*} \mu^* &=& \min\limits_{||x||=s,~y_0^2=1} x^tAx - 2y_0a^tx \\ &=& \max\limits_t \min\limits_{||x||=s} x^tAx - 2y_0a^tx +ty_0^2-t \\ &=& \max\limits_t \min\limits_{||x||=s,~y_0^2=1} x^tAx - 2y_0a^tx +ty_0^2-t \\ &=& \max\limits_t \min\limits_{||x||^2+y_0^2=s^2+1} x^tAx - 2y_0a^tx +ty_0^2-t \end{eqnarray*} \[ = \max\limits_t (s^2+1)\lambda_1(D(t)) -t\] $$D(t) = \left( \begin{array}{cc} t & -a^t \\ -a & A \end{array} \right). $$ \end{slide} \begin{slide}{} %%This is slide 14 {\bf unconstrained dual problem to TRS} $$D(t) = \left( \begin{array}{cc} t & -a^t \\ -a & A \end{array} \right) $$ $y=\left( \begin{array}{c} y_0\\ x \end{array} \right)$ normalized eigenvector for $\lambda_{\min} D(t)$ \[ k(t) = (s^2+1)\lambda_{\min}(D(t)) -t, \] \[ \mbox{*** }~~~ \max_t k(t) \] Note \[ k^\prime(t) = (s^2+1)y_0^2 -1=0 \] is feasibility again for $x$ \end{slide} \begin{slide}{} %%This is slide 15 {\bf SDP Primal-Dual Pair} \[ \max_t k(t) = (s^2+1)\lambda_{\min}(D(t)) -t, \] add the variable $\lambda$ \[ \begin{array}{cc} \max & (s^2+1)\lambda - t \\ \mbox{s.t.} & D(t) \succeq \lambda I \end{array} (DSDP) \] Lagrangian dual of this dual is: \[ \begin{array}{cc} \min & \tr D(0)X \\ \mbox{s.t.} & \tr X = s^2+1 \\ & X_{11} = 1\\ & X \succeq 0 \end{array}(PSDP) \] \end{slide} \begin{slide}{} %%This is slide 16 primal-dual interior point method: approx. solve perturbed optimality conditions using Newton's method: \[ \begin{array}{c} \tr X = s^2+1 \\ X_{11} = 1\\ D(t) - \lambda I - Z = 0\\ \mu Z^{-1} - X = 0 \\ X \succ 0, Z \succ 0 \end{array} \] \end{slide} \begin{slide}{} %%This is slide 17 Dual Simplex Method basic feasible dual solution at given $t$: \[ D(t) - \lambda_{\min}(D(t)) I \succeq 0 ~ \mbox{and singular}\] eigenvector $ y=\left( \begin{array}{c} y_0\\x \end{array} \right) $ normalize $y_0=1$ test primal feasibility of $X=yy^t$ to get better value for $t$ (interpolation problem) Alternatively, normalize $||y||=1,$ and exploit almost linear structure of \[ \frac 1{y_0(t)} = \sqrt{s^2+1} \] \end{slide} \begin{slide}{} %%This is slide 18 \[ Z = D(t) -\lambda I \] complementary slackness \[ \trace ZX = 0 \] \[ 0=ZX= \left[ \begin{array}{cc} t-\lambda & -a^t \\ -a & A-\lambda I \end{array} \right] \left[ \begin{array}{cc} X_{11} & y^t\\ y & \bar{X} \end{array} \right]. \] \[ t=a^ty+\lambda; \] \[ \bar{X}a=(t-\lambda)y; \] \[ (A-\lambda I)y=a; \] \[ (A-\lambda I)\bar{X} = ay^t; \] \[ A-\lambda I \succeq 0. \] \end{slide} \begin{slide}{} %%This is slide 19 \[ \lambda_i (A) = \alpha_i \] $J := \lbrace i: a_i \not= 0 \rbrace$ $ \det (D(t) - \lambda I)=$ \begin{eqnarray*} &=&(t- \lambda ) \prod_{k=1}^n (\alpha_k - \lambda ) - \sum_{k=1}^n a_k^2 \prod_{j \not= k}^n (\alpha_j - \lambda )\\ &=&\lbrack t- \lambda - \sum_{j \in J} \frac{a_j^2}{\alpha_j - \lambda} \rbrack \prod_{k=1}^n (\alpha_k - \lambda )\\ &=&d(\lambda) \prod_{k=1}^n (\alpha_k - \lambda ) \end{eqnarray*} \end{slide} \begin{slide}{} %%This is slide 20 Easy case: \begin{enumerate} \item[] $$\lambda_1 (D(t)) \mbox{~is simple and~} \lambda_1 (D(t)) < \alpha_1$$ \item[] if $\lambda < \alpha_1$ given. Then \[ D(d(\lambda)) - \lambda I \succeq 0 ~ \mbox{and singular}. \] \item[] Let $y(t)$ be a normalized eigenvector corresponding to $\lambda_1(D(t))$ and denote its first component by $y_0(t)$. Then $y_0(t) \not= 0$. (wlog $>0$) \item[] $y_0(t) : \Re \mapsto (0,1)$ is strictly monotonically decreasing. \end{enumerate} \end{slide} \begin{slide}{} %%This is slide 21 {\bf Theorem}\\ $y(t)=\left(\begin{array}{c} y_0(t)\\ z(t) \end{array} \right)$ normal eigenvector for \[\lambda_1(D(t))\] Then\\ $y_0(t) \not= 0$ and $v := \frac{1}{y_0(t)}z(t)$ is unique opt of \[ \min \lbrace v^tAv -2a^tv: v^tv = \frac{1 - y_0(t)^2}{y_0(t)^2} \rbrace. \] Conversely, if $v \in \Re^n ~and~ \lambda \in \Re$ satisfy\\ \[(A - \lambda I)v = a; ~~A - \lambda I \succeq 0;~ v^tv = \frac{1-y_0^2}{y_0^2}\] thereby defining $ y_{0} > 0,$\\ then\\ $y := y_0\left(\begin{array}{c}1\\ v \end{array} \right)$\\ is eigenvector for $D(t)$ for $t := a^tv + \lambda$\\ and \[\lambda_1(D(t)) = \lambda\] \end{slide} \begin{slide}{} %%This is slide 22 \begin{center} {\bf Dual-Simplex Method} \end{center} \begin{tabbing} 123\=456\=789\=\kill {\bf Initialization:}\\ Find bounds for intervals of uncertainty.\\ $ t_0^l \leq t^* \leq t^u_0$\\ $\mu^l \leq \mu^* \leq \mu^u$\\ ~~\\ Begin the main iterations:\\ {\bf while} (feasibility or duality gap tols too large) ~~\\ \> Part 1: Find a new estimate $t_+$.\\ \> $t_+ = \frac{t_c^l+t_c^u}{2}$ (default value) \\ \> \> Find intersection point of 2 tangent lines\\ \> \> ~~~~~to the graph of $k(t)$\\ \> \> update the upper bound $\mu^u$\\ \> {\bf if} last iterate, on infeasible side, good side)\\ \> \> use inverse interpolation\\ \> {\bf elseif} on feasible side, bad side)\\ \> \> use inverse interpolation\\ \> {\bf endif}\\ \> Part 2: Update info for new estimate $t_+$.\\ \> {\bf if} $\lambda > 0$ (wrong sign for Lagrange multiplier)\\ \> \> {\bf if} $t_+ <= t^*$ then {\bf STOP}\\ \> {\bf else} (correct sign for Lagrange multiplier)\\ \> \> Update lower bound using dual function\\ \> {\bf endif}\\ \> {\bf if} $t_+ \> Perform a PSDP (negative curvature) \\ \> \> ~~~~step, update bounds \\ \> {\bf else}\\ \> \> steepest descent step - update bounds\\ \> {\bf endif}\\ \> Update the tolerances\\ {\bf endwhile} \end{tabbing} \end{slide} \begin{slide}{} Tests on SUN SPARC station 1 using MATLAB \begin{enumerate} \item dimensions 1540 to 1565 \\ 30 problems for each dimension \\ density of nonzeros .01 \\ average iterations 4.4453 \\ average cpu time 54.1876 sec \\ average work 1.73 times one Lanczos step\\ \item dimensions 1540 to 1558 \\ 30 problems for each dimension \\ density of nonzeros .013 \\ average iterations 4.1148 \\ average cpu time 56.1322 sec \\ average work 1.75 times one Lanczos step\\ comment: a multiple of the identity was added to get a positive definite Hessian \newpage \item dimensions 1500 to 1565 \\ 2 problems for each dimension \\ density of nonzeros .01 \\ average iterations 4.2951 \\ average cpu time 57.0429 sec \\ average work 4.8589 times one Lanczos step\\ comment: hard case; multiplicity of smallest eigenvalue varied from 1 to 6 \item dimensions 1800 to 1865 \\ 12 problems for each dimension \\ density of nonzeros .005 \\ average iterations 4.2453 \\ average cpu time 28.1692 sec \\ average work 4.2589 times one Lanczos step\\ comment: hard case; multiplicity of smallest eigenvalue varied from 1 to 6 \end{enumerate} \end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide13} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide131} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide131} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide132} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide14} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide141} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide15} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide151} %\end{slide} \end{document} kness fails zero duality gap but no primal attainment \end{slide} \begin{slide}{} %%This is slide 10 {\bf Nonlinear Primal-Dual Pair} The dual problem is./example.tex010064000001440000455000000000030574053371300151560ustar00hwolkowieveryone00000400000025 ./p3.ps010060000001440000455000001010440600374707500136730ustar00hwolkowieveryone00000400000025%!PS-Adobe-2.0 %%Creator: dvips 5.58 Copyright 1986, 1994 Radical Eye Software %%Title: curr.dvi %%CreationDate: Fri Jul 21 11:56:44 1995 %%Pages: 1 %%PageOrder: Ascend %%BoundingBox: 0 0 612 792 %%EndComments %DVIPSCommandLine: /software/tex/bin/_dvips -o p3.ps curr -p 3 -l 3 %DVIPSParameters: dpi=300, comments removed %DVIPSSource: TeX output 1995.07.20:1401 %%BeginProcSet: tex.pro /TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N /X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72 mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1} ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if} forall round exch round exch]setmatrix}N /@landscape{/isls true N}B /@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ /nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ /sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ 128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]} if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin 0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict /eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V {}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7 getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false} ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail {dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M} B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{ 4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{ p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos{/SS save N}B /eos{SS restore}B end %%EndProcSet TeXDict begin 40258431 52099146 1000 300 300 (/fsys2/home/hwolkowicz/priv.d/talks.d/trsframwk.d/curr.dvi) @start /Fa 1 24 df<60000000000000F0000000000000F0000000000000F000000000 0000F0000000000000F800000000000078000000000000780000000000007C0000000000 003C0000000000003E0000000000001E0000000000001F0000000000000F800000000000 07C0000000000003F0000000000001F8000000000000FE0000000000007F800000000000 1FE000000000000FFC000000000003FFC00000000000FFFE00000000003FFFFE00000000 07FFFFFFF00000007FFFFFF80000007FFFFFF8000007FFFFFFF000003FFFFE00000000FF FE0000000003FFC0000000000FFC00000000001FE000000000007F800000000000FE0000 00000001F8000000000003F0000000000007C000000000000F8000000000001F00000000 00001E0000000000003E0000000000003C0000000000007C000000000000780000000000 0078000000000000F8000000000000F0000000000000F0000000000000F0000000000000 F00000000000006000000000000000000000000000000000000000000000000000000000 000000000000000000000000000000000000000000000000000000000000000000000000 000000000000000000000000000000000000000000000000000000000000000000000000 000000007FFFFFFFFFFFF0FFFFFFFFFFFFF8FFFFFFFFFFFFF87FFFFFFFFFFFF0354679B6 44>23 D E /Fb 7 91 df<0003FFFFFFFFC0000007FFFFFFFFF8000003FFFFFFFFFE0000 0007F00001FF80000007F000007FC0000007F000003FE000000FE000001FE000000FE000 000FF000000FE000000FF000000FE000000FF800001FC000000FF800001FC000000FF800 001FC000000FF800001FC000000FF800003F8000000FF000003F8000000FF000003F8000 001FF000003F8000001FE000007F0000003FC000007F0000007F8000007F000000FF8000 007F000001FE000000FE000007FC000000FE00000FF8000000FE00007FE0000000FFFFFF FF80000001FFFFFFFC00000001FFFFFFFF00000001FC0000FFC0000001FC00001FF00000 03F8000007F8000003F8000003FC000003F8000003FE000003F8000001FE000007F00000 01FF000007F0000001FF000007F0000001FF000007F0000001FF00000FE0000001FF0000 0FE0000001FF00000FE0000001FF00000FE0000001FF00001FC0000001FE00001FC00000 03FE00001FC0000003FC00001FC0000007FC00003F8000000FF800003F8000001FF00000 3F8000003FE000003F8000007FC000007F000000FF8000007F000003FF000000FF00001F FC00007FFFFFFFFFF00000FFFFFFFFFFC000007FFFFFFFFC0000003D387CB742>66 D<00000000FFC000300000000FFFF800700000007FFFFE00F0000001FFC01F01E0000007 FC000783E000001FF00001C7E000003FC00000EFE00000FF0000007FC00001FC0000003F C00003F80000003FC00007F00000001FC0000FE00000001F80001FC00000000F80003F80 0000000F80007F000000000F8000FF000000000F0001FE000000000F0003FC000000000F 0003FC000000000F0007F8000000000E000FF8000000000E000FF0000000000E001FF000 00000000001FF00000000000001FE00000000000003FE00000000000003FE00000000000 007FC00000000000007FC00000000000007FC00000000000007FC0000000000000FF8000 0000000000FF80000000000000FF80000000000000FF80000000000000FF800000000000 00FF80000000000000FF8000000000C000FF8000000000E000FF8000000001C0007F8000 000001C0007F8000000001C0007F800000000380003F800000000700003F800000000700 003FC00000000E00001FC00000001C00000FE00000001C00000FE000000078000007F000 0000F0000003F8000001E0000001FC00000780000000FE00001F000000007F80007E0000 00001FF003F80000000007FFFFE00000000001FFFF0000000000003FF8000000003C3A7C B83F>I<0003FFFFFFFFC000000007FFFFFFFFFC00000003FFFFFFFFFF0000000007F800 01FF8000000007F800003FE000000007F800000FF00000000FF0000007F80000000FF000 0003FC0000000FF0000001FC0000000FF0000000FE0000001FE0000000FE0000001FE000 00007F0000001FE00000007F0000001FE00000007F8000003FC00000003F8000003FC000 00003F8000003FC00000003F8000003FC00000003FC000007F800000003FC000007F8000 00003FC000007F800000003FC000007F800000003FC00000FF000000007FC00000FF0000 00007FC00000FF000000007FC00000FF000000007F800001FE000000007F800001FE0000 0000FF800001FE00000000FF800001FE00000000FF800003FC00000000FF000003FC0000 0001FF000003FC00000001FF000003FC00000001FE000007F800000003FE000007F80000 0003FC000007F800000003FC000007F800000007F800000FF000000007F800000FF00000 000FF000000FF00000000FE000000FF00000001FE000001FE00000003FC000001FE00000 003F8000001FE00000007F0000001FE0000000FE0000003FC0000001FC0000003FC00000 03F80000003FC000000FF00000003FC000001FC00000007F8000007F800000007F800003 FE00000000FF80001FF80000007FFFFFFFFFE0000000FFFFFFFFFF800000007FFFFFFFF8 0000000042387DB748>I<0003FFFFFF00000007FFFFFF00000003FFFFFE0000000007FC 000000000007F8000000000007F800000000000FF000000000000FF000000000000FF000 000000000FF000000000001FE000000000001FE000000000001FE000000000001FE00000 0000003FC000000000003FC000000000003FC000000000003FC000000000007F80000000 00007F8000000000007F8000000000007F800000000000FF000000000000FF0000000000 00FF000000000000FF000000000001FE000000000001FE000000000001FE000000000001 FE000000000003FC000000000003FC000000000003FC000000000003FC000000000007F8 000000200007F8000000700007F8000000700007F8000000E0000FF0000000E0000FF000 0000E0000FF0000001C0000FF0000001C0001FE0000003C0001FE000000380001FE00000 0780001FE000000780003FC000000F00003FC000001F00003FC000003F00003FC000007E 00007F800001FE00007F800007FC0000FF80003FFC007FFFFFFFFFFC00FFFFFFFFFFF800 7FFFFFFFFFF80034387DB73C>76 D<0003FFFFFFFF80000007FFFFFFFFF0000003FFFFFF FFFC00000007F80003FF00000007F80000FF80000007F800003FC000000FF000001FE000 000FF000001FE000000FF000000FF000000FF000000FF000001FE000000FF000001FE000 000FF000001FE000000FF000001FE000000FF000003FC000001FF000003FC000001FF000 003FC000001FF000003FC000001FE000007F8000003FE000007F8000003FC000007F8000 007FC000007F8000007F800000FF000000FF000000FF000001FE000000FF000003FC0000 00FF000007F8000001FE00001FE0000001FE0000FFC0000001FFFFFFFF00000001FFFFFF F800000003FFFFFF8000000003FC00000000000003FC00000000000003FC000000000000 07F800000000000007F800000000000007F800000000000007F80000000000000FF00000 000000000FF00000000000000FF00000000000000FF00000000000001FE0000000000000 1FE00000000000001FE00000000000001FE00000000000003FC00000000000003FC00000 000000003FC00000000000003FC00000000000007F800000000000007F80000000000000 FF8000000000007FFFFF0000000000FFFFFF80000000007FFFFF00000000003C387CB738 >80 D<0000003FE000C0000001FFFC01C0000007FFFF03C000000FE01F878000003F0003 CF8000007C0001FF800000F800007F800001F000007F000003E000003F000007C000003F 000007C000003F00000F8000001E00001F8000001E00001F8000001E00001F8000001E00 003F8000001C00003F8000001C00003F8000001C00003F8000001800003FC00000000000 3FC000000000003FF000000000001FFC00000000001FFFC0000000001FFFFC000000000F FFFFC000000007FFFFF000000003FFFFF800000001FFFFFC000000007FFFFE000000001F FFFF0000000001FFFF80000000001FFF800000000001FFC000000000007FC00000000000 3FC000000000001FC000000000001FC000000000001FC000060000000FC0000E0000000F C0000E0000000FC0000E0000000FC0001E0000001F80001E0000001F80001E0000001F00 001E0000003F00003E0000003E00003E0000007C00003F0000007C00003F000000F80000 7F800001F000007FE00007E000007CF8000F800000787F007F000000F03FFFFC000000E0 0FFFF0000000C000FF80000000323A7BB835>83 D<0000FFFFFFFFFF800000FFFFFFFFFF 800001FFFFFFFFFF000001FFF00001FE000001FF000003FC000003FC000007F8000003F0 00000FF0000003E000001FE0000007C000003FE00000078000007FC0000007800000FF80 000007000001FF0000000F000003FE0000000E000007FC0000000E000007F80000001C00 000FF00000001C00001FE00000001C00003FC00000001800007F80000000000000FF8000 0000000001FF00000000000003FE00000000000007FC0000000000000FF8000000000000 1FF00000000000003FE00000000000003FC00000000000007F80000000000000FF000000 00000001FE00000000000003FE00000000000007FC0000000000000FF80000000000001F F00000000000003FE00001800000007FC0000380000000FF80000380000000FF00000700 000001FE00000700000003FC00000700000007F800000F0000000FF000000E0000001FF0 00000E0000003FE000001E0000007FC000001C000000FF8000003C000001FF0000007C00 0003FE00000078000003FC000000F8000007F8000001F800000FF0000007F800001FE000 001FF000003FC00001FFF000007FFFFFFFFFF00000FFFFFFFFFFE00000FFFFFFFFFFE000 0039387BB73B>90 D E /Fc 1 52 df<003FE00001FFF80007FFFE000FFFFF001FE03F80 7F000FC03E0007E0180007E0000007E0000007E0000007E0000007E000000FC000000FC0 00003F800000FF00007FFE00007FF800007FFC00007FFE0000003F8000000FC0000007E0 000003F0000003F0000001F8000001F8000001F8000001F8000001F8000001F8E00003F0 F00003F0F80007E07E000FC01FC03F800FFFFF0007FFFE0001FFF800003FE0001D287DA6 24>51 D E /Fd 21 121 df<00007F800FF00001FFF00FF00007FFF01FF8000FFFF01FF8 001FFFF01FF8003FFFF01FF8007F80F01FF8007E00200FF000FE00000FF000FE00000000 00FE0000000000FE0000000000FE0000000000FE0000000000FE000000007FFFFFE003E0 FFFFFFF007F0FFFFFFF007F0FFFFFFF007F0FFFFFFF007F07FFFFFE007F000FE000007F0 00FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F0 00FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F0 00FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F0 00FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F0 00FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F0 00FE000007F000FE000007F000FE000007F000FE000007F000FE000007F0007C000003E0 2D3A7EB936>12 D<00001F8000003F8000007E000000FC000001F8000003F0000007E000 000FC000001F8000003F0000007F000000FE000000FC000001FC000001F8000003F80000 07F0000007F0000007E000000FE000000FC000001FC000001FC000001F8000003F800000 3F8000003F8000007F0000007F0000007F0000007F0000007F0000007E000000FE000000 FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000 FE000000FE000000FE000000FE0000007E0000007F0000007F0000007F0000007F000000 7F0000003F8000003F8000003F8000001F8000001FC000001FC000000FC000000FE00000 07E0000007F0000007F0000003F8000001F8000001FC000000FC000000FE0000007F0000 003F0000001F8000000FC0000007E0000003F0000001F8000000FC0000007E0000003F80 00001F80195078BE28>40 DI46 D<0000FF800000000FFFF80000003FFFFE0000007FFFFF000000FFFFFF800001FFFFFFC0 0003FF007FE00007FC001FF0000FF00007F8000FE00003F8001FC00001FC001F800000FC 003F800000FE003F800000FE003F0000007E007F0000007F007F0000007F007F0000007F 007E0000003F007E0000003F00FE0000003F80FE0000003F80FE0000003F80FE0000003F 80FE0000003F80FE0000003F80FE0000003F80FE0000003F80FE0000003F80FE0000003F 80FE0000003F80FE0000003F80FE0000003F80FE0000003F80FE0000003F80FE0000003F 807E0000003F007F0000007F007F0000007F007F0000007F007F0000007F003F0000007E 003F800000FE003F800000FE001FC00001FC001FC00001FC000FE00003F8000FF00007F8 0007FC001FF00003FF80FFE00003FFFFFFE00001FFFFFFC000007FFFFF0000003FFFFE00 00000FFFF800000000FF80000029387BB634>48 D<7FFFFFFFFFFFFFFFC0FFFFFFFFFFFF FFFFE0FFFFFFFFFFFFFFFFE0FFFFFFFFFFFFFFFFE0FFFFFFFFFFFFFFFFE03FFFFFFFFFFF FFFFC0000000000000000000000000000000000000000000000000000000000000000000 000000000000000000000000000000000000000000000000000000000000000000000000 000000000000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000003FFFFFFFFFFFFFFFC0FFFFFFFFFFFF FFFFE0FFFFFFFFFFFFFFFFE0FFFFFFFFFFFFFFFFE0FFFFFFFFFFFFFFFFE07FFFFFFFFFFF FFFFC0431A7AA350>61 D<0007FE0000007FFFC00001FFFFF00007FFFFF8000FFFFFFC00 1FFFFFFE001FF001FF001F80007F801E00003F801C00003FC00000001FC00000001FC000 00000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000 03FFE00001FFFFE0000FFFFFE0007FFFFFE001FFFC0FE007FF800FE00FFC000FE01FE000 0FE03FC0000FE07F80000FE07F00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000F E0FE00000FE0FE00001FE0FF00001FE07F80003FE07FC000FFE07FF807FFE03FFFFFEFE0 1FFFFFCFE00FFFFF8FE007FFFE0FE003FFF007C000FF000000232E7BAC31>97 D<00007FF0000003FFFF00000FFFFFC0003FFFFFF0007FFFFFFC00FFFFFFFC01FFC00FFC 03FE0001FC07F80000780FF00000180FE00000001FC00000001FC00000003F800000003F 800000007F000000007F000000007F000000007E00000000FE00000000FE00000000FE00 000000FE00000000FE00000000FE00000000FE00000000FE00000000FE000000007F0000 00007F000000007F000000007F800000003F800000003FC00000001FC000000C1FE00000 1C0FF000003C07F80000FC03FE0003FC01FFC03FFC00FFFFFFFC007FFFFFF0003FFFFFE0 000FFFFF800003FFFC0000007FE000262E7CAC2E>99 D<000000007C00000000FE000000 00FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000 FE00000000FE00000000FE00000000FE0001FE00FE0007FFC0FE001FFFF0FE007FFFF8FE 00FFFFFCFE01FFFFFEFE03FFC03FFE07FE000FFE0FF80003FE0FF00001FE1FE00001FE1F C00000FE3F800000FE3F800000FE7F000000FE7F000000FE7F000000FEFF000000FEFE00 0000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE0000 00FEFE000000FEFE000000FE7F000000FE7F000000FE7F000000FE3F800000FE3F800001 FE3FC00001FE1FE00003FE0FF00003FE0FF80007FE07FE001FFE03FF807EFE01FFFFFCFE 00FFFFF8FE007FFFF0FE003FFFE0FE000FFF807C0001FC0000273A7CB834>I<0000FF00 000007FFE000001FFFF800007FFFFE0000FFFFFF0001FFFFFF8003FF00FF8007FC003FC0 07F8001FE00FF00007E01FE00007F01FC00003F03F800003F83F800001F87F000001F87F 000001F87F000000FC7E000000FCFE000000FCFE000000FCFFFFFFFFFCFFFFFFFFFCFFFF FFFFFCFFFFFFFFFCFFFFFFFFF8FE00000000FE00000000FE000000007E000000007F0000 00007F000000007F800000003F800000003FC00000001FC00000000FE000000C0FF00000 1C07FC00007C03FE0003FC01FF803FFC00FFFFFFFC007FFFFFF0003FFFFFE0000FFFFF80 0003FFFC0000007FC000262E7CAC2E>I<7F00FF00FF80FF80FF80FF80FF80FF00FF0000 00000000000000000000003E007F007F007F007F007F007F007F007F007F007F007F007F 007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F 007F007F007F007F007F007F007F007F007F007F007F003E00093A7AB916>105 D<7CFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFE FEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFE7C073979B816>108 D<00007FC00007FC007C03FFF0003FFF00FE07FFFC007FFFC0FE1FFFFE01FFFFE0FE3FFF FF03FFFFF0FE7FFFFF87FFFFF8FEFC01FF8FC01FF8FEF0007FCF0007FCFFE0003FDE0003 FCFFC0001FFC0001FEFF80001FF80001FEFF80000FF80000FEFF00000FF00000FEFF0000 0FF00000FEFF00000FF00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000 FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE0000 0FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000 FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE0000 0FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000 FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE0000 0FE00000FEFE00000FE00000FEFE00000FE00000FE7C000007C000007C3F2C78AB50>I< 00007FC0007C03FFF000FE07FFFC00FE1FFFFE00FE3FFFFF00FE7FFFFF80FEFC01FF80FE F0007FC0FFE0003FC0FFC0001FE0FF80001FE0FF80000FE0FF00000FE0FF00000FE0FF00 000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE0000 0FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000F E0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0 FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE07C 000007C0232C78AB34>I<00007FC000000003FFF80000000FFFFE0000003FFFFF800000 7FFFFFC00000FFFFFFE00001FF803FF00003FE000FF80007F80003FC000FF00001FE000F E00000FE001FC000007F001F8000003F003F8000003F803F0000001F807F0000001FC07F 0000001FC07E0000000FC07E0000000FC0FE0000000FE0FE0000000FE0FE0000000FE0FE 0000000FE0FE0000000FE0FE0000000FE0FE0000000FE0FE0000000FE0FE0000000FE07F 0000001FC07F0000001FC07F0000001FC07F0000001FC03F8000003F803F8000003F801F C000007F001FE00000FF000FF00001FE0007F80003FC0007FE000FFC0003FF803FF80001 FFFFFFF000007FFFFFC000003FFFFF8000000FFFFE00000003FFF8000000007FC000002B 2E7CAC34>I<00007F80007C03FFE000FE0FFFF800FE1FFFFC00FE7FFFFF00FEFFFFFF80 FFFC07FF80FFE000FFC0FFC0007FE0FF80001FF0FF00000FF0FE000007F8FE000007F8FE 000003F8FE000003FCFE000001FCFE000001FCFE000001FEFE000000FEFE000000FEFE00 0000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE0000 01FCFE000001FCFE000001FCFE000003FCFE000003F8FE000007F8FF00000FF0FF00001F F0FF80003FE0FFC0007FC0FFE001FFC0FFF80FFF80FEFFFFFF00FE7FFFFE00FE3FFFF800 FE1FFFF000FE07FFC000FE01FE0000FE00000000FE00000000FE00000000FE00000000FE 00000000FE00000000FE00000000FE00000000FE000000007C00000000273778AB34>I< 00000F807C007F80FE01FF80FE07FF80FE0FFF80FE1FFF80FE3FF000FE7F8000FEFE0000 FEF80000FFF00000FFE00000FFC00000FF800000FF800000FF000000FF000000FF000000 FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000 FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000 FE000000FE000000FE000000FE000000FE000000FE000000FE0000007C000000192C79AB 22>114 D<001FFE000000FFFFC00003FFFFF00007FFFFFC000FFFFFFF001FFFFFFF003F F003FF007F80007F007F00001E00FF00000600FE00000000FE00000000FE00000000FE00 000000FE00000000FF000000007F800000007FE00000003FFE0000001FFFF000000FFFFF 000007FFFFC00003FFFFF00000FFFFF800003FFFFC000001FFFE0000000FFF00000001FF 800000007F800000003FC00000003FC00000001FC00000001FC00000001FC00000001FC0 4000001FC07000003F807C00003F80FF0000FF80FFF003FF00FFFFFFFE00FFFFFFFC003F FFFFF8000FFFFFF00001FFFFC000001FFE0000222E7DAC28>I<007C000000FE000000FE 000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE 00007FFFFFF8FFFFFFFCFFFFFFFCFFFFFFFCFFFFFFFC7FFFFFF800FE000000FE000000FE 000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE 000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE 000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000C00FF 001C007F003C007F81FE007FFFFE003FFFFC003FFFF8001FFFE0000FFF800003F8001F38 7EB625>I<7C0000001F00FE0000003F80FF0000007F807F0000007F007F8000007F003F 800000FE003F800000FE003FC00001FE001FC00001FC001FE00001FC000FE00003F8000F E00003F8000FF00007F80007F00007F00007F00007F00003F8000FE00003F8000FE00003 FC000FE00001FC001FC00001FC001FC00001FE003FC00000FE003F800000FF003F800000 7F007F0000007F007F0000007F80FF0000003F80FE0000003F80FE0000001FC1FC000000 1FC1FC0000001FC1FC0000000FE3F80000000FE3F800000007E3F000000007F7F0000000 07F7F000000003FFE000000003FFE000000001FFC000000001FFC000000001FFC0000000 00FF80000000007F000000292B7EAA2E>118 D<7E0000007E00FF000000FF007F800001 FE003FC00003FC001FE00007F8001FF00007F8000FF0000FF00007F8001FE00003FC003F C00001FE007F800000FF00FF0000007F80FE0000003F81FE0000003FC3FC0000001FE7F8 0000000FFFF000000007FFE000000003FFC000000001FF8000000000FF80000000007F00 00000000FF0000000001FF8000000001FFC000000003FFE000000007F7F00000000FE7F8 0000001FC3F80000003F81FC0000007F80FE0000007F007F000000FE007F800001FC003F C00003FC001FE00007F8000FF0000FF00007F0000FE00007F8001FE00003FC003FC00001 FE007F800000FF00FF0000007F80FE0000007F80FC0000003F80292B7EAA2E>120 D E /Fe 16 120 df<00003FF003FFC00001FFFE03FFC00007FFFE07FFE0000FFFFE07FF E0001FFFFE07FFE0003FFFFE07FFE0007FFFFE07FFE000FFF83E03FFC001FFF00E03FFC0 01FFF00600000001FFF00600000001FFF00000000001FFF00000000001FFF0000000007F FFFFFC01FFC0FFFFFFFE03FFE0FFFFFFFE03FFE0FFFFFFFE03FFE0FFFFFFFE03FFE0FFFF FFFE03FFE07FFFFFFC03FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF0 0003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF000 03FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003 FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FF E001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE0 01FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001 FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FFF00003FFE001FF F00003FFE001FFF00003FFE000FFE00001FFC0333A7EB93C>12 D<7FFFFFFFFFFFF0FFFF FFFFFFFFF8FFFFFFFFFFFFF8FFFFFFFFFFFFF8FFFFFFFFFFFFF8FFFFFFFFFFFFF8FFFFFF FFFFFFF0FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000 000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC000000 0000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC00000000 00FFFC0000000000FFFC0000000000FFFFFFFFFFFF00FFFFFFFFFFFF80FFFFFFFFFFFF80 FFFFFFFFFFFF80FFFFFFFFFFFF80FFFFFFFFFFFF80FFFFFFFFFFFF00FFFC0000000000FF FC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC 0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC00 00000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000 000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC000000 0000FFFC0000000000FFFC00000000007FF80000000000353878B743>70 D<7FFFFFFFF00000FFFFFFFFFF0000FFFFFFFFFFE000FFFFFFFFFFF800FFFFFFFFFFFE00 FFFFFFFFFFFF00FFFFFFFFFFFFC0FFFFFFFFFFFFE0FFFFFFFFFFFFF0FFFC00003FFFF8FF FC000003FFF8FFFC000001FFFCFFFC0000007FFEFFFC0000007FFEFFFC0000003FFEFFFC 0000003FFFFFFC0000003FFFFFFC0000003FFFFFFC0000003FFFFFFC0000003FFFFFFC00 00003FFFFFFC0000003FFFFFFC0000003FFEFFFC0000007FFEFFFC000000FFFCFFFC0000 01FFFCFFFC000003FFF8FFFC00003FFFF0FFFFFFFFFFFFE0FFFFFFFFFFFFC0FFFFFFFFFF FF80FFFFFFFFFFFE00FFFFFFFFFFF800FFFFFFFFFFE000FFFFFFFFFF0000FFFFFFFFF000 00FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000 FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FF FC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC 0000000000FFFC0000000000FFFC0000000000FFFC00000000007FF80000000000383878 B747>80 D<00000FFFC000000000FFFFFE00000007FFFFFFC000001FFFFFFFF800007FFF FFFFFE0000FFFFFFFFFE0001FFFFFFFFFE0003FFFFFFFFFE0007FFF001FFFC000FFF8000 1FFC001FFE000007FC001FF8000003FC003FF0000000FC003FF00000007C007FF0000000 38007FF000000018007FF800000008007FFC00000000007FFF00000000007FFFE0000000 007FFFFF000000003FFFFFFC0000003FFFFFFFE000001FFFFFFFFC00001FFFFFFFFF0000 0FFFFFFFFFC00007FFFFFFFFE00003FFFFFFFFF00001FFFFFFFFFC00007FFFFFFFFE0000 3FFFFFFFFF00000FFFFFFFFF000001FFFFFFFF8000003FFFFFFFC0000001FFFFFFC00000 0007FFFFC0000000003FFFE0000000000FFFE00000000003FFE02000000001FFE0300000 0000FFE03800000000FFE07C00000000FFE07E00000000FFC07F80000000FFC07FC00000 01FFC07FF0000003FF807FFC000007FF00FFFF80001FFF00FFFFF801FFFE00FFFFFFFFFF FC00FFFFFFFFFFF8003FFFFFFFFFF0000FFFFFFFFFC00001FFFFFFFF0000003FFFFFFC00 000007FFFFF0000000001FFF000000333A7BB83F>83 D<0000FFF00000000FFFFF000000 7FFFFFC00003FFFFFFF00007FFFFFFF8000FFFFFFFFC000FFFFFFFFE000FFF001FFF000F F8000FFF8007E00007FFC007C00007FFC007000003FFC006000003FFE000000003FFE000 000003FFE000000003FFE000000003FFE000000003FFE00000007FFFE000003FFFFFE000 03FFFFFFE0001FFFFFFFE000FFFFFFFFE003FFFE03FFE007FFF003FFE00FFFC003FFE01F FF0003FFE03FFE0003FFE07FFC0003FFE07FFC0003FFE0FFF80003FFE0FFF80003FFE0FF F80003FFE0FFF80003FFE0FFF80003FFE0FFF80007FFE07FFC0007FFE07FFC000FFFE07F FE003FFFE03FFF80FFFFE03FFFFFFBFFE01FFFFFF3FFE00FFFFFE3FFE007FFFFC3FFE003 FFFF03FFE000FFFC01FFC0003FE00000002B2F7DAD35>97 D<000000007FF000000000FF F800000000FFF800000000FFF800000000FFF800000000FFF800000000FFF800000000FF F800000000FFF800000000FFF800000000FFF800000000FFF80000FF00FFF80007FFE0FF F8001FFFF8FFF8007FFFFEFFF800FFFFFFFFF801FFFFFFFFF803FFFFFFFFF807FFF80FFF F807FFC001FFF80FFF8000FFF81FFF0000FFF81FFE0000FFF83FFE0000FFF83FFC0000FF F87FFC0000FFF87FFC0000FFF87FF80000FFF87FF80000FFF8FFF80000FFF8FFF80000FF F8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FF F8FFF80000FFF8FFF80000FFF87FF80000FFF87FF80000FFF87FF80000FFF87FFC0000FF F83FFC0000FFF83FFC0000FFF81FFE0000FFF81FFE0000FFF80FFF0001FFF807FFC007FF F807FFF01FFFF803FFFFFFFFF801FFFFFFFFF800FFFFFEFFF8007FFFFCFFF8001FFFF0FF F80007FFC07FF00001FE0000002D3A7CB838>100 D<00001FF800000000FFFF80000007 FFFFE000001FFFFFF800003FFFFFFC00007FFFFFFE0001FFFFFFFF0003FFF81FFF8003FF E007FFC007FFC003FFC00FFF8001FFE00FFF0000FFE01FFE0000FFF03FFE0000FFF03FFC 00007FF07FFC00007FF87FFC00007FF87FF800007FF87FFFFFFFFFF8FFFFFFFFFFF8FFFF FFFFFFF8FFFFFFFFFFF8FFFFFFFFFFF0FFF800000000FFF800000000FFF800000000FFF8 00000000FFF8000000007FF8000000007FF8000000007FFC000000003FFC000000003FFE 000000001FFE000000201FFF000000E00FFF800001E00FFFC00003E007FFE0000FE003FF F0003FF001FFFC03FFF000FFFFFFFFF0007FFFFFFFF0001FFFFFFFC0000FFFFFFF000003 FFFFFC0000007FFFE000000007FE00002D2F7DAD34>I<00007F807FF00003FFE0FFF800 0FFFF8FFF8003FFFFCFFF8007FFFFEFFF800FFFFFFFFF801FFFFFFFFF803FFFC0FFFF807 FFF003FFF80FFFC001FFF80FFF8001FFF81FFF0000FFF83FFF0000FFF83FFE0000FFF83F FE0000FFF87FFC0000FFF87FFC0000FFF87FFC0000FFF8FFF80000FFF8FFF80000FFF8FF F80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FF F80001FFF87FFC0001FFF87FFC0001FFF87FFC0001FFF83FFE0003FFF83FFE0003FFF81F FF0003FFF81FFF8007FFF80FFFC00FFFF807FFF83FFFF803FFFFFEFFF801FFFFFEFFF800 FFFFFCFFF8007FFFF8FFF8001FFFF0FFF80007FFC0FFF80000FF00FFF800000000FFF800 000000FFF800000000FFF804000000FFF00F000001FFF00FC00001FFE00FF80007FFC00F FF801FFFC00FFFFFFFFF800FFFFFFFFF000FFFFFFFFC0007FFFFFFF80001FFFFFFE00000 3FFFFF80000001FFF800002D3A7CAC38>103 D<7FF8FFFCFFFCFFFCFFFCFFFC7FF80000 0000000000000000000000003FF87FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC 7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC 7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC3FF80E3A7CB918>105 D<7FC000000000FFE000000000FFE000000000FFE000000000FFE000000000FFE0000000 00FFE000000000FFE000000000FFE000000000FFE000000000FFE000000000FFE0000000 00FFE000000000FFE0000FFF00FFE0003FFF80FFE0007FFF00FFE000FFFE00FFE001FFFC 00FFE003FFF800FFE00FFFF000FFE01FFFE000FFE03FFF8000FFE07FFF0000FFE0FFFE00 00FFE1FFFC0000FFE7FFF80000FFEFFFF00000FFFFFFC00000FFFFFF800000FFFFFF0000 00FFFFFF000000FFFFFF000000FFFFFF800000FFFFFFC00000FFFFFFE00000FFFFFFE000 00FFFFFFF00000FFFFFFF80000FFFCFFFC0000FFF07FFC0000FFE07FFE0000FFE03FFF00 00FFE01FFF8000FFE00FFF8000FFE00FFFC000FFE007FFE000FFE003FFF000FFE001FFF0 00FFE001FFF800FFE000FFFC00FFE0007FFE00FFE0003FFE00FFE0003FFF00FFE0001FFF 80FFE0000FFFC0FFE00007FFC07FC00003FF802A3979B835>107 D<000000FFC00001FF80007FF007FFF8000FFFF000FFF81FFFFE003FFFFC00FFF83FFFFF 007FFFFE00FFF8FFFFFF81FFFFFF00FFF9FFFFFFC3FFFFFF80FFFBFFFFFFE7FFFFFFC0FF FFF00FFFEFE01FFFC0FFFFC003FFEF8007FFC0FFFF0003FFFE0007FFE0FFFE0001FFFC00 03FFE0FFFC0001FFF80003FFE0FFFC0001FFF80003FFE0FFFC0001FFF80003FFE0FFF800 01FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FF E0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FF F00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FF F80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF000 03FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF800 01FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FF E0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FF F00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FF F80001FFF00003FFE07FF00000FFE00001FFC04B2D7AAC58>109 D<000000FF80007FF007FFF000FFF81FFFFC00FFF87FFFFE00FFF8FFFFFF00FFF9FFFFFF 80FFFBFFFFFFC0FFFFF01FFFC0FFFF8007FFC0FFFF0007FFE0FFFE0003FFE0FFFC0003FF E0FFFC0003FFE0FFFC0003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FF E0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FF E0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FF E0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FF E0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FF E0FFF80003FFE0FFF80003FFE07FF00001FFC02B2D7AAC38>I<00000FFC0000000000FF FFC000000003FFFFF00000000FFFFFFC0000001FFFFFFE0000007FFFFFFF800000FFFFFF FFC00001FFF807FFE00003FFE001FFF00007FF80007FF8000FFF00003FFC000FFE00001F FC001FFE00001FFE001FFC00000FFE003FFC00000FFF003FFC00000FFF007FF8000007FF 807FF8000007FF807FF8000007FF80FFF8000007FFC0FFF8000007FFC0FFF8000007FFC0 FFF8000007FFC0FFF8000007FFC0FFF8000007FFC0FFF8000007FFC0FFF8000007FFC0FF F8000007FFC0FFF8000007FFC07FF8000007FF807FF8000007FF807FFC00000FFF803FFC 00000FFF003FFC00000FFF001FFE00001FFE001FFE00001FFE000FFF00003FFC0007FF80 007FF80003FFE001FFF00003FFF807FFF00001FFFFFFFFE000007FFFFFFF8000003FFFFF FF0000000FFFFFFC00000003FFFFF000000000FFFFC0000000000FFC000000322F7DAD39 >I<000000F87FF007F8FFF80FF8FFF83FF8FFF87FF8FFF8FFF8FFF9FFF8FFFBFFF8FFFF FFF8FFFFFFF8FFFFFE00FFFFF000FFFFC000FFFF0000FFFE0000FFFC0000FFFC0000FFF8 0000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF8 0000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF8 0000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF800007FF0 00001D2D7AAC26>114 D<00FFE0000001FFF0000001FFF0000001FFF0000001FFF00000 01FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001 FFF000007FFFFFFF00FFFFFFFF80FFFFFFFF80FFFFFFFF80FFFFFFFF80FFFFFFFF807FFF FFFF0001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0 000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF000 0001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF00000 01FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF8004001 FFF801C000FFF803C000FFFC1FE000FFFFFFE0007FFFFFE0007FFFFFC0003FFFFF80001F FFFC00000FFFE0000003FE0000233A7EB829>116 D<7FC00003FE00000FF8FFE00007FF 00001FFCFFF00007FF80001FFC7FF00007FF80003FF87FF0000FFF80003FF87FF0000FFF C0003FF87FF8000FFFC0007FF83FF8001FFFC0007FF03FF8001FFFE0007FF03FFC001FFF E000FFF01FFC003FFFE000FFE01FFC003FFFF000FFE01FFE003FFFF000FFE01FFE003FFF F001FFE00FFE007FBFF001FFC00FFE007FBFF801FFC00FFF007F3FF803FFC007FF00FF3F F803FF8007FF00FF1FFC03FF8007FF80FF1FFC03FF8003FF80FE1FFC07FF0003FF81FE0F FC07FF0003FF81FE0FFE07FF0003FFC1FC0FFE0FFF0001FFC3FC0FFE0FFE0001FFC3FC07 FF0FFE0001FFE3F807FF1FFE0000FFE7F807FF1FFC0000FFE7F803FF9FFC0000FFF7F803 FF9FFC0000FFF7F003FFBFFC00007FFFF001FFBFF800007FFFF001FFFFF800007FFFE001 FFFFF800003FFFE001FFFFF000003FFFE000FFFFF000003FFFE000FFFFF000001FFFC000 FFFFE000001FFFC0007FFFE000001FFFC0007FFFE000001FFF80007FFFE000000FFF8000 7FFFC000000FFF80003FFFC0000007FF00001FFF8000462C7EAB4B>119 D E end %%EndProlog %%BeginSetup %%Feature: *Resolution 300dpi TeXDict begin %%EndSetup %%Page: 3 1 3 0 bop 71 1016 a Fe(Semide\014nite)38 b(Programming)h(F)m(ramew)m(o)m (rk)529 1393 y Fd(\()p Fb(S)5 b(D)r(P)12 b Fd(\))843 1293 y(max)88 b(trace)15 b Fb(C)6 b(Z)863 1393 y Fd(s.t.)86 b Fb(L)p Fd(\()p Fb(Z)6 b Fd(\))25 b(=)g Fb(B)1169 1493 y(Z)31 b Fa(\027)25 b Fd(0)71 1753 y Fb(Z)30 b Fa(\027)25 b Fd(0)34 b(denotes)f(p)s(ositive)j(semide\014nite)71 1870 y Fb(L)e Fd(is)h(a)f(linea)m(r)i(op)s(erato)m(r)1765 2798 y Fc(3)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF FFFF80FFFFFFFFFFFF80 FFFFFFFFFFFF80FFFFFFFFFFFF80FFFFFFFFFFFF80FFFFFFFFFFFF00FFFC0000000000FF FC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC 0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC00 00000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000 000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC000000 0000FFFC0000000000FFFC00000000007FF80000000000353878B743>70 D<7FFFFFFFF00000FFFFFFFFFF0000./p6.ps010060000001440000455000000755350600374722500137120ustar00hwolkowieveryone00000400000025%!PS-Adobe-2.0 %%Creator: dvips 5.58 Copyright 1986, 1994 Radical Eye Software %%Title: curr.dvi %%CreationDate: Fri Jul 21 11:58:13 1995 %%Pages: 1 %%PageOrder: Ascend %%BoundingBox: 0 0 612 792 %%EndComments %DVIPSCommandLine: /software/tex/bin/_dvips -o p6.ps curr -p 6 -l 6 %DVIPSParameters: dpi=300, comments removed %DVIPSSource: TeX output 1995.07.20:1401 %%BeginProcSet: tex.pro /TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N /X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72 mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1} ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if} forall round exch round exch]setmatrix}N /@landscape{/isls true N}B /@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ /nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ /sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ 128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]} if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin 0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict /eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V {}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7 getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false} ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail {dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M} B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{ 4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{ p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos{/SS save N}B /eos{SS restore}B end %%EndProcSet TeXDict begin 40258431 52099146 1000 300 300 (/fsys2/home/hwolkowicz/priv.d/talks.d/trsframwk.d/curr.dvi) @start /Fa 1 55 df<0003FE00000FFFC0003FFFC000FFFFC001FE01C003F0000007C0 00000F8000000F0000001F0000003E0000003E0000007C0000007C07F0007C1FFC00F87F FF00F8FFFF80F9E01FC0FB8007C0FF0003E0FE0001F0FC0001F0FC0000F8FC0000F8F800 00F8F80000F87C0000F8780000F87C0000F87C0000F83C0000F03E0001F01E0001E01F00 03E00F8007C007E03F8003FFFF0001FFFE0000FFF800001FE0001D287DA624>54 D E /Fb 44 123 df<00001F8000003F8000007E000000FC000001F8000003F0000007E0 00000FC000001F8000003F0000007F000000FE000000FC000001FC000001F8000003F800 0007F0000007F0000007E000000FE000000FC000001FC000001FC000001F8000003F8000 003F8000003F8000007F0000007F0000007F0000007F0000007F0000007E000000FE0000 00FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0000 00FE000000FE000000FE000000FE0000007E0000007F0000007F0000007F0000007F0000 007F0000003F8000003F8000003F8000001F8000001FC000001FC000000FC000000FE000 0007E0000007F0000007F0000003F8000001F8000001FC000000FC000000FE0000007F00 00003F0000001F8000000FC0000007E0000003F0000001F8000000FC0000007E0000003F 8000001F80195078BE28>40 DI44 D<7FFFFFC0FFFFFFE0FFFFFFE0FFFFFFE0 FFFFFFE07FFFFFC01B067F9822>I<0000E000000003F000000007F00000000FF0000000 7FF000003FFFF00000FFFFF00000FFFFF00000FFFFF00000FFF7F00000FF87F000000007 F000000007F000000007F000000007F000000007F000000007F000000007F000000007F0 00000007F000000007F000000007F000000007F000000007F000000007F000000007F000 000007F000000007F000000007F000000007F000000007F000000007F000000007F00000 0007F000000007F000000007F000000007F000000007F000000007F000000007F0000000 07F000000007F000000007F000000007F000000007F000000007F000000007F000000007 F000000007F000007FFFFFFF007FFFFFFF00FFFFFFFF80FFFFFFFF807FFFFFFF007FFFFF FF00213776B634>49 D<0001FFC00000001FFFF80000007FFFFF000000FFFFFFC00003FF FFFFE00007FFFFFFF0000FFC00FFF8001FF0001FFC003FC00007FE003F800001FF007F00 0000FF00FE0000007F80FE0000007F807C0000003F803C0000003FC0180000003FC00800 00001FC0000000001FC0000000001FC0000000003FC0000000003FC0000000003F800000 00003F80000000007F80000000007F0000000000FF0000000001FE0000000001FC000000 0003F80000000007F0000000000FE0000000003FC0000000007F8000000000FE00000000 03FC0000000007F8000000000FE0000000003FC0000000007F0000000000FE0000000001 FC0000000007F0000000000FE0000000001FC0000000003F8000000000FE0000000001FC 0000000003F80000000007E0000000001FFFFFFFFF803FFFFFFFFFC07FFFFFFFFFC07FFF FFFFFFC07FFFFFFFFFC03FFFFFFFFF802A377CB634>I<00007FE000000007FFFC000000 1FFFFF0000007FFFFFC00001FFFFFFE00003FFFFFFF00007FF803FF8001FFC0007FC003F F00001FE001FC00000FE000F800000FF0006000000FF00000000007F00000000007F0000 000000FF0000000000FF0000000000FE0000000001FE0000000003FE0000000007FC0000 00000FF8000000003FF000000007FFE0000007FFFFC0000007FFFF80000007FFFE000000 07FFFE00000007FFFFC0000007FFFFE0000000003FF80000000007FC0000000001FE0000 000000FF00000000007F80000000003FC0000000003FC0000000001FC0000000001FE000 0000001FE0000000001FE0000000001FE0000000001FE0200000001FE0700000003FC078 0000003FC0FC0000007F80FF000000FF80FFC00001FF003FF80007FE001FFF003FFC000F FFFFFFF80003FFFFFFF00001FFFFFFE000003FFFFF8000000FFFFE00000000FFE000002B 387CB634>I<0000007F8000000000FFC000000001FFC000000001FFC000000003FFC000 000007DFC00000000FDFC00000000F9FC00000001F9FC00000003F9FC00000003F1FC000 00007F1FC0000000FE1FC0000001FC1FC0000001FC1FC0000003F81FC0000007F81FC000 0007F01FC000000FE01FC000001FE01FC000003FC01FC000003F801FC000007F801FC000 00FF001FC00000FE001FC00001FE001FC00003FC001FC00007F8001FC00007F0001FC000 0FF0001FC0001FE0001FC0001FC0001FC0003FC0001FC0007F80001FC000FF00001FC000 FFFFFFFFFFF0FFFFFFFFFFF8FFFFFFFFFFF8FFFFFFFFFFF8FFFFFFFFFFF87FFFFFFFFFF0 0000001FC0000000001FC0000000001FC0000000001FC0000000001FC0000000001FC000 0000001FC0000000001FC0000000001FC0000000001FC0000000001FC0000000001FC000 0000000F80002D367DB534>I<07FFFFFFF80007FFFFFFFC000FFFFFFFFC000FFFFFFFFC 000FFFFFFFFC000FFFFFFFF8000FE0000000000FE0000000000FE0000000000FE0000000 000FE0000000000FE0000000000FE0000000000FE0000000000FE0000000000FE0000000 000FE0000000000FE0000000000FE0000000000FE0000000000FE07FE000000FE3FFFC00 000FFFFFFF80000FFFFFFFC0000FFFFFFFE0000FFFFFFFF0000FFF801FF8000FFC0007FC 000FF00001FE0007E00000FF0007C00000FF00000000007F80000000007F80000000003F 80000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003F C0000000003FC0080000007F80180000007F803C0000007F807E000000FF00FF800001FE 00FFC00003FE007FF0000FFC001FFE007FF8000FFFFFFFF00007FFFFFFC00001FFFFFF80 00007FFFFE0000001FFFF800000001FF8000002A377CB534>I<0000FFE000000007FFFC 0000003FFFFF8000007FFFFFC00001FFFFFFF00003FFFFFFF80007FF001FFC000FF80003 FE000FF00001FE001FE00000FF001FC000007F003FC000007F803F8000003F803F800000 3F803F8000003F803F8000003F803F8000003F801FC000007F001FC000007F000FE00000 FE0007F00001FC0007FC0007FC0001FF803FF00000FFFFFFE000003FFFFF80000007FFFC 0000001FFFFF0000007FFFFFC00001FFFFFFF00003FE000FF8000FF80003FE001FE00000 FF001FC000007F003F8000003F807F0000001FC07F0000001FC0FE0000000FE0FE000000 0FE0FE0000000FE0FE0000000FE0FE0000000FE0FE0000000FE0FE0000000FE07F000000 1FC07F0000001FC03F8000003F803FC000007F801FE00000FF000FF80003FE000FFF001F FE0003FFFFFFF80001FFFFFFF00000FFFFFFE000003FFFFF8000000FFFFE00000000FFE0 00002B387CB634>56 D<0000FF8000000007FFF00000001FFFFC0000007FFFFF000000FF FFFF800001FFFFFFC00003FF007FE00007F8001FF0000FE00007F0001FC00003F8003F80 0001FC003F800001FC007F000000FC007F000000FE007E0000007E00FE0000007F00FE00 00007F00FE0000007F00FE0000003F00FE0000007F00FE0000007F80FE0000007F80FE00 00007F80FE0000007F807F0000007F807F000000FF807F000000FF803F800001FF803FC0 0003FF801FE00007FF801FF0001FBF800FFE00FF3F8007FFFFFE3F8003FFFFFC3F8001FF FFF07F0000FFFFE07F00003FFF007F00000FF8007E0000000000FE0000000000FE000000 0000FC0000000001FC0000000001F80000000003F80000000007F0000000000FE0000000 001FE0000E00003FC0001F8000FF80001FE007FF00003FFFFFFE00003FFFFFF800000FFF FFF0000007FFFFC0000000FFFF000000001FF800000029387BB634>I<7F80FF80FF80FF 80FF80FF80FF80FF80FF8000000000000000000000000000000000000000000000000000 00000000000000000000000000000000000000000000000000FF80FF80FF80FF80FF80FF 80FF80FF807F80092B76AA1D>I<0000001FFF8000000003FFFFFC0000001FFFFFFF8000 007FFFFFFFF00001FFFFFFFFF00003FFFFFFFFF0000FFFE001FFF0001FFF00001FE0003F F8000007E0007FE0000001E000FFC00000006001FF000000000003FE000000000007FC00 0000000007F800000000000FF000000000001FF000000000001FE000000000003FE00000 0000003FC000000000003FC000000000007F8000000000007F8000000000007F80000000 0000FF000000000000FF000000000000FF000000000000FF000000000000FF0000000000 00FF000000000000FF000000000000FF000000000000FF000000000000FF000000000000 7F8000000000007F8000000000007F8000000000003FC000000000003FC000000000003F E000000000001FE000000000001FF000000000000FF0000000000007F8000000000007FC 000000000003FE000000000001FF000000000000FFC000000018007FE000000078003FF8 000001F8001FFF00000FF8000FFFE000FFF80003FFFFFFFFF80001FFFFFFFFF800007FFF FFFFE000001FFFFFFF00000003FFFFF8000000001FFF8000353A79B842>67 D<7FFFFFFF00000000FFFFFFFFF0000000FFFFFFFFFE000000FFFFFFFFFF800000FFFFFF FFFFE00000FFFFFFFFFFF00000FF000003FFFC0000FF0000003FFE0000FF00000007FF00 00FF00000001FF8000FF00000000FFC000FF000000003FE000FF000000001FF000FF0000 00000FF000FF0000000007F800FF0000000007FC00FF0000000003FC00FF0000000001FE 00FF0000000001FE00FF0000000001FE00FF0000000000FF00FF0000000000FF00FF0000 000000FF00FF00000000007F80FF00000000007F80FF00000000007F80FF00000000007F 80FF00000000007F80FF00000000007F80FF00000000007F80FF00000000007F80FF0000 0000007F80FF00000000007F80FF00000000007F00FF0000000000FF00FF0000000000FF 00FF0000000000FF00FF0000000001FE00FF0000000001FE00FF0000000003FC00FF0000 000003FC00FF0000000007F800FF000000000FF800FF000000001FF000FF000000003FE0 00FF000000007FC000FF00000001FFC000FF00000007FF8000FF0000001FFE0000FF0000 01FFFC0000FFFFFFFFFFF80000FFFFFFFFFFE00000FFFFFFFFFF800000FFFFFFFFFE0000 00FFFFFFFFF00000007FFFFFFF00000000393877B749>I<7E0000000000FF0000000000 FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000 FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000 FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000 FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000 FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000 FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000 FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000 FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000 FFFFFFFFFFE0FFFFFFFFFFF0FFFFFFFFFFF0FFFFFFFFFFF0FFFFFFFFFFF07FFFFFFFFFE0 2C3877B73A>76 D<7FC00000000003FF00FFE00000000007FF80FFF0000000000FFF80FF F0000000000FFF80FFF8000000001FFF80FFF8000000001FFF80FFF8000000001FFF80FE FC000000003F7F80FEFC000000003F7F80FE7E000000007E7F80FE7E000000007E7F80FE 7F00000000FE7F80FE3F00000000FC7F80FE3F80000001FC7F80FE1F80000001F87F80FE 1FC0000003F87F80FE1FC0000003F87F80FE0FC0000003F07F80FE0FE0000007F07F80FE 07E0000007E07F80FE07F000000FE07F80FE03F000000FC07F80FE03F800001FC07F80FE 03F800001FC07F80FE01FC00003F807F80FE01FC00003F807F80FE00FC00003F007F80FE 00FE00007F007F80FE007E00007E007F80FE007F0000FE007F80FE007F0000FE007F80FE 003F8001FC007F80FE003F8001FC007F80FE001FC003F8007F80FE001FC003F8007F80FE 000FC003F0007F80FE000FE007F0007F80FE0007E007E0007F80FE0007F00FE0007F80FE 0007F00FE0007F80FE0003F81FC0007F80FE0003F81FC0007F80FE0001F81F80007F80FE 0001FC3F80007F80FE0000FC3F00007F80FE0000FE7F00007F80FE00007E7E00007F80FE 00007E7E00007F80FE00003FFC00007F80FE00003FFC00007F80FE00003FFC00007F80FE 00001FF800007F80FE00001FF800007F80FE00000FF000007F80FE000007E000007F807C 0000000000003F00413877B754>I<7FFFFFFE000000FFFFFFFFE00000FFFFFFFFFC0000 FFFFFFFFFF0000FFFFFFFFFF8000FFFFFFFFFFE000FF000003FFF000FF0000003FF800FF 0000000FFC00FF00000003FE00FF00000001FE00FF00000000FF00FF00000000FF00FF00 0000007F00FF000000007F80FF000000007F80FF000000007F80FF000000007F80FF0000 00007F80FF000000007F80FF000000007F00FF00000000FF00FF00000000FF00FF000000 01FE00FF00000003FE00FF0000000FFC00FF0000003FF800FF000003FFF000FFFFFFFFFF E000FFFFFFFFFF8000FFFFFFFFFF0000FFFFFFFFFC0000FFFFFFFFE00000FFFFFFFE0000 00FF000000000000FF000000000000FF000000000000FF000000000000FF000000000000 FF000000000000FF000000000000FF000000000000FF000000000000FF000000000000FF 000000000000FF000000000000FF000000000000FF000000000000FF000000000000FF00 0000000000FF000000000000FF000000000000FF000000000000FF000000000000FF0000 000000007E000000000000313877B741>80 D<7FFFFFFF000000FFFFFFFFF00000FFFFFF FFFE0000FFFFFFFFFF8000FFFFFFFFFFE000FFFFFFFFFFF800FF000000FFFC00FF000000 0FFE00FF00000001FF00FF00000000FF80FF000000007FC0FF000000003FC0FF00000000 1FE0FF000000001FE0FF000000001FE0FF000000001FE0FF000000001FE0FF000000001F E0FF000000001FE0FF000000003FC0FF000000007FC0FF00000000FF80FF00000001FF00 FF0000000FFE00FF000000FFFC00FFFFFFFFFFF800FFFFFFFFFFE000FFFFFFFFFF8000FF FFFFFFFE0000FFFFFFFFF00000FFFFFFFF800000FF00001FC00000FF00001FE00000FF00 000FF00000FF000007F80000FF000003FC0000FF000001FC0000FF000001FE0000FF0000 00FF0000FF0000007F8000FF0000003FC000FF0000003FC000FF0000001FE000FF000000 0FF000FF00000007F800FF00000003FC00FF00000003FC00FF00000001FE00FF00000000 FF00FF000000007F80FF000000003FC0FF000000003FC0FF000000001FE0FF000000000F F0FF0000000007F07E0000000003F0343877B743>82 D<00003FFE00000001FFFFF00000 0FFFFFFC00003FFFFFFF80007FFFFFFFE000FFFFFFFFE001FFE003FFE003FE00007FE007 F800001FC00FF0000007C01FE0000001C01FC0000000C01F80000000003F80000000003F 80000000003F80000000003F80000000003FC0000000003FC0000000001FE0000000001F F8000000000FFE000000000FFFC000000007FFFC00000003FFFFE0000001FFFFFF000000 FFFFFFE000003FFFFFF800001FFFFFFC000003FFFFFF0000007FFFFF80000003FFFFC000 00001FFFE000000001FFE0000000003FF0000000001FF80000000007F80000000003F800 00000003FC0000000001FC0000000001FC0000000001FC0000000001FC0000000001FC60 00000001FC7000000003F87C00000003F87E00000007F0FF8000000FF0FFE000003FE0FF FC0000FFC0FFFFC007FF803FFFFFFFFF000FFFFFFFFE0003FFFFFFF800007FFFFFE00000 0FFFFF800000007FF800002E3A7CB839>I<7FFFFFFFFFFFFFFF00FFFFFFFFFFFFFFFF80 FFFFFFFFFFFFFFFF80FFFFFFFFFFFFFFFF80FFFFFFFFFFFFFFFF807FFFFFFFFFFFFFFF00 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000007F80000000000000007F80000000000000007F800000000 00000007F80000000000000003F00000000041387CB74A>I<7E000000003F800000000F 80FF000000007FC00000001FC0FF800000007FC00000001FC07F80000000FFE00000003F 807F80000000FFE00000003F807FC0000001FFF00000007F803FC0000001FFF00000007F 003FE0000001F7F00000007F001FE0000003F3F8000000FE001FE0000003F3F8000000FE 001FF0000003F3F8000000FE000FF0000007E3FC000001FC000FF0000007E1FC000001FC 000FF8000007E1FC000001FC0007F800000FC1FE000003F80007F800000FC0FE000003F8 0007FC00001FC0FE000007F80003FC00001F80FF000007F00003FC00001F807F000007F0 0001FE00003F807F80000FE00001FE00003F007F80000FE00001FF00003F003F80000FE0 0000FF00007F003FC0001FC00000FF00007E003FC0001FC00000FF80007E001FC0001FC0 00007F8000FE001FE0003F8000007F8000FC001FE0003F8000007FC000FC000FE0003F80 00003FC001FC000FF0007F0000003FC001F8000FF0007F0000001FE003F80007F000FE00 00001FE003F80007F800FE0000001FE003F00007F800FE0000000FF007F00003F801FC00 00000FF007F00003FC01FC0000000FF007E00003FC01FC00000007F80FE00001FC03F800 000007F80FE00001FE03F800000007F80FC00000FE03F800000003FC0FC00000FE07F000 000003FC1F800000FF07F000000001FC1F8000007F07E000000001FE1F8000007F07E000 000001FE3F0000007F8FE000000000FE3F0000003F8FC000000000FE3F0000003F8FC000 000000FF7E0000003FDFC0000000007F7E0000001FDF80000000007F7E0000001FDF8000 0000007FFC0000001FFF80000000003FFC0000000FFF00000000003FF80000000FFF0000 0000001FF800000007FE00000000001FF800000007FE00000000001FF000000003FE0000 00000007E000000001F80000005A387EB75F>87 D89 D<0007FE0000007FFFC00001FFFFF00007FFFFF8000FFFFFFC001FFF FFFE001FF001FF001F80007F801E00003F801C00003FC00000001FC00000001FC0000000 0FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE0000003FF E00001FFFFE0000FFFFFE0007FFFFFE001FFFC0FE007FF800FE00FFC000FE01FE0000FE0 3FC0000FE07F80000FE07F00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE 00000FE0FE00001FE0FF00001FE07F80003FE07FC000FFE07FF807FFE03FFFFFEFE01FFF FFCFE00FFFFF8FE007FFFE0FE003FFF007C000FF000000232E7BAC31>97 D<7C00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000 FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE007F8000FE 03FFE000FE0FFFF800FE1FFFFC00FE7FFFFF00FEFFFFFF80FFFC03FF80FFE000FFC0FFC0 003FE0FF80000FF0FF00000FF0FE000007F8FE000003F8FE000003F8FE000001FCFE0000 01FCFE000001FCFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000 FEFE000000FEFE000000FEFE000000FEFE000000FEFE000001FCFE000001FCFE000001FC FE000001FCFE000003F8FE000003F8FF000007F0FF00000FF0FF80001FE0FFC0003FC0FF E000FFC0FFF807FF80FEFFFFFF00FE7FFFFE00FE3FFFF800FE1FFFF0007C07FFC0000001 FE0000273A78B834>I<00007FF0000003FFFF00000FFFFFC0003FFFFFF0007FFFFFFC00 FFFFFFFC01FFC00FFC03FE0001FC07F80000780FF00000180FE00000001FC00000001FC0 0000003F800000003F800000007F000000007F000000007F000000007E00000000FE0000 0000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE000000 00FE000000007F000000007F000000007F000000007F800000003F800000003FC0000000 1FC000000C1FE000001C0FF000003C07F80000FC03FE0003FC01FFC03FFC00FFFFFFFC00 7FFFFFF0003FFFFFE0000FFFFF800003FFFC0000007FE000262E7CAC2E>I<000000007C 00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00 000000FE00000000FE00000000FE00000000FE00000000FE0001FE00FE0007FFC0FE001F FFF0FE007FFFF8FE00FFFFFCFE01FFFFFEFE03FFC03FFE07FE000FFE0FF80003FE0FF000 01FE1FE00001FE1FC00000FE3F800000FE3F800000FE7F000000FE7F000000FE7F000000 FEFF000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FE FE000000FEFE000000FEFE000000FEFE000000FE7F000000FE7F000000FE7F000000FE3F 800000FE3F800001FE3FC00001FE1FE00003FE0FF00003FE0FF80007FE07FE001FFE03FF 807EFE01FFFFFCFE00FFFFF8FE007FFFF0FE003FFFE0FE000FFF807C0001FC0000273A7C B834>I<0000FF00000007FFE000001FFFF800007FFFFE0000FFFFFF0001FFFFFF8003FF 00FF8007FC003FC007F8001FE00FF00007E01FE00007F01FC00003F03F800003F83F8000 01F87F000001F87F000001F87F000000FC7E000000FCFE000000FCFE000000FCFFFFFFFF FCFFFFFFFFFCFFFFFFFFFCFFFFFFFFFCFFFFFFFFF8FE00000000FE00000000FE00000000 7E000000007F000000007F000000007F800000003F800000003FC00000001FC00000000F E000000C0FF000001C07FC00007C03FE0003FC01FF803FFC00FFFFFFFC007FFFFFF0003F FFFFE0000FFFFF800003FFFC0000007FC000262E7CAC2E>I<0000FE007C0007FFC0FE00 1FFFE0FE003FFFF8FE00FFFFFCFE01FFFFFEFE03FFE03EFE07FF000FFE07FC0007FE0FF8 0003FE1FF00003FE1FE00001FE3FC00001FE3F800000FE7F800000FE7F000000FE7F0000 00FE7F000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000 FEFE000000FEFE000000FEFF000001FE7F000001FE7F000001FE7F800003FE3FC00003FE 3FC00007FE1FE00007FE1FF8000FFE0FFE001EFE07FFC07CFE03FFFFFCFE01FFFFF8FE00 FFFFF0FE003FFFC0FE000FFF80FE0001FC00FE00000000FE00000000FE00000000FE0000 0000FC00000001FC08000001FC1E000003F81FC0000FF01FFE003FE01FFFFFFFC01FFFFF FF800FFFFFFF0007FFFFFE00007FFFF8000003FFC00027397CAB34>103 D<7C00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000 FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE007FC000FE 03FFF000FE07FFFC00FE1FFFFE00FE3FFFFF00FE7FFFFF80FEFC01FF80FEF0007FC0FFE0 003FC0FFC0001FE0FF80001FE0FF80000FE0FF00000FE0FF00000FE0FF00000FE0FE0000 0FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000F E0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0 FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE 00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE07C000007C02339 78B834>I<7F00FF00FF80FF80FF80FF80FF80FF00FF000000000000000000000000003E 007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F 007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F 007F007F007F007F007F003E00093A7AB916>I<7C00000000FE00000000FE00000000FE 00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00 000000FE00000000FE00000000FE00000000FE000007E0FE00001FF0FE00003FE0FE0000 7FC0FE0000FF80FE0001FF00FE0003FE00FE0007FC00FE000FF800FE003FE000FE007FC0 00FE00FF8000FE01FF0000FE03FE0000FE07FC0000FE0FF80000FE1FF00000FE3FE00000 FEFFF00000FFFFF80000FFFFF80000FFFFFC0000FFFBFE0000FFF1FF0000FFE0FF0000FF C07F8000FF007FC000FE003FE000FE001FE000FE000FF000FE000FF800FE0007FC00FE00 03FC00FE0001FE00FE0001FF00FE0000FF80FE00007F80FE00003FC0FE00003FE0FE0000 1FF0FE00000FF8FE000007F87C000003F0253978B831>107 D<7CFEFEFEFEFEFEFEFEFE FEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFE FEFEFEFEFEFEFEFEFEFE7C073979B816>I<00007FC00007FC007C03FFF0003FFF00FE07 FFFC007FFFC0FE1FFFFE01FFFFE0FE3FFFFF03FFFFF0FE7FFFFF87FFFFF8FEFC01FF8FC0 1FF8FEF0007FCF0007FCFFE0003FDE0003FCFFC0001FFC0001FEFF80001FF80001FEFF80 000FF80000FEFF00000FF00000FEFF00000FF00000FEFF00000FF00000FEFE00000FE000 00FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00 000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE000 00FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00 000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE000 00FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00 000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE000 00FE7C000007C000007C3F2C78AB50>I<00007FC0007C03FFF000FE07FFFC00FE1FFFFE 00FE3FFFFF00FE7FFFFF80FEFC01FF80FEF0007FC0FFE0003FC0FFC0001FE0FF80001FE0 FF80000FE0FF00000FE0FF00000FE0FF00000FE0FE00000FE0FE00000FE0FE00000FE0FE 00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00 000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE0000 0FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000F E0FE00000FE0FE00000FE0FE00000FE07C000007C0232C78AB34>I<00007FC000000003 FFF80000000FFFFE0000003FFFFF8000007FFFFFC00000FFFFFFE00001FF803FF00003FE 000FF80007F80003FC000FF00001FE000FE00000FE001FC000007F001F8000003F003F80 00003F803F0000001F807F0000001FC07F0000001FC07E0000000FC07E0000000FC0FE00 00000FE0FE0000000FE0FE0000000FE0FE0000000FE0FE0000000FE0FE0000000FE0FE00 00000FE0FE0000000FE0FE0000000FE07F0000001FC07F0000001FC07F0000001FC07F00 00001FC03F8000003F803F8000003F801FC000007F001FE00000FF000FF00001FE0007F8 0003FC0007FE000FFC0003FF803FF80001FFFFFFF000007FFFFFC000003FFFFF8000000F FFFE00000003FFF8000000007FC000002B2E7CAC34>I<00007F80007C03FFE000FE0FFF F800FE1FFFFC00FE7FFFFF00FEFFFFFF80FFFC07FF80FFE000FFC0FFC0007FE0FF80001F F0FF00000FF0FE000007F8FE000007F8FE000003F8FE000003FCFE000001FCFE000001FC FE000001FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE 000000FEFE000000FEFE000000FEFE000001FCFE000001FCFE000001FCFE000003FCFE00 0003F8FE000007F8FF00000FF0FF00001FF0FF80003FE0FFC0007FC0FFE001FFC0FFF80F FF80FEFFFFFF00FE7FFFFE00FE3FFFF800FE1FFFF000FE07FFC000FE01FE0000FE000000 00FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000 FE000000007C00000000273778AB34>I<00000F807C007F80FE01FF80FE07FF80FE0FFF 80FE1FFF80FE3FF000FE7F8000FEFE0000FEF80000FFF00000FFE00000FFC00000FF8000 00FF800000FF000000FF000000FF000000FE000000FE000000FE000000FE000000FE0000 00FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0000 00FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0000 00FE000000FE0000007C000000192C79AB22>114 D<001FFE000000FFFFC00003FFFFF0 0007FFFFFC000FFFFFFF001FFFFFFF003FF003FF007F80007F007F00001E00FF00000600 FE00000000FE00000000FE00000000FE00000000FE00000000FF000000007F800000007F E00000003FFE0000001FFFF000000FFFFF000007FFFFC00003FFFFF00000FFFFF800003F FFFC000001FFFE0000000FFF00000001FF800000007F800000003FC00000003FC0000000 1FC00000001FC00000001FC00000001FC04000001FC07000003F807C00003F80FF0000FF 80FFF003FF00FFFFFFFE00FFFFFFFC003FFFFFF8000FFFFFF00001FFFFC000001FFE0000 222E7DAC28>I<007C000000FE000000FE000000FE000000FE000000FE000000FE000000 FE000000FE000000FE000000FE000000FE00007FFFFFF8FFFFFFFCFFFFFFFCFFFFFFFCFF FFFFFC7FFFFFF800FE000000FE000000FE000000FE000000FE000000FE000000FE000000 FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000 FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000 FE000000FE000000FE000000FE000C00FF001C007F003C007F81FE007FFFFE003FFFFC00 3FFFF8001FFFE0000FFF800003F8001F387EB625>I<7C000007C0FE00000FE0FE00000F E0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0 FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE 00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00 000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE0000 1FE0FE00001FE0FE00003FE0FE00007FE0FF0000FFE07F0001FFE07FC00FEFE07FFFFFCF E03FFFFF8FE01FFFFE0FE00FFFFC0FE007FFF007C001FF000000232C78AA34>I<7C0000 001F00FE0000003F80FF0000007F807F0000007F007F8000007F003F800000FE003F8000 00FE003FC00001FE001FC00001FC001FE00001FC000FE00003F8000FE00003F8000FF000 07F80007F00007F00007F00007F00003F8000FE00003F8000FE00003FC000FE00001FC00 1FC00001FC001FC00001FE003FC00000FE003F800000FF003F8000007F007F0000007F00 7F0000007F80FF0000003F80FE0000003F80FE0000001FC1FC0000001FC1FC0000001FC1 FC0000000FE3F80000000FE3F800000007E3F000000007F7F000000007F7F000000003FF E000000003FFE000000001FFC000000001FFC000000001FFC000000000FF80000000007F 000000292B7EAA2E>I<7C000007C000003EFE00000FF000007FFE00000FF000007F7F00 001FF00000FE7F00001FF80000FE7F00001FF80000FE3F80003FF80001FC3F80003EFC00 01FC3F80003EFC0001FC1FC0007EFC0003F81FC0007E7E0003F81FC0007C7E0003F81FE0 00FC7E0007F80FE000FC7F0007F00FE000FC3F0007F00FF001F83F0007F007F001F83F80 0FE007F001F83F800FE007F801F81F800FE003F803F01FC01FC003F803F01FC01FC003F8 03F00FC01FC001FC07E00FC03F8001FC07E00FE03F8001FC07E007E03F8000FE0FC007E0 7F0000FE0FC007F07F0000FE0FC007F07F00007E0FC003F07E00007F1F8003F0FE00007F 1F8003F8FE00003F1F8001F8FC00003F1F0001F8FC00003FBF0001FDFC00001FBF0000FD F800001FBE0000FDF800001FFE0000FFF800000FFE00007FF000000FFC00007FF000000F FC00007FF0000007FC00003FE0000007F800003FE0000003F000001FC000402B7EAA45> I<7C0000001F00FE0000003F80FF0000007F807F0000007F007F8000007F003F800000FE 003FC00000FE001FC00001FE001FE00001FC000FE00001FC000FE00003F8000FF00003F8 0007F00007F80007F80007F00003F80007F00003F8000FE00001FC000FE00001FC001FE0 0001FE001FC00000FE001FC00000FF003F8000007F003F8000007F003F0000003F807F00 00003F807F0000003F80FE0000001FC0FE0000001FC0FC0000000FE1FC0000000FE1FC00 000007E1F800000007F3F800000007F3F000000003F3F000000003F3F000000001FBE000 000001FFE000000000FFC000000000FFC000000000FFC0000000007F80000000007F8000 0000003F00000000003F00000000007F00000000007E0000000000FE0000000001FC0000 003007FC0000007FFFF80000007FFFF00000007FFFE00000007FFF800000007FFF000000 003FF80000000029377EAA2E>121 D<3FFFFFFFF07FFFFFFFF87FFFFFFFF87FFFFFFFF8 7FFFFFFFF83FFFFFFFF00000001FF00000003FE00000007FC0000000FF80000000FF0000 0001FE00000003FC00000007FC0000000FF80000001FF00000001FE00000003FC0000000 7F80000000FF00000001FF00000003FE00000007FC00000007F80000000FF00000001FE0 0000003FC00000007FC0000000FF80000001FF00000001FE00000003FC00000007F80000 000FF80000001FF00000003FE00000007FC00000007FFFFFFFF0FFFFFFFFF8FFFFFFFFF8 FFFFFFFFF8FFFFFFFFF87FFFFFFFF0252B7DAA2C>I E end %%EndProlog %%BeginSetup %%Feature: *Resolution 300dpi TeXDict begin %%EndSetup %%Page: 6 1 6 0 bop 71 436 a Fb(Currently:)71 677 y(strong)22 b(Lagrangian)h (Dualit)m(y)-9 b(,)27 b(Stern)d(and)e(W)m(olk)m(o)m(w-)71 793 y(icz)35 b(1993)71 1034 y(p)s(olynomial)g(time,)h(Y)-9 b(e)34 b(1992)71 1274 y(at)g(most)g(one)g(lo)s(cal-nonglobal,)h(Ma)m (rtinez)i(1993)71 1515 y(t)m(w)m(o)d(trust)h(regions,)f(CDT)h(1984)71 1756 y(multiple)25 b(trust)f(regions:)39 b(Sho)m(r,)26 b(Ramana,)e(W)m(olk)m(o)m(w-)71 1872 y(icz)71 2113 y (Lanczos-eigenvalue)34 b(app)m(roach:)71 2229 y(So)m(rensen)f(1994,)71 2345 y(\(with)i(SDP\))g(Rendl)g(and)f(W)m(olk)m(o)m(wicz)i(1994,)71 2462 y(Santos)d(and)h(So)m(rensen)g(1995)1765 2798 y Fa(6)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF 00FE7F000000FE7F000000 FEFF000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FE FE000000FEFE000000FEFE000000FEFE000000FE7F000000FE7F000000FE7F00000./curr.tex010064000001440000455000000344650600351370100145050ustar00hwolkowieveryone00000400000025%======================= main.tex =========================================== %\documentstyle{slides} \documentstyle[epsf]{slides} %\documentstyle[epsf,fancybox,semcolor]{slides} %[comment] could use {seminar} %\input psfig \newtheorem{exam}{Example} \newtheorem{prop}{Proposition} \newtheorem{lem}{Lemma} \newtheorem{thm}{Theorem} \newtheorem{cor}{Corollary} \newcommand{\Diag}{{\rm Diag\,}} \newcommand{\diag}{{\rm diag\,}} \newcommand{\tr}{{\rm trace\,}} \newcommand{\trace}{{\rm trace\,}} \pagestyle{plain} \begin{document} \blackandwhite{example} \begin{slide}{} %This is slide 1 \begin{center} {\bf A General Framework\\ for\\ Trust Region Subproblems\\ with \\ Applications to Large Scale Minimization} \end{center} and\\ Semidefinite Programming\\ ~~\\ ~~\\ ~~\\ ~~\\ ~~\\ ~~\\ Henry Wolkowicz\\ University of Waterloo (work with Franz Rendl, Univ. of Graz) \end{slide} \begin{slide}{} %%This is slide 2. {\bf The Trust Region Subproblem:} Let \[ q(x):= x^tAx - 2a^tx, \] \begin{eqnarray*} (TRS)~~~~~ \mu^* := &\min& q(x)\\ &\mbox{s.t.}& x^tx = s^2~~(\leq s^2). \end{eqnarray*} where $A=A^t$, not necessarily semidefinite\\ $a \in \Re^n$, $s>0.$ ~~\\ (application: quadratic model for unconstrained minimization) ~~\\ ~~\\ Main Result: an algorithm that solves TRS using only matrix-vector multiplication; therefore exploits sparsity \end{slide} \begin{slide}{} %%This is slide 3 {\bf Semidefinite Programming Framework} \[ (SDP) \begin{array}{cc} \max & \trace CZ\\ \mbox{s.t.} & L(Z) = B\\ & Z \succeq 0 \end{array} \] $Z \succeq 0$ denotes positive semidefinite\\ $L$ is a linear operator \end{slide} \begin{slide}{} %%This is slide 4 Applications: e.g. combinatorial optimization \[ \begin{array}{cc} \max & x^tQx=\trace Qxx^t\\ \mbox{s.t.} & x_i = \pm 1,~ x^2_i=1~\forall i \end{array} \] equivalently (with $X \equiv xx^t$) \[ (SDP) \begin{array}{cc} \max & \trace QX\\ \mbox{s.t.} & \diag (X) = e\\ & X \succeq 0 \end{array} \] rank($X$)=1 ~~(missing constraint - relaxation) ~~\\ ~~\\ ~~\\ Other Applications:\\ Control theory (Lyapunov stability, Ricatti equations), structural computational complexity theory, min-max eigenvalue problems, graph theory \end{slide} % \begin{slide} % \setslidelength{\epsfxsize}{7in} % \epsffile{trpic.eps} % \center {\scriptsize Fig.1 The ten steps of executing a RPC} % \end{slide} \begin{slide}{} Back to TRS: \begin{eqnarray*} (TRS)~~~~~ \mu^* := &\min& q(x)\\ &\mbox{s.t.}& x^tx = s^2~~(\leq s^2). \end{eqnarray*} nonlinear least squares, Levenberg 1944, Marquadt 1963 Applications to general minimization, Goldfeld, Quandt and Trotter 1966 Early theoretical results, Forsythe and Golub 1965 Hebden 1973, Reinsch 1967 efficient numerics, Gay 1981 state of the art algorithm, More-Sorenson 1983 \end{slide} %\begin{slide}{} %% start figure 1 % \begin{figure}[htb] % \centering % \centerline{\ %\psfig{figure=trpic.ps,height=4in,width=5.9in}} % \label{fig1} % \ecfigure{Geometric Graph with Bisection} %% end figure 1 %\end{slide} \begin{slide}{} %%This is slide 5 Currently: strong Lagrangian Duality, Stern and Wolkowicz 1993 polynomial time, Ye 1992 at most one local-nonglobal, Martinez 1993 two trust regions, CDT 1984 multiple trust regions: Shor, Ramana, Wolkowicz Lanczos-eigenvalue approach:\\ Sorensen 1994,\\ (with SDP) Rendl and Wolkowicz 1994,\\ Santos and Sorensen 1995 \end{slide} \begin{slide}{} %%This is slide 7 \[ L(x,\lambda) = q(x) - \lambda(x^tx-s^2) \] {\bf Theorem}(Stern and Wolkowicz, 1993)\\ (i) Strong duality holds for TRS, i.e. \[ \mu^* = \min_x \max_\lambda L(x,\lambda) = \max_\lambda \min_x L(x,\lambda). \] Moreover, attainment holds for $x$ and uniquely for $\lambda$.\\ (ii) A dual problem for TRS, without a duality gap, is \[ (D) \begin{array}{c} \max_{A-\lambda I \succeq 0} h(\lambda), \end{array} \] where \[h(\lambda) = \lambda s^2 - a^t(A-\lambda I)^\dagger a, ~(\mbox{concave}) \] and $\cdot^\dagger$ denotes the Moore-Penrose generalized inverse. \end{slide} \begin{slide}{} %%This is slide 8 {\bf Proof} \begin{eqnarray*} \mu^* & = & \min\limits_{||x||=s} q(x) \nonumber\\ & \geq & \max_\lambda \min_{x} L(x,\lambda) \nonumber\\ & =& \max\limits_{A-\lambda I \succeq 0} \min_{x} L(x,\lambda), \end{eqnarray*} hidden constraints - Hessian $\succeq 0$ and stationarity global minimum of the Lagrangian is \[ x_\lambda := (A-\lambda I)^\dagger a, \] Therefore, the right hand side of the above is equal to \begin{eqnarray*} & =& \max\limits_{A-\lambda I \succeq 0} \lambda s^2 -a^t(A-\lambda I)^\dagger a\\ & =& \max\limits_{A-\lambda I \succeq 0} h(\lambda), \end{eqnarray*} This functional is strictly concave and coercive.\\ $h^\prime = 0$ feasibility \end{slide} \begin{slide}{} %%This is slide 9 {\bf Example} (hard case) Let \[ A = \left[ \begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right],~a=(1~0)^t,~s=1. \] $A-\lambda I \succeq 0,$ implies $\lambda \leq -1$ $\lambda^* = -1$, $\mu^* = -1.5 = h(\lambda^*)$ $x_\lambda = (A-\lambda I)^{\dagger} a = (.5 ~ 0)^t$ $q(x_\lambda) = -.75 > \mu^*$ $||x_\lambda|| < 1$ complementary slackness fails zero duality gap but no primal attainment \end{slide} \begin{slide}{} %%This is slide 10 {\bf Nonlinear Primal-Dual Pair} The dual problem is \[ \begin{array}{c} \max_{A-\lambda I \succeq 0} h(\lambda) \end{array} ~~~(D) \] where \[h(\lambda) = \lambda s^2 - a^t(A-\lambda I)^\dagger a \] dual of the dual: \[ \begin{array}{cc} \min & h(\lambda)+ \tr Z(A-\lambda I) \\ \mbox{s.t.} & s^2-||(A-\lambda I)^\dagger a ||^2 -\trace Z = 0 \\ & Z \succeq 0. \end{array}~~~ (DD) \] For feasible pair $Z,\lambda$, the duality gap is: \[\tr Z(A-\lambda I)~ \] complementary slackness \end{slide} \begin{slide}{} %%%This is slide 11 {\bf Gale and More-Sorenson Algorithm\\ explained by SDP Framework} maintain 2nd order cond. $(A-\lambda I) \succ 0$\\ maximize the dual function $h(\lambda)$\\ ~~ (Newton's method) solve $0=h^\prime (\lambda)=s^2-||x_\lambda||^2$\\ better solve $0=\frac 1s - \frac 1{||x_\lambda||}$\\ (almost linear, convex) Cholesky factoriz: $R^tR=A-\lambda I$ \\ ~~~~~~~~~~~(safeguard positive def.)\\ Solve~~~~~~~~~~~~~~: $R^tRp=a$\\ Solve~~~~~~~~~~~~~~: $R^tq=p$\\ iterate~~~~~~~~~~~~: $\lambda \leftarrow \lambda + \left( \frac {||p||}{||q||}\right)^2 \left( \frac {||p||-s}{s}\right) $ \end{slide} \begin{slide}{} %%This is slide 12 {\bf Hard Case} indicated by $0 < s^2-||x_\lambda||^2$ ~~inside TR\\ DD feasible \[s^2-||(A-\lambda I)^\dagger a ||^2 -\trace Z = 0 \] so take a primal step to boundary and try to minimize the duality gap with \[ Z=zz^t,~\trace Z = ||z||^2\] \[ \begin{array}{rcl} q(x+z)&= &(\lambda s^2 - x_{\lambda}^t (A-\lambda I) x_{\lambda} ) + z^t (A-\lambda I) z \\ &=& h(\lambda) + z^t (A-\lambda I) z. \end{array} \] \[\min \trace Z(A-\lambda I) = z^t(A-\lambda I)z\] \[ A-\lambda I = RR^t ~\mbox{Cholesky decomp} \] (singular value/vector of $R$) \end{slide} \begin{slide}{} %%This is slide 13 Another approach:\\ {\bf Homogenization of TRS} \begin{eqnarray*} \mu^* &=& \min\limits_{||x||=s,~y_0^2=1} x^tAx - 2y_0a^tx \\ &=& \max\limits_t \min\limits_{||x||=s} x^tAx - 2y_0a^tx +ty_0^2-t \\ &=& \max\limits_t \min\limits_{||x||=s,~y_0^2=1} x^tAx - 2y_0a^tx +ty_0^2-t \\ &=& \max\limits_t \min\limits_{||x||^2+y_0^2=s^2+1} x^tAx - 2y_0a^tx +ty_0^2-t \end{eqnarray*} \[ = \max\limits_t (s^2+1)\lambda_1(D(t)) -t\] $$D(t) = \left( \begin{array}{cc} t & -a^t \\ -a & A \end{array} \right). $$ \end{slide} \begin{slide}{} %%This is slide 14 {\bf unconstrained dual problem to TRS} $$D(t) = \left( \begin{array}{cc} t & -a^t \\ -a & A \end{array} \right) $$ $y=\left( \begin{array}{c} y_0\\ x \end{array} \right)$ normalized eigenvector for $\lambda_{\min} D(t)$ \[ k(t) = (s^2+1)\lambda_{\min}(D(t)) -t, \] \[ \mbox{*** }~~~ \max_t k(t) \] Note \[ k^\prime(t) = (s^2+1)y_0^2 -1=0 \] is feasibility again for $x$ \end{slide} \begin{slide}{} %%This is slide 15 {\bf SDP Primal-Dual Pair} \[ \max_t k(t) = (s^2+1)\lambda_{\min}(D(t)) -t, \] add the variable $\lambda$ \[ \begin{array}{cc} \max & (s^2+1)\lambda - t \\ \mbox{s.t.} & D(t) \succeq \lambda I \end{array} (DSDP) \] Lagrangian dual of this dual is: \[ \begin{array}{cc} \min & \tr D(0)X \\ \mbox{s.t.} & \tr X = s^2+1 \\ & X_{11} = 1\\ & X \succeq 0 \end{array}(PSDP) \] \end{slide} \begin{slide}{} %%This is slide 16 primal-dual interior point method: approx. solve perturbed optimality conditions using Newton's method: \[ \begin{array}{c} \tr X = s^2+1 \\ X_{11} = 1\\ D(t) - \lambda I - Z = 0\\ \mu Z^{-1} - X = 0 \\ X \succ 0, Z \succ 0 \end{array} \] \end{slide} \begin{slide}{} %%This is slide 17 Dual Simplex Method basic feasible dual solution at given $t$: \[ D(t) - \lambda_{\min}(D(t)) I \succeq 0 ~ \mbox{and singular}\] eigenvector $ y=\left( \begin{array}{c} y_0\\x \end{array} \right) $ normalize $y_0=1$ test primal feasibility of $X=yy^t$ to get better value for $t$ (interpolation problem) Alternatively, normalize $||y||=1$ with $y_0 \geq 0$,\\ and exploit almost linear structure of \[ \frac 1{y_0(t)} = \sqrt{s^2+1} \] \end{slide} \begin{slide}{} %%This is slide 18 \[ Z = D(t) -\lambda I \] complementary slackness \[ \trace ZX = 0 \] \[ 0=ZX= \left[ \begin{array}{cc} t-\lambda & -a^t \\ -a & A-\lambda I \end{array} \right] \left[ \begin{array}{cc} X_{11} & y^t\\ y & \bar{X} \end{array} \right]. \] \[ t=a^ty+\lambda; \] \[ \bar{X}a=(t-\lambda)y; \] \[ (A-\lambda I)y=a; \] \[ (A-\lambda I)\bar{X} = ay^t; \] \[ A-\lambda I \succeq 0. \] \end{slide} \begin{slide}{} %%This is slide 19 \[ \lambda_i (A) = \alpha_i \] $J := \lbrace i: a_i \not= 0 \rbrace$ $ \det (D(t) - \lambda I)=$ \begin{eqnarray*} &=&(t- \lambda ) \prod_{k=1}^n (\alpha_k - \lambda ) - \sum_{k=1}^n a_k^2 \prod_{j \not= k}^n (\alpha_j - \lambda )\\ &=&\lbrack t- \lambda - \sum_{j \in J} \frac{a_j^2}{\alpha_j - \lambda} \rbrack \prod_{k=1}^n (\alpha_k - \lambda )\\ &=&d(\lambda) \prod_{k=1}^n (\alpha_k - \lambda ) \end{eqnarray*} \end{slide} \begin{slide}{} %%This is slide 20 Easy case: \begin{enumerate} \item[] $$\lambda_1 (D(t)) \mbox{~is simple and~} \lambda_1 (D(t)) < \alpha_1$$ \item[] if $\lambda < \alpha_1$ given. Then \[ D(d(\lambda)) - \lambda I \succeq 0 ~ \mbox{and singular}. \] \item[] Let $y(t)$ be a normalized eigenvector corresponding to $\lambda_1(D(t))$ and denote its first component by $y_0(t)$. Then $y_0(t) \not= 0$. (wlog $>0$) \item[] $y_0(t) : \Re \mapsto (0,1)$ is strictly monotonically decreasing. \end{enumerate} \end{slide} \begin{slide}{} %%This is slide 21 {\bf Theorem}\\ $y(t)=\left(\begin{array}{c} y_0(t)\\ z(t) \end{array} \right)$ normal eigenvector for \[\lambda_1(D(t))\] Then\\ $y_0(t) \not= 0$ and $v := \frac{1}{y_0(t)}z(t)$ is unique opt of \[ \min \lbrace v^tAv -2a^tv: v^tv = \frac{1 - y_0(t)^2}{y_0(t)^2} \rbrace. \] Conversely, if $v \in \Re^n ~and~ \lambda \in \Re$ satisfy\\ \[(A - \lambda I)v = a; ~~A - \lambda I \succeq 0;~ v^tv = \frac{1-y_0^2}{y_0^2}\] thereby defining $ y_{0} > 0,$\\ then\\ $y := y_0\left(\begin{array}{c}1\\ v \end{array} \right)$\\ is eigenvector for $D(t)$ for $t := a^tv + \lambda$\\ and \[\lambda_1(D(t)) = \lambda\] \end{slide} \begin{slide}{} %%This is slide 22 \begin{center} {\bf Dual-Simplex Method} \end{center} \begin{tabbing} 123\=456\=789\=\kill {\bf Initialization:}\\ Find bounds for intervals of uncertainty.\\ $ t_0^l \leq t^* \leq t^u_0$\\ $\mu^l \leq \mu^* \leq \mu^u$\\ ~~\\ Begin the main iterations:\\ {\bf while} (feasibility or duality gap tols too large) ~~\\ \> Part 1: Find a new estimate $t_+$.\\ \> $t_+ = \frac{t_c^l+t_c^u}{2}$ (default value) \\ \> \> Find intersection point of 2 tangent lines\\ \> \> ~~~~~to the graph of $k(t)$\\ \> \> update the upper bound $\mu^u$\\ \> {\bf if} last iterate, on infeasible side, good side\\ \> \> use inverse interpolation\\ \> {\bf elseif} on feasible side, bad side\\ \> \> use inverse interpolation\\ \> {\bf endif}\\ \> Part 2: Update info for new estimate $t_+$.\\ \> {\bf if} $\lambda > 0$ (wrong sign for Lagrange multiplier)\\ \> \> {\bf if} $t_+ <= t^*$ then {\bf STOP}\\ \> {\bf else} (correct sign for Lagrange multiplier)\\ \> \> Update lower bound using dual function\\ \> {\bf endif}\\ \> {\bf if} $t_+ \> Perform a PSDP (negative curvature) \\ \> \> ~~~~step, update bounds \\ \> {\bf else}\\ \> \> steepest descent step - update bounds\\ \> {\bf endif}\\ \> Update the tolerances\\ {\bf endwhile} \end{tabbing} \end{slide} \begin{slide}{} Tests on SUN SPARC station 1 using MATLAB \begin{enumerate} \item dimensions 1540 to 1565 \\ 30 problems for each dimension \\ density of nonzeros .01 \\ average iterations 4.4453 \\ average cpu time 54.1876 sec \\ average work 1.73 times one Lanczos step\\ \item dimensions 1540 to 1558 \\ 30 problems for each dimension \\ density of nonzeros .013 \\ average iterations 4.1148 \\ average cpu time 56.1322 sec \\ average work 1.75 times one Lanczos step\\ comment: a multiple of the identity was added to get a positive definite Hessian \newpage \item dimensions 1500 to 1565 \\ 2 problems for each dimension \\ density of nonzeros .01 \\ average iterations 4.2951 \\ average cpu time 57.0429 sec \\ average work 4.8589 times one Lanczos step\\ comment: hard case; multiplicity of smallest eigenvalue varied from 1 to 6 \item dimensions 1800 to 1865 \\ 12 problems for each dimension \\ density of nonzeros .005 \\ average iterations 4.2453 \\ average cpu time 28.1692 sec \\ average work 4.2589 times one Lanczos step\\ comment: hard case; multiplicity of smallest eigenvalue varied from 1 to 6 \end{enumerate} \end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide13} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide131} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide131} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide132} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide14} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide141} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide15} %\end{slide} %\begin{slide}{} %%This is slide one of two. %\input{slide151} %\end{slide} \end{document} imize the dual function $h(\lambda)$\\ ~~ (Newton's method) solve $0=h^\prime (\lambda)=s^2-||x_\lambda||^2$\\ better solve $0=\frac 1s - \frac 1{||x_\lambda||}$\\ (almost linear, convex) Cholesky fac./p1.ps010060000001440000455000001240370600374701100136660ustar00hwolkowieveryone00000400000025%!PS-Adobe-2.0 %%Creator: dvips 5.58 Copyright 1986, 1994 Radical Eye Software %%Title: curr.dvi %%CreationDate: Fri Jul 21 11:55:53 1995 %%Pages: 1 %%PageOrder: Ascend %%BoundingBox: 0 0 612 792 %%EndComments %DVIPSCommandLine: /software/tex/bin/_dvips -o p1.ps curr -p 1 -l 1 %DVIPSParameters: dpi=300, comments removed %DVIPSSource: TeX output 1995.07.20:1401 %%BeginProcSet: tex.pro /TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N /X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72 mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1} ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if} forall round exch round exch]setmatrix}N /@landscape{/isls true N}B /@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ /nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ /sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ 128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]} if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin 0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict /eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V {}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7 getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false} ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail {dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M} B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{ 4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{ p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos{/SS save N}B /eos{SS restore}B end %%EndProcSet TeXDict begin 40258431 52099146 1000 300 300 (/fsys2/home/hwolkowicz/priv.d/talks.d/trsframwk.d/curr.dvi) @start /Fa 1 50 df<001800003C0000FC0007FC007FFC00FFFC00FFFC007C7C00007C 00007C00007C00007C00007C00007C00007C00007C00007C00007C00007C00007C00007C 00007C00007C00007C00007C00007C00007C00007C00007C00007C00007C00007C00007C 00007C00007C007FFFFCFFFFFEFFFFFE7FFFFC17277AA624>49 D E /Fb 33 123 df<00007F800FF00001FFF00FF00007FFF01FF8000FFFF01FF8001FFFF0 1FF8003FFFF01FF8007F80F01FF8007E00200FF000FE00000FF000FE0000000000FE0000 000000FE0000000000FE0000000000FE0000000000FE000000007FFFFFE003E0FFFFFFF0 07F0FFFFFFF007F0FFFFFFF007F0FFFFFFF007F07FFFFFE007F000FE000007F000FE0000 07F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE0000 07F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE0000 07F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE0000 07F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE0000 07F000FE000007F000FE000007F000FE000007F000FE000007F000FE000007F000FE0000 07F000FE000007F000FE000007F000FE000007F000FE000007F0007C000003E02D3A7EB9 36>12 D<00001F8000003F8000007E000000FC000001F8000003F0000007E000000FC000 001F8000003F0000007F000000FE000000FC000001FC000001F8000003F8000007F00000 07F0000007E000000FE000000FC000001FC000001FC000001F8000003F8000003F800000 3F8000007F0000007F0000007F0000007F0000007F0000007E000000FE000000FE000000 FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000 FE000000FE000000FE0000007E0000007F0000007F0000007F0000007F0000007F000000 3F8000003F8000003F8000001F8000001FC000001FC000000FC000000FE0000007E00000 07F0000007F0000003F8000001F8000001FC000000FC000000FE0000007F0000003F0000 001F8000000FC0000007E0000003F0000001F8000000FC0000007E0000003F8000001F80 195078BE28>40 DI44 D46 D<7FFFFFFFFFFCFFFFFFFFFFFEFFFFFFFFFFFEFFFFFFFFFFFEFFFFFFFFFFFEFF FFFFFFFFFCFF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF 0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF 0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF 0000000000FF0000000000FFFFFFFFFFC0FFFFFFFFFFE0FFFFFFFFFFE0FFFFFFFFFFE0FF FFFFFFFFE0FFFFFFFFFFC0FF0000000000FF0000000000FF0000000000FF0000000000FF 0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF 0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF 0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF0000000000FF 0000000000FF00000000007E00000000002F3877B73D>70 D<0000001FFF0000000003FF FFF80000000FFFFFFF0000007FFFFFFFE00001FFFFFFFFF80003FFFFFFFFF8000FFFE001 FFF8001FFF00001FF8003FF8000007F0007FE0000001F000FFC0000000F001FF00000000 3003FE000000000007FC000000000007F800000000000FF000000000001FF00000000000 1FE000000000003FE000000000003FC000000000003FC000000000007F8000000000007F 8000000000007F800000000000FF000000000000FF000000000000FF0000003FFFFCFF00 00007FFFFCFF0000007FFFFCFF0000007FFFFCFF0000007FFFFCFF0000007FFFFCFF0000 000001FCFF0000000001FC7F8000000001FC7F8000000001FC7F8000000001FC3FC00000 0001FC3FC000000001FC3FE000000001FC1FE000000001FC1FF000000001FC0FF0000000 01FC07F800000001FC07FC00000001FC03FE00000001FC01FF00000001FC00FFC0000001 FC007FE0000001FC003FF8000001FC001FFF00000FFC000FFFE001FFFC0003FFFFFFFFFC 0001FFFFFFFFFC00007FFFFFFFF000000FFFFFFF80000003FFFFF8000000001FFF000036 3A79B845>I<7E000000007EFF00000000FFFF00000000FFFF00000000FFFF00000000FF FF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FF FF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FF FF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FF FF00000000FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF FFFFFFFFFFFFFF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FF FF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FF FF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FF FF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FFFF00000000FF FF00000000FFFF00000000FF7E000000007E303877B743>I<7FFFFFFE000000FFFFFFFF E00000FFFFFFFFFC0000FFFFFFFFFF0000FFFFFFFFFF8000FFFFFFFFFFE000FF000003FF F000FF0000003FF800FF0000000FFC00FF00000003FE00FF00000001FE00FF00000000FF 00FF00000000FF00FF000000007F00FF000000007F80FF000000007F80FF000000007F80 FF000000007F80FF000000007F80FF000000007F80FF000000007F00FF00000000FF00FF 00000000FF00FF00000001FE00FF00000003FE00FF0000000FFC00FF0000003FF800FF00 0003FFF000FFFFFFFFFFE000FFFFFFFFFF8000FFFFFFFFFF0000FFFFFFFFFC0000FFFFFF FFE00000FFFFFFFE000000FF000000000000FF000000000000FF000000000000FF000000 000000FF000000000000FF000000000000FF000000000000FF000000000000FF00000000 0000FF000000000000FF000000000000FF000000000000FF000000000000FF0000000000 00FF000000000000FF000000000000FF000000000000FF000000000000FF000000000000 FF000000000000FF0000000000007E000000000000313877B741>80 D<7FFFFFFF000000FFFFFFFFF00000FFFFFFFFFE0000FFFFFFFFFF8000FFFFFFFFFFE000 FFFFFFFFFFF800FF000000FFFC00FF0000000FFE00FF00000001FF00FF00000000FF80FF 000000007FC0FF000000003FC0FF000000001FE0FF000000001FE0FF000000001FE0FF00 0000001FE0FF000000001FE0FF000000001FE0FF000000001FE0FF000000003FC0FF0000 00007FC0FF00000000FF80FF00000001FF00FF0000000FFE00FF000000FFFC00FFFFFFFF FFF800FFFFFFFFFFE000FFFFFFFFFF8000FFFFFFFFFE0000FFFFFFFFF00000FFFFFFFF80 0000FF00001FC00000FF00001FE00000FF00000FF00000FF000007F80000FF000003FC00 00FF000001FC0000FF000001FE0000FF000000FF0000FF0000007F8000FF0000003FC000 FF0000003FC000FF0000001FE000FF0000000FF000FF00000007F800FF00000003FC00FF 00000003FC00FF00000001FE00FF00000000FF00FF000000007F80FF000000003FC0FF00 0000003FC0FF000000001FE0FF000000000FF0FF0000000007F07E0000000003F0343877 B743>82 D<00003FFE00000001FFFFF000000FFFFFFC00003FFFFFFF80007FFFFFFFE000 FFFFFFFFE001FFE003FFE003FE00007FE007F800001FC00FF0000007C01FE0000001C01F C0000000C01F80000000003F80000000003F80000000003F80000000003F80000000003F C0000000003FC0000000001FE0000000001FF8000000000FFE000000000FFFC000000007 FFFC00000003FFFFE0000001FFFFFF000000FFFFFFE000003FFFFFF800001FFFFFFC0000 03FFFFFF0000007FFFFF80000003FFFFC00000001FFFE000000001FFE0000000003FF000 0000001FF80000000007F80000000003F80000000003FC0000000001FC0000000001FC00 00000001FC0000000001FC0000000001FC6000000001FC7000000003F87C00000003F87E 00000007F0FF8000000FF0FFE000003FE0FFFC0000FFC0FFFFC007FF803FFFFFFFFF000F FFFFFFFE0003FFFFFFF800007FFFFFE000000FFFFF800000007FF800002E3A7CB839>I< 7E000000003EFF000000007FFF000000007FFF000000007FFF000000007FFF000000007F FF000000007FFF000000007FFF000000007FFF000000007FFF000000007FFF000000007F FF000000007FFF000000007FFF000000007FFF000000007FFF000000007FFF000000007F FF000000007FFF000000007FFF000000007FFF000000007FFF000000007FFF000000007F FF000000007FFF000000007FFF000000007FFF000000007FFF000000007FFF000000007F FF000000007FFF000000007FFF000000007FFF000000007FFF000000007FFF000000007F FF000000007FFF000000007FFF000000007FFF000000007FFF000000007F7F80000000FF 7F80000000FE7FC0000001FE3FC0000001FC3FE0000003FC1FF0000007F80FF800000FF0 0FFE00003FF007FF0000FFE003FFE007FFC001FFFFFFFF80007FFFFFFE00003FFFFFFC00 0007FFFFF0000001FFFF800000001FF80000303977B743>85 D<7E000000003F80000000 0F80FF000000007FC00000001FC0FF800000007FC00000001FC07F80000000FFE0000000 3F807F80000000FFE00000003F807FC0000001FFF00000007F803FC0000001FFF0000000 7F003FE0000001F7F00000007F001FE0000003F3F8000000FE001FE0000003F3F8000000 FE001FF0000003F3F8000000FE000FF0000007E3FC000001FC000FF0000007E1FC000001 FC000FF8000007E1FC000001FC0007F800000FC1FE000003F80007F800000FC0FE000003 F80007FC00001FC0FE000007F80003FC00001F80FF000007F00003FC00001F807F000007 F00001FE00003F807F80000FE00001FE00003F007F80000FE00001FF00003F003F80000F E00000FF00007F003FC0001FC00000FF00007E003FC0001FC00000FF80007E001FC0001F C000007F8000FE001FE0003F8000007F8000FC001FE0003F8000007FC000FC000FE0003F 8000003FC001FC000FF0007F0000003FC001F8000FF0007F0000001FE003F80007F000FE 0000001FE003F80007F800FE0000001FE003F00007F800FE0000000FF007F00003F801FC 0000000FF007F00003FC01FC0000000FF007E00003FC01FC00000007F80FE00001FC03F8 00000007F80FE00001FE03F800000007F80FC00000FE03F800000003FC0FC00000FE07F0 00000003FC1F800000FF07F000000001FC1F8000007F07E000000001FE1F8000007F07E0 00000001FE3F0000007F8FE000000000FE3F0000003F8FC000000000FE3F0000003F8FC0 00000000FF7E0000003FDFC0000000007F7E0000001FDF80000000007F7E0000001FDF80 000000007FFC0000001FFF80000000003FFC0000000FFF00000000003FF80000000FFF00 000000001FF800000007FE00000000001FF800000007FE00000000001FF000000003FE00 0000000007E000000001F80000005A387EB75F>87 D<0007FE0000007FFFC00001FFFFF0 0007FFFFF8000FFFFFFC001FFFFFFE001FF001FF001F80007F801E00003F801C00003FC0 0000001FC00000001FC00000000FE00000000FE00000000FE00000000FE00000000FE000 00000FE00000000FE0000003FFE00001FFFFE0000FFFFFE0007FFFFFE001FFFC0FE007FF 800FE00FFC000FE01FE0000FE03FC0000FE07F80000FE07F00000FE0FE00000FE0FE0000 0FE0FE00000FE0FE00000FE0FE00000FE0FE00001FE0FF00001FE07F80003FE07FC000FF E07FF807FFE03FFFFFEFE01FFFFFCFE00FFFFF8FE007FFFE0FE003FFF007C000FF000000 232E7BAC31>97 D<00007FF0000003FFFF00000FFFFFC0003FFFFFF0007FFFFFFC00FFFF FFFC01FFC00FFC03FE0001FC07F80000780FF00000180FE00000001FC00000001FC00000 003F800000003F800000007F000000007F000000007F000000007E00000000FE00000000 FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE 000000007F000000007F000000007F000000007F800000003F800000003FC00000001FC0 00000C1FE000001C0FF000003C07F80000FC03FE0003FC01FFC03FFC00FFFFFFFC007FFF FFF0003FFFFFE0000FFFFF800003FFFC0000007FE000262E7CAC2E>99 D<000000007C00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE 00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE0001FE00FE00 07FFC0FE001FFFF0FE007FFFF8FE00FFFFFCFE01FFFFFEFE03FFC03FFE07FE000FFE0FF8 0003FE0FF00001FE1FE00001FE1FC00000FE3F800000FE3F800000FE7F000000FE7F0000 00FE7F000000FEFF000000FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000 FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FE7F000000FE7F000000FE 7F000000FE3F800000FE3F800001FE3FC00001FE1FE00003FE0FF00003FE0FF80007FE07 FE001FFE03FF807EFE01FFFFFCFE00FFFFF8FE007FFFF0FE003FFFE0FE000FFF807C0001 FC0000273A7CB834>I<0000FF00000007FFE000001FFFF800007FFFFE0000FFFFFF0001 FFFFFF8003FF00FF8007FC003FC007F8001FE00FF00007E01FE00007F01FC00003F03F80 0003F83F800001F87F000001F87F000001F87F000000FC7E000000FCFE000000FCFE0000 00FCFFFFFFFFFCFFFFFFFFFCFFFFFFFFFCFFFFFFFFFCFFFFFFFFF8FE00000000FE000000 00FE000000007E000000007F000000007F000000007F800000003F800000003FC0000000 1FC00000000FE000000C0FF000001C07FC00007C03FE0003FC01FF803FFC00FFFFFFFC00 7FFFFFF0003FFFFFE0000FFFFF800003FFFC0000007FC000262E7CAC2E>I<00000FFC00 00007FFF800001FFFF800007FFFF80000FFFFF80001FFFFF80001FF00780003F80000000 7F000000007F000000007F000000007F000000007F000000007F000000007F0000007FFF FFC000FFFFFFE000FFFFFFE000FFFFFFE000FFFFFFE0007FFFFFC000007F000000007F00 0000007F000000007F000000007F000000007F000000007F000000007F000000007F0000 00007F000000007F000000007F000000007F000000007F000000007F000000007F000000 007F000000007F000000007F000000007F000000007F000000007F000000007F00000000 7F000000007F000000007F000000007F000000007F000000007F000000007F000000007F 000000007F000000007F000000007F000000007F000000007F000000003E000000213A7E B920>I<0000FE007C0007FFC0FE001FFFE0FE003FFFF8FE00FFFFFCFE01FFFFFEFE03FF E03EFE07FF000FFE07FC0007FE0FF80003FE1FF00003FE1FE00001FE3FC00001FE3F8000 00FE7F800000FE7F000000FE7F000000FE7F000000FEFE000000FEFE000000FEFE000000 FEFE000000FEFE000000FEFE000000FEFE000000FEFE000000FEFF000001FE7F000001FE 7F000001FE7F800003FE3FC00003FE3FC00007FE1FE00007FE1FF8000FFE0FFE001EFE07 FFC07CFE03FFFFFCFE01FFFFF8FE00FFFFF0FE003FFFC0FE000FFF80FE0001FC00FE0000 0000FE00000000FE00000000FE00000000FC00000001FC08000001FC1E000003F81FC000 0FF01FFE003FE01FFFFFFFC01FFFFFFF800FFFFFFF0007FFFFFE00007FFFF8000003FFC0 0027397CAB34>I<7C00000000FE00000000FE00000000FE00000000FE00000000FE0000 0000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE000000 00FE007FC000FE03FFF000FE07FFFC00FE1FFFFE00FE3FFFFF00FE7FFFFF80FEFC01FF80 FEF0007FC0FFE0003FC0FFC0001FE0FF80001FE0FF80000FE0FF00000FE0FF00000FE0FF 00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00 000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE0000 0FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000F E0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0 7C000007C0233978B834>I<7F00FF00FF80FF80FF80FF80FF80FF00FF00000000000000 0000000000003E007F007F007F007F007F007F007F007F007F007F007F007F007F007F00 7F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F007F00 7F007F007F007F007F007F007F007F007F003E00093A7AB916>I<7C00000000FE000000 00FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000 FE00000000FE00000000FE00000000FE00000000FE00000000FE000007E0FE00001FF0FE 00003FE0FE00007FC0FE0000FF80FE0001FF00FE0003FE00FE0007FC00FE000FF800FE00 3FE000FE007FC000FE00FF8000FE01FF0000FE03FE0000FE07FC0000FE0FF80000FE1FF0 0000FE3FE00000FEFFF00000FFFFF80000FFFFF80000FFFFFC0000FFFBFE0000FFF1FF00 00FFE0FF0000FFC07F8000FF007FC000FE003FE000FE001FE000FE000FF000FE000FF800 FE0007FC00FE0003FC00FE0001FE00FE0001FF00FE0000FF80FE00007F80FE00003FC0FE 00003FE0FE00001FF0FE00000FF8FE000007F87C000003F0253978B831>107 D<7CFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFE FEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFEFE7C073979B816>I<00007FC00007FC 007C03FFF0003FFF00FE07FFFC007FFFC0FE1FFFFE01FFFFE0FE3FFFFF03FFFFF0FE7FFF FF87FFFFF8FEFC01FF8FC01FF8FEF0007FCF0007FCFFE0003FDE0003FCFFC0001FFC0001 FEFF80001FF80001FEFF80000FF80000FEFF00000FF00000FEFF00000FF00000FEFF0000 0FF00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000 FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE0000 0FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000 FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE0000 0FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000 FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE00000FE00000FEFE0000 0FE00000FEFE00000FE00000FE7C000007C000007C3F2C78AB50>I<00007FC0007C03FF F000FE07FFFC00FE1FFFFE00FE3FFFFF00FE7FFFFF80FEFC01FF80FEF0007FC0FFE0003F C0FFC0001FE0FF80001FE0FF80000FE0FF00000FE0FF00000FE0FF00000FE0FE00000FE0 FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE 00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00 000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE0000 0FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE07C000007C0232C78AB 34>I<00007FC000000003FFF80000000FFFFE0000003FFFFF8000007FFFFFC00000FFFF FFE00001FF803FF00003FE000FF80007F80003FC000FF00001FE000FE00000FE001FC000 007F001F8000003F003F8000003F803F0000001F807F0000001FC07F0000001FC07E0000 000FC07E0000000FC0FE0000000FE0FE0000000FE0FE0000000FE0FE0000000FE0FE0000 000FE0FE0000000FE0FE0000000FE0FE0000000FE0FE0000000FE07F0000001FC07F0000 001FC07F0000001FC07F0000001FC03F8000003F803F8000003F801FC000007F001FE000 00FF000FF00001FE0007F80003FC0007FE000FFC0003FF803FF80001FFFFFFF000007FFF FFC000003FFFFF8000000FFFFE00000003FFF8000000007FC000002B2E7CAC34>I<0000 0F807C007F80FE01FF80FE07FF80FE0FFF80FE1FFF80FE3FF000FE7F8000FEFE0000FEF8 0000FFF00000FFE00000FFC00000FF800000FF800000FF000000FF000000FF000000FE00 0000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE00 0000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE00 0000FE000000FE000000FE000000FE000000FE000000FE0000007C000000192C79AB22> 114 D<001FFE000000FFFFC00003FFFFF00007FFFFFC000FFFFFFF001FFFFFFF003FF003 FF007F80007F007F00001E00FF00000600FE00000000FE00000000FE00000000FE000000 00FE00000000FF000000007F800000007FE00000003FFE0000001FFFF000000FFFFF0000 07FFFFC00003FFFFF00000FFFFF800003FFFFC000001FFFE0000000FFF00000001FF8000 00007F800000003FC00000003FC00000001FC00000001FC00000001FC00000001FC04000 001FC07000003F807C00003F80FF0000FF80FFF003FF00FFFFFFFE00FFFFFFFC003FFFFF F8000FFFFFF00001FFFFC000001FFE0000222E7DAC28>I<007C000000FE000000FE0000 00FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0000 7FFFFFF8FFFFFFFCFFFFFFFCFFFFFFFCFFFFFFFC7FFFFFF800FE000000FE000000FE0000 00FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0000 00FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0000 00FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000C00FF001C 007F003C007F81FE007FFFFE003FFFFC003FFFF8001FFFE0000FFF800003F8001F387EB6 25>I<7C0000001F00FE0000003F80FF0000007F807F0000007F007F8000007F003F8000 00FE003F800000FE003FC00001FE001FC00001FC001FE00001FC000FE00003F8000FE000 03F8000FF00007F80007F00007F00007F00007F00003F8000FE00003F8000FE00003FC00 0FE00001FC001FC00001FC001FC00001FE003FC00000FE003F800000FF003F8000007F00 7F0000007F007F0000007F80FF0000003F80FE0000003F80FE0000001FC1FC0000001FC1 FC0000001FC1FC0000000FE3F80000000FE3F800000007E3F000000007F7F000000007F7 F000000003FFE000000003FFE000000001FFC000000001FFC000000001FFC000000000FF 80000000007F000000292B7EAA2E>118 D<7C000007C000003EFE00000FF000007FFE00 000FF000007F7F00001FF00000FE7F00001FF80000FE7F00001FF80000FE3F80003FF800 01FC3F80003EFC0001FC3F80003EFC0001FC1FC0007EFC0003F81FC0007E7E0003F81FC0 007C7E0003F81FE000FC7E0007F80FE000FC7F0007F00FE000FC3F0007F00FF001F83F00 07F007F001F83F800FE007F001F83F800FE007F801F81F800FE003F803F01FC01FC003F8 03F01FC01FC003F803F00FC01FC001FC07E00FC03F8001FC07E00FE03F8001FC07E007E0 3F8000FE0FC007E07F0000FE0FC007F07F0000FE0FC007F07F00007E0FC003F07E00007F 1F8003F0FE00007F1F8003F8FE00003F1F8001F8FC00003F1F0001F8FC00003FBF0001FD FC00001FBF0000FDF800001FBE0000FDF800001FFE0000FFF800000FFE00007FF000000F FC00007FF000000FFC00007FF0000007FC00003FE0000007F800003FE0000003F000001F C000402B7EAA45>I<7C0000001F00FE0000003F80FF0000007F807F0000007F007F8000 007F003F800000FE003FC00000FE001FC00001FE001FE00001FC000FE00001FC000FE000 03F8000FF00003F80007F00007F80007F80007F00003F80007F00003F8000FE00001FC00 0FE00001FC001FE00001FE001FC00000FE001FC00000FF003F8000007F003F8000007F00 3F0000003F807F0000003F807F0000003F80FE0000001FC0FE0000001FC0FC0000000FE1 FC0000000FE1FC00000007E1F800000007F3F800000007F3F000000003F3F000000003F3 F000000001FBE000000001FFE000000000FFC000000000FFC000000000FFC0000000007F 80000000007F80000000003F00000000003F00000000007F00000000007E0000000000FE 0000000001FC0000003007FC0000007FFFF80000007FFFF00000007FFFE00000007FFF80 0000007FFF000000003FF80000000029377EAA2E>121 D<3FFFFFFFF07FFFFFFFF87FFF FFFFF87FFFFFFFF87FFFFFFFF83FFFFFFFF00000001FF00000003FE00000007FC0000000 FF80000000FF00000001FE00000003FC00000007FC0000000FF80000001FF00000001FE0 0000003FC00000007F80000000FF00000001FF00000003FE00000007FC00000007F80000 000FF00000001FE00000003FC00000007FC0000000FF80000001FF00000001FE00000003 FC00000007F80000000FF80000001FF00000003FE00000007FC00000007FFFFFFFF0FFFF FFFFF8FFFFFFFFF8FFFFFFFFF8FFFFFFFFF87FFFFFFFF0252B7DAA2C>I E /Fc 28 123 df<000000FFFF000000000001FFFF800000000003FFFFC00000000003FF FFC00000000007FFFFE00000000007FFFFE0000000000FFFFFF0000000000FFFFFF00000 00001FFFFFF8000000001FFFFFF8000000001FFFFFF8000000003FFFFFFC000000003FFF FFFC000000007FFEFFFE000000007FFCFFFE00000000FFFC7FFF00000000FFF87FFF0000 0000FFF83FFF00000001FFF83FFF80000001FFF03FFF80000003FFF01FFFC0000003FFE0 1FFFC0000007FFE00FFFE0000007FFE00FFFE0000007FFC00FFFE000000FFFC007FFF000 000FFF8007FFF000001FFF8003FFF800001FFF0003FFF800003FFF0001FFFC00003FFF00 01FFFC00003FFE0001FFFC00007FFE0000FFFE00007FFC0000FFFE0000FFFC00007FFF00 00FFFC00007FFF0001FFF800003FFF8001FFF800003FFF8001FFFFFFFFFFFF8003FFFFFF FFFFFFC003FFFFFFFFFFFFC007FFFFFFFFFFFFE007FFFFFFFFFFFFE00FFFFFFFFFFFFFF0 0FFFFFFFFFFFFFF00FFFFFFFFFFFFFF01FFFFFFFFFFFFFF81FFF00000003FFF83FFF0000 0001FFFC3FFF00000001FFFC7FFE00000001FFFE7FFE00000000FFFE7FFC00000000FFFE FFFC000000007FFFFFF8000000007FFF7FF0000000001FFE40387CB749>65 D<7FFFFFFFFFFFF0FFFFFFFFFFFFF8FFFFFFFFFFFFF8FFFFFFFFFFFFF8FFFFFFFFFFFFF8 FFFFFFFFFFFFF8FFFFFFFFFFFFF0FFFC0000000000FFFC0000000000FFFC0000000000FF FC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC 0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC00 00000000FFFC0000000000FFFC0000000000FFFC0000000000FFFFFFFFFFFF00FFFFFFFF FFFF80FFFFFFFFFFFF80FFFFFFFFFFFF80FFFFFFFFFFFF80FFFFFFFFFFFF80FFFFFFFFFF FF00FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC00000000 00FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000 FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FF FC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC 0000000000FFFC0000000000FFFC0000000000FFFC00000000007FF80000000000353878 B743>70 D<00000001FFFC00000000003FFFFFF000000003FFFFFFFF0000000FFFFFFFFF E000003FFFFFFFFFF80000FFFFFFFFFFF80003FFFFFFFFFFF80007FFFF801FFFF8001FFF F80001FFF0003FFFE000007FF0007FFF8000001FF000FFFE00000007F001FFFC00000003 F003FFF800000001F007FFF000000000E007FFE000000000600FFFC000000000201FFF80 00000000001FFF8000000000003FFF0000000000003FFF0000000000007FFE0000000000 007FFE0000000000007FFE000000000000FFFC000001FFFFFCFFFC000003FFFFFCFFFC00 0003FFFFFCFFFC000003FFFFFCFFFC000003FFFFFCFFFC000003FFFFFCFFFC000003FFFF FCFFFC000000007FFCFFFC000000007FFCFFFC000000007FFC7FFE000000007FFC7FFE00 0000007FFC7FFE000000007FFC3FFF000000007FFC3FFF000000007FFC1FFF800000007F FC1FFF800000007FFC0FFFC00000007FFC07FFE00000007FFC07FFF00000007FFC03FFF8 0000007FFC01FFFC0000007FFC00FFFE0000007FFC007FFF8000007FFC003FFFE000007F FC001FFFF80000FFFC0007FFFF800FFFFC0003FFFFFFFFFFFC0000FFFFFFFFFFFC00003F FFFFFFFFFC00000FFFFFFFFFF0000003FFFFFFFF000000003FFFFFF00000000001FFFC00 003E3A7AB84C>I<7FF80000000000FFFC0000000000FFFC0000000000FFFC0000000000 FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FF FC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC 0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC00 00000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000 000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC000000 0000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC00000000 00FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000 FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FF FC0000000000FFFC0000000000FFFC0000000000FFFC0000000000FFFFFFFFFFFF80FFFF FFFFFFFFC0FFFFFFFFFFFFC0FFFFFFFFFFFFC0FFFFFFFFFFFFC0FFFFFFFFFFFFC07FFFFF FFFFFF80323878B740>76 D<7FFF00000000007FFF80FFFF8000000000FFFFC0FFFFC000 000001FFFFC0FFFFC000000001FFFFC0FFFFE000000003FFFFC0FFFFE000000003FFFFC0 FFFFF000000007FFFFC0FFFFF000000007FFFFC0FFFFF000000007FFFFC0FFFFF8000000 0FFFFFC0FFFFF80000000FFFFFC0FFFFFC0000001FFFFFC0FFFFFC0000001FFFFFC0FFEF FE0000003FFBFFC0FFEFFE0000003FFBFFC0FFE7FF0000007FF3FFC0FFE7FF0000007FF3 FFC0FFE3FF800000FFE3FFC0FFE3FF800000FFE3FFC0FFE1FFC00001FFC3FFC0FFE1FFC0 0001FFC3FFC0FFE1FFC00001FFC3FFC0FFE0FFE00003FF83FFC0FFE0FFE00003FF83FFC0 FFE07FF00007FF03FFC0FFE07FF00007FF03FFC0FFE03FF8000FFE03FFC0FFE03FF8000F FE03FFC0FFE01FFC001FFC03FFC0FFE01FFC001FFC03FFC0FFE00FFE003FF803FFC0FFE0 0FFE003FF803FFC0FFE007FF007FF003FFC0FFE007FF007FF003FFC0FFE007FF007FF003 FFC0FFE003FF80FFE003FFC0FFE003FF80FFE003FFC0FFE001FFC1FFC003FFC0FFE001FF C1FFC003FFC0FFE000FFE3FF8003FFC0FFE000FFE3FF8003FFC0FFE0007FF7FF0003FFC0 FFE0007FF7FF0003FFC0FFE0003FFFFE0003FFC0FFE0003FFFFE0003FFC0FFE0001FFFFC 0003FFC0FFE0001FFFFC0003FFC0FFE0000FFFF80003FFC0FFE0000FFFF80003FFC0FFE0 000FFFF80003FFC0FFE00007FFF00003FFC0FFE00007FFF00003FFC0FFE00003FFE00003 FFC0FFE00003FFE00003FFC0FFE00000FF800003FFC07FC0000000000001FF804A3877B7 5D>I<7FFFFFFFF8000000FFFFFFFFFFC00000FFFFFFFFFFF80000FFFFFFFFFFFF0000FF FFFFFFFFFFC000FFFFFFFFFFFFF000FFFFFFFFFFFFF800FFFFFFFFFFFFFC00FFFFFFFFFF FFFE00FFFC000003FFFF00FFFC0000007FFF80FFFC0000001FFFC0FFFC0000000FFFC0FF FC00000007FFE0FFFC00000007FFE0FFFC00000007FFE0FFFC00000007FFE0FFFC000000 07FFE0FFFC00000007FFE0FFFC00000007FFC0FFFC0000000FFFC0FFFC0000001FFF80FF FC0000007FFF00FFFC000007FFFE00FFFFFFFFFFFFFC00FFFFFFFFFFFFF800FFFFFFFFFF FFE000FFFFFFFFFFFF8000FFFFFFFFFFFC0000FFFFFFFFFFE00000FFFFFFFFFFC00000FF FC0007FFE00000FFFC0003FFE00000FFFC0001FFF00000FFFC0001FFF80000FFFC0000FF FC0000FFFC00007FFE0000FFFC00003FFE0000FFFC00003FFF0000FFFC00001FFF8000FF FC00000FFFC000FFFC000007FFE000FFFC000003FFE000FFFC000003FFF000FFFC000001 FFF800FFFC000000FFFC00FFFC0000007FFE00FFFC0000007FFE00FFFC0000003FFF00FF FC0000001FFF80FFFC0000000FFFC0FFFC00000007FFC0FFFC00000007FFE0FFFC000000 03FFF0FFFC00000001FFF07FF800000000FFF03C3878B74A>82 D<00000FFFC000000000 FFFFFE00000007FFFFFFC000001FFFFFFFF800007FFFFFFFFE0000FFFFFFFFFE0001FFFF FFFFFE0003FFFFFFFFFE0007FFF001FFFC000FFF80001FFC001FFE000007FC001FF80000 03FC003FF0000000FC003FF00000007C007FF000000038007FF000000018007FF8000000 08007FFC00000000007FFF00000000007FFFE0000000007FFFFF000000003FFFFFFC0000 003FFFFFFFE000001FFFFFFFFC00001FFFFFFFFF00000FFFFFFFFFC00007FFFFFFFFE000 03FFFFFFFFF00001FFFFFFFFFC00007FFFFFFFFE00003FFFFFFFFF00000FFFFFFFFF0000 01FFFFFFFF8000003FFFFFFFC0000001FFFFFFC000000007FFFFC0000000003FFFE00000 00000FFFE00000000003FFE02000000001FFE03000000000FFE03800000000FFE07C0000 0000FFE07E00000000FFC07F80000000FFC07FC0000001FFC07FF0000003FF807FFC0000 07FF00FFFF80001FFF00FFFFF801FFFE00FFFFFFFFFFFC00FFFFFFFFFFF8003FFFFFFFFF F0000FFFFFFFFFC00001FFFFFFFF0000003FFFFFFC00000007FFFFF0000000001FFF0000 00333A7BB83F>I<7FFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF7FFFFFFFFFFFFFFFFE00 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000007FFE000000000000007FFE000000000000007FFE000000000000007FFE000000000 000003FFC000000048387CB751>I<0000FFF00000000FFFFF0000007FFFFFC00003FFFF FFF00007FFFFFFF8000FFFFFFFFC000FFFFFFFFE000FFF001FFF000FF8000FFF8007E000 07FFC007C00007FFC007000003FFC006000003FFE000000003FFE000000003FFE0000000 03FFE000000003FFE000000003FFE00000007FFFE000003FFFFFE00003FFFFFFE0001FFF FFFFE000FFFFFFFFE003FFFE03FFE007FFF003FFE00FFFC003FFE01FFF0003FFE03FFE00 03FFE07FFC0003FFE07FFC0003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF800 03FFE0FFF80003FFE0FFF80007FFE07FFC0007FFE07FFC000FFFE07FFE003FFFE03FFF80 FFFFE03FFFFFFBFFE01FFFFFF3FFE00FFFFFE3FFE007FFFFC3FFE003FFFF03FFE000FFFC 01FFC0003FE00000002B2F7DAD35>97 D<7FF000000000FFF800000000FFF800000000FF F800000000FFF800000000FFF800000000FFF800000000FFF800000000FFF800000000FF F800000000FFF800000000FFF800000000FFF803FE0000FFF81FFF8000FFF8FFFFE000FF F9FFFFF000FFFFFFFFF800FFFFFFFFFC00FFFFFFFFFE00FFFF807FFF00FFFE001FFF80FF F80007FF80FFF80003FFC0FFF80003FFE0FFF80001FFE0FFF80001FFE0FFF80001FFF0FF F80000FFF0FFF80000FFF0FFF80000FFF0FFF80000FFF8FFF80000FFF8FFF80000FFF8FF F80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FF F80000FFF8FFF80000FFF0FFF80000FFF0FFF80001FFF0FFF80001FFE0FFF80001FFE0FF F80003FFE0FFF80003FFC0FFF80007FF80FFF8000FFF80FFFE001FFF00FFFF80FFFE00FF FFFFFFFC00FFFFFFFFF800FFFFFFFFF000FFFBFFFFE000FFF8FFFF80007FF03FFE000000 000FF000002D3A7AB838>I<00001FFE00000000FFFFC0000007FFFFF800000FFFFFFE00 003FFFFFFF80007FFFFFFF8000FFFFFFFF8001FFF003FF8003FFC0007F0007FF80003F00 0FFF00000F000FFE000007001FFE000002003FFE000000003FFC000000003FFC00000000 7FFC000000007FF8000000007FF800000000FFF800000000FFF800000000FFF800000000 FFF800000000FFF800000000FFF800000000FFF800000000FFF800000000FFF800000000 FFF8000000007FF8000000007FFC000000007FFC000000003FFC000000003FFE00000080 1FFE000003801FFE000007800FFF00000F8007FF80003F8003FFC000FFC001FFF807FFC0 00FFFFFFFFC0007FFFFFFFC0003FFFFFFF00001FFFFFFC000007FFFFF0000001FFFFC000 00001FFC00002A2F7CAD32>I<00001FF800000000FFFF80000007FFFFE000001FFFFFF8 00003FFFFFFC00007FFFFFFE0001FFFFFFFF0003FFF81FFF8003FFE007FFC007FFC003FF C00FFF8001FFE00FFF0000FFE01FFE0000FFF03FFE0000FFF03FFC00007FF07FFC00007F F87FFC00007FF87FF800007FF87FFFFFFFFFF8FFFFFFFFFFF8FFFFFFFFFFF8FFFFFFFFFF F8FFFFFFFFFFF0FFF800000000FFF800000000FFF800000000FFF800000000FFF8000000 007FF8000000007FF8000000007FFC000000003FFC000000003FFE000000001FFE000000 201FFF000000E00FFF800001E00FFFC00003E007FFE0000FE003FFF0003FF001FFFC03FF F000FFFFFFFFF0007FFFFFFFF0001FFFFFFFC0000FFFFFFF000003FFFFFC0000007FFFE0 00000007FE00002D2F7DAD34>101 D<000007FF8000007FFFF80003FFFFF80007FFFFF8 001FFFFFF8003FFFFFF8007FFFFFF800FFFE01F800FFF0007801FFF0001801FFF0000001 FFF0000001FFF0000001FFF000007FFFFFF800FFFFFFFC00FFFFFFFC00FFFFFFFC00FFFF FFFC00FFFFFFFC007FFFFFF80001FFF0000001FFF0000001FFF0000001FFF0000001FFF0 000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF000 0001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF00000 01FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001 FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FF F0000001FFF0000001FFF0000000FFE00000253A7EB923>I<00007F807FF00003FFE0FF F8000FFFF8FFF8003FFFFCFFF8007FFFFEFFF800FFFFFFFFF801FFFFFFFFF803FFFC0FFF F807FFF003FFF80FFFC001FFF80FFF8001FFF81FFF0000FFF83FFF0000FFF83FFE0000FF F83FFE0000FFF87FFC0000FFF87FFC0000FFF87FFC0000FFF8FFF80000FFF8FFF80000FF F8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FF F8FFF80001FFF87FFC0001FFF87FFC0001FFF87FFC0001FFF83FFE0003FFF83FFE0003FF F81FFF0003FFF81FFF8007FFF80FFFC00FFFF807FFF83FFFF803FFFFFEFFF801FFFFFEFF F800FFFFFCFFF8007FFFF8FFF8001FFFF0FFF80007FFC0FFF80000FF00FFF800000000FF F800000000FFF800000000FFF804000000FFF00F000001FFF00FC00001FFE00FF80007FF C00FFF801FFFC00FFFFFFFFF800FFFFFFFFF000FFFFFFFFC0007FFFFFFF80001FFFFFFE0 00003FFFFF80000001FFF800002D3A7CAC38>I<7FF000000000FFF800000000FFF80000 0000FFF800000000FFF800000000FFF800000000FFF800000000FFF800000000FFF80000 0000FFF800000000FFF800000000FFF800000000FFF800FF8000FFF807FFF000FFF81FFF FC00FFF87FFFFE00FFF8FFFFFF00FFF9FFFFFF80FFFBFFFFFFC0FFFFF01FFFC0FFFF8007 FFC0FFFF0007FFE0FFFE0003FFE0FFFC0003FFE0FFFC0003FFE0FFFC0003FFE0FFF80003 FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003 FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003 FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003 FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003 FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE07FF00001 FFC02B397AB838>I<7FF8FFFCFFFCFFFCFFFCFFFC7FF800000000000000000000000000 003FF87FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7F FC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7FFC7F FC7FFC7FFC7FFC7FFC7FFC7FFC7FFC3FF80E3A7CB918>I<7FC000000000FFE000000000 FFE000000000FFE000000000FFE000000000FFE000000000FFE000000000FFE000000000 FFE000000000FFE000000000FFE000000000FFE000000000FFE000000000FFE0000FFF00 FFE0003FFF80FFE0007FFF00FFE000FFFE00FFE001FFFC00FFE003FFF800FFE00FFFF000 FFE01FFFE000FFE03FFF8000FFE07FFF0000FFE0FFFE0000FFE1FFFC0000FFE7FFF80000 FFEFFFF00000FFFFFFC00000FFFFFF800000FFFFFF000000FFFFFF000000FFFFFF000000 FFFFFF800000FFFFFFC00000FFFFFFE00000FFFFFFE00000FFFFFFF00000FFFFFFF80000 FFFCFFFC0000FFF07FFC0000FFE07FFE0000FFE03FFF0000FFE01FFF8000FFE00FFF8000 FFE00FFFC000FFE007FFE000FFE003FFF000FFE001FFF000FFE001FFF800FFE000FFFC00 FFE0007FFE00FFE0003FFE00FFE0003FFF00FFE0001FFF80FFE0000FFFC0FFE00007FFC0 7FC00003FF802A3979B835>107 D<7FF0FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FF F8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FF F8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FF F8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF8FFF87FF00D397BB818>I<000000FFC00001FF 80007FF007FFF8000FFFF000FFF81FFFFE003FFFFC00FFF83FFFFF007FFFFE00FFF8FFFF FF81FFFFFF00FFF9FFFFFFC3FFFFFF80FFFBFFFFFFE7FFFFFFC0FFFFF00FFFEFE01FFFC0 FFFFC003FFEF8007FFC0FFFF0003FFFE0007FFE0FFFE0001FFFC0003FFE0FFFC0001FFF8 0003FFE0FFFC0001FFF80003FFE0FFFC0001FFF80003FFE0FFF80001FFF00003FFE0FFF8 0001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003 FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001 FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0 FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF0 0003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF8 0001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003 FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001 FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0FFF80001FFF00003FFE0 7FF00000FFE00001FFC04B2D7AAC58>I<000000FF80007FF007FFF000FFF81FFFFC00FF F87FFFFE00FFF8FFFFFF00FFF9FFFFFF80FFFBFFFFFFC0FFFFF01FFFC0FFFF8007FFC0FF FF0007FFE0FFFE0003FFE0FFFC0003FFE0FFFC0003FFE0FFFC0003FFE0FFF80003FFE0FF F80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FF F80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FF F80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FF F80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FF F80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE07FF00001FFC02B 2D7AAC38>I<00000FFC0000000000FFFFC000000003FFFFF00000000FFFFFFC0000001F FFFFFE0000007FFFFFFF800000FFFFFFFFC00001FFF807FFE00003FFE001FFF00007FF80 007FF8000FFF00003FFC000FFE00001FFC001FFE00001FFE001FFC00000FFE003FFC0000 0FFF003FFC00000FFF007FF8000007FF807FF8000007FF807FF8000007FF80FFF8000007 FFC0FFF8000007FFC0FFF8000007FFC0FFF8000007FFC0FFF8000007FFC0FFF8000007FF C0FFF8000007FFC0FFF8000007FFC0FFF8000007FFC0FFF8000007FFC07FF8000007FF80 7FF8000007FF807FFC00000FFF803FFC00000FFF003FFC00000FFF001FFE00001FFE001F FE00001FFE000FFF00003FFC0007FF80007FF80003FFE001FFF00003FFF807FFF00001FF FFFFFFE000007FFFFFFF8000003FFFFFFF0000000FFFFFFC00000003FFFFF000000000FF FFC0000000000FFC000000322F7DAD39>I<000003FE00007FF01FFF8000FFF8FFFFE000 FFF9FFFFF000FFFFFFFFF800FFFFFFFFFC00FFFFFFFFFE00FFFF80FFFF00FFFE003FFF80 FFF8001FFF80FFF8000FFFC0FFF80007FFE0FFF80003FFE0FFF80003FFE0FFF80003FFF0 FFF80001FFF0FFF80001FFF0FFF80001FFF0FFF80000FFF8FFF80000FFF8FFF80000FFF8 FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8FFF80000FFF8 FFF80000FFF8FFF80001FFF0FFF80001FFF0FFF80001FFF0FFF80003FFE0FFF80003FFE0 FFF80007FFE0FFF80007FFC0FFF8000FFF80FFF8001FFF80FFFE007FFF00FFFF81FFFE00 FFFFFFFFFC00FFFFFFFFF800FFFFFFFFF000FFFBFFFFE000FFF8FFFF8000FFF83FFE0000 FFF80FF00000FFF800000000FFF800000000FFF800000000FFF800000000FFF800000000 FFF800000000FFF800000000FFF800000000FFF8000000007FF0000000002D387AAC38> I<000000F87FF007F8FFF80FF8FFF83FF8FFF87FF8FFF8FFF8FFF9FFF8FFFBFFF8FFFFFF F8FFFFFFF8FFFFFE00FFFFF000FFFFC000FFFF0000FFFE0000FFFC0000FFFC0000FFF800 00FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF800 00FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF800 00FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF80000FFF800007FF000 001D2D7AAC26>114 D<0007FF8000003FFFF80000FFFFFE0001FFFFFF8007FFFFFFE00F FFFFFFE00FFFFFFFE01FFFFFFFE03FFC00FFC03FF0001FC03FE00007C07FE00003C07FE0 0001C07FE00000007FF00000007FF80000007FFF8000007FFFFE00003FFFFFC0003FFFFF F8001FFFFFFC001FFFFFFE000FFFFFFF0007FFFFFF8003FFFFFFC000FFFFFFE0007FFFFF F0001FFFFFF00001FFFFF000000FFFF8000000FFF80000003FF82000001FF87000001FF8 7800001FF87E00001FF87F80003FF07FE0003FF07FFC01FFF0FFFFFFFFE0FFFFFFFFC0FF FFFFFF80FFFFFFFF003FFFFFFE0007FFFFFC0000FFFFF000000FFF8000252F7DAD2C>I< 00FFE0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001 FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF000007FFFFFFF00FFFF FFFF80FFFFFFFF80FFFFFFFF80FFFFFFFF80FFFFFFFF807FFFFFFF0001FFF0000001FFF0 000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF000 0001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF00000 01FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001 FFF0000001FFF0000001FFF0000001FFF0000001FFF8004001FFF801C000FFF803C000FF FC1FE000FFFFFFE0007FFFFFE0007FFFFFC0003FFFFF80001FFFFC00000FFFE0000003FE 0000233A7EB829>I<7FF00001FFC0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF800 03FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF800 03FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF800 03FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF800 03FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF80003FFE0FFF800 03FFE0FFF80003FFE0FFF80003FFE0FFF80007FFE0FFF80007FFE0FFF8000FFFE0FFF800 0FFFE07FF8001FFFE07FF8001FFFE07FFC007FFFE03FFE01FBFFE03FFFFFF3FFE01FFFFF E3FFE00FFFFFC3FFE003FFFF83FFE001FFFE01FFC0001FF00000002B2D7AAB38>I<7FC0 0003FE00000FF8FFE00007FF00001FFCFFF00007FF80001FFC7FF00007FF80003FF87FF0 000FFF80003FF87FF0000FFFC0003FF87FF8000FFFC0007FF83FF8001FFFC0007FF03FF8 001FFFE0007FF03FFC001FFFE000FFF01FFC003FFFE000FFE01FFC003FFFF000FFE01FFE 003FFFF000FFE01FFE003FFFF001FFE00FFE007FBFF001FFC00FFE007FBFF801FFC00FFF 007F3FF803FFC007FF00FF3FF803FF8007FF00FF1FFC03FF8007FF80FF1FFC03FF8003FF 80FE1FFC07FF0003FF81FE0FFC07FF0003FF81FE0FFE07FF0003FFC1FC0FFE0FFF0001FF C3FC0FFE0FFE0001FFC3FC07FF0FFE0001FFE3F807FF1FFE0000FFE7F807FF1FFC0000FF E7F803FF9FFC0000FFF7F803FF9FFC0000FFF7F003FFBFFC00007FFFF001FFBFF800007F FFF001FFFFF800007FFFE001FFFFF800003FFFE001FFFFF000003FFFE000FFFFF000003F FFE000FFFFF000001FFFC000FFFFE000001FFFC0007FFFE000001FFFC0007FFFE000001F FF80007FFFE000000FFF80007FFFC000000FFF80003FFFC0000007FF00001FFF8000462C 7EAB4B>119 D<1FFFFFFFFF803FFFFFFFFFC03FFFFFFFFFC03FFFFFFFFFC03FFFFFFFFF C03FFFFFFFFFC01FFFFFFFFF800000001FFF000000003FFE000000007FFE00000000FFFC 00000001FFF800000003FFF000000007FFE000000007FFC00000000FFF800000001FFF80 0000003FFF000000007FFE00000000FFFC00000001FFF800000001FFF000000003FFE000 000007FFE00000000FFFC00000001FFF800000003FFF000000007FFE000000007FFC0000 0000FFF800000001FFF800000003FFF000000007FFE00000000FFFC00000001FFF800000 001FFF000000003FFE000000007FFFFFFFFF80FFFFFFFFFFC0FFFFFFFFFFC0FFFFFFFFFF C0FFFFFFFFFFC0FFFFFFFFFFC07FFFFFFFFF802A2C7DAB31>122 D E end %%EndProlog %%BeginSetup %%Feature: *Resolution 300dpi TeXDict begin %%EndSetup %%Page: 1 1 1 0 bop 519 323 a Fc(A)39 b(General)f(F)m(ramew)m(o)m(rk)962 440 y(fo)m(r)409 556 y(T)-9 b(rust)37 b(Region)i(Subp)m(roblems)927 672 y(with)72 788 y(Applicati)q(ons)h(to)e(La)m(rge)g(Scale)h (Minimizati)q(on)71 1029 y Fb(and)71 1145 y(Semide\014nite)e (Programming)71 2200 y(Henry)d(W)m(olk)m(o)m(wicz)71 2316 y(Universit)m(y)i(of)d(W)m(aterlo)s(o)71 2557 y(\(w)m(o)m(rk)h (with)h(F)m(ranz)h(Rendl,)f(Univ.)46 b(of)33 b(Graz\))1765 2798 y Fa(1)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF FE0000FE003FFF0003FF001FFFC03FF F000FFFFFFFFF0007FFFFFFFF0001FFFFFFFC0000FFFFFFF000003FFFFFC0000007FFFE0 00000007FE00002D2F7DAD34>101 D<000007FF8000007FFFF80003FFFFF80007FFFFF8 001FFFFFF8003FFFFFF8007FFFFFF800FFFE01F800FFF0007801FFF0001801FFF0000001 FFF0000001FFF0000001FFF000007FFFFFF800FFFFFFFC00FFFFFFFC00FFFFFFFC00FFFF FFFC00FFFFFFFC007FFFFFF80001FFF0000001FFF0000001FFF0000001FFF0000001FFF0 000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF0000001FFF000 0001FFF00000./trs.ps010060000001440000455000000051240574077507500141730ustar00hwolkowieveryone00000400000025%!PS-Adobe-2.0 %%Title: /tmp/xfig-fig002991 %%Creator: fig2dev Version 2.1.8 Patchlevel 0 %%CreationDate: Thu Apr 6 10:27:09 1995 %%For: hwolkowi@orion (Henry Wolkowicz) %%Orientation: Landscape %%BoundingBox: 54 184 559 607 %%Pages: 1 %%EndComments /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /l {lineto} bind def /m {moveto} bind def /s {stroke} bind def /n {newpath} bind def /gs {gsave} bind def /gr {grestore} bind def /clp {closepath} bind def /graycol {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul setrgbcolor} bind def /col-1 {} def /col0 {0 0 0 setrgbcolor} bind def /col1 {0 0 1 setrgbcolor} bind def /col2 {0 1 0 setrgbcolor} bind def /col3 {0 1 1 setrgbcolor} bind def /col4 {1 0 0 setrgbcolor} bind def /col5 {1 0 1 setrgbcolor} bind def /col6 {1 1 0 setrgbcolor} bind def /col7 {1 1 1 setrgbcolor} bind def /col8 {.68 .85 .9 setrgbcolor} bind def /col9 {0 .39 0 setrgbcolor} bind def /col10 {.65 .17 .17 setrgbcolor} bind def /col11 {1 .51 0 setrgbcolor} bind def /col12 {.63 .13 .94 setrgbcolor} bind def /col13 {1 .75 .8 setrgbcolor} bind def /col14 {.7 .13 .13 setrgbcolor} bind def /col15 {1 .84 0 setrgbcolor} bind def /DrawEllipse { /endangle exch def /startangle exch def /yrad exch def /xrad exch def /y exch def /x exch def /savematrix mtrx currentmatrix def x y translate xrad yrad scale 0 0 1 startangle endangle arc savematrix setmatrix } def end /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def %%EndProlog $F2psBegin 0 setlinecap 0 setlinejoin -8.5 103.5 translate 90 rotate 0.900 -0.900 scale 0.500 setlinewidth % Ellipse n 209 164 5 5 0 360 DrawEllipse gs col-1 s gr % Ellipse n 209 164 96 96 0 360 DrawEllipse gs col-1 s gr % Ellipse n 284 224 5 5 0 360 DrawEllipse gs col-1 s gr % Ellipse n 284 224 135 135 0 360 DrawEllipse gs col-1 s gr % Ellipse n 279 359 5 5 0 360 DrawEllipse gs col-1 s gr % Ellipse n 279 359 59 59 0 360 DrawEllipse gs col-1 s gr % Ellipse n 324 394 5 5 0 360 DrawEllipse gs col-1 s gr % Ellipse n 324 394 235 235 0 360 DrawEllipse gs col-1 s gr % Ellipse n 494 489 5 5 0 360 DrawEllipse gs col-1 s gr /Times-Roman findfont 12.00 scalefont setfont 219 164 m gs 1 -1 scale (x1) col-1 show gr /Times-Roman findfont 12.00 scalefont setfont 289 229 m gs 1 -1 scale (x2) col-1 show gr /Times-Roman findfont 12.00 scalefont setfont 499 489 m gs 1 -1 scale (x5) col-1 show gr /Times-Roman findfont 12.00 scalefont setfont 334 404 m gs 1 -1 scale (x4) col-1 show gr /Times-Roman findfont 12.00 scalefont setfont 284 369 m gs 1 -1 scale (x3) col-1 show gr showpage $F2psEnd ./unnamed.fig010060000001440000455000000014330574077507400151330ustar00hwolkowieveryone00000400000025#FIG 2.1 80 2 1 3 0 1 -1 0 0 0 0.00000 1 0.000 209 164 5 5 209 164 214 164 1 3 0 1 -1 0 0 0 0.00000 1 0.000 209 164 96 96 209 164 274 234 1 3 0 1 -1 0 0 0 0.00000 1 0.000 284 224 5 5 284 224 289 224 1 3 0 1 -1 0 0 0 0.00000 1 0.000 284 224 135 135 284 224 389 309 1 3 0 1 -1 0 0 0 0.00000 1 0.000 279 359 5 5 279 359 279 364 1 3 0 1 -1 0 0 0 0.00000 1 0.000 279 359 59 59 279 359 299 414 1 3 0 1 -1 0 0 0 0.00000 1 0.000 324 394 5 5 324 394 324 399 1 3 0 1 -1 0 0 0 0.00000 1 0.000 324 394 235 235 324 394 539 489 1 3 0 1 -1 0 0 0 0.00000 1 0.000 494 489 5 5 494 489 499 489 4 0 0 12 0 -1 0 0.00000 4 15 12 219 164 x1 4 0 0 12 0 -1 0 0.00000 4 15 12 289 229 x2 4 0 0 12 0 -1 0 0.00000 4 15 12 499 489 x5 4 0 0 12 0 -1 0 0.00000 4 15 12 334 404 x4 4 0 0 12 0 -1 0 0.00000 4 15 12 284 369 x3