From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:adf:ce8a:: with SMTP id r10-v6mr602010wrn.12.1527761170891; Thu, 31 May 2018 03:06:10 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:adf:e68b:: with SMTP id r11-v6ls6512501wrm.0.gmail; Thu, 31 May 2018 03:06:09 -0700 (PDT) X-Received: by 2002:adf:ab57:: with SMTP id r23-v6mr579646wrc.13.1527761169885; Thu, 31 May 2018 03:06:09 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1527761169; cv=none; d=google.com; s=arc-20160816; b=uHahXshjPXaP7yAsIWMDDDCYri+s6OjqCn4bNiSKMj1Uq5FQ02/FLiRMaWPnbguOvL Sfi6On619f5rc70XP3hvyfIe8gnBqV9mDv6ZPbpWIPt97p/nbq15r8ghcqbZFdHm/DKg jc30L6tCv3++jmfhos1xPmPC0Ss5KevsijJIZQvrhm0I6U15roXvY4FlS7foM2EKG3Eo DTqXwQPDGWrTDS7img8r8l+NhPlvnVMAvZ5bdXskQEbfTxSP8rYwi8N9AK0mh+4Iyron 8vr66SO8343WVLgZBv8RYT4gkYBkl+sv0+5VSG8EfgSbeOZP8t8tpKsYi/q2wHYRvEmx ns5g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-id :spamdiagnosticmetadata:spamdiagnosticoutput:user-agent :content-language:accept-language:in-reply-to:references:message-id :date:thread-index:thread-topic:subject:cc:to:from :arc-authentication-results; bh=gC4HGrFrjLnHfltZRzlf4KkerYq+l9/5pGpWOOOdr8s=; b=XIevMfoNCOUuhWysiJKkV+3Ro4zznnX/YTMkgzP6JmtCCBXz6nvW3Ak+hdfC+vy3m5 t7UXTcWKPLnM5mGEesxPVrcz2dd02UYKgjDoCZMlEYIhdk+HgkCoDB+Q0ceJgMgd6SBE +quc9ErAaJRremY/goSAsP3LtkZG8+X+mt+oKXbwteNUjwJ7WDmHPAN8Dd9VrkbCkXvN bZWuFOMFPoSCDQsWDk3lmGRJNHYPVJvkpcqnoMs36kbbasQsQIjRLXykiqLZFaeGo+kt Le7OqQkZfhoD+gtGMI6Ukk1DIXG7w26m7/ZDMj+H5vbiGZIQaFC5B2AgCFo3ZbilcPov X8Rg== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Return-Path: Received: from uidappmx05.nottingham.ac.uk (uidappmx05.nottingham.ac.uk. [128.243.43.128]) by gmr-mx.google.com with ESMTP id x3-v6si388190wrn.0.2018.05.31.03.06.09 for ; Thu, 31 May 2018 03:06:09 -0700 (PDT) Received-SPF: pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.128 as permitted sender) client-ip=128.243.43.128; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Received: from uidappmx05.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id A224E6D0F84_B0FC911B for ; Thu, 31 May 2018 10:06:09 +0000 (GMT) Received: from smtp3.nottingham.ac.uk (smtp3.nottingham.ac.uk [128.243.44.55]) by uidappmx05.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id 37A656F5FE3_B0FC911F for ; Thu, 31 May 2018 10:06:09 +0000 (GMT) Received: from uiwexhub03.is.nottingham.ac.uk ([128.243.15.146] helo=UIWEXHUB03.ad.nottingham.ac.uk) by smtp3.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.85) (envelope-from ) id 1fOKTB-0002lU-6g; Thu, 31 May 2018 11:06:09 +0100 Received: from EUR03-VE1-obe.outbound.protection.outlook.com (213.199.154.143) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.389.1; Thu, 31 May 2018 11:06:08 +0100 Received: from VI1PR06MB4029.eurprd06.prod.outlook.com (20.176.5.138) by VI1PR06MB1182.eurprd06.prod.outlook.com (10.162.124.18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.797.11; Thu, 31 May 2018 10:06:07 +0000 Received: from VI1PR06MB4029.eurprd06.prod.outlook.com ([fe80::90b5:492f:5163:37cb]) by VI1PR06MB4029.eurprd06.prod.outlook.com ([fe80::90b5:492f:5163:37cb%4]) with mapi id 15.20.0820.010; Thu, 31 May 2018 10:06:07 +0000 From: Thorsten Altenkirch To: Michael Shulman CC: Alexander Kurz , Thomas Streicher , "homotopyt...@googlegroups.com" Subject: Re: [HoTT] Re: Where is the problem with initiality? Thread-Topic: [HoTT] Re: Where is the problem with initiality? Thread-Index: AQHT9tTcHLLfpdPhZECSp3WbPXTJiqRGfjeAgABT6ICAATLCgIAAESOAgAAFLYCAACQvgIAAZd8AgAEL1QA= Date: Thu, 31 May 2018 10:06:07 +0000 Message-ID: References: <06B9C5AB-C7CB-4CB5-B951-64E0C4180AD9@exmail.nottingham.ac.uk> <20180530093331.GA28365@mathematik.tu-darmstadt.de> <5559377C-94C9-422E-BBF7-A07AFA4B7D04@exmail.nottingham.ac.uk> <3D1D292E-1EFF-4EA2-8233-B55FDA5CE8A5@gmail.com> <5A8268CE-26C1-4FD5-A82F-8063C08EF115@exmail.nottingham.ac.uk> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/10.a.0.180210 x-originating-ip: [128.243.20.140] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;VI1PR06MB1182;7:oxF0A1uiFQgt8jDs+nQq3jkiLTr5LtB6B5O65mUH2T1GhITENi0n+oIyMb2a/EYGgn7wnNCM71IHz2R9zI7p4VSkQeriPuUioYAJnPbRBpFMcXb5Nxm9OjD6PB0OAqgpFNtTeGNmvVQ+6tj9ll7iVWEINqtI30YA1/sHDzT0gnYiUECnM6odFBo5sCvhcCkx04+Uy3EP8/N676pPy2Y3TiOEPNUorvcm1FlQmH/RnT1cabLJWOzpqFqh33PN2Xl5 x-ms-exchange-antispam-srfa-diagnostics: SOS; x-microsoft-antispam: UriScan:(215639381216008);BCL:0;PCL:0;RULEID:(7020095)(4652020)(8989080)(5600026)(4534165)(4627221)(201703031133081)(201702281549075)(8990040)(2017052603328)(7153060)(7193020);SRVR:VI1PR06MB1182; x-ms-traffictypediagnostic: VI1PR06MB1182: authentication-results: spf=none (sender IP is ) smtp.mailfrom=psz...@exmail.nottingham.ac.uk; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(215639381216008)(228788266533470)(211936372134217)(214861330456307)(17755550239193); x-ms-exchange-senderadcheck: 1 x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040522)(2401047)(5005006)(8121501046)(3002001)(93006095)(93001095)(10201501046)(3231254)(944501410)(52105095)(149027)(150027)(6041310)(20161123558120)(20161123562045)(20161123564045)(20161123560045)(201703131423095)(201702281529075)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(6072148)(201708071742011)(7699016);SRVR:VI1PR06MB1182;BCL:0;PCL:0;RULEID:;SRVR:VI1PR06MB1182; x-forefront-prvs: 06891E23FB x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(39860400002)(39380400002)(396003)(366004)(376002)(346002)(189003)(199004)(54906003)(81156014)(81166006)(478600001)(99286004)(8936002)(8676002)(5890100001)(14454004)(5250100002)(966005)(25786009)(316002)(5660300001)(305945005)(68736007)(7736002)(106356001)(105586002)(33656002)(58126008)(39060400002)(6246003)(4326008)(186003)(2171002)(53936002)(2900100001)(2906002)(6916009)(93886005)(6306002)(6512007)(82746002)(97736004)(66066001)(229853002)(6486002)(6436002)(59450400001)(6116002)(3846002)(53546011)(6506007)(786003)(86362001)(74482002)(76176011)(83716003)(102836004)(476003)(3280700002)(11346002)(446003)(26005)(486006)(2616005)(3660700001)(42522002)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:VI1PR06MB1182;H:VI1PR06MB4029.eurprd06.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; received-spf: None (protection.outlook.com: exmail.nottingham.ac.uk does not designate permitted sender hosts) x-microsoft-antispam-message-info: VizNZNFWR90kOilHM9yMFqzhaNdj5N3MytmlCyGURsPpJfJ6yXY9hMeREeNmidv14+rkyto+TRVUWeTUXGcxe5Hi5D3BUOZr5RFJ5X1AyFm8xaUAhCca+dlw4ZduAFXiZOAUB+4Nt9AdwjYbAf5AHnHSr4IAvXG9XEDtTa5f8ziAQe13PKs1oK5OsOJhlrOK spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Office365-Filtering-Correlation-Id: ad8340c3-0bbd-4f0f-0ee3-08d5c6de208a X-MS-Exchange-CrossTenant-Network-Message-Id: ad8340c3-0bbd-4f0f-0ee3-08d5c6de208a X-MS-Exchange-CrossTenant-originalarrivaltime: 31 May 2018 10:06:07.2501 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR06MB1182 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size X-SASI-RCODE: 200 SXQgYXBwZWFycyBzb21laG93IGluY29uc2VxdWVudGlhbCB0byBzYXkgb24gdGhlIG9uZSBoYW5k IHRoYXQgYSB0eXBlZCBhcHByb2FjaCB0byBNYXRoZW1hdGljcyBpcyBwcmVmZXJhYmxlIGJ1dCB0 aGVuIHdoZW4gd2UgdGFsayBhYm91dCB0eXBlIHRoZW9yeSBpdHNlbGYgaXQgaXMgcHJlZmVyYWJs ZSB0byBjb25zaWRlciB1bnR5cGVkIG9iamVjdHMgZmlyc3QuIERvZXNuJ3Qgc29sdmluZyB0aGUg aW5pdGlhbGl0eSBwcm9ibGVtIGp1c3QgbWVhbnMgdGhhdCB5b3UgaGF2ZSBlc3RhYmxpc2ggYSB2 aWV3IG9uIHRoZSB1bnR5cGVkIG9iamVjdHMgd2hpY2ggZG9lc24ndCBkZXBlbmQgb24gdGhlbT8g SWYgd2UgYXBwbHkgdGhlIGlkZWEgb2Ygc3RydWN0dXJhbCBNYXRoZW1hdGljcyB0byB0eXBlIHRo ZW9yeSBpdHNlbGYsIGlzbid0IGl0IGNsZWFyIHRoYXQgd2Ugc2hvdWxkIHRha2UgdGhlIGFsZ2Vi cmFpYyB2aWV3IGFzIHRoZSBmdW5kYW1lbnRhbCBkZWZpbml0aW9uPyBBbmQgaW5kZWVkLCB1c2lu ZyB0aGUgaWRlYSBvZiBISVRzIGNvbWJpbmVkIHdpdGggaW5kdWN0aXZlLWluZHVjdGl2ZSBpdCB0 dXJucyBvdXQgdGhhdCB3ZSBjYW4ganVzdCBnaXZlIGFuIGluZHVjdGl2ZSBkZWZpbml0aW9uIG9m IHRoZSBpbml0aWFsIG9iamVjdCBpbiB0aGlzIGFsZ2VicmFpYyB2aWV3LiBUaGlzIGlzIG5pY2Ug YmVjYXVzZSBpbmRlZWQgSElUcyB3ZXJlIG5vdCBpbnZlbnRlZCBmb3IgdGhpcyBwYXJ0aWN1bGFy IHB1cnBvc2UhDQoNCkFuZCB5ZXMgd2UgaGF2ZSB0byByZWxhdGUgdGhpcyBhYnN0cmFjdCBpbml0 aWFsIG9iamVjdCB0byB0aGUgc3R1ZmYgd2Ugd3JpdGUgb3IgdHlwZSBpbiBvciBjcmVhdGUgYnkg Y2xpY2tpbmcgc29tZXdoZXJlIChpbmRlZWQgbGluZWFyIHN5bnRheCBtYXkgYmUgYSB0aGluZyBv ZiB0aGUgcGFzdCBhbnl3YXkpLiBXZSBjYW4gZG8gdGhpcyBieSBqdXN0IGVzdGFibGlzaGluZyBw cm9wZXJ0aWVzIG9mIHRoZSB0eXBlZCBhbGdlYnJhaWMgc3ludGF4LCBlLmcuIGRlY2lkYWJpbGl0 eSBhbmQgdHlwZSBpbmZlcmVuY2UgaW4gYSB3YXkgc2ltaWxhciBhcyB3ZSBjYW4gdW5kZXJzdGFu ZCBwYXJzaW5nIGFzIHRoZSBwYXJ0aWFsIGludmVyc2Ugb2YgcHJpbnRpbmcgdHJlZXMuIA0KDQpU aG9yc3Rlbg0KDQoNCu+7v09uIDMwLzA1LzIwMTgsIDIwOjA3LCAiaG9tb3RvcHl0Li4uQGdvb2ds ZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIE1pY2hhZWwgU2h1bG1hbiIgPGhvbW90b3B5dC4uLkBn b29nbGVncm91cHMuY29tIG9uIGJlaGFsZiBvZiBzaHUuLi5Ac2FuZGllZ28uZWR1PiB3cm90ZToN Cg0KICAgIE9uIFdlZCwgTWF5IDMwLCAyMDE4IGF0IDU6MDUgQU0sIFRob3JzdGVuIEFsdGVua2ly Y2gNCiAgICA8VGhvcnN0ZW4uLi4uQG5vdHRpbmdoYW0uYWMudWs+IHdyb3RlOg0KICAgID4gU2V0 IHRoZW9yeSBpcyB1bnR5cGVkIGFuZCBjb25jZXB0dWFsbHkgbWlzbGVhZGluZywgdG8NCiAgICA+ IHRhbGsgYWJvdXQgYWxsIG5hdHVyYWwgbnVtYmVycyB5b3UgcXVhbnRpZnkgb3ZlciBhbGwgc2V0 cyBzaW5nbGluZyB0aG9zZSBvdXQNCiAgICA+IHRoYXQgcmVwcmVzZW50IG5hdHVyYWwgbnVtYmVy cy4gVW50eXBlZCB0aGlua2luZyBsZWFkcyB0byBub24tc3RydWN0dXJhbA0KICAgID4gTWF0aGVt YXRpY3MsIHRvIG1hdGhlbWF0aWNhbCBoYWNraW5nIGFuZCBhIGxhY2sgb2YgYWJzdHJhY3Rpb24u IEluZGVlZCwgdGhlDQogICAgPiBpbXBvc3NpYmlsaXR5IHRvIGhpZGUgYW55dGhpbmcgaW4gYW4g dW50eXBlZCB1bml2ZXJzZSBpcyBvbmUgb2YgdGhlIGRpc2Vhc2VzDQogICAgPiBvZiBjb250ZW1w b3JhcnkgTWF0aGVtYXRpY3MuDQogICAgPg0KICAgID4gLi4uDQogICAgPg0KICAgID4gVGhlIHBy b2JsZW0gaXMgdGhhdCBwZW9wbGUgc3RpbGwgdXNlIHVudHlwZWQgTWF0aGVtYXRpY3MuDQogICAg DQogICAgSSBhZ3JlZSBlbnRpcmVseSB3aXRoIHRoaXMuICBTb21lIHNldCB0aGVvcmlzdHMgbGlr ZSB0byBzYXkgdGhhdCB0aGUNCiAgICB1bnR5cGVkbmVzcyBvZiBzZXQgdGhlb3J5IGlzIG5vdCBh IHByb2JsZW0gYmVjYXVzZSBvbmUgY2FuIHN0aWxsIGRvDQogICAgInN0cnVjdHVyYWwiIChpLmUu IHR5cGVkKSBtYXRoZW1hdGljcyBpbnNpZGUgc2V0IHRoZW9yeS4gIFRoaXMgaXMgdHJ1ZQ0KICAg IC0tIElGIHlvdSBrbm93IHdoYXQgInN0cnVjdHVyYWwvdHlwZWQgbWF0aGVtYXRpY3MiIG1lYW5z IGFuZCB5b3Uga25vdw0KICAgIHdoYXQgeW91IGFyZSBkb2luZyEgIFRoZSByZWFsIHByb2JsZW0g aXMgdGhhdCBpZiB5b3UgbGVhcm4gdW50eXBlZCBzZXQNCiAgICB0aGVvcnkgYXMgInRoZSIgZm91 bmRhdGlvbiBvZiBtYXRoZW1hdGljcywgdGhlbiBpdCByZXF1aXJlcyBhbiBleHRyYQ0KICAgIHN0 ZXAgb2YgKmxlYXJuaW5nKiB0byB3b3JrIHN0cnVjdHVyYWxseSwgaS5lLiB0byAiZm9yZ2V0IGFi b3V0IiB0aGUNCiAgICBhYmlsaXR5IHRvIGRvIHVudHlwZWQgdGhpbmdzLiAgUGVyc29uYWxseSwg SSBoYXZlIG5vdGljZWQgdGhpcyBwcm9ibGVtDQogICAgbW9zdCB3aGVuIEkgYW0gcmVmZXJlZWlu ZyBwYXBlcnMgLS0gaXQgc2VlbXMgdG8gYmUgYSBmcmVxdWVudCBzb3VyY2UNCiAgICBvZiBlcnJv cnMgdG8sIGZvciBpbnN0YW5jZSwgbWFrZSBhIG5vbi1zdHJ1Y3R1cmFsIGRlZmluaXRpb24gYW5k IHRoZW4NCiAgICB1c2UgaXQgaW4gd2F5cyB0aGF0IHdvdWxkIG9ubHkgbWFrZSBzZW5zZSBpZiBp dCB3ZXJlIHN0cnVjdHVyYWwuDQogICAgDQogICAgSG93ZXZlciwgdGhlICJ0eXBlZG5lc3Mgb2Yg bWF0aGVtYXRpY3MiIGlzIGZvciBtZSBhICpzZW1hbnRpYyoNCiAgICBzdGF0ZW1lbnQ6IHRoZSAi cmVhbCBvYmplY3RzIiBvZiBtYXRoZW1hdGljcyBhcmUgdHlwZWQsIGJ1dCB0aGF0DQogICAgZG9l c24ndCBuZWNlc3NhcmlseSBtZWFuIHRoYXQgdGhlICpsYW5ndWFnZSB3ZSB1c2UgdG8gdGFsayBh Ym91dCB0aGVtKg0KICAgIG11c3QgKG9yIGV2ZW4gY2FuKSBiZSB0eXBlZC4gIFRoZXJlIGFyZSAi bW9yZSBzZW1hbnRpYyIgbm90aW9ucyBvZg0KICAgICJ0eXBlZCBzeW50YXgiLCBidXQgdWx0aW1h dGVseSB3aGF0IHdlIGFjdHVhbGx5IHdyaXRlIGRvd24gaXMgdW50eXBlZCwNCiAgICBzbyBzb21l d2hlcmUgdGhlcmUgaXMgYSBuZWNlc3Nhcnkgc3RlcCBvZiAidHlwZWNoZWNraW5nIiBpdC4NCiAg ICANCiAgICBNb3Jlb3ZlciwgSSBjdXJyZW50bHkgc3RpbGwgYmVsaWV2ZSB0aGF0IHdlIG5lZWQg bm90IGp1c3QgYW4gYWxnb3JpdGhtDQogICAgdG8gdHlwZWNoZWNrIHVudHlwZWQgc3ludGF4IGlu dG8gdHlwZWQgc3ludGF4LCBidXQgYSBmdWxsIHByb29mIG9mIHRoZQ0KICAgIGluaXRpYWxpdHkg dGhlb3JlbSBmb3IgYSBzdHJ1Y3R1cmUgYnVpbHQgb3V0IG9mIHVudHlwZWQgc3ludGF4LiAgVGhl DQogICAgcHJvYmxlbSBpcyB0aGF0IEkgd2FudCB0byBiZSBzdXJlIEkga25vdyB3aGF0IGlzIGRl bm90ZWQgYnkgdGhlDQogICAgdW50eXBlZCBzeW50YXggSSB3cml0ZSBkb3duLiAgTWF5YmUgeW91 IGhhdmUgYSB0eXBlY2hlY2tpbmcgYWxnb3JpdGhtDQogICAgdGhhdCBjb21waWxlcyBpdCBpbnRv IHR5cGVkIHN5bnRheCBhbmQgdGhlcmVieSBnaXZlcyBpdCBhIHNlbWFudGljDQogICAgbWVhbmlu ZywgYnV0IG1heWJlIHNvbWVvbmUgZWxzZSBoYXMgYSBkaWZmZXJlbnQgdHlwZWNoZWNraW5nIGFs Z29yaXRobQ0KICAgIHRoYXQgcHJvZHVjZXMgYW4gKmEgcHJpb3JpKiBkaWZmZXJlbnQgdHlwZWQg c3ludGF4OyBob3cgZG8gSSBrbm93IHRoYXQNCiAgICB0aGUgIm1lYW5pbmciIG9mIHdoYXQgSSB3 cml0ZSBkb3duIGRvZXNuJ3QgZGVwZW5kIG9uIHdoaWNoDQogICAgdHlwZWNoZWNraW5nIGFsZ29y aXRobSBJIGNob29zZT8gIFRoZSBtb3N0IG5hdHVyYWwgd2F5IEkgY2FuIHNlZSB0byBiZQ0KICAg IHN1cmUgb2YgdGhpcyBpcyB0byBzaG93IHRoYXQgdW50eXBlZCBzeW50YXggYXNzZW1ibGVzIGlu dG8gdGhlIHNhbWUNCiAgICBpbml0aWFsIHN0cnVjdHVyZSB0aGF0IHR5cGVkIHN5bnRheCBkb2Vz Lg0KICAgIA0KICAgID4NCiAgICA+DQogICAgPg0KICAgID4NCiAgICA+DQogICAgPg0KICAgID4N CiAgICA+IFRoaXMgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVs eSBmb3IgdGhlIGFkZHJlc3NlZQ0KICAgID4gYW5kIG1heSBjb250YWluIGNvbmZpZGVudGlhbCBp bmZvcm1hdGlvbi4gSWYgeW91IGhhdmUgcmVjZWl2ZWQgdGhpcw0KICAgID4gbWVzc2FnZSBpbiBl cnJvciwgcGxlYXNlIGNvbnRhY3QgdGhlIHNlbmRlciBhbmQgZGVsZXRlIHRoZSBlbWFpbCBhbmQN CiAgICA+IGF0dGFjaG1lbnQuDQogICAgPg0KICAgID4gQW55IHZpZXdzIG9yIG9waW5pb25zIGV4 cHJlc3NlZCBieSB0aGUgYXV0aG9yIG9mIHRoaXMgZW1haWwgZG8gbm90DQogICAgPiBuZWNlc3Nh cmlseSByZWZsZWN0IHRoZSB2aWV3cyBvZiB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLiBF bWFpbA0KICAgID4gY29tbXVuaWNhdGlvbnMgd2l0aCB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5n aGFtIG1heSBiZSBtb25pdG9yZWQNCiAgICA+IHdoZXJlIHBlcm1pdHRlZCBieSBsYXcuDQogICAg Pg0KICAgID4NCiAgICA+DQogICAgPiAtLQ0KICAgID4gWW91IHJlY2VpdmVkIHRoaXMgbWVzc2Fn ZSBiZWNhdXNlIHlvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgR29vZ2xlIEdyb3Vwcw0KICAgID4g IkhvbW90b3B5IFR5cGUgVGhlb3J5IiBncm91cC4NCiAgICA+IFRvIHVuc3Vic2NyaWJlIGZyb20g dGhpcyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4NCiAg ICA+IGVtYWlsIHRvIEhvbW90b3B5VHlwZVRoZS4uLkBnb29nbGVncm91cHMuY29tLg0KICAgID4g Rm9yIG1vcmUgb3B0aW9ucywgdmlzaXQgaHR0cHM6Ly9ncm91cHMuZ29vZ2xlLmNvbS9kL29wdG91 dC4NCiAgICANCiAgICAtLSANCiAgICBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2Ug eW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRo ZW9yeSIgZ3JvdXAuDQogICAgVG8gdW5zdWJzY3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9w IHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFpbCB0byBIb21vdG9weVR5cGVU aGUuLi5AZ29vZ2xlZ3JvdXBzLmNvbS4NCiAgICBGb3IgbW9yZSBvcHRpb25zLCB2aXNpdCBodHRw czovL2dyb3Vwcy5nb29nbGUuY29tL2Qvb3B0b3V0Lg0KICAgIA0KDQoKCgpUaGlzIG1lc3NhZ2Ug YW5kIGFueSBhdHRhY2htZW50IGFyZSBpbnRlbmRlZCBzb2xlbHkgZm9yIHRoZSBhZGRyZXNzZWUK YW5kIG1heSBjb250YWluIGNvbmZpZGVudGlhbCBpbmZvcm1hdGlvbi4gSWYgeW91IGhhdmUgcmVj ZWl2ZWQgdGhpcwptZXNzYWdlIGluIGVycm9yLCBwbGVhc2UgY29udGFjdCB0aGUgc2VuZGVyIGFu ZCBkZWxldGUgdGhlIGVtYWlsIGFuZAphdHRhY2htZW50LiAKCkFueSB2aWV3cyBvciBvcGluaW9u cyBleHByZXNzZWQgYnkgdGhlIGF1dGhvciBvZiB0aGlzIGVtYWlsIGRvIG5vdApuZWNlc3Nhcmls eSByZWZsZWN0IHRoZSB2aWV3cyBvZiB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLiBFbWFp bApjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gbWF5IGJl IG1vbml0b3JlZCAKd2hlcmUgcGVybWl0dGVkIGJ5IGxhdy4KCgoKCg==