From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a2e:9d97:: with SMTP id c23-v6mr211950ljj.24.1528297514334; Wed, 06 Jun 2018 08:05:14 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:9256:: with SMTP id v22-v6ls3254655ljg.4.gmail; Wed, 06 Jun 2018 08:05:13 -0700 (PDT) X-Received: by 2002:a2e:8889:: with SMTP id k9-v6mr227899lji.22.1528297513139; Wed, 06 Jun 2018 08:05:13 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1528297513; cv=none; d=google.com; s=arc-20160816; b=TNyT2Y1sAaMWRJzg93JHYOz6KsTmi9OFU68e6AZgxhY4LRHqZBke9qbmS0gIZuMqIt mTmSdcb0As15iIYQ6b0G9ucvS60OMwAIecAyXTGQK/hEAMFaEmiNGRjFod6ejTDJJ7BP omqAnTt26v4HHzS09PPu9Mf7RTqwF/8Csz79tSFwk5piLbu1iSVRyWmzhoJ1nS91M7o2 4/bkvTduRXC/IH5b64I6rp52yhvDQVWFr3q11c5+xJepzx4yogC3Zszu9VN5QJm+eZ9s NeMv/eWJJqkTldtJyGtOlUX9zdBptDt0wsj+FfpmBKa99l+tw33ghBX/e1AhFx+OeVu6 ySdA== 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=tMP0ZKeIdgI3vfZtQ68V2YLuxoAxnbbhgOKr+bQ1W0I=; b=hFL/gzneEeS46YB+Fz2KTommrJNZMH+yZkf+vNeURepPcgJ1AGySHYDW6vnfZZBEKO Vm/PfHo6JCiVwE7pFimlDhQLztCR0E72ZdSvTzHxIkPxkxhEN77cF3Ol0AMhvO9UXAtB RyzhsPiNsYRulXvwImBpFpj8JONai8N6WwPFG0SYzqN8CeurAt38AOx5iwEOIhhVUXdj giRGM+tsZ8+i0aIRbM9NSsTfMAEQIhyZWIqIO4AYaIMfxOiVHd0w9SJYygoxJTrJIdhd Y/5rgGV1CmchzrkMSD9iVlhv6jusYEuIJdPJ4iWFaq1cn/qb/i+ruRmscXN9zLaHFT5M RY0w== 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 c20-v6si151142ljk.0.2018.06.06.08.05.12 for ; Wed, 06 Jun 2018 08:05:13 -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 801FD2FD090_B17F828B for ; Wed, 6 Jun 2018 15:05:12 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) by uidappmx02.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id 0F2BD2EE390_B17F828F for ; Wed, 6 Jun 2018 15:05:12 +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 1fQZzr-0003YX-NX; Wed, 06 Jun 2018 16:05:12 +0100 Received: from EUR02-VE1-obe.outbound.protection.outlook.com (213.199.154.54) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.389.1; Wed, 6 Jun 2018 16:05:11 +0100 Received: from VI1PR06MB4029.eurprd06.prod.outlook.com (20.176.5.138) by VI1PR06MB3888.eurprd06.prod.outlook.com (20.176.4.153) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.820.11; Wed, 6 Jun 2018 15:05:10 +0000 Received: from VI1PR06MB4029.eurprd06.prod.outlook.com ([fe80::90b5:492f:5163:37cb]) by VI1PR06MB4029.eurprd06.prod.outlook.com ([fe80::90b5:492f:5163:37cb%4]) with mapi id 15.20.0820.010; Wed, 6 Jun 2018 15:05:10 +0000 From: Thorsten Altenkirch To: Richard Williamson , Andrej Bauer CC: Alexander Kurz , "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: AQHT9tTcHLLfpdPhZECSp3WbPXTJiqRGfjeAgABT6ICAATLCgIAAESOAgAAFLYCACTtvAIAA8ESAgAE8coA= Date: Wed, 6 Jun 2018 15:05:10 +0000 Message-ID: References: <06B9C5AB-C7CB-4CB5-B951-64E0C4180AD9@exmail.nottingham.ac.uk> <20180530093331.GA28365@mathematik.tu-darmstadt.de> <5559377C-94C9-422E-BBF7-A07AFA4B7D04@exmail.nottingham.ac.uk> <3D1D292E-1EFF-4EA2-8233-B55FDA5CE8A5@gmail.com> <20180605221223.GA3309@richard.richard> In-Reply-To: <20180605221223.GA3309@richard.richard> 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: [131.220.249.51] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;VI1PR06MB3888;7:v+LpL5qo2/PMQbiw5gxkReUi1ZijH7CjKAtfLf5V6Er4vNGiTDrpptduVRGPxIoHndwjH75/dRtluVGnnYEXK9zY1AHkGWmYXC669YPo7BzTgRM3okfvEvVrg4IxLCOvrqWYcxOKE0WlRkqu67k0npYNRCLSQqvvQV22nAiCchvAju6n2S7fhkZFLK0vVwkbp9QWnVTLTFsEITMOBX4Ldzk5W1OSikHmjYJFXNpyAFoT0tfDUzPPDv+Ha9iCw6Oo 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:VI1PR06MB3888; x-ms-traffictypediagnostic: VI1PR06MB3888: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(215639381216008)(228788266533470)(85827821059158)(211936372134217); x-ms-exchange-senderadcheck: 1 x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040522)(2401047)(8121501046)(5005006)(10201501046)(3002001)(93006095)(93001095)(3231254)(944501410)(52105095)(149027)(150027)(6041310)(20161123562045)(20161123558120)(20161123564045)(20161123560045)(201703131423095)(201702281529075)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(6072148)(201708071742011)(7699016);SRVR:VI1PR06MB3888;BCL:0;PCL:0;RULEID:;SRVR:VI1PR06MB3888; x-forefront-prvs: 06952FC175 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(39860400002)(39380400002)(346002)(376002)(396003)(366004)(199004)(189003)(6306002)(7736002)(66066001)(93886005)(81166006)(186003)(6116002)(81156014)(3280700002)(97736004)(106356001)(5250100002)(476003)(3660700001)(11346002)(478600001)(229853002)(446003)(966005)(6486002)(76176011)(6436002)(102836004)(53546011)(26005)(486006)(14454004)(25786009)(316002)(54906003)(4326008)(74482002)(99286004)(6246003)(58126008)(786003)(105586002)(110136005)(5660300001)(2900100001)(39060400002)(59450400001)(6506007)(305945005)(3846002)(53936002)(6512007)(68736007)(2906002)(86362001)(2616005)(8676002)(8936002)(42522002)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:VI1PR06MB3888;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: k5chVhoqEq3BHYl9k+ub+uUaptn6UA4AFtJ6XBD91aI9CU/uWTN/8oesvb2tku7fj119IcgyzkAwlOHqtWzdts7dONI216EBJwBg36w2vVhYeQsbgZ5Lbj/x+8UWYwLw5H0sfoIhpsNMNwbbZM4X2kyrD5iNOF5C9o9p5nmcwnQCVOX1RwTtLKOh3FOs6nCB spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-ID: <1EA76935C4AB2749...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Office365-Filtering-Correlation-Id: c26da9f5-3129-47b4-1c6e-08d5cbbee5ed X-MS-Exchange-CrossTenant-Network-Message-Id: c26da9f5-3129-47b4-1c6e-08d5cbbee5ed X-MS-Exchange-CrossTenant-originalarrivaltime: 06 Jun 2018 15:05:10.2977 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR06MB3888 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Score: 0.0 (/) X-SASI-RCODE: 200 DQoNCk9uIDA2LzA2LzIwMTgsIDAwOjEyLCAiaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20g b24gYmVoYWxmIG9mDQpSaWNoYXJkIFdpbGxpYW1zb24iIDxob21vdG9weXQuLi5AZ29vZ2xlZ3Jv dXBzLmNvbSBvbiBiZWhhbGYgb2YNCnJ3aWxsaS4uLkBnbWFpbC5jb20+IHdyb3RlOg0KDQo+QWxl eGFuZGVyIGlzIGdldHRpbmcgYSBmYWlyIGJpdCBvZiBzdGljayEgSSBqdXN0IHdhbnRlZCB0byBh ZGQgYQ0KPm5vdGUgb2Ygc3VwcG9ydCB0byBvbmUgYXNwZWN0IG9mIHRoZSBwb2ludCBJIHRoaW5r IGhlIGlzIG1ha2luZzoNCj50aGVyZSBpcyBhIHJlYXNvbiB0aGF0IGxhbmd1YWdlcyBzdWNoIGFz IFB5dGhvbiBhcmUgd2lkZWx5IHVzZWQNCj5ieSBwZXJmZWN0bHkgY29tcGV0ZW50IHByb2dyYW1t ZXJzIHdobyBmdWxseSB1bmRlcnN0YW5kIHRoZQ0KPmJlbmVmaXRzIG9mIHR5cGluZy4NCg0KQWN0 dWFsbHkgSSBhbSB0ZWFjaGluZyBQeXRob24gKGJ5IGNob2ljZSkgaGVuY2UgSSBhZ3JlZSB0byBh IHBvaW50Lg0KSG93ZXZlciwgZmlyc3Qgb2YgYWxsIHdlIGNhbiBleHByZXNzICJ1bnR5cGVkIiBj b25zdHJ1Y3Rpb25zIGluIGEgdHlwZWQNCnNldHRpbmcgKGUuZy4gYW4gdW50eXBlZCBvYmplY3Qg aXMgYSBwYWlyIG9mIGEgdHlwZSBjb2RlIGFuZCBhbiBlbGVtZW50IG9mDQp0aGUgY29ycmVzcG9u ZGluZyB0eXBlKS4gQW5kIHNlY29uZCB0aGUgdW50eXBlZCB2ZXJzaW9uIGlzIG9ubHkgdGhlIGZp cnN0DQpzdGVwIGJlZm9yZSBJIHVuZGVyc3RhbmQgd2hhdCBJIGFtIGRvaW5nIGF0IHdoaWNoIHBv aW50IEkgYW0gYWJsZSB0byBtYWtlDQp0aGUgY29uY2VwdHMgaW52b2x2ZWQgbW9yZSBwcmVjaXNl LiBJbiBwYXJ0aWN1bGFyIGluIGEgbWF0aGVtYXRpY2FsDQpkZXZlbG9wbWVudCBJIHdvdWxkIGV4 cGVjdCB0aGF0IHRoZSBvYmplY3RzIGludm9sdmVkIGFyZSB1bmRlcnN0b29kIGFuZA0KaGVuY2Ug Y2FuIGJlIGdpdmVuIGEgc3BlY2lmaWMgdHlwZS4NCg0KPg0KPkkgc2hhcmUgdGhlIHZpZXcgdGhh dCB0aGVyZSBoYXMgdG8gYmUgc29tZXRoaW5nIHJhdGhlciBtb3JlDQo+UHl0aG9uLWxpa2UgaW4g c3ludGF4IHRoYW4gdGhlIGN1cnJlbnRseSBhdmFpbGFibGUgc3ludGF4ZXMgaWYNCj5vbmUgaXMg dG8gaGF2ZSBhbnkgaG9wZSBvZiBoYXZpbmcgc29tZXRoaW5nIHVzYWJsZSBpbiBwcmFjdGlzZSBi eQ0KPnBlb3BsZSB3aG8ganVzdCB3YW50IHRvIGdldCBvbiB3aXRoIHRoZSBtYXRoZW1hdGljcy4g SSBhbSBub3QNCj5jb252aW5jZWQgdGhhdCB0aGlzIGlzIGEgcHVyZWx5IGVuZ2luZWVyaW5nIHBy b2JsZW0gYXMgb3Bwb3NlZCB0bw0KPmEgdGhlb3JldGljYWwgb25lLg0KPg0KPihZZXMsIFB5dGhv biBpcyBub3QgdW50eXBlZCBlaXRoZXIsIGJ1dCBJIHRoaW5rIHRoZSBwb2ludA0KPnN0YW5kcyku DQoNCkFjdHVhbGx5LCBQeXRob24gaXMgZHluYW1pY2FsbHkgdHlwZWQsIHdoaWNoIGlzIHdoeSBJ IGFsd2F5cyBjb21wYXJlIGl0IHRvDQpzZXQgdGhlb3J5LiBQeXRob24gaGFzIHByZWRpY2F0ZXMg dG8gdGVzdCB3ZXRoZXIgYW4gb2JqZWN0IGJlbG9uZ3MgdG8gYW4NCmFyYml0cmFyeSB0eXBlLiBU aGlzIGNvcnJlc3BvbmRzIHRvIHRoZSBlbGVtZW50IHJlbGF0aW9uIGluIHNldCB0aGVvcnkuIElu DQpjb250cmFzdCwgc3Ryb25nbHkgdHlwZWQgbGFuZ3VhZ2VzIGRvbid0IGhhdmUgcHJlZGljYXRl cyBsaWtlIHRoaXMgYmVjYXVzZQ0KeW91IGtub3cgc3RhdGljYWxseSB3aGF0IHRoZSB0eXBlIG9m IGFuIG9iamVjdCBpcy4gSW4gdGhlIHNhbWUgd2F5IGluIFR5cGUNClRoZW9yeSB0eXBpbmcgaXMg c3RhdGljIGhlbmNlIGl0IGRvZXNuJ3QgbWFrZSBzZW5zZSB0byBoYXZlIGFuIGVsZW1lbnQNCnJl bGF0aW9uLg0KDQpJIHdvdWxkIHRoaW5rIHRoYXQgb25jZSBJIHVuZGVyc3RhbmQgdGhlIGNvbmNl cHRzIGludm9sdmVkIGluIG15DQpjb25zdHJ1Y3Rpb24gSSBzaG91bGQgYmUgYWJsZSB0byBhc3Np Z24gc3RhdGljIHR5cGVzIHRvIHRoZW0uIFRoYXQgaXMNCmNlcnRhaW5seSB0aGUgY2FzZSBpbiBw cm9ncmFtbWluZyBidXQgZXZlbiBtb3JlIHNvIGZvciBtYXRoZW1hdGljYWwNCmNvbnN0cnVjdGlv bnMuIA0KDQoNCj4NCj5PbiBUdWUsIEp1biAwNSwgMjAxOCBhdCAwOTo1MjoyNkFNICswMjAwLCBB bmRyZWogQmF1ZXIgd3JvdGU6DQo+PiBEZWFyIEFsZXhhbmRlciwNCj4+DQo+Pg0KPj4gT24gV2Vk LCBNYXkgMzAsIDIwMTggYXQgMTI6NTMgUE0sIEFsZXhhbmRlciBLdXJ6IDxheGguLi5AZ21haWwu Y29tPg0KPj53cm90ZToNCj4+ID4NCj4+ID4gSXQgaXMgY3J1Y2lhbCB0aGF0IGluZm9ybWFsIG1h dGhlbWF0aWNzIGlzIHVudHlwZWQuIFRoZSB1bnR5cGVkbmVzcw0KPj5pcyB3aGF0IG1ha2VzIGl0 IGZsZXhpYmxlIGVub3VnaCBmb3IgcHJhY3RpY2FsIHB1cnBvc2VzLiBGb3JtYWxpc2luZw0KPj5t YXRoZW1hdGljcyBpbiBhIHByb29mIGFzc2lzdGFudCBpcyBoYXJkIHdvcmsuIEFuZCB0byBhIGxh cmdlIGV4dGVudA0KPj50aGlzIGlzIGR1ZSB0byB0aGUgZmFjdCB0aGF0IGV2ZXJ5dGhpbmcgaGFz IHRvIGJlIHR5cGVkLg0KPj4gPg0KPj4gPiBJZiB3ZSBldmVyIHdhbnQgdG8gZ2V0IG1hdGhlbWF0 aWNpYW5zIHRvIHVzZSBwcm9vZiBhc3Npc3RhbnRzIGFzDQo+PmNhc3VhbGx5IGFzIHRoZXkgdXNl IGxhdGV4LCB0aGUgcHJvYmxlbSBvZiB1bnR5cGVkIHZzIHR5cGVkIG1hdGhlbWF0aWNzDQo+Pm5l ZWRzIHRvIGJlIHNvbHZlZC4NCj4+DQo+PiBJIHRoaW5rIHlvdSBtYWRlIHRoZXJlIGEgY29pcGxl IG9mIGludGVsbGVjdHVhbCBqdW1wcy4gSW4gb3JkZXIgZm9yDQo+PiB5b3VyIHN0YXRlbWVudHMg dG8gaGF2ZSBzb21lIHdlaWdodCwgeW91IG5lZWQgdG8gY29uc2lkZXIgdGhlDQo+PiBmb2xsb3dp bmcgcXVlc3Rpb25zOg0KPj4NCj4+IChhKSBXaGF0IGlmIGZvcm1hbGl6YXRpb24gb2YgbWF0aGVt YXRpY3MgaW4gZXhpc3RpbmcgcHJvb2YgYXNzaXN0YW50cw0KPj4gaXMgaGFyZCBmb3Igc29tZSBy ZWFzb24gb3RoZXIgdGhhbiB0eXBlZG5lc3M/DQo+Pg0KPj4gKGIpIE1vc3QgcHJvb2YgYXNzaXN0 YW50cyB0aGF0IGhhdmUgYSBsYXJnZSB1c2VyIGJhc2UgYXJlIHR5cGVkLiBJcw0KPj4gdGhpcyBp cyBhIGJpZyBjb25zcGlyYWN5IG9uIHBhcnQgb2YgdGhlIGRlc2lnbmVycywgb3IgY291bGQgaXQg YmUNCj4+IHVuZGVyc3Rvb2QgYXMgZXZpZGVuY2UgdGhhdCB0eXBlZCBwcm9vZiBhc3Npc3RhbnRz IGhhdmUgYSBjZXJ0YWluDQo+PiBhZHZhbnRhZ2Ugb3ZlciB0aGUgdW50eXBlZCBvbmVzPw0KPj4N Cj4+IChjKSBZb3Ugb2ZmZXIgTGFUZVggYXMgYW4gZXhhbXBsZSBvZiBnb29kIGRlc2lnbi4gSSBi ZWcgdG8gZGlmZmVyLg0KPj4NCj4+IChkKSBJbmZvcm1hbCBtYXRoZW1hdGljcyBpcyB2ZXJ5IG9i dmlvdXNseSB0eXBlZCwgYXMgd2l0bmVzc2VkIGJ5IHRoZQ0KPj4gZmFjdCB0aGF0IGF1dGhvcnMg YXJlIGFsd2F5cyBjYXJlZnVsbHkgZXhwbGFpbiB0aGUgdHlwZXMgb2YgdmFyaW91cw0KPj4gc3lt Ym9scyB0aGV5IHVzZSAob3IgcmVseSBvbiB0aGUgY3VsdHVyYWxseSBhY2NlcHRlZCBub3RhdGlv bnMpLg0KPj4NCj4+IFRoZSBCdWZmb24gbmVlZGxlIGV4YW1wbGUgcHJlc2VudHMgYWJzb2x1dGVs eSBubyBvYnN0YWNsZSB0byB0eXBpbmcuDQo+PiBQZXJoYXBzIHlvdSBhcmUgbWl4aW5nIHVwICpp bmZvcm1hbCogbmF0dXJlIG9mIGh1bWFuIG1hdGhlbWF0aWNzIHdpdGgNCj4+IHVudHlwZWRuZXNz PyBGb3JtYWxpemluZyBCdWZmb24ncyBuZWVkbGUgcmVxdWlyZXMgYSBncmVhdCBhbW91bnQgb2YN Cj4+IHByZWNpc2lvbiAod2hhdCBpcyBhIGN1cnZlPyB3aGF0IGRvZXMgaXQgbWVhbiB0byAidGhy b3cgYSBuZWVkbGUiPyBob3cNCj4+IGRvIHdlIGN1dW50IGNyb3NzaW5ncyB3aGVuIHRoZXJlIGFy ZSBpbmZpbml0ZWx5IG1hbnk/KSB3aGljaCBpcw0KPj4gdW5hdm9pZGFibGUgc28gbG9uZyBhcyB3 ZSBzdWJic2NyaWJlIHRvIHRoZSBtYXRoZW1hdGljYWwgbWV0aG9kLg0KPj4gVHlwZWRuZXNzIGhh cyBub3RoaW5nIHRvIGRvIHdpdGggdGhpcyBmYWN0Lg0KPj4NCj4+IFdpdGgga2luZCByZWdhcmRz LA0KPj4NCj4+IEFuZHJlag0KPj4NCj4+IC0tDQo+PiBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdl IGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUNCj4+R3JvdXBzICJIb21v dG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQo+PiBUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3Jv dXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kDQo+PmFuIGVtYWlsIHRv IEhvbW90b3B5VHlwZVRoZS4uLkBnb29nbGVncm91cHMuY29tLg0KPj4gRm9yIG1vcmUgb3B0aW9u cywgdmlzaXQgaHR0cHM6Ly9ncm91cHMuZ29vZ2xlLmNvbS9kL29wdG91dC4NCj4NCj4tLSANCj5Z b3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRo ZSBHb29nbGUgR3JvdXBzDQo+IkhvbW90b3B5IFR5cGUgVGhlb3J5IiBncm91cC4NCj5UbyB1bnN1 YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0 LCBzZW5kIGFuDQo+ZW1haWwgdG8gSG9tb3RvcHlUeXBlVGhlLi4uQGdvb2dsZWdyb3Vwcy5jb20u DQo+Rm9yIG1vcmUgb3B0aW9ucywgdmlzaXQgaHR0cHM6Ly9ncm91cHMuZ29vZ2xlLmNvbS9kL29w dG91dC4NCg0KCgoKVGhpcyBtZXNzYWdlIGFuZCBhbnkgYXR0YWNobWVudCBhcmUgaW50ZW5kZWQg c29sZWx5IGZvciB0aGUgYWRkcmVzc2VlCmFuZCBtYXkgY29udGFpbiBjb25maWRlbnRpYWwgaW5m b3JtYXRpb24uIElmIHlvdSBoYXZlIHJlY2VpdmVkIHRoaXMKbWVzc2FnZSBpbiBlcnJvciwgcGxl YXNlIGNvbnRhY3QgdGhlIHNlbmRlciBhbmQgZGVsZXRlIHRoZSBlbWFpbCBhbmQKYXR0YWNobWVu dC4gCgpBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2VkIGJ5IHRoZSBhdXRob3Igb2YgdGhp cyBlbWFpbCBkbyBub3QKbmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mgb2YgdGhlIFVuaXZl cnNpdHkgb2YgTm90dGluZ2hhbS4gRW1haWwKY29tbXVuaWNhdGlvbnMgd2l0aCB0aGUgVW5pdmVy c2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9yZWQgCndoZXJlIHBlcm1pdHRlZCBieSBs YXcuCgoKCgo=