From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:ac2:53a6:: with SMTP id j6mr7785506lfh.153.1588834735715; Wed, 06 May 2020 23:58:55 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac2:5c09:: with SMTP id r9ls986347lfp.5.gmail; Wed, 06 May 2020 23:58:54 -0700 (PDT) X-Received: by 2002:ac2:5e86:: with SMTP id b6mr7687912lfq.65.1588834733873; Wed, 06 May 2020 23:58:53 -0700 (PDT) Return-Path: Received: from uidappmx01.nottingham.ac.uk (uidappmx01.nottingham.ac.uk. [128.243.43.124]) by gmr-mx.google.com with ESMTPS id u25si259200ljg.1.2020.05.06.23.58.53 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 06 May 2020 23:58:53 -0700 (PDT) Received-SPF: pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.124 as permitted sender) client-ip=128.243.43.124; Authentication-Results: gmr-mx.google.com; arc=fail (body hash mismatch); spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.124 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.ac.uk Received: from uidappmx01.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 5138C3C48DB_EB3B1ADB for ; Thu, 7 May 2020 06:58:53 +0000 (GMT) Received: from smtp3.nottingham.ac.uk (smtp3.nottingham.ac.uk [128.243.44.55]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by uidappmx01.nottingham.ac.uk (Sophos Email Appliance) with ESMTPS id B37003D3AED_EB3B1ACF for ; Thu, 7 May 2020 06:58:52 +0000 (GMT) Received: from uiwexedg02.ad.nottingham.ac.uk ([10.159.172.14]) by smtp3.nottingham.ac.uk with esmtp (Exim 4.85) (envelope-from ) id 1jWaUe-0000iK-KV; Thu, 07 May 2020 07:58:52 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by exchangeSMTP.nottingham.ac.uk (10.159.172.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Thu, 7 May 2020 07:58:52 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.1531.3; Thu, 7 May 2020 07:58:52 +0100 Received: from UiWexEDG02.ad.nottingham.ac.uk (10.159.172.14) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3 via Frontend Transport; Thu, 7 May 2020 07:58:52 +0100 Received: from EUR04-DB3-obe.outbound.protection.outlook.com (128.243.226.54) by exchangeSMTP.nottingham.ac.uk (10.159.172.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Thu, 7 May 2020 07:58:52 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mHcdZezMAGWjRohrkdpqH/AzVTPtTjH0/+KaXcbWXEKA7H6NL82MdaXuN4Sxmsagv5jequsdpiTSg4m2XK/448Qm+f0AyxpjHelae81sBNVuD0Chvr0wmjgswKcEfTT8huxEcnpFTdQowEa/ra6odKnF14ZV6nJ51IV2HgempFmvU+kpmXOXiAUzL93egbCnkCmbEG+sSrHOsU69ImLDmylTWTkBaxcjWlKcU9MDZjmHtI9oaWZRw1m4Hc5PrqByTqd+IGto3eCQZH5VsvEsqpNbJ5t82VwU2GcdBg1CMVNarToOrCMLthg+QDW3ZuIZ8Ijt/MqYKcXM4TvjxeGaDg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=XRSyaZbI8psAzXrlFqPv3c3SE6KeW27Qwkz+iyVPee0=; b=dA7+GfvnRARZimAQ4Xiu0VDdEwHN99k1AbtsdZkQwStvkxx45ckRXtmoxI/fZjKhNkBpBt82tC7deBeiZum6LOFeXZmD6h/U0gVi91cDmuk/Zl/NUn/MkH7sowhPRuhtj7ehsp6WzGwvd6TsOJQpDca/qaEwVvcdn6Yyf/DJkVyrzsKgyo+Ux5L2aMgKifnGIntiAnjjAxOg7lDpxGBBgFyMWnYRCm2MJdJcElL4PhQIlB8bZjsZcg6UKBCcLVsffB0TF0wps32D0SYGYD/MoRQ70BgCfIeAOBmm6OcRs+6Tru8Knq88XlpZzjAXpdEPkHUVr2S3nppqyfUjrWiqmg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exmail.nottingham.ac.uk; dmarc=pass action=none header.from=exmail.nottingham.ac.uk; dkim=pass header.d=exmail.nottingham.ac.uk; arc=none Received: from AM6PR06MB5879.eurprd06.prod.outlook.com (2603:10a6:20b:2c::24) by AM6PR06MB5271.eurprd06.prod.outlook.com (2603:10a6:20b:81::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2958.21; Thu, 7 May 2020 06:58:51 +0000 Received: from AM6PR06MB5879.eurprd06.prod.outlook.com ([fe80::6427:d0c5:a0f3:68b1]) by AM6PR06MB5879.eurprd06.prod.outlook.com ([fe80::6427:d0c5:a0f3:68b1%4]) with mapi id 15.20.2979.028; Thu, 7 May 2020 06:58:51 +0000 From: Thorsten Altenkirch To: =?utf-8?B?Sm95YWwsIEFuZHLDqQ==?= , Michael Shulman , Steve Awodey CC: "homotopyt...@googlegroups.com" Subject: Re: [HoTT] Identity versus equality Thread-Topic: [HoTT] Identity versus equality Thread-Index: AQHWIrn+BFzsbNwSEEa9XfXV/1cG1qibOgWAgAAyGYCAAAS1AIAATROA///484CAAI5iAA== Date: Thu, 7 May 2020 06:58:51 +0000 Message-ID: <67E9DCCA-F9CA-45B7-9AC8-E5A7E94FE9A9@nottingham.ac.uk> References: <8C57894C7413F04A98DDF5629FEC90B1652F515E@Pli.gst.uqam.ca> <05375057-883F-4487-8919-2579F5771AFC@cmu.edu> <952EF822-FD92-404C-A279-89502238BCDC@nottingham.ac.uk> <8C57894C7413F04A98DDF5629FEC90B1652F526C@Pli.gst.uqam.ca> In-Reply-To: <8C57894C7413F04A98DDF5629FEC90B1652F526C@Pli.gst.uqam.ca> Accept-Language: en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/16.36.20041900 authentication-results: uqam.ca; dkim=none (message not signed) header.d=none;uqam.ca; dmarc=none action=none header.from=exmail.nottingham.ac.uk; x-originating-ip: [86.28.226.182] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 0f386ffd-cde6-48b4-cb19-08d7f2541953 x-ms-traffictypediagnostic: AM6PR06MB5271: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8882; x-forefront-prvs: 03965EFC76 x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: oi8R5UsiFsAPPbJ2+X/e0SUQs5CPA21JRibTB8NmLIdX8EQlw42qO08B8Zc90FG/tOUSo1SxgHDKt+0weLvYDlJROZG5UmQRLY+Yv9nTqicZtbwOacEiJskgECyQmnd5U6PJpJECrYWgslEDE7I1Y97pNejOH1vogiYu9r3qZGVCd0ZEMsEpYG9Cni3r/RYAScPDRv3mBtiJRVzVZEcoER7DmnCJ1EFthResR6QKHGYS3Th5lYnItXUPD0O2j55Q4A3H5o8ngckkyYkwFrN0506w478DhHCdXfC8wfheGHKAIltm8qRzZziJpiqqfICGGSCQhwxNkCwGYy9WDNwcdHYfkkU0we+6MBrmT2w30rX2/StXXFsH3jXy0kScT1I94eh4Q3mt2QMzW3X6DfUBZfGbHidbPsDWHD6FQ7zyx2qqagmL/mvTUN3KSZ5T7/SjZkJRAia8+PTmjbxqMG7BvAPNxMZs33G2k/nWDOl194X3zQ7SuGvtEsvhq0hpggTgGSXE2C3fJoQ+j86/xO3xaeIH3BRh0lXkqTDkCA1pWSKFEWwCEBhnvWwWQxcDirFeg17Zfe3oj3WQ9bx8gP9um9882b+BMudr1pY2U0ZIDh8= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM6PR06MB5879.eurprd06.prod.outlook.com;PTR:;CAT:NONE;SFTY:;SFS:(376002)(136003)(39860400002)(346002)(396003)(366004)(33430700001)(6486002)(76116006)(71200400001)(66946007)(66476007)(66446008)(64756008)(91956017)(6512007)(66556008)(36756003)(30864003)(9686003)(2906002)(8936002)(53546011)(6506007)(786003)(26005)(8676002)(5660300002)(66574014)(966005)(83320400001)(4326008)(55236004)(186003)(86362001)(110136005)(478600001)(316002)(83280400001)(33440700001)(83300400001)(83310400001)(83290400001)(33656002);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata: ZBVR56gkYgJHxiioScxNpW3YU0pOxt+/Eh9wSs/UjOkDdfjMjeOfmPhm+Tjv0MO4fmeM6Lvgxv+xTKOntE7mVuy2jrodkAQjLwBIPz2f6qlP3WfBeuYNa5PEWD8AyyYuVTXKLWsgIv5AKKlhuDYFDd7QfkfFuK8lWKhZxZkacanPD1mPKvZPqE5UjyowMun5TDUntOGfpVCyzBSU2lwzFSo0MfEGEUTnznZGFwbabtGONg8Cl10/Oo590zAzPDRuLclFGXyEa70ktOYMhSbpCBHHpcXWxTC/LTTBtAUkDIn1gavyYLKv7vJT8SKjH10/soQ2KtLAX1Qy+vzP78ba7cdUPsx63BbPRvT04t3MehaApg9ja0egBmKYO39Lky/pV+U9oXNBfP7cXyD9SOWv1pG3QlTO0YMXe7LPX8ECmf75jKBNMmPOi0WXkSYfmN2m1oZS2nppQSxSybBmkpWzpopDdlYQ5NkLJ78859XtKgLjRgwtSBAo7RZMr0kIt2V8vi7Ye62RlQx1LDLGyHpHabMKOhnRqxn9huaXuei1D/ShDrpfvc37Co2BFlwTyolkJcHE7hHzXhs5OmMKCQTCj3wK2Y2TIdv+2BCgzsy2b8HzPj+PABr1SjTYs4LXAp0aVDykpdRx63F6CuZPK1eid7cuBcDsjz80/V6ECixH2twOpRlvqDli+UQf9/Pko38zlkGKAX5bJAIp4yZVN0LzJmypuF64XrbjNVSBxHhEizI5C38RcEqUH5/8PkxI8kWyGI8aUNnFYJxoQYliTRyaz7mBZv1C6/nujeh/aMw6sV8= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="utf-8" Content-ID: <4A35ACF896C04A41...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 0f386ffd-cde6-48b4-cb19-08d7f2541953 X-MS-Exchange-CrossTenant-originalarrivaltime: 07 May 2020 06:58:51.0432 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: c39by5Es6vXXyYY46GnprbtyWKtCW8vsLGejfPRbpWBiMe1zJfgbg33VHD7coqEf+UUBIPXvY/iICjWV0MGvOFYJbkkVGvZSJqxvDjdUwE9biZlocrad8ztiLA/kFjrp X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM6PR06MB5271 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size X-SASI-RCODE: 200 RGVhciBBbmRyZSwNCg0KSXQgc2VlbXMgdGhhdCBFZ2JlcnQgYWxyZWFkeSBnYXZlIHRoZSBwZXJm ZWN0IGFuc3dlci4gV2hlbiB3ZSBhYm91dCBUeXBlIFRoZW9yeSB3ZSBkb24ndCBvbmx5IHRhbGsg YWJvdXQgc3ludGF4IGJ1dCBhYm91dCB0aGUgcmVsYXRpb24gb2Ygc3ludGF4IGFuZCBzZW1hbnRp Y3MuIEFuZCB0aGVuIGp1ZGdlbWVudGFsIGVxdWFsaXR5IGlzIG1vZGVsbGVkIGJ5IHByb3Bvc2l0 aW9uYWwgZXF1YWxpdHkgaW4gdGhlIG1ldGF0aGVvcnkuIE5vdCBhIHJldmVyc2FsIGJ1dCBhIGxl dmVsIHNoaWZ0LiANCg0KSSB3b3VsZG4ndCBzYXkgdGhhdCBwcm9wb3NpdGlvbmFsIGVxdWFsaXR5 IGlzIGEgcHVyZWx5IGZvcm1hbCBnYW1lLCBpbmRlZWQgd2UgZXhwbGFpbiB0aGUgbmF0dXJlIG9m IGVxdWFsaXR5IGJ5IG1vZGVsbGluZyBpdC4gSW4gYSBzZXQgdGhlb3JldGljIHNldHRpbmcgaXQg aXMgZW5vdWdoIHRvIHNheSB0aGF0IGVxdWFsaXR5IGlzIGEgY29uZ3J1ZW5jZSwgaS5lLiBhbiBl cXVpdmFsZW5jZSByZWxhdGlvbiB0aGF0IGlzIHByZXNlcnZlZCBieSBhbGwgZnVuY3Rpb25zLiBC dXQgdGhpcyBpcyBub3Qgc3VmZmljaWVudCB0byBleHBsYWluIHN0cnVjdHVyYWwgZXF1YWxpdHkg d2hpY2ggaXMgbm90IHByb3Bvc2l0aW9uYWwuIEFzIHlvdSBrbm93IGJlc3QgKGJlY2F1c2UgeW91 IGhhdmUgaW52ZW50ZWQgbWFueSBvZiB0aGUgaW1wb3J0YW50IG5vdGlvbnMpIGEgYmV0dGVyIGV4 cGxhbmF0aW9uIG9mIGVxdWFsaXR5IGlzIHRoYXQgaXMgYW4gb21lZ2EgZ3JvdXBvaWQgYW5kIHRo YXQgYWxsIGZ1bmN0aW9ucyBhcmUgbW9kZWxsZWQgYXMgZnVuY3RvcnMgb24gdGhlc2UgZ3JvdXBv aWRzLg0KDQpDaGVlcnMsDQpUaG9yc3Rlbg0KDQrvu79PbiAwNy8wNS8yMDIwLCAwMDoyOSwgIkpv eWFsLCBBbmRyw6kiIDxqb3lhbC4uLkB1cWFtLmNhPiB3cm90ZToNCg0KICAgIERlYXIgVGhvcnN0 ZW4sDQoNCiAgICBJIGhhdmUgbmFpdmUgcXVlc3Rpb24gZm9yIGV4cGVydHMuDQoNCiAgICBJIGJl bGlldmUgdGhhdCBqdWRnZW1lbnRhbCBlcXVhbGl0eSBpcyBvbiB0aGUgc3ludGFjdGljIHNpZGUg b2YgdHlwZSB0aGVvcnksIA0KICAgIHdoaWxlIHByb3Bvc2l0aW9uYWwgZXF1YWxpdHkgaXMgb24g dGhlIHNlbWFudGljYWwgc2lkZS4NCiAgICBUaGUgaG9tb3RvcGljYWwgaW50ZXJwcmV0YXRpb24g b2YgdHlwZSB0aGVvcnkgaXMgbWFpbmx5DQogICAgY29uY2VybmVkIHdpdGggcHJvcG9zaXRpb25h bCBlcXVhbGl0eS4NCiAgICBXaGF0IGlzIHRoZSBzZW1hbnRpYyBvZiBqdWRnZW1lbnRhbCBlcXVh bGl0eT8NCiAgICAoaW5kZXBlbmRhbnRseSBvZiB0aGUgc2VtYW50aWMgb2YgcHJvcG9zaXRpb25h bCBlcXVhbGl0eSkuDQogICAgQ291bGQgd2UgcmV2ZXJzZSB0aGUgcm9sZSBvZiB0aGUgdHdvIGVx dWFsaXRpZXM/DQogICAgQ291bGQgd2UgcmVnYXJkIGp1ZGdlbWVudGFsIGVxdWFsaXR5IGFzIHRo ZSB0cnVlIG1lYW5pbmcgDQogICAgb2YgdHlwZSB0aGVvcnksIHdoaWxlIHJlZ2FyZGluZyBwcm9w b3NpdGlvbmFsIGVxdWFsaXR5IA0KICAgIGFzIGEgcHVyZWx5IGZvcm1hbCBnYW1lPw0KDQogICAg QW5kcsOpDQoNCg0KDQoNCg0KICAgIF9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX18NCiAgICBGcm9tOiBUaG9yc3RlbiBBbHRlbmtpcmNoIFtUaG9yc3Rlbi4uLi5Abm90dGlu Z2hhbS5hYy51a10NCiAgICBTZW50OiBXZWRuZXNkYXksIE1heSAwNiwgMjAyMCA2OjU0IFBNDQog ICAgVG86IE1pY2hhZWwgU2h1bG1hbjsgU3RldmUgQXdvZGV5DQogICAgQ2M6IEpveWFsLCBBbmRy w6k7IGhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tDQogICAgU3ViamVjdDogUmU6IFtIb1RU XSBJZGVudGl0eSB2ZXJzdXMgZXF1YWxpdHkNCg0KICAgIEkgYWdyZWUgYnV0IGxldCBtZSB0cnkg dG8gbWFrZSB0aGlzIG1vcmUgcHJlY2lzZS4gV2UgY2Fubm90IHRhbGsgYWJvdXQganVkZ2VtZW50 YWwgZXF1YWxpdHkgd2l0aGluIE1hdGhlbWF0aWNzIGl0IGlzIG5vdCBhIHByb3Bvc2l0aW9uLiBK dWRnZW1lbnRhbCBlcXVhbGl0eSBpcyBpbXBvcnRhbnQgd2hlbiB3ZSB0YWxrIGFib3V0IE1hdGhl bWF0aWNzLCBpdCBpcyBhIHByb3BlcnR5IG9mIGEgbWF0aGVtYXRpY2FsIHRleHQuIFRoZSBzYW1l IGFwcGxpZXMgdG8gdHlwaW5nOiB3ZSBjYW5ub3QgdGFsayBhYm91dCB0eXBpbmcgYmVjYXVzZSBp dCBpcyBub3QgYSBwcm9wb3NpdGlvbiBpdCBpcyBhIHBhcnQgb2YgdGhlIHN0cnVjdHVyZSBvZiBv dXIgYXJndW1lbnQuDQoNCiAgICBUaGlzIGJlY29tZXMgY2xlYXIgaW4gdGhlIGV4YW1wbGU6IHdl IHRhbGsgYWJvdXQgbnVtYmVycyBidXQgeCt5IGlzIGFuIGV4cHJlc3Npb24sIGhlbmNlIHRhbGtp bmcgYWJvdXQganVkZ2VtZW50YWwgZXF1YWxpdHkgb25seSBtYWtlcyBzZW5zZSB3aGVuIHdlIHRh bGsgYWJvdXQgTWF0aGVtYXRpY3MuIFRvIHNheSB0aGF0IHgreSBpcyBub3QganVkZ2VtZW50YWwg ZXF1YWwgdG8geSt4IGRvZXNuJ3QgbWFrZSBhbnkgc2Vuc2Ugd2l0aGluIG91ciBhcmd1bWVudCBp dCBpcyBhIHNlbnRlbmNlIGFib3V0IGl0Lg0KDQogICAgV2hlbiBJIHNheSB0aGF0IDAreCBpcyBk ZWZpbml0aW9uYWxseSBlcXVhbCB0byB4IEkgZG9uJ3QgcHJvdmUgYW55dGhpbmcgYnV0IEkganVz dCBwb2ludCBvdXQgYSBmYWN0IHRoYXQgZm9sbG93cyBmcm9tIHRoZSBkZWZpbml0aW9uIG9mICsu IFRoYXQgaXMgSSBkcmF3IGF0dGVudGlvbiB0byBpdC4NCg0KICAgIEhlbmNlIGNsZWFybHkgdGhl cmUgaXMgbm8gcmVhc29uIHRvIHVzZSBhbnkgb3RoZXIgd29yZCB0aGF0IGVxdWFsaXR5IHRvIG1l YW4gdGhhdCB0d28gb2JqZWN0cyBhcmUgZXF1YWwgd2hpY2ggbWVhbnMgdGhhdCB0aGUgZXF1YWxp dHkgdHlwZSBpcyBpbmhhYml0ZWQgd2hpY2ggaXMgc2lnbmlmaWVkIGJ5IHVzaW5nID0uIFRoZXJl IGlzIHRoZSBpc3N1ZSB0aGF0IHdlIG1heSBoYXZlIGEgbW9yZSB0aGF0IG9uZSB3YXkgaW4gd2hp Y2ggdHdvIG9iamVjdHMgY2FuIGJlIGVxdWFsIHdoaWNoIGNyZWF0ZXMgdGhlIG5lZWQgdG8gdGFs ayBhYm91dCBlbGVtZW50cyBvZiBhbiBlcXVhbGl0eSB0eXBlLiAgICAgSSBkb24ndCBsaWtlIHRo ZSB3b3JkICJpZGVudGlmaWNhdGlvbnMiIGJlY2F1c2UgaXQgc2VlbXMgdG8gc3VnZ2VzdCB0aGF0 IHRoZSB0d28gb2JqZWN0cyBhcmUgbm90IHByb3Blcmx5IGVxdWFsIGJ1dCBqdXN0ICJpZGVudGlm aWVkIiBhcnRpZmljaWFsbHkuDQoNCiAgICBUaG9yc3Rlbg0KDQogICAgT24gMDYvMDUvMjAyMCwg MjA6MTksICJob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbSBvbiBiZWhhbGYgb2YgTWljaGFl bCBTaHVsbWFuIiA8aG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gb24gYmVoYWxmIG9mIHNo dS4uLkBzYW5kaWVnby5lZHU+IHdyb3RlOg0KDQogICAgICAgIEFzIEkndmUgc2FpZCBiZWZvcmUs IEkgc3Ryb25nbHkgZGlzYWdyZWUgdGhhdCB0aGUgc3RhbmRhcmQNCiAgICAgICAgaW50ZXJwcmV0 YXRpb24gb2YgImE9YiIgYXMgbWVhbmluZyAiYSBlcXVhbHMgYiIgY2xhc2hlcyBpbiBhbnkgd2F5 DQogICAgICAgIHdpdGggaXRzIHVzZSB0byBkZW5vdGUgdGhlIGlkZW50aXR5IHR5cGUuICBBbG1v c3Qgd2l0aG91dCBleGNlcHRpb24sDQogICAgICAgIHdoZW5ldmVyIGEgbWF0aGVtYXRpY2FuIHdv cmtpbmcgaW5mb3JtYWxseSBzYXlzICJlcXVhbHMiLCB0aGF0ICptdXN0Kg0KICAgICAgICBiZSBm b3JtYWxpemVkIGFzIHJlZmVycmluZyB0byB0aGUgaWRlbnRpdHkgdHlwZS4gIEFzayBhbnkNCiAg ICAgICAgbWF0aGVtYXRpY2lhbiBvbiB0aGUgc3RyZWV0IHdoZXRoZXIgeCt5PXkreCBmb3IgYWxs IG5hdHVyYWwgbnVtYmVycyB4DQogICAgICAgIGFuZCB5LCBhbmQgdGhleSB3aWxsIHNheSB5ZXMu ICBCdXQgdGhpcyBpcyBmYWxzZSBpZiA9IG1lYW5zIGp1ZGdtZW50YWwNCiAgICAgICAgZXF1YWxp dHkuICBKdWRnbWVudGFsIGVxdWFsaXR5IGlzIGEgdGVjaG5pY2FsIG9iamVjdCBvZiB0eXBlIHRo ZW9yeQ0KICAgICAgICB0aGF0IHRoZSAiZ2VuZXJpYyBtYXRoZW1hdGljaWFuIiBpcyBub3QgYXdh cmUgb2YgYXQgYWxsLCBzbyBpdCBjYW5ub3QNCiAgICAgICAgY28tb3B0IHRoZSBzdGFuZGFyZCBu b3RhdGlvbiAiPSIgb3Igd29yZCAiZXF1YWxzIiBpZiB3ZSB3YW50ICJpbmZvcm1hbA0KICAgICAg ICB0eXBlIHRoZW9yeSIgdG8gYmUgYXQgYWxsIGNvbXByZWhlbnNpYmxlIHRvIHN1Y2ggcmVhZGVy cy4NCg0KDQogICAgICAgIE9uIFdlZCwgTWF5IDYsIDIwMjAgYXQgMTI6MDEgUE0gU3RldmUgQXdv ZGV5IDxhd28uLi5AY211LmVkdT4gd3JvdGU6DQogICAgICAgID4NCiAgICAgICAgPiBEZWFyIEFu ZHJl4oCZIChhbmQgYWxsKSwNCiAgICAgICAgPg0KICAgICAgICA+IFRoZSBzaWduIGEgPSBiIGlz IHByZXR0eSB3ZWxsIGVzdGFibGlzaGVkIGluIG1hdGhlbWF0aWNzIGFzIG1lYW5pbmcg4oCcYSBl cXVhbHMgYuKAnSwNCiAgICAgICAgPiB3aGljaCBkb2VzIGluZGVlZCBjbGFzaCB3aXRoIG91ciBj aG9pY2UgaW4gdGhlIGJvb2sgdG8gdXNlIGl0IGZvciB0aGUgaWRlbnRpdHkgdHlwZSwNCiAgICAg ICAgPiBhbmQgdG8gY2FsbCB0aGUgZWxlbWVudHMgb2YgdGhpcyB0eXBlIOKAnGlkZW50aWZpY2F0 aW9uc+KAnS4NCiAgICAgICAgPiBUaG9yc3RlbiBoYXMgcmlnaHRseSBwb2ludGVkIG91dCB0aGlz IGNsYXNoLg0KICAgICAgICA+DQogICAgICAgID4gQWx0aG91Z2ggSSBhbSBwZXJzb25hbGx5IG5v dCBlYWdlciB0byBtYWtlIGFueSBjaGFuZ2VzIGluIG91ciBjdXJyZW50IHRlcm1pbm9sb2d5IGFu ZC9vciBub3RhdGlvbiwNCiAgICAgICAgPiBJ4oCZbSBjZXJ0YWlubHkgZ2xhZCB0byBjb25zaWRl ciB0aGUgcG9zc2liaWl5DQogICAgICAgID4gKHdlIGRpZCBhZ3JlZSB0byByZXR1cm4gdG8gdGhp cyBxdWVzdGlvbiBhdCBzb21lIHBvaW50LCBzbyBtYXliZSB0aGlzIGlzIGl0IDogLSApLg0KICAg ICAgICA+DQogICAgICAgID4gV2UgbmVlZCBib3RoIHN5bWJvbHMgYW5kIHdvcmRzIGZvciB0d28g bm90aW9uczoNCiAgICAgICAgPg0KICAgICAgICA+IC0ganVkZ2VtZW50YWwgZXF1YWxpdHksIGN1 cnJlbnRseSBhXGVxdWl2IGIsDQogICAgICAgID4gLSBwcm9wb3NpdGlvbmFsIGVxdWFsaXR5LCBj dXJyZW50bHkgYSA9IGIsIHNob3J0IGZvciBJZChhLGIpLg0KICAgICAgICA+DQogICAgICAgID4g VGhlcmUgc2VlbXMgdG8gYmUgYSBwcm9wb3NhbCB0byByZXZpc2UgdGhpcyB0byBzb21ldGhpbmcg bGlrZToNCiAgICAgICAgPg0KICAgICAgICA+IC0ganVkZ2VtZW50YWwgZXF1YWxpdHk6IHdyaXR0 ZW4gYSA9IGIgYW5kIHByb25vdW5jZWQg4oCcYSBlcXVhbHMgYuKAnSwNCiAgICAgICAgPiAtIHBy b3Bvc2l0aW9uYWwgZXF1YWxpdHksIHdyaXR0ZW4gbWF5YmUgYSBcY29uZyBiLCBhbmQgcHJvbnVu Y2VkIOKAnWEgaXNvIGLigJ0sDQogICAgICAgID4gKHRoZSBlbGVtZW50cyBvZiB0aGlzIHR5cGUg YXJlIGNhbGxlZCDigJxpc29zIikuDQogICAgICAgID4NCiAgICAgICAgPiBBbm90aGVyIChwYXJ0 aWFsKSBvcHRpb24gd291bGQgYmU6DQogICAgICAgID4NCiAgICAgICAgPiAtIGp1ZGdlbWVudGFs IGVxdWFsaXR5OiB3cml0dGVuIGEgPSBiIGFuZCBwcm9ub3VuY2VkIOKAnGEgZXF1YWxzIGLigJ0s DQogICAgICAgID4gLSBwcm9wb3NpdGlvbmFsIGVxdWFsaXR5LCB3cml0dGVuIElkKGEsYikgYW5k IHNob3J0ZW5lZCBzb21laG93IGEgPyBiLA0KICAgICAgICA+IGFuZCBwcm9udW5jZWQg4oCdYSBp ZGVuaXRmaWVkIHdpdGggYuKAnQ0KICAgICAgICA+ICh0aGUgZWxlbWVudHMgb2YgdGhpcyB0eXBl IGFyZSBjYWxsZWQg4oCcaWRlbnRpZmljYXRpb25zIikuDQogICAgICAgID4NCiAgICAgICAgPiBE byBlaXRoZXIgb2YgdGhlc2Ugc2VlbSBwcmVmZXJhYmxlPw0KICAgICAgICA+IEFyZSB0aGVyZSBv dGhlciBwcm9wb3NhbHM/DQogICAgICAgID4gQW5kIGhvdyBzaG91bGQgb25lIGRlY2lkZT8NCiAg ICAgICAgPg0KICAgICAgICA+IFJlZ2FyZHMsDQogICAgICAgID4NCiAgICAgICAgPiBTdGV2ZQ0K ICAgICAgICA+DQogICAgICAgID4NCiAgICAgICAgPg0KICAgICAgICA+DQogICAgICAgID4NCiAg ICAgICAgPiBPbiBNYXkgNiwgMjAyMCwgYXQgMTI6MDIgUE0sIEpveWFsLCBBbmRyw6kgPGpveWFs Li4uQHVxYW0uY2E+IHdyb3RlOg0KICAgICAgICA+DQogICAgICAgID4gRGVhciBhbGwsDQogICAg ICAgID4NCiAgICAgICAgPiBBIGZldyBtb3JlIHRob3VnaHRzLg0KICAgICAgICA+IFdlIGFsbCBh Z3JlZSB0aGF0IHRlcm1pbm9sb2d5IGFuZCBub3RhdGlvbiBhcmUgaW1wb3J0YW50Lg0KICAgICAg ICA+DQogICAgICAgID4gSSBsb3ZlIHRoZSBzdG9yeSBvZiB0aGUgZXF1YWxpdHkgc2lnbiA9IGlu dHJvZHVjZWQgYnkgUm9iZXJ0IFJlY29yZGUgKDE1MTItMTU1OCkuDQogICAgICAgID4gImJlY2F1 c2Ugbm8gdHdvIHRoaW5ncyBjYW4gYmUgbW9yZSBlcXVhbCB0aGFuIGEgcGFpciBvZiBwYXJhbGxl bCBsaW5lcyIuDQogICAgICAgID4gSXQgdG9vayBtb3JlIHRoYW4gYSBjZW50dXJ5IGJlZm9yZSBi ZWVuIHVuaXZlcnNhbGx5IGFkb3B0ZWQuDQogICAgICAgID4gUmVuw6kgRGVzY2FydGVzICgxNTk2 LTE2NTApIHVzZWQgYSBkaWZmZXJlbnQgc3ltYm9sICBpbiBoaXMgd29yayAoc29tZXRoaW5nIGxp a2UgXGFscGhhKS4NCiAgICAgICAgPiBXZSBtYXkgYXNrIHdoeSBSZWNvcmRlJ3Mgbm90YXRpb24g d29uIG92ZXIgRGVzY2FydGVzJ3Mgbm90YXRpb24/DQogICAgICAgID4gT2YgY291cnNlLCB3ZSBt YXkgbmV2ZXIga25vdy4NCiAgICAgICAgPiBJIGRhcmUgdG8gc2F5IHRoYXQgUmVjb3JkZSdzIG5v dGF0aW9uIHdhcyAqYmV0dGVyKi4NCiAgICAgICAgPiBBbW9uZyBvdGhlciB0aGluZ3MsIHRoZSBl cXVhbGl0eSBzaWduID0gaXMgc3ltbWV0cmljOg0KICAgICAgICA+IHRoZSBleHByZXNzaW9uIGE9 YiBhbmQgYj1hIGFyZSBtaXJyb3IgaW1hZ2Ugb2YgZWFjaCBvdGhlci4NCiAgICAgICAgPiBSZWNv cmRlJ3MgbW90aXZlIGZvciBpbnRyb2R1Y2luZyB0aGUgbm90YXRpb24gd2FzIG1vcmUgYWJvdXQN CiAgICAgICAgPiBjb252ZW5pZW5jZSBhbmQgYWVzdGhldGljIHRoYW4gYWJvdXQgcGhpbG9zb3Bo eSBhbmQgaGlzdG9yeS4NCiAgICAgICAgPiBUaGUgbm90YXRpb24gd2FzIGdyYWR1YWxseSBhZG9w dGVkIGJlY2F1c2UgaXQgaXMgc2ltcGxlIGFuZCB1c2VmdWwuDQogICAgICAgID4gSXQgd2FzIG5v dCBiZWNhdXNlIFJlY29yZGUgd2FzIGEgcG93ZXJmdWwgYWNhZGVtaWMsDQogICAgICAgID4gc2lu Y2UgaGUgZXZlbnR1YWxseSBkaWVkIGluIHByaXNvbi4NCiAgICAgICAgPg0KICAgICAgICA+IFRo ZXJlIGlzIHNvbWV0aGluZyB0byBsZWFybiBmcm9tIHRoZSBoaXN0b3J5IG9mIHRoZSBlcXVhbGl0 eSBzaWduLg0KICAgICAgICA+IEkgZ3Vlc3MgdGhhdCBpdCBjYW4gYWxzbyBhcHBsaWVkIHRvIHRl cm1pbm9sb2d5Lg0KICAgICAgICA+IEEgbmV3IG5vdGF0aW9uIG9yIHRlcm1pbm9sb2d5IGhhcyBh IGdvb2QgY2hhbmNlIHRvIGJlIGFkb3B0ZWQgdW5pdmVyc2FsbHkNCiAgICAgICAgPiBpZiBpdCBp cyBzaW1wbGUgYW5kIHVzZWZ1bCwgYnV0IGl0IG1heSB0YWtlIHRpbWUuDQogICAgICAgID4NCiAg ICAgICAgPiBBbmRyw6kNCiAgICAgICAgPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f Xw0KICAgICAgICA+IEZyb206IGhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tIFtob21vdG9w eXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbV0gb24gYmVoYWxmIG9mIEFuc3RlbiBNw7hyY2ggS2xldiBb YW5zdGUuLi5AZ21haWwuY29tXQ0KICAgICAgICA+IFNlbnQ6IFR1ZXNkYXksIE1heSAwNSwgMjAy MCA0OjQ3IEFNDQogICAgICAgID4gVG86IEhvbW90b3B5VC4uLkBnb29nbGVncm91cHMuY29tDQog ICAgICAgID4gU3ViamVjdDogW0hvVFRdIElkZW50aXR5IHZlcnN1cyBlcXVhbGl0eQ0KICAgICAg ICA+DQogICAgICAgID4gVGhlIGRpc2N1c3Npb24geWVzdGVyZGF5IHByb3ZpZGVzIGEgZ29vZCBv Y2Nhc2lvbiBmb3IgbWUgdG8gcG9zZSBhIHF1ZXN0aW9uIEkgaGF2ZSBsb25nIHdhbnRlZCB0byBw dXQgdG8gdGhpcyBsaXN0OiBpcyB0aGVyZSBhIGNvbnZlbnRpb24gZ2VuZXJhbGx5IGFncmVlZCB1 cG9uIGluIHRoZSBIb1RULWNvbW11bml0eSBmb3Igd2hlbiAoaWYgZXZlcikgdG8gdXNlICdpZGVu dGl0eScgaW5zdGVhZCBvZiAnZXF1YWxpdHknPw0KICAgICAgICA+DQogICAgICAgID4gSGVyZSBh cmUgc29tZSByZWxldmFudCBkYXRhLg0KICAgICAgICA+DQogICAgICAgID4gQSBHZXJtYW5pYyBl cXVpdmFsZW50IGZvciAnaWRlbnRpdHknIGlzICdzYW1lbmVzcycuDQogICAgICAgID4gQSBHZXJt YW5pYyBlcXVpdmFsZW50IGZvciAnZXF1YWxpdHknIGlzICdsaWtlbmVzcycuDQogICAgICAgID4N CiAgICAgICAgPiBGb3IgQXJpc3RvdGxlIGVxdWFsaXR5IG1lYW5zIHNhbWVuZXNzIG9mIHF1YW50 aXR5LiBUaGlzIGlzIGhvdyBvbmUgbXVzdCB1bmRlcnN0YW5kICdlcXVhbCcgaW4gRXVjbGlkJ3Mg RWxlbWVudHMsIHdoZXJlIGEgdHJpYW5nbGUgbWF5IGhhdmUgYWxsIHNpZGVzIGVxdWFsIChjbGVh cmx5LCB0aGV5IGNhbm5vdCBiZSBpZGVudGljYWwpLiBUaGUgYXhpb20gaW4gdGhlIEVsZW1lbnRz IHRoYXQgaGFzIGdpdmVuIHJpc2UgdG8gdGhlIHRlcm0gJ0V1Y2xpZGVhbiByZWxhdGlvbicgYW5k IHdoaWNoIGlzIGFwcGVhbGVkIHRvIGluIEVsZW1lbnRzIEkuMSBpcyBwaHJhc2VkIGluIHRlcm1z IG9mICdlcXVhbCcgcmF0aGVyIHRoYW4gJ2lkZW50aWNhbCcuDQogICAgICAgID4NCiAgICAgICAg PiBJbiBEaW9waGFudHVzJ3MgQXJpdGhtZXRpY2EsIG9uIHRoZSBvdGhlciBoYW5kLCB0aGUgdHdv IHRlcm1zIG9mIGFuIGVxdWF0aW9uIGFyZSBzYWlkIHRvIGJlIGVxdWFsLCBub3QgaWRlbnRpY2Fs LCBhbmQgdGhpcyB3b3VsZCBiZWNvbWUgdGhlIHN0YW5kYXJkIHRlcm1pbm9sb2d5IGluIGFsZ2Vi cmEuIEZvciBpbnN0YW5jZSwgdGhlIHNpZ24gJz0nIHdhcyBpbnRyb2R1Y2VkIGJ5IFJvYmVydCBS ZWNvcmRlIGFzIGEgc2lnbiBvZiBlcXVhbGl0eSwgbm90IGFzIGEgc2lnbiBvZiBpZGVudGl0eS4g VGhlIGV4cGxhbmF0aW9uIGZvciB0aGlzIGFwcGFyZW50IGRpc2NyZXBhbmN5IHdpdGggdGhlIEFy aXN0b3RlbGlhbi9FdWNsaWRlYW4gdGVybWlub2xvZ3kgbWlnaHQgYmUgdGhhdCB3aGVuIGRlYWxp bmcgd2l0aCBudW1iZXJzLCBlcXVhbGl0eSBqdXN0IGlzIGlkZW50aXR5LCBzaW5jZSBmb3IgdHdv IG51bWJlcnMgdG8gYmUgaWRlbnRpY2FsIGFzIHRvIG1hZ25pdHVkZSBqdXN0IGlzIGZvciB0aGVt IHRvIGJlIHRoZSBzYW1lIG51bWJlci4gQXJpc3RvdGxlIHNheXMgYXMgbXVjaCBpbiBNZXRhcGh5 c2ljcyBNLjcuDQogICAgICAgID4NCiAgICAgICAgPiBIaWxiZXJ0IGFuZCBCZXJuYXlzIG1pZ2h0 IGJlIG9uZSBvZiB0aGUgZmV3IGxvZ2ljIGJvb2tzIGluIHRoZSBtb2Rlcm4gZXJhIHRvIGRpc3Rp bmd1aXNoIGVxdWFsaXR5IGZyb20gaWRlbnRpdHkgKHZvbHVtZSBJLCBjaGFwdGVyIDUpLiAnRXF1 YWxpdHknIGlzIHRoZXJlIHVzZWQgZm9yIGFueSBlcXVpdmFsZW5jZSByZWxhdGlvbiBhbmQgZ2xv c3NlZCBhcyB0aGUgb2J0YWluaW5nIG9mICJpcmdlbmRlaW5lIEFydCB2b24gw5xiZXJlaW5zdGlt bXVuZyIuIElkZW50aXR5LCBieSBjb250cmFzdCwgaXMgIsOcYmVyZWluc3RpbW11bmcgaW4gamVk ZXIgSGluc2ljaHQiLCBhcyBleHByZXNzZWQgYnkgaW5kaXNjZXJuaWJpbGl0eSB3aXRoaW4gdGhl IGdpdmVuIGxhbmd1YWdlLg0KICAgICAgICA+DQogICAgICAgID4gRnJlZ2UsIGJ5IGNvbnRyYXN0 LCBleHBsaWNpdGx5IGlkZW50aWZpZXMgKHNpYyEpIGVxdWFsaXR5IHdpdGggaWRlbnRpdHksIGFu ZCBnbG9zc2VzIHRoZSBsYXR0ZXIgYXMgc2FtZW5lc3Mgb3IgY29pbmNpZGVuY2UsIGluIHRoZSBm aXJzdCBmb290bm90ZSB0byBoaXMgcGFwZXIgb24gc2Vuc2UgYW5kIHJlZmVyZW5jZS4gIEtsZWVu ZSBhbmQgQ2h1cmNoIGRvIHRoZSBzYW1lIGluIHRoZWlyIGZhbW91cyB0ZXh0Ym9va3M6IGlmIG9u ZSBsb29rcyB1bmRlciAnaWRlbnRpdHknIGluIHRoZSBpbmRleCB0byBhbnkgb2YgdGhvc2UgYm9v a3Mgb25lIGlzIHJlZmVycmVkIHRvICdlcXVhbGl0eScuDQogICAgICAgID4NCiAgICAgICAgPiBD bGVhcmx5IHRoZSB0d28gY2Fubm90IGJlIGFzc3VtZWQgdG8gbWVhbiB0aGUgc2FtZSBieSBhbmFs eXN0cyB3aG8gc3BlYWsgb2YgdHdvIGZ1bmN0aW9ucyBiZWluZyBpZGVudGljYWxseSBlcXVhbCEN CiAgICAgICAgPg0KICAgICAgICA+IC0tDQogICAgICAgID4gWW91IHJlY2VpdmVkIHRoaXMgbWVz c2FnZSBiZWNhdXNlIHlvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgR29vZ2xlIEdyb3VwcyAiSG9t b3RvcHkgVHlwZSBUaGVvcnkiIGdyb3VwLg0KICAgICAgICA+IFRvIHVuc3Vic2NyaWJlIGZyb20g dGhpcyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1h aWwgdG8gSG9tb3RvcHlULi4uQGdvb2dsZWdyb3Vwcy5jb20uDQogICAgICAgID4gVG8gdmlldyB0 aGlzIGRpc2N1c3Npb24gb24gdGhlIHdlYiB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29t L2QvbXNnaWQvSG9tb3RvcHlUeXBlVGhlb3J5L0NBSkhadXFZTFktX0RCOXVoLTBGVzBqcjJLU29R JTJCcHdSR0QwUFBqcSUyQnh5UXZhSkZOMkElNDBtYWlsLmdtYWlsLmNvbS4NCiAgICAgICAgPg0K ICAgICAgICA+IC0tDQogICAgICAgID4gWW91IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNhdXNl IHlvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgR29vZ2xlIEdyb3VwcyAiSG9tb3RvcHkgVHlwZSBU aGVvcnkiIGdyb3VwLg0KICAgICAgICA+IFRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBh bmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8gSG9tb3Rv cHlULi4uQGdvb2dsZWdyb3Vwcy5jb20uDQogICAgICAgID4gVG8gdmlldyB0aGlzIGRpc2N1c3Np b24gb24gdGhlIHdlYiB2aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2QvbXNnaWQvSG9t b3RvcHlUeXBlVGhlb3J5LzhDNTc4OTRDNzQxM0YwNEE5OERERjU2MjlGRUM5MEIxNjUyRjUxNUUl NDBQbGkuZ3N0LnVxYW0uY2EuDQogICAgICAgID4NCiAgICAgICAgPg0KICAgICAgICA+IC0tDQog ICAgICAgID4gWW91IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNhdXNlIHlvdSBhcmUgc3Vic2Ny aWJlZCB0byB0aGUgR29vZ2xlIEdyb3VwcyAiSG9tb3RvcHkgVHlwZSBUaGVvcnkiIGdyb3VwLg0K ICAgICAgICA+IFRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBhbmQgc3RvcCByZWNlaXZp bmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8gSG9tb3RvcHlULi4uQGdvb2dsZWdy b3Vwcy5jb20uDQogICAgICAgID4gVG8gdmlldyB0aGlzIGRpc2N1c3Npb24gb24gdGhlIHdlYiB2 aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2QvbXNnaWQvSG9tb3RvcHlUeXBlVGhlb3J5 LzA1Mzc1MDU3LTg4M0YtNDQ4Ny04OTE5LTI1NzlGNTc3MUFGQyU0MGNtdS5lZHUuDQoNCiAgICAg ICAgLS0NCiAgICAgICAgWW91IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNhdXNlIHlvdSBhcmUg c3Vic2NyaWJlZCB0byB0aGUgR29vZ2xlIEdyb3VwcyAiSG9tb3RvcHkgVHlwZSBUaGVvcnkiIGdy b3VwLg0KICAgICAgICBUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVj ZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvIEhvbW90b3B5VC4uLkBnb29n bGVncm91cHMuY29tLg0KICAgICAgICBUbyB2aWV3IHRoaXMgZGlzY3Vzc2lvbiBvbiB0aGUgd2Vi IHZpc2l0IGh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9tc2dpZC9Ib21vdG9weVR5cGVUaGVv cnkvQ0FPdml2UXdUUjRxSzA5NCUyQmttZ2olM0QyNTQ3VXhHZ21ialc5azVNZ0xlJTJCbmU5eFBl ZjN3JTQwbWFpbC5nbWFpbC5jb20uDQoNCg0KDQoNCiAgICBUaGlzIG1lc3NhZ2UgYW5kIGFueSBh dHRhY2htZW50IGFyZSBpbnRlbmRlZCBzb2xlbHkgZm9yIHRoZSBhZGRyZXNzZWUNCiAgICBhbmQg bWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSByZWNlaXZl ZCB0aGlzDQogICAgbWVzc2FnZSBpbiBlcnJvciwgcGxlYXNlIGNvbnRhY3QgdGhlIHNlbmRlciBh bmQgZGVsZXRlIHRoZSBlbWFpbCBhbmQNCiAgICBhdHRhY2htZW50Lg0KDQogICAgQW55IHZpZXdz IG9yIG9waW5pb25zIGV4cHJlc3NlZCBieSB0aGUgYXV0aG9yIG9mIHRoaXMgZW1haWwgZG8gbm90 DQogICAgbmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mgb2YgdGhlIFVuaXZlcnNpdHkgb2Yg Tm90dGluZ2hhbS4gRW1haWwNCiAgICBjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5 IG9mIE5vdHRpbmdoYW0gbWF5IGJlIG1vbml0b3JlZA0KICAgIHdoZXJlIHBlcm1pdHRlZCBieSBs YXcuDQoNCg0KDQoNCg0KCgoKVGhpcyBtZXNzYWdlIGFuZCBhbnkgYXR0YWNobWVudCBhcmUgaW50 ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2VlCmFuZCBtYXkgY29udGFpbiBjb25maWRlbnRp YWwgaW5mb3JtYXRpb24uIElmIHlvdSBoYXZlIHJlY2VpdmVkIHRoaXMKbWVzc2FnZSBpbiBlcnJv ciwgcGxlYXNlIGNvbnRhY3QgdGhlIHNlbmRlciBhbmQgZGVsZXRlIHRoZSBlbWFpbCBhbmQKYXR0 YWNobWVudC4gCgpBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2VkIGJ5IHRoZSBhdXRob3Ig b2YgdGhpcyBlbWFpbCBkbyBub3QKbmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mgb2YgdGhl IFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4gRW1haWwKY29tbXVuaWNhdGlvbnMgd2l0aCB0aGUg VW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9yZWQgCndoZXJlIHBlcm1pdHRl ZCBieSBsYXcuCgoKCgo=