MIME-Version: 1.0
From: Ewan Young <kdbase.hack@gmail.com>
Date: Tue, 7 Jul 2026 16:13:30 +0800
Message-ID: 
 <CAON2xHNM809WLR_g0ymKgU-tWxtbyH1Xvh4fqzRqy9YP2A59pg@mail.gmail.com>
Subject: Reject ill-formed range bounds histograms in
 pg_restore_attribute_stats()
To: PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Cc: Michael Paquier <michael@paquier.xyz>,
 Corey Huinker <corey.huinker@gmail.com>
Content-Type: multipart/mixed; boundary="000000000000b30386065600f8cf"
Archived-At: 
 <https://www.postgresql.org/message-id/CAON2xHNM809WLR_g0ymKgU-tWxtbyH1Xvh4fqzRqy9YP2A59pg%40mail.gmail.com>
Precedence: bulk

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

Hi,

pg_restore_attribute_stats() (and pg_set_attribute_stats()) stores a
STATISTIC_KIND_BOUNDS_HISTOGRAM verbatim from user input, checking only
that the argument is a one-dimensional, NULL-free array of the right
type.  It does not verify the invariant that ANALYZE's
compute_range_stats() always establishes: the bounds histogram must
contain no empty ranges, and its lower and upper bounds must each be
sorted in ascending order.

The range and multirange selectivity estimators rely on that invariant.
They split the histogram into separate lower- and upper-bound histograms
and assume each is ordered.  So an imported histogram that violates it
makes the planner misbehave when it later reads the statistics:
  - a non-monotonic histogram makes calc_length_hist_frac() fail its
    Assert(length2 >= length1) (rangetypes_selfuncs.c, and the identical
    multirangetypes_selfuncs.c), i.e. a backend crash on an assert-enabled
    build, or a nonsensical, possibly negative, selectivity otherwise;

  - an empty range trips the "shouldn't happen" elog(ERROR, "bounds
    histogram contains an empty range").

Reproducer on HEAD (assert build):

    CREATE TABLE t (r int4range);
    INSERT INTO t SELECT int4range(g, g+10) FROM generate_series(1,500) g;
    ANALYZE t;

    SELECT pg_restore_attribute_stats(
        'schemaname', 'public', 'relname', 't',
        'attname', 'r', 'inherited', false,
        'range_bounds_histogram',
'{"[50,60)","[1,2)","[90,100)","[5,6)"}'::text,
        'range_length_histogram', '{1,5,10,20}'::text,
        'range_empty_frac', 0.0::real);          -- accepted, returns true

    EXPLAIN SELECT * FROM t WHERE r <@ int4range(1,100);
    -- TRAP: failed Assert("length2 >= length1"), rangetypes_selfuncs.c

The same happens for a multirange column (whose bounds histogram is also
an array of ranges).  Setting statistics requires table ownership /
MAINTAIN, so this is not a security issue, but it is another way for a
stats-import call to feed the planner data it cannot cope with, and the
functions already validate other properties and reject bad input with a
WARNING rather than crashing.

This is the same class of problem as commit f6e4ec0a705, which rejected
oversized MCV lists in pg_restore_extended_stats().

The attached patch validates the bounds histogram at import time and
rejects an ill-formed one with a WARNING, matching the treatment of the
other inconsistent inputs.  Because the histogram element type is a range
for both range- and multirange-typed columns, the single check covers
both.

-- 
Regards,
Ewan Young

--000000000000b30386065600f8cf
Content-Type: application/octet-stream;
	name="v1-0001-Reject-ill-formed-range-bounds-histograms-in-pg_rest.patch"
Content-Disposition: attachment;
	filename="v1-0001-Reject-ill-formed-range-bounds-histograms-in-pg_rest.patch"
Content-Transfer-Encoding: base64
Content-ID: <f_mraddufm0>
X-Attachment-Id: f_mraddufm0

RnJvbSBjMmI3MmYwNTYzYWFmZDgzODY4YmE4OTgzZjhhNDJkYTZjNzk1MjliIE1vbiBTZXAgMTcg
MDA6MDA6MDAgMjAwMQpGcm9tOiBFd2FuIFlvdW5nIDxrZGJhc2UuaGFja0BnbWFpbC5jb20+CkRh
dGU6IFR1ZSwgNyBKdWwgMjAyNiAyMzo0MDozMCArMDgwMApTdWJqZWN0OiBbUEFUQ0hdIFJlamVj
dCBpbGwtZm9ybWVkIHJhbmdlIGJvdW5kcyBoaXN0b2dyYW1zIGluCiBwZ19yZXN0b3JlX2F0dHJp
YnV0ZV9zdGF0cygpCgpwZ19yZXN0b3JlX2F0dHJpYnV0ZV9zdGF0cygpIChhbmQgcGdfc2V0X2F0
dHJpYnV0ZV9zdGF0cygpKSBzdG9yZWQgYQpTVEFUSVNUSUNfS0lORF9CT1VORFNfSElTVE9HUkFN
IHZlcmJhdGltLCB3aXRob3V0IGNoZWNraW5nIHRoZSBpbnZhcmlhbnQKdGhhdCBBTkFMWVpFJ3Mg
Y29tcHV0ZV9yYW5nZV9zdGF0cygpIGd1YXJhbnRlZXM6IHRoZSBoaXN0b2dyYW0gbXVzdCBub3QK
Y29udGFpbiBhbnkgZW1wdHkgcmFuZ2UsIGFuZCBpdHMgbG93ZXIgYW5kIHVwcGVyIGJvdW5kcyBt
dXN0IGVhY2ggYXBwZWFyCmluIGFzY2VuZGluZyBvcmRlci4gIFRoZSByYW5nZSBhbmQgbXVsdGly
YW5nZSBzZWxlY3Rpdml0eSBlc3RpbWF0b3JzIHJlbHkKb24gdGhpcy4gIEFuIHVuc29ydGVkIGhp
c3RvZ3JhbSBtYWtlcyBjYWxjX2xlbmd0aF9oaXN0X2ZyYWMoKSBmYWlsIGFuCmFzc2VydGlvbiAo
b3IgY29tcHV0ZSBhIG5vbnNlbnNpY2FsLCBwb3NzaWJseSBuZWdhdGl2ZSwgc2VsZWN0aXZpdHkg
b24gYQpub24tYXNzZXJ0IGJ1aWxkKSwgYW5kIGFuIGVtcHR5IHJhbmdlIHRyaXBzIGEgInNob3Vs
ZG4ndCBoYXBwZW4iCmVsb2coRVJST1IpLCB3aGVuIHRoZSBwbGFubmVyIGxhdGVyIHJlYWRzIHRo
ZSBpbXBvcnRlZCBzdGF0aXN0aWNzLiAgRm9yCmluc3RhbmNlLCBhZnRlciBpbXBvcnRpbmcgYW4g
dW5zb3J0ZWQgYm91bmRzIGhpc3RvZ3JhbSwgYSBxdWVyeSBzdWNoIGFzCiJXSEVSRSByIDxAIC4u
LiIgY3Jhc2hlcyB0aGUgYmFja2VuZCBkdXJpbmcgcGxhbm5pbmcuCgpWYWxpZGF0ZSB0aGUgYm91
bmRzIGhpc3RvZ3JhbSBhdCBpbXBvcnQgdGltZSBhbmQgcmVqZWN0IGFuIGlsbC1mb3JtZWQgb25l
CndpdGggYSBXQVJOSU5HLCBsaWtlIG90aGVyIGluY29uc2lzdGVudCBpbnB1dHMuICBUaGlzIGNv
dmVycyBib3RoIHJhbmdlLQphbmQgbXVsdGlyYW5nZS10eXBlZCBjb2x1bW5zLCB3aG9zZSBib3Vu
ZHMgaGlzdG9ncmFtcyBhcmUgYm90aCBhcnJheXMgb2YKcmFuZ2VzLgoKVGhpcyBpcyB0aGUgc2Ft
ZSBjbGFzcyBvZiBwcm9ibGVtIGFzIGNvbW1pdCBmNmU0ZWMwYTcwNSwgd2hpY2ggcmVqZWN0ZWQK
b3ZlcnNpemVkIE1DViBsaXN0cyBpbiBwZ19yZXN0b3JlX2V4dGVuZGVkX3N0YXRzKCkuCi0tLQog
c3JjL2JhY2tlbmQvc3RhdGlzdGljcy9hdHRyaWJ1dGVfc3RhdHMuYyAgIHwgODkgKysrKysrKysr
KysrKysrKysrKysrLQogc3JjL3Rlc3QvcmVncmVzcy9leHBlY3RlZC9zdGF0c19pbXBvcnQub3V0
IHwgMjggKysrKysrKwogc3JjL3Rlc3QvcmVncmVzcy9zcWwvc3RhdHNfaW1wb3J0LnNxbCAgICAg
IHwgMTggKysrKysKIDMgZmlsZXMgY2hhbmdlZCwgMTM0IGluc2VydGlvbnMoKyksIDEgZGVsZXRp
b24oLSkKCmRpZmYgLS1naXQgYS9zcmMvYmFja2VuZC9zdGF0aXN0aWNzL2F0dHJpYnV0ZV9zdGF0
cy5jIGIvc3JjL2JhY2tlbmQvc3RhdGlzdGljcy9hdHRyaWJ1dGVfc3RhdHMuYwppbmRleCAxY2M0
ZDY1NzIzMS4uOTEzODQzNGJhMDMgMTAwNjQ0Ci0tLSBhL3NyYy9iYWNrZW5kL3N0YXRpc3RpY3Mv
YXR0cmlidXRlX3N0YXRzLmMKKysrIGIvc3JjL2JhY2tlbmQvc3RhdGlzdGljcy9hdHRyaWJ1dGVf
c3RhdHMuYwpAQCAtMjgsNyArMjgsOSBAQAogI2luY2x1ZGUgInV0aWxzL2J1aWx0aW5zLmgiCiAj
aW5jbHVkZSAidXRpbHMvZm1ncm9pZHMuaCIKICNpbmNsdWRlICJ1dGlscy9sc3lzY2FjaGUuaCIK
KyNpbmNsdWRlICJ1dGlscy9yYW5nZXR5cGVzLmgiCiAjaW5jbHVkZSAidXRpbHMvc3lzY2FjaGUu
aCIKKyNpbmNsdWRlICJ1dGlscy90eXBjYWNoZS5oIgogCiAvKgogICogUG9zaXRpb25hbCBhcmd1
bWVudCBudW1iZXJzLCBuYW1lcywgYW5kIHR5cGVzIGZvcgpAQCAtMTA1LDEwICsxMDcsOTQgQEAg
c3RhdGljIHN0cnVjdCBTdGF0c0FyZ0luZm8gY2xlYXJhcmdpbmZvW10gPQogfTsKIAogc3RhdGlj
IGJvb2wgYXR0cmlidXRlX3N0YXRpc3RpY3NfdXBkYXRlKEZ1bmN0aW9uQ2FsbEluZm8gZmNpbmZv
KTsKK3N0YXRpYyBib29sIHN0YXRhdHRfY2hlY2tfYm91bmRzX2hpc3RvZ3JhbShEYXR1bSBhcnJh
eXZhbCk7CiBzdGF0aWMgdm9pZCB1cHNlcnRfcGdfc3RhdGlzdGljKFJlbGF0aW9uIHN0YXJlbCwg
SGVhcFR1cGxlIG9sZHR1cCwKIAkJCQkJCQkJY29uc3QgRGF0dW0gKnZhbHVlcywgY29uc3QgYm9v
bCAqbnVsbHMsIGNvbnN0IGJvb2wgKnJlcGxhY2VzKTsKIHN0YXRpYyBib29sIGRlbGV0ZV9wZ19z
dGF0aXN0aWMoT2lkIHJlbG9pZCwgQXR0ck51bWJlciBhdHRudW0sIGJvb2wgc3RhaW5oZXJpdCk7
CiAKKy8qCisgKiBDaGVjayB0aGF0IGFuIGltcG9ydGVkIGJvdW5kcyBoaXN0b2dyYW0gKFNUQVRJ
U1RJQ19LSU5EX0JPVU5EU19ISVNUT0dSQU0pIGlzCisgKiB3ZWxsLWZvcm1lZCB0aGUgd2F5IEFO
QUxZWkUgYnVpbGRzIGl0IGluIGNvbXB1dGVfcmFuZ2Vfc3RhdHMoKTogaXQgbXVzdCBub3QKKyAq
IGNvbnRhaW4gYW55IGVtcHR5IHJhbmdlLCBhbmQgYm90aCBpdHMgbG93ZXIgYW5kIGl0cyB1cHBl
ciBib3VuZHMgbXVzdCBhcHBlYXIKKyAqIGluIG5vbi1kZWNyZWFzaW5nIG9yZGVyLiAgVGhlIHJh
bmdlIGFuZCBtdWx0aXJhbmdlIHNlbGVjdGl2aXR5IGVzdGltYXRvcnMKKyAqIHJlbHkgb24gdGhp
czogdGhleSBzcGxpdCB0aGUgaGlzdG9ncmFtIGludG8gc2VwYXJhdGUgbG93ZXItIGFuZCB1cHBl
ci1ib3VuZAorICogaGlzdG9ncmFtcyBhbmQgYXNzdW1lIGVhY2ggaXMgc29ydGVkIChlLmcuIGNh
bGNfbGVuZ3RoX2hpc3RfZnJhYygpIEFzc2VydHMKKyAqIHRoYXQgc3VjY2Vzc2l2ZSBib3VuZCBk
aXN0YW5jZXMgZG8gbm90IGRlY3JlYXNlLCBhbmQgdGhlIGVzdGltYXRvciB0aHJvd3MgYW4KKyAq
IGludGVybmFsIGVycm9yIGlmIGl0IGZpbmRzIGFuIGVtcHR5IHJhbmdlKS4gIEltcG9ydGluZyBh
biB1bnNvcnRlZCBvcgorICogZW1wdHktY29udGFpbmluZyBoaXN0b2dyYW0gd291bGQgdGhlcmVm
b3JlIGNyYXNoIHRoZSBiYWNrZW5kLCBvciBwcm9kdWNlCisgKiBub25zZW5zaWNhbCBlc3RpbWF0
ZXMgb24gbm9uLWFzc2VydCBidWlsZHMsIHdoZW4gdGhlIGhpc3RvZ3JhbSBpcyBsYXRlciByZWFk
CisgKiBieSB0aGUgcGxhbm5lci4gIFJlamVjdCBzdWNoIGlucHV0IHdpdGggYSBXQVJOSU5HLCBs
aWtlIG90aGVyIGluY29uc2lzdGVudAorICogaW5wdXRzLgorICoKKyAqIEZvciBib3RoIHJhbmdl
LSBhbmQgbXVsdGlyYW5nZS10eXBlZCBjb2x1bW5zIHRoZSBoaXN0b2dyYW0gaXMgYW4gYXJyYXkg
b2YKKyAqIHJhbmdlcywgc28gd2UgdGFrZSB0aGUgcmFuZ2UgdHlwZSBmcm9tIHRoZSBhcnJheSdz
IGVsZW1lbnQgdHlwZS4KKyAqLworc3RhdGljIGJvb2wKK3N0YXRhdHRfY2hlY2tfYm91bmRzX2hp
c3RvZ3JhbShEYXR1bSBhcnJheXZhbCkKK3sKKwlBcnJheVR5cGUgICphcnIgPSBEYXR1bUdldEFy
cmF5VHlwZVAoYXJyYXl2YWwpOworCU9pZAkJCXJuZ3R5cGlkID0gQVJSX0VMRU1UWVBFKGFycik7
CisJVHlwZUNhY2hlRW50cnkgKnR5cGNhY2hlOworCWludDE2CQllbG1sZW47CisJYm9vbAkJZWxt
Ynl2YWw7CisJY2hhcgkJZWxtYWxpZ247CisJRGF0dW0JICAgKmVsZW1zOworCWJvb2wJICAgKm51
bGxzOworCWludAkJCW5lbGVtczsKKwlSYW5nZUJvdW5kCXByZXZfbG93ZXIgPSB7MH07CisJUmFu
Z2VCb3VuZAlwcmV2X3VwcGVyID0gezB9OworCisJdHlwY2FjaGUgPSBsb29rdXBfdHlwZV9jYWNo
ZShybmd0eXBpZCwgVFlQRUNBQ0hFX1JBTkdFX0lORk8pOworCisJLyoKKwkgKiBUaGUgZWxlbWVu
dCB0eXBlIHNob3VsZCBhbHdheXMgYmUgYSByYW5nZSB0eXBlIGhlcmUsIGJ1dCBiZSBkZWZlbnNp
dmU6CisJICogaWYgaXQgaXNuJ3QsIHRoZSBib3VuZHMgaGlzdG9ncmFtIGlzIG5ldmVyIGNvbnN1
bHRlZCBieSB0aGUgcmFuZ2UKKwkgKiBlc3RpbWF0b3IsIHNvIHRoZXJlIGlzIG5vdGhpbmcgdG8g
dmVyaWZ5LgorCSAqLworCWlmICh0eXBjYWNoZS0+cm5nZWxlbXR5cGUgPT0gTlVMTCkKKwkJcmV0
dXJuIHRydWU7CisKKwlnZXRfdHlwbGVuYnl2YWxhbGlnbihybmd0eXBpZCwgJmVsbWxlbiwgJmVs
bWJ5dmFsLCAmZWxtYWxpZ24pOworCWRlY29uc3RydWN0X2FycmF5KGFyciwgcm5ndHlwaWQsIGVs
bWxlbiwgZWxtYnl2YWwsIGVsbWFsaWduLAorCQkJCQkgICZlbGVtcywgJm51bGxzLCAmbmVsZW1z
KTsKKworCWZvciAoaW50IGkgPSAwOyBpIDwgbmVsZW1zOyBpKyspCisJeworCQlSYW5nZUJvdW5k
CWxvd2VyLAorCQkJCQl1cHBlcjsKKwkJYm9vbAkJZW1wdHk7CisKKwkJLyogTlVMTCBlbGVtZW50
cyBhcmUgYWxyZWFkeSByZWplY3RlZCBieSBzdGF0YXR0X2J1aWxkX3N0YXZhbHVlcygpICovCisJ
CXJhbmdlX2Rlc2VyaWFsaXplKHR5cGNhY2hlLCBEYXR1bUdldFJhbmdlVHlwZVAoZWxlbXNbaV0p
LAorCQkJCQkJICAmbG93ZXIsICZ1cHBlciwgJmVtcHR5KTsKKworCQlpZiAoZW1wdHkpCisJCXsK
KwkJCWVyZXBvcnQoV0FSTklORywKKwkJCQkJKGVycmNvZGUoRVJSQ09ERV9JTlZBTElEX1BBUkFN
RVRFUl9WQUxVRSksCisJCQkJCSBlcnJtc2coIlwiJXNcIiBtdXN0IG5vdCBjb250YWluIGVtcHR5
IHJhbmdlcyIsCisJCQkJCQkJInJhbmdlX2JvdW5kc19oaXN0b2dyYW0iKSkpOworCQkJcmV0dXJu
IGZhbHNlOworCQl9CisKKwkJaWYgKGkgPiAwICYmCisJCQkocmFuZ2VfY21wX2JvdW5kcyh0eXBj
YWNoZSwgJmxvd2VyLCAmcHJldl9sb3dlcikgPCAwIHx8CisJCQkgcmFuZ2VfY21wX2JvdW5kcyh0
eXBjYWNoZSwgJnVwcGVyLCAmcHJldl91cHBlcikgPCAwKSkKKwkJeworCQkJZXJlcG9ydChXQVJO
SU5HLAorCQkJCQkoZXJyY29kZShFUlJDT0RFX0lOVkFMSURfUEFSQU1FVEVSX1ZBTFVFKSwKKwkJ
CQkJIGVycm1zZygiXCIlc1wiIG11c3QgaGF2ZSBpdHMgbG93ZXIgYW5kIHVwcGVyIGJvdW5kcyBz
b3J0ZWQgaW4gYXNjZW5kaW5nIG9yZGVyIiwKKwkJCQkJCQkicmFuZ2VfYm91bmRzX2hpc3RvZ3Jh
bSIpKSk7CisJCQlyZXR1cm4gZmFsc2U7CisJCX0KKworCQlwcmV2X2xvd2VyID0gbG93ZXI7CisJ
CXByZXZfdXBwZXIgPSB1cHBlcjsKKwl9CisKKwlyZXR1cm4gdHJ1ZTsKK30KKwogLyoKICAqIElu
c2VydCBvciBVcGRhdGUgQXR0cmlidXRlIFN0YXRpc3RpY3MKICAqCkBAIC00ODgsNyArNTc0LDgg
QEAgYXR0cmlidXRlX3N0YXRpc3RpY3NfdXBkYXRlKEZ1bmN0aW9uQ2FsbEluZm8gZmNpbmZvKQog
CQkJCQkJCQkJCQlhdHR0eXBpZCwgYXR0dHlwbW9kLAogCQkJCQkJCQkJCQkmY29udmVydGVkKTsK
IAotCQlpZiAoY29udmVydGVkKQorCQlpZiAoY29udmVydGVkICYmCisJCQlzdGF0YXR0X2NoZWNr
X2JvdW5kc19oaXN0b2dyYW0oc3RhdmFsdWVzKSkKIAkJewogCQkJc3RhdGF0dF9zZXRfc2xvdCh2
YWx1ZXMsIG51bGxzLCByZXBsYWNlcywKIAkJCQkJCQkgU1RBVElTVElDX0tJTkRfQk9VTkRTX0hJ
U1RPR1JBTSwKZGlmZiAtLWdpdCBhL3NyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQvc3RhdHNfaW1w
b3J0Lm91dCBiL3NyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQvc3RhdHNfaW1wb3J0Lm91dAppbmRl
eCBiZmRmZjc3YWZhNy4uOTNjMTkwZjcxOTQgMTAwNjQ0Ci0tLSBhL3NyYy90ZXN0L3JlZ3Jlc3Mv
ZXhwZWN0ZWQvc3RhdHNfaW1wb3J0Lm91dAorKysgYi9zcmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVk
L3N0YXRzX2ltcG9ydC5vdXQKQEAgLTExODcsNiArMTE4NywzNCBAQCBBTkQgYXR0bmFtZSA9ICdh
cmFuZ2UnOwogIHN0YXRzX2ltcG9ydCB8IHRlc3QgICAgICB8IGFyYW5nZSAgfCBmICAgICAgICAg
fCAgICAgIDAuMjkgfCAgICAgICAgIDAgfCAgICAgICAgICAwIHwgICAgICAgICAgICAgICAgICB8
ICAgICAgICAgICAgICAgICAgIHwgICAgICAgICAgICAgICAgICB8ICAgICAgICAgICAgIHwgICAg
ICAgICAgICAgICAgICAgfCAgICAgICAgICAgICAgICAgICAgICAgIHwgICAgICAgICAgICAgICAg
ICAgICAgfCB7Mzk5LDQ5OSxJbmZpbml0eX0gICAgIHwgICAgICAgICAgICAgIDAuNSB8IHsiWy0x
LDEpIiwiWzAsNCkiLCJbMSw0KSIsIlsxLDEwMCkifQogKDEgcm93KQogCistLSB3YXJuOiByYW5n
ZSBib3VuZHMgaGlzdG9ncmFtIHdob3NlIGJvdW5kcyBhcmUgbm90IHNvcnRlZCBhc2NlbmRpbmcK
K1NFTEVDVCBwZ19jYXRhbG9nLnBnX3Jlc3RvcmVfYXR0cmlidXRlX3N0YXRzKAorICAgICdzY2hl
bWFuYW1lJywgJ3N0YXRzX2ltcG9ydCcsCisgICAgJ3JlbG5hbWUnLCAndGVzdCcsCisgICAgJ2F0
dG5hbWUnLCAnYXJhbmdlJywKKyAgICAnaW5oZXJpdGVkJywgZmFsc2U6OmJvb2xlYW4sCisgICAg
J3JhbmdlX2JvdW5kc19oaXN0b2dyYW0nLCAneyJbNTAsNjApIiwiWzEsMikiLCJbOTAsMTAwKSIs
Ils1LDYpIn0nOjp0ZXh0CisgICAgKTsKK1dBUk5JTkc6ICAicmFuZ2VfYm91bmRzX2hpc3RvZ3Jh
bSIgbXVzdCBoYXZlIGl0cyBsb3dlciBhbmQgdXBwZXIgYm91bmRzIHNvcnRlZCBpbiBhc2NlbmRp
bmcgb3JkZXIKKyBwZ19yZXN0b3JlX2F0dHJpYnV0ZV9zdGF0cyAKKy0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0KKyBmCisoMSByb3cpCisKKy0tIHdhcm46IHJhbmdlIGJvdW5kcyBoaXN0b2dy
YW0gY29udGFpbmluZyBhbiBlbXB0eSByYW5nZQorU0VMRUNUIHBnX2NhdGFsb2cucGdfcmVzdG9y
ZV9hdHRyaWJ1dGVfc3RhdHMoCisgICAgJ3NjaGVtYW5hbWUnLCAnc3RhdHNfaW1wb3J0JywKKyAg
ICAncmVsbmFtZScsICd0ZXN0JywKKyAgICAnYXR0bmFtZScsICdhcmFuZ2UnLAorICAgICdpbmhl
cml0ZWQnLCBmYWxzZTo6Ym9vbGVhbiwKKyAgICAncmFuZ2VfYm91bmRzX2hpc3RvZ3JhbScsICd7
ZW1wdHksIlsxLDIpIiwiWzMsNCkifSc6OnRleHQKKyAgICApOworV0FSTklORzogICJyYW5nZV9i
b3VuZHNfaGlzdG9ncmFtIiBtdXN0IG5vdCBjb250YWluIGVtcHR5IHJhbmdlcworIHBnX3Jlc3Rv
cmVfYXR0cmlidXRlX3N0YXRzIAorLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQorIGYKKygx
IHJvdykKKwogLS0gd2FybjogY2Fubm90IHNldCBtb3N0X2NvbW1vbl9lbGVtcyBmb3IgcmFuZ2Ug
dHlwZSwgcmVzdCBvawogU0VMRUNUIHBnX2NhdGFsb2cucGdfcmVzdG9yZV9hdHRyaWJ1dGVfc3Rh
dHMoCiAgICAgJ3NjaGVtYW5hbWUnLCAnc3RhdHNfaW1wb3J0JywKZGlmZiAtLWdpdCBhL3NyYy90
ZXN0L3JlZ3Jlc3Mvc3FsL3N0YXRzX2ltcG9ydC5zcWwgYi9zcmMvdGVzdC9yZWdyZXNzL3NxbC9z
dGF0c19pbXBvcnQuc3FsCmluZGV4IDU4MTQwMzE1ZWZiLi4zMWFjNjRmNDFiOSAxMDA2NDQKLS0t
IGEvc3JjL3Rlc3QvcmVncmVzcy9zcWwvc3RhdHNfaW1wb3J0LnNxbAorKysgYi9zcmMvdGVzdC9y
ZWdyZXNzL3NxbC9zdGF0c19pbXBvcnQuc3FsCkBAIC04ODUsNiArODg1LDI0IEBAIEFORCB0YWJs
ZW5hbWUgPSAndGVzdCcKIEFORCBpbmhlcml0ZWQgPSBmYWxzZQogQU5EIGF0dG5hbWUgPSAnYXJh
bmdlJzsKIAorLS0gd2FybjogcmFuZ2UgYm91bmRzIGhpc3RvZ3JhbSB3aG9zZSBib3VuZHMgYXJl
IG5vdCBzb3J0ZWQgYXNjZW5kaW5nCitTRUxFQ1QgcGdfY2F0YWxvZy5wZ19yZXN0b3JlX2F0dHJp
YnV0ZV9zdGF0cygKKyAgICAnc2NoZW1hbmFtZScsICdzdGF0c19pbXBvcnQnLAorICAgICdyZWxu
YW1lJywgJ3Rlc3QnLAorICAgICdhdHRuYW1lJywgJ2FyYW5nZScsCisgICAgJ2luaGVyaXRlZCcs
IGZhbHNlOjpib29sZWFuLAorICAgICdyYW5nZV9ib3VuZHNfaGlzdG9ncmFtJywgJ3siWzUwLDYw
KSIsIlsxLDIpIiwiWzkwLDEwMCkiLCJbNSw2KSJ9Jzo6dGV4dAorICAgICk7CisKKy0tIHdhcm46
IHJhbmdlIGJvdW5kcyBoaXN0b2dyYW0gY29udGFpbmluZyBhbiBlbXB0eSByYW5nZQorU0VMRUNU
IHBnX2NhdGFsb2cucGdfcmVzdG9yZV9hdHRyaWJ1dGVfc3RhdHMoCisgICAgJ3NjaGVtYW5hbWUn
LCAnc3RhdHNfaW1wb3J0JywKKyAgICAncmVsbmFtZScsICd0ZXN0JywKKyAgICAnYXR0bmFtZScs
ICdhcmFuZ2UnLAorICAgICdpbmhlcml0ZWQnLCBmYWxzZTo6Ym9vbGVhbiwKKyAgICAncmFuZ2Vf
Ym91bmRzX2hpc3RvZ3JhbScsICd7ZW1wdHksIlsxLDIpIiwiWzMsNCkifSc6OnRleHQKKyAgICAp
OworCiAtLSB3YXJuOiBjYW5ub3Qgc2V0IG1vc3RfY29tbW9uX2VsZW1zIGZvciByYW5nZSB0eXBl
LCByZXN0IG9rCiBTRUxFQ1QgcGdfY2F0YWxvZy5wZ19yZXN0b3JlX2F0dHJpYnV0ZV9zdGF0cygK
ICAgICAnc2NoZW1hbmFtZScsICdzdGF0c19pbXBvcnQnLAotLSAKMi40Ny4zCgo=
--000000000000b30386065600f8cf--