From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a2e:8701:: with SMTP id m1-v6mr844308lji.32.1527585323780; Tue, 29 May 2018 02:15:23 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a19:4d53:: with SMTP id a80-v6ls3568527lfb.2.gmail; Tue, 29 May 2018 02:15:22 -0700 (PDT) X-Received: by 2002:a19:cf0d:: with SMTP id f13-v6mr744135lfg.28.1527585322707; Tue, 29 May 2018 02:15:22 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1527585322; cv=none; d=google.com; s=arc-20160816; b=cmdX2JKFU5Kfr5MwujYHfBFjrMbVPwDyL8xcS7Jpv/+8bpVOE87ZF8e0W/vbmbmSXZ f58V1j3sb0LzsB9CU4lED8uEZz1Grs7Ipzdafc7QyJxebaEf63XGWBItjO/of1i5Qu3x 3dqhPUufM3ln9OK8i1uzWgxepwG25i/OG+CGSUTntk7Rw5Q6z6XVJ/BcOIpRri5DblVG 7/WdRU6v/nsdNolMvaEMsk+jr+21X78b+tdZ7DeJ6c3WEMwkNgDj1rBvEbVm/pqk7swd NuIymvHBQKQ4IZK7laLhFphQvQXTFTSMFMvrvu4v9jz3P8rKcRmdy3jNRb/BgglpgRAq ay1Q== 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=KuSFRgNHT+HGoMHDXk/cAWTynZ5unROwE6VrpBzd5Og=; b=YJP3ZhKxv3UliTduBFTdnVhd7JsBTkBvcsWsEf7KeCOKSiVncj81EEvDVYDaV0BaTf 8f+EdGoiurHcdaKVjHvhEhzosJ0RUnUwWW7sC3RMXa4sCLof2JF0fphysOvOEm4KA2pg gq/Mj3UZ2vWjKJ7/8BS4I5Yod5loCZUSc7gXp5gqMBNjbONs4g1Fvc+h9bMPkwVQzusz BYm2J5e5G+RroA1wnCstdtkesZZ7EDH7mxZpiD5N3Jk96rWZK2c2MFv/t0ZCEAH41TtK Tyn2NrVAQbQJzKVE57V7EfedCTHCSwc9d8kcs3EOYNEbNgtLcZx7u0kqji/SfX43V0B5 rQ3w== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.125 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Return-Path: Received: from uidappmx02.nottingham.ac.uk (uidappmx02.nottingham.ac.uk. [128.243.43.125]) by gmr-mx.google.com with ESMTP id n10-v6si841090lfe.1.2018.05.29.02.15.22 for ; Tue, 29 May 2018 02:15:22 -0700 (PDT) Received-SPF: pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.125 as permitted sender) client-ip=128.243.43.125; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.125 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Received: from uidappmx02.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 08BCC2E9C91_B0D1A2AB for ; Tue, 29 May 2018 09:15:22 +0000 (GMT) Received: from smtp3.nottingham.ac.uk (smtp3.nottingham.ac.uk [128.243.44.55]) by uidappmx02.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id 553F52E7D56_B0D1A29F for ; Tue, 29 May 2018 09:15:21 +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 1fNaiv-0007i3-A6; Tue, 29 May 2018 10:15:21 +0100 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.389.1; Tue, 29 May 2018 10:15:21 +0100 Received: from VI1PR06MB4029.eurprd06.prod.outlook.com (20.176.5.138) by VI1PR06MB0992.eurprd06.prod.outlook.com (10.162.123.148) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.797.11; Tue, 29 May 2018 09:15:19 +0000 Received: from VI1PR06MB4029.eurprd06.prod.outlook.com ([fe80::f1f5:ad90:65d9:391c]) by VI1PR06MB4029.eurprd06.prod.outlook.com ([fe80::f1f5:ad90:65d9:391c%13]) with mapi id 15.20.0797.017; Tue, 29 May 2018 09:15:19 +0000 From: Thorsten Altenkirch To: Michael Shulman , "homotopyt...@googlegroups.com" Subject: Re: [HoTT] Re: Where is the problem with initiality? Thread-Topic: [HoTT] Re: Where is the problem with initiality? Thread-Index: AQHT9tTcHLLfpdPhZECSp3WbPXTJiqRGfjeA Date: Tue, 29 May 2018 09:15:19 +0000 Message-ID: <06B9C5AB-C7CB-4CB5-B951-64E0C4180AD9@exmail.nottingham.ac.uk> References: 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: [86.28.226.182] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;VI1PR06MB0992;7:/kxWe7z3EVXbbgWWDSTIFj5jYp60Ya5iZOXoS78BM8WKrKqGRqNpNsMjiFHN0I8qskSgrbJXWQKopwGr/gF+n1ZoLpjCpgbQoQa47bQc5E/n0q7HtYANhgug8TzxXcsD/z8WbQgDHzWMauYTJ5cLlXVZSTmvuhW/WEiRjyF8gxlQB+05xntcSFue6wha549pYPIA0XAbfnZVSQ+utnIArkarYA6QAvlHoIhybZRpOlPskrlaJVddLt2wS8FsnQ10 x-ms-exchange-antispam-srfa-diagnostics: SOS; x-microsoft-antispam: UriScan:(215639381216008);BCL:0;PCL:0;RULEID:(7020095)(4652020)(8989080)(5600026)(4534165)(7168020)(4627221)(201703031133081)(201702281549075)(8990040)(2017052603328)(7167020)(7153060)(7193020);SRVR:VI1PR06MB0992; x-ms-traffictypediagnostic: VI1PR06MB0992: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(215639381216008)(228788266533470)(211936372134217)(219949436335600); x-ms-exchange-senderadcheck: 1 x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040522)(2401047)(8121501046)(5005006)(93006095)(93001095)(3002001)(3231254)(944501410)(52105095)(10201501046)(149027)(150027)(6041310)(20161123560045)(201703131423095)(201702281529075)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123562045)(20161123558120)(20161123564045)(6072148)(201708071742011)(7699016);SRVR:VI1PR06MB0992;BCL:0;PCL:0;RULEID:;SRVR:VI1PR06MB0992; x-forefront-prvs: 0687389FB0 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(376002)(39380400002)(346002)(366004)(396003)(39860400002)(199004)(189003)(97736004)(478600001)(76176011)(33656002)(68736007)(966005)(6306002)(53546011)(6506007)(6512007)(59450400001)(53936002)(14454004)(6246003)(2171002)(66066001)(486006)(74482002)(106356001)(99286004)(55236004)(82746002)(105586002)(229853002)(5660300001)(7736002)(6436002)(446003)(476003)(6486002)(102836004)(86362001)(58126008)(305945005)(186003)(786003)(316002)(3660700001)(8676002)(81166006)(81156014)(8936002)(11346002)(6116002)(2616005)(5250100002)(25786009)(2900100001)(3280700002)(110136005)(83716003)(2906002)(26005)(3846002)(2501003)(42522002)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:VI1PR06MB0992;H:VI1PR06MB4029.eurprd06.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; received-spf: None (protection.outlook.com: exmail.nottingham.ac.uk does not designate permitted sender hosts) x-microsoft-antispam-message-info: kPjHTvedfuqIvtuOM7CrgOw7bqDVNAA8aBh9Bo1UsVAS2q7pdceV96YQrcFw6GvfJzO+81Zesj/fw5rjt5Lm1xeluSwc4fMhTxRG6FlDOs6zM2Es/b0H+nkR2gtmoZKooVlnpNdoC9SteIP7Wh0b1hVp4OdF/plDYIrKvOetbyNy0bZ8kPunTGfp/OYYOr13 spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Office365-Filtering-Correlation-Id: d26f195c-c75e-4f1a-7737-08d5c544b2f9 X-MS-Exchange-CrossTenant-Network-Message-Id: d26f195c-c75e-4f1a-7737-08d5c544b2f9 X-MS-Exchange-CrossTenant-originalarrivaltime: 29 May 2018 09:15:19.2684 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR06MB0992 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size X-SASI-RCODE: 200 SGkgTWlrZSwNCg0KeW91IGFyZSByaWdodCB0aGVyZSBpcyBhIGdlbnVpbmUgY29udGVudCBpbiB0 aGUgaW5pdGlhbGl0eSB0aGVvcmVtLiBJbmRlZWQsIHdlIGFyZSB1c2luZyB0aGUgcHJldGVybS9q dWRnZW1lbnQgcHJlc2VudGF0aW9uIHRvIGNvbnN0cnVjdCBpbml0aWFsIFFJSVRzIChqd3cgQW1i cnVzIEthcG9zaSwgQW5kcmFzIEtvdmFjIGFuZCBKYWtvYiB2b24gUmF1bWVyKSBpbiBnZW5lcmFs LiBKYWtvYiBpcyBjdXJyZW50bHkgaW1wbGVtZW50aW5nIGEgcGx1Z2luIGZvciBMZWFuIHRoYXQg YWxsb3dzIHVzIHRvIGRlZmluZSBRSUlUcyBldmVuIHRob3VnaCB0aGV5IGFyZSBub3QgcHJlc2Vu dCBpbiBMZWFu4oCZcyBjb3JlIHRoZW9yeS4NCg0KV2hhdCBJIGFtIGFyZ3VpbmcgYWJvdXQgaXMg dGhlIHdheSB0aGUgc3ludGF4IG9mIHR5cGUgdGhlb3J5IHNob3VsZCBiZSBwcmVzZW50ZWQuIFRo ZSBzZXBhcmF0aW9uIG9mIHByZXRlcm1zIGFuZCB0eXBpbmcgZGVyaXZhdGlvbiByZWZsZWN0cyBj b252ZW50aW9uYWwgdGhpbmtpbmcsIGluIHRoZSBzZW5zZSB0aGF0IGNvbGxlY3Rpb24gYW5kIGxv Z2ljYWwgcmVhc29uaW5nIG5lZWQgdG8gYmUgc2VwYXJhdGVkLiBUbyBtZSBvbmUgb2YgdGhlIGlt cG9ydGFudCBpbm5vdmF0aW9ucyBvZiB0eXBlIHRoZW9yeSBpcyBub3Qgb25seSB0aGF0IHRoZXkg ZG9u4oCZdCBuZWVkIHRvIGJlIHNlcGFyYXRlZCwgdGhleSBzaG91bGRu4oCZdC4gSWYgd2UgdGhp bmsgdGhhdCB0eXBlIHRoZW9yeSBpcyBhIGdvb2Qgd2F5IHRvIHByZXNlbnQgTWF0aGVtYXRpY3Mg dGhlbiBzaG91bGRu4oCZdCB3ZSB1c2UgaXQsIHdoZW4gd2UgcHJlc2VudCB0aGUgc3ludGF4IG9m IHR5cGUgdGhlb3J5Pw0KDQpUaGUgaW50cmluc2ljIHByZXNlbnRhdGlvbiBhbHNvIGNhcHR1cmUg dGhlIHNwaXJpdCBvZiB0eXBlIHRoZW9yeSBpbiB0aGUgc2Vuc2UgdGhhdCB3ZSBhcmUgb25seSBp bnRlcmVzdGVkIGluIHR5cGVkIG9iamVjdHMsIEkuZS4gdGhhdCB3ZSBkb27igJl0IG5lZWQgdG8g dGhpbmsgYWJvdXQgdW50eXBlZCBvYmplY3RzIGZpcnN0Lg0KDQpUaGVyZSBpcyBubyBjb250cmFk aWN0aW9uIGluIHNheWluZyB0aGF0IHRoZSBpbml0aWFsaXR5IHRoZW9yZW0gaXMgdXNlZnVsOiBp dCBoZWxwcyB0byByZWxhdGUgc3lzdGVtcyB3aGljaCBhcmUgaW5zcGlyZWQgYnkgdGhlIG9sZCB0 aGlua2luZyB0byB0aGUgbmV3IGlkZWFzIChpbiBDUyB3ZSBjYWxsIHRoaXMg4oCcbGVnYWN5IHNv ZnR3YXJl4oCdKS4gSSB0aGluayBRSVRzIGFuZCBISVRzIHNob3VsZCBiZSBwcmltaXRpdmUgYW5k IG9uY2UgdGhleSBhcmUgdGhlcmUgaXMgbm8gbmVlZCB0byBwcmVzZW50IHR5cGUgdGhlb3J5IGlu IHRoZSBleHRyaW5zaWMgd2F5LiANCg0KVGhvcnN0ZW4NCg0KDQoNCg0KT24gMjgvMDUvMjAxOCwg MjM6MzksICJob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbSBvbiBiZWhhbGYgb2YgTWljaGFl bCBTaHVsbWFuIiA8aG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIHNo dS4uLkBzYW5kaWVnby5lZHU+IHdyb3RlOg0KDQo+SSBrbmV3IHRoaXMgc2l0dWF0aW9uIHNlZW1l ZCBmYW1pbGlhcjogaXQgcmVtaW5kcyBtZSBvZiBUb20gTGVpbnN0ZXIncw0KPmNvbW1lbnRzIGFi b3V0IHRoZSBob21vdG9weSBoeXBvdGhlc2lzOg0KPmh0dHBzOi8vZ29sZW0ucGgudXRleGFzLmVk dS9jYXRlZ29yeS8yMDEwLzAzL2FfcGVyc3BlY3RpdmVfb25faGlnaGVyX2NhdGVnby5odG1sDQo+ KHNjcm9sbCBkb3duIHRvICJXaGF0IGlzIGFuIG4tY2F0ZWdvcnk/IikNCj4NCj5UaGUgIkhvbW90 b3B5IEh5cG90aGVzaXMiIG9mIGhpZ2hlciBjYXRlZ29yeSB0aGVvcnksIGZpcnN0IGZvcm11bGF0 ZWQNCj5ieSBHcm90aGVuZGllY2ssIGlzIHRoZSBjbGFpbSB0aGF0ICJpbmZpbml0eS1ncm91cG9p ZHMgYXJlIHRoZSBzYW1lIGFzDQo+c3BhY2VzIi4gIFRoZSBwcmV2YWlsaW5nIGFwcHJvYWNoIHRv IHRoaXMgaW4gaGlnaGVyIGNhdGVnb3J5IHRoZW9yeQ0KPm5vd2FkYXlzIGlzIHRoZSBvbmUgdGhh dCBUb20gZGVzY3JpYmVzIGFzIGEgImpva2UiOg0KPg0KPlEuICBIb3cgZG8geW91IHByb3ZlIHRo ZSBIb21vdG9weSBIeXBvdGhlc2lzPw0KPkEuICBEZWZpbmUgYW4gaW5maW5pdHktZ3JvdXBvaWQg dG8gYmUgYSBLYW4gY29tcGxleDsgZGVmaW5lIGEgc3BhY2UgdG8NCj5iZSBhIEthbiBjb21wbGV4 OyBkb25lIQ0KPg0KPkRlc2NyaWJpbmcgdGhpcyBhcyBhIGpva2UgaXMgbm90IHRvIGRlbmlncmF0 ZSB0aGUgdmFsdWUgb2Ygc3VjaCBhDQo+ImRlZmluaXRpb25hbCBzb2x1dGlvbiI7IGl0J3MgY2Vy dGFpbmx5IGJlZW4gZW5vcm1vdXNseSBmcnVpdGZ1bCBmb3INCj5oaWdoZXIgY2F0ZWdvcnkgdGhl b3J5LiAgQnV0IGF0IHRoZSBzYW1lIHRpbWUsIFRvbSdzIHBvaW50IGlzIHRoYXQgaXQNCj5kb2Vz bid0LCBvbiBpdHMgb3duLCBhbnN3ZXIgdGhlIHF1ZXN0aW9uIHRoYXQgd2FzIG9yaWdpbmFsbHkg YXNrZWQuDQo+SGUgaGFzIGEgbmljZSBwaWN0dXJlIG9mIGEgc3BlY3RydW0gZnJvbSAiYWxnZWJy YSIgdG8gInRvcG9sb2d5IiwNCj5zdGFydGluZyB3aXRoIGFsZ2VicmFpYyBub3Rpb25zIG9mIGlu ZmluaXR5LWdyb3Vwb2lkLCB0aGVuIG1vdmluZw0KPnRocm91Z2ggbm9uLWFsZ2VicmFpYyBub3Rp b25zIG9mIGluZmluaXR5LWdyb3Vwb2lkLCB0byBhbGdlYnJhaWMNCj5ub3Rpb25zIG9mIHNwYWNl LCBhbmQgZXZlbnR1YWxseSBub24tYWxnZWJyYWljIG5vdGlvbnMgb2Ygc3BhY2UsIHdpdGgNCj5L YW4gY29tcGxleGVzIG9jY3VweWluZyB0aGUgZnVsY3VtIGF0IHRoZSBtaWRkbGUuICBBIGZ1bGwt c3RyZW5ndGgNCj5zdGF0ZW1lbnQgb2YgdGhlIGhvbW90b3B5IGh5cG90aGVzaXMgd291bGQgdGhl biBlcXVhdGUgZnVsbHkgYWxnZWJyYWljDQo+bm90aW9ucyBvZiBpbmZpbml0eS1ncm91cG9pZCB3 aXRoIGZ1bGx5IG5vbi1hbGdlYnJhaWMgbm90aW9ucyBvZg0KPnNwYWNlLg0KPg0KPkkgZmVlbCBs aWtlIGhlcmUgd2UgaGF2ZSBzb21ldGhpbmcgc2ltaWxhci4gIElmIHdlIGNhbGwgdGhlDQo+Iklu aXRpYWxpdHkgSHlwb3RoZXNpcyIgc29tZXRoaW5nIGxpa2UgInR5cGUgdGhlb3J5IGlzIHRoZSBp bml0aWFsDQo+ZWxlbWVudGFyeSBpbmZpbml0eS10b3BvcyIsIHRoZW4gd2UgY2FuIG1ha2UgYSBz aW1pbGFyICJqb2tlIjoNCj4NCj5ROiBIb3cgZG8geW91IHByb3ZlIHRoZSBJbml0aWFsaXR5IEh5 cG90aGVzaXM/DQo+QTogRGVmaW5lIGFuIGVsZW1lbnRhcnkgaW5maW5pdHktdG9wb3MgdG8gYmUg YSAoc3VpdGFibHkgc3RydWN0dXJlZCkNCj5Dd0Y7IGRlZmluZSB0eXBlIHRoZW9yeSB0byBiZSB0 aGUgaW5pdGlhbCBzdWNoIEN3RjsgZG9uZSENCj4NCj5BZ2FpbiwgdGhpcyBpcyBub3QgdG8gZGVu aWdyYXRlIHRoZSB2YWx1ZSBvZiBzdWNoIGFuIGFwcHJvYWNoISAgSXQNCj5qdXN0IGRvZXNuJ3Qs IG9uIGl0cyBvd24sIGFuc3dlciB0aGUgb3JpZ2luYWwgcXVlc3Rpb24uICBJIGNhbiBpbWFnaW5l DQo+YSBzaW1pbGFyIHNwZWN0cnVtIGZyb20gInN5bnRheCIgdG8gInNlbWFudGljcyIsIHN0YXJ0 aW5nIHdpdGgNCj4ic3ludGFjdGljIG5vdGlvbnMgb2YgdHlwZSB0aGVvcnkiLCB0aGVuIG1vdmlu ZyB0aHJvdWdoICJzZW1hbnRpYw0KPm5vdGlvbnMgb2YgdHlwZSB0aGVvcnkiLCB0byAic3ludGFj dGljIG5vdGlvbnMgb2YgdG9wb3NlcyIsIGFuZA0KPmV2ZW50dWFsbHkgInNlbWFudGljIG5vdGlv bnMgb2YgdG9wb3NlcyIuICBVbnR5cGVkIHN5bnRheCB3aXRoDQo+aW1wbGljaXQgc3Vic3RpdHV0 aW9uICg1KSBpcyB3YXkgb3ZlciBvbiB0aGUgc3ludGFjdGljIHNpZGU7IGxvY2FsbHkNCj5jYXJ0 ZXNpYW4gY2xvc2VkIHF1YXNpY2F0ZWdvcmllcyB3aXRoIGFwcHJvcHJpYXRlIHN0dWZmIGFyZSB3 YXkgb3Zlcg0KPm9uIHRoZSBzZW1hbnRpYyBzaWRlOyBDd0ZzIGFuZCB0aGUgaW5pdGlhbCBvbmUg YXMgYSBRSUlUIGFyZSBhdCB0aGUNCj5mdWxjcnVtIGluIHRoZSBtaWRkbGUuICBBbmQganVzdCBh cyBLYW4gY29tcGxleGVzIGNhbiBwbGF5IGFuDQo+aW1wb3J0YW50IGludGVybWVkaWF0ZSByb2xl IGluIGNvbm5lY3RpbmcgdGhlIGRpc3BhcmF0ZSBlbmRzIG9mIHRoZQ0KPmhvbW90b3B5LWh5cG90 aGVzaXMgc3BlY3RydW0sIGl0IHNlZW1zIGxpa2VseSB0aGF0IFFJSVQgc3ludGF4IGNhbg0KPnBs YXkgYSBzaW1pbGFyIGludGVybWVkaWF0ZSByb2xlIGluIGNvbm5lY3RpbmcgdGhlIGVuZHMgb2Yg dGhlDQo+aW5pdGlhbGl0eS1oeXBvdGhlc2lzIHNwZWN0cnVtLg0KPg0KPkRvZXMgdGhpcyBzZWVt IHJlYXNvbmFibGU/DQo+DQo+DQo+T24gTW9uLCBNYXkgMjEsIDIwMTggYXQgMTA6NDYgUE0sIE1p Y2hhZWwgU2h1bG1hbiA8c2h1Li4uQHNhbmRpZWdvLmVkdT4gd3JvdGU6DQo+PiBUaG9yc3RlbiBn YXZlIGEgdmVyeSBuaWNlIEhvVFRFU1QgdGFsayBhIGNvdXBsZSB3ZWVrcyBhZ28gYWJvdXQgaGlz DQo+PiB3b3JrIHdpdGggaGlzIGNvbGxhYm9yYXRvcnMgb24gaW50cmluc2ljIHN5bnRheCBhcyBh IFF1b3RpZW50DQo+PiBJbmR1Y3RpdmUtSW5kdWN0aXZlIFR5cGUuICBTaW5jZSB0aGVuIEkgaGF2 ZSBiZWVuIHRyeWluZyB0byBmaXQNCj4+IHRvZ2V0aGVyIGEgbWVudGFsIHBpY3R1cmUgb2YgZXhh Y3RseSBob3cgYWxsIHRoZSBkaWZmZXJlbnQgYXBwcm9hY2hlcw0KPj4gdG8gc3ludGF4IGFyZSBy ZWxhdGVkLCBidXQgSSBhbSBzdGlsbCBraW5kIG9mIGNvbmZ1c2VkLg0KPj4NCj4+IEluIGFuIGF0 dGVtcHQgdG8gY2xhcmlmeSB3aGF0IEkgbWVhbiBieSAiYWxsIHRoZSBkaWZmZXJlbnQNCj4+IGFw cHJvYWNoZXMiLCBsZXQgbWUgZGVzY3JpYmUgYWxsIHRoZSBhcHByb2FjaGVzIEkgY2FuIHRoaW5r IG9mIGluIHRoZQ0KPj4gY2FzZSBvZiBhIHZlcnkgc2ltcGxlIHR5cGUgdGhlb3J5OiBub24tZGVw ZW5kZW50IHVuYXJ5IHR5cGUgdGhlb3J5DQo+PiB3aXRoIHByb2R1Y3QgdHlwZXMuICBVbmFyeSBt ZWFucyB0aGF0IHRoZSBqdWRnbWVudHMgaGF2ZSBleGFjdGx5IG9uZQ0KPj4gdHlwZSBpbiB0aGUg Y29udGV4dCwgeDpBIHwtIHQ6QiwgYW5kIHRoZSBvbmx5IHR5cGUgY29uc3RydWN0b3IgaXMgYQ0K Pj4gcHJvZHVjdCB0eXBlIEEgeCBCLCB3aXRoIHBhaXJpbmcgZm9yIGFuIGludHJvZHVjdGlvbiBy dWxlIGFuZA0KPj4gcHJvamVjdGlvbnMgZm9yIGVsaW1pbmF0aW9uLiAgVGhlIHNlbWFudGljcyBz aG91bGQgYmUgYSBjYXRlZ29yeSB3aXRoDQo+PiBmaW5pdGUgcHJvZHVjdHMuICBIZXJlIGFyZSBh bGwgdGhlIHdheXMgSSBjYW4gdGhpbmsgb2YgdG8gZGVzY3JpYmUNCj4+IHN1Y2ggYSB0eXBlIHRo ZW9yeToNCj4+DQo+Pg0KPj4gMS4gQSBRSUlUIHRoYXQgbWlycm9ycyB0aGUgc2VtYW50aWNzLCB3 aXRoIGFsbCB0aGUgY2F0ZWdvcmljYWwNCj4+IG9wZXJhdGlvbnMgYXMgcG9pbnQtY29uc3RydWN0 b3JzIGFuZCB0aGVpciBheGlvbXMgYXMNCj4+IGVxdWFsaXR5LWNvbnN0cnVjdG9ycy4NCj4+DQo+ PiBkYXRhIFR5IDogU2V0IHdoZXJlDQo+PiAgX3hfIDogVHkgLT4gVHkgLT4gVHkNCj4+IFtUaGlz IHdpbGwgYmUgdGhlIHNhbWUgaW4gYWxsIGNhc2VzLCBzbyBJIGhlbmNlZm9ydGggb21pdCBpdC5d DQo+Pg0KPj4gZGF0YSBUbSA6IFR5IC0+IFR5IC0+IFNldCB3aGVyZQ0KPj4gICBpZCA6IHtBfSAt PiBUbSBBIEENCj4+ICAgX29fIDogVG0gQSBCIC0+IFRtIEIgQyAtPiBUbSBBIEMNCj4+ICAgYXNz b2MgOiBoIG8gKGcgbyBmKSA9IChoIG8gZykgbyBmDQo+PiAgIGxpZCA6IGlkIG8gZiA9IGYNCj4+ ICAgcmlkIDogZiBvIGlkID0gZg0KPj4gICAoXyxfKSA6IFRtIEEgQiAtPiBUbSBBIEMgLT4gVG0g QSAoQiB4IEMpDQo+PiAgIHByMSA6IFRtIChBIHggQikgQQ0KPj4gICBwcjIgOiBUbSAoQSB4IEIp IEINCj4+ICAgYmV0YTEgOiBwcjEgbyAoZiAsIGcpID0gZg0KPj4gICBiZXRhMiA6IHByMiBvIChm ICwgZykgPSBnDQo+PiAgIGV0YSA6IHAgPSAocHIxIG8gcCAsIHByMiBvIHApDQo+Pg0KPj4NCj4+ IDIuIEFuIEluZHVjdGl2ZS1JbmR1Y3RpdmUgZmFtaWx5IG9mIHNldG9pZHMgdGhhdCBzaW1pbGFy bHkgbWlycm9ycyB0aGUNCj4+IGNhdGVnb3JpY2FsIHNlbWFudGljcywgd2l0aCBqdWRnbWVudGFs IGVxdWFsaXR5IGFuIGluZHVjdGl2ZSB0eXBlDQo+PiBmYW1pbHkgcmF0aGVyIHRoYW4gY29pbmNp ZGluZyB3aXRoIHRoZSBtZXRhdGhlb3JldGljIGVxdWFsaXR5Lg0KPj4NCj4+IGRhdGEgVG0gOiBU eSAtPiBUeSAtPiBTZXQgd2hlcmUNCj4+ICAgaWQgOiB7QX0gLT4gVG0gQSBBDQo+PiAgIF9vXyA6 IFRtIEEgQiAtPiBUbSBCIEMgLT4gVG0gQSBDDQo+PiAgIChfLF8pIDogVG0gQSBCIC0+IFRtIEEg QyAtPiBUbSBBIChCIHggQykNCj4+ICAgcHIxIDogVG0gKEEgeCBCKSBBDQo+PiAgIHByMiA6IFRt IChBIHggQikgQg0KPj4NCj4+IGRhdGEgRXEgOiBUbSBBIEIgLT4gVG0gQSBCIC0+IFNldCB3aGVy ZQ0KPj4gICBhc3NvYyA6IEVxIChoIG8gKGcgbyBmKSkgKChoIG8gZykgbyBmKQ0KPj4gICBsaWQg OiBFcSAoaWQgbyBmKSBmDQo+PiAgIHJpZCA6IEVxIDlmIG8gaWQpIGYNCj4+ICAgYmV0YTEgOiBF cSAocHIxIG8gKGYgLCBnKSkgZg0KPj4gICBiZXRhMiA6IEVxIChwcjIgbyAoZiAsIGcpKSBnDQo+ PiAgIGV0YSA6IEVxIHAgKHByMSBvIHAgLCBwcjIgbyBwKQ0KPj4NCj4+DQo+PiAzLiBBIFFJSVQg dGhhdCBpbnN0ZWFkIG1pcnJvcnMgdGhlIHVzdWFsIHR5cGUtdGhlb3JldGljIHN5bnRheCwgd2l0 aA0KPj4gb3BlcmF0aW9ucyBsaWtlIGNvbXBvc2l0aW9uIGJlaW5nIGFkbWlzc2libGUgcmF0aGVy IHRoYW4gcHJpbWl0aXZlLg0KPj4gSW4gb3VyIHNpbXBsZSBjYXNlIGl0IGxvb2tzIGxpa2UgdGhp czoNCj4+DQo+PiBkYXRhIFRtIDogVHkgLT4gVHkgLT4gU2V0IHdoZXJlDQo+PiAgIGlkIDoge0F9 IC0+IFRtIEEgQQ0KPj4gICAoXyxfKSA6IFRtIEEgQiAtPiBUbSBBIEMgLT4gVG0gQSAoQiB4IEMp DQo+PiAgIHByMSA6IFRtIEEgKEIgeCBDKSAtPiBUbSBBIEINCj4+ICAgcHIyIDogVG0gQSAoQiB4 IEMpIC0+IFRtIEEgQw0KPj4gICBiZXRhMSA6IHByMSAoZiAsIGcpID0gZg0KPj4gICBiZXRhMiA6 IHByMiAoZiAsIGcpID0gZw0KPj4gICBldGEgOiBwID0gKHByMSBwICwgcHIyIHApDQo+Pg0KPj4N Cj4+IDQuIENvbWJpbmluZyAyIGFuZCAzLCBhbiBJSSBmYW1pbHkgb2Ygc2V0b2lkcyB0aGF0IG1p cnJvcnMNCj4+IHR5cGUtdGhlb3JldGljIHN5bnRheC4NCj4+DQo+PiBkYXRhIFRtIDogVHkgLT4g VHkgLT4gU2V0IHdoZXJlDQo+PiAgIGlkIDoge0F9IC0+IFRtIEEgQQ0KPj4gICAoXyxfKSA6IFRt IEEgQiAtPiBUbSBBIEMgLT4gVG0gQSAoQiB4IEMpDQo+PiAgIHByMSA6IFRtIEEgKEIgeCBDKSAt PiBUbSBBIEINCj4+ICAgcHIyIDogVG0gQSAoQiB4IEMpIC0+IFRtIEEgQw0KPj4NCj4+IGRhdGEg RXEgOiBUbSBBIEIgLT4gVG0gQSBCIC0+IFNldCB3aGVyZQ0KPj4gICBiZXRhMSA6IEVxIChwcjEg KGYgLCBnKSkgZg0KPj4gICBiZXRhMiA6IEVxIChwcjIgKGYgLCBnKSkgZw0KPj4gICBldGEgOiBF cSBwIChwcjEgcCAsIHByMiBwKQ0KPj4NCj4+DQo+PiA1LiBBIHNpbmdsZSBpbmR1Y3RpdmUgdHlw ZSBvZiByYXcgdGVybXMsIHRvZ2V0aGVyIHdpdGggaW5kdWN0aXZlDQo+PiBwcmVkaWNhdGVzIG92 ZXIgaXQgZm9yIHRoZSB0eXBpbmcganVkZ21lbnQgYW5kIGVxdWFsaXR5IGp1ZGdtZW50cy4NCj4+ DQo+PiBkYXRhIFRtIDogU2V0IHdoZXJlDQo+PiAgIHZhciA6IFRtDQo+PiAgIChfLF8pIDogVG0g LT4gVG0gLT4gVG0NCj4+ICAgcHIxIDogVG0gLT4gVG0NCj4+ICAgcHIyIDogVG0gLT4gVG0NCj4+ DQo+PiBkYXRhIE9mIDogVHkgLT4gVG0gLT4gVHkgLT4gU2V0IHdoZXJlDQo+PiAgIG9mLXZhciA6 IE9mIEEgdmFyIEENCj4+ICAgb2YtcGFpciA6IE9mIEEgdCBCIC0+IE9mIEEgcyBDIC0+IE9mIEEg KHQgLCBzKSAoQiB4IEMpDQo+PiAgIG9mLXByMSA6IE9mIEEgdCAoQiB4IEMpIC0+IE9mIEEgKHBy MSB0KSBCDQo+PiAgIG9mLXByMiA6IE9mIEEgdCAoQiB4IEMpIC0+IE9mIEEgKHByMiB0KSBDDQo+ Pg0KPj4gZGF0YSBFcSA6IFR5IC0+IFRtIC0+IFRtIC0+IFR5IC0+IFNldCB3aGVyZQ0KPj4gICBi ZXRhMSA6IE9mIEEgdCBCIC0+IE9mIEEgcyBDIC0+IEVxIEEgKHByMSAodCAsIHMpKSB0IEINCj4+ ICAgYmV0YTIgOiBPZiBBIHQgQiAtPiBPZiBBIHMgQyAtPiBFcSBBIChwcjIgKHQgLCBzKSkgdCBD DQo+PiAgIGV0YSA6IE9mIEEgdCAoQiB4IEMpIC0+IEVxIEEgKHByMSB0ICwgcHIyIHQpIHQgKEIg eCBDKQ0KPj4NCj4+DQo+PiA2LiBBbiBJSSBmYW1pbHkgdGhhdCBkZWZpbmVzIG9ubHkgdGhlIG5v cm1hbCBmb3JtcywgdmlhIGEgc2VwYXJhdGUNCj4+IGp1ZGdtZW50IGZvciAiYXRvbWljIiB0ZXJt cyB0aGF0IHByZXZlbnRzIHVzIGZyb20gd3JpdGluZyBkb3duIGFueQ0KPj4gYmV0YS1yZWRleGVz LCB0aGVyZWJ5IGVsaW1pbmF0aW5nIHRoZSBuZWVkIGZvciBhbnkgZXF1YWxpdHkganVkZ21lbnQN Cj4+ICh0aG91Z2ggc3Vic3RpdHV0aW9uIHRoZW4gYmVjb21lcyBtb3JlIGNvbXBsaWNhdGVkLCBh cyBpdCBtdXN0DQo+PiBlc3NlbnRpYWxseSBpbmNvcnBvcmF0ZSBiZXRhLXJlZHVjdGlvbikuDQo+ Pg0KPj4gZGF0YSBBdG9tIDogVHkgLT4gVHkgLT4gU2V0IHdoZXJlDQo+PiAgIGlkIDoge0F9IC0+ IEF0b20gQSBBDQo+PiAgIHByMSA6IEF0b20gQSAoQiB4IEMpIC0+IEF0b20gQSBCDQo+PiAgIHBy MiA6IEF0b20gQSAoQiB4IEMpIC0+IEF0b20gQSBDDQo+Pg0KPj4gZGF0YSBUbSA6IFR5IC0+IFR5 IC0+IFNldCB3aGVyZQ0KPj4gICBhdG9tIDogQXRvbSBBIEIgLT4gVG0gQSBCDQo+PiAgIChfLF8p IDogVG0gQSBCIC0+IFRtIEEgQyAtPiBUbSBBIChCIHggQykNCj4+DQo+Pg0KPj4gNy4gQ29tYmlu aW5nIDUgYW5kIDYsIGFuIGluZHVjdGl2ZSB0eXBlIG9mIHJhdyB0ZXJtcyBhbmQgcHJlZGljYXRl cw0KPj4gb3ZlciBpdCB0aGF0IHR5cGUgb25seSB0aGUgbm9ybWFsIGZvcm1zLg0KPj4NCj4+IGRh dGEgVG0gOiBTZXQgd2hlcmUNCj4+ICAgdmFyIDogVG0NCj4+ICAgKF8sXykgOiBUbSAtPiBUbSAt PiBUbQ0KPj4gICBwcjEgOiBUbSAtPiBUbQ0KPj4gICBwcjIgOiBUbSAtPiBUbQ0KPj4NCj4+IGRh dGEgQXRvbSA6IFR5IC0+IFRtIC0+IFR5IC0+IFNldCB3aGVyZQ0KPj4gICBhdG9tLXZhciA6IEF0 b20gQSB2YXIgQQ0KPj4gICBhdG9tLXByMSA6IEF0b20gQSB0IChCIHggQykgLT4gQXRvbSBBIChw cjEgdCkgQg0KPj4gICBhdG9tLXByMiA6IEF0b20gQSB0IChCIHggQykgLT4gQXRvbSBBIChwcjIg dCkgQw0KPj4NCj4+IGRhdGEgT2YgOiBUeSAtPiBUbSAtPiBUeSAtPiBTZXQgd2hlcmUNCj4+ICAg b2YtYXRvbSA6IEF0b20gQSB0IEIgLT4gT2YgQSB0IEINCj4+ICAgb2YtcGFpciA6IE9mIEEgdCBC IC0+IE9mIEEgcyBDIC0+IE9mIEEgKHQgLCBzKSAoQiB4IEMpDQo+Pg0KPj4NCj4+IFRoaXMgaXMg YWxsIEkgY2FuIHRoaW5rIG9mIHJpZ2h0IG5vdy4gIEFyZSB0aGVyZSBvdGhlcnM/ICBBcmUgdGhl cmUNCj4+IG90aGVyIGNob2ljZXMgd2UgY2FuIG1ha2UgaW4gdGhlIGNhc2Ugb2YgZGVwZW5kZW50 IHR5cGUgdGhlb3J5IHRoYXQNCj4+IGFyZSBub3QgdmlzaWJsZSBpbiB0aGlzIHNpbXBsZSBjYXNl Pw0KPj4NCj4+IEluIHRoZSBhYm92ZSBzaW1wbGUgY2FzZSBvZiB1bmFyeSB0eXBlIHRoZW9yeSB3 aXRoIHByb2R1Y3RzLCBpdCBzaG91bGQNCj4+IGJlIGVhc3kgdG8gc2hvdyB0aGF0IGFsbCB0aGVz ZSBkZWZpbml0aW9ucyBjb25zdHJ1Y3QgdGhlIGluaXRpYWwNCj4+IGNhdGVnb3J5IHdpdGggcHJv ZHVjdHMuICAoVGhlcmUgc2hvdWxkIGJlIHNvbWUgZ2VuZXJhdGluZy9heGlvbWF0aWMNCj4+IHR5 cGVzIGFuZCB0ZXJtcyB0b28sIHRvIG1ha2UgdGhlIHJlc3VsdCBub250cml2aWFsLCBidXQgSSd2 ZSBsZWZ0IHRoZW0NCj4+IG91dCBmb3IgYnJldml0eS4pICBNeSBtYWluIHF1ZXN0aW9uIGlzLCB3 aGVyZSBkbyB0aGluZ3MgYmVjb21lIGhhcmQgaW4NCj4+IHRoZSBjYXNlIG9mIGRlcGVuZGVudCB0 eXBlIHRoZW9yeT8NCj4+DQo+PiBJdCBzZWVtcyB0byBtZSB0aGF0IHRoZSBtYWluIGRpZmZlcmVu Y2UgYmV0d2VlbiAoMSkgYW5kICgyKSwgYW5kDQo+PiBiZXR3ZWVuICgzKSBhbmQgKDQpLCBpcyBj b252ZW5pZW5jZTsgaXMgdGhhdCByaWdodD8gIFR5cGUgdGhlb3J5IGhhcw0KPj4gbm8gaW5maW5p dGFyeSBjb25zdHJ1Y3RvcnMsIHNvIHRoZXJlIHNob3VsZG4ndCBiZSBheGlvbS1vZi1jaG9pY2UN Cj4+IGlzc3VlcyB3aXRoIGRlc2NlbmRpbmcgYWxnZWJyYWljIG9wZXJhdGlvbnMgdG8gYSBxdW90 aWVudDsgaXQncyBqdXN0DQo+PiB0aGF0IHRoZSBib29ra2VlcGluZyBpbnZvbHZlZCBpbiBkZWFs aW5nIHdpdGggc2V0b2lkcyBldmVyeXdoZXJlDQo+PiBiZWNvbWVzIHVubWFuYWdlYWJsZSBpbiB0 aGUgY2FzZSBvZiBEVFQuICBSaWdodD8NCj4+DQo+PiBUaG9yc3RlbiBzYWlkIHRoYXQgKDEpIGlu IHRoZSBjYXNlIG9mIGRlcGVuZGVudCB0eXBlIHRoZW9yeSBpcw0KPj4gdGF1dG9sb2dpY2FsbHkg dGhlIGluaXRpYWwgQ3dGLCB3aGljaCBzZWVtcyBlbWluZW50bHkgcGxhdXNpYmxlLiAgSQ0KPj4g ZG9uJ3QgdGhpbmsgdGhpcyBzb2x2ZXMgdGhlICJpbml0aWFsaXR5IGNvbmplY3R1cmUiLCBidXQg d2hlcmUgaXMgdGhlDQo+PiBzdGlja2luZyBwb2ludD8gIElzIGl0IGJldHdlZW4gKDEpIGFuZCAo MyksIG9yIGJldHdlZW4gKDMpIGFuZCAoNSk/DQo+Pg0KPj4gKE5vdGUgdGhhdCBJJ20gbm90IHRh bGtpbmcgYXQgYWxsIGFib3V0IHRoZSAiaC1sZXZlbCBwcm9ibGVtIiB0aGF0DQo+PiB0aGVzZSBR SUlUcyBhcmUgYnkgZGVmaW5pdGlvbiBzZXRzIGJ1dCB0aGF0IGZvciBIb1RUIHRvICJlYXQgaXRz ZWxmIg0KPj4gd2Ugd291bGQgd2FudCB0byBlbGltaW5hdGUgb3V0IG9mIHRoZW0gaW50byB0aGUg dW5pdmVyc2Ugd2hpY2ggaXMgbm90DQo+PiBhIHNldC4gIEknbSBvbmx5IHRhbGtpbmcgYWJvdXQg aW5pdGlhbGl0eSBvZiBzeW50YXggYW1vbmcgKnN0cmljdCoNCj4+IEN3RnM7IGNvaGVyZW5jZS9z dHJpY3RpZmljYXRpb24gdGhlb3JlbXMgY2FuIHdhaXQuICBQZXJzb25hbGx5LA0KPj4gdGhvdWdo LCBJIGxpa2UgKDYpLSg3KSBhcyBwb3RlbnRpYWwgYXBwcm9hY2hlcyB0byBjb2hlcmVuY2UuKQ0K Pg0KPi0tIA0KPllvdSByZWNlaXZlZCB0aGlzIG1lc3NhZ2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNj cmliZWQgdG8gdGhlIEdvb2dsZSBHcm91cHMgIkhvbW90b3B5IFR5cGUgVGhlb3J5IiBncm91cC4N Cj5UbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVtYWls cyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90b3B5VHlwZVRoZS4uLkBnb29nbGVncm91 cHMuY29tLg0KPkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IGh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5j b20vZC9vcHRvdXQuDQoKCgpUaGlzIG1lc3NhZ2UgYW5kIGFueSBhdHRhY2htZW50IGFyZSBpbnRl bmRlZCBzb2xlbHkgZm9yIHRoZSBhZGRyZXNzZWUKYW5kIG1heSBjb250YWluIGNvbmZpZGVudGlh bCBpbmZvcm1hdGlvbi4gSWYgeW91IGhhdmUgcmVjZWl2ZWQgdGhpcwptZXNzYWdlIGluIGVycm9y LCBwbGVhc2UgY29udGFjdCB0aGUgc2VuZGVyIGFuZCBkZWxldGUgdGhlIGVtYWlsIGFuZAphdHRh Y2htZW50LiAKCkFueSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQgYnkgdGhlIGF1dGhvciBv ZiB0aGlzIGVtYWlsIGRvIG5vdApuZWNlc3NhcmlseSByZWZsZWN0IHRoZSB2aWV3cyBvZiB0aGUg VW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLiBFbWFpbApjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBV bml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gbWF5IGJlIG1vbml0b3JlZCAKd2hlcmUgcGVybWl0dGVk IGJ5IGxhdy4KCgoKCg==