From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10135 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Sam Staton Newsgroups: gmane.comp.science.mathematics.logic.lics-newsletter,gmane.science.mathematics.categories,gmane.comp.lang.agda,gmane.science.mathematics.discrete Subject: [LICS] ICALP-LICS 2020 Fresh Call for Workshops Date: Wed, 12 Feb 2020 18:24:15 +0000 Message-ID: <7FF07C37-C484-405D-8F43-9762873C494A@cs.ox.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="58250"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Microsoft-MacOutlook/10.1f.0.191110 To: "las-lics@lists.tu-berlin.de" , "categories@mta.ca" , "GAMES@lists.rwth-aachen.de" , "theorem-provers@ai.mit.edu" , "concurrency@listserver.tue.nl" , "finite-model-theory@lists.rwth-aachen.de" , "asl@vassar.edu" , "agda@lists.chalmers.se" , "appsem@lists.tcs.ifi.lmu.de" , "lfcs-interest@inf.ed.ac.uk" , "cade@itu.dk" , "prog-lang@diku.dk" , "linear@cs.stanford.edu" , "dbworld@cs.wisc.edu" , "DMANET@zpr.uni-koeln.de" , "fom@cs.nyu.edu" , "homotopytypetheory@googlegroups.com" Envelope-to: gcsmll-las-lics@m.gmane-mx.org Original-Received: from exchange.tu-berlin.de ([130.149.7.70]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1j1yDy-000F35-CI for gcsmll-las-lics@m.gmane-mx.org; Wed, 12 Feb 2020 21:03:06 +0100 Original-Received: from SPMA-01.tubit.win.tu-berlin.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id D77FA7E090B_E4459F9B for ; Wed, 12 Feb 2020 20:03:05 +0000 (GMT) Original-Received: from exchange.tu-berlin.de (exchange.tu-berlin.de [130.149.7.70]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (Client CN "exchange.tu-berlin.de", Issuer "DFN-Verein Global Issuing CA" (not verified)) by SPMA-01.tubit.win.tu-berlin.de (Sophos Email Appliance) with ESMTPS id A3AD37EF696_E4459F8F for ; Wed, 12 Feb 2020 20:03:04 +0000 (GMT) Original-Received: from EX-CAS-01.tubit.win.tu-berlin.de (172.26.35.181) by EX-CAS-01.tubit.win.tu-berlin.de (172.26.35.181) with Microsoft SMTP Server (TLS) id 15.0.1395.4; Wed, 12 Feb 2020 21:03:04 +0100 Original-Received: from lists.tu-berlin.de (130.149.4.33) by EX-CAS-01.tubit.win.tu-berlin.de (172.26.35.181) with Microsoft SMTP Server (TLS) id 15.0.1395.4 via Frontend Transport; Wed, 12 Feb 2020 21:02:59 +0100 Original-Received: from [127.0.0.1] (helo=mali-2.intern.tu-berlin.de) by mali.tubit.tu-berlin.de (exim-4.92.3) with esmtp id 1j1yDl-0000xu-9B; Wed, 12 Feb 2020 21:02:53 +0100 Original-Received: from b1861.mx.srv.dfn.de ([194.95.234.130]) by mali.tubit.tu-berlin.de (exim-4.92.3) with esmtps [TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256] for id 1j1wmd-0000AZ-Cr; Wed, 12 Feb 2020 19:30:47 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by b1861.mx.srv.dfn.de (Postfix) with ESMTP id 54152260039 for ; Wed, 12 Feb 2020 19:30:47 +0100 (CET) X-DFN-Virus-Scanned: Debian amavisd-new at mgw5-tub.srv.dfn.de Original-Received: from b1861.mx.srv.dfn.de ([127.0.0.1]) by localhost (mgw5-tub.srv.dfn.de [127.0.0.1]) (amavisd-new, port 20093) with ESMTP id 9DK0hAnH_wFP for ; Wed, 12 Feb 2020 19:30:45 +0100 (CET) Original-Received: from relay13.mail.ox.ac.uk (relay13.mail.ox.ac.uk [129.67.1.166]) by b1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Wed, 12 Feb 2020 19:30:45 +0100 (CET) Original-Received: from hub02.nexus.ox.ac.uk ([163.1.154.217] helo=Hub02.ad.oak.ox.ac.uk) by relay13.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1j1wjA-0007yU-h8; Wed, 12 Feb 2020 18:27:12 +0000 Original-Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.53) by smtp.nexus.ox.ac.uk (163.1.154.217) with Microsoft SMTP Server (TLS) id 14.3.468.0; Wed, 12 Feb 2020 18:24:16 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=GnjRRl2ZpRyOWLZtJjyJtp+hoaoTo+93eNphbyPSrvvrToSFE3apEYPig6LZK+ZAcpZZvZG0O0gBSh4ml37lSNxPNK7/NrNRePTFta3ncxdWKB6LZguc9HfcQUe2s1gLr8eL4wWNIm9uCEIzeXb2kADpLL2chsfFXYUdc4VnHwIdYDwbkhvFnAd7ZOx2QMJE5FKfIlIaY0X/+9Hlt04H27JSsszsFkZ62NsLDuBGdDuE+b6WtckgwFrvCmL5/tbp1RlWI1wCBX2swG5n34iMrwsSezEanKpdOYrsInqKHOaNlH7v+BlQxwsZpWZrb+7QVo/rl7wb7t1mBTSCSwLedA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=DRSj7xdL7o85o5IKhWl7bSER+nhWelLAZGK45wZVLms=; b=NSim3MA34nKLEhuONuROcRUxqqlsJcOYqe8FcSbnWptpfGfZ2qGhlVLt6P++a+7GapaObVXkD9gPq0sjQoI5amX1aL67cs43K0HDEXxbfUbasA7EqXZ1+e2mW+QIACm+wzAokyuty4g9Ub0Ksf2oI3K5dfE6AR1jpMlH9Ht7WXMBbBdwJFrgPgBoL47DuxND0aJvR1mlC19dyzgkVcpbABA4ntwOgBJPr8nxoyr2dpkou6dlYakzPcAVscOWHBok9gebBUOVrKP1PDU1Ie+Vt5qlyswCSPIxS/dLu96UpaE5ReeXOQ1YHKkGEYOsJHPIHjzUgZuL6WUefRoKX4ppVQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.ac.uk; arc=none Original-Received: from LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM (20.176.132.21) by LNXP265MB0041.GBRP265.PROD.OUTLOOK.COM (10.166.184.146) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2707.24; Wed, 12 Feb 2020 18:24:15 +0000 Original-Received: from LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::cd4b:f132:f611:5780]) by LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::cd4b:f132:f611:5780%7]) with mapi id 15.20.2707.030; Wed, 12 Feb 2020 18:24:15 +0000 Thread-Topic: ICALP-LICS 2020 Fresh Call for Workshops Thread-Index: AQHV4dGh7FeqobD6cU+VZ107r7Eq6g== Accept-Language: en-US Content-Language: en-GB authentication-results: spf=none (sender IP is ) smtp.mailfrom=sam.staton@cs.ox.ac.uk; x-originating-ip: [163.1.88.4] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 69938a30-542f-4542-25f1-08d7afe8c427 x-ms-traffictypediagnostic: LNXP265MB0041: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 0311124FA9 x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(376002)(396003)(366004)(136003)(39860400002)(346002)(189003)(199004)(316002)(786003)(2616005)(44832011)(4326008)(6486002)(76116006)(2906002)(7416002)(110136005)(86362001)(6512007)(26005)(71200400001)(64756008)(6506007)(66556008)(66574012)(66946007)(4743002)(8936002)(66446008)(478600001)(5660300002)(33656002)(66476007)(81156014)(81166006)(186003)(8676002)(921003)(1121003); DIR:OUT; SFP:1102; SCL:1; SRVR:LNXP265MB0041; H:LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:1; Received-SPF: None (EX-CAS-01.tubit.win.tu-berlin.de: las-lics-bounces@lists.tu-berlin.de does not designate permitted sender hosts) received-spf: None (protection.outlook.com: cs.ox.ac.uk does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: /oJTGQ5c/BTOfTOQX87PvETkfkPTQQmm3ELo+1GKOJK0LWS5/ZDSr60RKN2BYsP5Uix7g6yosYugGiB0rvBcAXIw0KM67Ne9ZHrteZ68nlJUMFhcQrFZS770I4F0gnWt7IgiV6G7Y+d8vFmHjuQzjc1QmCosmV7x/0G9U3yDvkcU0oaHPK8ttIyMBtsGkH9uk1dm126+jnka6Vc5ceJRnnUDE9Uu4bwN+TZubx7dMqi6JP7c9uC+A47iVYl1jmEizKKMfkqPP1hqByZLZh8Wn4bm2LMPw8W0t42+BafrRaMCL3LzVyoDzvoLxykvPzzap9vMjL/aVn2ft4VJ1+bhPMcqr87K2BvmdJF7q0RKqABA4BXD4MYbxdeM7KhPhFALCF2jxl22eS//wRtQZoKZ/A7gz++KDRe56kU8OiCMaWwa+I8jHo835CRRaX8dd7Iinn/EM4gtR2d7uIYVAmUKfYzjo0i8dkgdAlCLOUh812mciTAV+YljyZ/otQGAN2JN1mQSdLFDDh1reptKGfj6VUx7Ot4flBhYiPgBGVWfSg/U3UPwWWKKRGH5E0i0Ihn2fVwg0uDO4ZRFv6xnWyEFnA== x-ms-exchange-antispam-messagedata: seVU/jf2sBtYO2pGsfCDDODrm42tG9NZNhhdjgyuy9iKWTQKx3hbkGjwnl1nxeH2t+mqpQDOFxu6NiVeCrqxa7ivPyXR+YTeKmS6piNZyqWT7oatWb1unQFVm6f8wMh97mEM23ye8cK9BQNSYhNQeQ== x-ms-exchange-transport-forked: True Content-ID: X-MS-Exchange-CrossTenant-Network-Message-Id: 69938a30-542f-4542-25f1-08d7afe8c427 X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Feb 2020 18:24:15.3358 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: cc95de1b-97f5-4f93-b4ba-fe68b852cf91 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 0oLjZh8mBpvOSj6xCc7NcyA6NCDoajgOhWKQL3RGUQp9aaRnXFHSRcXr6roucwq5BXh1WMMYKSCSfU5d+sSS9g== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB0041 X-Mailman-Approved-At: Wed, 12 Feb 2020 21:02:52 +0100 X-BeenThere: las-lics@lists.tu-berlin.de X-Mailman-Version: 2.1.12 Precedence: list List-Id: LICS Announcement and Newsletter Distribution List List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Original-Sender: Errors-To: las-lics-bounces+gcsmll-las-lics=m.gmane-mx.org@lists.tu-berlin.de X-PMWin-Version: 4.0.1, Antivirus-Engine: 3.77.1, Antivirus-Data: 5.72 X-PureMessage: [Scanned] X-SASI-RCODE: 200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lists.tu-berlin.de; h=from:to:date:message-id:content-id:mime-version:subject:list-id:list-unsubscribe:list-post:list-help:list-subscribe:content-type:content-transfer-encoding:sender; s=dkim-tub; bh=aCx2Cnl0xGOj804m220UzulFsfnfeMfE6CrHDodQG70=; b=XFOaq7DcZ+NQl2ECWukVABXmmgXb1b2BCuZnz1Tq/eeAlPwuJlemLhzy0jM+UZSsnDBlRIb/CE2WDqlOxQ+HWbbwE+O/yTGh6aXTyjwrEbkhooArM5cLWnUDJnctRZnimppU7gTZ9XwODbZUI9YOAX7RZz1Bnbj54ETzfe+TleM= Xref: news.gmane.io gmane.comp.science.mathematics.logic.lics-newsletter:94 gmane.science.mathematics.categories:10135 gmane.comp.lang.agda:11516 gmane.science.mathematics.discrete:13242 Archived-At: VGhlIGZvbGxvd2luZyBpcyBhIGZyZXNoIGNhbGwgZm9yIHdvcmtzaG9wIHByb3Bvc2FscyBmb3Ig SUNBTFAgYW5kIExJQ1MgMjAyMCwgZm9sbG93aW5nIHRoZSBjaGFuZ2UgaW4gbG9jYXRpb24uIFRo ZSBjb25mZXJlbmNlcyBhbmQgd29ya3Nob3BzIHdpbGwgbm93IGJlIGhlbGQgaW4gU2FhcmJyw7xj a2VuLCBHZXJtYW55IGluc3RlYWQgb2YgQmVpamluZy4gVGhlIG5ldyBkZWFkbGluZSBmb3Igd29y a3Nob3AgcHJvcG9zYWxzIGlzIDI2IEZlYiAyMDIwLg0KDQotLQ0KDQpJQ0FMUCAyMDIwIChodHRw Oi8vZWNvbmNzLnBrdS5lZHUuY24vaWNhbHAyMDIwLykgYW5kIExJQ1MgMjAyMCAoaHR0cHM6Ly9s aWNzLnNpZ2xvZy5vcmcvbGljczIwLykgd2lsbCB0YWtlIHBsYWNlIGluIGNvLWxvY2F0aW9uIGZy b20gOHRoIHRpbGwgMTF0aCBvZiBKdWx5IDIwMjAgaW4gU2FhcmJyw7xja2VuLCBHZXJtYW55LiBU aGUgY29uZmVyZW5jZXMgd2lsbCBiZSBwcmVjZWRlZCBieSB0d28gZGF5cyBvZiBqb2ludCB3b3Jr c2hvcHMsIGhlbGQgb24gSnVseSA2dGggYW5kIDd0aC4gV2UgaW52aXRlIHByb3Bvc2FscyBvZiB3 b3Jrc2hvcHMgYWZmaWxpYXRlZCB3aXRoIElDQUxQLUxJQ1MgMjAyMCBvbiBhbGwgdG9waWNzIGNv dmVyZWQgYnkgSUNBTFAgYW5kIExJQ1MsIGFzIHdlbGwgYXMgb3RoZXIgYXJlYXMgb2YgdGhlb3Jl dGljYWwgY29tcHV0ZXIgc2NpZW5jZS4NCg0KUHJvcG9zYWxzIHNob3VsZCBiZSBzdWJtaXR0ZWQg bm8gbGF0ZXIgdGhhbg0KICANCiAgKioqICBGZWJydWFyeSAyNiAyMDIwICoqKg0KDQpieSBzZW5k aW5nIGFuIGVtYWlsIHRvIGZyZWRlcmljLmJsYW5xdWlAaW5yaWEuZnIuIER1ZSB0byBsaW1pdGVk IHNwYWNlIG9mIHRoZSB2ZW51ZSB3ZSBtaWdodCBub3QgYmUgYWJsZSB0byBhY2NvbW1vZGF0ZSBh bGwgdGhlIHByb3Bvc2VkIHdvcmtzaG9wcy4gDQoNCkEgd29ya3Nob3AgcHJvcG9zYWwgc3VibWlz c2lvbiBzaG91bGQgY29uc2lzdCBvZjoNCg0KLSB3b3Jrc2hvcCdzIG5hbWUgYW5kIFVSTCAoaWYg YWxyZWFkeSBhdmFpbGFibGUpDQoNCi0gd29ya3Nob3AncyBvcmdhbml6ZXJzIHRvZ2V0aGVyIHdp dGggdGhlaXIgZW1haWwgYWRkcmVzc2VzIGFuZCB3ZWIgcGFnZXM7DQotIHNob3J0IGRlc2NyaXB0 aW9uIG9mIHRoZSBhcmVhIGNvdmVyZWQgYnkgdGhlIHdvcmtzaG9wIGFuZCB0aGUgbW90aXZhdGlv biBiZWhpbmQgaXQ7DQoNCi0gZXhwZWN0ZWQgbnVtYmVyIG9mIHBhcnRpY2lwYW50cyAoaWYgYXZh aWxhYmxlLCBwbGVhc2UgaW5jbHVkZSB0aGUgZGF0YSBvZiBwcmV2aW91cyB5ZWFycyk7DQoNCi0g cGxhbm5lZCBmb3JtYXQgb2YgdGhlIGV2ZW50Ow0KLSBkYXRlIHByZWZlcmVuY2UgKEp1bHkgNnRo IG9yIDd0aCkuDQoNCkFzIGZvciB0aGUgZm9ybWF0LCBhIHN0YW5kYXJkIG9wdGlvbiBpcyBhIG9u ZS1kYXkgd29ya3Nob3AgY29uc2lzdGluZyBvZiBpbnZpdGVkIHRhbGtzIGJ5IGxlYWRpbmcgZXhw ZXJ0cyBhbmQgb2Ygc2hvcnRlciBjb250cmlidXRlZCB0YWxrcywgZWl0aGVyIGRpcmVjdGx5IGlu dml0ZWQgYnkgdGhlIG9yZ2FuaXplcnMgb3Igc2VsZWN0ZWQgYW1vbmcgc3VibWlzc2lvbnMuIERl dmlhdGlvbnMgZnJvbSB0aGlzIHN0YW5kYXJkIGFyZSBhbHNvIHdhcm1seSB3ZWxjb21lLCBpbmNs dWRpbmcgYSBzaG9ydGVyIG9yIGEgbG9uZ2VyIHRpbWUgc3BhbiB0aGFuIGEgZnVsbCBkYXksIG9y IG90aGVyIGVsZW1lbnRzIG9mIHRoZSBzY2hlZHVsZSBsaWtlIG9wZW4gcHJvYmxlbSBzZXNzaW9u cywgZGlzY3Vzc2lvbiBwYW5lbHMsIG9yIHdvcmtpbmcgc2Vzc2lvbnMuDQoNCklmIHlvdSBwbGFu IHRvIGhhdmUgaW52aXRlZCBzcGVha2VycywgcGxlYXNlIHNwZWNpZnkgdGhlaXIgZXhwZWN0ZWQg bnVtYmVyIGFuZCwgaWYgcG9zc2libGUsIHRlbnRhdGl2ZSBuYW1lcy4gSWYgeW91IHBsYW4gYSBj YWxsIGZvciBwYXBlcnMgb3IgZm9yIGNvbnRyaWJ1dGVkIHRhbGtzIGZvbGxvd2VkIGJ5IGEgc2Vs ZWN0aW9uIHByb2NlZHVyZSwgdGhlIHN1Ym1pc3Npb24gZGF0ZSBzaG91bGQgYmUgc2NoZWR1bGVk IGFmdGVyIElDQUxQIDIwMjAgYW5kIExJQ1MgMjAyMCBub3RpZmljYXRpb24sIHdoaWxlIHRoZSBu b3RpZmljYXRpb24gc2hvdWxkIHRha2UgcGxhY2UgY29uc2lkZXJhYmx5IGJlZm9yZSB0aGUgZWFy bHkgcmVnaXN0cmF0aW9uIGRlYWRsaW5lLiBJbiB5b3VyIHN1Ym1pc3Npb24gcGxlYXNlIGluY2x1 ZGUgZGV0YWlscywgaW4gcGFydGljdWxhciB0aGUgdGltZSBzY2hlZHVsZSwgb2YgdGhlIHBsYW5u ZWQgcHJvY2VkdXJlIG9mIHNlbGVjdGluZyBwYXBlcnMgYW5kL29yIGNvbnRyaWJ1dGVkIHRhbGtz LiBJZiB5b3UgcGxhbiB0byBoYXZlIHB1Ymxpc2hlZCBwcm9jZWVkaW5ncyBvZiB5b3VyIHdvcmtz aG9wLCBwbGVhc2UgcHJvdmlkZSB0aGUgbmFtZSBvZiB0aGUgcHVibGlzaGVyLiBQbGVhc2UgYmUg YWR2aXNlZCB0aGF0IElDQUxQLUxJQ1MgMjAyMCBpcyBub3QgYWJsZSB0byBwcm92aWRlIGFueSBm aW5hbmNpYWwgc3VwcG9ydCBmb3IgcHVibGlzaGluZyB3b3Jrc2hvcCBwcm9jZWVkaW5ncy4NCg0K V2UgZXhwZWN0IHRoZSB3b3Jrc2hvcHMgdG8gYmUgZmluYW5jaWFsbHkgaW5kZXBlbmRlbnQuIFRo ZSBleHBlbnNlcyByZWxhdGVkIHRvIHRoZSBwYXJ0aWNpcGF0aW9uIG9mIGludml0ZWQgc3BlYWtl cnMsIHByb2R1Y3Rpb24gb2Ygd29ya3Nob3AgbWF0ZXJpYWxzLCBldGMuIHNob3VsZCBiZSBjb3Zl cmVkIGZyb20gaW5kZXBlbmRlbnQgc291cmNlcy4gT24gdG9wIG9mIHN0YW5kYXJkIElDQUxQL0xJ Q1MgcmVnaXN0cmF0aW9uIGZlZSB0aGVyZSB3aWxsIGJlIGEgbW9kZXJhdGUgcmVnaXN0cmF0aW9u IGZlZSBmb3IgdGhlIHdvcmtzaG9wcyB0aGF0IHdpbGwgY292ZXIgY29mZmVlIGJyZWFrcy4gVGhp cyB3b3Jrc2hvcCBmZWUgd2lsbCBiZSB3YWl2ZWQgZm9yIG1heGltdW0gdHdvIGludml0ZWQgc3Bl YWtlcnMgZm9yIGVhY2ggd29ya3Nob3AuDQoNCldvcmtzaG9wIHNlbGVjdGlvbiBjb21taXR0ZWU6 DQogICAgRnLDqWTDqXJpYyBCbGFucXVpDQogICAgTmFva2kgS29iYXlhc2hpDQogICAgWXVxaW4g S29uZw0KICAgIE1pY2hhxYIgUGlsaXBjenVrDQogICAgWmhpbGluIFd1DQogICAgTGlqdW4gWmhh bmcNCg0KDQoNCg0KWW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBsaWNzIG1haWxpbmcgbGlzdCBi ZWNhdXNlIHlvdSBoYXZlIHNpZ25lZCB1cCBmb3IgaXQgaW4gdGhlIHBhc3QuCgpTdWJtaXNzaW9u cyB0byB0aGUgbmV3c2xldHRlcjoKU2VuZCBhbiBlbWFpbCB0byBsYXMtbGljc0BsaXN0cy50dS1i ZXJsaW4uZGUuCgpVbnN1YnNjcmliZToKVG8gdW5zdWJzY3JpYmUsIHBsZWFzZSBzZW5kIGFuIGVt YWlsIHRvIGxhcy1saWNzLXJlcXVlc3RAbGlzdHMudHUtYmVybGluLmRlIHdpdGgKdGhlIGtleXdv cmQgJ3Vuc3Vic2NyaWJlJyBpbiB0aGUgbWVzc2FnZSBib2R5ICh3aXRob3V0ICcpLgoKU3Vic2Ny aWJlOgpUbyBzdWJzY3JpYmUsICBwbGVhc2Ugc2VuZCBhbiBlbWFpbCB0byBsYXMtbGljcy1yZXF1 ZXN0QGxpc3RzLnR1LWJlcmxpbi5kZSB3aXRoCnRoZSBrZXl3b3JkICdzdWJzY3JpYmUnIGluIHRo ZSBtZXNzYWdlIGJvZHkgKHdpdGhvdXQgJyku