From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jun 2 08:00:16 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g52D0FQ12740 for reliable_computing-outgoing; Sun, 2 Jun 2002 08:00:15 -0500 (CDT) Received: from clmboh1-smtp3.columbus.rr.com (clmboh1-smtp3.columbus.rr.com [65.24.0.112]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g52D0Ab12735 for ; Sun, 2 Jun 2002 08:00:10 -0500 (CDT) Received: from oemcomputer (dhcp065-024-174-102.columbus.rr.com [65.24.174.102]) by clmboh1-smtp3.columbus.rr.com (8.11.2/8.11.2) with SMTP id g52D00Y27136; Sun, 2 Jun 2002 09:00:00 -0400 (EDT) Message-ID: <000a01c20a35$3e105f40$66ae1841 [at] columbus [dot] rr.com> From: "Ramon Moore" To: "Vyacheslav Nesterov" Cc: "interval" References: <001601c209fe$0e075560$710bfea9 [at] wplus [dot] net> Subject: Re: logo? Date: Sun, 2 Jun 2002 08:58:49 -0400 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0007_01C20A13.B63E7C80" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0007_01C20A13.B63E7C80 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear Slava, Thanks for your explanation. I will pass it along to the group. Ramon ----- Original Message -----=20 From: Vyacheslav Nesterov=20 To: Ramon Moore=20 Sent: Sunday, June 02, 2002 2:21 AM Subject: Re: logo? Dear Professor Moore, The logo was created quite long ago, before the journal became a = Kluwer's property. I, Alexander Yakovlev and Dmitry, local designer created it. The idea is very simple. There is a curve in the center and a box = around the curve. The box looks like an interval. It "estimates" or "localizes" the = curve which symbolizes uncertainty. So nothing Mongolian here :) Best regards, Slava P.S. Please use my new emaill address slnest [at] comset [dot] net on the future. ----- Original Message -----=20 From: Ramon Moore=20 To: Vyacheslav Nesterov=20 Sent: Friday, May 31, 2002 11:57 PM Subject: logo? Dear Slava, I am curious about the "logo" on the front cover of Reliable = Computing. Does it have any history, any significance? What is it = supposed to represent, if anything, or is it just an abstract design ? = At the meeting in Toronto somone said he thought it was Mongolian, but = maybe he was joking. Ramon Moore ------=_NextPart_000_0007_01C20A13.B63E7C80 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Dear Slava,
 
Thanks for your explanation. I will pass it = along to the=20 group.
 
Ramon
----- Original Message -----
From:=20 Vyacheslav=20 Nesterov
Sent: Sunday, June 02, 2002 = 2:21 AM
Subject: Re: logo?

Dear Professor = Moore,
 
The logo was created quite long = ago, before=20 the journal became a Kluwer's property.
I, Alexander Yakovlev and = Dmitry, local=20 designer created it.
The idea is very simple. There = is a curve=20 in the center and a box around the curve.
The box looks like an interval. = It=20 "estimates" or "localizes" the curve which symbolizes
uncertainty.
So nothing Mongolian here = :)
 
Best regards,
Slava
 
P.S. Please use my new emaill=20 address
slnest [at] comset [dot] net
on the future.
----- Original Message -----
From:=20 Ramon Moore
Sent: Friday, May 31, 2002 = 11:57=20 PM
Subject: logo?

Dear Slava,
 
I am curious about the "logo" on the front = cover of=20 Reliable Computing. Does it have any history, any significance? What = is it=20 supposed to represent, if anything, or is it just an abstract design = ? At=20 the meeting in Toronto somone said he thought it was Mongolian, but = maybe he=20 was joking.
 
Ramon=20 Moore
------=_NextPart_000_0007_01C20A13.B63E7C80-- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 3 03:24:12 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g538OCI14939 for reliable_computing-outgoing; Mon, 3 Jun 2002 03:24:12 -0500 (CDT) Received: from sciences.univ-angers.fr (sciences.univ-angers.fr [193.49.146.182]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g538O6b14934 for ; Mon, 3 Jun 2002 03:24:06 -0500 (CDT) Received: from jaulin (pbastion.univ-angers.fr [193.49.146.252]) by sciences.univ-angers.fr (8.9.3/8.9.3) with SMTP id KAA23116; Mon, 3 Jun 2002 10:23:53 +0200 (CEST) Message-ID: <001701c20ad8$00755b60$1c3d13ac@uang> From: "luc jaulin" To: "Arnold Neumaier" , "interval" References: <3CF774D1.263C846D [at] univie [dot] ac.at> Subject: Re : book review Date: Mon, 3 Jun 2002 10:22:50 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk > You may be interested in my book review of > L. Jaulin, M. Kieffer, O. Didrit and E. Walter, > Applied Interval Analysis, > Springer, London 2001. > at http://www.mat.univie.ac.at/~neum/papers.html#jaulin > > Arnold Neumaier -------------------------------------------------------- Dear Arnold, dear all, Thank you Arnold for your fair review of our book. I like it but it seems that you do not recommend the part II of the book related to interval methods. Instead, you direct potential readers to other books (Moore 66, Aberth 98, Hansen 92, Kolev 93, Kearfott 96, Neumaier 01). I have not read yet all these books, but I do not doubt that they provide a good introduction to interval methods. However, I think that none of them introduces constraint propagation. Now, constraint propagation - makes it possible to build contraction operators for large boxes (contrary to classical contractors such as Krawczyk, Interval Newton, ...), - is easy to understand and to implement, - is ignored by many interval researchers and most of all interval books. My feeling is that constraint propagation should become more popular in the interval community because it makes it possible to increase the efficiency of interval algorithms dealing with nonlinear problems. At least because in our book, constraint propagation is presented in the framework of interval methods, in a simple manner and with many illustrative examples and pictures, I think reading the Part II of our book may be worthwhile. Concerning the rest of the book, of course, Arnold, I share your opinion. Regards, Luc Jaulin From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 3 05:43:11 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g53AhAN15464 for reliable_computing-outgoing; Mon, 3 Jun 2002 05:43:10 -0500 (CDT) Received: from sgu.ssu.runnet.ru (ns.sgu.ru [212.193.32.4]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g53Ah0b15459 for ; Mon, 3 Jun 2002 05:43:02 -0500 (CDT) Received: from info.sgu.ru (info.sgu.ru [212.193.32.6]) by sgu.ssu.runnet.ru (Postfix) with ESMTP id 01CD2150D1 for ; Mon, 3 Jun 2002 14:19:57 +0400 (MSD) Received: from info.sgu.ru ([212.193.39.42]) by info.sgu.ru (Netscape Messaging Server 3.6) with SMTP id AAA3034 for ; Mon, 3 Jun 2002 14:05:04 +0400 Received: from info.sgu.ru (info.sgu.ru [212.193.32.6]) by mgate.sgu.ru (Postfix) with ESMTP id 7A9EC2FAB2; Wed, 29 May 2002 05:17:07 -0900 (GMT) Received: from sgu.ssu.runnet.ru ([212.193.32.4]) by info.sgu.ru (Netscape Messaging Server 3.6) with ESMTP id AAA6A5F; Wed, 29 May 2002 05:07:23 +0400 Received: from interval.louisiana.edu (interval.louisiana.edu [130.70.132.145]) by sgu.ssu.runnet.ru (Postfix) with ESMTP id B6381128D2; Wed, 29 May 2002 05:22:05 +0400 (MSD) Received: from localhost (daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id g4T1LpY26766; Tue, 28 May 2002 20:21:51 -0500 (CDT) Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g4T1JAf26695 for reliable_computing-outgoing; Tue, 28 May 2002 20:19:10 -0500 (CDT) Received: from nwkea-mail-1.sun.com (nwkea-mail-1.sun.com [192.18.42.13]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g4T1J3i26691 for ; Tue, 28 May 2002 20:19:04 -0500 (CDT) Received: from vic.Aus.Sun.COM ([129.158.87.25]) by nwkea-mail-1.sun.com (8.9.3+Sun/8.9.3) with ESMTP id SAA07549 for ; Tue, 28 May 2002 18:18:56 -0700 (PDT) Received: from retreat (retreat [129.158.87.155]) by vic.Aus.Sun.COM (8.10.2+Sun/8.10.2/ENSMAIL,v2.2) with SMTP id g4T1IsE25706 for ; Wed, 29 May 2002 11:18:55 +1000 (EST) Message-Id: <200205290118.g4T1IsE25706 [at] vic [dot] Aus.Sun.COM> Date: Wed, 29 May 2002 11:19:52 +1000 (EST) From: Richard Smith - Systems Engineer - Melbourne Reply-To: Richard Smith - Systems Engineer - Melbourne Subject: Re: "intervals" versus "validated" To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: ifaB+jbG7ogghGsDqcradw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.5 SunOS 5.9 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk In the discussion of "intervals" vs "validated" there probably needs to be room for multiple viewpoints, as some of the arguments seem to be rooted in different viewpoints. [By viewpoint, I mean different people looking at the same object seeing different things.] In the context of computing with intervals, I think of intervals as a datatype. As such, it has sets of values and operators defined for it. Multiple such systems can be defined, differing in specific sets and/or operators. Some systems may have desirable properties for specific problems, such as being closed. It is a question of interpretation whether an interval represents a set of bounds or not. One can compute with intervals regardless. Whether what one computes means anything is a question of interpretation. I think one can see a parallel with propositional calculus, where you can create a system without ever having to talk about meaning, although us humans tend to do so. One approach to attaching "meaning" involves mapping between language fragments and sets of mathematical objects, or "denotations". I think it was Dana Scott who established a rigorous mathematical framework for the specification of denotations. We might also talk about "computing with sets", of which "computing with intervals" is a subset. As it happens certain kinds of computations can be done more efficiently when using intervals, but it doesn't rule out the possibility of using other classes of set. Probably due to familiarity and availability of implementations of specific languages we tend to think in terms of the available native datatypes. Maybe in the future we will start to treat higher-order functions as a native datatype. On the question of ease of implementation, I am fortunate in that I use an F95 compiler that implements INTERVAL as a native datatype. However for implementors the situation is getting better with the development of standard libraries and language bindings for IEEE functionality e.g. in C9X. An interesting extension in the UltraSPARC-III processor is the SIAM instruction (Set Interval Arithmetic Mode), which enables the floating point rounding mode to be changed as part of the pipeline rather than as a write to a floating point status register. The latter usually stalls a processor. Its still nowhere near as good as having true hardware interval instructions though. As an aside, one thing that strikes me as truly awesome with intervals is the power of a contractive mapping, and how it opens up the possibility that one could compute to arbitrary precision and stop when the precision required has been obtained. ============================================================================ ,-_|\ Richard Smith - SE Melbourne / \ Sun Microsystems Australia Phone : +61 3 9869 6200 richard.smith [at] Sun [dot] COM Direct : +61 3 9869 6224 \_,-._/ 476 St Kilda Road Fax : +61 3 9869 6290 v Melbourne Vic 3004 Australia =========================================================================== From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 3 06:13:08 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g53BD7c15609 for reliable_computing-outgoing; Mon, 3 Jun 2002 06:13:08 -0500 (CDT) Received: from mailbox.univie.ac.at (mail.univie.ac.at [131.130.1.27]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g53BD2b15605 for ; Mon, 3 Jun 2002 06:13:03 -0500 (CDT) Received: from univie.ac.at (hektor.mat.univie.ac.at [131.130.16.21]) by mailbox.univie.ac.at (8.12.2/8.12.2) with ESMTP id g53BCiZA1147776; Mon, 3 Jun 2002 13:12:50 +0200 Message-ID: <3CFB4F2C.C3EDCB97 [at] univie [dot] ac.at> Date: Mon, 03 Jun 2002 13:12:44 +0200 From: Arnold Neumaier Organization: University of Vienna X-Mailer: Mozilla 4.78 [en] (X11; U; Linux 2.4.9-31 i686) X-Accept-Language: en, de MIME-Version: 1.0 To: luc jaulin CC: interval Subject: Re : book review References: <3CF774D1.263C846D [at] univie [dot] ac.at> <001701c20ad8$00755b60$1c3d13ac@uang> Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk luc jaulin wrote: > > Thank you Arnold for your fair review of our book. > I like it but it seems that you do not recommend the part II of the book > related to interval methods. Instead, you direct potential > readers to other books (Moore 66, Aberth 98, Hansen 92, Kolev 93, Kearfott > 96, Neumaier 01). > I have not read yet all these books, but I do not doubt that they provide a > good introduction to interval methods. However, I think that none of them > introduces > constraint propagation. > My feeling is that constraint propagation should become more popular > in the interval community because it makes it possible to increase > the efficiency of interval algorithms dealing with nonlinear problems. Luc, I agree that constraint propagation deserves to be better known in the interval community. Kearfott's book has some remarks on it, but without details. But there is the COCONUT state of the art online book http://www.mat.univie.ac.at/~neum/glopt/coconut/StArt.html which contains a very readable introduction to constraint propagation, and which I referred to in the review, just when finishing off Part II. Moreover, I forgot to mention the book Numerica by van Hentenryck et al., which I think gives also a better introduction to constraint propagation than your book. I like your book *only* for the applications. Best wishes, Arnold From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 3 15:14:27 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g53KERj16556 for reliable_computing-outgoing; Mon, 3 Jun 2002 15:14:27 -0500 (CDT) Received: from imf14bis.bellsouth.net (mail114.mail.bellsouth.net [205.152.58.54]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g53KELb16552 for ; Mon, 3 Jun 2002 15:14:21 -0500 (CDT) Received: from u8174 ([216.78.182.249]) by imf14bis.bellsouth.net (InterMail vM.5.01.04.05 201-253-122-122-105-20011231) with SMTP id <20020603201542.PTPQ1242.imf14bis.bellsouth.net@u8174> for ; Mon, 3 Jun 2002 16:15:42 -0400 Message-Id: <2.2.32.20020603201438.00c12de4 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 03 Jun 2002 15:14:38 -0500 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: reliable_computing Semi-annual subscription verification Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Colleagues, Thank you once again for your help in the semi-annual subscription verification. Once again, I have a few invalid addresses for which I could not locate valid addresses. They are as follows: mfw [at] rice [dot] edu comba [at] lcg [dot] ufrj.br mahahass [at] maktoob [dot] com Bob.Knighten [at] intel [dot] com lxk7324 [at] ucs [dot] louisiana.edu ec93029 [at] ultra30 [dot] kangnung.ac.kr shectman [at] Aristotle [dot] me.uiuc.edu kiza [at] venus [dot] elfak.ni.ac.yu melenk [at] sc [dot] zib-berlin.de hchuang [at] math [dot] hkbc.hk aflores [at] kaos [dot] dci.uia.mx aarao [at] costeira [dot] dimap.ufrn.br colak [at] mf40 [dot] bim.uludag.edu.tr If you have corresponding current valid addresses, I would be grateful if you would send them to me. Best regards, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 3 16:20:41 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g53LKeT16768 for reliable_computing-outgoing; Mon, 3 Jun 2002 16:20:40 -0500 (CDT) Received: from imf16bis.bellsouth.net (mail116.mail.bellsouth.net [205.152.58.56]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g53LKab16764 for ; Mon, 3 Jun 2002 16:20:37 -0500 (CDT) Received: from u8174 ([216.78.182.249]) by imf16bis.bellsouth.net (InterMail vM.5.01.04.05 201-253-122-122-105-20011231) with SMTP id <20020603212150.GQWV1197.imf16bis.bellsouth.net@u8174>; Mon, 3 Jun 2002 17:21:50 -0400 Message-Id: <2.2.32.20020603212047.00c13b0c [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 03 Jun 2002 16:20:47 -0500 To: "luc jaulin" , "Arnold Neumaier" , "interval" From: "R. Baker Kearfott" Subject: Re: Re : book review Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Luc, For what it's worth, I introduce, essentially, constraint propagation in Chapter 7, "Use of Intermediate Quantities in the Expression Values" in my book. I "discovered" (meaning re-invented the wheel) constraint propagation and called it "substitution-iteration." My first work on the subject was "Decomposition of arithmetic expressions to improve the behavior of intervl iteration for nonlinear systems," "Computing" 47(2), pp. 169-191, 1991. At the time, I was unaware of the constraint propagation literature, and I hadn't yet identified that the Narinyani / Sem{\"e}nov "subdefinite calculations" were the same idea, with intervals. Of course, there are variations in the details among these approaches. Also, the constraint propagation community has developed an elaborate theory surrounding the basic technique. Best regards, Baker P.S. Congratulations on a job well-done with your book. At 10:22 AM 6/3/2002 +0200, luc jaulin wrote: >> You may be interested in my book review of >> L. Jaulin, M. Kieffer, O. Didrit and E. Walter, >> Applied Interval Analysis, >> Springer, London 2001. >> at http://www.mat.univie.ac.at/~neum/papers.html#jaulin >> >> Arnold Neumaier > >-------------------------------------------------------- >Dear Arnold, dear all, > >Thank you Arnold for your fair review of our book. >I like it but it seems that you do not recommend the part II of the book >related to interval methods. Instead, you direct potential >readers to other books (Moore 66, Aberth 98, Hansen 92, Kolev 93, Kearfott >96, Neumaier 01). >I have not read yet all these books, but I do not doubt that they provide a >good introduction to interval methods. However, I think that none of them >introduces >constraint propagation. > >Now, constraint propagation >- makes it possible to build contraction operators for large boxes (contrary >to classical contractors such as Krawczyk, Interval Newton, ...), >- is easy to understand and to implement, >- is ignored by many interval researchers and most of all interval books. > >My feeling is that constraint propagation should become more popular in the >interval community because it makes it possible to increase the efficiency >of interval >algorithms dealing with nonlinear problems. > >At least because in our book, constraint propagation is presented in the >framework of interval methods, in a simple manner and with many illustrative >examples and pictures, I think reading the Part II of our book may be >worthwhile. > >Concerning the rest of the book, of course, Arnold, I share your opinion. > >Regards, > >Luc Jaulin > > > > --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 3 18:48:38 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g53NmbF17112 for reliable_computing-outgoing; Mon, 3 Jun 2002 18:48:37 -0500 (CDT) Received: from lion.invision.net (lion.invision.net [206.112.34.56]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id g53NmXb17108 for ; Mon, 3 Jun 2002 18:48:33 -0500 (CDT) Received: (qmail 66891 invoked from network); 3 Jun 2002 23:48:32 -0000 Received: from cl176-053.dsl.invision.com (HELO company.mail) (209.187.176.53) by mail.longisland.com with SMTP; 3 Jun 2002 23:48:32 -0000 Received: from ramas.com [192.0.0.24] by company.mail [127.0.0.1] with SMTP (MDaemon.v3.1.0.R) for ; Mon, 03 Jun 2002 19:48:22 -0400 Message-ID: <3CFC0044.1F1BC5FB [at] ramas [dot] com> Date: Mon, 03 Jun 2002 19:48:20 -0400 From: Scott Ferson Organization: Applied Biomathematics X-Mailer: Mozilla 4.73 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu Subject: grammar for Pascal-XSC Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-MDaemon-Deliver-To: reliable_computing [at] interval [dot] louisiana.edu X-Return-Path: scott [at] ramas [dot] com X-MDRcpt-To: reliable_computing [at] interval [dot] louisiana.edu X-MDRemoteIP: 192.0.0.24 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Intervalers: Does anyone know how to obtain the grammar for Pascal-XSC? The link mentioned in the announcement below is broken, as is the link on Interval Computations to Heiner Berlejung's webpage. Emails to him bounce back. Best regards, Scott Scott Ferson Applied Biomathematics 100 North Country Road Setauket, New York 11733 631-751-4350, fax -3435 ================================================== Free Pascal-XSC grammar available from comp.compilers From: Heiner Berlejung Newsgroups: comp.compilers Date: 21 Jun 1996 17:21:55 -0400 Organization: Compilers Central Keywords: Pascal, parse, available Hello , I have developed a Pascal-XSC grammar suitable for lex/flex, bison/yacc. It is embedded within a small tool used for computing software metrics for Pascal-XSC programs. It is adapted from a grammar for BSI Pascal. Disclaimer: This software does not grant for anything and you can't make the autor responsible for any possible damages or errors! Ackowledgement: The BSI version comes from a friendly person that did not stored his name somewhere. I guess he has been from Finnland. Thank you very much. Also thanks to Michael Neaga from Numerik Software GmbH for the free available version of Pascal-XSC. (ftp iamk4515.mathematik.uni-karlsruhe.de/pub/pascal-xsc) Copyright: This package is proprietary of the author. It may be freely distributed but must not be changed or used for commercial purposes without permission of the author. Availability: This package is available at: http://www.uni-karlsruhe.de/~ae59/pmetric0-0.Z Author : Heinrich Berlejung Institut fuer Angewandte Mathematik Universitaet Karlsruhe Email:Heiner.Berlejung [at] math [dot] uni-karlsruhe.de Tests : It was tested on : Sun Solaris 2.3 with gcc 2.6.7, bison 1.22, flex 2.4.7. HPUX with lex,gcc (make LEX=lex) I tested pmetric on the toolbox programs and pxsc's standard libraries and parsing works right. It will only works on a UNIX system (at the moment) Comments: - Any comments are appreciated, send them to the author. - I am willing to add all meaningfull extensions that might be proposed from potential users. Karlsruhe 1996-06-19 Best regards Heiner URL http://www.uni-karlsruhe.de/~ae59 Heinrich Berlejung Institut f. Angewandte Mathematik Email: ae59 [at] rz [dot] uni-karlsruhe.de Universitaet Karlsruhe (TH) Phone:+49 721 377936 / Fax:+49 721 385979 P.O. Box 6980,D-76128 Karlsruhe ================================================== From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jun 4 09:50:03 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g54Eo2r19049 for reliable_computing-outgoing; Tue, 4 Jun 2002 09:50:02 -0500 (CDT) Received: from nwkea-mail-2.sun.com (nwkea-mail-2.sun.com [192.18.42.14]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g54Envb19044 for ; Tue, 4 Jun 2002 09:49:58 -0500 (CDT) Received: from engmail4.Eng.Sun.COM ([129.144.134.6]) by nwkea-mail-2.sun.com (8.9.3+Sun/8.9.3) with ESMTP id HAA05430 for ; Tue, 4 Jun 2002 07:49:51 -0700 (PDT) Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.18.131]) by engmail4.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id HAA20268; Tue, 4 Jun 2002 07:49:51 -0700 (PDT) Received: from gww (gww.Eng.Sun.COM [129.146.78.116]) by mpkmail.eng.sun.com (iPlanet Messaging Server 5.2 Patch 1 (built Apr 2 2002)) with SMTP id <0GX6008LMRYSB8 [at] mpkmail [dot] eng.sun.com>; Tue, 04 Jun 2002 07:52:04 -0700 (PDT) Date: Tue, 04 Jun 2002 07:49:50 -0700 (PDT) From: William Walster Subject: Interval Special Interest Group (SIG) Meeting To: reliable_computing [at] interval [dot] louisiana.edu Cc: bill.walster [at] Eng [dot] Sun.COM Reply-to: William Walster Message-id: <0GX6008LNRYSB8 [at] mpkmail [dot] eng.sun.com> MIME-version: 1.0 X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc Content-type: TEXT/plain; charset=us-ascii Content-transfer-encoding: 7BIT Content-MD5: 5mHJfdNgJOgy2nczeyddnw== Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear members of the interval research community: In Glasgow, Scotland July 19th and 20th 2002 we will be hosting a High Performance Computing (HPC) Consortium meeting. In connection with this meeting I am organizing an interval Special Interest Group (SIG) meeting. The purpose of the SIG will be to meet with interval developers and users to share information and discuss how best to move intervals into the mainstream of technical, scientific, and financial computing. We still have an opportunity for speakers who may want to give a talk on interval applications that will be of general interest to all the HPCC attendees. This talk should not about interval specifics as much as it is about how intervals were used to good advantage solving important real problems. Here are the links for more information regarding this meeting: http://www.sun.com/products-n-solutions/edu/hpc/consortium.html http://www.taskhandlers.com/sun/hpc/genform.ihtml?theform=Home http://www.taskhandlers.com/sun/hpc/genform.ihtml?theform=Registration If you are interested in giving a talk, please send me a short abstract (one page or less). The schedule will provide an opportunity for those interested in the interval SIG to meet and discuss topics of interest. In this connection, if there are topics you would like to discuss, please send them to me and I will post them. Thanks in advance, Bill G. William (Bill) Walster, Ph.D. Interval Technology Engineering Manager Sun Microsystems, Inc. 16 Network Circle, MS UMPK16-304 Menlo Park, CA 94025 (650) 786-9004 Direct (650) 786-9551 Fax bill.walster [at] eng [dot] sun.com From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jun 4 10:46:47 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g54Fklb19238 for reliable_computing-outgoing; Tue, 4 Jun 2002 10:46:47 -0500 (CDT) Received: from wminf0.math.uni-wuppertal.de (wminf0.math.uni-wuppertal.de [132.195.94.17]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g54Fkgb19234 for ; Tue, 4 Jun 2002 10:46:42 -0500 (CDT) Received: from math.uni-wuppertal.de (wmwr2.math.uni-wuppertal.de [132.195.95.66]) by wminf0.math.uni-wuppertal.de (8.9.3+Sun/8.9.3) with ESMTP id RAA22467; Tue, 4 Jun 2002 17:46:35 +0200 (MEST) Message-ID: <3CFCE0DB.CAE7AA7A [at] math [dot] uni-wuppertal.de> Date: Tue, 04 Jun 2002 17:46:35 +0200 From: Werner Hofschuster Organization: Bergische Universitaet Wuppertal X-Mailer: Mozilla 4.75 [en] (X11; U; SunOS 5.7 sun4u) X-Accept-Language: de, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu CC: Scott Ferson Subject: Re: grammar for Pascal-XSC References: <3CFC0044.1F1BC5FB [at] ramas [dot] com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Hello, Scott Ferson wrote: > Does anyone know how to obtain the grammar for Pascal-XSC? > The link mentioned in the announcement below is broken, as is > the link on Interval Computations to Heiner Berlejung's webpage. > Emails to him bounce back. Actual informations and material on the web for XSC-languages (C-XSC and Pascal-XSC) can now be found using the links http://www.xsc.de http://www.math.uni-wuppertal.de/~xsc/ Unfortunately the Pascal-XSC grammar for lex/flex, bison/yacc (six years old file pmetric0-0.Z) from Heinrich Berlejung is not available from our website. Sorry. We are trying to find out the actual e-mail address of Heinrich Berlejung. Walter Kraemer, Werner Hofschuster University of Wuppertal http://www.math.uni-wuppertal.de/wrswt/index_en.html e-mail: xsc [at] math [dot] uni-wuppertal.de From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jun 5 06:10:54 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g55BAqF22257 for reliable_computing-outgoing; Wed, 5 Jun 2002 06:10:52 -0500 (CDT) Received: from wminf0.math.uni-wuppertal.de (wminf0.math.uni-wuppertal.de [132.195.94.17]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g55BAkb22253 for ; Wed, 5 Jun 2002 06:10:47 -0500 (CDT) Received: from math.uni-wuppertal.de (wmwr2.math.uni-wuppertal.de [132.195.95.66]) by wminf0.math.uni-wuppertal.de (8.9.3+Sun/8.9.3) with ESMTP id NAA24507; Wed, 5 Jun 2002 13:10:39 +0200 (MEST) Message-ID: <3CFDF1AF.452457E [at] math [dot] uni-wuppertal.de> Date: Wed, 05 Jun 2002 13:10:39 +0200 From: Werner Hofschuster Organization: Bergische Universitaet Wuppertal X-Mailer: Mozilla 4.75 [en] (X11; U; SunOS 5.7 sun4u) X-Accept-Language: de, en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu CC: Scott Ferson Subject: grammar for Pascal-XSC available References: <3CFC0044.1F1BC5FB [at] ramas [dot] com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Hello, Scott Ferson wrote: > Does anyone know how to obtain the grammar for Pascal-XSC? > The link mentioned in the announcement below is broken, as is > the link on Interval Computations to Heiner Berlejung's webpage. Now we have the file "pmetric0-0.Z" (thanks to Ingo Eble). >From now on it is available at http://www.math.uni-wuppertal.de/~xsc/xsc/pxsc_old_tools.html http://www.math.uni-wuppertal.de/~xsc/xsc/pxsc/old/pmetric/pmetric0-0.Z Best regards, Walter Kraemer, Werner Hofschuster University of Wuppertal http://www.math.uni-wuppertal.de/wrswt/index_en.html e-mail: xsc [at] math [dot] uni-wuppertal.de From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jun 6 19:51:19 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g570pIC01831 for reliable_computing-outgoing; Thu, 6 Jun 2002 19:51:18 -0500 (CDT) Received: from patan.sun.com (patan.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 g570pD201827 for ; Thu, 6 Jun 2002 19:51:14 -0500 (CDT) Received: from engmail1.Eng.Sun.COM ([129.146.1.13]) by patan.sun.com (8.9.3+Sun/8.9.3) with ESMTP id SAA15873 for ; Thu, 6 Jun 2002 18:52:32 -0600 (MDT) Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.18.131]) by engmail1.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id RAA02480; Thu, 6 Jun 2002 17:51:11 -0700 (PDT) Received: from gww (gww.Eng.Sun.COM [129.146.78.116]) by mpkmail.eng.sun.com (iPlanet Messaging Server 5.2 Patch 1 (built Apr 2 2002)) with SMTP id <0GXB00IEY953CV [at] mpkmail [dot] eng.sun.com>; Thu, 06 Jun 2002 17:53:28 -0700 (PDT) Date: Thu, 06 Jun 2002 17:51:11 -0700 (PDT) From: William Walster Subject: Interval SIG INVITATION To: reliable_computing [at] interval [dot] louisiana.edu Cc: bill.walster [at] Eng [dot] Sun.COM Reply-to: William Walster Message-id: <0GXB00IEZ953CV [at] mpkmail [dot] eng.sun.com> MIME-version: 1.0 X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc Content-type: TEXT/plain; charset=ISO-8859-1 Content-MD5: tZiv5IJCRafgoSpGw/IFNw== Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id g570pE201828 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear interval community members, Here is a reminder about the HPC Consortium meeting and the interval special interest group meeting that will take place at the same time. If you know of any interval users who might be interested, please forward this invitation. Thanks in advance, Bill Walster G. William (Bill) Walster, Ph.D. Interval Technology Engineering Manager Sun Microsystems, Inc. 16 Network Circle, MS UMPK16-304 Menlo Park, CA 94025 (650) 786-9004 Direct (650) 786-9551 Fax bill.walster [at] eng [dot] sun.com ======================================================= YOU ARE INVITED... Sun's Scientific & Engineering Team (http://www.sun.com/edu/hpc) and the Sun HPC Consortium Steering Committee (http://www.hpcconsortium.org) would be honored by your presence at the High Performance Computing Consortium Meeting 2002 meeting in Glasgow, Scotland. IF YOU ARE PLANNING TO ATTEND GGF5 (Global Grid Forum) THE CONSORTIUM IS JUST PRIOR TO THIS EVENT. COME A LITTLE EARLY AND LEARN A LOT! WHEN: Registration and opening reception July 18 Special Interest Groups July 18 Main sessions July 19 - 20, 2002 (Prior to the Global Grid Forum GGF5 conference in Edinburgh) WHERE: Hilton Glasgow, 1 William Street, Glasgow GB G3 8HT HOW MUCH: $199 US, 225 EUR Conference fee (Institutional rates available) HOTEL: £110.00 (approx. 178 EUR) per night, includes breakfast REGISTRATION WEB SITE: http://www.sun-registration.com/hpc BELOW IS THE PRELIMINARY AGENDA OF THE SUN HPC CONSORTIUM. We have put together an information packed agenda including *non-disclosure only* information on *future directions* from Sun's *top engineers*. Non-disclosure agreements (NDAs) will be required to attend these talks. NDAs will be available on our web site and at the event. IF YOU ARE PLANNING TO COME TO THE SUN HPC CONSORTIUM IN GLASGOW, AND HAVEN'T REGISTERED PLEASE DO SO NOW. WE HAVE LIMITED SEATING AND IT IS FILLING UP. == PRELIMINARY AGENDA == PRELIMINARY AGENDA == PRELIMINARY AGENDA == Thursday, July 18, 2002 9:00 a.m. Registration opens 10:00 a.m. Sun Factory Tour and Whiskey tasting (NOT TO BE MISSED!) 3:00 p.m. Special Interest Groups - Computational Biology, Grid & Portal Computing, Interval Arithmetic, Medical Imaging 6:30 p.m. Informal Welcome Reception(hors d'oeuvres) hosted by Kim Jones, VP of Sun Global Education & Research Friday, July 19, 2002 8:00 a.m. Registration opens 9:00 a.m. Morning session begins Joerg Schwarz, Science & Engineering Market Development Manager, Sun Microsystems KEYNOTE: Malcolm Atkinson, Director, UK Nat'l e-Science Center and Univeristy of Glasgow Deiter an Mey, Center for Computing and Communication, Aachen University of Technology Carole Goble, Information Management Group, Department of Computer Science, Manchester U. Arun Holden, School of Biomedical Sciences, Univeristy of Leeds 12:30 p.m. Lunch 1:30 p.m. Afternoon session begins Christoph Sensen, Department Biochemistry & Molecular Biology, Univ. of Calgary Ron Kikinis, Surgical Planning Laboratory, Brighams & Womens Hospital, Harvard University Fumio Mizoguchi, Information Media Center, Tokyo University of Science Wolfgang Gentzsch, Director Grid Computing, Sun Microsystems 6:30 p.m. End of Friday sessions 7:30 p.m. Dinner at the GLASGOW SCIENCE CENTER http://www.gsc.org.uk/ Saturday, July 20, 2002 8:00 a.m. Registration opens 9:00 a.m. Morning session begins Valentin Cristea, University Politehnica of Bucharest Bill Allcock, Argonne National Laboratory Ferhat Hatay, HPC Tools Product Line Manager, Sun Microsystems KEYNOTE: Marc Tremblay, Chief Architect, Processor Products Group, Sun Microsystems PANEL DISCUSSION ON COMPUTER ARCHITECTURES: led by Steven Newhouse, Research Director, Imperial College Parallel Computing Centre, and Sun Lecturer in e-Science 12:30 p.m. Lunch 2:00 p.m. Afternoon session begins Bill Walster, Software Engineering Manager - Interval Technology, Sun Microsystems Thomas Nau, U. of Ulm Computing Center Y.M. Teo, Department of Computer Science, National University of Singapore Terry Dalton, National Research Council of Canada, Institute for Marine Biosciences Ken Edgecombe, Executive Director, HPCVL Canada 6:00 p.m. End of Saturday sessions Sunday, July 21, 2002 Optional events Travel to Edinburgh for the GGF5 conference Other activities (set up through hotel) Full agenda will be posted at http://www.sun-registration.com/hpc HPC Consortium Web sites: http://www.hpcconsortium.org http://www.sun.com/edu/hpc/consortium.html Send inquires to: hpcconsortium-info [at] sun [dot] com == ABOUT THE CONSORTIUM == The Sun Global Education and Research High Performance Computing Consortium(SHPCC) is an independent, volunteer-organized, international group of member organizations that own or use Sun computer systems with emphasis on high-performance, technical computing, and visualization. SHPCC's mission is to provide the high performance computing community with leadership and provide a forum for information exchange to enable the development and effective use of Sun computational tools in achieving the business and research objectives of member organizations. Participants represent a broad range of computing applications and environments. The meeting format is designed to give participants the opportunity to present HPC developments, discuss applications and needs with their peers, and to hear and provide feedback on Sun's engineering plans. Meetings are held biannually. The last US meeting (November 2001) was held in Denver, Colorado and included over 100 customers and business partners and 75 Sun computing specialists from the US, Europe, Asia and Australia. The last European meeting was in Heidelberg, Germany, on June 19 and 20, 2001 just prior to the 16th International Supercomputer Conference, and was attended by 75 customers and partners and 25 Sun employees. Agendas and presentations are available at http://www.sun.com/edu/hpc/consortium.html. Thank you for your interest in working with Sun to better serve the scientific and computing communities. We look forward to seeing you in Glasgow! Please email inquiries to hpcconsortium-info [at] sun [dot] com. ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jun 14 08:50:38 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g5EDobp09412 for reliable_computing-outgoing; Fri, 14 Jun 2002 08:50:37 -0500 (CDT) Received: from lcyoung.math.wisc.edu (lcyoung.math.wisc.edu [144.92.166.90]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g5EDoT209408 for ; Fri, 14 Jun 2002 08:50:30 -0500 (CDT) Received: from ultra10.math.wisc.edu (ultra10.math.wisc.edu [144.92.166.180]) by lcyoung.math.wisc.edu (8.11.6/8.11.6) with ESMTP id g5EDoGU05964; Fri, 14 Jun 2002 08:50:16 -0500 (CDT) Received: from localhost (hans@localhost) by ultra10.math.wisc.edu (8.11.6+Sun/8.11.6) with ESMTP id g5EDoDs11324; Fri, 14 Jun 2002 08:50:13 -0500 (CDT) Date: Fri, 14 Jun 2002 08:50:13 -0500 (CDT) From: Hans Schneider To: NETS -- at-net , E-LETTER , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, wim@bell-labs.com, hjt [at] eos [dot] ncsu.edu, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA vol 348 contents Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------------------------------------------------------------------------ Hans Schneider hans [at] math [dot] wisc.edu. Department of Mathematics 608-262-1402 (Work) Van Vleck Hall 608-271-7252 (Home) 480 Lincoln Drive 608-263-8891 (Work FAX) University of Wisconsin-Madison No Home FAX at present Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans _________________________________________________ * Linear Algebra and its Applications Volume 348, Issues 1-3, Pages 1-290 (15 June 2002) http://www.sciencedirect.com/science/issue/5653-2002-996519998-321288 TABLE OF CONTENTS Products of three triangular matrices over commutative rings, Pages 1-6 K. R. Nagarajan, M. Paul Devasahayam and T. Soundararajan On the possible multiplicities of the eigenvalues of a Hermitian matrix whose graph is a tree, Pages 7-21 Charles R. Johnson and Antonio Leal Duarte Identification of influential observations on total least squares estimates, Pages 23-39 Baibing Li and Bart De Moor A matrix inequality, Pages 41-47 Xiaojing Yang Perron-Frobenius type results on the numerical range, Pages 49-62 J. Maroulas, P. J. Psarrakos and M. J. Tsatsomeros Non-regular square bipartite designs, Pages 63-85 Caterina De Simone, Grigor Gasparyan and Paolo Nobili Composition of quadratic forms and the Hurwitz-Radon function in characteristic 2, Pages 87-103 Alberto Elduque Positive projections onto spin factors, Pages 105-113 Kil-Chan Ha The evolution of a population under recombination: how to linearise the dynamics, Pages 115-137 Kevin J. Dawson A new proof of a theorem on M-matrices, Pages 139-144 Ronald B. Geskus On inversion of Toeplitz matrices, Pages 145-151 Michael K. Ng, Karla Rost and You-Wei Wen Least-squares inner product shaping, Pages 153-174 Yonina C. Eldar Additive mappings decreasing rank one, Pages 175-187 Bojan Kuzma http://www.sciencedirect.com/science/article/B6V0R-44RNPBX-6/1/30216dc83f94217489f6c119c2cf1933 Determinant preserving maps on matrix algebras, Pages 189-192 Gregor Dolinar and Peter emrl On the number of unitary similarity classes in a C-S equivalence class: the normal case, Pages 193-202 Susana Furtado and Charles R. Johnson Quadratic linear Keller maps, Pages 203-207 Charles Ching-An Cheng http://www.sciencedirect.com/science/article/B6V0R-44PDM6D-3/1/507a5c07acc43c5620889b16e10da531 Invariant and hyperinvariant subspaces of an operator J[alpha] and related operator algebras in Sobolev spaces, Pages 209-230 I. Yu. Domanov and M. M. Malamud A linear operator approach to succession rules, Pages 231-246 Luca Ferrari and Renzo Pinzani Outer inverses of matrices, Pages 247-258 Donald W. Robinson An inequality for non-negative matrices II, Pages 259-264 Ming-wei Wang The reverse order law for the Drazin inverses of multiple matrix products, Pages 265-272 Guorong Wang http://www.sciencedirect.com/science/article/B6V0R-44W9TFX-3/1/7f5d158c1083b506f95fa0a43c8725d0 Modelling the folding of paper into three dimensions using affine transformations, Pages 273-282 sarah-marie belcastro and Thomas C. Hull Comparisons of spectral radii and the theorem of Stein-Rosenberg, Pages 283-287 Wen Li, Ludwig Elsner and Linzhang Lu Author index, Pages 289-290 From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jun 16 17:49:37 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g5GMnbt15617 for reliable_computing-outgoing; Sun, 16 Jun 2002 17:49:37 -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 g5GMnV215613 for ; Sun, 16 Jun 2002 17:49:31 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g5GMnPB13446 for ; Sun, 16 Jun 2002 16:49:26 -0600 (MDT) Message-Id: <200206162249.g5GMnPB13446 [at] cs [dot] utep.edu> Date: Sun, 16 Jun 2002 16:49:24 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Symbolic Comp. Alg: Poster Call*Poster Prize*Funding* www.orcca.on.ca/sca2002 To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: PivU8Q43OX1F26c+y6tcFQ== 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 FYI. ------------- Begin Forwarded Message ------------- Date: Tue, 11 Jun 2002 16:06:25 -0400 To: vladik [at] cs [dot] utep.edu Subject: Symbolic Comp. Alg: Poster Call*Poster Prize*Funding* www.orcca.on.ca/sca2002 From: sca2002 [at] orcca [dot] on.ca SCA 2002: CALL FOR POSTERS * POSTER PRIZE * FUNDING Symbolic Computational Algebra 2002 Fields Institute special meeting on Symbolic and Numeric Computation in Geometry, Algebra and Analysis 15-19 July 2002 University of Western Ontario, London, Ontario, CANADA See the conference web address below for the call for posters: http://www.orcca.on.ca/sca2002/ The conference is supported by grants from Fields Institute (Canada) and the National Science Foundation (USA). FUNDING STILL AVAILABLE: for accomodation, meals, and travel. Use the online registration form to apply. FREE REGISTRATION: register at the conference web site. ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 17 06:54:32 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g5HBsVY17240 for reliable_computing-outgoing; Mon, 17 Jun 2002 06:54:31 -0500 (CDT) Received: from liasun15.epfl.ch (liasun15.epfl.ch [128.178.155.42]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g5HBsO217236 for ; Mon, 17 Jun 2002 06:54:25 -0500 (CDT) Received: from epfl.ch (haroud@localhost [127.0.0.1]) by liasun15.epfl.ch (8.8.X/EPFL-8.1a) with ESMTP id NAA05996; Mon, 17 Jun 2002 13:50:17 +0200 (MET DST) Message-ID: <3D0DCCF8.306364E7 [at] epfl [dot] ch> Date: Mon, 17 Jun 2002 13:50:16 +0200 From: haroud X-Mailer: Mozilla 4.5 [en] (X11; I; SunOS 5.6 sun4u) X-Accept-Language: en MIME-Version: 1.0 To: na.digest@na-net.ornl.gov, scicomp@uni-erlangen.de, opt-net [at] zib [dot] de, opt [at] turing [dot] siam.org, global-l [at] gamsworld [dot] org, minlp-l [at] gamsworld [dot] org, reliable_computing [at] interval [dot] louisiana.edu, clp [at] comp [dot] nus.edu.sg, csp [at] carlit [dot] toulouse.inra.fr Subject: CFP:Cocos'02 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk 1st International Workshop on Global Constrained Optimization and Constraint Satisfaction (Cocos'02) Valbonne - Sophia Antipolis, France 2-4 October 2002 http://liawww.epfl.ch/Cocos02/cocos02.html WORKSHOP OBJECTIVES Continuous constraints are often a natural way to represent practical problems and the knowledge they involve. Such constraints may be simple or complex, linear or non-linear and may, or may not, involve transcendental functions. They are widely used to express chemical or mechanical models, process descriptions, building codes or cost restrictions for example. Many industrial problems involving continuous constraints can be modelled as continuous constraint satisfaction and optimization problems (CSOPs). In practice, such models are often large in size and non-linear. This workshop focuses on complete solving techniques for continuous CSOPs that provide all solutions with full rigor. Less rigorous solution techniques are not excluded, since they may be part of complete relevant techniques. Complete solution techniques guarantee that all the constraints - e.g. security or tolerance criteria - are satisfied and the global optima identified. Completeness would thus benefit directly the quality and reliability of decisions or analyses based on the provided solutions. This has obvious implications in many industrial and economic areas. None of the existing approaches for solving non-linear CSOPs is fully satisfactory in practice. Non-linear programming techniques are routinely used and can solve large-scale non-linear problems. However, they are complete only in the convex case and if roundoff errors are controlled. In contrast, constraint programming solvers preserve completeness, but suffer from poor scalability. The respective strengths of mathematical and constraint programming appear however to be highly complementary and a number of recent development showed that there is a lot to be gained by merging the different inference techniques they provide and by combining their specific advantages. The goal of this workshop is to bring together communities from global optimization, mathematical programming and constraint programming, giving the opportunity to promote presentation and discussion of ongoing work on solving techniques for continuous CSOPs. The workshop aims to encourage cross-fertilization between the various approaches, including the study of adapted cooperation strategies between mathematical and constraint programming, and of new representations and abstractions for which they can efficiently interact. TOPICS: TOPICS: Relevant topics include, but are by no means restricted to the following: - Solution techniques for global optimization problems - Integration of constraint programming with non-linear programming techniques - Linear programming enclosures of nonlinear programs - Improved consistency techniques for continuous constraints - Combination of symbolic methods with mathematical and constraint programming techniques - Solution techniques for under-constrained systems - Adaptation of sparse matrix techniques to the non-linear case - Enclosures by polytopes or nonlinear boundaries - Representation and exploitation of monotonicity and convexity properties - Abstractions based on convex decomposition - Partial boundary representation based on critical points and topological abstractions. IMPORTANT DATES: 15th July 2002: Submission deadline 10th August 2002: Notification of acceptance 31th August 2002: Pre-registration ends 15th September 2002: Final camera-ready copies WORKSHOP FORMAT: The workshop will last three days. Invited talks by well-known researchers in the field of numerical constraint satisfaction and global optimisation are expected to occur at the beginning of each day. The remaining sessions will consist of paper presentations followed by a discussion panel. SUBMISSION REQUIREMENTS FOR CONTRIBUTIONS: The final deadline for submissions is July 15th. Two categories of submissions are welcome: full papers and extended abstracts. The organizers plan to publish selected full papers in an appropriate book series or a special issue of a journal. The accepted full papers and extended abstracts will be presented during the workshop. Full papers must be no longer than 15 pages in length, using the provided latex format (the style files are given below), and are expected to describe in detail solving techniques for constraint satisfaction and global optimization problems. Extended abstracts must be no longer than 5 pages in the same format, and are expected to address research proposals and reports. Submitted papers shall be written in English. Papers are expected in Latex and postscript format. The title page should include the name, address, telephone number and electronic mailing address for each author as well as a list of keywords. A contact author should also be provided. The submitted papers have to be sent electronically to "cocos02 [at] ilog [dot] fr". REVIEWING PROCESS: Submissions will be judged on significance, originality, quality and clarity. Each paper will be cross-reviewed by at least two referees. Authors will receive feedback in the form of reviewers' comments. PROCEEDINGS: The organizers plan to publish selected papers in an appropriate book series or a special issue of a journal. STYLE FILES: The submissions must be formatted in lncs/lnai format (http://www.springer.de/comp/lncs/authors.html ). SCIENTIFIC COMMITTEE: Frédéric Benhamou, Université de Nantes, France Christian Bliek, ILOG, France Boi Faltings, Ecole Polytechnique Fédérale de Lausanne, Switzerland Arnold Neumaier, University of Vienna, Austria Peter Spellucci, Darmstadt University, Germany Pascal Van Hentenryck, Brown University, USA Luis N. Vicente, University of Coimbra, Portugal LOCATION: The workshop will take place at the Mediathel (http://www.mediathel.com) conference centre in Valbonne-Sophia Antipolis. The Mediathel will host the attendees in a nice setting amidst the Sophia Antipolis pine forests. It is located 10 min away from Antibes and the sea, and 15 km away from Cannes, Nice and the Nice-Côte d'Azur International Airport. ACCOMODATION: Preferential rates are proposed by the Mediathel (http://www.mediathel.com) to the workshop attendees (55 euros/night). Other hotels can be found at http://www.alpes-azur.com/vsa/english/vsamain.htm FEES: The registration fees are of 150 euros, 75 euros for students. The fees includes all conference material, access to conference rooms, breaks and lunches. ORGANIZING COMMITTEE and CONTACT ADDRESSES: - Christian Bliek (ILOG) ILOG 1681 HB-2, Route des Dolines 06560 Valbonne, France Email: bliek [at] ilog [dot] fr WWW: http://www.ilog.com -Djamila Sam-Haroud Artificial Intelligence Laboratory Institute of Core Computing Science School of Computer and Communication Sciences Swiss Federal Institute of Technology IN (Ecublens), CH-1015 Lausanne (Switzerland) e-mail: jamila.sam [at] epfl [dot] ch Fax: +4121- 693 5225 Phone: +4121- 693 5209 SPONSORS: The workshop is organised by the partners of the COCONUT project (IST-2000-26063)(http://www.mat.univie.ac.at/~neum/glopt/coconut/) with the financial support from the European Commission and the Swiss Federal Education and Science Office (OFES). -- ------------------------------------------------------------------------------- Djamila Sam-Haroud| haroud [at] lia [dot] di.epfl.ch ArtificiaI Intelligence lab. Swiss Federal Institute of Technology(EPFL) DI-Ecublens, 1015 Lausanne Switzerland. Voice: +41 21 693 52 09 Fax: +41 21 693 52 25 ------------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jun 17 22:32:19 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g5I3WIQ18915 for reliable_computing-outgoing; Mon, 17 Jun 2002 22:32:18 -0500 (CDT) Received: from dragon.relcom.ru (dragon.relcom.ru [193.125.152.57]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g5I3W7218911 for ; Mon, 17 Jun 2002 22:32:09 -0500 (CDT) Received: from d144.z194-58-101.relcom.ru ([194.58.101.144] helo=ns1.glasnet.ru.glasnet.ru) by dragon.relcom.ru with asmtp id 17K9ie-0008P3-00 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 18 Jun 2002 07:31:49 +0400 Message-ID: <009901c21678$9b118b20$9ee63ac2 [at] glasnet [dot] ru.glasnet.ru> From: "Alexander G. Yakovlev" To: Subject: The journal RELIABLE COMPUTING Date: Tue, 18 Jun 2002 07:30:06 +0400 MIME-Version: 1.0 Content-Type: multipart/related; boundary="----=_NextPart_000_0079_01C21699.F85C4880"; type="multipart/alternative" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2417.2000 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0079_01C21699.F85C4880 Content-Type: multipart/alternative; boundary="----=_NextPart_001_007A_01C21699.F8657040" ------=_NextPart_001_007A_01C21699.F8657040 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: quoted-printable =20 -------------------------------------------------------------------- = = www.wkap.nl/journalhome.htm/1385-3139=20 Reliable Computing =20 An International Journal devoted to Reliable Mathematical = Computations=20 based on Finite Representations and Guaranteed Accuracy=20 ISSN 1385-3139 =20 Aims & Scope Reliable Computing is devoted to various aspects of interval = mathematics and reliable numerical computations giving guaranteed properties of computed results. Managed by an = international editorial board from Belgium,=20 Bulgaria, Canada, France, Germany, Japan, P.R. China, Russia and = the United States, it includes various=20 items in the fields of theoretical research, computer tools, = applications, interdisciplinary research and other=20 relevant areas. Reliable Computing also publishes proceedings of = international conferences, such as Interval,=20 SCAN, etc.=20 The journal includes: original papers, surveys and tutorials, = reports on new computer tools, bibliographies,=20 reviews of new books, letters to the editor, information about = scientific meetings.=20 Editorial Board =20 Editor-in-Chief:=20 Vyacheslav M. Nesterov=20 St. Petersburg, Russia Email: slnest [at] comset [dot] net Phone: +7-812-534-4120 Members of the Editorial Board:=20 Gotz Alefeld, Karlsruhe, Germany; Annie Cuyt, Antwerp, Belgium; = Boris S. Dobronets, Krasnoyarsk,=20 Russia; Jurgen Garloff, Konstanz, Germany; R. Baker Kearfott, = Lafayette, Louisiana, USA; Vladik Kreinovich,=20 El Paso, Texas, USA; Svetoslav M. Markov, Sofia, Bulgaria; = Gunther Mayer, Rostock, Germany; Mitsuhiro T.=20 Nakao, Fukuoka, Japan; Helmut Ratschek, Dusseldorf, Germany; = Jon Rokne, Calgary, Canada; Siegfried M.=20 Rump, Hamburg, Germany; Alexey L. Semenov, Moscow, Russia; = Sergey P. Shary, Novosibirsk, Russia;=20 G. William Walster, Mountain View, California, USA; Eric Walter, = Gif-sur-Yvette, France; Jurgen Wolff von Gudenberg, Wurzburg, Germany; Alexander G. Yakovlev, Moscow, = Russia; Shen Zuhe, Nanjing, P.R. China;=20 Vladimir S. Zyuzin, Saratov, Russia =20 Official representatives:=20 In the Western Hemishere: Prof. R. Baker Kearfott Department of Mathematics University of Louisiana at Lafayette Box 4-1010 Lafayette LA 70504-1010 USA Office: (318) 231-5270 Home: (318) 981-9744 E-mail: rbk [at] louisiana [dot] edu In Europe: Prof. Dr. J. Wolff von Gudenberg Lehrstuhl fur Informatik II Universitat Wurzburg, Am Hubland D-97074 Wurzburg Germany Office: 0931/888-5517 Fax: 0931/888-4602 E-mail: wolff [at] informatik [dot] uni-wuerzburg.de Indexing/Abstracting Services Reliable Computing is indexed/abstracted in Ei Page One; INSPEC = Information Services;=20 Mathematical Reviews database; PASCAL-INIST/CNRS; Zentralblatt = MATH. Subscription Information 2002, Volume 8 (6 issues), ISSN 1385-3139 Subscription rate: EUR 322.00 / USD 322.00=20 Individuals may subscribe at the reduced rate of: EUR 155.00 / = USD 191.00=20 Subscription Rate refers to either the Paper version or the = Online version. To receive=20 the Combined Paper & Online Version please add 20%. The private = rate, if applicable,=20 is available for the paper version only.=20 Information about ordering back issues and supplements (1991-1996) You can order any set of back issues (1/91, 2/91, 1/92-4/92, ... = , 1/96-4/96; the total number=20 of back issues is 22) and supplements. For terms and prices = please contact either=20 to the Editor-in-Chief or to official representatives (not to = Kluwer Academic Publishers!). a.. Please see Journal Ordering Information for additional = subscription information.=20 =20 -------------------------------------------------------------------------= - =20 ------=_NextPart_001_007A_01C21699.F8657040 Content-Type: text/html; charset="koi8-r" Content-Transfer-Encoding: quoted-printable
 
 
 
Official representatives: =
In the Western = Hemishere:
  Prof. R. Baker Kearfott
  Department of Mathematics
 =20 University of Louisiana at Lafayette
  Box = 4–1010=20 Lafayette
  LA 70504–1010
 =20 USA
  Office: (318) 231–5270
  Home: (318)=20 981–9744
  E-mail: = rbk [at] louisiana [dot] edu
 
In Europe:
  Prof. Dr.=20 J. Wolff von=20 Gudenberg
  Lehrstuhl = für Informatik=20 II
  Universität Würzburg, Am Hubland
  = D–97074=20 Würzburg
  Germany
  Office: = 0931/888–5517
  Fax:=20 0931/888–4602
  E-mail: wolff [at] informatik [dot] uni-wu= erzburg.de
 

Indexing/Abstracting Services

  Reliable Computing is indexed/abstracted in Ei Page = One; INSPEC Information Services;
  Mathematical=20 Reviews database; PASCAL-INIST/CNRS; Zentralblatt=20 MATH.
 
 

Subscription Information
  = 2002,=20 Volume 8 (6 issues), ISSN 1385-3139
  Subscription rate: = EUR=20 322.00 / USD 322.00
  Individuals may subscribe at the = reduced=20 rate of: EUR 155.00 / USD 191.00

  Subscription Rate refers to either the Paper = version or=20 the Online version. To receive
  the Combined = Paper=20 & Online Version please add 20%. The private rate, = if=20 applicable,
  is available for the paper version = only.=20


Information about ordering back issues and = supplements=20 (1991–1996)

  You can order any set of back issues (1/91, 2/91, = 1/92-4/92, ...=20 , 1/96-4/96; the total number
  of back issues is 22) and = supplements. For terms and prices please contact either
  = to the=20 Editor-in-Chief or to official representatives (not to Kluwer = Academic Publishers!).

  • Please see Journal Ordering Information for additional subscription=20 information. =
 
=             &= nbsp;           &n= bsp;           &nb= sp;           &nbs= p;   =20 =             &= nbsp;           &n= bsp;           &nb= sp;        =20   =20 =             &= nbsp;           &n= bsp;       =20 www.wkap.nl/jou= rnalhome.htm/1385-3139
3D""    Reliable Computing
 
An International Journal = devoted=20 to Reliable Mathematical Computations 
based=20 on Finite = Representations and=20 Guaranteed=20 Accuracy
 
 ISSN=20 1385-3139

 

Aims & Scope

  Reliable = Computing=20 is devoted to various aspects of interval mathematics and reliable = numerical computations
  giving guaranteed properties of = computed=20 results. Managed by an international editorial board from Belgium, =
  Bulgaria, Canada, France, Germany, = Japan,=20 P.R. China, Russia and the United States, it includes various=20
  items in the fields of theoretical = research,=20 computer tools, applications, interdisciplinary research and other =
  relevant areas. Reliable Computing = also=20 publishes proceedings of international conferences, such as = Interval,=20
  SCAN, etc.
  The journal includes: original = papers,=20 surveys and tutorials, reports on new computer tools, = bibliographies,=20
  reviews of new books, letters to = the editor,=20 information about scientific meetings.
 
 

Editorial Board

 
Editor-in-Chief: 
  Vyacheslav M. Nesterov 
  = St.=20 Petersburg, Russia
  Email: slnest [at] comset [dot] net
  Phone: = +7-812-534-4120


Members of the Editorial = Board:=20
  Götz Alefeld, Karlsruhe, Germany; = Annie=20 Cuyt, Antwerp, Belgium; Boris S. Dobronets,=20 Krasnoyarsk,
 =20 Russia; Jürgen = Garloff,=20 Konstanz, Germany; R. Baker Kearfott, Lafayette,=20 Louisiana, USA; Vladik = Kreinovich, 
 =20 El Paso, Texas, USA; Svetoslav M. Markov, = Sofia,=20 Bulgaria; Günther Mayer, Rostock,=20 Germany; Mitsuhiro = T. 
 =20 Nakao,  Fukuoka, = Japan;=20 Helmut Ratschek, Düsseldorf, Germany; = Jon=20 Rokne, Calgary, Canada; Siegfried M.=20
  Rump, Hamburg, Germany; = Alexey L.=20 Semenov, Moscow, Russia; Sergey P. Shary, = Novosibirsk, Russia;
  G. William=20 Walster, Mountain = View, California, USA; Eric = Walter,=20 Gif-sur-Yvette, France; Jürgen=20 Wolff von
  Gudenberg,  Würzburg, Germany; Alexander G. = Yakovlev,=20 Moscow, Russia; Shen Zuhe, =20 Nanjing, P.R. China;=20
  Vladimir S. = Zyuzin,=20 Saratov, Russia
 
------=_NextPart_001_007A_01C21699.F8657040-- ------=_NextPart_000_0079_01C21699.F85C4880 Content-Type: image/gif; name="REOM.GIF" Content-Transfer-Encoding: base64 Content-Location: http://ipsapp009.lwwonline.com/Journals/KAP_REOM/texts/REOM.GIF R0lGODlhkQDcAOcAAEUQUcaUra+l9zQBnfmj994VJsK569IAjPb29sMAc+nu7u/t79f39/Lw8vn5 +e3t7u3t7dozm7kANPL09LgAh8MAaeQ7essAcff397IAd+/v7/Xv9cE1vvPz89kDpL8AkPDw8NMA evHx8fv7+/ry+vX19cIAZssAfPX4+NMvZMsAZdy2wOZGuucAjcs+bMkAaPP5+fT09/T09LkAeO7u 7u7t7qkAVJ0AjOUAZff298sAZ8gAhcIAfPLz8/Ty9PLy8rUAbPv3/MsAgPf3/coAZagAdeQAbLSY 1ckAbfD3+Pz8/PDw+PDx8dthlvHw8b8AldgVj6MjnMgAisoAdrEAfvAWkNAAmPb7+/j4+fj4+Nts tuLI0cYAfPYAjcwAfaMKmNsAmLsAbcIAbroAfuYUsvGTx7IAZ8MAeLoAZ/38/ckAa6YAbfNhm/r6 +uZ1yPv6/KQZeKoAf4MEjOqv98sAgcsAjswAerUAfssAiccAZskAcMMAhb8AmOMAmfr8/PIymfaZ lvnW98sAhMcAf8oAc74Affe2v+zl2LIAe6wAhbsAcssAfssAfZIQTegAmcMAgfSa2fITpPN1tswA i/z+/t8Al8sAavaw68sAkccAacgAeKkAZ+ve98oAZ/EAmMsAbLYAZ8wAhssAdqNN2sYAbssAeMsA e4RIwtYAmMsAZtx3ovSiyK4AdscAc+ZH4vN5m91JmbIAgb4AZ8kAZfvIycsAguYU2L0AiPaYvK8A f+CY1PkBmaMItfnl+csAc8FyxMsAbrUAccwAgK0AbcoAgMoAlcsAdMsAf9oYpFJAw7UAgfe224QF rssAcPXf68IDt/7+/t0AjL4AgcsAbcsAacUAZsMAiuvq98gAfL8AbccAguwAer4AeOAAmmwAoa4B jMQAfMsBmLYAe5IVdr3Y97kAgcsAaLYAd/vI37IAfeEAl/uSyMsAessAiOeYrvnI99tgp8sAedYl WNt9tuh16OUAmKNZp8sAb6UAiswAmcwAlesBmcsAa/JImr8Acte23CwAAAAAkQDcAAAI/wBByMBQ ooMMBEqyYGiDoIQMgwgeZinxo6DBDh0QaEBAUIMMGT8QRLzYMCICCAMhQNAIISMNECoRYFQJgoZK miJualBpU+XOmyqdMbKQQF41eRXEtFLRTIUKIlCfyjORhxSRF9OcalVxoZZWc1rjATvmS14rPS+q mSCkAkQHGiUS/lCCEIOILB2UlACREEIJCBgcMFQyV8QPuCN+iBhxUqODHyNKvMzSRgZNCD8wQ5jY BqjnLDdBQ3DgObNnCCQgHKhgYhaOWSpwmFBRR6upqJOMysvUjsjW31u9OJ2VCWoeNDb0GJFFCgHD uAr1Ihgho8QIaCUwTIz4UWaJiDQcPP/8XkKDBrcgSrQR0SGnDA2Kf3yEsFPgD5ggTJ8GmpM+UJj7 OfOJPEaYIM8sSG3lCyMqLBKVU528kAoo1aDhmwp5FKdVHpvIQsQnoOxGhCzyDFONDWHIMwIG1IHw WBvWdXAfiyWIoEQHka2UhUc0ZEbDdAiAgFdlDnQQGAQM9SiCA3+BUJNNf2HwA2miaQZBT6TR52IH p/V3Ew29qDBVJqmoQA1wGaqQSQJ55OGbDZ+IKY8sWu3Wpm9IVRCGMebkoQJxBrImBgYIFXRQB1lk MRACj8nQBgYyKLqSlH9hFNlEIiBAgwjf2SSCBnhhgBIIP8lAqmei3lTjTZb51JKrP+3/B4EzFlQT AlI4AOdUggX4M4sYYmxChAQSDNdmJmiQWBwaYlYgATt57CBmJmaoYEQGkCYEqQx6ZSGTR4opUZmi NLQx118bESZfet/aJYNheBm56V47BfkqfQh4eVNmraJ0GpdALeCpSkaEocZTRLR551NtVlMBIcjK U0A2zc6SB4JryAMKEWgc7FSGZhy1BhFUmUGyDUX+2IZCkSmhnULQtPcDBjTIMEIWIgi0Ew0KadCG uQs5h0Fg0125Emk9yqp0aKx6VoNngUBz0yc40JkhEbplkoeHRhUgwRnVZFjsn0eF7aFvedgghiWp YF1BNaXMUgERZZuxSQnk4Y23A+I6/+R3dqDp/R7e1RVeuEMeUdQeZjL0kBOA/B1m00479dfTfklD cEhPmfXSy44Q+PJCKydgjcYss5hgQjUSIFvNLDYgmM2cNqhRwVSgGAhEtdSgIY8NpZgxmwqymLGb CmiYgUYeLivhPGh6AaaEW4wp4QCNPDtvmXMgTPeDBqKOoFIJDjiAUC/n/QfUX0u375kCnhmgBAQh IEiKU0ZIgKA8c5J4lP4IEsMacOA7o/xPHgm4wAsakToJaOIThFBYHiqAiVZ0IkQfIUgHGKKdG8nE SO9piEF+8AMjlfBv9+nAXjATpOpooAMAgol++iMCfXkGcpjzjDNU0oueOIMTTrlAHv/UkAnWqYFZ KjBBAcwwC5LpJg/EIpENxHS6qUigFVORBxCqYQYJXMBAJOpiCNBggokwAQGhqsijhqYdxWQEMFno kXzYkzPSGAYuccTLSSbHBJUEogQ7Sp9nEBUroJxEVq1agCJrsEOVHKIXSHGTPCQgG6MUayp54KIJ NqE6G6hlKghSXTWqQTVZzMJ4IQKFCl43C7VsImQhwsAEQDBLjohABuLJQgNuphAMCOk9ghlSjzSQ sxpkwQc0+0sNctAjEDijjxBQAA0MIL4fgE4lCngANU/zNKedpheB6AUJatDNWREhlGnjZGtUcMkU 0YlEGcsd6uSRLDA2ohXVUIEZqFH/tWqcExSbaNMmymYCGZAAbzWTSWYmQAMFNEB+BSnBBEjIHgg4 gT40gOGn/FKDv4iABk9bgA8aUINrMJIJD0ipNsUHAUYqYAEmbSkEHsAJZ2ygFyd52gYW4AwQ3PQH NzVMTxlJsHz67iizkADrDoSGXskCRZP03TCwNkoPqU4eZrDBC2QhASTMQhYWcgqJQCELEyzvCsy8 kqiuEAMaMEEB8IMr/DDgjCzU4AcLSEMO0jCap5FzAeQcQQ0WYFFFGlaRG7jGEha7ABI0dgMkWMIC euGMQCzhGj7YgGY3EIh35ECn7/jBIUZ7CGeQ9hAiQIczahCISUzDEsYa1iqLpYOo/xxoN0wkApx0 sIZNoCETBXLKJ2CDoaNU4Dc6KJA8DoAJc4QgGgdoxjaiEY0WTDca083uLraxjS54twu7+O53d0He 8pp3F5EobxXOm970mte96P1DJFjQj/rWlw39YIN+9/uK/vr3FYAAMAsiEAFkICMCVUCFMMBQjxZA Nxr5qAMYnhGNehxAHRao8AH6cIBoVOEA+aiEMA6gjT18IAQWCAEj7pGwTMBGbXkAxiKmcQIr6EEU UliEFFrRggMMAhjG6HEI9BGKDhujGMLoQnUPsI19tCAcHW5BCzyxDVR0YcpP7gIYPNEHT+wDDGDo hpd34YEWWKEeWgbDLroRgiogo/8LBIbCH+b8hwjUGRZ4bgIs9KsFLcBDEmzQQn9V4Q4XNGEe85CE Kl6BC1WsYxW4wIU7cLGOMqxiFSt49KVX8Y8t0OId6HgHLQ6BDk5QVgEqSEUn8sSwOtjhHsR4gSYS sAN+4MEI0qhDCKTAjgMIQxCtCEELhL0PL6CiFvlAxQE8cQBUWOAZk4gGKirRgme0QB/1sEI0PEFl UTjiAC3oQxc8cAAPOAIMfQBDJc7dByjkw8mRgAIUIlHnP7AAzyy4d76bwIZXNEEV8IDFK9jg6CaU 4RXrcIckEK2KAK/CHbqA+CogoQtdLOPSW1gFLQyBDo2jI9S0CMRoA7EAUfjmqh//EJMUHtEgWWQD B9wgRTvUYIQKnIEHwuaCtUIQDmE7AhNgPkA9ooGJFjgCuh4IAXeFjYl89NjB3fAAdfOxDSugwgqO cEQL0G2Fbqg5GuaOBjI8EAkPzJkMdqYzntmwZzawgN+qAHjcF91vRLvjFe4og6QTPulVAGIVuljB KpZhiGVsnBZbeMcWSF1ZZzjeGSRYBBqAQRVF+CJZk5hCqqdxhgRg7QkhyAQOtlEA1ToDHbuwgBj0 0Qp+bCMc4ehCOFQigy5UgQb0iEQXpMDs0FcCFQ4QQST2sYtodCESKiGBBzzhiHzkwwrjHrcVyOAJ D0DB9p5gAb3pfGd4sGC/f9AC/xvgwYZ/+xsQbCjDOgC9/klL2h2rWEfG4x//i3N8C5wANTo+zdOQ ayAQ+qAC5ZANqQAbcVMLizALzaAD/GAEexAC7EAIanAC+bMB5dE529BhGfgBB9AN0UAC1NEC19AA EOBg0dANmBANHPYBBuAATZZtldAHzuBQHrALqBBu6gAGVrAN3VAP6LYNyFAF0YBgEUBvBBYBLPAH LgALEQALAadffwYP4qcK86AFcecOhHZ37rCFfQcIhIcLy0B4YUgLy/Bxp4cOgYAOj/RDveAFqeAL onA1egAKOmAMOlAKdbADOtAIF2AJpdAMk3AAKrAAPtMTLCB1xVAPqRcKXaAA1P90ACSQAxCgDtC3 fC3QBd1gBPAzel62D1YwWL2wfM8gdLsABjWYD7tQCcxWCfngCH/QBdvwB2RQZ96nX06YZ1ogCfwG D+THaE3wi/OwDoQWcZJWBgEQf+ugC4ZwaYYACJfwaeiwBR8ncrSwfwsAE4vwAk5hIJmgAxWwA9Ig CCewA/FwDy/wCTpgCfegAiFQAL3QAehVM/RjdAdgBfZ4AMTUAJ7QBRBQii3gAaigdcK2DSrRXtEA BvmwAIGAAEZXD/tQD5VgdQzGYLvgCS3AAvUgdWk3YH/AhPTFAvJQfr8oCeKnX68gCX+mcICAaJE2 ae6wApFmCCtgf1twCWW4fx//F2qm5Qy0sEPOwA2ZkAHE0wwTZAOhcAKboAbNMA2fcA+M8AKZcA8h 0I4bcAhWgAl+UYLM1QJ/AJD70B4yQAbUhgrd4GQHEAFktmwr0YPytWycVQP7YG5W8I8tUAn7oA76 cG5Q8I/tBgUIdmBH+Af9AAv98H1N8Hbi5wYkSYXuMA+vMA+NRmnzAH8r8JK4sAqGQAu6sAUc93HS uAUih4YiFwjOIAOBYAEkggZicAIkUgS+YAx1sAjW0ApnwgjUYAStcAHRUAB7AQbRgBI0AAb7oAAa IQNWAAbJ5Am9UJDhYExBsXw1IALb0B+eGCkk0AWeQABpsABB4Ao52AKRkINQ/wBtFuAJVVAFHFAF bVZnEZACLGABg9mR/CZ+/jaZbDAPK6l3uAAIENeSyyh4eOeFXph4aLh/o5aGkggBGwAOF4I8WiEE CXgBOhAC2MAVpRB6LxACOOARQBgRBIAKlLUBjjABCqAOi6GP0CAqQidSMtAAxrkLV0IDMeBQ7+AB ICA/5tYDEFAFlYUMGdlgHlAP3QAFY4cMUFAFBFZng7l2TUB+/KaLgdZvJqmFkuB+kvZwkGYIuFB4 yzCThUcL0Gh6prdDDmAB0gAMBzMLHWIGwCAIxaACHyAFUqAVgmAECeALKnAIXGJXJBAO0QATrrAL M+gJGDA/XWAAUnMAu/AOz//QBT5AA+kFATzlCAsAPwcAP/3oDDRAA2RAAw2AloqoiruAdt3AAtsA BeGAlgTGAQMGC3VmAZIAaFFKkpLgb+7ABoAWaYCACxVXBl5IC4BAcYZwCIaHDhenhh+3AGDKkwvQ AJxwBpiwAzawFPKwBipQC80wC9MgCAhEBMYgCNhACiFgBDjQAY/RPa6wDaEgE2QABk6gjzkgH/uA PhCwfNFAABsAAjXgCl1AToH6DqlBBjMIAh4gMO9QBTuxDh7gAZVQD2SADNFABt3gZhZwYEjqqkjo hOP3dlJIfvPQb68gaI25hZJQBu6wq++nmSsgk1u6CgYKmjk5modwDT1iAdz/sI7mkA1kxQNTAFul EwrysAfxIAWaYASkVADOMALvwARtMAfgRgM+EATitAEeUANt0AFWQAIkmG0QAAKXAIL00AUbUAO7 sA+SsJxVqwElwI9X0gAk4AzLYAVllw9gVgmRAJ5u9gd+GQFk8J4E5naFCaW/eGjih4W6sGhloAq4 UAYmG3EVF6xhOJOcCWrvkIaltn+HwFMK0Atn0AnmoAMqALpmYAShoJQvEAqsIATtUAp4sA0WdA8F cAgNkJDXAAFgsA0K0AG2sAu76wE5oCiesABc4gFM4AQkoA69sACu0AIMQAKRAAb0QFgwKqndgCiB 4Aq4mmEeMJdS1we74Aie/3CkR3iE+YZnsKBnf3afwqhfiyYJuFClr8C4wQp/kbal6zCTq7AFK2Cs iwdqh0ALvfAOj6cAG2ABt3ACTpEATmED4igICdAJF8AOL2AMqYAE2iDBSIsCLXAJKCCiYKASbgAF HggG6aEBYLABmrIPEDABttACLkIP+1ADMmAL+xAIMEEGnKASBYuojgCQ3WAFfRAOVuABZFBmeyl2 yBAJyMCeEWABsPB9hCmFTRqlqtBvtXp3eqd37mtpmLmlhGcImQmml5CTqrV/puU5nGANsEE3YZAJ YUAI9yAKKkAHWqEDpiAhBSBzsbsAqPCbEEAPHuADKpGXBNAFMKASyqkdxP/bA5dAADLQnbvgBIyy D8EnArsQAxDgA55gCNcQCK8ICeSliOBbtnIbDnOWpGmXX263yiJ5q/RZBlqwDk3Qn5LgBvW7Dn83 ePm7DFuwDO4AcocAaoEAASInArQQTRCAmiqgB2vgO8VBDNKQC9MgCl5gO8TADlPADifQjr3ABAeA B/Mht9DgHgvQDTlAAj+gDhZoAJHgDCUAWQ2QAzDcADe1AdRkC56wBD5AsI5wUQbQGUm8D2TQAmTg CEFoZ6iMhOWLZ1LYD7zYBLHqmChZqwtXq5DJuJK2slg6eIbwjKFGxo/3Q86wnM6QBItADAsCDnTS xsUQD3VADBWQCh9gBB//YAmCQAhEsAPuqAH7cAAy/AaoUAe9EAQQIAILkA8o0AYxoJwOoADdEAlB 4ASusJw1qki20Asb4AS20K8txbuuQAK9QFNuEJBWINAPW3x/YAtJOL72dphNCAuxug7w0AQFIAmA gJK4gHDBiHcBQGkSF2nLsA7/gAucCQkEGgjVKGqk6RknUAd5IAY2kAn6NAumcAGhwAihUAvZUAqL IAqqqwkhoAk7IAgUGg2TUAzCBgYtUIoPeXQtsA9i1gV9UAnkpQ6OcGVgAF60TcNlfYlx+WW7EKhl h25goA5fVgl862bn+QccYGf3Jgn35tDi12fwUIULd5KQ6QaQ6ZK6cJmM/4uZhrAOYUzGh3AJIe14 KpERjNAKilAgrWACmiALgiAGORYHgnAPhCAKEVwK2xAC+bBrBxAC7RACpUAMVpAP0SAF4BYNWod1 LVCWfdAC6oAKD7lmZP2QmOh1y3ecC4t1ZUd9ROwBT/2wU7bEYDC+EdAPh1lfbUd+fnaSqhCrsarX LrkK301pZbAM/3BpYWisaNiTgZCGPLWcOnoChBAPlsCUONDGdXAMarAIk7ADFzAJRIAEU7ADloDk phACO1AMXfAEwIAJxaAH+rALmHDgYFB0VIcKqJAPnnCc5dYFVsBtjgDEnXhmXcfm+4AKu/AMpYgK 9RCQfUwGVoAMSShnA/9GX/YmmFrwfSgZpbiKq6+waFQICIxrsoLX3ZqmaVsKCaGmcSG3f4i9AOhA A6LCCJ1ADMNyB5YQAi9ADNxQCgpkDE+pB6ZgCifwAif9CFzwAdvwCK0bDdgQAhcmbM8FZQ5mZmdG idqmdQzeAoGuDrNdDxAZ6A32DES8D47QB9tL7WRABupQD3mL0IuOb94HcLRa3RGtaJU2D7pQsu6H mZcGCTzepZfQmdWohqSJ3s7wAI1zArPAA5/gGxJAChVwAUSACVAxBaEQmwqvA3pQC5gwriGACSSm BjvgC7vgfOyAChVfDKq4D/vgCdFgBbsAZfmgBupQkcWwC31At8nmCKn/6AkUXnzkVYORcADtil4c kNZGWm/2Bg/5JYWC2bFVPHD3WcXuEABuAGD7iQuCh4yDB5OG8A6ZeQnSiA4yAKYi53jDfCWMUAzE kAcvMAV30tKlQATEIAZIgIC18AmmUI6aUGRTma5Q4AjbgA2g12z26GBgUI/dgAoMtg1lpmQP2YPR UAkVhgq2bfINCwbPa4rq4AYLYGAOCwbI8LB0Nr71FXAu7uKApgVuEGhlUKUKN2nrwKt9J++EZ6yZ eZOhNpqqtZwtgQDROg3UEAK14DuDYAzc0ArsEApI0AztwA9ScAE7AGtd0PHZoQEPVQVXyV07cABg UAytIAT7sG1Xd2VW/wee0wVmFokKAFnc+9h1X+YIcdkNfdAGNFCjkdANBRYJbtbz9oZvU7xngMaL bnD0tZxoVIjLALGuDK51q1atQ7hs3YplgGgtQxcRXSBnzhY46wXBGY0fILAhQ0JqkwR8ofJgenHh hBRLpS5Qa1ZLSos6eER10JClhg8Cpg4cqNclxL4QmDxtm9TCkRWmYLp5CoGqG6oQ0VDVQ2XV01RU +1o8s7JlQ7R9HgxACwTFArII0ZCx/RMh0p9+f2BpgceGjZYm8CRJYuMG8F9ckl6VKfNKly53B1fg MvQO16p/q3Ato4WO1ruIgSYGevCAE8csIVrtEVRBUR5ZJtqJCsHtmP8pS+am0WmWaVuIA8scOMnR K0ckdZVahAhhpQ/TaAegHKg0tUW3aFbIRgvRzUq3Pvn6OKrkoYsHVJEiXdLwAwr5BktcRSITCdmf KhHi/mFBl0W//bBYsGiCDXjyUuWvweZxZx433HGnjHkgKWgVQ1ZZxpAKL6EFEnQO4WwizpwBrZca OhiBkVLkkUUNRWqRZw1gBHlCBRV8UYGfRYoRRQocziDirAWswCGEXUIJIZ98djEihHDAsGIfKzzx pAtHdqkElWIcCaebXTwQr55dutilvCfUOcATD97pRQEwnPRglz/M2yeFCLaJK4IIyGjCBVfY+EUL Ngxsogk3cJlHi7//AnODMYHcWRAXQHQ5CJB/LlnHEIbeWYWzQN55J5BArqElEAggEAECRjCRUQV5 qjFDHmKkUcYYYtSYxpxF6BBFiBNC4AeEEVwJYYcDmjsAEhI6kAGoFmIQgR4HSpDBAx8cQIC7KiaQ 4Y9rFiCgm25qkMENTxqoQYRIFkiChh42IIOJHt7hgAYQINjABwjgYQEWeRrQQIslnHGDDRYE7OcV eFSZx8B5VCkQEMQYLEOXFQxaZxlI/oHsoVU0m8iZQzquiBNSZWCEmClesAQYFUxopRhFZmFkkilU aGaROuJph5AW3kGBhmLymWQbqOSB5o1r0tggknqCUGIDEnxAOgip/yGIpIo2FuhliAWS3WcIGtzY ZYEaGjhXBmdIuAYVCBwI5I9R/WBCARA4oQuCXpxpYwIIDgUMXzZeKfBPBHVx0B1dVGFsYon/gcSQ LSp+Z5lDlnkns3dApMWZUZ2ROxBh6ugkFCJekACUT0LhYhNNZNTBGJfoQILINHuwAptiDmjlgAZi oGcXFDpgIZIN0rjGFRJGyMGVXt5oYMogluh9CRk4qcSHBVyxZQMInPDgkiSojo8TEd4hYwImsrhk CQ1o+EOSDhig5+4J/GRDFb/+9FOLVyRJTJIGJcHFKxrEmIOsYgWWktAqaLGFiHBmAYegCIgWMCoa YOAEFyAEEYgAjv81IGEHk/gAK4hxi2nEIhGLEIUaSqEHYZDAGUk4AE12AJseKIEMqEDACNrggQ2g 4B0eaIMSSOCJXpBABo6IRBDSYKYNlGACwkMAPcjQixIE4UwbcAYyyICMCVzhHSzoxQT8AA9nYIEE 8CABBkDwp2t0QDD4coef3FAoN2hhUK940EAIMpkIWQgSFaLQxi7hjM5MRCM0cID2ZIAAJZwgFJko BDsysQMiPKIOO8BEHvJQBBqdwBKCmMQl35EFDaCiBUJBkhOU4IguHO8aB3hDGujRDT8ooQRkWAU0 RrCPXYxgAVwagdnIQIINuGKYDvglJ0qQhT+0ABUdUMAcWECCHDj/gwXv6EAOtLCBseVlAbK8Hzzm kRd4vEIwbkCIJAJgOFwQBCGQWgeEthA5Ti2wM5UTVSA48Y4JKgADjVTDJnDQiBCsgQv4WMQiTjAD LpyAEelYRCpOYAdGRGMWiyRDJYSBinBMsQOOqEe9sECGIMCAAB4oQQmaRwAhRsIWJCjBPhwRgxIs YKa86wINZPDLd5AgBiwgAxl2944/wBQCsHiHDDqghRxAAAR4CYIP3ACPN7JBQeWUxDzmgQs3RGwe lnGHISZjEEstw6yOw0wh0dELT1GkF9eogTNgIIMTEIEHaqiAHjahiDMUQxOY4MIaTCCIaSwCE+wI gRQ0UQxGOqAY/8XQRxe2kYUsPGMXOdxlGqBBDw9QQgNKeMY7GsAAD2QvDcCsKQ9r4AZb9MIBEPAA J3b6B1sIbwGc4MAGZOAAFhAgCQv4QxaQV6gcKEES62CDoAb0t3VIogl/ecU6DifdMqyiugVZxyUw dRAMYSYQtGBrqDxVEQUEogYY0EBd89CMNcxCHlwQgylO0Aog4CAb7BAFCoVQC0FsIwFhzIIPrKCO fHQjBkqwRTQc4AMSeICyvYtqgy9RAgS0wAMYwMCWmthgH4iAEx5wAgTIFggSMOFOHJggUYPQAAOw gRMokIEWNNCBLIwTAT9wg2DwEhh4GGoeeMwqLnQRgDI0xnATK/8DxiRkVoi8YwuX2NCGPNMLTpCg FzrtQAcwQYQL6EEW2FgDKe4Rjlro4BH4sAY2qLEIQmBDEDtohR4wgYE2ICALMnhHCxyghBigAgQ+ IEM9RBBFkqZhAc+4xJ8j0YUcNKBZT7PFFEGAAAjQIAk18AA9VhwIevyhBCIIRG5DjFQYxMCOV9AA C2opAjeoon7j3MtfVFGGWUsCnWVYpztW4A5IGIRCBFjFFgxxCQpxhoEg+sxFOBEIDWAgC9GYxH4v YAobAOEFdWAFMIhxAWIQFhjNCEEdpGAEUiQ2C22Q2gJQYYVYPmAIc/BANDbggEt4oBdB6EX3erGB fXRBBg0IQhb/0kACW3hAajWVAQ1yEI1dbMDhvYjAEmpA1CU8YAks2MIQaiCwCYjAGUswwAjoUccB zWMdqnhFYF7tDukajkEU8/UKKrYxWnAoM5tyRuY2EBwQTFAEzl6EHmrBDTVUow50aMcJiBGPaU9B DcfwhSkWEY9jiCIci+i2K5xBgBCAoTkEILgVuEQPeiSY7PTYhysIQA9PCC9aWPMAGcqyrW4QwO5K UV4xI/EOTswhApy6xB+W0Yte9Ee3WniaHCXhF0PZukBlyKpWByIQxkDKgL5msoUK6allG4AEn9KA AlJqCmIsghpmGAM7/GEGJJQCE6bABBouoAYVYKIUnphGKcKR/49wTCIEOghHNVoQjSfU4wldeFI4 duElVDBJHV2Yiif28VIrekDs8X6GB6Z0HDLY4hlk+D74I7GL+dgiAjjo/n/ospc/aOEBEDCU37Sg C8MUqLnrUEwTGhQAIQ95Cyt4h3XghFXQEEjIHM6ghcyBgE2JKzThnB6gAUboBCJoBi6oBRXQIHYo hVIgBiJQOkEghFrggkfQhjrQhBAQhOSIBinYhmOwAn1oh20YFqtwhOYzJaVYCnVgEg84Fu2Tqbjz gH0gg27gki3xgEjwADA4wriDgqC6k/vgAPWDBXgIBB/IgYBZvL8oJ8GYtVabhyIrMiEboMmYkLK6 EHTokE5Bh/+K8JReeD8IoLBjCIVmoANGEAUd4AFBqINFuIcKuABWqAMiiAci2AEcEIN4QIJtmIkD KIYW8IQDcJID2L1wGDBUUAcruApPeAagcBIr2AUHyII2MZNdcARPUMIv8YqymBIyaJM2kbu4kw/7 +IM/gIfbyoEF8IE2SJj7kaN5oD8EkYSG0YV1MJzFwAWWI0B3WIaNSavM0Axn6JQFCIReuAi5aQMI wAQpqAATsAY6+AAJGIbXuwdiaIdSQIJ2WARzCAEuCIVBaIY6eIIDUJJo+IAQKIZ9yAdf2AYrCAcr AQNUQAVHAIMuCEh9MKVdIIFfOsLq2Ido+EdPsILwKMW4M5P/eAODLXqLPyCDuNiPCEijEnA4P/GL gamfrEoQ+jOUdQAEhCAIQLAugzggQLgEzFAgdMgUdJBGCDobEMmI9MCAReC2UgAGM5iEahiGduCG UJg6YjiBWliEWjgDa9gNbdCEA9gB7JCC5iCwGEKFPgDIGnSES/zHbqgHKwjL7HGCSAADJFJCJPSA blAHMymLfSgLM1EaZIiEA5gLO8EP/KAHZ2iPqeITSbAjLUAYO7K15sIjXSAICWmQdWgnYjMEC7GQ eUKHSwiES7gbdNCAXlgCfboyCNCAUOBAIXgBMVCBbECDZpiFVMgD0NmBPVQDQTCCJ8gHTGgBKTgA MNgGoSkF/95QvkrABDCgREpckyIZDzJYkuXbBbEzwvj4knzYB1PkEvLwCumzgrIMKg7YS/tgAS34 Ti2AhT9ZPDYAhPlDEKuytf3RAkAAIMYsoILYAkh4h0u4BENAQ8qpHM7glI0IhAV4gBqAAAQIAiHA BJn4hFogglRQgYTChgu4AwcVAi/AhEV4guwgEofshgPYx2jIByvpAw+oBzBQh64ESw/IPlZ0hBAt CwtzBO3jkhXtA3UIUVi00bYLqvkgg/zYj/+Ywu/MCxawNb/IMf6RBF1QDFVoOVyoLl0whF4rw4ph MijDzDVcQwnCiIxAAAdYAmsYBEZIKEJghGy4gwvQhk84hv86EIVQQIIQeAJFjCFMiAZggKwDyAd+ CIUDyE4rUMJ104cn2cTvk5J9GL9wqIcyAQPv2AVCDQEygL7yaIFd6APpi7t9CJ4/cAUPyA9b0I/2 YYEBuQtDcQMh1YKE4Z9EOdIjXYdWK4NHcQeXLIMABAQ/WgYGiojNQMNOARFPSYMi6gULEIM3wwQD 9YJqEAEZUIIfcDYE6IAS+AFmXSRllYGUEoEsUAJkVYI2+LkOwDAHGAEEgBZu/QEacwAM+IErwABn zYIfGJV5+QHKSg8ZIJV01QAE0B4DsKUNgIFrYIAFuAYSqIEkAIEsUJdRMZsOkDhOSIIQuIcDIAQo mARMCAH/FdiGPZBH5DAGeZSHEIACeehYKFCLjrUAC5hFkiVZV0BZlKWHAxAEdiCFVEACIlCDOBAB GhCBEsCARUrXZ0UAO8vZHgDXLMAAGsgycIUGB1gkB6ABZ0XWLJiAO0OAOstZGlukEhhQGoAAGVCj H6AB4cIwDYAAZBHNUTFYBFhaEJBXOFzamxWBev0BrcUAxfJDJFCBWjCDashDFSiFaaAGa2iFcsgD UMADXxACQSgEFVCDUJCGBLgAYzAGdpCGPBCHHeCHWoiHe6AGfkgF0bEDagiFM0iA9dGAERgBDAOB EhiBDhABEcCJLcUwOKxXUkIAaHA2giVan/wsJegBaMhW/yXogHKlgTagAQVoAGeTgRGoNFLBV2oh Wwj4AaVVgObd0rUh2w5ogxLAWnbtAKydhBcwgg8QBnzABzSQBxu4gFtAAymIh0a4ACNIAFCwhEyg wGEggnPQARv4hBfABkywgzV4Oh3QBBOQhU3IhGogAmKQBTTQBiKYBSJY2mmdVqulMGj1AWeIgQ7A AmhxAhnIAtaVgbelsBJIAxlIoyuAgZTCFnwlBxkgXh+IgQlQgCRoABlwAjWCAAUIPQWYgCXI2lHB XtGkgbiBABgelRrA3lKpNBmAYGdVISRghQuwhAw4Azr4sgQIBlJAg2oQgwqgg2qwgfiKh0/IhQvY BPpaBP9uAIVWqABTSIBPGAZskAc0UIEweIFHGAMeEINaCAFsAIHttV54LQElUAIQaIMfOAUSeIM3 WAJKiAI4vILk/QGA2wA/SAIG0AAOuIIkgIHohYBr4IUYUIAYvoIlUFgGwIAOwJo0eAcFeIcbuAYF IAFOqAEFuIYH2ORDuAImmJctEJmxPd4tfZasxdpQCMQ8eAQxEIMXIAL8xQFrWINWOYNW6IRZMAdW 0IFUQINUmIVq2AE0UKFGuAccSOBGOIBMSGAZuQE04AdNwAETsIE16NmlzVpmLYEOsLMse4coMIAk wAImGAc5OAWRkYNRYAZdAAA56AV7wGE5kINfSIJAaAT/cmgEOegATriGIXADZjiCUfgFbziFBTiC a+CEi2CCXtCFcTgCOfCGKIABCLgBgP6H75mDIyCHDegA50WAmkWAealXCIiHWriHVjCCIigAaaiF CxACM4iHLz6He0CDYAgGFbgAFaiGeJiFaeCCCpCHTFCEUuCHeKCGcyAGbrCBDJCFPPAHTfICCfiG TcgGcciCnZaBn8uCZwEBEPgBKvsHOdAFBbgCB3hpDkgCFJCDLJADDJgHZkiGUYgbb5CDLVCAEWBo lQYBBhgFEpCDGxiFUZgAOTAAcuAEBUCHawgEJthkTpCDd/gC0F4ADiCHNVCAZL0EZmACXdaA3eJg EOja/67VAEGgBlNgmR1QAzQQA1BQA22Y6kzoBGqohVnA4hTRASRQAyKgBn94gVmIBQqoBhNQAS8g hUxoL3mox1l4BGmQgkGog0dYg9u+1p8DgZuFACVY11PohVOYgwrSgCgY6ByQg72WAxoIAGbghVFQ AoZOaQYogcn2hh/YAiUAgF6QgwHXAM9WgF+4hmv4AQBwZZWOgiHgBQDYgHFghob2bMlGbQ147w7o Y7Dl2t+FAGOQgoiiAsRNgGqoAFIwAWAggjN4umxYA3lIABzYg04YBBt4BDyggzi4gFAwAn9Qgx1I gGkAhTUQAlmwBlD4bn4IA1ZQA2GwAa1tVmRBgHQ13f96Fr0aIIEJ6IFrwAAEYIIJkO8SaIMsa9Z3 LQEN8FYEUKprBAE5GFelYla90QAIXN30YNppZVdSGVus1QDWZdd6PVazHVcNKIEUt4NSGANQOIdq mIE9+AQj2AQ0IIVBUIFNyAVZmBkVAAJL4IFHmOMduAcGlQA1q4ZgAAJWKAQ1rgZtSAA08AcTMAM9 UPVMGJVrhQBo+AEN4F0MEAFogIFRHuUl8Kk3oAQmcIYhwFcIgAGzFS7KggCQUwIHcIAOuNauJds2 QAEHiOFRyYJJU4JR+bnU9XYH6IFRWYAfwAKwtVkHmBdosN7mfS2W4AIDVgG6bQRg2AEVwAdqAAcT aJH/NVYBdqiDC1CEYjiBHbAB2lOBNbgBNagDUEgFVmBQGZGAe7CBVhCDajDgaQDXaQXXEF5iGfiF GGYCbxCAF3thBQCAIEABBGAABpABcniWLOiAX4gBEuiBT2tWCCBdDRCA2h7eI2CACWCArFXicf2B HHCCkIOA2u76n1cAmw3b7UXbehZNaoUAPTiGMMABRagAFRADbJAGUAiGTFAGf8CBczACbjAGDXK6 GUgFbsgEIDiDTJAVeaiAczgBUCgsQhCDu8+AcuCBAqACeSB8pf3WNqCs0+3jHxiBuBmHQ0gCZniD GEiCHLgCBZADHb4CAWgCGJCDMU+CKzhkanotCMjF/yQwgDbQgENgAg24glFQAAEI5SS48GsYlUMg gdBgAjk4hDZQgHEgBxwuAcK7cAhoAw4eUEqflz3IBFOYBYGShUyYBVCwgTAYhjXwhw9QARuoAzPA BFAQA+W2BGqTAlGohjOohpSwBjuoBh0AiBeyXljjog2bEQqZXuTRoUGGCARZMIz4USIihiwy5Djz JscbsyWBFjhr9HEUk1EevQXyxgnGRwG9aHDyeC3KgiXevCn4d4MZBDkdgt4wcFOOnCMMFgCQo0GB CJNHljC4AeDLPxIQSkCAQMMrBAwWFAm7pyKbKCJSqEkjpmZHAX8Vpp0x0eycCXlrLlRb08rGMG04 ZP/JmjUDX6uB2jbd2ZQgjpg8sizt6YDgRxYNCBB0yKIEAQgZCBr88sYE5BFOMhYMAOCt14RfAtAx 87jkmj1eo6C1aSDnFLNTJHoh5fTx1AKgEMad+rXkn0cIIJI0Jfc5ShRvh+ZEkbPB3hUMHUR0ACGC qwZTm3ztOLFDxYUd5xLdC0bEGBEzn/TwaHdumBlA5MGPOdmYIw02eIQhyw5cTJKJEWNwU4EoeZjg zw534ANOHA58JUMbnYFQggYY/KCEEm1ssUEgc8yBwAgjkJOFLpQcwSITbdAjWwm66HIEcSNAwMEo nNBDHTNBcOANL7xcAQEzBnACiQELzPERAM7IAQD/M0nQo6UcG0FwykcGeFWCAz+IAMFQE0whRSkq 6ECECazUgU01pLRSwSwfhLDDLcNkkkcFxmhSRx5S1KJHBbnUQYwKa2jTSAjjSPBNBcRIoQ0RNnxz wx2klFCCDDKMeuqpMkyAgA9ZkEqqDCOY+moJNIzaQamjygBDAx04oAQGtf6wgHSlQuCDDONB4EAb CJCngQgD9ArBD111JYOaNJAnQ1cPYWtsaDDsYMoiRPgTTzykmKBIBmrMwIUKiPhyRgVGFHIBI2pU gI0/ncxQSghhEDHNHaUAIc8jGZzBSCbZLJKAGoyEsYgvmWjgVaxZZDFCrUo4AAIlSTCwgQgOTFRR /2Yd0NDDFQ5ggIICKIhQMhOUxIBFDQYo4YMDTmBgbQ0L1MDtsgoYIGQbNfzMrQg0XNzBCCBAgMBW NKAAQRZDWQtBGyW0gUEoL5iCiSD4SCEKDqxgUsQNJlRjwg6zSDFIHrNM0s4FnWAzTSdrfCBnKQkg McUa4OSRyAukmPHBLGsM3sksL0CwZok0JHuixz9McAoMV1zxg84jdNABBjIwcToTKMiowA8mjkJC DDCTYMDIG1DdQFcM+KB1DQ9oQMMPIFzDyRBQtXFxV0cjDwIDPaAAgpoaaFArBsiLMgUSvpwwjCbS UHBBLcMYgQba4hwTpzGfJKJDNq2Ikko62shzRv8oJtigyQmboCEND9jYoMgOgEAKUVRgE2oQw+Qi YhEM2MplvpoADOzBgCFsYAFJ2MAGKNIBBSSBgxNoQ45KsAESXGMUG4iBAiYgB04ogAENWMAGfsAE BRxCAV1xRi+uQY4lgIAJp2Ch0ZQgNQgo4BoKgIEGrASDqWkgCxDQQAcu9jsISCEU7CBCBkKRik/4 Qgi+0AEpplCBW5iBFMYwhhRmsIdMlOIeZ+AGEjoRCjOkggekGMYY5bEJeYiBCBUgQi0ic45WkIIf U2OTyzDgAK/JwGQl+IU9YMKMXnQnSyKQgR+yowAEKEEOCsDAO5ryi+HJgQkfWUIaaOCMqyRhCCb/ 4dYpAEAPAyyhDXLgxfAU8JtrdGUDc+BFcGRAjl4woXQOkEGJuIIZEAhiEsTIQzxUsANLSMEt3HjE DtSQhzHwAx8nqMMJxFALbZ5hDcfYgxTMMYkzfMIGstjQGvYQAhOYwgQzIIUYQiCPYFTAVDQAQQdG hYBalcBVl/RGU5wAgBssgCefhMYXPKkEaMSqBNdAyhGuoYsl6CQKRhwWSK6Rw2twwAkKGIAuyOEM OHgjCkO4hk5OYcMSkOAXvwBmD+bAhIuFBgQImNXFaCAIISyCDsfYgZ6UEQZGMIIL2AjDGcKQgALV YhHEAAc/znGBcyCBB+fghgreJQxhnGUR/5sF/zdCcQZliEMRcUhHHkDAwCdC4wfTo4GvoEG1DYYF GtCglgg0MIF3OIMcQciBzqCVhXcYZQ4GoEQO6LEEBXgDlCUYBQw4wAleKACXvBAACGrTJQME4gYo EIANIQoHV5ziopIgmWamBgIHqKwrGJBCHejQCWUAoxFGeAJZVWCDNXDBCNyYxAfiQYRYAIMIhMDE IjChAhWYQAjhIAIRPlAEfYyNEGgwASMaMQwV1AEURGDHB0Bjqof8wFSm4kwJcFWCy7zXvfGFAaxw RQKBeia+x0zVCC7jFQRYTgZSC14JQvODoVAOAgbGluUswpX5mmpywFvTiCBQC0zoIRVjmEJUU//R DGzwAAma0IM2jCEES1yACIU4gyKsSoRUAAEc5spAIU5QgQuwAwlU0DER7kGECSHiE8pgRDW4BlCA /sxrEtHIMVHwgyugIAZ+AOEEMKCAHDQgBx+EQQ7SEIQlRBEDLcvBQ2iQA8SOwFVKiNoiL0YiiEjv kJjRQPC6RTWuiAAEsZWBxmgQIlsdIBTE0AE7PmECYyABFDaIQxysQY1U+CIVagBHHUyxhx3oYRLK jcNgzlAMU6gBfGt4gR4EQadzEOEF2ahAAurwiD1ggGrAE8/0jgkaDXgEATAoIgOuEOwWXkFkHVQA RzW6hA1cgQbAvgIIrjDDEkzgGrw8mnl+t6b/4I0IeqEp0cUATTqAOuBi1TvkZlz1FUy04xgXMAcw RKEGQlRAFtIwgjXUoIIwDEMH8WjGMUJBCmkQYRGhuAcSVBAPG7BiGEVIwD1esIkTZKMa1bhFCLSR B0vgYwzDWHDVfhqsqZUKiChAwRGOQI5RCIBzRzjFEUbBABaSgwFHEEAajlDKjKqcATC4RhJQq/IH KOBiauJMthxsq/Z+BaCagchWxvM7nsJqK9VqByZMQQE1xIMdpWDFBabADTEMAhjG4IYQCEGKTPgj Fzww7gV0QIxjEEMagsiGNggxC22EIQSamAYoeMCKYFyACv4QBBAK0SwlIBMzXcNrFkCAWgYo/4AJ USCHHEICTDnQrg34QAoHBqAAXVzUoQIggQCSEAhdkKAIRWdCs631z65EUQQYGPQP2uCqrTGwVtKh rRI60AaXVQ0EF5iGbkvxAiJoYxZCmEY78JMHc8htEqCQxx6scY9WqMEMlggFPiYxfUFQNxVrSMAN NhEKNWDjA9y4RR12UIxjzOJUIxqVrbYyvRIIQACkisI4IMUQyAAfyAE5XEMnmZICMEMO/EMaLMMc MMAS0NLpOcMWnAItbRAzVJ6FdUC13N9DON0PfMhDlEB7rUl8ncp5JNitaAAmMMIFLAIPMNUiLEIY IIIlaEImEBwaVAA7FEIuRNwZAIEd6IEmfP9CxMSgMZwDIyjCLBSCGVTAJ1BBCIDCDJwBVzkVMVCL rIAADdxeCYwAA30hNNDAV5wJFP0KjEBAIJxIG/SCBjgDJTgA13TARnHAEnACCMCAItHAKChAFBxR G/yAyQga7SlStWBNFiSiV6hMrIDFI2JN9aAJBBRDM2QCNcTDGpzNLIgDETTDLcjDIBBBHAzDGrAD JogDPmDCDtQBvJzBHqjB2HiRpFCDJlgCEahBNWTAOIDCCzzGGrBCBZgbnolcQYEAQEnERdBWZrhK Mi2YXHUGBnyGDChBgskABoiHq2QNV2AjM5zOmoxHeXhF753h1FANAzUNAgTLBwaWXY0O0/z/lBRg wjF00RloQjC0AiOEAg/YQSAJgh3EgjkYAx6oQCZUgPcYgyXogR6IQhiEginEwSOcgylUQCb4ojbw wCycwTAMQzDIQxGoAZT9gEU0EbRg4w8gwDFlwWYsErD4GUR4YLAcU+vgma9go3koHQZIDaBRTUo6 AAJoRp+NoAYMkXSY4VeIgBN1y+75WVcgI7cAmgZMwfrpgCmIQhEYQTawQztswjSEwiLogXqoARrc gilAyCPkgSiQQgIEQzsAgT8kAB55gQ2owTBgQzNkyCw8whnsQDasgSaQAh12IXnYSomM4FAoFgK0 ATJ1huUEmMugSIxkI16VyORQhNewydZI/00YNh0jdoUZPuXW0IAThSZpTk9XmMwPyEobgEA7qMEx AFIqmIAd1AGqtUMtVMAJEEE8FEFk8EMpFEE8fQIjSIERNIIVYMMNJEI7WEMr6AAXWIMsWFoeVIMx NM4gUMoaeOBABVRAkcpPVRh51MqshCepaEQUDdRAzVc3JksX6kqpuBe2gEYUsUlQXZgMIKXUBNX0 PEt+Sg1AFUuFEUMnWNU9gAMxAEEtRBwdnMMdAKEwHAMX+AM/LAIioME9MoIQ8EArqIA/EMEd8IAy aMIZeI8Y8AAoZMMsXAAxnIFccgMi0OFnVAQEcAybZMGgSYd0cAxpekh+5t5EzChmbAWwiP9AiMyo tQzFTnaFEnwmgy1LV5CIZgiJjnZFmxnl1igdBFxAMVyRIEjBJAjCCwgDPhDCDugAIuQBKEiBHuhA IygCERSBNnyBJlSAwI1DCGSCJmglGviFb5lAJpyACTxCxKkApZDCZgQLDWzGQIkHgYkHgqVkraxj rY1OG4ihNWZEsmyqaCRmeQBoSpbKBzqYmuTnGVJdIp7hgREl8DzRE3GGXIFAphHDFVLDDorCNMSB ChADOxDCFJwAMWhCWk1DPKiBJyqCMQCDNBwDIwgCKCTABciCMDwCiSJB4NSCPNCmNOybNOAZY0JR k7WmxqgXtBSlF7YmUA6iZyCTSooHeYT/CEnSgF6ZzE5+RVCyyYg40VDYlReiWxMZ4tSQiK8Yna+E xQeSCAJMwQWcAKJNgwrQwT1QAx4IQi0Uzj1UA1KdwaOsgQoIAimUAh7sgBhIQay9gBgYpBSYwl74 gwnowMOqQSto5AusgWaESFhMDolUSxb8E9VsRtdMzQiEYJrUWrPQa5qExiIa2HgEJWoGpRM5wJqc YbVEbZRGaRucIZqM4xNxRVgspdNAQB3UwSBMQjWYnxe0ghe0QygkgApMwXlpghpYQh1YwjDsgCYQ ATFYgp6ugSlUQxxkAz9kghSUgxTIQqRlQmRogzVUwyaYQCo8UelMzYLVSmgw5ni4l0zO/xcDZON6 VmM2FuLolE6neqFGGCwyXhJYIM9TDsV+ooddBZYI5NlP6Wip3Cv00IAQxAM2mYI5JIA02MAOxAEX nEEr3IIoNIMPFgJ8bAI4HAM+xoEXEAMaTMEOGAEPZAIPLGg8uKgJiAEdZMMJtAI2bMInVIC13Otq 1oqyQACKXGq1UA8NyMoXgkCQIhMXeq4QdcBnzJ6D2dYQDUWaOFgbbE1FaAAdWstEbEVXZMEBP1Hs OpiQFMMnjA0RkBcrrEEe1AGGrMEZ8IMg6IE5jE09qUAo6E0eTAF53UEmtIIUTAPcHsM0+AIaDMYH VMgaDMIXVIMUaMtWYMuprONmcEUQv/9KfNrXQDVLGOrKUMBKRGxGFJXHCDZNrlzGmlid5RxYZeqo RRhYfIXbQAEPgJohMZiCMx3DCVjCMQjBr1ZAGOjAIszCPRwDNYiBKbSC2KjBE8YCDzyCKRQCO0zB MYBDIXwVF/CDMaRDGNQCFmIDN8xCGJQC0HpF0xjmXNlVI5FHjOBZ7lENtGQja44bYs4WRSiBJEJw t3DtAdPhAC+mtXjIZo5hG/QZFy7LRFyteUyCHmCDDhwDHoBPNZwAKfiRCpxlJvgCEXSCGmTAJigC NzTEJBxvBRxDNRyDJbQCGlDDMWhDoNzAOeRBLbxANYSA2JpAT4kbad6k1KgkScqVA3P/BpRlQexG ZdZkxEWIxiWh7jpqZmx1RZ/xcLWYys4OGIFpZvXgVbeIh+wZcBOVgCBkVTpRrx00gxjsgCBowj1o kzAQw6vJAijowCNE0x0Ubh40AxpkQwIIAjCcQTPcQSs8AinogRlkgyKIwR5sAj6cgw4QGEnu5EWs s3h8xYJNkQlyBTs6UUoGlqzkp2N2o6tEY+ns5IE1IhT5WSL+DO1p5syMnCx/xVdID3u1DgQcQCmY wg5wgzTUQi0sM6BwwQV8WALEAzckACEAgSZsQgXsgBdcADcMgiJkAho8gjYkQgW0wh3YADccQyIA QRGEwR3EgRlQAOBNnYFNhK0ELTxX/w9EmMgIxK8XWs5Ui06AtQGwyIr0vGNssaSWzpVXfAzXIJPt tUEPTA0TWAvlqrZE6JnJPJGgMUE4ZAIj1EE88IMasMIHzMAFNMOiMMIn5IExPCcm5MEFSMEUqIEm iMEwEIIacMEHxIIOkO0HwAsrwGk11IEmtAMGW0MpVMPsjYglcwVA2cqtzMqa2O+pTE+wkEqBcQuJ AI+umGCVEiWJABbUTQ4EzPaPdsvWQl188lkU8WRAhQAfeEE6FIIwcIEwhEArmMIdLEI6XAA2+IIX nEEhxEKeMgKHF8IiTMEdeAEVUAEhmMGK44AJBEgI8MsxWDcr5IIwtCVQWg61OBG3QP81xrSmFIfF 1+KVh0wjihD4CCpSiZAy1lRxK5/I+QpwgffvEx0wK9/e1rCkrQzfCFrLExyANmDC3ZICGhS3GvjC FNRBOnTCJrSDCrCDDtgAu12ACpRLkN1AKmTCDNi0IHxAOWSCMVgaMdyAF+CDEbDCE4RAI3DGkubn yNUu01xj1OFKQEU6SoZne+GKaBhdqF5mfiaYjhZllFbx0m3beFhO7Hrbfx4luFANcBPDE5QDO7CD OJiDIrQCHZwBMTihWGbCIxSBCVwAPokCD6BBApQDKySAMujBN3xDMAiCGMRBGJCCClCBDeRjAYWA NGRACFZLsARoRCyLh9jVzxBsSk7/DXk4AFD22UQED7dA2TpCz+/4WVAqixQ90V1ZyxAN0aIWVBTl GWiGBbeUKyoQwgkQwi2EnSn4QjmEgh600R1YQzBYQyLcwVZtQidIgzkM9jTkwp5IQRgIAvnqgCXM MTcwNhG0AixmwCRIwyN0Cw2Um694TWdoBEDBs0r6Ss3XLET0WbOYx06CCERoRIhkhrUcj1M2C08r cGdrzYDpZEEv6rVI7ojQVleIAiYggTn8MTBQ0zGoLTdIATgMaiiYvQpMgxqEQil0wgvgww5QQB70 jTJYQwJkABKwGHBKASOIARrMQBHcwT2AghFsxXrqCnl4IUQ82Hm8I7YEFDaSanfG/9d3gueIyKeB 6TbPgqZFOJgGJAGp45UHWhgy5WwUfQhRnofU0MAimAIxEMPCVsAiCMEYYIMxlIIQXAAXSEMsnAAw hMMFgMIJ8EAqFMIdfIIR7IEmxEEI3AEoSMMkKAIouHQwKAIi+AMQ+DkjAIiRZ8zGlACwQAA0YIBf iSuUl0xsVQ95TNQA46jnisBfkX/NNw1Y0CHXqq61rKakt2YHUBRAaICQRYOMgRDaGDQIAYOSEiN+ TMLEDlOpOkhKqRCi4oIxTCpuaLLBLV4xFUgmEVGxiJ+KZo0OyKsw7gCoRrFeUEADU96ae0goFKtV R8YPCCI6/ChBo0SHEjKSHoVaAv+CjBIlEIzAiqCEhqVcr16VoYEGjR8IoP6YKlYqDQgalIpo6lUE BBBuNXAtWxdEUqh1f+xFAAICBDpCFmFjBK5VGMWmjH3iMobHuTPKxhArVI6fKBX+FCsrNYZOsBDc gLDyxy4BKFDE8iSooGaGmTDKsiAg66Cuhg5tQLRRCkI3BgxV2xh3MNj4WRAy+mKgISPhjyzQqf4g TMMBWaaFj1Mt4QACgrIQ3BZGr75wd4EIqmZB36YECBGYpJyQUqedNSPZ+JFiCjHwucOIInYIxZQ6 zCDFGGFkYSWTHR7JwxIiWmllDRyyISYBVgRRwY41HhFEjTHqUEaNwu7KooMOaND/ILcOsiCvKLKe c0C6ERAQocfllhPBuKqIQ+A6CEpwsbDxdIOgAwdAOE4GghiigbijIPhBIKNAiJKqKxFwYMoOZHCA Rhr4MwUTU3bQ4YxNZJECwRe8uEARQdp5RIVyQkHimC+M2KMWYtoB5RZjRMkmlk6EyOSMF24BpZVP hJAlkzVY2eEoubJ4SgS4ZMCgDbOoQqsqUjHoABoMkELAOrSKSpK5omjowLcsMaCqKidFuEuuDszL ldUOjpLOPKy4pIrYFzUQUgPpTsCknVCC8YWUYLIJwQsjzsEEiMZiGYYbCoCIp5RHEsggDyTYuQCI UMz4JBNEzBGlFR4yubecCuKh/6CCUMRQQ0cezZKvBCW0i7I8HbOYziwRRoDRVoaUoC6Lhs3rQITk oOlghIEhUAIDgWA0KkskaZCvPPUcMFm96Y5yICEl7KprVwwIeYEOS4opBlOYGgFHkWrSoQaTVqQY RIVU8JFllg9wkGWHHZDARoVZ8CFihxteICKVIurA5gtQmsFHECJYAeY7EMIqQa6u2K7vLqqsUqpt HbGSwaqnnnIqLBA0KMjtqwKTiyyvpCpMBhGK8tsuGWKkgfGumLrK8aVkOKCYQhRbxHNsjjGjAo8U 8WKMO0rx57Nz7hAlnUXSGUOcRbJZhIo7MlEkHS+w8YKbYQqhghAxNPGHkXsyEf/hhxEMSpWpNmRs w2MZRhhhZAisD6w4EJbPqw3lq1JiBA3M1Ip7wqhjNb23rnSrVpjhI0+gNqp0v7sYB3NRq+8n0aMY UrShBnxo4wWIwIQeNDEJTSChHImQAksWUYF23KIOPivCLSZBBROIwhpJywM2btCKPMgjDmhgRSsq kItq5EEKIkiZUdCSK+sIiVQIsCHj1GKrEqgFA8xTClqSBBcEpKpZkGMbrgjDqcChJ1cwUlZhRPAp 6WCgcHTToZZGFisYSWESJ6CQNnRwAh2MQRTnmNoMWpGLTEjjDgmYgSCaEQ9jLCIPGfBHHMZQBOIN YxE7sMQFpMGDM4wBB7GIRTX/zBAKIGgCPT5iCLHc5qOziCkvT8qCEsjHIwfoKCHLSdXyejREs3Qs CxgwiNuII59eoQc6xFKPUaCzq8LY6gcaY9bi4AKsTmGgB8WYBDGeIAQd3IMUeCDGCyqQDVl4IRQ7 EEMRHmGEXKRiGK1AAziI8Aht4EMckxgEKc6QgQs8whfE4IYUEPGBQuxBDHEQgxhkcTgmduA5bqkR 9sbiwqr4BkpjyZ8GtKIjDCwnYtpRFeRURiwj4WU98KEOfJxkloGYhz1ssx7g4DOeiOrKGPwQQh20 kQApxEMNJ9BDK+LAjzt8YApSuIAyVICINexBFGvIxQv0KIVjFGMH+MhDNYgg/w5LZMoad2iEMpCm DRzEoQKLcxtY7HIUrrANKlHJi1rEkiurWMVvTiGT39ACq6guxCguXEhd0iOQHS6pL7cSD1rq0hSu IKkETPiAEBjBjhNggxv+IEICiPGIcwihELngQWtEQYRCgCMB0uDCGY4RhgooQxrKQIQZ6jCGOMQh E20ERSFmIY1EVCAYyuCGGaRHM7hgjyqsop96svCDig2kO/AZqJCUYB7rJIQGGIAGeZwkEBE4hGYQ WE55vqe45NJPCa5cUmG0RJUatcGh3zsONARiBDHEohj5UME4ZDERfjRDBURgRDGKMAkVZCAVyqiD HkLxBS40ohmT4AcrtHaPe//EYg1FuMEUCEEEKmRCEDbwRyJUYIMQwMxHetMOBu5Sy6PQwIam1NhU LKy3Tp3lLM+CClR2JZcsOYXCvhHIWAsjT/P0ilXmkYGrtGNEKr44LVUpxhO4sYMwaKMWpdAGN/JQ gUfoQAxEyMbvKnAOaeThEeKgQBjMEAwe5KEQibiHMoZxBiPcIQ+sIAUrNJuAWGijAiooRALyIibe 6PBkt6KRyaBDPgp3SXnQuQsGspCQ5wSulW/5gZlwlZdd7WYh9svSdOgjox7RszfUMciRuPODKfjn Ft9SAzgcdYEp7EANXGhGJm4RBnBMQxQJ+EQzpACKTUijCBVAhAnMIAYbDEP/AmGQhWuIIFMz5GEN XBgHN0KBHgdIDktWMguXXMWbk9EWOlNEQMUIc6aq4NlKT8JARq+UF/tAt6KxZUopfyActxzHVq4q CHGE8+fxZGES41zDN9QghnPcgAcXCMUwAlYHRoRiD8RQQSbw0Yph3PoT0qDAJrBBilyIYROKwMcj kKAJQRThDGLIRBjE8IhpvEAMTfGzlewCLOU1hXs2JBMVEeDVF734RTCisEG40uwfmJIhRplYo6Hj qhQviSxvKfdglFIVIL7lKRltSDHiQQdt2IEdjNAyEM5gBkYIIQQXCINkw1CKQrBCGUI4xxhyEVhQ sEIehYj6OcQBjjGcAQib/8gGKLjxCEQAIRaPGEN5HGYyXdGsLmUiz3SUIDmBiIw3DaHexZjLkCot b5UeOw6Slg1R9hjkUwKBWYp1VZdnD8ZHI4BuMT5Ri5wg4R42eEYIXrADc+gAEY3ARNQGUQxNbMIa m7jBMdSwAxt8ARt5mEUnrJGHG2wiD2gYbTosMYtsrGET/a2A5C6cFLDqjcJP8eeLC7JVJlnfVU3B ylWslPK6RVUtVvH5WKjiFliGPCrEwZ+ydCtV7GBlBJllBCK8YIpYZIAY2XjEI7DhBQpBHLjBC7iA JMaACxQhHs4hG7gACMTgDsKgFsIgE8ThBDRBERjhEUBhEGpjGL4OHNAgGP+GwS2kpyx+IzvQY3m4 o2EKYwSUh8LQI7akowSSY6D8SQQIip7wrizKYtiEA0rU47XUw2YCg0VEhXrwjHFSTH9sMAuM4QPK QQ3K4QKKgAg+gBhIIQFaLRPyoBXw4QPyQAWOwQSqQRmQ4A5MIBj2YBLSQQVawRrWwBcqYBBkgRvO oBo2QR54gAJuIQ7GAQ1sgEzeogZtxUcC561SZjoaxonUwgHATQYCj7qShOUwoAGehSuUhy9iqDzI AnyOCPoOrSroqS8OBiq4olNWDklEIAvq4AxCwBIsoRTiARwwwey0zAyEgQjU4B5E4QxKQQ2mYQ9I IRFYYROMoByqYQxMKBj/yoEVtAEI4C4YKOARmjEOzqBAqsGFYvBUZGQskCS2nqJKGOdZKrGWpgQq KEwpcgM+iKVxECAHZCAHYkQt1KNZrqcrlCJVkIRYAsPCkqRLdAO7OuDaZkwD9OEMvOADKmAPsiEY 8MEScKAQpGETeIAQEiDiwsAGEiAYOFIUgCABlCEOigAcdsAONOEcFGETgAANuKAWbCAXNiEeciHe QuEY3ec3WOU52qAHBiorjpCieis4ssJIXLArjIMGqkc3IIZ+6AeiaoAHoYiJ9CzF1sdF1kc6YgRG kKQglCcFaYABJoHAiuEcLqACjOAWuOAe8GG0uGANziARPiAW1gQfvmET/z5gFqiBAnZgDYahGkRB CnRggQaBRBShCHJhFuLBGvxhE1SACyrgceLmS5wiLohuq/bGKwijh+qDb5Rib4pC+8jEIGBAS0DM /OojliRHb+xCKU7sRbpCPMKCrjrThX6gFj5hDIrhdCaDEcYgHe4BFL5BGuKAEXhgMmznDnwzFXjg DmZgBrDBH2KhEM6BC3YnGxAhF4DABpQhFhLgDs7BhBTBDICLKxHgtZZoKYziWZxECeSDedCDZJjC evIM5iDACRbA88hDZTxvoLDHuFpGljCKIfizCF9mO9yiSxriCXumFjBBE6SgGc4hE7ShDmQBDdSA CtaAJD8gBPKgMHPsCf9i4QNCwRc+YCG5YQ0Y7gPGAAkSAQ10wAyqoRxkAR+aLw42oTx6hMLgYwGu 4RqSoAFeBiucwpSExEyy4sXQQi18pMFQAAEYIA0agAQQgAkaANliKS/UrzDKgiuaREtsBViGaIeo 7zh+KEpqqQSI4QRuQRCipRa4QRO8oBwmQRnyAAgSAQJnIMDaiRvAoRzkIQOAoBwsawYeoRyG4RHA SRkqABS0YQwoIBcqgAuyIRHEAA2w5Adq6QdQgBPmQBfmQAGugRM2YAECx5TMJClgKAu2rRVp5Ciu gwlgQAFo9QpyIBCuoAFGJf3Ag1UIAil2qCsY4oimxEq0pJQI48+MxFb/jggC8EM/LiARaoEOpICx aiEX/CEBBmgYhkEZ8AEc9uAR5OQOvoFSNQENVOAcEkFRbSAOboEUikAKMgAfwiAOgCAEwCkbyEI+ ygIEauAddCEAVOEXAmAOyKEBFODENMAJsoAJp4hYYoSKXMQJfMAZaJUB5gAS5kEXtoAcjEg+klU6 vMJF+Mwq3aJMRmbYFK/n3GI5+iILGsAKLuAOXnEKiqAczEEIKsAaTOAC3nIT9oAfYmEawEENEiET UuEcau8MOHIcvCABTABpzAAfhmEPKmBqWSEbQgENxAAc1sBJoCg9/kEXfsEeOMAeTqEJfiFUaWAB nIQJ9PErVs6UYm4B/xbAGcY2AMr2F1ShYJuFGwnxLXqkVxyK82SwBKTDFJk06LLPPnykF57AEkLA tFjhDCbhFqRBG2ZAGTKBEShAGZThHHggEcYgE+LgAjLgMLOhAjShEAxMG3hAHNCAAmIBHIQhHiaQ Gxo1G4qAFJqBPVKmMMjWHuTgBoyXF6LgF0bhCATAGZiASrIEBI4LPUBAAX4gEARAF+zBHqLAG8bh C5L3CLaABBpAZlTFubh0IG7FuBQmfp7rz3ZlMNoTITBAD/ghDr4gAcTgA7ShEShgDRRBEW4gFojA BkphHGZAH4jgBiahHeQLB6xBETBBEPKhEz5gGqLGBj7BGNDgA8xgQv+a4QbKIRzMYBwkahMhoAYg 4Rc4gBlugBnkIIZjmBe+wB4UYAl2RW+wA26TgBO2Nwq+4IWNlxl4QQ44QBX+gQE2AH2a5Cp6pCsE gjg+jC+qj6v65jmWYjqsAgF6YQewoRBqYVs+wB9mwRhydhjsQBEQ4QROp7CygQJq4Q4U6w5AQRhi wSMTEBSkYRAU4RxA4QxAYRjkgRV4YBjMwF7vIH2RBAFqYAVYGIblwBtkeJJvYAk6BWVQgJ4gBwKA OIaZQZIjWQ5c2B6O4B+CwGYQwijOw23eIrYSwmCqQn4cYDzgQi1G5WIUIgsmoBhagRSk4AzqwBiQ JgNIYQcyIQHA4Qb/tCEUJKsOwOEbZuEc8mAxE4EboAwJWMEaUqECbGAP+gsNuKEwzWAPikAWUsEM EmFXaMSVHLmTC0OJH+Aa3MJil+AK0oMGYCBGSgAFmMABGmADWAUCmCAJFIABgpgDfkEXJkADCMO4 QiWJ7GIzF0I+BGJKjkMuzKQ5ukMgT4UTwsEaQkEK2KEI9EAY8EAIWuECrOEeaiEPziAUOkoKLEEW NCEMiOCl4yAeNiEMNkETdiAPeGAWZsCnjKARpOEW/qUI4mASMkAPXuYtNCAJDKAJgNgbFAACtCAK tDoKTsEeYIEDrkEGrloBDkEB5jELdGEUytYeIsBsA4AJrsEbbsAe/37hH3yAWO3iZEfGlLCDOY5C UxN3ZHoDLn7VKo4oEB70EYyBB0rhFl4aXCmUCMAhBNghF1rhDLhhBuIAG4IhE8bAInPhgrgpDqpB DBIBEW5BFkhhE7iBG+4gDtAFHyqOCIGLBgL2FMZBDsr6FDYTtlRGAWAgkr3BG8ihF3wwWN5CFUaA AV44Co5gDq4AwtiDoY/le9xxWCPqNxiCeTyPMJ4NIWjGKRtgEoohETChGJBACuwAE7SBCG5BFOqA CMZBBXbgOxshFO6BAmxADbDhA07ImWn6AsQAFG6AFZAgE4ogQxvhFmygCBLhBTTha+0RYmuAbFtY DgojCpwBBZCiL/82mQEEwBsA4BqWQAAAgAQ+BTV9wx5+gLmNuK7D+jPdplaY1CrMqm2SJVjH8RPb 5txk4BpqIRZuIRYWIRcWoRAGYY8XQQ0QoRDSIRcugAIUaQz2YAzEIB2kQROgLh38wQjiABQeIQxm IRiqoQIqgB2yYRCCAXfCwAv8ARS41JXq4h9GIQpuQA6uOgqglyqY4Kq9YQAYQEaYYBQGwDg+5dmM QwN+4RA4QQ6+gAMCQBdWxUwRBkpMBgYBR1c2qQNyi6Hfwp6CgyvtIzBKQAECYQfqwBRmoRTEoA7i YA1sQA/uwZixARMoQAokoA7u2wZmwL8+OA+KIA8QIQ9s4Akw4af/Z0GCEgGBX4AVXkAKEkENNiFH j41IIOAffuEUbsAbyjoKDKC5NkUDmEDESaA8dkgOfkEBJgBZ0AM+7GEEOEGuEfofGgAEemA9WNkg PIw4ELdVzK0gZ04gSskpXARZkYQJOIEL4qEdpMAUSoEVEIEIjiGb7WAYiKEIrEEa9qAc8GEG9uAW WqEkv4EbciEOSOFeZMEGKKAIFmEYMkAaFCEB9sAMHuEWeKCbwwA84mqgVoF7v8CqryAKloJLq3e4 adUTIcCqTQlx0S8vVAEGroGI550EGLpW9pNMCMKUWow3oiSX6SmgQK5MLNot6iMQ6kAfdkAKHmEP diAeStIYSuEM//BAEPxBUS/bH8zIHM5ACkShGTThDG4BDWThDCjgHMzgAryARHLhFszgG85gB5Cp GcxAE47rN1zIAP7hCDgghrudCVBgliCAAQBA3Zfj8yX5ELzDKU3mF8LyhRFaF5ZgEzfZVQuCN2gg 0Z7kWQgGZMfnOI7LnmDJAcTyA54gEzQhAcIgbWJBCvxhB6yBCz5gGKwhAeKACEDBGm4hEfKgE6Cd AoxgDagBDdZACjRhFsThBtBAG2ThDp5AGDhOEzAhA8IAHBlHorA9CmA4Yb9AAdJjAmTAGwDCHoQO EHowYeANhAwIPzAgkFECRAcQvxQwYHYjyq9lTDR0kCGjgwgINP9AlABZ4keJlSVoyNAAEeTHEhBa xjypYSSCEpw+hIjDils5UqziFBLyiNGgMaYexRkmzeigVoXYFYrFKI6mMYuCPULEo5yiQWhyVRtm hlgsUIqIJFAGAcKIuHFplLHHgZccBQqiKADxI64Cbxpo0B08RwECDXE1tEQAQUEABb+83Tj1a86V LBAcyIAWFwQGJRDaQMAwYiEGECAgQEMwwkGWETQ7g0AAGoSDwDIMI/mEyAg+WTfwmDuhBl8dfkJI FfFnRBqOOB8m+XpyR4UKWfL2mLBRTMy5JypubCqyKY48LmuygSpmphFdGi5FBPpnLwozb4dg8FLw EgQakAMAOdD/tKaBNwAo0BIGH/0g2kggcBAFB94ww8EvkPgBEkQC/lCSCCLQIBIGKcmAgQytlfCR DAhgAIEILopWwkMamAjCO1LEIYwmQnxgxyOacDOFNt+cEYsNsZCyiVPcZMIFIp3MoMkjj+TiBQ7K APGINKBMMcYZrIBiQjnKxKJJBrmIEQxJcWUBgggK/BMAB3LsBUMUSZgYlwALwjBBFnJ4E2MbJThA g2mQJQHDKXLAYcANGP7yTxAT/YBAGy/B6BgNLyKqkAYwtdGGCBiMVoJpPxQGAg1ZgBgXBjpeQIwY tUxRRzWTINJKObVsAgop2KzRSgX3ZNAOBdLcEssaM9TywRk3/2TyjQ3DNIlPHIK0ck4ewSCxgziN KIKPgDAKKIMzuvwSxRf8KfBFEjSUwBkEctR00ACHiHTbaTmBoMAhg3KAAUI3ZHjJai9m4QACq/7g mYATQYZAFm0YJsMIDmZRwoggZGEYxZDFds0HrJhyCyLD7MCrNa1kUwQm4DA7zJFr6AGEGNq0AgQF ZyQSyiOyZJDIDlzIUk4YrWwiSywfPJLJJsN8MEw5NDDGGEE16ILXoBZFsQRkcYmgoALXEFpTjRog 8BACFg16yC8kcCIHL/ZQSlJIkElUgmMsuohBYAiUdKOpIf3QBqYuNqQQ2xCAYICOiTS1wzk7mJII OBmEAEQeiv+c4wUQg8wQygysVODPLP7EkgspefScjTbsnGNDIZnMkA4a/tjATRzc2jCDGQzR9bgC R/xygxz6KsAMEyhg0EYHcykPwDtJiBoYSYELPIAChv3iDEK8aHRJrHEp8QOcIyhR22yxtuERBJme BkFvcK5tWBsNx1UDA7fYuoY41IEUM8CENsYBDE18wAuYiMMTpKCNPLBjDdZIRDUQ0YgDKGcWT+BG NgKYhwyswVoQXMMgpGCNcRghDrK42uPoU4Jr/OMXp0ieApgQhWtIDzIKgAA5BgCAZCgABo5R0Ulq MICEkOQHvziEAZjBiwytIAhK6MBKOuASK8qkRjXRW0wUYpj/K54kJg8JCUouUQ4u8EAbY6jAIAqR AWnkYgzgWIQezgGEYLyRR2MgAhCwUQhhJAARZpDFmiqwiWBowx+byEQ5BsGN0WkiDtywwS3Skb+F 0IVOUfDGXhQgBz+gwABt4IsA5HAEHyjPIguoQaYcAMQlDORUv4AAPTCikRVAwAAjyEJvCOIADDim DXNpA2ww4AD6De40hrraD0QgvQ7IBjILoYcdJjGIOrBiDbeYQgWwIYUC8gMU1WCaFDRxg2FRYw83 EIc1dpCIWYCiAjOwxBrGkAlN4GMNisDEN/Lwgm/gAwgVqEYeiFe/uKxLP3I4RBL8wpeA/XAVTJgA BBQkgCXA/4AJSQCipepSgl/IwAByYMYotDAH7I2oJhqIWAkURqKEwiQLWevNS01iIo51oDA1gcAc NLGHOIRCjhcQByEU8QE1+KMIoiiCGFhRBFKo4Fq5iIM0zgCKbKjhFopAwzAQyYNbUIECmfiqBJ4w DBsEwwZr2EQ1IPMqh7RhAQu9E1++EFEFJKN79KGBiLYARE6QwxscSIIINIApEtWSHLik1AYqttKX YsAwI2jRvH4QEpgwpAOrUUn9HEKvjo3oBw0gwTueMIkQFCEqe2iFIs4gCFJkIhE8aAU4wsCKDCji EYOgQDA6cYY4ZGMY3ABCNrjxiD04JwFqsAE7EhEGRWSjrP9AwIcZikA80/BSF6qIgtfydIgYDCGJ h1CAA5LJEBpgwFEA4IRiSNQGDMzmF9Agh6TsgdIc5MABMqKNA25UE9NMNi7S9MgIRga9EsyFYbBB gIgmKwMGvAMP1hiEDqQxCWvEgRTmaAUS9pANKohBE4mogAJjcYs1POIGXMBHGBLBpHE8whp1iIMl ziGFRLSiERT4QDAU4ZwvmAEfC7lUXB5QV28o4KEMYAAA/OKweUGzJa0ZABD5EpOQMMEePnhiFI/w jwU0wCULAclOdgKRlrCkVZhq1U6sqEUZBOYkO1mJAubAB3EUIg7B+IA2wFELf8wgDEjKQCwUwQNx KCIO6Uj/Rxi4QYdgJDIDmkBELLiRCxvcgQ7+yANUEwmKYAyDFedQhqgZM7y4BOJ4fFBef5hxCm8w AaE0ABECNtALfU1ADgvCQA9IdF4twEAAX8CQLv7xhiwoQSFKyBSJ5lLrH1SWRKzpQLMfpwRDxcUB YIyIqVzSBlfwIRzKwMQ2b4CGJ4TgA4l4gRjSMS58TEIT1YjDGvKwiQ/coRqJuAUS4pBPIpACDR84 QR6IgAYTzOIDaFDEJEDRiElk43EIVcAKaGhXUBImTq3BYvbkDAD+TIAGSmZQD37wkV9MgKQ3uNsW YsCZhuzURZB5qYr41DYEaHFwnn3I1azINsSWYAkE0EYx/x4xhUfcgRjniAMPWJGJDKhhGsqYgTVY IQY0jIEVBC1HCBJwB0SgAQhxUIY2MpELTQQjDibIBSuGQYFNAKEaGUgFK+DCmOxBgBO6OIJ3vTGK GyjZTeljzUA4640BECRG3rCHAlCQhYlQpAFPnNQcEIUAiUQ+CykyCedr7aqKXUwEP0B5ROhFIlip ZjUtIcATDjCGSZQDxFSQAheMsQdWyEIUeoiFMBJRjguw4gxF6DEQpMAKVrSCB/h4hDGKYAZ/DEMP mgCFWG1AgWGYIAMXUAR2iWcYCMywk5bpSw9RLarCIB4AG0hUCQbj+Ak0G2K/YMJgoxgAA5AgBw4O 48dOP/8SWKQiEFJ6odIQ8xIn3KYimQIyMLEAc/AB+gAODfQB/nB8ZnAL2cAK1iAMQuZUXHADg7AJ 37AHjaAMLhYHSJAJDEcIa4Bi5bADoDAMYYAI+FAB5SAGymACd4AGxCM2c4I8iXcIGnADf5E2NfER JJAFssY3NMAE3mBRKcE2DvALC2AAvNByv/AOAPJmA3E1qjERcqZzMKFzCrM2tNEiKmEiDtYBq/IA c7AH2lAI2uA0mfAIY0AB3hQMthUHGZABj1AOKpAL7LAH3MENoCANtgIEZhAMFQAOTecPuRALasIK dxAGw5AAGVALZgAEdSEXgcEAujAKXyB4reIXcUEbDCH/J9cwAMtwBenlQ3sxPNLkAG6gAAIgKRkS Zs8UMZDxba6RBbMBGRMxENDwErtBG7UmAsYkP/qTN0tAD0+wBk/wAvEADOPgD40QC2qwCVLwAWag buMgDxVQDIhQB7dgA88QDJbgC7eQCqYQDjhAARWQAdkQC40wDE6VC2tgBvKwBvhQDOIyPCtBH3MC D39XEHLAGCMxEh1yBIQyATIgAq0hB//wiqECAUrwCzDwRDcwCgFwCROwNichILWGEnWWeS8BEmvT Gmh2EjWCZmyzGBPRA7qACaEQAiGAXFwABPHwCOyQAKBADBewJlwQC0zBAxmQALEwCIuwCTMgDmeQ AJqA/xbpAAQWoEeKMAZnUQRhIAaUlAfDcAcMcTH0ERkrkB9eQwN4FT+adA1nEwgNYCrvJ4SZslPp kwW/cAUG4A1jcDfl0wHBSBAEET8RcSra1lKIIj+A0QHGNAKktz9+lVgqMgdPQApxMA4hsAYVkAuY sAn/WAs3cAdroAn+4GdikAu30Arc8AHDMgxApg1rUA3VoAZ5YA1OUw3aIAtFsAYJMAtrAAprAA6b kFAgAhEKkGTlxQwVk0zpMy+nMABBAAEoMAJtcCc9wBAwsTY5QBFXQA53wgH5J2fP9BmQpQHsAyI7 5VciYDFKICNZYCrsUxIEgQANAyE0IBvilw/ccA6rlf8Ie/AIeTAGUvAIJuALFRAG2qAMSJBpseBb 54AzO6AI+ZgJ+PANj5AIGCYNU6AIrKACkpYAUXEHzZABJiA2GqAQ6TJ+dkUDRWgApNEQfeMNAQAR V6AAADAAcXESP7AA+iUDOfALPSAAzPAMUaALc8AEpfcRWVCGC3FTMsAxmLJDOtUBOvdSDoZYq+Ig Eskxc+APZwAO38AKiXAGJnYGmLAlcTADrTBqFLAI+BAML8ANFTCPoCAPBBACVuAKyPAMsyAJT8AB ZsACZPANY4AG2RAMuIUPGdAKa0MaYbRqfudJTKAEp5gDlNUAC+ANSdAGvbBXA4ACmgQCI5ADC7AB TgD/pG/wC3VzCkd6BRgwkb8UJ9amYIEzF0oAPfEJG6S3PkrAMGAkA/wFYZTgClCACcWACTugB6Sg CRVADBXQCvjQCO3wBcrQjspgDtpgDWiwA5mADTeQCIpADRlwA52QYi4QCe9QDPigAx8gDh8QC8MB Cna3BnFRZIaBnKPwd3wRBTJQAxqwL3xxEVaGo+jABD0wAUngAwvQCyQwBAxQAxAgN0PKDHczB37w kq2hEitRnyuxsSthKCyBqyrhACyxZixhRPQQDt+gDHfAA8TABQkwCMqwAzljBP6AgXcQaioQBlxQ DufADohwB9KQAQTgBfRQCK4ACUsJD4PAAqRABekQ/wdFYANAEAtmQEgItUm/YCcN1RfMUFJycAM3 AAdrsIXksAEARhp6cScAkDxQFADXwJdykCFb8AZY4AQmQRK6ASMK1oAIUEVtIBr04Z7SpgTRpik0 kG3BFBd+QA4edg5Agg+k0K3iwgo7kEGZ0J9LowPsQLlo8AW58AE2gAkfQAR5AApi4A87UAwZgAkk VgELhwP+YA17oAagIAsjISAkYRFcg4VywACHwAlbcAjO4AOH4CYpIjgp8iogcA1DwAlLwAnvwAlz wAlDcEpRlBmK0SoiwVlVmj6BiSIjkD4yoARKAA0loAQOcL4sEl9WhHK46jBQOgePgAkncAu9Uwsn 0P8K0mAN0qAMoMCodmAN39Cf0jAMSlcEQHAOpEBc2YAPPIAErJALiTAIcdCzskAFXlVVtFMUrQEC jAEjfHcE4+ANngREAKDCyjMop+GknNdSKCIAF0LDiZcMyTAo4/MLupAETEAfn+EqmhKlHSBN6xsS MuIZKNeGsMp5vpTEIuBgcqYLfNAMkxAGwjANexALePAINvAN1YAGtsANFEAKiTADF1AGkFAHZ7AG 0kAMXlAIYvAOFCAOuWAO4CAFFPANbhcGVACnm5B9+FAIieAYrSIgTICcR8ABY2sZYDu2UHQDiRF+ h8WSN/cLvABFYAu2lqEXHHAEy9BDOgET6ZMph8L/WftTMb5kTLIRG6sROEx6G+SrIg6wAPRwAHjg Ewq0B9yABI+QAHvwAWIQAiogCbrAW09wVvIABeGQAh8gD7kQCHMQCMVgCxJgBHPgAk/ABSxwC3eQ DWawB9ZQAcJZDXEhNh8RCOtCIV+AyezMAXcTAHPwAFoUIwzxkgORBAHwC+zCC+3MDOxsD/MwB0lA xJpyRTp3EzWSsTfBNieRTDCp0HGivitBD3WgDXWQDjOgDIyQDdjgD9jwCDOAJvTwDqWQAkhbAHFg AZzABdIgCiEABR8wB9WgC6FgA++QDyyADeUgDpaGBsFgBplgBrkwDHGAUJwXCAbwC6OQH/ZwN0ew /wrvABoQUC90gV5KIAOmwRklYADp/AvwMAoccAoRoAVHMAdpIBsSAQ0dABqT1Tfpcz7QE1/1kxPS 1hLPlFCvRKu1fADyMAgHEAeT4BPVYAYVcAEzUAGLkEGKgAT9mAhIoALFUAyMMA5x4AuNUACNgAYS EALGsAby8ATtMAOZwAgfsAkJ8AFF0AiSJjZ1oaLrAtv/8A4T0AMLwTg0wRitEiCIBcWThVkGwAn/ 0Hda8AtHoAvvwAAkEBKGcRsPwT4O8RIacxuAE3lVakXQU8praGYQoQvstgNP8AgZ8AHAUAo8oAl5 NANjsAPSEAu1kAAZSgxCEAtTQAz/aWnlsFquIP8K4rAJ/kAMQEB2sXAO2YAIypABRIDA24ZFogIB 7wAJsm0ASdBDAsIYEUEQnAEYcKIirqIBnEEQtg0Z72AAq/AP/8AJnkLKxkRTpfxfIrGAStBLsXwj 7CMR06Ti3BYqc2ANFoAPS6kIYnAC6XQBw3AGpMAeCfANJlABKoAN5JIKkwAOa0ABrBkLdVAOa+AP F2AOU7MHgmANZqAHCfAC1pAOX2AD3zeQj6NJV9PhmPIiA3Eaw9gw0+1LEqGMCiEaEilN5BAInHAo pyI/MYJyHdsQMKIihxOscoYiuGoqbYDV/BV5yKS+9IAJXIwHewAMRfANpIAI7UAUm3AHUjAJllP/ iGK6B7lACKJgDblgBGuQAiCNBN9AAQIABWX3DbcQB9ZQDtnAwF5cr1UKxb0xPJgiOLWxENMtIRPh Erexnm2oEx/xIlAqkSaiMG82WWxD7dj+Ny6CIiwCuET8Ec8dTQ/xEQpAD1wQDnuQCKLADY8YAjNg DOZwC/4wBpogHi1dBI+gCIpwC3S4CYjwDpfgBgwQCK7AA5AwB3hmAxLAB3GAA11pamswDK2wG6hI PKTR4XRRL6loKgzxmChKEr44Z9vGjApW8TThnppSRS2FKohFU+Yr1zACG8gIuOuL1Z6iP1hUAn7g Ck9QB4KQCV+wBnWgDJmpBjk2DmiQrEUwXen0/wGyQAGp8AI3oKzOoAUE/wxuEM26kA/cVAFU8AGD lgAUIA9xcAOPQxMQgVlMAGeLh1AnEYAI4rExouh9Y0Qp8ZImq/d4X7J7zxKnArJ7zzGekr4vtRIh IW7hwA0hIAV34AXpEAuFcAfgQAVbTgWMoAZDGwtUkAHgcAZmEAaDAAS5kA5XIQ13MAi5kAsTCg48 gA3SgA1W+YehEAtngF5YRCKG4VdUTRLM3ftzTRe1QRB9A3og4iqUhTgoRxuVpWzHVPHgxhhY7RHs y9bZJt19I1+ecWBtwKS0cQW6AA7NQAyZiQRSIC3l8AQJwA1iMAhfoAmEYA3icAMnuAml4Eb4sP8H eLAGrEAEmuBh8wgQZirs0CSGSqZcFPIMahTMGgSIGiAigEADgggICH5A+NGhA4gfIWmELNFRBAYQ EGQgkFGiA4YsIF4iyCKjw48sIkrUxNBBww+bH3+45LkTQQclMoZ6RKBkRJYsL0uWGIFBqYwNrqQk ovBE2q1zYkJwObOjEAVp7ZTd4nbu1iJ81rgJElMh1jB/Z4rckcZqmJRcisw8SlRuB6s454aBHQZR hAaLF2lggCARA7QfIDTQ/EHDs88sJTR0kBG68oSbHT2+lHEyZQmrIESERIDB6lAMNLJgKCHCphKa sDEcfdom6tOdSYeK0JLvCbcdxB5pSkCIQ4j/OlIgsfBy4cMBMb58GbMgDY20rxUwudqDqV0iYnEW 3/kwI92OdHGy5ZpxJwFEiNrIrQ2LkFICgxE6mM0nqm5qo4PJHBABQhkgyCIzGTRA0AEloCmhjc4y qooGERAYQQPNMNDgw6raQEBDERIcQQaQHGijhAN/cECGGR34wakMWTgAE2wwqcUafChYI5hi9khg mRDoYWEQV1iYJY8EJEiABHRCmIIaIiwIZJEnQqljjUsKoOCZVu6w5JwdiijihjtuADAjCErIU08D lCgBAZ1WkyEpDUbw0yYmSKsQKAT+DKoEaGxqqaUXO/uzBBoaLYGqoRqltFFoamsUgTaUyIKl/1NL WGmlEnJwhYdi2olFulhmGIQDTZDh4pIzAsEEmXC0qGIHD2L5AwRJCNDmjjhuweaDXKCgBxM31uFk nQyGUSabR8ygIpFYcgGwg4sg4pEyBdKdICM9yYVAAQgMgOZOCJhQQAOMPrRoBAhGoMhHGmTQzQEN BIYABAeQEq2jzWggFwQMlHDK1BWVuAkEgWUolcI26LHiCWFuwKaYIjTBxBQk8MGjgi8smQEPKZR5 wg4p/KEgE0Fs2UOFGyxAY4ow9JhhFmyQmKGINRDJJJEiSAElExvW2OjgjSxKSUF7FUiChnQhcAKE K5JIYoNeltA6CQWucaaXGlT9YcUMeQOK1f+ANcIIMhlsconEDlxiSVXeCi5NwFXbyLM2mUrowRVR QsBEEwqs+YYYZcopJwNxlJEmujgK4aGIMc4ghps9CmGFGx40ieWAPWp5opxEhskFEWlaKWQTbhIw YxhWWDkji8gigoDBHGg4Qg4FfjmFEwV6MGAUcpghJ5leFGAmCRgEmL7sH26ESQQXf+rgRpl+qlC3 3W6cEIMSXcxMiVIXdOBDDLpHINSQ4C9BARY+yOcDMZDhD/n4hjXOoIdv8IAbxMjHIz5wizFMYgzf CIEejBCHNYgBCre4gyu+8AxhZAATiPgAEgYhi3QUQRzZwEcGJpGBPVRkeBaRCA0go4EaHMH/GxpI RiM4oQEHGIABSRgFA36RhAckA15JaMM/jtADiKSEBm3AGL5epBkFRQVjHEEACKhyFAeQ6mIWaU1U TtKGEXTvMjQB3uH69wVhYIIe/qgDJt4xD2lJwRX4CAQUtoMPTkDhGZe4BD7u8I47UGA773AFB27h CgJ84x30oIc1ENEICmQjAawYBxrQAKAfICBgNAAJaUpwhIPVYBzMM8AcFOCNf0QhbTDwAQhyIIIB dEAjSqGQTCAkyjwBxTejESWNghnKl1jlQ3oDjgN4M5y8CagDNSGXDJbgCmnsQQqhIMA5DpA5ZMyB DcW4BRrewYknkEELH3iHJG4BBU3MQRDK/3DBJdzwDni44hv5aAcqIOGKFEihEBUAQhhyAQ6/AAFA JoIKgCgDkVDdCUcQcMC8oEGZhAGHX92rwQhycLDL8IgjfjLVwSqEgTY4MyIbCdVkQCAglYxABNDw 0MC2SKqMymABruCDEfBxAxZEghoEWMMgJEAAc1TgEkYoAiQCQQECFMAW+XiGCjLgjFZcIBWQeAcL qpSPcBCBAK4wgBlmIQ9r3GINNniGBIoAoJTkqVyboRGgaChX85UIU5PyzaZkwAASgECUM2VUTfpa zFHBTU+bUiyrKNWSNLjIUar6UKNUUgIW6MMUk/ACI8QxiDGAQhrleIQ4dDAGUyziG0CYAf8ixpCL zNGBg2c4AxfGYIMxsGIQ0tCENIYBjjvkggdmmEEY4gCOXFAhFneajAgsYjiEvU2UEAuYRLLwoAT5 yCcas41gT5STyizKIh/qTImqIgKV0qAq43uRTBPmLw3sxotVyQKHRpAGH123BNfgwAHygYkb3CIB 1iiGDriQAArsoBpc+EIc4oQNSygjSbWowx30UAF83AMIa9DGGlohCkyAwhpxyAMR7jAOceCjApr4 QCzQQJktioYGeqIReAsEAplA5CN2BUGmfBOVzOBLBiidaXxnY8aPqEglKGlNSSazGd/ghF80GXIa MJUw0jhgBM4ElAyGwAJMhMMO3vmAJrT/eYZv7EAbUgjGBcDxiAScYBKm2EMiHhEzAWfDHydgCyl2 wA3AJOIOj9jBHe6RAVlQIAEfAMIeKFKZ3JRLMnjSJY45kqce03hCweHNkM1nmwvpyQGy6Q0W45uh gC0FAbUxCgjSAKibiCAqQLQJb0KDFI1kgRIs2EEx0koBVughGEWIxS1IIQ1uIOIMH3jEGRYDBL9k Aw0DFgcpMjEMfBx0DxkwsSjEIQYBz2APw6DAGWyQC39cmlQyrBC9IJKFfulpJDHFwKhzQyr52nAk 864QxFZUFYp2wF+z6RcpXUqjDjiAYCOAAYl+1KDMvEgJBEOQDPgbjgRgosX4qIMySEEF/ym0ghs3 AMIm4sANfAziCYhIwCY0QdBZJGIN+ABFHWaADyl8oMUGjIM1QCGGGbTCGpuoBiLwMe8ei6SvEPJi +Qqmk7eRclM23FTVN+XFqmOdsa3JEGQ2NbwVWT3sFrtR1cP+9anT2OoyiAELGniLYnwAHELAxiBs dYcJSgMb6biDF/J+Bx6UA91cEAYV0sGKXCQ7F2NAxAnM8NpcSIMCYTiHGRRBB25o4k6Gw0i/FqoS x0CERBPJiHH6RRHwVgQlD/LTln/ALwjAJIx3ogimfgQgJaDIQPjKwoosREWk8OgkEEgDJcjAhy9g IhNnmIQUWLEGM0ghD6FQQzoeR4piCP9hDbH4gCzmRIw8FEEW03h+LDohi3J8YRMmuEUiZpGLRsQi D5PYRB5s8AWIPFRPlalISlJSQxoCHg2RiMooAZD4AasQpZ1AOBDoPdeQmyG7tJRgH5yIDQiciVsj jaE4FY8wip6QChkgg3AohlDIhxCwBm0QBju7BUzQhiIoB03QHMRbg1wQA2uwhkT4nEdYgzPghhkQ hzA4g9oBglZ4BGmQhTFommHQDzRIB2kAkPGCCdHjP9CztIPBsR7zDYihkdJ4iZBQCR+hCF6SDSAi JcEqkfpqss5Qry5ygOtCgDBCwJsoAWeqH5kiFReZnxh4hgPAB9f5AFEIhTPwhT3AB1b/SKsQuIVY YIVvKId74IEE0AQM+gZMGAYj8AcekII4CANueIQiQARCSIBHaAW9QAQx4AYzuIUMuAUCpKiIcJdW 7DqKSLjY2xHDib3KOglaA4ne48LHGB+fsI3N2CLf6w2MCKOk64g2aA1/o59edJ9TwRgmcIUzeAJM EANTsAadSwVEKIKBEANxuAFu+IYi4II6uLNWsANSuANZUIYKWANwqINcsIZNWjFDPMQ7yAbDMAF8 kIVhSITRk4mOOBg9kQiMCZEoCq+SaImRmBDGMokM6SKgUJWWyJNJ0YiDyRSZSImQoBSKpCwZ2JGW KIm/GZVGIY0HQIZ8kALO2oFBwARp/xiEQhgE5BqER2AHHrCGWLiDQcAGLjCGO9AEHmCE44qFcoiD cviGDMitONgEI4wDKjCDbMAGTbiDb5AGRLgTiZia4dGxOwGeidIyGZiXlIoYHrkQfrEYB4i9UJGp jcAUilrG4UkpiBCNCxG9j4i9r+SXeXOR0juJGfMDV3COEHiCELgBYCiFYoijSVCEL3iCYqCAW5gF U1iDItCDC8CDTGCEcQgBfAiHOMCBIviAcEiEJ+CDTEADeViDOMCERNCDcfiANeABPoCriOgNjkDI lMiQciEXBQmvilQVuMmXggGKjpi3goSMKJo3BaG61vCUSfGbVZuQU1kJ6MQYGfABlf8shnAQrnQY hDoQhw8oBy+ggKQUhDGggEcoBFPgBi5QhDuYgZjkgTsAB2VYvHLYLW0YA3HIgHKIBW6Ig5zcHf6g AigMPYrav43IkLi6q7l8mx5bxhIJOPLBk5CsjNEQLInQGAvxvzaYENJTChdZRoLJF+CQrmW8EMqw CA9YhEkghmY4gzoghDjgg1CQgjXghk/ggjV4giJIoDqghjhhBVn4gEhMBHyQTXpsD+gTA4SQhTiQ BW3gBhPYhDUohP+Ywowkl80Apf47UJDAExmiiRXxjIqwCBLRiL6pjLgCvSGTDc1wGM9Yy5+oCQfQ t2lay9gAlJ+QCeeCgP6hgFjABzH/EIUE4AZZOIcBSwRFAIdwOINz2INMLIcESAw2axpZuIV0sAHS OTYpQIRboK01yAB5CAbIUQYjMIzI6DyBQSadgIgvDJ68Yc6IBJC8ka4ee5HU8A162QjKEI3R0BOM sSGTWok80SW9YQlScYnKSqYFsAVMsAAKaIdj0IZamIFQiANo4QGvOLlHeARGeIJCIAVRFIR0yIBc AIXTSYT+tAOjfISEEANGkAZlGAZisIYMiINQWC6vlDS9HBeKwoizhDc9QT2Bg4AP5cqPEKxMMZyH gr1WPBgAia97SxAcg0U6pQqKEizgkA1y2R8OQIUPsIJi2AEpsIYvuIEneAF8aIcP/wiBB9oEaDGH XMgGQmgFc0iHD9iEIr2DapiBTbiBRFADLrgBHbgATPqCYJCCTTiDPGiEt3KMkdiIvjLIPLEhoJAr 0vAi1VCJg8QUrbs04dQTnQhW//MJqp1a3BwKq6u6GRMNq/NTRSkBZNgBmMSGQmAEcOCBRfgAYvgA bhiDQrgDKgiuXGCEQjADUHgEvAU8ZeACRRwDLkiHRcCGYEgHa8iF4CJca6i82fmGA0VT0YO3Agwe M7Wf0BUl26C3HkOQ8flXlxIeUpoaEkGpKXLFjfiI3cgTix2eEViYqGsDPvyCD8CEJ/iAOvgGKXgW wxwH4y2FVoiZCrizrcCEO7CGUpcIBUO6gW/4AHyYgToQAjF4AhYDB1KIA3xoP0wY1DvhjbiKNInV gA3NTRzDWpt4N9i4GmHdroGMDIkQjfq5iMeIQJTg08wIr2M1LNgojRWRrlC6tQh4ggPotVoQBEwA h1jBhEmgxFDYgeYzBT7gAymoBT7oilCYBGt4gm/gzjpghVJ4BD4oBG6YFQh6gjrIxA/gA0zghoAA ADsAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA ------=_NextPart_000_0079_01C21699.F85C4880-- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jun 18 21:31:24 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g5J2VOp21761 for reliable_computing-outgoing; Tue, 18 Jun 2002 21:31:24 -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 g5J2VK221757 for ; Tue, 18 Jun 2002 21:31:20 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g5J2VF728773 for ; Tue, 18 Jun 2002 20:31:15 -0600 (MDT) Message-Id: <200206190231.g5J2VF728773 [at] cs [dot] utep.edu> Date: Tue, 18 Jun 2002 20:31:13 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: 2nd CFP ASCM03 To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: q8SmBwqUBJ0b7nyPfcK12Q== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------- Begin Forwarded Message ------------- Date: Sat, 1 Jun 2002 20:49:56 -0400 (EDT) From: Ziming Li Subject: 2nd CFP ASCM03 ------------------------------------------- We are sorry if you receive multiple copies! ------------------------------------------- Second Announcement and Call for Papers The Sixth Asian Symposium on Computer Mathematics (ASCM 2003) Beijing, April 17 - 19, 2003 ************************************************************* * * * Revised deadline for paper submission: September 10, 2002 * * * ************************************************************* The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which offers an opportunity for participants to present original research, to learn of research progress and new developments, and to exchange ideas and views on doing mathematics using computers. ASCM 2003 will provide an international forum for active researchers to review the current state of the art and trends on computer mathematics. The symposium will consist of plenary sessions by invited speakers, regular sessions of contributed papers, and software demonstrations. Further information on previous ASCM symposia and ASCM 2003 may be found at http://www.mmrc.iss.ac.cn/~ascm/ascm03 REGISTRATION ------------ Registration fee for ASCM2003 will be $200, which is the same as previous ASCMs. The registration fee covers the conference proceedings, all meals, the reception party, the conference banquet, and a sightseeing tour to the Great Wall. INVITED SPEAKERS ---------------- Christoph Hoffmann (Purdue University, USA) Josef Schicho (RISC, Linz, Austria) Nobuki Takayama (Kobe University, Japan) CALL FOR PAPERS --------------- Research papers on all aspects of the interaction between computers and mathematics are solicited for the symposium. Specific topics include but are not limited to: * Symbolic, algebraic, and geometric computation * Automated mathematical reasoning * Computer-aided problem solving and instruction * Computational algebra and geometry * Computational methods for differential equation * Symbolic/numeric hybrid methods * Parallel/distributed/network computing * Mathematical software design and implementation * Applications in CAGD/CAD, robotics, and computer vision Papers should be written in English, in single column, not exceeding 10 pages, and a main text font no smaller than 10 pt. Authors are encouraged to submit their papers by electronic mail (in postscript, or pdf formats) to both of the Program Committee Co-Chairs: Ziming Li, Email: z6li [at] scg [dot] math.uwaterloo.ca William Y. Sit Email: wyscc [at] cunyvm [dot] cuny.edu. The first page of each paper should contain its title, author(s) with affiliation(s) and e-mail address(es), and an abstract. All submitted papers will undergo a standard review process and the selection of papers by the program committee will be based on their originality and significance of contribution as well as their presentation. The Proceedings of ASCM'2003 will be published as a volume in the Lecture Notes Series on Computing by World Scientific Publ., Singapore/River Edge, USA, and will be available at