From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10370 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ugo de Liguoro Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda,gmane.science.mathematics.categories,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory Subject: CfP - Intersection Types and Related Systems - ITRS2021 Date: Fri, 22 Jan 2021 10:28:56 +0100 Message-ID: <02ea165d-01fa-2c8a-0f16-18a7f23b08a0@di.unito.it> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="------------380A883B354D8591D38443E8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12659"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:78.0) Gecko/20100101 Thunderbird/78.6.1 To: eutypes-Mttm5w9jbbk@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, moca-announce-HnE2qM1WCGmhtn/xwUALyw@public.gmane.org, linear-UfE5FQABeHN2Qaki92YDXw@public.gmane.org, cl-isabelle-users-33AaDErTWvBK/gkPnarB6Q@public.gmane.org, ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org, theory-logic-ddtmkgJwdYjltQq4i4S/Dg@public.gmane.org, logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org, theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Fri Jan 22 11:12:30 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-000c2a01.pphosted.com ([148.163.155.36]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1l2tQb-00036q-SW for gcst-types-announce@m.gmane-mx.org; Fri, 22 Jan 2021 11:12:30 +0100 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 10MABfNE028531; Fri, 22 Jan 2021 05:11:41 -0500 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-000c2a01.pphosted.com with ESMTP id 366f4srq1m-1; Fri, 22 Jan 2021 05:11:40 -0500 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 10MABV44083745; Fri, 22 Jan 2021 05:11:31 -0500 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 10MABVst125616; Fri, 22 Jan 2021 05:11:31 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0b-00390e01.pphosted.com (mx0b-00390e01.pphosted.com [148.163.137.158]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 10M9Wcp2123103 for ; Fri, 22 Jan 2021 04:32:39 -0500 Original-Received: from pps.filterd (m0172793.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 10M9LeSu011066 for ; Fri, 22 Jan 2021 04:32:38 -0500 Original-Received: from pps.reinject (localhost [127.0.0.1]) by mx0b-00390e01.pphosted.com with ESMTP id 366kn7h9ee-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 22 Jan 2021 04:32:37 -0500 Original-Received: from pps.reinject (m0172793.ppops.net [127.0.0.1]) by pps.reinject (8.16.0.43/8.16.0.43) with SMTP id 10M9ObIr018332 for ; Fri, 22 Jan 2021 04:32:37 -0500 Original-Received: from mail.di.unito.it (pianeta.di.unito.it [130.192.156.1]) by mx0b-00390e01.pphosted.com with ESMTP id 366kn7h907-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 22 Jan 2021 04:29:51 -0500 X-MailScanner-From: deligu-2eFfYwgyqgY1GQ1Ptb7lUw@public.gmane.org X-SpamCheck: not spam, SpamAssassin (not cached, score=-101.727, required 3, autolearn=not spam, ALL_TRUSTED -1.00, AUTHENTICATEDUSER -100.00, AWL 0.34, BAYES_00 -1.90, HTML_MESSAGE 0.00, HTML_TAG_BALANCE_HEAD 0.82, T_HTML_ATTACH 0.01, URIBL_BLOCKED 0.00) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: 10M9Stds028524 X-dipinfo-MailScanner-Information: Please contact Department of Computer Science technical staff for more information Original-Received: from mail.di.unito.it ([130.192.156.1]) by mail.di.unito.it (INFO-DIP) with ESMTPSA id 10M9Stds028524 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO AuthenticatedUser=deligu ); Fri, 22 Jan 2021 10:28:55 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.11.0 mail.di.unito.it 10M9Stds028524 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1611307737; bh=4ezWE8IwFPQgpdDfGHfD8kozJNftS1h63fvArHKuL3c=; h=To:From:Subject:Date; b=cZF6YVWgP53ERlLm8lyY3TbESm/RZLiked0PY0/R43eeW59iw568PtCtuS9/vMd2Q Aw8sjAEXCTDX+9mUhz2p8QTR3ULLoW3kniK6sYh0yk7CU+oXUJMyN1VXceJXpwg+CR AYVSYwcWva4UckwrgxRnLAU76+NHxYOc1fTGwSsc= Content-Language: it X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.343, 18.0.737 definitions=2021-01-22_06:2021-01-21, 2021-01-22 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxlogscore=999 suspectscore=0 spamscore=0 priorityscore=0 mlxscore=0 adultscore=0 lowpriorityscore=0 phishscore=0 bulkscore=0 impostorscore=0 clxscore=200 malwarescore=0 classifier=spam adjust=-10 reason=mlx scancount=2 engine=8.12.0-2009150000 definitions=main-2101220050 domainage_hfrom=9125 X-Mailman-Approved-At: Fri, 22 Jan 2021 05:11:30 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.343,18.0.737 definitions=2021-01-22_06:2021-01-21,2021-01-22 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 impostorscore=0 lowpriorityscore=0 suspectscore=0 adultscore=0 bulkscore=0 mlxscore=0 malwarescore=0 spamscore=0 mlxlogscore=999 priorityscore=1501 phishscore=0 clxscore=1011 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2101220053 Xref: news.gmane.io gmane.comp.science.types.announce:9406 gmane.science.mathematics.logic.coq.club:23029 gmane.comp.lang.agda:12460 gmane.science.mathematics.categories:10370 gmane.science.mathematics.logic.isabelle.user:17939 gmane.science.mathematics.prooftheory:1647 Archived-At: This is a multi-part message in MIME format. --------------380A883B354D8591D38443E8 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --------------380A883B354D8591D38443E8 Content-Type: multipart/alternative; boundary="------------666242456767694A07D76B6A" --------------666242456767694A07D76B6A Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit ITRS 2021 Call for papers Tenth Workshop on Intersection Types and Related Systems - ITRS 2021 17 July 2021, Online Affiliated withFSCD , 17-24 July 2021, Buenos Aires Web page:http://www.di.unito.it/~deligu/ITRS2021/ Aims and Scope Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus. The key idea is to introduce an intersection type constructor ∧ such that a term of type t ∧ s can be used at both type t and s within the same context. This provides a finite polymorphism where various, even unrelated, types of the term are listed explicitly, differently from the more widely used universally quantified types where the polymorphic type is the common schema which stands for its various type instances. As a consequence, more terms (all and only the normalizing terms) can be typed than with universal polymorphism. Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions. Restricted (and more manageable) forms have been investigated, such as refinement types. Type systems based on intersection type theory have been extensively studied for practical purposes, such as program analysis and higher-order model checking. The dual notion of union types turned out to be quite useful for programming languages. Finally, the behavioural approach to types, which can give a static specification of computational properties, has become central in the most recent research on type theory. The ITRS 2021 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Possible topics for submitted papers include, but are not limited to: * Formal properties of systems with intersection types. * Results for related systems, such as union types, refinement types, or singleton types. * Applications to lambda calculus, pi-calculus and similar systems. * Applications for programming languages, program analysis, and program verification. * Applications for other areas, such as database query languages and program extraction from proofs. * Related approaches using behavioural/intensional types and/or denotational semantics to characterize computational properties. * Quantitative refinements of intersection types. ITRS workshops have been held every two years (with the exception of 2020, because of COVID-19 outbreak). Information about the previous events is available at theITRS home page . Invited Speaker * Jeremy Siek (Indiana University Bloomington) Paper Submissions Papers must be original and not previously published, nor submitted elsewhere. Papers should be prepared in LaTeX using theEPTCS macro package and should be in the range of 3-16 pages, plus at most 2 pages of references. Submissions will be collected via EasyChair and reviewed by anonymous referees. Important Dates * Paper submission: 12 April 2021 * Author notification: 24 May 2021 * Final version: 18 June 2021 * Workshop: 17 July 2021 Program Committee * Antonio Bucciarelli, Université de Paris, France * Daniel De Carvalho, Innopolis University, Russia * Andrej Dudenhefner, Saarland University, Germany * Silvia Ghilezan, University of Novi Sad, Serbia * Ugo de' Liguoro, Università di Torino, Italy (chair) * Jeremy Siek, Indiana University Bloomington, USA (co-chair) Organizers: Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, Università di Torino, Italy (riccardo.treglia-Ob+gDNbliO0@public.gmane.org) Steering Committee * Mariangiola Dezani-Ciancaglini, Università di Torino, Italy * Jakob Rehof, TU University of Dortmund, Germany * Joe Wells, Heriot-Watt University, Scotland -- Ugo de'Liguoro Associate Professor of Computer Science Dipartimento di Informatica Università di Torino Corso Svizzera 185, 10149, Torino, Italy phone: +39 011 6706766 - fax: +39 011 751603 --------------666242456767694A07D76B6A Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

ITRS 2021 Call for papers

Tenth Workshop on Intersection Types and Related Systems - ITRS 2021

17 July 2021, Online

Affiliated with FSCD, 17-24 July 2021, Buenos Aires

Web page: http://www.di.unito.it/~deligu/ITRS2021/

Aims and Scope

Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus. The key idea is to introduce an intersection type constructor ∧ such that a term of type t ∧ s can be used at both type t and s within the same context. This provides a finite polymorphism where various, even unrelated, types of the term are listed explicitly, differently from the more widely used universally quantified types where the polymorphic type is the common schema which stands for its various type instances. As a consequence, more terms (all and only the normalizing terms) can be typed than with universal polymorphism.

Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions. Restricted (and more manageable) forms have been investigated, such as refinement types. Type systems based on intersection type theory have been extensively studied for practical purposes, such as program analysis and higher-order model checking. The dual notion of union types turned out to be quite useful for programming languages. Finally, the behavioural approach to types, which can give a static specification of computational properties, has become central in the most recent research on type theory.

The ITRS 2021 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Possible topics for submitted papers include, but are not limited to:

  • Formal properties of systems with intersection types.
  • Results for related systems, such as union types, refinement types, or singleton types.
  • Applications to lambda calculus, pi-calculus and similar systems.
  • Applications for programming languages, program analysis, and program verification.
  • Applications for other areas, such as database query languages and program extraction from proofs.
  • Related approaches using behavioural/intensional types and/or denotational semantics to characterize computational properties.
  • Quantitative refinements of intersection types.

ITRS workshops have been held every two years (with the exception of 2020, because of COVID-19 outbreak). Information about the previous events is available at the ITRS home page.

Invited Speaker

  • Jeremy Siek (Indiana University Bloomington)

Paper Submissions

Papers must be original and not previously published, nor submitted elsewhere. Papers should be prepared in LaTeX using the EPTCS macro package and should be in the range of 3-16 pages, plus at most 2 pages of references. Submissions will be collected via EasyChair and reviewed by anonymous referees. 

Important Dates

  • Paper submission: 12 April 2021
  • Author notification: 24 May 2021
  • Final version: 18 June 2021
  • Workshop: 17 July 2021

Program Committee

  • Antonio Bucciarelli, Université de Paris, France
  • Daniel De Carvalho, Innopolis University, Russia
  • Andrej Dudenhefner, Saarland University, Germany
  • Silvia Ghilezan, University of Novi Sad, Serbia
  • Ugo de' Liguoro, Università di Torino, Italy (chair)
  • Jeremy Siek, Indiana University Bloomington, USA (co-chair)

Organizers:

Ugo de' Liguoro, Università di Torino, Italy 

Riccardo Treglia, Università di Torino, Italy (riccardo.treglia-Ob+gDNbliO0@public.gmane.org)

Steering Committee

  • Mariangiola Dezani-Ciancaglini, Università di Torino, Italy
  • Jakob Rehof, TU University of Dortmund, Germany
  • Joe Wells, Heriot-Watt University, Scotland

-- 

Ugo de'Liguoro
Associate Professor of Computer Science
Dipartimento di Informatica
Università di Torino
Corso Svizzera 185, 10149, Torino, Italy
phone: +39 011 6706766 - fax: +39 011 751603
--------------666242456767694A07D76B6A-- --------------380A883B354D8591D38443E8 Content-Type: text/html; charset=UTF-8; x-mac-type="0"; x-mac-creator="0"; name="ITRS 2021 Call for Papers.html" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="ITRS 2021 Call for Papers.html" PCFET0NUWVBFIGh0bWw+CjxodG1sPgoKPGhlYWQ+Cgo8bWV0YSBjaGFyc2V0PSJ1dGYtOCI+ CjxtZXRhIG5hbWU9InZpZXdwb3J0IiBjb250ZW50PSJ3aWR0aD1kZXZpY2Utd2lkdGgsIGlu aXRpYWwtc2NhbGU9MS4wLCB1c2VyLXNjYWxhYmxlPXllcyI+Cjx0aXRsZT5JVFJTIDIwMjEg Q2FsbCBmb3IgUGFwZXJzPC90aXRsZT4KCgo8c3R5bGUgdHlwZT0idGV4dC9jc3MiPgpib2R5 IHsKICBmb250LWZhbWlseTogSGVsdmV0aWNhLCBhcmlhbCwgc2Fucy1zZXJpZjsKICBmb250 LXNpemU6IDE0cHg7CiAgbGluZS1oZWlnaHQ6IDEuNjsKICBwYWRkaW5nLXRvcDogMTBweDsK ICBwYWRkaW5nLWJvdHRvbTogMTBweDsKICBiYWNrZ3JvdW5kLWNvbG9yOiB3aGl0ZTsKICBw YWRkaW5nOiAzMHB4OyB9Cgpib2R5ID4gKjpmaXJzdC1jaGlsZCB7CiAgbWFyZ2luLXRvcDog MCAhaW1wb3J0YW50OyB9CmJvZHkgPiAqOmxhc3QtY2hpbGQgewogIG1hcmdpbi1ib3R0b206 IDAgIWltcG9ydGFudDsgfQoKYSB7CiAgY29sb3I6ICM0MTgzQzQ7IH0KYS5hYnNlbnQgewog IGNvbG9yOiAjY2MwMDAwOyB9CmEuYW5jaG9yIHsKICBkaXNwbGF5OiBibG9jazsKICBwYWRk aW5nLWxlZnQ6IDMwcHg7CiAgbWFyZ2luLWxlZnQ6IC0zMHB4OwogIGN1cnNvcjogcG9pbnRl cjsKICBwb3NpdGlvbjogYWJzb2x1dGU7CiAgdG9wOiAwOwogIGxlZnQ6IDA7CiAgYm90dG9t OiAwOyB9CgpoMSwgaDIsIGgzLCBoNCwgaDUsIGg2IHsKICBtYXJnaW46IDIwcHggMCAxMHB4 OwogIHBhZGRpbmc6IDA7CiAgZm9udC13ZWlnaHQ6IGJvbGQ7CiAgLXdlYmtpdC1mb250LXNt b290aGluZzogYW50aWFsaWFzZWQ7CiAgY3Vyc29yOiB0ZXh0OwogIHBvc2l0aW9uOiByZWxh dGl2ZTsgfQoKaDE6aG92ZXIgYS5hbmNob3IsIGgyOmhvdmVyIGEuYW5jaG9yLCBoMzpob3Zl ciBhLmFuY2hvciwgaDQ6aG92ZXIgYS5hbmNob3IsIGg1OmhvdmVyIGEuYW5jaG9yLCBoNjpo b3ZlciBhLmFuY2hvciB7CiAgYmFja2dyb3VuZDogdXJsKGRhdGE6aW1hZ2UvcG5nO2Jhc2U2 NCxpVkJPUncwS0dnb0FBQUFOU1VoRVVnQUFBQkFBQUFBUUNBWUFBQUFmOC85aEFBQUFHWFJG V0hSVGIyWjBkMkZ5WlFCQlpHOWlaU0JKYldGblpWSmxZV1I1Y2NsbFBBQUFBMDlwVkZoMFdF MU1PbU52YlM1aFpHOWlaUzU0YlhBQUFBQUFBRHcvZUhCaFkydGxkQ0JpWldkcGJqMGk3N3Uv SWlCcFpEMGlWelZOTUUxd1EyVm9hVWg2Y21WVGVrNVVZM3ByWXpsa0lqOCtJRHg0T25odGNH MWxkR0VnZUcxc2JuTTZlRDBpWVdSdlltVTZibk02YldWMFlTOGlJSGc2ZUcxd2RHczlJa0Zr YjJKbElGaE5VQ0JEYjNKbElEVXVNeTFqTURFeElEWTJMakUwTlRZMk1Td2dNakF4TWk4d01p OHdOaTB4TkRvMU5qb3lOeUFnSUNBZ0lDQWdJajRnUEhKa1pqcFNSRVlnZUcxc2JuTTZjbVJt UFNKb2RIUndPaTh2ZDNkM0xuY3pMbTl5Wnk4eE9UazVMekF5THpJeUxYSmtaaTF6ZVc1MFlY Z3Ribk1qSWo0Z1BISmtaanBFWlhOamNtbHdkR2x2YmlCeVpHWTZZV0p2ZFhROUlpSWdlRzFz Ym5NNmVHMXdQU0pvZEhSd09pOHZibk11WVdSdlltVXVZMjl0TDNoaGNDOHhMakF2SWlCNGJX eHVjenA0YlhCTlRUMGlhSFIwY0RvdkwyNXpMbUZrYjJKbExtTnZiUzk0WVhBdk1TNHdMMjF0 THlJZ2VHMXNibk02YzNSU1pXWTlJbWgwZEhBNkx5OXVjeTVoWkc5aVpTNWpiMjB2ZUdGd0x6 RXVNQzl6Vkhsd1pTOVNaWE52ZFhKalpWSmxaaU1pSUhodGNEcERjbVZoZEc5eVZHOXZiRDBp UVdSdlltVWdVR2h2ZEc5emFHOXdJRU5UTmlBb01UTXVNQ0F5TURFeU1ETXdOUzV0TGpReE5T QXlNREV5THpBekx6QTFPakl4T2pBd09qQXdLU0FnS0UxaFkybHVkRzl6YUNraUlIaHRjRTFO T2tsdWMzUmhibU5sU1VROUluaHRjQzVwYVdRNk9VTTJOamxEUWpJNE9EQkdNVEZGTVRnMU9E bEVPRE5FUkRKQlJqVXdRVFFpSUhodGNFMU5Pa1J2WTNWdFpXNTBTVVE5SW5odGNDNWthV1E2 T1VNMk5qbERRak00T0RCR01URkZNVGcxT0RsRU9ETkVSREpCUmpVd1FUUWlQaUE4ZUcxd1RV MDZSR1Z5YVhabFpFWnliMjBnYzNSU1pXWTZhVzV6ZEdGdVkyVkpSRDBpZUcxd0xtbHBaRG81 UXpZMk9VTkNNRGc0TUVZeE1VVXhPRFU0T1VRNE0wUkVNa0ZHTlRCQk5DSWdjM1JTWldZNlpH OWpkVzFsYm5SSlJEMGllRzF3TG1ScFpEbzVRelkyT1VOQ01UZzRNRVl4TVVVeE9EVTRPVVE0 TTBSRU1rRkdOVEJCTkNJdlBpQThMM0prWmpwRVpYTmpjbWx3ZEdsdmJqNGdQQzl5WkdZNlVr UkdQaUE4TDNnNmVHMXdiV1YwWVQ0Z1BEOTRjR0ZqYTJWMElHVnVaRDBpY2lJL1BzUWhYZUFB QUFCZlNVUkJWSGphWXZ6Ly96OERKWUNSVWdNWVFBYkFNQlFJQXZFcWtCUVdYSTZzSHF3SGl3 RzcwVFRCeEdhaVd3akNUR2dPVWdKaUYxSjh3TVJBSVVBMzRCNFE3NkhVQmVsQWZKWVNBMEN1 TUlFYVJQOHdHSWtHTUE1NGJnUUlNQUNBbWtYSmkwaEtKUUFBQUFCSlJVNUVya0pnZ2c9PSkg bm8tcmVwZWF0IDEwcHggY2VudGVyOwogIHRleHQtZGVjb3JhdGlvbjogbm9uZTsgfQoKaDEg dHQsIGgxIGNvZGUgewogIGZvbnQtc2l6ZTogaW5oZXJpdDsgfQoKaDIgdHQsIGgyIGNvZGUg ewogIGZvbnQtc2l6ZTogaW5oZXJpdDsgfQoKaDMgdHQsIGgzIGNvZGUgewogIGZvbnQtc2l6 ZTogaW5oZXJpdDsgfQoKaDQgdHQsIGg0IGNvZGUgewogIGZvbnQtc2l6ZTogaW5oZXJpdDsg fQoKaDUgdHQsIGg1IGNvZGUgewogIGZvbnQtc2l6ZTogaW5oZXJpdDsgfQoKaDYgdHQsIGg2 IGNvZGUgewogIGZvbnQtc2l6ZTogaW5oZXJpdDsgfQoKaDEgewogIGZvbnQtc2l6ZTogMjhw eDsKICBjb2xvcjogYmxhY2s7IH0KCmgyIHsKICBmb250LXNpemU6IDI0cHg7CiAgYm9yZGVy LWJvdHRvbTogMXB4IHNvbGlkICNjY2NjY2M7CiAgY29sb3I6IGJsYWNrOyB9CgpoMyB7CiAg Zm9udC1zaXplOiAxOHB4OyB9CgpoNCB7CiAgZm9udC1zaXplOiAxNnB4OyB9CgpoNSB7CiAg Zm9udC1zaXplOiAxNHB4OyB9CgpoNiB7CiAgY29sb3I6ICM3Nzc3Nzc7CiAgZm9udC1zaXpl OiAxNHB4OyB9CgpwLCBibG9ja3F1b3RlLCB1bCwgb2wsIGRsLCBsaSwgdGFibGUsIHByZSB7 CiAgbWFyZ2luOiAxNXB4IDA7IH0KCmhyIHsKICBiYWNrZ3JvdW5kOiB0cmFuc3BhcmVudCB1 cmwoZGF0YTppbWFnZS9wbmc7YmFzZTY0LGlWQk9SdzBLR2dvQUFBQU5TVWhFVWdBQUFBWUFB QUFFQ0FZQUFBQ3RCRTVEQUFBQUdYUkZXSFJUYjJaMGQyRnlaUUJCWkc5aVpTQkpiV0ZuWlZK bFlXUjVjY2xsUEFBQUF5SnBWRmgwV0UxTU9tTnZiUzVoWkc5aVpTNTRiWEFBQUFBQUFEdy9l SEJoWTJ0bGRDQmlaV2RwYmowaTc3dS9JaUJwWkQwaVZ6Vk5NRTF3UTJWb2FVaDZjbVZUZWs1 VVkzcHJZemxrSWo4K0lEeDRPbmh0Y0cxbGRHRWdlRzFzYm5NNmVEMGlZV1J2WW1VNmJuTTZi V1YwWVM4aUlIZzZlRzF3ZEdzOUlrRmtiMkpsSUZoTlVDQkRiM0psSURVdU1DMWpNRFl3SURZ eExqRXpORGMzTnl3Z01qQXhNQzh3TWk4eE1pMHhOem96TWpvd01DQWdJQ0FnSUNBZ0lqNGdQ SEprWmpwU1JFWWdlRzFzYm5NNmNtUm1QU0pvZEhSd09pOHZkM2QzTG5jekxtOXlaeTh4T1Rr NUx6QXlMekl5TFhKa1ppMXplVzUwWVhndGJuTWpJajRnUEhKa1pqcEVaWE5qY21sd2RHbHZi aUJ5WkdZNllXSnZkWFE5SWlJZ2VHMXNibk02ZUcxd1BTSm9kSFJ3T2k4dmJuTXVZV1J2WW1V dVkyOXRMM2hoY0M4eExqQXZJaUI0Yld4dWN6cDRiWEJOVFQwaWFIUjBjRG92TDI1ekxtRmti MkpsTG1OdmJTOTRZWEF2TVM0d0wyMXRMeUlnZUcxc2JuTTZjM1JTWldZOUltaDBkSEE2THk5 dWN5NWhaRzlpWlM1amIyMHZlR0Z3THpFdU1DOXpWSGx3WlM5U1pYTnZkWEpqWlZKbFppTWlJ SGh0Y0RwRGNtVmhkRzl5Vkc5dmJEMGlRV1J2WW1VZ1VHaHZkRzl6YUc5d0lFTlROU0JOWVdO cGJuUnZjMmdpSUhodGNFMU5Pa2x1YzNSaGJtTmxTVVE5SW5odGNDNXBhV1E2T0VORFJqTkJO MEUyTlRaQk1URkZNRUkzUWpSQk9ETTROekpETWpsR05EZ2lJSGh0Y0UxTk9rUnZZM1Z0Wlc1 MFNVUTlJbmh0Y0M1a2FXUTZPRU5EUmpOQk4wSTJOVFpCTVRGRk1FSTNRalJCT0RNNE56SkRN amxHTkRnaVBpQThlRzF3VFUwNlJHVnlhWFpsWkVaeWIyMGdjM1JTWldZNmFXNXpkR0Z1WTJW SlJEMGllRzF3TG1scFpEbzRRME5HTTBFM09EWTFOa0V4TVVVd1FqZENORUU0TXpnM01rTXlP VVkwT0NJZ2MzUlNaV1k2Wkc5amRXMWxiblJKUkQwaWVHMXdMbVJwWkRvNFEwTkdNMEUzT1RZ MU5rRXhNVVV3UWpkQ05FRTRNemczTWtNeU9VWTBPQ0l2UGlBOEwzSmtaanBFWlhOamNtbHdk R2x2Ymo0Z1BDOXlaR1k2VWtSR1BpQThMM2c2ZUcxd2JXVjBZVDRnUEQ5NGNHRmphMlYwSUdW dVpEMGljaUkvUHFxZXpzVUFBQUFmU1VSQlZIamFZbVJBQmNZd0JpTTJRU0E0eTRoTkVLWURR eEFFQUFJTUFITkdBemhrUE9sWUFBQUFBRWxGVGtTdVFtQ0MpIHJlcGVhdC14IDAgMDsKICBi b3JkZXI6IDAgbm9uZTsKICBjb2xvcjogI2NjY2NjYzsKICBoZWlnaHQ6IDRweDsKICBwYWRk aW5nOiAwOwp9Cgpib2R5ID4gaDI6Zmlyc3QtY2hpbGQgewogIG1hcmdpbi10b3A6IDA7CiAg cGFkZGluZy10b3A6IDA7IH0KYm9keSA+IGgxOmZpcnN0LWNoaWxkIHsKICBtYXJnaW4tdG9w OiAwOwogIHBhZGRpbmctdG9wOiAwOyB9CiAgYm9keSA+IGgxOmZpcnN0LWNoaWxkICsgaDIg ewogICAgbWFyZ2luLXRvcDogMDsKICAgIHBhZGRpbmctdG9wOiAwOyB9CmJvZHkgPiBoMzpm aXJzdC1jaGlsZCwgYm9keSA+IGg0OmZpcnN0LWNoaWxkLCBib2R5ID4gaDU6Zmlyc3QtY2hp bGQsIGJvZHkgPiBoNjpmaXJzdC1jaGlsZCB7CiAgbWFyZ2luLXRvcDogMDsKICBwYWRkaW5n LXRvcDogMDsgfQoKYTpmaXJzdC1jaGlsZCBoMSwgYTpmaXJzdC1jaGlsZCBoMiwgYTpmaXJz dC1jaGlsZCBoMywgYTpmaXJzdC1jaGlsZCBoNCwgYTpmaXJzdC1jaGlsZCBoNSwgYTpmaXJz dC1jaGlsZCBoNiB7CiAgbWFyZ2luLXRvcDogMDsKICBwYWRkaW5nLXRvcDogMDsgfQoKaDEg cCwgaDIgcCwgaDMgcCwgaDQgcCwgaDUgcCwgaDYgcCB7CiAgbWFyZ2luLXRvcDogMDsgfQoK bGkgcC5maXJzdCB7CiAgZGlzcGxheTogaW5saW5lLWJsb2NrOyB9CmxpIHsKICBtYXJnaW46 IDA7IH0KdWwsIG9sIHsKICBwYWRkaW5nLWxlZnQ6IDMwcHg7IH0KCnVsIDpmaXJzdC1jaGls ZCwgb2wgOmZpcnN0LWNoaWxkIHsKICBtYXJnaW4tdG9wOiAwOyB9CgpkbCB7CiAgcGFkZGlu ZzogMDsgfQogIGRsIGR0IHsKICAgIGZvbnQtc2l6ZTogMTRweDsKICAgIGZvbnQtd2VpZ2h0 OiBib2xkOwogICAgZm9udC1zdHlsZTogaXRhbGljOwogICAgcGFkZGluZzogMDsKICAgIG1h cmdpbjogMTVweCAwIDVweDsgfQogICAgZGwgZHQ6Zmlyc3QtY2hpbGQgewogICAgICBwYWRk aW5nOiAwOyB9CiAgICBkbCBkdCA+IDpmaXJzdC1jaGlsZCB7CiAgICAgIG1hcmdpbi10b3A6 IDA7IH0KICAgIGRsIGR0ID4gOmxhc3QtY2hpbGQgewogICAgICBtYXJnaW4tYm90dG9tOiAw OyB9CiAgZGwgZGQgewogICAgbWFyZ2luOiAwIDAgMTVweDsKICAgIHBhZGRpbmc6IDAgMTVw eDsgfQogICAgZGwgZGQgPiA6Zmlyc3QtY2hpbGQgewogICAgICBtYXJnaW4tdG9wOiAwOyB9 CiAgICBkbCBkZCA+IDpsYXN0LWNoaWxkIHsKICAgICAgbWFyZ2luLWJvdHRvbTogMDsgfQoK YmxvY2txdW90ZSB7CiAgYm9yZGVyLWxlZnQ6IDRweCBzb2xpZCAjZGRkZGRkOwogIHBhZGRp bmc6IDAgMTVweDsKICBjb2xvcjogIzc3Nzc3NzsgfQogIGJsb2NrcXVvdGUgPiA6Zmlyc3Qt Y2hpbGQgewogICAgbWFyZ2luLXRvcDogMDsgfQogIGJsb2NrcXVvdGUgPiA6bGFzdC1jaGls ZCB7CiAgICBtYXJnaW4tYm90dG9tOiAwOyB9Cgp0YWJsZSB7CiAgcGFkZGluZzogMDtib3Jk ZXItY29sbGFwc2U6IGNvbGxhcHNlOyB9CiAgdGFibGUgdHIgewogICAgYm9yZGVyLXRvcDog MXB4IHNvbGlkICNjY2NjY2M7CiAgICBiYWNrZ3JvdW5kLWNvbG9yOiB3aGl0ZTsKICAgIG1h cmdpbjogMDsKICAgIHBhZGRpbmc6IDA7IH0KICAgIHRhYmxlIHRyOm50aC1jaGlsZCgybikg ewogICAgICBiYWNrZ3JvdW5kLWNvbG9yOiAjZjhmOGY4OyB9CiAgICB0YWJsZSB0ciB0aCB7 CiAgICAgIGZvbnQtd2VpZ2h0OiBib2xkOwogICAgICBib3JkZXI6IDFweCBzb2xpZCAjY2Nj Y2NjOwogICAgICBtYXJnaW46IDA7CiAgICAgIHBhZGRpbmc6IDZweCAxM3B4OyB9CiAgICB0 YWJsZSB0ciB0ZCB7CiAgICAgIGJvcmRlcjogMXB4IHNvbGlkICNjY2NjY2M7CiAgICAgIG1h cmdpbjogMDsKICAgICAgcGFkZGluZzogNnB4IDEzcHg7IH0KICAgIHRhYmxlIHRyIHRoIDpm aXJzdC1jaGlsZCwgdGFibGUgdHIgdGQgOmZpcnN0LWNoaWxkIHsKICAgICAgbWFyZ2luLXRv cDogMDsgfQogICAgdGFibGUgdHIgdGggOmxhc3QtY2hpbGQsIHRhYmxlIHRyIHRkIDpsYXN0 LWNoaWxkIHsKICAgICAgbWFyZ2luLWJvdHRvbTogMDsgfQoKaW1nIHsKICBtYXgtd2lkdGg6 IDEwMCU7IH0KCnNwYW4uZnJhbWUgewogIGRpc3BsYXk6IGJsb2NrOwogIG92ZXJmbG93OiBo aWRkZW47IH0KICBzcGFuLmZyYW1lID4gc3BhbiB7CiAgICBib3JkZXI6IDFweCBzb2xpZCAj ZGRkZGRkOwogICAgZGlzcGxheTogYmxvY2s7CiAgICBmbG9hdDogbGVmdDsKICAgIG92ZXJm bG93OiBoaWRkZW47CiAgICBtYXJnaW46IDEzcHggMCAwOwogICAgcGFkZGluZzogN3B4Owog ICAgd2lkdGg6IGF1dG87IH0KICBzcGFuLmZyYW1lIHNwYW4gaW1nIHsKICAgIGRpc3BsYXk6 IGJsb2NrOwogICAgZmxvYXQ6IGxlZnQ7IH0KICBzcGFuLmZyYW1lIHNwYW4gc3BhbiB7CiAg ICBjbGVhcjogYm90aDsKICAgIGNvbG9yOiAjMzMzMzMzOwogICAgZGlzcGxheTogYmxvY2s7 CiAgICBwYWRkaW5nOiA1cHggMCAwOyB9CnNwYW4uYWxpZ24tY2VudGVyIHsKICBkaXNwbGF5 OiBibG9jazsKICBvdmVyZmxvdzogaGlkZGVuOwogIGNsZWFyOiBib3RoOyB9CiAgc3Bhbi5h bGlnbi1jZW50ZXIgPiBzcGFuIHsKICAgIGRpc3BsYXk6IGJsb2NrOwogICAgb3ZlcmZsb3c6 IGhpZGRlbjsKICAgIG1hcmdpbjogMTNweCBhdXRvIDA7CiAgICB0ZXh0LWFsaWduOiBjZW50 ZXI7IH0KICBzcGFuLmFsaWduLWNlbnRlciBzcGFuIGltZyB7CiAgICBtYXJnaW46IDAgYXV0 bzsKICAgIHRleHQtYWxpZ246IGNlbnRlcjsgfQpzcGFuLmFsaWduLXJpZ2h0IHsKICBkaXNw bGF5OiBibG9jazsKICBvdmVyZmxvdzogaGlkZGVuOwogIGNsZWFyOiBib3RoOyB9CiAgc3Bh bi5hbGlnbi1yaWdodCA+IHNwYW4gewogICAgZGlzcGxheTogYmxvY2s7CiAgICBvdmVyZmxv dzogaGlkZGVuOwogICAgbWFyZ2luOiAxM3B4IDAgMDsKICAgIHRleHQtYWxpZ246IHJpZ2h0 OyB9CiAgc3Bhbi5hbGlnbi1yaWdodCBzcGFuIGltZyB7CiAgICBtYXJnaW46IDA7CiAgICB0 ZXh0LWFsaWduOiByaWdodDsgfQpzcGFuLmZsb2F0LWxlZnQgewogIGRpc3BsYXk6IGJsb2Nr OwogIG1hcmdpbi1yaWdodDogMTNweDsKICBvdmVyZmxvdzogaGlkZGVuOwogIGZsb2F0OiBs ZWZ0OyB9CiAgc3Bhbi5mbG9hdC1sZWZ0IHNwYW4gewogICAgbWFyZ2luOiAxM3B4IDAgMDsg fQpzcGFuLmZsb2F0LXJpZ2h0IHsKICBkaXNwbGF5OiBibG9jazsKICBtYXJnaW4tbGVmdDog MTNweDsKICBvdmVyZmxvdzogaGlkZGVuOwogIGZsb2F0OiByaWdodDsgfQogIHNwYW4uZmxv YXQtcmlnaHQgPiBzcGFuIHsKICAgIGRpc3BsYXk6IGJsb2NrOwogICAgb3ZlcmZsb3c6IGhp ZGRlbjsKICAgIG1hcmdpbjogMTNweCBhdXRvIDA7CiAgICB0ZXh0LWFsaWduOiByaWdodDsg fQoKY29kZSwgdHQgewogIG1hcmdpbjogMCAycHg7CiAgcGFkZGluZzogMCA1cHg7CiAgd2hp dGUtc3BhY2U6IG5vd3JhcDsKICBib3JkZXI6IDFweCBzb2xpZCAjZWFlYWVhOwogIGJhY2tn cm91bmQtY29sb3I6ICNmOGY4Zjg7CiAgYm9yZGVyLXJhZGl1czogM3B4OyB9CgpwcmUgY29k ZSB7CiAgbWFyZ2luOiAwOwogIHBhZGRpbmc6IDA7CiAgd2hpdGUtc3BhY2U6IHByZTsKICBi b3JkZXI6IG5vbmU7CiAgYmFja2dyb3VuZDogdHJhbnNwYXJlbnQ7IH0KCi5oaWdobGlnaHQg cHJlIHsKICBiYWNrZ3JvdW5kLWNvbG9yOiAjZjhmOGY4OwogIGJvcmRlcjogMXB4IHNvbGlk ICNjY2NjY2M7CiAgZm9udC1zaXplOiAxM3B4OwogIGxpbmUtaGVpZ2h0OiAxOXB4OwogIG92 ZXJmbG93OiBhdXRvOwogIHBhZGRpbmc6IDZweCAxMHB4OwogIGJvcmRlci1yYWRpdXM6IDNw eDsgfQoKcHJlIHsKICBiYWNrZ3JvdW5kLWNvbG9yOiAjZjhmOGY4OwogIGJvcmRlcjogMXB4 IHNvbGlkICNjY2NjY2M7CiAgZm9udC1zaXplOiAxM3B4OwogIGxpbmUtaGVpZ2h0OiAxOXB4 OwogIG92ZXJmbG93OiBhdXRvOwogIHBhZGRpbmc6IDZweCAxMHB4OwogIGJvcmRlci1yYWRp dXM6IDNweDsgfQogIHByZSBjb2RlLCBwcmUgdHQgewogICAgYmFja2dyb3VuZC1jb2xvcjog dHJhbnNwYXJlbnQ7CiAgICBib3JkZXI6IG5vbmU7IH0KCnN1cCB7CiAgICBmb250LXNpemU6 IDAuODNlbTsKICAgIHZlcnRpY2FsLWFsaWduOiBzdXBlcjsKICAgIGxpbmUtaGVpZ2h0OiAw Owp9CgprYmQgewogIGRpc3BsYXk6IGlubGluZS1ibG9jazsKICBwYWRkaW5nOiAzcHggNXB4 OwogIGZvbnQtc2l6ZTogMTFweDsKICBsaW5lLWhlaWdodDogMTBweDsKICBjb2xvcjogIzU1 NTsKICB2ZXJ0aWNhbC1hbGlnbjogbWlkZGxlOwogIGJhY2tncm91bmQtY29sb3I6ICNmY2Zj ZmM7CiAgYm9yZGVyOiBzb2xpZCAxcHggI2NjYzsKICBib3JkZXItYm90dG9tLWNvbG9yOiAj YmJiOwogIGJvcmRlci1yYWRpdXM6IDNweDsKICBib3gtc2hhZG93OiBpbnNldCAwIC0xcHgg MCAjYmJiCn0KCiogewoJLXdlYmtpdC1wcmludC1jb2xvci1hZGp1c3Q6IGV4YWN0Owp9CkBt ZWRpYSBzY3JlZW4gYW5kIChtaW4td2lkdGg6IDkxNHB4KSB7CiAgICBib2R5IHsKICAgICAg ICB3aWR0aDogODU0cHg7CiAgICAgICAgbWFyZ2luOjAgYXV0bzsKICAgIH0KfQpAbWVkaWEg cHJpbnQgewoJdGFibGUsIHByZSB7CgkJcGFnZS1icmVhay1pbnNpZGU6IGF2b2lkOwoJfQoJ cHJlIHsKCQl3b3JkLXdyYXA6IGJyZWFrLXdvcmQ7Cgl9CiAgYm9keSB7CiAgICBwYWRkaW5n OiAyY207IAogIH0KfQo8L3N0eWxlPgoKCjwvaGVhZD4KCjxib2R5PgoKPGgzIGlkPSJ0b2Nf MCI+SVRSUyAyMDIxIENhbGwgZm9yIHBhcGVyczwvaDM+Cgo8aDIgaWQ9InRvY18xIj5UZW50 aCBXb3Jrc2hvcCBvbiBJbnRlcnNlY3Rpb24gVHlwZXMgYW5kIFJlbGF0ZWQgU3lzdGVtcyAt IElUUlMgMjAyMTwvaDI+Cgo8cD4xNyBKdWx5IDIwMjEsIE9ubGluZTwvcD4KCjxwPkFmZmls aWF0ZWQgd2l0aCA8YSBocmVmPSJodHRwczovL2ZzY2QyMDIxLmRjLnViYS5hci8iPkZTQ0Q8 L2E+LCAxNy0yNCBKdWx5IDIwMjEsIEJ1ZW5vcyBBaXJlczwvcD4KCjxwPldlYiBwYWdlOiA8 YSBocmVmPSJodHRwOi8vd3d3LmRpLnVuaXRvLml0LyU3RWRlbGlndS9JVFJTMjAyMS8iPmh0 dHA6Ly93d3cuZGkudW5pdG8uaXQvfmRlbGlndS9JVFJTMjAyMS88L2E+PC9wPgoKPGgzIGlk PSJ0b2NfMiI+QWltcyBhbmQgU2NvcGU8L2gzPgoKPHA+SW50ZXJzZWN0aW9uIHR5cGVzIHdl cmUgaW50cm9kdWNlZCBuZWFyIHRoZSBlbmQgb2YgdGhlIDE5NzBzIHRvIG92ZXJjb21lIHRo ZSBsaW1pdGF0aW9ucyBvZiBDdXJyeSYjMzk7cyB0eXBlIGFzc2lnbm1lbnQgc3lzdGVtIGFu ZCB0byBwcm92aWRlIGEgY2hhcmFjdGVyaXphdGlvbiBvZiB0aGUgc3Ryb25nbHkgbm9ybWFs aXppbmcgdGVybXMgb2YgdGhlIExhbWJkYSBDYWxjdWx1cy4gVGhlIGtleSBpZGVhIGlzIHRv IGludHJvZHVjZSBhbiBpbnRlcnNlY3Rpb24gdHlwZSBjb25zdHJ1Y3RvciDiiKcgc3VjaCB0 aGF0IGEgdGVybSBvZiB0eXBlIHQg4oinIHMgY2FuIGJlIHVzZWQgYXQgYm90aCB0eXBlIHQg YW5kIHMgd2l0aGluIHRoZSBzYW1lIGNvbnRleHQuIFRoaXMgcHJvdmlkZXMgYSBmaW5pdGUg cG9seW1vcnBoaXNtIHdoZXJlIHZhcmlvdXMsIGV2ZW4gdW5yZWxhdGVkLCB0eXBlcyBvZiB0 aGUgdGVybSBhcmUgbGlzdGVkIGV4cGxpY2l0bHksIGRpZmZlcmVudGx5IGZyb20gdGhlIG1v cmUgd2lkZWx5IHVzZWQgdW5pdmVyc2FsbHkgcXVhbnRpZmllZCB0eXBlcyB3aGVyZSB0aGUg cG9seW1vcnBoaWMgdHlwZSBpcyB0aGUgY29tbW9uIHNjaGVtYSB3aGljaCBzdGFuZHMgZm9y IGl0cyB2YXJpb3VzIHR5cGUgaW5zdGFuY2VzLiBBcyBhIGNvbnNlcXVlbmNlLCBtb3JlIHRl cm1zIChhbGwgYW5kIG9ubHkgdGhlIG5vcm1hbGl6aW5nIHRlcm1zKSBjYW4gYmUgdHlwZWQg dGhhbiB3aXRoIHVuaXZlcnNhbCBwb2x5bW9ycGhpc20uPC9wPgoKPHA+QWx0aG91Z2ggaW50 ZXJzZWN0aW9uIHR5cGVzIHdlcmUgaW5pdGlhbGx5IGludGVuZGVkIGZvciB1c2UgaW4gYW5h bHl6aW5nIGFuZC9vciBzeW50aGVzaXppbmcgbGFtYmRhIG1vZGVscyBhcyB3ZWxsIGFzIGlu IGFuYWx5emluZyBub3JtYWxpemF0aW9uIHByb3BlcnRpZXMsIG92ZXIgdGhlIGxhc3QgdHdl bnR5IHllYXJzIHRoZSBzY29wZSBvZiB0aGUgcmVzZWFyY2ggb24gaW50ZXJzZWN0aW9uIHR5 cGVzIGFuZCByZWxhdGVkIHN5c3RlbXMgaGFzIGJyb2FkZW5lZCBpbiBtYW55IGRpcmVjdGlv bnMuIFJlc3RyaWN0ZWQgKGFuZCBtb3JlIG1hbmFnZWFibGUpIGZvcm1zIGhhdmUgYmVlbiBp bnZlc3RpZ2F0ZWQsIHN1Y2ggYXMgcmVmaW5lbWVudCB0eXBlcy4gVHlwZSBzeXN0ZW1zIGJh c2VkIG9uIGludGVyc2VjdGlvbiB0eXBlIHRoZW9yeSBoYXZlIGJlZW4gZXh0ZW5zaXZlbHkg c3R1ZGllZCBmb3IgcHJhY3RpY2FsIHB1cnBvc2VzLCBzdWNoIGFzIHByb2dyYW0gYW5hbHlz aXMgYW5kIGhpZ2hlci1vcmRlciBtb2RlbCBjaGVja2luZy4gVGhlIGR1YWwgbm90aW9uIG9m IHVuaW9uIHR5cGVzIHR1cm5lZCBvdXQgdG8gYmUgcXVpdGUgdXNlZnVsIGZvciBwcm9ncmFt bWluZyBsYW5ndWFnZXMuIEZpbmFsbHksIHRoZSBiZWhhdmlvdXJhbCBhcHByb2FjaCB0byB0 eXBlcywgd2hpY2ggY2FuIGdpdmUgYSBzdGF0aWMgc3BlY2lmaWNhdGlvbiBvZiBjb21wdXRh dGlvbmFsIHByb3BlcnRpZXMsIGhhcyBiZWNvbWUgY2VudHJhbCBpbiB0aGUgbW9zdCByZWNl bnQgcmVzZWFyY2ggb24gdHlwZSB0aGVvcnkuPC9wPgoKPHA+VGhlIElUUlMgMjAyMSB3b3Jr c2hvcCBhaW1zIHRvIGJyaW5nIHRvZ2V0aGVyIHJlc2VhcmNoZXJzIHdvcmtpbmcgb24gYm90 aCB0aGUgdGhlb3J5IGFuZCBwcmFjdGljYWwgYXBwbGljYXRpb25zIG9mIHN5c3RlbXMgYmFz ZWQgb24gaW50ZXJzZWN0aW9uIHR5cGVzIGFuZCByZWxhdGVkIGFwcHJvYWNoZXMuIFBvc3Np YmxlIHRvcGljcyBmb3Igc3VibWl0dGVkIHBhcGVycyBpbmNsdWRlLCBidXQgYXJlIG5vdCBs aW1pdGVkIHRvOjwvcD4KCjx1bD4KPGxpPkZvcm1hbCBwcm9wZXJ0aWVzIG9mIHN5c3RlbXMg d2l0aCBpbnRlcnNlY3Rpb24gdHlwZXMuPC9saT4KPGxpPlJlc3VsdHMgZm9yIHJlbGF0ZWQg c3lzdGVtcywgc3VjaCBhcyB1bmlvbiB0eXBlcywgcmVmaW5lbWVudCB0eXBlcywgb3Igc2lu Z2xldG9uIHR5cGVzLjwvbGk+CjxsaT5BcHBsaWNhdGlvbnMgdG8gbGFtYmRhIGNhbGN1bHVz LCBwaS1jYWxjdWx1cyBhbmQgc2ltaWxhciBzeXN0ZW1zLjwvbGk+CjxsaT5BcHBsaWNhdGlv bnMgZm9yIHByb2dyYW1taW5nIGxhbmd1YWdlcywgcHJvZ3JhbSBhbmFseXNpcywgYW5kIHBy b2dyYW0gdmVyaWZpY2F0aW9uLjwvbGk+CjxsaT5BcHBsaWNhdGlvbnMgZm9yIG90aGVyIGFy ZWFzLCBzdWNoIGFzIGRhdGFiYXNlIHF1ZXJ5IGxhbmd1YWdlcyBhbmQgcHJvZ3JhbSBleHRy YWN0aW9uIGZyb20gcHJvb2ZzLjwvbGk+CjxsaT5SZWxhdGVkIGFwcHJvYWNoZXMgdXNpbmcg YmVoYXZpb3VyYWwvaW50ZW5zaW9uYWwgdHlwZXMgYW5kL29yIGRlbm90YXRpb25hbCBzZW1h bnRpY3MgdG8gY2hhcmFjdGVyaXplIGNvbXB1dGF0aW9uYWwgcHJvcGVydGllcy48L2xpPgo8 bGk+UXVhbnRpdGF0aXZlIHJlZmluZW1lbnRzIG9mIGludGVyc2VjdGlvbiB0eXBlcy48L2xp Pgo8L3VsPgoKPHA+SVRSUyB3b3Jrc2hvcHMgaGF2ZSBiZWVuIGhlbGQgZXZlcnkgdHdvIHll YXJzICh3aXRoIHRoZSBleGNlcHRpb24gb2YgMjAyMCwgYmVjYXVzZSBvZiBDT1ZJRC0xOSBv dXRicmVhaykuIEluZm9ybWF0aW9uIGFib3V0IHRoZSBwcmV2aW91cyBldmVudHMgaXMgYXZh aWxhYmxlIGF0IHRoZSA8YSBocmVmPSJodHRwOi8vaXRycy5kaS51bml0by5pdC8iPklUUlMg aG9tZSBwYWdlPC9hPi48L3A+Cgo8aDMgaWQ9InRvY18zIj5JbnZpdGVkIFNwZWFrZXI8L2gz PgoKPHVsPgo8bGk+SmVyZW15IFNpZWsgKEluZGlhbmEgVW5pdmVyc2l0eSBCbG9vbWluZ3Rv bik8L2xpPgo8L3VsPgoKPGgzIGlkPSJ0b2NfNCI+UGFwZXIgU3VibWlzc2lvbnM8L2gzPgoK PHA+UGFwZXJzIG11c3QgYmUgb3JpZ2luYWwgYW5kIG5vdCBwcmV2aW91c2x5IHB1Ymxpc2hl ZCwgbm9yIHN1Ym1pdHRlZCBlbHNld2hlcmUuIApQYXBlcnMgc2hvdWxkIGJlIHByZXBhcmVk IGluIExhVGVYIHVzaW5nIHRoZSAKPGEgaHJlZj0iaHR0cDovL3N0eWxlLmVwdGNzLm9yZy8i PkVQVENTIG1hY3JvPC9hPiBwYWNrYWdlIGFuZCBzaG91bGQgYmUgaW4gdGhlIHJhbmdlIG9m IDMtMTYgcGFnZXMsIApwbHVzIGF0IG1vc3QgMiBwYWdlcyBvZiByZWZlcmVuY2VzLiAKU3Vi bWlzc2lvbnMgd2lsbCBiZSBjb2xsZWN0ZWQgdmlhIEVhc3lDaGFpciBhbmQgcmV2aWV3ZWQg YnkgYW5vbnltb3VzIHJlZmVyZWVzLiA8L3A+Cgo8aDMgaWQ9InRvY181Ij5JbXBvcnRhbnQg RGF0ZXM8L2gzPgoKPHVsPgo8bGk+UGFwZXIgc3VibWlzc2lvbjogICAgIDEyIEFwcmlsIDIw MjE8L2xpPgo8bGk+QXV0aG9yIG5vdGlmaWNhdGlvbjogIDI0IE1heSAyMDIxPC9saT4KPGxp PkZpbmFsIHZlcnNpb246ICAgICAgIDE4IEp1bmUgMjAyMTwvbGk+CjxsaT5Xb3Jrc2hvcDog ICAgICAgICAgICAgIDE3IEp1bHkgMjAyMTwvbGk+CjwvdWw+Cgo8aDMgaWQ9InRvY182Ij5Q cm9ncmFtIENvbW1pdHRlZTwvaDM+Cgo8dWw+CjxsaT5BbnRvbmlvIEJ1Y2NpYXJlbGxpLCBV bml2ZXJzaXTDqSBkZSBQYXJpcywgRnJhbmNlPC9saT4KPGxpPkRhbmllbCBEZSBDYXJ2YWxo bywgSW5ub3BvbGlzIFVuaXZlcnNpdHksIFJ1c3NpYTwvbGk+CjxsaT5BbmRyZWogRHVkZW5o ZWZuZXIsIFNhYXJsYW5kIFVuaXZlcnNpdHksIEdlcm1hbnk8L2xpPgo8bGk+U2lsdmlhIEdo aWxlemFuLCBVbml2ZXJzaXR5IG9mIE5vdmkgU2FkLCBTZXJiaWE8L2xpPgo8bGk+VWdvIGRl JiMzOTsgTGlndW9ybywgVW5pdmVyc2l0w6AgZGkgVG9yaW5vLCBJdGFseSAoY2hhaXIpPC9s aT4KPGxpPkplcmVteSBTaWVrLCBJbmRpYW5hIFVuaXZlcnNpdHkgQmxvb21pbmd0b24sIFVT QSAoY28tY2hhaXIpPC9saT4KPC91bD4KCjxoNCBpZD0idG9jXzciPk9yZ2FuaXplcnM6PC9o ND4KCjxwPlVnbyBkZSYjMzk7IExpZ3Vvcm8sIFVuaXZlcnNpdMOgIGRpIFRvcmlubywgSXRh bHkgPC9wPgoKPHA+UmljY2FyZG8gVHJlZ2xpYSwgVW5pdmVyc2l0w6AgZGkgVG9yaW5vLCBJ dGFseSAocmljY2FyZG8udHJlZ2xpYUB1bml0by5pdCk8L3A+Cgo8aDQgaWQ9InRvY184Ij5T dGVlcmluZyBDb21taXR0ZWU8L2g0PgoKPHVsPgo8bGk+TWFyaWFuZ2lvbGEgRGV6YW5pLUNp YW5jYWdsaW5pLCBVbml2ZXJzaXTDoCBkaSBUb3Jpbm8sIEl0YWx5PC9saT4KPGxpPkpha29i IFJlaG9mLCBUVSBVbml2ZXJzaXR5IG9mIERvcnRtdW5kLCBHZXJtYW55PC9saT4KPGxpPkpv ZSBXZWxscywgSGVyaW90LVdhdHQgVW5pdmVyc2l0eSwgU2NvdGxhbmQgPC9saT4KPC91bD4K CgoKCjwvYm9keT4KCjwvaHRtbD4K --------------380A883B354D8591D38443E8--