From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Feb 1 07:07:26 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i11D7Qd06240 for reliable_computing-outgoing; Sun, 1 Feb 2004 07:07:26 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i11D7KJ06235 for reliable_computing [at] interval [dot] louisiana.edu; Sun, 1 Feb 2004 07:07:20 -0600 (CST) Received: from lcyoung.math.wisc.edu (lcyoung.math.wisc.edu [144.92.166.90]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i111xLq04092 for ; Sat, 31 Jan 2004 19:59:21 -0600 (CST) Received: from ultra8.math.wisc.edu (ultra8.math.wisc.edu [144.92.166.178]) by lcyoung.math.wisc.edu (8.11.6p2-20030921/8.11.6) with ESMTP id i111vkn06691; Sat, 31 Jan 2004 19:57:51 -0600 (CST) Date: Sat, 31 Jan 2004 19:57:46 -0600 (CST) From: Hans Schneider To: NETS -- at-net , E-LETTER , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, Michael.Unser [at] epfl [dot] ch, SIAGLA-DIGEST , hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA contents Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-UWMath-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans ****************************************************************** Hans Schneider Office: +++++++++++++++++++++++++++++++ Mathematics Department + Home: + Van Vleck Hall + 521 Samuel Drive + University of Wisconsin + Madison, WI 53717-2416 USA + 480 Lincoln Drive + 608-833-6567 + Madison, WI 53706-1313 USA +++++++++++++++++++++++++++++++ Office Phone: 608-262-1402 Math Dept Phone: 608-263-3054 Email: hans [at] math [dot] wisc,edu Math Dept Fax: 608-263-8891 http://www.math.wisc.edu/~hans ****************************************************************** * Linear Algebra and its Applications Volume 379, Pages 1-538 (1 March 2004) Special Issue on the Tenth ILAS Conference (Auburn, 2002) Auburn, USA, 10 June - 13 June 2002 Edited by R.B. Bapat, R. Kaashoek, R. Mathias, T.Y. Tam and F. Uhlig http://www.sciencedirect.com/science/issue/5653-2004-996209999-477635 TABLE OF CONTENTS Pages 1-2 R. B. Bapat, R. Kaashoek, R. Mathias, T. Y. Tam and F. Uhlig Cones and norms in the tensor product of matrix spaces, Pages 3-41 T. Ando On a class of rational matrix differential equations arising in stochastic control, Pages 43-68 G. Freiling and A. Hochhaus The high road to an exponential formula, Pages 69-75 Wasin So The inverse eigenvalue problem for symmetric doubly stochastic matrices, Pages 77-83 Suk-Geun Hwang and Sung-Soo Pyo Gradient flow methods for matrix completion with prescribed eigenvalues, Pages 85-112 Moody T. Chu, Fasma Diele and Ivonne Sgura Improved perturbation estimates for the matrix equations X+/-A*X-1A=Q, Pages 113-135 V. I. Hasanov, I. G. Ivanov and F. Uhlig Norm bounds for summation of two normal matrices, Pages 137-157 Man-Duen Choi and Chi-Kwong Li Existence of minimal nonsquare J-symmetric factorizations for self-adjoint rational matrix functions, Pages 159-178 L. Lerer, M. A. Petersen and A. C. M. Ran Strong linear preservers of symmetric doubly stochastic or doubly substochastic matrices, Pages 179-200 Shwu-Huey Lin and Bit-Shun Tam Hermite indices and equivalence relations, Pages 201-211 I. Baragana, V. Fernandez and I. Zaballa An H2-corona theorem on the bidisk for infinitely many functions, Pages 213-227 Tavan T. Trent On matrix inverses modulo a subspace, Pages 229-237 Miguel V. Carriegos and M Isabel Garcia-Planas Dimension of the orbit of marked subspaces, Pages 239-248 Albert Compta, Josep Ferrer and Marta Pena Assignment of infinite structure to an open-loop system, Pages 249-266 A. Amparan, S. Marcaida and I. Zaballa An estimation of the spectral radius of a product of block matrices, Pages 267-275 Mei-Qin Chen and Xiezhang Li Relationships between partial orders of matrices and their powers, Pages 277-287 Jerzy K. Baksalary, Jan Hauke, Xiaoji Liu and Sanyang Liu A nonlinear matrix equation connected to interpolation theory, Pages 289-302 Andre C. M. Ran and Martine C. B. Reurings Properties of Schur complements in partitioned idempotent matrices, Pages 303-318 Jerzy K. Baksalary, Oskar Maria Baksalary and Tomasz Szulc Completely positive matrices, Pages 319-327 Changqing Xu Versal deformations in orbit spaces, Pages 329-343 F. Puerta, X. Puerta and S. Tarragona Unitary dilation approach to contractive matrix completion, Pages 345-352 Li Qiu and Tongwen Chen On computing canonical forms using flows, Pages 353-379 Kenneth R. Driessel Nonnegative matrices A with AA#[ges]0, Pages 381-394 S. K. Jain and John Tynan Duality and separation theorems in idempotent semimodules, Pages 395-422 Guy Cohen, Stephane Gaubert and Jean-Pierre Quadrat Kronecker-product approximations for some function-related matrices, Pages 423-437 Eugene Tyrtyshnikov Student discussions on a linear algebra problem in a distance-education course, Pages 439-455 Asuman Oktac Inclines and incline matrices: a survey, Pages 457-473 K. H. Kim and F. W. Roush The nonnegative inverse eigenvalue problem, Pages 475-490 Patricia D. Egleston, Terry D. Lenker and Sivaram K. Narayan Should we teach linear algebra through geometry?, Pages 491-501 Ghislaine Gueudet-Chartier Report on the 10th ILAS Conference \"Challenges in Matrix Theory\" at Auburn University in June 2002, Pages 503-535 Frank Uhlig Author index, Pages 537-538 Photo, Page xiv Editorial board, Pages ii-iii All volunes of LAA, beginning with volume 1(1968), are now available on ScienceDirect at http://www.sciencedirect.com . From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Feb 1 14:02:34 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i11K2YJ06669 for reliable_computing-outgoing; Sun, 1 Feb 2004 14:02:34 -0600 (CST) Received: from its-balboa.marqnet.mu.edu (its-balboa.marqnet.mu.edu [134.48.20.115]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i11K2Sq06665 for ; Sun, 1 Feb 2004 14:02:29 -0600 (CST) Received: from its-mussius.marqnet.mu.edu ([134.48.20.167]) by its-balboa.marqnet.mu.edu with Microsoft SMTPSVC(5.0.2195.6713); Sun, 1 Feb 2004 14:02:26 -0600 Received: from [192.168.1.100] ([65.29.183.103]) by its-mussius.marqnet.mu.edu with Microsoft SMTPSVC(5.0.2195.6713); Sun, 1 Feb 2004 14:02:25 -0600 User-Agent: Microsoft-Entourage/10.1.4.030702.0 Date: Sun, 01 Feb 2004 14:02:24 -0600 Subject: Sun's interval patents From: George Corliss To: CC: George Corliss Message-ID: Mime-version: 1.0 Content-type: text/plain; charset="US-ASCII" Content-transfer-encoding: 7bit X-OriginalArrivalTime: 01 Feb 2004 20:02:25.0404 (UTC) FILETIME=[4FC343C0:01C3E8FE] Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Intervalers, Warning: Long, and probably important. Bill Walster and Sun Microsystems have applied for at least 26 patents in the past couple years in the area of interval computations. Read the applications at http://www.uspto.gov/patft/index.html Left side is patents issued Right side is published applications On either side, select [Advanced Search] In the Query box, type: IN/walster [Search] Bill has been granted 4 patents He has filed 22 applications Several of us believe Sun is attempting to patent "inventions" that have appeared in the literature for years, created by others. We wish to influence the patent awarding process. I am working with an intellectual property attorney to formulate a suitable response to the US Patent and Trademark Office. After discussion, Martin Berz and others finally convinced me that the best strategy to to publicize what is happening. In what follows, I offer my best understanding. I have received legal advice, not all of which I yet understand, and I am ABSOLUTELY NOT a legal authority. Please keep that in mind as you read. This message has not been vetted by my attorney, for which she will chastise me. Grounds for responding to either a patent application or an issued patent are different and very narrow under the statutes. "Challenge" is a technical legal term which we cannot afford. The most effective remedy for the scientific public is probably to attempt to make the Patent Office aware of "relevant prior art." Material that appeared in public at least one year before the patent application is filed is considered to belong to prior art, and is not patentable. "Appeared in public" includes published papers or books, conference or university lectures, commercial products, and other similar outlets. There are many reasons our research community should be concerned. If one party is issued patent protection for work it did not truly invent o the true creator may be denied deserved scientific and financial rewards o the true creator could be prevented from subsequent publication of his own work or even running his own code o research funding agencies may be reluctant to fund any work in the area, possibly fearing patent infringement or having the work they fund patented by another o and many more. There are sound and just reasons for Sun, as a commercial entity, to seek patent protection for work it has truly created. We might wish that everyone's work be freely available, but we have also worked for commercialization of interval technologies for many years. My concern is with Sun's apparent attempt to patent the work of others and to patent work belonging to the prior art. If you are concerned, too, what can you do? #1. Read the patents and the applications so you know what you are talking about. http://www.uspto.gov/patft/index.html While they are framed in the legal language of patent law, much of the text contains rather clearly written descriptions of some of the standard algorithms. Large parts would be good reading for a class or seminar introducing interval methods. I suggest you read from oldest to most recent. Some are cumulative. Ignore 20030097390; it is superceded by 20030105789, although we cannot ignore it in our response. There is much duplication and overlap; that is standard practice. Within each application, there are three blocks of seemingly duplicated claims, claiming a method, storage of a computer program, and an apparatus (presumably a computer + the program). #2. Feel free to express your views in this or other forums. Sun needs to hear the views of this community. My personal opinion is that we should focus on scientific fact and merit, but your opinion may differ, especially if it is your work Sun is seeking to patent. Several Sun employees participate in this alias, so we may assume Sun is listening. #3. Help the group of us working to assemble a suitable response. The form that is available to use is tightly constrained by the laws. We may inform the Patent Office of prior art. We can make no argument. As I understand it, we can submit a response for each application. Material may be duplicated, as it is in the applications, but each response stands on its own. Our response is a list of references to work we believe to be relevant prior art. For each reference, a few lines summarizing the content of the reference and summarizing the content of the relevant prior art. This IS a summary of the work, without reference to the patent application. Then, as non-judgmentally as possible, a sentence like, This is relevant to ... in Claim n." ("Claim" is a technical term used in each application.) Then we provide a copy of the particularly relevant portion of the work cited. I have not figured out what we are supposed to do when an entire book is directly relevant to each of perhaps 100 different claims. You can help by providing references you think the Patent Office should be aware of. It will help me compile them if you email me Patent number or application number(s) Reference Summary of reference Summary of relevant prior art this reference represents Table of application numbers and claims to which this reference applies. To avoid duplicate work, I suggest you focus on YOUR work, work of your research group, or work of which you think I might not be aware. My work pile is in my university office, but includes at least [Alefeld1983a] G. Alefeld and J. Herzberger, Introduction to Interval Computations, Academic Press, New York, NY, 1983. [Hansen] Eldon Hansen's book. [Kearfott1996b] R. B. Kearfott, Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, Netherlands, 1996. Several other of Baker's papers [Moore1979a] R. E. Moore, SIAM book [Neumaier1990a] A. Neumaier, The enclosure of solutions of parameter-dependent systems of equations. in: Reliability in Computing (ed. by R.E. Moore). Acad. Press, San Diego 1988, pp. 269-286. [Neumaier1990a] A. Neumaier, Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, 1990. [vanHentenryck] Pascal van Hentenryck, Numerica C-XSC toolbox book We do NOT need to provide an exhaustive bibliography. WE DO need to demonstrate that all (or most) of the Claims are represented in the prior art, hence are not patentable. However, since this is the government, I suspect that length carries some weight. I would especially welcome coverage of linear algebra claimed in application numbers 20030172099, 20030172095, 20030145027 parameter box splitting automatic differentiation, 20030023645 hardware-related. E.g., 20020194232 & 20030033335 appear to include claiming max & min Relevant European patents, if any Deadline? Time is important, since Applications can become Patents as we work. I'm aiming for early March submission, so I'd appreciate receiving contributions by later Feb. When this response is ready, I will list the names of all who (participated in its compilation) AND (wish to be so listed). I will invite other co-signators. One person should be enough to inform the Patent Office of facts, but this is the government, so I assume that a longer list of names from around the world might carry more weight. We will ask that our response be placed in the file. Then, if there is subsequent legal action, anyone who requests a copy of the file will see our response and can use it. #4. You may respond to the Patent Office yourself. If you do that, be aware that they probably have a pretty good anti-ranting filter. Become informed about what types of responses from the public may be considered. One attorney told me that the number of public responses might get attention. Another told me that is certainly NOT the case. I'm guessing that one thorough response carefully obeying the legal guidelines is more effective than many responses that do not. You may choose to contact Sun. #5. Volunteer to be a watchdog of http://www.uspto.gov/patft/index.html and European and Asian patent offices for other interval- related patent applications to which we should respond. #6. Volunteer to compile a digest of past and future discussions of intellectual property discussion in this arena. A digest would help people who might not have the patience to wade through many long discussion threads. If you respond to this message, netiquette suggests removing text not relevant to your response to save reading time. With that, I look forward to continuing reasoned discussion of this issue I believe is important to this research community. Dr. George F. Corliss Electrical and Computer Engineering Marquette University PO Box 1881 1515 W. Wisconsin Ave. Milwaukee WI 53201-1881 USA 414-288-6599; Fax: 288-5574; Dept. 288-6280 George.Corliss [at] Marquette [dot] edu, georgec [at] mscs [dot] mu.edu Www.eng.mu.edu/corlissg From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Feb 2 01:20:55 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i127KrC07245 for reliable_computing-outgoing; Mon, 2 Feb 2004 01:20:53 -0600 (CST) Received: from hotmail.com (bay7-dav16.bay7.hotmail.com [64.4.10.120]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i127Keq07241 for ; Mon, 2 Feb 2004 01:20:41 -0600 (CST) Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Sun, 1 Feb 2004 23:20:22 -0800 Received: from 65.66.210.82 by bay7-dav16.bay7.hotmail.com with DAV; Mon, 02 Feb 2004 07:20:22 +0000 X-Originating-IP: [65.66.210.82] X-Originating-Email: [quadrahelix [at] hotmail [dot] com] X-Sender: quadrahelix [at] hotmail [dot] com Reply-To: "Brian Webb" From: "Brian Webb" To: "George Corliss" , References: Subject: Re: Sun's interval patents Date: Mon, 2 Feb 2004 01:19:43 -0600 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1158 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 Message-ID: X-OriginalArrivalTime: 02 Feb 2004 07:20:22.0809 (UTC) FILETIME=[0562B090:01C3E95D] Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear colleagues, The following link contains an index page for downloading the patent applications mentioned below. The documents are available as PDF files and ZIP files. http://www.cyclogiro.com/Intervals/Patents/PatentIndex.htm Good luck, - Brian ----- Original Message ----- From: George Corliss To: reliable_computing [at] interval [dot] louisiana.edu Cc: George Corliss Sent: Sunday, February 01, 2004 2:02 PM Subject: Sun's interval patents Intervalers, Warning: Long, and probably important. Bill Walster and Sun Microsystems have applied for at least 26 patents in the past couple years in the area of interval computations. Read the applications at http://www.uspto.gov/patft/index.html Left side is patents issued Right side is published applications On either side, select [Advanced Search] In the Query box, type: IN/walster [Search] Bill has been granted 4 patents He has filed 22 applications From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Feb 2 08:36:50 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i12EanT07981 for reliable_computing-outgoing; Mon, 2 Feb 2004 08:36:49 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i12Eafw07976 for reliable_computing [at] interval [dot] louisiana.edu; Mon, 2 Feb 2004 08:36:41 -0600 (CST) Received: from ms-smtp-01.rdc-kc.rr.com (ms-smtp-01.rdc-kc.rr.com [24.94.166.115]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i11LeGq06772 for ; Sun, 1 Feb 2004 15:40:16 -0600 (CST) Received: from jill (CPE-65-31-132-130.wi.rr.com [65.31.132.130]) by ms-smtp-01.rdc-kc.rr.com (8.12.10/8.12.7) with SMTP id i11Le9NL018580; Sun, 1 Feb 2004 15:40:11 -0600 (CST) Message-ID: <00a401c3e90c$07f65790$7700a8c0@jill> From: "Jill Gilbert" To: "George Corliss" , Cc: "George Corliss" References: Subject: Re: #4???? / brochure Date: Sun, 1 Feb 2004 15:40:36 -0600 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_NextPart_000_00A0_01C3E8D9.BCDA0D60" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2720.3000 X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2727.1300 X-Virus-Scanned: Symantec AntiVirus Scan Engine Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_00A0_01C3E8D9.BCDA0D60 Content-Type: multipart/alternative; boundary="----=_NextPart_001_00A1_01C3E8D9.BCDA0D60" ------=_NextPart_001_00A1_01C3E8D9.BCDA0D60 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hello: I honestly don't understand the information conveyed in #4 to be = correct. I will have a more detailed memo about submissions of prior art meeting = the USPTO guidelines tomorrow as promised. I am just about finished. My understanding is that stuff that does not meet the guidelines goes = in the garbage. In fact the Manual of Patent Examining Procedure = pretty much says that (I will show you). It cannot be considered by the = USPTO. So you may want to wait to submit anything until we go over that = memo tomorrow. Here is a that informational brochure on options available to the = academic community. You have the go ahead to distribute it (and this = e-mail) as you like not. Jill. ------=_NextPart_001_00A1_01C3E8D9.BCDA0D60 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Hello:
 
I honestly don't understand the = information=20 conveyed in #4 to be correct.
 
 I will have a more detailed memo = about=20 submissions of prior art meeting the USPTO guidelines tomorrow as=20 promised.  I am just about finished.
 
  My understanding is that stuff = that does not=20 meet the guidelines goes in the garbage.   In fact the Manual = of=20 Patent Examining Procedure pretty much says that (I will show = you). =20 It cannot be considered by the USPTO.  So = you may=20 want to wait to submit anything until we go over that memo=20 tomorrow.
 
Here is a that  informational = brochure on=20 options available to the academic community.  You have the go ahead = to=20 distribute it (and this e-mail) as you like not.
 
Jill.
 
------=_NextPart_001_00A1_01C3E8D9.BCDA0D60-- ------=_NextPart_000_00A0_01C3E8D9.BCDA0D60 Content-Type: application/msword; name="brochure.doc" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="brochure.doc" 0M8R4KGxGuEAAAAAAAAAAAAAAAAAAAAAPgADAP7/CQAGAAAAAAAAAAAAAAABAAAAVAAAAAAAAAAA EAAAVgAAAAEAAAD+////AAAAAFMAAAD///////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////////s pcEANyAJBAAA+DK/AAAAAAAAEAAAAAAABAAA6B8AAA4AYmpialUWVRYAAAAAAAAAAAAAAAAAAAAA AAAJBBYAezAAADd8AAA3fAAA5hsAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD//w8AAAAA AAAAAAD//w8AAAAAAAAAAAD//w8AAAAAAAAAAAAAAAAAAAAAAGwAAAAAAKQSAAAAAAAApBIAAKQS AAAAAAAApBIAAAAAAACkEgAAAAAAAKQSAAAAAAAApBIAACQAAAAAAAAAAAAAAHITAAAAAAAAqBwA AAAAAACoHAAAAAAAAKgcAABQAAAA+BwAAAwAAAAEHQAALAAAAHITAAAAAAAAHTUAAHACAAA8HQAA FgAAAFIdAAAAAAAAUh0AAAAAAABSHQAAAAAAAFIdAAAAAAAAUh0AAAAAAABSHQAAAAAAAFIdAAAA AAAAnDQAAAIAAACeNAAAAAAAAJ40AAAAAAAAnjQAAAAAAACeNAAAAAAAAJ40AAAAAAAAnjQAACQA AACNNwAAIAIAAK05AADWAAAAwjQAABUAAAAAAAAAAAAAAAAAAAAAAAAApBIAAAAAAABSHQAAAAAA AAAAAAAAAAAAAAAAAAAAAABSHQAAAAAAAFIdAAAAAAAAUh0AAAAAAABSHQAAAAAAAMI0AAAAAAAA 0h4AAAAAAACkEgAAAAAAAKQSAAAAAAAAUh0AAAAAAAAAAAAAAAAAAFIdAAAAAAAA1zQAABYAAADS HgAAAAAAANIeAAAAAAAA0h4AAAAAAABSHQAAHAAAAKQSAAAAAAAAUh0AAAAAAACkEgAAAAAAAFId AAAAAAAAnDQAAAAAAAAAAAAAAAAAANIeAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAUh0AAAAAAACcNAAAAAAAANIeAAAQBwAA0h4AAAAAAADiJQAA bgEAAMQyAAAIAQAApBIAAAAAAACkEgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAnDQAAAAAAABSHQAAAAAAADAdAAAMAAAA0IZ6ugvp wwFyEwAANgkAAKgcAAAAAAAAbh0AAFgAAADMMwAAIAAAAAAAAAAAAAAAnDQAAAAAAADtNAAAMAAA AB01AAAAAAAA7DMAALAAAACDOgAAAAAAAMYdAAAMAQAAgzoAAAAAAACcNAAAAAAAANIeAAAAAAAA yBIAAC4AAAD2EgAAfAAAAKQSAAAAAAAApBIAAAAAAACkEgAAAAAAAKQSAAAAAAAAAgDZAAAADQ0N DQ0NDQ0NDQ0NDQ0NDQ0NDQ0NDQ0NDQ0NDQ0NDQ0NDQ0NDQ0NDQ0Nd2F5cyB0byBpbXBhY3QgdGhl IHBhdGVudCBwcm9jZXNzDWluZm9ybWF0aW9uIGZvciB0aGUgYWNhZGVtaWMgYW5kDXJlc2VhcmNo IGNvbW11bml0eQ0NQ2F1dGlvbjogIFByaW9yIHRvIHB1cnNpbmcgYW55IG9mIHRoZSBvcHRpb25z IGlkZW50aWZpZWQgaW4gdGhpcyBwYW1waGxldCwgY2FyZWZ1bGx5IGNoZWNrIG9yIGNvbnN1bHQg d2l0aCBhbiBhdHRvcm5leSBhcyB0byB0aGUgcHJvdmlzaW9ucyAgYW55IGNvbnRyYWN0cyBvciBh Z3JlZW1lbnRzIHRoYXQgbWF5IGJlIGluIGZvcmNlIGJldHdlZW4gIHlvdSwgdGhlIGluc3RpdHV0 aW9uIHdpdGggd2hpY2ggeW91IGFyZSBhZmZpbGlhdGVkIGFuZCB0aGUgcGF0ZW50IGFwcGxpY2Fu dCBvciBvd25lci4NDQ0NDQ0NDQ0NUHJlcGFyZWQgYnkgDUppbGwgR2lsYmVydCwgSW50ZWxsZWN0 dWFsIFByb3BlcnR5IEF0dG9ybmV5DUUtbWFpbCB0YXh0YWxrc0Agd2kucnIuY29tDQ0NDQxUaGUg SW1wb3J0YW5jZSBvZiAgk1ByaW9yIEFydJQNVGhlIHBhdGVudCBwcm9jZXNzIGlzIGludGVuZGVk IHRvIGVuY291cmFnZSBpbm5vdmF0aW9uIGZyb20gdGhlIJNwcmlvciBhcnQulCAgIFRvIG9idGFp biBhIHBhdGVudCwgYW4gaW52ZW50aW9uIG11c3QgYmUgbm92ZWwgYW5kIG5vdCBwcmV2aW91c2x5 IGtub3duIGluIHByaW9yIGFydC4gIEl0IGFsc28gY2Fubm90IGJlIGFuIG9idmlvdXMgdmFyaWF0 aW9uIG9mIHRoZSBwcmlvciBhcnQuICANT25jZSBncmFudGVkLCBhIHBhdGVudCBwcm92aWRlcyBh biBpbnZlbnRvciB3aXRoIHRoZSBlY29ub21pYyBhZHZhbnRhZ2Ugb2YgZXhjbHVkaW5nIG90aGVy cyBmcm9tIHByb2R1Y2luZyBvciBzZWxsaW5nIHRoZSBpbnZlbnRpb24gDVByaW9yIGFydCBjYW4g aW5jbHVkZSBvdGhlciBwYXRlbnRzLCBwdWJsaWNhdGlvbnMsIHByb2R1Y3RzIGFuZCBwcm9jZXNz ZXMgYWxyZWFkeSBkb2N1bWVudGVkIG9yIGluIHVzZS4gIFRoZSBydWxlcyBmb3IgZGV0ZXJtaW5p bmcgd2hhdCBjb25zdGl0dXRlcyBwcmlvciBhcnQgYW5kIHRvIHdoYXQgZXh0ZW50IGl0IGltcGFj dHMgb24gYSBwZW5kaW5nIGFwcGxpY2F0aW9uIGFyZSBjb21wbGV4Lg1HZW5lcmFsbHksIGludmVu dGlvbnMgc29sZCBpbiB0aGUgVS5TLiBvciBwdWJsaXNoZWQgb3IgdXNlZCBhbnl3aGVyZSBpbiB0 aGUgd29ybGQgbWF5IGJlIGRlZW1lZCBwcmlvciBhcnQuICAoU2FsZXMgaW4gZm9yZWlnbiBjb3Vu dHJpZXMgZ2VuZXJhbGx5IGFyZSBub3QgcHJpb3IgYXJ0KS4NQW55IG1lbWJlciBvZiB0aGUgcHVi bGljIGFuZCBhY2FkZW1pYyBjb21tdW5pdHkgY2FuIGFmZmVjdCB0aGUgcGF0ZW50IHByb2Nlc3Mu ICBPbmUgb2YgdGhlIG1vc3QgaW1wb3J0YW50IHdheXMgdGhlIHB1YmxpYyBhbmQgYWNhZGVtaWMg Y29tbXVuaXR5IGNhbiBpbXBhY3QgdGhlIHBhdGVudCBwcm9jZXNzIGlzIGJ5IGJyaW5naW5nIHJl bGV2YW50IHByaW9yIGFydCB0byB0aGUgYXR0ZW50aW9uIG9mIHRoZSBQYXRlbnQgT2ZmaWNlIGV4 YW1pbmVyLiAgQW4gZXhhbWluZXIsIHVwb24gbGVhcm5pbmcgb2YgcmVsZXZhbnQgIHByaW9yIGFy dCwgYW4gZXhhbWluZXIgY2FuIGRpc2FsbG93IGEgcGF0ZW50IGZyb20gaXNzdWluZyBvciBuYXJy b3cgdGhlIHNjb3BlIG9mIGFuIGFsbG93ZWQgcGF0ZW50LiAgIFN1Ym1pc3Npb25zIG9mIHByaW9y IGFydCBjYW4gYWxzbyBhc3Npc3QgaW4gY2hhbGxlbmdlcyB0byBwcmV2aW91c2x5IGlzc3VlZCBw YXRlbnRzIGJyb3VnaHQgYnkgb3RoZXIgcGFydGllcy4gDVBhcnRpY2lwYXRpb24gaW4gdGhlIHBh dGVudCBwcm9jZXNzIGJ5IHRoZSBhY2FkZW1pYyBhbmQgcmVzZWFyY2ggY29tbXVuaXR5IGhlbHBz IGVuc3VyZSB0aGF0IGFwcHJvcHJpYXRlIGtub3dsZWRnZSBhbmQgdGVjaG5vbG9neSByZW1haW4g YXZhaWxhYmxlIGluIHRoZSBwdWJsaWMgZG9tYWluIHRvIGZhY2lsaXRhdGUgZnV0dXJlIHJlc2Vh cmNoIGFuZCBpbm5vdmF0aW9uLg1GaWxpbmcgYSBUaW1lbHkgUHJvdGVzdCANDU9uZSB3YXkgdGhh dCB0aGUgcHVibGljIGFuZCBhY2FkZW1pYyBjb21tdW5pdHkgY2FuIHByZXZlbnQgaXNzdWFuY2Ug b2YgYSBwYXRlbnQsIG9yIG5hcnJvdyB0aGUgc2NvcGUgb2YgYSBwYXRlbnQgaXMgYnkgZmlsaW5n IGEgd3JpdHRlbiBwcm90ZXN0IHN1YmplY3QgdG8gdGhlIHN0YXR1dG9yeSByZXF1aXJlbWVudHMu IA1UaGUgZm9sbG93aW5nIGluZm9ybWF0aW9uIG1heSBiZSBpbmNsdWRlZCBpbiBhIHByb3Rlc3Q6 DUNvbW1lbnRhcnkgb3IgZXhwbGFuYXRpb24gYXMgdG8gd2h5IHRoZSBhcHBsaWNhdGlvbiBzaG91 bGQgbm90IGJlIGFsbG93ZWQNUHVibGljYXRpb25zLCBwYXRlbnRzIG9yIG90aGVyIGNpdGF0aW9u cyBvZiBwcmlvciBhcnQNQW55IG1lbWJlciBvZiB0aGUgcHVibGljIGNhbiBmaWxlIGEgcHJvdGVz dCBhZ2FpbnN0IGlzc3VhbmNlIG9mIGEgcGVuZGluZyBwYXRlbnQgYXBwbGljYXRpb24uICBIb3dl dmVyLCB0aGUgcHJvY2VkdXJhbCByZXF1aXJlbWVudHMgZm9yIGRvaW5nIHNvIGFyZSBzdHJpY3Q6 DVlvdSBtdXN0IGluY2x1ZGUgdGhlIGlkZW50aWZpY2F0aW9uIG51bWJlciBvZiB0aGUgcGF0ZW50 IGFwcGxpY2F0aW9uIGFzc2lnbmVkIGJ5IHRoZSBQYXRlbnQgYW5kIFRyYWRlbWFyayBPZmZpY2Uu DVlvdSBtdXN0IGZpbGUgdGhlIHByb3Rlc3QgYmVmb3JlIHRoZSBhcHBsaWNhdGlvbiBpcyBwdWJs aXNoZWQgb3IgTm90aWNlIG9mIEFsbG93YW5jZSBpcyBtYWlsZWQgdG8gdGhlIGFwcGxpY2FudC4N WW91IG11c3QgaW5jbHVkZSBhbiBleHBsYW5hdGlvbiBhcyB0byB3aHkgYW55IHBhdGVudHMgb3Ig cHVibGljYXRpb25zIHlvdSBoYXZlIGluY2x1ZGVkIGFyZSByZWxldmFudCB0byB0aGUgcGVuZGlu ZyBhcHBsaWNhdGlvbi4NWW91IG11c3QgaW5jbHVkZSBjb3BpZXMgb2YgYWxsIHBhdGVudHMgYW5k IHJlZmVyZW5jZXMgY2l0ZWQsIGFuZCB0aGVzZSBkb2N1bWVudHMgbXVzdCBlaXRoZXIgYmUgaW4g RW5nbGlzaCBvciBhY2NvbXBhbmllZCBieSBhbiBFbmdsaXNoIHRyYW5zbGF0aW9uLg0gIExpbWl0 YXRpb25zIG9uIGFiaWxpdHkgdG8gZmlsZSBhIHByb3Rlc3Q6ICBUaGUgcmVxdWlyZW1lbnQgdGhh dCBhIHByb3Rlc3QgbXVzdCBpbmNsdWRlIHRoZSBpZGVudGlmaWNhdGlvbiBudW1iZXIgb2YgYSBw ZW5kaW5nIGFwcGxpY2F0aW9uIGlzIGEgcHJvY2VkdXJhbCBhbm9tYWx5IHRoYXQgb2Z0ZW4gbWFr ZXMgaW1wb3NzaWJsZSBmb3IgbWVtYmVycyBvZiB0aGUgcHVibGljIHRvIGF2YWlsIG9mIHRoaXMg cHJvY2Vzcy4gR2VuZXJhbGx5LCBhbiBhcHBsaWNhdGlvbpJzIGlkZW50aWZpY2F0aW9uIG51bWJl ciBpcyBub3QgcHVibGljbHkgYXZhaWxhYmxlIHVudGlsIGFuIGFwcGxpY2F0aW9uIGlzIHB1Ymxp c2hlZC4gIEhvd2V2ZXIsIGEgcHJvdGVzdCBtdXN0IGJlIGZpbGVkIGJlZm9yZSBhbiBhcHBsaWNh dGlvbiBpcyBwdWJsaXNoZWQuICBBcyBhIHByYWN0aWNhbCBtYXR0ZXIsIHRoaXMgbWVhbnMgdGhh dCB0aGUgcHJvdGVzdCBwcm9jZWR1cmUgbWF5IGJlIGltcHJhY3RpY2FsIG9yIHVuYXZhaWxhYmxl IGluIG1hbnkgc2l0dWF0aW9ucy4gIFBlcmhhcHMgdGhpcyBwcm9ibGVtIG1heSBiZSByZXNvbHZl ZCBpbiB0aGUgZnV0dXJlLCBzaW5jZSB0aGUgUFRPIGlzIGNvbnN0YW50bHkgaW5jcmVhc2luZyB0 aGUgYW1vdW50IG9mIGluZm9ybWF0aW9uIGF2YWlsYWJsZSB0byB0aGUgcHVibGljIG9uIGl0cyBX ZWIgc2l0ZSBsb2NhdGVkICBhdCATIEhZUEVSTElOSyAiaHR0cDovL3d3dy51c3B0by5nb3YiIAEU d3d3LnVzcHRvLmdvdhUuDUdldHRpbmcgk0NpdGF0aW9uc5Qgb2YgUmVsZXZhbnQgUHJpb3IgQXJ0 IEludG8gQSBQYXRlbnQgRmlsZQ0NSWYgeW91IGFyZSB1bmFibGUgdG8gZmlsZSBhIHByb3Rlc3Qg YmVjYXVzZSBvZiB0aGUgYWJvdmUgcmVxdWlyZW1lbnRzLCB5b3UgIG1vc3QgbGlrZWx5IGNhbiBz dGlsbCBzdWJtaXQgcHJpb3IgYXJ0IGluIHRoZSBmb3JtIG9mIHBhdGVudHMgb3IgcHVibGljYXRp b25zLCB0byBiZSBpbmNsdWRlZCBhbmQgY29uc2lkZXJlZCBpbiB0aGUgZmlsZSBvZiBhIHBlbmRp bmcgcGF0ZW50IGFwcGxpY2F0aW9uLg1JbiBmYWN0LCB5b3UgY2FuIHN1Ym1pdCBjaXRhdGlvbnMg b2YgcHJpb3IgYXJ0IGFmdGVyIGFuIGFwcGxpY2F0aW9uIGhhcyBiZWVuIHB1Ymxpc2hlZCwgYW5k IGV2ZW4gYWZ0ZXIgYW4gYXBwbGljYXRpb24gaGFzIGlzc3VlZCBhcyBhIHBhdGVudC4gIA1UaGUg Y2l0YXRpb25zIHlvdSBwcm92aWRlLCBpZiBkZWVtZWQgcmVsZXZhbnQsIGFyZSBpbmNsdWRlZCBp biB0aGUgcGF0ZW50IGZpbGUgYXMgYSBtYXR0ZXIgb2YgcHVibGljIHJlY29yZCBhbmQgY2FuIGJl IGF2YWlsYWJsZSB0byB0aGlyZCBwYXJ0aWVzIHdobyBjaGFsbGVuZ2UgdGhlIHBhdGVudCBpbiBh IHJlLWV4YW1pbmF0aW9uIHByb2NlZWRpbmcuICBIb3dldmVyLCB1bmxpa2UgYSBwcm90ZXN0LCB5 b3UgY2Fubm90IHN1Ym1pdCBjb21tZW50YXJ5IG9yIGV4cGxhbmF0aW9uIGluIGFkZGl0aW9uIHRv IHRoZSBjaXRhdGlvbnMuIFlvdSBtYXkgb25seSBzdGF0ZSB3aHkgdGhlIHBhdGVudHMgYW5kIHB1 YmxpY2F0aW9ucyB5b3UgaGF2ZSBzdWJtaXR0ZWQgYXJlIHJlbGV2YW50LiAgDUZpbGluZyBhIFN0 YXR1dG9yeQ1JbnZlbnRpb24gUmVwb3J0IChTSVIpDQ1BIFN0YXR1dG9yeSBJbnZlbnRpb24gUmVn aXN0cmF0aW9uIChTSVIpIGlzIGEgZm9ybWFsIGRvY3VtZW50IHRoYXQgY2FuIGJlIGZpbGVkIHdp dGggdGhlIFUuUy4gUGF0ZW50IGFuZCBUcmFkZW1hcmsgT2ZmaWNlIGFzIGFuIGFsdGVybmF0aXZl IHRvIGEgcGF0ZW50IGFwcGxpY2F0aW9uLiAgDVRoZSBmaWxpbmcgb2YgYSBTSVIgZG9jdW1lbnRz IHRoZSBpZGVudGl0eSBvZiB0aGUgaW52ZW50b3IgYW5kIHdoYXQgdGhlIGludmVudGlvbiBpcywg YnV0IGNvbmZlcnMgbm8gZXhjbHVzaXZlIHBhdGVudCByaWdodHMuICBJbiBlZmZlY3QsIGEgU0lS IHByZXZlbnRzIHNvbWVvbmUgZWxzZSBmcm9tIGNsYWltaW5nIHBhdGVudCByaWdodHMgaW4gdGhl IHRlY2hub2xvZ3kgdGhhdCBpdCBkaXNjbG9zZXMgYW5kIGVuc3VyZXMgdGhlIHB1YmxpY5JzIGNv bnRpbnVlZCByaWdodCB0byB1c2UgdGhpcyB0ZWNobm9sb2d5LiBBbiBpbnZlbnRvciBtYXkgZmls ZSBhIFNJUiB0byBhdm9pZCBoYXZpbmcgdG8gZGVmZW5kIGhpcyBvciBoZXIgb3duIHVzZSBvZiB0 aGUgdGVjaG5vbG9neSBhZ2FpbnN0IHNvbWVvbmUgZWxzZZJzIHBhdGVudC4NQXMgYSBwcmFjdGlj YWwgbWF0dGVyIGEgU0lSIG1heSBub3QgYmUgbmVjZXNzYXJ5IGZvciBhbiBpbnZlbnRpb24gdGhh dCBoYXMgcHJldmlvdXNseSBiZWVuIHB1Ymxpc2hlZCwgc29sZCBvciBwbGFjZWQgaW50byBwdWJs aWMgdXNlLiAgVGhlc2UgYWN0aXZpdGllcyBtYXkgYXV0b21hdGljYWxseSBjYXVzZSB0aGUgaW52 ZW50aW9uIHRvIGJlIGNsYXNzaWZpZWQgYXMgcHJpb3IgYXJ0LCB3aXRob3V0IHRoZSBlZmZvcnQg YW5kIGV4cGVuc2Ugb2YgZmlsaW5nIGEgU0lSLg0NSWYsIGhvd2V2ZXIsIHRoZXJlIGlzIGNvbmNl cm4gdGhhdCBhIHBhdGVudCBtYXkgYmUgZmlsZWQgd2l0aGluIG9uZSB5ZWFyIGZyb20gdGhlIGRh dGUgdGhlIHRlY2hub2xvZ3kgaXMgZmlyc3QgdXNlZCwgc29sZCBvciBkaXNjbG9zZWQsIGEgU0lS IG1pZ2h0IGJlIGFkdmFudGFnZW91cy4gDQ1Qcm92b2tpbmcgYW4gSW50ZXJmZXJlbmNlDUFuIGlu dmVudG9yIGNhbiBmaWxlIGFuZCBwcm9zZWN1dGUgYSBwYXRlbnQgYXBwbGljYXRpb24gZXZlbiBp ZiB0aGVyZSBpcyBhbHJlYWR5IGEgcGVuZGluZyBhcHBsaWNhdGlvbi4NQW4gaW50ZXJmZXJlbmNl IHByb2NlZWRpbmcgbWF5IGJlIGluaXRpYXRlZCB3aGVuIHR3byBwZW5kaW5nIHBhdGVudCBhcHBs aWNhdGlvbnMgY2xhaW0gdGhlIHNhbWUgc3ViamVjdCBtYXR0ZXIuICBUaGUgaW50ZXJmZXJlbmNl IHByb2Nlc3MgaXMgdXNlZCB0byBkZXRlcm1pbmUgd2hvIGlzIHRoZSBhY3R1YWwgaW52ZW50b3Ig YW5kIGVudGl0bGVkIHRvIHRoZSBwYXRlbnQgZm9yIHRoZSBjbGFpbWVkIHN1YmplY3QgbWF0dGVy Lg1TaW5jZSB0aGUgVW5pdGVkIFN0YXRlcyBpcyBvbmUgb2YgdGhlIGZldyBjb3VudHJpZXMgaW4g dGhlIHdvcmxkIHRoYXQgZGV0ZXJtaW5lcyBwYXRlbnQgcmlnaHRzIG9uIGEgk2ZpcnN0LXRvLWlu dmVudJQgYmFzaXMgcmF0aGVyIHRoYW4gYSCTZmlyc3QtdG8tZmlsZZQgYmFzaXMsIGFuIGludGVy ZmVyZW5jZSBwcm9jZWVkaW5nIHdpbGwgYmUgcmVzb2x2ZWQgYmFzZWQgb24gd2hvIGlzIHRoZSBm aXJzdCB0byBpbnZlbnQsIHJhdGhlciB0aGFuIHdobyBpcyB0aGUgZmlyc3QgdG8gZmlsZS4NVGhl IGludGVyZmVyZW5jZSBwcm9jZWVkaW5nIG1heSBiZSBpbml0aWF0ZWQgYnkgUGF0ZW50IE9mZmlj ZSwgb3IgYnkgZWl0aGVyIHBhcnR5IHRvIHRoZSBwcm9jZWVkaW5nLiAgDUhhdmluZyBhICBQYXRl bnQgUmUtRXhhbWluZWQNDVJlLWV4YW1pbmF0aW9uIHByb2NlZWRpbmdzIGFyZSBmdWxsLWZsZWRn ZWQgbGl0aWdhdGlvbiBwcm9jZWVkaW5ncyB0byBpbnZhbGlkYXRlIGEgcHJldmlvdXNseSBpc3N1 ZWQgcGF0ZW50LiAgQXMgd2l0aCBhbnkgbGl0aWdhdGlvbiwgcmUtZXhhbWluYXRpb25zIG1heSBi ZSB2ZXJ5IGNvc3RseS4NUmUtZXhhbWluYXRpb24gcHJvY2VlZGluZ3MgY2FuIGJlIGluaXRpYXRl ZCBieSBhbnkgdGhpcmQgcGFydHksIG9yIGJ5IHRoZSBwYXRlbnQgb3duZXIgKHRvIGRldGVybWlu ZSB0aGUgc2NvcGUgb2YgdGhlIGludmVudGlvbikuDUFsbCBvZiB0aGUgaW5mb3JtYXRpb24gY29u dGFpbmVkIGluIHRoZSBwYXRlbnQgZmlsZSAoaW5jbHVkaW5nIGNpdGF0aW9ucyBvZiBwcmlvciBh cnQgc3VibWl0dGVkIGJ5IHRoaXJkIHBhcnRpZXMpIGNhbiBiZSBjb25zaWRlcmVkIGluIGEgcmUt ZXhhbWluYXRpb24gcHJvY2VlZGluZy4NVGhlIHVsdGltYXRlIHF1ZXN0aW9uIHRvIGJlIGRldGVy bWluZWQgaW4gYSByZS1leGFtaW5hdGlvbiBwcm9jZWVkaW5nIGlzIHdoZXRoZXIgdGhlIHJlLWV4 YW1pbmF0aW9uIHJlcXVlc3QgcmFpc2VzIGEgc3Vic3RhbnRpYWwgbmV3IHF1ZXN0aW9uIG9mIHBh dGVudCBhYmlsaXR5Lg0NDQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAACoEAAB/BAAAgQQAAJwF AACeBQAAAAYAAB0GAAAfBgAADQkAAD0JAABACQAAWgkAAOILAAD7CwAABBAAACwQAACHEQAAjhEA AMkSAADKEgAA7BIAAO0SAADuEgAA+xIAAPwSAAD+EgAAOxMAADoWAABjFgAAZBYAAGUWAABIGQAA VRkAAPMZAAD6GQAAYBoAAGEaAAB6GgAAexoAAFcdAABzHQAAdB0AAOgfAAAA+ADv6QDf1QDRytEA 3wDRAMYAwQC5wbbBAN8A36/VAMYAxgDVnd8A35cAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAK NQiBQ0ogAFwIgQAjNQiBQ0ocAE9KAwBRSgMAXAiBZWgEAQAAcsoIAAAA/wQBAAAMQ0ocAE9KAwBR SgMAAAQwSkkAAA8CCIEDagAAAAAGCAFVCAEJA2oAAAAAVQgBBjYIgV0IgQAMNQiBNgiBXAiBXQiB AAY1CIFcCIEAEjUIgUNKIABPSgMAUUoDAFwIgQASNQiBQ0ocAE9KAwBRSgMAXAiBAAo2CIFDShwA XQiBABA1CIE2CIFDShwAXAiBXQiBAA41CIFPSgMAUUoDAFwIgSsABAAAAQQAAAIEAAADBAAABAQA AAUEAAAGBAAABwQAAAgEAAAJBAAACgQAAAsEAAAMBAAADQQAAA4EAAAPBAAAEAQAABEEAAASBAAA EwQAABQEAAAVBAAAFgQAABcEAAAYBAAAGQQAABoEAAAbBAAAHAQAAB0EAAD9AAAAAAAAAAAAAAAA +wAAAAAAAAAAAAAAAPsAAAAAAAAAAAAAAAD7AAAAAAAAAAAAAAAA+wAAAAAAAAAAAAAAAPsAAAAA AAAAAAAAAAD7AAAAAAAAAAAAAAAA+wAAAAAAAAAAAAAAAPsAAAAAAAAAAAAAAAD7AAAAAAAAAAAA AAAA+wAAAAAAAAAAAAAAAPsAAAAAAAAAAAAAAAD7AAAAAAAAAAAAAAAA+wAAAAAAAAAAAAAAAPsA AAAAAAAAAAAAAAD7AAAAAAAAAAAAAAAA+wAAAAAAAAAAAAAAAPsAAAAAAAAAAAAAAAD7AAAAAAAA AAAAAAAA+wAAAAAAAAAAAAAAAPsAAAAAAAAAAAAAAAD7AAAAAAAAAAAAAAAA+wAAAAAAAAAAAAAA APsAAAAAAAAAAAAAAAD7AAAAAAAAAAAAAAAA+wAAAAAAAAAAAAAAAPsAAAAAAAAAAAAAAAD7AAAA AAAAAAAAAAAA+wAAAAAAAAAAAAAAAAAAAAAAAAEAAAABAgAAHQAEAADmHwAA5x8AAP7+AAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAQECHQQAAB4EAAAfBAAAIAQAACEEAAAi BAAAIwQAACQEAAAlBAAAJgQAACcEAAAoBAAAKQQAACoEAABMBAAAbQQAAIAEAACBBAAAngUAAJ8F AACgBQAAoQUAAKIFAACjBQAApAUAAKUFAACmBQAApwUAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAA AAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0A AAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAA AAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD4AAAAAAAAAAAAAAAA8wAAAAAAAAAAAAAA APMAAAAAAAAAAAAAAADxAAAAAAAAAAAAAAAA7QAAAAAAAAAAAAAAAO0AAAAAAAAAAAAAAADxAAAA AAAAAAAAAAAA8QAAAAAAAAAAAAAAAPEAAAAAAAAAAAAAAADxAAAAAAAAAAAAAAAA8QAAAAAAAAAA AAAAAPEAAAAAAAAAAAAAAADxAAAAAAAAAAAAAAAA8QAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMA ABSkeAAAAREAAAQVAAMkAWEkAQAEFAADJAFhJAEAAQAAABunBQAAtAUAAOEFAAD8BQAA/QUAAP4F AAD/BQAAAAYAAB8GAAAABwAAhQcAAGcIAAANCQAADAsAAOILAAD7CwAA/AsAAPkAAAAAAAAAAAAA AAD5AAAAAAAAAAAAAAAA9AAAAAAAAAAAAAAAAPIAAAAAAAAAAAAAAADuAAAAAAAAAAAAAAAA7gAA AAAAAAAAAAAAAO4AAAAAAAAAAAAAAADIAAAAAAAAAAAAAAAAxAAAAAAAAAAAAAAAAMQAAAAAAAAA AAAAAADEAAAAAAAAAAAAAAAAxAAAAAAAAAAAAAAAAMQAAAAAAAAAAAAAAADCAAAAAAAAAAAAAAAA lgAAAAAAAAAAAAAAAI8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAYPABJkAAAAABSkeAAAKw8AAyQB EmR4AAAAFKQAACRkBAEAACVkBAEABCZkBAEAASdkBAEABE7GCAAAAP8EAQAAT8YIAAAA/wQBBABQ xggAAAD/BAEBAFHGCAAAAP8EAQQAYSQBAAEPAAADDwAUpHgAACUPABSkAAAkZAQBAAElZAQBAAQm ZAQBAAEnZAQBAAROxggAAAD/BAEBAE/GCAAAAP8EAQQAUMYIAAAA/wQBAQBRxggAAAD/BAEEAAAD AAAUpHgAAAEAAAAEDwADJAFhJAEABQQAE6QAABSkAAAAEPwLAAC0DAAA7AwAADYNAABsDQAACQ4A AHsOAADsDgAAbQ8AAAIQAAD+EgAAOxMAADwTAAAiFAAAshQAADoWAABNFgAAZBYAAGUWAAAMFwAA +AAAAAAAAAAAAAAAAPQAAAAAAAAAAAAAAADtAAAAAAAAAAAAAAAA7QAAAAAAAAAAAAAAAPQAAAAA AAAAAAAAAADmAAAAAAAAAAAAAAAA5gAAAAAAAAAAAAAAAOYAAAAAAAAAAAAAAADhAAAAAAAAAAAA AAAA1wAAAAAAAAAAAAAAAK4AAAAAAAAAAAAAAAD4AAAAAAAAAAAAAAAA+AAAAAAAAAAAAAAAAKwA AAAAAAAAAAAAAACsAAAAAAAAAAAAAAAArgAAAAAAAAAAAAAAAK4AAAAAAAAAAAAAAACoAAAAAAAA AAAAAAAA+AAAAAAAAAAAAAAAAAAAAAAAAAAAAAADDwAUpAAAAAEPAAAoDwADJAEUpAAAJGQEAQAB JWQEAQAEJmQEAQABJ2QEAQAETsYIAAAA/wQBAQBPxggAAAD/BAEEAFDGCAAAAP8EAQEAUcYIAAAA /wQBBABhJAEACQ8AD4QaABGE5v9ehBoAYITm/wUPAAomAAtGDAAHDwAKJgALRgwAFKR4AAcPAAom AAtGDQAUpHgAAAMPABSkeAAABg8AEmQAAAAAFKR4AAATDBcAAKwYAAC5GQAAuhkAAGAaAABhGgAA exoAAOMaAADYGwAA8BwAAFcdAAB0HQAAdR0AAB8eAAChHgAARR8AAOYfAADnHwAA6B8AAPgAAAAA AAAAAAAAAADxAAAAAAAAAAAAAAAA8QAAAAAAAAAAAAAAAOoAAAAAAAAAAAAAAADqAAAAAAAAAAAA AAAA6gAAAAAAAAAAAAAAAPgAAAAAAAAAAAAAAADmAAAAAAAAAAAAAAAA5gAAAAAAAAAAAAAAAOYA AAAAAAAAAAAAAADAAAAAAAAAAAAAAAAA8QAAAAAAAAAAAAAAAPgAAAAAAAAAAAAAAAD4AAAAAAAA AAAAAAAA+AAAAAAAAAAAAAAAAPgAAAAAAAAAAAAAAAC+AAAAAAAAAAAAAAAA+AAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAQAAACUPABSkAAAkZAQBAAElZAQBAAEmZAQBAAEnZAQBAAROxggAAAD/ BAEBAE/GCAAAAP8EAQEAUMYIAAAA/wQBAQBRxggAAAD/BAEEAAADDwAUpHgAAAYPABJk8AABABSk AAAABg8AEmQAAAAAFKQAAAAGDwASZAAAAAAUpHgAABI6AAowASZQAQAxkEcAHTACH7DgPSCw0C8h sNACIrBDAyOQ8QEkkNACJbAAABewAAAYsAAAC1ACAAyQoAU9AAkwAAowASZQAQAxkEcAHTACH7Dg PSCw0C8hsNACIrBCAiOQ8QEkkGMBJbAAABewAAAYsAAAC1ACAAyQ7QMAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAL0AAABEAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANDJ6nn5us4RjIIAqgBL qQsCAAAAFwAAAA4AAAB3AHcAdwAuAHUAcwBwAHQAbwAuAGcAbwB2AAAA4Mnqefm6zhGMggCqAEup CywAAABoAHQAdABwADoALwAvAHcAdwB3AC4AdQBzAHAAdABvAC4AZwBvAHYALwAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAUAEoACgABAGkADwADAAAAAAAAAAAARgAAYPH/AgBGAAwA BgBOAG8AcgBtAGEAbAAAAAwAAAASZPAAAAAUpPAAHABDShYAT0oEAFFKBABfSAEEbUgJBHNICQR0 SAkEYAABABECIgBgAAwACQBIAGUAYQBkAGkAbgBnACAAMQAAADcAAQASZCD+AAATpAAAFKTgASRk AAAAACVkAAAAACZkAAAAACdkAAAAAC1EAABAJgBdhAAAXoQAAAADADsIgQBQAAJAAQDyAFAADAAJ AEgAZQBhAGQAaQBuAGcAIAAyAAAAGwACAAUkAQYkARJkEP8AABSkPAAmZAYBAAFAJgEADwA7CIFA iPv/Q0ocAEtIHAAAfAADAAEAAgB8AAwACQBIAGUAYQBkAGkAbgBnACAAMwAAAEMAAwAFJAEGJAES ZPAAAAATpDwAFKQ8ACRkBgEICSVkBgEICSZkBgEICSdkBgEICS1EAFgxJABAJgJdhLQAXoS0AGEk AQATADUIgUCI9v9DShwAT0oFAFFKBQAATAAEQAEA8gBMAAwACQBIAGUAYQBkAGkAbgBnACAANAAA ABwABAAFJAEGJAESZPAAAAATpDwAFKQ8AEAmA2EkAQwAQ0oPAE9KBQBRSgUARAAFAEEA8gBEAAwA CQBIAGUAYQBkAGkAbgBnACAANQAAABAABQATpAAAFKQAAEAmBGEkABAAQIj7/0NKFABFSAAAS0gU AFIABgABAPIAUgAMAAkASABlAGEAZABpAG4AZwAgADYAAAAVAAYABiQBEmTwAAAAFKTwAEAmBWEk AQAXADsIgUCIFABDShIAS0gcAE9KBABRSgQAAE4ABwABAPIATgAMAAkASABlAGEAZABpAG4AZwAg ADcAAAASAAcABiQBEmTwAAAAFKTwAEAmBhcANQiBQIj7/0NKGABLSBwAT0oEAFFKBAAATgAIAAEA 8gBOAAwACQBIAGUAYQBkAGkAbgBnACAAOAAAABIACAAGJAESZPAAAAAUpPAAQCYHFwA2CIFAiAUA Q0oYAEtIHABPSgQAUUoEAABKAAkAAQDyAEoADAAJAEgAZQBhAGQAaQBuAGcAIAA5AAAADgAJAAYk ARJk8AAAAEAmCBcANgiBQIgFAENKGABLSBwAT0oEAFFKBAAAPABBQPL/oQA8AAwAFgBEAGUAZgBh AHUAbAB0ACAAUABhAHIAYQBnAHIAYQBwAGgAIABGAG8AbgB0AAAAAAAAAAAAAAAAAEAAQkABAPIA QAAMAAkAQgBvAGQAeQAgAFQAZQB4AHQAAAAMAA8AEmTwAAAAFKTwABAAQIj7/0NKGABPSgQAUUoE AGgA/g/xAAIBaAAMAA8AQgBsAG8AYwBrACAAUQB1AG8AdABhAHQAaQBvAG4AAAAvABAABSQBEmTI AAAAJGQGAQgMJWQGAQgMJmQGAQgMJ2QGAQgMLUQACF2E8ABehPAAAAcANgiBQ0oaAAA8AP5P8QAS ATwADAAHAFAAaQBjAHQAdQByAGUAAAAGABEAFKQAABYANQiBQIgAAEIqCENKSABPSgYAUUoGAJwA MQCRASIBnAAMAAsATABpAHMAdAAgAE4AdQBtAGIAZQByAAAAcwASAAomCwtG/wcNxgQB0AIAFKTw AD7GVAAAATAIAAcAGAABAPAAAAAAAAAALgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAF6EAABghAAAAAAAUgD+DwEAAgBSAAwADgBT AHUAYgB0AGkAdABsAGUAIABDAG8AdgBlAHIAAAATABMABiQBEmSQAQAAE6TAAxSkAAAADwA2CIFA iPb/Q0ooAEtIHAAAUAD+TwEAUgFQAAwADABDAG8AbQBwAGEAbgB5ACAATgBhAG0AZQAAABEAFAAG JAESZNT+AAAkZAYBAAUAEwA7CIFAiPb/Q0ogAE9KBABRSgQAAEoA/k8BAzIBSgAMAAsAVABpAHQA bABlACAAQwBvAHYAZQByAAAAFgAVABJk1P4AABOkAAAUpAAAJmQGAQAWCwA7CIFAiPb/Q0ogAAAo AFhA8v9hASgADAAIAEUAbQBwAGgAYQBzAGkAcwAAAAcANQiBQIj2/wBKAP5PoQFyAUoADAAOAFIA ZQB0AHUAcgBuACAAQQBkAGQAcgBlAHMAcwAAAAsAFwASZKAAAABhJAEAEABAiAAAQ0oPAE9KAgBR SgIAVgD+DwEAMgBWAAwABgBJAGMAbwBuACAAMgAAAB8AGAASZAj9AAATpHgAFKR4AC1EADBdhBgG XoQYBmEkAQAYADUIgUIqCENKWABPSgYAUUoGAHBo////ADAALwDxAJIBMAAMAAQATABpAHMAdAAA ABYAGQANxgUAAdACABSkUABehNACYISY/gAAKgD+T/EAogEqAAwABwBBAGQAZAByAGUAcwBzAAAA CQAaAAUkARSkAAAAAAA4AEMA8QCyATgADAAQAEIAbwBkAHkAIABUAGUAeAB0ACAASQBuAGQAZQBu AHQAAAAGABsAYITwAAAATgD+D/EAwgFOAAwADgBCAG8AZAB5ACAAVABlAHgAdAAgAEsAZQBlAHAA AAAPABwABiQBEmTwAAEAFKSgAAAQAECIAABDShQAT0oAAFFKAABGACIAEQHyAEYADAAHAEMAYQBw AHQAaQBvAG4AAAAMAB0AEmTIAAAAFKTwABkANQiBNgiBQIgFAEIqAENKFABPSgQAUUoEAAA2ACdA 8v/hATYADAARAEMAbwBtAG0AZQBuAHQAIABSAGUAZgBlAHIAZQBuAGMAZQAAAAQAQ0oQAEoAHgAB APIBSgAMAAwAQwBvAG0AbQBlAG4AdAAgAFQAZQB4AHQAAAAUAB8ADcYFAAG7AAASZPAAAAAUpPAA DABDShIAT0oEAFFKBAA6AEwA8QACAjoADAAEAEQAYQB0AGUAAAAPACAAEmTwAAEAFKSgAGEkAQAQ AECIAABDShQAT0oAAFFKAAB8AP4PAQASAHwADAAOAEQAbwBjAHUAbQBlAG4AdAAgAEwAYQBiAGUA bAAAADcAIQAGJAESZOABAAATpPAAFKTwACRkEgEIASVkEgEIASZkEgEIASdkEgEIAS1EAFhdhDwA XoQ8AAAVAECI5/9CKgFDSjgAS0gcAHBoAAAAAAA2ACpA8v8BADYADAARAEUAbgBkAG4AbwB0AGUA IABSAGUAZgBlAHIAZQBuAGMAZQAAAAMASCoBAFQA/g8BADICVAAMAA0ARgBvAG8AdABuAG8AdABl ACAAQgBhAHMAZQAAABwAIwANxgUAAbsAABJkJP8AABSk8ABehLsAYIRF/wwAQ0oSAE9KBABRSgQA OAArADECQgI4AAwADABFAG4AZABuAG8AdABlACAAVABlAHgAdAAAAAYAJAAUpHgACABPSgAAUUoA AFYA/g8BAFICVgAMAAsASABlAGEAZABlAHIAIABCAGEAcwBlAAAAHQAlAAUkAQ3GCAACIBxAOMHC EmTwAAAAFKTwAGEkAQAQAECIUABDShYAT0oEAFFKBAAgACAAUQJiAiAADAAGAEYAbwBvAHQAZQBy AAAAAgAmAAAAQAD+D2ECcgJAAAwACwBGAG8AbwB0AGUAcgAgAEUAdgBlAG4AAAAMACcAEmTwAAEA FKQAAAwAQ0oUAE9KAABRSgAASgD+D2ECggJKAAwADABGAG8AbwB0AGUAcgAgAEYAaQByAHMAdAAA ABMAKAANxgQBQDgAEmTwAAEAFKQAAAAMAENKFABPSgAAUUoAAEoA/g9hApICSgAMAAoARgBvAG8A dABlAHIAIABPAGQAZAAAABcAKQANxgUAAQAAwhJk8AABABSkAABhJAIADABDShQAT0oAAFFKAAA4 ACZA8v8BADgADAASAEYAbwBvAHQAbgBvAHQAZQAgAFIAZQBmAGUAcgBlAG4AYwBlAAAAAwBIKgEA MgAdADECsgIyAAwADQBGAG8AbwB0AG4AbwB0AGUAIABUAGUAeAB0AAAABgArABSkeAAAACAAHwBR AsICIAAMAAYASABlAGEAZABlAHIAAAACACwAAABAAP4PwQLSAkAADAALAEgAZQBhAGQAZQByACAA RQB2AGUAbgAAAAwALQASZPAAAQAUpAAADABDShQAT0oAAFFKAABKAP4PwQLiAkoADAAMAEgAZQBh AGQAZQByACAARgBpAHIAcwB0AAAAEwAuAA3GBAFAOAASZPAAAQAUpAAAAAwAQ0oUAE9KAABRSgAA SgD+D8EC8gJKAAwACgBIAGUAYQBkAGUAcgAgAE8AZABkAAAAFwAvAA3GBQABAADCEmTwAAEAFKQA AGEkAgAMAENKFABPSgAAUUoAAFAA/k8BAPIAUAAMAAwASABlAGEAZABpAG4AZwAgAEIAYQBzAGUA AAAWADAABSQBBiQBEmTwAAAAE6R4ABSkeAAQAENKEgBLSBwAT0oEAFFKBAAgAP4PEQESAyAADAAG AEkAYwBvAG4AIAAxAAAAAgAxAAAAOAD+T/L/IQM4AAwAEABMAGUAYQBkAC0AaQBuACAARQBtAHAA aABhAHMAaQBzAAAABwA7CIFDShQAAC4AMgCRATIDLgAMAAYATABpAHMAdAAgADIAAAAQADMADcYH AdACATgEAF6EOAQAAC4AMwCRAUIDLgAMAAYATABpAHMAdAAgADMAAAAQADQADcYHAdACAaAFAF6E oAUAAC4ANACRAVIDLgAMAAYATABpAHMAdAAgADQAAAAQADUADcYHAdACAQgHAF6ECAcAAC4ANQCR AWIDLgAMAAYATABpAHMAdAAgADUAAAAQADYADcYHAdACAXAIAF6EcAgAAKAARACRAXIDoAAMAA0A TABpAHMAdAAgAEMAbwBuAHQAaQBuAHUAZQAAAHMANwAKJgsLRv8HDcYEAdACABSk8AA+xlT/AAAA AAD//wAAAQBoAQAAAAAAAC4AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAABehAAAYIQAAAAAADYARQBxA4IDNgAMAA8ATABpAHMAdAAg AEMAbwBuAHQAaQBuAHUAZQAgADIAAAAGADgAXoRoAQAANgBGAHEDkgM2AAwADwBMAGkAcwB0ACAA QwBvAG4AdABpAG4AdQBlACAAMwAAAAYAOQBehNACAAA2AEcAcQOiAzYADAAPAEwAaQBzAHQAIABD AG8AbgB0AGkAbgB1AGUAIAA0AAAABgA6AF6EOAQAADYASABxA7IDNgAMAA8ATABpAHMAdAAgAEMA bwBuAHQAaQBuAHUAZQAgADUAAAAGADsAXoSgBQAANAD+D5EBkgE0AAwACgBMAGkAcwB0ACAARgBp AHIAcwB0AAAADgA8ABSk8ABehGgBYIQAAAAAMgD+D5EB8gAyAAwACQBMAGkAcwB0ACAATABhAHMA dAAAAA4APQAUpPAAXoRoAWCEAAAAADIAOgAhAeIDMgAMAA0ATABpAHMAdAAgAE4AdQBtAGIAZQBy ACAAMgAAAAYAPgBehGgBAAAyADsAIQHyAzIADAANAEwAaQBzAHQAIABOAHUAbQBiAGUAcgAgADMA AAAGAD8AXoTQAgAAMgA8ACEBAgQyAAwADQBMAGkAcwB0ACAATgB1AG0AYgBlAHIAIAA0AAAABgBA AF6EOAQAADIAPQAhARIEMgAMAA0ATABpAHMAdAAgAE4AdQBtAGIAZQByACAANQAAAAYAQQBehKAF AAA2AP4PIQEiATYADAARAEwAaQBzAHQAIABOAHUAbQBiAGUAcgAgAEYAaQByAHMAdAAAAAIAQgAA ADQA/g8hAfIANAAMABAATABpAHMAdAAgAE4AdQBtAGIAZQByACAATABhAHMAdAAAAAIAQwAAADQA LQDxAEIENAAMAAoATQBhAGMAcgBvACAAVABlAHgAdAAAAAYARAAUpHgACABPSggAUUoIACoAKUDy /wEAKgAMAAsAUABhAGcAZQAgAE4AdQBtAGIAZQByAAAAAwA1CIEAGAD+D3EBYgQYAAwAAgBzAHMA AAACAEYAAABMAP4P8QDyAEwADAAMAFMAdQBiAGoAZQBjAHQAIABMAGkAbgBlAAAADABHABJk8AAB ABSkoAAWADYIgT4qAUCIAABDShQAT0oAAFFKAAAqAP5P8v+BBCoADAALAFMAdQBwAGUAcgBzAGMA cgBpAHAAdAAAAAMASCoBAC4AVUCiAJEELgAMAAkASAB5AHAAZQByAGwAaQBuAGsAAAAMAD4qAUIq AnBoAAD/AAAAAAAAAgAA6BsAAAcAADAAAAAA/////wcAPDAAAAAA/////wMAAAAEI///AQDwmHYA AAAAAAAi//8CAPCYdgAAAAAABAL//wMA8Jh2AAAAAAAAAAAAFwAAACoAAACkAQAApgEAAP0BAAAA AgAAxgYAAHsKAAD+DgAArBQAAB8aAADoGwAAAAAAAAACAAAAAAECAAABAAICAQAAAAACAQAAAAEC AQAAAAICAQAAAAACAQAAAAECAQA9AAICAgAAAAACAgAAAAECAgAAAAICAAAAAAEAAAACAAAAAwAA AAQAAAAFAAAABgAAAAcAAAAIAAAACQAAAAoAAAALAAAADAAAAA0AAAAOAAAADwAAABAAAAARAAAA EgAAABMAAAAUAAAAFQAAABYAAAAXAAAAGAAAABkAAAAaAAAAGwAAABwAAAAdAAAAHgAAAB8AAAAg AAAAIQAAACIAAAAjAAAAJAAAACUAAAAmAAAAJwAAACgAAAApAAAAKgAAAEwAAABtAAAAgAAAAIEA AACeAQAAnwEAAKABAAChAQAAogEAAKMBAACkAQAApQEAAKYBAACnAQAAtAEAAOEBAAD8AQAA/QEA AP4BAAD/AQAAAAIAAB8CAAAAAwAAhQMAAGcEAAANBQAADAcAAOIHAAD7BwAA/AcAALQIAADsCAAA NgkAAGwJAAAJCgAAewoAAOwKAABtCwAAAgwAAP4OAAA7DwAAPA8AACIQAACyEAAAOhIAAE0SAABk EgAAZRIAAAwTAACsFAAAuRUAALoVAABgFgAAYRYAAHsWAADjFgAA2BcAAPAYAABXGQAAdBkAAHUZ AAAfGgAAoRoAAEUbAADpGwAAGAAAAAIwAAAAAAAAAIAAAACAmAAAAAAwAAAAAAAAAIAAAACAmEAA AAAwAAAAAAAAAIAAAAAAmEAAAAAwAAAAAAAAAIAAAAAAmEAAAAAwAAAAAAAAAIAAAAAAmEAAAAAw AAAAAAAAAIAAAAAAmEAAAAAwAAAAAAAAAIAAAAAAmEAAAAAwAAAAAAAAAIAAAAAAmEAAAAAwAAAA AAAAAIAAAAAAmEAAAAAwAAAAAAAAAIAAAAAAmEAAAAAwAAAAAAAAAIAAAAAAmEAAAAAwAAAAAAAA AIAAAAAAmEAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAACAmAAAAAAwAAAAAAAAAIAA AACAmAAAAAAwAAAAAAAAAIAAAACAmAAAAAAwAAAAAAAAAIAAAACAmAAAAAAwAAAAAAAAAIAAAACA mAAAAAAwAAAAAAAAAIAAAACAmAAAAAAwAAAAAAAAAIAAAACAmAAAAAAwAAAAAAAAAIAAAACAmAAA AAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAw AAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAA AAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAA AIAAAAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAA AAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAAAAmAAAAAAwAAAAAAAAAIAAAACA mAAAAAAwAAAAAAAAAIAAAACAmAAAAAAwAAAAAAAAAIAAAACAmAAAAAAwAAAAAAAAAIAAAACAmEAA AAAwAAAAAAAAAIAAAAAAmEAAAAAwAAAAAAAAAIAAAAAAmAAAABQwAAAAAAAAAIAAAAAAmAAAABUw AAAAAAAAAIAAAAAAmAAAABUwAAAAAAAAAIAAAAAAmAAAABEwAAAAAAAAAIAAAACAmAAAAAAwAAAA AAAAAIAAAACAmEAAAAAwAAAAAAAAAIAAAACAmAAAABEwAAAAAAAAAIAAAACAmAAAABEwAAAAAAAA AIAAAACAmAAAABEwAAAAAAAAAIAAAACAmAAAABEwAAAAAAAAAIAAAACAmAAAABEwAAAAAAAAAIAA AACAmAAAABEwAAAAAAAAAIAAAACAmAAAABEwAAAAAAAAAIAAAACAmAAAABEwAAAAAAAAAIAAAACA OAAAAAQwAAAAAAAAAIAAAAAAOEAAAAQwAAAAAAAAAIAAAAAAmAAAAA8wAAAAAAAAAIAAAACAmAAA AAAwAAAAAAAAAIDGAAAAmAAAAAAwAAAAAAAAAIAAAACAmAAAAAAwAAAAAAAAAIDGAAAAmAAAYAAw AAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAA AAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAA AIAAAACAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDG AAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAANIA8wAAAAAAAAAIDGAAAA mAANIA8wAQAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAMIA8wAAAAAAAAAIDGAAAAmAAM IA8wAQAAAAAAAIDGAAAAmAAMIA8wAgAAAAAAAIDGAAAAmAAMIA8wAAAAAAAAAIAAAACAmAAAAA8w AAAAAAAAAIAAAACAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAA AAAAAIAAAACAmAAAAA8wAAAAAAAAAIAAAACAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAA AIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDG AAAAmAAAAA8wAAAAAAAAAIAAAACAmAAAAA8wAAAAAAAAAIAAAACAmAAAAA8wAAAAAAAAAIDGAAAA mAAAAA8wAAAAAAAAAIDGAAAAmEAAAA8wAAAAAAAAAIDGAAAAmEAAAA8wAAAAAAAAAIDGAAAAmAAA AA8wAAAAAAAAAIDGAAAAmEAAAA8wAAAAAAAAAIDGAAAAmEAAAA8wAAAAAAAAAIDGAAAAmEAAAA8w AAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAA AAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAAAIDGAAAAmAAAAA8wAAAAAAAA AIAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMAAAAABAAA6B8AABEAAAAABAAAHQQAAKcFAAD8CwAA DBcAAOgfAAASAAAAFAAAABUAAAAWAAAAFwAAAAAEAADnHwAAEwAAAMkOAADtDgAA+w4AAOgbAAAT WBT/FYAAAAAA6AEAAPABAADmGwAA6RsAAAcAHAAHAAcAAAAAAAIBAAARAQAALQYAADwGAAC9DgAA yA4AAIMPAACMDwAAAhQAAAoUAABeGQAAZxkAAOYbAADpGwAABwA6AAcAOgAHADoABwA6AAcAOgAH ADoABwAHAAAAAAABAAAAAQAAAA0AAAAUAAAAJAAAACcAAACAAAAApgEAAOEBAADhAQAA6AEAAPAB AADxAQAA+wEAAP0BAAD9AQAAAAIAAAACAAASAgAAEwIAADYGAABOBgAAlAsAAJcLAAAgDgAA/Q4A ADwPAACDDwAAhw8AAJgPAAB+EAAAfhAAAKIQAACiEAAAExQAABQUAADdFAAA5BQAAF8WAABfFgAA exYAAHsWAADlGwAA6RsAAAMABAADAAQAAwAEAAMABAADAAQAAwAEAAMABAADAAQAAwAEAAMABAAD AAQAAwAEAAMABAADAAQAAwAEAAMABAADAAQAAwAEAAMABAADAAQAAwAEAAMABwD//xQAAAAMAEoA aQBsAGwAIABHAGkAbABiAGUAcgB0AEIAQwA6AFwARABvAGMAdQBtAGUAbgB0AHMAIABhAG4AZAAg AFMAZQB0AHQAaQBuAGcAcwBcAEoAaQBsAGwARwBpAGwAYgBlAHIAdABcAEQAZQBzAGsAdABvAHAA XABQAEEAVABSAFMAUgBDAEgAYgByAG8AYwBoAHUAcgBlAC4AZABvAGMADABKAGkAbABsACAARwBp AGwAYgBlAHIAdABvAEMAOgBcAEQAbwBjAHUAbQBlAG4AdABzACAAYQBuAGQAIABTAGUAdAB0AGkA bgBnAHMAXABKAGkAbABsAEcAaQBsAGIAZQByAHQAXABBAHAAcABsAGkAYwBhAHQAaQBvAG4AIABE AGEAdABhAFwATQBpAGMAcgBvAHMAbwBmAHQAXABXAG8AcgBkAFwAQQB1AHQAbwBSAGUAYwBvAHYA ZQByAHkAIABzAGEAdgBlACAAbwBmACAAUABBAFQAUgBTAFIAQwBIAGIAcgBvAGMAaAB1AHIAZQAu AGEAcwBkAAwASgBpAGwAbAAgAEcAaQBsAGIAZQByAHQAQgBDADoAXABEAG8AYwB1AG0AZQBuAHQA cwAgAGEAbgBkACAAUwBlAHQAdABpAG4AZwBzAFwASgBpAGwAbABHAGkAbABiAGUAcgB0AFwARABl AHMAawB0AG8AcABcAFAAQQBUAFIAUwBSAEMASABiAHIAbwBjAGgAdQByAGUALgBkAG8AYwAMAEoA aQBsAGwAIABHAGkAbABiAGUAcgB0AG8AQwA6AFwARABvAGMAdQBtAGUAbgB0AHMAIABhAG4AZAAg AFMAZQB0AHQAaQBuAGcAcwBcAEoAaQBsAGwARwBpAGwAYgBlAHIAdABcAEEAcABwAGwAaQBjAGEA dABpAG8AbgAgAEQAYQB0AGEAXABNAGkAYwByAG8AcwBvAGYAdABcAFcAbwByAGQAXABBAHUAdABv AFIAZQBjAG8AdgBlAHIAeQAgAHMAYQB2AGUAIABvAGYAIABQAEEAVABSAFMAUgBDAEgAYgByAG8A YwBoAHUAcgBlAC4AYQBzAGQADABKAGkAbABsACAARwBpAGwAYgBlAHIAdABCAEMAOgBcAEQAbwBj AHUAbQBlAG4AdABzACAAYQBuAGQAIABTAGUAdAB0AGkAbgBnAHMAXABKAGkAbABsAEcAaQBsAGIA ZQByAHQAXABEAGUAcwBrAHQAbwBwAFwAUABBAFQAUgBTAFIAQwBIAGIAcgBvAGMAaAB1AHIAZQAu AGQAbwBjAAwASgBpAGwAbAAgAEcAaQBsAGIAZQByAHQAQgBDADoAXABEAG8AYwB1AG0AZQBuAHQA cwAgAGEAbgBkACAAUwBlAHQAdABpAG4AZwBzAFwASgBpAGwAbABHAGkAbABiAGUAcgB0AFwARABl AHMAawB0AG8AcABcAFAAQQBUAFIAUwBSAEMASABiAHIAbwBjAGgAdQByAGUALgBkAG8AYwAMAEoA aQBsAGwAIABHAGkAbABiAGUAcgB0AG8AQwA6AFwARABvAGMAdQBtAGUAbgB0AHMAIABhAG4AZAAg AFMAZQB0AHQAaQBuAGcAcwBcAEoAaQBsAGwARwBpAGwAYgBlAHIAdABcAEEAcABwAGwAaQBjAGEA dABpAG8AbgAgAEQAYQB0AGEAXABNAGkAYwByAG8AcwBvAGYAdABcAFcAbwByAGQAXABBAHUAdABv AFIAZQBjAG8AdgBlAHIAeQAgAHMAYQB2AGUAIABvAGYAIABQAEEAVABSAFMAUgBDAEgAYgByAG8A YwBoAHUAcgBlAC4AYQBzAGQADABKAGkAbABsACAARwBpAGwAYgBlAHIAdABvAEMAOgBcAEQAbwBj AHUAbQBlAG4AdABzACAAYQBuAGQAIABTAGUAdAB0AGkAbgBnAHMAXABKAGkAbABsAEcAaQBsAGIA ZQByAHQAXABBAHAAcABsAGkAYwBhAHQAaQBvAG4AIABEAGEAdABhAFwATQBpAGMAcgBvAHMAbwBm AHQAXABXAG8AcgBkAFwAQQB1AHQAbwBSAGUAYwBvAHYAZQByAHkAIABzAGEAdgBlACAAbwBmACAA UABBAFQAUgBTAFIAQwBIAGIAcgBvAGMAaAB1AHIAZQAuAGEAcwBkAAUAIABqAGkAbABsADQAQwA6 AFwARABvAGMAdQBtAGUAbgB0AHMAIABhAG4AZAAgAFMAZQB0AHQAaQBuAGcAcwBcAE8AdwBuAGUA cgBcAEQAZQBzAGsAdABvAHAAXABiAHIAbwBjAGgAdQByAGUALgBkAG8AYwAFACAAagBpAGwAbAAP AEEAOgBcAGIAcgBvAGMAaAB1AHIAZQAuAGQAbwBjAA0AfP///6QTlBr/D/8P/w//D/8P/w//D/8P /w8BAH3///9IHSZj/w//D/8P/w//D/8P/w//D/8PAQB+////KNas+f8P/w//D/8P/w//D/8P/w// DwEAf////3p1Fr3/D/8P/w//D/8P/w//D/8P/w8BAIj///9KSPj5/w//D/8P/w//D/8P/w//D/8P AQBRJy0YXLAkC/8P/w//D/8P/w//D/8P/w//DxAAe2eKGXwI9FP/D/8P/w//D/8P/w//D/8P/w8Q AIZ0rUCo+uz1/w//D/8P/w//D/8P/w//D/8PEAAfLe9BZuDKd/8P/w//D/8P/w//D/8P/w//DxAA 8A+mShwv5Af/DwAAAAAAAAAAAAAAAAAAAAABAKc0omkcQ2Bc/w//D/8P/w//D/8P/w//D/8PAQBS KKNyHC/kB/8PAAAAAAAAAAAAAAAAAAAAAAEAzjsZdBxDYFz/D/8P/w//D/8P/w//D/8P/w8BAAEA AAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAYAAAPhAgHEYSY/hXGBQABCAcGXoQIB2CEmP4CAAAALgAB AAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAGAAAD4SgBRGEmP4VxgUAAaAFBl6EoAVghJj+AgAAAC4A AQAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAABgAAA+EOAQRhJj+FcYFAAE4BAZehDgEYISY/gIAAAAu AAEAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAYAAAPhNACEYSY/hXGBQAB0AIGXoTQAmCEmP4CAAAA LgABAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAGAAAD4RoARGEmP4VxgUAAWgBBl6EaAFghJj+AgAA AC4AAQAAABcQAAAAAAAAAAAAAGgBAAAAAAAADxgAAA+ErQERhJj+FcYFAAGtAQZehK0BYISY/kNK EABPSgYAUUoGAG8oAAEAcfABAAAAF5AAAAAAAAAAAAAAaAEAAAAAAAALGAAAD4R9BBGEmP4VxgUA AX0EBl6EfQRghJj+T0oIAFFKCABvKAABAG8AAQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+E TQcRhJj+FcYFAAFNBwZehE0HYISY/k9KBgBRSgYAbygAAQCn8AEAAAAXkAAAAAAAAAAAAABoAQAA AAAAAAsYAAAPhB0KEYSY/hXGBQABHQoGXoQdCmCEmP5PSgEAUUoBAG8oAAEAt/ABAAAAF5AAAAAA AAAAAAAAaAEAAAAAAAALGAAAD4TtDBGEmP4VxgUAAe0MBl6E7QxghJj+T0oIAFFKCABvKAABAG8A AQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+EvQ8RhJj+FcYFAAG9DwZehL0PYISY/k9KBgBR SgYAbygAAQCn8AEAAAAXkAAAAAAAAAAAAABoAQAAAAAAAAsYAAAPhI0SEYSY/hXGBQABjRIGXoSN EmCEmP5PSgEAUUoBAG8oAAEAt/ABAAAAF5AAAAAAAAAAAAAAaAEAAAAAAAALGAAAD4RdFRGEmP4V xgUAAV0VBl6EXRVghJj+T0oIAFFKCABvKAABAG8AAQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgA AA+ELRgRhJj+FcYFAAEtGAZehC0YYISY/k9KBgBRSgYAbygAAQCn8AEAAAAXEAAAAAAAAAAAAABo AQAAAAAAAA8YAAAPhNACEYSY/hXGBQAB0AIGXoTQAmCEmP5DShAAT0oGAFFKBgBvKAABAHHwAQAA ABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+EoAURhJj+FcYFAAGgBQZehKAFYISY/k9KCABRSggA bygAAQBvAAEAAAAXkAAAAAAAAAAAAABoAQAAAAAAAAsYAAAPhHAIEYSY/hXGBQABcAgGXoRwCGCE mP5PSgYAUUoGAG8oAAEAp/ABAAAAF5AAAAAAAAAAAAAAaAEAAAAAAAALGAAAD4RACxGEmP4VxgUA AUALBl6EQAtghJj+T0oBAFFKAQBvKAABALfwAQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+E EA4RhJj+FcYFAAEQDgZehBAOYISY/k9KCABRSggAbygAAQBvAAEAAAAXkAAAAAAAAAAAAABoAQAA AAAAAAsYAAAPhOAQEYSY/hXGBQAB4BAGXoTgEGCEmP5PSgYAUUoGAG8oAAEAp/ABAAAAF5AAAAAA AAAAAAAAaAEAAAAAAAALGAAAD4SwExGEmP4VxgUAAbATBl6EsBNghJj+T0oBAFFKAQBvKAABALfw AQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+EgBYRhJj+FcYFAAGAFgZehIAWYISY/k9KCABR SggAbygAAQBvAAEAAAAXkAAAAAAAAAAAAABoAQAAAAAAAAsYAAAPhFAZEYSY/hXGBQABUBkGXoRQ GWCEmP5PSgYAUUoGAG8oAAEAp/ABAAAAFxAAAAAAAAAAAAAAaAEAAAAAAAAPGAAAD4QVAxGEmP4V xgUAARUDBl6EFQNghJj+Q0oQAE9KBgBRSgYAbygAAQBx8AEAAAAXkAAAAAAAAAAAAABoAQAAAAAA AAsYAAAPhOUFEYSY/hXGBQAB5QUGXoTlBWCEmP5PSggAUUoIAG8oAAEAbwABAAAAF5AAAAAAAAAA AAAAaAEAAAAAAAALGAAAD4S1CBGEmP4VxgUAAbUIBl6EtQhghJj+T0oGAFFKBgBvKAABAKfwAQAA ABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+EhQsRhJj+FcYFAAGFCwZehIULYISY/k9KAQBRSgEA bygAAQC38AEAAAAXkAAAAAAAAAAAAABoAQAAAAAAAAsYAAAPhFUOEYSY/hXGBQABVQ4GXoRVDmCE mP5PSggAUUoIAG8oAAEAbwABAAAAF5AAAAAAAAAAAAAAaAEAAAAAAAALGAAAD4QlERGEmP4VxgUA ASURBl6EJRFghJj+T0oGAFFKBgBvKAABAKfwAQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+E 9RMRhJj+FcYFAAH1EwZehPUTYISY/k9KAQBRSgEAbygAAQC38AEAAAAXkAAAAAAAAAAAAABoAQAA AAAAAAsYAAAPhMUWEYSY/hXGBQABxRYGXoTFFmCEmP5PSggAUUoIAG8oAAEAbwABAAAAF5AAAAAA AAAAAAAAaAEAAAAAAAALGAAAD4SVGRGEmP4VxgUAAZUZBl6ElRlghJj+T0oGAFFKBgBvKAABAKfw AQAAABcQAAAAAAAAAAAAAGgBAAAAAAAADxgAAA+EfQQRhJj+FcYFAAF9BAZehH0EYISY/kNKEABP SgYAUUoGAG8oAAEAcfABAAAAF5AAAAAAAAAAAAAAaAEAAAAAAAALGAAAD4RNBxGEmP4VxgUAAU0H Bl6ETQdghJj+T0oIAFFKCABvKAABAG8AAQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+EHQoR hJj+FcYFAAEdCgZehB0KYISY/k9KBgBRSgYAbygAAQCn8AEAAAAXkAAAAAAAAAAAAABoAQAAAAAA AAsYAAAPhO0MEYSY/hXGBQAB7QwGXoTtDGCEmP5PSgEAUUoBAG8oAAEAt/ABAAAAF5AAAAAAAAAA AAAAaAEAAAAAAAALGAAAD4S9DxGEmP4VxgUAAb0PBl6EvQ9ghJj+T0oIAFFKCABvKAABAG8AAQAA ABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+EjRIRhJj+FcYFAAGNEgZehI0SYISY/k9KBgBRSgYA bygAAQCn8AEAAAAXkAAAAAAAAAAAAABoAQAAAAAAAAsYAAAPhF0VEYSY/hXGBQABXRUGXoRdFWCE mP5PSgEAUUoBAG8oAAEAt/ABAAAAF5AAAAAAAAAAAAAAaAEAAAAAAAALGAAAD4QtGBGEmP4VxgUA AS0YBl6ELRhghJj+T0oIAFFKCABvKAABAG8AAQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+E /RoRhJj+FcYFAAH9GgZehP0aYISY/k9KBgBRSgYAbygAAQCn8AEAAAAAQAEAAAAAAAAAAAAAAAAA 8AAAABIAAAA1CAE2CABDShgAT0oEAFFKBAACAAAALgABAAAAAEABAAAAAAAAAAAAAAAAAPAAAAAV AAAANQgBNggAQ0oYAE9KCQBRSgkAbygAAgAAAC4AAQAAAABAAQAAAAAAAAAAAAAAAADwAAAAEgAA ADUIATYIAENKGABPSgQAUUoEAAIAAAAuAAEAAAAAQAEAAAAAAAAAAAAAAAAA8AAAABUAAAA1CAE2 CABDShgAT0oJAFFKCQBvKAACAAAALgANAAAAiP///wAAAAAAAAAAAAAAAFIoo3IAAAAAAAAAAAAA AADwD6ZKAAAAAAAAAAAAAAAAf////wAAAAAAAAAAAAAAAH7///8AAAAAAAAAAAAAAAB9////AAAA AAAAAAAAAAAAfP///wAAAAAAAAAAAAAAAKc0omkAAAAAAAAAAAAAAADOOxl0AAAAAAAAAAAAAAAA hnStQAAAAAAAAAAAAAAAAB8t70EAAAAAAAAAAAAAAABRJy0YAAAAAAAAAAAAAAAAe2eKGQAAAAAA AAAAAAAAAP////////////////////////////////////////////////////////////////// /////w0AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP//DQAAAAAAAAAAAAAAAAASAAcACQQD AAkEBQAJBAEACQQDAAkEBQAJBAEACQQDAAkEBQAJBBIABwAJBAMACQQFAAkEAQAJBAMACQQFAAkE AQAJBAMACQQFAAkEEgAHAAkEAwAJBAUACQQBAAkEAwAJBAUACQQBAAkEAwAJBAUACQQSAAcACQQD AAkEBQAJBAEACQQDAAkEBQAJBAEACQQDAAkEBQAJBAAAAAAAAAAA/0ADgAEAAAAAAAAAAACMJMID AQAAAAAAAAAAAAAAAAAAAAAAAAACEAAAAAAAAADoGwAAcAAACABAAAD//wEAAAAHAFUAbgBrAG4A bwB3AG4A//8BAAgAAAAAAAAAAAAAAP//AQAAAAAA//8AAAIA//8AAAAA//8AAAIA//8AAAAACgAA AEcWkAEAAAICBgMFBAUCAwSHegAgAAAAgAgAAAAAAAAA/wEAAAAAAABUAGkAbQBlAHMAIABOAGUA dwAgAFIAbwBtAGEAbgAAADUWkAECAAUFAQIBBwYCBQcAAAAAAAAAEAAAAAAAAAAAAAAAgAAAAABT AHkAbQBiAG8AbAAAADMmkAEAAAILBgQCAgICAgSHegAgAAAAgAgAAAAAAAAA/wEAAAAAAABBAHIA aQBhAGwAAABVJpABAAACCwYDAgECAgIEhwIAAAAAAAAAAAAAAAAAAJ8AAAAAAAAARgByAGEAbgBr AGwAaQBuACAARwBvAHQAaABpAGMAIABNAGUAZABpAHUAbQAAADkWkAEAAAICBAQDAwEBCAOHAgAA AAAAAAAAAAAAAAAAnwAAAAAAAABHAGEAcgBhAG0AbwBuAGQAAAA/JpABAAACCwoEAgECAgIEhwIA AAAAAAAAAAAAAAAAAJ8AAAAAAAAAQQByAGkAYQBsACAAQgBsAGEAYwBrAAAAOwaQAQIABQAAAAAA AAAAAAAAAAAAAAAQAAAAAAAAAAAAAACAAAAAAFcAaQBuAGcAZABpAG4AZwBzAAAANSKQAQAAAAAA AAAAAAAAAAMAAAAAAAAAAAAAAAAAAAABAAAAAAAAAEcAZQBuAGUAdgBhAAAAPzWQAQAAAAAAAAAA /////4d6ACAAAACACAAAAAAAAAD/AQAAAAAAAEMAbwB1AHIAaQBlAHIAIABOAGUAdwAAADcxkAEA AAAAAAAAAAAAAAADAAAAAAAAAAAAAAAAAAAAAQAAAAAAAABDAG8AdQByAGkAZQByAAAAIgAEAHEI iDgA8NACAABoAQAAAADmC4IG5guCBkP0fEYCAAEAAAAUBAAAQhcAAAMACwAAAAQAAxAxAAAANgIA AJwMAAADAAYAAAAaAAAAAAAAAMEiAPAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANAC8QEa AEcAgYIyMAAAEQAZAGQAAAAZAAAAjxwAANIOAAAAAAAAWSQEgQAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAQQIAAAAABDKDUQDwEADfAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP//EgAAAAAAPQBDADoAXABQAHIAbwBnAHIAYQBtACAA RgBpAGwAZQBzAFwATQBpAGMAcgBvAHMAbwBmAHQAIABPAGYAZgBpAGMAZQBcAFQAZQBtAHAAbABh AHQAZQBzAFwAMQAwADMAMwBcAEIAcgBvAGMAaAB1AHIAZQAuAGQAbwB0AAgAQgByAG8AYwBoAHUA cgBlAAAAAAAAAAwASgBpAGwAbAAgAEcAaQBsAGIAZQByAHQABQAgAGoAaQBsAGwAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD+/wAABQEC AAAAAAAAAAAAAAAAAAAAAAABAAAA4IWf8vlPaBCrkQgAKyez2TAAAABQFwAAEgAAAAEAAACYAAAA AgAAAKAAAAADAAAAtAAAAAQAAADAAAAABQAAANgAAAAHAAAA5AAAAAgAAAD4AAAACQAAAAgBAAAS AAAAFAEAAAoAAAAwAQAACwAAADwBAAAMAAAASAEAAA0AAABUAQAADgAAAGABAAAPAAAAaAEAABAA AABwAQAAEwAAAHgBAAARAAAAgAEAAAIAAADkBAAAHgAAAAkAAABCcm9jaHVyZQAAIAAeAAAAAQAA AAByb2MeAAAADQAAAEppbGwgR2lsYmVydAAAbwAeAAAAAQAAAABpbGweAAAACQAAAEJyb2NodXJl AGVydB4AAAAGAAAAIGppbGwAcmUeAAAAAgAAADIAaWweAAAAEwAAAE1pY3Jvc29mdCBXb3JkIDku MAAAQAAAAABGwyMAAAAAQAAAAACqDRIpz8MBQAAAAAAs2akL6cMBQAAAAAAs2akL6cMBAwAAAAMA AAADAAAAFAQAAAMAAABCFwAAAwAAAAAAAABHAAAAyBUAAP////8DAAAACAAkbVZUsAYBAAkAAAPU CgAACwA+AAAAAAAUAAAAJgYPAB4A/////wQAFAAAAFdvcmQOAE1pY3Jvc29mdCBXb3JkBQAAAAsC AAAAAAUAAAAMAuwTyBkcAAAA+wIQAAcAAAAAALwCAAAAAAECAiJTeXN0ZW0AAAAACgAmAIoBAAAA AP////8A3BMAucHHdwQAAAAtAQAAHAAAAPsCi/8AAAAAAACQAQAAAAAEQAASR2FyYW1vbmQAAAAA OQYKSbfFx3fAxcd3IMDKdwAAMAAEAAAALQEBAAUAAAACAQEAAAAFAAAACQIAAAACDQAAADIKugAs AQEABAAAAAAAyBnsEyAwMgADAAAAHgAHAAAAFgTsE8gZAAAAAAcAAAD8AgAAAAAAAgAABAAAAC0B AgAJAAAAHQYhAPAABgBIBjwBIAEHAAAA/AIAAP///wAAAAQAAAAtAQMABAAAACcB//8cAAAA+wKk /wAAAAAAAJABAAAAAARAABJHYXJhbW9uZAAAAADQBgpVt8XHd8DFx3cgwMp3AAAwAAQAAAAtAQQA BQAAAAIBAQAAAA0AAAAyClsBLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCiYCLAEB AAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCvECLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIB AQAAAA0AAAAyCrwDLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCocELAEBAAQAAAAA AMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyClIFLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0A AAAyCh0GLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCukGLAEBAAQAAAAAAMgZ7BMg ACkABQAAAAIBAQAAAA0AAAAyCrQHLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCn8I LAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCkoJLAEBAAQAAAAAAMgZ7BMgACkABQAA AAIBAQAAAA0AAAAyChUKLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCuAKLAEBAAQA AAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCqsLLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAA AA0AAAAyCnYMLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCkINLAEBAAQAAAAAAMgZ 7BMgACkABQAAAAIBAQAAAA0AAAAyCg0OLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAy CtgOLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCqMPLAEBAAQAAAAAAMgZ7BMgACkA BQAAAAIBAQAAAA0AAAAyCm4QLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCjkRLAEB AAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCgQSLAEBAAQAAAAAAMgZ7BMgACkABQAAAAIB AQAAAA0AAAAyCs8AtAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCpoBtAkBAAQAAAAA AMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCmUCtAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0A AAAyCjADtAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCvwDtAkBAAQAAAAAAMgZ7BMg ACkABQAAAAIBAQAAAA0AAAAyCscEtAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCpIF tAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCl0GtAkBAAQAAAAAAMgZ7BMgACkABQAA AAIBAQAAAA0AAAAyCigHtAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCvMHtAkBAAQA AAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCr4ItAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAA AA0AAAAyCokJtAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyClUKtAkBAAQAAAAAAMgZ 7BMgACkABQAAAAIBAQAAAA0AAAAyCiALtAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAy CusLtAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCrYMtAkBAAQAAAAAAMgZ7BMgACkA BQAAAAIBAQAAAA0AAAAyCoENtAkBAAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyCkwOtAkB AAQAAAAAAMgZ7BMgACkABQAAAAIBAQAAAA0AAAAyChcPtAkBAAQAAAAAAMgZ7BMgACkAHAAAAPsC e/8AAAAAAAC8AgAAAAAEQAAiRnJhbmtsaW4gR290aGljIE1lZGl1bQB3IMDKdwAAMAAEAAAALQEF AAUAAAACAQEAAAAoAAAAMgrjAPoSEwAEAAAAAADIGewTV0FZUyBUTyBJTVBBQ1QgVEhFIARyAE0A RQBJAB4APQBTAB4AIABoAE0ATQBKAD0AHgA9AFIARAAeAAMAAAAeAAcAAAAWBOwTyBkAAAAABAAA AC0BAgAJAAAAHQYhAPAABgBIBs8AMBIEAAAALQEDAAQAAAAnAf//BQAAAAIBAQAAACAAAAAyCmEB ZhMOAAQAAAAAAMgZ7BNQQVRFTlQgUFJPQ0VTU00ATQA9AEQAUwA9AB4ATQBSAFMASgBEAEkASQAN AAAAMgphAUEXAQAEAAAAAADIGewTIABLAAQAAAAtAQUABQAAAAIBAQAAACkAAAAyCkIC1xIUAAQA AAAAAMgZ7BNJTkZPUk1BVElPTiBGT1IgVEhFICAAUwA+AFMAUgBoAEYAPQAgAFMAUwAeAD4AUwBS AB4APQBSAEQAHgAFAAAAAgEBAAAAHQAAADIKvwKmEwwABAAAAAAAyBnsE0FDQURFTUlDIEFOREoA SQBNAFQARABoACAASgAeAE0AUwBUAA0AAAAyCr8CAhcBAAQAAAAAAMgZ7BMgAEsAHAAAAPsCe/8A AAAAAACQAQAAAAAEQAASR2FyYW1vbmQAAAAAUAkKebfFx3fAxcd3IMDKdwAAMAAEAAAALQEGAAUA AAACAQEAAAAEAAAALQEFACYAAAAyCjwDvBISAAQAAAAAAMgZ7BNSRVNFQVJDSCBDT01NVU5JVFlS AEQASQBEAE0AUQBKAFIAHgBKAFMAaABoAEwAUwAgAEMARQAEAAAALQEGAA0AAAAyCkgD6xcBAAQA AAAAAMgZ7BMgXjgAAwAAAB4ABwAAABYE7BPIGQAAAAAEAAAALQECAAkAAAAdBiEA8AAGAEgGjAQw EgQAAAAtAQMABAAAACcB//8cAAAA+wLU/gAAAAAAALwCAAAAAgRAAAJXaW5nZGluZ3MAAABACgpQ t8XHd8DFx3cgwMp3AAAwAAQAAAAtAQcAHAAAAPsC1P4AAAAAAAC8AgAAAAAEQAASVGltZXMgTmV3 IFJvbWFuALfFx3fAxcd3IMDKdwAAMAAEAAAALQEIAAUAAAACAQEAAAAEAAAALQEHAAUAAAAJAv// /wINAAAAMgqRBDwSAQAEAAAAAADIGewTIDCiAAUAAAAJAgAAAAIcAAAA+wKL/wAAAAAAALwCAQAA AARAABJHYXJhbW9uZAAAAACgBgppt8XHd8DFx3cgwMp3AAAwAAQAAAAtAQkABQAAAAIBAQAAADoA AAAyCt4FPBIfAAQAAAAAAMgZ7BNDYXV0aW9uOiAgUHJpb3IgdG8gcHVyc2luZyBhbnkgMk8AOABB ACUAIQA9AEEAHgAdAB0ASAAoACEAPQAoAB0AJQA9AB0AQQBBACgAMQAhAEEAPwAdADgAQQA3AB0A BQAAAAIBAQAAAD4AAAAyCmEGPBIiAAQAAAAAAMgZ7BNvZiB0aGUgb3B0aW9ucyBpZGVudGlmaWVk IGluIHRoaXMgPQAjAB0AJQBBADcAHQA9AEEAJQAhAD0AQQAxAB0AIQBBADcAQQAlACEAIwAhADcA QQAdACEAQQAdACUAQQAhADEAHQAFAAAAAgEBAAAANwAAADIK5AY8Eh0ABAAAAAAAyBnsE3BhbXBo bGV0LCBjYXJlZnVsbHkgY2hlY2sgb3IgAEEAOABjAEEAQQAeADcAJQAeAB0ANwA4ACgANwAjAEEA HgAeADcAHQA3AEEANwA3AD4AHQA9ACgAHQAFAAAAAgEBAAAAOgAAADIKZwc8Eh8ABAAAAAAAyBns E2NvbnN1bHQgd2l0aCBhbiBhdHRvcm5leSBhcyB0byAyNwA9AEEAMQBBAB4AJQAdAFMAIQAlAEEA HQA4AEEAHQA4ACUAJQA9ACgAQQA3ADcAHQA4ADEAHQAlAD0AHQAFAAAAAgEBAAAAPQAAADIK6wc8 EiEABAAAAAAAyBnsE3RoZSBwcm92aXNpb25zICBhbnkgY29udHJhY3RzIG9yICAlAEEANwAdAEEA KAA9ADYAIQAxACEAPQBBADEAHQAdADgAQQA3AB0ANwA9AEEAJQAoADgANwAlADEAHQA9ACgAHQAF AAAAAgEBAAAAOwAAADIKbgg8EiAABAAAAAAAyBnsE2FncmVlbWVudHMgdGhhdCBtYXkgYmUgaW4g Zm9yY2UgOAA/ACgANwA3AGMANwBBACUAMQAdACUAQQA4ACUAHABjADgANwAcAEEANwAcACEAQQAc ACMAPQAoADcANwAdAAUAAAACAQEAAAA4AAAAMgrxCDwSHgAEAAAAAADIGewTYmV0d2VlbiAgeW91 LCB0aGUgaW5zdGl0dXRpb24gQQA3ACUAUwA3ADcAQQAdAB0ANwA9AEEAHgAdACUAQQA3AB0AIQBB ADEAJQAhACUAQQAlACEAPQBBAB0ABQAAAAIBAQAAADgAAAAyCnQJPBIeAAQAAAAAAMgZ7BN3aXRo IHdoaWNoIHlvdSBhcmUgYWZmaWxpYXRlZCBTACEAJQBBAB0AUwBBACEANwBBAB0ANwA9AEEAHQA4 ACgANwAdADgAIwAjACEAHgAhADgAJQA3AEEAHQAFAAAAAgEBAAAANQAAADIK+Ak8EhwABAAAAAAA yBnsE2FuZCB0aGUgcGF0ZW50IGFwcGxpY2FudCBvciA4AEEAQQAdACUAQQA3AB0AQQA4ACUANwBB ACUAHQA4AEEAQQAeACEANwA4AEEAJQAdAD0AKAAdABwAAAD7Aov/AAAAAAAAkAEBAAAABEAAEkdh cmFtb25kAAAAALIGCtK3xcd3wMXHdyDAyncAADAABAAAAC0BCgAFAAAAAgEBAAAABAAAAC0BCQAT AAAAMgp7CjwSBQAEAAAAAADIGewTb3duZXIAPQBTAEEANwAoAAQAAAAtAQoADQAAADIKewpsEwEA BAAAAAAAyBnsEy4wGgANAAAAMgp7CoYTAQAEAAAAAADIGewTIDA0AAUAAAACAQEAAAAEAAAALQEE AA0AAAAyCjELPBIBAAQAAAAAAMgZ7BMgMCkABQAAAAIBAQAAAAQAAAAtAQcABQAAAAkC////Ag0A AAAyCskLPBIBAAQAAAAAAMgZ7BMgMKIABQAAAAkCAAAAAgUAAAACAQEAAAAEAAAALQEHAAUAAAAJ Av///wINAAAAMgoWDTwSAQAEAAAAAADIGewTIDCiAAUAAAAJAgAAAAIFAAAAAgEBAAAABAAAAC0B BwAFAAAACQL///8CDQAAADIKYw48EgEABAAAAAAAyBnsEyAwogAFAAAACQIAAAACBQAAAAIBAQAA AAQAAAAtAQcABQAAAAkC////Ag0AAAAyCrAPPBIBAAQAAAAAAMgZ7BMgMKIABQAAAAkCAAAAAgUA AAACAQEAAAAEAAAALQEHAAUAAAAJAv///wINAAAAMgr9EDwSAQAEAAAAAADIGewTIDCiAAUAAAAJ AgAAAAIEAAAALQEAAAQAAADwAQIABQAAABQCAAAAAAUAAAATAuwTAAAFAAAAEwLsE8gZBQAAABMC AADIGQUAAAATAgAAAAAFAAAAFAIBAAEABQAAABMC6xMBAAUAAAATAusTxxkFAAAAEwIBAMcZBQAA ABMCAQABAAUAAAAUAgIAAgAFAAAAEwLqEwIABQAAABMC6hPGGQUAAAATAgIAxhkFAAAAEwICAAIA BQAAABQCAwADAAUAAAATAukTAwAFAAAAEwLpE8UZBQAAABMCAwDFGQUAAAATAgMAAwAFAAAAFAIE AAQABQAAABMC6BMEAAUAAAATAugTxBkFAAAAEwIEAMQZBQAAABMCBAAEAAUAAAAUAgUABQAFAAAA EwLnEwUABQAAABMC5xPDGQUAAAATAgUAwxkFAAAAEwIFAAUABQAAABQCBgAGAAUAAAATAuYTBgAF AAAAEwLmE8IZBQAAABMCBgDCGQUAAAATAgYABgAFAAAAFAIHAAcABQAAABMC5RMHAAUAAAATAuUT wRkFAAAAEwIHAMEZBQAAABMCBwAHAAUAAAAUAggACAAFAAAAEwLkEwgABQAAABMC5BPAGQUAAAAT AggAwBkFAAAAEwIIAAgABQAAABQCCQAJAAUAAAATAuMTCQAFAAAAEwLjE78ZBQAAABMCCQC/GQUA AAATAgkACQAFAAAAFAIKAAoABQAAABMC4hMKAAUAAAATAuITvhkFAAAAEwIKAL4ZBQAAABMCCgAK AAUAAAAUAgsACwAFAAAAEwLhEwsABQAAABMC4RO9GQUAAAATAgsAvRkFAAAAEwILAAsABQAAABQC DAAMAAUAAAATAuATDAAFAAAAEwLgE7wZBQAAABMCDAC8GQUAAAATAgwADAAFAAAAFAINAA0ABQAA ABMC3xMNAAUAAAATAt8TuxkFAAAAEwINALsZBQAAABMCDQANAAUAAAAUAg4ADgAFAAAAEwLeEw4A BQAAABMC3hO6GQUAAAATAg4AuhkFAAAAEwIOAA4ABQAAABQCDwAPAAUAAAATAt0TDwAFAAAAEwLd E7kZBQAAABMCDwC5GQUAAAATAg8ADwAFAAAAFAIQABAABQAAABMC3BMQAAUAAAATAtwTuBkFAAAA EwIQALgZBQAAABMCEAAQAAUAAAAUAhEAEQAFAAAAEwLbExEABQAAABMC2xO3GQUAAAATAhEAtxkF AAAAEwIRABEABQAAABQCEgASAAUAAAATAtoTEgAFAAAAEwLaE7YZBQAAABMCEgC2GQUAAAATAhIA EgADAAAAAACAEAAALAAxAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD+/wAABQECAAAAAAAAAAAAAAAA AAAAAAACAAAAAtXN1ZwuGxCTlwgAKyz5rkQAAAAF1c3VnC4bEJOXCAArLPmuaAEAACQBAAANAAAA AQAAAHAAAAAPAAAAeAAAAAQAAACEAAAABQAAAIwAAAAGAAAAlAAAABEAAACcAAAAFwAAAKQAAAAL AAAArAAAABAAAAC0AAAAEwAAALwAAAAWAAAAxAAAAA0AAADMAAAADAAAAOoAAAACAAAA5AQAAB4A AAABAAAAAABMQwMAAAAAMgEAAwAAADEAAAADAAAACwAAAAMAAACPHAAAAwAAAKAKCQALAAAAAAAA AAsAAAAAAAAACwAAAAAAAAALAAAAAAAAAB4QAAACAAAACQAAAEJyb2NodXJlAAUAAAAgICAgAAwQ AAAEAAAAHgAAAAYAAABUaXRsZQADAAAAAQAAAB4AAAAJAAAASGVhZGluZ3MAAwAAAAEAAAAAAAAU AQAABgAAAAAAAAA4AAAAAQAAAIgAAAACAAAAkAAAAAMAAAD8AAAABAAAAAQBAAAFAAAADAEAAAQA AAACAAAADAAAAF9QSURfSExJTktTAAMAAAATAAAAVXNlRGVmYXVsdExhbmd1YWdlAAQAAAAIAAAA VmVyc2lvbgAFAAAABQAAAExDSUQAAgAAAOQEAABBAAAAZAAAAAYAAAADAAAAFgBQAAMAAAAAAAAA AwAAAAAAAAADAAAABQAAAB8AAAAWAAAAaAB0AHQAcAA6AC8ALwB3AHcAdwAuAHUAcwBwAHQAbwAu AGcAbwB2AC8AAAAfAAAAAQAAAAAAAAALAAAAAQAAAAMAAAB49eYFAwAAAAkEAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAIAAAADAAAABAAAAAUAAAAGAAAABwAA AAgAAAAJAAAACgAAAAsAAAAMAAAADQAAAA4AAAAPAAAAEAAAABEAAAASAAAAEwAAABQAAAAVAAAA FgAAABcAAAAYAAAA/v///xoAAAAbAAAAHAAAAB0AAAAeAAAAHwAAACAAAAD+////IgAAACMAAAAk AAAAJQAAACYAAAAnAAAAKAAAACkAAAAqAAAAKwAAACwAAAAtAAAALgAAAC8AAAAwAAAAMQAAADIA AAAzAAAANAAAADUAAAA2AAAANwAAADgAAAA5AAAAOgAAADsAAAA8AAAAPQAAAD4AAAD+////QAAA AEEAAABCAAAAQwAAAEQAAABFAAAARgAAAEcAAABIAAAASQAAAEoAAAD+////TAAAAE0AAABOAAAA TwAAAFAAAABRAAAAUgAAAP7////9////VQAAAP7////+/////v////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////9SAG8AbwB0ACAARQBuAHQAcgB5AAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAFgAFAf//////////AwAAAAYJAgAA AAAAwAAAAAAAAEYAAAAAAAAAAAAAAACgRZW7C+nDAVcAAACAAAAAAAAAAEQAYQB0AGEAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAKAAIB//// ////////////AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGQAAAAAQAAAAAAAA MQBUAGEAYgBsAGUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAA4AAgABAAAA//////////8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAhAAAAgzoAAAAAAABXAG8AcgBkAEQAbwBjAHUAbQBlAG4AdAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAGgACAQYAAAAFAAAA/////wAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAB7MAAAAAAAAAUAUwB1AG0AbQBhAHIAeQBJAG4AZgBvAHIAbQBh AHQAaQBvAG4AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAoAAIB////////////////AAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPwAAAIAXAAAAAAAABQBEAG8AYwB1AG0AZQBu AHQAUwB1AG0AbQBhAHIAeQBJAG4AZgBvAHIAbQBhAHQAaQBvAG4AAAAAAAAAAAAAADgAAgEEAAAA //////////8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABLAAAAABAAAAAAAAAB AEMAbwBtAHAATwBiAGoAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAEgACAQIAAAAHAAAA/////wAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAABqAAAAAAAAAE8AYgBqAGUAYwB0AFAAbwBvAGwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAWAAEA////////////////AAAAAAAAAAAAAAAAAAAAAAAAAACg RZW7C+nDAaBFlbsL6cMBAAAAAAAAAAAAAAAAAQAAAP7///////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////8BAP7/AwoAAP////8GCQIAAAAAAMAAAAAAAABGGAAA AE1pY3Jvc29mdCBXb3JkIERvY3VtZW50AAoAAABNU1dvcmREb2MAEAAAAFdvcmQuRG9jdW1lbnQu OAD0ObJxAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA== ------=_NextPart_000_00A0_01C3E8D9.BCDA0D60-- From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Feb 5 08:43:54 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i15Ehrg12076 for reliable_computing-outgoing; Thu, 5 Feb 2004 08:43:53 -0600 (CST) Received: from stevin.ruca.ua.ac.be (stevin.ruca.ua.ac.be [143.129.75.57]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i15Ehlq12072 for ; Thu, 5 Feb 2004 08:43:48 -0600 (CST) Received: by stevin.ruca.ua.ac.be (Postfix, from userid 507) id 5297710FEA; Thu, 5 Feb 2004 15:46:03 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by stevin.ruca.ua.ac.be (Postfix) with ESMTP id 371BE10A361 for ; Thu, 5 Feb 2004 15:46:03 +0100 (CET) Date: Thu, 5 Feb 2004 15:46:03 +0100 (CET) From: Annie Cuyt X-X-Sender: cuyt [at] stevin [dot] ruca.ua.ac.be To: reliable_computing [at] interval [dot] louisiana.edu Subject: Popular Interval Software? Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear all, A few days ago I gave a talk to an audience of professionals who are often facing "accuracy" problems in the following sense. They are involved in dammage claims and hence face the task of computing some simple magnitudes in terms of measured data. I was asked to talk on the possibly erroneous handling of data in numerical computations and gave them my classical list of numerical disasters and the classical recommendations that we all know. But apparently, none of them really programs! In no programming language what so ever, not even Matlab! Although they all nodded that the stuff was clear, my talk wasn't really helpful because they had expected practical recommendations. The way they handle their numerical data is either by entering them in an Excel spreadsheet or by passing them to a program that serves as a black box (no control possible, just pushing some virtual buttons). Then I remembered Hyvonen's interval extension of Excel and tried to find out whether it is still available. As far as I can see the answer is no. Which is a pity because they would really have liked it! My question to all of you now is the following. Does anybody know of some rather widely distributed programs (spreadsheets and the like) that enjoy an interval plug-in? The audience I talked to consists of geometers, topographers, architects and so on. They can't spare the time to make a classical error analysis on the computations they perform, because they can't "charge" these hours to their client! Thanks a lot for the suggestions, Annie Cuyt. -----------------------------Prof. Dr. Annie CUYT---------------------------- RESEARCH DIRECTOR FWO Mathematics & Computer Science Tel (32)3/265.38.98 University of Antwerp (UIA) Fax (32)3/265.37.77 Middelheimlaan 1 Secr (32)3/265.39.00 B-2020 Antwerpen Email annie.cuyt [at] ua [dot] ac.be Belgium http://www.uia.ac.be/u/cant ------------------------------------------------------------------------------ From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Feb 5 10:08:41 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i15G8fV12230 for reliable_computing-outgoing; Thu, 5 Feb 2004 10:08:41 -0600 (CST) Received: from fe4.cox-internet.com (fe4-cox.cox-internet.com [66.76.2.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i15G8aq12226 for ; Thu, 5 Feb 2004 10:08:36 -0600 (CST) Received: from Inspiron-8200 ([68.229.156.209]) by fe4.cox-internet.com (InterMail vK.4.04.00.03 201-232-140-20030416 license ac98e04b23802b25ff26d48c352bda07) with SMTP id <20040205160827.OSVT23952.fe4@Inspiron-8200>; Thu, 5 Feb 2004 10:08:27 -0600 Message-Id: <2.2.32.20040205160814.00a08844 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Thu, 05 Feb 2004 10:08:14 -0600 To: Annie Cuyt , reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Re: Popular Interval Software? Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Annie (and colleagues), Frontline Systems, http://www.frontsys.com/ has (had) an "interval solver" that is a "premium solver" that is plugged into Microsoft Excel. This solver uses interval technology. However, my understanding is that, since directed rounding is not used in computing the end points, the results this solver provides are not validated. Dan Fylstra of Frontline Systems may be able to clarify this situation, as well as status and plans for the solver. Best regards, Baker At 03:46 PM 2/5/2004 +0100, Annie Cuyt wrote: > >Dear all, > >A few days ago I gave a talk to an audience of professionals who are often >facing "accuracy" problems in the following sense. They are involved in >dammage claims and hence face the task of computing some simple magnitudes >in terms of measured data. I was asked to talk on the possibly erroneous >handling of data in numerical computations and gave them my classical list >of numerical disasters and the classical recommendations that we all know. > >But apparently, none of them really programs! In no programming language >what so ever, not even Matlab! Although they all nodded that the stuff was >clear, my talk wasn't really helpful because they had expected practical >recommendations. The way they handle their numerical data is either by >entering them in an Excel spreadsheet or by passing them to a program that >serves as a black box (no control possible, just pushing some virtual >buttons). Then I remembered Hyvonen's interval extension of Excel and >tried to find out whether it is still available. As far as I can see the >answer is no. Which is a pity because they would really have liked it! > >My question to all of you now is the following. Does anybody know of some >rather widely distributed programs (spreadsheets and the like) that enjoy >an interval plug-in? The audience I talked to consists of geometers, >topographers, architects and so on. They can't spare the time to make a >classical error analysis on the computations they perform, because they >can't "charge" these hours to their client! > >Thanks a lot for the suggestions, Annie Cuyt. > > -----------------------------Prof. Dr. Annie CUYT---------------------------- > RESEARCH DIRECTOR FWO > Mathematics & Computer Science Tel (32)3/265.38.98 > University of Antwerp (UIA) Fax (32)3/265.37.77 > Middelheimlaan 1 Secr (32)3/265.39.00 > B-2020 Antwerpen Email annie.cuyt [at] ua [dot] ac.be > Belgium http://www.uia.ac.be/u/cant > ------------------------------------------------------------------------------ > > --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 993-1827 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Feb 5 11:31:37 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i15HVbo12473 for reliable_computing-outgoing; Thu, 5 Feb 2004 11:31:37 -0600 (CST) Received: from smtp6av.net.oleane.net (smtp-out.net.av.oleane.com [194.2.20.32]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i15HVUq12467; Thu, 5 Feb 2004 11:31:31 -0600 (CST) Received: from VirusWall (localhost [127.0.0.1]) by smtp6av.net.oleane.net with ESMTP id i15HOobA029176; Thu, 5 Feb 2004 18:31:23 +0100 Received: from mailserv.dassault-systemes.fr ([81.80.88.200]) by smtp6av.net.oleane.net (8.12.6.0918/8.12.0/8.12-FT) with ESMTP id i15HOD7j028956; Thu, 5 Feb 2004 18:24:18 +0100 Subject: Re: Popular Interval Software? To: Annie Cuyt Cc: owner-reliable_computing [at] interval [dot] louisiana.edu, reliable_computing [at] interval [dot] louisiana.edu Message-ID: From: "Vitali TELERMAN" Date: Thu, 5 Feb 2004 18:24:10 +0100 MIME-Version: 1.0 Content-type: text/plain; charset=gb2312 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from base64 to 8bit by interval.louisiana.edu id i15HVWq12468 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Annie, In addition to Hyvonen's C++ interval library for Excel, the following programming systems providing interval computations can be recommended: 1) UniCalc and Nemo+ of Russian Research Institute of Artificial Intelligence www.rriai.org.ru 2) Math Solver of Ledas company www.ledas.com/solver.php 3) Interval Toolbox for Matlab of Acsyst§Úme company www.acsysteme.com 4) And if your audience consists of geometers and architects maybe, they can try to use CATIA V5 of Dassault Systemes ( www.3ds.com )? Starting with the Release 7 a constraint programming solver providing interval computations is included in CATIA V5. Best regards, Vitali Telerman. Research & Innovation Tel (33)1 55 49 84 08 Dassault Syst§Úmes Email vitali_telerman@ds-fr.com 9, Quai Marcel Dassault 92156 Suresnes FRANCE |---------+-----------------------------------------------> | | Annie Cuyt | | | Envoy¨¦ par : | | | owner-reliable_computing [at] interval [dot] lo| | | uisiana.edu | | | | | | | | | 05/02/2004 15:46 | | | | |---------+-----------------------------------------------> >-------------------------------------------------------------------------------------------| | | | Pour : reliable_computing [at] interval [dot] louisiana.edu | | cc : | | Objet : Popular Interval Software? | >-------------------------------------------------------------------------------------------| Dear all, A few days ago I gave a talk to an audience of professionals who are often facing "accuracy" problems in the following sense. They are involved in dammage claims and hence face the task of computing some simple magnitudes in terms of measured data. I was asked to talk on the possibly erroneous handling of data in numerical computations and gave them my classical list of numerical disasters and the classical recommendations that we all know. But apparently, none of them really programs! In no programming language what so ever, not even Matlab! Although they all nodded that the stuff was clear, my talk wasn't really helpful because they had expected practical recommendations. The way they handle their numerical data is either by entering them in an Excel spreadsheet or by passing them to a program that serves as a black box (no control possible, just pushing some virtual buttons). Then I remembered Hyvonen's interval extension of Excel and tried to find out whether it is still available. As far as I can see the answer is no. Which is a pity because they would really have liked it! My question to all of you now is the following. Does anybody know of some rather widely distributed programs (spreadsheets and the like) that enjoy an interval plug-in? The audience I talked to consists of geometers, topographers, architects and so on. They can't spare the time to make a classical error analysis on the computations they perform, because they can't "charge" these hours to their client! Thanks a lot for the suggestions, Annie Cuyt. -----------------------------Prof. Dr. Annie CUYT---------------------------- RESEARCH DIRECTOR FWO Mathematics & Computer Science Tel (32)3/265.38.98 University of Antwerp (UIA) Fax (32)3/265.37.77 Middelheimlaan 1 Secr (32)3/265.39.00 B-2020 Antwerpen Email annie.cuyt [at] ua [dot] ac.be Belgium http://www.uia.ac.be/u/cant ------------------------------------------------------------------------------ From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Feb 5 16:24:02 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i15MO1512685 for reliable_computing-outgoing; Thu, 5 Feb 2004 16:24:01 -0600 (CST) Received: from pop0.greatbasin.net (pop0.greatbasin.net [207.228.35.2]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i15MNuq12681 for ; Thu, 5 Feb 2004 16:23:57 -0600 (CST) Received: from D3HN8211 (rno-dsl0a-121.gbis.net [216.82.144.121]) by pop0.greatbasin.net (8.12.10/8.12.10) with SMTP id i15Gs4Y2007491; Thu, 5 Feb 2004 08:54:06 -0800 From: "Daniel H. Fylstra" To: "R. Baker Kearfott" , "Annie Cuyt" , Subject: RE: Popular Interval Software? Date: Thu, 5 Feb 2004 08:54:24 -0800 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0) X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 In-Reply-To: <2.2.32.20040205160814.00a08844 [at] pop [dot] louisiana.edu> Importance: Normal Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Annie, Baker and colleagues, The website for Frontline Systems Inc. is http://www.solver.com/ -- the site www.frontsys.com still exists but is several years out of date and mostly contains links to www.solver.com. And the latest version of our Interval Solver, a component of our Premium Solver Platform product, does use directed rounding in computing the end points of intervals, and will produce validated results if only the basic search options are used. I will provide more information on the status of this solver shortly. However, it is designed to solve global optimization problems and to find all real solutions of systems of nonlinear equations that are expressed in the usual (non-interval) form on the spreadsheet. This might help Annie's audience if they were solving such problems, but it is not designed to display intervals on the spreadsheet and to support end-user 'what-if analysis' using interval arithmetic (which was a feature of Hyvonen's Interval Solver for Excel). We have contemplated releasing such a product, but we haven't made a decision to do so yet. Daniel H. Fylstra, President Frontline Systems, Inc. > -----Original Message----- > From: owner-reliable_computing [at] interval [dot] louisiana.edu > [mailto:owner-reliable_computing [at] interval [dot] louisiana.edu]On Behalf Of R. > Baker Kearfott > Sent: Thursday, February 05, 2004 8:08 AM > To: Annie Cuyt; reliable_computing [at] interval [dot] louisiana.edu > Subject: Re: Popular Interval Software? > > > Annie (and colleagues), > > Frontline Systems, > > http://www.frontsys.com/ > > has (had) an "interval solver" that is a "premium solver" > that is plugged into Microsoft Excel. This solver uses interval technology. > However, my understanding is that, since directed rounding is not > used in computing the end points, the results this solver provides > are not validated. > > Dan Fylstra of Frontline Systems may be able to clarify this situation, > as well as status and plans for the solver. > > Best regards, > > Baker > > > At 03:46 PM 2/5/2004 +0100, Annie Cuyt wrote: > > > >Dear all, > > > >A few days ago I gave a talk to an audience of professionals who are often > >facing "accuracy" problems in the following sense. They are involved in > >dammage claims and hence face the task of computing some simple magnitudes > >in terms of measured data. I was asked to talk on the possibly erroneous > >handling of data in numerical computations and gave them my classical list > >of numerical disasters and the classical recommendations that we all know. > > > >But apparently, none of them really programs! In no programming language > >what so ever, not even Matlab! Although they all nodded that the stuff was > >clear, my talk wasn't really helpful because they had expected practical > >recommendations. The way they handle their numerical data is either by > >entering them in an Excel spreadsheet or by passing them to a program that > >serves as a black box (no control possible, just pushing some virtual > >buttons). Then I remembered Hyvonen's interval extension of Excel and > >tried to find out whether it is still available. As far as I can see the > >answer is no. Which is a pity because they would really have liked it! > > > >My question to all of you now is the following. Does anybody know of some > >rather widely distributed programs (spreadsheets and the like) that enjoy > >an interval plug-in? The audience I talked to consists of geometers, > >topographers, architects and so on. They can't spare the time to make a > >classical error analysis on the computations they perform, because they > >can't "charge" these hours to their client! > > > >Thanks a lot for the suggestions, Annie Cuyt. > > > > -----------------------------Prof. Dr. Annie CUYT---------------------------- > > RESEARCH DIRECTOR FWO > > Mathematics & Computer Science Tel (32)3/265.38.98 > > University of Antwerp (UIA) Fax (32)3/265.37.77 > > Middelheimlaan 1 Secr (32)3/265.39.00 > > B-2020 Antwerpen Email annie.cuyt [at] ua [dot] ac.be > > Belgium http://www.uia.ac.be/u/cant > > ------------------------------------------------------------------------------ > > > > > > --------------------------------------------------------------- > R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) > (337) 482-5270 (work) (337) 993-1827 (home) > URL: http://interval.louisiana.edu/kearfott.html > Department of Mathematics, University of Louisiana at Lafayette > Box 4-1010, Lafayette, LA 70504-1010, USA > --------------------------------------------------------------- > > > > > > From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Feb 9 22:12:19 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i1A4CJc18099 for reliable_computing-outgoing; Mon, 9 Feb 2004 22:12:19 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i1A4CEq18095 for ; Mon, 9 Feb 2004 22:12:14 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i1A4C9k17642 for ; Mon, 9 Feb 2004 21:12:09 -0700 (MST) Message-Id: <200402100412.i1A4C9k17642 [at] cs [dot] utep.edu> Date: Mon, 9 Feb 2004 21:12:10 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: New Book of interest to interval folks To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: SYYbAYTmukjqawvyVtPWfA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, Since intervals can be viewed as a particular case of fuzzy (and vice versa, fuzzy can be viewed as a nested family of intervals), this new book may be of interest to those who are interested in the relation between intervals and probabilities. Vladik FUZZY STATISTICS JJBuckley Studies in Fuzziness and Soft Computing, Vol. 149 Springer-Verlag To appear 2004. From the jacket: This monograph introduces elementary fuzzy statistics based on crisp (non-fuzzy)data. In the introductory chapters the book presents a very readable survey of fuzzy sets including fuzzy arithmetic and fuzzy functions. The book develops fuzzy estimation and demonstrates the construction of fuzzy estimators for various important and special cases of variance, mean and distribution functions. It is shown how to use fuzzy estimators in hypothesis testing and regression, which leads to a comprehensive presentation of fuzzy hypothesis testing and fuzzy regression as well as fuzzy prediction From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Feb 10 14:45:03 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i1AKj3J19214 for reliable_computing-outgoing; Tue, 10 Feb 2004 14:45:03 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i1AKixQ19208 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 10 Feb 2004 14:44:59 -0600 (CST) Received: from lcyoung.math.wisc.edu (lcyoung.math.wisc.edu [144.92.166.90]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i16JAVq14017 for ; Fri, 6 Feb 2004 13:10:32 -0600 (CST) Received: from ultra8.math.wisc.edu (ultra8.math.wisc.edu [144.92.166.178]) by lcyoung.math.wisc.edu (8.11.6p2-20030921/8.11.6) with ESMTP id i16J5kn14184; Fri, 6 Feb 2004 13:05:46 -0600 (CST) Date: Fri, 6 Feb 2004 13:05:46 -0600 (CST) From: Hans Schneider To: NETS -- at-net , E-LETTER , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, Michael.Unser [at] epfl [dot] ch, SIAGLA-DIGEST , hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu cc: Hans Schneider Subject: LAA announcement Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-UWMath-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk LAA proceedings of the Haifa 2005 conference on matrix theory LAA will publish proceedings of the conference on matrix theory to be held in Haifa, Israel, January 3 - 7, 2005. The special editors are Abraham Berman, Leonid Lerer and Raphael Loewy. The submission deadline is expected to be April 30, 2005. Further details will appear in due course in the second conference announcement and at http://www.math.wisc.edu/~hans/speciss.html . From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Feb 10 14:46:11 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i1AKkAT19262 for reliable_computing-outgoing; Tue, 10 Feb 2004 14:46:10 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i1AKk6D19257 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 10 Feb 2004 14:46:06 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i1AFVqq18999 for ; Tue, 10 Feb 2004 09:31:53 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i1AFVjR21757; Tue, 10 Feb 2004 08:31:45 -0700 (MST) Message-Id: <200402101531.i1AFVjR21757 [at] cs [dot] utep.edu> Date: Tue, 10 Feb 2004 08:31:44 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Siberian Journal of Numerical Mathematics To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: sibjnm [at] oapmg [dot] sscc.ru, vladik [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 4GkUXnozpLfUGU0htgH9pA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, This is just FYI. Siberian Journal of Numerical Mathematics, a bilingual Russian-English journal published (since 1998) by an Editorial Board consisting of top Russian specialists in numerical math, is interested in all aspects of numerical mathematics, including reliable computing (i.e., broadly understood interval computations). Interested researchers are welcome to submit papers and/or to subscribe the journal. Please check the journal's website http://www.sscc.ru/SibJNM/ for submission and subscription info. Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Feb 11 10:11:58 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i1BGBvR20529 for reliable_computing-outgoing; Wed, 11 Feb 2004 10:11:57 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i1BGBhq20525 for ; Wed, 11 Feb 2004 10:11:44 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i1BGBZC04560; Wed, 11 Feb 2004 09:11:35 -0700 (MST) Message-Id: <200402111611.i1BGBZC04560 [at] cs [dot] utep.edu> Date: Wed, 11 Feb 2004 09:11:33 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: RE: Akademgorodok, 22-24 June 2004, International Workshop... To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: levin [at] ledasgroup [dot] com MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: xhrKHw07t2EZxLtOcWt8Og== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------- Begin Forwarded Message ------------- From: "David Levin" To: "Vladik Kreinovich" Vladik, There is a certain progress in our organization of the isiCAD-2004, which we discussed with you in December. Some development can be seen at http://isicad.ru Sasha Semenov and Serge Shary: have got an idea to organize a small workshop on interval math - attached to isiCAD and ICCM Conference. below you find the 2nd isiCAD-2004 CFP. Could you help with its distribution? Thank you and best wishes, David = = = = = = = = = = SECOND CALL FOR PAPERS isiCAD-2004: The isiCAD International Workshop "Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent PLM systems: From Methods to Applications" 21 - 24 June 2004, Novosibirsk, Akademgorodok, Russia AIMS AND SCOPE The aim of the workshop is to present the approaches and results in research and technology that improve intelligence of market-oriented solutions and products in PLM (CAD/CAM/CAE/PDM), computer graphics, virtual reality, simulation, computer games, multimedia, and other adjacent domains - with a special emphasis on development and application of the constraint-based techniques and geometrical solving. The isiCAD-2004 workshop is also aimed at outlining relationship between two dimensions: the above-mentioned domains and, on the other hand, the methods that are soundly expected to support and improve intelligence for those domains. Bringing together of the domains in question and relevant methods for improving the domain's intelligence seem to be fruitful and hopefully enable future establishing of the isicad community. Another important aim of the event is to bring together researchers, developers, solution providers, distributors, and customers of PLM and close domains in order to achieve better mutual understanding about tendencies, requirements, demands, problems, affordability, and prospects. Siberian region as the location of the event provides good opportunity to see a rapidly developing industrial market potential combined with a lot of R&D, education, distributor, and software outsourcing capabilities. During the preparation period of isiCAD-2004, there are no deadlines and limitations for better shaping and focusing of the event and for inviting people that can essentially contribute to the goal of the workshop. WORKSHOP TOPICS Workshop topics include but are not restricted to: . Use of constraint techniques in conceptual, collaborative, and configuration design . Symbolic and numeric methods for geometric computation, geometric constraint solving, and automated reasoning . Interval and optimization methods for geometry and engineering . Application of these methods to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education . Optimization under constraints for resource and workforce scheduling . Declarative approach in intelligent PLM solutions . Geometric and mathematical solvers based on constraint technologies . Features and prospects of the current market of large CAD systems and related products . Adding intelligence to small and medium CAD systems without loss of compactness and affordability In addition to papers in the above list of topics, papers both bridging the gap between different directions and promoting mutual understanding of researchers, solution developers, providers, and customers are welcome. SESSIONS . Invited talks, overviews, short communications . Presentations of commercial products and applications . Round-table discussions. ICCM-2004 IsiCAD-2004 workshop is coordinated in its organization, schedule, and cultural program with the Second International Conference on Computational Mathematics (ICCM), which gives to the isiCAD-2004 participants additional opportunity for contacts and discussions. Some special joint sessions are also planned. EXHIBITION During the ICCM-2004 and isiCAD-2004, there will be organized an exhibition of software solutions and products. More details will be published later. PROGRAMME COMMITTEE Andre CLEMENT, Dassault Systemes, France (Chairman) Vladimir FROLOVSKY, Technical University, Novosibirsk, Russia Xio-Shan GAO, Institute of Systems Science, Chinese Academy of Sciences, China Vladik KREINOVICH, University of Texas at El Paso, El Paso, Texas, USA Dominique MICHELUCCI, Universite de Bourgogne, France Dimitri PLEMENOS, University of Limoges, France Martin REISER, Fraunhofer Institute for Media Communication, Germany Alexander SEMENOV, Ershov Institute of Informatics Systemes, Russian Academy of Sciences, Russia Jury SUHANOV, CAD/CAM/CAE Observer International Magazine, Latvia Roopinder TARA, TenLinks, USA Enn TYUGU, Institute of Cybernetics, Estonia ORGANIZING COMMITTEE David LEVIN, Ledas Ltd. Company, Novosibirsk, levin [at] ledas [dot] com (chairman) Valery IL'IN, Institute of Computational Mathematics and Mathematical Geophysics, Russian Academy of Sciences, Novosibirsk, ilin [at] sscc [dot] ru (co-chairman) Dmitry USHAKOV, Ledas Ltd. Company, Novosibirsk, ushakov [at] ledas [dot] com (deputy chairman) Anna SHELUKHINA, A.P.Ershov Institute of Informatics Systems, Siberian Branch of Russian Academy of Sciences, Novosibirsk (executive secretary) Artem OVCHARENKO, SIB3, Novosibirsk, artem [at] sib3 [dot] ru WORKSHOP PROCEEDINGS A book of extended abstracts of invited and accepted talks will be available at the Workshop. SUBMISSIONS All submissions must be in English, clearly written and in sufficient detail to allow the Programme Committee to assess the merits of the work. Electronic submissions are encouraged. They should be received in Novosibirsk by March, 22, 2004. A PostScript file of an extended abstract (up to 10 pages for a regular talk and up to 5 pages for a short talk) should be e-mailed to the following address: info [at] isicad [dot] ru . When preparing your submission please follow instructions for authors of papers to be published at Springer Lecture Notes in Computer Science series, which are available at www.springer.de/comp/lncs/authors.html. The abstract should indicate complete authors' addresses (including e-mail addresses and fax numbers if any), affiliation and a clear statement of the kind of the submission (regular or short talk). The receipt of all submitted papers will be acknowledged by e-mail within 2 days. Authors will be notified of acceptance by April 26, 2004. IMPORTANT DATES March, 22, 2004 Deadline for submission of papers April, 26, 2004 Notification of acceptance (by e-mail) May, 17, 2004 Final papers due (camera-ready) June, 20, 2004 Arrival date June, 24, 2004 Departure date LOCATION, FEES, CULTURAL PROGRAM, TRAVELLING, AND WEATHER The workshop will be held in Akademgorodok (Academy town), 30 km South from Novosibirsk, the largest city of Siberia. Akademgorodok is located in a picturesque place near the Ob lake. It is surrounded with birch and pine forests and pleasant not only for work but for recreation as well. Silence, beautiful landscape, and pure air are the factors promoting scientific activity and creativity. By tradition of scientific conferences in Akademgorodok, their cultural program includes barbecue picnic with Russian and Finnish sauna, night informal meeting on the lake coast, introducing and farewell parties, and other events. Accommodation for the participants will be organized at the hotel "Golden Valley" (http://gold-valley.academ.org) , Academgorodok, 700 meters from the House of Scientists. Hotel prices: one place in a double-room 19 EURO, single room - 25+ EURO, suite 69+ EURO. Registration of participants will take place at the hotel on June 20 from 4 p.m. to 8 p.m., and in the House of Scientists on June 21 starting from 8:30. The registration fee is 100 EURO / 3500 RUR, which covers the Workshop Proceeding, coffee breaks, banquet, and advanced social program. Organizing Committee establishes at least ten grants that exempt from the paying fee the participants with the most interesting talks and presentations. A direct Siberia Airlines (http://english.s7.ru/) flight will bring you from Frankfurt, Hannover, Tel Aviv or Beijing to Novosibirsk and back. One can buy an interline Lufthansa-Siberia Airlines ticket. Participants traveling via Moscow will be helped to take domestic flights. There are at least four daily flights between Moscow and Novosibirsk: Aeroflot (Sheremetyevo-1, Moscow) as well as by Sibir and Transaero (Domodedovo, Moscow). All participants will be met at the Novosibirsk airport and brought to Akademgorodok by a special transport. The weather in Novosibirsk at the end of June is normally quite warm and sunny with the temperatures in the range of 25-30 C. Night swimming in the Ob lake is guaranteed. For more information see: http://isicad.ru ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Feb 13 20:14:19 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i1E2EJL23660 for reliable_computing-outgoing; Fri, 13 Feb 2004 20:14:19 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i1E2ECq23656 for ; Fri, 13 Feb 2004 20:14:12 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i1E2Dwh03659; Fri, 13 Feb 2004 19:13:58 -0700 (MST) Message-Id: <200402140213.i1E2Dwh03659 [at] cs [dot] utep.edu> Date: Fri, 13 Feb 2004 19:13:58 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Reliable Computing, Vol. 10, No. 2 To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: O6H2ylE2VO/dRRSEXdEQTA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id i1E2EDq23657 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk apologies for multiple posting Reliable Computing, 2004, Vol. 10, No. 2 Special Issue on Dependable Reasoning about Uncertainty Guest editor: D. Berleant Introduction Daniel Berleant pp. 81-82 Dirty Pages of Logarithm Tables, Lifetime of the Universe, and (Subjective) Probabilities on Finite and Infinite Intervals Hung T. Nguyen, Vladik Kreinovich, Luc Longpré pp. 83-106 On the Use of Random Set Theory to Bracket the Results of Monte Carlo Simulations Fulvio Tonon, pp. 107-137 Using Pearson Correlation to Improve Envelopes around the Distributions of Functions Daniel Berleant, Jianzhong Zhang pp. 139-161 From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Feb 13 21:17:20 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i1E3HJC23807 for reliable_computing-outgoing; Fri, 13 Feb 2004 21:17:19 -0600 (CST) Received: from mailhub-3.iastate.edu (mailhub-3.iastate.edu [129.186.140.13]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i1E3HEq23803 for ; Fri, 13 Feb 2004 21:17:14 -0600 (CST) Received: from mailout-1.iastate.edu (mailout-1.iastate.edu [129.186.140.1]) by mailhub-3.iastate.edu (8.12.10/8.12.10) with SMTP id i1E3GxST004751; Fri, 13 Feb 2004 21:17:01 -0600 Received: from myles.eng.iastate.edu(129.186.23.96) by mailout-1.iastate.edu via csmap id cf26aec2_5e9c_11d8_836f_003048290bef_20231; Fri, 13 Feb 2004 21:20:59 -0600 (CST) Received: from dq.engr.iastate.edu ([129.186.5.76]) by myles.eng.iastate.edu with Microsoft SMTPSVC(5.0.2195.6713); Fri, 13 Feb 2004 21:16:57 -0600 content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-MimeOLE: Produced By Microsoft Exchange V6.0.6249.0 Subject: RE: Reliable Computing, Vol. 10, No. 2 Date: Fri, 13 Feb 2004 21:16:56 -0600 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Reliable Computing, Vol. 10, No. 2 Thread-Index: AcPyoTyHiUtCUPVdSMOwjQd9OfrrUAAByhQg From: "Berleant, Dan" To: , X-OriginalArrivalTime: 14 Feb 2004 03:16:57.0059 (UTC) FILETIME=[00A31B30:01C3F2A9] Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.louisiana.edu id i1E3HFq23804 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Thanks Vladik. I'd like to clarify, though, that I was merely the guest co-editor. Editing responsibilities were shared with regular editor Slava Nesterov. He handled the reviewing process for the Berleant and Zhang paper. Best Regards, Dan -----Original Message----- From: Vladik Kreinovich [mailto:vladik [at] cs [dot] utep.edu] Sent: Friday, February 13, 2004 8:14 PM To: reliable_computing [at] interval [dot] louisiana.edu; interval [at] cs [dot] utep.edu Subject: Reliable Computing, Vol. 10, No. 2 apologies for multiple posting Reliable Computing, 2004, Vol. 10, No. 2 Special Issue on Dependable Reasoning about Uncertainty Guest editor: D. Berleant Introduction Daniel Berleant pp. 81-82 Dirty Pages of Logarithm Tables, Lifetime of the Universe, and (Subjective) Probabilities on Finite and Infinite Intervals Hung T. Nguyen, Vladik Kreinovich, Luc Longpré pp. 83-106 On the Use of Random Set Theory to Bracket the Results of Monte Carlo Simulations Fulvio Tonon, pp. 107-137 Using Pearson Correlation to Improve Envelopes around the Distributions of Functions Daniel Berleant, Jianzhong Zhang pp. 139-161 From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Feb 15 17:40:33 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i1FNeW526484 for reliable_computing-outgoing; Sun, 15 Feb 2004 17:40:32 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i1FNeQq26480 for ; Sun, 15 Feb 2004 17:40:27 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i1FNeLL03683; Sun, 15 Feb 2004 16:40:22 -0700 (MST) Message-Id: <200402152340.i1FNeLL03683 [at] cs [dot] utep.edu> Date: Sun, 15 Feb 2004 16:40:21 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Extended deadline for the SMPS'2004 To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: angelesgil [at] telecable [dot] es MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: e3Uk0nhUF8FOTLQSQSxjVA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id i1FNeSq26481 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk FYI. Intervals and probabilities are one of the t