From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a5d:6305:: with SMTP id i5mr5870787wru.203.1587155360314; Fri, 17 Apr 2020 13:29:20 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5d:42c9:: with SMTP id t9ls4044559wrr.4.gmail; Fri, 17 Apr 2020 13:29:19 -0700 (PDT) X-Received: by 2002:adf:fc11:: with SMTP id i17mr6256764wrr.152.1587155359051; Fri, 17 Apr 2020 13:29:19 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1587155359; cv=none; d=google.com; s=arc-20160816; b=YcGJTqfy1xel6jjcBwjAnr4VaFb8bdH0YdmTjv+hfkxlsRi6h4oIz+L7hNoLPfWWmO PQSMxtxHjU+Bnn83LehkfVP5IZq/DHS0CVaKrHRGLhfB1dcbBAS2h5uthRukKJIBDI6Y 2ley4mDSECygXZxQHWMKDnu8g2HMFDJAVTSBiU8iIw/VqBDi7mjYt9fNOTmWVhOkXZlX Me/PyS6LQbKaa1SopPDK7fb8KzsLMUyB3wUaATcOQ3zCtUc6dFTdEER/qiQYJeFGM4Kn MSxYGN217dOV8luI6PSZ6KaNL92aL6nEOAFbhVlk+t4g33OK72Z12WZNVhZTt1prpGN5 a79g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from; bh=/7ZmrkmkbqRUqX+QkbyDIJv3fTAkntQ8+Fp7S79Eofg=; b=aUTQh8Nlvh6R2tBAfePD2neyKZC8Ka1c3IHb3qObY85yquDfo8E5MbVdFY6B77lzRS zFmPskpg5FTn8Jhx22sjNSav2HDsRlNFob4Tb0qbS4A6iooZsioPAlFkv4RmHGeUrPYw qzU0gP3afXzmtfYaCFpbBiTCbNdYCaz87rUHbotyjwoR/lkHQqsgn0PHKydiz8ciT3Nj tyue2hUv3lsIRqukQ9C+y0KhxLNEdk6UdPjnqr/jw3HAVfa4m0zoWDMn1lwFFSNwNBC8 MF7J38m1ZZOvKA1NmsVJp6aDeZIUHPy5BAJtL08HZDpaiOFlnDJajsJ3dK9LwTUeq5cr e2MQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of thierry...@cse.gu.se designates 129.16.226.133 as permitted sender) smtp.mailfrom=Thierry...@cse.gu.se Return-Path: Received: from targaryen.ita.chalmers.se (targaryen.ita.chalmers.se. [129.16.226.133]) by gmr-mx.google.com with ESMTPS id u16si404308wmd.2.2020.04.17.13.29.18 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 17 Apr 2020 13:29:18 -0700 (PDT) Received-SPF: pass (google.com: domain of thierry...@cse.gu.se designates 129.16.226.133 as permitted sender) client-ip=129.16.226.133; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of thierry...@cse.gu.se designates 129.16.226.133 as permitted sender) smtp.mailfrom=Thierry...@cse.gu.se Received: from tyrell.ita.chalmers.se (129.16.226.132) by targaryen.ita.chalmers.se (129.16.226.133) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.1.1913.5; Fri, 17 Apr 2020 22:29:18 +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.1913.007; Fri, 17 Apr 2020 22:29:18 +0200 From: Thierry Coquand To: "HomotopyT...@googlegroups.com" Subject: constructive sheaf models Thread-Topic: constructive sheaf models Thread-Index: AQHWFPbeqAVab0NVL0u6q8sGmxKfSw== Date: Fri, 17 Apr 2020 20:29:18 +0000 Message-ID: <040A0397-9EFA-4503-BF91-CC1704526319@chalmers.se> 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_040A03979EFA4503BF91CC1704526319chalmersse_" MIME-Version: 1.0 --_000_040A03979EFA4503BF91CC1704526319chalmersse_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 DQogSW4gdGhlIGxhdGVzdCBIb1RURVNUIHNlbWluYXINCg0KaHR0cHM6Ly93d3cudXdvLmNhL21h dGgvZmFjdWx0eS9rYXB1bGtpbi9zZW1pbmFycy9ob3R0ZXN0Lmh0bWwNCg0KTWF0dGhldyBXZWF2 ZXIgbWFkZSBhIHJlZmVyZW5jZSB0byBvdXIgd29yayB3aXRoIEZhYmlhbiBSdWNoIG9uDQpjb25z dHJ1Y3RpdmUgc2hlYWYgbW9kZWxzLiBBIGxpbmsgaXMNCg0KIGh0dHBzOi8vYXJ4aXYub3JnL2Fi cy8xOTEyLjEwNDA3DQoNCg0KIEhlcmUgYXJlIHNvbWUgcmVtYXJrcyAoYW5kIGFuIGltcG9ydGFu dCBjb3JyZWN0aW9uKSB0aGF0IG1heSBoZWxwIGluIGZvbGxvd2luZw0Kd2hhdCB3ZSB3cm90ZSBh bmQgdGhhdCB3aWxsIGJlIGluY29ycG9yYXRlZCBpbiBhIGZ1dHVyZSB2ZXJzaW9uOg0KDQogLXRo ZSBhbmFsb2d5IHdpdGggbW9ycGhpc21zIG9mIHRyaWJlcyAoU2VjdGlvbiAxKSBpcyBtaXNsZWFk aW5nLg0KV2Ugc2hvdWxkIGhhdmUgc3RhdGVkIGl0IGluc3RlYWQgYXMgYW4gYW5hbG9neSB3aXRo IHRoZSBub3Rpb24gb2YgbW9ycGhpc21zDQpvZiAtZmlicmF0aW9uIGNhdGVnb3J5LSAoaW52b2x2 aW5nIGZpYnJhdGlvbnMsIGVxdWl2YWxlbmNlcywgdGVybWluYWwgb2JqZWN0cyBhbmQNCnB1bGxi YWNrcyBhbG9uZyBmaWJyYXRpb25zKS4gIFdlIG93ZSB0aGlzIGNvcnJlY3Rpb24gdG8gQ2hyaXN0 aWFuIFNhdHRsZXIuDQoNCiAtaW5kZWVkIHdoYXQgd2UgdXNlIGltcGxpY2l0bHkgIGluIFNlY3Rp b24gMSBpcyB0aGUgbm90aW9uIG9mIGZpYnJhdGlvbiBjYXRlZ29yeSBhc3NvY2lhdGVkDQp0byBh IHR5cGUgdGhlb3J5LiBUaGlzIGlzIGRlc2NyaWJlZCBpbiBwYXJ0aWN1bGFyIGluIHRoZSB3b3Jr IG9mIEF2aWdhZC1LYXB1bGtpbi1MdW1zZGFpbmUsDQp0aGF0IHdlIHNob3VsZCBoYXZlIGNpdGVk IHNpbmNlIGl0IGlsbHVtaW5hdGVzIHdoYXQgaXMgZ29pbmcgb24gaW4gdGhlIEFwcGVuZGl4DQoN CiAtYSBsZXggb3BlcmF0aW9uIEQgKGZpZ3VyZSAxIGluIHRoZSBBcHBlbmRpeCkgaXMgaW4gcGFy dGljdWxhciBhIHBvaW50ZWQgZW5kb2Z1bmN0b3IgXGV0YV9YIDogWCAtPiBEWA0KYW5kIHdlIGlz b2xhdGUgaW4gU2VjdGlvbiAxIHR3byBjb25kaXRpb25zIGZvciBpdCB0byBnZW5lcmF0ZSBhIGxl eCBtb2RhbGl0eQ0KDQogKDEpICBpZiBcZXRhX1ggaGFzIGEgaG9tb3RvcHkgbGVmdCBpbnZlcnNl LCBpdCBpcyBhbiBlcXVpdmFsZW5jZQ0KICgyKSAgRCBwcmVzZXJ2ZXMgZXRhbGUgZmlicmF0aW9u DQoNCihhIGZpYnJhdGlvbiBpcyBldGFsZSBpZiB0aGUgY29ycmVzcG9uZGluZyBkaWFncmFtIHdp dGggdGhlIFxldGEgbWFwcyBpcyBhIGhvbW90b3B5IHB1bGxiYWNrKQ0KDQogSWYgTVgsIFggLT4g TVggaXMgdGhlIGhvbW90b3B5IGluaXRpYWwgRC1hbGdlYnJhIGdlbmVyYXRlZCBieSBYLCB0aGVu ICgxKSBpbXBsaWVzIHRoYXQgTSBkZWZpbmVzIGEgLW1vZGFsaXR5LQ0KKHN1Y2ggdGhhdCBYIGlz IE0tbW9kYWwgaWZmIFxldGFfWCBpcyBhbiBlcXVpdmFsZW5jZSkNCmFuZCAoMSkrKDIpIGltcGx5 IHRoYXQgTSBpcyBhIC1sZWZ0IGV4YWN0IG1vZGFsaXR5LSAodGhlIHByb29mIG1ha2VzIHVzZSBv ZiBhIHVuaXZlcnNlKQ0KDQogLURlZmluaXRpb24gMS4yIHByb3ZpZGVzIHR3byBzdWZmaWNpZW50 IGNvbmRpdGlvbnMgdGhhdCBpbXBseSByZXNwZWN0aXZlbHkgKDEpIGFuZCAoMikuDQpXZSBjaGVj ayBpbiBTZWN0aW9uIDQgdGhhdCB0aGVzZSBjb25kaXRpb25zIGhvbGQgZm9yIHRoZSDigJxpbnR1 aXRpdmXigJ0gbm90aW9uIG9mIGRlc2NlbnQgZGF0YQ0Kd2hpY2ggaXMgZGVzY3JpYmVkIGluIHRo ZSBpbnRyb2R1Y3Rpb24gKGFuZCB0aGF0IE1hdHRoZXcgZGVzY3JpYmVkIGluIGhpcyB0YWxrKS4g SWYgY29ycmVjdCwgdGhpcw0KcHJvdmlkZXMgYSBjb25zdHJ1Y3RpdmUgZGVzY3JpcHRpb24gb2Yg dGhlIG1vZGVsIG9mIHNoZWFmIG9mIHNwYWNlcyBvdmVyIGEgMS1zaXRlDQoNCiAtYXMgbWVudGlv bmVkIGJ5IE1hdHRoZXcgaW4gaGlzIHRhbGssIHRoZSBjb25uZWN0aW9ucyBiZXR3ZWVuIHRoaXMg bm90aW9uIG9mIGRlc2NlbnQgZGF0YQ0KYW5kIHRoZSBjb2JhciBvcGVyYXRpb24gdXNlZCBieSBN aWtlIFNodWxtYW4gaW4gaGlzIHJlY2VudCB3b3JrIG9uIHN0cmljdCB1bml2YWxlbnQgdW5pdmVy c2VzDQpuZWVkIHRvIGJlIGJldHRlciB1bmRlcnN0b29kDQoNCiBCZXN0IHJlZ2FyZHMsDQogVGhp ZXJyeQ0K --_000_040A03979EFA4503BF91CC1704526319chalmersse_ Content-Type: text/html; charset="utf-8" Content-ID: <387B3CDD2E100341...@chalmers.se> Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJ3b3JkLXdy YXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0 ZXItd2hpdGUtc3BhY2U7IiBjbGFzcz0iIj4NCjxkaXYgY2xhc3M9IiI+PGJyIGNsYXNzPSIiPg0K PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPg0KPGRpdiBjbGFzcz0iIj4mbmJzcDtJbiB0aGUgbGF0ZXN0 IEhvVFRFU1Qgc2VtaW5hcjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rp dj4NCjxkaXYgY2xhc3M9IiI+PGEgaHJlZj0iaHR0cHM6Ly93d3cudXdvLmNhL21hdGgvZmFjdWx0 eS9rYXB1bGtpbi9zZW1pbmFycy9ob3R0ZXN0Lmh0bWwiIGNsYXNzPSIiPmh0dHBzOi8vd3d3LnV3 by5jYS9tYXRoL2ZhY3VsdHkva2FwdWxraW4vc2VtaW5hcnMvaG90dGVzdC5odG1sPC9hPjwvZGl2 Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+TWF0 dGhldyBXZWF2ZXIgbWFkZSBhIHJlZmVyZW5jZSB0byBvdXIgd29yayB3aXRoIEZhYmlhbiBSdWNo IG9uJm5ic3A7PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPmNvbnN0cnVjdGl2ZSBzaGVhZiBtb2RlbHMu IEEgbGluayBpczwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxk aXYgY2xhc3M9IiI+Jm5ic3A7PGEgaHJlZj0iaHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzE5MTIuMTA0 MDciIGNsYXNzPSIiPmh0dHBzOi8vYXJ4aXYub3JnL2Ficy8xOTEyLjEwNDA3PC9hPjwvZGl2Pg0K PGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+PGJyIGNs YXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPiZuYnNwO0hlcmUgYXJlIHNvbWUgcmVtYXJr cyAoYW5kIGFuIGltcG9ydGFudCBjb3JyZWN0aW9uKSB0aGF0IG1heSBoZWxwIGluIGZvbGxvd2lu ZzwvZGl2Pg0KPGRpdiBjbGFzcz0iIj53aGF0IHdlIHdyb3RlIGFuZCB0aGF0IHdpbGwgYmUgaW5j b3Jwb3JhdGVkIGluIGEgZnV0dXJlIHZlcnNpb246PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBj bGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDstdGhlIGFuYWxvZ3kgd2l0aCBt b3JwaGlzbXMgb2YgdHJpYmVzIChTZWN0aW9uIDEpIGlzIG1pc2xlYWRpbmcuPC9kaXY+DQo8ZGl2 IGNsYXNzPSIiPldlIHNob3VsZCBoYXZlIHN0YXRlZCBpdCBpbnN0ZWFkIGFzIGFuIGFuYWxvZ3kg d2l0aCB0aGUgbm90aW9uIG9mIG1vcnBoaXNtczwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5vZiAtZmli cmF0aW9uIGNhdGVnb3J5LSAoaW52b2x2aW5nIGZpYnJhdGlvbnMsIGVxdWl2YWxlbmNlcywgdGVy bWluYWwgb2JqZWN0cyBhbmQmbmJzcDs8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+cHVsbGJhY2tzIGFs b25nIGZpYnJhdGlvbnMpLiAmbmJzcDtXZSBvd2UgdGhpcyBjb3JyZWN0aW9uIHRvIENocmlzdGlh biBTYXR0bGVyLjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxk aXYgY2xhc3M9IiI+Jm5ic3A7LWluZGVlZCB3aGF0IHdlIHVzZSBpbXBsaWNpdGx5ICZuYnNwO2lu IFNlY3Rpb24gMSBpcyB0aGUgbm90aW9uIG9mIGZpYnJhdGlvbiBjYXRlZ29yeSBhc3NvY2lhdGVk PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPnRvIGEgdHlwZSB0aGVvcnkuIFRoaXMgaXMgZGVzY3JpYmVk IGluIHBhcnRpY3VsYXIgaW4gdGhlIHdvcmsgb2YgQXZpZ2FkLUthcHVsa2luLUx1bXNkYWluZSw8 L2Rpdj4NCjxkaXYgY2xhc3M9IiI+dGhhdCB3ZSBzaG91bGQgaGF2ZSBjaXRlZCBzaW5jZSBpdCBp bGx1bWluYXRlcyB3aGF0IGlzIGdvaW5nIG9uIGluIHRoZSBBcHBlbmRpeDwvZGl2Pg0KPGRpdiBj bGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+Jm5ic3A7LWEgbGV4 IG9wZXJhdGlvbiBEIChmaWd1cmUgMSBpbiB0aGUgQXBwZW5kaXgpIGlzIGluIHBhcnRpY3VsYXIg YSBwb2ludGVkIGVuZG9mdW5jdG9yIFxldGFfWCA6IFggLSZndDsgRFg8L2Rpdj4NCjxkaXYgY2xh c3M9IiI+YW5kIHdlIGlzb2xhdGUgaW4gU2VjdGlvbiAxIHR3byBjb25kaXRpb25zIGZvciBpdCB0 byBnZW5lcmF0ZSBhIGxleCBtb2RhbGl0eTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9 IiI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+Jm5ic3A7KDEpICZuYnNwO2lmIFxldGFfWCBoYXMg YSBob21vdG9weSBsZWZ0IGludmVyc2UsIGl0IGlzIGFuIGVxdWl2YWxlbmNlPC9kaXY+DQo8ZGl2 IGNsYXNzPSIiPiZuYnNwOygyKSAmbmJzcDtEIHByZXNlcnZlcyBldGFsZSBmaWJyYXRpb248L2Rp dj4NCjxkaXYgY2xhc3M9IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPihh IGZpYnJhdGlvbiBpcyBldGFsZSBpZiB0aGUgY29ycmVzcG9uZGluZyBkaWFncmFtIHdpdGggdGhl IFxldGEgbWFwcyBpcyBhIGhvbW90b3B5IHB1bGxiYWNrKTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48 YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+Jm5ic3A7SWYgTVgsIFggLSZndDsg TVggaXMgdGhlIGhvbW90b3B5IGluaXRpYWwgRC1hbGdlYnJhIGdlbmVyYXRlZCBieSBYLCB0aGVu ICgxKSBpbXBsaWVzIHRoYXQgTSBkZWZpbmVzIGEgLW1vZGFsaXR5LTwvZGl2Pg0KPGRpdiBjbGFz cz0iIj4oc3VjaCB0aGF0IFggaXMgTS1tb2RhbCBpZmYgXGV0YV9YIGlzIGFuIGVxdWl2YWxlbmNl KSZuYnNwOzwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5hbmQgKDEpJiM0MzsoMikgaW1wbHkgdGhhdCBN IGlzIGEgLWxlZnQgZXhhY3QgbW9kYWxpdHktICh0aGUgcHJvb2YgbWFrZXMgdXNlIG9mIGEgdW5p dmVyc2UpPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBj bGFzcz0iIj4mbmJzcDstRGVmaW5pdGlvbiAxLjIgcHJvdmlkZXMgdHdvIHN1ZmZpY2llbnQgY29u ZGl0aW9ucyB0aGF0IGltcGx5IHJlc3BlY3RpdmVseSAoMSkgYW5kICgyKS48L2Rpdj4NCjxkaXYg Y2xhc3M9IiI+V2UgY2hlY2sgaW4gU2VjdGlvbiA0IHRoYXQgdGhlc2UgY29uZGl0aW9ucyBob2xk IGZvciB0aGUg4oCcaW50dWl0aXZl4oCdIG5vdGlvbiBvZiBkZXNjZW50IGRhdGE8L2Rpdj4NCjxk aXYgY2xhc3M9IiI+d2hpY2ggaXMgZGVzY3JpYmVkIGluIHRoZSBpbnRyb2R1Y3Rpb24gKGFuZCB0 aGF0IE1hdHRoZXcgZGVzY3JpYmVkIGluIGhpcyB0YWxrKS4gSWYgY29ycmVjdCwgdGhpczwvZGl2 Pg0KPGRpdiBjbGFzcz0iIj5wcm92aWRlcyBhIGNvbnN0cnVjdGl2ZSBkZXNjcmlwdGlvbiBvZiB0 aGUgbW9kZWwgb2Ygc2hlYWYgb2Ygc3BhY2VzIG92ZXIgYSAxLXNpdGU8L2Rpdj4NCjxkaXYgY2xh c3M9IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPiZuYnNwOy1hcyBtZW50 aW9uZWQgYnkgTWF0dGhldyBpbiBoaXMgdGFsaywgdGhlIGNvbm5lY3Rpb25zIGJldHdlZW4gdGhp cyBub3Rpb24gb2YgZGVzY2VudCBkYXRhPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPmFuZCB0aGUgY29i YXIgb3BlcmF0aW9uIHVzZWQgYnkgTWlrZSBTaHVsbWFuIGluIGhpcyByZWNlbnQgd29yayBvbiBz dHJpY3QgdW5pdmFsZW50IHVuaXZlcnNlczwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5uZWVkIHRvIGJl IGJldHRlciB1bmRlcnN0b29kJm5ic3A7PC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0i Ij4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj4mbmJzcDtCZXN0IHJlZ2FyZHMsPC9kaXY+DQo8ZGl2 IGNsYXNzPSIiPiZuYnNwO1RoaWVycnk8L2Rpdj4NCjwvZGl2Pg0KPC9ib2R5Pg0KPC9odG1sPg0K --_000_040A03979EFA4503BF91CC1704526319chalmersse_--