From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.25.23.195 with SMTP id 64mr242242lfx.10.1508149293915; Mon, 16 Oct 2017 03:21:33 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.25.190.150 with SMTP id o144ls221626lff.5.gmail; Mon, 16 Oct 2017 03:21:32 -0700 (PDT) X-Received: by 10.25.35.87 with SMTP id j84mr245535lfj.23.1508149292252; Mon, 16 Oct 2017 03:21:32 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1508149292; cv=none; d=google.com; s=arc-20160816; b=ryxT0xMJ1HJe+iFm7f6ycFTM6UKLCvWqEVPvtmKP/XJWpIPx/j1tvbCS57yz7ohUQY cf3iORSFBRykywSY/+iZYr0dmenjB7h+aaePykJepDSLXfVluNDtPER3UhABliovyAOv EEW8esYMjR8mGraYYEWIf3FdJ4u3FiRpKdikoolxBWU8WtbCgatNloQyKUXv9YFm2IqY eGNBcJx6rC0BqZaHad4Ptq5IRSWGhS+K5G+lvRVGo7zGS9WgS8izU3n4/Hk03yhOdvKK xipOzY2wNMWhIc8zpnJrJLhfxxlRwna2V0T7mCTWcfZsNtT+IG2J2WmOCxrqnVn77P2e KBoQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:spamdiagnosticmetadata:spamdiagnosticoutput:user-agent :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:cc:to:from:arc-authentication-results; bh=7X8VokjXW95eDpMnbSMJdlp70+NPcWX3qGrExVN8pcA=; b=1HnEb3o5+FA0f/VA3E87cJqPNw8FocjmGVTZAJMxABjXTUaUCfrN0EZBQbuZoHFbmK Yd6d586DIqeIN4XDb+9l3KLFewgoPB1hz5bPdA2DHwlKcymBfbjDf2JZEbWBUwHr4fhB gbEkhmU3R+oCH+rMdRYugsG03naUpetVmWruFQ0U6jKf4LvIjE2854Zz6XkZo8d8VVhU zWPiFtVtHC+H9O4nLfleonEkIgHkaY/f4iXnS80AP1btmTgZhMzhFagXz7lG+cvHzRbB 5/SQ/M+cN+7qBHZJNEbsHWoXLFWWlbyeIlw23jNmanQezg3ngxS5QbqzueOeIl1sLF3a kqJw== 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 s12si353883lje.0.2017.10.16.03.21.31 for ; Mon, 16 Oct 2017 03:21:32 -0700 (PDT) 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 84CB13D5702_9E4882BB for ; Mon, 16 Oct 2017 10:21:31 +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 34234690F85_9E4882BF for ; Mon, 16 Oct 2017 10:21:31 +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 1e42WZ-0000na-5o; Mon, 16 Oct 2017 11:21:31 +0100 Received: from EUR02-AM5-obe.outbound.protection.outlook.com (213.199.180.147) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.351.0; Mon, 16 Oct 2017 11:21:31 +0100 Received: from DB5PR06MB1717.eurprd06.prod.outlook.com (10.165.213.15) by DB5PR06MB1720.eurprd06.prod.outlook.com (10.165.213.18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.77.7; Mon, 16 Oct 2017 10:21:29 +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; Mon, 16 Oct 2017 10:21:29 +0000 From: Thorsten Altenkirch To: Andrew Polonsky CC: Homotopy Type Theory 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: AQHTRmiH2jeUen/lsUyeJmmKJObyUA== Date: Mon, 16 Oct 2017 10:21:29 +0000 Message-ID: Accept-Language: en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/f.21.0.170409 x-originating-ip: [128.243.20.140] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DB5PR06MB1720;6:Owl+M7LxT+kaAKsYih+PoyuTNZR/owaY7WmnJvZz+iNgeXt8u3Kfg5REnFPVSMfV8QbhZebzjXaVrbBNugsaidnyMlwqxisaVDLNU6Zo0TYWgKB2NfhXX18ln/ixMbqHIfOW5AwQgOkWRFWGtfXwTfJ+0nZ9yunbov7+wjduBznZY+NM22kDsZzHMZKbZcnfPSnW9/B6RgAis/1IVwu9zSwyytDGXsrQ0pjtH2+qDlTq1NcIskzWvTEowpNS9zxClMEhFcBmO7aTU5IKP4MBKCyaIy9p6MwZpTkl/KnO43pRkmKbeutq+u0v/+UH3mbOzwp53HYbfI82a2lFJiN4wQ==;5:MB84vlNO3Msnq9v5T8j5XpAsyG2YmQWrMtQaez2TvbM7eQJXT2mswNQ5aofCuKb3DuEx4H1xzxtMPXt2Dn8apST1hAhFaOuNpke4BZs0qblwonlVUZqqSUEzSu1juHeuhWoxg0lWnd5BzOJ5JK77hg==;24:os5EJTx5QVr4JRVxU3nRJmMriSz1RfnHBaZQcPQ0t977oXooIcoBB5Eo649/7sJsuaYC1OJuGZ5Ymzc7lkYy80ZgFb75vWd5CP+G4hiLHVg=;7:frAMHyuMVQfAz4cmcO4N2Z4hV1eT2FE7dwi8mqY8Xqz6sKwmcepaD8qP0ILU3Gug7n9T9fAygrCSeTnf0ah6SCLQcns6Ig7H9eZWUN/kDK8ZEs3CgENK4rdgfJtshHti/CBr728sDXpgXjDoi1beF92D4qfRuAArKbpcp4tPV9eQpr83/xmdG/h/nKZhsUT5njw4hEUTirMke7T2xDd8Hz9fx3FRDTk/QPQhPGKnCwA= x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: 98ee0795-8163-4426-a9d7-08d5147faa92 x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(2017030254152)(2017052603199)(201703131423075)(201703031133081)(201702281549075);SRVR:DB5PR06MB1720; x-ms-traffictypediagnostic: DB5PR06MB1720: authentication-results: spf=none (sender IP is ) smtp.mailfrom=psz...@exmail.nottingham.ac.uk; x-exchange-antispam-report-test: UriScan:(215639381216008)(228788266533470)(211936372134217)(21748063052155); 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)(10201501046)(100000703101)(100105400095)(93006095)(93001095)(3002001)(920507026)(6041248)(20161123562025)(20161123555025)(20161123558100)(20161123564025)(20161123560025)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(201703061406153)(6072148)(201708071742011)(100000704101)(100105200095)(100000705101)(100105500095);SRVR:DB5PR06MB1720;BCL:0;PCL:0;RULEID:(100000800101)(100110000095)(100000801101)(100110300095)(100000802101)(100110100095)(100000803101)(100110400095)(100000804101)(100110200095)(100000805101)(100110500095);SRVR:DB5PR06MB1720; x-forefront-prvs: 0462918D61 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(346002)(376002)(377454003)(24454002)(199003)(189002)(102836003)(3846002)(6116002)(99286003)(34040400001)(8936002)(2900100001)(54896002)(53936002)(5660300001)(236005)(6512007)(6306002)(786003)(316002)(68736007)(478600001)(83506001)(5003630100001)(3660700001)(74482002)(6246003)(8676002)(81166006)(58126008)(39060400002)(81156014)(966005)(83716003)(86362001)(53546010)(6486002)(82746002)(14454004)(2906002)(189998001)(5250100002)(229853002)(66066001)(606006)(25786009)(7736002)(14971765001)(3280700002)(6436002)(50986999)(6916009)(42882006)(101416001)(54356999)(33656002)(97736004)(4326008)(106356001)(6506006)(105586002)(42522002)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:DB5PR06MB1720;H:DB5PR06MB1717.eurprd06.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;A:1;MX: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: multipart/alternative; boundary="_000_F9E4D5E5D0AB48C7AE2D22F1CE88D9C5exmailnottinghamacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Oct 2017 10:21:29.7152 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR06MB1720 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size --_000_F9E4D5E5D0AB48C7AE2D22F1CE88D9C5exmailnottinghamacuk_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 DQpTZW50IGZyb20gbXkgaVBob25lDQoNCk9uIDE2IE9jdCAyMDE3LCBhdCAwNjozMSwgQW5kcmV3 IFBvbG9uc2t5IDxhbmRyZXcuLi4uQGdtYWlsLmNvbTxtYWlsdG86YW5kcmV3Li4uLkBnbWFpbC5j b20+PiB3cm90ZToNCkluIHRoZSBzZXQtdGhvcmV0aWMgbW9kZWwgLS0gd2hpY2ggaXMgdGhlIHNp bXBsZXN0LCBtb3N0ICJzdGFuZGFyZCIgbW9kZWwgb25lIGNhbiB0aGluayBvZiAtLSB0aGUgdW5p dmVyc2VzIGFyZSBpbmRlZWQgY3VtdWxhdGl2ZSwgYW5kICJjb2hlcmVuY2UiIGlzIGp1c3QgdGhl IG9ic2VydmF0aW9uIHRoYXQgY29udmVyc2lvbiAoZGVmaW5pdGlvbmFsIGVxdWFsaXR5KSBvZiBy YXcgdGVybXMgaXMgcHJlc2VydmVkIGJ5IHRoZSBpbnRlcnByZXRhdGlvbiBmdW5jdGlvbi4NCg0K U2V0IHRoZW9yeSBpcyBhIGZvcm0gb2YgYSBtYXRoZW1hdGljYWwgYXNzZW1ibHkgbGFuZ3VhZ2Ug d2hlcmUgeW91IGNhbm5vdCBoaWRlIGFueXRoaW5nLiBFcXVhbGl0aWVzIGluIHRoZSBzZXQgdGhl b3JldGljIHRyYW5zbGF0aW9uIG9mIFR5cGUgVGhlb3J5IGFyZSBhY2NpZGVudHMgb2YgaW1wbGVt ZW50YXRpb24gY2hvaWNlcy4gTWFraW5nIHRoZW0gdGhlIGd1aWRlbGluZSBmb3IgdGhlIGRlc2ln biBvZiBUeXBlIFRoZW9yeSBzZWVtcyB0byB0byBwdXQgdGhlIGNhcnQgaW4gZnJvbnQgb2YgdGhl IGhvcnNlLg0KDQoNCg0KSW4gY2F0ZWdvcmljYWwgbW9kZWxzLCBzdHJpY3QgZXF1YWxpdHkgYmV0 d2VlbiBpbnRlcnByZXRlZCBvYmplY3RzIGlzIHBlcmhhcHMgYSBtb3JlIHN1YnRsZSBjb25jZXB0 Lg0KDQpTdGlsbCwgaXQgd291bGQgc2VlbSB0byBiZSBhIG5hdHVyYWwgcmVxdWlyZW1lbnQgb2Yg KkFOWSogY2xhc3Mgb3IgZmxhdm9yIG9mIHNlbWFudGljcywgdGhhdCBleHByZXNzaW9ucyB3aGlj aCBhcmUgZGVmaW5pdGlvbmFsbHkgZXF1YWwgaW4gdGhlIG9iamVjdCBsYW5ndWFnZSwgYXJlIGV2 YWx1YXRlZCB0byBlbnRpdGllcyB3aGljaCBhcmUgYWdhaW4gKGp1ZGdtZW50YWxseSkgZXF1YWwg b24gdGhlIG1ldGEtbGV2ZWwuDQoNClRoaXMgcmVhbGx5IGFtb3VudHMgdG8gbm90aGluZyBtb3Jl IHRoYW4gYXNraW5nIHRoYXQgdGhlIHNlbWFudGljcyBpbiBxdWVzdGlvbiBhY3R1YWxseSB2YWxp ZGF0ZSB0aGUgY29udmVyc2lvbiBydWxlIC0tIG9uZSBvZiB0aGUgc3RydWN0dXJhbCBydWxlcyBv ZiB0aGUgdGhlb3J5Lg0KDQpCZXN0LA0KQW5kcmV3DQoNCg0KT24gU3VuZGF5LCBPY3RvYmVyIDE1 LCAyMDE3IGF0IDExOjI2OjIyIEFNIFVUQysyLCBUaG9tYXMgU3RyZWljaGVyIHdyb3RlOg0KPiAg QSBxdWl0ZSBkZXRhaWxlZCBpbnRlcnByZXRhdGlvbiBvZiB0eXBlIHRoZW9yeSBpbiBzZXQgdGhl b3J5IGlzIHByZXNlbnRlZA0KPg0KPiBpbiB0aGUgcGFwZXIgb2YgUGV0ZXIgQWN6ZWwgIk9uIFJl bGF0aW5nIFR5cGUgVGhlb3JpZXMgYW5kIFNldCBUaGVvcmllcyIuDQo+DQo+IE9uIGNhbiBkZWZp bmUgZGlyZWN0bHkgdGhlIGludGVycHJldGF0aW9uIG9mIGxhbWJkYSB0ZXJtcyAocHJvdmlkZWQg dGhhdCBhYnN0cmFjdGlvbiBpcw0KPg0KPiB0eXBlZCksIGFuZCB1c2luZyBzZXQgdGhlb3JldGlj IGNvZGluZywgb25lIGNhbiB1c2UgYSBnbG9iYWwgYXBwbGljYXRpb24gb3BlcmF0aW9uDQo+DQo+ IChzbyB0aGF0IHRoZSBpbnRlcnByZXRhdGlvbiBpcyB0b3RhbCkuIE9uZSBjYW4gdGhlbiBjaGVj a2VkIGJ5IGluZHVjdGlvbiBvbiBkZXJpdmF0aW9ucw0KPg0KPiB0aGF0IGFsbCBqdWRnZW1lbnRz IGFyZSB2YWxpZCBmb3IgdGhpcyBpbnRlcnByZXRhdGlvbi4NCg0KVGhhbmtzLCBUaGllcnJ5LCBm b3IgcG9pbnRpbmcgdGhpcyBvdXQuIEJ1dCBQZXRlcidzIG1ldGhvZCBkb2VzIG5vdA0KZXh0ZW5k IHRvIGFyYml0cmFyeSBzcGxpdCBtb2RlbHMgb2YgZGVwZW5kZW50IHR5cGUgdGhlb3J5LiBXaGF0 IFBldGVyDQp1c2VzIGhlcmUgaW50cmluc2ljYWxseSBpcyB0aGF0IGV2ZXJ5dGhpbmcgaXMgYSBz ZXQgc2luY2Ugb3RoZXJ3aXNlIGhlDQpjb3VsZG4ndCBpbnRlcnByZXQgdHlwZSB0aGVvcmV0aWMg cXVhbnRpZmljYXRpb24uDQpNeSBpbnRlcnByZXRhdGlvbiBnb3QgcGFydGlhbCBvbiBwc2V1ZG9l eHByZXNzaW9ucyBzaW5jZSBwc2V1ZG90ZXJtcw0KY2FuJ3QgYmUgdW5kZXJzdG9vZCBhcyBwc2V1 ZG8tdHlwZS1leHByZXNzaW9ucy4NCg0KSSBkb24ndCBzZWUgaG93IFBldGVyJ3MgbWV0aG9kIGV4 dGVuZHMgdG8gaW50ZXJwcmV0YXRpb24gb2YNCnJlYWxpemFiaWxpdHkgb3IgKHByZSlzaGVhZiBt b2RlbHMgb2YgZGVwZW5kZW50IHR5cGUgdGhlb3JpZXMgbm90IHRvDQpzcGVhayBvZiBhcmJpdHJh cnkgY29udGV4dHVhbCBjYXRzIG9yIG90aGVyIHNwbGl0IGNhdGVnb3JpY2FsIG1vZGVscw0Kb2Yg ZGVwZW5kZW50IHR5cGUgdGhlb3JpZXMuDQoNClRob21hcw0KLS0NCllvdSByZWNlaXZlZCB0aGlz IG1lc3NhZ2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIEdvb2dsZSBHcm91cHMg IkhvbW90b3B5IFR5cGUgVGhlb3J5IiBncm91cC4NClRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBn cm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8g SG9tb3RvcHlUeXBlVGhlLi4uQGdvb2dsZWdyb3Vwcy5jb208bWFpbHRvOkhvbW90b3B5VHlwZVRo ZS4uLkBnb29nbGVncm91cHMuY29tPi4NCkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IGh0dHBzOi8v Z3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQuDQoKCgoKVGhpcyBtZXNzYWdlIGFuZCBhbnkgYXR0 YWNobWVudCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2VlCmFuZCBtYXkgY29u dGFpbiBjb25maWRlbnRpYWwgaW5mb3JtYXRpb24uIElmIHlvdSBoYXZlIHJlY2VpdmVkIHRoaXMK bWVzc2FnZSBpbiBlcnJvciwgcGxlYXNlIHNlbmQgaXQgYmFjayB0byBtZSwgYW5kIGltbWVkaWF0 ZWx5IGRlbGV0ZSBpdC4gCgpQbGVhc2UgZG8gbm90IHVzZSwgY29weSBvciBkaXNjbG9zZSB0aGUg aW5mb3JtYXRpb24gY29udGFpbmVkIGluIHRoaXMKbWVzc2FnZSBvciBpbiBhbnkgYXR0YWNobWVu dC4gIEFueSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQgYnkgdGhlCmF1dGhvciBvZiB0aGlz IGVtYWlsIGRvIG5vdCBuZWNlc3NhcmlseSByZWZsZWN0IHRoZSB2aWV3cyBvZiB0aGUKVW5pdmVy c2l0eSBvZiBOb3R0aW5naGFtLgoKVGhpcyBtZXNzYWdlIGhhcyBiZWVuIGNoZWNrZWQgZm9yIHZp cnVzZXMgYnV0IHRoZSBjb250ZW50cyBvZiBhbgphdHRhY2htZW50IG1heSBzdGlsbCBjb250YWlu IHNvZnR3YXJlIHZpcnVzZXMgd2hpY2ggY291bGQgZGFtYWdlIHlvdXIKY29tcHV0ZXIgc3lzdGVt LCB5b3UgYXJlIGFkdmlzZWQgdG8gcGVyZm9ybSB5b3VyIG93biBjaGVja3MuIEVtYWlsCmNvbW11 bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSBtYXkgYmUgbW9uaXRv cmVkIGFzCnBlcm1pdHRlZCBieSBVSyBsZWdpc2xhdGlvbi4KCg== --_000_F9E4D5E5D0AB48C7AE2D22F1CE88D9C5exmailnottinghamacuk_ Content-Type: text/html; charset="utf-8" Content-ID: <23296280C681C84E...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 PGh0bWwgeG1sbnM6bz0idXJuOnNjaGVtYXMtbWljcm9zb2Z0LWNvbTpvZmZpY2U6b2ZmaWNlIiB4 bWxuczp3PSJ1cm46c2NoZW1hcy1taWNyb3NvZnQtY29tOm9mZmljZTp3b3JkIiB4bWxuczptPSJo dHRwOi8vc2NoZW1hcy5taWNyb3NvZnQuY29tL29mZmljZS8yMDA0LzEyL29tbWwiIHhtbG5zPSJo dHRwOi8vd3d3LnczLm9yZy9UUi9SRUMtaHRtbDQwIj4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPG1l dGEgbmFtZT0iVGl0bGUiIGNvbnRlbnQ9IiI+DQo8bWV0YSBuYW1lPSJLZXl3b3JkcyIgY29udGVu dD0iIj4NCjxtZXRhIG5hbWU9IkdlbmVyYXRvciIgY29udGVudD0iTWljcm9zb2Z0IFdvcmQgMTUg KGZpbHRlcmVkIG1lZGl1bSkiPg0KPHN0eWxlPjwhLS0NCi8qIEZvbnQgRGVmaW5pdGlvbnMgKi8N CkBmb250LWZhY2UNCgl7Zm9udC1mYW1pbHk6IkNhbWJyaWEgTWF0aCI7DQoJcGFub3NlLTE6MiA0 IDUgMyA1IDQgNiAzIDIgNDt9DQovKiBTdHlsZSBEZWZpbml0aW9ucyAqLw0KcC5Nc29Ob3JtYWws IGxpLk1zb05vcm1hbCwgZGl2Lk1zb05vcm1hbA0KCXttYXJnaW46MGluOw0KCW1hcmdpbi1ib3R0 b206LjAwMDFwdDsNCglmb250LXNpemU6MTIuMHB0Ow0KCWZvbnQtZmFtaWx5OiJUaW1lcyBOZXcg Um9tYW4iO30NCmE6bGluaywgc3Bhbi5Nc29IeXBlcmxpbmsNCgl7bXNvLXN0eWxlLXByaW9yaXR5 Ojk5Ow0KCWNvbG9yOmJsdWU7DQoJdGV4dC1kZWNvcmF0aW9uOnVuZGVybGluZTt9DQphOnZpc2l0 ZWQsIHNwYW4uTXNvSHlwZXJsaW5rRm9sbG93ZWQNCgl7bXNvLXN0eWxlLXByaW9yaXR5Ojk5Ow0K CWNvbG9yOnB1cnBsZTsNCgl0ZXh0LWRlY29yYXRpb246dW5kZXJsaW5lO30NCnANCgl7bXNvLXN0 eWxlLXByaW9yaXR5Ojk5Ow0KCW1zby1tYXJnaW4tdG9wLWFsdDphdXRvOw0KCW1hcmdpbi1yaWdo dDowaW47DQoJbXNvLW1hcmdpbi1ib3R0b20tYWx0OmF1dG87DQoJbWFyZ2luLWxlZnQ6MGluOw0K CWZvbnQtc2l6ZToxMi4wcHQ7DQoJZm9udC1mYW1pbHk6IlRpbWVzIE5ldyBSb21hbiI7fQ0Kc3Bh bi5FbWFpbFN0eWxlMTgNCgl7bXNvLXN0eWxlLXR5cGU6cGVyc29uYWwtY29tcG9zZTsNCglmb250 LWZhbWlseTpDYWxpYnJpOw0KCWNvbG9yOndpbmRvd3RleHQ7fQ0Kc3Bhbi5tc29JbnMNCgl7bXNv LXN0eWxlLXR5cGU6ZXhwb3J0LW9ubHk7DQoJbXNvLXN0eWxlLW5hbWU6IiI7DQoJdGV4dC1kZWNv cmF0aW9uOnVuZGVybGluZTsNCgljb2xvcjp0ZWFsO30NCi5Nc29DaHBEZWZhdWx0DQoJe21zby1z dHlsZS10eXBlOmV4cG9ydC1vbmx5Ow0KCWZvbnQtc2l6ZToxMC4wcHQ7fQ0KQHBhZ2UgV29yZFNl Y3Rpb24xDQoJe3NpemU6NTk1LjBwdCA4NDIuMHB0Ow0KCW1hcmdpbjoxLjBpbiAxLjBpbiAxLjBp biAxLjBpbjt9DQpkaXYuV29yZFNlY3Rpb24xDQoJe3BhZ2U6V29yZFNlY3Rpb24xO30NCi0tPjwv c3R5bGU+DQo8L2hlYWQ+DQo8Ym9keSBiZ2NvbG9yPSJ3aGl0ZSIgbGFuZz0iRU4tR0IiIGxpbms9 ImJsdWUiIHZsaW5rPSJwdXJwbGUiPg0KPGRpdiBjbGFzcz0iV29yZFNlY3Rpb24xIj4NCjxwIGNs YXNzPSJNc29Ob3JtYWwiPjxvOnA+Jm5ic3A7PC9vOnA+PC9wPg0KPGRpdiBpZD0iQXBwbGVNYWls U2lnbmF0dXJlIj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPlNlbnQgZnJvbSBteSBpUGhvbmU8bzpw PjwvbzpwPjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiIHN0eWxlPSJt YXJnaW4tYm90dG9tOjEyLjBwdCI+PGJyPg0KT24gMTYgT2N0IDIwMTcsIGF0IDA2OjMxLCBBbmRy ZXcgUG9sb25za3kgJmx0OzxhIGhyZWY9Im1haWx0bzphbmRyZXcuLi4uQGdtYWlsLmNvbSI+YW5k cmV3Li4uLkBnbWFpbC5jb208L2E+Jmd0OyB3cm90ZTo8bzpwPjwvbzpwPjwvcD4NCjwvZGl2Pg0K PGJsb2NrcXVvdGUgc3R5bGU9Im1hcmdpbi10b3A6NS4wcHQ7bWFyZ2luLWJvdHRvbTo1LjBwdCI+ DQo8ZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPkluIHRoZSBzZXQtdGhvcmV0aWMg bW9kZWwgLS0gd2hpY2ggaXMgdGhlIHNpbXBsZXN0LCBtb3N0ICZxdW90O3N0YW5kYXJkJnF1b3Q7 IG1vZGVsIG9uZSBjYW4gdGhpbmsgb2YgLS0gdGhlIHVuaXZlcnNlcyBhcmUgaW5kZWVkIGN1bXVs YXRpdmUsIGFuZCAmcXVvdDtjb2hlcmVuY2UmcXVvdDsgaXMganVzdCB0aGUgb2JzZXJ2YXRpb24g dGhhdCBjb252ZXJzaW9uIChkZWZpbml0aW9uYWwgZXF1YWxpdHkpIG9mIHJhdyB0ZXJtcyBpcyBw cmVzZXJ2ZWQNCiBieSB0aGUgaW50ZXJwcmV0YXRpb24gZnVuY3Rpb24uPG86cD48L286cD48L3A+ DQo8L2Rpdj4NCjwvZGl2Pg0KPC9ibG9ja3F1b3RlPg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3Jt YWwiPjxvOnA+Jm5ic3A7PC9vOnA+PC9wPg0KPC9kaXY+DQo8ZGl2Pg0KPHAgY2xhc3M9Ik1zb05v cm1hbCI+U2V0IHRoZW9yeSBpcyBhIGZvcm0gb2YgYSBtYXRoZW1hdGljYWwgYXNzZW1ibHkgbGFu Z3VhZ2Ugd2hlcmUgeW91IGNhbm5vdCBoaWRlIGFueXRoaW5nLiBFcXVhbGl0aWVzIGluIHRoZSBz ZXQgdGhlb3JldGljIHRyYW5zbGF0aW9uIG9mIFR5cGUgVGhlb3J5IGFyZSBhY2NpZGVudHMgb2Yg aW1wbGVtZW50YXRpb24gY2hvaWNlcy4gTWFraW5nIHRoZW0gdGhlIGd1aWRlbGluZSBmb3IgdGhl IGRlc2lnbiBvZiBUeXBlDQogVGhlb3J5IHNlZW1zIHRvIHRvIHB1dCB0aGUgY2FydCBpbiBmcm9u dCBvZiB0aGUgaG9yc2UuPG86cD48L286cD48L3A+DQo8L2Rpdj4NCjxwIGNsYXNzPSJNc29Ob3Jt YWwiPjxicj4NCjxicj4NCjxvOnA+PC9vOnA+PC9wPg0KPGJsb2NrcXVvdGUgc3R5bGU9Im1hcmdp bi10b3A6NS4wcHQ7bWFyZ2luLWJvdHRvbTo1LjBwdCI+DQo8ZGl2Pg0KPGRpdj4NCjxkaXY+DQo8 cCBjbGFzcz0iTXNvTm9ybWFsIj48bzpwPiZuYnNwOzwvbzpwPjwvcD4NCjwvZGl2Pg0KPGRpdj4N CjxwIGNsYXNzPSJNc29Ob3JtYWwiPkluIGNhdGVnb3JpY2FsIG1vZGVscywgc3RyaWN0IGVxdWFs aXR5IGJldHdlZW4gaW50ZXJwcmV0ZWQgb2JqZWN0cyBpcyBwZXJoYXBzIGEgbW9yZSBzdWJ0bGUg Y29uY2VwdC48bzpwPjwvbzpwPjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3Jt YWwiPjxvOnA+Jm5ic3A7PC9vOnA+PC9wPg0KPC9kaXY+DQo8ZGl2Pg0KPHAgY2xhc3M9Ik1zb05v cm1hbCI+U3RpbGwsIGl0IHdvdWxkIHNlZW0gdG8gYmUgYSBuYXR1cmFsIHJlcXVpcmVtZW50IG9m ICpBTlkqIGNsYXNzIG9yIGZsYXZvciBvZiBzZW1hbnRpY3MsIHRoYXQgZXhwcmVzc2lvbnMgd2hp Y2ggYXJlIGRlZmluaXRpb25hbGx5IGVxdWFsIGluIHRoZSBvYmplY3QgbGFuZ3VhZ2UsIGFyZSBl dmFsdWF0ZWQgdG8gZW50aXRpZXMgd2hpY2ggYXJlIGFnYWluIChqdWRnbWVudGFsbHkpIGVxdWFs IG9uIHRoZSBtZXRhLWxldmVsLjxvOnA+PC9vOnA+PC9wPg0KPC9kaXY+DQo8ZGl2Pg0KPHAgY2xh c3M9Ik1zb05vcm1hbCI+PG86cD4mbmJzcDs8L286cD48L3A+DQo8L2Rpdj4NCjxkaXY+DQo8cCBj bGFzcz0iTXNvTm9ybWFsIj5UaGlzIHJlYWxseSBhbW91bnRzIHRvIG5vdGhpbmcgbW9yZSB0aGFu IGFza2luZyB0aGF0IHRoZSBzZW1hbnRpY3MgaW4gcXVlc3Rpb24gYWN0dWFsbHkgdmFsaWRhdGUg dGhlIGNvbnZlcnNpb24gcnVsZSAtLSBvbmUgb2YgdGhlIHN0cnVjdHVyYWwgcnVsZXMgb2YgdGhl IHRoZW9yeS48bzpwPjwvbzpwPjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3Jt YWwiPjxvOnA+Jm5ic3A7PC9vOnA+PC9wPg0KPC9kaXY+DQo8ZGl2Pg0KPHAgY2xhc3M9Ik1zb05v cm1hbCI+QmVzdCw8bzpwPjwvbzpwPjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29O b3JtYWwiPkFuZHJldzxvOnA+PC9vOnA+PC9wPg0KPC9kaXY+DQo8ZGl2Pg0KPHAgY2xhc3M9Ik1z b05vcm1hbCI+PGJyPg0KPGJyPg0KT24gU3VuZGF5LCBPY3RvYmVyIDE1LCAyMDE3IGF0IDExOjI2 OjIyIEFNIFVUQyYjNDM7MiwgVGhvbWFzIFN0cmVpY2hlciB3cm90ZTogPG86cD48L286cD48L3A+ DQo8YmxvY2txdW90ZSBzdHlsZT0iYm9yZGVyOm5vbmU7Ym9yZGVyLWxlZnQ6c29saWQgI0NDQ0ND QyAxLjBwdDtwYWRkaW5nOjBpbiAwaW4gMGluIDYuMHB0O21hcmdpbi1sZWZ0OjQuOHB0O21hcmdp bi1yaWdodDowaW4iPg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+Jmd0OyAmbmJzcDtBIHF1aXRlIGRl dGFpbGVkIGludGVycHJldGF0aW9uIG9mIHR5cGUgdGhlb3J5IGluIHNldCB0aGVvcnkgaXMgcHJl c2VudGVkDQo8YnI+DQomZ3Q7IDxicj4NCiZndDsgaW4gdGhlIHBhcGVyIG9mIFBldGVyIEFjemVs ICZxdW90O09uIFJlbGF0aW5nIFR5cGUgVGhlb3JpZXMgYW5kIFNldCBUaGVvcmllcyZxdW90Oy4g PGJyPg0KJmd0OyA8YnI+DQomZ3Q7IE9uIGNhbiBkZWZpbmUgZGlyZWN0bHkgdGhlIGludGVycHJl dGF0aW9uIG9mIGxhbWJkYSB0ZXJtcyAocHJvdmlkZWQgdGhhdCBhYnN0cmFjdGlvbiBpcw0KPGJy Pg0KJmd0OyA8YnI+DQomZ3Q7IHR5cGVkKSwgYW5kIHVzaW5nIHNldCB0aGVvcmV0aWMgY29kaW5n LCBvbmUgY2FuIHVzZSBhIGdsb2JhbCBhcHBsaWNhdGlvbiBvcGVyYXRpb24NCjxicj4NCiZndDsg PGJyPg0KJmd0OyAoc28gdGhhdCB0aGUgaW50ZXJwcmV0YXRpb24gaXMgdG90YWwpLiBPbmUgY2Fu IHRoZW4gY2hlY2tlZCBieSBpbmR1Y3Rpb24gb24gZGVyaXZhdGlvbnMNCjxicj4NCiZndDsgPGJy Pg0KJmd0OyB0aGF0IGFsbCBqdWRnZW1lbnRzIGFyZSB2YWxpZCBmb3IgdGhpcyBpbnRlcnByZXRh dGlvbi4gPGJyPg0KPGJyPg0KVGhhbmtzLCBUaGllcnJ5LCBmb3IgcG9pbnRpbmcgdGhpcyBvdXQu IEJ1dCBQZXRlcidzIG1ldGhvZCBkb2VzIG5vdCA8YnI+DQpleHRlbmQgdG8gYXJiaXRyYXJ5IHNw bGl0IG1vZGVscyBvZiBkZXBlbmRlbnQgdHlwZSB0aGVvcnkuIFdoYXQgUGV0ZXIgPGJyPg0KdXNl cyBoZXJlIGludHJpbnNpY2FsbHkgaXMgdGhhdCBldmVyeXRoaW5nIGlzIGEgc2V0IHNpbmNlIG90 aGVyd2lzZSBoZSA8YnI+DQpjb3VsZG4ndCBpbnRlcnByZXQgdHlwZSB0aGVvcmV0aWMgcXVhbnRp ZmljYXRpb24uIDxicj4NCk15IGludGVycHJldGF0aW9uIGdvdCBwYXJ0aWFsIG9uIHBzZXVkb2V4 cHJlc3Npb25zIHNpbmNlIHBzZXVkb3Rlcm1zIDxicj4NCmNhbid0IGJlIHVuZGVyc3Rvb2QgYXMg cHNldWRvLXR5cGUtZXhwcmVzc2lvbnMuIDxicj4NCjxicj4NCkkgZG9uJ3Qgc2VlIGhvdyBQZXRl cidzIG1ldGhvZCBleHRlbmRzIHRvIGludGVycHJldGF0aW9uIG9mIDxicj4NCnJlYWxpemFiaWxp dHkgb3IgKHByZSlzaGVhZiBtb2RlbHMgb2YgZGVwZW5kZW50IHR5cGUgdGhlb3JpZXMgbm90IHRv IDxicj4NCnNwZWFrIG9mIGFyYml0cmFyeSBjb250ZXh0dWFsIGNhdHMgb3Igb3RoZXIgc3BsaXQg Y2F0ZWdvcmljYWwgbW9kZWxzIDxicj4NCm9mIGRlcGVuZGVudCB0eXBlIHRoZW9yaWVzLiA8YnI+ DQo8YnI+DQpUaG9tYXMgPG86cD48L286cD48L3A+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4NCjwv ZGl2Pg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4gc3R5bGU9Im1zby1mYXJlYXN0LWxhbmd1 YWdlOkVOLVVTIj4tLSA8YnI+DQpZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91 IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICZxdW90O0hvbW90b3B5IFR5cGUg VGhlb3J5JnF1b3Q7IGdyb3VwLjxicj4NClRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBh bmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8NCjxhIGhy ZWY9Im1haWx0bzpIb21vdG9weVR5cGVUaGVvcnkmIzQzO3Vuc3UuLi5AZ29vZ2xlZ3JvdXBzLmNv bSI+SG9tb3RvcHlUeXBlVGhlb3J5JiM0Mzt1bnN1Li4uQGdvb2dsZWdyb3Vwcy5jb208L2E+Ljxi cj4NCkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IDxhIGhyZWY9Imh0dHBzOi8vZ3JvdXBzLmdvb2ds ZS5jb20vZC9vcHRvdXQiPmh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQ8L2E+Ljxv OnA+PC9vOnA+PC9zcGFuPjwvcD4NCjwvZGl2Pg0KPC9ibG9ja3F1b3RlPg0KPC9kaXY+DQo8UFJF PgoKClRoaXMgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBm b3IgdGhlIGFkZHJlc3NlZQphbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9u LiBJZiB5b3UgaGF2ZSByZWNlaXZlZCB0aGlzCm1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBzZW5k IGl0IGJhY2sgdG8gbWUsIGFuZCBpbW1lZGlhdGVseSBkZWxldGUgaXQuIAoKUGxlYXNlIGRvIG5v dCB1c2UsIGNvcHkgb3IgZGlzY2xvc2UgdGhlIGluZm9ybWF0aW9uIGNvbnRhaW5lZCBpbiB0aGlz Cm1lc3NhZ2Ugb3IgaW4gYW55IGF0dGFjaG1lbnQuICBBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhw cmVzc2VkIGJ5IHRoZQphdXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QgbmVjZXNzYXJpbHkgcmVm bGVjdCB0aGUgdmlld3Mgb2YgdGhlClVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4KClRoaXMgbWVz c2FnZSBoYXMgYmVlbiBjaGVja2VkIGZvciB2aXJ1c2VzIGJ1dCB0aGUgY29udGVudHMgb2YgYW4K YXR0YWNobWVudCBtYXkgc3RpbGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxk IGRhbWFnZSB5b3VyCmNvbXB1dGVyIHN5c3RlbSwgeW91IGFyZSBhZHZpc2VkIHRvIHBlcmZvcm0g eW91ciBvd24gY2hlY2tzLiBFbWFpbApjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5 IG9mIE5vdHRpbmdoYW0gbWF5IGJlIG1vbml0b3JlZCBhcwpwZXJtaXR0ZWQgYnkgVUsgbGVnaXNs YXRpb24uCjwvUFJFPjwvYm9keT4NCjwvaHRtbD4NCg== --_000_F9E4D5E5D0AB48C7AE2D22F1CE88D9C5exmailnottinghamacuk_--