MIME-Version: 1.0
From: Billy Tetrud <billy.tetrud@gmail.com>
Date: Sat, 26 Jun 2021 13:21:52 -0700
Message-ID: <CAGpPWDaq88q6Kd4tziB9G4V74PiXUg=_Nx1M_WK6dG_g3r+ruw@mail.gmail.com>
To: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Content-Type: multipart/related; boundary="000000000000c2d91905c5b10268"
Subject: [bitcoin-dev] Trinary Version Signaling for softfork upgrades
Precedence: list

--000000000000c2d91905c5b10268
Content-Type: multipart/alternative; boundary="000000000000c2d91705c5b10267"

--000000000000c2d91705c5b10267
Content-Type: text/plain; charset="UTF-8"

Given the recent controversy over upgrade mechanisms for the
non-controversial taproot upgrade, I have been thinking about ways to solve
the problems that both sides brought up. In short, BIP8 LOT=true proponents
make the point that lazy miners failing to upgrade in a timely manner slow
down releases of bitcoin upgrades, and BIP9 / BIP8 LOT=false
proponents make the point that LOT=true can lead to undesirable forks that
might cause a lot of chaos. I believe both points are essentially correct
and have created a proposal
<https://github.com/fresheneesz/bip-trinary-version-signaling/blob/master/bip-trinary-version-bits.md>
for soft fork upgrades that solve both problems.

The proposal uses trinary version signaling rather than binary signaling.
For any particular prospective soft fork upgrade, this allows for three
signaling states:

* Actively support the change.
* Actively oppose the change.
* Not signaling (neither support or oppose). This is the default state.

Using this additional information, we can release non-contentious upgrades
much quicker (with a much lower percent of miners signaling support). For
contentious upgrades, miners who oppose the change are incentivized to
update their software to a version that can actively signal opposition to
the change. The more opposition there is, the higher the threshold
necessary to lock in the upgrade. With the parameters I currently
recommended in the proposal, this chart shows how much support signaling
would be necessary given a particular amount of active opposition signaling:

[image: thresholdChart.png]
If literally no one signals opposition, a 60% threshold should be
relatively safe because it is a supermajority amount that is unlikely to
change significantly very quickly (ie if 60% of miners support the change
today, its unlikely that less than a majority of miners would support the
change a year or two from now), and if no one is signaling opposition,
chances are that the vast majority of the other 40% would also eventually
signal support.

This both gives an incentive for "lazy" miners to upgrade if they actually
oppose the change while at the same time allowing these lazy miners to
remain lazy without slowing down the soft fork activation much.

I think now is the right time to discuss new soft fork upgrade mechanisms,
when there are no pressing soft fork upgrades ready to deploy. Waiting
until we need to deploy a soft fork to discuss this will only delay things
and cause contention again like it did with taproot.

I'm very curious to know what people think of this mechanism. I would
appreciate any comments here, or written as github issues on the proposal
repo itself.

Thanks,
BT

--000000000000c2d91705c5b10267
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Given the recent controversy=C2=A0over upgrade mechanisms=
=C2=A0for the non-controversial taproot upgrade, I have been thinking about=
 ways to solve the problems that both sides brought up. In short, BIP8 LOT=
=3Dtrue proponents make the point that lazy miners failing to upgrade in a =
timely manner slow down releases of bitcoin upgrades, and BIP9 / BIP8 LOT=
=3Dfalse proponents=C2=A0make the point that LOT=3Dtrue can lead to undesir=
able forks that might cause a lot of chaos. I believe both points are essen=
tially correct and have created <a href=3D"https://github.com/fresheneesz/b=
ip-trinary-version-signaling/blob/master/bip-trinary-version-bits.md" targe=
t=3D"_blank">a proposal</a> for soft fork upgrades that solve both problems=
.<div><div><div><br></div><div>The proposal uses trinary version signaling =
rather than binary signaling. For any particular prospective soft fork upgr=
ade, this allows for three signaling states:<br>=C2=A0</div><div>* Actively=
 support the change.</div><div>* Actively oppose the change.</div><div>* No=
t signaling (neither support or oppose). This is the default state.</div><d=
iv><br></div><div>Using this additional information, we can release non-con=
tentious upgrades much quicker (with a much lower percent of miners signali=
ng support). For contentious upgrades, miners who oppose the change are inc=
entivized to update their software to a version that can=20

actively=20

signal opposition to the change. The more opposition there is, the higher t=
he threshold necessary to lock in the upgrade. With the parameters I curren=
tly recommended in the proposal, this chart shows how much support signalin=
g would be necessary given a particular amount of active opposition signali=
ng:</div><div><br></div><div><img src=3D"cid:ii_kqaf00ua0" alt=3D"threshold=
Chart.png" width=3D"328" height=3D"359"><br></div><div>If literally no one =
signals opposition, a 60% threshold should be relatively safe because it is=
 a supermajority amount that is unlikely to change significantly very quick=
ly (ie if 60% of miners support the change today, its unlikely that less th=
an a majority of miners would support the change a year or two from now), a=
nd if no one is signaling opposition, chances are that the vast majority of=
 the other 40% would also eventually signal support.=C2=A0</div><div><br></=
div><div>This both gives an incentive for &quot;lazy&quot; miners to upgrad=
e if they actually oppose the change while at the same time allowing these =
lazy miners to remain lazy without slowing down the soft fork activation mu=
ch.</div><div><br></div></div></div><div>I think now is the right time to d=
iscuss new soft fork upgrade mechanisms, when there are no pressing soft fo=
rk upgrades ready to deploy. Waiting until we need to deploy a soft fork to=
 discuss this will only delay things and cause contention again like it did=
 with taproot.=C2=A0</div><div><br></div><div>I&#39;m very curious to know =
what people think of this mechanism. I would appreciate any comments here, =
or written as github issues on the proposal repo itself.=C2=A0</div><div><b=
r></div><div>Thanks,</div><div>BT</div></div>

--000000000000c2d91705c5b10267--
--000000000000c2d91905c5b10268
Content-Type: image/png; name="thresholdChart.png"
Content-Disposition: inline; filename="thresholdChart.png"
Content-Transfer-Encoding: base64
Content-ID: <ii_kqaf00ua0>
X-Attachment-Id: ii_kqaf00ua0

iVBORw0KGgoAAAANSUhEUgAAAUgAAAFnCAIAAABLjEeHAAAABGdBTUEAALGPC/xhBQAAAAlwSFlz
AAAOwwAADsMBx2+oZAAAKx5JREFUeF7tnd+LXEeW5/008wfM88Au7MK86V1/gAR+MDuNtqdg7EVm
vRKMzdrNtDx4DGYlxDDYuEZ45V4Xg2eMXD2wFnoQY5ee3Go39WIJI8mDZBUaq2E1UmO1tmmVZUkt
qbvnm3niRsb9kZHnnsp77q2s7wd3dWTcG3kiTsSnIkNZVfnU7wkhCwfFJmQBodiELCAUm5AFhGIT
soBQbEIWEIpNyAJCsQlZQCg2IQsIxSZkAdnpYv/6178OJR1t7wdPPdU6yYYoDgMxNPnpT38aSjp8
euWQq7YDB4YoGSh253NMsfX49MohVxS7ZxzmmGLr8emVQ64ods84zDHF1uPTK4dcUWwnkLVGbt68
GUo62t4PIHYoqVFGuXv3bii5DMTQBOs7lHT49MohV20HDhqjhOXbHu7YnX/z5o6tx6dXDrnijt0z
DnNMsfX49MohVxS7ZxzmmGLr8emVQ64ods84zDHF1uPTK4dcUeyecZhjiq3Hp1cOuaLYPeMwxxRb
j0+vHHJFsXvGYY4pth6fXjnkimL3jMMcU2w9Pr1yyBXF7pm22dzc3AwlNRRbj0+vHHJFsXtmvtls
hGLr8emVQ64ods/EbK6vr8NAcPDgwfv370vl1atXd+3ahcojR45IjdyGSlySGlxCpZQbwf2hpGaY
i9XQhGLrMUTJsNPFvnfvHr6KwOInRBWN79y5s3fvXlTCc9i+urqKwqFDh3AzKuUelFETvxE0QrH1
+PTKIVcUu2fESYgaN2q4urS0BKtjAZWwGjfcuHEDX+WS+Ay989s1oNh6fHrlkCuK3TMPHjzA14rY
e/bswde0EmXs3hA73bFRWF5eHj1LFoqtx6dXDrmi2E4g0Y1cuXLlN7/5DRSNL8WxOcsRWnbpzc3N
x48fi9jYq1GAqFHyCxcu4B7UwPOHDx9ubGyE503A1VCaNxcvXgwlMhj+98l3n37zGfwXHm8NWb0G
dvqOHd++gsYwEEBXeQUOhys7trwsF1Ajr8PxFffITh6ulcFzhpKaYe5CDhuXT6+6y9X1X/78+ff/
x5/9nz//L2/vC1VqDAPJsNPFvnv3bigVRJ8hauWMjUrs3ngYTUY9QE3msE2x9fj0qqNc3Xt4769O
/jWsxn8f/vNoVbTCMJAMO13s+K/i4jCMhcDiKh5W/lUclY8ePcJX2ahjIXqOmjoUW49PrzrK1Y9+
siJWnzx/yvAq2jCQDDtd7PpLcTFWgKuV97GfPHkC4fFdQDQW53GDaN8IroaSmuEs1hRDk50j9tmv
PhOrD58+iocUu2faZlP+Fb0VFFuPT6/mnqt4tN7//gt4QY4ait0zbbPJnxVvxU4QOz1aX755RSop
ds/Md44bodh6fHo131y9dWZZrMbROlRR7N6Z7xw3QrH1+PRqjrn6+NKaWP3mmbdD1RiK3TNznONp
UGw9Pr2aV65wtBarX/zwZTlaRyh2z8xrjjNQbD0+vZpLrmDyS6uviNgwPNQWUOyemcsc56HYenx6
NZdcxaM1Xo2HqgSK3TNzmeM8FFuPT6+2nqtpR+sIxe6Zrc/xTCi2Hp9ebTFXmaN1hGI7gaw14vD5
bBA7lNQoo/BD+YBDk/T+W7dvHfzHF/cdX8J/l65/GWprtB04aOxVWL7t4Y69pW/eGrhj6/Hp1VZy
lT9aR7hj98xW5lgJxdbj0ytzrmYerSMUu2fMc6yHYuvx6ZUtV5dvXhGrM0frCMXuGdsct4Ji6/Hp
lSFXMFl+zQP/1d+1rkOxe8Ywx6GkhmLr8emVIVeHTx8Vq89+9VmozUKxe8Ywx6GkhmLr8elV2yYn
frYqVr/76XuhahYUu2faZtOQfYqtx6dXrZrgaL3v+BKsfvWj12YerSMUu2faZtOQfYqtx6dX+iZy
tIbY+99/QXO0jlDsnmmbTUP2KbYen17pm8jRGmIrj9YRit0zbbNpyD7F1uPTK2WTk+dPydH67U+O
hSo1FLtn2mbTkH2KrcenV5om8V1rHK1v3b4VatVQ7J5pm01D9im2Hp9ezWwS37WWo7XDwIEhSgaK
3S6bhuxTbD0+vZrZJP5xQjlaOwwcGKJkoNjtsmnIPsXW49OrfJMP1k+I1fFda4eBA0OUDDtFbGSt
ka38Bp8SiB1KapRR+GubYL5Nzv7LT+VXMl9Z/UscraXSYeCgMUpYvu3hjt0ud4Zcc8fW49OraU2+
uXs7Hq1RDrUuAweGKBkodrtsGrJPsfX49Gpak3i0Pnf9fKga4zBwYIiSgWK3y6Yh+xRbj0+vGpvE
ozUKoarAYeDAECUDxW6XTUP2KbYen17Vm2CLFqtf/ei1UJXgMHBgiJKBYrfLpiH7FFuPT68qTaYd
rSMOAweGKBkodrtsGrJPsfX49KrSZNrROuIwcGCIkoFit8umIfsUW49Pr9ImmaN1xGHgwBAlA8Vu
l01D9im2Hp9exSb5o3XEYeDAECUDxW6XTUP2KbYen15Jk+vJp9U3Hq0jDgMHhigZKHa7bBqyT7H1
+PQKTe4ln1Y/7WgdcRg4METJQLHbZdOQfYqtx6dXaPKjn6yI1emn1U/DYeDAECUDxW6XTUP2KbYe
n1598sUZsfrw6aOhKovDwIEhSgaK3S6bhuxTbD0OvcLR+rmV52E1jtbKP07oMHBgiJKBYrfLpiH7
FFtP172So7X81dHLN6+E2lk4DBwYomTYKWIja420/Y08w2/wQexQUqOMwl/bBK2a/N2Zd2D19975
/omfrYYqBQ4DB41RwvJtD3fsdrkz5Jo7tp5Oe3X2q8/kaP36yTdClQ6HgQNDlAwUu102Ddmn2Hq6
61X6rnXbP07oMHBgiJKBYrfLpiH7FFtPR71K37XG0dohVxS7ZxzmmGLr6ahXlXetHXJFsXvGYY4p
tp4uehWP1vFda4dcUeyecZhjiq1n7r3C0VqsTt+1dsgVxe4Zhzmm2Hrm2yuY/NLqKyI2DA+1Lrmi
2D3jMMcUW898e/XWmWWx+uNLa6FqjEOuKHbPOMwxxdYzx15BZrH6zTNvh6oCh1xR7J5xmGOKrWde
vYpH6xc/fLn+A+EOuaLYPeMwxxRbz1x6Ne1oHXHIFcXuGYc5pth65tKraUfriEOuKHbPOMwxxdaz
9V5ljtYRh1xRbCeQtUba/uKO4Rd9IHYoqVFG4W93gbTJpetfykfqHfiHv4gfqVfHIVdtBw4ao4Tl
2x7u2J1/8+aOrWcrvZp5tI445Io7ds84zDHF1rOVXh0+fVSsnna0jjjkimL3jMMcU2w95l6dPH9K
rM4crSMOuaLYPeMwxxRbj61Xl29eEatf/ei1+rvWdRxyRbF7xmGOKbYeQ4hbt2/Fv6CQP1pHHHJF
sXvGYY4pth5DiNdPviHb9dmvPgtVs3DIFcXuGYc5pth62obA0Vr+5Oi7n74XqhQ45Ipi94zDHFNs
Pa1CyNEaYiuP1hGHXFHsnmmbzc3NzVBSQ7H16EPAZDlaP7uyX3m0jjjkimL3zHyz2QjF1qMPEd+1
/uSLM6FKjUOuKHbPxGxevXp1165dkPDgwYP379+vVB45ckRq1tfX8RCVuCQ1uIRKKTdCsfUoQ8R3
rXG0HmauKHbPyEvrO3fu7N27V/yEqKJxrITnsH11dRWFQ4cOQWlUyj0ooyZ+I2iEYuvRhKi8az3M
XFHsnvn222/xFX7u2bNHNmEILJs2Hi4tLUHvWHnjxg18RU30GXrnt2tAsfXMDPHN3duVd62HmSuK
3TOyY8c9GeXxhj3ajWGsGC5l7N4QO92xUVheXsbVPBRbz8wQ8e/+x3eth5kriu0EEt3I559//qtf
/Qo3iNuQUPQGskvD/MePH4vY2KtRwD1R8gsXLkgreP7w4cONjY3wvAm4Gkrz5uLFi6G0M3jjxP96
+s1n8B8KoWrRkaVoYKfv2N999x2+Yu+tvxSv79jyslyQTVu+4h7ZycO1Mtyx9WRCnLt+Ph6tQ9WY
YebK4KQhSoadLvaDBw/wNcqMcpQcVM7YuAG7Nx5Gk1EPUCOSo1CHYuuZFiI9WqMcascMM1cUu2cq
MqMMUWVzBihAV9wDq0XgR48e4ats1LEQPUdNHYqtZ1qIeLTGvh2qCoaZK4rdM/EnyaAoDATpe9Qo
VN7HfvLkCYTHTi73iPO4QbRvBFdDSc0wF6vD+m4M8cH6CbEahVCVMMxcUeyeaZtNeeneCoqtpx5i
2tE6MsxcUeyeaZtN/qx4K7YoduZoHRlmrih2zzjMMcXWUwmROVpHhpkrit0zDnNMsfWkIeKn1Tce
rSPDzBXF7hmHOabYemKI+Gn1047WkWHmimL3jMMcU2w9EuL6L38ej9Yz/4LCMHNFsXvGYY4pth6E
gMnxaH355pVwYTrDzBXF7hmHOabYehAiHq1Pnj8VarMMM1cUu2cc5phi6/nkizNi9eHTR0PVLIaZ
K4rdMw5zTLGV4Gj93MrzsFpztI4MM1fDFHvtABZjnd27D6xdC7d0xLVju0eRDsz48CUNYRDhqZC1
Rhw+eBGdCCU1yiiL9Gmbt27f+sGPf/i9d76/7/jS5xvnQq0Ch4F0OvBIY5Tx4rXQRuwx83BuOp2J
PY22uTPkGp0IJTWGKA4DMTTRb1xytIbVyqN1ZJi5GvSOXXYiOPfU7mMd79pzgmJncQgBlOs7vmv9
+sk3QpWaYeZqG4ldVCdiXzt2QGRH7YGy75NLeP1+LH2+2pOnFaUdu4gXniqcA0xBp+Iwx+hEKKkx
RHEYiKGJZn2n71rjBXmoVTPMXG3DHbuoDTclROWLWyukuiZPPkPsgvGzW4NOxWGO0YlQUmOI4jAQ
Q5OZ67vyrrVPrxxyNWixmyg8igZWHo4eFM3jFhuMK12dCJdWTH+ea6P/mYNOxWGO0YlQUmOI4jAQ
Q5OZ6/utM8titRytfXrlkKttJDZe9wahRjTeIhoFp5KX7Km65Qcj0oomV2t3VhndUGo4pta6EYc5
RidCSY0hisNADE3y6/vjS2tidfy0ep9eOeRq0GKLE9cKndI3u+KGWKHZMZWu44qGOyffIHJBa8/a
0I0mHOYYnQglNYYoDgMxNMmsbxytxeoXP3w5vmvt0yuHXG0DsUE0qnqgTXblCfVrpeerKZhWlGyU
CzWxLUGn4jDH6EQoqTFEcRiIocm09Q2TX1p9RcSWv/sv+PTKIVfbQ+zozcScokJ28WJXlxa1a6Ft
89XimcdXw0W5syp2Nmh40Py003GYY3QilNQYojgMxNBk2vqOR2u8Gg9VY3x65ZCr7SL2RKooWmHS
hImC9WsjwvM1X5SrebGzQWMHy1DsZhxCgMb1XT9aR3x65ZCr7SM2KKwqXBpti4VMrd5STi7uPla6
OkvsLQRtxmGO0YlQUmOI4jAQQ5P6+m48Wkd8euWQq2GKPW+mfKMYAg5zTLEj047WEZ9eOeSKYveM
wxxT7Mi0o3XEp1cOuaLYPeMwxxRbyBytIz69csjVzhB7ACBrjTj8Bh/EDiU1yijb6Nc2P984t+/4
Ev478A9/cev2Lams49Mrh1zFgetpjBKWb3t2itjTaJs7Q665Y+NoLb/mgf8aj9YRn1455Io7ds84
zDHFPnz6qFgdP61+Gj69csgVxe4Zhzne4WKfPH9KrH730/dC7XR8euWQK4q9Ba6Nfqhti/8i5zDH
O1nsD/95Vax+9aPX6u9a1/HplUOuKLaZ0s+ymHGY4x0rNkz+07f/K6ze//4L+aN1xKFXwCFXFNsM
xS7hMJC2TXC0fvrNZyD2zKN1xKFXwCFXQxV79CK3+MHN0u9r1t6SLlUUD47FX/wY/cxo0Th/dUzy
d49GPzBajRv/TNKkc2PsdjvMMfoXSmoMURwG0qqJHK0htuZoHXEYOHDI1TDFDgamFOqUPB5Rqmho
OCLcnb/afL34nlK+tvvAxP8Rk+60xWGO0b9QUmOI4jAQfZPLN6/I0Xr/8f+uOVpHHAYOHHI1SLHD
i9zw2xflRyWPR5QqCv3CRhx/eVIa664GlePV8jOPr47+TBJfipdxGIiySXzXGkfr/7v2UajV4TBw
4JCrge/Yu/FyGBaOTRPCpbzYiWxpTfZqg6f5thS7hMNAlE3iHyfE0brt+nYYOHDI1WDP2MlZd0zx
y5M1wUoV8qC4d0SqX/Zq3dzi6rhB/pntOMwxOhlKagxRHAaiafLB+gmxWo7WFFuPIUqG7Jq7dm1t
7VhxnBWpav6VKup2pjXZqw2e1ttS7Kk4DGRmk3PXz4vV8V1riq3HECVD05orhAoWpRtn8QA+jR8V
B+HgV2hZXE7u1l/NnbEbxE6rDDjMMToZSmoMURwGkm/yzd3b8WiNslRSbD2GKBka11xhXEohULSz
TEXdEvmmEzObrsvzNomd3j7bbmStEYdf9EH/QkmNMsqgfrvrBz/+ofz+1tl/mfxiE9Z3KOmYe68a
cchV24GDxihh+bZn2mZSOmSX/wTR9D9sVLiGTbe4J22avzoC2/QkbOP72Ontk46EXd5A29wZco3+
hZIaQxSHgWSaxKM1CqFqDHdsPYYoGVqvuSxR3fC4TP5qPzjMMYYcSmoMURwGMq1JerQOVQUUW48h
SgaK3fkcY8ihpMYQxWEgjU0aj9YRiq3HECUDxe58jjHkUFJjiOIwkMYm8V1r7NuhKoFi6zFEyTBf
sbcfDnO8wGJPO1pHKLYeQ5QMFLvzOV5UsTNH6wjF1mOIkoFidz7HCyn29eTT6utH6wjF1mOIkoFi
dz7Hiyf2veTT6huP1hGKrccQJcOUNVf6q0M+/+i1hSjhB2os/2bnMMeIHUpqDFEcBhKb/OgnK2K1
fFp9BoqtxxAlQ+Oaq4hCsScYso/YoaTGEMVhINLk7FefidWHTx+V+gwUW48hSgaK3fkcI3YoqTFE
cRgImqRHa81fUKDYegxRMjSsObGkAD5EMyYfdZ38LKhcjX+0qPgdjsnPhlZ+IHXmH11qjDImedLS
D5zWxJ7cOOtjNx3mGLFDSY0hisNAbt2+FY/Wl29eCbVZKLYeQ5QMLcSuEkwpXx3/NHe9QfFD3g1P
VQiXj9J8PX4XScUOj6rEJyrhMMeIHUpqDFEcBvJ3Z94Rq2cerSMUW48hSobGNdf8Uhx2ikcz/mhR
bC0up08WykHz8qMWUdC0dLXU3+qd4cZwtYrDHCN2KKkxROl6IDha7zu+BKs1R+sIxdZjiJKhhdgT
M0oV065WGd8Qr7X8o0uVHo1ILqdX63cmNyJ3FRx+gw+xQ0mNMorbr21euv7lcyvPf++d7z+7sj/z
kXp1sL5DSYchvQ5NDCHaDhw0RglruD3zEnvyC5WhcY3QPD0nj6m8Sm+OUrsY44yap/2t31lXPaFt
7gy5RuxQUmOI0t1A4rvW2LGVR+sId2w9higZOhN7UtFE2z+61CBncjm9Wg9fe+IUhzlG7FBSY4jS
3UDiu9YnfrYaqtRQbD2GKBlyYhdyZJULDxKRQmtcHlVdS28uyuHmUhxNlOJJ9Wfs6h9vquIwx4gd
SmoMUToaSPqutaFXFFuPIUqG5jVXyAFgnUa5ROxS80BxuZA+JVzLR2l60nitJHZjDDB54hSHOUbs
UFJjiNLFQK7/8uditbxrbegVxdZjiJJhypor/dWhvHLyoCS2bJSFXpV3o0uH7ORaPsqIqX84qSw2
4PvYM5l5P0x+afUVEVs+Us/QK4qtxxAlQ+s1t2A4zPE2FfutM8ti9ceXwrdEQ68oth5DlAwUu/M5
3o5iQ2ax+s0zb4cqU68oth5DlAwUu/M53nZix6P1ix++nP5AuKFXFFuPIUoGit0um5ubm6GkZnuJ
XT9aRwy9oth6DFEyUOx5ZrOR7SV2/WgdMfSKYusxRMmw08X+7rvv8HV1dRX6RXbt2nX16lXU4yvK
qDly5Mj49t+vr6+nNwBcQqWUG8H9oaSmr8XaeLSOOKxvh4GDueQqD8XuGRE7BaKKxnfu3Nm7dy+k
vX///sGDByE/CocOHYLSqJR7UEYN6sdNm9kuYk87Wkcc1rfDwMHWczUTit0zlWxC1KWlJShdKcNq
uH3jxg18RU30GXrnt2uwLcTOHK0jhl5RbD2GKBkodimbEBUOSxnGQmPZjVHG7g2x0x0bheXlZbk5
w7YQ+/Dpo2J1/WgdMfSKYusxRMmwU8RGojN8+eWXEDhu0U+ePEET2aU3NzcfP34sYuMSChA1Sn7h
wgXcgxp4/vDhw42NjfCMCbgaSvPm4sWLobQ1/uaf/vbpN5/Bf//z738QqsgwkNVrgDv25NskTJaT
s1DfseVluSCbtnzFPbKTh2tlBr5jX755Rfbq+Gn10zD0qu3SdBg4MOdKj8FJQ5QMFDtkE3JCY4gq
D0HcwFGW3Rv3YPfGw2gy6gFqRPJRsxpDFhsmxz9OOO1oHTH0imLrMUTJQLFDNiEwNE53XdRU/lUc
lY8ePcJX2ahjYfvu2PFoffarz6Q+g6FXFFuPIUoGih2yme7PEVRW3sfG8Tv9FiDO4wbRvpHBin3y
/Cmx+t1P3wu1WQy9oth6DFEyUOx22Xzw4EEoqRmm2J9vnBOrZx6tIw7r22HgoG0Th4EDQ5QMFLtd
NhfjZ8Vh8nMrz8NqzdE64rC+ux640LaJw8CBIUoGit35HA9QbByt5W8Ja47WEUOvKLYeQ5QMFLvz
OR6a2HK0htjKo3XE0CuKrccQJQPF7nyOByV2fNf6ldW/VB6tI4ZeUWw9higZKHbnczwcsb+5ezu+
a33p+pehVo2hVxRbjyFKBord+RwPR+z4kXo4WncUogLF1mOIkoFidz7HAxH7g/UTYjUKeNhFiDoU
W48hSgaK3fkcD0Hsc9fPi9WvfvSa1Mw9RCMUW48hSoadIjay1ojD57NB7FBSo4yi/FC+f/23r59b
eX7f8aVnV/ajLJWGgRiaYH2Hkg6fXrVt4jBw0BglLN/2cMfu/Jt37zt2PFpj3w5V8w4xDe7YegxR
MlDszue4X7ErR+vIHENkoNh6DFEyUOzO57hHsetH68i8QuSh2HoMUTJQ7M7nuC+x03etUQ61BXMJ
MROKrccQJQPF7nyO+xK78WgdmUuImVBsPYYoGSh253Pci9jx0+orR+vI1kNooNh6DFEyUOzO59hf
7Php9fWjdWSLIZRQbD2GKBkodudz7Cz29V/+PB6tM7/msZUQeii2HkOUDBS78zn2FBsmx6P15ZtX
5FIj5hCtoNh6DFEyUOzO59hT7Hi0Pnn+lNRPwxyiFRRbjyFKBord+Ry7iR2P1odPHw2107GFCCU1
FFuPIUoGit35HPuIfen6l5qjdcQQwtCEYusxRMlAsTufYwexYfIPfvxD2a7zR+uIYSCGJhRbjyFK
Bord+Rw7iI2jtfxxwplH64hhIIYmFFuPIUqGnSI2staIw2/wQexQUqOMIr+2+ckXZ2D19975/usn
35B6DYaBGJpgfYeSDp9etW3iMHDQGCUs3/Zwx+78m3enO3Z81/rZlf2t/jihYSCGJtyx9RiiZKDY
nc9xd2Kn71p/vnEu1OowDMTQhGLrMUTJQLE7n+PuxH7rzLJYjaO1w0AMTSi2HkOUDBS78znuSOyP
L62J1W+eeRsPHQZiaEKx9RiiZKDYnc9xF2LjaC1Wv/jhy3K0dhiIoQnF1mOIkoFidz7HcxcbJr+0
+oqIHT9Sz2EghiYUW48hSgaK3fkcz13seLTGq/FQ5TIQQxOKrccQJQPF7nyO5yt25WgdcRiIoQnF
1mOIkoFidz7HcxS7frSOOAzE0IRi6zFEyUCxO5/jeYndeLSOOAzE0IRi6zFEyUCxO5/jeYndeLSO
OAzE0IRi6zFEyUCxO5/juYg97WgdcRiIoQnF1mOIkoFidz7HWxc7c7SOOAzE0IRi6zFEyUCxO5/j
LYoNk+XXPPBf/WgdcRiIoQnF1mOIkmGniI2sNeLwG3wQO5TUpFFeP/nGvuNL+O+TL86EqgLlp202
YhiIoQnWdyjp8OmVQ67aDhw0RgnLtz3csTv/5r2VHfvk+VOyV7/76XtSMw2HgRiacMfWY4iSgWJ3
PsdmsS/fvCJWv/rRa9OO1hGHgRiaUGw9higZKHbnc2wTOx6t97//QuZoHXEYiKEJxdZjiJKBYnc+
xzaxD58+Ktv12a8+C7VZHAZiaEKx9RiiZKDYnc+xQewTP1sVq2cerSMOAzE0odh6DFEyUOzO57it
2Dhay58c1RytIw4DMTSh2HoMUTJQ7M7nuJXYcrSG2MqjdcRhIIYmFFuPIUoGit35HLcSW47WEFt5
tI44DMTQhGLrMUTJQLE7n2O92B+sn5Cj9dufHAtVahwGYmhCsfUYomSg2J3PsVLsc9fPi9U4Wt+6
fSvUqnEYiKEJxdZjiJKBYnc+xxqxv7l7O75rjbIhisNADE0oth5DlAwUu/M51ogd/+4/9m08NERx
GIihCcXWY4iSgWJ3PsczxY5HaxSkxhDFYSCGJhRbjyFKBord+RznxU6P1qHKFMVhIIYmFFuPIUqG
nSI2staIw2/wQexQqvGv//b1cyvP7zu+9OzKfpRDrToKf20TODRxGDhojBKWb3u4Y3f+zTuzY1eO
1hFDFIeBGJpwx9ZjiJKBYnc+x9PErh+tI4YoDgMxNKHYegxRMlDszue4UezGo3XEEMVhIIYmFFuP
IUoGit35HNfFvl58Wr28ax1qEwxRHAZiaEKx9RiiZKDYnc9xRex7yafVV47WEUMUh4EYmlBsPYYo
GSh253NcEftHP1kRq0+ePxWqahiiOAzE0IRi6zFEyUCxO5/jVOyzX30mVh8+fTRUNWGI4jAQQxOK
rccQJQPFbpfNzc3NUFITxU6P1vm/oDDMxWpoQrH1GKJkoNjzzGYjInZ6tL5884pcmsYwF6uhCcXW
Y4iSgWKHbN65c2fv3r2QcNeuXVevXpVKFPAQlUeOHJGa9fX1yj24hEopNyJia47WkWEuVkMTiq3H
ECXDThdbXlrfv3//4MGDq6urKMNSlFEjquNhvIrCoUOHoDQqRXWUUYP60XNNAWIrj9aRYS5Wh/Xt
0yuHXFHsnrl3b3TWbfQTlUtLS9AbZVgNt2/cuIGvqIn3z9yuwR/80R8qj9aRYS5Wh/Xt0yuHXFHs
nhGZISdEhbTpy+y4dUsZuzfETndsFJaXl0fPMh2Y/Md/+h9ku555tI4Mc7E6rG+fXjnkimI7gUQ3
8vXXXz958gSiQml8xZ2yOcNnKeC1+uPHj0Vs7NVyZ5T8woUL8u0Anj98+HBjYyM8b8Ff/eNf/6cX
/uTpN5/5m3/621A1Py5evBhKZEGR1Wtgp+/YDx48wFfoGjdn7MN79uyRbbmyY8vLcgE18jocX3GP
7OThWhmIrTxaR4a5CzlsXD69csiVwUlDlAx8KR5kjsfpKHZaGbdx7N7SSkxGPUBN5rD9H//bf1Ye
rSPDXKwO69unVw65otg9I/94BlHhrZgJRcVhKF35V3FcffToEb7KRh0L0XPU1PmDP/rDUFIzzMXq
sL59euWQK4rdM3fv3pWCaCzn5/iSG65W3sfGgRxXsZOLxuI8bhDtG8HVUFIzzMXqsL59euWQK4rd
M22zKWfyVlBsPT69csgVxe4Zhzmm2Hp8euWQK4rdMw5zTLH1+PTKIVcUu2cc5phi6/HplUOuKHbP
OMwxxdbj0yuHXFHsnnGYY4qtx6dXDrmi2D3jMMcUW49PrxxyRbF7xmGOKbYen1455Ipi94zDHFNs
PT69csgVxe4Zhzmm2Hp8euWQK4rtBLLWiMPns0HsUFKjjMIP5QMOTRwGDhqjhOXbHu7YnX/z5o6t
x6dXDrnijt0zDnNMsfX49MohVxS7ZxzmmGLr8emVQ64ods84zDHF1uPTK4dcUeyecZhjiq3Hp1cO
uaLYPeMwxxRbj0+vHHJFsXvGYY4pth6fXjnkimL3jMMcU2w9Pr1yyBXF7hmHOabYenx65ZArit0z
DnNMsfX49MohVxS7ZxzmmGLr8emVQ64ods84zDHF1uPTK4dcUeyecZhjiq3Hp1cOuaLYPeMwxxRb
j0+vHHJFsZ1A1hpx+A0+iB1KapRR+GubwKGJw8BBY5SwfNvDHbvzb97csfX49MohV9yxe8Zhjim2
Hp9eOeSKYveMwxxTbD0+vXLIFcXuGYc5pth6fHrlkCuK3TMOc0yx9fj0yiFXFLtnHOaYYuvx6ZVD
rih2zzjMMcXW49Mrh1xR7J5xmGOKrcenVw65otg94zDHFFuPT68cckWxe8Zhjg0YojgMxNCEYusx
RMlAsTud42vHdmPDBgfWQs20qskjYJjjjgcywtCEYusxRMlAsTuc47UDQd9YGBd3H7s2+X+pKmlt
muNOByIYmvzud78LJR0+vXLI1aNHj0JJjSFKBord3Rwn7sY9ubFQ3BUxzHGXAwkom6yurspLEnDk
yBHU3L9//+DBg/EhuHr16qFDh1AvDyMOAwdd5AqjjqMDGOCuXbvSIa+vr+MhKnFJanAJlVIGhoFk
oNjzn+NA6QV2lLy6Y9e3a2CY4w4HUqBsgvWKVR4ejMHyRSU0hsyyrCtrOuIwcDD3XMn3sujwnTt3
9u7diwHKdzRcjWOXVOCe+rc2w0Ay7BSxkbVGOvoNvlHIJrFxaVQ9ZnSt2K6lVUQZZVC/tonO4PWn
LOWKtFjZAAXxOa5p3J8OAcy9V43MK1cPHz6UQWHIKysrUWwMcGlpCXqjjIHj6o0bN/AVNXHskgoc
VVCWZ2uMIk9ogDv2nL95T2jesVOKO3Axqj7GMKMdDqRA00Q2KxkOCrK4ZZvCCpZda3l5GV/l/goO
Awdd5AoCR7ExXmiM8UoZeYDY6Y4tSZCbI4aBZKDY85/jwEyxw6vw4lJyv2GOOxxIgaYJluyePXvE
W6xgWd8ABaiO1S8rG1/xMD1wCg4DB13kKhVbdulUbHyDkyFHyS9cuCA5ia0MA8lAsec/xwWJzCXJ
BVRVfJ7cb5jjLgcSaNsklVzAWpc1nW5f4doYh16BLnKV37HllYsgo5avkhBJ0ebmptwwFyj2/Oc4
AlPF2ViYgKpQU/i8EDt2CtZrPGoKsppRg3WPr7gBy1oEEBx6BbrIVSp2OvB09wbRZNQD1IjkKHz7
7bfjW+YDxZ7/HCeMjB5T17rYzEFxV7xpIIu1gqYJ1mhcx1iyca2DuKZjQTwPl8c4DBx0kStYGscC
pbFLY3QYKbIhAgtxyFKIqUANxZ4nXczx1hnIYq2gbIJ1LN+n0p0KpEsfyxo3VF6jAoeBgy5ylY4O
wNXK+9gAg8VOLhqL87ghas+X4vOkizmugMkLJTUDWawVDE1++9vfhpIOn1455MrAfKNQ7M7neCeL
vbGxEUo6fHrlkKtf/OIXoaTGECUDxe58jney2PwlED2GKBkodudzTLH1+PTKIVcUu2cc5phi6/Hp
lUOuKHbPOMwxxdbj0yuHXFFsJ76bArIZSjra3k/IVgjLtz07Rey7hGxDwvJtz04R+/8Tsg0Jy7c9
O0XsbwjZhoTl256dIvZNQrYhYfm2Z6eI/f8I2YaE5duenSI2ITsKik3IAkKxCVlAKDYhCwjFJmQB
odiELCAUm5AFhGITsoBQbEIWEIpNyAJCsQlZQCg2IQsIxSZkAaHYw+fa2rEDu8OHaj/11O7dB9au
xU8H6ofRx4yByucWbZH4cUgVks9CmgvXrq0dQA6l3MVABgHFHjhh6VWZ92pvxzYWu9x1ik16odB6
tEuHGmw3UtWr2h0QxO5YssVVuQzFHjJT1nqpunhwrDAeL9aPFd8GZlwdcw0v9OXS6BtI6eLou0hy
LV4q2RF7M3kiPE0aIl4YPcWUMU0dbECu7j4Wnkr6Er/LjagGTa4Vl4rvk4FRl8OzjZuMmJqN2cMc
FBR7wMxwQPbscFOV0Ch/tfm6SNN4LbRrErtKEaIiU0HsQSQ8T/3CmHKU8dCn968p6KjJLLGbhpLJ
xogp3e0dij1gZC01vOZO12Ox4MJGfG0tLN6y9vmrYfHGq+MnDkFC+NKjkg+1EPFJ06sSIkYIV1OK
O8sUoy89z/gfD6Wm6PoxuV4KOrPrzQNpzEa82jzMwUGxB4ysnWJpJ6TrMSywZH2lNdmr5UU+pqEt
eoDXnFjOk240+TB5lrQi3JmMoXZ7QQxXoiJ2rdm1tbVjByavntOg9RCgfC191NAqDVrrwNSBDAKK
PWCmLh25IGs+LQvpCs1ebXj+cDU0SA+cY2J94kDtWdKKeogGf4SG3iTI1dJA0gN2wZSgE8rh00cN
rdJs1C7n+9s3FHvIhLWTLmcQlltYUvX1ldZkrzY4Vr8ft6W74rgvpYa1JmlFqobQFGHM1Atj5Gr9
ecb/wIUXE+n1hnFFytfSRw2t0i7VulerGBQUe9CExYPlK+c+LL9inyrWeHELVti4IqzPsOB0VxtP
lcXCDXFCy5ZiV0Ioztj1C2Pk6kTsojtye3HEDtfDU02Ow7WuhxubBhK6WslGvXv5/vYNxR44YelV
mazwYjmWKa7nrzZfL5ZqU2hp2eTDtBVfeZbd4f2zug+15ykhVycdb+z5tKBjwqWkHcRPB9L8nJVr
k+7VKgYFxR4+2DrKP1IqG1Egrq94IE7fXs1fHTF+9vEVUHluCDK5lrRsIzZIYq9N92HqhTFyNRE7
7dzk/fHJDekRvDSsSbMDOGIkAxkxPRu17uX72zcUe7uj8aHH1Rc6gB6IIuF7QslQMn8o9nZn4GJH
s0vQ666h2NudoYstL4rjy9vxC1xa3TkUm5AFhGITsoBQbEIWEIpNyAJCsQlZQCg2IQsIxSZkAaHY
hCwgFJuQBYRiE7KAUGxCFhCKTcgCQrEJWUAoNiELCMUmZAGh2IQsIBSbkAWEYhOycPz+9/8OF9kR
g2ynPeQAAAAASUVORK5CYII=
--000000000000c2d91905c5b10268--