From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32 via Mailbox Transport; Thu, 24 Aug 2023 12:59:15 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32; Thu, 24 Aug 2023 12:59:14 +0100 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.32 via Frontend Transport; Thu, 24 Aug 2023 12:59:14 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 37OBwfs0006621 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 24 Aug 2023 12:58:41 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 37OBwE26006602 for ; Thu, 24 Aug 2023 12:58:14 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Aug 2023 13:58:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 03BA2E0CDA; Thu, 24 Aug 2023 13:58:12 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id CE0A0E0CD1; Thu, 24 Aug 2023 13:58:07 +0200 (CEST) Received: from mail-oi1-f177.google.com ([209.85.167.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Aug 2023 13:58:06 +0200 Received: by mail-oi1-f177.google.com with SMTP id 5614622812f47-3a85b9deeb3so2821997b6e.1; Thu, 24 Aug 2023 04:58:06 -0700 (PDT) From: ICFP Publicity To: agda , agents , appsem , bigloo , bx , caml-list , categories , chicken-scheme , clean , concurrency , coq-club , ecoop , erlang-questions , F# Discussions , fp-nl , fun , "functional-programming@st-and" , gambit-list , GPCE-related , haskell , haskell-cafe , infodir_sigplan , isabelle-users , k-users , lprolog , mlton , mozart , nvti , prog-lang , racket-users , relics , sml-list , theory-logic , theory-nt , types-announce Subject: [Caml-list] PADL 2024: Call for Papers Thread-Topic: [Caml-list] PADL 2024: Call for Papers Thread-Index: AQHZ1oJnCH1we7ofcUOMo1WFV2Hzmg== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 24 Aug 2023 12:57:45 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: ICFP Publicity Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 376e5c3d-d052-4b45-fbfd-08dba49989a7 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a05:6808:d47:b0:3a7:4ce4:cb8e with SMTP id w7-20020a0568080d4700b003a74ce4cb8emr20170030oik.42.1692878276597; Thu, 24 Aug 2023 04:57:56 -0700 (PDT) received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-ironport-av: E=Sophos;i="6.02,195,1688421600"; d="scan'208,217";a="122326025" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: <964E48658DD15F4FB92C37539C6CED67@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PGJyPg0KJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsg Q2FsbCBmb3IgUGFwZXJzPGJyPg0KPGJyPg0KJm5ic3A7IDI2dGggSW50ZXJuYXRpb25hbCBTeW1w b3NpdW0gb24gUHJhY3RpY2FsIEFzcGVjdHMgb2YgRGVjbGFyYXRpdmUgTGFuZ3VhZ2VzPGJyPg0K Jm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAm bmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7IChQQURMIDIwMjQpPGJyPg0KPGJyPg0K Jm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7IDxhIGhyZWY9 Imh0dHBzOi8vcG9wbDI0LnNpZ3BsYW4ub3JnL2hvbWUvUEFETC0yMDI0Ij5odHRwczovL3BvcGwy NC5zaWdwbGFuLm9yZy9ob21lL1BBREwtMjAyNDwvYT48YnI+DQo8YnI+DQombmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDtMb25kb24sIFVuaXRlZCBLaW5nZG9t LCBKYW51YXJ5IDE1LTE2LCAyMDI0PGJyPg0KPGJyPg0KJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i c3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7Q28tbG9jYXRlZCB3 aXRoIEFDTSBQT1BMIDIwMjQ8YnI+DQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT08YnI+DQo8YnI+DQo8 YnI+DQpDb25mZXJlbmNlIERlc2NyaXB0aW9uPGJyPg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLTxi cj4NCjxicj4NCkRlY2xhcmF0aXZlIGxhbmd1YWdlcyBjb21wcmlzZSBzZXZlcmFsIHdlbGwtZXN0 YWJsaXNoZWQgY2xhc3NlcyBvZjxicj4NCmZvcm1hbGlzbXMsIG5hbWVseSwgZnVuY3Rpb25hbCwg bG9naWMsIGFuZCBjb25zdHJhaW50IHByb2dyYW1taW5nLjxicj4NClN1Y2ggZm9ybWFsaXNtcyBl bmpveSBib3RoIHNvdW5kIHRoZW9yZXRpY2FsIGJhc2VzIGFuZCB0aGU8YnI+DQphdmFpbGFiaWxp dHkgb2YgYXR0cmFjdGl2ZSBmcmFtZXdvcmtzIGZvciBhcHBsaWNhdGlvbiBkZXZlbG9wbWVudC48 YnI+DQpJbmRlZWQsIHRoZXkgaGF2ZSBiZWVuIGFscmVhZHkgc3VjY2Vzc2Z1bGx5IGFwcGxpZWQg dG8gbWFueSBkaWZmZXJlbnQ8YnI+DQpyZWFsLXdvcmxkIHNpdHVhdGlvbnMsIHJhbmdpbmcgZnJv bSBkYXRhYmFzZSBtYW5hZ2VtZW50IHRvIGFjdGl2ZTxicj4NCm5ldHdvcmtzIHRvIHNvZnR3YXJl IGVuZ2luZWVyaW5nIHRvIGRlY2lzaW9uIHN1cHBvcnQgc3lzdGVtcy48YnI+DQo8YnI+DQo8YnI+ DQpOZXcgZGV2ZWxvcG1lbnRzIGluIHRoZW9yeSBhbmQgaW1wbGVtZW50YXRpb24gZm9zdGVyZWQg YXBwbGljYXRpb25zIGluPGJyPg0KbmV3IGFyZWFzLiBBdCB0aGUgc2FtZSB0aW1lLCBhcHBsaWNh dGlvbnMgb2YgZGVjbGFyYXRpdmUgbGFuZ3VhZ2VzIHRvPGJyPg0Kbm92ZWwgYW5kIGNoYWxsZW5n aW5nIHByb2JsZW1zIHJhaXNlIG1hbnkgaW50ZXJlc3RpbmcgcmVzZWFyY2ggaXNzdWVzLDxicj4N CmluY2x1ZGluZyBkZXNpZ25pbmcgZm9yIHNjYWxhYmlsaXR5LCBsYW5ndWFnZSBleHRlbnNpb25z IGZvcjxicj4NCmFwcGxpY2F0aW9uIGRlcGxveW1lbnQsIGFuZCBwcm9ncmFtbWluZyBlbnZpcm9u bWVudHMuIFRodXMsPGJyPg0KYXBwbGljYXRpb25zIGRyaXZlIHRoZSBwcm9ncmVzcyBpbiB0aGUg dGhlb3J5IGFuZCBpbXBsZW1lbnRhdGlvbiBvZjxicj4NCmRlY2xhcmF0aXZlIHN5c3RlbXMsIGFu ZCBiZW5lZml0IGZyb20gdGhpcyBwcm9ncmVzcyBhcyB3ZWxsLjxicj4NCjxicj4NCjxicj4NClBB REwgaXMgYSB3ZWxsLWVzdGFibGlzaGVkIGZvcnVtIGZvciByZXNlYXJjaGVycyBhbmQgcHJhY3Rp dGlvbmVycyB0bzxicj4NCnByZXNlbnQgb3JpZ2luYWwgd29yayBlbXBoYXNpemluZyBub3ZlbCBh cHBsaWNhdGlvbnMgYW5kPGJyPg0KaW1wbGVtZW50YXRpb24gdGVjaG5pcXVlcyBmb3IgYWxsIGZv cm1zIG9mIGRlY2xhcmF0aXZlIHByb2dyYW1taW5nLDxicj4NCmluY2x1ZGluZyBmdW5jdGlvbmFs IGFuZCBsb2dpYyBwcm9ncmFtbWluZywgZGF0YWJhc2UgYW5kIGNvbnN0cmFpbnQ8YnI+DQpwcm9n cmFtbWluZywgYW5kIHRoZW9yZW0gcHJvdmluZy48YnI+DQo8YnI+DQo8YnI+DQpUb3BpY3Mgb2Yg aW50ZXJlc3QgaW5jbHVkZSwgYnV0IGFyZSBub3QgbGltaXRlZCB0bzo8YnI+DQo8YnI+DQo8YnI+ DQotIElubm92YXRpdmUgYXBwbGljYXRpb25zIG9mIGRlY2xhcmF0aXZlIGxhbmd1YWdlczxicj4N Ci0gRGVjbGFyYXRpdmUgZG9tYWluLXNwZWNpZmljIGxhbmd1YWdlcyBhbmQgYXBwbGljYXRpb25z PGJyPg0KLSBQcmFjdGljYWwgYXBwbGljYXRpb25zIG9mIHRoZW9yZXRpY2FsIHJlc3VsdHM8YnI+ DQotIE5ldyBsYW5ndWFnZSBkZXZlbG9wbWVudHMgYW5kIHRoZWlyIGltcGFjdCBvbiBhcHBsaWNh dGlvbnM8YnI+DQotIERlY2xhcmF0aXZlIGxhbmd1YWdlcyBhbmQgc29mdHdhcmUgZW5naW5lZXJp bmc8YnI+DQotIEV2YWx1YXRpb24gb2YgaW1wbGVtZW50YXRpb24gdGVjaG5pcXVlcyBvbiBwcmFj dGljYWwgYXBwbGljYXRpb25zPGJyPg0KLSBQcmFjdGljYWwgZXhwZXJpZW5jZXMgYW5kIGluZHVz dHJpYWwgYXBwbGljYXRpb25zPGJyPg0KLSBOb3ZlbCB1c2VzIG9mIGRlY2xhcmF0aXZlIGxhbmd1 YWdlcyBpbiB0aGUgY2xhc3Nyb29tPGJyPg0KLSBQcmFjdGljYWwgZXh0ZW5zaW9ucyBzdWNoIGFz IGNvbnN0cmFpbnQtYmFzZWQsIHByb2JhYmlsaXN0aWMsPGJyPg0KJm5ic3A7IGFuZCByZWFjdGl2 ZSBsYW5ndWFnZXM8YnI+DQo8YnI+DQo8YnI+DQpQQURMIDIwMjQgZXNwZWNpYWxseSB3ZWxjb21l cyBuZXcgaWRlYXMgYW5kIGFwcHJvYWNoZXMgcmVsYXRlZCB0bzxicj4NCmFwcGxpY2F0aW9ucywg ZGVzaWduIGFuZCBpbXBsZW1lbnRhdGlvbiBvZiBkZWNsYXJhdGl2ZSBsYW5ndWFnZXMgZ29pbmc8 YnI+DQpiZXlvbmQgdGhlIHNjb3BlIG9mIHRoZSBwYXN0IFBBREwgc3ltcG9zaWEsIGZvciBleGFt cGxlLCBhZHZhbmNlZDxicj4NCmRhdGFiYXNlIGxhbmd1YWdlcyBhbmQgY29udHJhY3QgbGFuZ3Vh Z2VzLCBhcyB3ZWxsIGFzIHZlcmlmaWNhdGlvbiBhbmQ8YnI+DQp0aGVvcmVtIHByb3ZpbmcgbWV0 aG9kcyB0aGF0IHJlbHkgb24gZGVjbGFyYXRpdmUgbGFuZ3VhZ2VzLjxicj4NCjxicj4NCjxicj4N ClN1Ym1pc3Npb25zPGJyPg0KLS0tLS0tLS0tLS08YnI+DQo8YnI+DQpQQURMIDIwMjQgd2VsY29t ZXMgdGhyZWUga2luZHMgb2Ygc3VibWlzc2lvbjo8YnI+DQo8YnI+DQoqIFRlY2huaWNhbCBwYXBl cnMgKG1heC4gMTUgcGFnZXMpOjxicj4NCiZuYnNwOyBUZWNobmljYWwgcGFwZXJzIG11c3QgZGVz Y3JpYmUgb3JpZ2luYWwsIHByZXZpb3VzbHkgdW5wdWJsaXNoZWQ8YnI+DQombmJzcDsgcmVzZWFy Y2ggcmVzdWx0cy48YnI+DQo8YnI+DQoqIEFwcGxpY2F0aW9uIHBhcGVycyAobWF4LiA4IHBhZ2Vz KTo8YnI+DQombmJzcDsgQXBwbGljYXRpb24gcGFwZXJzIGFyZSBhIG1lY2hhbmlzbSB0byBwcmVz ZW50IGltcG9ydGFudCBwcmFjdGljYWw8YnI+DQombmJzcDsgYXBwbGljYXRpb25zIG9mIGRlY2xh cmF0aXZlIGxhbmd1YWdlcyB0aGF0IG9jY3VyIGluIGluZHVzdHJ5IG9yIGluPGJyPg0KJm5ic3A7 IGFyZWFzIG9mIHJlc2VhcmNoIG90aGVyIHRoYW4gQ29tcHV0ZXIgU2NpZW5jZS4gQXBwbGljYXRp b24gcGFwZXJzPGJyPg0KJm5ic3A7IGFyZSBleHBlY3RlZCB0byBkZXNjcmliZSBjb21wbGV4IGFu ZC9vciByZWFsLXdvcmxkIGFwcGxpY2F0aW9ucyB0aGF0PGJyPg0KJm5ic3A7IHJlbHkgb24gYW4g aW5ub3ZhdGl2ZSB1c2Ugb2YgZGVjbGFyYXRpdmUgbGFuZ3VhZ2VzLiBBcHBsaWNhdGlvbjxicj4N CiZuYnNwOyBkZXNjcmlwdGlvbnMsIGVuZ2luZWVyaW5nIHNvbHV0aW9ucyBhbmQgcmVhbC13b3Js ZCBleHBlcmllbmNlcyAoYm90aDxicj4NCiZuYnNwOyBwb3NpdGl2ZSBhbmQgbmVnYXRpdmUpIGFy ZSBzb2xpY2l0ZWQuPGJyPg0KPGJyPg0KKiBFeHRlbmRlZCBhYnN0cmFjdHMgKG1heC4gMyBwYWdl cyk6PGJyPg0KJm5ic3A7IERlc2NyaWJpbmcgbmV3IGlkZWFzLCBhIG5ldyBwZXJzcGVjdGl2ZSBv biBhbHJlYWR5IHB1Ymxpc2hlZCB3b3JrLDxicj4NCiZuYnNwOyBvciB3b3JrLWluLXByb2dyZXNz IHRoYXQgaXMgbm90IHlldCByZWFkeSBmb3IgYSBmdWxsPGJyPg0KJm5ic3A7IHB1YmxpY2F0aW9u LiBFeHRlbmRlZCBhYnN0cmFjdHMgd2lsbCBiZSBwb3N0ZWQgb24gdGhlIHN5bXBvc2l1bTxicj4N CiZuYnNwOyB3ZWJzaXRlIGJ1dCB3aWxsIG5vdCBiZSBwdWJsaXNoZWQgaW4gdGhlIGZvcm1hbCBw cm9jZWVkaW5ncy48YnI+DQo8YnI+DQpBbGwgcGFnZSBsaW1pdHMgZXhjbHVkZSByZWZlcmVuY2Vz LiBTdWJtaXNzaW9ucyBtdXN0IGJlIHdyaXR0ZW4gaW4gRW5nbGlzaDxicj4NCmFuZCBmb3JtYXR0 ZWQgYWNjb3JkaW5nIHRvIHRoZSBzdGFuZGFyZCBTcHJpbmdlciBMTkNTIHN0eWxlLCBzZWU8YnI+ DQo8YSBocmVmPSJodHRwczovL3d3dy5zcHJpbmdlci5jb20vZ3AvY29tcHV0ZXItc2NpZW5jZS9s bmNzL2NvbmZlcmVuY2UtcHJvY2VlZGluZ3MtZ3VpZGVsaW5lcyI+aHR0cHM6Ly93d3cuc3ByaW5n ZXIuY29tL2dwL2NvbXB1dGVyLXNjaWVuY2UvbG5jcy9jb25mZXJlbmNlLXByb2NlZWRpbmdzLWd1 aWRlbGluZXM8L2E+PGJyPg0KPGJyPg0KUGFnZSBudW1iZXJzIChhbmQsIGlmIHBvc3NpYmxlLCBs aW5lIG51bWJlcnMpIHNob3VsZCBhcHBlYXIgb24gdGhlPGJyPg0KbWFudXNjcmlwdCB0byBoZWxw IHRoZSByZXZpZXdlcnMgaW4gd3JpdGluZyB0aGVpciByZXBvcnRzLiBTbywgZm9yPGJyPg0KTGFU ZVgsIHdlIHJlY29tbWVuZCB0aGF0IGF1dGhvcnMgdXNlOjxicj4NCjxicj4NCiZuYnNwO1xwYWdl c3R5bGV7cGxhaW59PGJyPg0KJm5ic3A7XHVzZXBhY2thZ2V7bGluZW5vfTxicj4NCiZuYnNwO1xs aW5lbnVtYmVyczxicj4NCjxicj4NClRoZSBjb25mZXJlbmNlIHByb2NlZWRpbmdzIG9mIFBBREwg MjAyNCB3aWxsIGJlIHB1Ymxpc2hlZCBieTxicj4NClNwcmluZ2VyLVZlcmxhZyBpbiB0aGUgTGVj dHVyZSBOb3RlcyBpbiBDb21wdXRlciBTY2llbmNlIHNlcmllcy48YnI+DQpXb3JrIHRoYXQgYWxy ZWFkeSBhcHBlYXJlZCBpbiB1bnB1Ymxpc2hlZCBvciBpbmZvcm1hbGx5IHB1Ymxpc2hlZDxicj4N CndvcmtzaG9wcyBwcm9jZWVkaW5ncyBtYXkgYmUgc3VibWl0dGVkIGJ1dCB0aGUgYXV0aG9ycyBz aG91bGQgbm90aWZ5PGJyPg0KdGhlIHByb2dyYW0gY2hhaXJzIHdoZXJlIGl0IGhhcyBwcmV2aW91 c2x5IGFwcGVhcmVkLjxicj4NCjxicj4NClBhcGVycyBzaG91bGQgYmUgc3VibWl0dGVkIGVsZWN0 cm9uaWNhbGx5IGF0PGJyPg0KPGJyPg0KPGEgaHJlZj0iaHR0cHM6Ly9wYWRsMjAyNC5ob3RjcnAu Y29tIj5odHRwczovL3BhZGwyMDI0LmhvdGNycC5jb208L2E+Jm5ic3A7PGJyPg0KPGJyPg0KSW1w b3J0YW50IERhdGVzPGJyPg0KLS0tLS0tLS0tLS0tLS0tPGJyPg0KPGJyPg0KUGFwZXIgc3VibWlz c2lvbjogJm5ic3A7ICZuYnNwO09jdG9iZXIgNSwgMjAyMyAoQW9FKTxicj4NCk5vdGlmaWNhdGlv bjogJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7Tm92ZW1iZXIgOSwgMjAyMzxicj4NClN5bXBv c2l1bTogJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyBKYW51YXJ5IDE1LTE2LCAy MDI0PGJyPg0KPGJyPg0KPGJyPg0KRGlzdGluZ3Vpc2hlZCBQYXBlcnM8YnI+DQotLS0tLS0tLS0t LS0tLS0tLS0tLTxicj4NCjxicj4NClRoZSBhdXRob3JzIG9mIGEgc21hbGwgbnVtYmVyIG9mIGRp c3Rpbmd1aXNoZWQgcGFwZXJzIHdpbGwgYmUgaW52aXRlZDxicj4NCnRvIHN1Ym1pdCBhIGxvbmdl ciB2ZXJzaW9uIGZvciBqb3VybmFsIHB1YmxpY2F0aW9uIGFmdGVyIHRoZTxicj4NCnN5bXBvc2l1 bS4gRm9yIHBhcGVycyByZWxhdGVkIHRvIGxvZ2ljIHByb2dyYW1taW5nLCB0aGF0IHdpbGwgYmUg aW48YnI+DQp0aGUgam91cm5hbCBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIExvZ2ljIFByb2dyYW1t aW5nIChUUExQKTxicj4NCjxhIGhyZWY9Imh0dHBzOi8vd3d3LmNhbWJyaWRnZS5vcmcvY29yZS9q b3VybmFscy90aGVvcnktYW5kLXByYWN0aWNlLW9mLWxvZ2ljLXByb2dyYW1taW5nIj5odHRwczov L3d3dy5jYW1icmlkZ2Uub3JnL2NvcmUvam91cm5hbHMvdGhlb3J5LWFuZC1wcmFjdGljZS1vZi1s b2dpYy1wcm9ncmFtbWluZzwvYT4sPGJyPg0KYW5kIGZvciBwYXBlcnMgcmVsYXRlZCB0byBmdW5j dGlvbmFsIHByb2dyYW1taW5nLCBpbiBKb3VybmFsIG9mPGJyPg0KRnVuY3Rpb25hbCBQcm9ncmFt bWluZyAoSkZQKTxicj4NCjxhIGhyZWY9Imh0dHBzOi8vd3d3LmNhbWJyaWRnZS5vcmcvY29yZS9q b3VybmFscy9qb3VybmFsLW9mLWZ1bmN0aW9uYWwtcHJvZ3JhbW1pbmciPmh0dHBzOi8vd3d3LmNh bWJyaWRnZS5vcmcvY29yZS9qb3VybmFscy9qb3VybmFsLW9mLWZ1bmN0aW9uYWwtcHJvZ3JhbW1p bmc8L2E+Ljxicj4NClRoZSBleHRlbmRlZCBqb3VybmFsIHN1Ym1pc3Npb25zIHNob3VsZCBiZSBz dWJzdGFudGlhbGx5IChyb3VnaGx5IDMwJSk8YnI+DQpleHRlbmRlZDogZXhwbGFuYXRpb25zIGZv ciB3aGljaCB0aGVyZSB3YXMgbm8gc3BhY2UsIGlsbHVtaW5hdGluZyBleGFtcGxlczxicj4NCmFu ZCBwcm9vZnMsIGFkZGl0aW9uYWwgZGVmaW5pdGlvbnMgYW5kIHRoZW9yZW1zLCBmdXJ0aGVyIGV4 cGVyaW1lbnRhbDxicj4NCnJlc3VsdHMsIGltcGxlbWVudGF0aW9uYWwgZGV0YWlscyBhbmQgZmVl ZGJhY2sgZnJvbTxicj4NCnByYWN0aWNhbC9lbmdpbmVlcmluZyB1c2UsIGV4dGVuZGVkIGRpc2N1 c3Npb24gb2YgcmVsYXRlZCB3b3JrLCBhbmQgc288YnI+DQpvbi4gVGhlc2Ugc3VibWlzc2lvbnMg d2lsbCB0aGVuIGJlIHN1YmplY3QgdG8gdGhlIHVzdWFsIHBlZXIgcmV2aWV3PGJyPg0KcHJvY2Vz cyBieSB0aGUgam91cm5hbCwgYWx0aG91Z2ggd2l0aCB0aGUgYWltIG9mIGEgc3dpZnRlciByZXZp ZXc8YnI+DQpwcm9jZXNzIGJ5IHJldXNpbmcgb3JpZ2luYWwgcmV2aWV3cyBmcm9tIFBBREwuPGJy Pg0KPGJyPg0KPGJyPg0KUEFETCAyMDI0IFBDIENvLUNoYWlyczxicj4NCi0tLS0tLS0tLS0tLS0t LS0tLS0tLS08YnI+DQpNYXJ0aW4gR2Vic2VyLCBVbml2ZXJzaXR5IG9mIEtsYWdlbmZ1cnQsIEF1 c3RyaWE8YnI+DQpJbHlhIFNlcmdleSwgTmF0aW9uYWwgVW5pdmVyc2l0eSBvZiBTaW5nYXBvcmUs IFNpbmdhcG9yZTxicj4NCjxicj4NCjxicj4NClByb2dyYW1tZSBDb21taXR0ZWU8YnI+DQotLS0t LS0tLS0tLS0tLS0tLS0tPGJyPg0KQWxleGFuZHJhIE1lbmRlcyAmbmJzcDsgJm5ic3A7ICZuYnNw OyAmbmJzcDsgJm5ic3A7VW5pdmVyc2l0eSBvZiBQb3J0byAmYW1wOyBJTkVTQyBURUMsIFBvcnR1 Z2FsPGJyPg0KQW5uaWUgTGl1ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i c3A7ICZuYnNwOyAmbmJzcDsgU3RvbnkgQnJvb2sgVW5pdmVyc2l0eSwgVVNBPGJyPg0KQW50b24g VHJ1bm92ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwO0Z1 ZWwgTGFicywgVUFFPGJyPg0KQXJuYXVkIFNwaXdhY2sgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i c3A7ICZuYnNwOyAmbmJzcDtUd2VhZywgRnJhbmNlPGJyPg0KRGFuaWVsYSBJbmNsZXphbiAmbmJz cDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7TWlhbWkgVW5pdmVyc2l0eSwgVVNBPGJyPg0K RW1pbGlhIE9pa2FyaW5lbiAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7VW5pdmVy c2l0eSBvZiBIZWxzaW5raSwgRmlubGFuZDxicj4NCkVucmljbyBQb250ZWxsaSAmbmJzcDsgJm5i c3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7IE5ldyBNZXhpY28gU3RhdGUgVW5pdmVyc2l0eSwgVVNB PGJyPg0KRXNyYSBFcmRlbSAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNw OyAmbmJzcDsgJm5ic3A7U2FiYW5jaSBVbml2ZXJzaXR5LCBUdXJrZXk8YnI+DQpHb3BhbCBHdXB0 YSAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgVW5pdmVy c2l0eSBvZiBUZXhhcyBhdCBEYWxsYXMsIFVTQTxicj4NCkplc3BlciBDb2NreCAmbmJzcDsgJm5i c3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDtEZWxmdCBVbml2ZXJzaXR5IG9m IFRlY2hub2xvZ3ksIE5ldGhlcmxhbmRzPGJyPg0KSmVzc2ljYSBaYW5nYXJpICZuYnNwOyAmbmJz cDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgVW5pdmVyc2l0eSBvZiBDYWxhYnJpYSwgSXRhbHk8YnI+ DQpKb2hhbm5lcyBXYWxsbmVyICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDtHcmF6 IFVuaXZlcnNpdHkgb2YgVGVjaG5vbG9neSwgQXVzdHJpYTxicj4NCkxlbyBXaGl0ZSAmbmJzcDsg Jm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7IEphbmUgU3Ry ZWV0LCBVSzxicj4NCk1hZ251cyBNeXJlZW4gJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZu YnNwOyAmbmJzcDsgQ2hhbG1lcnMgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCBTd2VkZW48YnI+ DQpNYW51ZWwgQ2Fycm8gJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsg Jm5ic3A7SU1ERUEgU29mdHdhcmUgSW5zdGl0dXRlLCBTcGFpbjxicj4NCk1hcmNlbGxvICZuYnNw O0JhbGR1Y2NpbmkgJm5ic3A7ICZuYnNwOyAmbmJzcDtTYWludCBKb3NlcGgncyBVbml2ZXJzaXR5 LCBVU0E8YnI+DQpNYXR0aGV3IEZsYXR0ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJz cDsgJm5ic3A7IFVuaXZlcnNpdHkgb2YgVXRhaCwgVVNBPGJyPg0KTXVrdW5kIFJhZ2hvdGhhbWFu ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwO1VuaXZlcnNpdHkgb2YgU291dGhlcm4gQ2FsaWZv cm5pYSwgVVNBPGJyPg0KUGF0cmljayBCYWhyICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAm bmJzcDsgJm5ic3A7ICZuYnNwO1VuaXZlcnNpdHkgb2YgQ29wZW5oYWdlbiwgRGVubWFyazxicj4N ClJvbGFuZCBZYXAgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i c3A7ICZuYnNwO05hdGlvbmFsIFVuaXZlcnNpdHkgb2YgU2luZ2Fwb3JlLCBTaW5nYXBvcmU8YnI+ DQpTaW1vbiBGb3dsZXIgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsg Jm5ic3A7VW5pdmVyc2l0eSBvZiBHbGFzZ293LCBVSzxicj4NClN0ZWZhbmlhIENvc3RhbnRpbmkg Jm5ic3A7ICZuYnNwOyAmbmJzcDsgVW5pdmVyc2l0eSBvZiBMJ0FxdWlsYSwgSXRhbHk8YnI+DQpU b20gU2NocmlqdmVycyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwO0tV IExldXZlbiwgQmVsZ2l1bTxicj4NClRvbWkgSmFuaHVuZW4gJm5ic3A7ICZuYnNwOyAmbmJzcDsg Jm5ic3A7ICZuYnNwOyAmbmJzcDsgVGFtcGVyZSBVbml2ZXJzaXR5LCBGaW5sYW5kPGJyPg0KV2Vy b25pa2EgVC4gQWRyaWFuICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwO1VuaXZlcnNpdHkgb2Yg S3Jha293LCBQb2xhbmQ8YnI+DQpZb3V5b3UgQ29uZyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJz cDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgVG9reW8gSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3ksIEph cGFuPGJyPg0KWmV5bmVwIEcuIFNhcmliYXR1ciAmbmJzcDsgJm5ic3A7ICZuYnNwOyBUVSBXaWVu LCBBdXN0cmlhPGJyPg0KPGJyPg0KQ29udGFjdCBBZGRyZXNzZXM8YnI+DQotLS0tLS0tLS0tLS0t LS0tLTxicj4NCjxicj4NCm1hcnRpbi5nZWJzZXIgX0FUXyA8YSBocmVmPSJodHRwOi8vYWF1LmF0 Ij5hYXUuYXQ8L2E+PGJyPg0KaWx5YSBfQVRfIDxhIGhyZWY9Imh0dHA6Ly9udXMuZWR1LnNnIj5u dXMuZWR1LnNnPC9hPjxicj4NCjxicj4NCjwvZGl2Pg0KPC9ib2R5Pg0KPC9odG1sPg0K