From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:adf:c34d:: with SMTP id e13-v6mr383996wrg.14.1527092802392; Wed, 23 May 2018 09:26:42 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:5413:: with SMTP id i19-v6ls3022086wmb.3.gmail; Wed, 23 May 2018 09:26:41 -0700 (PDT) X-Received: by 2002:a1c:9c58:: with SMTP id f85-v6mr589192wme.3.1527092801301; Wed, 23 May 2018 09:26:41 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1527092801; cv=none; d=google.com; s=arc-20160816; b=AcyisxcnoTgBitmaCnJst5sxPQBucM/FYNS4z4qKX4ZT6iMBXQcyk42MCCAYdaHZK4 zkitfTQ8u2utlcZPOpcyCj9yWs/h/2/f1gOHlHnmF0EaiVU1yL4xuCGDCbFEqdKVFK9w 1+AAvjaqA4CO89Oaf5A9XVr4bH5lfUKfHkqKThzuCkg8mRQX2V9yZmdmsWULrU/Gv/lC ez917DzvrdJB3OwC7fYOlIcDYt6UecCOiw1HC6AOqJ9sgZa+7iHv4ug9Vldb+7Dz1wE9 A1nBPTihgZPhFqK97WyRg4lMsRl9oZ+26P3zHTw91DIgj91evXzVFFvak5RjzH7I2WAk zJKw== 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=4yLPf6Ghlnst+q5tP7FI9kt6bq7ZRPw3R0OcYDQQHrA=; b=r2P9HmnCkNhaxJXrV76lOrn9If7sOqp8/s0UDTpEwhpJUK8LHFOAHIFf2XYAdpdjn4 D3MQM20LAWZ5TRVHFyTTO23wtReTQZm1jUdrywQXrFDyT3HuMUx/K0VMNDe0TedX0TXj DVETohKuCE8vieXCNiGlDseeKg6O1YhAN3oVxRz5TUtU/1X8GX8LQwAbUXYy1OJqM1JE GQKXzlByKhsTYTnbsj1gkKyD/eU5i5pmM40XDKTDCkv/i0Y27GJvKawD7Xbyz+8d5RWV RPTB2j/i32GTC7GqwtFQkGfgUbPkdRZkcaq/GOHx4STbUGLhBDn69CN7BjUP31D82WTB yE+A== 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 c83-v6si119792wmd.1.2018.05.23.09.26.41 for ; Wed, 23 May 2018 09:26:41 -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 EA2E72B7BB3_B059640B for ; Wed, 23 May 2018 16:26:40 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) by uidappmx06.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id 49DC8858D5C_B059640F for ; Wed, 23 May 2018 16:26:40 +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 1fLWb2-0008MM-9O; Wed, 23 May 2018 17:26:40 +0100 Received: from EUR01-HE1-obe.outbound.protection.outlook.com (213.199.154.212) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.389.1; Wed, 23 May 2018 17:26:40 +0100 Received: from DB6PR0601MB2037.eurprd06.prod.outlook.com (10.168.56.142) by DB6PR0601MB2118.eurprd06.prod.outlook.com (10.168.57.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.776.16; Wed, 23 May 2018 16:26:38 +0000 Received: from DB6PR0601MB2037.eurprd06.prod.outlook.com ([fe80::9063:47f:22af:258]) by DB6PR0601MB2037.eurprd06.prod.outlook.com ([fe80::9063:47f:22af:258%13]) with mapi id 15.20.0776.015; Wed, 23 May 2018 16:26:38 +0000 From: Thorsten Altenkirch To: Michael Shulman , "homotopyt...@googlegroups.com" Subject: Re: [HoTT] Where is the problem with initiality? Thread-Topic: [HoTT] Where is the problem with initiality? Thread-Index: AQHT8ZBBi0BewTravkOfd813FgitW6Q9kz6A Date: Wed, 23 May 2018 16:26:38 +0000 Message-ID: References: In-Reply-To: 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.113.183.216] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DB6PR0601MB2118;7:JMw7Cyq8Sc9Y4tNtS/4NC+DAHD/xrnZnl3BwWF7hScFzl28ydm5mhq+OrCImtZr7bY/nqrgcweBJHT8g4RkuWJzpuUTV2+EiA0bFFa/ubRlXggpj006A15Z/qPvc+sZo8lGusGJ7ijcolBmuV97SonOdxXuF5mhJk9s2T3RLC53U4G0Or+kt2pERMhELCKBnwhH9iKyqrCl7vlwUAtqFc9L3poDl6Phqj3bGUG0fBkSwCRvodxwMP/uqoaInmw4D x-ms-exchange-antispam-srfa-diagnostics: SOS; x-microsoft-antispam: UriScan:(215639381216008);BCL:0;PCL:0;RULEID:(7020095)(4652020)(8989080)(5600026)(4534165)(4627221)(201703031133081)(201702281549075)(8990040)(2017052603328)(7153060)(7193020);SRVR:DB6PR0601MB2118; x-ms-traffictypediagnostic: DB6PR0601MB2118: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(215639381216008)(228788266533470)(211936372134217); x-ms-exchange-senderadcheck: 1 x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040522)(2401047)(5005006)(8121501046)(3002001)(3231254)(944501410)(52105095)(93006095)(93001095)(10201501046)(149027)(150027)(6041310)(20161123560045)(20161123564045)(201703131423095)(201702281529075)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123558120)(20161123562045)(6072148)(201708071742011)(7699016);SRVR:DB6PR0601MB2118;BCL:0;PCL:0;RULEID:;SRVR:DB6PR0601MB2118; x-forefront-prvs: 06818431B9 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(376002)(39860400002)(39380400002)(366004)(346002)(396003)(189003)(199004)(966005)(81166006)(81156014)(3280700002)(25786009)(316002)(97736004)(5250100002)(106356001)(6512007)(6306002)(2171002)(86362001)(105586002)(6246003)(446003)(486006)(11346002)(53936002)(2501003)(186003)(2906002)(478600001)(2616005)(3660700001)(102836004)(476003)(26005)(2900100001)(5660300001)(99286004)(229853002)(74482002)(345774005)(58126008)(59450400001)(6116002)(76176011)(6486002)(66066001)(68736007)(8676002)(8936002)(110136005)(14454004)(786003)(7736002)(6436002)(305945005)(53546011)(3846002)(6506007)(42522002)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:DB6PR0601MB2118;H:DB6PR0601MB2037.eurprd06.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; received-spf: None (protection.outlook.com: exmail.nottingham.ac.uk does not designate permitted sender hosts) x-microsoft-antispam-message-info: bg2JFP3EZ6mboEAzIbAcoiJkqHWEwVbcarvji1NKxXRebQrSfwH5+3foLUClOhBUDx90qMMlQ5lRXYGn/SFhznHcssnX4oAdWKonNqavWcqsFZmY5r7GYixFMc3S6Di4aVcWPX9SEsvEqnVpx1qCZknzmCUlt9PxThJm5PRF51637+O73LvA7qkswSO+hktX spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-ID: <99AAD4B40E53FF45...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Office365-Filtering-Correlation-Id: d29a9cfc-e146-41e6-3d7f-08d5c0c9f5cf X-MS-Exchange-CrossTenant-Network-Message-Id: d29a9cfc-e146-41e6-3d7f-08d5c0c9f5cf X-MS-Exchange-CrossTenant-originalarrivaltime: 23 May 2018 16:26:38.5877 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB6PR0601MB2118 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size X-SASI-RCODE: 200 SGkgTWljaGFlbCwNCg0KdGhhbmsgeW91IGZvciB5b3VyIG5pY2Ugc3VtbWFyeS4gWW91IHNheSB0 aGF0DQoNCiJJdCBzZWVtcyB0byBtZSB0aGF0IHRoZSBtYWluIGRpZmZlcmVuY2UgYmV0d2VlbiAo MSkgYW5kICgyKSwgYW5kDQpiZXR3ZWVuICgzKSBhbmQgKDQpLCBpcyBjb252ZW5pZW5jZTsgaXMg dGhhdCByaWdodD8iDQoNCkl0IHNlZW1zIHRvIG1lIHRoYXQgYSBsb3QgaW4gTWF0aGVtYXRpY3Mg Y2FuIGJlIGRlc2NyaWJlZCBhcyBjb252ZW5pZW5jZS4NClNvbWV0aW1lcyBhIGdvb2QgKGJ1dCBl cXVpdmFsZW50KSBjaG9pY2Ugb2YgcmVwcmVzZW50YXRpb24gY2FuIG1ha2UgYWxsDQp0aGUgZGlm ZmVyZW5jZS4gDQoNCkFuZCBJIG1heSBhZGQgdGhhdCB0aGVyZSBhcmUgY2FzZXMgd2hlcmUgd2Ug ZG9uJ3Qgd2FudCB0byBzdGljayB0bw0KZmluaXRhcnkgY29uc3RydWN0b3JzLiBGb3IgZXhhbXBs ZSBBbWJydXMgYW5kIEFuZHJhcyBwcm9wb3NlZCBhIHRoZW9yeSBvZg0KY29kZXMgdG8gZGVzY3Jp YmUgUUlJVHMgd2hpY2ggZG9lcyB1c2UgaW5maW5pdGFyeSBjb25zdHJ1Y3RvcnMgdG8gYWxsb3cN CmluZGV4aW5nIGJ5IGV4dGVybmFsIHNldHMuIEluIHRoaXMgY2FzZSB0aGUgc2V0b2lkIGFwcHJv YWNoIHdvdWxkbid0IHdvcmsuDQoNCig1KSBhbmQgKDcpIGludHJvZHVjZSBwcmV0ZXJtcyB3aGlj aCBJIHRoaW5rIHNob3VsZG4ndCBiZSBjb25zaWRlcmVkDQpmdW5kYW1lbnRhbCBpbiB0aGUgZGVm aW5pdGlvbiBvZiB0eXBlIHRoZW9yeS4NCg0KRGVmaW5pbmcgbm9ybWFsIGZvcm1zICg2KSwoNykg aXMgYW4gaW1wb3J0YW50IHRvb2wgYnV0IGl0IHNob3VsZG4ndCBiZSB0aGUNCmJhc2ljIGRlZmlu aXRpb24gb2YgdGhlIHR5cGUgdGhlb3J5Lg0KDQpIaXN0b3JpY2FsbHkgd2UgaGF2ZSB1c2VkICg1 KSBldmVuIHdpdGggdGhlIHZhcmlhdGlvbiB0aGF0IGVxdWFsaXR5IGlzDQpkZWZpbmVkIG9uIHVu dHlwZWQgdGVybXMgYW5kIHVzaW5nIG9ubHkgYSBzbWFsbCBzdGVwIHJlZHVjdGlvbiByZWxhdGlv bi4NClN1YnN0aXR1dGlvbiBpcyBhIGRlZmluZWQgbWV0YXRoZW9yZXRpYyBvcGVyYXRpb24uIE9u Y2UgeW91IHRha2UgdGhlc2UNCmNob2ljZXMgeW91IHNwZW5kIGEgbG90IG9mIHRpbWUgcHJvdmlu ZyB0aGluZ3Mgd2hpY2ggc2hvdWxkIGJlIG9idmlvdXMuDQpOb3csIG9idmlvdXNseSB0aGVyZSBp cyBub3Qgb25lICJiZXN0IiB3YXkgdG8gZGVmaW5lIHR5cGUgdGhlb3J5IGJ1dCBJDQp0aGluayB3 ZSBoYXZlIG1hZGUgYSBsb3Qgb2YgcHJvZ3Jlc3MuIFRoZSBiYXNpYyBpbmdyZWRpZW50cyBvZiB0 aGlzDQpwcm9ncmVzcyBhcmU6DQoNCjEuIFN1YnN0aXR1dGlvbiBpcyBhIHRlcm0gY29uc3RydWN0 b3IgYW5kIHdvcmtzIG9uIHRoZSB3aG9sZSBjb250ZXh0DQoocGFyYWxsZWwgc3Vic3RpdHV0aW9u KS4gVGhpcyBpc3N1ZSBpc24ndCB2aXNpYmxlIGluIHlvdXIgZXhhbXBsZXMgYmVjYXVzZQ0Kb2Yg dGhlIHJlc3RyaWN0aW9uIHRvIHVuYXJ5Lg0KMi4gRXF1YWxpdHkgaXMgdHlwZWQgYW5kIG5vdCBk ZXJpdmVkIGZvcm0gc21hbGwtc3RlcCByZWR1Y3Rpb24uDQozLiBFcXVhbGl0eSBpcyBkZWZpbmVk IGF0IHRoZSBzYW1lIHRpbWUgYXMgdHlwaW5nLiAodGhpcyBpcyBlc3BlY2lhbGx5DQpyZWxldmFu dCBmb3IgZGVwZW5kZW50IHR5cGVzKS4NCjQuIFdlIG9ubHkgZGVmaW5lIHR5cGVkIGVudGl0aWVz IChubyBwcmV0ZXJtcykuDQoNCkJlaW5nIGFibGUgdG8gZG8gdGhlc2UgdGhpbmdzIHJlbGllZCBv biBkZXZlbG9wbWVudHMgaW4gdHlwZSB0aGVvcnkNCml0c2VsZi4gSXQgd2FzIGNsZWFyIHRoYXQg d2UgbmVlZGVkIGluZHVjdGl2ZS1pbmR1Y3RpdmUgZGVmaW5pdGlvbnMgdG8gYmUNCmFibGUgdG8g YXZvaWQgcHJldGVybXMgYnV0IGEgbG90IG9mIGJvaWxlcnBsYXRlIHdhcyBlbGltaW5hdGVkIGJ5 IHVzaW5nDQpRSVRzLiBBbmQgYXMgSSBzYWlkIHRoaXMgYWxzbyBvcGVucyB0aGUgd2F5IHRvIGhh dmUgd2VsbCBiZWhhdmVkIHR5cGUNCnRoZW9yaWVzIHdpdGggaW5maW5pdGFyeSBjb25zdHJ1Y3Rv cnMuDQoNCkp1c3QgdG8gY29tbWVudCBvbiB0aGUgaC1sZXZlbCBwcm9ibGVtIHlvdSBkb24ndCB3 YW50IHRvIGRpc2N1c3MgeWV0OiBpdA0Kc2VlbXMgdG8gbWUgdGhhdCBpZiB3ZSB3YW50IHRvIHVz ZSBzb21ldGhpbmcgYWxvbmcgdGhlIGxpbmUgb2YgKDYpIHRvDQpkZWZpbmUgbm9ybWFsIGZvcm1z IGZvciBkZXBlbmRlbnQgdHlwZXMgd2UgZmFjZSB0aGUgcHJvYmxlbSB0aGF0IHdlIG5lZWQNCnRv IGRlZmluZSBub3JtYWxpc2F0aW9uIGF0IHRoZSBzYW1lIHRpbWUgYXMgdGhlIHRlcm1zLiBUaGlz IGlzDQppbmR1Y3Rpb24tcmVjdXJzaW9uIHdoaWNoIG9uIGl0J3Mgb3duIHNob3VsZG4ndCBiZSBh IHByb2JsZW0uIEhvd2V2ZXIsIGl0DQpzZWVtcyB0byBtZSB0aGF0IHdlIGhhdmUgdG8gcHJvdmUg cHJvcGVydGllcyBvZiBub3JtYWxpc2F0aW9uIChlLmcuDQpzdWJzdGl0dXRpb24gbGF3cykgYXQg dGhlIHNhbWUgdGltZSB3aGljaCBhZ2FpbiBnaXZlIHJpc2UgdG8gY29oZXJlbmNlDQpwcm9ibGVt cy4gSXQgd291bGQgYmUgaW50ZXJlc3RpbmcgdG8gc2VlIGEgd2F5IHRvIGF2b2lkIHRoZXNlIGlz c3VlcywgYnV0DQp0aGVuIHdvdWxkbid0IHdlIGJlIGFibGUgdG8gc29sdmUgdGhlIHByb2JsZW0g dG8gZGVmaW5lIHNlbWktc2ltbGljaWFsDQpzZXRzIChvciBtb3JlIGdlbmVyYWwgcmVlZHkgbGlt aXRzKSBpbiBwbGFpbiBIb1RUPw0KDQoNClRob3JzdGVuDQoNCk9uIDIyLzA1LzIwMTgsIDA2OjQ2 LCAiaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mDQpNaWNoYWVsIFNo dWxtYW4iIDxob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbSBvbiBiZWhhbGYgb2YNCnNodS4u LkBzYW5kaWVnby5lZHU+IHdyb3RlOg0KDQo+VGhvcnN0ZW4gZ2F2ZSBhIHZlcnkgbmljZSBIb1RU RVNUIHRhbGsgYSBjb3VwbGUgd2Vla3MgYWdvIGFib3V0IGhpcw0KPndvcmsgd2l0aCBoaXMgY29s bGFib3JhdG9ycyBvbiBpbnRyaW5zaWMgc3ludGF4IGFzIGEgUXVvdGllbnQNCj5JbmR1Y3RpdmUt SW5kdWN0aXZlIFR5cGUuICBTaW5jZSB0aGVuIEkgaGF2ZSBiZWVuIHRyeWluZyB0byBmaXQNCj50 b2dldGhlciBhIG1lbnRhbCBwaWN0dXJlIG9mIGV4YWN0bHkgaG93IGFsbCB0aGUgZGlmZmVyZW50 IGFwcHJvYWNoZXMNCj50byBzeW50YXggYXJlIHJlbGF0ZWQsIGJ1dCBJIGFtIHN0aWxsIGtpbmQg b2YgY29uZnVzZWQuDQo+DQo+SW4gYW4gYXR0ZW1wdCB0byBjbGFyaWZ5IHdoYXQgSSBtZWFuIGJ5 ICJhbGwgdGhlIGRpZmZlcmVudA0KPmFwcHJvYWNoZXMiLCBsZXQgbWUgZGVzY3JpYmUgYWxsIHRo ZSBhcHByb2FjaGVzIEkgY2FuIHRoaW5rIG9mIGluIHRoZQ0KPmNhc2Ugb2YgYSB2ZXJ5IHNpbXBs ZSB0eXBlIHRoZW9yeTogbm9uLWRlcGVuZGVudCB1bmFyeSB0eXBlIHRoZW9yeQ0KPndpdGggcHJv ZHVjdCB0eXBlcy4gIFVuYXJ5IG1lYW5zIHRoYXQgdGhlIGp1ZGdtZW50cyBoYXZlIGV4YWN0bHkg b25lDQo+dHlwZSBpbiB0aGUgY29udGV4dCwgeDpBIHwtIHQ6QiwgYW5kIHRoZSBvbmx5IHR5cGUg Y29uc3RydWN0b3IgaXMgYQ0KPnByb2R1Y3QgdHlwZSBBIHggQiwgd2l0aCBwYWlyaW5nIGZvciBh biBpbnRyb2R1Y3Rpb24gcnVsZSBhbmQNCj5wcm9qZWN0aW9ucyBmb3IgZWxpbWluYXRpb24uICBU aGUgc2VtYW50aWNzIHNob3VsZCBiZSBhIGNhdGVnb3J5IHdpdGgNCj5maW5pdGUgcHJvZHVjdHMu ICBIZXJlIGFyZSBhbGwgdGhlIHdheXMgSSBjYW4gdGhpbmsgb2YgdG8gZGVzY3JpYmUNCj5zdWNo IGEgdHlwZSB0aGVvcnk6DQo+DQo+DQo+MS4gQSBRSUlUIHRoYXQgbWlycm9ycyB0aGUgc2VtYW50 aWNzLCB3aXRoIGFsbCB0aGUgY2F0ZWdvcmljYWwNCj5vcGVyYXRpb25zIGFzIHBvaW50LWNvbnN0 cnVjdG9ycyBhbmQgdGhlaXIgYXhpb21zIGFzDQo+ZXF1YWxpdHktY29uc3RydWN0b3JzLg0KPg0K PmRhdGEgVHkgOiBTZXQgd2hlcmUNCj4gX3hfIDogVHkgLT4gVHkgLT4gVHkNCj5bVGhpcyB3aWxs IGJlIHRoZSBzYW1lIGluIGFsbCBjYXNlcywgc28gSSBoZW5jZWZvcnRoIG9taXQgaXQuXQ0KPg0K PmRhdGEgVG0gOiBUeSAtPiBUeSAtPiBTZXQgd2hlcmUNCj4gIGlkIDoge0F9IC0+IFRtIEEgQQ0K PiAgX29fIDogVG0gQSBCIC0+IFRtIEIgQyAtPiBUbSBBIEMNCj4gIGFzc29jIDogaCBvIChnIG8g ZikgPSAoaCBvIGcpIG8gZg0KPiAgbGlkIDogaWQgbyBmID0gZg0KPiAgcmlkIDogZiBvIGlkID0g Zg0KPiAgKF8sXykgOiBUbSBBIEIgLT4gVG0gQSBDIC0+IFRtIEEgKEIgeCBDKQ0KPiAgcHIxIDog VG0gKEEgeCBCKSBBDQo+ICBwcjIgOiBUbSAoQSB4IEIpIEINCj4gIGJldGExIDogcHIxIG8gKGYg LCBnKSA9IGYNCj4gIGJldGEyIDogcHIyIG8gKGYgLCBnKSA9IGcNCj4gIGV0YSA6IHAgPSAocHIx IG8gcCAsIHByMiBvIHApDQo+DQo+DQo+Mi4gQW4gSW5kdWN0aXZlLUluZHVjdGl2ZSBmYW1pbHkg b2Ygc2V0b2lkcyB0aGF0IHNpbWlsYXJseSBtaXJyb3JzIHRoZQ0KPmNhdGVnb3JpY2FsIHNlbWFu dGljcywgd2l0aCBqdWRnbWVudGFsIGVxdWFsaXR5IGFuIGluZHVjdGl2ZSB0eXBlDQo+ZmFtaWx5 IHJhdGhlciB0aGFuIGNvaW5jaWRpbmcgd2l0aCB0aGUgbWV0YXRoZW9yZXRpYyBlcXVhbGl0eS4N Cj4NCj5kYXRhIFRtIDogVHkgLT4gVHkgLT4gU2V0IHdoZXJlDQo+ICBpZCA6IHtBfSAtPiBUbSBB IEENCj4gIF9vXyA6IFRtIEEgQiAtPiBUbSBCIEMgLT4gVG0gQSBDDQo+ICAoXyxfKSA6IFRtIEEg QiAtPiBUbSBBIEMgLT4gVG0gQSAoQiB4IEMpDQo+ICBwcjEgOiBUbSAoQSB4IEIpIEENCj4gIHBy MiA6IFRtIChBIHggQikgQg0KPg0KPmRhdGEgRXEgOiBUbSBBIEIgLT4gVG0gQSBCIC0+IFNldCB3 aGVyZQ0KPiAgYXNzb2MgOiBFcSAoaCBvIChnIG8gZikpICgoaCBvIGcpIG8gZikNCj4gIGxpZCA6 IEVxIChpZCBvIGYpIGYNCj4gIHJpZCA6IEVxIDlmIG8gaWQpIGYNCj4gIGJldGExIDogRXEgKHBy MSBvIChmICwgZykpIGYNCj4gIGJldGEyIDogRXEgKHByMiBvIChmICwgZykpIGcNCj4gIGV0YSA6 IEVxIHAgKHByMSBvIHAgLCBwcjIgbyBwKQ0KPg0KPg0KPjMuIEEgUUlJVCB0aGF0IGluc3RlYWQg bWlycm9ycyB0aGUgdXN1YWwgdHlwZS10aGVvcmV0aWMgc3ludGF4LCB3aXRoDQo+b3BlcmF0aW9u cyBsaWtlIGNvbXBvc2l0aW9uIGJlaW5nIGFkbWlzc2libGUgcmF0aGVyIHRoYW4gcHJpbWl0aXZl Lg0KPkluIG91ciBzaW1wbGUgY2FzZSBpdCBsb29rcyBsaWtlIHRoaXM6DQo+DQo+ZGF0YSBUbSA6 IFR5IC0+IFR5IC0+IFNldCB3aGVyZQ0KPiAgaWQgOiB7QX0gLT4gVG0gQSBBDQo+ICAoXyxfKSA6 IFRtIEEgQiAtPiBUbSBBIEMgLT4gVG0gQSAoQiB4IEMpDQo+ICBwcjEgOiBUbSBBIChCIHggQykg LT4gVG0gQSBCDQo+ICBwcjIgOiBUbSBBIChCIHggQykgLT4gVG0gQSBDDQo+ICBiZXRhMSA6IHBy MSAoZiAsIGcpID0gZg0KPiAgYmV0YTIgOiBwcjIgKGYgLCBnKSA9IGcNCj4gIGV0YSA6IHAgPSAo cHIxIHAgLCBwcjIgcCkNCj4NCj4NCj40LiBDb21iaW5pbmcgMiBhbmQgMywgYW4gSUkgZmFtaWx5 IG9mIHNldG9pZHMgdGhhdCBtaXJyb3JzDQo+dHlwZS10aGVvcmV0aWMgc3ludGF4Lg0KPg0KPmRh dGEgVG0gOiBUeSAtPiBUeSAtPiBTZXQgd2hlcmUNCj4gIGlkIDoge0F9IC0+IFRtIEEgQQ0KPiAg KF8sXykgOiBUbSBBIEIgLT4gVG0gQSBDIC0+IFRtIEEgKEIgeCBDKQ0KPiAgcHIxIDogVG0gQSAo QiB4IEMpIC0+IFRtIEEgQg0KPiAgcHIyIDogVG0gQSAoQiB4IEMpIC0+IFRtIEEgQw0KPg0KPmRh dGEgRXEgOiBUbSBBIEIgLT4gVG0gQSBCIC0+IFNldCB3aGVyZQ0KPiAgYmV0YTEgOiBFcSAocHIx IChmICwgZykpIGYNCj4gIGJldGEyIDogRXEgKHByMiAoZiAsIGcpKSBnDQo+ICBldGEgOiBFcSBw IChwcjEgcCAsIHByMiBwKQ0KPg0KPg0KPjUuIEEgc2luZ2xlIGluZHVjdGl2ZSB0eXBlIG9mIHJh dyB0ZXJtcywgdG9nZXRoZXIgd2l0aCBpbmR1Y3RpdmUNCj5wcmVkaWNhdGVzIG92ZXIgaXQgZm9y IHRoZSB0eXBpbmcganVkZ21lbnQgYW5kIGVxdWFsaXR5IGp1ZGdtZW50cy4NCj4NCj5kYXRhIFRt IDogU2V0IHdoZXJlDQo+ICB2YXIgOiBUbQ0KPiAgKF8sXykgOiBUbSAtPiBUbSAtPiBUbQ0KPiAg cHIxIDogVG0gLT4gVG0NCj4gIHByMiA6IFRtIC0+IFRtDQo+DQo+ZGF0YSBPZiA6IFR5IC0+IFRt IC0+IFR5IC0+IFNldCB3aGVyZQ0KPiAgb2YtdmFyIDogT2YgQSB2YXIgQQ0KPiAgb2YtcGFpciA6 IE9mIEEgdCBCIC0+IE9mIEEgcyBDIC0+IE9mIEEgKHQgLCBzKSAoQiB4IEMpDQo+ICBvZi1wcjEg OiBPZiBBIHQgKEIgeCBDKSAtPiBPZiBBIChwcjEgdCkgQg0KPiAgb2YtcHIyIDogT2YgQSB0IChC IHggQykgLT4gT2YgQSAocHIyIHQpIEMNCj4NCj5kYXRhIEVxIDogVHkgLT4gVG0gLT4gVG0gLT4g VHkgLT4gU2V0IHdoZXJlDQo+ICBiZXRhMSA6IE9mIEEgdCBCIC0+IE9mIEEgcyBDIC0+IEVxIEEg KHByMSAodCAsIHMpKSB0IEINCj4gIGJldGEyIDogT2YgQSB0IEIgLT4gT2YgQSBzIEMgLT4gRXEg QSAocHIyICh0ICwgcykpIHQgQw0KPiAgZXRhIDogT2YgQSB0IChCIHggQykgLT4gRXEgQSAocHIx IHQgLCBwcjIgdCkgdCAoQiB4IEMpDQo+DQo+DQo+Ni4gQW4gSUkgZmFtaWx5IHRoYXQgZGVmaW5l cyBvbmx5IHRoZSBub3JtYWwgZm9ybXMsIHZpYSBhIHNlcGFyYXRlDQo+anVkZ21lbnQgZm9yICJh dG9taWMiIHRlcm1zIHRoYXQgcHJldmVudHMgdXMgZnJvbSB3cml0aW5nIGRvd24gYW55DQo+YmV0 YS1yZWRleGVzLCB0aGVyZWJ5IGVsaW1pbmF0aW5nIHRoZSBuZWVkIGZvciBhbnkgZXF1YWxpdHkg anVkZ21lbnQNCj4odGhvdWdoIHN1YnN0aXR1dGlvbiB0aGVuIGJlY29tZXMgbW9yZSBjb21wbGlj YXRlZCwgYXMgaXQgbXVzdA0KPmVzc2VudGlhbGx5IGluY29ycG9yYXRlIGJldGEtcmVkdWN0aW9u KS4NCj4NCj5kYXRhIEF0b20gOiBUeSAtPiBUeSAtPiBTZXQgd2hlcmUNCj4gIGlkIDoge0F9IC0+ IEF0b20gQSBBDQo+ICBwcjEgOiBBdG9tIEEgKEIgeCBDKSAtPiBBdG9tIEEgQg0KPiAgcHIyIDog QXRvbSBBIChCIHggQykgLT4gQXRvbSBBIEMNCj4NCj5kYXRhIFRtIDogVHkgLT4gVHkgLT4gU2V0 IHdoZXJlDQo+ICBhdG9tIDogQXRvbSBBIEIgLT4gVG0gQSBCDQo+ICAoXyxfKSA6IFRtIEEgQiAt PiBUbSBBIEMgLT4gVG0gQSAoQiB4IEMpDQo+DQo+DQo+Ny4gQ29tYmluaW5nIDUgYW5kIDYsIGFu IGluZHVjdGl2ZSB0eXBlIG9mIHJhdyB0ZXJtcyBhbmQgcHJlZGljYXRlcw0KPm92ZXIgaXQgdGhh dCB0eXBlIG9ubHkgdGhlIG5vcm1hbCBmb3Jtcy4NCj4NCj5kYXRhIFRtIDogU2V0IHdoZXJlDQo+ ICB2YXIgOiBUbQ0KPiAgKF8sXykgOiBUbSAtPiBUbSAtPiBUbQ0KPiAgcHIxIDogVG0gLT4gVG0N Cj4gIHByMiA6IFRtIC0+IFRtDQo+DQo+ZGF0YSBBdG9tIDogVHkgLT4gVG0gLT4gVHkgLT4gU2V0 IHdoZXJlDQo+ICBhdG9tLXZhciA6IEF0b20gQSB2YXIgQQ0KPiAgYXRvbS1wcjEgOiBBdG9tIEEg dCAoQiB4IEMpIC0+IEF0b20gQSAocHIxIHQpIEINCj4gIGF0b20tcHIyIDogQXRvbSBBIHQgKEIg eCBDKSAtPiBBdG9tIEEgKHByMiB0KSBDDQo+DQo+ZGF0YSBPZiA6IFR5IC0+IFRtIC0+IFR5IC0+ IFNldCB3aGVyZQ0KPiAgb2YtYXRvbSA6IEF0b20gQSB0IEIgLT4gT2YgQSB0IEINCj4gIG9mLXBh aXIgOiBPZiBBIHQgQiAtPiBPZiBBIHMgQyAtPiBPZiBBICh0ICwgcykgKEIgeCBDKQ0KPg0KPg0K PlRoaXMgaXMgYWxsIEkgY2FuIHRoaW5rIG9mIHJpZ2h0IG5vdy4gIEFyZSB0aGVyZSBvdGhlcnM/ ICBBcmUgdGhlcmUNCj5vdGhlciBjaG9pY2VzIHdlIGNhbiBtYWtlIGluIHRoZSBjYXNlIG9mIGRl cGVuZGVudCB0eXBlIHRoZW9yeSB0aGF0DQo+YXJlIG5vdCB2aXNpYmxlIGluIHRoaXMgc2ltcGxl IGNhc2U/DQo+DQo+SW4gdGhlIGFib3ZlIHNpbXBsZSBjYXNlIG9mIHVuYXJ5IHR5cGUgdGhlb3J5 IHdpdGggcHJvZHVjdHMsIGl0IHNob3VsZA0KPmJlIGVhc3kgdG8gc2hvdyB0aGF0IGFsbCB0aGVz ZSBkZWZpbml0aW9ucyBjb25zdHJ1Y3QgdGhlIGluaXRpYWwNCj5jYXRlZ29yeSB3aXRoIHByb2R1 Y3RzLiAgKFRoZXJlIHNob3VsZCBiZSBzb21lIGdlbmVyYXRpbmcvYXhpb21hdGljDQo+dHlwZXMg YW5kIHRlcm1zIHRvbywgdG8gbWFrZSB0aGUgcmVzdWx0IG5vbnRyaXZpYWwsIGJ1dCBJJ3ZlIGxl ZnQgdGhlbQ0KPm91dCBmb3IgYnJldml0eS4pICBNeSBtYWluIHF1ZXN0aW9uIGlzLCB3aGVyZSBk byB0aGluZ3MgYmVjb21lIGhhcmQgaW4NCj50aGUgY2FzZSBvZiBkZXBlbmRlbnQgdHlwZSB0aGVv cnk/DQo+DQo+SXQgc2VlbXMgdG8gbWUgdGhhdCB0aGUgbWFpbiBkaWZmZXJlbmNlIGJldHdlZW4g KDEpIGFuZCAoMiksIGFuZA0KPmJldHdlZW4gKDMpIGFuZCAoNCksIGlzIGNvbnZlbmllbmNlOyBp cyB0aGF0IHJpZ2h0PyAgVHlwZSB0aGVvcnkgaGFzDQo+bm8gaW5maW5pdGFyeSBjb25zdHJ1Y3Rv cnMsIHNvIHRoZXJlIHNob3VsZG4ndCBiZSBheGlvbS1vZi1jaG9pY2UNCj5pc3N1ZXMgd2l0aCBk ZXNjZW5kaW5nIGFsZ2VicmFpYyBvcGVyYXRpb25zIHRvIGEgcXVvdGllbnQ7IGl0J3MganVzdA0K PnRoYXQgdGhlIGJvb2trZWVwaW5nIGludm9sdmVkIGluIGRlYWxpbmcgd2l0aCBzZXRvaWRzIGV2 ZXJ5d2hlcmUNCj5iZWNvbWVzIHVubWFuYWdlYWJsZSBpbiB0aGUgY2FzZSBvZiBEVFQuICBSaWdo dD8NCj4NCj5UaG9yc3RlbiBzYWlkIHRoYXQgKDEpIGluIHRoZSBjYXNlIG9mIGRlcGVuZGVudCB0 eXBlIHRoZW9yeSBpcw0KPnRhdXRvbG9naWNhbGx5IHRoZSBpbml0aWFsIEN3Riwgd2hpY2ggc2Vl bXMgZW1pbmVudGx5IHBsYXVzaWJsZS4gIEkNCj5kb24ndCB0aGluayB0aGlzIHNvbHZlcyB0aGUg ImluaXRpYWxpdHkgY29uamVjdHVyZSIsIGJ1dCB3aGVyZSBpcyB0aGUNCj5zdGlja2luZyBwb2lu dD8gIElzIGl0IGJldHdlZW4gKDEpIGFuZCAoMyksIG9yIGJldHdlZW4gKDMpIGFuZCAoNSk/DQo+ DQo+KE5vdGUgdGhhdCBJJ20gbm90IHRhbGtpbmcgYXQgYWxsIGFib3V0IHRoZSAiaC1sZXZlbCBw cm9ibGVtIiB0aGF0DQo+dGhlc2UgUUlJVHMgYXJlIGJ5IGRlZmluaXRpb24gc2V0cyBidXQgdGhh dCBmb3IgSG9UVCB0byAiZWF0IGl0c2VsZiINCj53ZSB3b3VsZCB3YW50IHRvIGVsaW1pbmF0ZSBv dXQgb2YgdGhlbSBpbnRvIHRoZSB1bml2ZXJzZSB3aGljaCBpcyBub3QNCj5hIHNldC4gIEknbSBv bmx5IHRhbGtpbmcgYWJvdXQgaW5pdGlhbGl0eSBvZiBzeW50YXggYW1vbmcgKnN0cmljdCoNCj5D d0ZzOyBjb2hlcmVuY2Uvc3RyaWN0aWZpY2F0aW9uIHRoZW9yZW1zIGNhbiB3YWl0LiAgUGVyc29u YWxseSwNCj50aG91Z2gsIEkgbGlrZSAoNiktKDcpIGFzIHBvdGVudGlhbCBhcHByb2FjaGVzIHRv IGNvaGVyZW5jZS4pDQo+DQo+LS0gDQo+WW91IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNhdXNl IHlvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgR29vZ2xlIEdyb3Vwcw0KPiJIb21vdG9weSBUeXBl IFRoZW9yeSIgZ3JvdXAuDQo+VG8gdW5zdWJzY3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9w IHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbg0KPmVtYWlsIHRvIEhvbW90b3B5VHlw ZVRoZS4uLkBnb29nbGVncm91cHMuY29tLg0KPkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IGh0dHBz Oi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQuDQoNCgoKClRoaXMgbWVzc2FnZSBhbmQgYW55 IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3IgdGhlIGFkZHJlc3NlZQphbmQgbWF5 IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSByZWNlaXZlZCB0 aGlzCm1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBjb250YWN0IHRoZSBzZW5kZXIgYW5kIGRlbGV0 ZSB0aGUgZW1haWwgYW5kCmF0dGFjaG1lbnQuIAoKQW55IHZpZXdzIG9yIG9waW5pb25zIGV4cHJl c3NlZCBieSB0aGUgYXV0aG9yIG9mIHRoaXMgZW1haWwgZG8gbm90Cm5lY2Vzc2FyaWx5IHJlZmxl Y3QgdGhlIHZpZXdzIG9mIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0uIEVtYWlsCmNvbW11 bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSBtYXkgYmUgbW9uaXRv cmVkIAp3aGVyZSBwZXJtaXR0ZWQgYnkgbGF3LgoKCgoK