From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.46.5.3 with SMTP id 3mr483684ljf.7.1513258085302; Thu, 14 Dec 2017 05:28:05 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.46.66.3 with SMTP id p3ls716438lja.11.gmail; Thu, 14 Dec 2017 05:28:03 -0800 (PST) X-Received: by 10.46.99.204 with SMTP id s73mr500630lje.11.1513258083687; Thu, 14 Dec 2017 05:28:03 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1513258083; cv=none; d=google.com; s=arc-20160816; b=PaRUQZzIDTsxtbDQLYdDK9DNZPk1izGjdCRSQapKjhzZshNmSYBvdXfJTqbtz8pzpN 5J/jdKUc64qqPlC1Qy2OU+2+IjKj+1213zrWJJRGfqDYMnBacR1oDWjDrUFMt5LeFL01 +KdH+YTIEjDEwK8hwajI3WJ5qMFlMkfolJhvleFOzvzgogB4UaHLfn3mZYTRdlxOUFhA 2glWmSpvAHi+CMbqdypVbVnslaLpYFClb1hEOHqPU25S3XgPISJgkZLaVLqzkWdWKd3X pkKmePk+feEySmie1tHOke5XK+l/Tn8TJDSOCEnYcPOvQccalwnw2I5TWtqY3RMwzk4e ziCQ== 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:to:from :arc-authentication-results; bh=/ll+N/Qrb9A1FQvaV8Fbf+8gwybU+kE7AmeS6Ydy+dw=; b=AdxkyDoWXuBG21yuvHSny/c39G7lIdZvRXCWjp+8fqbdGlLzp5gmfBaNUFhTu+24vN XqxYogZTvAXVSqkI6+OHIZU2GsKPphIXlbsFXYW7MBvsR5RLPfO/b20h+HUwWFo1uP8j v6123frlegyfaj+Lmc3WEX4FzssPAptahYf+yhnjMsZtGQ2uioIUPYeeXSZ1XYBwzpgM tbfuvLNCJgkqajBD3M6YH8XgY8S9FjN0yRX3zdg+3A57xNVkw4ya0eclUyMCG2/e6Ya0 +/JVjpBldKZLLLx5MX1hS5m/V/Jb6vo27AkxzqR3IFnVsuEtfSxhEik8UYbv+AlKqlcG DoEQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.124 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Return-Path: Received: from uidappmx01.nottingham.ac.uk (uidappmx01.nottingham.ac.uk. [128.243.43.124]) by gmr-mx.google.com with ESMTP id i88si355955lfh.4.2017.12.14.05.28.03 for ; Thu, 14 Dec 2017 05:28:03 -0800 (PST) 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; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.124 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Received: from uidappmx01.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 1772C528CC3_A327C63B for ; Thu, 14 Dec 2017 13:28:03 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) by uidappmx01.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id B25384C6999_A327C62F for ; Thu, 14 Dec 2017 13:28:02 +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 1ePTYQ-00016I-My; Thu, 14 Dec 2017 13:28:02 +0000 Received: from EUR02-VE1-obe.outbound.protection.outlook.com (213.199.154.53) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.351.0; Thu, 14 Dec 2017 13:28:02 +0000 Received: from DB5PR06MB1717.eurprd06.prod.outlook.com (10.165.213.15) by DB5PR06MB1719.eurprd06.prod.outlook.com (10.165.213.17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.302.9; Thu, 14 Dec 2017 13:28:01 +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; Thu, 14 Dec 2017 13:28:01 +0000 From: Thorsten Altenkirch To: =?utf-8?B?R2HDq3RhbiBHaWxiZXJ0?= , "homotopyt...@googlegroups.com" Subject: Re: [HoTT] Impredicative set + function extensionality + proof irrelevance consistent? Thread-Topic: [HoTT] Impredicative set + function extensionality + proof irrelevance consistent? Thread-Index: AQHTcje6ntODVCgsJUW7bijhlNm7RaM+MsiAgAFNJACAAA1dAIADRiGAgAAG3wA= Date: Thu, 14 Dec 2017 13:28:01 +0000 Message-ID: <45C8CFE4-DFEA-478A-9CF2-D521251C9C2C@exmail.nottingham.ac.uk> References: <4c4fe126-f429-0c82-25e8-80bfb3a0ac78@gmail.com> <11CC10D7-7853-48E7-88BD-42A8EFD47998@exmail.nottingham.ac.uk> In-Reply-To: Accept-Language: en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/f.21.0.170409 authentication-results: spf=none (sender IP is ) smtp.mailfrom=psz...@exmail.nottingham.ac.uk; x-originating-ip: [128.243.20.140] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DB5PR06MB1719;6:LCx3snf384gJXeQ+dvKEzEkGFsOwfJJTYB470IhxS/mr9USWJ9A6LxXvFaByWkTojVCq5d09Mb7IBb44OXZP+mZiPc2WxiSIF7FOiC2xjyzVzLY/wy3drzLPc0Tepp4V19fYvO6M9qoRkEMUbJckHBuZAlgypE6NSYFKfS/dK0sd4Z/PTL3UmWy4cPLFsBeja/ZoJnZj5DzwH/FnVWn+ICdVrN4GoY+/6Bum5eJ77aVnzZhu41wGwyTz1UlkD+FSxozpHot442g7PuO0cS/lK19fNdA9wjnobhWv3JdHPcLVelmSssugVWpZr+RZ7KOQSAi8Q6DXP+4HuPwDS9guhdMbU3meruRwOZqeGixLkYk=;5:WBpZkgSYdGLW+EFtTMqJaVYA6uK3/GLWdPDLOG23jEFeoHsqLcq8TTn2NxLx5dYokXf22D/7c7/uHDaF/db2Ba15zqyjec0ovPDB8wWdbtLr8LCVZdUnaKhFWHm5HcE7/Fb+mF8NwBSSVF+xjerTmK6Mkr+qaZy9sG3qk6BqTF4=;24:LZiMaLBY5Q9hyarw/ZI4IYNkCWnvJULVk69yH0mtwLsBHDC1CpFRAZfKbpp/blMRxWZm1zvkXf9+vtRyvcuzGlmMilVNLWfvyAi37Bgk/Yw=;7:G9huX+5j+4FnhfrmqOQN+QziUScgNng8cwvpU7zyx4sxRvRf/iVz16dm2rwEAbD6CXdhQIviEABvFsIZAYixQieo7e6r7c7n9HmtHZ/XCKQx9k8Gu+SFzJ1rrqVAg3bBsftsXiwHWJbHumh+EmvNSpbA0X/mmVnEBaMr/MIEv67nTfKG+hXzyvrMMIqpqO4mLX8tLhscgZGhUGNpuJR7Jqxu3oHR447j1zaaovX8kjCo0qIKtgdyWtmHZ2NYWJ9b x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: bc7d77f9-ef59-41c3-ba11-08d542f67f85 x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(4534020)(4602075)(4627115)(201703031133081)(201702281549075)(5600026)(4604075)(2017052603307);SRVR:DB5PR06MB1719; x-ms-traffictypediagnostic: DB5PR06MB1719: 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)(5005006)(8121501046)(3231023)(920507027)(93006095)(93001095)(10201501046)(3002001)(6041248)(20161123555025)(20161123558100)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(201703061406153)(20161123560025)(20161123564025)(20161123562025)(6072148)(201708071742011);SRVR:DB5PR06MB1719;BCL:0;PCL:0;RULEID:(100000803101)(100110400095);SRVR:DB5PR06MB1719; x-forefront-prvs: 05214FD68E x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(979002)(376002)(366004)(396003)(39860400002)(346002)(24454002)(199004)(189003)(51874003)(110136005)(81166006)(8676002)(7736002)(2501003)(86362001)(34040400001)(93886005)(81156014)(5250100002)(5890100001)(83506002)(68736007)(8936002)(33656002)(2950100002)(786003)(5660300001)(25786009)(305945005)(2906002)(42882006)(6506007)(2900100001)(316002)(105586002)(53546011)(14454004)(82746002)(106356001)(58126008)(74482002)(83716003)(102836003)(6512007)(53936002)(6116002)(3846002)(6436002)(6306002)(6486002)(6246003)(59450400001)(97736004)(76176011)(45080400002)(99286004)(3280700002)(966005)(66066001)(229853002)(3660700001)(478600001)(42522002)(42262002)(969003)(989001)(999001)(1009001)(1019001);DIR:OUT;SFP:1102;SCL:1;SRVR:DB5PR06MB1719;H:DB5PR06MB1717.eurprd06.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;A:1;MX: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: <385CA92CA7E11541...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: bc7d77f9-ef59-41c3-ba11-08d542f67f85 X-MS-Exchange-CrossTenant-originalarrivaltime: 14 Dec 2017 13:28:01.0557 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR06MB1719 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size SSBndWVzcyB5b3UgYXJlIGNvbmNlcm5lZCB0aGF0IHdoaWxlIHNpbmdsZXRvbiBpcyBjb250cmFj dGlibGUgaW4gSG9UVCwgdGhpcyBpcyBub3QgdHJ1ZSBpZiB3ZSB1c2UgYW4gZXF1YWxpdHkgd2hp Y2ggaXMgYWx3YXlzIHByb3Bvc2l0aW9uYWwNCg0KSG93ZXZlciwgc2luY2UgSSBhbSB0YWxraW5n IGFib3V0IHNldC1sZXZlbCBIb1RULCBJIGFtIGFzc3VtaW5nIEE6U2V0ICh0aGF0IGlzIEhTZXQp LiBCdHcsIEkgbWVhbnQgU2luZ2xlKGEpIDogSFByb3AgKHNpbmNlIHRoZXJlIGlzIHRoZSBvdGhl ciBzdGF0aWMgUHJvcCBhcyB3ZWxsKS4NCg0KQnV0IEkgdGhpbmsgTWlrZeKAmXMgY29tbWVudCBu YWlscyBpdC4NCg0KVGhvcnN0ZW4NCg0KT24gMTQvMTIvMjAxNywgMTM6MDMsICJob21vdG9weXQu Li5AZ29vZ2xlZ3JvdXBzLmNvbSBvbiBiZWhhbGYgb2YgR2HDq3RhbiBHaWxiZXJ0IiA8aG9tb3Rv cHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIGdhZXRhbi4uLi5Ac2t5c2tpbW1l ci5uZXQ+IHdyb3RlOg0KDQogICAgID5XZSBoYXZlIFNpbmdsZShhKSA6IFByb3ANCiAgICANCiAg ICBIb3cgZG8gd2UgaGF2ZSB0aGlzIHdpdGhvdXQgdHJ1bmNhdGluZyAod2hpY2ggbWVhbnMgd2Ug ZG9uJ3QgaGF2ZSANCiAgICBwcm9qZWN0aW9ucyk/DQogICAgDQogICAgR2HDq3RhbiBHaWxiZXJ0 DQogICAgDQogICAgT24gMTIvMTIvMjAxNyAxMjowMywgVGhvcnN0ZW4gQWx0ZW5raXJjaCB3cm90 ZToNCiAgICA+IElmIHlvdSBoYXZlIHByb29mLWlycmVsZXZhbmNlIGluIHRoZSBzdHJvbmcgZGVm aW5pdGlvbmFsIHNlbnNlIHRoZW4geW91IGNhbm5vdCBiZSBpbiBhIHRvcG9zLiBUaGlzIGNhbWUg dXAgcmVjZW50bHkgaW4gdGhlIGNvbnRleHQgb2YgTGVhbiB3aGljaCBpcyBhIHR5cGUtdGhlb3J5 IGJhc2VkIGludGVyYWN0aXZlIHByb29mIHN5c3RlbSBkZXZlbG9wZWQgYXQgbWljcm9zb2Z0IGFu ZCB3aGljaCBkb2VzIGltcGxlbWVudCBwcm9vZi1pcnJlbHZhbmNlLiBOb3RlIHRoYXQgYW55IHRv cG9zIGhhcyBleHRQcm9wOg0KICAgID4gDQogICAgPiBHaXZlbiBhOkEgZGVmaW5lIFNpbmdsZShh KSA9IFNpZ21hIHg6QS5hPXguIFdlIGhhdmUgU2luZ2xlKGEpIDogUHJvcCBhbmQNCiAgICA+IA0K ICAgID4gcCA6IFNpbmdsZSh0cnVlKSA8LT4gU2luZ2xlKGZhbHNlKQ0KICAgID4gDQogICAgPiBz aW5jZSBib3RoIGFyZSBpbmhhYml0ZWQuIEhlbmNlIGJ5IGV4dFByb3ANCiAgICA+IA0KICAgID4g ZXh0UHJvcCBwIDogU2luZ2xlKHRydWUpID0gU2luZ2xlKGZhbHNlKQ0KICAgID4gDQogICAgPiBu b3cgd2UgY2FuIHVzZSB0cmFuc3BvcnQgb24gKHRydWUscmVmbCkgOiBTaW5nbGUodHJ1ZSkgdG8g b2J0YWluDQogICAgPiANCiAgICA+IHggPSAoZXh0UHJvcCBwKSoodHJ1ZSxyZWZsKSA6IFNpbmds ZShmYWxzZSkNCiAgICA+IA0KICAgID4gYW5kIHdlIGNhbiBzaG93IHRoYXQNCiAgICA+IA0KICAg ID4gc2Vjb25kIHggOiBmaXJzdCB4ID0gZmFsc2UNCiAgICA+IA0KICAgID4gYnV0IHNpbmNlIExl YW4gY29tcHV0YXRpb25hbGx5IGlnbm9yZXMgKGV4dFByb3AgcCkqIHdlIGFsc28gZ2V0IChkZWZp bml0aW9uYWxseSk6DQogICAgPiANCiAgICA+IGZpcnN0IHggPT0gdHJ1ZQ0KICAgID4gDQogICAg PiBNeSBjb25jbHVzaW9uIGlzIHRoYXQgc3Ryb25nIHByb29mLWlycmVsdmFuY2UgaXMgYSBiYWQg aWRlYSAobm90ZSB0aGF0IG15IOKAmTk5IHBhcGVyIG9uIEV4dGVuc2lvbmFsaXR5IGluIEludGVu c2lvbmFsIFR5cGUgVGhlb3J5IHVzZWQgZXhhY3RseSB0aGlzKS4gSXQgaXMgbW9yZSBpbXBvcnRh bnQgdGhhdCBvdXIgY29yZSB0aGVvcnkgaXMgZXh0ZW5zaW9uYWwgYW5kIHNvbWV0aGluZyBwcmFn bWF0aWNhbGx5IGNsb3NlIHRvIGRlZmluaXRpb25hbCBwcm9vZi1pcnJlbGV2YW5jZSBjYW4gYmUg cmVhbGlzZWQgYXMgc29tZSB0YWN0aWMgYmFzZWQgc3VnYXIuIEl0IGhhcyBubyByb2xlIGluIGEg Zm91bmRhdGlvbmFsIGNhbGN1bHVzLg0KICAgID4gDQogICAgPiANCiAgICA+IFRob3JzdGVuDQog ICAgPiANCiAgICA+IA0KICAgID4gDQogICAgPiANCiAgICA+IE9uIDEyLzEyLzIwMTcsIDEwOjE1 LCAiQW5kcmVhIFZlenpvc2kiIDxzYW56Li4uQGdtYWlsLmNvbT4gd3JvdGU6DQogICAgPiANCiAg ICA+PiBPbiBNb24sIERlYyAxMSwgMjAxNyBhdCAzOjIzIFBNLCBUaG9yc3RlbiBBbHRlbmtpcmNo DQogICAgPj4gPFRob3JzdGVuLi4uLkBub3R0aW5naGFtLmFjLnVrPiB3cm90ZToNCiAgICA+Pj4g SGkgS3Jpc3RpbmEsDQogICAgPj4+DQogICAgPj4+IEkgZ3Vlc3MgeW91IGFyZSBub3QgYXNzdW1p bmcgUHJvcDpTZXQgYmVjYXVzZSB0aGF0IHdvdWxkIGJlIFN5c3RlbSBVIGFuZCBoZW5jZSBpbmNv bnNpc3RlbnQuDQogICAgPj4+DQogICAgPj4+IEJ5IHByb29mLWlycmVsZXZhbmNlIEkgYXNzdW1l IHRoYXQgeW91IG1lYW4gdGhhdCBhbnkgdHdvIGluaGFiaXRhbnRzIG9mIGEgcHJvcG9zaXRpb24g YXJlIGRlZmluaXRpb25hbGx5IGVxdWFsLiBUaGlzIGFzc3VtcHRpb24gaXMgaW5jb25zaXN0ZW50 IHdpdGggaXQgYmVpbmcgYSB0b3BzIHNpbmNlIGluIGFueSBUb3BvcyB5b3UgZ2V0IHByb3Bvc2l0 aW9uYWwgZXh0ZW5zaW9uYWxpdHksIHRoYXQgaXMgUCxRIDogUHJvcCwgKFAgPC0+IFEpIDwtPiAo UCA9IFEpLCB3aGljaCBpcyBpbmRlZWQgYW4gaW5zdGFuY2Ugb2YgdW5pdmFsZW5jZS4NCiAgICA+ Pj4NCiAgICA+Pg0KICAgID4+IEkgZG9uJ3Qga25vdyBpZiBpdCdzIHJlbGV2YW50IHRvIHRoZSBj dXJyZW50IGRpc2N1c3Npb24sIGJ1dCBJIHRob3VnaHQNCiAgICA+PiB0aGUgdG9wb3Mgb2Ygc2V0 cyB3aXRoIFByb3AgdGFrZW4gdG8gYmUgdGhlIGJvb2xlYW5zIHdvdWxkIHN1cHBvcnQNCiAgICA+ PiBib3RoIHByb29mIGlycmVsZXZhbmNlIGFuZCBwcm9wb3NpdGlvbmFsIGV4dGVuc2lvbmFsaXR5 LCBjbGFzc2ljYWxseQ0KICAgID4+IGF0IGxlYXN0LiBJcyB0aGVyZSBzb21lIGV4dHJhIGFzc3Vt cHRpb24gSSBhbSBtaXNzaW5nIGhlcmU/DQogICAgPj4NCiAgICA+Pg0KICAgID4+PiBJdCBzaG91 bGQgYmUgcG9zc2libGUgdG8gdXNlIGEgcmVhbGl6YWJpbGl0eSBzZW1hbnRpY3MgbGlrZSBvbWVn YS1zZXRzIG9yIExhbWJkYS1zZXRzIHRvIG1vZGVsIHRoZSBpbXByZWRpY2F0aXZlIHRoZW9yeSBh bmQgaWRlbnRpZnkgdGhlIHByb3Bvc2l0aW9ucyB3aXRoIFBFUnMgdGhhdCBhcmUganVzdCBzdWJz ZXRzLg0KICAgID4+Pg0KICAgID4+PiBDaGVlcnMsDQogICAgPj4+IFRob3JzdGVuDQogICAgPj4+ DQogICAgPj4+DQogICAgPj4+IE9uIDExLzEyLzIwMTcsIDA0OjIyLCAiaG9tb3RvcHl0Li4uQGdv b2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIEtyaXN0aW5hIFNvamFrb3ZhIiA8aG9tb3RvcHl0 Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIHNvamFrb3ZhLi4uQGdtYWlsLmNvbT4g d3JvdGU6DQogICAgPj4+DQogICAgPj4+ICAgICAgRGVhciBhbGwsDQogICAgPj4+DQogICAgPj4+ ICAgICAgSSBhc2tlZCB0aGlzIHF1ZXN0aW9uIGxhc3QgeWVhciBvbiB0aGUgY29xLWNsdWIgbWFp bGluZyBsaXN0IGJ1dCBkaWQgbm90DQogICAgPj4+ICAgICAgcmVjZWl2ZSBhIGNvbmNsdXNpdmUg YW5zd2VyIHNvIEkgYW0gdHJ5aW5nIGhlcmUgbm93LiBJcyB0aGUgdGhlb3J5IHdpdGgNCiAgICA+ Pj4gICAgICBhIHByb29mLXJlbGV2YW50IGltcHJlZGljYXRpdmUgdW5pdmVyc2UgU2V0LCBwcm9v Zi1pcnJlbGV2YW50DQogICAgPj4+ICAgICAgaW1wcmVkaWNhdGl2ZSB1bml2ZXJzZSBQcm9wLCBh bmQgZnVuY3Rpb24gZXh0ZW5zaW9uYWxpdHkgKGtub3duIHRvIGJlKQ0KICAgID4+PiAgICAgIGNv bnNpc3RlbnQ/IEl0IGlzIGtub3duIHRoYXQgdGhlIHByb29mLWlycmVsZXZhbmNlIG9mIFByb3Ag bWFrZXMgdGhlIElkDQogICAgPj4+ICAgICAgdHlwZSBiZWhhdmUgZGlmZmVyZW50bHkgdXN1YWwg YW5kIGluIHBhcnRpY3VsYXIsIG1ha2VzIHRoZSB0aGVvcnkNCiAgICA+Pj4gICAgICBpbmNvbXBh dGlibGUgd2l0aCB1bml2YWxlbmNlLCBzbyBpdCBpcyBub3QganVzdCBhIG1hdHRlciBvZiB0YWNr aW5nIG9uDQogICAgPj4+ICAgICAgYW4gaW50ZXJwcmV0YXRpb24gZm9yIFByb3AuDQogICAgPj4+ DQogICAgPj4+ICAgICAgVGhhbmtzIGluIGFkdmFuY2UgZm9yIGFueSBpbnNpZ2h0LA0KICAgID4+ Pg0KICAgID4+PiAgICAgIEtyaXN0aW5hDQogICAgPj4+DQogICAgPj4+ICAgICAgLS0NCiAgICA+ Pj4gICAgICBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3Jp YmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQog ICAgPj4+ICAgICAgVG8gdW5zdWJzY3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2Vp dmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFpbCB0byBIb21vdG9weVR5cGVUaGUuLi5A Z29vZ2xlZ3JvdXBzLmNvbS4NCiAgICA+Pj4gICAgICBGb3IgbW9yZSBvcHRpb25zLCB2aXNpdCBo dHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2Qvb3B0b3V0Lg0KICAgID4+Pg0KICAgID4+Pg0KICAg ID4+Pg0KICAgID4+Pg0KICAgID4+Pg0KICAgID4+Pg0KICAgID4+PiBUaGlzIG1lc3NhZ2UgYW5k IGFueSBhdHRhY2htZW50IGFyZSBpbnRlbmRlZCBzb2xlbHkgZm9yIHRoZSBhZGRyZXNzZWUNCiAg ICA+Pj4gYW5kIG1heSBjb250YWluIGNvbmZpZGVudGlhbCBpbmZvcm1hdGlvbi4gSWYgeW91IGhh dmUgcmVjZWl2ZWQgdGhpcw0KICAgID4+PiBtZXNzYWdlIGluIGVycm9yLCBwbGVhc2Ugc2VuZCBp dCBiYWNrIHRvIG1lLCBhbmQgaW1tZWRpYXRlbHkgZGVsZXRlIGl0Lg0KICAgID4+Pg0KICAgID4+ PiBQbGVhc2UgZG8gbm90IHVzZSwgY29weSBvciBkaXNjbG9zZSB0aGUgaW5mb3JtYXRpb24gY29u dGFpbmVkIGluIHRoaXMNCiAgICA+Pj4gbWVzc2FnZSBvciBpbiBhbnkgYXR0YWNobWVudC4gIEFu eSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQgYnkgdGhlDQogICAgPj4+IGF1dGhvciBvZiB0 aGlzIGVtYWlsIGRvIG5vdCBuZWNlc3NhcmlseSByZWZsZWN0IHRoZSB2aWV3cyBvZiB0aGUNCiAg ICA+Pj4gVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLg0KICAgID4+Pg0KICAgID4+PiBUaGlzIG1l c3NhZ2UgaGFzIGJlZW4gY2hlY2tlZCBmb3IgdmlydXNlcyBidXQgdGhlIGNvbnRlbnRzIG9mIGFu DQogICAgPj4+IGF0dGFjaG1lbnQgbWF5IHN0aWxsIGNvbnRhaW4gc29mdHdhcmUgdmlydXNlcyB3 aGljaCBjb3VsZCBkYW1hZ2UgeW91cg0KICAgID4+PiBjb21wdXRlciBzeXN0ZW0sIHlvdSBhcmUg YWR2aXNlZCB0byBwZXJmb3JtIHlvdXIgb3duIGNoZWNrcy4gRW1haWwNCiAgICA+Pj4gY29tbXVu aWNhdGlvbnMgd2l0aCB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9y ZWQgYXMNCiAgICA+Pj4gcGVybWl0dGVkIGJ5IFVLIGxlZ2lzbGF0aW9uLg0KICAgID4+Pg0KICAg ID4+PiAtLQ0KICAgID4+PiBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFy ZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRoZW9yeSIg Z3JvdXAuDQogICAgPj4+IFRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBhbmQgc3RvcCBy ZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8gSG9tb3RvcHlUeXBlVGhl Li4uQGdvb2dsZWdyb3Vwcy5jb20uDQogICAgPj4+IEZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IGh0 dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQuDQogICAgPiANCiAgICA+IA0KICAgID4g DQogICAgPiANCiAgICA+IFRoaXMgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVu ZGVkIHNvbGVseSBmb3IgdGhlIGFkZHJlc3NlZQ0KICAgID4gYW5kIG1heSBjb250YWluIGNvbmZp ZGVudGlhbCBpbmZvcm1hdGlvbi4gSWYgeW91IGhhdmUgcmVjZWl2ZWQgdGhpcw0KICAgID4gbWVz c2FnZSBpbiBlcnJvciwgcGxlYXNlIHNlbmQgaXQgYmFjayB0byBtZSwgYW5kIGltbWVkaWF0ZWx5 IGRlbGV0ZSBpdC4NCiAgICA+IA0KICAgID4gUGxlYXNlIGRvIG5vdCB1c2UsIGNvcHkgb3IgZGlz Y2xvc2UgdGhlIGluZm9ybWF0aW9uIGNvbnRhaW5lZCBpbiB0aGlzDQogICAgPiBtZXNzYWdlIG9y IGluIGFueSBhdHRhY2htZW50LiAgQW55IHZpZXdzIG9yIG9waW5pb25zIGV4cHJlc3NlZCBieSB0 aGUNCiAgICA+IGF1dGhvciBvZiB0aGlzIGVtYWlsIGRvIG5vdCBuZWNlc3NhcmlseSByZWZsZWN0 IHRoZSB2aWV3cyBvZiB0aGUNCiAgICA+IFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4NCiAgICA+ IA0KICAgID4gVGhpcyBtZXNzYWdlIGhhcyBiZWVuIGNoZWNrZWQgZm9yIHZpcnVzZXMgYnV0IHRo ZSBjb250ZW50cyBvZiBhbg0KICAgID4gYXR0YWNobWVudCBtYXkgc3RpbGwgY29udGFpbiBzb2Z0 d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxkIGRhbWFnZSB5b3VyDQogICAgPiBjb21wdXRlciBzeXN0 ZW0sIHlvdSBhcmUgYWR2aXNlZCB0byBwZXJmb3JtIHlvdXIgb3duIGNoZWNrcy4gRW1haWwNCiAg ICA+IGNvbW11bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSBtYXkg YmUgbW9uaXRvcmVkIGFzDQogICAgPiBwZXJtaXR0ZWQgYnkgVUsgbGVnaXNsYXRpb24uDQogICAg PiANCiAgICANCiAgICAtLSANCiAgICBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2Ug eW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRo ZW9yeSIgZ3JvdXAuDQogICAgVG8gdW5zdWJzY3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9w IHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFpbCB0byBIb21vdG9weVR5cGVU aGUuLi5AZ29vZ2xlZ3JvdXBzLmNvbS4NCiAgICBGb3IgbW9yZSBvcHRpb25zLCB2aXNpdCBodHRw czovL2dyb3Vwcy5nb29nbGUuY29tL2Qvb3B0b3V0Lg0KICAgIA0KDQoKCgoKVGhpcyBtZXNzYWdl IGFuZCBhbnkgYXR0YWNobWVudCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2Vl CmFuZCBtYXkgY29udGFpbiBjb25maWRlbnRpYWwgaW5mb3JtYXRpb24uIElmIHlvdSBoYXZlIHJl Y2VpdmVkIHRoaXMKbWVzc2FnZSBpbiBlcnJvciwgcGxlYXNlIHNlbmQgaXQgYmFjayB0byBtZSwg YW5kIGltbWVkaWF0ZWx5IGRlbGV0ZSBpdC4gCgpQbGVhc2UgZG8gbm90IHVzZSwgY29weSBvciBk aXNjbG9zZSB0aGUgaW5mb3JtYXRpb24gY29udGFpbmVkIGluIHRoaXMKbWVzc2FnZSBvciBpbiBh bnkgYXR0YWNobWVudC4gIEFueSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQgYnkgdGhlCmF1 dGhvciBvZiB0aGlzIGVtYWlsIGRvIG5vdCBuZWNlc3NhcmlseSByZWZsZWN0IHRoZSB2aWV3cyBv ZiB0aGUKVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLgoKVGhpcyBtZXNzYWdlIGhhcyBiZWVuIGNo ZWNrZWQgZm9yIHZpcnVzZXMgYnV0IHRoZSBjb250ZW50cyBvZiBhbgphdHRhY2htZW50IG1heSBz dGlsbCBjb250YWluIHNvZnR3YXJlIHZpcnVzZXMgd2hpY2ggY291bGQgZGFtYWdlIHlvdXIKY29t cHV0ZXIgc3lzdGVtLCB5b3UgYXJlIGFkdmlzZWQgdG8gcGVyZm9ybSB5b3VyIG93biBjaGVja3Mu IEVtYWlsCmNvbW11bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSBt YXkgYmUgbW9uaXRvcmVkIGFzCnBlcm1pdHRlZCBieSBVSyBsZWdpc2xhdGlvbi4KCg==