From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jun 2 18:21:30 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j52NLTVo000563 for ; Thu, 2 Jun 2005 18:21:29 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j52NLTv7000562 for reliable_computing-outgoing; Thu, 2 Jun 2005 18:21:29 -0500 (CDT) Received: from interval.louisiana.edu (rbk5287@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j52NLNNu000557 for ; Thu, 2 Jun 2005 18:21:24 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j52NLNRQ000556 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 2 Jun 2005 18:21:23 -0500 (CDT) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j4UFWqek023951 for ; Mon, 30 May 2005 10:32:58 -0500 (CDT) Received: from liafa1.liafa.jussieu.fr (liafa1.liafa.jussieu.fr [132.227.93.1]) by shiva.jussieu.fr (8.12.11/jtpda-5.4) with ESMTP id j4UFUqPu073331 ; Mon, 30 May 2005 17:30:52 +0200 (CEST) X-Ids: 168 Received: from [132.227.81.248] (calcul.liafa.jussieu.fr [132.227.81.248]) by liafa1.liafa.jussieu.fr (8.12.2/jtpda-5.3.2) with ESMTP id j4UFUnS6014688 ; Mon, 30 May 2005 17:30:49 +0200 (CEST) Message-ID: <429B2F46.7060501 [at] liafa [dot] jussieu.fr> Date: Mon, 30 May 2005 17:20:38 +0200 From: Christiane FROUGNY User-Agent: Mozilla Thunderbird 1.0.2-1.3.3 (X11/20050513) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Vasco Brattka , "alp-diffusion@univ-lille1.fr" CC: cca-list@FernUni-Hagen.de, comprox [at] doc [dot] ic.ac.uk, na.digest@na-net.ornl.gov, reliable_computing [at] interval [dot] louisiana.edu, THEORYNT [at] listserv [dot] nodak.edu, arp [at] cines [dot] fr, communaute [at] medicis [dot] polytechnique.fr, arinews.gdr.lip@ens-lyon.fr, calmet [at] ira [dot] uka.de Subject: 2nd Call for Papers: REAL NUMBERS special issue of Theoretical Informatics and Applications References: <41B08162.4070208@FernUni-Hagen.de> In-Reply-To: <41B08162.4070208@FernUni-Hagen.de> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.7.2 (shiva.jussieu.fr [134.157.0.168]); Mon, 30 May 2005 17:30:52 +0200 (CEST) X-Antivirus: scanned by sophie at shiva.jussieu.fr X-Miltered: at shiva.jussieu.fr with ID 429B31AC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk The dead-line has been postponed to June 15th 2005 ----------- CALL FOR PAPERS ---------- Please distribute and accept our apologies if you receive multiple copies. REAL NUMBERS Special issue of the journal Theoretical Informatics and Applications http://www.edpsciences.org/journal/index.cfm?edpsname=ita Guest editors: Vasco Brattka, Christiane Frougny, Norbert Mueller IMPORTANT DATES (tentative planning): - Deadline for submissions of manuscripts: June 15th 2005 (full papers only; extended abstracts will be rejected) - Notification of acceptance/rejection: October 1st 2005 - Deadline for reception of final papers: December 15th 2005 Efficient manipulation of real numbers in computers is still a challenge. Many interesting theoretical and algorithmic problems are linked with that topic and belong to quite distant fields such as computer science, number theory, numerical analysis, computer algebra and logics. Several special issues on real numbers and computers have been previously published in the journal Theoretical Computer Science, as follow-up to the RNC meetings on these topics. The last meeting was RNC6 which took place in Dagstuhl, Germany, in November 2004, see http://cca-net.de/rnc6/ However, this call for papers is open to authors who did not attend RNC6. TOPICS Scientists working on questions related to real computer arithmetic are encouraged to present the theoretical or algorithmic aspects of their results, even if they did not attend the RNC6 conference. Survey and tutorial articles may be suitable if clearly identified as such. Topics include (but are not restricted to) the following list: * Foundation and properties of number systems * Computability and complexity * Formal aspects and automatic proof checking * Links with number theory and automata theory * Basic arithmetic operations * Implementation of the standard and special functions * Engineering of floating and fixed point algorithms * Symbolic manipulation of numbers * Accuracy and reliability for applications and industry * Robust geometric algorithms and exact geometric computation * Hardware design support and implementations HOW TO SUBMIT The submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear comparison with related work. Submissions must not substantially duplicate work published or submitted for publication elsewhere. Prepare a PostScript or PDF version of your full 10-20 pages paper preferably using the latex style LaTeX2e class for RAIRO -Theoretical Informatics and Applications ftp://ftp.edpsciences.org/pub/ita/. The file should be sent by e-mail to Christiane.Frougny [at] liafa [dot] jussieu.fr before June 15th 2005. Make sure that your PostScript or PDF file can be printed on a standard laser printer. Language: English. -- Christiane Frougny --------------------------------------------------- LIAFA, CNRS UMR 7089 - Case 7014 2 place Jussieu - 75251 Paris Cedex 05 - France --------------------------------------------------- Courriel : Christiane.Frougny [at] liafa [dot] jussieu.fr http://www.liafa.jussieu.fr/~cf Tel : +33 1 44 27 54 43 - Fax : +33 1 44 27 68 49 Bureau : 6A 31 bis, 175 rue du Chevaleret - 75013 Paris From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jun 2 18:21:41 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j52NLfAF000573 for ; Thu, 2 Jun 2005 18:21:41 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j52NLePW000572 for reliable_computing-outgoing; Thu, 2 Jun 2005 18:21:40 -0500 (CDT) Received: from interval.louisiana.edu (rbk5287@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j52NLcio000568 for ; Thu, 2 Jun 2005 18:21:38 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j52NLbac000567 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 2 Jun 2005 18:21:37 -0500 (CDT) Received: from smtp.univ-perp.fr (smtp.univ-perp.fr [194.167.137.6]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j4RCMlrN017220 for ; Fri, 27 May 2005 07:22:53 -0500 (CDT) Received: from [192.168.138.200] ([192.168.138.200]) by smtp.univ-perp.fr (8.11.0/jtpda-5.3.2) with ESMTP id j4RCMlu13756 ; Fri, 27 May 2005 14:22:47 +0200 Message-ID: <42971117.3060303@univ-perp.fr> Date: Fri, 27 May 2005 14:22:47 +0200 From: Philippe Langlois User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20041217 X-Accept-Language: fr-fr, en-us, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Subject: More Accurate Computation at ACM-SAC 2006: CFP Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-MailScanner-Information: Contactez le CRIUP pour plus d'informations X-MailScanner-smtp: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear colleagues, Few weeks ago, Vladik Kreinovich announced two interval-related tracks, identified as RCA and MCMS, at next 2006 ACM Symposium on Applied Computing (Dijon, France, April 23-27, 2006). We complete his email with the CFP and the URL for the latter. * RCA: Reliable Computations and their Applications, with an emphasis on combining interval and constraint satisfaction techniques. (organized by Martine Ceberio, Vladik Kreinovich and Michel Rueher http://www.cs.utep.edu/mceberio/Research/Conferences/RCA06/ * MCMS: More Accurate Computations: Methods and Software, with a focus on today's and tomorrow's methods and software that go father than the precision currently available on our computers (organized by Philippe Langlois and Siegfried M. Rump). All information is available at: http://webdali.univ-perp.fr/mcms MCMS Important Due Dates: * September 1, 2005: Abstract due * September 3, 2005: Paper submissions * October 15, 2005: Author notification * November 5, 2005: Camera-Ready copy Ph. Langlois and S.M. Rump (Apologies for multiple copies) -- Philippe LANGLOIS Universite de Perpignan, France. Phone: +33 (0) 468 662 135 http://webdali.univ-perp.fr/~langlois From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Jun 4 11:21:31 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j54GLUMC005780 for ; Sat, 4 Jun 2005 11:21:31 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j54GLUmt005779 for reliable_computing-outgoing; Sat, 4 Jun 2005 11:21:30 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j54GKxDt005775 for ; Sat, 4 Jun 2005 11:21:08 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id j54GKRU01876; Sat, 4 Jun 2005 10:20:27 -0600 (MDT) Message-Id: <200506041620.j54GKRU01876 [at] cs [dot] utep.edu> Date: Sat, 4 Jun 2005 10:20:25 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: special sessions at InTech'05 To: reliable_computing [at] interval [dot] louisiana.edu, vladik [at] cs [dot] utep.edu Cc: jirapun [at] scitech [dot] au.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: dc4X2Ufatfl2fJ045AJxXA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Forwarding. Vladik ****************************************************** From: jirapun [at] scitech [dot] au.edu ... If you know anyone who is interested in organizing a special session at InTech'05, could you please ask them to send me a proposal asap (the due date is the 6th June), so we have time to both evaluate it and, if accepted, put their information on our InTech's web. Regards, Jirapun ************************************************************************* Sixth International Conference on Intelligent Technologies InTech'05 Phuket Island, Thailand, December 14-16, 2005 http://www.s-t.au.ac.th/~intech/ Call for Special Session Proposals The InTech 05 Organizing Committee invites proposals for special sessions to be held during the conference. Each special session proposal should be well focused and motivated. It should consist of a list of four to six papers. Each paper in the list must have a title, names of authors with e-mails/Web sites, and an abstract. The special session organizer's contact information should also be included. All special session organizers must obtain firm commitments from their special session presenters and authors to submit papers in a timely fashion and, of course, to present them at InTech 05 (if the special session is accepted). The special session organizers will be responsible for the quality of the special session papers. They are expected to obtain three reviews for each paper and make recommendations on the papers to the program chairs based on the review reports. All accepted papers will be published in the InTech 05 Proceedings. Authors who planned papers for special sessions which were not accepted can submit their papers as regular submissions. NOTE: For the special sessions, restrictions on the number of pages will be the same as those for regular sessions. Proposals should be submitted in ELECTRONIC FORM to: Jirapun Daengdej (jirapun [at] scitech [dot] au.edu) Important Deadlines June 6, 2005 Special session proposal deadline June 20, 2005 Notification of final acceptance of special session From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Jun 4 12:34:57 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j54HYvK5005964 for ; Sat, 4 Jun 2005 12:34:57 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j54HYuaF005961 for reliable_computing-outgoing; Sat, 4 Jun 2005 12:34:56 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j54HYlgG005940 for ; Sat, 4 Jun 2005 12:34:52 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id j54HYWv02145; Sat, 4 Jun 2005 11:34:32 -0600 (MDT) Message-Id: <200506041734.j54HYWv02145 [at] cs [dot] utep.edu> Date: Sat, 4 Jun 2005 11:34:32 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: interval sessions at an anniversary fuzzy meeting To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: Nikravesh [at] EECS [dot] Berkeley.EDU, vladik [at] cs [dot] utep.edu, sstarks [at] utep [dot] edu, pnava [at] ece [dot] utep.edu, dubois [at] irit [dot] fr MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 561vvdj1v7Nl+gMl/pVYPg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, I realize that it is a very short notice, but I think it will be a very good idea to organize a special session on the relation between fuzzy, interval, and probability approaches - and on joint applications of these techniques, along the lines of the special issues of Reliable Computing and Fuzzy Sets and Systems and special sessions at fuzzy conferences organized and sponsored by Weldon Lodwick, Dan Berleant, Scott Starks, and many others. A lot of researchers are working in these areas, as most of you know Arnold Neumaier published a fundamental paper in FSS, a lot of the relation has been covered in NSF meeting on interval techniques in engineering organized by Fafi Muhanna and Robert Mullen. There are many interesting applications to engineering, including control, to geoinformatics, bioinformatics and other areas. Quite a lot of related papers were presented at a recent FUZZ-IEEE'05 conference in Reno, Nevada, where several special sessions were devoted to interval-related topics - several, on interval-valued fuzzy sets organized by Jerry Mendel (chair of IEEE Technical Committee on Fuzzy) and Bob John, one of the main organizers of FUZZ-IEEE'06 in London, UK. Interesting new interval-related algorithms were presented in a FUZZ-IEEE'05 paper by D. Dubois and others. Dr. Masoud Nikravesh, the main organizer of this Berkeley meeting, has encouraged us interval folks, at FUZZ-IEEE, to participate in FLINT'05. This is one more good opportunity to make our interval methods even better known to fuzzy community - in a celebratory conference in honor of 40th anniversary of the publication of the 1st fuzzy paper, a conference that will attract a lot of top researchers and top application folks. To make this special interval session possible, we need, by June 10, 2005, to send a list of potential authors and topics (see details below). Please send me the info ASAP if you are interested in coming. Vladik ************************************************************************** BISC Special Event-FLINT 2005 http://www-bisc.cs.berkeley.edu/BISCSE2005/ The legacy of accomplishment, excellence and people who contribute to the advancement of computational intelligence through science and technology to better serve global community FORGING NEW FRONTIERS 40th of Fuzzy Pioneers (1965-2005) Fuzzy Sets, Inf. Control 8, 338-353, 1965. Toward a Generalized Theory of Uncertainty (GTU) - An Outline, Information Sciences, 2005. (1965-2005, 2010, 2015, 2020, 2025, ...) Fuzzy Set: 1965 - Fuzzy Logic: 1973 - BISC: 1990 - Human-Machine Perception: 2000 - ... November 3-5, 2005 University of California-Berkeley Berkeley, California, USA Where Fuzzy Began CALL FOR PAPERS The 2005 BISC International Special Event-FLINT05 "FORGING THE FRONTIERS" will be held in the University of California, Berkeley, from November 3 - 5, 2005. UC Berkeley, WHERE FUZZY LOGIC BEGAN, is a preeminent research institution in the proximity of Silicon Valley. The successful applications of fuzzy logic and its rapid growth suggest that the impact of fuzzy logic will be felt increasingly in coming years. Fuzzy logic is likely to play an especially important role in science and engineering, but eventually its influence may extend much farther. In many ways, fuzzy logic represents a significant paradigm shift in the aims of computing - a shift which reflects the fact that the human mind, unlike present day computers, possesses a remarkable ability to store and process information which is pervasively imprecise, uncertain and lacking in categoricity. The BISC Program invites pioneers, the most prominent contributors, researchers, and executives from around the world who are interested in forging the frontiers by the use of fuzzy logic and soft computing methods to create the information backbone for global enterprises. This special event will provide a unique and excellent opportunity for the academic, industry leaders and corporate communities to address new challenges, share solutions, and discuss research directions for the future with enormous potential for the future of the Global Economy. Technical topics of interest include, but are not limited to: Soft Computing Techniques/Methodologies/Tools Fuzzy Sets Fuzzy Logic Knowledge Management/Discovery Data Mining Clustering Hybrid System Fuzzy-EC-Based Soft Computing Decision Analysis Decision Tree & Support System Case-Based & Rule-Based Reasoning Agent Technology Bioinformatics Search Engine & Bioinformatics Search Engine & Q/A System Search Engine & Text Data Mining Navigation User Profiling Search Engine & Internet Spam Knowledge Management & Discovery CyberSecurity & Counter Terrorisms Web Community Fraud Detection Information Filtering Multi-Media Data Mining CRM/Customer Services CALL FOR INVITED SESSIONS The goal of the invited sessions is to provide focused discussion on a new topic, or innovative applications of a new approach. Proposals for invited sessions should be submitted by June 10, 2005 to the Program Chair. Each invited session consists of three-four papers, which will be reviewed through the normal process. The proposal should be submitted by the session organizer, and include a brief statement of the focus of the paper, short bio of authors (including title of 3-5 refereed papers) along with authors and titles of each paper submitted electronically. CALL FOR TUTORIALS Requirements for Proposals: Proposals for tutorials that address the technical topics related to the workshop theme are welcome. We encourage programs that will attract industrial members, and programs with high anticipated level of interest, impact, creativity. Tutorial Proposals must follow the format below and be submitted via email to: flint-cibi [at] eecs [dot] berkeley.edu by June 10, 2005. Please email only ASCII text, MS-word or Postscript files. Proposal Format: 1. Title 2. Abstract/List of Topics (< 1000 words, indicate full or half day tutorial) 3. Speakers (complete address, phone, and email. short Bio including title of 3-5 refereed papers) 4. Motivation and Objectives (< 300 words) 5. Primary/Secondary Audience All reviews and interactions will be conducted via email. Organizers agree to collect written course notes from all speakers no later than Sept. 1, 2005. EXHIBITION There will be an exhibition site at the workshop. Reservations for space and further information may be obtained by contacting Local Chairs. Computer Science Division Department of Electrical Engineering and Computer Sciences University of California, Berkeley Berkeley, CA 94720-1776 Tel: (510) 643-4522 and 4519, FAX: 510-642-5775 mailto: Nikravesh [at] cs [dot] berkeley.edu http://www-bisc.cs.berkeley.edu/ From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 6 05:33:43 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j56AXgSf011352 for ; Mon, 6 Jun 2005 05:33:42 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j56AXgKa011351 for reliable_computing-outgoing; Mon, 6 Jun 2005 05:33:42 -0500 (CDT) Received: from ccsmta3.resource.rmcs.cranfield.ac.uk (ccsmta3.resource.rmcs.cranfield.ac.uk [193.63.243.26]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j56AXWYh011347 for ; Mon, 6 Jun 2005 05:33:38 -0500 (CDT) Received: from isepryce.staff.rmcs.cranfield.ac.uk ([10.4.49.11]) by ccsmta3.resource.rmcs.cranfield.ac.uk with esmtp (Exim 4.41) id 1DfEuh-0002xP-A6; Mon, 06 Jun 2005 11:32:59 +0100 X-Sender: prycej [at] pop3 [dot] rmcs.cranfield.ac.uk Message-Id: In-Reply-To: References: <004f01c54734$274434a0$1702a8c0@Moore> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 6 Jun 2005 11:36:39 +0100 To: George Corliss , reliable_computing [at] interval [dot] louisiana.edu From: Dr John D Pryce Subject: Re: Sun's interval patents X-DEFAC-MailScanner-Information: Please contact postmaster [at] rmcs [dot] cranfield.ac.uk for more information X-DEFAC-MailScanner: Found to be clean X-DEFAC-MailScanner-SpamCheck: not spam, SpamAssassin (score=0, required 6) X-MailScanner-From: j.d.pryce [at] cranfield [dot] ac.uk Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk George Have you seen, & has the Reliable Computing Bulletin been told, of the article "How to fix the ailing US patent system" in the magazine IEEE Spectrum, Dec 2004? John Dr John D Pryce Lecturer in Mathematical Software Engineering Computer Information Systems Engineering Dept Cranfield University, RMCS Shrivenham Swindon SN6 8LA, UK Tel +44 (0)1793-785683 direct, +44 (0)1793-785931 secretaries, +44 (0)1793-785366 fax -- This message has been scanned for viruses and dangerous content by the Cranfield MailScanner, and is believed to be clean. From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 6 06:36:54 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j56Bask0011475 for ; Mon, 6 Jun 2005 06:36:54 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j56BarEs011474 for reliable_computing-outgoing; Mon, 6 Jun 2005 06:36:53 -0500 (CDT) Received: from interval.louisiana.edu (rbk5287@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j56Baow0011470 for ; Mon, 6 Jun 2005 06:36:50 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j56BaoUF011469 for reliable_computing [at] interval [dot] louisiana.edu; Mon, 6 Jun 2005 06:36:50 -0500 (CDT) Received: from gateway0.EECS.Berkeley.EDU (gateway0.EECS.Berkeley.EDU [169.229.60.93]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j54M3W5t007737 for ; Sat, 4 Jun 2005 17:03:38 -0500 (CDT) Received: from [192.168.1.102] (adsl-69-109-126-50.dsl.pltn13.pacbell.net [69.109.126.50]) (authenticated bits=0) by gateway0.EECS.Berkeley.EDU (8.13.4/8.13.3) with ESMTP id j54M2p7b006688 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sat, 4 Jun 2005 15:02:59 -0700 (PDT) Message-ID: <42A22504.7040802 [at] eecs [dot] berkeley.edu> Date: Sat, 04 Jun 2005 15:02:44 -0700 From: Nikravesh Reply-To: Nikravesh [at] cs [dot] berkeley.edu Organization: BISC-EECS-UCB & Life Sciences-LBNL User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Vladik Kreinovich CC: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu, sstarks [at] utep [dot] edu, pnava [at] ece [dot] utep.edu, dubois [at] irit [dot] fr Subject: Re: interval sessions at an anniversary fuzzy meeting References: <200506041734.j54HYWv02145 [at] cs [dot] utep.edu> In-Reply-To: <200506041734.j54HYWv02145 [at] cs [dot] utep.edu> Content-Type: multipart/mixed; boundary="------------090305050405080807070506" Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. --------------090305050405080807070506 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Dear Vladik; Prof. Zadeh had lecture in NERSC (National Energy Research Scientific Computing Center) and had discussion with Director of Center, who in fact, I am working under his program and I do represent both LBNL and NERSC in State of California funded program which we do fund Faculties . http://www.nersc.gov/ As some of you also know, NERSC is the largest Super computing within DOE that public can have access to it. The reason for that background is that, as Valdik you have also recognized very well, there are so many interesting problems that supper computing also does not help, and they are mostly very complex and uncertain (variables). Well, during the meeting that Lotfi had with our Director and we have also routinely, one of the top area of interest is to how to go from data with probability (which have information) to Interval (which no assumption with respect to what are the distributions) to Fuzzy and eventually to information that are linguistics. That has been focus of discussion with Prof. Zadeh and our Director in NERSC and also a group that I am part of it at LBNL. In my believe and I think that would be one of the Lotfi's believes that this field has a tremendous potential for fuzzy community that can impact the Engineering field for the years to come and may need more attention. I am looking forward to your contribution and have a special session in this field that cover, both theoretical background and application and road map. Best Regards, Masoud Kreinovich wrote: >Dear Friends, > >I realize that it is a very short notice, but I think it will be a very good >idea to organize a special session on the relation between fuzzy, interval, and >probability approaches - and on joint applications of these techniques, along >the lines of the special issues of Reliable Computing and Fuzzy Sets and >Systems and special sessions at fuzzy conferences organized and sponsored by >Weldon Lodwick, Dan Berleant, Scott Starks, and many others. > >A lot of researchers are working in these areas, as most of you know Arnold >Neumaier published a fundamental paper in FSS, a lot of the relation has been >covered in NSF meeting on interval techniques in engineering organized by Fafi >Muhanna and Robert Mullen. There are many interesting applications to >engineering, including control, to geoinformatics, bioinformatics and other >areas. > >Quite a lot of related papers were presented at a recent FUZZ-IEEE'05 >conference in Reno, Nevada, where several special sessions were devoted to >interval-related topics - several, on interval-valued fuzzy sets organized by >Jerry Mendel (chair of IEEE Technical Committee on Fuzzy) and Bob John, one of >the main organizers of FUZZ-IEEE'06 in London, UK. > >Interesting new interval-related algorithms were presented in a FUZZ-IEEE'05 >paper by D. Dubois and others. > >Dr. Masoud Nikravesh, the main organizer of this Berkeley meeting, has >encouraged us interval folks, at FUZZ-IEEE, to participate in FLINT'05. > >This is one more good opportunity to make our interval methods even better >known to fuzzy community - in a celebratory conference in honor of 40th >anniversary of the publication of the 1st fuzzy paper, a conference that will >attract a lot of top researchers and top application folks. > >To make this special interval session possible, we need, by June 10, 2005, to >send a list of potential authors and topics (see details below). > >Please send me the info ASAP if you are interested in coming. > >Vladik >************************************************************************** > >BISC Special Event-FLINT 2005 >http://www-bisc.cs.berkeley.edu/BISCSE2005/ > >The legacy of accomplishment, excellence and people >who contribute to the advancement of computational intelligence >through science and technology to better serve global community > >FORGING NEW FRONTIERS >40th of Fuzzy Pioneers (1965-2005) > >Fuzzy Sets, Inf. Control 8, 338-353, 1965. > >Toward a Generalized Theory of Uncertainty (GTU) - An Outline, >Information Sciences, 2005. > >(1965-2005, 2010, 2015, 2020, 2025, ...) > >Fuzzy Set: 1965 - Fuzzy Logic: 1973 - BISC: 1990 - >Human-Machine Perception: 2000 - ... > >November 3-5, 2005 >University of California-Berkeley >Berkeley, California, USA >Where Fuzzy Began > >CALL FOR PAPERS > >The 2005 BISC International Special Event-FLINT05 "FORGING THE FRONTIERS" >will be held in the University of California, Berkeley, from >November 3 - 5, 2005. UC Berkeley, WHERE FUZZY LOGIC BEGAN, is >a preeminent research institution in the proximity of Silicon >Valley. The successful applications of fuzzy logic and its >rapid growth suggest that the impact of fuzzy logic will be felt >increasingly in coming years. Fuzzy logic is likely to play an especially >important role in science and engineering, but eventually its influence may >extend much farther. In many ways, fuzzy logic represents a significant >paradigm shift in the aims of computing - a shift which reflects the fact >that the human mind, unlike present day computers, possesses a remarkable >ability to store and process information which is pervasively >imprecise, uncertain and lacking in categoricity. > >The BISC Program invites pioneers, the most prominent contributors, >researchers, and executives from around the world who are interested >in forging the frontiers by the use of fuzzy logic and soft computing >methods to create the information backbone for global >enterprises. This special event will provide a unique and excellent >opportunity for the academic, industry leaders and corporate >communities to address new challenges, share solutions, and discuss >research directions for the future with enormous potential for the >future of the Global Economy. > >Technical topics of interest include, but are not limited to: > > Soft Computing Techniques/Methodologies/Tools > Fuzzy Sets > Fuzzy Logic > Knowledge Management/Discovery > Data Mining > Clustering > Hybrid System > Fuzzy-EC-Based > Soft Computing > Decision Analysis > Decision Tree & Support System > Case-Based & Rule-Based Reasoning > Agent Technology > Bioinformatics > Search Engine & Bioinformatics > Search Engine & Q/A System > Search Engine & Text Data Mining > Navigation > User Profiling > Search Engine & Internet > Spam > Knowledge Management & Discovery > CyberSecurity & Counter Terrorisms > Web Community > Fraud Detection > Information Filtering > Multi-Media > Data Mining > CRM/Customer Services > >CALL FOR INVITED SESSIONS > >The goal of the invited sessions is to provide focused >discussion on a new topic, or innovative applications of >a new approach. Proposals for invited sessions should be submitted >by June 10, 2005 to the Program Chair. Each invited session consists >of three-four papers, which will be reviewed through the normal >process. The proposal should be submitted by the >session organizer, and include a brief statement of the focus of the paper, >short bio of authors (including title of 3-5 refereed papers) >along with authors and titles of each paper submitted electronically. > >CALL FOR TUTORIALS > >Requirements for Proposals: Proposals for tutorials that address the >technical topics related to the workshop theme are welcome. We encourage >programs that will attract industrial members, and programs with high >anticipated level of interest, impact, creativity. > >Tutorial Proposals must follow the format below and be submitted >via email to: flint-cibi [at] eecs [dot] berkeley.edu by June 10, 2005. >Please email only ASCII text, MS-word or Postscript files. > >Proposal Format: > 1. Title > 2. Abstract/List of Topics (< 1000 words, indicate full or half day > tutorial) > 3. Speakers (complete address, phone, and email. short Bio including title > of 3-5 refereed papers) > 4. Motivation and Objectives (< 300 words) > 5. Primary/Secondary Audience > >All reviews and interactions will be conducted via email. Organizers >agree to collect written course notes from all speakers no later than >Sept. 1, 2005. > >EXHIBITION > >There will be an exhibition site at the workshop. Reservations for >space and further information may be obtained by contacting Local >Chairs. > >Computer Science Division >Department of Electrical Engineering and Computer Sciences >University of California, Berkeley >Berkeley, CA 94720-1776 >Tel: (510) 643-4522 and 4519, FAX: 510-642-5775 >mailto: Nikravesh [at] cs [dot] berkeley.edu >http://www-bisc.cs.berkeley.edu/ > > > -- ---- BISC Special Event FLINT 2005 FORGING NEW FRONTIERS 40th of Fuzzy Pioneers (1965-2005) Dedicated to: Prof. Lotfi A. Zadeh “The Inventor, Founder and Father of Fuzzy Sets and Logics” http://www-bisc.cs.berkeley.edu/BISCSE2005/ November 3-5 2005 University of California-Berkeley Berkeley, California, USA “Where Fuzzy Began” Fuzzy sets, Inf. Control 8, 338-353, 1965. Toward a Generalized Theory of Uncertainty (GTU)—An Outline, Information Sciences, 2005. “Working together to better serve global community” (1965-2005, 2010, 2015, 2020, 2025, 2030) Fuzzy Set: 1965 … Fuzzy Logic: 1973 … BISC: 1990 … Human-Machine Perception: 2000 - … http://www-bisc.eecs.berkeley.edu/ http://zadeh.cs.berkeley.edu/ “The legacy of accomplishment, excellence and people who contribute to the advancement of computational intelligence through science and technology to better serve global community” --------------090305050405080807070506 Content-Type: text/x-vcard; charset=utf-8; name="Nikravesh.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="Nikravesh.vcf" begin:vcard fn:Masoud Nikravesh n:Nikravesh;Masoud org:University of California-Berkeley;BISC-EECS-UCB and Life Sciences-LBNL adr:EECS-BISC Program;;199MF Cory Hall;Berkeley;CA;94720-1776;USA email;internet:Nikravesh [at] cs [dot] berkeley.edu title:BISC Associate Director tel;work:(510) 643-4522 tel;fax:(510) 642-5775 note;quoted-printable:FLINT 2005=0D=0A= FORGING THE FRONTIERS=0D=0A= 40th of Fuzzy Pioneers=0D=0A= =0D=0A= =E2=80=9CWorking together to better serve global community=E2=80=9D=0D=0A= =0D=0A= November 3-5 2005=0D=0A= University of California, Berkeley, California, USA=0D=0A= =E2=80=9CWhere Fuzzy Began=E2=80=9D=0D=0A= =E2=80=9CThe legacy of accomplishment, excellence and people who contribu= te to the advancement of computational intelligence through science andte= chnology to better serve global community=E2=80=9D=0D=0A= url:http://www-bisc.cs.berkeley.edu version:2.1 end:vcard --------------090305050405080807070506-- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 6 08:13:48 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j56DDmE5011596 for ; Mon, 6 Jun 2005 08:13:48 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j56DDmdV011595 for reliable_computing-outgoing; Mon, 6 Jun 2005 08:13:48 -0500 (CDT) Received: from mail-mta.sunlabs.com (dyn50.sunlabs.com [204.153.12.50]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j56DDdNO011591 for ; Mon, 6 Jun 2005 08:13:44 -0500 (CDT) Received: from mail.sunlabs.com ([152.70.2.186]) by mail-mta.sfvic.sunlabs.com (Sun Java System Messaging Server 6.1 HotFix 0.02 (built Aug 25 2004)) with ESMTP id <0IHN00HAZZE26100@mail-mta.sfvic.sunlabs.com> for reliable_computing [at] interval [dot] louisiana.edu; Mon, 06 Jun 2005 06:13:14 -0700 (PDT) Received: from [10.0.1.4] ([24.7.114.122]) by mail.sunlabs.com (Sun Java System Messaging Server 6.1 HotFix 0.02 (built Aug 25 2004)) with ESMTPSA id <0IHN005N7ZDZ1E63 [at] mail [dot] sunlabs.com> for reliable_computing [at] interval [dot] louisiana.edu; Mon, 06 Jun 2005 06:13:12 -0700 (PDT) Date: Mon, 06 Jun 2005 06:13:09 -0700 From: "G. William Walster" Subject: Re: Sun's interval patents In-reply-to: To: Dr John D Pryce Cc: George Corliss , reliable_computing [at] interval [dot] louisiana.edu Message-id: <42A44BE5.9090100 [at] sun [dot] com> MIME-version: 1.0 Content-type: text/plain; charset=us-ascii; format=flowed Content-transfer-encoding: 7BIT X-Accept-Language: en-us, en References: <004f01c54734$274434a0$1702a8c0@Moore> User-Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US; rv:1.7) Gecko/20040616 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Thanks, John. Hope you are well. Is this the article? I had not seen it. Thanks, Bill Dr John D Pryce wrote: >George >Have you seen, & has the Reliable Computing Bulletin been told, of the >article "How to fix the ailing US patent system" in the magazine IEEE >Spectrum, Dec 2004? >John > >Dr John D Pryce >Lecturer in Mathematical Software Engineering >Computer Information Systems Engineering Dept >Cranfield University, RMCS Shrivenham >Swindon SN6 8LA, UK >Tel +44 (0)1793-785683 direct, > +44 (0)1793-785931 secretaries, > +44 (0)1793-785366 fax > > > > > From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jun 8 11:31:40 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j58GVegS015615 for ; Wed, 8 Jun 2005 11:31:40 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j58GVeSA015614 for reliable_computing-outgoing; Wed, 8 Jun 2005 11:31:40 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j58GVV6k015610 for ; Wed, 8 Jun 2005 11:31:37 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id j58GUrl02044; Wed, 8 Jun 2005 10:30:53 -0600 (MDT) Message-Id: <200506081630.j58GUrl02044 [at] cs [dot] utep.edu> Date: Wed, 8 Jun 2005 10:30:51 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: conference of interest to interval researchers: forwarding To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: contact.dns [at] gmail [dot] com MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: ffzVPLYStIZga8TMVXo8xg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Forwarding. ********************************************************* From: Denis Sidorov Subject: Conference in Baikal, Russia on Optimisation Methods This is the Thirteenth Triennial Baikal International Conference on Optimisation Methods & their Applications, which traditionally (since 1969) brings together the engineers and the scientists working in the general area of optimisation. Themes The conference will cover all topics related to optimisation and include the following sessions: Mathematical programming Interval analysis Optimal control Inverse and ill-posed problems in applied mathematics Modelling of technical and nature systems The special attention will be paid to the following topics: equilibrium programming, parallel computations, interior point methods, and models of imperfect competition. The Conference will include Plenary sessions, Invited sessions, Regular sessions, Poster sessions, Workshops and Two Satellite conferences: 'Equilibrium models of economics and energetics' and 'IT in Power Industry'. For further information, visit the web-site http://www.sei.irk.ru/baikal2005/english/index.htm Organised by the Energy Systems Institute of Russian Academy of Sciences (SB). Venue: Irkutsk-Severobaikalsk, Lake Baikal Northern Shore, RUSSIA, July, 2-8, 2005. From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jun 8 20:43:30 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j591hTtk016157 for ; Wed, 8 Jun 2005 20:43:30 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j591hTVg016156 for reliable_computing-outgoing; Wed, 8 Jun 2005 20:43:29 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j591hLOc016152 for ; Wed, 8 Jun 2005 20:43:26 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id j591gun05478; Wed, 8 Jun 2005 19:42:56 -0600 (MDT) Message-Id: <200506090142.j591gun05478 [at] cs [dot] utep.edu> Date: Wed, 8 Jun 2005 19:42:54 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Special Issue: deadline extended To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: xgao [at] mmrc [dot] iss.ac.c MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: tgw8eZgn9i6MO3RCzrL1LQ== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk forwarding; CFP can also be found at http://www.cs.utep.edu/interval-comp/geom05.html ------------- Begin Forwarded Message ------------- From: Xiaoshan GAO Under several requests for extension of deadline for submission, We have therefore extended the paper submission deadline to June 30, 2005. _____________________________________________________________ CFP: Geometric Constraints A special issue of International Journal of Computational Geometry and Applications _____________________________________________________________ Authors should send their submission as a file attachment in pdf or postscript format to both guests editors by June 30, 2005. Xiao-Shan Gao Institute of Systems Science, Academia Sinica, Beijing 100080 China Email: xgao [at] mmrc [dot] iss.ac.cn http://www.mmrc.iss.ac.cn/~xgao Tel: 86-10-6254-1831 Fax: 86-10-6263-0706 Dominique Michelucci Laboratory Electroninics, Computer Science, Image Faculty sciences & techniques University of Burgundy BP 47870 21078 Dijon Cedex France Email: Dominique.Michelucci@u-bourgogne.fr Tel: 333.80.39.38.85 from abroad, 03.80.39.38.85 from France Fax: 333.80.39.59.10 from abroad, 03.80.39.38.85 from France Detailed CFP can be found at: http://www.mmrc.iss.ac.cn/~xgao/CFP-IJCGA.htm ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jun 8 21:18:17 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j592IHfb016190 for ; Wed, 8 Jun 2005 21:18:17 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j592IHPW016189 for reliable_computing-outgoing; Wed, 8 Jun 2005 21:18:17 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j592I8J6016185 for ; Wed, 8 Jun 2005 21:18:14 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id j592Hh805597; Wed, 8 Jun 2005 20:17:43 -0600 (MDT) Message-Id: <200506090217.j592Hh805597 [at] cs [dot] utep.edu> Date: Wed, 8 Jun 2005 20:17:44 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: conference in India To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: chitta [at] asu [dot] edu, m.satpathy [at] reading [dot] ac.uk MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: R/iDPpjNKK76ygoxaJYBzg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Several inter-related papers were presented at the previous CIT conferences. The organizers would welcome interval-related papers at this conference as well, especially if the applications areas are related to the highlighted topics. Bhubaneswar is a great place to visit; see the venue link at the conference webpage. *********************************************************************** CALL FOR PAPERS 8th International Conference on Information Technology CIT'2005 Bhubaneswar, India, Dec. 20-23 Organized by Orissa Information Technology Society (OITS) (www.oits.org) The main objective of the Conference is to provide a quality forum for scientists and engineers from various disciplines to present their latest research findings on all topics in the area of IT. Although the focus will be on Computer Science Issues, we welcome contributions from management, business and other disciplines. The focus of this conference will be on bio-informatics, e-business and network security. Topics of interest include but are not limited to: " Ubiquitous computing, Mobile computing " Embedded and Real time Systems " Parallel and Distributed Computing " E-commerce and network security " Fault-tolerance and Reliability " Formal Methods " Soft Computing, Multi-agent Systems " Bioinformatics and Computational Biology " Computational Finance " Databases, Data Warehousing " Language Technology Paper submissions: To be submitted electronically in pdf/ps/ MSWord format. Manuscripts shall be limited to twenty double spaced pages of size 8.5inX11in, in 12pt fonts. Papers shall be sent to either of the program chairs as an email with subject line cit2005 submission. Workshops and Tutorials: Workshop and Tutorial proposals are sought in all areas of IT, and shall be addressed to the advanced students in this field. IMPORTANT DATES * June 15, Tutorial proposal due * July 15, Full papers due [Extended deadline] * Aug 20, Acceptance notice * Oct 6, Camera-ready copy General Chairs: D.K. Panda, Ohio State University anda [at] cse [dot] ohio-state.edu S. Padhi, Utkal University spadhy [at] sancharnet [dot] in Program Chairs: R. Mall, IIT Kharagpur rajib [at] cse [dot] iitkgp.ernet.in M. Satpathy, Univ. of Reading M.Satpathy [at] reading [dot] ac.uk Tutorial and Workshop Chairs: M. Patra, Berhampur University manasrpbu [at] yahoo [dot] com A. Das, IMB Centre, Bhubaneswar ajitmita [at] rediffmail [dot] com B. Patel, GM College, Sambalpur Patel_bk2000 [at] yahoo [dot] com Publicity chairs: S K Udgata, Berhampur University Sibu_udgata [at] yahoo [dot] co.in J R Hota, KIIT, Bhubaneswar Jyotiranjan_h [at] yahoo [dot] com Advisory Chair: J.R. Sahu, OITS Jr_sahu [at] yahoo [dot] com Steering Committee Chair: R. Mahapatra, Texas A&M University rabi [at] cs [dot] tamu.edu Further details in www.citconference.org From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jun 9 12:41:53 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j59Hfrhh017637 for ; Thu, 9 Jun 2005 12:41:53 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j59HfrVk017636 for reliable_computing-outgoing; Thu, 9 Jun 2005 12:41:53 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j59HfiDh017632 for ; Thu, 9 Jun 2005 12:41:50 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id j59HfFc10687; Thu, 9 Jun 2005 11:41:15 -0600 (MDT) Message-Id: <200506091741.j59HfFc10687 [at] cs [dot] utep.edu> Date: Thu, 9 Jun 2005 11:41:15 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: ISIPTA'05 program and registration page are on the site To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: isipta05 [at] decsai [dot] ugr.es, teddy [at] stat [dot] cmu.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: E4Y+U3l6OhGZbRpKMzL0gA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id j59HfoDh017633 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk forwarding ------------- Begin Forwarded Message ------------- From: "ISIPTA '05" We would like to inform you that the web site for ISIPTA'05 is now complete; please go to http://www.sipta.org/isipta05 to see the list of accepted papers, the program, the schedule, the registration page. We urge everyone interested in attending the meeting, to register and to make their travel arrangements as soon as possible. ====================================================================== Call for Participation: ISIPTA '05 4th Int. Symposium on Imprecise Probabilities and Their Applications July 20-23, 2005 - Carnegie Mellon University http://www.sipta.org/isipta05 Highlights: - Invited talks by Arthur Dempster and Isaac Levi - Tutorials by Gert de Cooman, Paolo Vicig and Kurt Weichselberger - Workshop on Financial Risk Assessment, on the morning of July 24 - 46 technical papers will be presented (oral and poster) on July 21-23 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The ISIPTA meetings are one of the primary international forums to present and discuss new results on the theory and applications of imprecise probabilities. Imprecise probability has a wide scope, being a generic term for the many mathematical or statistical models which measure chance or uncertainty without sharp numerical probabilities. These models include belief functions, Choquet capacities, comparative probability orderings, convex sets of probability measures, fuzzy measures, interval-valued probabilities, possibility measures, plausibility measures, and upper and lower expectations or previsions. Imprecise probability models are needed in inference problems where the relevant information is scarce, vague or conflicting, and in decision problems where preferences may also be incomplete. The program with all tutorials, sessions and invited talks can be found at the site of the symposium (http://www.sipta.org/isipta05). The site also contains information about location and registration. Workshop on Financial Risk Assessment ------------------------------------- There will be a workshop addendum to the conference, to be held on the morning of July 24, with invited speakers on the topic of financial risk assessment, to which all of the ISIPTA'05 participants are welcome, at no additional registration cost. The list of invited talks to be presented at the workshop can be found at the symposium site. Steering Committee ------------------ Gert de Cooman (Universiteit Gent, Belgium) Fabio G. Cozman (Universidade de SĂŁo Paulo, Brazil) Serafin Moral (Universidad de Granada, Spain) Robert Nau (Duke University, USA) Teddy Seidenfeld (Carnegie Mellon University, USA) Marco Zaffalon (IDSIA-Istituto Dalle Molle di Studi sull'Intelligenza Artificiale, Switzerland) The members of the program committee are listed at the symposium site. Questions --------- If you have any questions about the symposium that you cannot solve by consulting the site http://www.sipta.org/isipta05, please contact the Steering Committee preferably by email (teddy [at] stat [dot] cmu.edu - fgcozman [at] usp [dot] br), or at the following address: Teddy Seidenfeld Department of Statistics Carnegie Mellon University Pittsburgh PA 15213 Phone: 412 - 268 - 2209 Fax: 412 - 268 - 1440 ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jun 12 16:30:33 2005 Received: from interval.louisiana.edu (localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j5CLUX7Y002625 for ; Sun, 12 Jun 2005 16:30:33 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j5CLURGF002624 for reliable_computing-outgoing; Sun, 12 Jun 2005 16:30:27 -0500 (CDT) Received: from smtpauth09.mail.atl.earthlink.net (smtpauth09.mail.atl.earthlink.net [209.86.89.69]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j5CLUIgP002620 for ; Sun, 12 Jun 2005 16:30:23 -0500 (CDT) Received: from [68.166.211.251] (helo=[192.168.1.101]) by smtpauth09.mail.atl.earthlink.net with asmtp (Exim 4.34) id 1Dha23-0004EW-F1 for reliable_computing [at] interval [dot] louisiana.edu; Sun, 12 Jun 2005 17:30:15 -0400 Message-ID: <42ACA966.3040902 [at] mindspring [dot] com> Date: Sun, 12 Jun 2005 15:30:14 -0600 From: Alan Eliasen User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.7.7) Gecko/20050414 X-Accept-Language: en-us, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu Subject: Arctan2 X-Enigmail-Version: 0.92.0.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-ELNK-Trace: b37d7a0c977428ea9649176a89d694c0f43c108795ac4507d28e9b2e2d9fb139f5891ca4fa415249350badd9bab72f9c350badd9bab72f9c350badd9bab72f9c X-Originating-IP: 68.166.211.251 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk I'm implementing interval arithmetic in my programming language "Frink": http://futureboy.us/frinkdocs/ and I'm attempting to implement the two-argument version of arctan[x,y], but I'm encountering a few difficulties in dealing with discontinuities and would like some suggestions. If we define arctan[x,y] to return arctan[x/y], but corrected for quadrant, we get a discontinuity when going from quadrant III to quadrant IV where the value jumps from -pi to +pi along the line at x=0 where y goes from 0 to -infinity. Does anyone have an elegant method or redefinition to overcome this discontinuity? -- Alan Eliasen | "It is not enough to do your best; eliasen [at] mindspring [dot] com | you must know what to do and THEN http://futureboy.homeip.net/ | do your best." -- W. Edwards Deming From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jun 12 17:48:09 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j5CMm9ZH002734 for ; Sun, 12 Jun 2005 17:48:09 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j5CMm98g002733 for reliable_computing-outgoing; Sun, 12 Jun 2005 17:48:09 -0500 (CDT) Received: from its-exsmtp1.marqnet.mu.edu (email.marquette.edu [134.48.20.169]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j5CMm1qo002729 for ; Sun, 12 Jun 2005 17:48:06 -0500 (CDT) Received: from its-exfe2.marqnet.mu.edu ([134.48.20.167]) by its-exsmtp1.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211); Sun, 12 Jun 2005 17:47:49 -0500 Received: from [192.168.1.100] ([134.48.233.102] RDNS failed) by its-exfe2.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211); Sun, 12 Jun 2005 17:47:49 -0500 User-Agent: Microsoft-Entourage/10.1.4.030702.0 Date: Sun, 12 Jun 2005 17:47:50 -0500 Subject: Re: Arctan2 From: George Corliss To: Alan Eliasen , CC: George Corliss Message-ID: In-Reply-To: <42ACA966.3040902 [at] mindspring [dot] com> Mime-version: 1.0 Content-type: text/plain; charset="US-ASCII" Content-transfer-encoding: 7bit X-OriginalArrivalTime: 12 Jun 2005 22:47:49.0444 (UTC) FILETIME=[C2415840:01C56FA0] Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Alan, I'm guessing your description might nor be exactly what you meant. For example, Fortran defines ATAN2(Y,X) as the principle argument of the complex number X + iY, expressed in radians in the range -pi < ATAN2(Y,X) <= pi. The values of X and Y must not both be zero [Metcalf & Reid, 1990, p. 160]. [Does anyone know why (Y, X), not (X, Y)?] The problem is exemplified by arctan( [-0.1, 0.1], [-1.1, -0.9] )? [-pi, pi], according to the set definition { arctan(y,x) | x in X, y in Y }. More problematic is arctan( [-0.1, 0.1], [-0.1, 0.1] ). Your alternatives are probably 1. NaN, or exception in some sense 2. [-pi, pi], in the sense of csets (containment sets) John Pryce or Bill Walster might wish to chime in, but the idea as I understand it, is that you should consider the set of limit points as x--> 0 and y --> 0. Depending on their interpretations, arctan( [0, 0], [0,0] ) or arctan( 0, 0 ) may be different. If you are doing a greenfields implementation of interval arithmetic, I encourage you to give serious consideration to their cset concept. Advantages include: Exception-free execution, more consistent interpretations of problematic cases, possible compiler optimizations. Disadvantages include: Results in some cases surprise you, automatic verification of continuity requires special handling. Dr. George F. Corliss Electrical and Computer Engineering Marquette University PO Box 1881 1515 W. Wisconsin Ave. Milwaukee WI 53201-1881 USA 414-288-6599; Fax: 288-5579; Dept. 288-6280 Office: Haggerty Engineering 296 George.Corliss [at] Marquette [dot] edu > I'm implementing interval arithmetic in my programming language "Frink": > > http://futureboy.us/frinkdocs/ > > and I'm attempting to implement the two-argument version of > arctan[x,y], but I'm encountering a few difficulties in dealing with > discontinuities and would like some suggestions. > > If we define arctan[x,y] to return arctan[x/y], but corrected for > quadrant, we get a discontinuity when going from quadrant III to > quadrant IV where the value jumps from -pi to +pi along the line at x=0 > where y goes from 0 to -infinity. > > Does anyone have an elegant method or redefinition to overcome this > discontinuity? From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jun 12 19:49:59 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j5D0nwqT002938 for ; Sun, 12 Jun 2005 19:49:58 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j5D0nwxi002937 for reliable_computing-outgoing; Sun, 12 Jun 2005 19:49:58 -0500 (CDT) Received: from smtpauth07.mail.atl.earthlink.net (smtpauth07.mail.atl.earthlink.net [209.86.89.67]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j5D0nnjQ002933 for ; Sun, 12 Jun 2005 19:49:55 -0500 (CDT) Received: from [68.166.211.251] (helo=[192.168.1.101]) by smtpauth07.mail.atl.earthlink.net with asmtp (Exim 4.34) id 1Dhd98-00068i-Jz; Sun, 12 Jun 2005 20:49:46 -0400 Message-ID: <42ACD828.2050608 [at] mindspring [dot] com> Date: Sun, 12 Jun 2005 18:49:44 -0600 From: Alan Eliasen User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.7.7) Gecko/20050414 X-Accept-Language: en-us, en MIME-Version: 1.0 To: George Corliss CC: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: Arctan2 References: In-Reply-To: X-Enigmail-Version: 0.92.0.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-ELNK-Trace: b37d7a0c977428ea9649176a89d694c0f43c108795ac45070cfca7b3b38328ab065b60adbf3ac0b2350badd9bab72f9c350badd9bab72f9c350badd9bab72f9c X-Originating-IP: 68.166.211.251 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk George Corliss wrote: > I'm guessing your description might nor be exactly what you meant. For > example, Fortran defines ATAN2(Y,X) as the principle argument of the complex > number X + iY, expressed in radians in the range -pi < ATAN2(Y,X) <= pi. > The values of X and Y must not both be zero [Metcalf & Reid, 1990, p. 160]. > > [Does anyone know why (Y, X), not (X, Y)?] atan2[a,b] is one of those cases (like the modulus operator) where there are competing definitions that can both be considered equally valid. You always gotta look at your programming language's particular definition to be safe. Is it defined as a/b or b/a? Mathematica defines it as b/a, Java and Fortran and Frink as a/b. (No comments about Java not being an authoritative platform for mathematics, please. :) ) I've re-checked my original statement and I do think it's what I meant. (It essentially matches Fortran's definition.) I want arctan[x,y] to essentially return arctan[x/y] but corrected for quadrant. To be more specific, when x>0, I want arctan[x/y] and arctan[x,y] to return the same value (in the range -pi/2, pi/2). As a graph is worth a thousand words, here is what I intend: http://futureboy.us/temp/arctan.gif I prefer to use this convention because it allows arctan[x/y] to be trivially rewritten as arctan[x,y]. > The problem is exemplified by > arctan( [-0.1, 0.1], [-1.1, -0.9] )? Yes. That interval goes across the boundary from quadrant III to quadrant IV. > [-pi, pi], according to the set definition > { arctan(y,x) | x in X, y in Y }. I agree that's the most obvious answer given conventions for the range of arctan, but I'd argue that that jump in range could be considered somewhat arbitrary. If you look at the graph, you can see that we could consider arctan to map out a sort of helix, continually descending as we go counter-clockwise around the origin (as seen from the "top") Rather than forcing that particular (somewhat arbitrary) discontinuity, we could theoretically continue the helix downward and map the points in quadrant IV to something less than -pi, and maintain continuity between quadrants III and IV. It diverges from the usual range produced by the arctan function, but has the benefits of being mathematically meaningful, continuous, and monotonic. Does anyone know of interval arithmetic implementations that apply this somewhat non-standard convention? > More problematic is arctan( [-0.1, 0.1], [-0.1, 0.1] ). Your alternatives > are probably > 1. NaN, or exception in some sense > 2. [-pi, pi], in the sense of csets (containment sets) > > John Pryce or Bill Walster might wish to chime in, but the idea as I > understand it, is that you should consider the set of limit points as x--> 0 > and y --> 0. I think I'd likely bunt and use the limit [-pi,pi] when considering an interval surrounding the origin. The limiting case is well-behaved, so I probably wouldn't return an exception. After I wrote the above, I just found a paper on this topic by Walster: http://developers.sun.com/tools/cc/articles/int_angles/interval-angles.pdf I don't know why it didn't turn up in my searches earlier. I must have only searched for "arctan" and "atan" and not "atan2". This paper happens to propose several different alternatives, including ones that seem to follow the spiral around as I've proposed above and extending the range to, say, -5/4 pi when going between quadrants III and IV. Does anyone have strong feelings on making an arctan implementation work this way--that is, returning something beyond [-pi, pi]? It seems quite a bit more elegant and gives tighter interval bounds to do so. > If you are doing a greenfields implementation of interval arithmetic, I > encourage you to give serious consideration to their cset concept. Oh, my implementation is green as green can be. :) I'm already quite a ways along into my implementation, but I always appreciate ways to make my system more elegant. Thanks very much for your comments! -- Alan Eliasen | "It is not enough to do your best; eliasen [at] mindspring [dot] com | you must know what to do and THEN http://futureboy.homeip.net/ | do your best." -- W. Edwards Deming > Advantages include: Exception-free execution, more consistent > interpretations of problematic cases, possible compiler optimizations. > Disadvantages include: Results in some cases surprise you, automatic > verification of continuity requires special handling. > > Dr. George F. Corliss > Electrical and Computer Engineering > Marquette University > PO Box 1881 > 1515 W. Wisconsin Ave. > Milwaukee WI 53201-1881 USA > 414-288-6599; Fax: 288-5579; Dept. 288-6280 > Office: Haggerty Engineering 296 > George.Corliss [at] Marquette [dot] edu > > > > > >> I'm implementing interval arithmetic in my programming language "Frink": >> >> http://futureboy.us/frinkdocs/ >> >> and I'm attempting to implement the two-argument version of >>arctan[x,y], but I'm encountering a few difficulties in dealing with >>discontinuities and would like some suggestions. >> >> If we define arctan[x,y] to return arctan[x/y], but corrected for >>quadrant, we get a discontinuity when going from quadrant III to >>quadrant IV where the value jumps from -pi to +pi along the line at x=0 >>where y goes from 0 to -infinity. >> >> Does anyone have an elegant method or redefinition to overcome this >>discontinuity? > > > From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jun 12 20:37:18 2005 Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j5D1bHQS003023 for ; Sun, 12 Jun 2005 20:37:17 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j5D1bHV7003022 for reliable_computing-outgoing; Sun, 12 Jun 2005 20:37:17 -0500 (CDT) Received: from mail-mta.sunlabs.com (dyn50.sunlabs.com [204.153.12.50]) by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j5D1b6oC003017 for ; Sun, 12 Jun 2005 20:37:11 -0500 (CDT) Received: from mail.sunlabs.com ([152.70.2.186]) by mail-mta.sfvic.sunlabs.com (Sun Java System Messaging Server 6.1 HotFix 0.02 (built Aug 25 2004)) with ESMTP id <0II000K4O1TDUX00@mail-mta.sfvic.sunlabs.com> for reliable_computing [at] interval [dot] louisiana.edu; Sun, 12 Jun 2005 18:36:49 -0700 (PDT) Received: from [10.0.1.5] ([24.7.114.122]) by mail.sunlabs.com (Sun Java System Messaging Server 6.1 HotFix 0.02 (built Aug 25 2004)) with ESMTPSA id <0II00059C1T71EI3 [at] mail [dot] sunlabs.com> for reliable_computing [at] interval [dot] louisiana.edu; Sun, 12 Jun 2005 18:36:49 -0700 (PDT) Date: Sun, 12 Jun 2005 18:36:42 -0700 From: "G. William Walster" Subject: Re: Arctan2 In-reply-to: To: George Corliss Cc: Alan Eliasen , reliable_computing [at] interval [dot] louisiana.edu Message-id: <42ACE32A.6080804 [at] sun [dot] com> MIME-version: 1.0 Content-type: multipart/mixed; boundary="Boundary_(ID_3xcFuteqbKoqyhMPbR8L3Q)" X-Accept-Language: en-us, en References: User-Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US; rv:1.7) Gecko/20040616 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. --Boundary_(ID_3xcFuteqbKoqyhMPbR8L3Q) Content-type: text/plain; charset=us-ascii; format=flowed Content-transfer-encoding: 7BIT See the attached. Csets help with the indeterminate form, but more importantly is the idea of permitting interval angles to straddle the branch cut. Cheers, Bill George Corliss wrote: >Alan, > >I'm guessing your description might nor be exactly what you meant. For >example, Fortran defines ATAN2(Y,X) as the principle argument of the complex >number X + iY, expressed in radians in the range -pi < ATAN2(Y,X) <= pi. >The values of X and Y must not both be zero [Metcalf & Reid, 1990, p. 160]. > >[Does anyone know why (Y, X), not (X, Y)?] > >The problem is exemplified by > arctan( [-0.1, 0.1], [-1.1, -0.9] )? > >[-pi, pi], according to the set definition > { arctan(y,x) | x in X, y in Y }. > > >More problematic is arctan( [-0.1, 0.1], [-0.1, 0.1] ). Your alternatives >are probably > 1. NaN, or exception in some sense > 2. [-pi, pi], in the sense of csets (containment sets) > >John Pryce or Bill Walster might wish to chime in, but the idea as I >understand it, is that you should consider the set of limit points as x--> 0 >and y --> 0. > >Depending on their interpretations, arctan( [0, 0], [0,0] ) or >arctan( 0, 0 ) may be different. > >If you are doing a greenfields implementation of interval arithmetic, I >encourage you to give serious consideration to their cset concept. >Advantages include: Exception-free execution, more consistent >interpretations of problematic cases, possible compiler optimizations. >Disadvantages include: Results in some cases surprise you, automatic >verification of continuity requires special handling. > >Dr. George F. Corliss >Electrical and Computer Engineering >Marquette University >PO Box 1881 >1515 W. Wisconsin Ave. >Milwaukee WI 53201-1881 USA >414-288-6599; Fax: 288-5579; Dept. 288-6280 >Office: Haggerty Engineering 296 >George.Corliss [at] Marquette [dot] edu > > > > > > >> I'm implementing interval arithmetic in my programming language "Frink": >> >> http://futureboy.us/frinkdocs/ >> >> and I'm attempting to implement the two-argument version of >>arctan[x,y], but I'm encountering a few difficulties in dealing with >>discontinuities and would like some suggestions. >> >> If we define arctan[x,y] to return arctan[x/y], but corrected for >>quadrant, we get a discontinuity when going from quadrant III to >>quadrant IV where the value jumps from -pi to +pi along the line at x=0 >>where y goes from 0 to -infinity. >> >> Does anyone have an elegant method or redefinition to overcome this >>discontinuity? >> >> > > > --Boundary_(ID_3xcFuteqbKoqyhMPbR8L3Q) Content-type: application/pdf; x-mac-type=0; x-mac-creator=0; name=output.pdf Content-transfer-encoding: base64 Content-disposition: inline; filename=output.pdf JVBERi0xLjENCiXi48/TDQoyIDAgb2JqDQo8PA0KL0xlbmd0aCAzNTM3DQovRmlsdGVyIC9M WldEZWNvZGUNCj4+DQpzdHJlYW0NCoAMRBAoEcjODQUQiwIBeRynAjOcxARSxCBiMxALYuIB sMRkIBuOY+cjLCDNCCEVIQLyMNIGICpJwUMRuLhnLhgIJzNJtLhiNhmLhuOI4MRrNhxGCobY ROacIINCBaMBcMKUY4QWxQTDiKRmMBQdzQdTyKRqOBQZDeKRaMxkMxQRBSMhiKK6NhQahTeL XGhkKDQdrYMxiNLTdxQZ8GML+d7ZhjXe8BixyKCSKRzYDlXhQdTudTJXbaMBrcRSMRhdSvmB vphjaCjc7qNRSXSoSoQNBcNRoNhvGRiLhkNhtLioRKlVNTRCpWAVWiYKdbXd7YRTaDrp7qbK 7rxRgsqbBTYDNbBkOdbl9Rfzxp7RXRlf/KMbrjrQbM3RrttdvFhkqobJ1ASPQAEAZBqo7fhq 4rdt4mCmAUqaqoE5qshQJTTsMGLBhkwwtPcFA2DeN42DIODFrxD70LS6QUL6uo7LE7LbNwmY XIuHKMI0FwchoqyYORCLlMKmDnK0uTUBQOYUsMOrxBa0q+rctAaBuF8OLQGoZpu/kapYGqXp ihAcwKp8yBhAIZBwo6XBqGAcKqGbfqWpqqhgHMioQuIyxi0AzMcKg1JWlswpkvwXBoGrfx2G i3QpILlTfPLnhQIw5Pg1qyy2ycoP2GTWscvD8DiwQWwOwwyDqNDzUUFDyr/S47PEtAzrGNDF VMs6wjWMjHVyv8lrBVSyuHTjS0w61fxC679havAzDkOtVT/Vi/1UwTSvbZ0XWYxywVLU9lrq 0UDrqMrBrqOVQhQyNcrRJa2rgzbSvFca51BLqpOCGq3o/HYZNIpUgq0MizWavFcBoHNRNPT1 8LAsay35FkorZNy/4LY+MxcPlZWZUuFMqOQ0sfHrDjUN7Aw2FqRLwuUoBg1toWRYi8DRZA71 mFFL4sq0Q5AHLKjmOo5XhYo5DtW+ergPTzWWtFvXZpYUabU12DZV60MjGimuA4T6Tw48LXWz a2hwvFrjkta0ZrTgZqTXdV7MuDuXbmy5s7m972Tt9URPYoy50NQ8DYx1ij4wYb4Ze2zMNXGG Owzg0T/pXGxZqw45QwPEsrqq/jXvXLVfncTha1o5jxnPMsHs7D3yBQqBVOoYTRSatO4ubSxl iSwLUwa3U46enDMN+kW1yK67lLa0bKw2SXjUHQMHRLLOveTHs6z7Q9elkAwomTChcGwcBw39 ItfIDkztAMK0oIjV22IjY222muAUlifJgmT/xzt6MvnOYpBOyFEjLLW2fAsCvjWnZBaYZ3BG i4MeW2eUtqjQUPPMMtoi6zWZMWWSa0/BbDKmig2ht+yX1CkWN0b1ARO4VveS2UIogNDzlCJE g8ixVWgu2BQDQ6J9D4n7PoDU+p2kknZiAZo06bzWmKPod49sQD5RGMbEaBx2k3s7O0XQ/cJ1 CPfIscoj5TzUFVI+RcoJQwQI+JqSIj6dEhJ2KuhYy4OC6tEdKlsv4TUTObXiqg8ZdlcJbMNH wOEfpCAoC8YOHoYAeuvP+wogSOwck/jewMFAXDGAzNW1pWxg0EFpVVKB3Rcy0NNJvFotrE4K LpDgHBS4b3EQVLwe0v7SZBxEO+ZwNgag4uVBnLp0ryQyB2DwteUESi6vPmCaUxRfw2LTLFLk upoWUFsZsHaEx/QFE5R2DGSr7JMBMgwDc0rBYGkhVc06aLxG5A0jtAZGBjwbxNYaaAuZhg9G iSrKdwq7Z4QZDi4Ux4OFrBkDOGwPDIG4MFLAHFhJQ1XN6MIWEsc9C4UOWTPCKpbV2TvnMChY haG5LWLEHuejImSP2dihadCPi6xOgNAuQLk5pmPTQiyh813TGTMMleBqxVfFwdBPynNLzUmd oQiWoxeHSl/DRMWY872fMjpwZUO70oGs+o05llNV2f04d1VpHxcEXmAczVl183jgzgcU+lSl VoGgzMq9uBs8JRQUUbVhXivgaHVDRShbZYqIMgBoXWCisA8HwlKXAsbxGylfnWmoFAbpsNUi XTOXdUDHvUo08V1ddy4VZne9Q8sV6enZPJV+u5pXnrWDk6Wvbca1tenAT+uDt6Bs5d8W04ku 4GohVqYN8bfJVAzBtKWj1WrkNQLGHA7lvU5S3DZcO3zzJmXFtJcQtFXXNVATk8yQMDLkXKqI 8q4svw1K9DZSNt1xTNlguy1CRj0qWOyUoymtNADeM7gxLqu1f7uh1r1LqrKvTHsTsDYQM7IE tKueKeYwyry/huD0GxpOCZqyBtAXqu9fJ3y6sSiHAlrFEzLadHiztY1V33QsdxwqJS+sKlu3 hJ89nksltGZx5slbjVkRzRYOt0A429xod+6oaGVkiLgFfIFGcCY6BQHBgqHQUSzngaVpqTQy LwYUXhVIcrFsJMzbR+1bEbnonEhYM07cTA2YwV14GWL+nwlq38yq51TN3I0Z3BJhj8wXMfnA 60DpDzaLZQYsEdVYQMUSYawMHkTBzZTUCSSIYMaEwDg+a2JkFtSYxg47FS3t5nttOGuCEnaJ gfaVqQ72KpSji8b+MACiamMhaSCMyBnaHCQMwtHhHYcTdUmTkKgd09A0BSoEhARSVbEKeFII 7XQlICDUTpAodyBk5CaCALYXSchkIsCANIICEMAKoR885R6DRr12hKGhUCSkJvwSkhGt4xoC 3xrzdKBgcJkOKhRCAKDabMfuEYomtYy64jJGLXhR7ka/KCaTViEDlGEUnJkqwNAfbLUFwd/K YkbTBRzth2in9UqRjmpTG9G3FFpL6a0OzzZ1K8oYXA0FCS2Gtq7PQtCJ9IaxxbNwlmtH9b31 2U/fZNyjnx1+DbYPAmuvth7x7Zuz+mI3TSDndhHzda43gSPeYQt67P330rXfWenJq4BYfYfB OrcH4T0cmfDuG9pTcUjiRVUEdvk0lzgxLE8a1KpG7fLYpuk2KNxk3fcSWdz5EvskRRNjQCMZ qw53Gib8d8CEbo3Iuz767SZlRHT+o7D2N5nZXBtnEIroVQm+v+u7u7AVTeJJCUdl6Rwz0WuP X+l7Y+Lt0cO4ed8g+DuyA+HV0KOgvvfFO/cb8cEbwfdPCnx8PAIwnmE9FC+n8eHINfJoC8RG L7gCvNcc+nyF8BNvxEYUjyjxGqmYw8DRAqda22VmlSu/ZUwmpNxPCb7VD+blTjJaL6bz4mT0 InLfYmh/hNJNaMzqTYjqj1bj71omYG5/jfwoLdrr5fz2zsT3IlDszpL3qM8DbYJAyer4UCj4 rj7x6FLusE4nbhwmhOAjzfytrxb4jv8C5QY1EGYqh8j3jxDjQqz6b6ryIqpKpPDypPTgsGLh EIZRA9D8jyxA7jMH7zkKcBT3bfMBrXYujqAs7fwo4xkCj1LZLuMDMMg3bdQpIF0D7d8ETeUE ghMEz3kMTXEN8MxT4mrgLt8KRQb8EGkPbbcMYugoQlxNUHjipPUH76cITwkOYHEIxIMJAGcJ UGY4IGEJ0LBPQG778KphR8yuD80LbjcLpQb9iHI872L+JOZIL+iN6Ar+4MxlZ8YtBl6w5Jpd S9hniBomhFhcZzQx4wpVxWLDAO5kBJKuUXxy6w4v5hLEhyZgym7/zhZ2sAa3EI7TpVbzo+kG Y/8XZAMWsVCAbjI0IxTzsVwBQ/41CNT+LlJO0Wylwx7KwwRuiXxyqGguBE40qqKYyUaoIvEa CoSshYpgsYxlJlYG6yTJyd8haryy8iZhhb8fK7sfIwxoy8RGDGJYgyroZGqBqGw4rU6t7xBg irzEJdK8bBKc6zqEYNC9ZnK90lynQu0Y6BpVoMgMxaAOqhK0Kv6uqQLBzHa5cnKQ7oTDSzUp BJQ8xeRWRnLnakSUxTjE6LRYS2sbrNZSi9S9knEh5OQFAJAOiy4PDIx4BogO8YKfiyS7xlJk A86USd5Tctst4x8uKQMlsuirC+rBCoJrRhrKow0nEfJfEpR16lpSgOyPqgouspkgjJTRKeIL EqwwQ9gtTmLK4zAsCoCIjMElqeg0sphUieiBcYBnMYSfsnUlplZ8gusXqkMvM1grrU0AclST EcCnAuDEbAKnLPRT8rJnyrLMQNQyJA6jcT8rbQSrajMo6sQFE4Y1oNA7jDyNkaSpJXBeiaUf x2k18nisosIOQNT+50DRxmKzBJLlqtSrbMErqtsAiTBWoOwMxJwOc28vcg6QKDBTZdo0ozay RqpRowy7aucoynbEyuisKua1xaKQ5hK5E6hvbLCis207EvbnlDbPx3orwsFC41oNLFSuajM3 Cbkxq3TGLIxgEqJUxkUqhUcjgFAFc1rK1BCGg7cqy3bltFpb7lpWoFkZEwCjx5qcEaVJCoYw DIa6LGZYpo1GLGM1o7wFay9KhqC+1FK/ArRGTIi6UupWVIQGKTRDp7gIxMDhSF7XJ8KFiNCG QgZLRCaN5CETyHbVrggKY7RXQ/I+hxaICIQoyIoG6w41wjwvA7o+gtAvSIAuotY+iLJVaJ7m VM8d7hcMMRLXFN6NQi44JgFOh9R2jlYrQIsqwNANJaJ5RYpmdMQsdDQtot7/JWDOQusxBzB3 I6xuhWJLAuwNBW6YCygO6yMupWtMCfSf5DiaFHgrw+qi5bZiS7pKTK0cAOy8CyRJ6ItWBhjP pUpKZqR5IN4OYNIPAtbFxSlYVXhYYNgNBqotzFh36xAthdLOQv8kRTheyoRJhENXZeM362Jg yYZnYOKWRDgyqhdYFEcBFWBd48x5h3FfIwzRB+wn5HkT5fx/h8kVDjMIABUDIgINCmVuZHN0 cmVhbQ0KZW5kb2JqDQozIDAgb2JqDQo8PA0KL1Byb2NTZXQgWy9QREYgL1RleHQgXQ0KL0Zv bnQgPDwNCi9GNCA0IDAgUg0KL0Y1IDUgMCBSDQovRjYgNiAwIFINCi9GNyA3IDAgUg0KL0Y4 IDggMCBSDQovRjkgOSAwIFINCi9GMTAgMTAgMCBSDQovRjExIDExIDAgUg0KPj4NCi9FeHRH U3RhdGUgPDwNCi9HUzEgMTIgMCBSDQo+Pg0KPj4NCmVuZG9iag0KMTQgMCBvYmoNCjw8DQov VHlwZSAvWE9iamVjdA0KL1N1YnR5cGUgL0ltYWdlDQovTmFtZSAvSW0xDQovV2lkdGggMTQ2 DQovSGVpZ2h0IDE0Ng0KL0JpdHNQZXJDb21wb25lbnQgOA0KL0NvbG9yU3BhY2UgMTUgMCBS DQovTGVuZ3RoIDE2NTMNCi9GaWx0ZXIgL0xaV0RlY29kZQ0KPj4NCnN0cmVhbQ0KgAAAIAgU EgcGhEFhUHg8LhMMgkOiUQh8ViUTi0NikbiMcjEZkEhj0fikki0mi8ekcqhMoksslMilswjU yhUumc2msonE3mk5ntBn8+nUdotHns7odJo08odKm1MpFPptLqlTrFCrMwqVdq9asFWrchr1 jp1Rr9ps0rtdktVnsNotsxuNwsV2uV1rl3vl5vsfst6t1+wl4w1swWAt97ueIv+OwuMxMvxs nxeDyeWytEzN0x+azuU0NVyOYz+e0uKzdQw+m1Oi0+Q1uo2eyyW31+g2NA3e03Gq0ec3us3/ F13A4e83PC5ew5uk2u659H4nH42+63Z5Ha23c6Xb6PY8Hd8fe8XO8Po6/q83s8vn7/r+Pz9/ k+3K9P4+XM/P8/bqvq+j7v89r9QK6joP/Az4QY90BwBB8FwjBEKMDBUCQDBsEwPCEBQlD0NQ xB0QRHEMLOnDsRRJD8TMu/sUxhFkSxnDcMxpFUcRvGMcxrCcdx3E8Xx7GUiR5I0gwvIEXSTI cjR/JsbyRDkoSpJ0qyU1ciyw4MnyzK0KuTL8pRDLsxx1K80S9MslxXMU2TJNMzS1OM3zPMEv TlOE1TpPE6zbLcwzXFE+ODPM7S5Qkw0NOc9zvQs/T1RFHUVSFD0DRLp0XN1B0nTNK0ZSVNUB TlNVFTEbVBT9OyFRtTVbVVR1ZUtYVPH1awPKQBMQASZACAaaAIgaYV5TdHraAoDNAA4EJMAw EgUkQFgYlAGgdYtKLaB4IAiugJAmCiYAqCwLpMDAMpgBwEg1QVjMSDYC1+3gBA4DqyA8D4QJ gEIRJEEYSWtVcLzMC4LAq5QAhKEzFBOFFyMBfaTBSFWAVpV6QA2FYTv5b1wM0FgWhcxQXhEA iQhSEgYVdUKYBiAoTuqGQZtAFgUBotgXhrft1YrlaRBcGwWQ2AQbhwzwcg+GLQB0HeIh4DWL Vkn4egsCSQh8H4gOcFgbZC2AghrkqPiEEgh57qKbCID9kpYH4ivwAwPiI52lrIIwEiHS+oJo I4VhYlgBiRoriByCwevwJIlMUIQEiXUm8qYGIPhykIBB+Gbq4/cjiCYJWwsoFO77P0ShgUFG gpYJonRqE4CiO6omCe0AhB5vEp70qIjhsCu/8CkQIhWDcaigJ4AtgKIEil22zKsC4E8mkgf8 EkAKgKIiRCgKbnZPstbdugvLs0GgqJkKorJgAYPiEkwriw/APCz2q6C0LaTCELiaCtwyYBe/ QZg8YgDxMgBgGJoAYAZKIAn+A8AkLpoAjgWgISAAYVQvEiAMBADZMArhTWCgmAL3XlkIcW40 2ACgErJMAEgLizQCsOJUF8MC7FsGJA8CQKRzgFAFg+ScAQYQxLDAsGMkwZAyq3VQwEgwZgUB nPwBcD4ESVgCDRCswAFYMEwDSGpXjPHHkseOGs/wZwEv0LoGENjCwWuGJIGQNTKoukhC2Chf KGwFAWh2ZwAQbQ3FsAkG8KxJg4Bxi444kQZgPxMJCHIFEEThABDCG40AFQ3g9JhIFksb3Rkg A8Dx5JJAzgoDMfgNoWjPA+BtEIwAcA5whiOjtmgNCTQ5foawAYdA2HOByHUOxigtBzWIkx7x KolBdJgCAEju0Nh3Dw28FoMS2B5DmsJ5UmCfgVB5IglQUgUBRRqHMOB/gAgtD0aAPAd5MytT SCwD4ciTA0BQwYj4Ag5haOqCcKk4zYBsDpAedEwSyTDJgFIFUsyQB0m+SEE7wDnBaDbNOQhQ lnLQJJNoKJLAAhxDSSIAgbw9n4DcGifsrDGBbD4TIEEziQgED62skAEVmH+DFSGalD5gRupp TemU/lIyDnPTWmdPU/xGQnTZdtP2BU8hnUZXFSFPU6qHUw/tRKk04qPU5NtUqm0iqXVZFtXE o1QqrVqI9WKo1gq3WKp9Xki1krDUqsdZq31qSPXCtNaKr10rvXJWNPk+16SrWys9bq62CrzX arthqv1+sUrOxdhKd1UodUCnNkoQWOUtZCydfLEVCqDY2vtm652espZ20EMrI2Ws5Y+0dqrN WoiRZm09mLL2gsBXG0tf68WHtdXu2NZbRWttkqmuVtbB3Bt1caxNt7f1Zt3bi5dsLV2mujam 2dwLp2vsrci4V17pXZtpbm5Nzbn1tu1aG5V51VXEsLeK9Fn72XvvdeW3l0LyXcude2+12Lt2 uvVce/N+Kp3/vhUW+V98B3WwRaS8CtyAgA0KZW5kc3RyZWFtDQplbmRvYmoNCjE3IDAgb2Jq DQo8PA0KL0xlbmd0aCA0MDA3DQovRmlsdGVyIC9MWldEZWNvZGUNCj4+DQpzdHJlYW0NCoAM RBAoEcjODQUQiwIBeRynAjOcxARSxCBiMxALYuIBsMRkIBuOY+cjLCDNCCEVIQLyMNYGICpJ wVHhcMBsIBhOIGMprN4uMxcNxxHBqNxcMptMDbCJzTRBBoQLRhNRiOZgY4QWxQNRiKRaORQN K8MbIMxQVRTHhQZDObK8N7XXhkKDjXhmNrgcBTYDQZDseDqaDtdhuNhQcrSKDThLAdTkd7GM LXkBaNRRbhbcMQMbpdrxcRbcziZ89cLbY7ngTNXstlMsaBTc9ILRmN7mZLldDUb7eKNhtBRg y6VCVKyMNJfMYtUxhH6cMeZH5/QaGNhmOOpHypSwVUpqMIwVKwCq1aI1ktxkraZLroRtczhf b/gcH7rmcsX7sljjuZDuNg5PaGT3riyQ4t2wS5QIMjAwUwzAjI3jQhqHDOhkyw8MSvQZQqMq 5LgNA6vrAbbhTAzZxIFAzPZBS5w80MQQUyS9NCyY1jQOD/DZFY3jePgUuG4oFJyjQXKqGKbi oIishRHI4jYOY8De/w0NmGgbMkzDOPbK70RNCzLR+FoaBqyz4vYNkDjTKSvSuuY9BSGazNwG bJR+HAaBQroWhwGS4CvG82usFC2tUO8q0E9EDje38yLg1cajkOr6DmuSwQCtsD0Ezg7sRMaO rjIKECoFUmDUzC4Dy2MKthPL2uu1LHx1AK7T7ArdUZWr1U9OrfPq2rLDix9dRU3NaQuFD+zT Wq5jvQLaBxA04s4PENw7D7fNyOrCM1L78tqsD8rnKUJNrCr+VmONfhwzjcNoG64W3L1ezE2q 4P6NzYzy365uE4lR1K8gURfAdso1ZNVhROAZ32NEuBqsw2Du+syLmt0DMwwz/wjNsyrW0eOr MyE82fMjJUOOo4TTjkx49SrQwqzbg4lAA4z3aMKiJjrDUKNAzUPK2IY/BGOxmsa4hmzkxTJP NJY7PMc2mFEf1FIaMhjIwcsKmEl4FYTKBngt5N9ZVXw4y+jjiNNJRy/9aNphlb4JbrJDxsGw 2TZ85NkxNUBRsefbds2Y2/vF0cEu24sQyXC2bOIUb1wzcBlPN68oFEMsq4NENps+wMOuwZLB SDUr7Q8gX/q0iyPJOuq1jOETzigYTy1bLUlSi5Pu0c0jVNoYP3WXENoHKwNxLcET2G0rrOu1 fZeGS58CNlVdE30JMNH4cs4F82qqFFGMhqqWKGgTlAV6IXYgHCrJzJSmKv+AqDuhAUBIFIqD U4zkfMmWsAwYg+1rhUTmO0fiApj5pH8nGfKTAmRzoBtWPE/ULhzQav4f0Aolj/IHFMBc+xPp On3ndgKeE8ZWgzsOMeo08DeTfgza038thrDLosaqe4FwNHttXaykiCJWkznzQSbR2joHGF2B ghVdydTLOHZrEhPJ6VcQviTAmKBoImAoegpdL4dg7BsDKrmIiFQzO4MFFsw7vFNREMsz1n7n E6xRUWGhPYNDrgoUAw51CQnyHJJkqR+R437QYf3H6DwOQcFDfc107zwDkQTgQeyBUGY+v9Is C4HLDCBSLkDBSC0hINHHkMkOD6AyMSchId+EyTEGQvcMGhKbQHExRi7LMxQKWmo9N6YhXoeg 7A9j3AyUZ0H1SIKGaEnpSYRvukE/eBcoSrSWlISJdkImugoCBKCSsHSZk1gDNaTyF5tBGmjN wqYNyPE3lQVMGRG5IAofVOOBr52sQ6k3BE6KSZBBugqwwH044OPnI0dhiDoiMk8gASKCMjZl QnYUGsryrEGvjCNPOB8H5EQQmXAcFC+ZnwblGVOEFGpGQlgO69X5XGPl2eY34urSVkhoDUiE uzQjFp5DwHFn8TzaA1Put6YMoaLHLOoDQ5E6yatho4CSYFH5RTSawhwGNR6FwFO1Q4Ji34dQ upYWA0jFivIPMS9Nt4M6VH4q6394VPKzGcZlVosDI3IQvq2HVOjSqWGGcy7JRENwYg1g+e8j Dq3tutg88B81DlOuhjabBCs/Qbw0Lqa+oM23zg0JrCCcEEpm0ApDJiRNm6GSrYEGxX7cQ5n0 RC9VVhuTZthQqloztFKhgKBs+oHANpFT4o5BWcVTqAkyKnPazYKHu1OtqVMjsSbizOkpU+c1 oKSQEO/Yl+skp5TDkxJqzczJwwXuBZ9Pp1rRVWpOipFjnS4MEMNK4zi2zOSwSpa9Pxa7Tlmb Wj2XhnE4GWV+CiYFtJRpjhySGg4Lk6kdt5O+314LnzlfPOc2xLpUTYuzVAmoNMDYVuccY6F4 gbx2uLBU8E48IXCkwDmqkI7R3nDuHVDKrjcmrooR6UZPLiNYOgDgG+C5BW+Bnhe6MmQaECO9 HadsEZBzPCKSpqxTgpBHfgEonQaicE9BAHcgZOQmggC2F0nIZCLAgDSCAhDYSgHXBADRdluC Bv/ORkckZJSEsBJScbE9RDmk6JzMTPeaMEFDw01hrRLjtv1wdMKaVw2tYjPAWKp2NtFlBcoT 4oL25HzXt9pDB9nwbg1TJDzHePYRlbyFhF9R4Luk1Qvb3R8/7w1QawdbDV5ZVUcBWDQFkoG4 VJBqVaZCcmIT4O/I+hyy3O38LSZyiFsQUmGNW9aiGyVimWNwXAwZfLK0VmGUC4lhAZHha7d6 BFHtO6TT7AapCfrSFaCAZBDh+zYrwcxvPGW8Vi41OlNwoD65opGObqTcertw6nxRkTI1w2wv mmvh0BWTczlVOpmtK6Rny5wIzcPOZKM7ZOJZnkmZ0c+Zb1YCBpIOeJx2tudbQx3NTXIs/DrH uFZ+6cw9vvVBtkrkDOpqDJWm+DQeMLADUXAclawufcEi2OIdyoxbO8FYNddzP16eDX8PHi6Z uo8CfSTA9bTokbCinIOUA2xUTdIsAbDSpeBqSxVYW/vOpypAGJtgUAr23bUnmPMRTro4HvE1 nwa26gFMso+IaOAsmzpHnD/igzp54DQ5p2uB4M6tOPD+GHKJl4zpd5eSkPcw0nHadFxfAaRz 7dHwb7Limr9FdG5du9S9IkLpNeGrenXmneGwxfr9UPbz336d/p7n+ZuinjvvPzwAw8Dhh2mG 8lZB1jdHmWq05btuMnQu5nU5Gm238agVgLdW51FpjHz9ZJ6K+obWe+pfiYe9Tqj1fhZrmw99 ij2NxfaSh6VKT27Ciqo76q5+r3joKaY6C6aUhAYob4YH75qbhrB9h6K7qjj6S565KHLRrCqp rpKYaqIrjCi3DT8AKxDXAGzqaDLiB9BygFw97kwHKc5/g97LDOQp7OgIRgJ6KzEFyGAqapTj Rq7X6TAm4kjjghAOIhB6I7CAzcLNInxMoo46RiCTEGwhAK4EANzMYggp4g4BQ2q25PDkxaKH I6riYjRMkFrjYBQMxgIKMLQl4qEFcJY5A664YoYoAoRq8NEF0IsNZgMJEOTDIEEJrBEJ6wEC av4oAq0PsK8LMQMJiswo58sKBCjA5DkKsP0JJDkQQ64oxAYgcSiY8T0TENghENwBUQCqawC3 LNQp0M8Q8QZpKHIm8OsMgEAMY7gF4JINogQIgN8UwlDjwIyqaUa24pIp0Ywm8JUQR0Q7Dz7Q 7J4nUOKArQyhw853QG45pPT5hqqYiHQlw84oJsLgR+sa6Z8HxJAobcKjAsjJQ6DzAlyaUQ6C DHQgUebkwoQoIGAgTBIoLEUaDchhDqjuqD5hgjCqcFpsLyh+ourJjJzcKesWgGAoy0MVUfzz sPMPsUsLw8AoMWkMbNjK8PMV8NMUkHMWTnZpIqan0kQj4FsZMk0JMND8klR9Q5zSgjMmEjUH JLAo7kyYklic6Y8nTOkjZPyzAHMWkoEm8kcogk0HJ9kQsn8lcpkobLEnbiKggj8msoMM0p0T MLxsKTErcpclsnMq8opgJhgoy3Uqcm0kUqwpMrEL0Ga5krkpkl0r8jcL6HMskqkuEs8uUtLM 8fZIwj7cL8Q5EmA70jMwcjjHUw6HS0AjkGic8NUvcwrGxAazDNUxcoUmMx8w0QYkJI0xUyri cuZOsyEQaTMW0z01Ex01U0UhTN014200E2TGxOS26REygpMxgoc1MzMrYrki8204M2M4bkwG 0Y0Ms38z84U1cWskM480DO4BUe7PpI0e0KM1kJbBRcy0A8LlwvSZ4GI7BPD0ojUQ7vjJU8qD IjTvb8Zq7HDX8Bia894qMhAHDNAnaHM+09yUEFQ6628T8HrBEm4Gklyv7lEpMTEHETUHcw5O svogcurtEIEPtCAhMYT/rPyCDPrkTcK27NR6KesCcaChjYxJgJINgNQwA3qVwswGjAJ1Kywm UzhiCU786BDBsB7nM5kADUrxcC67T57+h+rhwlj8DFCRL4L5TEqpzkAqbrLWzrjFzGCyQxLG lG0YbxsJMMkEJaJOVHgFDEkCzDwnybgo1J4nNNkrcyVBUQZC9BB8zlzh1AbDUksHU0Q7DFTz tOVDTjo4zHqaVN7kdQ8tdPcgjFVOzRDzFNT+Q2ydT5RhjzFL7kLko57kSswozHp6LlBK7lqT x2lH7/EJTztMbcVR7+6Dz6rmjR6zyaQ0LQkbLI0CIHDzjFikySArSrIuyqarg2lYI0gzgNhQ ythJCIyW6MatQ/o/6XZL5V46BtBg5X9ag9p25sCKq1IwS1ZhJfhQlYAwy2QurASqFBtW0Cjy y38Dr0bprJS49IrSbX8S7DlWTIddT3LYqji7FVqbr4EBMgNHz6bVBnDFaktflXq9Faa9Z3Rg xpKJpo6F58A3I/xNo3y17uoy9aZdqoKHDcIHMcDHRrTtbp6hxVSnwtYOoNgNDeAuBepXpxdZ hvZhROJOZOJOyLp7puFcinQN4PBTJ3xzquJ5xyIua/IN4xBy5OFail1oZsKuINYwINFGpISq Kv7tChDX4qzUrIsAyYidET7cFVazi79UzoTCa4tIj9SejDL6DUtJSci8QpFhDra6xgQOBXiN oscbLU1c6bgnj+ddbH9WNKS8RaMBLC1f7OFuDhrzD+NJrENHbUtM9S6z9KrHUic+5+oNsAyk S3SwbhTJNuNATJxhlBon0ntQrjEGtQUYLPCYbkVTbkqszkSv5/9kQpVVleb6kDVSrmyULSS6 KdD8hrAkMYjUrc12LSbsznZ1aJMciBDRKoTmN37wyCzVyf1fB86ggGoGFJDtjVTqAG4MkFAq NClI7rC0KEZ15wah5HY2Iubaa2BYpGovzsVLq2omi3LcL8s/lMt5aaFui8jCttl4VTFxrf7U bJVz1f90GADI7hbJVPF09/g6UTcPIskQV10G9QeAaqF2YnVD8n7vbi7lExF3d6dz8DLmd4Fy 72087SwoTn15WFj8btFzTHjo97jFBeEMNfaRy85pwjQ6COzu4G4MrXaG4oAGynzHo2kFp5d6 UgN6kFQgIA0KZW5kc3RyZWFtDQplbmRvYmoNCjE4IDAgb2JqDQo8PA0KL1Byb2NTZXQgWy9Q REYgL1RleHQgL0ltYWdlQyAvSW1hZ2VJXQ0KL0ZvbnQgPDwNCi9GNCA0IDAgUg0KL0Y1IDUg MCBSDQovRjcgNyAwIFINCi9GOCA4IDAgUg0KL0Y5IDkgMCBSDQovRjEwIDEwIDAgUg0KL0Yx MiAxOSAwIFINCi9GMTQgMjAgMCBSDQovRjE1IDIxIDAgUg0KL0YxNiAyMiAwIFINCj4+DQov WE9iamVjdCA8PA0KL0ltMSAxNCAwIFINCj4+DQovRXh0R1N0YXRlIDw8DQovR1MxIDEyIDAg Ug0KPj4NCi9Db2xvclNwYWNlIDw8DQovQ1MzIDE1IDAgUg0KPj4NCj4+DQplbmRvYmoNCjE1 IDAgb2JqDQpbL0luZGV4ZWQgL0RldmljZVJHQiAxMjcgMjMgMCBSXQ0KZW5kb2JqDQoyMyAw IG9iag0KPDwNCi9GaWx0ZXIgL0FTQ0lJODVEZWNvZGUNCi9MZW5ndGggNDk0DQo+Pg0Kc3Ry ZWFtDQpzOFcsdXJyMmlucjs2QmdyVmNcL0JrZDg1b3BfRz9fbydCKEFuS3JYaG9qM2RQRVYy UEZFSGc1bElGRzhEZjlSZg0KcEBlPVhxMFJJOGBQb2dnb15sbTVDPkBWIldNdWtbUCo1KG9s LjRHOkdCXDhOYGxAUT1uUnVUTGlTaWFxV2lEMkQNCk9tRD8hQVMjRyFIQCFFRF8+IV11QjRr bEVtSG5DbkByNigib0NNUWhDTVZcWmdULkJVa2loNmBnIkNYckgsQEc4DQppOEVPVE9IPTlw Q2pnX1tecWRiXHEiVXFsWEgvRidBN1Q2JmZAVGxxcUwhWzxgNUtUclhmXyRabWNXY3JoOy1v JQ0KXlZCLiVtK1UxSUl0KXNOWS0qYkROVFRCY1lIUC1ZSVhcdURdbzdvL1ljdEEjbipmPnVq R1NxU0VjUTJOSjpRK3QNCmUkPzliVHFTL2hAVWNnVVwrOStcXVkobztqNVtrZl45T3JKTU1k OkNKcUNWSF1APj9bWmE2dW9Ma3RRaW5EYEhlDQpKVXJCWlsnWVtITTwzalxcW2Y4KEtTNnFK XG8pRCdbQypEdExQT2FDaE0tYz5Lblk1IkUsYTdSZFkhMSlcQEImVw0KW15PVDJkRWcuYlVT RlRZVTdxVmZ6fj4NCmVuZHN0cmVhbQ0KZW5kb2JqDQoyNCAwIG9iag0KPDwNCi9UeXBlIC9Y T2JqZWN0DQovU3VidHlwZSAvSW1hZ2UNCi9OYW1lIC9JbTINCi9XaWR0aCAxNDYNCi9IZWln aHQgMTQ2DQovQml0c1BlckNvbXBvbmVudCA4DQovQ29sb3JTcGFjZSAyNSAwIFINCi9MZW5n dGggMTU0OQ0KL0ZpbHRlciAvTFpXRGVjb2RlDQo+Pg0Kc3RyZWFtDQqAAAAgCBQSBwaEQWFQ eDwuEwyCQ6JRCHxWJROLQ2KRuIxyMRmQSGPR+KSSLSaLx6RyqEyiSyyUyKWzCNTKFS6Zzaay icTeaTme0Gfz6dR2i0eezuh0mjTyh0qbUykU+m0uqVOsUKszCpV2r1qwVatyGvWOnVGv2mzS u12S1Wew2i2zG43CxXa5XWuXe+Xm+x+y3q3X7CXjDWzBYC33u54i/47C4zEy/GyfF4PJ5bK0 TM3TH5rO5TQ1XI5jP57S4rN1DD6bU6LT5DW6jZ7LJbfX6DY0Dd7TcarR5ze6zf8XXcDh7zc8 Ll7Dm6Ta7rn0ficfjb7rdnkdrbdzpdvo9jwd3x97xc7w+jr+rzezy+fv+v4/P3+T7cr0/j5c z8/z9uq+r6Pu/z2v1ArqOg/8DPhBj3QHAEHwXCMEQowMFQJAMGwTA8IQFCUPQ1DEHRBEcQws 6cOxFEkPxMy7+xTGEWRLGcNwzGkVRxG8YxzGsJx3HcTxfHsZSJHkjSDC8gRdJMhyNH8mxvJE OShKknSrJTVyLLDgyfLMrQq5MvylEMuzHHUrzRL0yyXFcxTZMk0zNLU4zfM8wS9OU4TVOk8T rNstzDNcUT44M8ztLlCTDQ05z3O9Cz9PVEUdRVIUPQNEunRc3UHSdM0rRlJU1QFOU1UVMRtU FP07IVG1NVtVVHVlS1hU8fVrA9XVnV8+13R9e0pX9PWC/tc1VYteVDY1aVXW1mVxZddWTZFL 2dSNoWpY9ZWvUlt21Ydm2zJlqwncNhWlX1z2BdNzWxZVv2fd9UXHP8q3LYk2AExABgIkwCgM mgDgQlABP0BIFX1fiWX9gGBJhgj/ASBYGNABoHAelgIAiCSRAeCYKJgCoLAu4gMAyDWKYtjG NY5j2QZFkgAA2DjPA6DIHrIDwDJMB4PhAkQQhE6oCgyEeaZtnGdJZnmfJJoEAAuEgOOcDoPg wwAShME6YBKBwUJMFIVRqDAVhZqeq6vrOt67r+wpkEgWvwEAXBelYShhnTABjlqQhkGYSpIG gahtuO57ru6yb1j++b8lAbhw/wbAzfi6BMHLFB0HeBJIFIZpMHgMh7yHJNByvL8ykXOJQC4f Bw6oOgdqzRBKH4gLYIIhAOkwhiImACBqIvXdgunZ9qzXb9ylndp+HwjRqI4a4u3gAhMIDQBi IQEJh3YL8AF3BpD5/ouF6fqrp6/spD7aUCQJKRBsGoaPwH4Bs8JQl68wAhiYkwMCaFj7n4Py fobB+z+CRv6JcE59pLGqMJOgBAJ4OTnBQCiFIxQAwmN/I+FMGoVCTQNP5BCCRyoKQWJXBiDR LIFEwCKCsGJ1QqhWPwA8HYVy2BYCYQMlTgQNQshdDCGR/IaQ2M1DiHRIQnBZJECwGoPEahMC Gf4AIOwtGgCsFUkwMQmvfJVEyJxIYoRSipFaLBXAthcJMFQGoMSQglCYAM6oOguxVNgDkJ4E CQhTBcEeNMa42xvjjHMz0do8GKC8F8mALAwQOIwE+KJIQdBhcUcwAYPyyQ8kTIsk0jkayRkm VCSpbgAhiC/EuJpLAAhEBkSIC4Qgxn4CADAxQDwMgdlMDyVEqpWSulgDABpiATkyCLEQj4Fw vs3JYC8Mh+pglsAJGgk0wyYTGmQSCZUzF5KxXEtFdq01uTeW8uibs4pvzknCuqcc6JyzqnOu ydc7p2r3XiuRbs7JtruXXPKfKF17T8nrPCe84KAzmoHPZKa81Nz7XpQhKM/59TpoBQebk76H 0Un9PNNs/V4UKXlRqjtDqL0cnpRhFtJKG0mSLR6kdIqM0go3RCis8aQ0wpnRal9NqP0oSPS6 nNLKS0+pPUClNPKV00pvTKo9BaIzZVutanVKqW06m1RKfFRqe1WqLTirNSKr1aqjUKndUl61 Eq/VistXqf1mrTWioNaq21sqHWKuVE6uVbqVTGu9Na61nr3Wuvtb6/1xrBVOplDKmrgrcqmu FCa81UsWoKwNjLHVgqhX6xtXbI2EsRQKydBrC10svXaztS7N0EtHXi09erQ18tXZa1NSbX2Y tbYC2dgrE1hsHWOudt7IW1slZ8jhAQ0KZW5kc3RyZWFtDQplbmRvYmoNCjI2IDAgb2JqDQo8 PA0KL1R5cGUgL1hPYmplY3QNCi9TdWJ0eXBlIC9JbWFnZQ0KL05hbWUgL0ltMw0KL1dpZHRo IDE0Ng0KL0hlaWdodCAxNDYNCi9CaXRzUGVyQ29tcG9uZW50IDgNCi9Db2xvclNwYWNlIDI3 IDAgUg0KL0xlbmd0aCAxNTQzDQovRmlsdGVyIC9MWldEZWNvZGUNCj4+DQpzdHJlYW0NCoAA ACAIFBIHBoRBYVB4PC4TDIJDolEIfFYlE4tDYpG4jHIxGZBIY9H4pJItJovHpHKoTKJLLJTI pbMI1MoVLpnNprKJxN5pOZ7QZ/Pp1HaLR57O6HSaNPKHSptTKRT6bS6pU6xQqzMKlXavWrBV q3Ia9Y6dUa/abNK7XZLVZ7DaLbMbjcLFdrlda5d75eb7H7LerdfsJeMNbMFgLfe7niL/jsLj MTL8bJ8Xg8nlsrRMzdMfms7lNDVcjmM/ntLis3UMPptTotPkNbqNnsslt9foNjQN3tNxqtHn N7rN/xddwOHvNzwuXsObpNruufR+Jx+Nvut2eR2tt3Ol2+j2PB3fH3vFzvD6Ov6vN7PL5+/6 /j8/f5PtyvT+PlzPz/P26r6vo+7/Pa/UCuo6D/wM+EGPdAcAQfBcIwRCjAwVAkAwbBMDwhAU JQ9DUMQdEERxDCzpw7EUSQ/EzLv7FMYRZEsZw3DMaRVHEbxjHMawnHcdxPF8exlIkeSNIMLy BF0kyHI0fybG8kQ5KEqSdKslNXIssODJ8sytCrky/KUQy7McdSvNEvTLJcVzFNkyTTM0tTjN 8zzBL05ThNU6TxOs2y3MM1xRPjgzzO0uUJMNDTnPc70LP09URR1FUhQ9A0S6dFzdQdJ0zStG UlTVAU5TVRUxG1QU/TshUbU1W1VUdWVLWFTx9WsDykATEAEmQAgGmgCIGmFeP8AVdNBYiWV9 YFhJDZMEgEAoDNAA4EJMAwEgUkQFgYlAGgc/wH2lalrJZbFtJJblvXA4gHggCIJLoCYKAqmA LAuB6TAwDKYAcBINOrd94tFed6pDe98pZfd+3/AANgLX7eAEDgOrIDwPhAmAQhEkQRhJcCQ4 fiLhYnirAYvjKQ43juPx6B4Lgs5QAhKEzFBOFF8sBlaWBSFWQJVl+YuZmeapXm+cpHnaQZ7n 6QA2FYTv5gq2BYFoXMUF4RAIkIUhIGCTafqLWamzWq6ules62j+u6+mAYgKE7qhkGbQBYFAa LYF4a47hqQ7fuMN7nuu77zvaSBHvqSBcGwWQ2AQbhwzwcg+GLQB0HaTBSHgNJFxfGpBx/Ith yfKrpy/M82mQeguCaQh8H4gOcFgbbO3gghrtSPCEEghpN1fWo/1/YuV2fauF2/cot3fepgIg P2mlgfiK/ADA+IjndOwAjASIfm+ek3pep63scx7XuJoI4VhYlgBiR0UEhyC4evwJIlMUIQEi WkX0/WkH2vvIy/F+Z/H6v3fyTIGIHwcrOB+DM6rVWEoJCYEp5JRAUvcJNAmBZHwBQNgeC2CJ GYJwVJrBd5hIQFAocaSwJoTkagnAKEc6oTAnmgCEDx7sKIVEmhbC+GMM4al0hvDkwARwbAWf Y+4kQEgVgbRqFAJ4ATYBRASFIskRokP+iUSSJkTiQxQikbyKkVjFAPATBslQP4AEcAsAUIhI goBTOc12E5KYzRoIzGok0bY3kkjjHN3kMjNA0CoTIKoUiYADBk9AkAVgrn4A8DI1UhJDSIJD IqRhGJHSQkkrZV8n1ZK0lApeUapJSKuVDKKVMpVUKbUfKxC8qFVSyT7LBXEqpZy4lrKuV8vF KS2lbLSXsp5czAQnMKX8vlPTGTbMiZcyj+zOmjLqYcppdzEmvNaasoZszcm2kxVcnppTimpO Ccaf1bzBnLM+bE30pzhnRPCdUzEWz0SjOuac9kiznnnNCWM+J/z6SPQCW9AlYzmmLP6gtCp+ ztmTQ6dk2qH0SojN6idFqK0Im7Rqd0rVBUYpBOSgU/Jj0EobRSfNDKS0GSrSSZtJqV0qpfSy mis6a0QpDPGl0rqcUiplTylFPqe06pgqmkdRZ60/nvTeoM76lVGpzR6ltSKl1PoHUyqNQqnV UnTVqqU8qY1DpPVmmdVqD1bo3WijtXqA1mqnVijlYlLVHrhWquVUK71ArJXquNdqmqRq5WCo lf62WDqtTuqtebE2ErLYqfdgaz1fptW6utKbHVXspZmhNl7I2FrHX2y1jKk2crfZq0Vc692o tBauw1l7EWPsrZ62VeLT1dtbX61NtrAVNICADQplbmRzdHJlYW0NCmVuZG9iag0KMjkgMCBv YmoNCjw8DQovTGVuZ3RoIDI5NTENCi9GaWx0ZXIgL0xaV0RlY29kZQ0KPj4NCnN0cmVhbQ0K gAxEECgRyM4NBRCLAgF5HKcCM5zEBFLEIGIzEAti4gGwxGQgG45j5yMsIM0IGAglMpg0olUv KRHlxKl5qlQuGA2EB3gcpJogLZdlJkiwgNIghAyGY3F0CGw2pgyj4xGwynE6FowFw0kclhIq pNLpscp4uHE6rVcjIxGo5Fw5nUkhBCsAKONJGlaGsfGowtw5gY1GouqWBGdvEFyBRXEBuosE xMHBQzHFuGcfGw1pgwzAuG44tY0wdVxNeM11KOPgeRvF6zGanEfw+f0Ojrsmut3BQyvIuvYg vt/wODwtsw+AxWMx273u/GoxGNmqeC32gFtWGWgxWn1u+zA2w+gtmDGvWqOl3EI1N2i2is3g 0Er2uEEG8440jmwzggMZthAXiSNqPiIN71LmKj/iMGL8IEKiTgUGyrpelMIpy+rmr4G7yPwK j/AU+SWMkrQYBgGoQCoMaEC2FCNBgFLrhkG7OBQGMXC6KglIstIcxNFrPMuG8TiIhEWRqFIq DUlAXBmqjQKUt4YQbIYFRpF0kQStjVwchDiI+lLoug4DCNkHMwBwgTysO7KMQ6l0UTcO8iDv I8kgUjSmBwGYaIxBYXPAwoqSmFA4zohAiwQ5j7uAHAaK2qb3Bu/Css87TTLrJkIt4/LNy9Sj 5tI7a6vst78PKza0M8j4WwquNLKS8sl1KHFTpuG9VVY9AFO43dbT80FTQkrTaVXCVQqTWat1 lWlhOtXFjMnKKzWVYNPWJC1nhnJlF2XatnVcyb3WnC1hVvYtvhmGytKpbdqWHbz0snSLfJ1Y Fx1SjN311S4cBwxF61Rd1zXhJjD3ojymtBXFJtpbCLz84AZQi3+FXJXNd4Jh4at6kSOQlhdK 4Hh16OoG2E49ZmLUvkTgRk2OOwtj+UoRjF6BytyPZerGK4bgqOYdieT09nmHqrfrs5yjOUaG nQbK5PzO5hpVz5WzNOaRmNniFREupfME0TGEEmL0/DMvIpUTw8FA4UKBQY37RgboEjTiVnDl BbXK87YOs9+LWqzRBy0FAyJvE6o1Rs87Pg/AcFu+2UPmfA18skIrOm61bmv9WrnUSxTQnLEK oq2o0dXK6QPBMGRPB8a5c+XWv3iMwJ0GgcqYHL9zbO0RhhNkUgVFYkjYNQ8DqNEX2yGQUBqH oUxvHIFBeIzxdWhFGhmGtspfwcPxP34UC4zga7Z6TAQbB9hKfEyU+4FAgfJ6ctdYnHssB9lB BJ+Ea/lJW6ow/dIj4Xev6Km9VD5bwcn4K0DgzjdoAokBu/onT5yENWPk1ZPRbi1F9OjAxBra X8t5cguAphpC+laJ0v2BLSXSmKdOQlRD0kgwUAVBYl8GAaQlI+7VRoNEztoSI+NvL0l1w0L0 00gUAEqPhT1AR/jbURpea7FFsJsEgl9MHAlEzunwJRSsnV8sT4UJ6SCpOBiekhRBfg9RLcB3 apBiVF2JsQwjOqjajAwh4EelWMoDiLaU1Jokd9EEGMa4nluKkusjRTSRJsSm+x774QZRCjAE Z80BlhK2fXGlKj746P7hodEGEOX7Sci7AOOkl42lagSlF7aggVv6S/JhJbiZXwPlRJWNj6DP GfgVKaEMlZVS8BwDKUct3dk4Qa79FYcA5PIBqCgM6LyqA0eW85HCCZdlJXmDKUr3JIQPjnMK MSfpRnxk4VpGKHHvgsk9LqJ50W4sRmROFKkwUsSzlWWZSL/5TQCBnE6I0CEGFNSi41Igb5DU Db4RhSaewZJSSJPgBUI3sF/h201Tx0CcKSLSbcr7qHoyWnjFR18VKLlvNAaIwYMUNRASpJSb U5Y3zIjkDSgUtG4uWnlH6ByVHCoJmGkoG0CSsJgM4kF9tMqRzbjc7aepsYtyRd6DQHz8I7IP KYYKosyJAu5e+CsHAZAWNsBaDNEcpCMujMyYB7iKw2KErOdkFAeg1hsDMCkqQKA1vIrpXk64 KAyB2eO8+mcoSrFnbPIsGLgZHJue+G5+FQ4DzFPBTad6WICxtlFWqpCs5TUKjpU6BbJaHFpM vRKe7j1EJMsTDsy5ODxWdhYWqFxdWtVCpK66KbLrXFmpWVIrdL4uVMelaQrdUI4xMpxJ+zcv KdwTM8mWn7aqFy0ZK5axgMLQPtqvHSrKSgby+q87yQbwAUByDrNRGpXAUViDLWWw1FVEFKKY QIvJbjykDKq0G2xXoX32LHflsFHy1ltLe5ukJ7DmGuPqXuPJw2wHGMQckxpqiCmSMoZZMhlm TLDQWbZmQCj1mQwyd034M2bS1bCtXELT8Rm6N5g6SZ2IJnUOK9nCpXjlYoI/JNRrbsJX7OuY RkC+sfAgLyhGIp1MiHnWees3WLyzmUQmfPH6e1SNhxXlY/p/0AkYQIgaGCWLwoQWCS9XGMzv Nhpcb5DiHkQGsgOiSqaKkiouRgjJ5SRr5utdqj11oN0gSmRa2wrSmEnHhTLapKr+kTQ0a4l8 prXzC4qTMQIy5o090wnsChObeU7lmT0nxRqfyPvtUJCK+uWoVmXQibTF6kYWMMampk/GKsPK 1Oti9UC31R6vm86Viq1sFK7kmv2NBl4NKdVsvhgWSFeFWZK2HYZamUbGxGdkpgNNc7X2cs3a LF1oqM2ts3Xm0FrrnW1szYi3dxqXXDufd+z9tLYXSU0nW7tsbw3WwNeQNd97gVquXf+0o+mI 35uHdWx2VM9yBnBq7UmQ8QZLcDia92ln1TzkbjOtuKsPm8v2Y7FGhNTZ7b/K3JuQcIZWno6M PuP0gYvy86jfeWZH5ryllrTeP864ew8yijXA8/xGzTLmu+c4jtyArSZA9Kpi0u61jWXE8J5p hdZvLblpNxwPkbWj7agt6sTdlvxWy20IqBWZPriU+N/7TKbsdFnJbVwIYXAzmcEumc7fdC+H L+VstrSCF/TXpZndhFJL8VHZb6QvOo0juqv6pmYCh4TxHjPISYCgGzzb53Hie9d7M/pwPegf JOyc5Qbvqsxdezj9MVU2opESfUxJ+02oBTmfbNoFFmu5dV8J0IJRPhsSmHG6DeKNkT1milFo c4wVGfuFVHoW4AtxDEI0M4DfFJBb755pClOVBpB+NUn4Jy04F+P3FVfdOspNb0/b2CmJBN5s ozPWfggy9TQM8EOYWIGAcrHqYvXJeKarlv2LwIno8GInsK1papJp0icJXE3kqCOwCCEGJIGD rCrH6idPSwKIuvUJUvVJNKomIqlHvggJYrRp4itkmIkp0vTLVpPvan+oGIpH2vgpCwWKBveP 1pxrdKBu0p0JwPHQKEVgWG1pqr0gUkFgYppAUgYJrvPn4oaDDjoOiolNPrmJZJyrLPSFBPcw eJaQfQDwgKRrKIFwbvWwxvXpRiQvZQuqGPbwDpcrNJywfOYgYNnwcnewdp4KBkZHSNCEsn2v ZqSQ5tOo4gXQLoDwyp/wEE6qLMdDLiBwAjPELlqsDLbqRIwpQv3vFrfN8jilGCmjBOsrjQqp aQDRIQzoiLniLCtw9sfrZOZQ+jLv9qdCuNBRZIfqlxGkdo4RWrmpKsztYi4JfnuPJwZL3gcq yRco7knnbJXMirxkywYwQLMqRpQIDLOw4Q6qAwRwei8wYH2wVpKxuJ9jKRKxwRoJeJWxypYR gJamOI4xDx0vbNsRIPhQ2x3oVwzRiQgv0HAwiJHt9QPPKwkwmvVwmQnQoAbQppsqmonwrpJx hQPqqRXRESBm+wtGwQQAWRGR+xYl0uZQtRmQuRxJaH/Q2RARuvYJvn8Q5SVlIwcQwpBP2klQ 8xZGcRbxwyXJ9xBGdEfxCyZQaQvQ6RIQ7SJwex/xhrWGZiQlpL+DBknFGlhxNvrROyNrORQC erfCzjPEGOBDCRTrix5xWRbyAxtxYG2itiLxaPfu1Kbx3LxRdi1xZKIpTRUrkS0ybyNMzlGr uQspOKvp2EiAVgcr4u2DyQNCMimF0HsxsHvgbSoAFCAgDQplbmRzdHJlYW0NCmVuZG9iag0K MzAgMCBvYmoNCjw8DQovUHJvY1NldCBbL1BERiAvVGV4dCAvSW1hZ2VDIC9JbWFnZUldDQov Rm9udCA8PA0KL0Y0IDQgMCBSDQovRjcgNyAwIFINCi9GOCA4IDAgUg0KL0Y5IDkgMCBSDQov RjEwIDEwIDAgUg0KL0YxMiAxOSAwIFINCi9GMTQgMjAgMCBSDQovRjE1IDIxIDAgUg0KL0Yx NiAyMiAwIFINCj4+DQovWE9iamVjdCA8PA0KL0ltMiAyNCAwIFINCi9JbTMgMjYgMCBSDQo+ Pg0KL0V4dEdTdGF0ZSA8PA0KL0dTMSAxMiAwIFINCj4+DQovQ29sb3JTcGFjZSA8PA0KL0NT NCAyNSAwIFINCi9DUzUgMjcgMCBSDQo+Pg0KPj4NCmVuZG9iag0KMjUgMCBvYmoNClsvSW5k ZXhlZCAvRGV2aWNlUkdCIDEyNyAzMSAwIFJdDQplbmRvYmoNCjMxIDAgb2JqDQo8PA0KL0Zp bHRlciAvQVNDSUk4NURlY29kZQ0KL0xlbmd0aCA0MTYNCj4+DQpzdHJlYW0NCnM4Vyx1cnIv dCFYMSxSSW8oKUE+bWRAYSNdW1A/WWZAU1drX1NZTCFrRTFtaFdpRSlRZz1nOlZDQSU4bXF0 cDhADQpKOlBBSl4ySXEuZiUvRVhaRWZDSE11RVZRbmFaLV1BbkwpYGotI1JnV011bFNocXJw NUlxYFYyZ3ReXGlaKkIxRA0KTVdYJ2BQRVY0LnI7Oy51SyJKWSxlQzwhU1phNUlETGgxLi9q USxDI1cyT0JDQl9NL25KVXJDRW9eb010WyMnV3INCm5GNXBbQjRwNWBpZm9bbFZsLUgnXFto Si9wTTRQW24qZmAsamxNYm1RJVhnRF0iNUtLcT4ib0dEUkhtW0xQTFpEDQppU2daMlZWXjFk UUJtaTVWNT0lYnFKOXRhTDUoRm5BN1YkblFcQy1JcSJYVydFLGE3UmRlISklaThFT0dLN2dc RA0KXENvUWdbXk5XP1VubERjZD9wO2dVU0ZUKUVjUlM5UkEtRk1AcTAiY0QvR2AxUmE5PStf bydAbHp6enp6enp6eg0Kenp6enp6enp6enp+Pg0KZW5kc3RyZWFtDQplbmRvYmoNCjI3IDAg b2JqDQpbL0luZGV4ZWQgL0RldmljZVJHQiAxMjcgMzIgMCBSXQ0KZW5kb2JqDQozMiAwIG9i ag0KPDwNCi9GaWx0ZXIgL0FTQ0lJODVEZWNvZGUNCi9MZW5ndGggMzc0DQo+Pg0Kc3RyZWFt DQpzOFcsdXJyMmlucjs2QmdyVmNcL0JrZDg1b3BfRz9fbydCKEFuS3JYaG9qM2RQRVYyUEZF SGc1bEoxMU1lXmAyZw0KRGY+QENwQStPW0hbQytZYFBxS0FvUC8sVVdNdWtbUCo1KG9sLjRH OkdCXDhOYGxAUT1uUnVUTGlTaWFxV2lEMkQNCk9tRD8hQVMjRyFIQCFFRF8+IV11QjRrbEVt SG5DbkByNigib0NNUWhDTVZcWmdULkJVa2loNmBnIkNYckgsQEc4DQppOEVPVE9IPTlwQ2pn X1tecWRiXHEiVXFsWEgvRidBN1Q2JmZAVGxxcUwhWzxgNUtUclhmXyRabWNXY3JoOy1vJQ0K XlZCLiVtK1UxSUl0KXNOWS0qYkROVFRCY1lIUC1ZSVhcdURdbzdvL1ljdEEjbipmPnVqR1Nx U01NZDpHTDUqIj4NClpGSUVTenp6enp6enp6enp6enp6enp6enp6enp6enp6enp6fj4NCmVu ZHN0cmVhbQ0KZW5kb2JqDQozMyAwIG9iag0KPDwNCi9UeXBlIC9YT2JqZWN0DQovU3VidHlw ZSAvSW1hZ2UNCi9OYW1lIC9JbTQNCi9XaWR0aCAxNDYNCi9IZWlnaHQgMTQ2DQovQml0c1Bl ckNvbXBvbmVudCA4DQovQ29sb3JTcGFjZSAzNCAwIFINCi9MZW5ndGggMTU0NA0KL0ZpbHRl ciAvTFpXRGVjb2RlDQo+Pg0Kc3RyZWFtDQqAAAAgCBQSBwaEQWFQeDwuEwyCQ6JRCHxWJROL Q2KRuIxyMRmQSGPR+KSSLSaLx6RyqEyiSyyUyKWzCNTKFS6ZzaayicTeaTme0Gfz6dR2i0ee zuh0mjTyh0qbUykU+m0uqVOsUKszCpV2r1qwVatyGvWOnVGv2mzSu12S1Wew2i2zG43CxXa5 XWuXe+Xm+x+y3q3X7CXjDWzBYC33u54i/47C4zEy/GyfF4PJ5bK0TM3TH5rO5TQ1XI5jP57S 4rN1DD6bU6LT5DW6jZ7LJbfX6DY0Dd7TcarR5ze6zf8XXcDh7zc8Ll7Dm6Ta7rn0ficfjb7r dnkdrbdzpdvo9jwd3x97xc7w+jr+rzezy+fv+v4/P3+T7cr0/j5cz8/z9uq+r6Pu/z2v1Arq Og/8DPhBj3QHAEHwXCMEQowMFQJAMGwTA8IQFCUPQ1DEHRBEcQws6cOxFEkPxMy7+xTGEWRL GcNwzGkVRxG8YxzGsJx3HcTxfHsZSJHkjSDC8gRdJMhyNH8mxvJEOShKknSrJTVyLLDgyfLM rQq5MvylEMuzHHUrzRL0yyXFcxTZMk0zNLU4zfM8wS9OU4TVOk8TrNstzDNcUT44M8ztLlCT DQ05z3O9Cz9PVEUdRVIUPQNEunRc3UHSdM0rRlJU1QFOU1UVMRtUFP07IVG1NVtVVHVlS1hU 8fVrA9XVnV8+13R9e0pX9PWC/tc1VYteVDY1aVXW1mVxZddWTZFL2dSNoWpY9ZKGAQBpEAgC vQAwDs8BAEgUsgFgYlFuW9cD8AbcbYXLc7AXSlAHAeBCTAgAj8AQB4HOcCIJLICYKAYmF8X0 ll+X9gGBYIwGDYQkQKgsC6WAwDINP8DYOA6/APA+xQQAoEOK4vjON47j+Q5GleS5OkwRAeDa QhGCASOqC4ShM/wTg/ejKBRg+Z5rm+c53nuf6CzWiXUmAUhUC6TBWFkahaFwKuqE4XtAEAYY oj+paolmraxrWua8umwbEkYKhiGWVY4kgZgsGkahqF4AtgGwKBusm4bkkGNbolW7bwkO9b43 m/cAxQTApmySAhjiWBkFwHJEGocOcFAc6gy3I8mlXKpNzHNJJznPdAHS2B2B4eJMHofJgDAH 5AlgfiA/AgiFtyc9h2SWdp23cJN3feiEIYiNACoOARjIeiKkQECMGiYB+HAFOIIIKCP53oel 6iSet7CQ+17kEiCAAkCSzwUgpfTAAyHyTAQF2fJIJQBOrmL8H5Fkfq/d/JIn+IAAUEsJJzgU gufYSMEYDQmEwBGBwJpJgnBPRqEEHIN4GQOMBBGCbN4LQYg0TIJYUD8AmAeDMlYIwov2MADJ 65MApBABGSQKYKgqQrhbC+GJZIaPnI/DeHJMAqgGP8FQCjsi6ANCsYoFoJWQEkCc7wljfgrx LiaaCKEUoqEiiuSgBQWADHVBSByB5QARhZC0WwAYWwuEmC6F4mAPAVBfjRGoukbY3majjHMl kdSfhYeaSEMAKgBmwACA0LRoAZBbAOTALoAiRBTAfD2REipGANfIaKSMkyQyVJsGBHoVAwno auZ4MIVCuSmJMEEMUp5Un4lgbCVsr1hrNWykxaqE5erCWkr6YawJizCWwsqXaz5lqol+n9Ks wViLXWmqSZUx5pzNmBNSYkyZqram/L5aM3puzWnClOZ6m5sS8m5OKds6JpTsm0qmec6pyTun qoKdc0J0pRnfNmfczp4zMoDNufKRaB0Cn+hehNBqCptobRChdBJ7zInNOWcFGJ8UanhNeitA KP0MonQqg6R6R0OpDRSi8xqU0koei2kqsaN0spXRajNNKb02pnTqjs55nT6p3Tmn6t6XUtpR TWkFSKRUxmjSeiVTKoTjqVSqoVS6Xz+qjUaflV56VVp7V6odWafTyo5WGqVYKj1oqfVyk1Yq 1LWqnWarVcK3qWrjWSoNeat1OntXertc6gV+r7XWoleKv2AsLXuwVdrCWDsNY2iNMK2UysPT yuVY7FVlsfVaxFbbJ1NrdXqy9jbA2js7ZGrFn7Q2Ws3VS0VabX1rs7ZS01rLM04tjZK2doDB EBANCmVuZHN0cmVhbQ0KZW5kb2JqDQozNiAwIG9iag0KPDwNCi9MZW5ndGggNDYxNg0KL0Zp bHRlciAvTFpXRGVjb2RlDQo+Pg0Kc3RyZWFtDQqADEQQKBHIzg0FEIsCAXkcpwIznMQEUsQg YjMQC2LiAbDEZCAbjmPnIywgzQghFSEC8jDSBiAqScFDEYC4YR8YCCczSbR8YjUcC4by4bDU bi4ZTeYG2ETmnCCDQgWzUYDCMFQxwgtig2HEUi0ZjIcCg9Gs2GYUjIZCg11+w2O0C21mQ7Gg Ul0qEqVkYcS+YxYZC4cDEaS65C4ajMZjaYESmzCsgqclQ7wgUG4UlQ1Xsc36ZTUcUmXZPHAo UEDM5sFSyPZ6LTbE50Yi4aTeBFTSiguVYY6m933b58XDYcjTGVOhDOf43LCTfasjbKYcIcDi laTLC7nyzgdOmi4c8WdczTbsZjTnkWVZLxzkpEfHkrxmqdTbGHeBzkmiAtl2cjIiwQDSECEO UwLqo487EI+GQaKEvrkBokaSoSFSUPWljpL+maqJw8aeKU5QcwejkGvAG4aqWywau2vjXMk2 gchu8bcMs8z0M0vbWuC17ahvBibBwGi+xq8qrBlFqXR4mbAo8oCMtm2rlyKqilKwrQUBWHK0 ByFAWLuvLORejQbNoGwboEw4bhwGrbtKybItPFsdu8mbYBm2TaNs8jdKsGcWu7DaauI4yMpq G7lRTIoUOdHLoJpF7QOtD1Ft2q1AUi8DxOxIzzvS9cDMEvobBhMobQZB010M2kJpRCyEww6M XxBDydw6EERRIGsZJtFEVNNFlHO5TIaRlGjcxvOafTrKIYR+EDAhhIUiWQq0cNVYcl0PIcUo 1PQZTcyweyTWbZhk4kU045CqqvOMtDPL9HPUhAZBmo6BKA2YayVU77VXCSoQoIVX3re4QXyF wYr6muAI1XbwMYklXIQON6NrBYQQlBy1IGGoaqQnzEvBgKECuEA3QCgioIOBQZhxEaw4PNAX POjkSI0GmP1PkgFDNV4o5Sl6ogVBqahqj6jNnmoZ5uwmdVbntX4romL6PjMTY4n+P6zkTO4k BWTZRqmjI/CUysJjuPyew6xZ5n2LbJmSgx3jzEQgo+obeBWgAVqenMEG2XPbKGcqRaAaaY8W k5olwxqY1YkjalwiDehG+JTHUlTrMtS8HzjGaLjEhxHRXHqenOhyrRTIq2jQYK+tQbpuFCaT AvUORjbqeUQGUZ0X1znpq5QbL7erBByGNwtN2thCM5cl63DzZ+Tg+QVx5GEsHjNeVIq/TMgy w7uejSjhw86MMI4awo/RavXk9cG8Sl1iqCoaB8L+zkVVr+9eGpBLnFs1UOhBv7O3+MEcQeCA AMGlMLKER8Frn23MEKA4xg8DGaQOWfBFf0B16I/OGX0GsGHBQDIzBKDzRAcFHMLBeBp9VVQc c7CkGcGEhQugzDBCEKEKP9OVDiErN4eEmVeedj8C4XqHghENqKBVSMJMZCOJMQoOw9iKUMxE UYSQaiXFWIiBTqsjilDmE0MmIxWQKRc4bV0yopgk/ovsNI1GMMKaAoi/n9N5iLHNjLdUGs2c 7HCCcaWmR0dlIA48Jo5SFYykKC0b5FRoZbHxNrTIWyQgfIOScjGjvljvIGSMX5NxrX2YExkm H9ySOVJwGqZTxSojjKqSjM2aywk05gBT0UPsJXw9Y5TRoAHEME4hX4KA4HPYVMNNCUGtwrJc ouY6jiNIHeJAQwLOQcrUMtNE1TODBFhfRNdXc2jTTcIQvNls2YQsHMG9k+rDSfojBzGdibRF 7MJauuYny/ZQKsZ4wNC5e3NIbVo4OgoMijG0fmR5kD7HHrrBhM91gKAkhsK+WMNQeA6l2LAY oFAN1xl4dutlOqDgZmJIwpxOCNibrBWwrJbRQgbFFWOZY1DzVAkyNmDA2NNTTKNpepCmMzqU p8Usn95qdFBKaNGYIm8z1qrOTmYxJZRzrnjqsR987IwaAxbOuCYtQC9ozpiiisCnAUHaqTVR OpoE0MLqMtZT6BYEmdq6g4kRA0ysxQi1CgCsKxovqy4OwZ5yjs7NqUE6xt3HgopcjqtlS5W1 dp8n1T1SVl0EVuU+gpi0otlKSUimgVLGm7eZS9DRwnAg0Rmcg6xik+WPOhTk76xUZ1oWS82g ZMi5NMTYVYjJgWXJsPJRB9lEwrhro5KsFBaAZJdDWHIs9yyLgoDkCkGIKA0luuqW0td1zlFk Lcs4FAd7rlgJoCijYbwyB3uoDO9Qcg73tDYHIrxYAYJdDJdgFAcQz3jS6GcNlGwzB3vrfeGt +r+BxDUG8NAdruA1K4CkGAKMIXowlfu9GFQ4XtvcHW7l2Q5XbvRfAM19i0g2BQHktKXQ0Bxd fSIx63gYvIMYkUreBsUUdvgGS/xbne3NK/iIry58V4tBRRy7IcQ2YvDMGg3uMk7W2SgwnGx5 CthHwGGjAoaL/gtq6XPBgbyvg3yThert2QyUbK/V3CRXblUbyLhJ8V8A3h8zbdUMkxzzgoDL RYFuZqMhyDwHY3sEQb5mCOGgObsMXApBpf3AWDM83wuvhW++YbygpvhcrNt+cjlABRfvCobw 8UcNql3S92tPpdfEWAthdspLeypjTK+OL43zx1pmnmo8F4N1QtLUeP8wPJ03pHT2YNhXOuhm 26xddeYSvXfTHZtcJBldhiou2dC0ljD1t3JIKcJYv0/tIr+Err3Z11gfcuw8v7WBRu8rmBNd 7tx9sAOwL3bYzemjLG5pSt4CPMDYNGci07czAcbXO1NMpD19pjfGbbWZC0jj7iRYw137hrkc sW4cwJtvLslnN2cIFzDhqhnN1sKXq4lgG/gbOB8F3JeHV5hcVX/uzlvLu7+Hb3wdobMpIaKA pMHdbEGUic62q9ljJIeyv4qz2HPMmgck76zAqfkOqKPPiyDt/IN53EXZDrfLhmbTF8Pv7g3M u4dI5opPeLSIbA7ltzB2cOoZMBcW7riqY+kQ0F0o1g/fZ0KyJ1sGU+wqbGRmKmvWC0hj0rmm WvOdUHiobmKXMX1BxSq+z/VfLjw9WCeq48UZ0sLHyaWMRWphJdBbOK3TxTsxhbzEJTtLXK3S sybUnM6upKtEjLY+v+83wqG/Qk5sGhJplEVcFhVZ6o9nkQUA4rmApCRgZs/N8yxn0fnWv1/9 B6PxHo/lE2Jd6dhMDJi2ypJZr8SH1boSKDVosXtXS0ssvS+3ZryrK7p8uMfAAUK2DM70cQwk u818vCxYue3C1mhqNoxqgg366W1w7muWZcws2cz3AuLG1WxALAq63i5e5i4MoQ02o6LG5w3m y4vcy+POwq58we0OOMLWCQ3O44LGo4LWwQz61e07A44W3rBBBg5WzG1kTC8IsE/e+Q/IWcKE /OtCSG+gpW8k+qR9CeVwxqKQ80+6YYr88+PW+OJBCaKOfslWig+gsc9YWYs2/g/IoY9Mq8MQ V88eU68mOg/2RgOK/U98JsuA8jAG71BeLYv440wrAXByLdAxB81i8GLkfqnmMNAm3+SwwE3o y8LcOI2G7UgjAbCQJY+KJlDEsGKSKoL6hqKCX3CnACBRDunRFK9GhqKOZq82ghC888oCAVFG 9HFgWkVwgwq9DS/YRc9bDaVtF4p4f/F+QccC/vDsXIpi38/+SqXaMsDkxAqTFCIRF2KULUsU q0WkMQYBDrCoT6Uu+IUyOqZesqBs+rG8plF/FmSUJrFsn8+/DBG3CXDHG6OUgVF+emI6/XDW /cqvGPG6YuY4hrGYpOmKty/0UynGrgSKohGrAEdo3PE0uSuWKHCC3YLABu6hCK2A8HFBCVIL H2q0q6MFF/FSspHJFZFcVBJVFPCdFpC7HsYFHxF1H0sLJnH/DRIEpwVnGMPzFiOMYhGWfVGc stDuJZDyJrGlD6XZACK2DYwuXswkDUo2va4KLcTQ5DEFJA6yLcOtI6xQ1mLUKQTad0ytJAT5 BiTnG1J3JOsGq9KgWgnmOGSse++kqORbLkUlHWrRJiIsieM6ueiPKLHqYBHvFzG4n3FqWgZe ZBGFIGp1KIoKBihAIwuelNIZHI92NuTiRuB9GgWZLaMZKlD+omDKDxB8KTAyu+5OyAwrBUDQ PMBuyY13KuLU5UwqxILCxUzrEaLAyMxODqo2Ds0aLk1Uv8K6DUyAvhEtBZI8fW7QzG7WLs7a yALWLizFO4yTOQDkxjCQBaY+oixqyqxrAo4Av6DQ0IDszvK8zM6muy7/BdLFEYvOXszNEY2S ZcwqDkDnOXAY1WDs7kuXLKxODiDM1NQOvs0OKAzMCS6IzNGvLIvgDQ6dE66iwc6sTxOFP/LK 7G3Wx2XtJC4g6mzNCOpGedLlMeYyiec6LFGZL28hNGXZL/HSOq96T5MI+tRkdAfMTNMUX/C/ MdJ4/IcCncd6bwe1DrDVKFGLH0oKtYSjSEUGBzKXIcoETGMUKEKqOO36vyuKSquOSxAIvuLF AOLS19BNAW0fEevgfE2RB0fM3i51CFTW18yXJGylJKqrSTG6gqasd6lNIDJe+lHafeXpUIQY ZmULMi+9JzSRLpF5UcWgKLC3MrSlDZSoVuXOaYfsXOfqY8V+Q6dW/wBoXG9y9bDQtvTLD9Iq K3I0o2DTGuDQ6sue0i2/TrTUBwxULQ0iDkDgDmzXOedghWvU7wDY70LE740gyS8BOTWSxU1W u21mfSIvM1PU1vPbOm52vGx7CM3yxCyEI01GzYvwuymPAYDxTaDtB8gYz82y48hq3UDIMxBM yUv60dP6dg5Uvw4qv4DPBcKs6MvGwkDsDwDKDu7uwKvG3VYBP/XmDJQG7GDmDrWavdYimMyQ DwDewM6lRY35NQT4xGRatS/4KLR6SpFZGGtoRgyotw9xIeqGVOqLInGpKovKvOoQ0EDwzW4t BMvdB0pm0206va2zX/B+2y5u5gKs4IzkyfadXoLlRW64zM69RXWi3ILk6xayvEo9Z8cDBE5z Euy+XOzE3w31T/GITqXPLUV8pVFYN2oRR1UDUsKUQkY/WAcOaYLDDTKaecJ3U9JPSrH6bQQa QcNDS3RzU6qWTYcCsrbtGHRfUEbKMKNpb+Zo8csbGHDy9dDdb2SGmGcPcYY5NAd7VmBQBeos d7YUuw0jay06LS0TE8duvQoUh+6VEoAVIpZ4DtA3EULnKvB7P+LDXOu/OQwfQJOawE7W0pOK wDagMW5lQZAuLW2xauyTbC2+o9B0yTB5dmuUwGyAS6xAwrea0cySwKDZERXteTRI7LOKLG1I 7TRU7YwsyjE+CMRS9aWjNSQ/gCIHS+VUNEPBb9DqXXPTEAsc0OS6RYI0eSvgCuBSPCvU0A0E vtWJdle7BvY0yHO7K8vgxIxUDxQZBu1eze7XRMR+uaxQ7PAW20K87PhWwm6ovswhbddDMwVu IvVEOBWAOHdSofTNZ5gs6ExA5yDVg45PYcLPLI0iu2wlhRfdh1LJQDOASFLMwRWUv3T65/LJ WC3EusyLOEDIK7LJPtThfFjXbFWGDqLrilT5Y9AY2w7ioy7k3AzwLANDLAK8ykCoVe4DTzEw zAXrE3jFkQLHe3Ngy4DI0K1QyNTo1jj6Y1XTkmxUDivkzaXA5UyWDQde6pkrPHhaDjk1Y8wz QHOezRN62+ze7njVkQwVkQ7bOe6m21JIpgTrS+KSMWp9HLZgWIWNZo/zS6SWo7TAkC36OJVi KrTPItfnCEtZQsv4xItZYGzATXWW04uyzwTZIuBaOqwrgtnC7Bm5hQz2yRjwK40G0LPlm3BT NuKtNy1RLKos0wxS44xdjk1RI5ihibk5ifY0LiSHN/jLitN3bbCQ6TEm6ZQXn3ja5mLXN2za dlEIzBASuzonou0jkdfVa9SszOvmDKDfKsuU3fK+xIxFA+ONRDn+0i0aLXY1QYDY6k6e48OM LG7u7y0zdumO3HWnpiK5jOvK4KxYV21HlzAzkFkJLA5qNq3jnoXtlQ7M1cLdOIcQwDWJjTei 7NWtmwTxWkucLW7ocQxVjVTe3BO0vVjm7rqwvhY1oFWIDRig7XoMo8xILXoUwO0PJAuzQo6L A87Na4LkBQD3Q7Vy8HkGSxAsza6K0a7EK6DNpuwdsg7FWZALm477WlYXXVClqLm9qODrqTfs DezRTuu3jjou1c5E6LO82eK7nuzVCK3fi5QPqszA6KzXZIOhZUZaJrW3VgUWC8qQpfZiUOR+ XSPJuFcm+kB9S5t+91PRZaTfFYDBNMqXJAp5GnD8+ANM+EfGJ+qcj+LBCeuJZc+kBu+qICAN CmVuZHN0cmVhbQ0KZW5kb2JqDQozNyAwIG9iag0KPDwNCi9Qcm9jU2V0IFsvUERGIC9UZXh0 IC9JbWFnZUMgL0ltYWdlSV0NCi9Gb250IDw8DQovRjQgNCAwIFINCi9GNSA1IDAgUg0KL0Y3 IDcgMCBSDQovRjggOCAwIFINCi9GOSA5IDAgUg0KL0YxMCAxMCAwIFINCi9GMTIgMTkgMCBS DQovRjE0IDIwIDAgUg0KL0YxNSAyMSAwIFINCi9GMTYgMjIgMCBSDQovRjE3IDM4IDAgUg0K Pj4NCi9YT2JqZWN0IDw8DQovSW00IDMzIDAgUg0KPj4NCi9FeHRHU3RhdGUgPDwNCi9HUzEg MTIgMCBSDQo+Pg0KL0NvbG9yU3BhY2UgPDwNCi9DUzYgMzQgMCBSDQo+Pg0KPj4NCmVuZG9i ag0KMzQgMCBvYmoNClsvSW5kZXhlZCAvRGV2aWNlUkdCIDEyNyAzOSAwIFJdDQplbmRvYmoN CjM5IDAgb2JqDQo8PA0KL0ZpbHRlciAvQVNDSUk4NURlY29kZQ0KL0xlbmd0aCA0MTINCj4+ DQpzdHJlYW0NCnM4Vyx1cnIuZTRNWVspRF5WQFAlYDVKUk9WcV10XHAlQSE+T0hCRz5yTEJD SmtORCNbSnFEaDdoLlVKOEkhZz1DDQpYSzdKRE82bDYiQW5HWi9nPWdDXEQ9ZEFqcXRwOD9J dCw4TF8iZF4iQzIuTThmQFIxLlkpU0YjbWRCTiprMnRATQ0KZyYxZEdfU1gwKkNNVl9cZ29t b2JtSHM7dWhxcidaQjc+O1lddE0sUnBcL0I5Qm9KIjBBN1Q0ZUNpJmI5b18vIlANCmYlL0VW WWQhVGJuKVdRak1pM0wpQVMlcENYNU1wb28oKUAlSjpQO0ZdWCJpS00yQClabmFVJ3RAWmNl OFdpRSk1DQpeOm5OKERyXW08UCoyIS1XTiEvLVonMUI4XT1ZXSllQzpoMlpcWEVuVzJRWUdK VXQyOFsuKlNTaW84c15QYSZfaA0KXGBNcjdRJ0lWZktTNnFKXG8pRCdlJ2xkUltDKGRGTFou NE5oVlIsY3FZSkBXYW9EREF6enp6enp6enp6enp6eg0Kenp6enp6en4+DQplbmRzdHJlYW0N CmVuZG9iag0KNDEgMCBvYmoNCjw8DQovTGVuZ3RoIDU3MzMNCi9GaWx0ZXIgL0xaV0RlY29k ZQ0KPj4NCnN0cmVhbQ0KgAxEECgRyM4NBRCLAgF5HKcCM5zEBFLEIGIzEAti4gGwxGQgG45j 5yMsIM0IIRUhAvI0egYgKknBQxGAuGEfGAgnM0m0fi4zFw3HEcGw1FwyGg1mBthE5pwgg1Nm BjqRUO8IFBcGAwGopKhqlctG8vmMIG89nVps83gYzHIuGNDG0duFsKlMBVZrYzr1gBUsscCs oKmo4HAwjE5KhErA0vsIIsqwlpnJSI9SJVpNU6mw2EB3gc5JogLZdnJkiwgNIgi1uuEfotvH OenkfFs1GkjksJFUoyVrnFqtAx3NHGkcGtAoWCvAortfsNDwUynlsp/Vnw1mo12A1s4xHNKu 9NmwzwVUvNaGY0H2Pv5GwMwmXAykg4Y2GVH2F0mnMqr0BQxzoAUyKLPwuDPNiFzZhAGi0NuF zcqg3YhN6hLfrQp76BjA4ZO65QcP8vLnr8ljpPkiyaustLsIGGyzhmuTvLg8Klqw9UBRKlqf RQwgXBsGAaKGwrEOOxcbq2Gz3RMsiZO2G4aByjMiPWmDGLy9sBpY47pvIuYaLGxUrwgraPio 9AthQOo0DsOYUhaGQcBQNAzDuNg8hSGQcznN4YhQN4+BSHAahQGM3hqHM5CvQQUDXNg0TfGI aBQMw5DiFIZhkFE8T1OdLhkGwUTtSw7UiHFQjXPIUDJPNCU5PdIBaGaQhQMs31BOY0UvWUQh QNI5DeN45UxPw9TzOVIUIM9TBuFA2BSGAUV3GM/DvW9G1jSQUCTQU5DkOo7jqMlLi6KglIQF qjPAG7PI1GkOSsrA7DvcYzjIOoz0NLQjKVLqZvyGDPOvgDaBnECOBis65s88YFTJeEzoRNIa w5PoYo9bYUppaNv3DcYU3Lc73tpHobBcGocBugUxXRFQYvFAAiCuIgohqFYuC4F4thZJd+Sa hCjBpF8w3jh0VTNNFfT7TQ8BTQg4zri1nTfb1yXMsMuR7Frr6OtuD0Qt4ZrsvEyLtpIlTvPN YT7aVTT9WM/DYO9HDrU1NVZXk5DONk1zqNFl15ZtxjUN40BVUteVDxAZ2cONshxSdhz9uu80 ppwUDkOw2ccF83hoGG42tXlCDZxdT2kOXRLdP03ThTXM80MvC1NSfRdfu01Y1OdK2JTe1T4j Xc15TXbWxkGrsndzwYhK808HwvD0i701DJveP1llAUDgFNJjQMg7DxNdDXTDwUCXtlhqQFFj YNOdOWRygZ0R6nrWn7PtzhOfv/DbL8TUnR9Kk33p8UmHVQL2E9uleks11qnVhrRDs7F2asn/ BpDqHJ/D8lQtzUgyEqTygcrsaKmlSr21Oq2Um5sMio1dg0fk5h3QaXPIxVE9x4wLYXN3Di4R wzVAUOIhcpNUrjFngtVCp94EOVVu6Di4CFyhFKuac455F8MHJwzWip9UIeITJ7VsnBULcE1R APWCgOcF4GreXAGxSwZA3wzWa8VugaA7hyUNB55IMV3sMeaChtCr3gJ+asyJJi/j8g5SCcFI 5k2Il5UCvtKS/jCoxMS0UFAQGeonMHHoGAOFElpkWo1nskUek1BuDMosoExoqbMvJzcmWfkz BcjEkUqj/pIBkiRrEsTCnakrItsqRkAL1lgv6PR4QZMraKYpAAe5Ry8BcYY/Eti8yYX3Jo6h NpPJDksqmSE0JTypZY0YmyQSplYijMVrSEYQzUaPMKXANUso6azJs153pqNlIxI1NMHHpKhT w9mNweFsg1VCHKGUeJCo9aCSGd05z0k3l0e+eqTpoy+nzKxpDElKPXfkn6L6uKCqEbq293h5 nfKdjEmtZdCgjTYLMUdlJx5xzMKxPOXckkfpxaJMCVh56OBwWG64FAZw8LCePIQI0pDBlAZQ Dabki6bIjnUYM3E7Zxl6PWz2iqXkg1RSuoU9yskHE3BylKEDzGWzangApNISahq9cpEF4AN1 mzOBaymJdeU/P4rtGZqioY315U0rGv7nYcA0bi1RTVCXkULMGyYkSIaHyNBRI9HVTKLA4UzL 9K5NWxT7QAEAvi+6uyysnMqn05agF5mJNeWMxzuWqs/LOc1lg9hBmfMZBbKLaS3LzaVHVMEf JRp7bU9aUrLA+K1Lm3c64XMXndba0RWAgUTshNllEnbpk3YYgANyOKuWxZOYijM5aN1uaUoR yTwn5KaiG5gOC2UotTiynmDcNg0BqDQ/E7jvn5qsT8G+gj0r2QxqSdG2MnDw1gPJd6iAKA3A 9vHbxhKs7zplwiEyGVsLeOgkVZ/CNmCw2aPJZwGVnjyWhwjaTCqPVZH5BuUhdsejwAwuVKu1 mEbX3DvJCFgUy5Z1tBQHsH9zzBsAfklKmuEbhYKp1ca6as7qpYubdipd5Eo2/R8wa5TSQgAr Uw5852CT33EYAwGyt4Gek0nAbOmklitGIyRNkm+cbVlbZgY1nmHpSzRMPiG4FWkc05z/kDDN 5p+K+W+pFlUP3PXyv1o6FKb1mqXpQ6pOd/IbPxr/QFOSrFo4EcexxaDSqXXEYuUdl+QapFos thPF89l16ux1hrRYVg2BwDYG9e6gFBKEsRJRZ1jqlXEaDLnLlU8i51PIDlDmgsuluxbk/M95 CO1QzXTfWdFiigyuPWsreRMe5QxgpkoLAcao0s5kJoWRA+W6m/IZBDCdt3BqrRbKVNUI7gwj cyiWzpZH4ZTveS+bUeT2BljhgU0ccT7rDnPaxLMTXFBqxRKfDgc8QKxli4lV9wl5DdwKUxcy lVZBcz0+Jgz6IaLRMks5SAQHJj0dpESAT3IFAVzA43M2xSzQag83BuiUIWJTTFFZOT6c85kd xBxHub5YJdMZrrXOXoeQiZ45JRgbFJRtRFIO+UvIcKGhAw/G8hGItboSnFFLyNiBrnjW5XKI JpDKHh0ULloxFcZsbc2SUFoe2kbhlGI8j7zR6flDm9sm2W4nS+aG+93TJ3/lfgUeuCch2ZNZ HXU518LlQZzs/HOweP4r4TjHZuHyW495GrEluRr7zdTqu0uZqF6zovvlZ80MnCLY/JBzQufc 1dB1/nCA+dfAQjz60HQS2IQQkSTopvukHB6UWj5XwunGv6jwi2PVUWNdyXTvn3XOvMN9xoXa 9Oj8Jx4z6POSRdunkUQYbROVU02IKStGGT+dGocJcofoMFYjclmpXtMr9r+nPQAqAm7tSMzE 4DlEgClK0o+CsKEOxJZNarulQMItZLTLyEPF4Jxp9O6gUAitLLLlIjwlKFLHeoBldFWlRI2A 4v9DiIanGFHQVlmlxIdlsoQnMP+i3I4wdFZQgFuFemOweszCWGSJNgcC4OLuQpgwTGZGaIfG bGcGdGeKXLTuuOyP7wTA0mml0lpE6waHPCtlnHFqzqig0D1AbnHKWnkIwI9iMsbNoQLJGGko 6npFoqQnuwmMst6NssHC8gvM2ids/twO4vbuJQMpTChO5MHvbNFkcD2iNIaLxKXOKvMGhPNM IgwRIEIlZsuAUMKQQP2D1wppWP8AUArg1oFHsFmgzFrlvk1k2lbk9lLAznFnpw+nsHGJ/HsF QntlJgyA5g5nNg1HpHGQMIKFNILl6IWHpG7tTodnCxfI4lIoYRgqindIiweNTk6RqI8IjJZp PDbQ8K1L1Hnk2J/nGoFgUMxQygcxuAyGeHsNQomx5NMGmHtoXqQowm2L/FvMEIKHJnUoVwaA 7HOtUrYmFQwN+JWuRO2ktryGEkGQSKNQTIiojx5AVgcgzR8lCHxrZgUAiG2A3g1Fvm5A1oMu LxvrCpAA0FhI0k5g6xfRinfg8F5wIC4igs4Q7kaIRJFk0g0K8FCA5g3g2AzG5NgIcGxIflWK USaIZodInIXqSk5l5lvwCFMlRQioXE5R/AUIuHfyBJAnhO9IrGlSok5RpSFlSSHLHvIJDCgA aLowOQPSLAjLTo9JcgbuTmimyr0k0nHG/m/wFk9xgIXFQk1nLlKg4l5g6g8RalCFrRzCkN0s 1QKoRq9kYy4SFRqFeE/MBFpIeS6NjpYmFJpQOLvisASS+y/pZmExJpyNcGkoLIMNHE9m8EYl NInFnG+zSFqFVxsA0TVO/jqDcDwPBsIvLRUs/vJM8tFGkyTQ2lFk/FUwAmmk/SGw0niQikYl QwkFmwlGPqXQnCZC3vFxWJyq2k0yUq8xXmaQsmcmdxBLTk4C3pOkYyhnlihzqxXQxmoTioyk 1g7nwzJxBNVOavKIQMUplzoOAvEKrCguTLptwRXMwljlosxSHreAcFQMVQ9zYuSJokoUSgUO Us/ULqzzbtCUUEgEhLpmIGkgWHtmEtTCLllNTiu0QkeigGLpPvGkALxULKLP6xDAUM+vOxFU LiOruKsxH0XKLUYLujzUKD1zZsFp7xDGyu1gVgdUnF0GDDylEShkXi5zCRWwTA1RwqUlkIbJ BzljWqdv3E4JygYCxqpMR0UCQuuvbvOU7JZEgqHKspvLMpwDczBzqs9i8opQMo9JKPBiezYC 8zZP5iZkHAcmhMuTCsIgVgdx8QMiNQoM4CBF3Mt0+sRLcUUHIIXVB1JibEwMmJu1AVGtE0+k AJ00rCLJ2PNVLsI1NTpJ7VGtpQStFpiCNGEjkx5tTgdgywuS6uKl0kIlByh1WUJvHRRva1HL alQT4gUAflUojVyRBPZvEkF1PuDP1Lstn1PPbxUJ6LYkHMUn5LuyKE01Rxak91qGRMYmTrJi MkzO5r0gUMORR0sUjCsVFMSpoFBrzN+UNtq1No9DDEV0BsItGvZUoJspkqDV3WF15N+GDO1u ALnVjJsoXGVQwtFxZGDIUomo6L+teA4oVg0I7y6l+mtPgsgid2fmvCgihlMkHOLkjGyGjxXE lVmn1AmRrnfnRGMQFVzqAnBQUrBtiG8NLxmVzrBiaHgFCFSwuvvveidmuif2iAQGxMZEPOv1 QtFgiFpmXx4ywA7r+qAzfWtGLzjoeFIiLr7NIFZW6zTlpscGp1zyyni28mnTfHdW+FinLyXF I3EIxImybr2wDniHF26m5oV3AHGF7ls3AnKFCTTn63Kk9r5n9xcHxro2EwhXAp/I8CczPSjX EtLne28A6tQFVrBolR3IZoiG2IyXT2oyou9m2FPzMFMScXfNRE/yrnhKDxpw0XkoloszUxBR Oi3qDJPLpzHUKGXggREVfudkfjuRQLLASOcjJINEIjjk4i31BGTF2uhkJvpkLkU2zjQvsAbC gJzE9RIjxDmu2vkkXt+gQE9GTMZiOEfuMvokKOjDJGtvw3/izkJYBigzBPjX20kkvGUOQgUR RWVjyRGVwNxTrKOP9KDXElqogFOg9A2Azm5osHLH8nry2KQlmyv3RNME/FAzNV7mKQKQ8Sio +g4lLHHA1SFwUwYRdKAGnNQtSXXywWoHgv+4GIalZIb4tpXwA3eQG3fxdRjxsQUlY4v3ixdN Q3kE9FNIipBQZNNXGr/3orBk9FJnAHSTiTFT+RrXtLB4eobTlD3uKk9Efgb0+UNEX0KCuVCD 3vPPAD+khuNPSNmM5vWsoiLjbEiO0JQzoi/OdCkmTW3twGFDj1Ouy38PpDePqCZvwW0C0VPi j4FihYOYCtuPkDJGhPzYFmUpZjPZVYIuiZXX95YX+kW5ekf35Zbq7ZcqI2VPOuEt9KsZLP4m A1NzmlMv3pOw9AUHOkBqyCeqz0AQ8zPm5AUnFFbtHljQDYag15C14AFEHRS0VljYQEfJEEJS NsdtFmbs9AUlm2AVCo9GVQO2GksZtGTy81bzq1x4ZrBk5Y8NHqQ05k4JTk/lsofnERGSwz01 qzWC4WWuDZNTpvXtXqJUtgaV6NDNaTqWDwTAtFGVzIUoJtwHQ52Y4aOoq3MndIIg2HZY0tHx gFQE5Se6hzTImFboqyPG227lr463HsB6mE9ljHSYbRzEOJZsUjj3b4klkgUYmk7SrT+FCarl nZ4RdFqqh43n/ozlHotYuX5ol45T+ZBlCA928HLyto2HKE9apzUHCrEbAa5lGxZE9WsE/Azx exdFmg8A4nHAzE2A7F7oDqeQWg4SlykZ0k4wVI8AqELE04Zm5g5O8Yo3s6n4glbjDQWg6xcI Gxdomxl7WFm4eHgFNHHQ4A73XlcFFnIRuk9HGbIA2A6E3otndSa7L7W49k5w4E3k9nHRdFox h4Bncloyay5TJxYo0lQ7bo6E8lmn2HGA0QY3a5zYkKOKPW63NlRapYyXCSE3rQXFZXEXDW/3 CYfnADzHSNTg73OooRbk2XM7Zod3AO93F73o3XAbF6nY+7977TkXQncm3g6A8G+R37z6vqOX PnVDDoatwH1lMRnNHQeTR3rlZlQxav/bIY53nL+zwUgpNj8lQEa6EsJaFrUtEtyR+XzpjoRS Jt7LLA30uqdIQvi5+i9wTbvtKSzA7G/thpEIYIstStGNPRt4uzxkoXcm2k/Q4ITajoM8t1mc U8pm2wyls8tlfm66tGTDiMMcNr1RhnPk9ogSza4cwSzA4HxkXk/RYL+g0c17jokjESwwCXEG 67sNfE7QUoHlpA7RYwUnWnP7vZ2E5lrcQljcQlIHuoWmAzjnPGMQDlq464qQ0zRXrdG3kdKb U8JbQbRTj798Qln7qHFn2lK7X8B7WHMcC2vWZW7HicFWtIXm98HlI8Qm8GnlVb8WT3BA7MKR OLYslU009Ct5FtX8a3xga5ICWZJCZGALFMmOHGDVuUj6A3z5t5O9xvSC9ZpDIDJNwVUDpJTk F5hEF5V4FZWkK5XuKWzOk3/C2E483d5ijMcZoUWWSUYvY1FqdO4kovb6TUL6YMH0tLLRL33C EDzENrOEfih5hvoZi995j4LZZPfmEptCBzBCbEamG5MUK+GM/6DtbCsUWsfcjWSpLI358rQT beIRR+JqIqtvZZqKvUakqd2M5kld0GTjD98DD9yJQ8imtJOMltE0xAeUymHUzjEdqWDYVTDc raqrAG7o1gzKjl7+xb228L+XTNIHGZ5S7Eei3x0zntY6FkQy88dsece+bJ1lTt28g1eCsA36 Wu3KdFT0Jck4Vr1c/6dHLbPFUk/A5Sm40i5wg0GpYijVPckdyiseF6XLNjiTbwqLLNyv1+/K oUSmXfBC88ie7j8US1lGkgzg0bY7cFpbGowGq6mE5bq/LcVnX3mU5ICG24wxuQ0TNJDvBZzR 2E06kHANwHa62zBH/5BbU696MRo8T9VL7/ddW/oKoKi04ziXr6jdWoeA7belQgmFd/zHqm99 GAWzzwa/MJDPgpTtlwPe7uF/Rqf+9gziACkqGoGgoXkYcCAYiAqGaCjEXDgbjQZiAYQwiQWL lQxwUUG+BQSDEYaQqGQ4FDAXDUcjKExuMgoWyoYDMbwyOgotig4HgUi0ZjkUHafjMZCg70UY DcUGWfjYYig0UobCgzU8UGui0I5UUaUOi0ep0CqnEUl0qEqCi0ZDcXDcbDAaiAWxAYjkYjaM RoXDAYQuOR47V2BwWDjmTQ2HjMXDYbDSb3UXXcZRUqTGNzkUDOQ4YjDGL4CUSobjcZXOYR4u DC252RwnRQ++jWgxa9goUHrXYfE6MXDkYDQZbbL2uaDCE4HcCvV3IWbuEb3ZDgZcHiZicR4f 9DEbEFRDgjfEancDXobCT3waDmb+SaDPAZrVjMaD3oSXvDEZW8bjiSvIma+pq7Lloo57CpkG Iasa+jIv2HIcOS7DlBQHDXCKKiCoCA0KZW5kc3RyZWFtDQplbmRvYmoNCjQyIDAgb2JqDQo8 PA0KL1Byb2NTZXQgWy9QREYgL1RleHQgXQ0KL0ZvbnQgPDwNCi9GNCA0IDAgUg0KL0Y1IDUg MCBSDQovRjYgNiAwIFINCi9GNyA3IDAgUg0KL0Y4IDggMCBSDQovRjkgOSAwIFINCi9GMTAg MTAgMCBSDQovRjEyIDE5IDAgUg0KL0YxNyAzOCAwIFINCj4+DQovRXh0R1N0YXRlIDw8DQov R1MxIDEyIDAgUg0KPj4NCj4+DQplbmRvYmoNCjQ0IDAgb2JqDQo8PA0KL0xlbmd0aCA0NTMz DQovRmlsdGVyIC9MWldEZWNvZGUNCj4+DQpzdHJlYW0NCoAMRBAoEcjODQUQiwIBeRynAjOc xARSxCBiMxALYuIBsMRkIBuOY+cjLCDNCCEVIQLyMNIGICpJwUMRgLhhHxgIJzNJtH4uMxcN xxHBqNxcMpvMDbCJzTRBBoQLZqMBhGCoY4QWxQVzWbDsKRaMxmORQbLANxQcRSMRQaDoeDIb 7PZbBbDuKRlaD5YBmNLYZjJarCNBsKDLYLzbb4NBoKDxaxQdjQZ8XhbuMxQcsXaLNGhQcDni LIcslfBqMBQZMXfzkcTsdzqZDZahkNRRd8HjdaKS6VCVKyNQ4FMYQMqAOJFOJgRKZMKwCpyV DvCBRcioauBNJfxOgLhrjBzOuX1C5VBmKevwOFMJkMZsMBt4ipzAUKDd6OwCpZLuHMpq74aP C6L6Kk96rOerQYrAGgcNQJIUhwtg6jkOC+BmHAUBWsDCh5BYUBYzbUhS1A4sowbUDuNY0N43 yotqFwchwoaNBcGIchi+L5qyFAzjQ8oZhusCyLUtg2DuNjdrCGUMM01A0wsGTbr4FEVSgFA9 DYM8Uws3URhRJ6whnKLVRIvklrozzaNsy62jqPIUhrMcvDeF8WN+/Tgu29r3BkGwZhqjIZJs HAaUBHToOc6g9Pw4Dwv6pkYBgGjlUPAqqBvRIFK0FbyhiGsQBbJa2CBOz1T04oXQixj5Po6L nyvRk8Uc9lIBzSVKQIqYYOHBEMvKGAahStFQBkGS2BcxAYsbDTezulj1u4oFlBzTEBuaq7qO s/KWO1R7uhrC8BPG+tfvO9M8Wg/0YByl1rPq+9zpZWbuP+09xUOmscUzD9g3jPNvPdSSQ1ZS Cb0NV8fhoHtYv3U6ZprICN3dSyq32FbGRBc8lO9cNApsG6hXHXWDx2KzNQwuS0TejyyrUsg1 TMtknsLk4UDrUt0YcGqehze9W33Rd/XndVbUnggFYpXkd04qlg2HnGG4BVMG1wqNdQPHbAxM sTGq/KI8DK18jDxI445hMLbM6tjBTFDENBawoaBmFk6zCwo+DYNC5BatAzjthdm0bh1BTigV Q4+HFDZ/bD63NbYjW7Wju5A2ujhQ8q84Zf/JYCGmB3dWGhYcmui6rpFdaVTVfV3YLCxBwM8c i7j3Bujz43dVzyPNzWh1rdnLQ1f100hcPTOrzXZXVcDkctcvNeG7ue3bcb7d50bvPBo98htH NXhZfvH+hgNwZ94l94SH/rakkUI+1ffwVNbyawDauRJ7klyKqGgfc0/nOAuYiRhibV1MlaDk zcFqDQbpRYuDUMjr0WqyYcRpQQN0GKAcODGCxLl8L7ccdknbkiauUUA6BzCQXhMOPcjhkBOg XPcWo9RoLj3evRVu0dpMBXVqeBS65nARSVKIKcFII5zQlHiDVC4+AIA7kDJyE0EAWwuk5DIR YEAaQQHFBqDYoJQ4tlAgWCAGQNCbHxQK0YkhKAVEoiCTwpJTo3EfT6UBMQIAanfRqp4pS11X vwZy/IFz9Hmv6eRCF2Z3gcA2KGTWRQM0cn0cu7t0UgHpPAee9d4rlltQgeu8t8r+SqyXko79 0C8IaSdey6BjL4Xrvcc85Z9Mk3/sCk+CgGkooRSBhi6Bha/n/OzPcDNYD01Kq6g4q+BoZZVl RBme5GKM1BF9I2vg98x0dhFMehgu7sF5QqKAUVBhGYVkiKs4tV8H3YyGXVCSQbmYUtSWAWNy we5CvXKEqt3BR0bPnPMYed7/25O1fc4wFE9F/PJUhFt5joAzS4XoUEGMiZYPqlm56Wst5/0P kFLx/sKlBAwBwheHCuiP0EYuDaZbSExMceYjSBahXqFcDQHUNAaYDhoTrRk9sdE/kYpckCks 5lsz1kAuAGUtXnU6d9MSSEpnBSABxHNyypKDk+oqwM9wNCbnDkgj9BVSnJlUjNCM2rilFUUo e6WkZ73UqbU661D8P4gzCBwd4ECASgA2JdGOMpGX5kjJKQmNZCY2lTOUTuwwIJmxkRjXdQhN k/x7URQSPyz3r0beowl5FVpDwBjEoOcKh5IpiodOuC84pA1bepL1x8v09qpQvAJcbFGsH1Yu DelJYXOz7cPHOszqgroQSoh5FZYVbJfLqZkPECCxmNMolENiPwbUzLAbYNBtDLF8RuCihpnj dpiBQm+o5ik0l4uyY1JBrrtNfMk1sHJmA7maLCjJmzegyB3uKWM1CEw733vTdozBqm13uMwG cNlNAzJHQ2ZkyDbAcFowEWkNQbw0FfdgjSQSNEbL6mohd/BWqGoXMKapC6GA4orxEiLEt3AU l+MKGsw8ji2BoxJfQ0K4QUY3OQ8dC5nAU49MVilHuP5El0yAZe7Ya8iGYxQSJmxl3E4Mm45t 2ZQDag3hKyJfYJFYxAOK9yF5H1Cs7I8RyF9fpA2AjVGwi1iY4WJLytI+KhYuVlskCh/i58vA KLyDkoOcwbKCI/FyseaSn2BCFYMlObSenisRo3PqqcxRbKPHeyVhnunUBJnm1sKoAQaqY1ZA 0OoDl8pCbe+WOEU35u2hW9BETRYMNQbMvCa9TM0S8k/KcNc/NU1DZNhDrLSqQdrRKfOHl9g+ QrLKQ4N6xVrKpW2HdcIILOyoe2F4NcH0DVfaw4FrlISufrMXUbjCtXBLRkoFraSv3zLQlgN5 csLzCkCxG1CNgbyPR3TQOweA3m4MIZjWgLVClkNVwQGxqCv5MDMa1E3BUvh4Djgm//BAamj1 1BGyzAIwQLyzB2glTk8bgJme929s4CUE1LWCYLnrZcgVfJvkc9p77QYruYzMCDCFsMOqEtCT TbhrbqgFKKYEooTQrxbd5XaGpn3UYQwvPVjGZS3lN8VH+Lyfdyu+js8MywDmqvtrWw8+E26z tyocvuaKE5tSVV5gC1MapWqol2Gkb76dPWyHXUrrF8gWY4OIbC3t6L2WEGxZDKZMvwHVCphS zNrRWYUM6Ct1xbBQg/U5mujl8T8Yo1AewyeNxzj86vkQUN1Qv0VL3SPOGWSr4byXpEfFVBv4 FI6SZHJM4ztaGqfUYbOIE7ifiwOuv/WUkDtsOuByOLICsHioEgGowiiXzhZNVs4VDXUGJF0Z zjw4fQrSPUfpBBakMyCRuKtt1lchMKUTcGY9eWJKIcEsmhVCaPWkzUpftMymD+Q1JtgvplrW o26mZN7bQ1JvYtBwDjTa4iyYJyhjwGAoS37rYz6tDbAqri7mzaRpiHiHznw2xUjqxwbSRSTt A+rZaU6eBP6T6HLnBpj4hp5ULqZZBUJZRDJqEBwBRaSzDmA6jkSbqQCdh0BZCsB0iUh6jmUI SXKZqCxyylLjaXKO4GDrR+6fgvrbzmZgB+ZxL5KkxBi3KlaT0CSkIoZQ4rQIgOYOcBQFBvBs xCw2xi76BP7VEHR6AowjwosFEC7ZkDIv0FxXRTCkyt8KIlrTyqME7sAqjtxHYObfkAwvAsi4 otjdosS+DFpKi/L/QOwNgNUAIzAOT3Z+JyTPxHCDUPkFSp6WcFsDiHUDzakHTkg9yqKvUL5V 7WjlhGojrcaoUFMDAiyyEDcRZXcV5X5pyuJULw4FEBjax6AjRnZXYj5w4GzfLvEC0VSCUFkY blDvUGEY5YUZJPoskEcBp6BQTB5uUVMYDksDUQMbxXsWCHquLKahDkp2pPsPipMFaXKSsYkQ ZXo3Awq5jwChseqzgmRQRAIgi1J9sH5/I2rsgmpxJipAoG6Zq38PsfiQ8d0V0b7YSHx2DPYs SLkE5P6MjQKMRnakSM7NSwTNhh7RrN7RovrKwlwvsaLLDS598iSXUXp3QvqzbTygIgSj5QkM 6rom4G0dkiZGMaarKkCrg6iysHZ+aXZ+wqp1K0ZhT4o7iuqYQ78W46hi4HMMRwhjsajZ0QZV o97D4FBky4RlK8Ita6BlwFBs5MRmUeZmpm8Ehb0aKo7rRfcbMJkjkQDm0gEscQsrrbEhbmy2 orT1CYQyJDxsBsQO5sg2cvC8ZtQtMAj97BhJT5sMLBcyT6T6hJRDDdo3QN4PIzotEOE0RL7U svxzgoxMS98PkIIIyGqEbjxy0IyViUbX4qcVCggN7Tjb5645J0y2hfZvBvRvzsgjUksw8tMi 7LTkMpjP4Gzj6SE4MUitMJK0UJc3iTp9kxCHRUj7I1BYM6gxsgRmxKbiUg0BrMpbyMgpCRwg a1JYs7LYMiMI5VI06nyEcjB6kwk8yeEw8f5i0xbPSuY4zMKxQqhGAoZF8liv7Q7NawjRiN48 SOKxTeiqKMRG7epQwpbYEqcnsH0pMoKqsobe0oy0MpJPsno5E/zDAm6oI6k5MLZzgqai0sS2 wGgHUsylg8MtJ7hcYrQNL1hMJDBRYmi4bdYsrppDDoRCwwpLBLZMM+D+JC64bGYN7+xrj9b/ 1MK25UAwsyTxy5L99MMzsSwsZKQzAOoNk1wuNLUOxtAzIMq/s18z1LwtoPcNlQKhq9FOBDAN FQrfkTouY1tOYxroznMO50be6ck/8IExhSBGVD7cjaLsT6kXS94v0Pk8rkhiDUBy0LUKQ7iL kayDEhSZspFTcP1TqqSfJPsxJ1QIAu5PpDBm4vItgx4vIxq7BDE+ra0+5ySb5jsqBY1TUiEq h6EidAjNDj0jNBKGq3cd5S9Bx1ilLPZJZnc/w4wowkUlSABGdDSNMl9DsmND7R4pKo8hSORJ bT9FCPlFdAVFsoCjBx9ZiQ8oiz6kFGh3VGyg6dRWpwq1CrTMq0UfcVaQ77akSRjLEtY6lgAh EkalZVdc5GAj8aLutdrRDRSwsmVECxL+SuxYsr6PQKlFIFEqlgSdbmtGdWp/KZsnrZyJcizO y0SGdiZoiG8YkDqt8ebatjiuZzyACORIFkKMSMln1ktDjRdeKw6J0mhcBVKMVfFA9mNfY+ta iy8q9iKQlGBqSz1nCzIqoGVTgBSupYyLdhxXaDhXI98RtIgHaB86ZYxGAmkaaCpxMqVFQ+s8 s3o709FXUas9VX6RU+VYYxwvCC0z1YDFkg5h1Zx5laFwsCxzFsiqFa9n7Sy0VbbTxSSfdBsQ lcLLqINcgo6OVENDFdjQ1dzRMmFEMmdegkTQwpB+dmFFMC10KXNf1nVjZ2MhEYNgltls9hMj ZolhtHVaK0U8DktiqRaF8ax6l5FjshSvdENkbNCNFk13LN1lUmkMaMVCov1fVscoUIdm60Fn K0ar84SXNnrQtbKGU7atVo0Y0kEeiCMkdpqOpYzOFqbQt8lq1lFeVrQpKntrt36QN4NsVmdF ls1F15Bbl5Tkttd+dtq0jtRbz7UXlupZUbo8xiwGgHaZRWIsMqxwxQUasCdJgFAIgOIOTVa5 hM7+xM40kToMoNhvdNxFAvBDDws3AssSwxK+JMxDAMkNYN+JK8YFYG9vtQeJ01LoMTZIpLwO L8YsBDBCsOox7gkC5JQ2wzUvTXZwavNl0fTYWEd/CiLk60VVsHcaBGrDKaKkI8N5yP1carTS QgaO6QIoaxl2uBdd9q8wo9t89eaORBg7w+JTzQmCo+qql+8jh8hyzLlCCLTPyJZTxnacLQl8 cl13FeGR1D1rN2caqAA/jSgjt9xSzaQODVI2xExHAxpYM2o7hwjQMwSgizVW47tTx42TU8MP 5z56mT4/MkYj2WOQuUooeU8ltDeRiIJblhdrDR2B4j8vMXeQrQhytsKUCdGDk5Z36FcCd+gN tG7QNAret6iSGZ9pYhAsTPzfIgbQIo4+Oa9qtd4sQo0sJTzPykT7Ym1kl218uVdBVIFlOSNE Wgo/hAK2F92C9fuDNf9+F/CMeSqLssK0U3dxKRSiTDSkFjN9+jcn47srMLB/duGfYHMW0Ylv RDIGj5+F8MctCaJcCcpgsE7nD5bqdKQtjJRDAswwrposjdUvLFg2w1QtAr8SdSxgCMjX1TCk NaR6uY0idXJ6mZV5N1FIWdrba0WeFASROriM8vOZ112fMKo7wnz3yRTM2BWVKwaYU24gdCQ4 RzuVGbOVWRuiB2eSGcFCk2+SpZTSujN4ijWjl4+jyh7YukMClu9W2TZdWk6M2s+lcZluAi7T +FEYi2pDJcC3JTyF4vpTAsMXaFsh4FAHOuIBQgINCmVuZHN0cmVhbQ0KZW5kb2JqDQo0NSAw IG9iag0KPDwNCi9Qcm9jU2V0IFsvUERGIC9UZXh0IF0NCi9Gb250IDw8DQovRjQgNCAwIFIN Ci9GOCA4IDAgUg0KL0Y5IDkgMCBSDQovRjEwIDEwIDAgUg0KL0YxMiAxOSAwIFINCj4+DQov RXh0R1N0YXRlIDw8DQovR1MxIDEyIDAgUg0KPj4NCj4+DQplbmRvYmoNCjQ3IDAgb2JqDQo8 PA0KL0xlbmd0aCA1MzE1DQovRmlsdGVyIC9MWldEZWNvZGUNCj4+DQpzdHJlYW0NCoAMRBAo EcjODQUQiwIBeRynAjOcxARSxCBiMxALYuIBsMRkIBuOY+cjLCDNCCEVIQLyMNIGICpJwUMR gLhhHxgIJzNJtH4uMxcNxxHBqNxcMpvMDbCJzTRBBoQLZqMBgNZgY4QWxQVhTGhiKDxXa+ZT tXRsKDubDvXRrYLFaLYKDZXRmKDiahSXSoSpWRqHApjCBqLhsORoNp1MCJTKvjCod4QKDcKS oar7LsBMpqOBxSZyVMWCqlNqSVKwCq0bDiKRlZzucroMhwKBWNBuLLoMxoKDIcTPsRuKLKLb qcjeedVeOJshQaTkdbze77f5hMp4ORiNpxiqZNhiN8aChQbx9lMsCpZmOr3ZEMu3oKjU9Lpx QfDYaDeZzsPfN05ewLRMGGAbqEjIZMIGwapc+AFM++g3v69AjBy/7NBcGqRKGz7QhQIEIpY6 kABimzbQpDbIsmyq+wozLuhuG0EsTBgUBdD4jI9Cr2MMgYXBom7AQ4LgYBmGMbRDCwbqoxDR huGQaqtGY9RtFj1waFwchgGj3tC0aqMA06tBXIQYhqFKztwvS+AUIqVQaxKcikI7GCUxI1J0 mzEDugaciaEAti6nIyIsEA0hAhAZhgHELo4GagNaEAZBpPCMprLSnpKhIVJRNqeM8xNOo/Il JByobtKBBMoKXNzTMjMsVQlI7uhoHLwRO8UhN1G0cRamYXBmG6NwPRIaKHGdcBlI0cysG9iK sjUex+7jxP5V702UGMRhwGdtRlLj5IxVjxBXBTcVe4kRyyGMKBbA8YNtaUuqq8KtCI4dGhg3 jcq/XAbriOIyQg4gZhkFA0K63Y9jIOA5q64OArqNAXtis7hrOsKNBQsizLQuYWhytA8LWFq2 4NNL/V4i6jhzHdbQcyI4Sna8SXVbr4tJYr6TEqga3K89rZQFwcWYjFbXjBb6N639qr9mUMoF lrwhRmGlypESbBnDGatE+Uvqy2kxzKjwUTQ6UJPVqwcKQl2ivlKD6Oc6Gl1jXoazJrWXVum9 XZ8ltlM3tWtaNqOk2ToGnbvqISRts8LVJLebKpcEwLk1bltmFYcjI3Dl4+MmNtWr7f8styvj tkuy3Yo1mScjMR3U7NpTDYnN0a3bXty3b8DYODVDIO/TzVEFlKM7TZcRcOpZjoF0xNeD5Zwy OdKrnuTyrEdgUfqHkWpvnGO6G0sw15zSclrwrjXg2BYIOo0DsPA35FRuCDY/bo+Dpnlhpml2 QRBVpN4Mk8pKpNUCOsVsjRwsA0rssWkeOASACaoYeMy0o4NjwPICA3svqu3rFBI8YhEaPgcJ AMcfRXCRW5N+KCkpShQUiJQQ41NvjVTrNXay2w0jXTUNfBgmRMzYyugyTJAhkysFlIHSSjB4 8Jkhg0QimxQ5NyeggBrBZK5HwaKnI+aNSxJCUKaISm0lkNCLFTO2TuMwIEiKKN1FQGsbAbqp VbAmCCPVaNaBQriJzS4OIAQOboG5GFhA4WJA1Y8dEkJaWdCFRMJDxHlaW94mcEWBvNQYvF8q 4knvUNEwNC6211rtjfBc0JWg0h1DkzB1JwQ9BrDYGY1jHw1sSXY0IFAei1BriDIEtD6JdnBl 0C13LASzsMdScUFJXw0xBW0bQ2zmy2y0NkcF9JXw9hzDfK8tUuzZhomu+wOwdg2ByDicMGRI TmgpLac9+z1Y/KShGDRtb/2oope7CptINmiPjKo0cyLhIUtAM4p5BkAEISRhVBJ8Ulz5EfXD KY4wbzYJOlvLsr7nivsinObM2BXw4hmDQfyIrwleEaKMYYjqBn+oLNDACeyK58Gtn2jND0fC fQdSySFHiPohSGSHChvjc4CQsSZC+BsMqYPLaxJZb0OV5w8h8meIMQ0a0jfwlWJAMIlPaiYr lV8UAFGthDFQGKko3ggiyYSLalSRqYCFGAlNSXrRpKcqBSCBCgkfBqllK8cSlRzoDApWataf Veb5H0mUfzbSCJtIRYqQUhrIj4TuBRnVIutWgjhYzkYHw1JogUmqMI7ozj2eesDAzBgzMQ3W sxQ0BEui5W2L6m4yxTrrGm1CvrV18VpHI8UGkJWIRdIQl0g5C2bSJIhF1RICVGSjZ09iWXHt bNJBdnLYJOWnR8C4GNrqyoXKGpFSdsVL2zjDbVT0aIpm6BtXmKlvK/BUVVAC4FJLBR3gPHpX VN2rK/WDY249kGBuLWUoo9sW5GVln4fN6MVXNXKNFEIwiPjwP8KE3WejyKDwzoShmPFNbD38 hrTlFi0Ke3IqBO5JFzIXN2RnUhCUZFepDhvguHSYWwQ/c3EIttVWy32j9CureGau2lIRWCsS Pa0A4vaDYodaTtQti7W6uEYkJrXrop+NM53VRYrwgO3wKL61XjrYOPF+qbRHV9YtSGALHmRk O1SfBN7YSMxOhxGqr3XIDQ0YRJMpDI5GTWm23Nqsl5NtciTKVslM20knbbLV60nW6rRl++Kq sxX7hUUKeWbVh5vbzcmwMdUk1ahbIHFyHEpZyV4TVLClocFUus9G7ET9CXbu7ocwl4VJamvJ F7Rt59H3pT3esw97jbFGzBX9VZ9Mx1CjtYS5GgiWXCV7f6xmn7C2SqDpuRVmKeSOBQ9wy+Bb uJOoXU1yLUVxg2DLJw4ilTsUqfBgFrwTJlnEr3L19LWF8OeXwGWXYKDYKIBQHk1k3S6b7nYc Q2xwndhsDeGQ6HDjgywXZwQ1aROD8JYLEEuxrC2lrLrOOcvC6Lvs4WvgOIcn4zyLcyM4QaAz y0awbsO0qd+8wY6cHjdGQ0B14RG83jD1iAoDOGx9gZnfuivYbwOIMJ2mihDHdZ66kXuxBQGp gM1F7S2DMb3lr8TOsZ4Hv3sodg18UmwHwukzX2BznAGjn5aOaJFZGDkuoSQUy2Ngvjiq22Ic gD2xvgDUpsMRLoDks7HZlF0nQ/EFEvjiA4LbOAO4deego6Zybt78y39fK/47xEQWPhydMb+I pOernYMQgwrQd+1vx33wJdhX+/y9LoYffnuzd+bDivxmBzCwlflUbo3fhzfe7YoHjuQaPhmz Dx8fmAct87+YLwg5nQe3cWLkW81dFOSMF6FOo2fh+jGzdEW3pQaOmc0+YvnlnXN+77ZgbrmJ bQ7cvN37ac7j6IoKiMArQMychfgrpj4OL+CYRsTyQ2EBgur8byh/T9j8LkboLoZghgDqaMbL AoJJoqyrgyILxXSyiOqc5J7M6zjUZJEEBu5q7G6PKJo8ojRgcGRXKqzGREYGww7aSlpqIMDC BSqLJp6BqSCe7VrXbJhwKhqp72Tuhg5bD3sBg3ajouwN77p/RgiYw5j1CcTgQ3ZCBfB9J/T3 4FLlg1g1wFJ3L8oGouqjCB0CAuA3b2Zg4GBj7jD3D8MNT5KZJygsqIojSsxUgob1p2D2EKZR qi8Pwu4N54CDbEQhBSRIjBQzYm718H55BIQqpGw8BXjZSM4kCKa7qP6LBlJLAwDTAGzWwixt KCqtAjwoKtCKbX7KjR0UBN8UQpMUhXyLCrRC7E7TBfsFi9EUKuy7ooyQpHwHKBa3wqZIhqKP UI4vsTxKsXAp0XBdUZhHB/QoEVDZiAAHEVgmZlbc8WCJEWYpMWq8yuIBUa4xMbMcsbkX4GsY IyMYbbplDLK9QpJtQo7J8O8ZrZkG7ahG8SJKzerPozpRqnyrTAkJJZjyyFqy0TByDBg8R+i6 AmaJcEcEqFUFCeazZIcIUD6Ax/4nptxr0aQsRbcgkDjK5oEHiC0jg8UIMYhKyeUaCA7chsyF UhMJh8ip588jJgQ3Y6EMZ9wuJgKjI3L0BjEQDH5G4ghKq9p5kF5LxqLsch6DptJLMoDdZ5Dt TtjFJCQqxlBYQxCustAgZRooIoZbZA42T15VRLpmih4FEVYFos7vBj6Jwrwi4FAK4FJlYFDz RhrraciVKZJ3JkTy7xxgjjBX4urfJiyj4uMxr74Fo4KcjyEyEzi1Tjo1pgrjcNTmTzackqB+ 6SSuy28UctpAq1Ubw9zZiTCp4LR9Byow6YqIJiAOpuB3gu5g4jouAusCafUwrmgPDzsziYRG DgkM6dM5ouspY3gOoNUMk441TkTu0Nr85gIw42aVAO53zz05rf86ERp9pg5DAuA4k585or7j BgiVIOZkMR5N0Q0iqHbzINgNUxIOANE/jjAGjfaZYtoPCj4tM1CWhErsxdhfDlyYKeQ4IucN EGyjT8joZzsP075Wbj5jA30Lijk7U0QtbnBg73j4Zj4PD/dFAtr/ws8MjmEPLjScQM7oMBdC c54r7iqeUDVFE8INDqT1azDrE/QrT9Z0jzlHLo70juryUDD8z+UOKeUPr+brtD6LJj6XD2VF BgkBQNU8j7ThSYQGdLcNYuVJNLqYRLRqRzzg0LKLNBz/8MlMwFBhlHkB7gwM5i4tqkAM7vBA hj7viEc57wFFDwZhDw06BhcpTxSYRZkzLx9Ik/LrUJ5idD9L4iL0zglEjkYFIupe0Ls6D69E tUDybfs0VT07kDLoo2L5M9Ml7axMgo5RsEJoJRM/SAETbMcapAEd4nMXAGQ7AoIxB+Spy+Qy IHUcdYZ69YxRBoMdKtZHrRit8W7SFYKKdZtYqNS8Q7UVMe7CE1jSMfrxiK9bpRTGkcEGEaMG cTp4dbEXRUJRKtSNST0rFZLZoyIHkcZRBRSKtewzdaTRa8rYMdtYFeSNVejKJgZSVb8gcfDF UYsXKuxIgoE2A2SG0gbNDELDozhO4zrvUhsVahEiC1RZ0S0JahlZBybijfq7r76j1G8Lgr7u lG7jcCIt8LAug7M5FPiWFGM6DpwpB5NCCIJgjpwsCiUl7GQjUZlYZHZZ9YZ/TIiwEfK+8Hw7 qn9do3UacnpoBSMFKClk8J1UBBLydsxj7oNszhS1Rilsw3YsK1Rj5CC1Q4ItNsw4M1MSBZQw aN7J1kFXNqpvMThpdXwmVhFYUWNhhdRmcgdZar5NqIRA9gBIgoyQlgcddgxNtxNbVxZUJbBB FcA8ViKI0fVeKuyIR1Ut9WjZdfKM0lLUIGlrwllw4hFzsftYdaiNVxpdMcBqLQTJF3RS1yxo IlzXtabKcdlzleNYV4d0EHalNfIFF