From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10024 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Sam Staton Newsgroups: gmane.comp.science.mathematics.logic.lics-newsletter,gmane.science.mathematics.categories,gmane.comp.lang.agda Subject: [LICS] ICALP-LICS 2020 Call for Workshops Date: Tue, 15 Oct 2019 12:03:31 +0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="143570"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Microsoft-MacOutlook/10.1a.0.190609 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" Original-X-From: las-lics-bounces+gcsmll-las-lics=m.gmane.org@lists.tu-berlin.de Tue Oct 15 15:04:34 2019 Return-path: Envelope-to: gcsmll-las-lics@m.gmane.org Original-Received: from exchange.tu-berlin.de ([130.149.7.70]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iKMV8-000bF6-0Z for gcsmll-las-lics@m.gmane.org; Tue, 15 Oct 2019 15:04:34 +0200 Original-Received: from SPMA-04.tubit.win.tu-berlin.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 7B89B974FDD_DA5C3E0B for ; Tue, 15 Oct 2019 13:04:32 +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-04.tubit.win.tu-berlin.de (Sophos Email Appliance) with ESMTPS id 3BD8997A11E_DA5C3DFF for ; Tue, 15 Oct 2019 13:04:31 +0000 (GMT) Original-Received: from EX-CAS-01.tubit.win.tu-berlin.de (172.26.35.181) by ex-mbx-10.tubit.win.tu-berlin.de (172.26.35.180) with Microsoft SMTP Server (TLS) id 15.0.1395.4; Tue, 15 Oct 2019 15:04:25 +0200 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; Tue, 15 Oct 2019 15:04:25 +0200 Original-Received: from [127.0.0.1] (helo=mali-2.intern.tu-berlin.de) by mali.tubit.tu-berlin.de (exim-4.92.2) with esmtp id 1iKMUu-0005gm-1S; Tue, 15 Oct 2019 15:04:20 +0200 Original-Received: from b1861.mx.srv.dfn.de ([194.95.234.130]) by mali.tubit.tu-berlin.de (exim-4.92.2) with esmtps [TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256] for id 1iKLaZ-0003qm-C8; Tue, 15 Oct 2019 14:06:07 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by b1861.mx.srv.dfn.de (Postfix) with ESMTP id 519143AC for ; Tue, 15 Oct 2019 14:06:07 +0200 (CEST) X-DFN-Virus-Scanned: Debian amavisd-new at mgw4-tub.srv.dfn.de Original-Received: from b1861.mx.srv.dfn.de ([127.0.0.1]) by localhost (mgw4-tub.srv.dfn.de [127.0.0.1]) (amavisd-new, port 20093) with ESMTP id zrLTgXkvVtF4 for ; Tue, 15 Oct 2019 14:06:03 +0200 (CEST) Original-Received: from relay15.mail.ox.ac.uk (relay15.mail.ox.ac.uk [163.1.2.163]) by b1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Tue, 15 Oct 2019 14:06:03 +0200 (CEST) Original-Received: from hub06.nexus.ox.ac.uk ([163.1.154.240] helo=HUB06.ad.oak.ox.ac.uk) by relay15.mail.ox.ac.uk with esmtps (TLS1.0:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1iKLY7-0009c7-my; Tue, 15 Oct 2019 13:03:35 +0100 Original-Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.52) by smtp.nexus.ox.ac.uk (163.1.154.240) with Microsoft SMTP Server (TLS) id 14.3.468.0; Tue, 15 Oct 2019 13:03:32 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=a2T6hO407H+/etiXw1rZylAtsNULa2+YZfhoRmbd9X0QatC5KR3hL6EZe8WI6P2CqSMhtqpbnYzteVG+C/yHjPH+LDHPPJJVjVvBTfkItQcYvvxucmFAFoM6uAIi+Ps+IzzZcofHfEIkpBfMfxKxYvFaCELV+bh+qe2QTe2PwKsGB5y3glzBFjRiIeXCGBI+bXz53zIzOXqsAzhUxsuO4UcLk2zNevYYdXa/7MgDGqIYyRE4cydCC6yuj9gn6lwtVq7nD0aMlzx1jGdGyGX75VW0vL8okWIO2XQa9doKspGXQkb6YMbN+VSneP2F61pKMjj1Dh8hOwmPAgRyUOPlUA== 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=k1X3bdsCgpvXsMpZe0MA6otZeF/Ijp0VwmIZEjGecFY=; b=JlJJLqnvU4EL0E6O+EXNbLp5HHqRLxjspigTOQI4b1zJYmbji5H8LrtjSaHmbgsSG3lwlpRRszrdgBObs7SM7gwuZZbstiaIUmkg1mPu/pj7ATTmKe4N/Fhx0LirZSNfShoUjf7nNjSDrOHH5jLQaNdIZDxhsLXplzeFr5jVPtbJIj63GIlUZ3Vhd/jSCxzfoAtfrGgnOrWume3l7w1+FTrPlg48TH9cJ8cqHwqo1HMSmRCIVTROJhA3shFML4Gwb6hVuvQclsPMI+y+T2olD/HS7GdKiKAP8Htp5VA+g8KJCEpbr1XSUqDll25PImMtSYRFgASyPBz5aV+ICL4xrw== 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 LNXP265MB1307.GBRP265.PROD.OUTLOOK.COM (20.176.132.150) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2347.21; Tue, 15 Oct 2019 12:03:31 +0000 Original-Received: from LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::78fe:636d:f8a4:49c8]) by LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::78fe:636d:f8a4:49c8%3]) with mapi id 15.20.2347.023; Tue, 15 Oct 2019 12:03:31 +0000 Thread-Topic: ICALP-LICS 2020 Call for Workshops Thread-Index: AQHVg1CQkoWn0Q14ekWw5NfA6vRn6g== Accept-Language: en-US Content-Language: en-US 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: 0442dbe0-a259-4b82-b1f7-08d75167b2b7 x-ms-traffictypediagnostic: LNXP265MB1307: x-ms-exchange-purlcount: 2 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 01917B1794 x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(979002)(39860400002)(376002)(346002)(396003)(366004)(136003)(189003)(50854003)(199004)(2501003)(2201001)(305945005)(316002)(26005)(44832011)(86362001)(7416002)(7736002)(110136005)(786003)(99286004)(58126008)(6506007)(4743002)(476003)(2906002)(2616005)(76116006)(66066001)(64756008)(66446008)(66476007)(66556008)(102836004)(486006)(66946007)(3846002)(6116002)(186003)(14454004)(478600001)(33656002)(561944003)(81166006)(8936002)(81156014)(5660300002)(25786009)(66574012)(6486002)(8676002)(6512007)(6306002)(2171002)(256004)(14444005)(6436002)(71200400001)(71190400001)(921003)(1121003)(969003)(989001)(999001)(1009001)(1019001); DIR:OUT; SFP:1102; SCL:1; SRVR:LNXP265MB1307; H:LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:1; 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: 7c4BTaPPyzxPV5fahHUgBFil88zDqrmBwhTw1Q5NJAB2a5NM8WNXMpmBx22HNymqt/vRNV5G3uqcUX13ZsqIc7zo8p2GHlMRzpx8dZydtB1o6MnMBZT6NuqMSRTRky+9qxdUO39gnth0OhNxbcJb2QRXkVlFh9ZUn4tn+CURvyKEaXG7mRZzTO1DBHifOMSFbildXLwXrtt+fnnZLh3o5fj4y2G/VL9AECJ15plq8jTGmZFn+trNd6JBEWxOK9aRbKPVtaHOoWzOzLF+byV6kp3GmpRuI63Uwx81eUtlmzfuteLqhoJWMIHz9O/kPavjKMl9kCt5D+zngpQPX2gZy1eDi//h3DVGDt7GhNJWx9bIwLmM+4NiaAIezOLg5W4Yf3MDmwtZU9R8JKoHKix67DREmfLTSUEilIT80B4p21ntsz4nPUpXk69xBetbHW21AMjfZBvkpXmQ8JT81mX9gQ== x-ms-exchange-transport-forked: True Content-ID: <78C5D04808B26A47AB5A8DCF26B5CF10@GBRP265.PROD.OUTLOOK.COM> X-MS-Exchange-CrossTenant-Network-Message-Id: 0442dbe0-a259-4b82-b1f7-08d75167b2b7 X-MS-Exchange-CrossTenant-originalarrivaltime: 15 Oct 2019 12:03:31.7529 (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: yyccJ6r93KizlSd1+RuyovXF6u/9QGZYnTyJuXxO3s7Ou73Nf+zQF64fX1et0ILoGY+Sfc2rBibNTImcir0pVw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB1307 X-Mailman-Approved-At: Tue, 15 Oct 2019 15:04:18 +0200 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.org@lists.tu-berlin.de X-PMWin-Version: 4.0.1, Antivirus-Engine: 3.74.1, Antivirus-Data: 5.68 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=IZAmTv2DkAwax+84r65IXv04RlIW2+m2mM+EoXDcLT0=; b=Ma4Bp1saoc5sne8WsgZassG486P84FiwcDRfeu+GFxPIChTXlwhybMPR7jiRwUEdebYyfNumZxnfuNUt8Q8CzsSssJG/wmbMoWckuKUZx7V+6gfiTeuhvJRdjTPsoFLtGidBggW4cxPrEfOwA1Fd/VUZNwMwWk6hqNoy+f7eoHQ= Xref: news.gmane.org gmane.comp.science.mathematics.logic.lics-newsletter:90 gmane.science.mathematics.categories:10024 gmane.comp.lang.agda:11305 Archived-At: SUNBTFAgMjAyMCAoaHR0cDovL2Vjb25jcy5wa3UuZWR1LmNuL2ljYWxwMjAyMC8pIGFuZCBMSUNT IDIwMjAgKGh0dHBzOi8vbGljcy5zaWdsb2cub3JnL2xpY3MyMC8pIHdpbGwgdGFrZSBwbGFjZSBp biBjby1sb2NhdGlvbiBmcm9tIDh0aCB0aWxsIDEydGggb2YgSnVseSAyMDIwIGluIEJlaWppbmcs IENoaW5hLiBUaGUgY29uZmVyZW5jZXMgd2lsbCBiZSBwcmVjZWRlZCBieSB0d28gZGF5cyBvZiBq b2ludCB3b3Jrc2hvcHMsIGhlbGQgb24gSnVseSA2dGggYW5kIDd0aC4gV2UgaW52aXRlIHByb3Bv c2FscyBvZiB3b3Jrc2hvcHMgYWZmaWxpYXRlZCB3aXRoIElDQUxQLUxJQ1MgMjAyMCBvbiBhbGwg dG9waWNzIGNvdmVyZWQgYnkgSUNBTFAgYW5kIExJQ1MsIGFzIHdlbGwgYXMgb3RoZXIgYXJlYXMg b2YgdGhlb3JldGljYWwgY29tcHV0ZXIgc2NpZW5jZS4NCg0KUHJvcG9zYWxzIHNob3VsZCBiZSBz dWJtaXR0ZWQgbm8gbGF0ZXIgdGhhbg0KICANCiAgKioqICBOb3ZlbWJlciAzMHRoLCAyMDE5ICoq Kg0KDQpieSBzZW5kaW5nIGFuIGVtYWlsIHRvIGZyZWRlcmljLmJsYW5xdWlAaW5yaWEuZnIuIER1 ZSB0byBsaW1pdGVkIHNwYWNlIG9mIHRoZSB2ZW51ZSB3ZSBtaWdodCBub3QgYmUgYWJsZSB0byBh Y2NvbW1vZGF0ZSBhbGwgdGhlIHByb3Bvc2VkIHdvcmtzaG9wcy4gWW91IHNob3VsZCBleHBlY3Qg bm90aWZpY2F0aW9uIG9uIHRoZSBhY2NlcHRhbmNlIG9mIHlvdXIgcHJvcG9zYWwgYnkgbWlkIERl Y2VtYmVyIDIwMTkuDQoNCkEgd29ya3Nob3AgcHJvcG9zYWwgc3VibWlzc2lvbiBzaG91bGQgY29u c2lzdCBvZjoNCg0KIC0gd29ya3Nob3AncyBuYW1lIGFuZCBVUkwgKGlmIGFscmVhZHkgYXZhaWxh YmxlKQ0KDQogLSB3b3Jrc2hvcCdzIG9yZ2FuaXplcnMgdG9nZXRoZXIgd2l0aCB0aGVpciBlbWFp bCBhZGRyZXNzZXMgYW5kIHdlYiBwYWdlczsNCiANCiAtIHNob3J0IGRlc2NyaXB0aW9uIG9mIHRo ZSBhcmVhIGNvdmVyZWQgYnkgdGhlIHdvcmtzaG9wIGFuZCB0aGUgbW90aXZhdGlvbiBiZWhpbmQg aXQ7DQoNCiAtIGV4cGVjdGVkIG51bWJlciBvZiBwYXJ0aWNpcGFudHMgKGlmIGF2YWlsYWJsZSwg cGxlYXNlIGluY2x1ZGUgdGhlIGRhdGEgb2YgcHJldmlvdXMgeWVhcnMpOw0KDQogLSBwbGFubmVk IGZvcm1hdCBvZiB0aGUgZXZlbnQ7DQogDQogLSBkYXRlIHByZWZlcmVuY2UgKEp1bHkgNnRoIG9y IDd0aCkuDQoNCkFzIGZvciB0aGUgZm9ybWF0LCBhIHN0YW5kYXJkIG9wdGlvbiBpcyBhIG9uZS1k YXkgd29ya3Nob3AgY29uc2lzdGluZyBvZiBpbnZpdGVkIHRhbGtzIGJ5IGxlYWRpbmcgZXhwZXJ0 cyBhbmQgb2Ygc2hvcnRlciBjb250cmlidXRlZCB0YWxrcywgZWl0aGVyIGRpcmVjdGx5IGludml0 ZWQgYnkgdGhlIG9yZ2FuaXplcnMgb3Igc2VsZWN0ZWQgYW1vbmcgc3VibWlzc2lvbnMuIERldmlh dGlvbnMgZnJvbSB0aGlzIHN0YW5kYXJkIGFyZSBhbHNvIHdhcm1seSB3ZWxjb21lLCBpbmNsdWRp bmcgYSBzaG9ydGVyIG9yIGEgbG9uZ2VyIHRpbWUgc3BhbiB0aGFuIGEgZnVsbCBkYXksIG9yIG90 aGVyIGVsZW1lbnRzIG9mIHRoZSBzY2hlZHVsZSBsaWtlIG9wZW4gcHJvYmxlbSBzZXNzaW9ucywg ZGlzY3Vzc2lvbiBwYW5lbHMsIG9yIHdvcmtpbmcgc2Vzc2lvbnMuIA0KDQpJZiB5b3UgcGxhbiB0 byBoYXZlIGludml0ZWQgc3BlYWtlcnMsIHBsZWFzZSBzcGVjaWZ5IHRoZWlyIGV4cGVjdGVkIG51 bWJlciBhbmQsIGlmIHBvc3NpYmxlLCB0ZW50YXRpdmUgbmFtZXMuIElmIHlvdSBwbGFuIGEgY2Fs bCBmb3IgcGFwZXJzIG9yIGZvciBjb250cmlidXRlZCB0YWxrcyBmb2xsb3dlZCBieSBhIHNlbGVj dGlvbiBwcm9jZWR1cmUsIHRoZSBzdWJtaXNzaW9uIGRhdGUgc2hvdWxkIGJlIHNjaGVkdWxlZCBh ZnRlciBJQ0FMUCAyMDIwIGFuZCBMSUNTIDIwMjAgbm90aWZpY2F0aW9uLCB3aGlsZSB0aGUgbm90 aWZpY2F0aW9uIHNob3VsZCB0YWtlIHBsYWNlIGNvbnNpZGVyYWJseSBiZWZvcmUgdGhlIGVhcmx5 IHJlZ2lzdHJhdGlvbiBkZWFkbGluZS4gSW4geW91ciBzdWJtaXNzaW9uIHBsZWFzZSBpbmNsdWRl IGRldGFpbHMsIGluIHBhcnRpY3VsYXIgdGhlIHRpbWUgc2NoZWR1bGUsIG9mIHRoZSBwbGFubmVk IHByb2NlZHVyZSBvZiBzZWxlY3RpbmcgcGFwZXJzIGFuZC9vciBjb250cmlidXRlZCB0YWxrcy4g SWYgeW91IHBsYW4gdG8gaGF2ZSBwdWJsaXNoZWQgcHJvY2VlZGluZ3Mgb2YgeW91ciB3b3Jrc2hv cCwgcGxlYXNlIHByb3ZpZGUgdGhlIG5hbWUgb2YgdGhlIHB1Ymxpc2hlci4gUGxlYXNlIGJlIGFk dmlzZWQgdGhhdCBJQ0FMUC1MSUNTIDIwMjAgaXMgbm90IGFibGUgdG8gcHJvdmlkZSBhbnkgZmlu YW5jaWFsIHN1cHBvcnQgZm9yIHB1Ymxpc2hpbmcgd29ya3Nob3AgcHJvY2VlZGluZ3MuDQoNCldl IGV4cGVjdCB0aGUgd29ya3Nob3BzIHRvIGJlIGZpbmFuY2lhbGx5IGluZGVwZW5kZW50LiBUaGUg ZXhwZW5zZXMgcmVsYXRlZCB0byB0aGUgcGFydGljaXBhdGlvbiBvZiBpbnZpdGVkIHNwZWFrZXJz LCBwcm9kdWN0aW9uIG9mIHdvcmtzaG9wIG1hdGVyaWFscywgZXRjLiBzaG91bGQgYmUgY292ZXJl ZCBmcm9tIGluZGVwZW5kZW50IHNvdXJjZXMuIE9uIHRvcCBvZiBzdGFuZGFyZCBJQ0FMUC9MSUNT IHJlZ2lzdHJhdGlvbiBmZWUgdGhlcmUgd2lsbCBiZSBhIG1vZGVyYXRlIHJlZ2lzdHJhdGlvbiBm ZWUgZm9yIHRoZSB3b3Jrc2hvcHMgdGhhdCB3aWxsIGNvdmVyIGNvZmZlZSBicmVha3MuIFRoaXMg d29ya3Nob3AgZmVlIHdpbGwgYmUgd2FpdmVkIGZvciBtYXhpbXVtIHR3byBpbnZpdGVkIHNwZWFr ZXJzIGZvciBlYWNoIHdvcmtzaG9wLg0KDQpXb3Jrc2hvcCBzZWxlY3Rpb24gY29tbWl0dGVlOg0K ICAgIEZyw6lkw6lyaWMgQmxhbnF1aQ0KICAgIE5hb2tpIEtvYmF5YXNoaQ0KICAgIFl1cWluIEtv bmcNCiAgICBNaWNoYcWCIFBpbGlwY3p1aw0KICAgIFpoaWxpbiBXdQ0KICAgIExpanVuIFpoYW5n DQoNCllvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgbGljcyBtYWlsaW5nIGxpc3QgYmVjYXVzZSB5 b3UgaGF2ZSBzaWduZWQgdXAgZm9yIGl0IGluIHRoZSBwYXN0LgoKU3VibWlzc2lvbnMgdG8gdGhl IG5ld3NsZXR0ZXI6ClNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3NAbGlzdHMudHUtYmVybGluLmRl LgoKVW5zdWJzY3JpYmU6ClRvIHVuc3Vic2NyaWJlLCBwbGVhc2Ugc2VuZCBhbiBlbWFpbCB0byBs YXMtbGljcy1yZXF1ZXN0QGxpc3RzLnR1LWJlcmxpbi5kZSB3aXRoCnRoZSBrZXl3b3JkICd1bnN1 YnNjcmliZScgaW4gdGhlIG1lc3NhZ2UgYm9keSAod2l0aG91dCAnKS4KClN1YnNjcmliZToKVG8g c3Vic2NyaWJlLCAgcGxlYXNlIHNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3MtcmVxdWVzdEBsaXN0 cy50dS1iZXJsaW4uZGUgd2l0aAp0aGUga2V5d29yZCAnc3Vic2NyaWJlJyBpbiB0aGUgbWVzc2Fn ZSBib2R5ICh3aXRob3V0ICcpLg==