From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a17:906:1d13:: with SMTP id n19mr15423366ejh.287.1588613107858; Mon, 04 May 2020 10:25:07 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aa7:d311:: with SMTP id p17ls6057831edq.8.gmail; Mon, 04 May 2020 10:25:06 -0700 (PDT) X-Received: by 2002:a50:f98c:: with SMTP id q12mr16241618edn.172.1588613106052; Mon, 04 May 2020 10:25:06 -0700 (PDT) Return-Path: Received: from uidappmx01.nottingham.ac.uk (uidappmx01.nottingham.ac.uk. [128.243.43.124]) by gmr-mx.google.com with ESMTPS id l22si891878ejz.0.2020.05.04.10.25.05 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 04 May 2020 10:25:06 -0700 (PDT) Received-SPF: pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.124 as permitted sender) client-ip=128.243.43.124; 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.124 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.ac.uk Received: from uidappmx01.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 9D0B83C3B93_EB04FF1B for ; Mon, 4 May 2020 17:25:05 +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 uidappmx01.nottingham.ac.uk (Sophos Email Appliance) with ESMTPS id 319353C2D79_EB04FF1F for ; Mon, 4 May 2020 17:25:05 +0000 (GMT) Received: from uiwexedg01.ad.nottingham.ac.uk ([10.159.172.13]) by smtp3.nottingham.ac.uk with esmtp (Exim 4.85) (envelope-from ) id 1jVeq1-0002lq-3O; Mon, 04 May 2020 18:25:05 +0100 Received: from UiWexCHM02.ad.nottingham.ac.uk (10.159.186.13) 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; Mon, 4 May 2020 18:25:05 +0100 Received: from UiWexCHM02.ad.nottingham.ac.uk (10.159.186.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_GCM_SHA256) id 15.1.1531.3; Mon, 4 May 2020 18:25:04 +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; Mon, 4 May 2020 18:25:04 +0100 Received: from EUR04-HE1-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; Mon, 4 May 2020 18:25:04 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ZoxISdt5zrlWJ/Nei3RhCkU2X/ZZm8MZTyQYQiGi2z87HQ6CbWPia/2x7oJ41qD9BGSygR7f8Mz11guMOiwdxipBChGOw8IvDs+PKXkeCkuKUF5hXl1IaksU5rJP4TAv8ZOCXXbU2uKPzdbJmfAUDK9d4AhEBFjJAHx0q90M9ggYBfB8yOSCB3d3Z9gPYlirZY5KF/xajynxbYj/5chHYzoBuBd5TIhKEj3yrCkSPhNV9hwKL3LRDMImbWEiovHJSWMeJLKgOyQv5w4fjHrb3g7u5yXFZahWjp9p/O64LMopIkN32zSJuWe4UNihU7AIU5/BJ1pfnu+D9M2+5e3BEw== 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=nwAGeCBxxQEg35f5eWTY7dU1hQqj+7YmLHwlylWNyj8=; b=kHP6leTh6aX9pRRuzf9odZu9B2Q4ArsFpK06B9EPzsoA2eTCuZKw92ISqoN/6gdXIj3QySl+QCTgo1TUbxsib/qRhLKqBu9DggCKMTiDnb1FbQ8WdmTBPrE6UTleRaEr3TtfKq3r2+sIwR4NnlEEJG0oADTOLTV2h4WNfXGjdJrAaEgKUX0eIWIMM71Jd/2eGoPv4sZ9m9aCg3pQ4FiFvqFznVUaGQ5B2+alcuNLlIIRMQQUbvDqS2lt8HR8SdX8En5YvWGDGuHnrWYVZMsqUBAUOvUlSI0MbAWgE8iCqFH4vx1reXX3Uy1clCheSSIgnJd3WgEbvhzJR0FwinbSpg== 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 AM6PR06MB4822.eurprd06.prod.outlook.com (2603:10a6:20b:60::28) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2958.20; Mon, 4 May 2020 17:25:03 +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.2958.030; Mon, 4 May 2020 17:25:03 +0000 From: Thorsten Altenkirch To: Steve Awodey CC: Michael Shulman , Stefan Monnier , "homotopyt...@googlegroups.com" Subject: Re: [HoTT] "Identifications" ? Thread-Topic: [HoTT] "Identifications" ? Thread-Index: AQHWIfdkjXqlf/k7YUmG/+lTb1bxCKiX6KSAgAAZu8SAABPDgIAAAj4AgAATVID///mTgIAAGXAA Date: Mon, 4 May 2020 17:25:03 +0000 Message-ID: <055F0AF8-C683-48CE-88A0-3BC9A0EEF28A@nottingham.ac.uk> References: <14AEC162-00A7-41E5-88EF-11501EF7C2AB@gmail.com> In-Reply-To: <14AEC162-00A7-41E5-88EF-11501EF7C2AB@gmail.com> 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: 36217ee6-f211-4a91-3ebe-08d7f05014cf x-ms-traffictypediagnostic: AM6PR06MB4822: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8273; x-forefront-prvs: 03932714EB x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: v2kwMFgDvHaG+ft3L9fLpn9wj61L1/xRFzu7NfeBU+YffnQQ3dWjySO4HZjc9CF45AU82ifdk/YAlGAsD3/ohTL4jHd79TnSNbq3W4o+nPm6k5NvyH/ynvVn7GZR3vKbVbc6Durha8FSaKtojZ8cvT2sOFjkpmkE3GbiHq9/aHeGKmX0l678EuxhHod5wCmuKPfVsVA/QJk+R/FGQY4wptiETcVDWX706M4TR/jMLyO8Iy9auD/qhX1m9ftzvUGf8zBSyOraVL0Y59Rv4q/nkcjNLCVOMpm1tupg4ixXXQn0zzAXEELBewSfqbtX33pfU+zFtvj2CLWBi4+e48wYJuaCq9IkMcZixCnjK5KrdhV3tZa8JFyENR/4nOB6ciFSAWSFSvA6VY1fJh5VO4SpfImkZ8ZVOz3k1QMt6z0oKQ+xuw8oNBjR+he7mkcgep/2JCPEzdhy4qQsw0Eg1cvqve0nM1bdJnFkN2j+H8Tc4rY8d1a2bIuethkHociWuysIHsxzozWR9LMNz1FsBg7nVw== 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:(136003)(396003)(366004)(376002)(346002)(39860400002)(478600001)(54906003)(53546011)(64756008)(76116006)(66946007)(66446008)(66556008)(86362001)(91956017)(6916009)(186003)(4326008)(71200400001)(26005)(5660300002)(6506007)(66476007)(966005)(33656002)(55236004)(2906002)(6486002)(36756003)(9686003)(6512007)(8936002)(8676002)(786003)(316002);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata: 53XrC8MxBx4CsMUzJ+YegRl2x2h/8tlkdVX5iZvDF/4RSieiN0Txrg0aNagimlvzKO8zAaM7lt3ytSwHoj9xLSukVU7K5tLCAjp5NKUeR6X/FGIg4EaIwe6EH6PVVUY9FGl5zUG4KxRaQwdIPAeOOUlDVLnGg52xq7jWHIKUwjJT9l9ngHmE2SOXHNdwL0H2HZXGvoCu+yoEMWOhaBb/a4QozEgUEOyUI7m8sHZVslNYd3O65lYzxrxdLZ2Zpm+P3Wq0x7xy1Dn3MP13y7VHRg+kalP/bfIaFcaueoGlgoGiODROH8Ha3cU97DxM1SOPHkmsOyHSgnqWU7n9AuArlIBn9dvr/AQPOjn2cE3CXTk/wJ5WQGJYSAKKI/O7Sfge77CaPCLXxiYNMAr40UAhWqTcsvn0GZZvbw113dCAM6e9g87TmEPeCZhrqcXhSRRAqmcZCYYN7+AzMEQcxMuVCG8qg0svXCECM+LagK17UmRx4eCUihjbrWdC4Jtx2ZyObYXpjeM7Q44R4kco8lSKGtg8MphTbz+3yzbrghzYO33y6jxmCgN4enG/CL2hBH7QcyzfnL4jkZ2k3Hq6NcsYsHYxvoJMShkeYpzbvWCK/ocZ7Yyk0EkXTfuQzYs+cjC8D6MVHgvlHKTBFIl1q7kbWs0r3HWDFOP8K4tOMAYE6dhL5KAzB7n+c27xxwUewfKnzTRNd9Nb3kUF8nuCuLGI7tPpVLAAn42sFkl4MjH2c4u5vd3TvHBvQNIhpmaehtshz9XffT8QtcibKf0/D6c+87oP/IaOFtreCjLfRFQv46s= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="utf-8" Content-ID: <86E862AB8C5AE94B...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 36217ee6-f211-4a91-3ebe-08d7f05014cf X-MS-Exchange-CrossTenant-originalarrivaltime: 04 May 2020 17:25:03.1961 (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: DqHDTxkbF5MDzV9bULCJhpdP9ZiKdU/owuWIS9XyICXl3X3Byy10TFscBLQU9iFdKR40aTPpvjPnEv3RpdopKr0qqPRys5o2SyuBtS+dxvK2TKtRuwcn6pus43agDDvt X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM6PR06MB4822 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size X-SASI-RCODE: 200 SGkgU3RldmUsDQoNCiAgICBJIHJlbWVtYmVyIHRoYXQgY29udmVyc2F0aW9uLg0KICAgIEkgdGhp bmsgd2UgZGVjaWRlZCB0byBwdXQgdGhlIHF1ZXN0aW9uIOKAnHdoYXQgZG9lcyB4PXkgbWVhbj/i gJ0gYXNpZGUsDQogICAgdW50aWwgd2UgaGFkIHRha2VuIGNhcmUgb2YgbW9yZSBpbXBvcnRhbnQg dGhpbmdzLg0KDQpJIHN1cHBvc2UgdGhpcyB3YXMganVzdCBhIHdheSB0byBtb3ZlIG9uIHdpdGhv dXQgaGF2aW5nIHRvIHJlYWNoIGFuIGFncmVlbWVudC4NCg0KSSB0aGluayBpdCBpcyBtb3JlIHRo YW4gYSBkaXNjdXNzaW9uIGFib3V0IHRlcm1zLiBXaGF0IGRvIHdlIG1lYW4gYnkgZXF1YWxpdHk/ IERvZXMgdGhlIGVxdWFsaXR5IHR5cGUgaW4gSG9UVCBpcyBzb21ldGhpbmcgZnVuZGFtZW50YWxs eSBkaWZmZXJlbnQ/IEluIGEgd2F5IHllcywgYmVjYXVzZSBpdCBpcyBwcm9vZiByZWxldmFudCBz byBzb21lIG9mIHRoZSBvbGQgdGVybWlub2xvZ3kgZG9lc24ndCBhcHBseSBhbnltb3JlLiBUaGF0 IGlzIGVxdWFsaXR5IG9mIHN0cnVjdHVyZXMgaXMgYSBzdHJ1Y3R1cmUgbm90IGEgcHJvcG9zaXRp b24uIEJ1dCBuZXZlcnRoZWxlc3MgSSBmaW5kIGl0IGNvbmZ1c2luZyB0byBjYWxsIGl0IGFueXRo aW5nIGJ1dCBlcXVhbGl0eS4gSSB3b3VsZCBzYXkgdHdvIG1hdGhlbWF0aWNhbCBvYmplY3RzIHdo aWNoIHNoYXJlIGFsbCB0aGUgc2FtZSBwcm9wZXJ0aWVzLCB3aGljaCBiZWhhdmUgdGhlIHNhbWUs IGFyZSBlcXVhbC4gSSBkb24ndCBsaWtlIExlaWJuaXoncyAiZXF1YWxpdHkgb2YgaW5kaXNjZXJu aWJsZXMiIGJlY2F1c2UgaXQgdXNlcyBhIG5lZ2F0aXZlLg0KDQpJIG5vdGljZWQgdGhhdCBtYW55 IHBlb3BsZSB1c2UgdHlwZSB0aGVvcnkgYWx3YXlzIGFzIHNvbWV0aGluZyB3ZSB0YWxrIGFib3V0 LiBJdCBpcyBqdXN0IGEgZm9ybWFsaXNtLiBIZW5jZSB0aGUgZXF1YWxpdHkgdHlwZSBqdXN0IGV4 cHJlc3NlcyBhbiBpZGVudGlmaWNhdGlvbiBvZiB0aGluZ3Mgd2hpY2ggYXJlIGFjdHVhbGx5IGRp ZmZlcmVudC4gSW4gdGhlIHJlYWwgd29ybGQuIEhvd2V2ZXIsIEkgdGhpbmsgd2hlbiB3ZSB0YWxr IGluIHR5cGUgdGhlb3J5IHRoZW4gdGhpcyBpcyBvdXIgcmVhbCB3b3JsZCAoYXQgbGVhc3QgbWV0 YXBob3JpY2FsbHkpIGFuZCB0aGVuIHRoZSBtZXRhdGhlb3JldGljIHBlcnNwZWN0aXZlIGlzIGp1 c3QgYSBjb25mdXNpb24uDQoNCkRvZXMgdGhpcyBtYWtlIHNlbnNlPyBTb3JyeSwgSSByZWFsaXpl IGl0IGlzIGEgYml0IHBoaWxvc29waGljYWwgYnV0IHRoZW4geW91IGFyZSBpbiB0aGUgZGVwYXJ0 bWVudCBvZiBwaGlsb3NvcGh5Li4uIF9fDQoNClRob3JzdGVuDQoNCu+7v09uIDA0LzA1LzIwMjAs IDE3OjU0LCAiU3RldmVuIEF3b2RleSBvbiBiZWhhbGYgb2YgU3RldmUgQXdvZGV5IiA8YXdvLi4u QGFuZHJldy5jbXUuZWR1IG9uIGJlaGFsZiBvZiBhd28uLi5AY211LmVkdT4gd3JvdGU6DQoNCg0K DQogICAgPiBPbiBNYXkgNCwgMjAyMCwgYXQgMTI6MTcgUE0sIFRob3JzdGVuIEFsdGVua2lyY2gg PFRob3JzdGVuLi4uLkBub3R0aW5naGFtLmFjLnVrPiB3cm90ZToNCiAgICA+IA0KICAgID4gDQog ICAgPiAgICBJ4oCZbSBhZnJhaWQgdGhhdCBzb21lb25lIG1heSBoYXZlIGhhY2tlZCBUaG9yc3Rl buKAmXMgZW1haWwgYWNjb3VudC4gVGhlIHJlYWwgVGhvcnN0ZW4gd2VudCB0aHJvdWdoIGFsbCB0 aGlzIHdpdGggdXMgbWFueSB5ZWFycyBhZ28uIA0KICAgID4gICAgOiAtICkNCiAgICA+IA0KICAg ID4gT25lIG9mIG91ciBkb2dzIGdhaW5lZCBhY2Nlc3MgdG8gbXkgbGFwdG9wIC0gc29ycnkuIFRo ZXNlIGFuaW1hbHMgY2FuIGJlIHZlcnkgYXdrd2FyZC4NCiAgICA+IA0KICAgID4gSG93ZXZlciwg ZXZlbiB0aGUgcmVhbCBUaG9yc3RlbiBoYWQgYSBmcmllbmRseSBhcmd1bWVudCB3aXRoIEFuZHJl IEpveWFsIHdoZW4gd2Ugd2VyZSB3cml0aW5nIHRoZSBib29rIGFib3V0IHdoZXRoZXIgdG8gdXNl ID0gZm9yIHRoZSBlcXVhbGl0eSB0eXBlLiANCg0KICAgIEkgcmVtZW1iZXIgdGhhdCBjb252ZXJz YXRpb24uIA0KICAgIEkgdGhpbmsgd2UgZGVjaWRlZCB0byBwdXQgdGhlIHF1ZXN0aW9uIOKAnHdo YXQgZG9lcyB4PXkgbWVhbj/igJ0gYXNpZGUsIA0KICAgIHVudGlsIHdlIGhhZCB0YWtlbiBjYXJl IG9mIG1vcmUgaW1wb3J0YW50IHRoaW5ncy4NCg0KICAgIFNvIGlzIGl0IHRpbWUgbm93Pw0KDQog ICAgU3RldmUNCg0KICAgID4gDQogICAgPiBUaG9yc3Rlbg0KICAgID4gDQogICAgPiBPbiAwNC8w NS8yMDIwLCAxNzowOCwgIlN0ZXZlIEF3b2RleSIgPHN0ZXZlLi4uQGdtYWlsLmNvbT4gd3JvdGU6 DQogICAgPiANCiAgICA+ICAgIEnigJltIGFmcmFpZCB0aGF0IHNvbWVvbmUgbWF5IGhhdmUgaGFj a2VkIFRob3JzdGVu4oCZcyBlbWFpbCBhY2NvdW50LiBUaGUgcmVhbCBUaG9yc3RlbiB3ZW50IHRo cm91Z2ggYWxsIHRoaXMgd2l0aCB1cyBtYW55IHllYXJzIGFnby4gDQogICAgPiAgICA6IC0gKQ0K ICAgID4gDQogICAgPiANCiAgICA+PiBPbiBNYXkgNCwgMjAyMCwgYXQgMTI6MDAsIE1pY2hhZWwg U2h1bG1hbiA8c2h1Li4uQHNhbmRpZWdvLmVkdT4gd3JvdGU6DQogICAgPj4gDQogICAgPj4gVGhl IHdvcmQgInBhdGgiIGlzIGNsb3NlbHkgdGllZCB0byB0aGUgaG9tb3RvcHkgaW50ZXJwcmV0YXRp b24sIGFuZCB0bw0KICAgID4+IHRoZSBjbGFzc2ljYWwgcGVyc3BlY3RpdmUgb2Ygb28tZ3JvdXBv aWRzIHByZXNlbnRlZCB2aWEgdG9wb2xvZ2ljYWwNCiAgICA+PiBzcGFjZXMsIHdoaWNoIGhhcyB2 YXJpb3VzIHByb2JsZW1zLiAgVGhpcyBpcyBwYXJ0aWN1bGFybHkgYW4gaXNzdWUgaW4NCiAgICA+ PiBjb2hlc2l2ZSB0eXBlIHRoZW9yeSwgd2hlcmUgdGhlcmUgaXMgYSBzZXBhcmF0ZSAicG9pbnQt c2V0IGxldmVsIg0KICAgID4+IG5vdGlvbiBvZiBwYXRoIHRoYXQgaXQgaXMgaW1wb3J0YW50IHRv IGRpc3Rpbmd1aXNoIGZyb20NCiAgICA+PiBpZGVudGlmaWNhdGlvbnMuDQogICAgPj4gDQogICAg Pj4+IE9uIE1vbiwgTWF5IDQsIDIwMjAgYXQgNzo0OCBBTSBTdGVmYW4gTW9ubmllciA8bW9uLi4u QGlyby51bW9udHJlYWwuY2E+IHdyb3RlOg0KICAgID4+PiANCiAgICA+Pj4+IEkgZG9uJ3QgdGhp bmsgdXNpbmcgImlkZW50aWZpY2F0aW9uIiBuZWNlc3NhcmlseSBpbXBsaWVzIGFueQ0KICAgID4+ Pj4gZGlmZmVyZW5jZSBiZXR3ZWVuICJpZGVudGlmaWNhdGlvbiIgYW5kICJlcXVhbGl0eSIuICBJ IGRvbid0IHRoaW5rIG9mDQogICAgPj4+PiBpdCB0aGF0IHdheS4gIEZvciBtZSB0aGUgcG9pbnQg aXMganVzdCB0byBoYXZlIGEgd29yZCB0aGF0IHJlZmVycyB0bw0KICAgID4+Pj4gYW4gKmVsZW1l bnQqIG9mIGFuIGlkZW50aXR5IHR5cGUuICBDYWxsaW5nIGl0ICJhbiBlcXVhbGl0eSIgY2FuIGhh dmUNCiAgICA+Pj4+IHRoZSB3cm9uZyBjb25ub3RhdGlvbiBiZWNhdXNlIGNsYXNzaWNhbGx5LCBh biBlcXVhbGl0eSBpcyBqdXN0IGENCiAgICA+Pj4+IHByb3Bvc2l0aW9uIChvciBhIHRydWUgcHJv cG9zaXRpb24pLCB3aGVyZWFzIGFuIGVsZW1lbnQgb2YgYW4gaWRlbnRpdHkNCiAgICA+Pj4+IHR5 cGUgY2FycmllcyBpbmZvcm1hdGlvbi4gIENhbGxpbmcgaXQgImFuIGlkZW50aWZpY2F0aW9uIiBz dWdnZXN0cw0KICAgID4+Pj4gZXhhY3RseSB0aGUgaW5mb3JtYXRpb24gdGhhdCBpdCBjYXJyaWVz OiBhIHdheSBvZiBpZGVudGlmeWluZyB0d28NCiAgICA+Pj4+IHRoaW5ncy4NCiAgICA+Pj4gDQog ICAgPj4+IEkgdGhvdWdodCB0aGF0J3Mgd2hhdCAicGF0aCIgd2FzIGZvcj8NCiAgICA+Pj4gDQog ICAgPj4+IA0KICAgID4+PiAgICAgICBTdGVmYW4gIndobyByZWFsbHkgZG9lc24ndCBrbm93IHdo YXQgaGUncyB0YWxraW5nIGFib3V0Ig0KICAgID4+PiANCiAgICA+PiANCiAgICA+PiAtLSANCiAg ICA+PiBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVk IHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQogICAg Pj4gVG8gdW5zdWJzY3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2VpdmluZyBlbWFp bHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFpbCB0byBIb21vdG9weVQuLi5AZ29vZ2xlZ3JvdXBzLmNv bS4NCiAgICA+PiBUbyB2aWV3IHRoaXMgZGlzY3Vzc2lvbiBvbiB0aGUgd2ViIHZpc2l0IGh0dHBz Oi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9tc2dpZC9Ib21vdG9weVR5cGVUaGVvcnkvQ0FPdml2UXhf MlRpblJIQnJtT0FaRm5tRnA4VlZRLXlNY1B2dEtGdFgtZDl3R3NEJTJCMlElNDBtYWlsLmdtYWls LmNvbS4NCiAgICA+IA0KICAgID4gDQogICAgPiANCiAgICA+IA0KICAgID4gVGhpcyBtZXNzYWdl IGFuZCBhbnkgYXR0YWNobWVudCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2Vl DQogICAgPiBhbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3Ug aGF2ZSByZWNlaXZlZCB0aGlzDQogICAgPiBtZXNzYWdlIGluIGVycm9yLCBwbGVhc2UgY29udGFj dCB0aGUgc2VuZGVyIGFuZCBkZWxldGUgdGhlIGVtYWlsIGFuZA0KICAgID4gYXR0YWNobWVudC4g DQogICAgPiANCiAgICA+IEFueSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQgYnkgdGhlIGF1 dGhvciBvZiB0aGlzIGVtYWlsIGRvIG5vdA0KICAgID4gbmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUg dmlld3Mgb2YgdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4gRW1haWwNCiAgICA+IGNvbW11 bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSBtYXkgYmUgbW9uaXRv cmVkIA0KICAgID4gd2hlcmUgcGVybWl0dGVkIGJ5IGxhdy4NCiAgICA+IA0KICAgID4gDQogICAg PiANCiAgICA+IA0KICAgID4gLS0gDQogICAgPiBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJl Y2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBU eXBlIFRoZW9yeSIgZ3JvdXAuDQogICAgPiBUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAg YW5kIHN0b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90 b3B5VC4uLkBnb29nbGVncm91cHMuY29tLg0KICAgID4gVG8gdmlldyB0aGlzIGRpc2N1c3Npb24g b24gdGhlIHdlYiB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2QvbXNnaWQvSG9tb3Rv cHlUeXBlVGhlb3J5L0Q4M0MyQjNFLUFGNjEtNDA5Qi1CRTNBLUE5ODgzOUEwMENGNiU0MG5vdHRp bmdoYW0uYWMudWsuDQoNCg0KCgoKVGhpcyBtZXNzYWdlIGFuZCBhbnkgYXR0YWNobWVudCBhcmUg aW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2VlCmFuZCBtYXkgY29udGFpbiBjb25maWRl bnRpYWwgaW5mb3JtYXRpb24uIElmIHlvdSBoYXZlIHJlY2VpdmVkIHRoaXMKbWVzc2FnZSBpbiBl cnJvciwgcGxlYXNlIGNvbnRhY3QgdGhlIHNlbmRlciBhbmQgZGVsZXRlIHRoZSBlbWFpbCBhbmQK YXR0YWNobWVudC4gCgpBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2VkIGJ5IHRoZSBhdXRo b3Igb2YgdGhpcyBlbWFpbCBkbyBub3QKbmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mgb2Yg dGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4gRW1haWwKY29tbXVuaWNhdGlvbnMgd2l0aCB0 aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9yZWQgCndoZXJlIHBlcm1p dHRlZCBieSBsYXcuCgoKCgo=