From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.25.72.87 with SMTP id v84mr276471lfa.44.1513081286270; Tue, 12 Dec 2017 04:21:26 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.46.32.233 with SMTP id g102ls1382797lji.10.gmail; Tue, 12 Dec 2017 04:21:24 -0800 (PST) X-Received: by 10.25.83.195 with SMTP id h64mr266251lfl.24.1513081284775; Tue, 12 Dec 2017 04:21:24 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1513081284; cv=none; d=google.com; s=arc-20160816; b=vuRnwH615sRWy7lrhhDWzSm2S/x2AuCDBDy6qgZja6EHnOVOw3JoSdJtRpByYvWl/j dl7Q0IkBwLsDkb5W+o/3hwLGtz5m9jx9gNjbQoz+Dc717d/P/O4eutALpu/DOMgTmjhS rct+o+jRg5Tq8mckL7XIqlAGCjbCZzwNGE4VWsfOoV7rDzgM4ZjWitCcs6F2awavi5T1 kTFwGQ76lVJWOyma6FdR5en0SWYioRE94SijdjWH13UnT2BrxF2doi0XYTa/cUyAMtJo V7fwguXDQtmVw2ACnwqmQqaGpyjzDcNuVEFeModWkx6ycz7JbSdFWsEK5eehIE85/S9E CEPQ== 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=L2ZtJ0Gl+SPoxMVdSPFCveAo4EBSJbk+REKrK5KGUyw=; b=pZJmv5IeS7hfUCeo6PiwOoUpP4H4RcxNYw/7rxFnNUQFeqqeERc32197sTMTpt50fu ZbVd8y2f6SLXIXM5Jf2ofMIwMpJTwMs8ZFnrtgHaa+XC1WX8GcCYtcINSrLiXXmSjyMN RIKti4atjEG5C0ZQ6b4mhh2XgT1xOr/mbPB23nA0QBVVcQgpNxjDVuBIsvGRsUfJF9FA SkahkGW6UpA9LrZf+MmeH42P63yUEHJizXDS3TBuHawJ0NWuAy9xkd//yEXJQ9kz2kDh wvyaF5YMyBs+BCipObEh6wwq+oDQ1oP9SL3r/gQVmTfTsSmgVsAk7tSLiNR8rIizknv4 NbVw== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Return-Path: Received: from uidappmx05.nottingham.ac.uk (uidappmx05.nottingham.ac.uk. [128.243.43.128]) by gmr-mx.google.com with ESMTP id o75si1824064lfc.2.2017.12.12.04.21.24 for ; Tue, 12 Dec 2017 04:21:24 -0800 (PST) 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; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Received: from uidappmx05.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 12AD86F8A38_A2FC9C4B for ; Tue, 12 Dec 2017 12:21:24 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) by uidappmx05.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id B71F66F3ABD_A2FC9C3F for ; Tue, 12 Dec 2017 12:21:23 +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 1eOjYp-0008BV-NG; Tue, 12 Dec 2017 12:21:23 +0000 Received: from EUR01-HE1-obe.outbound.protection.outlook.com (213.199.154.207) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.351.0; Tue, 12 Dec 2017 12:21:23 +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 12:21:21 +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 12:21:21 +0000 From: Thorsten Altenkirch To: Thomas Streicher CC: Andrea Vezzosi , 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+MsiAgAFNJACAAA1dAIAAEHaAgAAFP4A= Date: Tue, 12 Dec 2017 12:21:21 +0000 Message-ID: <643DFB5A-10F8-467F-AC3A-46D4BC938E85@exmail.nottingham.ac.uk> References: <4c4fe126-f429-0c82-25e8-80bfb3a0ac78@gmail.com> <11CC10D7-7853-48E7-88BD-42A8EFD47998@exmail.nottingham.ac.uk> <20171212120233.GA32661@mathematik.tu-darmstadt.de> In-Reply-To: <20171212120233.GA32661@mathematik.tu-darmstadt.de> 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:ff7bGJNt5sTUpE7lHE88Wm5qb1hkDId68XmuhphYlrYB1gPGc/Mw/QpbsbHfSb1k0F/cPI/keo1BxHuA4qNfkOargdcGpEhcnLWCcbSuteGpQ29rO6XXUKGJzeV5wRdQCPjHzLQtQh7SMlzCQOTTlPOMSR57OXUqrbSRd5ue9BWDN2jqmniMxJEWGho7YZ8Xlb9vaORpP2j+G9RxhWDup6e/RE/zAQXdPCvP7ipR1CIKhORHZrP1bQBXbsmZcaqxoU0d3gHpkARsP4hpDHwjTMZtFv9MxtbgedGAohCQO7+jrCorLWlwIUBMxuEYcdge1+9MnIQombZmZORpQoS3yjIhX+PCrMIelpSv/3v2WYY=;5:+eJ70VY3Fj5zLir/E8Mz6fZcRsBstBVfWkSbrpCPNmu+MTbWn8/OzYYjKe9GWaCZN/mkndJKtNmRGxWaYjXW2Agq5uah1y/fT9iw8qzBZu2mAOwrivz64/Hj1PwHScMshB2xGWJsHILP0Cz2rzr1/Own0+UhQ0Pk1E6A3VrbmQU=;24:Y7zd3QS4p+TLO0uvhNKxzFZWea1KtpM0iU8mVnmVujVGPKpKyrBhYc0A8HKucP2LVnF5GjYTyP+f+d2cdPR8EcYKtvqmgB4CtVXlMkX1h04=;7:4oPzaoLM6jiOHj8QEO/S1mOZwdnkvEbASfEO40X0lPwVIz7Wa/uTbWpwsxMPg/cxG2VmKP/5U46t118VRRRI9VNbGMgXyaHbegPEEcu3zUMFw2Ohb5m4Ig3arPwNC8OPMQvf4ZUgk4ygl+Yajn1yipql25CsMpeZLk+FFkvly8GtCetFIKvkCPMc4xcOtdk8aFMaCFP7foLfno8SejWbo5RGieCnR/foNjiBFFBsTVJeES6eHA9RGFCo1qLQvYI2 x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: 53840883-4c56-4cec-232c-08d5415adacc 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)(131327999870524)(214861330456307)(155532106045638); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040450)(2401047)(8121501046)(5005006)(10201501046)(93006095)(93001095)(3002001)(3231023)(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)(376002)(346002)(366004)(24454002)(51874003)(189003)(199004)(14454004)(42882006)(4326008)(53546010)(2950100002)(39060400002)(786003)(316002)(25786009)(59450400001)(33656002)(8676002)(81156014)(81166006)(6916009)(5890100001)(86362001)(68736007)(76176011)(8936002)(53936002)(3280700002)(54906003)(5250100002)(99286004)(106356001)(6246003)(83506002)(5660300001)(229853002)(2900100001)(58126008)(66066001)(97736004)(2906002)(6512007)(478600001)(45080400002)(3660700001)(102836003)(3846002)(93886005)(83716003)(82746002)(6436002)(6486002)(305945005)(6116002)(74482002)(6506006)(7736002)(105586002)(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: <9DE9F512F12F6C40...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 53840883-4c56-4cec-232c-08d5415adacc X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Dec 2017 12:21:21.5060 (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-Note: SpamAssassin run bypassed due to message size R29vZCBwb2ludC4NCg0KT0ssIGluIGEgdG9wb3MgeW91IGhhdmUgYSBzdGF0aWMgdW5pdmVyc2Ug b2YgcHJvcG9zaXRpb25zLiBUaGF0IGlzIHdldGhlciBzb21ldGhpbmcgaXMgYSBwcm9wb3NpdGlv biBkb2VzbuKAmXQgZGVwZW5kIG9uIG90aGVyIGFzc3VtcHRpb25zIHlvdSBtYWtlLg0KDQpJbiBz ZXQtbGV2ZWwgSG9UVCB3ZSBkZWZpbmUgUHJvcCBhcyB0aGUgdHlwZXMgd2hpY2ggaGF2ZSBhdCBt b3N0IG9uZSBpbmhhYml0YW50LiBOb3cgd2V0aGVyIGEgdHlwZSBpcyBhIHByb3Bvc2l0aW9uIG1h eSBkZXBlbmQgb24gb3RoZXIgYXNzdW1wdGlvbnMuICgtMSktdW5pdmFsZW5jZSBpLmUuIHByb3Bv c2l0aW9uYWwgZXh0ZW5zaW9uYWxpdHkgdHVybnMgUHJvcCBpbnRvIGEgc3Vib2JqZWN0IGNsYXNz aWZpZXIgKGlmIHlvdSBoYXZlIHJlc2l6aW5nIG90aGVyd2lzZSB5b3UgZ2V0IHNvbWUgc29ydCBv ZiBwcmVkaWNhdGl2ZSB0b3BvcykuDQoNCkhvd2V2ZXIsIHRoZSBkeW5hbWljIGludGVycHJldGF0 aW9uIG9mIHByb3Bvc2l0aW9ucyBnaXZlcyB5b3Ugc29tZSBhZGRpdGlvbmFsIHBvd2VyLCBpbiBw YXJ0aWN1bGFyIHlvdSBjYW4gcHJvb2YgdW5pcXVlIGNob2ljZSwgYmVjYXVzZSBpZiB5b3UgY2Fu IHByb3ZlIEV4ISB4OkEuUCB4ICwgd2hlcmUgRXghIHg6QS5QIHggaXMgZGVmaW5lZCBhcyBTaWdt YSB4OkEuUCB4IC9cIFBpIHk6QS5QIHkgLT4geD15IHRoZW4gdGhpcyBpcyBhIHByb3Bvc2l0aW9u IGV2ZW4gdGhvdWdoIEEgbWF5IG5vdCBiZS4gSG93ZXZlciB1c2luZyBwcm9qZWN0aW9ucyB5b3Ug YWxzbyBnZXQgU2lnbWEgeDpBLlAgeC4NCg0KSGVuY2UgSSBndWVzcyBJIHNob3VsZCBoYXZlIHNh aWQgYSB0b3BvcyB3aXRoIHVuaXF1ZSBjaG9pY2UgKEkgYW0gbm90IHN1cmUgd2V0aGVyIHRoaXMg aXMgZW5vdWdoKS4gQnR3LCBzZXQtbGV2ZWwgSG9UVCBhbHNvIGdpdmVzIHlvdSBRSVRzIHdoaWNo IGVsaW1pbmF0ZSBtYW55IHVzZXMgb2YgY2hvaWNlIChlLmcuIHRoZSBkZWZpbml0aW9uIG9mIHRo ZSBDYXVjaHkgUmVhbHMgYW5kIHRoZSBwYXJ0aWFsaXR5IG1vbmFkKS4NCg0KVGhvcnN0ZW4NCg0K DQoNCg0KDQoNCk9uIDEyLzEyLzIwMTcsIDEyOjAyLCAiVGhvbWFzIFN0cmVpY2hlciIgPHN0cmUu Li5AbWF0aGVtYXRpay50dS1kYXJtc3RhZHQuZGU+IHdyb3RlOg0KDQo+QnV0IHZlcnkgdG9wb3Mg aXMgYSBtb2RlbCBvZiBleHRlbnNpb25hbCB0eXBlIHRoZW9yeSB3aGVuIHRha2luZyBQcm9wDQo+ PSBPbWVnYS4gQWxsIGVsZW1lbnRzIG9mIFByb3AgYXJlIHByb29mIGlycmVsZXZhbnQgYW5kIGVx dWl2YWxlbnQNCj5wcm9wb3NpdGlvbnMgYXJlIGVxdWFsLg0KPg0KPlNpbmNlIGl0IGlzIGEgbW9k ZWwgb2YgZXh0ZW5zaW9uYWwgVFQgdGhlcmUgaXMgbm8gZGlmZmVyZW5jZSBiZXR3ZWVuDQo+cHJv cHNvaXRpb25hbCBhbmQganVkZ2VtZW50YWwgZXF1YWxpdHkuDQo+DQo+VGhvbWFzDQo+DQo+DQo+ PiBJZiB5b3UgaGF2ZSBwcm9vZi1pcnJlbGV2YW5jZSBpbiB0aGUgc3Ryb25nIGRlZmluaXRpb25h bCBzZW5zZSB0aGVuIHlvdSBjYW5ub3QgYmUgaW4gYSB0b3Bvcy4gVGhpcyBjYW1lIHVwIHJlY2Vu dGx5IGluIHRoZSBjb250ZXh0IG9mIExlYW4gd2hpY2ggaXMgYSB0eXBlLXRoZW9yeSBiYXNlZCBp bnRlcmFjdGl2ZSBwcm9vZiBzeXN0ZW0gZGV2ZWxvcGVkIGF0IG1pY3Jvc29mdCBhbmQgd2hpY2gg ZG9lcyBpbXBsZW1lbnQgcHJvb2YtaXJyZWx2YW5jZS4gTm90ZSB0aGF0IGFueSB0b3BvcyBoYXMg ZXh0UHJvcDoNCj4+IA0KPj4gR2l2ZW4gYTpBIGRlZmluZSBTaW5nbGUoYSkgPSBTaWdtYSB4OkEu YT14LiBXZSBoYXZlIFNpbmdsZShhKSA6IFByb3AgYW5kDQo+PiANCj4+IHAgOiBTaW5nbGUodHJ1 ZSkgPC0+IFNpbmdsZShmYWxzZSkNCj4+IA0KPj4gc2luY2UgYm90aCBhcmUgaW5oYWJpdGVkLiBI ZW5jZSBieSBleHRQcm9wDQo+PiANCj4+IGV4dFByb3AgcCA6IFNpbmdsZSh0cnVlKSA9IFNpbmds ZShmYWxzZSkNCj4+IA0KPj4gbm93IHdlIGNhbiB1c2UgdHJhbnNwb3J0IG9uICh0cnVlLHJlZmwp IDogU2luZ2xlKHRydWUpIHRvIG9idGFpbg0KPj4gDQo+PiB4ID0gKGV4dFByb3AgcCkqKHRydWUs cmVmbCkgOiBTaW5nbGUoZmFsc2UpDQo+PiANCj4+IGFuZCB3ZSBjYW4gc2hvdyB0aGF0IA0KPj4g DQo+PiBzZWNvbmQgeCA6IGZpcnN0IHggPSBmYWxzZQ0KPj4gDQo+PiBidXQgc2luY2UgTGVhbiBj b21wdXRhdGlvbmFsbHkgaWdub3JlcyAoZXh0UHJvcCBwKSogd2UgYWxzbyBnZXQgKGRlZmluaXRp b25hbGx5KToNCj4+IA0KPj4gZmlyc3QgeCA9PSB0cnVlDQo+PiANCj4+IE15IGNvbmNsdXNpb24g aXMgdGhhdCBzdHJvbmcgcHJvb2YtaXJyZWx2YW5jZSBpcyBhIGJhZCBpZGVhIChub3RlIHRoYXQg bXkgPz8/OTkgcGFwZXIgb24gRXh0ZW5zaW9uYWxpdHkgaW4gSW50ZW5zaW9uYWwgVHlwZSBUaGVv cnkgdXNlZCBleGFjdGx5IHRoaXMpLiBJdCBpcyBtb3JlIGltcG9ydGFudCB0aGF0IG91ciBjb3Jl IHRoZW9yeSBpcyBleHRlbnNpb25hbCBhbmQgc29tZXRoaW5nIHByYWdtYXRpY2FsbHkgY2xvc2Ug dG8gZGVmaW5pdGlvbmFsIHByb29mLWlycmVsZXZhbmNlIGNhbiBiZSByZWFsaXNlZCBhcyBzb21l IHRhY3RpYyBiYXNlZCBzdWdhci4gSXQgaGFzIG5vIHJvbGUgaW4gYSBmb3VuZGF0aW9uYWwgY2Fs Y3VsdXMuDQo+PiANCj4+IA0KPj4gVGhvcnN0ZW4NCj4+IA0KPj4gDQo+PiANCj4+IA0KPj4gT24g MTIvMTIvMjAxNywgMTA6MTUsICJBbmRyZWEgVmV6em9zaSIgPHNhbnouLi5AZ21haWwuY29tPiB3 cm90ZToNCj4+IA0KPj4gPk9uIE1vbiwgRGVjIDExLCAyMDE3IGF0IDM6MjMgUE0sIFRob3JzdGVu IEFsdGVua2lyY2gNCj4+ID48VGhvcnN0ZW4uLi4uQG5vdHRpbmdoYW0uYWMudWs+IHdyb3RlOg0K Pj4gPj4gSGkgS3Jpc3RpbmEsDQo+PiA+Pg0KPj4gPj4gSSBndWVzcyB5b3UgYXJlIG5vdCBhc3N1 bWluZyBQcm9wOlNldCBiZWNhdXNlIHRoYXQgd291bGQgYmUgU3lzdGVtIFUgYW5kIGhlbmNlIGlu Y29uc2lzdGVudC4NCj4+ID4+DQo+PiA+PiBCeSBwcm9vZi1pcnJlbGV2YW5jZSBJIGFzc3VtZSB0 aGF0IHlvdSBtZWFuIHRoYXQgYW55IHR3byBpbmhhYml0YW50cyBvZiBhIHByb3Bvc2l0aW9uIGFy ZSBkZWZpbml0aW9uYWxseSBlcXVhbC4gVGhpcyBhc3N1bXB0aW9uIGlzIGluY29uc2lzdGVudCB3 aXRoIGl0IGJlaW5nIGEgdG9wcyBzaW5jZSBpbiBhbnkgVG9wb3MgeW91IGdldCBwcm9wb3NpdGlv bmFsIGV4dGVuc2lvbmFsaXR5LCB0aGF0IGlzIFAsUSA6IFByb3AsIChQIDwtPiBRKSA8LT4gKFAg PSBRKSwgd2hpY2ggaXMgaW5kZWVkIGFuIGluc3RhbmNlIG9mIHVuaXZhbGVuY2UuDQo+PiA+Pg0K Pj4gPg0KPj4gPkkgZG9uJ3Qga25vdyBpZiBpdCdzIHJlbGV2YW50IHRvIHRoZSBjdXJyZW50IGRp c2N1c3Npb24sIGJ1dCBJIHRob3VnaHQNCj4+ID50aGUgdG9wb3Mgb2Ygc2V0cyB3aXRoIFByb3Ag dGFrZW4gdG8gYmUgdGhlIGJvb2xlYW5zIHdvdWxkIHN1cHBvcnQNCj4+ID5ib3RoIHByb29mIGly cmVsZXZhbmNlIGFuZCBwcm9wb3NpdGlvbmFsIGV4dGVuc2lvbmFsaXR5LCBjbGFzc2ljYWxseQ0K Pj4gPmF0IGxlYXN0LiBJcyB0aGVyZSBzb21lIGV4dHJhIGFzc3VtcHRpb24gSSBhbSBtaXNzaW5n IGhlcmU/DQo+PiA+DQo+PiA+DQo+PiA+PiBJdCBzaG91bGQgYmUgcG9zc2libGUgdG8gdXNlIGEg cmVhbGl6YWJpbGl0eSBzZW1hbnRpY3MgbGlrZSBvbWVnYS1zZXRzIG9yIExhbWJkYS1zZXRzIHRv IG1vZGVsIHRoZSBpbXByZWRpY2F0aXZlIHRoZW9yeSBhbmQgaWRlbnRpZnkgdGhlIHByb3Bvc2l0 aW9ucyB3aXRoIFBFUnMgdGhhdCBhcmUganVzdCBzdWJzZXRzLg0KPj4gPj4NCj4+ID4+IENoZWVy cywNCj4+ID4+IFRob3JzdGVuDQo+PiA+Pg0KPj4gPj4NCj4+ID4+IE9uIDExLzEyLzIwMTcsIDA0 OjIyLCAiaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIEtyaXN0aW5h IFNvamFrb3ZhIiA8aG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIHNv amFrb3ZhLi4uQGdtYWlsLmNvbT4gd3JvdGU6DQo+PiA+Pg0KPj4gPj4gICAgIERlYXIgYWxsLA0K Pj4gPj4NCj4+ID4+ICAgICBJIGFza2VkIHRoaXMgcXVlc3Rpb24gbGFzdCB5ZWFyIG9uIHRoZSBj b3EtY2x1YiBtYWlsaW5nIGxpc3QgYnV0IGRpZCBub3QNCj4+ID4+ICAgICByZWNlaXZlIGEgY29u Y2x1c2l2ZSBhbnN3ZXIgc28gSSBhbSB0cnlpbmcgaGVyZSBub3cuIElzIHRoZSB0aGVvcnkgd2l0 aA0KPj4gPj4gICAgIGEgcHJvb2YtcmVsZXZhbnQgaW1wcmVkaWNhdGl2ZSB1bml2ZXJzZSBTZXQs IHByb29mLWlycmVsZXZhbnQNCj4+ID4+ICAgICBpbXByZWRpY2F0aXZlIHVuaXZlcnNlIFByb3As IGFuZCBmdW5jdGlvbiBleHRlbnNpb25hbGl0eSAoa25vd24gdG8gYmUpDQo+PiA+PiAgICAgY29u c2lzdGVudD8gSXQgaXMga25vd24gdGhhdCB0aGUgcHJvb2YtaXJyZWxldmFuY2Ugb2YgUHJvcCBt YWtlcyB0aGUgSWQNCj4+ID4+ICAgICB0eXBlIGJlaGF2ZSBkaWZmZXJlbnRseSB1c3VhbCBhbmQg aW4gcGFydGljdWxhciwgbWFrZXMgdGhlIHRoZW9yeQ0KPj4gPj4gICAgIGluY29tcGF0aWJsZSB3 aXRoIHVuaXZhbGVuY2UsIHNvIGl0IGlzIG5vdCBqdXN0IGEgbWF0dGVyIG9mIHRhY2tpbmcgb24N Cj4+ID4+ICAgICBhbiBpbnRlcnByZXRhdGlvbiBmb3IgUHJvcC4NCj4+ID4+DQo+PiA+PiAgICAg VGhhbmtzIGluIGFkdmFuY2UgZm9yIGFueSBpbnNpZ2h0LA0KPj4gPj4NCj4+ID4+ICAgICBLcmlz dGluYQ0KPj4gPj4NCj4+ID4+DQo+PiA+Pg0KPj4gPj4NCj4+ID4+DQo+PiA+Pg0KPj4gPj4NCj4+ ID4+IFRoaXMgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBm b3IgdGhlIGFkZHJlc3NlZQ0KPj4gPj4gYW5kIG1heSBjb250YWluIGNvbmZpZGVudGlhbCBpbmZv cm1hdGlvbi4gSWYgeW91IGhhdmUgcmVjZWl2ZWQgdGhpcw0KPj4gPj4gbWVzc2FnZSBpbiBlcnJv ciwgcGxlYXNlIHNlbmQgaXQgYmFjayB0byBtZSwgYW5kIGltbWVkaWF0ZWx5IGRlbGV0ZSBpdC4N Cj4+ID4+DQo+PiA+PiBQbGVhc2UgZG8gbm90IHVzZSwgY29weSBvciBkaXNjbG9zZSB0aGUgaW5m b3JtYXRpb24gY29udGFpbmVkIGluIHRoaXMNCj4+ID4+IG1lc3NhZ2Ugb3IgaW4gYW55IGF0dGFj aG1lbnQuICBBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2VkIGJ5IHRoZQ0KPj4gPj4gYXV0 aG9yIG9mIHRoaXMgZW1haWwgZG8gbm90IG5lY2Vzc2FyaWx5IHJlZmxlY3QgdGhlIHZpZXdzIG9m IHRoZQ0KPj4gPj4gVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLg0KPj4gPj4NCj4+ID4+IFRoaXMg bWVzc2FnZSBoYXMgYmVlbiBjaGVja2VkIGZvciB2aXJ1c2VzIGJ1dCB0aGUgY29udGVudHMgb2Yg YW4NCj4+ID4+IGF0dGFjaG1lbnQgbWF5IHN0aWxsIGNvbnRhaW4gc29mdHdhcmUgdmlydXNlcyB3 aGljaCBjb3VsZCBkYW1hZ2UgeW91cg0KPj4gPj4gY29tcHV0ZXIgc3lzdGVtLCB5b3UgYXJlIGFk dmlzZWQgdG8gcGVyZm9ybSB5b3VyIG93biBjaGVja3MuIEVtYWlsDQo+PiA+PiBjb21tdW5pY2F0 aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gbWF5IGJlIG1vbml0b3JlZCBh cw0KPj4gPj4gcGVybWl0dGVkIGJ5IFVLIGxlZ2lzbGF0aW9uLg0KPj4gPj4NCj4+IA0KPj4gDQo+ PiANCj4+IA0KPj4gVGhpcyBtZXNzYWdlIGFuZCBhbnkgYXR0YWNobWVudCBhcmUgaW50ZW5kZWQg c29sZWx5IGZvciB0aGUgYWRkcmVzc2VlDQo+PiBhbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFs IGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSByZWNlaXZlZCB0aGlzDQo+PiBtZXNzYWdlIGluIGVy cm9yLCBwbGVhc2Ugc2VuZCBpdCBiYWNrIHRvIG1lLCBhbmQgaW1tZWRpYXRlbHkgZGVsZXRlIGl0 LiANCj4+IA0KPj4gUGxlYXNlIGRvIG5vdCB1c2UsIGNvcHkgb3IgZGlzY2xvc2UgdGhlIGluZm9y bWF0aW9uIGNvbnRhaW5lZCBpbiB0aGlzDQo+PiBtZXNzYWdlIG9yIGluIGFueSBhdHRhY2htZW50 LiAgQW55IHZpZXdzIG9yIG9waW5pb25zIGV4cHJlc3NlZCBieSB0aGUNCj4+IGF1dGhvciBvZiB0 aGlzIGVtYWlsIGRvIG5vdCBuZWNlc3NhcmlseSByZWZsZWN0IHRoZSB2aWV3cyBvZiB0aGUNCj4+ IFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4NCj4+IA0KPj4gVGhpcyBtZXNzYWdlIGhhcyBiZWVu IGNoZWNrZWQgZm9yIHZpcnVzZXMgYnV0IHRoZSBjb250ZW50cyBvZiBhbg0KPj4gYXR0YWNobWVu dCBtYXkgc3RpbGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxkIGRhbWFnZSB5 b3VyDQo+PiBjb21wdXRlciBzeXN0ZW0sIHlvdSBhcmUgYWR2aXNlZCB0byBwZXJmb3JtIHlvdXIg b3duIGNoZWNrcy4gRW1haWwNCj4+IGNvbW11bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkg b2YgTm90dGluZ2hhbSBtYXkgYmUgbW9uaXRvcmVkIGFzDQo+PiBwZXJtaXR0ZWQgYnkgVUsgbGVn aXNsYXRpb24uDQo+PiANCgoKCgpUaGlzIG1lc3NhZ2UgYW5kIGFueSBhdHRhY2htZW50IGFyZSBp bnRlbmRlZCBzb2xlbHkgZm9yIHRoZSBhZGRyZXNzZWUKYW5kIG1heSBjb250YWluIGNvbmZpZGVu dGlhbCBpbmZvcm1hdGlvbi4gSWYgeW91IGhhdmUgcmVjZWl2ZWQgdGhpcwptZXNzYWdlIGluIGVy cm9yLCBwbGVhc2Ugc2VuZCBpdCBiYWNrIHRvIG1lLCBhbmQgaW1tZWRpYXRlbHkgZGVsZXRlIGl0 LiAKClBsZWFzZSBkbyBub3QgdXNlLCBjb3B5IG9yIGRpc2Nsb3NlIHRoZSBpbmZvcm1hdGlvbiBj b250YWluZWQgaW4gdGhpcwptZXNzYWdlIG9yIGluIGFueSBhdHRhY2htZW50LiAgQW55IHZpZXdz IG9yIG9waW5pb25zIGV4cHJlc3NlZCBieSB0aGUKYXV0aG9yIG9mIHRoaXMgZW1haWwgZG8gbm90 IG5lY2Vzc2FyaWx5IHJlZmxlY3QgdGhlIHZpZXdzIG9mIHRoZQpVbml2ZXJzaXR5IG9mIE5vdHRp bmdoYW0uCgpUaGlzIG1lc3NhZ2UgaGFzIGJlZW4gY2hlY2tlZCBmb3IgdmlydXNlcyBidXQgdGhl IGNvbnRlbnRzIG9mIGFuCmF0dGFjaG1lbnQgbWF5IHN0aWxsIGNvbnRhaW4gc29mdHdhcmUgdmly dXNlcyB3aGljaCBjb3VsZCBkYW1hZ2UgeW91cgpjb21wdXRlciBzeXN0ZW0sIHlvdSBhcmUgYWR2 aXNlZCB0byBwZXJmb3JtIHlvdXIgb3duIGNoZWNrcy4gRW1haWwKY29tbXVuaWNhdGlvbnMgd2l0 aCB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9yZWQgYXMKcGVybWl0 dGVkIGJ5IFVLIGxlZ2lzbGF0aW9uLgoK