From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jul 1 08:00:07 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h61D06L12836 for reliable_computing-outgoing; Tue, 1 Jul 2003 08:00:06 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h61D03Q12824 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 1 Jul 2003 08:00:03 -0500 (CDT) Received: from mailhub-4.iastate.edu (mailhub-4.iastate.edu [129.186.140.14]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h5UJe9610845 for ; Mon, 30 Jun 2003 14:40:09 -0500 (CDT) Received: from mailout-2.iastate.edu (mailout-2.iastate.edu [129.186.140.2]) by mailhub-4.iastate.edu (8.9.3p2/8.9.3) with SMTP id OAA03348 for ; Mon, 30 Jun 2003 14:39:56 -0500 Received: from myles.eng.iastate.edu(129.186.23.96) by mailout-2.iastate.edu via csmap id 25678; Mon, 30 Jun 2003 14:40:26 -0500 (CDT) Received: from cp.ee.iastate.edu ([129.186.5.138]) by myles.eng.iastate.edu with Microsoft SMTPSVC(5.0.2195.5329); Mon, 30 Jun 2003 14:39:58 -0500 content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" X-MimeOLE: Produced By Microsoft Exchange V6.0.6249.0 Subject: Intervals and probability Web site Date: Mon, 30 Jun 2003 14:39:58 -0500 Message-ID: <9AA2BADA0BC9284386635EE25EF41FF8360DFB [at] cp [dot] ee.iastate.edu> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Intervals and probability Web site Thread-Index: AcM/P2OrrvPfGgSNT6qn3xByCnYv+w== From: "Berleant, Dan" To: X-OriginalArrivalTime: 30 Jun 2003 19:39:58.0657 (UTC) FILETIME=[63CFFB10:01C33F3F] Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.louisiana.edu id h5UJeA610846 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Colleagues, Please let me know of updates to the Intervals and Probability Web site. Examples of items to add include - names - publications The URL is http://class.ee.iastate.edu/berleant/home/ServeInfo/Interval/intprob.htm l and it is (or soon will be) linked from the main interval Web site. Best Regards, Dan From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 3 23:38:46 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644cka15861 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:38:46 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644cb615857 for ; Thu, 3 Jul 2003 23:38:40 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id h644cI605461; Thu, 3 Jul 2003 22:38:19 -0600 (MDT) Message-Id: <200307040438.h644cI605461 [at] cs [dot] utep.edu> Date: Thu, 3 Jul 2003 22:38:19 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Electronic Journal on Mathematics of Computation To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 9hUM4KgxCUh8tAs6hqJriA== 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 (from http://ejmc.ucpel.tche.br/) Electronic Journal on Mathematics of Computation: Information and Call for Papers EJMC is an electronic journal published by Brazilian Group of Mathematics of Computation, managed by an international editorial board, and maintained and sponsored by School of Informatics at Catholic University of Pelotas, Brazil. It is devoted to various aspects of mathematics of computation, including theoretical and applied research, computer tools, interdisciplinary research, teaching and other related areas. Some of the topics of interest are: interval mathematics, scientific computation and effective real numbers; domain and category theories applied to computation; computational complexity; etc. The journal includes: original papers, surveys and tutorials, reports on new computer tools, bibliographies, reviews of new books, letters to the editor, information about scientific meetings, etc. Material submitted for electronic publication in EJMC may be original full articles, reviews, short papers about on going research work, reports about experiments, presentations of new hardware and software tools, book reviews, information on scientific meetings on relevant topics which are scheduled or have been recently held, etc. Eventually, special issues involving a specific subject shall be announced. All papers should be in English and prepared in LaTeX, according the EMJC style file which can be found on the journal's webpage. The first page of the paper should contain the article title and the coordinates of the authors (names, institutions, postal address, e-mail). There should be a brief abstract (no more than 12 lines long). References should be numbered and listed at the end of the article. A journal reference should include names(s), initial(s), full title of the paper, name of the journal, volume number, year of publication, and first and last pages. A book reference should include names(s), initial(s), full title of the book, publisher's name, place and year of publication. Submissions must be sent by e-mail to the Editor-in-Chief: Marcilia Andrade Campos (UFPE) - mac [at] cin [dot] ufpe.br All papers submitted for electronic publication are subject to review, and may be accepted, rejected, or sent to the author for a revision. The authors of every electronically published paper can ask for an EMJC CD ROM copy, by e-mail: Antonio Carlos da Rocha Costa (UCPel) - rocha [at] atlas [dot] ucpel.tche.br From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 3 23:46:56 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644kuG15927 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:46:56 -0500 (CDT) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644km615919 for ; Thu, 3 Jul 2003 23:46:48 -0500 (CDT) Received: from oceanite.ens-lyon.fr ([140.77.1.22]) by mailhost.ens-lyon.fr with esmtp (Exim 3.35 #1 (Debian)) id 19YISo-0008QF-00; Fri, 04 Jul 2003 06:46:26 +0200 Received: by oceanite.ens-lyon.fr (Postfix, from userid 1502) id 17CC032005F; Fri, 4 Jul 2003 06:46:19 +0200 (CEST) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by oceanite.ens-lyon.fr (Postfix) with SMTP id D6F9A32005C; Fri, 4 Jul 2003 06:46:18 +0200 (CEST) Received: from interval.louisiana.edu ([130.70.132.145]) by mailhost.ens-lyon.fr with smtp (Exim 3.35 #1 (Debian)) id 19YISc-0008Pt-00; Fri, 04 Jul 2003 06:46:14 +0200 Received: from localhost (daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id h644ixt15907; Thu, 3 Jul 2003 23:45:00 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644cka15861 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:38:46 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644cb615857 for ; Thu, 3 Jul 2003 23:38:40 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id h644cI605461; Thu, 3 Jul 2003 22:38:19 -0600 (MDT) Message-Id: <200307040438.h644cI605461 [at] cs [dot] utep.edu> Date: Thu, 3 Jul 2003 22:38:19 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Electronic Journal on Mathematics of Computation To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 9hUM4KgxCUh8tAs6hqJriA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc X-Spam-Status: No, hits=0.0 required=5.0 tests=none version=2.55 X-Spam-Level: X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) X-Spam-Report: ---- Start SpamAssassin results 0.00 points, 5 required; ---- End of SpamAssassin results Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk (from http://ejmc.ucpel.tche.br/) Electronic Journal on Mathematics of Computation: Information and Call for Papers EJMC is an electronic journal published by Brazilian Group of Mathematics of Computation, managed by an international editorial board, and maintained and sponsored by School of Informatics at Catholic University of Pelotas, Brazil. It is devoted to various aspects of mathematics of computation, including theoretical and applied research, computer tools, interdisciplinary research, teaching and other related areas. Some of the topics of interest are: interval mathematics, scientific computation and effective real numbers; domain and category theories applied to computation; computational complexity; etc. The journal includes: original papers, surveys and tutorials, reports on new computer tools, bibliographies, reviews of new books, letters to the editor, information about scientific meetings, etc. Material submitted for electronic publication in EJMC may be original full articles, reviews, short papers about on going research work, reports about experiments, presentations of new hardware and software tools, book reviews, information on scientific meetings on relevant topics which are scheduled or have been recently held, etc. Eventually, special issues involving a specific subject shall be announced. All papers should be in English and prepared in LaTeX, according the EMJC style file which can be found on the journal's webpage. The first page of the paper should contain the article title and the coordinates of the authors (names, institutions, postal address, e-mail). There should be a brief abstract (no more than 12 lines long). References should be numbered and listed at the end of the article. A journal reference should include names(s), initial(s), full title of the paper, name of the journal, volume number, year of publication, and first and last pages. A book reference should include names(s), initial(s), full title of the book, publisher's name, place and year of publication. Submissions must be sent by e-mail to the Editor-in-Chief: Marcilia Andrade Campos (UFPE) - mac [at] cin [dot] ufpe.br All papers submitted for electronic publication are subject to review, and may be accepted, rejected, or sent to the author for a revision. The authors of every electronically published paper can ask for an EMJC CD ROM copy, by e-mail: Antonio Carlos da Rocha Costa (UCPel) - rocha [at] atlas [dot] ucpel.tche.br From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 3 23:49:36 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644nYW16029 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:49:34 -0500 (CDT) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644nG616013 for ; Thu, 3 Jul 2003 23:49:18 -0500 (CDT) Received: from oceanite.ens-lyon.fr ([140.77.1.22]) by mailhost.ens-lyon.fr with esmtp (Exim 3.35 #1 (Debian)) id 19YIVK-0000HQ-00; Fri, 04 Jul 2003 06:49:02 +0200 Received: by oceanite.ens-lyon.fr (Postfix, from userid 1502) id EB6FC32005C; Fri, 4 Jul 2003 06:49:00 +0200 (CEST) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by oceanite.ens-lyon.fr (Postfix) with SMTP id B2B63320058; Fri, 4 Jul 2003 06:49:00 +0200 (CEST) Received: from interval.louisiana.edu ([130.70.132.145]) by mailhost.ens-lyon.fr with smtp (Exim 3.35 #1 (Debian)) id 19YIVE-0000H2-00; Fri, 04 Jul 2003 06:48:56 +0200 Received: from localhost (daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id h644mSJ15985; Thu, 3 Jul 2003 23:48:29 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644kuG15927 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:46:56 -0500 (CDT) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644km615919 for ; Thu, 3 Jul 2003 23:46:48 -0500 (CDT) Received: from oceanite.ens-lyon.fr ([140.77.1.22]) by mailhost.ens-lyon.fr with esmtp (Exim 3.35 #1 (Debian)) id 19YISo-0008QF-00; Fri, 04 Jul 2003 06:46:26 +0200 Received: by oceanite.ens-lyon.fr (Postfix, from userid 1502) id 17CC032005F; Fri, 4 Jul 2003 06:46:19 +0200 (CEST) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by oceanite.ens-lyon.fr (Postfix) with SMTP id D6F9A32005C; Fri, 4 Jul 2003 06:46:18 +0200 (CEST) Received: from interval.louisiana.edu ([130.70.132.145]) by mailhost.ens-lyon.fr with smtp (Exim 3.35 #1 (Debian)) id 19YISc-0008Pt-00; Fri, 04 Jul 2003 06:46:14 +0200 Received: from localhost (daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id h644ixt15907; Thu, 3 Jul 2003 23:45:00 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644cka15861 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:38:46 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644cb615857 for ; Thu, 3 Jul 2003 23:38:40 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id h644cI605461; Thu, 3 Jul 2003 22:38:19 -0600 (MDT) Message-Id: <200307040438.h644cI605461 [at] cs [dot] utep.edu> Date: Thu, 3 Jul 2003 22:38:19 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Electronic Journal on Mathematics of Computation To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 9hUM4KgxCUh8tAs6hqJriA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc X-Spam-Status: No, hits=0.0 required=5.0 tests=none version=2.55 X-Spam-Level: X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) X-Spam-Report: ---- Start SpamAssassin results 0.00 points, 5 required; ---- End of SpamAssassin results Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk (from http://ejmc.ucpel.tche.br/) Electronic Journal on Mathematics of Computation: Information and Call for Papers EJMC is an electronic journal published by Brazilian Group of Mathematics of Computation, managed by an international editorial board, and maintained and sponsored by School of Informatics at Catholic University of Pelotas, Brazil. It is devoted to various aspects of mathematics of computation, including theoretical and applied research, computer tools, interdisciplinary research, teaching and other related areas. Some of the topics of interest are: interval mathematics, scientific computation and effective real numbers; domain and category theories applied to computation; computational complexity; etc. The journal includes: original papers, surveys and tutorials, reports on new computer tools, bibliographies, reviews of new books, letters to the editor, information about scientific meetings, etc. Material submitted for electronic publication in EJMC may be original full articles, reviews, short papers about on going research work, reports about experiments, presentations of new hardware and software tools, book reviews, information on scientific meetings on relevant topics which are scheduled or have been recently held, etc. Eventually, special issues involving a specific subject shall be announced. All papers should be in English and prepared in LaTeX, according the EMJC style file which can be found on the journal's webpage. The first page of the paper should contain the article title and the coordinates of the authors (names, institutions, postal address, e-mail). There should be a brief abstract (no more than 12 lines long). References should be numbered and listed at the end of the article. A journal reference should include names(s), initial(s), full title of the paper, name of the journal, volume number, year of publication, and first and last pages. A book reference should include names(s), initial(s), full title of the book, publisher's name, place and year of publication. Submissions must be sent by e-mail to the Editor-in-Chief: Marcilia Andrade Campos (UFPE) - mac [at] cin [dot] ufpe.br All papers submitted for electronic publication are subject to review, and may be accepted, rejected, or sent to the author for a revision. The authors of every electronically published paper can ask for an EMJC CD ROM copy, by e-mail: Antonio Carlos da Rocha Costa (UCPel) - rocha [at] atlas [dot] ucpel.tche.br From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 3 23:52:59 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644qwQ16224 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:52:58 -0500 (CDT) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644qG616187 for ; Thu, 3 Jul 2003 23:52:21 -0500 (CDT) Received: from oceanite.ens-lyon.fr ([140.77.1.22]) by mailhost.ens-lyon.fr with esmtp (Exim 3.35 #1 (Debian)) id 19YIYD-0000SZ-00; Fri, 04 Jul 2003 06:52:01 +0200 Received: by oceanite.ens-lyon.fr (Postfix, from userid 1502) id 1F7E232005C; Fri, 4 Jul 2003 06:52:00 +0200 (CEST) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by oceanite.ens-lyon.fr (Postfix) with SMTP id DB968320058; Fri, 4 Jul 2003 06:51:59 +0200 (CEST) Received: from interval.louisiana.edu ([130.70.132.145]) by mailhost.ens-lyon.fr with smtp (Exim 3.35 #1 (Debian)) id 19YIY7-0000Rl-00; Fri, 04 Jul 2003 06:51:56 +0200 Received: from localhost (daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id h644pGQ16094; Thu, 3 Jul 2003 23:51:17 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644nYW16029 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:49:34 -0500 (CDT) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644nG616013 for ; Thu, 3 Jul 2003 23:49:18 -0500 (CDT) Received: from oceanite.ens-lyon.fr ([140.77.1.22]) by mailhost.ens-lyon.fr with esmtp (Exim 3.35 #1 (Debian)) id 19YIVK-0000HQ-00; Fri, 04 Jul 2003 06:49:02 +0200 Received: by oceanite.ens-lyon.fr (Postfix, from userid 1502) id EB6FC32005C; Fri, 4 Jul 2003 06:49:00 +0200 (CEST) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by oceanite.ens-lyon.fr (Postfix) with SMTP id B2B63320058; Fri, 4 Jul 2003 06:49:00 +0200 (CEST) Received: from interval.louisiana.edu ([130.70.132.145]) by mailhost.ens-lyon.fr with smtp (Exim 3.35 #1 (Debian)) id 19YIVE-0000H2-00; Fri, 04 Jul 2003 06:48:56 +0200 Received: from localhost (daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id h644mSJ15985; Thu, 3 Jul 2003 23:48:29 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644kuG15927 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:46:56 -0500 (CDT) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644km615919 for ; Thu, 3 Jul 2003 23:46:48 -0500 (CDT) Received: from oceanite.ens-lyon.fr ([140.77.1.22]) by mailhost.ens-lyon.fr with esmtp (Exim 3.35 #1 (Debian)) id 19YISo-0008QF-00; Fri, 04 Jul 2003 06:46:26 +0200 Received: by oceanite.ens-lyon.fr (Postfix, from userid 1502) id 17CC032005F; Fri, 4 Jul 2003 06:46:19 +0200 (CEST) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by oceanite.ens-lyon.fr (Postfix) with SMTP id D6F9A32005C; Fri, 4 Jul 2003 06:46:18 +0200 (CEST) Received: from interval.louisiana.edu ([130.70.132.145]) by mailhost.ens-lyon.fr with smtp (Exim 3.35 #1 (Debian)) id 19YISc-0008Pt-00; Fri, 04 Jul 2003 06:46:14 +0200 Received: from localhost (daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id h644ixt15907; Thu, 3 Jul 2003 23:45:00 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h644cka15861 for reliable_computing-outgoing; Thu, 3 Jul 2003 23:38:46 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h644cb615857 for ; Thu, 3 Jul 2003 23:38:40 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id h644cI605461; Thu, 3 Jul 2003 22:38:19 -0600 (MDT) Message-Id: <200307040438.h644cI605461 [at] cs [dot] utep.edu> Date: Thu, 3 Jul 2003 22:38:19 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Electronic Journal on Mathematics of Computation To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 9hUM4KgxCUh8tAs6hqJriA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc X-Spam-Status: No, hits=0.0 required=5.0 tests=none version=2.55 X-Spam-Level: X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) X-Spam-Report: ---- Start SpamAssassin results 0.00 points, 5 required; ---- End of SpamAssassin results Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk (from http://ejmc.ucpel.tche.br/) Electronic Journal on Mathematics of Computation: Information and Call for Papers EJMC is an electronic journal published by Brazilian Group of Mathematics of Computation, managed by an international editorial board, and maintained and sponsored by School of Informatics at Catholic University of Pelotas, Brazil. It is devoted to various aspects of mathematics of computation, including theoretical and applied research, computer tools, interdisciplinary research, teaching and other related areas. Some of the topics of interest are: interval mathematics, scientific computation and effective real numbers; domain and category theories applied to computation; computational complexity; etc. The journal includes: original papers, surveys and tutorials, reports on new computer tools, bibliographies, reviews of new books, letters to the editor, information about scientific meetings, etc. Material submitted for electronic publication in EJMC may be original full articles, reviews, short papers about on going research work, reports about experiments, presentations of new hardware and software tools, book reviews, information on scientific meetings on relevant topics which are scheduled or have been recently held, etc. Eventually, special issues involving a specific subject shall be announced. All papers should be in English and prepared in LaTeX, according the EMJC style file which can be found on the journal's webpage. The first page of the paper should contain the article title and the coordinates of the authors (names, institutions, postal address, e-mail). There should be a brief abstract (no more than 12 lines long). References should be numbered and listed at the end of the article. A journal reference should include names(s), initial(s), full title of the paper, name of the journal, volume number, year of publication, and first and last pages. A book reference should include names(s), initial(s), full title of the book, publisher's name, place and year of publication. Submissions must be sent by e-mail to the Editor-in-Chief: Marcilia Andrade Campos (UFPE) - mac [at] cin [dot] ufpe.br All papers submitted for electronic publication are subject to review, and may be accepted, rejected, or sent to the author for a revision. The authors of every electronically published paper can ask for an EMJC CD ROM copy, by e-mail: Antonio Carlos da Rocha Costa (UCPel) - rocha [at] atlas [dot] ucpel.tche.br From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jul 4 12:31:56 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h64HVtw17719 for reliable_computing-outgoing; Fri, 4 Jul 2003 12:31:55 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h64HVl617715 for ; Fri, 4 Jul 2003 12:31:49 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id h64HVP708850 for ; Fri, 4 Jul 2003 11:31:25 -0600 (MDT) Message-Id: <200307041731.h64HVP708850 [at] cs [dot] utep.edu> Date: Fri, 4 Jul 2003 11:31:26 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: problems with interval mailing list To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: VKrlQqh2aJ+UsIx1Ua8dhg== 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 apologize for the inconvenience. It looks like everyone got 4 identical copies of the message I sent yesterday. It is probably caused by some problems at our university website that hosts interval [at] cs [dot] utep.edu. We have a long weekend here (due to Independence Day), so I will try to find out early next week what the problem is. Sorry. Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jul 4 21:17:10 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h652H9I18082 for reliable_computing-outgoing; Fri, 4 Jul 2003 21:17:09 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h652H2618078 for ; Fri, 4 Jul 2003 21:17:04 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id h652Gok11493 for ; Fri, 4 Jul 2003 20:16:50 -0600 (MDT) Message-Id: <200307050216.h652Gok11493 [at] cs [dot] utep.edu> Date: Fri, 4 Jul 2003 20:16:52 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Electronic Journal on Mathematics of Computation: message resent To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: RIdEBIjgGEqH5hjiGXHi7g== 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, Some people from the interval list did not receive this message, so I am resending it. My apologize to those whoe already received it. Vladik (from http://ejmc.ucpel.tche.br/) Electronic Journal on Mathematics of Computation: Information and Call for Papers EJMC is an electronic journal published by Brazilian Group of Mathematics of Computation, managed by an international editorial board, and maintained and sponsored by School of Informatics at Catholic University of Pelotas, Brazil. It is devoted to various aspects of mathematics of computation, including theoretical and applied research, computer tools, interdisciplinary research, teaching and other related areas. Some of the topics of interest are: interval mathematics, scientific computation and effective real numbers; domain and category theories applied to computation; computational complexity; etc. The journal includes: original papers, surveys and tutorials, reports on new computer tools, bibliographies, reviews of new books, letters to the editor, information about scientific meetings, etc. Material submitted for electronic publication in EJMC may be original full articles, reviews, short papers about on going research work, reports about experiments, presentations of new hardware and software tools, book reviews, information on scientific meetings on relevant topics which are scheduled or have been recently held, etc. Eventually, special issues involving a specific subject shall be announced. All papers should be in English and prepared in LaTeX, according the EMJC style file which can be found on the journal's webpage. The first page of the paper should contain the article title and the coordinates of the authors (names, institutions, postal address, e-mail). There should be a brief abstract (no more than 12 lines long). References should be numbered and listed at the end of the article. A journal reference should include names(s), initial(s), full title of the paper, name of the journal, volume number, year of publication, and first and last pages. A book reference should include names(s), initial(s), full title of the book, publisher's name, place and year of publication. Submissions must be sent by e-mail to the Editor-in-Chief: Marcilia Andrade Campos (UFPE) - mac [at] cin [dot] ufpe.br All papers submitted for electronic publication are subject to review, and may be accepted, rejected, or sent to the author for a revision. The authors of every electronically published paper can ask for an EMJC CD ROM copy, by e-mail: Antonio Carlos da Rocha Costa (UCPel) - rocha [at] atlas [dot] ucpel.tche.br From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jul 9 00:59:42 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h695xfr23504 for reliable_computing-outgoing; Wed, 9 Jul 2003 00:59:41 -0500 (CDT) Received: from brmea-mail-2.sun.com (brmea-mail-2.Sun.COM [192.18.98.43]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h695xX623500 for ; Wed, 9 Jul 2003 00:59:34 -0500 (CDT) Received: from heliopolis.eng.sun.com ([152.70.28.21]) by brmea-mail-2.sun.com (8.12.9/8.12.9) with ESMTP id h695uWvc021976; Tue, 8 Jul 2003 23:56:32 -0600 (MDT) Received: from sun.com (vpn-129-150-16-110.SFBay.Sun.COM [129.150.16.110]) by heliopolis.eng.sun.com (8.11.6+Sun/8.11.6/ENSMAIL,v2.1p1) with ESMTP id h695uT917484; Tue, 8 Jul 2003 22:56:29 -0700 (PDT) Message-ID: <3F0BAEC7.6000004 [at] sun [dot] com> Date: Tue, 08 Jul 2003 22:57:27 -0700 From: "G. William Walster" Reply-To: bill.walster [at] sun [dot] com Organization: Sun Microsystems Laboratories User-Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02 X-Accept-Language: en-us, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Subject: [Fwd: Sun wins DARPA HPCS Phase II] Content-Type: multipart/mixed; boundary="------------020706090109070508090901" Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. --------------020706090109070508090901 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Dear fellow intervalers, I hope you are all as delighted as I am that Sun has been awarded a Phase II DARPA contract to develop a true peta- scale super computer that depends heavily on interval arithmetic. I am looking forward to working with you, especially finding and developing interval applications and tools that demonstrate why computing rigorous interval bounds is a "must have" requirement. Below is some public background information to provide context for understanding the two attached official press releases. I'm sure there will be more soon. Look for them. Thanks for all your help, suggestions, encouragement, and support. They have been invaluable. Best regards, Bill ------------- TALKING NOTES FOR SUN'S HPCS EFFORT Sun's HPCS System Design: The Sun design for the second phase of the DARPA HPCS project is based on a single system architecture, not a cluster of computers like Japan's Earth Simulator and the ASCI machines. Sun's elegant single system design is far easier to use and manage than a clustered solution and, in addition, solves problems of security, safety, debugging, and coordinating the sharing of memory by thousands of processors. Specific points: Security: With the help of one of the most respected security experts in the world, Sun's Chief Security Officer Whitfield Diffie, Sun is designing a solution with security built in from the beginning. It will be the most secure supercomputer ever built, and that's particularly important for government customers. Programming Environment: Sun's design supports existing HPC programs, languages, and methods for achieving parallel execution. The design incorporates the thinking of the Sun HPCS team on what can and should be done with 21st-century technology, while still supporting legacy software. Sun's goal is to raise the level of abstraction at which programmers can express what they want to do, and to let the system worry about the details, essentially taking the burden of parallel programming off the human programmer and putting it on the hardware instead. Purpose-based benchmarks, overview: Sun recognized the need to innovate in the area of benchmarking to design the HPC systems of the future. DARPA has incorporated Sun's concept for "purpose-based benchmarks" in the specification for Phase II, and Sun will share them with the HPC community as they are developed. Purpose-based benchmarks, explanation: Benchmarks of the past like LINPACK stress computer activities (e.g. floating-point operations) that were previous bottlenecks, but now are quite easy and fast. These benchmarks don't provide much useful guidance to customers or to system designers with respect to problems of direct human interest -- like designing cars or decoding genomes. Purpose-based benchmarks allow testing of not just the system performance, but also the programming environment. Expressing a benchmark in terms of an objective of direct human interest, instead of a computer activity to be performed, allows innovation in the algorithms and languages and hardware design. Sun plans extensive "human factors" testing with the purpose-based benchmarks to measure the extent to which Sun's system improves programmer productivity. Sun's goal is to design systems for the future, and purpose-based benchmarking is an important tool which will help to achieve that goal. Interval Arithmetic: Just as Sun is attentive to security and protection in operating systems, Sun is designing for safety and assured validity in arithmetic operations. Any assessment of "performance" assumes that one is getting the right answer... but with traditional computer arithmetic, "right answer" can be very tricky to define. Interval Arithmetic (IA) provides a powerful set of tools with which to build libraries and techniques for valid computing. In fact, Sun has found that IA can revolutionize the way some HPC problems are solved; in some cases, IA might be the _only_ way to get to a solution. Sun is a pioneer of Interval Arithmetic; it's already in the Sun compilers. In developing Sun's HPC system, Sun will explore this promising technology even further and will define answer quality rigorously so that people can fairly compare very different methods of computing the same thing. And Sun will use the purpose-based benchmarks for guidance in scoping the benefit of IA compared to traditional methods. Asynchronous design: For Speed: The synchronous systems in use today can only run as fast as their slowest component. Increasingly, Sun is employing asynchronous designs that lets each component run as fast as it possibly can. For Heat reduction: The name of the game in high-end computer design is reduce the heat. Asynchronous designs save power, and that means they dissipate less heat. For ease of upgrade: Sun's asynchronous approach allows graceful upgrades, fault tolerance and more easily repaired hardware. Path to the future: Asynchronous designs are inevitable. Sun is pioneering the way that someday all systems will be designed and built. --------------020706090109070508090901 Content-Type: text/plain; x-mac-type="54455854"; x-mac-creator="74657874"; name="DARPA release" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="DARPA release" <> IMMEDIATE RELEASE July 8, 2003 DARPA SELECTS THREE HIGH PRODUCTIVITY COMPUTING SYSTEMS PROJECTS The Defense Advanced Research Projects Agency (DARPA) recently selected Cray Inc. (Seattle, Wash.) teamed with New Technology Endeavors Inc. (Seattle, Wash.); IBM (Armonk, N.Y.); and Sun Microsystems Inc. (Mountain View, Calif.) as the three contractor teams for the second phase of the High Productivity Computing Systems (HPCS) program. The goal of the High Productivity Computing Systems program is to provide a new generation of economically viable, scalable, high productivity computing systems for the national security and industrial user communities in the 2009 to 2010 timeframe. The HPCS program will fill a gap in high-end computing that the Department of Defense will experience as it moves from today's high performance computing technology, which dates from the late 1980s, to the future promise of quantum computing. Cray/New Technology Endeavors received $43.1 million to develop their HPCS concept, Cascade, which incorporates hardware and software technology innovations to enable higher productivity for sustained peta-scale computing. Hardware innovations include new processor architectures to make more effective use of the memory hierarchy, processor-in-memory technologies to provide greater memory bandwidth, and high bandwidth, low-latency, scalable networks. Software innovations include support for scalable shared and distributed memory programming models to facilitate rapid development of new applications while maintaining high performance and portability of existing applications. IBM received $53.3 million for their PERCS (Productive, Easy-to-use, Reliable Computing Systems) approach. IBM is adapting the system layers to application requirements. Adaptability enhances the technical efficiency of the system, its ease of use, and its commercial viability by accommodating a large set of commercial and high performance computing workloads. During the second phase of the program, IBM will conduct research that will push the state of the art beyond the evolutionary path, with aggressive goals in performance, usability and time to solution. Sun Microsystems received $49.7 million to continue work on their integrated system approach known as Hero. Hero provides a simplified architecture and novel programming tools that boost user productivity, enhance numerical precision, increase system security, and support legacy software. The architecture makes quadrillions of calculations per second readily available to programmers. The Hero project is also providing a "purpose-based benchmarks" approach as a means of measuring and designing systems for the productivity and performance that are the primary goals of the HPCS program. DARPA's HPCS program is structured into three phases. The first phase was a 12-month, industry-guided concept study that provided critical technology assessments, developed revolutionary HPCS concept solutions, and generated new productivity metrics. The Phase I vendors produced revolutionary peta-scale system concepts that addressed sustained peta-scale performance, programmability, portability, and robustness. The second phase of the program is a 36-month research and development phase that will perform focused research and development and risk reduction engineering activities and will culminate in technology risk reduction demonstrations and a preliminary design review for each system. The third phase is a 48-month, full-scale engineering development effort. The program's major objectives not only include developing solutions for productive peta-scale systems but also developing a productivity evaluation framework and metrics. Phase I resulted in the development of a productivity framework approach for high-end computing, a first for this community. The focus is on time-to-solution. MIT Lincoln Laboratory, Lexington, Mass., will be leading the Phase II productivity team effort of implementing and validating the productivity framework. Active involvement by multiple government agencies or mission partners will continue to provide continual user feedback from the targeted high-end computing communities. More information on the program is located at the program web site, http://www.darpa.mil/ipto/research/hpcs/index.html . -END- Media with questions, please contact Jan Walker, (703) 696-2404, or jwalker [at] darpa [dot] mil . This release is available via the web at http://www.darpa.mil/body/news.html . --------------020706090109070508090901 Content-Type: text/plain; x-mac-type="54455854"; x-mac-creator="74657874"; name="Sun Release" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="Sun Release" ___________________________ Frank Smith Sun Microsystems, Inc. 650-786-7215 franke.smith [at] sun [dot] com Michelle Parkinson Alexander Ogilvy for Sun 310-248-6114 mparkinson [at] alexanderogilvy [dot] com SUN MICROSYSTEMS AWARDED $50M DEPARTMENT OF DEFENSE CONTRACT TO DEVELOP HIGH PRODUCTIVITY COMPUTING SYSTEM Sun Microsystems Laboratories to Lead Highly Innovative Project SANTA CLARA, Calif. -- July 8, 2003 -- Sun Microsystems, Inc. today announced that the Defense Advanced Research Projects Agency (DARPA), in conjunction with the Department of Interior, has awarded funding for a 36-month effort to Sun Microsystems worth nearly $50 million for Phase II of the High Productivity Computing Systems (HPCS) Program. Phase II of the project focuses on research and development that will produce a prototype design for an innovative high performance computing system that is also capable of delivering high programmer productivity. DARPA's award to Sun Labs for Phase II of the HPCS Program signals acceptance of Sun's Phase I concept design, developed by a team of Sun Microsystems' top scientists and engineers in collaboration with leading academic institutions. Sun's Phase I design includes revolutionary chip technologies that will dramatically increase computer systems performance and productivity. "DARPA asked for breakaway innovation and Sun's HPCS research results demonstrated that we are developing radical new technologies that can change the industry," said Scott McNealy, chairman, president, and CEO of Sun Microsystems. "As a total systems company with high-performance computing in our DNA, we're well positioned to deliver the next-generation system that will far outclass any of today's most powerful supercomputers. Our work will transform the way the world builds and uses high-end computer systems." "Sun's integrated system approach offers a greatly simplified architecture and novel programming tools that boost user productivity, enhance numerical precision, increase system security, and support legacy software. Furthermore, application programmers can readily access the peak capability of Sun's architecture, which will scale smoothly to quadrillions of calculations per second," said John Gustafson, Senior Scientist for Sun's HPCS Program. HPCS Project Overview DARPA's goal for the HPCS program is to provide a new generation of economically viable and holistically designed systems with breakaway levels of performance, programmability, reliability and portability. DARPA challenged vendors to provide 'petascale' systems in the coming decade that can perform quadrillions of operations per second without the problems of achieving ease-of-use and reliability that have plagued giant computer systems in recent years. These systems will address Department of Defense (DoD) high-performance requirements in a number of critical areas, including weather and ocean forecasting, cryptanalysis, weapons survivability and stealth design, surveillance and reconnaissance, virtual manufacturing and failure analysis, and biotechnology. The 36-month Phase II HPCS focus is on research and development of the system concept designed in Phase I, and will culminate in a prototype design for a commercially-viable high productivity computing system. Contractors for Phase III, which will involve 48 months of full-scale system development, assessment and reviews, will be chosen at a future date. For more information, visit www.darpa.mil/ipto/research/hpcs/index.html About Sun Microsystems, Inc. Since its inception in 1982, a singular vision -- "The Network Is The Computer" -- has propelled Sun Microsystems, Inc. (Nasdaq: SUNW) to its position as a leading provider of industrial-strength hardware, software and services that make the Net work. Sun can be found in more than 100 countries and on the World Wide Web at http://sun.com. # # # Sun, Sun Microsystems, the Sun logo and The Network Is The Computer are trademarks or registered trademarks of Sun Microsystems, Inc. in the United States and other countries. *************************** Mary Holzer Manager, PR and Marketing Communications Sun Microsystems Laboratories mary.holzer [at] sun [dot] com Phone: 650-336-6597 Fax: 650-969-7269 *************************** --------------020706090109070508090901-- From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jul 9 09:51:29 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h69EpSC24188 for reliable_computing-outgoing; Wed, 9 Jul 2003 09:51:28 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h69EpN624184 for ; Wed, 9 Jul 2003 09:51:23 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.3) with SMTP id h69Eoxj09784; Wed, 9 Jul 2003 08:50:59 -0600 (MDT) Message-Id: <200307091450.h69Eoxj09784 [at] cs [dot] utep.edu> Date: Wed, 9 Jul 2003 08:50:58 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Re: [Fwd: Sun wins DARPA HPCS Phase II] To: bill.walster [at] sun [dot] com Cc: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: RxOMKYZLHDWm5CUiXt/mPw== 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 Bill, Congratulations on the great news, and thanks a lot for your tireless efforts in promoting intervals! Vladik > Date: Tue, 08 Jul 2003 22:57:27 -0700 > From: "G. William Walster" > User-Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02 > X-Accept-Language: en-us, en > MIME-Version: 1.0 > To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu > Subject: [Fwd: Sun wins DARPA HPCS Phase II] > > > > Dear fellow intervalers, > > I hope you are all as delighted as I am that Sun has been > awarded a Phase II DARPA contract to develop a true peta- > scale super computer that depends heavily on interval > arithmetic. I am looking forward to working with you, > especially finding and developing interval applications > and tools that demonstrate why computing rigorous interval > bounds is a "must have" requirement. > > Below is some public background information to provide > context for understanding the two attached official press > releases. I'm sure there will be more soon. Look for them. > > Thanks for all your help, suggestions, encouragement, and > support. They have been invaluable. > > Best regards, > > Bill > > > ------------- > > TALKING NOTES FOR SUN'S HPCS EFFORT > > Sun's HPCS System Design: > > The Sun design for the second phase of the DARPA HPCS project is based > on a single system architecture, not a cluster of computers like Japan's > Earth Simulator and the ASCI machines. Sun's elegant single system > design is far easier to use and manage than a clustered solution and, in > addition, solves problems of security, safety, debugging, and > coordinating the sharing of memory by thousands of processors. > > Specific points: > > Security: > > With the help of one of the most respected security experts in the > world, Sun's Chief Security Officer Whitfield Diffie, Sun is designing a > solution with security built in from the beginning. It will be the most > secure supercomputer ever built, and that's particularly important for > government customers. > > > Programming Environment: > > Sun's design supports existing HPC programs, languages, and methods for > achieving parallel execution. The design incorporates the thinking of > the Sun HPCS team on what can and should be done with 21st-century > technology, while still supporting legacy software. Sun's goal is to > raise the level of abstraction at which programmers can express what > they want to do, and to let the system worry about the details, > essentially taking the burden of parallel programming off the human > programmer and putting it on the hardware instead. > > > Purpose-based benchmarks, overview: > > Sun recognized the need to innovate in the area of benchmarking to > design the HPC systems of the future. DARPA has incorporated Sun's > concept for "purpose-based benchmarks" in the specification for Phase > II, and Sun will share them with the HPC community as they are developed. > > Purpose-based benchmarks, explanation: > > Benchmarks of the past like LINPACK stress computer activities (e.g. > floating-point operations) that were previous bottlenecks, but now are > quite easy and fast. These benchmarks don't provide much useful > guidance to customers or to system designers with respect to problems of > direct human interest -- like designing cars or decoding genomes. > > Purpose-based benchmarks allow testing of not just the system > performance, but also the programming environment. Expressing a > benchmark in terms of an objective of direct human interest, instead of > a computer activity to be performed, allows innovation in the algorithms > and languages and hardware design. Sun plans extensive "human factors" > testing with the purpose-based benchmarks to measure the extent to which > Sun's system improves programmer productivity. Sun's goal is to design > systems for the future, and purpose-based benchmarking is an important > tool which will help to achieve that goal. > > > Interval Arithmetic: > > Just as Sun is attentive to security and protection in operating > systems, Sun is designing for safety and assured validity in arithmetic > operations. Any assessment of "performance" assumes that one is getting > the right answer... but with traditional computer arithmetic, "right > answer" can be very tricky to define. Interval Arithmetic (IA) provides > a powerful set of tools with which to build libraries and techniques for > valid computing. In fact, Sun has found that IA can revolutionize the > way some HPC problems are solved; in some cases, IA might be the _only_ > way to get to a solution. > > Sun is a pioneer of Interval Arithmetic; it's already in the Sun > compilers. In developing Sun's HPC system, Sun will explore this > promising technology even further and will define answer quality > rigorously so that people can fairly compare very different methods of > computing the same thing. And Sun will use the purpose-based benchmarks > for guidance in scoping the benefit of IA compared to traditional methods. > > > Asynchronous design: > > For Speed: > The synchronous systems in use today can only run as fast as their > slowest component. Increasingly, Sun is employing asynchronous designs > that lets each component run as fast as it possibly can. > > For Heat reduction: > The name of the game in high-end computer design is reduce the heat. > Asynchronous designs save power, and that means they dissipate less heat. > > For ease of upgrade: > Sun's asynchronous approach allows graceful upgrades, fault tolerance > and more easily repaired hardware. > > Path to the future: > Asynchronous designs are inevitable. Sun is pioneering the way that > someday all systems will be designed and built. > From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 10 08:08:26 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h6AD8Pf25469 for reliable_computing-outgoing; Thu, 10 Jul 2003 08:08:25 -0500 (CDT) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h6AD8MV25464 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 10 Jul 2003 08:08:22 -0500 (CDT) Received: from ns.ict.nsc.ru ([212.192.189.38]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h69E1N624142 for ; Wed, 9 Jul 2003 09:01:24 -0500 (CDT) Received: from Lab242 ([192.168.0.42]) by ns.ict.nsc.ru (8.11.6/8.11.6) with SMTP id h69E0xe12923; Wed, 9 Jul 2003 21:01:12 +0700 (NOVST) (envelope-from shary [at] ict [dot] nsc.ru) Message-ID: <003c01c34623$05c7dd90$2a00a8c0@Lab242> From: "Sergey P. Shary" To: Cc: Subject: Yuri Shokin is 60 Date: Wed, 9 Jul 2003 21:04:15 +0700 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4807.1700 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Yuri I. Shokin is 60 ==================== Today, on July 9, 2003, Yuri I. Shokin, the "father" of Russian interval analysis is celebrating his 60th anniversary ... The history of the interval analysis in the USSR (and in Russia) turned out, by and large, quite lucky, which is mainly due to the fact that its foundation has been laid by energetic, influential and far-seeing persons, posessing substantial administrative capabilities. In 1968, acdemician Nikolay Yanenko had brought to Novosibirsk from his foreign trip a copy of the book "Interval Analysis" by Ramon E. Moore. Fresh and clear language, new interesting problem statements, equally stimulating and instructive, these are the best qualities of the book by R.E. Moore fully appreciated by Nikolay Yanenko. He liked the book, but he did not have enough time to be engaged in the new discipline by himself. By that time, he headed a large department at Institute of Theoretical and Applied Mechanics of Russian Academy of Sciences in Novosibirsk, "carrying" a heavy burden of administrative duties. There existed the only outcome: to charge any one of his numerous students with the development of the new science. A young promising PhD Yuri I. Shokin was chosen to do that. Judging as of today, Nikolay Yanenko's choice looks very happy. Afterward, Yuri Shokin became an academician and a real "father" of the most influetial interval research group in Russia and ex-USSR. Being himself an active researcher in interval analysis, he has brought up many "interval" students, Sergey A. Kalmykov, Boris S. Dobronets, Alexei N. Rogalev, Ziyavidin Kh. Yuldashev, Sergey P. Shary among them. In 80's, Yuri Shokin became director of Krasnoyarsk Computer Center of Russain Academy of Sciences and organized there Laboratory of Interval Analysis. The same Interval Laboratory was organized by him in 90's at Institute of Computational Technologies in Novosibirsk. The first (and the second as well) interval book in USSR is also due to Yuri Shokin. Currently, one of a few scientific publications that announce interval analysis among its scope is the journal "Computational Technologies" published by Institute of Computational Technologies in Novosibirsk. Wishing him all the best and further successes in interval analysis, mathematical modelling and his numerous deeds! Sergey P. Shary From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 10 11:33:48 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h6AGXl825751 for reliable_computing-outgoing; Thu, 10 Jul 2003 11:33:47 -0500 (CDT) Received: from imeil.udg.es (imeil.udg.es [130.206.45.97]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h6AGXd625747 for ; Thu, 10 Jul 2003 11:33:40 -0500 (CDT) Received: from imeil.udg.es (localhost.localdomain [127.0.0.1]) by imeil.udg.es (8.11.6/out/otb) with ESMTP id h6ANUq432728 for ; Thu, 10 Jul 2003 18:30:52 -0500 Received: from eia.udg.es (silver.udg.es [130.206.129.16]) by imeil.udg.es (8.11.6/in/otb) with ESMTP id h6ANUoW32715; Thu, 10 Jul 2003 18:30:50 -0500 Received: from PCEIA000 (pceia000.udg.es [130.206.129.66]) by eia.udg.es (8.8.5/8.8.5) with ESMTP id SAA26487; Thu, 10 Jul 2003 18:34:42 +0200 (MET DST) From: "Josep Vehi" To: , , , Subject: Call for contributions: Special session on Industrial Applications of Interval Methods Date: Thu, 10 Jul 2003 18:33:18 +0200 Organization: Universitat de Girona Message-ID: <000001c34700$fa2a63c0$4281ce82@PCEIA000> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_NextPart_000_0001_01C34711.BDB333C0" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.2627 Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0001_01C34711.BDB333C0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear all, I=92m organizing an special session on Industrial Applications of = Interval Methods in the 5th International Symposium on Soft Computing for Industry (ISSCI). ISSCI will be held in Seville, Spain, June 28 - July 1, 2004, in the framework of the World Automation Congress. I think it is a good opportunity for researchers using interval methods in real applications to disseminate their work and, at the end, to promote intervals. Those who are interested in participating, please send a two pages abstract directly to me before September, 1st.=20 Best regards Josep Veh=ED MICELab (http://eia.udg.es/mice) University of Girona. Campus Montilivi. Edifici P4. 17071 Girona, Spain=20 Tel: +34 972 418 495 Fax: +34 972 418 976 PS: You will find attached the general Announcement for WAC2004 =96 = ISSCI ------=_NextPart_000_0001_01C34711.BDB333C0 Content-Type: text/x-vcard; name="Josep Vehi (vehi [at] eia [dot] udg.es).vcf" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="Josep Vehi (vehi [at] eia [dot] udg.es).vcf" BEGIN:VCARD VERSION:2.1 N:Vehi;Josep FN:Josep Vehi (vehi [at] eia [dot] udg.es) ORG:Universitat de Girona;D.E.I.A. TEL;WORK;VOICE:+34 972 418 495 TEL;WORK;FAX:+34 972 418 098 ADR;WORK;ENCODING=3DQUOTED-PRINTABLE:;;Campus Montilivi. Edifici = P-IV=3D0D=3D0A17071 Girona LABEL;WORK;ENCODING=3DQUOTED-PRINTABLE:Campus Montilivi. Edifici = P-IV=3D0D=3D0A17071 Girona ADR;POSTAL;ENCODING=3DQUOTED-PRINTABLE:;;Campus Montilivi. Edifici = P-IV=3D0D=3D0A17071 Girona LABEL;POSTAL;ENCODING=3DQUOTED-PRINTABLE:Campus Montilivi. Edifici = P-IV=3D0D=3D0A17071 Girona EMAIL;PREF;INTERNET:vehi [at] eia [dot] udg.es REV:20021015T080114Z END:VCARD ------=_NextPart_000_0001_01C34711.BDB333C0 Content-Type: application/msword; name="Announcement_for_WAC_2004.doc" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="Announcement_for_WAC_2004.doc" 0M8R4KGxGuEAAAAAAAAAAAAAAAAAAAAAPgADAP7/CQAGAAAAAAAAAAAAAAABAAAAQwAAAAAAAAAA EAAARQAAAAEAAAD+////AAAAAEQAAAD///////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////////s pcEAOSAJBAAA+BK/AAAAAAAAEAAAAAAABAAAChgAAA4AYmpiav3P/c8AAAAAAAAAAAAAAAAAAAAA AAAHBBYALi4AAJ+lAACfpQAAChQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD//w8AAAAA AAAAAAD//w8AAAAAAAAAAAD//w8AAAAAAAAAAAAAAAAAAAAAAGwAAAAAAMQBAAAAAAAAxAEAAMQB AAAAAAAAxAEAAAAAAADEAQAAAAAAAMQBAAAAAAAAxAEAABQAAAAAAAAAAAAAANgBAAAAAAAAFgwA AAAAAAAWDAAAAAAAABYMAAAAAAAAFgwAABQAAAAqDAAALAAAANgBAAAAAAAAaxYAAHwBAABiDAAA FgAAAHgMAAAAAAAAeAwAAAAAAAB4DAAAAAAAAHgMAAAAAAAAUw0AAAAAAABTDQAAAAAAAFMNAAAA AAAA6hUAAAIAAADsFQAAAAAAAOwVAAAAAAAA7BUAAAAAAADsFQAAAAAAAOwVAAAAAAAA7BUAACQA AADnFwAAIAIAAAcaAACQAAAAEBYAABUAAAAAAAAAAAAAAAAAAAAAAAAAxAEAAAAAAABTDQAAAAAA AAAAAAAAAAAAAAAAAAAAAABTDQAAAAAAAFMNAAAAAAAAUw0AAAAAAABTDQAAAAAAABAWAAAAAAAA AxEAAAAAAADEAQAAAAAAAMQBAAAAAAAAeAwAAAAAAAAAAAAAAAAAAHgMAADbAAAAJRYAABYAAAAD EQAAAAAAAAMRAAAAAAAAAxEAAAAAAABTDQAALgMAAMQBAAAAAAAAeAwAAAAAAADEAQAAAAAAAHgM AAAAAAAA6hUAAAAAAAAAAAAAAAAAAAMRAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAUw0AAAAAAADqFQAAAAAAAAMRAAAiAgAAAxEAAAAAAAAlEwAA HgAAAJ4VAAAYAAAAxAEAAAAAAADEAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA6hUAAAAAAAB4DAAAAAAAAFYMAAAMAAAAcOSsr+U/ wwHYAQAAPgoAABYMAAAAAAAAgRAAAAAAAAC2FQAACAAAAAAAAAAAAAAA6hUAAAAAAAA7FgAAMAAA AGsWAAAAAAAAvhUAACwAAACXGgAAAAAAAIEQAACCAAAAlxoAAAAAAADqFQAAAAAAAAMRAAAAAAAA 2AEAAAAAAADYAQAAAAAAAMQBAAAAAAAAxAEAAAAAAADEAQAAAAAAAMQBAAAAAAAAAgDZAAAAQW5u b3VuY2VtZW50IGZvciBXQUMgMjAwNCAoSVNTQ0kpDRMgSFlQRVJMSU5LICJodHRwOi8vd3d3Lndh Y29uZy5jb20iIAEUaHR0cDovL3d3dy53YWNvbmcuY29tFQ0NUGFwZXJzIHNob3VsZCBiZSBzdWJt aXR0ZWQgdmlhIEludGVybmV0LiBUbyBzdWJtaXQgcGFwZXJzIG9yIG9idGFpbiBjdXJyZW50IGlu Zm9ybWF0aW9uIG9uIElTU0NJIDIwMDQgcGxlYXNlIHZpc2l0IA1odHRwOi8vd3d3LmluLnR1LWNs YXVzdGhhbC5kZS9jb25mZXJlbmNlIA0NDQ0NVGhlIG9yZ2FuaXppbmcgQ29tbWl0dGVlIGlzIHBs ZWFzZWQgdG8gaW52aXRlIHlvdSB0byBzdWJtaXQgcGFwZXJzIHRvIGFuZCBhdHRlbmQgdGhlIGlu dGVybmF0aW9uYWwgV29ybGQgQXV0b21hdGlvbiBDb25ncmVzcyAyMDA0IG9uIElTU0NJIGluIFNl dmlsbGUsIEp1bmUgMjggLSBKdWx5IDEsIDIwMDQuIElTU0NJIJYgdGhlIDV0aCBJbnRlcm5hdGlv bmFsIFN5bXBvc2l1bSBvbiBTb2Z0IENvbXB1dGluZyBmb3IgSW5kdXN0cnkgd2l0aCBhcHBsaWNh dGlvbnMgb2YgZmluYW5jaWFsIGVuZ2luZWVyaW5nIJYgYWltcyB0byBicmluZyB0b2dldGhlciBz Y2llbnRpc3RzLCBkZXZlbG9wZXJzIGFuZCB1c2VycyBvZiBoYXJkLSBhbmQgc29mdHdhcmUgYXBw bGljYXRpb25zIGluIHdoaWNoIHRoZSBwcmluY2lwbGVzIG9mIGNvbXB1dGF0aW9uYWwgaW50ZWxs aWdlbmNlIHRlY2huaXF1ZXMgYXJlIGludm9sdmVkLiBCeSBwcm92aWRpbmcgYSBudW1iZXIgb2Yg dGhlbWVkIHRyYWNrcyAoYm90aCBmdW5kYW1lbnRhbCB0aGVtZXMgYW5kIGFwcGxpY2F0aW9uIGFy ZWFzKSwgdGhlIFByb2dyYW1tZSBDb21taXR0ZWUgaGFzIGF0dGVtcHRlZCB0byBwcm92aWRlIGZv Y2kgZm9yIHNjaWVudGlmaWMgY29udHJpYnV0aW9ucyB3aGlsZSBvZmZlcmluZyBhbiBvcHBvcnR1 bml0eSB0byB0aGUgcGFydGljaXBhbnRzIHRvIGVuZ2FnZSBpbiBzdGltdWxhdGluZyBkaXNjdXNz aW9ucyB3aXRoIGNvbGxlYWd1ZXMgd2hvIG1heSBoYXZlIHF1aXRlIGRpZmZlcmVudCBhcHBsaWNh dGlvbiBmcmFtZXMgb2YgcmVmZXJlbmNlLg0NRnVydGhlcm1vcmUgcGFwZXJzIGFyZSByZXF1ZXN0 ZWQgZGVhbGluZyB3aXRoIFNvZnRjb21wdXRpbmcgbWV0aG9kcyBpbiBCdXNpbmVzcyBJbmZvcm1h dGlvbiBTeXN0ZW1zIGFuZCBCdXNpbmVzcyBJbmZvcm1hdGljcyBhcyBhIHNwZWNpYWwgdHJhY2sg d2l0aGluDXRoZSBjb25mZXJlbmNlLg0NQXMgdGhlIGNhcGl0YWwgb2YgQW5kYWx1c2lhLCBTZXZp bGxlLCBwb3NzZXNzZXMgYSBoaWdoIG51bWJlciBvZiB3b3JsZC1jbGFzcyBjb25mZXJlbmNlIGZh Y2lsaXRpZXMsIGNvbW11bmljYXRpb24gaW5mcmFzdHJ1Y3R1cmVzIGFuZCBob3RlbHMuIFNldmls bGUgaXMgYWxzbyBhbiBpZGVhbCBwbGFjZSBmb3Igc2lnaHRzZWVpbmcuIEl0cyByaWNoIGN1bHR1 cmVzIGFuZCBoaXN0b3JpY2FsIGF0dHJhY3Rpb25zIHN1Y2ggYXMgdGhlIEdpcmFsZGEsIHRoZSBB bGNhemFyLCB0aGUgQ2F0aGVkcmFsIGFuZCB0aGUgQmFycmlvIFNhbnRhIENydXogd2lsbCBwcm92 aWRlIHVuaXF1ZSBleHBlcmllbmNlcyBmb3Igc29jaWFsIGFjdGl2aXRpZXMuDQ1Ub3BpY3M6DQ1X ZSBzb2xpY2l0IHBhcGVycyBvbiB0aGVvcmV0aWNhbCBpc3N1ZXMgYW5kIHRoZWlyIGFwcGxpY2F0 aW9ucyByZWxhdGVkIHRvIFNvZnQgQ29tcHV0aW5nIE1ldGhvZHMuIFN1Z2dlc3RlZCB0b3BpY3Mg aW5jbHVkZSBidXQgYXJlIG5vdCBsaW1pdGVkIHRvIFRoZW9yeSBhbmQgU29mdHdhcmUvSGFyZHdh cmUgSW1wbGVtZW50YXRpb25zIG9mIHNvZnQtY29tcHV0aW5nIHRlY2huaXF1ZXMgc3VjaCBhcw0N TmV1cmFsIE5ldHMsIA1GdXp6eSBTeXN0ZW1zLCANRnV6enktTmV1cmFsIFN5c3RlbXMsIA1Fdm9s dXRpb25hcnkgU3lzdGVtcw0NYW5kIGFsbCBraW5kcyBvZiBSJkQsIGluZHVzdHJpYWwsIG1lZGlj YWwgb3IgZmluYW5jaWFsIGFwcGxpY2F0aW9ucy4NDQ1QYXBlcnMgYW5kIFN1Ym1pc3Npb25zOg0N QXV0aG9ycyBhcmUgaW52aXRlZCB0byBzdWJtaXQgZnVsbCBwYXBlcnMgYmVmb3JlIERlY2VtYmVy IDEsIDIwMDMuIA0NRWFjaCBmdWxsIHBhcGVyIHN1Ym1pdHRlZCBtdXN0IGNvbnRhaW4gdGhlIGZv bGxvd2luZyBpbmZvcm1hdGlvbjogZnVsbCB0aXRsZSBvZiB0aGUgcGFwZXIsIG5hbWVzIGFuZCBh ZmZpbGlhdGlvbnMsIGNvbXBsZXRlIGFkZHJlc3MgKGluY2x1ZGluZyBlLW1haWwsIGZheCwgcGhv bmUgYW5kIHBob25lIG9mIHRoZSBjb3JyZXNwb25kaW5nIGF1dGhvcikuDQ1GdXJ0aGVyIGluZm9y bWF0aW9uIGFib3V0IHRoZSBsYXlvdXQgb2YgeW91ciBwYXBlcnMgY2FuIGJlIHNlZW4gb246IGh0 dHA6Ly93d3cud2Fjb25nLmNvbS9XYWMyMDA0L2FrLmh0bWwNDVBhcGVycyBzaG91bGQgYmUgc3Vi bWl0dGVkIHZpYSBJbnRlcm5ldC4gVG8gc3VibWl0IHBhcGVycyBvciBvYnRhaW4gY3VycmVudCBp bmZvcm1hdGlvbiBvbiBJU1NDSSAyMDA0IHBsZWFzZSB2aXNpdCBodHRwOi8vd3d3LmluLnR1LWNs YXVzdGhhbC5kZS9jb25mZXJlbmNlIA0NU3BlY2lhbCBpc3N1ZXMgZm9yIEludGVybmF0aW9uYWwg Sm91cm5hbHM6DQ1UaGUgZm9sbG93aW5nIGpvdXJuYWxzIGNhbiBiZSByZWFjaGVkIHRvIHNwb25z b3Igc3BlY2lhbCBpc3N1ZXMgYmFzZWQgb24gV0FDIDIwMDQgZXh0ZW5kZWQgcGFwZXJzIGJlZm9y ZSBvciBhZnRlciB0aGUgQ29uZ3Jlc3MgaW4gU2V2aWxsZToNDbdUaGUgSW50ZXJuYXRpb25hbCBK b3VybmFsIG9uIEludGVsbGlnZW50IEF1dG9tYXRpb24gYW5kIFNvZnQgQ29tcHV0aW5nIEF1dG9T b2Z0IChPZmZpY2lhbCBqb3VybmFsIG9mIFdBQywgZ29pbmcgc3Ryb25nIGluIGl0cyA5dGggeWVh cikgd3d3LmN5YmVybWVzYS5jb20vfmpzL2F1dG9zb2Z0bWFpbi5odG1sDQ23SW50ZXJuYXRpb25h bCBKb3VybmFsIG9uIENvbXB1dGVycyBhbmQgRWxlY3RyaWNhbCBFbmdpbmVlcmluZyAod3d3LmVs c2V2aWVyLmNvbS9sb2NhdGUvY29tcGVsZWNlbmcpICANDbdJbnRlbGxpZ2VudCBhbmQgRnV6enkg U3lzdGVtcyAoSU9TIFByZXNzLCBOZXRoZXJsYW5kcykNDbdKb3VybmFsIG9mIEludGVsbGlnZW50 IE1hbnVmYWN0dXJpbmcNt0ludGVsbGlnZW50IGFuZCBBdXRvbm9tb3VzIFN5c3RlbXMNDVJlZ2lz dHJhdGlvbjoNDVJlZ2lzdHJhdGlvbiBmZWUgaXMgVVMgJCA0NjAgYmVmb3JlIE1hcmNoIDIwLCAy MDA0IGFuZCBVUyAkNTEwIGFmdGVyIE1hcmNoIDIwLCAyMDA0Lg0NDUltcG9ydGFudCBEYXRlczoN DURlYWRsaW5lIGZvciBhYnN0cmFjdCBzdWJtaXNzaW9uOiBTZXB0ZW1iZXIgMSwgMjAwMw1GaW5h bCBwYXBlciB2ZXJzaW9uIGR1ZTogRGVjZW1iZXIgMSwgMjAwMw1Ob3RpZmljYXRpb24gb2YgYWNj ZXB0YW5jZTogRGVjZW1iZXIgMzEsIDIwMDMNQ29uZmVyZW5jZTogSnVuZSAyOCAtIEp1bHkgMSwg MjAwNCANDSANT3JnYW5pemluZyBDb21taXR0ZWU6DQ1JU1NDSSAyMDAyIENoYWlyOiBNYXR0aGlh cyBSZXV0ZXIsIFRlY2huaWNhbCBVbml2ZXJzaXR5IG9mIENsYXVzdGhhbCwgR2VybWFueQ1Dby1D aGFpcjogSm9yZ2UgTWFyeCBH821leiwgVGVjaG5pY2FsIFVuaXZlcnNpdHkgb2YgQ2xhdXN0aGFs LCBHZXJtYW55DQ1Qcm9ncmFtIENvbW1pdHRlZSBtZW1iZXJzOg0NUmV2aWV3ZXI6DUdlb3JnaSBE aW1pcm92c2tpLCBUdXJrZXkLUmFtaXJvIE1hcnRpbmV6IGRlIERpb3MsIFNwYWluC011c3RhZmEg RG9yaWQsIFVTQQtCZXJuZCBSZXVzY2gsIEdlcm1hbnkLVGFrZXNoaSBZYW1ha2F2YSwgS29yZWEL U2h1LUhlbmcgQ2hlbiwgVGFpd2FuC0phaW1lIFJhbWlyZXotQW5ndWxvLCBTcGFpbgtCZXJuYXJk IERlIEJhZXRzLCBCZWxnaXVtC1NhYmluZSBCb3N0ZWxtYW5uLCBHZXJtYW55C0pvcmdlIE1hcngg R29tZXosIEdlcm1hbnkLQ2xhdXMgUmF1dGVuc3RyYXVjaCwgR2VybWFueQtHZXJyeSBWLiBEb3pp ZXIsIFVTQQtGcmFuY2VzY28gTWFzdWxsaSwgSXRhbHkLUnViZW4gUnVlbGFzLCBNZXhpY28LSm9z ZXAgVmVoaSwgU3BhaW4LQ2xhdWRpbyBNb3JhZ2EsIEdlcm1hbnkLSnVuIE9oIEphbmcsIFNvdXRo IEtvcmVhC0RhdmlkIFkuIFNvbmcsIFVTQQtBa2lyYSBOYW1hdGFtZSwgSmFwYW4LSmVycnkgUGFy a2luc29uLCBVU0ELRWRnYXIgTi4gU2FuY2hleiwgTWV4aWNvC01vaGFtZWQgS2FtZWwsIENhbmFk YQtKYW1lcyBHLiBTaGFuYWhhbiwgVVNBC0FuZHJlIFRpdGxpLCBGcmFuY2ULRmVybmFuZG8gR29t aWRlLCBCcmFzaWwLSmFyaSBTZXBwYWxhLCBGaW5sYW5kC090bWFuIEEuIEJhc2lyLCBDYW5hZGEg C0RhIFJ1YW4sIEJlbGdpdW0LQ2hyaXN0aWFuLCBLZWJlciwgQXVzdHJpYQtLb2l2bywgSGVpa2tp LCBGaW5ubGFuZAtXaWVsYW5kLCBGcmFuaywgR2VybWFueQ0NDQ1DaGFpcm1lbjoNDQ1CZXJuZCBS ZXVzY2gsIEdlcm1hbnkNSmFpbWUgUmFtaXJlei1Bbmd1bG8sIFNwYWluDVNhYmluZSBCb3N0ZWxt YW5uLCAgR2VybWFueQ1Kb3JnZSBNYXJ4IEdvbWV6LCBHZXJtYW55DUJlcm5hcmQgRGUgQmFldHMs IEJlbGdpdW0NUnViZW4gUnVlbGFzLCBNZXhpY28NRGF2aWQsIFkuIFNvbmcsIFVTQQ1Ba2lyYSBO YW1hdGFtZSwgSmFwYW4NQ2xhdWRpbyBNb3JhZ2EsIEdlcm1hbnkNTW9oYW1lZCBLYW1lbCwgQ2Fu YWRhDUphbWVzIEcuIFNoYW5haGFuLCBVU0ENQW5kcmUgVGl0bGksIEZyYW5jZQ1GZXJuYW5kbyBH b21pZGUsIEJyYXNpbA1PdG1hbiBBLiBCYXNpciwgQ2FuYWRhDUtvaXZvLCBIZWlra2ksIEZpbm5s YW5kDVdpZWxhbmQsIEZyYW5rLCBHZXJtYW55DQ0NT3JnYW5pemVyIG9mIGFuIEludml0ZWQgU2Vz c2lvbjoNDVRha2VzaGkgWWFtYWthdmEsIEtvcmVhIA1TaHUtSGVuZyBDaGVuLCBUYWl3YW4NSm9z ZXAgVmVoaSwgU3BhaW4gIA1UZXJyeSBCb3R0LCBVU0ENDQ0NDUNvbnRhY3QgSW5mb3JtYXRpb246 DQ1QRCBEci4gTWF0dGhpYXMgUmV1dGVyDVRlY2huaWNhbCBVbml2ZXJzaXR5IG9mIENsYXVzdGhh bA1JbnN0aXR1dGUgb2YgQ29tcHV0ZXIgU2NpZW5jZQ1KdWxpdXMtQWxiZXJ0LVN0ci4gNA0zODY3 OCBDbGF1c3RoYWwtWmVsbGVyZmVsZA1HZXJtYW55DVRlbDogKjQ5IDUzMjMgNzItNzEwNA1GYXg6 ICo0OSA1MzIzIDcyLTcxMzkNcmV1dGVyQGluZm9ybWF0aWsudHUtY2xhdXN0aGFsLmRlIA0NAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAAIgQAACMEAABGBAAA RwQAAEgEAABdBAAAXgQAAF8EAABgBAAA1AQAAP4EAAAABQAANQoAADwKAAA+CgAAtQsAAM4LAABJ DQAAvA0AAOYNAADnDQAAEw4AAD0QAABMEAAAohAAALUQAABoEQAAfxEAAJARAADNEQAA1hEAABUS AAAwEgAAMRIAADsSAAASFQAAExUAABUVAAAgFQAAIRUAAFIVAABTFQAAbxUAAIkVAAC3FQAA9uvl 1+vQ6+XFALrlta2kta21xZi1rbWtta21reW15bWJteV45bXlc7XlcwC1AAhtSBAEc0gQBAAhQioA T0oAAFBKAABRSgAAXkoAAG1ICQhwaAAAAP9zSAkIHD4qAUIqAUNKGwBhShsAbUgJCHBoAAAAAHNI CQgAFzUIgTYIgT4qAVwIgV0IgW1ICQhzSAkIETUIgT4qAVwIgW1ICQhzSAkIDjUIgVwIgW1ICQhz SAkIAAhtSAkIc0gJCAAUPioBQioCbUgJCHBoAAD/AHNICQgAFDUIgTYIgVwIgV0IgW1ICQhzSAkI AAwwSg8AbUgJCHNICQgAGgIIgQNqAAAAAAYIAT4qAVUIAW1ICQhzSAkIAAs+KgFtSAkIc0gJCBQD agAAAAA+KgFVCAFtSAkIc0gJCAASNQiBQ0ocAFwIgW1ICQhzSAkILQAEAAAiBAAAXwQAAGAEAADU BAAA/gQAAP8EAAAABQAAAQUAAAIFAAAfCAAAIAgAALcIAADHCAAAyAgAADQKAAA1CgAAPQoAAD4K AAAiCwAAIwsAADELAABBCwAAWAsAAG0LAABuCwAAswsAALQLAAC1CwAA+gAAAAAAAAAAAAAAAPoA AAAAAAAAAAAAAAD4AAAAAAAAAAAAAAAA9gAAAAAAAAAAAAAAAPgAAAAAAAAAAAAAAAD4AAAAAAAA AAAAAAAA+AAAAAAAAAAAAAAAAPgAAAAAAAAAAAAAAAD4AAAAAAAAAAAAAAAA+AAAAAAAAAAAAAAA APgAAAAAAAAAAAAAAAD4AAAAAAAAAAAAAAAA+AAAAAAAAAAAAAAAAPgAAAAAAAAAAAAAAAD4AAAA AAAAAAAAAAAA+AAAAAAAAAAAAAAAAPgAAAAAAAAAAAAAAAD4AAAAAAAAAAAAAAAA+AAAAAAAAAAA AAAAAPgAAAAAAAAAAAAAAAD4AAAAAAAAAAAAAAAA+AAAAAAAAAAAAAAAAPgAAAAAAAAAAAAAAAD4 AAAAAAAAAAAAAAAA+AAAAAAAAAAAAAAAAPgAAAAAAAAAAAAAAAD4AAAAAAAAAAAAAAAA+AAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAABEAAAAQAAAAQAAAMkAWEkAQAcAAQAAAoYAAD+AAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIBAQG1CwAAzQsAAM4LAAASDAAAEwwA AN0MAADeDAAASA0AAEkNAADmDQAA5w0AABIOAAATDgAAng4AAJ8OAABQDwAAUQ8AALgPAAC5DwAA 8Q8AAPIPAAAYEAAAPBAAAD0QAABLEAAATBAAAKEQAACiEAAAoxAAALQQAAD9AAAAAAAAAAAAAAAA /QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAA AAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAA AAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0A AAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAA AAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAA AP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAA AAAAAAAAAAAA/QAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAAAHbQQAAC1EAAA6RAAABMRAABBEQAA ZREAAGYRAABoEQAAfhEAAH8RAADNEQAAFBIAABUSAAAwEgAAMRIAADsSAAASFQAAExUAABQVAAAV FQAAHxUAACAVAAAhFQAANxUAAFMVAABvFQAAiRUAAKMVAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAA AAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9 AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAA AAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAPgAAAAAAAAAAAAA AADyAAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAOwAAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA+AAA AAAAAAAAAAAAAP0AAAAAAAAAAAAAAADsAAAAAAAAAAAAAAAA7AAAAAAAAAAAAAAAAOwAAAAAAAAA AAAAAADsAAAAAAAAAAAAAAAA7AAAAAAAAAAAAAAAAOwAAAAAAAAAAAAAAAAAAAAAAAAAAAAABQAA D4TQAl6E0AIABREAD4TQAl6E0AIFAAAKJgALRgEAAAEAAAAboxUAALgVAADMFQAA4hUAAPoVAAAQ FgAAJxYAADsWAABTFgAAahYAAIIWAACaFgAAmxYAAJwWAAC9FgAAvhYAANcWAADtFgAAARcAABEX AAASFwAAExcAABQXAAAVFwAAKhcAACsXAABCFwAAZBcAAPkAAAAAAAAAAAAAAAD5AAAAAAAAAAAA AAAA+QAAAAAAAAAAAAAAAPkAAAAAAAAAAAAAAAD5AAAAAAAAAAAAAAAA7wAAAAAAAAAAAAAAAPkA AAAAAAAAAAAAAAD5AAAAAAAAAAAAAAAA7wAAAAAAAAAAAAAAAPkAAAAAAAAAAAAAAADvAAAAAAAA AAAAAAAA+QAAAAAAAAAAAAAAAO0AAAAAAAAAAAAAAADoAAAAAAAAAAAAAAAA7QAAAAAAAAAAAAAA APkAAAAAAAAAAAAAAAD5AAAAAAAAAAAAAAAA+QAAAAAAAAAAAAAAAPkAAAAAAAAAAAAAAADtAAAA AAAAAAAAAAAA7QAAAAAAAAAAAAAAAO0AAAAAAAAAAAAAAADtAAAAAAAAAAAAAAAA7QAAAAAAAAAA AAAAAO0AAAAAAAAAAAAAAADtAAAAAAAAAAAAAAAA7QAAAAAAAAAAAAAAAAAFAAAKJgALRgEAAAEA AAoAABGExAI3JAA4JABIJABghMQCAAUAAA+E0AJehNACABu3FQAA4hUAAPoVAAAQFgAAJxYAAFMW AABqFgAAghYAAJoWAACcFgAAvhYAABUXAAArFwAAQhcAAIIXAADQFwAAChgAAAD79u/77wDs6uT2 3AD2ANcAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAACG1IDARzSAwEAA41CIFcCIFtSAkIc0gJCAALPioBbUgJCHNICQgDPioBBGFKFAAA DGFKFABtSAkIc0gJCAAIbUgJCHNICQgACG1IEARzSBAEEGQXAACCFwAAlxcAALIXAAC6FwAA0BcA AOYXAAAJGAAAChgAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAA AAAAAAAAAAD9AAAAAAAAAAAAAAAA/QAAAAAAAAAAAAAAAP0AAAAAAAAAAAAAAAD9AAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAILAAxkGgBH7CCLiCwxkEhsIkFIrCJBSOQ 6gQkkG4EJbAAABewxAIYsMQCDJDEAgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADPAAAARAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADQyep5+brOEYyCAKoA S6kLAgAAABcAAAAWAAAAaAB0AHQAcAA6AC8ALwB3AHcAdwAuAHcAYQBjAG8AbgBnAC4AYwBvAG0A AADgyep5+brOEYyCAKoAS6kLLgAAAGgAdAB0AHAAOgAvAC8AdwB3AHcALgB3AGEAYwBvAG4AZwAu AGMAbwBtAC8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAFAASAAoAAQBpAA8AAwAAAAAAAAAAADwAAEDx/wIAPAAM AAgAUwB0AGEAbgBkAGEAcgBkAAAAAgAAABgAQ0oYAF9IAQRhShgAbUgHBHNIBwR0SAcESgABAAEA AgBKAAwADQDcAGIAZQByAHMAYwBoAHIAaQBmAHQAIAAxAAAAEAABAAYkAQ+E0AJAJgBehNACDgA2 CIFdCIFtSBAEc0gQBAAAAAAAAAAAAAAAAAAAAABCAEFA8v+hAEIADAEZAEEAYgBzAGEAdAB6AC0A UwB0AGEAbgBkAGEAcgBkAHMAYwBoAHIAaQBmAHQAYQByAHQAAAAAAAAAAAAAAAAALgBVQKIA8QAu AAwACQBIAHkAcABlAHIAbABpAG4AawAAAAwAPioBQioCcGgAAP8APABCQAEAAgE8AAwACgBUAGUA eAB0AGsA9gByAHAAZQByAAAAAgAQABQANQiBNgiBXAiBXQiBbUgJCHNICQhYAF5AAQASAVgADAAO AFMAdABhAG4AZABhAHIAZAAgACgAVwBlAGIAKQAAABAAEQATpGQAFKRkAFskAVwkARkAQioBT0oD AFBKAwBRSgMAXkoDAHBoAAAAAAAAAAAAChQAAAQAAC4AAAAA/////wAAAAAiAAAAXwAAAGAAAADU AAAA/gAAAP8AAAAAAQAAAQEAAAIBAAAfBAAAIAQAALcEAADHBAAAyAQAADQGAAA1BgAAPQYAAD4G AAAiBwAAIwcAADEHAABBBwAAWAcAAG0HAABuBwAAswcAALQHAAC1BwAAzQcAAM4HAAASCAAAEwgA AN0IAADeCAAASAkAAEkJAADmCQAA5wkAABIKAAATCgAAngoAAJ8KAABQCwAAUQsAALgLAAC5CwAA 8QsAAPILAAAYDAAAPAwAAD0MAABLDAAATAwAAKEMAACiDAAAowwAALQMAAC1DAAA6QwAABMNAABB DQAAZQ0AAGYNAABoDQAAfg0AAH8NAADNDQAAFA4AABUOAAAwDgAAMQ4AADsOAAASEQAAExEAABQR AAAVEQAAHxEAACARAAAhEQAANxEAAFMRAABvEQAAiREAAKMRAAC4EQAAzBEAAOIRAAD6EQAAEBIA ACcSAAA7EgAAUxIAAGoSAACCEgAAmhIAAJsSAACcEgAAvRIAAL4SAADXEgAA7RIAAAETAAAREwAA EhMAABMTAAAUEwAAFRMAACoTAAArEwAAQhMAAGQTAACCEwAAlxMAALITAAC6EwAA0BMAAOYTAAAJ FAAADBQAAJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACA AAAAgJgAAAAQMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAA gJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgA AAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAA MAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAA AAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAA AACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACA AAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAA gJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgA AAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJoAAAAAMAAAAAAAAACAAAAAgJgAAAAA MAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAA AAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAA AACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACA AAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAA gJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgA AAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAA MAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAA AAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAA AACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACA AAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAA gJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgA AAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAA MAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAASAAMAAAAAAAAACAAAAAgJgAAAARMAAA AAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAA AACAAAAAgJgAASAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACA AAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAA gJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgA AAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAA MAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAA AAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAA AACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAASAAMAAAAAAAAACA AAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAA gJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgA AAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAA MAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAA AAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAA AACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACA AAAAgJgAAAAAMAAAAAAAAACAAAAAgJgAAAAAMAAAAAAAAACAAAAAgAAEAAC3FQAAChgAAA8AAAAV AAAAAAQAALULAAC0EAAAoxUAAGQXAAAKGAAAEAAAABIAAAATAAAAFAAAABYAAAAABAAAChgAABEA AAAiAAAARwAAAF0AAAAKFAAAE1gU/xWEDwAA8DgAAAAAAAbwGAAAAAIIAAACAAAAAQAAAAEAAAAB AAAAAgAAAEAAHvEQAAAA//8AAAAA/wCAgIAA9wAAEAAPAALwkgAAABAACPAIAAAAAQAAAAEEAAAP AAPwMAAAAA8ABPAoAAAAAQAJ8BAAAAAAAAAAAAAAAAAAAAAAAAAAAgAK8AgAAAAABAAABQAAAA8A BPBCAAAAEgAK8AgAAAABBAAAAA4AAFMAC/AeAAAAvwEAABAAywEAAAAA/wEAAAgABAMJAAAAPwMB AAEAAAAR8AQAAAABAAAAAAAAAE4EAABbBAAAvwUAAMYFAADMBQAA0wUAAP8HAAAHCAAACAgAAAkI AAALCAAADwgAAOcKAADvCgAAkQsAALQLAAA7DgAAQQ4AAEIOAABMDgAAaA4AAGwOAAB8DgAAgQ4A AI0OAACTDgAApQ4AAK0OAAC1DgAAvQ4AANkOAADfDgAA8g4AAPcOAAAIDwAAEg8AADwPAABJDwAA cg8AAHkPAACHDwAAjQ8AAJYPAACbDwAAnA8AAKAPAADHDwAAyw8AAPIPAAD6DwAAOBAAAD0QAABj EAAAaBAAAHoQAACAEAAAghAAAIgQAACJEAAAjRAAAI4QAACVEAAAnxAAAKQQAACoEAAArRAAALcQ AAC5EAAAuhAAAL4QAADTEAAA2BAAAOIQAADnEAAA6RAAAO8QAADxEAAA+RAAAPoQAAABEQAAJxEA AC0RAABFEQAASxEAAFoRAABkEQAAZxEAAG4RAACUEQAAmREAAKkRAACvEQAA0hEAANoRAADqEQAA 8BEAAPIRAAD5EQAAAhIAAAcSAAAnEgAALBIAAC0SAAAyEgAANBIAADoSAABEEgAAShIAAEwSAABS EgAAUxIAAFgSAABcEgAAYRIAAGoSAABvEgAAcRIAAHcSAADGEgAAzhIAANcSAADfEgAA7RIAAPIS AADzEgAA9xIAAAcTAAALEwAAghMAAJMTAADmEwAA7BMAAO0TAAAHFAAADBQAAAcAHAAHABwABwAc AAcAAwAHAAcABwAHAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwA BwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAH ABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcA HAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHABwABwAc AAcAHAAHABwABwAcAAcAHAAHABwABwAcAAcAHAAHAAAAAACjDAAAtQwAADEOAAA7DgAAIREAADcR AABvEQAAtxEAAMwRAADhEQAA4hEAAPkRAAAQEgAAJhIAAL4SAADWEgAA1xIAAOwSAAABEwAAEBMA AAwUAAAHAAUABwAFAAcABQAHAAUABwAFAAcABQAHAAUABwAFAAcABQAHAAUABwD//xQAAAAGAFIA ZQB1AHQAZQByAAAABgBSAGUAdQB0AGUAcgAAAAYAUgBlAHUAdABlAHIAAAAGAFIAZQB1AHQAZQBy AAAAEABKAG8AcgBnAGUAIABNAGEAcgB4ACAARwDzAG0AZQB6AAAABgBSAGUAdQB0AGUAcgAkAEMA OgBcAHcAYQBjAFwAQQBuAG4AbwB1AG4AYwBlAG0AZQBuAHQAXwBmAG8AcgBfAFcAQQBDAF8AMgAw ADAANAAuAGQAbwBjAAYAUgBlAHUAdABlAHIAJABDADoAXAB3AGEAYwBcAEEAbgBuAG8AdQBuAGMA ZQBtAGUAbgB0AF8AZgBvAHIAXwBXAEEAQwBfADIAMAAwADQALgBkAG8AYwAGAFIAZQB1AHQAZQBy ACQAQwA6AFwAdwBhAGMAXABBAG4AbgBvAHUAbgBjAGUAbQBlAG4AdABfAGYAbwByAF8AVwBBAEMA XwAyADAAMAA0AC4AZABvAGMABgBSAGUAdQB0AGUAcgAkAEMAOgBcAHcAYQBjAFwAQQBuAG4AbwB1 AG4AYwBlAG0AZQBuAHQAXwBmAG8AcgBfAFcAQQBDAF8AMgAwADAANAAuAGQAbwBjAAYAUgBlAHUA dABlAHIAJABDADoAXAB3AGEAYwBcAEEAbgBuAG8AdQBuAGMAZQBtAGUAbgB0AF8AZgBvAHIAXwBX AEEAQwBfADIAMAAwADQALgBkAG8AYwABAB0gzzD6vIZb/w//D/8P/w//D/8P/w//D/8PEAABAAAA FxAAAAAAAAAAAAAAaAEAAAAAAAALGAAAD4TQAhGEmP4VxgUAAdACBl6E0AJghJj+T0oBAFFKAQBv KAABALfwAQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+EoAURhJj+FcYFAAGgBQZehKAFYISY /k9KBABRSgQAbygAAQBvAAEAAAAXkAAAAAAAAAAAAABoAQAAAAAAAAsYAAAPhHAIEYSY/hXGBQAB cAgGXoRwCGCEmP5PSgUAUUoFAG8oAAEAp/ABAAAAF5AAAAAAAAAAAAAAaAEAAAAAAAALGAAAD4RA CxGEmP4VxgUAAUALBl6EQAtghJj+T0oBAFFKAQBvKAABALfwAQAAABeQAAAAAAAAAAAAAGgBAAAA AAAACxgAAA+EEA4RhJj+FcYFAAEQDgZehBAOYISY/k9KBABRSgQAbygAAQBvAAEAAAAXkAAAAAAA AAAAAABoAQAAAAAAAAsYAAAPhOAQEYSY/hXGBQAB4BAGXoTgEGCEmP5PSgUAUUoFAG8oAAEAp/AB AAAAF5AAAAAAAAAAAAAAaAEAAAAAAAALGAAAD4SwExGEmP4VxgUAAbATBl6EsBNghJj+T0oBAFFK AQBvKAABALfwAQAAABeQAAAAAAAAAAAAAGgBAAAAAAAACxgAAA+EgBYRhJj+FcYFAAGAFgZehIAW YISY/k9KBABRSgQAbygAAQBvAAEAAAAXkAAAAAAAAAAAAABoAQAAAAAAAAsYAAAPhFAZEYSY/hXG BQABUBkGXoRQGWCEmP5PSgUAUUoFAG8oAAEAp/ABAAAAHSDPMAAAAAAAAAAAAAAAAP///////wEA AAAAAP//AQAAABIAAQAHBAMABwQFAAcEAQAHBAMABwQFAAcEAQAHBAMABwQFAAcE/0ADgAEAtw0A ALcNAADIoHQALgIuArcNAAAAAAAAtw0AAAAAAAACEAAAAAAAAAAKFAAAQAAACABAAAD//wEAAAAH AFUAbgBrAG4AbwB3AG4A//8BAAgAAAAAAAAAAAAAAP//AQAAAAAA//8AAAIA//8AAAAA//8AAAIA //8AAAAABgAAAEcWkAEAAAICBgMFBAUCAwSHegAgAAAAgAgAAAAAAAAA/wEAAAAAAABUAGkAbQBl AHMAIABOAGUAdwAgAFIAbwBtAGEAbgAAADUWkAECAAUFAQIBBwYCBQcAAAAAAAAAEAAAAAAAAAAA AAAAgAAAAABTAHkAbQBiAG8AbAAAADMmkAEAAAILBgQCAgICAgSHegAgAAAAgAgAAAAAAAAA/wEA AAAAAABBAHIAaQBhAGwAAABJJpABgAACCwYEAgICAgIE/////////+k/AAAAAAAAAP8APwAAAAAA QQByAGkAYQBsACAAVQBuAGkAYwBvAGQAZQAgAE0AUwAAAD81kAEAAAIHAwkCAgUCBASHegAgAAAA gAgAAAAAAAAA/wEAAAAAAABDAG8AdQByAGkAZQByACAATgBlAHcAAAA7BpABAgAFAAAAAAAAAAAA AAAAAAAAABAAAAAAAAAAAAAAAIAAAAAAVwBpAG4AZwBkAGkAbgBnAHMAAAAiAAQAMQiIGADwxAIA AKkBAAAAAMQcdkZeDHdGhYpqhgYAAAAAAOYCAACGEAAAAQAIAAAABAADECMAAAABAwAAIhEAAAEA CAAAACQAAAAAAAAAsQQA8BAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAiQXqBLQAtACBgTIw AAAQABkAZAAAABkAAABKFAAAIxQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIAAAAAAAAAAAANM4NRAPAQAAjcAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAEgA//8SAAAAAAAAACcARgBpAHIAcwB0ACAAQQBuAG4AbwB1AG4AYwBl AG0AZQBuAHQAIABmAG8AcgAgAFcAQQBDACAAMgAwADAANAAgACgASQBTAFMAQwBJACkAAAAAAAAA BgBSAGUAdQB0AGUAcgAGAFIAZQB1AHQAZQByAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAP7/AAAFAAIAAAAAAAAAAAAAAAAAAAAAAAEAAADghZ/y+U9oEKuRCAArJ7PZMAAA AIwBAAARAAAAAQAAAJAAAAACAAAAmAAAAAMAAADIAAAABAAAANQAAAAFAAAA5AAAAAYAAADwAAAA BwAAAPwAAAAIAAAAEAEAAAkAAAAgAQAAEgAAACwBAAALAAAASAEAAAwAAABUAQAADQAAAGABAAAO AAAAbAEAAA8AAAB0AQAAEAAAAHwBAAATAAAAhAEAAAIAAADkBAAAHgAAACgAAABGaXJzdCBBbm5v dW5jZW1lbnQgZm9yIFdBQyAyMDA0IChJU1NDSSkAHgAAAAEAAAAAaXJzHgAAAAcAAABSZXV0ZXIA bh4AAAABAAAAAGV1dB4AAAABAAAAAGV1dB4AAAALAAAATm9ybWFsLmRvdABuHgAAAAcAAABSZXV0 ZXIAZB4AAAACAAAANgB1dB4AAAATAAAATWljcm9zb2Z0IFdvcmQgOS4wAGZAAAAAAN6547N1wgFA AAAAAAB3IPIpwwFAAAAAAExUouU/wwEDAAAAAQAAAAMAAADmAgAAAwAAAIYQAAADAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAD+/wAABQACAAAAAAAAAAAAAAAAAAAAAAACAAAAAtXN1ZwuGxCTlwgAKyz5rkQAAAAF1c3VnC4b EJOXCAArLPmuYAEAABwBAAAMAAAAAQAAAGgAAAAPAAAAcAAAAAUAAACIAAAABgAAAJAAAAARAAAA mAAAABcAAACgAAAACwAAAKgAAAAQAAAAsAAAABMAAAC4AAAAFgAAAMAAAAANAAAAyAAAAAwAAAD8 AAAAAgAAAOQEAAAeAAAADQAAAFRVLUNsYXVzdGhhbAAAdwADAAAAIwAAAAMAAAAIAAAAAwAAAEoU AAADAAAA/AoJAAsAAAAAAAAACwAAAAAAAAALAAAAAAAAAAsAAAAAAAAAHhAAAAEAAAAoAAAARmly c3QgQW5ub3VuY2VtZW50IGZvciBXQUMgMjAwNCAoSVNTQ0kpAAwQAAACAAAAHgAAAAYAAABUaXRl bAADAAAAAQAAAAAAsAAAAAMAAAAAAAAAIAAAAAEAAAA4AAAAAgAAAEAAAAABAAAAAgAAAAwAAABf UElEX0hMSU5LUwACAAAA5AQAAEEAAABoAAAABgAAAAMAAAA3AD8AAwAAAAAAAAADAAAAAAAAAAMA AAAFAAAAHwAAABcAAABoAHQAdABwADoALwAvAHcAdwB3AC4AdwBhAGMAbwBuAGcALgBjAG8AbQAv AAAAAAAfAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAIA AAADAAAABAAAAAUAAAAGAAAABwAAAAgAAAAJAAAACgAAAAsAAAAMAAAADQAAAA4AAAAPAAAAEAAA ABEAAAASAAAAEwAAABQAAAAVAAAAFgAAABcAAAD+////GQAAABoAAAAbAAAAHAAAAB0AAAAeAAAA HwAAAP7///8hAAAAIgAAACMAAAAkAAAAJQAAACYAAAAnAAAAKAAAACkAAAAqAAAAKwAAACwAAAAt AAAA/v///y8AAAAwAAAAMQAAADIAAAAzAAAANAAAADUAAAD+////NwAAADgAAAA5AAAAOgAAADsA AAA8AAAAPQAAAP7////9////QAAAAP7////+/////v////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////9SAG8AbwB0 ACAARQBuAHQAcgB5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA FgAFAf//////////AwAAAAYJAgAAAAAAwAAAAAAAAEYAAAAAAAAAAAAAAAAwQcKv5T/DAUIAAACA AAAAAAAAAEQAYQB0AGEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAKAAIB////////////////AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAGAAAAAAQAAAAAAAAMQBUAGEAYgBsAGUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA4AAgABAAAA//////////8AAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAgAAAAlxoAAAAAAABXAG8AcgBkAEQAbwBjAHUAbQBlAG4A dAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGgACAQYAAAAFAAAA//// /wAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAuLgAAAAAAAAUAUwB1AG0A bQBhAHIAeQBJAG4AZgBvAHIAbQBhAHQAaQBvAG4AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAo AAIB////////////////AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAALgAAAAAQ AAAAAAAABQBEAG8AYwB1AG0AZQBuAHQAUwB1AG0AbQBhAHIAeQBJAG4AZgBvAHIAbQBhAHQAaQBv AG4AAAAAAAAAAAAAADgAAgEEAAAA//////////8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAA2AAAAABAAAAAAAAABAEMAbwBtAHAATwBiAGoAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEgACAQIAAAAHAAAA/////wAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABqAAAAAAAAAE8AYgBqAGUAYwB0AFAAbwBvAGwAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAWAAEA//////////////// AAAAAAAAAAAAAAAAAAAAAAAAAAAwQcKv5T/DATBBwq/lP8MBAAAAAAAAAAAAAAAAAQAAAP7///// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////8BAP7/AwoAAP// //8GCQIAAAAAAMAAAAAAAABGGAAAAE1pY3Jvc29mdCBXb3JkLURva3VtZW50AAoAAABNU1dvcmRE b2MAEAAAAFdvcmQuRG9jdW1lbnQuOAD0ObJxAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAFIAbwBvAHQAIABF AG4AdAByAHkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAWAAUB //////////8DAAAABgkCAAAAAADAAAAAAAAARgAAAAAAAAAAAAAAAMCYxfcAR8MBSQAAAEAEAAAA AAAARABhAHQAYQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAoAAgH///////////////8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAYAAAAABAAAAAAAAAxAFQAYQBiAGwAZQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADgACAAEAAAD//////////wAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAACAAAACXGgAAAAAAAFcAbwByAGQARABvAGMAdQBtAGUAbgB0AAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAaAAIBBgAAAAUAAAD/////AAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4uAAAAAAAAAQAAAAIAAAADAAAA BAAAAAUAAAAGAAAABwAAAAgAAAAJAAAACgAAAAsAAAAMAAAADQAAAA4AAAAPAAAAEAAAABEAAAAS AAAAEwAAABQAAAAVAAAAFgAAABcAAAD+////GQAAABoAAAAbAAAAHAAAAB0AAAAeAAAAHwAAAP7/ //8hAAAAIgAAACMAAAAkAAAAJQAAACYAAAAnAAAAKAAAACkAAAAqAAAAKwAAACwAAAAtAAAA/v// /y8AAAAwAAAAMQAAADIAAAAzAAAANAAAADUAAAD+//////////////////////////////////// /////////////////////////////////////0gAAAD9/////v///0cAAAD+/////v///0YAAAD/ //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////8BAAAA/v///wMAAAAE AAAABQAAAAYAAAAHAAAACAAAAAkAAAAKAAAACwAAAAwAAAANAAAADgAAAA8AAAAQAAAA/v////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// /////////////////////////////////////////////////////////wMAAAA4AQAABAAAAEAB AAAFAAAA+AEAAAYAAAAgAgAABQAAAAIAAAAMAAAAX1BJRF9ITElOS1MAAwAAABQAAABfQWRIb2NS ZXZpZXdDeWNsZUlEAAQAAAAOAAAAX0VtYWlsU3ViamVjdAAFAAAADQAAAF9BdXRob3JFbWFpbAAG AAAAGAAAAF9BdXRob3JFbWFpbERpc3BsYXlOYW1lAAACAAAA5AQAAEEAAABoAAAABgAAAAMAAAA3 AD8AAwAAAAAAAAADAAAAAAAAAAMAAAAFAAAAHwAAABcAAABoAHQAdABwADoALwAvAHcAdwB3AC4A dwBhAGMAbwBuAGcALgBjAG8AbQAvAAAAAAAfAAAAAQAAAAAAAAADAAAA9qvU6R8AAABXAAAAQwBh AGwAbAAgAGYAbwByACAAYwBvAG4AdAByAGkAYgB1AHQAaQBvAG4AcwA6ACAAUwBwAGUAYwBpAGEA bAAgAHMAZQBzAHMAaQBvAG4AIABvAG4AIABJAG4AZAB1AHMAdAByAGkAYQBsACAAQQBwAHAAbABp AGMAYQB0AGkAbwBuAHMAIABvAGYAIABJAG4AdABlAHIAdgBhAGwAIABNAGUAdABoAG8AZABzAAAA AAAfAAAAEAAAAHYAZQBoAGkAQABlAGkAYQAuAHUAZABnAC4AZQBzAAAAHwAAAAsAAABKAG8AcwBl AHAAIABWAGUAaABpAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAFAFMAdQBtAG0AYQByAHkA SQBuAGYAbwByAG0AYQB0AGkAbwBuAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAKAACAf////// /////////wAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4AAAAAEAAAAAAAAAUA RABvAGMAdQBtAGUAbgB0AFMAdQBtAG0AYQByAHkASQBuAGYAbwByAG0AYQB0AGkAbwBuAAAAAAAA AAAAAAA4AAIBBAAAAP//////////AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AgAAAKADAAAAAAAAAQBDAG8AbQBwAE8AYgBqAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAABIAAgECAAAABwAAAP////8AAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAagAAAAAAAABPAGIAagBlAGMAdABQAG8AbwBsAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAFgABAP///////////////wAAAAAAAAAA AAAAAAAAAAAAAAAAMEHCr+U/wwEwQcKv5T/DAQAAAAAAAAAAAAAAAAEA/v8DCgAA/////wYJAgAA AAAAwAAAAAAAAEYYAAAATWljcm9zb2Z0IFdvcmQtRG9rdW1lbnQACgAAAE1TV29yZERvYwAQAAAA V29yZC5Eb2N1bWVudC44APQ5snEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/v8A AAUAAgAAAAAAAAAAAAAAAAAAAAAAAgAAAALVzdWcLhsQk5cIACss+a5EAAAABdXN1ZwuGxCTlwgA Kyz5rmABAAAcAQAADAAAAAEAAABoAAAADwAAAHAAAAAFAAAAiAAAAAYAAACQAAAAEQAAAJgAAAAX AAAAoAAAAAsAAACoAAAAEAAAALAAAAATAAAAuAAAABYAAADAAAAADQAAAMgAAAAMAAAA/AAAAAIA AADkBAAAHgAAAA0AAABUVS1DbGF1c3RoYWwAAHcAAwAAACMAAAADAAAACAAAAAMAAABKFAAAAwAA APwKCQALAAAAAAAAAAsAAAAAAAAACwAAAAAAAAALAAAAAAAAAB4QAAABAAAAKAAAAEZpcnN0IEFu bm91bmNlbWVudCBmb3IgV0FDIDIwMDQgKElTU0NJKQAMEAAAAgAAAB4AAAAGAAAAVGl0ZWwAAwAA AAEAAAAAAEACAAAHAAAAAAAAAEAAAAABAAAAwAAAAAIAAADIAAAA ------=_NextPart_000_0001_01C34711.BDB333C0-- From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 10 11:42:01 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h6AGg0X25861 for reliable_computing-outgoing; Thu, 10 Jul 2003 11:42:00 -0500 (CDT) Received: from oak.FernUni-Hagen.de (oak.fernuni-hagen.de [132.176.114.41]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h6AGfs625857 for ; Thu, 10 Jul 2003 11:41:54 -0500 (CDT) Received: from amavis by oak.FernUni-Hagen.de with scanned-ok (Exim 4.04) id 19aeUO-00008r-00 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 10 Jul 2003 18:41:48 +0200 Received: from bonsai.fernuni-hagen.de ([132.176.114.21]) by oak.FernUni-Hagen.de with esmtp (Exim 4.04) id 19aeUH-00008T-00 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 10 Jul 2003 18:41:41 +0200 Received: (from q5480035@localhost) by bonsai.fernuni-hagen.de (8.11.6+Sun/8.10.2) id h6AGfeE20268; Thu, 10 Jul 2003 18:41:40 +0200 (MEST) Date: Thu, 10 Jul 2003 18:41:40 +0200 (MEST) Message-Id: <200307101641.h6AGfeE20268 [at] bonsai [dot] fernuni-hagen.de> From: Marc Ernst Eddy van Woerkom To: reliable_computing [at] interval [dot] louisiana.edu Subject: Writing an interval arithmetic library X-Virus-Scanned: by AMaViS perl-11 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Hello, I would like to have an interval arithmetic for the Erlang programming language and am willing to write it myself. Is there a library (C, Fortran whatever) that is considered a good reference implementation in this intervalls community? And if yes, is there one, with a good documentation on its design, so that I can learn? Last: Is there some kind of test suite, I could run my future library against? Regards, Marc From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 10 20:18:11 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h6B1IAu26203 for reliable_computing-outgoing; Thu, 10 Jul 2003 20:18:10 -0500 (CDT) Received: from ms-smtp-01.rdc-kc.rr.com (ms-smtp-01.rdc-kc.rr.com [24.94.166.115]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h6B1Hx626199 for ; Thu, 10 Jul 2003 20:17:59 -0500 (CDT) Received: from taylor (CPE-65-29-183-103.wi.rr.com [65.29.183.103]) by ms-smtp-01.rdc-kc.rr.com (8.12.8p1/8.12.7) with ESMTP id h6B1HpKd015902; Thu, 10 Jul 2003 20:17:52 -0500 (CDT) Reply-To: From: "Dr. George Corliss" To: "'Marc Ernst Eddy van Woerkom'" Cc: , "George Corliss" Subject: RE: Writing an interval arithmetic library Date: Thu, 10 Jul 2003 20:17:48 -0500 Message-ID: <003301c3474a$3e660050$6401a8c0@taylor> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.4510 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 In-Reply-To: <200307101641.h6AGfeE20268 [at] bonsai [dot] fernuni-hagen.de> Importance: Normal X-Virus-Scanned: Symantec AntiVirus Scan Engine Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.louisiana.edu id h6B1I4626200 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Marc First, I encourage you to consider whether you REALLY want to do that. Good interval packages seem to take roughly 1-3 person-years full time work and be challenging to get exactly right, especially the elementary functions. I encourage you to consider modern ways to call routines from one language written in another so you can use existing high quality codes. Assuming you ignore that advice, see my technical report Basis Interval Arithmetic Subroutines (BIAS), http://www.eng.mu.edu/corlissg/FtpStuff/Bias. That is now dated and bypassed, but perhaps worth reading. As good reference implementations, I recommend Profil/BIAS, http://www.ti3.tu-harburg.de/Software/PROFILEnglisch.html b4m & INTLAB, http://www.ti3.tu-harburg.de/english/ Intlib (TOMS 737) http://interval.louisiana.edu/pub/interval_math/intlib Other authors are welcome to offer their own; there are several other excellent packages. C-XSC is arguably the most advanced, but I do not know whether the source is available. Documentation: I commend you to Sun's F95 compiler and its documentation, http://wwws.sun.com/software/sundev/whitepapers. See the papers under C, C++, Fortran development on intervals. Sun's "closed interval systems" are worth studying, although you should understand the ideas are controversial in the interval community. Sun has given MUCH thought to the subtle semantics of interval arithmetic. Testing: See http://www.eng.mu.edu/corlissg/Pubs/COSYtest. I have a paper (in subdirectory Latex) submitted on execution-based testing of the interval arithmetic packages in COSY, Sun's F95, and INTLAB. There is source code for the tests in each of those languages (subdirectories COSYoct, Sun_F95, and Intlab, respectively). Dr. George F. Corliss Electrical and Computer Engineering Haggerty Engineering 296 Marquette University P.O. Box 1881 Milwaukee, WI 53201-1881 USA George.Corliss [at] Marquette [dot] edu or georgec [at] mscs [dot] mu.edu Office: 414-288-6599; Dept: 288-6820; Fax: 288-5579 > I would like to have an interval arithmetic for > the Erlang programming language and am willing > to write it myself. > > Is there a library (C, Fortran whatever) that > is considered a good reference implementation in > this intervalls community? > > And if yes, is there one, with a good documentation > on its design, so that I can learn? > > Last: Is there some kind of test suite, I could run > my future library against? > > Regards, > Marc > From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jul 11 02:47:41 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h6B7leG26597 for reliable_computing-outgoing; Fri, 11 Jul 2003 02:47:40 -0500 (CDT) Received: from mailgate.rz.uni-karlsruhe.de (exim [at] mailgate [dot] rz.uni-karlsruhe.de [129.13.64.97]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h6B7lX626593 for ; Fri, 11 Jul 2003 02:47:34 -0500 (CDT) Received: from math.uni-karlsruhe.de (iamlapc9.mathematik.uni-karlsruhe.de [129.13.114.109]) by mailgate.rz.uni-karlsruhe.de with esmtp (Exim 3.36 #1) id 19ascP-0003iu-00; Fri, 11 Jul 2003 09:47:01 +0200 Message-ID: <3F0E6BB2.5000107 [at] math [dot] uni-karlsruhe.de> Date: Fri, 11 Jul 2003 09:48:02 +0200 From: Markus Neher User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3) Gecko/20030312 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Marc.Vanwoerkom@FernUni-Hagen.de CC: George.Corliss [at] Marquette [dot] edu, reliable_computing [at] interval [dot] louisiana.edu Subject: Re: Writing an interval arithmetic library References: <003301c3474a$3e660050$6401a8c0@taylor> In-Reply-To: <003301c3474a$3e660050$6401a8c0@taylor> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Marc and George: Dr. George Corliss wrote: >Dear Marc > >First, I encourage you to consider whether you REALLY want to do >that. Good interval packages seem to take roughly 1-3 >person-years full time work and be challenging to get exactly >right, especially the elementary functions. I encourage you to >consider modern ways to call routines from one language written >in another so you can use existing high quality codes. > I agree to that. Writing a new library is a lot of work. Contributing to improve an existing library (there are some very good ones, but none that I know is perfect) would require less effort and may bring more benefit to the interval community. >Other authors are welcome to offer their own; there are several >other excellent packages. C-XSC is arguably the most advanced, >but I do not know whether the source is available. > It is: www.xsc.de There you will also find filib++, which is less extensive than C-XSC (and sometimes less accurate with respect to the widths of the computed enclosures), but faster. Both C-XSC and filib++ are open source libraries. Regards, Markus >>I would like to have an interval arithmetic for >>the Erlang programming language and am willing >>to write it myself. >> >>Is there a library (C, Fortran whatever) that >>is considered a good reference implementation in >>this intervalls community? >> >>And if yes, is there one, with a good documentation >>on its design, so that I can learn? >> >>Last: Is there some kind of test suite, I could run >>my future library against? >> >>Regards, >>Marc >> From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jul 11 04:23:00 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h6B9Mxr26759 for reliable_computing-outgoing; Fri, 11 Jul 2003 04:22:59 -0500 (CDT) Received: from europa.informatik.uni-wuerzburg.de (wicx01.informatik.uni-wuerzburg.de [132.187.11.1]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h6B9Mr626754 for ; Fri, 11 Jul 2003 04:22:54 -0500 (CDT) Received: from mail-info2.informatik.uni-wuerzburg.de (wi2x40.informatik.uni-wuerzburg.de [132.187.10.40]) by europa.informatik.uni-wuerzburg.de (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) with ESMTP id h6B9Mpt08806; Fri, 11 Jul 2003 11:22:51 +0200 Received: from informatik.uni-wuerzburg.de (wi2x44.informatik.uni-wuerzburg.de [132.187.10.44]) by mail-info2.informatik.uni-wuerzburg.de (8.12.3/8.12.3/SuSE Linux 0.6) with ESMTP id h6B9MpXD000468; Fri, 11 Jul 2003 11:22:51 +0200 Message-ID: <3F0E81EB.5080707 [at] informatik [dot] uni-wuerzburg.de> Date: Fri, 11 Jul 2003 11:22:51 +0200 From: "J.Wolff v. Gudenberg" User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.0) Gecko/20020529 X-Accept-Language: de-de, en-us, en MIME-Version: 1.0 To: Marc Ernst Eddy van Woerkom CC: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: Writing an interval arithmetic library References: <200307101641.h6AGfeE20268 [at] bonsai [dot] fernuni-hagen.de> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Hello Marc, I also would discourage you to do everything from scratch. It would be preferable to have access to filib or one of the libraries George pointed out. Here are the coordinates for the filib++ sources. http://www.math.uni-wuppertal.de/wrswt/ or http://www-info2.informatik.uni-wuerzburg.de/staff/wvg/Public/ Regards Juergen WvG Marc Ernst Eddy van Woerkom wrote: > Hello, > > I would like to have an interval arithmetic for > the Erlang programming language and am willing > to write it myself. > > Is there a library (C, Fortran whatever) that > is considered a good reference implementation in > this intervalls community? > > And if yes, is there one, with a good documentation > on its design, so that I can learn? > > Last: Is there some kind of test suite, I could run > my future library against? > > Regards, > Marc -- __o \<, ()/ ()__________________ Prof. Dr. J. Wolff v. Gudenberg Lehrstuhl fuer Informatik II wolff [at] informatik [dot] uni-wuerzburg.de Universitaet Wuerzburg Tel. 0931 / 888-6602 Am Hubland Fax. 0931 / 888-6603 D-97074 Wuerzburg URL http://www-info2.informatik.uni-wuerzburg.de/staff/wvg --------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 14 10:18:27 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h6EFIRs01032 for reliable_computing-outgoing; Mon, 14 Jul 2003 10:18:27 -0500 (CDT) Received: from raptor.tntech.edu (raptor.tntech.edu [149.149.11.199]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h6EFIL601028 for ; Mon, 14 Jul 2003 10:18:22 -0500 (CDT) Received: from webmail.tntech.edu [149.149.11.164] by raptor.tntech.edu with ESMTP (SMTPD32-7.15) id A9B6104B00F4; Mon, 14 Jul 2003 10:18:14 -0500 X-WebMail-UserID: ss5954 Date: Mon, 14 Jul 2003 10:18:14 -0500 From: Saravanan Swaminathan To: reliable_computing [at] interval [dot] louisiana.edu Cc: berleant [at] iastate [dot] edu X-EXP32-SerialNo: 00002781 Subject: some useful links to the intervals and probabilitypage.... Message-ID: <3F125B49 [at] webmail [dot] tntech.edu> Mime-Version: 1.0 Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: 7bit X-Mailer: WebMail (Hydra) SMTP v3.61.05 X-Declude-Sender: ss5954 [at] tntech [dot] edu [149.149.11.164] X-Note: This E-mail was scanned by Declude JunkMail for spam. X-Spam-Tests-Failed: Whitelisted [0] Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Hi Daniel... I am a Ph.D student at Tennessee Technological university, Cookeville, TN working on application of Interval methods in Chemical Engineering and Global optimization. The page you have put together is of great help in knowing about the people and work involved in Interval mathematics. I think that some more inclusions might make it better. 1.PEOPLE: I think there are names of two pioneers in Interval mathematics and their applications,that you have not included Dr.Kearfott (link to his home page is http://interval.louisiana.edu/kearfott.html ) and Dr.Stadtherr(link to his home page ishttp://www.nd.edu/~markst/) . 2.TOOLS: INTBIS which is another tool for solving nonlinear equations using interval math (author:Dr.Kearfott)-- INTLIB which is an interval arithmetic library (author:Dr.Kearfott) Actually there are a list of others too on Dr.Kearfott's Webpage. maybe you can give their links in the tools section too... The reason that I think these will be useful was because they were of immense use to me in understanding Interval mathematics and their applications.That is all that I can think of right now. --Saravanan ---------------------------------------------------------------------- Saravanan Swaminathan 335, W 12th Street, Apt # A4 Cookeville,TN 38501 Phone no : 931-526-4485 Mobile no: 931-265-0961