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.23 via Mailbox Transport; Wed, 14 Jun 2023 04:20:47 +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.23; Wed, 14 Jun 2023 04:20:47 +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.23 via Frontend Transport; Wed, 14 Jun 2023 04:20:47 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 35E3K2vs006460 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 14 Jun 2023 04:20:02 +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 35E3Jrq2006436 for ; Wed, 14 Jun 2023 04:19:53 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jun 2023 05:19:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D5D08E0CCA; Wed, 14 Jun 2023 05:19:52 +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 2766AE00BA for ; Wed, 14 Jun 2023 05:19:27 +0200 (CEST) Received: from mail-oi1-f173.google.com ([209.85.167.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Jun 2023 05:19:25 +0200 Received: by mail-oi1-f173.google.com with SMTP id 5614622812f47-394c7ba4cb5so2893812b6e.1 for ; Tue, 13 Jun 2023 20:19:23 -0700 (PDT) Received: from mail-oo1-f45.google.com (mail-oo1-f45.google.com. [209.85.161.45]) by smtp.gmail.com with ESMTPSA id q82-20020acaf255000000b003982a8a1e3fsm5873072oih.51.2023.06.13.20.19.21 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 13 Jun 2023 20:19:21 -0700 (PDT) Received: by mail-oo1-f45.google.com with SMTP id 006d021491bc7-559b0ddcd4aso210295eaf.0; Tue, 13 Jun 2023 20:19:21 -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" Subject: [Caml-list] APLAS 2023: Deadline Extension Thread-Topic: [Caml-list] APLAS 2023: Deadline Extension Thread-Index: AQHZnm82FXb3M11Vi02svSNDInJKMQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Wed, 14 Jun 2023 04:19:09 +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: aaa73c10-1d0d-4a1d-aadd-08db6c8658b0 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:8f8:b0:39e:5892:8539 with SMTP id d24-20020a05680808f800b0039e58928539mr2531725oic.9.1686712761545; Tue, 13 Jun 2023 20:19:21 -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.00,241,1681164000"; d="scan'208";a="58647647" 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: Content-Transfer-Encoding: base64 MIME-Version: 1.0 TkVXUzogRGVhZGxpbmUgZXh0ZW5kZWQgdG8gMTh0aCBKdW5lLg0KDQo9PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQpD QUxMIEZPUiBQQVBFUlMNCg0KMjFzdCBBc2lhbiBTeW1wb3NpdW0gb24gUHJvZ3JhbW1pbmcgTGFu Z3VhZ2VzIGFuZCBTeXN0ZW1zIChBUExBUyAyMDIzKQ0KVGFpcGVpLCBUYWl3YW4sIFN1biAyNiDi gJMgV2VkIDI5IE5vdmVtYmVyIDIwMjMNCg0KaHR0cHM6Ly9jb25mLnJlc2VhcmNoci5vcmcvaG9t ZS9hcGxhcy0yMDIzDQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09DQoNCg0KSU1QT1JUQU5UIERBVEVTDQotLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoiTkVXIiBTdWJtaXNzaW9uIGRlYWRsaW5l OiBTdW4gMTggSnVuIDIwMjMgQW9FDQpBdXRob3IgcmVzcG9uc2U6IE1vbiAzMSBKdWwgMTI6MDAg LSBXZWQgMiBBdWcgMTI6MDAgMjAyMyBBb0UNCkF1dGhvciBub3RpZmljYXRpb246IE1vbiAxNCBB dWcgMjAyMyBBb0UNCkZpbmFsIHBhcGVyIGRlYWRsaW5lOiBXZWQgNiBTZXAgMjAyMyBBb0UNCkNv bmZlcmVuY2U6IFN1biAyNiDigJMgV2VkIDI5IE5vdiAyMDIzDQoNCg0KU0NPUEUNCi0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCldlIHNvbGljaXQgc3VibWlzc2lvbnMgaW4g dGhlIGZvcm0gb2YgcmVndWxhciByZXNlYXJjaCBwYXBlcnMNCmRlc2NyaWJpbmcgb3JpZ2luYWwg c2NpZW50aWZpYyByZXNlYXJjaCByZXN1bHRzLCBpbmNsdWRpbmcgc3lzdGVtDQpkZXZlbG9wbWVu dCBhbmQgY2FzZSBzdHVkaWVzLiBBbW9uZyBvdGhlcnMsIHNvbGljaXRlZCB0b3BpY3MgaW5jbHVk ZToNCg0KLSAqKiBwcm9ncmFtbWluZyBwYXJhZGlnbXMgYW5kIHN0eWxlcyAqKiA6DQogICAgZnVu Y3Rpb25hbCBwcm9ncmFtbWluZzsgb2JqZWN0LW9yaWVudGVkIHByb2dyYW1taW5nOyBwcm9iYWJp bGlzdGljDQogIHByb2dyYW1taW5nOyBsb2dpYw0KICBwcm9ncmFtbWluZzsgY29uc3RyYWludCBw cm9ncmFtbWluZzsgZXh0ZW5zaWJsZSBwcm9ncmFtbWluZw0KICBsYW5ndWFnZXM7IHByb2dyYW1t aW5nIGxhbmd1YWdlcyBmb3Igc3lzdGVtcyBjb2RlOyBub3ZlbCBwcm9ncmFtbWluZw0KICBwYXJh ZGlnbXM7DQoNCi0gKiogbWV0aG9kcyBhbmQgdG9vbHMgdG8gc3BlY2lmeSBhbmQgcmVhc29uIGFi b3V0IHByb2dyYW1zIGFuZA0KICBsYW5ndWFnZXMgKiogOg0KDQogIHByb2dyYW1taW5nIHRlY2hu aXF1ZXM7IG1ldGEtcHJvZ3JhbW1pbmc7IGRvbWFpbi1zcGVjaWZpYw0KICBsYW5ndWFnZXM7IHBy b29mIGFzc2lzdGFudHM7IHR5cGUgc3lzdGVtczsgZGVwZW5kZW50IHR5cGVzOyBwcm9ncmFtDQog IGxvZ2ljcywgc3RhdGljIGFuZCBkeW5hbWljIHByb2dyYW0gYW5hbHlzaXM7IGxhbmd1YWdlLWJh c2VkDQogIHNlY3VyaXR5OyBtb2RlbCBjaGVja2luZzsgdGVzdGluZzsNCg0KLSAqKiBwcm9ncmFt bWluZyBsYW5ndWFnZSBmb3VuZGF0aW9ucyAqKiA6DQoNCiAgZm9ybWFsIHNlbWFudGljczsgdHlw ZSB0aGVvcnk7IGxvZ2ljYWwgZm91bmRhdGlvbnM7IGNhdGVnb3J5DQogIHRoZW9yeTsgYXV0b21h dGE7IGVmZmVjdHM7IG1vbmFkcyBhbmQgY29tb25hZHM7IHJlY3Vyc2lvbiBhbmQNCiAgY29yZWN1 cnNpb247IGNvbnRpbnVhdGlvbnMgYW5kIGVmZmVjdCBoYW5kbGVyczsgcHJvZ3JhbQ0KICB2ZXJp ZmljYXRpb247IG1lbW9yeSBtb2RlbHM7IGFic3RyYWN0IGludGVycHJldGF0aW9uOw0KDQotICoq IG1ldGhvZHMgYW5kIHRvb2xzIGZvciBpbXBsZW1lbnRhdGlvbiAqKiA6DQoNCiAgY29tcGlsZXJz OyBwcm9ncmFtIHRyYW5zZm9ybWF0aW9uczsgcmV3cml0aW5nIHN5c3RlbXM7DQogIHBhcnRpYWwg ZXZhbHVhdGlvbjsgdmlydHVhbCBtYWNoaW5lczsgcmVmYWN0b3Jpbmc7IGludGVybWVkaWF0ZQ0K ICBsYW5ndWFnZXM7IHJ1bi10aW1lIGVudmlyb25tZW50czsgZ2FyYmFnZSBjb2xsZWN0aW9uIGFu ZCBtZW1vcnkNCiAgbWFuYWdlbWVudDsgdHJhY2luZzsgcHJvZmlsaW5nOyBidWlsZCBzeXN0ZW1z OyBwcm9ncmFtIHN5bnRoZXNpczsNCg0KLSAqKiBjb25jdXJyZW5jeSBhbmQgZGlzdHJpYnV0aW9u ICoqIDoNCg0KICBwcm9jZXNzIGFsZ2VicmFzOyBjb25jdXJyZW5jeSB0aGVvcnk7IHNlc3Npb24g dHlwZXM7IHBhcmFsbGVsDQogIHByb2dyYW1taW5nOyBzZXJ2aWNlLW9yaWVudGVkIGNvbXB1dGlu ZzsgZGlzdHJpYnV0ZWQgYW5kIG1vYmlsZQ0KICBjb21wdXRpbmc7IGFjdG9yLWJhc2VkIGxhbmd1 YWdlczsgdmVyaWZpY2F0aW9uIGFuZCB0ZXN0aW5nIG9mDQogIGNvbmN1cnJlbnQgYW5kIGRpc3Ry aWJ1dGVkIHN5c3RlbXM7DQoNCi0gKiogYXBwbGljYXRpb25zIGFuZCBlbWVyZ2luZyB0b3BpY3Mg KiogOg0KDQogIHByb2dyYW1taW5nIGxhbmd1YWdlcyBhbmQgUEwgbWV0aG9kcyBpbiBlZHVjYXRp b24sIHNlY3VyaXR5LA0KICBwcml2YWN5LCBkYXRhYmFzZSBzeXN0ZW1zLCBjb21wdXRhdGlvbmFs IGJpb2xvZ3ksIHNpZ25hbA0KICBwcm9jZXNzaW5nLCBncmFwaGljcywgaHVtYW4tY29tcHV0ZXIg aW50ZXJhY3Rpb24sIGNvbXB1dGVyLWFpZGVkDQogIGRlc2lnbiwgYXJ0aWZpY2lhbCBpbnRlbGxp Z2VuY2UgYW5kIG1hY2hpbmUgbGVhcm5pbmc7IGNhc2UNCiAgc3R1ZGllcyBpbiBwcm9ncmFtIGFu YWx5c2lzIGFuZCB2ZXJpZmljYXRpb24uDQoNCg0KR0VORVJBTCBJTkZPUk1BVElPTg0KLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KU3VibWlzc2lvbnMgc2hvdWxkIG5vdCBl eGNlZWQgMTcgcGFnZXMsIGV4Y2x1ZGluZyBiaWJsaW9ncmFwaHkgaW4gdGhlDQpTcHJpbmdlciBM TkNTIGZvcm1hdC4gTGFUZVggdGVtcGxhdGUgaXMgYXZhaWxhYmxlIGF0Og0KDQogIGh0dHBzOi8v d3d3LnNwcmluZ2VyLmNvbS9ncC9jb21wdXRlci1zY2llbmNlL2xuY3MvY29uZmVyZW5jZS1wcm9j ZWVkaW5ncy1ndWlkZWxpbmVzDQoNClRoZSBhY2NlcHRlZCBwYXBlcnMgd2lsbCBiZSBhbGxvd2Vk IHRvIHVzZSBvbmUgZXh0cmEgcGFnZSBmb3IgdGhlDQpjb250ZW50IHRvIGFjY29tbW9kYXRlIGZl ZWRiYWNrIGZyb20gdGhlIHJldmlld3MgaW4gdGhlIGZpbmFsIHBhcGVyDQp2ZXJzaW9ucy4NCg0K UGFwZXJzIHNob3VsZCBiZSBzdWJtaXR0ZWQgdmlhIEhvdENSUDoNCg0KICBodHRwczovL2FwbGFz MjAyMy5ob3RjcnAuY29tLw0KDQpUaGUgcmV2aWV3IHByb2Nlc3Mgb2YgQVBMQVMgMjAyMyBpcyBk b3VibGUtYW5vbnltb3VzLCB3aXRoIGEgcmVidXR0YWwNCnBoYXNlLiBJbiB5b3VyIHN1Ym1pc3Np b24sIHBsZWFzZSwgb21pdCB5b3VyIG5hbWVzIGFuZCBpbnN0aXR1dGlvbnM7DQpyZWZlciB0byB5 b3VyIHByaW9yIHdvcmsgaW4gdGhlIHRoaXJkIHBlcnNvbiwganVzdCBhcyB5b3UgcmVmZXIgdG8N CnByaW9yIHdvcmsgYnkgb3RoZXJzOyBkbyBub3QgaW5jbHVkZSBhY2tub3dsZWRnbWVudHMgdGhh dCBtaWdodA0KaWRlbnRpZnkgeW91Lg0KDQpBZGRpdGlvbmFsIG1hdGVyaWFsIGludGVuZGVkIGZv ciByZXZpZXdlcnMgYnV0IG5vdCBmb3IgcHVibGljYXRpb24gaW4NCnRoZSBmaW5hbCB2ZXJzaW9u IC0gZm9yIGV4YW1wbGUsIGRldGFpbHMgb2YgcHJvb2ZzIC0gbWF5IGJlIHBsYWNlZCBpbg0KYSBj bGVhcmx5IG1hcmtlZCBhcHBlbmRpeCB0aGF0IGlzIG5vdCBpbmNsdWRlZCBpbiB0aGUgcGFnZSBs aW1pdC4NClJldmlld2VycyBhcmUgYXQgbGliZXJ0eSB0byBpZ25vcmUgYXBwZW5kaWNlcyBhbmQg cGFwZXJzIG11c3QgYmUNCnVuZGVyc3RhbmRhYmxlIHdpdGhvdXQgdGhlbS4NCg0KU3VibWl0dGVk IHBhcGVycyBtdXN0IGJlIHVucHVibGlzaGVkIGFuZCBub3Qgc3VibWl0dGVkIGZvciBwdWJsaWNh dGlvbg0KZWxzZXdoZXJlLiBQYXBlcnMgbXVzdCBiZSB3cml0dGVuIGluIEVuZ2xpc2guIFRoZSBw cm9jZWVkaW5ncyB3aWxsIGJlDQpwdWJsaXNoZWQgYXMgYSB2b2x1bWUgaW4gU3ByaW5nZXLigJlz IExOQ1Mgc2VyaWVzLiBBY2NlcHRlZCBwYXBlcnMgbXVzdA0KYmUgcHJlc2VudGVkIGF0IHRoZSBj b25mZXJlbmNlLg0KDQoNClBPU1RFUlMgYW5kIFNUVURFTlQgUkVTRUFSQ0ggQ09NUEVUSVRJT04N Ci0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KQVBMQVMgMjAyMyBp bmNsdWRlcyBhIFBvc3RlcnMgc2Vzc2lvbiBhbmQgYSBTdHVkZW50IFJlc2VhcmNoDQpDb21wZXRp dGlvbi4gRm9yIG1vcmUgZGV0YWlscywgcGxlYXNlIHNlZSB0aGUgd2Vic2l0ZS4NCg0KIGh0dHBz Oi8vY29uZi5yZXNlYXJjaHIub3JnL3RyYWNrL2FwbGFzLTIwMjMvcG9zdGVycy1hbmQtc3JjDQoN Cg0KRElTVElOR1VJU0hFRCBQQVBFUlMgQVdBUkRTDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tDQoNCkFyb3VuZCAxMCUgb2YgdGhlIGFjY2VwdGVkIHBhcGVycyBvZiBBUExB UyAyMDIzIHdpbGwgYmUgZGVzaWduYXRlZCBhcw0KRGlzdGluZ3Vpc2hlZCBQYXBlcnMsIHdoaWNo IGhpZ2hsaWdodHMgcGFwZXJzIHRoYXQgdGhlIFByb2dyYW0NCkNvbW1pdHRlZSByZWNvbW1lbmRz IGR1ZSB0byB0aGVpciBleGNlbGxlbnQgcXVhbGl0eS4gVGhlIGF3YXJkcyB3aWxsDQpiZSBhbm5v dW5jZWQgb24gdGhpcyB3ZWJzaXRlLCBhbmQgcHJpbnRlZCBjZXJ0aWZpY2F0ZXMgd2lsbCBiZSBp c3N1ZWQNCnRvIHRoZSBhdXRob3JzIGluIHRoZSBjb25mZXJlbmNlLg0KDQoNCk9SR0FOSVpFUlMN Ci0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KR2VuZXJhbCBDaGFpcjoN Cg0KICBTaGluLUNoZW5nIE11LCBBY2FkZW1pYSBTaW5pY2EsIFRhaXdhbg0KDQpQcm9ncmFtIENo YWlyOg0KDQogIENodW5nLUtpbCBIdXIsIFNlb3VsIE5hdGlvbmFsIFVuaXZlcnNpdHksIEtvcmVh DQoNClB1YmxpY2l0eSBDaGFpcjoNCg0KICBSeW9zdWtlIFNhdG8sIFVuaXZlcnNpdHkgb2YgVG9r eW8sIEphcGFuDQoNClByb2dyYW0gQ29tbWl0dGVlOg0KDQogIFNvaGFtIENoYWtyYWJvcnR5LCBU VSBEZWxmdCwgTmV0aGVybGFuZHMNCiAgWXUtRmFuZyBDaGVuLCBBY2FkZW1pYSBTaW5pY2EsIFRh aXdhbg0KICBSb25naHVpIEd1LCBDb2x1bWJpYSBVbml2ZXJzaXR5LCBVU0ENCiAgSWNoaXJvIEhh c3VvLCBOYXRpb25hbCBJbnN0aXR1dGUgb2YgSW5mb3JtYXRpY3MsIEphcGFuDQogIFJhbGYgSnVu ZywgRVRIIFp1cmljaCwgU3dpdHplcmxhbmQNCiAgT2hhZCBLYW1tYXIsIFVuaXZlcnNpdHkgb2Yg RWRpbmJ1cmdoLCBVSw0KICBKZWVob29uIEthbmcsIEtBSVNULCBLb3JlYQ0KICBKaWV1bmcgS2lt LCBJbmhhIFVuaXZlcnNpdHksIEtvcmVhDQogIFJvYmJlcnQgS3JlYmJlcnMsIFJhZGJvdWQgVW5p dmVyc2l0eSBOaWptZWdlbiwgTmV0aGVybGFuZHMNCiAgT3JpIExhaGF2LCBUZWwgQXZpdiBVbml2 ZXJzaXR5LCBJc3JhZWwNCiAgRG91ZyBMZWEsIFN0YXRlIFVuaXZlcnNpdHkgb2YgTmV3IFlvcmsg YXQgT3N3ZWdvLCBVU0ENCiAgV29vc3VrIExlZSwgSGFueWFuZyBVbml2ZXJzaXR5LCBLb3JlYQ0K ICBIb25namluIExpYW5nLCBOYW5qaW5nIFVuaXZlcnNpdHksIENoaW5hDQogIE51bm8gUC4gTG9w ZXMsIFVuaXZlcnNpdHkgb2YgTGlzYm9uLCBQb3J0dWdhbA0KICBDaGFuZHJha2FuYSBOYW5kaSwg Q2VydG9yYSBhbmQgVVcsIFVTQQ0KICBMaWFtIE8nQ29ubm9yLCBUaGUgVW5pdmVyc2l0eSBvZiBF ZGluYnVyZ2gsIFVLDQogIEJydW5vIEMuIGQuIFMuIE9saXZlaXJhLCBUaGUgVW5pdmVyc2l0eSBv ZiBIb25nIEtvbmcsIEhvbmcgS29uZw0KICBKaWh5ZW9rIFBhcmssIEtvcmVhIFVuaXZlcnNpdHks IEtvcmVhDQogIENsw6ltZW50IFBpdC1DbGF1ZGVsLCBFUEZMLCBTd2l0emVybGFuZA0KICBNYXR0 aGlldSBTb3plYXUsIElucmlhLCBGcmFuY2UNCiAgS29oZWkgU3VlbmFnYSwgS3lvdG8gVW5pdmVy c2l0eSwgSmFwYW4NCiAgVGFybW8gVXVzdGFsdSwgUmV5a2phdmlrIFVuaXZlcnNpdHksIEljZWxh bmQNCiAgSm9obiBXaWNrZXJzb24sIEltcGVyaWFsIENvbGxlZ2UgTG9uZG9uLCBVSw0KICBEYW5m ZW5nIFpoYW5nLCBQZW5uIFN0YXRlIFVuaXZlcnNpdHksIFVTQQ0K