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; Fri, 12 May 2023 01:19:34 +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; Fri, 12 May 2023 01:19:33 +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; Fri, 12 May 2023 01:19:33 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34C0ImiF007728 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 12 May 2023 01:18:48 +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 34C0IYJJ007706 for ; Fri, 12 May 2023 01:18:35 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 May 2023 02:18:34 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id CD40CE0D51; Fri, 12 May 2023 02:18:33 +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 BC9CEE0D49 for ; Fri, 12 May 2023 02:18:29 +0200 (CEST) Received: from mail-pl1-f169.google.com ([209.85.214.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 12 May 2023 02:18:28 +0200 Received: by mail-pl1-f169.google.com with SMTP id d9443c01a7336-1aafa41116fso64413285ad.1 for ; Thu, 11 May 2023 17:18:26 -0700 (PDT) Received: from mail-pl1-f178.google.com (mail-pl1-f178.google.com. [209.85.214.178]) by smtp.gmail.com with ESMTPSA id t16-20020a1709028c9000b001acad024c8asm4868874plo.40.2023.05.11.17.18.23 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 11 May 2023 17:18:23 -0700 (PDT) Received: by mail-pl1-f178.google.com with SMTP id d9443c01a7336-1aaec6f189cso64449685ad.3; Thu, 11 May 2023 17:18:23 -0700 (PDT) From: "Sato, Ryosuke" To: "ecoop-info@ecoop.org" , "caml-list@inria.fr" , "types-announce@lists.seas.upenn.edu" , "coq-club@inria.fr" , "haskell@haskell.org" , "agda@lists.chalmers.se" , "seworld@sigsoft.org" Subject: [Caml-list] APLAS 2023: Second Call for Papers Thread-Topic: [Caml-list] APLAS 2023: Second Call for Papers Thread-Index: AQHZhGdtxDwENVMRDEue3UxUk4DDNA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 12 May 2023 01:18:11 +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: f00ead76-a523-4f59-6f4b-08db527e9002 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:a17:902:dac3:b0:1ad:b459:a7e4 with SMTP id q3-20020a170902dac300b001adb459a7e4mr9059628plx.7.1683850703152; Thu, 11 May 2023 17:18:23 -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="5.99,268,1677538800"; d="scan'208";a="55813928" 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: <02834358E8CDF34CA25891082DCF7577@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 VVBEQVRFOiBEaXN0aW5ndWlzaGVkIFBhcGVycyBBd2FyZHMhDQoNCj09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0NCkNB TEwgRk9SIFBBUEVSUw0KDQoyMXN0IEFzaWFuIFN5bXBvc2l1bSBvbiBQcm9ncmFtbWluZyBMYW5n dWFnZXMgYW5kIFN5c3RlbXMgKEFQTEFTIDIwMjMpDQpUYWlwZWksIFRhaXdhbiwgU3VuIDI2IOKA kyBXZWQgMjkgTm92ZW1iZXIgMjAyMw0KDQpodHRwczovL2NvbmYucmVzZWFyY2hyLm9yZy9ob21l L2FwbGFzLTIwMjMNCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT0NCg0KDQpJTVBPUlRBTlQgREFURVMNCi0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NClN1Ym1pc3Npb24gZGVhZGxpbmU6IFRodSAx NSBKdW4gMjAyMyBBb0UNCkF1dGhvciByZXNwb25zZTogTW9uIDMxIEp1bCAxMjowMCAtIFdlZCAy IEF1ZyAxMjowMCAyMDIzIEFvRQ0KQXV0aG9yIG5vdGlmaWNhdGlvbjogTW9uIDE0IEF1ZyAyMDIz IEFvRQ0KRmluYWwgcGFwZXIgZGVhZGxpbmU6IFdlZCA2IFNlcCAyMDIzIEFvRQ0KQ29uZmVyZW5j ZTogU3VuIDI2IOKAkyBXZWQgMjkgTm92IDIwMjMNCg0KDQpTQ09QRQ0KLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KV2Ugc29saWNpdCBzdWJtaXNzaW9ucyBpbiB0aGUgZm9y bSBvZiByZWd1bGFyIHJlc2VhcmNoIHBhcGVycw0KZGVzY3JpYmluZyBvcmlnaW5hbCBzY2llbnRp ZmljIHJlc2VhcmNoIHJlc3VsdHMsIGluY2x1ZGluZyBzeXN0ZW0NCmRldmVsb3BtZW50IGFuZCBj YXNlIHN0dWRpZXMuIEFtb25nIG90aGVycywgc29saWNpdGVkIHRvcGljcyBpbmNsdWRlOg0KDQot ICoqIHByb2dyYW1taW5nIHBhcmFkaWdtcyBhbmQgc3R5bGVzICoqIDoNCiAgICBmdW5jdGlvbmFs IHByb2dyYW1taW5nOyBvYmplY3Qtb3JpZW50ZWQgcHJvZ3JhbW1pbmc7IHByb2JhYmlsaXN0aWMN CiAgcHJvZ3JhbW1pbmc7IGxvZ2ljDQogIHByb2dyYW1taW5nOyBjb25zdHJhaW50IHByb2dyYW1t aW5nOyBleHRlbnNpYmxlIHByb2dyYW1taW5nDQogIGxhbmd1YWdlczsgcHJvZ3JhbW1pbmcgbGFu Z3VhZ2VzIGZvciBzeXN0ZW1zIGNvZGU7IG5vdmVsIHByb2dyYW1taW5nDQogIHBhcmFkaWdtczsN Cg0KLSAqKiBtZXRob2RzIGFuZCB0b29scyB0byBzcGVjaWZ5IGFuZCByZWFzb24gYWJvdXQgcHJv Z3JhbXMgYW5kDQogIGxhbmd1YWdlcyAqKiA6DQoNCiAgcHJvZ3JhbW1pbmcgdGVjaG5pcXVlczsg bWV0YS1wcm9ncmFtbWluZzsgZG9tYWluLXNwZWNpZmljDQogIGxhbmd1YWdlczsgcHJvb2YgYXNz aXN0YW50czsgdHlwZSBzeXN0ZW1zOyBkZXBlbmRlbnQgdHlwZXM7IHByb2dyYW0NCiAgbG9naWNz LCBzdGF0aWMgYW5kIGR5bmFtaWMgcHJvZ3JhbSBhbmFseXNpczsgbGFuZ3VhZ2UtYmFzZWQNCiAg c2VjdXJpdHk7IG1vZGVsIGNoZWNraW5nOyB0ZXN0aW5nOw0KDQotICoqIHByb2dyYW1taW5nIGxh bmd1YWdlIGZvdW5kYXRpb25zICoqIDoNCg0KICBmb3JtYWwgc2VtYW50aWNzOyB0eXBlIHRoZW9y eTsgbG9naWNhbCBmb3VuZGF0aW9uczsgY2F0ZWdvcnkNCiAgdGhlb3J5OyBhdXRvbWF0YTsgZWZm ZWN0czsgbW9uYWRzIGFuZCBjb21vbmFkczsgcmVjdXJzaW9uIGFuZA0KICBjb3JlY3Vyc2lvbjsg Y29udGludWF0aW9ucyBhbmQgZWZmZWN0IGhhbmRsZXJzOyBwcm9ncmFtDQogIHZlcmlmaWNhdGlv bjsgbWVtb3J5IG1vZGVsczsgYWJzdHJhY3QgaW50ZXJwcmV0YXRpb247DQoNCi0gKiogbWV0aG9k cyBhbmQgdG9vbHMgZm9yIGltcGxlbWVudGF0aW9uICoqIDoNCg0KICBjb21waWxlcnM7IHByb2dy YW0gdHJhbnNmb3JtYXRpb25zOyByZXdyaXRpbmcgc3lzdGVtczsNCiAgcGFydGlhbCBldmFsdWF0 aW9uOyB2aXJ0dWFsIG1hY2hpbmVzOyByZWZhY3RvcmluZzsgaW50ZXJtZWRpYXRlDQogIGxhbmd1 YWdlczsgcnVuLXRpbWUgZW52aXJvbm1lbnRzOyBnYXJiYWdlIGNvbGxlY3Rpb24gYW5kIG1lbW9y eQ0KICBtYW5hZ2VtZW50OyB0cmFjaW5nOyBwcm9maWxpbmc7IGJ1aWxkIHN5c3RlbXM7IHByb2dy YW0gc3ludGhlc2lzOw0KDQotICoqIGNvbmN1cnJlbmN5IGFuZCBkaXN0cmlidXRpb24gKiogOg0K DQogIHByb2Nlc3MgYWxnZWJyYXM7IGNvbmN1cnJlbmN5IHRoZW9yeTsgc2Vzc2lvbiB0eXBlczsg cGFyYWxsZWwNCiAgcHJvZ3JhbW1pbmc7IHNlcnZpY2Utb3JpZW50ZWQgY29tcHV0aW5nOyBkaXN0 cmlidXRlZCBhbmQgbW9iaWxlDQogIGNvbXB1dGluZzsgYWN0b3ItYmFzZWQgbGFuZ3VhZ2VzOyB2 ZXJpZmljYXRpb24gYW5kIHRlc3Rpbmcgb2YNCiAgY29uY3VycmVudCBhbmQgZGlzdHJpYnV0ZWQg c3lzdGVtczsNCg0KLSAqKiBhcHBsaWNhdGlvbnMgYW5kIGVtZXJnaW5nIHRvcGljcyAqKiA6DQoN CiAgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzIGFuZCBQTCBtZXRob2RzIGluIGVkdWNhdGlvbiwgc2Vj dXJpdHksDQogIHByaXZhY3ksIGRhdGFiYXNlIHN5c3RlbXMsIGNvbXB1dGF0aW9uYWwgYmlvbG9n eSwgc2lnbmFsDQogIHByb2Nlc3NpbmcsIGdyYXBoaWNzLCBodW1hbi1jb21wdXRlciBpbnRlcmFj dGlvbiwgY29tcHV0ZXItYWlkZWQNCiAgZGVzaWduLCBhcnRpZmljaWFsIGludGVsbGlnZW5jZSBh bmQgbWFjaGluZSBsZWFybmluZzsgY2FzZQ0KICBzdHVkaWVzIGluIHByb2dyYW0gYW5hbHlzaXMg YW5kIHZlcmlmaWNhdGlvbi4NCg0KDQpHRU5FUkFMIElORk9STUFUSU9ODQotLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQpTdWJtaXNzaW9ucyBzaG91bGQgbm90IGV4Y2VlZCAx NyBwYWdlcywgZXhjbHVkaW5nIGJpYmxpb2dyYXBoeSBpbiB0aGUNClNwcmluZ2VyIExOQ1MgZm9y bWF0LiBMYVRlWCB0ZW1wbGF0ZSBpcyBhdmFpbGFibGUgYXQ6DQoNCiAgaHR0cHM6Ly93d3cuc3By aW5nZXIuY29tL2dwL2NvbXB1dGVyLXNjaWVuY2UvbG5jcy9jb25mZXJlbmNlLXByb2NlZWRpbmdz LWd1aWRlbGluZXMNCg0KVGhlIGFjY2VwdGVkIHBhcGVycyB3aWxsIGJlIGFsbG93ZWQgdG8gdXNl IG9uZSBleHRyYSBwYWdlIGZvciB0aGUNCmNvbnRlbnQgdG8gYWNjb21tb2RhdGUgZmVlZGJhY2sg ZnJvbSB0aGUgcmV2aWV3cyBpbiB0aGUgZmluYWwgcGFwZXINCnZlcnNpb25zLg0KDQpQYXBlcnMg c2hvdWxkIGJlIHN1Ym1pdHRlZCB2aWEgSG90Q1JQOg0KDQogIGh0dHBzOi8vYXBsYXMyMDIzLmhv dGNycC5jb20vDQoNClRoZSByZXZpZXcgcHJvY2VzcyBvZiBBUExBUyAyMDIzIGlzIGRvdWJsZS1h bm9ueW1vdXMsIHdpdGggYSByZWJ1dHRhbA0KcGhhc2UuIEluIHlvdXIgc3VibWlzc2lvbiwgcGxl YXNlLCBvbWl0IHlvdXIgbmFtZXMgYW5kIGluc3RpdHV0aW9uczsNCnJlZmVyIHRvIHlvdXIgcHJp b3Igd29yayBpbiB0aGUgdGhpcmQgcGVyc29uLCBqdXN0IGFzIHlvdSByZWZlciB0bw0KcHJpb3Ig d29yayBieSBvdGhlcnM7IGRvIG5vdCBpbmNsdWRlIGFja25vd2xlZGdtZW50cyB0aGF0IG1pZ2h0 DQppZGVudGlmeSB5b3UuDQoNCkFkZGl0aW9uYWwgbWF0ZXJpYWwgaW50ZW5kZWQgZm9yIHJldmll d2VycyBidXQgbm90IGZvciBwdWJsaWNhdGlvbiBpbg0KdGhlIGZpbmFsIHZlcnNpb24gLSBmb3Ig ZXhhbXBsZSwgZGV0YWlscyBvZiBwcm9vZnMgLSBtYXkgYmUgcGxhY2VkIGluDQphIGNsZWFybHkg bWFya2VkIGFwcGVuZGl4IHRoYXQgaXMgbm90IGluY2x1ZGVkIGluIHRoZSBwYWdlIGxpbWl0Lg0K UmV2aWV3ZXJzIGFyZSBhdCBsaWJlcnR5IHRvIGlnbm9yZSBhcHBlbmRpY2VzIGFuZCBwYXBlcnMg bXVzdCBiZQ0KdW5kZXJzdGFuZGFibGUgd2l0aG91dCB0aGVtLg0KDQpTdWJtaXR0ZWQgcGFwZXJz IG11c3QgYmUgdW5wdWJsaXNoZWQgYW5kIG5vdCBzdWJtaXR0ZWQgZm9yIHB1YmxpY2F0aW9uDQpl bHNld2hlcmUuIFBhcGVycyBtdXN0IGJlIHdyaXR0ZW4gaW4gRW5nbGlzaC4gVGhlIHByb2NlZWRp bmdzIHdpbGwgYmUNCnB1Ymxpc2hlZCBhcyBhIHZvbHVtZSBpbiBTcHJpbmdlcuKAmXMgTE5DUyBz ZXJpZXMuIEFjY2VwdGVkIHBhcGVycyBtdXN0DQpiZSBwcmVzZW50ZWQgYXQgdGhlIGNvbmZlcmVu Y2UuDQoNCg0KUE9TVEVSUyBhbmQgU1RVREVOVCBSRVNFQVJDSCBDT01QRVRJVElPTg0KLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQpBUExBUyAyMDIzIGluY2x1ZGVz IGEgUG9zdGVycyBzZXNzaW9uIGFuZCBhIFN0dWRlbnQgUmVzZWFyY2gNCkNvbXBldGl0aW9uLiBG b3IgbW9yZSBkZXRhaWxzLCBwbGVhc2Ugc2VlIHRoZSB3ZWJzaXRlLg0KDQogaHR0cHM6Ly9jb25m LnJlc2VhcmNoci5vcmcvdHJhY2svYXBsYXMtMjAyMy9wb3N0ZXJzLWFuZC1zcmMNCg0KDQpESVNU SU5HVUlTSEVEIFBBUEVSUyBBV0FSRFMNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0NCg0KQXJvdW5kIDEwJSBvZiB0aGUgYWNjZXB0ZWQgcGFwZXJzIG9mIEFQTEFTIDIwMjMg d2lsbCBiZSBkZXNpZ25hdGVkIGFzDQpEaXN0aW5ndWlzaGVkIFBhcGVycywgd2hpY2ggaGlnaGxp Z2h0cyBwYXBlcnMgdGhhdCB0aGUgUHJvZ3JhbQ0KQ29tbWl0dGVlIHJlY29tbWVuZHMgZHVlIHRv IHRoZWlyIGV4Y2VsbGVudCBxdWFsaXR5LiBUaGUgYXdhcmRzIHdpbGwNCmJlIGFubm91bmNlZCBv biB0aGlzIHdlYnNpdGUsIGFuZCBwcmludGVkIGNlcnRpZmljYXRlcyB3aWxsIGJlIGlzc3VlZA0K dG8gdGhlIGF1dGhvcnMgaW4gdGhlIGNvbmZlcmVuY2UuDQoNCg0KT1JHQU5JWkVSUw0KLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQpHZW5lcmFsIENoYWlyOg0KDQogIFNo aW4tQ2hlbmcgTXUsIEFjYWRlbWlhIFNpbmljYSwgVGFpd2FuDQoNClByb2dyYW0gQ2hhaXI6DQoN CiAgQ2h1bmctS2lsIEh1ciwgU2VvdWwgTmF0aW9uYWwgVW5pdmVyc2l0eSwgS29yZWENCg0KUHVi bGljaXR5IENoYWlyOg0KDQogIFJ5b3N1a2UgU2F0bywgVW5pdmVyc2l0eSBvZiBUb2t5bywgSmFw YW4NCg0KUHJvZ3JhbSBDb21taXR0ZWU6DQoNCiAgU29oYW0gQ2hha3JhYm9ydHksIFRVIERlbGZ0 LCBOZXRoZXJsYW5kcw0KICBZdS1GYW5nIENoZW4sIEFjYWRlbWlhIFNpbmljYSwgVGFpd2FuDQog IFJvbmdodWkgR3UsIENvbHVtYmlhIFVuaXZlcnNpdHksIFVTQQ0KICBJY2hpcm8gSGFzdW8sIE5h dGlvbmFsIEluc3RpdHV0ZSBvZiBJbmZvcm1hdGljcywgSmFwYW4NCiAgUmFsZiBKdW5nLCBFVEgg WnVyaWNoLCBTd2l0emVybGFuZA0KICBPaGFkIEthbW1hciwgVW5pdmVyc2l0eSBvZiBFZGluYnVy Z2gsIFVLDQogIEplZWhvb24gS2FuZywgS0FJU1QsIEtvcmVhDQogIEppZXVuZyBLaW0sIEluaGEg VW5pdmVyc2l0eSwgS29yZWENCiAgUm9iYmVydCBLcmViYmVycywgUmFkYm91ZCBVbml2ZXJzaXR5 IE5pam1lZ2VuLCBOZXRoZXJsYW5kcw0KICBPcmkgTGFoYXYsIFRlbCBBdml2IFVuaXZlcnNpdHks IElzcmFlbA0KICBEb3VnIExlYSwgU3RhdGUgVW5pdmVyc2l0eSBvZiBOZXcgWW9yayBhdCBPc3dl Z28sIFVTQQ0KICBXb29zdWsgTGVlLCBIYW55YW5nIFVuaXZlcnNpdHksIEtvcmVhDQogIEhvbmdq aW4gTGlhbmcsIE5hbmppbmcgVW5pdmVyc2l0eSwgQ2hpbmENCiAgTnVubyBQLiBMb3BlcywgVW5p dmVyc2l0eSBvZiBMaXNib24sIFBvcnR1Z2FsDQogIENoYW5kcmFrYW5hIE5hbmRpLCBDZXJ0b3Jh IGFuZCBVVywgVVNBDQogIExpYW0gTydDb25ub3IsIFRoZSBVbml2ZXJzaXR5IG9mIEVkaW5idXJn aCwgVUsNCiAgQnJ1bm8gQy4gZC4gUy4gT2xpdmVpcmEsIFRoZSBVbml2ZXJzaXR5IG9mIEhvbmcg S29uZywgSG9uZyBLb25nDQogIEppaHllb2sgUGFyaywgS29yZWEgVW5pdmVyc2l0eSwgS29yZWEN CiAgQ2zDqW1lbnQgUGl0LUNsYXVkZWwsIEVQRkwsIFN3aXR6ZXJsYW5kDQogIE1hdHRoaWV1IFNv emVhdSwgSW5yaWEsIEZyYW5jZQ0KICBLb2hlaSBTdWVuYWdhLCBLeW90byBVbml2ZXJzaXR5LCBK YXBhbg0KICBUYXJtbyBVdXN0YWx1LCBSZXlramF2aWsgVW5pdmVyc2l0eSwgSWNlbGFuZA0KICBK b2huIFdpY2tlcnNvbiwgSW1wZXJpYWwgQ29sbGVnZSBMb25kb24sIFVLDQogIERhbmZlbmcgWmhh bmcsIFBlbm4gU3RhdGUgVW5pdmVyc2l0eSwgVVNBDQo=