From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a1c:e087:: with SMTP id x129mr7063843wmg.127.1588805672766; Wed, 06 May 2020 15:54:32 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:224f:: with SMTP id a15ls7284557wmm.3.gmail; Wed, 06 May 2020 15:54:31 -0700 (PDT) X-Received: by 2002:a1c:e187:: with SMTP id y129mr7364378wmg.133.1588805671112; Wed, 06 May 2020 15:54:31 -0700 (PDT) Return-Path: Received: from uidappmx06.nottingham.ac.uk (uidappmx06.nottingham.ac.uk. [128.243.43.129]) by gmr-mx.google.com with ESMTPS id u25si409607wmm.3.2020.05.06.15.54.31 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 06 May 2020 15:54:31 -0700 (PDT) Received-SPF: pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.129 as permitted sender) client-ip=128.243.43.129; Authentication-Results: gmr-mx.google.com; arc=fail (body hash mismatch); spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.129 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.ac.uk Received: from uidappmx06.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id BCFC22B7DEA_EB34026B for ; Wed, 6 May 2020 22:54:30 +0000 (GMT) Received: from smtp3.nottingham.ac.uk (smtp3.nottingham.ac.uk [128.243.44.55]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by uidappmx06.nottingham.ac.uk (Sophos Email Appliance) with ESMTPS id 2ACBD419417_EB34026F for ; Wed, 6 May 2020 22:54:30 +0000 (GMT) Received: from uiwexedg02.ad.nottingham.ac.uk ([10.159.172.14]) by smtp3.nottingham.ac.uk with esmtp (Exim 4.85) (envelope-from ) id 1jWSvu-0007DJ-2G; Wed, 06 May 2020 23:54:30 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by exchangeSMTP.nottingham.ac.uk (10.159.172.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Wed, 6 May 2020 23:54:29 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.1531.3; Wed, 6 May 2020 23:54:29 +0100 Received: from UiWexEDG01.ad.nottingham.ac.uk (10.159.172.13) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3 via Frontend Transport; Wed, 6 May 2020 23:54:29 +0100 Received: from EUR02-VE1-obe.outbound.protection.outlook.com (128.243.226.54) by exchangeSMTP.nottingham.ac.uk (10.159.172.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Wed, 6 May 2020 23:54:29 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=BRGkGJh3tlKiuUqYR/36dePCemzC9p4joBdaXjwWhij+1Hvqr6th2DLNixInBuwhiUybqvl48Biah9mPBeRLS2wwZ8EUQ6O5w5eyobmV8l//L+63QKCXQv7IGOLTXrmG9lx+Rrq/Qx96a7lNO4MPxPF5lc6gO0WjdUC2186G0oQmOTDuqEHP6Lzl3r3l9Z53gx1jhpOO2x48Ej80QVDYN+oB06bZXKU4G6JFxK+skpLVaxAGA/GsufbdLFjcDyUEgnVbuRLY8HS0Hp1rbKjxcEjaj3lGXOvIOeYX8YCHkkWJJ8e86VQzn/iN7KbuBD+uvXOBvVP5ycU2uQ69nEU8wg== 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=j2VhBcV8NU+6QmBS6db/j1QCf1FEVuAwCLYL4rxLz3U=; b=Hauh/rmqsuFBrmaYf+P2jKqNdK9g8VXBmcNcdfciSJr+LMOPr83MmZhu0C0+me4VCMTM2MoQ+DoYGUQ+Iei2zqdOHMqDdZbjmKCzx+XXGxtyIeVcwtRnB6i3xD0JFnHORfaXkRhwxfq3+uvTjXDepJNEB4YxBatLSgBhjrqLRmZazHJisMJyPED4eaN6YKtj8LVV2+mgUSIzu2IoWAgAKhJx7p4YoOxpX9uHAH2ybyIU26T+1Gm/ZVPjiEVRKVxIBrwZ6zLgCDjk4bVlHR8/YclHgxumrOIHn4Tsg80hIgnunXO+057jUO8KmH+yRL9P2sGZjP5D7dTfMIR4PvHQ7g== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exmail.nottingham.ac.uk; dmarc=pass action=none header.from=exmail.nottingham.ac.uk; dkim=pass header.d=exmail.nottingham.ac.uk; arc=none Received: from AM6PR06MB5879.eurprd06.prod.outlook.com (2603:10a6:20b:2c::24) by AM6PR06MB4310.eurprd06.prod.outlook.com (2603:10a6:20b:26::26) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2958.29; Wed, 6 May 2020 22:54:28 +0000 Received: from AM6PR06MB5879.eurprd06.prod.outlook.com ([fe80::6427:d0c5:a0f3:68b1]) by AM6PR06MB5879.eurprd06.prod.outlook.com ([fe80::6427:d0c5:a0f3:68b1%4]) with mapi id 15.20.2979.028; Wed, 6 May 2020 22:54:28 +0000 From: Thorsten Altenkirch To: Michael Shulman , Steve Awodey CC: =?utf-8?B?Sm95YWwsIEFuZHLDqQ==?= , "homotopyt...@googlegroups.com" Subject: Re: [HoTT] Identity versus equality Thread-Topic: [HoTT] Identity versus equality Thread-Index: AQHWIrn+BFzsbNwSEEa9XfXV/1cG1qibOgWAgAAyGYCAAAS1AIAATROA Date: Wed, 6 May 2020 22:54:28 +0000 Message-ID: <952EF822-FD92-404C-A279-89502238BCDC@nottingham.ac.uk> References: <8C57894C7413F04A98DDF5629FEC90B1652F515E@Pli.gst.uqam.ca> <05375057-883F-4487-8919-2579F5771AFC@cmu.edu> In-Reply-To: Accept-Language: en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/16.36.20041900 authentication-results: sandiego.edu; dkim=none (message not signed) header.d=none;sandiego.edu; dmarc=none action=none header.from=exmail.nottingham.ac.uk; x-originating-ip: [86.28.226.182] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: d21319ef-2a9a-4553-002f-08d7f2106e66 x-ms-traffictypediagnostic: AM6PR06MB4310: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8273; x-forefront-prvs: 03950F25EC x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: xf494H+QV3noPXp4GT08+v86aAoj55HLInnfNRBSHiipWBXJLqTlMly/B3wsT6aPSWjoJnEyuB8M6hiN+9x2BifgF6fxqvX85dBmz+GfrNPi0k2XtZ9cj75Meo1TDagSA6zTlL0drUyKvUSCTocgI6j8W8ghYiDDH4guhflkjozxmnpKR8mJMqyHGcy1mINXwSSBr7+asoZ8xYtmOnkxGxT8GTfTgHVhufT7RpqTQLm9CYIXG+uK7GkYMMYIBw1xloNbDDvdXlED44uK4QwQ5Rb4cY0X0XJbdjCnaRkRWuk5vIEgKKbBlSUgthk5k6G3hC+MsYlQDEc8bDJHwNsv/ZP6MnSsRvYXX+uJhPPQcBlKjvpoBW3IUittbFiA3gg2mPbfhgQJQv/i/CFeG2UTNkKsYaUwnncHRwfwL8XkC4441NzmlNytLn/xfLRXYA/gOz5pUlkVmczcc0S9UsGi9vML+ycsYVmX35XV4PD9uCLPq0vvjYsFcTHi4L07mdjAo7VlXCqAb2KSxjE1gb7COcwO40HM4dFsxHJ3U8V17VGuSAjSGwVjxxxpB/NuwUC9gF51VwqpiQXnGX224EEEWtqXWyYI6TIJD5cYQF881Bk= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM6PR06MB5879.eurprd06.prod.outlook.com;PTR:;CAT:NONE;SFTY:;SFS:(376002)(346002)(136003)(366004)(396003)(39860400002)(33430700001)(26005)(36756003)(966005)(53546011)(6506007)(5660300002)(55236004)(33440700001)(478600001)(54906003)(9686003)(6486002)(66574014)(786003)(110136005)(6512007)(8936002)(8676002)(316002)(2906002)(71200400001)(64756008)(186003)(66556008)(66446008)(33656002)(86362001)(76116006)(66476007)(4326008)(91956017)(66946007);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata: 9G9xITO9n9t6XsPEanRsd7L9b2/SQe0boCe4FNB4IZEk4w2rVFckfkNDAKhpxia1L+nD/N61kaZyTuZsx+YHPPAv2UzhQB3WX3ib21BKMaTIiOywbNCfmnqs4pfwYwKinwvV1S6s/S4QjM73/tJglR2rMbLfzLXoJ0jAex7lHMSKm0kXcT/Zm0ujWFjV+gSdD/pEotaflI/V74fp4/lpmRHr4NGEwNJMk5rG8bk8kSGHOtkDF7WK1MZZbzk25o9YAoy5yZxz5hUcs3zHK05jyVEdDzGiMhgIZJvnmQ1bEjkaVAJynh8VFH6C3C2Rbpoad7vkSHFkn365Fei2zsU2iqukBLZ9GU53wdbD9Y4jjeyFpVr8wXpwR/iHiq2zocx0E74UOmCBMN30jJ3ZdbgtRxmcdDTIGcWJ4UATrMJ83pfdwnfkezhReczeTOZdJDbFYmTlWHDyd+nRnFf/XMj0APvPdwhNJohsAKwa5eKQtATMPyyykf5k2AT3dkVrpsxhvsz8QctOE315aKV20T8dTN/s594e/Upey7a0AtK7WdZaWmK88udXmksW1jFeiLAWiVmpgJkkwdN3tbL1ZWeYvK+JjvFYHbqyV0uLHdMW2eMYvr1KyRQ+b32ON38pS9xq/ZQydkunDrc0jOS/YIsOAlVM3FY52ikZuBrfSc4XQqHZxAgC2fiTyHLPszt+tuZ57bO30m+C/XAC1mXb+uZJGJ2xUXTGEJube4WFVpM8hwW6wnxSX9GFNjv3IKPlRJ3r3z8z+PjN3hFC9i9oBCSJ12PEpxFhXMzksxcmgF7YZVE= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="utf-8" Content-ID: <0EDDE98A19F15F42...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: d21319ef-2a9a-4553-002f-08d7f2106e66 X-MS-Exchange-CrossTenant-originalarrivaltime: 06 May 2020 22:54:28.0572 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 0WcXuOiNif+AgXRmu5S+zAdRogwhO3aA4p5KWd5E/DpBIFepWMHDxn3WliNwAJ3ILsPPhbF07YcZBw+1cqN7w8B/Dlr+jRXa6c1tMOegdSEO6MEOctzPEhT2UpjJwRfg X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM6PR06MB4310 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size X-SASI-RCODE: 200 SSBhZ3JlZSBidXQgbGV0IG1lIHRyeSB0byBtYWtlIHRoaXMgbW9yZSBwcmVjaXNlLiBXZSBjYW5u b3QgdGFsayBhYm91dCBqdWRnZW1lbnRhbCBlcXVhbGl0eSB3aXRoaW4gTWF0aGVtYXRpY3MgaXQg aXMgbm90IGEgcHJvcG9zaXRpb24uIEp1ZGdlbWVudGFsIGVxdWFsaXR5IGlzIGltcG9ydGFudCB3 aGVuIHdlIHRhbGsgYWJvdXQgTWF0aGVtYXRpY3MsIGl0IGlzIGEgcHJvcGVydHkgb2YgYSBtYXRo ZW1hdGljYWwgdGV4dC4gVGhlIHNhbWUgYXBwbGllcyB0byB0eXBpbmc6IHdlIGNhbm5vdCB0YWxr IGFib3V0IHR5cGluZyBiZWNhdXNlIGl0IGlzIG5vdCBhIHByb3Bvc2l0aW9uIGl0IGlzIGEgcGFy dCBvZiB0aGUgc3RydWN0dXJlIG9mIG91ciBhcmd1bWVudC4NCg0KVGhpcyBiZWNvbWVzIGNsZWFy IGluIHRoZSBleGFtcGxlOiB3ZSB0YWxrIGFib3V0IG51bWJlcnMgYnV0IHgreSBpcyBhbiBleHBy ZXNzaW9uLCBoZW5jZSB0YWxraW5nIGFib3V0IGp1ZGdlbWVudGFsIGVxdWFsaXR5IG9ubHkgbWFr ZXMgc2Vuc2Ugd2hlbiB3ZSB0YWxrIGFib3V0IE1hdGhlbWF0aWNzLiBUbyBzYXkgdGhhdCB4K3kg aXMgbm90IGp1ZGdlbWVudGFsIGVxdWFsIHRvIHkreCBkb2Vzbid0IG1ha2UgYW55IHNlbnNlIHdp dGhpbiBvdXIgYXJndW1lbnQgaXQgaXMgYSBzZW50ZW5jZSBhYm91dCBpdC4NCg0KV2hlbiBJIHNh eSB0aGF0IDAreCBpcyBkZWZpbml0aW9uYWxseSBlcXVhbCB0byB4IEkgZG9uJ3QgcHJvdmUgYW55 dGhpbmcgYnV0IEkganVzdCBwb2ludCBvdXQgYSBmYWN0IHRoYXQgZm9sbG93cyBmcm9tIHRoZSBk ZWZpbml0aW9uIG9mICsuIFRoYXQgaXMgSSBkcmF3IGF0dGVudGlvbiB0byBpdC4NCg0KSGVuY2Ug Y2xlYXJseSB0aGVyZSBpcyBubyByZWFzb24gdG8gdXNlIGFueSBvdGhlciB3b3JkIHRoYXQgZXF1 YWxpdHkgdG8gbWVhbiB0aGF0IHR3byBvYmplY3RzIGFyZSBlcXVhbCB3aGljaCBtZWFucyB0aGF0 IHRoZSBlcXVhbGl0eSB0eXBlIGlzIGluaGFiaXRlZCB3aGljaCBpcyBzaWduaWZpZWQgYnkgdXNp bmcgPS4gVGhlcmUgaXMgdGhlIGlzc3VlIHRoYXQgd2UgbWF5IGhhdmUgYSBtb3JlIHRoYXQgb25l IHdheSBpbiB3aGljaCB0d28gb2JqZWN0cyBjYW4gYmUgZXF1YWwgd2hpY2ggY3JlYXRlcyB0aGUg bmVlZCB0byB0YWxrIGFib3V0IGVsZW1lbnRzIG9mIGFuIGVxdWFsaXR5IHR5cGUuIAlJIGRvbid0 IGxpa2UgdGhlIHdvcmQgImlkZW50aWZpY2F0aW9ucyIgYmVjYXVzZSBpdCBzZWVtcyB0byBzdWdn ZXN0IHRoYXQgdGhlIHR3byBvYmplY3RzIGFyZSBub3QgcHJvcGVybHkgZXF1YWwgYnV0IGp1c3Qg ImlkZW50aWZpZWQiIGFydGlmaWNpYWxseS4NCg0KVGhvcnN0ZW4NCg0K77u/T24gMDYvMDUvMjAy MCwgMjA6MTksICJob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbSBvbiBiZWhhbGYgb2YgTWlj aGFlbCBTaHVsbWFuIiA8aG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9m IHNodS4uLkBzYW5kaWVnby5lZHU+IHdyb3RlOg0KDQogICAgQXMgSSd2ZSBzYWlkIGJlZm9yZSwg SSBzdHJvbmdseSBkaXNhZ3JlZSB0aGF0IHRoZSBzdGFuZGFyZA0KICAgIGludGVycHJldGF0aW9u IG9mICJhPWIiIGFzIG1lYW5pbmcgImEgZXF1YWxzIGIiIGNsYXNoZXMgaW4gYW55IHdheQ0KICAg IHdpdGggaXRzIHVzZSB0byBkZW5vdGUgdGhlIGlkZW50aXR5IHR5cGUuICBBbG1vc3Qgd2l0aG91 dCBleGNlcHRpb24sDQogICAgd2hlbmV2ZXIgYSBtYXRoZW1hdGljYW4gd29ya2luZyBpbmZvcm1h bGx5IHNheXMgImVxdWFscyIsIHRoYXQgKm11c3QqDQogICAgYmUgZm9ybWFsaXplZCBhcyByZWZl cnJpbmcgdG8gdGhlIGlkZW50aXR5IHR5cGUuICBBc2sgYW55DQogICAgbWF0aGVtYXRpY2lhbiBv biB0aGUgc3RyZWV0IHdoZXRoZXIgeCt5PXkreCBmb3IgYWxsIG5hdHVyYWwgbnVtYmVycyB4DQog ICAgYW5kIHksIGFuZCB0aGV5IHdpbGwgc2F5IHllcy4gIEJ1dCB0aGlzIGlzIGZhbHNlIGlmID0g bWVhbnMganVkZ21lbnRhbA0KICAgIGVxdWFsaXR5LiAgSnVkZ21lbnRhbCBlcXVhbGl0eSBpcyBh IHRlY2huaWNhbCBvYmplY3Qgb2YgdHlwZSB0aGVvcnkNCiAgICB0aGF0IHRoZSAiZ2VuZXJpYyBt YXRoZW1hdGljaWFuIiBpcyBub3QgYXdhcmUgb2YgYXQgYWxsLCBzbyBpdCBjYW5ub3QNCiAgICBj by1vcHQgdGhlIHN0YW5kYXJkIG5vdGF0aW9uICI9IiBvciB3b3JkICJlcXVhbHMiIGlmIHdlIHdh bnQgImluZm9ybWFsDQogICAgdHlwZSB0aGVvcnkiIHRvIGJlIGF0IGFsbCBjb21wcmVoZW5zaWJs ZSB0byBzdWNoIHJlYWRlcnMuDQoNCg0KICAgIE9uIFdlZCwgTWF5IDYsIDIwMjAgYXQgMTI6MDEg UE0gU3RldmUgQXdvZGV5IDxhd28uLi5AY211LmVkdT4gd3JvdGU6DQogICAgPg0KICAgID4gRGVh ciBBbmRyZeKAmSAoYW5kIGFsbCksDQogICAgPg0KICAgID4gVGhlIHNpZ24gYSA9IGIgaXMgcHJl dHR5IHdlbGwgZXN0YWJsaXNoZWQgaW4gbWF0aGVtYXRpY3MgYXMgbWVhbmluZyDigJxhIGVxdWFs cyBi4oCdLA0KICAgID4gd2hpY2ggZG9lcyBpbmRlZWQgY2xhc2ggd2l0aCBvdXIgY2hvaWNlIGlu IHRoZSBib29rIHRvIHVzZSBpdCBmb3IgdGhlIGlkZW50aXR5IHR5cGUsDQogICAgPiBhbmQgdG8g Y2FsbCB0aGUgZWxlbWVudHMgb2YgdGhpcyB0eXBlIOKAnGlkZW50aWZpY2F0aW9uc+KAnS4NCiAg ICA+IFRob3JzdGVuIGhhcyByaWdodGx5IHBvaW50ZWQgb3V0IHRoaXMgY2xhc2guDQogICAgPg0K ICAgID4gQWx0aG91Z2ggSSBhbSBwZXJzb25hbGx5IG5vdCBlYWdlciB0byBtYWtlIGFueSBjaGFu Z2VzIGluIG91ciBjdXJyZW50IHRlcm1pbm9sb2d5IGFuZC9vciBub3RhdGlvbiwNCiAgICA+IEni gJltIGNlcnRhaW5seSBnbGFkIHRvIGNvbnNpZGVyIHRoZSBwb3NzaWJpaXkNCiAgICA+ICh3ZSBk aWQgYWdyZWUgdG8gcmV0dXJuIHRvIHRoaXMgcXVlc3Rpb24gYXQgc29tZSBwb2ludCwgc28gbWF5 YmUgdGhpcyBpcyBpdCA6IC0gKS4NCiAgICA+DQogICAgPiBXZSBuZWVkIGJvdGggc3ltYm9scyBh bmQgd29yZHMgZm9yIHR3byBub3Rpb25zOg0KICAgID4NCiAgICA+IC0ganVkZ2VtZW50YWwgZXF1 YWxpdHksIGN1cnJlbnRseSBhXGVxdWl2IGIsDQogICAgPiAtIHByb3Bvc2l0aW9uYWwgZXF1YWxp dHksIGN1cnJlbnRseSBhID0gYiwgc2hvcnQgZm9yIElkKGEsYikuDQogICAgPg0KICAgID4gVGhl cmUgc2VlbXMgdG8gYmUgYSBwcm9wb3NhbCB0byByZXZpc2UgdGhpcyB0byBzb21ldGhpbmcgbGlr ZToNCiAgICA+DQogICAgPiAtIGp1ZGdlbWVudGFsIGVxdWFsaXR5OiB3cml0dGVuIGEgPSBiIGFu ZCBwcm9ub3VuY2VkIOKAnGEgZXF1YWxzIGLigJ0sDQogICAgPiAtIHByb3Bvc2l0aW9uYWwgZXF1 YWxpdHksIHdyaXR0ZW4gbWF5YmUgYSBcY29uZyBiLCBhbmQgcHJvbnVuY2VkIOKAnWEgaXNvIGLi gJ0sDQogICAgPiAodGhlIGVsZW1lbnRzIG9mIHRoaXMgdHlwZSBhcmUgY2FsbGVkIOKAnGlzb3Mi KS4NCiAgICA+DQogICAgPiBBbm90aGVyIChwYXJ0aWFsKSBvcHRpb24gd291bGQgYmU6DQogICAg Pg0KICAgID4gLSBqdWRnZW1lbnRhbCBlcXVhbGl0eTogd3JpdHRlbiBhID0gYiBhbmQgcHJvbm91 bmNlZCDigJxhIGVxdWFscyBi4oCdLA0KICAgID4gLSBwcm9wb3NpdGlvbmFsIGVxdWFsaXR5LCB3 cml0dGVuIElkKGEsYikgYW5kIHNob3J0ZW5lZCBzb21laG93IGEgPyBiLA0KICAgID4gYW5kIHBy b251bmNlZCDigJ1hIGlkZW5pdGZpZWQgd2l0aCBi4oCdDQogICAgPiAodGhlIGVsZW1lbnRzIG9m IHRoaXMgdHlwZSBhcmUgY2FsbGVkIOKAnGlkZW50aWZpY2F0aW9ucyIpLg0KICAgID4NCiAgICA+ IERvIGVpdGhlciBvZiB0aGVzZSBzZWVtIHByZWZlcmFibGU/DQogICAgPiBBcmUgdGhlcmUgb3Ro ZXIgcHJvcG9zYWxzPw0KICAgID4gQW5kIGhvdyBzaG91bGQgb25lIGRlY2lkZT8NCiAgICA+DQog ICAgPiBSZWdhcmRzLA0KICAgID4NCiAgICA+IFN0ZXZlDQogICAgPg0KICAgID4NCiAgICA+DQog ICAgPg0KICAgID4NCiAgICA+IE9uIE1heSA2LCAyMDIwLCBhdCAxMjowMiBQTSwgSm95YWwsIEFu ZHLDqSA8am95YWwuLi5AdXFhbS5jYT4gd3JvdGU6DQogICAgPg0KICAgID4gRGVhciBhbGwsDQog ICAgPg0KICAgID4gQSBmZXcgbW9yZSB0aG91Z2h0cy4NCiAgICA+IFdlIGFsbCBhZ3JlZSB0aGF0 IHRlcm1pbm9sb2d5IGFuZCBub3RhdGlvbiBhcmUgaW1wb3J0YW50Lg0KICAgID4NCiAgICA+IEkg bG92ZSB0aGUgc3Rvcnkgb2YgdGhlIGVxdWFsaXR5IHNpZ24gPSBpbnRyb2R1Y2VkIGJ5IFJvYmVy dCBSZWNvcmRlICgxNTEyLTE1NTgpLg0KICAgID4gImJlY2F1c2Ugbm8gdHdvIHRoaW5ncyBjYW4g YmUgbW9yZSBlcXVhbCB0aGFuIGEgcGFpciBvZiBwYXJhbGxlbCBsaW5lcyIuDQogICAgPiBJdCB0 b29rIG1vcmUgdGhhbiBhIGNlbnR1cnkgYmVmb3JlIGJlZW4gdW5pdmVyc2FsbHkgYWRvcHRlZC4N CiAgICA+IFJlbsOpIERlc2NhcnRlcyAoMTU5Ni0xNjUwKSB1c2VkIGEgZGlmZmVyZW50IHN5bWJv bCAgaW4gaGlzIHdvcmsgKHNvbWV0aGluZyBsaWtlIFxhbHBoYSkuDQogICAgPiBXZSBtYXkgYXNr IHdoeSBSZWNvcmRlJ3Mgbm90YXRpb24gd29uIG92ZXIgRGVzY2FydGVzJ3Mgbm90YXRpb24/DQog ICAgPiBPZiBjb3Vyc2UsIHdlIG1heSBuZXZlciBrbm93Lg0KICAgID4gSSBkYXJlIHRvIHNheSB0 aGF0IFJlY29yZGUncyBub3RhdGlvbiB3YXMgKmJldHRlciouDQogICAgPiBBbW9uZyBvdGhlciB0 aGluZ3MsIHRoZSBlcXVhbGl0eSBzaWduID0gaXMgc3ltbWV0cmljOg0KICAgID4gdGhlIGV4cHJl c3Npb24gYT1iIGFuZCBiPWEgYXJlIG1pcnJvciBpbWFnZSBvZiBlYWNoIG90aGVyLg0KICAgID4g UmVjb3JkZSdzIG1vdGl2ZSBmb3IgaW50cm9kdWNpbmcgdGhlIG5vdGF0aW9uIHdhcyBtb3JlIGFi b3V0DQogICAgPiBjb252ZW5pZW5jZSBhbmQgYWVzdGhldGljIHRoYW4gYWJvdXQgcGhpbG9zb3Bo eSBhbmQgaGlzdG9yeS4NCiAgICA+IFRoZSBub3RhdGlvbiB3YXMgZ3JhZHVhbGx5IGFkb3B0ZWQg YmVjYXVzZSBpdCBpcyBzaW1wbGUgYW5kIHVzZWZ1bC4NCiAgICA+IEl0IHdhcyBub3QgYmVjYXVz ZSBSZWNvcmRlIHdhcyBhIHBvd2VyZnVsIGFjYWRlbWljLA0KICAgID4gc2luY2UgaGUgZXZlbnR1 YWxseSBkaWVkIGluIHByaXNvbi4NCiAgICA+DQogICAgPiBUaGVyZSBpcyBzb21ldGhpbmcgdG8g bGVhcm4gZnJvbSB0aGUgaGlzdG9yeSBvZiB0aGUgZXF1YWxpdHkgc2lnbi4NCiAgICA+IEkgZ3Vl c3MgdGhhdCBpdCBjYW4gYWxzbyBhcHBsaWVkIHRvIHRlcm1pbm9sb2d5Lg0KICAgID4gQSBuZXcg bm90YXRpb24gb3IgdGVybWlub2xvZ3kgaGFzIGEgZ29vZCBjaGFuY2UgdG8gYmUgYWRvcHRlZCB1 bml2ZXJzYWxseQ0KICAgID4gaWYgaXQgaXMgc2ltcGxlIGFuZCB1c2VmdWwsIGJ1dCBpdCBtYXkg dGFrZSB0aW1lLg0KICAgID4NCiAgICA+IEFuZHLDqQ0KICAgID4gX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX18NCiAgICA+IEZyb206IGhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29t IFtob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbV0gb24gYmVoYWxmIG9mIEFuc3RlbiBNw7hy Y2ggS2xldiBbYW5zdGUuLi5AZ21haWwuY29tXQ0KICAgID4gU2VudDogVHVlc2RheSwgTWF5IDA1 LCAyMDIwIDQ6NDcgQU0NCiAgICA+IFRvOiBIb21vdG9weVQuLi5AZ29vZ2xlZ3JvdXBzLmNvbQ0K ICAgID4gU3ViamVjdDogW0hvVFRdIElkZW50aXR5IHZlcnN1cyBlcXVhbGl0eQ0KICAgID4NCiAg ICA+IFRoZSBkaXNjdXNzaW9uIHllc3RlcmRheSBwcm92aWRlcyBhIGdvb2Qgb2NjYXNpb24gZm9y IG1lIHRvIHBvc2UgYSBxdWVzdGlvbiBJIGhhdmUgbG9uZyB3YW50ZWQgdG8gcHV0IHRvIHRoaXMg bGlzdDogaXMgdGhlcmUgYSBjb252ZW50aW9uIGdlbmVyYWxseSBhZ3JlZWQgdXBvbiBpbiB0aGUg SG9UVC1jb21tdW5pdHkgZm9yIHdoZW4gKGlmIGV2ZXIpIHRvIHVzZSAnaWRlbnRpdHknIGluc3Rl YWQgb2YgJ2VxdWFsaXR5Jz8NCiAgICA+DQogICAgPiBIZXJlIGFyZSBzb21lIHJlbGV2YW50IGRh dGEuDQogICAgPg0KICAgID4gQSBHZXJtYW5pYyBlcXVpdmFsZW50IGZvciAnaWRlbnRpdHknIGlz ICdzYW1lbmVzcycuDQogICAgPiBBIEdlcm1hbmljIGVxdWl2YWxlbnQgZm9yICdlcXVhbGl0eScg aXMgJ2xpa2VuZXNzJy4NCiAgICA+DQogICAgPiBGb3IgQXJpc3RvdGxlIGVxdWFsaXR5IG1lYW5z IHNhbWVuZXNzIG9mIHF1YW50aXR5LiBUaGlzIGlzIGhvdyBvbmUgbXVzdCB1bmRlcnN0YW5kICdl cXVhbCcgaW4gRXVjbGlkJ3MgRWxlbWVudHMsIHdoZXJlIGEgdHJpYW5nbGUgbWF5IGhhdmUgYWxs IHNpZGVzIGVxdWFsIChjbGVhcmx5LCB0aGV5IGNhbm5vdCBiZSBpZGVudGljYWwpLiBUaGUgYXhp b20gaW4gdGhlIEVsZW1lbnRzIHRoYXQgaGFzIGdpdmVuIHJpc2UgdG8gdGhlIHRlcm0gJ0V1Y2xp ZGVhbiByZWxhdGlvbicgYW5kIHdoaWNoIGlzIGFwcGVhbGVkIHRvIGluIEVsZW1lbnRzIEkuMSBp cyBwaHJhc2VkIGluIHRlcm1zIG9mICdlcXVhbCcgcmF0aGVyIHRoYW4gJ2lkZW50aWNhbCcuDQog ICAgPg0KICAgID4gSW4gRGlvcGhhbnR1cydzIEFyaXRobWV0aWNhLCBvbiB0aGUgb3RoZXIgaGFu ZCwgdGhlIHR3byB0ZXJtcyBvZiBhbiBlcXVhdGlvbiBhcmUgc2FpZCB0byBiZSBlcXVhbCwgbm90 IGlkZW50aWNhbCwgYW5kIHRoaXMgd291bGQgYmVjb21lIHRoZSBzdGFuZGFyZCB0ZXJtaW5vbG9n eSBpbiBhbGdlYnJhLiBGb3IgaW5zdGFuY2UsIHRoZSBzaWduICc9JyB3YXMgaW50cm9kdWNlZCBi eSBSb2JlcnQgUmVjb3JkZSBhcyBhIHNpZ24gb2YgZXF1YWxpdHksIG5vdCBhcyBhIHNpZ24gb2Yg aWRlbnRpdHkuIFRoZSBleHBsYW5hdGlvbiBmb3IgdGhpcyBhcHBhcmVudCBkaXNjcmVwYW5jeSB3 aXRoIHRoZSBBcmlzdG90ZWxpYW4vRXVjbGlkZWFuIHRlcm1pbm9sb2d5IG1pZ2h0IGJlIHRoYXQg d2hlbiBkZWFsaW5nIHdpdGggbnVtYmVycywgZXF1YWxpdHkganVzdCBpcyBpZGVudGl0eSwgc2lu Y2UgZm9yIHR3byBudW1iZXJzIHRvIGJlIGlkZW50aWNhbCBhcyB0byBtYWduaXR1ZGUganVzdCBp cyBmb3IgdGhlbSB0byBiZSB0aGUgc2FtZSBudW1iZXIuIEFyaXN0b3RsZSBzYXlzIGFzIG11Y2gg aW4gTWV0YXBoeXNpY3MgTS43Lg0KICAgID4NCiAgICA+IEhpbGJlcnQgYW5kIEJlcm5heXMgbWln aHQgYmUgb25lIG9mIHRoZSBmZXcgbG9naWMgYm9va3MgaW4gdGhlIG1vZGVybiBlcmEgdG8gZGlz dGluZ3Vpc2ggZXF1YWxpdHkgZnJvbSBpZGVudGl0eSAodm9sdW1lIEksIGNoYXB0ZXIgNSkuICdF cXVhbGl0eScgaXMgdGhlcmUgdXNlZCBmb3IgYW55IGVxdWl2YWxlbmNlIHJlbGF0aW9uIGFuZCBn bG9zc2VkIGFzIHRoZSBvYnRhaW5pbmcgb2YgImlyZ2VuZGVpbmUgQXJ0IHZvbiDDnGJlcmVpbnN0 aW1tdW5nIi4gSWRlbnRpdHksIGJ5IGNvbnRyYXN0LCBpcyAiw5xiZXJlaW5zdGltbXVuZyBpbiBq ZWRlciBIaW5zaWNodCIsIGFzIGV4cHJlc3NlZCBieSBpbmRpc2Nlcm5pYmlsaXR5IHdpdGhpbiB0 aGUgZ2l2ZW4gbGFuZ3VhZ2UuDQogICAgPg0KICAgID4gRnJlZ2UsIGJ5IGNvbnRyYXN0LCBleHBs aWNpdGx5IGlkZW50aWZpZXMgKHNpYyEpIGVxdWFsaXR5IHdpdGggaWRlbnRpdHksIGFuZCBnbG9z c2VzIHRoZSBsYXR0ZXIgYXMgc2FtZW5lc3Mgb3IgY29pbmNpZGVuY2UsIGluIHRoZSBmaXJzdCBm b290bm90ZSB0byBoaXMgcGFwZXIgb24gc2Vuc2UgYW5kIHJlZmVyZW5jZS4gIEtsZWVuZSBhbmQg Q2h1cmNoIGRvIHRoZSBzYW1lIGluIHRoZWlyIGZhbW91cyB0ZXh0Ym9va3M6IGlmIG9uZSBsb29r cyB1bmRlciAnaWRlbnRpdHknIGluIHRoZSBpbmRleCB0byBhbnkgb2YgdGhvc2UgYm9va3Mgb25l IGlzIHJlZmVycmVkIHRvICdlcXVhbGl0eScuDQogICAgPg0KICAgID4gQ2xlYXJseSB0aGUgdHdv IGNhbm5vdCBiZSBhc3N1bWVkIHRvIG1lYW4gdGhlIHNhbWUgYnkgYW5hbHlzdHMgd2hvIHNwZWFr IG9mIHR3byBmdW5jdGlvbnMgYmVpbmcgaWRlbnRpY2FsbHkgZXF1YWwhDQogICAgPg0KICAgID4g LS0NCiAgICA+IFlvdSByZWNlaXZlZCB0aGlzIG1lc3NhZ2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNj cmliZWQgdG8gdGhlIEdvb2dsZSBHcm91cHMgIkhvbW90b3B5IFR5cGUgVGhlb3J5IiBncm91cC4N CiAgICA+IFRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcg ZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8gSG9tb3RvcHlULi4uQGdvb2dsZWdyb3Vw cy5jb20uDQogICAgPiBUbyB2aWV3IHRoaXMgZGlzY3Vzc2lvbiBvbiB0aGUgd2ViIHZpc2l0IGh0 dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9tc2dpZC9Ib21vdG9weVR5cGVUaGVvcnkvQ0FKSFp1 cVlMWS1fREI5dWgtMEZXMGpyMktTb1ElMkJwd1JHRDBQUGpxJTJCeHlRdmFKRk4yQSU0MG1haWwu Z21haWwuY29tLg0KICAgID4NCiAgICA+IC0tDQogICAgPiBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNz YWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21v dG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQogICAgPiBUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMg Z3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRv IEhvbW90b3B5VC4uLkBnb29nbGVncm91cHMuY29tLg0KICAgID4gVG8gdmlldyB0aGlzIGRpc2N1 c3Npb24gb24gdGhlIHdlYiB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2QvbXNnaWQv SG9tb3RvcHlUeXBlVGhlb3J5LzhDNTc4OTRDNzQxM0YwNEE5OERERjU2MjlGRUM5MEIxNjUyRjUx NUUlNDBQbGkuZ3N0LnVxYW0uY2EuDQogICAgPg0KICAgID4NCiAgICA+IC0tDQogICAgPiBZb3Ug cmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBH b29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQogICAgPiBUbyB1bnN1 YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0 LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90b3B5VC4uLkBnb29nbGVncm91cHMuY29tLg0KICAgID4g VG8gdmlldyB0aGlzIGRpc2N1c3Npb24gb24gdGhlIHdlYiB2aXNpdCBodHRwczovL2dyb3Vwcy5n b29nbGUuY29tL2QvbXNnaWQvSG9tb3RvcHlUeXBlVGhlb3J5LzA1Mzc1MDU3LTg4M0YtNDQ4Ny04 OTE5LTI1NzlGNTc3MUFGQyU0MGNtdS5lZHUuDQoNCiAgICAtLSANCiAgICBZb3UgcmVjZWl2ZWQg dGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3Jv dXBzICJIb21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQogICAgVG8gdW5zdWJzY3JpYmUgZnJv bSB0aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBl bWFpbCB0byBIb21vdG9weVQuLi5AZ29vZ2xlZ3JvdXBzLmNvbS4NCiAgICBUbyB2aWV3IHRoaXMg ZGlzY3Vzc2lvbiBvbiB0aGUgd2ViIHZpc2l0IGh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9t c2dpZC9Ib21vdG9weVR5cGVUaGVvcnkvQ0FPdml2UXdUUjRxSzA5NCUyQmttZ2olM0QyNTQ3VXhH Z21ialc5azVNZ0xlJTJCbmU5eFBlZjN3JTQwbWFpbC5nbWFpbC5jb20uDQoNCgoKClRoaXMgbWVz c2FnZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3IgdGhlIGFkZHJl c3NlZQphbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2 ZSByZWNlaXZlZCB0aGlzCm1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBjb250YWN0IHRoZSBzZW5k ZXIgYW5kIGRlbGV0ZSB0aGUgZW1haWwgYW5kCmF0dGFjaG1lbnQuIAoKQW55IHZpZXdzIG9yIG9w aW5pb25zIGV4cHJlc3NlZCBieSB0aGUgYXV0aG9yIG9mIHRoaXMgZW1haWwgZG8gbm90Cm5lY2Vz c2FyaWx5IHJlZmxlY3QgdGhlIHZpZXdzIG9mIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0u IEVtYWlsCmNvbW11bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSBt YXkgYmUgbW9uaXRvcmVkIAp3aGVyZSBwZXJtaXR0ZWQgYnkgbGF3LgoKCgoK