From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.46.84.89 with SMTP id y25mr4081728ljd.3.1496829472974; Wed, 07 Jun 2017 02:57:52 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.25.27.196 with SMTP id b187ls103855lfb.13.gmail; Wed, 07 Jun 2017 02:57:51 -0700 (PDT) X-Received: by 10.46.22.8 with SMTP id w8mr707987ljd.21.1496829471509; Wed, 07 Jun 2017 02:57:51 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1496829471; cv=none; d=google.com; s=arc-20160816; b=nfGQtaVI9/8EyMf/afT73rOV95YVdKDCn7OjXfQYH7fHpdt+cz2T/sSJI6w7Z395Jk PzPBbWhvPuPzjeLjt7u1kSWfmpBSSUGn2x99CVX3AVnaFdS+pLBeDpeWvg7jqxe8tcaZ rMFw8GONWCH1H0cNoLa6O2zwpaQlPx+lLTujDxMXL4RmZRUTgcq6kWlkgjuNCsM5NqCx cFI6ljie7gbtOSmjsHYiLowEbI6hv21nUgnXAgRNsvP4r+jAevh1TxG+VPM9eZ6Duo/4 PRwqwW4wsoh5BiGsydzyjZwGwg4cp1Dg77tRtYRNbW5Up8uQiZNske278SRuxMQ2Zt62 BGJg== 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=65S2uVQKdh6sRYpuOl0YV08/6U7igssrqscwa3jRny4=; b=QHdKdBADpOGgLtXroBjdqIPElmL7MKIBSg9fc/DP0E7zVt6Si/q86yyM6kt2D2gtRr 4MOT6G37viWZI4j4EBS7GlhBC4dXwmCfKihdqsWhK6MJQXqKWyUQg6nxeWMNz4DgQYN2 ptopN8Oa6uVn9gS6SaMQ2HSaG2c3M+/CJW9MStgPx12OBhPFRch/YzPo8OdD8Md6gdaA LSog8X2fjRkmpwPoZNwweFCEAiRkEgIWrd0sfmtXBzXMLzpKzpBvbtfsfp+nA5fR0NKQ x6Tol8nizEnhSocsKRYWi9cqILcZQgLzMSMXHaczhPOZmAaWblqUmSChUrTc028UzI9K 2U7A== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=neutral (google.com: 129.16.226.138 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 arryn.ita.chalmers.se (arryn.ita.chalmers.se. [129.16.226.138]) by gmr-mx.google.com with ESMTPS id b136si77273wme.4.2017.06.07.02.57.51 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Wed, 07 Jun 2017 02:57:51 -0700 (PDT) Received-SPF: neutral (google.com: 129.16.226.138 is neither permitted nor denied by best guess record for domain of thierry...@cse.gu.se) client-ip=129.16.226.138; Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 129.16.226.138 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 arryn.ita.chalmers.se (129.16.226.138) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.1.845.34; Wed, 7 Jun 2017 11:57:50 +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.0845.034; Wed, 7 Jun 2017 11:57:50 +0200 From: Thierry Coquand To: Peter LeFanu Lumsdaine CC: homotopy Type Theory Subject: Re: [HoTT] Semantics of higher inductive types Thread-Topic: [HoTT] Semantics of higher inductive types Thread-Index: AQHS1YRqrYjkQqJDokGDQZgyV4mF/aIP+LoAgAASs4CAAAJcAIAABOQAgAADgYCACQFfgIAABO4A Date: Wed, 7 Jun 2017 09:57:50 +0000 Message-ID: <5399AC7E-354E-4E7B-98AB-CDA1AE8E0B65@chalmers.se> References: <1128BE39-BBC4-4DC6-8792-20134A6CAECD@chalmers.se> <292DED31-6CB3-49A1-9128-5AFD04B9C2F2@cmu.edu> <9F58F820-A54A-46E7-93DC-F814D4BEE0C6@cmu.edu> In-Reply-To: Accept-Language: en-US, sv-SE Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-messagesentrepresentingtype: 1 x-originating-ip: [129.16.10.245] Content-Type: multipart/alternative; boundary="_000_5399AC7E354E4E7B98ABCDA1AE8E0B65chalmersse_" MIME-Version: 1.0 --_000_5399AC7E354E4E7B98ABCDA1AE8E0B65chalmersse_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 DQpPbiA3IEp1biAyMDE3LCBhdCAxMTo0MCwgUGV0ZXIgTGVGYW51IEx1bXNkYWluZSA8cC5sLmx1 Li4uQGdtYWlsLmNvbTxtYWlsdG86cC5sLmx1Li4uQGdtYWlsLmNvbT4+IHdyb3RlOg0KDQpPbiBU aHUsIEp1biAxLCAyMDE3IGF0IDY6MDggUE0sIFBldGVyIExlRmFudSBMdW1zZGFpbmUgPHAubC5s dS4uLkBnbWFpbC5jb208bWFpbHRvOnAubC5sdS4uLkBnbWFpbC5jb20+PiB3cm90ZToNCk9uIFRo dSwgSnVuIDEsIDIwMTcgYXQgNjo1NiBQTSwgU3RldmUgQXdvZGV5IDxhd28uLi5AY211LmVkdTxt YWlsdG86YXdvLi4uQGNtdS5lZHU+PiB3cm90ZToNCj4NCj4geW91IG1lYW4gdGhlIHByb3Bvc2l0 aW9uYWwgdHJ1bmNhdGlvbiBvciBzdXNwZW5zaW9uIG9wZXJhdGlvbnMgbWlnaHQgbGVhZCB0byBj YXJkaW5hbHMgb3V0c2lkZSBvZiBhIEdyb3RoZW5kaWVjayBVbml2ZXJzZT8NCg0KRXhhY3RseSwg eWVzLiAgVGhlcmXigJlzIG5vIHJlYXNvbiBJIGtub3cgb2YgdG8gdGhpbmsgdGhleSAqbmVlZCog dG8sIGJ1dCB3aXRoIHRoZSBjb25zdHJ1Y3Rpb24gb2YgTWlrZeKAmXMgYW5kIG15IHBhcGVyLCB0 aGV5IGRvLiAgQW5kIGFkZGluZyBzdHJvbmdlciBjb25kaXRpb25zIG9uIHRoZSBjYXJkaW5hbCB1 c2VkIHdvbuKAmXQgaGVscC4gIFRoZSBwcm9ibGVtIGlzIHRoYXQgb25lIHRha2VzIGEgZmlicmFu dCByZXBsYWNlbWVudCB0byBnbyBmcm9tIHRoZSDigJxwcmUtc3VzcGVuc2lvbuKAnSB0byB0aGUg c3VzcGVuc2lvbiAobW9yZSBwcmVjaXNlbHk6IGEgKFRDLEYpIGZhY3RvcmlzYXRpb24sIHRvIGdv IGZyb20gdGhlIHVuaXZlcnNhbCBmYW1pbHkgb2YgcHJlLXN1c3BlbnNpb25zIHRvIHRoZSB1bml2 ZXJzYWwgZmFtaWx5IG9mIHN1c3BlbnNpb25zKTsgYW5kIGZpYnJhbnQgcmVwbGFjZW1lbnQgYmxv d3MgdXAgdGhlIGZpYmVycyB0byBiZSB0aGUgc2l6ZSBvZiB0aGUgKmJhc2UqIG9mIHRoZSBmYW1p bHkuICBTbyB0aGUgcHJlLXN1c3BlbnNpb24gaXMgc21hbGwsIGJ1dCB0aGUgc3VzcGVuc2lvbiDi gJQgYWx0aG91Z2ggZXNzZW50aWFsbHkgc21hbGwg4oCUIGVuZHMgdXAgYXMgbGFyZ2UgYXMgdGhl IHVuaXZlcnNlIG9uZeKAmXMgdXNpbmcuDQoNCkkgcmVhbGlzZSBJIHdhcyBhIGJpdCB1bmNsZWFy IGhlcmU6IGl04oCZcyBvbmx5IHN1c3BlbnNpb24gdGhhdCBJIG1lYW50IHRvIHN1Z2dlc3QgaXMg cHJvYmxlbWF0aWMsIG5vdCBwcm9wb3NpdGlvbmFsIHRydW5jYXRpb24uICBUaGUgbGF0dGVyIHNl ZW1zIGEgYml0IGVhc2llciB0byBkbyBieSBhZCBob2MgY29uc3RydWN0aW9uczsgZS5nLiB0aGUg Y29uc3RydWN0aW9uIGJlbG93IGRvZXMgaXQgaW4gc2ltcGxpY2lhbCBzZXRzLCBhbmQgSSB0aGlu ayBhIHNpbWlsYXIgdGhpbmcgbWF5IHdvcmsgYWxzbyBpbiBjdWJpY2FsIHNldHMuICAoSSBkb27i gJl0IGNsYWltIG9yaWdpbmFsaXR5IGZvciB0aGlzIGNvbnN0cnVjdGlvbjsgSSBkb27igJl0IHRo aW5rIEkgbGVhcm5lZCBpdCBmcm9tIGFueXdoZXJlLCBidXQgSSBkbyByZWNhbGwgZGlzY3Vzc2lu ZyBpdCB3aXRoIHBlb3BsZSB3aG8gd2VyZSBhbHJlYWR5IGF3YXJlIG9mIGl0IG9yIHNvbWV0aGlu ZyBzaW1pbGFyIChJIHRoaW5rIGF0IGxlYXN0IE1pa2UsIFRoaWVycnksIGFuZCBTaW1vbiBIdWJl ciwgYXQgdmFyaW91cyB0aW1lcz8pLCBzbyBJIHRoaW5rIG11bHRpcGxlIHBlb3BsZSBtYXkgaGF2 ZSBub3RpY2VkIGl0IGluZGVwZW5kZW50bHkuKQ0KDQpTbyBzdXNwZW5zaW9uIChvciBtb3JlIGdl bmVyYWxseSBwdXNob3V0cy9jb2VxdWFsaXNlcnMpIGlzIHdoYXQgd291bGQgbWFrZSBhIHJlYWxs eSBnb29kIHRlc3QgY2FzZSBmb3IgYW55IHByb3Bvc2VkIGdlbmVyYWwgYXBwcm9hY2gg4oCUIGl0 4oCZcyB0aGUgc2ltcGxlc3QgSElUIHdoaWNoIGFzIGZhciBhcyBJIGtub3cgaGFzbuKAmXQgYmVl biBtb2RlbGxlZCB3aXRob3V0IGEgc2l6ZSBibG93dXAgaW4gYW55IGluZmluaXRlLWRpbWVuc2lv bmFsIG1vZGVsIGV4Y2VwdCBjdWJpY2FsIHNldHMsIHVuZGVyIGFueSBvZiB0aGUgYXBwcm9hY2hl cyB0byBtb2RlbGxpbmcgSElU4oCZcyBwcm9wb3NlZCBzbyBmYXIuICAoQW0gSSByaWdodCBpbiBy ZW1lbWJlcmluZyB0aGF0IHRoaXMgaGFzIGJlZW4gZ2l2ZW4gZm9yIGN1YmljYWwgc2V0cz8gIEkg Y2Fu4oCZdCBmaW5kIGl0IGluIGFueSBvZiB0aGUgd3JpdGV1cHMsIGJ1dCBJIHNlZW0gdG8gcmVj YWxsIGhlYXJpbmcgaXQgcHJlc2VudGVkIGF0IGNvbmZlcmVuY2VzLikNCg0KIFllcywgc3VzcGVu c2lvbiBjYW4gYmUgdHJlYXRlZCB1c2luZyB0aGUgbWV0aG9kIG9mIOKAnGZsYXR0ZW5pbmcgb3Bl biBib3hlc+KAnSBzaW1pbGFybHkgdG8gcHJvcG9zaXRpb25hbCB0cnVuY2F0aW9uIChpdCBpcyBh Y3R1YWxseSBzaW1wbGVyIHNpbmNlIGl0IGlzIG5vdCByZWN1cnNpdmUpLiBGb3IgY29tcGxldGVu ZXNzLCBJIGFkZGVkIHRoZSBkZXNjcmlwdGlvbiBvZiBzdXNwZW5zaW9uIGF0IHRoZSBlbmQgb2Yg dGhpcyBub3RlPGh0dHA6Ly93d3cuY3NlLmNoYWxtZXJzLnNlL35jb3F1YW5kL2hpdDMucGRmPiBv ZiBISVQuDQogVGhpZXJyeQ0KDQo= --_000_5399AC7E354E4E7B98ABCDA1AE8E0B65chalmersse_ Content-Type: text/html; charset="utf-8" Content-ID: <7585FEE7F3069041...@chalmers.se> Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJ3b3JkLXdy YXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgLXdlYmtpdC1saW5lLWJy ZWFrOiBhZnRlci13aGl0ZS1zcGFjZTsiIGNsYXNzPSIiPg0KPGJyIGNsYXNzPSIiPg0KPGRpdj4N CjxibG9ja3F1b3RlIHR5cGU9ImNpdGUiIGNsYXNzPSIiPg0KPGRpdiBjbGFzcz0iIj5PbiA3IEp1 biAyMDE3LCBhdCAxMTo0MCwgUGV0ZXIgTGVGYW51IEx1bXNkYWluZSAmbHQ7PGEgaHJlZj0ibWFp bHRvOnAubC5sdS4uLkBnbWFpbC5jb20iIGNsYXNzPSIiPnAubC5sdS4uLkBnbWFpbC5jb208L2E+ Jmd0OyB3cm90ZTo8L2Rpdj4NCjxiciBjbGFzcz0iQXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGluZSI+ DQo8ZGl2IGNsYXNzPSIiPg0KPGRpdiBkaXI9Imx0ciIgY2xhc3M9IiI+T24gVGh1LCBKdW4gMSwg MjAxNyBhdCA2OjA4IFBNLCBQZXRlciBMZUZhbnUgTHVtc2RhaW5lIDxzcGFuIGRpcj0ibHRyIiBj bGFzcz0iIj4NCiZsdDs8YSBocmVmPSJtYWlsdG86cC5sLmx1Li4uQGdtYWlsLmNvbSIgdGFyZ2V0 PSJfYmxhbmsiIGNsYXNzPSIiPnAubC5sdS4uLkBnbWFpbC5jb208L2E+Jmd0Ozwvc3Bhbj4gd3Jv dGU6PGJyIGNsYXNzPSIiPg0KPGRpdiBjbGFzcz0iZ21haWxfZXh0cmEiPg0KPGRpdiBjbGFzcz0i Z21haWxfcXVvdGUiPg0KPGJsb2NrcXVvdGUgY2xhc3M9ImdtYWlsX3F1b3RlIiBzdHlsZT0ibWFy Z2luOjBweCAwcHggMHB4IDAuOGV4O2JvcmRlci1sZWZ0LXdpZHRoOjFweDtib3JkZXItbGVmdC1z dHlsZTpzb2xpZDtib3JkZXItbGVmdC1jb2xvcjpyZ2IoMjA0LDIwNCwyMDQpO3BhZGRpbmctbGVm dDoxZXgiPg0KPGRpdiBkaXI9Imx0ciIgY2xhc3M9IiI+PHNwYW4gY2xhc3M9ImdtYWlsLSI+T24g VGh1LCBKdW4gMSwgMjAxNyBhdCA2OjU2IFBNLCBTdGV2ZSBBd29kZXkgJmx0OzxhIGhyZWY9Im1h aWx0bzphd28uLi5AY211LmVkdSIgdGFyZ2V0PSJfYmxhbmsiIGNsYXNzPSIiPmF3by4uLkBjbXUu ZWR1PC9hPiZndDsgd3JvdGU6PGJyIGNsYXNzPSIiPg0KJmd0OzxiciBjbGFzcz0iIj4NCiZndDsg eW91IG1lYW4gdGhlIHByb3Bvc2l0aW9uYWwgdHJ1bmNhdGlvbiBvciBzdXNwZW5zaW9uIG9wZXJh dGlvbnMgbWlnaHQgbGVhZCB0byBjYXJkaW5hbHMgb3V0c2lkZSBvZiBhIEdyb3RoZW5kaWVjayBV bml2ZXJzZT88YnIgY2xhc3M9IiI+DQo8YnIgY2xhc3M9IiI+DQo8L3NwYW4+RXhhY3RseSwgeWVz LiZuYnNwOyBUaGVyZeKAmXMgbm8gcmVhc29uIEkga25vdyBvZiB0byB0aGluayB0aGV5ICpuZWVk KiB0bywgYnV0IHdpdGggdGhlIGNvbnN0cnVjdGlvbiBvZiBNaWtl4oCZcyBhbmQgbXkgcGFwZXIs IHRoZXkgZG8uJm5ic3A7IEFuZCBhZGRpbmcgc3Ryb25nZXIgY29uZGl0aW9ucyBvbiB0aGUgY2Fy ZGluYWwgdXNlZCB3b27igJl0IGhlbHAuJm5ic3A7IFRoZSBwcm9ibGVtIGlzIHRoYXQgb25lIHRh a2VzIGEgZmlicmFudCByZXBsYWNlbWVudCB0byBnbw0KIGZyb20gdGhlIOKAnHByZS1zdXNwZW5z aW9u4oCdIHRvIHRoZSBzdXNwZW5zaW9uIChtb3JlIHByZWNpc2VseTogYSAoVEMsRikgZmFjdG9y aXNhdGlvbiwgdG8gZ28gZnJvbSB0aGUgdW5pdmVyc2FsIGZhbWlseSBvZiBwcmUtc3VzcGVuc2lv bnMgdG8gdGhlIHVuaXZlcnNhbCBmYW1pbHkgb2Ygc3VzcGVuc2lvbnMpOyBhbmQgZmlicmFudCBy ZXBsYWNlbWVudCBibG93cyB1cCB0aGUgZmliZXJzIHRvIGJlIHRoZSBzaXplIG9mIHRoZSAqYmFz ZSogb2YgdGhlDQogZmFtaWx5LiZuYnNwOyBTbyB0aGUgcHJlLXN1c3BlbnNpb24gaXMgc21hbGws IGJ1dCB0aGUgc3VzcGVuc2lvbiDigJQgYWx0aG91Z2ggZXNzZW50aWFsbHkgc21hbGwg4oCUIGVu ZHMgdXAgYXMgbGFyZ2UgYXMgdGhlIHVuaXZlcnNlIG9uZeKAmXMgdXNpbmcuPC9kaXY+DQo8L2Js b2NrcXVvdGU+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFz cz0iIj5JIHJlYWxpc2UgSSB3YXMgYSBiaXQgdW5jbGVhciBoZXJlOiBpdOKAmXMgb25seSBzdXNw ZW5zaW9uIHRoYXQgSSBtZWFudCB0byBzdWdnZXN0IGlzIHByb2JsZW1hdGljLCBub3QgcHJvcG9z aXRpb25hbCB0cnVuY2F0aW9uLiZuYnNwOyBUaGUgbGF0dGVyIHNlZW1zIGEgYml0IGVhc2llciB0 byBkbyBieSBhZCBob2MgY29uc3RydWN0aW9uczsgZS5nLiB0aGUgY29uc3RydWN0aW9uIGJlbG93 IGRvZXMgaXQgaW4gc2ltcGxpY2lhbCBzZXRzLA0KIGFuZCBJIHRoaW5rIGEgc2ltaWxhciB0aGlu ZyBtYXkgd29yayBhbHNvIGluIGN1YmljYWwgc2V0cy4gJm5ic3A7KEkgZG9u4oCZdCBjbGFpbSBv cmlnaW5hbGl0eSBmb3IgdGhpcyBjb25zdHJ1Y3Rpb247IEkgZG9u4oCZdCB0aGluayBJIGxlYXJu ZWQgaXQgZnJvbSBhbnl3aGVyZSwgYnV0IEkgZG8gcmVjYWxsIGRpc2N1c3NpbmcgaXQgd2l0aCBw ZW9wbGUgd2hvIHdlcmUgYWxyZWFkeSBhd2FyZSBvZiBpdCBvciBzb21ldGhpbmcgc2ltaWxhciAo SSB0aGluayBhdA0KIGxlYXN0IE1pa2UsIFRoaWVycnksIGFuZCBTaW1vbiBIdWJlciwgYXQgdmFy aW91cyB0aW1lcz8pLCBzbyBJIHRoaW5rIG11bHRpcGxlIHBlb3BsZSBtYXkgaGF2ZSBub3RpY2Vk IGl0IGluZGVwZW5kZW50bHkuKTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8 L2Rpdj4NCjxkaXYgY2xhc3M9IiI+U28gc3VzcGVuc2lvbiAob3IgbW9yZSBnZW5lcmFsbHkgcHVz aG91dHMvY29lcXVhbGlzZXJzKSBpcyB3aGF0IHdvdWxkIG1ha2UgYSByZWFsbHkgZ29vZCB0ZXN0 IGNhc2UgZm9yIGFueSBwcm9wb3NlZCBnZW5lcmFsIGFwcHJvYWNoIOKAlCBpdOKAmXMgdGhlIHNp bXBsZXN0IEhJVCB3aGljaCBhcyBmYXIgYXMgSSBrbm93IGhhc27igJl0IGJlZW4gbW9kZWxsZWQg d2l0aG91dCBhIHNpemUgYmxvd3VwIGluIGFueSBpbmZpbml0ZS1kaW1lbnNpb25hbA0KIG1vZGVs IGV4Y2VwdCBjdWJpY2FsIHNldHMsIHVuZGVyIGFueSBvZiB0aGUgYXBwcm9hY2hlcyB0byBtb2Rl bGxpbmcgSElU4oCZcyBwcm9wb3NlZCBzbyBmYXIuICZuYnNwOyhBbSBJIHJpZ2h0IGluIHJlbWVt YmVyaW5nIHRoYXQgdGhpcyBoYXMgYmVlbiBnaXZlbiBmb3IgY3ViaWNhbCBzZXRzPyZuYnNwOyBJ IGNhbuKAmXQgZmluZCBpdCBpbiBhbnkgb2YgdGhlIHdyaXRldXBzLCBidXQgSSBzZWVtIHRvIHJl Y2FsbCBoZWFyaW5nIGl0IHByZXNlbnRlZCBhdCBjb25mZXJlbmNlcy4pPGJyIGNsYXNzPSIiPg0K PC9kaXY+DQo8L2Rpdj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Rpdj4NCjwvYmxvY2txdW90ZT4NCjxi ciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdj4mbmJzcDtZZXMsIHN1c3BlbnNpb24gY2FuIGJlIHRy ZWF0ZWQgdXNpbmcgdGhlIG1ldGhvZCBvZiDigJxmbGF0dGVuaW5nIG9wZW4gYm94ZXPigJ0gc2lt aWxhcmx5IHRvIHByb3Bvc2l0aW9uYWwgdHJ1bmNhdGlvbiAoaXQgaXMgYWN0dWFsbHkgc2ltcGxl ciBzaW5jZSBpdCBpcyBub3QgcmVjdXJzaXZlKS4gRm9yIGNvbXBsZXRlbmVzcywgSSBhZGRlZCB0 aGUgZGVzY3JpcHRpb24gb2Ygc3VzcGVuc2lvbiBhdCB0aGUgZW5kIG9mIHRoaXMmbmJzcDs8YSBo cmVmPSJodHRwOi8vd3d3LmNzZS5jaGFsbWVycy5zZS9+Y29xdWFuZC9oaXQzLnBkZiIgY2xhc3M9 IiI+bm90ZTwvYT4mbmJzcDtvZg0KIEhJVC48L2Rpdj4NCjxkaXY+Jm5ic3A7VGhpZXJyeTwvZGl2 Pg0KPGJyIGNsYXNzPSIiPg0KPC9ib2R5Pg0KPC9odG1sPg0K --_000_5399AC7E354E4E7B98ABCDA1AE8E0B65chalmersse_--