1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
|
Return-Path: <robinlinus@protonmail.com>
Received: from smtp3.osuosl.org (smtp3.osuosl.org [140.211.166.136])
by lists.linuxfoundation.org (Postfix) with ESMTP id 086BBC002D
for <bitcoin-dev@lists.linuxfoundation.org>;
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 <bitcoin-dev@lists.linuxfoundation.org>;
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 <bitcoin-dev@lists.linuxfoundation.org>;
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 <bitcoin-dev@lists.linuxfoundation.org>;
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 <bitcoin-dev@lists.linuxfoundation.org>
From: Robin Linus <robinlinus@protonmail.com>
Message-ID: <lMxqB4zaKr33YEkv0ZykaxZa7r-yvR1rSC17rOBCRYELtYfnlUq62tyVMw0vrG1cFBeEDOMGx4qB_un0N7rMmKRdA9c8WdlvlCCPefN2f3Y=@protonmail.com>
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 <bitcoin-dev.lists.linuxfoundation.org>
List-Unsubscribe: <https://lists.linuxfoundation.org/mailman/options/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=unsubscribe>
List-Archive: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/>
List-Post: <mailto:bitcoin-dev@lists.linuxfoundation.org>
List-Help: <mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=help>
List-Subscribe: <https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=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--
|
