From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.25.31.13 with SMTP id f13mr7050lff.16.1507966416969; Sat, 14 Oct 2017 00:33:36 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.46.4.83 with SMTP id 80ls1293149lje.17.gmail; Sat, 14 Oct 2017 00:33:35 -0700 (PDT) X-Received: by 10.25.193.214 with SMTP id r205mr115126lff.21.1507966415663; Sat, 14 Oct 2017 00:33:35 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1507966415; cv=none; d=google.com; s=arc-20160816; b=rghMw0T1gZqJbnaB1uhDXKVKgDdNBpjQGzL18gPE5m6ckF2A1fmEYShnLiIiH8MmAA ukilsi2jFzAgdUNBrSnFFPx9yapfXAQrmSaflKHSuPF3d0oYtl40MXv/vnc5MBqa0iEp 8CGeIbp/rjkt3j1s+YB8W6dzB2o65bEdkx0gZo+MtQTD8WirgP7PetrVpo4CSvmej/8y 7Atak2nB+QcFoNcT+UK3oP/6OB0Io/J1RVsZMD2PV4hHzEn8VYb/Ebtwrbo+9Gi8T3P9 2/UNflKkUcAhCLk6YgrwPXXPbb/H0bdDGacovpveADLvl95dW/4SpKL39k2Lvx6QdEaa FgEQ== 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=tSpCgD6H8Gpwdq1UlPmGJN7aE1LwFcPkPajokkdsPwI=; b=EOcLVkk/bV5rOP6hoNMNIk9fx4LW/mcVLH9TFgFS/wgAzBAACUPKxxWDApOPD7iNTM 0xMyfDwaXsScLeafBm7DkKohjtTsple+E6RhOFawXu0u3uGr9N+p0Vk6JJ0KUnKq0jg9 25UPVqtsAG7JqJ3+92Yj08/q2ZAOK0btSQv6xh9qOywMqM3G/yy7mHhAI3jEmBSVFP3z Ws6ppVV3oLdvCE1icAwpg6os4IFbQ4xGEQzNF4ippKNuZi4rIjWNNm6oFY9XWSpCJrB0 W1Jv8vOinkKNIkz6sJGP9EnIkeJQGTudXh9jJiDS+du4QDMdogz6v8+t815CAWsFRHXi EyWw== 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 l14si137565lje.1.2017.10.14.00.33.35 for ; Sat, 14 Oct 2017 00:33:35 -0700 (PDT) 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 DE1692B7D9F_9E1BDCEB for ; Sat, 14 Oct 2017 07:33:34 +0000 (GMT) Received: from smtp3.nottingham.ac.uk (smtp3.nottingham.ac.uk [128.243.44.55]) by uidappmx06.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id 82FCD2BAE69_9E1BDCEF for ; Sat, 14 Oct 2017 07:33:34 +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 1e3Gww-0002oK-GS; Sat, 14 Oct 2017 08:33:34 +0100 Received: from EUR02-VE1-obe.outbound.protection.outlook.com (213.199.154.47) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.351.0; Sat, 14 Oct 2017 08:33:33 +0100 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.77.7; Sat, 14 Oct 2017 07:33:32 +0000 Received: from DB5PR06MB1717.eurprd06.prod.outlook.com ([fe80::38e6:ba6f:5e58:86c9]) by DB5PR06MB1717.eurprd06.prod.outlook.com ([fe80::38e6:ba6f:5e58:86c9%14]) with mapi id 15.20.0077.022; Sat, 14 Oct 2017 07:33:32 +0000 From: Thorsten Altenkirch To: Thomas Streicher , "Peter LeFanu Lumsdaine" CC: Dimitris Tsementzis , Homotopy Type Theory , Univalent Mathematics Subject: Re: [HoTT] A small observation on cumulativity and the failure of initiality Thread-Topic: [HoTT] A small observation on cumulativity and the failure of initiality Thread-Index: AQHTQ4n+2jeUen/lsUyeJmmKJObyUKLhbFIAgAACMQCAAZiMgA== Date: Sat, 14 Oct 2017 07:33:32 +0000 Message-ID: References: <20171013081056.GB18718@mathematik.tu-darmstadt.de> In-Reply-To: <20171013081056.GB18718@mathematik.tu-darmstadt.de> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.5.7.151005 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;DB5PR06MB1719;6:NsTVX/gX+kPH3exdeMZwHvLGgZADZ/pOT5NWLxBwr6PmWbGB6vHIygomVZaMblcDzSMYdose9YjqeTs3NRnvWby2oHTCCcC5m7cdhkQHkShQgTk3jkSGsXWEZL3qdJ2z3bwMjA0lhHGtcLWmODaUyujVwzpoO8tC46ihuGysKokZlMwna4GFC2k4DRWjvK1OQj1WfvpOa3OPDBiQr+Cv9jLF8XPeIYrJqVIlHmUN4VJgiPfeJoywDt4atDWsq8RzV25cYWZVmrDzFBYdErtYN9q+52vORo1z+L6U6vkIhljCDEmtATPfGITQ8tIMvymku7/RxbasW5YYxoQg+AvoOQ==;5:qEKCn7jyO8CwnIzrIyoeFAfWF023FYHk7VMGfbOnxhomEtscSvs0WhRGVFzYwOCeg5jSqO7i8caHULegAIiXTAMu7BmLl3EhonyWGsgHnCqGi5scXiKJ4pkL23R6VqCdUVGP0i0eH9n/EBsC3D2GkKdvwiQEjRtCOQWvckBvgrg=;24:J4DxuIyB6jQo8REy3rigPrWBoE9+cx+QLXKJxBDIi9grxZWKelXOyHW0azYbWClF+qlgkOQyezahm2xNUTtg1YIMnjdOHDifk17ugJ12acQ=;7:FxRMTFvvJo+aWBY1U+EuA4uVKmGvSad6KO6nGjetTx6ZGh32nvTx5Zwtm+D8qlTdoxPgANDKUj/27jEsmVN400ptxtYFIfHF61t30lalqfpYFvBejMDxyy7x21wCUWXezZ67GXy+oT/YeLvco5p+CZ7aGGahLq1/LyRygcGOKDlcAlpovY+Dr8c53CjgIWZ7XgATVXmbZq8a8kzqDUSa370ZYQHBcWxQ78xM4sQEWyk= x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: 667742c8-c0bc-4ce9-a289-08d512d5df58 x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(2017030254152)(2017052603199)(201703131423075)(201703031133081)(201702281549075);SRVR:DB5PR06MB1719; x-ms-traffictypediagnostic: DB5PR06MB1719: x-exchange-antispam-report-test: UriScan:(215639381216008)(127643986962959)(228788266533470)(211936372134217); x-microsoft-antispam-prvs: x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(100000700101)(100105000095)(100000701101)(100105300095)(100000702101)(100105100095)(6040450)(2401047)(8121501046)(5005006)(93006095)(93001095)(100000703101)(100105400095)(10201501046)(3002001)(920507026)(6041248)(20161123558100)(20161123564025)(20161123562025)(20161123555025)(20161123560025)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(201703061406153)(6072148)(201708071742011)(100000704101)(100105200095)(100000705101)(100105500095);SRVR:DB5PR06MB1719;BCL:0;PCL:0;RULEID:(100000800101)(100110000095)(100000801101)(100110300095)(100000802101)(100110100095)(100000803101)(100110400095)(100000804101)(100110200095)(100000805101)(100110500095);SRVR:DB5PR06MB1719; x-forefront-prvs: 046060344D x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(6009001)(346002)(376002)(377454003)(189002)(51444003)(199003)(24454002)(3280700002)(2906002)(74482002)(3660700001)(68736007)(105586002)(5660300001)(316002)(6512007)(99286003)(81156014)(4326008)(81166006)(34040400001)(6306002)(83506001)(14454004)(102836003)(3846002)(6246003)(6116002)(58126008)(110136005)(54906003)(53936002)(53546010)(39060400002)(8936002)(786003)(6486002)(966005)(6506006)(8676002)(97736004)(25786009)(86362001)(7736002)(6436002)(2950100002)(42882006)(66066001)(305945005)(229853002)(189998001)(106356001)(101416001)(5250100002)(478600001)(50986999)(2900100001)(54356999)(76176999)(42522002)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:DB5PR06MB1719;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: <2990914BB34C844D...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 14 Oct 2017 07:33:32.6317 (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 VGhhbmsgeW91LCBUaG9tYXMhDQoNCkFueSBmb3JtIG9mIHN1YnR5cGluZyBpcyBzeW50YWN0aWMg c3VnYXIgZm9yIGNvZXJjaW9uIGZ1bmN0aW9ucyB3ZSB3YW50IHRvDQpvbWl0IGZvciB0aGUgc2Fr ZSBvZiByZWFkYWJpbGl0eS4gVGhleSBhcmUgZGVmaW5lZCBieSB0aGVpciB0cmFuc2xhdGlvbiAt DQpJIGRvbid0IHRoaW5rIGl0IG1ha2VzIHNlbnNlIHRvIGFzc2lnbiBhbnkgaW5kZXBlbmRlbnQg c2VtYW50aWNzIHRvDQpub3RhdGlvbmFsIGNvbnZlbnRpb25zLg0KDQpNeSB2aWV3IG9mIFR5cGUg VGhlb3J5IGlzIHRoYXQgd2UgYWx3YXlzIGNvbnNpZGVyIHR5cGVkIG9iamVjdHMgaGVuY2Ugd2UN CnNob3VsZG4ndCByZWFsbHkgdGFsayBhYm91dCB0aGUgcHJldGVybXMuIEluIG91ciByZWNlbnQg d29yayBvbiBpbnRyaW5zaWMNCnN5bnRheCBvZiBUeXBlIFRoZW9yeSB3ZSBwcmVzZW50IGEgdHlw ZWQgc3ludGF4IHRoYXQgbmV2ZXIgcmVmZXJzIHRvDQpwcmV0ZXJtcy4gSW4gdGhpcyBmcmFtZXdv cmsgdGhlb3JpZXMgd2l0aCBjb2VyY2lvbnMgY2Fubm90IGJlIGV4cHJlc3NlZA0KYW5kIHRoZSBz eW50YXggaXMgdGhlIGluaXRpYWwgYWxnZWJyYSBvZiB0aGUgY29ycmVzcG9uZGluZyBub3Rpb24g b2YNCmFsZ2VicmFzLg0KDQpUaG9yc3Rlbg0KDQpPbiAxMy8xMC8yMDE3LCAwOToxMCwgImhvbW90 b3B5dC4uLkBnb29nbGVncm91cHMuY29tIG9uIGJlaGFsZiBvZg0KVGhvbWFzIFN0cmVpY2hlciIg PGhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tIG9uIGJlaGFsZiBvZg0Kc3RyZS4uLkBtYXRo ZW1hdGlrLnR1LWRhcm1zdGFkdC5kZT4gd3JvdGU6DQoNCj51bm5vdGF0ZWQgY3VtdWxhdGl2aXR5 IGp1c3QgbWVhbnMgdGhhdCB3ZSBzeW50YWN0aWNhbGx5IG9taXQgdGhlDQo+aW5jbHVzaW9ucyBv ZiBVX24gaW50byBVX3tuKzF9IGJ1dCBzZW1hbnRpY2FsbHkgdGhleSBhcmUgdGhlcmUNCj5hbmQg aGF2ZSB0byBiZSBpbnNlcnRlZCB3aGVuIGludGVycHJldGluZyBzeW50YXgNCj4NCj50aGF0J3Mg c2ltaWxhciB0byB1bml2ZXJzZXMgYGEgbGEgUnVzc2VsbCB3aGljaCBhcmUganVzdCBhIHNob3J0 aGFuZA0KPmZvciB1bml2ZXJzZXMgYGEgbGEgVGFyc2tpDQo+DQo+YnV0IHdoYXQgaXMgdHJ1ZSBp cyB0aGF0IHRoZXJlIGFyZSBzeW50YXhlcyB3aGVyZSB0ZXJtcyBkb24ndCBoYXZlDQo+dW5pcXVl IHR5cGVzLCBidXQgdGhvc2UgYWx3YXlzIGNvbnNpZGVyIHRlcm1zIHRvZ2V0aGVyIHdpdGggYSB0 eXBlDQo+DQo+YnV0IGdlbmVyYWxseSBpbiBDUyBhbmQgbG9naWMgb25lIGRpc3Rpbmd1aXNoZXMg YmV0d2VlbiB0eXBpbmcgYGEgbGENCj5DaHVyY2ggYW5kIGBhIGxhIEN1cnJ5LCB0aGUgZmlyc3Qg aXMgdXNlZCBpbiBNTC1saWtlIHR5cGUgdGhlb3JpZXMsDQo+dGhlIGxhdHRlciB3aGVuIHR5cGlu ZyB0ZXJtcyBvZiBvdXQgb2YgYW4gdW50eXBlZCBjb2xsZWN0aW9uIG9mDQo+cHJldGVybXMNCj4N Cj5UaG9tYXMNCj4NCj4NCj5PbiBGcmksIE9jdCAxMywgMjAxNyBhdCAxMDowMzowNkFNICswMjAw LCBQZXRlciBMZUZhbnUgTHVtc2RhaW5lIHdyb3RlOg0KPj4gT24gVGh1LCBPY3QgMTIsIDIwMTcg YXQgODo0MyBQTSwgRGltaXRyaXMgVHNlbWVudHppcw0KPj48ZHRzZS4uLkBwcmluY2V0b24uZWR1 DQo+PiA+IHdyb3RlOg0KPj4gDQo+PiA+IERlYXIgYWxsLA0KPj4gPg0KPj4gPiBMZXQ/Pz9zIHNh eSBhIHR5cGUgdGhlb3J5IFRUIGlzICppbml0aWFsKiBpZiBpdHMgdGVybSBtb2RlbCBDX1RUIGlz DQo+PmluaXRpYWwNCj4+ID4gYW1vbmcgVFQtbW9kZWxzLCB3aGVyZSBUVC1tb2RlbHMgYXJlIG1v ZGVscyBvZiB0aGUgY2F0ZWdvcmljYWwNCj4+c2VtYW50aWNzIG9mDQo+PiA+IHR5cGUgdGhlb3J5 IChlLmcuIEN3RnMvQy1zeXN0ZW1zIGV0Yy4pIHdpdGggZW5vdWdoIGV4dHJhIHN0cnVjdHVyZSB0 bw0KPj5tb2RlbA0KPj4gPiB0aGUgcnVsZXMgb2YgVFQuDQo+PiA+DQo+PiANCj4+IEkgbGlrZSB0 aGUgZXhhbXBsZXMsIGJ1dCBJIHdvdWxkIGdpdmUgYSBkaWZmZXJlbnQgYW5hbHlzaXMgb2Ygd2hh dCB0aGV5DQo+PiB0ZWxsIHVzLg0KPj4gDQo+PiBUaGUgZGVmaW5pdGlvbiBvZiA/Pz9pbml0aWFs Pz8/IHByZXN1cHBvc2VzIHRoYXQgd2UgaGF2ZSBhbHJlYWR5DQo+PmRlZmluZWQgd2hhdA0KPj4g Pz8/VFQtbW9kZWxzPz8/IG1lYW5zID8/PyBpLmUuIHdoYXQgdGhlIGNhdGVnb3JpY2FsIHNlbWFu dGljcyBzaG91bGQNCj4+YmUuICBUaGVyZQ0KPj4gaXMgYXMgeWV0IG5vIHByb3Bvc2VkIGdlbmVy YWwgZGVmaW5pdGlvbiBvZiB0aGlzIChhcyBmYXIgYXMgSSBrbm93KS4NCj4+IA0KPj4gSGV1cmlz dGljYWxseSwgdGhlcmU/Pz9zIGNlcnRhaW5seSBhIGxhcmdlIGNsYXNzIG9mIHR5cGUgdGhlb3Jp ZXMgd2hlcmUNCj4+d2UNCj4+IHVuZGVyc3RhbmQgd2hhdCB0aGUgY2F0ZWdvcmljYWwgc2VtYW50 aWNzIGFyZSwgYW5kIGFsbCBjbGVhcmx5IGFncmVlLg0KPj5CdXQNCj4+IHJ1bGVzIGxpa2UgdW4t YW5ub3RhdGVkIGN1bXVsYXRpdml0eSBhcmUgKm5vdCogaW4gdGhpcyBjbGFzcy4gIEl0Pz8/cw0K Pj5ub3QNCj4+IGNsZWFyIHdoYXQgc2hvdWxkIGNvcnJlc3BvbmQgdG8gdW4tYW5ub3RhdGVkIGN1 bXVsYXRpdml0eSwgYXMgYSBydWxlIGluDQo+PiBDd0E/Pz9zIChvciBDd0Y/Pz9zLCBDLXN5c3Rl bXMsIGV0YykuICBBIGNlcnRhaW4gb3BlcmF0aW9uIG9uIHRlcm1zPyAgQW4NCj4+IG9wZXJhdGlv biwgcGx1cyB0aGUgY29uZGl0aW9uIHRoYXQgaXQ/Pz9zIG1vbm8/ICBBbiBhc3N1bXB0aW9uIHRo YXQNCj4+dGVybXMgb2YNCj4+IG9uZSB0eXBlIGFyZSBsaXRlcmFsbHkgYSBzdWJzZXQgb2YgdGVy bXMgb2YgdGhlIG90aGVyPyAgU29tZSBvZiB0aGVzZQ0KPj53aWxsDQo+PiBtYWtlIGluaXRpYWxp dHkgY2xlYXJseSBmYWxzZTsgb3RoZXJzIG1heSBtYWtlIGl0IHRydWUgYnV0IHZlcnkNCj4+IG5v bi1vYnZpb3VzbHkgc28gKHRoYXQgaXMsIG1vcmUgbm9uLW9idmlvdXNseSB0aGFuIHVzdWFsKS4N Cj4+IA0KPj4gU28gSSBkb24/Pz90IHRoaW5rIHdlIGNhbiBzYXkgPz8/VGhlc2UgdGhlb3JpZXMg YXJlbj8/P3QgaW5pdGlhbC4/Pz8NCj4+Pz8/IGJ1dCBtb3JlDQo+PiBsaWtlID8/P1dlPz8/cmUg bm90IHN1cmUgd2hhdCB0aGUgY29ycmVjdCBpbml0aWFsaXR5IHN0YXRlbWVudCBpcyBmb3INCj4+ dGhlc2UNCj4+IHRoZW9yaWVzLCBhbmQgc29tZSB2ZXJzaW9ucyBvbmUgbWlnaHQgdHJ5IGFyZSBm YWxzZS4/Pz8gIEJ1dCBJDQo+PmRlZmluaXRlbHkNCj4+IGFncmVlIHRoYXQgdGhleSBzaG93DQo+ PiANCj4+ID4gIHRoZSBjbGFpbSB0aGF0IGUuZy4gQm9vayBIb1RUIG9yIDJMVFQgaXMgaW5pdGlh bCBjYW5ub3QgYmUgY29uc2lkZXJlZA0KPj4gb2J2aW91cw0KPj4gDQo+PiA/Pz9wLg0KPj4gDQo+ PiANCj4+IA0KPj4gVGhlbiB3ZSBoYXZlIHRoZSBmb2xsb3dpbmcsIGJ1aWxkaW5nIG9uIGFuIGV4 YW1wbGUgb2YgVm9ldm9kc2t5Pz8/cy4NCj4+ID4NCj4+IA0KPj4gDQo+PiANCj4+IA0KPj4gPiAq T0JTRVJWQVRJT04qLiBBbnkgdHlwZSB0aGVvcnkgd2hpY2ggY29udGFpbnMgdGhlIGZvbGxvd2lu ZyBydWxlcw0KPj4gPiAoYWRtaXNzaWJsZSBvciBvdGhlcndpc2UpDQo+PiA+DQo+PiA+ID8/IHwt IFQgKlR5cGUqDQo+PiA+ID8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/PyAgKEMpDQo+PiA+ID8/IHwt IEIoVCkgKlR5cGUqDQo+PiA+DQo+PiA+ID8/IHwtIHQgOiBUDQo+PiA+ID8/Pz8/Pz8/Pz8/Pz8/ Pz8/Pz8/Pz8/PyAgKFIxKQ0KPj4gPiA/PyB8LSB0IDogQihUKQ0KPj4gPg0KPj4gPiA/PyB8LSB0 IDogVA0KPj4gPiA/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8gIChSMikNCj4+ID4gPz8gfC0gcCh0 KSA6IEIoVCkNCj4+ID4NCj4+ID4gdG9nZXRoZXIgd2l0aCBheGlvbXMgdGhhdCB0aGVyZSBpcyBh IHR5cGUgVDAgaW4gYW55IGNvbnRleHQgYW5kIGENCj4+dGVybSB0MA0KPj4gPiA6IFQwIGluIGFu eSBjb250ZXh0LCBpcyBub3QgaW5pdGlhbC4NCj4+ID4NCj4+ID4gKlBST09GIFNLRVRDSC4qIExl dCBUVCBiZSBzdWNoIGEgdHlwZSB0aGVvcnkuIENvbnNpZGVyIHRoZSB0eXBlIHRoZW9yeQ0KPj4g PiBUVCogd2hpY2ggcmVwbGFjZXMgKFIxKSB3aXRoIHRoZSBydWxlDQo+PiA+DQo+PiA+ID8/IHwt IHQgOiBUDQo+PiA+ID8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/PyAgKFIxKikNCj4+ID4gPz8gfC0g cSh0KSA6IEIoVCkNCj4+ID4NCj4+ID4gaS5lLiB0aGUgcnVsZSB3aGljaCBhZGRzIGFuID8/P2Fu bm90YXRpb24/Pz8gdG8gYSB0ZXJtIHQgZnJvbSBUIHRoYXQNCj4+YmVjb21lcyBhDQo+PiA+IHRl cm0gb2YgQihUKS4gVGhlbiB0aGUgY2F0ZWdvcnkgb2YgVFQtbW9kZWxzIGlzIGlzb21vcnBoaWMg KGluIGZhY3QsDQo+PmVxdWFsKQ0KPj4gPiB0byB0aGUgY2F0ZWdvcnkgb2YgVFQqLW1vZGVscyBh bmQgaW4gcGFydGljdWxhciB0aGUgdGVybSBtb2RlbHMgQ19UVA0KPj5hbmQNCj4+ID4gQ19UVCog YXJlIGJvdGggVFQtbW9kZWxzLiBCdXQgdGhlcmUgYXJlIHR3byBkaXN0aW5jdCBUVC1tb2RlbA0K Pj5ob21vbW9ycGhpc21zDQo+PiA+IGZyb20gQ19UVCB0byBDX1RUKiwgb25lIHdoaWNoIHNlbmRz IHAodDApIHRvIHBxKHQwKSBhbmQgb25lIHdoaWNoDQo+PnNlbmRzDQo+PiA+IHAodDApIHRvIHFw KHQwKSAod2hlcmUgcCh0MCkgaXMgcmVnYXJkZWQgYXMgYW4gZWxlbWVudCBvZiBUbV97Q19UVH0N Cj4+KGVtcHR5LA0KPj4gPiBCKEIoVDApKSksIGkuZS4gb2YgdGhlIHNldCBvZiB0ZXJtcyBvZiBC KEIoVDApKSBpbiB0aGUgZW1wdHkgY29udGV4dA0KPj5hcw0KPj4gPiB0aGV5IGFyZSBpbnRlcnBy ZXRlZCBpbiB0aGUgdGVybSBtb2RlbCBDX1RUKS4NCj4+ID4NCj4+ID4gKkNPUk9MTEFSWS4gKkFu eSAobm9uLXRyaXZpYWwpIHR5cGUgdGhlb3J5IHdpdGggYSA/Pz9jdW11bGF0aXZpdHkiDQo+PnJ1 bGUgZm9yDQo+PiA+IHVuaXZlcnNlcywgaS5lLiBhIHJ1bGUgb2YgdGhlIGZvcm0NCj4+ID4NCj4+ ID4gPz8gfC0gQSA6IFUwDQo+PiA+ID8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/PyAgKFUtY3VtdWwp DQo+PiA+ID8/IHwtIEEgOiBVMQ0KPj4gPg0KPj4gPiBpcyBub3QgaW5pdGlhbC4gSW4gcGFydGlj dWxhciwgdGhlIHR5cGUgdGhlb3J5IGluIHRoZSBIb1RUIGJvb2sgaXMgbm90DQo+PiA+IGluaXRp YWwgKGJlY2F1c2Ugb2YgKFUtY3VtdWwpKSwgYW5kIHR3by1sZXZlbCB0eXBlIHRoZW9yeSAyTFRU IGFzDQo+PnByZXNlbnRlZA0KPj4gPiBoZXJlIDxodHRwczovL2FyeGl2Lm9yZy9hYnMvMTcwNS4w MzMwNz4gaXMgbm90IGluaXRpYWwgKGJlY2F1c2Ugb2YgdGhlDQo+PiA+IHJ1bGUgKEZJQi1QUkUp KS4NCj4+ID4NCj4+ID4gVGhlIG1vcmFsIG9mIHRoaXMgc21hbGwgb2JzZXJ2YXRpb24sIGlmIGNv cnJlY3QsIGlzIG5vdCBvZiBjb3Vyc2UgdGhhdA0KPj4gPiB0eXBlIHRoZW9yaWVzIHdpdGggdGhl IGd1aWx0eSBydWxlcyBjYW5ub3QgYmUgbWFkZSBpbml0aWFsIGJ5DQo+PmFwcHJvcHJpYXRlDQo+ PiA+IG1vZGlmaWNhdGlvbnMgdG8gZWl0aGVyIHRoZSBjYXRlZ29yaWNhbCBzZW1hbnRpY3Mgb3Ig dGhlIHN5bnRheCwgYnV0DQo+PnJhdGhlcg0KPj4gPiB0aGF0IGEgYml0IG9mIGNhcmUgbWlnaHQg YmUgcmVxdWlyZWQgZm9yIHRoaXMgdGFzay4gT25lIG1vZGlmaWNhdGlvbg0KPj53b3VsZA0KPj4g PiBiZSB0byBkZWZpbmUgdGhlaXIgY2F0ZWdvcmljYWwgc2VtYW50aWNzIHRvIGJlIHN1Y2ggdGhh dCBjZXJ0YWluDQo+PmlkZW50aXRpZXMNCj4+ID4gaG9sZCB0aGF0IGFyZSBub3QgZ2VuZXJhbGx5 IGluY2x1ZGVkIGluIHRoZSBkZWZpbml0aW9ucyBvZg0KPj4gPiBDd0YvQy1zeXN0ZW0vPz8/LWdh ZGdldHMgKGUuZy4gdGhhdCB0aGUgaW5jbHVzaW9uIG9wZXJhdGlvbiBvbg0KPj51bml2ZXJzZXMg aXMNCj4+ID4gaWRlbXBvdGVudCkuIEFub3RoZXIgbW9kaWZpY2F0aW9uIHdvdWxkIGJlIHRvIGFk ZCBhbm5vdGF0aW9ucyAoYnkNCj4+cmVwbGFjaW5nDQo+PiA+IChSMSkgd2l0aCAoUjEqKSBhcyBh Ym92ZSkgYW5kIGV4dHJhIGRlZmluaXRpb25hbCBlcXVhbGl0aWVzIGVuc3VyaW5nDQo+PnRoYXQN Cj4+ID4gYW5ub3RhdGlvbnMgY29tbXV0ZSB3aXRoIHR5cGUgY29uc3RydWN0b3JzLg0KPj4gPg0K Pj4gPiBCdXQgd2l0aG91dCBzb21lIHN1Y2ggZXhwbGljaXQgbW9kaWZpY2F0aW9uLCBJIHRoaW5r IHRoYXQgdGhlIGNsYWltDQo+PnRoYXQNCj4+ID4gZS5nLiBCb29rIEhvVFQgb3IgMkxUVCBpcyBp bml0aWFsIGNhbm5vdCBiZSBjb25zaWRlcmVkIG9idmlvdXMsIG9yDQo+PmV2ZW4NCj4+ID4gZW50 aXJlbHkgY29ycmVjdC4NCj4+ID4NCj4+ID4gQmVzdCwNCj4+ID4NCj4+ID4gRGltaXRyaXMNCj4+ ID4NCj4+ID4gUFM6IEhhcyBzb21ldGhpbmcgbGlrZSB0aGUgYWJvdmUgcmVnYXJkaW5nIGN1bXVs YXRpdml0eSBydWxlcyBoYXMgYmVlbg0KPj4gPiBvYnNlcnZlZCBiZWZvcmUgPz8/IGlmIHNvIGNh biBzb21lb25lIHByb3ZpZGUgYSByZWxldmFudCByZWZlcmVuY2U/DQo+PiA+DQo+PiA+DQo+PiA+ DQo+PiA+DQo+PiA+DQo+PiANCj4NCj4tLSANCj5Zb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJl Y2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzDQo+IkhvbW90b3B5 IFR5cGUgVGhlb3J5IiBncm91cC4NCj5UbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5k IHN0b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuDQo+ZW1haWwgdG8gSG9tb3Rv cHlUeXBlVGhlLi4uQGdvb2dsZWdyb3Vwcy5jb20uDQo+Rm9yIG1vcmUgb3B0aW9ucywgdmlzaXQg aHR0cHM6Ly9ncm91cHMuZ29vZ2xlLmNvbS9kL29wdG91dC4NCg0KCgoKClRoaXMgbWVzc2FnZSBh bmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3IgdGhlIGFkZHJlc3NlZQph bmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSByZWNl aXZlZCB0aGlzCm1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBzZW5kIGl0IGJhY2sgdG8gbWUsIGFu ZCBpbW1lZGlhdGVseSBkZWxldGUgaXQuIAoKUGxlYXNlIGRvIG5vdCB1c2UsIGNvcHkgb3IgZGlz Y2xvc2UgdGhlIGluZm9ybWF0aW9uIGNvbnRhaW5lZCBpbiB0aGlzCm1lc3NhZ2Ugb3IgaW4gYW55 IGF0dGFjaG1lbnQuICBBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2VkIGJ5IHRoZQphdXRo b3Igb2YgdGhpcyBlbWFpbCBkbyBub3QgbmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mgb2Yg dGhlClVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4KClRoaXMgbWVzc2FnZSBoYXMgYmVlbiBjaGVj a2VkIGZvciB2aXJ1c2VzIGJ1dCB0aGUgY29udGVudHMgb2YgYW4KYXR0YWNobWVudCBtYXkgc3Rp bGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxkIGRhbWFnZSB5b3VyCmNvbXB1 dGVyIHN5c3RlbSwgeW91IGFyZSBhZHZpc2VkIHRvIHBlcmZvcm0geW91ciBvd24gY2hlY2tzLiBF bWFpbApjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gbWF5 IGJlIG1vbml0b3JlZCBhcwpwZXJtaXR0ZWQgYnkgVUsgbGVnaXNsYXRpb24uCgo=