MIME-Version: 1.0
References: 
 <AH*AvQCYKhQGVvPWi1GiU4oY.8.1781609375063.Hmail.3020001251@tju.edu.cn>
 <CAJTYsWWSx+5-kVaivB_znaQCk3TmHrO4QNNM-CD3AN-oOSmG8w@mail.gmail.com>
 <AGoA0AD5KvwQ8G7e6ofMyap6.3.1781760245047.Hmail.3020001251@tju.edu.cn>
 <3748108.1783003096@sss.pgh.pa.us>
 <CAJTYsWX1C5JLj92QdqEcArWs4XtXPog+yvyb6=X=_cghjXnkYQ@mail.gmail.com>
 <3756776.1783011257@sss.pgh.pa.us>
In-Reply-To: <3756776.1783011257@sss.pgh.pa.us>
From: Ayush Tiwari <ayushtiwari.slg01@gmail.com>
Date: Thu, 2 Jul 2026 23:16:04 +0530
Message-ID: 
 <CAJTYsWVus+7hn846A0gMJYk+9uUGZxizk5Herbxb4CmhF3vndQ@mail.gmail.com>
Subject: Re: Fw:Re: Fw: gbt_var_consistent in
 contrib/btree_gist/btree_utils_var.c
 has internal-node type confusion on the <> strategy,
 bypassing exclusion constraints
To: Tom Lane <tgl@sss.pgh.pa.us>
Cc: =?UTF-8?B?546L6LeD5p6X?= <violin0613@tju.edu.cn>,
	pgsql-bugs <pgsql-bugs@postgresql.org>, 3764353996 <3764353996@qq.com>
Content-Type: multipart/mixed; boundary="0000000000007fa1140655a46221"
Archived-At: 
 <https://www.postgresql.org/message-id/CAJTYsWVus%2B7hn846A0gMJYk%2B9uUGZxizk5Herbxb4CmhF3vndQ%40mail.gmail.com>
Precedence: bulk

--0000000000007fa1140655a46221
Content-Type: multipart/alternative; boundary="0000000000007fa1110655a4621f"

--0000000000007fa1110655a4621f
Content-Type: text/plain; charset="UTF-8"

Hi,

On Thu, 2 Jul 2026 at 22:24, Tom Lane <tgl@sss.pgh.pa.us> wrote:

> Ayush Tiwari <ayushtiwari.slg01@gmail.com> writes:
> > On Thu, 2 Jul 2026 at 20:08, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> >> None of this passes the smell test for me.  If it's unsafe to
> >> call the type's f_eq function on a truncated key, how is it
> >> any safer to call the f_cmp function?
>
> > I think the difference is that for bit/varbit f_eq and f_cmp aren't the
> > same kind of function.  f_eq is biteq (reads bit_len, does VARSIZE-8),
> > while f_cmp is byteacmp (plain byte-wise, only needs the varlena
> > header).
>
> Oh!  You are right, the internal keys are *not* valid bit/varbit
> values, just bytea.  The level of non-documentation in this code
> is staggering.
>
> So the actual API contract here is that f_eq etc. are to be used only
> on leaf keys, while f_cmp is to be used only on internal keys.  It's
> not too surprising that whoever added NotEqual support didn't know
> that, it being documented nowhere.
>
> It kind of looks actually like there's an expectation that all
> internal keys are effectively bytea's; note the naming of
> gbt_bytea_pf_match, despite the fact that it's applied to all
> types under the purview of btree_utils_var.c.
>
> Anyway, I think part of our work here has got to be to raise the
> level of documentation of this code.  I've had it with having
> to reverse-engineer details as fundamental as these.
>

I've added some documentation in code, patch attached.

Please help reviewing if it looks good or should we be adding
something more.

Regards,
Ayush

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

<div dir=3D"ltr"><div dir=3D"ltr">Hi,</div><br><div class=3D"gmail_quote gm=
ail_quote_container"><div dir=3D"ltr" class=3D"gmail_attr">On Thu, 2 Jul 20=
26 at 22:24, Tom Lane &lt;<a href=3D"mailto:tgl@sss.pgh.pa.us">tgl@sss.pgh.=
pa.us</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"ma=
rgin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:=
1ex">Ayush Tiwari &lt;<a href=3D"mailto:ayushtiwari.slg01@gmail.com" target=
=3D"_blank">ayushtiwari.slg01@gmail.com</a>&gt; writes:<br>
&gt; On Thu, 2 Jul 2026 at 20:08, Tom Lane &lt;<a href=3D"mailto:tgl@sss.pg=
h.pa.us" target=3D"_blank">tgl@sss.pgh.pa.us</a>&gt; wrote:<br>
&gt;&gt; None of this passes the smell test for me.=C2=A0 If it&#39;s unsaf=
e to<br>
&gt;&gt; call the type&#39;s f_eq function on a truncated key, how is it<br=
>
&gt;&gt; any safer to call the f_cmp function?<br>
<br>
&gt; I think the difference is that for bit/varbit f_eq and f_cmp aren&#39;=
t the<br>
&gt; same kind of function.=C2=A0 f_eq is biteq (reads bit_len, does VARSIZ=
E-8),<br>
&gt; while f_cmp is byteacmp (plain byte-wise, only needs the varlena<br>
&gt; header).<br>
<br>
Oh!=C2=A0 You are right, the internal keys are *not* valid bit/varbit<br>
values, just bytea.=C2=A0 The level of non-documentation in this code<br>
is staggering.<br>
<br>
So the actual API contract here is that f_eq etc. are to be used only<br>
on leaf keys, while f_cmp is to be used only on internal keys.=C2=A0 It&#39=
;s<br>
not too surprising that whoever added NotEqual support didn&#39;t know<br>
that, it being documented nowhere.<br>
<br>
It kind of looks actually like there&#39;s an expectation that all<br>
internal keys are effectively bytea&#39;s; note the naming of<br>
gbt_bytea_pf_match, despite the fact that it&#39;s applied to all<br>
types under the purview of btree_utils_var.c.<br>
<br>
Anyway, I think part of our work here has got to be to raise the<br>
level of documentation of this code.=C2=A0 I&#39;ve had it with having<br>
to reverse-engineer details as fundamental as these.<br></blockquote><div><=
br>I&#39;ve added some documentation in code, patch attached.<br><br>Please=
 help reviewing if it looks good or should we be adding<br>something more.<=
br><br>Regards,<br>Ayush=C2=A0</div></div></div>

--0000000000007fa1110655a4621f--

--0000000000007fa1140655a46221
Content-Type: application/octet-stream;
	name="v2-0001-Fix-btree_gist-strategy-on-internal-index-pages.patch"
Content-Disposition: attachment;
	filename="v2-0001-Fix-btree_gist-strategy-on-internal-index-pages.patch"
Content-Transfer-Encoding: base64
Content-ID: <f_mr3sne900>
X-Attachment-Id: f_mr3sne900

RnJvbSAxNWQ3OWMzNzdmM2IxODJhM2ZiMTJmYWI4NDBjZDM3OTIxMTYzMTEzIE1vbiBTZXAgMTcg
MDA6MDA6MDAgMjAwMQpGcm9tOiBBeXVzaCBUaXdhcmkgPGF5dXNodGl3YXJpLnNsZzAxQGdtYWls
LmNvbT4KRGF0ZTogVGh1LCAyIEp1bCAyMDI2IDIzOjA5OjIzICswNTMwClN1YmplY3Q6IFtQQVRD
SCB2Ml0gRml4IGJ0cmVlX2dpc3QgPD4gc3RyYXRlZ3kgb24gaW50ZXJuYWwgaW5kZXggcGFnZXMK
CmdidF92YXJfY29uc2lzdGVudCgpIGhhbmRsZWQgdGhlIDw+IChCdHJlZUdpc3ROb3RFcXVhbCkg
c3RyYXRlZ3kgd2l0aG91dApkaXN0aW5ndWlzaGluZyBsZWFmIGZyb20gaW50ZXJuYWwgcGFnZXMs
IHVubGlrZSBldmVyeSBvdGhlciBzdHJhdGVneS4KSW50ZXJuYWwga2V5cyBhcmUgbG9zc3ksIHRy
dW5jYXRlZCBwcmVmaXhlcywgYW5kIGZvciBiaXQvdmFyYml0IHRoZQpsZWFmLXRvLW5vZGUgdHJh
bnNmb3JtIGRyb3BzIHRoZSBWYXJCaXQgbGVuZ3RoIGhlYWRlciwgc28gc3VjaCBhIGtleSBpcwpu
b3QgYSB2YWxpZCB2YWx1ZSBvZiB0aGUgaW5kZXhlZCB0eXBlIC0tIGl0IGlzIGVmZmVjdGl2ZWx5
IGp1c3QgYSBieXRlYS4KClBhc3NpbmcgaXQgdG8gdGhlIHR5cGUncyBlcXVhbGl0eSBmdW5jdGlv
biBpcyBhIHR5cGUgY29uZnVzaW9uLiAgRm9yCmJpdC92YXJiaXQgaXQgcmVhY2hlcyBiaXRfY21w
KCksIHdoZXJlIFZBUkJJVEJZVEVTKCkgY29tcHV0ZXMgVkFSU0laRSAtIDg7CmEga2V5IHdpdGgg
VkFSU0laRSA8IDggeWllbGRzIGEgbmVnYXRpdmUgbGVuZ3RoIHRoYXQsIHBhc3NlZCB0byBtZW1j
bXAoKQphcyBzaXplX3QsIGJlY29tZXMgaHVnZSBhbmQgcmVhZHMgb3V0IG9mIGJvdW5kcyAoZXZl
bnR1YWxseSBjcmFzaGluZyB0aGUKYmFja2VuZCkuCgpNYWtlIHRoZSA8PiBicmFuY2ggZGlzdGlu
Z3Vpc2ggbGVhZiBhbmQgaW50ZXJuYWwgcGFnZXM6IG9uIGEgbGVhZiwgbmVnYXRlCnRoZSBlcXVh
bGl0eSB0ZXN0IGFnYWluc3QgdGhlIHN0b3JlZCB2YWx1ZTsgb24gYW4gaW50ZXJuYWwgcGFnZSwg
cmVjdXJzZQp1bmNvbmRpdGlvbmFsbHkgKGEgbm9uLWVxdWFsIHZhbHVlIGNhbiBhbHdheXMgZXhp
c3QgYmVsb3cpLiAgVGhlIGZpeCBpcwppbiB0aGUgc2hhcmVkIGdidF92YXJfY29uc2lzdGVudCgp
IGFuZCBzbyBjb3ZlcnMgZXZlcnkgdmFyaWFibGUtbGVuZ3RoCnR5cGUuCgpBbHNvIGRvY3VtZW50
IHRoZSBsZWFmLXZzLWludGVybmFsIGtleSBjb250cmFjdCBpbiBnYnRfdmFyX2NvbnNpc3RlbnQo
KToKdGhlIHR5cGUtc3BlY2lmaWMgY2FsbGJhY2tzIChmX2VxL2ZfbHQvLi4uKSBtYXkgYmUgdXNl
ZCBvbmx5IG9uIGxlYWYKa2V5cywgd2hpbGUgaW50ZXJuYWwga2V5cyBhcmUgZWZmZWN0aXZlbHkg
Ynl0ZWEgYW5kIG11c3QgYmUgY29tcGFyZWQKb25seSB3aXRoIGZfY21wLiAgQWRkIGEgcmVncmVz
c2lvbiB0ZXN0LgotLS0KIGNvbnRyaWIvYnRyZWVfZ2lzdC9idHJlZV91dGlsc192YXIuYyAgICAg
IHwgMzAgKysrKysrKysrKysrKysrKysrKystLS0KIGNvbnRyaWIvYnRyZWVfZ2lzdC9leHBlY3Rl
ZC9ub3RfZXF1YWwub3V0IHwgMjQgKysrKysrKysrKysrKysrKysrCiBjb250cmliL2J0cmVlX2dp
c3Qvc3FsL25vdF9lcXVhbC5zcWwgICAgICB8IDE4ICsrKysrKysrKysrKysrCiAzIGZpbGVzIGNo
YW5nZWQsIDY5IGluc2VydGlvbnMoKyksIDMgZGVsZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvY29u
dHJpYi9idHJlZV9naXN0L2J0cmVlX3V0aWxzX3Zhci5jIGIvY29udHJpYi9idHJlZV9naXN0L2J0
cmVlX3V0aWxzX3Zhci5jCmluZGV4IDI1YzNiYmU4ZWFjLi44YmVjZjY4ZjMxYyAxMDA2NDQKLS0t
IGEvY29udHJpYi9idHJlZV9naXN0L2J0cmVlX3V0aWxzX3Zhci5jCisrKyBiL2NvbnRyaWIvYnRy
ZWVfZ2lzdC9idHJlZV91dGlsc192YXIuYwpAQCAtNTU4LDcgKzU1OCwyMyBAQCBnYnRfdmFyX3Bp
Y2tzcGxpdChjb25zdCBHaXN0RW50cnlWZWN0b3IgKmVudHJ5dmVjLCBHSVNUX1NQTElUVkVDICp2
LAogCiAKIC8qCi0gKiBUaGUgR2lTVCBjb25zaXN0ZW50IG1ldGhvZAorICogVGhlIEdpU1QgY29u
c2lzdGVudCBtZXRob2QuCisgKgorICogVGhlIHN0b3JlZCBrZXkgaGFzIHR3byBmb3Jtcywgd2l0
aCBkaWZmZXJlbnQgcnVsZXM6CisgKgorICogLSBMZWFmIGtleXMgKGtleS0+bG93ZXIgPT0ga2V5
LT51cHBlcikgYXJlIGdlbnVpbmUgdmFsdWVzIG9mIHRoZSBpbmRleGVkCisgKiAgIHR5cGUsIHNv
IHRoZSB0eXBlLXNwZWNpZmljIGNhbGxiYWNrcyAoZl9lcS9mX2x0L2ZfbGUvZl9ndC9mX2dlKSBt
YXkgYmUKKyAqICAgdXNlZCBvbiB0aGVtLgorICoKKyAqIC0gSW50ZXJuYWwga2V5cyBhcmUgYSBs
b3NzeSBbbG93ZXIsIHVwcGVyXSByYW5nZSB3aG9zZSBib3VuZHMgYXJlIHRydW5jYXRlZAorICog
ICBwcmVmaXhlcyAoc2VlIGdidF92YXJfbm9kZV90cnVuY2F0ZSkuICBUaGV5IGFyZSBlZmZlY3Rp
dmVseSBqdXN0IGJ5dGVhLAorICogICBub3QgbmVjZXNzYXJpbHkgdmFsaWQgdmFsdWVzIG9mIHRo
ZSBpbmRleGVkIHR5cGUgLS0gZS5nLiBmb3IgYml0L3ZhcmJpdAorICogICB0aGUgbGVhZi10by1u
b2RlIHRyYW5zZm9ybSBkcm9wcyB0aGUgbGVuZ3RoIGhlYWRlci4gIFNvIG9ubHkgZl9jbXAgKGEg
cmF3CisgKiAgIGJ5dGUgY29tcGFyZSkgYW5kIHRoZSBwcmVmaXgtbWF0Y2ggaGVscGVycyBtYXkg
YmUgYXBwbGllZCB0byBpbnRlcm5hbAorICogICBrZXlzOyB0aGUgdHlwZS1zcGVjaWZpYyBmX2Vx
L2ZfbHQvLi4uIGNhbGxiYWNrcyBtdXN0IG5vdCBiZS4KKyAqCisgKiBUaGUgbGVhZi1wYWdlIHRl
c3RzIHVzZSB0aGUgbWlycm9yIGNhbGxiYWNrIHdpdGggc3dhcHBlZCBvcGVyYW5kcyAoZS5nLgor
ICogZl9ndChxdWVyeSwgbG93ZXIpIG1lYW5zICJsb3dlciA8IHF1ZXJ5IiksIHdoaWNoIGlzIHdo
eSB0aGV5IGxvb2sgcmV2ZXJzZWQuCiAgKi8KIGJvb2wKIGdidF92YXJfY29uc2lzdGVudChHQlRf
VkFSS0VZX1IgKmtleSwKQEAgLTYxMSw4ICs2MjcsMTYgQEAgZ2J0X3Zhcl9jb25zaXN0ZW50KEdC
VF9WQVJLRVlfUiAqa2V5LAogCQkJCQl8fCBnYnRfdmFyX25vZGVfcGZfbWF0Y2goa2V5LCBxdWVy
eSwgdGluZm8pOwogCQkJYnJlYWs7CiAJCWNhc2UgQnRyZWVHaXN0Tm90RXF1YWxTdHJhdGVneU51
bWJlcjoKLQkJCXJldHZhbCA9ICEodGluZm8tPmZfZXEocXVlcnksIGtleS0+bG93ZXIsIGNvbGxh
dGlvbiwgZmxpbmZvKSAmJgotCQkJCQkgICB0aW5mby0+Zl9lcShxdWVyeSwga2V5LT51cHBlciwg
Y29sbGF0aW9uLCBmbGluZm8pKTsKKworCQkJLyoKKwkJCSAqIE9uIGEgbGVhZiwgIm5vdCBlcXVh
bCIgaXMgdGhlIG5lZ2F0aW9uIG9mIGVxdWFsaXR5LiAgT24gYW4KKwkJCSAqIGludGVybmFsIHBh
Z2Ugd2UgbXVzdCBub3QgY2FsbCBmX2VxIChzZWUgYWJvdmUpOyBhIG5vbi1lcXVhbAorCQkJICog
dmFsdWUgY2FuIGFsd2F5cyBleGlzdCBiZWxvdywgc28ganVzdCByZWN1cnNlLgorCQkJICovCisJ
CQlpZiAoaXNfbGVhZikKKwkJCQlyZXR2YWwgPSAhdGluZm8tPmZfZXEocXVlcnksIGtleS0+bG93
ZXIsIGNvbGxhdGlvbiwgZmxpbmZvKTsKKwkJCWVsc2UKKwkJCQlyZXR2YWwgPSB0cnVlOwogCQkJ
YnJlYWs7CiAJCWRlZmF1bHQ6CiAJCQlyZXR2YWwgPSBmYWxzZTsKZGlmZiAtLWdpdCBhL2NvbnRy
aWIvYnRyZWVfZ2lzdC9leHBlY3RlZC9ub3RfZXF1YWwub3V0IGIvY29udHJpYi9idHJlZV9naXN0
L2V4cGVjdGVkL25vdF9lcXVhbC5vdXQKaW5kZXggODViMWU4NjhhODcuLjkyMjk1MGUwYzJmIDEw
MDY0NAotLS0gYS9jb250cmliL2J0cmVlX2dpc3QvZXhwZWN0ZWQvbm90X2VxdWFsLm91dAorKysg
Yi9jb250cmliL2J0cmVlX2dpc3QvZXhwZWN0ZWQvbm90X2VxdWFsLm91dApAQCAtMzksMyArMzks
MjcgQEAgSU5TRVJUIElOVE8gem9vIFZBTFVFUygxMjMsICdsaW9uJyk7CiBFUlJPUjogIGNvbmZs
aWN0aW5nIGtleSB2YWx1ZSB2aW9sYXRlcyBleGNsdXNpb24gY29uc3RyYWludCAiem9vX2NhZ2Vf
YW5pbWFsX2V4Y2wiCiBERVRBSUw6ICBLZXkgKGNhZ2UsIGFuaW1hbCk9KDEyMywgbGlvbikgY29u
ZmxpY3RzIHdpdGggZXhpc3Rpbmcga2V5IChjYWdlLCBhbmltYWwpPSgxMjMsIHplYnJhKS4KIElO
U0VSVCBJTlRPIHpvbyBWQUxVRVMoMTI0LCAnbGlvbicpOworLS0gQSA8PiBzZWFyY2ggbXVzdCBk
ZXNjZW5kIGludGVybmFsIHBhZ2VzIGluc3RlYWQgb2YgY29tcGFyaW5nIHRoZSBxdWVyeSB0byBh
CistLSB0cnVuY2F0ZWQgaW50ZXJuYWwga2V5LiAgVXNlIGEgbXVsdGktbGV2ZWwgaW5kZXggYW5k
IGNoZWNrIGl0IGFncmVlcyB3aXRoIHNlcSBzY2FuLgorQ1JFQVRFIFRBQkxFIGJpdG5lIChhIGJp
dCg4KSk7CitJTlNFUlQgSU5UTyBiaXRuZSBTRUxFQ1QgKGcgJSAyNTYpOjpiaXQoOCkgRlJPTSBn
ZW5lcmF0ZV9zZXJpZXMoMSwgMjAwMDApIGc7CitDUkVBVEUgSU5ERVggYml0bmVfaWR4IE9OIGJp
dG5lIFVTSU5HIGdpc3QgKGEpOworU0VUIGVuYWJsZV9zZXFzY2FuIHRvIG9uOworU0VUIGVuYWJs
ZV9pbmRleHNjYW4gdG8gb2ZmOworU0VUIGVuYWJsZV9iaXRtYXBzY2FuIHRvIG9mZjsKK1NFTEVD
VCBjb3VudCgqKSBGUk9NIGJpdG5lIFdIRVJFIGEgPD4gQicwMDAwMDAwMCc7CisgY291bnQgCist
LS0tLS0tCisgMTk5MjIKKygxIHJvdykKKworU0VUIGVuYWJsZV9zZXFzY2FuIHRvIG9mZjsKK1NF
VCBlbmFibGVfaW5kZXhzY2FuIHRvIG9uOworU0VUIGVuYWJsZV9iaXRtYXBzY2FuIHRvIG9uOwor
U0VMRUNUIGNvdW50KCopIEZST00gYml0bmUgV0hFUkUgYSA8PiBCJzAwMDAwMDAwJzsKKyBjb3Vu
dCAKKy0tLS0tLS0KKyAxOTkyMgorKDEgcm93KQorCitEUk9QIFRBQkxFIGJpdG5lOwpkaWZmIC0t
Z2l0IGEvY29udHJpYi9idHJlZV9naXN0L3NxbC9ub3RfZXF1YWwuc3FsIGIvY29udHJpYi9idHJl
ZV9naXN0L3NxbC9ub3RfZXF1YWwuc3FsCmluZGV4IDZkZmFjNWQwYWFlLi5lY2IxMzVmNDdkMiAx
MDA2NDQKLS0tIGEvY29udHJpYi9idHJlZV9naXN0L3NxbC9ub3RfZXF1YWwuc3FsCisrKyBiL2Nv
bnRyaWIvYnRyZWVfZ2lzdC9zcWwvbm90X2VxdWFsLnNxbApAQCAtMzQsMyArMzQsMjEgQEAgSU5T
RVJUIElOVE8gem9vIFZBTFVFUygxMjMsICd6ZWJyYScpOwogSU5TRVJUIElOVE8gem9vIFZBTFVF
UygxMjMsICd6ZWJyYScpOwogSU5TRVJUIElOVE8gem9vIFZBTFVFUygxMjMsICdsaW9uJyk7CiBJ
TlNFUlQgSU5UTyB6b28gVkFMVUVTKDEyNCwgJ2xpb24nKTsKKworLS0gQSA8PiBzZWFyY2ggbXVz
dCBkZXNjZW5kIGludGVybmFsIHBhZ2VzIGluc3RlYWQgb2YgY29tcGFyaW5nIHRoZSBxdWVyeSB0
byBhCistLSB0cnVuY2F0ZWQgaW50ZXJuYWwga2V5LiAgVXNlIGEgbXVsdGktbGV2ZWwgaW5kZXgg
YW5kIGNoZWNrIGl0IGFncmVlcyB3aXRoIHNlcSBzY2FuLgorQ1JFQVRFIFRBQkxFIGJpdG5lIChh
IGJpdCg4KSk7CitJTlNFUlQgSU5UTyBiaXRuZSBTRUxFQ1QgKGcgJSAyNTYpOjpiaXQoOCkgRlJP
TSBnZW5lcmF0ZV9zZXJpZXMoMSwgMjAwMDApIGc7CitDUkVBVEUgSU5ERVggYml0bmVfaWR4IE9O
IGJpdG5lIFVTSU5HIGdpc3QgKGEpOworCitTRVQgZW5hYmxlX3NlcXNjYW4gdG8gb247CitTRVQg
ZW5hYmxlX2luZGV4c2NhbiB0byBvZmY7CitTRVQgZW5hYmxlX2JpdG1hcHNjYW4gdG8gb2ZmOwor
U0VMRUNUIGNvdW50KCopIEZST00gYml0bmUgV0hFUkUgYSA8PiBCJzAwMDAwMDAwJzsKKworU0VU
IGVuYWJsZV9zZXFzY2FuIHRvIG9mZjsKK1NFVCBlbmFibGVfaW5kZXhzY2FuIHRvIG9uOworU0VU
IGVuYWJsZV9iaXRtYXBzY2FuIHRvIG9uOworU0VMRUNUIGNvdW50KCopIEZST00gYml0bmUgV0hF
UkUgYSA8PiBCJzAwMDAwMDAwJzsKKworRFJPUCBUQUJMRSBiaXRuZTsKLS0gCjIuMzQuMQoK
--0000000000007fa1140655a46221--