From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:aa7:c24c:: with SMTP id y12-v6mr2794692edo.11.1529003764621; Thu, 14 Jun 2018 12:16:04 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aa7:c247:: with SMTP id y7-v6ls3300356edo.2.gmail; Thu, 14 Jun 2018 12:16:03 -0700 (PDT) X-Received: by 2002:aa7:d806:: with SMTP id v6-v6mr2799394edq.3.1529003763492; Thu, 14 Jun 2018 12:16:03 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1529003763; cv=none; d=google.com; s=arc-20160816; b=vgOBRwb/fTKWSr1Y6emEM/ld60lTM1bMWNsASEz5/RRhy3ii7svP3j4l4m9sg85Jed 4/t3bmg8f+Xfj/iKMNZfGPPFYuEFJvCvsiwO8RgQiJ0xEyhahcVNVb5t8J3GvhjVzHzP I1qiLxhWZqlK6wrGCy26TRNfxxjWmPt2mlVf2ZQ3rvhBSGc73ZEhSubt2UxaoMWN+Sho yRdYgPOrNdAcmKk9Hl2L6bEk0DC/9lrjcUi1klSGTlE6jYDFXSK2BYu+JUpSRnE5ZrBY KWcFCCpl4yX37N8D1IMkZPwCOHWIBSunHujjnTVI7VjMjZjrzkiHIdL+u26MBnKmmIfb 5JTw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:in-reply-to :references:message-id:date:thread-index:thread-topic:subject:cc:to :from:arc-authentication-results; bh=ztQHq5eZB+GOeqGeMAC55yVGkPGMnpZ+wh6qZrIUK+U=; b=xE28hC0ZXekbRMagNCIpdgeWr1m8LSNMtICO4dg7nYWa2ghJOhUezM7Fo1hm5bQnLI pbW9o9+P1T70/2glE3zBngeSTP8bhMZY98Crq+QmhiuVzD/wfpYXzgAFwoDranLweaW5 c1bHc7TzZn3l22uiwjUYqq2e9uf1mT38V9tz0E+pgxJHgoClfRGRlJ4l+1+YcVVWoM0k X6QfKPh4fwXGiwCGvhtYBZ9nWJViyHvVzoSb12RUFV+9g7cFZ24xIY4qDCJI+V3hTKco r6y8LvQlZGeseoa3h1k7sYmDEQMHnPzcPhng4AtRB8FcZaQeyvTHdy6h1h8Lcy6ETMqe srwQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=neutral (google.com: 129.16.226.134 is neither permitted nor denied by best guess record for domain of thierry...@cse.gu.se) smtp.mailfrom=Thierry...@cse.gu.se Return-Path: Received: from martell.ita.chalmers.se (martell.ita.chalmers.se. [129.16.226.134]) by gmr-mx.google.com with ESMTPS id k6-v6si219582edn.1.2018.06.14.12.16.03 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Thu, 14 Jun 2018 12:16:03 -0700 (PDT) Received-SPF: neutral (google.com: 129.16.226.134 is neither permitted nor denied by best guess record for domain of thierry...@cse.gu.se) client-ip=129.16.226.134; Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 129.16.226.134 is neither permitted nor denied by best guess record for domain of thierry...@cse.gu.se) smtp.mailfrom=Thierry...@cse.gu.se Received: from tyrell.ita.chalmers.se (129.16.226.132) by martell.ita.chalmers.se (129.16.226.134) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.1.1415.2; Thu, 14 Jun 2018 21:16:03 +0200 Received: from tyrell.ita.chalmers.se ([129.16.226.132]) by tyrell.ita.chalmers.se ([129.16.226.132]) with mapi id 15.01.1415.007; Thu, 14 Jun 2018 21:16:03 +0200 From: Thierry Coquand To: Richard Williamson CC: Homotopy Theory Subject: Re: [HoTT] Quillen model structure Thread-Topic: [HoTT] Quillen model structure Thread-Index: AQHUAL9Ry0bcZbw0zkWZsmcLpIYFO6Rf+yyAgAAKEYA= Date: Thu, 14 Jun 2018 19:16:02 +0000 Message-ID: <4B5790D8-1F4C-4964-86E5-4E77B07DD3BD@chalmers.se> References: <20180614183959.GA1401@richard.richard> In-Reply-To: <20180614183959.GA1401@richard.richard> Accept-Language: en-US, sv-SE Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [129.16.10.245] Content-Type: multipart/alternative; boundary="_000_4B5790D81F4C496486E54E77B07DD3BDchalmersse_" MIME-Version: 1.0 --_000_4B5790D81F4C496486E54E77B07DD3BDchalmersse_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 DQpEZWFyIFJpY2hhcmQsDQoNCiBUaGUgbW9kZWwgc3RydWN0dXJlIGlzICBub3QgZHVlIHRvIG1l IGJ1dCB0byBDaHJpc3RpYW4gU2F0dGxlciwgYW5kIGlzIGV4cGxhaW5lZCBpbiBTZWN0aW9uIDIN Cm9mDQoNCiBodHRwczovL2FyeGl2Lm9yZy9wZGYvMTcwNC4wNjkxMQ0KDQood2hlcmUgSSBkaWQg c29tZSBqb2ludCB3b3JrIGlzIGluIHRoZSBjb25zdHJ1Y3RpdmUgYXJndW1lbnQgdGhhdCB3ZSBo YXZlIGZpYnJhbnQgdW5pdmVyc2VzKS4NCg0KQ2lzaW5za2kgZGVmaW5lcyBpbiBoaXMgYm9vayBh IG1vZGVsIHN0cnVjdHVyZSBvbiBwcmVzaGVhdmVzIHdoZXJlIGNvZmlicmF0aW9ucw0KYXJlIG1v bm9zLiBJbiBvcmRlciB0byBkZWZpbmUgdGhlIG1vZGVsIHN0cnVjdHVyZSwgb25lIG5lZWRzIGEg 4oCcY3lsaW5kcmUgZm9uY3RvcmllbOKAnQ0KdGhhdCB3ZSBjYW4gZGVmaW5lIGZyb20gYSDigJxz ZWdtZW504oCdICBJSSAoYSBwcmVzaGVhZiB3aXRoIHR3byBnbG9iYWwgZGlzdGluY3QgZWxlbWVu dHMgMCBhbmQgMSkNCkV4ZW1wbGUgMS4zLjguIFdlIGZ1cnRoZXIgbmVlZCBhIOKAnGRvbm5lZSBo b21vdG9waXF1ZeKAnSAgRGVmaW5pdGlvbiAxLjMuMTQsIGdpdmVuIGJ5IGENCnNldCBvZiBtb25v bW9ycGhpc20gUy4gV2Ugb25seSBjb25zaWRlciBoZXJlIHRoZSBsZWFzdCBjYXNlIHdoZXJlIFMg PSBlbXB0eSBzZXQuIEZyb20NCnRoaXMgd2UgY2FuIGRlZmluZSBhIG5vdGlvbiBvZiBhbm9keW5l IG1hcC4NCkdpdmVuIElJIGFuZCBTLCBDaXNpbnNraSBleHBsYWlucyB0aGVuIGhvdyB0byBkZWZp bmUgYSBRdWlsbGVuIG1vZGVsIHN0cnVjdHVyZSBUaGVvcmVtIDEuMy4yMg0Kd2hlcmUNCg0KIC10 aGUgY29maWJyYXRpb25zIGFyZSB0aGUgbW9ub21vcnBoaXNtDQogLXRoZSBhbm9keW5lIG1hcHMg YXJlIGdlbmVyYXRlZCBieSBvcGVuIGJveCBpbmNsdXNpb24sIEEgeCBJSSBcY3VwIEIgeCBiIC0+ IEIgeCBJSSBmb3IgQSAtPiBCDQptb25vIGFuZCBiID0gMCwxDQogLXRoZSBmaWJyYW50IG9iamVj dHMgYXJlIHRoZSBvbmVzIGhhdmluZyB0aGUgZXh0ZW5zaW9uIHByb3BlcnR5IHcuci50LiBhbm9k eW5lIG1hcHMNCiAtdGhlIC1uYWl2ZS0gZmlicmF0aW9ucyBhcmUgdGhlIG1hcHMgaGF2aW5nIHRo ZSByaWdodCBsaWZ0aW5nIHByb3BlcnRpZXMgdy5yLnQuIGFub2R5bmUgbWFwcw0KKHNvIGEgbWFw IFggLT4gMSBpcyBhIG5haXZlIGZpYnJhdGlvbiBpZmYgWCBpZiBmaWJyYW50KQ0KIC10aGUgd2Vh ayBlcXVpdmFsZW5jZSBhcmUgdGhlIG1hcHMgQSAtPiBCIHN1Y2ggdGhhdCBmb3IgYW55IGZpYnJh bnQgWCwgdGhlIG1hcA0KWF5CIC0+IFheQSBpcyBhIGhvbW90b3B5IGVxdWl2YWxlbmNlICh3LnIu dC4gdGhlIGNob2ljZSBvZiB0aGUgaW50ZXJ2YWwgSUkpDQogLXRoZSBmaWJyYXRpb25zIGFyZSB0 aGUgbWFwcyBoYXZpbmcgdGhlIHJpZ2h0IGxpZnRpbmcgcHJvcGVydGllcyB3LnIudC4gbWFwcyB0 aGF0IGFyZSBtb25vcw0KYW5kIHdlYWsgZXF1aXZhbGVuY2UNCg0KIFcuci50LiB0aGUgc2xpZGVz IGF0DQoNCmh0dHA6Ly91d28uY2EvbWF0aC9mYWN1bHR5L2thcHVsa2luL3NlbWluYXJzL2hvdHRl c3RmaWxlcy9Db3F1YW5kLTIwMTgtMDUtMjQtSG9UVEVTVC5wZGYNCg0KaWYgd2UgbGltaXQgb3Vy c2VsdmVzIHRvIHRoZSBjYXNlIHdoZXJlIHRoZSBiYXNlIGNhdGVnb3J5IGlzIHRoZSBMYXd2ZXJl IHRoZW9yeSBvZg0KZGlzdHJpYnV0aXZlIGxhdHRpY2VzLCBvciBkZSBNb3JnYW4gYWxnZWJyYSwg b3IgQm9vbGVhbiBhbGdlYnJhIGFuZCB3ZSB0YWtlIHRoZSBmaWJyYXRpb25zDQphcyBkZWZpbmVk IHBhZ2UgMTMsIHdlIGdldCB0aGUgc2FtZSBub3Rpb24gYXMgQ2lzaW5za2kgLW5haXZlLSBmaWJy YXRpb25zLg0KDQogSXQgZm9sbG93cyBmcm9tIFNlY3Rpb24gMiBvZiBDaHJpc3RpYW7igJlzIHBh cGVyIGFib3ZlIHRoYXQgd2UgYWxzbyBnZXQgYSBtb2RlbCBzdHJ1Y3R1cmUNCmhhdmluZyBleGFj dGx5IHRoaXMgbm90aW9uIG9mIGZpYnJhdGlvbiAoYW5kIHdoZXJlIGNvZmlicmF0aW9ucyBhcmUg bW9ub3MpLg0KDQogV2UgdGhlbiBoYXZlIGEgcHJpb3JpIHR3byBtb2RlbCBzdHJ1Y3R1cmVzIG9u IHRoZXNlIHByZXNoZWF2ZXMuDQogVGhleSBoYXZlIHRoZSBzYW1lIG5vdGlvbg0Kb2YgZmlicmFu dCBvYmplY3RzIGFuZCBjb2ZpYnJhdGlvbnMuIEl0IGZvbGxvd3MgdGhlbiBmcm9tIEFuZHLDqSBK b3lhbOKAmXMgcmVzdWx0DQooUmllaGwgQ2F0ZWdvcmljYWwgTW9kZWwgVGhlb3J5LCBUaGVvcmVt IDE1LjMuMSkgdGhhdCB3ZSBhY3R1YWxseSB0aGUgLXNhbWUtIG1vZGVsDQpzdHJ1Y3R1cmUuDQoN CiBJdCB0aGVuIGZvbGxvd3MgdGhhdCBpbiB0aGVzZSBjYXNlcywgdGhlIENpc2luc2tpIG1vZGVs IHN0cnVjdHVyZSBpcyAtY29tcGxldGUtDQooRGVmaW5pdGlvbiAxLjMuNDgpLg0KDQogSW4gdGhl IGNhc2Ugb2YgZGUgTW9yZ2FuIGFsZ2VicmEsIG9yIGRpc3RyaWJ1dGl2ZSBsYXR0aWNlLCB3ZSBo YXZlIGEgZ2VvbWV0cmljIHJlYWxpc2F0aW9uIG1hcC4NCkhvd2V2ZXIgaW4gdGhlIGNhc2Ugb2Yg ZGUgTW9yZ2FuIGFsZ2VicmEsIHdlIGRvbuKAmXQgaGF2ZSB0aGF0IHRoaXMgbWFwIGlzIGEgUXVp bGxlbiBlcXVpdmFsZW5jZQ0KYXMgc2hvd24gYnkgQ2hyaXN0aWFuOiBpZiB3ZSB0YWtlIEwgdG8g YmUgdGhlIHF1b3RpZW50IG9mIElJIGJ5IHRoZSBkZSBNb3JnYW4gcmV2ZXJzYWwgb3BlcmF0aW9u DQp0aGVuIHRoZSBnZW9tZXRyaWMgcmVhbGlzYXRpb24gb2YgTCBpcyBjb250cmFjdGlibGUsIGJ1 dCBpdCBjYW4gYmUgc2hvd24gdGhhdCB0aGUgbWFwIEwgLT4gMQ0KaXMgbm90IGFuIGVxdWl2YWxl bmNlIGZvciBDaXNpbnNraSAoPSBDaHJpc3RpYW4gaW4gdGhpcyBjYXNlKSBtb2RlbCBzdHJ1Y3R1 cmUuDQoNCiBJdCBpcyBhbiBvcGVuIHByb2JsZW0gd2hhdCBoYXBwZW5zIGZvciBkaXN0cmlidXRp dmUgbGF0dGljZXMuDQoNCiBJIGFtIG5vdCBhIHNwZWNpYWxpc3Qgb2YgdGVzdCBjYXRlZ29yaWVz IGJ1dCBteSB1bmRlcnN0YW5kaW5nIGlzIHRoYXQgYWxsIHRoZXNlIGNhdGVnb3JpZXMNCihMYXd2 ZXJlIHRoZW9yeSBvZiBkaXN0cmlidXRpdmUgbGF0dGljZXMsIGRlIE1vcmdhbiBhbGdlYnJhLCBh bGdlYnJhIHdpdGggdHdvIGNvbnN0YW50cyAwLDEpDQphcmUgdGVzdCBjYXRlZ29yaWVzLCBidXQg aXQgaXMgbm90IGNsZWFyIGlmIHRoZSBnZW5lcmFsIG5vdGlvbiBvZiB3ZWFrIGVxdWl2YWxlbmNl IHdlIGdldA0KZnJvbSB0aGUgdGhlb3J5IG9mIHRlc3QgY2F0ZWdvcnkgY29pbmNpZGUgd2l0aCB0 aGUgb25lIG9mIENpc2luc2tpIG1vZGVsIHN0cnVjdHVyZQ0KKGFuZCBpbmRlZWQgaXQgd2lsbCBu b3QgY29pbmNpZGUgZm9yIGRlIE1vcmdhbiBhbGdlYnJhIGFuZCBCb29sZWFuIGFsZ2VicmEsIGFu ZCB0aGlzDQppcyBvcGVuIGZvciBkaXN0cmlidXRpdmUgbGF0dGljZXMpLA0KDQogQmVzdCByZWdh cmRzLA0KIFRoaWVycnkNCg0KDQoNCg0KDQoNCg0KDQpPbiAxNCBKdW4gMjAxOCwgYXQgMjA6Mzks IFJpY2hhcmQgV2lsbGlhbXNvbiA8cndpbGxpLi4uQGdtYWlsLmNvbTxtYWlsdG86cndpbGxpLi4u QGdtYWlsLmNvbT4+IHdyb3RlOg0KDQpEZWFyIFRoaWVycnksDQoNCkZvcmdpdmUgbWUgZm9yIG5v dCBxdWl0ZSBoYXZpbmcgYW4gb3ZlcnZpZXcgb2YgZXhhY3RseSB3aGF0IGhhcw0KYmVlbiBkb25l LiBNeSBpbnRlcmVzdCBoZXJlIGlzIGluIGhvdyB0aGUgbW9kZWwgc3RydWN0dXJlIHlvdQ0KaGF2 ZSBjb25zdHJ1Y3RlZCBjb21wYXJlcyB3aXRoIENpc2luc2tpJ3Mgd29yay4gRm9yIGV4YW1wbGUs IEkNCndvdWxkIGV4cGVjdCB0aGF0IHRoZSBjYXRlZ29yeSBvZiBjYXJ0ZXNpYW4gY3ViaWNhbCBz ZXRzIGlzIGENCnRlc3QgY2F0ZWdvcnkuIEluZGVlZCwgSSB3b3VsZCBleHBlY3QgdGhhdCBtb3Jl IG9yIGxlc3MgZXhhY3RseQ0KdGhlIHNhbWUgdGVjaG5pcXVlIGFzIGluIDguNCBvZiBMZXMgcHLD qWZhaXNjZWF1eCBjb21tZSAuLi4gZ29lcw0KdGhyb3VnaCB0byBwcm92ZSB0aGlzLiBBbmQgSSB3 b3VsZCBleHBlY3QgdGhhdCBvbmUgY2FuIHB1dCBhDQptb2RlbCBzdHJ1Y3R1cmUgb24gaW4gdGhl IHNhbWUgd2F5Lg0KDQpOb3csIEkgYmVsaWV2ZSBJIHNhdyBpbiBzb21lIHNsaWRlcyB0aGF0IHRo YXQgeW91ciBtb2RlbA0Kc3RydWN0dXJlIGNvaW5jaWRlcyB3aXRoIHRoZSBDaXNpbnNraSBvbmUu IEJ1dCB0aGlzIGRvZXMgbm90IHNlZW0NCmNvbXBhdGlibGUgd2l0aCBteSBleHBlY3RhdGlvbnMg YWJvdmUsIGJlY2F1c2UgdGhlbiBpdCBpcw0KY2VydGFpbmx5IFF1aWxsZW4gZXF1aXZhbGVudCB0 byB0aGUgU2VycmUgbW9kZWwgc3RydWN0dXJlIG9uDQp0b3BvbG9naWNhbCBzcGFjZXMgKG9yIHdo YXRldmVyKS4NCg0KVGh1cyBteSBxdWVzdGlvbnM6DQoNCjEpIEhhdmUgSSBtaXNpbnRlcnByZXRl ZCB0aGUgc2xpZGVzIG9yIHNvbWUgb3RoZXIgYXNwZWN0IG9mIHlvdXINCndvcms/DQoNCjIpIElm IG5vdCwgd2hlcmUgZXhhY3RseSBkbyBDaXNpbnNraSdzIHRlY2huaXF1ZXMgZmFpbD8NCg0KQmVz dCB3aXNoZXMsDQpSaWNoYXJkDQoNCg== --_000_4B5790D81F4C496486E54E77B07DD3BDchalmersse_ Content-Type: text/html; charset="utf-8" Content-ID: <7559CFC72794E44C...@chalmers.se> Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJ3b3JkLXdy YXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0 ZXItd2hpdGUtc3BhY2U7IiBjbGFzcz0iIj4NCjxkaXYgY2xhc3M9IiI+PGJyIGNsYXNzPSIiPg0K PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPkRlYXIgUmljaGFyZCw8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+ PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPiZuYnNwO1RoZSBtb2RlbCBzdHJ1 Y3R1cmUgaXMgJm5ic3A7bm90IGR1ZSB0byBtZSBidXQgdG8gQ2hyaXN0aWFuIFNhdHRsZXIsIGFu ZCBpcyBleHBsYWluZWQgaW4gU2VjdGlvbiAyPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPm9mPC9kaXY+ DQo8ZGl2IGNsYXNzPSIiPiZuYnNwOyZuYnNwOzwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDs8 YSBocmVmPSJodHRwczovL2FyeGl2Lm9yZy9wZGYvMTcwNC4wNjkxMSIgY2xhc3M9IiI+aHR0cHM6 Ly9hcnhpdi5vcmcvcGRmLzE3MDQuMDY5MTE8L2E+PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBj bGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4od2hlcmUgSSBkaWQgc29tZSBqb2ludCB3 b3JrIGlzIGluIHRoZSBjb25zdHJ1Y3RpdmUgYXJndW1lbnQgdGhhdCB3ZSBoYXZlIGZpYnJhbnQg dW5pdmVyc2VzKS48L2Rpdj4NCjxkaXYgY2xhc3M9IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8 ZGl2IGNsYXNzPSIiPkNpc2luc2tpIGRlZmluZXMgaW4gaGlzIGJvb2sgYSBtb2RlbCBzdHJ1Y3R1 cmUgb24gcHJlc2hlYXZlcyB3aGVyZSBjb2ZpYnJhdGlvbnM8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+ YXJlIG1vbm9zLiBJbiBvcmRlciB0byBkZWZpbmUgdGhlIG1vZGVsIHN0cnVjdHVyZSwgb25lIG5l ZWRzIGEg4oCcY3lsaW5kcmUgZm9uY3RvcmllbOKAnTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj50aGF0 IHdlIGNhbiBkZWZpbmUgZnJvbSBhIOKAnHNlZ21lbnTigJ0gJm5ic3A7SUkgKGEgcHJlc2hlYWYg d2l0aCB0d28gZ2xvYmFsIGRpc3RpbmN0IGVsZW1lbnRzIDAgYW5kIDEpPC9kaXY+DQo8ZGl2IGNs YXNzPSIiPkV4ZW1wbGUgMS4zLjguIFdlIGZ1cnRoZXIgbmVlZCBhIOKAnGRvbm5lZSBob21vdG9w aXF1ZeKAnSAmbmJzcDtEZWZpbml0aW9uIDEuMy4xNCwgZ2l2ZW4gYnkgYTwvZGl2Pg0KPGRpdiBj bGFzcz0iIj5zZXQgb2YgbW9ub21vcnBoaXNtIFMuIFdlIG9ubHkgY29uc2lkZXIgaGVyZSB0aGUg bGVhc3QgY2FzZSB3aGVyZSBTID0gZW1wdHkgc2V0LiBGcm9tJm5ic3A7PC9kaXY+DQo8ZGl2IGNs YXNzPSIiPnRoaXMgd2UgY2FuIGRlZmluZSBhIG5vdGlvbiBvZiBhbm9keW5lIG1hcC48L2Rpdj4N CjxkaXYgY2xhc3M9IiI+R2l2ZW4gSUkgYW5kIFMsIENpc2luc2tpIGV4cGxhaW5zIHRoZW4gaG93 IHRvIGRlZmluZSBhIFF1aWxsZW4gbW9kZWwgc3RydWN0dXJlIFRoZW9yZW0gMS4zLjIyPC9kaXY+ DQo8ZGl2IGNsYXNzPSIiPndoZXJlPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4N CjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDstdGhlIGNvZmlicmF0aW9ucyBhcmUgdGhlIG1v bm9tb3JwaGlzbTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDstdGhlIGFub2R5bmUgbWFwcyBh cmUgZ2VuZXJhdGVkIGJ5IG9wZW4gYm94IGluY2x1c2lvbiwgQSB4IElJIFxjdXAgQiB4IGIgLSZn dDsgQiB4IElJIGZvciBBIC0mZ3Q7IEI8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+bW9ubyBhbmQgYiA9 IDAsMTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDstdGhlIGZpYnJhbnQgb2JqZWN0cyBhcmUg dGhlIG9uZXMgaGF2aW5nIHRoZSBleHRlbnNpb24gcHJvcGVydHkgdy5yLnQuIGFub2R5bmUgbWFw czwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDstdGhlIC1uYWl2ZS0gZmlicmF0aW9ucyBhcmUg dGhlIG1hcHMgaGF2aW5nIHRoZSByaWdodCBsaWZ0aW5nIHByb3BlcnRpZXMgdy5yLnQuIGFub2R5 bmUgbWFwczwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4oc28gYSBtYXAgWCAtJmd0OyAxIGlzIGEgbmFp dmUgZmlicmF0aW9uIGlmZiBYIGlmIGZpYnJhbnQpPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPiZuYnNw Oy10aGUgd2VhayBlcXVpdmFsZW5jZSBhcmUgdGhlIG1hcHMgQSAtJmd0OyBCIHN1Y2ggdGhhdCBm b3IgYW55IGZpYnJhbnQgWCwgdGhlIG1hcDwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5YXkIgLSZndDsg WF5BIGlzIGEgaG9tb3RvcHkgZXF1aXZhbGVuY2UgKHcuci50LiB0aGUgY2hvaWNlIG9mIHRoZSBp bnRlcnZhbCBJSSk8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+Jm5ic3A7LXRoZSBmaWJyYXRpb25zIGFy ZSB0aGUgbWFwcyBoYXZpbmcgdGhlIHJpZ2h0IGxpZnRpbmcgcHJvcGVydGllcyB3LnIudC4gbWFw cyB0aGF0IGFyZSBtb25vczwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5hbmQgd2VhayBlcXVpdmFsZW5j ZSZuYnNwOzwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYg Y2xhc3M9IiI+Jm5ic3A7Vy5yLnQuIHRoZSBzbGlkZXMgYXQmbmJzcDs8L2Rpdj4NCjxkaXYgY2xh c3M9IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxhIGhyZWY9Imh0dHA6 Ly91d28uY2EvbWF0aC9mYWN1bHR5L2thcHVsa2luL3NlbWluYXJzL2hvdHRlc3RmaWxlcy9Db3F1 YW5kLTIwMTgtMDUtMjQtSG9UVEVTVC5wZGYiIGNsYXNzPSIiPmh0dHA6Ly91d28uY2EvbWF0aC9m YWN1bHR5L2thcHVsa2luL3NlbWluYXJzL2hvdHRlc3RmaWxlcy9Db3F1YW5kLTIwMTgtMDUtMjQt SG9UVEVTVC5wZGY8L2E+PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2 Pg0KPGRpdiBjbGFzcz0iIj5pZiB3ZSBsaW1pdCBvdXJzZWx2ZXMgdG8gdGhlIGNhc2Ugd2hlcmUg dGhlIGJhc2UgY2F0ZWdvcnkgaXMgdGhlIExhd3ZlcmUgdGhlb3J5IG9mPC9kaXY+DQo8ZGl2IGNs YXNzPSIiPmRpc3RyaWJ1dGl2ZSBsYXR0aWNlcywgb3IgZGUgTW9yZ2FuIGFsZ2VicmEsIG9yIEJv b2xlYW4gYWxnZWJyYSBhbmQgd2UgdGFrZSB0aGUgZmlicmF0aW9uczwvZGl2Pg0KPGRpdiBjbGFz cz0iIj5hcyBkZWZpbmVkIHBhZ2UgMTMsIHdlIGdldCB0aGUgc2FtZSBub3Rpb24gYXMgQ2lzaW5z a2kgLW5haXZlLSBmaWJyYXRpb25zLjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+ DQo8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+Jm5ic3A7SXQgZm9sbG93cyBmcm9tIFNlY3Rpb24gMiBv ZiBDaHJpc3RpYW7igJlzIHBhcGVyIGFib3ZlIHRoYXQgd2UgYWxzbyBnZXQgYSBtb2RlbCBzdHJ1 Y3R1cmU8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+aGF2aW5nIGV4YWN0bHkgdGhpcyBub3Rpb24gb2Yg ZmlicmF0aW9uIChhbmQgd2hlcmUgY29maWJyYXRpb25zIGFyZSBtb25vcykuPC9kaXY+DQo8ZGl2 IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDtXZSB0 aGVuIGhhdmUgYSBwcmlvcmkgdHdvIG1vZGVsIHN0cnVjdHVyZXMgb24gdGhlc2UgcHJlc2hlYXZl cy48L2Rpdj4NCjxkaXYgY2xhc3M9IiI+Jm5ic3A7VGhleSBoYXZlIHRoZSBzYW1lIG5vdGlvbjwv ZGl2Pg0KPGRpdiBjbGFzcz0iIj5vZiBmaWJyYW50IG9iamVjdHMgYW5kIGNvZmlicmF0aW9ucy4g SXQgZm9sbG93cyB0aGVuIGZyb20gQW5kcsOpIEpveWFs4oCZcyByZXN1bHQ8L2Rpdj4NCjxkaXYg Y2xhc3M9IiI+KFJpZWhsIENhdGVnb3JpY2FsIE1vZGVsIFRoZW9yeSwgVGhlb3JlbSAxNS4zLjEp IHRoYXQgd2UgYWN0dWFsbHkgdGhlIC1zYW1lLSBtb2RlbDwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5z dHJ1Y3R1cmUuPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRp diBjbGFzcz0iIj4mbmJzcDtJdCB0aGVuIGZvbGxvd3MgdGhhdCBpbiB0aGVzZSBjYXNlcywgdGhl IENpc2luc2tpIG1vZGVsIHN0cnVjdHVyZSBpcyAtY29tcGxldGUtPC9kaXY+DQo8ZGl2IGNsYXNz PSIiPihEZWZpbml0aW9uIDEuMy40OCkuPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0i Ij4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDtJbiB0aGUgY2FzZSBvZiBkZSBNb3JnYW4g YWxnZWJyYSwgb3IgZGlzdHJpYnV0aXZlIGxhdHRpY2UsIHdlIGhhdmUgYSBnZW9tZXRyaWMgcmVh bGlzYXRpb24gbWFwLjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5Ib3dldmVyIGluIHRoZSBjYXNlIG9m IGRlIE1vcmdhbiBhbGdlYnJhLCB3ZSBkb27igJl0IGhhdmUgdGhhdCB0aGlzIG1hcCBpcyBhIFF1 aWxsZW4gZXF1aXZhbGVuY2U8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+YXMgc2hvd24gYnkgQ2hyaXN0 aWFuOiBpZiB3ZSB0YWtlIEwgdG8gYmUgdGhlIHF1b3RpZW50IG9mIElJIGJ5IHRoZSBkZSBNb3Jn YW4gcmV2ZXJzYWwgb3BlcmF0aW9uPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPnRoZW4gdGhlIGdlb21l dHJpYyByZWFsaXNhdGlvbiBvZiBMIGlzIGNvbnRyYWN0aWJsZSwgYnV0IGl0IGNhbiBiZSBzaG93 biB0aGF0IHRoZSBtYXAgTCAtJmd0OyAxPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPmlzIG5vdCBhbiBl cXVpdmFsZW5jZSBmb3IgQ2lzaW5za2kgKD0gQ2hyaXN0aWFuIGluIHRoaXMgY2FzZSkgbW9kZWwg c3RydWN0dXJlLjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxk aXYgY2xhc3M9IiI+Jm5ic3A7SXQgaXMgYW4gb3BlbiBwcm9ibGVtIHdoYXQgaGFwcGVucyBmb3Ig ZGlzdHJpYnV0aXZlIGxhdHRpY2VzLjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+ DQo8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+Jm5ic3A7SSBhbSBub3QgYSBzcGVjaWFsaXN0IG9mIHRl c3QgY2F0ZWdvcmllcyBidXQgbXkgdW5kZXJzdGFuZGluZyBpcyB0aGF0IGFsbCB0aGVzZSBjYXRl Z29yaWVzPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPihMYXd2ZXJlIHRoZW9yeSBvZiBkaXN0cmlidXRp dmUgbGF0dGljZXMsIGRlIE1vcmdhbiBhbGdlYnJhLCBhbGdlYnJhIHdpdGggdHdvIGNvbnN0YW50 cyAwLDEpPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPmFyZSB0ZXN0IGNhdGVnb3JpZXMsIGJ1dCBpdCBp cyBub3QgY2xlYXIgaWYgdGhlIGdlbmVyYWwgbm90aW9uIG9mIHdlYWsgZXF1aXZhbGVuY2Ugd2Ug Z2V0PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPmZyb20gdGhlIHRoZW9yeSBvZiB0ZXN0IGNhdGVnb3J5 IGNvaW5jaWRlIHdpdGggdGhlIG9uZSBvZiBDaXNpbnNraSBtb2RlbCBzdHJ1Y3R1cmU8L2Rpdj4N CjxkaXYgY2xhc3M9IiI+KGFuZCBpbmRlZWQgaXQgd2lsbCBub3QgY29pbmNpZGUgZm9yIGRlIE1v cmdhbiBhbGdlYnJhIGFuZCBCb29sZWFuIGFsZ2VicmEsIGFuZCB0aGlzJm5ic3A7PC9kaXY+DQo8 ZGl2IGNsYXNzPSIiPmlzIG9wZW4gZm9yIGRpc3RyaWJ1dGl2ZSBsYXR0aWNlcyksPC9kaXY+DQo8 ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDtC ZXN0IHJlZ2FyZHMsPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPiZuYnNwO1RoaWVycnk8L2Rpdj4NCjxk aXYgY2xhc3M9IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFz cz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDs8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+ PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2 Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDs8L2Rpdj4NCjxiciBjbGFzcz0iIj4NCjxkaXY+PGJyIGNs YXNzPSIiPg0KPGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSIgY2xhc3M9IiI+DQo8ZGl2IGNsYXNzPSIi Pk9uIDE0IEp1biAyMDE4LCBhdCAyMDozOSwgUmljaGFyZCBXaWxsaWFtc29uICZsdDs8YSBocmVm PSJtYWlsdG86cndpbGxpLi4uQGdtYWlsLmNvbSIgY2xhc3M9IiI+cndpbGxpLi4uQGdtYWlsLmNv bTwvYT4mZ3Q7IHdyb3RlOjwvZGl2Pg0KPGJyIGNsYXNzPSJBcHBsZS1pbnRlcmNoYW5nZS1uZXds aW5lIj4NCjxkaXYgY2xhc3M9IiI+DQo8ZGl2IGNsYXNzPSIiPkRlYXIgVGhpZXJyeSw8YnIgY2xh c3M9IiI+DQo8YnIgY2xhc3M9IiI+DQpGb3JnaXZlIG1lIGZvciBub3QgcXVpdGUgaGF2aW5nIGFu IG92ZXJ2aWV3IG9mIGV4YWN0bHkgd2hhdCBoYXM8YnIgY2xhc3M9IiI+DQpiZWVuIGRvbmUuIE15 IGludGVyZXN0IGhlcmUgaXMgaW4gaG93IHRoZSBtb2RlbCBzdHJ1Y3R1cmUgeW91PGJyIGNsYXNz PSIiPg0KaGF2ZSBjb25zdHJ1Y3RlZCBjb21wYXJlcyB3aXRoIENpc2luc2tpJ3Mgd29yay4gRm9y IGV4YW1wbGUsIEk8YnIgY2xhc3M9IiI+DQp3b3VsZCBleHBlY3QgdGhhdCB0aGUgY2F0ZWdvcnkg b2YgY2FydGVzaWFuIGN1YmljYWwgc2V0cyBpcyBhPGJyIGNsYXNzPSIiPg0KdGVzdCBjYXRlZ29y eS4gSW5kZWVkLCBJIHdvdWxkIGV4cGVjdCB0aGF0IG1vcmUgb3IgbGVzcyBleGFjdGx5PGJyIGNs YXNzPSIiPg0KdGhlIHNhbWUgdGVjaG5pcXVlIGFzIGluIDguNCBvZiBMZXMgcHLDqWZhaXNjZWF1 eCBjb21tZSAuLi4gZ29lczxiciBjbGFzcz0iIj4NCnRocm91Z2ggdG8gcHJvdmUgdGhpcy4gQW5k IEkgd291bGQgZXhwZWN0IHRoYXQgb25lIGNhbiBwdXQgYTxiciBjbGFzcz0iIj4NCm1vZGVsIHN0 cnVjdHVyZSBvbiBpbiB0aGUgc2FtZSB3YXkuPGJyIGNsYXNzPSIiPg0KPGJyIGNsYXNzPSIiPg0K Tm93LCBJIGJlbGlldmUgSSBzYXcgaW4gc29tZSBzbGlkZXMgdGhhdCB0aGF0IHlvdXIgbW9kZWw8 YnIgY2xhc3M9IiI+DQpzdHJ1Y3R1cmUgY29pbmNpZGVzIHdpdGggdGhlIENpc2luc2tpIG9uZS4g QnV0IHRoaXMgZG9lcyBub3Qgc2VlbTxiciBjbGFzcz0iIj4NCmNvbXBhdGlibGUgd2l0aCBteSBl eHBlY3RhdGlvbnMgYWJvdmUsIGJlY2F1c2UgdGhlbiBpdCBpczxiciBjbGFzcz0iIj4NCmNlcnRh aW5seSBRdWlsbGVuIGVxdWl2YWxlbnQgdG8gdGhlIFNlcnJlIG1vZGVsIHN0cnVjdHVyZSBvbjxi ciBjbGFzcz0iIj4NCnRvcG9sb2dpY2FsIHNwYWNlcyAob3Igd2hhdGV2ZXIpLjxiciBjbGFzcz0i Ij4NCjxiciBjbGFzcz0iIj4NClRodXMgbXkgcXVlc3Rpb25zOjxiciBjbGFzcz0iIj4NCjxiciBj bGFzcz0iIj4NCjEpIEhhdmUgSSBtaXNpbnRlcnByZXRlZCB0aGUgc2xpZGVzIG9yIHNvbWUgb3Ro ZXIgYXNwZWN0IG9mIHlvdXI8YnIgY2xhc3M9IiI+DQp3b3JrPzxiciBjbGFzcz0iIj4NCjxiciBj bGFzcz0iIj4NCjIpIElmIG5vdCwgd2hlcmUgZXhhY3RseSBkbyBDaXNpbnNraSdzIHRlY2huaXF1 ZXMgZmFpbD88YnIgY2xhc3M9IiI+DQo8YnIgY2xhc3M9IiI+DQpCZXN0IHdpc2hlcyw8YnIgY2xh c3M9IiI+DQpSaWNoYXJkPGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8L2Rpdj4NCjwvYmxvY2txdW90 ZT4NCjwvZGl2Pg0KPGJyIGNsYXNzPSIiPg0KPC9ib2R5Pg0KPC9odG1sPg0K --_000_4B5790D81F4C496486E54E77B07DD3BDchalmersse_--