From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a1c:8895:: with SMTP id k143-v6mr964839wmd.15.1526758724264; Sat, 19 May 2018 12:38:44 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:80ca:: with SMTP id b193-v6ls1064158wmd.9.gmail; Sat, 19 May 2018 12:38:43 -0700 (PDT) X-Received: by 2002:a1c:90d2:: with SMTP id s201-v6mr957893wmd.23.1526758723408; Sat, 19 May 2018 12:38:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1526758723; cv=none; d=google.com; s=arc-20160816; b=whvKzdOttRAlCGJjSlWT7FIJ70Y1Lc4I5OwSddl+W8v5V19ptmn/uFX8jLj1ygDx0s hsmEhUlF1yKfVVbqIu1lfG1oRewmoSKlHdqwsX/36YNA4zscnx7kU3iHt2l1sk3oF5rJ aqdIZuX+iVGKGbjOGk+FpCiUfBc/ykeOYSLMJMtLTrKYUOi13MmhXUDmmBOfBhvJ/yas srciqFtEDs66e5ZPaW+QRDYBq6roR7M8o0z+8UL5aIq+Od+giLXqAAEc8RfriXDV+tpS unNbGv/+dHQMgEcmf4Iui6mzq1jXI34VMKmiw4KYv9etpVRba9aNEafMNRrsedyldyY5 czJQ== 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=fskC2cai1D5xv9/h2LBuhawIEitJH9zwOzNJCfpC+tw=; b=vNYMJokaxXYuSAlHbG3Jon2NBWm/CPHl6z8uSOxU3mvvfZ5HblA2KCoAUnn1OeY+ZB Go0icRKjTqYSiDonFK2WNqInrxQn+TBXDBwSqrMXfuYAHoeyXx3BDPe8EjpKScG0042j 16LUNK8USPBm4Dn6akoEIIJ0yryY5mqXuNrnCVG9k/oQzXIshm6KYJVbbP8u+eUa1nDX hbU5n7N5XPU1Za5LzMy7b/NQLPozLDYMlhGKMdEZxaN3+/hLMmuw7DyLUtOG8ec6ICQO XTfLDtlpbpb9ixo6IrofNy9iQzGTixbeUGSiYvLAPS/V+6werOS24rcp7pUmqFN7UDxK OAOQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=neutral (google.com: 129.16.226.137 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 greyjoy.ita.chalmers.se (greyjoy.ita.chalmers.se. [129.16.226.137]) by gmr-mx.google.com with ESMTPS id p17-v6si586248wmd.2.2018.05.19.12.38.43 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Sat, 19 May 2018 12:38:43 -0700 (PDT) Received-SPF: neutral (google.com: 129.16.226.137 is neither permitted nor denied by best guess record for domain of thierry...@cse.gu.se) client-ip=129.16.226.137; Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 129.16.226.137 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 greyjoy.ita.chalmers.se (129.16.226.137) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.1.1415.2; Sat, 19 May 2018 21:38:42 +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; Sat, 19 May 2018 21:38:42 +0200 From: Thierry Coquand To: Nicolai Kraus CC: =?utf-8?B?TWFydMOtbiBIw7Z0emVsIEVzY2FyZMOz?= , Homotopy Type Theory Subject: Re: [HoTT] Univalence <-> equivalence induction Thread-Topic: [HoTT] Univalence <-> equivalence induction Thread-Index: AQHT7nKdWtKopobF80+zV9JHU0KrlKQ3OpGAgAAY/YA= Date: Sat, 19 May 2018 19:38:42 +0000 Message-ID: References: <4f23688f-af7c-43cb-946c-988f9d476848@googlegroups.com> <29ef9804-139a-6eb9-241c-b75c02a14094@gmail.com> In-Reply-To: <29ef9804-139a-6eb9-241c-b75c02a14094@gmail.com> 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_AF23D55CE17545BBAC5C097959AD1ED5chalmersse_" MIME-Version: 1.0 --_000_AF23D55CE17545BBAC5C097959AD1ED5chalmersse_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 IE5pY2UhIE1heWJlIG9uZSBjYW4gdXNlIHRoZSBzYW1lIGlkZWEgb24gdGhlIG90aGVyIGNoYXJh Y3RlcmlzYXRpb24gb2YgdW5pdmFsZW5jZSB0aGF0DQp3ZSBoYXZlDQoNCiBQaSAoWDpVKSAoZTpF cXVpdiBBIFgpICAgSWQgUyAgKEEsaWRBKSAoWCxlKQ0KDQp3aGVyZSBTID0gU2lnbWEgKFg6VSkg RXF1aXYgQSBYDQoNCiBUaGlzIHNob3VsZCBmb2xsb3cgZnJvbSBlcXVpdmFsZW5jZSBpbmR1Y3Rp b24uDQogVGhpZXJyeQ0KDQpPbiAxOSBNYXkgMjAxOCwgYXQgMjA6MDksIE5pY29sYWkgS3JhdXMg PG5pY29sYS4uLkBnbWFpbC5jb208bWFpbHRvOm5pY29sYS4uLkBnbWFpbC5jb20+PiB3cm90ZToN Cg0KSW50ZXJlc3RpbmchIEF0IGxlYXN0IEkgaGFkIG5vdCBiZWVuIGF3YXJlIG9mIGl0LiBJIHRo aW5rIHRoZXJlJ3MgYW5vdGhlciB2ZXJ5IHNob3J0IHdheSB0byBzZWUgdGhhdCAiZXF1aXZhbGVu Y2UgaW5kdWN0aW9uIHdpdGhvdXQgY29tcHV0YXRpb24gcnVsZSIgaW1wbGllcyB1bml2YWxlbmNl LiBSZWNhbGwgdGhlIENhcHJpb3R0aS9MaWNhdGEvT3J0b24tUGl0dHMgb2JzZXJ2YXRpb24gd2hp Y2ggc2F5cyB0aGF0IHVhICsgdWEtYmV0YSAoaS5lLiBhIGZ1bmN0aW9uIEF+QiAtPiBBPUIgd2hp Y2ggaXMgYSBzZWN0aW9uIG9mIEE9QiAtPiBBfkIpIGltcGx5IGZ1bGwgdW5pdmFsZW5jZTsgc2Vl IGFyWGl2OjE3MTIuMDQ4OTAsIDQuNi4NCkJ5IGRpc3RyaWJ1dGl2aXR5IG9mIFBpIGFuZCBTaWdt YSwgd2UgY2FuIHdyaXRlIHRoZSB0eXBlIG9mIHBhaXJzICh1YSx1YS1iZXRhKSBhcyBhIHR5cGUg ZmFtaWx5IFAgaW5kZXhlZCBvdmVyIGVxdWl2YWxlbmNlczogZm9yIHR5cGVzIEEsQiBhbmQgYW4g ZXF1aXZhbGVuY2UgZTogQX5CLCB3ZSBkZWZpbmUgUChBLEIsZSkgOj0gU2lnbWEgKHA6QT1CKS4g aWQyZXF1aXYocCk9ZS4gVG8gaW5oYWJpdCBQLCB3ZSBhcHBseSBlcXVpdmFsZW5jZSBpbmR1Y3Rp b24uDQpJdCBzZWVtcyB0aGVyZSBhcmUgbWFueSBzdWNoICJjb2hlcmlmaWNhdGlvbiItY29uc3Ry dWN0aW9ucyBpbiBIb1RULg0KLS0gTmljb2xhaQ0KDQoNCk9uIDE4LzA1LzE4IDA3OjM2LCBNYXJ0 w61uIEjDtnR6ZWwgRXNjYXJkw7Mgd3JvdGU6DQpFcXVpdmFsZW5jZSBpbmR1Y3Rpb24gc2F5cyB0 aGF0IGluIG9yZGVyIHRvIHByb3ZlIHNvbWV0aGluZyBmb3IgYWxsIGVxdWl2YWxlbmNlcywgaXQg aXMgZW5vdWdoIHRvIHByb3ZlIGl0IGZvciBhbGwgaWRlbnRpdHkgZXF1aXZhbGVuY2VzIGZvciBh bGwgdHlwZXMuDQoNClRoaXMgZm9sbG93cyBmcm9tIHVuaXZhbGVuY2UuIEJ1dCBhbHNvLCBjb252 ZXJzZWx5LCB1bml2YWxlbmNlIGZvbGxvd3MgZnJvbSBpdDoNCg0KICAgaHR0cDovL3d3dy5jcy5i aGFtLmFjLnVrL35taGUvYWdkYS1uZXcvVUYtVW5pdmFsZW5jZS5odG1sI0pFcQ0KDQpJcyB0aGlz IGtub3duPyBTb21lIHllYXJzIGFnbyBpdCB3YXMgY2xhaW1lZCBpbiB0aGlzIGxpc3QgdGhhdCBl cXVpdmFsZW5jZSBpbmR1Y3Rpb24gd291bGQgYmUgc3RyaWN0bHkgd2Vha2VyIHRoYW4gdW5pdmFs ZW5jZS4NCg0KVG8gcHJvdmUgdGhlIGFib3ZlLCBJIGFwcGx5IGEgdGVjaG5pcXVlIEkgbGVhcm5l ZCBmcm9tIFBldGVyIEx1bXNkYWluZSwgdGhhdCBnaXZlbiBhbiBhYnN0cmFjdCBpZGVudGl0eSBz eXN0ZW0gKElkLCByZWZsICwgSikgd2l0aCBubyBnaXZlbiAiY29tcHV0YXRpb24gcnVsZSIgZm9y IEosIHByb2R1Y2VzIGFub3RoZXIgaWRlbnRpdHkgc3lzdGVtIChJZCwgcmVmbCAsIEonICwgSict Y29tcCkgd2l0aA0KYSAicHJvcG9zaXRpb25hbCBjb21wdXRhdGlvbiBydWxlIiBKJy1jb21wIGZv ciBKJy4NCg0KICAgaHR0cDovL3d3dy5jcy5iaGFtLmFjLnVrL35taGUvYWdkYS1uZXcvTHVtc2Rh aW5lLmh0bWwNCg0KTWFydGluDQoNCi0tDQpZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1 c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBl IFRoZW9yeSIgZ3JvdXAuDQpUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3Ag cmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90b3B5VHlwZVRo ZS4uLkBnb29nbGVncm91cHMuY29tPG1haWx0bzpIb21vdG9weVR5cGVUaGUuLi5AZ29vZ2xlZ3Jv dXBzLmNvbT4uDQpGb3IgbW9yZSBvcHRpb25zLCB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUu Y29tL2Qvb3B0b3V0Lg0KDQoNCi0tDQpZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2Ug eW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRo ZW9yeSIgZ3JvdXAuDQpUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVj ZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90b3B5VHlwZVRoZS4u LkBnb29nbGVncm91cHMuY29tPG1haWx0bzpIb21vdG9weVR5cGVUaGUuLi5AZ29vZ2xlZ3JvdXBz LmNvbT4uDQpGb3IgbW9yZSBvcHRpb25zLCB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29t L2Qvb3B0b3V0Lg0KDQo= --_000_AF23D55CE17545BBAC5C097959AD1ED5chalmersse_ Content-Type: text/html; charset="utf-8" Content-ID: <0050A4CD0A500742...@chalmers.se> Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJ3b3JkLXdy YXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0 ZXItd2hpdGUtc3BhY2U7IiBjbGFzcz0iIj4NCiZuYnNwO05pY2UhIE1heWJlIG9uZSBjYW4gdXNl IHRoZSBzYW1lIGlkZWEgb24gdGhlIG90aGVyIGNoYXJhY3RlcmlzYXRpb24gb2YgdW5pdmFsZW5j ZSB0aGF0DQo8ZGl2IGNsYXNzPSIiPndlIGhhdmU8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+PGJyIGNs YXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPiZuYnNwO1BpIChYOlUpIChlOkVxdWl2IEEg WCkgJm5ic3A7IElkIFMgJm5ic3A7KEEsaWRBKSAoWCxlKTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48 YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+d2hlcmUgUyA9IFNpZ21hIChYOlUp IEVxdWl2IEEgWDwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxk aXYgY2xhc3M9IiI+Jm5ic3A7VGhpcyBzaG91bGQgZm9sbG93IGZyb20gZXF1aXZhbGVuY2UgaW5k dWN0aW9uLjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDtUaGllcnJ5PC9kaXY+DQo8ZGl2IGNs YXNzPSIiPg0KPGRpdiBjbGFzcz0iIj4NCjxkaXY+PGJyIGNsYXNzPSIiPg0KPGJsb2NrcXVvdGUg dHlwZT0iY2l0ZSIgY2xhc3M9IiI+DQo8ZGl2IGNsYXNzPSIiPk9uIDE5IE1heSAyMDE4LCBhdCAy MDowOSwgTmljb2xhaSBLcmF1cyAmbHQ7PGEgaHJlZj0ibWFpbHRvOm5pY29sYS4uLkBnbWFpbC5j b20iIGNsYXNzPSIiPm5pY29sYS4uLkBnbWFpbC5jb208L2E+Jmd0OyB3cm90ZTo8L2Rpdj4NCjxi ciBjbGFzcz0iQXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGluZSI+DQo8ZGl2IGNsYXNzPSIiPg0KPGRp diB0ZXh0PSIjMDAwMDAwIiBiZ2NvbG9yPSIjRkZGRkZGIiBjbGFzcz0iIj5JbnRlcmVzdGluZyEg QXQgbGVhc3QgSSBoYWQgbm90IGJlZW4gYXdhcmUgb2YgaXQuIEkgdGhpbmsgdGhlcmUncyBhbm90 aGVyIHZlcnkgc2hvcnQgd2F5IHRvIHNlZSB0aGF0ICZxdW90O2VxdWl2YWxlbmNlIGluZHVjdGlv biB3aXRob3V0IGNvbXB1dGF0aW9uIHJ1bGUmcXVvdDsgaW1wbGllcyB1bml2YWxlbmNlLiBSZWNh bGwgdGhlIENhcHJpb3R0aS9MaWNhdGEvT3J0b24tUGl0dHMNCiBvYnNlcnZhdGlvbiB3aGljaCBz YXlzIHRoYXQgdWEgJiM0MzsgdWEtYmV0YSAoaS5lLiBhIGZ1bmN0aW9uIEF+QiAtJmd0OyBBPUIg d2hpY2ggaXMgYSBzZWN0aW9uIG9mIEE9QiAtJmd0OyBBfkIpIGltcGx5IGZ1bGwgdW5pdmFsZW5j ZTsgc2VlIGFyWGl2OjE3MTIuMDQ4OTAsIDQuNi48YnIgY2xhc3M9IiI+DQpCeSBkaXN0cmlidXRp dml0eSBvZiBQaSBhbmQgU2lnbWEsIHdlIGNhbiB3cml0ZSB0aGUgdHlwZSBvZiBwYWlycyAodWEs dWEtYmV0YSkgYXMgYSB0eXBlIGZhbWlseSBQIGluZGV4ZWQgb3ZlciBlcXVpdmFsZW5jZXM6IGZv ciB0eXBlcyBBLEIgYW5kIGFuIGVxdWl2YWxlbmNlIGU6IEF+Qiwgd2UgZGVmaW5lIFAoQSxCLGUp IDo9IFNpZ21hIChwOkE9QikuIGlkMmVxdWl2KHApPWUuIFRvIGluaGFiaXQgUCwgd2UgYXBwbHkg ZXF1aXZhbGVuY2UgaW5kdWN0aW9uLjxiciBjbGFzcz0iIj4NCkl0IHNlZW1zIHRoZXJlIGFyZSBt YW55IHN1Y2ggJnF1b3Q7Y29oZXJpZmljYXRpb24mcXVvdDstY29uc3RydWN0aW9ucyBpbiBIb1RU LjxiciBjbGFzcz0iIj4NCi0tIE5pY29sYWk8YnIgY2xhc3M9IiI+DQo8YnIgY2xhc3M9IiI+DQo8 YnIgY2xhc3M9IiI+DQo8ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPk9uIDE4LzA1LzE4IDA3 OjM2LCBNYXJ0w61uIEjDtnR6ZWwgRXNjYXJkw7Mgd3JvdGU6PGJyIGNsYXNzPSIiPg0KPC9kaXY+ DQo8YmxvY2txdW90ZSB0eXBlPSJjaXRlIiBjaXRlPSJtaWQ6NGYyMzY4OGYtYWY3Yy00My4uLkBn b29nbGVncm91cHMuY29tIiBjbGFzcz0iIj4NCjxkaXYgZGlyPSJsdHIiIGNsYXNzPSIiPkVxdWl2 YWxlbmNlIGluZHVjdGlvbiBzYXlzIHRoYXQgaW4gb3JkZXIgdG8gcHJvdmUgc29tZXRoaW5nIGZv ciBhbGwgZXF1aXZhbGVuY2VzLCBpdCBpcyBlbm91Z2ggdG8gcHJvdmUgaXQgZm9yIGFsbCBpZGVu dGl0eSBlcXVpdmFsZW5jZXMgZm9yIGFsbCB0eXBlcy4NCjxkaXYgY2xhc3M9IiI+PGJyIGNsYXNz PSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPlRoaXMgZm9sbG93cyBmcm9tIHVuaXZhbGVuY2Uu IEJ1dCBhbHNvLCBjb252ZXJzZWx5LCB1bml2YWxlbmNlIGZvbGxvd3MgZnJvbSBpdDo8L2Rpdj4N CjxkaXYgY2xhc3M9IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPiZuYnNw OyAmbmJzcDs8YSBjbGFzcz0ibW96LXR4dC1saW5rLWZyZWV0ZXh0IiBocmVmPSJodHRwOi8vd3d3 LmNzLmJoYW0uYWMudWsvfm1oZS9hZ2RhLW5ldy9VRi1Vbml2YWxlbmNlLmh0bWwjSkVxIj5odHRw Oi8vd3d3LmNzLmJoYW0uYWMudWsvfm1oZS9hZ2RhLW5ldy9VRi1Vbml2YWxlbmNlLmh0bWwjSkVx PC9hPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8 L2Rpdj4NCjxkaXYgY2xhc3M9IiI+SXMgdGhpcyBrbm93bj8gU29tZSB5ZWFycyBhZ28gaXQgd2Fz IGNsYWltZWQgaW4gdGhpcyBsaXN0IHRoYXQgZXF1aXZhbGVuY2UgaW5kdWN0aW9uIHdvdWxkIGJl IHN0cmljdGx5IHdlYWtlciB0aGFuIHVuaXZhbGVuY2UuJm5ic3A7PC9kaXY+DQo8ZGl2IGNsYXNz PSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5UbyBwcm92ZSB0aGUgYWJv dmUsIEkgYXBwbHkgYSB0ZWNobmlxdWUgSSBsZWFybmVkIGZyb20gUGV0ZXIgTHVtc2RhaW5lLCB0 aGF0IGdpdmVuIGFuIGFic3RyYWN0IGlkZW50aXR5IHN5c3RlbSAoSWQsIHJlZmwgLCBKKSB3aXRo IG5vIGdpdmVuICZxdW90O2NvbXB1dGF0aW9uIHJ1bGUmcXVvdDsgZm9yIEosIHByb2R1Y2VzIGFu b3RoZXIgaWRlbnRpdHkgc3lzdGVtIChJZCwgcmVmbCAsIEonICwgSictY29tcCkgd2l0aDwvZGl2 Pg0KPGRpdiBjbGFzcz0iIj5hICZxdW90O3Byb3Bvc2l0aW9uYWwgY29tcHV0YXRpb24gcnVsZSZx dW90OyBKJy1jb21wIGZvciBKJy48L2Rpdj4NCjxkaXYgY2xhc3M9IiI+PGJyIGNsYXNzPSIiPg0K PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPiZuYnNwOyAmbmJzcDs8YSBjbGFzcz0ibW96LXR4dC1saW5r LWZyZWV0ZXh0IiBocmVmPSJodHRwOi8vd3d3LmNzLmJoYW0uYWMudWsvfm1oZS9hZ2RhLW5ldy9M dW1zZGFpbmUuaHRtbCI+aHR0cDovL3d3dy5jcy5iaGFtLmFjLnVrL35taGUvYWdkYS1uZXcvTHVt c2RhaW5lLmh0bWw8L2E+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBj bGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5NYXJ0aW48L2Rpdj4NCjxkaXYgY2xhc3M9 IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8L2Rpdj4NCi0tIDxiciBjbGFzcz0iIj4NCllvdSBy ZWNlaXZlZCB0aGlzIG1lc3NhZ2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIEdv b2dsZSBHcm91cHMgJnF1b3Q7SG9tb3RvcHkgVHlwZSBUaGVvcnkmcXVvdDsgZ3JvdXAuPGJyIGNs YXNzPSIiPg0KVG8gdW5zdWJzY3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2Vpdmlu ZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFpbCB0bw0KPGEgaHJlZj0ibWFpbHRvOkhvbW90 b3B5VHlwZVRoZW9yeSYjNDM7dW5zdS4uLkBnb29nbGVncm91cHMuY29tIiBtb3otZG8tbm90LXNl bmQ9InRydWUiIGNsYXNzPSIiPg0KSG9tb3RvcHlUeXBlVGhlb3J5JiM0Mzt1bnN1Li4uQGdvb2ds ZWdyb3Vwcy5jb208L2E+LjxiciBjbGFzcz0iIj4NCkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IDxh IGhyZWY9Imh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQiIG1vei1kby1ub3Qtc2Vu ZD0idHJ1ZSIgY2xhc3M9IiI+DQpodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2Qvb3B0b3V0PC9h Pi48YnIgY2xhc3M9IiI+DQo8L2Jsb2NrcXVvdGU+DQo8YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxk aXYgY2xhc3M9IiI+PGJyIGNsYXNzPSJ3ZWJraXQtYmxvY2stcGxhY2Vob2xkZXIiPg0KPC9kaXY+ DQotLSA8YnIgY2xhc3M9IiI+DQpZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91 IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICZxdW90O0hvbW90b3B5IFR5cGUg VGhlb3J5JnF1b3Q7IGdyb3VwLjxiciBjbGFzcz0iIj4NClRvIHVuc3Vic2NyaWJlIGZyb20gdGhp cyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwg dG8NCjxhIGhyZWY9Im1haWx0bzpIb21vdG9weVR5cGVUaGVvcnkmIzQzO3Vuc3UuLi5AZ29vZ2xl Z3JvdXBzLmNvbSIgY2xhc3M9IiI+SG9tb3RvcHlUeXBlVGhlb3J5JiM0Mzt1bnN1Li4uQGdvb2ds ZWdyb3Vwcy5jb208L2E+LjxiciBjbGFzcz0iIj4NCkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IDxh IGhyZWY9Imh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQiIGNsYXNzPSIiPmh0dHBz Oi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQ8L2E+LjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0K PC9ibG9ja3F1b3RlPg0KPC9kaXY+DQo8YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjwvZGl2Pg0KPC9i b2R5Pg0KPC9odG1sPg0K --_000_AF23D55CE17545BBAC5C097959AD1ED5chalmersse_--