From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a2e:898b:: with SMTP id c11mr6510922lji.197.1588805548117; Wed, 06 May 2020 15:52:28 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:3a12:: with SMTP id h18ls1057392lja.1.gmail; Wed, 06 May 2020 15:52:26 -0700 (PDT) X-Received: by 2002:a2e:731a:: with SMTP id o26mr6714216ljc.189.1588805545968; Wed, 06 May 2020 15:52:25 -0700 (PDT) Return-Path: Received: from uidappmx05.nottingham.ac.uk (uidappmx05.nottingham.ac.uk. [128.243.43.128]) by gmr-mx.google.com with ESMTPS id d19si220409lji.3.2020.05.06.15.52.25 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 06 May 2020 15:52:25 -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; arc=fail (body hash mismatch); spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.ac.uk Received: from uidappmx05.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 4F0B36D11E0_EB33FA9B for ; Wed, 6 May 2020 22:52:25 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by uidappmx05.nottingham.ac.uk (Sophos Email Appliance) with ESMTPS id A905577EF61_EB33FA8F for ; Wed, 6 May 2020 22:52:24 +0000 (GMT) Received: from uiwexedg01.ad.nottingham.ac.uk ([10.159.172.13]) by smtp4.nottingham.ac.uk with esmtp (Exim 4.85) (envelope-from ) id 1jWSts-0005st-Ik; Wed, 06 May 2020 23:52:24 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) 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:52:24 +0100 Received: from UiWexCHM02.ad.nottingham.ac.uk (10.159.186.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_GCM_SHA256) id 15.1.1531.3; Wed, 6 May 2020 23:52:24 +0100 Received: from UiWexEDG02.ad.nottingham.ac.uk (10.159.172.14) by UiWexCHM02.ad.nottingham.ac.uk (10.159.186.13) 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:52:24 +0100 Received: from EUR05-DB8-obe.outbound.protection.outlook.com (128.243.226.54) 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:52:24 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Nx7cZULHwi8T7jvmcaYrul63tt/FM6fXJ2d5pyHdo+OxVsrLuNqn/x+Ccv2BDUmOm+OKauPEviGDE1YvpYcMjO+iot//siQ37qWnRbSm9ckmgQg+BnQJo9iRerl58IhDm7XOILmIopUdQ+zS/Co8EWfKxcVPMbRquScwrRFgOdjZzKU4vDUiUFefzJoQ6S1lRcj0PEwtck+MWb50gWuwhzoxevm1kywRXq7d9PG+5NGmX/c6rVaTWmEeMjed6+lviFXDh+QRW2njZ1NGkBmruLDm+QMcB4oaQYYKydDkjZ33HKxRa3hNyXFV0GkHMkQK3Vw5qyF00xGSZbtoDK07UA== 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=3T7ZyoGqdx05ZkFK0he1Rc2jfxGloEPtXRU2MgNJMW0=; b=g9dFgRM0XiQpD9V2FcsNTijXVaL4p1qEhr5mhjCye/1aNngEkTdZ6yUlPCm92Ndc2IqU2RGYbsYR+H5OPjitr0iYPYway7RyWtdN3Q2KCUjB9Jplli/xgw2YYkN0v9VIAf22X71kBbM1P8TKEeEPhnJY89yae3ZMYnWOUWKWUUht22CBLAWfshUBoCqZjY1PdUVF2ghw3Mc+glj8CYIAqxkVLY7Yk/eJstqpIW+EDnoyUE/Nf0YGqcHgQE8xy1k6LWY2EAIJnmMBUucmSwvk5UKa5VdGXSdAN3v6Yx5y4NWR36AuGhZilvvM5QYc3QWTvCdLt4xTfc3U4NmhdkCOCg== 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 AM6PR06MB5637.eurprd06.prod.outlook.com (2603:10a6:20b:97::25) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2979.28; Wed, 6 May 2020 22:52:23 +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:52:23 +0000 From: Thorsten Altenkirch To: Steve Awodey , Michael Shulman CC: =?utf-8?B?IkpveWFsLCBBbmRyw6ki?= , "homotopyt...@googlegroups.com" Subject: Re: [HoTT] Identity versus equality Thread-Topic: [HoTT] Identity versus equality Thread-Index: AQHWIrn+BFzsbNwSEEa9XfXV/1cG1qibOgWAgAAyGYCAAAS1AIAAA4SAgABI+QA= Date: Wed, 6 May 2020 22:52:23 +0000 Message-ID: <167E833A-5CCA-4119-A56A-84A6A9C8E273@nottingham.ac.uk> References: <8C57894C7413F04A98DDF5629FEC90B1652F515E@Pli.gst.uqam.ca> <05375057-883F-4487-8919-2579F5771AFC@cmu.edu> <35D53A79-56C0-42F7-A58F-6052CE26FA87@cmu.edu> In-Reply-To: <35D53A79-56C0-42F7-A58F-6052CE26FA87@cmu.edu> 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: cmu.edu; dkim=none (message not signed) header.d=none;cmu.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: 2593516e-19c3-4bfc-b1d8-08d7f2102403 x-ms-traffictypediagnostic: AM6PR06MB5637: 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: fwM11iA28eI+ynCSAnzX9oP8nZ0gpKa9oMPwgzvTB/bos0jkwZpBDck7JrGSKhg4dagqI9Z6ZCOaTvg5opMbZ6GvViylv85a5OECas+flTgZhLEWFFnGfUreOYMoecnptmIucmVlvmUuKg4TDAMOMAv/+X0CLdR5r1Wyuh0+fKLIwsHopETcS4i/otAYRPLqOrSZeRrqivmmLaX8AntRvGGr+AGbqVHDEG/nWtxBxcdSnxoN7avE+QP0N8rw1WM5kT5xYpeT3qNzv7OVt2t3OhxNiUdsP36zgGccr3IqMYivkH/HKrAxCqiBjXc0lDt/YJxlZuBI8yFAK0NHzsP7Nt8lyUAqgMucvFplaDLFWS6Z3WnQ+PcUWUVelv3qwXE4uNgYGVO07xA1R5q4bUPu8vGmQJ1sUyXNzc1djKexBugYI6IoLjGWqgltU2oMuJFAZa2xpIi+kGSdUwgPmYlTWzlHzwVFfU0vOaisEAVlFoHumJHleKe+4FDVBIUsZmK3KZhIg32/OeQaIckx5reAjZcXcvYHXx1bhCKoALbPjPgehZeJRJkmHiyp5zvbVn01rYAaBoJKKpHoXWI0JmS/CaAqBCxZqFloO+tQePnhR/g= 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:(39860400002)(346002)(366004)(376002)(396003)(136003)(33430700001)(91956017)(66946007)(6506007)(6486002)(76116006)(316002)(66476007)(54906003)(86362001)(66556008)(66446008)(55236004)(786003)(110136005)(9686003)(4326008)(53546011)(64756008)(36756003)(2906002)(6512007)(5660300002)(71200400001)(33656002)(478600001)(186003)(8676002)(966005)(8936002)(66574014)(33440700001)(26005);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata: E9Z+sPKAVcPUEpJGEkEh695GfHFD2lDJCdRUltcHPuFfN+wMNMtYBL1kEVkeoFy4qVuzN+V5se6iQd05cOlbnhAG5mQQXIT1uIuOkkaTwyf0j7aPOKXANyCDHnuJVpmtSXdrt3CDsLMjO9IwRSx/TNMZc3ezuBmhz9Ftf3vT0AuWI4NV1X1Xm64ZqlF+0mOgS/rfpTZKwgnvsYcXE33mK4s1huY/huSOZjaosWKwYVS+Coy6blSrJ81KGYt3SX5k/1Ils8aG+o+12qpZu3foGAcJ/8r/9QLyFHGsehphb2lRtKXgEHN/PEfl9EO1EBkuU7KfKGHXmodp267HrS6kbSGGHIZ+5h7br7ntNOcHBx3rbst/FEXU4WXyBWAvDULgJ4t0AAD5tYJ7glI5dYsfY/gn7pK+qLXQ6XlEUthID+4M6ogLBB+9IGtke4qx0HURoLg7ghf0n+B6ZjuRVtFFptEuC+d3iE+vKSO67INmUtHN6w1sUAGTcOKLGrinseB05FMYBDvTgK3DB2JPCuyeD6y7kHBCVJTnyvmLSPZ7+SJakWvieF/5CN8L4tHAcVzXubb76MtRhif3xwPKU85Y6OhuNNWC+U3p94odpxQxCiFPk7IpuQmv8izs4hBVO3zHn7zcho0tYvP5hLcsczJdjffkxnbBVf4mDlp5HerokO79hyRJmG50FwO0IUaI77Y++M/796s3yJ8D8J3TvjBHUbmhWpFA+s9k6SmOG3pTUEWe+NHYiBKmTDM/CKbXgTkiDpWGtd/eXel4P9eOcS68oIHq+6DTuTL0a7W97Ov2bMA= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="utf-8" Content-ID: <72896F6B5D5A0148...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 2593516e-19c3-4bfc-b1d8-08d7f2102403 X-MS-Exchange-CrossTenant-originalarrivaltime: 06 May 2020 22:52:23.2585 (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: ETX3wGQvHt00hOBhDy5x15bxB6//LvzhTTDWiWOR82oX8bAZc7QELOu8Nz/7BOLn3RRQt9u65R+0Oen9ic2CFuGUYego6Gn+fslHDV9klY4HhPSjLxn0nPa5MxxUCEVo X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM6PR06MB5637 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size X-SASI-RCODE: 200 SSBhbHdheXMgdGhvdWdodCB0aGF0IGVxdWFsaXR5IGFuZCBpZGVudGl0eSBhcmUgc3lub255bXMu IFNvbWV0aW1lcyB3ZSB0YWxrIGFib3V0IGVxdWF0aW9ucyBhbmQgc29tZXRpbWVzIHdlIGNhbGwg dGhlbSBpZGVudGl0aWVzLiBTbyB5ZXMsIEkgYWdyZWUgY29tcGxldGVseS4NCg0KVGhvcnN0ZW4N Cg0KDQrvu79PbiAwNi8wNS8yMDIwLCAyMDozMSwgImhvbW90b3B5dC4uLkBnb29nbGVncm91cHMu Y29tIG9uIGJlaGFsZiBvZiBTdGV2ZSBBd29kZXkiIDxob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBz LmNvbSBvbiBiZWhhbGYgb2YgYXdvLi4uQGNtdS5lZHU+IHdyb3RlOg0KDQogICAgSSB0b3RhbGx5 IGFncmVlIHdpdGggeW91LCBNaWtlLg0KDQogICAgQnV0IEkgdGhpbmsgVGhvcnN0ZW4gd2FzIHBv aW50aW5nIG91dCAoaGUgd2lsbCBjb3JyZWN0IG1lIGlmIEnigJltIHdyb25nKSANCiAgICB0aGF0 IGEgPSBiIG1lYW5pbmcg4oCcZXF1YWxz4oCdIGlzIG1heWJlIG5vdCB0aGUgc2FtZSBhcyDigJxp ZGVudGl0eeKAnT8NCg0KICAgIGFuZCBJIGRvIHRoaW5rIHRoYXQgdGhlIHRlcm1pbm9sb2d5IOKA nGlkZW50aWZpY2F0aW9u4oCdIGlzIGdvb2QgZm9yIHRoZSBlbGVtZW50cyBvZiB0aGlzIHR5cGUs IHdoaWNoIHRyYWRpdGlvbmFsbHkgd2FzIGNhbGxlZCB0aGUg4oCcaWRlbnRpdHkgdHlwZSIuDQoN CiAgICBtYXliZSB0aGUgYW5zd2VyIGlzIHRvIHNheSB0aGF0IG1hdGhlbWF0aWNzIHNpbXBseSBk b2VzbuKAmXQgZGVhbCB3aXRoIHRoZSDigJxtZXRhcGh5c2ljYWwiIG5vdGlvbiBvZiDigJxpZGVu dGl0eeKAnSwgYXMgZGlzdGluY3QgZnJvbSBlcXVhbGl0eS4NCiAgICB3ZSBqdXN0IHVzZSBib3Ro IHdvcmRzIGludGVyY2hhbmdlYWJseSBmb3IgdGhlIHNpbmdsZSBub3Rpb24gZXhwcmVzc2QgYnkg YSA9IGIsIHdoaWNoIGlzIHNob3J0IGZvciBJZChhLGIpLg0KDQogICAgPiBPbiBNYXkgNiwgMjAy MCwgYXQgMzoxOCBQTSwgTWljaGFlbCBTaHVsbWFuIDxzaHUuLi5Ac2FuZGllZ28uZWR1PiB3cm90 ZToNCiAgICA+IA0KICAgID4gQXMgSSd2ZSBzYWlkIGJlZm9yZSwgSSBzdHJvbmdseSBkaXNhZ3Jl ZSB0aGF0IHRoZSBzdGFuZGFyZA0KICAgID4gaW50ZXJwcmV0YXRpb24gb2YgImE9YiIgYXMgbWVh bmluZyAiYSBlcXVhbHMgYiIgY2xhc2hlcyBpbiBhbnkgd2F5DQogICAgPiB3aXRoIGl0cyB1c2Ug dG8gZGVub3RlIHRoZSBpZGVudGl0eSB0eXBlLiAgQWxtb3N0IHdpdGhvdXQgZXhjZXB0aW9uLA0K ICAgID4gd2hlbmV2ZXIgYSBtYXRoZW1hdGljYW4gd29ya2luZyBpbmZvcm1hbGx5IHNheXMgImVx dWFscyIsIHRoYXQgKm11c3QqDQogICAgPiBiZSBmb3JtYWxpemVkIGFzIHJlZmVycmluZyB0byB0 aGUgaWRlbnRpdHkgdHlwZS4gIEFzayBhbnkNCiAgICA+IG1hdGhlbWF0aWNpYW4gb24gdGhlIHN0 cmVldCB3aGV0aGVyIHgreT15K3ggZm9yIGFsbCBuYXR1cmFsIG51bWJlcnMgeA0KICAgID4gYW5k IHksIGFuZCB0aGV5IHdpbGwgc2F5IHllcy4gIEJ1dCB0aGlzIGlzIGZhbHNlIGlmID0gbWVhbnMg anVkZ21lbnRhbA0KICAgID4gZXF1YWxpdHkuICBKdWRnbWVudGFsIGVxdWFsaXR5IGlzIGEgdGVj aG5pY2FsIG9iamVjdCBvZiB0eXBlIHRoZW9yeQ0KICAgID4gdGhhdCB0aGUgImdlbmVyaWMgbWF0 aGVtYXRpY2lhbiIgaXMgbm90IGF3YXJlIG9mIGF0IGFsbCwgc28gaXQgY2Fubm90DQogICAgPiBj by1vcHQgdGhlIHN0YW5kYXJkIG5vdGF0aW9uICI9IiBvciB3b3JkICJlcXVhbHMiIGlmIHdlIHdh bnQgImluZm9ybWFsDQogICAgPiB0eXBlIHRoZW9yeSIgdG8gYmUgYXQgYWxsIGNvbXByZWhlbnNp YmxlIHRvIHN1Y2ggcmVhZGVycy4NCiAgICA+IA0KICAgID4gDQogICAgPiBPbiBXZWQsIE1heSA2 LCAyMDIwIGF0IDEyOjAxIFBNIFN0ZXZlIEF3b2RleSA8YXdvLi4uQGNtdS5lZHU+IHdyb3RlOg0K ICAgID4+IA0KICAgID4+IERlYXIgQW5kcmXigJkgKGFuZCBhbGwpLA0KICAgID4+IA0KICAgID4+ IFRoZSBzaWduIGEgPSBiIGlzIHByZXR0eSB3ZWxsIGVzdGFibGlzaGVkIGluIG1hdGhlbWF0aWNz IGFzIG1lYW5pbmcg4oCcYSBlcXVhbHMgYuKAnSwNCiAgICA+PiB3aGljaCBkb2VzIGluZGVlZCBj bGFzaCB3aXRoIG91ciBjaG9pY2UgaW4gdGhlIGJvb2sgdG8gdXNlIGl0IGZvciB0aGUgaWRlbnRp dHkgdHlwZSwNCiAgICA+PiBhbmQgdG8gY2FsbCB0aGUgZWxlbWVudHMgb2YgdGhpcyB0eXBlIOKA nGlkZW50aWZpY2F0aW9uc+KAnS4NCiAgICA+PiBUaG9yc3RlbiBoYXMgcmlnaHRseSBwb2ludGVk IG91dCB0aGlzIGNsYXNoLg0KICAgID4+IA0KICAgID4+IEFsdGhvdWdoIEkgYW0gcGVyc29uYWxs eSBub3QgZWFnZXIgdG8gbWFrZSBhbnkgY2hhbmdlcyBpbiBvdXIgY3VycmVudCB0ZXJtaW5vbG9n eSBhbmQvb3Igbm90YXRpb24sDQogICAgPj4gSeKAmW0gY2VydGFpbmx5IGdsYWQgdG8gY29uc2lk ZXIgdGhlIHBvc3NpYmlpeQ0KICAgID4+ICh3ZSBkaWQgYWdyZWUgdG8gcmV0dXJuIHRvIHRoaXMg cXVlc3Rpb24gYXQgc29tZSBwb2ludCwgc28gbWF5YmUgdGhpcyBpcyBpdCA6IC0gKS4NCiAgICA+ PiANCiAgICA+PiBXZSBuZWVkIGJvdGggc3ltYm9scyBhbmQgd29yZHMgZm9yIHR3byBub3Rpb25z Og0KICAgID4+IA0KICAgID4+IC0ganVkZ2VtZW50YWwgZXF1YWxpdHksIGN1cnJlbnRseSBhXGVx dWl2IGIsDQogICAgPj4gLSBwcm9wb3NpdGlvbmFsIGVxdWFsaXR5LCBjdXJyZW50bHkgYSA9IGIs IHNob3J0IGZvciBJZChhLGIpLg0KICAgID4+IA0KICAgID4+IFRoZXJlIHNlZW1zIHRvIGJlIGEg cHJvcG9zYWwgdG8gcmV2aXNlIHRoaXMgdG8gc29tZXRoaW5nIGxpa2U6DQogICAgPj4gDQogICAg Pj4gLSBqdWRnZW1lbnRhbCBlcXVhbGl0eTogd3JpdHRlbiBhID0gYiBhbmQgcHJvbm91bmNlZCDi gJxhIGVxdWFscyBi4oCdLA0KICAgID4+IC0gcHJvcG9zaXRpb25hbCBlcXVhbGl0eSwgd3JpdHRl biBtYXliZSBhIFxjb25nIGIsIGFuZCBwcm9udW5jZWQg4oCdYSBpc28gYuKAnSwNCiAgICA+PiAo dGhlIGVsZW1lbnRzIG9mIHRoaXMgdHlwZSBhcmUgY2FsbGVkIOKAnGlzb3MiKS4NCiAgICA+PiAN CiAgICA+PiBBbm90aGVyIChwYXJ0aWFsKSBvcHRpb24gd291bGQgYmU6DQogICAgPj4gDQogICAg Pj4gLSBqdWRnZW1lbnRhbCBlcXVhbGl0eTogd3JpdHRlbiBhID0gYiBhbmQgcHJvbm91bmNlZCDi gJxhIGVxdWFscyBi4oCdLA0KICAgID4+IC0gcHJvcG9zaXRpb25hbCBlcXVhbGl0eSwgd3JpdHRl biBJZChhLGIpIGFuZCBzaG9ydGVuZWQgc29tZWhvdyBhID8gYiwNCiAgICA+PiBhbmQgcHJvbnVu Y2VkIOKAnWEgaWRlbml0ZmllZCB3aXRoIGLigJ0NCiAgICA+PiAodGhlIGVsZW1lbnRzIG9mIHRo aXMgdHlwZSBhcmUgY2FsbGVkIOKAnGlkZW50aWZpY2F0aW9ucyIpLg0KICAgID4+IA0KICAgID4+ IERvIGVpdGhlciBvZiB0aGVzZSBzZWVtIHByZWZlcmFibGU/DQogICAgPj4gQXJlIHRoZXJlIG90 aGVyIHByb3Bvc2Fscz8NCiAgICA+PiBBbmQgaG93IHNob3VsZCBvbmUgZGVjaWRlPw0KICAgID4+ IA0KICAgID4+IFJlZ2FyZHMsDQogICAgPj4gDQogICAgPj4gU3RldmUNCiAgICA+PiANCiAgICA+ PiANCiAgICA+PiANCiAgICA+PiANCiAgICA+PiANCiAgICA+PiBPbiBNYXkgNiwgMjAyMCwgYXQg MTI6MDIgUE0sIEpveWFsLCBBbmRyw6kgPGpveWFsLi4uQHVxYW0uY2E+IHdyb3RlOg0KICAgID4+ IA0KICAgID4+IERlYXIgYWxsLA0KICAgID4+IA0KICAgID4+IEEgZmV3IG1vcmUgdGhvdWdodHMu DQogICAgPj4gV2UgYWxsIGFncmVlIHRoYXQgdGVybWlub2xvZ3kgYW5kIG5vdGF0aW9uIGFyZSBp bXBvcnRhbnQuDQogICAgPj4gDQogICAgPj4gSSBsb3ZlIHRoZSBzdG9yeSBvZiB0aGUgZXF1YWxp dHkgc2lnbiA9IGludHJvZHVjZWQgYnkgUm9iZXJ0IFJlY29yZGUgKDE1MTItMTU1OCkuDQogICAg Pj4gImJlY2F1c2Ugbm8gdHdvIHRoaW5ncyBjYW4gYmUgbW9yZSBlcXVhbCB0aGFuIGEgcGFpciBv ZiBwYXJhbGxlbCBsaW5lcyIuDQogICAgPj4gSXQgdG9vayBtb3JlIHRoYW4gYSBjZW50dXJ5IGJl Zm9yZSBiZWVuIHVuaXZlcnNhbGx5IGFkb3B0ZWQuDQogICAgPj4gUmVuw6kgRGVzY2FydGVzICgx NTk2LTE2NTApIHVzZWQgYSBkaWZmZXJlbnQgc3ltYm9sICBpbiBoaXMgd29yayAoc29tZXRoaW5n IGxpa2UgXGFscGhhKS4NCiAgICA+PiBXZSBtYXkgYXNrIHdoeSBSZWNvcmRlJ3Mgbm90YXRpb24g d29uIG92ZXIgRGVzY2FydGVzJ3Mgbm90YXRpb24/DQogICAgPj4gT2YgY291cnNlLCB3ZSBtYXkg bmV2ZXIga25vdy4NCiAgICA+PiBJIGRhcmUgdG8gc2F5IHRoYXQgUmVjb3JkZSdzIG5vdGF0aW9u IHdhcyAqYmV0dGVyKi4NCiAgICA+PiBBbW9uZyBvdGhlciB0aGluZ3MsIHRoZSBlcXVhbGl0eSBz aWduID0gaXMgc3ltbWV0cmljOg0KICAgID4+IHRoZSBleHByZXNzaW9uIGE9YiBhbmQgYj1hIGFy ZSBtaXJyb3IgaW1hZ2Ugb2YgZWFjaCBvdGhlci4NCiAgICA+PiBSZWNvcmRlJ3MgbW90aXZlIGZv ciBpbnRyb2R1Y2luZyB0aGUgbm90YXRpb24gd2FzIG1vcmUgYWJvdXQNCiAgICA+PiBjb252ZW5p ZW5jZSBhbmQgYWVzdGhldGljIHRoYW4gYWJvdXQgcGhpbG9zb3BoeSBhbmQgaGlzdG9yeS4NCiAg ICA+PiBUaGUgbm90YXRpb24gd2FzIGdyYWR1YWxseSBhZG9wdGVkIGJlY2F1c2UgaXQgaXMgc2lt cGxlIGFuZCB1c2VmdWwuDQogICAgPj4gSXQgd2FzIG5vdCBiZWNhdXNlIFJlY29yZGUgd2FzIGEg cG93ZXJmdWwgYWNhZGVtaWMsDQogICAgPj4gc2luY2UgaGUgZXZlbnR1YWxseSBkaWVkIGluIHBy aXNvbi4NCiAgICA+PiANCiAgICA+PiBUaGVyZSBpcyBzb21ldGhpbmcgdG8gbGVhcm4gZnJvbSB0 aGUgaGlzdG9yeSBvZiB0aGUgZXF1YWxpdHkgc2lnbi4NCiAgICA+PiBJIGd1ZXNzIHRoYXQgaXQg Y2FuIGFsc28gYXBwbGllZCB0byB0ZXJtaW5vbG9neS4NCiAgICA+PiBBIG5ldyBub3RhdGlvbiBv ciB0ZXJtaW5vbG9neSBoYXMgYSBnb29kIGNoYW5jZSB0byBiZSBhZG9wdGVkIHVuaXZlcnNhbGx5 DQogICAgPj4gaWYgaXQgaXMgc2ltcGxlIGFuZCB1c2VmdWwsIGJ1dCBpdCBtYXkgdGFrZSB0aW1l Lg0KICAgID4+IA0KICAgID4+IEFuZHLDqQ0KICAgID4+IF9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fDQogICAgPj4gRnJvbTogaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gW2hv bW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tXSBvbiBiZWhhbGYgb2YgQW5zdGVuIE3DuHJjaCBL bGV2IFthbnN0ZS4uLkBnbWFpbC5jb21dDQogICAgPj4gU2VudDogVHVlc2RheSwgTWF5IDA1LCAy MDIwIDQ6NDcgQU0NCiAgICA+PiBUbzogSG9tb3RvcHlULi4uQGdvb2dsZWdyb3Vwcy5jb20NCiAg ICA+PiBTdWJqZWN0OiBbSG9UVF0gSWRlbnRpdHkgdmVyc3VzIGVxdWFsaXR5DQogICAgPj4gDQog ICAgPj4gVGhlIGRpc2N1c3Npb24geWVzdGVyZGF5IHByb3ZpZGVzIGEgZ29vZCBvY2Nhc2lvbiBm b3IgbWUgdG8gcG9zZSBhIHF1ZXN0aW9uIEkgaGF2ZSBsb25nIHdhbnRlZCB0byBwdXQgdG8gdGhp cyBsaXN0OiBpcyB0aGVyZSBhIGNvbnZlbnRpb24gZ2VuZXJhbGx5IGFncmVlZCB1cG9uIGluIHRo ZSBIb1RULWNvbW11bml0eSBmb3Igd2hlbiAoaWYgZXZlcikgdG8gdXNlICdpZGVudGl0eScgaW5z dGVhZCBvZiAnZXF1YWxpdHknPw0KICAgID4+IA0KICAgID4+IEhlcmUgYXJlIHNvbWUgcmVsZXZh bnQgZGF0YS4NCiAgICA+PiANCiAgICA+PiBBIEdlcm1hbmljIGVxdWl2YWxlbnQgZm9yICdpZGVu dGl0eScgaXMgJ3NhbWVuZXNzJy4NCiAgICA+PiBBIEdlcm1hbmljIGVxdWl2YWxlbnQgZm9yICdl cXVhbGl0eScgaXMgJ2xpa2VuZXNzJy4NCiAgICA+PiANCiAgICA+PiBGb3IgQXJpc3RvdGxlIGVx dWFsaXR5IG1lYW5zIHNhbWVuZXNzIG9mIHF1YW50aXR5LiBUaGlzIGlzIGhvdyBvbmUgbXVzdCB1 bmRlcnN0YW5kICdlcXVhbCcgaW4gRXVjbGlkJ3MgRWxlbWVudHMsIHdoZXJlIGEgdHJpYW5nbGUg bWF5IGhhdmUgYWxsIHNpZGVzIGVxdWFsIChjbGVhcmx5LCB0aGV5IGNhbm5vdCBiZSBpZGVudGlj YWwpLiBUaGUgYXhpb20gaW4gdGhlIEVsZW1lbnRzIHRoYXQgaGFzIGdpdmVuIHJpc2UgdG8gdGhl IHRlcm0gJ0V1Y2xpZGVhbiByZWxhdGlvbicgYW5kIHdoaWNoIGlzIGFwcGVhbGVkIHRvIGluIEVs ZW1lbnRzIEkuMSBpcyBwaHJhc2VkIGluIHRlcm1zIG9mICdlcXVhbCcgcmF0aGVyIHRoYW4gJ2lk ZW50aWNhbCcuDQogICAgPj4gDQogICAgPj4gSW4gRGlvcGhhbnR1cydzIEFyaXRobWV0aWNhLCBv biB0aGUgb3RoZXIgaGFuZCwgdGhlIHR3byB0ZXJtcyBvZiBhbiBlcXVhdGlvbiBhcmUgc2FpZCB0 byBiZSBlcXVhbCwgbm90IGlkZW50aWNhbCwgYW5kIHRoaXMgd291bGQgYmVjb21lIHRoZSBzdGFu ZGFyZCB0ZXJtaW5vbG9neSBpbiBhbGdlYnJhLiBGb3IgaW5zdGFuY2UsIHRoZSBzaWduICc9JyB3 YXMgaW50cm9kdWNlZCBieSBSb2JlcnQgUmVjb3JkZSBhcyBhIHNpZ24gb2YgZXF1YWxpdHksIG5v dCBhcyBhIHNpZ24gb2YgaWRlbnRpdHkuIFRoZSBleHBsYW5hdGlvbiBmb3IgdGhpcyBhcHBhcmVu dCBkaXNjcmVwYW5jeSB3aXRoIHRoZSBBcmlzdG90ZWxpYW4vRXVjbGlkZWFuIHRlcm1pbm9sb2d5 IG1pZ2h0IGJlIHRoYXQgd2hlbiBkZWFsaW5nIHdpdGggbnVtYmVycywgZXF1YWxpdHkganVzdCBp cyBpZGVudGl0eSwgc2luY2UgZm9yIHR3byBudW1iZXJzIHRvIGJlIGlkZW50aWNhbCBhcyB0byBt YWduaXR1ZGUganVzdCBpcyBmb3IgdGhlbSB0byBiZSB0aGUgc2FtZSBudW1iZXIuIEFyaXN0b3Rs ZSBzYXlzIGFzIG11Y2ggaW4gTWV0YXBoeXNpY3MgTS43Lg0KICAgID4+IA0KICAgID4+IEhpbGJl cnQgYW5kIEJlcm5heXMgbWlnaHQgYmUgb25lIG9mIHRoZSBmZXcgbG9naWMgYm9va3MgaW4gdGhl IG1vZGVybiBlcmEgdG8gZGlzdGluZ3Vpc2ggZXF1YWxpdHkgZnJvbSBpZGVudGl0eSAodm9sdW1l IEksIGNoYXB0ZXIgNSkuICdFcXVhbGl0eScgaXMgdGhlcmUgdXNlZCBmb3IgYW55IGVxdWl2YWxl bmNlIHJlbGF0aW9uIGFuZCBnbG9zc2VkIGFzIHRoZSBvYnRhaW5pbmcgb2YgImlyZ2VuZGVpbmUg QXJ0IHZvbiDDnGJlcmVpbnN0aW1tdW5nIi4gSWRlbnRpdHksIGJ5IGNvbnRyYXN0LCBpcyAiw5xi ZXJlaW5zdGltbXVuZyBpbiBqZWRlciBIaW5zaWNodCIsIGFzIGV4cHJlc3NlZCBieSBpbmRpc2Nl cm5pYmlsaXR5IHdpdGhpbiB0aGUgZ2l2ZW4gbGFuZ3VhZ2UuDQogICAgPj4gDQogICAgPj4gRnJl Z2UsIGJ5IGNvbnRyYXN0LCBleHBsaWNpdGx5IGlkZW50aWZpZXMgKHNpYyEpIGVxdWFsaXR5IHdp dGggaWRlbnRpdHksIGFuZCBnbG9zc2VzIHRoZSBsYXR0ZXIgYXMgc2FtZW5lc3Mgb3IgY29pbmNp ZGVuY2UsIGluIHRoZSBmaXJzdCBmb290bm90ZSB0byBoaXMgcGFwZXIgb24gc2Vuc2UgYW5kIHJl ZmVyZW5jZS4gIEtsZWVuZSBhbmQgQ2h1cmNoIGRvIHRoZSBzYW1lIGluIHRoZWlyIGZhbW91cyB0 ZXh0Ym9va3M6IGlmIG9uZSBsb29rcyB1bmRlciAnaWRlbnRpdHknIGluIHRoZSBpbmRleCB0byBh bnkgb2YgdGhvc2UgYm9va3Mgb25lIGlzIHJlZmVycmVkIHRvICdlcXVhbGl0eScuDQogICAgPj4g DQogICAgPj4gQ2xlYXJseSB0aGUgdHdvIGNhbm5vdCBiZSBhc3N1bWVkIHRvIG1lYW4gdGhlIHNh bWUgYnkgYW5hbHlzdHMgd2hvIHNwZWFrIG9mIHR3byBmdW5jdGlvbnMgYmVpbmcgaWRlbnRpY2Fs bHkgZXF1YWwhDQogICAgPj4gDQogICAgPj4gLS0NCiAgICA+PiBZb3UgcmVjZWl2ZWQgdGhpcyBt ZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJI b21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQogICAgPj4gVG8gdW5zdWJzY3JpYmUgZnJvbSB0 aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFp bCB0byBIb21vdG9weVQuLi5AZ29vZ2xlZ3JvdXBzLmNvbS4NCiAgICA+PiBUbyB2aWV3IHRoaXMg ZGlzY3Vzc2lvbiBvbiB0aGUgd2ViIHZpc2l0IGh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9t c2dpZC9Ib21vdG9weVR5cGVUaGVvcnkvQ0FKSFp1cVlMWS1fREI5dWgtMEZXMGpyMktTb1ElMkJw d1JHRDBQUGpxJTJCeHlRdmFKRk4yQSU0MG1haWwuZ21haWwuY29tLg0KICAgID4+IA0KICAgID4+ IC0tDQogICAgPj4gWW91IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNhdXNlIHlvdSBhcmUgc3Vi c2NyaWJlZCB0byB0aGUgR29vZ2xlIEdyb3VwcyAiSG9tb3RvcHkgVHlwZSBUaGVvcnkiIGdyb3Vw Lg0KICAgID4+IFRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBhbmQgc3RvcCByZWNlaXZp bmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8gSG9tb3RvcHlULi4uQGdvb2dsZWdy b3Vwcy5jb20uDQogICAgPj4gVG8gdmlldyB0aGlzIGRpc2N1c3Npb24gb24gdGhlIHdlYiB2aXNp dCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2QvbXNnaWQvSG9tb3RvcHlUeXBlVGhlb3J5LzhD NTc4OTRDNzQxM0YwNEE5OERERjU2MjlGRUM5MEIxNjUyRjUxNUUlNDBQbGkuZ3N0LnVxYW0uY2Eu DQogICAgPj4gDQogICAgPj4gDQogICAgPj4gLS0NCiAgICA+PiBZb3UgcmVjZWl2ZWQgdGhpcyBt ZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJI b21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQogICAgPj4gVG8gdW5zdWJzY3JpYmUgZnJvbSB0 aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFp bCB0byBIb21vdG9weVQuLi5AZ29vZ2xlZ3JvdXBzLmNvbS4NCiAgICA+PiBUbyB2aWV3IHRoaXMg ZGlzY3Vzc2lvbiBvbiB0aGUgd2ViIHZpc2l0IGh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9t c2dpZC9Ib21vdG9weVR5cGVUaGVvcnkvMDUzNzUwNTctODgzRi00NDg3LTg5MTktMjU3OUY1Nzcx QUZDJTQwY211LmVkdS4NCiAgICA+IA0KICAgID4gLS0gDQogICAgPiBZb3UgcmVjZWl2ZWQgdGhp cyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBz ICJIb21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQogICAgPiBUbyB1bnN1YnNjcmliZSBmcm9t IHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuIGVt YWlsIHRvIEhvbW90b3B5VC4uLkBnb29nbGVncm91cHMuY29tLg0KICAgID4gVG8gdmlldyB0aGlz IGRpc2N1c3Npb24gb24gdGhlIHdlYiB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2Qv bXNnaWQvSG9tb3RvcHlUeXBlVGhlb3J5L0NBT3ZpdlF3VFI0cUswOTQlMkJrbWdqJTNEMjU0N1V4 R2dtYmpXOWs1TWdMZSUyQm5lOXhQZWYzdyU0MG1haWwuZ21haWwuY29tLg0KDQogICAgLS0gDQog ICAgWW91IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNhdXNlIHlvdSBhcmUgc3Vic2NyaWJlZCB0 byB0aGUgR29vZ2xlIEdyb3VwcyAiSG9tb3RvcHkgVHlwZSBUaGVvcnkiIGdyb3VwLg0KICAgIFRv IHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZy b20gaXQsIHNlbmQgYW4gZW1haWwgdG8gSG9tb3RvcHlULi4uQGdvb2dsZWdyb3Vwcy5jb20uDQog ICAgVG8gdmlldyB0aGlzIGRpc2N1c3Npb24gb24gdGhlIHdlYiB2aXNpdCBodHRwczovL2dyb3Vw cy5nb29nbGUuY29tL2QvbXNnaWQvSG9tb3RvcHlUeXBlVGhlb3J5LzM1RDUzQTc5LTU2QzAtNDJG Ny1BNThGLTYwNTJDRTI2RkE4NyU0MGNtdS5lZHUuDQoNCgoKClRoaXMgbWVzc2FnZSBhbmQgYW55 IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3IgdGhlIGFkZHJlc3NlZQphbmQgbWF5 IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSByZWNlaXZlZCB0 aGlzCm1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBjb250YWN0IHRoZSBzZW5kZXIgYW5kIGRlbGV0 ZSB0aGUgZW1haWwgYW5kCmF0dGFjaG1lbnQuIAoKQW55IHZpZXdzIG9yIG9waW5pb25zIGV4cHJl c3NlZCBieSB0aGUgYXV0aG9yIG9mIHRoaXMgZW1haWwgZG8gbm90Cm5lY2Vzc2FyaWx5IHJlZmxl Y3QgdGhlIHZpZXdzIG9mIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0uIEVtYWlsCmNvbW11 bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSBtYXkgYmUgbW9uaXRv cmVkIAp3aGVyZSBwZXJtaXR0ZWQgYnkgbGF3LgoKCgoK