From owner-reliable_computing Mon Mar 9 11:00:48 1998 Received: by interval.usl.edu id AA11482 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 9 Mar 1998 17:00:51 -0600 Received: by interval.usl.edu id AA11472 (5.65c/IDA-1.4.4 for reliable_computing); Mon, 9 Mar 1998 17:00:48 -0600 Date: Mon, 9 Mar 1998 17:00:48 -0600 From: "Kearfott R. Baker" Message-Id: <199803092300.AA11472 [at] interval [dot] usl.edu> To: reliable_computing Subject: from the list maintainer: Possibly resend messages from last two days Sender: owner-reliable_computing Precedence: bulk Friends, I have been moving some of majordomo's archives around to free space. Unfortunately, this broke the list-processing software temporarily. Two messages over the last two days may not have gotten through. If you have sent a message during this time, you may wish to re-send it. My apologies for this interruption and inconvenience. Best regards, --------------------------------------------------------------- R. Baker Kearfott, rbk [at] usl [dot] edu (318) 482-5346 (fax) (318) 482-5270 (work) (318) 981-9744 (home) URL: http://interval.usl.edu/kearfott.html Department of Mathematics, University of Southwestern Louisiana --------------------------------------------------------------- From owner-reliable_computing Wed Mar 11 09:43:11 1998 Received: by interval.usl.edu id AA12355 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 11 Mar 1998 01:43:16 -0600 Received: from songoku.udg.es by interval.usl.edu with SMTP id AA12349 (5.65c/IDA-1.4.4 for ); Wed, 11 Mar 1998 01:43:08 -0600 Received: from bacalla.udg.es by songoku.udg.es with SMTP (1.37.109.4/16.2) id AA20948; Wed, 11 Mar 98 08:41:57 +0100 Message-Id: <3506408E.37DF [at] eia [dot] udg.es> Date: Wed, 11 Mar 1998 08:43:11 +0100 From: Josep Vehi Reply-To: vehi [at] silver [dot] udg.es Organization: Intelligent Systems and Control Engineering Group. University of Girona X-Mailer: Mozilla 3.01Gold (Win95; I) Mime-Version: 1.0 To: reliable_computing [at] interval [dot] usl.edu Subject: Interval applications to robust control Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-reliable_computing Precedence: bulk Dear colleagues, Im preparing a survey on applications of interval analysis to robust control, and Im collecting papers who has been appeared during last years including next or related topics: Stability analysis of interval systems Controllability and observability of interval systems Interval matrices Robust feedback control design Implementations Applications Id appreciate very much all contributions like references, full papers submissions, suggestions, etc. Pep ________________________________________________________________________ _/ _/ _ _/_/ Josep Vehm (Ph.D.) _/ _/ _/ _/ _/ Enginyeria de Control-Sistemes Intel7ligents _/ _/ _/_/_/ Institut d'Inform`tica i Aplicacions (IIiA) _/ _/ _/ _/ _/ Universitat de Girona _/ _/ _/ _/ _/ E17071 Girona, Catalonia (Intelligent Systems & Ph: +34 72 41 84 95 Fax: +34 72 41 80 98 Control Engineering) vehi [at] eia [dot] udg.es ________________________________________________________________________ From owner-reliable_computing Wed Mar 11 05:22:18 1998 Received: by interval.usl.edu id AA12986 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 11 Mar 1998 11:23:59 -0600 Received: from eesun1.tamu.edu (old-eesun1.tamu.edu) by interval.usl.edu with SMTP id AA12980 (5.65c/IDA-1.4.4 for ); Wed, 11 Mar 1998 11:23:49 -0600 Received: from localhost (bhatt@localhost) by eesun1.tamu.edu (8.8.5/8.8.5) with SMTP id LAA02875; Wed, 11 Mar 1998 11:22:19 -0600 (CST) X-Authentication-Warning: eesun1.tamu.edu: bhatt owned process doing -bs Date: Wed, 11 Mar 1998 11:22:18 -0600 (CST) From: "Dr. S Bhattacharyya" X-Sender: bhatt [at] eesun1 [dot] tamu.edu To: Josep Vehi Cc: reliable_computing [at] interval [dot] usl.edu Subject: Re: Interval applications to robust control In-Reply-To: <3506408E.37DF [at] eia [dot] udg.es> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk On Wed, 11 Mar 1998, Josep Vehi wrote: > Dear colleagues, > > Im preparing a survey on applications of interval analysis to robust > control, and Im collecting papers who has been appeared during last > years including next or related topics: > > Stability analysis of interval systems > Controllability and observability of interval systems > Interval matrices > Robust feedback control design > Implementations > Applications > > Id appreciate very much all contributions like references, full papers > submissions, suggestions, etc. > > Pep > > ________________________________________________________________________ > _/ _/ _ _/_/ Josep Vehm (Ph.D.) > _/ _/ _/ _/ _/ Enginyeria de Control-Sistemes Intel7ligents > _/ _/ _/_/_/ Institut d'Inform`tica i Aplicacions (IIiA) > _/ _/ _/ _/ _/ Universitat de Girona > _/ _/ _/ _/ _/ E17071 Girona, Catalonia > (Intelligent Systems & Ph: +34 72 41 84 95 Fax: +34 72 41 80 98 > Control Engineering) vehi [at] eia [dot] udg.es > ________________________________________________________________________ > Our book ``Robust Control:The Parametric Approach" by S.P.Bhattacharyya, H.Chapellat and L.H.Keel, Prentice-Hall, 1995, ISBN 0-13-781576-X has about 248 references mostly dealing with interval uncertainty in Robust Control. S.P.Bhattacharyya From owner-reliable_computing Thu Mar 12 15:24:53 1998 Received: by interval.usl.edu id AA13733 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 12 Mar 1998 07:25:12 -0600 Received: from mail.cs.ruu.nl (sunset.cs.ruu.nl) by interval.usl.edu with SMTP id AA13727 (5.65c/IDA-1.4.4 for ); Thu, 12 Mar 1998 07:25:03 -0600 Received: from pubhp.cs.ruu.nl (pubhp.cs.ruu.nl 131.211.80.100) by mail.cs.ruu.nl (VMailer) via SMTP id 2F863D8FA2; Thu, 12 Mar 1998 14:24:54 +0100 (MET) Received: (johanj@localhost) by pubhp.cs.ruu.nl (8.6.12/8.6.12/ehk) id OAA04413 for reliable_computing [at] interval [dot] usl.edu; Thu, 12 Mar 1998 14:24:53 +0100 Date: Thu, 12 Mar 1998 14:24:53 +0100 From: Message-Id: <199803121324.OAA04413 [at] pubhp [dot] cs.ruu.nl> To: reliable_computing [at] interval [dot] usl.edu Subject: Call for participation: MPC'98 Sender: owner-reliable_computing Precedence: bulk Call for participation: MPC '98 Fourth International Conference on MATHEMATICS OF PROGRAM CONSTRUCTION ----------------------------------- http://www.md.chalmers.se/Conf/MPC98/ June 15 - 17, 1998 Marstrand, Sweden Post-conference workshops: * Workshop on Generic Programming, WGP'98 http://www.cse.ogi.edu/PacSoft/conf/wgp/ * International Workshop on Constructive Methods for Parallel Programming, CMPP'98 http://brahms.fmi.uni-passau.de/cl/cmpp98/index.html * Formal Techniques for Hardware and Hardware-like Systems, FTH'98 http://www.cs.chalmers.se/~ms/FTH98/ The general theme of this series of conferences is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software or hardware. The conference theme reflects the growing interest in formal, mathematically based methods for the construction of software and hardware. The goal of the MPC conferences is to report on and significantly advance the state of the art in this area. Previous conferences were held in 1989 at Twente, The Netherlands, organised by the Rijksuniversiteit Groningen, in 1992 at Oxford, United Kingdom, and in 1995 at Kloster Irsee, Germany, organised by Augsburg University. Invited speakers: Burghard von Karger (Kiel University) John Hughes (Chalmers Technical University) David Harel (Weizmann Institute) CONFERENCE PROGRAMME Monday June 15 1998 8.50 - 9.00 Welcome 9.00 - 10.00 Invited talk: A proof rule for control loops Burghard von Karger (Kiel University) 10.00 - 10.30 Break Session 1. Chair: Roland Backhouse (Eindhoven University of Technology) 10.30 - 11.15 Polytypic Downwards Accumulations Jeremy Gibbons (Oxford Brookes University) 11.15 - 12.00 Nested Datatypes Richard Bird (Oxford University) and Lambert Meertens (CWI Amsterdam and Utrecht University) 12.00 - 1400 Lunch Session 2. Chair: Richard Bird (Oxford University) 14.00 - 14.45 Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach Thomas Brunn, Bernhard Mvller, and Martin Russling (Augsburg University) 14.45 - 15.30 Computing Spanning Trees Rudolf Berghammer, Burghard von Karger and Andreas Wolf (Kiel University) 15.30 - 16.00 Break Session 3. Chair: Bernhard Mvller (Augsburg University) 16.00 - 16.45 Computation Calculus - Bridging a Formalization Gap Rutger M. Dijkstra (Groningen University) 16.45 - 17.30 A Unifying Framework for Correct Program Construction Henning Dierks and Michael Schenke (University of Oldenburg) Tuesday June 16 1998 9.00 - 10.00 Invited talk: Generalising Monads John Hughes (Chalmers Technical University) 10.00 - 10.30 Break Session 4. Chair: Eerke Boiten (University of Kent at Canterbury) 10.30 - 11.15 Calculating a Round-Robin Scheduler Matteo Vaccari (University of Milano) and Roland Backhouse (Eindhoven University of Technology) 11.15 - 12.00 Formal derivaton of a loadable asynchronous counter Mark B. Josephs (South Bank University London) 12.00 - 1400 Lunch Session 5. Chair: Jose Oliveira (University of Minho at Braga) 14.00 - 14.45 An application of program derivation techniques to 18th century mathematics A. Bijlsma (Eindhoven University of Technology) 14.45 - 15.30 An Approach to Object-Orientation in Action Systems Kaisa Sere, (Ebo Akademi University) Joost Kok and Marcello Bonsangue (Leiden University) 15.30 - 16.00 Break Session 6. Chair: Robin Cockett (University of Calgary) 16.00 - 16.45 Beyond Fun: order and membership in polytypic imperative programming David A. Naumann (Stevens Institute of Technology) 16.45 - 17.30 Realizability for Monotone Coinductive Definitions and Its application to Program Synthesis Makoto Tatsuta (Kyoto University) Wednesday June 17 1998 9.00 - 10.00 Invited talk: On the Aesthetics of Diagrams David Harel (Weizmann Institute) 10.00 - 10.30 Break Session 7. Chair: Sigurd Meldal (CalPoly) 10.30 - 11.15 Convergence of Program Transformers in the Metric Space of Trees Morten Heine Sorensen (University of Copenhagen, DIKU) 11.15 - 12.00 A set-theoretic model for real-time specification and reasoning C.J. Fidge, I.J. Hayes, A.P. Martin and A.K. Wabenhorst (University of Queensland) 12.00 - 1400 Lunch Session 8. Chair: Christian Lengauer (University of Passau) 14.00 - 14.45 An elementary derivation of the Alternating Bit Protocol W.H.J. Feyen, A.J.M. van Gasteren (Eindhoven University of Technology) and Birgit Schieder (M|nchen Technical University) 14.45 - 15.30 Slack elasticity in concurrent computing Rajit Manohar and Alain J. Martin (Caltech) 15.30 - 16.00 Break Session 9. Chair: Mary Sheeran (Chalmers Technical University) 16.00 - 16.45 A Semantic Approach to Secure Information Flow K. Rustan M. Leino (DEC SRC) and Rajeev Joshi (University of Texas, Austin) 16.45 End of Mathematics of Program Construction 1998 VENUE Marstrand is a small island on the beautiful westcoast of Sweden, 40 km from Gvteborg. The charming old houses, the fortress, the walking paths, and the absence of cars make this island a very pleasant resort. There are direct flights to Gvteborg Landvetter from most European main cities, and busses from Gvteborg to Marstrand. PROGRAMME COMMITTEE Ralph-Johan Back Finland Roland Backhouse The Netherlands Richard Bird UK Eerke Boiten UK Dave Carrington Australia Robin Cockett Canada David Gries USA Lindsay Groves New Zealand Wim Hesselink The Netherlands Zhenjiang Hu Japan Barry Jay Australia Johan Jeuring Sweden (Chair) Dick Kieburtz USA Christian Lengauer Germany Lambert Meertens The Netherlands Sigurd Meldal Norway Bernhard Mvller Germany Chris Okasaki USA Jose Oliveira Portugal Ross Paterson UK Mary Sheeran Sweden Doug Smith USA LOCAL ORGANISATION MPC '98 is organised by the Computing Science department of Chalmers University of Technology and University of Gvteborg. The organisation committee consists of the following people: Patrik Jansson Johan Jeuring Marie Larsson Mary Sheeran From owner-reliable_computing Thu Mar 12 05:19:27 1998 Received: by interval.usl.edu id AA14094 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 12 Mar 1998 09:19:46 -0600 Received: from mail2.uts.ohio-state.edu by interval.usl.edu with SMTP id AA14088 (5.65c/IDA-1.4.4 for ); Thu, 12 Mar 1998 09:19:40 -0600 Received: from rmoore.acs.ohio-state.edu (ts27-2.homenet.ohio-state.edu [140.254.114.57]) by mail2.uts.ohio-state.edu (8.8.8/8.8.8) with SMTP id KAA23930 for ; Thu, 12 Mar 1998 10:19:27 -0500 (EST) Date: Thu, 12 Mar 1998 10:19:27 -0500 (EST) Message-Id: <199803121519.KAA23930 [at] mail2 [dot] uts.ohio-state.edu> X-Sender: rmoore [at] pop [dot] service.ohio-state.edu X-Mailer: Windows Eudora Pro Version 2.1.2 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: reliable_computing [at] interval [dot] usl.edu From: Ramon Edgar Moore Subject: The asteroid 1997XF11 Sender: owner-reliable_computing Precedence: bulk Dear Colleagues, By now you will have heard a news account of the mile-wide asteroid known as 1997XF11. Current observational data and calculations predict it may come within 30,000 miles of earth's center. Up there about where the weather satellites are. Maybe closer. Maybe even a collision? For further details, you can visit the website: http://cfa-www.harvard.edu/iau/pressreleases/1997XF11.html The asteroid has a period of about two years. As more observations are made, during 2000 and 2002 and beyond, enough information should be accumulated to make more and more accurate predictions, especially if we use interval methods! Here is a worthy challenge: to see if we can call the shot! It is a calculation in which the entire world will be interested. Ramon Moore From owner-reliable_computing Thu Mar 12 04:23:45 1998 Received: by interval.usl.edu id AA14400 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 12 Mar 1998 10:24:44 -0600 Received: from bp.ucs.usl.edu by interval.usl.edu with SMTP id AA14394 (5.65c/IDA-1.4.4 for ); Thu, 12 Mar 1998 10:24:42 -0600 Received: from rbk5287.usl.edu (liberty.usl.edu) (liberty.usl.edu [130.70.46.171]) by bp.ucs.usl.edu with SMTP id AA19122 (5.65c/IDA-1.4.4 for ); Thu, 12 Mar 1998 10:24:41 -0600 Message-Id: <2.2.32.19980312162345.0085b94c [at] pop [dot] usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Thu, 12 Mar 1998 10:23:45 -0600 To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: Re: The asteroid 1997XF11 Sender: owner-reliable_computing Precedence: bulk Yes, indeed. It would be an interesting interplay between the modelling and the computation. We'll need to understand precisely WHERE the uncertainty is entering, and know that we have valid bounds on the measurement uncertainties (unknown masses, unknown small objects, unknown effects of roundoff error, etc.) However, the time by which an answer is needed is sufficiently long that it looks like we have a good chance of success! Best regards, Baker Kearfott At 10:19 AM 3/12/98 -0500, Ramon Edgar Moore wrote: >Dear Colleagues, > >By now you will have heard a news account of the mile-wide asteroid known as >1997XF11. Current observational data and calculations predict it may come >within 30,000 miles of earth's center. Up there about where the weather >satellites are. Maybe closer. Maybe even a collision? > >For further details, you can visit the website: > > http://cfa-www.harvard.edu/iau/pressreleases/1997XF11.html > >The asteroid has a period of about two years. As more observations are made, >during 2000 and 2002 and beyond, enough information should be accumulated to >make more and more accurate predictions, especially if we use interval methods! > >Here is a worthy challenge: to see if we can call the shot! > >It is a calculation in which the entire world will be interested. > >Ramon Moore > > > > --------------------------------------------------------------- R. Baker Kearfott, rbk [at] usl [dot] edu (318) 482-5346 (fax) (318) 482-5270 (work) (318) 981-9744 (home) URL: http://interval.usl.edu/kearfott.html Department of Mathematics, University of Southwestern Louisiana USL Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing Mon Mar 16 00:32:31 1998 Received: by interval.usl.edu id AA16061 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 16 Mar 1998 10:35:42 -0600 Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA16055 (5.65c/IDA-1.4.4 for ); Mon, 16 Mar 1998 10:35:36 -0600 Received: from Eng.Sun.COM ([129.146.1.13]) by venus.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id IAA17385 for ; Mon, 16 Mar 1998 08:33:35 -0800 Received: from thestork.eng.sun.com (thestork.Eng.Sun.COM [129.146.88.47]) by Eng.Sun.COM (SMI-8.6/SMI-5.3) with ESMTP id IAA15660 for ; Mon, 16 Mar 1998 08:32:32 -0800 Received: from gww (gww.Eng.Sun.COM) by thestork.eng.sun.com (Sun Internet Mail Server sims.3.2.1998.01.03.00.26) with SMTP id <0EPX0079E7A60D [at] thestork [dot] eng.sun.com> for reliable_computing [at] interval [dot] usl.edu; Mon, 16 Mar 1998 08:32:30 -0800 (PST) Date: Mon, 16 Mar 1998 08:32:31 -0800 (PST) From: William Walster Subject: Senior Interval SQE Position To: reliable_computing [at] interval [dot] usl.edu Reply-To: William Walster Message-Id: <0EPX0079F7A60D [at] thestork [dot] eng.sun.com> Mime-Version: 1.0 X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4m sparc Content-Type: TEXT/plain; charset=us-ascii Content-Md5: mKaU6DTMsTmulsPDfDbI2A== Sender: owner-reliable_computing Precedence: bulk Please send resumes if you are interested in this position, or leads to possible candidates. Thanks, Bill Walster ------------------ Job Title: Interval Software Quality Engineering (SQE) Project Leader Grade: Staff Engineer Job Description Testing compilers that support interval arithmetic presents new and interesting challenges in software testing as well as numerical and interval analysis. The person holding this job will be responsible for leading a team of SQE engineers to implement and run tests required to guarantee the quality of compilers supporting interval arithmetic. The SQE team testing compiler support for intervals will have the opportunity to "write the book" regarding how to test and validate compiler support for interval data types. The ideal candidate for this position will have the following skills, experience, and interests: - Compiler testing - Interval analysis - Numerical analysis - Compiler optimizations and parallelization - Fortran - C/C++ - Unix/Solaris - Unix tools such as make, sccs - Testing methodologies, tools and techniques The person holding this job will need to have good interpersonal and leadership skills. Some domestic and international travel will be expected. From owner-reliable_computing Mon Mar 16 18:58:43 1998 Received: by interval.usl.edu id AA16332 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 16 Mar 1998 11:00:49 -0600 Received: from liasun13.epfl.ch by interval.usl.edu with SMTP id AA16324 (5.65c/IDA-1.4.4 for ); Mon, 16 Mar 1998 11:00:28 -0600 Received: from liasg4.epfl.ch (liasg4.epfl.ch [128.178.155.30]) by liasun13.epfl.ch (8.7.5/8.7.3) with ESMTP id RAA22699; Mon, 16 Mar 1998 18:00:00 +0100 (MET) Received: (from haroud@localhost) by liasg4.epfl.ch (8.7.5/8.7.3) id RAA09191; Mon, 16 Mar 1998 17:58:43 +0100 (MET) Date: Mon, 16 Mar 1998 17:58:43 +0100 (MET) Message-Id: <199803161658.RAA09191 [at] liasg4 [dot] epfl.ch> From: Djamila Haroud To: csp@www-bia.inria.fr.epfl.ch, clp [at] iscs [dot] nus.edu.sg, reliable_computing [at] interval [dot] usl.edu Subject: PhD studentship Sender: owner-reliable_computing Precedence: bulk The artificial intelligence laboratory (LIA) of the Swiss federal institute of technology in Lausanne (EPFL, Switzerland) is seeking to fill a PhD studentship on a research project in numerical constraint satisfaction. The project aims at bringing basic research together with practical requirements from engineering applications. Candidates with a strong background in relevant disciplines (applied mathematics, operation research, computer sciences ...) are particularly encouraged to apply. The work will be performed in an international and dynamic environment with a competitive salary. The doctorate will start in 1998 and interested candidates are invited to apply as soon as possible. ------------------------------------------------------------------------------- Djamila Sam-Haroud| haroud [at] lia [dot] di.epfl.ch ArtificiaI Intelligence lab. Swiss Federal Institute of Technology(EPFL) DI-Ecublens, 1015 Lausanne Switzerland. Voice: +41 21 693 52 09 Fax: +41 21 693 52 25 ------------------------------------------------------------------------------ From owner-reliable_computing Mon Mar 16 17:21:32 1998 Received: by interval.usl.edu id AA16817 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 16 Mar 1998 14:18:41 -0600 Received: from mailserver.di.unipi.it (memphis.di.unipi.it) by interval.usl.edu with SMTP id AA16810 (5.65c/IDA-1.4.4 for ); Mon, 16 Mar 1998 14:18:29 -0600 Organization: Dipartimento di Informatica di Pisa - Italy Received: from mox.di.unipi.it (mox.di.unipi.it [131.114.4.238]) by mailserver.di.unipi.it (8.8.8/8.8.8) with SMTP id QAA11485; Mon, 16 Mar 1998 16:11:24 +0100 (MET) Message-Id: <3.0.5.32.19980316162132.00797740 [at] mailserver [dot] di.unipi.it> X-Sender: bista [at] mailserver [dot] di.unipi.it (Unverified) X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.5 (32) Date: Mon, 16 Mar 1998 16:21:32 +0100 To: types [at] cs [dot] indiana.edu From: Stefano Bistarelli Subject: 3rd CP98 call for papers Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-reliable_computing Precedence: bulk --------------------------------------------------------- Apologies if you receive this more than once! --------------------------------------------------------- --------------------------------------------------------------------- CALL FOR PAPERS -- CP98 --------------------------------------------------------------------- Fourth International Conference on Principles and Practice of Constraint Programming Pisa, Italy, October 26--30, 1998 http://www.di.unipi.it/cp98/ --------------------------------------------------------------------- Scope of the conference: ----------------------- Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. The conference is concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Contributions are welcome from any discipline concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, symbolic computation. We also solicit papers from any domain employing constraints, including: computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, vision, visualization, user interfaces. Papers that bridge disciplines or combine theory and practice are especially welcome. Conference Chair: ----------------- Francesca Rossi, University of Pisa, rossi [at] di [dot] unipi.it Program Co-Chairs: ------------------ Michael Maher Jean-Francois Puget School of Computing and Information Technology ILOG Griffith University 9 av. Verdun Nathan Queensland 4111 94253 Gentilly Australia France M.Maher [at] cit [dot] gu.edu.au puget [at] ilog [dot] fr Workshop chair: --------------- Roland Yap Dept. of Information Systems and Comp. Science National Univ. of Singapore Lower Kent Ridge Road Singapore 119260 Republic of Singapore ryap [at] iscs [dot] nus.edu.sg Program Committee: ------------------ Peter van Beek (Univ. of Alberta), Christian Bessiere (LIRMM-CNRS), Alexander Bockmayr (MPI), Alex Brodsky (George Mason Univ.), Yves Caseau (Bouygues), Philippe Codognet (INRIA and Sony CSL), Rina Dechter (UC Irvine), Yves Deville (Univ. Cath. de Louvain), Boi Faltings (LIA-EPFL), Maurizio Gabbrielli (Univ. of Pisa), Ian Gent (Univ. of Strathclyde), Nevin Heintze (Bell Lab.), Manolis Koubarakis (UMIST), Jimmy Lee (Chinese Univ. of Hong Kong), Alan Mackworth (Univ. of British Columbia), Kim Marriott (Monash Univ.), Wim Nuijten (ILOG), Catuscia Palamidessi (Penn State Univ.), Francesca Rossi (Univ. of Pisa), Helmut Simonis (Cosytec), Barbara Smith (Univ. of Leeds), Peter Stuckey (Univ. of Melbourne), Ralf Treinen (Univ. of Paris-Sud), Michel Van Caneghem (Uiniv. of Marseilles and Prologia), Dirk Van Gucht (Indiana Univ.), Makoto Yokoo (NTT). Organizing Committee: --------------------- A. Borning (Univ. of Washington), J. Cohen (Brandeis Univ.), A. Colmerauer (Univ. of Marseille), E. Freuder, chair (Univ. of New Hampshire), H. Gallaire (Xerox), J.-P. Jouannaud (Univ. of Paris Sud), J.-L. Lassez (New Mexico Tech), U. Montanari (Univ. of Pisa), A. Nerode (Cornell Univ.), V. Saraswat (AT&T Research), G. Smolka (DFKI and Univ. Saarlandes), R. Wachter (Office of Naval Research). Paper submissions: ------------------ Authors should submit abstracts by April 20 and original full papers of no more than 15 pages by April 24. Submission should be done by sending two emails to cp98 [at] ilog [dot] fr. The first email should have subject: CP'98 abstract followed by the paper title; the body should contain the title, authors and a short abstract of the paper in plain text. This email must be sent by April 20. The second email should have subject: CP'98 paper followed by the paper title; the body should contain a postscript file. For authors who are unable to submit electronically, five paper copies can be mailed to one of the program chairs. In that case the package should arrive no later than April 24. Publication: ------------ The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. A special issue of the Constraints journal (Kluwer Academic Publishers) is planned, based on selected papers. Conference Format and Program: ------------------------------ CP98 will take place in Pisa, a pleasant small town in the Tuscany region of Italy. The conference will be five days long from Monday to Friday. The invited speakers are Joxan Jaffar (National University of Singapore), Patrick Prosser (University of Strathclyde, UK), and Peter Jeavons (Royal Holloway, University of London). Workshops: ---------- Satellite workshops will be organized on Friday, October 30. Workshop proposals can be submitted to the workshop chair by March 27, 1998. The details can be found in the call for workshop proposal, which can be seen on the CP98 web page. Important dates: ---------------- -- April 20, 1998: abstract submissions -- April 24, 1998: paper submissions -- July 2, 1988: acceptance decisions -- July 31, 1998: camera-ready copy due Sponsorships: ------------- CP98 is jointly sponsored by AI*IA (Italy), APT Pisa (Italy), Cosytec (France), ILOG (France), SINTEF (Norway), Prologia (France), ToscoDati (Italy), and Compulog Net. Other sponsorships are pending. From owner-reliable_computing Sat Mar 21 14:11:29 1998 Received: by interval.usl.edu id AA01669 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 21 Mar 1998 22:11:36 -0600 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA01663 (5.65c/IDA-1.4.4 for ); Sat, 21 Mar 1998 22:11:32 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA26565; Sat, 21 Mar 98 21:11:29 MST Date: Sat, 21 Mar 98 21:11:29 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9803220411.AA26565 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: [CCA] RealComp'98 - First Announcement Sender: owner-reliable_computing Precedence: bulk ----- Begin Included Message ----- From owner-cca-list@FernUni-Hagen.de Sat Mar 21 05:25:27 1998 From: Philipp Sunderhauf Subject: [CCA] RealComp'98 - First Announcement To: cca-list@FernUni-Hagen.de Date: Sat, 21 Mar 1998 12:06:11 +0000 (GMT) X-Mailer: ELM [version 2.4 PL24] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: owner-cca-list@FernUni-Hagen.de Content-Length: 3930 First Announcement Real Number Computation Tutorial Workshop / Summer School June 19-20, 1998 Indianapolis, Indiana, USA, preceding the IEEE Symposium on Logic in Computer Science (LICS) Workshop url: http://theory.doc.ic.ac.uk/~ps15/ws/ Motivation The usual implementation of real numbers in today's computers as floating point numbers has the well-known deficiency that most numbers can only be represented up to some fixed accuracy. This means that even the basic arithmetic operations can not be performed exactly, leading to the ubiquitous round-off errors. This is a serious problem in all disciplines where high accuracy calculations are required. Many different disciplines deal with Real Number Computation in a broad sense. One of the ultimate goals of the theoretical and practical research in this area is to overcome the above mentioned problems by improving the present implementations and algorithms or providing alternatives. Aims and Scope The meeting aims to present an introduction to the interdisciplinary area of Real Number Computation. The subject is understood in a broad sense and covers various different fields like Recursion Theory, Interval Analysis, Computer Arithmetic, Semantics of Programming Languages and Numerical Analysis. All talks will be accessible to graduate students in any area of computer science, logic and mathematics. The workshop is also meant to provide researchers from the various different communities an opportunity to meet and exchange ideas. Speakers Douglas Bridges (University of Waikato, Hamilton, New Zealand)* George Corliss (Marquette University, Milwaukee, USA) Abbas Edalat (Imperial College, London, UK) Martin Escardo (University of Edinburgh, UK) Reinhold Heckmann (Universitaet des Saarlandes, Saarbruecken, Germany) Ker-I Ko (SUNY at Stony Brook, USA)* Ulrich Kulisch (Technical University of Karlsruhe, Germany) David Matula (Southern Methodist University, Dallas, USA) Jean-Michel Muller (Ecole Normale Superieure, Lyon, France) Peter Potts (Imperial College, London, UK) Marian Pour-El (University of Minnesota, Minneapolis, USA)* Dana Scott (Carnegie Mellon University, Pittsburgh, USA) Alex Simpson (University of Edinburgh, UK)* Philipp Sunderhauf (Imperial College, London, UK) John Tucker (University of Wales, Swansea, UK)* Klaus Weihrauch (University of Hagen, Germany) * = to be confirmed Time and Place The workshop will take place in Indianapolis, Indiana (USA) on Friday and Saturday, 19-20 June, 1998, just before the Symposium on Logic in Computer Science (LICS), which will be on 21-24 June. RealComp'98 is in parallel with a Workshop on Probabilistic Methods in Verification (PROBMIV'98). Participants of either workshop will be able to attend the other. Registration Registration information will be available soon on the workshop homepage at the url http://theory.doc.ic.ac.uk/~ps15/ws/ There will be a discounted registration fee for those attending both RealComp'98 and the LICS symposium. It will also be possible to register for RealComp'98 and just one day of LICS. Organisers Abbas Edalat Dept of Computing Imperial College 180 Queen's Gate London SW7 2BZ, UK A.Edalat [at] doc [dot] ic.ac.uk Achim Jung School of Computer Science University of Birmingham Edgbaston, B15 2TT, UK A.Jung [at] cs [dot] bham.ac.uk Dana Scott Computer Science Department Wean Hall Carnegie Mellon University Pittsburgh, PA 15213-3890, USA Dana.Scott [at] cs [dot] cmu.edu Philipp Sunderhauf Dept of Computing Imperial College 180 Queen's Gate London SW7 2BZ, UK P.Sunderhauf [at] doc [dot] ic.ac.uk -- Philipp S"underhauf Department of Computing Imperial College, London SW7 2BZ P.Sunderhauf [at] doc [dot] ic.ac.uk http://theory.doc.ic.ac.uk/~ps15 ----- End Included Message ----- From owner-reliable_computing Fri Mar 20 19:52:03 1998 Received: by interval.usl.edu id AA17580 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 23 Mar 1998 15:55:19 -0600 Received: from mailserver.di.unipi.it (memphis.di.unipi.it) by interval.usl.edu with SMTP id AA17574 (5.65c/IDA-1.4.4 for ); Mon, 23 Mar 1998 15:55:12 -0600 Organization: Dipartimento di Informatica di Pisa - Italy Received: from mox.di.unipi.it (mox.di.unipi.it [131.114.4.238]) by mailserver.di.unipi.it (8.8.8/8.8.8) with SMTP id SAA18036; Fri, 20 Mar 1998 18:41:35 +0100 (MET) Message-Id: <3.0.5.32.19980320185203.00798450 [at] mailserver [dot] di.unipi.it> X-Sender: bista [at] mailserver [dot] di.unipi.it (Unverified) X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.5 (32) Date: Fri, 20 Mar 1998 18:52:03 +0100 To: types [at] cs [dot] indiana.edu From: Stefano Bistarelli Subject: CP98: final call for workshop proposals Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-reliable_computing Precedence: bulk --------------------------------------------------------- Apologies if you receive this more than once! --------------------------------------------------------- ----------------------------------------------------------------------- CP98 Fourth International Conference on Principles and Practice of Constraint Programming Call For CP98 Post-Conference Workshop Proposals ----------------------------------------------------------------------- Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. The Fourth International Conference on Principles and Practice of Constraint Programming (CP98) will be held on October 26-30, 1998 at Pisa, Italy and is the main conference devoted to all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. In conjunction with the main conference, several post-conference workshops are planned at the end of the conference on October 30, 1998. The role of the post-conference workshops is to provide a platform for the presentation of preliminary work or novel ideas in a less formal way than the conference itself. It is an opportunity to disseminate work in progress, particularly so for new researchers. It also provides a venue for presenting more specialised topics and opportunities for more intensive discussions and exchange of ideas. The topics of the workshops can cover any area related to constraints and any related cross-disciplinary areas. The format of the workshop will be determined by the organizers. Workshops can vary in length with an expected duration ranging from half a day up to one day. Having two or three co-organizers for a workshop is strongly advised. How to Propose a Workshop: -------------------------- Proposals for workshops should be in English and between two to four pages in length. They should contain: * the title of the workshop * a brief technical description of the topics covered by the workshop * a discussion of the timeliness and relevance of the workshop * the names, affiliation and contact details (email, web page, phone, fax, etc) of the workshop organizing committee together with a designated contact person as the workshop coordinator * a preliminary plan/schedule for organizing the workshop * a list of previously-organized related workshops by any of the workshop organizing committee. Although previous experience with organizing similar workshops is not required, this information will be helpful to the Workshop Chair Workshop organizers will be responsible for: -------------------------------------------- * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page/URL which can be linked into the CP98 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Making the accepted papers available to the workshop participants. Submission Procedure: --------------------- Proposals should be submitted electronically (in ASCII, Ghostscript compatible Postscript or LaTeX) to the CP98 Workshop Chair, Roland Yap, at the following address: Roland Yap, CP98 Workshop Chair Department of Information Systems and Computer Science National University of Singapore Lower Kent Ridge Road Singapore 119260 Republic of Singapore Email: ryap [at] iscs [dot] nus.edu.sg Url: http://www.iscs.nus.edu.sg/~ryap Tel: +65 874-2972 Fax: +65 779-4580 Deadlines: ---------- Workshop proposal submission by: Fri, Mar 27, 1998 Notification by: Fri, Apr 6, 1998 For more information, please see the CP98 home page: http://www.di.unipi.it/~bista/cp98 From owner-reliable_computing Mon Mar 23 12:30:39 1998 Received: by interval.usl.edu id AA17905 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 23 Mar 1998 16:25:04 -0600 Received: from mailserver.di.unipi.it (memphis.di.unipi.it) by interval.usl.edu with SMTP id AA17899 (5.65c/IDA-1.4.4 for ); Mon, 23 Mar 1998 16:25:00 -0600 Organization: Dipartimento di Informatica di Pisa - Italy Received: from mox.di.unipi.it (mox.di.unipi.it [131.114.4.238]) by mailserver.di.unipi.it (8.8.8/8.8.8) with SMTP id LAA18274; Mon, 23 Mar 1998 11:19:57 +0100 (MET) Message-Id: <3.0.5.32.19980323113039.0079fa20 [at] mailserver [dot] di.unipi.it> X-Sender: bista [at] mailserver [dot] di.unipi.it (Unverified) X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.5 (32) Date: Mon, 23 Mar 1998 11:30:39 +0100 To: (Recipient list suppressed) From: Stefano Bistarelli Subject: CP98: final call for workshop proposals Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-reliable_computing Precedence: bulk --------------------------------------------------------- Apologies if you receive this more than once! --------------------------------------------------------- ----------------------------------------------------------------------- CP98 Fourth International Conference on Principles and Practice of Constraint Programming Call For CP98 Post-Conference Workshop Proposals ----------------------------------------------------------------------- Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. The Fourth International Conference on Principles and Practice of Constraint Programming (CP98) will be held on October 26-30, 1998 at Pisa, Italy and is the main conference devoted to all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. In conjunction with the main conference, several post-conference workshops are planned at the end of the conference on October 30, 1998. The role of the post-conference workshops is to provide a platform for the presentation of preliminary work or novel ideas in a less formal way than the conference itself. It is an opportunity to disseminate work in progress, particularly so for new researchers. It also provides a venue for presenting more specialised topics and opportunities for more intensive discussions and exchange of ideas. The topics of the workshops can cover any area related to constraints and any related cross-disciplinary areas. The format of the workshop will be determined by the organizers. Workshops can vary in length with an expected duration ranging from half a day up to one day. Having two or three co-organizers for a workshop is strongly advised. How to Propose a Workshop: -------------------------- Proposals for workshops should be in English and between two to four pages in length. They should contain: * the title of the workshop * a brief technical description of the topics covered by the workshop * a discussion of the timeliness and relevance of the workshop * the names, affiliation and contact details (email, web page, phone, fax, etc) of the workshop organizing committee together with a designated contact person as the workshop coordinator * a preliminary plan/schedule for organizing the workshop * a list of previously-organized related workshops by any of the workshop organizing committee. Although previous experience with organizing similar workshops is not required, this information will be helpful to the Workshop Chair Workshop organizers will be responsible for: -------------------------------------------- * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page/URL which can be linked into the CP98 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Making the accepted papers available to the workshop participants. Submission Procedure: --------------------- Proposals should be submitted electronically (in ASCII, Ghostscript compatible Postscript or LaTeX) to the CP98 Workshop Chair, Roland Yap, at the following address: Roland Yap, CP98 Workshop Chair Department of Information Systems and Computer Science National University of Singapore Lower Kent Ridge Road Singapore 119260 Republic of Singapore Email: ryap [at] iscs [dot] nus.edu.sg Url: http://www.iscs.nus.edu.sg/~ryap Tel: +65 874-2972 Fax: +65 779-4580 Deadlines: ---------- Workshop proposal submission by: Fri, Mar 27, 1998 Notification by: Fri, Apr 6, 1998 For more information, please see the CP98 home page: http://www.di.unipi.it/~bista/cp98 From owner-reliable_computing Mon Mar 23 07:21:17 1998 Received: by interval.usl.edu id AA18304 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 23 Mar 1998 17:21:24 -0600 Received: from mercury.Sun.COM by interval.usl.edu with SMTP id AA18298 (5.65c/IDA-1.4.4 for ); Mon, 23 Mar 1998 17:21:21 -0600 Received: from Eng.Sun.COM (engmail2 [129.146.1.25]) by mercury.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id PAA12047 for ; Mon, 23 Mar 1998 15:21:18 -0800 Received: from thestork.eng.sun.com (thestork.Eng.Sun.COM [129.146.88.47]) by Eng.Sun.COM (SMI-8.6/SMI-5.3) with ESMTP id PAA13055 for ; Mon, 23 Mar 1998 15:21:18 -0800 Received: from gww (gww.Eng.Sun.COM) by thestork.eng.sun.com (Sun Internet Mail Server sims.3.2.1998.01.03.00.26) with SMTP id <0EQA009F2OVFZ4 [at] thestork [dot] eng.sun.com> for reliable_computing [at] interval [dot] usl.edu; Mon, 23 Mar 1998 15:21:16 -0800 (PST) Date: Mon, 23 Mar 1998 15:21:17 -0800 (PST) From: William Walster Subject: Call for performance x sharpness benchmarks To: reliable_computing [at] interval [dot] usl.edu Reply-To: William Walster Message-Id: <0EQA009F3OVGZ4 [at] thestork [dot] eng.sun.com> Mime-Version: 1.0 X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4m sparc Content-Type: TEXT/plain; charset=us-ascii Content-Md5: sxyUVInE+TOOGviD05Xsww== Sender: owner-reliable_computing Precedence: bulk Please send codes, pointers to codes, or simply algorithms, that might be used to begin a set of tests that can be used to measure interval performance x sharpness. Ideally, it will be nice if the width of the final interval results can be selected. That way, multiple points in the performance x sharpness plane can be plotted for each test. Thanks in advance, Bill Walster From owner-reliable_computing Mon Mar 23 12:14:40 1998 Received: by interval.usl.edu id AA18648 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 23 Mar 1998 20:15:22 -0600 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA18642 (5.65c/IDA-1.4.4 for ); Mon, 23 Mar 1998 20:14:48 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA05525; Mon, 23 Mar 98 19:14:40 MST Date: Mon, 23 Mar 98 19:14:40 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9803240214.AA05525 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: award to interval researcher Sender: owner-reliable_computing Precedence: bulk This year, the local Outstanding International Student Award is awarded to Tran Cao Son, a doctoral student from Vietnam. Tran Son was one of the leaders of the team whose interval-using robot won 1st place in the 1997 international robotic competition organized by the American Association for Artifical Intelligence (AAAI). This is a special year for this award because on April 25, 1998, El Paso, the first city in what is now continental USA, will celebrate its 400th anniversary. Among other distinguished speakers, Evgeny Evtushenko, the famous Russian poet, will speak at the Awards ceremony. From owner-reliable_computing Tue Mar 24 01:55:57 1998 Received: by interval.usl.edu id AA19197 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 24 Mar 1998 11:56:18 -0600 Received: from mercury.Sun.COM by interval.usl.edu with SMTP id AA19191 (5.65c/IDA-1.4.4 for ); Tue, 24 Mar 1998 11:56:02 -0600 Received: from Eng.Sun.COM (engmail2 [129.146.1.25]) by mercury.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id JAA05942 for ; Tue, 24 Mar 1998 09:56:00 -0800 Received: from thestork.eng.sun.com (thestork.Eng.Sun.COM [129.146.88.47]) by Eng.Sun.COM (SMI-8.6/SMI-5.3) with ESMTP id JAA07493 for ; Tue, 24 Mar 1998 09:55:58 -0800 Received: from gww (gww.Eng.Sun.COM) by thestork.eng.sun.com (Sun Internet Mail Server sims.3.2.1998.01.03.00.26) with SMTP id <0EQC00MC14H74T [at] thestork [dot] eng.sun.com> for reliable_computing [at] interval [dot] usl.edu; Tue, 24 Mar 1998 09:55:57 -0800 (PST) Date: Tue, 24 Mar 1998 09:55:57 -0800 (PST) From: William Walster Subject: Interval enclosure of X**Y for negative x in X To: reliable_computing [at] interval [dot] usl.edu Reply-To: William Walster Message-Id: <0EQC00MC84H94T [at] thestork [dot] eng.sun.com> Mime-Version: 1.0 X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4m sparc Content-Type: MULTIPART/mixed; BOUNDARY=Pace_of_Asses_856_000 Sender: owner-reliable_computing Precedence: bulk --Pace_of_Asses_856_000 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: VnPcnMaNUQfGwTFR3UAtsg== Friends, For floating-point numbers, x**y is not defined for negative x and non- integer y. This is not true for an interval enclosure, X**Y, of x**y, provided the width, w(Y) > 0. Please review the attached development of a simple algorithm to compute the enclosure, X**Y. If you see any problems, or have any suggestions, please send them to me. I will be delighted if you can think of an application. For a more detailed discussion of limit sets at singularities, please see: The extended real interval system at http://www.mscs.mu.edu/~globsol/readings.html#Walster Thanks in advance, Bill Walster P.S. I wish to especially thank David Hough and Arnold Neumaier for their penetrating questions that stimulated the discovery of this algorithm. Also, I wish to thank Dmitri Chiriaev, Michael Ingrassia, Eldon Hansen, Ramon Moore, and Arnold Neumaier for reviewing and suggesting improvements to earlier drafts of the extended real interval paper. P.P.S. If anybody has problems with postscript and needs a fax, please send email. --Pace_of_Asses_856_000 Content-Type: APPLICATION/postscript; name="algorithm2.ps"; x-unix-mode=0664 Content-Transfer-Encoding: BASE64 Content-Description: algorithm2.ps Content-MD5: m844Yc7vdzTdx3D3cycs7g== JSFQUy1BZG9iZS0yLjAKJSVDcmVhdG9yOiBkdmlwcyA1LjQ3IENvcHlyaWdo dCAxOTg2LTkxIFJhZGljYWwgRXllIFNvZnR3YXJlCiUlVGl0bGU6IGFsZ29y aXRobTIuZHZpCiUlUGFnZXM6IDMgMQolJUJvdW5kaW5nQm94OiAwIDAgNjEy IDc5MgolJUVuZENvbW1lbnRzCiUlQmVnaW5Qcm9jU2V0OiB0ZXgucHJvCi9U ZVhEaWN0IDIwMCBkaWN0IGRlZiBUZVhEaWN0IGJlZ2luIC9OIC9kZWYgbG9h ZCBkZWYgL0J7YmluZCBkZWZ9TiAvUyAvZXhjaApsb2FkIGRlZiAvWHtTIE59 QiAvVFIgL3RyYW5zbGF0ZSBsb2FkIE4gL2lzbHMgZmFsc2UgTiAvdnNpemUg MTAgTiAvQHJpZ2luewppc2xze1swIDEgLTEgMCAwIDBdY29uY2F0fWlmIDcy IFJlc29sdXRpb24gZGl2IDcyIFZSZXNvbHV0aW9uIGRpdiBuZWcgc2NhbGUK UmVzb2x1dGlvbiBWUmVzb2x1dGlvbiB2c2l6ZSBuZWcgbXVsIFRSIG1hdHJp eCBjdXJyZW50bWF0cml4IGR1cCBkdXAgNCBnZXQKcm91bmQgNCBleGNoIHB1 dCBkdXAgZHVwIDUgZ2V0IHJvdW5kIDUgZXhjaCBwdXQgc2V0bWF0cml4fU4g L0BsZXR0ZXJ7L3ZzaXplIDEwCk59QiAvQGxhbmRzY2FwZXsvaXNscyB0cnVl IE4gL3ZzaXplIC0xIE59QiAvQGE0ey92c2l6ZSAxMC42OTI5MTMzODU4IE59 QiAvQGEzewovdnNpemUgMTUuNTUzMSBOfUIgL0BsZWRnZXJ7L3ZzaXplIDE2 IE59QiAvQGxlZ2Fsey92c2l6ZSAxMyBOfUIgL0BtYW51YWxmZWVkewpzdGF0 dXNkaWN0IC9tYW51YWxmZWVkIHRydWUgcHV0fUIgL0Bjb3BpZXN7LyNjb3Bp ZXMgWH1CIC9GTWF0WzEgMCAwIC0xIDAgMF1OCi9GQkJbMCAwIDAgMF1OIC9u biAwIE4gL0lFIDAgTiAvY3RyIDAgTiAvZGYtdGFpbHsvbm4gOCBkaWN0IE4g bm4gYmVnaW4KL0ZvbnRUeXBlIDMgTiAvRm9udE1hdHJpeCBmbnRyeCBOIC9G b250QkJveCBGQkIgTiBzdHJpbmcgL2Jhc2UgWCBhcnJheQovQml0TWFwcyBY IC9CdWlsZENoYXJ7Q2hhckJ1aWxkZXJ9TiAvRW5jb2RpbmcgSUUgTiBlbmQg ZHVwey9mb28gc2V0Zm9udH0yCmFycmF5IGNvcHkgY3Z4IE4gbG9hZCAwIG5u IHB1dCAvY3RyIDAgTlt9QiAvZGZ7L3NmIDEgTiAvZm50cnggRk1hdCBOIGRm LXRhaWx9CkIgL2Rmc3tkaXYgL3NmIFggL2ZudHJ4W3NmIDAgMCBzZiBuZWcg MCAwXU4gZGYtdGFpbH1CIC9Fe3BvcCBubiBkdXAgZGVmaW5lZm9udApzZXRm b250fUIgL2NoLXdpZHRoe2NoLWRhdGEgZHVwIGxlbmd0aCA1IHN1YiBnZXR9 QiAvY2gtaGVpZ2h0e2NoLWRhdGEgZHVwCmxlbmd0aCA0IHN1YiBnZXR9QiAv Y2gteG9mZnsxMjggY2gtZGF0YSBkdXAgbGVuZ3RoIDMgc3ViIGdldCBzdWJ9 QiAvY2gteW9mZnsKY2gtZGF0YSBkdXAgbGVuZ3RoIDIgc3ViIGdldCAxMjcg c3VifUIgL2NoLWR4e2NoLWRhdGEgZHVwIGxlbmd0aCAxIHN1YiBnZXR9Qgov Y2gtaW1hZ2V7Y2gtZGF0YSBkdXAgdHlwZSAvc3RyaW5ndHlwZSBuZXtjdHIg Z2V0IC9jdHIgY3RyIDEgYWRkIE59aWZ9QiAvaWQgMApOIC9ydyAwIE4gL3Jj IDAgTiAvZ3AgMCBOIC9jcCAwIE4gL0cgMCBOIC9zZiAwIE4gL0NoYXJCdWls ZGVye3NhdmUgMyAxIHJvbGwgUwpkdXAgL2Jhc2UgZ2V0IDIgaW5kZXggZ2V0 IFMgL0JpdE1hcHMgZ2V0IFMgZ2V0IC9jaC1kYXRhIFggcG9wIC9jdHIgMCBO IGNoLWR4IDAKY2gteG9mZiBjaC15b2ZmIGNoLWhlaWdodCBzdWIgY2gteG9m ZiBjaC13aWR0aCBhZGQgY2gteW9mZiBzZXRjYWNoZWRldmljZQpjaC13aWR0 aCBjaC1oZWlnaHQgdHJ1ZVsxIDAgMCAtMSAtLjEgY2gteG9mZiBzdWIgY2gt eW9mZiAuMSBhZGRde2NoLWltYWdlfQppbWFnZW1hc2sgcmVzdG9yZX1CIC9E ey9jYyBYIGR1cCB0eXBlIC9zdHJpbmd0eXBlIG5le119aWYgbm4gL2Jhc2Ug Z2V0IGNjIGN0cgpwdXQgbm4gL0JpdE1hcHMgZ2V0IFMgY3RyIFMgc2YgMSBu ZXtkdXAgZHVwIGxlbmd0aCAxIHN1YiBkdXAgMiBpbmRleCBTIGdldCBzZgpk aXYgcHV0fWlmIHB1dCAvY3RyIGN0ciAxIGFkZCBOfUIgL0l7Y2MgMSBhZGQg RH1CIC9ib3B7dXNlcmRpY3QgL2JvcC1ob29rCmtub3due2JvcC1ob29rfWlm IC9TSSBzYXZlIE4gQHJpZ2luIDAgMCBtb3ZldG99TiAvZW9we2NsZWFyIFNJ IHJlc3RvcmUKc2hvd3BhZ2UgdXNlcmRpY3QgL2VvcC1ob29rIGtub3due2Vv cC1ob29rfWlmfU4gL0BzdGFydHt1c2VyZGljdCAvc3RhcnQtaG9vawprbm93 bntzdGFydC1ob29rfWlmIC9WUmVzb2x1dGlvbiBYIC9SZXNvbHV0aW9uIFgg MTAwMCBkaXYgL0RWSW1hZyBYIC9JRSAyNTYKYXJyYXkgTiAwIDEgMjU1e0lF IFMgMSBzdHJpbmcgZHVwIDAgMyBpbmRleCBwdXQgY3ZuIHB1dH1mb3J9TiAv cCAvc2hvdyBsb2FkIE4KL1JNYXRbMSAwIDAgLTEgMCAwXU4gL0JEb3QgMjYw IHN0cmluZyBOIC9ydWxleCAwIE4gL3J1bGV5IDAgTiAvdnsvcnVsZXkgWAov cnVsZXggWCBWfUIgL1Ygc3RhdHVzZGljdCBiZWdpbiAvcHJvZHVjdCB3aGVy ZXtwb3AgcHJvZHVjdCBkdXAgbGVuZ3RoIDcgZ2V7MAo3IGdldGludGVydmFs KERpc3BsYXkpZXF9e3BvcCBmYWxzZX1pZmVsc2V9e2ZhbHNlfWlmZWxzZSBl bmR7e2dzYXZlIFRSIC0uMSAtLjEKVFIgMSAxIHNjYWxlIHJ1bGV4IHJ1bGV5 IGZhbHNlIFJNYXR7QkRvdH1pbWFnZW1hc2sgZ3Jlc3RvcmV9fXt7Z3NhdmUg VFIgLS4xCi0uMSBUUiBydWxleCBydWxleSBzY2FsZSAxIDEgZmFsc2UgUk1h dHtCRG90fWltYWdlbWFzayBncmVzdG9yZX19aWZlbHNlIEIgL2F7Cm1vdmV0 b31CIC9kZWx0YSAwIE4gL3RhaWx7ZHVwIC9kZWx0YSBYIDAgcm1vdmV0b31C IC9Ne1MgcCBkZWx0YSBhZGQgdGFpbH1CIC9iewpTIHAgdGFpbH1CIC9jey00 IE19QiAvZHstMyBNfUIgL2V7LTIgTX1CIC9mey0xIE19QiAvZ3swIE19QiAv aHsxIE19QiAvaXsyIE19QgovanszIE19QiAva3s0IE19QiAvd3swIHJtb3Zl dG99QiAvbHtwIC00IHd9QiAvbXtwIC0zIHd9QiAvbntwIC0yIHd9QiAvb3tw IC0xIHcKfUIgL3F7cCAxIHd9QiAvcntwIDIgd31CIC9ze3AgMyB3fUIgL3R7 cCA0IHd9QiAveHswIFMgcm1vdmV0b31CIC95ezMgMiByb2xsIHAKYX1CIC9i b3N7L1NTIHNhdmUgTn1CIC9lb3N7Y2xlYXIgU1MgcmVzdG9yZX1CIGVuZAol JUVuZFByb2NTZXQKVGVYRGljdCBiZWdpbiAxMDAwIDMwMCAzMDAgQHN0YXJ0 IC9GYSA3IDExNiBkZjxGRkZGRkZFMDAwMDBGRkZGRkZGRTAwMDBGRkZGRkYK RkY4MDAwMDNGQzAwM0ZFMDAwMDNGQzAwMEZGMDAwMDNGQzAwMDdGODAwMDNG QzAwMDNGQzAwMDNGQzAwMDFGQzAwMDNGQzAwMDFGRTAwCjAzRkMwMDAxRkUw MDAzRkMwMDAxRkUwMDAzRkMwMDAxRkUwMDAzRkMwMDAxRkUwMDAzRkMwMDAx RkUwMDAzRkMwMDAxRkMwMDAzRkMwMAowM0Y4MDAwM0ZDMDAwN0Y4MDAwM0ZD MDAwRkUwMDAwM0ZDMDAzRkMwMDAwM0ZGRkZGRTAwMDAwM0ZGRkZGRTAwMDAw M0ZDMDBGRjgwMDAKMDNGQzAwM0ZDMDAwMDNGQzAwMUZFMDAwMDNGQzAwMEZG MDAwMDNGQzAwMDdGODAwMDNGQzAwMDdGODAwMDNGQzAwMDdGODAwMDNGQzAw CjA3RjgwMDAzRkMwMDA3RjgwMDAzRkMwMDA3RjgwMDAzRkMwMDA3RjgwMDAz RkMwMDA3RjgwMDAzRkMwMDA3RjgwMDAzRkMwMDA3RjgwRQowM0ZDMDAwN0Y4 MEUwM0ZDMDAwM0Y4MEUwM0ZDMDAwMUZDMUNGRkZGRjAwMEZFMUNGRkZGRjAw MDdGRjhGRkZGRjAwMDBGRTAyRjI5N0UKQTgzMj44MiBEPDAwM0ZGMDAwMDFG RkZDMDAwM0YwM0UwMDBGQzA3RjAwMUY4MDdGMDAzRjAwN0YwMDNGMDA3RjAw N0YwMDNFMDA3RTAwCjAwMDA3RTAwMDAwMEZFMDAwMDAwRkUwMDAwMDBGRTAw MDAwMEZFMDAwMDAwRkUwMDAwMDBGRTAwMDAwMEZFMDAwMDAwN0UwMDAwMDA3 RQowMDAwMDA3RjAwMDAwMDNGMDAwMzgwM0Y4MDAzODAxRjgwMDcwMDBGRTAw RTAwMDNGODNDMDAwMUZGRjgwMDAwM0ZDMDAwMTkxQjdFOUEKMUU+OTkgRDww MDNGQzAwMDAxRkZGMDAwMDNFMDdDMDAwRjgwM0UwMDFGODAxRjAwMUYwMDFG MDAzRjAwMEY4MDdFMDAwRjgwN0UwMDBGCkMwN0UwMDBGQzBGRTAwMDdDMEZF MDAwN0MwRkZGRkZGQzBGRkZGRkZDMEZFMDAwMDAwRkUwMDAwMDBGRTAwMDAw MDdFMDAwMDAwN0UwMAowMDAwN0YwMDAwMDAzRjAwMDFDMDFGMDAwMUMwMEY4 MDAzODAwN0MwMDcwMDAzRjAxRTAwMDBGRkZDMDAwMDNGRTAwMDFBMUI3RTlB MUYKPjEwMSBEPDAwMDdGODAwM0ZGQzAwN0UzRTAxRkM3RjAzRjg3RjAzRjA3 RjA3RjA3RjA3RjAzRTA3RjAwMDA3RjAwMDA3RjAwMDA3RjAKMDAwN0YwMDAw N0YwMDAwN0YwMDBGRkZGQzBGRkZGQzBGRkZGQzAwN0YwMDAwN0YwMDAwN0Yw MDAwN0YwMDAwN0YwMDAwN0YwMDAwN0YwCjAwMDdGMDAwMDdGMDAwMDdGMDAw MDdGMDAwMDdGMDAwMDdGMDAwMDdGMDAwMDdGMDAwMDdGMDAwMDdGMDAwMDdG MDAwMDdGMDAwMDdGMAowMDA3RjAwMDdGRkY4MDdGRkY4MDdGRkY4MDE4MkE3 RUE5MTU+STxGRkMwN0UwMEZGQzFGRjgwRkZDMzBGQzAwRkM0MEZFMDBGQzgw NwpFMDBGRDgwN0YwMEZEMDA3RjAwRkQwMDdGMDBGRTAwN0YwMEZFMDA3RjAw RkUwMDdGMDBGRTAwN0YwMEZFMDA3RjAwRkUwMDdGMDBGRTAKMDdGMDBGRTAw N0YwMEZFMDA3RjAwRkUwMDdGMDBGRTAwN0YwMEZFMDA3RjAwRkUwMDdGMDBG RTAwN0YwMEZFMDA3RjAwRkUwMDdGMEZGCkZFM0ZGRkZGRkUzRkZGRkZGRTNG RkYyMDFCN0Q5QTI1PjExMCBEPEZGQzNFMEZGQzdGOEZGQ0M3QzBGRDhGRTBG RDBGRTBGRDBGRTBGCkYwRkUwRkUwN0MwRkUwMDAwRkUwMDAwRkUwMDAwRkUw MDAwRkUwMDAwRkUwMDAwRkUwMDAwRkUwMDAwRkUwMDAwRkUwMDAwRkUwMDAw RgpFMDAwMEZFMDAwMEZFMDAwMEZFMDAwMEZFMDAwRkZGRjAwRkZGRjAwRkZG RjAwMTcxQjdFOUExQj4xMTQKRDwwM0ZFMzAwRkZGRjAzRTAzRjA3ODAwRjA3 MDAwRjBGMDAwNzBGMDAwNzBGODAwNzBGRTAwMDBGRkUwMDA3RkZGMDA3RkZG QzAzRkZGCkUwMUZGRkYwMDdGRkY4MDBGRkY4MDAwN0ZDMDAwMEZDRTAwMDdD RTAwMDNDRjAwMDNDRjAwMDM4RjgwMDM4RkMwMDcwRkYwMUUwRTdGRgpDMEMx RkYwMDE2MUI3RTlBMUI+SSBFIC9GYiA4IDExMiBkZjwwMDIwMDA0MDAwODAw MTAwMDMwMDA2MDAwNjAwMEMwMDBDMDAxODAwMTgKMDAzODAwMzAwMDMwMDA3 MDAwNzAwMDcwMDA2MDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUw MDBFMDAwRTAwMEUwMDBFMDAwCkUwMDA2MDAwNzAwMDcwMDA3MDAwMzAwMDMw MDAzODAwMTgwMDE4MDAwQzAwMEMwMDA2MDAwNjAwMDMwMDAxMDAwMDgwMDA0 MDAwMjAwQgozMTdBODExMz4wIEQ8ODAwMDQwMDAyMDAwMTAwMDE4MDAwQzAw MEMwMDA2MDAwNjAwMDMwMDAzMDAwMzgwMDE4MDAxODAwMUMwMDFDMAowMUMw MDBDMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAw MEUwMDBFMDAwRTAwMEMwMDFDMDAxQzAwMUMwMDEKODAwMTgwMDM4MDAzMDAw MzAwMDYwMDA2MDAwQzAwMEMwMDE4MDAxMDAwMjAwMDQwMDA4MDAwMEIzMTdG ODExMz5JPDAwMTgwMDYwMDEKQzAwMzgwMDcwMDA3MDAwNzAwMDcwMDA3MDAw NzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3 MDAwRTAwCjFDMDAzMDAwQzAwMDMwMDAxQzAwMEUwMDA3MDAwNzAwMDcwMDA3 MDAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAwNwowMDA3 MDAwNzAwMDcwMDAzODAwMUMwMDA2MDAwMTgwRDMxN0I4MTE4PjggRDxDMDAw MzAwMDFDMDAwRTAwMDcwMDA3MDAwNzAwMDcwMAowNzAwMDcwMDA3MDAwNzAw MDcwMDA3MDAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAwNzAwMDM4MDAxQzAw MDYwMDAxODAwNjAwMUMwMDMKODAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAw NzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAwNzAwMDcwMDBF MDAxQzAwCjMwMDBDMDAwMEQzMTdCODExOD5JPDAwMDYwMDBDMDAxODAwMzAw MDcwMDA2MDAwQzAwMUMwMDE4MDAzODAwMzAwMDcwMDA2MDAwRTAwCjBDMDAx QzAwMUMwMDE4MDAzODAwMzgwMDM4MDAzMDAwNzAwMDcwMDA3MDAwNzAwMDcw MDA3MDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMAowMEUwMDBFMDAwRTAwMEUw MDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMDcwMDA3MDAwNzAw MDcwMDA3MDAwNzAwMDMwMDAKMzgwMDM4MDAzODAwMTgwMDFDMDAxQzAwMEMw MDBFMDAwNjAwMDcwMDAzMDAwMzgwMDE4MDAxQzAwMEMwMDA2MDAwNzAwMDMw MDAxODAwCjBDMDAwNjBGNEE3ODgxMTk+MTYgRDxDMDAwNjAwMDMwMDAxODAw MUMwMDBDMDAwNjAwMDcwMDAzMDAwMzgwMDE4MDAxQzAwMEMwMDBFMAowMDYw MDA3MDAwNzAwMDMwMDAzODAwMzgwMDM4MDAxODAwMUMwMDFDMDAxQzAwMUMw MDFDMDAxQzAwMEUwMDBFMDAwRTAwMEUwMDBFMDAKMEUwMDBFMDAwRTAwMEUw MDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDFDMDAxQzAw MUMwMDFDMDAxQzAwMUMwMDE4CjAwMzgwMDM4MDAzODAwMzAwMDcwMDA3MDAw NjAwMEUwMDBDMDAxQzAwMTgwMDM4MDAzMDAwNzAwMDYwMDBDMDAxQzAwMTgw MDMwMDA2MAowMEMwMDAwRjRBN0Y4MTE5Pkk8MDAwMEUwMDAwM0UwMDAwRjgw MDAxRTAwMDAzQzAwMDA3MDAwMDA3MDAwMDBFMDAwMDBFMDAwMDBFMAowMDAw RTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAw MDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAKMDAwMEUwMDAwMEUwMDAw MEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMUMwMDAwMUMwMDAwMzgw MDAwNzAwMDAwRTAwMDAzQzAwCjAwRjAwMDAwRjAwMDAwM0MwMDAwMEUwMDAw MDcwMDAwMDM4MDAwMDFDMDAwMDFDMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBF MDAwMDBFMAowMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAw MDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAKMDAw MEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMDcwMDAwMDcwMDAwMDND MDAwMDFFMDAwMDBGODAwMDAzRTAwMDAwRTAxMzRBCjdDODExQz4xMTAgRDxF MDAwMDBGODAwMDAzRTAwMDAwRjAwMDAwNzgwMDAwMUMwMDAwMUMwMDAwMEUw MDAwMEUwMDAwMEUwMDAwMEUwCjAwMDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAw MDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBF MDAwMDBFMAowMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAw MDAwNzAwMDAwNzAwMDAwMzgwMDAwMUMwMDAwMEUwMDAwMDc4MDAwMDEKRTAw MDAxRTAwMDA3ODAwMDBFMDAwMDFDMDAwMDM4MDAwMDcwMDAwMDcwMDAwMEUw MDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwCjAwMDBFMDAwMDBFMDAw MDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBF MDAwMDBFMDAwMDBFMDAwMDBFMAowMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAw MDAxQzAwMDAxQzAwMDA3ODAwMDBGMDAwMDNFMDAwMEY4MDAwMEUwMDAwMDEz NEE3QzgxMUMKPkkgRSAvRmMgNiA5NCBkZjwwMTAyMDQwODEwMzAyMDYwNjA0 MEMwQzBDMEMwQzBDMEMwQzBDMEMwNDA2MDYwMjAzMDEwMDgwNDAyMDEKMDgx RTdFOTUwRD40MCBEPDgwNDAyMDEwMDgwQzA0MDYwNjAyMDMwMzAzMDMwMzAz MDMwMzAzMDMwMjA2MDYwNDBDMDgxMDIwNDA4MDA4CjFFN0U5NTBEPkk8MEYw MDMwQzA2MDYwNjA2MDQwMjBDMDMwQzAzMEMwMzBDMDMwQzAzMEMwMzBDMDMw QzAzMEMwMzA0MDIwNjA2MDYwCjYwMzBDMDBGMDAwQzEzN0U5MjExPjQ4IEQ8 MEMwMDFDMDBFQzAwMEMwMDBDMDAwQzAwMEMwMDBDMDAwQzAwMEMwMDBDMDAw QzAwMEMwMAowQzAwMEMwMDBDMDAwQzAwMEMwMEZGQzAwQTEzN0Q5MjExPkk8 RkNGQ0MwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMApDMEMw QzBDMEMwQzBDMEZDRkMwNjFEN0U5NTA5PjkxIEQ8RkNGQzBDMEMwQzBDMEMw QzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMKMEMwQzBDMEMwQ0ZDRkMw NjFEODA5NTA5PjkzIEQgRSAvRmQgOCAxMjIgZGY8NDBFMDYwMjAyMDIwNDA0 MDgwMDMwOTdEODIwQT41OQpEPDAwMjAwMDYwMDA2MDAwQzAwMEMwMDBDMDAx ODAwMTgwMDE4MDAzMDAwMzAwMDMwMDA2MDAwNjAwMEMwMDBDMDAwQzAwMTgw MDE4MDAKMTgwMDMwMDAzMDAwMzAwMDYwMDA2MDAwNjAwMEMwMDBDMDAwQzAw MDBCMUQ3RTk1MTE+NjEgRDxGRjgwRkMxQzAwMzAxRTAwNDAwRTAwCkMwMEYw MTgwMEYwMTAwMDcwMjAwMDc4NDAwMDM4ODAwMDM5MDAwMDNFMDAwMDFDMDAw MDFDMDAwMDFDMDAwMDM4MDAwMDM4MDAwMDM4MAowMDAzODAwMDA3MDAwMDNG RTAwMDE2MTQ3RjkzMTQ+ODkgRDwwNzgwMEM0MDEwRTAzMUMwNjAwMDYwMDA2 MDAwQzAwMEMwMDA0MDIwNDAKNDAyMTgwMUUwMDBCMEQ3RThDMEY+OTkgRDww MDdDMDAwQzAwMTgwMDE4MDAxODAwMTgwMDMwMDdCMDBDNzAxMDcwMzA2MDYw NjA2MDYwCjYwNjBDMEMwQzBDOEMwQzg0MUM4NjJEMDNDNzAwRTE0N0U5MzEx Pkk8MzBGODdDMDA1OTBDODYwMDRFMEQwNjAwOUMwRTA2MDA5ODBDCjA2MDAx ODBDMDYwMDE4MEMwNjAwMzAxODBDMDAzMDE4MEM4MDMwMTgxODgwMzAxODE4 ODA2MDMwMTkwMDYwMzAwRTAwMTkwRDdGOEMxRAo+MTA5IEQ8MzBGODU5MEM0 RTBDOUMwQzk4MEMxODBDMTgwQzMwMTgzMDE5MzAzMTMwMzE2MDMyNjAxQzEw MEQ3RjhDMTU+STwzODE4NEMKMTg0QzE4OEMzMDk4MzAxODMwMTgzMDMwNjAz MDYwMzA2MDMwRTAxMUMwMEVDMDAwQzAwMDgwRTE4MEUzMDA0NjAwM0MwMDBE MTM3RjhDCjExPjEyMSBEIEUgL0ZlIDkgMTA3IGRmPEZGRkZGRjgwRkZGRkZG ODAxOTAyN0Q4QTIwPjAgRDw3RkZGMDAwMDdGRkZDMDAwMDAwMEYwCjAwMDAw MDM4MDAwMDAwMEMwMDAwMDAwNjAwMDAwMDA2MDAwMDAwMDMwMDAwMDAwMzAw MDAwMDAxODAwMDAwMDE4MDAwMDAwMTgwMDAwMAowMTgwMDAwMDAxODAwMDAw MDE4MDAwMDAwMTgwMDAwMDAzMDAwMDAwMDMwMDAwMDAwNjAwMDAwMDA2MDAw MDAwMEMwMDAwMDAzODAwMDAKMDBGMDAwN0ZGRkMwMDA3RkZGMDAwMDAwMDAw MDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAw MDAwMDAwCkZGRkZGRjAwRkZGRkZGMDAxOTIyN0Q5OTIwPjE5IEQ8MDAwMDAx ODAwMDAwMDc4MDAwMDAxRTAwMDAwMDc4MDAwMDAxRTAwMDAwMDc4MAowMDAw MUUwMDAwMDA3ODAwMDAwMUUwMDAwMDA3ODAwMDAwMUUwMDAwMDA3ODAwMDAw MEUwMDAwMDAwNzgwMDAwMDAxRTAwMDAwMDA3ODAKMDAwMDAxRTAwMDAwMDA3 ODAwMDAwMDFFMDAwMDAwMDc4MDAwMDAwMUUwMDAwMDAwNzgwMDAwMDAxRTAw MDAwMDA3ODAwMDAwMDE4MDAwCjAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAw MDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDdGRkZGRjAwRkZGRkZGODAx OTIyN0Q5OQoyMD5JPDA3RTAwMDNGMDAwRkY4MDBGMTgwMTgzRTAxODA0MDIw MEYwMzAwMjA0MDA3ODQwMDEwNDAwM0NDMDAxMDgwMDFEODAwMDg4MAowMEYw MDAwODgwMDBGMDAwMDg4MDAwNzgwMDA4ODAwMDc4MDAwODgwMDBEQzAwMDg0 MDAxOUUwMDEwNDAwMTBGMDAxMDIwMDYwNzgwMjAKMTAwQzAzRTBDMDBDNzgw MEZGODAwN0UwMDAzRjAwMjUxMjdFOTEyQT40OSBEPDAwN0ZGODAxRkZGODA3 ODAwMDBFMDAwMDE4MDAwMDMwCjAwMDAzMDAwMDA2MDAwMDA2MDAwMDBDMDAw MDBDMDAwMDBDMDAwMDBGRkZGRjhGRkZGRjhDMDAwMDBDMDAwMDBDMDAwMDA2 MDAwMDA2MAowMDAwMzAwMDAwMzAwMDAwMTgwMDAwMEUwMDAwMDc4MDAwMDFG RkY4MDA3RkY4MTUxQTdEOTYxQz5JPDQwMDAwNEMwMDAwQzYwMDAxOAo2MDAw MTg2MDAwMTgzMDAwMzAzMDAwMzAzMDAwMzAxODAwNjAxODAwNjAxRkZGRTAw RkZGQzAwQzAwQzAwQzAwQzAwNjAxODAwNjAxODAKMDMwMzAwMDMwMzAwMDMw MzAwMDE4NjAwMDE4NjAwMDE4NjAwMDBDQzAwMDBDQzAwMDBDQzAwMDA3ODAw MDA3ODAwMDA3ODAwMDAzMDAwCjAwMzAwMDE2MUU4MDlDMTc+NTYgRDwwMDND MDBFMDAxQzAwMTgwMDM4MDAzODAwMzgwMDM4MDAzODAwMzgwMDM4MDAzODAw MzgwMDM4MAowMzgwMDM4MDAzODAwMzAwMDcwMDFDMDBGMDAwMUMwMDA3MDAw MzAwMDM4MDAzODAwMzgwMDM4MDAzODAwMzgwMDM4MDAzODAwMzgwMDMKODAw MzgwMDM4MDAzODAwMTgwMDFDMDAwRTAwMDNDMEUyOTdEOUUxNT4xMDIgRDxG MDAwMUMwMDA3MDAwMzAwMDM4MDAzODAwMzgwMDMKODAwMzgwMDM4MDAzODAw MzgwMDM4MDAzODAwMzgwMDM4MDAzODAwMTgwMDFDMDAwRTAwMDNDMDBFMDAx QzAwMTgwMDM4MDAzODAwMzgwCjAzODAwMzgwMDM4MDAzODAwMzgwMDM4MDAz ODAwMzgwMDM4MDAzODAwMzAwMDcwMDFDMDBGMDAwMEUyOTdEOUUxNT5JPEMw QzBDMEMwCkMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMw QzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwMDIyOQo3QjlF MEM+MTA2IEQgRSAvRmYgMTkgMTIyIGRmPDAwRkMwM0ZFMEUwNzE4MDAxMDAw MjAwMDIwMDAxMDgwMTc0MDFGQzAyMDAwNDAwMAo0MDAwODAwMDgwMDA4MDA0 NDAwODcwMzAzRkUwMEY4MDEwMTQ3RjkyMTM+MzQgRDw2MEYwRjA3MDEwMTAx MDEwMjAyMDQwODAwNDBDN0MKODMwQz41OSBEPDAwMDAwMzgwMDAwMDBGMDAw MDAwM0MwMDAwMDBGMDAwMDAwM0MwMDAwMDBGMDAwMDAwM0MwMDAwMDBGMDAw MDAwM0MwCjAwMDAwRjAwMDAwMDNDMDAwMDAwRjAwMDAwMDBGMDAwMDAwMDND MDAwMDAwMEYwMDAwMDAwM0MwMDAwMDAwRjAwMDAwMDAzQzAwMDAwMAowRjAw MDAwMDAzQzAwMDAwMDBGMDAwMDAwMDNDMDAwMDAwMEYwMDAwMDAwMzgwMTkx ODdEOTUyMD5JPEUwMDAwMDAwNzgwMDAwMDAxRQowMDAwMDAwNzgwMDAwMDAx RTAwMDAwMDA3ODAwMDAwMDFFMDAwMDAwMDc4MDAwMDAwMUUwMDAwMDAwNzgw MDAwMDAxRTAwMDAwMDA3ODAKMDAwMDA3ODAwMDAwMUUwMDAwMDA3ODAwMDAw MUUwMDAwMDA3ODAwMDAwMUUwMDAwMDA3ODAwMDAwMUUwMDAwMDA3ODAwMDAw MUUwMDAwCjAwNzgwMDAwMDBFMDAwMDAwMDE5MTg3RDk1MjA+NjIgRDwwMUZG RkZGMDAwM0MwMEYwMDAzODAwMzAwMDM4MDAyMDAwMzgwMDIwMDAzOAowMDIw MDA3MDAwMjAwMDcwMDAyMDAwNzAxMDIwMDA3MDEwMDAwMEUwMjAwMDAwRTAy MDAwMDBFMDYwMDAwMEZGRTAwMDAxQzA0MDAwMDEKQzA0MDAwMDFDMDQwMDAw MUMwNDAwMDAzODA4MDAwMDM4MDAwMDAwMzgwMDAwMDAzODAwMDAwMDcwMDAw MDAwNzAwMDAwMDA3MDAwMDAwCjA3MDAwMDAwMEYwMDAwMDBGRkYwMDAwMDFD MUM3RTlCMUI+NzAgRDwwMUZGQzBGRjgwMDAxRTAwM0MwMDAwMUUwMDMwMDAw MDBFMDAyMAowMDAwMEYwMDQwMDAwMDA3MDA4MDAwMDAwNzAxMDAwMDAwMDc4 MjAwMDAwMDAzODQwMDAwMDAwM0M4MDAwMDAwMDFEMDAwMDAwMDAxRjAKMDAw MDAwMDBFMDAwMDAwMDAwRTAwMDAwMDAwMEYwMDAwMDAwMDE3MDAwMDAwMDAy NzAwMDAwMDAwNDM4MDAwMDAwMDgzODAwMDAwMDEwCjNDMDAwMDAwMjAxQzAw MDAwMDQwMUUwMDAwMDA4MDBFMDAwMDAxODAwRTAwMDAwMzAwMEYwMDAwMDYw MDA3MDAwMDFFMDAwRjgwMDBGRgo4MDNGRjAwMDIxMUM3RjlCMjI+ODggRDxG RkUwMDdGODBGMDAwMUUwMEYwMDAxODAwNzAwMDEwMDA3MDAwMjAwMDc4MDA0 MDAwMzgwMDgKMDAwM0MwMTAwMDAxQzAzMDAwMDFDMDIwMDAwMUUwNDAwMDAw RTA4MDAwMDBGMTAwMDAwMDcyMDAwMDAwNzYwMDAwMDA3QzAwMDAwMDM4CjAw MDAwMDM4MDAwMDAwNzAwMDAwMDA3MDAwMDAwMDcwMDAwMDAwNzAwMDAwMDBF MDAwMDAwMEUwMDAwMDAwRTAwMDAwMDBFMDAwMDAwMQpDMDAwMDAxRkZDMDAw MDFEMUM3RjlCMTg+STwwMUUzMDAwNzE3MDAwQzBGMDAxODBGMDAzODBFMDAz MDBFMDA3MDBFMDA3MDBFMDBFMAoxQzAwRTAxQzAwRTAxQzAwRTAxQzAwRTAz ODgwRTAzODgwRTAzODgwNjA3ODgwMzE5OTAwMUUwRTAwMTExMjdFOTExNj45 NwpEPDNGMDAwNzAwMDcwMDBFMDAwRTAwMEUwMDBFMDAxQzAwMUMwMDFDMDAx QzAwMzlFMDNBMzAzQzE4MzgxODcwMTg3MDFDNzAxQzcwMUMKRTAzOEUwMzhF MDM4RTAzMEUwNzBFMDYwRTBDMDYxQzAyMzAwMUUwMDBFMUQ3RTlDMTI+STww MUYwMDMwQzBFMEMxQzFFMzgzQzMwMTgKNzAwMDcwMDBFMDAwRTAwMEUwMDBF MDAwRTAwMEUwMDQ2MDA4NjAxMDMwNjAxRjgwMEYxMjdFOTExMj5JPDAwMDdF MDAwMDBFMDAwMDAKRTAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAzODAw MDAzODAwMDAzODAwMDAzODAwMUU3MDAwNzE3MDAwQzBGMDAxODBGMDAzODBF CjAwMzAwRTAwNzAwRTAwNzAwRTAwRTAxQzAwRTAxQzAwRTAxQzAwRTAxQzAw RTAzODgwRTAzODgwRTAzODgwNjA3ODgwMzE5OTAwMUUwRQowMDEzMUQ3RTlD MTY+STwwMDAxRTAwMDA2MzAwMDBFNzgwMDBDRjAwMDFDNjAwMDFDMDAwMDFD MDAwMDFDMDAwMDNDMDAwMDM4MDAwMAozODAwMDNGRkMwMDAzODAwMDAzODAw MDA3MDAwMDA3MDAwMDA3MDAwMDA3MDAwMDA3MDAwMDBFMDAwMDBFMDAwMDBF MDAwMDBFMDAwMDAKRTAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAw MDAxODAwMDAzODAwMDAzODAwMDYzMDAwMEYzMDAwMEY2MDAwMEU0MDAwMDc4 CjAwMDAxNTI1N0U5QzE0PjEwMiBEPDFGODAwMzgwMDM4MDA3MDAwNzAwMDcw MDA3MDAwRTAwMEUwMDBFMDAwRTAwMUMwMDFDMDAxQzAwCjFDMDAzODAwMzgw MDM4MDAzODAwNzAwMDcwMDA3MDAwNzAwMEU0MDBFNDAwRTQwMEU0MDA2NDAw MzgwMDA5MUQ3RTlDMEM+MTA4CkQ8MzgxRjgxRjA0RTIwQzYxODQ2NDBFODFD NDY4MEYwMUM4RjAwRjAxQzhFMDBFMDFDMEUwMEUwMUMwRTAwRTAxQzFDMDFD MDM4MUMwMQpDMDM4MUMwMUMwMzgxQzAxQzA3MDM4MDM4MDcxMzgwMzgwNzEz ODAzODBFMTM4MDM4MEUyNzAwNzAwNjQzMDAzMDAzODIwMTI3RTkxMjQKPkk8 MzgxRjAwNEU2MTgwNDY4MUMwNDcwMUMwOEYwMUMwOEUwMUMwMEUwMUMwMEUw MUMwMUMwMzgwMUMwMzgwMUMwMzgwMUMwNzAwMzgKMDcxMDM4MDcxMDM4MEUx MDM4MEUyMDcwMDY0MDMwMDM4MDE0MTI3RTkxMTk+STwxQzAwQzAyNzAxQzA0 NzAxQzA0NzAxQzA4NzAzODAKODcwMzgwMEUwMzgwMEUwMzgwMUMwNzAwMUMw NzAwMUMwNzAwMUMwNzAwMTgwRTIwMTgwRTIwMTgwRTIwMUMxRTIwMEMyNjQw MDdDMzgwCjEzMTI3RTkxMTg+MTE3IEQ8MUMwMEMwODAyNzAxQzFDMDQ3MDFD MUMwNDcwMUMwQzA4NzAzODA0MDg3MDM4MDQwMEUwMzgwNDAwRTAzCjgwNDAx QzA3MDA4MDFDMDcwMDgwMUMwNzAwODAxQzA3MDEwMDE4MDYwMTAwMTgwNjAy MDAxQzBFMDIwMDFDMEYwNDAwMEUxMzA4MDAwMwpFMUYwMDAxQTEyN0U5MTFF PjExOSBEPDA3ODc4MDA4Qzg0MDEwRjBDMDIwRjFFMDIwRTNDMDQwRTE4MDAw RTAwMDAwRTAwMDAxQzAwMAowMUMwMDAwMUMwMDAwMUMwMDA2MzgwODBGMzgw ODBGMzgxMDBFNTgxMDA4NEM2MDA3ODc4MDAxMzEyN0U5MTE4Pkk8MUMwMEMw MjcwMQpDMDQ3MDFDMDQ3MDFDMDg3MDM4MDg3MDM4MDBFMDM4MDBFMDM4MDFD MDcwMDFDMDcwMDFDMDcwMDFDMDcwMDE4MEUwMDE4MEUwMDE4MEUKMDAxQzFF MDAwQzNDMDAwN0RDMDAwMDFDMDAwMDE4MDA2MDM4MDBGMDMwMDBGMDYwMDBF MEMwMDA0MTgwMDAzRTAwMDAxMjFBN0U5MTE0Cj5JIEUgL0ZnIDE2IDExOSBk ZjwxODM4NzgzODA4MDgxMDEwMjA0MDQwODAwNTBDN0Q4MzBEPjQ0IEQ8MzA3 OEYwNjAwNTA0N0M4MzBEPgo0NiBEPDAwMDAxODAwMDAwMDE4MDAwMDAwMzgw MDAwMDAzODAwMDAwMDc4MDAwMDAwNzgwMDAwMDBCODAwMDAwMUI4MDAwMDAx MzgwMAowMDAyMzgwMDAwMDIzQzAwMDAwNDFDMDAwMDA0MUMwMDAwMDgxQzAw MDAxODFDMDAwMDEwMUMwMDAwMjAxQzAwMDAyMDFDMDAwMDdGRkMKMDAwMDQw MUMwMDAwODAxQzAwMDE4MDFDMDAwMTAwMUMwMDAyMDAxQzAwMDIwMDFDMDAw NDAwMEUwMDBDMDAwRTAwMUMwMDFFMDBGRjAwCkZGQzAxQTFEN0U5QzFGPjY1 IEQ8MDNDQzA2M0MwQzNDMTgxQzM4MzgzMDM4NzAzODcwMzhFMDcwRTA3MEUw NzBFMDcwRTBFMkMwRTJDMApFMjYxRTQ2MjY0M0MzODBGMTI3QjkxMTU+OTcg RDwwMUYwMDcwODBDMDgxODFDMzgzODMwMDA3MDAwNzAwMEUwMDBFMDAwRTAw MEUwMDAKRTAwMEUwMDhFMDEwNjAyMDMwQzAxRjAwMEUxMjdCOTExMz45OSBE PDAxRTAwNzEwMEMxMDE4MDgzODEwNzAxMDcwNjA3RjgwRTAwMEUwCjAwRTAw MEUwMDBFMDAwRTAwODYwMTA2MDIwMzBDMDFGMDAwRDEyN0I5MTEzPjEwMSBE PDAwMDNDMDAwMDY3MDAwMEM3MDAwMUM2MDAwCjFDMDAwMDFDMDAwMDM4MDAw MDM4MDAwMDM4MDAwMDM4MDAwMDM4MDAwM0ZGODAwMDcwMDAwMDcwMDAwMDcw MDAwMDcwMDAwMDcwMDAwMApFMDAwMDBFMDAwMDBFMDAwMDBFMDAwMDBFMDAw MDFDMDAwMDFDMDAwMDFDMDAwMDFDMDAwMDFDMDAwMDM4MDAwMDM4MDAwMDM4 MDAwMDMKMDAwMDAzMDAwMDA3MDAwMEM2MDAwMEU2MDAwMENDMDAwMDc4MDAw MDE0MjU4MTlDMEQ+STwwMTgwMDM4MDAxMDAwMDAwMDAwMDAwMDAKMDAwMDAw MDAwMDAwMDAwMDFDMDAyNjAwNDcwMDQ3MDA4RTAwOEUwMDBFMDAxQzAwMUMw MDFDMDAzODAwMzgwMDcxMDA3MTAwNzEwMDcyCjAwNzIwMDNDMDAwOTFDN0M5 QjBEPjEwNSBEPDFGODAwMzgwMDM4MDA3MDAwNzAwMDcwMDA3MDAwRTAwMEUw MDBFMDAwRTAwMUMwMDFDCjAwMUMwMDFDMDAzODAwMzgwMDM4MDAzODAwNzAw MDcwMDA3MDAwNzAwMEU0MDBFNDAwRTQwMEU0MDA2ODAwMzgwMDA5MUQ3QzlD MEI+CjEwOCBEPDNDM0MwMDI2NDYwMDQ2ODcwMDQ3MDcwMDhFMDcwMDhFMDcw MDBFMDcwMDBFMDcwMDFDMEUwMDFDMEUwMDFDMEUwMDFDMUMwMAozODFDNDAz ODFDNDAzODM4NDAzODM4ODA3MDE5MDAzMDBFMDAxMjEyN0M5MTE3PjExMCBE PDAxRTAwNzE4MEMwQzE4MEMzODBDMzAwRQo3MDBFNzAwRUUwMUNFMDFDRTAx Q0UwMThFMDM4RTAzMEUwNjA2MEMwMzE4MDFFMDAwRjEyN0I5MTE1Pkk8M0Mz QzI2QzI0Njg3NDcwNwo4RTA2OEUwMDBFMDAwRTAwMUMwMDFDMDAxQzAwMUMw MDM4MDAzODAwMzgwMDM4MDA3MDAwMzAwMDEwMTI3QzkxMTI+MTE0CkQ8MDFG MDA2MDgwQzA4MEMxQzE4MTgxQzAwMUYwMDFGQzAwRkYwMDdGMDAwNzgwMDM4 NjAzMEUwMzBDMDMwODA2MDYwQzAxRjAwMEUxMgo3RDkxMTE+STwwMEMwMDFD MDAxQzAwMUMwMDM4MDAzODAwMzgwMDM4MEZGRTAwNzAwMDcwMDA3MDAwRTAw MEUwMDBFMDAwRTAwMUMwMAoxQzAwMUMwMDFDMDAzODQwMzg0MDM4NDAzODgw MTkwMDBFMDAwQjFBN0Q5OTBFPkk8MUUwMzAwMjcwNzAwNDcwNzAwNDcwNzAw ODcwRQowMDg3MEUwMDBFMEUwMDBFMEUwMDFDMUMwMDFDMUMwMDFDMUMwMDFD MUMwMDM4Mzg4MDM4Mzg4MDE4Mzg4MDE4MzkwMDFDNTkwMDA3OEUKMDAxMTEy N0M5MTE2Pkk8MUUwNjI3MEU0NzBFNDcwNjg3MDI4NzAyMEUwMjBFMDIxQzA0 MUMwNDFDMDQxQzA4MTgwODM4MDgxODEwMTgKMjAwQzQwMDc4MDBGMTI3Qzkx MTM+SSBFIC9GaCA4IDExNyBkZjwwMDNGQzAwMDAxRjAzMDAwMDNDMDM4MDAw N0MwN0MwMDBGODA3QzAwCjBGODA3QzAwMEY4MDM4MDAwRjgwMDAwMDBGODAw MDAwMEY4MDAwMDAwRjgwMDAwMEZGRkZGQzAwRkZGRkZDMDAwRjgwN0MwMDBG ODA3QwowMDBGODA3QzAwMEY4MDdDMDAwRjgwN0MwMDBGODA3QzAwMEY4MDdD MDAwRjgwN0MwMDBGODA3QzAwMEY4MDdDMDAwRjgwN0MwMDBGODAKN0MwMDBG ODA3QzAwMEY4MDdDMDA3RkUxRkY4MDdGRTFGRjgwMTkxRDgwOUMxQj4xMiBE PDAwNjAwMDAxRTAwMDBGRTAwMEZGRTAwMEYzCkUwMDAwM0UwMDAwM0UwMDAw M0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0Uw MDAwM0UwMDAwM0UwMDAwMwpFMDAwMDNFMDAwMDNFMDAwMDNFMDAwMDNFMDAw MDNFMDAwMDNFMDAwMDNFMDAwN0ZGRjgwN0ZGRjgwMTExQjdEOUExOD40OQpE PEZGRkZGODAwRkZGRkZGMDAwRkMwMUZDMDBGQzAwN0UwMEZDMDAxRjAwRkMw MDFGODBGQzAwMEY4MEZDMDAwRkMwRkMwMDA3QzBGQzAKMDA3QzBGQzAwMDdF MEZDMDAwN0UwRkMwMDA3RTBGQzAwMDdFMEZDMDAwN0UwRkMwMDA3RTBGQzAw MDdFMEZDMDAwN0UwRkMwMDA3QzBGCkMwMDA3QzBGQzAwMDdDMEZDMDAwRjgw RkMwMDBGODBGQzAwMUYwMEZDMDA3RTAwRkMwMUZDMEZGRkZGRjAwRkZGRkY4 MDAxRjFDN0U5QgoyNT42OCBEPDAxRkMwMDBGMDcwMDFDMDM4MDNDMDFDMDc4 MDFDMDc4MDFFMEY4MDFFMEY4MDFFMEZGRkZFMEY4MDAwMEY4MDAwMEY4MDAK MDA3ODAwMDA3QzAwNjAzQzAwNjAxRTAwQzAwRjAzODAwMUZDMDAxMzEyN0Y5 MTE2PjEwMSBEPDFFMDAzRjAwM0YwMDNGMDAzRjAwMUUKMDAwMDAwMDAwMDAw MDAwMDAwMDAwMDAwMDBGRjAwRkYwMDFGMDAxRjAwMUYwMDFGMDAxRjAwMUYw MDFGMDAxRjAwMUYwMDFGMDAxRjAwCjFGMDAxRjAwMUYwMEZGRTBGRkUwMEIx RTdGOUQwRT4xMDUgRDxGRjBGQzBGRjMxRTAxRjQwRjAxRjgwRjgxRjgwRjgx RjAwRjgxRjAwCkY4MUYwMEY4MUYwMEY4MUYwMEY4MUYwMEY4MUYwMEY4MUYw MEY4MUYwMEY4MUYwMEY4MUYwMEY4RkZFN0ZGRkZFN0ZGMTgxMjdGOTExQgo+ MTEwIEQ8MDFGQzAwMEYwNzgwMUMwMUMwM0MwMUUwNzgwMEYwNzgwMEYwRjgw MEY4RjgwMEY4RjgwMEY4RjgwMEY4RjgwMEY4RjgwMApGODc4MDBGMDc4MDBG MDNDMDFFMDFFMDNDMDBGMDc4MDAxRkMwMDE1MTI3RjkxMTg+STwwMzAwMDMw MDAzMDAwMzAwMDcwMDA3MDAwRgowMDBGMDAzRkZDRkZGQzFGMDAxRjAwMUYw MDFGMDAxRjAwMUYwMDFGMDAxRjAwMUYwMDFGMEMxRjBDMUYwQzFGMEMwRjA4 MDc5ODAzRjAKMEUxQTdGOTkxMz4xMTYgRCBFIC9GaSA1NiAxMjcgZGY8MDA3 RTAwMDFDMTgwMDMwMTgwMDcwM0MwMEUwM0MwMEUwMTgwMEUwMDAwMEUKMDAw MDBFMDAwMDBFMDAwMDBFMDAwMEZGRkZDMDBFMDFDMDBFMDFDMDBFMDFDMDBF MDFDMDBFMDFDMDBFMDFDMDBFMDFDMDBFMDFDMDBFCjAxQzAwRTAxQzAwRTAx QzAwRTAxQzAwRTAxQzAwRTAxQzAwRTAxQzAwRTAxQzA3Rjg3RjgxNTFEODA5 QzE3PjEyCkQ8MDA3RkMwMDFDMUMwMDMwM0MwMDcwM0MwMEUwMUMwMEUwMUMw MEUwMUMwMEUwMUMwMEUwMUMwMEUwMUMwMEUwMUMwRkZGRkMwMEUwMQpDMDBF MDFDMDBFMDFDMDBFMDFDMDBFMDFDMDBFMDFDMDBFMDFDMDBFMDFDMDBFMDFD MDBFMDFDMDBFMDFDMDBFMDFDMDBFMDFDMDBFMDEKQzAwRTAxQzAwRTAxQzA3 RkNGRjgxNTFEODA5QzE3Pkk8MDAwMzAxODAwMDAzMDE4MDAwMDMwMTgwMDAw NjAzMDAwMDA2MDMwMDAwMDYKMDMwMDAwMDYwMzAwMDAwNjAzMDAwMDBDMDYw MDAwMEMwNjAwMDAwQzA2MDAwMDBDMDYwMDAwMTgwQzAwN0ZGRkZGRjhGRkZG RkZGQzAwCjMwMTgwMDAwMzAxODAwMDAzMDE4MDAwMDMwMTgwMDAwNjAzMDAw MDA2MDMwMDAwMDYwMzAwMDAwNjAzMDAwRkZGRkZGRkM3RkZGRkZGOAowMEMw NjAwMDAxODBDMDAwMDE4MEMwMDAwMTgwQzAwMDAxODBDMDAwMDMwMTgwMDAw MzAxODAwMDAzMDE4MDAwMDMwMTgwMDAwNjAzMDAKMDAwNjAzMDAwMDA2MDMw MDAwMUUyNTdFOUMyMz4zNSBEPDAwNDAwMDgwMDEwMDAyMDAwNjAwMEMwMDBD MDAxODAwMTgwMDMwMDAzMDAwCjcwMDA2MDAwNjAwMDYwMDBFMDAwRTAwMEUw MDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDA2MDAwNjAw MDYwMDA3MAowMDMwMDAzMDAwMTgwMDE4MDAwQzAwMEMwMDA2MDAwMjAwMDEw MDAwODAwMDQwMEEyQTdEOUUxMD40MApEPDgwMDA0MDAwMjAwMDEwMDAxODAw MEMwMDBDMDAwNjAwMDYwMDAzMDAwMzAwMDM4MDAxODAwMTgwMDE4MDAxQzAw MUMwMDFDMDAxQzAKMDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAw MTgwMDE4MDAxODAwMzgwMDMwMDAzMDAwNjAwMDYwMDBDMDAwQzAwMTgwMDEw CjAwMjAwMDQwMDA4MDAwMEEyQTdFOUUxMD5JPDYwRjBGMDcwMTAxMDEwMTAy MDIwNDA4MDA0MEM3QzgzMEM+NDQKRDxGRkUwRkZFMDBCMDI4MDg5MEU+STw2 MEYwRjA2MDA0MDQ3QzgzMEM+STwwMDAxMDAwMzAwMDYwMDA2MDAwNjAwMEMw MDBDMDAwQzAwCjE4MDAxODAwMTgwMDMwMDAzMDAwMzAwMDYwMDA2MDAwQzAw MEMwMDBDMDAxODAwMTgwMDE4MDAzMDAwMzAwMDMwMDA2MDAwNjAwMEMwMAow QzAwMEMwMDE4MDAxODAwMTgwMDMwMDAzMDAwMzAwMDYwMDA2MDAwNjAwMEMw MDBDMDAwMTAyOTdFOUUxNT5JPDAzQzAwQzMwMTgxOAozMDBDMzAwQzcwMEU2 MDA2NjAwNkUwMDdFMDA3RTAwN0UwMDdFMDA3RTAwN0UwMDdFMDA3RTAwN0Uw MDdFMDA3RTAwN0UwMDc2MDA2NjAKMDY3MDBFMzAwQzMwMEMxODE4MEMzMDA3 RTAxMDFEN0U5QjE1Pkk8MDMwMDA3MDAzRjAwQzcwMDA3MDAwNzAwMDcwMDA3 MDAwNzAwMDcKMDAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3 MDAwNzAwMDcwMDA3MDAwNzAwMDcwMDA3MDAwNzAwMEY4MEZGRjgwRDFDCjdD OUIxNT5JPDA3QzAxODMwMjAxQzQwMEM0MDBFRjAwRkY4MEZGODA3RjgwNzcw MDcwMDBGMDAwRTAwMEUwMDFDMDAxQzAwMzgwMDcwCjAwNjAwMEMwMDE4MDAz MDAwNjAxMEMwMTE4MDExMDAyM0ZGRTdGRkVGRkZFMTAxQzdFOUIxNT5JPDA3 RTAxODMwMjAxQzIwMUM3ODFFCjc4MEU3ODFFMzgxRTAwMUMwMDFDMDAxODAw MzAwMDYwMDdFMDAwMzAwMDFDMDAxQzAwMEUwMDBGMDAwRjcwMEZGODBGRjgw RkY4MEZGMAowRTQwMUMyMDFDMTgzMDA3RTAxMDFEN0U5QjE1Pkk8MDNFMDBD MzAxMDA4MjAwQzIwMDY2MDA2NjAwNjYwMDY3MDA2NzgwQzNFMDgzRgpCMDFG RTAwN0YwMDdGODE4RkMzMDdFNjAxRTYwMEZDMDA3QzAwM0MwMDNDMDAzQzAw MzYwMDI2MDA0MzAwQzFDMTAwN0UwMTAxRDdFOUIKMTU+NTYgRDwwM0MwMEMz MDE4MTgzMDBDNzAwQzYwMEVFMDA2RTAwNkUwMDdFMDA3RTAwN0UwMDdFMDA3 NjAwNzcwMEYzMDBGMTgxNzBDCjI3MDdDNzAwMDYwMDA2MDAwRTMwMEM3ODBD NzgxODcwMTAyMDMwMzBDMDBGODAxMDFEN0U5QjE1Pkk8NjBGMEYwNjAwMDAw MDAwMDAwCjAwMDAwMDAwMDA2MEYwRjA2MDA0MTI3QzkxMEM+STw3RkZGRkZD MEZGRkZGRkUwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwCjAwMDAw MDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDBGRkZGRkZFMDdGRkZGRkMw MUIwQzdFOEYyMD42MQpEPDAwMDYwMDAwMDAwNjAwMDAwMDA2MDAwMDAwMEYw MDAwMDAwRjAwMDAwMDBGMDAwMDAwMTc4MDAwMDAxNzgwMDAwMDE3ODAwMDAw MjMKQzAwMDAwMjNDMDAwMDAyM0MwMDAwMDQxRTAwMDAwNDFFMDAwMDA0MUUw MDAwMDgwRjAwMDAwODBGMDAwMDE4MEY4MDAwMTAwNzgwMDAxCkZGRjgwMDAz MDA3QzAwMDIwMDNDMDAwMjAwM0MwMDA2MDAzRTAwMDQwMDFFMDAwNDAwMUUw MDBDMDAxRjAwMUUwMDFGMDBGRjgwRkZGMAoxQzFEN0Y5QzFGPjY1IEQ8MDAx RjgwODAwMEUwNjE4MDAxODAxOTgwMDcwMDA3ODAwRTAwMDM4MDFDMDAwMzgw MUMwMDAxODAzODAwMDEKODA3ODAwMDA4MDc4MDAwMDgwNzAwMDAwODBGMDAw MDAwMEYwMDAwMDAwRjAwMDAwMDBGMDAwMDAwMEYwMDAwMDAwRjAwMDAwMDBG MDAwCjAwMDBGMDAwMDAwMDcwMDAwMDgwNzgwMDAwODA3ODAwMDA4MDM4MDAw MDgwMUMwMDAxMDAxQzAwMDEwMDBFMDAwMjAwMDcwMDA0MDAwMQo4MDA4MDAw MEUwMzAwMDAwMUZDMDAwMTkxRTdFOUMxRT42NyBEPEZGRkZGODBGMDA3ODBG MDAxODBGMDAwODBGMDAwODBGMDAwQzBGMDAKMDQwRjAwMDQwRjAyMDQwRjAy MDAwRjAyMDAwRjAyMDAwRjA2MDAwRkZFMDAwRjA2MDAwRjAyMDAwRjAyMDAw RjAyMDAwRjAyMDAwRjAwCjAwMEYwMDAwMEYwMDAwMEYwMDAwMEYwMDAwMEYw MDAwMEYwMDAwMEY4MDAwRkZGODAwMTYxQzdFOUIxQj43MApEPDAwMUY4MDgw MDBFMDYxODAwMTgwMTk4MDA3MDAwNzgwMEUwMDAzODAxQzAwMDM4MDFDMDAw MTgwMzgwMDAxODA3ODAwMDA4MDc4MDAKMDA4MDcwMDAwMDgwRjAwMDAwMDBG MDAwMDAwMEYwMDAwMDAwRjAwMDAwMDBGMDAwMDAwMEYwMDAwMDAwRjAwMEZG RjBGMDAwMEY4MDcwCjAwMDc4MDc4MDAwNzgwNzgwMDA3ODAzODAwMDc4MDFD MDAwNzgwMUMwMDA3ODAwRTAwMDc4MDA3MDAwQjgwMDE4MDExODAwMEUwNjA4 MAowMDFGODAwMDFDMUU3RTlDMjE+STxGRkYzRkZDMDBGMDAzQzAwMEYwMDND MDAwRjAwM0MwMDBGMDAzQzAwMEYwMDNDMDAwRjAwM0MwMAowRjAwM0MwMDBG MDAzQzAwMEYwMDNDMDAwRjAwM0MwMDBGMDAzQzAwMEYwMDNDMDAwRkZGRkMw MDBGMDAzQzAwMEYwMDNDMDAwRjAwM0MKMDAwRjAwM0MwMDBGMDAzQzAwMEYw MDNDMDAwRjAwM0MwMDBGMDAzQzAwMEYwMDNDMDAwRjAwM0MwMDBGMDAzQzAw MEYwMDNDMDAwRjAwCjNDMDBGRkYzRkZDMDFBMUM3RTlCMUY+STxGRkYwMEYw MDBGMDAwRjAwMEYwMDBGMDAwRjAwMEYwMDBGMDAwRjAwMEYwMDBGMDAwRjAw CjBGMDAwRjAwMEYwMDBGMDAwRjAwMEYwMDBGMDAwRjAwMEYwMDBGMDAwRjAw MEYwMDBGMDAwRjAwRkZGMDBDMUM3RjlCMEY+STxGRkY4CjAwMEY4MDAwMEYw MDAwMEYwMDAwMEYwMDAwMEYwMDAwMEYwMDAwMEYwMDAwMEYwMDAwMEYwMDAw MEYwMDAwMEYwMDAwMEYwMDAwMEYwMAowMDBGMDAwMDBGMDAwMDBGMDAwMDBG MDAwMDBGMDAwODBGMDAwODBGMDAwODBGMDAxODBGMDAxODBGMDAxMDBGMDAz MDBGMDA3MDBGMDEKRjBGRkZGRjAxNTFDN0U5QjFBPjc2IEQ8RkY4MDAwRkY4 MDBGODAwMEY4MDAwRjgwMDBGODAwMEJDMDAxNzgwMDBCQzAwMTc4MDAwQkMw CjAxNzgwMDA5RTAwMjc4MDAwOUUwMDI3ODAwMDhGMDA0NzgwMDA4RjAwNDc4 MDAwOEYwMDQ3ODAwMDg3ODA4NzgwMDA4NzgwODc4MDAwOAo3ODA4NzgwMDA4 M0MxMDc4MDAwODNDMTA3ODAwMDgzQzEwNzgwMDA4MUUyMDc4MDAwODFFMjA3 ODAwMDgxRTIwNzgwMDA4MEY0MDc4MDAKMDgwRjQwNzgwMDA4MDc4MDc4MDAw ODA3ODA3ODAwMDgwNzgwNzgwMDA4MDMwMDc4MDAxQzAzMDA3ODAwRkY4MzA3 RkY4MDIxMUM3RTlCCjI2Pkk8MDAzRjgwMDAwMEUwRTAwMDAzODAzODAwMDcw MDFDMDAwRTAwMEUwMDFDMDAwNzAwM0MwMDA3ODAzODAwMDM4MDc4MDAwM0Mw Cjc4MDAwM0MwNzAwMDAxQzBGMDAwMDFFMEYwMDAwMUUwRjAwMDAxRTBGMDAw MDFFMEYwMDAwMUUwRjAwMDAxRTBGMDAwMDFFMEYwMDAwMQpFMDcwMDAwMUMw NzgwMDAzQzA3ODAwMDNDMDM4MDAwMzgwM0MwMDA3ODAxQzAwMDcwMDBFMDAw RTAwMDcwMDFDMDAwMzgwMzgwMDAwRTAKRTAwMDAwM0Y4MDAwMUIxRTdFOUMy MD43OSBEPDA3RTA4MDFDMTk4MDMwMDU4MDcwMDM4MDYwMDE4MEUwMDE4MEUw MDA4MEUwMDA4MEUwCjAwODBGMDAwMDBGODAwMDA3QzAwMDA3RkMwMDAzRkY4 MDAxRkZFMDAwN0ZGMDAwMEZGODAwMDBGODAwMDA3QzAwMDAzQzAwMDAxQzA4 MAowMUMwODAwMUMwODAwMUMwQzAwMTgwQzAwMTgwRTAwMzAwRDAwMjAwQ0Mw QzAwODNGODAwMTIxRTdFOUMxNz44MwpEPDdGRkZGRkMwNzAwRjAxQzA2MDBG MDBDMDQwMEYwMDQwNDAwRjAwNDBDMDBGMDAyMDgwMEYwMDIwODAwRjAwMjA4 MDBGMDAyMDAwMEYKMDAwMDAwMEYwMDAwMDAwRjAwMDAwMDBGMDAwMDAwMEYw MDAwMDAwRjAwMDAwMDBGMDAwMDAwMEYwMDAwMDAwRjAwMDAwMDBGMDAwMDAw CjBGMDAwMDAwMEYwMDAwMDAwRjAwMDAwMDBGMDAwMDAwMEYwMDAwMDAwRjAw MDAwMDBGMDAwMDAwMUY4MDAwMDNGRkZDMDAxQjFDN0Y5QgoxRT5JPEZGRTBG RkUwRkYxRjAwMUYwMDNDMUUwMDFFMDAxODBGMDAxRjAwMTAwRjAwMUYwMDEw MEYwMDFGMDAxMDA3ODAxRjAwMjAwNwo4MDI3ODAyMDA3ODAyNzgwMjAwM0Mw Mjc4MDQwMDNDMDQzQzA0MDAzQzA0M0MwNDAwM0UwNDNDMDQwMDFFMDgxRTA4 MDAxRTA4MUUwODAKMDFFMDgxRTA4MDAwRjEwMEYxMDAwMEYxMDBGMTAwMDBG MTAwRjEwMDAwNzkwMEZBMDAwMDdBMDA3QTAwMDA3QTAwN0EwMDAwM0UwMDdD CjAwMDAzQzAwM0MwMDAwM0MwMDNDMDAwMDNDMDAzQzAwMDAxODAwMTgwMDAw MTgwMDE4MDAwMDE4MDAxODAwMjgxRDdGOUIyQj44NwpEPEZFRkVDMEMwQzBD MEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMwQzBDMEMw QzBDMEMwQzBDMEMwQzBDMEMwQzAKQzBGRUZFMDcyOTdDOUUwQz45MSBEPEZF RkUwNjA2MDYwNjA2MDYwNjA2MDYwNjA2MDYwNjA2MDYwNjA2MDYwNjA2MDYw NjA2MDYwNjA2CjA2MDYwNjA2MDYwNjA2MDYwNjA2MDZGRUZFMDcyOTgwOUUw Qz45MyBEPDFGQzAwMDMwNzAwMDc4MzgwMDc4MUMwMDMwMUMwMDAwMUMwMAow MDFDMDAwMUZDMDAwRjFDMDAzODFDMDA3MDFDMDA2MDFDMDBFMDFDNDBFMDFD NDBFMDFDNDA2MDNDNDAzMDRFODAxRjg3MDAxMjEyN0UKOTExNT45NyBEPEZD MDAwMDFDMDAwMDFDMDAwMDFDMDAwMDFDMDAwMDFDMDAwMDFDMDAwMDFDMDAw MDFDMDAwMDFDMDAwMDFDMDAwMDFDCjdDMDAxRDg2MDAxRTAzMDAxQzAxODAx QzAxQzAxQzAwQzAxQzAwRTAxQzAwRTAxQzAwRTAxQzAwRTAxQzAwRTAxQzAw RTAxQzAwQzAxQwowMUMwMUMwMTgwMUUwMzAwMTkwNjAwMTBGODAwMTMxRDdG OUMxNz5JPDA3RTAwQzMwMTg3ODMwNzg3MDMwNjAwMEUwMDBFMDAwRTAwMApF MDAwRTAwMEUwMDA2MDAwNzAwNDMwMDQxODA4MEMzMDA3QzAwRTEyN0U5MTEy Pkk8MDAzRjAwMDAwNzAwMDAwNzAwMDAwNzAwMDAwNwowMDAwMDcwMDAwMDcw MDAwMDcwMDAwMDcwMDAwMDcwMDAwMDcwMDAzRTcwMDBDMTcwMDE4MEYwMDMw MDcwMDcwMDcwMDYwMDcwMEUwMDcKMDBFMDA3MDBFMDA3MDBFMDA3MDBFMDA3 MDBFMDA3MDA2MDA3MDA3MDA3MDAzMDA3MDAxODBGMDAwQzM3MDAwN0M3RTAx MzFEN0U5QzE3Cj5JPDAzRTAwQzMwMTgxODMwMEM3MDBFNjAwNkUwMDZGRkZF RTAwMEUwMDBFMDAwRTAwMDYwMDA3MDAyMzAwMjE4MDQwQzE4MDNFMDBGCjEy N0Y5MTEyPkk8MDBGODAxOEMwNzFFMDYxRTBFMEMwRTAwMEUwMDBFMDAwRTAw MEUwMDBFMDBGRkUwMEUwMDBFMDAwRTAwMEUwMDBFCjAwMEUwMDBFMDAwRTAw MEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDA3RkUwMEYxRDgwOUMw RD5JPDAwMDM4MDAzQzRDMDBDCjM4QzAxQzM4ODAxODE4MDAzODFDMDAzODFD MDAzODFDMDAzODFDMDAxODE4MDAxQzM4MDAwQzMwMDAxM0MwMDAxMDAwMDAz MDAwMDAxOAowMDAwMUZGODAwMUZGRjAwMUZGRjgwMzAwMzgwNjAwMUMwQzAw MEMwQzAwMEMwQzAwMEMwNjAwMTgwMzAwMzAwMUMwRTAwMDdGODAwMTIKMUM3 RjkyMTU+STxGQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAx QzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAKMUM3QzAwMUM4NzAwMUQw MzAwMUUwMzgwMUMwMzgwMUMwMzgwMUMwMzgwMUMwMzgwMUMwMzgwMUMwMzgw MUMwMzgwMUMwMzgwMUMwMzgwCjFDMDM4MDFDMDM4MDFDMDM4MDFDMDM4MEZG OUZGMDE0MUQ3RjlDMTc+STwxODAwM0MwMDNDMDAxODAwMDAwMDAwMDAwMDAw MDAwMDAwCjAwMDAwMDAwMDBGQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAw MUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMApGRjgw MDkxRDdGOUMwQz5JPDAwQzAwMUUwMDFFMDAwQzAwMDAwMDAwMDAwMDAwMDAw MDAwMDAwMDAwMDAwMEZFMDAwRTAwMEUwMDBFMAowMEUwMDBFMDAwRTAwMEUw MDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAw MEUwMDBFMDYwRTBGMEMwRjEKQzA2MTgwM0UwMDBCMjU4MzlDMEQ+STxGQzAw MDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAx QzAwMDAKMUMwMDAwMUMwMDAwMUMzRkMwMUMwRjAwMUMwQzAwMUMwODAwMUMx MDAwMUMyMDAwMUM0MDAwMUNFMDAwMURFMDAwMUU3MDAwMUM3ODAwCjFDMzgw MDFDM0MwMDFDMUMwMDFDMEUwMDFDMEYwMDFDMEY4MEZGOUZFMDEzMUQ3RjlD MTY+STxGQzAwMUMwMDFDMDAxQzAwMUMwMDFDCjAwMUMwMDFDMDAxQzAwMUMw MDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAw MUMwMDFDMDAxQzAwMUMwMAoxQzAwMUMwMDFDMDBGRjgwMDkxRDdGOUMwQz5J PEZDN0UwN0UwMDAxQzgzODgzODAwMUQwMTkwMTgwMDFFMDFFMDFDMDAxQzAx QzAxQwowMDFDMDFDMDFDMDAxQzAxQzAxQzAwMUMwMUMwMUMwMDFDMDFDMDFD MDAxQzAxQzAxQzAwMUMwMUMwMUMwMDFDMDFDMDFDMDAxQzAxQzAKMUMwMDFD MDFDMDFDMDAxQzAxQzAxQzAwMUMwMUMwMUMwMDFDMDFDMDFDMDBGRjhGRjhG RjgwMjExMjdGOTEyND5JPEZDN0MwMDFDODcKMDAxRDAzMDAxRTAzODAxQzAz ODAxQzAzODAxQzAzODAxQzAzODAxQzAzODAxQzAzODAxQzAzODAxQzAzODAx QzAzODAxQzAzODAxQzAzCjgwMUMwMzgwMUMwMzgwRkY5RkYwMTQxMjdGOTEx Nz5JPDAzRjAwMDBFMUMwMDE4MDYwMDMwMDMwMDcwMDM4MDYwMDE4MEUwMDFD MEUwCjAxQzBFMDAxQzBFMDAxQzBFMDAxQzBFMDAxQzA2MDAxODA3MDAzODAz MDAzMDAxODA2MDAwRTFDMDAwM0YwMDAxMjEyN0Y5MTE1Pkk8CkZDN0MwMDFE ODYwMDFFMDMwMDFDMDE4MDFDMDFDMDFDMDBDMDFDMDBFMDFDMDBFMDFDMDBF MDFDMDBFMDFDMDBFMDFDMDBFMDFDMDFDMAoxQzAxQzAxQzAxODAxRTAzMDAx RDA2MDAxQ0Y4MDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAw MDAxQzAwMDBGRjgwMDAKMTMxQTdGOTExNz5JPEZDRTAxRDMwMUU3ODFFNzgx QzMwMUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFD MDAKMUMwMEZGQzAwRDEyN0Y5MTEwPjExNCBEPDFGOTAzMDcwNDAzMEMwMTBD MDEwRTAxMEY4MDA3RjgwM0ZFMDBGRjAwMEY4ODAzODgwMTgKQzAxOEMwMThF MDEwRDA2MDhGQzAwRDEyN0Y5MTEwPkk8MDQwMDA0MDAwNDAwMDQwMDBDMDAw QzAwMUMwMDNDMDBGRkUwMUMwMDFDMDAKMUMwMDFDMDAxQzAwMUMwMDFDMDAx QzAwMUMwMDFDMTAxQzEwMUMxMDFDMTAxQzEwMEMxMDBFMjAwM0MwMEMxQTdG OTkxMD5JPEZDMUYKODAxQzAzODAxQzAzODAxQzAzODAxQzAzODAxQzAzODAx QzAzODAxQzAzODAxQzAzODAxQzAzODAxQzAzODAxQzAzODAxQzAzODAxQzAz CjgwMUMwNzgwMEMwNzgwMEUxQjgwMDNFM0YwMTQxMjdGOTExNz5JPEZGMDdF MDNDMDM4MDFDMDEwMDFDMDEwMDBFMDIwMDBFMDIwMDA3CjA0MDAwNzA0MDAw NzA0MDAwMzg4MDAwMzg4MDAwM0Q4MDAwMUQwMDAwMUQwMDAwMEUwMDAwMEUw MDAwMEUwMDAwMDQwMDAxMzEyN0Y5MQoxNj5JPEZGM0ZDRkUwM0MwRjAzODAx QzA3MDE4MDFDMDcwMTAwMUMwQjAxMDAwRTBCODIwMDBFMEI4MjAwMEUxMTgy MDAwNzExQzQwMAowNzExQzQwMDA3MjBDNDAwMDNBMEU4MDAwM0EwRTgwMDAz QzA2ODAwMDFDMDcwMDAwMUMwNzAwMDAxODAzMDAwMDA4MDIwMDAxQjEyN0YK OTExRT5JPDdGOEZGMDBGMDM4MDBGMDMwMDA3MDIwMDAzODQwMDAxQzgwMDAx RDgwMDAwRjAwMDAwNzAwMDAwNzgwMDAwRjgwMDAwOUMKMDAwMTBFMDAwMjBF MDAwNjA3MDAwNDAzODAxRTA3QzBGRjBGRjgxNTEyODA5MTE2Pkk8RkYwN0Uw M0MwMzgwMUMwMTAwMUMwMTAwMEUKMDIwMDBFMDIwMDA3MDQwMDA3MDQwMDA3 MDQwMDAzODgwMDAzODgwMDAzRDgwMDAxRDAwMDAxRDAwMDAwRTAwMDAwRTAw MDAwRTAwMDAwCjQwMDAwMDQwMDAwMDgwMDAwMDgwMDBGMDgwMDBGMTAwMDBG MzAwMDA2NjAwMDAzQzAwMDAxMzFBN0Y5MTE2Pkk8MUMwNDNGMDg0M0YwCjgw RTAwRTA0N0Q5QjE1PjEyNiBEIEUgL0ZqIDEgNTEgZGY8MDA3RkUwMDNGRkUw MDc4MDAwMEMwMDAwMTgwMDAwMzAwMDAwMzAwMDAwCjYwMDAwMDYwMDAwMEMw MDAwMEMwMDAwMEZGRkZFMEZGRkZFMEMwMDAwMEMwMDAwMDYwMDAwMDYwMDAw MDMwMDAwMDMwMDAwMDE4MDAwMAowQzAwMDAwNzgwMDAwM0ZGRTAwMDdGRTAx MzE4N0Q5NDFBPjUwIEQgRSAvRmsgMiAxMjIgZGY8RkUwM0YwMzgwMTgwMTgw MTAwMUMwMgowMDBDMDQwMDBFMDgwMDA2MTAwMDA3MjAwMDAzNDAwMDAzODAw MDAxODAwMDAzMDAwMDAzMDAwMDAzMDAwMDAzMDAwMDA2MDAwMDNGQzAKMDAx NDExN0Q5MDEyPjg5IEQ8MzgxMDQ4MzA4QzMwOTgzMDE4MzAzMDYwMzA2MDMw NjAzMEUwMzFDMDBFQzAwMEMwNDE4MEMxODA4NjAwCjdDMDAwQzEwN0U4QTEw PjEyMSBEIEUgL0ZsIDIgMTIxIGRmPDAxRkY4M0ZFMDAzQzAwRjAwMDNDMDBD MDAwMUMwMDgwMDAxRTAxMDAwMAowRTAyMDAwMDBFMDQwMDAwMDcwODAwMDAw NzEwMDAwMDA3QTAwMDAwMDNDMDAwMDAwM0MwMDAwMDAxQzAwMDAwMDNDMDAw MDAwN0UwMDAKMDAwNEUwMDAwMDA4RjAwMDAwMTA3MDAwMDAyMDcwMDAwMDQw MzgwMDAwODAzODAwMDEwMDNDMDAwMjAwMUMwMDA2MDAxRTAwMUUwMDFFCjAw RkY4MEZGQzAxRjFBN0Y5OTIwPjg4IEQ8MEYxRTExQTMyMUU3NDFDMzQxQzA0 MUMwMDM4MDAzODAwMzgwMDM4MDA3MDIwNzAyQzcwMgpFQjA0Q0IwODcwRjAx MDEwN0U4RjE2PjEyMCBEIEUgL0ZtIDIxIDExOSBkZjw2MEYwRjA3MDEwMTAx MDIwMjA0MDgwMDQwQjdEODMwQj4KNDQgRDw2MEYwRjA2MDA0MDQ3RDgzMEI+ NDYgRDwwMDBDMDAwMDAwMEMwMDAwMDAwQzAwMDAwMDFFMDAwMDAwMUUwMDAw MDAzRjAwMDAKMDAyNzAwMDAwMDI3MDAwMDAwNDM4MDAwMDA0MzgwMDAwMDQz ODAwMDAwODFDMDAwMDA4MUMwMDAwMDgxQzAwMDAxMDBFMDAwMDEwMEUwCjAw MDFGRkUwMDAwMjAwNzAwMDAyMDA3MDAwMDYwMDc4MDAwNDAwMzgwMDA0MDAz ODAwMDgwMDFDMDAwODAwMUMwMDFDMDAxRTAwRkYwMApGRkMwMUExQTdGOTkx RD42NSBEPDNGODA3MEMwNzBFMDIwNzAwMDcwMDA3MDA3RjAxQzcwMzA3MDcw NzBFMDcwRTA3MUUwNzFFMEYxNzEKRkIxRTNDMTAxMDdFOEYxMz45NyBEPDA3 RjgwQzFDMzgxQzMwMDg3MDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwNzAw MDMwMDQzODA4CjBDMTgwN0UwMEUxMDdGOEYxMT45OSBEPDAwN0UwMDAwMEUw MDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMAow MDBFMDAwM0NFMDAwQzNFMDAzODBFMDAzMDBFMDA3MDBFMDBFMDBFMDBFMDBF MDBFMDBFMDBFMDBFMDBFMDBFMDBFMDBFMDA2MDBFMDAKNzAwRTAwMzgxRTAw MUMyRTAwMDdDRkMwMTIxQTdGOTkxNT5JPDA3QzAxQzMwMzAxODcwMTg2MDBD RTAwQ0ZGRkNFMDAwRTAwMEUwMDAKRTAwMDYwMDAzMDA0MzgwODBDMTgwN0Uw MEUxMDdGOEYxMT5JPDAxRjAwMzE4MDczODBFMTAwRTAwMEUwMDBFMDAwRTAw MEUwMDBFMDAKRkZDMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAw MEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwN0ZFMDBEMUE4MDk5MEM+STwKMEZD RTE4NzMzMDMwNzAzODcwMzg3MDM4NzAzODMwMzAxODYwMkZDMDIwMDA2MDAw NzAwMDNGRjAzRkZDMUZGRTYwMEZDMDAzQzAwM0MwCjAzQzAwMzYwMDYzODFD MDdFMDEwMTg3RjhGMTM+STxGQzAwMDAxQzAwMDAxQzAwMDAxQzAwMDAxQzAw MDAxQzAwMDAxQzAwMDAxQzAwCjAwMUMwMDAwMUMwMDAwMUNGODAwMUQwQzAw MUUwRTAwMUUwRTAwMUMwRTAwMUMwRTAwMUMwRTAwMUMwRTAwMUMwRTAwMUMw RTAwMUMwRQowMDFDMEUwMDFDMEUwMDFDMEUwMDFDMEUwMEZGOUZDMDEyMUE3 Rjk5MTU+STwxODAwM0MwMDNDMDAxODAwMDAwMDAwMDAwMDAwMDAwMAowMDAw MDAwMEZDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAx QzAwMUMwMDFDMDAxQzAwMUMwMEZGODAwOTFBODAKOTkwQT5JPEZDMDAxQzAw MUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAx QzAwMUMwMDFDMDAxQzAwMUMKMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDAx QzAwRkY4MDA5MUE4MDk5MEE+MTA4IEQ8RkM3QzFGMDAxRDhFNjM4MDFFMDc4 MUMwMUUKMDc4MUMwMUMwNzAxQzAxQzA3MDFDMDFDMDcwMUMwMUMwNzAxQzAx QzA3MDFDMDFDMDcwMUMwMUMwNzAxQzAxQzA3MDFDMDFDMDcwMUMwCjFDMDcw MUMwMUMwNzAxQzBGRjlGRTdGODFEMTA3RjhGMjA+STxGQ0Y4MDAxRDBDMDAx RTBFMDAxRTBFMDAxQzBFMDAxQzBFMDAxQzBFCjAwMUMwRTAwMUMwRTAwMUMw RTAwMUMwRTAwMUMwRTAwMUMwRTAwMUMwRTAwMUMwRTAwRkY5RkMwMTIxMDdG OEYxNT5JPDA3RTAxQzM4CjMwMEM3MDBFNjAwNkUwMDdFMDA3RTAwN0UwMDdF MDA3RTAwNzYwMDY3MDBFMzgxQzFDMzgwN0UwMTAxMDdGOEYxMz5JPEZDRjgw MDFGCjBFMDAxRTA3MDAxQzAzODAxQzAzODAxQzAxQzAxQzAxQzAxQzAxQzAx QzAxQzAxQzAxQzAxQzAxQzAxQzAzODAxQzAzMDAxRTA3MDAxRgowQzAwMUNG MDAwMUMwMDAwMUMwMDAwMUMwMDAwMUMwMDAwMUMwMDAwMUMwMDAwRkY4MDAw MTIxNzdGOEYxNT5JPEZDRTAxRDcwMUU3MAoxRTIwMUMwMDFDMDAxQzAwMUMw MDFDMDAxQzAwMUMwMDFDMDAxQzAwMUMwMDFDMDBGRkMwMEMxMDdGOEYwRj4x MTQKRDwxRjIwNjBFMDQwMjBDMDIwQzAyMEYwMDA3RjAwM0ZDMDFGRTAwMEYw ODA3MDgwMzBDMDMwQzAyMEYwNDA4RjgwMEMxMDdGOEYwRj4KSTwwNDAwMDQw MDA0MDAwQzAwMEMwMDFDMDAzQzAwRkZDMDFDMDAxQzAwMUMwMDFDMDAxQzAw MUMwMDFDMDAxQzAwMUMyMDFDMjAxQzIwCjFDMjAxQzIwMEU0MDAzODAwQjE3 N0Y5NjBGPkk8RkM3RTAwMUMwRTAwMUMwRTAwMUMwRTAwMUMwRTAwMUMwRTAw MUMwRTAwMUMwRTAwCjFDMEUwMDFDMEUwMDFDMEUwMDFDMEUwMDFDMEUwMDFD MUUwMDBDMkUwMDA3Q0ZDMDEyMTA3RjhGMTU+STxGRjFGODAzQzA2MDAxQzA0 CjAwMUMwNDAwMUUwQzAwMEUwODAwMEUwODAwMDcxMDAwMDcxMDAwMDc5MDAw MDNBMDAwMDNBMDAwMDFDMDAwMDFDMDAwMDFDMDAwMDA4MAowMDExMTA3RjhG MTQ+SSBFIC9GbiA3IDExNyBkZjwwMDAzMDAwMDAwMDc4MDAwMDAwNzgwMDAw MDA3ODAwMDAwMEZDMDAwMDAwRkMwMDAKMDAxQkUwMDAwMDFCRTAwMDAwMUJF MDAwMDAzMUYwMDAwMDMxRjAwMDAwNjBGODAwMDA2MEY4MDAwMEUwRkMwMDAw QzA3QzAwMDBDMDdDCjAwMDE4MDNFMDAwMUZGRkUwMDAzRkZGRjAwMDMwMDFG MDAwMzAwMUYwMDA2MDAwRjgwMDYwMDBGODAwRTAwMEZDMEZGQzA3RkZDRkZD MAo3RkZDMUUxQTdGOTkyMT42NSBEPDBGRjAwMDFDM0MwMDNFMUUwMDNFMEUw MDNFMEYwMDFDMEYwMDAwMEYwMDAwRkYwMDBGQ0YwMDNFMEYKMDA3QzBGMDBG ODBGMDBGODBGMDBGODBGMDBGODE3MDA3QzI3RTAxRkMzRTAxMzExN0Y5MDE1 Pjk3IEQ8RkUwMDAwRkUwMDAwMUUwMDAwCjFFMDAwMDFFMDAwMDFFMDAwMDFF MDAwMDFFMDAwMDFFMDAwMDFFN0YwMDFGQzNDMDFGMDBFMDFFMDBGMDFFMDA3 ODFFMDA3ODFFMDA3QwoxRTAwN0MxRTAwN0MxRTAwN0MxRTAwN0MxRTAwNzgx RTAwNzgxRTAwRjAxRjAwRTAxRDgzQzAxODdGMDAxNjFBN0Y5OTE5Pkk8MDNG QwowMDBGMEUwMDFDMUYwMDNDMUYwMDc4MUYwMDc4MEUwMEY4MDAwMEY4MDAw MEY4MDAwMEY4MDAwMEY4MDAwMDc4MDAwMDc4MDAwMDNDMDEKODAxQzAzMDAw RjA2MDAwM0ZDMDAxMTExN0Y5MDE0Pkk8RkM3OEZDOUMxRDNFMUQzRTFFM0Ux RTFDMUUwMDFFMDAxRTAwMUUwMDFFMDAKMUUwMDFFMDAxRTAwMUUwMEZGQzBG RkMwMEYxMTdGOTAxMj4xMTQgRDwxRkIwMjA3MDQwMzBDMDMwQzAzMEYwMDBG RjgwN0ZFMDNGRjgKMDdGODAwM0NDMDBDQzAwQ0UwMENFMDA4RjgzMENGRTAw RTExN0Y5MDExPkk8MDYwMDA2MDAwNjAwMDYwMDBFMDAwRTAwMUUwMDNGRjAK RkZGMDFFMDAxRTAwMUUwMDFFMDAxRTAwMUUwMDFFMDAxRTAwMUUxODFFMTgx RTE4MUUxODFFMTgwRjMwMDNFMDBEMTg3Rjk3MTE+SQpFIC9GbyAyMCAxMTcg ZGY8NzBGOEZDRkM3NDA0MDQwNDA0MDgwODEwMTAyMDQwMDYwRjdDODQwRT40 NApEPDcwRjhGOEY4NzAwNTA1N0M4NDBFPjQ2IEQ8MDA4MDAzODAwRjgwRjM4 MDAzODAwMzgwMDM4MDAzODAwMzgwMDM4MDAzODAwMzgwMDMKODAwMzgwMDM4 MDAzODAwMzgwMDM4MDAzODAwMzgwMDM4MDAzODAwMzgwMDM4MDAzODAwMzgw MDM4MDAzODAwMzgwMDM4MDAzODAwN0MwCkZGRkUwRjIxN0NBMDE4PjQ5IEQ8 MDNGMDAwMEMxQzAwMTAwNzAwMjAwNzgwNDAwM0MwNDAwM0MwODAwM0UwRjAw M0UwRjgwMUUwRjgwMQpFMEY4MDFFMDIwMDNFMDAwMDNFMDAwMDNDMDAwMDND MDAwMDc4MDAwMDcwMDAwMEUwMDAwMUMwMDAwMTgwMDAwMzAwMDAwNjAwMDAw QzAKMDAwMTgwMDAwMTAwMDAwMjAwMjAwNDAwMjAwODAwMjAxODAwNjAzMDAw NDAzRkZGQzA3RkZGQzBGRkZGQzAxMzIxN0VBMDE4Pkk8MDAKMDIwMDAwMDYw MDAwMEUwMDAwMEUwMDAwMUUwMDAwMUUwMDAwMkUwMDAwNEUwMDAwNEUwMDAw OEUwMDAwOEUwMDAxMEUwMDAyMEUwMDAyCjBFMDAwNDBFMDAwNDBFMDAwODBF MDAxMDBFMDAxMDBFMDAyMDBFMDAyMDBFMDA0MDBFMDA4MDBFMDBGRkZGRjgw MDBFMDAwMDBFMDAwMAowRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAwRTAwMDAx RjAwMDFGRkYwMTUyMTdGQTAxOD41MiBEPDAxRjgwMDA2MEUwMDA4MDMwMDEw MDEKODAyMDAxODAyMDAwQzA2MDAwQzA2MDAwQzA2MDAwQzA3MDAwQzA3ODAx ODAzRTAxMDAzRjAyMDAxRkM0MDAwRkY4MDAwM0Y4MDAwM0ZDCjAwMDY3RjAw MDgzRjgwMTAwRjgwMzAwN0MwNjAwMUMwNjAwMEUwQzAwMEUwQzAwMDYwQzAw MDYwQzAwMDYwQzAwMDYwNjAwMDQwNjAwMApDMDMwMDA4MDE4MDMwMDBFMEUw MDAzRjAwMDEzMjI3RUEwMTg+NTYgRDwwMUYwMDAwNjBDMDAwQzA2MDAxODA3 MDAzODAzODA3MDAzODAKNzAwMzgwRjAwMUMwRjAwMUMwRjAwMUMwRjAwMUUw RjAwMUUwRjAwMUUwRjAwMUUwRjAwMUUwNzAwMUUwNzAwM0UwMzgwM0UwMTgw NUUwCjBDMDVFMDA2MTlFMDAzRTFFMDAwMDFDMDAwMDFDMDAwMDFDMDAwMDM4 MDAwMDM4MDMwMDMwMDc4MDcwMDc4MDYwMDcwMEMwMDIwMTgwMAoxMDMwMDAw RkMwMDAxMzIyN0VBMDE4Pkk8MDAwN0YwMDgwMDNDMEMxODAwRTAwMjE4MDFD MDAxQjgwMzgwMDBGODA3MDAwMDc4MEYwMAowMDM4MUUwMDAwMzgxRTAwMDAx ODNDMDAwMDE4M0MwMDAwMTg3QzAwMDAwODc4MDAwMDA4NzgwMDAwMDhGODAw MDAwMEY4MDAwMDAwRjgKMDAwMDAwRjgwMDAwMDBGODAwMDAwMEY4MDAwMDAw RjgwMDAwMDBGODAwMUZGRjc4MDAwMEY4NzgwMDAwNzg3QzAwMDA3ODNDMDAw MDc4CjNDMDAwMDc4MUUwMDAwNzgxRTAwMDA3ODBGMDAwMDc4MDcwMDAwNzgw MzgwMDBCODAxQzAwMEI4MDBFMDAzMTgwMDNDMEMwODAwMDdGMAowMDIwMjQ3 REEyMjY+NzEgRDxGRkMwMDAwM0ZGMEZDMDAwMDNGMDA3QzAwMDAzRTAwNUUw MDAwNUUwMDVFMDAwMDVFMDA0RjAwMDA5RTAKMDRGMDAwMDlFMDA0RjAwMDA5 RTAwNDc4MDAxMUUwMDQ3ODAwMTFFMDA0NzgwMDExRTAwNDNDMDAyMUUwMDQz QzAwMjFFMDA0M0MwMDIxCkUwMDQxRTAwNDFFMDA0MUUwMDQxRTAwNDBGMDA4 MUUwMDQwRjAwODFFMDA0MEYwMDgxRTAwNDA3ODEwMUUwMDQwNzgxMDFFMDA0 MDc4MQowMUUwMDQwM0MyMDFFMDA0MDNDMjAxRTAwNDAxRTQwMUUwMDQwMUU0 MDFFMDA0MDFFNDAxRTAwNDAwRjgwMUUwMDQwMEY4MDFFMDA0MDAKRjgwMUUw MDQwMDcwMDFFMDBFMDA3MDAxRTAxRjAwNzAwM0YwRkZFMDIwM0ZGRjI4MjI3 RUExMkQ+NzcKRDxGRkYwM0ZGQzAzRkUxRjgwMDdFMDAwRjgwRjAwMDNDMDAw NzAwRjAwMDNDMDAwMjAwRjAwMDNDMDAwMjAwNzgwMDFFMDAwNDAwNzgwCjAx RTAwMDQwMDc4MDAxRTAwMDQwMDNDMDAyRjAwMDgwMDNDMDAyRjAwMDgwMDND MDAyRjAwMDgwMDFFMDA0NzgwMTAwMDFFMDA0NzgwMQowMDAxRTAwNDc4MDEw MDAwRjAwODNDMDIwMDAwRjAwODNDMDIwMDAwRjAwODNDMDIwMDAwRjgxODNF MDYwMDAwNzgxMDFFMDQwMDAwNzgKMTAxRTA0MDAwMDdDMTAxRTA0MDAwMDND MjAwRjA4MDAwMDNDMjAwRjA4MDAwMDNDMjAwRjA4MDAwMDFFNDAwNzkwMDAw MDFFNDAwNzkwCjAwMDAxRTQwMDc5MDAwMDAwRjgwMDNFMDAwMDAwRjgwMDNF MDAwMDAwRjgwMDNFMDAwMDAwNzAwMDFDMDAwMDAwNzAwMDFDMDAwMDAwNwow MDAxQzAwMDAwMDMwMDAxODAwMDAwMDIwMDAwODAwMDJGMjM3RkExMzI+ODcg RDwwRkUwMDAxODM4MDAzQzBDMDAzQzBFMDAxODA3MDAKMDAwNzAwMDAwNzAw MDAwNzAwMDBGRjAwMDdDNzAwMUUwNzAwM0MwNzAwNzgwNzAwNzAwNzAwRjAw NzA4RjAwNzA4RjAwNzA4RjAwRjA4Cjc4MTcwODNDMjM5MDBGQzFFMDE1MTU3 RTk0MTg+OTcgRDwwMUZFMDAwNzAzMDAwQzA3ODAxQzA3ODAzODAzMDA3ODAw MDA3MDAwMDBGMAowMDAwRjAwMDAwRjAwMDAwRjAwMDAwRjAwMDAwRjAwMDAw RjAwMDAwNzAwMDAwNzgwMDQwMzgwMDQwMUMwMDgwMEMwMTAwMDcwNjAwMDEK RjgwMDEyMTU3RTk0MTY+OTkgRDwwMUZDMDAwNzA3MDAwQzAzODAxQzAxQzAz ODAxQzA3ODAxRTA3MDAwRTBGMDAwRTBGRkZGRTBGMDAwCjAwRjAwMDAwRjAw MDAwRjAwMDAwRjAwMDAwNzAwMDAwNzgwMDIwMzgwMDIwMUMwMDQwMEUwMDgw MDcwMzAwMDBGQzAwMTMxNTdGOTQxNgo+MTAxIEQ8MEUwMDAwRkUwMDAwMUUw MDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAwMEUwMDAw MEUwMDAwMEUwMAowMDBFMDAwMDBFMDAwMDBFMUY4MDBFNjBDMDBFODBFMDBG MDA3MDBGMDA3MDBFMDA3MDBFMDA3MDBFMDA3MDBFMDA3MDBFMDA3MDBFMDAK NzAwRTAwNzAwRTAwNzAwRTAwNzAwRTAwNzAwRTAwNzAwRTAwNzAwRTAwNzAw RTAwNzAwRTAwNzBGRkU3RkYxODIzN0ZBMjFCPjEwNApEPDFDMDAxRTAwM0Uw MDFFMDAxQzAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwRTAw RkUwMDFFMDAwRTAwMEUwMDBFMDAKMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAw MEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDBGRkMwMEEyMjdGQTEw RT5JPDBFMDAKRkUwMDFFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAw MEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFCjAw MEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAw RTAwMEUwMEZGRTAwQjIzN0ZBMjBFPjEwOApEPDBFMUZDMDdGMDBGRTYwRTE4 MzgwMUU4MDcyMDFDMDBGMDAzQzAwRTAwRjAwM0MwMEUwMEUwMDM4MDBFMDBF MDAzODAwRTAwRTAwMzgKMDBFMDBFMDAzODAwRTAwRTAwMzgwMEUwMEUwMDM4 MDBFMDBFMDAzODAwRTAwRTAwMzgwMEUwMEUwMDM4MDBFMDBFMDAzODAwRTAw RTAwCjM4MDBFMDBFMDAzODAwRTAwRTAwMzgwMEUwMEUwMDM4MDBFMDBFMDAz ODAwRTBGRkUzRkY4RkZFMjcxNTdGOTQyQT5JPDBFM0NGRTQ2CjFFOEYwRjBG MEYwNjBGMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAw RTAwMEUwMDBFMDAwRTAwMEYwMEZGRjAxMAoxNTdGOTQxMz4xMTQgRDwwRjg4 MzA3ODYwMThDMDE4QzAwOEMwMDhFMDA4RjAwMDdGODAzRkUwMEZGMDAxRjgw MDNDODAxQzgwMEM4MAowQ0MwMENDMDA4RTAxOEQwMzA4RkMwMEUxNTdFOTQx Mz5JPDAyMDAwMjAwMDIwMDAyMDAwNjAwMDYwMDA2MDAwRTAwMUUwMDNFMDBG RgpGODBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAwRTAwMEUwMDBFMDAw RTAwMEUwNDBFMDQwRTA0MEUwNDBFMDQwRTA0MDcwODAzMDgKMDFGMDBFMUY3 RjlFMTM+SSBFIC9GcCAxNyAxMjAgZGY8RkZGRkZGRkZDMEZGRkZGRkZGQzAw N0UwMDAxRkMwMDNFMDAwMDNDMDAzRTAKMDAwMUUwMDNFMDAwMDBFMDAzRTAw MDAwNjAwM0UwMDAwMDYwMDNFMDAwMDAyMDAzRTAwMDAwMjAwM0UwMDAwMDIw MDNFMDAwMDAyMDAzCkUwMDAwMDEwMDNFMDAwMDAxMDAzRTAwMDAwMTAwM0Uw MDA4MDEwMDNFMDAwODAwMDAzRTAwMDgwMDAwM0UwMDA4MDAwMDNFMDAwODAw MAowM0UwMDE4MDAwMDNFMDAxODAwMDAzRTAwNzgwMDAwM0ZGRkY4MDAwMDNG RkZGODAwMDAzRTAwNzgwMDAwM0UwMDE4MDAwMDNFMDAxODAKMDAwM0UwMDA4 MDAwMDNFMDAwODAwMDAzRTAwMDgwMDAwM0UwMDA4MDAwMDNFMDAwODAwMDAz RTAwMDAwMDAwM0UwMDAwMDAwMDNFMDAwCjAwMDAwM0UwMDAwMDAwMDNFMDAw MDAwMDAzRTAwMDAwMDAwM0UwMDAwMDAwMDNFMDAwMDAwMDAzRTAwMDAwMDAw M0UwMDAwMDAwMDNFMAowMDAwMDAwM0UwMDAwMDAwMDNFMDAwMDAwMDA3RjAw MDAwMDBGRkZGQzAwMDAwRkZGRkMwMDAwMDI0MzE3Q0IwMkI+NzAKRDxGRkZG ODBGRkZGODAwN0YwMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAw M0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0UwCjAwMDNFMDAwMDNFMDAwMDNF MDAwMDNFMDAwMDNFMDAwMDNFMDAwMDNFMDAwMDNFMDAwMDNFMDAwMDNFMDAw MDNFMDAwMDNFMDAwMDNFMAowMDAzRTAwMDAzRTAwMDAzRTAwMDAzRTAwMDAz RTAwMDAzRTAwMDAzRTAwMDAzRTAwMDAzRTAwMDAzRTAwMDAzRTAwMDAzRTAw MDAzRTAKMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAwM0UwMDAw M0UwMDAwN0YwMDBGRkZGODBGRkZGODAxMTMxN0RCMDE3PjczCkQ8RkZGRkZG QzAwMEZGRkZGRkY4MDAwN0UwMDA3RTAwMDNFMDAwMUYwMDAzRTAwMDA3ODAw M0UwMDAwM0MwMDNFMDAwMDFFMDAzRTAwMAowMUYwMDNFMDAwMDFGMDAzRTAw MDAwRjAwM0UwMDAwMEY4MDNFMDAwMDBGODAzRTAwMDAwRjgwM0UwMDAwMEY4 MDNFMDAwMDBGODAzRTAKMDAwMEY4MDNFMDAwMDBGMDAzRTAwMDAxRjAwM0Uw MDAwMUUwMDNFMDAwMDNFMDAzRTAwMDAzQzAwM0UwMDAwNzgwMDNFMDAwMUYw MDAzCkUwMDA3QzAwMDNGRkZGRjAwMDAzRTAwMDAwMDAwM0UwMDAwMDAwMDNF MDAwMDAwMDAzRTAwMDAwMDAwM0UwMDAwMDAwMDNFMDAwMDAwMAowM0UwMDAw MDAwMDNFMDAwMDAwMDAzRTAwMDAwMDAwM0UwMDAwMDAwMDNFMDAwMDAwMDAz RTAwMDAwMDAwM0UwMDAwMDAwMDNFMDAwMDAKMDAwM0UwMDAwMDAwMDNFMDAw MDAwMDAzRTAwMDAwMDAwM0UwMDAwMDAwMDNFMDAwMDAwMDAzRTAwMDAwMDAw M0UwMDAwMDAwMDdGMDAwCjAwMDBGRkZGODAwMDAwRkZGRjgwMDAwMDI1MzE3 Q0IwMkQ+ODAgRDw3RkZGRkZGRkZGRTA3RkZGRkZGRkZGRTA3RTAwMEY4MDA3 RTA3OAowMDBGODAwMUUwNzAwMDBGODAwMEUwNjAwMDBGODAwMDYwNDAwMDBG ODAwMDIwNDAwMDBGODAwMDIwQzAwMDBGODAwMDMwQzAwMDBGODAKMDAzMDgw MDAwRjgwMDAxMDgwMDAwRjgwMDAxMDgwMDAwRjgwMDAxMDgwMDAwRjgwMDAx MDgwMDAwRjgwMDAxMDgwMDAwRjgwMDAxMDAwCjAwMEY4MDAwMDAwMDAwMEY4 MDAwMDAwMDAwMEY4MDAwMDAwMDAwMEY4MDAwMDAwMDAwMEY4MDAwMDAwMDAw MEY4MDAwMDAwMDAwMEY4MAowMDAwMDAwMDBGODAwMDAwMDAwMDBGODAwMDAw MDAwMDBGODAwMDAwMDAwMDBGODAwMDAwMDAwMDBGODAwMDAwMDAwMDBGODAw MDAwMDAKMDAwRjgwMDAwMDAwMDAwRjgwMDAwMDAwMDAwRjgwMDAwMDAwMDAw RjgwMDAwMDAwMDAwRjgwMDAwMDAwMDAwRjgwMDAwMDAwMDAwRjgwCjAwMDAw MDAwMEY4MDAwMDAwMDAwMEY4MDAwMDAwMDAwMEY4MDAwMDAwMDAwMEY4MDAw MDAwMDAwMEY4MDAwMDAwMDAwMEY4MDAwMDAwMAowMDBGODAwMDAwMDAwMDBG ODAwMDAwMDAwMDBGODAwMDAwMDAwMDBGODAwMDAwMDAwMDFGQzAwMDAwMDAw RkZGRkY4MDAwMDAwRkZGRkYKODAwMDJDMzE3RUIwMzA+ODQgRDwwMEZFMDAw MDAzMDNDMDAwMEMwMEUwMDAxMDAwNzAwMDEwMDAzODAwM0MwMDNDMDAzRTAw MUMwMDNFCjAwMUUwMDNFMDAxRTAwMDgwMDFFMDAwMDAwMUUwMDAwMDAxRTAw MDAwMDFFMDAwMDBGRkUwMDAwRkMxRTAwMDNFMDFFMDAwRjgwMUUwMAoxRjAw MUUwMDNFMDAxRTAwM0MwMDFFMDA3QzAwMUUwMEY4MDAxRTA0RjgwMDFFMDRG ODAwMUUwNEY4MDAzRTA0RjgwMDNFMDQ3ODAwM0UKMDQ3QzAwNUUwNDNFMDA4 RjA4MEYwMzA3RjAwM0ZDMDNFMDFFMUY3RDlFMjE+OTcgRDwwMDNGODAwMEUw NjAwMzgwMTgwNzAwMDQwRjAwCjA0MUUwMDFFMUMwMDNFM0MwMDNFN0MwMDNF N0MwMDA4NzgwMDAwRjgwMDAwRjgwMDAwRjgwMDAwRjgwMDAwRjgwMDAwRjgw MDAwRjgwMAowMEY4MDAwMEY4MDAwMDc4MDAwMDdDMDAwMDdDMDAwMDNDMDAw MTFFMDAwMTFFMDAwMjBGMDAwMjA3MDAwNDAzODAxODAwRTA2MDAwM0YKODAx ODFGN0Q5RTFEPjk5IEQ8MDAzRjgwMDAwMEUwRTAwMDAzODAzODAwMDcwMDND MDAwRTAwMUUwMDFFMDAxRTAwMUMwMDBGMDAzQzAwCjBGMDA3QzAwMEYwMDc4 MDAwRjgwNzgwMDA3ODBGODAwMDc4MEY4MDAwNzgwRkZGRkZGODBGODAwMDAw MEY4MDAwMDAwRjgwMDAwMDBGOAowMDAwMDBGODAwMDAwMEY4MDAwMDAwNzgw MDAwMDA3QzAwMDAwMDNDMDAwMDAwM0MwMDAwODAxRTAwMDA4MDBFMDAwMTAw MEYwMDAyMDAKMDc4MDAyMDAwMUMwMEMwMDAwRjAzMDAwMDAxRkMwMDAxOTFG N0U5RTFEPjEwMSBEPDA3ODAwMDAwMDBGRjgwMDAwMDAwRkY4MDAwMDAKMDAw RjgwMDAwMDAwMDc4MDAwMDAwMDA3ODAwMDAwMDAwNzgwMDAwMDAwMDc4MDAw MDAwMDA3ODAwMDAwMDAwNzgwMDAwMDAwMDc4MDAwCjAwMDAwNzgwMDAwMDAw MDc4MDAwMDAwMDA3ODAwMDAwMDAwNzgwMDAwMDAwMDc4MDAwMDAwMDA3ODAw MDAwMDAwNzgwMDAwMDAwMDc4MAowMDAwMDAwNzgwRkUwMDAwMDc4MzA3ODAw MDA3OEMwM0MwMDAwNzkwMDFFMDAwMDdBMDAxRTAwMDA3QTAwMEYwMDAwN0Mw MDBGMDAwMDcKQzAwMEYwMDAwNzgwMDBGMDAwMDc4MDAwRjAwMDA3ODAwMEYw MDAwNzgwMDBGMDAwMDc4MDAwRjAwMDA3ODAwMEYwMDAwNzgwMDBGMDAwCjA3 ODAwMEYwMDAwNzgwMDBGMDAwMDc4MDAwRjAwMDA3ODAwMEYwMDAwNzgwMDBG MDAwMDc4MDAwRjAwMDA3ODAwMEYwMDAwNzgwMDBGMAowMDA3ODAwMEYwMDAw NzgwMDBGMDAwMDc4MDAwRjAwMDA3ODAwMEYwMDAwNzgwMDBGMDAwMEZDMDAx RjgwMEZGRkMxRkZGODBGRkZDMUYKRkY4MDIxMzI3RUIxMjU+MTA0IEQ8MDcw MDBGODAxRjgwMUY4MDBGODAwNzAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAw MDAwMDAwMDAKMDAwMDAwMDAwMDAwMDc4MEZGODBGRjgwMEY4MDA3ODAwNzgw MDc4MDA3ODAwNzgwMDc4MDA3ODAwNzgwMDc4MDA3ODAwNzgwMDc4MDA3Cjgw MDc4MDA3ODAwNzgwMDc4MDA3ODAwNzgwMDc4MDA3ODAwNzgwMDc4MDA3ODAw RkMwRkZGOEZGRjgwRDMwN0VBRjEyPkk8MDc4MEZGCjgwRkY4MDBGODAwNzgw MDc4MDA3ODAwNzgwMDc4MDA3ODAwNzgwMDc4MDA3ODAwNzgwMDc4MDA3ODAw NzgwMDc4MDA3ODAwNzgwMDc4MAowNzgwMDc4MDA3ODAwNzgwMDc4MDA3ODAw NzgwMDc4MDA3ODAwNzgwMDc4MDA3ODAwNzgwMDc4MDA3ODAwNzgwMDc4MDA3 ODAwNzgwMDcKODAwNzgwMDc4MDA3ODAwNzgwMDc4MDA3ODAwRkMwRkZGQ0ZG RkMwRTMyN0VCMTEyPjEwOCBEPDA3ODBGRTAwMDBGRjgzMDc4MDAwRkYKOEMw M0MwMDAwRjkwMDFFMDAwMDdBMDAxRTAwMDA3QTAwMEYwMDAwN0MwMDBGMDAw MDdDMDAwRjAwMDA3ODAwMEYwMDAwNzgwMDBGMDAwCjA3ODAwMEYwMDAwNzgw MDBGMDAwMDc4MDAwRjAwMDA3ODAwMEYwMDAwNzgwMDBGMDAwMDc4MDAwRjAw MDA3ODAwMEYwMDAwNzgwMDBGMAowMDA3ODAwMEYwMDAwNzgwMDBGMDAwMDc4 MDAwRjAwMDA3ODAwMEYwMDAwNzgwMDBGMDAwMDc4MDAwRjAwMDA3ODAwMEYw MDAwNzgwMDAKRjAwMDA3ODAwMEYwMDAwNzgwMDBGMDAwMEZDMDAxRjgwMEZG RkMxRkZGODBGRkZDMUZGRjgwMjExRjdFOUUyNT4xMTAKRDwwMDFGQzAwMDAw RjA3ODAwMDFDMDFDMDAwNzAwMDcwMDBGMDAwNzgwMUUwMDAzQzAxQzAwMDFD MDNDMDAwMUUwM0MwMDAxRTA3ODAwCjAwRjA3ODAwMDBGMDc4MDAwMEYwRjgw MDAwRjhGODAwMDBGOEY4MDAwMEY4RjgwMDAwRjhGODAwMDBGOEY4MDAwMEY4 RjgwMDAwRjhGOAowMDAwRjg3ODAwMDBGMDdDMDAwMUYwM0MwMDAxRTAzQzAw MDFFMDFFMDAwM0MwMUUwMDAzQzAwRjAwMDc4MDA3ODAwRjAwMDFDMDFDMDAK MDBGMDc4MDAwMDFGQzAwMDFEMUY3RTlFMjE+STwwNzgzRTBGRjhDMThGRjkw N0MwRjkwN0MwN0EwN0MwN0MwMzgwN0MwMDAwN0MwMDAKMDdDMDAwMDc4MDAw MDc4MDAwMDc4MDAwMDc4MDAwMDc4MDAwMDc4MDAwMDc4MDAwMDc4MDAwMDc4 MDAwMDc4MDAwMDc4MDAwMDc4MDAwCjA3ODAwMDA3ODAwMDA3ODAwMDA3ODAw MDA3ODAwMDA3ODAwMDA3ODAwMDBGQzAwMEZGRkUwMEZGRkUwMDE2MUY3RTlF MTk+MTE0CkQ8MDA0MDAwMDA0MDAwMDA0MDAwMDA0MDAwMDA0MDAwMDBDMDAw MDBDMDAwMDBDMDAwMDFDMDAwMDFDMDAwMDNDMDAwMDdDMDAwMEZDMAowMDFG RkZFMEZGRkZFMDAzQzAwMDAzQzAwMDAzQzAwMDAzQzAwMDAzQzAwMDAzQzAw MDAzQzAwMDAzQzAwMDAzQzAwMDAzQzAwMDAzQzAKMDAwM0MwMDAwM0MwMDAw M0MwMDAwM0MwMDAwM0MwMDAwM0MwMTAwM0MwMTAwM0MwMTAwM0MwMTAwM0Mw MTAwM0MwMTAwM0MwMTAwM0MwCjEwMDFDMDIwMDFFMDIwMDBFMDQwMDA3OEMw MDAxRjAwMTQyQzdGQUIxOT4xMTYgRDwwNzgwMDBGMDAwRkY4MDFGRjAwMEZG ODAxRkYwCjAwMEY4MDAxRjAwMDA3ODAwMEYwMDAwNzgwMDBGMDAwMDc4MDAw RjAwMDA3ODAwMEYwMDAwNzgwMDBGMDAwMDc4MDAwRjAwMDA3ODAwMApGMDAw MDc4MDAwRjAwMDA3ODAwMEYwMDAwNzgwMDBGMDAwMDc4MDAwRjAwMDA3ODAw MEYwMDAwNzgwMDBGMDAwMDc4MDAwRjAwMDA3ODAKMDBGMDAwMDc4MDAwRjAw MDA3ODAwMEYwMDAwNzgwMDBGMDAwMDc4MDAwRjAwMDA3ODAwMUYwMDAwNzgw MDFGMDAwMDc4MDAxRjAwMDAzCjgwMDJGMDAwMDNDMDA0RjAwMDAxQzAwOEY4 MDAwMDcwMzBGRjgwMDAxRkMwRkY4MDIxMUY3RTlFMjU+STxGRkY4MDFGRjgw RkZGODAxCkZGODAwRkMwMDA3QzAwMDc4MDAwMzgwMDA3QzAwMDMwMDAwM0Mw MDAyMDAwMDNDMDAwMjAwMDAxRTAwMDQwMDAwMUUwMDA0MDAwMDFGMAowMDQw MDAwMEYwMDA4MDAwMDBGMDAwODAwMDAwNzgwMTAwMDAwMDc4MDEwMDAwMDA3 QzAxMDAwMDAwM0MwMjAwMDAwMDNDMDIwMDAwMDAKMUUwNDAwMDAwMDFFMDQw MDAwMDAxRjA0MDAwMDAwMEYwODAwMDAwMDBGMDgwMDAwMDAwNzkwMDAwMDAw MDc5MDAwMDAwMDA3RDAwMDAwCjAwMDNFMDAwMDAwMDAzRTAwMDAwMDAwMUMw MDAwMDAwMDFDMDAwMDAwMDAxQzAwMDAwMDAwMDgwMDAwMDIxMUY3RjlFMjM+ STxGRkYwCjdGRjgwRkZDRkZGMDdGRjgwRkZDMEZDMDA3QzAwM0YwMEY4MDAz QzAwMUMwMDc4MDAzQzAwMDgwMDc4MDAzQzAwMDgwMDNDMDAzRTAwMQowMDAz QzAwM0UwMDEwMDAzQzAwN0UwMDEwMDAxRTAwNEYwMDIwMDAxRTAwNEYwMDIw MDAxRTAwODcwMDIwMDAwRjAwODc4MDQwMDAwRjAKMDg3ODA0MDAwMEYwMTAz ODA0MDAwMDc4MTAzQzA4MDAwMDc4MTAzQzA4MDAwMDc4MjAxQzA4MDAwMDND MjAxRTEwMDAwMDNDMjAxRTEwCjAwMDAzQzQwMEUxMDAwMDAxRTQwMEYyMDAw MDAxRTQwMEYyMDAwMDAxRTgwMDcyMDAwMDAwRjgwMDdDMDAwMDAwRjgwMDdD MDAwMDAwRgowMDAzQzAwMDAwMDcwMDAzODAwMDAwMDcwMDAzODAwMDAwMDYw MDAxODAwMDAwMDIwMDAxMDAwMDJFMUY3RjlFMzA+SQpFIGVuZAolJUVuZFBy b2xvZwolJUJlZ2luU2V0dXAKJSVGZWF0dXJlOiAqUmVzb2x1dGlvbiAzMDAK VGVYRGljdCBiZWdpbiAKJSVFbmRTZXR1cAolJVBhZ2U6IDEgMQpib3AgNTYw IDQzNiBhIEZwKFRoZSkyMiBiKEluKW4odGVydilsKGFsKWcoUCluKG8pbih3 KW4oZXIpaChGKS02CmIodW5jdGlvbik3NjUgNTU2IHkgRm8oRy4pMTYgYihX aWxsaWFtKWUoVylsKGFsc3Rlcik4MTAgNjU0CnkoTWFyYylvKGgpaCgyNCwp aSgxOTk4KTg4OSA4MDMgeSBGbihBYnN0cmFjdCk0MTkgODY4IHkgRm0oQW4p ZChhbGdvcml0aG0paQooaXMpZShkZXYpbyhlbG9wKXEoZWQpaihmb3IpYyhj b21wdXRpbmcpaih0aGUpZShpbilvKHRlcnYpbihhbClpKGVuY2xvc3VyZSwp ZwpGbChYKTE1NDkgODUzIHkgRmsoWSkxNTc1IDg2OCB5IEZtKCwpMzYxIDkx NCB5KG9mKWQgRmwoeCk0MjcKODk4IHkgRmsoeSk0NDUgOTE0IHkgRm0oLCln KGZvcilnKG5lZ2F0aXYpbyhlKWgodiluKGFsdWVzKWcob2YpZgpGbCh4KWUg RmooMilmIEZsKFgpcyBGbSguKTMyMCA5ODkgeSBGaShPbmUpMTYgYihvZiln KHRoZSloKGNlbilvKHRyYWwpZihvYilyCihqZWN0aXYpbyhlcyloKG9mKWYo aW4pbyh0ZXJ2KW4oYWwpZihhcml0aG1ldGljKWcoaXMpaCh0bylnKGNvbnN0 cnVjdCloKGluKW8KKHRlcnYpbihhbCkyNTcgMTAzOSB5KGVuY2xvc3VyZXMp ZihvZilkKHJlYWwpaChmdW5jdGlvbnMuKTI1NwoxMTMwIHkgRmgoRGVcMDE0 bml0aW9uKWUoMSkyMSBiIEZnKEEpbyhuKTEyIGIoaW50ZXJ2YWwpZShmdW5j dGlvbiwpagpGZihGKTYgYiBGaShcKClwIEZmKFgpcyBGaShcKSkxMiBiIEZn KGlzKWYoYW4paChpbnRlcnZhbClmKGVuY2xvc3VyKW4oZSlnKG9mKQpoKGEp ZihmdW5jdGlvbiwpMjU3IDExODAgeSBGZihmKXQgRmkoXCgpcCBGZih4KXAg RmkoXCkpcCBGZygsKTE2CmIoaWYpNzA2IDEyNzEgeSBGZihGKTYgYiBGaShc KClwIEZmKFgpcyBGaShcKSkxMiBiIEZlKFwwMjMpZyhmKXAKRmYoZil0IEZp KFwoKXAgRmYoeClwIEZpKFwpKWcgRmUoailmIEZmKHgpZyBGZSgyKWcgRmYo WClzIEZlKGcpZApGZygsKTE0IGIgRmUoOClwIEZmKFgpcyBGZyguKTI1NyAx MzYyIHkgRmkoVGhlKWgoZnVuZGFtZW4pbyh0YWwpZSh0aGVvcmVtKWgKKG9m KWcoaW4pbyh0ZXJ2KW4oYWwpZyhhcml0aG1ldGljKWcocHJvKW8odmlkZXMp ZyhhKWgoc2ltcGxlKWUodylvKGEpbyh5KWgKKHRvKWcoY29uLSkyNTcgMTQx MiB5KHN0cnVjdClpKGluKW8odGVydiluKGFsKWUoZW5jbG9zdXJlcylpKG9m KWUocmF0aW9uYWwpZgooZnVuY3Rpb25zLikyMCBiKEhvKW8odylvKGV2KW8o ZXIsKTE1IGIoY29tcHV0aW5nKWQoYSlqKGRlXDAxNG5pbmcpMjU3CjE0NjIg eShpbilvKHRlcnYpbihhbClqKGV4cHJlc3Npb24paShvcilmKGZ1bmN0aW9u KWcodXNpbmcpZyhpbilvKHRlcnYpbihhbClmCihhcml0aG1ldGljKWYobWEp byh5KWcobm90KWkocHJvKXEoZHVjZSloKGFzKTI1NyAxNTEyIHkoc2hhcnAp ZyhhbilmKGluKW8KKHRlcnYpbihhbClnKGVuY2xvc3VyZSlpKGFzKWUob3Ro ZXIpaChtZXRobylxKGRzKWYobWEpbyh5KWUocHJvKXEoZHVjZSwpMjIKYihm b3IpZChleGFtcGxlLClnKGIpbyh5KTI1NyAxNTYyIHkoZXYpbihhbHVhdGlu ZykxMSBiIEZmKGYpdApGaShcKClwIEZmKHgpcCBGaShcKSlqKGF0KWUoaW4p byh0ZXJ2KW4oYWwpZyhlbmRwKXEob2luKW8odHMpaChhbmQvb3IpZgooc3Rh dGlvbmFyeSlnKHApcShvaW4pbyh0cylnKHRvKWgoZXhwbG9pdCllKG1vbm8t KTI1NyAxNjExCnkodG9uaWNpdClvKHkpbSguKTMyMCAxNjYxIHkoSW4pMjAg Yih0aGUpaChyZWFsKWcobilvKHVtKW8oYilxKGVyKWYoc3lzdGVtLCloCih0 aGUpZyhmdW5jdGlvbilmIEZmKGYpdCBGaShcKClwIEZmKHg7KTcgYih5KXEg RmkoXCkpMjQgYig9KWYKRmYoeCkxMzI5IDE2NDYgeSBGZCh5KTEzNjkgMTY2 MSB5IEZpKGhhcyllKHRoZSlnKGZvbGxvKW8od2luZykyNTcKMTcxMSB5KGRv bWFpbjopZShGKW0ob3IpZCBGZih4KWUoPClnIEZpKDAsKWkgRmYoeSloIEZp KGNhbilmKGhhKW8odilvKGUpZgoodGhlKWgodiluKGFsdWVzLCkxMDY2IDE2 OTUgeSBGZChuKXAgMTA2MSAxNzAyIDMwIDIgdiAxMDYxCjE3MjUgYShtKTEw OTYgMTcxMSB5IEZpKCwpZih3aGVyZSlpIEZmKG4pZSBGaShpcyloKGFuKWYo aW4pbyh0ZWdlciloKGFuZClnCkZmKG0pZyBGaShpcykyNTcgMTc2MSB5KGFu KWcobylxKGRkKWcoaW4pbyh0ZWdlci4pMjQgYihUaGF0KTE2CmIoaXMsKWcg RmYoeSloIEZpKG0pbyh1c3QpZShiKXEoZSlpKGEpZShyYXRpb25hbClnKG4p byh1bSlvKGIpcShlcilnKHdpdGgpaAoobylxKGRkKWcoZGVub21pbmF0b3Is KTI1NyAxODExIHkob3RoZXJ3aXNlKWooaW4pZSh0aGUpaShyZWFsKWUobilv KHVtKW8oYilxCihlciloKHN5c3RlbSwpZyBGZih4KTk5MiAxNzk2IHkgRmQo eSkxMDI5IDE4MTEgeSBGaShpcylnKHVuZGVcMDE0bmVkKWgoZm9yKWUKRmYo eCloKDwpZyBGaSgwLikyOSBiKFRoZSkxOSBiKHApcShvaW4pbyh0cykyNTcg MTg2MSB5KFwoKXEKRmYoeDspNyBiKHkpcSBGaShcKSkxNSBiKD0paChcKClx KDApcCBGZig7KTcgYiBGaSgwXCkpMTUgYihhbmQpaChcKDApcApGZig7KTcg Yih5KXEgRmkoXCkpcSgsKTE2IGIoZm9yKWcgRmYoeSlpKDwpZSBGaSgwLCln KGFyZSloKHNpbmd1bGFyaXRpZXMpZgood2l0aClnKHJlc3ApcShlY3Qpaih0 bylkIEZmKHgpZyBGaShhbmQpZyBGZih5KXEgRmkoLCkyNTcgMTkxMAp5KGFu ZCllIEZmKHkpcSBGaSgsKWcocmVzcClxKGVjdGl2KW8oZWx5KW0oLikxOSBi KEYpbShvcikxNApiIEZmKHgpZCg+KWggRmkoMCwpaCh0aGVyZSlpKGFyZSln KG5vKWUocmVzdHJpY3Rpb25zKWkob24pZih2KW4oYWx1ZSlmKG9mKWgKRmYo eSlxIEZpKC4pMzIwIDE5NjAgeShUaGUpZyhtaW5pbSluKHVtKTkgYihzZXQp MTUgYihvZillKHYpbihhbHVlcylnKHRoYXQpaAooYW4pZihpbilvKHRlcnYp bihhbClnKGVuY2xvc3VyZSlpKG9mKWUodGhlKWgocClxKG8pbyh3KW8oZXIp ZyhmdW5jdGlvbikyNTcKMjAxMCB5KG0pbyh1c3QpZihjb24pbyh0YWluKWgo aXMpNzU0IDIxMDEgeSBGZShmKXAgRmYoeCk3OTkKMjA4NCB5IEZkKHkpODMw IDIxMDEgeSBGZShqKWQgRmYoeClnIEZlKDIpZyBGZihYKTE4IGIgRmkoYW5k KTEzCmIgRmYoeSloIEZlKDIpZCBGZihZKWUgRmUoZykzMjAgMjE5MyB5IEZp KFRoZSlqKGluKW8odGVydiluKGFsKWUoZW5jbG9zdXJlLClqCkZmKEYpNiBi IEZpKFwoKXAgRmYoWClxKDspaChZKWkgRmkoXCksKWkob2YpZyh0aGUpaChm dW5jdGlvbilmCkZmKGYpdCBGaShcKClwIEZmKHg7KWMoeSlxIEZpKFwpKTEz IGIoPSlmIEZmKHgpMTM5MCAyMTc4IHkKRmQoeSkxNDIxIDIxOTMgeSBGaShj YW4pZyhiKXEoZSlnKGRlXDAxNG5lZCwpMjU3IDIyNDIgeShldilvKGVuKWoo Zm9yKWUKRmYoWClrIEZpKGNvbilvKHRhaW5pbmcpYyhuZWdhdGl2KW8oZSln KHYpbihhbHVlcylnKGFuZCloKG5vbi1pbilvKHRlZ2VyKWcodikKbihhbHVl cylmKG9mKWcgRmYoWSljIEZpKC4pMTggYihUaGUpYyhyZXN1bHRzKTI1NyAy MjkyIHkoaW4payhbMSlvKF0pZyhwcm8pbwoodmlkZSlnKGEpZyhjb25zaXN0 ZW4pbyh0KWkoZnJhbWV3KW8ob3JrKWMod2l0aClpKHdoaWMpbyhoKWcodG8p ZyhyZXNvbHYpbyhlKQpoKHNpbmd1bGFyaXRpZXMpZihhbmQpMjU3IDIzNDIg eShtYWluKW8odGFpbikxMCBiKGNvbilvKHRhaW5tZW4pbyh0LikxNgpiKFRo ZSlkKGRldilvKGVsb3BtZW4pbyh0KWUob2YpaCh0aGUpaChhbGdvcml0aG0p ZChmb3IpaShuZWdhdGl2KW8oZSlnKHYpbgooYWx1ZXMpZyhvZikyNTcgMjM5 MiB5IEZmKHgpaSBGaShpcylmKGFzKWgoZm9sbG8pbyh3czopaiBGZih4KTU2 NAoyMzc3IHkgRmQobik2MDAgMjM5MiB5IEZpKGlzKWMoZGVcMDE0bmVkLClp KGZvcillKGFsbClnKG5lZ2F0aXYpbyhlKWcKRmYoeCloIEZpKGFuZClmKGlu KW8odGVnZXIpaCBGZihuKXAgRmkoLilrIEZmKHgpMTQxNCAyMzc3IHkKRmMo XCgxKXAgRmQoPW0pcCBGYyhcKSkxNTE5IDIzOTIgeSBGaShpcykxMyBiKGRl XDAxNG5lZCkyNTcKMjQ0NyB5KGZvcilpKG5lZ2F0aXYpbyhlKWYgRmYoeClo IEZpKGFuZClmKG8pcShkZCloIEZmKG0pcApGaSguKTIxIGIoSXQpMTUgYihp cylmKGFsc28pZyh0cnVlKWkodGhhdClmIEZmKHgpMTEzNCAyNDMyCnkgRmMo XCgpbyBGZChuPW0pcCBGYyhcKSkxMjQxIDI0NDcgeSBGaSg9KWUoXCgpcSBG Zih4KTEzMjcKMjQzMiB5IEZkKG4pMTM0OSAyNDQ3IHkgRmkoXCkpMTM2NSAy NDI2IHkgRmMoXCgxKXAgRmQoPW0pcApGYyhcKSkxNDY5IDI0NDcgeSBGaSg9 KTE1MTQgMjQxMyB5IEZiKFwwMDApMTUzMyAyNDQ3IHkgRmYoeCkxNTU3CjI0 MzIgeSBGYyhcKDEpcCBGZCg9bSlwIEZjKFwpKTE2NDggMjQxMyB5IEZiKFww MDEpMTY2NyAyNDIwCnkgRmQobik5NjMgMjYyOCB5IEZpKDEpcCBlb3AKJSVQ YWdlOiAyIDIKYm9wIDI1NyAyNjIgYSBGaShpcykxNSBiKGRlXDAxNG5lZClo KGZvcilmKG5lZ2F0aXYpbyhlKWYgRmYoeClwCkZpKCwpaChpbilvKHRlZ2Vy KWcgRmYobilwIEZpKCwpZihhbmQpaChvKXEoZGQpZyhpbilvKHRlZ2VyKWcK RmYobSlwIEZpKC4pMjIgYihUaGUpMTUgYihpbilvKHRlcnYpbihhbClmKGVu Y2xvc3VyZSkyNTcgMzExCnkob2YpZyBGZihmKXQgRmkoXCgpcCBGZih4Oyk3 IGIoeSlxIEZpKFwpKTEyIGIoPSlnIEZmKHgpNTA1CjI5NiB5IEZkKHkpNTM5 IDMxMSB5IEZpKGZvciloIEZmKFgpaSBGaSg9KWQoWylwIEZmKGE7KTcgYihi KXAKRmkoXSkxMiBiKGFuZClpIEZmKFkpMjEgYiBGaSg9KTEyIGIoWylvIEZm KGM7KTcgYihkKXAgRmkoXSlvKCwpMTMKYihtKW8odXN0KWcoc2F0aXNmeTop NTU1IDQxMiB5IEZmKEYpNiBiIEZpKFwoKXAgRmYoWClxKDspaChZKWgKRmko XCkpayBGZShcMDIzKTc2MiAzNjYgeSBGYihuKTc4OSA0MTIgeSBGZih4KTgx MyAzOTUgeSBGYyhcKClwCkZkKG49bSlwIEZjKFwpKTkyMCA0MTIgeSBGZShq KWYgRmYoeClnIEZlKDIpZyBGZihYKTE4IGIgRmkoYW5kKTEzCmIgRmYoYylm IEZlKFwwMjQpMTIzNCAzODQgeSBGZihuKXAgMTIyOCA0MDMgMzcgMiB2IDEy MjggNDQxCmEobSkxMjgxIDQxMiB5IEZlKFwwMjQpZyBGZihkKTEzNDcgMzY2 IHkgRmIobykxMzgxIDQxMiB5IEZpKCwpMjU3CjUxMiB5KGZvcilmKGluKW8o dGVnZXIpaCBGZihuKWYgRmkoYW5kKWcgRmYobSlwIEZpKCwpZyh3aXRoKWcK RmYobSloIEZpKG8pcShkZC4pMTcgYihTaW5jZSkxMiBiKGZyYWN0aW9uYWwp ZShcMDE1b2F0aW5nLXApcShvaW4pbyh0KWYobilvCih1bSlvKGIpcShlcnMp aShhcmUpaChyYS0pMjU3IDU2MiB5KHRpb25hbClnKG4pbyh1bSlvKGIpcShl cnMpZyh3aXRoKWcoZXYpbwooZW4paChkZW5vbWluYXRvciwpZSh3aGVuZXYp byhlcilqIEZmKFkpMjEgYiBGaShpcykxMyBiKGEpZihkZWdlbmVyYXRlKWkK KG5vbi1pbilvKHRlZ2VyKTI1NyA2MTIgeShcMDE1b2F0aW5nLXApcShvaW4p byh0KTkgYih2KW4oYWx1ZSwpaQpGZihYKTY2NiA1OTcgeSBGZChZKTcwNiA2 MTIgeSBGaShpcylmKHRoZSloKGVtcHQpbyh5KWYoaW4pbyh0ZXJ2KW4oYWwp ZwooXChzZWUpaShbMSlvKF1cKSllKGZvcilnKG5lZ2F0aXYpbyhlKWgodilu KGFsdWVzKWYod2l0aGluKTI1Nwo2NjIgeSBGZihYKXMgRmkoLikyMiBiKEhv KW8odylvKGV2KW8oZXIsKTE2IGIoaWYpZSBGZih3KXEgRmkoXCgpcApGZihZ KTkgYiBGaShcKSkxNCBiIEZmKD4pZyBGaSgwLClnKHRoZXJlKWkoYWx3KW8o YSlvKHlzKWUoZXhpc3QpaShyYXRpb25hbCllCihuKW8odW0pbyhiKXEoZXJz KWcoaGEpbyh2aW5nKWcobylxKGRkKWgoZGUtKTI1NyA3MTIgeShub21pbmF0 b3JzKWUod2l0aGluKWkKKHJvdW5kaW5nKWYoZXJyb3IpaShvZillIEZmKGMp aCBGaShhbmQpZyBGZihkKXAgRmkoLClmKGluKWcod2hpYylvKGgpaChjYXNl LCkKaCh0aGVzZSlnKHYpbihhbHVlcylmKG9mKWYgRmYoeCkxNjcwIDY5NyB5 IEZkKHkpMjU3IDc2MSB5IEZpKG0pbyh1c3QpZShiKXEoZSkKaChjb24pbyh0 YWluZWQpZih3aXRoaW4pZyBGZihGKTYgYiBGaShcKClwIEZmKFgpcSg7KWgo WSloIEZpKFwpLCkxMwpiKGV2KW8oZW4pZyhmb3IpZihuZWdhdGl2KW8oZSln KHYpbihhbHVlcylnKG9mKWcgRmYoeClnIEZpKGluKWcodGhlKWgoaW4pbwoo dGVydiluKGFsLCkyNTcgODExIHkgRmYoWClzIEZpKC4pMjggYihUaGUpMTgg YihiYXNpYylmKGFsZ29yaXRobSlkKGZvcilpCihjYXNlcylqKGIpcShvdW5k ZWQpZShhKW8odylvKGEpbyh5KWYoZnJvbSlmKHNpbmd1bGFyaXRpZXMpaShp bilmCkZmKHgpMTU4NiA3OTYgeSBGZCh5KTE2MjMgODExIHkgRmkoYW5kKTI1 NyA4NjEgeSh3aXRoKWUgRmYodylxCkZpKFwoKXAgRmYoWSk5IGIgRmkoXCkp aiBGZig+KWcgRmkoMCloKGlzLikzNjEgMTAwNCB5KFspcCBGZihsKXEoOyk3 CmIodSlwIEZpKF0paig9KWkoWylwIEZmKGE7KTcgYihiKXAgRmkoXSk1NzYg OTg0IHkgRmMoWylxIEZkKGM7ZClwCkZjKF0pMzYxIDEwNzAgeSBGaShpZikx MyBiIEZmKGMpZig8KWcoZCk1MTEgMTEzNiB5IEZpKGlmKWgoMCllCkZmKDwp aChhKWkgRmUoZilwIEZmKCIpZSBGZShcMDI0KWcgRmYoYSlwIEZlKGcpNjYx IDEyMDIgeSBGZihsKWgKRmkoPSlmKG1pbik4MDYgMTE2OCB5IEZiKFwwMDAp ODI1IDEyMDIgeSBGZihhKTg0NyAxMTg3IHkgRmQoYyk4NjQKMTIwMiB5IEZm KDspNyBiKGEpOTA1IDExODcgeSBGZChkKTkyMyAxMjAyIHkgRmYoOylnKGIp OTYwIDExODcKeSBGZChjKTk3NyAxMjAyIHkgRmYoOylnKGIpMTAxNCAxMTg3 IHkgRmQoZCkxMDMyIDExNjggeSBGYihcMDAxKTY2MQoxMjcyIHkgRmYodSlr IEZpKD0paChtYXgpODI0IDEyMzggeSBGYihcMDAwKTg0MyAxMjcyIHkgRmYo YSk4NjUKMTI1NyB5IEZkKGMpODgyIDEyNzIgeSBGZig7KTcgYihhKTkyMyAx MjU3IHkgRmQoZCk5NDIgMTI3Mgp5IEZmKDspZyhiKTk3OSAxMjU3IHkgRmQo Yyk5OTUgMTI3MiB5IEZmKDspZyhiKTEwMzIgMTI1NyB5CkZkKGQpMTA1MSAx MjM4IHkgRmIoXDAwMSk1MTEgMTMzOCB5IEZpKGVsc2UpMTUgYihpZillIEZm KGIpZSg8KWgKRmkoMClpIEZlKGYpbyBGZihiKWUoPClnIEZpKDApcCBGZShn KTY2MSAxNDE2IHkgRmYodSlmIEZpKD0paChtYXgpODI0CjEzNzAgeSBGYihc MDIwKTg0OSAxNDE2IHkgRmkoXCgpcCBGZShcMDAwKXAgRmYoYSlwIEZpKFwp KTkzNgoxMzk1IHkgRmQoYyk5NjAgMTQxNiB5IEZmKDspNyBiIEZpKFwoKW8g RmUoXDAwMClwIEZmKGEpcCBGaShcKSkxMDY1CjEzOTUgeSBGZChkKTEwOTEg MTQxNiB5IEZmKDspZyBGaShcKClvIEZlKFwwMDApcCBGZihiKXAgRmkoXCkp MTE5MgoxMzk1IHkgRmQoYykxMjE1IDE0MTYgeSBGZig7KWcgRmkoXCgpcCBG ZShcMDAwKXAgRmYoYilwIEZpKFwpKTEzMTYKMTM5NSB5IEZkKGQpMTMzNiAx MzcwIHkgRmIoXDAyMSk2NjEgMTQ5MiB5IEZmKGwpMTMgYiBGaSg9KWYKRmUo XDAwMClwIEZmKHUpNTExIDE1NTggeSBGaShlbHNlaWYpaSgwKWQgRmUoXDAy NCloIEZmKGMpaQpGZShmKXAgRmYoYSlkIEZlKFwwMjQpaCBGaSgwKWYgRmUo XDAyNCloIEZmKGI7KTIwIGIgRmkoMCkxMQpiIEZlKFwwMjQpaCBGZihjKXAg RmUoZyk2NjEgMTYzMCB5IEZmKGwpaCBGaSg9KWYobWluKW4oXCgpcApGZShc MDAwKTcgYiBGaShcKClwIEZlKFwwMDApcCBGZihhKXAgRmkoXCkpOTQxIDE2 MDkgeSBGZChjKTk2NQoxNjMwIHkgRmYoOylnIEZlKFwwMDApZyBGaShcKClv IEZlKFwwMDApcCBGZihhKXAgRmkoXCkpMTEwOQoxNjA5IHkgRmQoZCkxMTI4 IDE2MzAgeSBGaShcKSk2NjEgMTY5NSB5IEZmKHUpayBGaSg9KWgobWF4KTgy NAoxNjYyIHkgRmIoXDAwMCk4NDMgMTY5NSB5IEZlKFwwMDApcCBGZihsKXEo Oyk3IGIoYik5MjUgMTY4MAp5IEZkKGMpOTQyIDE2OTUgeSBGZig7KWcoYik5 NzkgMTY4MCB5IEZkKGQpOTk4IDE2NjIgeSBGYihcMDAxKTUxMQoxNzYxIHkg RmkoZWxzZSkxNSBiIEZlKGYpcCBGZihhKWMgRmUoXDAyNCloIEZpKDApZiBG ZShcMDI0KWgKRmYoYjspMjAgYihjKTEyIGIoPClmIEZpKDApcCBGZShnKTY2 MSAxODI3IHkgRmYobClpIEZpKD0pZgpGZShcMDAwMSk2NjEgMTg5MyB5IEZm KHUpZiBGaSg9KWggRmUoMSkzNjEgMTk1OSB5IEZpKGVsc2UpZQpGZShmKXAg RmkoaGFuZGxlKWsodGhlKWcoY2FzZXMpaCh3aGVuKWcgRmYoYyljIEZpKD0p aCBGZihkKXAKRmkoLCloKGVtcHQpbyh5KWcoYXJndW1lbilvKHRzLClnKGFu ZClnKHNpbmd1bGFyaXRpZXMpcCBGZShnKTM2MQoyMDI1IHkgRmkoSW4pMTgg YihwYXJ0aWN1bGFyLClnKHRoZSlnKGZvbGxvKW8od2luZylkKGxpbWl0KWco c2V0cylrKFwoc2VlKWcKKFsxKW8oXVwpKWYoYXJlKWcobmVlZGVkKWgodG8p ZShmb3JtKTM2MSAyMDc0IHkoZW5jbG9zdXJlcylmKGF0KWQKKHNpbmd1bGFy aXRpZXM6KXAgNjg0IDIxODUgNTgwIDIgdiA2ODMgMjIzNSAyIDUwIHYgNzcz IDIyMjAKYShMaW1pdClmKFNldClwIDEwMzMgMjIzNSBWIDExNCB3KENvbmRp dGlvbilwIDEyNjIgMjIzNSBWIDY4NAoyMjM2IDU4MCAyIHYgNjg0IDIyNDQg ViA2ODMgMjI5NCAyIDUwIHYgNzA5IDIyNzkgYSBGZShmKW8gRmkoMCk3NTAK MjI2NCB5IEZkKHkpNzcwIDIyNzkgeSBGZShnKWYgRmkoPSloKFspcCBGZShc MDAwMSlwIEZmKDspNwpiIEZlKDEpcCBGaShdKXAgMTAzMyAyMjk0IFYgNTMg dyBGZSg4KXAgRmYoeSkxNCBiKDwpZSBGaSgwKXAKMTI2MiAyMjk0IFYgNjg0 IDIyOTYgNTgwIDIgdiA2ODMgMjM0NiAyIDUwIHYgNzA5IDIzMzEgYSBGZShm KW8KRmkoMCk3NTAgMjMxNiB5IEZkKHkpNzcwIDIzMzEgeSBGZShnKWYgRmko PSloKDApcCAxMDMzIDIzNDYKViAxOTEgdyBGZSg4KXAgRmYoeSlpKD4pZSBG aSgwKXAgMTI2MiAyMzQ2IFYgNjg0IDIzNDcgNTgwIDIKdiA2ODMgMjM5OCAy IDUxIHYgNzA5IDIzNDkgYSBGYihcMDEwKTczMyAyMzgzIHkgRmYoeCk3NTcg MjM2OAp5IEZjKDApNzc1IDIzNDkgeSBGYihcMDExKTgxMSAyMzgzIHkgRmko PSlnKFspbyBGZShcMDAwKXAgRmkoMSlwCkZmKDspNyBiIEZpKDFdKXAgMTAz MyAyMzk4IFYgODcgdyBGZSg4KXAgRmYoeCkxMiBiKDwpZyBGaSgwKXAKMTI2 MiAyMzk4IFYgNjg0IDIzOTkgNTgwIDIgdiA2ODMgMjQ1MCAyIDUxIHYgNzA5 IDI0MDEgYSBGYihcMDEwKTczMwoyNDM1IHkgRmYoeCk3NTcgMjQyMCB5IEZj KDApNzc1IDI0MDEgeSBGYihcMDExKTgxMSAyNDM1IHkgRmkoPSlnKDEpcAox MDMzIDI0NTAgViAxODIgdyBGZSg4KXAgRmYoeClnKD4pZyBGaSgwKXAgMTI2 MiAyNDUwIFYgNjg0CjI0NTEgNTgwIDIgdiA2ODMgMjUwMSAyIDUxIHYgNzA5 IDI0NTMgYSBGYihcMDEwKTczMyAyNDg3IHkKRmkoMCk3NTQgMjQ3MSB5IEZj KDApNzcyIDI0NTMgeSBGYihcMDExKTgwOCAyNDg3IHkgRmkoPSlnKFspbwpG ZShcMDAwMSlwIEZmKDspNyBiIEZlKDEpcCBGaShdKXAgMTAzMyAyNTAxIFYg MTI2MiAyNTAxIFYgNjg0CjI1MDMgNTgwIDIgdiA5NjMgMjYyOCBhKDIpcCBl b3AKJSVQYWdlOiAzIDMKYm9wIDM2MSAyNjIgYSBGYShSZWZlcmVuY2VzKTM2 MSAzNjEgeSBGaShbMV0pMjAgYihHLilkKFcuKWcoVyltKGFsc3Rlci4pMzAK YihUaGUpMTkgYihleHRlbmRlZCloKHJlYWwpZShpbilvKHRlcnYpbihhbClm KHN5c3RlbS4pMzAgYihBdiluKGFpbGFibGUpNDI2CjQxMSB5KGF0OiloKGgp byh0dHA6Ly93d3cubXNjcy5tKW8odS4pbyhlZHUvfmdsbylvKGJzb2wvcmVh ZGluZ3MuaClvKHRtKW4obCMpCm8oVyltKGEpbyhsc3RlciwpNDI2IDQ2MCB5 KE1hcmMpbyhoKTE0IGIoMTk5OC4pOTYzIDI2MjggeSgzKXAKZW9wCiUlVHJh aWxlcgplbmQKdXNlcmRpY3QgL2VuZC1ob29rIGtub3due2VuZC1ob29rfWlm CiUlRU9GCg== --Pace_of_Asses_856_000-- From owner-reliable_computing Mon Apr 2 12:52:47 1998 Received: by interval.usl.edu id AA26739 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 30 Mar 1998 13:39:00 -0600 Received: from sunbeam.cs.biu.ac.il by interval.usl.edu with SMTP id AA26733 (5.65c/IDA-1.4.4 for ); Mon, 30 Mar 1998 13:35:39 -0600 Message-Id: <199803301935.AA26733 [at] interval [dot] usl.edu> Received: from sunlight (sunlight [132.70.1.25]) by sunbeam.cs.biu.ac.il (8.8.8/8.6.12) with SMTP id JAA17026; Mon, 30 Mar 1998 09:52:45 +0300 (IDT) Date: Mon, 30 Mar 1998 09:52:47 +0300 (IDT) From: "Prof. Martin GOLUMBIC" X-Sender: golumbic@sunlight To: Stefano Bistarelli Cc: distribution:; (see end of body) Sender: owner-reliable_computing Precedence: bulk m.u-nancy.fr, ccl [at] dfki [dot] uni-sb.de, cclp.x [at] parc [dot] xerox.com, ccp [at] sics [dot] se, ccstcl [at] linux1 [dot] dlsu.edu.ph, cde [at] alberti [dot] unh.edu, cg6 [at] doc [dot] ic.ac.uk, chaillou [at] ilog [dot] fr, chailloux [at] dmi [dot] ens.fr, chak [at] cs [dot] tu-berlin.de, chinneck [at] sce [dot] carleton.ca, chmeiss [at] gyptis [dot] univ-mrs.fr, chmeiss [at] lim [dot] univ-mrs.fr, chomicki [at] cis [dot] ksu.edu, chomicki [at] moncol [dot] monmouth.edu, choueiry [at] di [dot] epfl.ch, choueiry [at] lia [dot] di.epfl.ch, chris [at] cs [dot] utoronto.ca, chris [at] ie [dot] utoronto.ca, christelle.scharff [at] loria [dot] fr, christian.codognet [at] ens [dot] fr, christian [at] ai [dot] univie.ac.at, christophe.ringeissen [at] loria [dot] fr, cif [at] dit [dot] upm.es, ckchiu [at] cs [dot] cuhk.edu.hk, ckirchne [at] lorraine [dot] loria.fr, ckwu [at] cs [dot] cuhk.edu.hk, claude.kirchner [at] loria [dot] fr, claude.le.pape [at] ens [dot] fr, claus.hintermeier [at] loria [dot] fr, clean-list [at] cs [dot] kun.nl, clp [at] cis [dot] ohio-state.edu, clp [at] iscs [dot] nus.sg, clpr-users [at] cis [dot] ohio-state.edu, clpr-users [at] iscs [dot] nus.sg, cmchou [at] cs [dot] cuhk.edu.hk, codognet [at] dmi [dot] ens.fr, colmer [at] gia [dot] univ-mrs.fr, colmerauer [at] gia [dot] univ-mrs.fr, colmerauer [at] lim [dot] univ-mrs.fr, colussi [at] euler [dot] math.unipd.it, combinatorics [at] iinet [dot] net.au, comlab [at] comlab [dot] ox.ac.uk, compulognet-parimp [at] dia [dot] fi.upm.es, compunode [at] compulog [dot] org, compunode [at] dfki [dot] uni-sb.de, concurrency [at] cwi [dot] nl, cornell [at] sfs [dot] nphil.uni-tuebingen.de, corron [at] masi [dot] ibp.fr, corsini [at] batman [dot] labri.u-bordeaux.fr, corsini [at] labri [dot] u-bordeaux.fr, cozzio [at] ln [dot] active.ch, cp95 [at] lim [dot] univ-mrs.fr, cpg [at] cs [dot] utexas.edu, craig [at] hubley [dot] com, creemers [at] ic [dot] upc.es, crueda [at] borabora [dot] univalle.edu.co, csolnon [at] lisi401 [dot] univ-lyon1.fr, csp [at] cirl [dot] uoregon.edu, csp [at] carlit [dot] toulouse.inra.fr, csp-list [at] cert [dot] fr, csp-list [at] saturne [dot] cert.fr, cup [at] icot [dot] or.jp, cwang [at] essex [dot] ac.uk, cwang [at] postman [dot] essex.ac.uk, dac [at] cs [dot] strath.ac.uk, dagk [at] protek [dot] unit.no, dalal [at] cs [dot] columbia.edu, dam [at] ai [dot] mit.edu, dan [at] sics [dot] se, danher [at] informatik [dot] tu-muenchen.de, daniel.diaz [at] inria [dot] fr, dao [at] issy [dot] cnet.fr, dap [at] mail [dot] mpx.com.au, daren [at] sbcs [dot] sunysb.edu, darko.zupanic [at] ijs [dot] si, date [at] galaxy [dot] twi.tudelft.nl, dauchet [at] lifl [dot] fr, dave [at] dcs [dot] rhbnc.ac.uk, daveat [at] essex [dot] ac.uk, davew [at] cs [dot] umd.edu, david [at] cis [dot] ksu.edu, davis [at] uniblab [dot] aero.org, day [at] linus [dot] mitre.org, dbworld [at] cs [dot] wisc.edu, dean [at] amc [dot] com, debruyne [at] lirmm [dot] fr, dechter [at] buckaroo [dot] ics.uci.edu, dechter [at] ics [dot] uci.edu, dekleer [at] parc [dot] xerox.com, delval [at] flamingo [dot] stanford.edu, denis.beja [at] gist [dot] fr, denis.lugiez [at] loria [dot] fr, derou [at] congo [dot] ceng.cea.fr, derrick [at] ilog [dot] co.uk, detail [at] is [dot] s.u-tokyo.ac.jp, dew [at] scs [dot] leeds.ac.uk, dfrost [at] bonnie [dot] ics.uci.edu, dfrost [at] ics [dot] uci.edu, dgk [at] cs [dot] brown.edu, dhart [at] cs [dot] umass.edu, dhj [at] aegir [dot] adl.dmt.csiro.au, diaman [at] ee [dot] upatras.gr, diaz [at] margaux [dot] inria.fr, did [at] informatik [dot] uni-kiel.d400.de, digest [at] uk [dot] ac.ed.aiva.ed.ac.uk, dikker [at] cs [dot] utwente.nl, dill [at] cs [dot] stanford.edu, dimopoul [at] ceid [dot] upatras.gr, dimos [at] theseas [dot] softlab.ece.ntua.gr, dincbas [at] cosytec [dot] fr, discipl [at] inria [dot] fr, divesh [at] research [dot] att.com, divoux [at] lia [dot] di.epfl.ch, djk [at] microsoft [dot] com, dkbeosko [at] ibmmail [dot] com, dmac [at] research [dot] att.com, DMANET [at] math [dot] utwente.nl, dobrowiecki [at] mmt [dot] bme.hu, dohmen [at] duticg [dot] twi.tudelft.nl, domingo [at] s04 [dot] dtic.ua.es, dongil [at] ecn [dot] purdue.edu, donikian [at] irisa [dot] fr, dorn [at] vexpert [dot] dbai.tuwien.ac.at, dorne [at] eerie [dot] fr, douix [at] prologianet [dot] univ-mrs.fr, dp [at] ai [dot] toronto.edu, dp3 [at] da [dot] ic.ac.uk, dreamers [at] dai [dot] ed.ac.uk, drg [at] cs [dot] city.ac.uk, drissi@insa-rouen.fr, drouven [at] cs [dot] tu-berlin.de, ds1 [at] alberti [dot] unh.edu, dsiegel [at] panix [dot] com, dsl [at] cs [dot] unh.edu, dtatar [at] cs [dot] ubbcluj.ro, dubin [at] ilog [dot] fr, dubois [at] laforia [dot] ibp.fr, dufourd [at] elec [dot] enst.fr, dutra [at] dca [dot] fee.unicamp.br, d-yang [at] cs [dot] columbia.edu, e.p.m.vanliempd [at] research [dot] ptt.nl, eapls [at] mailbase [dot] ac.uk, ebr [at] doc [dot] ic.ac.uk, ecf [at] cs [dot] unh.edu, ecf [at] cs [dot] unh.edu, eclipse_users [at] ecrc [dot] de, edward [at] essex [dot] ac.uk, eero.hyvonen [at] vtt [dot] fi, ehud [at] bengus [dot] bgu.ac.il, ehud [at] cs [dot] bgu.ac.il, elamma [at] deis [dot] unibo.it, elena [at] cwi [dot] nl, ellman [at] cs [dot] rutgers.edu, em [at] cs [dot] strath.ac.uk, eng30262 [at] leonis [dot] nus.sg, engelson [at] bimacs [dot] cs.biu.ac.il, enno [at] intellektik [dot] informatik.th-darmstadt.de, ep [at] info [dot] ucl.ac.be, epontell [at] cs [dot] nmsu.edu, epontell [at] nmsu [dot] edu, erbach [at] coli [dot] uni-sb.de, eric.domenjoud [at] loria [dot] fr, eric.monfroy [at] loria [dot] fr, eric [at] azrael [dot] mitre.org, es [at] cs [dot] ulb.ac.be, esantos [at] afit [dot] af.mil, eschwalb@tel-aviv.ics.uci.edu, esj [at] cs [dot] brown.edu, esser [at] goldnet [dot] net.il, etr [at] doc [dot] ic.ac.uk, eva [at] chemi [dot] muni.cz, evelyne.contejean [at] lri [dot] fr, fa [at] laminaria [dot] si.fct.unl.pt, fabio [at] psicosun [dot] univ.trieste.it, fabris [at] icon [dot] it, fages [at] dmi [dot] ens.fr, falaschi [at] di [dot] unipi.it, falaschi [at] dimi [dot] uniud.it, faltings [at] lia [dot] di.epfl.ch, fano [at] itmi [dot] cgs.fr, fargier [at] irit [dot] fr, farid.ajili [at] loria [dot] fr, farin [at] azrael [dot] mitre.org, fbacchus [at] logos [dot] math.uwaterloo.ca, fbarber [at] hammer [dot] dsic.upv.es, feldman [at] bimacs [dot] cs.biu.ac.il, fernando.pereira [at] att [dot] com, fernando [at] cwi [dot] nl, fg121 [at] informatik [dot] uni-ulm.de, fg214 [at] informatik [dot] uni-kiel.d400.de, fjjunge [at] cs [dot] vu.nl, fjjunge=csp [at] cs [dot] vu.nl, flprog [at] informatik [dot] uni-muenchen.de, fm [at] laminaria [dot] si.fct.unl.pt, foussier@dassault-avion.fr, fowler [at] ingenia [dot] fr, fraguas [at] dia [dot] ucm.es, france.dacar [at] ijs [dot] si, francois.fages [at] ens [dot] fr, francois.laburthe [at] ens [dot] fr, frank [at] cs [dot] ucdavis.edu, frank [at] primenet [dot] com, fredo [at] clt50bw [dot] der.edf.fr, freuder [at] cs [dot] unh.edu, friha [at] cui [dot] unige.ch, fritz [at] rodin [dot] wustl.edu, fromherz [at] parc [dot] xerox.com, fruehwir [at] informatik [dot] uni-muenchen.de, g_blitzer [at] scomp1 [dot] sonda.cl, gabbri [at] di [dot] unipi.it, gadi [at] black [dot] bgu.ac.il, gadi [at] cs [dot] bgu.ac.il, gadi [at] indigo [dot] cs.bgu.ac.il, galadan [at] csd [dot] uwo.ca, gao [at] ie [dot] utoronto.ca, gaspin [at] ossau [dot] toulouse.inra.fr, gasser [at] treska [dot] usc.edu, gaur [at] cs [dot] sfu.ca, gco [at] fund [dot] cepel.br, gcooper [at] softouch [dot] bc.ca, gdavis [at] ie [dot] utoronto.ca, gdavis [at] pepper [dot] com, Geir.Hasle [at] math [dot] sintef.no, geir.hasle [at] si [dot] sintef.no, gelle [at] lia [dot] di.epfl.ch, george [at] hsvaic [dot] hv.boeing.com, gerard.verfaillie [at] cert [dot] fr, gerda.janssens [at] cs [dot] kuleuven.ac.be, gerevini [at] cs [dot] rochester.edu, gerry [at] sees [dot] bangor.ac.uk, giaco [at] di [dot] unipi.it, gilles.trombettoni [at] sophia [dot] inria.fr, gilles_roy [at] uqar [dot] uquebec.ca, gini [at] elet [dot] polimi.it, gino [at] win [dot] tue.nl, ginsberg [at] cirl [dot] uoregon.edu, ginsberg [at] always [dot] cirl.uoregon.edu, giorgio [at] disi [dot] unige.it, girard@math-appli-uco.fr, girish [at] enga [dot] bu.edu, girodias [at] iro [dot] umontreal.ca, gkk [at] forwiss [dot] uni-erlangen.de, glp [at] first [dot] gmd.de, gleicher [at] cs [dot] cmu.edu, glenn [at] slcs [dot] slb.com, gnemhaus [at] isye [dot] gatech.edu, gnpaulle [at] bluebox [dot] uwaterloo.ca, godbert [at] lim [dot] univ-mrs.fr, goltz [at] first [dot] gmd.de, golumbic [at] bimacs [dot] cs.biu.ac.il, golumbic [at] vm [dot] biu.ac.il, gomes [at] ai [dot] rl.af.mil, goodwin [at] cs [dot] uregina.ca, gosselin-d [at] rmc [dot] ca, gotlieb [at] essi [dot] fr, graf [at] dfki [dot] uni-sb.de, granvil [at] lifo [dot] univ-orleans.fr, greger [at] csd [dot] uu.se, gregs [at] bnr [dot] ca, griebel@uni-paderborn.de, grigorov%bgearn.bitnet [at] frmop11 [dot] cnusc.fr, gross [at] inf [dot] ethz.ch, grove [at] research [dot] nj.nec.com, grumbach [at] cosmos [dot] inria.fr, grund [at] heidelbg [dot] ibm.com, gsingh [at] iss [dot] nus.sg, gulp [at] di [dot] unipi.it, gupta [at] ie [dot] utoronto.ca, gvidal [at] dsic [dot] upv.es, gyssens [at] charlie [dot] luc.ac.be, h.c.heesen [at] bdk [dot] rug.nl, h.p.williams [at] soton [dot] ac.uk, hab [at] aiai [dot] edinburgh.ac.uk, hak [at] cs [dot] sfu.ca, hakanm [at] csd [dot] uu.se, halmyah [at] utmcray [dot] fsksm.utm.my, hans [at] cs [dot] auckland.ac.nz, hans [at] cs [dot] aukuni.ac.nz, hansh [at] cwi [dot] nl, Hans-Albert.Schneider [at] mchp [dot] siemens.de, hans-ullrich.wenk [at] ipk [dot] fhg.de, hanus [at] informatik [dot] rwth-aachen.de, hanyi [at] bruce [dot] cs.monash.edu.au, hao [at] eerie [dot] fr, harald [at] cs [dot] mu.oz.au, harald [at] efads2 [dot] tuwien.ac.at, harandi [at] cs [dot] uiuc.edu, haroud [at] lia [dot] di.epfl.ch, hasel [at] vexpert [dot] dbai.tuwien.ac.at, haskell [at] dcs [dot] gla.ac.uk, havens [at] cs [dot] sfu.ca, hclau [at] cs [dot] titech.ac.jp, heipcke [at] mit [dot] edu, heiss [at] espresso [dot] boeing.com, helene.kirchner [at] loria [dot] fr, helmut [at] cosytec [dot] fr, helz [at] ecn [dot] purdue.edu, henk.vandecasteele [at] cs [dot] kuleuven.ac.be, henocque [at] es2i [dot] esil.univ-mrs.fr, henry [at] orion [dot] math.uwaterloo.ca, henz [at] dfki [dot] uni-sb.de, herault [at] congo [dot] ceng.cea.fr, herbert [at] informatik [dot] rwth-aachen.de, herme [at] fi [dot] upm.es, herrmann [at] lrim [dot] univ-metz.fr, herve.bossant [at] mx [dot] univ-compiegne.fr, herve.gallaire [at] xerox [dot] fr, herwig.henseler [at] arbi [dot] informatik.uni-oldenburg.de, herzog [at] ira [dot] uka.de, hg@mpi-sb.mpg.de, hgreenberg [at] castle [dot] cudenver.edu, hhe [at] doc [dot] ic.ac.uk, hhong [at] risc [dot] uni-linz.ac.at, hirayama [at] ai [dot] sanken.osaka-u.ac.jp, hirayama [at] ti [dot] kshosen.ac.jp, hjb [at] dfki [dot] uni-sb.de, hkirchne [at] loria [dot] fr, hlock [at] ira [dot] uka.de, hmeyer [at] dfki [dot] uni-kl.de, hoebel [at] ai [dot] rl.af.mil, holger.meuss [at] informatik [dot] uni-muenchen.de, honavar [at] iastate [dot] edu, hongxue [at] cs [dot] anu.edu.au, horiuchi [at] syslab [dot] prec.kyoto-u.ac.jp, hschilling [at] lerc [dot] nasa.gov, hsiang [at] sbcs [dot] sunysb.edu, hsu [at] bit [dot] csc.lsu.edu, hua [at] lia [dot] di.epfl.ch, hubert.comon [at] lri [dot] fr, hulthage [at] treska [dot] usc.edu, hutch [at] redrock [dot] com, hwwon [at] cs [dot] cuhk.edu.hk, hywong [at] cs [dot] cuhk.edu.hk, hywong [at] cs [dot] cuhk.hk, ianc [at] harlequin [dot] co.uk, ib [at] crid [dot] u-bourgogne.fr, i-box [at] prologianet [dot] univ-mrs.fr, IDSS [at] socs [dot] uts.edu.au, idss [at] socs [dot] uts.edu.au, ifc [at] cs [dot] brown.edu, igpl [at] doc [dot] ic.ac.uk, ikbs [at] caad [dot] ed.ac.uk, ikbsbb [at] inf [dot] rl.ac.uk, imbert [at] gia [dot] univ-mrs.fr, informex [at] cadec [dot] com, ingber [at] alumni [dot] caltech.edu, ipg%aisb.edinburgh.ac.uk [at] aifh [dot] ed.ac.uk, ipg [at] cs [dot] strath.ac.uk, irinar [at] haifa [dot] ics.uci.edu, irinar [at] ics [dot] uci.edu, isaai [at] sna [dot] co.umist.ac.uk, isg [at] cs [dot] sfu.ca, ithaca!ithaca.com!wm [at] netcom [dot] com, itikon01 [at] starbase [dot] spd.louisville.edu, ivc [at] mercury [dot] interpath.com, J.P.Bowen [at] reading [dot] ac.uk, j.p.wilks@computer-science.birmingham.ac.uk, j.schimpf [at] doc [dot] ic.ac.uk, j.spragg [at] cs [dot] cmu.edu, jaan [at] keeks [dot] ioc.ee, jaan [at] cs [dot] ioc.ee, jabowen [at] jim [dot] ucc.ie, jabowen [at] odyssey [dot] ucc.ie, jackson [at] cs [dot] sfu.ca, jacquema [at] lri [dot] fr, Jacques.Chabin [at] lifo [dot] univ-orleans.fr, jampel [at] cs [dot] city.ac.uk, jblanco [at] tuck [dot] cs.fit.edu, jboller [at] panix [dot] com, jborrett [at] postman [dot] essex.ac.uk, jc [at] cirl [dot] uoregon.edu, jc [at] crid [dot] u-bourgogne.fr, jc [at] cs [dot] brandeis.edu, jcmoreno [at] eucmax [dot] sim.ucm.es, jctay [at] uranus [dot] sas.ntu.ac.sg, jean.francois.pique [at] lim [dot] univ-mrs.fr, jeanb%jupiter.drev.dnd.ca [at] cunyvm [dot] cuny.edu, jeanb [at] cc [dot] drev.dnd.ca, jean-marc.andreoli [at] grenoble [dot] rxrc.xerox.com, jean-marc.andreoli [at] xerox [dot] fr, jean-pierre.jouannaud [at] lri [dot] fr, jeffmar [at] umiacs [dot] umd.edu, jegou [at] gyptis [dot] univ-mrs.fr, jegou [at] lim [dot] univ-mrs.fr, jerome.gensel [at] imag [dot] fr, jga [at] harlequin [dot] com, jgaertne [at] email [dot] tuwien.ac.at, jh38+@andrew.cmu.edu, jhunt [at] eos [dot] EAST.HITC.COM, jicslp96 [at] informatik [dot] uni-bonn.de, jihad.jaam [at] lim [dot] univ-mrs.fr, jiplucap [at] si [dot] ehu.es, jlc [at] bmtech [dot] demon.co.uk, jlee [at] cs [dot] cuhk.edu.hk, jll [at] watson [dot] ibm.com, jmci [at] isc [dot] eee.strath.ac.uk, jmcswain [at] ctaeng [dot] com, jmj [at] info [dot] fundp.ac.be, jmlago [at] eucmos [dot] sim.ucm.es, jmp [at] laminaria [dot] si.fct.unl.pt, joanne [at] sst [dot] icl.co.uk, joaquin [at] terre [dot] inrets.fr, joe [at] cs [dot] ualberta.ca, jonsson [at] cs [dot] stanford.edu, josemari [at] labein [dot] es, joslin [at] cs [dot] pitt.edu, jouannau [at] lri [dot] fr, joxan [at] iscs [dot] nus.sg, joxan [at] watson [dot] ibm.com, jpiris [at] dsic [dot] upv.es, jtai [at] yallara [dot] cs.rmit.edu.au, judith [at] cs [dot] city.ac.uk, jurski [at] lri [dot] fr, jussien [at] info [dot] emn.fr, jws [at] cs [dot] mu.oz.au, jzhang [at] cis [dot] ksu.edu, kaa [at] tdr [dot] dk, kadu [at] laminaria [dot] si.fct.unl.pt, kakinuma [at] cs [dot] titech.ac.jp, kamel.heus [at] imag [dot] fr, kamp [at] informatik [dot] uni-oldenburg.de, kapur [at] albanycs [dot] albany.edu, kapur [at] cs [dot] albany.edu, kar [at] cs [dot] columbia.edu, kasif [at] cs [dot] jhu.edu, katuscia [at] di [dot] unipi.it, kbrown [at] csd [dot] abdn.ac.uk, kd [at] doc [dot] ic.ac.uk, keller [at] cs [dot] hmc.edu, kelly [at] cs [dot] monash.edu.au, kelly [at] cs [dot] tulane.edu, ken [at] als [dot] com, kepser [at] cis [dot] uni-muenchen.de, kermad [at] sagremor [dot] enssat.fr, kesner [at] lri [dot] fr, ket@uni-paderborn.de, kfng [at] cs [dot] cuhk.edu.hk, khan [at] itd [dot] nrl.navy.mil, khemani [at] shiva [dot] iitm.ernet.in, khonda [at] ia [dot] noda.sut.ac.jp, kirousis [at] cti [dot] gr, kkask [at] thalia [dot] ics.uci.edu, klbecker [at] informatik [dot] uni-kl.de, klc [at] doc [dot] ic.ac.uk, kogan [at] rutcor [dot] rutgers.edu, kowalczyk_richard/perth [at] perth [dot] atd.cra.com.au, kozen [at] cs [dot] cornell.edu, kr94 [at] mail2 [dot] ai.univie.ac.at, kubek [at] dge [dot] insa-tlse.fr, kurihara [at] huie [dot] hokudai.ac.jp, kusalik [at] cs [dot] usask.ca, laborie [at] laas [dot] fr, laburthe [at] dmi [dot] ens.fr, ladkin [at] techfak [dot] uni-bielefeld.de, lahres [at] ki6 [dot] informatik.uni-hamburg.de, lang [at] atms [dot] irit.fr, larrosa [at] lsi [dot] upc.es, larrosa [at] lsi [dot] upl.as, lassez [at] watson [dot] ibm.com, laszlo [at] ipb [dot] uni-bonn.de, latombe [at] cs [dot] stanford.edu, laurence.puel [at] lri [dot] fr, laurent.perron [at] ens [dot] fr, laurent.trilling [at] imag [dot] fr, laurent.vigneron [at] loria [dot] fr, leasure [at] falcon [dot] tamucc.edu, leconte [at] ilog [dot] fr, lehmke [at] jupiter [dot] informatik.uni-dortmund.de, lemaitre [at] cert [dot] fr, lepape [at] ilog [dot] fr, lesaint [at] bt [dot] info.co.uk, lesaint [at] info [dot] bt.co.uk, leservot [at] limeil [dot] cea.fr, leszek.pacholski [at] ii [dot] uni.wroc.pl, levy [at] lsi [dot] upc.es, lhf [at] cs [dot] cuhk.edu.hk, lhomme [at] info [dot] emn.fr, li [at] nada [dot] kth.se, liaucj [at] iis [dot] sinica.edu.tw, lics [at] research [dot] bell-labs.com, lics-email [at] cs [dot] indiana.edu, life-users [at] cs [dot] sfu.ca, lina [at] cs [dot] fit.edu, linear [at] cs [dot] stanford.edu, linshyh [at] egr [dot] msu.edu, liogier [at] lumimath [dot] univ-mrs.fr, lissajou [at] shiva [dot] thomson-lcr.fr, lissajou@thomson-lcr.fr, lissajou [at] ilog [dot] fr, liub [at] iscs [dot] nus.sg, lm [at] laminaria [dot] si.fct.unl.pt, logic [at] cs [dot] cornell.edu, logic [at] theory [dot] lcs.mit.edu, loofbour [at] cis [dot] ohio-state.edu, lopez [at] cs [dot] washington.edu, lopez [at] laas [dot] fr, lottaz [at] lia [dot] di.epfl.ch, loz [at] loz [dot] intes.odessa.ua, lp-internet [at] doc [dot] ic.ac.uk, lppnmr [at] cs [dot] engr.uky.edu, lprolog [at] central [dot] cis.upenn.edu, lpurvis [at] wrc [dot] xerox.com, ltpf [at] scs [dot] leeds.ac.uk, luc [at] jupiter [dot] drev.dnd.ca, ludek [at] ics [dot] muni.cz, lugiez [at] cosmos [dot] imag.fr, lunjin [at] cs [dot] bgu.ac.il, lurbina [at] infaut [dot] et.uni-magdeburg.de, lurbina [at] informatik [dot] uni-rostock.de, lvdeurze [at] alpha [dot] luc.ac.be, lyceum!lyceum.odessa.ua!inf [at] te [dot] net.ua, lynch [at] loria [dot] fr, lynch [at] theory [dot] lcs.mit.edu, m.dohmen [at] cs [dot] tudelft.nl, m.maher [at] cit [dot] gu.edu.au, m.paltrinieri [at] frcl [dot] bull.fr, machale [at] odyssey [dot] ucc.ie, mack [at] cs [dot] ubc.ca, mackworth [at] cs [dot] ubc.ca, mairson [at] cs [dot] brandeis.edu, major [at] ncbi [dot] nlm.nih.gov, mammen [at] cs [dot] umass.edu, mammen [at] sphinx [dot] cs.umass.edu, mandel [at] informatik [dot] uni-muenchen.de, manolis [at] sna [dot] co.umist.ac.uk, mantha [at] wrc [dot] xerox.com, marche [at] lri [dot] fr, marco [at] sirius [dot] uvic.ca, maria [at] fi [dot] upm.es, maribel [at] dmi [dot] ens.fr, mario [at] dia [dot] ucm.es, marko.grobelnik [at] ijs [dot] si, marriott [at] cs [dot] monash.edu.au, marti [at] essi [dot] fr, martin.mueller [at] dfki [dot] uni-sb.de, martinf [at] brampton [dot] cqu.edu.au, massat [at] lim [dot] univ-mrs.fr, massimo.paltrinieri [at] ens [dot] fr, massimo [at] hilbert [dot] math.unipd.it, mathieu [at] lifl [dot] fr, matsc [at] sics [dot] se, matsu [at] ipl [dot] t.u-tokyo.ac.jp, matsu [at] is [dot] s.u-tokyo.ac.jp, maverick [at] technet [dot] sg, max [at] euler [dot] math.unipd.it, max [at] hilbert [dot] math.unipd.it, mb [at] crid [dot] u-bourgogne.fr, mb [at] cs [dot] ulb.ac.be, mbanda [at] bruce [dot] cs.monash.edu.au, mbanda [at] cs [dot] monash.edu.au, mbouzou [at] sophia [dot] inria.fr, mc [at] csd [dot] uu.se, mcaloon [at] sci [dot] brooklyn.cuny.edu, mcarro [at] fi [dot] upm.es, mcgibney [at] teltec [dot] dcu.ie, mcriff [at] sophia [dot] inria.fr, mcs [at] cs [dot] unh.edu, mcvil [at] lirmm [dot] fr, med@kronos-ethernet.arc.nasa.gov, mehl [at] dfki [dot] uni-sb.de, mehmet [at] cosytec [dot] fr, meinolf@pz-oekosys.uni-kiel.d400.de, mercer [at] csd [dot] uwo.ca, merel [at] lrim [dot] univ-metz.fr, meseguer [at] lsi [dot] upc.es, meyer [at] sdm [dot] de, meyer [at] theory [dot] lcs.mit.edu, mgv [at] usceast [dot] cs.sc.edu, mgw [at] doc [dot] ic.ac.uk, mhyang [at] helios [dot] ece.arizona.edu, miao [at] cygnus [dot] ci.uc.pt, micha [at] ecrc [dot] de, michael.rusinowitch [at] loria [dot] fr, michael_schulz [at] public [dot] uni-hamburg.de, michel.dao [at] issy [dot] cnet.fr, michel.van.caneghem [at] lim [dot] univ-mrs.fr, michelg [at] crt [dot] umontreal.ca, mig [at] ncc [dot] up.pt, mitchell [at] cs [dot] toronto.edu, miya [at] ei [dot] sanken.osaka-u.ac.jp, miyasita [at] etl [dot] go.jp, miyasita [at] etl [dot] go.jp, mizo [at] ia [dot] noda.sut.ac.jp, mj [at] cs [dot] brown.edu, mja [at] info [dot] fundp.ac.be, mjm [at] watson [dot] ibm.com, mjsannella [at] acm [dot] org, MLjungberg [at] pdst [dot] com, mlnet [at] csd [dot] abdn.ac.uk, mlnet [at] swi [dot] psy.uva.nl, mmilano [at] deis [dot] unibo.it, mohammad [at] chrysler [dot] twi.tudelft.nl, mohan [at] yoko [dot] rutgers.edu, monfroy [at] loria [dot] fr, monfroy [at] lorraine [dot] loria.fr, montanari [at] di [dot] unipi.it, montazer [at] sna [dot] co.umist.ac.uk, morten.irgens [at] si [dot] sintef.no, mrf [at] odc [dot] Stanford.EDU, mrg [at] itc [dot] it, msa [at] lipn [dot] univ-paris13.fr, msf [at] ie [dot] utoronto.ca, msqalli [at] alberti [dot] unh.edu, mssuh [at] vision [dot] postech.ac.kr, mst [at] vexpert [dot] dbai.tuwien.ac.at, mt%broadcom.ie [at] oscar [dot] broadcom.ie, mumick [at] research [dot] att.com, murray [at] rmcmath [dot] rmc.ca, mwcheng [at] cs [dot] cuhk.edu.hk, mynard [at] laforia [dot] ibp.fr, naanaa [at] lisi401 [dot] univ-lyon1.fr, naanaa [at] lisisun [dot] univ-lyon1.fr, nabil.guerinik [at] lim [dot] univ-mrs.fr, nachum [at] cs [dot] uiuc.edu, nadia [at] scs [dot] leeds.ac.uk, nagai [at] ssel [dot] toshiba.co.jp, nagymajtenyi [at] ludens [dot] elte.hu, narendra.jussien [at] emn [dot] fr, nasa [at] doc [dot] ic.ac.uk, natalia [at] cs [dot] bgu.ac.il, nch [at] cs [dot] cmu.edu, nch+@pop.cs.cmu.edu, nebel [at] informatik [dot] uni-ulm.de, nerode [at] math [dot] cornell.edu, neven [at] cee [dot] hw.ac.uk, neveu@sophia-inria.fr, nholtz [at] ccs [dot] carleton.ca, nickc [at] cs [dot] st-andrews.ac.uk, nickc [at] dcs [dot] st-andrews.ac.uk, nico [at] riks [dot] nl, nicolas [at] cosytec [dot] fr, niehren [at] dfki [dot] uni-sb.de, niehren [at] munchkin [dot] ps.uni-sb.de, nielsj [at] dat [dot] ruc.dk, nikos [at] nathan [dot] gmd.de, nirad [at] cs [dot] uq.edu.au, nivela [at] lsi [dot] upc.es, nl-kr [at] cs [dot] rpi.edu, noelle.bleuzen [at] lim [dot] univ-mrs.fr, nprcovic [at] sophia [dot] inria.fr, nuijten [at] ilog [dot] fr, nutt [at] dfki [dot] uni-sb.de, o.schumann [at] informatik [dot] tu-chemnitz.de, oddrun.ohren [at] si [dot] sintef.no, odoardi [at] cgi [dot] com, okuno [at] nuesun [dot] ntt.jp, olga.caprotti [at] risc [dot] uni-linz.ac.at, olopez [at] lsi [dot] upc.es, ong [at] eb [dot] ele.tue.nl, opt-net@zib-berlin.de, ora.lassila [at] isl1 [dot] ri.cmu.edu, ora [at] cs [dot] cmu.edu, ORCS-L [at] listserv [dot] okstate.edu, orejas [at] lsi [dot] upc.es, ornet [at] mailbase [dot] ac.uk, orpi [at] crl [dot] com, osullb [at] interzone [dot] ucc.ie, osullb [at] odyssey [dot] ucc.ie, othar [at] thinkbank [dot] com, p.jeavons [at] dcs [dot] rhbnc.ac.uk, p.ye [at] ulst [dot] ac.uk, p0070860 [at] brookes [dot] ac.uk, pacholsk [at] ii [dot] uni.wroc.pl, pacholsk [at] tcs [dot] uni.wroc.pl, page [at] criss [dot] fr, pai [at] cs [dot] ubc.ca, palmas [at] dmi [dot] ens.fr, pang [at] cs [dot] uregina.ca, paralic [at] ccsun [dot] tuke.sk, parama [at] cs [dot] unc.edu, parrain [at] lifl [dot] fr, pascal.chambre [at] inria [dot] fr, paseman [at] cup [dot] portal.com, pat [at] cs [dot] strath.ac.uk, pathiah [at] utmcray [dot] fsksm.utm.my, patrice.boizumault [at] emn [dot] fr, patrick [at] laas [dot] fr, paul [at] cs [dot] wustl.edu, paulward [at] vnet [dot] ibm.com, pavel [at] cs [dot] ualberta.ca, pb [at] aiai [dot] edinburgh.ac.uk, pb [at] laminaria [dot] si.fct.unl.pt, pb [at] llaor [dot] unice.fr, pbrisset [at] eis [dot] enac.dgac.fr, pck [at] cs [dot] brown.edu, pdavid [at] emn [dot] fr, pdh [at] cs [dot] unh.edu, pearce [at] mayor [dot] dia.fi.upm.es, pedro [at] iiia [dot] csic.es, pedro [at] sinera [dot] iiia.csic.es, pei [at] egr [dot] msu.edu, perl [at] sics [dot] se, pern [at] ifi [dot] uio.no, perron [at] clipper [dot] ens.fr, pesant [at] iro [dot] umontreal.ca, pete [at] des [dot] rhbnc.ac.uk, Peter.Barth@t-online.de, peter.schotman [at] users [dot] info.wau.nl, peterad [at] cs [dot] mu.oz.au, petrie [at] bimini [dot] stanford.edu, petrie [at] cdr [dot] stanford.edu, ph [at] anweald [dot] exnet.co.uk, phil [at] idefix [dot] univ-mrs.fr, philippe.codognet [at] inria [dot] fr, philippe.refalo [at] lim [dot] univ-mrs.fr, pierre.berlandier [at] sophia [dot] inria.fr, Pierre.Rety [at] lifo [dot] univ-orleans.fr, pierre.siegel [at] lim [dot] univ-mrs.fr, pimont [at] lisisun [dot] univ-lyon1.fr, pja [at] lirmm [dot] fr, pjs [at] cs [dot] mu.oz.au, pmello [at] deis [dot] unibo.it, podelski@mpi-sb.mpg.de, poepping@uni-paderborn.de, poole [at] cs [dot] ubc.ca, prehofer [at] informatik [dot] tu-muenchen.de, prolog [at] mch [dot] sni.de, prolog-pe [at] bach [dot] ces.cwru.edu, prolog-vendors [at] sics [dot] se, prych [at] tcs [dot] uni.wroc.pl, pse [at] cs [dot] unh.edu, psoares [at] cupido [dot] inesc.pt, pu [at] imtsun9 [dot] epfl.ch, puget [at] ilog [dot] fr, puget [at] ilog [dot] ilog.fr, pugh [at] cs [dot] umd.edu, puri [at] eucmos [dot] sim.ucm.es, pvh [at] cs [dot] brown.edu, pw [at] montefiore [dot] ulg.ac.be, qobi [at] cs [dot] toronto.edu, queloz [at] cui [dot] unige.ch, quinary!cm [at] relay [dot] iunet.it, quintus-users [at] quintus [dot] com, raf [at] cx [dot] dnv.no, raghu [at] cs [dot] wisc.edu, rainer [at] bci10 [dot] bau.tu-dresden.de, ralf.treinen [at] lri [dot] fr, rallis [at] sees [dot] bangor.ac.uk, rbahgat [at] ritsec1 [dot] com.eg, rchopra [at] cs [dot] buffalo.edu, regin [at] ilog [dot] fr, reinhard.enders [at] zfe [dot] siemens.de, reliable_computing [at] interval [dot] usl.ed, reliable_computing [at] interval [dot] usl.edu, remco [at] cwi [dot] nl, revesz [at] cse [dot] unl.edu, rewriting [at] loria [dot] fr, rewriting-list [at] poincare [dot] loria.fr, riad.hamadi [at] imag [dot] fr, ricci [at] irst [dot] it, richard.kowalczyk [at] mel [dot] dit.csiro.au, richts [at] cantor [dot] informatik.rwth-aachen.de, rick [at] cs [dot] auckland.ac.nz, rick@rick-office.aaii.oz.au, rim [at] csadfa [dot] cs.adfa.oz.au, rivero [at] lsi [dot] upc.es, rjw [at] cs [dot] unh.edu, rjw [at] alberti [dot] unh.edu, rk [at] mel [dot] dit.csiro.au, rmc [at] toulouse [dot] inra.fr, roberto [at] lsi [dot] upc.es, rodosek%dlrtcs.da.op.dlr.de [at] vm [dot] op.dlr.de, rodosek [at] informatik [dot] uni-muenchen.de, roland [at] cc [dot] gatech.edu, roland [at] cs [dot] monash.edu.au, roland [at] cs [dot] mu.oz.au, rolandh [at] eclipse [dot] cs.colorado.edu, roman [at] mmt [dot] bme.hu, ronald [at] cs [dot] ulb.ac.e, ronys [at] radguard [dot] co.il, ros [at] ic [dot] upc.es, rounds [at] engin [dot] umich.edu, rr5 [at] doc [dot] ic.ac.uk, rsedc [at] minyos [dot] xx.rmit.oz.au, rubio [at] lsi [dot] upc.es, rudloff [at] steinway [dot] u-strasbg.fr, rudy [at] glx [dot] chief.co.il, rueher [at] essi [dot] fr, rueher [at] essi2 [dot] essi.fr, ruet [at] dmi [dot] ens.fr, rw [at] arch [dot] adelaide.edu.au, ryap [at] iscs [dot] nus.sg, rz [at] cs [dot] cornell.edu, s.rai [at] bnr [dot] co.uk, sab [at] btc [dot] uwe.ac.uk, sagiv [at] cs [dot] stanford.edu, sai [at] miv [dot] t.u-tokyo.ac.jp, sais [at] gyptis [dot] univ-mrs.fr, sais [at] lifl [dot] fr, saks [at] cgi [dot] com, saleh [at] npac [dot] syr.edu, san [at] sics [dot] se, sannella [at] cs [dot] washington.edu, sarosh_n_talukdar [at] globe [dot] edrc.cmu.edu, sasi [at] saathi [dot] ncst.ernet.in, sastds [at] unx [dot] sas.com, sauthier [at] lia [dot] di.epfl.ch, sawada [at] cslab [dot] kecl.ntt.jp, saxena [at] cs [dot] albany.edu, saxena [at] spdc [dot] ti.com, schachte [at] dmi [dot] ens.fr, schauss [at] ki [dot] informatik.uni-frankfurt.de, sched-l [at] vexpert [dot] dbai.tuwien.ac.at, scheidhr [at] dfki [dot] uni-sb.de, schiex [at] cert [dot] fr, schlenkh [at] informatik [dot] uni-muenchen.de, schrag [at] cs [dot] utexas.edu, schulte [at] dfki [dot] uni-sb.de, schulz [at] cis [dot] uni-muenchen.de, scott@computing-science.aberdeen.ac.uk, scott [at] csd [dot] abdn.ac.uk, sdm [at] cs [dot] brown.edu, seb [at] cs [dot] city.ac.uk, seif [at] sics [dot] se, sekar [at] ms [dot] uky.edu, selman [at] research [dot] att.com, semantics-list [at] newton [dot] cam.ac.uk, semenov [at] iis [dot] nsk.su, serge [at] jupiter [dot] drev.dnd.ca, seynhaev [at] lifl [dot] fr, sfs [at] cs [dot] cmu.edu, sgaico [at] cui [dot] unige.ch, shaket [at] eng [dot] tau.ac.il, shl [at] cs [dot] brown.edu, shvet [at] isi [dot] itfs.nsk.su, sian [at] sees [dot] bangor.ac.uk, sicstus-users [at] sics [dot] se, silvia [at] mail2 [dot] ai.univie.ac.at, simcon [at] simcon [dot] be, simon [at] lia [dot] di.epfl.ch, simona [at] minster [dot] cs.york.ac.uk, simonis [at] cosytec [dot] fr, singer [at] lrim [dot] univ-metz.fr, Siva.Anantharaman [at] lifo [dot] univ-orleans.fr, skaf [at] loria [dot] fr, skaf [at] lorraine [dot] loria.fr, skeletons [at] dcs [dot] ed.ac.uk, skl [at] wuerl [dot] wustl.edu, sko [at] beologic [dot] dk, slim.abdennadher [at] informatik [dot] uni-muenchen.de, slkleinman [at] amoco [dot] com, sma [at] lochness [dot] uhc.com, sme@computing-science.aberdeen.ac.uk, sme [at] csd [dot] abdn.ac.uk, smith [at] kestrel [dot] edu, smith [at] lia [dot] di.epfl.ch, smithtr [at] cs [dot] ucsb.edu, smolka [at] dfki [dot] uni-sb.de, smolka [at] munchkin [dot] ps.uni-sb.de, snyder [at] cs [dot] bu.edu, sola [at] rcc [dot] thomson.fr, solo [at] niimm [dot] spb.su, spiro [at] cis [dot] ohio-state.edu, spr [at] cs [dot] brown.edu, squires [at] mne [dot] com, sr731 [at] cs [dot] utt.ro, srinivas [at] cs [dot] ualberta.ca, sshankar [at] cs [dot] umn.edu, stamatiu [at] cti [dot] gr, std [at] tik [dot] vtt.fi, steck [at] dcs [dot] ed.ac.uk, stein@uni-paderborn.de, stephane.grandcolas [at] lim [dot] univ-mrs.fr, stephane.grumbach [at] inria [dot] fr, stephane.n.dong [at] lim [dot] univ-mrs.fr, stephane.ndong [at] prologianet [dot] univ-mrs.fr, stevem [at] bruce [dot] cs.monash.edu.au, steven.pemberton [at] cwi [dot] nl, steven [at] ecrc [dot] de, steven [at] scs [dot] leeds.ac.uk, sto [at] cs [dot] hut.fi, stolzen [at] infko [dot] uni-koblenz.de, straach [at] utdallas [dot] edu, stuartg [at] scs [dot] leeds.ac.uk, subu [at] cs [dot] albany.edu, sudarsha [at] research [dot] att.com, suresh [at] iss [dot] nus.sg, suria [at] utmcray [dot] fsksm.utm.my, surjan [at] mmt [dot] bme.hu, suyama [at] cslab [dot] kecl.ntt.jp, sverker [at] sics [dot] se, swamy [at] jupiter [dot] csm.uc.edu, szeredi%iqsoft.hu [at] sztaki [dot] hu, szeredi [at] iqsoft [dot] hu, tadepalli [at] cs [dot] orst.edu, takis [at] di [dot] uoa.ariadne-t.gr, takis [at] uranus [dot] di.uoa.gr, talbot [at] lifl [dot] fr, tarmo [at] it [dot] kth.se, tchangyu [at] starnet [dot] gov.sg, tetsuya [at] cs [dot] titech.ac.jp, tgin0486 [at] cdc8g5 [dot] cdc.polimi.it, thaddeus [at] vuse [dot] vanderbilt.edu, theorem-provers [at] ai [dot] mit.edu, theory-a [at] vm1 [dot] nodak.edu, theorynt [at] ndsuvm1 [dot] intellektik.informatik.th-darmstadt.de, thierry [at] laas [dot] fr, thom [at] ecrc [dot] de, thomas.genet [at] loria [dot] fr, tilly [at] mmt [dot] bme.hu, timd [at] aiai [dot] edinburgh.ac.uk, timd [at] ed [dot] ac.uk, tinelli [at] cs [dot] uiuc.edu, tison [at] lifl [dot] fr, tkava [at] apollon [dot] servicenet.ariadne-t.gr, tmueller [at] dfki [dot] uni-sb.de, tobias.nipkow [at] informatik [dot] tu-muenchen.de, toby [at] irst [dot] it, toby [at] itc [dot] it, toe [at] id [dot] dth.dk, tokuda [at] cs [dot] titech.ac.jp, tom [at] intellektik [dot] informatik.th-darmstadt.de, tomas.vanelst [at] cib [dot] kuleuven.ac.be, tomek [at] tcs [dot] uni.wroc.pl, tomis [at] turimg [dot] upc.es, tommasi [at] lifl [dot] fr, toni [at] jcids1 [dot] wu-wien.ac.at, tony.kusalik [at] usask [dot] ca, touraivane [at] prologianet [dot] univ-mrs.fr, treinen [at] lri [dot] fr, tretkoff [at] sci [dot] brooklyn.cuny.edu, trick [at] mat [dot] gsia.cmu.edu, trick+@cmu.edu, trochford [at] aol [dot] com, trudel [at] iad [dot] ift.ulaval.ca, tsarcho [at] dfki [dot] uni-kl.de, tsavor [at] vlsi [dot] uwaterloo.ca, tschaits [at] dfki [dot] uni-kl.de, tschiex [at] toulouse [dot] inra.fr, tsuda [at] icot [dot] or.jp, tu [at] SMI [dot] Stanford.EDU, turcotte [at] bch [dot] umontreal.ca, turcotte [at] iro [dot] umontreal.ca, types [at] dcs [dot] glasgow.ac.uk, ueda [at] iias [dot] flab.fujitsu.co.jp, ugo [at] di [dot] unipi.it, uj [at] crid [dot] u-bourgogne.fr, ujohn@dbresearch-berlin.de, ullman [at] cs [dot] stanford.edu, ulug [at] crc [dot] sofkin.ca, uran%pozn1v.tup.edu.pl%perseus.tup.edu.pl [at] oippuxv [dot] poz.edu.pl, unruh [at] spdc [dot] ti.com, uribe [at] cs [dot] stanford.edu, ute [at] cs [dot] auckland.ac.nz, uwe.kaufmann [at] ipk [dot] fhg.de, uwe@mpi-sb.mpg.de, v.j.terpstra [at] et [dot] tudelft.nl, vagelis [at] eng [dot] auth.gr, vakip [at] leon [dot] nrcps.ariadne-t.gr, vallejo [at] lsi [dot] upc.es, vanbeek [at] cs [dot] ualberta.ca, vanbeek [at] cs [dot] ualberta.ca, vanemden [at] csr [dot] csc.UVic.CA, vanroy [at] dfki [dot] uni-sb.de, vbotti [at] hammer [dot] dsic.upv.es, vellino [at] bnr [dot] ca, ven [at] info [dot] fundp.ac.be, verfaillie [at] cert [dot] fr, verhoeven [at] psych [dot] kun.nl, veroniek.dumortier [at] cs [dot] kuleuven.ac.be, veroniek [at] cs [dot] kuleuven.ac.be, vgucht [at] cs [dot] indiana.edu, vincent.schachter@amb-wash.fr, vj [at] research [dot] att.com, vlasie [at] socrate [dot] i3s.unice.fr, vlasier [at] essi [dot] fr, voudcx [at] essex [dot] ac.uk, vtam [at] cs [dot] mu.oz.au, vuokko [at] ifi [dot] uio.no, wachter [at] itd [dot] nrl.navy.mil, walid [at] slcs [dot] slb.com, wallace [at] cs [dot] unh.edu, walser [at] ps [dot] uni-sb.de, walsnq [at] essex [dot] ac.uk, walter [at] interzone [dot] ucc.ie, walter@uni-koblenz.de, warwick [at] cs [dot] mu.oz.au, wch [at] ii [dot] uni.wroc.pl, wch [at] tcs [dot] uni.wroc.pl, weida [at] cs [dot] columbia.edu, weigel [at] lia [dot] di.epfl.ch, weil [at] msn [dot] com, wellman%engin.umich.edu [at] srvr5 [dot] engin.umich.edu, werner [at] ira [dot] uka.de, westfold [at] kestrel [dot] edu, wgm [at] santafe [dot] edu, widom [at] cs [dot] stanford.edu, wieger [at] win [dot] tue.nl, wirth [at] informatik [dot] uni-kl.de, witold@mpi-sb.mpg.de, wm [at] leler [dot] com, wojcik [at] dfki [dot] uni-sb.de, wojtek [at] cs [dot] vu.nl, wolder [at] bnr [dot] ca, wsi [at] dbai [dot] tuwien.ac.at, wsi [at] vexpert [dot] dbai.tuwien.ac.at, wuertz [at] dfki [dot] uni-sb.de, wwadge [at] csr [dot] csc.UVic.CA, yamazaki [at] psrc [dot] isac.co.jp, yao [at] george [dot] ee.washington.edu, yap [at] cs [dot] nyu.edu, ybmiao [at] gemini [dot] ci.uc.pt, yde [at] info [dot] ucl.ac.be, yfeng [at] cs [dot] columbia.edu, yim [at] eclia2 [dot] ec-lille.fr, yj [at] research [dot] att.com, yokoo [at] cslab [dot] kecl.ntt.jp, yonezawa [at] is [dot] s.u-tokyo.ac.jp, yosikawa [at] swl [dot] cl.nec.co.jp, yves.colombani [at] lim [dot] univ-mrs.fr, yves [at] lim [dot] univ-mrs.fr, ywleung [at] cs [dot] cuhk.edu.hk, yxp103 [at] psu [dot] edu, z.zou [at] ulst [dot] ac.uk, zaffanel [at] di [dot] unipi.it, zameln [at] ghost [dot] CS.ORST.EDU, zeller [at] acm [dot] org, zhang [at] cs [dot] ubc.ca, zhang [at] cs [dot] ucla.edu, zhang [at] wrc [dot] xerox.com, zhou [at] lim [dot] univ-mrs.fr, zineb [at] lrim [dot] univ-metz.fr, zm [at] theory [dot] stanford.edu, zsofi [at] cs [dot] vu.nl, rossi [at] di [dot] unipi.it, dube [at] cs [dot] nyu.edu, gaohong [at] cs [dot] sunysb.edu, rdwang [at] fcu [dot] edu.tw, reich@ai-lab.fh-furtwangen.de, warren [at] cs [dot] sunysb.edu, williams [at] southampton [dot] ac.uk, ai-ed [at] sun [dot] com Subject: Call For Bar-Ilan Workshop on KDD In-Reply-To: <3.0.5.32.19980209170244.00794100 [at] mailserver [dot] di.unipi.it> Message-ID: X-Organization: Math & CS department MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII C A L L F O R P A P E R S A N D P R E S E N T A T I O N S Bar-Ilan Workshop on KDD -- Knowledge Discovery in Databases May 20-21, 1998 Bar-Ilan University, Ramat-Gan, Israel CALL FOR PAPERS/PRESENTATIONS The Bar-Ilan Research Institute for Computer Science will sponsor a workshop on Knowledge Discovery to be held May 20-21, 1998 at the university. Submissions of short papers or presentations from academia and industry are solicited in this Call. Invited hour speakers (to date): Haym Hirsh (Rutgers Univ.) Michael Kearns (AT&T Labs -- Research) Ronen Feldman (Bar-Ilan Univ.) Simon Kasif (Univ. of Illinios, Chicago) Other participants to be announced. Knowledge discovery from data is a broad discipline that integrates methods from machine learning, statistics, databases, rule-based systems, and other areas. It includes algorithms for data selection, pattern discovery, clustering, managing uncertainty, and trend analysis. Submissions are invited for research papers and presentations. Topics to be covered include but are not limited to the following: Text Mining Pattern Matching for KDD Rule Extraction Algorithm Complexity and Lower Bounds Incremental Discovery Methods A short 1-3 page extended abstract should be sent to Prof. Martin Golumbic, (golumbic [at] cs [dot] biu.ac.il) no later than April 20, 1998. Decisions for acceptance will be ongoing and usually within 2 weeks of the submission. An on-line proceedings of extended abstracts will be made available shortly before the workshop. %%% overflow headers %%% Cc: 100704.2014 [at] compuserve [dot] com, aarts [at] prl [dot] philips.nl, abdulrab@insa-rouen.fr, acclaim [at] sics [dot] se, achir [at] cti [dot] ecp.fr, adel.bouhoula [at] loria [dot] fr, adhikary [at] cs [dot] sfu.ca, afrati [at] theseas [dot] softlab.ece.ntua.gr, agav [at] eucmos [dot] sim.ucm.es, agnar [at] ifi [dot] unit.no, agupta [at] cs [dot] stanford.edu, ahj [at] qdc [dot] com, aiba [at] icot [dot] or.jp, aiia [at] di [dot] unito.it, aiken [at] cs [dot] berkeley.edu, ail-l [at] austin [dot] onu.edu, aillaud [at] idefix [dot] univ-mrs.fr, ajayd [at] saathi [dot] ncst.ernet.in, ajohn [at] cs [dot] utexas.edu, alaoui [at] ilog [dot] fr, alb [at] ipvaim [dot] unipv.it, alba [at] iit [dot] upco.es, albert [at] ilog [dot] fr, alex [at] ecrc [dot] de, alex [at] first [dot] gmd.de, alexander.bockmayr@mpi-sb.mpg.de, alicen [at] cs [dot] washington.edu, allen.c.ward [at] um [dot] cc.umich.edu, alp-list [at] intellektik [dot] informatik.th-darmstadt.de, alpuente [at] dsic [dot] upv.es, alvin [at] essex [dot] ac.uk, am [at] black [dot] bgu.ac.il, am [at] cs [dot] bgu.ac.il, am [at] gensym [dot] com, amar.isli [at] lipn [dot] univ-paris13.fr, amedeo [at] pscs2 [dot] irmkant.rm.cnr.it, amilhast [at] lirmm [dot] fr, anarchy [at] mjc2 [dot] demon.co.uk, aneubach [at] risc [dot] uni-linz.ac.at, andersj [at] cs [dot] umanitoba.ca, andreas.neubacher [at] acm [dot] org, andrewd [at] ie [dot] utoronto.ca, andrewdm [at] cs [dot] mu.oz.au, aneubach [at] risc [dot] uni-linz.ac.at, antoine.rauzy [at] lim [dot] univ-mrs.fr, aoe [at] doc [dot] ic.ac.uk, aomicini [at] deis [dot] unibo.it, apanoiu [at] roearn [dot] ici.ro, apes [at] cs [dot] strath.ac.uk, APPIAr [at] laminaria [dot] si.fct.unl.pt, apt [at] ncc [dot] up.pt, arai [at] dia [dot] ucm.es, arai [at] eucmax [dot] sim.ucm.es, arc [at] archp [dot] pdial.interpath.net, arly [at] theseas [dot] softlab.ece.ntua.gr, armin [at] first [dot] gmd.de, armin [at] prosun [dot] first.gmd.de, arnaud.leforestier [at] gist [dot] fr, arne [at] kore [dot] lk.se, arpalists+listserv.csp-list [at] andrew [dot] cmu.edu, arthur [at] aiai [dot] edinburgh.ac.uk, baader [at] cantor [dot] informatik.rwth-aachen.de, baader [at] informatik [dot] rwth-aachen.de, backofen [at] informatik [dot] uni-muenchen.de, badea [at] roearn [dot] ici.ro, bagnara [at] di [dot] unipi.it, bai [at] cs [dot] nott.ac.uk, bakicale [at] brazil [dot] tcimet.net, bakker [at] cs [dot] utwente.nl, baldan [at] di [dot] unipi.it, banerjed [at] cs [dot] ucdavis.edu, bart [at] chrysler [dot] twi.tudelft.nl, bayardo [at] cs [dot] utexas.edu, baykan [at] bcc [dot] bilkent.edu.tr, baykan [at] bilkent [dot] edu.tr, bceaves [at] soe [dot] Stanford.EDU, bcho [at] isi [dot] edu, beckmann [at] ls12s [dot] informatik.uni-dortmund.de, bellicha [at] lirmm [dot] fr, bellone@dassault-avion.fr, ben [at] ac [dot] fca.de, bendou [at] lia [dot] univ-savoie.fr, benelog [at] cs [dot] kuleuven.ac.be, benham [at] gia [dot] univ-mrs.fr, benhamou [at] gyptis [dot] univ-mrs.fr, benhamou [at] lifo [dot] univ-orleans.fr, benhamou [at] volga [dot] univ-orleans.fr, bennaceu [at] lipn [dot] univ-paris13.fr, berghege [at] euronet [dot] nl, beringer [at] ilog [dot] fr, bernard_bigot [at] eurogw1 [dot] mentorg.com, bessiere [at] lirmm [dot] fr, beurive [at] labri [dot] u-bordeaux.fr, bieker [at] ls12s [dot] informatik.uni-dortmund.de, billb [at] maurice [dot] sunquest.com, bimbart [at] cs [dot] kuleuven.ac.be, bisdorff [at] crpcu [dot] lu, bjorn.johansen [at] si [dot] sintef.no, bjorn.sigurd.johansen [at] si [dot] sintef.no, bjornc [at] csd [dot] uu.se, bmayoh [at] daimi [dot] aau.dk, bms [at] scs [dot] leeds.ac.uk, bnfb [at] oti [dot] com, bnfb [at] scs [dot] carleton.ca, bobrow [at] parc [dot] xerox.com, bockmayr@mpi-sb.mpg.de, boddy [at] src [dot] honeywell.com, bogdan [at] erix [dot] ericsson.se, boizu [at] info [dot] emm.fr, bojan.logar [at] fs [dot] uni-lj.si, bonacina [at] herky [dot] cs.uiowa.edu, borning [at] cs [dot] washington.edu, boros [at] rutcor [dot] rutgers.edu, borovan [at] fmph [dot] uniba.sk, botella@dassault-elec.fr, boudet [at] lri [dot] fr, boudis [at] criss [dot] fr, bouhineau [at] imag [dot] fr, bouquet [at] gyptis [dot] univ-mrs.fr, bourret [at] cert [dot] fr, bow [at] phlom [dot] ph.kcl.ac.uk, boyer [at] iro [dot] umontreal.ca, brad.myers [at] cs [dot] cmu.edu, brebs [at] abc [dot] gov.au, breiting [at] mathematik [dot] uni-marburg.de, brodsky [at] isse [dot] gmu.edu, bruno.buchberger [at] risc [dot] uni-linz.ac.at, brzoska [at] ira [dot] uka.de, bts [at] best [dot] com, bueno [at] clip [dot] dia.fi.upm.es, bueno [at] fi [dot] upm.es, burg [at] mthcsc [dot] wfu.edu, burnett [at] cs [dot] orst.edu, butler [at] aaii [dot] oz.au, bwise [at] bos [dot] saic.com, c.gervet [at] doc [dot] ic.ac.uk, c.hockemeyer@tu-bs.de, cabon [at] cert [dot] fr, cadsoft [at] nash [dot] pubnix.net, caferra [at] cosmos [dot] imag.fr, camilla.schwind [at] lim [dot] univ-mrs.fr, capints!podium [at] relay [dot] nl.net, carla [at] ai [dot] rl.af.mil, carlos.castro [at] loria [dot] fr, carmelo [at] arturo [dot] lsi.us.es, caseau [at] dmi [dot] ens.fr, catuscia [at] disi [dot] unige.it, cbliek [at] sophia [dot] inria.fr, ccardeir%ense [at] sunbeam [dot] cs.biu.ac.il %%% end overflow headers %%% From owner-reliable_computing Mon Apr 2 11:30:04 1998 Received: by interval.usl.edu id AA27117 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 30 Mar 1998 21:30:53 -0600 Received: from validgh.com ([208.195.66.107]) by interval.usl.edu with SMTP id AA27111 (5.65c/IDA-1.4.4 for ); Mon, 30 Mar 1998 21:30:49 -0600 Received: by validgh.com (SMI-8.6/SMI-SVR4) id TAA06251; Mon, 30 Mar 1998 19:30:04 -0800 Date: Mon, 30 Mar 1998 19:30:04 -0800 From: validgh [at] validgh [dot] com (David G Hough at validgh) Message-Id: <199803310330.TAA06251 [at] validgh [dot] com> To: reliable_computing [at] interval [dot] usl.edu Subject: Re: Interval enclosure of X**Y for negative x in X Cc: numeric-interest [at] validgh [dot] com Sender: owner-reliable_computing Precedence: bulk As I observed a while back, > Even more interesting are cases like > [-2.0,-2.0] ** [0.3,2.7] > that really bring the exception issues in point x**y into sharp focus. Is it > really right to evaluate that interval expression as the convex hull of > ([-2.0,-2.0]) ** 1 U ([-2.0,-2.0]) ** 2 ? > I'm beginning to think that floating-point x**y with negative x should just > be an invalid exception, regardless of the integralness of y, > and that programs that intend to raise negative numbers to > integer powers should do so explicitly, as is easily > expressible in Fortran x**n though more problematic in C. It's one thing to raise positive rational numbers to rational powers, and another to raise real numbers to real powers. Considered in the complex plane, x**y for negative real x and varying y is almost always complex (and perhaps multivalued at that), and is only by accident real on a subset of measure zero in y. Many programmers might prefer the result of x**(1.0/3) to be the same as the result of x**(2.0/6), and so defining x**(n/m) to be the m'th root of (x**n) would be problematic for negative x. In contrast, defining x**y to be exp(y*log(x)) reduces most of the problem of defining x**y to the problem of defining log(x). In real variables, log(x) is not defined for negative x, and so neither is x**y. And real floating point arithmetic should work that way as well. Now interval folks have argued that real floating-point sqrt([-1,+eps]) should ignore the negative part of the operand interval, and base the computed result solely on the operand for which the function is defined, namely [0,+eps]. That is at least a measurable subset as long as eps > 0. It is a significant further step to assert that interval X**Y, for X < 0, should be based on that measure-zero subset of the values of Y for which X**Y happens to have a definable real value. That seems to me far less kind to programs and to programmers than forcing them to specify explicitly what they meant in the first place. If this case is so important in practice, perhaps what languages for points and intervals need instead is powfrac(x,n,m) defined to be (x**n)**(1/m) for integers n and m, that can confidently be applied to floating-point arguments, even negative x**n, returning then negative answers for odd m and exceptions for even m. And languages like C and Java that omit x**n and attempt to overload it onto x**y need to rectify that mistake as well. As my colleagues have discovered, the extension of IEEE 754 default nonstop exception semantics to interval methods is fraught with unexpected difficulties. The variety of responses that have been proposed or even implemented can't all be correct in all situations. The IEEE 754 design goal to optimize the ability of numerical software experts to write efficient bullet-resistant code for easy use by non-experts is still a controversial one, involving, as it does, judgments about expertise, efficiency, robustness, and ease of use. From owner-reliable_computing Tue Apr 3 12:55:52 1998 Received: by interval.usl.edu id AA27476 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 31 Mar 1998 02:56:41 -0600 Received: from Pap.UniVie.AC.AT (apap4.pap.univie.ac.at) by interval.usl.edu with SMTP id AA27470 (5.65c/IDA-1.4.4 for ); Tue, 31 Mar 1998 02:56:36 -0600 Received: from homer.cma.univie.ac.at by Pap.UniVie.AC.AT (PMDF V5.0-4 #10670) id <01IVBAZY75LSB1CU63 [at] Pap [dot] UniVie.AC.AT> for reliable_computing [at] interval [dot] usl.edu; Tue, 31 Mar 1998 10:56:01 +0100 (MET) Received: by homer.cma.univie.ac.at (5.65v3.2/1.1.10.5/19Mar97-1148AM) id AA13720; Tue, 31 Mar 1998 10:55:52 +0200 Date: Tue, 31 Mar 1998 10:55:52 +0200 From: Arnold Neumaier Subject: Re: Interval enclosure of X**Y for negative x in X To: reliable_computing [at] interval [dot] usl.edu Message-Id: <9803310855.AA13720 [at] homer [dot] cma.univie.ac.at> Content-Transfer-Encoding: 7BIT Sender: owner-reliable_computing Precedence: bulk David Hough wrote, >>It is a significant further step to assert that interval X**Y, for X < 0, should be based on that measure-zero subset of the values of Y for which X**Y happens to have a definable real value.<< This is precisely what is needed in practice for interval applications. Fractional powers of negative numbers are very useful (though one could get by without them, at the expense of programming effort). The main use in our global optimization context is to draw conclusions about ranges from constraints such as sum(x_i^p) in S, given x_i in X_i. In the simplest case we have sums consisting of a single term only, for example x^3 in S, and I want to be able to conclude that x in S^(1/3) without having to split S into its positive and negative part. And of course I do not want to lose solutions of x^3=-1 just because (-1)^(1/3) results in NaN or NaI or (even worse) empty! There are also applications in integer programming via constraint satisfaction techniques. Consider the equation (-1)^x*y = z with x in [1:50] integral, y in [0,1], z in [1,2]. Here x=even, y=z=1 are the only solutions. I think this is representative for more complicated integer constraints that enough users are likely to employ in their models when nonlinear mixed integer programming software becomes more widely used. The correct interval evaluation is (-1)^[1,50]=[-1,1], and this gives enough information to deduce from the equation that y=z=1, as is done in constraint propagation techniques. Defining (-1)^[1,50]=empty gives a containment failure. And defining (-1)^[1,50]=NaI gives useless information; one is forced to split the integer variable into 50 pieces until a numerical enclosure is found. This is inefficient, and it becomes prohibitive if there are a number of such constraints for different integer variables, since the work then grows exponentially. Failure to define x**y properly when x<0 makes the power considerably more difficult to use in such cases, while a proper definition doesn't harm users that only need x**y for x>=0. >>Many programmers might prefer the result of x**(1.0/3) to be the same as the result of x**(2.0/6), and so defining x**(n/m) to be the m'th root of (x**n) would be problematic for negative x.<< The right definition should be x**q = (-1)**n * |x|**q if x is negative and q is a rational number that can be written as quotient of n/d with odd d. This respects the wish of what >>Many programmers might prefer<<, and the needs of users of interval arithmetic. Arnold Neumaier From owner-reliable_computing Tue Apr 3 00:04:04 1998 Received: by interval.usl.edu id AA27980 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 31 Mar 1998 10:08:09 -0600 Received: from validgh.com ([208.195.66.105]) by interval.usl.edu with SMTP id AA27974 (5.65c/IDA-1.4.4 for ); Tue, 31 Mar 1998 10:08:04 -0600 Received: by validgh.com (SMI-8.6/SMI-SVR4) id IAA02012; Tue, 31 Mar 1998 08:04:04 -0800 Date: Tue, 31 Mar 1998 08:04:04 -0800 From: validgh [at] validgh [dot] com (David G Hough at validgh) Message-Id: <199803311604.IAA02012 [at] validgh [dot] com> To: numeric-interest [at] validgh [dot] com, reliable_computing [at] interval [dot] usl.edu Subject: Re: Interval enclosure of X**Y for negative x in X Sender: owner-reliable_computing Precedence: bulk Prof. Neumaier responded to reliable-computing as follows to my note about interval X**Y: > Date: Tue, 31 Mar 1998 10:55:52 +0200 > From: Arnold Neumaier > Subject: Re: Interval enclosure of X**Y for negative x in X > To: reliable_computing [at] interval [dot] usl.edu > > David Hough wrote, > > >>It is a significant further step to assert that interval X**Y, > for X < 0, should be based on that measure-zero subset of the values > of Y for which X**Y happens to have a definable real value.<< > > This is precisely what is needed in practice for interval applications. > Fractional powers of negative numbers are very useful (though one could > get by without them, at the expense of programming effort). > > The main use > in our global optimization context is to draw conclusions about ranges > from constraints such as sum(x_i^p) in S, given x_i in X_i. > In the simplest case we have sums consisting of a single term only, for > example > x^3 in S, > and I want to be able to conclude that > x in S^(1/3) > without having to split S into its positive and negative part. > And of course I do not want to lose solutions of x^3=-1 just > because (-1)^(1/3) results in NaN or NaI or (even worse) empty! > > There are also applications in integer programming via constraint > satisfaction techniques. Consider the equation > > (-1)^x*y = z > > with x in [1:50] integral, y in [0,1], z in [1,2]. > > Here x=even, y=z=1 are the only solutions. I think this is > representative for more complicated integer constraints that > enough users are likely to employ in their models when nonlinear > mixed integer programming software becomes more widely used. > > The correct interval evaluation is (-1)^[1,50]=[-1,1], and this > gives enough information to deduce from the equation that y=z=1, > as is done in constraint propagation techniques. > > Defining (-1)^[1,50]=empty gives a containment failure. And > defining (-1)^[1,50]=NaI gives useless information; one is > forced to split the integer variable into 50 pieces until a numerical > enclosure is found. This is inefficient, and it becomes prohibitive > if there are a number of such constraints for different integer > variables, since the work then grows exponentially. > > Failure to define x**y properly when x<0 makes the power considerably > more difficult to use in such cases, while a proper definition doesn't > harm users that only need x**y for x>=0. > > >>Many programmers might prefer the result of x**(1.0/3) to be the same as the > result of x**(2.0/6), and so defining x**(n/m) to be the m'th root of (x**n) > would be problematic for negative x.<< > The right definition should be x**q = (-1)**n * |x|**q if x is negative > and q is a rational number that can be written as quotient of n/d with > odd d. This respects the wish of what >>Many programmers might prefer<<, > and the needs of users of interval arithmetic. > > > Arnold Neumaier > When he writes > The right definition should be x**q = (-1)**n * |x|**q if x is negative > and q is a rational number that can be written as quotient of n/d with > odd d. I think the underlying issue is that we are thinking of different functions. I think of x**y as corresponding to the multiple-valued complex function, analytic in places if we choose a principal branch of log, defined by exp(y**log(x)). With the usual choice of log, then e.g. (-1)**(2/3) is exp(+-(2/3)*pi*i), the sign perhaps depending on the sign attributed to the zero imaginary part. In contrast Prof. Neumaier's definition is based upon a different choice of log branch to yield 1. Since the log branch to choose depends upon n and d, it doesn't make much sense as a restriction of a branch of a complex analytic function, and has to be understood as another kind of function defined for rational numbers, which is just the function one needs for mixed integer programming. I think it's a mistake (in language design) to use one notation ** to represent two rather different functions. I decided to check Sun's f77 and also g77 with a test program print *,(-1.0)**(1.0/3.0) print *,cmplx(-1.0,0.0)**cmplx(1.0/3.0,0.0) print *,(-1.0)**(2.0/3.0) print *,cmplx(-1.0,0.0)**cmplx(2.0/3.0,0.0) end and got NaN ( 0.500000, 0.866025) NaN ( -0.500000, 0.866025) Note: IEEE floating-point exception flags raised: Inexact; Invalid Operation; See the Numerical Computation Guide, ieee_flags(3M) as I'd expect. Probably both complex pow functions were ultimately derived from, or at least influenced by, the same Bell Labs f77 implementation also enshrined in the f2c run-time libraries, but I think they represent the semantics expected by most programmers who have any expectation at all. So as part of the shift in thinking that interval arithmetic entails, the languages or libraries need to define new functions that incorporate rational-power semantics, rather than overload the exponential notation with different explanations in different contexts. From owner-reliable_computing Tue Apr 3 21:07:29 1998 Received: by interval.usl.edu id AA28305 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 31 Mar 1998 11:08:39 -0600 Received: from Pap.UniVie.AC.AT (apap4.pap.univie.ac.at) by interval.usl.edu with SMTP id AA28299 (5.65c/IDA-1.4.4 for ); Tue, 31 Mar 1998 11:08:31 -0600 Received: from homer.cma.univie.ac.at by Pap.UniVie.AC.AT (PMDF V5.0-4 #10670) id <01IVBS6IWWC0B1CSZJ [at] Pap [dot] UniVie.AC.AT>; Tue, 31 Mar 1998 19:07:40 +0100 (MET) Received: by homer.cma.univie.ac.at (5.65v3.2/1.1.10.5/19Mar97-1148AM) id AA14624; Tue, 31 Mar 1998 19:07:29 +0200 Date: Tue, 31 Mar 1998 19:07:29 +0200 From: Arnold Neumaier Subject: Re: Interval enclosure of X**Y for negative x in X To: numeric-interest [at] validgh [dot] com, reliable_computing [at] interval [dot] usl.edu, validgh [at] validgh [dot] com Cc: neum [at] homer [dot] cma.univie.ac.at Message-Id: <9803311707.AA14624 [at] homer [dot] cma.univie.ac.at> Content-Transfer-Encoding: 7BIT Sender: owner-reliable_computing Precedence: bulk David Hough writes, >>I think the underlying issue is that we are thinking of different functions. I think of x**y as corresponding to the multiple-valued complex function, analytic in places if we choose a principal branch of log, defined by exp(y**log(x)). ... In contrast Prof. Neumaier's definition is based upon a different choice of log branch to yield 1 ... I think it's a mistake (in language design) to use one notation ** to represent two rather different functions.<< and then goes on to show that Fortran77 implementations gives the results he expected. He is quite right in that we are thinking of different functions. The point I want to make is that it is quite useful to deviate from the past in order to have more useful properties. For me, not tradition is the measure of an optimal future, but rather the way new features will affect applications. In a context where no full complex interval arithmetic is provided, there is no point at all in thinking of function as restrictions of complex-valued functions. In most applications of intervals, the context is completely real, and everything could be understood even if complex numbers had never been invented. So one should look at the functions as real functions. (Actually Dr. Hough gets the complex results only when demanding explicitly complex arithmetic. The Fortran77 implementations also think that with real arithmetic there should be real interpretations only and NaN is returned.) Now people used to the old tradition will avoid fractional powers of negative numbers anyway since they produce NaN's; so they wouldn't be harmed by an interval power that gives them more sensible values. Interval arithmetic, however, is privileged by the fact that all operations produce sensible sets and there is no reason why the power should be treated differently. So the only question is which set to return when the base is negative. The empty set is forbidden since it gives containment failure. The result [-inf,inf] would be a valid possibility but is unnecessarily wide. It is enough that all meaningful real outcomes are enclosed, and to avoid possible containment failures in case of misinterpretation, the widest set of meaningful answers should be provided. And that care in this matter has useful applications has been pointed out in my previous mail. Since usually the base is >0, the necessary case analysis will slow down the operation in the main case not at all (the sign test needs to be made even when the result is set to NaN or NaI), so there is not even a performance penalty. And I'd be surprised if the penalty for hardware coding the exceptions were excessive. Perhaps Dr. Hough could expand on the practical disatvantage of giving X**Y more useful values in case X contains negative numbers. This would give the discussion more depth instead of just presenting two opposing points of view. Arnold Neumaier From owner-reliable_computing Tue Apr 3 02:18:41 1998 Received: by interval.usl.edu id AA28687 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 31 Mar 1998 12:19:11 -0600 Received: from validgh.com ([208.195.66.103]) by interval.usl.edu with SMTP id AA28681 (5.65c/IDA-1.4.4 for ); Tue, 31 Mar 1998 12:19:08 -0600 Received: by validgh.com (SMI-8.6/SMI-SVR4) id KAA03447; Tue, 31 Mar 1998 10:18:41 -0800 Date: Tue, 31 Mar 1998 10:18:41 -0800 From: validgh [at] validgh [dot] com (David G Hough at validgh) Message-Id: <199803311818.KAA03447 [at] validgh [dot] com> To: numeric-interest [at] validgh [dot] com, reliable_computing [at] interval [dot] usl.edu Subject: Re: Interval enclosure of X**Y for negative x in X Sender: owner-reliable_computing Precedence: bulk > In a context where no full complex interval arithmetic is provided, > there is no point at all in thinking of function as restrictions of > complex-valued functions. I remember in beginning calculus being told that many of the odd things we were told would only make sense when we studied complex analytic function theory, and indeed as I discovered some years later in graduate school, that was true! So I still tend to take the complex point of view when trying to understand even real analytic functions. It's not the right point of view for all applications but seems to correspond to a lot of computational physics and chemistry. A definition of "exceptional situation" is "a situation where no matter what you do, somebody will take exception" and this case is one of them, although perhaps simpler than the issues around interval 0**0, a topic for another time. > Perhaps Dr. Hough could expand on the practical disadvantage of > giving X**Y more useful values in case X contains negative numbers. It's a question of error detection. Typical physics codes exploit x**y (as opposed to x**n) with expressions like z**0.62 where the 0.62 appears to be an empirical constant (or more complicated expression) and is not intended to represent some fraction, so any negative argument z would be an error. Certainly the philosophy of IEEE 754 leans often toward simplifying expert programming rather than maximizing error detection, but there's a limit to how far one wants to go in that direction, and in this case the issue is easily resolved by defining a new function that does exactly what's wanted here. There's no absolute criterion to apply here, just judgments about the needs of various programmers who may be writing expert interval programs or inexpertly converting point programs to intervals. From owner-reliable_computing Tue Apr 3 22:48:11 1998 Received: by interval.usl.edu id AA29026 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 31 Mar 1998 12:49:05 -0600 Received: from Pap.UniVie.AC.AT (apap4.pap.univie.ac.at) by interval.usl.edu with SMTP id AA29019 (5.65c/IDA-1.4.4 for ); Tue, 31 Mar 1998 12:48:57 -0600 Received: from homer.cma.univie.ac.at by Pap.UniVie.AC.AT (PMDF V5.0-4 #10670) id <01IVBVODOI9SB1CWJN [at] Pap [dot] UniVie.AC.AT>; Tue, 31 Mar 1998 20:48:21 +0100 (MET) Received: by homer.cma.univie.ac.at (5.65v3.2/1.1.10.5/19Mar97-1148AM) id AA14843; Tue, 31 Mar 1998 20:48:11 +0200 Date: Tue, 31 Mar 1998 20:48:11 +0200 From: Arnold Neumaier Subject: Re: Interval enclosure of X**Y for negative x in X To: numeric-interest [at] validgh [dot] com, reliable_computing [at] interval [dot] usl.edu, validgh [at] validgh [dot] com Cc: neum [at] homer [dot] cma.univie.ac.at Message-Id: <9803311848.AA14843 [at] homer [dot] cma.univie.ac.at> Content-Transfer-Encoding: 7BIT Sender: owner-reliable_computing Precedence: bulk >>It's a question of error detection. Typical physics codes exploit x**y (as opposed to x**n) with expressions like z**0.62 where the 0.62 appears to be an empirical constant (or more complicated expression) and is not intended to represent some fraction, so any negative argument z would be an error.<< In an interval context, (-1.4)**0.62 would be empty, and hence produce an unsuspected infeasibility result in an optimization routine that hints at the error if the reporting software is reasonable. And since empty is sticking (usually), one would also recognize it in other interval calculations. Whether one checks for empty or for NaN is the same amount of work on the side of the user. Arnold Neumaier