From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.80.167.162 with SMTP id i31mr2511822edc.9.1508163150831; Mon, 16 Oct 2017 07:12:30 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.80.192.1 with SMTP id r1ls3559544edb.0.gmail; Mon, 16 Oct 2017 07:12:30 -0700 (PDT) X-Received: by 10.80.206.3 with SMTP id y3mr2521438edi.11.1508163150112; Mon, 16 Oct 2017 07:12:30 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1508163150; cv=none; d=google.com; s=arc-20160816; b=DquJYuSP1tRcuPMLvkmIFUQA8G60D20ZmOmFAsSyXbZoGngDBlnZLaV/Bu9eEMddSd 9FuldusOhxCUp2ADp2aR1EHZiTYOWfbir6eFjReUbfqfJtLsOr/rYv+4TzKK31Tg87mr YQDcNr77rWnEEfhpkOAgeV4YBoINY31PzUR+AL3UZ6iVSFTgENQnbMP6gsLByyHdhQKy sfGMQgRXOhkP9HHBcrxdwocaKNjstuqrga88jYq22wk0vmHvQ1V3fhozNJRExOwHfDSR ldiJ2RbBJtPdITOu83h6Lek/YnpuSPj5D3nvxL8WVC6QcjGwhCmkkffUDZS6IRwKN3/P WoqA== 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:in-reply-to:references:message-id :date:thread-index:thread-topic:subject:to:from :arc-authentication-results; bh=uiOK7THQTPsKe6sV1gZ7QSsI51Y+HUwP7c63O62kK6o=; b=BK7hAhZionACUGdfUq0iJfU9g5GBnKaBnUF9IIWpJYkd/JB9N6rifWxRb0TZZb2NEj 3f2l3J1DnHWV2KMzv6otL/yFRZQyGoHIz8KtkhR8kfNhd4fUaVZDLzbg6UcNQSsngNt6 cXIBnfqV5POVaIOX3Sbp/P4zLHnAab9/sAiv/lxROLOibLab+9+PA17thdTkf5mFl5gU BVrh5ODKLlJg3JnuNy+HhMx+ULH9CKE6P1ygDbxQZy8GTCSSr5bAp+CnLMsG3NdDrMuw MGvFNkx0w2Ve585vX2tVf0q4kn8j8ZxXSSmgYKUkdJRdI5BgNrHi8QcMEPubP0BWStuD R5IQ== 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 w24si346771edl.5.2017.10.16.07.12.29 for ; Mon, 16 Oct 2017 07:12:30 -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 CAE803CA707_9E4BE4DB for ; Mon, 16 Oct 2017 14:12:29 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) by uidappmx01.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id 7F994690CB4_9E4BE4DF for ; Mon, 16 Oct 2017 14:12:29 +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 1e4685-0008VX-Fv; Mon, 16 Oct 2017 15:12:29 +0100 Received: from EUR01-HE1-obe.outbound.protection.outlook.com (213.199.154.211) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.351.0; Mon, 16 Oct 2017 15:12:29 +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; Mon, 16 Oct 2017 14:12:27 +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 14:12:27 +0000 From: Thorsten Altenkirch To: Andrew Polonsky , 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/lsUyeJmmKJObyUKLmSf+AgABLioA= Date: Mon, 16 Oct 2017 14:12:27 +0000 Message-ID: <76CD577E-71B5-4F03-A311-E2883C358AD5@exmail.nottingham.ac.uk> References: <855393ab-3b24-4de4-81aa-a7b9e3c102dc@googlegroups.com> In-Reply-To: <855393ab-3b24-4de4-81aa-a7b9e3c102dc@googlegroups.com> Accept-Language: en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/f.21.0.170409 authentication-results: spf=none (sender IP is ) smtp.mailfrom=psz...@exmail.nottingham.ac.uk; x-originating-ip: [128.243.20.140] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DB5PR06MB1719;6:99LHq7G3J3SSjQSg/pnfVEFwHHA4P3BmpoaNYJxJ+dK/45zzmVLTV8XQwjlyCe+NGFog6PRZ59Fik4YjWojrI8qrQH+Zs7NQ/+OPWBXCROg6bPten+A8uoFaJtZOXKewETAvTCeqJNXu1MG8rpKA4bg9JbALBBC1Jg3ghUZzm/0dkv/WS2nZpsknF69hKsdqbBQA2Uo+0mAdmUdh3MT3xzTs+m3MGjXQtgnDFUITGzEUnpPgSJHhdklegg6a8smCq5H5GjA3txX0aw9c2FUHNM4X/LweY3ls7NPbDqTqDHGu9FnIvYqLqRtR0Q8vIbcAKyxsdlNkvUOVMRVyNITSnQ==;5:Sn1r2pi+qra80QPs6m6zcNtpEzMPIUELQstRyrlSZOUrUpo+dSVRhWDPFUVpkYyXYcee4hXGZQv52OcoAYMG9W2C0o1OjF+tblb0D0kZfuMHIBWdmXnZ9kHalXrZ5c/aMmLTpfny842LnGmCTvUthzOO0Re4oBRN7+LSNAyd0vo=;24:gTwZxkcomxt4g0v/DaKTwQCi3Irx8Vn6yJHkk6LaW6SWWJHFZrTDmhSpdYpZE+vTQc1Zgkc6rWfu+j88ieuEOFLYZ7zm4EdxsFRmHngXLfs=;7:QGiq8ElusPfrYhbhBZNrWejFPnWnYrCq/cLClulM3c4ioaMUz8U560qq6l+IRRz2L1oM6K4rLQCo8ObaEPH+Sr3rJc2p28CelVFBy7NW0bnqaWRkqai/+lhMCqmqFgcit4a4dUeb/K3U4bI2C4ePIJmJQysNt9LP07ntWmaWq7OHzRJbmgjhjJWRWresnb+3+21wiSbcNlhv7t5mRGZ0tCLMb54wQDsPo4rYtH2X2S0= x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: cca0c28a-152e-4191-9b7f-08d5149fee7f 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)(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)(5005006)(8121501046)(93006095)(93001095)(100000703101)(100105400095)(10201501046)(3002001)(920507026)(6041248)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(201703061406153)(20161123562025)(20161123555025)(20161123560025)(20161123558100)(20161123564025)(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: 0462918D61 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(346002)(376002)(189002)(199003)(3280700002)(74482002)(2906002)(3660700001)(105586002)(68736007)(5660300001)(110136005)(58126008)(54896002)(39060400002)(53546010)(83716003)(81166006)(14971765001)(316002)(99286003)(34040400001)(6306002)(83506001)(14454004)(6246003)(606006)(102836003)(6116002)(3846002)(236005)(786003)(8936002)(53936002)(81156014)(6512007)(6486002)(966005)(42882006)(2950100002)(8676002)(97736004)(25786009)(86362001)(7736002)(6436002)(33656002)(66066001)(229853002)(189998001)(6506006)(478600001)(5250100002)(106356001)(101416001)(50986999)(2900100001)(54356999)(76176999)(82746002)(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: multipart/alternative; boundary="_000_76CD577E71B54F03A311E2883C358AD5exmailnottinghamacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Oct 2017 14:12:27.5864 (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 --_000_76CD577E71B54F03A311E2883C358AD5exmailnottinghamacuk_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 SnVzdCB0byBjbGFyaWZ5OiBieSBzZXQgdGhlb3J5IHdlIG1lYW4gWkZDLCBub3QgdGhlIHNldC1s ZXZlbCBmcmFnbWVudCBvZiBIb1RULg0KDQpJIGFtIG5vdCBzdXJlIHdoYXQgaXMgaW4gZ2VuZXJh bCB0aGUg4oCcbmF0aXZlIG1lYW5pbmfigJ0gb2YgdHlwZSBjb25zdHJ1Y3RvcnMuIE9rLCBpdCBp cyBwcmV0dHkgY2xlYXIgZm9yIGZ1bmN0aW9uIHR5cGVzIGJ1dCBub3QgaW4gZ2VuZXJhbC4NCg0K Q2hvb3NpbmcgYSBjbGV2ZXIgZW5jb2RpbmcgeW91IGNvdWxkIG1ha2UgcHJvZHVjdHMgc3RyaWN0 bHkgbW9ub2lkYWwsIHRoYXQgaXMgQXgoQnhDKSA9IChBeEIpeEMuIElzIHRoaXMgbm93IHRoZSB0 cnVlIGVxdWFsaXR5IG9yIG5vdD8NCg0KTG9va2luZyBhdCBpbmR1Y3RpdmUgdHlwZXMgeW91IGNh biBoYXZlIHJlcHJlc2VudGF0aW9ucyB3aGVyZSBGKG11IEYpID0gbXUgRiBvciB5b3UgY2hvb3Nl IHRoYXQgdGhpcyBpcyBqdXN0IGFuIGlzb21vcnBoaXNtLiBFaXRoZXIgb2YgdGhlbSBjYW4gYmUg anVzdGlmaWVkIGJ5IHNldCB0aGVvcmV0aWMgZW5jb2RpbmdzIHdoaWNoIGlzIG5vIGhlbHAgaW4g ZGVjaWRpbmcgd2hpY2ggb25lcyBzaG91bGQgaG9sZC4NCg0KVGhvcnN0ZW4NCg0KRnJvbTogPGhv bW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tPiBvbiBiZWhhbGYgb2YgQW5kcmV3IFBvbG9uc2t5 IDxhbmRyZXcuLi4uQGdtYWlsLmNvbT4NCkRhdGU6IE1vbmRheSwgMTYgT2N0b2JlciAyMDE3IGF0 IDExOjQyDQpUbzogSG9tb3RvcHkgVHlwZSBUaGVvcnkgPGhvbW90b3B5dC4uLkBnb29nbGVncm91 cHMuY29tPg0KU3ViamVjdDogUmU6IFtIb1RUXSBBIHNtYWxsIG9ic2VydmF0aW9uIG9uIGN1bXVs YXRpdml0eSBhbmQgdGhlIGZhaWx1cmUgb2YgaW5pdGlhbGl0eQ0KDQpFcXVhbGl0aWVzIGluIHRo ZSBzZXQgdGhlb3JldGljIHRyYW5zbGF0aW9uIG9mIFR5cGUgVGhlb3J5IGFyZSBhY2NpZGVudHMg b2YgaW1wbGVtZW50YXRpb24gY2hvaWNlcy4gTWFraW5nIHRoZW0gdGhlIGd1aWRlbGluZSBmb3Ig dGhlIGRlc2lnbiBvZiBUeXBlIFRoZW9yeSBzZWVtcyB0byB0byBwdXQgdGhlIGNhcnQgaW4gZnJv bnQgb2YgdGhlIGhvcnNlLg0KDQpOby4NCg0KVGhlIGZhY3QgdGhhdCBlcXVhbGl0aWVzIGNvcnJl c3BvbmRpbmcgdG8gYmV0YSByZWR1Y3Rpb24sIGV0Yy4gYXJlIHZhbGlkYXRlZCBpcyBub3QgImFu IGFjY2lkZW50IG9mIGltcGxlbWVudGF0aW9uIGNob2ljZXMiLg0KDQpJdCBpcyBhIGNvbnNlcXVl bmNlcyBvZiB0aGUgZmFjdCB0aGF0IHN0YW5kYXJkIHR5cGUgY29uc3RydWN0b3JzIChmdW5jdGlv biBzcGFjZSwgcHJvZHVjdHMsIC4uLikgYXJlIGludGVycHJldGVkIGJ5IHRoZWlyIG5hdGl2ZSBt ZWFuaW5nIGluIHRoZSBtZXRhLWxldmVsLg0KDQpGb3IgZXhhbXBsZSwgaWYgdGhlIG1ldGF0aGVv cnkgaXMgYWdhaW4gdHlwZSB0aGVvcnksIGFuZCBpbnRlcnByZXRhdGlvbiBpcyBkb25lIGJ5IHJl Y3Vyc2lvbiBvdmVyIHRoZSB1bml2ZXJzZXMgb2Ygb2JqZWN0IHR5cGVzLCByZWlmeWluZyBhbGwg dHlwZSBjb25zdHJ1Y3RvcnMgYnkgdGhlbXNlbHZlcyAobGlrZSBpbiBhbiBpbmR1Y3RpdmUtcmVj dXJzaXZlIHVuaXZlcnNlKSwgdGhlbiBhbGwgY29udmVyc2lvbnMgaW4gdGhlIG9iamVjdCBsYW5n dWFnZSB3aWxsIGFnYWluIGJlIHZhbGlkIGluIHRoZSBtZXRhdGhlb3J5LCBhbmQgY29oZXJlbmNl IGlzc3VlcyB3b24ndCBhcmlzZS4NCg0KSSBzdXNwZWN0IHRoYXQgKHN1ZmZpY2llbnRseSBzcGxp dCkgY2F0ZWdvcmljYWwgbW9kZWxzIGNvdWxkIGFsc28gYmUgcHJlc2VudGVkIHRoaXMgd2F5LCBi dXQgaXQgbWlnaHQgYmUgbGVzcyBuYXR1cmFsIGJlY2F1c2UgZXF1YWxpdHkgb2YgdHlwZXMgd291 bGQgdGhlbiBoYXZlIHRvIHJlZmVyIHRvIChhY3R1YWwpIGVxdWFsaXR5IG9mIG9iamVjdHMuDQoN CkNoZWVycywNCkFuZHJldw0KLS0NCllvdSByZWNlaXZlZCB0aGlzIG1lc3NhZ2UgYmVjYXVzZSB5 b3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIEdvb2dsZSBHcm91cHMgIkhvbW90b3B5IFR5cGUgVGhl b3J5IiBncm91cC4NClRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBhbmQgc3RvcCByZWNl aXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8gSG9tb3RvcHlUeXBlVGhlLi4u QGdvb2dsZWdyb3Vwcy5jb208bWFpbHRvOkhvbW90b3B5VHlwZVRoZS4uLkBnb29nbGVncm91cHMu Y29tPi4NCkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IGh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20v ZC9vcHRvdXQuDQoNCgoKCgpUaGlzIG1lc3NhZ2UgYW5kIGFueSBhdHRhY2htZW50IGFyZSBpbnRl bmRlZCBzb2xlbHkgZm9yIHRoZSBhZGRyZXNzZWUKYW5kIG1heSBjb250YWluIGNvbmZpZGVudGlh bCBpbmZvcm1hdGlvbi4gSWYgeW91IGhhdmUgcmVjZWl2ZWQgdGhpcwptZXNzYWdlIGluIGVycm9y LCBwbGVhc2Ugc2VuZCBpdCBiYWNrIHRvIG1lLCBhbmQgaW1tZWRpYXRlbHkgZGVsZXRlIGl0LiAK ClBsZWFzZSBkbyBub3QgdXNlLCBjb3B5IG9yIGRpc2Nsb3NlIHRoZSBpbmZvcm1hdGlvbiBjb250 YWluZWQgaW4gdGhpcwptZXNzYWdlIG9yIGluIGFueSBhdHRhY2htZW50LiAgQW55IHZpZXdzIG9y IG9waW5pb25zIGV4cHJlc3NlZCBieSB0aGUKYXV0aG9yIG9mIHRoaXMgZW1haWwgZG8gbm90IG5l Y2Vzc2FyaWx5IHJlZmxlY3QgdGhlIHZpZXdzIG9mIHRoZQpVbml2ZXJzaXR5IG9mIE5vdHRpbmdo YW0uCgpUaGlzIG1lc3NhZ2UgaGFzIGJlZW4gY2hlY2tlZCBmb3IgdmlydXNlcyBidXQgdGhlIGNv bnRlbnRzIG9mIGFuCmF0dGFjaG1lbnQgbWF5IHN0aWxsIGNvbnRhaW4gc29mdHdhcmUgdmlydXNl cyB3aGljaCBjb3VsZCBkYW1hZ2UgeW91cgpjb21wdXRlciBzeXN0ZW0sIHlvdSBhcmUgYWR2aXNl ZCB0byBwZXJmb3JtIHlvdXIgb3duIGNoZWNrcy4gRW1haWwKY29tbXVuaWNhdGlvbnMgd2l0aCB0 aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9yZWQgYXMKcGVybWl0dGVk IGJ5IFVLIGxlZ2lzbGF0aW9uLgoK --_000_76CD577E71B54F03A311E2883C358AD5exmailnottinghamacuk_ Content-Type: text/html; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 PGh0bWwgeG1sbnM6bz0idXJuOnNjaGVtYXMtbWljcm9zb2Z0LWNvbTpvZmZpY2U6b2ZmaWNlIiB4 bWxuczp3PSJ1cm46c2NoZW1hcy1taWNyb3NvZnQtY29tOm9mZmljZTp3b3JkIiB4bWxuczptPSJo dHRwOi8vc2NoZW1hcy5taWNyb3NvZnQuY29tL29mZmljZS8yMDA0LzEyL29tbWwiIHhtbG5zPSJo dHRwOi8vd3d3LnczLm9yZy9UUi9SRUMtaHRtbDQwIj4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPG1l dGEgbmFtZT0iVGl0bGUiIGNvbnRlbnQ9IiI+DQo8bWV0YSBuYW1lPSJLZXl3b3JkcyIgY29udGVu dD0iIj4NCjxtZXRhIG5hbWU9IkdlbmVyYXRvciIgY29udGVudD0iTWljcm9zb2Z0IFdvcmQgMTUg KGZpbHRlcmVkIG1lZGl1bSkiPg0KPHN0eWxlPjwhLS0NCi8qIEZvbnQgRGVmaW5pdGlvbnMgKi8N CkBmb250LWZhY2UNCgl7Zm9udC1mYW1pbHk6IkNhbWJyaWEgTWF0aCI7DQoJcGFub3NlLTE6MiA0 IDUgMyA1IDQgNiAzIDIgNDt9DQpAZm9udC1mYWNlDQoJe2ZvbnQtZmFtaWx5OkNhbGlicmk7DQoJ cGFub3NlLTE6MiAxNSA1IDIgMiAyIDQgMyAyIDQ7fQ0KLyogU3R5bGUgRGVmaW5pdGlvbnMgKi8N CnAuTXNvTm9ybWFsLCBsaS5Nc29Ob3JtYWwsIGRpdi5Nc29Ob3JtYWwNCgl7bWFyZ2luOjBpbjsN CgltYXJnaW4tYm90dG9tOi4wMDAxcHQ7DQoJZm9udC1zaXplOjEyLjBwdDsNCglmb250LWZhbWls eToiVGltZXMgTmV3IFJvbWFuIjt9DQphOmxpbmssIHNwYW4uTXNvSHlwZXJsaW5rDQoJe21zby1z dHlsZS1wcmlvcml0eTo5OTsNCgljb2xvcjpibHVlOw0KCXRleHQtZGVjb3JhdGlvbjp1bmRlcmxp bmU7fQ0KYTp2aXNpdGVkLCBzcGFuLk1zb0h5cGVybGlua0ZvbGxvd2VkDQoJe21zby1zdHlsZS1w cmlvcml0eTo5OTsNCgljb2xvcjpwdXJwbGU7DQoJdGV4dC1kZWNvcmF0aW9uOnVuZGVybGluZTt9 DQpwDQoJe21zby1zdHlsZS1wcmlvcml0eTo5OTsNCgltc28tbWFyZ2luLXRvcC1hbHQ6YXV0bzsN CgltYXJnaW4tcmlnaHQ6MGluOw0KCW1zby1tYXJnaW4tYm90dG9tLWFsdDphdXRvOw0KCW1hcmdp bi1sZWZ0OjBpbjsNCglmb250LXNpemU6MTIuMHB0Ow0KCWZvbnQtZmFtaWx5OiJUaW1lcyBOZXcg Um9tYW4iO30NCnNwYW4uRW1haWxTdHlsZTE4DQoJe21zby1zdHlsZS10eXBlOnBlcnNvbmFsLXJl cGx5Ow0KCWZvbnQtZmFtaWx5OkNhbGlicmk7DQoJY29sb3I6d2luZG93dGV4dDt9DQpzcGFuLm1z b0lucw0KCXttc28tc3R5bGUtdHlwZTpleHBvcnQtb25seTsNCgltc28tc3R5bGUtbmFtZToiIjsN Cgl0ZXh0LWRlY29yYXRpb246dW5kZXJsaW5lOw0KCWNvbG9yOnRlYWw7fQ0KLk1zb0NocERlZmF1 bHQNCgl7bXNvLXN0eWxlLXR5cGU6ZXhwb3J0LW9ubHk7DQoJZm9udC1zaXplOjEwLjBwdDt9DQpA cGFnZSBXb3JkU2VjdGlvbjENCgl7c2l6ZTo1OTUuMHB0IDg0Mi4wcHQ7DQoJbWFyZ2luOjEuMGlu IDEuMGluIDEuMGluIDEuMGluO30NCmRpdi5Xb3JkU2VjdGlvbjENCgl7cGFnZTpXb3JkU2VjdGlv bjE7fQ0KLS0+PC9zdHlsZT4NCjwvaGVhZD4NCjxib2R5IGJnY29sb3I9IndoaXRlIiBsYW5nPSJF Ti1HQiIgbGluaz0iYmx1ZSIgdmxpbms9InB1cnBsZSI+DQo8ZGl2IGNsYXNzPSJXb3JkU2VjdGlv bjEiPg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZToxMS4wcHQ7 Zm9udC1mYW1pbHk6Q2FsaWJyaTttc28tZmFyZWFzdC1sYW5ndWFnZTpFTi1VUyI+SnVzdCB0byBj bGFyaWZ5OiBieSBzZXQgdGhlb3J5IHdlIG1lYW4gWkZDLCBub3QgdGhlIHNldC1sZXZlbCBmcmFn bWVudCBvZiBIb1RULjxvOnA+PC9vOnA+PC9zcGFuPjwvcD4NCjxwIGNsYXNzPSJNc29Ob3JtYWwi PjxzcGFuIHN0eWxlPSJmb250LXNpemU6MTEuMHB0O2ZvbnQtZmFtaWx5OkNhbGlicmk7bXNvLWZh cmVhc3QtbGFuZ3VhZ2U6RU4tVVMiPjxvOnA+Jm5ic3A7PC9vOnA+PC9zcGFuPjwvcD4NCjxwIGNs YXNzPSJNc29Ob3JtYWwiPjxzcGFuIHN0eWxlPSJmb250LXNpemU6MTEuMHB0O2ZvbnQtZmFtaWx5 OkNhbGlicmk7bXNvLWZhcmVhc3QtbGFuZ3VhZ2U6RU4tVVMiPkkgYW0gbm90IHN1cmUgd2hhdCBp cyBpbiBnZW5lcmFsIHRoZSDigJxuYXRpdmUgbWVhbmluZ+KAnSBvZiB0eXBlIGNvbnN0cnVjdG9y cy4gT2ssIGl0IGlzIHByZXR0eSBjbGVhciBmb3IgZnVuY3Rpb24gdHlwZXMgYnV0IG5vdCBpbiBn ZW5lcmFsLg0KPG86cD48L286cD48L3NwYW4+PC9wPg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNw YW4gc3R5bGU9ImZvbnQtc2l6ZToxMS4wcHQ7Zm9udC1mYW1pbHk6Q2FsaWJyaTttc28tZmFyZWFz dC1sYW5ndWFnZTpFTi1VUyI+PG86cD4mbmJzcDs8L286cD48L3NwYW4+PC9wPg0KPHAgY2xhc3M9 Ik1zb05vcm1hbCI+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZToxMS4wcHQ7Zm9udC1mYW1pbHk6Q2Fs aWJyaTttc28tZmFyZWFzdC1sYW5ndWFnZTpFTi1VUyI+Q2hvb3NpbmcgYSBjbGV2ZXIgZW5jb2Rp bmcgeW91IGNvdWxkIG1ha2UgcHJvZHVjdHMgc3RyaWN0bHkgbW9ub2lkYWwsIHRoYXQgaXMgQXgo QnhDKSA9IChBeEIpeEMuIElzIHRoaXMgbm93IHRoZSB0cnVlIGVxdWFsaXR5IG9yIG5vdD88bzpw PjwvbzpwPjwvc3Bhbj48L3A+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48c3BhbiBzdHlsZT0iZm9u dC1zaXplOjExLjBwdDtmb250LWZhbWlseTpDYWxpYnJpO21zby1mYXJlYXN0LWxhbmd1YWdlOkVO LVVTIj48bzpwPiZuYnNwOzwvbzpwPjwvc3Bhbj48L3A+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48 c3BhbiBzdHlsZT0iZm9udC1zaXplOjExLjBwdDtmb250LWZhbWlseTpDYWxpYnJpO21zby1mYXJl YXN0LWxhbmd1YWdlOkVOLVVTIj5Mb29raW5nIGF0IGluZHVjdGl2ZSB0eXBlcyB5b3UgY2FuIGhh dmUgcmVwcmVzZW50YXRpb25zIHdoZXJlIEYobXUgRikgPSBtdSBGIG9yIHlvdSBjaG9vc2UgdGhh dCB0aGlzIGlzIGp1c3QgYW4gaXNvbW9ycGhpc20uIEVpdGhlciBvZiB0aGVtIGNhbiBiZSBqdXN0 aWZpZWQgYnkNCiBzZXQgdGhlb3JldGljIGVuY29kaW5ncyB3aGljaCBpcyBubyBoZWxwIGluIGRl Y2lkaW5nIHdoaWNoIG9uZXMgc2hvdWxkIGhvbGQuPG86cD48L286cD48L3NwYW4+PC9wPg0KPHAg Y2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZToxMS4wcHQ7Zm9udC1mYW1p bHk6Q2FsaWJyaTttc28tZmFyZWFzdC1sYW5ndWFnZTpFTi1VUyI+PG86cD4mbmJzcDs8L286cD48 L3NwYW4+PC9wPg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZTox MS4wcHQ7Zm9udC1mYW1pbHk6Q2FsaWJyaTttc28tZmFyZWFzdC1sYW5ndWFnZTpFTi1VUyI+VGhv cnN0ZW48bzpwPjwvbzpwPjwvc3Bhbj48L3A+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48c3BhbiBz dHlsZT0iZm9udC1zaXplOjExLjBwdDtmb250LWZhbWlseTpDYWxpYnJpO21zby1mYXJlYXN0LWxh bmd1YWdlOkVOLVVTIj48bzpwPiZuYnNwOzwvbzpwPjwvc3Bhbj48L3A+DQo8ZGl2IHN0eWxlPSJi b3JkZXI6bm9uZTtib3JkZXItdG9wOnNvbGlkICNCNUM0REYgMS4wcHQ7cGFkZGluZzozLjBwdCAw aW4gMGluIDBpbiI+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48Yj48c3BhbiBzdHlsZT0iZm9udC1m YW1pbHk6Q2FsaWJyaTtjb2xvcjpibGFjayI+RnJvbTogPC9zcGFuPg0KPC9iPjxzcGFuIHN0eWxl PSJmb250LWZhbWlseTpDYWxpYnJpO2NvbG9yOmJsYWNrIj4mbHQ7aG9tb3RvcC4uLkBnb29nbGVn cm91cHMuY29tJmd0OyBvbiBiZWhhbGYgb2YgQW5kcmV3IFBvbG9uc2t5ICZsdDthbmRyZXcuLi5A Z21haWwuY29tJmd0Ozxicj4NCjxiPkRhdGU6IDwvYj5Nb25kYXksIDE2IE9jdG9iZXIgMjAxNyBh dCAxMTo0Mjxicj4NCjxiPlRvOiA8L2I+SG9tb3RvcHkgVHlwZSBUaGVvcnkgJmx0O2hvbW90b3Au Li5AZ29vZ2xlZ3JvdXBzLmNvbSZndDs8YnI+DQo8Yj5TdWJqZWN0OiA8L2I+UmU6IFtIb1RUXSBB IHNtYWxsIG9ic2VydmF0aW9uIG9uIGN1bXVsYXRpdml0eSBhbmQgdGhlIGZhaWx1cmUgb2YgaW5p dGlhbGl0eTxvOnA+PC9vOnA+PC9zcGFuPjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJN c29Ob3JtYWwiPjxvOnA+Jm5ic3A7PC9vOnA+PC9wPg0KPC9kaXY+DQo8ZGl2Pg0KPGJsb2NrcXVv dGUgc3R5bGU9ImJvcmRlcjpub25lO2JvcmRlci1sZWZ0OnNvbGlkICNDQ0NDQ0MgMS4wcHQ7cGFk ZGluZzowaW4gMGluIDBpbiA2LjBwdDttYXJnaW4tbGVmdDo0LjhwdDttYXJnaW4tcmlnaHQ6MGlu Ij4NCjxkaXY+DQo8ZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiIHN0eWxlPSJtc28t bWFyZ2luLXRvcC1hbHQ6YXV0bzttc28tbWFyZ2luLWJvdHRvbS1hbHQ6YXV0byI+RXF1YWxpdGll cyBpbiB0aGUgc2V0IHRoZW9yZXRpYyB0cmFuc2xhdGlvbiBvZiBUeXBlIFRoZW9yeSBhcmUgYWNj aWRlbnRzIG9mIGltcGxlbWVudGF0aW9uIGNob2ljZXMuIE1ha2luZyB0aGVtIHRoZSBndWlkZWxp bmUgZm9yIHRoZSBkZXNpZ24gb2YgVHlwZSBUaGVvcnkgc2VlbXMgdG8gdG8gcHV0IHRoZSBjYXJ0 DQogaW4gZnJvbnQgb2YgdGhlIGhvcnNlLjxvOnA+PC9vOnA+PC9wPg0KPC9kaXY+DQo8L2Rpdj4N CjwvZGl2Pg0KPC9ibG9ja3F1b3RlPg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPjxvOnA+ Jm5ic3A7PC9vOnA+PC9wPg0KPC9kaXY+DQo8ZGl2Pg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+Tm8u PG86cD48L286cD48L3A+DQo8L2Rpdj4NCjxkaXY+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48bzpw PiZuYnNwOzwvbzpwPjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPlRo ZSBmYWN0IHRoYXQgZXF1YWxpdGllcyBjb3JyZXNwb25kaW5nIHRvIGJldGEgcmVkdWN0aW9uLCBl dGMuIGFyZSB2YWxpZGF0ZWQgaXMgbm90ICZxdW90O2FuIGFjY2lkZW50IG9mIGltcGxlbWVudGF0 aW9uIGNob2ljZXMmcXVvdDsuPG86cD48L286cD48L3A+DQo8L2Rpdj4NCjxkaXY+DQo8cCBjbGFz cz0iTXNvTm9ybWFsIj48bzpwPiZuYnNwOzwvbzpwPjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNs YXNzPSJNc29Ob3JtYWwiPkl0IGlzIGEgY29uc2VxdWVuY2VzIG9mIHRoZSBmYWN0IHRoYXQgc3Rh bmRhcmQgdHlwZSBjb25zdHJ1Y3RvcnMgKGZ1bmN0aW9uIHNwYWNlLCBwcm9kdWN0cywgLi4uKSBh cmUgaW50ZXJwcmV0ZWQgYnkgdGhlaXIgbmF0aXZlIG1lYW5pbmcgaW4gdGhlIG1ldGEtbGV2ZWwu PG86cD48L286cD48L3A+DQo8L2Rpdj4NCjxkaXY+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48bzpw PiZuYnNwOzwvbzpwPjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPkZv ciBleGFtcGxlLCBpZiB0aGUgbWV0YXRoZW9yeSBpcyBhZ2FpbiB0eXBlIHRoZW9yeSwgYW5kIGlu dGVycHJldGF0aW9uIGlzIGRvbmUgYnkgcmVjdXJzaW9uIG92ZXIgdGhlIHVuaXZlcnNlcyBvZiBv YmplY3QgdHlwZXMsIHJlaWZ5aW5nIGFsbCB0eXBlIGNvbnN0cnVjdG9ycyBieSB0aGVtc2VsdmVz IChsaWtlIGluIGFuIGluZHVjdGl2ZS1yZWN1cnNpdmUgdW5pdmVyc2UpLCB0aGVuIGFsbCBjb252 ZXJzaW9ucw0KIGluIHRoZSBvYmplY3QgbGFuZ3VhZ2Ugd2lsbCBhZ2FpbiBiZSB2YWxpZCBpbiB0 aGUgbWV0YXRoZW9yeSwgYW5kIGNvaGVyZW5jZSBpc3N1ZXMgd29uJ3QgYXJpc2UuPG86cD48L286 cD48L3A+DQo8L2Rpdj4NCjxkaXY+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48bzpwPiZuYnNwOzwv bzpwPjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPkkgc3VzcGVjdCB0 aGF0IChzdWZmaWNpZW50bHkgc3BsaXQpIGNhdGVnb3JpY2FsIG1vZGVscyBjb3VsZCBhbHNvIGJl IHByZXNlbnRlZCB0aGlzIHdheSwgYnV0IGl0IG1pZ2h0IGJlIGxlc3MgbmF0dXJhbCBiZWNhdXNl IGVxdWFsaXR5IG9mIHR5cGVzIHdvdWxkIHRoZW4gaGF2ZSB0byByZWZlciB0byAoYWN0dWFsKSBl cXVhbGl0eSBvZiBvYmplY3RzLjxvOnA+PC9vOnA+PC9wPg0KPC9kaXY+DQo8ZGl2Pg0KPHAgY2xh c3M9Ik1zb05vcm1hbCI+PG86cD4mbmJzcDs8L286cD48L3A+DQo8L2Rpdj4NCjxkaXY+DQo8cCBj bGFzcz0iTXNvTm9ybWFsIj5DaGVlcnMsPG86cD48L286cD48L3A+DQo8L2Rpdj4NCjxkaXY+DQo8 cCBjbGFzcz0iTXNvTm9ybWFsIj5BbmRyZXc8bzpwPjwvbzpwPjwvcD4NCjwvZGl2Pg0KPC9kaXY+ DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj4tLSA8YnI+DQpZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdl IGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICZxdW90O0hv bW90b3B5IFR5cGUgVGhlb3J5JnF1b3Q7IGdyb3VwLjxicj4NClRvIHVuc3Vic2NyaWJlIGZyb20g dGhpcyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1h aWwgdG8NCjxhIGhyZWY9Im1haWx0bzpIb21vdG9weVR5cGVUaGVvcnkmIzQzO3Vuc3UuLi5AZ29v Z2xlZ3JvdXBzLmNvbSI+SG9tb3RvcHlUeXBlVGhlb3J5JiM0Mzt1bnN1Li4uQGdvb2dsZWdyb3Vw cy5jb208L2E+Ljxicj4NCkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IDxhIGhyZWY9Imh0dHBzOi8v Z3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQiPmh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9v cHRvdXQ8L2E+Ljxicj4NCjxicj4NCjxvOnA+PC9vOnA+PC9wPg0KPC9kaXY+DQo8UFJFPgoKClRo aXMgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3IgdGhl IGFkZHJlc3NlZQphbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5 b3UgaGF2ZSByZWNlaXZlZCB0aGlzCm1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBzZW5kIGl0IGJh Y2sgdG8gbWUsIGFuZCBpbW1lZGlhdGVseSBkZWxldGUgaXQuIAoKUGxlYXNlIGRvIG5vdCB1c2Us IGNvcHkgb3IgZGlzY2xvc2UgdGhlIGluZm9ybWF0aW9uIGNvbnRhaW5lZCBpbiB0aGlzCm1lc3Nh Z2Ugb3IgaW4gYW55IGF0dGFjaG1lbnQuICBBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2Vk IGJ5IHRoZQphdXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QgbmVjZXNzYXJpbHkgcmVmbGVjdCB0 aGUgdmlld3Mgb2YgdGhlClVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4KClRoaXMgbWVzc2FnZSBo YXMgYmVlbiBjaGVja2VkIGZvciB2aXJ1c2VzIGJ1dCB0aGUgY29udGVudHMgb2YgYW4KYXR0YWNo bWVudCBtYXkgc3RpbGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxkIGRhbWFn ZSB5b3VyCmNvbXB1dGVyIHN5c3RlbSwgeW91IGFyZSBhZHZpc2VkIHRvIHBlcmZvcm0geW91ciBv d24gY2hlY2tzLiBFbWFpbApjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5v dHRpbmdoYW0gbWF5IGJlIG1vbml0b3JlZCBhcwpwZXJtaXR0ZWQgYnkgVUsgbGVnaXNsYXRpb24u CjwvUFJFPjwvYm9keT4NCjwvaHRtbD4NCg== --_000_76CD577E71B54F03A311E2883C358AD5exmailnottinghamacuk_--