From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.80.230.12 with SMTP id y12mr800571edm.6.1508149318859; Mon, 16 Oct 2017 03:21:58 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.80.170.121 with SMTP id p54ls2445611edc.7.gmail; Mon, 16 Oct 2017 03:21:58 -0700 (PDT) X-Received: by 10.80.152.61 with SMTP id g58mr2334455edb.5.1508149318203; Mon, 16 Oct 2017 03:21:58 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1508149318; cv=none; d=google.com; s=arc-20160816; b=P9IHFcSupBdEEuPkW8zh6VOwJwhKvJADYmx3k2c1gQMcl+AipETbbAUY3t3emzhlyp V2riD304QPk9hP73VcGH314c7KdoC5fRrIAqpQ/+9mw+u42w7YgCxCmfZ+i0R2q5SPMv e5+GJHGfGfx5R4UZxV3FBzrD5/AwbBPZB3W9Q7vwF78NI3a2cbCjvcT3fh7rHQy0q9zf 4xsSeERGrEG9AH0OnghxLNRgQIerrwywrSsdFjTaP1H9Th6CEjAAafKsGMQxqVombXLC zHAYK4Vzwn6lV3JEEqXLYtZKslkhe5fnpi0V0wg5P7snkSu4gWxzb7IyVkhpybkbczpM NZPg== 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=Vd8ynDq6mINsPI5Gz4RV9+4uHWbNW+bip2J1s/5T4vQ=; b=SfUKubHrw4vFMya7rs3CnL1fsFAGKA6X/aEtKomUxJ4P1ZFG9B9D+JUQbIPr+HXtVl hGLLZR7D+ExN66F2uzwuPmMAZ5l0Q7Oqb+HP0BV64pWjqS6VMrDdSJed6pBq/0JPCmPe 2Mku5CEozX3zqeZP46znEK9OXtDd7EPulraeBDNu4jPfLTqMb6rYIOiqwmup5sQXFlHz 4GsVuTGp/vlTvOMYZK/HfY/QrHI83GJzfj41S35dubGN9KsHOFuuhdGBVC4XovAuaThl c1UOjqs055qRKv+xaY0J6VUePtFap2MEmEA+IM4JPFuRforvmetCogPH3tGjg1QeHetE ZQ6w== 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 f9si415960edm.1.2017.10.16.03.21.58 for ; Mon, 16 Oct 2017 03:21:58 -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 C8C102B7E69_9E48845B for ; Mon, 16 Oct 2017 10:21:57 +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 8072B2BC78E_9E48845F for ; Mon, 16 Oct 2017 10:21:57 +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-0000vV-Ft; Mon, 16 Oct 2017 11:21:57 +0100 Received: from EUR02-AM5-obe.outbound.protection.outlook.com (213.199.180.146) 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:57 +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:56 +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:56 +0000 From: Thorsten Altenkirch To: Andrej Bauer 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: AQHTRmiX2jeUen/lsUyeJmmKJObyUA== Date: Mon, 16 Oct 2017 10:21:56 +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:Ng9xrlwarlYYupAEhNWQdtVw3yDF7xf54AUdreL5fEygTQLwic2507iJ5KQhTtq6tL20dQs0IGjLVshR8fspaoZ2CT/W2wxZs+O150NyBnjLlbg0kzJx4/lOry0+eLySxqrPj503ShCheB+SDRHDIlfLegWcUReMxYTvfF2Dl50S/F0dXfkE/mDifZyeaVGm4LBR4cHca9+7d8N6je5fbyteNmvo81BW1DeLk9jGbg+H0536tq6i+1cSh5Lz8x4E15EGIEj239Kr7TnsI9tA/YzE8nXOAzw2WLpeP73a4rYTpfmQ83R7S4kUobwTluGIPCl9hFvbMIgziJMG0Z2Org==;5:CVSH0Ku+wh2IDte0YZ9P03QHHu3a5j8+jFtgfMljTB/3IiWm89YEuY+hw6Jd+G9tbO0Ss7pFkB6i6Ej9ey5k0yZpGCrVdR3RJmQIPoy5ssTVklhUNP4nQtLobPpKOQeel21Qf3QXTJbfxHTQ3SSiEg==;24:NfB0o9nSWEw/op7jZ6rkyfitis0Idd4I4KAZmu+GHpQy+RO9gNBohHQQYfK2MMrvbt8ifodnh2hOhKyz6oMJqTAdDo8qIiMnEwz6u6tk81A=;7:qa9plq3V/7xx7bbWSxK/Zlbb4Ra0vL7CDLZQqywDR2/LubOmQ4eN/R3mB89bP7C4Wx73/SF/gnthV/ULutIqEnotNDwc8YW8I2Dd6knKKdGcqxqIFtxtBWUbnZbKCkeLyqmoyjH+WsJS+Cp3bmpA/er7xFS86/ju5uk90SldebhfdPp6LvE8ErR9U1ofyCAOwEYAnoAJkx1h1Bk9echXELNPBBzGdFR4VfmQ+o6wQ/I= x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: 76f38b23-4777-49e6-c819-08d5147fba60 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:(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)(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)(24454002)(199003)(189002)(102836003)(3846002)(6116002)(99286003)(8936002)(2900100001)(54896002)(53936002)(5660300001)(236005)(6512007)(6306002)(786003)(316002)(68736007)(478600001)(83506001)(5003630100001)(3660700001)(74482002)(6246003)(8676002)(81166006)(58126008)(81156014)(83716003)(86362001)(53546010)(6486002)(82746002)(14454004)(2906002)(189998001)(5250100002)(229853002)(66066001)(25786009)(7736002)(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_FC2058524E5C4CE49284EAC90A9A2A30exmailnottinghamacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Oct 2017 10:21:56.2475 (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_FC2058524E5C4CE49284EAC90A9A2A30exmailnottinghamacuk_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 U2VudCBmcm9tIG15IGlQaG9uZQ0KDQpPbiAxNiBPY3QgMjAxNywgYXQgMDA6NDksIEFuZHJlaiBC YXVlciA8YW5kcmVqLi4uQGFuZHJlai5jb208bWFpbHRvOmFuZHJlai4uLkBhbmRyZWouY29tPj4g d3JvdGU6DQpUaGUgdGhlb3JlbSB0aGF0IGJldGEtcmVkdWN0aW9uIHByZXNlcnZlcyBtYXRjaGlu ZyBicmFja2V0cyBpcyAgbWl4aW5nDQpsZXZlbHMgb2YgYWJzdHJhY3Rpb24gaW4gYmFkIHdheS4g QXMgd2UgYXJlIGhhcHB5IHRvIHJlYXNvbiBhYm91dCB0ZXJtcyBhcw0KdHJlZXMga25vd2luZyB0 aGF0IHdlIGNhbiBwYXJzZSBzdHJpbmdzIGludG8gdHJlZXMsIHdlIHNob3VsZCB0aGluayBhYm91 dA0KaW50cmluc2ljIHRlcm1zICh3aGF0IFRob21hcyBjYWxscyAiZGVyaXZhdGlvbnMiKSBrbm93 aW5nIHRoYXQgYnkgdHlwZQ0KY2hlY2tpbmcgYW5kIHNjb3BlIGNoZWNraW5nIHdlIGNhbiBjb252 ZXJ0IHRyZWVzIGludG8gZGVyaXZhdGlvbnMuDQpBc3NpZ25pbmcgbWVhbmluZyB0byBwdXJlbHkg c3ludGFjdGljIGVudGl0aWVzIGlzIGEgY29uZnVzaW5nIGxldmVscyBvZg0KYWJzdHJhY3Rpb25z IGluIHRoZSBzYW1lIHdheSBhcyB0aGUgbWF0Y2hpbmcgYnJhY2tldHMgdGhlb3JlbS4NCg0KSSBk byBub3QgdW5kZXJzdGFuZCB0aGVzZSByZW1hcmtzLiBEaWQgSSBzYXkgc29tZXdoZXJlIHRoYXQg d2Ugc2hvdWxkDQp3b3JyeSBhYm91dCBtYXRjaGluZyBicmFja2V0cyBpbiBiZXRhLXJlZHVjdGlv bnMsIG9yIHRoYXQgd2Ugc2hvdWxkIGRvDQpzZW1hbnRpY3MgYXQgdGhlIHdyb25nIGxldmVsIG9m IGFic3RyYWN0aW9uPw0KDQpTb3JyeSBpZiB0aGlzIHdhcyBub3QgdmVyeSBjbGVhci4gSSB3YXMg dHJ5aW5nIHRvIG1ha2UgYW4gYW5hbG9neS4gU29tZSBub3ZpY2UgcHJvZ3JhbW1lcnMgc2VlbSB0 byB0aGluayB0aGF0IHN0cmluZ3MgYXJlIHRoZSBvbmx5IGRhdGEgc3RydWN0dXJlLiBGcm9tIHRo aXMgcG9pbnQgb2YgdmlldyB3ZSBtYXkgZGVmaW5lIGJldGEgcmVkdWN0aW9uIGFzIGFuIG9wZXJh dGlvbiBvbiBzdHJpbmdzIGFuZCB0aGVuIHByb3ZlIHRoYXQgaXQgcHJlc2VydmVzIG1hdGNoaW5n IGJyYWNrZXRzLg0KDQpJIGhvcGUgd2UgYWxsIGFncmVlIHRoYXQgdGhpcyBtYWtlcyBsaXR0bGUg c2Vuc2UuIEluc3RlYWQgYmV0YSByZWR1Y3Rpb24gc2hvdWxkIGJlIGRlZmluZWQgb24gdHJlZXMg b3IgZXZlbiBiZXR0ZXIgYWxwaGEtZXF1aXZhbGVuY2UgY2xhc3NlcyBvZiB0cmVlcy4gQW5hbG9n b3VzbHkgd2Ugc2hvdWxkIHRoaW5rIG9mIGRlcml2YXRpb25zIGFuZCBub3QgcHJldGVybXMgd2hl biBzdHVkeWluZyB0aGUgc2VtYW50aWNzIG9mIFR5cGUgVGhlb3J5Lg0KCgoKClRoaXMgbWVzc2Fn ZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3IgdGhlIGFkZHJlc3Nl ZQphbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSBy ZWNlaXZlZCB0aGlzCm1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBzZW5kIGl0IGJhY2sgdG8gbWUs IGFuZCBpbW1lZGlhdGVseSBkZWxldGUgaXQuIAoKUGxlYXNlIGRvIG5vdCB1c2UsIGNvcHkgb3Ig ZGlzY2xvc2UgdGhlIGluZm9ybWF0aW9uIGNvbnRhaW5lZCBpbiB0aGlzCm1lc3NhZ2Ugb3IgaW4g YW55IGF0dGFjaG1lbnQuICBBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2VkIGJ5IHRoZQph dXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QgbmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mg b2YgdGhlClVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4KClRoaXMgbWVzc2FnZSBoYXMgYmVlbiBj aGVja2VkIGZvciB2aXJ1c2VzIGJ1dCB0aGUgY29udGVudHMgb2YgYW4KYXR0YWNobWVudCBtYXkg c3RpbGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxkIGRhbWFnZSB5b3VyCmNv bXB1dGVyIHN5c3RlbSwgeW91IGFyZSBhZHZpc2VkIHRvIHBlcmZvcm0geW91ciBvd24gY2hlY2tz LiBFbWFpbApjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0g bWF5IGJlIG1vbml0b3JlZCBhcwpwZXJtaXR0ZWQgYnkgVUsgbGVnaXNsYXRpb24uCgo= --_000_FC2058524E5C4CE49284EAC90A9A2A30exmailnottinghamacuk_ Content-Type: text/html; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 PGh0bWwgeG1sbnM6bz0idXJuOnNjaGVtYXMtbWljcm9zb2Z0LWNvbTpvZmZpY2U6b2ZmaWNlIiB4 bWxuczp3PSJ1cm46c2NoZW1hcy1taWNyb3NvZnQtY29tOm9mZmljZTp3b3JkIiB4bWxuczptPSJo dHRwOi8vc2NoZW1hcy5taWNyb3NvZnQuY29tL29mZmljZS8yMDA0LzEyL29tbWwiIHhtbG5zPSJo dHRwOi8vd3d3LnczLm9yZy9UUi9SRUMtaHRtbDQwIj4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPG1l dGEgbmFtZT0iVGl0bGUiIGNvbnRlbnQ9IiI+DQo8bWV0YSBuYW1lPSJLZXl3b3JkcyIgY29udGVu dD0iIj4NCjxtZXRhIG5hbWU9IkdlbmVyYXRvciIgY29udGVudD0iTWljcm9zb2Z0IFdvcmQgMTUg KGZpbHRlcmVkIG1lZGl1bSkiPg0KPHN0eWxlPjwhLS0NCi8qIEZvbnQgRGVmaW5pdGlvbnMgKi8N CkBmb250LWZhY2UNCgl7Zm9udC1mYW1pbHk6IkNhbWJyaWEgTWF0aCI7DQoJcGFub3NlLTE6MiA0 IDUgMyA1IDQgNiAzIDIgNDt9DQovKiBTdHlsZSBEZWZpbml0aW9ucyAqLw0KcC5Nc29Ob3JtYWws IGxpLk1zb05vcm1hbCwgZGl2Lk1zb05vcm1hbA0KCXttYXJnaW46MGluOw0KCW1hcmdpbi1ib3R0 b206LjAwMDFwdDsNCglmb250LXNpemU6MTIuMHB0Ow0KCWZvbnQtZmFtaWx5OiJUaW1lcyBOZXcg Um9tYW4iO30NCmE6bGluaywgc3Bhbi5Nc29IeXBlcmxpbmsNCgl7bXNvLXN0eWxlLXByaW9yaXR5 Ojk5Ow0KCWNvbG9yOmJsdWU7DQoJdGV4dC1kZWNvcmF0aW9uOnVuZGVybGluZTt9DQphOnZpc2l0 ZWQsIHNwYW4uTXNvSHlwZXJsaW5rRm9sbG93ZWQNCgl7bXNvLXN0eWxlLXByaW9yaXR5Ojk5Ow0K CWNvbG9yOnB1cnBsZTsNCgl0ZXh0LWRlY29yYXRpb246dW5kZXJsaW5lO30NCnNwYW4uRW1haWxT dHlsZTE3DQoJe21zby1zdHlsZS10eXBlOnBlcnNvbmFsLWNvbXBvc2U7DQoJZm9udC1mYW1pbHk6 Q2FsaWJyaTsNCgljb2xvcjp3aW5kb3d0ZXh0O30NCnNwYW4ubXNvSW5zDQoJe21zby1zdHlsZS10 eXBlOmV4cG9ydC1vbmx5Ow0KCW1zby1zdHlsZS1uYW1lOiIiOw0KCXRleHQtZGVjb3JhdGlvbjp1 bmRlcmxpbmU7DQoJY29sb3I6dGVhbDt9DQouTXNvQ2hwRGVmYXVsdA0KCXttc28tc3R5bGUtdHlw ZTpleHBvcnQtb25seTsNCglmb250LXNpemU6MTAuMHB0O30NCkBwYWdlIFdvcmRTZWN0aW9uMQ0K CXtzaXplOjU5NS4wcHQgODQyLjBwdDsNCgltYXJnaW46MS4waW4gMS4waW4gMS4waW4gMS4waW47 fQ0KZGl2LldvcmRTZWN0aW9uMQ0KCXtwYWdlOldvcmRTZWN0aW9uMTt9DQotLT48L3N0eWxlPg0K PC9oZWFkPg0KPGJvZHkgYmdjb2xvcj0id2hpdGUiIGxhbmc9IkVOLUdCIiBsaW5rPSJibHVlIiB2 bGluaz0icHVycGxlIj4NCjxkaXYgY2xhc3M9IldvcmRTZWN0aW9uMSI+DQo8cCBjbGFzcz0iTXNv Tm9ybWFsIj5TZW50IGZyb20gbXkgaVBob25lPG86cD48L286cD48L3A+DQo8ZGl2Pg0KPHAgY2xh c3M9Ik1zb05vcm1hbCIgc3R5bGU9Im1hcmdpbi1ib3R0b206MTIuMHB0Ij48YnI+DQpPbiAxNiBP Y3QgMjAxNywgYXQgMDA6NDksIEFuZHJlaiBCYXVlciAmbHQ7PGEgaHJlZj0ibWFpbHRvOmFuZHJl ai4uLkBhbmRyZWouY29tIj5hbmRyZWouLi5AYW5kcmVqLmNvbTwvYT4mZ3Q7IHdyb3RlOjxvOnA+ PC9vOnA+PC9wPg0KPC9kaXY+DQo8YmxvY2txdW90ZSBzdHlsZT0ibWFyZ2luLXRvcDo1LjBwdDtt YXJnaW4tYm90dG9tOjUuMHB0Ij4NCjxkaXY+DQo8YmxvY2txdW90ZSBzdHlsZT0ibWFyZ2luLXRv cDo1LjBwdDttYXJnaW4tYm90dG9tOjUuMHB0Ij4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPlRoZSB0 aGVvcmVtIHRoYXQgYmV0YS1yZWR1Y3Rpb24gcHJlc2VydmVzIG1hdGNoaW5nIGJyYWNrZXRzIGlz ICZuYnNwO21peGluZzxvOnA+PC9vOnA+PC9wPg0KPC9ibG9ja3F1b3RlPg0KPGJsb2NrcXVvdGUg c3R5bGU9Im1hcmdpbi10b3A6NS4wcHQ7bWFyZ2luLWJvdHRvbTo1LjBwdCI+DQo8cCBjbGFzcz0i TXNvTm9ybWFsIj5sZXZlbHMgb2YgYWJzdHJhY3Rpb24gaW4gYmFkIHdheS4gQXMgd2UgYXJlIGhh cHB5IHRvIHJlYXNvbiBhYm91dCB0ZXJtcyBhczxvOnA+PC9vOnA+PC9wPg0KPC9ibG9ja3F1b3Rl Pg0KPGJsb2NrcXVvdGUgc3R5bGU9Im1hcmdpbi10b3A6NS4wcHQ7bWFyZ2luLWJvdHRvbTo1LjBw dCI+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj50cmVlcyBrbm93aW5nIHRoYXQgd2UgY2FuIHBhcnNl IHN0cmluZ3MgaW50byB0cmVlcywgd2Ugc2hvdWxkIHRoaW5rIGFib3V0PG86cD48L286cD48L3A+ DQo8L2Jsb2NrcXVvdGU+DQo8YmxvY2txdW90ZSBzdHlsZT0ibWFyZ2luLXRvcDo1LjBwdDttYXJn aW4tYm90dG9tOjUuMHB0Ij4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPmludHJpbnNpYyB0ZXJtcyAo d2hhdCBUaG9tYXMgY2FsbHMgJnF1b3Q7ZGVyaXZhdGlvbnMmcXVvdDspIGtub3dpbmcgdGhhdCBi eSB0eXBlPG86cD48L286cD48L3A+DQo8L2Jsb2NrcXVvdGU+DQo8YmxvY2txdW90ZSBzdHlsZT0i bWFyZ2luLXRvcDo1LjBwdDttYXJnaW4tYm90dG9tOjUuMHB0Ij4NCjxwIGNsYXNzPSJNc29Ob3Jt YWwiPmNoZWNraW5nIGFuZCBzY29wZSBjaGVja2luZyB3ZSBjYW4gY29udmVydCB0cmVlcyBpbnRv IGRlcml2YXRpb25zLjxvOnA+PC9vOnA+PC9wPg0KPC9ibG9ja3F1b3RlPg0KPGJsb2NrcXVvdGUg c3R5bGU9Im1hcmdpbi10b3A6NS4wcHQ7bWFyZ2luLWJvdHRvbTo1LjBwdCI+DQo8cCBjbGFzcz0i TXNvTm9ybWFsIj5Bc3NpZ25pbmcgbWVhbmluZyB0byBwdXJlbHkgc3ludGFjdGljIGVudGl0aWVz IGlzIGEgY29uZnVzaW5nIGxldmVscyBvZjxvOnA+PC9vOnA+PC9wPg0KPC9ibG9ja3F1b3RlPg0K PGJsb2NrcXVvdGUgc3R5bGU9Im1hcmdpbi10b3A6NS4wcHQ7bWFyZ2luLWJvdHRvbTo1LjBwdCI+ DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj5hYnN0cmFjdGlvbnMgaW4gdGhlIHNhbWUgd2F5IGFzIHRo ZSBtYXRjaGluZyBicmFja2V0cyB0aGVvcmVtLjxvOnA+PC9vOnA+PC9wPg0KPC9ibG9ja3F1b3Rl Pg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+PGJyPg0KSSBkbyBub3QgdW5kZXJzdGFuZCB0aGVzZSBy ZW1hcmtzLiBEaWQgSSBzYXkgc29tZXdoZXJlIHRoYXQgd2Ugc2hvdWxkPGJyPg0Kd29ycnkgYWJv dXQgbWF0Y2hpbmcgYnJhY2tldHMgaW4gYmV0YS1yZWR1Y3Rpb25zLCBvciB0aGF0IHdlIHNob3Vs ZCBkbzxicj4NCnNlbWFudGljcyBhdCB0aGUgd3JvbmcgbGV2ZWwgb2YgYWJzdHJhY3Rpb24/PG86 cD48L286cD48L3A+DQo8L2Rpdj4NCjwvYmxvY2txdW90ZT4NCjxwIGNsYXNzPSJNc29Ob3JtYWwi PjxvOnA+Jm5ic3A7PC9vOnA+PC9wPg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPlNvcnJ5 IGlmIHRoaXMgd2FzIG5vdCB2ZXJ5IGNsZWFyLiBJIHdhcyB0cnlpbmcgdG8gbWFrZSBhbiBhbmFs b2d5LiBTb21lIG5vdmljZSBwcm9ncmFtbWVycyBzZWVtIHRvIHRoaW5rIHRoYXQgc3RyaW5ncyBh cmUgdGhlIG9ubHkgZGF0YSBzdHJ1Y3R1cmUuIEZyb20gdGhpcyBwb2ludCBvZiB2aWV3IHdlIG1h eSBkZWZpbmUgYmV0YSByZWR1Y3Rpb24gYXMgYW4gb3BlcmF0aW9uIG9uIHN0cmluZ3MgYW5kIHRo ZW4NCiBwcm92ZSB0aGF0IGl0IHByZXNlcnZlcyBtYXRjaGluZyBicmFja2V0cy48bzpwPjwvbzpw PjwvcD4NCjwvZGl2Pg0KPGRpdj4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPjxvOnA+Jm5ic3A7PC9v OnA+PC9wPg0KPC9kaXY+DQo8ZGl2Pg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4gc3R5bGU9 Im1zby1mYXJlYXN0LWxhbmd1YWdlOkVOLVVTIj5JIGhvcGUgd2UgYWxsIGFncmVlIHRoYXQgdGhp cyBtYWtlcyBsaXR0bGUgc2Vuc2UuIEluc3RlYWQgYmV0YSByZWR1Y3Rpb24gc2hvdWxkIGJlIGRl ZmluZWQgb24gdHJlZXMgb3IgZXZlbiBiZXR0ZXIgYWxwaGEtZXF1aXZhbGVuY2UgY2xhc3NlcyBv ZiB0cmVlcy4gQW5hbG9nb3VzbHkgd2Ugc2hvdWxkIHRoaW5rIG9mIGRlcml2YXRpb25zIGFuZA0K IG5vdCBwcmV0ZXJtcyB3aGVuIHN0dWR5aW5nIHRoZSBzZW1hbnRpY3Mgb2YgVHlwZSBUaGVvcnku PG86cD48L286cD48L3NwYW4+PC9wPg0KPC9kaXY+DQo8L2Rpdj4NCjxQUkU+CgoKVGhpcyBtZXNz YWdlIGFuZCBhbnkgYXR0YWNobWVudCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVz c2VlCmFuZCBtYXkgY29udGFpbiBjb25maWRlbnRpYWwgaW5mb3JtYXRpb24uIElmIHlvdSBoYXZl IHJlY2VpdmVkIHRoaXMKbWVzc2FnZSBpbiBlcnJvciwgcGxlYXNlIHNlbmQgaXQgYmFjayB0byBt ZSwgYW5kIGltbWVkaWF0ZWx5IGRlbGV0ZSBpdC4gCgpQbGVhc2UgZG8gbm90IHVzZSwgY29weSBv ciBkaXNjbG9zZSB0aGUgaW5mb3JtYXRpb24gY29udGFpbmVkIGluIHRoaXMKbWVzc2FnZSBvciBp biBhbnkgYXR0YWNobWVudC4gIEFueSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQgYnkgdGhl CmF1dGhvciBvZiB0aGlzIGVtYWlsIGRvIG5vdCBuZWNlc3NhcmlseSByZWZsZWN0IHRoZSB2aWV3 cyBvZiB0aGUKVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLgoKVGhpcyBtZXNzYWdlIGhhcyBiZWVu IGNoZWNrZWQgZm9yIHZpcnVzZXMgYnV0IHRoZSBjb250ZW50cyBvZiBhbgphdHRhY2htZW50IG1h eSBzdGlsbCBjb250YWluIHNvZnR3YXJlIHZpcnVzZXMgd2hpY2ggY291bGQgZGFtYWdlIHlvdXIK Y29tcHV0ZXIgc3lzdGVtLCB5b3UgYXJlIGFkdmlzZWQgdG8gcGVyZm9ybSB5b3VyIG93biBjaGVj a3MuIEVtYWlsCmNvbW11bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hh bSBtYXkgYmUgbW9uaXRvcmVkIGFzCnBlcm1pdHRlZCBieSBVSyBsZWdpc2xhdGlvbi4KPC9QUkU+ PC9ib2R5Pg0KPC9odG1sPg0K --_000_FC2058524E5C4CE49284EAC90A9A2A30exmailnottinghamacuk_--