From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a05:6808:910:: with SMTP id w16mr4379939oih.61.1588807757529; Wed, 06 May 2020 16:29:17 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6830:1de1:: with SMTP id b1ls110389otj.9.gmail; Wed, 06 May 2020 16:29:16 -0700 (PDT) X-Received: by 2002:a05:6830:214f:: with SMTP id r15mr8270659otd.239.1588807756126; Wed, 06 May 2020 16:29:16 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1588807756; cv=none; d=google.com; s=arc-20160816; b=MLY12ZX3YEcb66YovtYOUZTbSpT3GVXTYMimC1bKVeVrUQdVjxpxB3pc6evU8uSmIz gFVZTgJCgaFLe+4NIVKgMuswS34CEgGOcKN7g6yCE5Vwkpugz0kVUTIk1j/oMM5VNkiJ qW1xdrjncHpQ0sriJ7OLUTbyLbq0N1RSkm2+TFUsC6u5tHBbi4fwtAiKemXezWHUYXXa Vr1qdCU/h+kpT/ZHRB54qf4UK0x0Qgrqp807HY3bwsDbwkN6UwyijZffJ2IUxwlgs4+t m5LYvMUTfTdpROCDlgbQZ090E22GlIR4nIG6aULYx8u7Iu5CUTnRia5GFHIfkTcAJZWF xHsw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-language :accept-language:in-reply-to:references:message-id:date:thread-index :thread-topic:subject:cc:to:from:ironport-sdr; bh=BsC0uSq+Y2pIPHrBGXkZwXm39nzwHU5BWv/gOiArO0w=; b=oBrE2CVN89pHgIkFAw4K9YsI1DNsbyO3iYCqmvggeDQBTR82DFzBZihvKF/j21vkem vFV1w3mietp7lgAjFLk5fZA6NvnJfnihC67txjLn178RBu7cJ5sR82lUTP4tf5SFQ0i4 Adw/dFdh+60jdJTfV+zPBA2G9ClHLJ40PPCDOtXmfLih1bSTLJkaIePPJs8PqfA00nhe XLKD91f77co4I14YAHvhyHapXU5D8YxKNlTdD+GMG/00ZW60mLnhl0O0WadmTdMAWdBw OUfHtDqsCNUzl2Rv8diahRdO7E7dyDbTcvX8YbCUSxjlXHibAh9H8kXd+kipt0MpkJc0 VoBg== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of joyal...@uqam.ca designates 132.208.246.108 as permitted sender) smtp.mailfrom=joyal...@uqam.ca Return-Path: Received: from mail5.uqam.ca (vra-uqam.uqam.ca. [132.208.246.108]) by gmr-mx.google.com with ESMTP id x23si159402otq.4.2020.05.06.16.29.15 for ; Wed, 06 May 2020 16:29:15 -0700 (PDT) Received-SPF: pass (google.com: domain of joyal...@uqam.ca designates 132.208.246.108 as permitted sender) client-ip=132.208.246.108; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of joyal...@uqam.ca designates 132.208.246.108 as permitted sender) smtp.mailfrom=joyal...@uqam.ca IronPort-SDR: CLYlODwJ6f5Cr+uZd9PEvcgjo8u20jgd2qZvUqByeo4lEnDPj510XiK5ren9yANOggTCdyDfTI uSjkwk+tREM4Zffi1ZrO85pTKMknfVY70HOrOMrMdKXUlfTf5fXi2wPMr9TyXyQpmPg1kdCQGE 8chxLIzKc159YDBF0fQnEZszOksz4kAejrSNFqWLv6/iVPcc5fCl2eUUjUfCIzWxQxiq316786 64WqxaPwuOLrhbj1SpynfEvYB+l8l4vvVpwmdK64fWoGOpPmQeUjpcMNb6mv6D1VkVfX6SAS3K Cgc= X-IronPort-AV: E=Sophos;i="5.73,361,1583211600"; d="scan'208";a="11661726" Received: from unknown (HELO Message.gst.uqam.ca) ([132.208.216.70]) by mail7.uqam.ca with ESMTP; 06 May 2020 19:29:15 -0400 Received: from PLI.gst.uqam.ca ([169.254.3.153]) by Message.gst.uqam.ca ([169.254.1.218]) with mapi id 14.03.0439.000; Wed, 6 May 2020 19:29:14 -0400 From: =?utf-8?B?Sm95YWwsIEFuZHLDqQ==?= To: Thorsten Altenkirch , "Michael Shulman" , Steve Awodey CC: "homotopyt...@googlegroups.com" Subject: RE: [HoTT] Identity versus equality Thread-Topic: [HoTT] Identity versus equality Thread-Index: AQHWIrnt2rpL+UtjL0e4oihqoDCB+qibJxGOgACIG4CAAAS1AIAAPFAA//+/ZaQ= Date: Wed, 6 May 2020 23:29:13 +0000 Message-ID: <8C57894C7413F04A98DDF5629FEC90B1652F526C@Pli.gst.uqam.ca> References: <8C57894C7413F04A98DDF5629FEC90B1652F515E@Pli.gst.uqam.ca> <05375057-883F-4487-8919-2579F5771AFC@cmu.edu> ,<952EF822-FD92-404C-A279-89502238BCDC@nottingham.ac.uk> In-Reply-To: <952EF822-FD92-404C-A279-89502238BCDC@nottingham.ac.uk> Accept-Language: en-US, en-CA Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [132.208.216.81] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 RGVhciBUaG9yc3RlbiwKCkkgaGF2ZSBuYWl2ZSBxdWVzdGlvbiBmb3IgZXhwZXJ0cy4KCkkgYmVs aWV2ZSB0aGF0IGp1ZGdlbWVudGFsIGVxdWFsaXR5IGlzIG9uIHRoZSBzeW50YWN0aWMgc2lkZSBv ZiB0eXBlIHRoZW9yeSwgCndoaWxlIHByb3Bvc2l0aW9uYWwgZXF1YWxpdHkgaXMgb24gdGhlIHNl bWFudGljYWwgc2lkZS4KVGhlIGhvbW90b3BpY2FsIGludGVycHJldGF0aW9uIG9mIHR5cGUgdGhl b3J5IGlzIG1haW5seQpjb25jZXJuZWQgd2l0aCBwcm9wb3NpdGlvbmFsIGVxdWFsaXR5LgpXaGF0 IGlzIHRoZSBzZW1hbnRpYyBvZiBqdWRnZW1lbnRhbCBlcXVhbGl0eT8KKGluZGVwZW5kYW50bHkg b2YgdGhlIHNlbWFudGljIG9mIHByb3Bvc2l0aW9uYWwgZXF1YWxpdHkpLgpDb3VsZCB3ZSByZXZl cnNlIHRoZSByb2xlIG9mIHRoZSB0d28gZXF1YWxpdGllcz8KQ291bGQgd2UgcmVnYXJkIGp1ZGdl bWVudGFsIGVxdWFsaXR5IGFzIHRoZSB0cnVlIG1lYW5pbmcgCm9mIHR5cGUgdGhlb3J5LCB3aGls ZSByZWdhcmRpbmcgcHJvcG9zaXRpb25hbCBlcXVhbGl0eSAKYXMgYSBwdXJlbHkgZm9ybWFsIGdh bWU/CgpBbmRyw6kKCgoKCiAKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f XwpGcm9tOiBUaG9yc3RlbiBBbHRlbmtpcmNoIFtUaG9yc3Rlbi4uLi5Abm90dGluZ2hhbS5hYy51 a10KU2VudDogV2VkbmVzZGF5LCBNYXkgMDYsIDIwMjAgNjo1NCBQTQpUbzogTWljaGFlbCBTaHVs bWFuOyBTdGV2ZSBBd29kZXkKQ2M6IEpveWFsLCBBbmRyw6k7IGhvbW90b3B5dC4uLkBnb29nbGVn cm91cHMuY29tClN1YmplY3Q6IFJlOiBbSG9UVF0gSWRlbnRpdHkgdmVyc3VzIGVxdWFsaXR5CgpJ IGFncmVlIGJ1dCBsZXQgbWUgdHJ5IHRvIG1ha2UgdGhpcyBtb3JlIHByZWNpc2UuIFdlIGNhbm5v dCB0YWxrIGFib3V0IGp1ZGdlbWVudGFsIGVxdWFsaXR5IHdpdGhpbiBNYXRoZW1hdGljcyBpdCBp cyBub3QgYSBwcm9wb3NpdGlvbi4gSnVkZ2VtZW50YWwgZXF1YWxpdHkgaXMgaW1wb3J0YW50IHdo ZW4gd2UgdGFsayBhYm91dCBNYXRoZW1hdGljcywgaXQgaXMgYSBwcm9wZXJ0eSBvZiBhIG1hdGhl bWF0aWNhbCB0ZXh0LiBUaGUgc2FtZSBhcHBsaWVzIHRvIHR5cGluZzogd2UgY2Fubm90IHRhbGsg YWJvdXQgdHlwaW5nIGJlY2F1c2UgaXQgaXMgbm90IGEgcHJvcG9zaXRpb24gaXQgaXMgYSBwYXJ0 IG9mIHRoZSBzdHJ1Y3R1cmUgb2Ygb3VyIGFyZ3VtZW50LgoKVGhpcyBiZWNvbWVzIGNsZWFyIGlu IHRoZSBleGFtcGxlOiB3ZSB0YWxrIGFib3V0IG51bWJlcnMgYnV0IHgreSBpcyBhbiBleHByZXNz aW9uLCBoZW5jZSB0YWxraW5nIGFib3V0IGp1ZGdlbWVudGFsIGVxdWFsaXR5IG9ubHkgbWFrZXMg c2Vuc2Ugd2hlbiB3ZSB0YWxrIGFib3V0IE1hdGhlbWF0aWNzLiBUbyBzYXkgdGhhdCB4K3kgaXMg bm90IGp1ZGdlbWVudGFsIGVxdWFsIHRvIHkreCBkb2Vzbid0IG1ha2UgYW55IHNlbnNlIHdpdGhp biBvdXIgYXJndW1lbnQgaXQgaXMgYSBzZW50ZW5jZSBhYm91dCBpdC4KCldoZW4gSSBzYXkgdGhh dCAwK3ggaXMgZGVmaW5pdGlvbmFsbHkgZXF1YWwgdG8geCBJIGRvbid0IHByb3ZlIGFueXRoaW5n IGJ1dCBJIGp1c3QgcG9pbnQgb3V0IGEgZmFjdCB0aGF0IGZvbGxvd3MgZnJvbSB0aGUgZGVmaW5p dGlvbiBvZiArLiBUaGF0IGlzIEkgZHJhdyBhdHRlbnRpb24gdG8gaXQuCgpIZW5jZSBjbGVhcmx5 IHRoZXJlIGlzIG5vIHJlYXNvbiB0byB1c2UgYW55IG90aGVyIHdvcmQgdGhhdCBlcXVhbGl0eSB0 byBtZWFuIHRoYXQgdHdvIG9iamVjdHMgYXJlIGVxdWFsIHdoaWNoIG1lYW5zIHRoYXQgdGhlIGVx dWFsaXR5IHR5cGUgaXMgaW5oYWJpdGVkIHdoaWNoIGlzIHNpZ25pZmllZCBieSB1c2luZyA9LiBU aGVyZSBpcyB0aGUgaXNzdWUgdGhhdCB3ZSBtYXkgaGF2ZSBhIG1vcmUgdGhhdCBvbmUgd2F5IGlu IHdoaWNoIHR3byBvYmplY3RzIGNhbiBiZSBlcXVhbCB3aGljaCBjcmVhdGVzIHRoZSBuZWVkIHRv IHRhbGsgYWJvdXQgZWxlbWVudHMgb2YgYW4gZXF1YWxpdHkgdHlwZS4gICAgIEkgZG9uJ3QgbGlr ZSB0aGUgd29yZCAiaWRlbnRpZmljYXRpb25zIiBiZWNhdXNlIGl0IHNlZW1zIHRvIHN1Z2dlc3Qg dGhhdCB0aGUgdHdvIG9iamVjdHMgYXJlIG5vdCBwcm9wZXJseSBlcXVhbCBidXQganVzdCAiaWRl bnRpZmllZCIgYXJ0aWZpY2lhbGx5LgoKVGhvcnN0ZW4KCu+7v09uIDA2LzA1LzIwMjAsIDIwOjE5 LCAiaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIE1pY2hhZWwgU2h1 bG1hbiIgPGhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tIG9uIGJlaGFsZiBvZiBzaHUuLi5A c2FuZGllZ28uZWR1PiB3cm90ZToKCiAgICBBcyBJJ3ZlIHNhaWQgYmVmb3JlLCBJIHN0cm9uZ2x5 IGRpc2FncmVlIHRoYXQgdGhlIHN0YW5kYXJkCiAgICBpbnRlcnByZXRhdGlvbiBvZiAiYT1iIiBh cyBtZWFuaW5nICJhIGVxdWFscyBiIiBjbGFzaGVzIGluIGFueSB3YXkKICAgIHdpdGggaXRzIHVz ZSB0byBkZW5vdGUgdGhlIGlkZW50aXR5IHR5cGUuICBBbG1vc3Qgd2l0aG91dCBleGNlcHRpb24s CiAgICB3aGVuZXZlciBhIG1hdGhlbWF0aWNhbiB3b3JraW5nIGluZm9ybWFsbHkgc2F5cyAiZXF1 YWxzIiwgdGhhdCAqbXVzdCoKICAgIGJlIGZvcm1hbGl6ZWQgYXMgcmVmZXJyaW5nIHRvIHRoZSBp ZGVudGl0eSB0eXBlLiAgQXNrIGFueQogICAgbWF0aGVtYXRpY2lhbiBvbiB0aGUgc3RyZWV0IHdo ZXRoZXIgeCt5PXkreCBmb3IgYWxsIG5hdHVyYWwgbnVtYmVycyB4CiAgICBhbmQgeSwgYW5kIHRo ZXkgd2lsbCBzYXkgeWVzLiAgQnV0IHRoaXMgaXMgZmFsc2UgaWYgPSBtZWFucyBqdWRnbWVudGFs CiAgICBlcXVhbGl0eS4gIEp1ZGdtZW50YWwgZXF1YWxpdHkgaXMgYSB0ZWNobmljYWwgb2JqZWN0 IG9mIHR5cGUgdGhlb3J5CiAgICB0aGF0IHRoZSAiZ2VuZXJpYyBtYXRoZW1hdGljaWFuIiBpcyBu b3QgYXdhcmUgb2YgYXQgYWxsLCBzbyBpdCBjYW5ub3QKICAgIGNvLW9wdCB0aGUgc3RhbmRhcmQg bm90YXRpb24gIj0iIG9yIHdvcmQgImVxdWFscyIgaWYgd2Ugd2FudCAiaW5mb3JtYWwKICAgIHR5 cGUgdGhlb3J5IiB0byBiZSBhdCBhbGwgY29tcHJlaGVuc2libGUgdG8gc3VjaCByZWFkZXJzLgoK CiAgICBPbiBXZWQsIE1heSA2LCAyMDIwIGF0IDEyOjAxIFBNIFN0ZXZlIEF3b2RleSA8YXdvLi4u QGNtdS5lZHU+IHdyb3RlOgogICAgPgogICAgPiBEZWFyIEFuZHJl4oCZIChhbmQgYWxsKSwKICAg ID4KICAgID4gVGhlIHNpZ24gYSA9IGIgaXMgcHJldHR5IHdlbGwgZXN0YWJsaXNoZWQgaW4gbWF0 aGVtYXRpY3MgYXMgbWVhbmluZyDigJxhIGVxdWFscyBi4oCdLAogICAgPiB3aGljaCBkb2VzIGlu ZGVlZCBjbGFzaCB3aXRoIG91ciBjaG9pY2UgaW4gdGhlIGJvb2sgdG8gdXNlIGl0IGZvciB0aGUg aWRlbnRpdHkgdHlwZSwKICAgID4gYW5kIHRvIGNhbGwgdGhlIGVsZW1lbnRzIG9mIHRoaXMgdHlw ZSDigJxpZGVudGlmaWNhdGlvbnPigJ0uCiAgICA+IFRob3JzdGVuIGhhcyByaWdodGx5IHBvaW50 ZWQgb3V0IHRoaXMgY2xhc2guCiAgICA+CiAgICA+IEFsdGhvdWdoIEkgYW0gcGVyc29uYWxseSBu b3QgZWFnZXIgdG8gbWFrZSBhbnkgY2hhbmdlcyBpbiBvdXIgY3VycmVudCB0ZXJtaW5vbG9neSBh bmQvb3Igbm90YXRpb24sCiAgICA+IEnigJltIGNlcnRhaW5seSBnbGFkIHRvIGNvbnNpZGVyIHRo ZSBwb3NzaWJpaXkKICAgID4gKHdlIGRpZCBhZ3JlZSB0byByZXR1cm4gdG8gdGhpcyBxdWVzdGlv biBhdCBzb21lIHBvaW50LCBzbyBtYXliZSB0aGlzIGlzIGl0IDogLSApLgogICAgPgogICAgPiBX ZSBuZWVkIGJvdGggc3ltYm9scyBhbmQgd29yZHMgZm9yIHR3byBub3Rpb25zOgogICAgPgogICAg PiAtIGp1ZGdlbWVudGFsIGVxdWFsaXR5LCBjdXJyZW50bHkgYVxlcXVpdiBiLAogICAgPiAtIHBy b3Bvc2l0aW9uYWwgZXF1YWxpdHksIGN1cnJlbnRseSBhID0gYiwgc2hvcnQgZm9yIElkKGEsYiku CiAgICA+CiAgICA+IFRoZXJlIHNlZW1zIHRvIGJlIGEgcHJvcG9zYWwgdG8gcmV2aXNlIHRoaXMg dG8gc29tZXRoaW5nIGxpa2U6CiAgICA+CiAgICA+IC0ganVkZ2VtZW50YWwgZXF1YWxpdHk6IHdy aXR0ZW4gYSA9IGIgYW5kIHByb25vdW5jZWQg4oCcYSBlcXVhbHMgYuKAnSwKICAgID4gLSBwcm9w b3NpdGlvbmFsIGVxdWFsaXR5LCB3cml0dGVuIG1heWJlIGEgXGNvbmcgYiwgYW5kIHByb251bmNl ZCDigJ1hIGlzbyBi4oCdLAogICAgPiAodGhlIGVsZW1lbnRzIG9mIHRoaXMgdHlwZSBhcmUgY2Fs bGVkIOKAnGlzb3MiKS4KICAgID4KICAgID4gQW5vdGhlciAocGFydGlhbCkgb3B0aW9uIHdvdWxk IGJlOgogICAgPgogICAgPiAtIGp1ZGdlbWVudGFsIGVxdWFsaXR5OiB3cml0dGVuIGEgPSBiIGFu ZCBwcm9ub3VuY2VkIOKAnGEgZXF1YWxzIGLigJ0sCiAgICA+IC0gcHJvcG9zaXRpb25hbCBlcXVh bGl0eSwgd3JpdHRlbiBJZChhLGIpIGFuZCBzaG9ydGVuZWQgc29tZWhvdyBhID8gYiwKICAgID4g YW5kIHByb251bmNlZCDigJ1hIGlkZW5pdGZpZWQgd2l0aCBi4oCdCiAgICA+ICh0aGUgZWxlbWVu dHMgb2YgdGhpcyB0eXBlIGFyZSBjYWxsZWQg4oCcaWRlbnRpZmljYXRpb25zIikuCiAgICA+CiAg ICA+IERvIGVpdGhlciBvZiB0aGVzZSBzZWVtIHByZWZlcmFibGU/CiAgICA+IEFyZSB0aGVyZSBv dGhlciBwcm9wb3NhbHM/CiAgICA+IEFuZCBob3cgc2hvdWxkIG9uZSBkZWNpZGU/CiAgICA+CiAg ICA+IFJlZ2FyZHMsCiAgICA+CiAgICA+IFN0ZXZlCiAgICA+CiAgICA+CiAgICA+CiAgICA+CiAg ICA+CiAgICA+IE9uIE1heSA2LCAyMDIwLCBhdCAxMjowMiBQTSwgSm95YWwsIEFuZHLDqSA8am95 YWwuLi5AdXFhbS5jYT4gd3JvdGU6CiAgICA+CiAgICA+IERlYXIgYWxsLAogICAgPgogICAgPiBB IGZldyBtb3JlIHRob3VnaHRzLgogICAgPiBXZSBhbGwgYWdyZWUgdGhhdCB0ZXJtaW5vbG9neSBh bmQgbm90YXRpb24gYXJlIGltcG9ydGFudC4KICAgID4KICAgID4gSSBsb3ZlIHRoZSBzdG9yeSBv ZiB0aGUgZXF1YWxpdHkgc2lnbiA9IGludHJvZHVjZWQgYnkgUm9iZXJ0IFJlY29yZGUgKDE1MTIt MTU1OCkuCiAgICA+ICJiZWNhdXNlIG5vIHR3byB0aGluZ3MgY2FuIGJlIG1vcmUgZXF1YWwgdGhh biBhIHBhaXIgb2YgcGFyYWxsZWwgbGluZXMiLgogICAgPiBJdCB0b29rIG1vcmUgdGhhbiBhIGNl bnR1cnkgYmVmb3JlIGJlZW4gdW5pdmVyc2FsbHkgYWRvcHRlZC4KICAgID4gUmVuw6kgRGVzY2Fy dGVzICgxNTk2LTE2NTApIHVzZWQgYSBkaWZmZXJlbnQgc3ltYm9sICBpbiBoaXMgd29yayAoc29t ZXRoaW5nIGxpa2UgXGFscGhhKS4KICAgID4gV2UgbWF5IGFzayB3aHkgUmVjb3JkZSdzIG5vdGF0 aW9uIHdvbiBvdmVyIERlc2NhcnRlcydzIG5vdGF0aW9uPwogICAgPiBPZiBjb3Vyc2UsIHdlIG1h eSBuZXZlciBrbm93LgogICAgPiBJIGRhcmUgdG8gc2F5IHRoYXQgUmVjb3JkZSdzIG5vdGF0aW9u IHdhcyAqYmV0dGVyKi4KICAgID4gQW1vbmcgb3RoZXIgdGhpbmdzLCB0aGUgZXF1YWxpdHkgc2ln biA9IGlzIHN5bW1ldHJpYzoKICAgID4gdGhlIGV4cHJlc3Npb24gYT1iIGFuZCBiPWEgYXJlIG1p cnJvciBpbWFnZSBvZiBlYWNoIG90aGVyLgogICAgPiBSZWNvcmRlJ3MgbW90aXZlIGZvciBpbnRy b2R1Y2luZyB0aGUgbm90YXRpb24gd2FzIG1vcmUgYWJvdXQKICAgID4gY29udmVuaWVuY2UgYW5k IGFlc3RoZXRpYyB0aGFuIGFib3V0IHBoaWxvc29waHkgYW5kIGhpc3RvcnkuCiAgICA+IFRoZSBu b3RhdGlvbiB3YXMgZ3JhZHVhbGx5IGFkb3B0ZWQgYmVjYXVzZSBpdCBpcyBzaW1wbGUgYW5kIHVz ZWZ1bC4KICAgID4gSXQgd2FzIG5vdCBiZWNhdXNlIFJlY29yZGUgd2FzIGEgcG93ZXJmdWwgYWNh ZGVtaWMsCiAgICA+IHNpbmNlIGhlIGV2ZW50dWFsbHkgZGllZCBpbiBwcmlzb24uCiAgICA+CiAg ICA+IFRoZXJlIGlzIHNvbWV0aGluZyB0byBsZWFybiBmcm9tIHRoZSBoaXN0b3J5IG9mIHRoZSBl cXVhbGl0eSBzaWduLgogICAgPiBJIGd1ZXNzIHRoYXQgaXQgY2FuIGFsc28gYXBwbGllZCB0byB0 ZXJtaW5vbG9neS4KICAgID4gQSBuZXcgbm90YXRpb24gb3IgdGVybWlub2xvZ3kgaGFzIGEgZ29v ZCBjaGFuY2UgdG8gYmUgYWRvcHRlZCB1bml2ZXJzYWxseQogICAgPiBpZiBpdCBpcyBzaW1wbGUg YW5kIHVzZWZ1bCwgYnV0IGl0IG1heSB0YWtlIHRpbWUuCiAgICA+CiAgICA+IEFuZHLDqQogICAg PiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwogICAgPiBGcm9tOiBob21vdG9weXQu Li5AZ29vZ2xlZ3JvdXBzLmNvbSBbaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb21dIG9uIGJl aGFsZiBvZiBBbnN0ZW4gTcO4cmNoIEtsZXYgW2Fuc3RlLi4uQGdtYWlsLmNvbV0KICAgID4gU2Vu dDogVHVlc2RheSwgTWF5IDA1LCAyMDIwIDQ6NDcgQU0KICAgID4gVG86IEhvbW90b3B5VC4uLkBn b29nbGVncm91cHMuY29tCiAgICA+IFN1YmplY3Q6IFtIb1RUXSBJZGVudGl0eSB2ZXJzdXMgZXF1 YWxpdHkKICAgID4KICAgID4gVGhlIGRpc2N1c3Npb24geWVzdGVyZGF5IHByb3ZpZGVzIGEgZ29v ZCBvY2Nhc2lvbiBmb3IgbWUgdG8gcG9zZSBhIHF1ZXN0aW9uIEkgaGF2ZSBsb25nIHdhbnRlZCB0 byBwdXQgdG8gdGhpcyBsaXN0OiBpcyB0aGVyZSBhIGNvbnZlbnRpb24gZ2VuZXJhbGx5IGFncmVl ZCB1cG9uIGluIHRoZSBIb1RULWNvbW11bml0eSBmb3Igd2hlbiAoaWYgZXZlcikgdG8gdXNlICdp ZGVudGl0eScgaW5zdGVhZCBvZiAnZXF1YWxpdHknPwogICAgPgogICAgPiBIZXJlIGFyZSBzb21l IHJlbGV2YW50IGRhdGEuCiAgICA+CiAgICA+IEEgR2VybWFuaWMgZXF1aXZhbGVudCBmb3IgJ2lk ZW50aXR5JyBpcyAnc2FtZW5lc3MnLgogICAgPiBBIEdlcm1hbmljIGVxdWl2YWxlbnQgZm9yICdl cXVhbGl0eScgaXMgJ2xpa2VuZXNzJy4KICAgID4KICAgID4gRm9yIEFyaXN0b3RsZSBlcXVhbGl0 eSBtZWFucyBzYW1lbmVzcyBvZiBxdWFudGl0eS4gVGhpcyBpcyBob3cgb25lIG11c3QgdW5kZXJz dGFuZCAnZXF1YWwnIGluIEV1Y2xpZCdzIEVsZW1lbnRzLCB3aGVyZSBhIHRyaWFuZ2xlIG1heSBo YXZlIGFsbCBzaWRlcyBlcXVhbCAoY2xlYXJseSwgdGhleSBjYW5ub3QgYmUgaWRlbnRpY2FsKS4g VGhlIGF4aW9tIGluIHRoZSBFbGVtZW50cyB0aGF0IGhhcyBnaXZlbiByaXNlIHRvIHRoZSB0ZXJt ICdFdWNsaWRlYW4gcmVsYXRpb24nIGFuZCB3aGljaCBpcyBhcHBlYWxlZCB0byBpbiBFbGVtZW50 cyBJLjEgaXMgcGhyYXNlZCBpbiB0ZXJtcyBvZiAnZXF1YWwnIHJhdGhlciB0aGFuICdpZGVudGlj YWwnLgogICAgPgogICAgPiBJbiBEaW9waGFudHVzJ3MgQXJpdGhtZXRpY2EsIG9uIHRoZSBvdGhl ciBoYW5kLCB0aGUgdHdvIHRlcm1zIG9mIGFuIGVxdWF0aW9uIGFyZSBzYWlkIHRvIGJlIGVxdWFs LCBub3QgaWRlbnRpY2FsLCBhbmQgdGhpcyB3b3VsZCBiZWNvbWUgdGhlIHN0YW5kYXJkIHRlcm1p bm9sb2d5IGluIGFsZ2VicmEuIEZvciBpbnN0YW5jZSwgdGhlIHNpZ24gJz0nIHdhcyBpbnRyb2R1 Y2VkIGJ5IFJvYmVydCBSZWNvcmRlIGFzIGEgc2lnbiBvZiBlcXVhbGl0eSwgbm90IGFzIGEgc2ln biBvZiBpZGVudGl0eS4gVGhlIGV4cGxhbmF0aW9uIGZvciB0aGlzIGFwcGFyZW50IGRpc2NyZXBh bmN5IHdpdGggdGhlIEFyaXN0b3RlbGlhbi9FdWNsaWRlYW4gdGVybWlub2xvZ3kgbWlnaHQgYmUg dGhhdCB3aGVuIGRlYWxpbmcgd2l0aCBudW1iZXJzLCBlcXVhbGl0eSBqdXN0IGlzIGlkZW50aXR5 LCBzaW5jZSBmb3IgdHdvIG51bWJlcnMgdG8gYmUgaWRlbnRpY2FsIGFzIHRvIG1hZ25pdHVkZSBq dXN0IGlzIGZvciB0aGVtIHRvIGJlIHRoZSBzYW1lIG51bWJlci4gQXJpc3RvdGxlIHNheXMgYXMg bXVjaCBpbiBNZXRhcGh5c2ljcyBNLjcuCiAgICA+CiAgICA+IEhpbGJlcnQgYW5kIEJlcm5heXMg bWlnaHQgYmUgb25lIG9mIHRoZSBmZXcgbG9naWMgYm9va3MgaW4gdGhlIG1vZGVybiBlcmEgdG8g ZGlzdGluZ3Vpc2ggZXF1YWxpdHkgZnJvbSBpZGVudGl0eSAodm9sdW1lIEksIGNoYXB0ZXIgNSku ICdFcXVhbGl0eScgaXMgdGhlcmUgdXNlZCBmb3IgYW55IGVxdWl2YWxlbmNlIHJlbGF0aW9uIGFu ZCBnbG9zc2VkIGFzIHRoZSBvYnRhaW5pbmcgb2YgImlyZ2VuZGVpbmUgQXJ0IHZvbiDDnGJlcmVp bnN0aW1tdW5nIi4gSWRlbnRpdHksIGJ5IGNvbnRyYXN0LCBpcyAiw5xiZXJlaW5zdGltbXVuZyBp biBqZWRlciBIaW5zaWNodCIsIGFzIGV4cHJlc3NlZCBieSBpbmRpc2Nlcm5pYmlsaXR5IHdpdGhp biB0aGUgZ2l2ZW4gbGFuZ3VhZ2UuCiAgICA+CiAgICA+IEZyZWdlLCBieSBjb250cmFzdCwgZXhw bGljaXRseSBpZGVudGlmaWVzIChzaWMhKSBlcXVhbGl0eSB3aXRoIGlkZW50aXR5LCBhbmQgZ2xv c3NlcyB0aGUgbGF0dGVyIGFzIHNhbWVuZXNzIG9yIGNvaW5jaWRlbmNlLCBpbiB0aGUgZmlyc3Qg Zm9vdG5vdGUgdG8gaGlzIHBhcGVyIG9uIHNlbnNlIGFuZCByZWZlcmVuY2UuICBLbGVlbmUgYW5k IENodXJjaCBkbyB0aGUgc2FtZSBpbiB0aGVpciBmYW1vdXMgdGV4dGJvb2tzOiBpZiBvbmUgbG9v a3MgdW5kZXIgJ2lkZW50aXR5JyBpbiB0aGUgaW5kZXggdG8gYW55IG9mIHRob3NlIGJvb2tzIG9u ZSBpcyByZWZlcnJlZCB0byAnZXF1YWxpdHknLgogICAgPgogICAgPiBDbGVhcmx5IHRoZSB0d28g Y2Fubm90IGJlIGFzc3VtZWQgdG8gbWVhbiB0aGUgc2FtZSBieSBhbmFseXN0cyB3aG8gc3BlYWsg b2YgdHdvIGZ1bmN0aW9ucyBiZWluZyBpZGVudGljYWxseSBlcXVhbCEKICAgID4KICAgID4gLS0K ICAgID4gWW91IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNhdXNlIHlvdSBhcmUgc3Vic2NyaWJl ZCB0byB0aGUgR29vZ2xlIEdyb3VwcyAiSG9tb3RvcHkgVHlwZSBUaGVvcnkiIGdyb3VwLgogICAg PiBUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVtYWls cyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90b3B5VC4uLkBnb29nbGVncm91cHMuY29t LgogICAgPiBUbyB2aWV3IHRoaXMgZGlzY3Vzc2lvbiBvbiB0aGUgd2ViIHZpc2l0IGh0dHBzOi8v Z3JvdXBzLmdvb2dsZS5jb20vZC9tc2dpZC9Ib21vdG9weVR5cGVUaGVvcnkvQ0FKSFp1cVlMWS1f REI5dWgtMEZXMGpyMktTb1ElMkJwd1JHRDBQUGpxJTJCeHlRdmFKRk4yQSU0MG1haWwuZ21haWwu Y29tLgogICAgPgogICAgPiAtLQogICAgPiBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1 c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBl IFRoZW9yeSIgZ3JvdXAuCiAgICA+IFRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBhbmQg c3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8gSG9tb3RvcHlU Li4uQGdvb2dsZWdyb3Vwcy5jb20uCiAgICA+IFRvIHZpZXcgdGhpcyBkaXNjdXNzaW9uIG9uIHRo ZSB3ZWIgdmlzaXQgaHR0cHM6Ly9ncm91cHMuZ29vZ2xlLmNvbS9kL21zZ2lkL0hvbW90b3B5VHlw ZVRoZW9yeS84QzU3ODk0Qzc0MTNGMDRBOThEREY1NjI5RkVDOTBCMTY1MkY1MTVFJTQwUGxpLmdz dC51cWFtLmNhLgogICAgPgogICAgPgogICAgPiAtLQogICAgPiBZb3UgcmVjZWl2ZWQgdGhpcyBt ZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJI b21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuCiAgICA+IFRvIHVuc3Vic2NyaWJlIGZyb20gdGhp cyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwg dG8gSG9tb3RvcHlULi4uQGdvb2dsZWdyb3Vwcy5jb20uCiAgICA+IFRvIHZpZXcgdGhpcyBkaXNj dXNzaW9uIG9uIHRoZSB3ZWIgdmlzaXQgaHR0cHM6Ly9ncm91cHMuZ29vZ2xlLmNvbS9kL21zZ2lk L0hvbW90b3B5VHlwZVRoZW9yeS8wNTM3NTA1Ny04ODNGLTQ0ODctODkxOS0yNTc5RjU3NzFBRkMl NDBjbXUuZWR1LgoKICAgIC0tCiAgICBZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2Ug eW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRo ZW9yeSIgZ3JvdXAuCiAgICBUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3Ag cmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90b3B5VC4uLkBn b29nbGVncm91cHMuY29tLgogICAgVG8gdmlldyB0aGlzIGRpc2N1c3Npb24gb24gdGhlIHdlYiB2 aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2QvbXNnaWQvSG9tb3RvcHlUeXBlVGhlb3J5 L0NBT3ZpdlF3VFI0cUswOTQlMkJrbWdqJTNEMjU0N1V4R2dtYmpXOWs1TWdMZSUyQm5lOXhQZWYz dyU0MG1haWwuZ21haWwuY29tLgoKCgoKVGhpcyBtZXNzYWdlIGFuZCBhbnkgYXR0YWNobWVudCBh cmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2VlCmFuZCBtYXkgY29udGFpbiBjb25m aWRlbnRpYWwgaW5mb3JtYXRpb24uIElmIHlvdSBoYXZlIHJlY2VpdmVkIHRoaXMKbWVzc2FnZSBp biBlcnJvciwgcGxlYXNlIGNvbnRhY3QgdGhlIHNlbmRlciBhbmQgZGVsZXRlIHRoZSBlbWFpbCBh bmQKYXR0YWNobWVudC4KCkFueSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQgYnkgdGhlIGF1 dGhvciBvZiB0aGlzIGVtYWlsIGRvIG5vdApuZWNlc3NhcmlseSByZWZsZWN0IHRoZSB2aWV3cyBv ZiB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLiBFbWFpbApjb21tdW5pY2F0aW9ucyB3aXRo IHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gbWF5IGJlIG1vbml0b3JlZAp3aGVyZSBwZXJt aXR0ZWQgYnkgbGF3LgoKCgoK