From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9911 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Marcus Aloysius Bezem Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda,gmane.science.mathematics.categories Subject: TYPES 2019 and HoTT-UF, 11-14 June 2019, Oslo: Call for Participation, early registration deadline 25 May Date: Fri, 10 May 2019 17:55:58 +0200 Message-ID: <03d30f10841ac0d4ff03f4e389cf04ba@webmail.uib.no> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="208793"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Roundcube Webmail/1.1.10 To: eutypes-Mttm5w9jbbk@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Sat May 11 06:38:25 2019 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by blaine.gmane.org with esmtp (Exim 4.89) (envelope-from ) id 1hPJm7-000s6B-6k; Sat, 11 May 2019 06:38:19 +0200 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x4B4aX06012561; Sat, 11 May 2019 00:36:39 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from sympathy.seas.upenn.edu (sympathy.seas.upenn.edu [158.130.69.34]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x4AFu4dh019206 for ; Fri, 10 May 2019 11:56:04 -0400 Original-Received: from mx0a-000c2a01.pphosted.com (mx0a-000c2a01.pphosted.com [148.163.151.92]) by sympathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id x4AFu3X4020481 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 10 May 2019 11:56:04 -0400 Original-Received: from pps.filterd (m0128479.ppops.net [127.0.0.1]) by mx0a-000c2a01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x4AFnXZc030510 for ; Fri, 10 May 2019 11:56:03 -0400 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=Marc.Bezem-afly1vuFV30@public.gmane.org Original-Received: from alfons.uib.no (alfons.uib.no [129.177.30.141]) by mx0a-000c2a01.pphosted.com with ESMTP id 2scbk2pkp0-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 10 May 2019 11:56:03 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=uib.no; s=20160927; h=Message-ID:Subject:To:From:Date:Content-Transfer-Encoding: Content-Type:MIME-Version:Sender:Reply-To:Cc:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=XDKNf7CYyg/aGsMerX7wCE5MXBF9ieBc+1zvYHMy/pA=; b=JY1CqV3/VU0XgxMlbdgEG21Kea p2doTPt4Szhpkh6OL7yespRhi3BP/+b5GE2cX1ufHB/NHslsDRMC1rNPVhZmu3h+p0tU8yObKYIEf VDpz+fkZn27zzvfuADgEex2Y0Z8J2k1mEFeSFHLHX3VAc4gqBIZWimPNUij9IwHkUycU=; Original-Received: from alfux.uib.no (smtp.uib.no) [2001:700:200:6::a:1f0c] by alfons.uib.no with esmtp (Exim 4.92) id 1hP7sO-001H9m-2m; Fri, 10 May 2019 17:56:01 +0200 Original-Received: from commando.uib.no (webmail.uib.no) [2001:700:200:6::243]:36936 by smtp.uib.no with esmtps (Exim 4.90_1) id 1hP7sM-000770-T5; Fri, 10 May 2019 17:55:58 +0200 X-Sender: Marc.Bezem-afly1vuFV30@public.gmane.org X-checked-clean: by exiscan on alfons.uib.no X-Scanner: 0aba3618057fe3c9fb01ec56e9c4c013 http://tjinfo.uib.no/virus.html X-UiB-SpamFlag: NO UIB: -3 hits, 8.0 required X-UiB-SpamReport: spamassassin found; -3.0 Message received from Norway X-CLX-Shades: MLX X-CLX-Response: 1TFkXGBkfEQpMehcaEQpZRBduE2VtH1lNZU5/RhEKWFgXZE5ES3NcAWITAXo RCnhOF2lnaEF4Rx5uZHgbEQp5TBdnY2gZTAFCYRN8bBEKeUMXbE9kXnplHEMefWIRCllNF2dmch EKWUkXGnEaEBp3BhgbH3EYEhkQGncGGBoGGhEKWV4XaG55EQpJRhdfWk9ERFlPS1l1QkVZXk9OE QpDThdhB2tFWUVFYV9MHh9/TGtjR15gaXN8aV1dQBJbSBJDXBEKWFwXHwQaBBsdGwcSHE8ST0wc TAUbGgQbGhoEHhIEHBAbHhofGhEKXlkXf2kaZV8RCk1cFx8fHBEKTFoXaGlNTU0RCkxGF29ra2t ra2sRCkJPF2hlRUBuaUMYGB1TEQpDWhcbGBMEGx0dBBkaBBseGxEKQl4XGxEKRF4XHxEKQlwXGh EKQkUXa2QYcH1pR2UfTE0RCkJOF2lnaEF4Rx5uZHgbEQpCTBdkTkRLc1wBYhMBehEKQmwXYURPZ x9PfGdtWhsRCkJAF2YYfXtdUFwTaENMEQpCWBdvREdPenxdTFtMaBEKWlgXGBEKcGgXZUlEH2dF T0xLbgEQGRoRCnBoF2Z4U2JARW5ifUsfEBkaEQpwaBd6QW9LSX1CbGh7WhAZGhEKcGgXZl9gYR9 lYm0eH1kQGRoRCnBoF2BsYHBoQ2ZbR2kfEBkaEQpwfxdle1teX057fVlpUBAaEQpwXxdpfH9/RG 1eW30dBRAZGhEKcH0XYwVuQBl9YW1JbWIQGRoRCnBfF28TYXsZfWl/Y3twEBkaEQpwfRdnGkdmS 1liW358WxAZGhEKcF8XegFDQRNOZlNOUhMQGRoRCnB9F28FHBtJZ X-Proofpoint-SPF-Result: pass X-Proofpoint-SPF-Record: v=spf1 ip4:129.177.0.0/16 ip4:129.240.10.0/25 ip6:2001:700:200::/48 ip6:2001:700:100:10::/64 ~all] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2019-05-09_02:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=0 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=1 spamscore=0 clxscore=235 lowpriorityscore=1 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1905100108 X-Mailman-Approved-At: Sat, 11 May 2019 00:28:04 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:8414 gmane.science.mathematics.logic.coq.club:22155 gmane.comp.lang.agda:11064 gmane.science.mathematics.categories:9911 Archived-At: WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKQU5OT1VO Q0VNRU5UIEFORCBDQUxMIEZPUiBQQVJUSUNJUEFUSU9OCgoyNXRoIEludGVybmF0aW9uYWwgQ29u ZmVyZW5jZSBvbiBUeXBlcyBmb3IgUHJvb2ZzIGFuZCBQcm9ncmFtcywgVFlQRVMgCjIwMTkKCmFu ZAoKRVVUWVBFUyBDb3N0IEFjdGlvbiBDQTE1MTIzIG1lZXRpbmcKCk9zbG8sIE5vcndheSwgMTEg LSAxNCBKdW5lIDIwMTkKCmh0dHBzOi8vY2FzLm9zbG8ubm8vdHlwZXMyMDE5LwoKVFlQRVMgMjAx OSB3aWxsIGJlIGhlbGQgaW4gcGFyYWxsZWwgKGFuZCBqb2ludGx5IG9uIDEyIEp1bmUpIHdpdGgK CkhvVFQtVUYsIDEyLTE0IEp1bmUgMjAxOSwgaHR0cHM6Ly9jYXMub3Nsby5uby9ob3R0LXVmLwoK ClJFR0lTVFJBVElPTjogaHR0cHM6Ly9jYXMub3Nsby5uby90eXBlczIwMTkvcmVnaXN0cmF0aW9u LwoKVGhlIGRlYWRsaW5lIGZvciBlYXJseSByZWdpc3RyYXRpb24gaXMgMjUgTWF5LiBXaGVuIHlv dSByZWdpc3RlciB3ZSBzZW5kIAp5b3UgKGluIGEgZmV3IGRheXMpCmEgbWFpbCB3aXRoIHNvbWUg aW5mb3JtYXRpb24gYWJvdXQgKGRpc2NvdW50ZWQsIHN0aWxsIGV4cGVuc2l2ZSkgaG90ZWwgCm9w dGlvbnMgY2xvc2UgdG8gdGhlCmNvbmZlcmVuY2Ugc2l0ZS4gWW91IHdpbGwgYmUgYWJsZSB0byBm aW5kIGNoZWFwZXIgYWNjb21vZGF0aW9uIGEgYml0IApmYXJ0aGVyIGZyb20gdGhlIGNpdHkgY2Vu dGVyLApzdGlsbCB2ZXJ5IHdlbGwgY29ubmVjdGVkIGJ5IHB1YmxpYyB0cmFuc3BvcnQuIERvbid0 IHdhaXQgZm9yIHRoZSBFVSAKZnVuZGluZywgb3Igb3VyIGdyYW50cyBmb3IKeW91bmcgcmVzZWFy Y2hlcnMsIHRvIGJlIGRlY2lkZWQuIEJvb2sgYSBob3RlbCBBU0FQIHdpdGggYSBjYW5jZWxsYXRp b24gCm9wdGlvbiBhbmQvb3IgcGF5bWVudAp1cG9uIGFycml2YWwuCgoKUFJPR1JBTSAoISEhVEVO VEFUSVZFISEhKSA6IGh0dHA6Ly93d3cuaWkudWliLm5vL35iZXplbS9wcm9ncmFtLnBkZgoKCklO VklURUQgU1BFQUtFUlMKCiAgICogQWRhbSBDaGxpcGFsYSAoTUlULCBDYW1icmlkZ2UgTUEsIFVT QSk6CiAgICAgQ2hhbGxlbmdlcyBTY2FsaW5nIFR5cGUtVGhlb3J5LUJhc2VkIFZlcmlmaWNhdGlv biB0byBDcnlwdG9ncmFwaGljIApDb2RlIGluIFByb2R1Y3Rpb24KCiAgICogQXNzaWEgTWFoYm91 YmksIChJTlJJQSwgTmFudGVzLCBGcmFuY2UpOiBDbGFzc2ljYWwgYW5hbHlzaXMgaW4gCmRlcGVu ZGVudCB0eXBlIHRoZW9yeQoKICAgKiBDb25vciBNY0JyaWRlIChVbml2ZXJzaXR5IG9mIFN0cmF0 aGNseWRlLCBHbGFzZ293LCBVSyk6IENoZWNrIHRoZSAKQm94IQoKICAgKiBTdGVwaGFuaWUgV2Vp cmljaCAoVW5pdmVyc2l0eSBvZiBQZW5uc3lsdmFuaWEsIFBpdHRzYnVyZ2gsIFVTQSk6CiAgICAg QSBEZXBlbmRlbnRseS1UeXBlZCBDb3JlIENhbGN1bHVzIGZvciBHSEMKCgpCQUNLR1JPVU5ECgpU aGUgVFlQRVMgbWVldGluZ3MgYXJlIGEgZm9ydW0gdG8gcHJlc2VudCBuZXcgYW5kIG9uLWdvaW5n IHdvcmsgaW4gYWxsCmFzcGVjdHMgb2YgdHlwZSB0aGVvcnkgYW5kIGl0cyBhcHBsaWNhdGlvbnMs IGVzcGVjaWFsbHkgaW4gZm9ybWFsaXNlZAphbmQgY29tcHV0ZXIgYXNzaXN0ZWQgcmVhc29uaW5n IGFuZCBjb21wdXRlciBwcm9ncmFtbWluZy4KClRoZSBUWVBFUyBhcmVhcyBvZiBpbnRlcmVzdCBp bmNsdWRlLCBidXQgYXJlIG5vdCBsaW1pdGVkIHRvOgoKICAgKiBmb3VuZGF0aW9ucyBvZiB0eXBl IHRoZW9yeSBhbmQgY29uc3RydWN0aXZlIG1hdGhlbWF0aWNzOwogICAqIGFwcGxpY2F0aW9ucyBv ZiB0eXBlIHRoZW9yeTsKICAgKiBkZXBlbmRlbnRseSB0eXBlZCBwcm9ncmFtbWluZzsKICAgKiBp bmR1c3RyaWFsIHVzZXMgb2YgdHlwZSB0aGVvcnkgdGVjaG5vbG9neTsKICAgKiBtZXRhLXRoZW9y ZXRpYyBzdHVkaWVzIG9mIHR5cGUgc3lzdGVtczsKICAgKiBwcm9vZiBhc3Npc3RhbnRzIGFuZCBw cm9vZiB0ZWNobm9sb2d5OwogICAqIGF1dG9tYXRpb24gaW4gY29tcHV0ZXItYXNzaXN0ZWQgcmVh c29uaW5nOwogICAqIGxpbmtzIGJldHdlZW4gdHlwZSB0aGVvcnkgYW5kIGZ1bmN0aW9uYWwgcHJv Z3JhbW1pbmc7CiAgICogZm9ybWFsaXppbmcgbWF0aGVtYXRpY3MgdXNpbmcgdHlwZSB0aGVvcnku CgpXZSBlbmNvdXJhZ2UgdGFsa3MgcHJvcG9zaW5nIG5ldyB3YXlzIG9mIGFwcGx5aW5nIHR5cGUg dGhlb3J5LiBJbiB0aGUKc3Bpcml0IG9mIHdvcmtzaG9wcywgdGFsa3MgbWF5IGJlIGJhc2VkIG9u IG5ld2x5IHB1Ymxpc2hlZCBwYXBlcnMsCndvcmsgc3VibWl0dGVkIGZvciBwdWJsaWNhdGlvbiwg YnV0IGFsc28gd29yayBpbiBwcm9ncmVzcy4KClRoZSBFVVR5cGVzIENvc3QgQWN0aW9uIENBMTUx MjMgKGV1dHlwZXMuY3MucnUubmwpIGZvY3VzZXMgb24gdGhlIHNhbWUKcmVzZWFyY2ggdG9waWNz IGFzIFRZUEVTIGFuZCBwYXJ0aWFsbHkgc3BvbnNvcnMgdGhlIFRZUEVTIENvbmZlcmVuY2U6ClBh cnQgb2YgdGhlIHByb2dyYW1tZSBpcyBvcmdhbmlzZWQgdW5kZXIgdGhlIGF1c3BpY2VzIG9mIEVV VHlwZXMuCgoKUE9TVC1QUk9DRUVESU5HUwoKU2ltaWxhcmx5IHRvIFRZUEVTIDIwMTEgYW5kIFRZ UEVTIDIwMTMtMjAxOCwgYSBwb3N0LXByb2NlZWRpbmdzIHZvbHVtZSAKd2lsbCBiZQpwdWJsaXNo ZWQgaW4gdGhlIExlaWJuaXogSW50ZXJuYXRpb25hbCBQcm9jZWVkaW5ncyBpbgpJbmZvcm1hdGlj cyAoTElQSWNzKSBzZXJpZXMuIFN1Ym1pc3Npb24gdG8gdGhhdCB2b2x1bWUgd2lsbCBiZSBvcGVu IHRvIApldmVyeW9uZS4KVGVudGF0aXZlIHN1Ym1pc3Npb24gZGVhZGxpbmU6IFNlcHRlbWJlciAy MDE5LgoKCgpQUk9HUkFNTUUgQ09NTUlUVEVFCgpUaG9yc3RlbiBBbHRlbmtpcmNoIChVbml2ZXJz aXR5IG9mIE5vdHRpbmdoYW0pCk1hcmMgQmV6ZW0gKFVuaXZlcnNpdHkgb2YgQmVyZ2VuLCBjaGFp cikKTWHFgmdvcnphdGEgQmllcm5hY2thIChVbml2ZXJzaXR5IG9mIFdyb2PFgmF3KQpKZXNwZXIg Q29ja3ggKENoYWxtZXJzIFVuaXZlcnNpdHkgR290aGVuYnVyZykKSGVybWFuIEdldXZlcnMgKFJh ZGJvdWQgVW5pdmVyc2l0eSBOaWptZWdlbikKU2lsdmlhIEdoaWxlemFuIChVbml2ZXJzaXR5IG9m IE5vdmkgU2FkKQpNYXVybyBKYXNrZWxpb2ZmIChVbml2ZXJzaWRhZCBOYWNpb25hbCBkZSBSb3Nh cmlvKQpBbWJydXMgS2Fwb3NpIChFw7Z0dsO2cyBMb3LDoW5kIFVuaXZlcnNpdHkpClJhbHBoIE1h dHRoZXMgKElSSVQg4oCTIENOUlMgYW5kIFVuaXZlcnNpdHkgb2YgVG91bG91c2UpCsOJdGllbm5l IE1pcXVleSAoSU5SSUEsIEZyYW5jZSkKTGVvbmFyZG8gZGEgTW91cmEgKE1pY3Jvc29mdCBSZXNl YXJjaCkKS2Vpa28gTmFrYXRhIChTQVAgUG90c2RhbSkKRnJlZHJpayBOb3JkdmFsbCBGb3JzYmVy ZyAoVW5pdmVyc2l0eSBvZiBTdHJhdGhjbHlkZSkKQmVuamFtaW4gUGllcmNlIChVbml2ZXJzaXR5 IG9mIFBlbm5zeWx2YW5pYSkKRWxhaW5lIFBpbWVudGVsIChGZWRlcmFsIFVuaXZlcnNpdHkgb2Yg UmlvIEdyYW5kZSBkbyBOb3J0ZSkKTHXDrXMgUGludG8gKFVuaXZlcnNpdHkgb2YgTWluaG8pClNp bW9uYSBSb25jaGkgRGVsbGEgUm9jY2EgKFVuaXZlcnNpdMOgIGRpIFRvcmlubykKQ2Fyc3RlbiBT Y2jDvHJtYW5uIChJVCBVbml2ZXJzaXR5IG9mIENvcGVuaGFnZW4pCldvdXRlciBTd2llcnN0cmEg KFV0cmVjaHQgVW5pdmVyc2l0eSkKVGFybW8gVXVzdGFsdSAoUmV5a2phdmlrIFVuaXZlcnNpdHkp CgoKClRZUEVTIFNURUVSSU5HIENPTU1JVFRFRQoKQW5kcmVhcyBBYmVsLCBNYXJjIEJlemVtLCBK b3PDqSBFc3DDrXJpdG8gU2FudG8sIEh1Z28gSGVyYmVsaW4sIEFtYnJ1cyAKS2Fwb3NpLCBSYWxw aCBNYXR0aGVzIChjaGFpcikuCgoKCkFCT1VUIFRZUEVTCgpUaGUgVFlQRVMgbWVldGluZ3MgZnJv bSAxOTkwIHRvIDIwMDggd2VyZSBhbm51YWwgd29ya3Nob3BzIG9mIGEKc2VxdWVuY2Ugb2YgZml2 ZSBFVSBmdW5kZWQgbmV0d29ya2luZyBwcm9qZWN0cy4gRnJvbSAyMDA5IHRvIDIwMTUsClRZUEVT IGhhcyBiZWVuIHJ1biBhcyBhbiBpbmRlcGVuZGVudCBjb25mZXJlbmNlIHNlcmllcy4gRnJvbSAy MDE2LApUWVBFUyBpcyBwYXJ0aWFsbHkgc3VwcG9ydGVkIGJ5IENPU1QgQWN0aW9uIEVVVHlwZXMg Q0ExNTEyMy4gUHJldmlvdXMKVFlQRVMgbWVldGluZ3Mgd2VyZSBoZWxkIGluIEFudGliZXMgKDE5 OTApLCBFZGluYnVyZ2ggKDE5OTEpLCBCw6VzdGFkCigxOTkyKSwgTmlqbWVnZW4gKDE5OTMpLCBC w6VzdGFkICgxOTk0KSwgVG9yaW5vICgxOTk1KSwgQXVzc29pcyAoMTk5NiksCktsb3N0ZXIgSXJz ZWUgKDE5OTgpLCBMw7ZrZWJlcmcgKDE5OTkpLCBEdXJoYW0gKDIwMDApLCBCZXJnIGVuIERhbCBu ZWFyCk5pam1lZ2VuICgyMDAyKSwgVG9yaW5vICgyMDAzKSwgSm91eS1lbi1Kb3NhcyBuZWFyIFBh cmlzICgyMDA0KSwKTm90dGluZ2hhbSAoMjAwNiksIENpdmlkYWxlIGRlbCBGcml1bGkgKDIwMDcp LCBUb3Jpbm8gKDIwMDgpLCBBdXNzb2lzCigyMDA5KSwgV2Fyc2F3ICgyMDEwKSwgQmVyZ2VuICgy MDExKSwgVG91bG91c2UgKDIwMTMpLCBQYXJpcyAoMjAxNCksClRhbGxpbm4gKDIwMTUpLCBOb3Zp IFNhZCAoMjAxNiksIEJ1ZGFwZXN0ICgyMDE3KSwgQnJhZ2EgKDIwMTgpLgoKCgpDT05UQUNUCgpF bWFpbDp0eXBlczIwMTkgYXQgY2FzLm9zbG8ubm8KCk9yZ2FuaXNlcnM6Ck1hcmMgQmV6ZW0gKFVu aXZlcnNpdHkgb2YgQmVyZ2VuLCBjaGFpcikKQmrDuHJuIElhbiBEdW5kYXMgKFVuaXZlcnNpdHkg b2YgQmVyZ2VuKQpFcm5hIEthcyAoVXRyZWNodCBVbml2ZXJzaXR5KQpDYW1pbGxhIEsuIEVsbWFy IChDZW50cmUgZm9yIEFkdmFuY2VkIFN0dWR5KQo=