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; Thu, 8 Jun 2023 13:05:44 +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; Thu, 8 Jun 2023 13:05:44 +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; Thu, 8 Jun 2023 13:05:44 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 358C4xHG003717 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 8 Jun 2023 13:04:59 +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 358C4ol5003701 for ; Thu, 8 Jun 2023 13:04:50 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Jun 2023 14:04:49 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0EC8FE00BA; Thu, 8 Jun 2023 14:04:50 +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 24BB1E0AF1 for ; Thu, 8 Jun 2023 14:04:34 +0200 (CEST) Received: from mail-pf1-f176.google.com ([209.85.210.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Jun 2023 14:04:32 +0200 Received: by mail-pf1-f176.google.com with SMTP id d2e1a72fcca58-652d1d3e040so266068b3a.1 for ; Thu, 08 Jun 2023 05:04:30 -0700 (PDT) Received: from mail-pf1-f179.google.com (mail-pf1-f179.google.com. [209.85.210.179]) by smtp.gmail.com with ESMTPSA id 2-20020a630b02000000b0051b7d83ff22sm1104027pgl.80.2023.06.08.05.04.27 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 08 Jun 2023 05:04:27 -0700 (PDT) Received: by mail-pf1-f179.google.com with SMTP id d2e1a72fcca58-652d1d3e040so266040b3a.1; Thu, 08 Jun 2023 05:04:27 -0700 (PDT) From: "Sato, Ryosuke" To: "caml-list@inria.fr" , "types-announce@lists.seas.upenn.edu" , "coq-club@inria.fr" , "haskell@haskell.org" , "agda@lists.chalmers.se" Subject: [Caml-list] APLAS 2023: Final Call for Papers Thread-Topic: [Caml-list] APLAS 2023: Final Call for Papers Thread-Index: AQHZmgGNUpQIxihNk0qB8YgBzjaSsQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 8 Jun 2023 13:04:12 +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: 5d3f82f0-353c-4115-abd3-08db6818affd 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:903:647:b0:1a8:1c9a:f68 with SMTP id kh7-20020a170903064700b001a81c9a0f68mr4712564plb.36.1686225867171; Thu, 08 Jun 2023 05:04:27 -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,226,1681164000"; d="scan'208";a="58199821" 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: <3A7C7D942371134997A4D7C4F531F302@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PQ0KQ0FMTCBGT1IgUEFQRVJTDQoNCjIxc3QgQXNpYW4gU3ltcG9zaXVtIG9u IFByb2dyYW1taW5nIExhbmd1YWdlcyBhbmQgU3lzdGVtcyAoQVBMQVMgMjAyMykNClRhaXBlaSwg VGFpd2FuLCBTdW4gMjYg4oCTIFdlZCAyOSBOb3ZlbWJlciAyMDIzDQoNCmh0dHBzOi8vY29uZi5y ZXNlYXJjaHIub3JnL2hvbWUvYXBsYXMtMjAyMw0KPT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQoNCklNUE9SVEFO VCBEQVRFUw0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KU3VibWlzc2lv biBkZWFkbGluZTogVGh1IDE1IEp1biAyMDIzIEFvRQ0KQXV0aG9yIHJlc3BvbnNlOiBNb24gMzEg SnVsIDEyOjAwIC0gV2VkIDIgQXVnIDEyOjAwIDIwMjMgQW9FDQpBdXRob3Igbm90aWZpY2F0aW9u OiBNb24gMTQgQXVnIDIwMjMgQW9FDQpGaW5hbCBwYXBlciBkZWFkbGluZTogV2VkIDYgU2VwIDIw MjMgQW9FDQpDb25mZXJlbmNlOiBTdW4gMjYg4oCTIFdlZCAyOSBOb3YgMjAyMw0KDQoNClNDT1BF DQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQpXZSBzb2xpY2l0IHN1Ym1p c3Npb25zIGluIHRoZSBmb3JtIG9mIHJlZ3VsYXIgcmVzZWFyY2ggcGFwZXJzDQpkZXNjcmliaW5n IG9yaWdpbmFsIHNjaWVudGlmaWMgcmVzZWFyY2ggcmVzdWx0cywgaW5jbHVkaW5nIHN5c3RlbQ0K ZGV2ZWxvcG1lbnQgYW5kIGNhc2Ugc3R1ZGllcy4gQW1vbmcgb3RoZXJzLCBzb2xpY2l0ZWQgdG9w aWNzIGluY2x1ZGU6DQoNCi0gKiogcHJvZ3JhbW1pbmcgcGFyYWRpZ21zIGFuZCBzdHlsZXMgKiog Og0KICAgIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmc7IG9iamVjdC1vcmllbnRlZCBwcm9ncmFtbWlu ZzsgcHJvYmFiaWxpc3RpYw0KICBwcm9ncmFtbWluZzsgbG9naWMNCiAgcHJvZ3JhbW1pbmc7IGNv bnN0cmFpbnQgcHJvZ3JhbW1pbmc7IGV4dGVuc2libGUgcHJvZ3JhbW1pbmcNCiAgbGFuZ3VhZ2Vz OyBwcm9ncmFtbWluZyBsYW5ndWFnZXMgZm9yIHN5c3RlbXMgY29kZTsgbm92ZWwgcHJvZ3JhbW1p bmcNCiAgcGFyYWRpZ21zOw0KDQotICoqIG1ldGhvZHMgYW5kIHRvb2xzIHRvIHNwZWNpZnkgYW5k IHJlYXNvbiBhYm91dCBwcm9ncmFtcyBhbmQNCiAgbGFuZ3VhZ2VzICoqIDoNCg0KICBwcm9ncmFt bWluZyB0ZWNobmlxdWVzOyBtZXRhLXByb2dyYW1taW5nOyBkb21haW4tc3BlY2lmaWMNCiAgbGFu Z3VhZ2VzOyBwcm9vZiBhc3Npc3RhbnRzOyB0eXBlIHN5c3RlbXM7IGRlcGVuZGVudCB0eXBlczsg cHJvZ3JhbQ0KICBsb2dpY3MsIHN0YXRpYyBhbmQgZHluYW1pYyBwcm9ncmFtIGFuYWx5c2lzOyBs YW5ndWFnZS1iYXNlZA0KICBzZWN1cml0eTsgbW9kZWwgY2hlY2tpbmc7IHRlc3Rpbmc7DQoNCi0g KiogcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UgZm91bmRhdGlvbnMgKiogOg0KDQogIGZvcm1hbCBzZW1h bnRpY3M7IHR5cGUgdGhlb3J5OyBsb2dpY2FsIGZvdW5kYXRpb25zOyBjYXRlZ29yeQ0KICB0aGVv cnk7IGF1dG9tYXRhOyBlZmZlY3RzOyBtb25hZHMgYW5kIGNvbW9uYWRzOyByZWN1cnNpb24gYW5k DQogIGNvcmVjdXJzaW9uOyBjb250aW51YXRpb25zIGFuZCBlZmZlY3QgaGFuZGxlcnM7IHByb2dy YW0NCiAgdmVyaWZpY2F0aW9uOyBtZW1vcnkgbW9kZWxzOyBhYnN0cmFjdCBpbnRlcnByZXRhdGlv bjsNCg0KLSAqKiBtZXRob2RzIGFuZCB0b29scyBmb3IgaW1wbGVtZW50YXRpb24gKiogOg0KDQog IGNvbXBpbGVyczsgcHJvZ3JhbSB0cmFuc2Zvcm1hdGlvbnM7IHJld3JpdGluZyBzeXN0ZW1zOw0K ICBwYXJ0aWFsIGV2YWx1YXRpb247IHZpcnR1YWwgbWFjaGluZXM7IHJlZmFjdG9yaW5nOyBpbnRl cm1lZGlhdGUNCiAgbGFuZ3VhZ2VzOyBydW4tdGltZSBlbnZpcm9ubWVudHM7IGdhcmJhZ2UgY29s bGVjdGlvbiBhbmQgbWVtb3J5DQogIG1hbmFnZW1lbnQ7IHRyYWNpbmc7IHByb2ZpbGluZzsgYnVp bGQgc3lzdGVtczsgcHJvZ3JhbSBzeW50aGVzaXM7DQoNCi0gKiogY29uY3VycmVuY3kgYW5kIGRp c3RyaWJ1dGlvbiAqKiA6DQoNCiAgcHJvY2VzcyBhbGdlYnJhczsgY29uY3VycmVuY3kgdGhlb3J5 OyBzZXNzaW9uIHR5cGVzOyBwYXJhbGxlbA0KICBwcm9ncmFtbWluZzsgc2VydmljZS1vcmllbnRl ZCBjb21wdXRpbmc7IGRpc3RyaWJ1dGVkIGFuZCBtb2JpbGUNCiAgY29tcHV0aW5nOyBhY3Rvci1i YXNlZCBsYW5ndWFnZXM7IHZlcmlmaWNhdGlvbiBhbmQgdGVzdGluZyBvZg0KICBjb25jdXJyZW50 IGFuZCBkaXN0cmlidXRlZCBzeXN0ZW1zOw0KDQotICoqIGFwcGxpY2F0aW9ucyBhbmQgZW1lcmdp bmcgdG9waWNzICoqIDoNCg0KICBwcm9ncmFtbWluZyBsYW5ndWFnZXMgYW5kIFBMIG1ldGhvZHMg aW4gZWR1Y2F0aW9uLCBzZWN1cml0eSwNCiAgcHJpdmFjeSwgZGF0YWJhc2Ugc3lzdGVtcywgY29t cHV0YXRpb25hbCBiaW9sb2d5LCBzaWduYWwNCiAgcHJvY2Vzc2luZywgZ3JhcGhpY3MsIGh1bWFu LWNvbXB1dGVyIGludGVyYWN0aW9uLCBjb21wdXRlci1haWRlZA0KICBkZXNpZ24sIGFydGlmaWNp YWwgaW50ZWxsaWdlbmNlIGFuZCBtYWNoaW5lIGxlYXJuaW5nOyBjYXNlDQogIHN0dWRpZXMgaW4g cHJvZ3JhbSBhbmFseXNpcyBhbmQgdmVyaWZpY2F0aW9uLg0KDQoNCkdFTkVSQUwgSU5GT1JNQVRJ T04NCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NClN1Ym1pc3Npb25zIHNo b3VsZCBub3QgZXhjZWVkIDE3IHBhZ2VzLCBleGNsdWRpbmcgYmlibGlvZ3JhcGh5IGluIHRoZQ0K U3ByaW5nZXIgTE5DUyBmb3JtYXQuIExhVGVYIHRlbXBsYXRlIGlzIGF2YWlsYWJsZSBhdDoNCg0K ICBodHRwczovL3d3dy5zcHJpbmdlci5jb20vZ3AvY29tcHV0ZXItc2NpZW5jZS9sbmNzL2NvbmZl cmVuY2UtcHJvY2VlZGluZ3MtZ3VpZGVsaW5lcw0KDQpUaGUgYWNjZXB0ZWQgcGFwZXJzIHdpbGwg YmUgYWxsb3dlZCB0byB1c2Ugb25lIGV4dHJhIHBhZ2UgZm9yIHRoZQ0KY29udGVudCB0byBhY2Nv bW1vZGF0ZSBmZWVkYmFjayBmcm9tIHRoZSByZXZpZXdzIGluIHRoZSBmaW5hbCBwYXBlcg0KdmVy c2lvbnMuDQoNClBhcGVycyBzaG91bGQgYmUgc3VibWl0dGVkIHZpYSBIb3RDUlA6DQoNCiAgaHR0 cHM6Ly9hcGxhczIwMjMuaG90Y3JwLmNvbS8NCg0KVGhlIHJldmlldyBwcm9jZXNzIG9mIEFQTEFT IDIwMjMgaXMgZG91YmxlLWFub255bW91cywgd2l0aCBhIHJlYnV0dGFsDQpwaGFzZS4gSW4geW91 ciBzdWJtaXNzaW9uLCBwbGVhc2UsIG9taXQgeW91ciBuYW1lcyBhbmQgaW5zdGl0dXRpb25zOw0K cmVmZXIgdG8geW91ciBwcmlvciB3b3JrIGluIHRoZSB0aGlyZCBwZXJzb24sIGp1c3QgYXMgeW91 IHJlZmVyIHRvDQpwcmlvciB3b3JrIGJ5IG90aGVyczsgZG8gbm90IGluY2x1ZGUgYWNrbm93bGVk Z21lbnRzIHRoYXQgbWlnaHQNCmlkZW50aWZ5IHlvdS4NCg0KQWRkaXRpb25hbCBtYXRlcmlhbCBp bnRlbmRlZCBmb3IgcmV2aWV3ZXJzIGJ1dCBub3QgZm9yIHB1YmxpY2F0aW9uIGluDQp0aGUgZmlu YWwgdmVyc2lvbiAtIGZvciBleGFtcGxlLCBkZXRhaWxzIG9mIHByb29mcyAtIG1heSBiZSBwbGFj ZWQgaW4NCmEgY2xlYXJseSBtYXJrZWQgYXBwZW5kaXggdGhhdCBpcyBub3QgaW5jbHVkZWQgaW4g dGhlIHBhZ2UgbGltaXQuDQpSZXZpZXdlcnMgYXJlIGF0IGxpYmVydHkgdG8gaWdub3JlIGFwcGVu ZGljZXMgYW5kIHBhcGVycyBtdXN0IGJlDQp1bmRlcnN0YW5kYWJsZSB3aXRob3V0IHRoZW0uDQoN ClN1Ym1pdHRlZCBwYXBlcnMgbXVzdCBiZSB1bnB1Ymxpc2hlZCBhbmQgbm90IHN1Ym1pdHRlZCBm b3IgcHVibGljYXRpb24NCmVsc2V3aGVyZS4gUGFwZXJzIG11c3QgYmUgd3JpdHRlbiBpbiBFbmds aXNoLiBUaGUgcHJvY2VlZGluZ3Mgd2lsbCBiZQ0KcHVibGlzaGVkIGFzIGEgdm9sdW1lIGluIFNw cmluZ2Vy4oCZcyBMTkNTIHNlcmllcy4gQWNjZXB0ZWQgcGFwZXJzIG11c3QNCmJlIHByZXNlbnRl ZCBhdCB0aGUgY29uZmVyZW5jZS4NCg0KDQpQT1NURVJTIGFuZCBTVFVERU5UIFJFU0VBUkNIIENP TVBFVElUSU9ODQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNCkFQ TEFTIDIwMjMgaW5jbHVkZXMgYSBQb3N0ZXJzIHNlc3Npb24gYW5kIGEgU3R1ZGVudCBSZXNlYXJj aA0KQ29tcGV0aXRpb24uIEZvciBtb3JlIGRldGFpbHMsIHBsZWFzZSBzZWUgdGhlIHdlYnNpdGUu DQoNCiBodHRwczovL2NvbmYucmVzZWFyY2hyLm9yZy90cmFjay9hcGxhcy0yMDIzL3Bvc3RlcnMt YW5kLXNyYw0KDQoNCkRJU1RJTkdVSVNIRUQgUEFQRVJTIEFXQVJEUw0KLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQpBcm91bmQgMTAlIG9mIHRoZSBhY2NlcHRlZCBwYXBl cnMgb2YgQVBMQVMgMjAyMyB3aWxsIGJlIGRlc2lnbmF0ZWQgYXMNCkRpc3Rpbmd1aXNoZWQgUGFw ZXJzLCB3aGljaCBoaWdobGlnaHRzIHBhcGVycyB0aGF0IHRoZSBQcm9ncmFtDQpDb21taXR0ZWUg cmVjb21tZW5kcyBkdWUgdG8gdGhlaXIgZXhjZWxsZW50IHF1YWxpdHkuIFRoZSBhd2FyZHMgd2ls bA0KYmUgYW5ub3VuY2VkIG9uIHRoaXMgd2Vic2l0ZSwgYW5kIHByaW50ZWQgY2VydGlmaWNhdGVz IHdpbGwgYmUgaXNzdWVkDQp0byB0aGUgYXV0aG9ycyBpbiB0aGUgY29uZmVyZW5jZS4NCg0KDQpP UkdBTklaRVJTDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNCkdlbmVy YWwgQ2hhaXI6DQoNCiAgU2hpbi1DaGVuZyBNdSwgQWNhZGVtaWEgU2luaWNhLCBUYWl3YW4NCg0K UHJvZ3JhbSBDaGFpcjoNCg0KICBDaHVuZy1LaWwgSHVyLCBTZW91bCBOYXRpb25hbCBVbml2ZXJz aXR5LCBLb3JlYQ0KDQpQdWJsaWNpdHkgQ2hhaXI6DQoNCiAgUnlvc3VrZSBTYXRvLCBVbml2ZXJz aXR5IG9mIFRva3lvLCBKYXBhbg0KDQpQcm9ncmFtIENvbW1pdHRlZToNCg0KICBTb2hhbSBDaGFr cmFib3J0eSwgVFUgRGVsZnQsIE5ldGhlcmxhbmRzDQogIFl1LUZhbmcgQ2hlbiwgQWNhZGVtaWEg U2luaWNhLCBUYWl3YW4NCiAgUm9uZ2h1aSBHdSwgQ29sdW1iaWEgVW5pdmVyc2l0eSwgVVNBDQog IEljaGlybyBIYXN1bywgTmF0aW9uYWwgSW5zdGl0dXRlIG9mIEluZm9ybWF0aWNzLCBKYXBhbg0K ICBSYWxmIEp1bmcsIEVUSCBadXJpY2gsIFN3aXR6ZXJsYW5kDQogIE9oYWQgS2FtbWFyLCBVbml2 ZXJzaXR5IG9mIEVkaW5idXJnaCwgVUsNCiAgSmVlaG9vbiBLYW5nLCBLQUlTVCwgS29yZWENCiAg SmlldW5nIEtpbSwgSW5oYSBVbml2ZXJzaXR5LCBLb3JlYQ0KICBSb2JiZXJ0IEtyZWJiZXJzLCBS YWRib3VkIFVuaXZlcnNpdHkgTmlqbWVnZW4sIE5ldGhlcmxhbmRzDQogIE9yaSBMYWhhdiwgVGVs IEF2aXYgVW5pdmVyc2l0eSwgSXNyYWVsDQogIERvdWcgTGVhLCBTdGF0ZSBVbml2ZXJzaXR5IG9m IE5ldyBZb3JrIGF0IE9zd2VnbywgVVNBDQogIFdvb3N1ayBMZWUsIEhhbnlhbmcgVW5pdmVyc2l0 eSwgS29yZWENCiAgSG9uZ2ppbiBMaWFuZywgTmFuamluZyBVbml2ZXJzaXR5LCBDaGluYQ0KICBO dW5vIFAuIExvcGVzLCBVbml2ZXJzaXR5IG9mIExpc2JvbiwgUG9ydHVnYWwNCiAgQ2hhbmRyYWth bmEgTmFuZGksIENlcnRvcmEgYW5kIFVXLCBVU0ENCiAgTGlhbSBPJ0Nvbm5vciwgVGhlIFVuaXZl cnNpdHkgb2YgRWRpbmJ1cmdoLCBVSw0KICBCcnVubyBDLiBkLiBTLiBPbGl2ZWlyYSwgVGhlIFVu aXZlcnNpdHkgb2YgSG9uZyBLb25nLCBIb25nIEtvbmcNCiAgSmloeWVvayBQYXJrLCBLb3JlYSBV bml2ZXJzaXR5LCBLb3JlYQ0KICBDbMOpbWVudCBQaXQtQ2xhdWRlbCwgRVBGTCwgU3dpdHplcmxh bmQNCiAgTWF0dGhpZXUgU296ZWF1LCBJbnJpYSwgRnJhbmNlDQogIEtvaGVpIFN1ZW5hZ2EsIEt5 b3RvIFVuaXZlcnNpdHksIEphcGFuDQogIFRhcm1vIFV1c3RhbHUsIFJleWtqYXZpayBVbml2ZXJz aXR5LCBJY2VsYW5kDQogIEpvaG4gV2lja2Vyc29uLCBJbXBlcmlhbCBDb2xsZWdlIExvbmRvbiwg VUsNCiAgRGFuZmVuZyBaaGFuZywgUGVubiBTdGF0ZSBVbml2ZXJzaXR5LCBVU0ENCg==