Return-Path: Received: from smtp3.osuosl.org (smtp3.osuosl.org [140.211.166.136]) by lists.linuxfoundation.org (Postfix) with ESMTP id 086BBC002D for ; Thu, 8 Dec 2022 01:15:11 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by smtp3.osuosl.org (Postfix) with ESMTP id C9FDE60AA0 for ; Thu, 8 Dec 2022 01:15:10 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp3.osuosl.org C9FDE60AA0 Authentication-Results: smtp3.osuosl.org; dkim=pass (2048-bit key) header.d=protonmail.com header.i=@protonmail.com header.a=rsa-sha256 header.s=protonmail3 header.b=bY3WAya/ X-Virus-Scanned: amavisd-new at osuosl.org X-Spam-Flag: NO X-Spam-Score: -2.101 X-Spam-Level: X-Spam-Status: No, score=-2.101 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no Received: from smtp3.osuosl.org ([127.0.0.1]) by localhost (smtp3.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id OZWOKMfPbqUG for ; Thu, 8 Dec 2022 01:15:09 +0000 (UTC) X-Greylist: domain auto-whitelisted by SQLgrey-1.8.0 DKIM-Filter: OpenDKIM Filter v2.11.0 smtp3.osuosl.org E779A60767 Received: from mail-4319.protonmail.ch (mail-4319.protonmail.ch [185.70.43.19]) by smtp3.osuosl.org (Postfix) with ESMTPS id E779A60767 for ; Thu, 8 Dec 2022 01:15:08 +0000 (UTC) Date: Thu, 08 Dec 2022 01:14:54 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1670462106; x=1670721306; bh=uAzTIflCLhYzHVrCwTY/AKy8lgt1bKpKX+vp36joE50=; h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=bY3WAya/rQvhQEiJa/BO1FympX3HUQIc+ArRRgLGYUgOBw5d6HZCwhb55Ae+E9sbV BCqEKrl6PIEHoLW2vVpg2TdRhnq7wMeuvgrkLCh+9ZeviAMRMUzLitXjEloOAEhuKg MRyrIDHW8gAvENXvzzEUNhlxC0KQ34InZe5/Q8xzVTn64ntw0lI+JGuD/M7TURm0Dz JLpNeRnXskrQpsRgev/ZkWWLX4nR7PO1ho9hxgav2TYwwTrpysbnVCYB9RseMkhPis XcRVtReaMNUtIthO/B7ilDtKxSLs4eyPN6c1LFAbRtc7poLY8w0iA0Qm2+aQTFC857 h8P9tjHBjrpRQ== To: Bitcoin Protocol Discussion From: Robin Linus Message-ID: Feedback-ID: 13789661:user:proton MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="b1_BJElUWwQ7CrafEh6aj6DM9rE2oUiqcGcFmDGsifs8" X-Mailman-Approved-At: Thu, 08 Dec 2022 01:18:36 +0000 Subject: [bitcoin-dev] Nondeterministic Programming and Hints in Bitcoin Script X-BeenThere: bitcoin-dev@lists.linuxfoundation.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Bitcoin Protocol Discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 08 Dec 2022 01:15:11 -0000 This is a multi-part message in MIME format. --b1_BJElUWwQ7CrafEh6aj6DM9rE2oUiqcGcFmDGsifs8 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 VEw7RFI6IEJpdGNvaW4gU2NyaXB0IHN1cHBvcnRzIGEgbG90IG1vcmUgb3Bjb2RlcyB0aGFuIHBy ZXZpb3VzbHkgYXNzdW1lZC4gV2UganVzdCBoYXZlIHRvIGFwcGx5IG5vbmRldGVybWluaXN0aWMg cHJvZ3JhbW1pbmcsIHdoaWNoIGlzIGEgY29uY2VwdCBmcm9tIFpLUCBjaXJjdWl0IGRlc2lnbi4K Ckdvb2QgbW9ybmluZyBNYWlsaW5nbGlzdCwKCnRoZSBUYXByb290IHVwZGF0ZSBkcm9wcGVkIHRo ZSByZXN0cmljdGlvbnMgZm9yIHNjcmlwdCBzaXplcywgc28gaW4gdGhlb3J5IGEgVFggY2FuIG5v dyBoYXZlIGEgc2NyaXB0IHdpdGggbWlsbGlvbnMgb2YgaW5zdHJ1Y3Rpb25zLiBXaGlsZSBleHBs b3JpbmcgdGhlIG5ldyBwb3NzaWJpbGl0aWVzIEkgbm90aWNlZCB0aGF0IHdlIGNhbiBhcHBseSB0 byBCaXRjb2luIFNjcmlwdCBhIHByb2dyYW1taW5nIGNvbmNlcHQgZnJvbSB6ZXJvLWtub3dsZWRn ZSBwcm9vZnMgbmFtZWQgbm9uZGV0ZXJtaW5pc3RpYyBwcm9ncmFtbWluZy4gV2hlbmV2ZXIgcG9z c2libGUsIHRoZSBwcm92ZXIgY29tcHV0ZXMgdGhlIHJlc3VsdCBvZiBhbiBleHBlbnNpdmUgb3Bl cmF0aW9uIGFuZCB0aGVuIGdpdmVzIHRoYXQgcmVzdWx0IHRvIHRoZSB2ZXJpZmllciwgd2hvIG9u bHkgdmVyaWZpZXMgdGhlIGNvcnJlY3RuZXNzIG9mIHRoZSByZXN1bHQsIHdoaWNoIGlzIG9mdGVu IG11Y2ggbW9yZSBlZmZpY2llbnQgdGhhbiBjb21wdXRpbmcgaXQuCgpGb3IgZXhhbXBsZSwgd2Ug Y2FuIHJlcHJlc2VudCBpbnRlZ2VyIGRpdmlzaW9uIGVmZmljaWVudGx5IGluIEJpdGNvaW4gU2Ny aXB0IGlmIHRoZSByZXN1bHQgaXMgZ2l2ZW4gdG8gdXMgaW4gdGhlIHVubG9ja2luZyBzY3JpcHQu IFRoaXMgaXMgYmVjYXVzZSBtdWx0aXBsaWNhdGlvbiB3aXRoIGEgY29uc3RhbnQgaXMgcmVsYXRp dmVseSBjaGVhcC4KCkhlcmUgaXMgYSBtb3N0IHNpbXBsZSBleGFtcGxlIGltcGxlbWVudGluZyBp bnRlZ2VyIGRpdmlzaW9uIGJ5IDIuIFdlIHVzZSB0aGF0IG11bHRpcGxpY2F0aW9uIGJ5IDIgaXMg c2ltcGx5IE9QX0RVUCBPUF9BREQsIHdoaWNoIGlzIGNoZWFwLgoKYGBgCgojIEludGVnZXIgZGl2 aXNpb24gYnkgMiB3aXRoIHRoZSBoZWxwIG9mIGEgaGludAojIEluIHRoaXMgZXhhbXBsZSwgd2Ug ZGl2aWRlIDExOSBieSAyLgojIEluIHRoZSB1bmxvY2tpbmcgc2NyaXB0IHRoZSBwcm92ZXIgcHJv dmlkZXMgdGhlIHJlc3VsdAojIGFzIGEgaGludCAxMTkvLzIgPSA1OSwgd2hpY2ggd2UgdmVyaWZ5 LgoKYnRjZGViICJbCgogIDExOSAgICAgICAgICAgICAjIFNvbWUgYXJiaXRyYXJ5IGlucHV0IGlz IG9uIHRoZSBzdGFjawogIE9QX09WRVIgICAgICAgICAjIENvcHkgdGhlIGhpbnQgdG8gdGhlIHRv cCBvZiB0aGUgc3RhY2sKCiAgT1BfRFVQIE9QX0FERCAgICMgTXVsdGlwbHkgdGhlIGhpbnQgYnkg MgogIE9QX1NVQiAgICAgICAgICAjIFN1YnRyYWN0IHRoYXQgZnJvbSB0aGUgMTE5CgogICMgTm93 IHRoZSByZW1haW5kZXIgc2hvdWxkIGJlIG9uIHRoZSBzdGFjawogICMgV2UgdmVyaWZ5IHRoYXQg aXQgaXMgZXhhY3RseSAwIG9yIDEKCiAgT1BfRFVQICAgICAgICAgICMgTWFrZSBhIGNvcHkKICBP UF8wTk9URVFVQUwgICAgIyBSZXR1cm5zIDAgaWYgdGhlIGlucHV0IGlzIDAuIDEgb3RoZXJ3aXNl LgogIE9QX0VRVUFMVkVSSUZZCgojIF0iIDU5ICAgICAgICAgICAjIFRoZSBoaW50IHByb3ZpZGVk IGlzIDU5ID0gMTE5LzIKCmBgYAoKSGVyZSB5b3UgY2FuIGZpbmQgbW9yZSBjb21wbGV4IGV4YW1w bGVzIG9mIG9wY29kZXMgdXNpbmcgaGludHM6Cmh0dHBzOi8vZ2l0aHViLmNvbS9jb2lucy9iaXRj b2luLXNjcmlwdHMvYmxvYi9tYXN0ZXIvY29tcG9zaXRlLW9wY29kZXMubWQjb3BfMmRpdgoKSGVy ZSBpcyBldmVuIGEgc2NyaXB0IGZvciBhIGJpdHdpc2Ugcm90YXRpb24gb2YgYSAzMi1iaXQgd29y ZC4gSXQgcmVxdWlyZXMgYWJvdXQgMTAwIGluc3RydWN0aW9ucy4gSSB0aGluayB0aGF0IHN1Z2dl c3RzIGl0IG1pZ2h0IGJlIHBvc3NpYmxlIHRvIGltcGxlbWVudCBzb21ldGhpbmcgbGlrZSBzaGEy NTYgaW4gYWJvdXQgMjAwLTMwMGsgb3Bjb2Rlcy4KaHR0cHM6Ly9naXRodWIuY29tL2NvaW5zL2Jp dGNvaW4tc2NyaXB0cy9ibG9iL21hc3Rlci9vcF9yb3RhdGUubWQKCkZ1cnRoZXJtb3JlLCBJIHdv bmRlcmVkIGlmIGl0IG1pZ2h0IGJlIHBvc3NpYmxlIHRvIGltcGxlbWVudCBhIFpLUCB2ZXJpZmll ciBpbiBCaXRjb2luIHNjcmlwdC4gSG93ZXZlciwgdGhhdCB3b3VsZCBwcm9iYWJseSBuZWVkIHNv bWUgaGFjayB0byBtYWtlIG11bHRpcGxpY2F0aW9ucyBtdWNoIGNoZWFwZXIuCgpNYXliZSBvdGhl cnMgYWxzbyBmaW5kIGl0IGV4Y2l0aW5nIHRvIGV4cGxvcmUgdGhlIG5ldyBzb2x1dGlvbiBzcGFj ZXMgZW5hYmxlZCBieSB0aGUgVGFwcm9vdCB1cGRhdGUgYW5kIG1heWJlIG5vbmRldGVybWluaXN0 aWMgcHJvZ3JhbW1pbmcgaW5zcGlyZXMgc29tZSBuZXcgd2F5cyBvZiB0aGlua2luZyBhYm91dCBC aXRjb2luIFNjcmlwdC4KCkhhdmUgYSBnb29kIGRheSBldmVyeW9uZSEKUm9iaW4= --b1_BJElUWwQ7CrafEh6aj6DM9rE2oUiqcGcFmDGsifs8 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 PGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsOyBmb250LXNpemU6IDE0cHg7Ij5UTDtEUjog Qml0Y29pbiBTY3JpcHQgc3VwcG9ydHMgYSBsb3QgbW9yZSBvcGNvZGVzIHRoYW4gcHJldmlvdXNs eSBhc3N1bWVkLiBXZSBqdXN0IGhhdmUgdG8gYXBwbHkgbm9uZGV0ZXJtaW5pc3RpYyBwcm9ncmFt bWluZywgd2hpY2ggaXMgYSBjb25jZXB0IGZyb20gIFpLUCBjaXJjdWl0IGRlc2lnbi48YnI+PGJy Pjxicj48L2Rpdj48ZGl2IHN0eWxlPSJmb250LWZhbWlseTogQXJpYWw7IGZvbnQtc2l6ZTogMTRw eDsiPkdvb2QgbW9ybmluZyBNYWlsaW5nbGlzdCwmbmJzcDs8L2Rpdj48ZGl2IHN0eWxlPSJmb250 LWZhbWlseTogQXJpYWw7IGZvbnQtc2l6ZTogMTRweDsiPjxicj48L2Rpdj48ZGl2IHN0eWxlPSJm b250LWZhbWlseTogQXJpYWw7IGZvbnQtc2l6ZTogMTRweDsiPnRoZSBUYXByb290IHVwZGF0ZSBk cm9wcGVkIHRoZSByZXN0cmljdGlvbnMgZm9yIHNjcmlwdCBzaXplcywgc28gaW4gdGhlb3J5IGEg VFggY2FuIG5vdyBoYXZlIGEgc2NyaXB0IHdpdGggbWlsbGlvbnMgb2YgaW5zdHJ1Y3Rpb25zLiBX aGlsZSBleHBsb3JpbmcgdGhlIG5ldyBwb3NzaWJpbGl0aWVzIEkgbm90aWNlZCB0aGF0IHdlIGNh biBhcHBseSB0byBCaXRjb2luIFNjcmlwdCBhIHByb2dyYW1taW5nIGNvbmNlcHQgZnJvbSB6ZXJv LWtub3dsZWRnZSBwcm9vZnMgbmFtZWQgbm9uZGV0ZXJtaW5pc3RpYyBwcm9ncmFtbWluZy4gV2hl bmV2ZXIgcG9zc2libGUsIHRoZSBwcm92ZXIgY29tcHV0ZXMgdGhlIHJlc3VsdCBvZiBhbiBleHBl bnNpdmUgb3BlcmF0aW9uIGFuZCB0aGVuIGdpdmVzIHRoYXQgcmVzdWx0IHRvIHRoZSB2ZXJpZmll ciwgd2hvIG9ubHkgPGk+dmVyaWZpZXM8L2k+IHRoZSBjb3JyZWN0bmVzcyBvZiB0aGUgcmVzdWx0 LCB3aGljaCBpcyBvZnRlbiBtdWNoIG1vcmUgZWZmaWNpZW50IHRoYW4gPGk+Y29tcHV0aW5nPC9p PiBpdC48YnI+PGJyPkZvciBleGFtcGxlLCB3ZSBjYW4gcmVwcmVzZW50IGludGVnZXIgZGl2aXNp b24gZWZmaWNpZW50bHkgaW4gQml0Y29pbiBTY3JpcHQgaWYgdGhlIHJlc3VsdCBpczxzcGFuIHN0 eWxlPSJiYWNrZ3JvdW5kLWNvbG9yOnJnYigyNTUsIDI1NSwgMjU1KTtkaXNwbGF5OmlubGluZSAh aW1wb3J0YW50Ij4mbmJzcDtnaXZlbiB0byB1cyBpbiB0aGUgdW5sb2NraW5nIHNjcmlwdDwvc3Bh bj4uIFRoaXMgaXMgYmVjYXVzZSBtdWx0aXBsaWNhdGlvbiB3aXRoIGEgY29uc3RhbnQgaXMgcmVs YXRpdmVseSBjaGVhcC48YnI+PGJyPkhlcmUgaXMgYSBtb3N0IHNpbXBsZSBleGFtcGxlIGltcGxl bWVudGluZyBpbnRlZ2VyIGRpdmlzaW9uIGJ5IDIuIFdlIHVzZSB0aGF0IG11bHRpcGxpY2F0aW9u IGJ5IDIgaXMgc2ltcGx5IE9QX0RVUCBPUF9BREQsIHdoaWNoIGlzIGNoZWFwLjxicj48YnI+YGBg PGJyPjxwcmUgc3R5bGU9ImJveC1zaXppbmc6Ym9yZGVyLWJveDtmb250LWZhbWlseTp1aS1tb25v c3BhY2UsIFNGTW9uby1SZWd1bGFyLCAmcXVvdDtTRiBNb25vJnF1b3Q7LCBNZW5sbywgQ29uc29s YXMsICZxdW90O0xpYmVyYXRpb24gTW9ubyZxdW90OywgbW9ub3NwYWNlO2ZvbnQtc2l6ZToxMy42 cHg7bWFyZ2luLXRvcDowcHg7bWFyZ2luLWJvdHRvbToxNnB4O3BhZGRpbmc6MTZweDtvdmVyZmxv dzphdXRvO2xpbmUtaGVpZ2h0OjEuNDU7YmFja2dyb3VuZC1jb2xvcjp2YXIoLS1jb2xvci1jYW52 YXMtc3VidGxlKTtib3JkZXItcmFkaXVzOjZweDtjb2xvcjpyZ2IoMzYsIDQxLCA0NykiPjxjb2Rl IHN0eWxlPSJib3gtc2l6aW5nOmJvcmRlci1ib3g7bWFyZ2luOjBweDtiYWNrZ3JvdW5kOnRyYW5z cGFyZW50O2JvcmRlci1yYWRpdXM6NnB4O2Rpc3BsYXk6aW5saW5lIj4jIEludGVnZXIgZGl2aXNp b24gYnkgMiB3aXRoIHRoZSBoZWxwIG9mIGEgaGludA0KIyBJbiB0aGlzIGV4YW1wbGUsIHdlIGRp dmlkZSAxMTkgYnkgMi4NCiMgSW4gdGhlIHVubG9ja2luZyBzY3JpcHQgdGhlIHByb3ZlciBwcm92 aWRlcyB0aGUgcmVzdWx0DQojIGFzIGEgaGludCAxMTkvLzIgPSA1OSwgd2hpY2ggd2UgdmVyaWZ5 Lg0KDQpidGNkZWIgIlsgDQoNCiZuYnNwOyAxMTkgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDsgIyBTb21lIGFyYml0cmFyeSBpbnB1dCBpcyBvbiB0aGUgc3RhY2sNCiZu YnNwOyBPUF9PVkVSICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAjIENvcHkgdGhlIGhpbnQg dG8gdGhlIHRvcCBvZiB0aGUgc3RhY2sNCg0KJm5ic3A7IE9QX0RVUCBPUF9BREQgJm5ic3A7ICMg TXVsdGlwbHkgdGhlIGhpbnQgYnkgMg0KJm5ic3A7IE9QX1NVQiAmbmJzcDsgJm5ic3A7ICZuYnNw OyAmbmJzcDsgJm5ic3A7IyBTdWJ0cmFjdCB0aGF0IGZyb20gdGhlIDExOQ0KJm5ic3A7ICZuYnNw OyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7IA0KDQombmJzcDsgIyBOb3cgdGhl IHJlbWFpbmRlciBzaG91bGQgYmUgb24gdGhlIHN0YWNrDQombmJzcDsgIyBXZSB2ZXJpZnkgdGhh dCBpdCBpcyBleGFjdGx5IDAgb3IgMQ0KJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNw OyAmbmJzcDsgJm5ic3A7IA0KJm5ic3A7IE9QX0RVUCAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJz cDsgJm5ic3A7IyBNYWtlIGEgY29weQ0KJm5ic3A7IE9QXzBOT1RFUVVBTCAmbmJzcDsgJm5ic3A7 IyBSZXR1cm5zIDAgaWYgdGhlIGlucHV0IGlzIDAuIDEgb3RoZXJ3aXNlLg0KJm5ic3A7IE9QX0VR VUFMVkVSSUZZDQoNCiMgXSIgNTkgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAj IFRoZSBoaW50IHByb3ZpZGVkIGlzIDU5ID0gMTE5LzI8L2NvZGU+PC9wcmU+YGBgPGJyPjxicj5I ZXJlIHlvdSBjYW4gZmluZCBtb3JlIGNvbXBsZXggZXhhbXBsZXMgb2Ygb3Bjb2RlcyB1c2luZyBo aW50czo8YnI+PHNwYW4+PHNwYW4+PGEgdGFyZ2V0PSJfYmxhbmsiIHJlbD0ibm9yZWZlcnJlciBu b2ZvbGxvdyBub29wZW5lciIgaHJlZj0iaHR0cHM6Ly9naXRodWIuY29tL2NvaW5zL2JpdGNvaW4t c2NyaXB0cy9ibG9iL21hc3Rlci9jb21wb3NpdGUtb3Bjb2Rlcy5tZCNvcF8yZGl2Ij5odHRwczov L2dpdGh1Yi5jb20vY29pbnMvYml0Y29pbi1zY3JpcHRzL2Jsb2IvbWFzdGVyL2NvbXBvc2l0ZS1v cGNvZGVzLm1kI29wXzJkaXY8L2E+PC9zcGFuPjxicj48L3NwYW4+PGJyPkhlcmUgaXMgZXZlbiBh IHNjcmlwdCBmb3IgYSBiaXR3aXNlIHJvdGF0aW9uIG9mIGEgMzItYml0IHdvcmQuIEl0IHJlcXVp cmVzIGFib3V0IDEwMCBpbnN0cnVjdGlvbnMuIEkgdGhpbmsgdGhhdCBzdWdnZXN0cyBpdCBtaWdo dCBiZSBwb3NzaWJsZSB0byBpbXBsZW1lbnQgc29tZXRoaW5nIGxpa2Ugc2hhMjU2IGluIGFib3V0 IDIwMC0zMDBrIG9wY29kZXMuPGJyPjxzcGFuPjxhIHRhcmdldD0iX2JsYW5rIiByZWw9Im5vcmVm ZXJyZXIgbm9mb2xsb3cgbm9vcGVuZXIiIGhyZWY9Imh0dHBzOi8vZ2l0aHViLmNvbS9jb2lucy9i aXRjb2luLXNjcmlwdHMvYmxvYi9tYXN0ZXIvb3Bfcm90YXRlLm1kIj5odHRwczovL2dpdGh1Yi5j b20vY29pbnMvYml0Y29pbi1zY3JpcHRzL2Jsb2IvbWFzdGVyL29wX3JvdGF0ZS5tZDwvYT48L3Nw YW4+PGJyPjxicj5GdXJ0aGVybW9yZSwgSSB3b25kZXJlZCBpZiBpdCBtaWdodCBiZSBwb3NzaWJs ZSB0byBpbXBsZW1lbnQgYSBaS1AgdmVyaWZpZXIgaW4gQml0Y29pbiBzY3JpcHQuIEhvd2V2ZXIs IHRoYXQgd291bGQgcHJvYmFibHkgbmVlZCBzb21lIGhhY2sgdG8gbWFrZSBtdWx0aXBsaWNhdGlv bnMgbXVjaCBjaGVhcGVyLjwvZGl2PjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcmlhbDsgZm9u dC1zaXplOiAxNHB4OyI+PGJyPjwvZGl2PjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcmlhbDsg Zm9udC1zaXplOiAxNHB4OyI+PGJyPjwvZGl2PjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcmlh bDsgZm9udC1zaXplOiAxNHB4OyI+TWF5YmUgb3RoZXJzIGFsc28gZmluZCBpdCBleGNpdGluZyB0 byBleHBsb3JlIHRoZSBuZXcgc29sdXRpb24gc3BhY2VzIGVuYWJsZWQgYnkgdGhlIFRhcHJvb3Qg dXBkYXRlIGFuZCBtYXliZSBub25kZXRlcm1pbmlzdGljIHByb2dyYW1taW5nIGluc3BpcmVzIHNv bWUgbmV3IHdheXMgb2YgdGhpbmtpbmcgYWJvdXQgQml0Y29pbiBTY3JpcHQuPC9kaXY+PGRpdiBz dHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsOyBmb250LXNpemU6IDE0cHg7Ij48YnI+PC9kaXY+PGRp diBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsOyBmb250LXNpemU6IDE0cHg7Ij48YnI+PC9kaXY+ PGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsOyBmb250LXNpemU6IDE0cHg7Ij5IYXZlIGEg Z29vZCBkYXkgZXZlcnlvbmUhPC9kaXY+PGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsOyBm b250LXNpemU6IDE0cHg7Ij5Sb2JpbjwvZGl2PjxkaXYgY2xhc3M9InByb3Rvbm1haWxfc2lnbmF0 dXJlX2Jsb2NrIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsOyBmb250LXNpemU6IDE0cHg7Ij4N CjwvZGl2Pg0K --b1_BJElUWwQ7CrafEh6aj6DM9rE2oUiqcGcFmDGsifs8--