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; Mon, 25 Sep 2023 02:31:28 +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; Mon, 25 Sep 2023 02:31:28 +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; Mon, 25 Sep 2023 02:31:27 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 38P1V7oC010514 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 25 Sep 2023 02:31:07 +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 38P1UvTf010500 for ; Mon, 25 Sep 2023 02:30:57 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Sep 2023 03:30:56 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 83AABE0CD5; Mon, 25 Sep 2023 03:30:56 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2F7D6E00B6 for ; Mon, 25 Sep 2023 03:30:52 +0200 (CEST) Received: from mail-pf1-f177.google.com ([209.85.210.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 25 Sep 2023 03:30:49 +0200 Received: by mail-pf1-f177.google.com with SMTP id d2e1a72fcca58-690bf8fdd1aso3983639b3a.2 for ; Sun, 24 Sep 2023 18:30:48 -0700 (PDT) Received: from mail-pf1-f170.google.com (mail-pf1-f170.google.com. [209.85.210.170]) by smtp.gmail.com with ESMTPSA id v10-20020a1709029a0a00b001b53953f306sm7448410plp.178.2023.09.24.18.30.46 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 24 Sep 2023 18:30:46 -0700 (PDT) Received: by mail-pf1-f170.google.com with SMTP id d2e1a72fcca58-692c02adeefso1380336b3a.3; Sun, 24 Sep 2023 18:30:46 -0700 (PDT) From: "Sato, Ryosuke" To: "caml-list@inria.fr" , "coq-club@inria.fr" , "agda@lists.chalmers.se" , "haskell@haskell.org" , "types-announce@lists.seas.upenn.edu" , "seworld@sigsoft.org" Subject: [Caml-list] APLAS 2023: Call for Participation Thread-Topic: [Caml-list] APLAS 2023: Call for Participation Thread-Index: AQHZ71ABTkuN7tl4mEiUAZpQjc/nMA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 25 Sep 2023 02:30:33 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: "Sato, Ryosuke" 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: 9287e869-3e4c-44ad-96a5-08dbbd67239f 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:6a20:100f:b0:151:35ad:f327 with SMTP id gs15-20020a056a20100f00b0015135adf327mr3538332pzc.17.1695605446099; Sun, 24 Sep 2023 18:30:46 -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.03,174,1694728800"; d="scan'208";a="66821260" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/plain; charset="utf-8" Content-ID: <031A0BC2007B7B4EAEE25702C3D16B78@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PQ0KQ0FMTCBGT1IgUEFSVElDSVBBVElPTg0KRWFybHkgcmVnaXN0cmF0aW9u IGRlYWRsaW5lOiAyNSBPY3RvYmVyIDIwMjMNCg0KMjFzdCBBc2lhbiBTeW1wb3NpdW0gb24gUHJv Z3JhbW1pbmcgTGFuZ3VhZ2VzIGFuZCBTeXN0ZW1zIChBUExBUyAyMDIzKQ0KVGFpcGVpLCBUYWl3 YW4sIFN1biAyNiDigJMgV2VkIDI5IE5vdmVtYmVyIDIwMjMNCg0KaHR0cHM6Ly9jb25mLnJlc2Vh cmNoci5vcmcvaG9tZS9hcGxhcy0yMDIzDQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQoNClRoZSAyMXN0IEFzaWFu IFN5bXBvc2l1bSBvbiBQcm9ncmFtbWluZyBMYW5ndWFnZXMgYW5kDQpTeXN0ZW1zIChBUExBUykg YWltcyB0byBzdGltdWxhdGUgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UNCnJlc2VhcmNoIGJ5IHByb3Zp ZGluZyBhIGZvcnVtIGZvciB0aGUgcHJlc2VudGF0aW9uIG9mDQp0aGUgbGF0ZXN0IHJlc3VsdHMg YW5kIHRoZSBleGNoYW5nZSBvZiBpZGVhcyBpbiBwcm9ncmFtbWluZw0KbGFuZ3VhZ2VzIGFuZCBz eXN0ZW1zLiBBUExBUyBpcyBiYXNlZCBpbiBBc2lhIGJ1dCBpcyBhbg0KaW50ZXJuYXRpb25hbCBm b3J1bSB0aGF0IHNlcnZlcyB0aGUgd29ybGR3aWRlIHByb2dyYW1taW5nDQpsYW5ndWFnZXMgY29t bXVuaXR5LiBUaGlzIHllYXLigJlzIGNvbmZlcmVuY2UgaXMgY28tbG9jYXRlZA0Kd2l0aCBBZ2Rh IEltcGxlbWVudG9yc+KAmSBNZWV0aW5nIFhYWFZJSS4NCg0KQVBMQVMgMjAyMyB3aWxsIGJlIGhl bGQgaW4gVGFpcGVpLCBUYWl3YW4gZnJvbSBNb25kYXkgMjd0aA0KdG8gV2VkbmVzZGF5IDI5dGgg Tm92ZW1iZXIgMjAyMy4gQmVmb3JlIHRoZSBtYWluIGNvbmZlcmVuY2UsDQp0aGUgTmV3IElkZWFz IGFuZCBFbWVyZ2luZyBSZXN1bHRzIChOSUVSKSB3b3Jrc2hvcCB3aWxsIGJlDQpoZWxkIG9uIFN1 bmRheSAyNnRoIE5vdmVtYmVyIDIwMjMuIFRoZXJlIGlzIGFsc28gYSBzdHVkZW50DQpyZXNlYXJj aCBjb21wZXRpdGlvbiBhbmQgYW4gYXNzb2NpYXRlZCBwb3N0ZXIgc2Vzc2lvbi4NCg0KPT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PQ0KIyBQYXJ0aWNpcGF0aW9uDQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQoNClJlZ2lzdHJhdGlvbiBp bmZvcm1hdGlvbiBpcyBhdmFpbGFibGUgYXQgdGhlIGhvbWVwYWdlOg0KDQpodHRwczovL2NvbmYu cmVzZWFyY2hyLm9yZy9ob21lL2FwbGFzLTIwMjMNCg0KRWFybHkgcmVnaXN0cmF0aW9uIGRlYWRs aW5lOiAyNSBPY3RvYmVyIDIwMjMuIFBsZWFzZQ0KcmVnaXN0ZXIgc29vbiENCg0KDQo9PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09DQojIEtleW5vdGUgU3BlYWtlcnMNCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0NCg0KICogSGFram9vIE9o LCBLb3JlYSBVbml2ZXJzaXR5Lg0KICogQm93LVlhdyBXYW5nLCBBY2FkZW1pYSBTaW5pY2EuDQoN CkEgdGhpcmQga2V5bm90ZSBzcGVha2VyIHdpbGwgYmUgYW5ub3VuY2VkIHNvb24uDQoNCj09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT0NCiMgQWNjZXB0ZWQgUGFwZXJzDQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQoNCiAqIEEgRGlhbW9u ZCBNYWNoaW5lIGZvciBTdHJvbmcgRXZhbHVhdGlvbi4NCiAgIEJlbmlhbWlubyBBY2NhdHRvbGkg KElucmlhICYgw4ljb2xlIFBvbHl0ZWNobmlxdWUpLCBhbmQNCiAgIFBhYmxvIEJhcmVuYmF1bSAo TmF0aW9uYWwgVW5pdmVyc2l0eSBvZiBRdWlsbWVzIChDT05JQ0VUKSAmDQogICBVbml2ZXJzaXR5 IG9mIEJ1ZW5vcyBBaXJlcykuDQoNCiAqIE9yYWNsZSBDb21wdXRhYmlsaXR5IGFuZCBUdXJpbmcg UmVkdWNpYmlsaXR5IGluIHRoZQ0KICAgQ2FsY3VsdXMgb2YgSW5kdWN0aXZlIENvbnN0cnVjdGlv bnMuDQogICBZYW5uaWNrIEZvcnN0ZXIgKElucmlhKSwNCiAgIERvbWluaWsgS2lyc3QgKEJlbi1H dXJpb24gVW5pdmVyc2l0eSksIGFuZA0KICAgTmlrbGFzIE3DvGNrIChTYWFybGFuZCBVbml2ZXJz aXR5KS4NCg0KICogbS1DRkEgRXhoaWJpdHMgUGVyZmVjdCBTdGFjayBQcmVjaXNpb24uDQogICBL aW1iYWxsIEdlcm1hbmUgKEJyaWdoYW0gWW91bmcgVW5pdmVyc2l0eSkuDQoNCiAqIFR5cGVkIE5v bi1kZXRlcm1pbmlzbSBpbiBGdW5jdGlvbmFsIGFuZCBDb25jdXJyZW50IENhbGN1bGkuDQogICBC YXMgdmFuIGRlbiBIZXV2ZWwgKFVuaXZlcnNpdHkgb2YgR3JvbmluZ2VuKSwNCiAgIEpvc2VwaCBX LiBOLiBQYXVsdXMgKFVuaXZlcnNpdHkgb2YgR3JvbmluZ2VuKSwNCiAgIERhbmllbGUgTmFudGVz LVNvYnJpbmhvIChVbml2ZXJzaXR5IG9mIEJyYXPDrWxpYSBhbmQNCiAgICAgSW1wZXJpYWwgQ29s bGVnZSBMb25kb24pLCBhbmQNCiAgIEpvcmdlIFBlcmV6IChVbml2ZXJzaXR5IG9mIEdyb25pbmdl bikNCg0KICogQXJndW1lbnQgUmVkdWN0aW9uIG9mIENvbnN0cmFpbmVkIEhvcm4gQ2xhdXNlcyBV c2luZw0KICAgRXF1YWxpdHkgQ29uc3RyYWludHMuDQogICBSeW8gSWtlZGEgKFRoZSBVbml2ZXJz aXR5IG9mIFRva3lvKSwNCiAgIFJ5b3N1a2UgU2F0byAoVGhlIFVuaXZlcnNpdHkgb2YgVG9reW8p LCBhbmQNCiAgIE5hb2tpIEtvYmF5YXNoaSAoVGhlIFVuaXZlcnNpdHkgb2YgVG9reW8pLg0KDQog KiBUcmFuc3BvcnQgdmlhIFBhcnRpYWwgR2Fsb2lzIENvbm5lY3Rpb25zIGFuZCBFcXVpdmFsZW5j ZXMuDQogICBLZXZpbiBLYXBwZWxtYW5uIChUZWNobmljYWwgVW5pdmVyc2l0eSBvZiBNdW5pY2gp Lg0KDQogKiBJbmNvcnJlY3RuZXNzIFByb29mcyBmb3IgT2JqZWN0LU9yaWVudGVkIFByb2dyYW1z IHZpYQ0KICAgU3ViY2xhc3MgUmVmbGVjdGlvbi4NCiAgIFdlbmh1YSBMaSAoTmF0aW9uYWwgVW5p dmVyc2l0eSBTaW5nYXBvcmUpLA0KICAgUXVhbmcgTG9jIExlIChVbml2ZXJzaXR5IENvbGxlZ2Ug TG9uZG9uKSwNCiAgIFlhaHVpIFNvbmcgKE5hdGlvbmFsIFVuaXZlcnNpdHkgb2YgU2luZ2Fwb3Jl KSwgYW5kDQogICBXZWktTmdhbiBDaGluIChOYXRpb25hbCBVbml2ZXJzaXR5IG9mIFNpbmdhcG9y ZSkuDQoNCiAqIFR5cGVzIGFuZCBTZW1hbnRpY3MgZm9yIEV4dGVuc2libGUgRGF0YSBUeXBlcy4N CiAgIENhcyB2YW4gZGVyIFJlc3QgKERlbGZ0IFVuaXZlcnNpdHkgb2YgVGVjaG5vbG9neSksIGFu ZA0KICAgQ2FzcGVyIEJhY2ggUG91bHNlbiAoRGVsZnQgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5 KS4NCg0KICogRXhwZXJpbWVudGluZyB3aXRoIGFuIEludHJpbnNpY2FsbHktdHlwZWQgUHJvYmFi aWxpc3RpYw0KICAgUHJvZ3JhbW1pbmcgTGFuZ3VhZ2UgaW4gQ29xLg0KICAgQXl1bXUgU2FpdG8g KFRva3lvIEluc3RpdHV0ZSBvZiBUZWNobm9sb2d5KSwNCiAgIFJleW5hbGQgQWZmZWxkdCAoTmF0 aW9uYWwgSW5zdGl0dXRlIG9mIEFkdmFuY2VkIEluZHVzdHJpYWwsDQogICAgIGFuZCBTY2llbmNl IGFuZCBUZWNobm9sb2d5IChBSVNUKSkuDQoNCiAqIFRvcmNoUHJvYmU6IEZ1enppbmcgRHluYW1p YyBEZWVwIExlYXJuaW5nIENvbXBpbGVycy4NCiAgIFFpZG9uZyBTdSAoVW5pdmVyc2l0eSBvZiBU b3JvbnRvIC8gVmVjdG9yIEluc3RpdHV0ZSksDQogICBDaHVxaW4gR2VuZyAoTWNHaWxsIFVuaXZl cnNpdHkpLA0KICAgR2VubmFkeSBQZWtoaW1lbmtvIChVbml2ZXJzaXR5IG9mIFRvcm9udG8gLyBW ZWN0b3INCiAgICAgSW5zdGl0dXRlKSwgYW5kDQogICBYdWppZSBTaSAoVW5pdmVyc2l0eSBvZiBU b3JvbnRvKQ0KDQogKiBXaGF0IFR5cGVzIGFyZSBOZWVkZWQgZm9yIFR5cGluZyBEeW5hbWljIE9i amVjdHM/DQogICBBIFB5dGhvbi1iYXNlZCBFbXBpcmljYWwgU3R1ZHkuDQogICBLZSBTdW4gKFBl a2luZyBVbml2ZXJzaXR5KSwNCiAgIFNoZW5nIENoZW4gKFVuaXZlcnNpdHkgb2YgTG91aXNpYW5h IGF0IExhZmF5ZXR0ZSksDQogICBNZW5nIFdhbmcgKFVuaXZlcnNpdHkgb2YgQnJpc3RvbCksIGFu ZA0KICAgRGFuIEhhbyhQZWtpbmcgVW5pdmVyc2l0eSkuDQoNCiAqIENvbXBpbGF0aW9uIFNlbWFu dGljcyBmb3IgYSBQcm9ncmFtbWluZyBMYW5ndWFnZSB3aXRoDQogICBWZXJzaW9ucy4NCiAgIFl1 ZGFpIFRhbmFiZSAoS3lvdG8gVW5pdmVyc2l0eSksDQogICBMdXRoZmFuIEFuc2hhciBMdWJpcyAo VG9reW8gSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3kpLA0KICAgVG9tb3l1a2kgQW90YW5pIChTYW55 by1Pbm9kYSBDaXR5IFVuaXZlcnNpdHkpLCBhbmQNCiAgIEhpZGVoaWtvIE1hc3VoYXJhIChUb2t5 byBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSkuDQoNCiAqIEEgRnJlc2ggTG9vayBhdCBDb21tdXRh dGl2aXR5OiBGcmVlIEFsZ2VicmFpYyBTdHJ1Y3R1cmVzDQogICB2aWEgRnJlc2ggTGlzdHMuDQog ICBTZWFuIFdhdHRlcnMgKFVuaXZlcnNpdHkgb2YgU3RyYXRoY2x5ZGUpLA0KICAgRnJlZHJpayBO b3JkdmFsbCBGb3JzYmVyZyAoVW5pdmVyc2l0eSBvZiBTdHJhdGhjbHlkZSksIGFuZA0KICAgQ2xl bWVucyBLdXBrZSAoVW5pdmVyc2l0eSBvZiBTdHJhdGhjbHlkZSkuDQoNCiAqIFByb29mcyBhcyBU ZXJtcywgVGVybXMgYXMgR3JhcGhzLg0KICAgSnVpLUhzdWFuIFd1IChJbnN0aXR1dCBQb2x5dGVj aG5pcXVlIGRlIFBhcmlzKS4NCg0KICogVG93YXJkcyBhIEZyYW1ld29yayBmb3IgRGV2ZWxvcGlu ZyBWZXJpZmllZCBBc3NlbWJsZXJzDQogICBmb3IgdGhlIEVMRiBGb3JtYXQuDQogICBKaW5odWEg V3UgKFNoYW5naGFpIEppYW8gVG9uZyBVbml2ZXJzaXR5KSwNCiAgIFl1dGluZyBXYW5nIChTaGFu Z2hhaSBKaWFvIFRvbmcgVW5pdmVyc2l0eSksDQogICBNZW5nIFN1biAoU2hhbmdoYWkgSmlhbyBU b25nIFVuaXZlcnNpdHkpLA0KICAgWGlhbmd6aGUgWHUgKFB1cmR1ZSBVbml2ZXJzaXR5KSwgYW5k DQogICBZaWNoZW4gU29uZyAoU2hhbmdoYWkgSmlhbyBUb25nIFVuaXZlcnNpdHkpLg0KDQo9PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09DQojIE5JRVIgV29ya3Nob3ANCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0NCg0KICogzrtHVDogQSBG dW5jdGlvbmFsIExhbmd1YWdlIHdpdGggR3JhcGhzIGFzIEZpcnN0LUNsYXNzIERhdGENCiAgIEth enVub3JpIFVlZGEgYW5kIEppbiBTYW5vDQoNCiAqIEVudmlyb25tZW50LUZyaWVuZGx5IE1vbmFk aWMgRXF1YXRpb25hbCBSZWFzb25pbmcgZm9yIE9DYW1sDQogICBKYWNxdWVzIEdhcnJpZ3VlLCBS ZXluYWxkIEFmZmVsZHQgYW5kIFRha2FmdW1pIFNhaWthd2ENCg0KICogQ291bnRlcmZhY3R1YWwg RXhwbGFuYXRpb25zIGZvciBTZXF1ZW50aWFsIE1vZGVscyB0aHJvdWdoDQogICBDb21wdXRhdGlv bmFsIENvbXBsZXhpdHkNCiAgIEFudGhvbnkgV2lkamFqYSBMaW4NCg0KICogQm90dG9tLVVwIENv bnN0cnVjdGlvbiBvZiBTdWJsaXN0IFRyZWVzDQogICBTaGluLUNoZW5nIE11DQoNCiAqIEEgTmV1 cmFsLU5ldHdvcmstR3VpZGVkIEFwcHJvYWNoIHRvIFByb2dyYW0gVmVyaWZpY2F0aW9uDQogICBh bmQgU3ludGhlc2lzDQogICBOYW9raSBLb2JheWFzaGkNCg0KPT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KIyBQT1NU RVJTIGFuZCBTVFVERU5UIFJFU0VBUkNIIENPTVBFVElUSU9OIEVOVFJJRVMNCj09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT0NCg0KICogW05vbi1TUkNdIEVuY29kaW5nIE1FTEwgQ3V0IEVsaW1pbmF0aW9uIGludG8gYSBI aWVyYXJjaGljYWwNCiAgICBHcmFwaCBSZXdyaXRpbmcgTGFuZ3VhZ2UNCiAgICBLZW50byBUYWt5 dSwgS2F6dW5vcmkgVWVkYQ0KDQogKiBbTm9uLVNSQ10gVG93YXJkcyBhIFByb2dyYW1taW5nIFBh cmFkaWdtIEFwcHJvYWNoIGZvcg0KICAgQUktQXNzaXN0ZWQgU29mdHdhcmUgRGV2ZWxvcG1lbnQN CiAgIFl1bmdZdSBaaHVhbmcsIFdlaS1Ic2luIFllbiwgWWluLUp1bmcgSHVhbmcNCg0KICogW1NS Q10gTXVsdGlwbGUgU2NyZWVuIFN0YXRlcyBmb3IgUHJvZ3JhbW1pbmcgd2l0aCBTbWFsbCBTY3Jl ZW5zDQogICBKaW4gSXNoaWthd2ENCg0KICogW1NSQ10gUmVsYXRpb25hbCBIb2FyZSBMb2dpYyBm b3IgQ29tcGFyaW5nIE5vbmRldGVybWluaXN0aWMNCiAgIFByb2dyYW1zIGFuZCBQcm9iYWJpbGlz dGljIFByb2dyYW1zIHRocm91Z2ggYSBDYXRlZ29yaWNhbA0KICAgRnJhbWV3b3JrDQogICBLYXp1 a2kgTWF0c3Vva2ENCg0KICogW1NSQ10gU2VwYXJhdGUgQ29tcGlsYXRpb24gZm9yIENvbXBvc2l0 aW9uYWwgUHJvZ3JhbW1pbmcNCiAgIHZpYSBFeHRlbnNpYmxlIFJlY29yZHMNCiAgIFlhb3podSBT dW4NCg0KICogW1NSQ10gVHlwZS1TYWZlIEF1dG8tQ29tcGxldGlvbiBvZiBJbmNvbXBsZXRlIFBv bHltb3JwaGljIFByb2dyYW1zDQogICBZb25nIFFpIEZvbw0KDQo9PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQojIE9S R0FOSVpFUlMNCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT0NCg0KR2VuZXJhbCBDaGFpcjoNCiAgIFNoaW4tQ2hlbmcg TXUsIEFjYWRlbWlhIFNpbmljYSwgVGFpd2FuDQoNClByb2dyYW0gQ2hhaXI6DQogICBDaHVuZy1L aWwgSHVyLCBTZW91bCBOYXRpb25hbCBVbml2ZXJzaXR5LCBLb3JlYQ0KDQpQdWJsaWNpdHkgQ2hh aXI6DQogICBSeW9zdWtlIFNhdG8sIFVuaXZlcnNpdHkgb2YgVG9reW8sIEphcGFuDQoNClNSQyBh bmQgUG9zdGVycyBDaGFpcjoNCiAgIEhzaWFuZy1TaGFuZyDigJhKb3No4oCZIEtvLCBBY2FkZW1p YSBTaW5pY2EsIFRhaXdhbg0KDQpQcm9ncmFtIENvbW1pdHRlZToNCg0KICogU29oYW0gQ2hha3Jh Ym9ydHksIFRVIERlbGZ0LCBOZXRoZXJsYW5kcw0KICogWXUtRmFuZyBDaGVuLCBBY2FkZW1pYSBT aW5pY2EsIFRhaXdhbg0KICogUm9uZ2h1aSBHdSwgQ29sdW1iaWEgVW5pdmVyc2l0eSwgVVNBDQog KiBJY2hpcm8gSGFzdW8sIE5hdGlvbmFsIEluc3RpdHV0ZSBvZiBJbmZvcm1hdGljcywgSmFwYW4N CiAqIFJhbGYgSnVuZywgRVRIIFp1cmljaCwgU3dpdHplcmxhbmQNCiAqIE9oYWQgS2FtbWFyLCBV bml2ZXJzaXR5IG9mIEVkaW5idXJnaCwgVUsNCiAqIEplZWhvb24gS2FuZywgS0FJU1QsIEtvcmVh DQogKiBKaWV1bmcgS2ltLCBJbmhhIFVuaXZlcnNpdHksIEtvcmVhDQogKiBSb2JiZXJ0IEtyZWJi ZXJzLCBSYWRib3VkIFVuaXZlcnNpdHkgTmlqbWVnZW4sIE5ldGhlcmxhbmRzDQogKiBPcmkgTGFo YXYsIFRlbCBBdml2IFVuaXZlcnNpdHksIElzcmFlbA0KICogRG91ZyBMZWEsIFN0YXRlIFVuaXZl cnNpdHkgb2YgTmV3IFlvcmsgYXQgT3N3ZWdvLCBVU0ENCiAqIFdvb3N1ayBMZWUsIEhhbnlhbmcg VW5pdmVyc2l0eSwgS29yZWENCiAqIEhvbmdqaW4gTGlhbmcsIE5hbmppbmcgVW5pdmVyc2l0eSwg Q2hpbmENCiAqIE51bm8gUC4gTG9wZXMsIFVuaXZlcnNpdHkgb2YgTGlzYm9uLCBQb3J0dWdhbA0K ICogQ2hhbmRyYWthbmEgTmFuZGksIENlcnRvcmEgYW5kIFVXLCBVU0ENCiAqIExpYW0gTydDb25u b3IsIFRoZSBVbml2ZXJzaXR5IG9mIEVkaW5idXJnaCwgVUsNCiAqIEJydW5vIEMuIGQuIFMuIE9s aXZlaXJhLCBUaGUgVW5pdmVyc2l0eSBvZiBIb25nIEtvbmcsIEhvbmcgS29uZw0KICogSmloeWVv ayBQYXJrLCBLb3JlYSBVbml2ZXJzaXR5LCBLb3JlYQ0KICogQ2zDqW1lbnQgUGl0LUNsYXVkZWws IEVQRkwsIFN3aXR6ZXJsYW5kDQogKiBNYXR0aGlldSBTb3plYXUsIElucmlhLCBGcmFuY2UNCiAq IEtvaGVpIFN1ZW5hZ2EsIEt5b3RvIFVuaXZlcnNpdHksIEphcGFuDQogKiBUYXJtbyBVdXN0YWx1 LCBSZXlramF2aWsgVW5pdmVyc2l0eSwgSWNlbGFuZA0KICogSm9obiBXaWNrZXJzb24sIEltcGVy aWFsIENvbGxlZ2UgTG9uZG9uLCBVSw0KICogRGFuZmVuZyBaaGFuZywgUGVubiBTdGF0ZSBVbml2 ZXJzaXR5LCBVU0ENCg0KUG9zdGVycyBTZWxlY3Rpb24gQ29tbWl0dGVlDQoNCiAqIEphY3F1ZXMg R2FycmlndWUsIE5hZ295YSBVbml2ZXJzaXR5LCBKYXBhbg0KICogSmVyZW15IEdpYmJvbnMsIFVu aXZlcnNpdHkgb2YgT3hmb3JkLCBVSw0KICogQ2hpaC1EdW8gSG9uZywgVW5pdmVyc2l0eSBvZiBP eGZvcmQsIFVLDQogKiBPbGVnIEtpc2VseW92LCBUb2hva3UgVW5pdmVyc2l0eSwgSmFwYW4NCiAq IEFraW1hc2EgTW9yaWhhdGEsIFVuaXZlcnNpdHkgb2YgVG9reW8sIEphcGFuDQogKiBEb21pbmlj IE9yY2hhcmQsIFVuaXZlcnNpdHkgb2YgS2VudCwgVUsgYW5kDQogICBVbml2ZXJzaXR5IG9mIENh bWJyaWRnZSwgVUsNCiAqIFRhcm8gU2VraXlhbWEsIE5hdGlvbmFsIEluc3RpdHV0ZSBvZiBJbmZv cm1hdGljcywgSmFwYW4NCiAqIENodW5nLWNoaWVoIFNoYW4sIEluZGlhbmEgVW5pdmVyc2l0eSwg VW5pdGVkIFN0YXRlcw0KICogWW91bmdqdSBTb25nLCBNUEktU1dTLCBHZXJtYW55DQogKiBUYWNo aW8gVGVyYXVjaGksIFdhc2VkYSBVbml2ZXJzaXR5LCBKYXBhbg0KICogQ2h1YW5namllIFh1LCBT b25hciBTb3VyY2UsIEdlcm1hbnkNCg==