MIME-Version: 1.0
References: 
 <CAHg+QDeP=mTHTV48R23zKMy1SBmCKZ_L7-z5zKnYyw+K0x-gCg@mail.gmail.com>
 <CAExHW5tsOK7ja2dMykD_qQSLwsuZxCTHx_jFyx-7-O+9WRBDXQ@mail.gmail.com>
 <CAHg+QDcXxmeiuySsyR5K=8Wk9Pq2sZ_4HNb6EMonN=yjLz_fyw@mail.gmail.com>
 <CAExHW5t2YtTMnK7qbvL++pBet-5B8bzgU+8wMcC5aqZwBH0C9w@mail.gmail.com>
 <CAHg+QDdAoW2cU2Wa-yKQs2awHxc19mkHGaAvDUZN=PZUDVsD=A@mail.gmail.com>
In-Reply-To: 
 <CAHg+QDdAoW2cU2Wa-yKQs2awHxc19mkHGaAvDUZN=PZUDVsD=A@mail.gmail.com>
From: Ashutosh Bapat <ashutosh.bapat.oss@gmail.com>
Date: Tue, 21 Apr 2026 17:49:45 +0530
Message-ID: 
 <CAExHW5uThebnwqyWHrsF2Z+no-fT8VrM0Yj+RU7YWrYzdavUZg@mail.gmail.com>
Subject: Re: [Bug][patch]: After dropping the last label from a property graph
 element, invoking pg_get_propgraphdef() triggers an assertion failure
To: SATYANARAYANA NARLAPURAM <satyanarlapuram@gmail.com>
Cc: PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Content-Type: multipart/mixed; boundary="0000000000000b13f8064ff76f10"
Archived-At: 
 <https://www.postgresql.org/message-id/CAExHW5uThebnwqyWHrsF2Z%2Bno-fT8VrM0Yj%2BRU7YWrYzdavUZg%40mail.gmail.com>
Precedence: bulk

--0000000000000b13f8064ff76f10
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Tue, Apr 21, 2026 at 1:29=E2=80=AFPM SATYANARAYANA NARLAPURAM
<satyanarlapuram@gmail.com> wrote:
>
> Hi,
>
> On Mon, Apr 20, 2026 at 11:58=E2=80=AFPM Ashutosh Bapat <ashutosh.bapat.o=
ss@gmail.com> wrote:
>>
>> On Tue, Apr 21, 2026 at 11:28=E2=80=AFAM SATYANARAYANA NARLAPURAM
>> <satyanarlapuram@gmail.com> wrote:
>> >
>> > HI Ashutosh,
>> >
>> > On Mon, Apr 20, 2026 at 10:34=E2=80=AFPM Ashutosh Bapat <ashutosh.bapa=
t.oss@gmail.com> wrote:
>> >>
>> >> On Mon, Apr 20, 2026 at 11:42=E2=80=AFPM SATYANARAYANA NARLAPURAM
>> >> <satyanarlapuram@gmail.com> wrote:
>> >> >
>> >> > Hi hackers,
>> >> >
>> >> > ALTER PROPERTY GRAPH ... ALTER ... DROP LABEL currently allows remo=
ving
>> >> > the last label from an element, leaving it with zero labels.
>> >> >
>> >> > On assert-enabled builds, pg_get_propgraphdef() hits
>> >> > TRAP: failed Assert("count > 0"), File: "ruleutils.c", Line: 1837, =
PID: 1821840
>> >> >
>> >> > Repro:
>> >> >
>> >> > CREATE TABLE t (x int PRIMARY KEY, y int, z int);
>> >> > CREATE PROPERTY GRAPH g VERTEX TABLES (t KEY (x) LABEL l1 LABEL l2)=
;
>> >> > ALTER PROPERTY GRAPH g ALTER VERTEX TABLE t DROP LABEL l2;
>> >> > ALTER PROPERTY GRAPH g ALTER VERTEX TABLE t DROP LABEL l1;
>> >> > SELECT pg_get_propgraphdef('g'::regclass);
>> >> >
>> >> > We can fix it two ways, (1) Prevent dropping the last label; (2) ha=
ndle zero labels.
>> >> > I feel it is easier to prevent dropping the last label than handlin=
g zero labels. Thoughts?
>> >> >
>> >>
>> >> SQL/PGQ standard section 11.25 syntax rule 6 says
>> >> "Element table descriptor shall include two or more labels, one of
>> >> which has an <identifier> that is equivalent to the <label name>
>> >> simply contained in the <drop element table label clause>."
>> >>
>> >> IIUC this simply means that the last label can not be dropped. That
>> >> agrees with your chosen option.
>> >>
>> >> In the patch,
>> >> + while (HeapTupleIsValid(systable_getnext(elscan)))
>> >> + nlabels++;
>> >>
>> >> It's better to break from the while loop after incrementing nlabels
>> >> and avoid scanning the entire table in the worst case. All we want to
>> >> check is whether another label exists and not all the labels.
>> >
>> >
>> > Please find the attached v2 patch.
>> >
>> >>
>> >>
>> >> > The attached patch adds a check in AlterPropGraph() before
>> >> > performDeletion(). It scans pg_propgraph_element_label to count lab=
els
>> >> > for the element, and raises an error if only one remains. A regress=
ion test is included
>> >> > that drops labels down to the last one, verifies the error, then re=
-adds them back.
>> >>
>> >> I would add a test to make sure ADD LABEL ... DROP LABEL .. is allowe=
d.
>> >
>> >
>> > +ALTER PROPERTY GRAPH g3 ALTER VERTEX TABLE t3 DROP LABEL t3l1;  -- er=
ror: last label
>> > +ALTER PROPERTY GRAPH g3 ALTER VERTEX TABLE t3 ADD LABEL t3l2 PROPERTI=
ES ALL COLUMNS;
>> >
>> > Are you looking for any additional coverage?
>>
>> I thought specifying ADD LABEL and DROP LABEL is supported in the same
>> DDL. But that's not the case. Sorry.
>>
>> Will review the patch soon.
>>
>> Additionally, the patch should update the DDL document to mention that
>> the DDL does not allow dropping the last label on the given graph
>> element table.
>
>
> Addressed this in v3 patch.

Thanks.

I questioned whether it makes sense to move the code to check the
existence of at least one other label into its own function so the
code is more readable. AlterPropGraph is already about 500 lines and
this code increases it further. There are two possibilities:
a. The function returns true if the given element has more than two
labels associated with it. The choice of 2 makes sense only in the
drop label context but not otherwise.
b. The function returns true if it finds one label other than the one
with the given label oid. That looks a bit more elegant. But still
seems too tied to drop label context.

So I decided against it. But instead removed the extra indentation.
The earliest variable declaration block is not farther from that code.

I changed the errcode to ERRCODE_OBJECT_NOT_IN_PREREQUISITE_STATE
since we expect the element to be in a specific state to drop the
label. ERRCODE_INVALID_OBJECT_DEFINITION would mean that the
definition of the element or the label is itself invalid. That's not
the case.

Here's a patch with some minor edits.

--=20
Best Wishes,
Ashutosh Bapat

--0000000000000b13f8064ff76f10
Content-Type: text/x-patch; charset="US-ASCII";
	name="v20260421-0001-Prevent-dropping-the-last-label-from-a-pro.patch"
Content-Disposition: attachment;
	filename="v20260421-0001-Prevent-dropping-the-last-label-from-a-pro.patch"
Content-Transfer-Encoding: base64
Content-ID: <f_mo8lclvg0>
X-Attachment-Id: f_mo8lclvg0

RnJvbSA5NzNiNzI0NDYzYzBlMDc1NWZkNTkyNjBiZDhiNWYwZjkyOGY1MjRlIE1vbiBTZXAgMTcg
MDA6MDA6MDAgMjAwMQpGcm9tOiBzYXR5YW5hcmF5YW5hIG5hcmxhcHVyYW0gPHNhdHlhbmFybGFw
dXJhbUBnbWFpbC5jb20+CkRhdGU6IFR1ZSwgMjEgQXByIDIwMjYgMDc6NTI6NTYgKzAwMDAKU3Vi
amVjdDogW1BBVENIIHYyMDI2MDQyMSA1LzVdIFByZXZlbnQgZHJvcHBpbmcgdGhlIGxhc3QgbGFi
ZWwgZnJvbSBhIHByb3BlcnR5CiBncmFwaCBlbGVtZW50CgpQZXIgU1FML1BHUSBzdGFuZGFyZCwg
ZXZlcnkgZ3JhcGggZWxlbWVudCBtdXN0IGhhdmUgYXQgbGVhc3Qgb25lIGxhYmVsLiBXaGVuCmRy
b3BwaW5nIGEgbGFiZWwgZnJvbSBhIGdyYXBoIGVsZW1lbnQsIGVuc3VyZSB0aGF0IHRoZXJlIGV4
aXN0cyBhdCBsZWFzdCBvbmUKb3RoZXIgbGFiZWwgb24gdGhlIGVsZW1lbnQuIElmIHRoZSBsYWJl
bCBiZWluZyBkcm9wcGVkIGlzIHRoZSBvbmx5IGxhYmVsIG9uIHRoZQplbGVtZW50LCByYWlzZSBh
biBlcnJvci4KClJlcG9ydGVkIEJ5OiBTYXR5YW5hcmF5YW5hIE5hcmxhcHVyYW0gPHNhdHlhbmFy
bGFwdXJhbUBnbWFpbC5jb20+CkF1dGhvcjogU2F0eWFuYXJheWFuYSBOYXJsYXB1cmFtIDxzYXR5
YW5hcmxhcHVyYW1AZ21haWwuY29tPgpSZXZpZXdlZCBCeTogQXNodXRvc2ggQmFwYXQgPGFzaHV0
b3NoLmJhcGF0Lm9zc0BnbWFpbC5jb20+Ci0tLQogZG9jL3NyYy9zZ21sL3JlZi9hbHRlcl9wcm9w
ZXJ0eV9ncmFwaC5zZ21sICAgIHwgIDQgKystCiBzcmMvYmFja2VuZC9jb21tYW5kcy9wcm9wZ3Jh
cGhjbWRzLmMgICAgICAgICAgfCAzMiArKysrKysrKysrKysrKysrKysrCiAuLi4vZXhwZWN0ZWQv
Y3JlYXRlX3Byb3BlcnR5X2dyYXBoLm91dCAgICAgICAgfCAgNiArKysrCiAuLi4vcmVncmVzcy9z
cWwvY3JlYXRlX3Byb3BlcnR5X2dyYXBoLnNxbCAgICAgfCAgNCArKysKIDQgZmlsZXMgY2hhbmdl
ZCwgNDUgaW5zZXJ0aW9ucygrKSwgMSBkZWxldGlvbigtKQoKZGlmZiAtLWdpdCBhL2RvYy9zcmMv
c2dtbC9yZWYvYWx0ZXJfcHJvcGVydHlfZ3JhcGguc2dtbCBiL2RvYy9zcmMvc2dtbC9yZWYvYWx0
ZXJfcHJvcGVydHlfZ3JhcGguc2dtbAppbmRleCBmNTE3ZjJiMmQ3YS4uMmZkMGMxMzhlMTIgMTAw
NjQ0Ci0tLSBhL2RvYy9zcmMvc2dtbC9yZWYvYWx0ZXJfcHJvcGVydHlfZ3JhcGguc2dtbAorKysg
Yi9kb2Mvc3JjL3NnbWwvcmVmL2FsdGVyX3Byb3BlcnR5X2dyYXBoLnNnbWwKQEAgLTk5LDcgKzk5
LDkgQEAgQUxURVIgUFJPUEVSVFkgR1JBUEggWyBJRiBFWElTVFMgXSA8cmVwbGFjZWFibGUgY2xh
c3M9InBhcmFtZXRlciI+bmFtZTwvcmVwbGFjZWEKICAgICAgPHRlcm0+PGxpdGVyYWw+QUxURVIg
e1ZFUlRFWHxOT0RFfEVER0V8UkVMQVRJT05TSElQfSBUQUJMRSAuLi4gRFJPUCBMQUJFTDwvbGl0
ZXJhbD48L3Rlcm0+CiAgICAgIDxsaXN0aXRlbT4KICAgICAgIDxwYXJhPgotICAgICAgIFRoaXMg
Zm9ybSByZW1vdmVzIGEgbGFiZWwgZnJvbSBhbiBleGlzdGluZyB2ZXJ0ZXggb3IgZWRnZSB0YWJs
ZS4KKyAgICAgICBUaGlzIGZvcm0gcmVtb3ZlcyBhIGxhYmVsIGZyb20gYW4gZXhpc3RpbmcgdmVy
dGV4IG9yIGVkZ2UgdGFibGUuIFRoZQorICAgICAgIGxhc3QgbGFiZWwgb24gYW4gZWxlbWVudCB0
YWJsZSBjYW5ub3QgYmUgZHJvcHBlZDsgZXZlcnkgdmVydGV4IG9yIGVkZ2UKKyAgICAgICB0YWJs
ZSBtdXN0IGhhdmUgYXQgbGVhc3Qgb25lIGxhYmVsLgogICAgICAgPC9wYXJhPgogICAgICA8L2xp
c3RpdGVtPgogICAgIDwvdmFybGlzdGVudHJ5PgpkaWZmIC0tZ2l0IGEvc3JjL2JhY2tlbmQvY29t
bWFuZHMvcHJvcGdyYXBoY21kcy5jIGIvc3JjL2JhY2tlbmQvY29tbWFuZHMvcHJvcGdyYXBoY21k
cy5jCmluZGV4IDM4NDJmNGE3MTFiLi41ODNiZDQzY2Q3YiAxMDA2NDQKLS0tIGEvc3JjL2JhY2tl
bmQvY29tbWFuZHMvcHJvcGdyYXBoY21kcy5jCisrKyBiL3NyYy9iYWNrZW5kL2NvbW1hbmRzL3By
b3BncmFwaGNtZHMuYwpAQCAtMTQ5Myw2ICsxNDkzLDExIEBAIEFsdGVyUHJvcEdyYXBoKFBhcnNl
U3RhdGUgKnBzdGF0ZSwgY29uc3QgQWx0ZXJQcm9wR3JhcGhTdG10ICpzdG10KQogCQlPaWQJCQls
YWJlbG9pZDsKIAkJT2lkCQkJZWxsYWJlbG9pZDsKIAkJT2JqZWN0QWRkcmVzcyBvYmo7CisJCVJl
bGF0aW9uCWVscmVsOworCQlTeXNTY2FuRGVzYyBlbHNjYW47CisJCVNjYW5LZXlEYXRhIGVsa2V5
WzFdOworCQlpbnQJCQlubGFiZWxzID0gMDsKKwogCiAJCWlmIChzdG10LT5lbGVtZW50X2tpbmQg
PT0gUFJPUEdSQVBIX0VMRU1FTlRfS0lORF9WRVJURVgpCiAJCQlwZW9pZCA9IGdldF92ZXJ0ZXhf
b2lkKHBzdGF0ZSwgcGdyZWxpZCwgc3RtdC0+ZWxlbWVudF9hbGlhcywgLTEpOwpAQCAtMTUyMiw2
ICsxNTI3LDMzIEBAIEFsdGVyUHJvcEdyYXBoKFBhcnNlU3RhdGUgKnBzdGF0ZSwgY29uc3QgQWx0
ZXJQcm9wR3JhcGhTdG10ICpzdG10KQogCQkJCQkJICAgZ2V0X3JlbF9uYW1lKHBncmVsaWQpLCBz
dG10LT5lbGVtZW50X2FsaWFzLCBzdG10LT5kcm9wX2xhYmVsKSwKIAkJCQkJcGFyc2VyX2VycnBv
c2l0aW9uKHBzdGF0ZSwgLTEpKTsKIAorCQkvKgorCQkgKiBQcmV2ZW50IGRyb3BwaW5nIHRoZSBs
YXN0IGxhYmVsIGZyb20gYW4gZWxlbWVudC4gRXZlcnkgZWxlbWVudCBtdXN0CisJCSAqIGhhdmUg
YXQgbGVhc3Qgb25lIGxhYmVsLgorCQkgKi8KKwkJZWxyZWwgPSB0YWJsZV9vcGVuKFByb3BncmFw
aEVsZW1lbnRMYWJlbFJlbGF0aW9uSWQsIEFjY2Vzc1NoYXJlTG9jayk7CisJCVNjYW5LZXlJbml0
KCZlbGtleVswXSwKKwkJCQkJQW51bV9wZ19wcm9wZ3JhcGhfZWxlbWVudF9sYWJlbF9wZ2VsZWxp
ZCwKKwkJCQkJQlRFcXVhbFN0cmF0ZWd5TnVtYmVyLCBGX09JREVRLAorCQkJCQlPYmplY3RJZEdl
dERhdHVtKHBlb2lkKSk7CisJCWVsc2NhbiA9IHN5c3RhYmxlX2JlZ2luc2NhbihlbHJlbCwgUHJv
cGdyYXBoRWxlbWVudExhYmVsRWxlbWVudExhYmVsSW5kZXhJZCwKKwkJCQkJCQkJCXRydWUsIE5V
TEwsIDEsIGVsa2V5KTsKKwkJd2hpbGUgKEhlYXBUdXBsZUlzVmFsaWQoc3lzdGFibGVfZ2V0bmV4
dChlbHNjYW4pKSkKKwkJeworCQkJbmxhYmVscysrOworCQkJaWYgKG5sYWJlbHMgPiAxKQorCQkJ
CWJyZWFrOworCQl9CisJCXN5c3RhYmxlX2VuZHNjYW4oZWxzY2FuKTsKKwkJdGFibGVfY2xvc2Uo
ZWxyZWwsIEFjY2Vzc1NoYXJlTG9jayk7CisKKwkJaWYgKG5sYWJlbHMgPD0gMSkKKwkJCWVyZXBv
cnQoRVJST1IsCisJCQkJCShlcnJjb2RlKEVSUkNPREVfT0JKRUNUX05PVF9JTl9QUkVSRVFVSVNJ
VEVfU1RBVEUpLAorCQkJCQkgZXJybXNnKCJjYW5ub3QgZHJvcCB0aGUgbGFzdCBsYWJlbCBmcm9t
IGVsZW1lbnQgXCIlc1wiIiwKKwkJCQkJCQlzdG10LT5lbGVtZW50X2FsaWFzKSwKKwkJCQkJIGVy
cmhpbnQoIkV2ZXJ5IGVsZW1lbnQgbXVzdCBoYXZlIGF0IGxlYXN0IG9uZSBsYWJlbC4iKSkpOwor
CiAJCU9iamVjdEFkZHJlc3NTZXQob2JqLCBQcm9wZ3JhcGhFbGVtZW50TGFiZWxSZWxhdGlvbklk
LCBlbGxhYmVsb2lkKTsKIAkJcGVyZm9ybURlbGV0aW9uKCZvYmosIHN0bXQtPmRyb3BfYmVoYXZp
b3IsIDApOwogCmRpZmYgLS1naXQgYS9zcmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVkL2NyZWF0ZV9w
cm9wZXJ0eV9ncmFwaC5vdXQgYi9zcmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVkL2NyZWF0ZV9wcm9w
ZXJ0eV9ncmFwaC5vdXQKaW5kZXggYmM5YTU5NmVjODkuLjc0MGY4ODZjZDgzIDEwMDY0NAotLS0g
YS9zcmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVkL2NyZWF0ZV9wcm9wZXJ0eV9ncmFwaC5vdXQKKysr
IGIvc3JjL3Rlc3QvcmVncmVzcy9leHBlY3RlZC9jcmVhdGVfcHJvcGVydHlfZ3JhcGgub3V0CkBA
IC01Nyw2ICs1NywxMiBAQCBBTFRFUiBQUk9QRVJUWSBHUkFQSCBnMwogQUxURVIgUFJPUEVSVFkg
R1JBUEggZzMgQUxURVIgVkVSVEVYIFRBQkxFIHQzIERST1AgTEFCRUwgdDNsM3g7ICAtLSBlcnJv
cgogRVJST1I6ICBwcm9wZXJ0eSBncmFwaCAiZzMiIGVsZW1lbnQgInQzIiBoYXMgbm8gbGFiZWwg
InQzbDN4IgogQUxURVIgUFJPUEVSVFkgR1JBUEggZzMgQUxURVIgVkVSVEVYIFRBQkxFIHQzIERS
T1AgTEFCRUwgdDNsMzsKKy0tIFRlc3QgdGhhdCB0aGUgbGFzdCBsYWJlbCBvbiBhbiBlbGVtZW50
IGNhbm5vdCBiZSBkcm9wcGVkCitBTFRFUiBQUk9QRVJUWSBHUkFQSCBnMyBBTFRFUiBWRVJURVgg
VEFCTEUgdDMgRFJPUCBMQUJFTCB0M2wyOworQUxURVIgUFJPUEVSVFkgR1JBUEggZzMgQUxURVIg
VkVSVEVYIFRBQkxFIHQzIERST1AgTEFCRUwgdDNsMTsgIC0tIGVycm9yOiBsYXN0IGxhYmVsCitF
UlJPUjogIGNhbm5vdCBkcm9wIHRoZSBsYXN0IGxhYmVsIGZyb20gZWxlbWVudCAidDMiCitISU5U
OiAgRXZlcnkgZWxlbWVudCBtdXN0IGhhdmUgYXQgbGVhc3Qgb25lIGxhYmVsLgorQUxURVIgUFJP
UEVSVFkgR1JBUEggZzMgQUxURVIgVkVSVEVYIFRBQkxFIHQzIEFERCBMQUJFTCB0M2wyIFBST1BF
UlRJRVMgQUxMIENPTFVNTlM7CiBBTFRFUiBQUk9QRVJUWSBHUkFQSCBnMyBEUk9QIFZFUlRFWCBU
QUJMRVMgKHQyKTsgIC0tIGZhaWwKIEVSUk9SOiAgY2Fubm90IGRyb3AgdmVydGV4IHQyIG9mIHBy
b3BlcnR5IGdyYXBoIGczIGJlY2F1c2Ugb3RoZXIgb2JqZWN0cyBkZXBlbmQgb24gaXQKIERFVEFJ
TDogIGVkZ2UgZTEgb2YgcHJvcGVydHkgZ3JhcGggZzMgZGVwZW5kcyBvbiB2ZXJ0ZXggdDIgb2Yg
cHJvcGVydHkgZ3JhcGggZzMKZGlmZiAtLWdpdCBhL3NyYy90ZXN0L3JlZ3Jlc3Mvc3FsL2NyZWF0
ZV9wcm9wZXJ0eV9ncmFwaC5zcWwgYi9zcmMvdGVzdC9yZWdyZXNzL3NxbC9jcmVhdGVfcHJvcGVy
dHlfZ3JhcGguc3FsCmluZGV4IDI0MWY5M2RmMzAyLi40Y2Y3NzE1OTZhOCAxMDA2NDQKLS0tIGEv
c3JjL3Rlc3QvcmVncmVzcy9zcWwvY3JlYXRlX3Byb3BlcnR5X2dyYXBoLnNxbAorKysgYi9zcmMv
dGVzdC9yZWdyZXNzL3NxbC9jcmVhdGVfcHJvcGVydHlfZ3JhcGguc3FsCkBAIC01Miw2ICs1Miwx
MCBAQCBBTFRFUiBQUk9QRVJUWSBHUkFQSCBnMwogICAgICAgICBBREQgTEFCRUwgdDNsMyBQUk9Q
RVJUSUVTIEFMTCBDT0xVTU5TOwogQUxURVIgUFJPUEVSVFkgR1JBUEggZzMgQUxURVIgVkVSVEVY
IFRBQkxFIHQzIERST1AgTEFCRUwgdDNsM3g7ICAtLSBlcnJvcgogQUxURVIgUFJPUEVSVFkgR1JB
UEggZzMgQUxURVIgVkVSVEVYIFRBQkxFIHQzIERST1AgTEFCRUwgdDNsMzsKKy0tIFRlc3QgdGhh
dCB0aGUgbGFzdCBsYWJlbCBvbiBhbiBlbGVtZW50IGNhbm5vdCBiZSBkcm9wcGVkCitBTFRFUiBQ
Uk9QRVJUWSBHUkFQSCBnMyBBTFRFUiBWRVJURVggVEFCTEUgdDMgRFJPUCBMQUJFTCB0M2wyOwor
QUxURVIgUFJPUEVSVFkgR1JBUEggZzMgQUxURVIgVkVSVEVYIFRBQkxFIHQzIERST1AgTEFCRUwg
dDNsMTsgIC0tIGVycm9yOiBsYXN0IGxhYmVsCitBTFRFUiBQUk9QRVJUWSBHUkFQSCBnMyBBTFRF
UiBWRVJURVggVEFCTEUgdDMgQUREIExBQkVMIHQzbDIgUFJPUEVSVElFUyBBTEwgQ09MVU1OUzsK
IEFMVEVSIFBST1BFUlRZIEdSQVBIIGczIERST1AgVkVSVEVYIFRBQkxFUyAodDIpOyAgLS0gZmFp
bAogQUxURVIgUFJPUEVSVFkgR1JBUEggZzMgRFJPUCBWRVJURVggVEFCTEVTICh0MikgQ0FTQ0FE
RTsKIEFMVEVSIFBST1BFUlRZIEdSQVBIIGczIERST1AgRURHRSBUQUJMRVMgKGUyKTsKLS0gCjIu
MzQuMQoK
--0000000000000b13f8064ff76f10--