From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.80.145.246 with SMTP id h51mr2976618eda.10.1513254764787; Thu, 14 Dec 2017 04:32:44 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.80.154.229 with SMTP id p92ls2186282edb.8.gmail; Thu, 14 Dec 2017 04:32:43 -0800 (PST) X-Received: by 10.80.142.245 with SMTP id x50mr2967214edx.0.1513254763366; Thu, 14 Dec 2017 04:32:43 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1513254763; cv=none; d=google.com; s=arc-20160816; b=SHay0W/j326qA4kIyAqnmNoUJmoL8SU9liPLfl+otsPWU23AeTgC0t6Ja5Na4U96GA MkrLmYaIDaNkSu/ieeLOX+k4Ks8GCtDIBk+2r05mUGLWlg+8I3WGEBRBnELf1Su8h+my YxRe7J9fBOHXdYNU94ILo4Hmdp2Xm0wwsJiIex4cQaaAONI8AsSuhoeInR5BcLmAgK/T riTTQi8pfccNLoHnQqK1phf/Wq9TTqLa4leHeWN5ZLEaxu4lLDeWxTZ1B6cFhCBlveBd eDQVM2fomW64kTVJXZdwCqrlpETeM3IL//efPlryqsQfikFshpWhgZtpNGjFYtesV4/t LH8Q== 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=K1kIQvQCjBtnjc7Yr2J0D6rxJWPlh8z1Cp3Lw94IlV4=; b=WKOQCZPDa4pzX5w8f3q4Wz5cuOHiERgEirLeMPjhZe3hZ2pCOMad+Ic/ga4Xs7n+IW Vv/y2lZ8ngc5OG4Spx9lvnomgh6YNYDLFDyQPkG9RnqYg3cZsOjXozfdov2r34PGO4UQ jSqFpm/YVKyuOM0Z08NmotI8iF620SBQJ6Qr1+wl8HUhLQRwybKbhiM/dY0EJ9QFZois TH554+fXfBfiKL7eifiZ1nkO6A/FydBqv9/EhBus8e4jfSKWRc8frQqL3eC+690f+4yH r9RJeAUiBOTwwPxGoEAowc/A6EFSLH5NHFdwy5Vo/gT6SNOOvcybPhL9Bxuy5fOR9xPW PnAw== 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 m7si438064edm.4.2017.12.14.04.32.43 for ; Thu, 14 Dec 2017 04:32:43 -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 12375528D0B_A326F6BB for ; Thu, 14 Dec 2017 12:32:43 +0000 (GMT) Received: from smtp3.nottingham.ac.uk (smtp3.nottingham.ac.uk [128.243.44.55]) by uidappmx01.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id A1BF04C6909_A326F6AF for ; Thu, 14 Dec 2017 12:32:42 +0000 (GMT) Received: from uiwexhub03.is.nottingham.ac.uk ([128.243.15.146] helo=UIWEXHUB03.ad.nottingham.ac.uk) by smtp3.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.85) (envelope-from ) id 1ePSgs-00022v-MX; Thu, 14 Dec 2017 12:32:42 +0000 Received: from EUR02-VE1-obe.outbound.protection.outlook.com (213.199.154.52) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.351.0; Thu, 14 Dec 2017 12:32:42 +0000 Received: from DB5PR06MB1717.eurprd06.prod.outlook.com (10.165.213.15) by DB5PR06MB1717.eurprd06.prod.outlook.com (10.165.213.15) 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 12:32:40 +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 12:32:40 +0000 From: Thorsten Altenkirch To: Michael Shulman CC: 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+MsiAgAFNJACAAA1dAIAAEHaAgAAFP4CAALaXAIACcT2A Date: Thu, 14 Dec 2017 12:32:40 +0000 Message-ID: References: <4c4fe126-f429-0c82-25e8-80bfb3a0ac78@gmail.com> <11CC10D7-7853-48E7-88BD-42A8EFD47998@exmail.nottingham.ac.uk> <20171212120233.GA32661@mathematik.tu-darmstadt.de> <643DFB5A-10F8-467F-AC3A-46D4BC938E85@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;DB5PR06MB1717;6:e2t7qbkqL5Dio4rxYluTzB+hry7dU1M5qVs0pJyUEUaJ9Riv3TkRJioX+EeEN7oBsbGOtcD7Zr+IO/AReIe7/q8I4eJfv/m9cFhx+dqi2n9mLUvY71AVA2UtuD9QhmSdipKYH9+UX8xAPzb84Pjrj6mEtgf0hdJN3A75pj6IKHHjT0RoHgOdDBeTDRRijVhREVVZ1wJrfh9/aTw+wqD5XwidvpY0Y0iFf2Nps//2OYdP3Yi/JF5qZ7Q66A7ydhiXUSSeScnybIt5rycbVLOs2YyYLLWpGxDSwGOPEMO2JUog4t4+y/4jN1fj9aNV5tLbHLOmwhaoteN0mnyZPp8Dv5wbIU1PhtSMnRkxfsi0baA=;5:qFKhh+29sRFxApzCY1LVRPvgcGbYTZtwKve7Fk+Ml1RiWR1hlXWO8A64P10nYxOKyR66vcxP4tPlksZl0CInXcq/BD7BvVAAUNcHvb6uBPHq4fVc4lJyQlbDOV8pvwq0/csbowfkZF69IyV3oXOKTXwUVdtCkdZ6e/I8P8uPAxI=;24:SOtx5kzEKAd81TC2GQm9rA7AfauJ6dITYHQk/lIW1NlWX5eftP5rF2i40cSw6aLT/sszZDL4DYSa3OdqXcskhoTjLB6aCIF6giw8ewLHVNA=;7:0AUlRlukWRuipkBcBX5JDDW33v/7b6fU0LPu3H57oeOBACq4d6bs4MhXFQG2i5/XWJ6hbBxwVmiBmVhfCSlV2vLZvr4k7dfeRqZqsDu9OBMAmxwfjap90hNYnWv52X69BKTV97rXLbMt18HxUHDaIuNwMqkHUqtguBhVQAZl5DxZVuazu5+MdzVjq5RPlWiUlaWU+orlHukrVrMbFVwj7CEhY8sA26GFjqakSRMKZ2UgKaIF35NZ4uOlFKGgZAJT x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: 3e52581a-35c1-4cb1-1c8a-08d542eec43a x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(4534020)(4602075)(4627115)(201703031133081)(201702281549075)(5600026)(4604075)(2017052603307);SRVR:DB5PR06MB1717; x-ms-traffictypediagnostic: DB5PR06MB1717: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(215639381216008)(228788266533470)(131327999870524)(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:DB5PR06MB1717;BCL:0;PCL:0;RULEID:(100000803101)(100110400095);SRVR:DB5PR06MB1717; x-forefront-prvs: 05214FD68E x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(39860400002)(396003)(376002)(366004)(346002)(51874003)(189003)(199004)(24454002)(93886005)(229853002)(86362001)(5890100001)(45080400002)(58126008)(83506002)(5250100002)(6436002)(6512007)(6486002)(2900100001)(106356001)(33656002)(305945005)(3280700002)(2171002)(6246003)(105586002)(53936002)(316002)(786003)(6306002)(3846002)(102836003)(74482002)(97736004)(3660700001)(82746002)(25786009)(53546011)(34040400001)(6506007)(68736007)(4326008)(5660300001)(8676002)(8936002)(2906002)(81166006)(81156014)(83716003)(14454004)(2950100002)(7736002)(478600001)(99286004)(59450400001)(6116002)(6916009)(76176011)(42882006)(966005)(66066001)(42522002)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:DB5PR06MB1717;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: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 3e52581a-35c1-4cb1-1c8a-08d542eec43a X-MS-Exchange-CrossTenant-originalarrivaltime: 14 Dec 2017 12:32:40.3023 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR06MB1717 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size RXhjZWxsZW50IG9ic2VydmF0aW9uISBTbyBiYXNpY2FsbHkgdGhlIGltcGxlbWVudGF0aW9uIG9m IExlYW4gaXMgaW5jb3JyZWN0IGJlY2F1c2Ugd2Ugc2hvdWxkbuKAmXQgYmUgYWJsZSB0byBkZXJp dmUgdHJ1ZSA9IGZhbHNlIGZyb20gdGhlIGFzc3VtcHRpb24gb2YgcHJvcG9zaXRpb25hbCBleHRl bnNpb25hbGl0eSBpZiB3ZSB0YWtlIGFjY291bnQgb2YgdGhlIHR5cGUgYW5ub3RhdGlvbnMuDQoN ClRoZSBleGFtcGxlIGFyb3NlIGZyb20gdGhlIHF1ZXN0aW9uIHdoZXRoZXIgd2UgY2FuIGFkZCBw cm9wb3NpdGlvbmFsIGV4dGVuc2lvbmFsaXR5IHRvIExlYW4uIFRoYXQgcyB3ZSBkZWZpbmUgSFBy b3AgPSBTaWdtYSBQOlR5cGUuUGkgeCx5LlAueD15LiBOb3RlIHRoYXQgdGhlIGVxdWFsaXR5IHdl IHVzZSBoZXJlIGlzIHRoZSBzdGF0aWMgUHJvcCB2YWx1ZWQgZXF1YWxpdHkuIE5vdyBJIHN1Z2dl c3RlZCB0byBhZGQgcHJvcG9zaXRpb25hbCBleHRlbnNpb25hbGl0eSBmb3IgSFByb3AgYXMgYW4g YXhpb20gdG8gTGVhbiBidXQgaXQgc2VlbWVkIHRvIGxlYWQgdG8gdGhlIHByb2JsZW0uDQoNCkkg c3RpbGwgd29uZGVyIHdoYXQgZXhhY3RseSBpcyB0aGUgZGlmZmVyZW5jZSBiZXR3ZWVuIGEgc3Rh dGljICkoZWZuaXRpb25hbGx5IHByb29mLWlycmVsdmFudCkgUHJvcCB3aGljaCBzZWVtcyB0byBj b3JyZXNwb25kIHRvIE9tZWdhIGluIGEgdG9wb3MgYW5kIHNldC1sZXZlbCBIb1RUIChpLmUuIHVz aW5nIEhQcm9wKS4gSHByb3AgaXMgYWxzbyBhIHN1Ym9iamVjdCBjbGFzc2lmaWVyICh3aXRoIHNv bWUgcHJlZGljYXRpdml0eSBwcm92aXNvKSBidXQgdGhlIEhvVFQgdmlldyBnaXZlcyB5b3Ugc29t ZSBleHRyYSBwb3dlci4gT2ssIG9uY2Ugd2UgYWxzbyBhbGxvdyBRSVRzIHdlIGtub3cgdGhhdCB0 aGlzIGdvZXMgYmV5b25kIHRoZSB1c3VhbCB0b3BvcyBsb2dpYyAoY2YuIHRoZSBleGFtcGxlIGlu IHlvdXIgcGFwZXIgd2l0aCBQZXRlcikuIA0KDQpUaG9yc3Rlbg0KDQoNCk9uIDEyLzEyLzIwMTcs IDIzOjE0LCAiaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIE1pY2hh ZWwgU2h1bG1hbiIgPGhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tIG9uIGJlaGFsZiBvZiBz aHUuLi5Ac2FuZGllZ28uZWR1PiB3cm90ZToNCg0KICAgIFRoaXMgaXMgcmVhbGx5IGludGVyZXN0 aW5nLiAgSXQncyB0cnVlIHRoYXQgYWxsIHRvcG9zZXMgc2F0aXNmeSBib3RoDQogICAgdW5pcXVl IGNob2ljZSBhbmQgcHJvb2YgaXJyZWxldmFuY2UuICBJIGFncmVlIHRoYXQgb25lIGludGVycHJl dGF0aW9uDQogICAgaXMgdGhhdCBkZWZpbml0aW9uYWwgcHJvb2YtaXJyZWxldmFuY2UgaXMgaW5j b21wYXRpYmxlIHdpdGggdGhlDQogICAgSG9UVC1zdHlsZSAqZGVmaW5pdGlvbiogb2YgcHJvcG9z aXRpb25zIGFzICgtMSktdHJ1bmNhdGVkIHR5cGVzLCBzbw0KICAgIHRoYXQgeW91IGNhbiAqcHJv dmUqIHNvbWV0aGluZyBpcyBhIHByb3Bvc2l0aW9uLCByYXRoZXIgdGhhbiBoYXZpbmcNCiAgICAi YmVpbmcgYSBwcm9wb3NpdGlvbiIgYmVpbmcgb25seSBhIGp1ZGdtZW50LiAgQnV0IGNvdWxkIHdl IGluc3RlYWQNCiAgICBibGFtZSBpdCBvbiB0aGUgdW5qdXN0aWZpZWQgb21pc3Npb24gb2YgdHlw ZSBhbm5vdGF0aW9ucz8gIE1vcmFsbHksIGENCiAgICBwYWlyaW5nIGNvbnN0cnVjdG9yDQogICAg DQogICAgKC0sLSkgOiAoYTpBKSAtPiBCKGEpIC0+IFN1bSh4OkEpIEIoeCkNCiAgICANCiAgICBv dWdodCByZWFsbHkgdG8gYmUgYW5ub3RhdGVkIHdpdGggdGhlIHR5cGVzIGl0IGFjdHMgb246DQog ICAgDQogICAgKC0sLSleeyhhOkEpLiBCKGEpfSA6IChhOkEpIC0+IEIoYSkgLT4gU3VtKHg6QSkg Qih4KQ0KICAgIA0KICAgIGFuZCBsaWtld2lzZSB0aGUgcHJvamVjdGlvbg0KICAgIA0KICAgIGZp cnN0IDogKFN1bSh4OkEpIEIoeCkpIC0+IEENCiAgICANCiAgICBzaG91bGQgcmVhbGx5IGJlDQog ICAgDQogICAgZmlyc3ReeyhhOkEpLiBCKGEpfSA6IChTdW0oeDpBKSBCKHgpKSAtPiBBLg0KICAg IA0KICAgIElmIHdlIHB1dCB0aGVzZSBhbm5vdGF0aW9ucyBpbiwgdGhlbiB5b3VyICJ4IiBpcw0K ICAgIA0KICAgICh0cnVlLHJlZmwpXnsoYjpCb29sKS4gdHJ1ZT1ifQ0KICAgIA0KICAgIGFuZCB5 b3VyIHR3byBhcHBhcmVudGx5IGNvbnRyYWRpY3RvcnkgdGVybXMgYXJlDQogICAgDQogICAgZmly c3ReeyhiOkJvb2wpLiB0cnVlPWJ9IHggPT0gdHJ1ZQ0KICAgIA0KICAgIGFuZA0KICAgIA0KICAg IHNlY29uZF57KGI6Qm9vbCkuIGZhbHNlPWJ9IHggOiBmaXJzdF57KGI6Qm9vbCkuIGZhbHNlPWJ9 IHggPSBmYWxzZQ0KICAgIA0KICAgIEFuZCB3ZSBkb24ndCBoYXZlICJmaXJzdF57KGI6Qm9vbCku IGZhbHNlPWJ9IHggPT0gdHJ1ZSIsIGJlY2F1c2UNCiAgICBiZXRhLXJlZHVjdGlvbiByZXF1aXJl cyB0aGUgdHlwZSBhbm5vdGF0aW9ucyBvbiB0aGUgcHJvamVjdGlvbiBhbmQgdGhlDQogICAgcGFp cmluZyB0byBtYXRjaC4gIFNvIGl0J3Mgbm90IHJlYWxseSB0aGUgc2FtZSAiZmlyc3QgeCIgdGhh dCdzIGVxdWFsDQogICAgdG8gdHJ1ZSBhcyB0aGUgb25lIHRoYXQncyBlcXVhbCB0byBmYWxzZS4N CiAgICANCiAgICBJbiBtYW55IHR5cGUgdGhlb3JpZXMsIHdlIGNhbiBvbWl0IHRoZXNlIGFubm90 YXRpb25zIG9uIHBhaXJpbmcgYW5kDQogICAgcHJvamVjdGlvbiBjb25zdHJ1Y3RvcnMgYmVjYXVz ZSB0aGV5IGFyZSB1bmlxdWVseSBpbmZlcnJhYmxlLiAgQnV0IGlmDQogICAgd2UgZW5kIHVwIGlu IGEgdHlwZSB0aGVvcnkgd2hlcmUgdGhleSBhcmUgbm90IHVuaXF1ZWx5IGluZmVycmFibGUsIHdl DQogICAgYXJlIG5vIGxvbmdlciBqdXN0aWZpZWQgaW4gb21pdHRpbmcgdGhlbS4NCiAgICANCiAg ICANCiAgICBPbiBUdWUsIERlYyAxMiwgMjAxNyBhdCA0OjIxIEFNLCBUaG9yc3RlbiBBbHRlbmtp cmNoDQogICAgPFRob3JzdGVuLi4uLkBub3R0aW5naGFtLmFjLnVrPiB3cm90ZToNCiAgICA+IEdv b2QgcG9pbnQuDQogICAgPg0KICAgID4gT0ssIGluIGEgdG9wb3MgeW91IGhhdmUgYSBzdGF0aWMg dW5pdmVyc2Ugb2YgcHJvcG9zaXRpb25zLiBUaGF0IGlzIHdldGhlciBzb21ldGhpbmcgaXMgYSBw cm9wb3NpdGlvbiBkb2VzbuKAmXQgZGVwZW5kIG9uIG90aGVyIGFzc3VtcHRpb25zIHlvdSBtYWtl Lg0KICAgID4NCiAgICA+IEluIHNldC1sZXZlbCBIb1RUIHdlIGRlZmluZSBQcm9wIGFzIHRoZSB0 eXBlcyB3aGljaCBoYXZlIGF0IG1vc3Qgb25lIGluaGFiaXRhbnQuIE5vdyB3ZXRoZXIgYSB0eXBl IGlzIGEgcHJvcG9zaXRpb24gbWF5IGRlcGVuZCBvbiBvdGhlciBhc3N1bXB0aW9ucy4gKC0xKS11 bml2YWxlbmNlIGkuZS4gcHJvcG9zaXRpb25hbCBleHRlbnNpb25hbGl0eSB0dXJucyBQcm9wIGlu dG8gYSBzdWJvYmplY3QgY2xhc3NpZmllciAoaWYgeW91IGhhdmUgcmVzaXppbmcgb3RoZXJ3aXNl IHlvdSBnZXQgc29tZSBzb3J0IG9mIHByZWRpY2F0aXZlIHRvcG9zKS4NCiAgICA+DQogICAgPiBI b3dldmVyLCB0aGUgZHluYW1pYyBpbnRlcnByZXRhdGlvbiBvZiBwcm9wb3NpdGlvbnMgZ2l2ZXMg eW91IHNvbWUgYWRkaXRpb25hbCBwb3dlciwgaW4gcGFydGljdWxhciB5b3UgY2FuIHByb29mIHVu aXF1ZSBjaG9pY2UsIGJlY2F1c2UgaWYgeW91IGNhbiBwcm92ZSBFeCEgeDpBLlAgeCAsIHdoZXJl IEV4ISB4OkEuUCB4IGlzIGRlZmluZWQgYXMgU2lnbWEgeDpBLlAgeCAvXCBQaSB5OkEuUCB5IC0+ IHg9eSB0aGVuIHRoaXMgaXMgYSBwcm9wb3NpdGlvbiBldmVuIHRob3VnaCBBIG1heSBub3QgYmUu IEhvd2V2ZXIgdXNpbmcgcHJvamVjdGlvbnMgeW91IGFsc28gZ2V0IFNpZ21hIHg6QS5QIHguDQog ICAgPg0KICAgID4gSGVuY2UgSSBndWVzcyBJIHNob3VsZCBoYXZlIHNhaWQgYSB0b3BvcyB3aXRo IHVuaXF1ZSBjaG9pY2UgKEkgYW0gbm90IHN1cmUgd2V0aGVyIHRoaXMgaXMgZW5vdWdoKS4gQnR3 LCBzZXQtbGV2ZWwgSG9UVCBhbHNvIGdpdmVzIHlvdSBRSVRzIHdoaWNoIGVsaW1pbmF0ZSBtYW55 IHVzZXMgb2YgY2hvaWNlIChlLmcuIHRoZSBkZWZpbml0aW9uIG9mIHRoZSBDYXVjaHkgUmVhbHMg YW5kIHRoZSBwYXJ0aWFsaXR5IG1vbmFkKS4NCiAgICA+DQogICAgPiBUaG9yc3Rlbg0KICAgID4N CiAgICA+DQogICAgPg0KICAgID4NCiAgICA+DQogICAgPg0KICAgID4gT24gMTIvMTIvMjAxNywg MTI6MDIsICJUaG9tYXMgU3RyZWljaGVyIiA8c3RyZS4uLkBtYXRoZW1hdGlrLnR1LWRhcm1zdGFk dC5kZT4gd3JvdGU6DQogICAgPg0KICAgID4+QnV0IHZlcnkgdG9wb3MgaXMgYSBtb2RlbCBvZiBl eHRlbnNpb25hbCB0eXBlIHRoZW9yeSB3aGVuIHRha2luZyBQcm9wDQogICAgPj49IE9tZWdhLiBB bGwgZWxlbWVudHMgb2YgUHJvcCBhcmUgcHJvb2YgaXJyZWxldmFudCBhbmQgZXF1aXZhbGVudA0K ICAgID4+cHJvcG9zaXRpb25zIGFyZSBlcXVhbC4NCiAgICA+Pg0KICAgID4+U2luY2UgaXQgaXMg YSBtb2RlbCBvZiBleHRlbnNpb25hbCBUVCB0aGVyZSBpcyBubyBkaWZmZXJlbmNlIGJldHdlZW4N CiAgICA+PnByb3Bzb2l0aW9uYWwgYW5kIGp1ZGdlbWVudGFsIGVxdWFsaXR5Lg0KICAgID4+DQog ICAgPj5UaG9tYXMNCiAgICA+Pg0KICAgID4+DQogICAgPj4+IElmIHlvdSBoYXZlIHByb29mLWly cmVsZXZhbmNlIGluIHRoZSBzdHJvbmcgZGVmaW5pdGlvbmFsIHNlbnNlIHRoZW4geW91IGNhbm5v dCBiZSBpbiBhIHRvcG9zLiBUaGlzIGNhbWUgdXAgcmVjZW50bHkgaW4gdGhlIGNvbnRleHQgb2Yg TGVhbiB3aGljaCBpcyBhIHR5cGUtdGhlb3J5IGJhc2VkIGludGVyYWN0aXZlIHByb29mIHN5c3Rl bSBkZXZlbG9wZWQgYXQgbWljcm9zb2Z0IGFuZCB3aGljaCBkb2VzIGltcGxlbWVudCBwcm9vZi1p cnJlbHZhbmNlLiBOb3RlIHRoYXQgYW55IHRvcG9zIGhhcyBleHRQcm9wOg0KICAgID4+Pg0KICAg ID4+PiBHaXZlbiBhOkEgZGVmaW5lIFNpbmdsZShhKSA9IFNpZ21hIHg6QS5hPXguIFdlIGhhdmUg U2luZ2xlKGEpIDogUHJvcCBhbmQNCiAgICA+Pj4NCiAgICA+Pj4gcCA6IFNpbmdsZSh0cnVlKSA8 LT4gU2luZ2xlKGZhbHNlKQ0KICAgID4+Pg0KICAgID4+PiBzaW5jZSBib3RoIGFyZSBpbmhhYml0 ZWQuIEhlbmNlIGJ5IGV4dFByb3ANCiAgICA+Pj4NCiAgICA+Pj4gZXh0UHJvcCBwIDogU2luZ2xl KHRydWUpID0gU2luZ2xlKGZhbHNlKQ0KICAgID4+Pg0KICAgID4+PiBub3cgd2UgY2FuIHVzZSB0 cmFuc3BvcnQgb24gKHRydWUscmVmbCkgOiBTaW5nbGUodHJ1ZSkgdG8gb2J0YWluDQogICAgPj4+ DQogICAgPj4+IHggPSAoZXh0UHJvcCBwKSoodHJ1ZSxyZWZsKSA6IFNpbmdsZShmYWxzZSkNCiAg ICA+Pj4NCiAgICA+Pj4gYW5kIHdlIGNhbiBzaG93IHRoYXQNCiAgICA+Pj4NCiAgICA+Pj4gc2Vj b25kIHggOiBmaXJzdCB4ID0gZmFsc2UNCiAgICA+Pj4NCiAgICA+Pj4gYnV0IHNpbmNlIExlYW4g Y29tcHV0YXRpb25hbGx5IGlnbm9yZXMgKGV4dFByb3AgcCkqIHdlIGFsc28gZ2V0IChkZWZpbml0 aW9uYWxseSk6DQogICAgPj4+DQogICAgPj4+IGZpcnN0IHggPT0gdHJ1ZQ0KICAgID4+Pg0KICAg ID4+PiBNeSBjb25jbHVzaW9uIGlzIHRoYXQgc3Ryb25nIHByb29mLWlycmVsdmFuY2UgaXMgYSBi YWQgaWRlYSAobm90ZSB0aGF0IG15ID8/Pzk5IHBhcGVyIG9uIEV4dGVuc2lvbmFsaXR5IGluIElu dGVuc2lvbmFsIFR5cGUgVGhlb3J5IHVzZWQgZXhhY3RseSB0aGlzKS4gSXQgaXMgbW9yZSBpbXBv cnRhbnQgdGhhdCBvdXIgY29yZSB0aGVvcnkgaXMgZXh0ZW5zaW9uYWwgYW5kIHNvbWV0aGluZyBw cmFnbWF0aWNhbGx5IGNsb3NlIHRvIGRlZmluaXRpb25hbCBwcm9vZi1pcnJlbGV2YW5jZSBjYW4g YmUgcmVhbGlzZWQgYXMgc29tZSB0YWN0aWMgYmFzZWQgc3VnYXIuIEl0IGhhcyBubyByb2xlIGlu IGEgZm91bmRhdGlvbmFsIGNhbGN1bHVzLg0KICAgID4+Pg0KICAgID4+Pg0KICAgID4+PiBUaG9y c3Rlbg0KICAgID4+Pg0KICAgID4+Pg0KICAgID4+Pg0KICAgID4+Pg0KICAgID4+PiBPbiAxMi8x Mi8yMDE3LCAxMDoxNSwgIkFuZHJlYSBWZXp6b3NpIiA8c2Fuei4uLkBnbWFpbC5jb20+IHdyb3Rl Og0KICAgID4+Pg0KICAgID4+PiA+T24gTW9uLCBEZWMgMTEsIDIwMTcgYXQgMzoyMyBQTSwgVGhv cnN0ZW4gQWx0ZW5raXJjaA0KICAgID4+PiA+PFRob3JzdGVuLi4uLkBub3R0aW5naGFtLmFjLnVr PiB3cm90ZToNCiAgICA+Pj4gPj4gSGkgS3Jpc3RpbmEsDQogICAgPj4+ID4+DQogICAgPj4+ID4+ IEkgZ3Vlc3MgeW91IGFyZSBub3QgYXNzdW1pbmcgUHJvcDpTZXQgYmVjYXVzZSB0aGF0IHdvdWxk IGJlIFN5c3RlbSBVIGFuZCBoZW5jZSBpbmNvbnNpc3RlbnQuDQogICAgPj4+ID4+DQogICAgPj4+ ID4+IEJ5IHByb29mLWlycmVsZXZhbmNlIEkgYXNzdW1lIHRoYXQgeW91IG1lYW4gdGhhdCBhbnkg dHdvIGluaGFiaXRhbnRzIG9mIGEgcHJvcG9zaXRpb24gYXJlIGRlZmluaXRpb25hbGx5IGVxdWFs LiBUaGlzIGFzc3VtcHRpb24gaXMgaW5jb25zaXN0ZW50IHdpdGggaXQgYmVpbmcgYSB0b3BzIHNp bmNlIGluIGFueSBUb3BvcyB5b3UgZ2V0IHByb3Bvc2l0aW9uYWwgZXh0ZW5zaW9uYWxpdHksIHRo YXQgaXMgUCxRIDogUHJvcCwgKFAgPC0+IFEpIDwtPiAoUCA9IFEpLCB3aGljaCBpcyBpbmRlZWQg YW4gaW5zdGFuY2Ugb2YgdW5pdmFsZW5jZS4NCiAgICA+Pj4gPj4NCiAgICA+Pj4gPg0KICAgID4+ PiA+SSBkb24ndCBrbm93IGlmIGl0J3MgcmVsZXZhbnQgdG8gdGhlIGN1cnJlbnQgZGlzY3Vzc2lv biwgYnV0IEkgdGhvdWdodA0KICAgID4+PiA+dGhlIHRvcG9zIG9mIHNldHMgd2l0aCBQcm9wIHRh a2VuIHRvIGJlIHRoZSBib29sZWFucyB3b3VsZCBzdXBwb3J0DQogICAgPj4+ID5ib3RoIHByb29m IGlycmVsZXZhbmNlIGFuZCBwcm9wb3NpdGlvbmFsIGV4dGVuc2lvbmFsaXR5LCBjbGFzc2ljYWxs eQ0KICAgID4+PiA+YXQgbGVhc3QuIElzIHRoZXJlIHNvbWUgZXh0cmEgYXNzdW1wdGlvbiBJIGFt IG1pc3NpbmcgaGVyZT8NCiAgICA+Pj4gPg0KICAgID4+PiA+DQogICAgPj4+ID4+IEl0IHNob3Vs ZCBiZSBwb3NzaWJsZSB0byB1c2UgYSByZWFsaXphYmlsaXR5IHNlbWFudGljcyBsaWtlIG9tZWdh LXNldHMgb3IgTGFtYmRhLXNldHMgdG8gbW9kZWwgdGhlIGltcHJlZGljYXRpdmUgdGhlb3J5IGFu ZCBpZGVudGlmeSB0aGUgcHJvcG9zaXRpb25zIHdpdGggUEVScyB0aGF0IGFyZSBqdXN0IHN1YnNl dHMuDQogICAgPj4+ID4+DQogICAgPj4+ID4+IENoZWVycywNCiAgICA+Pj4gPj4gVGhvcnN0ZW4N CiAgICA+Pj4gPj4NCiAgICA+Pj4gPj4NCiAgICA+Pj4gPj4gT24gMTEvMTIvMjAxNywgMDQ6MjIs ICJob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbSBvbiBiZWhhbGYgb2YgS3Jpc3RpbmEgU29q YWtvdmEiIDxob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbSBvbiBiZWhhbGYgb2Ygc29qYWtv dmEuLi5AZ21haWwuY29tPiB3cm90ZToNCiAgICA+Pj4gPj4NCiAgICA+Pj4gPj4gICAgIERlYXIg YWxsLA0KICAgID4+PiA+Pg0KICAgID4+PiA+PiAgICAgSSBhc2tlZCB0aGlzIHF1ZXN0aW9uIGxh c3QgeWVhciBvbiB0aGUgY29xLWNsdWIgbWFpbGluZyBsaXN0IGJ1dCBkaWQgbm90DQogICAgPj4+ ID4+ICAgICByZWNlaXZlIGEgY29uY2x1c2l2ZSBhbnN3ZXIgc28gSSBhbSB0cnlpbmcgaGVyZSBu b3cuIElzIHRoZSB0aGVvcnkgd2l0aA0KICAgID4+PiA+PiAgICAgYSBwcm9vZi1yZWxldmFudCBp bXByZWRpY2F0aXZlIHVuaXZlcnNlIFNldCwgcHJvb2YtaXJyZWxldmFudA0KICAgID4+PiA+PiAg ICAgaW1wcmVkaWNhdGl2ZSB1bml2ZXJzZSBQcm9wLCBhbmQgZnVuY3Rpb24gZXh0ZW5zaW9uYWxp dHkgKGtub3duIHRvIGJlKQ0KICAgID4+PiA+PiAgICAgY29uc2lzdGVudD8gSXQgaXMga25vd24g dGhhdCB0aGUgcHJvb2YtaXJyZWxldmFuY2Ugb2YgUHJvcCBtYWtlcyB0aGUgSWQNCiAgICA+Pj4g Pj4gICAgIHR5cGUgYmVoYXZlIGRpZmZlcmVudGx5IHVzdWFsIGFuZCBpbiBwYXJ0aWN1bGFyLCBt YWtlcyB0aGUgdGhlb3J5DQogICAgPj4+ID4+ICAgICBpbmNvbXBhdGlibGUgd2l0aCB1bml2YWxl bmNlLCBzbyBpdCBpcyBub3QganVzdCBhIG1hdHRlciBvZiB0YWNraW5nIG9uDQogICAgPj4+ID4+ ICAgICBhbiBpbnRlcnByZXRhdGlvbiBmb3IgUHJvcC4NCiAgICA+Pj4gPj4NCiAgICA+Pj4gPj4g ICAgIFRoYW5rcyBpbiBhZHZhbmNlIGZvciBhbnkgaW5zaWdodCwNCiAgICA+Pj4gPj4NCiAgICA+ Pj4gPj4gICAgIEtyaXN0aW5hDQogICAgPj4+ID4+DQogICAgPj4+ID4+DQogICAgPj4+ID4+DQog ICAgPj4+ID4+DQogICAgPj4+ID4+DQogICAgPj4+ID4+DQogICAgPj4+ID4+DQogICAgPj4+ID4+ IFRoaXMgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3Ig dGhlIGFkZHJlc3NlZQ0KICAgID4+PiA+PiBhbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGlu Zm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSByZWNlaXZlZCB0aGlzDQogICAgPj4+ID4+IG1lc3NhZ2Ug aW4gZXJyb3IsIHBsZWFzZSBzZW5kIGl0IGJhY2sgdG8gbWUsIGFuZCBpbW1lZGlhdGVseSBkZWxl dGUgaXQuDQogICAgPj4+ID4+DQogICAgPj4+ID4+IFBsZWFzZSBkbyBub3QgdXNlLCBjb3B5IG9y IGRpc2Nsb3NlIHRoZSBpbmZvcm1hdGlvbiBjb250YWluZWQgaW4gdGhpcw0KICAgID4+PiA+PiBt ZXNzYWdlIG9yIGluIGFueSBhdHRhY2htZW50LiAgQW55IHZpZXdzIG9yIG9waW5pb25zIGV4cHJl c3NlZCBieSB0aGUNCiAgICA+Pj4gPj4gYXV0aG9yIG9mIHRoaXMgZW1haWwgZG8gbm90IG5lY2Vz c2FyaWx5IHJlZmxlY3QgdGhlIHZpZXdzIG9mIHRoZQ0KICAgID4+PiA+PiBVbml2ZXJzaXR5IG9m IE5vdHRpbmdoYW0uDQogICAgPj4+ID4+DQogICAgPj4+ID4+IFRoaXMgbWVzc2FnZSBoYXMgYmVl biBjaGVja2VkIGZvciB2aXJ1c2VzIGJ1dCB0aGUgY29udGVudHMgb2YgYW4NCiAgICA+Pj4gPj4g YXR0YWNobWVudCBtYXkgc3RpbGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxk IGRhbWFnZSB5b3VyDQogICAgPj4+ID4+IGNvbXB1dGVyIHN5c3RlbSwgeW91IGFyZSBhZHZpc2Vk IHRvIHBlcmZvcm0geW91ciBvd24gY2hlY2tzLiBFbWFpbA0KICAgID4+PiA+PiBjb21tdW5pY2F0 aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gbWF5IGJlIG1vbml0b3JlZCBh cw0KICAgID4+PiA+PiBwZXJtaXR0ZWQgYnkgVUsgbGVnaXNsYXRpb24uDQogICAgPj4+ID4+DQog ICAgPj4+DQogICAgPj4+DQogICAgPj4+DQogICAgPj4+DQogICAgPj4+IFRoaXMgbWVzc2FnZSBh bmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3IgdGhlIGFkZHJlc3NlZQ0K ICAgID4+PiBhbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3Ug aGF2ZSByZWNlaXZlZCB0aGlzDQogICAgPj4+IG1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBzZW5k IGl0IGJhY2sgdG8gbWUsIGFuZCBpbW1lZGlhdGVseSBkZWxldGUgaXQuDQogICAgPj4+DQogICAg Pj4+IFBsZWFzZSBkbyBub3QgdXNlLCBjb3B5IG9yIGRpc2Nsb3NlIHRoZSBpbmZvcm1hdGlvbiBj b250YWluZWQgaW4gdGhpcw0KICAgID4+PiBtZXNzYWdlIG9yIGluIGFueSBhdHRhY2htZW50LiAg QW55IHZpZXdzIG9yIG9waW5pb25zIGV4cHJlc3NlZCBieSB0aGUNCiAgICA+Pj4gYXV0aG9yIG9m IHRoaXMgZW1haWwgZG8gbm90IG5lY2Vzc2FyaWx5IHJlZmxlY3QgdGhlIHZpZXdzIG9mIHRoZQ0K ICAgID4+PiBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0uDQogICAgPj4+DQogICAgPj4+IFRoaXMg bWVzc2FnZSBoYXMgYmVlbiBjaGVja2VkIGZvciB2aXJ1c2VzIGJ1dCB0aGUgY29udGVudHMgb2Yg YW4NCiAgICA+Pj4gYXR0YWNobWVudCBtYXkgc3RpbGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2Vz IHdoaWNoIGNvdWxkIGRhbWFnZSB5b3VyDQogICAgPj4+IGNvbXB1dGVyIHN5c3RlbSwgeW91IGFy ZSBhZHZpc2VkIHRvIHBlcmZvcm0geW91ciBvd24gY2hlY2tzLiBFbWFpbA0KICAgID4+PiBjb21t dW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gbWF5IGJlIG1vbml0 b3JlZCBhcw0KICAgID4+PiBwZXJtaXR0ZWQgYnkgVUsgbGVnaXNsYXRpb24uDQogICAgPj4+DQog ICAgPg0KICAgID4NCiAgICA+DQogICAgPg0KICAgID4gVGhpcyBtZXNzYWdlIGFuZCBhbnkgYXR0 YWNobWVudCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2VlDQogICAgPiBhbmQg bWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSByZWNlaXZl ZCB0aGlzDQogICAgPiBtZXNzYWdlIGluIGVycm9yLCBwbGVhc2Ugc2VuZCBpdCBiYWNrIHRvIG1l LCBhbmQgaW1tZWRpYXRlbHkgZGVsZXRlIGl0Lg0KICAgID4NCiAgICA+IFBsZWFzZSBkbyBub3Qg dXNlLCBjb3B5IG9yIGRpc2Nsb3NlIHRoZSBpbmZvcm1hdGlvbiBjb250YWluZWQgaW4gdGhpcw0K ICAgID4gbWVzc2FnZSBvciBpbiBhbnkgYXR0YWNobWVudC4gIEFueSB2aWV3cyBvciBvcGluaW9u cyBleHByZXNzZWQgYnkgdGhlDQogICAgPiBhdXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QgbmVj ZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mgb2YgdGhlDQogICAgPiBVbml2ZXJzaXR5IG9mIE5v dHRpbmdoYW0uDQogICAgPg0KICAgID4gVGhpcyBtZXNzYWdlIGhhcyBiZWVuIGNoZWNrZWQgZm9y IHZpcnVzZXMgYnV0IHRoZSBjb250ZW50cyBvZiBhbg0KICAgID4gYXR0YWNobWVudCBtYXkgc3Rp bGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxkIGRhbWFnZSB5b3VyDQogICAg PiBjb21wdXRlciBzeXN0ZW0sIHlvdSBhcmUgYWR2aXNlZCB0byBwZXJmb3JtIHlvdXIgb3duIGNo ZWNrcy4gRW1haWwNCiAgICA+IGNvbW11bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2Yg Tm90dGluZ2hhbSBtYXkgYmUgbW9uaXRvcmVkIGFzDQogICAgPiBwZXJtaXR0ZWQgYnkgVUsgbGVn aXNsYXRpb24uDQogICAgPg0KICAgID4gLS0NCiAgICA+IFlvdSByZWNlaXZlZCB0aGlzIG1lc3Nh Z2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIEdvb2dsZSBHcm91cHMgIkhvbW90 b3B5IFR5cGUgVGhlb3J5IiBncm91cC4NCiAgICA+IFRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBn cm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8g SG9tb3RvcHlUeXBlVGhlLi4uQGdvb2dsZWdyb3Vwcy5jb20uDQogICAgPiBGb3IgbW9yZSBvcHRp b25zLCB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2Qvb3B0b3V0Lg0KICAgIA0KICAg IC0tIA0KICAgIFlvdSByZWNlaXZlZCB0aGlzIG1lc3NhZ2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNj cmliZWQgdG8gdGhlIEdvb2dsZSBHcm91cHMgIkhvbW90b3B5IFR5cGUgVGhlb3J5IiBncm91cC4N CiAgICBUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVt YWlscyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90b3B5VHlwZVRoZS4uLkBnb29nbGVn cm91cHMuY29tLg0KICAgIEZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IGh0dHBzOi8vZ3JvdXBzLmdv b2dsZS5jb20vZC9vcHRvdXQuDQogICAgDQoNCgoKCgpUaGlzIG1lc3NhZ2UgYW5kIGFueSBhdHRh Y2htZW50IGFyZSBpbnRlbmRlZCBzb2xlbHkgZm9yIHRoZSBhZGRyZXNzZWUKYW5kIG1heSBjb250 YWluIGNvbmZpZGVudGlhbCBpbmZvcm1hdGlvbi4gSWYgeW91IGhhdmUgcmVjZWl2ZWQgdGhpcwpt ZXNzYWdlIGluIGVycm9yLCBwbGVhc2Ugc2VuZCBpdCBiYWNrIHRvIG1lLCBhbmQgaW1tZWRpYXRl bHkgZGVsZXRlIGl0LiAKClBsZWFzZSBkbyBub3QgdXNlLCBjb3B5IG9yIGRpc2Nsb3NlIHRoZSBp bmZvcm1hdGlvbiBjb250YWluZWQgaW4gdGhpcwptZXNzYWdlIG9yIGluIGFueSBhdHRhY2htZW50 LiAgQW55IHZpZXdzIG9yIG9waW5pb25zIGV4cHJlc3NlZCBieSB0aGUKYXV0aG9yIG9mIHRoaXMg ZW1haWwgZG8gbm90IG5lY2Vzc2FyaWx5IHJlZmxlY3QgdGhlIHZpZXdzIG9mIHRoZQpVbml2ZXJz aXR5IG9mIE5vdHRpbmdoYW0uCgpUaGlzIG1lc3NhZ2UgaGFzIGJlZW4gY2hlY2tlZCBmb3Igdmly dXNlcyBidXQgdGhlIGNvbnRlbnRzIG9mIGFuCmF0dGFjaG1lbnQgbWF5IHN0aWxsIGNvbnRhaW4g c29mdHdhcmUgdmlydXNlcyB3aGljaCBjb3VsZCBkYW1hZ2UgeW91cgpjb21wdXRlciBzeXN0ZW0s IHlvdSBhcmUgYWR2aXNlZCB0byBwZXJmb3JtIHlvdXIgb3duIGNoZWNrcy4gRW1haWwKY29tbXVu aWNhdGlvbnMgd2l0aCB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9y ZWQgYXMKcGVybWl0dGVkIGJ5IFVLIGxlZ2lzbGF0aW9uLgoK