From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.46.33.198 with SMTP id h67mr305488lji.41.1513076626258; Tue, 12 Dec 2017 03:03:46 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.46.85.142 with SMTP id g14ls1356504lje.16.gmail; Tue, 12 Dec 2017 03:03:44 -0800 (PST) X-Received: by 10.25.83.16 with SMTP id h16mr259837lfb.3.1513076624563; Tue, 12 Dec 2017 03:03:44 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1513076624; cv=none; d=google.com; s=arc-20160816; b=O1yJR3gg7j91ScwXzSSe5F4NaoBtEE4G/o6k0F2CBTfw8BZBqimnN6vDF/BX0fXh8r Q0QIve1ddZixwXsiL9kd1mXkLq5+T/1DN0KInHjG0hYEzx7BRyqTpEbsPCp1+EZ1Yv+P belb/94vCXRkGEY19vLmuwg9r5V+1wNsO74oFoJCGMFDpnyfBMNyV7mje/VqSHjwqoC+ +9MOChb2pX6ITyPP+42nBOYQBQHjm17nzYlz961BlNhMyVqTf5XWYkLQMbsdGJz9wD/F oaRMdY91nNlFNEHv7867SQaM/Dk/x9q03+3HqhZSingG8XSHSefaTz5PnYjdsXqc6rvZ QCDQ== 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=BMJ0lrUPkrvmQxRQEs1WpFcRbGU8jXTiLvQQnBa7hhQ=; b=qp5bjXmiyBnolXMKtfx7fQ2UqLGn7hl27GKkN4Fd1s3yC7cVBjxbdbViTycLDZxmHN gz+MKjuPr8wOZ5yX/GdXUoNMjYJf+5mREp+fhs3Dt+xBMi6nscHOg2EBB/N79fav9OKk ljsqXy/ljfIKkC3+6d7LEE9me8np9NVEqDOmMJAwWYCbCsZFfdFzFmFhE/03bElaRRXx WRtD9yJPjva1o/ZnbJr0Lmrs3PXKQCo0CSDfIODi+jkw/rCfEdEMkF8bQI7Gfqvo85Rk u9pZDtYoBJFpkDkZCn60TTweFRr798BEDlYrNrsgWVbvQ/vQzkcjzazVaPp8ZLNHZXAl DDOA== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.129 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Return-Path: Received: from uidappmx06.nottingham.ac.uk (uidappmx06.nottingham.ac.uk. [128.243.43.129]) by gmr-mx.google.com with ESMTP id q27si1610838lfd.0.2017.12.12.03.03.44 for ; Tue, 12 Dec 2017 03:03:44 -0800 (PST) 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; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.129 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Received: from uidappmx06.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id EFA9841C213_A2FB78FB for ; Tue, 12 Dec 2017 11:03:43 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) by uidappmx06.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id ADBD139F8B1_A2FB78FF for ; Tue, 12 Dec 2017 11:03:43 +0000 (GMT) Received: from uiwexhub03.is.nottingham.ac.uk ([128.243.15.146] helo=UIWEXHUB03.ad.nottingham.ac.uk) by smtp4.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.85) (envelope-from ) id 1eOiLf-0000tq-DY; Tue, 12 Dec 2017 11:03:43 +0000 Received: from EUR01-HE1-obe.outbound.protection.outlook.com (213.199.154.212) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.351.0; Tue, 12 Dec 2017 11:03:43 +0000 Received: from DB5PR06MB1717.eurprd06.prod.outlook.com (10.165.213.15) by DB5PR06MB1718.eurprd06.prod.outlook.com (10.165.213.16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.302.9; Tue, 12 Dec 2017 11:03:41 +0000 Received: from DB5PR06MB1717.eurprd06.prod.outlook.com ([fe80::51a3:6727:473b:460e]) by DB5PR06MB1717.eurprd06.prod.outlook.com ([fe80::51a3:6727:473b:460e%14]) with mapi id 15.20.0302.013; Tue, 12 Dec 2017 11:03:41 +0000 From: Thorsten Altenkirch To: Andrea Vezzosi CC: Kristina Sojakova , Homotopy Type Theory Subject: Re: [HoTT] Impredicative set + function extensionality + proof irrelevance consistent? Thread-Topic: [HoTT] Impredicative set + function extensionality + proof irrelevance consistent? Thread-Index: AQHTcje6ntODVCgsJUW7bijhlNm7RaM+MsiAgAFNJACAAA1dAA== Date: Tue, 12 Dec 2017 11:03:41 +0000 Message-ID: <11CC10D7-7853-48E7-88BD-42A8EFD47998@exmail.nottingham.ac.uk> References: <4c4fe126-f429-0c82-25e8-80bfb3a0ac78@gmail.com> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/f.15.1.160411 authentication-results: spf=none (sender IP is ) smtp.mailfrom=psz...@exmail.nottingham.ac.uk; x-originating-ip: [82.31.58.108] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DB5PR06MB1718;6:HGUiyy5e4z58cEOpDe0qQzqTdvAyHXPwxQKT52WxRkHoV8SBEExyZyX0KsIq0hstHcJBXyW/ZEGNRk5NaU0pA+YljCUUN++Y6ez2jjb4VJJIdmBxmhHuyszPlVpjjcsNaKnFHAyoaq6jKvoUt6zCVyUl2JuovlwDaZ61gjkA/bY9ZCDVuhySYIcj7wFRZOMi9hkZZOvJ8oBs0WycDyIN16TOSrReQLOx09d9ZGCrjJMm1zrDDXsI2v20kn5IrcBPoTu/zvM0O0DKNBo3j1eBHu8hg0tJ4kUAx7pAxzWvveYsXH4l7fZJSOP2WmscioNHFuhs6ec9UMoeS/N6Ix10PmA30ONmrGTDTOznk30cl9g=;5:/VGBGtYFETIb+e13tDeSvWlo/5Ycgt7qCclwbA6dpswg/hv6IQLoK2Cuqbz+hc10PXzpWeX7T4JJ7VvpueriMWYp7LGRgHhTsd+pr+Z4OfzIjngw0rBtMzJPfE5V/IPLgevW9dqTUqPxlISI1kB1WvjcQX9zXAlKC5SSVcVko2I=;24:DVx5grIZMw1KYYNy6hidePpMMN1Ht01bOnsWUA8rspb45VzeZVKbI0cFJkwsLWtOR6pK6JHS9raRHkzuiGu5SYnIWPELc0fjZ+OsisiHwJQ=;7:0BCeHU2yXXojrJ4ND0mNkfgEDZTzuedOun5QRqDV/pVrJUF4fbtZlNMhV7CkrDPq9zUVtS9L+sNWQulYhx1mCLCC3OnoSaUHVXkCjh9OjWLEWdEBjhudR0+hvkmPGB/uBLaAxkT8Bjk9LW4PVOTKQfquKb4lg0AJMJTnu1wvHD2nE1yeajIyTTcEhkQ6UauLBY1+FLQrU+wBryPTdH6iStGpaBiR+FilHQEe7lfxqd1nKNZvsC+M7r0kEo7lUs0L x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: 50ae1a9d-8b96-4735-bef4-08d54150012d x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(5600026)(4604075)(4534020)(4602075)(4627115)(201703031133081)(201702281549075)(2017052603307);SRVR:DB5PR06MB1718; x-ms-traffictypediagnostic: DB5PR06MB1718: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(215639381216008)(228788266533470)(211936372134217)(214861330456307)(155532106045638); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040450)(2401047)(8121501046)(5005006)(10201501046)(93006095)(93001095)(3002001)(3231023)(920507027)(6041248)(20161123564025)(20161123558100)(20161123562025)(20161123555025)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(201703061406153)(20161123560025)(6072148)(201708071742011);SRVR:DB5PR06MB1718;BCL:0;PCL:0;RULEID:(100000803101)(100110400095);SRVR:DB5PR06MB1718; x-forefront-prvs: 051900244E x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(366004)(376002)(346002)(189003)(199004)(24454002)(51874003)(66066001)(97736004)(58126008)(478600001)(45080400002)(6512007)(2906002)(6246003)(83506002)(2900100001)(229853002)(5660300001)(6486002)(305945005)(6116002)(74482002)(82746002)(6436002)(34040400001)(6506006)(105586002)(7736002)(102836003)(3846002)(3660700001)(83716003)(25786009)(59450400001)(8676002)(81166006)(81156014)(33656002)(42882006)(966005)(1411001)(4326008)(14454004)(786003)(316002)(39060400002)(2950100002)(53546010)(6916009)(3280700002)(54906003)(6306002)(8936002)(53936002)(5250100002)(106356001)(99286004)(5890100001)(86362001)(76176011)(68736007)(42522002)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:DB5PR06MB1718;H:DB5PR06MB1717.eurprd06.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;MX:1;A:1;LANG:en; received-spf: None (protection.outlook.com: exmail.nottingham.ac.uk does not designate permitted sender hosts) spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-ID: <7DEAA69B0C72C14A...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 50ae1a9d-8b96-4735-bef4-08d54150012d X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Dec 2017 11:03:41.1851 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR06MB1718 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Score: -0.0 (/) SWYgeW91IGhhdmUgcHJvb2YtaXJyZWxldmFuY2UgaW4gdGhlIHN0cm9uZyBkZWZpbml0aW9uYWwg c2Vuc2UgdGhlbiB5b3UgY2Fubm90IGJlIGluIGEgdG9wb3MuIFRoaXMgY2FtZSB1cCByZWNlbnRs eSBpbiB0aGUgY29udGV4dCBvZiBMZWFuIHdoaWNoIGlzIGEgdHlwZS10aGVvcnkgYmFzZWQgaW50 ZXJhY3RpdmUgcHJvb2Ygc3lzdGVtIGRldmVsb3BlZCBhdCBtaWNyb3NvZnQgYW5kIHdoaWNoIGRv ZXMgaW1wbGVtZW50IHByb29mLWlycmVsdmFuY2UuIE5vdGUgdGhhdCBhbnkgdG9wb3MgaGFzIGV4 dFByb3A6DQoNCkdpdmVuIGE6QSBkZWZpbmUgU2luZ2xlKGEpID0gU2lnbWEgeDpBLmE9eC4gV2Ug aGF2ZSBTaW5nbGUoYSkgOiBQcm9wIGFuZA0KDQpwIDogU2luZ2xlKHRydWUpIDwtPiBTaW5nbGUo ZmFsc2UpDQoNCnNpbmNlIGJvdGggYXJlIGluaGFiaXRlZC4gSGVuY2UgYnkgZXh0UHJvcA0KDQpl eHRQcm9wIHAgOiBTaW5nbGUodHJ1ZSkgPSBTaW5nbGUoZmFsc2UpDQoNCm5vdyB3ZSBjYW4gdXNl IHRyYW5zcG9ydCBvbiAodHJ1ZSxyZWZsKSA6IFNpbmdsZSh0cnVlKSB0byBvYnRhaW4NCg0KeCA9 IChleHRQcm9wIHApKih0cnVlLHJlZmwpIDogU2luZ2xlKGZhbHNlKQ0KDQphbmQgd2UgY2FuIHNo b3cgdGhhdCANCg0Kc2Vjb25kIHggOiBmaXJzdCB4ID0gZmFsc2UNCg0KYnV0IHNpbmNlIExlYW4g Y29tcHV0YXRpb25hbGx5IGlnbm9yZXMgKGV4dFByb3AgcCkqIHdlIGFsc28gZ2V0IChkZWZpbml0 aW9uYWxseSk6DQoNCmZpcnN0IHggPT0gdHJ1ZQ0KDQpNeSBjb25jbHVzaW9uIGlzIHRoYXQgc3Ry b25nIHByb29mLWlycmVsdmFuY2UgaXMgYSBiYWQgaWRlYSAobm90ZSB0aGF0IG15IOKAmTk5IHBh cGVyIG9uIEV4dGVuc2lvbmFsaXR5IGluIEludGVuc2lvbmFsIFR5cGUgVGhlb3J5IHVzZWQgZXhh Y3RseSB0aGlzKS4gSXQgaXMgbW9yZSBpbXBvcnRhbnQgdGhhdCBvdXIgY29yZSB0aGVvcnkgaXMg ZXh0ZW5zaW9uYWwgYW5kIHNvbWV0aGluZyBwcmFnbWF0aWNhbGx5IGNsb3NlIHRvIGRlZmluaXRp b25hbCBwcm9vZi1pcnJlbGV2YW5jZSBjYW4gYmUgcmVhbGlzZWQgYXMgc29tZSB0YWN0aWMgYmFz ZWQgc3VnYXIuIEl0IGhhcyBubyByb2xlIGluIGEgZm91bmRhdGlvbmFsIGNhbGN1bHVzLg0KDQoN ClRob3JzdGVuDQoNCg0KDQoNCk9uIDEyLzEyLzIwMTcsIDEwOjE1LCAiQW5kcmVhIFZlenpvc2ki IDxzYW56Li4uQGdtYWlsLmNvbT4gd3JvdGU6DQoNCj5PbiBNb24sIERlYyAxMSwgMjAxNyBhdCAz OjIzIFBNLCBUaG9yc3RlbiBBbHRlbmtpcmNoDQo+PFRob3JzdGVuLi4uLkBub3R0aW5naGFtLmFj LnVrPiB3cm90ZToNCj4+IEhpIEtyaXN0aW5hLA0KPj4NCj4+IEkgZ3Vlc3MgeW91IGFyZSBub3Qg YXNzdW1pbmcgUHJvcDpTZXQgYmVjYXVzZSB0aGF0IHdvdWxkIGJlIFN5c3RlbSBVIGFuZCBoZW5j ZSBpbmNvbnNpc3RlbnQuDQo+Pg0KPj4gQnkgcHJvb2YtaXJyZWxldmFuY2UgSSBhc3N1bWUgdGhh dCB5b3UgbWVhbiB0aGF0IGFueSB0d28gaW5oYWJpdGFudHMgb2YgYSBwcm9wb3NpdGlvbiBhcmUg ZGVmaW5pdGlvbmFsbHkgZXF1YWwuIFRoaXMgYXNzdW1wdGlvbiBpcyBpbmNvbnNpc3RlbnQgd2l0 aCBpdCBiZWluZyBhIHRvcHMgc2luY2UgaW4gYW55IFRvcG9zIHlvdSBnZXQgcHJvcG9zaXRpb25h bCBleHRlbnNpb25hbGl0eSwgdGhhdCBpcyBQLFEgOiBQcm9wLCAoUCA8LT4gUSkgPC0+IChQID0g USksIHdoaWNoIGlzIGluZGVlZCBhbiBpbnN0YW5jZSBvZiB1bml2YWxlbmNlLg0KPj4NCj4NCj5J IGRvbid0IGtub3cgaWYgaXQncyByZWxldmFudCB0byB0aGUgY3VycmVudCBkaXNjdXNzaW9uLCBi dXQgSSB0aG91Z2h0DQo+dGhlIHRvcG9zIG9mIHNldHMgd2l0aCBQcm9wIHRha2VuIHRvIGJlIHRo ZSBib29sZWFucyB3b3VsZCBzdXBwb3J0DQo+Ym90aCBwcm9vZiBpcnJlbGV2YW5jZSBhbmQgcHJv cG9zaXRpb25hbCBleHRlbnNpb25hbGl0eSwgY2xhc3NpY2FsbHkNCj5hdCBsZWFzdC4gSXMgdGhl cmUgc29tZSBleHRyYSBhc3N1bXB0aW9uIEkgYW0gbWlzc2luZyBoZXJlPw0KPg0KPg0KPj4gSXQg c2hvdWxkIGJlIHBvc3NpYmxlIHRvIHVzZSBhIHJlYWxpemFiaWxpdHkgc2VtYW50aWNzIGxpa2Ug b21lZ2Etc2V0cyBvciBMYW1iZGEtc2V0cyB0byBtb2RlbCB0aGUgaW1wcmVkaWNhdGl2ZSB0aGVv cnkgYW5kIGlkZW50aWZ5IHRoZSBwcm9wb3NpdGlvbnMgd2l0aCBQRVJzIHRoYXQgYXJlIGp1c3Qg c3Vic2V0cy4NCj4+DQo+PiBDaGVlcnMsDQo+PiBUaG9yc3Rlbg0KPj4NCj4+DQo+PiBPbiAxMS8x Mi8yMDE3LCAwNDoyMiwgImhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tIG9uIGJlaGFsZiBv ZiBLcmlzdGluYSBTb2pha292YSIgPGhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tIG9uIGJl aGFsZiBvZiBzb2pha292YS4uLkBnbWFpbC5jb20+IHdyb3RlOg0KPj4NCj4+ICAgICBEZWFyIGFs bCwNCj4+DQo+PiAgICAgSSBhc2tlZCB0aGlzIHF1ZXN0aW9uIGxhc3QgeWVhciBvbiB0aGUgY29x LWNsdWIgbWFpbGluZyBsaXN0IGJ1dCBkaWQgbm90DQo+PiAgICAgcmVjZWl2ZSBhIGNvbmNsdXNp dmUgYW5zd2VyIHNvIEkgYW0gdHJ5aW5nIGhlcmUgbm93LiBJcyB0aGUgdGhlb3J5IHdpdGgNCj4+ ICAgICBhIHByb29mLXJlbGV2YW50IGltcHJlZGljYXRpdmUgdW5pdmVyc2UgU2V0LCBwcm9vZi1p cnJlbGV2YW50DQo+PiAgICAgaW1wcmVkaWNhdGl2ZSB1bml2ZXJzZSBQcm9wLCBhbmQgZnVuY3Rp b24gZXh0ZW5zaW9uYWxpdHkgKGtub3duIHRvIGJlKQ0KPj4gICAgIGNvbnNpc3RlbnQ/IEl0IGlz IGtub3duIHRoYXQgdGhlIHByb29mLWlycmVsZXZhbmNlIG9mIFByb3AgbWFrZXMgdGhlIElkDQo+ PiAgICAgdHlwZSBiZWhhdmUgZGlmZmVyZW50bHkgdXN1YWwgYW5kIGluIHBhcnRpY3VsYXIsIG1h a2VzIHRoZSB0aGVvcnkNCj4+ICAgICBpbmNvbXBhdGlibGUgd2l0aCB1bml2YWxlbmNlLCBzbyBp dCBpcyBub3QganVzdCBhIG1hdHRlciBvZiB0YWNraW5nIG9uDQo+PiAgICAgYW4gaW50ZXJwcmV0 YXRpb24gZm9yIFByb3AuDQo+Pg0KPj4gICAgIFRoYW5rcyBpbiBhZHZhbmNlIGZvciBhbnkgaW5z aWdodCwNCj4+DQo+PiAgICAgS3Jpc3RpbmENCj4+DQo+PiAgICAgLS0NCj4+ICAgICBZb3UgcmVj ZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29n bGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQo+PiAgICAgVG8gdW5zdWJz Y3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwg c2VuZCBhbiBlbWFpbCB0byBIb21vdG9weVR5cGVUaGUuLi5AZ29vZ2xlZ3JvdXBzLmNvbS4NCj4+ ICAgICBGb3IgbW9yZSBvcHRpb25zLCB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2Qv b3B0b3V0Lg0KPj4NCj4+DQo+Pg0KPj4NCj4+DQo+Pg0KPj4gVGhpcyBtZXNzYWdlIGFuZCBhbnkg YXR0YWNobWVudCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2VlDQo+PiBhbmQg bWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSByZWNlaXZl ZCB0aGlzDQo+PiBtZXNzYWdlIGluIGVycm9yLCBwbGVhc2Ugc2VuZCBpdCBiYWNrIHRvIG1lLCBh bmQgaW1tZWRpYXRlbHkgZGVsZXRlIGl0Lg0KPj4NCj4+IFBsZWFzZSBkbyBub3QgdXNlLCBjb3B5 IG9yIGRpc2Nsb3NlIHRoZSBpbmZvcm1hdGlvbiBjb250YWluZWQgaW4gdGhpcw0KPj4gbWVzc2Fn ZSBvciBpbiBhbnkgYXR0YWNobWVudC4gIEFueSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQg YnkgdGhlDQo+PiBhdXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QgbmVjZXNzYXJpbHkgcmVmbGVj dCB0aGUgdmlld3Mgb2YgdGhlDQo+PiBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0uDQo+Pg0KPj4g VGhpcyBtZXNzYWdlIGhhcyBiZWVuIGNoZWNrZWQgZm9yIHZpcnVzZXMgYnV0IHRoZSBjb250ZW50 cyBvZiBhbg0KPj4gYXR0YWNobWVudCBtYXkgc3RpbGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2Vz IHdoaWNoIGNvdWxkIGRhbWFnZSB5b3VyDQo+PiBjb21wdXRlciBzeXN0ZW0sIHlvdSBhcmUgYWR2 aXNlZCB0byBwZXJmb3JtIHlvdXIgb3duIGNoZWNrcy4gRW1haWwNCj4+IGNvbW11bmljYXRpb25z IHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSBtYXkgYmUgbW9uaXRvcmVkIGFzDQo+ PiBwZXJtaXR0ZWQgYnkgVUsgbGVnaXNsYXRpb24uDQo+Pg0KPj4gLS0NCj4+IFlvdSByZWNlaXZl ZCB0aGlzIG1lc3NhZ2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIEdvb2dsZSBH cm91cHMgIkhvbW90b3B5IFR5cGUgVGhlb3J5IiBncm91cC4NCj4+IFRvIHVuc3Vic2NyaWJlIGZy b20gdGhpcyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4g ZW1haWwgdG8gSG9tb3RvcHlUeXBlVGhlLi4uQGdvb2dsZWdyb3Vwcy5jb20uDQo+PiBGb3IgbW9y ZSBvcHRpb25zLCB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2Qvb3B0b3V0Lg0KCgoK ClRoaXMgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3Ig dGhlIGFkZHJlc3NlZQphbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJ ZiB5b3UgaGF2ZSByZWNlaXZlZCB0aGlzCm1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBzZW5kIGl0 IGJhY2sgdG8gbWUsIGFuZCBpbW1lZGlhdGVseSBkZWxldGUgaXQuIAoKUGxlYXNlIGRvIG5vdCB1 c2UsIGNvcHkgb3IgZGlzY2xvc2UgdGhlIGluZm9ybWF0aW9uIGNvbnRhaW5lZCBpbiB0aGlzCm1l c3NhZ2Ugb3IgaW4gYW55IGF0dGFjaG1lbnQuICBBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVz c2VkIGJ5IHRoZQphdXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QgbmVjZXNzYXJpbHkgcmVmbGVj dCB0aGUgdmlld3Mgb2YgdGhlClVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4KClRoaXMgbWVzc2Fn ZSBoYXMgYmVlbiBjaGVja2VkIGZvciB2aXJ1c2VzIGJ1dCB0aGUgY29udGVudHMgb2YgYW4KYXR0 YWNobWVudCBtYXkgc3RpbGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxkIGRh bWFnZSB5b3VyCmNvbXB1dGVyIHN5c3RlbSwgeW91IGFyZSBhZHZpc2VkIHRvIHBlcmZvcm0geW91 ciBvd24gY2hlY2tzLiBFbWFpbApjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9m IE5vdHRpbmdoYW0gbWF5IGJlIG1vbml0b3JlZCBhcwpwZXJtaXR0ZWQgYnkgVUsgbGVnaXNsYXRp b24uCgo=