From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.25.215.148 with SMTP id q20mr262114lfi.30.1496327023748; Thu, 01 Jun 2017 07:23:43 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.28.45.67 with SMTP id t64ls307991wmt.14.canary-gmail; Thu, 01 Jun 2017 07:23:34 -0700 (PDT) X-Received: by 10.223.153.67 with SMTP id x61mr176852wrb.22.1496327014033; Thu, 01 Jun 2017 07:23:34 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1496327013; cv=none; d=google.com; s=arc-20160816; b=vsmCiUvReGRMfYI+DWanFgE4lVBGGofxtvUIX7Cgm3SGx5RIsm117BqXzTJFuWtema 3HOJ8rnp1o1H7aeHx6an0t/ZE+1Dlevi0KYE6E2QFHfu1XGM6yHESAYgZ65uDcmftVBh Bca6nxa5V553SWThDBl337r2jtsftpytk1JRn0Fj1sk4+dkUAYj91LZRw2gB3mByKbC5 5hTFFXO+B6mOKM1CRXziJt4gjaJj53vHl03MLV4isFtblFDCh449ni3znvFreZ4rD9eI AQY7oZ0wtcATiTFZPMOpdSMq7emAGq91rpBrrnFQubcb8jelGX1nae1DP98MlM+jTTMx LCEg== 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:to :from:arc-authentication-results; bh=mFakpVp5Z5uwoHin4Qk302r6bgL7wYW1dC2dWxM30aw=; b=BZipU2tKROLOAmzXrxQPNi6d8VEku622iAXH/AoEHMzgH+66UA5HNtbkDLU0EQtHW7 ePulmwLdzF5HEnqZ27pXWnALWFAu8LBvF2fOlRsCSvkFltvs53Ipqd6DWjWFJhmhXwx0 mfRM+DLDo7A4R0yeGQV3LF44mSEIbe00HxYNCplLQuDdlE4nUJ3i37eiwsXuOY8siEip NUeZ/iXdgZkjotZLdVybb3LDsgO0TIpxjq5pw6Ow6GCXiiIXZKmTWg9MvCyQNb97UgF6 CCrvGDWRrEarq1RO0SLrpQoOyHxfEWz/YyfTrS6GmEeifpkb5V+9rRVigtFX+rMTEkCF 3K3A== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=neutral (google.com: 129.16.226.135 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 lannister.ita.chalmers.se (lannister.ita.chalmers.se. [129.16.226.135]) by gmr-mx.google.com with ESMTPS id h192si687430wme.3.2017.06.01.07.23.33 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Thu, 01 Jun 2017 07:23:33 -0700 (PDT) Received-SPF: neutral (google.com: 129.16.226.135 is neither permitted nor denied by best guess record for domain of thierry...@cse.gu.se) client-ip=129.16.226.135; Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 129.16.226.135 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 lannister.ita.chalmers.se (129.16.226.135) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.1.845.34; Thu, 1 Jun 2017 16:23:32 +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; Thu, 1 Jun 2017 16:23:33 +0200 From: Thierry Coquand To: homotopy Type Theory Subject: Re: [HoTT] Semantics of higher inductive types Thread-Topic: [HoTT] Semantics of higher inductive types Thread-Index: AQHS1YRqrYjkQqJDokGDQZgyV4mF/aIP+LoA Date: Thu, 1 Jun 2017 14:23:32 +0000 Message-ID: <1128BE39-BBC4-4DC6-8792-20134A6CAECD@chalmers.se> References: 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_1128BE39BBC44DC6879220134A6CAECDchalmersse_" MIME-Version: 1.0 --_000_1128BE39BBC44DC6879220134A6CAECDchalmersse_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 ICBJZiB3ZSBhcmUgb25seSBpbnRlcmVzdGVkIGluIHByb3ZpZGluZyBvbmUgLXBhcnRpY3VsYXIt IG1vZGVsIG9mIEhJVHMsICAgICAgdGhlIHBhcGVyPGh0dHBzOi8vYXJ4aXYub3JnL2Ficy8xNjEx LjAyMTA4Pg0Kb24gIGN1YmljYWwgdHlwZSAgdGhlb3J5IGRlc2NyaWJlcyBhIHdheSB0byAgaW50 ZXJwcmV0IEhJVCB0b2dldGhlciB3aXRoIGEgdW5pdmFsZW50DQp1bml2ZXJzZSB3aGljaCBpcyBz dGFibGUgYnkgSElUIG9wZXJhdGlvbnMuIFRoaXMgZ2l2ZXMgaW4gcGFydGljdWxhciB0aGUgY29u c2lzdGVuY3kNCmFuZCB0aGUgcHJvb2YgdGhlb3JldGljIHBvd2VyIG9mIHRoaXMgZXh0ZW5zaW9u IG9mIHR5cGUgdGhlb3J5Lg0KDQogIFRoZSBhcHByb2FjaCB1c2VzIGFuIG9wZXJhdGlvbiBvZiAg 4oCcZmxhdHRlbmluZyBhbiBvcGVuIGJveOKAnSwgd2hpY2ggc29sdmVzIGluDQp0aGlzIGNhc2Ug dGhlIGlzc3VlIG9mIGludGVycHJldGluZyBISVQgd2l0aCBwYXJhbWV0ZXJzIChzdWNoIGFzICAg cHJvcG9zaXRpb25hbA0KdHJ1bmNhdGlvbiBvciBzdXNwZW5zaW9uKSB3aXRob3V0IGFueSBjb2hl cmVuY2UgaXNzdWUuDQpTaW5jZSB0aGUgc3ludGF4IHVzZWQgaW4gdGhpcyBwYXBlciBpcyBzbyBj bG9zZSB0byB0aGUgc2VtYW50aWNzLCAgd2UgbGltaXRlZA0Kb3Vyc2VsdmVzICB0byBhIHN5bnRh Y3RpY2FsIHByZXNlbnRhdGlvbiBvZiB0aGlzIGludGVycHJldGF0aW9uLiBCdXQgaXQgY2FuIGRp cmVjdGx5DQpiZSB0cmFuc2Zvcm1lZCB0byBhIHNlbWFudGljYWwgaW50ZXJwcmV0YXRpb24sIGFz IGV4cGxhaW5lZCBpbiB0aGUgZm9sbG93aW5nIG5vdGU8aHR0cDovL3d3dy5jc2UuY2hhbG1lcnMu c2UvfmNvcXVhbmQvaGl0My5wZGY+DQood2hpY2ggYWxzbyBpbmNvcnBvcmF0ZXMgYSBuaWNlIHNp bXBsaWZpY2F0aW9uIG9mIHRoZSBvcGVyYXRpb24gb2YgZmxhdHRlcmluZw0KYW4gb3BlbiBib3gg bm90aWNlZCBieSBteSBjb2F1dGhvcnMpLiBJIGFsc28gdHJ5IHRvIG1ha2UgbW9yZSBleHBsaWNp dCBpbiB0aGUgbm90ZQ0Kd2hhdCBpcyB0aGUgcHJvYmxlbSBzb2x2ZWQgYnkgdGhlIOKAnGZsYXR0 ZW5pbmcgYm94ZXPigJ0gbWV0aG9kLg0KDQogT25seSB0aGUgY2FzZXMgb2YgdGhlIHNwaGVyZXMg YW5kIHByb3Bvc2l0aW9uYWwgdHJ1bmNhdGlvbiBhcmUgZGVzY3JpYmVkLCBidXQgb25lDQp3b3Vs ZCBleHBlY3QgdGhlIG1ldGhvZCB0byBnZW5lcmFsaXNlIHRvIG90aGVyIEhJVHMgY292ZXJlZCBl LmcuIGluIHRoZSBIb1RUIGJvb2suDQoNCk9uIDI1IE1heSAyMDE3LCBhdCAyMDoyNSwgTWljaGFl bCBTaHVsbWFuIDxzaHUuLi5Ac2FuZGllZ28uZWR1PG1haWx0bzpzaHUuLi5Ac2FuZGllZ28uZWR1 Pj4gd3JvdGU6DQoNClRoZSBmb2xsb3dpbmcgbG9uZy1hd2FpdGVkIHBhcGVyIGlzIG5vdyBhdmFp bGFibGU6DQoNClNlbWFudGljcyBvZiBoaWdoZXIgaW5kdWN0aXZlIHR5cGVzDQpQZXRlciBMZUZh bnUgTHVtc2RhaW5lLCBNaWtlIFNodWxtYW4NCmh0dHBzOi8vYXJ4aXYub3JnL2Ficy8xNzA1LjA3 MDg4DQoNCkZyb20gdGhlIGFic3RyYWN0Og0KDQpXZSBpbnRyb2R1Y2UgdGhlIG5vdGlvbiBvZiAq Y2VsbCBtb25hZCB3aXRoIHBhcmFtZXRlcnMqOiBhDQpzZW1hbnRpY2FsbHktZGVmaW5lZCBzY2hl bWUgZm9yIHNwZWNpZnlpbmcgaG9tb3RvcGljYWxseSB3ZWxsLWJlaGF2ZWQNCm5vdGlvbnMgb2Yg c3RydWN0dXJlLiBXZSB0aGVuIHNob3cgdGhhdCBhbnkgc3VpdGFibGUgbW9kZWwgY2F0ZWdvcnkN CmhhcyAqd2Vha2x5IHN0YWJsZSB0eXBhbCBpbml0aWFsIGFsZ2VicmFzKiBmb3IgYW55IGNlbGwg bW9uYWQgd2l0aA0KcGFyYW1ldGVycy4gV2hlbiBjb21iaW5lZCB3aXRoIHRoZSBsb2NhbCB1bml2 ZXJzZXMgY29uc3RydWN0aW9uIHRvDQpvYnRhaW4gc3RyaWN0IHN0YWJpbGl0eSwgdGhpcyBzcGVj aWFsaXplcyB0byBnaXZlIG1vZGVscyBvZiBzcGVjaWZpYw0KaGlnaGVyIGluZHVjdGl2ZSB0eXBl cywgaW5jbHVkaW5nIHNwaGVyZXMsIHRoZSB0b3J1cywgcHVzaG91dCB0eXBlcywNCnRydW5jYXRp b25zLCB0aGUgSmFtZXMgY29uc3RydWN0aW9uLCBhbmQgZ2VuZXJhbCBsb2NhbGlzYXRpb25zLg0K DQpPdXIgcmVzdWx0cyBhcHBseSBpbiBhbnkgc3VmZmljaWVudGx5IG5pY2UgUXVpbGxlbiBtb2Rl bCBjYXRlZ29yeSwNCmluY2x1ZGluZyBhbnkgcmlnaHQgcHJvcGVyIHNpbXBsaWNpYWwgQ2lzaW5z a2kgbW9kZWwgY2F0ZWdvcnkgKHN1Y2ggYXMNCnNpbXBsaWNpYWwgc2V0cykgYW5kIGFueSBsb2Nh bGx5IHByZXNlbnRhYmxlIGxvY2FsbHkgY2FydGVzaWFuIGNsb3NlZA0KY2F0ZWdvcnkgKHN1Y2gg YXMgc2V0cykgd2l0aCBpdHMgdHJpdmlhbCBtb2RlbCBzdHJ1Y3R1cmUuIEluDQpwYXJ0aWN1bGFy LCBhbnkgbG9jYWxseSBwcmVzZW50YWJsZSBsb2NhbGx5IGNhcnRlc2lhbiBjbG9zZWQNCijiiJ4s MSktY2F0ZWdvcnkgaXMgcHJlc2VudGVkIGJ5IHNvbWUgbW9kZWwgY2F0ZWdvcnkgdG8gd2hpY2gg b3VyDQpyZXN1bHRzIGFwcGx5Lg0KDQotLQ0KWW91IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNh dXNlIHlvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgR29vZ2xlIEdyb3VwcyAiSG9tb3RvcHkgVHlw ZSBUaGVvcnkiIGdyb3VwLg0KVG8gdW5zdWJzY3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9w IHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFpbCB0byBIb21vdG9weVR5cGVU aGUuLi5AZ29vZ2xlZ3JvdXBzLmNvbS4NCkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IGh0dHBzOi8v Z3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQuDQoNCg== --_000_1128BE39BBC44DC6879220134A6CAECDchalmersse_ Content-Type: text/html; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJ3b3JkLXdy YXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgLXdlYmtpdC1saW5lLWJy ZWFrOiBhZnRlci13aGl0ZS1zcGFjZTsiIGNsYXNzPSIiPg0KPGRpdiBjbGFzcz0iIj4NCjxkaXYg Y2xhc3M9IiI+Jm5ic3A7IElmIHdlIGFyZSBvbmx5IGludGVyZXN0ZWQgaW4gcHJvdmlkaW5nIG9u ZSAtcGFydGljdWxhci0gbW9kZWwgb2YgSElUcywgJm5ic3A7ICZuYnNwOyAmbmJzcDt0aGUmbmJz cDs8YSBocmVmPSJodHRwczovL2FyeGl2Lm9yZy9hYnMvMTYxMS4wMjEwOCIgY2xhc3M9IiI+cGFw ZXI8L2E+Jm5ic3A7PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPm9uICZuYnNwO2N1YmljYWwgdHlwZSAm bmJzcDt0aGVvcnkgZGVzY3JpYmVzIGEgd2F5IHRvICZuYnNwO2ludGVycHJldCBISVQgdG9nZXRo ZXIgd2l0aCBhIHVuaXZhbGVudDwvZGl2Pg0KPGRpdiBjbGFzcz0iIj51bml2ZXJzZSB3aGljaCBp cyBzdGFibGUgYnkgSElUIG9wZXJhdGlvbnMuIFRoaXMgZ2l2ZXMgaW4gcGFydGljdWxhciB0aGUg Y29uc2lzdGVuY3k8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+YW5kIHRoZSBwcm9vZiB0aGVvcmV0aWMg cG93ZXIgb2YgdGhpcyBleHRlbnNpb24gb2YgdHlwZSB0aGVvcnkuPC9kaXY+DQo8ZGl2IGNsYXNz PSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDsgVGhlIGFwcHJv YWNoIHVzZXMgYW4gb3BlcmF0aW9uIG9mICZuYnNwO+KAnGZsYXR0ZW5pbmcgYW4gb3BlbiBib3ji gJ0sIHdoaWNoIHNvbHZlcyBpbiZuYnNwOzwvZGl2Pg0KPGRpdiBjbGFzcz0iIj50aGlzIGNhc2Ug dGhlIGlzc3VlIG9mIGludGVycHJldGluZyBISVQgd2l0aCBwYXJhbWV0ZXJzIChzdWNoIGFzICZu YnNwOyBwcm9wb3NpdGlvbmFsJm5ic3A7PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPnRydW5jYXRpb24g b3Igc3VzcGVuc2lvbikgd2l0aG91dCBhbnkgY29oZXJlbmNlIGlzc3VlLjwvZGl2Pg0KPGRpdiBj bGFzcz0iIj5TaW5jZSB0aGUgc3ludGF4IHVzZWQgaW4gdGhpcyBwYXBlciBpcyBzbyBjbG9zZSB0 byB0aGUgc2VtYW50aWNzLCAmbmJzcDt3ZSBsaW1pdGVkJm5ic3A7PC9kaXY+DQo8ZGl2IGNsYXNz PSIiPm91cnNlbHZlcyAmbmJzcDt0byBhIHN5bnRhY3RpY2FsIHByZXNlbnRhdGlvbiBvZiB0aGlz IGludGVycHJldGF0aW9uLiBCdXQgaXQgY2FuIGRpcmVjdGx5PC9kaXY+DQo8ZGl2IGNsYXNzPSIi PmJlIHRyYW5zZm9ybWVkIHRvIGEgc2VtYW50aWNhbCBpbnRlcnByZXRhdGlvbiwgYXMgZXhwbGFp bmVkIGluIHRoZSZuYnNwOzxhIGhyZWY9Imh0dHA6Ly93d3cuY3NlLmNoYWxtZXJzLnNlL35jb3F1 YW5kL2hpdDMucGRmIiBjbGFzcz0iIj5mb2xsb3dpbmcgbm90ZTwvYT4mbmJzcDs8L2Rpdj4NCjxk aXYgY2xhc3M9IiI+KHdoaWNoIGFsc28gaW5jb3Jwb3JhdGVzIGEgbmljZSBzaW1wbGlmaWNhdGlv biBvZiB0aGUgb3BlcmF0aW9uIG9mIGZsYXR0ZXJpbmc8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+YW4g b3BlbiBib3ggbm90aWNlZCBieSBteSBjb2F1dGhvcnMpLiBJIGFsc28gdHJ5IHRvIG1ha2UgbW9y ZSBleHBsaWNpdCBpbiB0aGUgbm90ZSZuYnNwOzwvZGl2Pg0KPGRpdiBjbGFzcz0iIj53aGF0IGlz IHRoZSBwcm9ibGVtIHNvbHZlZCBieSB0aGUg4oCcZmxhdHRlbmluZyBib3hlc+KAnSBtZXRob2Qu ICZuYnNwOzwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYg Y2xhc3M9IiI+Jm5ic3A7T25seSB0aGUgY2FzZXMgb2YgdGhlIHNwaGVyZXMgYW5kIHByb3Bvc2l0 aW9uYWwgdHJ1bmNhdGlvbiBhcmUgZGVzY3JpYmVkLCBidXQgb25lJm5ic3A7PC9kaXY+DQo8ZGl2 IGNsYXNzPSIiPndvdWxkIGV4cGVjdCB0aGUgbWV0aG9kIHRvIGdlbmVyYWxpc2UgdG8gb3RoZXIg SElUcyBjb3ZlcmVkIGUuZy4gaW4gdGhlIEhvVFQgYm9vay48L2Rpdj4NCjwvZGl2Pg0KPGJyIGNs YXNzPSIiPg0KPGRpdj4NCjxibG9ja3F1b3RlIHR5cGU9ImNpdGUiIGNsYXNzPSIiPg0KPGRpdiBj bGFzcz0iIj5PbiAyNSBNYXkgMjAxNywgYXQgMjA6MjUsIE1pY2hhZWwgU2h1bG1hbiAmbHQ7PGEg aHJlZj0ibWFpbHRvOnNodS4uLkBzYW5kaWVnby5lZHUiIGNsYXNzPSIiPnNodS4uLkBzYW5kaWVn by5lZHU8L2E+Jmd0OyB3cm90ZTo8L2Rpdj4NCjxiciBjbGFzcz0iQXBwbGUtaW50ZXJjaGFuZ2Ut bmV3bGluZSI+DQo8ZGl2IGNsYXNzPSIiPg0KPGRpdiBjbGFzcz0iIj5UaGUgZm9sbG93aW5nIGxv bmctYXdhaXRlZCBwYXBlciBpcyBub3cgYXZhaWxhYmxlOjxiciBjbGFzcz0iIj4NCjxiciBjbGFz cz0iIj4NClNlbWFudGljcyBvZiBoaWdoZXIgaW5kdWN0aXZlIHR5cGVzPGJyIGNsYXNzPSIiPg0K UGV0ZXIgTGVGYW51IEx1bXNkYWluZSwgTWlrZSBTaHVsbWFuPGJyIGNsYXNzPSIiPg0KPGEgaHJl Zj0iaHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzE3MDUuMDcwODgiIGNsYXNzPSIiPmh0dHBzOi8vYXJ4 aXYub3JnL2Ficy8xNzA1LjA3MDg4PC9hPjxiciBjbGFzcz0iIj4NCjxiciBjbGFzcz0iIj4NCkZy b20gdGhlIGFic3RyYWN0OjxiciBjbGFzcz0iIj4NCjxiciBjbGFzcz0iIj4NCldlIGludHJvZHVj ZSB0aGUgbm90aW9uIG9mICpjZWxsIG1vbmFkIHdpdGggcGFyYW1ldGVycyo6IGE8YnIgY2xhc3M9 IiI+DQpzZW1hbnRpY2FsbHktZGVmaW5lZCBzY2hlbWUgZm9yIHNwZWNpZnlpbmcgaG9tb3RvcGlj YWxseSB3ZWxsLWJlaGF2ZWQ8YnIgY2xhc3M9IiI+DQpub3Rpb25zIG9mIHN0cnVjdHVyZS4gV2Ug dGhlbiBzaG93IHRoYXQgYW55IHN1aXRhYmxlIG1vZGVsIGNhdGVnb3J5PGJyIGNsYXNzPSIiPg0K aGFzICp3ZWFrbHkgc3RhYmxlIHR5cGFsIGluaXRpYWwgYWxnZWJyYXMqIGZvciBhbnkgY2VsbCBt b25hZCB3aXRoPGJyIGNsYXNzPSIiPg0KcGFyYW1ldGVycy4gV2hlbiBjb21iaW5lZCB3aXRoIHRo ZSBsb2NhbCB1bml2ZXJzZXMgY29uc3RydWN0aW9uIHRvPGJyIGNsYXNzPSIiPg0Kb2J0YWluIHN0 cmljdCBzdGFiaWxpdHksIHRoaXMgc3BlY2lhbGl6ZXMgdG8gZ2l2ZSBtb2RlbHMgb2Ygc3BlY2lm aWM8YnIgY2xhc3M9IiI+DQpoaWdoZXIgaW5kdWN0aXZlIHR5cGVzLCBpbmNsdWRpbmcgc3BoZXJl cywgdGhlIHRvcnVzLCBwdXNob3V0IHR5cGVzLDxiciBjbGFzcz0iIj4NCnRydW5jYXRpb25zLCB0 aGUgSmFtZXMgY29uc3RydWN0aW9uLCBhbmQgZ2VuZXJhbCBsb2NhbGlzYXRpb25zLjxiciBjbGFz cz0iIj4NCjxiciBjbGFzcz0iIj4NCk91ciByZXN1bHRzIGFwcGx5IGluIGFueSBzdWZmaWNpZW50 bHkgbmljZSBRdWlsbGVuIG1vZGVsIGNhdGVnb3J5LDxiciBjbGFzcz0iIj4NCmluY2x1ZGluZyBh bnkgcmlnaHQgcHJvcGVyIHNpbXBsaWNpYWwgQ2lzaW5za2kgbW9kZWwgY2F0ZWdvcnkgKHN1Y2gg YXM8YnIgY2xhc3M9IiI+DQpzaW1wbGljaWFsIHNldHMpIGFuZCBhbnkgbG9jYWxseSBwcmVzZW50 YWJsZSBsb2NhbGx5IGNhcnRlc2lhbiBjbG9zZWQ8YnIgY2xhc3M9IiI+DQpjYXRlZ29yeSAoc3Vj aCBhcyBzZXRzKSB3aXRoIGl0cyB0cml2aWFsIG1vZGVsIHN0cnVjdHVyZS4gSW48YnIgY2xhc3M9 IiI+DQpwYXJ0aWN1bGFyLCBhbnkgbG9jYWxseSBwcmVzZW50YWJsZSBsb2NhbGx5IGNhcnRlc2lh biBjbG9zZWQ8YnIgY2xhc3M9IiI+DQoo4oieLDEpLWNhdGVnb3J5IGlzIHByZXNlbnRlZCBieSBz b21lIG1vZGVsIGNhdGVnb3J5IHRvIHdoaWNoIG91cjxiciBjbGFzcz0iIj4NCnJlc3VsdHMgYXBw bHkuPGJyIGNsYXNzPSIiPg0KPGJyIGNsYXNzPSIiPg0KLS0gPGJyIGNsYXNzPSIiPg0KWW91IHJl Y2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNhdXNlIHlvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgR29v Z2xlIEdyb3VwcyAmcXVvdDtIb21vdG9weSBUeXBlIFRoZW9yeSZxdW90OyBncm91cC48YnIgY2xh c3M9IiI+DQpUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5n IGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90b3B5VHlwZVRoZW9yeSYjNDM7 dW5zdS4uLkBnb29nbGVncm91cHMuY29tLjxiciBjbGFzcz0iIj4NCkZvciBtb3JlIG9wdGlvbnMs IHZpc2l0IGh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQuPGJyIGNsYXNzPSIiPg0K PC9kaXY+DQo8L2Rpdj4NCjwvYmxvY2txdW90ZT4NCjwvZGl2Pg0KPGJyIGNsYXNzPSIiPg0KPC9i b2R5Pg0KPC9odG1sPg0K --_000_1128BE39BBC44DC6879220134A6CAECDchalmersse_--