From rrosebru@mta.ca Fri Jun 1 06:47:19 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5197Wp14872 for categories-list; Fri, 1 Jun 2001 06:07:32 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-ID: <3B1756F2.82816D98@bangor.ac.uk> Date: Fri, 01 Jun 2001 09:48:50 +0100 From: "Prof. T.Porter" X-Mailer: Mozilla 4.7 [en] (X11; I; FreeBSD 3.3-RELEASE i386) X-Accept-Language: en, fr MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Re: Pro C References: <200105300438.f4U4chS51110@transbay.net> <20010531074243.A26393@triples.math.mcgill.ca> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 1 William Boshuck wrote: > > This is due to Deligne, and can be found towards > the beginning of SGA4, Expose I, section 8. I would > like to know of a more recent source that is so (or > more) thorough on the subject. > cheers, > -b > On Tue, May 29, 2001 at 09:38:43PM -0700, Bill Rowan wrote: > > > > I have read that if C is a category, and the axiom of choice is assumed, then > > Pro C is equivalent to its full subcategory of diagrams where the diagram > > category is an inversely-directed set. Does anyone know where this is proved > > in the literature? > > > > Thanks, > > > > Bill Rowan Dear All I replied to Bill Rowan directly yesterday but it now seems that others might be interested in my reply so here it is. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> In my book with Cordier, the result you want is Proposition 4 p 42 (The book is :Categorical Shape Theory, Cordier and Porter, Published by Ellis Horwood, 1989). The result is known to some shape theorists as the Mardesic trick as Sibe Mardesic is thought to have found it, but I seem to remember seeing a version of it in Grothendieck's work (SGA4 and earlier) If you can get a copy of our book there is a reasonably categorical treatment of pro categories. Best wishes, Tim Porter From rrosebru@mta.ca Fri Jun 1 06:48:19 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5199IN03686 for categories-list; Fri, 1 Jun 2001 06:09:18 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Authentication-Warning: triples.math.mcgill.ca: barr owned process doing -bs Date: Thu, 31 May 2001 20:44:46 -0400 (EDT) From: Michael Barr X-Sender: barr@triples.math.mcgill.ca To: categories@mta.ca Subject: categories: Re: journal boycott: last item In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 2 Paul raised an interesting question. However, my experience with both kinds of journals leads me to believe that the commercial publishers keep hands off the day-to-day issues of the sort he raises. I could imagine an extreme case in which the publisher might step in, but I have never seen it happen. There is invariably an academic editor-in-chief (who, in the case of a commercial journal, gets paid an amount which was once described to me as "substantial", with no details) and I have never heard of an author going beyond that level, although they could try. I would like to take exception to Paul's "NOTHING AT ALL" comment. As far as I can tell, the value added by commercial publishers is actually NEGATIVE, since by owning the copyright they attempt to keep the papers out of general circulation. An Elsevier flack writing to respond to my posting two years ago tried to justify price increases in the face of falling costs by raising the issue of paper costs. Now I buy a sheet of letter-size paper for about 1 cent (and the shriveled Canadian cent at that). I don't know what Elsevier pays, but I would be surprised if they pay half of that. But maybe the common market supports the price of paper, so take that 1 c as given. JPAA costs about $4000 for 2000 pages (that's Canadian $). So it costs $2 per page. Now tell me how a rise in the cost of paper can be a significant cause in the doubling of the subscription price over the decade? The flack made other, equally spurious claims. In the past five years all my papers have been published in TAC, in Cahiers, and I now have one submitted to the electronic HHA (Homology, Homotopy and Applications). Michael On Wed, 30 May 2001, Paul Taylor wrote: > I completely agree with the views about commercial journals in > - Mike Barr's article in the "Newsletter on serials pricing issues" (29 May), > - Peter Johnstone's resignation letter as an editor of JPAA (15 Jan), > - James Meek's article ("Guardian", 26 May) on the cost of journals (28 May). > (The dates refer to "categories" postings.) > > As Mike Barr pointed out, but James Meek seems not to know, the > journals no longer do the work of typesetting papers, so in the Web > age the commercial publishers do NOTHING AT ALL. > > Without meaning to diminish my agreement that we should stop giving > our research and our institutions' money to the commercial publishers, > I would like to be "advocatus diaboli" on an issue of management. > > My question is this: > Is a commercial (or university) publisher, being outside the > academic community, better able to deal with complaints against > editors than an academic managing editor can be? An academic > editor is subject to other pressures, which may be summed up as "not > falling out with colleagues", whereas a commercial manager can be > more ruthless in enforcing the rules. > > I am thinking of complaints of a management rather than intellectual > nature, of course. For example, failing to pass papers from authors to > referees and the referees' reports back again within a reasonable time. > > (This has been a real issue for me, but I have no intention of naming > names. I would like to see a discussion of professional standards > of editing and refereeing sometime, but not on THIS occasion.) > > The kind of answer that I'm looking for would be an (anonymised) > account of some incident where a commercial publisher has dealt with > a complaint better or worse than an academic managing editor would. > > Paul > > From rrosebru@mta.ca Sat Jun 2 22:39:00 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f530mrE18399 for categories-list; Sat, 2 Jun 2001 21:48:53 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 1 Jun 2001 08:23:10 -0500 (EST) From: Dan Isaksen To: categories@mta.ca Subject: categories: Re: Pro C Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 3 A slightly more recent exposition is given in D. A. Edwards and H. M. Hastings, Cech and Steenrod homotopy theories with applications to geometric topology, Lecture Notes in Mathematics 542, Springer, 1976 on pages 6--7. It is a bit strange that Edwards and Hastings credit Mardesic and do not mention Deligne. Understandably, they must have been more familiar with the literature on shape theory than on algebraic geometry. Dan Isaksen University of Notre Dame isaksen.1@nd.edu > Date: Thu, 31 May 2001 07:42:43 -0400 > From: William Boshuck > To: categories@mta.ca > Subject: categories: Re: Pro C > > This is due to Deligne, and can be found towards > the beginning of SGA4, Expose I, section 8. I would > like to know of a more recent source that is so (or > more) thorough on the subject. > cheers, > -b > On Tue, May 29, 2001 at 09:38:43PM -0700, Bill Rowan wrote: > > > > I have read that if C is a category, and the axiom of choice is assumed, then > > Pro C is equivalent to its full subcategory of diagrams where the diagram > > category is an inversely-directed set. Does anyone know where this is proved > > in the literature? > > > > Thanks, > > > > Bill Rowan From rrosebru@mta.ca Sun Jun 3 00:03:26 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f532buA25241 for categories-list; Sat, 2 Jun 2001 23:37:56 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-Id: <3.0.3.32.20010601175349.0068e724@mailx.u-picardie.fr> X-Sender: ehres@mailx.u-picardie.fr X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.3 (32) Date: Fri, 01 Jun 2001 17:53:49 +0200 To: categories@mta.ca From: Andree Ehresmann Subject: categories: About a journal policy: "Cahiers de Top. et Geom. Diff. Categoriques" In-Reply-To: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 4 As the publisher of the non-commercial category-theoretic Journal "Cahiers de Topologie et Geometrie Differentielle Categoriques" I have read with interest Michael Barr's Newsletter on Serials Pricing and the following postings on the subject. I would like to add some information on the "effective" cost of publishing, and also answer a question of Tom Leinster which could be of interest to the authors who have published or want to publish in the "Cahiers". The "Cahiers" have been created by Charles Ehresmann about 40 years ago. >From 1967 to 1972, they were printed and distributed by the commercial editor Dunod. When Dunod merged with Bordas, he refused to go on because there was no "profit". At that time Charles and I decided to undertake the publication ourselves, and since the death of my husband in 1979, I assume this job alone. I have no support nor material help whatsoever from any institution. If the address is at the Faculte de Mathematique of the Universite de Picardie, it is just because it is my own professional address. As many people of this category list know, to avoid typesetting problems, after the papers have been refereed and accepted, authors are required to send me laser printed copies of the papers in a specific format, to which I add the title, name of authors, headings and page numbers. I give the so prepared volume to a (commercial) printer who prints and binds it. The mailing of the issues as well as the handling of subscriptions is done by myself. The only resources come from the subscriptions (almost all from foreign universities, of which about 100 in the USA). For this year, the price is 460 Francs for 320 pages; thus, depending on the dollar rate, it amounts to less than 0.20 $ for a page. This price is fixed so that if just covers the printing and mailing costs, and a small part of the material costs (printer ink, computer,...). The "Cahiers" have some exchange with "TAC" since each year "TAC" contents are published in the second issue of the "Cahiers" volume, while "Cahiers" contents are mailed to this category list. Now an answer to Tom Leinster who asks: > What I'd like to find is that it is actually possible to publish in respected >journals while keeping my papers free to whoever wants them. >So my first question is: which journals have enlightened policies? I don't know if the "Cahiers" are "respected". But I can assert that my policy is to allow the authors to keep their papers free to whoever wants them. Indeed, the papers can be freely posted in any electronic archive (with reference to the volume where they are published) and/or photocopied, if the 50 reprints I send free are not sufficient. Any suggestion to make the "Cahiers" more useful to the category community will be appreciated. Andree C. Ehresmann From rrosebru@mta.ca Mon Jun 4 00:49:04 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f542vMb25576 for categories-list; Sun, 3 Jun 2001 23:57:22 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Originating-IP: [12.107.13.10] From: "Bill Halchin" To: categories@mta.ca Subject: categories: graph term rewriting Date: Mon, 04 Jun 2001 02:14:54 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 04 Jun 2001 02:14:54.0698 (UTC) FILETIME=[250C24A0:01C0EC9C] Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 5 Hello, Research in graph term rewriting is being done in regard to functional language implementation. Have Category Theoretic methods been applied to graph term rewriting research? If so, can someone point me at papers? Regards, Bill Halchin From rrosebru@mta.ca Mon Jun 4 08:53:13 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f54BJVm19518 for categories-list; Mon, 4 Jun 2001 08:19:31 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f From: Konstantinos Tourlas MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15131.23776.56810.787529@zen.dcs.ed.ac.uk> Date: Mon, 4 Jun 2001 11:03:12 +0100 (BST) To: categories@mta.ca Subject: categories: re: graph term rewriting In-Reply-To: References: X-Mailer: VM 6.72 under 21.1 (patch 8) "Bryce Canyon" XEmacs Lucid Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 6 > Research in graph term rewriting is being done > in regard to functional language implementation. > Have Category Theoretic methods been applied to > graph term rewriting research? If so, can someone > point me at papers? > To my best knowledge, Fabio Gadducci has, for some time now, been applying category-theoretic structures to graph term rewriting, and has written a couple of relevant survey papers which feature extensive bibliographic references. I believe these papers may be found in his home page (http://www.di.unipi.it/~gadducci/) even though his links may seem a bit cryptic at first. My understanding of your question is that you're interested in rewriting graphs which encode the structure of terms in some signature (or the structure of program terms in some programming language). If, instead, it is the rewriting of graphs (independent of specific interpretations) or of programs in visual languages that you are interested in, then I would be happy to provide more specific pointers, as the latter area of research is closer to my own interests. -- Konstantinos Tourlas Tel. : 0131-650-5162 Rm 1404, JCMB, The University of Edinburgh, e-mail : kxt@dcs.ed.ac.uk King's Buildings, Edinburgh, EH9 3JZ UK From rrosebru@mta.ca Mon Jun 4 22:06:57 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f550e9u14644 for categories-list; Mon, 4 Jun 2001 21:40:09 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-Id: From: edubuc@dm.uba.ar (Eduardo Dubuc) Subject: categories: Re: About a journal policy: "Cahiers de Top. et Geom. Diff. Categoriques" To: categories@mta.ca Date: Mon, 4 Jun 2001 15:59:38 -0300 (ARG) In-Reply-To: <3.0.3.32.20010601175349.0068e724@mailx.u-picardie.fr> from "Andree Ehresmann" at Jun 01, 2001 05:53:49 PM X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 7 I take this opportunity to thank Andree C. Ehresmann for all she has done and is still doing in order to keep the "Cahiers" going and in good health. The contribution of the cahiers to the category theory community is inmense, and even more was so during all those years when there was not electronic printing. We all in this community have a great debt to Mme Andree, and I feel we should let her know explicitly how important her work has been and still is. Personally, every time I have to reference a good article, I never remember in which journal it was published, except if it was the cahiers. It may be that the cahiers is close to my heart. Good job Andree, and keep going ... Eduardo J. Dubuc From rrosebru@mta.ca Mon Jun 4 22:12:33 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f550aj208617 for categories-list; Mon, 4 Jun 2001 21:36:45 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Mon, 4 Jun 2001 14:23:13 +0200 From: Frank Atanassow To: categories@mta.ca Subject: categories: Re: graph term rewriting Message-ID: <20010604142313.B8040@cs.uu.nl> References: Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.2.5i In-Reply-To: ; from bhalchin@hotmail.com on Mon, Jun 04, 2001 at 02:14:54AM +0000 Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 8 Bill Halchin wrote (on 04-06-01 02:14 +0000): > Research in graph term rewriting is being done > in regard to functional language implementation. > Have Category Theoretic methods been applied to > graph term rewriting research? If so, can someone > point me at papers? You may wish to look at Wolfram Kahl's publications, and the HOPS project: http://ist.unibw-muenchen.de/kahl/ For example: Wolfram Kahl. A Fibred Approach to Rewriting - How the Duality between Adding and Deleting Cooperates with the Difference between Matching and Rewriting. Technical Report Nr. 9702, Fakultät für Informatik, Universität der Bundeswehr München, May 1997. Then there is Neil Ghani's work on categorical rewriting with Christopher Lüth, though I don't think it is specific to graph rewriting: http://www.mcs.le.ac.uk/~nghani/catrew.html And there is a lot of work on linear languages by Blute, Cockett, Seely et al. which touches on rewriting. For example, Natural Deduction and Coherence for Weakly Distributive Categories (Blute-Cockett-Seely-Trimble) (JPAA 113(1996)3, pp 229-296) which is available on Seely's page here: http://www.math.mcgill.ca/rags/ -- Frank Atanassow, Information & Computing Sciences, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-3261 Fax +31 (030) 251-379 From rrosebru@mta.ca Tue Jun 5 22:29:07 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f560wiF20017 for categories-list; Tue, 5 Jun 2001 21:58:44 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-Id: <200106051418.f55EIla19141@pandora.cs.kun.nl> X-Mailer: exmh version 2.1.1 10/15/1999 To: categories@mta.ca Subject: categories: cfp: FMOODS 2002 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Tue, 05 Jun 2001 16:18:23 +0200 From: Bart Jacobs Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 9 [[ -- Apologies for multiple copies of this message -- ]] Call for Papers Fifth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems FMOODS'2002 20-22 March 2002, University of Twente, the Netherlands http://trese.cs.utwente.nl/fmoods2002/ ------------------------------------------------------------------------ Objectives ========== Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunication systems. Indeed, several important international organisations, such as ITU, ISO, OMG, TINA-C, etc. are defining similar distributed object-based frameworks as a foundation for open distributed computing. The advent of Open Object-based Distributed Systems - OODS - brings new challenges and opportunities for the use and development of formal methods. New architectures and system models are emerging (e.g., the enterprise, information, computational and engineering viewpoints of the ITU-T/ISO/IEC ODP Reference Model) which require formal notational support. Usual design issues such as specification, verification, refinement, and testing need to take into account new dimensions introduced by distribution and openness, such as quality of service and dependability constraints, dynamic binding and reconfiguration, consistency between multiple models and viewpoints, security etc. OODS is a challenging research context and a source of motivation for semantical models of object-based systems and notations, for the evolution of standardised formal description techniques, for the application and assessment of logic based approaches, for better understanding and information modeling of business requirements, and for the further development and use of Object Oriented methodologies and tools. The objective of FMOODS is to provide an integrated forum for the presentation of research in several related fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for Open Object-based Distributed Systems. Topics ====== Topics of interest include but are not limited to: * Formal models for object-based distributed computing * Specification and analysis techniques for distributed systems * Refinement and transformation of specifications * Verification, testing and validation of distributed systems * Semantics of object-based programming languages * Object-based coordination languages * Multiple viewpoint modelling and consistency between different models * Types, service types and subtyping * Quality of service: specification, verification and testing of constraints * Formal support for object life cycles * Design and software life-cycle of object-based distributed applications * Formal models for measuring the quality of object-oriented requirement or design specifications * Formal aspects of distributed real-time multimedia systems * Applications to telecommunications and related areas * Formal and rigorous specifications of business enterprises * Analysing interactions between objects / components * Formal models for security in distributed systems Conference Organizers ===================== Arend Rensink (general chair + local organizer) University of Twente, the Netherlands rensink@cs.utwente.nl Bart Jacobs (Pc chair) University of Nijmegen, the Netherlands bart@cs.kun.nl Program Committee ================= Lynne Blair (U. Lancaster, UK) John Derrick (UKC, Kent, UK) Alessandro Fantechi (U. Firenze, Italy) Riccardo Focardi (U. Venice, Italy) Andrew D. Gordon (Microsoft Research, UK) Rolf Hennicker (LMU Muenchen, Germany) Bart Jacobs (U. Nijmegen, the Netherlands) Guy Leduc (U. of Liege, Belgium) Elie Najm (ENST, Paris, France) Uwe Nestmann (EPFL Lausanne) Arnd Poetzsch-Heffter (FernUniv. Hagen, Germany) Arend Rensink (U. Twente, the Netherlands) Scott Smith (Johns Hopkins Univ., USA) Perdita Stevens (U. Edinburgh) Carolyn Talcott (Stanford Univ., USA) Nalini Venkatasubramanian (UC Irvine, USA) Evaluation and Publication of Submitted Papers ============================================== Submitted manuscripts will be evaluated and selected for presentation in the conference. The proceedings of FMOODS 2002 will be published by Kluwer who are the publishers of IFIP events. The proceedings will be made available at the conference. Instructions to the Authors =========================== Authors are invited to submit full original research papers, up to 16 pages (including bibliography), 12 point, single spaced, including an informative abstract, names and affiliations of all authors, and a list of keywords facilitating the assignment of papers to referees. The use of the Kluwer styles (http://www.wkap.com/ifip/styles) and guidelines (http://www.wkap.com/ifip/guidelines.pdf) for the submission is recommended. Important Dates =============== 1 Sept 2001 Submission deadline 15 Nov 2001 Notification of acceptance 15 Dec 2001 Camera ready copy for participants proceedings due 20-22 March 2002 The conference at Univ. Twente Submission Procedure Information: to appear at the conference website: http://trese.cs.utwente.nl/fmoods2002/ From rrosebru@mta.ca Wed Jun 6 22:05:55 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f570UFr29494 for categories-list; Wed, 6 Jun 2001 21:30:15 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-ID: <014201c0ee9f$053516f0$060a000a@AVILCIUS> From: "Al Vilcius" To: Subject: categories: co-iteration? Date: Wed, 6 Jun 2001 11:40:31 -0400 MIME-Version: 1.0 Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 10 For many (categorical) notions, there is a useful (often fantastic) dual notion. What about iteration? In a category with finite coproducts, we have a notion of iteration f:A-->A+B (written A -f-> A+B here) which in the case of sets and partial functions, for example, is completely specified by the Elgot equation A -f-> A+B -f"+1-> B = A -f"-> B recursive in f" (plus one more little, quite natural condition - see [Manes '92]) This awful looking mess, written using the infix morphism notation, actually looks quite neat when you draw the diagram. Now without meaning to start the "co"-wars again, - is there a useful notion of co-iteration? - what could it do for us, say in the category of partial functions? - is there a simple algebra/coalgebra context? Reference: [Manes '92] E.G.Manes, "Predicate Transformer Semantics", CUP 1992 Al Vilcius personal: al.r@vilcius.com business: avilcius@webpearls.com From rrosebru@mta.ca Thu Jun 7 04:27:40 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f576vS318923 for categories-list; Thu, 7 Jun 2001 03:57:28 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f From: Peter Selinger Message-Id: <200106070648.XAA22162@dead.stanford.edu> Subject: categories: Re: co-iteration? To: categories@mta.ca Date: Wed, 6 Jun 2001 23:48:08 -0700 (PDT) In-Reply-To: <014201c0ee9f$053516f0$060a000a@AVILCIUS> from "Al Vilcius" at Jun 06, 2001 11:40:31 AM X-Mailer: ELM [version 2.5 PL1] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 11 To put it in a nutshell, the dual of iteration is recursion. You start with a function f:AxB-->A, and you obtain a function f":B-->A satisfying B -f"x1-> AxB -f-> A = B -f"-> A. This is precisely dual to the situation you describe. In a programming language context, much more can be said. Andrzej Filinski observed in his 1989 Master's thesis that call-by-*name* recursion is dual to call-by-*value* iteration. In the presence of certain control operators, call-by-value iteration is in turns inter-definable with call-by-value recursion. The typing of these statements is as follows: 1) Call-by-name recursion: AxB -> A ---------- B -> A 2) Call-by-value iteration: A -> A+B ---------- A -> B 3) Call-by-value recursion: (A->C)xB -> (A->C) -------------------- B -> (A->C) Here, in 1), AxB stands for a categorical product. In 2), A+B is a categorical co-product. However, in 3), the "product" type AxB is not a categorical product (not even a tensor product - in fact it is a premonoidal structure). And the "function space" A->C is not that of a cartesian (or monoidal) closed structure. Thus, there is a bit more to call-by-value recursion than meets the eye. All this is explained very nicely (both categorically and from a lambda calculus point of view) in a recent paper by Masahito Hasegawa and Yoshihiko Kakutani. The paper appeared in FoSSaCS 2001, and it is available from Hasegawa's website (http://www.kurims.kyoto-u.ac.jp/~hassei/papers/). In particular, this paper discusses precisely which axioms to require of the operations 1), 2), and 3), and it details the duality between 1) and 2) and the equivalence of 2) and 3). I may add, although it is not directly in response to the original question, that the duality between call-by-name and call-by-value can already be observed even in languages that don't have recursion or iteration. The duality requires the presence of a certain kind of control operator. This duality also appears in Filinski's master's thesis, and its category theoretic meaning is explained in my paper "Control Categories and Duality" (http://theory.stanford.edu/~selinger/papers.html). -- Peter From rrosebru@mta.ca Thu Jun 7 04:27:48 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f576sqe01542 for categories-list; Thu, 7 Jun 2001 03:54:52 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-ID: <8CD183325ADED411AEAD00034708D0B97BF656@mail.gc.cuny.edu> From: "Lengyel, Florian" To: categories@mta.ca Subject: categories: Re: co-iteration? Date: Wed, 6 Jun 2001 21:37:36 -0400 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 12 I consider these and related matters in Recursion categories of coalgebras, available at http://xxx.lanl.gov/abs/math.CT/0105256 Regards, Florian Lengyel From rrosebru@mta.ca Thu Jun 7 04:31:40 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f576trw01561 for categories-list; Thu, 7 Jun 2001 03:55:53 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-ID: <3B1F28E0.9B1C8469@kestrel.edu> Date: Thu, 07 Jun 2001 00:10:24 -0700 From: Dusko Pavlovic X-Mailer: Mozilla 4.75C-CCK-MCD {C-UDP; EBM-APPLE} (Macintosh; U; PPC) X-Accept-Language: en MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Re: co-iteration? References: <014201c0ee9f$053516f0$060a000a@AVILCIUS> Content-Type: text/plain; charset=us-ascii; x-mac-type="54455854"; x-mac-creator="4D4F5353" Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 13 > In a category with finite coproducts, > we have a notion of iteration f:A-->A+B > (written A -f-> A+B here) > which in the case of sets and partial functions, for example, > is completely specified by the Elgot equation > A -f-> A+B -f"+1-> B = A -f"-> B recursive in f" [...] > Now without meaning to start the "co"-wars again, > - is there a useful notion of co-iteration? > - what could it do for us, say in the category of partial functions? > - is there a simple algebra/coalgebra context? by reversing the arrows, and replacing coproducts by products, we get that, for the function g:AxB->A holds B---->AxB--g-->A = B--g'-->A, ie g(g'(y),y) = g'(y) in words, the "coiterator" g' is just a fixpoint of g. -- dusko From rrosebru@mta.ca Fri Jun 8 00:28:40 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f582vmm18579 for categories-list; Thu, 7 Jun 2001 23:57:48 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f From: Stephen Bloom To: categories@mta.ca Subject: categories: iteration vs. recursion Reply-To: bloom@cs.stevens-tech.edu Message-Id: <20010607145555.9BC27699AD@timmermans.cs.stevens-tech.edu> Date: Thu, 7 Jun 2001 10:55:55 -0400 (EDT) Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 14 Both iteration and recursion are operations yielding fixed points. They have the same equational properties in standard models. See the following articles: S. Bloom and Z. Esik,``Fixed point operations in ccc's'', Theoretical Computer Science, 155:1996, 1--38, S. Bloom and Z. Esik,``The equational logic of fixed points'' , Theoretical Computer Science, 179(1997), 1--60, and Z. Esik and A. Labella: Equational properties of iteration in algebraically complete categories. Mathematical foundations of computer science (Cracow, 1996). Theoret. Comput. Sci. 195 (1998), no. 1, 61--89. and the book: Iteration Theories: The Equational Logic of Iterative Processes, EATCS Monograph Series on Theoretical Computer Science, Springer-Verlag, 1993 ISBN 0-387-56378-4, by Bloom and Esik. From rrosebru@mta.ca Fri Jun 8 01:53:55 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f584McA30332 for categories-list; Fri, 8 Jun 2001 01:22:38 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-Id: <4.3.2.7.2.20010607084047.036b8c80@mail.btinternet.com> X-Sender: rdybowski@mail.btinternet.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Thu, 07 Jun 2001 08:42:42 +0100 To: categories@mta.ca From: Richard Dybowski Subject: categories: Announcing new list: The Xy-pic discussion list Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 15 A discussion list specifically dealing with questions and ideas related to the Xy-pic LaTeX graphics package has been launched. This package is particularly suited for category theory, and you can subscribe to this list via the web page at http://tug.org/mailman/listinfo/xy-pic Richard ------------------------------- Dr Richard Dybowski Dybowski Associates 143 Village Way Pinner HA5 5AA, UK URL: http://www.dybowski.com Email: richard@dybowski.com Tel (mobile): 07976 25 00 92 From rrosebru@mta.ca Sat Jun 9 05:10:33 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f597f9L24103 for categories-list; Sat, 9 Jun 2001 04:41:09 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-Id: <200106081507.QAA02972@keisgaig.dcs.ed.ac.uk> To: categories@mta.ca Subject: categories: Re: iteration vs. recursion Date: Fri, 08 Jun 2001 16:07:45 +0100 From: HASEGAWA Masahito Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 16 On fixed-point operators and their axiomatizations including the iteration theories of Bloom and Esik, one of the latest (and concise) accounts is found in Alex Simpson and Gordon Plotkin: Complete Axioms for Categorical Fixed-point Operators. Fifteenth Annual IEEE Symposium on Logic in Computer Science, pp.30-41, 2000 available from Simpson's page http://www.dcs.ed.ac.uk/home/als/Research/ . - Masahito Hasegawa From rrosebru@mta.ca Sat Jun 9 05:10:33 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f597dsf28586 for categories-list; Sat, 9 Jun 2001 04:39:54 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f To: categories@mta.ca Subject: categories: cfp: CATS 2002 CFP Date: Sat, 09 Jun 2001 00:21:32 +1000 Message-ID: <19518.992010092@goanna.cs.rmit.edu.au> From: James Harland Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 17 CALL FOR PAPERS Computing: The Australasian Theory Symposium (CATS) 2002 Monash University, Melbourne, Australia January 28th to February 1st, 2002 Deadline August 3rd, 2001 Computing: The Australasian Theory Symposium (CATS) is the premier theoretical computer science conference in Australasia. It is held annually as part of the Australasian Computer Science Week (ACSW). CATS 2002 will be the eighth in the series. The symposium will consist of invited speakers and research paper presentations. Date and location CATS 2002 will be held during the Australasian Computer Science Week. ACSW 2002 will take place at Monash University, Melbourne, Victoria, Australia, from 28th January to 1st February, 2002. Scope CATS covers all aspects of theoretical computer science. Some representative, but not exclusive, topics include the following: o logic, reasoning and verification o formal specification techniques and program semantics o formal development methods, program refinement, synthesis and transformation o concurrent, parallel and distributed system theory o algorithms and data structures o complexity and computability o automata, number and category theory o tools for automated reasoning, and program analysis and development Research paper submissions to CATS 2002 should be prepared according to the formatting requirements below and sent to the Programme Chair, to arrive no later than Friday, 3rd August, 2001. Submissions must be original work, not published or submitted elsewhere. All submissions will be refereed. The proceedings of CATS 2002 will be published by Elsevier Science in their series Electronic Notes in Theoretical Computer Science (http://www.elsevier.nl/locate/entcs) ENTCS is an electronic series associated with the journal Theoretical Computer Science, and published by Elsevier Science B. V. (Institutions subscribing to TCS can access full papers in ENTCS on-line.) ENTCS offers rapid, worldwide dissemination of research results, an absence of page limits, and long-term accessibility through the electronic archives that Elsevier maintains. The proceedings of CATS2000 and CATS2001 have both appeared in ENTCS as ENTCS Volume 31 (http://www.elsevier.nl/locate/entcs/volume31.html) and ENTCS Volume 42 (http://www.elsevier.nl/locate/entcs/volume42.html) respectively. A hardcopy preliminary proceedings will be provided to conference attendees. Formatting requirements To ensure a uniform format for papers, all submissions to CATS 2002 *must* be prepared in LaTeX using the ENTCS macros. Papers in other formats cannot be accepted. Further information is available via the ENTCS home page at http://www.elsevier.nl/locate/entcs. (Follow the links for "Instructions for Submissions" and "Technical Requirements".) Complete papers should be e-mailed as PostScript files, preferably as MIME attachments. Although there is no strict page limit on submissions to CATS 2002, authors are strongly encouraged to be as concise as possible. Papers between 10 and 15 pages are considered ideal. If necessary, definitions and proofs not essential to understanding the paper should be relegated to appendices to appear only in the electronic version. Call for Posters A poster session will be arranged to give CATS attendees the opportunity to give informal presentations of their work. Expressions of interest, briefly outlining the poster's topic, should be e-mailed to the Programme Chair (jah@cs.rmit.edu.au) by Friday 9th November, 2001. Important dates Friday 3rd August, 2001: Deadline for submissions Friday 5th October, 2001: Notification of acceptance Friday 26th October, 2001: Final versions of accepted papers due Friday 9th November, 2001: Deadline for author registrations Friday 9th November, 2001: Deadline for poster submissions Monday 28th January to Friday 1st February, 2002: Australasian Computer Science Week, incorporating CATS 2002 Programme Committee Asat Arslanov, Monash University, Australia. Hossam ElGindy, University of New South Wales, Australia. James Harland (Chair), Royal Melbourne Institute of Technology, Australia. Mike Johnson, Macquarie University, Australia. Mathai Joseph, Tata R&D, India. Barry Jay, University of Technology, Sydney, Australia. Ron van der Meyden, University of New South Wales, Australia. Harald Sondergaard, Melbourne University, Australia. Lim Soon Wong, Kent Ridge Digital Labs, Singapore. Michael Winikoff, Royal Melbourne Institute of Technology, Australia. David Wood, Sydney University, Australia. ACSW General Chair Ronald Pose, Monash University Previous CATS symposia o CATS 2001, Gold Coast o CATS 2000, Canberra o CATS '99, Auckland (joint meeting with DMTCS '99) o CATS '98, Perth o CATS '97, Sydney o CATS '96, Melbourne o CATS '94, Sydney Updates and news Up to date information about the CATS 2002 conference can be found at http://www.cs.rmit.edu.au/cats02. Enquiries and submissions James Harland (CATS 2002 Programme Chair) School of Computer Science and Information Technology Royal Melbourne Institute of Technology (RMIT) Melbourne, 3001, Australia Phone: +61 3 9925 2348 Fax: +61 3 9662 1617 Email: jah@cs.rmit.edu.au URL: http://www.cs.rmit.edu.au/~jah From rrosebru@mta.ca Sat Jun 9 05:50:36 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f597bXA00842 for categories-list; Sat, 9 Jun 2001 04:37:33 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Subject: categories: Re: Pro C To: categories@mta.ca Date: Fri, 8 Jun 2001 14:37:49 +0200 (CEST) X-Mailer: ELM [version 2.4ME+ PL69 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Message-Id: <20010608123749.12BE3836E@queen.math.muni.cz> From: rosicky@math.muni.cz (Jiri Rosicky) Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 18 < Choice isn't needed: all you need is the result that, for any filtered < category C, there is a directed poset P and a final functor P --> C. < There is a proof of this somewhere in SGA4 (I don't have the reference < to hand), where it is attributed to Pierre Deligne; but I suspect it < may be older than this. < Peter Johnstone The proof is also in my book with Adamek, Locally presentable and accessible categories, Theorem 1.5, Jiri Rosicky From rrosebru@mta.ca Tue Jun 12 01:00:07 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5C3Nh606393 for categories-list; Tue, 12 Jun 2001 00:23:43 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f From: Steve Lack MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15141.29574.371771.649453@milan.maths.usyd.edu.au> Date: Tue, 12 Jun 2001 11:42:30 +1000 To: categories@mta.ca Subject: categories: omega-completions X-Mailer: VM 6.90 under 21.1 (patch 7) "Biscayne" XEmacs Lucid Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 19 I recently noticed the following fact, and wondered if this was known, and if so, whether there was a reference. Write w for the first infinite ordinal (pronounced omega, and thought of as a category). The free completion under w-colimits of a category K can be described as the category of fractions [w,K][S^-1], where [w,K] is the functor category, and S consists of all natural transformations of the form A(phi):A-->Af, where A:w-->K and f:w-->w are functors, and phi:1_w-->f a natural transformation. Steve Lack. From rrosebru@mta.ca Tue Jun 12 01:00:17 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5C3Muq06180 for categories-list; Tue, 12 Jun 2001 00:22:56 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-ID: <007501c0f296$8f2a63b0$060a000a@AVILCIUS> From: "Al Vilcius" To: Subject: categories: symmetry vs. duality Date: Mon, 11 Jun 2001 12:50:02 -0400 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2919.6700 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700 Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 20 Both symmetry and duality are important concepts, for sure; both conjure up images of "2-ness" (or 2-folded-ness or 2-sided-ness ...). However, their similarities and differences are problematic to me, and I'm seeking either agreement or objection from this forum to my remarks, plus a question on definition. An over-simplified picture (perhaps trivial) that begins to distinguish between these two fundamental aspects of 2-ness is the following: symmetry: . -----------> o o . -----------> ie. confluence vs. duality . ----------> o o . <----------- ie. unity of opposites "Symmetry is a vast subject, significant in art and nature" said Hermann Weyl in his 1952 Princeton UP book "Symmetry". As is well known, his mathematical approach culminates in the understanding of symmetric configurations of elements as invariants under subgroups of the group of automorphisms of their ambient structures. This, of course, relates strongly to the famous Erlanger Program (1872) of Felix Klein which sees geometry as the study of the properties of a space that are preserved (invariant) under a given group of transformations, whereby a geometry is distinguished by the group of transformations under which its theorems remain true. Duality is also a very important and far-reaching subject - and certainly no need to recite further in this forum. In terms of comparisons of similarities and differences, I am tempted to attach the follow descriptions: symmetry .......... vs. ............. duality ........2-ness................................2-ness .. metric (or measure) related........order related ... visual................................complementary ..... causal parallel......................dialectic .... syntactic..............................syntactic .... concrete..................................abstract .. invariance under transformation.....adjointness .. geometric in character...........algebraic in character ... confluence..........................unity of opposites .... are there others that come to mind? In the vernacular, symmetry and duality are sometimes used interchangeably, both referring to 2-ness: the quality, character or condition of being two or twofold - a dichotomy. Indeed it has been suggested that visual symmetry, in the sense of exact correspondence of form and constituent configuration on opposite sides of a dividing line or plane or about a center or an axis, is a source of beauty as a result of this balance or harmonious arrangement. Alternatively, symmetry has also been seen more abstractly (vs. visually) as a relationship of equivalence, identity, or characteristic correspondence among constituents of an entity or between different entities, such as in: the narrative symmetry of a novel. This level of abstraction is certainly evident in the philosophical "Mind Body Problem" whose classical exposition in the form of dualistic interactionism is due to René Descartes. Both symmetry and duality should be seen as sources of beauty in mathematics also, however, in order to be addressed mathematically. these should be precise. The categorical notion of duality is captured precisely by adjointness, or the unity and identity of opposites. So finally, here is the question: is there a (universal) categorical description of symmetry? My hope is that precise formulations will allow me to better understand heuristic notions such as wave-particle duality or symmetry-breaking etc. in terms of (model) structures. Thank you for your kind attention. Al Vilcius personal: al.r@vilcius.com business: avilcius@webpearls.com From rrosebru@mta.ca Tue Jun 12 01:08:39 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5C3MRK28067 for categories-list; Tue, 12 Jun 2001 00:22:27 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Mon, 11 Jun 2001 10:40:22 +0200 (MET DST) From: Claire Gardent To: ESSLLI02 B List: ; Subject: categories: CFP ESSLLI02 (Trento, Italy) Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 22 [An HTML version of the Call for Proposals is available via the FoLLI page . Usual apologies apply if you receive multiple copies of this message.] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Fourteenth European Summer School in Logic, Language and Information ESSLLI-2002 August 4-17, 2002, Trento, Italy %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS -------------------------------------- The main focus of the European Summer Schools in Logic, Language and Information is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2002 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI). The ESSLLI-2002 Programme Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 14th annual Summer School on a wide range of topics in the following fields: LANGUAGE & COMPUTATION LANGUAGE & LOGIC LOGIC & COMPUTATION In addition to courses and workshops there will be a Student Session. A Call for Papers for the Student Session will be distributed separately. PROPOSAL SUBMISSION: Proposals should be submitted through a web form located at All proposals should be submitted no later than July 22, 2001. Authors of proposals will be notified of the committee's decision no later than September 17, 2001. Proposers should follow the guidelines below while preparing their submissions; proposals that deviate can not be considered. GUIDELINES FOR SUBMISSION: Anyone interested in lecturing or organising a workshop during ESSLLI-2002, please read the following information carefully. ALL COURSES: Courses are taught by 1 or max. 2 lecturers. They typically consist of five sessions (a one-week course) or ten sessions (a two-week course). Each session lasts 90 minutes. Timetable for Course Proposal Submission: Jul 22, 2001: Proposal Submission Deadline Sep 17, 2001: Notification Nov 15, 2001: Deadline for receipt of title, abstract, lecturer(s) information, course description and prerequisites Jun 1, 2002: Deadline for receipt of camera-ready course material FOUNDATIONAL COURSES: These are really elementary courses not assuming any background knowledge. They are intended for people to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competences of neighbouring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses may presuppose some experience with scientific methods in general, so as to be able to concentrate on the issues that are germane to the area of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to equip students and young researchers with a good understanding of a field's basic methods and techniques. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area. ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in some detail. WORKSHOPS: The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. A workshop has a theme. At most one organiser is paid. The organisers should be specialists in the theme of the workshop and give a general introduction in the first session. They are also responsible for the programme of the workshop, i.e., for finding speakers. Each workshop organiser will be responsible for producing a Call for Papers for the workshop by November 15, 2001. The call must make it clear that the workshop is open to all members of the LLI community. It should also note that all workshop contributors must register for the Summer School. A workshop consists of five sessions (a one-week workshop) or ten sessions (a two-week workshop). Sessions are normally 90 minutes. Timetable for Workshop Proposal Submissions Jul 22, 2001: Proposal Submission Deadline Sep 15, 2001: Notification Nov 15, 2001: Deadline for receipt of Call for Papers Dec 1, 2001: Send out Call for Papers Mar 15, 2002: Deadline for Papers (suggested) May 1, 2002: Notification of Workshop Contributors (suggested) May 15, 2002: Deadline for Provisional Workshop Programme Jun 1, 2002: Deadline for receipt of camera-ready copy of Workshop notes Jun 1, 2002: Deadline for Final Workshop Programme FORMAT FOR PROPOSALS: The web-based form for submitting course and workshop proposals is accessible at . You will be required to submit the following information: * Name (name(s) of proposed lecturer(s)/organiser) * Address (contact addresses of proposed lecturer(s)/organiser; where possible, please include phone and fax numbers) * Title (title of proposed course/workshop) * Type (is this a workshop, a foundational course, an introductory course, or an advanced course?) * Section (does your proposal fit in Language & Computation, Language & Logic or Logic & Computation? name only one) * Description (describe the proposed contents in at most 150 words) * External funding (will you be able to find external funding to help fund your travel and accommodation expenses? if so, how?) * Further particulars (any further information that is required by the above guidelines should be included here) FINANCIAL ASPECTS: Prospective lecturers and workshop organisers should be aware that all teaching and organising at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organisers are not paid for their contribution, but are reimbursed for travel and accommodation. Please note the following: In case a course is to be taught by two lecturers, a lump sum is paid to cover travel and accommodation expenses. The splitting of the sum is up to the lecturers. However, please note that the organisers highly appreciate it if, whenever possible, lecturers and workshop organisers find alternative funding to cover travel and accommodation expenses. Workshop speakers are required to register for the Summer School; however, workshop speakers will be able to register at a reduced rate to be determined by the Organising Committee. Finally, it should be stressed that while proposals from all over the world are welcomed, the Summer School can in general guarantee only to reimburse travel costs for travel from destinations within Europe to Trento. Exceptions will be made depending on the financial situation. PROGRAM COMMITTEE: Claire Gardent (chair) Attn: ESSLLI-2002 LORIA BP 239 Campus Scientifique 54506 Vandoeuvre-les-Nancy (France) Tel: +33-3-83-59-2039 Fax: +33-3-83-27-5652 Email: claire.gardent@loria.fr Local co-chair: Paolo Bouquet (bouquet@cs.unitn.it) Language & Computation: Hinrich Schuetze (me@hinrichschuetze.com) Gerry Altmann (g.altmann@psych.york.ac.uk) Language & Logic: Fabio Pianesi (pianesi@irst.itc.it) Steve Pulman (stephen.pulman@somerville.ox.ac.uk) Logic & Computation: Simon Parsons (S.D.Parsons@csc.liv.ac.uk ) Frank Wolter (wolter@jaist.ac.jp) ORGANISING COMMITTEE: Luciano Serafini (chair) Email: serafini@itc.it FURTHER INFORMATION: To obtain further information, visit the web site for ESSLLI-2002 . For this year's summer school, please see the web site for ESSLLI-2001 . From rrosebru@mta.ca Thu Jun 14 16:13:41 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5EIhUS27135 for categories-list; Thu, 14 Jun 2001 15:43:30 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Tue, 12 Jun 2001 22:31:45 +0200 (CEST) From: Anders Kock - Guest To: categories@mta.ca Subject: categories: preprint: The stack quotient of a groupoid Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 23 Anders Kock; The stack quotient of a groupoid ia available at the address http://www.ml.kva.se/preprints/meta/KockMon_Jun_11_10_57_41.rdf.html Summary: Making explicit in which sense the stack of principal G-bundles is the quotient of the groupoid G. A main tool is an equivalence between descent data, and lift of the groupoid G into a groupoid in a fibration over G. Anders K. (Note: my permanent e-mail address is unchanged, kock@imf.au.dk) From rrosebru@mta.ca Thu Jun 14 16:13:42 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5EIkO509871 for categories-list; Thu, 14 Jun 2001 15:46:24 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f To: categories@mta.ca Subject: categories: Abstract Stone Duality update Message-Id: From: Paul Taylor Date: Thu, 14 Jun 2001 17:54:10 +0100 X-Ident: pt Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 24 Abstract Stone Duality is a reaxiomatisation of general topology that is intended to unify it with recursion theory and translate topological constructions into executable programs. In a sense, it turns denotational semantics on its head: from topology (not just domain theory) to programs. The underlying idea is Pare's theorem, that the category of "frames" is both dual to and monadic over the category of "spaces". The leading concrete examples are * the category of locally compact locales and * any elementary topos, so - unlike existing programming languages and formal type theories - there are "subtypes", which can be carved out by means of something like the axiom of comprehension in set theory. Unfortunately the subject is not yet in a state where I can give an introduction suitable for either topologists or computer scientists: I am still building basic categorical structure on the central hypothesis, and familiarity with Beck's theorem that characterises monadic adjunction is essential at this stage. This is just an interim progress report for those that already know a little about this work. Links to the published and draft papers are at http://www.dcs.qmw.ac.uk/~pt/ASD or http://hypatia.dcs.qmw.ac.uk/author/TaylorP In particular, the paper that I presented at CT2000 in Como, Non-Artin Gluing in Recursion Theory and Lifting in Abstract Stone Duality recently came back from the referees and has now been revised. If you have any comments on this paper, please tell me now so that they can be incorporated in the revised version. It contains a counterexample to show that the Artin comma square for recovering the topology on a space from the topologies of an open subspace and its closed complement does not work for the analogous lattices of recursively enumerable subsets of N, considered as Godel numbers for terminating and non-terminating programs. However, it analyses the gluing problem a little further, and shows that the modular law for lattices plays an important part. On this is built the construction of the partial map classifier in abstract Stone duality. The paper follows and relies heavily on Geometric and Higher Order Logic in Abstract Stone Duality, which was published in Theory and Applications of Categories in Dec 2000. For the past few months I have been working on (the category theory and) a lambda calculus for the monadic principle that underlies ASD. This was presented at the APPSEM workshop in Darmstadt in March. I was hoping to have it in a releasable state by now, but, as usual, the paper grew much too big, so I split it in two, so it lost its narrative structure. I hope to be able to release a draft of that later in the summer. The main job for the summer is to get working a prototype compiler that I started writing last summer, to translate from my comprehension-like lambda calculus into pure PROLOG. The reason for choosing PROLOG is that its semantics is (amongst existing programming languages) closest to the semantic ideas in ASD. Paul From rrosebru@mta.ca Thu Jun 14 16:13:42 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5EIjUN19773 for categories-list; Thu, 14 Jun 2001 15:45:30 -0300 (ADT) Message-Id: <200106141845.f5EIjUN19773@mailserv.mta.ca> X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Originating-IP: [165.121.118.247] From: "Bill Halchin" To: categories@mta.ca Subject: categories: J. Lambek Notes Date: Thu, 14 Jun 2001 07:11:38 Mime-Version: 1.0 Content-Type: text Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 25 Hello, Can anybody tell how I can get the notes for Lambek's course 189-328B at McGill? Thanks and regards, Bill Halchin From rrosebru@mta.ca Fri Jun 15 14:39:39 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5FH73s17820 for categories-list; Fri, 15 Jun 2001 14:07:03 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-ID: <3B292B1A.5030706@cmu.edu> Date: Thu, 14 Jun 2001 16:22:34 -0500 From: Steve Awodey User-Agent: Mozilla/5.0 (X11; U; Linux 2.2.13 i686; en-US; 0.8.1) Gecko/20010421 X-Accept-Language: en MIME-Version: 1.0 To: categories@mta.ca Subject: categories: preprint: Propositions as [Types] Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 26 Dear Colleagues, This is to announce that the Mittag-Leffler technical report listed below is available at the addresses given. Best regards, Steve Awodey http://andrej.com/brackets or http://www.ml.kva.se/preprints/meta/AwodeyTue_Jun_12_10_31_49.rdf.html ******************************************************************************************************* Propositions as [Types] Steve Awodey , Andrej Bauer Abstract: Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance. Indeed, semantically, the notion of a support is sometimes used as surrogate proposition asserting inhabitation of an indexed family. We give rules for bracket types in dependent type theory and provide complete semantics using regular categories. We show that dependent type theory with the unit type, strong extensional equality types, strong dependent sums, and bracket types is the internal type theory of regular categories, in the same way that the usual dependent type theory with dependent sums and products is the internal type theory of locally cartesian closed categories. We also show how to interpret first-order logic in type theory with brackets, and we make use of the translation to compare type theory with logic. Specifically, we show that the propositions-as-types interpretation is complete with respect to a certain fragment of intuitionistic first-order logic. As a consequence, a modified double-negation translation into type theory (without bracket types) is complete for all of classical first-order logic. From rrosebru@mta.ca Sun Jun 17 14:39:01 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5HH9XP24970 for categories-list; Sun, 17 Jun 2001 14:09:33 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Organisation: Faculty of Science, University of Amsterdam, The Netherlands X-URL: http://www.science.uva.nl/ Date: Thu, 14 Jun 2001 13:05:42 +0200 From: Methods for Modalities To: Methods for Modalities Subject: categories: Call for Submissions M4M-2 Message-ID: <20010614130511.A9297@wins.uva.nl> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 27 ======================================================================= We apologize if you receive this more than once. ======================================================================= CALL FOR SUBMISSIONS METHODS FOR MODALITIES 2 (M4M-1) Institute for Logic, Language and Computation University of Amsterdam November 29-30, 2001 www.science.uva.nl/~m4m DEADLINE: October 12, 2001 THEME The workshop Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and reasoning methods for modal logic broadly conceived, including description logic, hybrid logics, feature logic, temporal logic, etc. SPECIAL FEATURES To stimulate interaction and transfer of expertise, M4M will be centered around a number of long presentations by leading researchers; these presentations aim to provide both the general background and inside information in a number of key areas. To complement these, we are inviting submissions of short, focussed presentations aimed at highlighting new developments, and submissions of system demonstrations. M4M-2 is the second installment of this bi-anual workshop series. SUBMISSIONS We invite two kinds of submissions: research papers on proof tools and reasoning methods for modal logic as well as their applications; and system descriptions. Research papers need not be original; they can be up to 10 A4 size pages, and system descriptions can be up to 4 A4 size pages. System descriptions should focus on actual implementations, explaining system architecture issues and specific implementation techniques. Every system description should be accompanied by a system demo at M4M. The primary means of submission will be electronic, in PostScript format. Submissions should be sent to m4m@science.uva.nl. PROGRAM COMMITTEE The program committee for M4M consists of Carlos Areces (ILLC, The Netherlands), Stephane Demri (LSV, ENS de Cachan and Lab. LEIBNIZ, France), Joseph Halpern (Cornell University, USA), Ian Horrocks (University of Manchester, United Kingdom) [to be confirmed], Joost-Pieter Katoen (University of Twente, The Netherlands), Maarten de Rijke (ILLC, The Netherlands), Holger Schlingloff (University of Bremen, Germany), Renate Schmidt (University of Manchester, United Kingdom). IMPORTANT DATES * Deadline for submissions: October 12, 2001 * Notification: November 5, 2001 * Workshop dates: November 29-30, 2001 FURTER INFORMATION Please visit www.science.uva.nl/~m4m for further information about M4M. -- M4M: Methods for Modalities www.science.uva.nl/~m4m From rrosebru@mta.ca Sun Jun 17 14:39:09 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5HHHt932304 for categories-list; Sun, 17 Jun 2001 14:17:55 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 15 Jun 2001 10:33:32 -0400 (EDT) From: Susan Niefield To: Subject: categories: Union College Conference Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 28 UNION COLLEGE MATHEMATICS CONFERENCE Saturday and Sunday Schenectady September 29-30, 2001 New York This is a preliminary announcement for the tenth Union College Mathematics Conference. This year the conference topics are category theory and algebraic topology. In addition to plenary lectures, of interest to the entire Conference audience, there will also be shorter contributed talks in parallel sessions. Anyone interested in giving such a talk should contact one of the organizers. The meeting will begin with an evening reception on Friday, September 28, and end on Sunday afternoon. A more detailed notice will be mailed later this summer. Information will also be available at the Union College Mathematics Department website (www.math.union.edu) in July. We have included information about hotels at the end of this message in case you wish to make reservations early. Union College is centrally located in New York's capital district about 10 miles from the Albany International Airport, easily accessible by train from NYC, and just 3 to 4 hours by car from NYC, Boston, and Montreal. We hope to see you in September! ORGANIZERS Category Theory Susan Niefield niefiels@union.edu Kimmo Rosenthal rosenthk@union.edu Algebraic Topology Brenda Johnson johnsonb@union.edu Kathryn Lesh klesh@member.ams.org ACCOMMODATIONS The following hotels are within easy walking distance of campus and have agreed to set aside rooms for the conference. Although last minute accommodations may be possible, please try to book your room before 9/14/01. To obtain the rates listed below, mention the UNION COLLEGE MATHEMATICS CONFERENCE when you call to make reservation. Holiday Inn 100 Nott Terrace (518) 393-4141 Union College Rate: $78 Amenities: Dining Room, Pool, Fitness Room, Wheelchair Accessible Ramada Inn 450 Nott Street (518) 370-7151 Union College Rate: $73 Amenities: Dining Room, Pool, Fitness Room, Wheelchair Accessible Days Inn 167 Nott Terrace (518) 370-3297 Union College Rate: $64 Amenities: Wheelchair Accessible From rrosebru@mta.ca Sun Jun 17 14:39:09 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5HHCio15941 for categories-list; Sun, 17 Jun 2001 14:12:44 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-URL: http://www.science.uva.nl/ Message-Id: <200106142123.f5ELNet02543@turing.wins.uva.nl> From: mdr@science.uva.nl (Maarten de Rijke) X-Organisation: Faculty of Science University of Amsterdam The Netherlands X-Address: See http://www.science.uva.nl/location Subject: categories: jobs: Postdoc Positions in Amsterdam To: mdr@science.uva.nl Date: Thu, 14 Jun 2001 23:23:40 +0200 (MET DST) X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 29 [Apologies for multiple copies] Two Postdoc Positions in the Computational and Applied Logic Group ------------------------------------------------------------------ Institute for Logic, Language and Computation Universiteit van Amsterdam The Computational and Applied Logic Group at the University of Amsterdam is searching for highly motivated candidates with a PhD in computer science, computational linguistics, or a related discipline, for two postdoc positions, one in each of the following research areas: o computational logic (with an emphasis on implementation and evaluation of automated reasoning systems) o natural language processing (with an emphasis on logic-based approaches to information retrieval tasks such as question-answering, navigation, and summarization) Applicants should have a demonstrated capacity or potential to conduct research in computational logic and/or natural language processing. Desirable criteria for both positions are: relevant industrial experience; a record of project-based work; ability to supervise and inspire PhD students. These positions are funded by the Netherlands Organization for Scientific Research and the University of Amsterdam, as part of the `Pionier' project `Computing with Meaning.' This is an interdisciplinary project aimed at identifying and using meaningful information in natural language texts. The project will experiment with computational logic architectures that can handle linguistic information structures at various levels of detail; this involves new systems of flexible logics and algorithms, suitably combined. The project has a generous equipment and travel budget. Please consult http://www.science.uva.nl/~mdr/Projects/ComputingwithMeaning/ for more information about the project. Both positions are renewable for up to four years. While both positions are research positions, candidates are expected to play an active role in supervising PhD students. In addition, candidates may be asked to assist with courses related to their research areas. The salary will be between 5416 Guilders and 7128 Guilders, gross per month. Knowledge of Dutch is not a prerequisite, and candidates can be of any nationality. The starting date should be between September 1, 2001 and January 1, 2002. Anyone interested in these positions is invited to contact Maarten de Rijke at mdr@science.uva.nl. Applicants should submit a full resume including a list of publications, a statement of research interests, and the names and email addresses of at least three references to the same address by July 15, 2001. Research interests within the Computational and Applied Logic group range from automated reasoning, constraint programming, satisfability checking, and formal verification to digital libraries, information retrieval, computational semantics, and knowledge engineering. The group is strongly internationally oriented, and currently consists of 15 people; it is expected to grow substantially over the next year. Further details on the group can be found at http://www.science.uva.nl/~mdr/CALG/. -- -- Maarten de Rijke | Computational and Applied Logic Group | ILLC U of Amsterdam | Plantage Muidergracht 24 | 1018 TV Amsterdam | NL Phone: +31 20 525 6511 / +31 6 28 194 881 | Fax: +31 20 525 5101 E-mail: mdr@science.uva.nl | URL: http://www.science.uva.nl/~mdr/ From rrosebru@mta.ca Sun Jun 17 14:49:06 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5HHEGe30400 for categories-list; Sun, 17 Jun 2001 14:14:16 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 15 Jun 2001 15:20:44 +0200 (MET DST) From: Catherine Piliere Message-Id: <200106151320.PAA28789@lorraine.loria.fr> To: categories@mta.ca X-Mailer: Perl Mail::Sender 0.7.01 Jan Krynicky http://jenda.krynicky.cz/ X-Mailer: mailliste Subject: categories: LACL 2001: Last Call for Participation - Program Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 30 *********************************************************************** *** Last Call for Participation - Program *** LACL 2001 4th International Conference on LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS June 27 -- 29, 2001 Le Croisic (on the ocean coast, nearby Nantes), France http://www.irisa.fr/LACL2001 --- Please accept our apologies for multiple copies --- --- Thank you in advance to circulate among interested people --- ************************************************************************** *** Practical information, schedule, on-line registration: http://www.irisa.fr/LACL2001 http://www.irisa.fr/manifestations/2001/LACL2001 *** Contact: Christele Soulas csoulas@irisa.fr Elisabeth Lebret lebret@irisa.fr *************************************************************************** -- LACL 2001 PROGRAM -- *************************************************************************** --- Invited speakers ----------------------------- Geoffrey K. PULLUM, Barbara C. SCHOLZ : On the distinction between Model-theoretic and Generative-enumerative syntactic frameworks Michael MOORTGAT : Structural Reasoning in Categorial Learning Mark STEEDMAN : Reconciling Type-Logical and Combinatory Extensions of Categorial Grammar --- Contributed papers ------------------------- M. A. ALONSO, E. DE LA CLERGERIE, M. VILARES : A formal definition of Bottom-up Embedded Push-Down Automata and their tabulation technique D. BARGELLI, J. LAMBEK : An algebraic Approach to French Sentence Structure P. BOTTONI, B. MEYER, K. MARRIOTT, F. PARISI PRESICCE : Deductive Parsing of Visual Languages W. BUSZKOWSKI : Lambek Grammars based on Pregroups C. CASADIO, J. LAMBEK : An Algebraic Analysis of Clitic Pronouns in Italian C. COSTA FLORENCIO : Consistent Identification in the Limit of any of the Classes k-Valued is NP-hard A.DIKOVSKY : Polarized Non-projective Dependency Grammars A. FORET : Mixing Deduction and Substitution in Lambek Categorial Grammars, some investigations C. FOX, S. LAPPIN : Framework for the Hyperintensional Semantics of Natural Language with Two Implementations H. HARKEMA : A Characterization of Minimalist Languages T. LAGER, J. NIVRE : Part of Speech Tagging from a Logical Point of View J. MICHAELIS : Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars E. STABLER : Recognizing Head Movement J. VILLADSEN : Combinators for Paraconsistent Attitudes J. VILLANEAU, J.-Y. ANTOINE, O. RIDOUX : Combining Syntax and Semantical Knowledge for Semantic Analysis of Spoken Language R. ZUBER : Atomicity of Some Categorially Polyvalent Modifiers --- Panel discussion : Logic in Contemporary Linguistics and Computational Linguistics ************************************************************************ *** Organizers: IRISA (INRIA, CNRS, Université de Rennes 1, INSA) IRIN (Université de Nantes) *** Sponsors: France Telecom R&D Xerox Loire Atlantique Pays de la Loire Ville de Nantes Université de Rennes 1 Université de Nantes *** Book and journal exhibition: Elsevier Hermes Kluwer Lincom Europa MIT Press Springer-Verlag World Scientific Publishing Company *** Other events in computational linguistics in France, early July: 2-5 july, Tours, TALN & RECITAL 2001: http://www.li.univ-tours.fr/taln-recital-2001/ 6-11 july, Toulouse, ACL 2001: http://www.irit.fr/ACTIVITES/EQ_ILPL/aclWeb/acl2001.html *************************************************************************** From rrosebru@mta.ca Mon Jun 18 12:13:58 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5IEUhe12911 for categories-list; Mon, 18 Jun 2001 11:30:43 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-Id: <200106121323.f5CDNCv12754@pandora.cs.kun.nl> X-Mailer: exmh version 2.1.1 10/15/1999 To: categories@mta.ca Subject: categories: paperback announcement: Categorical Logic and Type Theory Mime-Version: 1.0 Content-Type: multipart/mixed ; boundary="==_Exmh_-17233775960" Date: Tue, 12 Jun 2001 15:22:46 +0200 From: Bart Jacobs Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 31 This is a multipart MIME message. --==_Exmh_-17233775960 Content-Type: text/plain; charset=us-ascii Dear Colleague, I am happy to announce that Elsevier has now published a paperback version of my book B. Jacobs, Categorical Logic and Type Theory Studies in Logic and the Foundations of Mathematics 141, North Holland, Elsevier, 1999. 780 pages. The regular price of the paperback is NLG 150 / Euro 68.07 / US$ 74 Elsevier now offers a discount of 25% for this paperback if you order before 31 july 2001, using the attached form. In that case the price is: NLG 112.50 / Euro 51 / US$ 55.50. If you wish to use this special offer, please fill in the form, and send it in time to Andy Deelen at Elsevier (precise address at bottom of the form). Do not send it to me. The book gives a survey of categorical logic and type theory starting from the unifying concept of a fibration. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. It contains the following chapters. Prospectus Introduction to fibred category theory Simple type theory Equational Logic First order predicate logic Higher order predicate logic The effective topos Internal category theory Polymorphic type theory Advanced fibred category theory First order dependent type theory Higher order dependent type theory References Notation index Subject index More information can be obtained from the authors webpage: http://www.cs.kun.nl/~bart/CLT/bookinfo.html Bart Jacobs, Dep. Comp. Sci., Univ. Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands. Email: bart@cs.kun.nl PS. Please pass this information on to your institute's librarian. --==_Exmh_-17233775960 Content-Type: application/msword ; name="Jacobsflyer.doc" Content-Description: Jacobsflyer.doc Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="Jacobsflyer.doc" 0M8R4KGxGuEAAAAAAAAAAAAAAAAAAAAAPgADAP7/CQAGAAAAAAAAAAAAAAABAAAAWgAAAAAA AAAAEAAAXAAAAAEAAAD+////AAAAAFkAAAD///////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// ///////////////////////////////////spcEAcQAJCAAAABK/AAAAAAAAEAAAAAAABAAA nREAAA4AYmpianQrdCsAAAAAAAAAAAAAAAAAAAAAAAAJBBYA33oAABZBAQAWQQEA9gkAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAwAAAAAAAAD//w8AAAAAAAAAAAD//w8AAAAAAAAAAAD//w8A AAAAAAAAAAAAAAAAAAAAAF0AAAAAALAEAAAAAAAAsAQAALAEAAAAAAAAsAQAAAAAAAAkBQAA AAAAACQFAAAAAAAAJAUAABQAAAAAAAAAAAAAADgFAAAAAAAAOAUAAAAAAAA4BQAAAAAAADgF AAAAAAAAOAUAAAwAAABEBQAAHAAAADgFAAAAAAAAhhAAAGgBAABsBQAAAAAAAGwFAAAAAAAA bAUAAAAAAABsBQAAAAAAAGwFAAAAAAAAAQkAAAAAAAABCQAAAAAAAAEJAAAAAAAADxAAAAIA AAAREAAAAAAAABEQAAAAAAAAERAAAAAAAAAREAAAAAAAABEQAAAAAAAAERAAACQAAADuEQAA 9AEAAOITAACoAAAANRAAAFEAAAAAAAAAAAAAAAAAAAAAAAAAJAUAAAAAAAABCQAAAAAAAAAA AAAAAAAAAAAAAAAAAACjCAAAXgAAAAEJAAAAAAAAAQkAAAAAAAABCQAAAAAAADUQAAAAAAAA mQkAAAAAAACwBAAAAAAAALAEAAAAAAAAbAUAAAAAAAAAAAAAAAAAAGwFAAA3AwAAbAUAAAAA AACZCQAAAAAAAJkJAAAAAAAAmQkAAAAAAAABCQAAKAAAALAEAABSAAAAbAUAAAAAAAAkBQAA AAAAAGwFAAAAAAAADxAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAOAUAAAAAAAA4BQAAAAAAALAE AAAAAAAAsAQAAAAAAACwBAAAAAAAALAEAAAAAAAAAQkAAAAAAAAPEAAAAAAAAJkJAAB+BQAA mQkAAAAAAAAXDwAAHgAAAFUPAACyAAAAAgUAACIAAAAkBQAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADxAAAAAAAABsBQAA AAAAAGAFAAAMAAAAoF+WmEnywAE4BQAAAAAAADgFAAAAAAAAKQkAAHAAAAAHEAAACAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACA1DYXRlZ29yaWNhbCBMb2dpYyBhbmQgVHlwZSBU aGVvcnksIGJ5IEIuIEphY29icw0fHx8fHx8fHx8fHx8fHx8fHx8fH19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fDQ0IDQ0gU1BFQ0lBTCBPRkZFUiBQUklDRSB+IDI1 JSBPRkY6ICAgVVNEIDU1LjUwICh3YXMgVVMkIDc0KQ0JCQlOTEcgMTEyLjUwICh3YXMgMTUw KQ0gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEVVUk8gIDUxLjA1ICh3YXMg NjguMDcpDSgyMDAxLCBQYXBlcmJhY2ssIDc4MCBwYWdlcwkJCQkJDUlTQk46IDAtNDQ0LTUw ODUzLTggDQ1Gb3IgbW9yZSBpbmZvcm1hdGlvbiAsIHBsZWFzZSB2aXNpdDogICAgICAgICAg ICAgICAgIGh0dHA6Ly93d3cuZWxzZXZpZXIubmwvaW5jYS9wdWJsaWNhdGlvbnMvc3RvcmUv Ni8wLzEvNS8zLzkvaW5kZXguaHR0DQ0NU1BFQ0lBTCBESVNDT1VOVCBPUkRFUiBGT1JNACAA EyAgAFYAYQBsAGkAZAAgAHUAbgB0AGkAbAAgADMAMQBzAHQAIABKAHUAbAB5ACAAMgAwADAA MQANAA0AoSUgAFkARQBTACEAIABQAGwAZQBhAHMAZQAgAHMAZQBuAGQAIABtAGUAIABfAF8A XwBfAF8AXwAgAGMAbwBwAHkAKABpAGUAcwApACAAbwBmACAAQwBhAHQAZQBnAG8AcgBpAGMA YQBsACAATABvAGcAaQBjACAAYQBuAGQAIABUAHkAcABlACAAVABoAGUAbwByAHkALAAgACAA YgB5ACAAQgAuACAASgBhAGMAbwBiAHMAIAAoAEkAUwBCAE4AOgAgADAALQA0ADQANAAtADUA MAA4ADUAMwAtADgAKQAgAGEAdAAgAHQAaABlACAAUwBwAGUAYwBpAGEAbAAgAEQAaQBzAGMA bwB1AG4AdAAgAFAAcgBpAGMAZQAgAG8AZgAgAEUAVQBSAE8AIAA1ADEALgAwADUALwBOAEwA RwAgADEAMQAyAC4ANQAwAC8AVQBTAEQAIAA1ADUALgA1ADAADQANAE8AcgBkAGUAcgAgAHYA YQBsAHUAZQAgAHMAdQBiAC0AdABvAHQAYQBsACAARQBVAFIATwAvAE4ATABHAC8AVQBTAEQA XwBfAF8AXwBfAF8AXwBfAF8AXwBfAF9fX18NTm9uLVVLIEVVIChFdXJvcGVhbiBVbmlvbikg cmVzaWRlbnRzIG11c3QgZWl0aGVyOiBzdGF0ZSBWQVQgbnVtYmVyIGhlcmVfX19fX19fX19f X19fb3IgYWRkIFZBVCAob3IgeW91ciBjb3VudHJ5knMgZXF1aXZhbGVudCkgQCBfX19fX19f X19fXyUNVG90YWwgcGF5bWVudCBFVVJPL05MRy9VU0RfX19fX19fX19fX19fX19fXw0NTmFt ZSAoUGxlYXNlIFByaW50KV9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fDVBvc2l0aW9uX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fDU9yZ2FuaXphdGlvbl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDUFkZHJlc3NfX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX18NUmVnaW9uL1N0YXRlX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18NUG9zdC9aaXBDb2RlX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX0NvdW50cnlfX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX18NVGVsX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fRmF4 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX0VtYWlsX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX18NDQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAChJSAASQBmACAAeQBvAHUAIABkAG8AIABuAG8AdAAgAHcA aQBzAGgAIAB0AG8AIAByAGUAYwBlAGkAdgBlACAAaQBuAGYAbwByAG0AYQB0AGkAbwBuACAA cgBlAGcAYQByAGQAaQBuAGcAIABvAHUAcgAgAG8AdABoAGUAcgAgAHAAdQBiAGwAaQBjAGEA dABpAG8AbgBzACwAIABwAGwAZQBhAHMAZQAgAHQAaQBjAGsAIAB0AGgAaQBzACAAYgBvAHgA LgANAKElIABJAGYAIAB5AG8AdQAgAGQAbwAgAG4AbwB0ACAAdwBpAHMAaAAgAHQAbwAgAHIA ZQBjAGUAaQB2AGUAIABpAG4AZgBvAHIAbQBhAHQAaQBvAG4AIABmAHIAbwBtACAAbwB0AGgA ZQByACAAYwBvAG0AcABhAG4AaQBlAHMAIABvAHIAIAB0AGgAaQByAGQAIABwAGEAcgB0AGkA ZQBzACwAIABwAGwAZQBhAHMAZQAgAHQAaQBjAGsAIAB0AGgAaQBzACAAYgBvAHgALgANAA0A UABhAHkAbQBlAG4AdAAgAEQAZQB0AGEAaQBsAHMADQChJSAAUABsAGUAYQBzAGUAIABzAGUA bgBkACAAbQBlACAAYQAgAHAAcgBvACAAZgBvAHIAbQBhACAAaQBuAHYAbwBpAGMAZQANAKEl IABDAGgAZQBxAHUAZQAvAG0AbwBuAGUAeQAgAG8AcgBkAGUAcgAvAFUATgBFAFMAQwBPACAA YwBvAHUAcABvAG4AIABtAGEAZABlACAAcABhAHkAYQBiAGwAZQAgAHQAbwAgAEUAbABzAGUA dgBpAGUAcgAgAFMAYwBpAGUAbgBjAGUAIABlAG4AYwBsAG8AcwBlAGQALgANAKElIABJACAA dwBpAHMAaAAgAHQAbwAgAHAAYQB5ACAAYgB5ACAAYwByAGUAZABpAHQAIABjAGEAcgBkACAA KABhAGMAYwBlAHAAdABlAGQAIAB1AHAAIAB0AG8AIABhACAAbQBhAHgAaQBtAHUAbQAgAHYA YQBsAHUAZQAgAG8AZgAgAFUAUwAkADUALAAwADAAMAApAC4AIABZAG8AdQByACAAYwByAGUA ZABpAHQAIABjAGEAcgBkACAAdwBpAGwAbAAgAGIAZQAgAGQAZQBiAGkAdABlAGQAIABpAG4A YwBsAHUAZABpAG4AZwAgAFYAQQBUACAAdwBoAGUAbgAgAGEAcABwAGwAaQBjAGEAYgBsAGUA LgANAKElIABWAEkAUwBBACAAIAChJSAAQQBtAGUAcgBpAGMAYQBuACAARQB4AHAAcgBlAHMA cwAgACAAoSUgAE0AYQBzAHQAZXJDYXJkDQ1DYXJkTm8uX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX0V4cC5EYXRlX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f DVNpZ25hdHVyZV9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19EYXRlX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDQ0IU2ltcGx5IGNvbXBsZXRlIHRoZSBv cmRlciBmb3JtIGFuZCANRmF4IGJhY2sgKzMxIDIwLTQ4NS0yNjE2DQ1vciBwb3N0IHRvOiAN QW5keSBEZWVsZW4sIEVsc2V2aWVyIFNjaWVuY2UsIE1hdGhlbWF0aWNzICYgQ29tcHV0ZXIg U2NpZW5jZSBEZXBhcnRtZW50LCANUC5PLiBCb3ggIDEwMywgMTAwMCAgQUMgQW1zdGVyZGFt LCBUaGUgTmV0aGVybGFuZHMNDUVtYWlsOiBhLmRlZWxlbkBlbHNldmllci5ubA0gDQ0NDQ0A AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAEEAAACBAAA MQQAADIEAACjBAAApAQAAKUEAACmBAAApwQAAMkEAADgBAAA+AQAABsFAAAzBQAANAUAAE4F AABUBQAAagUAAI4FAADkBQAA5gUAAAgGAAA8BgAAPgYAAEAGAABEBgAApAcAAJwNAAC6DQAA rxAAALAQAACxEAAA7hAAAO8QAAD8EAAAexEAAJcRAACZEQAAnBEAAJ0RAAD18u7q6OXa7uXW 5e4A7tDl7uXMyQDow8G+AL4A6AC7tLDusOWsuwC7AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAHNgiBQ0oYAAc1CIFDSiAADQNqAAAAAENKFgBVCAEEQ0oSAAAEQ0oUAAADPioB CjUIgTYIgUNKGgAABENKFgAABzUIgUNKFgAKCWoBANPwQ0oYAAAHPioBQ0oYABUDagAAAABP SgIAUUoCAFUIAW1IAAQEQ0oYAAADNQiBBzUIgUNKNAAHNQiBQ0oYAARDSjYAABQDagAAAAA1 CIFDSjAAVQgBbUgABCgABAAAAgQAADIEAACjBAAApAQAAKYEAACnBAAA4AQAAPgEAAAzBQAA VAUAAGkFAABqBQAA5AUAAOUFAADmBQAAPgYAAEAGAACkBwAApgcAAAUIAACSCAAA/AAAAAAA AAAAAAAAAPoAAAAAAAAAAAAAAAD8AAAAAAAAAAAAAAAA/AAAAAAAAAAAAAAAAPoAAAAAAAAA AAAAAAD0AAAAAAAAAAAAAAAA8AAAAAAAAAAAAAAAAOoAAAAAAAAAAAAAAADfAAAAAAAAAAAA AAAA2QAAAAAAAAAAAAAAANkAAAAAAAAAAAAAAADTAAAAAAAAAAAAAAAAzgAAAAAAAAAAAAAA APoAAAAAAAAAAAAAAADMAAAAAAAAAAAAAAAAxwAAAAAAAAAAAAAAAMMAAAAAAAAAAAAAAAC9 AAAAAAAAAAAAAAAAtwAAAAAAAAAAAAAAALcAAAAAAAAAAAAAAAC3AAAAAAAAAAAAAAAAAAAA AAAABQAADoQ7Ag+ENwIABRAADoQ7Ag+ENwIAAxAAD4SKBQUQAAMkAQ+EAAAAAQ8ABQAAAyQB D4RACwAFAAAPhCgHEYTQAgAFAAAPhKAFEYTQAgsAAA6EBAARhPgJDcYIAAJ5GfYtwMAABQAA D4RoARGE+AkAAwMAD4QIBwAFAwAPhAAAEYT4CQABAAADAAADJAEAFQAEAAACBAAAMgQAAKME AACkBAAApgQAAKcEAADgBAAA+AQAADMFAABUBQAAaQUAAGoFAADkBQAA5QUAAOYFAAA+BgAA QAYAAKQHAACmBwAABQgAAJIIAAC+CAAAvwgAABQJAABoCQAAvAkAAA8KAABjCgAAtwoAAFwL AABdCwAAyAwAAJoNAACcDQAAvA0AAAYOAACiDgAAvA8AAAcQAAAIEAAAWxAAAK8QAACwEAAA 1RAAAO4QAADvEAAA/BAAAEcRAAB6EQAAexEAAJcRAACZEQAAnBEAAJ0RAAAAAAAAAPz8AAAA AAAAAPr4+PgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9gAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIBAQADAhAA AwIPAAUCAwAFAgA2kggAAL4IAAC/CAAAFAkAAGgJAAC8CQAADwoAAGMKAAC3CgAAXAsAAF0L AADIDAAAmg0AAJwNAAC8DQAABg4AAKIOAAC8DwAABxAAAAgQAABbEAAArxAAALAQAADVEAAA 7hAAAO8QAAD5AAAAAAAAAAAAAAAA8QAAAAAAAAAAAAAAAPkAAAAAAAAAAAAAAAD5AAAAAAAA AAAAAAAA+QAAAAAAAAAAAAAAAPkAAAAAAAAAAAAAAAD5AAAAAAAAAAAAAAAA+QAAAAAAAAAA AAAAAPkAAAAAAAAAAAAAAAD5AAAAAAAAAAAAAAAA+QAAAAAAAAAAAAAAAPkAAAAAAAAAAAAA AAD5AAAAAAAAAAAAAAAA+QAAAAAAAAAAAAAAAPkAAAAAAAAAAAAAAAD5AAAAAAAAAAAAAAAA +QAAAAAAAAAAAAAAAPkAAAAAAAAAAAAAAAD5AAAAAAAAAAAAAAAA+QAAAAAAAAAAAAAAAPkA AAAAAAAAAAAAAADtAAAAAAAAAAAAAAAA5AAAAAAAAAAAAAAAAOQAAAAAAAAAAAAAAADZAAAA AAAAAAAAAAAAAAAAAAALAAAOhAQAD4ShCw3GCAACGAZqCQAACQAAD4ShCw3GCAACGAZqCQAA AAMAAA6EOwIABwAADoQ7Ag+ENwIRhKAFAAUAAA6EOwIPhDcCABnvEAAA/BAAAEcRAAB6EQAA exEAAJcRAACZEQAAmhEAAJsRAACcEQAAnREAAPQAAAAAAAAAAAAAAAD0AAAAAAAAAAAAAAAA 9AAAAAAAAAAAAAAAAOkAAAAAAAAAAAAAAADpAAAAAAAAAAAAAAAA4wAAAAAAAAAAAAAAAOEA AAAAAAAAAAAAAADhAAAAAAAAAAAAAAAA4QAAAAAAAAAAAAAAAOMAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAQAAAAUAAA3GBQABagkAAAoAAA+EoQsNxgsAAxgGaglGEgAAAAsAAA6EBAAPhKELDcYI AAIYBmoJAAAACjIACTAAEjAAHFABAC9SIAAfsIIuILDGQSGw+QQisPkEI5A3AiSQAAAlsAAA F7CgBRiwoAUAbh7w0xEAANS+IODWeuihXt9qvu3nnQj/iVBORw0KGgoAAAANSUhEUgAAAGQA AACXCAMAAADUOg7RAAAABGdBTUEAALGIlZj0pgAAAwBQTFRFAAAACAgIEBAQGBgYISEhKSkp MTExOTk5QkJCSkpKUlJSWlpaY2Nja2trc3Nze3t7hISEjIyMlJSUnJycpaWlra2ttbW1vb29 xsbGzs7O1tbW3t7e5+fn7+/v9/f3//////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////ZrMpdQAA Dm1JREFUeJy1W+eipCoMBnvvXcD3f8ubBFScsrp3z8mP3TMM+kF6AsO2K7UMKVbvY0ilHqjY SeKYln8cRWIvIGtbejApu44VLow5RbvogaUvHXpXUA/ncuYm42a0uyzyDQRIuueadxLw0tke mPBt3vVd29YQxtsbP4DofbfXsYSF1wHcb/76pMIn60cgtB4+XMYKll4nRTCneXsUmdA/AtGC di7sKa9i2rb4fbdAPowOb6OfQXBBzF2tseqVN8lHkOAvQGLimC/PsYc7+SsQLfzo1J5fASF2 WML+HRAVWiZugRTDD4JsEjXl0NIdJN91G0Ea9Up/C7KtpGPDBWRArZM7iOO+Ev9bkG3GR/h0 2Umx2w+BeK/09yC0bmMuh0xKY6M/IxP9F5qL2H5Lu8y6ESVUvwuypYiS/DKIQm/Lit8F2WRA 5vK7IMZcwt8F2WYdzx+BeI9B6pdQO/APINHHQIu77h6BpMy5ZghkLsF1zLk4aUPi4lT/BILs eVlj9boVRVHNWa7TVEE5zDXp+gAyFTExJ8wvu84uaciQhjqH43F2Rs8+N6NuUkj74TeQPtzp shkV22lSG550Lrv+OPoJ5BvJ8EMy9pRsECXFiiSkek0NASW2Y9g3UmIeurouiqKqu3GRVxAx VGmaw1cwI42CKKl6cUVS5Mbyd3jz9QpvCFGFOZAWDnOiVu4gsonDcrKEpZa+CJygGC4CJN2J 3nQHODBWiccdL86qdphmpKEtIjJirycQ1YbV8vYkJvOx48TNcq69xcfc8cqfvghdPym7Wb6+ QA6pQ0rJNhHlb1/vJNqIM78Y9wkzJhd8V1C1dnkUFx9efy60AM6NTPhvufmFFqxX3KzXL5I5 sjuYNgnVSJw28zcRHTQHLGIZe2fyldSIu3YSjTPSZkI3fgCg1+VhWvNgrmgC2IGTDWJGQaHe 1N959EIpZ5xlj1Y056QsTj1JWaOmes1DmChhkFnHyw2MQitK8hq0gPk1pEiyC+FPt7h7cCMp zkxCYOBRI75Ml2BjSRAVA0luymA7PMFqdCowQIHy/xFHth5oCQP/TIliWPSLPB9QUs5DnUWe E5aDpRqiwnf7FQypIfdxa3m3fmacHHPPb5W2+IUWhQz3wyTJijRJIh/SWu7G1fime6pDrvFk xBUtXYZAXpQ3/bxKSVm3lOvUV1nouJmuwLXvUlMZubvDwX2Biyi6r5yYqa73K13vianJY99B 9XN9JM+FP+K8PXT89MJyGdq6JPc5zN9EdEzuY5RO3B0bles8dk1dNd04L+K2WfCQyOWAjbbr rYr9f5ANXWgCfOOBrTNr/475TyAbahBIGMTpBjFEo6oo6g/7+lcQIrUMTZ5EUZJ3Hx3hj4Dc 0QtIl/wMFX8CKdkt8eienOAOJAb7D1PnG4j7gD/BHQifZB37Yn5BcXyHuXHh/wgI97AdMamt PxmU9g3kMmJeejVpkKk9iPRpPj8v9yC8U7sWmnaml09KeyFRDlBWEEh2bnEwHNipvQexU/eM OcxHZ7uyCKv3sceA/QMgdh6as8zToDz36QsJ+kAgxdnpIJDKOegBSLocNjtwZw50Yddrrz8l g2GX3bQhdHGQvAfh0Z65QxHXdwxymSnfc0bI4sTPqDA1bORagx9XoMaNdJhjzfB/BAS3qyIK k93UNJOa6siakQBIOW5/pjvtooW2u4FUVZ5FoV1q5u4mcr5sEhIlBf73EOHa1P2yLsMDkJU6 TZFl6klsKm79usoF/oHedoHvBLHPZ0ytojRLKRnxMvEARJejqeUPxyXRutDRhloXO8zuIHTe 4cFQnKDyiQ7A45HC+w2IVtnVO0B8803WDQGKa3SpI9BShwNbO5vgJhjOCSbmaLd3gtdMsdxj sxVRVJTloBMG4Qpt59RyYRVw62wtiHns+/EepNJ/jEcWloCEnHSXr5oi1UP+PM/6W1S8NJ4g j5isUuIOxDcd+n5HKbbCitzCgdeCg66M++TAQll4nh84LDyOEG5AHLHbQMO8OvYc93pSQRYP DAtiswaaLiFdJZUf1aOdnO9MQBxKvOTS2q2A0PeNksotcRozL4wDx68e+C7mTPvfK+fVW7qu QYpTxbU3WLqORCJaz5seuBX/kDGYpD9fvzcgg2VH2MGwJ0SeugcxbJ1z3/Hyt/peg6yWR3Cw BKiGZTU5sXTGe5CAdtLwsKX6XC3NZE2QBCLYG3HOI1IC5Qz3ICxYyEy8dhViqgJOLbvDBlwE UcE7CgKBV5EFBIt7EOYKqPWQC0Hgx5WH7mzVii21q9+2zyD4rMvrB4Jn2LaL8mERAmOrQKcx RVq2eamGdxBufyBVeQLCktPEq2Rbcq6d8+yyRKHOTnbtV8xtlnlc+zKWPvDCGsOqMUIv4KaT Sm3oEf00COsMOXTC4ge75y6fgXCzDwwSW+S0gXEDlGwlnv7SP0CwWdmCEzPG426DegCyJ3j1 tvhb1G+eOUimbteereyxgGNE67DhtMfTmg8PQHDdKOhkCVgCIjAZHhlHExgQ+NtpmyRCXlXY M1DbuO/tCQg4e4HvLaAcx6Z40JwgY+8eHxLzEKUdOMdEbf6AXZhl5cjokWULHsXFOsYr7Nko 6UJe0ooFJIyiQ0bWTMeVTSZVkaDPfGDx6Bqo9RyVlKIUWJzB9oYQh/2tdliT6RP/0isohu0J zQqPgkzvQRJ8jECE9lodKlQwYaYA643w6oGj+YPhcZ7DXVkqxx2FC0p8D9Lh4YidI9Y4VEKE RY+xpVrAtBEMjx71P1BZMPvgDnsCgik26sqmeUR27s70H12TCLcVG0M6dyL34kcTbbnOdnO8 BSnU6OL5LnCmRx8xgi9pkrLAnArGFhcbvuOoHY3MQZHVHrRGMh7IbO534pERixQ24ngRpN7Y 01XKGFB/zerXyoqd09LkJW7qiVtB1jfuKFXBSk+7PDQMOvhpf6R0YLwTfV56QRR4EKEaczbT kZFiwv0jIMwF1vqD2uQE+eRi8pEEVBv7TSWB5PFBJJDl/PzQC+9eYlsLqEC0CUgOehyU2xq+ Bi1dx5+f4+cgx3WSPKSlNjA0+8tqqt9/BPG6aQb/sQ+M5gpRyPjWNSgZAqnyg2gN6/m5eQAS IU+bY1KmXa3Al3cFbuhHBI+uLjeTui3V6d3gpO428xZyoR8AcTrcfqjXP/A9A21dCXHe9wP3 J0B0y23VUT44jvw6B/V3xKtfLvbY/w3EPkmcWbR3Yhem35sRyOi/n1Qf9CAlsrtELfOX3hyc mtcuqMJzxkFP+7lr5rnBrat5muY+8gOs+8U9CD+OfJelZDySJj2qzIl1CiAQqryRTIXTbTUV e3nblXhozOlc8b5zt/O78LHU2X2scDR6hHkVZVemawFOt9H2CioIsTtHzbkD2VMQcFZ0EKfO b7ByCfROmGfah2i12d4kW+sk9H3wZncgaIvEIlN57kLC+4OQTLcAUoToPMrD/9R2WquUvK+0 yPVUnb7uAKbp7iVQTTmJclxQZhdSGuO+Wqz7/LIfx7g50vRbmXRqmyMua/2OvKv2JSLquFEb KcZjUE2oEKpLA4y83n7icO+F/TSLmSkEmL8dy+soXaLwCyvY63idfy/LTJmwOR166OoPskK4 jxmoRJDFmkBv7UDgaTP0VeSk6zOQYl27LPDTKnXsKxkdaSzliu4JYnJY4xvU5LvrExAtBWqT isZyICBvNmxklfEJElZlY5/hyfBJmvr9IkSBIORCreazNpcgq2pzTtsFD/Kurxh4tXbaqJmS s0/k4cnllj0AebmJu1hZseJQCtNO5o8goF1lVz5JU73rSGp3PkIQ13GL8As5zYPeyvUSgLpM RxUi7bIvWPP4UtU/ONpgL1en+vg6AdJX/LdIzxdD5F+XjqVGretHIKdlCLX61ztOMjWKoaZz 7RVtrZtMA+FBo9O+ZYOHzpeOOd72MNrXHRioCSMHj2NabeVY3oOcnSdsCNg3k6n+MCAoFWx1 HHV8StGA0T3Pv1FhXJr1pb6x5p7LaeXSo2+jy17z6fni2x4kPmUEIXwbRGjJGpBMN8b0S5ju RcqA02aaO5C8zYDfJtBDfn3ZpQZZ4iCF5Jji4YzM9XZJilqu4NbmB4Kv+aFhlfV9sIPIhjml DgINujoKZyTJAcIJaMSTBg4Kz1jkys5k0d1BTLto04bvDdQwwgdArd0WgtfToGXyB2HZf3WA 0K01tNkl0WNBhK1UsZ9VPAGJ8OcSWqi17WTmusgw79rmMPZcmkAoWSFI0YXQHPUesMuV2+SY yFW+ndfTwZlUatcs17HiTxxy5uT3eRerUIRjpF9CZeho30gIXuKNvLS3lZif9OoT+6P0Yzzp sa3e+YkiyFqYLFxU/5ars/e88R8A8bbjQGd0tXz8bCvjYb+Ok/07SMN6b2cOxHFnWMCAS8xN uK4dhPS3ewquUegFpGf8+A1Owdxl0TfH0DPq7lSXWCDTYJF9COJc7/G9gKxY1ciYjGNgId5k a+U40zEaSetiApeway1+fvk1zasduMyXivtVntBvi4JCLxD8B9cTxAOQgl0r11eQHO9sUoib Yvx1wB4YSxNnpsl62RcQ6bwkBm/3hdHkw/1Bt9q1YDEXmiduyUTflzV0+p+SvZxyv7mNy+q6 o6OqzGGSureTmUcvI28gow0iZsjrp8v3t4f+wuOvJ2HvF5YSC6RPWXY9n5N3O5Hh+yX1dxBh 1R4e5+ryZevd9FZW//Vu/EcQ62xZhygoo2L8xR0GjZX/GaR3TF/0DsT6aSHDvIsSHjdNOB7p /7EVNSefbtV/uUTWn2f+LJpeapHPIGqBepEu+T4F2VTjs290gIh56Nu6KvIkCkiOumP/GGTD u6fh5yteCDJXiX85+HP9qOi/dsH+eOdOrVPf9/MsyJrF1KDPd2XlMR5V/Xx3m/kZyDutCZ6d OeXj9/8fEMoZk7+D+D9XFJvifs4L/QdpjEsVIfVFWwAAAABJRU5ErkJgggBuHvAxFwAACWMP rMDv6AE9gdDbv92bY/+JUE5HDQoaCgAAAA1JSERSAAAAZAAAAHkIAwAAAPh0dCMAAAAEZ0FN QQAAsYiVmPSmAAADAFBMVEUAAAAAAAgICAgICBAQEBAQEBgYGBgYGCEhISEhISkpKSkpKTEx MTExMTk5OTk5OUJCQkJCQkpKSkpKSlJSUlJSUlpaWlpaWmNjY2NjY2tra2tra3Nzc3Nzc3t7 e3t7e4SEhISEhIyMjIyMjJSUlJSUlJycnJycnKWlpaWlpa2tra2trbW1tbW1tb29vb3GxsbG xs7Ozs7OztbW1tbW1t7e3t7e3ufn5+fv7+/v7/f39/f/YwD/Ywj/awj/axD/cxD/cxj/cyH/ eyH/eyn/hCn/hDH/hDn/jDn/jEL/jEr/lEr/lFL/nFL/nFr/nGP/pWP/pWv/pXP/rXP/rXv/ tXv/tYT/tYz/vYz/vZT/xpz/xqX/zqX/zq3/zrX/1rX/1r3/3sb/3s7/587/59b/597/797/ 7+f/9+f/9+//9/f///f///////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////9F6sMYAAATy0lEQVR4nO2Z/3PWOJKHhXEc Y4xQhKIIIYQwGo/H47PP5/Xa5XegCFRSgVQyYShYSMEEJpBK0P//+7Xf9yUJJNns7NVdXW2t mMrr74+l7v50twe5/4OB/g35N+RfFzJUWV+7rofNonIOfm3jhsHp6dnmfwBJhzkht0oqzWzO C2d5VbRMZ5IUfZSK1pVWETX0qXMZ60qbNMp2SQ3kKbpz7d+BCNXq1A1i6ItaGO3jKEzFskyM EDLW2lP8XrOIfspsdD0t4B/XjeQqSypnkxUiG5cp13ROtri/ANL2rsYYKzdEmWN6cAXBC0KQ 6xZ5jMiQMKtJgI1PiC5TkWU5801IiImta4YkXsitM3ool2ql0mR8Yn8GEsHb1pyKsGwYG0p1 x2Hs+ZgR4nsPZCSMUk0f+zGlvmxdK1jcqCRCgUxp1scl40rQSsrKyfuY3eeZkcvpGchgOQ1j EpAqjK7DAkV9SnOMEOKx7QYR1ZpoThHX1BMqwYIZEynPE6G2KaONwrEm0uD4zi28GGCSV4k6 u1w1ZXEWZqpwXPFYR1JlKkSeF2HipwVLWxVqFUVhQcJgxTep1d6CirxA8SXl8YRhXttbg9Da kDAymYzKszZpQ5lUBIO7rGQmvh/BcogijDgKlpiH4LbE9KblprXiLnYZ/tnGvoxglndDhmO8 osAZMcsIixqeE6FMxbozkAGsxEQ7WKFDSXmsbDa4UpBQwogCmSSGGRcL19wsl0RGfbzghUaw yqxIwZtQwGIt0UAXWifcx3nam+x7yBgdLXh3ZwMvMF7OWJPotKy0h5HWVEQJHBo6jLXmQuo8 AgtSeicyQaQLXGoRMMPTmBMGlkIhVrFS5ntIJzonulaHkWSRyyIVh1kaiRisshAlKfZVyFg5 FDH1OKZKmAc8IWoZxzxXd+LAUEysT1XLFb7payMjw8Pme4gzNjO8EnLobdKn5bLquxVtcUys qzlCXiCagjQCC2ruE6NaQ51ENBNLLvP9SpSShyGOZSjZ4u3E1aG5m59jeJ34EGZWZIo6o3Jl 65CmJLC4lJJEHMtEwtti/pdOUjWAR6vugcVhQig3OqsZOHVO/NhjDdeOcx31ZyGuZT7WUoSB 4IkwsScTkfRe5sC2yTWwgxFlgBTGyY++xZlhieCwKmpZRWDoBHwFRVc9FFUsWS76OBW2Hc5A Og3B1ktbhVxnJPSCW9wIrqUlRoOk1Fy3IvMCghA4kg5iTdvIKElMhHWRhcgPqRE5iQjxwj7z 0CINWf49pFG67ix4qmfSVIShVxIaXVWSEt8XFU6o7PM7hlGa39e9wiRphM4U2BmHTIHC3eMq vJmB67GgamImY36ixKdVuJeq6hrhUXh7jGJueBCQyPdirMLEi/S93JJM3qNZUSriDNdGK2ks B7KQHb0OjkYCxXJ1VwvBF8+zCQgLKdUNLq4HDFTPt57gVl8hTe6HAofkSmIHWFLT9xRm4Dl2 VQlyIwpwwYhWSHdCeFJ6i0pakDYr+XAuBELSRGEIYseoiKVcDH/gJuViSSjJQBLBzwtMsL3j 4wCntM48+VMhascjnjJpb+WC82uIgi7qiotIcX0ehAYrSZFgIttM0JAI4t+GeLAZ9zWvEpkN nOSxTThkSFk2WKZJ7DTsk4QxXGmn1WLIZJ2lHFTPM/nwHaS8yWQf095l4DqpGDowIc102guC xA8tJEdnM3ZDxSbKdKcF1SEBE1nXKuaXzI8VZtrc0SiuexFhk0FKSM4s1w8UdI4bLAuufjIp hHkYa5ZLu7IEAgwLrpS/4lOpuOhw5CVBVFLQEmOE5wspmkykKdURGK1JUAhemWftGQgECmSL lZ8VoYlQQtUZDTMieZByThtegr4ITGipLEqCUGIQQS8WS9ILF/IHSltIOLdC4VkR8wWWZva+ Nez75XIuB2eJFGSKgEBKJ72DdGeSAZaFWIVluVj1YtEyRsRijgkCket7ZkCylNVFA/EkuIK4 idEC5EUaQcSdzScWL8fZILhUvqEiE8zhkGruIGXDGsgyoVFGeUljlCyH1EOtkrItQKxgMW8L SWKdQIbhD/okkJlrEDXlWVmxth4MSWLIIFcgpdzHXKxEwh+ECDCylAYyVE7QVqS8BxXxMGUi 4qbLNCYxE+JmEDDI8pQ56vlldlc1t2g2nHXhJIO3o6B7NiaJ1L5qo2UlonhJLKXMjzKPEkNR pzKJUEYUjQjoD/LIctM0VUTHAoMVucZTNaU+S5qzkP4GbzRLPKqp1fi6F4ScRkxLHIbRVRIg vBIug37ksIhB3EVXUUT8Re5HsTCNLliorxLRQ0GDcRAnt3DE1Nf8e7q4uzv0NwsdUaaWnfUx JTKGMmQZq2BhAUojlLWEpmVgQuYFSx5aQD5vDAvB0sENFdG7PhRShZOxD1WSJF5B/eaciHeu UncYJGiR4TuCdX+BpetshJEPCFifZtB+fEV5sYfQNYRt3uSdphEXSRDXpA6JSeKkTq9JK8cE WFXnQ0rwvNsmj8scg2IpmSWQDKl2fSVIpq7VLg/g1WEaaDk0dSUaUnDC62G56GwpGGGlGzRf MTwSydLS2WCcLVk9MNW11wu9xBSmXV+zO0olSdrDJE3N7naF7+EAitMbZsh002hbmapzQYn7 BpNFKQqbFto6agwh50J+EkVbqqwrpe0TOqguTatUtz8ryIpjfVOUGXlQhb6HKhW0RVEWbW2r HLyyrK6GUGNmcJU1AzfQPdjs3rmQQJFMlEKVWZphleW6ok0bu9TGg/FGCpRuKoPqxO8XYpFn 2GYtJ50rWSiz4objY2HVwvOhZWrpSZd0GtKiUkV5NMTQcTR9ZUVFNdRySS1YrwOvHqfaDATC PEjRsnYGK5rXtR5YnOOaR/D6/K9fH1ZodwFEhbTi2ZKO4QrI8Zpl8oEBUJrbAI3KXVhtWGmi 6zrQNdSsCvFcOOlX3EfSnXQkY7d1PmTwQig2uIAGjkEWNIWRNIhCHOg2lxEaOwGQ4jxWCIlc g1ezetSUehBMhYHv1+6CcQrSmIwEcez1lZK6LItEYBoiEGHGk8EpH9Jvh9MBCqsQUVsBI4Lk 2PY95/l/8QCh9HJIK2qYIuSqUXC6Ii/6kiuvTENQv1HTGEBcmkADOpQIp+VdRHtPQhNCeUqu GgMzay+F3CC569r02nHSdA8K5PWup7GCdQMHGMBfHkhpXYeCm7cGtaQRqFPt3U38xbhPELKX QlCWLic2rcbtnNICNCaJUQy/BurF5C6DZrRqvBga0nwxziwEkEAQb1DcZ+iGcD9D43cpJMy8 fsiSsXX5KwYVBQfL7yxCjde4+k4U6842ZZwaqHYyZa5Dn6/SGKEi92+J7CYdHQ1Fl0IER8aU VWHlYOnQc2HHcs+jHnZdlhoVkesqoDo2dKU1JUl47hhY+wqCvreQbR8iFPSXQSASfCtXjIRG LqiL4TYzQ0/CwUOd4Qk2eWKsvK2ZzLJOycK/YYccedC5QmVWG5cCI7zAiU+5sPYinwxQRd5y CveuowpH+FYGecQoneFWitgWS6Q0vah+oNFA5QMPlhNlUcKUi6F5DapLIa4vmGdBqm/NdjtI jLH0fNXre7YOcpx6vo2BBw4F+WSgcRT4mIWWwMNzaMZoXJ7L+FYg+zYKe62OnXgYLBJ1gksH +RjCYhGSVyJyV6Jw6SfX82VTcygWVdDXVz3fv4KSs4DvIQWBCL9lTpXj7pYHpUklXROVUIlB B7Rood8sPDqerMa46JSBLt5DgQ8pml4O4cyG3u30tIswZMJs/rFrlO8IUmXnbiOR1LNXGSSK GJSTKAAnQOElkIHjIMTIfHu6monr8UWFvlcmKUFeI9nUytIGV6H6H+sM8LSFSyA5YrdveGr4 7vzwrev/WHZQWHMvT22YQkLPrkLtYEd1RCGQLoPUaACRDbrzL/s6dE+IijUecpo6SLY1NNmj 7ENGhmC8FFIEpeskvuTLooJYt9AQprQ30HeBHa8jXGRBhKbjEkh5bywVuovE+mTUAU9NHFKq OmC41veI4jOEdxlksHcvWan5yDNjjN9dQXk2bdPLlmX6ymgQWLDLlusfHVlVKxI777qhKhnn UkttAgTtWxxcJMN/GmKrAQrdxPNIbfLRi6GMT5AX9f31CAT7n4KcWcOsgkTtIy+UTSc1eHwb 0eJqSJ0lsf9PQYZS9kn/7ZEKQjL0mjo0Jp0GagTiRSInGfmnZtLLMMan4rNTzqrWDSoocpd1 vR3n2aFCLiqUCYH/vE3azJIrsRfdxMdfx5K6SSnMJA3lCbnQXUJaD/0j2vX9qFJMogCC4FSO KBu1yMGjMszq48okT52AetkfPyGr8570dyAyiMNrlMd3TsdnS4SFeVXUUyK8UY3/C8LlhSMB 1CFjpFxQE10ISaAZX7oSqWtBfvrwg/z++J3HiwJiUwf/ubx0YeC6cFyv4s9BbF36PFIUBfgb Za4SnrZQDnhobENjLvO8GrzYDfEIaUtznjBdAKmF4ZyyO8zX9bFm9r1uhpp00gooTQwRJM6L Lu8bqPE6UHvPz+TXuOpPK+0FkC4KwnhFEBPPp9EkZQe1YynjkOQlKIiPIt9HYQjBWYLBx9oC BdDnTz/R5yzShtaXQJziETTiyEwjsba1zMaSAd5T1EMumi735sKLSG6gJM6ne9F1aImlavwF 6se2+ruQLh1s7JNI6KIvILChX3e5wAyWoBH9St4EsrNoPm4XV6FpKMZAEVewprpi5BpiSZIU F0GGIS/rFWZNOH7U/s8k8kPI6AzCPAxMP5gfib3SNAj5faOmDNK1o8rraD4zeDUc2CT5j7I6 861+RnCmaat+pe1bKBZCKHuhloI7Y9UDhDR9V5YM4X4QNxGPbBz6oe76arSGk8frh67iwEuU bbqz37sg/qAr5cn9n3jMXB8gwqikBGQPEgc4JnhyG7c9HTsEqEkhI/qg7R50eyRE1xwDL4i9 4MqcJBIvXrrZnoVwOwxl4GVtFieuukaK2gjOGJPlUCvOJVcmbaQfJj5Hoe2LEnIv8q6EEnML BXcULXm+h45HWLIzkB+pR+GJwcIVwjwEWzGmHgSdF8ehN31BKNspMwGIVARt/B0t2NguhFfD KLVylK7FMFiIxmLS88JbPj1WvRNIRgkMMf17akThOIJwMUR/cpw08n8i/Q5nRt/MRl39/PMP P5+MohqPnv8Z/X9t/B9Djr6O+ebX45/3/nBHh+7L19NfTk6Pe9PjZ24+Oh9ysPt4srW9vb22 7j6/fTjZ+X2O3t54vbP2bM/tv548gtNbqy/d7pPJ6i6c+/Lm4dO9jy8mj94e7G1PnsLZzYe/ u/cbk6dbz5/sHJ43E7c1GY9/2YI/Gw+/vsqr9S/wAqt7sPl4bTqx35zbmzyfnV3bh9eYPIOt /cmL8cDuO+feTd7CxmTjXMj2FOLG5208+jI/uL49/n07HlydQqbn1x4ejJv7m+Ncfxn/fppB Dj86936EuKeT/Yshn903kI2H47odfDyGTM+/nbwaf168/w5yOD7hK+SPiyGvvoW8n0x2Dmab U8jBm3Hz6PHj0cTjUn4DeffxK+TDZO2C5QLDrz3/FuLePZo8ejW10Oqj0e6vp0dfTsDyb6cv 9BUCht98NIO8eP/y8dbBBZCDo6NP299B3MHOZLJ2MJ0JuOb7GeTgl3W46uA0ZAfOvpxBdt5M ttypcWa5fv8eAvZdn3rTzCZz196afPg4e9Dp5fq0P1+uF+NML4aA9U4gn9zb6XPWfjk69i43 verDZGtn7wxkDMUp5Gjt0ae/Bzl8fQw5fOu2psd+G/fnkA/vpz/rv8yZ30JeH84Mv/9w/WQx TkE2J+MaH21+GJ8wbh4823fPtkY3evoSdh8/Ha/6vD6L093J3+YTm4bd/mRn3Nnb/Hrm7ezA t5CDt09XN7a2tkBWPr15srq2sbH+BO7eeflse2cNGH+8Wl3d3NrafDq/9+jpbHE/vFh9+ubz 3vbqU7j5+ZNd9+756sYuvMj26ub7szM5d8DVhwdH5505PO/g+eNfMZ+4T69+ff3pw3xpDndf 7Lw5+Ax+f/Bud3f3w/x3HGOkwPbURceDc09+92Ln9adDuHB/ft3ux7OQvdV3n99NAwLG7uor uGHr8buRtz7ZHd3xcG2y+/vv71+Nrnv4t8nM8Ifrf5u66t6TF/uHf/y6OjrWwaPHv8OF27+e hTwdpe9wdQrZnbybHtucxuKvk5kObc9+ZwGxMXk+ffrO9H33Hs4ceufl9FFPpju/nYEczdR7 qoUHj+YZ59P01p1vIbOd588mL48hR0+ezELv8DTkWCJPzeSXcSr748WvJ2/mB/fPQmYmcM8/ r031aQp5N4/3+Q0zyN7xo0/Z5JfJ+of5AyYnF3wPmck0XHPw+fHDj3PIzjRPnbzvCNl7dQ7E fVybTDanj1ubfDx9zwkEQn7t2VeI+/DL6sEMsjm34VfIQ4j+Jy/Pg4DePJ48HtPr+uTDhTNx L48hoE/rR1PI1jfKPpvJ4XkzGR9wuDXZnj7tm3u+heyfQODM9hTyavLq9A0zm5xXSMxy6VTP 9yab84PnGB408RhytDF5PEL2jzP6KcODAc5AZsG1NrXr5mSWAPemP9/Fycc3xxB38GRmvhdz y3/cPQV5+9V9TiCPNv6AmvDxVC0Onz189fno4M3MkzfmJtqY7B0cHLx/Ml7y5ensNT8+nP4e bU9e7B8dzEuLx4/2Dw4+vX3y5Qzkzd5vm89ffJ7vvdtafzYL5oO3v/32am/2Ox3jgz69mR4b L5yn2b3t9Y1fp4f238wvPDbsv6TU/xvy/wTy3+RhYl74fbjWAAAAAElFTkSuQmCCAG4e8I8x AADFn2Gs9oZw4fyQRc6lgQo1/4lQTkcNChoKAAAADUlIRFIAAAB6AAAAvAgDAAAAgDZKfwAA AwBQTFRFAAAArKRK1c0p3s0AaloxEAjFlHMY9vYgGBis1cUQzawIpJQAAAjmzawQCADVrJRa tJxiGBC91dUgAADmWlIQlIMQKSm0aloISjkIi3MIAADetKw5e2oIe3tinKRKQTmkrJRSlHsA EBDFSjkAi4s5zbQQe3MQ1cUYWlqDGBDN9uYQalIIe3NinIsIc2J7i4NivbQ5e3tqtJwgWlKD vaxSamJ7OTmsvZwI5tUAlJRSc3Nz1b0QpJwI5tUYQTGUlHsQICC93s0Qc2IYCAjN5tUg3tUY e3MIe2oQUkopCAje5t4YtKxKpJQIamIYxb0xnIs5rJwIYloQi3tBvaw5nJQApJwQi3NqpJRS 7uYQ1c0YOTGkMSmUYlII3tUAEBDV1dUIpJxBpJQQ9t4I9t4QtKwQtKQIUlKUxb05c2oI5t4Q vawQ5uYQ5tUQrJwQnJxKxawQAADunIsQe3Mx1c0QzbQAtJwQtKQQvawA9vYYi3sAc2oYnJQQ vb05i3sQ5tUIKTGs1dUQlIsIxb0Qamp73sUQ3tUge3Nq9vYIzbQxtJwA9tUAvawYi4tarJwg zb0AvawIvaxaxbQQi3MQSkFqrJQQGBi9zb0QlJRaWlKUc1oIpJxaxb0g9u4YlIMxMSms1cUI 7t4Q5s0QEAjVzb0ItKRB1b0IxawI9s0A9u4Q3s0I7u4Q7tUI3tUI9r0A5t4Ag3sxvb0Ic2Ji KSC0WlJz5t4I5uYIpIsI7r0ACBDN1b0AvbQQ7tUA7u4IalKD1c0IrKQQtKwInJQxnIMQzcUQ UkqU3sUI9s0IxbQI7uYIxawApKQArJQAQUGUvbQAnIMItJxq7t4Ig2oI3qwAvaQg5s0I9u4I 5s0AzcUI9uYI9uYY7sUAg4NqGBjN7t4A9sUArJRiYmKDxaw57tUY/70AnItaxcUx3t4YvbRS SjmklINi1c0xtLQ5rKRB5uYA7uYA1b0pCADerKxS9t4A9tUQc2p77t4Y9rQA9uYA/+YA7u4A 9u4A9u4g7uYY/+YI/94IpJxSHxxLDwAAAAFiS0dEAIgFHUgAAAAMY21QUEpDbXAwNzEyAAAA A0gAc7wAAC4USURBVHhexXyPc5RlnufiTN1c6mZrPccoW84UW3sVA30jP5zRXWVdCKeLiTqL WoaG87hNR4hpyACXIjsOQxwRLA3OhKaYJjKUCcTBhDTOHZeDqtCQWYLmrZM7X4y9vEFaLSuC RLfFvoS+xLjc5/P5Pm8H7x/YdNLpfvvt5/t8f/983z/6o3/Bn/OHW/L5bD5byBZy+dz/95zN 5bM5flDI4iR8zj87B//1hYJ+r/+yjthp9lG2QACCEj5askD5/OHjPMxldRYe9qtXAMzX2AG+ pX+Cqj14WfzLBnjE7JB9ydcjm4vlsnkv73MXgnjdU0v2eB6gX7/a4hMpDzCCrIe/HFbL4cuG r77p5fHDhfnOzip4+QDLxwo8G39+gW99IoBN4GXe4xIFn0s5nLkBbCGfjQn0+WMteOlQ0epY KlbIelibaxW4D8LDC64IZHgWAYoE3CnPAQwiz28QZ24HT4SFtQjBEbsF/2P5HhL89WM9sRwR 4wnCJwA6+F4OELFSwffFDD/A2gWcmsOZXgEf2ZuYlyt4AALQ+VxAMnk5z8O2g7yX84N8zM/G 8G0jumGfP57NtwD0Px5uIWZChQhxk0QDBI75eZILDMvGYhQHP4uVYkDOGJrD9rGfGLaV8wKc 7IPAOUEN/MDLgnY5nI9dSUIcs4+D0T3HifUHx1p8QnUc5JpkE94/0JCInWyK/yHZG+8MBs/1 xFsHo7HmvnP+YPxgZ1A/tLU5H8u/2ded2ur5g90Q461bs9hk/fpz0Viuo28w5b+ZTOU6BhON ATlcRPt4Ho/jwrqnYPzBxogv+Yp95L1HKkqblw3MTJyKPJr0lyX9mxPxJ1Mdt/bVLlnW2BCU 7nipKZbNrptZ1TOzxl/0ANbYvNQrFCpubezfVUj9+98OvBIpmbmu49Z4561RJ+QUc+gTIGdj 4jUVQOIDBgM4n3NZEHDpzx/wY8HM+2KFR7Z5rW/mH22M1WzxlnTGbm9IJvJPPFmxP5/1OmZG g5qZyd2gebb/Gcj57/8NvlOx5YmYv8JvfjD/xC4/2OaDw0GW/AKXs1AtXxL+j4cJFsyV9oon xBnAazfOTHnBg9/yC7c25v/wrdij22r7lhaWJGO3b2xKxKL9MxMgVcfMSG3DAzOfG8ci/Vt8 r/BIf7bw4MlHhnIVM+t7Z35dWhqD+OcBeFrOWghdWLdIkWPu2ZcZgig1N9Q+nYzl/l0qltu1 I9LQHDzaWL+kM7ekM1iaCBI9u6O/2gIr1fFgIaiZTMxcCw71P9OVam/9m6D+5uP93w+8mZne Bwtbn6wNuoH1tC07jpctvkCfh4QDFH6JK82RtuH5dzTUdOTe21KWjzVvuSPhvVV6x9FkrKd0 tV/6vx8uDRoeLm32CrFfL/1dxZ/W1/ZDEYLNu2r+Zl3QUHPHwkK24VRNQ2Tw6e5Y05aNZVT3 GLQDNOceADjvsKZFFGwjNc2QdBQGinY4Bw2Azuc82Cu+xefQ3yCA2uI5gBHgJ7kCX+NdLpLB qV4kmsMH+KmFFHBBAJY1gwVryfbIkB5rgbGgxZJZorZS3AELLPKgkpB6HsIGKIRUc1gwLAJ1 LXh4BbsCeNgSOIX/fOlhMWo4juELUHfunJbYyJ4/HhOvZVIAi8vAVoOGsr9EXVBoami4gSmo wEPAAk/YGexWvoDPiTIBkyTYLEDTZ3nYFY+Y8MKkCWfqNNTL3MfhHmALBLCqxzVAVdhGfp8Y AmesRTJoc/QXcoXkD9kBTQbF8RZGU3vFa7wTA2iOwUrj53U+syWWbSHW5w/3SJXN/2QFnVQk DkYMWmeumQVBzIkIyVzQ4HXvjndsHkqRvDjdFIUf8SGEKLJYgl5QnKZeQbOOZ819gOBEGE5D cPGlguElVyX4dA1ggXwZZU3yVrFrxRsbS4PSqqOkEnYu4RDZtTM4P33TPJ247OOP4tbi030A NKVaTp9rCyUJC7YrXLFpM7USMR4wtMp6NzUn48HD8XWeOOSiA32XXJOZIqfENjMq+CWze6Rc FDO6N2kRwMjNSnLI3TyOSaYoMmbkBVjrQ+p1nohAL4o9enkFR0WiG1okfMhs7ADOSzYcvKYT FJqmUAZISFPYjcgSeB2BZWRooDhN52kvpDCJC6ZJ4k1eFdRYLJGH7ybJYc168rJmwtqdrahI 7suwNNj8s3BQxgGLSJlzMRMqbZOwKFR+ARqgA2Z+CNVWVJQkevNJyvXBMWBNmyI85MEYXElu FHw4BlNTTd0JEUvR+hphHSgzBfbWMcWFWBY8MTKS42qBu6aEy6RQlzxv6K/K/rI/3t68KQ6Q Q4Pt/lCrV5JY2NyeTDR3Nm0NciW+39BQ0d4aJOP1flNzmbe+DPRdFy8Jmoa+lYu8mYw9FQTt QXdTk5/ojhcSifaPB4PBHr/b9w/G958s89vXn+w5uC0LqlPCgTVliTLaXOr7S0vLU7viXpA7 2rBt2bn+xMDq39W3L91Rn9yxucQ72uQnd/eWLKvaMl7q7WpKdixNekHwzNSujtL13V4u9crA 0qD3bGrdEwn/jv96e3RjvL3jyfJba72NO3oGju5Pbnpvy8ft23YloVpZ38QMNkks85+J1f9p w0D3qUSHXzha7sf7dpc07k7458pf6Ug0beze1n820v52MLCso/SB57w/bB7yk7uiheCZ8S0d p8pBusbNf7slnWgoDf5nu3fHwH8pHE0u7Kg5WzpV0XC2tmJ3x8K/6F4U63lvx0YgHQZIJlg5 zz8X8881vtebHICUlPTir8TzyrZ5Ffsv5ivKfhm86S/sSS0MujuDijLPTwbv+clyRJ+9ZRXB VjrNVGNzX9AZjUeTJ4OtqXgsUVbSM7B/R8+25rJ1FWWx9rJ82frm7vhCxuGyZodBcDMhzgfJ iNKU6vc6/ZG1K0qW2fJQqkJLaFpZ/MysE8w7LIr8prS7BRbVRSlYgZprAhuag+k3zjTqgLNk 4UkTZngBeDK0Ijwy6YRcn1LwpWEKS32qV0++xyJSU+u0IgEiep3KOGfAQ/wcn02Ywk7mAvya NcfRyVzGNoZPggnbIDYjj00hhg0g2tIumTOn1w4FYeC2a+s7Cph1cqQV1FyGILAPGY8JPHI4 BC3R/ulD8apoVRgz0DxZ8sVAxW8R1ldbbA18dTLNb+A/Np6ehG3m8m4L6UImN6HPABunY33t gd9NFyYmeVCrZCZwnpGfzxIPyQ29KHAnt0FziVkLcw2eipXxNYDV2fjipGSMB0hOgeJpHnYl rPGM00lVfmhnGjQPJ+lVKMHKdRknZY3oxezDCZCZfq2Y4/JiGWgrwGK1242xUbvVIYAU7jiK rUx6REKEcXKDF8rGxW2JuAVIb5ks4VwQTchSWrSeexRAbNKVVMBG0hQkIJ2h9ILNaaJL6NgO NqXvkXFyZ8UlAiTkLlhhgGbpnnlghHzm/rQR8RRES5OkAuVpbyRLsKwkGU80eK2pHW9P7V7d 50db062pgUnJOSLhybT2j+1YRKMf+iL6bCAtiquqAEMaPsgkRyVCLaSLboic0zuSv6Fp49rS f8jsvpgorSnd3BSLLhs89cCQYyxJA6gEbojb6ooZGAm7qNTCQjGO+yVa+g908YtF+EuBD0BN fpbLgBvpdYnGeN/RRHJ1ydBTm/8qkfKWpTZVtPILFDaxmidju9NYyeVaiEQZlzW7etwkBmeL 3hPgHAEDDiBCo8zUiIXkIPbHT9NdGS8zOekFZH2QzkAQyHB8W/zmJnCauKdADS4+BMsExDLN FhkpaoyUhToGQwjcIbIUJbwXk4k3tkNywG5yKxY5h0SVmJuoTgAPPgxp7QBhZxgtMEhSzuV4 PQHDOAlRk0nEJidAMJLahM7hQW7gKCUIi09kCmkYggyhOYuiD8RqQuZOimGL8imEjhYnGdZS LmhJmk9A3zZKoPxABo7mg4zWISGBJ3KEWwXywJ2fmYoZ7oBtaiaUCaEYniHpyqt4xVBBau0B EdpUfA+iVIBhpVEim02zHGDGvtgJ5Tft0eIW8CnZJSzJIijGpHZB6tF+yz2pEObSABgVOc3X jaYEDE3EFkw5sYlJYo5klnubwJakp14mgAAw0QJgsik9aRF/GvCxWWwKH05MeDQNuQysjgcJ gkGRKTXgIdYgeBhI0s+C7l53Kuf1NpY0Nga9J73G7orG9ooKr7e5AqlCqrs9WdKd6q1vb16X CvzGiwUv6gUn96fq23u3XezO+d7/mPRO4oNUyuvurej2e/d3r6tAosvcPQyK4TWFNUE76pCQ IFvm6EBQcscTpZs3VpyK9/9+42+XdGxMNg9s2jGRWvTUorJNpYNnj55a8URNZ8W20ppMPJ5p PFVzdOOKRbv6azrihxbVdx4d7q156uyvyhfd0dDYdGdN4mzf7grF8YjVJWVWniXB5YSkDWRu OpLYkUrc2d/Q0JRo6mvqjw/VtPY1n/OSd6YGm+68c2Hi7T++s2Gor7MpOhjUbNrWt7u7u+FX Q019v9rY37Q/2b1+09aaikjDb48O9TXsrhlqfTteXvrUjocR4KveKpPiKsOUcCq+kyYQQOIz mQ68KCoU6QDGGXxXNMAMH8fAbggX30QyhYkIuAr/VggykQj4CmGAlckEUcppYSKDogbkxSXI 9JmsK5j7eN0UH+opnYWQ0VPJosphU4LAf2kovAk2BhMHqRN3UKGkg5mYSCO2oNssBFRHGTbI IpaS28NZTN/Ea1RqUYI3XiMAtTBLakzzKSsOm0mNkmGUJsPiADWIIu1Z70D7QH1nsuJcaqDj HMwa1JkaHQBDmtOMrKF8amjtVP8tViwNa4vtoMhy/QxHmC/CrIWBDj4AXS1EkYmFIqcW9SdP 9dfUrFh0e2JjlFukIYBWUWSkmgxGsU9lblRwBWcsYqmgQtBXwWuk37JhpKlCPfp9OWdZFBdy 2AfOjzf3N8X7EpsGWlc/0deAM66PxmTqZIZcNEOD5loD0msIGiX86n7shZDBX5k9C4fIR1DQ TLARnPZFZs8oCpang0JXJg3BMn+hzI1+j9RjYGPL2BIqfbuyeBilvIVTmavLI8IjCBQZBbnl K4qJhBtGSyEqRd25Qm+CzJXFdtErNgApQ9TEIMncsUSVuSzLEorFQXHZ8LdQruM5ZultjzIt kJB1F1O/bKxobKRlw5P9DAx0DgwkB5LJrVu3diYHBs4NlLS7M3DuL3+Zuil1sb6+qr5+HHZO ZhhPqv5S0CwWVvHq2AdQP+SZkmmSi/LEEBfb6U62Dr3UAEt16rlS+9mCn134uf3s7UuXfv/7 S55++umlS/G79PazZ3l815ZdW7YswonPPbd5c81QZ7cjJ22Zta4s/bDs4y1W381HFOg/6LgV XtF1sBiagfFP4zGBh2kqzoDIg9eTE5l0hh57cjKNU3LpiTRO59npQ5kMbZFCU5NzlGWANAtY 5rnOX30LdTqqtqM0aU4jgiAQh9BDgbSRBAo/JPv0y9Bi4GOhItTdYiN7yPgUJicoNI7VlGB6 LdcvQ9HOWmx0H+4chMMSZ4IR9+W9cVAhpi2PVzJVwNQdczFoGKBoD3T92gLNnwkaDDgSH1VU UE9xeu3SaAV/tLqMQIt21LTNtIfPcjN8Zi5LGJJvHuNmwiRgki/DJML+KzgrkN7McyVm5w1l V+2iXinUsaUsBeOeHCjFQJaeWfBlASDjIYtSDCY8r8yexZFaXkVg5zJNzGjN+BFsnjJTeABl rfARgGwJF2TKaK3/QlDgDaqDrSN4o7MsaCev8F8mmHEKa8QKxGVIIWam12aLrnvIilhuJRMq G+3q7i4kdTsx4DLcoobtz+wYnsz9kNYq0ir9kEm5+tY/sSpbTBTMbuvBmA9Y6L05Fh239FLC xT/KviTBDBG/QeYzihRlzFSxrE6MnUkxvQavUZUVeQjJLCpzkNB8O4JzTZMKU2QyVeIOUIi7 vUnz72CTPpXzo5t1WSRtmSU9xQDp6lsCbKuap6E5m8ZdgsbtS+Np78B6Mzsm1PJahqfLfpxQ mHgZ1uqdEWuibvk1rJk+cWUZCTfEDIvAf5PPRgbLSphHE0dRGZg52YY4Am0eQUJCrKX6IJJl kNwZ0GeIQimzYo5JuLVHaJQkn8ZkPMtPp5VlmPcl9kKYMi7lti3QdsFvijpOA/ROX8GyUiFW ftmqRX5Njod6bQ7Lkg88ZH7MeZq6Kq8DK8wHS+Uty1GSYLIl4jst184og84qoKLNLg571E7S rIl8XrmJsVcbgEYjtvPWbj9UBV9Mi0DNMVNKVpMyYES6sDYq6k9Owih4UzeQWJH0IQSqJDhi VkaZhaiyHxWsNQ4gQTNeQ8zYSiMOgKw0E6+idafXPHb6RxnGVZ5XhcAWDgmpNOtbSIQRnnjp igvz4czg1hAvZFbM+tfRdG7tf3v2zONQhHSQpmMDtbf/xxns8smiICRlM19ybgRXjDqttsii gsIvVq0Zjs5YoMqZN3qaQa83EWNOKPn3EGoH4y/sZ+6lMoI3eeZMF3a098plAKLbVEvEy43P /eKf4HutfxFOiUDOQvfBZhOoLc0CqXPB2mfnjBaCG170fjr28k9n/GblivGRsS+8+QsW3HaD 99kP7pl6cc89l7+8ZyQanfGD24KpkZGXX7xv1UgE359d+Qm2430577YgNn/ePfPLr/3t2uj8 92/j9AIbdW5uwIWFb73Bno7UT0LKttylK21IJILcglc/qxx56MDe/WfG7vro0qrHZx35yfuz Rufsmf8fVh4ZWdwW3LvmhZVTa9YsqKz78kp5JMhNHbmlFoy99/RPDrw4Y9X8I68OvXqmdmTW giPFyMxMirr2H1w9r1aHsyiED7T3bJgHpvifHLjxWmX5+3OqLlfuffaLsQvRC2PllXv2r6qe 8d15Vdsrl39WWXfTJx/++ejYLbXPL56CQNRdmTvl5T6rfPwnV3665u77L1SPX6j+ZM6f3P94 oG6sEzHWZ0O9RqNf7S0zPwC+d8O8r2Nexdic/7Nm5fCs08OzFu+5v7buyF0nsInyvZWXZl/4 ODJjw+jcC+NB7d2fHjry/PAts4chyy9veG04mH9mzvj7V7Z9eWT2iapLlZeqV22LdEQYmzkr yr6LuY/zNutjNo0/IPj9R569aX/18tkX9sw5vefCmuWfPvvJ3Km2W/ZW1e6ZU3Vm9tSRE5Fg 7MKCsTl1PyhffLq68qNrBz66cyqInll10/jnK59/dfzZ6qkzZ+aPx+b9efW9B34xMp+VYcu3 zGkS62OMzdS1VrtcqPtB7f1zPz3xi0jd6Xeqx8bHLg+Ptp3YXtX2bOWFG2qr517+ev/suqCw 98Tox22n53+159OHTo9cbBuZ8oK/a2sbm9t2+f7Zc0emqs4s3rCyasaZF+9v++u96gYjQLH4 CEhbgHSecymcYdKgD20tVN+DafCCryOxyPAwUtdoZF9kQdvXLx6oi0aikalhSFQhiECduxCw dkW6poa7ovRSk5n/O/l1EM1EguD5sa/3zhn9OhLp6BrG2USORvS6ChIIzmKDuuWubWdzGpxe whcYSrKe4nvbZz8/NqMWYoGGOUN7/FAJoOLovbg2KAssJqjp+aerT8wYp+pgeevFhmCPm+c6 Bl5b2KSZJhl8/OeYANuiMYBiIaZj+4poJoiMj0c7pixZUcjDtBvG1YtGD01FpvyqClZtkMyj FBZ0DXdpFAFbZ88UIzkcfALaHFOxOPzNPBuXbgzJdV45EmONYxgiGuHHf3P6ay/30ZnTt/xo 5WMkN9bkTIdCAe+zlSdWzvrvZ/7uSBuTBjXsSRbIUAA+esLZdV3CKqlhzca8G8RRu5q1HiD+ z0GMZSgA9/xgdNUIjPnp+ruulO/Zg5pGHiTH1BXzEbx7bO/8yrGLn44fGKmNYdqB5RqUMJA+ ALQkCHy28F/2hG1NEzPHaY2CqOWLA36h4+Ufvv95Yt7IjLseiI3+cPaB8kguuK/jliPD5WPX Kn6w/R+qr41tD6pGfngD2H3D1wu+OxT5ybXKS/M+j3mfPHZPEJn/2LXaL/Z8PvL5y8nPXiPh NdwU9nyk14edmKlnjif22eljOj46s/x7j7+4Yc1dlfNHj4y03TIO1vpfXLlranzNkbrfjM5a taBywX1nXlhTzZJudNaF8Y7CicUv3DIr+totMy5sXzBrtPKha5V3/9vH5ix44TThYirLIa15 BTMpHAvBr3rNoLAG93KvHairnlN17XuPLZhzf9vd46/CQGI45PKGGUHu2oHRH9Uunl11oHrB nL0rR4F1Yfuq08Ne9Mji0QvVVRdmj82tO7C3YsPla98buVh7+sylyxQsekdkPgKPX+M1e95S Js7BGPb56JlXa1eu+eeP5ny8sm30QHXdd2/0IFXep3O2e7HyyhPX6g78eHll+auL926PUA32 XhmJ5Mo3VD9UeWnGldk/Hq9edcM9B16cfeG+aO29i+eOWoZLaobTCpLwdz/QEByHAKwxTpZn I58+e7my7cdH2u5f1bbnwPOnK8d6aj3/plUrh2uD8QtnhkdWja4cG7777rqxKerW7A11gT9S OTp2ofrL7+4duW3eheFZJ6ouzK3NxW68Ug0xV49LdHfSJjH7gKGCFI8DN8IbqnGp7cdjl6vG LlXNXT68YG5dW/mhQm5d9Ym5r0W84b+ui6w5ctfI+HDd6bHtUS8X/bO72h4bnxi5N3Jt9ujU C2eWD1eNjV2euul0HaL+upVro4qQOA+gvirMqAsVYM0032eOK3SeqAlGMgodgghsJ9J7Wq+u 4Uh59d6RyPji6q9QrYjQojJ0LKBOxvgNARXML4p6GZWxA+/xGS9cUpRPbywhVpvNBcPnNQ0h 4CFoBgwWIVsIrGoSMjBC/8WsPcPBvFdnj9sJil0Zo1odgqE0N6kWBoTj3lnzYQ9cfqGytNHc rNl5DueBFeavw/WU+Khyap1RdgWAHojRBYsV6RpG9xIA2OpUy8HyAiT8qEEx50L8qDIefIzK IlhMszmaYjSspdcUAE5KwV9bMaBYXrQsEX+2EX6AfgeWs0aFCg9sACjZw08YvSNABgFAfuTG lhhyHTaxOQdioIm1BmaK9DMy861VRdyDqTrhE4hSa5CBlR1lDcyIWMskg5XuKXeYZiDW4SwN Z5HcnIjDWvqkSTXjr/uW5Woq2xk3tBNk3MDIpbHqoHOj6rowE7Q0UFUFK8zIwdgslRlTxCrT WHMoqziXILg2CcQV5KSILZASGiS+YldCVDlJ5GYtG0KhPEjdLu2H+ybz+D3wVXVStTVDGy6V tg1SrERlvtAa9gFxceVpNqKUaqKxQwIoDWJyx9SEWZ/1vbji9PyDc9k2Iky/LV5vMyPm5vS+ AYyoo+KpVpJSOsoMmazKCp/VbbN0zzJByJ+wZSlGtU4JIBNGDuppchEdXY26MUqhdbU6heO2 8LfGL8spql9Yuq4yFhNZqTHfG8a2l/CYgTSb4DSLlRo3WMWBVuevkY3ImtiEHGBal8xZNu5a jTxV78JupYpWTL/DI7Yzq7dR1pR0F5lFddSIu40HY27MeS7NsZucFYdgTE2t9m/aJpMmMZJc mZKFP8YE++F/6rMOWPHMyS4bEPoJ9Vrjm4Kg+oJJXJq1KqtFuf6pGS4S0vJ64aS6hpFDsmcJ v0jh6GFpuyivUJMTpdcpl5IPO4PaK/1lCxndHPHUIUm+Snm4rooIeuf2UXxV/I6VD9VuNeIh 1LQrC6ygoVCBXHY6ZbU9DYmgf0SMWNelzpi5kKCHL4zj9qvN6ESTSkqLfU3KII11M+iQMwNt jpzbAnRCk2VwVtC9MNOqckZYSXFMZ8GoKH3FLelDUzs0oVwDx4JOq585rDWl6B5WxTZThBVB dk3hSGhgNCH6Ko+F5lJahVKq1ZVUx3PlLQ5sWA+ExSH1dHhZgOQKKBZBM0oxc6+Nqllktldl M017UAJVrptmrqkYC0cmYKzPFrfhZJHfVb1SLkSGlNcGOIJL9oSt2Wc+6AsobNY10obMkYh/ 3IqrhaPCJ5EvVrCMESo4cVjGSiRuRMYmo/lwKQDTKtFF3UtyWzwVdkCf7tCB44SUIhLnGVm3 FtqZiUnOaNib6wqGtg/pmlGR1So60JDgGoeWwoiRQsJU1NyxyTUFzN4BIA0qXgEYylQGEs9q bOItf903zAKp/yKy2hUPjtfssRKwJsdYDsU7Z6VdiyGUIsc+B5yAUEUT4gaepVI+8VfmwGy+ k3axi0knwgUSXLEZwwf0admWEx8tCjEHbWbhOtzFSMibdkcsRWeBBwWILQ+yYGgy65gljaUz phnJ0YYrQEJ6aGaWGgiNgC3FEZBIimXFdveQErlaqKuGk86m3Y7u2BBDMuqc2EOjGMbaVsXK hRJukRmbyFQfayThWboS0i1srziT4qTHKvFCGnGoYJPj4rziQY2naHzH2RXNeaMmUAyGEYfL XbqpOYk7qW+NaBMz6wEBjnkGYKlmgAURBErSSNKItKAXbYBzgPRQrkIcSrjZb4F30mwTMGYl aGN42Mm42UibQjKzJkGXyeaP9M5oLiUwnNXgU7wtF+0IHlE7HVQO4wHNbdr8F0vwirMlNRQa R3naRqt/k5vGbYLnPIGsKumC/wwWXVRHWsJtyZD7oZiZEIStb851kTdGCW7CzT0YnxV+Gqkd QUVk44bUkJYopJ6FsY6mdh2GYkOBPoZLQsIqpfNPJAGTOAayKGsrrr9evZyZMGKYhSHHQz0w H6vwTBbZ9AdUNkumiNhFpCwmKIdhGGEJh32XBA/5beBCdz0t8GKymbci8xW4Oq8ul2+xAi/P 0JUJFpF+QKxp26YJHDrQ0JXKWWIxJasG28ytBelORPRCDJHFps+UE+Sf9QctCADezPeI9bFj urKENLG41IUrWEOwkFFavwWrcUjHeWbXR7Wej1HJEk76T+6U51lUx4aEdqkJbEb9Blo1Ugak 4oeZWe2SY8FM1Z2QyItbj9YJm9FfVozjm87VEM3Q+LkA3mYUbWkrSoZRihHcQb4uXtEh10uU jFkBwaRARk6STVxdc9uOyVObBbXhVhM3kdvCBVYrTcJRG1IYHKKtsRxQDb5b4wloQfNrauCF KgSSODXGyhxLmc4NuC/5MCyJwxxHFcs1EsCMRpc9OOVSSqBml6O58CVmCpj0ggSX2LqWnglV sald5LghKTZI4rVbN7EtFdNwimdYvxlevmISxuSROSW/wKaWBqfMEVjgVwy/JMWOtHTUDhwF TJbV6aKRjEjAIbJmw/pJGBaquacyhjTaLIAmrDT1o6DQsJgO+nioGHfzE1khp1pkF42rXL0k A41nUQ5oKzoICS5vEgoYMeYPo2LJN9MQc33TDwNhXkrBsGTAAgbnvcgljo6E0aOzAboszUwK 6+F2GQ7V23itCE7jHRYeajNKJ6i7JLOMGZvGCFasi0sHIqNmwEl9TGBa31/WRz1pFilkx43g UC6z6pK00HcyaccGOOzgYl8r4Ch2EFgTOQsOSAIDP8EJHT6ZmDHrcfJv+qX4CKG4mRS7kom2 1NTenLerW4DuJuvTsZoU2lCxiIgfYYPSSAmZjBlOs2yNl2aIzWI1myF4BujXKeEu0xR3dYaa 9Fib5UaTJsUnzikqNrCBBXhHhidmN91sSHgmZpBojCGlNC22slwIcTWCs+Zv6Yclm2Kskg9x 2BySATbvUcwAikrMrcjFXSeKQiEsBIF7AmxXk4PBLlSAnE0bE/lp1auU4xpgyzgE1R4EZfwk ycMYRbJncYvGGrQsS6iKdJzK6ALvojVjRjBNbUPeRhxkyr4RCjNUx6Ys8OSlCRkNzIdssQEp Jgfmp0UHSrpZcEv6YNIkZuK1SZ/bl8mEDVDR88lbkaKGk6muM3aQZdbLmIy55CdULhdNODNh K9J627U337Dhjhk2t6OxaR7hYKm5q9BBYBeZNBMtbQKT+PLgHJF2sXAxVJsus6izT7ckbrIq 72y42i1Cm+GQs6jKvKSZ9EFFU0o+T/YN9U6k+v5zfXtfom9rf3wFLntzNlumTApmMaMN7bBM oGDL/DYrlqFJYYuVVyIazcUd/LeYTlLuXIH2B0fatGhrOtXUsHnLvt0rNpZu6ds4ZdbTeQ6x RLohfPjs9FoLaEYgBK1rLDnMADIzEacNUiIdapVFvnyvTHp1w46L6/v6cOF78qk7Nz+xo6be M0aHGk4GKVjCRRIUAtZoLBgRwc19SMzUWCvGCs5hmZKaspjCmKKBbRhbnUhnvC5ceoGsPhM5 RLgynpZlhmpuCmkOX4A1fCZEi1gzQjbnRXqY2aeTFp5ms2WSXWKbnoxCwaBUnPrE9QsYpTTB lz137HamW+ET1+GCNkDGagpBH6b7AFi1dEgRi5ppPQJZUBwwHVdsaR6b4q3LADgnjkfRWUnI BJziKGyNT9Rts6b4DZPcY8y+SAMetgs9GAxij0gbiBGjM0rKtJWUuRQR5cbkQXgJmRk6g84n GZfQvEK9TIxV0TCC9/JSK5h1C8OFM55VrXR1BdZxirGQ0xqFvKHvDmltYQzlTdBdKir9KA4c 65Kb6eyDbTdXonXOC5SH7WPGLYTDrZvZlvjIxJnHMtfGd4xUiK0R3UIMcykip2FN5AzrN9ha VVvCAkN8pFKyrLd1uEBEeAGARbnEgm6M60K4FIQ4ihMkbRo+5PyumhFki2Vurqav/iWK0gR9 DFEKehGUs3BXmnOTmGnGTFEGMbD40BkloqFlLTYDvmzMYOsUJQuQMDoGW6GilRUq+UuJZofJ pXusT2Msy7If47dGFPDDJgyfwFRd4MJrAaS6MOIYBaGJoZkknnxBR4YzEdlpbA2RhsXUoYBh Yd2sQSU7YG0DBHY1rICH+Psl8YaajaW/xzz2z/mzZMmSR2595NuvfPvWJ/lz84MPPnjzzTc/ +eSjj3771le+jU+XLPm5PW6//felp2p29ye6xVy3rrXSmOgWw0KALuiybvLbzkURh9IQdEWH o5z9iEbrO6LeWrzizSl6O8bHq+o7jr/xl280YwK9vuONtdFez9d59nPIC/gPDV5zbLThpj7m pYj14atXOUTAoFAtMMNbQiizq1hcCYRcvX4oV3KtjEOLKYgLnjTyaryW2ZdOUGTlEVEk1f0l rNkEa6b7WxDt67itnNwmTLBLzClwhI28ULyoxU3ETHkAANzWYQYv6OGawklP2FQwnEVRdq2L Es47xai8Q7MiTWBKyO8pYCDWtHAsIKnePm2upcOcCVQ+T+tHK0bobKeHGNsyRnUFwybhV3s5 JA9dU9ZtiNPJOO3nXLrZOCKBmiN3wYfKFk4NZe3kYqWVpo+yRSZjxBkYAQXIGCZAJGbHrr6r 2oYVd9ydEpyGkUphQUCOjGOezjSZGTOWOgbgldI8cVeXJHGLmiS26ERtf7uJAbE+LF7jobvS OG5bVaVoYkR61pLcXLAyXhcc05ArAJRfE4ouISWvSSIVucl6hSp0VcDQBUg9aChrqFZYh6Uk KndYATEq6FIh1xYRVs5/C5gLyoWwYJMt/ISWRg13kZC1HOUfoXIRaeoX55ZC9ePFg2IyJZqW iWPXVhlVzCcfqnDRyZzV7+RBJIsmkjqNRlVksz4H1hHW7+J2EpQxVal53BHdeESymx10JVLz YRIrl42Z9wrLpYawUnTzrqbZyj2oqlIuADMb3mMzlizIG7VFGQQVihgAF1GAmrsqnxlbxWEl 2uRoMRgziTMFdN7S0cZkn3/ExiNoiFmHANsgEG/IQVTtGlGJGl0W2+empMp4TZEs2LZSOEM1 7UchC78fniv6XxeSUurQ2yTWIDiQxt1DbLZQtykJLY8lps6b2GX4cIpSMAJ2Uj5tYCQHZrWt 1iEDKuEk16QBHEKBJTWswWspNkw4pjnDCQmn2+a75bzNxlCu7VJ/syNWvVCSLUZYTKYETMzm lIyuuKKGhTazoADp3cO6AMVugKPqgrTgG4Mx3O4EJRRc0MXYhrWxldgZfAPJl9yC0kXSQSIn TEgADEUyGjZDivtAAToavHaPNXbbjOFmIaxsC02zUJYMR4YVtgAZGMtuO7liGqgpAjyJ4Na0 o4VAvEHCgbXA8HqC84Z2um/RN+yYxNGkTVk3R0Qt7Vdqi0sy1V0zyRMDiuacMqISpWDb1xWl yD2bXtN52Nif3fPKYEuZ9acSrYriooLMabA61d6bOPe7ZMnWitaTSQtDXeHYDCnO43SFLIWz 4RJY0tVqKSR4ONaqsWW7X5WTagUtwtrmajSco2sFjqaa1i1LHEwNxEveTq5W7UwmTNaMe4B8 Cl+UOslw8/J4oSrONMF1tzXedc3j3fbU2rZZUGm/FTeN4xBYDCFR4BjtBhlUE3iZLOobAICI VTfBUFCqq2WYFPFSfJteIu0QimE+2UbTTa81Toub4HHoEeVTAubVm7wOhlGKIhWroyK8JePS MIqYUdVFIXYRFAtd1GnVWhitqy+EDdu8Gn2172NFGzhzBGcgDqgx3y7c1bMm1AjcJtUIhAc1 CMZLIXh7D7XCgD7KG8xwIziawwc8COhIRkEUXOTLFbBTCiivGfc1t8xQ4V3c9IqjnbHCUPtf rG8YGjzamtiUbC1vKqtIHfQPpg6W9SXW7R7cFC/zSpobEuuXrY6uTrbG++MD6ZLep5JN8bKh /9WQSKQbvdWDfZ3rGpJ4E+/0ur14Yqgz0dhaMtS3dWNiMNLYuzuReLv8pWRr83VY8yVunXaw bKhz6NeNLyXK4smhX28qaX6jrD2R/PuKwcRgvCRe9mu/u7e1bHBhIpOsb00MHRyM/qfeoYVN Zfv/PrE6sTU46TeVrV8/uD4ZTyaSyUPf6h3q7CyLl700WHFw68MA3R1ZX9a5u6Rs/1A44Mdm E+mtOXBVbclqvLUsnOUXFOcZhmGKSHNuNCYwiZo3QW6P5AvngLKUOl44CQqjm5jmiB/CWF5s BUFkBBPo6m0OfWH2ygxpB+lN2JqshHbbTeMgYZiF5HA4RS004TaHRc9m/U4aKQZkqIPCt7Iy SNlS0EpPA2lgj02WgcOAQAdhCpY2a0Ze4zp83ulLya4GTZGOaKCck5iSd8AAfLxTFsWBE7sw mFONsOa4GAZ3t1AdUedm3JVZsu00BBQxukeqDs62UMGw1mWjrBuyua2evgsbdEtFlwDKypnN dM4TKm4VBHMj8lIqYVvBWL6T0YT5Ya6l+3XRkB6T+8Ad3sykqayiCX22ZqDlzAJVtDYTLMj4 by1WOROFAuY8zZCAvKJ1WBRgT9C+rPF73aAuTHxwxSbuiiTIIL1cSPH2fbyHK/iNyW0XP9BA yInaBV5WbbfonyaFNzUEC2DCNNSoIJa5scG2O7wVCxpXe3mNrK6DB/KMkXVXUpRvce9RtSZw Az1ec+ecKLdBv03w5l9kbPVQQgjnJdGkBZMlkdrgR9E/1dgR/NjVdfmWlpaePH5juJmhXSzM exDYOJzupKMXvq7a0I/agbpjLf2BLtRiBM8WNeMNXJ0gJXLtHVTHeBUX1+CVe7zy28qzV3sg 4sd5M6jjuB0tbrjW0nL89R7eJ4mn+LwXAafaYe8AHRd3MqrQ3Yzwhw9wI1gNFSFbxXgojzMY 4OUl7BbzemtuQcjowWl8uxnRB4ff/dlXXx36ah9+ug7t2/ezfYe+4nscwX97whGewEPfwRk/ O/SzQ9/56js4Z9+h7/AVTvnOPrzHGzz4Dfet6ZdaQt/4at+hfV1dXQD97h//q1OnFo382Qh/ /mRk5MPlH+KJf3i/fGT5h8tv/FA/77ifG29cjld78XfjOzP42PnOzhkzds7YufOhhx7a+RBe 4PnSzi8v7cSDv3zCY+fOGe/sJZDlIyOXL18G6H+xn/8HfICYAw79XxwAAAAASUVORK5CYIIA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAEgAYAAoAAQBbAA8AAgAAAAAAAAAwAABA8f8CADAADAAGAE4A bwByAG0AYQBsAAAAAgAAABAAX0gBBG1ICQhzSAkIdEgTBDoAAQABAAIAOgAMAAkASABlAGEA ZABpAG4AZwAgADEAAAAIAAEABiQBQCYADQA1CIE2CIE7CIFDShwAADoAAgABAAIAOgAMAAkA SABlAGEAZABpAG4AZwAgADIAAAAOAAIAAyQBBiQBQCYBYSQBBwA1CIFDShgAADwAA0ABAAIA PAAMAAkASABlAGEAZABpAG4AZwAgADMAAAAQAAMABiQBD4RoAUAmAl6EaAEHADUIgUNKFgAA MAAEAAEAAgAwAAwACQBIAGUAYQBkAGkAbgBnACAANAAAAAgABAAGJAFAJgMDADUIgQBIAAUA AQACAEgADAAJAEgAZQBhAGQAaQBuAGcAIAA1AAAAGwAFAAYkAQ3GCAACigUiGwDADoTp/kAm BF2E6f4ABwA1CIFDShgAAEQABgABAAIARAAMAAkASABlAGEAZABpAG4AZwAgADYAAAAYAAYA BiQBD4SKBRGE9hBAJgVehIoFYIT2EAcANQiBQ0oQAAA8AAcAAQACADwADAAJAEgAZQBhAGQA aQBuAGcAIAA3AAAAEAAHAAYkAQ+EoAVAJgZehKAFBwA1CIFDShIAAEQACAABAAIARAAMAAkA SABlAGEAZABpAG4AZwAgADgAAAAYAAgABiQBD4QG/xGE+gBAJgdehAb/YIT6AAcANQiBQ0oY AAA0AAkAAQACADQADAAJAEgAZQBhAGQAaQBuAGcAIAA5AAAACAAJAAYkAUAmCAcANQiBQ0oY AAA8AEFA8v+hADwADAAWAEQAZQBmAGEAdQBsAHQAIABQAGEAcgBhAGcAcgBhAHAAaAAgAEYA bwBuAHQAAAAAAAAAAAAAAAAAQAD+TwEAAgFAAAwADwBEAGUAZgBpAG4AaQB0AGkAbwBuACAA VABlAHIAbQAAAAIADwAOAENKGABoCAB0SAkEdQgASAD+TwEA8gBIAAwADwBEAGUAZgBpAG4A aQB0AGkAbwBuACAATABpAHMAdAAAAAoAEAAPhGgBXoRoAQ4AQ0oYAGgIAHRICQR1CAA4AP4P AQACADgADAACAEgAMwAAABAAEQAGJAETpGQAFKRkAEAmAxEANQiBQ0ocAGgIAHRICQR1CAAA LAA+AAEAIgEsAAwABQBUAGkAdABsAGUAAAAIABIAAyQBYSQBBwA1CIFDSiQAACwAQgABADIB LAAMAAkAQgBvAGQAeQAgAFQAZQB4AHQAAAAIABMAAyQDYSQDAAA4AFkAAQBCATgADAAMAEQA bwBjAHUAbQBlAG4AdAAgAE0AYQBwAAAABgAUAC1EIAEIAE9KAwBRSgMALgBQAAEAUgEuAAwA CwBCAG8AZAB5ACAAVABlAHgAdAAgADIAAAACABUAAwA1CIEAMgBRAAEAYgEyAAwACwBCAG8A ZAB5ACAAVABlAHgAdAAgADMAAAACABYABwA1CIFDShgAADAAWgABAHIBMAAMAAoAUABsAGEA aQBuACAAVABlAHgAdAAAAAIAFwAIAE9KBABRSgQAAAAAAAEAAAACAAAA+gkAAP////8AAAAA AQD/////AAAAAAAAAAAAAAAAAQAAAAEA/////wAAAAAAAAAAAQAAAAIAAAAAAAAAAAAAAAAA AAAAAAAAAAABAAAAAgAAAAUAAAAAAAAAAAgBAAAAAAj//wAAAAAAAAAA+gkAAAQAACAAAAAA /////wAEAACdEQAACwAAAAAEAACSCAAA7xAAAJ0RAAAMAAAADgAAAA8AAAAABAAAnREAAA0A AAAPAADw8AAAAAAABvAYAAAAAggAAAIAAAAdAAAAAQAAAAEAAAAeAAAATwAB8LAAAABiAAfw JAAAAAYG1L4g4NZ66KFe32q+7eedCP8A2xEAAAEAAAA0IAAAAAAAAGIAB/AkAAAABgYJYw+s wO/oAT2B0Nu/3Ztj/wA5FwAAAQAAAA8yAAAAAAAAYgAH8CQAAAAGBsWfYaz2hnDh/JBFzqWB CjX/AJcxAAABAAAASEkAAAAAAABiAAfwJAAAAAYGfX1AAkPyvF1P8qMWLHHCV/8AKyUAAAAA AAD/////AAAAAEAAHvEQAAAA//8AAAAA/wCAgIAA9wAAEAAPAALwNgIAABAACPAIAAAABAAA AB0EAAAQABjxBAAAAAEAAAAPAAPwyAEAAA8ABPAoAAAAAQAJ8BAAAAAAAAAAAAAAAAAAAAAA AAAAAgAK8AgAAAAABAAABQAAAA8ABPBKAAAAsgQK8AgAAAAVBAAAAAoAACMAC/AMAAAABEEC AAAA/wEAAAgAAAAQ8AQAAAACAAAAAAAR8AQAAAAeAAAAEwAi8QYAAAC/AwAAAIAPAATwSgAA ALIECvAIAAAAFwQAAAAKAAAjAAvwDAAAAARBAQAAAP8BAAAIAAAAEPAEAAAAAAAAAAAAEfAE AAAADgAAABMAIvEGAAAAvwMAAACADwAE8OwAAACyBArwCAAAAB0EAAAACgAAcwAL8KgAAAAE QQMAAAAFwWgAAAAGAQIAAAD/AQAACACBwxYAAACEAwAAAACGAwAAAABoAHQAdABwADoALwAv AHcAdwB3AC4AZQBsAHMAZQB2AGkAZQByAC4AbgBsAC8AaQBuAGMAYQAvAGMAbwB2AGUAcgBz AC8AcwB0AG8AcgBlAC8ANgAwADEANQAzADkALgBnAGkAZgAAAEMAbwB2AGUAcgAgAFAAYQBn AGUAAAAAABDwBAAAAAEAAAAAABHwBAAAAAgAAAAjACLxDAAAAJIDAwAAAL8DAAAAAg8ABPBC AAAAEgAK8AgAAAABBAAAAA4AAFMAC/AeAAAAvwEAABAAywEAAAAA/wEAAAgABAMJAAAAPwMB AAEAAAAR8AQAAAABAAAAAAAAAKQAAAANCQAA+gkAABcEAAAnIAAAJgEAAMcjAACfBgAAdAAA AAAAHQQAAEQAAADCAAAAagcAAMYLAABUAAAAAAAVBAAAxwEAAJcAAABJCAAAdwgAAHQAAAAA AAAAAABCAgAARQIAAEgDAABbAwAA9gkAAPsJAAAHABwABwAcAAcABwAAAAAAxQAAAMwAAAAb AQAAJgEAAGoBAADjAQAAPQIAAEICAAA9CAAAQwgAAGsIAABtCAAATAkAAE4JAACpCQAAsQkA APYJAAD7CQAABwAaAAcAGgAHAAQABwAaAAcAGgAHABoABwAaAAcAGgAHAAcA//8UAAAADQBJ AFQAIABPAHAAZQByAGEAdABpAG8AbgBzAEQAXABcAEUATABTAEEATQBTAFMAUgBVAFUAUgBE AFwATwBEAEkARQBTAE4ASQBTAFwATwBsAGkAdgBpAGUAcgBcAE0AYQB0AGgAcwBcAEIAbwBv AGsAcwBcAFQARgBQAE8AXABUAEYAUABPACAAbwByAGQAZQByACAAZgBvAHIAbQAuAGQAbwBj AA0ASQBUACAATwBwAGUAcgBhAHQAaQBvAG4AcwArAEQAOgBcAEEAdQB0AG8AUgBlAGMAbwB2 AGUAcgB5ACAAcwBhAHYAZQAgAG8AZgAgAFQARgBQAE8AIABvAHIAZABlAHIAIABmAG8AcgBt AC4AYQBzAGQADQBJAFQAIABPAHAAZQByAGEAdABpAG8AbgBzAEQAXABcAEUATABTAEEATQBT AFMAUgBVAFUAUgBEAFwATwBEAEkARQBTAE4ASQBTAFwATwBsAGkAdgBpAGUAcgBcAE0AYQB0 AGgAcwBcAEIAbwBvAGsAcwBcAFQARgBQAE8AXABUAEYAUABPACAAbwByAGQAZQByACAAZgBv AHIAbQAuAGQAbwBjAAgAQQAuAEQAZQBlAGwAZQBuAFUAQwA6AFwAVwBJAE4ARABPAFcAUwBc AEEAcABwAGwAaQBjAGEAdABpAG8AbgAgAEQAYQB0AGEAXABNAGkAYwByAG8AcwBvAGYAdABc AFcAbwByAGQAXABBAHUAdABvAEgAZQByAHMAdABlAGwALQB2AGUAcgBzAGkAZQAgAHYAYQBu ACAAVABGAFAATwAgAG8AcgBkAGUAcgAgAGYAbwByAG0ALgBhAHMAZAAIAEEALgBEAGUAZQBs AGUAbgArAEMAOgBcAE0AaQBqAG4AIABkAG8AYwB1AG0AZQBuAHQAZQBuAFwAYQBuAGQAeQB3 AGUAcgBrAFwASgBhAGMAbwBiAHMAZgBsAHkAZQByAC4AZABvAGMACABBAC4ARABlAGUAbABl AG4AUQBDADoAXABXAEkATgBEAE8AVwBTAFwAQQBwAHAAbABpAGMAYQB0AGkAbwBuACAARABh AHQAYQBcAE0AaQBjAHIAbwBzAG8AZgB0AFwAVwBvAHIAZABcAEEAdQB0AG8ASABlAHIAcwB0 AGUAbAAtAHYAZQByAHMAaQBlACAAdgBhAG4AIABKAGEAYwBvAGIAcwBmAGwAeQBlAHIALgBh AHMAZAAIAEEALgBEAGUAZQBsAGUAbgArAEMAOgBcAE0AaQBqAG4AIABkAG8AYwB1AG0AZQBu AHQAZQBuAFwAYQBuAGQAeQB3AGUAcgBrAFwASgBhAGMAbwBiAHMAZgBsAHkAZQByAC4AZABv AGMACABBAC4ARABlAGUAbABlAG4AHwBDADoAXABXAEkATgBEAE8AVwBTAFwAVABFAE0AUABc AEoAYQBjAG8AYgBzAGYAbAB5AGUAcgAuAGQAbwBjABAARQBsAHMAZQB2AGkAZQByACAAUwBj AGkAZQBuAGMAZQBMAFwAXABFAEwAUwBBAE0AUwBTAEIARQBSAFQAQQBcAE0AQwBTADQAMQA2 AFwATQBjAHMANAAxADYAXwBzAFwATQBhAHIAYQAtAEgAYQBuAGQAbwB2AGUAcgBcAFMAdABh AG4AZABhAHIAZABzAFwAQgBvAG8AawBzAFwASgBhAGMAbwBiAHMAZgBsAHkAZQByAC4AZABv AGMAEABFAGwAcwBlAHYAaQBlAHIAIABTAGMAaQBlAG4AYwBlAB8AQwA6AFwAVwBJAE4ARABP AFcAUwBcAFQARQBNAFAAXABKAGEAYwBvAGIAcwBmAGwAeQBlAHIALgBkAG8AYwABAP7///// /////w//D/8P/w//D/8P/w//D/8PAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAq AAIAAAD+////AAAAANDdcwABAAAA/v///wAAAAA03nMAAQAAAP/////c3XMAIAAMAAAAAAAX QAAAAAAAAAAAAAAAAAAAaAEAAAsQAAAPhNACEYSY/l6E0AJghJj+T0oBAFFKAQBvKAABALfw /////0DecwAgAAAAAAAAABdAAAAAAAAAAAAAAAAAAABoAQAACxAAAA+EoAURhJj+XoSgBWCE mP5PSgUAUUoFAG8oAAEAb/D//wEAAAAAAP9AAYABAJ8BAACfAQAABDN0AAEAJwCfAQAAAAAA AJ8BAAAAAAAAAkwAAAAAAAAAAAIAAAADAABdBgAAXQcAAF0IAAD6CQAAQAAACABAAABAAAAG AAAAAEAAABAAQAAAQAAADAAAAABAAAAOAAAAAEAAACAAQAAABgAAAEcWkAEAAAICBgMFBAUC AwSHAgAAAAAAAAAAAAAAAAAAnwAAAAAAAABUAGkAbQBlAHMAIABOAGUAdwAgAFIAbwBtAGEA bgAAADUWkAECAAUFAQIBBwYCBQcAAAAAAAAAEAAAAAAAAAAAAAAAgAAAAABTAHkAbQBiAG8A bAAAADMmkAEAAAILBgQCAgICAgSHAgAAAAAAAAAAAAAAAAAAnwAAAAAAAABBAHIAaQBhAGwA AAA1JpABAAACCwYEAwUEBAIEhzoAAAAAAAAAAAAAAAAAAP8AAAAAAAAAVABhAGgAbwBtAGEA AAA/NZABAAACBwMJAgIFAgQEhwIAAAAAAAAAAAAAAAAAAJ8AAAAAAAAAQwBvAHUAcgBpAGUA cgAgAE4AZQB3AAAAOwaQAQIABQAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAAAACAAAAAAFcA aQBuAGcAZABpAG4AZwBzAAAAIgAEAHEIiBgA8NACAABoAQAAAADxWVYmZ1pWJu9ZViYDAAEA AABwAQAANggAAAEABAAAAAQAAxARAAAAAAAAAAAAAAABAAEAAAABAAAAAAAAAFkCAPAQAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAKUGwAe0ALQAgAAyMAAA EAAZAGQAAAAZAAAAFQoAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAD//xIAAAAAAAAAIgBTAFAARQBDAEkA QQBMACAARABJAFMAQwBPAFUATgBUACAARgBPAFIAIABBAEwATAAgAEQARQBMAEUARwBBAFQA RQBTAAAAAAAAAA0ASQBUACAATwBwAGUAcgBhAHQAaQBvAG4AcwAQAEUAbABzAGUAdgBpAGUA cgAgAFMAYwBpAGUAbgBjAGUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP7/AAAEAAIAAAAAAAAAAAAAAAAA AAAAAAEAAADghZ/y+U9oEKuRCAArJ7PZMAAAALABAAASAAAAAQAAAJgAAAACAAAAoAAAAAMA AADMAAAABAAAANgAAAAFAAAA8AAAAAYAAAD8AAAABwAAAAgBAAAIAAAAHAEAAAkAAAA4AQAA EgAAAEQBAAAKAAAAYAEAAAsAAABsAQAADAAAAHgBAAANAAAAhAEAAA4AAACQAQAADwAAAJgB AAAQAAAAoAEAABMAAACoAQAAAgAAAOQEAAAeAAAAIwAAAFNQRUNJQUwgRElTQ09VTlQgRk9S IEFMTCBERUxFR0FURVMAcx4AAAABAAAAAFBFQx4AAAAOAAAASVQgT3BlcmF0aW9ucwBOVB4A AAABAAAAAFQgTx4AAAABAAAAAFQgTx4AAAALAAAATm9ybWFsLmRvdABuHgAAABEAAABFbHNl dmllciBTY2llbmNlAEZPUh4AAAACAAAAMwBzZR4AAAATAAAATWljcm9zb2Z0IFdvcmQgOC4w AFJAAAAAAEbDIwAAAABAAAAAAGLP7jnywAFAAAAAAO5VNjrywAFAAAAAAAI+lEnywAEDAAAA AQAAAAMAAABwAQAAAwAAADYIAAADAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD+/wAABAACAAAAAAAAAAAAAAAAAAAAAAACAAAA AtXN1ZwuGxCTlwgAKyz5rkQAAAAF1c3VnC4bEJOXCAArLPmuYAEAABwBAAAMAAAAAQAAAGgA AAAPAAAAcAAAAAUAAACMAAAABgAAAJQAAAARAAAAnAAAABcAAACkAAAACwAAAKwAAAAQAAAA tAAAABMAAAC8AAAAFgAAAMQAAAANAAAAzAAAAAwAAAD7AAAAAgAAAOQEAAAeAAAAEQAAAEVs c2V2aWVyIFNjaWVuY2UAAHMAAwAAABEAAAADAAAABAAAAAMAAAAVCgAAAwAAADEVCAALAAAA AAAAAAsAAAAAAAAACwAAAAAAAAALAAAAAAAAAB4QAAABAAAAIwAAAFNQRUNJQUwgRElTQ09V TlQgRk9SIEFMTCBERUxFR0FURVMADBAAAAIAAAAeAAAABgAAAFRpdGxlAAMAAAABAAAAAAAA XAEAAAQAAAAAAAAAKAAAAAEAAABSAAAAAgAAAFoAAAADAAAAsgAAAAIAAAACAAAACgAAAF9Q SURfR1VJRAADAAAADAAAAF9QSURfSExJTktTAAIAAADkBAAAQQAAAE4AAAB7ADkAMAA4ADUA QwA3ADAAMAAtADUARQAzAEQALQAxADEARAA1AC0AQQA4ADcARgAtADAAMAAwADIAQQA1ADAA MQA4AEUAOAA5AH0AAAAAAEEAAACgAAAABgAAAAMAAAA2ADoAAwAAAP////8DAAAAHQQAAAMA AAABAAAAHwAAADQAAABoAHQAdABwADoALwAvAHcAdwB3AC4AZQBsAHMAZQB2AGkAZQByAC4A bgBsAC8AaQBuAGMAYQAvAGMAbwB2AGUAcgBzAC8AcwB0AG8AcgBlAC8ANgAwADEANQAzADkA LgBnAGkAZgAAAB8AAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAQAAAAIAAAADAAAABAAAAAUAAAAGAAAABwAAAAgAAAAJAAAA CgAAAAsAAAAMAAAADQAAAA4AAAAPAAAAEAAAABEAAAASAAAAEwAAABQAAAAVAAAAFgAAABcA AAAYAAAAGQAAABoAAAAbAAAAHAAAAB0AAAAeAAAAHwAAACAAAAAhAAAAIgAAACMAAAAkAAAA JQAAACYAAAAnAAAAKAAAACkAAAAqAAAAKwAAACwAAAAtAAAALgAAAC8AAAAwAAAAMQAAADIA AAAzAAAANAAAADUAAAA2AAAANwAAADgAAAA5AAAAOgAAADsAAAA8AAAAPQAAAP7///8/AAAA QAAAAEEAAABCAAAAQwAAAEQAAABFAAAARgAAAEcAAABIAAAA/v///0oAAABLAAAATAAAAE0A AABOAAAATwAAAFAAAAD+////UgAAAFMAAABUAAAAVQAAAFYAAABXAAAAWAAAAP7////9//// WwAAAP7////+/////v////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////9SAG8AbwB0ACAA RQBuAHQAcgB5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA FgAFAf//////////AwAAAAYJAgAAAAAAwAAAAAAAAEYAAAAAIGiDc0nywAHAAJ6YSfLAAV0A AACAAAAAAAAAADEAVABhAGIAbABlAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAOAAIA////////////////AAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAPgAAAIoUAAAAAAAAVwBvAHIAZABEAG8AYwB1AG0AZQBuAHQA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABoAAgEFAAAA//////// //8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA33oAAAAAAAAFAFMA dQBtAG0AYQByAHkASQBuAGYAbwByAG0AYQB0AGkAbwBuAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAKAACAQIAAAAEAAAA/////wAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAEkAAAAAEAAAAAAAAAUARABvAGMAdQBtAGUAbgB0AFMAdQBtAG0AYQByAHkASQBuAGYA bwByAG0AYQB0AGkAbwBuAAAAAAAAAAAAAAA4AAIB////////////////AAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAUQAAAAAQAAAAAAAAAQBDAG8AbQBwAE8AYgBqAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABIAAgEBAAAA BgAAAP////8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAagAAAAAA AABPAGIAagBlAGMAdABQAG8AbwBsAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAFgABAP///////////////wAAAAAAAAAAAAAAAAAAAAAAAAAAwACemEny wAHAAJ6YSfLAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA////////////////AAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAP7///////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// //////////////////8BAP7/AwoAAP////8GCQIAAAAAAMAAAAAAAABGGAAAAE1pY3Jvc29m dCBXb3JkIERvY3VtZW50AAoAAABNU1dvcmREb2MAEAAAAFdvcmQuRG9jdW1lbnQuOAD0ObJx AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA== --==_Exmh_-17233775960-- From rrosebru@mta.ca Mon Jun 18 13:15:29 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5IFmu604622 for categories-list; Mon, 18 Jun 2001 12:48:56 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: johanj@pop.cs.uu.nl X-Mailer: QUALCOMM Windows Eudora Pro Version 4.0 Date: Mon, 18 Jun 2001 13:17:11 +0200 To: categories@mta.ca From: Johan Jeuring Subject: categories: Working Conference on Generic Programming: first call for papers Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Message-Id: <20010618111707.85D844518@mail.cs.uu.nl> Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 32 WCGP '02 IFIP TC2 Working Conference on GENERIC PROGRAMMING http://www.generic-programming.nl/wcgp/cfp.html Organised in conjunction with MPC'02 July 8 - July 13, 2002 Dagstuhl, Germany CALL FOR PAPERS Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic programs are often quite rich in structure. For example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only recently have generic programming techniques become a specific focus of research in the functional and object-oriented programming language communities. This working conference will bring together leading researchers in generic programming from around the world, and feature papers capturing the state of the art in this important emerging area. We welcome contributions on all aspects, theoretical as well as practical, of generic programming, aspect-oriented programming, polytypic programming, adaptive object-oriented programming, generic components, and so on. SUBMISSION Full papers should be submitted in Postscript or pdf format by e-mail to reach Jeremy.Gibbons@comlab.ox.ac.uk by February 16, 2002. The details of the submission procedure can be found at http://www.generic-programming.nl/wcgp/submit.html Although there is no page limit, submissions should strive for brevity and clarity. IMPORTANT DATES Submission February 16, 2002 Notification April 12, 2002 Final version due May 24, 2002 PROGRAMME COMMITTEE Matt Austern Eerke Boiten Ulrich Eisenecker Jeremy Gibbons (co-chair) Ralf Hinze Johan Jeuring (co-chair) Gary Leavens Karl Lieberherr Lambert Meertens Eugenio Moggi Bernhard Moeller Oege de Moor David Musser Martin Odersky Ross Paterson Simon Peyton Jones Colin Runciman Doaitse Swierstra Stephanie Weirich LOCAL ORGANISATION Jeremy Gibbons Johan Jeuring Bernhard Moeller CORRESPONDENCE Jeremy Gibbons (Jeremy.Gibbons@comlab.ox.ac.uk) Johan Jeuring (johan@jeuring.net) From rrosebru@mta.ca Mon Jun 18 13:20:26 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5IFlrl31781 for categories-list; Mon, 18 Jun 2001 12:47:53 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Sun, 17 Jun 2001 09:37:10 -0400 (EDT) From: Peter Freyd Message-Id: <200106171337.f5HDbAK17133@saul.cis.upenn.edu> To: categories@mta.ca Subject: categories: Take that, Martin Hyland! Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 33 Copyright 2001 Gale Group, Inc. Business and Management Practices Mondaq Business Briefing - The Henley Business Partnership Ltd, United Kingdom May 18, 2001 HEADLINE: United Kingdom: Where Has All The Profit Gone? LENGTH: 1416 words BYLINE: Quinton, John ... Understanding these Cost Accounting and Management Reporting techniques requires intelligent effort, rather than a degree in mathematical logic from Cambridge. This is much more applied common sense than accounting wizardry. ... From rrosebru@mta.ca Mon Jun 18 15:56:04 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5IIM5Z16729 for categories-list; Mon, 18 Jun 2001 15:22:05 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Authentication-Warning: triples.math.mcgill.ca: rags owned process doing -bs Date: Mon, 18 Jun 2001 11:07:16 -0400 (EDT) From: "Robert A.G. Seely" To: categories@mta.ca Subject: categories: Re: Take that, Martin Hyland! In-Reply-To: <200106171337.f5HDbAK17133@saul.cis.upenn.edu> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 34 On Sun, 17 Jun 2001, Peter Freyd wrote: > ... > > Understanding these Cost Accounting and Management Reporting > techniques requires intelligent effort, rather than a degree in > mathematical logic from Cambridge. This is much more applied common > sense than accounting wizardry. > > ... Yes, but what about a degree in mathematical logic from *Oxford*? (Unless you were referring to Martin's students ...) -= rags =- ================== R.A.G. Seely From rrosebru@mta.ca Tue Jun 19 14:24:53 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5JGx5J04697 for categories-list; Tue, 19 Jun 2001 13:59:05 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Mon, 18 Jun 2001 15:30:58 -0400 (EDT) From: Peter Freyd Message-Id: <200106181930.f5IJUwm16348@saul.cis.upenn.edu> To: categories@mta.ca Subject: categories: Re: Take that, Martin Hyland! Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 35 I doubt if one should ever try to explain such a thing, but apparently when I quoted one John Quinton that there were matters that require ...intelligent effort, rather than a degree in mathematical logic from Cambridge with my comment "Take that, Martin Hyland" Robert was moved to ask: Yes, but what about a degree in mathematical logic from *Oxford*? (Unless you were referring to Martin's students ...) What I had in mind can be confirmed from the list of members of Cambridge's maths department: www.dpmms.cam.ac.uk/site2000/Staff/Staff_List.html Martin's subject is listed as "Logic" (Peter's is "Topos Theory" -- and no one lists "Category Theory"). There are two others whose subject is listed as "Logic" but both are described as postdocs. This unique status of Martin must thus be born in mind by any who eschews intelligent effort in favor of a degree in mathematical logic from Cambridge. From rrosebru@mta.ca Thu Jun 28 20:07:39 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5SMEOk21133 for categories-list; Thu, 28 Jun 2001 19:14:24 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Tue, 26 Jun 2001 13:03:01 -0400 (EDT) Message-Id: <200106261703.f5QH31l07617@csb.bu.edu> From: Paul Levy To: categories@mta.ca Subject: categories: Call-By-Push-Value thesis available Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 36 Dear colleagues, My PhD thesis "Call-By-Push-Value" is available at http://cs-people.bu.edu/pbl/papers/thesisqmwphd.ps.gz The call-by-push-value paradigm is based to a large extent on the theory of adjunctions. Part 3 of the thesis explains this connection, so I hope it will be of especial interest to category theorists. Regards Paul Blain Levy, Boston University http://cs-people.bu.edu/pbl/ ------------------------------------------------------------------------ Call-By-Push-Value PhD thesis, Queen Mary, University of London, March 2001 Abstract Call-by-push-value (CBPV) is a new programming language paradigm, based on the slogan ``a value is, a computation does''. We claim that CBPV provides the semantic primitives from which the call-by-value and call-by-name paradigms are built. The primary goal of the thesis is to present the evidence for this claim, which is found in a remarkably wide range of semantics: from operational semantics, in big-step form and in machine form, to denotational models using domains, possible worlds, continuations and games. In the first part of the thesis, we come to CBPV and its equational theory by looking critically at the call-by-value and call-by-name paradigms in the presence of general computational effects. We give a Felleisen/Friedman-style CK-machine semantics, which explains how CBPV can be understood in terms of push/pop instructions. In the second part we give simple CBPV models for printing, divergence, global store, errors, erratic choice and control effects, as well as for various combinations of these effects. We develop the store model into a possible world model for cell generation, and (following Steele) we develop the control model into a ``jumping implementation'' using a continuation language called Jump-With-Argument (JWA). We present a pointer game model for CBPV, in the style of Hyland and Ong. We see that the game concepts of questioning and answering correspond to the CBPV concepts of forcing and producing respectively. We observe that this game semantics is closely related to the jumping implementation. In the third part of the thesis, we study the categorical semantics for the CBPV equational theory. We present and compare 3 approaches: \begin{itemize} \item models using \emph{strong monads}, in the style of Moggi; \item models using \emph{value/producer structures}, in the style of Power and Robinson; \item models using (strong) adjunctions. \end{itemize} All the concrete models in the thesis are seen to be adjunction models. From rrosebru@mta.ca Fri Jun 29 13:36:45 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5TG9TI31666 for categories-list; Fri, 29 Jun 2001 13:09:29 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Received: from zent.mta.ca (zent.mta.ca [138.73.101.4]) by mailserv.mta.ca (8.11.1/8.11.1) with SMTP id f5TEs1b25944 for ; Fri, 29 Jun 2001 11:54:01 -0300 (ADT) X-Received: FROM mustang.oldcity.dca.net BY zent.mta.ca ; Fri Jun 29 11:56:40 2001 -0300 X-Received: from email.unc.edu (ppp-216-158-29-156.cust.oldcity.dca.net [216.158.29.156]) by mustang.oldcity.dca.net (8.9.3/8.9.3/DCANET) with ESMTP id KAA30453; Fri, 29 Jun 2001 10:53:58 -0400 Message-ID: <3B3C96ED.93C8AB83@email.unc.edu> Date: Fri, 29 Jun 2001 10:55:41 -0400 From: jim stasheff X-Mailer: Mozilla 4.61 [en]C-CCK-MCD NECCK (Win98; I) X-Accept-Language: en MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Sad news Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 37 I regret to inform you that Bob Gordon died last weekend. He had been diagonosed with cancer, a tumor on the aortic arch which pressed on the lungs and trachea. He was in an excellent cancer hospital near Philadelphia. The chemo and radiation had been producing some improvement. Up to last Saturday he was stable though very weak. Saturday morning his blood pressure went up and his heart weakened. Intensive care was able to stabilize him then suddenly his heart quit. There is a memorial service Sunday July 1 at the Gordon home. If you would like me to convey sympathy or relevant anecdotes to his wife and daughters, just let me know. jim stasheff From rrosebru@mta.ca Sat Jun 30 11:19:16 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5UDeFH30367 for categories-list; Sat, 30 Jun 2001 10:40:15 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 29 Jun 2001 09:53:58 +0200 From: Jerome Durand-Lose Message-Id: <200106290753.f5T7rwP14709@nereid.inria.fr> To: categories@mta.ca Subject: categories: STACS 2002 -- 2nd Call for papers Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 38 ============================================================== We apologize for multiple copies of this call for papers ============================================================== +--------------------+ | | | STACS 2002 | | | +--------------------+ 19th International Symposium on Theoretical Aspects of Computer Science Antibes Juan-les-Pins, France March 14-16 2002 http://www.inria.fr/stacs2002 SCOPE: Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include (but are not limited to): * Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory; * Automata and formal languages; * Computational and structural complexity; * Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction; * Current challenges, for example: theory, models, and algorithms for biological computing, quantum computing, mobile and net computing. SUBMISSIONS: Authors are invited to submit a draft of a full paper (5-12 pages, the title page must contain a classification of the topic covered, preferably using the list of topics above). The paper should contain a succinct statement of the issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Electronic submission is highly recommended. In case of problems with access to internet, it is possible to submit 6 copies of the draft (plus 1 copy of the appendix) and 15 copies of a one page abstract to the chairperson of the program committee. Detailed information is available on the web site. IMPORTANT DATES: Deadline for submission: September 14, 2001 Notification to authors: November 21, 2001 Final version: December 14, 2001 Symposium: March 14-16, 2002 PROCEEDINGS: Accepted papers will be published in the proceedings of the Symposium (Lecture Notes in Computer Science, Springer-Verlag). Simultaneous submission to other conferences with published proceedings is not allowed. PROGRAM COMMITTEE: H. Alt (Berlin) Co-Chair H. Buhrman (Amsterdam) B. Chlebus (Warsaw) T. Erlebach (Zuerich) A. Ferreira (Sophia-Antipolis) Chair H. Ganzinger (Saarbruecken) D. Lugiez (Marseille) Y. Metivier (Bordeaux) C. Moore (Albuquerque / Santa Fe) A. Muscholl (Paris) G. Pucci (Padova) G. Schnitger (Frankfurt) T. Schwentick (Jena) D. Trystram (Grenoble) B. Voecking (Saarbruecken) KEYNOTE SPEAKER: M.O. Rabin (Harvard) INVITED SPEAKERS: G. Dowek (Rocquencourt) C. Scheideler (Baltimore) CONFERENCE CHAIR: Afonso Ferreira CNRS et I3S INRIA Sophia-Antipolis 2004, route des Lucioles BP 93 F-06902 Sophia-Antipolis France ORGANIZING COMMITTEE CHAIR: J. Durand-Lose (Nice) E-ADDRESS: stacs@sophia.inria.fr WEB SITE: http://www.inria.fr/stacs2002 ==== please post and distribute ==== From rrosebru@mta.ca Sat Jun 30 11:21:19 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5UDfwP15663 for categories-list; Sat, 30 Jun 2001 10:41:58 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 29 Jun 2001 20:30:18 +0900 (JST) From: Shinya MIYAKAWA Message-Id: <200106291130.UAA17110@apollon.ito.ecei.tohoku.ac.jp> To: categories@mta.ca Subject: categories: TACS2001 PRELIMINARY PROGRAM AND REGISTRATION INFORMATION Content-Type: text Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 39 <> PRELIMINARY PROGRAM AND REGISTRATION INFORMATION International Symposium on Theoretical Aspects of Computer Software (TACS2001) Tohoku University, Sendai, Japan October 28-31, 2001 Further information about TACS2001 can be obtained on the Web, at: http://tacs2001.ito.ecei.tohoku.ac.jp/tacs2001/ Any inquiry on TACS2001 Program and Registration may be directed to TACS2001@ito.ecei.tohoku.ac.jp ====================================================================== TACS2001 PRELIMINARY PROGRAM OCTOBER 28 SUNDAY 16:00 REGISTRATION at Sendai Tokyu Hotel till 21:00 19:30 WELCOME RECEPTION at Sendai Tokyu Hotel till 21:00 OCTOBER 29 MONDAY at Aoba Memorial Building, Tohoku University 9:10 INVITED TALK 1 Luca Cardelli A Spatial Logic for Concurrency 10:10 Break SESSION 1, 10:30 - 12:00 10:30 Michele Bugliesi, Giuseppe Castagna, Silvia Crafa Boxed Ambients 11:00 Daisuke Hoshina and Akinori Yonezawa A Typed Process Calculus for Fine-grained Resource Access Control in Distributed Computation 11:30 Martin Abadi and Jan Jurjens Formal Eavesdropping and its Computational Interpretation 12:00 Lunch Break 13:15 INVITED TALK 2 Kazunori Ueda Resource-Passing Concurrent Programming 14:15 Break SESSION 2, 14:35 - 15:35 14:35 Cosimo Laneve, Joachim Parrow, Bjorn Victor Solo Diagrams 15:05 Barbara Koenig and Ugo Montanari Observational Equivalence for Synchronized Graph Rewriting with Mobility 15:35 Break SESSION 3, 15:55 - 17:25 15:55 Hiroshi Nakano Fixed-point Logic with the Approximation Modality and its Kripke Completeness 16:25 Daniel Leivant Termination Proofs and Complexity Certification 16:55 Keye Martin A Uniform Approach to Searching 17:25 Break OCTOBER 30 TUESDAY at Aoba Memorial Building, Tohoku University 9:10 INVITED TALK 3 Andrew M. Pitts Nominal Logic: A First Order Theory of Names and Binding 10:10 Break SESSION 4, 10:30 - 12:00 10:30 Makoto Hamana A Logic Programming Language based on Binding Algebras 11:00 Didier Galmiche and Daniel Mery Proof-search and Countermodel Generation in Propositional BI Logic 11:30 Mizuhito Ogawa Generation of a Linear Time Query Processing Algorithm based on Well-Quasi-Orders 12:00 Lunch Break 13:15 INVITED TALK 4 Christine Paulin-Mohring Modelisation of Timed Automata in Coq 14:15 Break SESSION 5, 14:35 - 16:05 14:35 Javier Esparza, Antonin Kucera, Stefan Schwoon Model-Checking LTL with Regular Valuations for Pushdown Systems 15:05 Martin Franzle What Will be Eventually True of Polynomial Hybrid Automata? 15:35 Joachim Niehren and Tim Priesnitz Non-structural Subtype Entailment in Automata Theory 16:05 Break SESSION 6, 16:25 - 17:25 16:25 Ph. Schnoebelen Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems 16:55 Antti Puhakka Weakest Congruence Results Concerning "Any-Lock" 17:25 Break 18:30 BANQUET at Sendai Tokyu Hotel till 20:30 OCTOBER 31st WEDNESDAY at Aoba Memorial Building, Tohoku University 9:10 INVITED TALK 5 Jon G. Riecke Design and Correctness of Program Transformations based on Control-Flow Analysis 10:10 Break SESSION 7, 10:30 - 12:00 10:30 Marcello M. Bonsangue and Joost N. Kok Infinite Intersection and Union Types for the Lazy Lambda Calculus 11:00 Yoriyuki Yamagata Strong Normalization of Second Order Symmetric Lambda-mu Calculus 11:30 Philip Wadler The Girard-Reynolds Isomorphism 12:00 Lunch Break 13:15 INVITED TALK 6 Daniel Jackson Lightweight Formalism for Software Design 14:15 Break SESSION 8, 14:30 - 15:30 14:30 Lennart Beringer Typing Assembly Programs with Explicit Forwarding 15:00 Andrei Serjantov, Peter Sewell, Keith Wansbrough The UDP Calculus: Rigorous Semantics for Real Networking 15:30 Break 15:45 OPEN LECTURE Benjamin C. Pierce Theory and Practice of Synchronization 17:00 CLOSING SESSION till 17:10 -------------------------- 18:30 Japanese Dinner Party for Participants from Abroad ============================================================================== TACS2001 is sponsored by Tohoku University, Sendai, Japan in cooperation with Information Processing Society of Japan Japan Society for Software Science and Technology Association for Symbolic Logic Association for Computing Machinery--SIGACT Symposium Chair: Takayasu Ito Tohoku University Program Chairs: Naoki Kobayashi Tokyo Institute of Technology Benjamin Pierce University of Pennsylvania Program Committee Zena Ariola University of Oregon Cedric Fournet Microsoft Research Jacques Garrigue Kyoto University Masami Hagiya University of Tokyo Robert Harper Carnegie Mellon University Masahito Hasegawa Kyoto University Nevin Heintze Lucent Technologies Martin Hofmann University of Edinburgh Zhenjiang Hu University of Tokyo Naoki Kobayashi Tokyo Institute of Technology Martin Odersky Ecole Polytechnique Federale de Lausanne Catuscia Palamidessi Pennsylvania State University Benjamin Pierce University of Pennsylvania Francois Pottier INRIA Andre Scedrov University of Pennsylvania Natarajan Shankar SRI International Ian Stark University of Edinburgh Makoto Tatuta National Institute of Informatics, Tokyo ========================================================================= GENERAL INFORMATION TACS2001 will be held on the campus of Tohoku University, Sendai, Japan. The invited talks and contributed talks will be presented at the Aoba Memorial Building, Faculty of Engineering located on the Aoba Hill about 3 km west of downtown Sendai. The welcome reception and banquet will be held at Sendai Tokyu Hotel, located in downtown Sendai. The TACS2001 proceedings will be available as a volume of Lecture Notes in Computer Science, Springer-Verlag, at the time of the conference. Sendai is the largest city in the northern part of Honshu Island of Japan, with a population of about a million. The city is known in Japan as the "City of Trees". It is 350 km north of Tokyo and about 2 hours away by the Tohoku Bullet Train (Tohoku Shinkansen). Sendai is a modern, safe city with a moderate climate blessed by four distinct seansons. At the end of October the weather would be mostly sunny with temperature ranging from 5 C (41 F) to 15 C (59 F), and it will be the time of beautiful autumnal tints. Conference registration is open to the public. Reservations for the Japanese dinner party (October 31st) will be limited. Register and make reservations by returning the completed form by email and fax. The registration form is attached below, and it is also available from the TACS2001 web site. There will also be on-site registration at: * Sendai Tokyu Hotel, 16:00 - 21:00, October 28, * Aoba Memorial Bldg, Tohoku Univ, 9:00 - 17:00 on October 29-31. Some information on transportation and hotels is described below. More information on TACS2001, including travel information, is available at the TACS2001 web page: http://tacs2001.ito.ecei.tohoku.ac.jp/tacs2001/ Transportation ^^^^^^^^^^^^^^ Conference participants arriving at the new Tokyo International (Narita) Airport are advised to take the JR Narita Express train from Narita Airport to Tokyo Station. Then take the Yamabiko super express train of Tohoku Shinkansen (Tohoku Bullet Train) from Tokyo to Sendai. Making reservation at Narita Station for the Yamabiko is strongly recommended. Those arriving at the new Osaka International (Kansai) Airport can fly to Sendai Airport, and take Limousine Bus service to Sendai Station. Alternatively, you can take a local train from the Kansai Airport to JR Shin Osaka Station, then take the Tokaido Shinkansen from JR Shin Osaka Station to JR Tokyo Station and change at Tokyo Station to Tohoku Shinkansen. Some details on transportation will be available at the TACS2001 web page. Note: (1) No flight service is available from Narita to Sendai Airport, since the train service is superior. There is another train service from Narita Airport to downtown Tokyo (Ueno) by Skyliner of the Keisei-Narita Line. At Ueno you can take the Yamabiko superexpress of Tohoku Shinkansen to Sendai, but you have to walk about 10 min from Keisei Ueno Station to JR Ueno Station to take Tohoku Shinkansen. (2) If you are going to travel in Japan by JR lines before/after the TACS2001 symposium, it will be convenient and economical to get a JR PASS before your departure. Contact your travel agent for more information on JR PASS (Japan Rail Pass). Hotels ^^^^^^ Two hotels offer discount rates to TACS2001 participants: the Sendai Tokyu Hotel, and the Sendai Washington Hotel. They are 1.2 km west of Sendai Station and about 800 Yen by taxi from the station. Two hotels are located within 5 min walk of each other. More information on TACS2001 is available at the TACS2001 web page. =========================================================================== REGISTRATION AND RESERVATION Registration Fees ^^^^^^^^^^^^^^^^^ Registration fees cover attendance in all sessions, a copy of proceedings, refreshments and snack, the welcome reception and banquet, but not the Japanese dinner party on October 31st. The reduced author rate applies to all authors of the accepted papers, and the reduced committee member rate applies to all members of the Program Committee and the Organizing Committee. The student rate applies to full time students. Registrants paying reduced rates have full privileges at the conference. The companion rate covers the welcome reception and banquet only. Through September 17 From September 18 Regular 40,000 Yen 50,000 Yen Author 30,000 Yen 40,000 Yen Committee Member 30,000 Yen 40,000 Yen Student 20,000 Yen 30,000 Yen Companion 4,000 Yen 6,000 Yen Hotels ^^^^^^ Two convenient Western style hotels offer TACS2001 discount rates. Rates are per person, per night, and include service charge and tax (not including breakfast). Single Room Twin Room Sendai Tokyu Hotel 10,185 Yen 7,560 Yen Sendai Washington Hotel II 8,000 Yen 7,000 Yen Sendai Washington Hotel I 7,000 Yen --------- Note: Twin room reservations are available for two persons. No roommate matching service is available, so twin room reservations remain registrant's responsibility. Japanese dinner party for participants from abroad ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ A Japanese dinner party for participants from abroad will be held at TOYOKAN in the evening of October 31st. The invited speakers, PC members, and some others will attend. A limited number of reservations will be available for this dinner party. The rates are as follows. Conference registrant: 10,000 Yen Companion: 6,000 Yen =================================================================================== Cut here to send your registration and reservation form after filling in the items. =================================================================================== TACS2001 REGISTRATION AND RESERVATION FORM Please register and make reservations by completing the form below and returning it by email to tcs02@thk.jtb.co.jp Registrants are advised to email a copy of their completed form to TACS2001@ito.ecei.tohoku.ac.jp They are also encouraged to send a signed, printed copy of their completed form by FAX to 022-296-3327 (domestic) +81-22-296-3327 (from abroad) which is the fax number of the following agent to take care of the conference registration and reservation. Japan Travel Bureau Group Tours Office Tohoku Tobu Sendai Daiichi Bldg, 6th Floor 4-6-1 Tsutsujigaoka, Miyagino-ku, Sendai 983-0852, Japan FAX: 022-296-3327 (domestic) +81-22-296-3327 (from abroad) PHONE: 022-296-3361 (domestic) +81-22-296-3361 (from abroad) Email: tcs02@thk.jtb.co.jp Registration and reservations will be completed by your payment, whose method is described below. "IMPORTANT NOTE" As described below, from the standpoint of the safety, registrants are advised to pay fees by Bank Transfer. When the payment is made by a credit card, they are advised to send the required information, including Credit Card numbers by FAX; that is, do NOT send Credit Card numbers by email. REGISTRATION FOR TACS2001 ^^^^^^^^^^^^^^^^^^^^^^^^^ Last (Family) Name: First (Given) Name: Middle: Affiliation: Postal Address: City/State/Zip: Country: Phone: Fax: Email: Registration Status : Number of Companions: Companions' names (if applicable): (A) Total Registration Fee(s) in Yen: HOTEL RESERVATION ^^^^^^^^^^^^^^^^^ Hotel First Choice: Hotel Second Choice: Number of Single Room(s): Number of Twin Room(s): Roommate's Name(s) for Twin Room(s): Check-in Date: Check-out Date: Number of Nights: Special Room or other Request: JAPANESE DINNER PARTY ^^^^^^^^^^^^^^^^^^^^^ A limited number of reservations are available for the Japanese dinner party to be held at TOYOKAN in the evening of October 31st, for participants from abroad. (B) 10,000 Yen x [ ] conference registrant(s): (C) 6,000 Yen x [ ] companion(s): TOTAL FEE IN YEN ^^^^^^^^^^^^^^^^ (A) + (B) + (C): Signature (not needed for email): METHOD OF PAYMENT FOR TACS2001 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ From the standpoint of the safety and security, participants are encouraged to pay via Bank Transfer. When they pay via credit card, they are advised to send the required information (in particular, Credit Card numbers) by FAX; that is, do NOT send your Credit Card numbers by email. In credit card payment Visa card, MasterCard, and Diners card will be accepted. Personal checks cannot be accepted. All payments must be made in Japanese Yen. Indicate method of payment below: [ ] Bank Transfer to Bank: Tokyo Mitsubishi Bank, Sendai Branch Account Name: TACS2001 Chair Takayasu Ito Account No. 1180724 From : Date of transfer: Payer's name: Note: In Japan the bank number of Tokyo Mitsubishi Bank is 0005, and the number of its Sendai Branch is 320. [ ] Payment by Credit Card Credit Card Type : Card Number: Expiration Date: Signature (not needed for email): : When your payment is via Credit Card, send the above information by FAX to +81-22-296-3327, the fax no. of Japan Travel Bureau Group Tours Office Tohoku. Even when you send the above form by fax, send it by EMAIL without filling in Credit Card number for safety. ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Registration and reservations will be confirmed upon receipt of payment. Refunds will be made upon written request received through October 15, 2001 by Japan Travel Bureau Group Tours Office Tohoku. -----*****-----*****-----*****----- From rrosebru@mta.ca Sat Jun 30 11:55:37 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5UEOsF29001 for categories-list; Sat, 30 Jun 2001 11:24:54 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Received: from zent.mta.ca (zent.mta.ca [138.73.101.4]) by mailserv.mta.ca (8.11.1/8.11.1) with SMTP id f5TMPDb12258 for ; Fri, 29 Jun 2001 19:25:14 -0300 (ADT) X-Received: FROM macadam.mpce.mq.edu.au BY zent.mta.ca ; Fri Jun 29 19:27:53 2001 -0300 X-Received: from hera.mpce.mq.edu.au (hera.mpce.mq.edu.au [137.111.219.13]) by macadam.mpce.mq.edu.au (8.8.8/8.8.8) with ESMTP id IAA09869; Sat, 30 Jun 2001 08:24:56 +1000 (EST) X-Received: from [137.111.7.84] (muras-remote70.ocs.mq.edu.au [137.111.7.84]) by hera.mpce.mq.edu.au (8.9.3+Sun/8.9.3) with ESMTP id IAA03489; Sat, 30 Jun 2001 08:25:10 +1000 (EST) Mime-Version: 1.0 X-Sender: street@hera.mpce.mq.edu.au Message-Id: Date: Sat, 30 Jun 2001 08:28:10 +1000 To: categories@mta.ca, James Stasheff From: Ross Street Subject: categories: Re: Sad news Content-Type: text/plain; charset="us-ascii" ; format="flowed" Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 40 Dear Jim Yes, I would like you to convey my sympathy to Muriel and the rest of Bob Gordon's family at the memorial service. I did not know Bob had a serious illness so this comes as a very sad surprise. My relationship with Bob was a very happy and enjoyable one. John Power introduced me to him and we started what turned out to be a huge project which would never have reached completion without Bob's original contribution, attention to detail, and organization of the typing. It was his idea to submit it to Memoirs. I am proud to have my name on that paper. My family and I often recall the fantastic hospitality of the Gordon family when we visited Pennsylvania. We stayed in their house, were guests of honour at a great party, and our children liked each other. Another happy time was the MSRI conference in San Francisco. Bob and I stayed in his ex-brother-in-law's beautiful apartment overlooking Fisherman's Wharf and the Bay. Bob rented a car and drove a group of us around the Napa Valley and surrounds. Bob was always very generous and too often down played his own ability. We were happy when Bob came to Australia. He seemed to like Sydney. Brian Day enjoyed talking with Bob on all kinds of topics (not just mathematics). Brian also sends his condolences. I know that Bob had many health problems to suffer during his life and I was amazed how he rose above them to concentrate on mathematics. I know also that he had not made contact for quite some time but I expected to hear eventually what mathematics he had been thinking about. But that is not to be. Ross From rrosebru@mta.ca Sat Jun 30 15:23:08 2001 -0300 Return-Path: Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5UHoY227216 for categories-list; Sat, 30 Jun 2001 14:50:34 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-ID: <20010630164411.15501.qmail@web12203.mail.yahoo.com> Date: Sat, 30 Jun 2001 09:44:11 -0700 (PDT) From: Galchin Vasili Subject: categories: Chu spaces vs Topoi (and maybe Stone Spaces) To: categories@mta.ca MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 41 Hello Cat Community, I have been reading some of Prof. Pratt's papers on Chu spaces. I am just trying to understand Topos. Both seem to generalize the notion of topological spaces. Is there any relationship beteween Chu spaces and Topoi? Regards, Bill Halchin