From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:adf:cd83:: with SMTP id q3mr713663wrj.187.1589111179908; Sun, 10 May 2020 04:46:19 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:210b:: with SMTP id u11ls302641wml.1.gmail; Sun, 10 May 2020 04:46:18 -0700 (PDT) X-Received: by 2002:a1c:1f83:: with SMTP id f125mr6516115wmf.5.1589111178445; Sun, 10 May 2020 04:46:18 -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 u16si843256wmd.2.2020.05.10.04.46.18 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 10 May 2020 04:46:18 -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 2E56C6CE4DC_EB7E98AB for ; Sun, 10 May 2020 11:46:18 +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 A9EDF6CD946_EB7E989F for ; Sun, 10 May 2020 11:46:17 +0000 (GMT) Received: from uiwexedg02.ad.nottingham.ac.uk ([10.159.172.14]) by smtp4.nottingham.ac.uk with esmtp (Exim 4.85) (envelope-from ) id 1jXkPR-0002IN-KM; Sun, 10 May 2020 12:46:17 +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; Sun, 10 May 2020 12:46:17 +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; Sun, 10 May 2020 12:46:17 +0100 Received: from UiWexEDG01.ad.nottingham.ac.uk (10.159.172.13) 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; Sun, 10 May 2020 12:46:17 +0100 Received: from EUR05-DB8-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; Sun, 10 May 2020 12:46:17 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=MtASkZDadT8q4xUN0A+NJ5OAbuJObiIGXcc6YDhu1OEH3m+sq3eawF138YZxcGMCISV3OBP+d4TiXob4xiy/zIVoY1Zt8/9I60F3AK1f89jmVe2Zw/1cwksp5JtLjZVOEKObbIyjlg1z0UbpbVuzaBi1hU2IPTR1uxL9Z7NeYMdoh9HDtnWdDrNdla/DjYnBImhiW34VyFT8STkklieN5s0DxOxTxTSNLKSjcPxtZj7su59gZD8zMjbqOI42FW/OUZH65oo4dqPrh7lQkqo07pLijmagSQjSBvgTWoazqkeQfGaeZzJHMPTO7b24fQVvAKrg/b9ZRciD6S/YtDRO7g== 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=afrIwfx8wPhW/Wx1LF7+RGnuqgKYoSloK/7dvCv4wYw=; b=XrCCkxWkV1ZmYFl5VYVk5YH8JcXMTawMX35N1AT+ngRr2UQ72Ll5yUqJAXUuyCkanYIT13IZhLD3JcLgpPsFoZZcRJdCj9B92WxCiwXeRIYc7TXgKdnaErzXQSo9h0I++N8XW5lMkJn8zgtQSlfekSuZW3N7v+/1u5fpO48biVnbiLmxfec4v3qv9lxx84eAlhpjnerV3OQ4gAEG4zrJOFfQKWQNgMJB/JmDjiXz8AJJaemkuTL8yISWeubenWtePJH6xOBAnuIBHZwkrUjtnIGm6zJaZSLZKSuEdIkzdEWtKwedj8UA1KsejvpQEddimNiRDoso5UCSX00mAQRXYg== 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 (20.178.86.216) by AM6PR06MB4771.eurprd06.prod.outlook.com (20.177.188.21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2979.33; Sun, 10 May 2020 11:46:14 +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.033; Sun, 10 May 2020 11:46:14 +0000 From: Thorsten Altenkirch To: Jon Sterling , "'Martin Escardo' via Homotopy Type Theory" Subject: Re: [HoTT] Identity versus equality Thread-Topic: [HoTT] Identity versus equality Thread-Index: AQHWIrn+BFzsbNwSEEa9XfXV/1cG1qibOgWAgAAyGYCAAAS1AIAATROA///484CAAI5iAIAAJIIAgABlowCAAFujgIAAIkaAgAADnYCAAHDSgIAA8f+AgAC+d4CAAHxwAIAAL1GAgAAahQCAABNRAIABAL6A Date: Sun, 10 May 2020 11:46:13 +0000 Message-ID: <154D1B4B-6881-4269-8BA1-1CE8EBB0BE0D@nottingham.ac.uk> References: <67E9DCCA-F9CA-45B7-9AC8-E5A7E94FE9A9@nottingham.ac.uk> <20200507100930.GA9390@mathematik.tu-darmstadt.de> <8C57894C7413F04A98DDF5629FEC90B1652F5334@Pli.gst.uqam.ca> <8C57894C7413F04A98DDF5629FEC90B1652F53A3@Pli.gst.uqam.ca> <20200508064039.GC21473@mathematik.tu-darmstadt.de> <8C57894C7413F04A98DDF5629FEC90B1652F54CC@Pli.gst.uqam.ca> <20200509082829.GA8417@mathematik.tu-darmstadt.de> <8C57894C7413F04A98DDF5629FEC90B1652F55C8@Pli.gst.uqam.ca> <20200509184313.GB28841@mathematik.tu-darmstadt.de> <8C57894C7413F04A98DDF5629FEC90B1652F563A@Pli.gst.uqam.ca> 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: jonmsterling.com; dkim=none (message not signed) header.d=none;jonmsterling.com; 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: ee33bae6-b8a7-408d-9b0d-08d7f4d7be24 x-ms-traffictypediagnostic: AM6PR06MB4771: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 039975700A x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: kYEmwbSKr2uXv9HDcQEGsR0IzuAe0GchMf1+bMjE9Ll4fDGgSBBFK8z6fdVWlBwVb62w1zW8tSwcN/OSD3wmr4SfnwhU5DRIO7jvWx9g+w4tRhB1X2KZw5UnIa83622G+xGVD5VgYwqgbNWa76icv4C81R0svFd385HR1/gJ1b/iqiY31pphApQDMUnBu61k030w2qhamzmfU4SKAx3QQXaF9EsuCgzok+dwaMRLZGds+BdLaRMzSfFD++8UG2FcSptyz+qiroHBkyNh4DULATW3Rf4JL/zpJwWBa/zon1SzOjtqbWR8Sy6Tf5HwzNvKHHYtt2IbIzk5f5KOdMO8QoHKWj6O1Xy24vc4fDiwmIDpndpw5x9gP3H4YnDrjxA5OGeNG4+4M5WlOl0eSSbg3NazGODJXg0ky6YjIDEY7E86xuDBKgeZ/5v5W9m+Qgc6s8cF3TyvAwbQMMPcCcrVSFY5rKvc4moFPcAyEYTeOSMQs3Fy6hJXWFQiKQ/PwA6VhlQRxEPmRgBsI7CEd33yHDsmn6m2CWlAEn1HyqZNoAxzhDIw+dHB61xR/9f/yxp3lqGgwAnxd+MB6DwzZvzEpC26bvMYHqkomuk5qOL8Soo= 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)(136003)(376002)(366004)(346002)(396003)(33430700001)(5660300002)(2906002)(186003)(26005)(6506007)(71200400001)(55236004)(33656002)(53546011)(9686003)(6512007)(6486002)(76116006)(786003)(8676002)(91956017)(110136005)(8936002)(478600001)(66946007)(86362001)(316002)(966005)(33440700001)(66476007)(66556008)(64756008)(66446008)(36756003);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata: YL2c8fBsQcuFqJdDcEoUJaFRiFr9pHBBJIU1o/13Ecja7SiXd4JHB5PZIPXzlhJmIaBf0KkpqjO43a5pz99Cbfp0tXlZ39qg/Uo/cXxf0Gx3fGSNRmVqJSKFfnFat+hdQHMb+qR3LNRH9qLqYERgLSbfZkSA8y903tb1aPJadw2IPE75YH/RGKkorJ7vrbj05es0RURSZgR3INpqgrZmi7iy3VDQdRazQZtYdM1Fsx4iPqdoZJwvTEFrDDYHPtGGheXurLl7x0mQbLTTnbVWcgGw16ifXxK5Tw9/R8QR+CFfmk4dBjknkP5/SEldqHkvBFA4cG+4QmAuD4YUuaKSt8DBKJds/zA9uFuqJFo42uYK19rKivaD8nG409mPICwTSfIZq8sRBNQsqIG8a73YwkbCPDxjKO7wk1r6QweznTxbRQtXi7qt2XSKpJfKdTQbrHgaZppeOxvCMFXAfHlLZa+k+Ake13e0PxK2je3usfI= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="utf-8" Content-ID: <98F6C6E4E723FD45...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: ee33bae6-b8a7-408d-9b0d-08d7f4d7be24 X-MS-Exchange-CrossTenant-originalarrivaltime: 10 May 2020 11:46:14.0331 (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: Xmp7fQPz1wF3+xifjplAETjN1fxmV+PdgobR4ZyFk3/TO8CKH0DlFHWUslBXtG3oagDBhkKN3cxx6XoHhh3Griu8INO/j0pq9jfUNZwaZpEBvzyhykjWIKTNDjc26Lpt X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM6PR06MB4771 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size X-SASI-RCODE: 200 SGkgSm9uLA0KDQpJIGp1c3QgaGFkIGFuIGV4Y2hhbmdlIHdpdGggQW5kcmUgcmVnYXJkaW5nIHRo aXMgd2hpY2ggSSBmb3Jnb3QgdG8gY2MgdG8gdGhlIGxpc3QuDQoNCkRlZmluaW5nIHNpbXBsaWNp YWwgdHlwZXMgaXNuJ3QgZW50aXJlbHkgc3RyYWlnaHRmb3J3YXJkIChhcyB5b3Uga25vdyBJIHN1 cHBvc2UpLCBiZWNhdXNlIERlbHRhIGlzIG5vdCBkaXJlY3RlZC4gV2UgY2FuIGRvIHNlbWktc2lt cGxpY2lhbCB0eXBlcyBhcyBhIFJlZWR5IGxpbWl0LCBpLmUuIGFuIGluZmluaXRlIFNpZ21hIHR5 cGUgKGFjdHVhbGx5IHlvdSBjYW4gZG8gaXQgYXMgYSBjb2luZHVjdGl2ZSBkZWZpbml0aW9uKS4g WW91IG5lZWQgc29tZSBleHRyYSBwcmluY2lwbGVzLCBlLmcuIHRoYXQgc3RyaWN0IE5hdCBpcyBm aWJyYW50IG9yIG1heWJlIGJldHRlciB0aGF0IGNlcnRhaW4gY29pbmR1Y3RpdmUgdHlwZXMgZXhp c3QuIA0KDQpIb3dldmVyLCBwcmVzaGVhdmVzIG92ZXIgRGVsdGEgY2Fubm90IGJlIHdyaXR0ZW4g YXMgYSBSZWVkeSBsaW1pdC4gTm93IHRoZXJlIGFyZSBhIG51bWJlciBvZiB3YXlzIHRvIGFkZHJl c3MgdGhpcy4gV2UgY2FuIHdvcmsgd2l0aCBzZW1pLXNpbXBsaWNpYWwgc2V0cyBhbmQgYWRkIEhv cm5maWxsZXJzIGJ5IHN0YXRpbmcgZXF1aXZhbGVuY2VzICh0aGVyZSBpcyBubyBjb2hlcmVuY2Ug cHJvYmxlbSBiZWNhdXNlIHRoZXNlIGFyZSBwcm9wb3NpdGlvbmFsKS4gVG8gcmVnYWluIGlkZW50 aXRpZXMgd2UgY2FuIGFkZCB0aGUgYXNzdW1wdGlvbiB0aGF0IHRoZSBoaWdoZXIgY2F0ZWdvcnkg aXMgdW5pdmFsZW50IChpLmUuIGZvciBldmVyeSBvYmplY3QgdGhlIHR5cGUgb2Ygb2JqZWN0cyBw YWlyZWQgd2l0aCBhbiBlcXVpdmFsZW5jZSBpcyBjb250cmFjdGlibGUpIHdoaWNoIGVudGFpbHMg dGhlIGV4aXN0ZW5jZSBvZiBkZWdlbmVyYWNpZXMuIA0KDQpUaGUgcXVlc3Rpb24gb2YgaG93IHRv IGRlZmluZSBzaW1wbGljaWFsIHR5cGVzIHJlbWFpbnMgaG93ZXZlci4gSSBmaW5kIHRoYXQgbG9v a2luZyBhdCB0aGUgbG93ZXIgbGV2ZWxzIG9mIHNpbXBsaWNpYWwgcHJlc2hlYXZlcyBpdCBpcyBh Y3R1YWxseSBzdHJhbmdlIHRoYXQgYmluYXJ5IGNvbXBvc2l0aW9uIGlzIGhhbmRsZWQgdmlhIGhv cm4tZmlsbGVycyB3aGxsZSBpZGVudGl0eSwgaS5lLiBudWxsYXJ5IGNvbXBvc2l0aW9uLCBpcyBi dWlsdCBpbnRvIHRoZSBzdHJ1Y3R1cmUuIE1heWJlIHdlIHNob3VsZCB0cmVhdCBpZGVudGl0eSBp biB0aGUgc2FtZSB3YXkgYXMgY29tcG9zaXRpb24sIHdoaWNoIG1lYW5zIHRoYXQgd2UgaW50cm9k dWNlIGEgZmFtaWx5IG1vZGVsbGluZyBkZWdlbmVyYWNpZXMuIA0KDQpXaGF0IEkgbWVhbiBpcyB0 aGF0IGlmIHdlIHdyaXRlIGRvd24gdGhlIGZpcnN0IGxldmVscyBvZiBhIHNlbWlzaW1wbGljaWFs IHR5cGUgd2UgaGF2ZQ0KDQpYMCA6IFUNClgxIDogWDAgLT4gWDAgLT4gVQ0KWDIgOiAoeDAseDEs eDIgOiBYMCkgLT4gWDAgeDAgeDEgLT4gWDAgeDEgeDIgLT4gWDAgeDAgeDIgLT4gVQ0KDQpCdXQg d2UgY2FuIGFkZCBkZWdlbmVyYWNpZXMgYnkgYWRkaW5nIGZhbWlsaWVzIHdoaWNoIHNheSB0aGF0 IHNvbWUgb2JqZWN0IGlzIGEgZGVnZW5lcmFjeToNCg0KSTAgOiAoeDAgOiBYMCkgLT4gWDEgeDAg eDAgLT4gVQ0KSTFfMCA6ICh4MCB4MSA6IFgwKShmIDogWDEgeDAgeDEpKGkgOiBYMSB4MCB4MCkg LT4gSTAgeDAgaSAtPiBYMiB4MCB4MSB4MSBpIGYgZiAtPiBVDQpJMV8xIDogKHgwIHgxIDogWDAp KGYgOiBYMSB4MCB4MSkoaSA6IFgxIHgxIHgxKSAtPiBJMCB4MSBpIC0+IFgyIHgwIHgwIHgxIGYg aSBmIC0+IFUNCg0KVGhhdCBpcyB3aGlsZSBYMiBjYW4gYmUgdmlld2VkIGFzIGEgcHJvb2YtcmVs ZXZhbnQgcHJlZGljYXRlIHRoYXQgYSB0cmlhbmdsZSBjb21tdXRlcywgSTAgaXMgYSBwcmVkaWNh dGUgdGhhdCBhbiBhcnJvdyBpcyBhbiBpZGVudGl0eSBhbmQgSTFfMCAsIEkxXzEgYXJlIHByZWRp Y2F0ZXMgdGhhdCB0cmlhbmdsZXMgYXJlIGRlZ2VuZXJhdGUuDQoNCkFkZGluZyBob3JuLWZpbGxl cnMgdHlwZS10aGVvcmV0aWNhbGx5IGNvcnJlc3BvbmRzIHRvIHNheWluZyB0aGF0IGNlcnRhaW4g dHlwZXMgYXJlIGNvbnRyYWN0aWJsZToNCg0KKHgwLHgxLHgyIDogWDApKGYgOiBYMSB4MCB4MSko ZyA6IFgxIHgxIHgyKSAtPiBpcy1jb250cmFjdGlibGUgKChoIDogWDEgeDAgeDIpIFx0aW1lcyBY MiB4MCB4MSB4MiBmIGcgaCkNCg0Kd2hlcmUgaXMtY29udHJhY3RpYmxlKEEpID0gKGEgOiBBKSBc dGltZXMgKCh4IDogQSkgLT4gYSA9IHgpDQoNClNpbWlsYXJseSB3ZSBjYW4gYWRkIGRlZ2VuZXJh Y2llcw0KDQooeDAgOiBYMCkgLT4gaXMtY29udHJhY3RpYmxlIChYMSB4MCB4MCkNCih4MCB4MSA6 IFgwKShmIDogWDEgeDAgeDEpKGkgOiBYMSB4MCB4MCkoaiA6IEkwIHgwIGkpIC0+IGlzLWNvbnRy YWN0aWJsZSAoKHggOiAgWDIgeDAgeDEgeDEgaSBmIGYpIFx0aW1lcyBJMV8wIHgwIHgxIGYgaSBq IHgpDQooeDAgeDEgOiBYMCkoZiA6IFgxIHgwIHgxKShpIDogWDEgeDEgeDEpKGogOiBJMCB4MCBp KSAtPiBpcy1jb250cmFjdGlibGUgKCh4IDogIFgyIHgwIHgwIHgxIGYgaSBmKSBcdGltZXMgSTFf MCB4MSB4MSBmIGkgaiB4KQ0KDQpUaGlzIGlzIHJlbGF0ZWQgdG8gS3JhdXMnICYgU2F0dGxlcidz IGRpcmVjdGVkIHJlcGxhY2VtZW50Og0KaHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzE3MDQuMDQ1NDMN Cg0KQW5kcmUgbWVudGlvbmVkIHRoYXQgZGVnZW5lcmFjaWVzIHBsYXkgYW4gaW1wb3J0YW50IHJv bGUgaW4gdGhlIGNsYXNzaWNhbCB0aGVvcnkgb2Ygc2ltcGxpY2lhbCBzZXRzLCBlLmcuIHRvIHNo b3cgdGhhdCBnZW9tZXRyaWMgcmVhbGlzYXRpb24gcHJlc2VydmVzIGZpbml0ZSBsaW1pdHMuIEhv d2V2ZXIsIHRoZSBzaXR1YXRpb24gaXMgcXVvdGUgZGlmZmVyZW50IGhlcmUgYmVjYXVzZSB3ZSB3 b3JrIHdpdGggdHlwZXMgbm90IHNldHMuIEhlbmNlIHlvdSB3b3VsZCBleHBlY3QgdGhhdCB0aGUg dG9wb2xvZ2llcyBhcmUgYWxzbyBoaWdoZXItZGltZW5zaW9uYWwgb2JqZWN0cy4gSGFzIGFueWJv ZHkgbG9va2VkIGF0IHRoaXM/DQoNClRob3JzdGVuDQoNCu+7v09uIDA5LzA1LzIwMjAsIDIyOjI4 LCAiaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIEpvbiBTdGVybGlu ZyIgPGhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tIG9uIGJlaGFsZiBvZiBqLi4uQGpvbm1z dGVybGluZy5jb20+IHdyb3RlOg0KDQogICAgRGVhciBBbmRyw6ksDQoNCiAgICBUaGUgY29oZXJl bmNlIHByb2JsZW1zIGludm9sdmVkIGluIGZvcm11bGF0aW5nIGV2ZXJ5ZGF5IG5vdGlvbnMgbGlr ZSBzaW1wbGljaWFsIHR5cGVzICh3aGF0IGFuIGFtYXppbmcgd29ybGQgd2UgbGl2ZSBpbiB0byBi ZSBhYmxlIHRvIGNhbGwgdGhpcyBldmVyeWRheSEpIGNhbiBiZSByZXNvbHZlZCBieSBleHRlbmRp bmcgSG9tb3RvcHkgVHlwZSBUaGVvcnkgd2l0aCBhICJzdWItaG9tb3RvcGljYWwiIGxheWVyLCBh IHNlY29uZCBlcXVhbGl0eSB0eXBlIHRoYXQgaXMgbWVhbnQgdG8gY2FwdHVyZSB0aGUgc3RyaWN0 IG1hdGhlbWF0aWNhbCBlcXVhbGl0eSBpbnN0ZWFkIG9mIHBhdGhzLiBUaGlzIGlzIHNvbWV0aW1l cyBjYWxsZWQgVHdvIExldmVsIFR5cGUgVGhlb3J5LiBJbiB0aGlzIGNhc2UsIGl0IGlzIHBvc3Np YmxlIHRvIGRlZmluZSBzaW1wbGljaWFsIHR5cGVzLCB1c2luZyB0aGUgc3RyaWN0IGVxdWFsaXR5 IHRvIHNpZGVzdGVwIHRoZSBwcm9ibGVtIG9mIGRlZmluaW5nIGhvbW90b3B5IGNvaGVyZW50IHN0 cnVjdHVyZXMgaW4gSG9UVC4NCg0KICAgIFRoZXJlIGFyZSBhIG51bWJlciBvZiB3YXlzIHRvIGFj aGlldmUgdGhpcywgYW5kIHRoZXkgaGF2ZSBkaWZmZXJlbnQgdHJhZGVvZmZzIGRlcGVuZGluZyBv biB3aGF0IHlvdXIgZ29hbHMgYXJlLiBUaGUgc3BhY2Ugb2YgcG9zc2libGUgcmVhbGl6YXRpb25z IG9mIHRoaXMgaWRlYSBjb3JyZXNwb25kcyB0byB3aGF0IFRob21hcyBoYXMgcmVmZXJyZWQgdG8g YXMgdGhlICJzdWJqZWN0aXZpdHkiIG9mIGp1ZGdtZW50YWwgZXF1YWxpdHkuDQoNCiAgICBCZXN0 LA0KICAgIEpvbg0KDQoNCiAgICBPbiBTYXQsIE1heSA5LCAyMDIwLCBhdCA0OjE4IFBNLCBKb3lh bCwgQW5kcsOpIHdyb3RlOg0KICAgID4gRGVhciBUaG9tYXMsDQogICAgPiANCiAgICA+IFlvdSB3 cm90ZSANCiAgICA+IA0KICAgID4gPDxJbiBteSBvcGluaW9uIHRoZSBjdXJyZW5ybHkgaW1wbGVt ZW50ZWQgdHlwZSB0aGVvcmllcyBhcmUgZXNzZW50aWFsbHkNCiAgICA+IGZvciBwcm92aW5nIGFu ZCBub3QgZm9yIGNvbXB1dGluZy4NCiAgICA+IEJ1dCBpZiB5b3UgaGF2ZW4ndCBtZWNoYW5pemVk IFBBUlQgb2YgZXF1YXRpb25hbCByZWFzb25pbmcgaXQgd291bGQgYmUNCiAgICA+IG11Y2ggbXVj aCBtb3JlIHBhaW5mdWwgdGhhbiBpdCBzdGlsbCBpcy4NCiAgICA+IEJ1dCB0aGF0IGlzICJvbmx5 IiBhIHByYWdtYXRpYyBpc3N1ZS4+Pg0KICAgID4gDQogICAgPiBUeXBlICB0aGVvcnkgaGFzIHZl cnkgbmljZSBmZWF0dXJlcy4gSSB3aXNoIHRoZXkgY291bGQgYmUgcHJlc2VydmVkIGFuZCANCiAg ICA+IGRldmVsb3BwZWQgZnVydGhlci4NCiAgICA+IEJ1dCBJIGZpbmQgaXQgZnJ1c3RyYXRpbmcg dGhhdCBJIGNhbnQgZG8gbXkgZXZlcnlkYXkgbWF0aGVtYXRpY3Mgd2l0aCANCiAgICA+IGl0Lg0K ICAgID4gRm9yIGV4YW1wbGUsIEkgY2Fubm90ICBzYXkgDQogICAgPiANCiAgICA+ICgxKSBMZXQg WDpcRGVsdGFee29wfS0tLS0+VHlwZSBiZSBhIHNpbXBsaWNpYWwgdHlwZTsNCiAgICA+ICgyKSBM ZXQgRyBiZSBhIHR5cGUgZXF1aXBwZWQgd2l0aCBhIGdyb3VwIHN0cnVjdHVyZTsNCiAgICA+ICgz KSBMZXQgQkcgYmUgdGhlIGNsYXNzaWZ5aW5nIHNwYWNlIG9mIGEgZ3JvdXAgRzsNCiAgICA+ICg0 KSBMZXQgR3IgYmUgdGhlIGNhdGVnb3J5IG9mIGdyb3VwczsNCiAgICA+ICg1KSBMZXQgU1R5cGUg YmUgdGhlIGNhdGVnb3J5IG9mIHNpbXBsaWNhbCB0eXBlcy4NCiAgICA+ICg2KSBMZXQgTWFwKFgs WSkgYmUgdGhlIHNpbXBsaWNpYWwgdHlwZXMgb2YgbWFwcyBYLS0tPlkNCiAgICA+IGJldHdlZW4g dHdvIHNpbXBsaWNpYWwgdHlwZXMgWCBhbmQgWS4NCiAgICA+IA0KICAgID4gSXQgaXMgY3J1Y2lh bCB0byBoYXZlICgxKQ0KICAgID4gRm9yIGV4YW1wbGUsIGEgZ3JvdXAgY291bGQgYmUgZGVmaW5l ZCB0bw0KICAgID4gYmUgYSBzaW1wbGljaWFsIG9iamVjdCBzYXRpc2Z5aW5nIHRoZSBTZWdhbCBj b25kaXRpb25zLg0KICAgID4gVGhlIGNsYXNzaWZ5aW5nIHNwYWNlIG9mIGEgZ3JvdXAgaXMgdGhl IGNvbGltaXQgb2YgdGhpcyBzaW1wbGljaWFsIG9iamVjdC4NCiAgICA+IFRoZSBjYXRlZ29yeSBv ZiBncm91cHMgY2FuIGJlIGRlZmluZWQgdG8gYmUNCiAgICA+IGEgc2ltcGxpY2lhbCBvYmplY3Rz IHNhdGlzZml5aW5nIHRoZSBSZXprIGNvbmRpdGlvbnMgKGEgY29tcGxldGUgU2VnYWwgc3BhY2Up Lg0KICAgID4gDQogICAgPiBJcyB0aGVyZSBzb21lIGFzcGVjdHMgb2YgdHlwZSB0aGVvcnkgdGhh dCB3ZSBtYXkgZ2l2ZSB1cCBhcyBhIHByaWNlDQogICAgPiBmb3Igc29sdmluZyB0aGVzZSBwcm9i bGVtcyA/DQogICAgPiANCiAgICA+IA0KICAgID4gQmVzdCwNCiAgICA+IEFuZHLDqQ0KICAgID4g DQogICAgPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDQogICAgPiBG cm9tOiBUaG9tYXMgU3RyZWljaGVyIFtzdHJlLi4uQG1hdGhlbWF0aWsudHUtZGFybXN0YWR0LmRl XQ0KICAgID4gU2VudDogU2F0dXJkYXksIE1heSAwOSwgMjAyMCAyOjQzIFBNDQogICAgPiBUbzog Sm95YWwsIEFuZHLDqQ0KICAgID4gQ2M6IERhdmlkIFJvYmVydHM7IFRob3JzdGVuIEFsdGVua2ly Y2g7IE1pY2hhZWwgU2h1bG1hbjsgU3RldmUgQXdvZGV5OyANCiAgICA+IGhvbW90b3B5dC4uLkBn b29nbGVncm91cHMuY29tDQogICAgPiBTdWJqZWN0OiBSZTogW0hvVFRdIElkZW50aXR5IHZlcnN1 cyBlcXVhbGl0eQ0KICAgID4gDQogICAgPiBEZWFyIEFuZHInZSwNCiAgICA+IA0KICAgID4gPiBC eSB0aGUgd2F5LCBpZiB0eXBlIHRoZW9yeSBpcyBub3QgdmVyeSBlZmZlY3RpdmUgaW4gcHJhY3Rp Y2UsIHdoeSBkbyB3ZSBpbnNpc3QgdGhhdCBpdCBzaG91bGQgYWx3YXlzIGNvbXB1dGU/DQogICAg PiA+IFRoZSBkcmVhbSBvZiBhIGZvcm1hbCBzeXN0ZW0gaW4gd2hpY2ggZXZlcnkgcHJvb2YgbGVh ZHMgdG8gYW4gYWN0dWFsIGNvbXB1dGF0aW9uIG1heSBiZSBmYXIgb2ZmLg0KICAgID4gPiBOb3Qg dGhhdCB3ZSBzaG91bGQgYWJhbmRvbiBpdCwgbmV3IGRpc2NvdmVyaWVzIGFyZSBhbHdheXMgcG9z c2libGUuDQogICAgPiA+IElzIHRoZXJlIGEgdmVyc2lvbiBvZiB0eXBlIHRoZW9yeSBmb3IgcHJv dmluZyBhbmQgdmVyaWZ5aW5nLCBsZXNzDQogICAgPiA+IGZvciBjb21wdXRpbmc/DQogICAgPiAN CiAgICA+IEluIG15IG9waW5pb24gdGhlIGN1cnJlbnJseSBpbXBsZW1lbnRlZCB0eXBlIHRoZW9y aWVzIGFyZSBlc3NlbnRpYWxseQ0KICAgID4gZm9yIHByb3ZpbmcgYW5kIG5vdCBmb3IgY29tcHV0 aW5nLg0KICAgID4gQnV0IGlmIHlvdSBoYXZlbid0IG1lY2hhbml6ZWQgUEFSVCBvZiBlcXVhdGlv bmFsIHJlYXNvbmluZyBpdCB3b3VsZCBiZQ0KICAgID4gbXVjaCBtdWNoIG1vcmUgcGFpbmZ1bCB0 aGFuIGl0IHN0aWxsIGlzLg0KICAgID4gQnV0IHRoYXQgaXMgIm9ubHkiIGEgcHJhZ21hdGljIGlz c3VlLg0KICAgID4gDQogICAgPiA+IFRoZSBub3RhdGlvbnMgb2YgdHlwZSB0aGVvcnkgYXJlIHZl cnkgdXNlZnVsIGluIGhvbW90b3B5IHRoZW9yeS4NCiAgICA+ID4gQnV0IHRoZSBhYnNlbmNlIG9m IHNpbXBsaWNpYWwgdHlwZXMgaXMgYSBzZXJpb3VzIG9ic3RhY2xlIHRvIGFwcGxpY2F0aW9ucy4N CiAgICA+IA0KICAgID4gSW4gY3ViaWNhbCB0eXBlIHRoZW9yeSB0aGV5IHNvcnQgb2YgbGl2ZSB3 ZWxsIHdpdGggY3ViZXMgbm90IGJlaW5nDQogICAgPiBmaWJyYW50Li4uIFRoZXkgaGF2ZSB0aGVt IGFzIHByZXR5cGVzLiBCdXQgbWF5YmUgSSBtaXN1bmRlcnN0YW5kLi4uDQogICAgPiANCiAgICA+ IFRob21hcw0KICAgID4gDQogICAgPiAtLSANCiAgICA+IFlvdSByZWNlaXZlZCB0aGlzIG1lc3Nh Z2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIEdvb2dsZSANCiAgICA+IEdyb3Vw cyAiSG9tb3RvcHkgVHlwZSBUaGVvcnkiIGdyb3VwLg0KICAgID4gVG8gdW5zdWJzY3JpYmUgZnJv bSB0aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCANCiAg ICA+IGFuIGVtYWlsIHRvIEhvbW90b3B5VC4uLkBnb29nbGVncm91cHMuY29tLg0KICAgID4gVG8g dmlldyB0aGlzIGRpc2N1c3Npb24gb24gdGhlIHdlYiB2aXNpdCANCiAgICA+IGh0dHBzOi8vZ3Jv dXBzLmdvb2dsZS5jb20vZC9tc2dpZC9Ib21vdG9weVR5cGVUaGVvcnkvOEM1Nzg5NEM3NDEzRjA0 QTk4RERGNTYyOUZFQzkwQjE2NTJGNTYzQSU0MFBsaS5nc3QudXFhbS5jYS4NCiAgICA+DQoNCiAg ICAtLSANCiAgICBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJz Y3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAu DQogICAgVG8gdW5zdWJzY3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2VpdmluZyBl bWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFpbCB0byBIb21vdG9weVQuLi5AZ29vZ2xlZ3JvdXBz LmNvbS4NCiAgICBUbyB2aWV3IHRoaXMgZGlzY3Vzc2lvbiBvbiB0aGUgd2ViIHZpc2l0IGh0dHBz Oi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9tc2dpZC9Ib21vdG9weVR5cGVUaGVvcnkvYjFkMzJhYzAt ZTM2NC00NDA1LTllNDgtZTBlMWUwYjM3NzMyJTQwd3d3LmZhc3RtYWlsLmNvbS4NCg0KCgoKVGhp cyBtZXNzYWdlIGFuZCBhbnkgYXR0YWNobWVudCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUg YWRkcmVzc2VlCmFuZCBtYXkgY29udGFpbiBjb25maWRlbnRpYWwgaW5mb3JtYXRpb24uIElmIHlv dSBoYXZlIHJlY2VpdmVkIHRoaXMKbWVzc2FnZSBpbiBlcnJvciwgcGxlYXNlIGNvbnRhY3QgdGhl IHNlbmRlciBhbmQgZGVsZXRlIHRoZSBlbWFpbCBhbmQKYXR0YWNobWVudC4gCgpBbnkgdmlld3Mg b3Igb3BpbmlvbnMgZXhwcmVzc2VkIGJ5IHRoZSBhdXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QK bmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mgb2YgdGhlIFVuaXZlcnNpdHkgb2YgTm90dGlu Z2hhbS4gRW1haWwKY29tbXVuaWNhdGlvbnMgd2l0aCB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5n aGFtIG1heSBiZSBtb25pdG9yZWQgCndoZXJlIHBlcm1pdHRlZCBieSBsYXcuCgoKCgo=